Trace number 1832599

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

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

Solver Data

0.00/0.00	c Parsing...
0.00/0.02	c ==============================================================================
0.00/0.02	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.02	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.02	c ==============================================================================
0.00/0.02	c |         0 |   15300   107100 |    4589       0        0     nan |  0.000 % |
0.00/0.02	c ==============================================================================
0.00/0.02	c Result  :   #vars: 180   #clauses: 15300   #literals: 107100
0.00/0.02	c CPU time:   0.018997 s
0.00/0.02	c ==============================================================================
0.00/0.05	c This is MiniSat 2.0 beta
0.00/0.05	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05	c ============================[ Problem Statistics ]=============================
0.00/0.05	c |                                                                             |
0.00/0.05	c |  Number of variables:  180                                                  |
0.00/0.05	c |  Number of clauses:    15300                                                |
0.00/0.07	c |  Parsing time:         0.02         s                                       |
0.00/0.07	c ============================[ Search Statistics ]==============================
0.00/0.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.07	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.07	c ===============================================================================
0.00/0.07	c |         0 |     180    15300   107100 |     5100        0    nan |  0.000 % |
0.00/0.08	c |       100 |     180    15300   107100 |     5100      100     53 |  0.003 % |
0.00/0.09	c |       201 |     180    15300   107100 |     5100      201     53 |  0.003 % |
0.04/0.10	c |       301 |     180    15300   107100 |     5100      301     53 |  0.003 % |
0.04/0.11	c |       412 |     180    15300   107100 |     5100      412     52 |  0.003 % |
0.04/0.12	c |       514 |     180    15300   107100 |     5100      514     53 |  0.003 % |
0.04/0.13	c |       626 |     180    15300   107100 |     5100      626     53 |  0.003 % |
0.04/0.14	c |       749 |     180    15300   107100 |     5100      749     53 |  0.003 % |
0.04/0.15	c |       850 |     180    15300   107100 |     5100      850     53 |  0.003 % |
0.04/0.16	c |       961 |     180    15300   107100 |     5100      961     53 |  0.003 % |
0.04/0.17	c |      1082 |     180    15300   107100 |     5100     1082     53 |  0.003 % |
0.04/0.18	c |      1216 |     180    15300   107100 |     5100     1216     53 |  0.003 % |
0.04/0.19	c |      1317 |     180    15300   107100 |     5100     1317     53 |  0.003 % |
0.04/0.20	c |      1428 |     180    15300   107100 |     5100     1428     53 |  0.003 % |
0.04/0.22	c |      1550 |     180    15300   107100 |     5100     1550     53 |  0.003 % |
0.04/0.23	c |      1683 |     180    15300   107100 |     5100     1683     53 |  0.003 % |
0.04/0.24	c |      1836 |     180    15300   107100 |     5100     1836     53 |  0.003 % |
0.04/0.25	c |      1937 |     180    15300   107100 |     5100     1937     53 |  0.003 % |
0.04/0.26	c |      2047 |     180    15300   107100 |     5100     2047     53 |  0.003 % |
0.04/0.27	c |      2168 |     180    15300   107100 |     5100     2168     53 |  0.003 % |
0.04/0.28	c |      2301 |     180    15300   107100 |     5100     2301     53 |  0.003 % |
0.04/0.30	c |      2448 |     180    15300   107100 |     5100     2448     53 |  0.003 % |
0.04/0.31	c |      2609 |     180    15300   107100 |     5100     2609     53 |  0.003 % |
0.04/0.32	c |      2711 |     180    15300   107100 |     5100     2711     53 |  0.003 % |
0.04/0.33	c |      2822 |     180    15300   107100 |     5100     2822     53 |  0.003 % |
0.04/0.34	c |      2943 |     180    15300   107100 |     5100     2943     53 |  0.003 % |
0.04/0.36	c |      3076 |     180    15300   107100 |     5100     3076     53 |  0.003 % |
0.04/0.37	c |      3222 |     180    15300   107100 |     5100     3222     53 |  0.003 % |
0.04/0.39	c |      3385 |     180    15300   107100 |     5100     3385     53 |  0.003 % |
0.04/0.41	c |      3562 |     180    15300   107100 |     5100     3562     53 |  0.003 % |
0.04/0.42	c |      3662 |     180    15300   107100 |     5100     3662     53 |  0.003 % |
0.04/0.43	c |      3772 |     180    15300   107100 |     5100     3772     53 |  0.003 % |
0.04/0.44	c |      3893 |     180    15300   107100 |     5100     3893     53 |  0.003 % |
0.04/0.45	c |      4027 |     180    15300   107100 |     5100     4027     53 |  0.003 % |
0.04/0.47	c |      4173 |     180    15300   107100 |     5100     4173     53 |  0.003 % |
0.04/0.49	c |      4334 |     180    15300   107100 |     5100     4334     53 |  0.003 % |
0.04/0.51	c |      4511 |     180    15300   107100 |     5100     4511     53 |  0.003 % |
0.04/0.53	c |      4705 |     180    15300   107100 |     5100     4705     53 |  0.003 % |
0.04/0.54	c |      4805 |     180    15300   107100 |     5100     4805     53 |  0.003 % |
0.04/0.55	c |      4917 |     180    15300   107100 |     5100     4917     53 |  0.003 % |
0.04/0.56	c |      5038 |     180    15300   107100 |     5100     5038     52 |  0.003 % |
0.04/0.58	c |      5173 |     180    15300   107100 |     5100     5173     52 |  0.003 % |
0.04/0.59	c |      5319 |     180    15300   107100 |     5100     4802     52 |  0.003 % |
0.04/0.61	c |      5479 |     180    15300   107100 |     5100     4962     52 |  0.003 % |
0.04/0.63	c |      5657 |     180    15300   107100 |     5100     5140     52 |  0.003 % |
0.04/0.66	c |      5851 |     180    15300   107100 |     5100     4820     52 |  0.003 % |
0.04/0.68	c |      6063 |     180    15300   107100 |     5100     5032     52 |  0.003 % |
0.04/0.69	c |      6165 |     180    15300   107100 |     5100     5134     52 |  0.003 % |
0.04/0.71	c |      6276 |     180    15300   107100 |     5100     4732     52 |  0.003 % |
0.04/0.72	c |      6397 |     180    15300   107100 |     5100     4853     52 |  0.003 % |
0.04/0.73	c |      6533 |     180    15300   107100 |     5100     4989     52 |  0.003 % |
0.04/0.75	c |      6680 |     180    15300   107100 |     5100     5136     52 |  0.003 % |
0.04/0.77	c |      6841 |     180    15300   107100 |     5100     4784     52 |  0.003 % |
0.04/0.79	c |      7019 |     180    15300   107100 |     5100     4962     52 |  0.003 % |
0.04/0.81	c |      7212 |     180    15300   107100 |     5100     5155     52 |  0.003 % |
0.04/0.84	c |      7424 |     180    15300   107100 |     5100     4852     52 |  0.003 % |
0.04/0.86	c |      7657 |     180    15300   107100 |     5100     5085     52 |  0.003 % |
0.04/0.87	c |      7757 |     180    15300   107100 |     5100     4668     52 |  0.003 % |
0.04/0.89	c |      7868 |     180    15300   107100 |     5100     4779     52 |  0.003 % |
0.04/0.90	c |      7989 |     180    15300   107100 |     5100     4900     52 |  0.003 % |
0.04/0.92	c |      8124 |     180    15300   107100 |     5100     5035     52 |  0.003 % |
0.04/0.93	c |      8270 |     180    15300   107100 |     5100     5181     52 |  0.003 % |
0.04/0.95	c |      8430 |     180    15300   107100 |     5100     4823     52 |  0.003 % |
0.04/0.97	c |      8607 |     180    15300   107100 |     5100     5000     52 |  0.003 % |
0.04/0.99	c |      8801 |     180    15300   107100 |     5100     4676     52 |  0.003 % |
0.97/1.02	c |      9015 |     180    15300   107100 |     5100     4890     52 |  0.003 % |
0.97/1.05	c |      9248 |     180    15300   107100 |     5100     5123     52 |  0.003 % |
0.97/1.07	c |      9504 |     180    15300   107100 |     5100     4867     52 |  0.003 % |
0.97/1.08	c |      9605 |     180    15300   107100 |     5100     4968     52 |  0.003 % |
0.97/1.10	c |      9716 |     180    15300   107100 |     5100     5079     52 |  0.003 % |
1.07/1.11	c |      9837 |     180    15300   107100 |     5100     4682     52 |  0.003 % |
1.07/1.12	c |      9970 |     180    15300   107100 |     5100     4815     52 |  0.003 % |
1.07/1.14	c |     10118 |     180    15300   107100 | 2147483647     4963     52 |  0.003 % |
1.07/1.16	c |     10278 |     180    15300   107100 | 2147483647     5123     52 |  0.003 % |
1.07/1.18	c |     10454 |     180    15300   107100 | 2147483647     5299     52 |  0.003 % |
1.16/1.20	c |     10649 |     180    15300   107100 | 2147483647     5494     52 |  0.003 % |
1.16/1.22	c |     10863 |     180    15300   107100 | 2147483647     5708     52 |  0.003 % |
1.16/1.25	c |     11096 |     180    15300   107100 | 2147483647     5941     52 |  0.003 % |
1.16/1.28	c |     11353 |     180    15300   107100 | 2147483647     6198     52 |  0.003 % |
1.26/1.31	c |     11637 |     180    15300   107100 | 2147483647     6482     52 |  0.003 % |
1.26/1.32	c |     11737 |     180    15300   107100 | 2147483647     6582     52 |  0.003 % |
1.26/1.33	c |     11847 |     180    15300   107100 | 2147483647     6692     52 |  0.003 % |
1.26/1.35	c |     11968 |     180    15300   107100 | 2147483647     6813     52 |  0.003 % |
1.26/1.36	c |     12101 |     180    15300   107100 | 2147483647     6946     52 |  0.003 % |
1.26/1.38	c |     12248 |     180    15300   107100 | 2147483647     7093     52 |  0.003 % |
1.36/1.40	c |     12408 |     180    15300   107100 | 2147483647     7253     52 |  0.003 % |
1.36/1.42	c |     12584 |     180    15300   107100 | 2147483647     7429     52 |  0.003 % |
1.36/1.45	c |     12779 |     180    15300   107100 | 2147483647     7624     52 |  0.003 % |
1.36/1.47	c |     12992 |     180    15300   107100 | 2147483647     7837     52 |  0.003 % |
1.46/1.50	c |     13225 |     180    15300   107100 | 2147483647     8070     52 |  0.003 % |
1.46/1.53	c |     13483 |     180    15300   107100 | 2147483647     8328     52 |  0.003 % |
1.46/1.57	c |     13765 |     180    15300   107100 | 2147483647     8610     52 |  0.003 % |
1.56/1.61	c |     14074 |     180    15300   107100 | 2147483647     8919     52 |  0.003 % |
1.56/1.62	c |     14177 |     180    15300   107100 | 2147483647     9022     52 |  0.003 % |
1.56/1.64	c |     14287 |     180    15300   107100 | 2147483647     9132     52 |  0.003 % |
1.56/1.65	c |     14411 |     180    15300   107100 | 2147483647     9256     52 |  0.003 % |
1.56/1.67	c |     14544 |     180    15300   107100 | 2147483647     9389     52 |  0.003 % |
1.56/1.70	c |     14690 |     180    15300   107100 | 2147483647     9535     52 |  0.003 % |
1.66/1.72	c |     14851 |     180    15300   107100 | 2147483647     9696     52 |  0.003 % |
1.66/1.74	c |     15027 |     180    15300   107100 | 2147483647     9872     52 |  0.003 % |
1.66/1.77	c |     15220 |     180    15300   107100 | 2147483647    10065     52 |  0.003 % |
1.76/1.80	c |     15433 |     180    15300   107100 | 2147483647    10278     52 |  0.003 % |
1.76/1.84	c |     15667 |     180    15300   107100 | 2147483647    10512     52 |  0.003 % |
1.76/1.88	c |     15923 |     180    15300   107100 | 2147483647    10768     52 |  0.003 % |
1.86/1.92	c |     16204 |     180    15300   107100 | 2147483647    11049     52 |  0.003 % |
1.86/1.96	c |     16513 |     180    15300   107100 | 2147483647    11358     52 |  0.003 % |
1.96/2.03	c |     16852 |     180    15300   107100 | 2147483647    11697     52 |  0.003 % |
1.96/2.04	c |     16954 |     180    15300   107100 | 2147483647    11799     52 |  0.003 % |
1.96/2.06	c |     17064 |     180    15300   107100 | 2147483647    11909     52 |  0.003 % |
1.96/2.08	c |     17186 |     180    15300   107100 | 2147483647    12031     52 |  0.003 % |
2.07/2.10	c |     17319 |     180    15300   107100 | 2147483647    12164     52 |  0.003 % |
2.07/2.13	c |     17465 |     180    15300   107100 | 2147483647    12310     52 |  0.003 % |
2.07/2.16	c |     17627 |     180    15300   107100 | 2147483647    12472     52 |  0.003 % |
2.07/2.19	c |     17803 |     180    15300   107100 | 2147483647    12648     52 |  0.003 % |
2.17/2.22	c |     17997 |     180    15300   107100 | 2147483647    12842     52 |  0.003 % |
2.17/2.26	c |     18209 |     180    15300   107100 | 2147483647    13054     52 |  0.003 % |
2.27/2.31	c |     18443 |     180    15300   107100 | 2147483647    13288     52 |  0.003 % |
2.27/2.35	c |     18702 |     180    15300   107100 | 2147483647    13547     52 |  0.003 % |
2.37/2.41	c |     18985 |     180    15300   107100 | 2147483647    13830     52 |  0.003 % |
2.37/2.46	c |     19295 |     180    15300   107100 | 2147483647    14140     52 |  0.003 % |
2.47/2.53	c |     19634 |     180    15300   107100 | 2147483647    14479     52 |  0.003 % |
2.57/2.60	c |     20008 |     180    15300   107100 | 2147483647    14853     53 |  0.003 % |
2.57/2.63	c |     20108 |     180    15300   107100 | 2147483647    14953     53 |  0.003 % |
2.57/2.65	c |     20218 |     180    15300   107100 | 2147483647    15063     53 |  0.003 % |
2.57/2.68	c |     20343 |     180    15300   107100 | 2147483647    15188     53 |  0.003 % |
2.67/2.70	c |     20476 |     180    15300   107100 | 2147483647    15321     53 |  0.003 % |
2.67/2.73	c |     20624 |     180    15300   107100 | 2147483647    15469     53 |  0.003 % |
2.67/2.76	c |     20785 |     180    15300   107100 | 2147483647    15630     53 |  0.003 % |
2.67/2.79	c |     20961 |     180    15300   107100 | 2147483647    15806     53 |  0.003 % |
2.77/2.83	c |     21156 |     180    15300   107100 | 2147483647    16001     53 |  0.003 % |
2.77/2.87	c |     21369 |     180    15300   107100 | 2147483647    16214     53 |  0.003 % |
2.87/2.92	c |     21603 |     180    15300   107100 | 2147483647    16448     53 |  0.003 % |
2.87/2.97	c |     21861 |     180    15300   107100 | 2147483647    16706     53 |  0.003 % |
2.97/3.03	c |     22142 |     180    15300   107100 | 2147483647    16987     53 |  0.003 % |
2.97/3.09	c |     22451 |     180    15300   107100 | 2147483647    17296     53 |  0.003 % |
3.07/3.16	c |     22790 |     180    15300   107100 | 2147483647    17635     53 |  0.003 % |
3.17/3.24	c |     23162 |     180    15300   107100 | 2147483647    18007     53 |  0.003 % |
3.27/3.32	c |     23571 |     180    15300   107100 | 2147483647    18416     53 |  0.003 % |
3.27/3.35	c |     23672 |     180    15300   107100 | 2147483647    18517     53 |  0.003 % |
3.27/3.38	c |     23783 |     180    15300   107100 | 2147483647    18628     52 |  0.003 % |
3.37/3.41	c |     23905 |     180    15300   107100 | 2147483647    18750     52 |  0.003 % |
3.37/3.44	c |     24039 |     180    15300   107100 | 2147483647    18884     52 |  0.003 % |
3.37/3.48	c |     24185 |     180    15300   107100 | 2147483647    19030     52 |  0.003 % |
3.47/3.51	c |     24350 |     180    15300   107100 | 2147483647    19195     52 |  0.003 % |
3.47/3.56	c |     24526 |     180    15300   107100 | 2147483647    19371     52 |  0.003 % |
3.57/3.61	c |     24720 |     180    15300   107100 | 2147483647    19565     52 |  0.003 % |
3.57/3.66	c |     24932 |     180    15300   107100 | 2147483647    19777     52 |  0.003 % |
3.66/3.71	c |     25165 |     180    15300   107100 | 2147483647    20010     52 |  0.003 % |
3.66/3.77	c |     25421 |     180    15300   107100 | 2147483647    20266     52 |  0.003 % |
3.76/3.83	c |     25702 |     180    15300   107100 | 2147483647    20547     52 |  0.003 % |
3.86/3.91	c |     26012 |     180    15300   107100 | 2147483647    20857     52 |  0.003 % |
3.96/4.00	c |     26351 |     180    15300   107100 | 2147483647    21196     52 |  0.003 % |
3.96/4.09	c |     26723 |     180    15300   107100 | 2147483647    21568     52 |  0.003 % |
4.16/4.20	c |     27132 |     180    15300   107100 | 2147483647    21977     52 |  0.003 % |
4.16/4.30	c |     27582 |     180    15300   107100 | 2147483647    22427     53 |  0.003 % |
4.27/4.33	c |     27682 |     180    15300   107100 | 2147483647    22527     53 |  0.003 % |
4.27/4.36	c |     27793 |     180    15300   107100 | 2147483647    22638     53 |  0.003 % |
4.27/4.39	c |     27914 |     180    15300   107100 | 2147483647    22759     53 |  0.003 % |
4.37/4.43	c |     28049 |     180    15300   107100 | 2147483647    22894     53 |  0.003 % |
4.37/4.49	c |     28196 |     180    15300   107100 | 2147483647    23041     53 |  0.003 % |
4.46/4.54	c |     28356 |     180    15300   107100 | 2147483647    23201     53 |  0.003 % |
4.46/4.59	c |     28532 |     180    15300   107100 | 2147483647    23377     53 |  0.003 % |
4.56/4.65	c |     28725 |     180    15300   107100 | 2147483647    23570     53 |  0.003 % |
4.66/4.72	c |     28938 |     180    15300   107100 | 2147483647    23783     53 |  0.003 % |
4.66/4.78	c |     29172 |     180    15300   107100 | 2147483647    24017     53 |  0.003 % |
4.76/4.85	c |     29428 |     180    15300   107100 | 2147483647    24273     53 |  0.003 % |
4.86/4.93	c |     29709 |     180    15300   107100 | 2147483647    24554     53 |  0.003 % |
4.96/5.02	c |     30018 |     180    15300   107100 | 2147483647    24863     53 |  0.003 % |
5.06/5.14	c |     30360 |     180    15300   107100 | 2147483647    25205     53 |  0.003 % |
5.16/5.25	c |     30734 |     180    15300   107100 | 2147483647    25579     53 |  0.003 % |
5.26/5.36	c |     31146 |     180    15300   107100 | 2147483647    25991     53 |  0.003 % |
5.36/5.50	c |     31596 |     180    15300   107100 | 2147483647    26441     53 |  0.003 % |
5.56/5.67	c |     32090 |     180    15300   107100 | 2147483647    26935     53 |  0.003 % |
5.65/5.71	c |     32190 |     180    15300   107100 | 2147483647    27035     53 |  0.003 % |
5.65/5.75	c |     32301 |     180    15300   107100 | 2147483647    27146     53 |  0.003 % |
5.65/5.78	c |     32422 |     180    15300   107100 | 2147483647    27267     53 |  0.003 % |
5.75/5.82	c |     32555 |     180    15300   107100 | 2147483647    27400     53 |  0.003 % |
5.75/5.89	c |     32701 |     180    15300   107100 | 2147483647    27546     53 |  0.003 % |
5.85/5.95	c |     32861 |     180    15300   107100 | 2147483647    27706     53 |  0.003 % |
5.95/6.01	c |     33041 |     180    15300   107100 | 2147483647    27886     53 |  0.003 % |
5.95/6.08	c |     33234 |     180    15300   107100 | 2147483647    28079     53 |  0.003 % |
6.05/6.15	c |     33447 |     180    15300   107100 | 2147483647    28292     53 |  0.003 % |
6.15/6.24	c |     33680 |     180    15300   107100 | 2147483647    28525     53 |  0.003 % |
6.25/6.32	c |     33939 |     180    15300   107100 | 2147483647    28784     53 |  0.003 % |
6.35/6.41	c |     34222 |     180    15300   107100 | 2147483647    29067     53 |  0.003 % |
6.45/6.51	c |     34532 |     180    15300   107100 | 2147483647    29377     53 |  0.003 % |
6.55/6.64	c |     34872 |     180    15300   107100 | 2147483647    29717     53 |  0.003 % |
6.65/6.75	c |     35246 |     180    15300   107100 | 2147483647    30091     53 |  0.003 % |
6.75/6.88	c |     35656 |     180    15300   107100 | 2147483647    30501     53 |  0.003 % |
6.96/7.04	c |     36105 |     180    15300   107100 | 2147483647    30950     53 |  0.003 % |
7.06/7.19	c |     36598 |     180    15300   107100 | 2147483647    31443     53 |  0.003 % |
7.35/7.40	c |     37140 |     180    15300   107100 | 2147483647    31985     53 |  0.003 % |
7.35/7.45	c |     37242 |     180    15300   107100 | 2147483647    32087     53 |  0.003 % |
7.35/7.49	c |     37352 |     180    15300   107100 | 2147483647    32197     53 |  0.003 % |
7.45/7.54	c |     37474 |     180    15300   107100 | 2147483647    32319     53 |  0.003 % |
7.45/7.58	c |     37607 |     180    15300   107100 | 2147483647    32452     53 |  0.003 % |
7.56/7.63	c |     37755 |     180    15300   107100 | 2147483647    32600     53 |  0.003 % |
7.56/7.70	c |     37916 |     180    15300   107100 | 2147483647    32761     53 |  0.003 % |
7.66/7.76	c |     38093 |     180    15300   107100 | 2147483647    32938     53 |  0.003 % |
7.75/7.85	c |     38287 |     180    15300   107100 | 2147483647    33132     53 |  0.003 % |
7.85/7.94	c |     38499 |     180    15300   107100 | 2147483647    33344     53 |  0.003 % |
7.95/8.03	c |     38733 |     180    15300   107100 | 2147483647    33578     53 |  0.003 % |
8.05/8.13	c |     38991 |     180    15300   107100 | 2147483647    33836     53 |  0.003 % |
8.15/8.24	c |     39272 |     180    15300   107100 | 2147483647    34117     53 |  0.003 % |
8.25/8.36	c |     39583 |     180    15300   107100 | 2147483647    34428     53 |  0.003 % |
8.45/8.51	c |     39923 |     180    15300   107100 | 2147483647    34768     53 |  0.003 % |
8.55/8.66	c |     40296 |     180    15300   107100 | 2147483647    35141     53 |  0.003 % |
8.75/8.82	c |     40706 |     180    15300   107100 | 2147483647    35551     53 |  0.003 % |
8.85/8.99	c |     41155 |     180    15300   107100 | 2147483647    36000     53 |  0.003 % |
9.05/9.18	c |     41648 |     180    15300   107100 | 2147483647    36493     53 |  0.003 % |
9.35/9.40	c |     42191 |     180    15300   107100 | 2147483647    37036     53 |  0.003 % |
9.55/9.64	c |     42787 |     180    15300   107100 | 2147483647    37632     53 |  0.003 % |
9.55/9.67	c |     42887 |     180    15300   107100 | 2147483647    37732     53 |  0.003 % |
9.65/9.72	c |     42998 |     180    15300   107100 | 2147483647    37843     53 |  0.003 % |
9.65/9.77	c |     43122 |     180    15300   107100 | 2147483647    37967     53 |  0.003 % |
9.75/9.83	c |     43256 |     180    15300   107100 | 2147483647    38101     53 |  0.003 % |
9.75/9.90	c |     43402 |     180    15300   107100 | 2147483647    38247     53 |  0.003 % |
9.85/9.97	c |     43564 |     180    15300   107100 | 2147483647    38409     53 |  0.003 % |
9.95/10.06	c |     43740 |     180    15300   107100 | 2147483647    38585     53 |  0.003 % |
10.05/10.16	c |     43933 |     180    15300   107100 | 2147483647    38778     53 |  0.003 % |
10.15/10.26	c |     44146 |     180    15300   107100 | 2147483647    38991     53 |  0.003 % |
10.25/10.37	c |     44381 |     180    15300   107100 | 2147483647    39226     53 |  0.003 % |
10.35/10.49	c |     44637 |     180    15300   107100 | 2147483647    39482     53 |  0.003 % |
10.56/10.62	c |     44918 |     180    15300   107100 | 2147483647    39763     53 |  0.003 % |
10.66/10.77	c |     45228 |     180    15300   107100 | 2147483647    40073     53 |  0.003 % |
10.86/10.93	c |     45567 |     180    15300   107100 | 2147483647    40412     53 |  0.003 % |
11.05/11.14	c |     45939 |     180    15300   107100 | 2147483647    40784     53 |  0.003 % |
11.25/11.32	c |     46350 |     180    15300   107100 | 2147483647    41195     53 |  0.003 % |
11.45/11.54	c |     46799 |     180    15300   107100 | 2147483647    41644     53 |  0.003 % |
11.65/11.76	c |     47292 |     180    15300   107100 | 2147483647    42137     53 |  0.003 % |
11.96/12.01	c |     47836 |     180    15300   107100 | 2147483647    42681     53 |  0.003 % |
12.15/12.28	c |     48435 |     180    15300   107100 | 2147483647    43280     53 |  0.003 % |
12.45/12.59	c |     49090 |     180    15300   107100 | 2147483647    43935     53 |  0.003 % |
12.55/12.67	c |     49190 |     180    15300   107100 | 2147483647    44035     53 |  0.003 % |
12.65/12.72	c |     49300 |     180    15300   107100 | 2147483647    44145     53 |  0.003 % |
12.65/12.78	c |     49421 |     180    15300   107100 | 2147483647    44266     53 |  0.003 % |
12.75/12.86	c |     49554 |     180    15300   107100 | 2147483647    44399     53 |  0.003 % |
12.85/12.95	c |     49700 |     180    15300   107100 | 2147483647    44545     53 |  0.003 % |
12.95/13.03	c |     49860 |     180    15300   107100 | 2147483647    44705     53 |  0.003 % |
13.06/13.12	c |     50036 |     180    15300   107100 | 2147483647    44881     53 |  0.003 % |
13.16/13.23	c |     50232 |     180    15300   107100 | 2147483647    45077     53 |  0.003 % |
13.25/13.34	c |     50444 |     180    15300   107100 | 2147483647    45289     53 |  0.003 % |
13.35/13.46	c |     50677 |     180    15300   107100 | 2147483647    45522     53 |  0.003 % |
13.45/13.58	c |     50934 |     180    15300   107100 | 2147483647    45779     53 |  0.003 % |
13.65/13.73	c |     51215 |     180    15300   107100 | 2147483647    46060     53 |  0.003 % |
13.75/13.89	c |     51524 |     180    15300   107100 | 2147483647    46369     53 |  0.003 % |
13.95/14.09	c |     51863 |     180    15300   107100 | 2147483647    46708     53 |  0.003 % |
14.15/14.28	c |     52235 |     180    15300   107100 | 2147483647    47080     53 |  0.003 % |
14.45/14.51	c |     52645 |     180    15300   107100 | 2147483647    47490     53 |  0.003 % |
14.65/14.75	c |     53094 |     180    15300   107100 | 2147483647    47939     53 |  0.003 % |
14.94/15.04	c |     53587 |     180    15300   107100 | 2147483647    48432     53 |  0.003 % |
15.25/15.35	c |     54129 |     180    15300   107100 | 2147483647    48974     53 |  0.003 % |
15.54/15.66	c |     54725 |     180    15300   107100 | 2147483647    49570     53 |  0.003 % |
15.94/16.01	c |     55381 |     180    15300   107100 | 2147483647    50226     53 |  0.003 % |
16.34/16.40	c |     56101 |     180    15300   107100 | 2147483647    50946     53 |  0.003 % |
16.34/16.46	c |     56202 |     180    15300   107100 | 2147483647    51047     53 |  0.003 % |
16.44/16.53	c |     56317 |     180    15300   107100 | 2147483647    51162     53 |  0.003 % |
16.54/16.60	c |     56439 |     180    15300   107100 | 2147483647    51284     53 |  0.003 % |
16.54/16.68	c |     56572 |     180    15300   107100 | 2147483647    51417     53 |  0.003 % |
16.65/16.78	c |     56719 |     180    15300   107100 | 2147483647    51564     53 |  0.003 % |
16.85/16.90	c |     56879 |     180    15300   107100 | 2147483647    51724     53 |  0.003 % |
16.95/17.02	c |     57055 |     180    15300   107100 | 2147483647    51900     53 |  0.003 % |
17.05/17.18	c |     57248 |     180    15300   107100 | 2147483647    52093     53 |  0.003 % |
17.25/17.32	c |     57460 |     180    15300   107100 | 2147483647    52305     53 |  0.003 % |
17.35/17.48	c |     57693 |     180    15300   107100 | 2147483647    52538     53 |  0.003 % |
17.55/17.62	c |     57949 |     180    15300   107100 | 2147483647    52794     53 |  0.003 % |
17.65/17.78	c |     58230 |     180    15300   107100 | 2147483647    53075     53 |  0.003 % |
17.85/17.96	c |     58540 |     180    15300   107100 | 2147483647    53385     53 |  0.003 % |
18.15/18.21	c |     58881 |     180    15300   107100 | 2147483647    53726     53 |  0.003 % |
18.35/18.46	c |     59253 |     180    15300   107100 | 2147483647    54098     53 |  0.003 % |
18.65/18.74	c |     59663 |     180    15300   107100 | 2147483647    54508     53 |  0.003 % |
18.95/19.01	c |     60112 |     180    15300   107100 | 2147483647    54957     53 |  0.003 % |
19.25/19.30	c |     60605 |     180    15300   107100 | 2147483647    55450     53 |  0.003 % |
19.55/19.62	c |     61147 |     180    15300   107100 | 2147483647    55992     53 |  0.003 % |
19.84/19.97	c |     61743 |     180    15300   107100 | 2147483647    56588     53 |  0.003 % |
20.24/20.38	c |     62400 |     180    15300   107100 | 2147483647    57245     53 |  0.003 % |
20.75/20.86	c |     63122 |     180    15300   107100 | 2147483647    57967     53 |  0.003 % |
21.24/21.36	c |     63914 |     180    15300   107100 | 2147483647    58759     53 |  0.003 % |
21.34/21.42	c |     64014 |     180    15300   107100 | 2147483647    58859     53 |  0.003 % |
21.44/21.52	c |     64124 |     180    15300   107100 | 2147483647    58969     53 |  0.003 % |
21.44/21.60	c |     64245 |     180    15300   107100 | 2147483647    59090     53 |  0.003 % |
21.54/21.69	c |     64378 |     180    15300   107100 | 2147483647    59223     53 |  0.003 % |
21.64/21.79	c |     64524 |     180    15300   107100 | 2147483647    59369     53 |  0.003 % |
21.84/21.92	c |     64685 |     180    15300   107100 | 2147483647    59530     53 |  0.003 % |
21.95/22.04	c |     64863 |     180    15300   107100 | 2147483647    59708     53 |  0.003 % |
22.04/22.19	c |     65056 |     180    15300   107100 | 2147483647    59901     53 |  0.003 % |
22.24/22.37	c |     65268 |     180    15300   107100 | 2147483647    60113     53 |  0.003 % |
22.44/22.54	c |     65502 |     180    15300   107100 | 2147483647    60347     53 |  0.003 % |
22.64/22.75	c |     65759 |     180    15300   107100 | 2147483647    60604     53 |  0.003 % |
22.84/22.97	c |     66040 |     180    15300   107100 | 2147483647    60885     53 |  0.003 % |
23.14/23.20	c |     66351 |     180    15300   107100 | 2147483647    61196     53 |  0.003 % |
23.34/23.45	c |     66693 |     180    15300   107100 | 2147483647    61538     53 |  0.003 % |
23.54/23.69	c |     67068 |     180    15300   107100 | 2147483647    61913     53 |  0.003 % |
23.84/23.99	c |     67480 |     180    15300   107100 | 2147483647    62325     53 |  0.003 % |
24.14/24.28	c |     67929 |     180    15300   107100 | 2147483647    62774     53 |  0.003 % |
24.53/24.63	c |     68423 |     180    15300   107100 | 2147483647    63268     53 |  0.003 % |
24.83/24.98	c |     68968 |     180    15300   107100 | 2147483647    63813     53 |  0.003 % |
25.25/25.35	c |     69564 |     180    15300   107100 | 2147483647    64409     53 |  0.003 % |
25.74/25.83	c |     70219 |     180    15300   107100 | 2147483647    65064     53 |  0.003 % |
26.25/26.34	c |     70939 |     180    15300   107100 | 2147483647    65784     53 |  0.003 % |
26.84/26.90	c |     71732 |     180    15300   107100 | 2147483647    66577     53 |  0.003 % |
27.44/27.51	c |     72603 |     180    15300   107100 | 2147483647    67448     53 |  0.003 % |
27.44/27.59	c |     72703 |     180    15300   107100 | 2147483647    67548     53 |  0.003 % |
27.54/27.68	c |     72815 |     180    15300   107100 | 2147483647    67660     53 |  0.003 % |
27.64/27.78	c |     72936 |     180    15300   107100 | 2147483647    67781     53 |  0.003 % |
27.74/27.88	c |     73070 |     180    15300   107100 | 2147483647    67915     53 |  0.003 % |
27.94/28.03	c |     73218 |     180    15300   107100 | 2147483647    68063     53 |  0.003 % |
28.04/28.16	c |     73379 |     180    15300   107100 | 2147483647    68224     53 |  0.003 % |
28.23/28.31	c |     73557 |     180    15300   107100 | 2147483647    68402     53 |  0.003 % |
28.33/28.49	c |     73754 |     180    15300   107100 | 2147483647    68599     53 |  0.003 % |
28.54/28.65	c |     73966 |     180    15300   107100 | 2147483647    68811     53 |  0.003 % |
28.73/28.85	c |     74202 |     180    15300   107100 | 2147483647    69047     53 |  0.003 % |
28.93/29.03	c |     74458 |     180    15300   107100 | 2147483647    69303     53 |  0.003 % |
29.13/29.24	c |     74739 |     180    15300   107100 | 2147483647    69584     53 |  0.003 % |
29.33/29.47	c |     75048 |     180    15300   107100 | 2147483647    69893     53 |  0.003 % |
29.64/29.80	c |     75387 |     180    15300   107100 | 2147483647    70232     53 |  0.003 % |
30.03/30.13	c |     75760 |     180    15300   107100 | 2147483647    70605     53 |  0.003 % |
30.33/30.46	c |     76170 |     180    15300   107100 | 2147483647    71015     53 |  0.003 % |
30.74/30.82	c |     76623 |     180    15300   107100 | 2147483647    71468     53 |  0.003 % |
31.03/31.20	c |     77117 |     180    15300   107100 | 2147483647    71962     53 |  0.003 % |
31.53/31.63	c |     77659 |     180    15300   107100 | 2147483647    72504     53 |  0.003 % |
31.93/32.06	c |     78257 |     180    15300   107100 | 2147483647    73102     53 |  0.003 % |
32.43/32.54	c |     78912 |     180    15300   107100 | 2147483647    73757     53 |  0.003 % |
32.93/33.08	c |     79632 |     180    15300   107100 | 2147483647    74477     53 |  0.003 % |
33.62/33.71	c |     80425 |     180    15300   107100 |    74846    65073     53 |  0.003 % |
34.12/34.28	c |     81297 |     180    15300   107100 |    74846    65945     53 |  0.003 % |
34.82/34.95	c |     82256 |     180    15300   107100 |    74846    66904     53 |  0.003 % |
34.92/35.03	c |     82356 |     180    15300   107100 |    74846    67004     53 |  0.003 % |
35.02/35.14	c |     82467 |     180    15300   107100 |    74846    67115     53 |  0.003 % |
35.12/35.24	c |     82588 |     180    15300   107100 |    74846    67236     53 |  0.003 % |
35.21/35.39	c |     82721 |     180    15300   107100 |    74846    67369     53 |  0.003 % |
35.41/35.52	c |     82867 |     180    15300   107100 |    74846    67515     53 |  0.003 % |
35.51/35.66	c |     83028 |     180    15300   107100 |    74846    67676     53 |  0.003 % |
35.71/35.85	c |     83205 |     180    15300   107100 |    74846    67853     53 |  0.003 % |
35.91/36.01	c |     83398 |     180    15300   107100 |    74846    68046     53 |  0.003 % |
36.01/36.17	c |     83612 |     180    15300   107100 |    74846    68260     53 |  0.003 % |
36.22/36.34	c |     83845 |     180    15300   107100 |    74846    68493     53 |  0.003 % |
36.41/36.51	c |     84101 |     180    15300   107100 |    74846    68749     53 |  0.003 % |
36.61/36.72	c |     84382 |     180    15300   107100 |    74846    69030     53 |  0.003 % |
36.81/36.97	c |     84692 |     180    15300   107100 |    74846    69340     53 |  0.003 % |
37.11/37.24	c |     85033 |     180    15300   107100 |    74846    69681     53 |  0.003 % |
37.41/37.59	c |     85408 |     180    15300   107100 |    74846    70056     53 |  0.003 % |
37.81/37.96	c |     85817 |     180    15300   107100 |    74846    70465     53 |  0.003 % |
38.21/38.33	c |     86267 |     180    15300   107100 |    74846    70915     53 |  0.003 % |
38.60/38.73	c |     86761 |     180    15300   107100 |    74846    71409     53 |  0.003 % |
39.00/39.17	c |     87304 |     180    15300   107100 |    74846    71952     53 |  0.003 % |
39.51/39.63	c |     87901 |     180    15300   107100 |    74846    72549     53 |  0.003 % |
40.00/40.13	c |     88557 |     180    15300   107100 |    74846    73205     53 |  0.003 % |
40.70/40.81	c |     89278 |     180    15300   107100 |    74846    73926     53 |  0.003 % |
41.41/41.52	c |     90071 |     180    15300   107100 |    74648    74719     53 |  0.003 % |
42.11/42.26	c |     90943 |     180    15300   107100 |    74648    64391     53 |  0.003 % |
42.81/42.96	c |     91901 |     180    15300   107100 |    74648    65349     53 |  0.003 % |
43.51/43.69	c |     92955 |     180    15300   107100 |    74648    66403     53 |  0.003 % |
43.61/43.76	c |     93056 |     180    15300   107100 |    74648    66504     53 |  0.003 % |
43.71/43.88	c |     93167 |     180    15300   107100 |    74648    66615     53 |  0.003 % |
43.81/43.98	c |     93288 |     180    15300   107100 |    74648    66736     53 |  0.003 % |
43.91/44.08	c |     93421 |     180    15300   107100 |    74648    66869     53 |  0.003 % |
44.11/44.20	c |     93567 |     180    15300   107100 |    74648    67015     53 |  0.003 % |
44.21/44.35	c |     93727 |     180    15300   107100 |    74648    67175     53 |  0.003 % |
44.31/44.49	c |     93904 |     180    15300   107100 |    74648    67352     53 |  0.003 % |
44.51/44.65	c |     94098 |     180    15300   107100 |    74648    67546     53 |  0.003 % |
44.71/44.84	c |     94311 |     180    15300   107100 |    74648    67759     53 |  0.003 % |
44.91/45.05	c |     94544 |     180    15300   107100 |    74648    67992     53 |  0.003 % |
45.11/45.29	c |     94800 |     180    15300   107100 |    74648    68248     53 |  0.003 % |
45.41/45.53	c |     95081 |     180    15300   107100 |    74648    68529     53 |  0.003 % |
45.71/45.82	c |     95390 |     180    15300   107100 |    74648    68838     53 |  0.003 % |
45.90/46.09	c |     95731 |     180    15300   107100 |    74648    69179     53 |  0.003 % |
46.30/46.42	c |     96103 |     180    15300   107100 |    74648    69551     53 |  0.003 % |
46.60/46.72	c |     96513 |     180    15300   107100 |    74648    69961     53 |  0.003 % |
47.00/47.12	c |     96964 |     180    15300   107100 |    74648    70412     53 |  0.003 % |
47.40/47.53	c |     97458 |     180    15300   107100 |    74648    70906     53 |  0.003 % |
47.80/47.98	c |     98001 |     180    15300   107100 |    74648    71449     53 |  0.003 % |
48.40/48.51	c |     98598 |     180    15300   107100 |    74648    72046     53 |  0.003 % |
48.90/49.09	c |     99255 |     180    15300   107100 |    74648    72703     53 |  0.003 % |
49.50/49.69	c |     99975 |     180    15300   107100 |    74648    73423     53 |  0.003 % |
50.10/50.28	c |    100768 |     180    15300   107100 |    73449    62674     53 |  0.003 % |
50.70/50.84	c |    101639 |     180    15300   107100 |    73449    63545     53 |  0.003 % |
51.30/51.49	c |    102601 |     180    15300   107100 |    73449    64507     53 |  0.003 % |
52.00/52.18	c |    103657 |     180    15300   107100 |    73449    65563     53 |  0.003 % |
52.80/52.92	c |    104817 |     180    15300   107100 |    73449    66723     53 |  0.003 % |
52.80/53.00	c |    104919 |     180    15300   107100 |    73449    66825     53 |  0.003 % |
52.90/53.07	c |    105031 |     180    15300   107100 |    73449    66937     53 |  0.003 % |
53.00/53.17	c |    105152 |     180    15300   107100 |    73449    67058     53 |  0.003 % |
53.10/53.27	c |    105285 |     180    15300   107100 |    73449    67191     53 |  0.003 % |
53.20/53.39	c |    105432 |     180    15300   107100 |    73449    67338     53 |  0.003 % |
53.30/53.50	c |    105595 |     180    15300   107100 |    73449    67501     53 |  0.003 % |
53.50/53.66	c |    105771 |     180    15300   107100 |    73449    67677     53 |  0.003 % |
53.70/53.81	c |    105966 |     180    15300   107100 |    73449    67872     53 |  0.003 % |
53.90/54.01	c |    106179 |     180    15300   107100 |    73449    68085     53 |  0.003 % |
54.00/54.19	c |    106412 |     180    15300   107100 |    73449    68318     53 |  0.003 % |
54.20/54.39	c |    106669 |     180    15300   107100 |    73449    68575     53 |  0.003 % |
54.50/54.62	c |    106951 |     180    15300   107100 |    73449    68857     53 |  0.003 % |
54.70/54.86	c |    107264 |     180    15300   107100 |    73449    69170     53 |  0.003 % |
55.00/55.14	c |    107603 |     180    15300   107100 |    73449    69509     53 |  0.003 % |
55.30/55.42	c |    107976 |     180    15300   107100 |    73449    69882     53 |  0.003 % |
55.60/55.72	c |    108386 |     180    15300   107100 |    73449    70292     53 |  0.003 % |
55.90/56.07	c |    108837 |     180    15300   107100 |    73449    70743     53 |  0.003 % |
56.30/56.41	c |    109330 |     180    15300   107100 |    73449    71236     53 |  0.003 % |
56.70/56.81	c |    109872 |     180    15300   107100 |    73449    71778     53 |  0.003 % |
57.10/57.27	c |    110468 |     180    15300   107100 |    71909    62232     53 |  0.003 % |
57.60/57.72	c |    111125 |     180    15300   107100 |    71909    62889     53 |  0.003 % |
58.00/58.17	c |    111845 |     180    15300   107100 |    71909    63609     53 |  0.003 % |
58.50/58.69	c |    112637 |     180    15300   107100 |    71909    64401     53 |  0.003 % |
59.10/59.28	c |    113511 |     180    15300   107100 |    71909    65275     53 |  0.003 % |
59.90/60.04	c |    114470 |     180    15300   107100 |    71909    66234     53 |  0.003 % |
60.70/60.81	c |    115524 |     180    15300   107100 |    71909    67288     53 |  0.003 % |
61.60/61.71	c |    116683 |     180    15300   107100 |    71909    68447     53 |  0.003 % |
62.50/62.65	c |    117956 |     180    15300   107100 |    71909    69720     53 |  0.003 % |
62.60/62.74	c |    118056 |     180    15300   107100 |    71909    69820     53 |  0.003 % |
62.70/62.85	c |    118166 |     180    15300   107100 |    71909    69930     53 |  0.003 % |
62.80/62.94	c |    118287 |     180    15300   107100 |    71909    70051     53 |  0.003 % |
62.90/63.05	c |    118420 |     180    15300   107100 |    71909    70184     53 |  0.003 % |
63.00/63.18	c |    118569 |     180    15300   107100 |    71909    70333     53 |  0.003 % |
63.20/63.33	c |    118732 |     180    15300   107100 |    71909    70496     53 |  0.003 % |
63.30/63.49	c |    118909 |     180    15300   107100 |    71909    70673     53 |  0.003 % |
63.50/63.66	c |    119103 |     180    15300   107100 |    71909    70867     53 |  0.003 % |
63.70/63.82	c |    119315 |     180    15300   107100 |    71909    71079     53 |  0.003 % |
63.90/64.00	c |    119549 |     180    15300   107100 |    71909    71313     53 |  0.003 % |
64.10/64.27	c |    119806 |     180    15300   107100 |    71909    71570     53 |  0.003 % |
64.40/64.57	c |    120088 |     180    15300   107100 |    71765    61686     53 |  0.003 % |
64.60/64.80	c |    120397 |     180    15300   107100 |    71765    61995     53 |  0.003 % |
64.90/65.05	c |    120736 |     180    15300   107100 |    71765    62334     53 |  0.003 % |
65.10/65.30	c |    121108 |     180    15300   107100 |    71765    62706     53 |  0.003 % |
65.40/65.57	c |    121517 |     180    15300   107100 |    71765    63115     53 |  0.003 % |
65.80/65.94	c |    121968 |     180    15300   107100 |    71765    63566     53 |  0.003 % |
66.20/66.33	c |    122461 |     180    15300   107100 |    71765    64059     53 |  0.003 % |
66.60/66.71	c |    123004 |     180    15300   107100 |    71765    64602     53 |  0.003 % |
67.10/67.21	c |    123602 |     180    15300   107100 |    71765    65200     53 |  0.003 % |
67.60/67.71	c |    124257 |     180    15300   107100 |    71765    65855     53 |  0.003 % |
68.10/68.23	c |    124977 |     180    15300   107100 |    71765    66575     53 |  0.003 % |
68.70/68.81	c |    125769 |     180    15300   107100 |    71765    67367     53 |  0.003 % |
69.20/69.40	c |    126640 |     180    15300   107100 |    71765    68238     53 |  0.003 % |
69.90/70.09	c |    127600 |     180    15300   107100 |    71765    69198     53 |  0.003 % |
70.80/70.93	c |    128653 |     180    15300   107100 |    71765    70251     53 |  0.003 % |
71.60/71.75	c |    129811 |     180    15300   107100 |    71765    71409     53 |  0.003 % |
72.50/72.61	c |    131086 |     180    15300   107100 |    71599    63135     53 |  0.003 % |
73.50/73.61	c |    132486 |     180    15300   107100 |    71599    64535     53 |  0.003 % |
73.50/73.69	c |    132586 |     180    15300   107100 |    71599    64635     53 |  0.003 % |
73.60/73.78	c |    132696 |     180    15300   107100 |    71599    64745     53 |  0.003 % |
73.69/73.88	c |    132817 |     180    15300   107100 |    71599    64866     53 |  0.003 % |
73.79/73.98	c |    132950 |     180    15300   107100 |    71599    64999     53 |  0.003 % |
73.89/74.09	c |    133097 |     180    15300   107100 |    71599    65146     53 |  0.003 % |
74.09/74.23	c |    133257 |     180    15300   107100 |    71599    65306     53 |  0.003 % |
74.19/74.36	c |    133434 |     180    15300   107100 |    71599    65483     53 |  0.003 % |
74.39/74.51	c |    133628 |     180    15300   107100 |    71599    65677     53 |  0.003 % |
74.49/74.69	c |    133843 |     180    15300   107100 |    71599    65892     53 |  0.003 % |
74.70/74.89	c |    134077 |     180    15300   107100 |    71599    66126     53 |  0.003 % |
74.99/75.12	c |    134334 |     180    15300   107100 |    71599    66383     53 |  0.003 % |
75.19/75.35	c |    134616 |     180    15300   107100 |    71599    66665     53 |  0.003 % |
75.49/75.60	c |    134928 |     180    15300   107100 |    71599    66977     53 |  0.003 % |
75.70/75.88	c |    135268 |     180    15300   107100 |    71599    67317     53 |  0.003 % |
75.99/76.15	c |    135640 |     180    15300   107100 |    71599    67689     53 |  0.003 % |
76.29/76.45	c |    136050 |     180    15300   107100 |    71599    68099     53 |  0.003 % |
76.59/76.79	c |    136500 |     180    15300   107100 |    71599    68549     53 |  0.003 % |
77.09/77.20	c |    136995 |     180    15300   107100 |    71599    69044     53 |  0.003 % |
77.49/77.60	c |    137537 |     180    15300   107100 |    71599    69586     53 |  0.003 % |
77.90/78.09	c |    138133 |     180    15300   107100 |    71599    70182     53 |  0.003 % |
78.39/78.58	c |    138788 |     180    15300   107100 |    71599    70837     53 |  0.003 % |
78.99/79.13	c |    139508 |     180    15300   107100 |    71599    71557     53 |  0.003 % |
79.68/79.80	c |    140300 |     180    15300   107100 |    61946    53551     53 |  0.003 % |
80.19/80.34	c |    141172 |     180    15300   107100 |    61946    54423     53 |  0.003 % |
80.68/80.89	c |    142132 |     180    15300   107100 |    61946    55383     53 |  0.003 % |
81.29/81.49	c |    143186 |     180    15300   107100 |    61946    56437     53 |  0.003 % |
81.98/82.16	c |    144344 |     180    15300   107100 |    61946    57595     53 |  0.003 % |
82.68/82.89	c |    145617 |     180    15300   107100 |    61946    58868     53 |  0.003 % |
83.68/83.81	c |    147018 |     180    15300   107100 |    61946    60269     53 |  0.003 % |
84.68/84.85	c |    148558 |     180    15300   107100 |    61946    61809     53 |  0.003 % |
84.78/84.94	c |    148658 |     180    15300   107100 |    61946    61909     53 |  0.003 % |
84.88/85.02	c |    148768 |     180    15300   107100 |    61946    62019     53 |  0.003 % |
84.98/85.15	c |    148889 |     180    15300   107100 |    61946    55939     53 |  0.003 % |
85.08/85.23	c |    149022 |     180    15300   107100 |    61946    56072     53 |  0.003 % |
85.18/85.36	c |    149169 |     180    15300   107100 |    61946    56219     53 |  0.003 % |
85.28/85.47	c |    149331 |     180    15300   107100 |    61946    56381     53 |  0.003 % |
85.38/85.57	c |    149507 |     180    15300   107100 |    61946    56557     53 |  0.003 % |
85.58/85.73	c |    149701 |     180    15300   107100 |    61946    56751     53 |  0.003 % |
85.68/85.89	c |    149915 |     180    15300   107100 |    61946    56965     53 |  0.003 % |
85.88/86.03	c |    150149 |     180    15300   107100 | 2147483647    57199     53 |  0.003 % |
86.08/86.21	c |    150405 |     180    15300   107100 | 2147483647    57455     53 |  0.003 % |
86.18/86.39	c |    150691 |     180    15300   107100 | 2147483647    57741     53 |  0.003 % |
86.48/86.61	c |    151001 |     180    15300   107100 | 2147483647    58051     53 |  0.003 % |
86.68/86.88	c |    151340 |     180    15300   107100 | 2147483647    58390     53 |  0.003 % |
86.98/87.15	c |    151713 |     180    15300   107100 | 2147483647    58763     53 |  0.003 % |
87.28/87.43	c |    152123 |     180    15300   107100 | 2147483647    59173     53 |  0.003 % |
87.58/87.71	c |    152572 |     180    15300   107100 | 2147483647    59622     53 |  0.003 % |
87.88/88.08	c |    153065 |     180    15300   107100 | 2147483647    60115     53 |  0.003 % |
88.28/88.45	c |    153608 |     180    15300   107100 | 2147483647    60658     53 |  0.003 % |
88.68/88.83	c |    154204 |     180    15300   107100 | 2147483647    61254     53 |  0.003 % |
89.08/89.22	c |    154859 |     180    15300   107100 | 2147483647    61909     53 |  0.003 % |
89.58/89.70	c |    155580 |     180    15300   107100 | 2147483647    62630     53 |  0.003 % |
90.18/90.30	c |    156372 |     180    15300   107100 | 2147483647    63422     53 |  0.003 % |
90.78/90.93	c |    157244 |     180    15300   107100 | 2147483647    64294     53 |  0.003 % |
91.38/91.58	c |    158203 |     180    15300   107100 | 2147483647    65253     53 |  0.003 % |
92.08/92.28	c |    159259 |     180    15300   107100 | 2147483647    66309     53 |  0.003 % |
92.97/93.12	c |    160418 |     180    15300   107100 |    67050    60424     53 |  0.003 % |
93.77/93.90	c |    161691 |     180    15300   107100 |    67050    61697     53 |  0.003 % |
94.67/94.81	c |    163091 |     180    15300   107100 |    67050    63097     53 |  0.003 % |
95.77/95.92	c |    164631 |     180    15300   107100 |    67050    64637     53 |  0.003 % |
96.97/97.11	c |    166328 |     180    15300   107100 |    67050    66334     53 |  0.003 % |
96.97/97.18	c |    166428 |     180    15300   107100 |    67050    66434     53 |  0.003 % |
97.07/97.26	c |    166539 |     180    15300   107100 |    67050    66545     53 |  0.003 % |
97.17/97.37	c |    166661 |     180    15300   107100 |    67050    66667     53 |  0.003 % |
97.27/97.49	c |    166795 |     180    15300   107100 |    67050    66801     53 |  0.003 % |
97.47/97.61	c |    166942 |     180    15300   107100 |    67050    66948     53 |  0.003 % |
97.57/97.74	c |    167103 |     180    15300   107100 |    67050    67109     53 |  0.003 % |
97.78/97.91	c |    167279 |     180    15300   107100 |    67050    59958     53 |  0.003 % |
97.87/98.04	c |    167473 |     180    15300   107100 |    67050    60152     53 |  0.003 % |
97.97/98.19	c |    167685 |     180    15300   107100 |    67050    60364     53 |  0.003 % |
98.17/98.33	c |    167918 |     180    15300   107100 |    67050    60597     53 |  0.003 % |
98.37/98.50	c |    168175 |     180    15300   107100 |    67050    60854     53 |  0.003 % |
98.57/98.70	c |    168458 |     180    15300   107100 |    67050    61137     53 |  0.003 % |
98.77/98.91	c |    168767 |     180    15300   107100 |    67050    61446     53 |  0.003 % |
98.97/99.15	c |    169106 |     180    15300   107100 |    67050    61785     53 |  0.003 % |
99.17/99.38	c |    169478 |     180    15300   107100 |    67050    62157     53 |  0.003 % |
99.47/99.64	c |    169887 |     180    15300   107100 |    67050    62566     53 |  0.003 % |
99.77/99.98	c |    170336 |     180    15300   107100 |    62682    56215     53 |  0.003 % |
100.07/100.29	c |    170831 |     180    15300   107100 |    62682    56710     53 |  0.003 % |
100.47/100.64	c |    171373 |     180    15300   107100 |    62682    57252     53 |  0.003 % |
100.77/100.99	c |    171970 |     180    15300   107100 |    62682    57849     53 |  0.003 % |
101.17/101.39	c |    172625 |     180    15300   107100 |    62682    58504     53 |  0.003 % |
101.57/101.78	c |    173345 |     180    15300   107100 |    62682    59224     53 |  0.003 % |
102.07/102.29	c |    174137 |     180    15300   107100 |    62682    60016     53 |  0.003 % |
102.67/102.81	c |    175008 |     180    15300   107100 |    62682    60887     53 |  0.003 % |
103.37/103.53	c |    175966 |     180    15300   107100 |    62682    61845     53 |  0.003 % |
104.17/104.31	c |    177021 |     180    15300   107100 |    62682    56624     53 |  0.003 % |
104.87/105.10	c |    178179 |     180    15300   107100 |    62682    57782     53 |  0.003 % |
105.77/105.94	c |    179452 |     180    15300   107100 |    62682    59055     53 |  0.003 % |
106.67/106.80	c |    180854 |     180    15300   107100 | 2147483647    60457     53 |  0.003 % |
107.67/107.85	c |    182394 |     180    15300   107100 | 2147483647    61997     53 |  0.003 % |
108.77/108.90	c |    184088 |     180    15300   107100 | 2147483647    63691     53 |  0.003 % |
110.06/110.28	c |    185952 |     180    15300   107100 | 2147483647    65555     53 |  0.003 % |
110.16/110.36	c |    186054 |     180    15300   107100 | 2147483647    65657     53 |  0.003 % |
110.26/110.47	c |    186165 |     180    15300   107100 | 2147483647    65768     53 |  0.003 % |
110.36/110.57	c |    186286 |     180    15300   107100 | 2147483647    65889     53 |  0.003 % |
110.46/110.67	c |    186420 |     180    15300   107100 | 2147483647    66023     53 |  0.003 % |
110.56/110.79	c |    186566 |     180    15300   107100 | 2147483647    66169     53 |  0.003 % |
110.76/110.93	c |    186726 |     180    15300   107100 | 2147483647    66329     53 |  0.003 % |
110.87/111.06	c |    186904 |     180    15300   107100 | 2147483647    66507     53 |  0.003 % |
111.06/111.23	c |    187097 |     180    15300   107100 | 2147483647    66700     53 |  0.003 % |
111.26/111.42	c |    187309 |     180    15300   107100 | 2147483647    66912     53 |  0.003 % |
111.46/111.62	c |    187542 |     180    15300   107100 | 2147483647    67145     53 |  0.003 % |
111.66/111.85	c |    187799 |     180    15300   107100 | 2147483647    67402     53 |  0.003 % |
111.86/112.08	c |    188081 |     180    15300   107100 | 2147483647    67684     53 |  0.003 % |
112.16/112.34	c |    188390 |     180    15300   107100 | 2147483647    67993     53 |  0.003 % |
112.36/112.59	c |    188730 |     180    15300   107100 | 2147483647    68333     53 |  0.003 % |
112.66/112.88	c |    189102 |     180    15300   107100 | 2147483647    68705     53 |  0.003 % |
112.96/113.18	c |    189512 |     180    15300   107100 | 2147483647    69115     53 |  0.003 % |
113.36/113.58	c |    189964 |     180    15300   107100 | 2147483647    69567     53 |  0.003 % |
113.76/113.99	c |    190457 |     180    15300   107100 |    69605    61580     53 |  0.003 % |
114.17/114.34	c |    191001 |     180    15300   107100 |    69605    62124     53 |  0.003 % |
114.56/114.78	c |    191597 |     180    15300   107100 |    69605    62720     53 |  0.003 % |
115.06/115.23	c |    192253 |     180    15300   107100 |    69605    63376     53 |  0.003 % |
115.56/115.71	c |    192976 |     180    15300   107100 |    69605    64099     53 |  0.003 % |
116.06/116.21	c |    193768 |     180    15300   107100 |    69605    64891     53 |  0.003 % |
116.66/116.81	c |    194642 |     180    15300   107100 |    69605    65765     53 |  0.003 % |
117.26/117.41	c |    195601 |     180    15300   107100 |    69605    66724     53 |  0.003 % |
117.96/118.14	c |    196655 |     180    15300   107100 |    69605    67778     54 |  0.003 % |
118.76/118.95	c |    197813 |     180    15300   107100 |    69605    68936     54 |  0.003 % |
119.67/119.85	c |    199086 |     180    15300   107100 |    69605    61950     54 |  0.003 % |
120.86/121.02	c |    200486 |     180    15300   107100 |    62864    55739     54 |  0.003 % |
121.76/121.96	c |    202028 |     180    15300   107100 |    62864    57281     54 |  0.003 % |
122.86/123.05	c |    203722 |     180    15300   107100 |    62864    58975     54 |  0.003 % |
123.96/124.19	c |    205585 |     180    15300   107100 |    62864    60838     54 |  0.003 % |
125.35/125.57	c |    207634 |     180    15300   107100 |    62864    62887     54 |  0.003 % |
125.45/125.67	c |    207735 |     180    15300   107100 |    62864    56700     54 |  0.003 % |
125.55/125.76	c |    207846 |     180    15300   107100 |    62864    56811     54 |  0.003 % |
125.65/125.83	c |    207967 |     180    15300   107100 |    62864    56932     54 |  0.003 % |
125.75/125.94	c |    208100 |     180    15300   107100 |    62864    57065     54 |  0.003 % |
125.85/126.04	c |    208247 |     180    15300   107100 |    62864    57212     54 |  0.003 % |
125.95/126.16	c |    208409 |     180    15300   107100 |    62864    57374     54 |  0.003 % |
126.05/126.28	c |    208586 |     180    15300   107100 |    62864    57551     54 |  0.003 % |
126.25/126.42	c |    208779 |     180    15300   107100 |    62864    57744     54 |  0.003 % |
126.35/126.57	c |    208991 |     180    15300   107100 |    62864    57956     54 |  0.003 % |
126.55/126.76	c |    209225 |     180    15300   107100 |    62864    58190     54 |  0.003 % |
126.75/126.92	c |    209482 |     180    15300   107100 |    62864    58447     54 |  0.003 % |
126.95/127.10	c |    209763 |     180    15300   107100 |    62864    58728     54 |  0.003 % |
127.05/127.29	c |    210072 |     180    15300   107100 | 2147483647    59037     54 |  0.003 % |
127.35/127.58	c |    210412 |     180    15300   107100 | 2147483647    59377     54 |  0.003 % |
127.65/127.87	c |    210785 |     180    15300   107100 | 2147483647    59750     54 |  0.003 % |
127.95/128.14	c |    211196 |     180    15300   107100 | 2147483647    60161     54 |  0.003 % |
128.25/128.42	c |    211646 |     180    15300   107100 | 2147483647    60611     54 |  0.003 % |
128.55/128.74	c |    212139 |     180    15300   107100 | 2147483647    61104     54 |  0.003 % |
128.85/129.06	c |    212681 |     180    15300   107100 | 2147483647    61646     54 |  0.003 % |
129.25/129.41	c |    213277 |     180    15300   107100 | 2147483647    62242     54 |  0.003 % |
129.65/129.81	c |    213933 |     180    15300   107100 | 2147483647    62898     54 |  0.003 % |
130.05/130.25	c |    214654 |     180    15300   107100 | 2147483647    63619     54 |  0.003 % |
130.55/130.78	c |    215447 |     180    15300   107100 | 2147483647    64412     54 |  0.003 % |
131.15/131.36	c |    216321 |     180    15300   107100 | 2147483647    65286     54 |  0.003 % |
131.85/132.04	c |    217280 |     180    15300   107100 | 2147483647    66245     54 |  0.003 % |
132.55/132.73	c |    218335 |     180    15300   107100 | 2147483647    67300     54 |  0.003 % |
133.25/133.48	c |    219493 |     180    15300   107100 | 2147483647    68458     54 |  0.003 % |
134.15/134.36	c |    220766 |     180    15300   107100 |    68966    62406     54 |  0.003 % |
135.05/135.24	c |    222166 |     180    15300   107100 |    68966    63806     54 |  0.003 % |
136.04/136.25	c |    223708 |     180    15300   107100 |    68966    65348     54 |  0.003 % |
137.14/137.36	c |    225402 |     180    15300   107100 |    68966    67042     54 |  0.003 % |
138.35/138.59	c |    227265 |     180    15300   107100 |    68966    68905     54 |  0.003 % |
139.74/140.00	c |    229314 |     180    15300   107100 |    68966    63994     54 |  0.003 % |
141.24/141.45	c |    231567 |     180    15300   107100 |    64680    59686     54 |  0.003 % |
141.34/141.55	c |    231667 |     180    15300   107100 |    64680    59786     54 |  0.003 % |
141.44/141.63	c |    231777 |     180    15300   107100 |    64680    59896     54 |  0.003 % |
141.54/141.72	c |    231898 |     180    15300   107100 |    64680    60017     54 |  0.003 % |
141.65/141.82	c |    232031 |     180    15300   107100 |    64680    60150     54 |  0.003 % |
141.75/141.94	c |    232177 |     180    15300   107100 |    64680    60296     54 |  0.003 % |
141.84/142.07	c |    232339 |     180    15300   107100 |    64680    60458     54 |  0.003 % |
141.94/142.20	c |    232515 |     180    15300   107100 |    64680    60634     54 |  0.003 % |
142.14/142.37	c |    232709 |     180    15300   107100 |    64680    60828     54 |  0.003 % |
142.34/142.51	c |    232922 |     180    15300   107100 |    64680    61041     54 |  0.003 % |
142.44/142.68	c |    233156 |     180    15300   107100 |    64680    61275     54 |  0.003 % |
142.64/142.83	c |    233412 |     180    15300   107100 |    64680    61531     54 |  0.003 % |
142.84/143.02	c |    233694 |     180    15300   107100 |    64680    61813     54 |  0.003 % |
143.04/143.21	c |    234003 |     180    15300   107100 |    64680    62122     54 |  0.003 % |
143.24/143.48	c |    234342 |     180    15300   107100 |    64680    62461     54 |  0.003 % |
143.54/143.73	c |    234714 |     180    15300   107100 |    64680    62833     54 |  0.003 % |
143.84/144.02	c |    235124 |     180    15300   107100 |    64680    63243     54 |  0.003 % |
144.14/144.34	c |    235573 |     180    15300   107100 |    64680    63692     54 |  0.003 % |
144.54/144.74	c |    236066 |     180    15300   107100 |    64680    64185     54 |  0.003 % |
144.94/145.13	c |    236608 |     180    15300   107100 |    64680    64727     54 |  0.003 % |
145.34/145.57	c |    237204 |     180    15300   107100 |    64680    58444     54 |  0.003 % |
145.74/145.98	c |    237860 |     180    15300   107100 |    64680    59100     54 |  0.003 % |
146.24/146.43	c |    238581 |     180    15300   107100 |    64680    59821     54 |  0.003 % |
146.74/146.99	c |    239374 |     180    15300   107100 |    64680    60614     54 |  0.003 % |
147.44/147.65	c |    240247 |     180    15300   107100 |    61240    55225     54 |  0.003 % |
148.04/148.25	c |    241205 |     180    15300   107100 |    61240    56183     54 |  0.003 % |
148.64/148.87	c |    242258 |     180    15300   107100 |    61240    57236     54 |  0.003 % |
149.34/149.59	c |    243418 |     180    15300   107100 |    61240    58396     54 |  0.003 % |
150.24/150.42	c |    244691 |     180    15300   107100 |    61240    59669     54 |  0.003 % |
151.14/151.31	c |    246091 |     180    15300   107100 |    61240    61069     53 |  0.003 % |
152.24/152.43	c |    247631 |     180    15300   107100 |    61240    56476     54 |  0.003 % |
153.24/153.46	c |    249326 |     180    15300   107100 |    61240    58171     54 |  0.003 % |
154.44/154.62	c |    251190 |     180    15300   107100 | 2147483647    60035     54 |  0.003 % |
155.74/155.90	c |    253239 |     180    15300   107100 | 2147483647    62084     54 |  0.003 % |
157.04/157.26	c |    255494 |     180    15300   107100 | 2147483647    64339     54 |  0.003 % |
158.63/158.88	c |    257973 |     180    15300   107100 | 2147483647    66818     54 |  0.003 % |
158.73/158.96	c |    258074 |     180    15300   107100 | 2147483647    66919     54 |  0.003 % |
158.83/159.06	c |    258184 |     180    15300   107100 | 2147483647    67029     54 |  0.003 % |
158.93/159.16	c |    258305 |     180    15300   107100 | 2147483647    67150     54 |  0.003 % |
159.03/159.28	c |    258440 |     180    15300   107100 | 2147483647    67285     54 |  0.003 % |
159.24/159.41	c |    258586 |     180    15300   107100 | 2147483647    67431     54 |  0.003 % |
159.34/159.56	c |    258747 |     180    15300   107100 | 2147483647    67592     54 |  0.003 % |
159.43/159.69	c |    258924 |     180    15300   107100 | 2147483647    67769     54 |  0.003 % |
159.63/159.85	c |    259117 |     180    15300   107100 | 2147483647    67962     54 |  0.003 % |
159.83/160.01	c |    259330 |     180    15300   107100 | 2147483647    68175     54 |  0.003 % |
159.93/160.16	c |    259565 |     180    15300   107100 | 2147483647    68410     54 |  0.003 % |
160.13/160.40	c |    259823 |     180    15300   107100 | 2147483647    68668     54 |  0.003 % |
160.44/160.62	c |    260107 |     180    15300   107100 | 2147483647    68952     54 |  0.003 % |
160.63/160.86	c |    260416 |     180    15300   107100 | 2147483647    69261     54 |  0.003 % |
160.93/161.14	c |    260755 |     180    15300   107100 | 2147483647    69600     54 |  0.003 % |
161.23/161.45	c |    261128 |     180    15300   107100 | 2147483647    69973     54 |  0.003 % |
161.54/161.76	c |    261537 |     180    15300   107100 | 2147483647    70382     54 |  0.003 % |
161.93/162.15	c |    261989 |     180    15300   107100 | 2147483647    70834     54 |  0.003 % |
162.33/162.53	c |    262483 |     180    15300   107100 | 2147483647    71328     54 |  0.003 % |
162.73/162.97	c |    263027 |     180    15300   107100 | 2147483647    71872     54 |  0.003 % |
163.23/163.49	c |    263623 |     180    15300   107100 | 2147483647    72468     54 |  0.003 % |
163.83/164.04	c |    264279 |     180    15300   107100 | 2147483647    73124     54 |  0.003 % |
164.43/164.67	c |    265001 |     180    15300   107100 | 2147483647    73846     54 |  0.003 % |
165.13/165.38	c |    265793 |     180    15300   107100 | 2147483647    74638     54 |  0.003 % |
165.83/166.08	c |    266667 |     180    15300   107100 | 2147483647    75512     54 |  0.003 % |
166.72/166.91	c |    267628 |     180    15300   107100 | 2147483647    76473     54 |  0.003 % |
167.62/167.80	c |    268681 |     180    15300   107100 | 2147483647    77526     54 |  0.003 % |
168.62/168.82	c |    269839 |     180    15300   107100 | 2147483647    78684     54 |  0.003 % |
169.63/169.82	c |    271112 |     180    15300   107100 |    78846    67317     53 |  0.003 % |
170.62/170.81	c |    272515 |     180    15300   107100 |    78846    68720     53 |  0.003 % |
171.72/171.98	c |    274056 |     180    15300   107100 |    78846    70261     54 |  0.003 % |
173.02/173.29	c |    275751 |     180    15300   107100 |    78846    71956     53 |  0.003 % |
174.52/174.73	c |    277615 |     180    15300   107100 |    78846    73820     53 |  0.003 % |
175.92/176.12	c |    279665 |     180    15300   107100 |    78846    75870     53 |  0.003 % |
177.42/177.65	c |    281918 |     180    15300   107100 |    76206    66314     53 |  0.003 % |
179.02/179.27	c |    284398 |     180    15300   107100 |    76206    68794     53 |  0.003 % |
180.92/181.14	c |    287124 |     180    15300   107100 |    76206    71520     53 |  0.003 % |
181.02/181.21	c |    287225 |     180    15300   107100 |    76206    71621     53 |  0.003 % |
181.02/181.30	c |    287335 |     180    15300   107100 |    76206    71731     53 |  0.003 % |
181.12/181.38	c |    287456 |     180    15300   107100 |    76206    71852     53 |  0.003 % |
181.22/181.49	c |    287589 |     180    15300   107100 |    76206    71985     53 |  0.003 % |
181.42/181.65	c |    287736 |     180    15300   107100 |    76206    72132     53 |  0.003 % |
181.52/181.79	c |    287896 |     180    15300   107100 |    76206    72292     53 |  0.003 % |
181.72/181.96	c |    288074 |     180    15300   107100 |    76206    72470     53 |  0.003 % |
181.92/182.15	c |    288268 |     180    15300   107100 |    76206    72664     53 |  0.003 % |
182.12/182.34	c |    288480 |     180    15300   107100 |    76206    72876     53 |  0.003 % |
182.32/182.53	c |    288714 |     180    15300   107100 |    76206    73110     53 |  0.003 % |
182.52/182.76	c |    288971 |     180    15300   107100 |    76206    73367     53 |  0.003 % |
182.72/182.99	c |    289252 |     180    15300   107100 |    76206    73648     53 |  0.003 % |
183.02/183.21	c |    289562 |     180    15300   107100 |    76206    73958     53 |  0.003 % |
183.32/183.53	c |    289903 |     180    15300   107100 |    76206    74299     53 |  0.003 % |
183.72/183.95	c |    290275 |     180    15300   107100 |    74396    64104     53 |  0.003 % |
184.02/184.25	c |    290685 |     180    15300   107100 |    74396    64514     53 |  0.003 % |
184.31/184.54	c |    291136 |     180    15300   107100 |    74396    64965     53 |  0.003 % |
184.72/184.90	c |    291629 |     180    15300   107100 |    74396    65458     53 |  0.003 % |
185.02/185.28	c |    292171 |     180    15300   107100 |    74396    66000     53 |  0.003 % |
185.52/185.70	c |    292768 |     180    15300   107100 |    74396    66597     53 |  0.003 % |
185.91/186.15	c |    293425 |     180    15300   107100 |    74396    67254     53 |  0.003 % |
186.41/186.60	c |    294146 |     180    15300   107100 |    74396    67975     53 |  0.003 % |
186.91/187.10	c |    294940 |     180    15300   107100 |    74396    68769     53 |  0.003 % |
187.51/187.71	c |    295812 |     180    15300   107100 |    74396    69641     53 |  0.003 % |
188.11/188.38	c |    296770 |     180    15300   107100 |    74396    70599     53 |  0.003 % |
188.92/189.13	c |    297823 |     180    15300   107100 |    74396    71652     53 |  0.003 % |
189.81/190.01	c |    298985 |     180    15300   107100 |    74396    72814     53 |  0.003 % |
190.71/190.91	c |    300258 |     180    15300   107100 |    73830    64601     53 |  0.003 % |
191.61/191.85	c |    301658 |     180    15300   107100 |    73830    66001     53 |  0.003 % |
192.61/192.80	c |    303198 |     180    15300   107100 |    73830    67541     53 |  0.003 % |
193.61/193.89	c |    304892 |     180    15300   107100 |    73830    69235     53 |  0.003 % |
195.01/195.21	c |    306755 |     180    15300   107100 |    73830    71098     53 |  0.003 % |
196.41/196.61	c |    308805 |     180    15300   107100 |    73830    73148     53 |  0.003 % |
197.91/198.19	c |    311058 |     180    15300   107100 |    64967    57844     53 |  0.003 % |
199.61/199.84	c |    313536 |     180    15300   107100 |    64967    60322     53 |  0.003 % |
201.51/201.72	c |    316261 |     180    15300   107100 |    64967    63047     53 |  0.003 % |
203.51/203.74	c |    319258 |     180    15300   107100 |    64967    58354     53 |  0.003 % |
203.60/203.80	c |    319358 |     180    15300   107100 |    64967    58454     53 |  0.003 % |
203.60/203.87	c |    319468 |     180    15300   107100 |    64967    58564     53 |  0.003 % |
203.70/203.95	c |    319589 |     180    15300   107100 |    64967    58685     53 |  0.003 % |
203.80/204.05	c |    319723 |     180    15300   107100 |    64967    58819     53 |  0.003 % |
203.90/204.15	c |    319870 |     180    15300   107100 |    64967    58966     53 |  0.003 % |
204.00/204.27	c |    320030 |     180    15300   107100 |    59096    59126     53 |  0.003 % |
204.20/204.43	c |    320207 |     180    15300   107100 |    59096    52441     53 |  0.003 % |
204.31/204.56	c |    320400 |     180    15300   107100 |    59096    52634     53 |  0.003 % |
204.41/204.69	c |    320614 |     180    15300   107100 |    59096    52848     53 |  0.003 % |
204.60/204.82	c |    320847 |     180    15300   107100 |    59096    53081     53 |  0.003 % |
204.70/204.99	c |    321107 |     180    15300   107100 |    59096    53341     53 |  0.003 % |
204.90/205.17	c |    321388 |     180    15300   107100 |    59096    53622     53 |  0.003 % |
205.10/205.36	c |    321697 |     180    15300   107100 |    59096    53931     53 |  0.003 % |
205.30/205.56	c |    322038 |     180    15300   107100 |    59096    54272     53 |  0.003 % |
205.60/205.81	c |    322410 |     180    15300   107100 |    59096    54644     53 |  0.003 % |
205.80/206.07	c |    322820 |     180    15300   107100 |    59096    55054     53 |  0.003 % |
206.10/206.37	c |    323270 |     180    15300   107100 |    59096    55504     53 |  0.003 % |
206.40/206.66	c |    323763 |     180    15300   107100 |    59096    55997     53 |  0.003 % |
206.80/207.02	c |    324308 |     180    15300   107100 |    59096    56542     53 |  0.003 % |
207.20/207.42	c |    324905 |     180    15300   107100 |    59096    57139     53 |  0.003 % |
207.61/207.82	c |    325561 |     180    15300   107100 |    59096    57795     53 |  0.003 % |
208.10/208.34	c |    326282 |     180    15300   107100 |    59096    58516     53 |  0.003 % |
208.60/208.88	c |    327074 |     180    15300   107100 |    59096    53391     53 |  0.003 % |
209.20/209.41	c |    327946 |     180    15300   107100 |    59096    54263     53 |  0.003 % |
209.70/209.97	c |    328904 |     180    15300   107100 |    59096    55221     53 |  0.003 % |
210.40/210.63	c |    329958 |     180    15300   107100 |    59096    56275     53 |  0.003 % |
211.10/211.40	c |    331116 |     180    15300   107100 | 2147483647    57433     53 |  0.003 % |
211.90/212.14	c |    332389 |     180    15300   107100 | 2147483647    58706     53 |  0.003 % |
212.70/212.98	c |    333789 |     180    15300   107100 | 2147483647    60106     53 |  0.003 % |
213.70/213.95	c |    335329 |     180    15300   107100 | 2147483647    61646     53 |  0.003 % |
214.79/215.07	c |    337025 |     180    15300   107100 | 2147483647    63342     53 |  0.003 % |
216.09/216.35	c |    338888 |     180    15300   107100 | 2147483647    65205     53 |  0.003 % |
217.60/217.82	c |    340937 |     180    15300   107100 | 2147483647    67254     53 |  0.003 % |
219.09/219.33	c |    343191 |     180    15300   107100 | 2147483647    69508     53 |  0.003 % |
220.69/220.91	c |    345670 |     180    15300   107100 | 2147483647    71987     53 |  0.003 % |
222.49/222.77	c |    348397 |     180    15300   107100 | 2147483647    74714     53 |  0.003 % |
224.69/224.92	c |    351395 |     180    15300   107100 |    76317    68164     53 |  0.003 % |
226.89/227.17	c |    354691 |     180    15300   107100 |    76317    71460     54 |  0.003 % |
226.99/227.24	c |    354792 |     180    15300   107100 |    76317    71561     54 |  0.003 % |
227.09/227.33	c |    354902 |     180    15300   107100 |    76317    71671     54 |  0.003 % |
227.19/227.43	c |    355023 |     180    15300   107100 |    76317    71792     54 |  0.003 % |
227.29/227.58	c |    355156 |     180    15300   107100 |    76317    71925     54 |  0.003 % |
227.39/227.70	c |    355304 |     180    15300   107100 |    76317    72073     54 |  0.003 % |
227.59/227.83	c |    355464 |     180    15300   107100 |    76317    72233     54 |  0.003 % |
227.69/227.96	c |    355640 |     180    15300   107100 |    76317    72409     54 |  0.003 % |
227.89/228.10	c |    355834 |     180    15300   107100 |    76317    72603     54 |  0.003 % |
227.99/228.29	c |    356046 |     180    15300   107100 |    76317    72815     54 |  0.003 % |
228.29/228.51	c |    356281 |     180    15300   107100 |    76317    73050     54 |  0.003 % |
228.49/228.73	c |    356537 |     180    15300   107100 |    76317    73306     54 |  0.003 % |
228.69/228.99	c |    356818 |     180    15300   107100 |    76317    73587     54 |  0.003 % |
229.09/229.30	c |    357129 |     180    15300   107100 |    76317    73898     54 |  0.003 % |
229.29/229.58	c |    357470 |     180    15300   107100 |    76317    74239     54 |  0.003 % |
229.59/229.87	c |    357844 |     180    15300   107100 |    76317    74613     53 |  0.003 % |
229.89/230.16	c |    358255 |     180    15300   107100 |    76317    75024     53 |  0.003 % |
230.19/230.48	c |    358706 |     180    15300   107100 |    76317    75475     53 |  0.003 % |
230.59/230.84	c |    359199 |     180    15300   107100 |    76317    75968     53 |  0.003 % |
231.09/231.31	c |    359743 |     180    15300   107100 |    76317    65541     54 |  0.003 % |
231.49/231.74	c |    360341 |     180    15300   107100 |    65798    56728     54 |  0.003 % |
231.89/232.14	c |    360996 |     180    15300   107100 |    65798    57383     54 |  0.003 % |
232.29/232.58	c |    361717 |     180    15300   107100 |    65798    58104     54 |  0.003 % |
232.79/233.08	c |    362509 |     180    15300   107100 |    65798    58896     54 |  0.003 % |
233.39/233.68	c |    363381 |     180    15300   107100 |    65798    59768     54 |  0.003 % |
234.09/234.32	c |    364340 |     180    15300   107100 |    65798    60727     54 |  0.003 % |
234.69/234.96	c |    365393 |     180    15300   107100 |    65798    61780     54 |  0.003 % |
235.39/235.68	c |    366551 |     180    15300   107100 |    65798    62938     54 |  0.003 % |
236.29/236.55	c |    367824 |     180    15300   107100 |    65798    64211     54 |  0.003 % |
237.29/237.53	c |    369224 |     180    15300   107100 |    65798    65611     54 |  0.003 % |
238.28/238.57	c |    370765 |     180    15300   107100 |    59388    53958     54 |  0.003 % |
239.28/239.52	c |    372461 |     180    15300   107100 |    59388    55654     54 |  0.003 % |
240.28/240.54	c |    374324 |     180    15300   107100 |    59388    57517     54 |  0.003 % |
241.58/241.81	c |    376373 |     180    15300   107100 |    59388    53620     54 |  0.003 % |
242.78/243.02	c |    378627 |     180    15300   107100 |    59388    55874     54 |  0.003 % |
244.18/244.40	c |    381106 |     180    15300   107100 | 2147483647    58353     54 |  0.003 % |
245.78/246.02	c |    383831 |     180    15300   107100 | 2147483647    61078     54 |  0.003 % |
247.58/247.82	c |    386828 |     180    15300   107100 | 2147483647    64075     54 |  0.003 % |
249.68/249.94	c |    390125 |     180    15300   107100 | 2147483647    67372     54 |  0.003 % |
252.08/252.38	c |    393752 |     180    15300   107100 | 2147483647    70999     54 |  0.003 % |
252.18/252.44	c |    393852 |     180    15300   107100 | 2147483647    71099     54 |  0.003 % |
252.28/252.53	c |    393963 |     180    15300   107100 | 2147483647    71210     54 |  0.003 % |
252.38/252.63	c |    394086 |     180    15300   107100 | 2147483647    71333     54 |  0.003 % |
252.48/252.77	c |    394219 |     180    15300   107100 | 2147483647    71466     54 |  0.003 % |
252.58/252.89	c |    394367 |     180    15300   107100 | 2147483647    71614     54 |  0.003 % |
252.78/253.03	c |    394528 |     180    15300   107100 | 2147483647    71775     54 |  0.003 % |
252.98/253.20	c |    394704 |     180    15300   107100 | 2147483647    71951     54 |  0.003 % |
253.08/253.36	c |    394898 |     180    15300   107100 | 2147483647    72145     53 |  0.003 % |
253.28/253.55	c |    395112 |     180    15300   107100 | 2147483647    72359     53 |  0.003 % |
253.48/253.73	c |    395345 |     180    15300   107100 | 2147483647    72592     53 |  0.003 % |
253.68/253.94	c |    395603 |     180    15300   107100 | 2147483647    72850     53 |  0.003 % |
253.88/254.17	c |    395884 |     180    15300   107100 | 2147483647    73131     53 |  0.003 % |
254.18/254.45	c |    396193 |     180    15300   107100 | 2147483647    73440     53 |  0.003 % |
254.48/254.75	c |    396532 |     180    15300   107100 | 2147483647    73779     53 |  0.003 % |
254.78/255.08	c |    396906 |     180    15300   107100 | 2147483647    74153     53 |  0.003 % |
255.18/255.43	c |    397316 |     180    15300   107100 | 2147483647    74563     54 |  0.003 % |
255.48/255.76	c |    397765 |     180    15300   107100 | 2147483647    75012     54 |  0.003 % |
255.88/256.20	c |    398258 |     180    15300   107100 | 2147483647    75505     54 |  0.003 % |
256.38/256.67	c |    398800 |     180    15300   107100 | 2147483647    76047     54 |  0.003 % |
256.77/257.09	c |    399396 |     180    15300   107100 | 2147483647    76643     53 |  0.003 % |
257.37/257.65	c |    400051 |     180    15300   107100 |    77247    77298     53 |  0.003 % |
257.97/258.26	c |    400772 |     180    15300   107100 |    77247    67209     54 |  0.003 % |
258.57/258.83	c |    401565 |     180    15300   107100 |    77247    68002     54 |  0.003 % |
259.27/259.52	c |    402436 |     180    15300   107100 |    77247    68873     54 |  0.003 % |
259.87/260.16	c |    403394 |     180    15300   107100 |    77247    69831     54 |  0.003 % |
260.57/260.87	c |    404447 |     180    15300   107100 |    77247    70884     54 |  0.003 % |
261.37/261.70	c |    405605 |     180    15300   107100 |    77247    72042     54 |  0.003 % |
262.47/262.71	c |    406878 |     180    15300   107100 |    77247    73315     54 |  0.003 % |
263.57/263.85	c |    408279 |     180    15300   107100 |    77247    74716     54 |  0.003 % |
264.77/265.05	c |    409819 |     180    15300   107100 |    77247    76256     53 |  0.003 % |
266.06/266.33	c |    411513 |     180    15300   107100 |    76437    66814     53 |  0.003 % |
267.46/267.71	c |    413376 |     180    15300   107100 |    76437    68677     53 |  0.003 % |
268.96/269.21	c |    415428 |     180    15300   107100 |    76437    70729     53 |  0.003 % |
270.56/270.83	c |    417681 |     180    15300   107100 |    76437    72982     53 |  0.003 % |
272.47/272.73	c |    420159 |     180    15300   107100 |    75301    64869     53 |  0.003 % |
274.26/274.55	c |    422884 |     180    15300   107100 |    75301    67594     53 |  0.003 % |
276.16/276.44	c |    425882 |     180    15300   107100 |    75301    70592     53 |  0.003 % |
278.36/278.69	c |    429178 |     180    15300   107100 |    75301    73888     53 |  0.003 % |
280.86/281.19	c |    432807 |     180    15300   107100 |    74711    68211     53 |  0.003 % |
283.56/283.89	c |    436795 |     180    15300   107100 |    74711    72199     53 |  0.003 % |
283.66/283.97	c |    436897 |     180    15300   107100 |    74711    72301     53 |  0.003 % |
283.76/284.06	c |    437008 |     180    15300   107100 |    74711    72412     53 |  0.003 % |
283.96/284.20	c |    437131 |     180    15300   107100 |    74711    72535     53 |  0.003 % |
284.06/284.30	c |    437266 |     180    15300   107100 |    74711    72670     53 |  0.003 % |
284.16/284.43	c |    437412 |     180    15300   107100 |    74711    72816     53 |  0.003 % |
284.26/284.57	c |    437572 |     180    15300   107100 |    74711    72976     53 |  0.003 % |
284.46/284.73	c |    437748 |     180    15300   107100 |    74711    73152     53 |  0.003 % |
284.66/284.91	c |    437941 |     180    15300   107100 |    74711    73345     53 |  0.003 % |
284.76/285.10	c |    438155 |     180    15300   107100 |    74711    73559     53 |  0.003 % |
285.06/285.30	c |    438388 |     180    15300   107100 |    74711    73792     53 |  0.003 % |
285.26/285.53	c |    438644 |     180    15300   107100 |    74711    74048     53 |  0.003 % |
285.46/285.75	c |    438925 |     180    15300   107100 |    74711    74329     53 |  0.003 % |
285.76/286.00	c |    439235 |     180    15300   107100 |    74711    74639     53 |  0.003 % |
286.06/286.34	c |    439574 |     180    15300   107100 |    74711    65057     53 |  0.003 % |
286.36/286.60	c |    439947 |     180    15300   107100 |    74711    65430     53 |  0.003 % |
286.66/286.93	c |    440359 |     180    15300   107100 |    65485    57122     53 |  0.003 % |
286.96/287.20	c |    440812 |     180    15300   107100 |    65485    57575     53 |  0.003 % |
287.16/287.49	c |    441305 |     180    15300   107100 |    65485    58068     53 |  0.003 % |
287.56/287.81	c |    441848 |     180    15300   107100 |    65485    58611     53 |  0.003 % |
287.86/288.16	c |    442447 |     180    15300   107100 |    65485    59210     53 |  0.003 % |
288.26/288.59	c |    443102 |     180    15300   107100 |    65485    59865     53 |  0.003 % |
288.76/289.06	c |    443822 |     180    15300   107100 |    65485    60585     53 |  0.003 % |
289.25/289.55	c |    444616 |     180    15300   107100 |    65485    61379     53 |  0.003 % |
289.75/290.09	c |    445488 |     180    15300   107100 |    65485    62251     53 |  0.003 % |
290.35/290.68	c |    446447 |     180    15300   107100 |    65485    63210     53 |  0.003 % |
291.05/291.39	c |    447500 |     180    15300   107100 |    65485    64263     53 |  0.003 % |
291.95/292.24	c |    448658 |     180    15300   107100 |    65485    65421     53 |  0.003 % |
292.75/293.09	c |    449931 |     180    15300   107100 |    65485    59639     53 |  0.003 % |
293.75/294.00	c |    451331 |     180    15300   107100 |    59708    54679     54 |  0.003 % |
294.56/294.89	c |    452872 |     180    15300   107100 |    59708    56220     54 |  0.003 % |
295.56/295.81	c |    454566 |     180    15300   107100 |    59708    57914     54 |  0.003 % |
296.66/296.96	c |    456432 |     180    15300   107100 |    59708    59780     54 |  0.003 % |
297.85/298.17	c |    458484 |     180    15300   107100 |    59708    55854     54 |  0.003 % |
299.15/299.46	c |    460740 |     180    15300   107100 | 2147483647    58110     54 |  0.003 % |
300.55/300.85	c |    463219 |     180    15300   107100 | 2147483647    60589     54 |  0.003 % |
302.15/302.47	c |    465946 |     180    15300   107100 | 2147483647    63316     54 |  0.003 % |
304.25/304.52	c |    468943 |     180    15300   107100 | 2147483647    66313     54 |  0.003 % |
306.34/306.69	c |    472239 |     180    15300   107100 | 2147483647    69609     54 |  0.003 % |
308.85/309.11	c |    475865 |     180    15300   107100 | 2147483647    73235     54 |  0.003 % |
311.84/312.15	c |    479852 |     180    15300   107100 | 2147483647    77222     54 |  0.003 % |
314.94/315.26	c |    484238 |     180    15300   107100 |    77371    71233     54 |  0.003 % |
315.04/315.33	c |    484339 |     180    15300   107100 |    77371    71334     54 |  0.003 % |
315.14/315.41	c |    484449 |     180    15300   107100 |    77371    71444     54 |  0.003 % |
315.24/315.51	c |    484570 |     180    15300   107100 |    77371    71565     54 |  0.003 % |
315.34/315.65	c |    484703 |     180    15300   107100 |    77371    71698     54 |  0.003 % |
315.44/315.79	c |    484850 |     180    15300   107100 |    77371    71845     54 |  0.003 % |
315.64/315.93	c |    485011 |     180    15300   107100 |    77371    72006     54 |  0.003 % |
315.74/316.07	c |    485187 |     180    15300   107100 |    77371    72182     54 |  0.003 % |
315.94/316.25	c |    485382 |     180    15300   107100 |    77371    72377     54 |  0.003 % |
316.14/316.41	c |    485595 |     180    15300   107100 |    77371    72590     54 |  0.003 % |
316.34/316.60	c |    485828 |     180    15300   107100 |    77371    72823     54 |  0.003 % |
316.54/316.81	c |    486086 |     180    15300   107100 |    77371    73081     54 |  0.003 % |
316.73/317.07	c |    486369 |     180    15300   107100 |    77371    73364     54 |  0.003 % |
317.03/317.32	c |    486680 |     180    15300   107100 |    77371    73675     54 |  0.003 % |
317.33/317.60	c |    487019 |     180    15300   107100 |    77371    74014     54 |  0.003 % |
317.64/317.92	c |    487393 |     180    15300   107100 |    77371    74388     54 |  0.003 % |
317.93/318.25	c |    487803 |     180    15300   107100 |    77371    74798     54 |  0.003 % |
318.23/318.58	c |    488253 |     180    15300   107100 |    77371    75248     54 |  0.003 % |
318.64/318.93	c |    488746 |     180    15300   107100 |    77371    75741     54 |  0.003 % |
319.03/319.37	c |    489289 |     180    15300   107100 |    77371    76284     54 |  0.003 % |
319.53/319.82	c |    489885 |     180    15300   107100 |    77371    76880     54 |  0.003 % |
320.03/320.36	c |    490540 |     180    15300   107100 |    76995    65709     54 |  0.003 % |
320.63/320.92	c |    491261 |     180    15300   107100 |    76995    66430     54 |  0.003 % |
321.13/321.48	c |    492053 |     180    15300   107100 |    76995    67222     54 |  0.003 % |
321.83/322.13	c |    492927 |     180    15300   107100 |    76995    68096     54 |  0.003 % |
322.53/322.82	c |    493885 |     180    15300   107100 |    76995    69054     54 |  0.003 % |
323.23/323.55	c |    494940 |     180    15300   107100 |    76995    70109     54 |  0.003 % |
324.03/324.33	c |    496098 |     180    15300   107100 |    76995    71267     54 |  0.003 % |
325.03/325.31	c |    497371 |     180    15300   107100 |    76995    72540     54 |  0.003 % |
326.03/326.31	c |    498772 |     180    15300   107100 |    76995    73941     54 |  0.003 % |
327.23/327.53	c |    500312 |     180    15300   107100 |    75170    64026     54 |  0.003 % |
328.33/328.63	c |    502007 |     180    15300   107100 |    75170    65721     54 |  0.003 % |
329.53/329.85	c |    503870 |     180    15300   107100 |    75170    67584     54 |  0.003 % |
330.93/331.22	c |    505919 |     180    15300   107100 |    75170    69633     54 |  0.003 % |
332.53/332.85	c |    508172 |     180    15300   107100 |    75170    71886     54 |  0.003 % |
334.43/334.75	c |    510650 |     180    15300   107100 |    73714    64175     54 |  0.003 % |
336.02/336.40	c |    513375 |     180    15300   107100 |    73714    66900     54 |  0.003 % |
338.12/338.40	c |    516374 |     180    15300   107100 |    73714    69899     54 |  0.003 % |
340.63/340.95	c |    519673 |     180    15300   107100 |    73714    73198     54 |  0.003 % |
343.32/343.60	c |    523299 |     180    15300   107100 |    73529    67402     54 |  0.003 % |
346.23/346.50	c |    527286 |     180    15300   107100 |    73529    71389     54 |  0.003 % |
349.42/349.77	c |    531671 |     180    15300   107100 |    64638    58049     54 |  0.003 % |
352.31/352.67	c |    536495 |     180    15300   107100 |    64638    62873     54 |  0.003 % |
352.41/352.73	c |    536595 |     180    15300   107100 |    64638    62973     54 |  0.003 % |
352.51/352.82	c |    536706 |     180    15300   107100 |    64638    63084     54 |  0.003 % |
352.61/352.92	c |    536828 |     180    15300   107100 |    64638    63206     54 |  0.003 % |
352.72/353.02	c |    536962 |     180    15300   107100 |    64638    63340     54 |  0.003 % |
352.82/353.13	c |    537109 |     180    15300   107100 |    64638    63487     54 |  0.003 % |
352.91/353.24	c |    537269 |     180    15300   107100 |    64638    63647     54 |  0.003 % |
353.01/353.37	c |    537446 |     180    15300   107100 |    64638    63824     54 |  0.003 % |
353.21/353.51	c |    537640 |     180    15300   107100 |    64638    64018     54 |  0.003 % |
353.31/353.66	c |    537853 |     180    15300   107100 |    64638    64231     54 |  0.003 % |
353.51/353.82	c |    538087 |     180    15300   107100 |    64638    64465     54 |  0.003 % |
353.71/354.03	c |    538346 |     180    15300   107100 |    64638    64724     54 |  0.003 % |
353.92/354.27	c |    538627 |     180    15300   107100 |    64638    58533     54 |  0.003 % |
354.11/354.49	c |    538936 |     180    15300   107100 |    64638    58842     54 |  0.003 % |
354.41/354.74	c |    539276 |     180    15300   107100 |    64638    59182     54 |  0.003 % |
354.61/354.97	c |    539648 |     180    15300   107100 |    64638    59554     54 |  0.003 % |
354.92/355.23	c |    540057 |     180    15300   107100 | 2147483647    59963     54 |  0.003 % |
355.21/355.54	c |    540507 |     180    15300   107100 | 2147483647    60413     54 |  0.003 % |
355.51/355.88	c |    541000 |     180    15300   107100 | 2147483647    60906     54 |  0.003 % |
355.91/356.27	c |    541545 |     180    15300   107100 | 2147483647    61451     54 |  0.003 % |
356.31/356.64	c |    542142 |     180    15300   107100 | 2147483647    62048     54 |  0.003 % |
356.71/357.09	c |    542797 |     180    15300   107100 | 2147483647    62703     54 |  0.003 % |
357.21/357.56	c |    543519 |     180    15300   107100 | 2147483647    63425     54 |  0.003 % |
357.81/358.15	c |    544311 |     180    15300   107100 | 2147483647    64217     54 |  0.003 % |
358.41/358.72	c |    545185 |     180    15300   107100 | 2147483647    65091     54 |  0.003 % |
359.11/359.40	c |    546143 |     180    15300   107100 | 2147483647    66049     54 |  0.003 % |
359.81/360.17	c |    547196 |     180    15300   107100 | 2147483647    67102     54 |  0.003 % |
360.61/360.90	c |    548354 |     180    15300   107100 | 2147483647    68260     54 |  0.003 % |
361.51/361.81	c |    549627 |     180    15300   107100 | 2147483647    69533     54 |  0.003 % |
362.50/362.82	c |    551029 |     180    15300   107100 |    69906    63280     54 |  0.003 % |
363.60/363.90	c |    552569 |     180    15300   107100 |    69906    64820     54 |  0.003 % |
364.81/365.18	c |    554263 |     180    15300   107100 |    69906    66514     54 |  0.003 % |
366.10/366.46	c |    556129 |     180    15300   107100 |    69906    68380     54 |  0.003 % |
367.60/367.92	c |    558178 |     180    15300   107100 |    69906    61919     54 |  0.003 % |
369.00/369.37	c |    560432 |     180    15300   107100 |    63743    56596     54 |  0.003 % |
370.50/370.84	c |    562912 |     180    15300   107100 |    63743    59076     54 |  0.003 % |
372.00/372.38	c |    565639 |     180    15300   107100 |    63743    61803     54 |  0.003 % |
373.80/374.18	c |    568639 |     180    15300   107100 |    63743    58421     54 |  0.003 % |
375.60/375.96	c |    571936 |     180    15300   107100 | 2147483647    61718     54 |  0.003 % |
377.70/378.05	c |    575561 |     180    15300   107100 | 2147483647    65343     54 |  0.003 % |
380.30/380.68	c |    579548 |     180    15300   107100 | 2147483647    69330     54 |  0.003 % |
383.30/383.65	c |    583933 |     180    15300   107100 | 2147483647    73715     54 |  0.003 % |
386.90/387.28	c |    588757 |     180    15300   107100 | 2147483647    78539     54 |  0.003 % |
390.69/391.01	c |    594065 |     180    15300   107100 |    79784    72126     54 |  0.003 % |
390.79/391.11	c |    594165 |     180    15300   107100 |    79784    72226     54 |  0.003 % |
390.79/391.18	c |    594277 |     180    15300   107100 |    79784    72338     54 |  0.003 % |
390.89/391.29	c |    594399 |     180    15300   107100 |    79784    72460     54 |  0.003 % |
390.99/391.39	c |    594534 |     180    15300   107100 |    79784    72595     54 |  0.003 % |
391.20/391.54	c |    594680 |     180    15300   107100 |    79784    72741     54 |  0.003 % |
391.30/391.69	c |    594840 |     180    15300   107100 |    79784    72901     54 |  0.003 % |
391.49/391.86	c |    595018 |     180    15300   107100 |    79784    73079     54 |  0.003 % |
391.69/392.05	c |    595212 |     180    15300   107100 |    79784    73273     54 |  0.003 % |
391.89/392.21	c |    595425 |     180    15300   107100 |    79784    73486     54 |  0.003 % |
392.09/392.41	c |    595659 |     180    15300   107100 |    79784    73720     54 |  0.003 % |
392.29/392.65	c |    595916 |     180    15300   107100 |    79784    73977     54 |  0.003 % |
392.59/392.91	c |    596197 |     180    15300   107100 |    79784    74258     54 |  0.003 % |
392.79/393.13	c |    596508 |     180    15300   107100 |    79784    74569     54 |  0.003 % |
393.09/393.44	c |    596847 |     180    15300   107100 |    79784    74908     54 |  0.003 % |
393.39/393.80	c |    597219 |     180    15300   107100 |    79784    75280     54 |  0.003 % |
393.79/394.17	c |    597629 |     180    15300   107100 |    79784    75690     54 |  0.003 % |
394.19/394.54	c |    598080 |     180    15300   107100 |    79784    76141     54 |  0.003 % |
394.69/395.02	c |    598574 |     180    15300   107100 |    79784    76635     54 |  0.003 % |
395.18/395.53	c |    599116 |     180    15300   107100 |    79784    77177     54 |  0.003 % |
395.69/396.03	c |    599714 |     180    15300   107100 |    79784    77775     54 |  0.003 % |
396.28/396.61	c |    600369 |     180    15300   107100 |    78061    65887     54 |  0.003 % |
396.69/397.08	c |    601089 |     180    15300   107100 |    78061    66607     54 |  0.003 % |
397.38/397.70	c |    601882 |     180    15300   107100 |    78061    67400     54 |  0.003 % |
397.98/398.30	c |    602753 |     180    15300   107100 |    78061    68271     54 |  0.003 % |
398.58/398.97	c |    603713 |     180    15300   107100 |    78061    69231     54 |  0.003 % |
399.38/399.78	c |    604767 |     180    15300   107100 |    78061    70285     54 |  0.003 % |
400.28/400.65	c |    605926 |     180    15300   107100 |    78061    71444     54 |  0.003 % |
401.19/401.55	c |    607199 |     180    15300   107100 |    78061    72717     54 |  0.003 % |
402.18/402.56	c |    608600 |     180    15300   107100 |    78061    74118     54 |  0.003 % |
403.28/403.70	c |    610142 |     180    15300   107100 |    75519    64627     54 |  0.003 % |
404.38/404.75	c |    611839 |     180    15300   107100 |    75519    66324     54 |  0.003 % |
405.58/405.94	c |    613702 |     180    15300   107100 |    75519    68187     54 |  0.003 % |
406.98/407.33	c |    615752 |     180    15300   107100 |    75519    70237     54 |  0.003 % |
408.58/408.95	c |    618005 |     180    15300   107100 |    75519    72490     54 |  0.003 % |
410.69/411.06	c |    620483 |     180    15300   107100 |    74486    64462     54 |  0.003 % |
412.59/412.97	c |    623211 |     180    15300   107100 |    74486    67190     54 |  0.003 % |
414.78/415.15	c |    626208 |     180    15300   107100 |    74486    70187     54 |  0.003 % |
417.18/417.55	c |    629504 |     180    15300   107100 |    74486    73483     54 |  0.003 % |
419.89/420.26	c |    633129 |     180    15300   107100 |    73981    66715     54 |  0.003 % |
422.48/422.87	c |    637116 |     180    15300   107100 |    73981    70702     54 |  0.003 % |
425.68/426.06	c |    641504 |     180    15300   107100 |    73588    65512     54 |  0.003 % |
429.28/429.62	c |    646327 |     180    15300   107100 |    73588    70335     54 |  0.003 % |
432.88/433.28	c |    651632 |     180    15300   107100 |    63631    56440     54 |  0.003 % |
436.28/436.60	c |    657468 |     180    15300   107100 |    63631    62276     54 |  0.003 % |
436.28/436.68	c |    657570 |     180    15300   107100 |    63631    62378     54 |  0.003 % |
436.38/436.80	c |    657680 |     180    15300   107100 |    63631    62488     54 |  0.003 % |
436.57/436.90	c |    657802 |     180    15300   107100 |    63631    62610     54 |  0.003 % |
436.67/437.01	c |    657936 |     180    15300   107100 |    63631    62744     54 |  0.003 % |
436.77/437.13	c |    658082 |     180    15300   107100 |    63631    62890     54 |  0.003 % |
436.87/437.27	c |    658242 |     180    15300   107100 |    63631    63050     54 |  0.003 % |
437.07/437.41	c |    658420 |     180    15300   107100 |    63631    63228     54 |  0.003 % |
437.17/437.56	c |    658613 |     180    15300   107100 |    63631    63421     54 |  0.003 % |
437.38/437.71	c |    658826 |     180    15300   107100 |    63631    63634     54 |  0.003 % |
437.57/437.90	c |    659059 |     180    15300   107100 |    63631    57504     54 |  0.003 % |
437.77/438.13	c |    659317 |     180    15300   107100 |    63631    57762     54 |  0.003 % |
437.97/438.34	c |    659599 |     180    15300   107100 |    63631    58044     54 |  0.003 % |
438.17/438.56	c |    659909 |     180    15300   107100 |    63631    58354     54 |  0.003 % |
438.48/438.83	c |    660250 |     180    15300   107100 | 2147483647    58695     54 |  0.003 % |
438.77/439.11	c |    660623 |     180    15300   107100 | 2147483647    59068     54 |  0.003 % |
438.97/439.38	c |    661032 |     180    15300   107100 | 2147483647    59477     54 |  0.003 % |
439.37/439.76	c |    661481 |     180    15300   107100 | 2147483647    59926     54 |  0.003 % |
439.77/440.16	c |    661974 |     180    15300   107100 | 2147483647    60419     54 |  0.003 % |
440.17/440.57	c |    662517 |     180    15300   107100 | 2147483647    60962     54 |  0.003 % |
440.67/441.01	c |    663113 |     180    15300   107100 | 2147483647    61558     54 |  0.003 % |
441.06/441.47	c |    663768 |     180    15300   107100 | 2147483647    62213     54 |  0.003 % |
441.56/441.96	c |    664488 |     180    15300   107100 | 2147483647    62933     54 |  0.003 % |
442.06/442.46	c |    665281 |     180    15300   107100 | 2147483647    63726     54 |  0.003 % |
442.76/443.11	c |    666152 |     180    15300   107100 | 2147483647    64597     54 |  0.003 % |
443.36/443.78	c |    667110 |     180    15300   107100 | 2147483647    65555     54 |  0.003 % |
444.16/444.55	c |    668163 |     180    15300   107100 | 2147483647    66608     54 |  0.003 % |
444.96/445.35	c |    669322 |     180    15300   107100 | 2147483647    67767     54 |  0.003 % |
445.86/446.22	c |    670595 |     180    15300   107100 |    68445    61602     54 |  0.003 % |
446.86/447.25	c |    671996 |     180    15300   107100 |    68445    63003     54 |  0.003 % |
447.86/448.25	c |    673536 |     180    15300   107100 |    68445    64543     54 |  0.003 % |
449.16/449.52	c |    675230 |     180    15300   107100 |    68445    66237     54 |  0.003 % |
450.46/450.82	c |    677094 |     180    15300   107100 |    68445    68101     54 |  0.003 % |
451.96/452.34	c |    679143 |     180    15300   107100 |    68445    61725     54 |  0.003 % |
453.36/453.75	c |    681396 |     180    15300   107100 |    62583    56358     54 |  0.003 % |
454.86/455.24	c |    683875 |     180    15300   107100 |    62583    58837     54 |  0.003 % |
456.56/456.96	c |    686601 |     180    15300   107100 |    62583    61563     54 |  0.003 % |
458.46/458.82	c |    689599 |     180    15300   107100 |    62583    58296     54 |  0.003 % |
460.66/461.05	c |    692895 |     180    15300   107100 | 2147483647    61592     54 |  0.003 % |
463.25/463.63	c |    696520 |     180    15300   107100 | 2147483647    65217     54 |  0.003 % |
466.15/466.58	c |    700507 |     180    15300   107100 |    68697    61177     54 |  0.003 % |
469.15/469.56	c |    704892 |     180    15300   107100 |    68697    65562     54 |  0.003 % |
472.05/472.41	c |    709716 |     180    15300   107100 |    68697    62463     54 |  0.003 % |
475.05/475.42	c |    715023 |     180    15300   107100 |    62747    60872     54 |  0.003 % |
478.75/479.12	c |    720858 |     180    15300   107100 | 2147483647    60424     54 |  0.003 % |
482.95/483.38	c |    727277 |     180    15300   107100 | 2147483647    66843     54 |  0.003 % |
483.05/483.45	c |    727377 |     180    15300   107100 | 2147483647    66943     54 |  0.003 % |
483.15/483.54	c |    727487 |     180    15300   107100 | 2147483647    67053     54 |  0.003 % |
483.25/483.64	c |    727609 |     180    15300   107100 | 2147483647    67175     54 |  0.003 % |
483.35/483.74	c |    727742 |     180    15300   107100 | 2147483647    67308     54 |  0.003 % |
483.45/483.87	c |    727891 |     180    15300   107100 | 2147483647    67457     54 |  0.003 % |
483.55/483.99	c |    728051 |     180    15300   107100 | 2147483647    67617     54 |  0.003 % |
483.74/484.16	c |    728228 |     180    15300   107100 | 2147483647    67794     54 |  0.003 % |
483.94/484.33	c |    728422 |     180    15300   107100 | 2147483647    67988     54 |  0.003 % |
484.14/484.52	c |    728636 |     180    15300   107100 | 2147483647    68202     54 |  0.003 % |
484.34/484.70	c |    728869 |     180    15300   107100 | 2147483647    68435     54 |  0.003 % |
484.54/484.94	c |    729125 |     180    15300   107100 | 2147483647    68691     54 |  0.003 % |
484.75/485.18	c |    729406 |     180    15300   107100 | 2147483647    68972     54 |  0.003 % |
484.94/485.39	c |    729716 |     180    15300   107100 | 2147483647    69282     54 |  0.003 % |
485.24/485.63	c |    730056 |     180    15300   107100 |    69567    69622     54 |  0.003 % |
485.64/486.02	c |    730429 |     180    15300   107100 |    69567    62555     54 |  0.003 % |
485.94/486.34	c |    730839 |     180    15300   107100 |    69567    62965     54 |  0.003 % |
486.34/486.70	c |    731289 |     180    15300   107100 |    69567    63415     54 |  0.003 % |
486.64/487.07	c |    731782 |     180    15300   107100 |    69567    63908     54 |  0.003 % |
487.04/487.46	c |    732325 |     180    15300   107100 |    69567    64451     54 |  0.003 % |
487.44/487.87	c |    732921 |     180    15300   107100 |    69567    65047     54 |  0.003 % |
487.94/488.31	c |    733577 |     180    15300   107100 |    69567    65703     54 |  0.003 % |
488.54/488.97	c |    734297 |     180    15300   107100 |    69567    66423     54 |  0.003 % |
489.24/489.61	c |    735092 |     180    15300   107100 |    69567    67218     54 |  0.003 % |
489.94/490.36	c |    735965 |     180    15300   107100 |    69567    68091     54 |  0.003 % |
490.74/491.19	c |    736923 |     180    15300   107100 |    69567    69049     54 |  0.003 % |
491.54/491.97	c |    737976 |     180    15300   107100 |    69567    60695     54 |  0.003 % |
492.24/492.69	c |    739140 |     180    15300   107100 |    69567    61859     54 |  0.003 % |
493.14/493.52	c |    740413 |     180    15300   107100 |    62720    55216     54 |  0.003 % |
493.94/494.38	c |    741814 |     180    15300   107100 |    62720    56617     54 |  0.003 % |
494.94/495.33	c |    743355 |     180    15300   107100 |    62720    58158     54 |  0.003 % |
495.94/496.38	c |    745050 |     180    15300   107100 |    62720    59853     54 |  0.003 % |
497.34/497.72	c |    746913 |     180    15300   107100 |    62720    61716     54 |  0.003 % |
498.64/499.06	c |    748963 |     180    15300   107100 |    62720    57486     54 |  0.003 % |
499.94/500.36	c |    751217 |     180    15300   107100 | 2147483647    59740     54 |  0.003 % |
501.54/501.95	c |    753697 |     180    15300   107100 | 2147483647    62220     54 |  0.003 % |
503.14/503.58	c |    756422 |     180    15300   107100 | 2147483647    64945     54 |  0.003 % |
505.04/505.44	c |    759419 |     180    15300   107100 | 2147483647    67942     54 |  0.003 % |
507.13/507.56	c |    762718 |     180    15300   107100 | 2147483647    71241     54 |  0.003 % |
509.63/510.09	c |    766345 |     180    15300   107100 | 2147483647    74868     54 |  0.003 % |
512.53/512.90	c |    770334 |     180    15300   107100 |    78523    68942     54 |  0.003 % |
515.33/515.75	c |    774720 |     180    15300   107100 |    78523    73328     54 |  0.003 % |
518.74/519.20	c |    779543 |     180    15300   107100 |    78523    78151     54 |  0.003 % |
522.73/523.13	c |    784849 |     180    15300   107100 |    78610    72333     54 |  0.003 % |
527.03/527.48	c |    790684 |     180    15300   107100 |    77484    65967     54 |  0.003 % |
531.52/531.99	c |    797102 |     180    15300   107100 |    77484    72385     54 |  0.003 % |
536.42/536.87	c |    804161 |     180    15300   107100 |    75283    68686     54 |  0.003 % |
536.52/536.96	c |    804261 |     180    15300   107100 |    75283    68786     54 |  0.003 % |
536.62/537.04	c |    804371 |     180    15300   107100 |    75283    68896     54 |  0.003 % |
536.72/537.13	c |    804492 |     180    15300   107100 |    75283    69017     54 |  0.003 % |
536.82/537.24	c |    804625 |     180    15300   107100 |    75283    69150     54 |  0.003 % |
536.92/537.34	c |    804773 |     180    15300   107100 |    75283    69298     54 |  0.003 % |
537.02/537.46	c |    804933 |     180    15300   107100 |    75283    69458     54 |  0.003 % |
537.12/537.59	c |    805110 |     180    15300   107100 |    75283    69635     54 |  0.003 % |
537.32/537.73	c |    805303 |     180    15300   107100 |    75283    69828     54 |  0.003 % |
537.42/537.89	c |    805518 |     180    15300   107100 |    75283    70043     54 |  0.003 % |
537.72/538.15	c |    805753 |     180    15300   107100 |    75283    70278     54 |  0.003 % |
537.92/538.38	c |    806010 |     180    15300   107100 |    75283    70535     54 |  0.003 % |
538.22/538.68	c |    806293 |     180    15300   107100 |    75283    70818     54 |  0.003 % |
538.52/538.95	c |    806603 |     180    15300   107100 |    75283    71128     54 |  0.003 % |
538.72/539.19	c |    806942 |     180    15300   107100 |    75283    71467     54 |  0.003 % |
539.02/539.49	c |    807314 |     180    15300   107100 |    75283    71839     54 |  0.003 % |
539.42/539.80	c |    807723 |     180    15300   107100 |    75283    72248     54 |  0.003 % |
539.72/540.17	c |    808172 |     180    15300   107100 |    75283    72697     54 |  0.003 % |
540.12/540.54	c |    808665 |     180    15300   107100 |    75283    73190     54 |  0.003 % |
540.52/540.95	c |    809209 |     180    15300   107100 |    75283    73734     54 |  0.003 % |
541.02/541.42	c |    809805 |     180    15300   107100 |    75283    74330     54 |  0.003 % |
541.52/541.94	c |    810461 |     180    15300   107100 |    74526    64182     54 |  0.003 % |
542.02/542.41	c |    811183 |     180    15300   107100 |    74526    64904     54 |  0.003 % |
542.42/542.89	c |    811975 |     180    15300   107100 |    74526    65696     54 |  0.003 % |
543.02/543.45	c |    812847 |     180    15300   107100 |    74526    66568     54 |  0.003 % |
543.72/544.15	c |    813808 |     180    15300   107100 |    74526    67529     54 |  0.003 % |
544.52/544.90	c |    814863 |     180    15300   107100 |    74526    68584     54 |  0.003 % |
545.22/545.61	c |    816023 |     180    15300   107100 |    74526    69744     54 |  0.003 % |
546.12/546.58	c |    817297 |     180    15300   107100 |    74526    71018     54 |  0.003 % |
547.32/547.72	c |    818697 |     180    15300   107100 |    74526    72418     54 |  0.003 % |
548.52/548.93	c |    820237 |     180    15300   107100 |    73723    63490     54 |  0.003 % |
549.62/550.09	c |    821932 |     180    15300   107100 |    73723    65185     54 |  0.003 % |
550.92/551.39	c |    823796 |     180    15300   107100 |    73723    67049     54 |  0.003 % |
552.52/552.92	c |    825847 |     180    15300   107100 |    73723    69100     54 |  0.003 % |
554.22/554.63	c |    828100 |     180    15300   107100 |    73723    71353     54 |  0.003 % |
556.22/556.63	c |    830578 |     180    15300   107100 |    73253    63618     54 |  0.003 % |
558.11/558.59	c |    833303 |     180    15300   107100 |    73253    66343     54 |  0.003 % |
560.31/560.76	c |    836303 |     180    15300   107100 |    73253    69343     54 |  0.003 % |
562.72/563.19	c |    839599 |     180    15300   107100 |    73253    72639     54 |  0.003 % |
565.31/565.75	c |    843227 |     180    15300   107100 |    73041    66019     54 |  0.003 % |
568.01/568.44	c |    847215 |     180    15300   107100 |    73041    70007     54 |  0.003 % |
570.91/571.36	c |    851600 |     180    15300   107100 |    72792    65355     54 |  0.003 % |
574.10/574.59	c |    856424 |     180    15300   107100 |    72792    70179     54 |  0.003 % |
577.70/578.11	c |    861729 |     180    15300   107100 |    64684    58622     54 |  0.003 % |
581.20/581.67	c |    867564 |     180    15300   107100 |    64684    64457     54 |  0.003 % |
585.20/585.66	c |    873983 |     180    15300   107100 | 2147483647    64399     54 |  0.003 % |
590.10/590.59	c |    881042 |     180    15300   107100 |    70418    64040     54 |  0.003 % |
595.30/595.74	c |    888806 |     180    15300   107100 |    70418    63361     54 |  0.003 % |
595.30/595.80	c |    888907 |     180    15300   107100 |    70418    63462     54 |  0.003 % |
595.40/595.87	c |    889018 |     180    15300   107100 |    70418    63573     54 |  0.003 % |
595.50/595.98	c |    889140 |     180    15300   107100 |    70418    63695     54 |  0.003 % |
595.60/596.08	c |    889273 |     180    15300   107100 |    70418    63828     54 |  0.003 % |
595.80/596.20	c |    889421 |     180    15300   107100 |    70418    63976     54 |  0.003 % |
595.90/596.32	c |    889581 |     180    15300   107100 |    70418    64136     54 |  0.003 % |
596.00/596.47	c |    889758 |     180    15300   107100 |    70418    64313     54 |  0.003 % |
596.19/596.63	c |    889953 |     180    15300   107100 |    70418    64508     54 |  0.003 % |
596.39/596.85	c |    890165 |     180    15300   107100 |    64556    56998     54 |  0.003 % |
596.49/596.99	c |    890398 |     180    15300   107100 |    64556    57231     54 |  0.003 % |
596.69/597.16	c |    890655 |     180    15300   107100 |    64556    57488     54 |  0.003 % |
596.90/597.34	c |    890936 |     180    15300   107100 |    64556    57769     54 |  0.003 % |
597.09/597.57	c |    891247 |     180    15300   107100 |    64556    58080     54 |  0.003 % |
597.29/597.79	c |    891586 |     180    15300   107100 |    64556    58419     54 |  0.003 % |
597.59/598.06	c |    891958 |     180    15300   107100 |    64556    58791     54 |  0.003 % |
597.90/598.30	c |    892369 |     180    15300   107100 |    64556    59202     54 |  0.003 % |
598.09/598.58	c |    892818 |     180    15300   107100 |    64556    59651     54 |  0.003 % |
598.39/598.86	c |    893311 |     180    15300   107100 |    64556    60144     54 |  0.003 % |
598.79/599.20	c |    893853 |     180    15300   107100 |    64556    60686     54 |  0.003 % |
599.10/599.57	c |    894450 |     180    15300   107100 |    64556    61283     54 |  0.003 % |
599.49/599.95	c |    895107 |     180    15300   107100 |    64556    61940     54 |  0.003 % |
599.99/600.43	c |    895828 |     180    15300   107100 |    64556    62661     54 |  0.003 % |
600.49/600.92	c |    896620 |     180    15300   107100 |    64556    63453     54 |  0.003 % |
600.99/601.47	c |    897493 |     180    15300   107100 |    64556    64326     54 |  0.003 % |
601.59/602.03	c |    898451 |     180    15300   107100 |    64556    58541     54 |  0.003 % |
602.19/602.61	c |    899504 |     180    15300   107100 |    64556    59594     54 |  0.003 % |
602.99/603.47	c |    900662 |     180    15300   107100 | 2147483647    60752     54 |  0.003 % |
603.89/604.32	c |    901937 |     180    15300   107100 | 2147483647    62027     54 |  0.003 % |
604.79/605.27	c |    903337 |     180    15300   107100 | 2147483647    63427     54 |  0.003 % |
605.69/606.18	c |    904878 |     180    15300   107100 | 2147483647    64968     54 |  0.003 % |
606.89/607.32	c |    906572 |     180    15300   107100 | 2147483647    66662     54 |  0.003 % |
608.39/608.81	c |    908435 |     180    15300   107100 | 2147483647    68525     54 |  0.003 % |
609.89/610.31	c |    910485 |     180    15300   107100 |    70091    61985     54 |  0.003 % |
611.29/611.76	c |    912740 |     180    15300   107100 |    70091    64240     54 |  0.003 % |
612.99/613.46	c |    915219 |     180    15300   107100 |    70091    66719     54 |  0.003 % |
614.69/615.18	c |    917946 |     180    15300   107100 |    70091    69446     54 |  0.003 % |
616.69/617.15	c |    920946 |     180    15300   107100 |    63211    56992     54 |  0.003 % |
618.68/619.11	c |    924242 |     180    15300   107100 |    63211    60288     54 |  0.003 % |
620.78/621.28	c |    927869 |     180    15300   107100 |    63211    57585     54 |  0.003 % |
623.38/623.81	c |    931858 |     180    15300   107100 | 2147483647    61574     54 |  0.003 % |
625.98/626.45	c |    936243 |     180    15300   107100 | 2147483647    65959     54 |  0.003 % |
628.98/629.49	c |    941067 |     180    15300   107100 | 2147483647    70783     54 |  0.003 % |
633.18/633.63	c |    946372 |     180    15300   107100 | 2147483647    76088     54 |  0.003 % |
637.48/637.99	c |    952207 |     180    15300   107100 |    79718    69096     54 |  0.003 % |
641.88/642.35	c |    958626 |     180    15300   107100 |    79718    75515     54 |  0.003 % |
646.57/647.02	c |    965685 |     180    15300   107100 |    76890    70536     54 |  0.003 % |
651.87/652.36	c |    973450 |     180    15300   107100 |    74853    67719     54 |  0.003 % |
657.97/658.42	c |    981990 |     180    15300   107100 |    74270    66570     54 |  0.003 % |
658.07/658.50	c |    982091 |     180    15300   107100 |    74270    66671     54 |  0.003 % |
658.17/658.60	c |    982201 |     180    15300   107100 |    74270    66781     54 |  0.003 % |
658.27/658.70	c |    982323 |     180    15300   107100 |    74270    66903     54 |  0.003 % |
658.37/658.81	c |    982456 |     180    15300   107100 |    74270    67036     54 |  0.003 % |
658.47/658.93	c |    982602 |     180    15300   107100 |    74270    67182     54 |  0.003 % |
658.57/659.04	c |    982762 |     180    15300   107100 |    74270    67342     54 |  0.003 % |
658.67/659.17	c |    982938 |     180    15300   107100 |    74270    67518     54 |  0.003 % |
658.87/659.32	c |    983131 |     180    15300   107100 |    74270    67711     54 |  0.003 % |
658.97/659.48	c |    983343 |     180    15300   107100 |    74270    67923     54 |  0.003 % |
659.17/659.65	c |    983576 |     180    15300   107100 |    74270    68156     54 |  0.003 % |
659.37/659.88	c |    983834 |     180    15300   107100 |    74270    68414     54 |  0.003 % |
659.67/660.10	c |    984116 |     180    15300   107100 |    74270    68696     54 |  0.003 % |
659.87/660.33	c |    984426 |     180    15300   107100 |    74270    69006     54 |  0.003 % |
660.07/660.59	c |    984766 |     180    15300   107100 |    74270    69346     54 |  0.003 % |
660.47/660.90	c |    985138 |     180    15300   107100 |    74270    69718     54 |  0.003 % |
660.67/661.19	c |    985547 |     180    15300   107100 |    74270    70127     54 |  0.003 % |
661.07/661.51	c |    985996 |     180    15300   107100 |    74270    70576     54 |  0.003 % |
661.37/661.87	c |    986489 |     180    15300   107100 |    74270    71069     54 |  0.003 % |
661.87/662.30	c |    987035 |     180    15300   107100 |    74270    71615     54 |  0.003 % |
662.27/662.77	c |    987631 |     180    15300   107100 |    74270    72211     54 |  0.003 % |
662.77/663.23	c |    988286 |     180    15300   107100 |    74270    72866     54 |  0.003 % |
663.27/663.77	c |    989008 |     180    15300   107100 |    74270    73588     54 |  0.003 % |
663.97/664.50	c |    989801 |     180    15300   107100 |    74270    63526     54 |  0.003 % |
664.57/665.04	c |    990674 |     180    15300   107100 |    63726    55107     54 |  0.003 % |
665.07/665.58	c |    991633 |     180    15300   107100 |    63726    56066     54 |  0.003 % |
665.76/666.22	c |    992686 |     180    15300   107100 |    63726    57119     54 |  0.003 % |
666.56/667.01	c |    993844 |     180    15300   107100 |    63726    58277     54 |  0.003 % |
667.27/667.79	c |    995118 |     180    15300   107100 |    63726    59551     54 |  0.003 % |
668.16/668.63	c |    996521 |     180    15300   107100 |    63726    60954     54 |  0.003 % |
669.26/669.73	c |    998061 |     180    15300   107100 |    63726    62494     54 |  0.003 % |
670.36/670.86	c |    999755 |     180    15300   107100 |    63726    57265     54 |  0.003 % |
671.46/671.90	c |   1001618 |     180    15300   107100 |    57511    52963     54 |  0.003 % |
672.56/673.02	c |   1003667 |     180    15300   107100 |    57511    55012     54 |  0.003 % |
673.77/674.30	c |   1005922 |     180    15300   107100 |    57511    57267     54 |  0.003 % |
675.26/675.77	c |   1008400 |     180    15300   107100 |    57511    53986     54 |  0.003 % |
676.86/677.37	c |   1011126 |     180    15300   107100 | 2147483647    56712     54 |  0.003 % |
678.66/679.15	c |   1014126 |     180    15300   107100 | 2147483647    59712     54 |  0.003 % |
680.66/681.13	c |   1017422 |     180    15300   107100 | 2147483647    63008     54 |  0.003 % |
683.06/683.51	c |   1021047 |     180    15300   107100 | 2147483647    66633     54 |  0.003 % |
685.96/686.43	c |   1025037 |     180    15300   107100 | 2147483647    70623     54 |  0.003 % |
688.96/689.50	c |   1029423 |     180    15300   107100 | 2147483647    75009     54 |  0.003 % |
692.65/693.11	c |   1034246 |     180    15300   107100 |    75586    70165     54 |  0.003 % |
696.15/696.69	c |   1039554 |     180    15300   107100 |    75586    75473     54 |  0.003 % |
699.85/700.35	c |   1045389 |     180    15300   107100 |    65403    61650     54 |  0.003 % |
703.65/704.13	c |   1051807 |     180    15300   107100 |    59058    54538     54 |  0.003 % |
707.85/708.35	c |   1058870 |     180    15300   107100 |    59058    55687     54 |  0.003 % |
712.55/713.09	c |   1066634 |     180    15300   107100 | 2147483647    63451     54 |  0.003 % |
718.64/719.15	c |   1075174 |     180    15300   107100 | 2147483647    71991     54 |  0.003 % |
725.74/726.23	c |   1084570 |     180    15300   107100 |    76820    71487     55 |  0.003 % |
725.84/726.32	c |   1084670 |     180    15300   107100 |    76820    71587     55 |  0.003 % |
725.94/726.41	c |   1084780 |     180    15300   107100 |    76820    71697     55 |  0.003 % |
726.04/726.51	c |   1084901 |     180    15300   107100 |    76820    71818     55 |  0.003 % |
726.14/726.62	c |   1085034 |     180    15300   107100 |    76820    71951     55 |  0.003 % |
726.24/726.77	c |   1085181 |     180    15300   107100 |    76820    72098     55 |  0.003 % |
726.44/726.90	c |   1085342 |     180    15300   107100 |    76820    72259     55 |  0.003 % |
726.54/727.02	c |   1085518 |     180    15300   107100 |    76820    72435     55 |  0.003 % |
726.74/727.21	c |   1085711 |     180    15300   107100 |    76820    72628     55 |  0.003 % |
726.94/727.41	c |   1085924 |     180    15300   107100 |    76820    72841     55 |  0.003 % |
727.14/727.62	c |   1086158 |     180    15300   107100 |    76820    73075     55 |  0.003 % |
727.34/727.84	c |   1086416 |     180    15300   107100 |    76820    73333     54 |  0.003 % |
727.54/728.08	c |   1086697 |     180    15300   107100 |    76820    73614     54 |  0.003 % |
727.84/728.35	c |   1087006 |     180    15300   107100 |    76820    73923     54 |  0.003 % |
728.14/728.64	c |   1087345 |     180    15300   107100 |    76820    74262     54 |  0.003 % |
728.44/728.99	c |   1087718 |     180    15300   107100 |    76820    74635     54 |  0.003 % |
728.84/729.34	c |   1088129 |     180    15300   107100 |    76820    75046     54 |  0.003 % |
729.14/729.70	c |   1088578 |     180    15300   107100 |    76820    75495     54 |  0.003 % |
729.64/730.18	c |   1089071 |     180    15300   107100 |    76820    75988     54 |  0.003 % |
730.14/730.66	c |   1089613 |     180    15300   107100 |    76820    76530     54 |  0.003 % |
730.74/731.29	c |   1090209 |     180    15300   107100 |    64954    55088     55 |  0.003 % |
731.14/731.67	c |   1090865 |     180    15300   107100 |    64954    55744     55 |  0.003 % |
731.63/732.11	c |   1091587 |     180    15300   107100 |    64954    56466     55 |  0.003 % |
732.14/732.65	c |   1092381 |     180    15300   107100 |    64954    57260     55 |  0.003 % |
732.64/733.17	c |   1093253 |     180    15300   107100 |    64954    58132     55 |  0.003 % |
733.24/733.74	c |   1094211 |     180    15300   107100 |    64954    59090     55 |  0.003 % |
733.83/734.37	c |   1095265 |     180    15300   107100 |    64954    60144     55 |  0.003 % |
734.53/735.09	c |   1096424 |     180    15300   107100 |    64954    61303     55 |  0.003 % |
735.34/735.88	c |   1097697 |     180    15300   107100 |    64954    62576     55 |  0.003 % |
736.33/736.80	c |   1099097 |     180    15300   107100 |    64954    63976     55 |  0.003 % |
737.43/737.97	c |   1100639 |     180    15300   107100 |    64881    58841     55 |  0.003 % |
738.53/739.03	c |   1102334 |     180    15300   107100 |    64881    60536     55 |  0.003 % |
739.74/740.27	c |   1104197 |     180    15300   107100 |    64881    62399     55 |  0.003 % |
741.03/741.50	c |   1106248 |     180    15300   107100 |    64881    64450     55 |  0.003 % |
742.43/742.95	c |   1108501 |     180    15300   107100 |    64881    60209     55 |  0.003 % |
744.03/744.52	c |   1110979 |     180    15300   107100 | 2147483647    62687     55 |  0.003 % |
745.83/746.30	c |   1113704 |     180    15300   107100 | 2147483647    65412     55 |  0.003 % |
748.03/748.56	c |   1116701 |     180    15300   107100 | 2147483647    68409     55 |  0.003 % |
750.63/751.14	c |   1119997 |     180    15300   107100 | 2147483647    71705     55 |  0.003 % |
753.03/753.56	c |   1123623 |     180    15300   107100 |    71708    66910     54 |  0.003 % |
755.62/756.10	c |   1127611 |     180    15300   107100 |    71708    70898     54 |  0.003 % |
758.32/758.84	c |   1131998 |     180    15300   107100 |    65623    60804     54 |  0.003 % |
761.42/761.91	c |   1136821 |     180    15300   107100 |    65623    65627     54 |  0.003 % |
764.72/765.22	c |   1142127 |     180    15300   107100 | 2147483647    64371     54 |  0.003 % |
768.42/768.95	c |   1147962 |     180    15300   107100 | 2147483647    70206     54 |  0.003 % |
772.61/773.14	c |   1154382 |     180    15300   107100 |    72245    69184     54 |  0.003 % |
777.01/777.55	c |   1161441 |     180    15300   107100 |    67417    62054     54 |  0.003 % |
781.41/781.98	c |   1169205 |     180    15300   107100 |    67417    63067     54 |  0.003 % |
786.81/787.34	c |   1177745 |     180    15300   107100 | 2147483647    71607     54 |  0.003 % |
793.71/794.24	c |   1187139 |     180    15300   107100 |    73862    73164     54 |  0.003 % |
801.10/801.61	c |   1197472 |     180    15300   107100 |    67354    66960     54 |  0.003 % |
801.10/801.69	c |   1197573 |     180    15300   107100 |    67354    67061     54 |  0.003 % |
801.20/801.78	c |   1197684 |     180    15300   107100 |    67354    67172     54 |  0.003 % |
801.31/801.88	c |   1197806 |     180    15300   107100 |    67354    67294     54 |  0.003 % |
801.41/801.99	c |   1197939 |     180    15300   107100 |    67354    67427     54 |  0.003 % |
801.60/802.13	c |   1198085 |     180    15300   107100 |    67354    60294     54 |  0.003 % |
801.70/802.23	c |   1198245 |     180    15300   107100 |    67354    60454     54 |  0.003 % |
801.80/802.35	c |   1198423 |     180    15300   107100 |    67354    60632     54 |  0.003 % |
801.90/802.48	c |   1198616 |     180    15300   107100 |    67354    60825     54 |  0.003 % |
802.10/802.61	c |   1198829 |     180    15300   107100 |    67354    61038     54 |  0.003 % |
802.20/802.76	c |   1199064 |     180    15300   107100 |    67354    61273     54 |  0.003 % |
802.41/802.93	c |   1199321 |     180    15300   107100 |    67354    61530     54 |  0.003 % |
802.51/803.08	c |   1199603 |     180    15300   107100 |    67354    61812     54 |  0.003 % |
802.70/803.26	c |   1199913 |     180    15300   107100 |    67354    62122     54 |  0.003 % |
803.00/803.52	c |   1200254 |     180    15300   107100 |    62210    55968     54 |  0.003 % |
803.20/803.77	c |   1200628 |     180    15300   107100 |    62210    56342     54 |  0.003 % |
803.40/804.00	c |   1201038 |     180    15300   107100 |    62210    56752     54 |  0.003 % |
803.70/804.28	c |   1201489 |     180    15300   107100 |    62210    57203     54 |  0.003 % |
804.10/804.62	c |   1201982 |     180    15300   107100 |    62210    57696     54 |  0.003 % |
804.40/804.97	c |   1202524 |     180    15300   107100 |    62210    58238     54 |  0.003 % |
804.80/805.32	c |   1203120 |     180    15300   107100 |    62210    58834     54 |  0.003 % |
805.10/805.69	c |   1203776 |     180    15300   107100 |    62210    59490     54 |  0.003 % |
805.60/806.19	c |   1204497 |     180    15300   107100 |    62210    60211     54 |  0.003 % |
806.20/806.70	c |   1205291 |     180    15300   107100 |    62210    61005     54 |  0.003 % |
806.70/807.29	c |   1206164 |     180    15300   107100 |    62210    61878     54 |  0.003 % |
807.40/807.92	c |   1207122 |     180    15300   107100 |    62210    56607     54 |  0.003 % |
808.00/808.50	c |   1208176 |     180    15300   107100 |    62210    57661     54 |  0.003 % |
808.60/809.17	c |   1209336 |     180    15300   107100 |    62210    58821     54 |  0.003 % |
809.40/809.99	c |   1210609 |     180    15300   107100 | 2147483647    60094     54 |  0.003 % |
810.30/810.83	c |   1212009 |     180    15300   107100 | 2147483647    61494     54 |  0.003 % |
811.20/811.75	c |   1213550 |     180    15300   107100 | 2147483647    63035     54 |  0.003 % |
812.20/812.78	c |   1215244 |     180    15300   107100 | 2147483647    64729     54 |  0.003 % |
813.30/813.87	c |   1217107 |     180    15300   107100 | 2147483647    66592     54 |  0.003 % |
814.50/815.08	c |   1219158 |     180    15300   107100 | 2147483647    68643     54 |  0.003 % |
816.09/816.68	c |   1221411 |     180    15300   107100 | 2147483647    70896     54 |  0.003 % |
817.80/818.39	c |   1223889 |     180    15300   107100 | 2147483647    73374     54 |  0.003 % |
819.79/820.39	c |   1226614 |     180    15300   107100 | 2147483647    76099     54 |  0.003 % |
821.99/822.59	c |   1229612 |     180    15300   107100 | 2147483647    79097     54 |  0.003 % |
824.49/825.02	c |   1232911 |     180    15300   107100 |    79485    70823     54 |  0.003 % |
826.99/827.55	c |   1236537 |     180    15300   107100 |    79485    74449     54 |  0.003 % |
830.09/830.61	c |   1240526 |     180    15300   107100 |    77912    66299     54 |  0.003 % |
832.99/833.52	c |   1244913 |     180    15300   107100 |    77912    70686     54 |  0.003 % |
836.49/837.01	c |   1249736 |     180    15300   107100 |    77912    75509     54 |  0.003 % |
839.99/840.51	c |   1255041 |     180    15300   107100 |    75774    69771     54 |  0.003 % |
844.37/844.94	c |   1260876 |     180    15300   107100 |    74731    64747     54 |  0.003 % |
848.57/849.20	c |   1267294 |     180    15300   107100 |    74731    71165     54 |  0.003 % |
853.57/854.13	c |   1274354 |     180    15300   107100 |    73871    68081     55 |  0.003 % |
858.97/859.53	c |   1282121 |     180    15300   107100 |    73728    66489     55 |  0.003 % |
865.66/866.20	c |   1290661 |     180    15300   107100 |    64755    57003     55 |  0.003 % |
871.56/872.17	c |   1300056 |     180    15300   107100 | 2147483647    59917     55 |  0.003 % |
878.46/879.04	c |   1310391 |     180    15300   107100 |    69862    61169     55 |  0.003 % |
885.76/886.39	c |   1321758 |     180    15300   107100 |    62717    57371     55 |  0.003 % |
885.86/886.45	c |   1321858 |     180    15300   107100 |    62717    57471     55 |  0.003 % |
885.96/886.53	c |   1321968 |     180    15300   107100 |    62717    57581     55 |  0.003 % |
885.96/886.60	c |   1322089 |     180    15300   107100 |    62717    57702     55 |  0.003 % |
886.16/886.70	c |   1322222 |     180    15300   107100 |    62717    57835     55 |  0.003 % |
886.26/886.80	c |   1322368 |     180    15300   107100 |    62717    57981     55 |  0.003 % |
886.36/886.90	c |   1322529 |     180    15300   107100 |    62717    58142     55 |  0.003 % |
886.46/887.05	c |   1322705 |     180    15300   107100 |    62717    58318     55 |  0.003 % |
886.56/887.17	c |   1322899 |     180    15300   107100 |    62717    58512     55 |  0.003 % |
886.76/887.32	c |   1323111 |     180    15300   107100 |    62717    58724     55 |  0.003 % |
886.86/887.45	c |   1323344 |     180    15300   107100 |    62717    58957     55 |  0.003 % |
887.06/887.62	c |   1323600 |     180    15300   107100 |    62717    59213     55 |  0.003 % |
887.26/887.81	c |   1323882 |     180    15300   107100 |    62717    59495     55 |  0.003 % |
887.46/888.03	c |   1324191 |     180    15300   107100 |    62717    59804     55 |  0.003 % |
887.66/888.24	c |   1324531 |     180    15300   107100 |    62717    60144     55 |  0.003 % |
887.96/888.54	c |   1324904 |     180    15300   107100 |    62717    60517     55 |  0.003 % |
888.26/888.85	c |   1325313 |     180    15300   107100 |    62717    60926     55 |  0.003 % |
888.55/889.15	c |   1325762 |     180    15300   107100 |    62717    61375     55 |  0.003 % |
888.85/889.46	c |   1326257 |     180    15300   107100 |    62717    61870     55 |  0.003 % |
889.25/889.80	c |   1326801 |     180    15300   107100 |    62717    62414     55 |  0.003 % |
889.65/890.23	c |   1327397 |     180    15300   107100 |    62717    56730     55 |  0.003 % |
890.05/890.60	c |   1328055 |     180    15300   107100 |    62717    57388     55 |  0.003 % |
890.55/891.11	c |   1328778 |     180    15300   107100 |    62717    58111     55 |  0.003 % |
891.05/891.66	c |   1329571 |     180    15300   107100 |    62717    58904     55 |  0.003 % |
891.75/892.31	c |   1330443 |     180    15300   107100 | 2147483647    59776     55 |  0.003 % |
892.35/892.99	c |   1331401 |     180    15300   107100 | 2147483647    60734     55 |  0.003 % |
893.05/893.66	c |   1332455 |     180    15300   107100 | 2147483647    61788     55 |  0.003 % |
893.75/894.35	c |   1333615 |     180    15300   107100 | 2147483647    62948     55 |  0.003 % |
894.55/895.18	c |   1334888 |     180    15300   107100 | 2147483647    64221     55 |  0.003 % |
895.45/896.00	c |   1336288 |     180    15300   107100 | 2147483647    65621     55 |  0.003 % |
896.35/896.91	c |   1337829 |     180    15300   107100 | 2147483647    67162     55 |  0.003 % |
897.35/897.99	c |   1339524 |     180    15300   107100 | 2147483647    68857     55 |  0.003 % |
898.75/899.38	c |   1341387 |     180    15300   107100 | 2147483647    70720     55 |  0.003 % |
900.15/900.76	c |   1343436 |     180    15300   107100 | 2147483647    72769     55 |  0.003 % |
901.84/902.43	c |   1345689 |     180    15300   107100 | 2147483647    75022     55 |  0.003 % |
903.75/904.38	c |   1348168 |     180    15300   107100 | 2147483647    77501     55 |  0.003 % |
905.94/906.55	c |   1350893 |     180    15300   107100 |    79335    68701     55 |  0.003 % |
908.24/908.80	c |   1353890 |     180    15300   107100 |    79335    71698     55 |  0.003 % |
910.54/911.16	c |   1357188 |     180    15300   107100 |    79335    74996     55 |  0.003 % |
913.45/914.06	c |   1360816 |     180    15300   107100 |    77809    67007     55 |  0.003 % |
916.34/916.98	c |   1364805 |     180    15300   107100 |    77809    70996     55 |  0.003 % |
919.54/920.15	c |   1369190 |     180    15300   107100 |    77809    75381     54 |  0.003 % |
922.94/923.53	c |   1374014 |     180    15300   107100 |    76191    69493     54 |  0.003 % |
926.94/927.51	c |   1379319 |     180    15300   107100 |    76191    74798     54 |  0.003 % |
930.84/931.41	c |   1385154 |     180    15300   107100 |    75479    69510     54 |  0.003 % |
935.53/936.14	c |   1391576 |     180    15300   107100 |    74357    65943     54 |  0.003 % |
940.54/941.18	c |   1398635 |     180    15300   107100 |    74357    73002     54 |  0.003 % |
945.44/946.10	c |   1406400 |     180    15300   107100 |    74368    70675     54 |  0.003 % |
951.33/951.95	c |   1414941 |     180    15300   107100 |    74275    69754     55 |  0.003 % |
957.73/958.30	c |   1424335 |     180    15300   107100 |    65184    61111     55 |  0.003 % |
963.93/964.58	c |   1434668 |     180    15300   107100 | 2147483647    64918     55 |  0.003 % |
971.43/972.02	c |   1446034 |     180    15300   107100 | 2147483647    76284     55 |  0.003 % |
980.41/981.04	c |   1458536 |     180    15300   107100 |    80251    77051     55 |  0.003 % |
980.52/981.13	c |   1458636 |     180    15300   107100 |    80251    77151     55 |  0.003 % |
980.62/981.22	c |   1458746 |     180    15300   107100 |    80251    77261     55 |  0.003 % |
980.71/981.34	c |   1458867 |     180    15300   107100 |    80251    77382     55 |  0.003 % |
980.81/981.46	c |   1459003 |     180    15300   107100 |    80251    77518     55 |  0.003 % |
980.91/981.58	c |   1459150 |     180    15300   107100 |    80251    77665     55 |  0.003 % |
981.11/981.73	c |   1459310 |     180    15300   107100 |    80251    77825     55 |  0.003 % |
981.31/981.90	c |   1459486 |     180    15300   107100 |    80251    78001     55 |  0.003 % |
981.41/982.10	c |   1459681 |     180    15300   107100 |    80251    78196     55 |  0.003 % |
981.62/982.30	c |   1459894 |     180    15300   107100 |    80251    78409     55 |  0.003 % |
981.91/982.58	c |   1460127 |     180    15300   107100 |    78517    66032     55 |  0.003 % |
982.11/982.77	c |   1460384 |     180    15300   107100 |    78517    66289     55 |  0.003 % |
982.31/982.98	c |   1460668 |     180    15300   107100 |    78517    66573     55 |  0.003 % |
982.51/983.17	c |   1460979 |     180    15300   107100 |    78517    66884     55 |  0.003 % |
982.72/983.39	c |   1461319 |     180    15300   107100 |    78517    67224     55 |  0.003 % |
983.01/983.65	c |   1461692 |     180    15300   107100 |    78517    67597     55 |  0.003 % |
983.31/983.90	c |   1462101 |     180    15300   107100 |    78517    68006     55 |  0.003 % |
983.61/984.21	c |   1462550 |     180    15300   107100 |    78517    68455     55 |  0.003 % |
984.01/984.67	c |   1463044 |     180    15300   107100 |    78517    68949     55 |  0.003 % |
984.51/985.11	c |   1463588 |     180    15300   107100 |    78517    69493     55 |  0.003 % |
984.91/985.54	c |   1464186 |     180    15300   107100 |    78517    70091     55 |  0.003 % |
985.41/986.02	c |   1464841 |     180    15300   107100 |    78517    70746     55 |  0.003 % |
985.91/986.58	c |   1465561 |     180    15300   107100 |    78517    71466     55 |  0.003 % |
986.61/987.21	c |   1466354 |     180    15300   107100 |    78517    72259     55 |  0.003 % |
987.21/987.88	c |   1467225 |     180    15300   107100 |    78517    73130     55 |  0.003 % |
988.01/988.66	c |   1468184 |     180    15300   107100 |    78517    74089     55 |  0.003 % |
988.81/989.48	c |   1469237 |     180    15300   107100 |    78517    75142     55 |  0.003 % |
989.81/990.43	c |   1470396 |     180    15300   107100 |    75905    64347     55 |  0.003 % |
990.61/991.22	c |   1471671 |     180    15300   107100 |    75905    65622     55 |  0.003 % |
991.41/992.07	c |   1473072 |     180    15300   107100 |    75905    67023     55 |  0.003 % |
992.61/993.29	c |   1474613 |     180    15300   107100 |    75905    68564     55 |  0.003 % |
993.81/994.46	c |   1476311 |     180    15300   107100 |    75905    70262     55 |  0.003 % |
995.11/995.75	c |   1478175 |     180    15300   107100 |    75905    72126     55 |  0.003 % |
996.71/997.30	c |   1480224 |     180    15300   107100 |    73951    63994     54 |  0.003 % |
998.31/998.90	c |   1482478 |     180    15300   107100 |    73951    66248     54 |  0.003 % |
999.91/1000.56	c |   1484957 |     180    15300   107100 |    73951    68727     54 |  0.003 % |
1001.80/1002.48	c |   1487684 |     180    15300   107100 |    73951    71454     54 |  0.003 % |
1004.00/1004.68	c |   1490681 |     180    15300   107100 |    73770    64521     54 |  0.003 % |
1006.20/1006.82	c |   1493978 |     180    15300   107100 |    73770    67818     54 |  0.003 % |
1008.60/1009.23	c |   1497603 |     180    15300   107100 |    73770    71443     54 |  0.003 % |
1011.40/1012.02	c |   1501591 |     180    15300   107100 |    73840    65735     54 |  0.003 % |
1014.50/1015.15	c |   1505977 |     180    15300   107100 |    73840    70121     54 |  0.003 % |
1018.30/1018.91	c |   1510801 |     180    15300   107100 |    63317    54951     54 |  0.003 % |
1021.20/1021.84	c |   1516109 |     180    15300   107100 |    63317    60259     54 |  0.003 % |
1024.59/1025.22	c |   1521946 |     180    15300   107100 | 2147483647    59757     54 |  0.003 % |
1028.69/1029.30	c |   1528364 |     180    15300   107100 | 2147483647    66175     54 |  0.003 % |
1033.69/1034.32	c |   1535423 |     180    15300   107100 | 2147483647    73234     54 |  0.003 % |
1039.19/1039.83	c |   1543188 |     180    15300   107100 |    77812    70766     55 |  0.003 % |
1045.18/1045.81	c |   1551728 |     180    15300   107100 |    77578    68610     55 |  0.003 % |
1051.58/1052.29	c |   1561123 |     180    15300   107100 |    76882    67522     55 |  0.003 % |
1058.88/1059.50	c |   1571458 |     180    15300   107100 |    76399    67203     55 |  0.003 % |
1066.78/1067.45	c |   1582825 |     180    15300   107100 |    75745    68139     55 |  0.003 % |
1075.07/1075.74	c |   1595328 |     180    15300   107100 |    75314    71012     55 |  0.003 % |
1084.77/1085.50	c |   1609081 |     180    15300   107100 |    66228    60220     56 |  0.003 % |
1084.87/1085.57	c |   1609182 |     180    15300   107100 |    66228    60321     56 |  0.003 % |
1084.97/1085.65	c |   1609292 |     180    15300   107100 |    66228    60431     56 |  0.003 % |
1085.07/1085.72	c |   1609413 |     180    15300   107100 |    66228    60552     56 |  0.003 % |
1085.17/1085.83	c |   1609546 |     180    15300   107100 |    66228    60685     56 |  0.003 % |
1085.27/1085.94	c |   1609693 |     180    15300   107100 |    66228    60832     56 |  0.003 % |
1085.37/1086.05	c |   1609853 |     180    15300   107100 |    66228    60992     56 |  0.003 % |
1085.47/1086.17	c |   1610029 |     180    15300   107100 |    61140    61168     56 |  0.003 % |
1085.66/1086.33	c |   1610223 |     180    15300   107100 |    61140    54968     56 |  0.003 % |
1085.76/1086.47	c |   1610435 |     180    15300   107100 |    61140    55180     56 |  0.003 % |
1085.96/1086.66	c |   1610669 |     180    15300   107100 |    61140    55414     56 |  0.003 % |
1086.17/1086.82	c |   1610925 |     180    15300   107100 |    61140    55670     56 |  0.003 % |
1086.26/1086.99	c |   1611208 |     180    15300   107100 |    61140    55953     56 |  0.003 % |
1086.46/1087.18	c |   1611518 |     180    15300   107100 |    61140    56263     56 |  0.003 % |
1086.76/1087.40	c |   1611858 |     180    15300   107100 |    61140    56603     56 |  0.003 % |
1086.96/1087.64	c |   1612230 |     180    15300   107100 |    61140    56975     56 |  0.003 % |
1087.17/1087.88	c |   1612641 |     180    15300   107100 |    61140    57386     56 |  0.003 % |
1087.46/1088.16	c |   1613090 |     180    15300   107100 |    61140    57835     56 |  0.003 % |
1087.86/1088.53	c |   1613584 |     180    15300   107100 |    61140    58329     55 |  0.003 % |
1088.16/1088.88	c |   1614126 |     180    15300   107100 |    61140    58871     55 |  0.003 % |
1088.56/1089.25	c |   1614722 |     180    15300   107100 |    61140    59467     55 |  0.003 % |
1088.96/1089.66	c |   1615379 |     180    15300   107100 |    61140    60124     55 |  0.003 % |
1089.37/1090.08	c |   1616099 |     180    15300   107100 |    61140    60844     55 |  0.003 % |
1089.96/1090.63	c |   1616892 |     180    15300   107100 |    61140    55515     55 |  0.003 % |
1090.47/1091.11	c |   1617764 |     180    15300   107100 |    61140    56387     55 |  0.003 % |
1090.96/1091.65	c |   1618723 |     180    15300   107100 |    61140    57346     55 |  0.003 % |
1091.57/1092.25	c |   1619780 |     180    15300   107100 |    61140    58403     55 |  0.003 % |
1092.26/1092.93	c |   1620940 |     180    15300   107100 | 2147483647    59563     55 |  0.003 % |
1093.06/1093.76	c |   1622213 |     180    15300   107100 | 2147483647    60836     55 |  0.003 % |
1093.96/1094.65	c |   1623613 |     180    15300   107100 | 2147483647    62236     55 |  0.003 % |
1095.06/1095.75	c |   1625153 |     180    15300   107100 | 2147483647    63776     55 |  0.003 % |
1096.16/1096.84	c |   1626847 |     180    15300   107100 | 2147483647    65470     55 |  0.003 % |
1097.46/1098.17	c |   1628711 |     180    15300   107100 | 2147483647    67334     55 |  0.003 % |
1098.96/1099.69	c |   1630763 |     180    15300   107100 | 2147483647    69386     55 |  0.003 % |
1100.56/1101.24	c |   1633018 |     180    15300   107100 | 2147483647    71641     55 |  0.003 % |
1102.36/1103.06	c |   1635497 |     180    15300   107100 | 2147483647    74120     55 |  0.003 % |
1104.16/1104.84	c |   1638223 |     180    15300   107100 | 2147483647    76846     55 |  0.003 % |
1106.26/1106.94	c |   1641220 |     180    15300   107100 |    78623    69015     55 |  0.003 % |
1108.46/1109.16	c |   1644517 |     180    15300   107100 |    78623    72312     55 |  0.003 % |
1111.06/1111.78	c |   1648145 |     180    15300   107100 |    78623    75940     55 |  0.003 % |
1113.66/1114.36	c |   1652135 |     180    15300   107100 |    77796    68938     55 |  0.003 % |
1116.55/1117.25	c |   1656520 |     180    15300   107100 |    77796    73323     55 |  0.003 % |
1120.16/1120.85	c |   1661345 |     180    15300   107100 |    76803    67962     54 |  0.003 % |
1123.75/1124.43	c |   1666652 |     180    15300   107100 |    76803    73269     54 |  0.003 % |
1128.15/1128.82	c |   1672490 |     180    15300   107100 |    76617    68398     54 |  0.003 % |
1132.94/1133.63	c |   1678911 |     180    15300   107100 |    76617    74819     54 |  0.003 % |
1137.85/1138.59	c |   1685970 |     180    15300   107100 |    75908    70792     54 |  0.003 % |
1143.14/1143.86	c |   1693735 |     180    15300   107100 |    74824    68492     54 |  0.003 % |
1149.04/1149.70	c |   1702275 |     180    15300   107100 |    74760    67272     54 |  0.003 % |
1155.74/1156.44	c |   1711669 |     180    15300   107100 |    65550    58971     54 |  0.003 % |
1162.23/1162.91	c |   1722007 |     180    15300   107100 | 2147483647    62747     54 |  0.003 % |
1169.03/1169.77	c |   1733373 |     180    15300   107100 | 2147483647    74113     54 |  0.003 % |
1177.72/1178.44	c |   1745876 |     180    15300   107100 |    80741    75454     55 |  0.003 % |
1187.42/1188.12	c |   1759628 |     180    15300   107100 |    79581    77563     55 |  0.003 % |
1198.92/1199.68	c |   1774755 |     180    15300   107100 |    76484    69931     55 |  0.003 % |
1199.02/1199.77	c |   1774855 |     180    15300   107100 |    76484    70031     55 |  0.003 % |
1199.12/1199.86	c |   1774965 |     180    15300   107100 |    76484    70141     55 |  0.003 % |
1199.22/1199.95	c |   1775086 |     180    15300   107100 |    76484    70262     55 |  0.003 % |
1199.32/1200.06	c |   1775219 |     180    15300   107100 |    76484    70395     55 |  0.003 % |
1199.52/1200.20	c |   1775365 |     180    15300   107100 |    76484    70541     55 |  0.003 % |
1199.62/1200.33	c |   1775525 |     180    15300   107100 |    76484    70701     55 |  0.003 % |
1199.72/1200.49	c |   1775701 |     180    15300   107100 |    76484    70877     55 |  0.003 % |
1199.92/1200.63	c |   1775894 |     180    15300   107100 |    76484    71070     55 |  0.003 % |
1200.02/1200.71	HOME/SatELiteGTI: line 36:  8951 Terminated              $MS $TMP.cnf $TMP.result

