Trace number 1832505

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.04 1200.61

General information on the benchmark

NameRANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S678706275-057.cnf
MD5SUMc7f3c844f4c0d844518712db07e3e201
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark83.6223
Satisfiable
(Un)Satisfiability was proved
Number of variables900
Number of clauses18000
Sum of the clauses size90000
Maximum clause length5
Minimum clause length5
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 518000
Number of clauses of size over 50

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 |   18000    90000 |    5399       0        0     nan |  0.000 % |
0.00/0.02	c ==============================================================================
0.00/0.02	c Result  :   #vars: 900   #clauses: 18000   #literals: 90000
0.00/0.02	c CPU time:   0.017997 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:  900                                                  |
0.00/0.06	c |  Number of clauses:    18000                                                |
0.00/0.08	c |  Parsing time:         0.01         s                                       |
0.00/0.08	c ============================[ Search Statistics ]==============================
0.00/0.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.08	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.08	c ===============================================================================
0.00/0.08	c |         0 |     900    18000    90000 |     6000        0    nan |  0.000 % |
0.00/0.09	c |       101 |     900    18000    90000 |     6000      101     94 |  0.000 % |
0.04/0.10	c |       204 |     900    18000    90000 |     6000      204    104 |  0.000 % |
0.04/0.11	c |       305 |     900    18000    90000 |     6000      305    104 |  0.000 % |
0.04/0.12	c |       416 |     900    18000    90000 |     6000      416    103 |  0.000 % |
0.04/0.14	c |       517 |     900    18000    90000 |     6000      517    106 |  0.000 % |
0.04/0.15	c |       629 |     900    18000    90000 |     6000      629    108 |  0.000 % |
0.04/0.16	c |       750 |     900    18000    90000 |     6000      750    109 |  0.000 % |
0.04/0.17	c |       851 |     900    18000    90000 |     6000      851    110 |  0.000 % |
0.04/0.18	c |       962 |     900    18000    90000 |     6000      962    110 |  0.000 % |
0.04/0.19	c |      1083 |     900    18000    90000 |     6000     1083    111 |  0.000 % |
0.04/0.21	c |      1216 |     900    18000    90000 |     6000     1216    112 |  0.000 % |
0.04/0.22	c |      1318 |     900    18000    90000 |     6000     1318    112 |  0.000 % |
0.04/0.23	c |      1430 |     900    18000    90000 |     6000     1430    112 |  0.000 % |
0.04/0.24	c |      1551 |     900    18000    90000 |     6000     1551    112 |  0.000 % |
0.04/0.26	c |      1685 |     900    18000    90000 |     6000     1685    113 |  0.000 % |
0.04/0.27	c |      1832 |     900    18000    90000 |     6000     1832    112 |  0.000 % |
0.04/0.28	c |      1934 |     900    18000    90000 |     6000     1934    112 |  0.000 % |
0.04/0.30	c |      2044 |     900    18000    90000 |     6000     2044    112 |  0.000 % |
0.04/0.31	c |      2165 |     900    18000    90000 |     6000     2165    111 |  0.000 % |
0.04/0.32	c |      2299 |     900    18000    90000 |     6000     2299    112 |  0.000 % |
0.04/0.34	c |      2446 |     900    18000    90000 |     6000     2446    111 |  0.000 % |
0.04/0.36	c |      2607 |     900    18000    90000 |     6000     2607    111 |  0.000 % |
0.04/0.37	c |      2708 |     900    18000    90000 |     6000     2708    111 |  0.000 % |
0.04/0.38	c |      2818 |     900    18000    90000 |     6000     2818    111 |  0.000 % |
0.04/0.40	c |      2940 |     900    18000    90000 |     6000     2940    111 |  0.000 % |
0.04/0.41	c |      3074 |     900    18000    90000 |     6000     3074    110 |  0.000 % |
0.04/0.43	c |      3220 |     900    18000    90000 |     6000     3220    111 |  0.000 % |
0.04/0.45	c |      3380 |     900    18000    90000 |     6000     3380    111 |  0.000 % |
0.04/0.47	c |      3556 |     900    18000    90000 |     6000     3556    111 |  0.000 % |
0.04/0.48	c |      3656 |     900    18000    90000 |     6000     3656    111 |  0.000 % |
0.04/0.49	c |      3767 |     900    18000    90000 |     6000     3767    111 |  0.000 % |
0.04/0.51	c |      3890 |     900    18000    90000 |     6000     3890    111 |  0.000 % |
0.04/0.52	c |      4025 |     900    18000    90000 |     6000     4025    111 |  0.000 % |
0.04/0.54	c |      4171 |     900    18000    90000 |     6000     4171    111 |  0.000 % |
0.04/0.56	c |      4331 |     900    18000    90000 |     6000     4331    110 |  0.000 % |
0.04/0.58	c |      4510 |     900    18000    90000 |     6000     4510    111 |  0.000 % |
0.04/0.60	c |      4703 |     900    18000    90000 |     6000     4703    111 |  0.000 % |
0.04/0.61	c |      4804 |     900    18000    90000 |     6000     4804    110 |  0.000 % |
0.04/0.63	c |      4914 |     900    18000    90000 |     6000     4914    110 |  0.000 % |
0.04/0.64	c |      5035 |     900    18000    90000 |     6000     5035    110 |  0.000 % |
0.04/0.66	c |      5168 |     900    18000    90000 |     6000     5168    110 |  0.000 % |
0.04/0.68	c |      5317 |     900    18000    90000 |     6000     5317    110 |  0.000 % |
0.04/0.70	c |      5479 |     900    18000    90000 |     6000     5479    111 |  0.000 % |
0.04/0.72	c |      5655 |     900    18000    90000 |     6000     5655    111 |  0.000 % |
0.04/0.74	c |      5848 |     900    18000    90000 |     6000     5848    111 |  0.000 % |
0.04/0.77	c |      6060 |     900    18000    90000 |     6000     6060    111 |  0.000 % |
0.04/0.79	c |      6161 |     900    18000    90000 |     6000     5555    110 |  0.000 % |
0.04/0.80	c |      6271 |     900    18000    90000 |     6000     5665    109 |  0.000 % |
0.04/0.82	c |      6394 |     900    18000    90000 |     6000     5788    109 |  0.000 % |
0.04/0.84	c |      6528 |     900    18000    90000 |     6000     5922    109 |  0.000 % |
0.04/0.85	c |      6676 |     900    18000    90000 |     6000     6070    109 |  0.000 % |
0.04/0.88	c |      6837 |     900    18000    90000 |     6000     5624    109 |  0.000 % |
0.04/0.90	c |      7013 |     900    18000    90000 |     6000     5800    109 |  0.000 % |
0.04/0.92	c |      7206 |     900    18000    90000 |     6000     5993    109 |  0.000 % |
0.04/0.95	c |      7418 |     900    18000    90000 |     6000     6205    109 |  0.000 % |
0.04/0.98	c |      7651 |     900    18000    90000 |     6000     5818    108 |  0.000 % |
0.04/1.00	c |      7752 |     900    18000    90000 |     6000     5919    108 |  0.000 % |
0.96/1.01	c |      7862 |     900    18000    90000 |     6000     6029    108 |  0.000 % |
0.96/1.03	c |      7984 |     900    18000    90000 |     6000     5549    109 |  0.000 % |
0.96/1.05	c |      8118 |     900    18000    90000 |     6000     5683    109 |  0.000 % |
0.96/1.07	c |      8264 |     900    18000    90000 |     6000     5829    109 |  0.000 % |
0.96/1.09	c |      8425 |     900    18000    90000 |     6000     5990    109 |  0.000 % |
1.06/1.11	c |      8601 |     900    18000    90000 |     6000     6166    109 |  0.000 % |
1.06/1.14	c |      8794 |     900    18000    90000 |     6000     5743    109 |  0.000 % |
1.06/1.16	c |      9006 |     900    18000    90000 |     6000     5955    110 |  0.000 % |
1.15/1.20	c |      9241 |     900    18000    90000 |     6000     6190    110 |  0.000 % |
1.15/1.23	c |      9497 |     900    18000    90000 |     6000     5827    111 |  0.000 % |
1.15/1.24	c |      9597 |     900    18000    90000 |     6000     5927    111 |  0.000 % |
1.15/1.26	c |      9708 |     900    18000    90000 |     6000     6038    111 |  0.000 % |
1.15/1.28	c |      9831 |     900    18000    90000 |     6000     5558    111 |  0.000 % |
1.15/1.30	c |      9966 |     900    18000    90000 |     6000     5693    111 |  0.000 % |
1.25/1.32	c |     10113 |     900    18000    90000 | 2147483647     5840    111 |  0.000 % |
1.25/1.34	c |     10275 |     900    18000    90000 | 2147483647     6002    111 |  0.000 % |
1.25/1.36	c |     10451 |     900    18000    90000 | 2147483647     6178    111 |  0.000 % |
1.25/1.39	c |     10644 |     900    18000    90000 | 2147483647     6371    111 |  0.000 % |
1.35/1.42	c |     10858 |     900    18000    90000 | 2147483647     6585    112 |  0.000 % |
1.35/1.45	c |     11092 |     900    18000    90000 | 2147483647     6819    112 |  0.000 % |
1.35/1.49	c |     11349 |     900    18000    90000 | 2147483647     7076    112 |  0.000 % |
1.45/1.53	c |     11631 |     900    18000    90000 | 2147483647     7358    113 |  0.000 % |
1.45/1.54	c |     11732 |     900    18000    90000 | 2147483647     7459    113 |  0.000 % |
1.45/1.56	c |     11842 |     900    18000    90000 | 2147483647     7569    113 |  0.000 % |
1.45/1.58	c |     11963 |     900    18000    90000 | 2147483647     7690    113 |  0.000 % |
1.55/1.60	c |     12096 |     900    18000    90000 | 2147483647     7823    113 |  0.000 % |
1.55/1.62	c |     12244 |     900    18000    90000 | 2147483647     7971    113 |  0.000 % |
1.55/1.64	c |     12406 |     900    18000    90000 | 2147483647     8133    113 |  0.000 % |
1.55/1.67	c |     12582 |     900    18000    90000 | 2147483647     8309    113 |  0.000 % |
1.65/1.70	c |     12775 |     900    18000    90000 | 2147483647     8502    113 |  0.000 % |
1.65/1.73	c |     12988 |     900    18000    90000 | 2147483647     8715    113 |  0.000 % |
1.65/1.76	c |     13222 |     900    18000    90000 | 2147483647     8949    113 |  0.000 % |
1.75/1.80	c |     13480 |     900    18000    90000 | 2147483647     9207    113 |  0.000 % |
1.75/1.85	c |     13762 |     900    18000    90000 | 2147483647     9489    113 |  0.000 % |
1.75/1.90	c |     14071 |     900    18000    90000 | 2147483647     9798    114 |  0.000 % |
1.85/1.91	c |     14171 |     900    18000    90000 | 2147483647     9898    114 |  0.000 % |
1.85/1.93	c |     14282 |     900    18000    90000 | 2147483647    10009    114 |  0.000 % |
1.85/1.95	c |     14403 |     900    18000    90000 | 2147483647    10130    114 |  0.000 % |
1.85/1.98	c |     14537 |     900    18000    90000 | 2147483647    10264    114 |  0.000 % |
1.95/2.01	c |     14683 |     900    18000    90000 | 2147483647    10410    114 |  0.000 % |
1.95/2.03	c |     14845 |     900    18000    90000 | 2147483647    10572    114 |  0.000 % |
1.95/2.06	c |     15022 |     900    18000    90000 | 2147483647    10749    114 |  0.000 % |
1.95/2.10	c |     15217 |     900    18000    90000 | 2147483647    10944    114 |  0.000 % |
2.05/2.13	c |     15429 |     900    18000    90000 | 2147483647    11156    114 |  0.000 % |
2.05/2.17	c |     15662 |     900    18000    90000 | 2147483647    11389    114 |  0.000 % |
2.15/2.21	c |     15919 |     900    18000    90000 | 2147483647    11646    114 |  0.000 % |
2.15/2.26	c |     16202 |     900    18000    90000 | 2147483647    11929    114 |  0.000 % |
2.26/2.32	c |     16511 |     900    18000    90000 | 2147483647    12238    114 |  0.000 % |
2.26/2.37	c |     16853 |     900    18000    90000 | 2147483647    12580    115 |  0.000 % |
2.26/2.39	c |     16953 |     900    18000    90000 | 2147483647    12680    115 |  0.000 % |
2.36/2.41	c |     17064 |     900    18000    90000 | 2147483647    12791    115 |  0.000 % |
2.36/2.43	c |     17185 |     900    18000    90000 | 2147483647    12912    114 |  0.000 % |
2.36/2.46	c |     17318 |     900    18000    90000 | 2147483647    13045    114 |  0.000 % |
2.36/2.49	c |     17464 |     900    18000    90000 | 2147483647    13191    114 |  0.000 % |
2.46/2.52	c |     17626 |     900    18000    90000 | 2147483647    13353    114 |  0.000 % |
2.46/2.54	c |     17803 |     900    18000    90000 | 2147483647    13530    114 |  0.000 % |
2.46/2.58	c |     17996 |     900    18000    90000 | 2147483647    13723    114 |  0.000 % |
2.56/2.62	c |     18211 |     900    18000    90000 | 2147483647    13938    115 |  0.000 % |
2.56/2.67	c |     18446 |     900    18000    90000 | 2147483647    14173    115 |  0.000 % |
2.65/2.72	c |     18704 |     900    18000    90000 | 2147483647    14431    115 |  0.000 % |
2.65/2.77	c |     18985 |     900    18000    90000 | 2147483647    14712    115 |  0.000 % |
2.75/2.83	c |     19295 |     900    18000    90000 | 2147483647    15022    115 |  0.000 % |
2.75/2.90	c |     19635 |     900    18000    90000 | 2147483647    15362    115 |  0.000 % |
2.85/2.97	c |     20008 |     900    18000    90000 | 2147483647    15735    115 |  0.000 % |
2.85/2.99	c |     20109 |     900    18000    90000 | 2147483647    15836    115 |  0.000 % |
2.95/3.01	c |     20219 |     900    18000    90000 | 2147483647    15946    115 |  0.000 % |
2.95/3.04	c |     20340 |     900    18000    90000 | 2147483647    16067    115 |  0.000 % |
2.95/3.07	c |     20473 |     900    18000    90000 | 2147483647    16200    115 |  0.000 % |
3.05/3.10	c |     20619 |     900    18000    90000 | 2147483647    16346    115 |  0.000 % |
3.05/3.13	c |     20779 |     900    18000    90000 | 2147483647    16506    115 |  0.000 % |
3.05/3.17	c |     20957 |     900    18000    90000 | 2147483647    16684    115 |  0.000 % |
3.15/3.21	c |     21151 |     900    18000    90000 | 2147483647    16878    115 |  0.000 % |
3.15/3.26	c |     21364 |     900    18000    90000 | 2147483647    17091    115 |  0.000 % |
3.25/3.31	c |     21597 |     900    18000    90000 | 2147483647    17324    115 |  0.000 % |
3.25/3.37	c |     21856 |     900    18000    90000 | 2147483647    17583    115 |  0.000 % |
3.35/3.43	c |     22138 |     900    18000    90000 | 2147483647    17865    115 |  0.000 % |
3.45/3.50	c |     22447 |     900    18000    90000 | 2147483647    18174    115 |  0.000 % |
3.45/3.57	c |     22786 |     900    18000    90000 | 2147483647    18513    115 |  0.000 % |
3.55/3.66	c |     23159 |     900    18000    90000 | 2147483647    18886    115 |  0.000 % |
3.65/3.74	c |     23570 |     900    18000    90000 | 2147483647    19297    115 |  0.000 % |
3.65/3.77	c |     23670 |     900    18000    90000 | 2147483647    19397    115 |  0.000 % |
3.65/3.80	c |     23780 |     900    18000    90000 | 2147483647    19507    115 |  0.000 % |
3.75/3.83	c |     23901 |     900    18000    90000 | 2147483647    19628    115 |  0.000 % |
3.75/3.86	c |     24035 |     900    18000    90000 | 2147483647    19762    115 |  0.000 % |
3.85/3.90	c |     24184 |     900    18000    90000 | 2147483647    19911    115 |  0.000 % |
3.85/3.94	c |     24344 |     900    18000    90000 | 2147483647    20071    115 |  0.000 % |
3.85/3.99	c |     24521 |     900    18000    90000 | 2147483647    20248    115 |  0.000 % |
3.95/4.04	c |     24714 |     900    18000    90000 | 2147483647    20441    115 |  0.000 % |
3.95/4.09	c |     24926 |     900    18000    90000 | 2147483647    20653    115 |  0.000 % |
4.05/4.15	c |     25159 |     900    18000    90000 | 2147483647    20886    115 |  0.000 % |
4.15/4.21	c |     25416 |     900    18000    90000 | 2147483647    21143    115 |  0.000 % |
4.15/4.28	c |     25697 |     900    18000    90000 | 2147483647    21424    115 |  0.000 % |
4.25/4.35	c |     26008 |     900    18000    90000 | 2147483647    21735    115 |  0.000 % |
4.35/4.43	c |     26347 |     900    18000    90000 | 2147483647    22074    115 |  0.000 % |
4.45/4.53	c |     26720 |     900    18000    90000 | 2147483647    22447    115 |  0.000 % |
4.55/4.63	c |     27129 |     900    18000    90000 | 2147483647    22856    115 |  0.000 % |
4.65/4.75	c |     27580 |     900    18000    90000 | 2147483647    23307    116 |  0.000 % |
4.65/4.78	c |     27681 |     900    18000    90000 | 2147483647    23408    115 |  0.000 % |
4.75/4.82	c |     27791 |     900    18000    90000 | 2147483647    23518    115 |  0.000 % |
4.75/4.85	c |     27912 |     900    18000    90000 | 2147483647    23639    116 |  0.000 % |
4.75/4.89	c |     28045 |     900    18000    90000 | 2147483647    23772    115 |  0.000 % |
4.85/4.93	c |     28191 |     900    18000    90000 | 2147483647    23918    115 |  0.000 % |
4.85/4.97	c |     28351 |     900    18000    90000 | 2147483647    24078    115 |  0.000 % |
4.95/5.02	c |     28527 |     900    18000    90000 | 2147483647    24254    115 |  0.000 % |
4.95/5.08	c |     28720 |     900    18000    90000 | 2147483647    24447    115 |  0.000 % |
5.05/5.14	c |     28932 |     900    18000    90000 | 2147483647    24659    115 |  0.000 % |
5.14/5.21	c |     29166 |     900    18000    90000 | 2147483647    24893    115 |  0.000 % |
5.14/5.27	c |     29422 |     900    18000    90000 | 2147483647    25149    115 |  0.000 % |
5.24/5.35	c |     29704 |     900    18000    90000 | 2147483647    25431    115 |  0.000 % |
5.35/5.43	c |     30014 |     900    18000    90000 | 2147483647    25741    115 |  0.000 % |
5.45/5.54	c |     30353 |     900    18000    90000 | 2147483647    26080    115 |  0.000 % |
5.54/5.65	c |     30725 |     900    18000    90000 | 2147483647    26452    115 |  0.000 % |
5.64/5.76	c |     31135 |     900    18000    90000 | 2147483647    26862    115 |  0.000 % |
5.74/5.89	c |     31585 |     900    18000    90000 | 2147483647    27312    115 |  0.000 % |
5.94/6.03	c |     32078 |     900    18000    90000 | 2147483647    27805    115 |  0.000 % |
5.94/6.07	c |     32179 |     900    18000    90000 | 2147483647    27906    115 |  0.000 % |
6.04/6.10	c |     32289 |     900    18000    90000 | 2147483647    28016    115 |  0.000 % |
6.04/6.14	c |     32410 |     900    18000    90000 | 2147483647    28137    115 |  0.000 % |
6.04/6.19	c |     32543 |     900    18000    90000 | 2147483647    28270    115 |  0.000 % |
6.14/6.24	c |     32689 |     900    18000    90000 | 2147483647    28416    115 |  0.000 % |
6.14/6.29	c |     32849 |     900    18000    90000 | 2147483647    28576    115 |  0.000 % |
6.24/6.34	c |     33026 |     900    18000    90000 | 2147483647    28753    115 |  0.000 % |
6.34/6.41	c |     33220 |     900    18000    90000 | 2147483647    28947    115 |  0.000 % |
6.34/6.48	c |     33432 |     900    18000    90000 | 2147483647    29159    115 |  0.000 % |
6.44/6.55	c |     33665 |     900    18000    90000 | 2147483647    29392    115 |  0.000 % |
6.54/6.62	c |     33921 |     900    18000    90000 | 2147483647    29648    116 |  0.000 % |
6.63/6.71	c |     34202 |     900    18000    90000 | 2147483647    29929    116 |  0.000 % |
6.73/6.81	c |     34511 |     900    18000    90000 | 2147483647    30238    116 |  0.000 % |
6.84/6.93	c |     34850 |     900    18000    90000 | 2147483647    30577    116 |  0.000 % |
6.94/7.06	c |     35223 |     900    18000    90000 | 2147483647    30950    116 |  0.000 % |
7.04/7.19	c |     35632 |     900    18000    90000 | 2147483647    31359    116 |  0.000 % |
7.24/7.33	c |     36082 |     900    18000    90000 | 2147483647    31809    116 |  0.000 % |
7.44/7.50	c |     36576 |     900    18000    90000 | 2147483647    32303    116 |  0.000 % |
7.54/7.68	c |     37121 |     900    18000    90000 | 2147483647    32848    116 |  0.000 % |
7.64/7.72	c |     37222 |     900    18000    90000 | 2147483647    32949    116 |  0.000 % |
7.64/7.76	c |     37334 |     900    18000    90000 | 2147483647    33061    116 |  0.000 % |
7.74/7.80	c |     37455 |     900    18000    90000 | 2147483647    33182    116 |  0.000 % |
7.74/7.85	c |     37588 |     900    18000    90000 | 2147483647    33315    116 |  0.000 % |
7.84/7.91	c |     37736 |     900    18000    90000 | 2147483647    33463    116 |  0.000 % |
7.84/7.97	c |     37899 |     900    18000    90000 | 2147483647    33626    116 |  0.000 % |
7.94/8.03	c |     38075 |     900    18000    90000 | 2147483647    33802    116 |  0.000 % |
8.04/8.10	c |     38271 |     900    18000    90000 | 2147483647    33998    116 |  0.000 % |
8.04/8.17	c |     38485 |     900    18000    90000 | 2147483647    34212    116 |  0.000 % |
8.14/8.26	c |     38719 |     900    18000    90000 | 2147483647    34446    116 |  0.000 % |
8.24/8.35	c |     38975 |     900    18000    90000 | 2147483647    34702    116 |  0.000 % |
8.34/8.46	c |     39256 |     900    18000    90000 | 2147483647    34983    116 |  0.000 % |
8.44/8.58	c |     39566 |     900    18000    90000 | 2147483647    35293    116 |  0.000 % |
8.64/8.71	c |     39905 |     900    18000    90000 | 2147483647    35632    116 |  0.000 % |
8.74/8.85	c |     40278 |     900    18000    90000 | 2147483647    36005    116 |  0.000 % |
8.94/9.00	c |     40687 |     900    18000    90000 | 2147483647    36414    116 |  0.000 % |
9.04/9.16	c |     41138 |     900    18000    90000 | 2147483647    36865    116 |  0.000 % |
9.23/9.33	c |     41631 |     900    18000    90000 | 2147483647    37358    116 |  0.000 % |
9.43/9.52	c |     42175 |     900    18000    90000 | 2147483647    37902    116 |  0.000 % |
9.63/9.72	c |     42772 |     900    18000    90000 | 2147483647    38499    116 |  0.000 % |
9.63/9.76	c |     42872 |     900    18000    90000 | 2147483647    38599    116 |  0.000 % |
9.63/9.80	c |     42983 |     900    18000    90000 | 2147483647    38710    116 |  0.000 % |
9.74/9.85	c |     43105 |     900    18000    90000 | 2147483647    38832    116 |  0.000 % |
9.74/9.89	c |     43239 |     900    18000    90000 | 2147483647    38966    116 |  0.000 % |
9.84/9.95	c |     43385 |     900    18000    90000 | 2147483647    39112    116 |  0.000 % |
9.94/10.02	c |     43545 |     900    18000    90000 | 2147483647    39272    116 |  0.000 % |
10.04/10.10	c |     43722 |     900    18000    90000 | 2147483647    39449    116 |  0.000 % |
10.04/10.19	c |     43915 |     900    18000    90000 | 2147483647    39642    116 |  0.000 % |
10.14/10.27	c |     44128 |     900    18000    90000 | 2147483647    39855    116 |  0.000 % |
10.24/10.36	c |     44362 |     900    18000    90000 | 2147483647    40089    116 |  0.000 % |
10.34/10.47	c |     44618 |     900    18000    90000 | 2147483647    40345    116 |  0.000 % |
10.44/10.58	c |     44899 |     900    18000    90000 | 2147483647    40626    116 |  0.000 % |
10.54/10.70	c |     45208 |     900    18000    90000 | 2147483647    40935    116 |  0.000 % |
10.74/10.83	c |     45548 |     900    18000    90000 | 2147483647    41275    116 |  0.000 % |
10.94/11.01	c |     45921 |     900    18000    90000 | 2147483647    41648    116 |  0.000 % |
11.04/11.17	c |     46331 |     900    18000    90000 | 2147483647    42058    116 |  0.000 % |
11.24/11.35	c |     46781 |     900    18000    90000 | 2147483647    42508    116 |  0.000 % |
11.44/11.54	c |     47274 |     900    18000    90000 | 2147483647    43001    116 |  0.000 % |
11.63/11.76	c |     47818 |     900    18000    90000 | 2147483647    43545    116 |  0.000 % |
11.94/12.00	c |     48416 |     900    18000    90000 | 2147483647    44143    116 |  0.000 % |
12.13/12.26	c |     49071 |     900    18000    90000 | 2147483647    44798    116 |  0.000 % |
12.23/12.31	c |     49171 |     900    18000    90000 | 2147483647    44898    116 |  0.000 % |
12.23/12.36	c |     49281 |     900    18000    90000 | 2147483647    45008    116 |  0.000 % |
12.33/12.42	c |     49403 |     900    18000    90000 | 2147483647    45130    116 |  0.000 % |
12.33/12.49	c |     49537 |     900    18000    90000 | 2147483647    45264    116 |  0.000 % |
12.44/12.57	c |     49685 |     900    18000    90000 | 2147483647    45412    116 |  0.000 % |
12.54/12.64	c |     49846 |     900    18000    90000 | 2147483647    45573    116 |  0.000 % |
12.64/12.72	c |     50024 |     900    18000    90000 | 2147483647    45751    116 |  0.000 % |
12.74/12.82	c |     50219 |     900    18000    90000 | 2147483647    45946    116 |  0.000 % |
12.84/12.91	c |     50431 |     900    18000    90000 | 2147483647    46158    116 |  0.000 % |
12.94/13.01	c |     50665 |     900    18000    90000 | 2147483647    46392    116 |  0.000 % |
13.04/13.12	c |     50921 |     900    18000    90000 | 2147483647    46648    116 |  0.000 % |
13.14/13.25	c |     51202 |     900    18000    90000 | 2147483647    46929    116 |  0.000 % |
13.24/13.38	c |     51513 |     900    18000    90000 | 2147483647    47240    116 |  0.000 % |
13.44/13.54	c |     51852 |     900    18000    90000 | 2147483647    47579    116 |  0.000 % |
13.63/13.71	c |     52224 |     900    18000    90000 | 2147483647    47951    116 |  0.000 % |
13.73/13.89	c |     52633 |     900    18000    90000 | 2147483647    48360    116 |  0.000 % |
14.03/14.10	c |     53082 |     900    18000    90000 | 2147483647    48809    116 |  0.000 % |
14.24/14.35	c |     53575 |     900    18000    90000 | 2147483647    49302    116 |  0.000 % |
14.53/14.61	c |     54117 |     900    18000    90000 | 2147483647    49844    116 |  0.000 % |
14.83/14.91	c |     54713 |     900    18000    90000 | 2147483647    50440    116 |  0.000 % |
15.13/15.22	c |     55368 |     900    18000    90000 | 2147483647    51095    116 |  0.000 % |
15.43/15.55	c |     56088 |     900    18000    90000 | 2147483647    51815    116 |  0.000 % |
15.53/15.60	c |     56188 |     900    18000    90000 | 2147483647    51915    116 |  0.000 % |
15.53/15.66	c |     56300 |     900    18000    90000 | 2147483647    52027    116 |  0.000 % |
15.63/15.73	c |     56421 |     900    18000    90000 | 2147483647    52148    116 |  0.000 % |
15.73/15.80	c |     56556 |     900    18000    90000 | 2147483647    52283    116 |  0.000 % |
15.83/15.90	c |     56703 |     900    18000    90000 | 2147483647    52430    116 |  0.000 % |
15.83/15.99	c |     56863 |     900    18000    90000 | 2147483647    52590    116 |  0.000 % |
15.93/16.09	c |     57041 |     900    18000    90000 | 2147483647    52768    116 |  0.000 % |
16.13/16.21	c |     57236 |     900    18000    90000 | 2147483647    52963    116 |  0.000 % |
16.23/16.32	c |     57449 |     900    18000    90000 | 2147483647    53176    116 |  0.000 % |
16.33/16.42	c |     57682 |     900    18000    90000 | 2147483647    53409    116 |  0.000 % |
16.43/16.56	c |     57940 |     900    18000    90000 | 2147483647    53667    116 |  0.000 % |
16.63/16.71	c |     58223 |     900    18000    90000 | 2147483647    53950    116 |  0.000 % |
16.73/16.87	c |     58533 |     900    18000    90000 | 2147483647    54260    116 |  0.000 % |
16.93/17.06	c |     58872 |     900    18000    90000 | 2147483647    54599    116 |  0.000 % |
17.13/17.28	c |     59247 |     900    18000    90000 | 2147483647    54974    116 |  0.000 % |
17.33/17.49	c |     59656 |     900    18000    90000 | 2147483647    55383    116 |  0.000 % |
17.63/17.71	c |     60105 |     900    18000    90000 | 2147483647    55832    116 |  0.000 % |
17.83/17.96	c |     60600 |     900    18000    90000 | 2147483647    56327    116 |  0.000 % |
18.13/18.21	c |     61142 |     900    18000    90000 | 2147483647    56869    116 |  0.000 % |
18.43/18.53	c |     61738 |     900    18000    90000 | 2147483647    57465    116 |  0.000 % |
18.73/18.87	c |     62396 |     900    18000    90000 | 2147483647    58123    117 |  0.000 % |
19.13/19.23	c |     63116 |     900    18000    90000 | 2147483647    58843    117 |  0.000 % |
19.53/19.64	c |     63909 |     900    18000    90000 | 2147483647    59636    117 |  0.000 % |
19.53/19.69	c |     64010 |     900    18000    90000 | 2147483647    59737    117 |  0.000 % |
19.63/19.77	c |     64120 |     900    18000    90000 | 2147483647    59847    117 |  0.000 % |
19.73/19.85	c |     64245 |     900    18000    90000 | 2147483647    59972    117 |  0.000 % |
19.83/19.94	c |     64380 |     900    18000    90000 | 2147483647    60107    117 |  0.000 % |
19.93/20.02	c |     64526 |     900    18000    90000 | 2147483647    60253    117 |  0.000 % |
20.03/20.13	c |     64687 |     900    18000    90000 | 2147483647    60414    117 |  0.000 % |
20.13/20.23	c |     64865 |     900    18000    90000 | 2147483647    60592    117 |  0.000 % |
20.23/20.35	c |     65058 |     900    18000    90000 | 2147483647    60785    117 |  0.000 % |
20.32/20.49	c |     65270 |     900    18000    90000 | 2147483647    60997    116 |  0.000 % |
20.52/20.62	c |     65503 |     900    18000    90000 | 2147483647    61230    116 |  0.000 % |
20.62/20.79	c |     65760 |     900    18000    90000 | 2147483647    61487    116 |  0.000 % |
20.83/20.95	c |     66042 |     900    18000    90000 | 2147483647    61769    116 |  0.000 % |
21.02/21.14	c |     66351 |     900    18000    90000 | 2147483647    62078    116 |  0.000 % |
21.22/21.35	c |     66690 |     900    18000    90000 | 2147483647    62417    116 |  0.000 % |
21.42/21.57	c |     67065 |     900    18000    90000 | 2147483647    62792    117 |  0.000 % |
21.72/21.81	c |     67475 |     900    18000    90000 | 2147483647    63202    117 |  0.000 % |
21.93/22.09	c |     67924 |     900    18000    90000 | 2147483647    63651    117 |  0.000 % |
22.22/22.38	c |     68420 |     900    18000    90000 | 2147483647    64147    117 |  0.000 % |
22.52/22.69	c |     68963 |     900    18000    90000 | 2147483647    64690    116 |  0.000 % |
22.93/23.05	c |     69560 |     900    18000    90000 | 2147483647    65287    117 |  0.000 % |
23.33/23.47	c |     70216 |     900    18000    90000 | 2147483647    65943    117 |  0.000 % |
23.73/23.85	c |     70936 |     900    18000    90000 | 2147483647    66663    117 |  0.000 % |
24.23/24.32	c |     71731 |     900    18000    90000 | 2147483647    67458    117 |  0.000 % |
24.73/24.80	c |     72602 |     900    18000    90000 | 2147483647    68329    117 |  0.000 % |
24.73/24.85	c |     72704 |     900    18000    90000 | 2147483647    68431    117 |  0.000 % |
24.83/24.92	c |     72814 |     900    18000    90000 | 2147483647    68541    117 |  0.000 % |
24.93/25.00	c |     72935 |     900    18000    90000 | 2147483647    68662    117 |  0.000 % |
24.93/25.09	c |     73068 |     900    18000    90000 | 2147483647    68795    117 |  0.000 % |
25.13/25.21	c |     73215 |     900    18000    90000 | 2147483647    68942    117 |  0.000 % |
25.23/25.33	c |     73377 |     900    18000    90000 | 2147483647    69104    117 |  0.000 % |
25.33/25.45	c |     73553 |     900    18000    90000 | 2147483647    69280    117 |  0.000 % |
25.52/25.61	c |     73746 |     900    18000    90000 | 2147483647    69473    117 |  0.000 % |
25.62/25.76	c |     73959 |     900    18000    90000 | 2147483647    69686    117 |  0.000 % |
25.82/25.92	c |     74192 |     900    18000    90000 | 2147483647    69919    117 |  0.000 % |
25.92/26.07	c |     74449 |     900    18000    90000 | 2147483647    70176    117 |  0.000 % |
26.12/26.26	c |     74730 |     900    18000    90000 | 2147483647    70457    117 |  0.000 % |
26.33/26.46	c |     75041 |     900    18000    90000 | 2147483647    70768    117 |  0.000 % |
26.52/26.69	c |     75380 |     900    18000    90000 | 2147483647    71107    117 |  0.000 % |
26.83/26.93	c |     75752 |     900    18000    90000 | 2147483647    71479    117 |  0.000 % |
27.13/27.20	c |     76163 |     900    18000    90000 | 2147483647    71890    117 |  0.000 % |
27.43/27.51	c |     76612 |     900    18000    90000 | 2147483647    72339    117 |  0.000 % |
27.73/27.83	c |     77109 |     900    18000    90000 | 2147483647    72836    117 |  0.000 % |
28.02/28.17	c |     77653 |     900    18000    90000 | 2147483647    73380    117 |  0.000 % |
28.43/28.57	c |     78249 |     900    18000    90000 | 2147483647    73976    117 |  0.000 % |
28.82/28.96	c |     78904 |     900    18000    90000 | 2147483647    74631    117 |  0.000 % |
29.32/29.42	c |     79624 |     900    18000    90000 | 2147483647    75351    117 |  0.000 % |
29.82/29.95	c |     80416 |     900    18000    90000 | 2147483647    76143    117 |  0.000 % |
30.42/30.53	c |     81287 |     900    18000    90000 | 2147483647    77014    117 |  0.000 % |
31.02/31.14	c |     82246 |     900    18000    90000 | 2147483647    77973    117 |  0.000 % |
31.12/31.23	c |     82350 |     900    18000    90000 | 2147483647    78077    117 |  0.000 % |
31.22/31.32	c |     82463 |     900    18000    90000 | 2147483647    78190    117 |  0.000 % |
31.32/31.41	c |     82585 |     900    18000    90000 | 2147483647    78312    117 |  0.000 % |
31.42/31.54	c |     82718 |     900    18000    90000 | 2147483647    78445    117 |  0.000 % |
31.52/31.66	c |     82864 |     900    18000    90000 | 2147483647    78591    117 |  0.000 % |
31.62/31.79	c |     83025 |     900    18000    90000 | 2147483647    78752    117 |  0.000 % |
31.82/31.94	c |     83202 |     900    18000    90000 | 2147483647    78929    117 |  0.000 % |
32.03/32.11	c |     83395 |     900    18000    90000 | 2147483647    79122    117 |  0.000 % |
32.13/32.27	c |     83607 |     900    18000    90000 | 2147483647    79334    117 |  0.000 % |
32.33/32.43	c |     83840 |     900    18000    90000 | 2147483647    79567    117 |  0.000 % |
32.53/32.62	c |     84096 |     900    18000    90000 | 2147483647    79823    117 |  0.000 % |
32.73/32.85	c |     84377 |     900    18000    90000 | 2147483647    80104    117 |  0.000 % |
32.93/33.09	c |     84686 |     900    18000    90000 | 2147483647    80413    117 |  0.000 % |
33.22/33.34	c |     85026 |     900    18000    90000 | 2147483647    80753    117 |  0.000 % |
33.52/33.64	c |     85400 |     900    18000    90000 | 2147483647    81127    117 |  0.000 % |
33.82/33.95	c |     85809 |     900    18000    90000 | 2147483647    81536    117 |  0.000 % |
34.12/34.28	c |     86259 |     900    18000    90000 | 2147483647    81986    117 |  0.000 % |
34.52/34.62	c |     86752 |     900    18000    90000 | 2147483647    82479    117 |  0.000 % |
34.92/35.00	c |     87294 |     900    18000    90000 | 2147483647    83021    117 |  0.000 % |
35.32/35.41	c |     87891 |     900    18000    90000 | 2147483647    83618    117 |  0.000 % |
35.73/35.88	c |     88547 |     900    18000    90000 | 2147483647    84274    117 |  0.000 % |
36.32/36.45	c |     89267 |     900    18000    90000 | 2147483647    84994    117 |  0.000 % |
36.92/37.07	c |     90059 |     900    18000    90000 |    85728    85786    117 |  0.000 % |
37.62/37.72	c |     90931 |     900    18000    90000 |    85728    76604    118 |  0.000 % |
38.22/38.37	c |     91890 |     900    18000    90000 |    85728    77563    118 |  0.000 % |
38.92/39.06	c |     92943 |     900    18000    90000 |    85728    78616    118 |  0.000 % |
39.02/39.13	c |     93043 |     900    18000    90000 |    85728    78716    118 |  0.000 % |
39.12/39.23	c |     93153 |     900    18000    90000 |    85728    78826    118 |  0.000 % |
39.22/39.33	c |     93276 |     900    18000    90000 |    85728    78949    118 |  0.000 % |
39.32/39.44	c |     93412 |     900    18000    90000 |    85728    79085    118 |  0.000 % |
39.42/39.56	c |     93558 |     900    18000    90000 |    85728    79231    118 |  0.000 % |
39.52/39.69	c |     93719 |     900    18000    90000 |    85728    79392    117 |  0.000 % |
39.72/39.83	c |     93898 |     900    18000    90000 |    85728    79571    117 |  0.000 % |
39.82/39.99	c |     94091 |     900    18000    90000 |    85728    79764    117 |  0.000 % |
40.02/40.17	c |     94303 |     900    18000    90000 |    85728    79976    117 |  0.000 % |
40.22/40.37	c |     94538 |     900    18000    90000 |    85728    80211    117 |  0.000 % |
40.42/40.58	c |     94796 |     900    18000    90000 |    85728    80469    117 |  0.000 % |
40.62/40.79	c |     95077 |     900    18000    90000 |    85728    80750    118 |  0.000 % |
40.92/41.04	c |     95387 |     900    18000    90000 |    85728    81060    118 |  0.000 % |
41.22/41.31	c |     95726 |     900    18000    90000 |    85728    81399    117 |  0.000 % |
41.42/41.58	c |     96098 |     900    18000    90000 |    85728    81771    117 |  0.000 % |
41.72/41.90	c |     96507 |     900    18000    90000 |    85728    82180    117 |  0.000 % |
42.12/42.26	c |     96958 |     900    18000    90000 |    85728    82631    117 |  0.000 % |
42.52/42.65	c |     97451 |     900    18000    90000 |    85728    83124    117 |  0.000 % |
42.92/43.04	c |     97994 |     900    18000    90000 |    85728    83667    117 |  0.000 % |
43.32/43.47	c |     98591 |     900    18000    90000 |    85728    84264    117 |  0.000 % |
43.82/43.99	c |     99248 |     900    18000    90000 |    85728    84921    117 |  0.000 % |
44.42/44.56	c |     99968 |     900    18000    90000 |    85728    85641    117 |  0.000 % |
45.02/45.17	c |    100760 |     900    18000    90000 |    85674    74366    118 |  0.000 % |
45.62/45.74	c |    101632 |     900    18000    90000 |    85674    75238    118 |  0.000 % |
46.22/46.36	c |    102591 |     900    18000    90000 |    85674    76197    118 |  0.000 % |
47.02/47.10	c |    103645 |     900    18000    90000 |    85674    77251    118 |  0.000 % |
47.82/47.90	c |    104806 |     900    18000    90000 |    85674    78412    118 |  0.000 % |
47.82/47.97	c |    104908 |     900    18000    90000 |    85674    78514    118 |  0.000 % |
47.91/48.06	c |    105018 |     900    18000    90000 |    85674    78624    118 |  0.000 % |
48.01/48.17	c |    105140 |     900    18000    90000 |    85674    78746    118 |  0.000 % |
48.11/48.28	c |    105273 |     900    18000    90000 |    85674    78879    118 |  0.000 % |
48.32/48.40	c |    105420 |     900    18000    90000 |    85674    79026    118 |  0.000 % |
48.41/48.53	c |    105580 |     900    18000    90000 |    85674    79186    118 |  0.000 % |
48.51/48.69	c |    105756 |     900    18000    90000 |    85674    79362    118 |  0.000 % |
48.71/48.84	c |    105950 |     900    18000    90000 |    85674    79556    118 |  0.000 % |
48.81/48.99	c |    106162 |     900    18000    90000 |    85674    79768    118 |  0.000 % |
49.01/49.17	c |    106395 |     900    18000    90000 |    85674    80001    118 |  0.000 % |
49.21/49.36	c |    106651 |     900    18000    90000 |    85674    80257    118 |  0.000 % |
49.42/49.55	c |    106932 |     900    18000    90000 |    85674    80538    118 |  0.000 % |
49.62/49.78	c |    107241 |     900    18000    90000 |    85674    80847    118 |  0.000 % |
49.91/50.00	c |    107580 |     900    18000    90000 |    85674    81186    118 |  0.000 % |
50.21/50.30	c |    107952 |     900    18000    90000 |    85674    81558    118 |  0.000 % |
50.42/50.59	c |    108361 |     900    18000    90000 |    85674    81967    118 |  0.000 % |
50.81/50.92	c |    108811 |     900    18000    90000 |    85674    82417    118 |  0.000 % |
51.11/51.28	c |    109305 |     900    18000    90000 |    85674    82911    118 |  0.000 % |
51.62/51.71	c |    109847 |     900    18000    90000 |    85674    83453    118 |  0.000 % |
52.11/52.20	c |    110443 |     900    18000    90000 |    83606    73308    118 |  0.000 % |
52.51/52.64	c |    111099 |     900    18000    90000 |    83606    73964    118 |  0.000 % |
53.11/53.20	c |    111821 |     900    18000    90000 |    83606    74686    118 |  0.000 % |
53.61/53.74	c |    112616 |     900    18000    90000 |    83606    75481    118 |  0.000 % |
54.21/54.35	c |    113487 |     900    18000    90000 |    83606    76352    118 |  0.000 % |
54.92/55.00	c |    114448 |     900    18000    90000 |    83606    77313    118 |  0.000 % |
55.61/55.74	c |    115502 |     900    18000    90000 |    83606    78367    118 |  0.000 % |
56.51/56.60	c |    116660 |     900    18000    90000 |    83606    79525    118 |  0.000 % |
57.31/57.47	c |    117933 |     900    18000    90000 |    83606    80798    118 |  0.000 % |
57.41/57.55	c |    118035 |     900    18000    90000 |    83606    80900    118 |  0.000 % |
57.51/57.66	c |    118147 |     900    18000    90000 |    83606    81012    118 |  0.000 % |
57.61/57.77	c |    118269 |     900    18000    90000 |    83606    81134    118 |  0.000 % |
57.71/57.88	c |    118402 |     900    18000    90000 |    83606    81267    118 |  0.000 % |
57.91/58.00	c |    118548 |     900    18000    90000 |    83606    81413    118 |  0.000 % |
58.01/58.15	c |    118709 |     900    18000    90000 |    83606    81574    118 |  0.000 % |
58.11/58.29	c |    118885 |     900    18000    90000 |    83606    81750    118 |  0.000 % |
58.31/58.44	c |    119078 |     900    18000    90000 |    83606    81943    118 |  0.000 % |
58.51/58.63	c |    119293 |     900    18000    90000 |    83606    82158    118 |  0.000 % |
58.71/58.82	c |    119526 |     900    18000    90000 |    83606    82391    118 |  0.000 % |
58.91/59.05	c |    119783 |     900    18000    90000 |    83606    82648    118 |  0.000 % |
59.11/59.27	c |    120064 |     900    18000    90000 |    82867    82929    118 |  0.000 % |
59.41/59.57	c |    120373 |     900    18000    90000 |    82867    72716    118 |  0.000 % |
59.61/59.79	c |    120712 |     900    18000    90000 |    82867    73055    118 |  0.000 % |
59.91/60.05	c |    121087 |     900    18000    90000 |    82867    73430    118 |  0.000 % |
60.21/60.35	c |    121497 |     900    18000    90000 |    82867    73840    118 |  0.000 % |
60.51/60.66	c |    121946 |     900    18000    90000 |    82867    74289    118 |  0.000 % |
60.91/61.02	c |    122439 |     900    18000    90000 |    82867    74782    118 |  0.000 % |
61.31/61.40	c |    122981 |     900    18000    90000 |    82867    75324    118 |  0.000 % |
61.61/61.79	c |    123577 |     900    18000    90000 |    82867    75920    118 |  0.000 % |
62.11/62.28	c |    124232 |     900    18000    90000 |    82867    76575    118 |  0.000 % |
62.61/62.75	c |    124952 |     900    18000    90000 |    82867    77295    119 |  0.000 % |
63.11/63.26	c |    125744 |     900    18000    90000 |    82867    78087    119 |  0.000 % |
63.71/63.84	c |    126617 |     900    18000    90000 |    82867    78960    119 |  0.000 % |
64.41/64.52	c |    127575 |     900    18000    90000 |    82867    79918    119 |  0.000 % |
65.11/65.29	c |    128629 |     900    18000    90000 |    82867    80972    119 |  0.000 % |
65.91/66.09	c |    129787 |     900    18000    90000 |    82867    82130    119 |  0.000 % |
66.80/66.99	c |    131061 |     900    18000    90000 |    82343    73723    119 |  0.000 % |
67.80/67.96	c |    132464 |     900    18000    90000 |    82343    75126    119 |  0.000 % |
67.90/68.04	c |    132564 |     900    18000    90000 |    82343    75226    119 |  0.000 % |
68.01/68.13	c |    132674 |     900    18000    90000 |    82343    75336    119 |  0.000 % |
68.11/68.23	c |    132796 |     900    18000    90000 |    82343    75458    119 |  0.000 % |
68.20/68.33	c |    132929 |     900    18000    90000 |    82343    75591    119 |  0.000 % |
68.30/68.44	c |    133076 |     900    18000    90000 |    82343    75738    119 |  0.000 % |
68.40/68.57	c |    133236 |     900    18000    90000 |    82343    75898    119 |  0.000 % |
68.60/68.71	c |    133414 |     900    18000    90000 |    82343    76076    119 |  0.000 % |
68.70/68.86	c |    133607 |     900    18000    90000 |    82343    76269    119 |  0.000 % |
68.90/69.02	c |    133819 |     900    18000    90000 |    82343    76481    119 |  0.000 % |
69.00/69.18	c |    134052 |     900    18000    90000 |    82343    76714    119 |  0.000 % |
69.21/69.38	c |    134308 |     900    18000    90000 |    82343    76970    119 |  0.000 % |
69.50/69.61	c |    134590 |     900    18000    90000 |    82343    77252    119 |  0.000 % |
69.70/69.85	c |    134901 |     900    18000    90000 |    82343    77563    119 |  0.000 % |
70.00/70.11	c |    135240 |     900    18000    90000 |    82343    77902    119 |  0.000 % |
70.21/70.38	c |    135614 |     900    18000    90000 |    82343    78276    119 |  0.000 % |
70.50/70.65	c |    136023 |     900    18000    90000 |    82343    78685    119 |  0.000 % |
70.80/70.98	c |    136472 |     900    18000    90000 |    82343    79134    119 |  0.000 % |
71.20/71.37	c |    136965 |     900    18000    90000 |    82343    79627    119 |  0.000 % |
71.60/71.77	c |    137507 |     900    18000    90000 |    82343    80169    119 |  0.000 % |
72.10/72.23	c |    138103 |     900    18000    90000 |    82343    80765    119 |  0.000 % |
72.60/72.72	c |    138758 |     900    18000    90000 |    82343    81420    119 |  0.000 % |
73.10/73.27	c |    139480 |     900    18000    90000 |    82343    82142    119 |  0.000 % |
73.70/73.89	c |    140272 |     900    18000    90000 |    72522    72794    120 |  0.000 % |
74.30/74.43	c |    141143 |     900    18000    90000 |    72522    65063    120 |  0.000 % |
74.80/74.98	c |    142101 |     900    18000    90000 |    72522    66021    120 |  0.000 % |
75.40/75.57	c |    143158 |     900    18000    90000 |    72522    67078    120 |  0.000 % |
76.10/76.28	c |    144316 |     900    18000    90000 |    72522    68236    120 |  0.000 % |
76.90/77.03	c |    145591 |     900    18000    90000 |    72522    69511    120 |  0.000 % |
77.80/77.92	c |    146993 |     900    18000    90000 |    72522    70913    120 |  0.000 % |
78.70/78.89	c |    148533 |     900    18000    90000 |    72522    72453    120 |  0.000 % |
78.80/78.97	c |    148634 |     900    18000    90000 |    72522    72554    120 |  0.000 % |
78.90/79.08	c |    148744 |     900    18000    90000 |    72522    65409    120 |  0.000 % |
79.00/79.16	c |    148865 |     900    18000    90000 |    72522    65530    120 |  0.000 % |
79.10/79.25	c |    148998 |     900    18000    90000 |    72522    65663    120 |  0.000 % |
79.19/79.36	c |    149144 |     900    18000    90000 |    72522    65809    120 |  0.000 % |
79.29/79.46	c |    149304 |     900    18000    90000 |    72522    65969    120 |  0.000 % |
79.39/79.56	c |    149480 |     900    18000    90000 |    72522    66145    120 |  0.000 % |
79.49/79.68	c |    149676 |     900    18000    90000 |    72522    66341    120 |  0.000 % |
79.69/79.82	c |    149889 |     900    18000    90000 |    72522    66554    120 |  0.000 % |
79.79/79.96	c |    150122 |     900    18000    90000 | 2147483647    66787    120 |  0.000 % |
80.00/80.11	c |    150381 |     900    18000    90000 | 2147483647    67046    120 |  0.000 % |
80.10/80.29	c |    150663 |     900    18000    90000 | 2147483647    67328    120 |  0.000 % |
80.30/80.48	c |    150973 |     900    18000    90000 | 2147483647    67638    120 |  0.000 % |
80.59/80.70	c |    151313 |     900    18000    90000 | 2147483647    67978    120 |  0.000 % |
80.79/80.94	c |    151686 |     900    18000    90000 | 2147483647    68351    120 |  0.000 % |
80.99/81.19	c |    152095 |     900    18000    90000 | 2147483647    68760    120 |  0.000 % |
81.39/81.50	c |    152544 |     900    18000    90000 | 2147483647    69209    120 |  0.000 % |
81.69/81.87	c |    153037 |     900    18000    90000 | 2147483647    69702    120 |  0.000 % |
82.09/82.23	c |    153579 |     900    18000    90000 | 2147483647    70244    120 |  0.000 % |
82.49/82.64	c |    154175 |     900    18000    90000 | 2147483647    70840    120 |  0.000 % |
82.89/83.06	c |    154830 |     900    18000    90000 | 2147483647    71495    120 |  0.000 % |
83.40/83.53	c |    155551 |     900    18000    90000 | 2147483647    72216    120 |  0.000 % |
83.89/84.08	c |    156344 |     900    18000    90000 | 2147483647    73009    120 |  0.000 % |
84.50/84.66	c |    157218 |     900    18000    90000 | 2147483647    73883    120 |  0.000 % |
85.19/85.31	c |    158176 |     900    18000    90000 | 2147483647    74841    120 |  0.000 % |
85.89/86.01	c |    159229 |     900    18000    90000 | 2147483647    75894    120 |  0.000 % |
86.59/86.79	c |    160389 |     900    18000    90000 | 2147483647    77054    120 |  0.000 % |
87.49/87.60	c |    161663 |     900    18000    90000 | 2147483647    78328    120 |  0.000 % |
88.39/88.53	c |    163063 |     900    18000    90000 | 2147483647    79728    120 |  0.000 % |
89.59/89.72	c |    164604 |     900    18000    90000 | 2147483647    81269    120 |  0.000 % |
90.89/91.03	c |    166299 |     900    18000    90000 | 2147483647    82964    121 |  0.000 % |
90.99/91.11	c |    166399 |     900    18000    90000 | 2147483647    83064    121 |  0.000 % |
91.09/91.20	c |    166509 |     900    18000    90000 | 2147483647    83174    121 |  0.000 % |
91.19/91.32	c |    166631 |     900    18000    90000 | 2147483647    83296    121 |  0.000 % |
91.29/91.44	c |    166765 |     900    18000    90000 | 2147483647    83430    121 |  0.000 % |
91.39/91.56	c |    166911 |     900    18000    90000 | 2147483647    83576    121 |  0.000 % |
91.49/91.69	c |    167073 |     900    18000    90000 | 2147483647    83738    121 |  0.000 % |
91.69/91.87	c |    167252 |     900    18000    90000 | 2147483647    83917    121 |  0.000 % |
91.89/92.05	c |    167445 |     900    18000    90000 | 2147483647    84110    121 |  0.000 % |
92.09/92.22	c |    167659 |     900    18000    90000 | 2147483647    84324    121 |  0.000 % |
92.30/92.40	c |    167895 |     900    18000    90000 | 2147483647    84560    121 |  0.000 % |
92.49/92.61	c |    168152 |     900    18000    90000 | 2147483647    84817    121 |  0.000 % |
92.69/92.82	c |    168433 |     900    18000    90000 | 2147483647    85098    121 |  0.000 % |
92.89/93.08	c |    168743 |     900    18000    90000 | 2147483647    85408    121 |  0.000 % |
93.19/93.32	c |    169082 |     900    18000    90000 | 2147483647    85747    121 |  0.000 % |
93.49/93.66	c |    169454 |     900    18000    90000 | 2147483647    86119    121 |  0.000 % |
93.79/93.97	c |    169863 |     900    18000    90000 | 2147483647    86528    121 |  0.000 % |
94.19/94.35	c |    170312 |     900    18000    90000 |    86665    86977    121 |  0.000 % |
94.59/94.77	c |    170805 |     900    18000    90000 |    86665    76353    121 |  0.000 % |
94.99/95.14	c |    171348 |     900    18000    90000 |    86665    76896    121 |  0.000 % |
95.39/95.54	c |    171947 |     900    18000    90000 |    86665    77495    121 |  0.000 % |
95.79/95.99	c |    172603 |     900    18000    90000 |    86665    78151    121 |  0.000 % |
96.29/96.45	c |    173323 |     900    18000    90000 |    86665    78871    121 |  0.000 % |
96.89/97.00	c |    174115 |     900    18000    90000 |    86665    79663    121 |  0.000 % |
97.39/97.59	c |    174988 |     900    18000    90000 |    86665    80536    121 |  0.000 % |
98.09/98.21	c |    175948 |     900    18000    90000 |    86665    81496    121 |  0.000 % |
98.79/98.95	c |    177001 |     900    18000    90000 |    86665    82549    121 |  0.000 % |
99.69/99.83	c |    178162 |     900    18000    90000 |    86665    83710    121 |  0.000 % |
100.69/100.81	c |    179435 |     900    18000    90000 |    86665    84983    121 |  0.000 % |
101.69/101.84	c |    180836 |     900    18000    90000 |    85550    75402    121 |  0.000 % |
102.79/102.92	c |    182377 |     900    18000    90000 |    85550    76943    122 |  0.000 % |
103.99/104.13	c |    184071 |     900    18000    90000 |    85550    78637    122 |  0.000 % |
105.39/105.50	c |    185934 |     900    18000    90000 |    85550    80500    122 |  0.000 % |
105.39/105.59	c |    186034 |     900    18000    90000 |    85550    80600    122 |  0.000 % |
105.49/105.69	c |    186145 |     900    18000    90000 |    85550    80711    122 |  0.000 % |
105.58/105.78	c |    186266 |     900    18000    90000 |    85550    80832    122 |  0.000 % |
105.68/105.89	c |    186399 |     900    18000    90000 |    85550    80965    122 |  0.000 % |
105.88/106.03	c |    186546 |     900    18000    90000 |    85550    81112    122 |  0.000 % |
105.98/106.18	c |    186706 |     900    18000    90000 |    85550    81272    122 |  0.000 % |
106.18/106.32	c |    186883 |     900    18000    90000 |    85550    81449    122 |  0.000 % |
106.28/106.47	c |    187076 |     900    18000    90000 |    85550    81642    122 |  0.000 % |
106.49/106.64	c |    187288 |     900    18000    90000 |    85550    81854    122 |  0.000 % |
106.68/106.82	c |    187523 |     900    18000    90000 |    85550    82089    122 |  0.000 % |
106.88/107.04	c |    187779 |     900    18000    90000 |    85550    82345    122 |  0.000 % |
107.08/107.27	c |    188060 |     900    18000    90000 |    85550    82626    122 |  0.000 % |
107.38/107.51	c |    188371 |     900    18000    90000 |    85550    82937    122 |  0.000 % |
107.59/107.75	c |    188711 |     900    18000    90000 |    85550    83277    122 |  0.000 % |
107.88/108.07	c |    189085 |     900    18000    90000 |    85550    83651    122 |  0.000 % |
108.28/108.41	c |    189495 |     900    18000    90000 |    85550    84061    122 |  0.000 % |
108.58/108.75	c |    189944 |     900    18000    90000 |    85550    84510    122 |  0.000 % |
108.98/109.18	c |    190438 |     900    18000    90000 |    84566    73808    122 |  0.000 % |
109.38/109.53	c |    190980 |     900    18000    90000 |    84566    74350    122 |  0.000 % |
109.78/109.93	c |    191576 |     900    18000    90000 |    84566    74946    122 |  0.000 % |
110.28/110.42	c |    192232 |     900    18000    90000 |    84566    75602    122 |  0.000 % |
110.78/110.94	c |    192953 |     900    18000    90000 |    84566    76323    122 |  0.000 % |
111.28/111.44	c |    193745 |     900    18000    90000 |    84566    77115    122 |  0.000 % |
111.88/112.01	c |    194617 |     900    18000    90000 |    84566    77987    122 |  0.000 % |
112.48/112.65	c |    195576 |     900    18000    90000 |    84566    78946    122 |  0.000 % |
113.28/113.47	c |    196629 |     900    18000    90000 |    84566    79999    122 |  0.000 % |
114.18/114.34	c |    197788 |     900    18000    90000 |    84566    81158    122 |  0.000 % |
115.08/115.28	c |    199062 |     900    18000    90000 |    84566    82432    122 |  0.000 % |
116.18/116.38	c |    200462 |     900    18000    90000 |    83371    73401    123 |  0.000 % |
117.18/117.39	c |    202003 |     900    18000    90000 |    83371    74942    122 |  0.000 % |
118.38/118.59	c |    203698 |     900    18000    90000 |    83371    76637    122 |  0.000 % |
119.58/119.78	c |    205563 |     900    18000    90000 |    83371    78502    123 |  0.000 % |
121.08/121.30	c |    207612 |     900    18000    90000 |    83371    80551    123 |  0.000 % |
121.17/121.36	c |    207712 |     900    18000    90000 |    83371    80651    123 |  0.000 % |
121.27/121.44	c |    207823 |     900    18000    90000 |    83371    80762    123 |  0.000 % |
121.37/121.54	c |    207944 |     900    18000    90000 |    83371    80883    123 |  0.000 % |
121.47/121.65	c |    208077 |     900    18000    90000 |    83371    81016    123 |  0.000 % |
121.57/121.79	c |    208223 |     900    18000    90000 |    83371    81162    123 |  0.000 % |
121.77/121.91	c |    208384 |     900    18000    90000 |    83371    81323    123 |  0.000 % |
121.88/122.05	c |    208560 |     900    18000    90000 |    83371    81499    123 |  0.000 % |
122.07/122.22	c |    208753 |     900    18000    90000 |    83371    81692    123 |  0.000 % |
122.17/122.40	c |    208965 |     900    18000    90000 |    83371    81904    123 |  0.000 % |
122.37/122.57	c |    209199 |     900    18000    90000 |    83371    82138    123 |  0.000 % |
122.57/122.77	c |    209455 |     900    18000    90000 |    83371    82394    122 |  0.000 % |
122.77/122.98	c |    209736 |     900    18000    90000 |    83371    82675    122 |  0.000 % |
123.08/123.21	c |    210045 |     900    18000    90000 |    82940    82984    122 |  0.000 % |
123.37/123.50	c |    210384 |     900    18000    90000 |    82940    73295    123 |  0.000 % |
123.57/123.76	c |    210756 |     900    18000    90000 |    82940    73667    123 |  0.000 % |
123.87/124.06	c |    211166 |     900    18000    90000 |    82940    74077    123 |  0.000 % |
124.27/124.41	c |    211615 |     900    18000    90000 |    82940    74526    123 |  0.000 % |
124.57/124.76	c |    212110 |     900    18000    90000 |    82940    75021    123 |  0.000 % |
124.97/125.12	c |    212652 |     900    18000    90000 |    82940    75563    123 |  0.000 % |
125.37/125.50	c |    213248 |     900    18000    90000 |    82940    76159    123 |  0.000 % |
125.77/125.94	c |    213903 |     900    18000    90000 |    82940    76814    123 |  0.000 % |
126.28/126.43	c |    214625 |     900    18000    90000 |    82940    77536    123 |  0.000 % |
126.77/126.94	c |    215417 |     900    18000    90000 |    82940    78328    123 |  0.000 % |
127.37/127.54	c |    216290 |     900    18000    90000 |    82940    79201    123 |  0.000 % |
127.97/128.18	c |    217248 |     900    18000    90000 |    82940    80159    123 |  0.000 % |
128.77/128.92	c |    218301 |     900    18000    90000 |    82940    81212    123 |  0.000 % |
129.57/129.73	c |    219459 |     900    18000    90000 |    82940    82370    123 |  0.000 % |
130.47/130.67	c |    220732 |     900    18000    90000 |    82915    74383    123 |  0.000 % |
131.47/131.62	c |    222133 |     900    18000    90000 |    82915    75784    122 |  0.000 % |
132.47/132.64	c |    223675 |     900    18000    90000 |    82915    77326    122 |  0.000 % |
133.57/133.75	c |    225370 |     900    18000    90000 |    82915    79021    122 |  0.000 % |
134.77/134.94	c |    227233 |     900    18000    90000 |    82915    80884    123 |  0.000 % |
136.07/136.28	c |    229283 |     900    18000    90000 |    82915    82934    123 |  0.000 % |
137.67/137.83	c |    231536 |     900    18000    90000 | 2147483647    76894    124 |  0.000 % |
137.77/137.93	c |    231640 |     900    18000    90000 | 2147483647    76998    124 |  0.000 % |
137.87/138.03	c |    231752 |     900    18000    90000 | 2147483647    77110    124 |  0.000 % |
137.97/138.11	c |    231873 |     900    18000    90000 | 2147483647    77231    123 |  0.000 % |
138.07/138.21	c |    232006 |     900    18000    90000 | 2147483647    77364    123 |  0.000 % |
138.17/138.34	c |    232152 |     900    18000    90000 | 2147483647    77510    123 |  0.000 % |
138.27/138.47	c |    232312 |     900    18000    90000 | 2147483647    77670    123 |  0.000 % |
138.37/138.60	c |    232489 |     900    18000    90000 | 2147483647    77847    123 |  0.000 % |
138.56/138.74	c |    232682 |     900    18000    90000 | 2147483647    78040    123 |  0.000 % |
138.76/138.91	c |    232895 |     900    18000    90000 | 2147483647    78253    123 |  0.000 % |
138.86/139.08	c |    233130 |     900    18000    90000 | 2147483647    78488    123 |  0.000 % |
139.06/139.27	c |    233387 |     900    18000    90000 | 2147483647    78745    123 |  0.000 % |
139.26/139.45	c |    233668 |     900    18000    90000 | 2147483647    79026    123 |  0.000 % |
139.47/139.69	c |    233979 |     900    18000    90000 | 2147483647    79337    123 |  0.000 % |
139.76/139.94	c |    234320 |     900    18000    90000 | 2147483647    79678    123 |  0.000 % |
139.96/140.19	c |    234692 |     900    18000    90000 | 2147483647    80050    123 |  0.000 % |
140.26/140.46	c |    235101 |     900    18000    90000 | 2147483647    80459    123 |  0.000 % |
140.57/140.77	c |    235551 |     900    18000    90000 | 2147483647    80909    123 |  0.000 % |
140.96/141.16	c |    236045 |     900    18000    90000 | 2147483647    81403    123 |  0.000 % |
141.36/141.57	c |    236589 |     900    18000    90000 | 2147483647    81947    123 |  0.000 % |
141.86/142.04	c |    237185 |     900    18000    90000 | 2147483647    82543    123 |  0.000 % |
142.36/142.55	c |    237840 |     900    18000    90000 | 2147483647    83198    123 |  0.000 % |
142.87/143.06	c |    238562 |     900    18000    90000 | 2147483647    83920    123 |  0.000 % |
143.56/143.72	c |    239354 |     900    18000    90000 | 2147483647    84712    123 |  0.000 % |
144.16/144.35	c |    240226 |     900    18000    90000 |    85359    85584    123 |  0.000 % |
144.86/145.03	c |    241184 |     900    18000    90000 |    85359    76069    123 |  0.000 % |
145.46/145.67	c |    242237 |     900    18000    90000 |    85359    77122    123 |  0.000 % |
146.26/146.44	c |    243395 |     900    18000    90000 |    85359    78280    123 |  0.000 % |
147.16/147.32	c |    244668 |     900    18000    90000 |    85359    79553    123 |  0.000 % |
148.16/148.34	c |    246068 |     900    18000    90000 |    85359    80953    123 |  0.000 % |
149.36/149.58	c |    247608 |     900    18000    90000 |    85359    82493    123 |  0.000 % |
150.66/150.86	c |    249303 |     900    18000    90000 |    85359    84188    123 |  0.000 % |
152.06/152.20	c |    251167 |     900    18000    90000 |    84886    75449    123 |  0.000 % |
153.26/153.50	c |    253218 |     900    18000    90000 |    84886    77500    124 |  0.000 % |
154.86/155.00	c |    255471 |     900    18000    90000 |    84886    79753    124 |  0.000 % |
156.56/156.73	c |    257949 |     900    18000    90000 |    84886    82231    124 |  0.000 % |
156.66/156.81	c |    258050 |     900    18000    90000 |    84886    82332    124 |  0.000 % |
156.76/156.92	c |    258160 |     900    18000    90000 |    84886    82442    124 |  0.000 % |
156.86/157.02	c |    258281 |     900    18000    90000 |    84886    82563    124 |  0.000 % |
156.96/157.12	c |    258414 |     900    18000    90000 |    84886    82696    124 |  0.000 % |
157.06/157.26	c |    258565 |     900    18000    90000 |    84886    82847    124 |  0.000 % |
157.26/157.43	c |    258727 |     900    18000    90000 |    84886    83009    124 |  0.000 % |
157.36/157.57	c |    258905 |     900    18000    90000 |    84886    83187    124 |  0.000 % |
157.56/157.73	c |    259099 |     900    18000    90000 |    84886    83381    124 |  0.000 % |
157.76/157.92	c |    259311 |     900    18000    90000 |    84886    83593    124 |  0.000 % |
157.96/158.11	c |    259544 |     900    18000    90000 |    84886    83826    124 |  0.000 % |
158.16/158.36	c |    259801 |     900    18000    90000 |    84886    84083    124 |  0.000 % |
158.36/158.57	c |    260082 |     900    18000    90000 |    84283    84364    124 |  0.000 % |
158.65/158.85	c |    260391 |     900    18000    90000 |    84283    74498    123 |  0.000 % |
158.85/159.09	c |    260730 |     900    18000    90000 |    84283    74837    123 |  0.000 % |
159.15/159.36	c |    261103 |     900    18000    90000 |    84283    75210    123 |  0.000 % |
159.45/159.63	c |    261512 |     900    18000    90000 |    84283    75619    123 |  0.000 % |
159.75/159.96	c |    261961 |     900    18000    90000 |    84283    76068    123 |  0.000 % |
160.15/160.30	c |    262454 |     900    18000    90000 |    84283    76561    123 |  0.000 % |
160.46/160.67	c |    262996 |     900    18000    90000 |    84283    77103    123 |  0.000 % |
160.85/161.08	c |    263592 |     900    18000    90000 |    84283    77699    123 |  0.000 % |
161.35/161.55	c |    264249 |     900    18000    90000 |    84283    78356    123 |  0.000 % |
161.85/162.06	c |    264971 |     900    18000    90000 |    84283    79078    123 |  0.000 % |
162.45/162.63	c |    265764 |     900    18000    90000 |    84283    79871    123 |  0.000 % |
163.05/163.23	c |    266636 |     900    18000    90000 |    84283    80743    123 |  0.000 % |
163.75/163.94	c |    267594 |     900    18000    90000 |    84283    81701    123 |  0.000 % |
164.55/164.76	c |    268647 |     900    18000    90000 |    84283    82754    123 |  0.000 % |
165.45/165.62	c |    269805 |     900    18000    90000 |    84283    83912    123 |  0.000 % |
166.35/166.57	c |    271079 |     900    18000    90000 |    84109    74714    123 |  0.000 % |
167.35/167.56	c |    272479 |     900    18000    90000 |    84109    76114    123 |  0.000 % |
168.35/168.58	c |    274019 |     900    18000    90000 |    84109    77654    123 |  0.000 % |
169.65/169.80	c |    275713 |     900    18000    90000 |    84109    79348    123 |  0.000 % |
170.95/171.13	c |    277576 |     900    18000    90000 |    84109    81211    123 |  0.000 % |
172.35/172.60	c |    279627 |     900    18000    90000 |    84109    83262    123 |  0.000 % |
173.95/174.19	c |    281882 |     900    18000    90000 |    83636    75208    123 |  0.000 % |
175.65/175.87	c |    284361 |     900    18000    90000 |    83636    77687    124 |  0.000 % |
177.45/177.69	c |    287088 |     900    18000    90000 |    83636    80414    124 |  0.000 % |
177.55/177.78	c |    287189 |     900    18000    90000 |    83636    80515    124 |  0.000 % |
177.65/177.88	c |    287300 |     900    18000    90000 |    83636    80626    124 |  0.000 % |
177.75/177.97	c |    287422 |     900    18000    90000 |    83636    80748    124 |  0.000 % |
177.84/178.08	c |    287556 |     900    18000    90000 |    83636    80882    124 |  0.000 % |
178.05/178.23	c |    287704 |     900    18000    90000 |    83636    81030    124 |  0.000 % |
178.14/178.36	c |    287864 |     900    18000    90000 |    83636    81190    124 |  0.000 % |
178.34/178.50	c |    288040 |     900    18000    90000 |    83636    81366    124 |  0.000 % |
178.44/178.67	c |    288233 |     900    18000    90000 |    83636    81559    124 |  0.000 % |
178.64/178.85	c |    288449 |     900    18000    90000 |    83636    81775    124 |  0.000 % |
178.84/179.03	c |    288683 |     900    18000    90000 |    83636    82009    124 |  0.000 % |
179.05/179.21	c |    288939 |     900    18000    90000 |    83636    82265    124 |  0.000 % |
179.24/179.46	c |    289220 |     900    18000    90000 |    83636    82546    124 |  0.000 % |
179.54/179.71	c |    289531 |     900    18000    90000 |    83636    82857    124 |  0.000 % |
179.74/179.99	c |    289870 |     900    18000    90000 |    83636    83196    124 |  0.000 % |
180.04/180.26	c |    290242 |     900    18000    90000 |    83328    83568    123 |  0.000 % |
180.34/180.59	c |    290651 |     900    18000    90000 |    83328    73759    124 |  0.000 % |
180.64/180.87	c |    291101 |     900    18000    90000 |    83328    74209    124 |  0.000 % |
180.94/181.19	c |    291594 |     900    18000    90000 |    83328    74702    124 |  0.000 % |
181.35/181.58	c |    292136 |     900    18000    90000 |    83328    75244    124 |  0.000 % |
181.84/182.01	c |    292732 |     900    18000    90000 |    83328    75840    124 |  0.000 % |
182.24/182.47	c |    293387 |     900    18000    90000 |    83328    76495    124 |  0.000 % |
182.74/182.94	c |    294107 |     900    18000    90000 |    83328    77215    124 |  0.000 % |
183.24/183.47	c |    294900 |     900    18000    90000 |    83328    78008    123 |  0.000 % |
183.84/184.03	c |    295772 |     900    18000    90000 |    83328    78880    123 |  0.000 % |
184.44/184.70	c |    296731 |     900    18000    90000 |    83328    79839    123 |  0.000 % |
185.24/185.42	c |    297784 |     900    18000    90000 |    83328    80892    123 |  0.000 % |
185.94/186.19	c |    298945 |     900    18000    90000 |    83328    82053    123 |  0.000 % |
186.84/187.04	c |    300218 |     900    18000    90000 |    83108    83326    123 |  0.000 % |
187.74/187.96	c |    301619 |     900    18000    90000 |    83108    75727    123 |  0.000 % |
188.74/188.94	c |    303159 |     900    18000    90000 |    83108    77267    124 |  0.000 % |
189.84/190.02	c |    304853 |     900    18000    90000 |    83108    78961    124 |  0.000 % |
191.04/191.25	c |    306718 |     900    18000    90000 |    83108    80826    124 |  0.000 % |
192.44/192.62	c |    308767 |     900    18000    90000 |    83108    82875    124 |  0.000 % |
193.94/194.17	c |    311020 |     900    18000    90000 | 2147483647    76787    124 |  0.000 % |
195.74/195.92	c |    313498 |     900    18000    90000 | 2147483647    79265    124 |  0.000 % |
197.44/197.68	c |    316224 |     900    18000    90000 | 2147483647    81991    124 |  0.000 % |
199.44/199.70	c |    319224 |     900    18000    90000 | 2147483647    84991    124 |  0.000 % |
199.54/199.76	c |    319324 |     900    18000    90000 | 2147483647    85091    124 |  0.000 % |
199.64/199.84	c |    319435 |     900    18000    90000 | 2147483647    85202    124 |  0.000 % |
199.74/199.94	c |    319556 |     900    18000    90000 | 2147483647    85323    124 |  0.000 % |
199.84/200.07	c |    319689 |     900    18000    90000 | 2147483647    85456    124 |  0.000 % |
199.95/200.20	c |    319835 |     900    18000    90000 | 2147483647    85602    124 |  0.000 % |
200.14/200.32	c |    319995 |     900    18000    90000 | 2147483647    85762    124 |  0.000 % |
200.24/200.48	c |    320171 |     900    18000    90000 |    85767    85938    124 |  0.000 % |
200.44/200.67	c |    320365 |     900    18000    90000 |    85767    76330    124 |  0.000 % |
200.64/200.82	c |    320578 |     900    18000    90000 |    85767    76543    124 |  0.000 % |
200.84/201.03	c |    320812 |     900    18000    90000 |    85767    76777    124 |  0.000 % |
201.04/201.22	c |    321068 |     900    18000    90000 |    85767    77033    123 |  0.000 % |
201.24/201.44	c |    321351 |     900    18000    90000 |    85767    77316    123 |  0.000 % |
201.44/201.66	c |    321660 |     900    18000    90000 |    85767    77625    123 |  0.000 % |
201.74/201.92	c |    322000 |     900    18000    90000 |    85767    77965    123 |  0.000 % |
202.04/202.22	c |    322372 |     900    18000    90000 |    85767    78337    123 |  0.000 % |
202.34/202.51	c |    322781 |     900    18000    90000 |    85767    78746    123 |  0.000 % |
202.64/202.84	c |    323230 |     900    18000    90000 |    85767    79195    123 |  0.000 % |
203.04/203.20	c |    323723 |     900    18000    90000 |    85767    79688    123 |  0.000 % |
203.44/203.60	c |    324266 |     900    18000    90000 |    85767    80231    123 |  0.000 % |
203.83/204.03	c |    324864 |     900    18000    90000 |    85767    80829    123 |  0.000 % |
204.34/204.51	c |    325519 |     900    18000    90000 |    85767    81484    123 |  0.000 % |
204.83/205.02	c |    326240 |     900    18000    90000 |    85767    82205    123 |  0.000 % |
205.33/205.60	c |    327034 |     900    18000    90000 |    85767    82999    123 |  0.000 % |
206.13/206.34	c |    327905 |     900    18000    90000 |    85767    83870    123 |  0.000 % |
206.83/207.08	c |    328863 |     900    18000    90000 |    85767    84828    123 |  0.000 % |
207.64/207.85	c |    329918 |     900    18000    90000 |    85767    85883    123 |  0.000 % |
208.43/208.68	c |    331078 |     900    18000    90000 |    74900    66567    123 |  0.000 % |
209.33/209.55	c |    332351 |     900    18000    90000 |    74900    67840    123 |  0.000 % |
210.23/210.44	c |    333752 |     900    18000    90000 |    74900    69241    123 |  0.000 % |
211.23/211.43	c |    335292 |     900    18000    90000 |    74900    70781    123 |  0.000 % |
212.33/212.52	c |    336989 |     900    18000    90000 |    74900    72478    123 |  0.000 % |
213.53/213.71	c |    338852 |     900    18000    90000 |    74900    74341    123 |  0.000 % |
214.83/215.01	c |    340901 |     900    18000    90000 | 2147483647    68869    123 |  0.000 % |
216.23/216.48	c |    343155 |     900    18000    90000 | 2147483647    71123    123 |  0.000 % |
217.83/218.06	c |    345634 |     900    18000    90000 | 2147483647    73602    123 |  0.000 % |
219.53/219.78	c |    348362 |     900    18000    90000 | 2147483647    76330    123 |  0.000 % |
221.43/221.65	c |    351359 |     900    18000    90000 | 2147483647    79327    123 |  0.000 % |
223.82/224.05	c |    354655 |     900    18000    90000 | 2147483647    82623    123 |  0.000 % |
223.92/224.13	c |    354756 |     900    18000    90000 | 2147483647    82724    123 |  0.000 % |
224.02/224.21	c |    354867 |     900    18000    90000 | 2147483647    82835    123 |  0.000 % |
224.13/224.30	c |    354988 |     900    18000    90000 | 2147483647    82956    123 |  0.000 % |
224.23/224.41	c |    355121 |     900    18000    90000 | 2147483647    83089    123 |  0.000 % |
224.32/224.54	c |    355268 |     900    18000    90000 | 2147483647    83236    123 |  0.000 % |
224.42/224.65	c |    355429 |     900    18000    90000 | 2147483647    83397    123 |  0.000 % |
224.52/224.79	c |    355605 |     900    18000    90000 | 2147483647    83573    123 |  0.000 % |
224.72/224.94	c |    355798 |     900    18000    90000 | 2147483647    83766    123 |  0.000 % |
224.92/225.10	c |    356011 |     900    18000    90000 | 2147483647    83979    123 |  0.000 % |
225.12/225.32	c |    356244 |     900    18000    90000 | 2147483647    84212    123 |  0.000 % |
225.33/225.54	c |    356503 |     900    18000    90000 | 2147483647    84471    123 |  0.000 % |
225.52/225.79	c |    356785 |     900    18000    90000 | 2147483647    84753    123 |  0.000 % |
225.82/226.04	c |    357096 |     900    18000    90000 | 2147483647    85064    123 |  0.000 % |
226.12/226.31	c |    357436 |     900    18000    90000 | 2147483647    85404    123 |  0.000 % |
226.43/226.61	c |    357809 |     900    18000    90000 | 2147483647    85777    123 |  0.000 % |
226.72/226.94	c |    358219 |     900    18000    90000 | 2147483647    86187    123 |  0.000 % |
227.12/227.32	c |    358668 |     900    18000    90000 | 2147483647    86636    123 |  0.000 % |
227.42/227.69	c |    359163 |     900    18000    90000 | 2147483647    87131    123 |  0.000 % |
227.92/228.12	c |    359708 |     900    18000    90000 | 2147483647    87676    123 |  0.000 % |
228.32/228.58	c |    360305 |     900    18000    90000 |    87968    88273    123 |  0.000 % |
228.82/229.07	c |    360960 |     900    18000    90000 |    87968    77971    122 |  0.000 % |
229.32/229.56	c |    361680 |     900    18000    90000 |    87968    78691    122 |  0.000 % |
229.92/230.12	c |    362473 |     900    18000    90000 |    87968    79484    122 |  0.000 % |
230.52/230.74	c |    363345 |     900    18000    90000 |    87968    80356    122 |  0.000 % |
231.22/231.40	c |    364304 |     900    18000    90000 |    87968    81315    122 |  0.000 % |
231.92/232.14	c |    365357 |     900    18000    90000 |    87968    82368    122 |  0.000 % |
232.72/232.95	c |    366516 |     900    18000    90000 |    87968    83527    122 |  0.000 % |
233.72/233.96	c |    367790 |     900    18000    90000 |    87968    84801    122 |  0.000 % |
234.82/235.01	c |    369190 |     900    18000    90000 |    87968    86201    122 |  0.000 % |
235.92/236.16	c |    370730 |     900    18000    90000 |    87011    76723    123 |  0.000 % |
237.01/237.29	c |    372425 |     900    18000    90000 |    87011    78418    123 |  0.000 % |
238.31/238.56	c |    374288 |     900    18000    90000 |    87011    80281    123 |  0.000 % |
239.62/239.84	c |    376337 |     900    18000    90000 |    87011    82330    123 |  0.000 % |
241.11/241.30	c |    378590 |     900    18000    90000 |    87011    84583    123 |  0.000 % |
242.92/243.14	c |    381068 |     900    18000    90000 |    85995    77111    123 |  0.000 % |
244.71/244.98	c |    383793 |     900    18000    90000 |    85995    79836    123 |  0.000 % |
246.81/247.01	c |    386791 |     900    18000    90000 |    85995    82834    123 |  0.000 % |
249.11/249.31	c |    390090 |     900    18000    90000 |    86043    86133    123 |  0.000 % |
251.51/251.72	c |    393715 |     900    18000    90000 |    86043    79248    123 |  0.000 % |
251.51/251.80	c |    393816 |     900    18000    90000 |    86043    79349    123 |  0.000 % |
251.62/251.88	c |    393928 |     900    18000    90000 |    86043    79461    123 |  0.000 % |
251.72/251.99	c |    394050 |     900    18000    90000 |    86043    79583    123 |  0.000 % |
251.92/252.11	c |    394183 |     900    18000    90000 |    86043    79716    123 |  0.000 % |
252.02/252.22	c |    394329 |     900    18000    90000 |    86043    79862    123 |  0.000 % |
252.12/252.35	c |    394489 |     900    18000    90000 |    86043    80022    123 |  0.000 % |
252.32/252.50	c |    394666 |     900    18000    90000 |    86043    80199    123 |  0.000 % |
252.42/252.65	c |    394859 |     900    18000    90000 |    86043    80392    123 |  0.000 % |
252.62/252.82	c |    395072 |     900    18000    90000 |    86043    80605    123 |  0.000 % |
252.82/253.02	c |    395306 |     900    18000    90000 |    86043    80839    123 |  0.000 % |
253.02/253.21	c |    395564 |     900    18000    90000 |    86043    81097    123 |  0.000 % |
253.22/253.44	c |    395845 |     900    18000    90000 |    86043    81378    123 |  0.000 % |
253.42/253.67	c |    396154 |     900    18000    90000 |    86043    81687    122 |  0.000 % |
253.72/253.91	c |    396494 |     900    18000    90000 |    86043    82027    122 |  0.000 % |
253.92/254.16	c |    396866 |     900    18000    90000 |    86043    82399    122 |  0.000 % |
254.22/254.46	c |    397275 |     900    18000    90000 |    86043    82808    122 |  0.000 % |
254.52/254.78	c |    397725 |     900    18000    90000 |    86043    83258    122 |  0.000 % |
254.92/255.15	c |    398218 |     900    18000    90000 |    86043    83751    122 |  0.000 % |
255.32/255.53	c |    398761 |     900    18000    90000 |    86043    84294    122 |  0.000 % |
255.72/255.97	c |    399357 |     900    18000    90000 |    86043    84890    122 |  0.000 % |
256.22/256.47	c |    400012 |     900    18000    90000 |    85535    85545    122 |  0.000 % |
256.81/257.07	c |    400733 |     900    18000    90000 |    85535    74939    123 |  0.000 % |
257.41/257.60	c |    401525 |     900    18000    90000 |    85535    75731    123 |  0.000 % |
258.01/258.21	c |    402396 |     900    18000    90000 |    85535    76602    123 |  0.000 % |
258.61/258.86	c |    403356 |     900    18000    90000 |    85535    77562    123 |  0.000 % |
259.32/259.58	c |    404409 |     900    18000    90000 |    85535    78615    123 |  0.000 % |
260.11/260.35	c |    405568 |     900    18000    90000 |    85535    79774    123 |  0.000 % |
261.01/261.28	c |    406843 |     900    18000    90000 |    85535    81049    123 |  0.000 % |
262.01/262.22	c |    408244 |     900    18000    90000 |    85535    82450    123 |  0.000 % |
263.11/263.33	c |    409784 |     900    18000    90000 |    85535    83990    123 |  0.000 % |
264.31/264.57	c |    411478 |     900    18000    90000 |    84206    75035    123 |  0.000 % |
265.61/265.87	c |    413342 |     900    18000    90000 |    84206    76899    123 |  0.000 % |
267.01/267.22	c |    415391 |     900    18000    90000 |    84206    78948    123 |  0.000 % |
268.41/268.66	c |    417644 |     900    18000    90000 |    84206    81201    123 |  0.000 % |
270.21/270.42	c |    420122 |     900    18000    90000 |    83558    83679    123 |  0.000 % |
272.01/272.22	c |    422847 |     900    18000    90000 |    83558    77578    123 |  0.000 % |
273.91/274.18	c |    425846 |     900    18000    90000 |    83558    80577    123 |  0.000 % |
276.31/276.55	c |    429142 |     900    18000    90000 |    83558    74521    123 |  0.000 % |
278.61/278.84	c |    432768 |     900    18000    90000 |    75381    69821    124 |  0.000 % |
281.10/281.34	c |    436755 |     900    18000    90000 |    75381    73808    125 |  0.000 % |
281.20/281.41	c |    436856 |     900    18000    90000 |    75381    73909    125 |  0.000 % |
281.20/281.49	c |    436968 |     900    18000    90000 |    75381    74021    125 |  0.000 % |
281.31/281.59	c |    437089 |     900    18000    90000 |    75381    74142    125 |  0.000 % |
281.50/281.71	c |    437222 |     900    18000    90000 |    75381    74275    125 |  0.000 % |
281.60/281.82	c |    437369 |     900    18000    90000 |    75381    74422    125 |  0.000 % |
281.70/281.94	c |    437529 |     900    18000    90000 |    75381    74582    125 |  0.000 % |
281.80/282.08	c |    437705 |     900    18000    90000 |    75381    74758    125 |  0.000 % |
282.00/282.22	c |    437899 |     900    18000    90000 |    75381    74952    125 |  0.000 % |
282.10/282.38	c |    438114 |     900    18000    90000 |    75381    75167    124 |  0.000 % |
282.30/282.54	c |    438347 |     900    18000    90000 |    75381    75400    124 |  0.000 % |
282.51/282.76	c |    438603 |     900    18000    90000 |    75381    68116    124 |  0.000 % |
282.70/282.94	c |    438884 |     900    18000    90000 |    75381    68397    124 |  0.000 % |
282.90/283.14	c |    439195 |     900    18000    90000 |    75381    68708    124 |  0.000 % |
283.10/283.39	c |    439536 |     900    18000    90000 |    75381    69049    124 |  0.000 % |
283.40/283.66	c |    439908 |     900    18000    90000 |    75381    69421    124 |  0.000 % |
283.70/283.96	c |    440320 |     900    18000    90000 | 2147483647    69833    124 |  0.000 % |
284.00/284.26	c |    440769 |     900    18000    90000 | 2147483647    70282    124 |  0.000 % |
284.30/284.56	c |    441264 |     900    18000    90000 | 2147483647    70777    124 |  0.000 % |
284.71/284.91	c |    441807 |     900    18000    90000 | 2147483647    71320    124 |  0.000 % |
285.00/285.26	c |    442403 |     900    18000    90000 | 2147483647    71916    124 |  0.000 % |
285.40/285.68	c |    443059 |     900    18000    90000 | 2147483647    72572    124 |  0.000 % |
285.90/286.19	c |    443780 |     900    18000    90000 | 2147483647    73293    124 |  0.000 % |
286.40/286.70	c |    444573 |     900    18000    90000 | 2147483647    74086    124 |  0.000 % |
287.10/287.35	c |    445446 |     900    18000    90000 | 2147483647    74959    124 |  0.000 % |
287.70/287.99	c |    446405 |     900    18000    90000 | 2147483647    75918    124 |  0.000 % |
288.40/288.65	c |    447460 |     900    18000    90000 | 2147483647    76973    124 |  0.000 % |
289.20/289.42	c |    448619 |     900    18000    90000 | 2147483647    78132    124 |  0.000 % |
290.00/290.29	c |    449892 |     900    18000    90000 | 2147483647    79405    124 |  0.000 % |
291.10/291.36	c |    451296 |     900    18000    90000 | 2147483647    80809    124 |  0.000 % |
292.30/292.51	c |    452836 |     900    18000    90000 | 2147483647    82349    124 |  0.000 % |
293.50/293.71	c |    454530 |     900    18000    90000 | 2147483647    84043    124 |  0.000 % |
294.80/295.04	c |    456393 |     900    18000    90000 | 2147483647    85906    124 |  0.000 % |
296.39/296.63	c |    458442 |     900    18000    90000 | 2147483647    87955    124 |  0.000 % |
298.19/298.43	c |    460695 |     900    18000    90000 |    89517    78205    124 |  0.000 % |
299.89/300.12	c |    463173 |     900    18000    90000 |    89517    80683    124 |  0.000 % |
301.69/301.91	c |    465899 |     900    18000    90000 |    89517    83409    124 |  0.000 % |
303.79/304.01	c |    468896 |     900    18000    90000 |    89517    86406    124 |  0.000 % |
306.09/306.31	c |    472194 |     900    18000    90000 |    87511    78777    124 |  0.000 % |
308.59/308.81	c |    475820 |     900    18000    90000 |    87511    82403    124 |  0.000 % |
311.29/311.58	c |    479808 |     900    18000    90000 |    87511    86391    124 |  0.000 % |
314.39/314.63	c |    484193 |     900    18000    90000 |    86584    80551    126 |  0.000 % |
314.49/314.71	c |    484293 |     900    18000    90000 |    86584    80651    126 |  0.000 % |
314.59/314.80	c |    484403 |     900    18000    90000 |    86584    80761    126 |  0.000 % |
314.59/314.90	c |    484526 |     900    18000    90000 |    86584    80884    126 |  0.000 % |
314.79/315.03	c |    484660 |     900    18000    90000 |    86584    81018    126 |  0.000 % |
314.89/315.16	c |    484806 |     900    18000    90000 |    86584    81164    126 |  0.000 % |
314.99/315.29	c |    484966 |     900    18000    90000 |    86584    81324    126 |  0.000 % |
315.19/315.43	c |    485143 |     900    18000    90000 |    86584    81501    126 |  0.000 % |
315.29/315.56	c |    485336 |     900    18000    90000 |    86584    81694    126 |  0.000 % |
315.49/315.73	c |    485548 |     900    18000    90000 |    86584    81906    125 |  0.000 % |
315.68/315.93	c |    485786 |     900    18000    90000 |    86584    82144    125 |  0.000 % |
315.88/316.11	c |    486042 |     900    18000    90000 |    86584    82400    125 |  0.000 % |
316.08/316.35	c |    486325 |     900    18000    90000 |    86584    82683    125 |  0.000 % |
316.28/316.59	c |    486635 |     900    18000    90000 |    86584    82993    125 |  0.000 % |
316.59/316.83	c |    486974 |     900    18000    90000 |    86584    83332    125 |  0.000 % |
316.88/317.13	c |    487346 |     900    18000    90000 |    86584    83704    125 |  0.000 % |
317.18/317.45	c |    487755 |     900    18000    90000 |    86584    84113    125 |  0.000 % |
317.48/317.78	c |    488205 |     900    18000    90000 |    86584    84563    125 |  0.000 % |
317.88/318.16	c |    488698 |     900    18000    90000 |    86584    85056    125 |  0.000 % |
318.28/318.55	c |    489243 |     900    18000    90000 |    86584    85601    125 |  0.000 % |
318.69/319.00	c |    489840 |     900    18000    90000 |    86584    86198    125 |  0.000 % |
319.28/319.54	c |    490496 |     900    18000    90000 |    86358    76007    125 |  0.000 % |
319.78/320.04	c |    491218 |     900    18000    90000 |    86358    76729    125 |  0.000 % |
320.28/320.55	c |    492011 |     900    18000    90000 |    86358    77522    125 |  0.000 % |
320.88/321.18	c |    492883 |     900    18000    90000 |    86358    78394    125 |  0.000 % |
321.58/321.86	c |    493841 |     900    18000    90000 |    86358    79352    125 |  0.000 % |
322.28/322.59	c |    494895 |     900    18000    90000 |    86358    80406    125 |  0.000 % |
323.18/323.42	c |    496054 |     900    18000    90000 |    86358    81565    125 |  0.000 % |
324.08/324.37	c |    497327 |     900    18000    90000 |    86358    82838    125 |  0.000 % |
325.08/325.37	c |    498727 |     900    18000    90000 |    86358    84238    125 |  0.000 % |
326.18/326.40	c |    500267 |     900    18000    90000 |    85511    85778    124 |  0.000 % |
327.28/327.54	c |    501961 |     900    18000    90000 |    85511    76545    124 |  0.000 % |
328.58/328.81	c |    503826 |     900    18000    90000 |    85511    78410    124 |  0.000 % |
329.98/330.21	c |    505877 |     900    18000    90000 |    85511    80461    124 |  0.000 % |
331.58/331.85	c |    508135 |     900    18000    90000 |    85511    82719    124 |  0.000 % |
333.38/333.68	c |    510614 |     900    18000    90000 |    84585    76100    123 |  0.000 % |
335.29/335.51	c |    513339 |     900    18000    90000 |    84585    78825    123 |  0.000 % |
337.28/337.52	c |    516340 |     900    18000    90000 |    84585    81826    124 |  0.000 % |
339.58/339.87	c |    519638 |     900    18000    90000 |    84585    76426    124 |  0.000 % |
341.98/342.22	c |    523265 |     900    18000    90000 |    76789    72344    125 |  0.000 % |
344.58/344.88	c |    527253 |     900    18000    90000 |    76789    76332    125 |  0.000 % |
347.38/347.66	c |    531638 |     900    18000    90000 | 2147483647    73006    124 |  0.000 % |
350.77/351.07	c |    536462 |     900    18000    90000 | 2147483647    77830    125 |  0.000 % |
350.87/351.15	c |    536562 |     900    18000    90000 | 2147483647    77930    125 |  0.000 % |
350.97/351.26	c |    536673 |     900    18000    90000 | 2147483647    78041    125 |  0.000 % |
351.07/351.36	c |    536794 |     900    18000    90000 | 2147483647    78162    125 |  0.000 % |
351.17/351.46	c |    536929 |     900    18000    90000 | 2147483647    78297    125 |  0.000 % |
351.27/351.57	c |    537075 |     900    18000    90000 | 2147483647    78443    125 |  0.000 % |
351.47/351.71	c |    537235 |     900    18000    90000 | 2147483647    78603    125 |  0.000 % |
351.57/351.86	c |    537411 |     900    18000    90000 | 2147483647    78779    125 |  0.000 % |
351.68/351.99	c |    537604 |     900    18000    90000 | 2147483647    78972    124 |  0.000 % |
351.87/352.16	c |    537817 |     900    18000    90000 | 2147483647    79185    124 |  0.000 % |
352.07/352.34	c |    538050 |     900    18000    90000 | 2147483647    79418    124 |  0.000 % |
352.27/352.54	c |    538308 |     900    18000    90000 | 2147483647    79676    124 |  0.000 % |
352.47/352.74	c |    538589 |     900    18000    90000 | 2147483647    79957    124 |  0.000 % |
352.67/352.97	c |    538899 |     900    18000    90000 | 2147483647    80267    124 |  0.000 % |
352.97/353.22	c |    539239 |     900    18000    90000 | 2147483647    80607    124 |  0.000 % |
353.17/353.47	c |    539613 |     900    18000    90000 | 2147483647    80981    124 |  0.000 % |
353.47/353.75	c |    540022 |     900    18000    90000 | 2147483647    81390    124 |  0.000 % |
353.88/354.10	c |    540472 |     900    18000    90000 | 2147483647    81840    124 |  0.000 % |
354.27/354.51	c |    540966 |     900    18000    90000 | 2147483647    82334    124 |  0.000 % |
354.67/354.91	c |    541508 |     900    18000    90000 | 2147483647    82876    124 |  0.000 % |
355.08/355.39	c |    542108 |     900    18000    90000 | 2147483647    83476    124 |  0.000 % |
355.57/355.86	c |    542765 |     900    18000    90000 | 2147483647    84133    124 |  0.000 % |
356.17/356.41	c |    543487 |     900    18000    90000 | 2147483647    84855    124 |  0.000 % |
356.77/357.05	c |    544279 |     900    18000    90000 | 2147483647    85647    124 |  0.000 % |
357.47/357.74	c |    545150 |     900    18000    90000 | 2147483647    86518    124 |  0.000 % |
358.17/358.44	c |    546108 |     900    18000    90000 | 2147483647    87476    124 |  0.000 % |
358.87/359.20	c |    547162 |     900    18000    90000 | 2147483647    88530    124 |  0.000 % |
359.77/360.06	c |    548321 |     900    18000    90000 | 2147483647    89689    124 |  0.000 % |
360.77/361.03	c |    549595 |     900    18000    90000 | 2147483647    90963    124 |  0.000 % |
361.96/362.20	c |    550997 |     900    18000    90000 |    91369    79328    124 |  0.000 % |
362.96/363.27	c |    552537 |     900    18000    90000 |    91369    80868    124 |  0.000 % |
364.16/364.47	c |    554231 |     900    18000    90000 |    91369    82562    124 |  0.000 % |
365.56/365.83	c |    556094 |     900    18000    90000 |    91369    84425    124 |  0.000 % |
366.96/367.30	c |    558143 |     900    18000    90000 |    91369    86474    124 |  0.000 % |
368.66/369.00	c |    560398 |     900    18000    90000 |    88331    76516    123 |  0.000 % |
370.36/370.70	c |    562876 |     900    18000    90000 |    88331    78994    123 |  0.000 % |
372.26/372.56	c |    565601 |     900    18000    90000 |    88331    81719    123 |  0.000 % |
374.36/374.60	c |    568598 |     900    18000    90000 |    88331    84716    123 |  0.000 % |
376.76/377.03	c |    571894 |     900    18000    90000 |    86118    77835    124 |  0.000 % |
379.06/379.35	c |    575519 |     900    18000    90000 |    86118    81460    125 |  0.000 % |
381.86/382.11	c |    579506 |     900    18000    90000 |    86118    85447    125 |  0.000 % |
384.86/385.12	c |    583893 |     900    18000    90000 |    85941    79485    125 |  0.000 % |
388.16/388.49	c |    588716 |     900    18000    90000 |    85941    84308    125 |  0.000 % |
391.85/392.19	c |    594023 |     900    18000    90000 |    85592    79172    125 |  0.000 % |
391.95/392.27	c |    594125 |     900    18000    90000 |    85592    79274    125 |  0.000 % |
392.05/392.37	c |    594235 |     900    18000    90000 |    85592    79384    125 |  0.000 % |
392.15/392.48	c |    594358 |     900    18000    90000 |    85592    79507    125 |  0.000 % |
392.25/392.58	c |    594493 |     900    18000    90000 |    85592    79642    125 |  0.000 % |
392.46/392.70	c |    594641 |     900    18000    90000 |    85592    79790    125 |  0.000 % |
392.55/392.82	c |    594801 |     900    18000    90000 |    85592    79950    125 |  0.000 % |
392.65/392.96	c |    594977 |     900    18000    90000 |    85592    80126    125 |  0.000 % |
392.85/393.12	c |    595170 |     900    18000    90000 |    85592    80319    125 |  0.000 % |
393.05/393.30	c |    595384 |     900    18000    90000 |    85592    80533    125 |  0.000 % |
393.15/393.48	c |    595617 |     900    18000    90000 |    85592    80766    125 |  0.000 % |
393.35/393.70	c |    595873 |     900    18000    90000 |    85592    81022    125 |  0.000 % |
393.65/393.93	c |    596155 |     900    18000    90000 |    85592    81304    125 |  0.000 % |
393.85/394.14	c |    596467 |     900    18000    90000 |    85592    81616    125 |  0.000 % |
394.15/394.40	c |    596806 |     900    18000    90000 |    85592    81955    125 |  0.000 % |
394.35/394.67	c |    597178 |     900    18000    90000 |    85592    82327    125 |  0.000 % |
394.66/394.94	c |    597587 |     900    18000    90000 |    85592    82736    125 |  0.000 % |
395.05/395.31	c |    598036 |     900    18000    90000 |    85592    83185    125 |  0.000 % |
395.45/395.71	c |    598529 |     900    18000    90000 |    85592    83678    125 |  0.000 % |
395.85/396.12	c |    599071 |     900    18000    90000 |    85592    84220    125 |  0.000 % |
396.35/396.63	c |    599668 |     900    18000    90000 |    85592    84817    125 |  0.000 % |
396.85/397.11	c |    600324 |     900    18000    90000 |    85149    85473    125 |  0.000 % |
397.35/397.67	c |    601047 |     900    18000    90000 |    85149    75527    124 |  0.000 % |
397.95/398.27	c |    601841 |     900    18000    90000 |    85149    76321    124 |  0.000 % |
398.55/398.90	c |    602712 |     900    18000    90000 |    85149    77192    124 |  0.000 % |
399.25/399.55	c |    603671 |     900    18000    90000 |    85149    78151    124 |  0.000 % |
399.95/400.30	c |    604724 |     900    18000    90000 |    85149    79204    124 |  0.000 % |
400.75/401.05	c |    605883 |     900    18000    90000 |    85149    80363    124 |  0.000 % |
401.65/401.93	c |    607159 |     900    18000    90000 |    85149    81639    124 |  0.000 % |
402.55/402.90	c |    608562 |     900    18000    90000 |    85149    83042    124 |  0.000 % |
403.75/404.09	c |    610102 |     900    18000    90000 |    84480    84582    124 |  0.000 % |
404.95/405.25	c |    611798 |     900    18000    90000 |    84480    75897    124 |  0.000 % |
406.24/406.54	c |    613661 |     900    18000    90000 |    84480    77760    124 |  0.000 % |
407.54/407.84	c |    615711 |     900    18000    90000 |    84480    79810    124 |  0.000 % |
409.04/409.39	c |    617966 |     900    18000    90000 |    84480    82065    124 |  0.000 % |
410.84/411.18	c |    620444 |     900    18000    90000 |    84099    74877    124 |  0.000 % |
412.64/412.93	c |    623169 |     900    18000    90000 |    84099    77602    125 |  0.000 % |
414.64/414.99	c |    626167 |     900    18000    90000 |    84099    80600    125 |  0.000 % |
417.04/417.33	c |    629464 |     900    18000    90000 |    84099    83897    125 |  0.000 % |
419.44/419.78	c |    633090 |     900    18000    90000 |    75335    70506    125 |  0.000 % |
422.04/422.33	c |    637077 |     900    18000    90000 |    75335    74493    125 |  0.000 % |
424.84/425.19	c |    641463 |     900    18000    90000 | 2147483647    71314    126 |  0.000 % |
427.93/428.22	c |    646286 |     900    18000    90000 | 2147483647    76137    126 |  0.000 % |
431.74/432.02	c |    651592 |     900    18000    90000 | 2147483647    81443    127 |  0.000 % |
435.84/436.19	c |    657428 |     900    18000    90000 | 2147483647    87279    127 |  0.000 % |
435.94/436.26	c |    657529 |     900    18000    90000 | 2147483647    87380    127 |  0.000 % |
436.04/436.38	c |    657641 |     900    18000    90000 | 2147483647    87492    127 |  0.000 % |
436.14/436.49	c |    657763 |     900    18000    90000 | 2147483647    87614    127 |  0.000 % |
436.24/436.60	c |    657896 |     900    18000    90000 | 2147483647    87747    127 |  0.000 % |
436.44/436.73	c |    658042 |     900    18000    90000 | 2147483647    87893    127 |  0.000 % |
436.64/436.90	c |    658203 |     900    18000    90000 | 2147483647    88054    127 |  0.000 % |
436.74/437.05	c |    658379 |     900    18000    90000 | 2147483647    88230    127 |  0.000 % |
436.94/437.21	c |    658573 |     900    18000    90000 | 2147483647    88424    127 |  0.000 % |
437.14/437.40	c |    658785 |     900    18000    90000 | 2147483647    88636    127 |  0.000 % |
437.24/437.60	c |    659019 |     900    18000    90000 | 2147483647    88870    127 |  0.000 % |
437.54/437.84	c |    659275 |     900    18000    90000 | 2147483647    89126    127 |  0.000 % |
437.84/438.11	c |    659556 |     900    18000    90000 | 2147483647    89407    127 |  0.000 % |
438.04/438.39	c |    659865 |     900    18000    90000 | 2147483647    89716    127 |  0.000 % |
438.34/438.68	c |    660206 |     900    18000    90000 |    89851    90057    127 |  0.000 % |
438.74/439.02	c |    660580 |     900    18000    90000 |    89851    78085    126 |  0.000 % |
439.04/439.36	c |    660989 |     900    18000    90000 |    89851    78494    126 |  0.000 % |
439.44/439.72	c |    661439 |     900    18000    90000 |    89851    78944    126 |  0.000 % |
439.74/440.07	c |    661932 |     900    18000    90000 |    89851    79437    126 |  0.000 % |
440.13/440.46	c |    662474 |     900    18000    90000 |    89851    79979    126 |  0.000 % |
440.54/440.86	c |    663070 |     900    18000    90000 |    89851    80575    126 |  0.000 % |
441.03/441.36	c |    663725 |     900    18000    90000 |    89851    81230    126 |  0.000 % |
441.63/441.91	c |    664445 |     900    18000    90000 |    89851    81950    126 |  0.000 % |
442.13/442.50	c |    665237 |     900    18000    90000 |    89851    82742    126 |  0.000 % |
442.83/443.14	c |    666109 |     900    18000    90000 |    89851    83614    126 |  0.000 % |
443.53/443.83	c |    667068 |     900    18000    90000 |    89851    84573    126 |  0.000 % |
444.43/444.71	c |    668123 |     900    18000    90000 |    89851    85628    126 |  0.000 % |
445.33/445.61	c |    669282 |     900    18000    90000 |    89851    86787    126 |  0.000 % |
446.23/446.60	c |    670558 |     900    18000    90000 |    87505    75836    126 |  0.000 % |
447.23/447.56	c |    671958 |     900    18000    90000 |    87505    77236    126 |  0.000 % |
448.33/448.61	c |    673498 |     900    18000    90000 |    87505    78776    126 |  0.000 % |
449.43/449.77	c |    675193 |     900    18000    90000 |    87505    80471    126 |  0.000 % |
450.63/450.99	c |    677057 |     900    18000    90000 |    87505    82335    126 |  0.000 % |
452.23/452.56	c |    679106 |     900    18000    90000 |    87505    84384    126 |  0.000 % |
453.93/454.24	c |    681359 |     900    18000    90000 |    85278    75609    127 |  0.000 % |
455.63/455.92	c |    683837 |     900    18000    90000 |    85278    78087    127 |  0.000 % |
457.53/457.87	c |    686562 |     900    18000    90000 |    85278    80812    127 |  0.000 % |
459.73/460.04	c |    689560 |     900    18000    90000 |    85278    83810    127 |  0.000 % |
462.02/462.38	c |    692856 |     900    18000    90000 |    84253    76548    127 |  0.000 % |
464.52/464.89	c |    696481 |     900    18000    90000 |    84253    80173    127 |  0.000 % |
467.62/467.91	c |    700468 |     900    18000    90000 |    83694    75058    127 |  0.000 % |
470.82/471.10	c |    704855 |     900    18000    90000 |    83694    79445    128 |  0.000 % |
474.42/474.71	c |    709680 |     900    18000    90000 |    83694    75004    128 |  0.000 % |
477.81/478.13	c |    714986 |     900    18000    90000 |    75324    72172    128 |  0.000 % |
481.71/482.06	c |    720822 |     900    18000    90000 | 2147483647    70445    127 |  0.000 % |
486.11/486.41	c |    727242 |     900    18000    90000 | 2147483647    76865    127 |  0.000 % |
486.11/486.48	c |    727342 |     900    18000    90000 | 2147483647    76965    127 |  0.000 % |
486.21/486.56	c |    727453 |     900    18000    90000 | 2147483647    77076    127 |  0.000 % |
486.31/486.66	c |    727575 |     900    18000    90000 | 2147483647    77198    127 |  0.000 % |
486.41/486.79	c |    727709 |     900    18000    90000 | 2147483647    77332    127 |  0.000 % |
486.61/486.91	c |    727856 |     900    18000    90000 | 2147483647    77479    127 |  0.000 % |
486.71/487.04	c |    728016 |     900    18000    90000 | 2147483647    77639    127 |  0.000 % |
486.81/487.19	c |    728192 |     900    18000    90000 | 2147483647    77815    127 |  0.000 % |
487.01/487.34	c |    728385 |     900    18000    90000 | 2147483647    78008    127 |  0.000 % |
487.21/487.50	c |    728598 |     900    18000    90000 | 2147483647    78221    127 |  0.000 % |
487.41/487.71	c |    728834 |     900    18000    90000 | 2147483647    78457    127 |  0.000 % |
487.61/487.91	c |    729090 |     900    18000    90000 | 2147483647    78713    127 |  0.000 % |
487.81/488.14	c |    729371 |     900    18000    90000 | 2147483647    78994    127 |  0.000 % |
488.01/488.37	c |    729680 |     900    18000    90000 | 2147483647    79303    127 |  0.000 % |
488.31/488.63	c |    730019 |     900    18000    90000 | 2147483647    79642    127 |  0.000 % |
488.61/488.92	c |    730391 |     900    18000    90000 | 2147483647    80014    127 |  0.000 % |
488.91/489.22	c |    730800 |     900    18000    90000 | 2147483647    80423    127 |  0.000 % |
489.21/489.56	c |    731249 |     900    18000    90000 | 2147483647    80872    127 |  0.000 % |
489.61/489.95	c |    731742 |     900    18000    90000 | 2147483647    81365    127 |  0.000 % |
490.01/490.37	c |    732284 |     900    18000    90000 | 2147483647    81907    127 |  0.000 % |
490.51/490.83	c |    732881 |     900    18000    90000 | 2147483647    82504    127 |  0.000 % |
490.91/491.29	c |    733537 |     900    18000    90000 | 2147483647    83160    127 |  0.000 % |
491.51/491.86	c |    734257 |     900    18000    90000 | 2147483647    83880    126 |  0.000 % |
492.11/492.48	c |    735049 |     900    18000    90000 | 2147483647    84672    126 |  0.000 % |
492.91/493.25	c |    735921 |     900    18000    90000 | 2147483647    85544    126 |  0.000 % |
493.71/494.01	c |    736879 |     900    18000    90000 | 2147483647    86502    126 |  0.000 % |
494.51/494.80	c |    737935 |     900    18000    90000 | 2147483647    87558    126 |  0.000 % |
495.31/495.63	c |    739093 |     900    18000    90000 | 2147483647    88716    126 |  0.000 % |
496.41/496.73	c |    740366 |     900    18000    90000 |    89623    77536    127 |  0.000 % |
497.30/497.70	c |    741766 |     900    18000    90000 |    89623    78936    127 |  0.000 % |
498.40/498.77	c |    743307 |     900    18000    90000 |    89623    80477    127 |  0.000 % |
499.60/499.96	c |    745001 |     900    18000    90000 |    89623    82171    126 |  0.000 % |
501.00/501.33	c |    746864 |     900    18000    90000 |    89623    84034    127 |  0.000 % |
502.50/502.81	c |    748913 |     900    18000    90000 |    89623    86083    127 |  0.000 % |
504.00/504.38	c |    751167 |     900    18000    90000 |    87170    77064    127 |  0.000 % |
505.70/506.05	c |    753646 |     900    18000    90000 |    87170    79543    127 |  0.000 % |
507.60/507.94	c |    756372 |     900    18000    90000 |    87170    82269    127 |  0.000 % |
509.80/510.10	c |    759370 |     900    18000    90000 |    87170    85267    127 |  0.000 % |
512.10/512.42	c |    762668 |     900    18000    90000 |    85899    78105    127 |  0.000 % |
514.60/514.98	c |    766295 |     900    18000    90000 |    85899    81732    127 |  0.000 % |
517.39/517.76	c |    770284 |     900    18000    90000 |    85437    85721    127 |  0.000 % |
520.49/520.81	c |    774669 |     900    18000    90000 |    85437    80596    127 |  0.000 % |
523.99/524.32	c |    779492 |     900    18000    90000 |    85437    85419    127 |  0.000 % |
527.49/527.80	c |    784798 |     900    18000    90000 |    75873    71889    126 |  0.000 % |
531.19/531.53	c |    790633 |     900    18000    90000 | 2147483647    70104    126 |  0.000 % |
535.69/536.06	c |    797054 |     900    18000    90000 | 2147483647    76525    126 |  0.000 % |
540.38/540.79	c |    804113 |     900    18000    90000 | 2147483647    83584    127 |  0.000 % |
540.48/540.88	c |    804213 |     900    18000    90000 | 2147483647    83684    127 |  0.000 % |
540.58/540.96	c |    804326 |     900    18000    90000 | 2147483647    83797    127 |  0.000 % |
540.68/541.06	c |    804447 |     900    18000    90000 | 2147483647    83918    127 |  0.000 % |
540.79/541.17	c |    804580 |     900    18000    90000 | 2147483647    84051    127 |  0.000 % |
540.98/541.30	c |    804726 |     900    18000    90000 | 2147483647    84197    127 |  0.000 % |
541.08/541.43	c |    804886 |     900    18000    90000 | 2147483647    84357    127 |  0.000 % |
541.18/541.59	c |    805062 |     900    18000    90000 | 2147483647    84533    127 |  0.000 % |
541.38/541.77	c |    805255 |     900    18000    90000 | 2147483647    84726    127 |  0.000 % |
541.58/541.96	c |    805467 |     900    18000    90000 | 2147483647    84938    127 |  0.000 % |
541.78/542.15	c |    805700 |     900    18000    90000 | 2147483647    85171    127 |  0.000 % |
541.99/542.35	c |    805956 |     900    18000    90000 | 2147483647    85427    127 |  0.000 % |
542.18/542.58	c |    806238 |     900    18000    90000 | 2147483647    85709    126 |  0.000 % |
542.48/542.83	c |    806547 |     900    18000    90000 | 2147483647    86018    126 |  0.000 % |
542.78/543.13	c |    806887 |     900    18000    90000 | 2147483647    86358    126 |  0.000 % |
543.08/543.44	c |    807260 |     900    18000    90000 | 2147483647    86731    126 |  0.000 % |
543.38/543.74	c |    807669 |     900    18000    90000 | 2147483647    87140    126 |  0.000 % |
543.68/544.08	c |    808121 |     900    18000    90000 | 2147483647    87592    126 |  0.000 % |
544.08/544.46	c |    808614 |     900    18000    90000 | 2147483647    88085    126 |  0.000 % |
544.48/544.84	c |    809156 |     900    18000    90000 | 2147483647    88627    126 |  0.000 % |
544.98/545.32	c |    809752 |     900    18000    90000 | 2147483647    89223    126 |  0.000 % |
545.48/545.86	c |    810408 |     900    18000    90000 |    89475    77511    127 |  0.000 % |
545.98/546.34	c |    811129 |     900    18000    90000 |    89475    78232    127 |  0.000 % |
546.48/546.90	c |    811921 |     900    18000    90000 |    89475    79024    127 |  0.000 % |
547.18/547.51	c |    812792 |     900    18000    90000 |    89475    79895    127 |  0.000 % |
547.78/548.19	c |    813750 |     900    18000    90000 |    89475    80853    126 |  0.000 % |
548.58/548.92	c |    814803 |     900    18000    90000 |    89475    81906    126 |  0.000 % |
549.38/549.78	c |    815963 |     900    18000    90000 |    89475    83066    126 |  0.000 % |
550.28/550.68	c |    817238 |     900    18000    90000 |    89475    84341    126 |  0.000 % |
551.28/551.65	c |    818639 |     900    18000    90000 |    89475    85742    126 |  0.000 % |
552.38/552.73	c |    820179 |     900    18000    90000 |    87104    87282    126 |  0.000 % |
553.57/553.95	c |    821873 |     900    18000    90000 |    87104    78498    127 |  0.000 % |
554.87/555.30	c |    823736 |     900    18000    90000 |    87104    80361    127 |  0.000 % |
556.37/556.71	c |    825786 |     900    18000    90000 |    87104    82411    127 |  0.000 % |
557.97/558.31	c |    828039 |     900    18000    90000 |    87104    84664    127 |  0.000 % |
559.77/560.19	c |    830517 |     900    18000    90000 |    86625    76991    127 |  0.000 % |
561.67/562.01	c |    833245 |     900    18000    90000 |    86625    79719    127 |  0.000 % |
563.78/564.10	c |    836243 |     900    18000    90000 |    86625    82717    127 |  0.000 % |
565.98/566.35	c |    839539 |     900    18000    90000 |    86625    86013    127 |  0.000 % |
568.48/568.88	c |    843166 |     900    18000    90000 |    86474    78575    127 |  0.000 % |
571.28/571.66	c |    847154 |     900    18000    90000 |    86474    82563    126 |  0.000 % |
574.47/574.82	c |    851540 |     900    18000    90000 |    85411    76913    126 |  0.000 % |
577.77/578.12	c |    856364 |     900    18000    90000 |    85411    81737    126 |  0.000 % |
581.67/582.08	c |    861670 |     900    18000    90000 |    85374    77004    127 |  0.000 % |
585.87/586.25	c |    867508 |     900    18000    90000 |    85374    82842    128 |  0.000 % |
590.57/590.91	c |    873928 |     900    18000    90000 |    85335    78582    128 |  0.000 % |
595.77/596.11	c |    880987 |     900    18000    90000 |    84654    74508    128 |  0.000 % |
601.07/601.43	c |    888753 |     900    18000    90000 |    84654    82274    128 |  0.000 % |
601.17/601.51	c |    888854 |     900    18000    90000 |    84654    82375    128 |  0.000 % |
601.17/601.59	c |    888964 |     900    18000    90000 |    84654    82485    128 |  0.000 % |
601.27/601.69	c |    889086 |     900    18000    90000 |    84654    82607    128 |  0.000 % |
601.46/601.82	c |    889220 |     900    18000    90000 |    84654    82741    128 |  0.000 % |
601.56/601.93	c |    889366 |     900    18000    90000 |    84654    82887    128 |  0.000 % |
601.66/602.06	c |    889526 |     900    18000    90000 |    84654    83047    128 |  0.000 % |
601.86/602.23	c |    889702 |     900    18000    90000 |    84654    83223    128 |  0.000 % |
601.96/602.39	c |    889897 |     900    18000    90000 |    84654    83418    128 |  0.000 % |
602.16/602.56	c |    890109 |     900    18000    90000 |    83521    83630    128 |  0.000 % |
602.37/602.76	c |    890342 |     900    18000    90000 |    83521    73464    129 |  0.000 % |
602.56/602.94	c |    890598 |     900    18000    90000 |    83521    73720    129 |  0.000 % |
602.76/603.15	c |    890879 |     900    18000    90000 |    83521    74001    129 |  0.000 % |
602.96/603.37	c |    891188 |     900    18000    90000 |    83521    74310    129 |  0.000 % |
603.16/603.59	c |    891528 |     900    18000    90000 |    83521    74650    129 |  0.000 % |
603.47/603.86	c |    891900 |     900    18000    90000 |    83521    75022    129 |  0.000 % |
603.76/604.16	c |    892309 |     900    18000    90000 |    83521    75431    129 |  0.000 % |
604.06/604.48	c |    892759 |     900    18000    90000 |    83521    75881    129 |  0.000 % |
604.46/604.82	c |    893254 |     900    18000    90000 |    83521    76376    129 |  0.000 % |
604.76/605.18	c |    893796 |     900    18000    90000 |    83521    76918    129 |  0.000 % |
605.16/605.54	c |    894395 |     900    18000    90000 |    83521    77517    128 |  0.000 % |
605.56/605.97	c |    895052 |     900    18000    90000 |    83521    78174    128 |  0.000 % |
606.16/606.53	c |    895774 |     900    18000    90000 |    83521    78896    128 |  0.000 % |
606.76/607.14	c |    896566 |     900    18000    90000 |    83521    79688    128 |  0.000 % |
607.46/607.83	c |    897437 |     900    18000    90000 |    83521    80559    128 |  0.000 % |
608.16/608.55	c |    898395 |     900    18000    90000 |    83521    81517    128 |  0.000 % |
608.86/609.27	c |    899448 |     900    18000    90000 |    83521    82570    128 |  0.000 % |
609.76/610.14	c |    900607 |     900    18000    90000 |    83122    73442    128 |  0.000 % |
610.56/610.95	c |    901880 |     900    18000    90000 |    83122    74715    128 |  0.000 % |
611.46/611.88	c |    903283 |     900    18000    90000 |    83122    76118    128 |  0.000 % |
612.56/612.90	c |    904825 |     900    18000    90000 |    83122    77660    128 |  0.000 % |
613.56/613.99	c |    906520 |     900    18000    90000 |    83122    79355    128 |  0.000 % |
615.06/615.45	c |    908385 |     900    18000    90000 |    83122    81220    128 |  0.000 % |
616.66/617.01	c |    910435 |     900    18000    90000 |    82835    73786    128 |  0.000 % |
618.06/618.47	c |    912689 |     900    18000    90000 |    82835    76040    128 |  0.000 % |
619.65/620.08	c |    915169 |     900    18000    90000 |    82835    78520    128 |  0.000 % |
621.45/621.87	c |    917894 |     900    18000    90000 |    82835    81245    128 |  0.000 % |
623.45/623.86	c |    920891 |     900    18000    90000 |    74720    68059    128 |  0.000 % |
625.35/625.77	c |    924187 |     900    18000    90000 |    74720    71355    128 |  0.000 % |
627.65/628.09	c |    927812 |     900    18000    90000 |    74720    74980    129 |  0.000 % |
630.05/630.46	c |    931801 |     900    18000    90000 | 2147483647    71471    128 |  0.000 % |
633.05/633.41	c |    936186 |     900    18000    90000 | 2147483647    75856    128 |  0.000 % |
636.25/636.66	c |    941009 |     900    18000    90000 | 2147483647    80679    128 |  0.000 % |
639.94/640.33	c |    946316 |     900    18000    90000 | 2147483647    85986    128 |  0.000 % |
644.24/644.63	c |    952153 |     900    18000    90000 |    89670    80020    128 |  0.000 % |
648.74/649.20	c |    958571 |     900    18000    90000 |    89670    86438    128 |  0.000 % |
653.93/654.33	c |    965630 |     900    18000    90000 |    87869    81460    127 |  0.000 % |
659.64/660.04	c |    973394 |     900    18000    90000 |    85830    77765    129 |  0.000 % |
665.83/666.22	c |    981934 |     900    18000    90000 |    84372    75919    130 |  0.000 % |
665.93/666.30	c |    982035 |     900    18000    90000 |    84372    76020    130 |  0.000 % |
665.93/666.38	c |    982145 |     900    18000    90000 |    84372    76130    130 |  0.000 % |
666.03/666.47	c |    982267 |     900    18000    90000 |    84372    76252    130 |  0.000 % |
666.13/666.57	c |    982401 |     900    18000    90000 |    84372    76386    130 |  0.000 % |
666.33/666.70	c |    982549 |     900    18000    90000 |    84372    76534    130 |  0.000 % |
666.43/666.84	c |    982710 |     900    18000    90000 |    84372    76695    130 |  0.000 % |
666.53/666.99	c |    982886 |     900    18000    90000 |    84372    76871    130 |  0.000 % |
666.73/667.13	c |    983079 |     900    18000    90000 |    84372    77064    129 |  0.000 % |
666.93/667.32	c |    983291 |     900    18000    90000 |    84372    77276    129 |  0.000 % |
667.03/667.49	c |    983524 |     900    18000    90000 |    84372    77509    129 |  0.000 % |
667.23/667.69	c |    983780 |     900    18000    90000 |    84372    77765    129 |  0.000 % |
667.53/667.92	c |    984061 |     900    18000    90000 |    84372    78046    129 |  0.000 % |
667.73/668.16	c |    984370 |     900    18000    90000 |    84372    78355    129 |  0.000 % |
667.93/668.39	c |    984709 |     900    18000    90000 |    84372    78694    129 |  0.000 % |
668.23/668.65	c |    985081 |     900    18000    90000 |    84372    79066    129 |  0.000 % |
668.53/668.99	c |    985490 |     900    18000    90000 |    84372    79475    129 |  0.000 % |
668.93/669.33	c |    985941 |     900    18000    90000 |    84372    79926    129 |  0.000 % |
669.33/669.72	c |    986435 |     900    18000    90000 |    84372    80420    129 |  0.000 % |
669.73/670.12	c |    986978 |     900    18000    90000 |    84372    80963    129 |  0.000 % |
670.13/670.56	c |    987575 |     900    18000    90000 |    84372    81560    129 |  0.000 % |
670.73/671.10	c |    988232 |     900    18000    90000 |    84372    82217    129 |  0.000 % |
671.23/671.63	c |    988952 |     900    18000    90000 |    84372    82937    129 |  0.000 % |
671.73/672.19	c |    989745 |     900    18000    90000 |    84372    83730    129 |  0.000 % |
672.43/672.84	c |    990617 |     900    18000    90000 |    83986    73902    128 |  0.000 % |
673.03/673.48	c |    991575 |     900    18000    90000 |    83986    74860    128 |  0.000 % |
673.83/674.24	c |    992629 |     900    18000    90000 |    83986    75914    128 |  0.000 % |
674.63/675.05	c |    993787 |     900    18000    90000 |    83986    77072    128 |  0.000 % |
675.42/675.87	c |    995062 |     900    18000    90000 |    83986    78347    128 |  0.000 % |
676.42/676.84	c |    996463 |     900    18000    90000 |    83986    79748    128 |  0.000 % |
677.42/677.87	c |    998006 |     900    18000    90000 |    83986    81291    128 |  0.000 % |
678.63/679.08	c |    999700 |     900    18000    90000 |    83986    82985    128 |  0.000 % |
680.03/680.40	c |   1001563 |     900    18000    90000 |    83287    75516    127 |  0.000 % |
681.43/681.84	c |   1003614 |     900    18000    90000 |    83287    77567    127 |  0.000 % |
682.93/683.37	c |   1005868 |     900    18000    90000 |    83287    79821    127 |  0.000 % |
684.73/685.10	c |   1008347 |     900    18000    90000 |    83287    82300    127 |  0.000 % |
686.63/687.01	c |   1011072 |     900    18000    90000 |    74642    67562    126 |  0.000 % |
688.43/688.89	c |   1014070 |     900    18000    90000 |    74642    70560    126 |  0.000 % |
690.53/690.98	c |   1017366 |     900    18000    90000 |    74642    73856    126 |  0.000 % |
692.83/693.25	c |   1020991 |     900    18000    90000 | 2147483647    69988    125 |  0.000 % |
695.33/695.72	c |   1024978 |     900    18000    90000 | 2147483647    73975    125 |  0.000 % |
698.23/698.66	c |   1029363 |     900    18000    90000 | 2147483647    78360    125 |  0.000 % |
701.72/702.18	c |   1034189 |     900    18000    90000 | 2147483647    83186    125 |  0.000 % |
705.73/706.18	c |   1039494 |     900    18000    90000 | 2147483647    88491    126 |  0.000 % |
710.13/710.53	c |   1045329 |     900    18000    90000 |    88997    84447    126 |  0.000 % |
714.82/715.29	c |   1051747 |     900    18000    90000 |    89118    80167    125 |  0.000 % |
720.02/720.45	c |   1058809 |     900    18000    90000 |    89118    87229    126 |  0.000 % |
725.91/726.34	c |   1066577 |     900    18000    90000 |    88420    83275    126 |  0.000 % |
731.81/732.27	c |   1075117 |     900    18000    90000 |    86698    79900    128 |  0.000 % |
738.51/738.92	c |   1084512 |     900    18000    90000 |    84784    78711    130 |  0.000 % |
738.61/739.01	c |   1084612 |     900    18000    90000 |    84784    78811    130 |  0.000 % |
738.71/739.10	c |   1084726 |     900    18000    90000 |    84784    78925    130 |  0.000 % |
738.71/739.18	c |   1084847 |     900    18000    90000 |    84784    79046    130 |  0.000 % |
738.81/739.29	c |   1084981 |     900    18000    90000 |    84784    79180    130 |  0.000 % |
739.01/739.41	c |   1085129 |     900    18000    90000 |    84784    79328    130 |  0.000 % |
739.11/739.52	c |   1085289 |     900    18000    90000 |    84784    79488    130 |  0.000 % |
739.21/739.66	c |   1085466 |     900    18000    90000 |    84784    79665    130 |  0.000 % |
739.41/739.81	c |   1085661 |     900    18000    90000 |    84784    79860    129 |  0.000 % |
739.51/739.98	c |   1085874 |     900    18000    90000 |    84784    80073    129 |  0.000 % |
739.71/740.14	c |   1086107 |     900    18000    90000 |    84784    80306    129 |  0.000 % |
739.91/740.34	c |   1086364 |     900    18000    90000 |    84784    80563    129 |  0.000 % |
740.11/740.57	c |   1086645 |     900    18000    90000 |    84784    80844    129 |  0.000 % |
740.31/740.79	c |   1086955 |     900    18000    90000 |    84784    81154    129 |  0.000 % |
740.61/741.04	c |   1087295 |     900    18000    90000 |    84784    81494    129 |  0.000 % |
740.91/741.32	c |   1087668 |     900    18000    90000 |    84784    81867    129 |  0.000 % |
741.20/741.63	c |   1088077 |     900    18000    90000 |    84784    82276    129 |  0.000 % |
741.60/742.03	c |   1088526 |     900    18000    90000 |    84784    82725    129 |  0.000 % |
742.01/742.42	c |   1089019 |     900    18000    90000 |    84784    83218    129 |  0.000 % |
742.40/742.86	c |   1089563 |     900    18000    90000 |    84784    83762    129 |  0.000 % |
742.90/743.32	c |   1090162 |     900    18000    90000 |    84199    84361    129 |  0.000 % |
743.40/743.81	c |   1090817 |     900    18000    90000 |    84199    74000    130 |  0.000 % |
743.90/744.32	c |   1091537 |     900    18000    90000 |    84199    74720    130 |  0.000 % |
744.50/744.91	c |   1092329 |     900    18000    90000 |    84199    75512    130 |  0.000 % |
745.10/745.51	c |   1093200 |     900    18000    90000 |    84199    76383    130 |  0.000 % |
745.70/746.19	c |   1094158 |     900    18000    90000 |    84199    77341    129 |  0.000 % |
746.51/746.93	c |   1095211 |     900    18000    90000 |    84199    78394    129 |  0.000 % |
747.20/747.68	c |   1096374 |     900    18000    90000 |    84199    79557    129 |  0.000 % |
748.10/748.51	c |   1097647 |     900    18000    90000 |    84199    80830    129 |  0.000 % |
749.00/749.45	c |   1099052 |     900    18000    90000 |    84199    82235    129 |  0.000 % |
750.20/750.67	c |   1100593 |     900    18000    90000 |    83183    73877    130 |  0.000 % |
751.30/751.77	c |   1102288 |     900    18000    90000 |    83183    75572    130 |  0.000 % |
752.50/752.93	c |   1104151 |     900    18000    90000 |    83183    77435    129 |  0.000 % |
753.80/754.26	c |   1106204 |     900    18000    90000 |    83183    79488    129 |  0.000 % |
755.30/755.76	c |   1108457 |     900    18000    90000 |    83183    81741    129 |  0.000 % |
757.10/757.50	c |   1110935 |     900    18000    90000 |    83284    75742    129 |  0.000 % |
758.90/759.31	c |   1113660 |     900    18000    90000 |    83284    78467    129 |  0.000 % |
760.99/761.45	c |   1116659 |     900    18000    90000 |    83284    81466    129 |  0.000 % |
763.39/763.84	c |   1119957 |     900    18000    90000 |    83284    75686    128 |  0.000 % |
765.79/766.22	c |   1123584 |     900    18000    90000 |    75731    71506    129 |  0.000 % |
768.29/768.80	c |   1127574 |     900    18000    90000 |    75731    75496    129 |  0.000 % |
771.09/771.59	c |   1131959 |     900    18000    90000 | 2147483647    72278    129 |  0.000 % |
774.39/774.86	c |   1136782 |     900    18000    90000 | 2147483647    77101    129 |  0.000 % |
778.09/778.54	c |   1142088 |     900    18000    90000 | 2147483647    82407    129 |  0.000 % |
782.29/782.76	c |   1147923 |     900    18000    90000 | 2147483647    88242    129 |  0.000 % |
787.09/787.51	c |   1154341 |     900    18000    90000 |    90321    81986    128 |  0.000 % |
792.18/792.66	c |   1161401 |     900    18000    90000 |    87646    77349    127 |  0.000 % |
798.08/798.53	c |   1169166 |     900    18000    90000 |    87646    85114    127 |  0.000 % |
804.38/804.87	c |   1177706 |     900    18000    90000 |    85949    82525    129 |  0.000 % |
811.47/811.92	c |   1187100 |     900    18000    90000 |    84820    81265    129 |  0.000 % |
819.17/819.69	c |   1197434 |     900    18000    90000 |    84170    81790    131 |  0.000 % |
819.27/819.77	c |   1197535 |     900    18000    90000 |    84170    81891    131 |  0.000 % |
819.37/819.87	c |   1197648 |     900    18000    90000 |    84170    82004    131 |  0.000 % |
819.47/819.97	c |   1197770 |     900    18000    90000 |    84170    82126    131 |  0.000 % |
819.57/820.08	c |   1197903 |     900    18000    90000 |    84170    82259    131 |  0.000 % |
819.77/820.21	c |   1198049 |     900    18000    90000 |    84170    82405    131 |  0.000 % |
819.87/820.37	c |   1198209 |     900    18000    90000 |    84170    82565    131 |  0.000 % |
820.08/820.50	c |   1198389 |     900    18000    90000 |    84170    82745    131 |  0.000 % |
820.18/820.68	c |   1198583 |     900    18000    90000 |    84170    82939    131 |  0.000 % |
820.37/820.86	c |   1198795 |     900    18000    90000 |    84170    83151    131 |  0.000 % |
820.57/821.03	c |   1199028 |     900    18000    90000 |    84170    83384    131 |  0.000 % |
820.77/821.23	c |   1199284 |     900    18000    90000 |    84170    83640    130 |  0.000 % |
820.97/821.45	c |   1199565 |     900    18000    90000 |    84170    83921    130 |  0.000 % |
821.27/821.71	c |   1199875 |     900    18000    90000 |    84170    84231    130 |  0.000 % |
821.57/822.00	c |   1200214 |     900    18000    90000 |    74242    74453    131 |  0.000 % |
821.77/822.24	c |   1200586 |     900    18000    90000 |    74242    65940    130 |  0.000 % |
821.97/822.49	c |   1200996 |     900    18000    90000 |    74242    66350    130 |  0.000 % |
822.27/822.75	c |   1201447 |     900    18000    90000 |    74242    66801    130 |  0.000 % |
822.57/823.06	c |   1201942 |     900    18000    90000 |    74242    67296    130 |  0.000 % |
822.97/823.40	c |   1202484 |     900    18000    90000 |    74242    67838    130 |  0.000 % |
823.27/823.77	c |   1203081 |     900    18000    90000 |    74242    68435    130 |  0.000 % |
823.77/824.21	c |   1203738 |     900    18000    90000 |    74242    69092    130 |  0.000 % |
824.17/824.65	c |   1204458 |     900    18000    90000 |    74242    69812    130 |  0.000 % |
824.67/825.18	c |   1205251 |     900    18000    90000 |    74242    70605    130 |  0.000 % |
825.27/825.75	c |   1206123 |     900    18000    90000 |    74242    71477    130 |  0.000 % |
825.87/826.35	c |   1207081 |     900    18000    90000 |    74242    72435    130 |  0.000 % |
826.67/827.14	c |   1208134 |     900    18000    90000 |    74242    73488    130 |  0.000 % |
827.46/827.96	c |   1209293 |     900    18000    90000 |    74242    67192    130 |  0.000 % |
828.26/828.71	c |   1210566 |     900    18000    90000 | 2147483647    68465    130 |  0.000 % |
829.16/829.63	c |   1211966 |     900    18000    90000 | 2147483647    69865    130 |  0.000 % |
830.16/830.64	c |   1213506 |     900    18000    90000 | 2147483647    71405    130 |  0.000 % |
831.26/831.73	c |   1215202 |     900    18000    90000 | 2147483647    73101    130 |  0.000 % |
832.46/832.90	c |   1217069 |     900    18000    90000 | 2147483647    74968    130 |  0.000 % |
833.86/834.32	c |   1219119 |     900    18000    90000 | 2147483647    77018    130 |  0.000 % |
835.47/835.95	c |   1221375 |     900    18000    90000 | 2147483647    79274    129 |  0.000 % |
837.26/837.72	c |   1223855 |     900    18000    90000 | 2147483647    81754    129 |  0.000 % |
839.16/839.62	c |   1226581 |     900    18000    90000 | 2147483647    84480    129 |  0.000 % |
841.36/841.88	c |   1229579 |     900    18000    90000 | 2147483647    87478    129 |  0.000 % |
843.76/844.27	c |   1232877 |     900    18000    90000 |    87900    79976    129 |  0.000 % |
846.36/846.81	c |   1236502 |     900    18000    90000 |    87900    83601    129 |  0.000 % |
849.26/849.79	c |   1240492 |     900    18000    90000 |    87100    75966    129 |  0.000 % |
852.26/852.71	c |   1244878 |     900    18000    90000 |    87100    80352    128 |  0.000 % |
855.75/856.24	c |   1249704 |     900    18000    90000 |    87100    85178    129 |  0.000 % |
859.46/859.97	c |   1255009 |     900    18000    90000 |    85474    79855    128 |  0.000 % |
863.76/864.27	c |   1260845 |     900    18000    90000 |    84848    75040    128 |  0.000 % |
868.26/868.75	c |   1267263 |     900    18000    90000 |    84848    81458    128 |  0.000 % |
873.46/873.94	c |   1274323 |     900    18000    90000 |    84196    78367    128 |  0.000 % |
878.95/879.48	c |   1282087 |     900    18000    90000 |    84045    76151    129 |  0.000 % |
885.15/885.65	c |   1290629 |     900    18000    90000 |    84067    72818    130 |  0.000 % |
892.05/892.56	c |   1300023 |     900    18000    90000 |    82191    82212    130 |  0.000 % |
899.45/899.95	c |   1310356 |     900    18000    90000 |    81649    71811    131 |  0.000 % |
907.54/908.02	c |   1321722 |     900    18000    90000 |    81455    73541    132 |  0.000 % |
907.54/908.08	c |   1321823 |     900    18000    90000 |    81455    73642    132 |  0.000 % |
907.64/908.17	c |   1321934 |     900    18000    90000 |    81455    73753    132 |  0.000 % |
907.74/908.26	c |   1322058 |     900    18000    90000 |    81455    73877    132 |  0.000 % |
907.84/908.39	c |   1322191 |     900    18000    90000 |    81455    74010    132 |  0.000 % |
907.94/908.50	c |   1322337 |     900    18000    90000 |    81455    74156    132 |  0.000 % |
908.15/908.61	c |   1322497 |     900    18000    90000 |    81455    74316    132 |  0.000 % |
908.24/908.75	c |   1322674 |     900    18000    90000 |    81455    74493    132 |  0.000 % |
908.44/908.92	c |   1322870 |     900    18000    90000 |    81455    74689    132 |  0.000 % |
908.54/909.09	c |   1323082 |     900    18000    90000 |    81455    74901    132 |  0.000 % |
908.74/909.28	c |   1323315 |     900    18000    90000 |    81455    75134    132 |  0.000 % |
908.94/909.45	c |   1323571 |     900    18000    90000 |    81455    75390    132 |  0.000 % |
909.14/909.69	c |   1323854 |     900    18000    90000 |    81455    75673    132 |  0.000 % |
909.44/909.94	c |   1324163 |     900    18000    90000 |    81455    75982    132 |  0.000 % |
909.64/910.17	c |   1324504 |     900    18000    90000 |    81455    76323    131 |  0.000 % |
909.94/910.49	c |   1324877 |     900    18000    90000 |    81455    76696    131 |  0.000 % |
910.34/910.81	c |   1325286 |     900    18000    90000 |    81455    77105    131 |  0.000 % |
910.64/911.13	c |   1325736 |     900    18000    90000 |    81455    77555    131 |  0.000 % |
910.94/911.47	c |   1326229 |     900    18000    90000 |    81455    78048    131 |  0.000 % |
911.34/911.84	c |   1326771 |     900    18000    90000 |    81455    78590    131 |  0.000 % |
911.74/912.28	c |   1327367 |     900    18000    90000 |    81455    79186    131 |  0.000 % |
912.24/912.76	c |   1328023 |     900    18000    90000 |    81455    79842    131 |  0.000 % |
912.84/913.35	c |   1328743 |     900    18000    90000 |    81455    80562    131 |  0.000 % |
913.44/913.92	c |   1329538 |     900    18000    90000 |    81455    81357    131 |  0.000 % |
914.14/914.69	c |   1330411 |     900    18000    90000 |    71877    63690    130 |  0.000 % |
914.74/915.29	c |   1331369 |     900    18000    90000 |    71877    64648    130 |  0.000 % |
915.44/915.92	c |   1332422 |     900    18000    90000 |    71877    65701    130 |  0.000 % |
916.14/916.61	c |   1333582 |     900    18000    90000 |    71877    66861    130 |  0.000 % |
916.94/917.41	c |   1334855 |     900    18000    90000 |    71877    68134    130 |  0.000 % |
917.74/918.30	c |   1336255 |     900    18000    90000 |    71877    69534    129 |  0.000 % |
918.74/919.26	c |   1337796 |     900    18000    90000 |    71877    71075    130 |  0.000 % |
919.84/920.37	c |   1339492 |     900    18000    90000 |    71877    65554    129 |  0.000 % |
920.94/921.45	c |   1341355 |     900    18000    90000 | 2147483647    67417    129 |  0.000 % |
922.23/922.70	c |   1343404 |     900    18000    90000 | 2147483647    69466    129 |  0.000 % |
923.63/924.11	c |   1345661 |     900    18000    90000 | 2147483647    71723    129 |  0.000 % |
925.13/925.69	c |   1348139 |     900    18000    90000 | 2147483647    74201    129 |  0.000 % |
926.93/927.49	c |   1350864 |     900    18000    90000 | 2147483647    76926    129 |  0.000 % |
929.04/929.60	c |   1353865 |     900    18000    90000 | 2147483647    79927    129 |  0.000 % |
931.53/932.05	c |   1357161 |     900    18000    90000 | 2147483647    83223    128 |  0.000 % |
934.13/934.70	c |   1360786 |     900    18000    90000 | 2147483647    86848    128 |  0.000 % |
937.23/937.74	c |   1364773 |     900    18000    90000 | 2147483647    90835    128 |  0.000 % |
940.63/941.19	c |   1369161 |     900    18000    90000 | 2147483647    95223    128 |  0.000 % |
944.23/944.77	c |   1373985 |     900    18000    90000 |    96062    86755    128 |  0.000 % |
948.23/948.73	c |   1379292 |     900    18000    90000 |    96062    92062    128 |  0.000 % |
952.83/953.30	c |   1385128 |     900    18000    90000 |    92770    84758    128 |  0.000 % |
957.53/958.10	c |   1391547 |     900    18000    90000 |    89631    78759    128 |  0.000 % |
962.42/962.96	c |   1398606 |     900    18000    90000 |    89631    85818    128 |  0.000 % |
967.72/968.26	c |   1406370 |     900    18000    90000 |    87212    81430    128 |  0.000 % |
973.82/974.39	c |   1414911 |     900    18000    90000 |    85060    79105    130 |  0.000 % |
980.51/981.09	c |   1424306 |     900    18000    90000 |    84195    77785    130 |  0.000 % |
987.81/988.30	c |   1434640 |     900    18000    90000 |    83480    77969    131 |  0.000 % |
996.41/996.95	c |   1446006 |     900    18000    90000 |    83331    78593    132 |  0.000 % |
1004.81/1005.36	c |   1458509 |     900    18000    90000 |    82587    80513    132 |  0.000 % |
1004.91/1005.45	c |   1458609 |     900    18000    90000 |    82587    80613    132 |  0.000 % |
1005.01/1005.53	c |   1458719 |     900    18000    90000 |    82587    80723    132 |  0.000 % |
1005.11/1005.61	c |   1458841 |     900    18000    90000 |    82587    80845    132 |  0.000 % |
1005.21/1005.71	c |   1458974 |     900    18000    90000 |    82587    80978    132 |  0.000 % |
1005.31/1005.84	c |   1459123 |     900    18000    90000 |    82587    81127    132 |  0.000 % |
1005.41/1005.97	c |   1459283 |     900    18000    90000 |    82587    81287    132 |  0.000 % |
1005.60/1006.12	c |   1459459 |     900    18000    90000 |    82587    81463    132 |  0.000 % |
1005.70/1006.25	c |   1459653 |     900    18000    90000 |    82587    81657    132 |  0.000 % |
1005.91/1006.42	c |   1459866 |     900    18000    90000 |    82587    81870    132 |  0.000 % |
1006.01/1006.59	c |   1460102 |     900    18000    90000 |    82006    82106    132 |  0.000 % |
1006.30/1006.84	c |   1460359 |     900    18000    90000 |    82006    71917    132 |  0.000 % |
1006.50/1007.02	c |   1460640 |     900    18000    90000 |    82006    72198    132 |  0.000 % |
1006.70/1007.23	c |   1460949 |     900    18000    90000 |    82006    72507    132 |  0.000 % |
1006.90/1007.45	c |   1461288 |     900    18000    90000 |    82006    72846    132 |  0.000 % |
1007.20/1007.71	c |   1461662 |     900    18000    90000 |    82006    73220    132 |  0.000 % |
1007.50/1008.01	c |   1462071 |     900    18000    90000 |    82006    73629    132 |  0.000 % |
1007.80/1008.34	c |   1462520 |     900    18000    90000 |    82006    74078    131 |  0.000 % |
1008.21/1008.72	c |   1463013 |     900    18000    90000 |    82006    74571    131 |  0.000 % |
1008.60/1009.10	c |   1463557 |     900    18000    90000 |    82006    75115    131 |  0.000 % |
1009.00/1009.54	c |   1464154 |     900    18000    90000 |    82006    75712    131 |  0.000 % |
1009.40/1009.98	c |   1464809 |     900    18000    90000 |    82006    76367    131 |  0.000 % |
1009.90/1010.48	c |   1465529 |     900    18000    90000 |    82006    77087    131 |  0.000 % |
1010.50/1011.06	c |   1466322 |     900    18000    90000 |    82006    77880    131 |  0.000 % |
1011.20/1011.71	c |   1467193 |     900    18000    90000 |    82006    78751    131 |  0.000 % |
1011.80/1012.39	c |   1468153 |     900    18000    90000 |    82006    79711    131 |  0.000 % |
1012.51/1013.08	c |   1469208 |     900    18000    90000 |    82006    80766    131 |  0.000 % |
1013.40/1013.95	c |   1470367 |     900    18000    90000 |    81558    73120    131 |  0.000 % |
1014.20/1014.79	c |   1471641 |     900    18000    90000 |    81558    74394    131 |  0.000 % |
1015.10/1015.66	c |   1473042 |     900    18000    90000 |    81558    75795    130 |  0.000 % |
1016.10/1016.65	c |   1474582 |     900    18000    90000 |    81558    77335    130 |  0.000 % |
1017.30/1017.80	c |   1476278 |     900    18000    90000 |    81558    79031    130 |  0.000 % |
1018.50/1019.06	c |   1478141 |     900    18000    90000 |    81558    80894    130 |  0.000 % |
1020.00/1020.52	c |   1480191 |     900    18000    90000 | 2147483647    74757    129 |  0.000 % |
1021.50/1022.03	c |   1482445 |     900    18000    90000 | 2147483647    77011    129 |  0.000 % |
1023.20/1023.74	c |   1484926 |     900    18000    90000 | 2147483647    79492    129 |  0.000 % |
1025.00/1025.56	c |   1487651 |     900    18000    90000 | 2147483647    82217    129 |  0.000 % |
1027.20/1027.71	c |   1490649 |     900    18000    90000 | 2147483647    85215    129 |  0.000 % |
1029.50/1030.05	c |   1493945 |     900    18000    90000 | 2147483647    88511    129 |  0.000 % |
1032.09/1032.65	c |   1497571 |     900    18000    90000 | 2147483647    92137    129 |  0.000 % |
1035.19/1035.73	c |   1501560 |     900    18000    90000 |    94566    83025    128 |  0.000 % |
1038.49/1039.06	c |   1505945 |     900    18000    90000 |    94566    87410    128 |  0.000 % |
1042.09/1042.66	c |   1510768 |     900    18000    90000 |    91465    79349    127 |  0.000 % |
1045.89/1046.49	c |   1516073 |     900    18000    90000 |    91465    84654    128 |  0.000 % |
1050.39/1050.90	c |   1521910 |     900    18000    90000 |    88582    78394    127 |  0.000 % |
1055.09/1055.66	c |   1528330 |     900    18000    90000 |    88582    84814    127 |  0.000 % |
1060.58/1061.18	c |   1535391 |     900    18000    90000 |    86487    80191    127 |  0.000 % |
1066.49/1067.01	c |   1543155 |     900    18000    90000 |    84800    76832    128 |  0.000 % |
1072.98/1073.56	c |   1551695 |     900    18000    90000 |    83677    74943    129 |  0.000 % |
1079.88/1080.49	c |   1561089 |     900    18000    90000 |    83250    74381    130 |  0.000 % |
1087.07/1087.62	c |   1571423 |     900    18000    90000 |    83294    73762    131 |  0.000 % |
1095.37/1095.92	c |   1582790 |     900    18000    90000 |    82340    73805    132 |  0.000 % |
1104.57/1105.13	c |   1595292 |     900    18000    90000 |    81017    75975    134 |  0.000 % |
1114.96/1115.53	c |   1609046 |     900    18000    90000 |    80684    79332    133 |  0.000 % |
1115.06/1115.61	c |   1609147 |     900    18000    90000 |    80684    79433    133 |  0.000 % |
1115.16/1115.71	c |   1609259 |     900    18000    90000 |    80684    79545    133 |  0.000 % |
1115.16/1115.79	c |   1609380 |     900    18000    90000 |    80684    79666    133 |  0.000 % |
1115.36/1115.90	c |   1609513 |     900    18000    90000 |    80684    79799    133 |  0.000 % |
1115.46/1116.04	c |   1609662 |     900    18000    90000 |    80684    79948    133 |  0.000 % |
1115.56/1116.17	c |   1609822 |     900    18000    90000 |    80684    80108    133 |  0.000 % |
1115.66/1116.29	c |   1609998 |     900    18000    90000 |    80684    80284    133 |  0.000 % |
1115.87/1116.43	c |   1610191 |     900    18000    90000 |    80287    80477    133 |  0.000 % |
1116.06/1116.64	c |   1610403 |     900    18000    90000 |    80287    70092    133 |  0.000 % |
1116.16/1116.77	c |   1610638 |     900    18000    90000 |    80287    70327    133 |  0.000 % |
1116.36/1116.93	c |   1610896 |     900    18000    90000 |    80287    70585    133 |  0.000 % |
1116.56/1117.12	c |   1611179 |     900    18000    90000 |    80287    70868    133 |  0.000 % |
1116.76/1117.32	c |   1611489 |     900    18000    90000 |    80287    71178    133 |  0.000 % |
1116.97/1117.55	c |   1611830 |     900    18000    90000 |    80287    71519    133 |  0.000 % |
1117.16/1117.78	c |   1612202 |     900    18000    90000 |    80287    71891    132 |  0.000 % |
1117.46/1118.06	c |   1612612 |     900    18000    90000 |    80287    72301    132 |  0.000 % |
1117.76/1118.36	c |   1613062 |     900    18000    90000 |    80287    72751    132 |  0.000 % |
1118.16/1118.74	c |   1613555 |     900    18000    90000 |    80287    73244    132 |  0.000 % |
1118.56/1119.12	c |   1614097 |     900    18000    90000 |    80287    73786    132 |  0.000 % |
1118.96/1119.55	c |   1614694 |     900    18000    90000 |    80287    74383    132 |  0.000 % |
1119.46/1120.03	c |   1615351 |     900    18000    90000 |    80287    75040    132 |  0.000 % |
1119.86/1120.48	c |   1616073 |     900    18000    90000 |    80287    75762    132 |  0.000 % |
1120.46/1121.00	c |   1616865 |     900    18000    90000 |    80287    76554    132 |  0.000 % |
1121.06/1121.60	c |   1617736 |     900    18000    90000 |    80287    77425    132 |  0.000 % |
1121.66/1122.28	c |   1618694 |     900    18000    90000 |    80287    78383    132 |  0.000 % |
1122.36/1122.99	c |   1619749 |     900    18000    90000 |    80287    79438    131 |  0.000 % |
1123.26/1123.83	c |   1620907 |     900    18000    90000 |    79689    71945    131 |  0.000 % |
1124.06/1124.63	c |   1622182 |     900    18000    90000 |    79689    73220    131 |  0.000 % |
1124.86/1125.45	c |   1623583 |     900    18000    90000 |    79689    74621    131 |  0.000 % |
1125.96/1126.54	c |   1625123 |     900    18000    90000 |    79689    76161    131 |  0.000 % |
1127.06/1127.63	c |   1626818 |     900    18000    90000 |    79689    77856    131 |  0.000 % |
1128.25/1128.88	c |   1628681 |     900    18000    90000 |    79689    79719    131 |  0.000 % |
1129.65/1130.24	c |   1630731 |     900    18000    90000 | 2147483647    73798    131 |  0.000 % |
1131.16/1131.73	c |   1632985 |     900    18000    90000 | 2147483647    76052    131 |  0.000 % |
1132.85/1133.45	c |   1635463 |     900    18000    90000 | 2147483647    78530    131 |  0.000 % |
1134.85/1135.43	c |   1638189 |     900    18000    90000 | 2147483647    81256    131 |  0.000 % |
1137.15/1137.78	c |   1641187 |     900    18000    90000 |    83067    74912    131 |  0.000 % |
1139.45/1140.04	c |   1644486 |     900    18000    90000 |    83067    78211    131 |  0.000 % |
1142.15/1142.74	c |   1648112 |     900    18000    90000 |    83067    81837    131 |  0.000 % |
1144.95/1145.51	c |   1652099 |     900    18000    90000 |    74851    69230    130 |  0.000 % |
1147.75/1148.39	c |   1656485 |     900    18000    90000 |    74851    73616    130 |  0.000 % |
1151.05/1151.60	c |   1661308 |     900    18000    90000 | 2147483647    70923    128 |  0.000 % |
1154.45/1155.06	c |   1666615 |     900    18000    90000 | 2147483647    76230    128 |  0.000 % |
1158.45/1159.08	c |   1672451 |     900    18000    90000 | 2147483647    82066    128 |  0.000 % |
1163.45/1164.02	c |   1678870 |     900    18000    90000 | 2147483647    88485    128 |  0.000 % |
1168.85/1169.41	c |   1685929 |     900    18000    90000 |    89616    83826    128 |  0.000 % |
1175.04/1175.66	c |   1693694 |     900    18000    90000 |    87897    79251    129 |  0.000 % |
1181.44/1182.07	c |   1702235 |     900    18000    90000 |    85557    76491    130 |  0.000 % |
1188.74/1189.34	c |   1711630 |     900    18000    90000 |    84256    75303    130 |  0.000 % |
1196.74/1197.39	c |   1721963 |     900    18000    90000 |    83674    75247    130 |  0.000 % |

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-1832505-1242773952/watcher-1832505-1242773952 -o /tmp/evaluation-result-1832505-1242773952/solver-1832505-1242773952 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832505-1242773952.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.93 3/64 26137
/proc/meminfo: memFree=1969896/2055920 swapFree=4180404/4192956
[pid=26137] ppid=26135 vsize=5356 CPUtime=0
/proc/26137/stat : 26137 (SatELiteGTI) S 26135 26137 25926 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305429364 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26137/statm: 1339 237 197 169 0 50 0

