Trace number 1832509

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

General information on the benchmark

NameRANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S2124311399-085.cnf
MD5SUM591878ac77c59e57a1598f2a38d0dcd8
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark13.312
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.019996 s
0.00/0.02	c ==============================================================================
0.00/0.05	c This is MiniSat 2.0 beta
0.00/0.05	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05	c ============================[ Problem Statistics ]=============================
0.00/0.05	c |                                                                             |
0.00/0.05	c |  Number of variables:  900                                                  |
0.00/0.05	c |  Number of clauses:    18000                                                |
0.00/0.07	c |  Parsing time:         0.01         s                                       |
0.00/0.07	c ============================[ Search Statistics ]==============================
0.00/0.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.07	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.07	c ===============================================================================
0.00/0.07	c |         0 |     900    18000    90000 |     6000        0    nan |  0.000 % |
0.00/0.08	c |       100 |     900    18000    90000 |     6000      100    113 |  0.000 % |
0.00/0.09	c |       202 |     900    18000    90000 |     6000      202    112 |  0.000 % |
0.04/0.10	c |       302 |     900    18000    90000 |     6000      302    111 |  0.000 % |
0.04/0.11	c |       412 |     900    18000    90000 |     6000      412    114 |  0.000 % |
0.04/0.12	c |       512 |     900    18000    90000 |     6000      512    113 |  0.000 % |
0.04/0.13	c |       622 |     900    18000    90000 |     6000      622    109 |  0.000 % |
0.04/0.15	c |       744 |     900    18000    90000 |     6000      744    108 |  0.000 % |
0.04/0.15	c |       844 |     900    18000    90000 |     6000      844    107 |  0.000 % |
0.04/0.17	c |       955 |     900    18000    90000 |     6000      955    107 |  0.000 % |
0.04/0.18	c |      1076 |     900    18000    90000 |     6000     1076    107 |  0.000 % |
0.04/0.19	c |      1213 |     900    18000    90000 |     6000     1213    107 |  0.000 % |
0.04/0.20	c |      1315 |     900    18000    90000 |     6000     1315    107 |  0.000 % |
0.04/0.21	c |      1427 |     900    18000    90000 |     6000     1427    108 |  0.000 % |
0.04/0.22	c |      1549 |     900    18000    90000 |     6000     1549    108 |  0.000 % |
0.04/0.24	c |      1683 |     900    18000    90000 |     6000     1683    109 |  0.000 % |
0.04/0.26	c |      1830 |     900    18000    90000 |     6000     1830    110 |  0.000 % |
0.04/0.27	c |      1931 |     900    18000    90000 |     6000     1931    110 |  0.000 % |
0.04/0.28	c |      2042 |     900    18000    90000 |     6000     2042    111 |  0.000 % |
0.04/0.29	c |      2163 |     900    18000    90000 |     6000     2163    111 |  0.000 % |
0.04/0.31	c |      2296 |     900    18000    90000 |     6000     2296    111 |  0.000 % |
0.04/0.32	c |      2444 |     900    18000    90000 |     6000     2444    111 |  0.000 % |
0.04/0.34	c |      2604 |     900    18000    90000 |     6000     2604    111 |  0.000 % |
0.04/0.35	c |      2704 |     900    18000    90000 |     6000     2704    111 |  0.000 % |
0.04/0.36	c |      2816 |     900    18000    90000 |     6000     2816    111 |  0.000 % |
0.04/0.38	c |      2937 |     900    18000    90000 |     6000     2937    110 |  0.000 % |
0.04/0.39	c |      3071 |     900    18000    90000 |     6000     3071    111 |  0.000 % |
0.04/0.41	c |      3217 |     900    18000    90000 |     6000     3217    111 |  0.000 % |
0.04/0.43	c |      3378 |     900    18000    90000 |     6000     3378    111 |  0.000 % |
0.04/0.45	c |      3554 |     900    18000    90000 |     6000     3554    111 |  0.000 % |
0.04/0.46	c |      3654 |     900    18000    90000 |     6000     3654    111 |  0.000 % |
0.04/0.47	c |      3764 |     900    18000    90000 |     6000     3764    111 |  0.000 % |
0.04/0.48	c |      3885 |     900    18000    90000 |     6000     3885    111 |  0.000 % |
0.04/0.50	c |      4018 |     900    18000    90000 |     6000     4018    111 |  0.000 % |
0.04/0.52	c |      4165 |     900    18000    90000 |     6000     4165    111 |  0.000 % |
0.04/0.53	c |      4326 |     900    18000    90000 |     6000     4326    111 |  0.000 % |
0.04/0.55	c |      4502 |     900    18000    90000 |     6000     4502    111 |  0.000 % |
0.04/0.58	c |      4697 |     900    18000    90000 |     6000     4697    112 |  0.000 % |
0.04/0.59	c |      4799 |     900    18000    90000 |     6000     4799    111 |  0.000 % |
0.04/0.60	c |      4909 |     900    18000    90000 |     6000     4909    111 |  0.000 % |
0.04/0.62	c |      5030 |     900    18000    90000 |     6000     5030    111 |  0.000 % |
0.04/0.63	c |      5163 |     900    18000    90000 |     6000     5163    111 |  0.000 % |
0.04/0.65	c |      5310 |     900    18000    90000 |     6000     5310    111 |  0.000 % |
0.04/0.67	c |      5470 |     900    18000    90000 |     6000     5470    111 |  0.000 % |
0.04/0.69	c |      5646 |     900    18000    90000 |     6000     5646    111 |  0.000 % |
0.04/0.72	c |      5839 |     900    18000    90000 |     6000     5839    111 |  0.000 % |
0.04/0.75	c |      6051 |     900    18000    90000 |     6000     6051    112 |  0.000 % |
0.04/0.76	c |      6151 |     900    18000    90000 |     6000     5546    111 |  0.000 % |
0.04/0.78	c |      6262 |     900    18000    90000 |     6000     5657    111 |  0.000 % |
0.04/0.79	c |      6386 |     900    18000    90000 |     6000     5781    111 |  0.000 % |
0.04/0.81	c |      6522 |     900    18000    90000 |     6000     5917    111 |  0.000 % |
0.04/0.83	c |      6670 |     900    18000    90000 |     6000     6065    111 |  0.000 % |
0.04/0.85	c |      6832 |     900    18000    90000 |     6000     5621    111 |  0.000 % |
0.04/0.87	c |      7008 |     900    18000    90000 |     6000     5797    111 |  0.000 % |
0.04/0.90	c |      7201 |     900    18000    90000 |     6000     5990    112 |  0.000 % |
0.04/0.92	c |      7414 |     900    18000    90000 |     6000     6203    112 |  0.000 % |
0.04/0.95	c |      7647 |     900    18000    90000 |     6000     5816    112 |  0.000 % |
0.04/0.96	c |      7748 |     900    18000    90000 |     6000     5917    112 |  0.000 % |
0.04/0.98	c |      7858 |     900    18000    90000 |     6000     6027    112 |  0.000 % |
0.04/0.99	c |      7979 |     900    18000    90000 |     6000     5546    111 |  0.000 % |
0.97/1.02	c |      8112 |     900    18000    90000 |     6000     5679    111 |  0.000 % |
0.97/1.04	c |      8259 |     900    18000    90000 |     6000     5826    111 |  0.000 % |
0.97/1.06	c |      8420 |     900    18000    90000 |     6000     5987    111 |  0.000 % |
0.97/1.09	c |      8597 |     900    18000    90000 |     6000     6164    112 |  0.000 % |
1.07/1.11	c |      8791 |     900    18000    90000 |     6000     5742    112 |  0.000 % |
1.07/1.14	c |      9003 |     900    18000    90000 |     6000     5954    113 |  0.000 % |
1.07/1.17	c |      9236 |     900    18000    90000 |     6000     6187    113 |  0.000 % |
1.17/1.21	c |      9492 |     900    18000    90000 |     6000     5825    113 |  0.000 % |
1.17/1.23	c |      9592 |     900    18000    90000 |     6000     5925    113 |  0.000 % |
1.17/1.24	c |      9705 |     900    18000    90000 |     6000     6038    113 |  0.000 % |
1.17/1.26	c |      9828 |     900    18000    90000 |     6000     5558    113 |  0.000 % |
1.17/1.28	c |      9961 |     900    18000    90000 |     6000     5691    113 |  0.000 % |
1.27/1.30	c |     10107 |     900    18000    90000 | 2147483647     5837    113 |  0.000 % |
1.27/1.32	c |     10268 |     900    18000    90000 | 2147483647     5998    113 |  0.000 % |
1.27/1.34	c |     10444 |     900    18000    90000 | 2147483647     6174    113 |  0.000 % |
1.27/1.37	c |     10637 |     900    18000    90000 | 2147483647     6367    113 |  0.000 % |
1.37/1.40	c |     10850 |     900    18000    90000 | 2147483647     6580    113 |  0.000 % |
1.37/1.43	c |     11083 |     900    18000    90000 | 2147483647     6813    113 |  0.000 % |
1.37/1.47	c |     11339 |     900    18000    90000 | 2147483647     7069    113 |  0.000 % |
1.47/1.51	c |     11621 |     900    18000    90000 | 2147483647     7351    113 |  0.000 % |
1.47/1.52	c |     11721 |     900    18000    90000 | 2147483647     7451    113 |  0.000 % |
1.47/1.54	c |     11833 |     900    18000    90000 | 2147483647     7563    113 |  0.000 % |
1.47/1.56	c |     11956 |     900    18000    90000 | 2147483647     7686    113 |  0.000 % |
1.47/1.58	c |     12089 |     900    18000    90000 | 2147483647     7819    113 |  0.000 % |
1.57/1.61	c |     12236 |     900    18000    90000 | 2147483647     7966    113 |  0.000 % |
1.57/1.63	c |     12396 |     900    18000    90000 | 2147483647     8126    113 |  0.000 % |
1.57/1.66	c |     12573 |     900    18000    90000 | 2147483647     8303    114 |  0.000 % |
1.57/1.68	c |     12766 |     900    18000    90000 | 2147483647     8496    113 |  0.000 % |
1.67/1.72	c |     12980 |     900    18000    90000 | 2147483647     8710    114 |  0.000 % |
1.67/1.75	c |     13213 |     900    18000    90000 | 2147483647     8943    114 |  0.000 % |
1.67/1.79	c |     13470 |     900    18000    90000 | 2147483647     9200    114 |  0.000 % |
1.77/1.84	c |     13753 |     900    18000    90000 | 2147483647     9483    114 |  0.000 % |
1.77/1.89	c |     14065 |     900    18000    90000 | 2147483647     9795    114 |  0.000 % |
1.86/1.91	c |     14165 |     900    18000    90000 | 2147483647     9895    114 |  0.000 % |
1.86/1.92	c |     14278 |     900    18000    90000 | 2147483647    10008    114 |  0.000 % |
1.86/1.94	c |     14403 |     900    18000    90000 | 2147483647    10133    114 |  0.000 % |
1.86/1.97	c |     14536 |     900    18000    90000 | 2147483647    10266    114 |  0.000 % |
1.86/1.99	c |     14684 |     900    18000    90000 | 2147483647    10414    114 |  0.000 % |
1.96/2.02	c |     14847 |     900    18000    90000 | 2147483647    10577    114 |  0.000 % |
1.96/2.05	c |     15027 |     900    18000    90000 | 2147483647    10757    114 |  0.000 % |
1.96/2.08	c |     15220 |     900    18000    90000 | 2147483647    10950    114 |  0.000 % |
2.07/2.12	c |     15432 |     900    18000    90000 | 2147483647    11162    114 |  0.000 % |
2.07/2.16	c |     15669 |     900    18000    90000 | 2147483647    11399    114 |  0.000 % |
2.17/2.21	c |     15925 |     900    18000    90000 | 2147483647    11655    114 |  0.000 % |
2.17/2.25	c |     16206 |     900    18000    90000 | 2147483647    11936    114 |  0.000 % |
2.26/2.31	c |     16516 |     900    18000    90000 | 2147483647    12246    114 |  0.000 % |
2.26/2.37	c |     16856 |     900    18000    90000 | 2147483647    12586    115 |  0.000 % |
2.26/2.39	c |     16956 |     900    18000    90000 | 2147483647    12686    115 |  0.000 % |
2.37/2.41	c |     17066 |     900    18000    90000 | 2147483647    12796    115 |  0.000 % |
2.37/2.43	c |     17187 |     900    18000    90000 | 2147483647    12917    115 |  0.000 % |
2.37/2.46	c |     17321 |     900    18000    90000 | 2147483647    13051    115 |  0.000 % |
2.37/2.49	c |     17469 |     900    18000    90000 | 2147483647    13199    115 |  0.000 % |
2.47/2.52	c |     17630 |     900    18000    90000 | 2147483647    13360    115 |  0.000 % |
2.47/2.56	c |     17807 |     900    18000    90000 | 2147483647    13537    115 |  0.000 % |
2.47/2.59	c |     18001 |     900    18000    90000 | 2147483647    13731    115 |  0.000 % |
2.57/2.64	c |     18216 |     900    18000    90000 | 2147483647    13946    115 |  0.000 % |
2.57/2.68	c |     18449 |     900    18000    90000 | 2147483647    14179    115 |  0.000 % |
2.67/2.73	c |     18705 |     900    18000    90000 | 2147483647    14435    115 |  0.000 % |
2.67/2.78	c |     18988 |     900    18000    90000 | 2147483647    14718    115 |  0.000 % |
2.77/2.84	c |     19298 |     900    18000    90000 | 2147483647    15028    115 |  0.000 % |
2.87/2.91	c |     19639 |     900    18000    90000 | 2147483647    15369    115 |  0.000 % |
2.87/2.98	c |     20012 |     900    18000    90000 | 2147483647    15742    115 |  0.000 % |
2.97/3.01	c |     20112 |     900    18000    90000 | 2147483647    15842    115 |  0.000 % |
2.97/3.03	c |     20222 |     900    18000    90000 | 2147483647    15952    115 |  0.000 % |
2.97/3.05	c |     20343 |     900    18000    90000 | 2147483647    16073    115 |  0.000 % |
2.97/3.08	c |     20476 |     900    18000    90000 | 2147483647    16206    115 |  0.000 % |
3.07/3.11	c |     20622 |     900    18000    90000 | 2147483647    16352    115 |  0.000 % |
3.07/3.14	c |     20782 |     900    18000    90000 | 2147483647    16512    115 |  0.000 % |
3.07/3.18	c |     20958 |     900    18000    90000 | 2147483647    16688    115 |  0.000 % |
3.17/3.22	c |     21151 |     900    18000    90000 | 2147483647    16881    115 |  0.000 % |
3.17/3.26	c |     21363 |     900    18000    90000 | 2147483647    17093    115 |  0.000 % |
3.27/3.31	c |     21596 |     900    18000    90000 | 2147483647    17326    115 |  0.000 % |
3.27/3.37	c |     21852 |     900    18000    90000 | 2147483647    17582    115 |  0.000 % |
3.37/3.44	c |     22133 |     900    18000    90000 | 2147483647    17863    115 |  0.000 % |
3.47/3.50	c |     22443 |     900    18000    90000 | 2147483647    18173    115 |  0.000 % |
3.47/3.58	c |     22782 |     900    18000    90000 | 2147483647    18512    115 |  0.000 % |
3.57/3.66	c |     23155 |     900    18000    90000 | 2147483647    18885    115 |  0.000 % |
3.66/3.76	c |     23566 |     900    18000    90000 | 2147483647    19296    115 |  0.000 % |
3.66/3.78	c |     23667 |     900    18000    90000 | 2147483647    19397    115 |  0.000 % |
3.76/3.81	c |     23779 |     900    18000    90000 | 2147483647    19509    115 |  0.000 % |
3.76/3.84	c |     23901 |     900    18000    90000 | 2147483647    19631    115 |  0.000 % |
3.76/3.88	c |     24034 |     900    18000    90000 | 2147483647    19764    115 |  0.000 % |
3.87/3.92	c |     24181 |     900    18000    90000 | 2147483647    19911    115 |  0.000 % |
3.87/3.96	c |     24341 |     900    18000    90000 | 2147483647    20071    115 |  0.000 % |
3.97/4.00	c |     24518 |     900    18000    90000 | 2147483647    20248    115 |  0.000 % |
3.97/4.05	c |     24712 |     900    18000    90000 | 2147483647    20442    115 |  0.000 % |
4.07/4.11	c |     24927 |     900    18000    90000 | 2147483647    20657    115 |  0.000 % |
4.07/4.17	c |     25160 |     900    18000    90000 | 2147483647    20890    115 |  0.000 % |
4.17/4.23	c |     25419 |     900    18000    90000 | 2147483647    21149    115 |  0.000 % |
4.17/4.29	c |     25700 |     900    18000    90000 | 2147483647    21430    115 |  0.000 % |
4.28/4.36	c |     26009 |     900    18000    90000 | 2147483647    21739    115 |  0.000 % |
4.38/4.45	c |     26348 |     900    18000    90000 | 2147483647    22078    115 |  0.000 % |
4.47/4.55	c |     26721 |     900    18000    90000 | 2147483647    22451    115 |  0.000 % |
4.57/4.65	c |     27131 |     900    18000    90000 | 2147483647    22861    116 |  0.000 % |
4.67/4.77	c |     27580 |     900    18000    90000 | 2147483647    23310    116 |  0.000 % |
4.77/4.80	c |     27680 |     900    18000    90000 | 2147483647    23410    116 |  0.000 % |
4.77/4.83	c |     27790 |     900    18000    90000 | 2147483647    23520    116 |  0.000 % |
4.77/4.87	c |     27912 |     900    18000    90000 | 2147483647    23642    116 |  0.000 % |
4.87/4.90	c |     28045 |     900    18000    90000 | 2147483647    23775    116 |  0.000 % |
4.87/4.95	c |     28194 |     900    18000    90000 | 2147483647    23924    116 |  0.000 % |
4.87/4.99	c |     28355 |     900    18000    90000 | 2147483647    24085    116 |  0.000 % |
4.97/5.04	c |     28532 |     900    18000    90000 | 2147483647    24262    116 |  0.000 % |
4.97/5.09	c |     28725 |     900    18000    90000 | 2147483647    24455    116 |  0.000 % |
5.07/5.15	c |     28939 |     900    18000    90000 | 2147483647    24669    116 |  0.000 % |
5.17/5.22	c |     29175 |     900    18000    90000 | 2147483647    24905    115 |  0.000 % |
5.17/5.29	c |     29431 |     900    18000    90000 | 2147483647    25161    116 |  0.000 % |
5.27/5.38	c |     29712 |     900    18000    90000 | 2147483647    25442    116 |  0.000 % |
5.37/5.46	c |     30021 |     900    18000    90000 | 2147483647    25751    116 |  0.000 % |
5.47/5.56	c |     30360 |     900    18000    90000 | 2147483647    26090    116 |  0.000 % |
5.57/5.66	c |     30733 |     900    18000    90000 | 2147483647    26463    116 |  0.000 % |
5.67/5.78	c |     31142 |     900    18000    90000 | 2147483647    26872    116 |  0.000 % |
5.87/5.91	c |     31592 |     900    18000    90000 | 2147483647    27322    116 |  0.000 % |
5.97/6.06	c |     32085 |     900    18000    90000 | 2147483647    27815    116 |  0.000 % |
5.97/6.10	c |     32185 |     900    18000    90000 | 2147483647    27915    116 |  0.000 % |
6.07/6.13	c |     32295 |     900    18000    90000 | 2147483647    28025    116 |  0.000 % |
6.07/6.16	c |     32417 |     900    18000    90000 | 2147483647    28147    116 |  0.000 % |
6.17/6.20	c |     32550 |     900    18000    90000 | 2147483647    28280    116 |  0.000 % |
6.17/6.26	c |     32696 |     900    18000    90000 | 2147483647    28426    116 |  0.000 % |
6.27/6.30	c |     32856 |     900    18000    90000 | 2147483647    28586    116 |  0.000 % |
6.27/6.36	c |     33033 |     900    18000    90000 | 2147483647    28763    116 |  0.000 % |
6.37/6.43	c |     33227 |     900    18000    90000 | 2147483647    28957    116 |  0.000 % |
6.37/6.50	c |     33440 |     900    18000    90000 | 2147483647    29170    116 |  0.000 % |
6.47/6.57	c |     33673 |     900    18000    90000 | 2147483647    29403    116 |  0.000 % |
6.57/6.65	c |     33929 |     900    18000    90000 | 2147483647    29659    116 |  0.000 % |
6.66/6.74	c |     34210 |     900    18000    90000 | 2147483647    29940    116 |  0.000 % |
6.76/6.84	c |     34520 |     900    18000    90000 | 2147483647    30250    116 |  0.000 % |
6.86/6.95	c |     34859 |     900    18000    90000 | 2147483647    30589    116 |  0.000 % |
6.96/7.08	c |     35232 |     900    18000    90000 | 2147483647    30962    116 |  0.000 % |
7.16/7.21	c |     35642 |     900    18000    90000 | 2147483647    31372    116 |  0.000 % |
7.26/7.35	c |     36091 |     900    18000    90000 | 2147483647    31821    116 |  0.000 % |
7.46/7.53	c |     36584 |     900    18000    90000 | 2147483647    32314    117 |  0.000 % |
7.67/7.72	c |     37127 |     900    18000    90000 | 2147483647    32857    117 |  0.000 % |
7.67/7.75	c |     37227 |     900    18000    90000 | 2147483647    32957    117 |  0.000 % |
7.67/7.79	c |     37337 |     900    18000    90000 | 2147483647    33067    117 |  0.000 % |
7.76/7.84	c |     37458 |     900    18000    90000 | 2147483647    33188    117 |  0.000 % |
7.76/7.89	c |     37591 |     900    18000    90000 | 2147483647    33321    116 |  0.000 % |
7.86/7.95	c |     37737 |     900    18000    90000 | 2147483647    33467    116 |  0.000 % |
7.96/8.01	c |     37899 |     900    18000    90000 | 2147483647    33629    116 |  0.000 % |
7.96/8.07	c |     38076 |     900    18000    90000 | 2147483647    33806    116 |  0.000 % |
8.07/8.15	c |     38269 |     900    18000    90000 | 2147483647    33999    116 |  0.000 % |
8.17/8.23	c |     38482 |     900    18000    90000 | 2147483647    34212    116 |  0.000 % |
8.27/8.31	c |     38716 |     900    18000    90000 | 2147483647    34446    116 |  0.000 % |
8.27/8.39	c |     38972 |     900    18000    90000 | 2147483647    34702    116 |  0.000 % |
8.47/8.50	c |     39253 |     900    18000    90000 | 2147483647    34983    116 |  0.000 % |
8.57/8.61	c |     39563 |     900    18000    90000 | 2147483647    35293    117 |  0.000 % |
8.67/8.74	c |     39904 |     900    18000    90000 | 2147483647    35634    117 |  0.000 % |
8.77/8.87	c |     40276 |     900    18000    90000 | 2147483647    36006    117 |  0.000 % |
8.97/9.01	c |     40687 |     900    18000    90000 | 2147483647    36417    117 |  0.000 % |
9.07/9.17	c |     41139 |     900    18000    90000 | 2147483647    36869    117 |  0.000 % |
9.27/9.35	c |     41635 |     900    18000    90000 | 2147483647    37365    117 |  0.000 % |
9.47/9.57	c |     42177 |     900    18000    90000 | 2147483647    37907    117 |  0.000 % |
9.67/9.80	c |     42774 |     900    18000    90000 | 2147483647    38504    117 |  0.000 % |
9.77/9.84	c |     42875 |     900    18000    90000 | 2147483647    38605    117 |  0.000 % |
9.77/9.88	c |     42985 |     900    18000    90000 | 2147483647    38715    117 |  0.000 % |
9.87/9.94	c |     43106 |     900    18000    90000 | 2147483647    38836    117 |  0.000 % |
9.87/9.99	c |     43239 |     900    18000    90000 | 2147483647    38969    117 |  0.000 % |
9.97/10.05	c |     43386 |     900    18000    90000 | 2147483647    39116    117 |  0.000 % |
10.07/10.12	c |     43546 |     900    18000    90000 | 2147483647    39276    117 |  0.000 % |
10.16/10.21	c |     43725 |     900    18000    90000 | 2147483647    39455    117 |  0.000 % |
10.16/10.29	c |     43918 |     900    18000    90000 | 2147483647    39648    117 |  0.000 % |
10.26/10.37	c |     44134 |     900    18000    90000 | 2147483647    39864    117 |  0.000 % |
10.36/10.46	c |     44371 |     900    18000    90000 | 2147483647    40101    117 |  0.000 % |
10.46/10.56	c |     44627 |     900    18000    90000 | 2147483647    40357    117 |  0.000 % |
10.56/10.67	c |     44910 |     900    18000    90000 | 2147483647    40640    117 |  0.000 % |
10.76/10.80	c |     45219 |     900    18000    90000 | 2147483647    40949    117 |  0.000 % |
10.87/10.94	c |     45558 |     900    18000    90000 | 2147483647    41288    117 |  0.000 % |
10.96/11.09	c |     45932 |     900    18000    90000 | 2147483647    41662    117 |  0.000 % |
11.17/11.26	c |     46341 |     900    18000    90000 | 2147483647    42071    117 |  0.000 % |
11.37/11.42	c |     46790 |     900    18000    90000 | 2147483647    42520    117 |  0.000 % |
11.57/11.62	c |     47283 |     900    18000    90000 | 2147483647    43013    117 |  0.000 % |
11.77/11.85	c |     47828 |     900    18000    90000 | 2147483647    43558    117 |  0.000 % |
11.97/12.07	c |     48424 |     900    18000    90000 | 2147483647    44154    117 |  0.000 % |
12.27/12.35	c |     49079 |     900    18000    90000 | 2147483647    44809    117 |  0.000 % |
12.37/12.40	c |     49179 |     900    18000    90000 | 2147483647    44909    117 |  0.000 % |
12.37/12.46	c |     49291 |     900    18000    90000 | 2147483647    45021    117 |  0.000 % |
12.47/12.51	c |     49415 |     900    18000    90000 | 2147483647    45145    117 |  0.000 % |
12.47/12.57	c |     49550 |     900    18000    90000 | 2147483647    45280    117 |  0.000 % |
12.57/12.65	c |     49697 |     900    18000    90000 | 2147483647    45427    117 |  0.000 % |
12.66/12.72	c |     49858 |     900    18000    90000 | 2147483647    45588    117 |  0.000 % |
12.76/12.81	c |     50034 |     900    18000    90000 | 2147483647    45764    117 |  0.000 % |
12.86/12.91	c |     50227 |     900    18000    90000 | 2147483647    45957    117 |  0.000 % |
12.96/13.01	c |     50439 |     900    18000    90000 | 2147483647    46169    117 |  0.000 % |
13.07/13.12	c |     50674 |     900    18000    90000 | 2147483647    46404    117 |  0.000 % |
13.17/13.23	c |     50931 |     900    18000    90000 | 2147483647    46661    117 |  0.000 % |
13.26/13.35	c |     51214 |     900    18000    90000 | 2147483647    46944    117 |  0.000 % |
13.36/13.48	c |     51523 |     900    18000    90000 | 2147483647    47253    117 |  0.000 % |
13.56/13.66	c |     51863 |     900    18000    90000 | 2147483647    47593    117 |  0.000 % |
13.76/13.84	c |     52235 |     900    18000    90000 | 2147483647    47965    117 |  0.000 % |
13.96/14.02	c |     52644 |     900    18000    90000 | 2147483647    48374    117 |  0.000 % |
14.16/14.21	c |     53095 |     900    18000    90000 | 2147483647    48825    117 |  0.000 % |
14.37/14.45	c |     53588 |     900    18000    90000 | 2147483647    49318    117 |  0.000 % |
14.57/14.70	c |     54130 |     900    18000    90000 | 2147483647    49860    117 |  0.000 % |
14.87/14.98	c |     54726 |     900    18000    90000 | 2147483647    50456    117 |  0.000 % |
15.17/15.27	c |     55381 |     900    18000    90000 | 2147483647    51111    117 |  0.000 % |
15.46/15.59	c |     56101 |     900    18000    90000 | 2147483647    51831    117 |  0.000 % |
15.56/15.65	c |     56202 |     900    18000    90000 | 2147483647    51932    117 |  0.000 % |
15.66/15.70	c |     56312 |     900    18000    90000 | 2147483647    52042    117 |  0.000 % |
15.66/15.76	c |     56433 |     900    18000    90000 | 2147483647    52163    117 |  0.000 % |
15.76/15.82	c |     56567 |     900    18000    90000 | 2147483647    52297    117 |  0.000 % |
15.86/15.91	c |     56713 |     900    18000    90000 | 2147483647    52443    117 |  0.000 % |
15.86/15.99	c |     56873 |     900    18000    90000 | 2147483647    52603    117 |  0.000 % |
15.96/16.09	c |     57049 |     900    18000    90000 | 2147483647    52779    117 |  0.000 % |
16.16/16.20	c |     57243 |     900    18000    90000 | 2147483647    52973    117 |  0.000 % |
16.26/16.32	c |     57455 |     900    18000    90000 | 2147483647    53185    117 |  0.000 % |
16.36/16.45	c |     57688 |     900    18000    90000 | 2147483647    53418    117 |  0.000 % |
16.46/16.58	c |     57944 |     900    18000    90000 | 2147483647    53674    117 |  0.000 % |
16.66/16.71	c |     58225 |     900    18000    90000 | 2147483647    53955    117 |  0.000 % |
16.76/16.87	c |     58535 |     900    18000    90000 | 2147483647    54265    117 |  0.000 % |
16.96/17.06	c |     58874 |     900    18000    90000 | 2147483647    54604    117 |  0.000 % |
17.16/17.27	c |     59246 |     900    18000    90000 | 2147483647    54976    117 |  0.000 % |
17.37/17.49	c |     59655 |     900    18000    90000 | 2147483647    55385    117 |  0.000 % |
17.67/17.71	c |     60104 |     900    18000    90000 | 2147483647    55834    117 |  0.000 % |
17.87/17.97	c |     60597 |     900    18000    90000 | 2147483647    56327    117 |  0.000 % |
18.17/18.30	c |     61139 |     900    18000    90000 | 2147483647    56869    117 |  0.000 % |
18.57/18.61	c |     61735 |     900    18000    90000 | 2147483647    57465    118 |  0.000 % |
18.86/18.94	c |     62390 |     900    18000    90000 | 2147483647    58120    118 |  0.000 % |
19.27/19.32	c |     63111 |     900    18000    90000 | 2147483647    58841    118 |  0.000 % |
19.67/19.75	c |     63903 |     900    18000    90000 | 2147483647    59633    118 |  0.000 % |
19.77/19.80	c |     64005 |     900    18000    90000 | 2147483647    59735    118 |  0.000 % |
19.77/19.89	c |     64117 |     900    18000    90000 | 2147483647    59847    118 |  0.000 % |
19.86/19.97	c |     64238 |     900    18000    90000 | 2147483647    59968    118 |  0.000 % |
19.96/20.05	c |     64371 |     900    18000    90000 | 2147483647    60101    118 |  0.000 % |
20.06/20.14	c |     64517 |     900    18000    90000 | 2147483647    60247    118 |  0.000 % |
20.16/20.25	c |     64678 |     900    18000    90000 | 2147483647    60408    118 |  0.000 % |
20.26/20.36	c |     64857 |     900    18000    90000 | 2147483647    60587    118 |  0.000 % |
20.36/20.48	c |     65051 |     900    18000    90000 | 2147483647    60781    118 |  0.000 % |
20.56/20.63	c |     65263 |     900    18000    90000 | 2147483647    60993    118 |  0.000 % |
20.66/20.76	c |     65496 |     900    18000    90000 | 2147483647    61226    118 |  0.000 % |
20.86/20.92	c |     65754 |     900    18000    90000 | 2147483647    61484    118 |  0.000 % |
20.96/21.09	c |     66035 |     900    18000    90000 | 2147483647    61765    118 |  0.000 % |
21.16/21.28	c |     66344 |     900    18000    90000 | 2147483647    62074    118 |  0.000 % |
21.36/21.47	c |     66683 |     900    18000    90000 | 2147483647    62413    118 |  0.000 % |
21.56/21.68	c |     67055 |     900    18000    90000 | 2147483647    62785    118 |  0.000 % |
21.86/21.96	c |     67464 |     900    18000    90000 | 2147483647    63194    118 |  0.000 % |
22.16/22.23	c |     67913 |     900    18000    90000 | 2147483647    63643    118 |  0.000 % |
22.46/22.53	c |     68407 |     900    18000    90000 | 2147483647    64137    118 |  0.000 % |
22.76/22.83	c |     68949 |     900    18000    90000 | 2147483647    64679    118 |  0.000 % |
23.06/23.17	c |     69545 |     900    18000    90000 | 2147483647    65275    118 |  0.000 % |
23.47/23.59	c |     70200 |     900    18000    90000 | 2147483647    65930    118 |  0.000 % |
23.97/24.02	c |     70921 |     900    18000    90000 | 2147483647    66651    118 |  0.000 % |
24.37/24.46	c |     71714 |     900    18000    90000 | 2147483647    67444    118 |  0.000 % |
24.87/24.94	c |     72587 |     900    18000    90000 | 2147483647    68317    118 |  0.000 % |
24.97/25.02	c |     72687 |     900    18000    90000 | 2147483647    68417    118 |  0.000 % |
25.07/25.10	c |     72798 |     900    18000    90000 | 2147483647    68528    118 |  0.000 % |
25.07/25.18	c |     72919 |     900    18000    90000 | 2147483647    68649    118 |  0.000 % |
25.17/25.27	c |     73052 |     900    18000    90000 | 2147483647    68782    118 |  0.000 % |
25.36/25.40	c |     73198 |     900    18000    90000 | 2147483647    68928    118 |  0.000 % |
25.46/25.52	c |     73360 |     900    18000    90000 | 2147483647    69090    118 |  0.000 % |
25.56/25.64	c |     73536 |     900    18000    90000 | 2147483647    69266    118 |  0.000 % |
25.76/25.80	c |     73729 |     900    18000    90000 | 2147483647    69459    118 |  0.000 % |
25.86/25.94	c |     73941 |     900    18000    90000 | 2147483647    69671    118 |  0.000 % |
26.06/26.12	c |     74176 |     900    18000    90000 | 2147483647    69906    118 |  0.000 % |
26.16/26.28	c |     74432 |     900    18000    90000 | 2147483647    70162    118 |  0.000 % |
26.37/26.46	c |     74713 |     900    18000    90000 | 2147483647    70443    118 |  0.000 % |
26.56/26.65	c |     75022 |     900    18000    90000 | 2147483647    70752    118 |  0.000 % |
26.86/26.90	c |     75361 |     900    18000    90000 | 2147483647    71091    118 |  0.000 % |
27.06/27.15	c |     75735 |     900    18000    90000 | 2147483647    71465    118 |  0.000 % |
27.36/27.42	c |     76144 |     900    18000    90000 | 2147483647    71874    118 |  0.000 % |
27.66/27.71	c |     76594 |     900    18000    90000 | 2147483647    72324    118 |  0.000 % |
27.96/28.07	c |     77088 |     900    18000    90000 | 2147483647    72818    118 |  0.000 % |
28.36/28.45	c |     77630 |     900    18000    90000 | 2147483647    73360    118 |  0.000 % |
28.76/28.87	c |     78226 |     900    18000    90000 | 2147483647    73956    118 |  0.000 % |
29.26/29.30	c |     78884 |     900    18000    90000 | 2147483647    74614    118 |  0.000 % |
29.67/29.79	c |     79607 |     900    18000    90000 | 2147483647    75337    118 |  0.000 % |
30.26/30.31	c |     80399 |     900    18000    90000 | 2147483647    76129    118 |  0.000 % |
30.76/30.89	c |     81270 |     900    18000    90000 | 2147483647    77000    118 |  0.000 % |
31.45/31.51	c |     82228 |     900    18000    90000 | 2147483647    77958    119 |  0.000 % |
31.45/31.58	c |     82328 |     900    18000    90000 | 2147483647    78058    118 |  0.000 % |
31.55/31.66	c |     82439 |     900    18000    90000 | 2147483647    78169    118 |  0.000 % |
31.66/31.76	c |     82562 |     900    18000    90000 | 2147483647    78292    118 |  0.000 % |
31.76/31.89	c |     82696 |     900    18000    90000 | 2147483647    78426    118 |  0.000 % |
31.86/32.00	c |     82842 |     900    18000    90000 | 2147483647    78572    119 |  0.000 % |
32.06/32.11	c |     83002 |     900    18000    90000 | 2147483647    78732    119 |  0.000 % |
32.16/32.26	c |     83178 |     900    18000    90000 | 2147483647    78908    119 |  0.000 % |
32.36/32.40	c |     83371 |     900    18000    90000 | 2147483647    79101    119 |  0.000 % |
32.46/32.56	c |     83586 |     900    18000    90000 | 2147483647    79316    119 |  0.000 % |
32.66/32.76	c |     83820 |     900    18000    90000 | 2147483647    79550    119 |  0.000 % |
32.87/32.98	c |     84076 |     900    18000    90000 | 2147483647    79806    119 |  0.000 % |
33.16/33.22	c |     84359 |     900    18000    90000 | 2147483647    80089    119 |  0.000 % |
33.36/33.46	c |     84668 |     900    18000    90000 | 2147483647    80398    118 |  0.000 % |
33.66/33.72	c |     85007 |     900    18000    90000 | 2147483647    80737    118 |  0.000 % |
33.96/34.05	c |     85379 |     900    18000    90000 | 2147483647    81109    118 |  0.000 % |
34.25/34.36	c |     85788 |     900    18000    90000 | 2147483647    81518    119 |  0.000 % |
34.56/34.69	c |     86240 |     900    18000    90000 | 2147483647    81970    118 |  0.000 % |
34.96/35.04	c |     86733 |     900    18000    90000 | 2147483647    82463    119 |  0.000 % |
35.36/35.45	c |     87276 |     900    18000    90000 | 2147483647    83006    119 |  0.000 % |
35.76/35.89	c |     87872 |     900    18000    90000 | 2147483647    83602    119 |  0.000 % |
36.26/36.33	c |     88527 |     900    18000    90000 | 2147483647    84257    119 |  0.000 % |
36.86/36.93	c |     89247 |     900    18000    90000 | 2147483647    84977    119 |  0.000 % |
37.46/37.55	c |     90040 |     900    18000    90000 |    85730    85770    119 |  0.000 % |
38.16/38.20	c |     90913 |     900    18000    90000 |    85730    75752    119 |  0.000 % |
38.76/38.81	c |     91872 |     900    18000    90000 |    85730    76711    119 |  0.000 % |
39.46/39.51	c |     92925 |     900    18000    90000 |    85730    77764    119 |  0.000 % |
39.46/39.58	c |     93027 |     900    18000    90000 |    85730    77866    119 |  0.000 % |
39.56/39.68	c |     93137 |     900    18000    90000 |    85730    77976    119 |  0.000 % |
39.66/39.77	c |     93259 |     900    18000    90000 |    85730    78098    119 |  0.000 % |
39.76/39.88	c |     93393 |     900    18000    90000 |    85730    78232    119 |  0.000 % |
39.86/39.98	c |     93541 |     900    18000    90000 |    85730    78380    119 |  0.000 % |
40.06/40.14	c |     93704 |     900    18000    90000 |    85730    78543    119 |  0.000 % |
40.16/40.26	c |     93884 |     900    18000    90000 |    85730    78723    119 |  0.000 % |
40.36/40.41	c |     94077 |     900    18000    90000 |    85730    78916    119 |  0.000 % |
40.56/40.60	c |     94289 |     900    18000    90000 |    85730    79128    119 |  0.000 % |
40.66/40.79	c |     94522 |     900    18000    90000 |    85730    79361    119 |  0.000 % |
40.96/41.01	c |     94778 |     900    18000    90000 |    85730    79617    119 |  0.000 % |
41.16/41.20	c |     95060 |     900    18000    90000 |    85730    79899    119 |  0.000 % |
41.36/41.45	c |     95369 |     900    18000    90000 |    85730    80208    119 |  0.000 % |
41.66/41.70	c |     95708 |     900    18000    90000 |    85730    80547    119 |  0.000 % |
41.85/41.99	c |     96081 |     900    18000    90000 |    85730    80920    119 |  0.000 % |
42.25/42.33	c |     96493 |     900    18000    90000 |    85730    81332    119 |  0.000 % |
42.55/42.65	c |     96942 |     900    18000    90000 |    85730    81781    119 |  0.000 % |
42.95/43.03	c |     97436 |     900    18000    90000 |    85730    82275    119 |  0.000 % |
43.35/43.46	c |     97981 |     900    18000    90000 |    85730    82820    119 |  0.000 % |
43.75/43.89	c |     98580 |     900    18000    90000 |    85730    83419    119 |  0.000 % |
44.35/44.42	c |     99238 |     900    18000    90000 |    85730    84077    119 |  0.000 % |
44.85/44.96	c |     99959 |     900    18000    90000 |    85730    84798    119 |  0.000 % |
45.45/45.54	c |    100752 |     900    18000    90000 |    84839    74132    120 |  0.000 % |
45.95/46.05	c |    101624 |     900    18000    90000 |    84839    75004    120 |  0.000 % |
46.55/46.66	c |    102582 |     900    18000    90000 |    84839    75962    120 |  0.000 % |
47.35/47.40	c |    103637 |     900    18000    90000 |    84839    77017    120 |  0.000 % |
48.05/48.18	c |    104795 |     900    18000    90000 |    84839    78175    120 |  0.000 % |
48.15/48.25	c |    104896 |     900    18000    90000 |    84839    78276    120 |  0.000 % |
48.26/48.34	c |    105007 |     900    18000    90000 |    84839    78387    120 |  0.000 % |
48.36/48.46	c |    105133 |     900    18000    90000 |    84839    78513    120 |  0.000 % |
48.45/48.56	c |    105266 |     900    18000    90000 |    84839    78646    120 |  0.000 % |
48.55/48.68	c |    105412 |     900    18000    90000 |    84839    78792    120 |  0.000 % |
48.75/48.81	c |    105573 |     900    18000    90000 |    84839    78953    120 |  0.000 % |
48.85/48.96	c |    105749 |     900    18000    90000 |    84839    79129    120 |  0.000 % |
49.05/49.12	c |    105942 |     900    18000    90000 |    84839    79322    120 |  0.000 % |
49.15/49.29	c |    106154 |     900    18000    90000 |    84839    79534    120 |  0.000 % |
49.36/49.46	c |    106387 |     900    18000    90000 |    84839    79767    120 |  0.000 % |
49.55/49.64	c |    106644 |     900    18000    90000 |    84839    80024    120 |  0.000 % |
49.75/49.84	c |    106927 |     900    18000    90000 |    84839    80307    120 |  0.000 % |
49.95/50.07	c |    107236 |     900    18000    90000 |    84839    80616    120 |  0.000 % |
50.25/50.33	c |    107576 |     900    18000    90000 |    84839    80956    120 |  0.000 % |
50.56/50.64	c |    107949 |     900    18000    90000 |    84839    81329    120 |  0.000 % |
50.85/50.99	c |    108358 |     900    18000    90000 |    84839    81738    120 |  0.000 % |
51.25/51.32	c |    108807 |     900    18000    90000 |    84839    82187    120 |  0.000 % |
51.56/51.69	c |    109301 |     900    18000    90000 |    84839    82681    120 |  0.000 % |
51.95/52.08	c |    109846 |     900    18000    90000 |    84839    83226    120 |  0.000 % |
52.45/52.55	c |    110443 |     900    18000    90000 |    83381    72947    120 |  0.000 % |
52.85/52.95	c |    111098 |     900    18000    90000 |    83381    73602    120 |  0.000 % |
53.35/53.47	c |    111818 |     900    18000    90000 |    83381    74322    120 |  0.000 % |
53.95/54.01	c |    112613 |     900    18000    90000 |    83381    75117    120 |  0.000 % |
54.45/54.59	c |    113485 |     900    18000    90000 |    83381    75989    120 |  0.000 % |
55.15/55.21	c |    114443 |     900    18000    90000 |    83381    76947    120 |  0.000 % |
55.75/55.89	c |    115497 |     900    18000    90000 |    83381    78001    120 |  0.000 % |
56.65/56.72	c |    116656 |     900    18000    90000 |    83381    79160    120 |  0.000 % |
57.45/57.59	c |    117929 |     900    18000    90000 |    83381    80433    120 |  0.000 % |
57.55/57.67	c |    118029 |     900    18000    90000 |    83381    80533    120 |  0.000 % |
57.65/57.78	c |    118139 |     900    18000    90000 |    83381    80643    120 |  0.000 % |
57.75/57.88	c |    118260 |     900    18000    90000 |    83381    80764    120 |  0.000 % |
57.85/57.97	c |    118394 |     900    18000    90000 |    83381    80898    120 |  0.000 % |
57.95/58.08	c |    118544 |     900    18000    90000 |    83381    81048    120 |  0.000 % |
58.16/58.23	c |    118704 |     900    18000    90000 |    83381    81208    120 |  0.000 % |
58.26/58.36	c |    118880 |     900    18000    90000 |    83381    81384    120 |  0.000 % |
58.45/58.52	c |    119075 |     900    18000    90000 |    83381    81579    120 |  0.000 % |
58.55/58.69	c |    119287 |     900    18000    90000 |    83381    81791    120 |  0.000 % |
58.75/58.88	c |    119520 |     900    18000    90000 |    83381    82024    120 |  0.000 % |
58.95/59.09	c |    119776 |     900    18000    90000 |    83381    82280    120 |  0.000 % |
59.25/59.31	c |    120057 |     900    18000    90000 |    82507    82561    120 |  0.000 % |
59.45/59.57	c |    120368 |     900    18000    90000 |    82507    72667    120 |  0.000 % |
59.65/59.80	c |    120707 |     900    18000    90000 |    82507    73006    120 |  0.000 % |
59.95/60.03	c |    121079 |     900    18000    90000 |    82507    73378    120 |  0.000 % |
60.25/60.33	c |    121488 |     900    18000    90000 |    82507    73787    120 |  0.000 % |
60.55/60.66	c |    121937 |     900    18000    90000 |    82507    74236    120 |  0.000 % |
60.85/60.99	c |    122430 |     900    18000    90000 |    82507    74729    120 |  0.000 % |
61.25/61.37	c |    122973 |     900    18000    90000 |    82507    75272    120 |  0.000 % |
61.65/61.76	c |    123569 |     900    18000    90000 |    82507    75868    120 |  0.000 % |
62.15/62.26	c |    124225 |     900    18000    90000 |    82507    76524    120 |  0.000 % |
62.65/62.75	c |    124946 |     900    18000    90000 |    82507    77245    120 |  0.000 % |
63.25/63.30	c |    125738 |     900    18000    90000 |    82507    78037    120 |  0.000 % |
63.75/63.88	c |    126610 |     900    18000    90000 |    82507    78909    120 |  0.000 % |
64.45/64.54	c |    127568 |     900    18000    90000 |    82507    79867    120 |  0.000 % |
65.25/65.39	c |    128622 |     900    18000    90000 |    82507    80921    120 |  0.000 % |
66.15/66.23	c |    129781 |     900    18000    90000 |    82507    82080    120 |  0.000 % |
67.05/67.13	c |    131054 |     900    18000    90000 |    82300    73205    120 |  0.000 % |
67.95/68.08	c |    132454 |     900    18000    90000 |    82300    74605    120 |  0.000 % |
68.05/68.15	c |    132554 |     900    18000    90000 |    82300    74705    120 |  0.000 % |
68.15/68.25	c |    132666 |     900    18000    90000 |    82300    74817    120 |  0.000 % |
68.25/68.35	c |    132787 |     900    18000    90000 |    82300    74938    120 |  0.000 % |
68.35/68.45	c |    132920 |     900    18000    90000 |    82300    75071    120 |  0.000 % |
68.45/68.55	c |    133068 |     900    18000    90000 |    82300    75219    120 |  0.000 % |
68.55/68.69	c |    133230 |     900    18000    90000 |    82300    75381    120 |  0.000 % |
68.75/68.83	c |    133406 |     900    18000    90000 |    82300    75557    120 |  0.000 % |
68.85/68.97	c |    133599 |     900    18000    90000 |    82300    75750    120 |  0.000 % |
69.05/69.16	c |    133813 |     900    18000    90000 |    82300    75964    120 |  0.000 % |
69.25/69.32	c |    134046 |     900    18000    90000 |    82300    76197    120 |  0.000 % |
69.45/69.53	c |    134302 |     900    18000    90000 |    82300    76453    120 |  0.000 % |
69.65/69.73	c |    134584 |     900    18000    90000 |    82300    76735    120 |  0.000 % |
69.95/70.00	c |    134893 |     900    18000    90000 |    82300    77044    120 |  0.000 % |
70.15/70.26	c |    135232 |     900    18000    90000 |    82300    77383    120 |  0.000 % |
70.45/70.52	c |    135604 |     900    18000    90000 |    82300    77755    120 |  0.000 % |
70.65/70.78	c |    136017 |     900    18000    90000 |    82300    78168    120 |  0.000 % |
71.05/71.14	c |    136466 |     900    18000    90000 |    82300    78617    120 |  0.000 % |
71.45/71.51	c |    136963 |     900    18000    90000 |    82300    79114    120 |  0.000 % |
71.75/71.90	c |    137506 |     900    18000    90000 |    82300    79657    120 |  0.000 % |
72.24/72.36	c |    138102 |     900    18000    90000 |    82300    80253    120 |  0.000 % |
72.74/72.83	c |    138759 |     900    18000    90000 |    82300    80910    120 |  0.000 % |
73.24/73.36	c |    139481 |     900    18000    90000 |    82300    81632    120 |  0.000 % |
73.84/73.95	c |    140275 |     900    18000    90000 |    82152    82426    120 |  0.000 % |
74.44/74.51	c |    141146 |     900    18000    90000 |    82152    72998    120 |  0.000 % |
75.04/75.13	c |    142105 |     900    18000    90000 |    82152    73957    120 |  0.000 % |
75.64/75.79	c |    143162 |     900    18000    90000 |    82152    75014    120 |  0.000 % |
76.44/76.50	c |    144320 |     900    18000    90000 |    82152    76172    120 |  0.000 % |
77.24/77.30	c |    145593 |     900    18000    90000 |    82152    77445    120 |  0.000 % |
78.14/78.28	c |    146993 |     900    18000    90000 |    82152    78845    121 |  0.000 % |
79.24/79.39	c |    148534 |     900    18000    90000 |    82152    80386    121 |  0.000 % |
79.34/79.48	c |    148635 |     900    18000    90000 |    82152    80487    121 |  0.000 % |
79.44/79.58	c |    148745 |     900    18000    90000 |    82152    80597    121 |  0.000 % |
79.54/79.67	c |    148866 |     900    18000    90000 |    82152    80718    121 |  0.000 % |
79.64/79.77	c |    149000 |     900    18000    90000 |    82152    80852    121 |  0.000 % |
79.84/79.92	c |    149146 |     900    18000    90000 |    82152    80998    121 |  0.000 % |
79.94/80.05	c |    149310 |     900    18000    90000 |    82152    81162    121 |  0.000 % |
80.15/80.20	c |    149487 |     900    18000    90000 |    82152    81339    121 |  0.000 % |
80.25/80.35	c |    149681 |     900    18000    90000 |    82152    81533    121 |  0.000 % |
80.44/80.50	c |    149894 |     900    18000    90000 |    82152    81746    121 |  0.000 % |
80.54/80.67	c |    150128 |     900    18000    90000 |    81853    81980    121 |  0.000 % |
80.74/80.89	c |    150385 |     900    18000    90000 |    81853    73101    120 |  0.000 % |
80.94/81.09	c |    150668 |     900    18000    90000 |    81853    73384    120 |  0.000 % |
81.14/81.30	c |    150977 |     900    18000    90000 |    81853    73693    120 |  0.000 % |
81.44/81.54	c |    151319 |     900    18000    90000 |    81853    74035    120 |  0.000 % |
81.74/81.81	c |    151691 |     900    18000    90000 |    81853    74407    120 |  0.000 % |
81.94/82.08	c |    152101 |     900    18000    90000 |    81853    74817    120 |  0.000 % |
82.24/82.38	c |    152550 |     900    18000    90000 |    81853    75266    120 |  0.000 % |
82.64/82.73	c |    153046 |     900    18000    90000 |    81853    75762    120 |  0.000 % |
83.04/83.16	c |    153589 |     900    18000    90000 |    81853    76305    120 |  0.000 % |
83.44/83.60	c |    154186 |     900    18000    90000 |    81853    76902    120 |  0.000 % |
83.94/84.06	c |    154841 |     900    18000    90000 |    81853    77557    120 |  0.000 % |
84.54/84.62	c |    155561 |     900    18000    90000 |    81853    78277    121 |  0.000 % |
85.04/85.19	c |    156354 |     900    18000    90000 |    81853    79070    121 |  0.000 % |
85.74/85.81	c |    157227 |     900    18000    90000 |    81853    79943    121 |  0.000 % |
86.33/86.47	c |    158185 |     900    18000    90000 |    81853    80901    121 |  0.000 % |
87.13/87.24	c |    159239 |     900    18000    90000 |    81853    81955    121 |  0.000 % |
88.03/88.12	c |    160397 |     900    18000    90000 |    73451    65681    121 |  0.000 % |
88.83/88.92	c |    161670 |     900    18000    90000 |    73451    66954    121 |  0.000 % |
89.63/89.76	c |    163072 |     900    18000    90000 |    73451    68356    121 |  0.000 % |
90.73/90.80	c |    164612 |     900    18000    90000 |    73451    69896    121 |  0.000 % |
91.73/91.86	c |    166306 |     900    18000    90000 |    73451    71590    121 |  0.000 % |
91.83/91.93	c |    166407 |     900    18000    90000 |    73451    71691    121 |  0.000 % |
91.93/92.00	c |    166518 |     900    18000    90000 |    73451    71802    121 |  0.000 % |
92.03/92.11	c |    166642 |     900    18000    90000 |    73451    71926    121 |  0.000 % |
92.13/92.21	c |    166776 |     900    18000    90000 |    73451    72060    121 |  0.000 % |
92.24/92.32	c |    166922 |     900    18000    90000 |    73451    72206    121 |  0.000 % |
92.33/92.43	c |    167082 |     900    18000    90000 |    73451    72366    121 |  0.000 % |
92.43/92.57	c |    167260 |     900    18000    90000 |    73451    72544    121 |  0.000 % |
92.53/92.69	c |    167455 |     900    18000    90000 |    73451    72739    121 |  0.000 % |
92.73/92.84	c |    167667 |     900    18000    90000 |    73451    72951    121 |  0.000 % |
92.93/93.00	c |    167901 |     900    18000    90000 |    73451    73185    121 |  0.000 % |
93.03/93.17	c |    168158 |     900    18000    90000 |    73451    73442    121 |  0.000 % |
93.23/93.37	c |    168439 |     900    18000    90000 |    73451    73723    121 |  0.000 % |
93.53/93.60	c |    168748 |     900    18000    90000 |    73451    66660    120 |  0.000 % |
93.73/93.82	c |    169087 |     900    18000    90000 |    73451    66999    120 |  0.000 % |
93.93/94.06	c |    169459 |     900    18000    90000 |    73451    67371    120 |  0.000 % |
94.23/94.32	c |    169869 |     900    18000    90000 |    73451    67781    120 |  0.000 % |
94.44/94.56	c |    170318 |     900    18000    90000 | 2147483647    68230    120 |  0.000 % |
94.73/94.87	c |    170812 |     900    18000    90000 | 2147483647    68724    120 |  0.000 % |
95.13/95.21	c |    171354 |     900    18000    90000 | 2147483647    69266    120 |  0.000 % |
95.43/95.59	c |    171950 |     900    18000    90000 | 2147483647    69862    120 |  0.000 % |
95.93/96.00	c |    172607 |     900    18000    90000 | 2147483647    70519    120 |  0.000 % |
96.33/96.43	c |    173330 |     900    18000    90000 | 2147483647    71242    120 |  0.000 % |
96.74/96.89	c |    174123 |     900    18000    90000 | 2147483647    72035    120 |  0.000 % |
97.33/97.40	c |    174996 |     900    18000    90000 | 2147483647    72908    120 |  0.000 % |
97.93/98.03	c |    175955 |     900    18000    90000 | 2147483647    73867    121 |  0.000 % |
98.63/98.71	c |    177009 |     900    18000    90000 | 2147483647    74921    121 |  0.000 % |
99.43/99.55	c |    178168 |     900    18000    90000 | 2147483647    76080    121 |  0.000 % |
100.23/100.40	c |    179442 |     900    18000    90000 | 2147483647    77354    121 |  0.000 % |
101.23/101.35	c |    180844 |     900    18000    90000 | 2147483647    78756    121 |  0.000 % |
102.33/102.43	c |    182384 |     900    18000    90000 | 2147483647    80296    122 |  0.000 % |
103.53/103.62	c |    184079 |     900    18000    90000 | 2147483647    81991    122 |  0.000 % |
104.82/104.98	c |    185944 |     900    18000    90000 | 2147483647    83856    122 |  0.000 % |
104.92/105.05	c |    186045 |     900    18000    90000 | 2147483647    83957    122 |  0.000 % |
105.02/105.16	c |    186155 |     900    18000    90000 | 2147483647    84067    122 |  0.000 % |
105.12/105.25	c |    186276 |     900    18000    90000 | 2147483647    84188    122 |  0.000 % |
105.22/105.37	c |    186409 |     900    18000    90000 | 2147483647    84321    122 |  0.000 % |
105.32/105.48	c |    186555 |     900    18000    90000 | 2147483647    84467    122 |  0.000 % |
105.52/105.65	c |    186716 |     900    18000    90000 | 2147483647    84628    122 |  0.000 % |
105.62/105.79	c |    186895 |     900    18000    90000 | 2147483647    84807    122 |  0.000 % |
105.83/105.95	c |    187089 |     900    18000    90000 | 2147483647    85001    122 |  0.000 % |
106.03/106.15	c |    187301 |     900    18000    90000 | 2147483647    85213    122 |  0.000 % |
106.22/106.36	c |    187534 |     900    18000    90000 | 2147483647    85446    122 |  0.000 % |
106.42/106.58	c |    187790 |     900    18000    90000 | 2147483647    85702    122 |  0.000 % |
106.72/106.80	c |    188072 |     900    18000    90000 | 2147483647    85984    122 |  0.000 % |
107.02/107.11	c |    188385 |     900    18000    90000 | 2147483647    86297    122 |  0.000 % |
107.22/107.39	c |    188724 |     900    18000    90000 | 2147483647    86636    122 |  0.000 % |
107.52/107.68	c |    189096 |     900    18000    90000 | 2147483647    87008    122 |  0.000 % |
107.92/108.03	c |    189505 |     900    18000    90000 | 2147483647    87417    122 |  0.000 % |
108.32/108.43	c |    189954 |     900    18000    90000 | 2147483647    87866    122 |  0.000 % |
108.82/108.91	c |    190447 |     900    18000    90000 |    87912    76475    122 |  0.000 % |
109.12/109.27	c |    190989 |     900    18000    90000 |    87912    77017    122 |  0.000 % |
109.62/109.71	c |    191586 |     900    18000    90000 |    87912    77614    122 |  0.000 % |
110.02/110.19	c |    192241 |     900    18000    90000 |    87912    78269    122 |  0.000 % |
110.62/110.73	c |    192961 |     900    18000    90000 |    87912    78989    122 |  0.000 % |
111.22/111.30	c |    193753 |     900    18000    90000 |    87912    79781    122 |  0.000 % |
111.82/111.94	c |    194624 |     900    18000    90000 |    87912    80652    122 |  0.000 % |
112.42/112.59	c |    195582 |     900    18000    90000 |    87912    81610    122 |  0.000 % |
113.22/113.35	c |    196636 |     900    18000    90000 |    87912    82664    122 |  0.000 % |
114.11/114.26	c |    197794 |     900    18000    90000 |    87912    83822    122 |  0.000 % |
115.11/115.23	c |    199068 |     900    18000    90000 |    87912    85096    122 |  0.000 % |
116.21/116.35	c |    200471 |     900    18000    90000 |    86030    75053    122 |  0.000 % |
117.21/117.39	c |    202011 |     900    18000    90000 |    86030    76593    122 |  0.000 % |
118.51/118.61	c |    203706 |     900    18000    90000 |    86030    78288    122 |  0.000 % |
119.81/119.90	c |    205569 |     900    18000    90000 |    86030    80151    122 |  0.000 % |
121.21/121.32	c |    207622 |     900    18000    90000 |    86030    82204    122 |  0.000 % |
121.21/121.39	c |    207723 |     900    18000    90000 |    86030    82305    122 |  0.000 % |
121.31/121.48	c |    207834 |     900    18000    90000 |    86030    82416    122 |  0.000 % |
121.41/121.58	c |    207955 |     900    18000    90000 |    86030    82537    122 |  0.000 % |
121.51/121.67	c |    208089 |     900    18000    90000 |    86030    82671    122 |  0.000 % |
121.71/121.82	c |    208237 |     900    18000    90000 |    86030    82819    122 |  0.000 % |
121.81/121.95	c |    208398 |     900    18000    90000 |    86030    82980    122 |  0.000 % |
122.01/122.11	c |    208576 |     900    18000    90000 |    86030    83158    122 |  0.000 % |
122.11/122.29	c |    208770 |     900    18000    90000 |    86030    83352    122 |  0.000 % |
122.31/122.47	c |    208985 |     900    18000    90000 |    86030    83567    122 |  0.000 % |
122.51/122.66	c |    209218 |     900    18000    90000 |    86030    83800    122 |  0.000 % |
122.71/122.86	c |    209474 |     900    18000    90000 |    86030    84056    122 |  0.000 % |
122.91/123.07	c |    209756 |     900    18000    90000 |    86030    84338    122 |  0.000 % |
123.21/123.31	c |    210065 |     900    18000    90000 |    84582    84647    122 |  0.000 % |
123.51/123.64	c |    210405 |     900    18000    90000 |    84582    73996    122 |  0.000 % |
123.81/123.91	c |    210779 |     900    18000    90000 |    84582    74370    122 |  0.000 % |
124.01/124.18	c |    211189 |     900    18000    90000 |    84582    74780    122 |  0.000 % |
124.31/124.48	c |    211638 |     900    18000    90000 |    84582    75229    122 |  0.000 % |
124.71/124.80	c |    212132 |     900    18000    90000 |    84582    75723    122 |  0.000 % |
125.01/125.16	c |    212675 |     900    18000    90000 |    84582    76266    122 |  0.000 % |
125.40/125.56	c |    213271 |     900    18000    90000 |    84582    76862    122 |  0.000 % |
125.81/125.98	c |    213926 |     900    18000    90000 |    84582    77517    122 |  0.000 % |
126.31/126.48	c |    214646 |     900    18000    90000 |    84582    78237    122 |  0.000 % |
126.90/127.04	c |    215439 |     900    18000    90000 |    84582    79030    122 |  0.000 % |
127.51/127.62	c |    216311 |     900    18000    90000 |    84582    79902    122 |  0.000 % |
128.10/128.27	c |    217270 |     900    18000    90000 |    84582    80861    122 |  0.000 % |
128.80/128.97	c |    218327 |     900    18000    90000 |    84582    81918    123 |  0.000 % |
129.61/129.79	c |    219486 |     900    18000    90000 |    84582    83077    123 |  0.000 % |
130.60/130.73	c |    220761 |     900    18000    90000 |    83592    74526    123 |  0.000 % |
131.50/131.63	c |    222162 |     900    18000    90000 |    83592    75927    122 |  0.000 % |
132.50/132.63	c |    223703 |     900    18000    90000 |    83592    77468    122 |  0.000 % |
133.60/133.76	c |    225399 |     900    18000    90000 |    83592    79164    123 |  0.000 % |
134.90/135.02	c |    227265 |     900    18000    90000 |    83592    81030    123 |  0.000 % |
136.30/136.41	c |    229315 |     900    18000    90000 |    83592    83080    123 |  0.000 % |
137.90/138.04	c |    231568 |     900    18000    90000 |    83766    75968    123 |  0.000 % |
138.00/138.13	c |    231668 |     900    18000    90000 |    83766    76068    123 |  0.000 % |
138.10/138.21	c |    231778 |     900    18000    90000 |    83766    76178    123 |  0.000 % |
138.20/138.30	c |    231900 |     900    18000    90000 |    83766    76300    123 |  0.000 % |
138.20/138.40	c |    232033 |     900    18000    90000 |    83766    76433    123 |  0.000 % |
138.40/138.52	c |    232179 |     900    18000    90000 |    83766    76579    123 |  0.000 % |
138.50/138.64	c |    232339 |     900    18000    90000 |    83766    76739    123 |  0.000 % |
138.60/138.76	c |    232515 |     900    18000    90000 |    83766    76915    123 |  0.000 % |
138.80/138.94	c |    232710 |     900    18000    90000 |    83766    77110    123 |  0.000 % |
139.00/139.11	c |    232926 |     900    18000    90000 |    83766    77326    123 |  0.000 % |
139.10/139.28	c |    233160 |     900    18000    90000 |    83766    77560    123 |  0.000 % |
139.30/139.46	c |    233416 |     900    18000    90000 |    83766    77816    123 |  0.000 % |
139.50/139.66	c |    233697 |     900    18000    90000 |    83766    78097    123 |  0.000 % |
139.70/139.89	c |    234007 |     900    18000    90000 |    83766    78407    123 |  0.000 % |
140.00/140.16	c |    234348 |     900    18000    90000 |    83766    78748    123 |  0.000 % |
140.30/140.44	c |    234720 |     900    18000    90000 |    83766    79120    123 |  0.000 % |
140.60/140.75	c |    235129 |     900    18000    90000 |    83766    79529    123 |  0.000 % |
140.90/141.07	c |    235579 |     900    18000    90000 |    83766    79979    123 |  0.000 % |
141.40/141.52	c |    236076 |     900    18000    90000 |    83766    80476    123 |  0.000 % |
141.80/141.96	c |    236619 |     900    18000    90000 |    83766    81019    123 |  0.000 % |
142.30/142.45	c |    237216 |     900    18000    90000 |    83766    81616    123 |  0.000 % |
142.80/142.92	c |    237871 |     900    18000    90000 |    83766    82271    123 |  0.000 % |
143.30/143.43	c |    238593 |     900    18000    90000 |    83766    82993    123 |  0.000 % |
143.90/144.04	c |    239386 |     900    18000    90000 |    83766    83786    123 |  0.000 % |
144.50/144.69	c |    240258 |     900    18000    90000 |    73380    73638    123 |  0.000 % |
145.10/145.29	c |    241216 |     900    18000    90000 |    73380    65322    123 |  0.000 % |
145.80/145.92	c |    242270 |     900    18000    90000 |    73380    66376    123 |  0.000 % |
146.50/146.66	c |    243430 |     900    18000    90000 |    73380    67536    123 |  0.000 % |
147.30/147.48	c |    244703 |     900    18000    90000 |    73380    68809    123 |  0.000 % |
148.19/148.40	c |    246104 |     900    18000    90000 |    73380    70210    123 |  0.000 % |
149.19/149.36	c |    247647 |     900    18000    90000 |    73380    71753    123 |  0.000 % |
150.29/150.43	c |    249342 |     900    18000    90000 |    73380    73448    123 |  0.000 % |
151.49/151.70	c |    251208 |     900    18000    90000 | 2147483647    67970    122 |  0.000 % |
152.80/152.95	c |    253257 |     900    18000    90000 | 2147483647    70019    122 |  0.000 % |
154.10/154.29	c |    255511 |     900    18000    90000 | 2147483647    72273    122 |  0.000 % |
155.80/155.92	c |    257991 |     900    18000    90000 | 2147483647    74753    122 |  0.000 % |
155.80/155.99	c |    258092 |     900    18000    90000 | 2147483647    74854    122 |  0.000 % |
155.90/156.09	c |    258202 |     900    18000    90000 | 2147483647    74964    122 |  0.000 % |
156.00/156.17	c |    258323 |     900    18000    90000 | 2147483647    75085    122 |  0.000 % |
156.10/156.26	c |    258458 |     900    18000    90000 | 2147483647    75220    122 |  0.000 % |
156.19/156.37	c |    258606 |     900    18000    90000 | 2147483647    75368    122 |  0.000 % |
156.29/156.48	c |    258767 |     900    18000    90000 | 2147483647    75529    122 |  0.000 % |
156.49/156.61	c |    258944 |     900    18000    90000 | 2147483647    75706    122 |  0.000 % |
156.59/156.74	c |    259137 |     900    18000    90000 | 2147483647    75899    122 |  0.000 % |
156.69/156.88	c |    259349 |     900    18000    90000 | 2147483647    76111    122 |  0.000 % |
156.89/157.06	c |    259582 |     900    18000    90000 | 2147483647    76344    122 |  0.000 % |
157.10/157.27	c |    259839 |     900    18000    90000 | 2147483647    76601    122 |  0.000 % |
157.29/157.49	c |    260121 |     900    18000    90000 | 2147483647    76883    122 |  0.000 % |
157.49/157.68	c |    260430 |     900    18000    90000 | 2147483647    77192    122 |  0.000 % |
157.79/157.91	c |    260770 |     900    18000    90000 | 2147483647    77532    122 |  0.000 % |
157.99/158.17	c |    261142 |     900    18000    90000 | 2147483647    77904    122 |  0.000 % |
158.30/158.45	c |    261551 |     900    18000    90000 | 2147483647    78313    122 |  0.000 % |
158.69/158.80	c |    262000 |     900    18000    90000 | 2147483647    78762    122 |  0.000 % |
158.99/159.14	c |    262493 |     900    18000    90000 | 2147483647    79255    122 |  0.000 % |
159.40/159.52	c |    263035 |     900    18000    90000 | 2147483647    79797    122 |  0.000 % |
159.79/159.98	c |    263631 |     900    18000    90000 | 2147483647    80393    122 |  0.000 % |
160.29/160.49	c |    264286 |     900    18000    90000 | 2147483647    81048    122 |  0.000 % |
160.89/161.00	c |    265006 |     900    18000    90000 | 2147483647    81768    122 |  0.000 % |
161.50/161.66	c |    265798 |     900    18000    90000 | 2147483647    82560    122 |  0.000 % |
162.09/162.27	c |    266670 |     900    18000    90000 | 2147483647    83432    122 |  0.000 % |
162.79/162.95	c |    267628 |     900    18000    90000 | 2147483647    84390    122 |  0.000 % |
163.59/163.74	c |    268681 |     900    18000    90000 | 2147483647    85443    122 |  0.000 % |
164.39/164.58	c |    269841 |     900    18000    90000 | 2147483647    86603    122 |  0.000 % |
165.39/165.54	c |    271117 |     900    18000    90000 |    86764    76381    122 |  0.000 % |
166.29/166.48	c |    272519 |     900    18000    90000 |    86764    77783    122 |  0.000 % |
167.39/167.54	c |    274060 |     900    18000    90000 |    86764    79324    122 |  0.000 % |
168.49/168.67	c |    275756 |     900    18000    90000 |    86764    81020    122 |  0.000 % |
169.79/169.94	c |    277620 |     900    18000    90000 |    86764    82884    122 |  0.000 % |
171.29/171.46	c |    279669 |     900    18000    90000 |    86764    84933    123 |  0.000 % |
172.89/173.01	c |    281924 |     900    18000    90000 |    85264    76766    123 |  0.000 % |
174.59/174.72	c |    284405 |     900    18000    90000 |    85264    79247    123 |  0.000 % |
176.39/176.59	c |    287131 |     900    18000    90000 |    85264    81973    123 |  0.000 % |
176.49/176.66	c |    287231 |     900    18000    90000 |    85264    82073    123 |  0.000 % |
176.59/176.75	c |    287342 |     900    18000    90000 |    85264    82184    123 |  0.000 % |
176.69/176.84	c |    287463 |     900    18000    90000 |    85264    82305    123 |  0.000 % |
176.79/176.95	c |    287596 |     900    18000    90000 |    85264    82438    123 |  0.000 % |
176.99/177.10	c |    287743 |     900    18000    90000 |    85264    82585    123 |  0.000 % |
177.09/177.25	c |    287903 |     900    18000    90000 |    85264    82745    123 |  0.000 % |
177.19/177.37	c |    288079 |     900    18000    90000 |    85264    82921    123 |  0.000 % |
177.39/177.55	c |    288272 |     900    18000    90000 |    85264    83114    123 |  0.000 % |
177.59/177.72	c |    288485 |     900    18000    90000 |    85264    83327    123 |  0.000 % |
177.79/177.91	c |    288721 |     900    18000    90000 |    85264    83563    123 |  0.000 % |
177.99/178.10	c |    288978 |     900    18000    90000 |    85264    83820    123 |  0.000 % |
178.19/178.34	c |    289259 |     900    18000    90000 |    85264    84101    123 |  0.000 % |
178.39/178.57	c |    289572 |     900    18000    90000 |    85264    84414    123 |  0.000 % |
178.69/178.85	c |    289911 |     900    18000    90000 |    85264    84753    123 |  0.000 % |
178.99/179.15	c |    290283 |     900    18000    90000 |    84844    85125    123 |  0.000 % |
179.29/179.48	c |    290692 |     900    18000    90000 |    84844    74672    123 |  0.000 % |
179.69/179.80	c |    291142 |     900    18000    90000 |    84844    75122    123 |  0.000 % |
179.99/180.15	c |    291636 |     900    18000    90000 |    84844    75616    123 |  0.000 % |
180.39/180.50	c |    292178 |     900    18000    90000 |    84844    76158    123 |  0.000 % |
180.69/180.88	c |    292775 |     900    18000    90000 |    84844    76755    123 |  0.000 % |
181.19/181.34	c |    293431 |     900    18000    90000 |    84844    77411    123 |  0.000 % |
181.69/181.80	c |    294151 |     900    18000    90000 |    84844    78131    123 |  0.000 % |
182.19/182.35	c |    294947 |     900    18000    90000 |    84844    78927    123 |  0.000 % |
182.79/182.95	c |    295819 |     900    18000    90000 |    84844    79799    123 |  0.000 % |
183.49/183.60	c |    296777 |     900    18000    90000 |    84844    80757    123 |  0.000 % |
184.18/184.32	c |    297830 |     900    18000    90000 |    84844    81810    123 |  0.000 % |
184.88/185.09	c |    298988 |     900    18000    90000 |    84844    82968    122 |  0.000 % |
185.79/185.98	c |    300261 |     900    18000    90000 |    83981    84241    122 |  0.000 % |
186.79/186.98	c |    301662 |     900    18000    90000 |    83981    76017    122 |  0.000 % |
187.78/188.00	c |    303203 |     900    18000    90000 |    83981    77558    122 |  0.000 % |
188.88/189.09	c |    304897 |     900    18000    90000 |    83981    79252    122 |  0.000 % |
190.18/190.31	c |    306761 |     900    18000    90000 |    83981    81116    122 |  0.000 % |
191.58/191.76	c |    308810 |     900    18000    90000 |    83981    83165    122 |  0.000 % |
193.08/193.29	c |    311064 |     900    18000    90000 |    75428    68741    123 |  0.000 % |
194.68/194.80	c |    313542 |     900    18000    90000 |    75428    71219    123 |  0.000 % |
196.28/196.47	c |    316268 |     900    18000    90000 |    75428    73945    123 |  0.000 % |
198.08/198.27	c |    319265 |     900    18000    90000 |    75428    69366    123 |  0.000 % |
198.18/198.34	c |    319366 |     900    18000    90000 |    75428    69467    123 |  0.000 % |
198.28/198.42	c |    319476 |     900    18000    90000 |    75428    69577    123 |  0.000 % |
198.38/198.51	c |    319597 |     900    18000    90000 |    75428    69698    123 |  0.000 % |
198.48/198.61	c |    319730 |     900    18000    90000 |    75428    69831    123 |  0.000 % |
198.58/198.71	c |    319876 |     900    18000    90000 |    75428    69977    123 |  0.000 % |
198.68/198.83	c |    320037 |     900    18000    90000 | 2147483647    70138    123 |  0.000 % |
198.77/198.96	c |    320214 |     900    18000    90000 | 2147483647    70315    123 |  0.000 % |
198.88/199.09	c |    320409 |     900    18000    90000 | 2147483647    70510    123 |  0.000 % |
199.07/199.25	c |    320621 |     900    18000    90000 | 2147483647    70722    123 |  0.000 % |
199.27/199.41	c |    320854 |     900    18000    90000 | 2147483647    70955    123 |  0.000 % |
199.37/199.59	c |    321110 |     900    18000    90000 | 2147483647    71211    123 |  0.000 % |
199.57/199.76	c |    321391 |     900    18000    90000 | 2147483647    71492    123 |  0.000 % |
199.77/199.97	c |    321700 |     900    18000    90000 | 2147483647    71801    123 |  0.000 % |
199.98/200.18	c |    322040 |     900    18000    90000 | 2147483647    72141    123 |  0.000 % |
200.27/200.46	c |    322414 |     900    18000    90000 | 2147483647    72515    123 |  0.000 % |
200.57/200.75	c |    322824 |     900    18000    90000 | 2147483647    72925    123 |  0.000 % |
200.87/201.03	c |    323274 |     900    18000    90000 | 2147483647    73375    123 |  0.000 % |
201.18/201.37	c |    323768 |     900    18000    90000 | 2147483647    73869    123 |  0.000 % |
201.57/201.70	c |    324312 |     900    18000    90000 | 2147483647    74413    123 |  0.000 % |
201.97/202.12	c |    324909 |     900    18000    90000 | 2147483647    75010    123 |  0.000 % |
202.37/202.54	c |    325564 |     900    18000    90000 | 2147483647    75665    123 |  0.000 % |
202.87/203.03	c |    326284 |     900    18000    90000 | 2147483647    76385    123 |  0.000 % |
203.38/203.54	c |    327076 |     900    18000    90000 | 2147483647    77177    123 |  0.000 % |
203.97/204.16	c |    327948 |     900    18000    90000 | 2147483647    78049    123 |  0.000 % |
204.67/204.80	c |    328906 |     900    18000    90000 | 2147483647    79007    123 |  0.000 % |
205.37/205.53	c |    329959 |     900    18000    90000 | 2147483647    80060    123 |  0.000 % |
206.17/206.39	c |    331117 |     900    18000    90000 |    80102    73043    122 |  0.000 % |
206.97/207.17	c |    332392 |     900    18000    90000 |    80102    74318    122 |  0.000 % |
207.87/208.04	c |    333794 |     900    18000    90000 |    80102    75720    122 |  0.000 % |
208.87/209.05	c |    335338 |     900    18000    90000 |    80102    77264    122 |  0.000 % |
209.97/210.17	c |    337032 |     900    18000    90000 |    80102    78958    122 |  0.000 % |
211.37/211.58	c |    338896 |     900    18000    90000 |    80102    72600    123 |  0.000 % |
212.77/212.98	c |    340946 |     900    18000    90000 |    73704    67148    123 |  0.000 % |
214.17/214.34	c |    343201 |     900    18000    90000 |    73704    69403    124 |  0.000 % |
215.57/215.76	c |    345681 |     900    18000    90000 |    73704    71883    124 |  0.000 % |
217.37/217.51	c |    348406 |     900    18000    90000 |    73704    67212    124 |  0.000 % |
219.17/219.30	c |    351403 |     900    18000    90000 | 2147483647    70209    124 |  0.000 % |
221.27/221.48	c |    354699 |     900    18000    90000 | 2147483647    73505    124 |  0.000 % |
221.37/221.55	c |    354801 |     900    18000    90000 | 2147483647    73607    124 |  0.000 % |
221.47/221.62	c |    354911 |     900    18000    90000 | 2147483647    73717    124 |  0.000 % |
221.57/221.70	c |    355032 |     900    18000    90000 | 2147483647    73838    124 |  0.000 % |
221.67/221.82	c |    355165 |     900    18000    90000 | 2147483647    73971    124 |  0.000 % |
221.77/221.93	c |    355311 |     900    18000    90000 | 2147483647    74117    124 |  0.000 % |
221.87/222.03	c |    355473 |     900    18000    90000 | 2147483647    74279    124 |  0.000 % |
221.97/222.14	c |    355650 |     900    18000    90000 | 2147483647    74456    124 |  0.000 % |
222.07/222.28	c |    355845 |     900    18000    90000 | 2147483647    74651    124 |  0.000 % |
222.27/222.43	c |    356057 |     900    18000    90000 | 2147483647    74863    124 |  0.000 % |
222.47/222.61	c |    356294 |     900    18000    90000 | 2147483647    75100    124 |  0.000 % |
222.67/222.80	c |    356552 |     900    18000    90000 | 2147483647    75358    124 |  0.000 % |
222.87/223.02	c |    356834 |     900    18000    90000 | 2147483647    75640    124 |  0.000 % |
223.07/223.22	c |    357143 |     900    18000    90000 | 2147483647    75949    124 |  0.000 % |
223.27/223.44	c |    357483 |     900    18000    90000 | 2147483647    76289    124 |  0.000 % |
223.47/223.68	c |    357856 |     900    18000    90000 | 2147483647    76662    124 |  0.000 % |
223.77/223.95	c |    358265 |     900    18000    90000 | 2147483647    77071    124 |  0.000 % |
224.06/224.24	c |    358714 |     900    18000    90000 | 2147483647    77520    124 |  0.000 % |
224.36/224.58	c |    359207 |     900    18000    90000 | 2147483647    78013    124 |  0.000 % |
224.76/224.92	c |    359749 |     900    18000    90000 | 2147483647    78555    124 |  0.000 % |
225.16/225.32	c |    360346 |     900    18000    90000 | 2147483647    79152    124 |  0.000 % |
225.56/225.77	c |    361002 |     900    18000    90000 | 2147483647    79808    124 |  0.000 % |
226.06/226.30	c |    361723 |     900    18000    90000 | 2147483647    80529    124 |  0.000 % |
226.66/226.85	c |    362518 |     900    18000    90000 | 2147483647    81324    124 |  0.000 % |
227.36/227.53	c |    363390 |     900    18000    90000 | 2147483647    82196    124 |  0.000 % |
228.06/228.20	c |    364348 |     900    18000    90000 | 2147483647    83154    123 |  0.000 % |
228.76/228.93	c |    365401 |     900    18000    90000 | 2147483647    84207    123 |  0.000 % |
229.67/229.82	c |    366561 |     900    18000    90000 | 2147483647    85367    124 |  0.000 % |
230.56/230.74	c |    367834 |     900    18000    90000 | 2147483647    86640    124 |  0.000 % |
231.67/231.81	c |    369236 |     900    18000    90000 | 2147483647    88042    124 |  0.000 % |
232.76/232.92	c |    370776 |     900    18000    90000 |    88807    78343    124 |  0.000 % |
233.86/234.05	c |    372470 |     900    18000    90000 |    88807    80037    124 |  0.000 % |
235.06/235.25	c |    374333 |     900    18000    90000 |    88807    81900    124 |  0.000 % |
236.46/236.62	c |    376382 |     900    18000    90000 |    88807    83949    124 |  0.000 % |
238.06/238.25	c |    378636 |     900    18000    90000 |    88807    86203    124 |  0.000 % |
239.76/239.99	c |    381114 |     900    18000    90000 |    87568    77433    125 |  0.000 % |
241.66/241.87	c |    383839 |     900    18000    90000 |    87568    80158    125 |  0.000 % |
243.56/243.77	c |    386837 |     900    18000    90000 |    87568    83156    125 |  0.000 % |
246.06/246.28	c |    390134 |     900    18000    90000 |    86319    86453    125 |  0.000 % |
248.76/248.94	c |    393759 |     900    18000    90000 |    86319    79550    125 |  0.000 % |
248.86/249.03	c |    393867 |     900    18000    90000 |    86319    79658    125 |  0.000 % |
248.96/249.10	c |    393977 |     900    18000    90000 |    86319    79768    125 |  0.000 % |
249.06/249.20	c |    394098 |     900    18000    90000 |    86319    79889    125 |  0.000 % |
249.16/249.34	c |    394232 |     900    18000    90000 |    86319    80023    125 |  0.000 % |
249.26/249.46	c |    394380 |     900    18000    90000 |    86319    80171    125 |  0.000 % |
249.36/249.59	c |    394542 |     900    18000    90000 |    86319    80333    125 |  0.000 % |
249.56/249.76	c |    394718 |     900    18000    90000 |    86319    80509    125 |  0.000 % |
249.76/249.91	c |    394911 |     900    18000    90000 |    86319    80702    125 |  0.000 % |
249.86/250.08	c |    395124 |     900    18000    90000 |    86319    80915    125 |  0.000 % |
250.06/250.25	c |    395360 |     900    18000    90000 |    86319    81151    125 |  0.000 % |
250.26/250.44	c |    395616 |     900    18000    90000 |    86319    81407    125 |  0.000 % |
250.46/250.67	c |    395899 |     900    18000    90000 |    86319    81690    125 |  0.000 % |
250.66/250.89	c |    396208 |     900    18000    90000 |    86319    81999    125 |  0.000 % |
250.95/251.13	c |    396547 |     900    18000    90000 |    86319    82338    125 |  0.000 % |
251.25/251.44	c |    396919 |     900    18000    90000 |    86319    82710    125 |  0.000 % |
251.55/251.76	c |    397328 |     900    18000    90000 |    86319    83119    125 |  0.000 % |
251.95/252.13	c |    397778 |     900    18000    90000 |    86319    83569    124 |  0.000 % |
252.25/252.45	c |    398272 |     900    18000    90000 |    86319    84063    124 |  0.000 % |
252.65/252.88	c |    398814 |     900    18000    90000 |    86319    84605    124 |  0.000 % |
253.15/253.33	c |    399411 |     900    18000    90000 |    86319    85202    124 |  0.000 % |
253.65/253.82	c |    400066 |     900    18000    90000 |    85791    85857    124 |  0.000 % |
254.15/254.40	c |    400787 |     900    18000    90000 |    85791    75265    125 |  0.000 % |
254.75/254.93	c |    401580 |     900    18000    90000 |    85791    76058    125 |  0.000 % |
255.35/255.57	c |    402451 |     900    18000    90000 |    85791    76929    125 |  0.000 % |
256.06/256.22	c |    403409 |     900    18000    90000 |    85791    77887    125 |  0.000 % |
256.75/256.93	c |    404464 |     900    18000    90000 |    85791    78942    125 |  0.000 % |
257.55/257.72	c |    405622 |     900    18000    90000 |    85791    80100    125 |  0.000 % |
258.35/258.57	c |    406895 |     900    18000    90000 |    85791    81373    125 |  0.000 % |
259.35/259.50	c |    408296 |     900    18000    90000 |    85791    82774    125 |  0.000 % |
260.35/260.58	c |    409836 |     900    18000    90000 |    85791    84314    125 |  0.000 % |
261.55/261.77	c |    411530 |     900    18000    90000 |    84480    76187    125 |  0.000 % |
262.85/263.01	c |    413393 |     900    18000    90000 |    84480    78050    126 |  0.000 % |
264.25/264.46	c |    415444 |     900    18000    90000 |    84480    80101    126 |  0.000 % |
265.75/265.97	c |    417699 |     900    18000    90000 |    84480    82356    126 |  0.000 % |
267.45/267.67	c |    420177 |     900    18000    90000 |    84657    84834    126 |  0.000 % |
269.35/269.52	c |    422902 |     900    18000    90000 |    84657    77648    125 |  0.000 % |
271.35/271.60	c |    425899 |     900    18000    90000 |    84657    80645    125 |  0.000 % |
273.54/273.77	c |    429197 |     900    18000    90000 |    84657    83943    125 |  0.000 % |
276.14/276.35	c |    432824 |     900    18000    90000 |    84746    77661    125 |  0.000 % |
278.94/279.15	c |    436812 |     900    18000    90000 |    84746    81649    125 |  0.000 % |
279.04/279.23	c |    436912 |     900    18000    90000 |    84746    81749    125 |  0.000 % |
279.15/279.32	c |    437024 |     900    18000    90000 |    84746    81861    125 |  0.000 % |
279.25/279.47	c |    437145 |     900    18000    90000 |    84746    81982    125 |  0.000 % |
279.34/279.57	c |    437278 |     900    18000    90000 |    84746    82115    125 |  0.000 % |
279.54/279.70	c |    437424 |     900    18000    90000 |    84746    82261    125 |  0.000 % |
279.64/279.82	c |    437584 |     900    18000    90000 |    84746    82421    125 |  0.000 % |
279.74/279.97	c |    437760 |     900    18000    90000 |    84746    82597    125 |  0.000 % |
279.94/280.13	c |    437954 |     900    18000    90000 |    84746    82791    125 |  0.000 % |
280.04/280.28	c |    438166 |     900    18000    90000 |    84746    83003    125 |  0.000 % |
280.25/280.47	c |    438401 |     900    18000    90000 |    84746    83238    125 |  0.000 % |
280.44/280.69	c |    438657 |     900    18000    90000 |    84746    83494    125 |  0.000 % |
280.64/280.89	c |    438939 |     900    18000    90000 |    84746    83776    125 |  0.000 % |
280.94/281.11	c |    439248 |     900    18000    90000 |    84746    84085    125 |  0.000 % |
281.14/281.39	c |    439588 |     900    18000    90000 |    84746    84425    125 |  0.000 % |
281.54/281.72	c |    439960 |     900    18000    90000 |    84746    84797    125 |  0.000 % |
281.84/282.08	c |    440369 |     900    18000    90000 |    73784    64691    126 |  0.000 % |
282.14/282.35	c |    440820 |     900    18000    90000 |    73784    65142    126 |  0.000 % |
282.44/282.66	c |    441314 |     900    18000    90000 |    73784    65636    126 |  0.000 % |
282.74/282.99	c |    441856 |     900    18000    90000 |    73784    66178    126 |  0.000 % |
283.14/283.35	c |    442452 |     900    18000    90000 |    73784    66774    126 |  0.000 % |
283.54/283.75	c |    443108 |     900    18000    90000 |    73784    67430    126 |  0.000 % |
284.04/284.20	c |    443829 |     900    18000    90000 |    73784    68151    126 |  0.000 % |
284.44/284.68	c |    444623 |     900    18000    90000 |    73784    68945    126 |  0.000 % |
285.04/285.22	c |    445495 |     900    18000    90000 |    73784    69817    126 |  0.000 % |
285.64/285.82	c |    446454 |     900    18000    90000 |    73784    70776    126 |  0.000 % |
286.34/286.50	c |    447508 |     900    18000    90000 |    73784    71830    126 |  0.000 % |
287.04/287.25	c |    448667 |     900    18000    90000 |    73784    72989    126 |  0.000 % |
287.94/288.11	c |    449942 |     900    18000    90000 |    73784    66853    125 |  0.000 % |
288.74/288.95	c |    451342 |     900    18000    90000 | 2147483647    68253    125 |  0.000 % |
289.74/289.91	c |    452882 |     900    18000    90000 | 2147483647    69793    126 |  0.000 % |
290.84/291.04	c |    454578 |     900    18000    90000 | 2147483647    71489    126 |  0.000 % |
291.94/292.18	c |    456441 |     900    18000    90000 | 2147483647    73352    126 |  0.000 % |
293.24/293.47	c |    458491 |     900    18000    90000 | 2147483647    75402    126 |  0.000 % |
294.83/295.00	c |    460745 |     900    18000    90000 | 2147483647    77656    126 |  0.000 % |
296.53/296.74	c |    463225 |     900    18000    90000 | 2147483647    80136    126 |  0.000 % |
298.53/298.70	c |    465955 |     900    18000    90000 | 2147483647    82866    126 |  0.000 % |
300.63/300.86	c |    468952 |     900    18000    90000 | 2147483647    85863    126 |  0.000 % |
303.13/303.34	c |    472248 |     900    18000    90000 |    86911    79352    126 |  0.000 % |
305.73/305.93	c |    475874 |     900    18000    90000 |    86911    82978    126 |  0.000 % |
308.73/308.90	c |    479862 |     900    18000    90000 |    86911    86966    126 |  0.000 % |
311.43/311.63	c |    484247 |     900    18000    90000 |    76356    71240    126 |  0.000 % |
311.43/311.68	c |    484348 |     900    18000    90000 |    76356    71341    126 |  0.000 % |
311.53/311.76	c |    484458 |     900    18000    90000 |    76356    71451    126 |  0.000 % |
311.63/311.84	c |    484580 |     900    18000    90000 |    76356    71573    126 |  0.000 % |
311.73/311.95	c |    484714 |     900    18000    90000 |    76356    71707    126 |  0.000 % |
311.83/312.06	c |    484862 |     900    18000    90000 |    76356    71855    126 |  0.000 % |
311.93/312.17	c |    485023 |     900    18000    90000 |    76356    72016    126 |  0.000 % |
312.13/312.30	c |    485201 |     900    18000    90000 |    76356    72194    126 |  0.000 % |
312.23/312.44	c |    485396 |     900    18000    90000 |    76356    72389    126 |  0.000 % |
312.33/312.60	c |    485608 |     900    18000    90000 |    76356    72601    126 |  0.000 % |
312.53/312.75	c |    485842 |     900    18000    90000 |    76356    72835    126 |  0.000 % |
312.73/312.93	c |    486098 |     900    18000    90000 |    76356    73091    126 |  0.000 % |
312.93/313.15	c |    486379 |     900    18000    90000 |    76356    73372    126 |  0.000 % |
313.13/313.37	c |    486689 |     900    18000    90000 |    76356    73682    126 |  0.000 % |
313.33/313.59	c |    487029 |     900    18000    90000 |    76356    74022    126 |  0.000 % |
313.63/313.86	c |    487401 |     900    18000    90000 |    76356    74394    126 |  0.000 % |
313.93/314.13	c |    487813 |     900    18000    90000 |    76356    74806    126 |  0.000 % |
314.23/314.43	c |    488264 |     900    18000    90000 |    76356    75257    126 |  0.000 % |
314.53/314.75	c |    488757 |     900    18000    90000 |    76356    75750    125 |  0.000 % |
314.83/315.09	c |    489300 |     900    18000    90000 |    76356    76293    126 |  0.000 % |
315.33/315.52	c |    489896 |     900    18000    90000 |    76356    69220    125 |  0.000 % |
315.73/315.93	c |    490551 |     900    18000    90000 | 2147483647    69875    125 |  0.000 % |
316.22/316.44	c |    491272 |     900    18000    90000 | 2147483647    70596    125 |  0.000 % |
316.72/316.93	c |    492065 |     900    18000    90000 | 2147483647    71389    126 |  0.000 % |
317.22/317.48	c |    492937 |     900    18000    90000 | 2147483647    72261    125 |  0.000 % |
317.82/318.08	c |    493896 |     900    18000    90000 | 2147483647    73220    125 |  0.000 % |
318.52/318.77	c |    494951 |     900    18000    90000 | 2147483647    74275    125 |  0.000 % |
319.32/319.55	c |    496111 |     900    18000    90000 | 2147483647    75435    125 |  0.000 % |
320.12/320.35	c |    497384 |     900    18000    90000 | 2147483647    76708    125 |  0.000 % |
321.03/321.24	c |    498785 |     900    18000    90000 | 2147483647    78109    125 |  0.000 % |
322.13/322.33	c |    500327 |     900    18000    90000 | 2147483647    79651    125 |  0.000 % |
323.32/323.55	c |    502021 |     900    18000    90000 | 2147483647    81345    125 |  0.000 % |
324.72/324.90	c |    503885 |     900    18000    90000 | 2147483647    83209    125 |  0.000 % |
326.02/326.23	c |    505934 |     900    18000    90000 | 2147483647    85258    125 |  0.000 % |
327.52/327.76	c |    508190 |     900    18000    90000 | 2147483647    87514    125 |  0.000 % |
329.43/329.63	c |    510670 |     900    18000    90000 |    89324    78752    125 |  0.000 % |
331.23/331.48	c |    513395 |     900    18000    90000 |    89324    81477    125 |  0.000 % |
333.33/333.58	c |    516392 |     900    18000    90000 |    89324    84474    125 |  0.000 % |
335.82/336.06	c |    519688 |     900    18000    90000 |    89324    87770    125 |  0.000 % |
338.42/338.69	c |    523313 |     900    18000    90000 |    88084    79694    126 |  0.000 % |
341.22/341.46	c |    527300 |     900    18000    90000 |    88084    83681    126 |  0.000 % |
344.42/344.62	c |    531689 |     900    18000    90000 |    86382    77294    126 |  0.000 % |
347.92/348.13	c |    536513 |     900    18000    90000 |    86382    82118    126 |  0.000 % |
348.02/348.24	c |    536613 |     900    18000    90000 |    86382    82218    126 |  0.000 % |
348.12/348.32	c |    536731 |     900    18000    90000 |    86382    82336    126 |  0.000 % |
348.22/348.43	c |    536853 |     900    18000    90000 |    86382    82458    126 |  0.000 % |
348.32/348.55	c |    536989 |     900    18000    90000 |    86382    82594    126 |  0.000 % |
348.43/348.67	c |    537135 |     900    18000    90000 |    86382    82740    126 |  0.000 % |
348.52/348.79	c |    537295 |     900    18000    90000 |    86382    82900    126 |  0.000 % |
348.72/348.94	c |    537473 |     900    18000    90000 |    86382    83078    126 |  0.000 % |
348.92/349.10	c |    537667 |     900    18000    90000 |    86382    83272    126 |  0.000 % |
349.02/349.27	c |    537880 |     900    18000    90000 |    86382    83485    126 |  0.000 % |
349.32/349.50	c |    538113 |     900    18000    90000 |    86382    83718    126 |  0.000 % |
349.52/349.71	c |    538369 |     900    18000    90000 |    86382    83974    126 |  0.000 % |
349.72/349.93	c |    538650 |     900    18000    90000 |    86382    84255    126 |  0.000 % |
349.92/350.15	c |    538959 |     900    18000    90000 |    86382    84564    126 |  0.000 % |
350.12/350.39	c |    539298 |     900    18000    90000 |    86382    84903    126 |  0.000 % |
350.42/350.67	c |    539671 |     900    18000    90000 |    86382    85276    126 |  0.000 % |
350.72/350.97	c |    540080 |     900    18000    90000 |    85606    85685    126 |  0.000 % |
351.12/351.36	c |    540529 |     900    18000    90000 |    85606    75132    125 |  0.000 % |
351.42/351.69	c |    541022 |     900    18000    90000 |    85606    75625    125 |  0.000 % |
351.82/352.04	c |    541564 |     900    18000    90000 |    85606    76167    125 |  0.000 % |
352.22/352.45	c |    542161 |     900    18000    90000 |    85606    76764    125 |  0.000 % |
352.62/352.89	c |    542816 |     900    18000    90000 |    85606    77419    125 |  0.000 % |
353.12/353.38	c |    543536 |     900    18000    90000 |    85606    78139    125 |  0.000 % |
353.72/353.94	c |    544329 |     900    18000    90000 |    85606    78932    125 |  0.000 % |
354.31/354.53	c |    545200 |     900    18000    90000 |    85606    79803    125 |  0.000 % |
355.02/355.22	c |    546158 |     900    18000    90000 |    85606    80761    125 |  0.000 % |
355.71/355.93	c |    547213 |     900    18000    90000 |    85606    81816    125 |  0.000 % |
356.51/356.73	c |    548372 |     900    18000    90000 |    85606    82975    125 |  0.000 % |
357.32/357.59	c |    549647 |     900    18000    90000 |    85606    84250    125 |  0.000 % |
358.32/358.58	c |    551047 |     900    18000    90000 |    84603    75090    125 |  0.000 % |
359.31/359.58	c |    552588 |     900    18000    90000 |    84603    76631    125 |  0.000 % |
360.52/360.73	c |    554284 |     900    18000    90000 |    84603    78327    124 |  0.000 % |
361.72/361.92	c |    556149 |     900    18000    90000 |    84603    80192    124 |  0.000 % |
363.11/363.31	c |    558199 |     900    18000    90000 |    84603    82242    125 |  0.000 % |
364.71/364.91	c |    560453 |     900    18000    90000 |    84043    74426    125 |  0.000 % |
366.41/366.62	c |    562933 |     900    18000    90000 |    84043    76906    125 |  0.000 % |
368.11/368.38	c |    565659 |     900    18000    90000 |    84043    79632    125 |  0.000 % |
370.21/370.46	c |    568656 |     900    18000    90000 |    84043    82629    125 |  0.000 % |
372.51/372.70	c |    571952 |     900    18000    90000 |    83975    76787    126 |  0.000 % |
374.91/375.18	c |    575577 |     900    18000    90000 |    83975    80412    126 |  0.000 % |
377.71/377.90	c |    579564 |     900    18000    90000 |    83975    74558    127 |  0.000 % |
380.31/380.50	c |    583950 |     900    18000    90000 |    74994    70130    126 |  0.000 % |
383.51/383.71	c |    588773 |     900    18000    90000 |    74994    74953    127 |  0.000 % |
387.01/387.24	c |    594078 |     900    18000    90000 | 2147483647    72730    127 |  0.000 % |
387.11/387.33	c |    594178 |     900    18000    90000 | 2147483647    72830    127 |  0.000 % |
387.21/387.42	c |    594289 |     900    18000    90000 | 2147483647    72941    127 |  0.000 % |
387.31/387.52	c |    594412 |     900    18000    90000 | 2147483647    73064    127 |  0.000 % |
387.40/387.63	c |    594545 |     900    18000    90000 | 2147483647    73197    127 |  0.000 % |
387.50/387.77	c |    594691 |     900    18000    90000 | 2147483647    73343    127 |  0.000 % |
387.60/387.89	c |    594854 |     900    18000    90000 | 2147483647    73506    127 |  0.000 % |
387.80/388.02	c |    595032 |     900    18000    90000 | 2147483647    73684    127 |  0.000 % |
387.90/388.19	c |    595227 |     900    18000    90000 | 2147483647    73879    127 |  0.000 % |
388.11/388.34	c |    595441 |     900    18000    90000 | 2147483647    74093    127 |  0.000 % |
388.30/388.52	c |    595674 |     900    18000    90000 | 2147483647    74326    127 |  0.000 % |
388.50/388.70	c |    595932 |     900    18000    90000 | 2147483647    74584    127 |  0.000 % |
388.70/388.91	c |    596214 |     900    18000    90000 | 2147483647    74866    127 |  0.000 % |
388.90/389.13	c |    596523 |     900    18000    90000 | 2147483647    75175    127 |  0.000 % |
389.11/389.37	c |    596862 |     900    18000    90000 | 2147483647    75514    127 |  0.000 % |
389.40/389.64	c |    597234 |     900    18000    90000 | 2147483647    75886    127 |  0.000 % |
389.70/389.95	c |    597646 |     900    18000    90000 | 2147483647    76298    127 |  0.000 % |
390.00/390.28	c |    598096 |     900    18000    90000 | 2147483647    76748    127 |  0.000 % |
390.40/390.65	c |    598589 |     900    18000    90000 | 2147483647    77241    127 |  0.000 % |
390.80/391.06	c |    599133 |     900    18000    90000 | 2147483647    77785    127 |  0.000 % |
391.20/391.48	c |    599729 |     900    18000    90000 | 2147483647    78381    126 |  0.000 % |
391.70/391.99	c |    600384 |     900    18000    90000 |    78652    71103    126 |  0.000 % |
392.20/392.44	c |    601106 |     900    18000    90000 |    78652    71825    126 |  0.000 % |
392.70/392.96	c |    601899 |     900    18000    90000 |    78652    72618    126 |  0.000 % |
393.30/393.50	c |    602770 |     900    18000    90000 |    78652    73489    126 |  0.000 % |
393.90/394.12	c |    603728 |     900    18000    90000 |    78652    74447    126 |  0.000 % |
394.50/394.78	c |    604782 |     900    18000    90000 |    78652    75501    126 |  0.000 % |
395.30/395.53	c |    605941 |     900    18000    90000 |    78652    76660    126 |  0.000 % |
396.20/396.41	c |    607217 |     900    18000    90000 |    78652    77936    126 |  0.000 % |
397.10/397.36	c |    608619 |     900    18000    90000 |    78652    71441    126 |  0.000 % |
398.10/398.34	c |    610159 |     900    18000    90000 | 2147483647    72981    126 |  0.000 % |
399.10/399.37	c |    611853 |     900    18000    90000 | 2147483647    74675    126 |  0.000 % |
400.40/400.60	c |    613716 |     900    18000    90000 | 2147483647    76538    126 |  0.000 % |
401.70/401.99	c |    615765 |     900    18000    90000 | 2147483647    78587    126 |  0.000 % |
403.30/403.54	c |    618018 |     900    18000    90000 | 2147483647    80840    126 |  0.000 % |
405.20/405.41	c |    620497 |     900    18000    90000 |    82822    74601    127 |  0.000 % |
406.90/407.17	c |    623222 |     900    18000    90000 |    82822    77326    127 |  0.000 % |
408.90/409.16	c |    626219 |     900    18000    90000 |    82822    80323    127 |  0.000 % |
411.39/411.62	c |    629517 |     900    18000    90000 |    82822    74578    127 |  0.000 % |
413.59/413.84	c |    633142 |     900    18000    90000 |    75061    70145    127 |  0.000 % |
416.09/416.36	c |    637129 |     900    18000    90000 |    75061    74132    127 |  0.000 % |
418.90/419.16	c |    641514 |     900    18000    90000 | 2147483647    70981    127 |  0.000 % |
421.99/422.26	c |    646337 |     900    18000    90000 | 2147483647    75804    127 |  0.000 % |
425.69/425.95	c |    651642 |     900    18000    90000 |    79471    72760    127 |  0.000 % |
429.49/429.79	c |    657477 |     900    18000    90000 |    79471    78595    127 |  0.000 % |
429.59/429.87	c |    657577 |     900    18000    90000 |    79471    78695    127 |  0.000 % |
429.68/429.96	c |    657689 |     900    18000    90000 |    79471    78807    127 |  0.000 % |
429.79/430.05	c |    657810 |     900    18000    90000 |    79471    78928    127 |  0.000 % |
429.89/430.14	c |    657944 |     900    18000    90000 |    79471    79062    127 |  0.000 % |
429.98/430.26	c |    658090 |     900    18000    90000 |    79471    79208    127 |  0.000 % |
430.18/430.40	c |    658253 |     900    18000    90000 |    79471    79371    127 |  0.000 % |
430.28/430.54	c |    658430 |     900    18000    90000 |    79471    79548    127 |  0.000 % |
430.48/430.74	c |    658626 |     900    18000    90000 |    79471    71436    127 |  0.000 % |
430.58/430.87	c |    658838 |     900    18000    90000 |    79471    71648    127 |  0.000 % |
430.78/431.04	c |    659072 |     900    18000    90000 |    79471    71882    127 |  0.000 % |
430.99/431.25	c |    659329 |     900    18000    90000 |    79471    72139    127 |  0.000 % |
431.18/431.45	c |    659610 |     900    18000    90000 |    79471    72420    126 |  0.000 % |
431.38/431.64	c |    659919 |     900    18000    90000 |    79471    72729    126 |  0.000 % |
431.58/431.87	c |    660260 |     900    18000    90000 |    72811    73070    126 |  0.000 % |
431.88/432.14	c |    660632 |     900    18000    90000 |    72811    65839    126 |  0.000 % |
432.18/432.42	c |    661043 |     900    18000    90000 |    72811    66250    126 |  0.000 % |
432.48/432.74	c |    661493 |     900    18000    90000 |    72811    66700    126 |  0.000 % |
432.78/433.05	c |    661987 |     900    18000    90000 |    72811    67194    126 |  0.000 % |
433.09/433.39	c |    662531 |     900    18000    90000 |    72811    67738    126 |  0.000 % |
433.58/433.80	c |    663127 |     900    18000    90000 |    72811    68334    126 |  0.000 % |
433.98/434.22	c |    663782 |     900    18000    90000 |    72811    68989    126 |  0.000 % |
434.38/434.67	c |    664502 |     900    18000    90000 |    72811    69709    126 |  0.000 % |
434.88/435.19	c |    665294 |     900    18000    90000 |    72811    70501    126 |  0.000 % |
435.48/435.72	c |    666165 |     900    18000    90000 |    72811    71372    126 |  0.000 % |
436.08/436.31	c |    667123 |     900    18000    90000 |    72811    72330    126 |  0.000 % |
436.78/437.00	c |    668176 |     900    18000    90000 |    72811    66069    127 |  0.000 % |
437.38/437.66	c |    669334 |     900    18000    90000 |    72811    67227    127 |  0.000 % |
438.18/438.41	c |    670608 |     900    18000    90000 | 2147483647    68501    127 |  0.000 % |
438.98/439.29	c |    672010 |     900    18000    90000 | 2147483647    69903    126 |  0.000 % |
440.08/440.31	c |    673551 |     900    18000    90000 | 2147483647    71444    127 |  0.000 % |
441.18/441.50	c |    675247 |     900    18000    90000 | 2147483647    73140    126 |  0.000 % |
442.48/442.76	c |    677110 |     900    18000    90000 | 2147483647    75003    127 |  0.000 % |
443.78/444.09	c |    679159 |     900    18000    90000 | 2147483647    77052    127 |  0.000 % |
445.38/445.62	c |    681412 |     900    18000    90000 | 2147483647    79305    127 |  0.000 % |
446.98/447.29	c |    683890 |     900    18000    90000 | 2147483647    81783    127 |  0.000 % |
449.08/449.30	c |    686615 |     900    18000    90000 | 2147483647    84508    127 |  0.000 % |
451.28/451.51	c |    689614 |     900    18000    90000 | 2147483647    87507    127 |  0.000 % |
453.77/454.01	c |    692910 |     900    18000    90000 |    87894    80483    127 |  0.000 % |
456.28/456.53	c |    696535 |     900    18000    90000 |    87894    84108    127 |  0.000 % |
459.27/459.59	c |    700524 |     900    18000    90000 |    87574    76440    127 |  0.000 % |
462.27/462.56	c |    704911 |     900    18000    90000 |    87574    80827    127 |  0.000 % |
465.87/466.16	c |    709734 |     900    18000    90000 |    87574    85650    127 |  0.000 % |
469.87/470.16	c |    715041 |     900    18000    90000 |    85917    80112    127 |  0.000 % |
474.07/474.34	c |    720876 |     900    18000    90000 |    85071    74456    127 |  0.000 % |
478.27/478.60	c |    727296 |     900    18000    90000 |    85071    80876    127 |  0.000 % |
478.37/478.67	c |    727396 |     900    18000    90000 |    85071    80976    127 |  0.000 % |
478.47/478.75	c |    727508 |     900    18000    90000 |    85071    81088    127 |  0.000 % |
478.57/478.87	c |    727629 |     900    18000    90000 |    85071    81209    127 |  0.000 % |
478.67/478.98	c |    727762 |     900    18000    90000 |    85071    81342    127 |  0.000 % |
478.87/479.10	c |    727909 |     900    18000    90000 |    85071    81489    127 |  0.000 % |
478.97/479.23	c |    728070 |     900    18000    90000 |    85071    81650    127 |  0.000 % |
479.16/479.40	c |    728248 |     900    18000    90000 |    85071    81828    127 |  0.000 % |
479.27/479.54	c |    728441 |     900    18000    90000 |    85071    82021    127 |  0.000 % |
479.46/479.71	c |    728653 |     900    18000    90000 |    85071    82233    127 |  0.000 % |
479.56/479.88	c |    728886 |     900    18000    90000 |    85071    82466    127 |  0.000 % |
479.76/480.06	c |    729142 |     900    18000    90000 |    85071    82722    127 |  0.000 % |
479.96/480.28	c |    729425 |     900    18000    90000 |    85071    83005    127 |  0.000 % |
480.26/480.50	c |    729735 |     900    18000    90000 |    85071    83315    127 |  0.000 % |
480.47/480.74	c |    730075 |     900    18000    90000 |    83580    83655    127 |  0.000 % |
480.76/481.07	c |    730448 |     900    18000    90000 |    83580    73487    126 |  0.000 % |
481.06/481.35	c |    730858 |     900    18000    90000 |    83580    73897    126 |  0.000 % |
481.36/481.68	c |    731308 |     900    18000    90000 |    83580    74347    126 |  0.000 % |
481.76/482.04	c |    731801 |     900    18000    90000 |    83580    74840    126 |  0.000 % |
482.16/482.43	c |    732343 |     900    18000    90000 |    83580    75382    126 |  0.000 % |
482.57/482.81	c |    732939 |     900    18000    90000 |    83580    75978    126 |  0.000 % |
482.96/483.26	c |    733594 |     900    18000    90000 |    83580    76633    126 |  0.000 % |
483.46/483.78	c |    734315 |     900    18000    90000 |    83580    77354    126 |  0.000 % |
484.06/484.32	c |    735108 |     900    18000    90000 |    83580    78147    126 |  0.000 % |
484.66/484.95	c |    735979 |     900    18000    90000 |    83580    79018    126 |  0.000 % |
485.26/485.59	c |    736938 |     900    18000    90000 |    83580    79977    126 |  0.000 % |
485.97/486.27	c |    737993 |     900    18000    90000 |    83580    81032    126 |  0.000 % |
486.86/487.10	c |    739151 |     900    18000    90000 |    83580    82190    126 |  0.000 % |
487.86/488.11	c |    740427 |     900    18000    90000 |    83039    74228    127 |  0.000 % |
488.76/489.01	c |    741829 |     900    18000    90000 |    83039    75630    126 |  0.000 % |
489.76/490.03	c |    743369 |     900    18000    90000 |    83039    77170    126 |  0.000 % |
490.86/491.16	c |    745064 |     900    18000    90000 |    83039    78865    126 |  0.000 % |
492.26/492.51	c |    746927 |     900    18000    90000 |    83039    80728    126 |  0.000 % |
493.66/493.92	c |    748976 |     900    18000    90000 |    83039    82777    126 |  0.000 % |
495.16/495.48	c |    751231 |     900    18000    90000 |    74416    67481    126 |  0.000 % |
496.66/496.94	c |    753709 |     900    18000    90000 |    74416    69959    126 |  0.000 % |
498.36/498.63	c |    756435 |     900    18000    90000 |    74416    72685    126 |  0.000 % |
500.26/500.56	c |    759432 |     900    18000    90000 |    74416    68208    125 |  0.000 % |
502.26/502.54	c |    762728 |     900    18000    90000 | 2147483647    71504    125 |  0.000 % |
504.56/504.90	c |    766353 |     900    18000    90000 | 2147483647    75129    126 |  0.000 % |
507.25/507.50	c |    770342 |     900    18000    90000 | 2147483647    79118    125 |  0.000 % |
510.25/510.50	c |    774728 |     900    18000    90000 | 2147483647    83504    126 |  0.000 % |
513.85/514.18	c |    779552 |     900    18000    90000 | 2147483647    88328    126 |  0.000 % |
517.85/518.10	c |    784858 |     900    18000    90000 |    88776    82286    126 |  0.000 % |
521.96/522.26	c |    790694 |     900    18000    90000 |    87428    75686    127 |  0.000 % |
526.26/526.55	c |    797113 |     900    18000    90000 |    87428    82105    127 |  0.000 % |
531.46/531.76	c |    804176 |     900    18000    90000 |    84993    78131    127 |  0.000 % |
531.56/531.84	c |    804276 |     900    18000    90000 |    84993    78231    127 |  0.000 % |
531.66/531.92	c |    804386 |     900    18000    90000 |    84993    78341    127 |  0.000 % |
531.76/532.02	c |    804507 |     900    18000    90000 |    84993    78462    127 |  0.000 % |
531.86/532.14	c |    804640 |     900    18000    90000 |    84993    78595    127 |  0.000 % |
531.96/532.25	c |    804786 |     900    18000    90000 |    84993    78741    127 |  0.000 % |
532.06/532.38	c |    804947 |     900    18000    90000 |    84993    78902    127 |  0.000 % |
532.26/532.53	c |    805123 |     900    18000    90000 |    84993    79078    127 |  0.000 % |
532.36/532.67	c |    805316 |     900    18000    90000 |    84993    79271    127 |  0.000 % |
532.56/532.81	c |    805528 |     900    18000    90000 |    84993    79483    127 |  0.000 % |
532.66/532.99	c |    805761 |     900    18000    90000 |    84993    79716    127 |  0.000 % |
532.86/533.18	c |    806019 |     900    18000    90000 |    84993    79974    127 |  0.000 % |
533.16/533.40	c |    806301 |     900    18000    90000 |    84993    80256    127 |  0.000 % |
533.35/533.64	c |    806612 |     900    18000    90000 |    84993    80567    127 |  0.000 % |
533.55/533.86	c |    806951 |     900    18000    90000 |    84993    80906    127 |  0.000 % |
533.85/534.15	c |    807324 |     900    18000    90000 |    84993    81279    127 |  0.000 % |
534.15/534.46	c |    807733 |     900    18000    90000 |    84993    81688    127 |  0.000 % |
534.45/534.79	c |    808182 |     900    18000    90000 |    84993    82137    127 |  0.000 % |
534.85/535.17	c |    808676 |     900    18000    90000 |    84993    82631    126 |  0.000 % |
535.36/535.60	c |    809218 |     900    18000    90000 |    84993    83173    126 |  0.000 % |
535.75/536.06	c |    809816 |     900    18000    90000 |    84993    83771    126 |  0.000 % |
536.35/536.63	c |    810472 |     900    18000    90000 |    83955    74005    127 |  0.000 % |
536.85/537.10	c |    811192 |     900    18000    90000 |    83955    74725    127 |  0.000 % |
537.35/537.67	c |    811985 |     900    18000    90000 |    83955    75518    127 |  0.000 % |
537.85/538.19	c |    812856 |     900    18000    90000 |    83955    76389    127 |  0.000 % |
538.55/538.84	c |    813814 |     900    18000    90000 |    83955    77347    127 |  0.000 % |
539.25/539.53	c |    814867 |     900    18000    90000 |    83955    78400    127 |  0.000 % |
539.95/540.29	c |    816025 |     900    18000    90000 |    83955    79558    127 |  0.000 % |
540.85/541.17	c |    817298 |     900    18000    90000 |    83955    80831    127 |  0.000 % |
541.95/542.21	c |    818700 |     900    18000    90000 |    83955    82233    127 |  0.000 % |
543.05/543.34	c |    820240 |     900    18000    90000 |    83533    83773    127 |  0.000 % |
544.15/544.47	c |    821935 |     900    18000    90000 |    83533    75572    128 |  0.000 % |
545.45/545.72	c |    823799 |     900    18000    90000 |    83533    77436    127 |  0.000 % |
546.85/547.18	c |    825848 |     900    18000    90000 |    83533    79485    127 |  0.000 % |
548.55/548.83	c |    828102 |     900    18000    90000 |    83533    81739    127 |  0.000 % |
550.25/550.53	c |    830580 |     900    18000    90000 |    83639    74506    127 |  0.000 % |
551.95/552.28	c |    833307 |     900    18000    90000 |    83639    77233    127 |  0.000 % |
553.95/554.29	c |    836305 |     900    18000    90000 |    83639    80231    127 |  0.000 % |
556.25/556.53	c |    839601 |     900    18000    90000 |    83639    83527    128 |  0.000 % |
558.74/559.04	c |    843226 |     900    18000    90000 |    83926    77708    128 |  0.000 % |
561.44/561.76	c |    847214 |     900    18000    90000 |    83926    81696    128 |  0.000 % |
564.44/564.78	c |    851600 |     900    18000    90000 |    75354    68914    128 |  0.000 % |
567.54/567.85	c |    856427 |     900    18000    90000 |    75354    73741    128 |  0.000 % |
571.04/571.30	c |    861732 |     900    18000    90000 | 2147483647    71480    128 |  0.000 % |
574.94/575.23	c |    867569 |     900    18000    90000 | 2147483647    77317    128 |  0.000 % |
579.14/579.42	c |    873988 |     900    18000    90000 | 2147483647    83736    128 |  0.000 % |
584.33/584.63	c |    881048 |     900    18000    90000 |    89749    78119    127 |  0.000 % |
589.63/589.93	c |    888813 |     900    18000    90000 |    89749    85884    128 |  0.000 % |
589.73/590.01	c |    888915 |     900    18000    90000 |    89749    85986    128 |  0.000 % |
589.83/590.11	c |    889026 |     900    18000    90000 |    89749    86097    128 |  0.000 % |
589.93/590.24	c |    889148 |     900    18000    90000 |    89749    86219    128 |  0.000 % |
590.03/590.37	c |    889281 |     900    18000    90000 |    89749    86352    128 |  0.000 % |
590.13/590.48	c |    889430 |     900    18000    90000 |    89749    86501    128 |  0.000 % |
590.33/590.62	c |    889591 |     900    18000    90000 |    89749    86662    127 |  0.000 % |
590.43/590.78	c |    889767 |     900    18000    90000 |    89749    86838    127 |  0.000 % |
590.63/590.95	c |    889960 |     900    18000    90000 |    89749    87031    127 |  0.000 % |
590.83/591.13	c |    890172 |     900    18000    90000 |    87072    87243    127 |  0.000 % |
591.03/591.35	c |    890406 |     900    18000    90000 |    87072    75012    128 |  0.000 % |
591.23/591.53	c |    890665 |     900    18000    90000 |    87072    75271    128 |  0.000 % |
591.43/591.73	c |    890948 |     900    18000    90000 |    87072    75554    128 |  0.000 % |
591.63/591.95	c |    891257 |     900    18000    90000 |    87072    75863    128 |  0.000 % |
591.83/592.18	c |    891596 |     900    18000    90000 |    87072    76202    128 |  0.000 % |
592.13/592.48	c |    891968 |     900    18000    90000 |    87072    76574    128 |  0.000 % |
592.42/592.79	c |    892377 |     900    18000    90000 |    87072    76983    128 |  0.000 % |
592.82/593.11	c |    892826 |     900    18000    90000 |    87072    77432    128 |  0.000 % |
593.12/593.46	c |    893322 |     900    18000    90000 |    87072    77928    128 |  0.000 % |
593.52/593.86	c |    893864 |     900    18000    90000 |    87072    78470    128 |  0.000 % |
593.92/594.25	c |    894460 |     900    18000    90000 |    87072    79066    128 |  0.000 % |
594.42/594.71	c |    895115 |     900    18000    90000 |    87072    79721    128 |  0.000 % |
594.92/595.20	c |    895836 |     900    18000    90000 |    87072    80442    128 |  0.000 % |
595.42/595.77	c |    896629 |     900    18000    90000 |    87072    81235    128 |  0.000 % |
596.12/596.43	c |    897502 |     900    18000    90000 |    87072    82108    128 |  0.000 % |
596.82/597.17	c |    898461 |     900    18000    90000 |    87072    83067    128 |  0.000 % |
597.62/597.96	c |    899515 |     900    18000    90000 |    87072    84121    128 |  0.000 % |
598.52/598.86	c |    900673 |     900    18000    90000 |    84606    73742    128 |  0.000 % |
599.32/599.66	c |    901946 |     900    18000    90000 |    84606    75015    128 |  0.000 % |
600.22/600.58	c |    903346 |     900    18000    90000 |    84606    76415    128 |  0.000 % |
601.22/601.55	c |    904887 |     900    18000    90000 |    84606    77956    128 |  0.000 % |
602.32/602.66	c |    906581 |     900    18000    90000 |    84606    79650    128 |  0.000 % |
603.72/604.00	c |    908445 |     900    18000    90000 |    84606    81514    128 |  0.000 % |
605.22/605.58	c |    910497 |     900    18000    90000 |    83071    74050    128 |  0.000 % |
606.82/607.14	c |    912753 |     900    18000    90000 |    83071    76306    128 |  0.000 % |
608.42/608.78	c |    915233 |     900    18000    90000 |    83071    78786    128 |  0.000 % |
610.32/610.67	c |    917959 |     900    18000    90000 |    83071    81512    128 |  0.000 % |
612.42/612.72	c |    920956 |     900    18000    90000 |    74231    67071    127 |  0.000 % |
614.32/614.69	c |    924252 |     900    18000    90000 |    74231    70367    127 |  0.000 % |
616.72/617.09	c |    927878 |     900    18000    90000 |    74231    73993    128 |  0.000 % |
619.32/619.62	c |    931865 |     900    18000    90000 | 2147483647    70526    128 |  0.000 % |
622.22/622.56	c |    936250 |     900    18000    90000 | 2147483647    74911    128 |  0.000 % |
625.71/626.00	c |    941075 |     900    18000    90000 | 2147483647    79736    128 |  0.000 % |
629.51/629.88	c |    946380 |     900    18000    90000 | 2147483647    85041    128 |  0.000 % |
634.12/634.48	c |    952215 |     900    18000    90000 |    88661    78487    128 |  0.000 % |
638.62/639.00	c |    958634 |     900    18000    90000 |    88661    84906    128 |  0.000 % |
643.62/643.95	c |    965695 |     900    18000    90000 |    86273    80404    128 |  0.000 % |
649.02/649.31	c |    973459 |     900    18000    90000 |    84709    78323    129 |  0.000 % |
655.71/656.04	c |    981999 |     900    18000    90000 |    84865    76675    132 |  0.000 % |
655.81/656.11	c |    982101 |     900    18000    90000 |    84865    76777    132 |  0.000 % |
655.81/656.18	c |    982212 |     900    18000    90000 |    84865    76888    132 |  0.000 % |
655.92/656.28	c |    982333 |     900    18000    90000 |    84865    77009    132 |  0.000 % |
656.02/656.40	c |    982466 |     900    18000    90000 |    84865    77142    132 |  0.000 % |
656.22/656.50	c |    982613 |     900    18000    90000 |    84865    77289    132 |  0.000 % |
656.32/656.61	c |    982773 |     900    18000    90000 |    84865    77449    131 |  0.000 % |
656.42/656.74	c |    982950 |     900    18000    90000 |    84865    77626    131 |  0.000 % |
656.61/656.90	c |    983144 |     900    18000    90000 |    84865    77820    131 |  0.000 % |
656.71/657.06	c |    983358 |     900    18000    90000 |    84865    78034    131 |  0.000 % |
656.91/657.23	c |    983592 |     900    18000    90000 |    84865    78268    131 |  0.000 % |
657.11/657.46	c |    983851 |     900    18000    90000 |    84865    78527    131 |  0.000 % |
657.31/657.67	c |    984133 |     900    18000    90000 |    84865    78809    131 |  0.000 % |
657.61/657.90	c |    984442 |     900    18000    90000 |    84865    79118    131 |  0.000 % |
657.81/658.14	c |    984781 |     900    18000    90000 |    84865    79457    131 |  0.000 % |
658.01/658.37	c |    985154 |     900    18000    90000 |    84865    79830    131 |  0.000 % |
658.31/658.67	c |    985567 |     900    18000    90000 |    84865    80243    131 |  0.000 % |
658.71/659.03	c |    986016 |     900    18000    90000 |    84865    80692    131 |  0.000 % |
659.11/659.40	c |    986509 |     900    18000    90000 |    84865    81185    131 |  0.000 % |
659.51/659.82	c |    987052 |     900    18000    90000 |    84865    81728    131 |  0.000 % |
659.91/660.29	c |    987651 |     900    18000    90000 |    84865    82327    131 |  0.000 % |
660.41/660.77	c |    988307 |     900    18000    90000 |    84865    82983    131 |  0.000 % |
660.91/661.26	c |    989028 |     900    18000    90000 |    84865    83704    130 |  0.000 % |
661.51/661.89	c |    989821 |     900    18000    90000 |    84865    84497    130 |  0.000 % |
662.31/662.61	c |    990693 |     900    18000    90000 |    84676    73652    131 |  0.000 % |
662.91/663.27	c |    991651 |     900    18000    90000 |    84676    74610    130 |  0.000 % |
663.61/663.99	c |    992705 |     900    18000    90000 |    84676    75664    130 |  0.000 % |
664.51/664.82	c |    993864 |     900    18000    90000 |    84676    76823    130 |  0.000 % |
665.31/665.65	c |    995138 |     900    18000    90000 |    84676    78097    130 |  0.000 % |
666.31/666.60	c |    996540 |     900    18000    90000 |    84676    79499    130 |  0.000 % |
667.31/667.70	c |    998080 |     900    18000    90000 |    84676    81039    130 |  0.000 % |
668.61/668.98	c |    999774 |     900    18000    90000 |    84676    82733    130 |  0.000 % |
670.01/670.32	c |   1001640 |     900    18000    90000 |    82959    73827    129 |  0.000 % |
671.31/671.63	c |   1003695 |     900    18000    90000 |    82959    75882    129 |  0.000 % |
672.81/673.19	c |   1005949 |     900    18000    90000 |    82959    78136    129 |  0.000 % |
674.51/674.90	c |   1008428 |     900    18000    90000 |    82959    80615    129 |  0.000 % |
676.41/676.76	c |   1011154 |     900    18000    90000 |    82191    73566    129 |  0.000 % |
678.41/678.72	c |   1014154 |     900    18000    90000 |    82191    76566    129 |  0.000 % |
680.70/681.06	c |   1017451 |     900    18000    90000 |    82191    79863    128 |  0.000 % |
683.40/683.75	c |   1021077 |     900    18000    90000 |    82417    73433    128 |  0.000 % |
686.01/686.38	c |   1025064 |     900    18000    90000 |    82417    77420    128 |  0.000 % |
689.10/689.40	c |   1029449 |     900    18000    90000 |    82417    81805    128 |  0.000 % |
692.20/692.58	c |   1034272 |     900    18000    90000 |    82356    77152    128 |  0.000 % |
695.90/696.26	c |   1039579 |     900    18000    90000 |    82356    82459    128 |  0.000 % |
699.60/699.96	c |   1045414 |     900    18000    90000 |    73772    70974    128 |  0.000 % |
703.80/704.15	c |   1051832 |     900    18000    90000 | 2147483647    69984    127 |  0.000 % |
708.39/708.78	c |   1058891 |     900    18000    90000 | 2147483647    77043    127 |  0.000 % |
714.19/714.58	c |   1066655 |     900    18000    90000 | 2147483647    84807    127 |  0.000 % |
720.99/721.30	c |   1075195 |     900    18000    90000 |    88152    81499    129 |  0.000 % |
728.29/728.64	c |   1084589 |     900    18000    90000 |    86304    78923    130 |  0.000 % |
728.39/728.72	c |   1084691 |     900    18000    90000 |    86304    79025    130 |  0.000 % |
728.49/728.80	c |   1084802 |     900    18000    90000 |    86304    79136    130 |  0.000 % |
728.49/728.89	c |   1084923 |     900    18000    90000 |    86304    79257    130 |  0.000 % |
728.68/729.00	c |   1085057 |     900    18000    90000 |    86304    79391    130 |  0.000 % |
728.78/729.13	c |   1085203 |     900    18000    90000 |    86304    79537    130 |  0.000 % |
728.89/729.26	c |   1085364 |     900    18000    90000 |    86304    79698    130 |  0.000 % |
729.08/729.41	c |   1085541 |     900    18000    90000 |    86304    79875    130 |  0.000 % |
729.18/729.58	c |   1085736 |     900    18000    90000 |    86304    80070    130 |  0.000 % |
729.38/729.76	c |   1085949 |     900    18000    90000 |    86304    80283    130 |  0.000 % |
729.58/729.94	c |   1086183 |     900    18000    90000 |    86304    80517    130 |  0.000 % |
729.78/730.15	c |   1086441 |     900    18000    90000 |    86304    80775    130 |  0.000 % |
729.99/730.34	c |   1086723 |     900    18000    90000 |    86304    81057    130 |  0.000 % |
730.18/730.56	c |   1087033 |     900    18000    90000 |    86304    81367    130 |  0.000 % |
730.48/730.86	c |   1087373 |     900    18000    90000 |    86304    81707    130 |  0.000 % |
730.78/731.14	c |   1087746 |     900    18000    90000 |    86304    82080    130 |  0.000 % |
731.09/731.44	c |   1088156 |     900    18000    90000 |    86304    82490    130 |  0.000 % |
731.38/731.77	c |   1088606 |     900    18000    90000 |    86304    82940    130 |  0.000 % |
731.78/732.12	c |   1089099 |     900    18000    90000 |    86304    83433    130 |  0.000 % |
732.19/732.56	c |   1089642 |     900    18000    90000 |    86304    83976    130 |  0.000 % |
732.68/733.01	c |   1090240 |     900    18000    90000 |    84334    84574    130 |  0.000 % |
733.08/733.48	c |   1090895 |     900    18000    90000 |    84334    73350    130 |  0.000 % |
733.58/733.95	c |   1091618 |     900    18000    90000 |    84334    74073    130 |  0.000 % |
734.08/734.48	c |   1092412 |     900    18000    90000 |    84334    74867    130 |  0.000 % |
734.68/735.06	c |   1093283 |     900    18000    90000 |    84334    75738    130 |  0.000 % |
735.28/735.68	c |   1094242 |     900    18000    90000 |    84334    76697    130 |  0.000 % |
735.98/736.38	c |   1095295 |     900    18000    90000 |    84334    77750    130 |  0.000 % |
736.78/737.17	c |   1096453 |     900    18000    90000 |    84334    78908    130 |  0.000 % |
737.68/738.06	c |   1097728 |     900    18000    90000 |    84334    80183    130 |  0.000 % |
738.68/739.01	c |   1099128 |     900    18000    90000 |    84334    81583    130 |  0.000 % |
739.68/740.09	c |   1100669 |     900    18000    90000 |    82455    73778    129 |  0.000 % |
740.78/741.15	c |   1102364 |     900    18000    90000 |    82455    75473    129 |  0.000 % |
741.98/742.36	c |   1104228 |     900    18000    90000 |    82455    77337    130 |  0.000 % |
743.38/743.75	c |   1106279 |     900    18000    90000 |    82455    79388    130 |  0.000 % |
744.98/745.30	c |   1108532 |     900    18000    90000 |    82455    81641    129 |  0.000 % |
746.68/747.07	c |   1111010 |     900    18000    90000 |    74409    67590    129 |  0.000 % |
748.38/748.74	c |   1113735 |     900    18000    90000 |    74409    70315    129 |  0.000 % |
750.18/750.58	c |   1116733 |     900    18000    90000 |    74409    73313    129 |  0.000 % |
752.37/752.73	c |   1120030 |     900    18000    90000 | 2147483647    69137    128 |  0.000 % |
754.57/754.92	c |   1123656 |     900    18000    90000 | 2147483647    72763    128 |  0.000 % |
757.17/757.58	c |   1127643 |     900    18000    90000 | 2147483647    76750    128 |  0.000 % |
760.07/760.49	c |   1132029 |     900    18000    90000 | 2147483647    81136    128 |  0.000 % |
763.57/763.97	c |   1136852 |     900    18000    90000 | 2147483647    85959    128 |  0.000 % |
767.57/767.92	c |   1142157 |     900    18000    90000 |    89109    79165    128 |  0.000 % |
771.87/772.24	c |   1147992 |     900    18000    90000 |    89109    85000    128 |  0.000 % |
776.57/776.96	c |   1154411 |     900    18000    90000 |    87008    79912    128 |  0.000 % |
781.77/782.15	c |   1161471 |     900    18000    90000 |    85502    76063    128 |  0.000 % |
787.66/788.01	c |   1169235 |     900    18000    90000 |    85502    83827    127 |  0.000 % |
793.96/794.33	c |   1177775 |     900    18000    90000 |    84592    80909    129 |  0.000 % |
801.16/801.56	c |   1187169 |     900    18000    90000 |    83134    80103    130 |  0.000 % |
809.55/809.94	c |   1197502 |     900    18000    90000 |    82934    79794    130 |  0.000 % |
809.65/810.02	c |   1197602 |     900    18000    90000 |    82934    79894    130 |  0.000 % |
809.75/810.11	c |   1197712 |     900    18000    90000 |    82934    80004    130 |  0.000 % |
809.85/810.20	c |   1197833 |     900    18000    90000 |    82934    80125    130 |  0.000 % |
809.95/810.31	c |   1197968 |     900    18000    90000 |    82934    80260    130 |  0.000 % |
810.06/810.44	c |   1198114 |     900    18000    90000 |    82934    80406    130 |  0.000 % |
810.16/810.56	c |   1198274 |     900    18000    90000 |    82934    80566    130 |  0.000 % |
810.26/810.70	c |   1198450 |     900    18000    90000 |    82934    80742    129 |  0.000 % |
810.46/810.86	c |   1198645 |     900    18000    90000 |    82934    80937    129 |  0.000 % |
810.66/811.02	c |   1198857 |     900    18000    90000 |    82934    81149    129 |  0.000 % |
810.75/811.19	c |   1199090 |     900    18000    90000 |    82934    81382    129 |  0.000 % |
811.05/811.41	c |   1199348 |     900    18000    90000 |    82934    81640    129 |  0.000 % |
811.25/811.63	c |   1199631 |     900    18000    90000 |    82934    81923    129 |  0.000 % |
811.46/811.89	c |   1199941 |     900    18000    90000 |    82934    82233    129 |  0.000 % |
811.75/812.14	c |   1200280 |     900    18000    90000 |    82292    82572    129 |  0.000 % |
812.05/812.43	c |   1200654 |     900    18000    90000 |    82292    71844    129 |  0.000 % |
812.25/812.68	c |   1201067 |     900    18000    90000 |    82292    72257    129 |  0.000 % |
812.65/813.00	c |   1201517 |     900    18000    90000 |    82292    72707    129 |  0.000 % |
812.95/813.34	c |   1202010 |     900    18000    90000 |    82292    73200    129 |  0.000 % |
813.35/813.74	c |   1202552 |     900    18000    90000 |    82292    73742    129 |  0.000 % |
813.85/814.23	c |   1203151 |     900    18000    90000 |    82292    74341    129 |  0.000 % |
814.35/814.70	c |   1203806 |     900    18000    90000 |    82292    74996    129 |  0.000 % |
814.76/815.19	c |   1204527 |     900    18000    90000 |    82292    75717    129 |  0.000 % |
815.35/815.75	c |   1205320 |     900    18000    90000 |    82292    76510    129 |  0.000 % |
815.95/816.32	c |   1206192 |     900    18000    90000 |    82292    77382    129 |  0.000 % |
816.55/816.94	c |   1207153 |     900    18000    90000 |    82292    78343    129 |  0.000 % |
817.25/817.67	c |   1208206 |     900    18000    90000 |    82292    79396    129 |  0.000 % |
818.15/818.50	c |   1209368 |     900    18000    90000 |    82292    80558    129 |  0.000 % |
819.05/819.44	c |   1210642 |     900    18000    90000 |    81190    72730    129 |  0.000 % |
819.95/820.38	c |   1212044 |     900    18000    90000 |    81190    74132    128 |  0.000 % |
821.05/821.45	c |   1213584 |     900    18000    90000 |    81190    75672    128 |  0.000 % |
822.25/822.62	c |   1215280 |     900    18000    90000 |    81190    77368    128 |  0.000 % |
823.45/823.81	c |   1217144 |     900    18000    90000 |    81190    79232    128 |  0.000 % |
824.85/825.27	c |   1219194 |     900    18000    90000 |    81190    81282    128 |  0.000 % |
826.45/826.82	c |   1221447 |     900    18000    90000 |    73595    67650    128 |  0.000 % |
827.95/828.36	c |   1223925 |     900    18000    90000 |    73595    70128    128 |  0.000 % |
829.85/830.25	c |   1226651 |     900    18000    90000 |    73595    72854    128 |  0.000 % |
831.85/832.20	c |   1229648 |     900    18000    90000 |    73595    68461    128 |  0.000 % |
833.95/834.39	c |   1232944 |     900    18000    90000 | 2147483647    71757    128 |  0.000 % |
836.44/836.85	c |   1236570 |     900    18000    90000 | 2147483647    75383    128 |  0.000 % |
839.14/839.50	c |   1240557 |     900    18000    90000 | 2147483647    79370    128 |  0.000 % |
842.15/842.52	c |   1244942 |     900    18000    90000 | 2147483647    83755    128 |  0.000 % |
845.64/846.03	c |   1249766 |     900    18000    90000 | 2147483647    88579    128 |  0.000 % |
849.55/849.98	c |   1255071 |     900    18000    90000 |    88814    82266    129 |  0.000 % |
853.75/854.14	c |   1260906 |     900    18000    90000 |    87195    76463    128 |  0.000 % |
858.05/858.48	c |   1267326 |     900    18000    90000 |    87195    82883    128 |  0.000 % |
863.24/863.65	c |   1274387 |     900    18000    90000 |    85561    79043    128 |  0.000 % |
869.14/869.54	c |   1282151 |     900    18000    90000 |    84656    76310    130 |  0.000 % |
875.44/875.86	c |   1290692 |     900    18000    90000 |    84160    73941    130 |  0.000 % |
882.24/882.68	c |   1300086 |     900    18000    90000 |    83249    83335    130 |  0.000 % |
889.44/889.81	c |   1310421 |     900    18000    90000 |    83546    73290    130 |  0.000 % |
897.14/897.53	c |   1321789 |     900    18000    90000 |    82872    74095    130 |  0.000 % |
897.14/897.59	c |   1321891 |     900    18000    90000 |    82872    74197    130 |  0.000 % |
897.24/897.67	c |   1322001 |     900    18000    90000 |    82872    74307    130 |  0.000 % |
897.33/897.78	c |   1322123 |     900    18000    90000 |    82872    74429    130 |  0.000 % |
897.43/897.89	c |   1322256 |     900    18000    90000 |    82872    74562    130 |  0.000 % |
897.63/898.00	c |   1322402 |     900    18000    90000 |    82872    74708    130 |  0.000 % |
897.73/898.13	c |   1322562 |     900    18000    90000 |    82872    74868    130 |  0.000 % |
897.83/898.28	c |   1322740 |     900    18000    90000 |    82872    75046    130 |  0.000 % |
898.03/898.43	c |   1322934 |     900    18000    90000 |    82872    75240    130 |  0.000 % |
898.13/898.60	c |   1323147 |     900    18000    90000 |    82872    75453    130 |  0.000 % |
898.34/898.75	c |   1323383 |     900    18000    90000 |    82872    75689    130 |  0.000 % |
898.53/898.96	c |   1323640 |     900    18000    90000 |    82872    75946    130 |  0.000 % |
898.73/899.16	c |   1323923 |     900    18000    90000 |    82872    76229    129 |  0.000 % |
898.93/899.36	c |   1324232 |     900    18000    90000 |    82872    76538    129 |  0.000 % |
899.13/899.60	c |   1324571 |     900    18000    90000 |    82872    76877    129 |  0.000 % |
899.44/899.90	c |   1324943 |     900    18000    90000 |    82872    77249    129 |  0.000 % |
899.73/900.20	c |   1325353 |     900    18000    90000 |    82872    77659    129 |  0.000 % |
900.13/900.55	c |   1325804 |     900    18000    90000 |    82872    78110    129 |  0.000 % |
900.43/900.90	c |   1326297 |     900    18000    90000 |    82872    78603    129 |  0.000 % |
900.83/901.29	c |   1326839 |     900    18000    90000 |    82872    79145    129 |  0.000 % |
901.33/901.76	c |   1327435 |     900    18000    90000 |    82872    79741    129 |  0.000 % |
901.83/902.25	c |   1328091 |     900    18000    90000 |    82872    80397    129 |  0.000 % |
902.43/902.86	c |   1328811 |     900    18000    90000 |    82872    81117    129 |  0.000 % |
903.03/903.43	c |   1329603 |     900    18000    90000 |    82872    81909    129 |  0.000 % |
903.63/904.09	c |   1330474 |     900    18000    90000 |    82306    72141    128 |  0.000 % |
904.23/904.70	c |   1331433 |     900    18000    90000 |    82306    73100    128 |  0.000 % |
904.93/905.39	c |   1332486 |     900    18000    90000 |    82306    74153    128 |  0.000 % |
905.73/906.10	c |   1333644 |     900    18000    90000 |    82306    75311    128 |  0.000 % |
906.53/906.96	c |   1334920 |     900    18000    90000 |    82306    76587    128 |  0.000 % |
907.53/907.90	c |   1336320 |     900    18000    90000 |    82306    77987    128 |  0.000 % |
908.53/908.96	c |   1337861 |     900    18000    90000 |    82306    79528    128 |  0.000 % |
909.73/910.15	c |   1339555 |     900    18000    90000 |    82306    81222    128 |  0.000 % |
911.03/911.47	c |   1341420 |     900    18000    90000 |    81667    74222    128 |  0.000 % |
912.53/912.96	c |   1343470 |     900    18000    90000 |    81667    76272    128 |  0.000 % |
914.03/914.49	c |   1345725 |     900    18000    90000 |    81667    78527    129 |  0.000 % |
915.73/916.20	c |   1348203 |     900    18000    90000 |    81667    81005    128 |  0.000 % |
917.63/918.08	c |   1350928 |     900    18000    90000 |    73775    66759    128 |  0.000 % |
919.52/919.94	c |   1353925 |     900    18000    90000 |    73775    69756    127 |  0.000 % |
921.82/922.29	c |   1357222 |     900    18000    90000 |    73775    73053    128 |  0.000 % |
924.12/924.52	c |   1360847 |     900    18000    90000 | 2147483647    69271    128 |  0.000 % |
926.52/926.96	c |   1364840 |     900    18000    90000 | 2147483647    73264    128 |  0.000 % |
929.42/929.89	c |   1369225 |     900    18000    90000 | 2147483647    77649    128 |  0.000 % |
933.12/933.59	c |   1374048 |     900    18000    90000 | 2147483647    82472    128 |  0.000 % |
937.02/937.47	c |   1379353 |     900    18000    90000 | 2147483647    87777    129 |  0.000 % |
941.22/941.62	c |   1385188 |     900    18000    90000 |    88426    81524    129 |  0.000 % |
945.71/946.11	c |   1391606 |     900    18000    90000 |    86337    76155    128 |  0.000 % |
950.71/951.19	c |   1398666 |     900    18000    90000 |    86337    83215    129 |  0.000 % |
956.71/957.15	c |   1406431 |     900    18000    90000 |    84549    79647    131 |  0.000 % |
963.21/963.68	c |   1414971 |     900    18000    90000 |    83216    77730    132 |  0.000 % |
970.30/970.71	c |   1424365 |     900    18000    90000 |    82759    76930    132 |  0.000 % |
978.00/978.49	c |   1434698 |     900    18000    90000 |    82565    77339    133 |  0.000 % |
987.00/987.47	c |   1446064 |     900    18000    90000 |    82641    78724    134 |  0.000 % |
995.49/995.93	c |   1458567 |     900    18000    90000 |    82660    81020    134 |  0.000 % |
995.59/996.02	c |   1458667 |     900    18000    90000 |    82660    81120    134 |  0.000 % |
995.69/996.10	c |   1458778 |     900    18000    90000 |    82660    81231    134 |  0.000 % |
995.69/996.19	c |   1458900 |     900    18000    90000 |    82660    81353    134 |  0.000 % |
995.89/996.30	c |   1459035 |     900    18000    90000 |    82660    81488    134 |  0.000 % |
995.99/996.45	c |   1459183 |     900    18000    90000 |    82660    81636    134 |  0.000 % |
996.10/996.60	c |   1459343 |     900    18000    90000 |    82660    81796    134 |  0.000 % |
996.29/996.74	c |   1459520 |     900    18000    90000 |    82660    81973    134 |  0.000 % |
996.49/996.93	c |   1459714 |     900    18000    90000 |    82660    82167    134 |  0.000 % |
996.59/997.09	c |   1459926 |     900    18000    90000 |    82660    82379    134 |  0.000 % |
996.79/997.27	c |   1460162 |     900    18000    90000 |    82453    82615    134 |  0.000 % |
996.99/997.49	c |   1460418 |     900    18000    90000 |    82453    71805    134 |  0.000 % |
997.20/997.67	c |   1460699 |     900    18000    90000 |    82453    72086    134 |  0.000 % |
997.39/997.86	c |   1461008 |     900    18000    90000 |    82453    72395    134 |  0.000 % |
997.69/998.14	c |   1461348 |     900    18000    90000 |    82453    72735    134 |  0.000 % |
997.99/998.41	c |   1461721 |     900    18000    90000 |    82453    73108    134 |  0.000 % |
998.19/998.69	c |   1462130 |     900    18000    90000 |    82453    73517    134 |  0.000 % |
998.59/999.00	c |   1462579 |     900    18000    90000 |    82453    73966    133 |  0.000 % |
998.89/999.36	c |   1463072 |     900    18000    90000 |    82453    74459    133 |  0.000 % |
999.29/999.75	c |   1463614 |     900    18000    90000 |    82453    75001    133 |  0.000 % |
999.69/1000.14	c |   1464212 |     900    18000    90000 |    82453    75599    133 |  0.000 % |
1000.19/1000.62	c |   1464867 |     900    18000    90000 |    82453    76254    133 |  0.000 % |
1000.69/1001.11	c |   1465587 |     900    18000    90000 |    82453    76974    133 |  0.000 % |
1001.29/1001.74	c |   1466379 |     900    18000    90000 |    82453    77766    133 |  0.000 % |
1001.89/1002.32	c |   1467253 |     900    18000    90000 |    82453    78640    133 |  0.000 % |
1002.49/1002.97	c |   1468214 |     900    18000    90000 |    82453    79601    133 |  0.000 % |
1003.19/1003.66	c |   1469268 |     900    18000    90000 |    82453    80655    133 |  0.000 % |
1003.99/1004.49	c |   1470427 |     900    18000    90000 |    81387    72072    132 |  0.000 % |
1004.79/1005.28	c |   1471702 |     900    18000    90000 |    81387    73347    132 |  0.000 % |
1005.69/1006.18	c |   1473102 |     900    18000    90000 |    81387    74747    132 |  0.000 % |
1006.69/1007.12	c |   1474642 |     900    18000    90000 |    81387    76287    132 |  0.000 % |
1007.79/1008.28	c |   1476336 |     900    18000    90000 |    81387    77981    132 |  0.000 % |
1009.09/1009.52	c |   1478199 |     900    18000    90000 |    81387    79844    132 |  0.000 % |
1010.59/1011.01	c |   1480249 |     900    18000    90000 | 2147483647    81894    132 |  0.000 % |
1012.09/1012.54	c |   1482504 |     900    18000    90000 | 2147483647    84149    132 |  0.000 % |
1013.88/1014.39	c |   1484983 |     900    18000    90000 | 2147483647    86628    132 |  0.000 % |
1016.00/1016.48	c |   1487708 |     900    18000    90000 | 2147483647    89353    131 |  0.000 % |
1018.29/1018.70	c |   1490706 |     900    18000    90000 |    91646    79625    130 |  0.000 % |
1020.58/1021.06	c |   1494002 |     900    18000    90000 |    91646    82921    130 |  0.000 % |
1023.28/1023.71	c |   1497627 |     900    18000    90000 |    91646    86546    130 |  0.000 % |
1026.18/1026.62	c |   1501614 |     900    18000    90000 |    88922    78012    129 |  0.000 % |
1029.09/1029.56	c |   1505999 |     900    18000    90000 |    88922    82397    129 |  0.000 % |
1032.78/1033.24	c |   1510824 |     900    18000    90000 |    86399    76145    129 |  0.000 % |
1036.58/1037.01	c |   1516131 |     900    18000    90000 |    86399    81452    129 |  0.000 % |
1040.68/1041.18	c |   1521966 |     900    18000    90000 |    85322    76774    128 |  0.000 % |
1045.28/1045.74	c |   1528384 |     900    18000    90000 |    85322    83192    128 |  0.000 % |
1050.67/1051.20	c |   1535444 |     900    18000    90000 |    84808    79643    128 |  0.000 % |
1056.37/1056.89	c |   1543208 |     900    18000    90000 |    84201    77186    129 |  0.000 % |
1063.17/1063.63	c |   1551748 |     900    18000    90000 |    83978    75288    130 |  0.000 % |
1071.07/1071.57	c |   1561143 |     900    18000    90000 |    83540    73437    132 |  0.000 % |
1079.77/1080.26	c |   1571476 |     900    18000    90000 |    82298    72130    133 |  0.000 % |
1088.76/1089.26	c |   1582842 |     900    18000    90000 |    80654    73082    133 |  0.000 % |
1098.76/1099.21	c |   1595344 |     900    18000    90000 |    80242    75661    134 |  0.000 % |
1110.16/1110.69	c |   1609096 |     900    18000    90000 |    80317    79612    134 |  0.000 % |
1110.26/1110.78	c |   1609197 |     900    18000    90000 |    80317    79713    134 |  0.000 % |
1110.36/1110.87	c |   1609307 |     900    18000    90000 |    80317    79823    134 |  0.000 % |
1110.46/1110.97	c |   1609429 |     900    18000    90000 |    80317    79945    133 |  0.000 % |
1110.56/1111.06	c |   1609564 |     900    18000    90000 |    80317    80080    133 |  0.000 % |
1110.65/1111.18	c |   1609711 |     900    18000    90000 |    80317    80227    133 |  0.000 % |
1110.85/1111.30	c |   1609871 |     900    18000    90000 |    80317    80387    133 |  0.000 % |
1110.95/1111.47	c |   1610050 |     900    18000    90000 |    69841    69891    133 |  0.000 % |
1111.15/1111.66	c |   1610243 |     900    18000    90000 |    69841    60925    133 |  0.000 % |
1111.35/1111.80	c |   1610455 |     900    18000    90000 |    69841    61137    133 |  0.000 % |
1111.45/1111.96	c |   1610689 |     900    18000    90000 |    69841    61371    132 |  0.000 % |
1111.66/1112.11	c |   1610945 |     900    18000    90000 |    69841    61627    132 |  0.000 % |
1111.76/1112.27	c |   1611226 |     900    18000    90000 |    69841    61908    132 |  0.000 % |
1111.96/1112.42	c |   1611536 |     900    18000    90000 |    69841    62218    132 |  0.000 % |
1112.16/1112.63	c |   1611876 |     900    18000    90000 |    69841    62558    132 |  0.000 % |
1112.36/1112.85	c |   1612250 |     900    18000    90000 |    69841    62932    132 |  0.000 % |
1112.56/1113.07	c |   1612660 |     900    18000    90000 |    69841    63342    132 |  0.000 % |
1112.86/1113.30	c |   1613110 |     900    18000    90000 |    69841    63792    132 |  0.000 % |
1113.16/1113.62	c |   1613603 |     900    18000    90000 |    69841    64285    132 |  0.000 % |
1113.46/1113.94	c |   1614146 |     900    18000    90000 |    69841    64828    132 |  0.000 % |
1113.86/1114.32	c |   1614742 |     900    18000    90000 |    69841    65424    132 |  0.000 % |
1114.16/1114.69	c |   1615397 |     900    18000    90000 |    69841    66079    132 |  0.000 % |
1114.66/1115.13	c |   1616117 |     900    18000    90000 |    69841    66799    131 |  0.000 % |
1115.06/1115.58	c |   1616910 |     900    18000    90000 |    69841    67592    131 |  0.000 % |
1115.66/1116.11	c |   1617781 |     900    18000    90000 |    69841    68463    131 |  0.000 % |
1116.26/1116.72	c |   1618741 |     900    18000    90000 |    69841    69423    131 |  0.000 % |
1116.96/1117.41	c |   1619794 |     900    18000    90000 |    69841    63458    131 |  0.000 % |
1117.56/1118.06	c |   1620954 |     900    18000    90000 | 2147483647    64618    130 |  0.000 % |
1118.26/1118.77	c |   1622227 |     900    18000    90000 | 2147483647    65891    130 |  0.000 % |
1119.16/1119.62	c |   1623627 |     900    18000    90000 | 2147483647    67291    130 |  0.000 % |
1120.16/1120.60	c |   1625167 |     900    18000    90000 | 2147483647    68831    130 |  0.000 % |
1121.16/1121.63	c |   1626861 |     900    18000    90000 | 2147483647    70525    130 |  0.000 % |
1122.35/1122.83	c |   1628725 |     900    18000    90000 | 2147483647    72389    130 |  0.000 % |
1123.66/1124.11	c |   1630774 |     900    18000    90000 | 2147483647    74438    130 |  0.000 % |
1125.15/1125.64	c |   1633029 |     900    18000    90000 | 2147483647    76693    130 |  0.000 % |
1126.75/1127.23	c |   1635507 |     900    18000    90000 | 2147483647    79171    130 |  0.000 % |
1128.55/1129.06	c |   1638233 |     900    18000    90000 | 2147483647    81897    129 |  0.000 % |
1130.65/1131.14	c |   1641231 |     900    18000    90000 |    83665    75657    129 |  0.000 % |
1132.75/1133.23	c |   1644527 |     900    18000    90000 |    83665    78953    129 |  0.000 % |
1135.15/1135.62	c |   1648152 |     900    18000    90000 |    83665    82578    129 |  0.000 % |
1137.75/1138.21	c |   1652139 |     900    18000    90000 |    75148    69170    127 |  0.000 % |
1140.45/1140.90	c |   1656525 |     900    18000    90000 |    75148    73556    127 |  0.000 % |
1143.45/1143.92	c |   1661349 |     900    18000    90000 | 2147483647    70831    126 |  0.000 % |
1146.85/1147.35	c |   1666655 |     900    18000    90000 | 2147483647    76137    127 |  0.000 % |
1150.75/1151.24	c |   1672490 |     900    18000    90000 | 2147483647    81972    127 |  0.000 % |
1155.34/1155.86	c |   1678908 |     900    18000    90000 | 2147483647    88390    129 |  0.000 % |
1160.74/1161.28	c |   1685967 |     900    18000    90000 |    89482    84213    128 |  0.000 % |
1166.84/1167.37	c |   1693732 |     900    18000    90000 |    88246    79711    130 |  0.000 % |
1173.64/1174.14	c |   1702272 |     900    18000    90000 |    85979    76569    132 |  0.000 % |
1180.84/1181.40	c |   1711668 |     900    18000    90000 |    84299    75675    133 |  0.000 % |
1189.03/1189.59	c |   1722002 |     900    18000    90000 |    84008    75943    133 |  0.000 % |
1196.33/1196.84	c |   1733369 |     900    18000    90000 |    83941    76605    133 |  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-1832509-1242773971/watcher-1832509-1242773971 -o /tmp/evaluation-result-1832509-1242773971/solver-1832509-1242773971 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832509-1242773971.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.91 0.97 0.93 3/64 20769
/proc/meminfo: memFree=1627720/2055920 swapFree=4078356/4192956
[pid=20769] ppid=20767 vsize=5356 CPUtime=0
/proc/20769/stat : 20769 (SatELiteGTI) S 20767 20769 20506 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 305424273 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 246406676562 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/20769/statm: 1339 235 195 169 0 50 0
[pid=20770] ppid=20769 vsize=5356 CPUtime=0
/proc/20770/stat : 20770 (SatELiteGTI) S 20769 20769 20506 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 305424274 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/20770/statm: 1339 238 198 169 0 50 0
[pid=20772] ppid=20770 vsize=0 CPUtime=0
/proc/20772/stat : 20772 (SatELiteGTI) R 20770 20769 20506 0 -1 4194368 19 0 0 0 0 0 0 0 18 0 1 0 305424274 0 0 1992294400 0 0 0 18446744073709551615 246406507815 0 0 4096 0 0 0 0 17 0 0 0
/proc/20772/statm: 22 1 0 0 0 9 0