Verifier Data

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

Watcher Data

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

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

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


[startup+0 s]
/proc/loadavg: 1.04 1.03 1.01 3/64 8945
/proc/meminfo: memFree=1914712/2055920 swapFree=4180172/4192956
[pid=8945] ppid=8943 vsize=5356 CPUtime=0
/proc/8945/stat : 8945 (SatELiteGTI) R 8943 8945 8380 0 -1 4194304 291 249 0 0 0 0 0 0 18 0 1 0 306536927 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255236172275 0 0 4100 65536 0 0 0 17 0 0 0
/proc/8945/statm: 1339 237 197 169 0 50 0

[startup+0.0444231 s]
/proc/loadavg: 1.04 1.03 1.01 3/64 8945
/proc/meminfo: memFree=1914712/2055920 swapFree=4180172/4192956
[pid=8945] ppid=8943 vsize=5356 CPUtime=0
/proc/8945/stat : 8945 (SatELiteGTI) S 8943 8945 8380 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306536927 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8945/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101431 s]
/proc/loadavg: 1.04 1.03 1.01 3/64 8945
/proc/meminfo: memFree=1914712/2055920 swapFree=4180172/4192956
[pid=8945] ppid=8943 vsize=5356 CPUtime=0.04
/proc/8945/stat : 8945 (SatELiteGTI) S 8943 8945 8380 0 -1 4194304 336 707 0 0 0 0 4 0 17 0 1 0 306536927 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8945/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356