[startup+0.0509259 s]
/proc/loadavg: 0.92 0.98 0.93 3/64 26137
/proc/meminfo: memFree=1969896/2055920 swapFree=4180404/4192956
[pid=26137] ppid=26135 vsize=5356 CPUtime=0
/proc/26137/stat : 26137 (SatELiteGTI) S 26135 26137 25926 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305429364 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26137/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101936 s]
/proc/loadavg: 0.92 0.98 0.93 3/64 26137
/proc/meminfo: memFree=1969896/2055920 swapFree=4180404/4192956
[pid=26137] ppid=26135 vsize=5356 CPUtime=0.04
/proc/26137/stat : 26137 (SatELiteGTI) S 26135 26137 25926 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305429364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26137/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356

[startup+0.301973 s]
/proc/loadavg: 0.92 0.98 0.93 3/64 26137
/proc/meminfo: memFree=1969896/2055920 swapFree=4180404/4192956
[pid=26137] ppid=26135 vsize=5356 CPUtime=0.04
/proc/26137/stat : 26137 (SatELiteGTI) S 26135 26137 25926 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305429364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26137/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356

[startup+0.70105 s]
/proc/loadavg: 0.92 0.98 0.93 3/64 26137
/proc/meminfo: memFree=1969896/2055920 swapFree=4180404/4192956
[pid=26137] ppid=26135 vsize=5356 CPUtime=0.04
/proc/26137/stat : 26137 (SatELiteGTI) S 26135 26137 25926 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305429364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26137/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356