[startup+0.034198 s]
/proc/loadavg: 0.91 0.97 0.93 3/64 20769
/proc/meminfo: memFree=1627720/2055920 swapFree=4078356/4192956
[pid=20769] ppid=20767 vsize=5356 CPUtime=0
/proc/20769/stat : 20769 (SatELiteGTI) S 20767 20769 20506 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305424273 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20769/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101206 s]
/proc/loadavg: 0.91 0.97 0.93 3/64 20769
/proc/meminfo: memFree=1627720/2055920 swapFree=4078356/4192956
[pid=20769] ppid=20767 vsize=5356 CPUtime=0.04
/proc/20769/stat : 20769 (SatELiteGTI) S 20767 20769 20506 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305424273 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20769/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356

[startup+0.301224 s]
/proc/loadavg: 0.91 0.97 0.93 3/64 20769
/proc/meminfo: memFree=1627720/2055920 swapFree=4078356/4192956
[pid=20769] ppid=20767 vsize=5356 CPUtime=0.04
/proc/20769/stat : 20769 (SatELiteGTI) S 20767 20769 20506 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305424273 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20769/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356

[startup+0.701263 s]
/proc/loadavg: 0.91 0.97 0.93 3/64 20769
/proc/meminfo: memFree=1627720/2055920 swapFree=4078356/4192956
[pid=20769] ppid=20767 vsize=5356 CPUtime=0.04
/proc/20769/stat : 20769 (SatELiteGTI) S 20767 20769 20506 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305424273 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20769/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356