[startup+0.301454 s]
/proc/loadavg: 1.04 1.03 1.01 3/64 8945
/proc/meminfo: memFree=1914712/2055920 swapFree=4180172/4192956
[pid=8945] ppid=8943 vsize=5356 CPUtime=0.04
/proc/8945/stat : 8945 (SatELiteGTI) S 8943 8945 8380 0 -1 4194304 336 707 0 0 0 0 4 0 17 0 1 0 306536927 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8945/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356

[startup+0.701499 s]
/proc/loadavg: 1.04 1.03 1.01 3/64 8945
/proc/meminfo: memFree=1914712/2055920 swapFree=4180172/4192956
[pid=8945] ppid=8943 vsize=5356 CPUtime=0.04
/proc/8945/stat : 8945 (SatELiteGTI) S 8943 8945 8380 0 -1 4194304 336 707 0 0 0 0 4 0 17 0 1 0 306536927 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8945/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356

[startup+1.50158 s]
/proc/loadavg: 1.03 1.03 1.00 2/66 8951
/proc/meminfo: memFree=1911112/2055920 swapFree=4180172/4192956
[pid=8945] ppid=8943 vsize=5356 CPUtime=0.04
/proc/8945/stat : 8945 (SatELiteGTI) S 8943 8945 8380 0 -1 4194304 336 707 0 0 0 0 4 0 17 0 1 0 306536927 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8945/statm: 1339 239 197 169 0 50 0
[pid=8951] ppid=8945 vsize=4820 CPUtime=1.42
/proc/8951/stat : 8951 (minisat_static) R 8945 8945 8380 0 -1 4194304 960 0 0 0 142 0 0 0 25 0 1 0 306536933 4935680 946 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 0 0 0
/proc/8951/statm: 1205 946 76 171 0 1032 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 10176