[startup+1.50119 s]
/proc/loadavg: 0.92 0.98 0.93 2/66 26143
/proc/meminfo: memFree=1964632/2055920 swapFree=4180404/4192956
[pid=26137] ppid=26135 vsize=5356 CPUtime=0.04
/proc/26137/stat : 26137 (SatELiteGTI) S 26135 26137 25926 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305429364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26137/statm: 1339 239 197 169 0 50 0
[pid=26143] ppid=26137 vsize=6456 CPUtime=1.41
/proc/26143/stat : 26143 (minisat_static) R 26137 26137 25926 0 -1 4194304 1348 0 0 0 141 0 0 0 25 0 1 0 305429371 6610944 1334 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/26143/statm: 1614 1334 77 171 0 1441 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 11812

[startup+3.10148 s]
/proc/loadavg: 0.92 0.98 0.93 2/66 26143
/proc/meminfo: memFree=1962136/2055920 swapFree=4180404/4192956
[pid=26137] ppid=26135 vsize=5356 CPUtime=0.04
/proc/26137/stat : 26137 (SatELiteGTI) S 26135 26137 25926 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305429364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26137/statm: 1339 239 197 169 0 50 0
[pid=26143] ppid=26137 vsize=10948 CPUtime=3.01
/proc/26143/stat : 26143 (minisat_static) R 26137 26137 25926 0 -1 4194304 2477 0 0 0 300 1 0 0 25 0 1 0 305429371 11210752 2463 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/26143/statm: 2737 2463 77 171 0 2564 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 16304

