Trace number 1832583

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.12 1200.51

General information on the benchmark

NameRANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1049921489-034.cnf
MD5SUM5f6d9d113e535105e77af29b0e165b23
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark602.167
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.06	c This is MiniSat 2.0 beta
0.00/0.06	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.06	c ============================[ Problem Statistics ]=============================
0.00/0.06	c |                                                                             |
0.00/0.06	c |  Number of variables:  180                                                  |
0.00/0.06	c |  Number of clauses:    15300                                                |
0.00/0.07	c |  Parsing time:         0.01         s                                       |
0.00/0.07	c ============================[ Search Statistics ]==============================
0.00/0.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.07	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.07	c ===============================================================================
0.00/0.07	c |         0 |     180    15300   107100 |     5100        0    nan |  0.000 % |
0.00/0.08	c |       100 |     180    15300   107100 |     5100      100     48 |  0.003 % |
0.00/0.09	c |       200 |     180    15300   107100 |     5100      200     50 |  0.003 % |
0.04/0.10	c |       300 |     180    15300   107100 |     5100      300     51 |  0.003 % |
0.04/0.11	c |       411 |     180    15300   107100 |     5100      411     51 |  0.003 % |
0.04/0.12	c |       511 |     180    15300   107100 |     5100      511     52 |  0.003 % |
0.04/0.13	c |       622 |     180    15300   107100 |     5100      622     52 |  0.003 % |
0.04/0.14	c |       743 |     180    15300   107100 |     5100      743     52 |  0.003 % |
0.04/0.15	c |       843 |     180    15300   107100 |     5100      843     52 |  0.003 % |
0.04/0.16	c |       955 |     180    15300   107100 |     5100      955     52 |  0.003 % |
0.04/0.17	c |      1076 |     180    15300   107100 |     5100     1076     52 |  0.003 % |
0.04/0.18	c |      1209 |     180    15300   107100 |     5100     1209     52 |  0.003 % |
0.04/0.19	c |      1310 |     180    15300   107100 |     5100     1310     52 |  0.003 % |
0.04/0.20	c |      1420 |     180    15300   107100 |     5100     1420     52 |  0.003 % |
0.04/0.21	c |      1542 |     180    15300   107100 |     5100     1542     52 |  0.003 % |
0.04/0.22	c |      1675 |     180    15300   107100 |     5100     1675     53 |  0.003 % |
0.04/0.23	c |      1821 |     180    15300   107100 |     5100     1821     53 |  0.003 % |
0.04/0.24	c |      1921 |     180    15300   107100 |     5100     1921     53 |  0.003 % |
0.04/0.25	c |      2033 |     180    15300   107100 |     5100     2033     52 |  0.003 % |
0.04/0.26	c |      2154 |     180    15300   107100 |     5100     2154     52 |  0.003 % |
0.04/0.27	c |      2287 |     180    15300   107100 |     5100     2287     53 |  0.003 % |
0.04/0.28	c |      2435 |     180    15300   107100 |     5100     2435     53 |  0.003 % |
0.04/0.30	c |      2595 |     180    15300   107100 |     5100     2595     53 |  0.003 % |
0.04/0.30	c |      2695 |     180    15300   107100 |     5100     2695     53 |  0.003 % |
0.04/0.32	c |      2808 |     180    15300   107100 |     5100     2808     53 |  0.003 % |
0.04/0.33	c |      2930 |     180    15300   107100 |     5100     2930     53 |  0.003 % |
0.04/0.34	c |      3063 |     180    15300   107100 |     5100     3063     52 |  0.003 % |
0.04/0.36	c |      3210 |     180    15300   107100 |     5100     3210     52 |  0.003 % |
0.04/0.37	c |      3370 |     180    15300   107100 |     5100     3370     53 |  0.003 % |
0.04/0.39	c |      3546 |     180    15300   107100 |     5100     3546     53 |  0.003 % |
0.04/0.40	c |      3646 |     180    15300   107100 |     5100     3646     52 |  0.003 % |
0.04/0.41	c |      3757 |     180    15300   107100 |     5100     3757     53 |  0.003 % |
0.04/0.42	c |      3879 |     180    15300   107100 |     5100     3879     53 |  0.003 % |
0.04/0.44	c |      4013 |     180    15300   107100 |     5100     4013     52 |  0.003 % |
0.04/0.45	c |      4159 |     180    15300   107100 |     5100     4159     52 |  0.003 % |
0.04/0.47	c |      4319 |     180    15300   107100 |     5100     4319     52 |  0.003 % |
0.04/0.48	c |      4497 |     180    15300   107100 |     5100     4497     52 |  0.003 % |
0.04/0.50	c |      4692 |     180    15300   107100 |     5100     4692     53 |  0.003 % |
0.04/0.51	c |      4792 |     180    15300   107100 |     5100     4792     53 |  0.003 % |
0.04/0.52	c |      4902 |     180    15300   107100 |     5100     4902     53 |  0.003 % |
0.04/0.54	c |      5023 |     180    15300   107100 |     5100     5023     53 |  0.003 % |
0.04/0.55	c |      5157 |     180    15300   107100 |     5100     5157     53 |  0.003 % |
0.04/0.57	c |      5303 |     180    15300   107100 |     5100     4788     52 |  0.003 % |
0.04/0.58	c |      5465 |     180    15300   107100 |     5100     4950     52 |  0.003 % |
0.04/0.60	c |      5642 |     180    15300   107100 |     5100     5127     52 |  0.003 % |
0.04/0.62	c |      5837 |     180    15300   107100 |     5100     4810     52 |  0.003 % |
0.04/0.64	c |      6049 |     180    15300   107100 |     5100     5022     52 |  0.003 % |
0.04/0.66	c |      6150 |     180    15300   107100 |     5100     5123     52 |  0.003 % |
0.04/0.67	c |      6260 |     180    15300   107100 |     5100     4721     52 |  0.003 % |
0.04/0.68	c |      6381 |     180    15300   107100 |     5100     4842     52 |  0.003 % |
0.04/0.69	c |      6515 |     180    15300   107100 |     5100     4976     52 |  0.003 % |
0.04/0.71	c |      6661 |     180    15300   107100 |     5100     5122     52 |  0.003 % |
0.04/0.73	c |      6823 |     180    15300   107100 |     5100     4772     52 |  0.003 % |
0.04/0.75	c |      6999 |     180    15300   107100 |     5100     4948     52 |  0.003 % |
0.04/0.77	c |      7192 |     180    15300   107100 |     5100     5141     52 |  0.003 % |
0.04/0.79	c |      7406 |     180    15300   107100 |     5100     4841     52 |  0.003 % |
0.04/0.82	c |      7640 |     180    15300   107100 |     5100     5075     52 |  0.003 % |
0.04/0.83	c |      7741 |     180    15300   107100 |     5100     5176     52 |  0.003 % |
0.04/0.85	c |      7854 |     180    15300   107100 |     5100     4772     52 |  0.003 % |
0.04/0.86	c |      7977 |     180    15300   107100 |     5100     4895     52 |  0.003 % |
0.04/0.88	c |      8113 |     180    15300   107100 |     5100     5031     52 |  0.003 % |
0.04/0.89	c |      8262 |     180    15300   107100 |     5100     4663     52 |  0.003 % |
0.04/0.91	c |      8422 |     180    15300   107100 |     5100     4823     52 |  0.003 % |
0.04/0.93	c |      8599 |     180    15300   107100 |     5100     5000     52 |  0.003 % |
0.04/0.95	c |      8793 |     180    15300   107100 |     5100     4676     52 |  0.003 % |
0.04/0.97	c |      9006 |     180    15300   107100 |     5100     4889     52 |  0.003 % |
0.04/1.00	c |      9241 |     180    15300   107100 |     5100     5124     52 |  0.003 % |
0.04/1.02	c |      9498 |     180    15300   107100 |     5100     4869     52 |  0.003 % |
0.04/1.03	c |      9599 |     180    15300   107100 |     5100     4970     52 |  0.003 % |
0.04/1.04	c |      9710 |     180    15300   107100 |     5100     5081     52 |  0.003 % |
0.04/1.06	c |      9831 |     180    15300   107100 |     5100     4684     52 |  0.003 % |
0.04/1.07	c |      9964 |     180    15300   107100 |     5100     4817     52 |  0.003 % |
0.04/1.09	c |     10110 |     180    15300   107100 | 2147483647     4963     52 |  0.003 % |
1.07/1.11	c |     10270 |     180    15300   107100 | 2147483647     5123     52 |  0.003 % |
1.07/1.13	c |     10448 |     180    15300   107100 | 2147483647     5301     52 |  0.003 % |
1.07/1.15	c |     10641 |     180    15300   107100 | 2147483647     5494     52 |  0.003 % |
1.07/1.18	c |     10853 |     180    15300   107100 | 2147483647     5706     52 |  0.003 % |
1.17/1.21	c |     11086 |     180    15300   107100 | 2147483647     5939     52 |  0.003 % |
1.17/1.24	c |     11345 |     180    15300   107100 | 2147483647     6198     52 |  0.003 % |
1.17/1.27	c |     11626 |     180    15300   107100 | 2147483647     6479     52 |  0.003 % |
1.17/1.28	c |     11726 |     180    15300   107100 | 2147483647     6579     52 |  0.003 % |
1.17/1.29	c |     11838 |     180    15300   107100 | 2147483647     6691     52 |  0.003 % |
1.26/1.31	c |     11961 |     180    15300   107100 | 2147483647     6814     52 |  0.003 % |
1.26/1.33	c |     12095 |     180    15300   107100 | 2147483647     6948     52 |  0.003 % |
1.26/1.35	c |     12241 |     180    15300   107100 | 2147483647     7094     52 |  0.003 % |
1.26/1.36	c |     12401 |     180    15300   107100 | 2147483647     7254     52 |  0.003 % |
1.26/1.39	c |     12579 |     180    15300   107100 | 2147483647     7432     52 |  0.003 % |
1.36/1.41	c |     12772 |     180    15300   107100 | 2147483647     7625     52 |  0.003 % |
1.36/1.44	c |     12984 |     180    15300   107100 | 2147483647     7837     52 |  0.003 % |
1.36/1.47	c |     13218 |     180    15300   107100 | 2147483647     8071     52 |  0.003 % |
1.46/1.50	c |     13476 |     180    15300   107100 | 2147483647     8329     52 |  0.003 % |
1.46/1.54	c |     13758 |     180    15300   107100 | 2147483647     8611     52 |  0.003 % |
1.46/1.58	c |     14067 |     180    15300   107100 | 2147483647     8920     52 |  0.003 % |
1.56/1.60	c |     14169 |     180    15300   107100 | 2147483647     9022     52 |  0.003 % |
1.56/1.62	c |     14279 |     180    15300   107100 | 2147483647     9132     52 |  0.003 % |
1.56/1.64	c |     14400 |     180    15300   107100 | 2147483647     9253     52 |  0.003 % |
1.56/1.66	c |     14533 |     180    15300   107100 | 2147483647     9386     52 |  0.003 % |
1.56/1.68	c |     14679 |     180    15300   107100 | 2147483647     9532     52 |  0.003 % |
1.66/1.70	c |     14840 |     180    15300   107100 | 2147483647     9693     52 |  0.003 % |
1.66/1.73	c |     15016 |     180    15300   107100 | 2147483647     9869     52 |  0.003 % |
1.66/1.76	c |     15211 |     180    15300   107100 | 2147483647    10064     52 |  0.003 % |
1.66/1.79	c |     15423 |     180    15300   107100 | 2147483647    10276     52 |  0.003 % |
1.76/1.83	c |     15656 |     180    15300   107100 | 2147483647    10509     52 |  0.003 % |
1.76/1.86	c |     15912 |     180    15300   107100 | 2147483647    10765     52 |  0.003 % |
1.86/1.91	c |     16193 |     180    15300   107100 | 2147483647    11046     52 |  0.003 % |
1.86/1.95	c |     16502 |     180    15300   107100 | 2147483647    11355     52 |  0.003 % |
1.96/2.01	c |     16841 |     180    15300   107100 | 2147483647    11694     52 |  0.003 % |
1.96/2.03	c |     16942 |     180    15300   107100 | 2147483647    11795     52 |  0.003 % |
1.96/2.05	c |     17053 |     180    15300   107100 | 2147483647    11906     52 |  0.003 % |
1.96/2.07	c |     17175 |     180    15300   107100 | 2147483647    12028     52 |  0.003 % |
1.96/2.10	c |     17308 |     180    15300   107100 | 2147483647    12161     52 |  0.003 % |
2.06/2.12	c |     17455 |     180    15300   107100 | 2147483647    12308     52 |  0.003 % |
2.06/2.15	c |     17615 |     180    15300   107100 | 2147483647    12468     52 |  0.003 % |
2.06/2.18	c |     17791 |     180    15300   107100 | 2147483647    12644     52 |  0.003 % |
2.16/2.22	c |     17984 |     180    15300   107100 | 2147483647    12837     52 |  0.003 % |
2.16/2.26	c |     18196 |     180    15300   107100 | 2147483647    13049     52 |  0.003 % |
2.16/2.30	c |     18429 |     180    15300   107100 | 2147483647    13282     52 |  0.003 % |
2.26/2.34	c |     18686 |     180    15300   107100 | 2147483647    13539     52 |  0.003 % |
2.26/2.39	c |     18967 |     180    15300   107100 | 2147483647    13820     52 |  0.003 % |
2.36/2.44	c |     19277 |     180    15300   107100 | 2147483647    14130     52 |  0.003 % |
2.46/2.50	c |     19617 |     180    15300   107100 | 2147483647    14470     52 |  0.003 % |
2.46/2.57	c |     19991 |     180    15300   107100 | 2147483647    14844     52 |  0.003 % |
2.56/2.60	c |     20092 |     180    15300   107100 | 2147483647    14945     52 |  0.003 % |
2.56/2.63	c |     20202 |     180    15300   107100 | 2147483647    15055     52 |  0.003 % |
2.56/2.65	c |     20324 |     180    15300   107100 | 2147483647    15177     52 |  0.003 % |
2.56/2.68	c |     20458 |     180    15300   107100 | 2147483647    15311     52 |  0.003 % |
2.66/2.71	c |     20605 |     180    15300   107100 | 2147483647    15458     52 |  0.003 % |
2.66/2.74	c |     20765 |     180    15300   107100 | 2147483647    15618     52 |  0.003 % |
2.66/2.77	c |     20942 |     180    15300   107100 | 2147483647    15795     52 |  0.003 % |
2.75/2.81	c |     21135 |     180    15300   107100 | 2147483647    15988     52 |  0.003 % |
2.75/2.86	c |     21348 |     180    15300   107100 | 2147483647    16201     52 |  0.003 % |
2.85/2.91	c |     21581 |     180    15300   107100 | 2147483647    16434     52 |  0.003 % |
2.85/2.97	c |     21838 |     180    15300   107100 | 2147483647    16691     52 |  0.003 % |
2.96/3.02	c |     22119 |     180    15300   107100 | 2147483647    16972     52 |  0.003 % |
2.96/3.08	c |     22429 |     180    15300   107100 | 2147483647    17282     52 |  0.003 % |
3.06/3.17	c |     22768 |     180    15300   107100 | 2147483647    17621     52 |  0.003 % |
3.16/3.25	c |     23141 |     180    15300   107100 | 2147483647    17994     52 |  0.003 % |
3.27/3.34	c |     23551 |     180    15300   107100 | 2147483647    18404     52 |  0.003 % |
3.27/3.37	c |     23652 |     180    15300   107100 | 2147483647    18505     52 |  0.003 % |
3.27/3.40	c |     23762 |     180    15300   107100 | 2147483647    18615     52 |  0.003 % |
3.37/3.42	c |     23883 |     180    15300   107100 | 2147483647    18736     52 |  0.003 % |
3.37/3.46	c |     24017 |     180    15300   107100 | 2147483647    18870     52 |  0.003 % |
3.46/3.50	c |     24164 |     180    15300   107100 | 2147483647    19017     52 |  0.003 % |
3.46/3.54	c |     24324 |     180    15300   107100 | 2147483647    19177     52 |  0.003 % |
3.46/3.58	c |     24502 |     180    15300   107100 | 2147483647    19355     52 |  0.003 % |
3.56/3.62	c |     24697 |     180    15300   107100 | 2147483647    19550     52 |  0.003 % |
3.56/3.68	c |     24909 |     180    15300   107100 | 2147483647    19762     52 |  0.003 % |
3.66/3.73	c |     25142 |     180    15300   107100 | 2147483647    19995     52 |  0.003 % |
3.66/3.79	c |     25398 |     180    15300   107100 | 2147483647    20251     52 |  0.003 % |
3.76/3.87	c |     25680 |     180    15300   107100 | 2147483647    20533     52 |  0.003 % |
3.86/3.95	c |     25989 |     180    15300   107100 | 2147483647    20842     52 |  0.003 % |
3.96/4.04	c |     26330 |     180    15300   107100 | 2147483647    21183     52 |  0.003 % |
4.06/4.14	c |     26702 |     180    15300   107100 | 2147483647    21555     52 |  0.003 % |
4.16/4.24	c |     27115 |     180    15300   107100 | 2147483647    21968     53 |  0.003 % |
4.26/4.36	c |     27564 |     180    15300   107100 | 2147483647    22417     53 |  0.003 % |
4.26/4.39	c |     27664 |     180    15300   107100 | 2147483647    22517     53 |  0.003 % |
4.36/4.43	c |     27775 |     180    15300   107100 | 2147483647    22628     53 |  0.003 % |
4.36/4.46	c |     27896 |     180    15300   107100 | 2147483647    22749     53 |  0.003 % |
4.36/4.50	c |     28029 |     180    15300   107100 | 2147483647    22882     53 |  0.003 % |
4.46/4.55	c |     28175 |     180    15300   107100 | 2147483647    23028     53 |  0.003 % |
4.46/4.59	c |     28335 |     180    15300   107100 | 2147483647    23188     52 |  0.003 % |
4.56/4.64	c |     28514 |     180    15300   107100 | 2147483647    23367     53 |  0.003 % |
4.66/4.70	c |     28707 |     180    15300   107100 | 2147483647    23560     53 |  0.003 % |
4.66/4.76	c |     28919 |     180    15300   107100 | 2147483647    23772     53 |  0.003 % |
4.76/4.83	c |     29153 |     180    15300   107100 | 2147483647    24006     53 |  0.003 % |
4.86/4.91	c |     29409 |     180    15300   107100 | 2147483647    24262     53 |  0.003 % |
4.86/4.98	c |     29693 |     180    15300   107100 | 2147483647    24546     53 |  0.003 % |
4.96/5.07	c |     30003 |     180    15300   107100 | 2147483647    24856     53 |  0.003 % |
5.06/5.19	c |     30343 |     180    15300   107100 | 2147483647    25196     53 |  0.003 % |
5.26/5.30	c |     30717 |     180    15300   107100 | 2147483647    25570     53 |  0.003 % |
5.36/5.42	c |     31126 |     180    15300   107100 | 2147483647    25979     52 |  0.003 % |
5.46/5.55	c |     31575 |     180    15300   107100 | 2147483647    26428     53 |  0.003 % |
5.66/5.72	c |     32072 |     180    15300   107100 | 2147483647    26925     52 |  0.003 % |
5.66/5.77	c |     32173 |     180    15300   107100 | 2147483647    27026     52 |  0.003 % |
5.76/5.80	c |     32283 |     180    15300   107100 | 2147483647    27136     52 |  0.003 % |
5.76/5.84	c |     32404 |     180    15300   107100 | 2147483647    27257     52 |  0.003 % |
5.76/5.89	c |     32538 |     180    15300   107100 | 2147483647    27391     52 |  0.003 % |
5.86/5.94	c |     32684 |     180    15300   107100 | 2147483647    27537     52 |  0.003 % |
5.96/6.00	c |     32845 |     180    15300   107100 | 2147483647    27698     52 |  0.003 % |
5.96/6.07	c |     33023 |     180    15300   107100 | 2147483647    27876     52 |  0.003 % |
6.06/6.14	c |     33216 |     180    15300   107100 | 2147483647    28069     52 |  0.003 % |
6.16/6.20	c |     33428 |     180    15300   107100 | 2147483647    28281     52 |  0.003 % |
6.16/6.28	c |     33661 |     180    15300   107100 | 2147483647    28514     52 |  0.003 % |
6.26/6.36	c |     33917 |     180    15300   107100 | 2147483647    28770     52 |  0.003 % |
6.36/6.45	c |     34198 |     180    15300   107100 | 2147483647    29051     52 |  0.003 % |
6.46/6.55	c |     34508 |     180    15300   107100 | 2147483647    29361     52 |  0.003 % |
6.56/6.69	c |     34848 |     180    15300   107100 | 2147483647    29701     52 |  0.003 % |
6.75/6.83	c |     35221 |     180    15300   107100 | 2147483647    30074     52 |  0.003 % |
6.85/6.98	c |     35631 |     180    15300   107100 | 2147483647    30484     52 |  0.003 % |
7.05/7.14	c |     36081 |     180    15300   107100 | 2147483647    30934     52 |  0.003 % |
7.26/7.35	c |     36574 |     180    15300   107100 | 2147483647    31427     52 |  0.003 % |
7.46/7.55	c |     37117 |     180    15300   107100 | 2147483647    31970     52 |  0.003 % |
7.46/7.58	c |     37217 |     180    15300   107100 | 2147483647    32070     52 |  0.003 % |
7.56/7.63	c |     37328 |     180    15300   107100 | 2147483647    32181     52 |  0.003 % |
7.56/7.67	c |     37449 |     180    15300   107100 | 2147483647    32302     52 |  0.003 % |
7.67/7.72	c |     37582 |     180    15300   107100 | 2147483647    32435     52 |  0.003 % |
7.67/7.80	c |     37728 |     180    15300   107100 | 2147483647    32581     52 |  0.003 % |
7.76/7.86	c |     37890 |     180    15300   107100 | 2147483647    32743     52 |  0.003 % |
7.86/7.94	c |     38067 |     180    15300   107100 | 2147483647    32920     52 |  0.003 % |
7.96/8.03	c |     38260 |     180    15300   107100 | 2147483647    33113     52 |  0.003 % |
8.06/8.12	c |     38476 |     180    15300   107100 | 2147483647    33329     52 |  0.003 % |
8.16/8.21	c |     38709 |     180    15300   107100 | 2147483647    33562     52 |  0.003 % |
8.26/8.32	c |     38965 |     180    15300   107100 | 2147483647    33818     52 |  0.003 % |
8.36/8.44	c |     39248 |     180    15300   107100 | 2147483647    34101     52 |  0.003 % |
8.46/8.56	c |     39557 |     180    15300   107100 | 2147483647    34410     52 |  0.003 % |
8.66/8.71	c |     39897 |     180    15300   107100 | 2147483647    34750     52 |  0.003 % |
8.76/8.87	c |     40271 |     180    15300   107100 | 2147483647    35124     52 |  0.003 % |
8.96/9.03	c |     40682 |     180    15300   107100 | 2147483647    35535     52 |  0.003 % |
9.16/9.20	c |     41131 |     180    15300   107100 | 2147483647    35984     52 |  0.003 % |
9.36/9.40	c |     41624 |     180    15300   107100 | 2147483647    36477     52 |  0.003 % |
9.56/9.62	c |     42166 |     180    15300   107100 | 2147483647    37019     52 |  0.003 % |
9.76/9.89	c |     42764 |     180    15300   107100 | 2147483647    37617     53 |  0.003 % |
9.86/9.93	c |     42865 |     180    15300   107100 | 2147483647    37718     53 |  0.003 % |
9.86/9.98	c |     42976 |     180    15300   107100 | 2147483647    37829     53 |  0.003 % |
9.96/10.03	c |     43097 |     180    15300   107100 | 2147483647    37950     53 |  0.003 % |
10.06/10.12	c |     43230 |     180    15300   107100 | 2147483647    38083     52 |  0.003 % |
10.06/10.20	c |     43377 |     180    15300   107100 | 2147483647    38230     52 |  0.003 % |
10.16/10.27	c |     43537 |     180    15300   107100 | 2147483647    38390     52 |  0.003 % |
10.25/10.37	c |     43713 |     180    15300   107100 | 2147483647    38566     52 |  0.003 % |
10.35/10.48	c |     43906 |     180    15300   107100 | 2147483647    38759     52 |  0.003 % |
10.45/10.58	c |     44118 |     180    15300   107100 | 2147483647    38971     52 |  0.003 % |
10.65/10.70	c |     44351 |     180    15300   107100 | 2147483647    39204     52 |  0.003 % |
10.75/10.82	c |     44607 |     180    15300   107100 | 2147483647    39460     52 |  0.003 % |
10.85/10.95	c |     44888 |     180    15300   107100 | 2147483647    39741     52 |  0.003 % |
10.96/11.10	c |     45198 |     180    15300   107100 | 2147483647    40051     52 |  0.003 % |
11.15/11.25	c |     45538 |     180    15300   107100 | 2147483647    40391     52 |  0.003 % |
11.35/11.46	c |     45915 |     180    15300   107100 | 2147483647    40768     52 |  0.003 % |
11.55/11.66	c |     46326 |     180    15300   107100 | 2147483647    41179     52 |  0.003 % |
11.75/11.88	c |     46775 |     180    15300   107100 | 2147483647    41628     52 |  0.003 % |
12.06/12.10	c |     47270 |     180    15300   107100 | 2147483647    42123     52 |  0.003 % |
12.26/12.34	c |     47814 |     180    15300   107100 | 2147483647    42667     52 |  0.003 % |
12.56/12.63	c |     48411 |     180    15300   107100 | 2147483647    43264     52 |  0.003 % |
12.86/12.93	c |     49066 |     180    15300   107100 | 2147483647    43919     53 |  0.003 % |
12.96/13.01	c |     49166 |     180    15300   107100 | 2147483647    44019     53 |  0.003 % |
12.96/13.08	c |     49280 |     180    15300   107100 | 2147483647    44133     53 |  0.003 % |
13.06/13.15	c |     49402 |     180    15300   107100 | 2147483647    44255     53 |  0.003 % |
13.16/13.22	c |     49535 |     180    15300   107100 | 2147483647    44388     53 |  0.003 % |
13.26/13.31	c |     49681 |     180    15300   107100 | 2147483647    44534     52 |  0.003 % |
13.36/13.40	c |     49841 |     180    15300   107100 | 2147483647    44694     52 |  0.003 % |
13.46/13.51	c |     50019 |     180    15300   107100 | 2147483647    44872     53 |  0.003 % |
13.56/13.62	c |     50212 |     180    15300   107100 | 2147483647    45065     52 |  0.003 % |
13.66/13.73	c |     50424 |     180    15300   107100 | 2147483647    45277     52 |  0.003 % |
13.76/13.86	c |     50658 |     180    15300   107100 | 2147483647    45511     53 |  0.003 % |
13.86/13.99	c |     50916 |     180    15300   107100 | 2147483647    45769     53 |  0.003 % |
14.06/14.15	c |     51197 |     180    15300   107100 | 2147483647    46050     53 |  0.003 % |
14.26/14.32	c |     51507 |     180    15300   107100 | 2147483647    46360     53 |  0.003 % |
14.45/14.51	c |     51848 |     180    15300   107100 | 2147483647    46701     53 |  0.003 % |
14.65/14.72	c |     52220 |     180    15300   107100 | 2147483647    47073     53 |  0.003 % |
14.85/14.94	c |     52630 |     180    15300   107100 | 2147483647    47483     53 |  0.003 % |
15.05/15.17	c |     53080 |     180    15300   107100 | 2147483647    47933     53 |  0.003 % |
15.36/15.48	c |     53574 |     180    15300   107100 | 2147483647    48427     53 |  0.003 % |
15.75/15.81	c |     54119 |     180    15300   107100 | 2147483647    48972     53 |  0.003 % |
16.05/16.13	c |     54715 |     180    15300   107100 | 2147483647    49568     53 |  0.003 % |
16.35/16.46	c |     55371 |     180    15300   107100 | 2147483647    50224     53 |  0.003 % |
16.75/16.86	c |     56091 |     180    15300   107100 | 2147483647    50944     53 |  0.003 % |
16.85/16.94	c |     56195 |     180    15300   107100 | 2147483647    51048     53 |  0.003 % |
16.95/17.02	c |     56305 |     180    15300   107100 | 2147483647    51158     53 |  0.003 % |
17.05/17.11	c |     56427 |     180    15300   107100 | 2147483647    51280     53 |  0.003 % |
17.05/17.19	c |     56561 |     180    15300   107100 | 2147483647    51414     53 |  0.003 % |
17.25/17.32	c |     56708 |     180    15300   107100 | 2147483647    51561     53 |  0.003 % |
17.35/17.41	c |     56869 |     180    15300   107100 | 2147483647    51722     53 |  0.003 % |
17.45/17.53	c |     57046 |     180    15300   107100 | 2147483647    51899     53 |  0.003 % |
17.56/17.68	c |     57243 |     180    15300   107100 | 2147483647    52096     53 |  0.003 % |
17.75/17.82	c |     57455 |     180    15300   107100 | 2147483647    52308     53 |  0.003 % |
17.85/17.96	c |     57688 |     180    15300   107100 | 2147483647    52541     53 |  0.003 % |
18.05/18.11	c |     57944 |     180    15300   107100 | 2147483647    52797     53 |  0.003 % |
18.15/18.27	c |     58225 |     180    15300   107100 | 2147483647    53078     53 |  0.003 % |
18.35/18.43	c |     58535 |     180    15300   107100 | 2147483647    53388     53 |  0.003 % |
18.55/18.67	c |     58875 |     180    15300   107100 | 2147483647    53728     53 |  0.003 % |
18.85/18.92	c |     59247 |     180    15300   107100 | 2147483647    54100     53 |  0.003 % |
19.05/19.17	c |     59658 |     180    15300   107100 | 2147483647    54511     53 |  0.003 % |
19.35/19.45	c |     60107 |     180    15300   107100 | 2147483647    54960     53 |  0.003 % |
19.65/19.74	c |     60600 |     180    15300   107100 | 2147483647    55453     53 |  0.003 % |
19.95/20.08	c |     61142 |     180    15300   107100 | 2147483647    55995     53 |  0.003 % |
20.36/20.42	c |     61740 |     180    15300   107100 | 2147483647    56593     53 |  0.003 % |
20.66/20.79	c |     62397 |     180    15300   107100 | 2147483647    57250     53 |  0.003 % |
21.16/21.25	c |     63119 |     180    15300   107100 | 2147483647    57972     53 |  0.003 % |
21.65/21.75	c |     63912 |     180    15300   107100 | 2147483647    58765     53 |  0.003 % |
21.75/21.82	c |     64013 |     180    15300   107100 | 2147483647    58866     53 |  0.003 % |
21.85/21.92	c |     64124 |     180    15300   107100 | 2147483647    58977     53 |  0.003 % |
21.95/22.01	c |     64245 |     180    15300   107100 | 2147483647    59098     53 |  0.003 % |
22.05/22.11	c |     64378 |     180    15300   107100 | 2147483647    59231     53 |  0.003 % |
22.15/22.22	c |     64527 |     180    15300   107100 | 2147483647    59380     53 |  0.003 % |
22.25/22.37	c |     64688 |     180    15300   107100 | 2147483647    59541     53 |  0.003 % |
22.35/22.48	c |     64864 |     180    15300   107100 | 2147483647    59717     53 |  0.003 % |
22.55/22.61	c |     65057 |     180    15300   107100 | 2147483647    59910     53 |  0.003 % |
22.65/22.78	c |     65271 |     180    15300   107100 | 2147483647    60124     53 |  0.003 % |
22.85/22.96	c |     65507 |     180    15300   107100 | 2147483647    60360     53 |  0.003 % |
23.05/23.17	c |     65764 |     180    15300   107100 | 2147483647    60617     53 |  0.003 % |
23.25/23.39	c |     66046 |     180    15300   107100 | 2147483647    60899     53 |  0.003 % |
23.55/23.63	c |     66355 |     180    15300   107100 | 2147483647    61208     53 |  0.003 % |
23.85/23.92	c |     66696 |     180    15300   107100 | 2147483647    61549     53 |  0.003 % |
24.05/24.20	c |     67069 |     180    15300   107100 | 2147483647    61922     53 |  0.003 % |
24.45/24.51	c |     67479 |     180    15300   107100 | 2147483647    62332     53 |  0.003 % |
24.75/24.83	c |     67929 |     180    15300   107100 | 2147483647    62782     53 |  0.003 % |
25.14/25.23	c |     68424 |     180    15300   107100 | 2147483647    63277     53 |  0.003 % |
25.54/25.63	c |     68967 |     180    15300   107100 | 2147483647    63820     53 |  0.003 % |
25.94/26.04	c |     69564 |     180    15300   107100 | 2147483647    64417     53 |  0.003 % |
26.45/26.57	c |     70220 |     180    15300   107100 | 2147483647    65073     53 |  0.003 % |
27.04/27.12	c |     70940 |     180    15300   107100 | 2147483647    65793     53 |  0.003 % |
27.64/27.74	c |     71732 |     180    15300   107100 | 2147483647    66585     53 |  0.003 % |
28.25/28.38	c |     72604 |     180    15300   107100 | 2147483647    67457     53 |  0.003 % |
28.35/28.45	c |     72704 |     180    15300   107100 | 2147483647    67557     53 |  0.003 % |
28.45/28.53	c |     72814 |     180    15300   107100 | 2147483647    67667     53 |  0.003 % |
28.55/28.63	c |     72936 |     180    15300   107100 | 2147483647    67789     53 |  0.003 % |
28.65/28.76	c |     73070 |     180    15300   107100 | 2147483647    67923     53 |  0.003 % |
28.85/28.91	c |     73217 |     180    15300   107100 | 2147483647    68070     53 |  0.003 % |
28.95/29.06	c |     73377 |     180    15300   107100 | 2147483647    68230     53 |  0.003 % |
29.05/29.19	c |     73553 |     180    15300   107100 | 2147483647    68406     53 |  0.003 % |
29.25/29.37	c |     73746 |     180    15300   107100 | 2147483647    68599     53 |  0.003 % |
29.45/29.59	c |     73959 |     180    15300   107100 | 2147483647    68812     53 |  0.003 % |
29.65/29.79	c |     74192 |     180    15300   107100 | 2147483647    69045     53 |  0.003 % |
29.95/30.01	c |     74450 |     180    15300   107100 | 2147483647    69303     53 |  0.003 % |
30.15/30.23	c |     74732 |     180    15300   107100 | 2147483647    69585     53 |  0.003 % |
30.35/30.48	c |     75041 |     180    15300   107100 | 2147483647    69894     53 |  0.003 % |
30.75/30.82	c |     75380 |     180    15300   107100 | 2147483647    70233     53 |  0.003 % |
31.05/31.16	c |     75755 |     180    15300   107100 | 2147483647    70608     53 |  0.003 % |
31.44/31.50	c |     76164 |     180    15300   107100 | 2147483647    71017     53 |  0.003 % |
31.74/31.89	c |     76613 |     180    15300   107100 | 2147483647    71466     53 |  0.003 % |
32.14/32.29	c |     77106 |     180    15300   107100 | 2147483647    71959     53 |  0.003 % |
32.64/32.70	c |     77648 |     180    15300   107100 | 2147483647    72501     53 |  0.003 % |
33.05/33.15	c |     78244 |     180    15300   107100 | 2147483647    73097     53 |  0.003 % |
33.54/33.65	c |     78900 |     180    15300   107100 | 2147483647    73753     53 |  0.003 % |
34.15/34.21	c |     79621 |     180    15300   107100 | 2147483647    74474     53 |  0.003 % |
34.74/34.85	c |     80415 |     180    15300   107100 |    74853    64966     53 |  0.003 % |
35.34/35.40	c |     81288 |     180    15300   107100 |    74853    65839     53 |  0.003 % |
35.94/36.04	c |     82248 |     180    15300   107100 |    74853    66799     53 |  0.003 % |
36.04/36.11	c |     82349 |     180    15300   107100 |    74853    66900     53 |  0.003 % |
36.14/36.22	c |     82460 |     180    15300   107100 |    74853    67011     53 |  0.003 % |
36.25/36.32	c |     82582 |     180    15300   107100 |    74853    67133     53 |  0.003 % |
36.35/36.46	c |     82717 |     180    15300   107100 |    74853    67268     53 |  0.003 % |
36.44/36.58	c |     82863 |     180    15300   107100 |    74853    67414     53 |  0.003 % |
36.64/36.71	c |     83024 |     180    15300   107100 |    74853    67575     53 |  0.003 % |
36.74/36.87	c |     83201 |     180    15300   107100 |    74853    67752     53 |  0.003 % |
36.94/37.05	c |     83394 |     180    15300   107100 |    74853    67945     53 |  0.003 % |
37.14/37.22	c |     83606 |     180    15300   107100 |    74853    68157     53 |  0.003 % |
37.34/37.41	c |     83839 |     180    15300   107100 |    74853    68390     53 |  0.003 % |
37.54/37.60	c |     84095 |     180    15300   107100 |    74853    68646     53 |  0.003 % |
37.74/37.88	c |     84378 |     180    15300   107100 |    74853    68929     53 |  0.003 % |
38.04/38.17	c |     84687 |     180    15300   107100 |    74853    69238     53 |  0.003 % |
38.34/38.45	c |     85026 |     180    15300   107100 |    74853    69577     53 |  0.003 % |
38.64/38.79	c |     85399 |     180    15300   107100 |    74853    69950     53 |  0.003 % |
39.04/39.12	c |     85809 |     180    15300   107100 |    74853    70360     53 |  0.003 % |
39.34/39.47	c |     86263 |     180    15300   107100 |    74853    70814     53 |  0.003 % |
39.74/39.89	c |     86758 |     180    15300   107100 |    74853    71309     53 |  0.003 % |
40.24/40.32	c |     87300 |     180    15300   107100 |    74853    71851     53 |  0.003 % |
40.64/40.78	c |     87896 |     180    15300   107100 |    74853    72447     53 |  0.003 % |
41.23/41.30	c |     88552 |     180    15300   107100 |    74853    73103     53 |  0.003 % |
41.84/41.95	c |     89273 |     180    15300   107100 |    74853    73824     53 |  0.003 % |
42.53/42.60	c |     90065 |     180    15300   107100 |    74552    74616     53 |  0.003 % |
43.23/43.31	c |     90938 |     180    15300   107100 |    74552    64405     53 |  0.003 % |
43.94/44.04	c |     91896 |     180    15300   107100 |    74552    65363     53 |  0.003 % |
44.64/44.74	c |     92951 |     180    15300   107100 |    74552    66418     53 |  0.003 % |
44.74/44.82	c |     93052 |     180    15300   107100 |    74552    66519     53 |  0.003 % |
44.83/44.93	c |     93163 |     180    15300   107100 |    74552    66630     53 |  0.003 % |
44.93/45.04	c |     93284 |     180    15300   107100 |    74552    66751     53 |  0.003 % |
45.04/45.16	c |     93417 |     180    15300   107100 |    74552    66884     53 |  0.003 % |
45.14/45.28	c |     93565 |     180    15300   107100 |    74552    67032     53 |  0.003 % |
45.33/45.44	c |     93726 |     180    15300   107100 |    74552    67193     53 |  0.003 % |
45.43/45.59	c |     93903 |     180    15300   107100 |    74552    67370     53 |  0.003 % |
45.63/45.74	c |     94096 |     180    15300   107100 |    74552    67563     53 |  0.003 % |
45.83/45.95	c |     94310 |     180    15300   107100 |    74552    67777     53 |  0.003 % |
46.03/46.15	c |     94544 |     180    15300   107100 |    74552    68011     53 |  0.003 % |
46.33/46.41	c |     94803 |     180    15300   107100 |    74552    68270     53 |  0.003 % |
46.53/46.68	c |     95086 |     180    15300   107100 |    74552    68553     53 |  0.003 % |
46.83/46.92	c |     95395 |     180    15300   107100 |    74552    68862     53 |  0.003 % |
47.13/47.22	c |     95735 |     180    15300   107100 |    74552    69202     53 |  0.003 % |
47.43/47.51	c |     96109 |     180    15300   107100 |    74552    69576     53 |  0.003 % |
47.73/47.81	c |     96520 |     180    15300   107100 |    74552    69987     53 |  0.003 % |
48.13/48.20	c |     96969 |     180    15300   107100 |    74552    70436     53 |  0.003 % |
48.43/48.59	c |     97463 |     180    15300   107100 |    74552    70930     53 |  0.003 % |
48.93/49.03	c |     98005 |     180    15300   107100 |    74552    71472     53 |  0.003 % |
49.43/49.55	c |     98602 |     180    15300   107100 |    74552    72069     53 |  0.003 % |
50.03/50.11	c |     99258 |     180    15300   107100 |    74552    72725     53 |  0.003 % |
50.53/50.70	c |     99978 |     180    15300   107100 |    74552    73445     53 |  0.003 % |
51.13/51.28	c |    100772 |     180    15300   107100 |    73468    63198     53 |  0.003 % |
51.83/51.90	c |    101643 |     180    15300   107100 |    73468    64069     53 |  0.003 % |
52.43/52.55	c |    102602 |     180    15300   107100 |    73468    65028     53 |  0.003 % |
53.23/53.31	c |    103655 |     180    15300   107100 |    73468    66081     53 |  0.003 % |
54.13/54.24	c |    104814 |     180    15300   107100 |    73468    67240     53 |  0.003 % |
54.23/54.31	c |    104915 |     180    15300   107100 |    73468    67341     53 |  0.003 % |
54.33/54.42	c |    105026 |     180    15300   107100 |    73468    67452     53 |  0.003 % |
54.43/54.56	c |    105147 |     180    15300   107100 |    73468    67573     53 |  0.003 % |
54.53/54.68	c |    105280 |     180    15300   107100 |    73468    67706     53 |  0.003 % |
54.73/54.82	c |    105426 |     180    15300   107100 |    73468    67852     53 |  0.003 % |
54.83/54.95	c |    105586 |     180    15300   107100 |    73468    68012     53 |  0.003 % |
55.03/55.13	c |    105762 |     180    15300   107100 |    73468    68188     53 |  0.003 % |
55.23/55.30	c |    105956 |     180    15300   107100 |    73468    68382     53 |  0.003 % |
55.43/55.50	c |    106170 |     180    15300   107100 |    73468    68596     53 |  0.003 % |
55.53/55.69	c |    106403 |     180    15300   107100 |    73468    68829     53 |  0.003 % |
55.82/55.90	c |    106659 |     180    15300   107100 |    73468    69085     53 |  0.003 % |
56.03/56.14	c |    106942 |     180    15300   107100 |    73468    69368     53 |  0.003 % |
56.32/56.40	c |    107253 |     180    15300   107100 |    73468    69679     53 |  0.003 % |
56.52/56.66	c |    107592 |     180    15300   107100 |    73468    70018     53 |  0.003 % |
56.82/56.97	c |    107964 |     180    15300   107100 |    73468    70390     53 |  0.003 % |
57.13/57.29	c |    108374 |     180    15300   107100 |    73468    70800     53 |  0.003 % |
57.52/57.68	c |    108826 |     180    15300   107100 |    73468    71252     53 |  0.003 % |
57.92/58.06	c |    109322 |     180    15300   107100 |    73468    71748     53 |  0.003 % |
58.33/58.47	c |    109866 |     180    15300   107100 |    73468    72292     53 |  0.003 % |
58.82/58.96	c |    110462 |     180    15300   107100 |    72427    62399     53 |  0.003 % |
59.22/59.38	c |    111117 |     180    15300   107100 |    72427    63054     53 |  0.003 % |
59.72/59.85	c |    111837 |     180    15300   107100 |    72427    63774     53 |  0.003 % |
60.32/60.40	c |    112632 |     180    15300   107100 |    72427    64569     53 |  0.003 % |
60.92/61.02	c |    113504 |     180    15300   107100 |    72427    65441     53 |  0.003 % |
61.72/61.89	c |    114462 |     180    15300   107100 |    72427    66399     53 |  0.003 % |
62.62/62.78	c |    115515 |     180    15300   107100 |    72427    67452     53 |  0.003 % |
63.62/63.74	c |    116673 |     180    15300   107100 |    72427    68610     53 |  0.003 % |
64.52/64.64	c |    117947 |     180    15300   107100 |    72427    69884     53 |  0.003 % |
64.62/64.73	c |    118047 |     180    15300   107100 |    72427    69984     53 |  0.003 % |
64.72/64.84	c |    118157 |     180    15300   107100 |    72427    70094     53 |  0.003 % |
64.82/64.95	c |    118280 |     180    15300   107100 |    72427    70217     53 |  0.003 % |
64.92/65.06	c |    118413 |     180    15300   107100 |    72427    70350     53 |  0.003 % |
65.02/65.18	c |    118559 |     180    15300   107100 |    72427    70496     53 |  0.003 % |
65.22/65.34	c |    118720 |     180    15300   107100 |    72427    70657     53 |  0.003 % |
65.32/65.49	c |    118898 |     180    15300   107100 |    72427    70835     53 |  0.003 % |
65.52/65.66	c |    119092 |     180    15300   107100 |    72427    71029     53 |  0.003 % |
65.72/65.87	c |    119304 |     180    15300   107100 |    72427    71241     53 |  0.003 % |
65.92/66.10	c |    119537 |     180    15300   107100 |    72427    71474     53 |  0.003 % |
66.22/66.35	c |    119793 |     180    15300   107100 |    72427    71730     53 |  0.003 % |
66.52/66.62	c |    120076 |     180    15300   107100 |    71937    72013     53 |  0.003 % |
66.82/66.95	c |    120385 |     180    15300   107100 |    71937    61929     53 |  0.003 % |
67.12/67.20	c |    120726 |     180    15300   107100 |    71937    62270     53 |  0.003 % |
67.42/67.53	c |    121098 |     180    15300   107100 |    71937    62642     53 |  0.003 % |
67.82/67.90	c |    121508 |     180    15300   107100 |    71937    63052     53 |  0.003 % |
68.12/68.26	c |    121957 |     180    15300   107100 |    71937    63501     53 |  0.003 % |
68.52/68.64	c |    122453 |     180    15300   107100 |    71937    63997     53 |  0.003 % |
68.92/69.06	c |    122996 |     180    15300   107100 |    71937    64540     53 |  0.003 % |
69.32/69.47	c |    123592 |     180    15300   107100 |    71937    65136     53 |  0.003 % |
69.92/70.00	c |    124247 |     180    15300   107100 |    71937    65791     53 |  0.003 % |
70.42/70.55	c |    124968 |     180    15300   107100 |    71937    66512     53 |  0.003 % |
71.01/71.19	c |    125764 |     180    15300   107100 |    71937    67308     53 |  0.003 % |
71.71/71.86	c |    126636 |     180    15300   107100 |    71937    68180     53 |  0.003 % |
72.41/72.59	c |    127595 |     180    15300   107100 |    71937    69139     53 |  0.003 % |
73.31/73.45	c |    128650 |     180    15300   107100 |    71937    70194     53 |  0.003 % |
74.31/74.42	c |    129810 |     180    15300   107100 |    71937    71354     53 |  0.003 % |
75.21/75.32	c |    131083 |     180    15300   107100 |    71544    62598     53 |  0.003 % |
76.31/76.45	c |    132485 |     180    15300   107100 |    71544    64000     53 |  0.003 % |
76.41/76.54	c |    132585 |     180    15300   107100 |    71544    64100     53 |  0.003 % |
76.51/76.65	c |    132695 |     180    15300   107100 |    71544    64210     53 |  0.003 % |
76.61/76.75	c |    132817 |     180    15300   107100 |    71544    64332     53 |  0.003 % |
76.71/76.86	c |    132950 |     180    15300   107100 |    71544    64465     53 |  0.003 % |
76.81/76.99	c |    133097 |     180    15300   107100 |    71544    64612     53 |  0.003 % |
77.01/77.14	c |    133259 |     180    15300   107100 |    71544    64774     53 |  0.003 % |
77.11/77.27	c |    133436 |     180    15300   107100 |    71544    64951     53 |  0.003 % |
77.31/77.42	c |    133630 |     180    15300   107100 |    71544    65145     53 |  0.003 % |
77.41/77.57	c |    133842 |     180    15300   107100 |    71544    65357     53 |  0.003 % |
77.61/77.74	c |    134076 |     180    15300   107100 |    71544    65591     53 |  0.003 % |
77.81/77.97	c |    134332 |     180    15300   107100 |    71544    65847     53 |  0.003 % |
78.11/78.21	c |    134616 |     180    15300   107100 |    71544    66131     53 |  0.003 % |
78.31/78.45	c |    134925 |     180    15300   107100 |    71544    66440     53 |  0.003 % |
78.61/78.71	c |    135265 |     180    15300   107100 |    71544    66780     53 |  0.003 % |
78.81/79.00	c |    135638 |     180    15300   107100 |    71544    67153     53 |  0.003 % |
79.11/79.29	c |    136049 |     180    15300   107100 |    71544    67564     53 |  0.003 % |
79.51/79.69	c |    136498 |     180    15300   107100 |    71544    68013     53 |  0.003 % |
79.91/80.08	c |    136993 |     180    15300   107100 |    71544    68508     53 |  0.003 % |
80.31/80.46	c |    137536 |     180    15300   107100 |    71544    69051     53 |  0.003 % |
80.81/80.96	c |    138132 |     180    15300   107100 |    71544    69647     53 |  0.003 % |
81.31/81.47	c |    138787 |     180    15300   107100 |    71544    70302     53 |  0.003 % |
81.90/82.04	c |    139508 |     180    15300   107100 |    71544    71023     53 |  0.003 % |
82.69/82.81	c |    140300 |     180    15300   107100 |    71515    61958     53 |  0.003 % |
83.29/83.42	c |    141172 |     180    15300   107100 |    71515    62830     53 |  0.003 % |
83.98/84.14	c |    142130 |     180    15300   107100 |    71515    63788     53 |  0.003 % |
84.69/84.86	c |    143183 |     180    15300   107100 |    71515    64841     53 |  0.003 % |
85.49/85.70	c |    144341 |     180    15300   107100 |    71515    65999     53 |  0.003 % |
86.38/86.52	c |    145614 |     180    15300   107100 |    71515    67272     53 |  0.003 % |
87.28/87.47	c |    147016 |     180    15300   107100 |    71515    68674     53 |  0.003 % |
88.57/88.76	c |    148557 |     180    15300   107100 |    71515    70215     53 |  0.003 % |
88.67/88.87	c |    148659 |     180    15300   107100 |    71515    70317     53 |  0.003 % |
88.77/88.99	c |    148769 |     180    15300   107100 |    71515    70427     53 |  0.003 % |
88.87/89.09	c |    148891 |     180    15300   107100 |    71515    70549     53 |  0.003 % |
89.07/89.20	c |    149025 |     180    15300   107100 |    71515    70683     53 |  0.003 % |
89.16/89.38	c |    149172 |     180    15300   107100 |    71515    70830     53 |  0.003 % |
89.36/89.53	c |    149336 |     180    15300   107100 |    71515    70994     53 |  0.003 % |
89.46/89.69	c |    149513 |     180    15300   107100 |    71515    71171     53 |  0.003 % |
89.76/89.90	c |    149706 |     180    15300   107100 |    71515    71364     53 |  0.003 % |
89.86/90.10	c |    149920 |     180    15300   107100 |    71515    71578     53 |  0.003 % |
90.16/90.38	c |    150155 |     180    15300   107100 |    62494    54632     53 |  0.003 % |
90.35/90.54	c |    150411 |     180    15300   107100 |    62494    54888     53 |  0.003 % |
90.55/90.74	c |    150692 |     180    15300   107100 |    62494    55169     53 |  0.003 % |
90.75/90.94	c |    151002 |     180    15300   107100 |    62494    55479     53 |  0.003 % |
91.05/91.20	c |    151341 |     180    15300   107100 |    62494    55818     53 |  0.003 % |
91.26/91.46	c |    151715 |     180    15300   107100 |    62494    56192     53 |  0.003 % |
91.55/91.78	c |    152125 |     180    15300   107100 |    62494    56602     53 |  0.003 % |
91.85/92.04	c |    152574 |     180    15300   107100 |    62494    57051     53 |  0.003 % |
92.26/92.44	c |    153068 |     180    15300   107100 |    62494    57545     53 |  0.003 % |
92.65/92.84	c |    153610 |     180    15300   107100 |    62494    58087     53 |  0.003 % |
93.05/93.25	c |    154207 |     180    15300   107100 |    62494    58684     53 |  0.003 % |
93.55/93.70	c |    154862 |     180    15300   107100 |    62494    59339     53 |  0.003 % |
93.95/94.17	c |    155582 |     180    15300   107100 |    62494    60059     53 |  0.003 % |
94.56/94.76	c |    156376 |     180    15300   107100 |    62494    60853     53 |  0.003 % |
95.25/95.43	c |    157247 |     180    15300   107100 |    62494    61724     53 |  0.003 % |
95.95/96.19	c |    158205 |     180    15300   107100 |    62494    56294     53 |  0.003 % |
96.66/96.83	c |    159258 |     180    15300   107100 |    62494    57347     53 |  0.003 % |
97.35/97.58	c |    160417 |     180    15300   107100 | 2147483647    58506     53 |  0.003 % |
98.15/98.33	c |    161692 |     180    15300   107100 | 2147483647    59781     53 |  0.003 % |
99.05/99.26	c |    163092 |     180    15300   107100 | 2147483647    61181     53 |  0.003 % |
100.25/100.46	c |    164632 |     180    15300   107100 | 2147483647    62721     53 |  0.003 % |
101.45/101.68	c |    166326 |     180    15300   107100 | 2147483647    64415     53 |  0.003 % |
101.55/101.75	c |    166427 |     180    15300   107100 | 2147483647    64516     53 |  0.003 % |
101.65/101.84	c |    166537 |     180    15300   107100 | 2147483647    64626     53 |  0.003 % |
101.75/101.95	c |    166658 |     180    15300   107100 | 2147483647    64747     53 |  0.003 % |
101.85/102.07	c |    166792 |     180    15300   107100 | 2147483647    64881     53 |  0.003 % |
101.95/102.19	c |    166940 |     180    15300   107100 | 2147483647    65029     53 |  0.003 % |
102.15/102.32	c |    167104 |     180    15300   107100 | 2147483647    65193     53 |  0.003 % |
102.25/102.45	c |    167281 |     180    15300   107100 | 2147483647    65370     53 |  0.003 % |
102.35/102.59	c |    167474 |     180    15300   107100 | 2147483647    65563     53 |  0.003 % |
102.55/102.74	c |    167688 |     180    15300   107100 | 2147483647    65777     53 |  0.003 % |
102.75/102.91	c |    167923 |     180    15300   107100 | 2147483647    66012     53 |  0.003 % |
102.95/103.11	c |    168179 |     180    15300   107100 | 2147483647    66268     53 |  0.003 % |
103.15/103.34	c |    168461 |     180    15300   107100 | 2147483647    66550     53 |  0.003 % |
103.35/103.57	c |    168770 |     180    15300   107100 | 2147483647    66859     53 |  0.003 % |
103.65/103.87	c |    169110 |     180    15300   107100 | 2147483647    67199     53 |  0.003 % |
103.95/104.14	c |    169486 |     180    15300   107100 | 2147483647    67575     53 |  0.003 % |
104.25/104.46	c |    169896 |     180    15300   107100 | 2147483647    67985     53 |  0.003 % |
104.65/104.85	c |    170345 |     180    15300   107100 |    68089    60929     53 |  0.003 % |
104.95/105.18	c |    170838 |     180    15300   107100 |    68089    61422     53 |  0.003 % |
105.35/105.55	c |    171382 |     180    15300   107100 |    68089    61966     53 |  0.003 % |
105.75/105.97	c |    171978 |     180    15300   107100 |    68089    62562     53 |  0.003 % |
106.15/106.37	c |    172633 |     180    15300   107100 |    68089    63217     53 |  0.003 % |
106.75/106.90	c |    173354 |     180    15300   107100 |    68089    63938     53 |  0.003 % |
107.25/107.47	c |    174150 |     180    15300   107100 |    68089    64734     53 |  0.003 % |
107.85/108.05	c |    175022 |     180    15300   107100 |    68089    65606     53 |  0.003 % |
108.75/108.91	c |    175982 |     180    15300   107100 |    68089    66566     53 |  0.003 % |
109.55/109.73	c |    177036 |     180    15300   107100 |    68089    67620     53 |  0.003 % |
110.45/110.67	c |    178195 |     180    15300   107100 |    68089    60859     53 |  0.003 % |
111.35/111.56	c |    179469 |     180    15300   107100 |    68089    62133     53 |  0.003 % |
112.35/112.54	c |    180871 |     180    15300   107100 |    62665    56366     53 |  0.003 % |
113.25/113.45	c |    182412 |     180    15300   107100 |    62665    57907     53 |  0.003 % |
114.35/114.55	c |    184108 |     180    15300   107100 |    62665    59603     53 |  0.003 % |
115.55/115.70	c |    185973 |     180    15300   107100 |    62665    61468     53 |  0.003 % |
115.55/115.77	c |    186073 |     180    15300   107100 |    62665    61568     53 |  0.003 % |
115.65/115.88	c |    186184 |     180    15300   107100 |    62665    61679     53 |  0.003 % |
115.75/115.99	c |    186305 |     180    15300   107100 |    62665    61800     53 |  0.003 % |
115.85/116.09	c |    186438 |     180    15300   107100 |    62665    61933     53 |  0.003 % |
116.05/116.21	c |    186584 |     180    15300   107100 |    62665    62079     53 |  0.003 % |
116.15/116.38	c |    186745 |     180    15300   107100 |    62665    62240     53 |  0.003 % |
116.35/116.51	c |    186922 |     180    15300   107100 |    62665    62417     53 |  0.003 % |
116.45/116.66	c |    187115 |     180    15300   107100 |    62665    62610     53 |  0.003 % |
116.65/116.86	c |    187328 |     180    15300   107100 |    62665    56549     53 |  0.003 % |
116.85/117.01	c |    187563 |     180    15300   107100 |    62665    56784     53 |  0.003 % |
117.05/117.21	c |    187820 |     180    15300   107100 |    62665    57041     53 |  0.003 % |
117.25/117.44	c |    188101 |     180    15300   107100 |    62665    57322     53 |  0.003 % |
117.45/117.65	c |    188410 |     180    15300   107100 |    62665    57631     53 |  0.003 % |
117.65/117.89	c |    188750 |     180    15300   107100 |    62665    57971     53 |  0.003 % |
117.95/118.15	c |    189122 |     180    15300   107100 |    62665    58343     53 |  0.003 % |
118.15/118.39	c |    189531 |     180    15300   107100 |    62665    58752     53 |  0.003 % |
118.54/118.74	c |    189980 |     180    15300   107100 |    62665    59201     53 |  0.003 % |
118.84/119.07	c |    190475 |     180    15300   107100 | 2147483647    59696     53 |  0.003 % |
119.24/119.42	c |    191017 |     180    15300   107100 | 2147483647    60238     53 |  0.003 % |
119.75/119.91	c |    191613 |     180    15300   107100 | 2147483647    60834     53 |  0.003 % |
120.24/120.41	c |    192269 |     180    15300   107100 | 2147483647    61490     53 |  0.003 % |
120.74/120.93	c |    192990 |     180    15300   107100 | 2147483647    62211     53 |  0.003 % |
121.25/121.49	c |    193782 |     180    15300   107100 | 2147483647    63003     53 |  0.003 % |
121.95/122.13	c |    194655 |     180    15300   107100 | 2147483647    63876     53 |  0.003 % |
122.55/122.79	c |    195613 |     180    15300   107100 | 2147483647    64834     53 |  0.003 % |
123.25/123.46	c |    196666 |     180    15300   107100 | 2147483647    65887     53 |  0.003 % |
124.16/124.31	c |    197824 |     180    15300   107100 | 2147483647    67045     53 |  0.003 % |
125.05/125.23	c |    199097 |     180    15300   107100 | 2147483647    68318     53 |  0.003 % |
126.25/126.49	c |    200497 |     180    15300   107100 |    69222    61769     53 |  0.003 % |
127.35/127.51	c |    202037 |     180    15300   107100 |    69222    63309     53 |  0.003 % |
128.66/128.82	c |    203732 |     180    15300   107100 |    69222    65004     53 |  0.003 % |
129.95/130.18	c |    205598 |     180    15300   107100 |    69222    66870     53 |  0.003 % |
131.45/131.69	c |    207648 |     180    15300   107100 |    69222    68920     53 |  0.003 % |
131.55/131.79	c |    207749 |     180    15300   107100 |    69222    69021     53 |  0.003 % |
131.65/131.88	c |    207861 |     180    15300   107100 |    69222    69133     53 |  0.003 % |
131.75/131.98	c |    207982 |     180    15300   107100 |    69222    69254     53 |  0.003 % |
131.95/132.15	c |    208115 |     180    15300   107100 |    69222    60454     53 |  0.003 % |
132.05/132.27	c |    208265 |     180    15300   107100 |    69222    60604     53 |  0.003 % |
132.15/132.38	c |    208425 |     180    15300   107100 |    69222    60764     53 |  0.003 % |
132.35/132.52	c |    208602 |     180    15300   107100 |    69222    60941     53 |  0.003 % |
132.45/132.65	c |    208795 |     180    15300   107100 |    69222    61134     53 |  0.003 % |
132.55/132.79	c |    209007 |     180    15300   107100 |    69222    61346     53 |  0.003 % |
132.75/132.97	c |    209240 |     180    15300   107100 |    69222    61579     53 |  0.003 % |
132.95/133.17	c |    209497 |     180    15300   107100 |    69222    61836     53 |  0.003 % |
133.15/133.36	c |    209780 |     180    15300   107100 |    69222    62119     53 |  0.003 % |
133.45/133.66	c |    210089 |     180    15300   107100 |    62343    54533     53 |  0.003 % |
133.75/133.91	c |    210428 |     180    15300   107100 |    62343    54872     53 |  0.003 % |
133.95/134.16	c |    210803 |     180    15300   107100 |    62343    55247     53 |  0.003 % |
134.25/134.43	c |    211212 |     180    15300   107100 |    62343    55656     53 |  0.003 % |
134.55/134.71	c |    211662 |     180    15300   107100 |    62343    56106     53 |  0.003 % |
134.85/135.04	c |    212155 |     180    15300   107100 |    62343    56599     53 |  0.003 % |
135.25/135.40	c |    212697 |     180    15300   107100 |    62343    57141     53 |  0.003 % |
135.55/135.76	c |    213294 |     180    15300   107100 |    62343    57738     53 |  0.003 % |
135.95/136.17	c |    213949 |     180    15300   107100 |    62343    58393     53 |  0.003 % |
136.45/136.61	c |    214669 |     180    15300   107100 |    62343    59113     53 |  0.003 % |
136.85/137.08	c |    215462 |     180    15300   107100 |    62343    59906     53 |  0.003 % |
137.45/137.63	c |    216334 |     180    15300   107100 |    62343    60778     53 |  0.003 % |
138.05/138.22	c |    217292 |     180    15300   107100 |    62343    61736     53 |  0.003 % |
138.75/138.98	c |    218347 |     180    15300   107100 |    62343    56550     53 |  0.003 % |
139.45/139.65	c |    219505 |     180    15300   107100 |    62343    57708     53 |  0.003 % |
140.35/140.60	c |    220779 |     180    15300   107100 | 2147483647    58982     53 |  0.003 % |
141.35/141.52	c |    222184 |     180    15300   107100 | 2147483647    60387     53 |  0.003 % |
142.25/142.47	c |    223725 |     180    15300   107100 | 2147483647    61928     53 |  0.003 % |
143.35/143.50	c |    225419 |     180    15300   107100 | 2147483647    63622     53 |  0.003 % |
144.45/144.68	c |    227286 |     180    15300   107100 | 2147483647    65489     53 |  0.003 % |
145.84/146.05	c |    229338 |     180    15300   107100 | 2147483647    67541     53 |  0.003 % |
147.45/147.60	c |    231591 |     180    15300   107100 | 2147483647    69794     53 |  0.003 % |
147.55/147.70	c |    231692 |     180    15300   107100 | 2147483647    69895     53 |  0.003 % |
147.55/147.79	c |    231803 |     180    15300   107100 | 2147483647    70006     53 |  0.003 % |
147.65/147.88	c |    231925 |     180    15300   107100 | 2147483647    70128     53 |  0.003 % |
147.75/147.98	c |    232058 |     180    15300   107100 | 2147483647    70261     53 |  0.003 % |
147.94/148.12	c |    232205 |     180    15300   107100 | 2147483647    70408     53 |  0.003 % |
148.04/148.26	c |    232365 |     180    15300   107100 | 2147483647    70568     53 |  0.003 % |
148.24/148.41	c |    232543 |     180    15300   107100 | 2147483647    70746     53 |  0.003 % |
148.35/148.59	c |    232736 |     180    15300   107100 | 2147483647    70939     53 |  0.003 % |
148.54/148.78	c |    232948 |     180    15300   107100 | 2147483647    71151     53 |  0.003 % |
148.84/149.01	c |    233181 |     180    15300   107100 | 2147483647    71384     53 |  0.003 % |
149.04/149.22	c |    233438 |     180    15300   107100 | 2147483647    71641     53 |  0.003 % |
149.24/149.47	c |    233721 |     180    15300   107100 | 2147483647    71924     53 |  0.003 % |
149.55/149.74	c |    234032 |     180    15300   107100 | 2147483647    72235     53 |  0.003 % |
149.84/150.08	c |    234371 |     180    15300   107100 | 2147483647    72574     53 |  0.003 % |
150.24/150.41	c |    234745 |     180    15300   107100 | 2147483647    72948     53 |  0.003 % |
150.64/150.81	c |    235155 |     180    15300   107100 | 2147483647    73358     53 |  0.003 % |
151.04/151.21	c |    235604 |     180    15300   107100 | 2147483647    73807     53 |  0.003 % |
151.44/151.60	c |    236097 |     180    15300   107100 | 2147483647    74300     53 |  0.003 % |
151.84/152.09	c |    236639 |     180    15300   107100 | 2147483647    74842     53 |  0.003 % |
152.44/152.62	c |    237236 |     180    15300   107100 | 2147483647    75439     53 |  0.003 % |
152.94/153.15	c |    237891 |     180    15300   107100 | 2147483647    76094     53 |  0.003 % |
153.54/153.76	c |    238611 |     180    15300   107100 | 2147483647    76814     53 |  0.003 % |
154.24/154.43	c |    239403 |     180    15300   107100 | 2147483647    77606     53 |  0.003 % |
155.04/155.23	c |    240274 |     180    15300   107100 |    78204    66872     53 |  0.003 % |
155.84/156.01	c |    241232 |     180    15300   107100 |    78204    67830     53 |  0.003 % |
156.64/156.82	c |    242285 |     180    15300   107100 |    78204    68883     53 |  0.003 % |
157.54/157.75	c |    243445 |     180    15300   107100 |    78204    70043     53 |  0.003 % |
158.44/158.65	c |    244720 |     180    15300   107100 |    78204    71318     53 |  0.003 % |
159.44/159.64	c |    246122 |     180    15300   107100 |    78204    72720     53 |  0.003 % |
160.44/160.70	c |    247664 |     180    15300   107100 |    78204    74262     53 |  0.003 % |
161.74/161.99	c |    249358 |     180    15300   107100 |    78204    75956     53 |  0.003 % |
163.24/163.42	c |    251221 |     180    15300   107100 |    76598    66559     53 |  0.003 % |
164.54/164.77	c |    253270 |     180    15300   107100 |    76598    68608     53 |  0.003 % |
166.14/166.36	c |    255523 |     180    15300   107100 |    76598    70861     53 |  0.003 % |
168.04/168.29	c |    258001 |     180    15300   107100 |    76598    73339     53 |  0.003 % |
168.15/168.39	c |    258101 |     180    15300   107100 |    76598    73439     53 |  0.003 % |
168.25/168.49	c |    258211 |     180    15300   107100 |    76598    73549     53 |  0.003 % |
168.44/168.60	c |    258333 |     180    15300   107100 |    76598    73671     53 |  0.003 % |
168.54/168.72	c |    258469 |     180    15300   107100 |    76598    73807     53 |  0.003 % |
168.64/168.84	c |    258615 |     180    15300   107100 |    76598    73953     53 |  0.003 % |
168.74/168.99	c |    258776 |     180    15300   107100 |    76598    74114     53 |  0.003 % |
168.94/169.13	c |    258952 |     180    15300   107100 |    76598    74290     53 |  0.003 % |
169.04/169.29	c |    259147 |     180    15300   107100 |    76598    74485     53 |  0.003 % |
169.25/169.47	c |    259359 |     180    15300   107100 |    76598    74697     53 |  0.003 % |
169.44/169.66	c |    259593 |     180    15300   107100 |    76598    74931     53 |  0.003 % |
169.74/169.92	c |    259849 |     180    15300   107100 |    76598    75187     53 |  0.003 % |
170.04/170.24	c |    260131 |     180    15300   107100 |    75338    64522     54 |  0.003 % |
170.24/170.48	c |    260440 |     180    15300   107100 |    75338    64831     54 |  0.003 % |
170.54/170.77	c |    260779 |     180    15300   107100 |    75338    65170     54 |  0.003 % |
170.84/171.03	c |    261154 |     180    15300   107100 |    75338    65545     54 |  0.003 % |
171.14/171.32	c |    261563 |     180    15300   107100 |    75338    65954     54 |  0.003 % |
171.55/171.71	c |    262012 |     180    15300   107100 |    75338    66403     54 |  0.003 % |
171.94/172.10	c |    262506 |     180    15300   107100 |    75338    66897     54 |  0.003 % |
172.34/172.51	c |    263048 |     180    15300   107100 |    75338    67439     54 |  0.003 % |
172.74/172.99	c |    263644 |     180    15300   107100 |    75338    68035     54 |  0.003 % |
173.24/173.48	c |    264299 |     180    15300   107100 |    75338    68690     53 |  0.003 % |
173.84/174.04	c |    265021 |     180    15300   107100 |    75338    69412     54 |  0.003 % |
174.54/174.76	c |    265813 |     180    15300   107100 |    75338    70204     54 |  0.003 % |
175.24/175.44	c |    266685 |     180    15300   107100 |    75338    71076     54 |  0.003 % |
176.04/176.24	c |    267644 |     180    15300   107100 |    75338    72035     54 |  0.003 % |
176.84/177.08	c |    268697 |     180    15300   107100 |    75338    73088     54 |  0.003 % |
177.74/177.98	c |    269855 |     180    15300   107100 |    75338    74246     54 |  0.003 % |
178.74/178.93	c |    271129 |     180    15300   107100 |    74391    64576     53 |  0.003 % |
179.74/179.92	c |    272532 |     180    15300   107100 |    74391    65979     54 |  0.003 % |
180.84/181.09	c |    274072 |     180    15300   107100 |    74391    67519     53 |  0.003 % |
182.14/182.36	c |    275767 |     180    15300   107100 |    74391    69214     53 |  0.003 % |
183.54/183.78	c |    277630 |     180    15300   107100 |    74391    71077     53 |  0.003 % |
185.14/185.36	c |    279681 |     180    15300   107100 |    74391    73128     53 |  0.003 % |
186.74/186.99	c |    281935 |     180    15300   107100 |    73448    65359     54 |  0.003 % |
188.44/188.63	c |    284416 |     180    15300   107100 |    73448    67840     54 |  0.003 % |
190.24/190.48	c |    287141 |     180    15300   107100 |    73448    70565     54 |  0.003 % |
190.34/190.55	c |    287241 |     180    15300   107100 |    73448    70665     54 |  0.003 % |
190.44/190.64	c |    287351 |     180    15300   107100 |    73448    70775     54 |  0.003 % |
190.54/190.74	c |    287473 |     180    15300   107100 |    73448    70897     54 |  0.003 % |
190.64/190.86	c |    287606 |     180    15300   107100 |    73448    71030     54 |  0.003 % |
190.74/190.97	c |    287752 |     180    15300   107100 |    73448    71176     54 |  0.003 % |
190.84/191.08	c |    287914 |     180    15300   107100 |    73448    71338     54 |  0.003 % |
191.04/191.21	c |    288090 |     180    15300   107100 |    73448    71514     54 |  0.003 % |
191.24/191.41	c |    288285 |     180    15300   107100 |    73448    71709     54 |  0.003 % |
191.44/191.61	c |    288498 |     180    15300   107100 |    73448    71922     54 |  0.003 % |
191.64/191.85	c |    288733 |     180    15300   107100 |    73448    72157     54 |  0.003 % |
191.84/192.08	c |    288990 |     180    15300   107100 |    73448    72414     54 |  0.003 % |
192.14/192.34	c |    289271 |     180    15300   107100 |    73448    72695     54 |  0.003 % |
192.44/192.61	c |    289580 |     180    15300   107100 |    73448    73004     54 |  0.003 % |
192.73/192.92	c |    289920 |     180    15300   107100 |    73448    73344     54 |  0.003 % |
193.13/193.32	c |    290295 |     180    15300   107100 |    73424    63786     53 |  0.003 % |
193.44/193.63	c |    290705 |     180    15300   107100 |    73424    64196     53 |  0.003 % |
193.73/193.99	c |    291157 |     180    15300   107100 |    73424    64648     53 |  0.003 % |
194.13/194.33	c |    291650 |     180    15300   107100 |    73424    65141     53 |  0.003 % |
194.54/194.72	c |    292193 |     180    15300   107100 |    73424    65684     53 |  0.003 % |
194.93/195.18	c |    292791 |     180    15300   107100 |    73424    66282     53 |  0.003 % |
195.53/195.73	c |    293447 |     180    15300   107100 |    73424    66938     53 |  0.003 % |
196.13/196.31	c |    294167 |     180    15300   107100 |    73424    67658     53 |  0.003 % |
196.74/196.90	c |    294961 |     180    15300   107100 |    73424    68452     53 |  0.003 % |
197.33/197.58	c |    295832 |     180    15300   107100 |    73424    69323     53 |  0.003 % |
198.13/198.34	c |    296790 |     180    15300   107100 |    73424    70281     53 |  0.003 % |
198.94/199.17	c |    297844 |     180    15300   107100 |    73424    71335     53 |  0.003 % |
199.83/200.04	c |    299004 |     180    15300   107100 |    73424    72495     53 |  0.003 % |
201.03/201.26	c |    300277 |     180    15300   107100 |    73491    63497     53 |  0.003 % |
202.03/202.20	c |    301678 |     180    15300   107100 |    73491    64898     53 |  0.003 % |
203.13/203.32	c |    303218 |     180    15300   107100 |    73491    66438     53 |  0.003 % |
204.33/204.52	c |    304912 |     180    15300   107100 |    73491    68132     53 |  0.003 % |
205.73/205.95	c |    306775 |     180    15300   107100 |    73491    69995     53 |  0.003 % |
207.23/207.46	c |    308824 |     180    15300   107100 |    73491    72044     53 |  0.003 % |
208.83/209.04	c |    311078 |     180    15300   107100 |    73224    65112     53 |  0.003 % |
210.63/210.85	c |    313557 |     180    15300   107100 |    73224    67591     53 |  0.003 % |
212.63/212.88	c |    316282 |     180    15300   107100 |    73224    70316     53 |  0.003 % |
215.13/215.30	c |    319282 |     180    15300   107100 |    73224    63723     53 |  0.003 % |
215.13/215.37	c |    319383 |     180    15300   107100 |    73224    63824     53 |  0.003 % |
215.23/215.45	c |    319493 |     180    15300   107100 |    73224    63934     53 |  0.003 % |
215.33/215.57	c |    319615 |     180    15300   107100 |    73224    64056     53 |  0.003 % |
215.43/215.67	c |    319748 |     180    15300   107100 |    73224    64189     53 |  0.003 % |
215.53/215.79	c |    319896 |     180    15300   107100 |    73224    64337     53 |  0.003 % |
215.73/215.91	c |    320057 |     180    15300   107100 |    64441    64498     53 |  0.003 % |
215.93/216.15	c |    320236 |     180    15300   107100 |    64441    56155     53 |  0.003 % |
216.03/216.28	c |    320430 |     180    15300   107100 |    64441    56349     53 |  0.003 % |
216.23/216.42	c |    320642 |     180    15300   107100 |    64441    56561     53 |  0.003 % |
216.43/216.60	c |    320875 |     180    15300   107100 |    64441    56794     53 |  0.003 % |
216.53/216.79	c |    321132 |     180    15300   107100 |    64441    57051     53 |  0.003 % |
216.73/216.98	c |    321413 |     180    15300   107100 |    64441    57332     53 |  0.003 % |
217.03/217.20	c |    321723 |     180    15300   107100 |    64441    57642     53 |  0.003 % |
217.23/217.43	c |    322063 |     180    15300   107100 |    64441    57982     53 |  0.003 % |
217.53/217.72	c |    322437 |     180    15300   107100 |    64441    58356     53 |  0.003 % |
217.73/218.00	c |    322846 |     180    15300   107100 |    64441    58765     53 |  0.003 % |
218.13/218.31	c |    323295 |     180    15300   107100 |    64441    59214     53 |  0.003 % |
218.43/218.66	c |    323788 |     180    15300   107100 |    64441    59707     53 |  0.003 % |
218.83/219.04	c |    324330 |     180    15300   107100 |    64441    60249     53 |  0.003 % |
219.23/219.46	c |    324927 |     180    15300   107100 |    64441    60846     53 |  0.003 % |
219.73/219.94	c |    325583 |     180    15300   107100 |    64441    61502     53 |  0.003 % |
220.23/220.46	c |    326303 |     180    15300   107100 |    64441    62222     53 |  0.003 % |
220.83/221.03	c |    327097 |     180    15300   107100 |    64441    63016     53 |  0.003 % |
221.43/221.68	c |    327969 |     180    15300   107100 |    64441    63888     53 |  0.003 % |
222.23/222.42	c |    328927 |     180    15300   107100 |    64441    57780     53 |  0.003 % |
222.83/223.09	c |    329980 |     180    15300   107100 |    64441    58833     53 |  0.003 % |
223.53/223.79	c |    331139 |     180    15300   107100 |    58854    53854     53 |  0.003 % |
224.33/224.53	c |    332413 |     180    15300   107100 |    58854    55128     53 |  0.003 % |
225.12/225.30	c |    333814 |     180    15300   107100 |    58854    56529     53 |  0.003 % |
225.92/226.19	c |    335356 |     180    15300   107100 |    58854    58071     53 |  0.003 % |
227.02/227.28	c |    337050 |     180    15300   107100 |    58854    53871     53 |  0.003 % |
228.32/228.53	c |    338914 |     180    15300   107100 |    58854    55735     53 |  0.003 % |
229.62/229.89	c |    340963 |     180    15300   107100 | 2147483647    57784     53 |  0.003 % |
231.22/231.47	c |    343216 |     180    15300   107100 | 2147483647    60037     53 |  0.003 % |
233.03/233.26	c |    345695 |     180    15300   107100 | 2147483647    62516     53 |  0.003 % |
234.82/235.07	c |    348421 |     180    15300   107100 | 2147483647    65242     53 |  0.003 % |
236.92/237.13	c |    351421 |     180    15300   107100 | 2147483647    68242     53 |  0.003 % |
239.42/239.60	c |    354717 |     180    15300   107100 | 2147483647    71538     53 |  0.003 % |
239.42/239.67	c |    354817 |     180    15300   107100 | 2147483647    71638     53 |  0.003 % |
239.52/239.77	c |    354927 |     180    15300   107100 | 2147483647    71748     53 |  0.003 % |
239.62/239.88	c |    355049 |     180    15300   107100 | 2147483647    71870     53 |  0.003 % |
239.82/240.02	c |    355182 |     180    15300   107100 | 2147483647    72003     53 |  0.003 % |
239.92/240.18	c |    355330 |     180    15300   107100 | 2147483647    72151     53 |  0.003 % |
240.12/240.34	c |    355490 |     180    15300   107100 | 2147483647    72311     53 |  0.003 % |
240.22/240.48	c |    355667 |     180    15300   107100 | 2147483647    72488     53 |  0.003 % |
240.42/240.63	c |    355860 |     180    15300   107100 | 2147483647    72681     53 |  0.003 % |
240.52/240.79	c |    356073 |     180    15300   107100 | 2147483647    72894     53 |  0.003 % |
240.82/241.06	c |    356306 |     180    15300   107100 | 2147483647    73127     53 |  0.003 % |
241.12/241.31	c |    356563 |     180    15300   107100 | 2147483647    73384     53 |  0.003 % |
241.32/241.59	c |    356844 |     180    15300   107100 | 2147483647    73665     53 |  0.003 % |
241.62/241.89	c |    357155 |     180    15300   107100 | 2147483647    73976     53 |  0.003 % |
242.02/242.22	c |    357494 |     180    15300   107100 | 2147483647    74315     53 |  0.003 % |
242.32/242.56	c |    357867 |     180    15300   107100 | 2147483647    74688     53 |  0.003 % |
242.72/242.94	c |    358278 |     180    15300   107100 | 2147483647    75099     53 |  0.003 % |
243.12/243.35	c |    358728 |     180    15300   107100 | 2147483647    75549     53 |  0.003 % |
243.52/243.80	c |    359221 |     180    15300   107100 | 2147483647    76042     53 |  0.003 % |
244.02/244.30	c |    359764 |     180    15300   107100 | 2147483647    76585     53 |  0.003 % |
244.62/244.83	c |    360361 |     180    15300   107100 |    76821    66297     53 |  0.003 % |
245.12/245.31	c |    361018 |     180    15300   107100 |    76821    66954     53 |  0.003 % |
245.72/245.96	c |    361741 |     180    15300   107100 |    76821    67677     53 |  0.003 % |
246.32/246.55	c |    362534 |     180    15300   107100 |    76821    68470     53 |  0.003 % |
247.02/247.25	c |    363407 |     180    15300   107100 |    76821    69343     53 |  0.003 % |
247.72/247.96	c |    364366 |     180    15300   107100 |    76821    70302     53 |  0.003 % |
248.42/248.70	c |    365420 |     180    15300   107100 |    76821    71356     53 |  0.003 % |
249.32/249.56	c |    366579 |     180    15300   107100 |    76821    72515     53 |  0.003 % |
250.52/250.74	c |    367852 |     180    15300   107100 |    76821    73788     53 |  0.003 % |
251.61/251.85	c |    369253 |     180    15300   107100 |    76821    75189     53 |  0.003 % |
252.82/253.07	c |    370793 |     180    15300   107100 |    75936    65178     53 |  0.003 % |
253.92/254.18	c |    372488 |     180    15300   107100 |    75936    66873     53 |  0.003 % |
255.31/255.59	c |    374352 |     180    15300   107100 |    75936    68737     53 |  0.003 % |
256.91/257.19	c |    376402 |     180    15300   107100 |    75936    70787     53 |  0.003 % |
258.61/258.87	c |    378658 |     180    15300   107100 |    75936    73043     53 |  0.003 % |
260.62/260.84	c |    381136 |     180    15300   107100 |    74389    65114     53 |  0.003 % |
262.42/262.65	c |    383861 |     180    15300   107100 |    74389    67839     53 |  0.003 % |
264.62/264.89	c |    386859 |     180    15300   107100 |    74389    70837     53 |  0.003 % |
267.13/267.35	c |    390156 |     180    15300   107100 |    73978    64659     53 |  0.003 % |
269.52/269.71	c |    393781 |     180    15300   107100 |    73978    68284     53 |  0.003 % |
269.52/269.78	c |    393884 |     180    15300   107100 |    73978    68387     53 |  0.003 % |
269.62/269.87	c |    393995 |     180    15300   107100 |    73978    68498     53 |  0.003 % |
269.72/269.97	c |    394121 |     180    15300   107100 |    73978    68624     53 |  0.003 % |
269.82/270.08	c |    394254 |     180    15300   107100 |    73978    68757     53 |  0.003 % |
270.02/270.21	c |    394401 |     180    15300   107100 |    73978    68904     53 |  0.003 % |
270.12/270.34	c |    394565 |     180    15300   107100 |    73978    69068     53 |  0.003 % |
270.32/270.53	c |    394741 |     180    15300   107100 |    73978    69244     53 |  0.003 % |
270.52/270.70	c |    394934 |     180    15300   107100 |    73978    69437     53 |  0.003 % |
270.62/270.88	c |    395147 |     180    15300   107100 |    73978    69650     53 |  0.003 % |
270.82/271.06	c |    395381 |     180    15300   107100 |    73978    69884     53 |  0.003 % |
271.02/271.27	c |    395638 |     180    15300   107100 |    73978    70141     53 |  0.003 % |
271.22/271.48	c |    395919 |     180    15300   107100 |    73978    70422     53 |  0.003 % |
271.52/271.75	c |    396229 |     180    15300   107100 |    73978    70732     53 |  0.003 % |
271.82/272.03	c |    396569 |     180    15300   107100 |    73978    71072     53 |  0.003 % |
272.12/272.38	c |    396943 |     180    15300   107100 |    73978    71446     53 |  0.003 % |
272.52/272.74	c |    397353 |     180    15300   107100 |    73978    71856     53 |  0.003 % |
272.92/273.10	c |    397803 |     180    15300   107100 |    73978    72306     53 |  0.003 % |
273.22/273.44	c |    398296 |     180    15300   107100 |    73978    72799     53 |  0.003 % |
273.72/273.92	c |    398838 |     180    15300   107100 |    73978    73341     53 |  0.003 % |
274.22/274.43	c |    399438 |     180    15300   107100 |    73978    73941     53 |  0.003 % |
274.82/275.06	c |    400093 |     180    15300   107100 |    64400    55811     53 |  0.003 % |
275.32/275.58	c |    400814 |     180    15300   107100 |    64400    56532     53 |  0.003 % |
275.82/276.08	c |    401607 |     180    15300   107100 |    64400    57325     53 |  0.003 % |
276.32/276.59	c |    402483 |     180    15300   107100 |    64400    58201     53 |  0.003 % |
277.02/277.23	c |    403442 |     180    15300   107100 |    64400    59160     53 |  0.003 % |
277.72/277.92	c |    404495 |     180    15300   107100 |    64400    60213     53 |  0.003 % |
278.42/278.64	c |    405653 |     180    15300   107100 |    64400    61371     53 |  0.003 % |
279.32/279.50	c |    406926 |     180    15300   107100 |    64400    62644     53 |  0.003 % |
280.22/280.46	c |    408326 |     180    15300   107100 |    64400    64044     53 |  0.003 % |
281.22/281.41	c |    409866 |     180    15300   107100 |    64400    59137     53 |  0.003 % |
282.22/282.43	c |    411561 |     180    15300   107100 | 2147483647    60832     53 |  0.003 % |
283.51/283.70	c |    413428 |     180    15300   107100 | 2147483647    62699     53 |  0.003 % |
284.82/285.06	c |    415477 |     180    15300   107100 | 2147483647    64748     53 |  0.003 % |
286.21/286.47	c |    417730 |     180    15300   107100 | 2147483647    67001     53 |  0.003 % |
287.91/288.14	c |    420209 |     180    15300   107100 |    69272    62423     53 |  0.003 % |
289.81/290.03	c |    422935 |     180    15300   107100 |    69272    65149     53 |  0.003 % |
291.81/292.07	c |    425932 |     180    15300   107100 |    69272    68146     53 |  0.003 % |
294.01/294.25	c |    429231 |     180    15300   107100 |    69272    64026     53 |  0.003 % |
296.51/296.75	c |    432859 |     180    15300   107100 |    64796    60797     53 |  0.003 % |
299.11/299.36	c |    436847 |     180    15300   107100 |    64796    64785     53 |  0.003 % |
299.21/299.48	c |    436948 |     180    15300   107100 |    64796    58398     53 |  0.003 % |
299.31/299.56	c |    437058 |     180    15300   107100 |    64796    58508     53 |  0.003 % |
299.41/299.65	c |    437180 |     180    15300   107100 |    64796    58630     53 |  0.003 % |
299.51/299.74	c |    437315 |     180    15300   107100 |    64796    58765     53 |  0.003 % |
299.61/299.84	c |    437462 |     180    15300   107100 |    64796    58912     53 |  0.003 % |
299.71/299.95	c |    437623 |     180    15300   107100 |    64796    59073     53 |  0.003 % |
299.81/300.06	c |    437800 |     180    15300   107100 |    64796    59250     53 |  0.003 % |
299.91/300.18	c |    437994 |     180    15300   107100 |    64796    59444     53 |  0.003 % |
300.11/300.32	c |    438206 |     180    15300   107100 |    64796    59656     53 |  0.003 % |
300.21/300.47	c |    438439 |     180    15300   107100 |    64796    59889     53 |  0.003 % |
300.41/300.62	c |    438695 |     180    15300   107100 |    64796    60145     53 |  0.003 % |
300.51/300.77	c |    438977 |     180    15300   107100 |    64796    60427     53 |  0.003 % |
300.71/300.98	c |    439288 |     180    15300   107100 |    64796    60738     53 |  0.003 % |
300.91/301.20	c |    439628 |     180    15300   107100 |    64796    61078     53 |  0.003 % |
301.22/301.45	c |    440002 |     180    15300   107100 |    64796    61452     53 |  0.003 % |
301.51/301.73	c |    440412 |     180    15300   107100 | 2147483647    61862     53 |  0.003 % |
301.81/302.04	c |    440861 |     180    15300   107100 | 2147483647    62311     53 |  0.003 % |
302.11/302.39	c |    441355 |     180    15300   107100 | 2147483647    62805     53 |  0.003 % |
302.51/302.77	c |    441898 |     180    15300   107100 | 2147483647    63348     53 |  0.003 % |
302.91/303.16	c |    442494 |     180    15300   107100 | 2147483647    63944     53 |  0.003 % |
303.31/303.58	c |    443150 |     180    15300   107100 | 2147483647    64600     53 |  0.003 % |
303.81/304.05	c |    443870 |     180    15300   107100 | 2147483647    65320     53 |  0.003 % |
304.41/304.62	c |    444664 |     180    15300   107100 | 2147483647    66114     53 |  0.003 % |
305.01/305.23	c |    445535 |     180    15300   107100 | 2147483647    66985     53 |  0.003 % |
305.81/306.02	c |    446497 |     180    15300   107100 | 2147483647    67947     53 |  0.003 % |
306.61/306.87	c |    447550 |     180    15300   107100 | 2147483647    69000     53 |  0.003 % |
307.51/307.78	c |    448708 |     180    15300   107100 | 2147483647    70158     53 |  0.003 % |
308.51/308.73	c |    449982 |     180    15300   107100 | 2147483647    71432     53 |  0.003 % |
309.51/309.74	c |    451383 |     180    15300   107100 |    71450    64327     53 |  0.003 % |
310.51/310.79	c |    452924 |     180    15300   107100 |    71450    65868     53 |  0.003 % |
311.81/312.06	c |    454620 |     180    15300   107100 |    71450    67564     53 |  0.003 % |
313.11/313.37	c |    456483 |     180    15300   107100 |    71450    69427     53 |  0.003 % |
314.61/314.89	c |    458532 |     180    15300   107100 |    71450    71476     53 |  0.003 % |
316.21/316.49	c |    460785 |     180    15300   107100 |    64706    57974     53 |  0.003 % |
317.81/318.03	c |    463264 |     180    15300   107100 |    64706    60453     53 |  0.003 % |
319.60/319.85	c |    465990 |     180    15300   107100 |    64706    63179     53 |  0.003 % |
321.60/321.80	c |    468988 |     180    15300   107100 |    64706    59698     54 |  0.003 % |
323.50/323.74	c |    472286 |     180    15300   107100 | 2147483647    62996     54 |  0.003 % |
325.80/326.08	c |    475913 |     180    15300   107100 | 2147483647    66623     54 |  0.003 % |
328.50/328.79	c |    479901 |     180    15300   107100 | 2147483647    70611     54 |  0.003 % |
331.60/331.81	c |    484289 |     180    15300   107100 | 2147483647    74999     54 |  0.003 % |
331.60/331.90	c |    484390 |     180    15300   107100 | 2147483647    75100     54 |  0.003 % |
331.70/331.99	c |    484502 |     180    15300   107100 | 2147483647    75212     54 |  0.003 % |
331.90/332.13	c |    484623 |     180    15300   107100 | 2147483647    75333     54 |  0.003 % |
332.01/332.26	c |    484756 |     180    15300   107100 | 2147483647    75466     54 |  0.003 % |
332.11/332.39	c |    484902 |     180    15300   107100 | 2147483647    75612     54 |  0.003 % |
332.30/332.53	c |    485062 |     180    15300   107100 | 2147483647    75772     54 |  0.003 % |
332.50/332.70	c |    485239 |     180    15300   107100 | 2147483647    75949     54 |  0.003 % |
332.60/332.89	c |    485432 |     180    15300   107100 | 2147483647    76142     54 |  0.003 % |
332.80/333.08	c |    485645 |     180    15300   107100 | 2147483647    76355     54 |  0.003 % |
333.10/333.31	c |    485878 |     180    15300   107100 | 2147483647    76588     54 |  0.003 % |
333.30/333.52	c |    486134 |     180    15300   107100 | 2147483647    76844     54 |  0.003 % |
333.50/333.75	c |    486415 |     180    15300   107100 | 2147483647    77125     54 |  0.003 % |
333.70/333.99	c |    486726 |     180    15300   107100 | 2147483647    77436     54 |  0.003 % |
334.00/334.26	c |    487065 |     180    15300   107100 | 2147483647    77775     54 |  0.003 % |
334.40/334.64	c |    487439 |     180    15300   107100 | 2147483647    78149     54 |  0.003 % |
334.80/335.00	c |    487848 |     180    15300   107100 | 2147483647    78558     54 |  0.003 % |
335.10/335.37	c |    488297 |     180    15300   107100 | 2147483647    79007     54 |  0.003 % |
335.50/335.80	c |    488790 |     180    15300   107100 | 2147483647    79500     54 |  0.003 % |
336.00/336.27	c |    489335 |     180    15300   107100 | 2147483647    80045     54 |  0.003 % |
336.50/336.78	c |    489932 |     180    15300   107100 | 2147483647    80642     54 |  0.003 % |
337.10/337.36	c |    490587 |     180    15300   107100 |    80711    69124     54 |  0.003 % |
337.70/337.97	c |    491310 |     180    15300   107100 |    80711    69847     54 |  0.003 % |
338.40/338.60	c |    492103 |     180    15300   107100 |    80711    70640     54 |  0.003 % |
339.00/339.27	c |    492974 |     180    15300   107100 |    80711    71511     54 |  0.003 % |
339.80/340.08	c |    493932 |     180    15300   107100 |    80711    72469     54 |  0.003 % |
340.70/340.93	c |    494990 |     180    15300   107100 |    80711    73527     54 |  0.003 % |
341.60/341.83	c |    496148 |     180    15300   107100 |    80711    74685     54 |  0.003 % |
342.50/342.78	c |    497421 |     180    15300   107100 |    80711    75958     54 |  0.003 % |
343.60/343.87	c |    498822 |     180    15300   107100 |    80711    77359     54 |  0.003 % |
344.89/345.14	c |    500362 |     180    15300   107100 |    78537    66316     54 |  0.003 % |
345.89/346.15	c |    502056 |     180    15300   107100 |    78537    68010     54 |  0.003 % |
347.29/347.58	c |    503920 |     180    15300   107100 |    78537    69874     54 |  0.003 % |
348.69/348.98	c |    505972 |     180    15300   107100 |    78537    71926     54 |  0.003 % |
350.39/350.61	c |    508225 |     180    15300   107100 |    78537    74179     54 |  0.003 % |
352.09/352.40	c |    510703 |     180    15300   107100 |    75955    65804     54 |  0.003 % |
353.89/354.12	c |    513430 |     180    15300   107100 |    75955    68531     54 |  0.003 % |
355.79/356.09	c |    516427 |     180    15300   107100 |    75955    71528     54 |  0.003 % |
358.29/358.54	c |    519724 |     180    15300   107100 |    75955    74825     54 |  0.003 % |
360.79/361.02	c |    523349 |     180    15300   107100 |    75101    68902     54 |  0.003 % |
363.49/363.70	c |    527337 |     180    15300   107100 |    75101    72890     54 |  0.003 % |
366.29/366.55	c |    531722 |     180    15300   107100 |    66610    60484     54 |  0.003 % |
369.69/369.92	c |    536545 |     180    15300   107100 |    66610    65307     54 |  0.003 % |
369.79/370.01	c |    536647 |     180    15300   107100 |    66610    65409     54 |  0.003 % |
369.79/370.09	c |    536761 |     180    15300   107100 |    66610    65523     54 |  0.003 % |
369.89/370.18	c |    536882 |     180    15300   107100 |    66610    65644     54 |  0.003 % |
369.99/370.29	c |    537015 |     180    15300   107100 |    66610    65777     54 |  0.003 % |
370.19/370.43	c |    537162 |     180    15300   107100 |    66610    65924     54 |  0.003 % |
370.29/370.57	c |    537322 |     180    15300   107100 |    66610    66084     54 |  0.003 % |
370.49/370.71	c |    537499 |     180    15300   107100 |    66610    66261     54 |  0.003 % |
370.59/370.86	c |    537692 |     180    15300   107100 |    66610    66454     54 |  0.003 % |
370.79/371.03	c |    537906 |     180    15300   107100 |    66610    66668     54 |  0.003 % |
370.99/371.23	c |    538143 |     180    15300   107100 |    66610    60213     54 |  0.003 % |
371.09/371.39	c |    538401 |     180    15300   107100 |    66610    60471     54 |  0.003 % |
371.29/371.57	c |    538686 |     180    15300   107100 |    66610    60756     54 |  0.003 % |
371.49/371.76	c |    538997 |     180    15300   107100 |    66610    61067     54 |  0.003 % |
371.69/371.99	c |    539336 |     180    15300   107100 |    66610    61406     54 |  0.003 % |
371.99/372.24	c |    539708 |     180    15300   107100 |    66610    61778     54 |  0.003 % |
372.29/372.53	c |    540117 |     180    15300   107100 | 2147483647    62187     54 |  0.003 % |
372.59/372.85	c |    540571 |     180    15300   107100 | 2147483647    62641     54 |  0.003 % |
372.99/373.26	c |    541064 |     180    15300   107100 | 2147483647    63134     54 |  0.003 % |
373.39/373.64	c |    541608 |     180    15300   107100 | 2147483647    63678     54 |  0.003 % |
373.79/374.05	c |    542204 |     180    15300   107100 | 2147483647    64274     54 |  0.003 % |
374.29/374.52	c |    542860 |     180    15300   107100 | 2147483647    64930     54 |  0.003 % |
374.79/375.03	c |    543580 |     180    15300   107100 | 2147483647    65650     54 |  0.003 % |
375.39/375.60	c |    544376 |     180    15300   107100 | 2147483647    66446     54 |  0.003 % |
375.99/376.22	c |    545247 |     180    15300   107100 | 2147483647    67317     54 |  0.003 % |
376.59/376.85	c |    546205 |     180    15300   107100 | 2147483647    68275     54 |  0.003 % |
377.29/377.59	c |    547258 |     180    15300   107100 | 2147483647    69328     54 |  0.003 % |
378.09/378.33	c |    548419 |     180    15300   107100 | 2147483647    70489     54 |  0.003 % |
378.99/379.24	c |    549692 |     180    15300   107100 | 2147483647    71762     54 |  0.003 % |
380.00/380.26	c |    551092 |     180    15300   107100 |    72070    64803     54 |  0.003 % |
381.10/381.37	c |    552632 |     180    15300   107100 |    72070    66343     54 |  0.003 % |
382.29/382.52	c |    554328 |     180    15300   107100 |    72070    68039     54 |  0.003 % |
383.59/383.88	c |    556193 |     180    15300   107100 |    72070    69904     54 |  0.003 % |
385.19/385.42	c |    558243 |     180    15300   107100 |    72070    71954     54 |  0.003 % |
386.69/386.97	c |    560497 |     180    15300   107100 |    64257    56695     54 |  0.003 % |
388.20/388.41	c |    562976 |     180    15300   107100 |    64257    59174     54 |  0.003 % |
389.79/390.06	c |    565702 |     180    15300   107100 |    64257    61900     54 |  0.003 % |
391.79/392.03	c |    568700 |     180    15300   107100 |    64257    58465     54 |  0.003 % |
393.79/394.03	c |    571996 |     180    15300   107100 | 2147483647    61761     54 |  0.003 % |
396.09/396.36	c |    575621 |     180    15300   107100 | 2147483647    65386     54 |  0.003 % |
398.79/399.06	c |    579609 |     180    15300   107100 | 2147483647    69374     54 |  0.003 % |
401.79/402.08	c |    583994 |     180    15300   107100 | 2147483647    73759     54 |  0.003 % |
405.89/406.10	c |    588818 |     180    15300   107100 | 2147483647    78583     54 |  0.003 % |
409.99/410.27	c |    594123 |     180    15300   107100 |    79766    72236     54 |  0.003 % |
410.09/410.34	c |    594224 |     180    15300   107100 |    79766    72337     54 |  0.003 % |
410.19/410.43	c |    594335 |     180    15300   107100 |    79766    72448     54 |  0.003 % |
410.29/410.54	c |    594456 |     180    15300   107100 |    79766    72569     54 |  0.003 % |
410.39/410.66	c |    594591 |     180    15300   107100 |    79766    72704     54 |  0.003 % |
410.59/410.81	c |    594738 |     180    15300   107100 |    79766    72851     54 |  0.003 % |
410.69/410.97	c |    594899 |     180    15300   107100 |    79766    73012     54 |  0.003 % |
410.89/411.12	c |    595076 |     180    15300   107100 |    79766    73189     54 |  0.003 % |
410.99/411.29	c |    595270 |     180    15300   107100 |    79766    73383     54 |  0.003 % |
411.19/411.48	c |    595482 |     180    15300   107100 |    79766    73595     54 |  0.003 % |
411.39/411.68	c |    595715 |     180    15300   107100 |    79766    73828     54 |  0.003 % |
411.59/411.89	c |    595972 |     180    15300   107100 |    79766    74085     54 |  0.003 % |
411.89/412.11	c |    596254 |     180    15300   107100 |    79766    74367     54 |  0.003 % |
412.19/412.40	c |    596568 |     180    15300   107100 |    79766    74681     54 |  0.003 % |
412.49/412.71	c |    596909 |     180    15300   107100 |    79766    75022     54 |  0.003 % |
412.79/413.03	c |    597282 |     180    15300   107100 |    79766    75395     54 |  0.003 % |
413.19/413.40	c |    597694 |     180    15300   107100 |    79766    75807     54 |  0.003 % |
413.49/413.77	c |    598146 |     180    15300   107100 |    79766    76259     54 |  0.003 % |
413.98/414.24	c |    598640 |     180    15300   107100 |    79766    76753     54 |  0.003 % |
414.38/414.66	c |    599184 |     180    15300   107100 |    79766    77297     54 |  0.003 % |
414.88/415.15	c |    599781 |     180    15300   107100 |    79766    77894     54 |  0.003 % |
415.48/415.75	c |    600437 |     180    15300   107100 |    78113    66313     54 |  0.003 % |
415.98/416.27	c |    601160 |     180    15300   107100 |    78113    67036     54 |  0.003 % |
416.58/416.82	c |    601953 |     180    15300   107100 |    78113    67829     54 |  0.003 % |
417.18/417.46	c |    602824 |     180    15300   107100 |    78113    68700     54 |  0.003 % |
417.89/418.14	c |    603784 |     180    15300   107100 |    78113    69660     54 |  0.003 % |
418.58/418.89	c |    604837 |     180    15300   107100 |    78113    70713     54 |  0.003 % |
419.48/419.70	c |    605996 |     180    15300   107100 |    78113    71872     54 |  0.003 % |
420.38/420.60	c |    607273 |     180    15300   107100 |    78113    73149     54 |  0.003 % |
421.38/421.69	c |    608673 |     180    15300   107100 |    78113    74549     54 |  0.003 % |
422.68/422.95	c |    610214 |     180    15300   107100 |    75876    65278     54 |  0.003 % |
423.88/424.11	c |    611909 |     180    15300   107100 |    75876    66973     54 |  0.003 % |
425.08/425.37	c |    613772 |     180    15300   107100 |    75876    68836     54 |  0.003 % |
426.48/426.76	c |    615823 |     180    15300   107100 |    75876    70887     54 |  0.003 % |
428.08/428.35	c |    618077 |     180    15300   107100 |    75876    73141     54 |  0.003 % |
429.88/430.11	c |    620557 |     180    15300   107100 |    75064    65906     54 |  0.003 % |
431.68/431.97	c |    623282 |     180    15300   107100 |    75064    68631     54 |  0.003 % |
433.68/433.96	c |    626282 |     180    15300   107100 |    75064    71631     54 |  0.003 % |
436.08/436.34	c |    629578 |     180    15300   107100 |    75064    74927     54 |  0.003 % |
438.48/438.70	c |    633204 |     180    15300   107100 |    65547    60219     54 |  0.003 % |
440.98/441.21	c |    637192 |     180    15300   107100 |    65547    64207     54 |  0.003 % |
443.68/443.95	c |    641577 |     180    15300   107100 | 2147483647    62029     54 |  0.003 % |
446.68/446.98	c |    646401 |     180    15300   107100 | 2147483647    66853     54 |  0.003 % |
450.37/450.67	c |    651708 |     180    15300   107100 | 2147483647    72160     54 |  0.003 % |
454.87/455.17	c |    657543 |     180    15300   107100 | 2147483647    77995     54 |  0.003 % |
454.97/455.28	c |    657647 |     180    15300   107100 | 2147483647    78099     54 |  0.003 % |
455.07/455.38	c |    657757 |     180    15300   107100 | 2147483647    78209     54 |  0.003 % |
455.18/455.50	c |    657879 |     180    15300   107100 | 2147483647    78331     54 |  0.003 % |
455.37/455.62	c |    658013 |     180    15300   107100 | 2147483647    78465     54 |  0.003 % |
455.47/455.77	c |    658162 |     180    15300   107100 | 2147483647    78614     54 |  0.003 % |
455.67/455.92	c |    658322 |     180    15300   107100 | 2147483647    78774     54 |  0.003 % |
455.77/456.09	c |    658499 |     180    15300   107100 | 2147483647    78951     54 |  0.003 % |
455.97/456.29	c |    658694 |     180    15300   107100 | 2147483647    79146     54 |  0.003 % |
456.17/456.48	c |    658908 |     180    15300   107100 | 2147483647    79360     54 |  0.003 % |
456.47/456.74	c |    659143 |     180    15300   107100 | 2147483647    79595     54 |  0.003 % |
456.67/456.98	c |    659399 |     180    15300   107100 | 2147483647    79851     54 |  0.003 % |
456.97/457.23	c |    659680 |     180    15300   107100 | 2147483647    80132     54 |  0.003 % |
457.27/457.51	c |    659989 |     180    15300   107100 | 2147483647    80441     54 |  0.003 % |
457.57/457.88	c |    660328 |     180    15300   107100 |    80452    68600     54 |  0.003 % |
457.87/458.16	c |    660700 |     180    15300   107100 |    80452    68972     54 |  0.003 % |
458.17/458.46	c |    661109 |     180    15300   107100 |    80452    69381     54 |  0.003 % |
458.58/458.85	c |    661562 |     180    15300   107100 |    80452    69834     54 |  0.003 % |
459.07/459.34	c |    662056 |     180    15300   107100 |    80452    70328     54 |  0.003 % |
459.58/459.87	c |    662599 |     180    15300   107100 |    80452    70871     54 |  0.003 % |
460.17/460.40	c |    663197 |     180    15300   107100 |    80452    71469     54 |  0.003 % |
460.67/460.98	c |    663852 |     180    15300   107100 |    80452    72124     54 |  0.003 % |
461.27/461.52	c |    664573 |     180    15300   107100 |    80452    72845     54 |  0.003 % |
461.87/462.18	c |    665366 |     180    15300   107100 |    80452    73638     54 |  0.003 % |
462.57/462.86	c |    666238 |     180    15300   107100 |    80452    74510     54 |  0.003 % |
463.47/463.70	c |    667198 |     180    15300   107100 |    80452    75470     54 |  0.003 % |
464.27/464.54	c |    668252 |     180    15300   107100 |    80452    76524     54 |  0.003 % |
465.27/465.54	c |    669412 |     180    15300   107100 |    80452    77684     54 |  0.003 % |
466.37/466.67	c |    670686 |     180    15300   107100 |    78274    66057     54 |  0.003 % |
467.27/467.59	c |    672087 |     180    15300   107100 |    78274    67458     54 |  0.003 % |
468.67/468.93	c |    673630 |     180    15300   107100 |    78274    69001     54 |  0.003 % |
469.97/470.26	c |    675324 |     180    15300   107100 |    78274    70695     54 |  0.003 % |
471.57/471.82	c |    677187 |     180    15300   107100 |    78274    72558     54 |  0.003 % |
473.27/473.55	c |    679238 |     180    15300   107100 |    78274    74609     54 |  0.003 % |
474.97/475.20	c |    681493 |     180    15300   107100 |    75371    65169     54 |  0.003 % |
476.57/476.88	c |    683973 |     180    15300   107100 |    75371    67649     54 |  0.003 % |
478.57/478.89	c |    686698 |     180    15300   107100 |    75371    70374     54 |  0.003 % |
480.86/481.15	c |    689696 |     180    15300   107100 |    75371    73372     54 |  0.003 % |
483.36/483.66	c |    692993 |     180    15300   107100 |    73676    67155     54 |  0.003 % |
485.97/486.27	c |    696619 |     180    15300   107100 |    73676    70781     54 |  0.003 % |
488.76/489.09	c |    700606 |     180    15300   107100 |    65399    58352     54 |  0.003 % |
491.57/491.82	c |    704993 |     180    15300   107100 |    65399    62739     54 |  0.003 % |
494.66/494.90	c |    709818 |     180    15300   107100 |    65399    61016     54 |  0.003 % |
498.16/498.42	c |    715123 |     180    15300   107100 | 2147483647    66321     54 |  0.003 % |
502.17/502.48	c |    720959 |     180    15300   107100 | 2147483647    72157     54 |  0.003 % |
506.97/507.27	c |    727380 |     180    15300   107100 | 2147483647    78578     54 |  0.003 % |
507.07/507.37	c |    727482 |     180    15300   107100 | 2147483647    78680     54 |  0.003 % |
507.17/507.47	c |    727592 |     180    15300   107100 | 2147483647    78790     54 |  0.003 % |
507.37/507.60	c |    727714 |     180    15300   107100 | 2147483647    78912     54 |  0.003 % |
507.47/507.71	c |    727848 |     180    15300   107100 | 2147483647    79046     54 |  0.003 % |
507.57/507.87	c |    727995 |     180    15300   107100 | 2147483647    79193     54 |  0.003 % |
507.77/508.02	c |    728157 |     180    15300   107100 | 2147483647    79355     54 |  0.003 % |
507.87/508.18	c |    728334 |     180    15300   107100 | 2147483647    79532     54 |  0.003 % |
508.07/508.35	c |    728528 |     180    15300   107100 | 2147483647    79726     54 |  0.003 % |
508.27/508.56	c |    728741 |     180    15300   107100 | 2147483647    79939     54 |  0.003 % |
508.57/508.81	c |    728974 |     180    15300   107100 | 2147483647    80172     54 |  0.003 % |
508.77/509.08	c |    729230 |     180    15300   107100 | 2147483647    80428     54 |  0.003 % |
509.07/509.31	c |    729512 |     180    15300   107100 | 2147483647    80710     54 |  0.003 % |
509.37/509.66	c |    729821 |     180    15300   107100 | 2147483647    81019     54 |  0.003 % |
509.77/510.09	c |    730162 |     180    15300   107100 |    81198    68602     54 |  0.003 % |
510.07/510.38	c |    730535 |     180    15300   107100 |    81198    68975     54 |  0.003 % |
510.47/510.75	c |    730944 |     180    15300   107100 |    81198    69384     54 |  0.003 % |
510.87/511.13	c |    731393 |     180    15300   107100 |    81198    69833     54 |  0.003 % |
511.17/511.50	c |    731886 |     180    15300   107100 |    81198    70326     54 |  0.003 % |
511.57/511.88	c |    732428 |     180    15300   107100 |    81198    70868     54 |  0.003 % |
512.07/512.34	c |    733025 |     180    15300   107100 |    81198    71465     54 |  0.003 % |
512.67/512.90	c |    733681 |     180    15300   107100 |    81198    72121     54 |  0.003 % |
513.17/513.47	c |    734401 |     180    15300   107100 |    81198    72841     54 |  0.003 % |
513.76/514.10	c |    735193 |     180    15300   107100 |    81198    73633     54 |  0.003 % |
514.46/514.79	c |    736064 |     180    15300   107100 |    81198    74504     54 |  0.003 % |
515.27/515.59	c |    737022 |     180    15300   107100 |    81198    75462     54 |  0.003 % |
516.06/516.38	c |    738075 |     180    15300   107100 |    81198    76515     54 |  0.003 % |
517.26/517.51	c |    739233 |     180    15300   107100 |    81198    77673     54 |  0.003 % |
518.46/518.70	c |    740506 |     180    15300   107100 |    78442    66223     54 |  0.003 % |
519.46/519.74	c |    741906 |     180    15300   107100 |    78442    67623     54 |  0.003 % |
520.66/520.91	c |    743447 |     180    15300   107100 |    78442    69164     54 |  0.003 % |
522.06/522.36	c |    745142 |     180    15300   107100 |    78442    70859     54 |  0.003 % |
523.47/523.76	c |    747005 |     180    15300   107100 |    78442    72722     54 |  0.003 % |
525.16/525.42	c |    749055 |     180    15300   107100 |    78442    74772     54 |  0.003 % |
526.76/527.02	c |    751308 |     180    15300   107100 |    75718    65624     54 |  0.003 % |
528.46/528.78	c |    753786 |     180    15300   107100 |    75718    68102     54 |  0.003 % |
530.36/530.69	c |    756512 |     180    15300   107100 |    75718    70828     54 |  0.003 % |
532.76/533.02	c |    759509 |     180    15300   107100 |    75718    73825     54 |  0.003 % |
535.16/535.47	c |    762806 |     180    15300   107100 |    74316    66554     54 |  0.003 % |
537.66/537.94	c |    766431 |     180    15300   107100 |    74316    70179     54 |  0.003 % |
540.56/540.86	c |    770418 |     180    15300   107100 |    73749    64662     54 |  0.003 % |
543.46/543.71	c |    774804 |     180    15300   107100 |    73749    69048     54 |  0.003 % |
547.05/547.39	c |    779629 |     180    15300   107100 |    73749    65233     53 |  0.003 % |
550.25/550.55	c |    784934 |     180    15300   107100 |    65604    62945     53 |  0.003 % |
553.85/554.16	c |    790769 |     180    15300   107100 | 2147483647    62212     53 |  0.003 % |
558.05/558.38	c |    797188 |     180    15300   107100 | 2147483647    68631     54 |  0.003 % |
563.05/563.38	c |    804247 |     180    15300   107100 | 2147483647    75690     54 |  0.003 % |
563.15/563.46	c |    804349 |     180    15300   107100 | 2147483647    75792     54 |  0.003 % |
563.25/563.57	c |    804460 |     180    15300   107100 | 2147483647    75903     54 |  0.003 % |
563.35/563.67	c |    804582 |     180    15300   107100 | 2147483647    76025     54 |  0.003 % |
563.55/563.82	c |    804715 |     180    15300   107100 | 2147483647    76158     54 |  0.003 % |
563.65/563.97	c |    804861 |     180    15300   107100 | 2147483647    76304     54 |  0.003 % |
563.85/564.12	c |    805022 |     180    15300   107100 | 2147483647    76465     54 |  0.003 % |
564.05/564.30	c |    805199 |     180    15300   107100 | 2147483647    76642     54 |  0.003 % |
564.15/564.46	c |    805393 |     180    15300   107100 | 2147483647    76836     54 |  0.003 % |
564.35/564.66	c |    805605 |     180    15300   107100 | 2147483647    77048     54 |  0.003 % |
564.55/564.84	c |    805840 |     180    15300   107100 | 2147483647    77283     54 |  0.003 % |
564.75/565.07	c |    806098 |     180    15300   107100 | 2147483647    77541     54 |  0.003 % |
565.05/565.36	c |    806381 |     180    15300   107100 | 2147483647    77824     54 |  0.003 % |
565.35/565.63	c |    806690 |     180    15300   107100 | 2147483647    78133     54 |  0.003 % |
565.65/565.91	c |    807030 |     180    15300   107100 | 2147483647    78473     54 |  0.003 % |
565.95/566.26	c |    807403 |     180    15300   107100 | 2147483647    78846     54 |  0.003 % |
566.35/566.69	c |    807812 |     180    15300   107100 | 2147483647    79255     54 |  0.003 % |
566.85/567.16	c |    808261 |     180    15300   107100 | 2147483647    79704     54 |  0.003 % |
567.25/567.58	c |    808754 |     180    15300   107100 | 2147483647    80197     54 |  0.003 % |
567.75/568.02	c |    809298 |     180    15300   107100 | 2147483647    80741     54 |  0.003 % |
568.14/568.46	c |    809895 |     180    15300   107100 | 2147483647    81338     54 |  0.003 % |
568.74/569.04	c |    810550 |     180    15300   107100 |    81444    68977     54 |  0.003 % |
569.34/569.65	c |    811270 |     180    15300   107100 |    81444    69697     54 |  0.003 % |
569.94/570.29	c |    812063 |     180    15300   107100 |    81444    70490     54 |  0.003 % |
570.75/571.01	c |    812935 |     180    15300   107100 |    81444    71362     54 |  0.003 % |
571.44/571.78	c |    813893 |     180    15300   107100 |    81444    72320     54 |  0.003 % |
572.34/572.68	c |    814949 |     180    15300   107100 |    81444    73376     54 |  0.003 % |
573.24/573.54	c |    816108 |     180    15300   107100 |    81444    74535     54 |  0.003 % |
574.34/574.61	c |    817381 |     180    15300   107100 |    81444    75808     54 |  0.003 % |
575.44/575.72	c |    818781 |     180    15300   107100 |    81444    77208     54 |  0.003 % |
576.84/577.13	c |    820321 |     180    15300   107100 |    78431    65668     54 |  0.003 % |
578.04/578.33	c |    822015 |     180    15300   107100 |    78431    67362     54 |  0.003 % |
579.55/579.87	c |    823880 |     180    15300   107100 |    78431    69227     54 |  0.003 % |
581.24/581.51	c |    825930 |     180    15300   107100 |    78431    71277     54 |  0.003 % |
582.85/583.13	c |    828183 |     180    15300   107100 |    78431    73530     54 |  0.003 % |
584.54/584.87	c |    830665 |     180    15300   107100 |    75349    64874     54 |  0.003 % |
586.34/586.69	c |    833390 |     180    15300   107100 |    75349    67599     54 |  0.003 % |
588.45/588.73	c |    836387 |     180    15300   107100 |    75349    70596     54 |  0.003 % |
590.85/591.10	c |    839684 |     180    15300   107100 |    75349    73893     54 |  0.003 % |
593.35/593.61	c |    843309 |     180    15300   107100 |    74209    68197     54 |  0.003 % |
596.15/596.42	c |    847298 |     180    15300   107100 |    74209    72186     54 |  0.003 % |
599.55/599.82	c |    851684 |     180    15300   107100 |    65178    58358     54 |  0.003 % |
602.74/603.03	c |    856507 |     180    15300   107100 |    65178    63181     54 |  0.003 % |
606.14/606.43	c |    861812 |     180    15300   107100 |    59830    55527     54 |  0.003 % |
609.44/609.74	c |    867648 |     180    15300   107100 |    59830    55372     54 |  0.003 % |
613.14/613.43	c |    874068 |     180    15300   107100 | 2147483647    61792     54 |  0.003 % |
617.64/617.93	c |    881127 |     180    15300   107100 | 2147483647    68851     54 |  0.003 % |
623.34/623.66	c |    888893 |     180    15300   107100 | 2147483647    76617     54 |  0.003 % |
623.44/623.74	c |    888993 |     180    15300   107100 | 2147483647    76717     54 |  0.003 % |
623.54/623.83	c |    889104 |     180    15300   107100 | 2147483647    76828     54 |  0.003 % |
623.64/623.94	c |    889225 |     180    15300   107100 | 2147483647    76949     54 |  0.003 % |
623.74/624.05	c |    889359 |     180    15300   107100 | 2147483647    77083     54 |  0.003 % |
623.84/624.17	c |    889506 |     180    15300   107100 | 2147483647    77230     54 |  0.003 % |
624.04/624.36	c |    889666 |     180    15300   107100 | 2147483647    77390     54 |  0.003 % |
624.24/624.53	c |    889842 |     180    15300   107100 | 2147483647    77566     54 |  0.003 % |
624.44/624.70	c |    890035 |     180    15300   107100 |    77724    77759     54 |  0.003 % |
624.64/624.95	c |    890248 |     180    15300   107100 |    77724    67661     54 |  0.003 % |
624.84/625.15	c |    890483 |     180    15300   107100 |    77724    67896     54 |  0.003 % |
625.04/625.35	c |    890740 |     180    15300   107100 |    77724    68153     54 |  0.003 % |
625.24/625.58	c |    891021 |     180    15300   107100 |    77724    68434     54 |  0.003 % |
625.54/625.87	c |    891330 |     180    15300   107100 |    77724    68743     54 |  0.003 % |
625.84/626.18	c |    891673 |     180    15300   107100 |    77724    69086     54 |  0.003 % |
626.14/626.45	c |    892046 |     180    15300   107100 |    77724    69459     54 |  0.003 % |
626.44/626.79	c |    892455 |     180    15300   107100 |    77724    69868     54 |  0.003 % |
626.84/627.17	c |    892905 |     180    15300   107100 |    77724    70318     54 |  0.003 % |
627.24/627.56	c |    893400 |     180    15300   107100 |    77724    70813     54 |  0.003 % |
627.64/627.99	c |    893942 |     180    15300   107100 |    77724    71355     54 |  0.003 % |
628.14/628.44	c |    894540 |     180    15300   107100 |    77724    71953     54 |  0.003 % |
628.73/629.02	c |    895195 |     180    15300   107100 |    77724    72608     54 |  0.003 % |
629.33/629.60	c |    895915 |     180    15300   107100 |    77724    73328     54 |  0.003 % |
630.04/630.31	c |    896707 |     180    15300   107100 |    77724    74120     54 |  0.003 % |
630.73/631.05	c |    897578 |     180    15300   107100 |    77724    74991     54 |  0.003 % |
631.63/631.90	c |    898536 |     180    15300   107100 |    77724    75949     54 |  0.003 % |
632.53/632.84	c |    899589 |     180    15300   107100 |    77724    77002     54 |  0.003 % |
633.63/633.90	c |    900747 |     180    15300   107100 |    77413    65642     54 |  0.003 % |
634.54/634.84	c |    902020 |     180    15300   107100 |    77413    66915     54 |  0.003 % |
635.64/635.97	c |    903420 |     180    15300   107100 |    77413    68315     54 |  0.003 % |
636.74/637.04	c |    904962 |     180    15300   107100 |    77413    69857     54 |  0.003 % |
637.93/638.28	c |    906657 |     180    15300   107100 |    77413    71552     54 |  0.003 % |
639.53/639.80	c |    908520 |     180    15300   107100 |    77413    73415     54 |  0.003 % |
641.14/641.48	c |    910570 |     180    15300   107100 |    74895    64572     54 |  0.003 % |
642.93/643.22	c |    912824 |     180    15300   107100 |    74895    66826     54 |  0.003 % |
644.63/645.00	c |    915303 |     180    15300   107100 |    74895    69305     54 |  0.003 % |
646.83/647.10	c |    918028 |     180    15300   107100 |    74895    72030     54 |  0.003 % |
649.33/649.66	c |    921028 |     180    15300   107100 |    74003    64501     53 |  0.003 % |
651.93/652.22	c |    924325 |     180    15300   107100 |    74003    67798     53 |  0.003 % |
654.73/655.02	c |    927951 |     180    15300   107100 |    74003    71424     53 |  0.003 % |
657.53/657.86	c |    931939 |     180    15300   107100 |    73474    65321     53 |  0.003 % |
660.53/660.80	c |    936326 |     180    15300   107100 |    73474    69708     53 |  0.003 % |
664.13/664.41	c |    941151 |     180    15300   107100 |    73383    65386     53 |  0.003 % |
667.72/668.01	c |    946456 |     180    15300   107100 |    73383    70691     53 |  0.003 % |
671.62/671.93	c |    952292 |     180    15300   107100 |    65516    60090     53 |  0.003 % |
675.92/676.20	c |    958711 |     180    15300   107100 |    65516    59950     54 |  0.003 % |
680.92/681.26	c |    965770 |     180    15300   107100 | 2147483647    67009     54 |  0.003 % |
686.53/686.88	c |    973536 |     180    15300   107100 |    71240    67195     54 |  0.003 % |
692.12/692.40	c |    982076 |     180    15300   107100 |    65129    59697     54 |  0.003 % |
692.12/692.47	c |    982177 |     180    15300   107100 |    65129    59798     54 |  0.003 % |
692.22/692.53	c |    982288 |     180    15300   107100 |    65129    59909     54 |  0.003 % |
692.32/692.60	c |    982410 |     180    15300   107100 |    65129    60031     54 |  0.003 % |
692.32/692.69	c |    982543 |     180    15300   107100 |    65129    60164     54 |  0.003 % |
692.52/692.82	c |    982690 |     180    15300   107100 |    65129    60311     54 |  0.003 % |
692.62/692.94	c |    982851 |     180    15300   107100 |    65129    60472     54 |  0.003 % |
692.73/693.09	c |    983027 |     180    15300   107100 |    65129    60648     54 |  0.003 % |
692.92/693.25	c |    983220 |     180    15300   107100 |    65129    60841     54 |  0.003 % |
693.02/693.39	c |    983433 |     180    15300   107100 |    65129    61054     54 |  0.003 % |
693.22/693.57	c |    983667 |     180    15300   107100 |    65129    61288     54 |  0.003 % |
693.42/693.73	c |    983924 |     180    15300   107100 |    65129    61545     54 |  0.003 % |
693.62/693.92	c |    984205 |     180    15300   107100 |    65129    61826     54 |  0.003 % |
693.83/694.13	c |    984514 |     180    15300   107100 |    65129    62135     54 |  0.003 % |
694.02/694.37	c |    984853 |     180    15300   107100 |    65129    62474     54 |  0.003 % |
694.32/694.65	c |    985226 |     180    15300   107100 |    65129    62847     54 |  0.003 % |
694.62/694.92	c |    985635 |     180    15300   107100 |    65129    63256     54 |  0.003 % |
694.93/695.21	c |    986086 |     180    15300   107100 |    65129    63707     54 |  0.003 % |
695.32/695.65	c |    986579 |     180    15300   107100 |    65129    64200     54 |  0.003 % |
695.82/696.13	c |    987122 |     180    15300   107100 |    65129    64743     54 |  0.003 % |
696.32/696.64	c |    987719 |     180    15300   107100 |    65129    58488     54 |  0.003 % |
696.72/697.07	c |    988374 |     180    15300   107100 |    65129    59143     54 |  0.003 % |
697.23/697.56	c |    989094 |     180    15300   107100 |    65129    59863     54 |  0.003 % |
697.82/698.15	c |    989886 |     180    15300   107100 |    65129    60655     54 |  0.003 % |
698.42/698.75	c |    990757 |     180    15300   107100 |    60771    55333     54 |  0.003 % |
699.02/699.36	c |    991715 |     180    15300   107100 |    60771    56291     54 |  0.003 % |
699.72/700.00	c |    992768 |     180    15300   107100 |    60771    57344     54 |  0.003 % |
700.32/700.65	c |    993928 |     180    15300   107100 |    60771    58504     54 |  0.003 % |
701.12/701.41	c |    995202 |     180    15300   107100 |    60771    59778     54 |  0.003 % |
701.92/702.26	c |    996602 |     180    15300   107100 |    60771    55093     54 |  0.003 % |
702.73/703.09	c |    998143 |     180    15300   107100 |    60771    56634     54 |  0.003 % |
703.62/703.99	c |    999837 |     180    15300   107100 |    60771    58328     54 |  0.003 % |
704.72/705.09	c |   1001701 |     180    15300   107100 | 2147483647    60192     54 |  0.003 % |
706.12/706.44	c |   1003753 |     180    15300   107100 | 2147483647    62244     54 |  0.003 % |
707.62/707.96	c |   1006007 |     180    15300   107100 | 2147483647    64498     54 |  0.003 % |
709.42/709.71	c |   1008486 |     180    15300   107100 | 2147483647    66977     54 |  0.003 % |
711.32/711.70	c |   1011212 |     180    15300   107100 | 2147483647    69703     54 |  0.003 % |
713.42/713.73	c |   1014210 |     180    15300   107100 | 2147483647    72701     54 |  0.003 % |
715.92/716.25	c |   1017507 |     180    15300   107100 | 2147483647    75998     54 |  0.003 % |
719.12/719.46	c |   1021132 |     180    15300   107100 |    78492    68741     54 |  0.003 % |
722.31/722.60	c |   1025120 |     180    15300   107100 |    78492    72729     54 |  0.003 % |
725.61/725.97	c |   1029506 |     180    15300   107100 |    78492    77115     54 |  0.003 % |
729.31/729.63	c |   1034330 |     180    15300   107100 |    77610    69863     54 |  0.003 % |
733.21/733.54	c |   1039636 |     180    15300   107100 |    77610    75169     54 |  0.003 % |
737.51/737.85	c |   1045472 |     180    15300   107100 |    75533    70255     54 |  0.003 % |
742.81/743.17	c |   1051890 |     180    15300   107100 |    74783    66280     54 |  0.003 % |
748.20/748.50	c |   1058949 |     180    15300   107100 |    74783    73339     54 |  0.003 % |
754.10/754.49	c |   1066714 |     180    15300   107100 |    74392    71109     54 |  0.003 % |
760.40/760.76	c |   1075255 |     180    15300   107100 |    74395    69773     54 |  0.003 % |
767.50/767.86	c |   1084649 |     180    15300   107100 |    65189    61699     54 |  0.003 % |
767.60/767.94	c |   1084749 |     180    15300   107100 |    65189    61799     54 |  0.003 % |
767.70/768.02	c |   1084859 |     180    15300   107100 |    65189    61909     54 |  0.003 % |
767.80/768.11	c |   1084982 |     180    15300   107100 |    65189    62032     54 |  0.003 % |
767.90/768.21	c |   1085116 |     180    15300   107100 |    65189    62166     54 |  0.003 % |
768.00/768.30	c |   1085263 |     180    15300   107100 |    65189    62313     54 |  0.003 % |
768.10/768.42	c |   1085423 |     180    15300   107100 |    65189    62473     54 |  0.003 % |
768.20/768.57	c |   1085599 |     180    15300   107100 |    65189    62649     54 |  0.003 % |
768.40/768.75	c |   1085793 |     180    15300   107100 |    65189    62843     54 |  0.003 % |
768.60/768.90	c |   1086006 |     180    15300   107100 |    65189    63056     54 |  0.003 % |
768.70/769.09	c |   1086239 |     180    15300   107100 |    65189    63289     54 |  0.003 % |
768.90/769.27	c |   1086496 |     180    15300   107100 |    65189    63546     54 |  0.003 % |
769.20/769.51	c |   1086777 |     180    15300   107100 |    65189    63827     54 |  0.003 % |
769.40/769.73	c |   1087088 |     180    15300   107100 |    65189    64138     54 |  0.003 % |
769.70/770.01	c |   1087427 |     180    15300   107100 |    65189    64477     54 |  0.003 % |
770.00/770.31	c |   1087802 |     180    15300   107100 |    65189    64852     54 |  0.003 % |
770.30/770.65	c |   1088212 |     180    15300   107100 |    65189    65262     54 |  0.003 % |
770.70/771.05	c |   1088662 |     180    15300   107100 |    65189    58859     54 |  0.003 % |
771.10/771.40	c |   1089157 |     180    15300   107100 |    65189    59354     54 |  0.003 % |
771.40/771.74	c |   1089699 |     180    15300   107100 |    65189    59896     54 |  0.003 % |
771.80/772.20	c |   1090295 |     180    15300   107100 |    60199    54235     54 |  0.003 % |
772.20/772.57	c |   1090950 |     180    15300   107100 |    60199    54890     54 |  0.003 % |
772.60/772.96	c |   1091670 |     180    15300   107100 |    60199    55610     54 |  0.003 % |
773.10/773.41	c |   1092462 |     180    15300   107100 |    60199    56402     54 |  0.003 % |
773.50/773.87	c |   1093333 |     180    15300   107100 |    60199    57273     54 |  0.003 % |
774.10/774.43	c |   1094292 |     180    15300   107100 |    60199    58232     54 |  0.003 % |
774.70/775.09	c |   1095345 |     180    15300   107100 |    60199    59285     54 |  0.003 % |
775.50/775.89	c |   1096505 |     180    15300   107100 |    60199    54417     53 |  0.003 % |
776.30/776.69	c |   1097779 |     180    15300   107100 |    60199    55691     53 |  0.003 % |
777.20/777.51	c |   1099180 |     180    15300   107100 |    60199    57092     54 |  0.003 % |
778.20/778.54	c |   1100720 |     180    15300   107100 | 2147483647    58632     54 |  0.003 % |
779.30/779.66	c |   1102414 |     180    15300   107100 | 2147483647    60326     53 |  0.003 % |
780.50/780.81	c |   1104277 |     180    15300   107100 | 2147483647    62189     53 |  0.003 % |
781.81/782.11	c |   1106326 |     180    15300   107100 | 2147483647    64238     54 |  0.003 % |
783.20/783.52	c |   1108579 |     180    15300   107100 | 2147483647    66491     54 |  0.003 % |
784.90/785.25	c |   1111059 |     180    15300   107100 | 2147483647    68971     54 |  0.003 % |
786.90/787.20	c |   1113787 |     180    15300   107100 | 2147483647    71699     54 |  0.003 % |
789.10/789.43	c |   1116787 |     180    15300   107100 | 2147483647    74699     54 |  0.003 % |
791.80/792.13	c |   1120085 |     180    15300   107100 |    77912    67848     54 |  0.003 % |
794.40/794.74	c |   1123711 |     180    15300   107100 |    77912    71474     54 |  0.003 % |
797.60/797.94	c |   1127698 |     180    15300   107100 |    77912    75461     54 |  0.003 % |
800.90/801.25	c |   1132083 |     180    15300   107100 |    77763    68139     54 |  0.003 % |
804.40/804.77	c |   1136907 |     180    15300   107100 |    77763    72963     54 |  0.003 % |
808.30/808.68	c |   1142213 |     180    15300   107100 |    76056    66916     54 |  0.003 % |
812.49/812.85	c |   1148048 |     180    15300   107100 |    76056    72751     54 |  0.003 % |
817.10/817.47	c |   1154466 |     180    15300   107100 |    74704    69483     54 |  0.003 % |
822.29/822.63	c |   1161526 |     180    15300   107100 |    65157    58144     54 |  0.003 % |
827.69/828.07	c |   1169290 |     180    15300   107100 |    65157    58839     54 |  0.003 % |
832.59/832.91	c |   1177831 |     180    15300   107100 |    59550    55165     54 |  0.003 % |
838.59/838.95	c |   1187226 |     180    15300   107100 | 2147483647    64560     54 |  0.003 % |
846.08/846.46	c |   1197559 |     180    15300   107100 | 2147483647    74893     54 |  0.003 % |
846.18/846.56	c |   1197659 |     180    15300   107100 | 2147483647    74993     54 |  0.003 % |
846.28/846.68	c |   1197771 |     180    15300   107100 | 2147483647    75105     54 |  0.003 % |
846.48/846.82	c |   1197895 |     180    15300   107100 | 2147483647    75229     54 |  0.003 % |
846.58/846.92	c |   1198029 |     180    15300   107100 | 2147483647    75363     54 |  0.003 % |
846.69/847.07	c |   1198175 |     180    15300   107100 | 2147483647    75509     54 |  0.003 % |
846.88/847.21	c |   1198336 |     180    15300   107100 | 2147483647    75670     54 |  0.003 % |
846.98/847.37	c |   1198513 |     180    15300   107100 | 2147483647    75847     54 |  0.003 % |
847.18/847.58	c |   1198707 |     180    15300   107100 | 2147483647    76041     54 |  0.003 % |
847.48/847.81	c |   1198921 |     180    15300   107100 | 2147483647    76255     54 |  0.003 % |
847.58/848.00	c |   1199154 |     180    15300   107100 | 2147483647    76488     54 |  0.003 % |
847.89/848.25	c |   1199410 |     180    15300   107100 | 2147483647    76744     54 |  0.003 % |
848.18/848.54	c |   1199691 |     180    15300   107100 | 2147483647    77025     54 |  0.003 % |
848.38/848.79	c |   1200001 |     180    15300   107100 | 2147483647    77335     54 |  0.003 % |
848.89/849.23	c |   1200340 |     180    15300   107100 |    77335    67025     54 |  0.003 % |
849.18/849.58	c |   1200713 |     180    15300   107100 |    77335    67398     54 |  0.003 % |
849.58/849.95	c |   1201122 |     180    15300   107100 |    77335    67807     54 |  0.003 % |
849.99/850.35	c |   1201571 |     180    15300   107100 |    77335    68256     54 |  0.003 % |
850.48/850.85	c |   1202066 |     180    15300   107100 |    77335    68751     54 |  0.003 % |
850.98/851.35	c |   1202609 |     180    15300   107100 |    77335    69294     54 |  0.003 % |
851.48/851.86	c |   1203205 |     180    15300   107100 |    77335    69890     54 |  0.003 % |
851.98/852.37	c |   1203861 |     180    15300   107100 |    77335    70546     54 |  0.003 % |
852.68/853.01	c |   1204582 |     180    15300   107100 |    77335    71267     54 |  0.003 % |
853.48/853.83	c |   1205374 |     180    15300   107100 |    77335    72059     54 |  0.003 % |
854.28/854.60	c |   1206245 |     180    15300   107100 |    77335    72930     54 |  0.003 % |
855.08/855.46	c |   1207206 |     180    15300   107100 |    77335    73891     54 |  0.003 % |
855.98/856.40	c |   1208259 |     180    15300   107100 |    77335    74944     54 |  0.003 % |
857.08/857.44	c |   1209417 |     180    15300   107100 |    77335    76102     54 |  0.003 % |
858.18/858.51	c |   1210690 |     180    15300   107100 |    76686    64548     54 |  0.003 % |
859.08/859.46	c |   1212090 |     180    15300   107100 |    76686    65948     54 |  0.003 % |
860.28/860.66	c |   1213630 |     180    15300   107100 |    76686    67488     54 |  0.003 % |
861.48/861.81	c |   1215325 |     180    15300   107100 |    76686    69183     54 |  0.003 % |
862.88/863.21	c |   1217188 |     180    15300   107100 |    76686    71046     54 |  0.003 % |
864.48/864.84	c |   1219237 |     180    15300   107100 |    76686    73095     54 |  0.003 % |
866.18/866.50	c |   1221490 |     180    15300   107100 |    73858    65014     54 |  0.003 % |
867.98/868.36	c |   1223970 |     180    15300   107100 |    73858    67494     54 |  0.003 % |
870.08/870.40	c |   1226698 |     180    15300   107100 |    73858    70222     54 |  0.003 % |
872.18/872.50	c |   1229697 |     180    15300   107100 |    73858    73221     54 |  0.003 % |
874.38/874.79	c |   1232993 |     180    15300   107100 |    73524    66663     54 |  0.003 % |
876.87/877.22	c |   1236618 |     180    15300   107100 |    73524    70288     54 |  0.003 % |
879.78/880.12	c |   1240606 |     180    15300   107100 |    64499    57119     54 |  0.003 % |
882.57/882.99	c |   1244991 |     180    15300   107100 |    64499    61504     54 |  0.003 % |
885.58/885.99	c |   1249814 |     180    15300   107100 |    64499    59869     54 |  0.003 % |
889.28/889.66	c |   1255120 |     180    15300   107100 | 2147483647    65175     54 |  0.003 % |
893.58/893.93	c |   1260956 |     180    15300   107100 |    70055    63903     54 |  0.003 % |
898.48/898.89	c |   1267374 |     180    15300   107100 |    70055    62522     54 |  0.003 % |
903.08/903.43	c |   1274434 |     180    15300   107100 |    65148    62799     54 |  0.003 % |
907.88/908.22	c |   1282198 |     180    15300   107100 | 2147483647    64040     54 |  0.003 % |
913.58/913.99	c |   1290738 |     180    15300   107100 | 2147483647    72580     54 |  0.003 % |
921.47/921.84	c |   1300133 |     180    15300   107100 |    81845    69932     54 |  0.003 % |
929.07/929.50	c |   1310466 |     180    15300   107100 |    79802    68795     54 |  0.003 % |
938.67/939.06	c |   1321832 |     180    15300   107100 |    78329    67629     54 |  0.003 % |
938.77/939.13	c |   1321932 |     180    15300   107100 |    78329    67729     54 |  0.003 % |
938.87/939.22	c |   1322042 |     180    15300   107100 |    78329    67839     54 |  0.003 % |
938.97/939.32	c |   1322163 |     180    15300   107100 |    78329    67960     54 |  0.003 % |
939.07/939.41	c |   1322298 |     180    15300   107100 |    78329    68095     54 |  0.003 % |
939.17/939.52	c |   1322444 |     180    15300   107100 |    78329    68241     54 |  0.003 % |
939.27/939.66	c |   1322605 |     180    15300   107100 |    78329    68402     54 |  0.003 % |
939.46/939.80	c |   1322781 |     180    15300   107100 |    78329    68578     54 |  0.003 % |
939.56/939.96	c |   1322974 |     180    15300   107100 |    78329    68771     54 |  0.003 % |
939.76/940.14	c |   1323188 |     180    15300   107100 |    78329    68985     54 |  0.003 % |
939.96/940.33	c |   1323423 |     180    15300   107100 |    78329    69220     54 |  0.003 % |
940.27/940.62	c |   1323679 |     180    15300   107100 |    78329    69476     54 |  0.003 % |
940.46/940.85	c |   1323960 |     180    15300   107100 |    78329    69757     54 |  0.003 % |
940.76/941.10	c |   1324269 |     180    15300   107100 |    78329    70066     54 |  0.003 % |
940.96/941.37	c |   1324608 |     180    15300   107100 |    78329    70405     54 |  0.003 % |
941.27/941.66	c |   1324981 |     180    15300   107100 |    78329    70778     54 |  0.003 % |
941.56/941.98	c |   1325391 |     180    15300   107100 |    78329    71188     54 |  0.003 % |
941.96/942.37	c |   1325840 |     180    15300   107100 |    78329    71637     54 |  0.003 % |
942.37/942.77	c |   1326334 |     180    15300   107100 |    78329    72131     54 |  0.003 % |
942.76/943.13	c |   1326877 |     180    15300   107100 |    78329    72674     54 |  0.003 % |
943.16/943.56	c |   1327473 |     180    15300   107100 |    78329    73270     54 |  0.003 % |
943.66/944.09	c |   1328131 |     180    15300   107100 |    78329    73928     54 |  0.003 % |
944.26/944.65	c |   1328851 |     180    15300   107100 |    78329    74648     54 |  0.003 % |
944.86/945.25	c |   1329644 |     180    15300   107100 |    78329    75441     54 |  0.003 % |
945.66/946.03	c |   1330517 |     180    15300   107100 |    75797    64500     54 |  0.003 % |
946.26/946.63	c |   1331476 |     180    15300   107100 |    75797    65459     54 |  0.003 % |
946.86/947.27	c |   1332530 |     180    15300   107100 |    75797    66513     54 |  0.003 % |
947.56/947.96	c |   1333688 |     180    15300   107100 |    75797    67671     54 |  0.003 % |
948.46/948.83	c |   1334961 |     180    15300   107100 |    75797    68944     54 |  0.003 % |
949.36/949.75	c |   1336362 |     180    15300   107100 |    75797    70345     54 |  0.003 % |
950.36/950.72	c |   1337904 |     180    15300   107100 |    75797    71887     54 |  0.003 % |
951.46/951.88	c |   1339599 |     180    15300   107100 |    75797    73582     54 |  0.003 % |
952.86/953.23	c |   1341464 |     180    15300   107100 |    73983    66015     54 |  0.003 % |
954.16/954.52	c |   1343513 |     180    15300   107100 |    73983    68064     54 |  0.003 % |
955.56/955.98	c |   1345766 |     180    15300   107100 |    73983    70317     54 |  0.003 % |
957.26/957.67	c |   1348245 |     180    15300   107100 |    73983    72796     54 |  0.003 % |
959.26/959.65	c |   1350970 |     180    15300   107100 |    65526    58578     54 |  0.003 % |
960.95/961.38	c |   1353969 |     180    15300   107100 |    65526    61577     54 |  0.003 % |
962.95/963.32	c |   1357265 |     180    15300   107100 |    65526    64873     54 |  0.003 % |
965.15/965.53	c |   1360892 |     180    15300   107100 | 2147483647    61941     54 |  0.003 % |
967.55/967.90	c |   1364879 |     180    15300   107100 | 2147483647    65928     54 |  0.003 % |
970.45/970.84	c |   1369265 |     180    15300   107100 | 2147483647    70314     54 |  0.003 % |
974.26/974.67	c |   1374088 |     180    15300   107100 | 2147483647    75137     54 |  0.003 % |
978.35/978.78	c |   1379395 |     180    15300   107100 | 2147483647    80444     54 |  0.003 % |
982.65/983.08	c |   1385231 |     180    15300   107100 |    81050    73406     54 |  0.003 % |
987.75/988.14	c |   1391649 |     180    15300   107100 |    78176    67901     54 |  0.003 % |
993.05/993.47	c |   1398710 |     180    15300   107100 |    78176    74962     54 |  0.003 % |
999.24/999.68	c |   1406474 |     180    15300   107100 |    76254    71919     54 |  0.003 % |
1005.44/1005.89	c |   1415015 |     180    15300   107100 |    75445    70253     54 |  0.003 % |
1011.75/1012.13	c |   1424409 |     180    15300   107100 |    75238    69886     54 |  0.003 % |
1018.34/1018.71	c |   1434743 |     180    15300   107100 |    66094    62679     54 |  0.003 % |
1025.34/1025.74	c |   1446110 |     180    15300   107100 | 2147483647    67428     54 |  0.003 % |
1035.94/1036.32	c |   1458612 |     180    15300   107100 | 2147483647    79930     54 |  0.003 % |
1036.04/1036.41	c |   1458712 |     180    15300   107100 | 2147483647    80030     54 |  0.003 % |
1036.13/1036.51	c |   1458822 |     180    15300   107100 | 2147483647    80140     54 |  0.003 % |
1036.23/1036.62	c |   1458943 |     180    15300   107100 | 2147483647    80261     54 |  0.003 % |
1036.34/1036.75	c |   1459077 |     180    15300   107100 | 2147483647    80395     54 |  0.003 % |
1036.54/1036.92	c |   1459223 |     180    15300   107100 | 2147483647    80541     54 |  0.003 % |
1036.74/1037.11	c |   1459383 |     180    15300   107100 | 2147483647    80701     54 |  0.003 % |
1036.84/1037.29	c |   1459559 |     180    15300   107100 | 2147483647    80877     54 |  0.003 % |
1037.14/1037.52	c |   1459753 |     180    15300   107100 | 2147483647    81071     54 |  0.003 % |
1037.34/1037.75	c |   1459967 |     180    15300   107100 | 2147483647    81285     54 |  0.003 % |
1037.63/1038.06	c |   1460200 |     180    15300   107100 |    81318    68289     54 |  0.003 % |
1037.83/1038.29	c |   1460458 |     180    15300   107100 |    81318    68547     54 |  0.003 % |
1038.04/1038.49	c |   1460741 |     180    15300   107100 |    81318    68830     54 |  0.003 % |
1038.33/1038.73	c |   1461051 |     180    15300   107100 |    81318    69140     54 |  0.003 % |
1038.63/1039.04	c |   1461390 |     180    15300   107100 |    81318    69479     54 |  0.003 % |
1038.93/1039.35	c |   1461765 |     180    15300   107100 |    81318    69854     54 |  0.003 % |
1039.33/1039.72	c |   1462174 |     180    15300   107100 |    81318    70263     54 |  0.003 % |
1039.63/1040.09	c |   1462623 |     180    15300   107100 |    81318    70712     54 |  0.003 % |
1040.03/1040.48	c |   1463117 |     180    15300   107100 |    81318    71206     54 |  0.003 % |
1040.43/1040.89	c |   1463660 |     180    15300   107100 |    81318    71749     54 |  0.003 % |
1041.03/1041.41	c |   1464256 |     180    15300   107100 |    81318    72345     54 |  0.003 % |
1041.43/1041.88	c |   1464912 |     180    15300   107100 |    81318    73001     54 |  0.003 % |
1042.03/1042.46	c |   1465633 |     180    15300   107100 |    81318    73722     54 |  0.003 % |
1042.63/1043.05	c |   1466426 |     180    15300   107100 |    81318    74515     54 |  0.003 % |
1043.33/1043.73	c |   1467298 |     180    15300   107100 |    81318    75387     54 |  0.003 % |
1044.13/1044.51	c |   1468256 |     180    15300   107100 |    81318    76345     54 |  0.003 % |
1044.93/1045.38	c |   1469309 |     180    15300   107100 |    81318    77398     54 |  0.003 % |
1045.93/1046.40	c |   1470467 |     180    15300   107100 |    78090    66035     54 |  0.003 % |
1046.93/1047.31	c |   1471741 |     180    15300   107100 |    78090    67309     54 |  0.003 % |
1047.93/1048.31	c |   1473142 |     180    15300   107100 |    78090    68710     54 |  0.003 % |
1048.93/1049.32	c |   1474684 |     180    15300   107100 |    78090    70252     54 |  0.003 % |
1050.03/1050.45	c |   1476381 |     180    15300   107100 |    78090    71949     54 |  0.003 % |
1051.53/1051.97	c |   1478244 |     180    15300   107100 |    78090    73812     54 |  0.003 % |
1053.23/1053.67	c |   1480294 |     180    15300   107100 |    75569    64838     54 |  0.003 % |
1054.63/1055.09	c |   1482547 |     180    15300   107100 |    75569    67091     54 |  0.003 % |
1056.83/1057.24	c |   1485026 |     180    15300   107100 |    75569    69570     54 |  0.003 % |
1059.03/1059.45	c |   1487751 |     180    15300   107100 |    75569    72295     54 |  0.003 % |
1061.32/1061.73	c |   1490749 |     180    15300   107100 |    74544    64251     54 |  0.003 % |
1063.62/1064.03	c |   1494045 |     180    15300   107100 |    74544    67547     54 |  0.003 % |
1066.32/1066.72	c |   1497670 |     180    15300   107100 |    74544    71172     54 |  0.003 % |
1069.22/1069.62	c |   1501658 |     180    15300   107100 |    73502    65527     54 |  0.003 % |
1072.32/1072.77	c |   1506043 |     180    15300   107100 |    73502    69912     54 |  0.003 % |
1076.02/1076.49	c |   1510868 |     180    15300   107100 |    64121    56492     54 |  0.003 % |
1079.32/1079.78	c |   1516175 |     180    15300   107100 |    64121    61799     54 |  0.003 % |
1083.12/1083.55	c |   1522012 |     180    15300   107100 | 2147483647    61217     54 |  0.003 % |
1087.62/1088.01	c |   1528430 |     180    15300   107100 | 2147483647    67635     54 |  0.003 % |
1092.91/1093.39	c |   1535489 |     180    15300   107100 | 2147483647    74694     54 |  0.003 % |
1098.81/1099.24	c |   1543253 |     180    15300   107100 |    79205    71972     54 |  0.003 % |
1105.01/1105.42	c |   1551794 |     180    15300   107100 |    78719    69644     54 |  0.003 % |
1112.81/1113.26	c |   1561189 |     180    15300   107100 |    77852    67106     54 |  0.003 % |
1121.61/1122.01	c |   1571523 |     180    15300   107100 |    75917    65670     54 |  0.003 % |
1129.80/1130.28	c |   1582889 |     180    15300   107100 |    74149    66144     55 |  0.003 % |
1138.90/1139.40	c |   1595391 |     180    15300   107100 |    73255    69024     55 |  0.003 % |
1148.70/1149.13	c |   1609144 |     180    15300   107100 |    64285    58886     55 |  0.003 % |
1148.80/1149.20	c |   1609245 |     180    15300   107100 |    64285    58987     55 |  0.003 % |
1148.80/1149.29	c |   1609356 |     180    15300   107100 |    64285    59098     55 |  0.003 % |
1149.00/1149.40	c |   1609479 |     180    15300   107100 |    64285    59221     55 |  0.003 % |
1149.00/1149.49	c |   1609612 |     180    15300   107100 |    64285    59354     55 |  0.003 % |
1149.10/1149.60	c |   1609758 |     180    15300   107100 |    64285    59500     55 |  0.003 % |
1149.30/1149.71	c |   1609919 |     180    15300   107100 |    64285    59661     55 |  0.003 % |
1149.40/1149.83	c |   1610096 |     180    15300   107100 | 2147483647    59838     55 |  0.003 % |
1149.60/1150.00	c |   1610289 |     180    15300   107100 | 2147483647    60031     55 |  0.003 % |
1149.70/1150.15	c |   1610501 |     180    15300   107100 | 2147483647    60243     55 |  0.003 % |
1149.90/1150.34	c |   1610734 |     180    15300   107100 | 2147483647    60476     55 |  0.003 % |
1150.10/1150.52	c |   1610992 |     180    15300   107100 | 2147483647    60734     55 |  0.003 % |
1150.30/1150.71	c |   1611274 |     180    15300   107100 | 2147483647    61016     55 |  0.003 % |
1150.50/1150.92	c |   1611584 |     180    15300   107100 | 2147483647    61326     55 |  0.003 % |
1150.80/1151.22	c |   1611923 |     180    15300   107100 | 2147483647    61665     55 |  0.003 % |
1151.10/1151.53	c |   1612295 |     180    15300   107100 | 2147483647    62037     55 |  0.003 % |
1151.40/1151.85	c |   1612705 |     180    15300   107100 | 2147483647    62447     55 |  0.003 % |
1151.70/1152.13	c |   1613154 |     180    15300   107100 | 2147483647    62896     55 |  0.003 % |
1152.09/1152.50	c |   1613648 |     180    15300   107100 | 2147483647    63390     55 |  0.003 % |
1152.40/1152.89	c |   1614190 |     180    15300   107100 | 2147483647    63932     55 |  0.003 % |
1152.89/1153.31	c |   1614787 |     180    15300   107100 | 2147483647    64529     55 |  0.003 % |
1153.39/1153.81	c |   1615443 |     180    15300   107100 | 2147483647    65185     55 |  0.003 % |
1153.89/1154.34	c |   1616163 |     180    15300   107100 | 2147483647    65905     55 |  0.003 % |
1154.49/1154.90	c |   1616955 |     180    15300   107100 | 2147483647    66697     55 |  0.003 % |
1154.99/1155.47	c |   1617828 |     180    15300   107100 | 2147483647    67570     55 |  0.003 % |
1155.70/1156.18	c |   1618786 |     180    15300   107100 | 2147483647    68528     55 |  0.003 % |
1156.49/1156.97	c |   1619843 |     180    15300   107100 | 2147483647    69585     55 |  0.003 % |
1157.49/1157.94	c |   1621001 |     180    15300   107100 |    69744    62936     55 |  0.003 % |
1158.49/1158.97	c |   1622274 |     180    15300   107100 |    69744    64209     55 |  0.003 % |
1159.49/1159.93	c |   1623674 |     180    15300   107100 |    69744    65609     55 |  0.003 % |
1160.49/1160.92	c |   1625216 |     180    15300   107100 |    69744    67151     55 |  0.003 % |
1161.60/1162.06	c |   1626910 |     180    15300   107100 |    69744    68845     55 |  0.003 % |
1162.90/1163.32	c |   1628775 |     180    15300   107100 |    69744    62361     54 |  0.003 % |
1164.30/1164.72	c |   1630825 |     180    15300   107100 |    63586    57149     54 |  0.003 % |
1165.80/1166.24	c |   1633078 |     180    15300   107100 |    63586    59402     54 |  0.003 % |
1167.70/1168.18	c |   1635557 |     180    15300   107100 |    63586    61881     54 |  0.003 % |
1169.60/1170.06	c |   1638284 |     180    15300   107100 |    63586    57994     54 |  0.003 % |
1171.59/1172.00	c |   1641281 |     180    15300   107100 | 2147483647    60991     54 |  0.003 % |
1173.50/1174.00	c |   1644577 |     180    15300   107100 | 2147483647    64287     54 |  0.003 % |
1176.39/1176.87	c |   1648203 |     180    15300   107100 | 2147483647    67913     54 |  0.003 % |
1179.39/1179.81	c |   1652191 |     180    15300   107100 |    69711    64502     54 |  0.003 % |
1182.29/1182.74	c |   1656577 |     180    15300   107100 |    69711    68888     54 |  0.003 % |
1185.69/1186.18	c |   1661401 |     180    15300   107100 |    64646    59131     53 |  0.003 % |
1189.19/1189.68	c |   1666706 |     180    15300   107100 |    64646    64436     53 |  0.003 % |
1193.19/1193.63	c |   1672541 |     180    15300   107100 | 2147483647    63799     53 |  0.003 % |
1197.69/1198.16	c |   1678960 |     180    15300   107100 | 2147483647    70218     53 |  0.003 % |
1200.09/1200.51	HOME/SatELiteGTI: line 36: 10914 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-1832583-1242784840/watcher-1832583-1242784840 -o /tmp/evaluation-result-1832583-1242784840/solver-1832583-1242784840 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832583-1242784840.cnf 

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 10908
/proc/meminfo: memFree=1853952/2055920 swapFree=4180972/4192956
[pid=10908] ppid=10906 vsize=5356 CPUtime=0
/proc/10908/stat : 10908 (SatELiteGTI) R 10906 10908 10798 0 -1 4194304 291 249 0 0 0 0 0 0 18 0 1 0 306516643 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 254194936307 0 0 4100 65536 0 0 0 17 0 0 0
/proc/10908/statm: 1339 237 197 169 0 50 0