[startup+3.10175 s]
/proc/loadavg: 1.03 1.03 1.00 2/66 8951
/proc/meminfo: memFree=1909384/2055920 swapFree=4180172/4192956
[pid=8945] ppid=8943 vsize=5356 CPUtime=0.04
/proc/8945/stat : 8945 (SatELiteGTI) S 8943 8945 8380 0 -1 4194304 336 707 0 0 0 0 4 0 17 0 1 0 306536927 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8945/statm: 1339 239 197 169 0 50 0
[pid=8951] ppid=8945 vsize=7128 CPUtime=3.03
/proc/8951/stat : 8951 (minisat_static) R 8945 8945 8380 0 -1 4194304 1527 0 0 0 302 1 0 0 25 0 1 0 306536933 7299072 1513 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8951/statm: 1782 1513 76 171 0 1609 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 12484

[startup+6.3011 s]
/proc/loadavg: 1.03 1.03 1.00 2/66 8951
/proc/meminfo: memFree=1905736/2055920 swapFree=4180172/4192956
[pid=8945] ppid=8943 vsize=5356 CPUtime=0.04
/proc/8945/stat : 8945 (SatELiteGTI) S 8943 8945 8380 0 -1 4194304 336 707 0 0 0 0 4 0 17 0 1 0 306536927 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8945/statm: 1339 239 197 169 0 50 0
[pid=8951] ppid=8945 vsize=10020 CPUtime=6.21
/proc/8951/stat : 8951 (minisat_static) R 8945 8945 8380 0 -1 4194304 2239 0 0 0 620 1 0 0 25 0 1 0 306536933 10260480 2225 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8951/statm: 2505 2225 76 171 0 2332 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 15376