[startup+6.30107 s]
/proc/loadavg: 0.93 0.98 0.93 2/66 26143
/proc/meminfo: memFree=1954776/2055920 swapFree=4180404/4192956
[pid=26137] ppid=26135 vsize=5356 CPUtime=0.04
/proc/26137/stat : 26137 (SatELiteGTI) S 26135 26137 25926 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305429364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26137/statm: 1339 239 197 169 0 50 0
[pid=26143] ppid=26137 vsize=17064 CPUtime=6.2
/proc/26143/stat : 26143 (minisat_static) R 26137 26137 25926 0 -1 4194304 3993 0 0 0 618 2 0 0 25 0 1 0 305429371 17473536 3979 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26143/statm: 4266 3979 77 171 0 4093 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 22420

[startup+12.7012 s]
/proc/loadavg: 0.93 0.98 0.93 2/66 26143
/proc/meminfo: memFree=1945376/2055920 swapFree=4180404/4192956
[pid=26137] ppid=26135 vsize=5356 CPUtime=0.04
/proc/26137/stat : 26137 (SatELiteGTI) S 26135 26137 25926 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305429364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26137/statm: 1339 239 197 169 0 50 0
[pid=26143] ppid=26137 vsize=25592 CPUtime=12.6
/proc/26143/stat : 26143 (minisat_static) R 26137 26137 25926 0 -1 4194304 6126 0 0 0 1255 5 0 0 25 0 1 0 305429371 26206208 6112 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26143/statm: 6398 6112 77 171 0 6225 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 30948