[startup+0.104518 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 10908
/proc/meminfo: memFree=1853952/2055920 swapFree=4180972/4192956
[pid=10908] ppid=10906 vsize=5356 CPUtime=0.04
/proc/10908/stat : 10908 (SatELiteGTI) S 10906 10908 10798 0 -1 4194304 336 709 0 0 0 0 4 0 16 0 1 0 306516643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10908/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356

[startup+0.201526 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 10908
/proc/meminfo: memFree=1853952/2055920 swapFree=4180972/4192956
[pid=10908] ppid=10906 vsize=5356 CPUtime=0.04
/proc/10908/stat : 10908 (SatELiteGTI) S 10906 10908 10798 0 -1 4194304 336 709 0 0 0 0 4 0 16 0 1 0 306516643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10908/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356

[startup+0.301533 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 10908
/proc/meminfo: memFree=1853952/2055920 swapFree=4180972/4192956
[pid=10908] ppid=10906 vsize=5356 CPUtime=0.04
/proc/10908/stat : 10908 (SatELiteGTI) S 10906 10908 10798 0 -1 4194304 336 709 0 0 0 0 4 0 16 0 1 0 306516643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10908/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356

[startup+0.701565 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 10908
/proc/meminfo: memFree=1853952/2055920 swapFree=4180972/4192956
[pid=10908] ppid=10906 vsize=5356 CPUtime=0.04
/proc/10908/stat : 10908 (SatELiteGTI) S 10906 10908 10798 0 -1 4194304 336 709 0 0 0 0 4 0 16 0 1 0 306516643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10908/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356

[startup+1.50262 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 10914
/proc/meminfo: memFree=1850416/2055920 swapFree=4180972/4192956
[pid=10908] ppid=10906 vsize=5356 CPUtime=0.04
/proc/10908/stat : 10908 (SatELiteGTI) S 10906 10908 10798 0 -1 4194304 336 709 0 0 0 0 4 0 16 0 1 0 306516643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10908/statm: 1339 239 197 169 0 50 0
[pid=10914] ppid=10908 vsize=4824 CPUtime=1.42
/proc/10914/stat : 10914 (minisat_static) R 10908 10908 10798 0 -1 4194304 970 0 0 0 142 0 0 0 25 0 1 0 306516649 4939776 956 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10914/statm: 1206 956 76 171 0 1033 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 10180

[startup+3.10174 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 10914
/proc/meminfo: memFree=1848496/2055920 swapFree=4180972/4192956
[pid=10908] ppid=10906 vsize=5356 CPUtime=0.04
/proc/10908/stat : 10908 (SatELiteGTI) S 10906 10908 10798 0 -1 4194304 336 709 0 0 0 0 4 0 16 0 1 0 306516643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10908/statm: 1339 239 197 169 0 50 0
[pid=10914] ppid=10908 vsize=7120 CPUtime=3.02
/proc/10914/stat : 10914 (minisat_static) R 10908 10908 10798 0 -1 4194304 1523 0 0 0 301 1 0 0 25 0 1 0 306516649 7290880 1509 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/10914/statm: 1780 1509 76 171 0 1607 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 12476

[startup+6.30197 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 10914
/proc/meminfo: memFree=1845040/2055920 swapFree=4180972/4192956
[pid=10908] ppid=10906 vsize=5356 CPUtime=0.04
/proc/10908/stat : 10908 (SatELiteGTI) S 10906 10908 10798 0 -1 4194304 336 709 0 0 0 0 4 0 16 0 1 0 306516643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10908/statm: 1339 239 197 169 0 50 0
[pid=10914] ppid=10908 vsize=9868 CPUtime=6.22
/proc/10914/stat : 10914 (minisat_static) R 10908 10908 10798 0 -1 4194304 2215 0 0 0 621 1 0 0 25 0 1 0 306516649 10104832 2201 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/10914/statm: 2467 2201 76 171 0 2294 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 15224

[startup+12.7014 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 10914
/proc/meminfo: memFree=1840944/2055920 swapFree=4180972/4192956
[pid=10908] ppid=10906 vsize=5356 CPUtime=0.04
/proc/10908/stat : 10908 (SatELiteGTI) S 10906 10908 10798 0 -1 4194304 336 709 0 0 0 0 4 0 16 0 1 0 306516643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10908/statm: 1339 239 197 169 0 50 0
[pid=10914] ppid=10908 vsize=13648 CPUtime=12.62
/proc/10914/stat : 10914 (minisat_static) R 10908 10908 10798 0 -1 4194304 3138 0 0 0 1259 3 0 0 25 0 1 0 306516649 13975552 3124 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10914/statm: 3412 3124 76 171 0 3239 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 19004

[startup+25.5014 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 10920
/proc/meminfo: memFree=1835632/2055920 swapFree=4180972/4192956
[pid=10908] ppid=10906 vsize=5356 CPUtime=0.04
/proc/10908/stat : 10908 (SatELiteGTI) S 10906 10908 10798 0 -1 4194304 336 709 0 0 0 0 4 0 16 0 1 0 306516643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10908/statm: 1339 239 197 169 0 50 0
[pid=10914] ppid=10908 vsize=18808 CPUtime=25.4
/proc/10914/stat : 10914 (minisat_static) R 10908 10908 10798 0 -1 4194304 4414 0 0 0 2536 4 0 0 25 0 1 0 306516649 19259392 4400 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10914/statm: 4702 4400 76 171 0 4529 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 24164

[startup+51.1013 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 10920
/proc/meminfo: memFree=1832624/2055920 swapFree=4180972/4192956
[pid=10908] ppid=10906 vsize=5356 CPUtime=0.04
/proc/10908/stat : 10908 (SatELiteGTI) S 10906 10908 10798 0 -1 4194304 336 709 0 0 0 0 4 0 16 0 1 0 306516643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10908/statm: 1339 239 197 169 0 50 0
[pid=10914] ppid=10908 vsize=21600 CPUtime=50.99
/proc/10914/stat : 10914 (minisat_static) R 10908 10908 10798 0 -1 4194304 5148 0 0 0 5094 5 0 0 25 0 1 0 306516649 22118400 5134 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/10914/statm: 5400 5134 76 171 0 5227 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 26956

[startup+102.301 s]
/proc/loadavg: 1.17 1.03 1.01 2/66 11396
/proc/meminfo: memFree=1790704/2055920 swapFree=4180972/4192956
[pid=10908] ppid=10906 vsize=5356 CPUtime=0.04
/proc/10908/stat : 10908 (SatELiteGTI) S 10906 10908 10798 0 -1 4194304 336 709 0 0 0 0 4 0 16 0 1 0 306516643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10908/statm: 1339 239 197 169 0 50 0
[pid=10914] ppid=10908 vsize=21580 CPUtime=102.11
/proc/10914/stat : 10914 (minisat_static) R 10908 10908 10798 0 -1 4194304 5148 0 0 0 10205 6 0 0 25 0 1 0 306516649 22097920 5133 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10914/statm: 5395 5133 76 171 0 5222 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 26936

[startup+162.301 s]
/proc/loadavg: 1.06 1.02 1.00 2/66 11396
/proc/meminfo: memFree=1789424/2055920 swapFree=4180972/4192956
[pid=10908] ppid=10906 vsize=5356 CPUtime=0.04
/proc/10908/stat : 10908 (SatELiteGTI) S 10906 10908 10798 0 -1 4194304 336 709 0 0 0 0 4 0 16 0 1 0 306516643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10908/statm: 1339 239 197 169 0 50 0
[pid=10914] ppid=10908 vsize=23172 CPUtime=162.1
/proc/10914/stat : 10914 (minisat_static) R 10908 10908 10798 0 -1 4194304 5548 0 0 0 16203 7 0 0 25 0 1 0 306516649 23728128 5533 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10914/statm: 5793 5533 76 171 0 5620 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 28528

[startup+222.306 s]
/proc/loadavg: 1.02 1.02 1.00 2/66 11396
/proc/meminfo: memFree=1789424/2055920 swapFree=4180972/4192956
[pid=10908] ppid=10906 vsize=5356 CPUtime=0.04
/proc/10908/stat : 10908 (SatELiteGTI) S 10906 10908 10798 0 -1 4194304 336 709 0 0 0 0 4 0 16 0 1 0 306516643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10908/statm: 1339 239 197 169 0 50 0
[pid=10914] ppid=10908 vsize=23172 CPUtime=222.09
/proc/10914/stat : 10914 (minisat_static) R 10908 10908 10798 0 -1 4194304 5548 0 0 0 22201 8 0 0 25 0 1 0 306516649 23728128 5533 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/10914/statm: 5793 5533 76 171 0 5620 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 28528

[startup+282.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/66 11396
/proc/meminfo: memFree=1789424/2055920 swapFree=4180972/4192956
[pid=10908] ppid=10906 vsize=5356 CPUtime=0.04
/proc/10908/stat : 10908 (SatELiteGTI) S 10906 10908 10798 0 -1 4194304 336 709 0 0 0 0 4 0 16 0 1 0 306516643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10908/statm: 1339 239 197 169 0 50 0
[pid=10914] ppid=10908 vsize=23172 CPUtime=282.08
/proc/10914/stat : 10914 (minisat_static) R 10908 10908 10798 0 -1 4194304 5548 0 0 0 28199 9 0 0 25 0 1 0 306516649 23728128 5533 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10914/statm: 5793 5533 76 171 0 5620 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 28528

[startup+342.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 11396
/proc/meminfo: memFree=1787952/2055920 swapFree=4180972/4192956
[pid=10908] ppid=10906 vsize=5356 CPUtime=0.04
/proc/10908/stat : 10908 (SatELiteGTI) S 10906 10908 10798 0 -1 4194304 336 709 0 0 0 0 4 0 16 0 1 0 306516643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10908/statm: 1339 239 197 169 0 50 0
[pid=10914] ppid=10908 vsize=24624 CPUtime=342.06
/proc/10914/stat : 10914 (minisat_static) R 10908 10908 10798 0 -1 4194304 5897 0 0 0 34197 9 0 0 25 0 1 0 306516649 25214976 5882 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10914/statm: 6156 5882 76 171 0 5983 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 29980

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11396
/proc/meminfo: memFree=1787824/2055920 swapFree=4180972/4192956
[pid=10908] ppid=10906 vsize=5356 CPUtime=0.04
/proc/10908/stat : 10908 (SatELiteGTI) S 10906 10908 10798 0 -1 4194304 336 709 0 0 0 0 4 0 16 0 1 0 306516643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10908/statm: 1339 239 197 169 0 50 0
[pid=10914] ppid=10908 vsize=24624 CPUtime=402.05
/proc/10914/stat : 10914 (minisat_static) R 10908 10908 10798 0 -1 4194304 5907 0 0 0 40195 10 0 0 25 0 1 0 306516649 25214976 5892 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10914/statm: 6156 5892 76 171 0 5983 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 29980

[startup+462.302 s]

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

[pid=10914] ppid=10908 vsize=24896 CPUtime=462.03
/proc/10914/stat : 10914 (minisat_static) R 10908 10908 10798 0 -1 4194304 5981 0 0 0 46193 10 0 0 25 0 1 0 306516649 25493504 5966 1992294400 134512640 135215339 4294956240 18446744073709551615 134529080 0 0 4096 3 0 0 0 17 1 0 0
/proc/10914/statm: 6224 5966 76 171 0 6051 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 30252

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11396
/proc/meminfo: memFree=1786992/2055920 swapFree=4180972/4192956
[pid=10908] ppid=10906 vsize=5356 CPUtime=0.04
/proc/10908/stat : 10908 (SatELiteGTI) S 10906 10908 10798 0 -1 4194304 336 709 0 0 0 0 4 0 16 0 1 0 306516643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10908/statm: 1339 239 197 169 0 50 0
[pid=10914] ppid=10908 vsize=25292 CPUtime=522.02
/proc/10914/stat : 10914 (minisat_static) R 10908 10908 10798 0 -1 4194304 6052 0 0 0 52191 11 0 0 25 0 1 0 306516649 25899008 6037 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10914/statm: 6323 6037 76 171 0 6150 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 30648

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11396
/proc/meminfo: memFree=1786800/2055920 swapFree=4180972/4192956
[pid=10908] ppid=10906 vsize=5356 CPUtime=0.04
/proc/10908/stat : 10908 (SatELiteGTI) S 10906 10908 10798 0 -1 4194304 336 709 0 0 0 0 4 0 16 0 1 0 306516643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10908/statm: 1339 239 197 169 0 50 0
[pid=10914] ppid=10908 vsize=25424 CPUtime=582
/proc/10914/stat : 10914 (minisat_static) R 10908 10908 10798 0 -1 4194304 6088 0 0 0 58189 11 0 0 25 0 1 0 306516649 26034176 6073 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10914/statm: 6356 6073 76 171 0 6183 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 30780

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11396
/proc/meminfo: memFree=1786672/2055920 swapFree=4180972/4192956
[pid=10908] ppid=10906 vsize=5356 CPUtime=0.04
/proc/10908/stat : 10908 (SatELiteGTI) S 10906 10908 10798 0 -1 4194304 336 709 0 0 0 0 4 0 16 0 1 0 306516643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10908/statm: 1339 239 197 169 0 50 0
[pid=10914] ppid=10908 vsize=25424 CPUtime=641.99
/proc/10914/stat : 10914 (minisat_static) R 10908 10908 10798 0 -1 4194304 6088 0 0 0 64187 12 0 0 25 0 1 0 306516649 26034176 6073 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10914/statm: 6356 6073 76 171 0 6183 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 30780

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11396
/proc/meminfo: memFree=1786544/2055920 swapFree=4180972/4192956
[pid=10908] ppid=10906 vsize=5356 CPUtime=0.04
/proc/10908/stat : 10908 (SatELiteGTI) S 10906 10908 10798 0 -1 4194304 336 709 0 0 0 0 4 0 16 0 1 0 306516643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10908/statm: 1339 239 197 169 0 50 0
[pid=10914] ppid=10908 vsize=25424 CPUtime=701.98
/proc/10914/stat : 10914 (minisat_static) R 10908 10908 10798 0 -1 4194304 6088 0 0 0 70185 13 0 0 25 0 1 0 306516649 26034176 6073 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/10914/statm: 6356 6073 76 171 0 6183 0
Current children cumulated CPU time (s) 702.02
Current children cumulated vsize (KiB) 30780

[startup+762.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11396
/proc/meminfo: memFree=1786416/2055920 swapFree=4180972/4192956
[pid=10908] ppid=10906 vsize=5356 CPUtime=0.04
/proc/10908/stat : 10908 (SatELiteGTI) S 10906 10908 10798 0 -1 4194304 336 709 0 0 0 0 4 0 16 0 1 0 306516643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10908/statm: 1339 239 197 169 0 50 0
[pid=10914] ppid=10908 vsize=25424 CPUtime=761.96
/proc/10914/stat : 10914 (minisat_static) R 10908 10908 10798 0 -1 4194304 6088 0 0 0 76183 13 0 0 25 0 1 0 306516649 26034176 6073 1992294400 134512640 135215339 4294956240 18446744073709551615 134537872 0 0 4096 3 0 0 0 17 1 0 0
/proc/10914/statm: 6356 6073 76 171 0 6183 0
Current children cumulated CPU time (s) 762
Current children cumulated vsize (KiB) 30780

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11396
/proc/meminfo: memFree=1786416/2055920 swapFree=4180972/4192956
[pid=10908] ppid=10906 vsize=5356 CPUtime=0.04
/proc/10908/stat : 10908 (SatELiteGTI) S 10906 10908 10798 0 -1 4194304 336 709 0 0 0 0 4 0 16 0 1 0 306516643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10908/statm: 1339 239 197 169 0 50 0
[pid=10914] ppid=10908 vsize=25424 CPUtime=821.95
/proc/10914/stat : 10914 (minisat_static) R 10908 10908 10798 0 -1 4194304 6088 0 0 0 82181 14 0 0 25 0 1 0 306516649 26034176 6073 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10914/statm: 6356 6073 76 171 0 6183 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 30780

[startup+882.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11396
/proc/meminfo: memFree=1786288/2055920 swapFree=4180972/4192956
[pid=10908] ppid=10906 vsize=5356 CPUtime=0.04
/proc/10908/stat : 10908 (SatELiteGTI) S 10906 10908 10798 0 -1 4194304 336 709 0 0 0 0 4 0 16 0 1 0 306516643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10908/statm: 1339 239 197 169 0 50 0
[pid=10914] ppid=10908 vsize=25424 CPUtime=881.94
/proc/10914/stat : 10914 (minisat_static) R 10908 10908 10798 0 -1 4194304 6088 0 0 0 88180 14 0 0 25 0 1 0 306516649 26034176 6073 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/10914/statm: 6356 6073 76 171 0 6183 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 30780

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11396
/proc/meminfo: memFree=1785328/2055920 swapFree=4180972/4192956
[pid=10908] ppid=10906 vsize=5356 CPUtime=0.04
/proc/10908/stat : 10908 (SatELiteGTI) S 10906 10908 10798 0 -1 4194304 336 709 0 0 0 0 4 0 16 0 1 0 306516643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10908/statm: 1339 239 197 169 0 50 0
[pid=10914] ppid=10908 vsize=26364 CPUtime=941.92
/proc/10914/stat : 10914 (minisat_static) R 10908 10908 10798 0 -1 4194304 6313 0 0 0 94177 15 0 0 25 0 1 0 306516649 26996736 6298 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/10914/statm: 6591 6298 76 171 0 6418 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 31720

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11396
/proc/meminfo: memFree=1785072/2055920 swapFree=4180972/4192956
[pid=10908] ppid=10906 vsize=5356 CPUtime=0.04
/proc/10908/stat : 10908 (SatELiteGTI) S 10906 10908 10798 0 -1 4194304 336 709 0 0 0 0 4 0 16 0 1 0 306516643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10908/statm: 1339 239 197 169 0 50 0
[pid=10914] ppid=10908 vsize=26504 CPUtime=1001.9
/proc/10914/stat : 10914 (minisat_static) R 10908 10908 10798 0 -1 4194304 6342 0 0 0 100175 15 0 0 25 0 1 0 306516649 27140096 6327 1992294400 134512640 135215339 4294956240 18446744073709551615 134528791 0 0 4096 3 0 0 0 17 1 0 0
/proc/10914/statm: 6626 6327 76 171 0 6453 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 31860

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11396
/proc/meminfo: memFree=1785008/2055920 swapFree=4180972/4192956
[pid=10908] ppid=10906 vsize=5356 CPUtime=0.04
/proc/10908/stat : 10908 (SatELiteGTI) S 10906 10908 10798 0 -1 4194304 336 709 0 0 0 0 4 0 16 0 1 0 306516643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10908/statm: 1339 239 197 169 0 50 0
[pid=10914] ppid=10908 vsize=26504 CPUtime=1061.88
/proc/10914/stat : 10914 (minisat_static) R 10908 10908 10798 0 -1 4194304 6342 0 0 0 106173 15 0 0 25 0 1 0 306516649 27140096 6327 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10914/statm: 6626 6327 76 171 0 6453 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 31860

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11396
/proc/meminfo: memFree=1784880/2055920 swapFree=4180972/4192956
[pid=10908] ppid=10906 vsize=5356 CPUtime=0.04
/proc/10908/stat : 10908 (SatELiteGTI) S 10906 10908 10798 0 -1 4194304 336 709 0 0 0 0 4 0 16 0 1 0 306516643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10908/statm: 1339 239 197 169 0 50 0
[pid=10914] ppid=10908 vsize=26504 CPUtime=1121.87
/proc/10914/stat : 10914 (minisat_static) R 10908 10908 10798 0 -1 4194304 6342 0 0 0 112172 15 0 0 25 0 1 0 306516649 27140096 6327 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10914/statm: 6626 6327 76 171 0 6453 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 31860

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11396
/proc/meminfo: memFree=1784752/2055920 swapFree=4180972/4192956
[pid=10908] ppid=10906 vsize=5356 CPUtime=0.04
/proc/10908/stat : 10908 (SatELiteGTI) S 10906 10908 10798 0 -1 4194304 336 709 0 0 0 0 4 0 16 0 1 0 306516643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10908/statm: 1339 239 197 169 0 50 0
[pid=10914] ppid=10908 vsize=26504 CPUtime=1181.85
/proc/10914/stat : 10914 (minisat_static) R 10908 10908 10798 0 -1 4194304 6342 0 0 0 118169 16 0 0 25 0 1 0 306516649 27140096 6327 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/10914/statm: 6626 6327 76 171 0 6453 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 31860



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11396
/proc/meminfo: memFree=1784688/2055920 swapFree=4180972/4192956
[pid=10908] ppid=10906 vsize=5356 CPUtime=0.04
/proc/10908/stat : 10908 (SatELiteGTI) S 10906 10908 10798 0 -1 4194304 336 709 0 0 0 0 4 0 16 0 1 0 306516643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10908/statm: 1339 239 197 169 0 50 0
[pid=10914] ppid=10908 vsize=26504 CPUtime=1200.05
/proc/10914/stat : 10914 (minisat_static) R 10908 10908 10798 0 -1 4194304 6342 0 0 0 119989 16 0 0 25 0 1 0 306516649 27140096 6327 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10914/statm: 6626 6327 76 171 0 6453 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 31860

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.51
CPU time (s): 1200.12
CPU user time (s): 1199.94
CPU system time (s): 0.178972
CPU usage (%): 99.9675
Max. virtual memory (cumulated for all children) (KiB): 31860

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

runsolver used 1.47278 second user time and 3.01654 second system time

The end

Launcher Data

Begin job on node34 at 2009-05-20 04:00:40
IDJOB=1832583
IDBENCH=70255
IDSOLVER=671
FILE ID=node34/1832583-1242784840
PBS_JOBID= 9322329
Free space on /tmp= 66428 MiB

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

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

MD5SUM BENCH= 5f6d9d113e535105e77af29b0e165b23
RANDOM SEED=1185531601

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1854496 kB
Buffers:         20872 kB
Cached:         143560 kB
SwapCached:       6044 kB
Active:          64484 kB
Inactive:       108120 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1854496 kB
SwapTotal:     4192956 kB
SwapFree:      4180972 kB
Dirty:            2016 kB
Writeback:           0 kB
Mapped:          13464 kB
Slab:            14932 kB
Committed_AS:  1057428 kB
PageTables:       1384 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= 66428 MiB
End job on node34 at 2009-05-20 04:20:43