[startup+12.7018 s]
/proc/loadavg: 1.03 1.03 1.00 2/66 8951
/proc/meminfo: memFree=1901576/2055920 swapFree=4180172/4192956
[pid=8945] ppid=8943 vsize=5356 CPUtime=0.04
/proc/8945/stat : 8945 (SatELiteGTI) S 8943 8945 8380 0 -1 4194304 336 707 0 0 0 0 4 0 17 0 1 0 306536927 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8945/statm: 1339 239 197 169 0 50 0
[pid=8951] ppid=8945 vsize=13932 CPUtime=12.61
/proc/8951/stat : 8951 (minisat_static) R 8945 8945 8380 0 -1 4194304 3204 0 0 0 1258 3 0 0 25 0 1 0 306536933 14266368 3190 1992294400 134512640 135215339 4294956240 18446744073709551615 134528673 0 0 4096 3 0 0 0 17 0 0 0
/proc/8951/statm: 3483 3190 76 171 0 3310 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 19288

[startup+25.5012 s]
/proc/loadavg: 1.02 1.03 1.00 2/66 8951
/proc/meminfo: memFree=1896200/2055920 swapFree=4180172/4192956
[pid=8945] ppid=8943 vsize=5356 CPUtime=0.04
/proc/8945/stat : 8945 (SatELiteGTI) S 8943 8945 8380 0 -1 4194304 336 707 0 0 0 0 4 0 17 0 1 0 306536927 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8945/statm: 1339 239 197 169 0 50 0
[pid=8951] ppid=8945 vsize=19088 CPUtime=25.4
/proc/8951/stat : 8951 (minisat_static) R 8945 8945 8380 0 -1 4194304 4495 0 0 0 2535 5 0 0 25 0 1 0 306536933 19546112 4481 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8951/statm: 4772 4481 76 171 0 4599 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 24444