[startup+25.5016 s]
/proc/loadavg: 0.95 0.98 0.93 2/66 26143
/proc/meminfo: memFree=1932896/2055920 swapFree=4180404/4192956
[pid=26137] ppid=26135 vsize=5356 CPUtime=0.04
/proc/26137/stat : 26137 (SatELiteGTI) S 26135 26137 25926 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305429364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26137/statm: 1339 239 197 169 0 50 0
[pid=26143] ppid=26137 vsize=37460 CPUtime=25.38
/proc/26143/stat : 26143 (minisat_static) R 26137 26137 25926 0 -1 4194304 9093 0 0 0 2531 7 0 0 25 0 1 0 305429371 38359040 9079 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/26143/statm: 9365 9079 77 171 0 9192 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 42816

[startup+51.1013 s]
/proc/loadavg: 0.96 0.98 0.93 2/66 26143
/proc/meminfo: memFree=1924000/2055920 swapFree=4180404/4192956
[pid=26137] ppid=26135 vsize=5356 CPUtime=0.04
/proc/26137/stat : 26137 (SatELiteGTI) S 26135 26137 25926 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305429364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26137/statm: 1339 239 197 169 0 50 0
[pid=26143] ppid=26137 vsize=46040 CPUtime=50.97
/proc/26143/stat : 26143 (minisat_static) R 26137 26137 25926 0 -1 4194304 11267 0 0 0 5087 10 0 0 25 0 1 0 305429371 47144960 11253 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/26143/statm: 11510 11253 77 171 0 11337 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 51396

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.93 2/66 26143
/proc/meminfo: memFree=1922016/2055920 swapFree=4180404/4192956
[pid=26137] ppid=26135 vsize=5356 CPUtime=0.04
/proc/26137/stat : 26137 (SatELiteGTI) S 26135 26137 25926 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305429364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26137/statm: 1339 239 197 169 0 50 0
[pid=26143] ppid=26137 vsize=48020 CPUtime=102.15
/proc/26143/stat : 26143 (minisat_static) R 26137 26137 25926 0 -1 4194304 11745 0 0 0 10204 11 0 0 25 0 1 0 305429371 49172480 11731 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26143/statm: 12005 11731 77 171 0 11832 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 53376

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 26149
/proc/meminfo: memFree=1921312/2055920 swapFree=4180404/4192956
[pid=26137] ppid=26135 vsize=5356 CPUtime=0.04
/proc/26137/stat : 26137 (SatELiteGTI) S 26135 26137 25926 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305429364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26137/statm: 1339 239 197 169 0 50 0
[pid=26143] ppid=26137 vsize=48548 CPUtime=162.11
/proc/26143/stat : 26143 (minisat_static) R 26137 26137 25926 0 -1 4194304 11865 0 0 0 16200 11 0 0 25 0 1 0 305429371 49713152 11851 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/26143/statm: 12137 11851 77 171 0 11964 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 53904