[startup+1.50134 s]
/proc/loadavg: 0.91 0.97 0.93 2/66 20775
/proc/meminfo: memFree=1622392/2055920 swapFree=4078356/4192956
[pid=20769] ppid=20767 vsize=5356 CPUtime=0.04
/proc/20769/stat : 20769 (SatELiteGTI) S 20767 20769 20506 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305424273 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20769/statm: 1339 239 197 169 0 50 0
[pid=20775] ppid=20769 vsize=6456 CPUtime=1.43
/proc/20775/stat : 20775 (minisat_static) R 20769 20769 20506 0 -1 4194304 1370 0 0 0 143 0 0 0 25 0 1 0 305424279 6610944 1356 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20775/statm: 1614 1356 77 171 0 1441 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 11812

[startup+3.10149 s]
/proc/loadavg: 0.91 0.97 0.93 2/66 20775
/proc/meminfo: memFree=1619896/2055920 swapFree=4078356/4192956
[pid=20769] ppid=20767 vsize=5356 CPUtime=0.04
/proc/20769/stat : 20769 (SatELiteGTI) S 20767 20769 20506 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305424273 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20769/statm: 1339 239 197 169 0 50 0
[pid=20775] ppid=20769 vsize=10948 CPUtime=3.03
/proc/20775/stat : 20775 (minisat_static) R 20769 20769 20506 0 -1 4194304 2473 0 0 0 302 1 0 0 25 0 1 0 305424279 11210752 2459 1992294400 134512640 135215339 4294956240 18446744073709551615 134541005 0 0 4096 3 0 0 0 17 1 0 0
/proc/20775/statm: 2737 2459 77 171 0 2564 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 16304