[startup+51.1019 s]
/proc/loadavg: 1.01 1.02 1.00 2/66 8951
/proc/meminfo: memFree=1893256/2055920 swapFree=4180172/4192956
[pid=8945] ppid=8943 vsize=5356 CPUtime=0.04
/proc/8945/stat : 8945 (SatELiteGTI) S 8943 8945 8380 0 -1 4194304 336 707 0 0 0 0 4 0 17 0 1 0 306536927 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8945/statm: 1339 239 197 169 0 50 0
[pid=8951] ppid=8945 vsize=21760 CPUtime=50.96
/proc/8951/stat : 8951 (minisat_static) R 8945 8945 8380 0 -1 4194304 5178 0 0 0 5090 6 0 0 25 0 1 0 306536933 22282240 5164 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8951/statm: 5440 5164 76 171 0 5267 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 27116

[startup+102.305 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 8951
/proc/meminfo: memFree=1893064/2055920 swapFree=4180172/4192956
[pid=8945] ppid=8943 vsize=5356 CPUtime=0.04
/proc/8945/stat : 8945 (SatELiteGTI) S 8943 8945 8380 0 -1 4194304 336 707 0 0 0 0 4 0 17 0 1 0 306536927 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8945/statm: 1339 239 197 169 0 50 0
[pid=8951] ppid=8945 vsize=21760 CPUtime=102.13
/proc/8951/stat : 8951 (minisat_static) R 8945 8945 8380 0 -1 4194304 5178 0 0 0 10207 6 0 0 25 0 1 0 306536933 22282240 5164 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8951/statm: 5440 5164 76 171 0 5267 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 27116

[startup+162.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 8951
/proc/meminfo: memFree=1892936/2055920 swapFree=4180172/4192956
[pid=8945] ppid=8943 vsize=5356 CPUtime=0.04
/proc/8945/stat : 8945 (SatELiteGTI) S 8943 8945 8380 0 -1 4194304 336 707 0 0 0 0 4 0 17 0 1 0 306536927 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8945/statm: 1339 239 197 169 0 50 0
[pid=8951] ppid=8945 vsize=21760 CPUtime=162.09
/proc/8951/stat : 8951 (minisat_static) R 8945 8945 8380 0 -1 4194304 5178 0 0 0 16203 6 0 0 25 0 1 0 306536933 22282240 5164 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8951/statm: 5440 5164 76 171 0 5267 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 27116

[startup+222.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 8951
/proc/meminfo: memFree=1891016/2055920 swapFree=4180172/4192956
[pid=8945] ppid=8943 vsize=5356 CPUtime=0.04
/proc/8945/stat : 8945 (SatELiteGTI) S 8943 8945 8380 0 -1 4194304 336 707 0 0 0 0 4 0 17 0 1 0 306536927 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8945/statm: 1339 239 197 169 0 50 0
[pid=8951] ppid=8945 vsize=23608 CPUtime=222.05
/proc/8951/stat : 8951 (minisat_static) R 8945 8945 8380 0 -1 4194304 5635 0 0 0 22198 7 0 0 25 0 1 0 306536933 24174592 5621 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/8951/statm: 5902 5621 76 171 0 5729 0
Current children cumulated CPU time (s) 222.09
Current children cumulated vsize (KiB) 28964

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8951
/proc/meminfo: memFree=1890952/2055920 swapFree=4180172/4192956
[pid=8945] ppid=8943 vsize=5356 CPUtime=0.04
/proc/8945/stat : 8945 (SatELiteGTI) S 8943 8945 8380 0 -1 4194304 336 707 0 0 0 0 4 0 17 0 1 0 306536927 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8945/statm: 1339 239 197 169 0 50 0
[pid=8951] ppid=8945 vsize=23608 CPUtime=282.02
/proc/8951/stat : 8951 (minisat_static) R 8945 8945 8380 0 -1 4194304 5635 0 0 0 28195 7 0 0 25 0 1 0 306536933 24174592 5621 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8951/statm: 5902 5621 76 171 0 5729 0
Current children cumulated CPU time (s) 282.06
Current children cumulated vsize (KiB) 28964

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8951
/proc/meminfo: memFree=1890632/2055920 swapFree=4180172/4192956
[pid=8945] ppid=8943 vsize=5356 CPUtime=0.04
/proc/8945/stat : 8945 (SatELiteGTI) S 8943 8945 8380 0 -1 4194304 336 707 0 0 0 0 4 0 17 0 1 0 306536927 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8945/statm: 1339 239 197 169 0 50 0
[pid=8951] ppid=8945 vsize=23856 CPUtime=341.98
/proc/8951/stat : 8951 (minisat_static) R 8945 8945 8380 0 -1 4194304 5700 0 0 0 34191 7 0 0 25 0 1 0 306536933 24428544 5686 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8951/statm: 5964 5686 76 171 0 5791 0
Current children cumulated CPU time (s) 342.02
Current children cumulated vsize (KiB) 29212

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8951
/proc/meminfo: memFree=1889544/2055920 swapFree=4180172/4192956
[pid=8945] ppid=8943 vsize=5356 CPUtime=0.04
/proc/8945/stat : 8945 (SatELiteGTI) S 8943 8945 8380 0 -1 4194304 336 707 0 0 0 0 4 0 17 0 1 0 306536927 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8945/statm: 1339 239 197 169 0 50 0
[pid=8951] ppid=8945 vsize=24792 CPUtime=401.94
/proc/8951/stat : 8951 (minisat_static) R 8945 8945 8380 0 -1 4194304 5928 0 0 0 40187 7 0 0 25 0 1 0 306536933 25387008 5914 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/8951/statm: 6198 5914 76 171 0 6025 0
Current children cumulated CPU time (s) 401.98
Current children cumulated vsize (KiB) 30148

[startup+462.301 s]

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

[pid=8951] ppid=8945 vsize=24792 CPUtime=521.89
/proc/8951/stat : 8951 (minisat_static) R 8945 8945 8380 0 -1 4194304 5928 0 0 0 52181 8 0 0 25 0 1 0 306536933 25387008 5914 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8951/statm: 6198 5914 76 171 0 6025 0
Current children cumulated CPU time (s) 521.93
Current children cumulated vsize (KiB) 30148

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8951
/proc/meminfo: memFree=1889288/2055920 swapFree=4180172/4192956
[pid=8945] ppid=8943 vsize=5356 CPUtime=0.04
/proc/8945/stat : 8945 (SatELiteGTI) S 8943 8945 8380 0 -1 4194304 336 707 0 0 0 0 4 0 17 0 1 0 306536927 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8945/statm: 1339 239 197 169 0 50 0
[pid=8951] ppid=8945 vsize=24792 CPUtime=581.86
/proc/8951/stat : 8951 (minisat_static) R 8945 8945 8380 0 -1 4194304 5928 0 0 0 58178 8 0 0 25 0 1 0 306536933 25387008 5914 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/8951/statm: 6198 5914 76 171 0 6025 0
Current children cumulated CPU time (s) 581.9
Current children cumulated vsize (KiB) 30148

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8951
/proc/meminfo: memFree=1888904/2055920 swapFree=4180172/4192956
[pid=8945] ppid=8943 vsize=5356 CPUtime=0.04
/proc/8945/stat : 8945 (SatELiteGTI) S 8943 8945 8380 0 -1 4194304 336 707 0 0 0 0 4 0 17 0 1 0 306536927 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8945/statm: 1339 239 197 169 0 50 0
[pid=8951] ppid=8945 vsize=25056 CPUtime=641.84
/proc/8951/stat : 8951 (minisat_static) R 8945 8945 8380 0 -1 4194304 5997 0 0 0 64176 8 0 0 25 0 1 0 306536933 25657344 5983 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8951/statm: 6264 5983 76 171 0 6091 0
Current children cumulated CPU time (s) 641.88
Current children cumulated vsize (KiB) 30412

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8951
/proc/meminfo: memFree=1888648/2055920 swapFree=4180172/4192956
[pid=8945] ppid=8943 vsize=5356 CPUtime=0.04
/proc/8945/stat : 8945 (SatELiteGTI) S 8943 8945 8380 0 -1 4194304 336 707 0 0 0 0 4 0 17 0 1 0 306536927 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8945/statm: 1339 239 197 169 0 50 0
[pid=8951] ppid=8945 vsize=25188 CPUtime=701.81
/proc/8951/stat : 8951 (minisat_static) R 8945 8945 8380 0 -1 4194304 6031 0 0 0 70173 8 0 0 25 0 1 0 306536933 25792512 6017 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/8951/statm: 6297 6017 76 171 0 6124 0
Current children cumulated CPU time (s) 701.85
Current children cumulated vsize (KiB) 30544

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8951
/proc/meminfo: memFree=1888520/2055920 swapFree=4180172/4192956
[pid=8945] ppid=8943 vsize=5356 CPUtime=0.04
/proc/8945/stat : 8945 (SatELiteGTI) S 8943 8945 8380 0 -1 4194304 336 707 0 0 0 0 4 0 17 0 1 0 306536927 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8945/statm: 1339 239 197 169 0 50 0
[pid=8951] ppid=8945 vsize=25188 CPUtime=761.78
/proc/8951/stat : 8951 (minisat_static) R 8945 8945 8380 0 -1 4194304 6031 0 0 0 76170 8 0 0 25 0 1 0 306536933 25792512 6017 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8951/statm: 6297 6017 76 171 0 6124 0
Current children cumulated CPU time (s) 761.82
Current children cumulated vsize (KiB) 30544

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8951
/proc/meminfo: memFree=1888456/2055920 swapFree=4180172/4192956
[pid=8945] ppid=8943 vsize=5356 CPUtime=0.04
/proc/8945/stat : 8945 (SatELiteGTI) S 8943 8945 8380 0 -1 4194304 336 707 0 0 0 0 4 0 17 0 1 0 306536927 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8945/statm: 1339 239 197 169 0 50 0
[pid=8951] ppid=8945 vsize=25320 CPUtime=821.75
/proc/8951/stat : 8951 (minisat_static) R 8945 8945 8380 0 -1 4194304 6078 0 0 0 82167 8 0 0 25 0 1 0 306536933 25927680 6064 1992294400 134512640 135215339 4294956240 18446744073709551615 134528884 0 0 4096 3 0 0 0 17 0 0 0
/proc/8951/statm: 6330 6064 76 171 0 6157 0
Current children cumulated CPU time (s) 821.79
Current children cumulated vsize (KiB) 30676

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8951
/proc/meminfo: memFree=1888008/2055920 swapFree=4180172/4192956
[pid=8945] ppid=8943 vsize=5356 CPUtime=0.04
/proc/8945/stat : 8945 (SatELiteGTI) S 8943 8945 8380 0 -1 4194304 336 707 0 0 0 0 4 0 17 0 1 0 306536927 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8945/statm: 1339 239 197 169 0 50 0
[pid=8951] ppid=8945 vsize=25584 CPUtime=881.72
/proc/8951/stat : 8951 (minisat_static) R 8945 8945 8380 0 -1 4194304 6136 0 0 0 88164 8 0 0 25 0 1 0 306536933 26198016 6122 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8951/statm: 6396 6122 76 171 0 6223 0
Current children cumulated CPU time (s) 881.76
Current children cumulated vsize (KiB) 30940

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8951
/proc/meminfo: memFree=1887688/2055920 swapFree=4180172/4192956
[pid=8945] ppid=8943 vsize=5356 CPUtime=0.04
/proc/8945/stat : 8945 (SatELiteGTI) S 8943 8945 8380 0 -1 4194304 336 707 0 0 0 0 4 0 17 0 1 0 306536927 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8945/statm: 1339 239 197 169 0 50 0
[pid=8951] ppid=8945 vsize=25716 CPUtime=941.69
/proc/8951/stat : 8951 (minisat_static) R 8945 8945 8380 0 -1 4194304 6172 0 0 0 94160 9 0 0 25 0 1 0 306536933 26333184 6158 1992294400 134512640 135215339 4294956240 18446744073709551615 134528724 0 0 4096 3 0 0 0 17 0 0 0
/proc/8951/statm: 6429 6158 76 171 0 6256 0
Current children cumulated CPU time (s) 941.73
Current children cumulated vsize (KiB) 31072

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8951
/proc/meminfo: memFree=1887048/2055920 swapFree=4180172/4192956
[pid=8945] ppid=8943 vsize=5356 CPUtime=0.04
/proc/8945/stat : 8945 (SatELiteGTI) S 8943 8945 8380 0 -1 4194304 336 707 0 0 0 0 4 0 17 0 1 0 306536927 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8945/statm: 1339 239 197 169 0 50 0
[pid=8951] ppid=8945 vsize=26376 CPUtime=1001.66
/proc/8951/stat : 8951 (minisat_static) R 8945 8945 8380 0 -1 4194304 6323 0 0 0 100157 9 0 0 25 0 1 0 306536933 27009024 6309 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8951/statm: 6594 6309 76 171 0 6421 0
Current children cumulated CPU time (s) 1001.7
Current children cumulated vsize (KiB) 31732

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8951
/proc/meminfo: memFree=1886984/2055920 swapFree=4180172/4192956
[pid=8945] ppid=8943 vsize=5356 CPUtime=0.04
/proc/8945/stat : 8945 (SatELiteGTI) S 8943 8945 8380 0 -1 4194304 336 707 0 0 0 0 4 0 17 0 1 0 306536927 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8945/statm: 1339 239 197 169 0 50 0
[pid=8951] ppid=8945 vsize=26376 CPUtime=1061.64
/proc/8951/stat : 8951 (minisat_static) R 8945 8945 8380 0 -1 4194304 6324 0 0 0 106155 9 0 0 25 0 1 0 306536933 27009024 6310 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8951/statm: 6594 6310 76 171 0 6421 0
Current children cumulated CPU time (s) 1061.68
Current children cumulated vsize (KiB) 31732

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8951
/proc/meminfo: memFree=1886856/2055920 swapFree=4180172/4192956
[pid=8945] ppid=8943 vsize=5356 CPUtime=0.04
/proc/8945/stat : 8945 (SatELiteGTI) S 8943 8945 8380 0 -1 4194304 336 707 0 0 0 0 4 0 17 0 1 0 306536927 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8945/statm: 1339 239 197 169 0 50 0
[pid=8951] ppid=8945 vsize=26376 CPUtime=1121.61
/proc/8951/stat : 8951 (minisat_static) R 8945 8945 8380 0 -1 4194304 6324 0 0 0 112152 9 0 0 25 0 1 0 306536933 27009024 6310 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8951/statm: 6594 6310 76 171 0 6421 0
Current children cumulated CPU time (s) 1121.65
Current children cumulated vsize (KiB) 31732

[startup+1182.3 s]
/proc/loadavg: 1.06 1.01 1.00 2/66 8951
/proc/meminfo: memFree=1886664/2055920 swapFree=4180172/4192956
[pid=8945] ppid=8943 vsize=5356 CPUtime=0.04
/proc/8945/stat : 8945 (SatELiteGTI) S 8943 8945 8380 0 -1 4194304 336 707 0 0 0 0 4 0 17 0 1 0 306536927 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8945/statm: 1339 239 197 169 0 50 0
[pid=8951] ppid=8945 vsize=26508 CPUtime=1181.58
/proc/8951/stat : 8951 (minisat_static) R 8945 8945 8380 0 -1 4194304 6364 0 0 0 118149 9 0 0 25 0 1 0 306536933 27144192 6350 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8951/statm: 6627 6350 76 171 0 6454 0
Current children cumulated CPU time (s) 1181.62
Current children cumulated vsize (KiB) 31864



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.7 s]
/proc/loadavg: 1.04 1.01 1.00 2/66 8951
/proc/meminfo: memFree=1886472/2055920 swapFree=4180172/4192956
[pid=8945] ppid=8943 vsize=5356 CPUtime=0.04
/proc/8945/stat : 8945 (SatELiteGTI) S 8943 8945 8380 0 -1 4194304 336 707 0 0 0 0 4 0 17 0 1 0 306536927 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8945/statm: 1339 239 197 169 0 50 0
[pid=8951] ppid=8945 vsize=26652 CPUtime=1199.98
/proc/8951/stat : 8951 (minisat_static) R 8945 8945 8380 0 -1 4194304 6397 0 0 0 119989 9 0 0 25 0 1 0 306536933 27291648 6383 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8951/statm: 6663 6383 76 171 0 6490 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 32008

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

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

[startup+1200.7 s]
/proc/loadavg: 1.04 1.01 1.00 2/66 8951
/proc/meminfo: memFree=1886472/2055920 swapFree=4180172/4192956
[pid=8945] ppid=8943 vsize=5356 CPUtime=0.04
/proc/8945/stat : 8945 (SatELiteGTI) S 8943 8945 8380 0 -1 4194304 336 707 0 0 0 0 4 0 17 0 1 0 306536927 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8945/statm: 1339 239 197 169 0 50 0
[pid=8951] ppid=8945 vsize=26652 CPUtime=1199.98
/proc/8951/stat : 8951 (minisat_static) R 8945 8945 8380 0 -1 4194304 6397 0 0 0 119989 9 0 0 25 0 1 0 306536933 27291648 6383 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8951/statm: 6663 6383 76 171 0 6490 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 32008

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.71
CPU time (s): 1200.05
CPU user time (s): 1199.94
CPU system time (s): 0.110983
CPU usage (%): 99.9451
Max. virtual memory (cumulated for all children) (KiB): 32008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.94
system time used= 0.110983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7449
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= 24
involuntary context switches= 5393

runsolver used 1.22181 second user time and 3.2905 second system time

The end

Launcher Data

Begin job on node19 at 2009-05-20 04:03:57
IDJOB=1832599
IDBENCH=70263
IDSOLVER=671
FILE ID=node19/1832599-1242785037
PBS_JOBID= 9322345
Free space on /tmp= 66272 MiB

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

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

MD5SUM BENCH= acdedd9b500b479d333013009842065d
RANDOM SEED=1056864784

node19.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.236
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.236
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:       1915192 kB
Buffers:         23244 kB
Cached:          72032 kB
SwapCached:       7132 kB
Active:          40768 kB
Inactive:        63040 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1915192 kB
SwapTotal:     4192956 kB
SwapFree:      4180172 kB
Dirty:            2016 kB
Writeback:           0 kB
Mapped:          13516 kB
Slab:            22932 kB
Committed_AS:  1035000 kB
PageTables:       1456 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= 66268 MiB
End job on node19 at 2009-05-20 04:23:59