[startup+222.303 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 26149
/proc/meminfo: memFree=1920672/2055920 swapFree=4180404/4192956
[pid=26137] ppid=26135 vsize=5356 CPUtime=0.04
/proc/26137/stat : 26137 (SatELiteGTI) S 26135 26137 25926 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305429364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26137/statm: 1339 239 197 169 0 50 0
[pid=26143] ppid=26137 vsize=49076 CPUtime=222.09
/proc/26143/stat : 26143 (minisat_static) R 26137 26137 25926 0 -1 4194304 12012 0 0 0 22197 12 0 0 25 0 1 0 305429371 50253824 11998 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26143/statm: 12269 11998 77 171 0 12096 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 54432

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 26149
/proc/meminfo: memFree=1919456/2055920 swapFree=4180404/4192956
[pid=26137] ppid=26135 vsize=5356 CPUtime=0.04
/proc/26137/stat : 26137 (SatELiteGTI) S 26135 26137 25926 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305429364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26137/statm: 1339 239 197 169 0 50 0
[pid=26143] ppid=26137 vsize=50072 CPUtime=282.06
/proc/26143/stat : 26143 (minisat_static) R 26137 26137 25926 0 -1 4194304 12277 0 0 0 28193 13 0 0 25 0 1 0 305429371 51273728 12263 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26143/statm: 12518 12263 77 171 0 12345 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 55428

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 26149
/proc/meminfo: memFree=1917856/2055920 swapFree=4180404/4192956
[pid=26137] ppid=26135 vsize=5356 CPUtime=0.04
/proc/26137/stat : 26137 (SatELiteGTI) S 26135 26137 25926 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305429364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26137/statm: 1339 239 197 169 0 50 0
[pid=26143] ppid=26137 vsize=51656 CPUtime=342.04
/proc/26143/stat : 26143 (minisat_static) R 26137 26137 25926 0 -1 4194304 12655 0 0 0 34190 14 0 0 25 0 1 0 305429371 52895744 12641 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26143/statm: 12914 12641 77 171 0 12741 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 57012

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 26149
/proc/meminfo: memFree=1916576/2055920 swapFree=4180404/4192956
[pid=26137] ppid=26135 vsize=5356 CPUtime=0.04
/proc/26137/stat : 26137 (SatELiteGTI) S 26135 26137 25926 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305429364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26137/statm: 1339 239 197 169 0 50 0
[pid=26143] ppid=26137 vsize=52844 CPUtime=402.01
/proc/26143/stat : 26143 (minisat_static) R 26137 26137 25926 0 -1 4194304 12955 0 0 0 40187 14 0 0 25 0 1 0 305429371 54112256 12941 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26143/statm: 13211 12941 77 171 0 13038 0
Current children cumulated CPU time (s) 402.05
Current children cumulated vsize (KiB) 58200

[startup+462.301 s]

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

/proc/26143/statm: 13293 13029 77 171 0 13120 0
Current children cumulated CPU time (s) 521.99
Current children cumulated vsize (KiB) 58528

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 26149
/proc/meminfo: memFree=1915808/2055920 swapFree=4180404/4192956
[pid=26137] ppid=26135 vsize=5356 CPUtime=0.04
/proc/26137/stat : 26137 (SatELiteGTI) S 26135 26137 25926 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305429364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26137/statm: 1339 239 197 169 0 50 0
[pid=26143] ppid=26137 vsize=53304 CPUtime=581.93
/proc/26143/stat : 26143 (minisat_static) R 26137 26137 25926 0 -1 4194304 13068 0 0 0 58177 16 0 0 25 0 1 0 305429371 54583296 13054 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/26143/statm: 13326 13054 77 171 0 13153 0
Current children cumulated CPU time (s) 581.97
Current children cumulated vsize (KiB) 58660

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 26149
/proc/meminfo: memFree=1915296/2055920 swapFree=4180404/4192956
[pid=26137] ppid=26135 vsize=5356 CPUtime=0.04
/proc/26137/stat : 26137 (SatELiteGTI) S 26135 26137 25926 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305429364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26137/statm: 1339 239 197 169 0 50 0
[pid=26143] ppid=26137 vsize=53768 CPUtime=641.91
/proc/26143/stat : 26143 (minisat_static) R 26137 26137 25926 0 -1 4194304 13176 0 0 0 64175 16 0 0 25 0 1 0 305429371 55058432 13162 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26143/statm: 13442 13162 77 171 0 13269 0
Current children cumulated CPU time (s) 641.95
Current children cumulated vsize (KiB) 59124

[startup+702.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 26149
/proc/meminfo: memFree=1914400/2055920 swapFree=4180404/4192956
[pid=26137] ppid=26135 vsize=5356 CPUtime=0.04
/proc/26137/stat : 26137 (SatELiteGTI) S 26135 26137 25926 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305429364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26137/statm: 1339 239 197 169 0 50 0
[pid=26143] ppid=26137 vsize=54428 CPUtime=701.88
/proc/26143/stat : 26143 (minisat_static) R 26137 26137 25926 0 -1 4194304 13347 0 0 0 70171 17 0 0 25 0 1 0 305429371 55734272 13333 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/26143/statm: 13607 13333 77 171 0 13434 0
Current children cumulated CPU time (s) 701.92
Current children cumulated vsize (KiB) 59784

[startup+762.305 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 26149
/proc/meminfo: memFree=1914336/2055920 swapFree=4180404/4192956
[pid=26137] ppid=26135 vsize=5356 CPUtime=0.04
/proc/26137/stat : 26137 (SatELiteGTI) S 26135 26137 25926 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305429364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26137/statm: 1339 239 197 169 0 50 0
[pid=26143] ppid=26137 vsize=54428 CPUtime=761.86
/proc/26143/stat : 26143 (minisat_static) R 26137 26137 25926 0 -1 4194304 13347 0 0 0 76169 17 0 0 25 0 1 0 305429371 55734272 13333 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26143/statm: 13607 13333 77 171 0 13434 0
Current children cumulated CPU time (s) 761.9
Current children cumulated vsize (KiB) 59784

[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 26149
/proc/meminfo: memFree=1913440/2055920 swapFree=4180404/4192956
[pid=26137] ppid=26135 vsize=5356 CPUtime=0.04
/proc/26137/stat : 26137 (SatELiteGTI) S 26135 26137 25926 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305429364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26137/statm: 1339 239 197 169 0 50 0
[pid=26143] ppid=26137 vsize=55220 CPUtime=821.83
/proc/26143/stat : 26143 (minisat_static) R 26137 26137 25926 0 -1 4194304 13551 0 0 0 82166 17 0 0 25 0 1 0 305429371 56545280 13537 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26143/statm: 13805 13537 77 171 0 13632 0
Current children cumulated CPU time (s) 821.87
Current children cumulated vsize (KiB) 60576

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 26149
/proc/meminfo: memFree=1913312/2055920 swapFree=4180404/4192956
[pid=26137] ppid=26135 vsize=5356 CPUtime=0.04
/proc/26137/stat : 26137 (SatELiteGTI) S 26135 26137 25926 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305429364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26137/statm: 1339 239 197 169 0 50 0
[pid=26143] ppid=26137 vsize=55220 CPUtime=881.81
/proc/26143/stat : 26143 (minisat_static) R 26137 26137 25926 0 -1 4194304 13551 0 0 0 88163 18 0 0 25 0 1 0 305429371 56545280 13537 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26143/statm: 13805 13537 77 171 0 13632 0
Current children cumulated CPU time (s) 881.85
Current children cumulated vsize (KiB) 60576

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 26149
/proc/meminfo: memFree=1910240/2055920 swapFree=4180404/4192956
[pid=26137] ppid=26135 vsize=5356 CPUtime=0.04
/proc/26137/stat : 26137 (SatELiteGTI) S 26135 26137 25926 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305429364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26137/statm: 1339 239 197 169 0 50 0
[pid=26143] ppid=26137 vsize=58700 CPUtime=941.79
/proc/26143/stat : 26143 (minisat_static) R 26137 26137 25926 0 -1 4194304 14394 0 0 0 94160 19 0 0 25 0 1 0 305429371 60108800 14380 1992294400 134512640 135215339 4294956240 18446744073709551615 134538916 0 0 4096 3 0 0 0 17 1 0 0
/proc/26143/statm: 14675 14380 77 171 0 14502 0
Current children cumulated CPU time (s) 941.83
Current children cumulated vsize (KiB) 64056

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 26149
/proc/meminfo: memFree=1909728/2055920 swapFree=4180404/4192956
[pid=26137] ppid=26135 vsize=5356 CPUtime=0.04
/proc/26137/stat : 26137 (SatELiteGTI) S 26135 26137 25926 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305429364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26137/statm: 1339 239 197 169 0 50 0
[pid=26143] ppid=26137 vsize=58664 CPUtime=1001.77
/proc/26143/stat : 26143 (minisat_static) R 26137 26137 25926 0 -1 4194304 14394 0 0 0 100158 19 0 0 25 0 1 0 305429371 60071936 14376 1992294400 134512640 135215339 4294956240 18446744073709551615 134528669 0 0 4096 3 0 0 0 17 1 0 0
/proc/26143/statm: 14666 14376 77 171 0 14493 0
Current children cumulated CPU time (s) 1001.81
Current children cumulated vsize (KiB) 64020

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 26149
/proc/meminfo: memFree=1909856/2055920 swapFree=4180404/4192956
[pid=26137] ppid=26135 vsize=5356 CPUtime=0.04
/proc/26137/stat : 26137 (SatELiteGTI) S 26135 26137 25926 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305429364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26137/statm: 1339 239 197 169 0 50 0
[pid=26143] ppid=26137 vsize=58388 CPUtime=1061.74
/proc/26143/stat : 26143 (minisat_static) R 26137 26137 25926 0 -1 4194304 14394 0 0 0 106155 19 0 0 25 0 1 0 305429371 59789312 14307 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26143/statm: 14597 14307 77 171 0 14424 0
Current children cumulated CPU time (s) 1061.78
Current children cumulated vsize (KiB) 63744

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 26149
/proc/meminfo: memFree=1909856/2055920 swapFree=4180404/4192956
[pid=26137] ppid=26135 vsize=5356 CPUtime=0.04
/proc/26137/stat : 26137 (SatELiteGTI) S 26135 26137 25926 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305429364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26137/statm: 1339 239 197 169 0 50 0
[pid=26143] ppid=26137 vsize=58388 CPUtime=1121.72
/proc/26143/stat : 26143 (minisat_static) R 26137 26137 25926 0 -1 4194304 14394 0 0 0 112153 19 0 0 25 0 1 0 305429371 59789312 14307 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26143/statm: 14597 14307 77 171 0 14424 0
Current children cumulated CPU time (s) 1121.76
Current children cumulated vsize (KiB) 63744

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 26149
/proc/meminfo: memFree=1909792/2055920 swapFree=4180404/4192956
[pid=26137] ppid=26135 vsize=5356 CPUtime=0.04
/proc/26137/stat : 26137 (SatELiteGTI) S 26135 26137 25926 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305429364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26137/statm: 1339 239 197 169 0 50 0
[pid=26143] ppid=26137 vsize=58388 CPUtime=1181.7
/proc/26143/stat : 26143 (minisat_static) R 26137 26137 25926 0 -1 4194304 14394 0 0 0 118150 20 0 0 25 0 1 0 305429371 59789312 14307 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26143/statm: 14597 14307 77 171 0 14424 0
Current children cumulated CPU time (s) 1181.74
Current children cumulated vsize (KiB) 63744



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.6 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 26149
/proc/meminfo: memFree=1909792/2055920 swapFree=4180404/4192956
[pid=26137] ppid=26135 vsize=5356 CPUtime=0.04
/proc/26137/stat : 26137 (SatELiteGTI) S 26135 26137 25926 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305429364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26137/statm: 1339 239 197 169 0 50 0
[pid=26143] ppid=26137 vsize=58388 CPUtime=1200
/proc/26143/stat : 26143 (minisat_static) R 26137 26137 25926 0 -1 4194304 14394 0 0 0 119980 20 0 0 25 0 1 0 305429371 59789312 14307 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26143/statm: 14597 14307 77 171 0 14424 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 63744

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)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26137 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=44993
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=7998
# CPU time returned by wait4() is 0.052991
# while last known CPU time is 1200.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1200.61
CPU time (s): 1200.04
CPU user time (s): 1199.84
CPU system time (s): 0.2
CPU usage (%): 99.9524
Max. virtual memory (cumulated for all children) (KiB): 64056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.044993
system time used= 0.007998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1067
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= 15
involuntary context switches= 6

runsolver used 1.50077 second user time and 2.99754 second system time

The end

Launcher Data

Begin job on node2 at 2009-05-20 00:59:13
IDJOB=1832505
IDBENCH=70216
IDSOLVER=671
FILE ID=node2/1832505-1242773952
PBS_JOBID= 9322296
Free space on /tmp= 66424 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/5SAT/UNKNOWN/900/unif-k5-r20-v900-c18000-S678706275-057.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832505-1242773952/watcher-1832505-1242773952 -o /tmp/evaluation-result-1832505-1242773952/solver-1832505-1242773952 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832505-1242773952.cnf

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

MD5SUM BENCH= c7f3c844f4c0d844518712db07e3e201
RANDOM SEED=1417528841

node2.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.265
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.265
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:       1970440 kB
Buffers:         13804 kB
Cached:          36516 kB
SwapCached:       6596 kB
Active:          24728 kB
Inactive:        34296 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1970440 kB
SwapTotal:     4192956 kB
SwapFree:      4180404 kB
Dirty:            2000 kB
Writeback:           0 kB
Mapped:          13956 kB
Slab:            12488 kB
Committed_AS:  1281664 kB
PageTables:       1476 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= 66420 MiB
End job on node2 at 2009-05-20 01:19:15