[startup+6.30279 s]
/proc/loadavg: 0.92 0.97 0.93 2/66 20775
/proc/meminfo: memFree=1612536/2055920 swapFree=4078356/4192956
[pid=20769] ppid=20767 vsize=5356 CPUtime=0.04
/proc/20769/stat : 20769 (SatELiteGTI) S 20767 20769 20506 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305424273 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20769/statm: 1339 239 197 169 0 50 0
[pid=20775] ppid=20769 vsize=17052 CPUtime=6.23
/proc/20775/stat : 20775 (minisat_static) R 20769 20769 20506 0 -1 4194304 4012 0 0 0 621 2 0 0 25 0 1 0 305424279 17461248 3998 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20775/statm: 4263 3998 77 171 0 4090 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 22408

[startup+12.7014 s]
/proc/loadavg: 0.93 0.97 0.93 2/66 20775
/proc/meminfo: memFree=1603192/2055920 swapFree=4078356/4192956
[pid=20769] ppid=20767 vsize=5356 CPUtime=0.04
/proc/20769/stat : 20769 (SatELiteGTI) S 20767 20769 20506 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305424273 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20769/statm: 1339 239 197 169 0 50 0
[pid=20775] ppid=20769 vsize=25712 CPUtime=12.62
/proc/20775/stat : 20775 (minisat_static) R 20769 20769 20506 0 -1 4194304 6152 0 0 0 1258 4 0 0 25 0 1 0 305424279 26329088 6138 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/20775/statm: 6428 6138 77 171 0 6255 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 31068

[startup+25.5016 s]
/proc/loadavg: 0.94 0.97 0.93 2/66 20775
/proc/meminfo: memFree=1590520/2055920 swapFree=4078356/4192956
[pid=20769] ppid=20767 vsize=5356 CPUtime=0.04
/proc/20769/stat : 20769 (SatELiteGTI) S 20767 20769 20506 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305424273 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20769/statm: 1339 239 197 169 0 50 0
[pid=20775] ppid=20769 vsize=37712 CPUtime=25.42
/proc/20775/stat : 20775 (minisat_static) R 20769 20769 20506 0 -1 4194304 9157 0 0 0 2534 8 0 0 25 0 1 0 305424279 38617088 9143 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/20775/statm: 9428 9143 77 171 0 9255 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 43068

[startup+51.1011 s]
/proc/loadavg: 0.96 0.97 0.93 2/66 20775
/proc/meminfo: memFree=1581624/2055920 swapFree=4078356/4192956
[pid=20769] ppid=20767 vsize=5356 CPUtime=0.04
/proc/20769/stat : 20769 (SatELiteGTI) S 20767 20769 20506 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305424273 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20769/statm: 1339 239 197 169 0 50 0
[pid=20775] ppid=20769 vsize=46424 CPUtime=51.01
/proc/20775/stat : 20775 (minisat_static) R 20769 20769 20506 0 -1 4194304 11334 0 0 0 5090 11 0 0 25 0 1 0 305424279 47538176 11320 1992294400 134512640 135215339 4294956240 18446744073709551615 134528711 0 0 4096 3 0 0 0 17 1 0 0
/proc/20775/statm: 11606 11320 77 171 0 11433 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 51780

[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.93 2/66 20781
/proc/meminfo: memFree=1581304/2055920 swapFree=4078356/4192956
[pid=20769] ppid=20767 vsize=5356 CPUtime=0.04
/proc/20769/stat : 20769 (SatELiteGTI) S 20767 20769 20506 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305424273 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20769/statm: 1339 239 197 169 0 50 0
[pid=20775] ppid=20769 vsize=46304 CPUtime=102.19
/proc/20775/stat : 20775 (minisat_static) R 20769 20769 20506 0 -1 4194304 11334 0 0 0 10207 12 0 0 25 0 1 0 305424279 47415296 11320 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20775/statm: 11576 11320 77 171 0 11403 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 51660

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/66 20781
/proc/meminfo: memFree=1578616/2055920 swapFree=4078356/4192956
[pid=20769] ppid=20767 vsize=5356 CPUtime=0.04
/proc/20769/stat : 20769 (SatELiteGTI) S 20767 20769 20506 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305424273 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20769/statm: 1339 239 197 169 0 50 0
[pid=20775] ppid=20769 vsize=49076 CPUtime=162.15
/proc/20775/stat : 20775 (minisat_static) R 20769 20769 20506 0 -1 4194304 12002 0 0 0 16201 14 0 0 25 0 1 0 305424279 50253824 11988 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/20775/statm: 12269 11988 77 171 0 12096 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 54432

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/66 20781
/proc/meminfo: memFree=1578552/2055920 swapFree=4078356/4192956
[pid=20769] ppid=20767 vsize=5356 CPUtime=0.04
/proc/20769/stat : 20769 (SatELiteGTI) S 20767 20769 20506 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305424273 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20769/statm: 1339 239 197 169 0 50 0
[pid=20775] ppid=20769 vsize=49024 CPUtime=222.13
/proc/20775/stat : 20775 (minisat_static) R 20769 20769 20506 0 -1 4194304 12003 0 0 0 22199 14 0 0 25 0 1 0 305424279 50200576 11989 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20775/statm: 12256 11989 77 171 0 12083 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 54380

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/66 20781
/proc/meminfo: memFree=1576696/2055920 swapFree=4078356/4192956
[pid=20769] ppid=20767 vsize=5356 CPUtime=0.04
/proc/20769/stat : 20769 (SatELiteGTI) S 20767 20769 20506 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305424273 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20769/statm: 1339 239 197 169 0 50 0
[pid=20775] ppid=20769 vsize=50696 CPUtime=282.1
/proc/20775/stat : 20775 (minisat_static) R 20769 20769 20506 0 -1 4194304 12443 0 0 0 28195 15 0 0 25 0 1 0 305424279 51912704 12424 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/20775/statm: 12674 12424 77 171 0 12501 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 56052

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/66 20781
/proc/meminfo: memFree=1575288/2055920 swapFree=4078356/4192956
[pid=20769] ppid=20767 vsize=5356 CPUtime=0.04
/proc/20769/stat : 20769 (SatELiteGTI) S 20767 20769 20506 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305424273 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20769/statm: 1339 239 197 169 0 50 0
[pid=20775] ppid=20769 vsize=52016 CPUtime=342.08
/proc/20775/stat : 20775 (minisat_static) R 20769 20769 20506 0 -1 4194304 12773 0 0 0 34192 16 0 0 25 0 1 0 305424279 53264384 12754 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20775/statm: 13004 12754 77 171 0 12831 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 57372

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/66 20781
/proc/meminfo: memFree=1575416/2055920 swapFree=4078356/4192956
[pid=20769] ppid=20767 vsize=5356 CPUtime=0.04
/proc/20769/stat : 20769 (SatELiteGTI) S 20767 20769 20506 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305424273 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20769/statm: 1339 239 197 169 0 50 0
[pid=20775] ppid=20769 vsize=51644 CPUtime=402.06

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

/proc/20775/statm: 13142 12891 77 171 0 12969 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 57924

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/66 20781
/proc/meminfo: memFree=1572984/2055920 swapFree=4078356/4192956
[pid=20769] ppid=20767 vsize=5356 CPUtime=0.04
/proc/20769/stat : 20769 (SatELiteGTI) S 20767 20769 20506 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305424273 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20769/statm: 1339 239 197 169 0 50 0
[pid=20775] ppid=20769 vsize=53808 CPUtime=641.98
/proc/20775/stat : 20775 (minisat_static) R 20769 20769 20506 0 -1 4194304 13316 0 0 0 64180 18 0 0 25 0 1 0 305424279 55099392 13202 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20775/statm: 13452 13202 77 171 0 13279 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 59164

[startup+702.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/66 20781
/proc/meminfo: memFree=1572856/2055920 swapFree=4078356/4192956
[pid=20769] ppid=20767 vsize=5356 CPUtime=0.04
/proc/20769/stat : 20769 (SatELiteGTI) S 20767 20769 20506 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305424273 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20769/statm: 1339 239 197 169 0 50 0
[pid=20775] ppid=20769 vsize=53808 CPUtime=701.96
/proc/20775/stat : 20775 (minisat_static) R 20769 20769 20506 0 -1 4194304 13316 0 0 0 70178 18 0 0 25 0 1 0 305424279 55099392 13202 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20775/statm: 13452 13202 77 171 0 13279 0
Current children cumulated CPU time (s) 702
Current children cumulated vsize (KiB) 59164

[startup+762.306 s]
/proc/loadavg: 0.99 0.97 0.93 2/66 20781
/proc/meminfo: memFree=1572792/2055920 swapFree=4078356/4192956
[pid=20769] ppid=20767 vsize=5356 CPUtime=0.04
/proc/20769/stat : 20769 (SatELiteGTI) S 20767 20769 20506 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305424273 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20769/statm: 1339 239 197 169 0 50 0
[pid=20775] ppid=20769 vsize=53808 CPUtime=761.93
/proc/20775/stat : 20775 (minisat_static) R 20769 20769 20506 0 -1 4194304 13316 0 0 0 76175 18 0 0 25 0 1 0 305424279 55099392 13202 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/20775/statm: 13452 13202 77 171 0 13279 0
Current children cumulated CPU time (s) 761.97
Current children cumulated vsize (KiB) 59164

[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/66 20781
/proc/meminfo: memFree=1572280/2055920 swapFree=4078356/4192956
[pid=20769] ppid=20767 vsize=5356 CPUtime=0.04
/proc/20769/stat : 20769 (SatELiteGTI) S 20767 20769 20506 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305424273 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20769/statm: 1339 239 197 169 0 50 0
[pid=20775] ppid=20769 vsize=54336 CPUtime=821.91
/proc/20775/stat : 20775 (minisat_static) R 20769 20769 20506 0 -1 4194304 13432 0 0 0 82173 18 0 0 25 0 1 0 305424279 55640064 13318 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/20775/statm: 13584 13318 77 171 0 13411 0
Current children cumulated CPU time (s) 821.95
Current children cumulated vsize (KiB) 59692

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/66 20781
/proc/meminfo: memFree=1572216/2055920 swapFree=4078356/4192956
[pid=20769] ppid=20767 vsize=5356 CPUtime=0.04
/proc/20769/stat : 20769 (SatELiteGTI) S 20767 20769 20506 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305424273 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20769/statm: 1339 239 197 169 0 50 0
[pid=20775] ppid=20769 vsize=54332 CPUtime=881.9
/proc/20775/stat : 20775 (minisat_static) R 20769 20769 20506 0 -1 4194304 13491 0 0 0 88171 19 0 0 25 0 1 0 305424279 55635968 13326 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20775/statm: 13583 13326 77 171 0 13410 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 59688

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/66 20781
/proc/meminfo: memFree=1571896/2055920 swapFree=4078356/4192956
[pid=20769] ppid=20767 vsize=5356 CPUtime=0.04
/proc/20769/stat : 20769 (SatELiteGTI) S 20767 20769 20506 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305424273 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20769/statm: 1339 239 197 169 0 50 0
[pid=20775] ppid=20769 vsize=54464 CPUtime=941.87
/proc/20775/stat : 20775 (minisat_static) R 20769 20769 20506 0 -1 4194304 13531 0 0 0 94168 19 0 0 25 0 1 0 305424279 55771136 13366 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20775/statm: 13616 13366 77 171 0 13443 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 59820

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/66 20781
/proc/meminfo: memFree=1571832/2055920 swapFree=4078356/4192956
[pid=20769] ppid=20767 vsize=5356 CPUtime=0.04
/proc/20769/stat : 20769 (SatELiteGTI) S 20767 20769 20506 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305424273 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20769/statm: 1339 239 197 169 0 50 0
[pid=20775] ppid=20769 vsize=54392 CPUtime=1001.85
/proc/20775/stat : 20775 (minisat_static) R 20769 20769 20506 0 -1 4194304 13531 0 0 0 100166 19 0 0 25 0 1 0 305424279 55697408 13348 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20775/statm: 13598 13348 77 171 0 13425 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 59748

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/66 20781
/proc/meminfo: memFree=1568824/2055920 swapFree=4078356/4192956
[pid=20769] ppid=20767 vsize=5356 CPUtime=0.04
/proc/20769/stat : 20769 (SatELiteGTI) S 20767 20769 20506 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305424273 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20769/statm: 1339 239 197 169 0 50 0
[pid=20775] ppid=20769 vsize=57428 CPUtime=1061.83
/proc/20775/stat : 20775 (minisat_static) R 20769 20769 20506 0 -1 4194304 14283 0 0 0 106163 20 0 0 25 0 1 0 305424279 58806272 14100 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20775/statm: 14357 14100 77 171 0 14184 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 62784

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/66 20781
/proc/meminfo: memFree=1569336/2055920 swapFree=4078356/4192956
[pid=20769] ppid=20767 vsize=5356 CPUtime=0.04
/proc/20769/stat : 20769 (SatELiteGTI) S 20767 20769 20506 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305424273 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20769/statm: 1339 239 197 169 0 50 0
[pid=20775] ppid=20769 vsize=56664 CPUtime=1121.81
/proc/20775/stat : 20775 (minisat_static) R 20769 20769 20506 0 -1 4194304 14283 0 0 0 112160 21 0 0 25 0 1 0 305424279 58023936 13918 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20775/statm: 14166 13918 77 171 0 13993 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 62020

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/66 20781
/proc/meminfo: memFree=1569272/2055920 swapFree=4078356/4192956
[pid=20769] ppid=20767 vsize=5356 CPUtime=0.04
/proc/20769/stat : 20769 (SatELiteGTI) S 20767 20769 20506 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305424273 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20769/statm: 1339 239 197 169 0 50 0
[pid=20775] ppid=20769 vsize=56664 CPUtime=1181.79
/proc/20775/stat : 20775 (minisat_static) R 20769 20769 20506 0 -1 4194304 14283 0 0 0 118158 21 0 0 25 0 1 0 305424279 58023936 13918 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20775/statm: 14166 13918 77 171 0 13993 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 62020



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.5 s]
/proc/loadavg: 0.99 0.97 0.93 2/66 20781
/proc/meminfo: memFree=1569272/2055920 swapFree=4078356/4192956
[pid=20769] ppid=20767 vsize=5356 CPUtime=0.04
/proc/20769/stat : 20769 (SatELiteGTI) S 20767 20769 20506 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305424273 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20769/statm: 1339 239 197 169 0 50 0
[pid=20775] ppid=20769 vsize=56636 CPUtime=1199.99
/proc/20775/stat : 20775 (minisat_static) R 20769 20769 20506 0 -1 4194304 14283 0 0 0 119978 21 0 0 25 0 1 0 305424279 57995264 13911 1992294400 134512640 135215339 4294956240 18446744073709551615 134538490 0 0 4096 3 0 0 0 17 1 0 0
/proc/20775/statm: 14159 13911 77 171 0 13986 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 61992

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

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

[startup+1200.5 s]
/proc/loadavg: 0.99 0.97 0.93 2/66 20781
/proc/meminfo: memFree=1569272/2055920 swapFree=4078356/4192956
[pid=20769] ppid=20767 vsize=5356 CPUtime=0.04
/proc/20769/stat : 20769 (SatELiteGTI) S 20767 20769 20506 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 305424273 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20769/statm: 1339 239 197 169 0 50 0
[pid=20775] ppid=20769 vsize=56636 CPUtime=1199.99
/proc/20775/stat : 20775 (minisat_static) R 20769 20769 20506 0 -1 4194304 14283 0 0 0 119978 21 0 0 25 0 1 0 305424279 57995264 13911 1992294400 134512640 135215339 4294956240 18446744073709551615 134538490 0 0 4096 3 0 0 0 17 1 0 0
/proc/20775/statm: 14159 13911 77 171 0 13986 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 61992

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1200.51
CPU time (s): 1200.03
CPU user time (s): 1199.82
CPU system time (s): 0.21
CPU usage (%): 99.9598
Max. virtual memory (cumulated for all children) (KiB): 62784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.043993
system time used= 0.009998
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= 14
involuntary context switches= 6

runsolver used 1.50077 second user time and 3.00354 second system time

The end

Launcher Data

Begin job on node61 at 2009-05-20 00:59:31
IDJOB=1832509
IDBENCH=70218
IDSOLVER=671
FILE ID=node61/1832509-1242773971
PBS_JOBID= 9322240
Free space on /tmp= 66312 MiB

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

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

MD5SUM BENCH= 591878ac77c59e57a1598f2a38d0dcd8
RANDOM SEED=541835154

node61.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.216
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.216
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:       1628264 kB
Buffers:         18468 kB
Cached:         263344 kB
SwapCached:     109052 kB
Active:         162000 kB
Inactive:       231004 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1628264 kB
SwapTotal:     4192956 kB
SwapFree:      4078356 kB
Dirty:            2000 kB
Writeback:           0 kB
Mapped:          13468 kB
Slab:            20832 kB
Committed_AS:  1026572 kB
PageTables:       1372 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264884 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66312 MiB
End job on node61 at 2009-05-20 01:19:34