Trace number 1832565

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.07 1201.01

General information on the benchmark

NameRANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S266028630-005.cnf
MD5SUMa707a7c29825dc72fa3ef0fca06c3f00
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of clauses17000
Sum of the clauses size119000
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 517000

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 |   17000   119000 |    5099       0        0     nan |  0.000 % |
0.00/0.02	c ==============================================================================
0.00/0.02	c Result  :   #vars: 200   #clauses: 17000   #literals: 119000
0.00/0.02	c CPU time:   0.019996 s
0.00/0.02	c ==============================================================================
0.00/0.06	c This is MiniSat 2.0 beta
0.00/0.06	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.06	c ============================[ Problem Statistics ]=============================
0.00/0.06	c |                                                                             |
0.00/0.06	c |  Number of variables:  200                                                  |
0.00/0.06	c |  Number of clauses:    17000                                                |
0.00/0.07	c |  Parsing time:         0.01         s                                       |
0.00/0.08	c ============================[ Search Statistics ]==============================
0.00/0.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.08	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.08	c ===============================================================================
0.00/0.08	c |         0 |     200    17000   119000 |     5666        0    nan |  0.000 % |
0.00/0.09	c |       100 |     200    17000   119000 |     5666      100     56 |  0.003 % |
0.05/0.10	c |       200 |     200    17000   119000 |     5666      200     56 |  0.003 % |
0.05/0.11	c |       301 |     200    17000   119000 |     5666      301     56 |  0.003 % |
0.05/0.12	c |       411 |     200    17000   119000 |     5666      411     56 |  0.003 % |
0.05/0.12	c |       512 |     200    17000   119000 |     5666      512     56 |  0.003 % |
0.05/0.13	c |       622 |     200    17000   119000 |     5666      622     56 |  0.003 % |
0.05/0.14	c |       744 |     200    17000   119000 |     5666      744     57 |  0.003 % |
0.05/0.15	c |       844 |     200    17000   119000 |     5666      844     57 |  0.003 % |
0.05/0.16	c |       955 |     200    17000   119000 |     5666      955     56 |  0.003 % |
0.05/0.18	c |      1077 |     200    17000   119000 |     5666     1077     56 |  0.003 % |
0.05/0.19	c |      1210 |     200    17000   119000 |     5666     1210     56 |  0.003 % |
0.05/0.20	c |      1313 |     200    17000   119000 |     5666     1313     57 |  0.003 % |
0.05/0.20	c |      1423 |     200    17000   119000 |     5666     1423     56 |  0.003 % |
0.05/0.21	c |      1544 |     200    17000   119000 |     5666     1544     56 |  0.003 % |
0.05/0.23	c |      1679 |     200    17000   119000 |     5666     1679     56 |  0.003 % |
0.05/0.24	c |      1825 |     200    17000   119000 |     5666     1825     57 |  0.003 % |
0.05/0.25	c |      1927 |     200    17000   119000 |     5666     1927     57 |  0.003 % |
0.05/0.26	c |      2038 |     200    17000   119000 |     5666     2038     57 |  0.003 % |
0.05/0.27	c |      2159 |     200    17000   119000 |     5666     2159     57 |  0.003 % |
0.05/0.28	c |      2293 |     200    17000   119000 |     5666     2293     57 |  0.003 % |
0.05/0.29	c |      2439 |     200    17000   119000 |     5666     2439     57 |  0.003 % |
0.05/0.31	c |      2599 |     200    17000   119000 |     5666     2599     57 |  0.003 % |
0.05/0.32	c |      2699 |     200    17000   119000 |     5666     2699     57 |  0.003 % |
0.05/0.33	c |      2809 |     200    17000   119000 |     5666     2809     57 |  0.003 % |
0.05/0.34	c |      2930 |     200    17000   119000 |     5666     2930     57 |  0.003 % |
0.05/0.36	c |      3063 |     200    17000   119000 |     5666     3063     57 |  0.003 % |
0.05/0.37	c |      3211 |     200    17000   119000 |     5666     3211     57 |  0.003 % |
0.05/0.39	c |      3371 |     200    17000   119000 |     5666     3371     57 |  0.003 % |
0.05/0.41	c |      3548 |     200    17000   119000 |     5666     3548     57 |  0.003 % |
0.05/0.42	c |      3651 |     200    17000   119000 |     5666     3651     57 |  0.003 % |
0.05/0.43	c |      3761 |     200    17000   119000 |     5666     3761     57 |  0.003 % |
0.05/0.44	c |      3882 |     200    17000   119000 |     5666     3882     57 |  0.003 % |
0.05/0.45	c |      4016 |     200    17000   119000 |     5666     4016     57 |  0.003 % |
0.05/0.47	c |      4164 |     200    17000   119000 |     5666     4164     57 |  0.003 % |
0.05/0.49	c |      4325 |     200    17000   119000 |     5666     4325     57 |  0.003 % |
0.05/0.50	c |      4501 |     200    17000   119000 |     5666     4501     57 |  0.003 % |
0.05/0.52	c |      4695 |     200    17000   119000 |     5666     4695     57 |  0.003 % |
0.05/0.53	c |      4795 |     200    17000   119000 |     5666     4795     57 |  0.003 % |
0.05/0.54	c |      4908 |     200    17000   119000 |     5666     4908     57 |  0.003 % |
0.05/0.56	c |      5030 |     200    17000   119000 |     5666     5030     57 |  0.003 % |
0.05/0.57	c |      5163 |     200    17000   119000 |     5666     5163     57 |  0.003 % |
0.05/0.59	c |      5309 |     200    17000   119000 |     5666     5309     57 |  0.003 % |
0.05/0.61	c |      5469 |     200    17000   119000 |     5666     5469     57 |  0.003 % |
0.05/0.63	c |      5645 |     200    17000   119000 |     5666     5645     57 |  0.003 % |
0.05/0.65	c |      5838 |     200    17000   119000 |     5666     5263     57 |  0.003 % |
0.05/0.68	c |      6050 |     200    17000   119000 |     5666     5475     56 |  0.003 % |
0.05/0.69	c |      6151 |     200    17000   119000 |     5666     5576     57 |  0.003 % |
0.05/0.70	c |      6261 |     200    17000   119000 |     5666     5686     57 |  0.003 % |
0.05/0.72	c |      6382 |     200    17000   119000 |     5666     5239     56 |  0.003 % |
0.05/0.73	c |      6515 |     200    17000   119000 |     5666     5372     56 |  0.003 % |
0.05/0.75	c |      6661 |     200    17000   119000 |     5666     5518     56 |  0.003 % |
0.05/0.77	c |      6821 |     200    17000   119000 |     5666     5678     56 |  0.003 % |
0.05/0.81	c |      6997 |     200    17000   119000 |     5666     5287     56 |  0.003 % |
0.05/0.83	c |      7191 |     200    17000   119000 |     5666     5481     56 |  0.003 % |
0.05/0.86	c |      7403 |     200    17000   119000 |     5666     5693     56 |  0.003 % |
0.05/0.89	c |      7638 |     200    17000   119000 |     5666     5359     56 |  0.003 % |
0.05/0.90	c |      7739 |     200    17000   119000 |     5666     5460     56 |  0.003 % |
0.05/0.91	c |      7850 |     200    17000   119000 |     5666     5571     56 |  0.003 % |
0.05/0.93	c |      7972 |     200    17000   119000 |     5666     5693     56 |  0.003 % |
0.05/0.94	c |      8106 |     200    17000   119000 |     5666     5258     56 |  0.003 % |
0.05/0.96	c |      8254 |     200    17000   119000 |     5666     5406     57 |  0.003 % |
0.05/0.98	c |      8416 |     200    17000   119000 |     5666     5568     57 |  0.003 % |
0.05/1.00	c |      8592 |     200    17000   119000 |     5666     5744     57 |  0.003 % |
0.05/1.03	c |      8785 |     200    17000   119000 |     5666     5363     57 |  0.003 % |
0.05/1.05	c |      8999 |     200    17000   119000 |     5666     5577     57 |  0.003 % |
0.05/1.08	c |      9233 |     200    17000   119000 |     5666     5236     57 |  0.003 % |
0.05/1.11	c |      9490 |     200    17000   119000 |     5666     5493     56 |  0.003 % |
0.05/1.12	c |      9590 |     200    17000   119000 |     5666     5593     57 |  0.003 % |
0.05/1.14	c |      9701 |     200    17000   119000 |     5666     5704     57 |  0.003 % |
0.05/1.16	c |      9825 |     200    17000   119000 |     5666     5258     57 |  0.003 % |
0.05/1.17	c |      9959 |     200    17000   119000 |     5666     5392     57 |  0.003 % |
0.05/1.19	c |     10105 |     200    17000   119000 | 2147483647     5538     57 |  0.003 % |
0.05/1.21	c |     10266 |     200    17000   119000 | 2147483647     5699     57 |  0.003 % |
1.18/1.23	c |     10442 |     200    17000   119000 | 2147483647     5875     57 |  0.003 % |
1.18/1.25	c |     10635 |     200    17000   119000 | 2147483647     6068     57 |  0.003 % |
1.18/1.27	c |     10847 |     200    17000   119000 | 2147483647     6280     57 |  0.003 % |
1.18/1.30	c |     11082 |     200    17000   119000 | 2147483647     6515     57 |  0.003 % |
1.29/1.33	c |     11341 |     200    17000   119000 | 2147483647     6774     57 |  0.003 % |
1.29/1.37	c |     11623 |     200    17000   119000 | 2147483647     7056     57 |  0.003 % |
1.29/1.38	c |     11723 |     200    17000   119000 | 2147483647     7156     57 |  0.003 % |
1.29/1.40	c |     11834 |     200    17000   119000 | 2147483647     7267     56 |  0.003 % |
1.38/1.41	c |     11956 |     200    17000   119000 | 2147483647     7389     56 |  0.003 % |
1.38/1.43	c |     12090 |     200    17000   119000 | 2147483647     7523     56 |  0.003 % |
1.38/1.45	c |     12239 |     200    17000   119000 | 2147483647     7672     56 |  0.003 % |
1.38/1.47	c |     12400 |     200    17000   119000 | 2147483647     7833     57 |  0.003 % |
1.38/1.50	c |     12577 |     200    17000   119000 | 2147483647     8010     56 |  0.003 % |
1.48/1.52	c |     12770 |     200    17000   119000 | 2147483647     8203     57 |  0.003 % |
1.48/1.55	c |     12982 |     200    17000   119000 | 2147483647     8415     57 |  0.003 % |
1.48/1.59	c |     13215 |     200    17000   119000 | 2147483647     8648     57 |  0.003 % |
1.58/1.62	c |     13473 |     200    17000   119000 | 2147483647     8906     57 |  0.003 % |
1.58/1.66	c |     13754 |     200    17000   119000 | 2147483647     9187     57 |  0.003 % |
1.67/1.70	c |     14063 |     200    17000   119000 | 2147483647     9496     57 |  0.003 % |
1.67/1.72	c |     14164 |     200    17000   119000 | 2147483647     9597     57 |  0.003 % |
1.67/1.74	c |     14275 |     200    17000   119000 | 2147483647     9708     57 |  0.003 % |
1.67/1.76	c |     14397 |     200    17000   119000 | 2147483647     9830     57 |  0.003 % |
1.67/1.78	c |     14533 |     200    17000   119000 | 2147483647     9966     57 |  0.003 % |
1.77/1.80	c |     14680 |     200    17000   119000 | 2147483647    10113     57 |  0.003 % |
1.77/1.82	c |     14841 |     200    17000   119000 | 2147483647    10274     57 |  0.003 % |
1.77/1.85	c |     15018 |     200    17000   119000 | 2147483647    10451     57 |  0.003 % |
1.77/1.88	c |     15211 |     200    17000   119000 | 2147483647    10644     56 |  0.003 % |
1.87/1.92	c |     15423 |     200    17000   119000 | 2147483647    10856     57 |  0.003 % |
1.87/1.96	c |     15658 |     200    17000   119000 | 2147483647    11091     57 |  0.003 % |
1.87/1.99	c |     15914 |     200    17000   119000 | 2147483647    11347     56 |  0.003 % |
1.97/2.04	c |     16198 |     200    17000   119000 | 2147483647    11631     57 |  0.003 % |
1.97/2.09	c |     16507 |     200    17000   119000 | 2147483647    11940     57 |  0.003 % |
2.07/2.14	c |     16848 |     200    17000   119000 | 2147483647    12281     57 |  0.003 % |
2.07/2.16	c |     16948 |     200    17000   119000 | 2147483647    12381     57 |  0.003 % |
2.07/2.18	c |     17058 |     200    17000   119000 | 2147483647    12491     57 |  0.003 % |
2.17/2.20	c |     17179 |     200    17000   119000 | 2147483647    12612     57 |  0.003 % |
2.17/2.23	c |     17313 |     200    17000   119000 | 2147483647    12746     57 |  0.003 % |
2.17/2.25	c |     17459 |     200    17000   119000 | 2147483647    12892     57 |  0.003 % |
2.17/2.28	c |     17621 |     200    17000   119000 | 2147483647    13054     57 |  0.003 % |
2.28/2.31	c |     17800 |     200    17000   119000 | 2147483647    13233     57 |  0.003 % |
2.28/2.35	c |     17994 |     200    17000   119000 | 2147483647    13427     57 |  0.003 % |
2.28/2.38	c |     18208 |     200    17000   119000 | 2147483647    13641     57 |  0.003 % |
2.38/2.42	c |     18443 |     200    17000   119000 | 2147483647    13876     57 |  0.003 % |
2.38/2.47	c |     18702 |     200    17000   119000 | 2147483647    14135     57 |  0.003 % |
2.47/2.53	c |     18983 |     200    17000   119000 | 2147483647    14416     57 |  0.003 % |
2.47/2.58	c |     19292 |     200    17000   119000 | 2147483647    14725     57 |  0.003 % |
2.57/2.64	c |     19631 |     200    17000   119000 | 2147483647    15064     57 |  0.003 % |
2.67/2.71	c |     20006 |     200    17000   119000 | 2147483647    15439     57 |  0.003 % |
2.67/2.74	c |     20107 |     200    17000   119000 | 2147483647    15540     57 |  0.003 % |
2.67/2.76	c |     20217 |     200    17000   119000 | 2147483647    15650     57 |  0.003 % |
2.67/2.79	c |     20340 |     200    17000   119000 | 2147483647    15773     57 |  0.003 % |
2.77/2.82	c |     20473 |     200    17000   119000 | 2147483647    15906     57 |  0.003 % |
2.77/2.85	c |     20624 |     200    17000   119000 | 2147483647    16057     57 |  0.003 % |
2.77/2.88	c |     20784 |     200    17000   119000 | 2147483647    16217     57 |  0.003 % |
2.87/2.92	c |     20961 |     200    17000   119000 | 2147483647    16394     57 |  0.003 % |
2.87/2.96	c |     21155 |     200    17000   119000 | 2147483647    16588     57 |  0.003 % |
2.97/3.00	c |     21367 |     200    17000   119000 | 2147483647    16800     57 |  0.003 % |
2.97/3.05	c |     21601 |     200    17000   119000 | 2147483647    17034     57 |  0.003 % |
3.07/3.10	c |     21857 |     200    17000   119000 | 2147483647    17290     57 |  0.003 % |
3.07/3.16	c |     22139 |     200    17000   119000 | 2147483647    17572     57 |  0.003 % |
3.17/3.23	c |     22449 |     200    17000   119000 | 2147483647    17882     57 |  0.003 % |
3.27/3.30	c |     22788 |     200    17000   119000 | 2147483647    18221     57 |  0.003 % |
3.27/3.38	c |     23161 |     200    17000   119000 | 2147483647    18594     57 |  0.003 % |
3.38/3.46	c |     23570 |     200    17000   119000 | 2147483647    19003     57 |  0.003 % |
3.38/3.49	c |     23670 |     200    17000   119000 | 2147483647    19103     57 |  0.003 % |
3.48/3.52	c |     23780 |     200    17000   119000 | 2147483647    19213     57 |  0.003 % |
3.48/3.55	c |     23901 |     200    17000   119000 | 2147483647    19334     57 |  0.003 % |
3.48/3.59	c |     24035 |     200    17000   119000 | 2147483647    19468     57 |  0.003 % |
3.57/3.63	c |     24182 |     200    17000   119000 | 2147483647    19615     57 |  0.003 % |
3.57/3.67	c |     24344 |     200    17000   119000 | 2147483647    19777     57 |  0.003 % |
3.67/3.71	c |     24520 |     200    17000   119000 | 2147483647    19953     57 |  0.003 % |
3.67/3.76	c |     24713 |     200    17000   119000 | 2147483647    20146     57 |  0.003 % |
3.77/3.81	c |     24925 |     200    17000   119000 | 2147483647    20358     57 |  0.003 % |
3.77/3.88	c |     25158 |     200    17000   119000 | 2147483647    20591     57 |  0.003 % |
3.87/3.94	c |     25414 |     200    17000   119000 | 2147483647    20847     57 |  0.003 % |
3.97/4.02	c |     25695 |     200    17000   119000 | 2147483647    21128     57 |  0.003 % |
4.07/4.11	c |     26006 |     200    17000   119000 | 2147483647    21439     57 |  0.003 % |
4.17/4.21	c |     26345 |     200    17000   119000 | 2147483647    21778     57 |  0.003 % |
4.27/4.31	c |     26717 |     200    17000   119000 | 2147483647    22150     57 |  0.003 % |
4.37/4.42	c |     27128 |     200    17000   119000 | 2147483647    22561     57 |  0.003 % |
4.47/4.54	c |     27579 |     200    17000   119000 | 2147483647    23012     57 |  0.003 % |
4.47/4.58	c |     27680 |     200    17000   119000 | 2147483647    23113     57 |  0.003 % |
4.57/4.61	c |     27790 |     200    17000   119000 | 2147483647    23223     57 |  0.003 % |
4.57/4.64	c |     27911 |     200    17000   119000 | 2147483647    23344     57 |  0.003 % |
4.66/4.71	c |     28045 |     200    17000   119000 | 2147483647    23478     57 |  0.003 % |
4.66/4.76	c |     28191 |     200    17000   119000 | 2147483647    23624     57 |  0.003 % |
4.76/4.80	c |     28353 |     200    17000   119000 | 2147483647    23786     57 |  0.003 % |
4.76/4.85	c |     28532 |     200    17000   119000 | 2147483647    23965     57 |  0.003 % |
4.86/4.92	c |     28726 |     200    17000   119000 | 2147483647    24159     57 |  0.003 % |
4.86/4.98	c |     28938 |     200    17000   119000 | 2147483647    24371     57 |  0.003 % |
4.96/5.05	c |     29171 |     200    17000   119000 | 2147483647    24604     57 |  0.003 % |
5.06/5.12	c |     29427 |     200    17000   119000 | 2147483647    24860     57 |  0.003 % |
5.16/5.20	c |     29708 |     200    17000   119000 | 2147483647    25141     57 |  0.003 % |
5.16/5.29	c |     30019 |     200    17000   119000 | 2147483647    25452     57 |  0.003 % |
5.36/5.41	c |     30358 |     200    17000   119000 | 2147483647    25791     57 |  0.003 % |
5.46/5.52	c |     30731 |     200    17000   119000 | 2147483647    26164     57 |  0.003 % |
5.57/5.64	c |     31144 |     200    17000   119000 | 2147483647    26577     57 |  0.003 % |
5.67/5.79	c |     31593 |     200    17000   119000 | 2147483647    27026     57 |  0.003 % |
5.86/5.94	c |     32086 |     200    17000   119000 | 2147483647    27519     57 |  0.003 % |
5.86/5.99	c |     32189 |     200    17000   119000 | 2147483647    27622     57 |  0.003 % |
5.96/6.03	c |     32301 |     200    17000   119000 | 2147483647    27734     57 |  0.003 % |
5.96/6.08	c |     32424 |     200    17000   119000 | 2147483647    27857     57 |  0.003 % |
6.06/6.13	c |     32557 |     200    17000   119000 | 2147483647    27990     57 |  0.003 % |
6.06/6.19	c |     32703 |     200    17000   119000 | 2147483647    28136     57 |  0.003 % |
6.16/6.25	c |     32863 |     200    17000   119000 | 2147483647    28296     57 |  0.003 % |
6.26/6.31	c |     33039 |     200    17000   119000 | 2147483647    28472     57 |  0.003 % |
6.26/6.39	c |     33232 |     200    17000   119000 | 2147483647    28665     57 |  0.003 % |
6.36/6.46	c |     33444 |     200    17000   119000 | 2147483647    28877     57 |  0.003 % |
6.47/6.55	c |     33679 |     200    17000   119000 | 2147483647    29112     57 |  0.003 % |
6.57/6.63	c |     33935 |     200    17000   119000 | 2147483647    29368     57 |  0.003 % |
6.67/6.73	c |     34217 |     200    17000   119000 | 2147483647    29650     57 |  0.003 % |
6.77/6.84	c |     34527 |     200    17000   119000 | 2147483647    29960     57 |  0.003 % |
6.87/6.96	c |     34866 |     200    17000   119000 | 2147483647    30299     57 |  0.003 % |
6.97/7.09	c |     35239 |     200    17000   119000 | 2147483647    30672     57 |  0.003 % |
7.17/7.23	c |     35649 |     200    17000   119000 | 2147483647    31082     57 |  0.003 % |
7.27/7.38	c |     36098 |     200    17000   119000 | 2147483647    31531     57 |  0.003 % |
7.47/7.56	c |     36591 |     200    17000   119000 | 2147483647    32024     57 |  0.003 % |
7.67/7.75	c |     37133 |     200    17000   119000 | 2147483647    32566     57 |  0.003 % |
7.67/7.78	c |     37233 |     200    17000   119000 | 2147483647    32666     57 |  0.003 % |
7.77/7.83	c |     37343 |     200    17000   119000 | 2147483647    32776     57 |  0.003 % |
7.77/7.87	c |     37466 |     200    17000   119000 | 2147483647    32899     57 |  0.003 % |
7.87/7.93	c |     37600 |     200    17000   119000 | 2147483647    33033     57 |  0.003 % |
7.87/7.98	c |     37746 |     200    17000   119000 | 2147483647    33179     57 |  0.003 % |
7.97/8.04	c |     37906 |     200    17000   119000 | 2147483647    33339     57 |  0.003 % |
7.97/8.10	c |     38083 |     200    17000   119000 | 2147483647    33516     57 |  0.003 % |
8.07/8.18	c |     38276 |     200    17000   119000 | 2147483647    33709     57 |  0.003 % |
8.17/8.26	c |     38488 |     200    17000   119000 | 2147483647    33921     57 |  0.003 % |
8.27/8.36	c |     38721 |     200    17000   119000 | 2147483647    34154     57 |  0.003 % |
8.37/8.46	c |     38979 |     200    17000   119000 | 2147483647    34412     57 |  0.003 % |
8.47/8.56	c |     39261 |     200    17000   119000 | 2147483647    34694     57 |  0.003 % |
8.67/8.70	c |     39570 |     200    17000   119000 | 2147483647    35003     57 |  0.003 % |
8.77/8.86	c |     39909 |     200    17000   119000 | 2147483647    35342     57 |  0.003 % |
8.97/9.02	c |     40281 |     200    17000   119000 | 2147483647    35714     57 |  0.003 % |
9.16/9.21	c |     40692 |     200    17000   119000 | 2147483647    36125     57 |  0.003 % |
9.26/9.38	c |     41143 |     200    17000   119000 | 2147483647    36576     57 |  0.003 % |
9.47/9.57	c |     41636 |     200    17000   119000 | 2147483647    37069     57 |  0.003 % |
9.76/9.81	c |     42180 |     200    17000   119000 | 2147483647    37613     57 |  0.003 % |
9.97/10.06	c |     42777 |     200    17000   119000 | 2147483647    38210     57 |  0.003 % |
10.07/10.10	c |     42878 |     200    17000   119000 | 2147483647    38311     57 |  0.003 % |
10.07/10.15	c |     42990 |     200    17000   119000 | 2147483647    38423     57 |  0.003 % |
10.16/10.21	c |     43111 |     200    17000   119000 | 2147483647    38544     57 |  0.003 % |
10.16/10.27	c |     43244 |     200    17000   119000 | 2147483647    38677     57 |  0.003 % |
10.26/10.33	c |     43390 |     200    17000   119000 | 2147483647    38823     57 |  0.003 % |
10.36/10.41	c |     43550 |     200    17000   119000 | 2147483647    38983     57 |  0.003 % |
10.46/10.51	c |     43728 |     200    17000   119000 | 2147483647    39161     57 |  0.003 % |
10.46/10.59	c |     43921 |     200    17000   119000 | 2147483647    39354     57 |  0.003 % |
10.66/10.70	c |     44133 |     200    17000   119000 | 2147483647    39566     57 |  0.003 % |
10.76/10.80	c |     44366 |     200    17000   119000 | 2147483647    39799     57 |  0.003 % |
10.86/10.93	c |     44622 |     200    17000   119000 | 2147483647    40055     57 |  0.003 % |
10.96/11.07	c |     44905 |     200    17000   119000 | 2147483647    40338     57 |  0.003 % |
11.17/11.21	c |     45214 |     200    17000   119000 | 2147483647    40647     57 |  0.003 % |
11.26/11.35	c |     45554 |     200    17000   119000 | 2147483647    40987     57 |  0.003 % |
11.46/11.54	c |     45926 |     200    17000   119000 | 2147483647    41359     57 |  0.003 % |
11.66/11.74	c |     46337 |     200    17000   119000 | 2147483647    41770     57 |  0.003 % |
11.86/11.94	c |     46786 |     200    17000   119000 | 2147483647    42219     57 |  0.003 % |
12.06/12.16	c |     47279 |     200    17000   119000 | 2147483647    42712     57 |  0.003 % |
12.36/12.42	c |     47822 |     200    17000   119000 | 2147483647    43255     57 |  0.003 % |
12.66/12.72	c |     48418 |     200    17000   119000 | 2147483647    43851     57 |  0.003 % |
12.96/13.01	c |     49075 |     200    17000   119000 | 2147483647    44508     57 |  0.003 % |
12.96/13.07	c |     49175 |     200    17000   119000 | 2147483647    44608     57 |  0.003 % |
13.06/13.14	c |     49285 |     200    17000   119000 | 2147483647    44718     57 |  0.003 % |
13.16/13.20	c |     49406 |     200    17000   119000 | 2147483647    44839     57 |  0.003 % |
13.16/13.27	c |     49539 |     200    17000   119000 | 2147483647    44972     57 |  0.003 % |
13.26/13.36	c |     49685 |     200    17000   119000 | 2147483647    45118     57 |  0.003 % |
13.36/13.45	c |     49845 |     200    17000   119000 | 2147483647    45278     57 |  0.003 % |
13.46/13.54	c |     50021 |     200    17000   119000 | 2147483647    45454     57 |  0.003 % |
13.56/13.67	c |     50215 |     200    17000   119000 | 2147483647    45648     57 |  0.003 % |
13.66/13.79	c |     50427 |     200    17000   119000 | 2147483647    45860     57 |  0.003 % |
13.86/13.91	c |     50660 |     200    17000   119000 | 2147483647    46093     57 |  0.003 % |
13.96/14.04	c |     50917 |     200    17000   119000 | 2147483647    46350     57 |  0.003 % |
14.06/14.17	c |     51200 |     200    17000   119000 | 2147483647    46633     57 |  0.003 % |
14.26/14.32	c |     51509 |     200    17000   119000 | 2147483647    46942     57 |  0.003 % |
14.46/14.54	c |     51849 |     200    17000   119000 | 2147483647    47282     57 |  0.003 % |
14.65/14.77	c |     52224 |     200    17000   119000 | 2147483647    47657     57 |  0.003 % |
14.85/14.97	c |     52635 |     200    17000   119000 | 2147483647    48068     57 |  0.003 % |
15.15/15.21	c |     53085 |     200    17000   119000 | 2147483647    48518     57 |  0.003 % |
15.46/15.52	c |     53578 |     200    17000   119000 | 2147483647    49011     57 |  0.003 % |
15.76/15.88	c |     54121 |     200    17000   119000 | 2147483647    49554     57 |  0.003 % |
16.06/16.19	c |     54719 |     200    17000   119000 | 2147483647    50152     57 |  0.003 % |
16.46/16.54	c |     55376 |     200    17000   119000 | 2147483647    50809     57 |  0.003 % |
16.86/16.99	c |     56097 |     200    17000   119000 | 2147483647    51530     57 |  0.003 % |
16.96/17.07	c |     56202 |     200    17000   119000 | 2147483647    51635     57 |  0.003 % |
17.06/17.14	c |     56312 |     200    17000   119000 | 2147483647    51745     57 |  0.003 % |
17.16/17.22	c |     56433 |     200    17000   119000 | 2147483647    51866     57 |  0.003 % |
17.16/17.30	c |     56566 |     200    17000   119000 | 2147483647    51999     57 |  0.003 % |
17.36/17.40	c |     56713 |     200    17000   119000 | 2147483647    52146     57 |  0.003 % |
17.36/17.49	c |     56874 |     200    17000   119000 | 2147483647    52307     57 |  0.003 % |
17.56/17.60	c |     57052 |     200    17000   119000 | 2147483647    52485     57 |  0.003 % |
17.66/17.74	c |     57245 |     200    17000   119000 | 2147483647    52678     57 |  0.003 % |
17.76/17.87	c |     57460 |     200    17000   119000 | 2147483647    52893     57 |  0.003 % |
17.96/18.00	c |     57695 |     200    17000   119000 | 2147483647    53128     57 |  0.003 % |
18.06/18.15	c |     57951 |     200    17000   119000 | 2147483647    53384     57 |  0.003 % |
18.26/18.33	c |     58232 |     200    17000   119000 | 2147483647    53665     57 |  0.003 % |
18.36/18.49	c |     58541 |     200    17000   119000 | 2147483647    53974     57 |  0.003 % |
18.66/18.73	c |     58881 |     200    17000   119000 | 2147483647    54314     57 |  0.003 % |
18.86/18.95	c |     59254 |     200    17000   119000 | 2147483647    54687     57 |  0.003 % |
19.15/19.21	c |     59663 |     200    17000   119000 | 2147483647    55096     57 |  0.003 % |
19.35/19.48	c |     60112 |     200    17000   119000 | 2147483647    55545     57 |  0.003 % |
19.65/19.77	c |     60605 |     200    17000   119000 | 2147483647    56038     57 |  0.003 % |
19.96/20.06	c |     61151 |     200    17000   119000 | 2147483647    56584     57 |  0.003 % |
20.35/20.42	c |     61749 |     200    17000   119000 | 2147483647    57182     57 |  0.003 % |
20.76/20.82	c |     62406 |     200    17000   119000 | 2147483647    57839     57 |  0.003 % |
21.16/21.28	c |     63128 |     200    17000   119000 | 2147483647    58561     57 |  0.003 % |
21.66/21.75	c |     63920 |     200    17000   119000 | 2147483647    59353     57 |  0.003 % |
21.76/21.82	c |     64021 |     200    17000   119000 | 2147483647    59454     57 |  0.003 % |
21.86/21.92	c |     64131 |     200    17000   119000 | 2147483647    59564     57 |  0.003 % |
21.96/22.02	c |     64254 |     200    17000   119000 | 2147483647    59687     57 |  0.003 % |
22.06/22.12	c |     64387 |     200    17000   119000 | 2147483647    59820     57 |  0.003 % |
22.16/22.21	c |     64533 |     200    17000   119000 | 2147483647    59966     57 |  0.003 % |
22.25/22.36	c |     64696 |     200    17000   119000 | 2147483647    60129     57 |  0.003 % |
22.45/22.50	c |     64875 |     200    17000   119000 | 2147483647    60308     57 |  0.003 % |
22.55/22.63	c |     65068 |     200    17000   119000 | 2147483647    60501     57 |  0.003 % |
22.75/22.80	c |     65280 |     200    17000   119000 | 2147483647    60713     57 |  0.003 % |
22.85/22.97	c |     65514 |     200    17000   119000 | 2147483647    60947     57 |  0.003 % |
23.05/23.17	c |     65773 |     200    17000   119000 | 2147483647    61206     57 |  0.003 % |
23.26/23.36	c |     66055 |     200    17000   119000 | 2147483647    61488     57 |  0.003 % |
23.45/23.58	c |     66365 |     200    17000   119000 | 2147483647    61798     57 |  0.003 % |
23.75/23.83	c |     66704 |     200    17000   119000 | 2147483647    62137     57 |  0.003 % |
23.95/24.08	c |     67076 |     200    17000   119000 | 2147483647    62509     57 |  0.003 % |
24.26/24.38	c |     67485 |     200    17000   119000 | 2147483647    62918     57 |  0.003 % |
24.65/24.71	c |     67934 |     200    17000   119000 | 2147483647    63367     57 |  0.003 % |
24.95/25.03	c |     68428 |     200    17000   119000 | 2147483647    63861     57 |  0.003 % |
25.25/25.39	c |     68970 |     200    17000   119000 | 2147483647    64403     57 |  0.003 % |
25.75/25.83	c |     69568 |     200    17000   119000 | 2147483647    65001     57 |  0.003 % |
26.25/26.33	c |     70223 |     200    17000   119000 | 2147483647    65656     57 |  0.003 % |
26.75/26.88	c |     70944 |     200    17000   119000 | 2147483647    66377     57 |  0.003 % |
27.35/27.49	c |     71736 |     200    17000   119000 | 2147483647    67169     57 |  0.003 % |
28.05/28.14	c |     72607 |     200    17000   119000 | 2147483647    68040     58 |  0.003 % |
28.15/28.22	c |     72707 |     200    17000   119000 | 2147483647    68140     58 |  0.003 % |
28.15/28.30	c |     72818 |     200    17000   119000 | 2147483647    68251     58 |  0.003 % |
28.25/28.39	c |     72939 |     200    17000   119000 | 2147483647    68372     58 |  0.003 % |
28.35/28.49	c |     73072 |     200    17000   119000 | 2147483647    68505     58 |  0.003 % |
28.55/28.64	c |     73219 |     200    17000   119000 | 2147483647    68652     58 |  0.003 % |
28.65/28.77	c |     73379 |     200    17000   119000 | 2147483647    68812     58 |  0.003 % |
28.85/28.94	c |     73557 |     200    17000   119000 | 2147483647    68990     58 |  0.003 % |
29.05/29.13	c |     73750 |     200    17000   119000 | 2147483647    69183     57 |  0.003 % |
29.25/29.30	c |     73963 |     200    17000   119000 | 2147483647    69396     57 |  0.003 % |
29.35/29.49	c |     74197 |     200    17000   119000 | 2147483647    69630     57 |  0.003 % |
29.65/29.71	c |     74454 |     200    17000   119000 | 2147483647    69887     57 |  0.003 % |
29.86/29.93	c |     74738 |     200    17000   119000 | 2147483647    70171     57 |  0.003 % |
30.05/30.14	c |     75048 |     200    17000   119000 | 2147483647    70481     57 |  0.003 % |
30.35/30.44	c |     75389 |     200    17000   119000 | 2147483647    70822     57 |  0.003 % |
30.65/30.75	c |     75763 |     200    17000   119000 | 2147483647    71196     58 |  0.003 % |
30.96/31.06	c |     76174 |     200    17000   119000 | 2147483647    71607     57 |  0.003 % |
31.35/31.42	c |     76626 |     200    17000   119000 | 2147483647    72059     58 |  0.003 % |
31.65/31.79	c |     77119 |     200    17000   119000 | 2147483647    72552     57 |  0.003 % |
32.15/32.21	c |     77662 |     200    17000   119000 | 2147483647    73095     58 |  0.003 % |
32.55/32.67	c |     78260 |     200    17000   119000 | 2147483647    73693     58 |  0.003 % |
33.05/33.20	c |     78915 |     200    17000   119000 | 2147483647    74348     58 |  0.003 % |
33.64/33.74	c |     79635 |     200    17000   119000 | 2147483647    75068     58 |  0.003 % |
34.25/34.33	c |     80428 |     200    17000   119000 |    75433    67737     58 |  0.003 % |
34.84/34.90	c |     81300 |     200    17000   119000 |    75433    68609     58 |  0.003 % |
35.44/35.56	c |     82258 |     200    17000   119000 |    75433    69567     58 |  0.003 % |
35.54/35.64	c |     82359 |     200    17000   119000 |    75433    69668     58 |  0.003 % |
35.64/35.72	c |     82469 |     200    17000   119000 |    75433    69778     58 |  0.003 % |
35.74/35.82	c |     82590 |     200    17000   119000 |    75433    69899     58 |  0.003 % |
35.84/35.97	c |     82723 |     200    17000   119000 |    75433    70032     58 |  0.003 % |
36.04/36.11	c |     82870 |     200    17000   119000 |    75433    70179     58 |  0.003 % |
36.14/36.25	c |     83031 |     200    17000   119000 |    75433    70340     58 |  0.003 % |
36.35/36.40	c |     83207 |     200    17000   119000 |    75433    70516     58 |  0.003 % |
36.45/36.57	c |     83400 |     200    17000   119000 |    75433    70709     58 |  0.003 % |
36.64/36.75	c |     83615 |     200    17000   119000 |    75433    70924     58 |  0.003 % |
36.84/36.94	c |     83849 |     200    17000   119000 |    75433    71158     58 |  0.003 % |
37.04/37.15	c |     84107 |     200    17000   119000 |    75433    71416     58 |  0.003 % |
37.24/37.36	c |     84389 |     200    17000   119000 |    75433    71698     58 |  0.003 % |
37.54/37.63	c |     84699 |     200    17000   119000 |    75433    72008     58 |  0.003 % |
37.84/37.91	c |     85040 |     200    17000   119000 |    75433    72349     58 |  0.003 % |
38.14/38.27	c |     85412 |     200    17000   119000 |    75433    72721     58 |  0.003 % |
38.54/38.62	c |     85822 |     200    17000   119000 |    75433    73131     58 |  0.003 % |
38.84/38.98	c |     86271 |     200    17000   119000 |    75433    73580     58 |  0.003 % |
39.24/39.36	c |     86765 |     200    17000   119000 |    75433    74074     58 |  0.003 % |
39.64/39.73	c |     87307 |     200    17000   119000 |    75433    74616     58 |  0.003 % |
40.14/40.20	c |     87905 |     200    17000   119000 |    75433    75214     58 |  0.003 % |
40.64/40.79	c |     88560 |     200    17000   119000 |    75433    66450     58 |  0.003 % |
41.24/41.39	c |     89281 |     200    17000   119000 |    75433    67171     58 |  0.003 % |
41.94/42.00	c |     90073 |     200    17000   119000 |    67890    67963     58 |  0.003 % |
42.54/42.67	c |     90944 |     200    17000   119000 |    67890    60480     58 |  0.003 % |
43.24/43.32	c |     91902 |     200    17000   119000 |    67890    61438     58 |  0.003 % |
43.94/44.03	c |     92955 |     200    17000   119000 |    67890    62491     58 |  0.003 % |
44.04/44.11	c |     93055 |     200    17000   119000 |    67890    62591     58 |  0.003 % |
44.14/44.21	c |     93166 |     200    17000   119000 |    67890    62702     58 |  0.003 % |
44.24/44.30	c |     93287 |     200    17000   119000 |    67890    62823     58 |  0.003 % |
44.24/44.39	c |     93421 |     200    17000   119000 |    67890    62957     58 |  0.003 % |
44.44/44.52	c |     93569 |     200    17000   119000 |    67890    63105     58 |  0.003 % |
44.54/44.66	c |     93729 |     200    17000   119000 |    67890    63265     58 |  0.003 % |
44.64/44.79	c |     93905 |     200    17000   119000 |    67890    63441     58 |  0.003 % |
44.84/44.94	c |     94098 |     200    17000   119000 |    67890    63634     58 |  0.003 % |
45.04/45.11	c |     94310 |     200    17000   119000 |    67890    63846     58 |  0.003 % |
45.14/45.29	c |     94544 |     200    17000   119000 |    67890    64080     58 |  0.003 % |
45.34/45.48	c |     94802 |     200    17000   119000 |    67890    64338     58 |  0.003 % |
45.64/45.70	c |     95083 |     200    17000   119000 |    67890    64619     58 |  0.003 % |
45.84/45.95	c |     95394 |     200    17000   119000 |    67890    64930     58 |  0.003 % |
46.14/46.20	c |     95733 |     200    17000   119000 |    67890    65269     58 |  0.003 % |
46.34/46.48	c |     96105 |     200    17000   119000 |    67890    65641     58 |  0.003 % |
46.63/46.78	c |     96516 |     200    17000   119000 |    67890    66052     58 |  0.003 % |
47.03/47.18	c |     96967 |     200    17000   119000 |    67890    66503     58 |  0.003 % |
47.44/47.56	c |     97461 |     200    17000   119000 |    67890    66997     58 |  0.003 % |
47.83/47.97	c |     98003 |     200    17000   119000 |    67890    67539     58 |  0.003 % |
48.44/48.51	c |     98600 |     200    17000   119000 |    67890    60788     58 |  0.003 % |
48.83/48.96	c |     99255 |     200    17000   119000 |    67890    61443     58 |  0.003 % |
49.33/49.44	c |     99975 |     200    17000   119000 |    67890    62163     58 |  0.003 % |
49.83/49.96	c |    100770 |     200    17000   119000 |    62190    56439     58 |  0.003 % |
50.33/50.47	c |    101641 |     200    17000   119000 |    62190    57310     58 |  0.003 % |
50.83/50.99	c |    102599 |     200    17000   119000 |    62190    58268     58 |  0.003 % |
51.53/51.67	c |    103652 |     200    17000   119000 |    62190    59321     58 |  0.003 % |
52.23/52.40	c |    104811 |     200    17000   119000 |    62190    60480     58 |  0.003 % |
52.33/52.46	c |    104911 |     200    17000   119000 |    62190    60580     58 |  0.003 % |
52.43/52.53	c |    105023 |     200    17000   119000 |    62190    60692     58 |  0.003 % |
52.53/52.64	c |    105144 |     200    17000   119000 |    62190    60813     58 |  0.003 % |
52.63/52.75	c |    105278 |     200    17000   119000 |    62190    60947     58 |  0.003 % |
52.73/52.85	c |    105425 |     200    17000   119000 |    62190    61094     58 |  0.003 % |
52.84/52.96	c |    105587 |     200    17000   119000 |    62190    61256     58 |  0.003 % |
52.94/53.09	c |    105763 |     200    17000   119000 |    62190    61432     58 |  0.003 % |
53.13/53.22	c |    105957 |     200    17000   119000 |    62190    61626     58 |  0.003 % |
53.33/53.40	c |    106170 |     200    17000   119000 |    62190    61839     58 |  0.003 % |
53.43/53.56	c |    106403 |     200    17000   119000 |    62190    62072     58 |  0.003 % |
53.63/53.76	c |    106659 |     200    17000   119000 |    62190    56098     58 |  0.003 % |
53.83/53.94	c |    106940 |     200    17000   119000 |    62190    56379     58 |  0.003 % |
54.04/54.13	c |    107251 |     200    17000   119000 |    62190    56690     58 |  0.003 % |
54.23/54.33	c |    107592 |     200    17000   119000 |    62190    57031     58 |  0.003 % |
54.43/54.58	c |    107965 |     200    17000   119000 |    62190    57404     58 |  0.003 % |
54.73/54.86	c |    108375 |     200    17000   119000 |    62190    57814     58 |  0.003 % |
55.03/55.16	c |    108825 |     200    17000   119000 |    62190    58264     58 |  0.003 % |
55.33/55.48	c |    109319 |     200    17000   119000 |    62190    58758     58 |  0.003 % |
55.63/55.79	c |    109864 |     200    17000   119000 |    62190    59303     58 |  0.003 % |
56.03/56.13	c |    110463 |     200    17000   119000 | 2147483647    59902     58 |  0.003 % |
56.43/56.52	c |    111121 |     200    17000   119000 | 2147483647    60560     58 |  0.003 % |
56.83/56.92	c |    111842 |     200    17000   119000 | 2147483647    61281     58 |  0.003 % |
57.23/57.36	c |    112634 |     200    17000   119000 | 2147483647    62073     58 |  0.003 % |
57.83/57.93	c |    113505 |     200    17000   119000 | 2147483647    62944     58 |  0.003 % |
58.53/58.63	c |    114466 |     200    17000   119000 | 2147483647    63905     58 |  0.003 % |
59.23/59.37	c |    115519 |     200    17000   119000 | 2147483647    64958     58 |  0.003 % |
60.13/60.25	c |    116677 |     200    17000   119000 | 2147483647    66116     58 |  0.003 % |
61.03/61.14	c |    117951 |     200    17000   119000 | 2147483647    67390     58 |  0.003 % |
61.13/61.21	c |    118051 |     200    17000   119000 | 2147483647    67490     58 |  0.003 % |
61.23/61.32	c |    118162 |     200    17000   119000 | 2147483647    67601     58 |  0.003 % |
61.33/61.43	c |    118284 |     200    17000   119000 | 2147483647    67723     58 |  0.003 % |
61.43/61.55	c |    118420 |     200    17000   119000 | 2147483647    67859     58 |  0.003 % |
61.53/61.65	c |    118566 |     200    17000   119000 | 2147483647    68005     58 |  0.003 % |
61.63/61.79	c |    118726 |     200    17000   119000 | 2147483647    68165     58 |  0.003 % |
61.83/61.93	c |    118902 |     200    17000   119000 | 2147483647    68341     58 |  0.003 % |
61.93/62.09	c |    119096 |     200    17000   119000 | 2147483647    68535     58 |  0.003 % |
62.13/62.28	c |    119308 |     200    17000   119000 | 2147483647    68747     58 |  0.003 % |
62.33/62.48	c |    119542 |     200    17000   119000 | 2147483647    68981     58 |  0.003 % |
62.63/62.71	c |    119798 |     200    17000   119000 | 2147483647    69237     58 |  0.003 % |
62.83/62.94	c |    120079 |     200    17000   119000 | 2147483647    69518     58 |  0.003 % |
63.13/63.23	c |    120388 |     200    17000   119000 | 2147483647    69827     58 |  0.003 % |
63.43/63.53	c |    120727 |     200    17000   119000 | 2147483647    70166     58 |  0.003 % |
63.73/63.82	c |    121099 |     200    17000   119000 | 2147483647    70538     58 |  0.003 % |
64.03/64.14	c |    121508 |     200    17000   119000 | 2147483647    70947     58 |  0.003 % |
64.43/64.54	c |    121958 |     200    17000   119000 | 2147483647    71397     58 |  0.003 % |
64.83/64.94	c |    122451 |     200    17000   119000 | 2147483647    71890     58 |  0.003 % |
65.23/65.40	c |    122995 |     200    17000   119000 | 2147483647    72434     58 |  0.003 % |
65.83/65.91	c |    123594 |     200    17000   119000 | 2147483647    73033     58 |  0.003 % |
66.33/66.48	c |    124249 |     200    17000   119000 | 2147483647    73688     58 |  0.003 % |
66.93/67.07	c |    124969 |     200    17000   119000 | 2147483647    74408     58 |  0.003 % |
67.63/67.71	c |    125761 |     200    17000   119000 | 2147483647    75200     58 |  0.003 % |
68.33/68.47	c |    126633 |     200    17000   119000 | 2147483647    76072     58 |  0.003 % |
69.12/69.25	c |    127591 |     200    17000   119000 | 2147483647    77030     58 |  0.003 % |
70.02/70.15	c |    128647 |     200    17000   119000 | 2147483647    78086     58 |  0.003 % |
71.02/71.12	c |    129805 |     200    17000   119000 | 2147483647    79244     58 |  0.003 % |
72.02/72.16	c |    131078 |     200    17000   119000 |    79439    69603     58 |  0.003 % |
73.22/73.34	c |    132478 |     200    17000   119000 |    79439    71003     58 |  0.003 % |
73.32/73.42	c |    132579 |     200    17000   119000 |    79439    71104     58 |  0.003 % |
73.42/73.52	c |    132689 |     200    17000   119000 |    79439    71214     58 |  0.003 % |
73.52/73.63	c |    132811 |     200    17000   119000 |    79439    71336     58 |  0.003 % |
73.62/73.73	c |    132944 |     200    17000   119000 |    79439    71469     58 |  0.003 % |
73.73/73.87	c |    133092 |     200    17000   119000 |    79439    71617     58 |  0.003 % |
73.92/74.02	c |    133252 |     200    17000   119000 |    79439    71777     58 |  0.003 % |
74.02/74.17	c |    133431 |     200    17000   119000 |    79439    71956     58 |  0.003 % |
74.22/74.34	c |    133624 |     200    17000   119000 |    79439    72149     58 |  0.003 % |
74.42/74.50	c |    133836 |     200    17000   119000 |    79439    72361     58 |  0.003 % |
74.62/74.70	c |    134072 |     200    17000   119000 |    79439    72597     58 |  0.003 % |
74.83/74.95	c |    134330 |     200    17000   119000 |    79439    72855     58 |  0.003 % |
75.12/75.22	c |    134611 |     200    17000   119000 |    79439    73136     58 |  0.003 % |
75.42/75.50	c |    134921 |     200    17000   119000 |    79439    73446     58 |  0.003 % |
75.72/75.80	c |    135261 |     200    17000   119000 |    79439    73786     58 |  0.003 % |
76.03/76.12	c |    135634 |     200    17000   119000 |    79439    74159     58 |  0.003 % |
76.32/76.41	c |    136043 |     200    17000   119000 |    79439    74568     58 |  0.003 % |
76.72/76.84	c |    136493 |     200    17000   119000 |    79439    75018     58 |  0.003 % |
77.12/77.25	c |    136986 |     200    17000   119000 |    79439    75511     58 |  0.003 % |
77.62/77.70	c |    137528 |     200    17000   119000 |    79439    76053     58 |  0.003 % |
78.13/78.25	c |    138125 |     200    17000   119000 |    79439    76650     58 |  0.003 % |
78.72/78.85	c |    138781 |     200    17000   119000 |    79439    77306     58 |  0.003 % |
79.32/79.50	c |    139501 |     200    17000   119000 |    79439    78026     58 |  0.003 % |
80.22/80.33	c |    140295 |     200    17000   119000 |    78526    67316     58 |  0.003 % |
80.92/81.02	c |    141166 |     200    17000   119000 |    78526    68187     58 |  0.003 % |
81.52/81.69	c |    142126 |     200    17000   119000 |    78526    69147     58 |  0.003 % |
82.32/82.42	c |    143181 |     200    17000   119000 |    78526    70202     58 |  0.003 % |
83.12/83.26	c |    144339 |     200    17000   119000 |    78526    71360     58 |  0.003 % |
84.12/84.24	c |    145612 |     200    17000   119000 |    78526    72633     58 |  0.003 % |
85.12/85.25	c |    147012 |     200    17000   119000 |    78526    74033     58 |  0.003 % |
86.52/86.62	c |    148552 |     200    17000   119000 |    78526    75573     58 |  0.003 % |
86.62/86.71	c |    148654 |     200    17000   119000 |    78526    75675     58 |  0.003 % |
86.72/86.83	c |    148765 |     200    17000   119000 |    78526    75786     58 |  0.003 % |
86.82/86.94	c |    148887 |     200    17000   119000 |    78526    75908     58 |  0.003 % |
86.92/87.05	c |    149021 |     200    17000   119000 |    78526    76042     58 |  0.003 % |
87.02/87.20	c |    149170 |     200    17000   119000 |    78526    76191     58 |  0.003 % |
87.21/87.35	c |    149331 |     200    17000   119000 |    78526    76352     58 |  0.003 % |
87.41/87.50	c |    149507 |     200    17000   119000 |    78526    76528     58 |  0.003 % |
87.61/87.71	c |    149701 |     200    17000   119000 |    78526    76722     58 |  0.003 % |
87.81/87.93	c |    149914 |     200    17000   119000 |    78526    76935     58 |  0.003 % |
88.12/88.20	c |    150147 |     200    17000   119000 |    77021    66472     58 |  0.003 % |
88.21/88.39	c |    150403 |     200    17000   119000 |    77021    66728     58 |  0.003 % |
88.41/88.59	c |    150684 |     200    17000   119000 |    77021    67009     58 |  0.003 % |
88.71/88.82	c |    150993 |     200    17000   119000 |    77021    67318     58 |  0.003 % |
88.91/89.06	c |    151332 |     200    17000   119000 |    77021    67657     58 |  0.003 % |
89.22/89.34	c |    151705 |     200    17000   119000 |    77021    68030     58 |  0.003 % |
89.51/89.65	c |    152115 |     200    17000   119000 |    77021    68440     58 |  0.003 % |
89.81/89.98	c |    152567 |     200    17000   119000 |    77021    68892     58 |  0.003 % |
90.21/90.39	c |    153060 |     200    17000   119000 |    77021    69385     58 |  0.003 % |
90.71/90.88	c |    153603 |     200    17000   119000 |    77021    69928     58 |  0.003 % |
91.21/91.36	c |    154199 |     200    17000   119000 |    77021    70524     58 |  0.003 % |
91.81/91.92	c |    154854 |     200    17000   119000 |    77021    71179     58 |  0.003 % |
92.41/92.50	c |    155576 |     200    17000   119000 |    77021    71901     58 |  0.003 % |
93.11/93.21	c |    156368 |     200    17000   119000 |    77021    72693     58 |  0.003 % |
93.91/94.04	c |    157240 |     200    17000   119000 |    77021    73565     58 |  0.003 % |
94.71/94.85	c |    158199 |     200    17000   119000 |    77021    74524     58 |  0.003 % |
95.51/95.63	c |    159253 |     200    17000   119000 |    77021    75578     58 |  0.003 % |
96.41/96.52	c |    160412 |     200    17000   119000 |    76325    66460     58 |  0.003 % |
97.21/97.33	c |    161685 |     200    17000   119000 |    76325    67733     58 |  0.003 % |
98.21/98.36	c |    163085 |     200    17000   119000 |    76325    69133     58 |  0.003 % |
99.61/99.76	c |    164626 |     200    17000   119000 |    76325    70674     58 |  0.003 % |
101.01/101.11	c |    166320 |     200    17000   119000 |    76325    72368     58 |  0.003 % |
101.01/101.19	c |    166420 |     200    17000   119000 |    76325    72468     58 |  0.003 % |
101.11/101.29	c |    166531 |     200    17000   119000 |    76325    72579     58 |  0.003 % |
101.31/101.43	c |    166652 |     200    17000   119000 |    76325    72700     58 |  0.003 % |
101.41/101.56	c |    166786 |     200    17000   119000 |    76325    72834     58 |  0.003 % |
101.61/101.70	c |    166934 |     200    17000   119000 |    76325    72982     58 |  0.003 % |
101.71/101.84	c |    167095 |     200    17000   119000 |    76325    73143     58 |  0.003 % |
101.91/102.00	c |    167273 |     200    17000   119000 |    76325    73321     58 |  0.003 % |
102.01/102.19	c |    167468 |     200    17000   119000 |    76325    73516     58 |  0.003 % |
102.21/102.39	c |    167680 |     200    17000   119000 |    76325    73728     58 |  0.003 % |
102.41/102.60	c |    167914 |     200    17000   119000 |    76325    73962     58 |  0.003 % |
102.71/102.80	c |    168170 |     200    17000   119000 |    76325    74218     58 |  0.003 % |
102.91/103.03	c |    168453 |     200    17000   119000 |    76325    74501     58 |  0.003 % |
103.10/103.28	c |    168762 |     200    17000   119000 |    76325    74810     58 |  0.003 % |
103.41/103.57	c |    169101 |     200    17000   119000 |    76325    75149     58 |  0.003 % |
103.71/103.86	c |    169475 |     200    17000   119000 |    76325    75523     58 |  0.003 % |
104.01/104.13	c |    169884 |     200    17000   119000 |    76325    75932     58 |  0.003 % |
104.41/104.53	c |    170334 |     200    17000   119000 |    76049    66119     58 |  0.003 % |
104.70/104.89	c |    170829 |     200    17000   119000 |    76049    66614     58 |  0.003 % |
105.10/105.27	c |    171371 |     200    17000   119000 |    76049    67156     58 |  0.003 % |
105.50/105.67	c |    171968 |     200    17000   119000 |    76049    67753     58 |  0.003 % |
106.00/106.14	c |    172623 |     200    17000   119000 |    76049    68408     58 |  0.003 % |
106.50/106.67	c |    173344 |     200    17000   119000 |    76049    69129     58 |  0.003 % |
107.10/107.23	c |    174136 |     200    17000   119000 |    76049    69921     58 |  0.003 % |
107.70/107.90	c |    175007 |     200    17000   119000 |    76049    70792     58 |  0.003 % |
108.60/108.72	c |    175965 |     200    17000   119000 |    76049    71750     58 |  0.003 % |
109.40/109.53	c |    177019 |     200    17000   119000 |    76049    72804     58 |  0.003 % |
110.40/110.50	c |    178179 |     200    17000   119000 |    76049    73964     58 |  0.003 % |
111.30/111.43	c |    179452 |     200    17000   119000 |    76049    75237     58 |  0.003 % |
112.50/112.62	c |    180852 |     200    17000   119000 |    75785    66884     58 |  0.003 % |
113.50/113.67	c |    182392 |     200    17000   119000 |    75785    68424     58 |  0.003 % |
114.70/114.83	c |    184089 |     200    17000   119000 |    75785    70121     58 |  0.003 % |
116.10/116.28	c |    185954 |     200    17000   119000 |    75785    71986     58 |  0.003 % |
116.20/116.38	c |    186054 |     200    17000   119000 |    75785    72086     58 |  0.003 % |
116.30/116.49	c |    186164 |     200    17000   119000 |    75785    72196     58 |  0.003 % |
116.40/116.59	c |    186285 |     200    17000   119000 |    75785    72317     58 |  0.003 % |
116.60/116.70	c |    186422 |     200    17000   119000 |    75785    72454     58 |  0.003 % |
116.70/116.82	c |    186568 |     200    17000   119000 |    75785    72600     58 |  0.003 % |
116.80/116.97	c |    186731 |     200    17000   119000 |    75785    72763     58 |  0.003 % |
117.00/117.12	c |    186907 |     200    17000   119000 |    75785    72939     58 |  0.003 % |
117.10/117.28	c |    187100 |     200    17000   119000 |    75785    73132     58 |  0.003 % |
117.30/117.46	c |    187313 |     200    17000   119000 |    75785    73345     58 |  0.003 % |
117.50/117.66	c |    187546 |     200    17000   119000 |    75785    73578     58 |  0.003 % |
117.80/117.93	c |    187802 |     200    17000   119000 |    75785    73834     58 |  0.003 % |
118.00/118.16	c |    188083 |     200    17000   119000 |    75785    74115     58 |  0.003 % |
118.30/118.45	c |    188393 |     200    17000   119000 |    75785    74425     58 |  0.003 % |
118.59/118.73	c |    188733 |     200    17000   119000 |    75785    74765     58 |  0.003 % |
118.90/119.04	c |    189105 |     200    17000   119000 |    75785    75137     58 |  0.003 % |
119.19/119.38	c |    189514 |     200    17000   119000 |    75785    75546     58 |  0.003 % |
119.69/119.86	c |    189965 |     200    17000   119000 |    75785    66414     58 |  0.003 % |
120.09/120.23	c |    190460 |     200    17000   119000 |    66449    58591     58 |  0.003 % |
120.49/120.60	c |    191002 |     200    17000   119000 |    66449    59133     58 |  0.003 % |
120.89/121.04	c |    191598 |     200    17000   119000 |    66449    59729     58 |  0.003 % |
121.40/121.56	c |    192254 |     200    17000   119000 |    66449    60385     58 |  0.003 % |
121.89/122.03	c |    192974 |     200    17000   119000 |    66449    61105     58 |  0.003 % |
122.39/122.53	c |    193769 |     200    17000   119000 |    66449    61900     58 |  0.003 % |
122.99/123.12	c |    194642 |     200    17000   119000 |    66449    62773     58 |  0.003 % |
123.59/123.74	c |    195601 |     200    17000   119000 |    66449    63732     58 |  0.003 % |
124.30/124.43	c |    196655 |     200    17000   119000 |    66449    64786     58 |  0.003 % |
125.09/125.21	c |    197814 |     200    17000   119000 |    66449    65945     58 |  0.003 % |
125.89/126.00	c |    199087 |     200    17000   119000 |    66449    60565     58 |  0.003 % |
126.89/127.06	c |    200489 |     200    17000   119000 | 2147483647    61967     58 |  0.003 % |
127.99/128.16	c |    202031 |     200    17000   119000 | 2147483647    63509     58 |  0.003 % |
129.29/129.43	c |    203726 |     200    17000   119000 | 2147483647    65204     58 |  0.003 % |
130.49/130.64	c |    205589 |     200    17000   119000 | 2147483647    67067     58 |  0.003 % |
132.09/132.23	c |    207638 |     200    17000   119000 | 2147483647    69116     58 |  0.003 % |
132.19/132.31	c |    207738 |     200    17000   119000 | 2147483647    69216     58 |  0.003 % |
132.19/132.39	c |    207848 |     200    17000   119000 | 2147483647    69326     58 |  0.003 % |
132.29/132.48	c |    207970 |     200    17000   119000 | 2147483647    69448     58 |  0.003 % |
132.49/132.60	c |    208103 |     200    17000   119000 | 2147483647    69581     58 |  0.003 % |
132.59/132.72	c |    208250 |     200    17000   119000 | 2147483647    69728     58 |  0.003 % |
132.69/132.86	c |    208411 |     200    17000   119000 | 2147483647    69889     58 |  0.003 % |
132.89/133.00	c |    208588 |     200    17000   119000 | 2147483647    70066     58 |  0.003 % |
132.99/133.17	c |    208781 |     200    17000   119000 | 2147483647    70259     58 |  0.003 % |
133.19/133.34	c |    208994 |     200    17000   119000 | 2147483647    70472     58 |  0.003 % |
133.39/133.54	c |    209227 |     200    17000   119000 | 2147483647    70705     58 |  0.003 % |
133.59/133.75	c |    209484 |     200    17000   119000 | 2147483647    70962     58 |  0.003 % |
133.79/134.00	c |    209765 |     200    17000   119000 | 2147483647    71243     58 |  0.003 % |
134.09/134.27	c |    210074 |     200    17000   119000 |    71478    71552     58 |  0.003 % |
134.49/134.61	c |    210413 |     200    17000   119000 |    71478    64605     58 |  0.003 % |
134.79/134.92	c |    210785 |     200    17000   119000 |    71478    64977     58 |  0.003 % |
135.09/135.23	c |    211194 |     200    17000   119000 |    71478    65386     58 |  0.003 % |
135.39/135.57	c |    211646 |     200    17000   119000 |    71478    65838     58 |  0.003 % |
135.79/135.96	c |    212141 |     200    17000   119000 |    71478    66333     58 |  0.003 % |
136.19/136.35	c |    212683 |     200    17000   119000 |    71478    66875     58 |  0.003 % |
136.59/136.78	c |    213279 |     200    17000   119000 |    71478    67471     58 |  0.003 % |
137.09/137.26	c |    213935 |     200    17000   119000 |    71478    68127     58 |  0.003 % |
137.59/137.78	c |    214658 |     200    17000   119000 |    71478    68850     58 |  0.003 % |
138.18/138.35	c |    215450 |     200    17000   119000 |    71478    69642     58 |  0.003 % |
138.78/138.96	c |    216323 |     200    17000   119000 |    71478    70515     58 |  0.003 % |
139.48/139.65	c |    217282 |     200    17000   119000 |    71478    71474     58 |  0.003 % |
140.28/140.41	c |    218337 |     200    17000   119000 |    71478    65372     58 |  0.003 % |
140.98/141.12	c |    219495 |     200    17000   119000 |    71478    66530     58 |  0.003 % |
141.78/141.98	c |    220769 |     200    17000   119000 | 2147483647    67804     58 |  0.003 % |
142.68/142.88	c |    222173 |     200    17000   119000 | 2147483647    69208     58 |  0.003 % |
143.78/143.96	c |    223713 |     200    17000   119000 | 2147483647    70748     58 |  0.003 % |
145.08/145.20	c |    225408 |     200    17000   119000 | 2147483647    72443     58 |  0.003 % |
146.29/146.43	c |    227272 |     200    17000   119000 | 2147483647    74307     58 |  0.003 % |
147.78/147.96	c |    229323 |     200    17000   119000 | 2147483647    76358     58 |  0.003 % |
149.48/149.64	c |    231576 |     200    17000   119000 |    77035    69940     58 |  0.003 % |
149.58/149.75	c |    231677 |     200    17000   119000 |    77035    70041     58 |  0.003 % |
149.68/149.84	c |    231787 |     200    17000   119000 |    77035    70151     58 |  0.003 % |
149.78/149.94	c |    231911 |     200    17000   119000 |    77035    70275     58 |  0.003 % |
149.88/150.05	c |    232045 |     200    17000   119000 |    77035    70409     58 |  0.003 % |
149.98/150.19	c |    232191 |     200    17000   119000 |    77035    70555     58 |  0.003 % |
150.18/150.34	c |    232352 |     200    17000   119000 |    77035    70716     58 |  0.003 % |
150.28/150.48	c |    232530 |     200    17000   119000 |    77035    70894     58 |  0.003 % |
150.48/150.65	c |    232724 |     200    17000   119000 |    77035    71088     58 |  0.003 % |
150.68/150.83	c |    232937 |     200    17000   119000 |    77035    71301     58 |  0.003 % |
150.88/151.05	c |    233171 |     200    17000   119000 |    77035    71535     58 |  0.003 % |
151.08/151.26	c |    233429 |     200    17000   119000 |    77035    71793     58 |  0.003 % |
151.28/151.49	c |    233711 |     200    17000   119000 |    77035    72075     58 |  0.003 % |
151.58/151.74	c |    234022 |     200    17000   119000 |    77035    72386     58 |  0.003 % |
151.88/152.05	c |    234361 |     200    17000   119000 |    77035    72725     58 |  0.003 % |
152.18/152.37	c |    234734 |     200    17000   119000 |    77035    73098     58 |  0.003 % |
152.47/152.70	c |    235143 |     200    17000   119000 |    77035    73507     58 |  0.003 % |
152.88/153.08	c |    235595 |     200    17000   119000 |    77035    73959     58 |  0.003 % |
153.37/153.51	c |    236089 |     200    17000   119000 |    77035    74453     58 |  0.003 % |
153.87/154.00	c |    236631 |     200    17000   119000 |    77035    74995     58 |  0.003 % |
154.27/154.47	c |    237228 |     200    17000   119000 |    77035    75592     58 |  0.003 % |
154.78/154.98	c |    237886 |     200    17000   119000 |    77035    76250     58 |  0.003 % |
155.28/155.48	c |    238606 |     200    17000   119000 |    77035    76970     58 |  0.003 % |
155.88/156.08	c |    239398 |     200    17000   119000 |    77035    67480     58 |  0.003 % |
156.57/156.71	c |    240270 |     200    17000   119000 |    68082    59548     58 |  0.003 % |
157.07/157.28	c |    241229 |     200    17000   119000 |    68082    60507     58 |  0.003 % |
157.67/157.89	c |    242283 |     200    17000   119000 |    68082    61561     58 |  0.003 % |
158.38/158.53	c |    243441 |     200    17000   119000 |    68082    62719     58 |  0.003 % |
159.17/159.35	c |    244715 |     200    17000   119000 |    68082    63993     58 |  0.003 % |
160.07/160.25	c |    246115 |     200    17000   119000 |    68082    65393     58 |  0.003 % |
161.07/161.25	c |    247655 |     200    17000   119000 |    68082    66933     58 |  0.003 % |
162.17/162.39	c |    249351 |     200    17000   119000 |    68082    61812     58 |  0.003 % |
163.27/163.46	c |    251214 |     200    17000   119000 | 2147483647    63675     58 |  0.003 % |
164.57/164.76	c |    253263 |     200    17000   119000 | 2147483647    65724     58 |  0.003 % |
165.97/166.19	c |    255516 |     200    17000   119000 | 2147483647    67977     58 |  0.003 % |
167.87/168.05	c |    257994 |     200    17000   119000 | 2147483647    70455     58 |  0.003 % |
167.97/168.13	c |    258094 |     200    17000   119000 | 2147483647    70555     58 |  0.003 % |
168.07/168.21	c |    258204 |     200    17000   119000 | 2147483647    70665     58 |  0.003 % |
168.17/168.31	c |    258326 |     200    17000   119000 | 2147483647    70787     58 |  0.003 % |
168.27/168.42	c |    258460 |     200    17000   119000 | 2147483647    70921     58 |  0.003 % |
168.37/168.54	c |    258606 |     200    17000   119000 | 2147483647    71067     58 |  0.003 % |
168.47/168.67	c |    258766 |     200    17000   119000 | 2147483647    71227     58 |  0.003 % |
168.67/168.80	c |    258943 |     200    17000   119000 | 2147483647    71404     58 |  0.003 % |
168.77/168.96	c |    259136 |     200    17000   119000 | 2147483647    71597     58 |  0.003 % |
168.97/169.12	c |    259348 |     200    17000   119000 | 2147483647    71809     58 |  0.003 % |
169.07/169.28	c |    259582 |     200    17000   119000 | 2147483647    72043     58 |  0.003 % |
169.27/169.48	c |    259838 |     200    17000   119000 | 2147483647    72299     58 |  0.003 % |
169.57/169.71	c |    260119 |     200    17000   119000 | 2147483647    72580     58 |  0.003 % |
169.77/169.94	c |    260429 |     200    17000   119000 | 2147483647    72890     58 |  0.003 % |
170.07/170.20	c |    260769 |     200    17000   119000 | 2147483647    73230     58 |  0.003 % |
170.27/170.47	c |    261141 |     200    17000   119000 | 2147483647    73602     58 |  0.003 % |
170.57/170.79	c |    261551 |     200    17000   119000 | 2147483647    74012     58 |  0.003 % |
170.97/171.19	c |    262001 |     200    17000   119000 | 2147483647    74462     58 |  0.003 % |
171.46/171.61	c |    262494 |     200    17000   119000 | 2147483647    74955     58 |  0.003 % |
171.87/172.05	c |    263036 |     200    17000   119000 | 2147483647    75497     58 |  0.003 % |
172.36/172.56	c |    263633 |     200    17000   119000 | 2147483647    76094     58 |  0.003 % |
172.96/173.12	c |    264288 |     200    17000   119000 | 2147483647    76749     58 |  0.003 % |
173.46/173.66	c |    265009 |     200    17000   119000 | 2147483647    77470     58 |  0.003 % |
174.16/174.34	c |    265801 |     200    17000   119000 | 2147483647    78262     58 |  0.003 % |
174.87/175.02	c |    266672 |     200    17000   119000 | 2147483647    79133     58 |  0.003 % |
175.66/175.86	c |    267630 |     200    17000   119000 | 2147483647    80091     58 |  0.003 % |
176.56/176.75	c |    268686 |     200    17000   119000 | 2147483647    81147     58 |  0.003 % |
177.46/177.69	c |    269846 |     200    17000   119000 | 2147483647    82307     58 |  0.003 % |
178.56/178.73	c |    271119 |     200    17000   119000 |    82461    71763     58 |  0.003 % |
179.66/179.80	c |    272522 |     200    17000   119000 |    82461    73166     58 |  0.003 % |
180.76/180.97	c |    274062 |     200    17000   119000 |    82461    74706     58 |  0.003 % |
182.16/182.38	c |    275757 |     200    17000   119000 |    82461    76401     58 |  0.003 % |
183.66/183.85	c |    277625 |     200    17000   119000 |    82461    78269     58 |  0.003 % |
185.26/185.42	c |    279674 |     200    17000   119000 |    82461    80318     58 |  0.003 % |
186.96/187.16	c |    281927 |     200    17000   119000 |    80646    71162     58 |  0.003 % |
188.86/189.08	c |    284408 |     200    17000   119000 |    80646    73643     58 |  0.003 % |
190.95/191.16	c |    287134 |     200    17000   119000 |    80646    76369     58 |  0.003 % |
191.05/191.24	c |    287236 |     200    17000   119000 |    80646    76471     58 |  0.003 % |
191.15/191.34	c |    287346 |     200    17000   119000 |    80646    76581     58 |  0.003 % |
191.25/191.45	c |    287468 |     200    17000   119000 |    80646    76703     58 |  0.003 % |
191.36/191.58	c |    287602 |     200    17000   119000 |    80646    76837     58 |  0.003 % |
191.55/191.71	c |    287749 |     200    17000   119000 |    80646    76984     58 |  0.003 % |
191.65/191.84	c |    287911 |     200    17000   119000 |    80646    77146     58 |  0.003 % |
191.85/192.00	c |    288087 |     200    17000   119000 |    80646    77322     58 |  0.003 % |
192.05/192.20	c |    288280 |     200    17000   119000 |    80646    77515     58 |  0.003 % |
192.15/192.39	c |    288493 |     200    17000   119000 |    80646    77728     58 |  0.003 % |
192.35/192.60	c |    288726 |     200    17000   119000 |    80646    77961     58 |  0.003 % |
192.65/192.80	c |    288985 |     200    17000   119000 |    80646    78220     58 |  0.003 % |
192.85/193.07	c |    289266 |     200    17000   119000 |    80646    78501     58 |  0.003 % |
193.15/193.34	c |    289575 |     200    17000   119000 |    80646    78810     58 |  0.003 % |
193.56/193.71	c |    289915 |     200    17000   119000 |    80646    79150     58 |  0.003 % |
193.95/194.12	c |    290287 |     200    17000   119000 |    79238    68346     58 |  0.003 % |
194.25/194.45	c |    290696 |     200    17000   119000 |    79238    68755     58 |  0.003 % |
194.55/194.77	c |    291145 |     200    17000   119000 |    79238    69204     58 |  0.003 % |
194.95/195.14	c |    291639 |     200    17000   119000 |    79238    69698     58 |  0.003 % |
195.35/195.56	c |    292181 |     200    17000   119000 |    79238    70240     58 |  0.003 % |
195.86/196.01	c |    292779 |     200    17000   119000 |    79238    70838     58 |  0.003 % |
196.25/196.49	c |    293435 |     200    17000   119000 |    79238    71494     58 |  0.003 % |
196.86/197.03	c |    294155 |     200    17000   119000 |    79238    72214     58 |  0.003 % |
197.35/197.58	c |    294949 |     200    17000   119000 |    79238    73008     58 |  0.003 % |
198.06/198.25	c |    295821 |     200    17000   119000 |    79238    73880     58 |  0.003 % |
198.75/198.94	c |    296779 |     200    17000   119000 |    79238    74838     58 |  0.003 % |
199.55/199.72	c |    297832 |     200    17000   119000 |    79238    75891     58 |  0.003 % |
200.35/200.56	c |    298991 |     200    17000   119000 |    79238    77050     58 |  0.003 % |
201.36/201.56	c |    300264 |     200    17000   119000 |    78060    68497     58 |  0.003 % |
202.25/202.49	c |    301665 |     200    17000   119000 |    78060    69898     58 |  0.003 % |
203.35/203.51	c |    303207 |     200    17000   119000 |    78060    71440     58 |  0.003 % |
204.45/204.69	c |    304901 |     200    17000   119000 |    78060    73134     58 |  0.003 % |
205.75/205.96	c |    306764 |     200    17000   119000 |    78060    74997     58 |  0.003 % |
207.25/207.40	c |    308814 |     200    17000   119000 |    78060    77047     58 |  0.003 % |
208.95/209.14	c |    311067 |     200    17000   119000 |    68846    61689     58 |  0.003 % |
210.75/210.94	c |    313546 |     200    17000   119000 |    68846    64168     58 |  0.003 % |
212.75/212.91	c |    316272 |     200    17000   119000 |    68846    66894     58 |  0.003 % |
214.75/214.90	c |    319269 |     200    17000   119000 |    68846    62838     58 |  0.003 % |
214.75/214.97	c |    319372 |     200    17000   119000 |    68846    62941     58 |  0.003 % |
214.85/215.06	c |    319483 |     200    17000   119000 |    68846    63052     58 |  0.003 % |
214.95/215.15	c |    319604 |     200    17000   119000 |    68846    63173     58 |  0.003 % |
215.05/215.26	c |    319737 |     200    17000   119000 |    68846    63306     58 |  0.003 % |
215.15/215.34	c |    319883 |     200    17000   119000 |    68846    63452     58 |  0.003 % |
215.25/215.45	c |    320046 |     200    17000   119000 | 2147483647    63615     58 |  0.003 % |
215.45/215.60	c |    320222 |     200    17000   119000 | 2147483647    63791     58 |  0.003 % |
215.55/215.73	c |    320418 |     200    17000   119000 | 2147483647    63987     58 |  0.003 % |
215.65/215.89	c |    320630 |     200    17000   119000 | 2147483647    64199     58 |  0.003 % |
215.85/216.04	c |    320863 |     200    17000   119000 | 2147483647    64432     58 |  0.003 % |
216.05/216.25	c |    321120 |     200    17000   119000 | 2147483647    64689     58 |  0.003 % |
216.25/216.46	c |    321403 |     200    17000   119000 | 2147483647    64972     58 |  0.003 % |
216.55/216.70	c |    321713 |     200    17000   119000 | 2147483647    65282     58 |  0.003 % |
216.76/216.95	c |    322053 |     200    17000   119000 | 2147483647    65622     58 |  0.003 % |
217.05/217.27	c |    322425 |     200    17000   119000 | 2147483647    65994     58 |  0.003 % |
217.35/217.57	c |    322834 |     200    17000   119000 | 2147483647    66403     58 |  0.003 % |
217.76/217.92	c |    323283 |     200    17000   119000 | 2147483647    66852     58 |  0.003 % |
218.05/218.27	c |    323777 |     200    17000   119000 | 2147483647    67346     58 |  0.003 % |
218.45/218.66	c |    324319 |     200    17000   119000 | 2147483647    67888     58 |  0.003 % |
218.85/219.07	c |    324916 |     200    17000   119000 | 2147483647    68485     58 |  0.003 % |
219.35/219.53	c |    325572 |     200    17000   119000 | 2147483647    69141     58 |  0.003 % |
219.95/220.13	c |    326292 |     200    17000   119000 | 2147483647    69861     58 |  0.003 % |
220.55/220.72	c |    327084 |     200    17000   119000 | 2147483647    70653     58 |  0.003 % |
221.25/221.48	c |    327955 |     200    17000   119000 | 2147483647    71524     58 |  0.003 % |
222.05/222.23	c |    328914 |     200    17000   119000 | 2147483647    72483     58 |  0.003 % |
222.75/223.00	c |    329967 |     200    17000   119000 | 2147483647    73536     58 |  0.003 % |
223.65/223.81	c |    331127 |     200    17000   119000 |    73569    66406     58 |  0.003 % |
224.45/224.66	c |    332400 |     200    17000   119000 |    73569    67679     58 |  0.003 % |
225.35/225.60	c |    333800 |     200    17000   119000 |    73569    69079     58 |  0.003 % |
226.35/226.56	c |    335340 |     200    17000   119000 |    73569    70619     58 |  0.003 % |
227.55/227.72	c |    337034 |     200    17000   119000 |    73569    72313     58 |  0.003 % |
229.15/229.37	c |    338897 |     200    17000   119000 |    73569    66026     58 |  0.003 % |
230.74/230.91	c |    340946 |     200    17000   119000 |    67129    60580     58 |  0.003 % |
232.05/232.22	c |    343202 |     200    17000   119000 |    67129    62836     58 |  0.003 % |
233.64/233.82	c |    345681 |     200    17000   119000 |    67129    65315     58 |  0.003 % |
235.24/235.49	c |    348409 |     200    17000   119000 |    67129    61322     58 |  0.003 % |
237.24/237.42	c |    351408 |     200    17000   119000 | 2147483647    64321     58 |  0.003 % |
239.24/239.47	c |    354704 |     200    17000   119000 | 2147483647    67617     58 |  0.003 % |
239.34/239.54	c |    354804 |     200    17000   119000 | 2147483647    67717     58 |  0.003 % |
239.44/239.62	c |    354915 |     200    17000   119000 | 2147483647    67828     58 |  0.003 % |
239.54/239.72	c |    355036 |     200    17000   119000 | 2147483647    67949     58 |  0.003 % |
239.64/239.84	c |    355172 |     200    17000   119000 | 2147483647    68085     58 |  0.003 % |
239.74/239.95	c |    355319 |     200    17000   119000 | 2147483647    68232     58 |  0.003 % |
239.84/240.08	c |    355482 |     200    17000   119000 | 2147483647    68395     58 |  0.003 % |
240.04/240.26	c |    355658 |     200    17000   119000 | 2147483647    68571     58 |  0.003 % |
240.24/240.41	c |    355852 |     200    17000   119000 | 2147483647    68765     58 |  0.003 % |
240.34/240.57	c |    356066 |     200    17000   119000 | 2147483647    68979     58 |  0.003 % |
240.54/240.77	c |    356300 |     200    17000   119000 | 2147483647    69213     58 |  0.003 % |
240.74/240.99	c |    356556 |     200    17000   119000 | 2147483647    69469     58 |  0.003 % |
241.04/241.23	c |    356838 |     200    17000   119000 | 2147483647    69751     58 |  0.003 % |
241.24/241.46	c |    357148 |     200    17000   119000 | 2147483647    70061     58 |  0.003 % |
241.44/241.70	c |    357489 |     200    17000   119000 | 2147483647    70402     58 |  0.003 % |
241.74/241.97	c |    357861 |     200    17000   119000 | 2147483647    70774     58 |  0.003 % |
242.04/242.27	c |    358271 |     200    17000   119000 | 2147483647    71184     58 |  0.003 % |
242.34/242.59	c |    358720 |     200    17000   119000 | 2147483647    71633     58 |  0.003 % |
242.74/242.97	c |    359215 |     200    17000   119000 | 2147483647    72128     58 |  0.003 % |
243.14/243.39	c |    359759 |     200    17000   119000 | 2147483647    72672     58 |  0.003 % |
243.64/243.80	c |    360355 |     200    17000   119000 | 2147483647    73268     58 |  0.003 % |
244.14/244.32	c |    361010 |     200    17000   119000 | 2147483647    73923     58 |  0.003 % |
244.74/244.92	c |    361731 |     200    17000   119000 | 2147483647    74644     58 |  0.003 % |
245.34/245.56	c |    362523 |     200    17000   119000 | 2147483647    75436     58 |  0.003 % |
246.04/246.26	c |    363394 |     200    17000   119000 | 2147483647    76307     58 |  0.003 % |
246.94/247.11	c |    364353 |     200    17000   119000 | 2147483647    77266     58 |  0.003 % |
247.74/247.98	c |    365407 |     200    17000   119000 | 2147483647    78320     58 |  0.003 % |
248.74/248.90	c |    366566 |     200    17000   119000 | 2147483647    79479     58 |  0.003 % |
249.74/249.96	c |    367840 |     200    17000   119000 | 2147483647    80753     58 |  0.003 % |
250.84/251.05	c |    369242 |     200    17000   119000 | 2147483647    82155     58 |  0.003 % |
252.13/252.33	c |    370783 |     200    17000   119000 |    82913    71866     58 |  0.003 % |
253.33/253.59	c |    372477 |     200    17000   119000 |    82913    73560     58 |  0.003 % |
254.83/255.08	c |    374342 |     200    17000   119000 |    82913    75425     58 |  0.003 % |
256.43/256.62	c |    376392 |     200    17000   119000 |    82913    77475     58 |  0.003 % |
258.13/258.38	c |    378645 |     200    17000   119000 |    82913    79728     58 |  0.003 % |
260.23/260.46	c |    381124 |     200    17000   119000 |    81085    70628     58 |  0.003 % |
262.33/262.53	c |    383851 |     200    17000   119000 |    81085    73355     58 |  0.003 % |
264.43/264.61	c |    386849 |     200    17000   119000 |    81085    76353     58 |  0.003 % |
266.93/267.14	c |    390145 |     200    17000   119000 |    79506    69492     58 |  0.003 % |
269.43/269.63	c |    393770 |     200    17000   119000 |    79506    73117     58 |  0.003 % |
269.53/269.72	c |    393875 |     200    17000   119000 |    79506    73222     58 |  0.003 % |
269.62/269.83	c |    393985 |     200    17000   119000 |    79506    73332     58 |  0.003 % |
269.72/269.93	c |    394107 |     200    17000   119000 |    79506    73454     58 |  0.003 % |
269.82/270.06	c |    394241 |     200    17000   119000 |    79506    73588     58 |  0.003 % |
269.92/270.16	c |    394387 |     200    17000   119000 |    79506    73734     58 |  0.003 % |
270.02/270.29	c |    394549 |     200    17000   119000 |    79506    73896     58 |  0.003 % |
270.22/270.47	c |    394725 |     200    17000   119000 |    79506    74072     58 |  0.003 % |
270.42/270.64	c |    394918 |     200    17000   119000 |    79506    74265     58 |  0.003 % |
270.62/270.82	c |    395132 |     200    17000   119000 |    79506    74479     58 |  0.003 % |
270.82/271.02	c |    395365 |     200    17000   119000 |    79506    74712     58 |  0.003 % |
271.02/271.20	c |    395621 |     200    17000   119000 |    79506    74968     58 |  0.003 % |
271.22/271.43	c |    395902 |     200    17000   119000 |    79506    75249     58 |  0.003 % |
271.42/271.67	c |    396211 |     200    17000   119000 |    79506    75558     58 |  0.003 % |
271.72/271.93	c |    396550 |     200    17000   119000 |    79506    75897     58 |  0.003 % |
272.02/272.27	c |    396922 |     200    17000   119000 |    79506    76269     58 |  0.003 % |
272.42/272.62	c |    397331 |     200    17000   119000 |    79506    76678     58 |  0.003 % |
272.72/272.97	c |    397780 |     200    17000   119000 |    79506    77127     58 |  0.003 % |
273.12/273.36	c |    398274 |     200    17000   119000 |    79506    77621     58 |  0.003 % |
273.62/273.80	c |    398817 |     200    17000   119000 |    79506    78164     58 |  0.003 % |
274.02/274.29	c |    399415 |     200    17000   119000 |    79506    78762     58 |  0.003 % |
274.52/274.79	c |    400071 |     200    17000   119000 |    79348    79418     58 |  0.003 % |
275.22/275.41	c |    400792 |     200    17000   119000 |    79348    69264     58 |  0.003 % |
275.82/276.00	c |    401587 |     200    17000   119000 |    79348    70059     58 |  0.003 % |
276.42/276.69	c |    402461 |     200    17000   119000 |    79348    70933     58 |  0.003 % |
277.22/277.47	c |    403421 |     200    17000   119000 |    79348    71893     58 |  0.003 % |
278.02/278.25	c |    404475 |     200    17000   119000 |    79348    72947     58 |  0.003 % |
278.92/279.11	c |    405633 |     200    17000   119000 |    79348    74105     58 |  0.003 % |
279.92/280.13	c |    406907 |     200    17000   119000 |    79348    75379     58 |  0.003 % |
280.92/281.16	c |    408308 |     200    17000   119000 |    79348    76780     58 |  0.003 % |
282.12/282.30	c |    409848 |     200    17000   119000 |    79348    78320     58 |  0.003 % |
283.32/283.51	c |    411543 |     200    17000   119000 |    78472    69831     58 |  0.003 % |
284.61/284.84	c |    413408 |     200    17000   119000 |    78472    71696     58 |  0.003 % |
286.21/286.47	c |    415459 |     200    17000   119000 |    78472    73747     58 |  0.003 % |
288.01/288.22	c |    417713 |     200    17000   119000 |    78472    76001     58 |  0.003 % |
289.90/290.16	c |    420192 |     200    17000   119000 |    78288    68607     58 |  0.003 % |
291.91/292.15	c |    422917 |     200    17000   119000 |    78288    71332     58 |  0.003 % |
294.00/294.27	c |    425916 |     200    17000   119000 |    78288    74331     58 |  0.003 % |
296.40/296.60	c |    429214 |     200    17000   119000 |    78288    77629     58 |  0.003 % |
298.90/299.19	c |    432840 |     200    17000   119000 |    68948    63473     58 |  0.003 % |
301.60/301.86	c |    436830 |     200    17000   119000 |    68948    67463     58 |  0.003 % |
301.70/301.93	c |    436930 |     200    17000   119000 |    68948    67563     58 |  0.003 % |
301.80/302.02	c |    437040 |     200    17000   119000 |    68948    67673     58 |  0.003 % |
301.90/302.13	c |    437163 |     200    17000   119000 |    68948    67796     58 |  0.003 % |
302.00/302.24	c |    437296 |     200    17000   119000 |    68948    67929     58 |  0.003 % |
302.10/302.37	c |    437443 |     200    17000   119000 |    68948    68076     58 |  0.003 % |
302.30/302.50	c |    437603 |     200    17000   119000 |    68948    68236     58 |  0.003 % |
302.41/302.64	c |    437781 |     200    17000   119000 |    68948    68414     58 |  0.003 % |
302.51/302.78	c |    437974 |     200    17000   119000 |    68948    68607     58 |  0.003 % |
302.70/302.93	c |    438187 |     200    17000   119000 |    68948    68820     58 |  0.003 % |
302.90/303.16	c |    438420 |     200    17000   119000 |    68948    62149     58 |  0.003 % |
303.10/303.33	c |    438676 |     200    17000   119000 |    68948    62405     58 |  0.003 % |
303.30/303.53	c |    438958 |     200    17000   119000 |    68948    62687     58 |  0.003 % |
303.50/303.73	c |    439268 |     200    17000   119000 |    68948    62997     58 |  0.003 % |
303.70/303.96	c |    439608 |     200    17000   119000 |    68948    63337     58 |  0.003 % |
304.00/304.21	c |    439980 |     200    17000   119000 |    68948    63709     58 |  0.003 % |
304.20/304.49	c |    440390 |     200    17000   119000 | 2147483647    64119     58 |  0.003 % |
304.50/304.80	c |    440841 |     200    17000   119000 | 2147483647    64570     58 |  0.003 % |
304.90/305.14	c |    441334 |     200    17000   119000 | 2147483647    65063     58 |  0.003 % |
305.30/305.51	c |    441877 |     200    17000   119000 | 2147483647    65606     58 |  0.003 % |
305.70/305.91	c |    442477 |     200    17000   119000 | 2147483647    66206     58 |  0.003 % |
306.10/306.32	c |    443136 |     200    17000   119000 | 2147483647    66865     58 |  0.003 % |
306.50/306.74	c |    443856 |     200    17000   119000 | 2147483647    67585     58 |  0.003 % |
307.00/307.22	c |    444650 |     200    17000   119000 | 2147483647    68379     58 |  0.003 % |
307.50/307.75	c |    445522 |     200    17000   119000 | 2147483647    69251     58 |  0.003 % |
308.30/308.51	c |    446480 |     200    17000   119000 | 2147483647    70209     58 |  0.003 % |
309.10/309.31	c |    447534 |     200    17000   119000 | 2147483647    71263     58 |  0.003 % |
309.90/310.13	c |    448695 |     200    17000   119000 | 2147483647    72424     58 |  0.003 % |
310.80/311.04	c |    449970 |     200    17000   119000 | 2147483647    73699     58 |  0.003 % |
311.90/312.10	c |    451372 |     200    17000   119000 | 2147483647    75101     58 |  0.003 % |
313.00/313.21	c |    452913 |     200    17000   119000 | 2147483647    76642     58 |  0.003 % |
314.40/314.61	c |    454607 |     200    17000   119000 | 2147483647    78336     58 |  0.003 % |
315.89/316.15	c |    456470 |     200    17000   119000 | 2147483647    80199     58 |  0.003 % |
317.69/317.90	c |    458520 |     200    17000   119000 | 2147483647    82249     58 |  0.003 % |
319.69/319.91	c |    460775 |     200    17000   119000 |    83730    72664     58 |  0.003 % |
321.49/321.78	c |    463256 |     200    17000   119000 |    83730    75145     58 |  0.003 % |
323.59/323.83	c |    465983 |     200    17000   119000 |    83730    77872     58 |  0.003 % |
325.79/326.04	c |    468980 |     200    17000   119000 |    83730    80869     58 |  0.003 % |
328.29/328.54	c |    472277 |     200    17000   119000 |    81889    72381     58 |  0.003 % |
330.79/331.07	c |    475905 |     200    17000   119000 |    81889    76009     58 |  0.003 % |
333.59/333.84	c |    479896 |     200    17000   119000 |    81889    80000     59 |  0.003 % |
336.89/337.18	c |    484281 |     200    17000   119000 |    80104    74149     59 |  0.003 % |
336.99/337.27	c |    484381 |     200    17000   119000 |    80104    74249     59 |  0.003 % |
337.09/337.36	c |    484491 |     200    17000   119000 |    80104    74359     59 |  0.003 % |
337.19/337.46	c |    484612 |     200    17000   119000 |    80104    74480     59 |  0.003 % |
337.29/337.57	c |    484746 |     200    17000   119000 |    80104    74614     59 |  0.003 % |
337.39/337.69	c |    484892 |     200    17000   119000 |    80104    74760     59 |  0.003 % |
337.59/337.83	c |    485055 |     200    17000   119000 |    80104    74923     59 |  0.003 % |
337.78/338.04	c |    485231 |     200    17000   119000 |    80104    75099     59 |  0.003 % |
337.98/338.20	c |    485424 |     200    17000   119000 |    80104    75292     59 |  0.003 % |
338.08/338.39	c |    485638 |     200    17000   119000 |    80104    75506     59 |  0.003 % |
338.28/338.60	c |    485872 |     200    17000   119000 |    80104    75740     59 |  0.003 % |
338.58/338.84	c |    486128 |     200    17000   119000 |    80104    75996     59 |  0.003 % |
338.79/339.09	c |    486409 |     200    17000   119000 |    80104    76277     59 |  0.003 % |
339.08/339.37	c |    486718 |     200    17000   119000 |    80104    76586     59 |  0.003 % |
339.38/339.65	c |    487058 |     200    17000   119000 |    80104    76926     59 |  0.003 % |
339.79/340.05	c |    487430 |     200    17000   119000 |    80104    77298     59 |  0.003 % |
340.18/340.40	c |    487842 |     200    17000   119000 |    80104    77710     59 |  0.003 % |
340.48/340.79	c |    488291 |     200    17000   119000 |    80104    78159     59 |  0.003 % |
340.89/341.17	c |    488785 |     200    17000   119000 |    80104    78653     59 |  0.003 % |
341.38/341.63	c |    489327 |     200    17000   119000 |    80104    79195     59 |  0.003 % |
341.88/342.10	c |    489925 |     200    17000   119000 |    80104    79793     59 |  0.003 % |
342.38/342.65	c |    490580 |     200    17000   119000 |    79870    69271     59 |  0.003 % |
342.88/343.19	c |    491300 |     200    17000   119000 |    79870    69991     59 |  0.003 % |
343.58/343.80	c |    492092 |     200    17000   119000 |    79870    70783     59 |  0.003 % |
344.19/344.44	c |    492964 |     200    17000   119000 |    79870    71655     59 |  0.003 % |
344.88/345.10	c |    493922 |     200    17000   119000 |    79870    72613     59 |  0.003 % |
345.58/345.81	c |    494976 |     200    17000   119000 |    79870    73667     59 |  0.003 % |
346.28/346.57	c |    496135 |     200    17000   119000 |    79870    74826     59 |  0.003 % |
347.28/347.51	c |    497408 |     200    17000   119000 |    79870    76099     59 |  0.003 % |
348.68/348.91	c |    498809 |     200    17000   119000 |    79870    77500     59 |  0.003 % |
350.37/350.68	c |    500349 |     200    17000   119000 |    78691    68789     59 |  0.003 % |
351.83/352.33	c |    502043 |     200    17000   119000 |    78691    70483     59 |  0.003 % |
353.29/353.82	c |    503907 |     200    17000   119000 |    78691    72347     59 |  0.003 % |
354.80/355.36	c |    505958 |     200    17000   119000 |    78691    74398     59 |  0.003 % |
356.49/357.00	c |    508212 |     200    17000   119000 |    78691    76652     59 |  0.003 % |
358.39/358.93	c |    510690 |     200    17000   119000 |    78443    68591     59 |  0.003 % |
360.18/360.79	c |    513416 |     200    17000   119000 |    78443    71317     59 |  0.003 % |
362.28/362.97	c |    516415 |     200    17000   119000 |    78443    74316     59 |  0.003 % |
364.77/365.45	c |    519712 |     200    17000   119000 |    78443    77613     59 |  0.003 % |
368.35/369.06	c |    523337 |     200    17000   119000 |    77901    72214     59 |  0.003 % |
371.94/372.70	c |    527325 |     200    17000   119000 |    77901    76202     59 |  0.003 % |
375.32/376.02	c |    531710 |     200    17000   119000 |    69463    62881     59 |  0.003 % |
378.42/379.13	c |    536533 |     200    17000   119000 |    69463    67704     59 |  0.003 % |
378.52/379.23	c |    536634 |     200    17000   119000 |    69463    67805     59 |  0.003 % |
378.62/379.30	c |    536744 |     200    17000   119000 |    69463    67915     59 |  0.003 % |
378.62/379.40	c |    536866 |     200    17000   119000 |    69463    68037     59 |  0.003 % |
378.73/379.50	c |    537000 |     200    17000   119000 |    69463    68171     59 |  0.003 % |
378.92/379.61	c |    537146 |     200    17000   119000 |    69463    68317     59 |  0.003 % |
379.02/379.74	c |    537306 |     200    17000   119000 |    69463    68477     59 |  0.003 % |
379.12/379.87	c |    537484 |     200    17000   119000 |    69463    68655     59 |  0.003 % |
379.32/380.05	c |    537677 |     200    17000   119000 |    69463    68848     59 |  0.003 % |
379.53/380.21	c |    537889 |     200    17000   119000 |    69463    69060     59 |  0.003 % |
379.72/380.41	c |    538123 |     200    17000   119000 |    69463    69294     59 |  0.003 % |
379.92/380.65	c |    538379 |     200    17000   119000 |    69463    62596     59 |  0.003 % |
380.12/380.85	c |    538660 |     200    17000   119000 |    69463    62877     59 |  0.003 % |
380.32/381.05	c |    538970 |     200    17000   119000 |    69463    63187     59 |  0.003 % |
380.62/381.30	c |    539309 |     200    17000   119000 |    69463    63526     59 |  0.003 % |
380.82/381.57	c |    539681 |     200    17000   119000 |    69463    63898     59 |  0.003 % |
381.12/381.87	c |    540090 |     200    17000   119000 | 2147483647    64307     59 |  0.003 % |
381.52/382.21	c |    540539 |     200    17000   119000 | 2147483647    64756     59 |  0.003 % |
381.82/382.56	c |    541033 |     200    17000   119000 | 2147483647    65250     59 |  0.003 % |
382.22/382.98	c |    541575 |     200    17000   119000 | 2147483647    65792     59 |  0.003 % |
382.72/383.43	c |    542172 |     200    17000   119000 | 2147483647    66389     59 |  0.003 % |
383.32/384.10	c |    542827 |     200    17000   119000 | 2147483647    67044     59 |  0.003 % |
383.91/384.61	c |    543547 |     200    17000   119000 | 2147483647    67764     59 |  0.003 % |
384.51/385.22	c |    544339 |     200    17000   119000 | 2147483647    68556     59 |  0.003 % |
385.11/385.81	c |    545211 |     200    17000   119000 | 2147483647    69428     59 |  0.003 % |
385.70/386.47	c |    546169 |     200    17000   119000 | 2147483647    70386     59 |  0.003 % |
386.40/387.18	c |    547222 |     200    17000   119000 | 2147483647    71439     59 |  0.003 % |
387.19/387.97	c |    548382 |     200    17000   119000 | 2147483647    72599     59 |  0.003 % |
388.19/388.96	c |    549656 |     200    17000   119000 | 2147483647    73873     59 |  0.003 % |
389.27/390.05	c |    551056 |     200    17000   119000 |    74219    67704     58 |  0.003 % |
390.47/391.23	c |    552596 |     200    17000   119000 |    74219    69244     58 |  0.003 % |
391.77/392.54	c |    554290 |     200    17000   119000 |    74219    70938     58 |  0.003 % |
393.17/393.96	c |    556155 |     200    17000   119000 |    74219    72803     58 |  0.003 % |
394.67/395.41	c |    558205 |     200    17000   119000 |    74219    66137     59 |  0.003 % |
396.07/396.87	c |    560460 |     200    17000   119000 |    67932    60871     59 |  0.003 % |
397.57/398.34	c |    562938 |     200    17000   119000 |    67932    63349     59 |  0.003 % |
399.27/400.02	c |    565665 |     200    17000   119000 |    67932    66076     59 |  0.003 % |
401.26/402.01	c |    568662 |     200    17000   119000 |    67932    62271     58 |  0.003 % |
403.56/404.37	c |    571959 |     200    17000   119000 | 2147483647    65568     58 |  0.003 % |
405.86/406.64	c |    575584 |     200    17000   119000 | 2147483647    69193     58 |  0.003 % |
408.66/409.42	c |    579572 |     200    17000   119000 | 2147483647    73181     59 |  0.003 % |
411.96/412.78	c |    583958 |     200    17000   119000 | 2147483647    77567     59 |  0.003 % |
415.86/416.61	c |    588781 |     200    17000   119000 | 2147483647    82390     59 |  0.003 % |
419.96/420.72	c |    594086 |     200    17000   119000 |    83614    76240     59 |  0.003 % |
420.06/420.82	c |    594188 |     200    17000   119000 |    83614    76342     59 |  0.003 % |
420.16/420.90	c |    594299 |     200    17000   119000 |    83614    76453     59 |  0.003 % |
420.26/421.02	c |    594421 |     200    17000   119000 |    83614    76575     59 |  0.003 % |
420.36/421.14	c |    594555 |     200    17000   119000 |    83614    76709     59 |  0.003 % |
420.46/421.28	c |    594701 |     200    17000   119000 |    83614    76855     59 |  0.003 % |
420.66/421.43	c |    594861 |     200    17000   119000 |    83614    77015     59 |  0.003 % |
420.76/421.58	c |    595038 |     200    17000   119000 |    83614    77192     59 |  0.003 % |
420.95/421.77	c |    595232 |     200    17000   119000 |    83614    77386     59 |  0.003 % |
421.15/421.95	c |    595444 |     200    17000   119000 |    83614    77598     59 |  0.003 % |
421.35/422.16	c |    595678 |     200    17000   119000 |    83614    77832     59 |  0.003 % |
421.55/422.38	c |    595936 |     200    17000   119000 |    83614    78090     59 |  0.003 % |
421.86/422.61	c |    596217 |     200    17000   119000 |    83614    78371     59 |  0.003 % |
422.05/422.88	c |    596527 |     200    17000   119000 |    83614    78681     59 |  0.003 % |
422.45/423.24	c |    596866 |     200    17000   119000 |    83614    79020     59 |  0.003 % |
422.75/423.58	c |    597238 |     200    17000   119000 |    83614    79392     58 |  0.003 % |
423.15/423.94	c |    597648 |     200    17000   119000 |    83614    79802     58 |  0.003 % |
423.55/424.35	c |    598098 |     200    17000   119000 |    83614    80252     58 |  0.003 % |
424.06/424.80	c |    598594 |     200    17000   119000 |    83614    80748     58 |  0.003 % |
424.55/425.32	c |    599137 |     200    17000   119000 |    83614    81291     58 |  0.003 % |
425.06/425.85	c |    599733 |     200    17000   119000 |    83614    81887     58 |  0.003 % |
425.75/426.50	c |    600389 |     200    17000   119000 |    82155    69658     58 |  0.003 % |
426.26/427.06	c |    601111 |     200    17000   119000 |    82155    70380     58 |  0.003 % |
426.95/427.71	c |    601904 |     200    17000   119000 |    82155    71173     58 |  0.003 % |
427.55/428.34	c |    602775 |     200    17000   119000 |    82155    72044     58 |  0.003 % |
428.25/429.01	c |    603735 |     200    17000   119000 |    82155    73004     58 |  0.003 % |
428.95/429.79	c |    604788 |     200    17000   119000 |    82155    74057     58 |  0.003 % |
429.85/430.64	c |    605946 |     200    17000   119000 |    82155    75215     58 |  0.003 % |
430.85/431.63	c |    607219 |     200    17000   119000 |    82155    76488     58 |  0.003 % |
431.95/432.73	c |    608619 |     200    17000   119000 |    82155    77888     58 |  0.003 % |
433.15/433.97	c |    610159 |     200    17000   119000 |    79269    68614     58 |  0.003 % |
434.35/435.14	c |    611853 |     200    17000   119000 |    79269    70308     58 |  0.003 % |
435.65/436.46	c |    613717 |     200    17000   119000 |    79269    72172     58 |  0.003 % |
437.15/437.94	c |    615768 |     200    17000   119000 |    79269    74223     58 |  0.003 % |
438.85/439.60	c |    618023 |     200    17000   119000 |    79269    76478     58 |  0.003 % |
441.05/441.83	c |    620501 |     200    17000   119000 |    78455    68617     58 |  0.003 % |
443.15/443.94	c |    623228 |     200    17000   119000 |    78455    71344     58 |  0.003 % |
445.35/446.16	c |    626225 |     200    17000   119000 |    78455    74341     58 |  0.003 % |
448.05/448.80	c |    629521 |     200    17000   119000 |    78455    77637     58 |  0.003 % |
450.85/451.68	c |    633146 |     200    17000   119000 |    78116    71040     58 |  0.003 % |
453.85/454.67	c |    637133 |     200    17000   119000 |    78116    75027     58 |  0.003 % |
456.95/457.78	c |    641518 |     200    17000   119000 |    77896    69139     58 |  0.003 % |
460.64/461.46	c |    646342 |     200    17000   119000 |    77896    73963     58 |  0.003 % |
464.54/465.30	c |    651647 |     200    17000   119000 |    77621    69765     58 |  0.003 % |
468.44/469.22	c |    657482 |     200    17000   119000 |    77621    75600     58 |  0.003 % |
468.44/469.29	c |    657582 |     200    17000   119000 |    77621    75700     58 |  0.003 % |
468.64/469.41	c |    657692 |     200    17000   119000 |    77621    75810     58 |  0.003 % |
468.74/469.52	c |    657813 |     200    17000   119000 |    77621    75931     58 |  0.003 % |
468.84/469.63	c |    657946 |     200    17000   119000 |    77621    76064     58 |  0.003 % |
468.94/469.76	c |    658093 |     200    17000   119000 |    77621    76211     58 |  0.003 % |
469.14/469.92	c |    658254 |     200    17000   119000 |    77621    76372     58 |  0.003 % |
469.34/470.10	c |    658430 |     200    17000   119000 |    77621    76548     58 |  0.003 % |
469.44/470.28	c |    658623 |     200    17000   119000 |    77621    76741     58 |  0.003 % |
469.64/470.48	c |    658836 |     200    17000   119000 |    77621    76954     58 |  0.003 % |
469.84/470.68	c |    659069 |     200    17000   119000 |    77621    77187     58 |  0.003 % |
470.14/470.98	c |    659326 |     200    17000   119000 |    77621    77444     58 |  0.003 % |
470.54/471.32	c |    659608 |     200    17000   119000 |    77621    68314     58 |  0.003 % |
470.74/471.54	c |    659917 |     200    17000   119000 |    77621    68623     58 |  0.003 % |
471.04/471.84	c |    660257 |     200    17000   119000 |    68707    60751     58 |  0.003 % |
471.24/472.10	c |    660630 |     200    17000   119000 |    68707    61124     58 |  0.003 % |
471.54/472.39	c |    661039 |     200    17000   119000 |    68707    61533     58 |  0.003 % |
471.94/472.75	c |    661488 |     200    17000   119000 |    68707    61982     58 |  0.003 % |
472.34/473.11	c |    661983 |     200    17000   119000 |    68707    62477     58 |  0.003 % |
472.64/473.47	c |    662526 |     200    17000   119000 |    68707    63020     58 |  0.003 % |
473.14/473.94	c |    663122 |     200    17000   119000 |    68707    63616     58 |  0.003 % |
473.54/474.37	c |    663778 |     200    17000   119000 |    68707    64272     58 |  0.003 % |
474.04/474.90	c |    664498 |     200    17000   119000 |    68707    64992     58 |  0.003 % |
474.64/475.44	c |    665290 |     200    17000   119000 |    68707    65784     58 |  0.003 % |
475.24/476.03	c |    666161 |     200    17000   119000 |    68707    66655     58 |  0.003 % |
475.94/476.71	c |    667120 |     200    17000   119000 |    68707    67614     58 |  0.003 % |
476.64/477.44	c |    668174 |     200    17000   119000 |    68707    68668     58 |  0.003 % |
477.44/478.27	c |    669333 |     200    17000   119000 |    68707    62948     58 |  0.003 % |
478.34/479.13	c |    670608 |     200    17000   119000 | 2147483647    64223     58 |  0.003 % |
479.14/479.97	c |    672010 |     200    17000   119000 | 2147483647    65625     58 |  0.003 % |
480.34/481.12	c |    673551 |     200    17000   119000 | 2147483647    67166     58 |  0.003 % |
481.64/482.42	c |    675245 |     200    17000   119000 | 2147483647    68860     58 |  0.003 % |
482.84/483.67	c |    677108 |     200    17000   119000 | 2147483647    70723     58 |  0.003 % |
484.24/485.09	c |    679159 |     200    17000   119000 | 2147483647    72774     58 |  0.003 % |
485.84/486.68	c |    681412 |     200    17000   119000 |    73617    67485     58 |  0.003 % |
487.64/488.43	c |    683891 |     200    17000   119000 |    73617    69964     58 |  0.003 % |
489.83/490.60	c |    686616 |     200    17000   119000 |    73617    72689     58 |  0.003 % |
491.93/492.74	c |    689613 |     200    17000   119000 |    73617    68163     58 |  0.003 % |
494.23/495.07	c |    692909 |     200    17000   119000 | 2147483647    71459     58 |  0.003 % |
496.64/497.42	c |    696534 |     200    17000   119000 | 2147483647    75084     58 |  0.003 % |
499.94/500.71	c |    700522 |     200    17000   119000 |    78551    69862     58 |  0.003 % |
503.24/504.00	c |    704908 |     200    17000   119000 |    78551    74248     58 |  0.003 % |
506.83/507.68	c |    709731 |     200    17000   119000 |    78551    69356     58 |  0.003 % |
510.73/511.53	c |    715038 |     200    17000   119000 |    69625    66172     58 |  0.003 % |
514.93/515.71	c |    720873 |     200    17000   119000 | 2147483647    65036     58 |  0.003 % |
519.43/520.26	c |    727291 |     200    17000   119000 | 2147483647    71454     58 |  0.003 % |
519.53/520.33	c |    727392 |     200    17000   119000 | 2147483647    71555     58 |  0.003 % |
519.63/520.41	c |    727503 |     200    17000   119000 | 2147483647    71666     58 |  0.003 % |
519.73/520.55	c |    727624 |     200    17000   119000 | 2147483647    71787     58 |  0.003 % |
519.83/520.66	c |    727757 |     200    17000   119000 | 2147483647    71920     58 |  0.003 % |
519.93/520.78	c |    727903 |     200    17000   119000 | 2147483647    72066     58 |  0.003 % |
520.13/520.92	c |    728064 |     200    17000   119000 | 2147483647    72227     58 |  0.003 % |
520.23/521.09	c |    728240 |     200    17000   119000 | 2147483647    72403     58 |  0.003 % |
520.43/521.25	c |    728434 |     200    17000   119000 | 2147483647    72597     58 |  0.003 % |
520.63/521.42	c |    728646 |     200    17000   119000 | 2147483647    72809     58 |  0.003 % |
520.83/521.61	c |    728880 |     200    17000   119000 | 2147483647    73043     58 |  0.003 % |
521.03/521.80	c |    729137 |     200    17000   119000 | 2147483647    73300     58 |  0.003 % |
521.23/522.03	c |    729418 |     200    17000   119000 | 2147483647    73581     58 |  0.003 % |
521.43/522.27	c |    729727 |     200    17000   119000 | 2147483647    73890     58 |  0.003 % |
521.73/522.52	c |    730066 |     200    17000   119000 |    74164    74229     58 |  0.003 % |
522.13/522.90	c |    730438 |     200    17000   119000 |    74164    66288     58 |  0.003 % |
522.43/523.24	c |    730849 |     200    17000   119000 |    74164    66699     58 |  0.003 % |
522.73/523.57	c |    731298 |     200    17000   119000 |    74164    67148     58 |  0.003 % |
523.13/523.95	c |    731791 |     200    17000   119000 |    74164    67641     58 |  0.003 % |
523.53/524.36	c |    732333 |     200    17000   119000 |    74164    68183     58 |  0.003 % |
523.93/524.79	c |    732929 |     200    17000   119000 |    74164    68779     58 |  0.003 % |
524.43/525.28	c |    733585 |     200    17000   119000 |    74164    69435     58 |  0.003 % |
525.03/525.88	c |    734305 |     200    17000   119000 |    74164    70155     58 |  0.003 % |
525.73/526.52	c |    735097 |     200    17000   119000 |    74164    70947     58 |  0.003 % |
526.42/527.22	c |    735971 |     200    17000   119000 |    74164    71821     58 |  0.003 % |
527.12/527.94	c |    736930 |     200    17000   119000 |    74164    72780     58 |  0.003 % |
527.92/528.76	c |    737983 |     200    17000   119000 |    74164    73833     58 |  0.003 % |
528.72/529.57	c |    739142 |     200    17000   119000 |    74164    66030     58 |  0.003 % |
529.63/530.45	c |    740415 |     200    17000   119000 |    66888    59646     58 |  0.003 % |
530.52/531.38	c |    741815 |     200    17000   119000 |    66888    61046     58 |  0.003 % |
531.52/532.31	c |    743355 |     200    17000   119000 |    66888    62586     58 |  0.003 % |
532.42/533.25	c |    745050 |     200    17000   119000 |    66888    64281     58 |  0.003 % |
533.93/534.72	c |    746913 |     200    17000   119000 |    66888    66144     58 |  0.003 % |
535.32/536.14	c |    748965 |     200    17000   119000 |    66888    61499     58 |  0.003 % |
536.82/537.68	c |    751218 |     200    17000   119000 | 2147483647    63752     58 |  0.003 % |
538.43/539.27	c |    753701 |     200    17000   119000 | 2147483647    66235     58 |  0.003 % |
540.22/541.02	c |    756426 |     200    17000   119000 | 2147483647    68960     58 |  0.003 % |
542.12/542.90	c |    759423 |     200    17000   119000 | 2147483647    71957     58 |  0.003 % |
544.22/545.05	c |    762721 |     200    17000   119000 | 2147483647    75255     58 |  0.003 % |
546.82/547.63	c |    766348 |     200    17000   119000 | 2147483647    78882     58 |  0.003 % |
550.02/550.84	c |    770338 |     200    17000   119000 |    82535    72555     59 |  0.003 % |
553.22/554.07	c |    774725 |     200    17000   119000 |    82535    76942     59 |  0.003 % |
557.12/557.93	c |    779548 |     200    17000   119000 |    82535    81765     59 |  0.003 % |
561.21/562.04	c |    784853 |     200    17000   119000 |    82217    75813     59 |  0.003 % |
565.82/566.65	c |    790688 |     200    17000   119000 |    80960    69588     59 |  0.003 % |
570.41/571.25	c |    797108 |     200    17000   119000 |    80960    76008     59 |  0.003 % |
575.71/576.54	c |    804168 |     200    17000   119000 |    78900    72709     59 |  0.003 % |
575.81/576.62	c |    804268 |     200    17000   119000 |    78900    72809     59 |  0.003 % |
575.91/576.70	c |    804379 |     200    17000   119000 |    78900    72920     59 |  0.003 % |
576.01/576.80	c |    804501 |     200    17000   119000 |    78900    73042     59 |  0.003 % |
576.11/576.92	c |    804634 |     200    17000   119000 |    78900    73175     59 |  0.003 % |
576.21/577.06	c |    804780 |     200    17000   119000 |    78900    73321     59 |  0.003 % |
576.31/577.19	c |    804940 |     200    17000   119000 |    78900    73481     59 |  0.003 % |
576.51/577.35	c |    805116 |     200    17000   119000 |    78900    73657     59 |  0.003 % |
576.71/577.51	c |    805309 |     200    17000   119000 |    78900    73850     59 |  0.003 % |
576.81/577.70	c |    805522 |     200    17000   119000 |    78900    74063     59 |  0.003 % |
577.11/577.94	c |    805758 |     200    17000   119000 |    78900    74299     59 |  0.003 % |
577.31/578.15	c |    806014 |     200    17000   119000 |    78900    74555     59 |  0.003 % |
577.51/578.39	c |    806299 |     200    17000   119000 |    78900    74840     59 |  0.003 % |
577.81/578.66	c |    806613 |     200    17000   119000 |    78900    75154     59 |  0.003 % |
578.11/578.95	c |    806952 |     200    17000   119000 |    78900    75493     59 |  0.003 % |
578.41/579.27	c |    807324 |     200    17000   119000 |    78900    75865     59 |  0.003 % |
578.71/579.57	c |    807733 |     200    17000   119000 |    78900    76274     59 |  0.003 % |
579.11/579.93	c |    808183 |     200    17000   119000 |    78900    76724     59 |  0.003 % |
579.41/580.27	c |    808676 |     200    17000   119000 |    78900    77217     59 |  0.003 % |
579.91/580.75	c |    809218 |     200    17000   119000 |    78900    77759     59 |  0.003 % |
580.41/581.25	c |    809815 |     200    17000   119000 |    78900    78356     59 |  0.003 % |
581.01/581.81	c |    810470 |     200    17000   119000 |    78542    68706     59 |  0.003 % |
581.51/582.33	c |    811192 |     200    17000   119000 |    78542    69428     59 |  0.003 % |
582.11/582.92	c |    811985 |     200    17000   119000 |    78542    70221     59 |  0.003 % |
582.81/583.62	c |    812856 |     200    17000   119000 |    78542    71092     59 |  0.003 % |
583.61/584.40	c |    813814 |     200    17000   119000 |    78542    72050     59 |  0.003 % |
584.31/585.11	c |    814867 |     200    17000   119000 |    78542    73103     59 |  0.003 % |
585.11/585.95	c |    816026 |     200    17000   119000 |    78542    74262     59 |  0.003 % |
586.21/587.01	c |    817300 |     200    17000   119000 |    78542    75536     59 |  0.003 % |
587.21/588.04	c |    818700 |     200    17000   119000 |    78542    76936     59 |  0.003 % |
588.41/589.29	c |    820240 |     200    17000   119000 |    78237    67526     59 |  0.003 % |
589.60/590.44	c |    821934 |     200    17000   119000 |    78237    69220     59 |  0.003 % |
590.91/591.78	c |    823798 |     200    17000   119000 |    78237    71084     59 |  0.003 % |
592.40/593.21	c |    825847 |     200    17000   119000 |    78237    73133     59 |  0.003 % |
593.90/594.78	c |    828100 |     200    17000   119000 |    78237    75386     59 |  0.003 % |
595.80/596.67	c |    830578 |     200    17000   119000 |    77287    68326     59 |  0.003 % |
597.81/598.67	c |    833303 |     200    17000   119000 |    77287    71051     59 |  0.003 % |
599.91/600.78	c |    836300 |     200    17000   119000 |    77287    74048     59 |  0.003 % |
602.30/603.20	c |    839596 |     200    17000   119000 |    77287    77344     59 |  0.003 % |
604.90/605.73	c |    843221 |     200    17000   119000 |    68121    62751     59 |  0.003 % |
607.50/608.35	c |    847211 |     200    17000   119000 |    68121    66741     59 |  0.003 % |
610.40/611.28	c |    851596 |     200    17000   119000 | 2147483647    64306     59 |  0.003 % |
613.60/614.48	c |    856422 |     200    17000   119000 | 2147483647    69132     59 |  0.003 % |
617.50/618.32	c |    861729 |     200    17000   119000 | 2147483647    74439     59 |  0.003 % |
621.60/622.46	c |    867564 |     200    17000   119000 | 2147483647    80274     59 |  0.003 % |
626.99/627.84	c |    873982 |     200    17000   119000 |    82710    75858     59 |  0.003 % |
632.69/633.53	c |    881042 |     200    17000   119000 |    81877    71193     59 |  0.003 % |
638.99/639.86	c |    888807 |     200    17000   119000 |    81877    78958     59 |  0.003 % |
639.09/639.96	c |    888907 |     200    17000   119000 |    81877    79058     59 |  0.003 % |
639.19/640.06	c |    889017 |     200    17000   119000 |    81877    79168     59 |  0.003 % |
639.39/640.20	c |    889138 |     200    17000   119000 |    81877    79289     59 |  0.003 % |
639.49/640.32	c |    889272 |     200    17000   119000 |    81877    79423     59 |  0.003 % |
639.59/640.46	c |    889419 |     200    17000   119000 |    81877    79570     59 |  0.003 % |
639.79/640.62	c |    889580 |     200    17000   119000 |    81877    79731     59 |  0.003 % |
639.99/640.80	c |    889756 |     200    17000   119000 |    81877    79907     59 |  0.003 % |
640.09/640.96	c |    889949 |     200    17000   119000 |    81877    80100     59 |  0.003 % |
640.39/641.26	c |    890162 |     200    17000   119000 |    80152    68729     59 |  0.003 % |
640.59/641.44	c |    890395 |     200    17000   119000 |    80152    68962     59 |  0.003 % |
640.79/641.64	c |    890651 |     200    17000   119000 |    80152    69218     59 |  0.003 % |
640.99/641.87	c |    890932 |     200    17000   119000 |    80152    69499     59 |  0.003 % |
641.29/642.14	c |    891241 |     200    17000   119000 |    80152    69808     59 |  0.003 % |
641.59/642.44	c |    891581 |     200    17000   119000 |    80152    70148     59 |  0.003 % |
641.89/642.78	c |    891954 |     200    17000   119000 |    80152    70521     59 |  0.003 % |
642.29/643.11	c |    892364 |     200    17000   119000 |    80152    70931     59 |  0.003 % |
642.59/643.45	c |    892814 |     200    17000   119000 |    80152    71381     59 |  0.003 % |
642.99/643.83	c |    893309 |     200    17000   119000 |    80152    71876     59 |  0.003 % |
643.39/644.24	c |    893853 |     200    17000   119000 |    80152    72420     59 |  0.003 % |
643.79/644.69	c |    894449 |     200    17000   119000 |    80152    73016     59 |  0.003 % |
644.29/645.19	c |    895105 |     200    17000   119000 |    80152    73672     59 |  0.003 % |
644.89/645.74	c |    895825 |     200    17000   119000 |    80152    74392     59 |  0.003 % |
645.39/646.28	c |    896619 |     200    17000   119000 |    80152    75186     59 |  0.003 % |
646.09/646.96	c |    897490 |     200    17000   119000 |    80152    76057     59 |  0.003 % |
646.79/647.70	c |    898451 |     200    17000   119000 |    80152    77018     59 |  0.003 % |
647.69/648.53	c |    899504 |     200    17000   119000 |    80152    78071     59 |  0.003 % |
648.69/649.57	c |    900663 |     200    17000   119000 |    78568    68836     59 |  0.003 % |
649.69/650.57	c |    901937 |     200    17000   119000 |    78568    70110     59 |  0.003 % |
650.89/651.71	c |    903341 |     200    17000   119000 |    78568    71514     59 |  0.003 % |
652.09/652.92	c |    904882 |     200    17000   119000 |    78568    73055     59 |  0.003 % |
653.49/654.34	c |    906577 |     200    17000   119000 |    78568    74750     59 |  0.003 % |
655.19/656.07	c |    908441 |     200    17000   119000 |    78568    76614     59 |  0.003 % |
656.99/657.87	c |    910490 |     200    17000   119000 |    78174    67852     59 |  0.003 % |
658.48/659.39	c |    912743 |     200    17000   119000 |    78174    70105     59 |  0.003 % |
660.18/661.00	c |    915223 |     200    17000   119000 |    78174    72585     59 |  0.003 % |
662.08/662.94	c |    917949 |     200    17000   119000 |    78174    75311     59 |  0.003 % |
664.38/665.20	c |    920946 |     200    17000   119000 |    77362    68845     59 |  0.003 % |
666.68/667.52	c |    924242 |     200    17000   119000 |    77362    72141     59 |  0.003 % |
669.38/670.23	c |    927869 |     200    17000   119000 |    77362    75768     59 |  0.003 % |
672.28/673.10	c |    931856 |     200    17000   119000 |    68726    62534     59 |  0.003 % |
675.28/676.10	c |    936244 |     200    17000   119000 |    68726    66922     59 |  0.003 % |
678.78/679.68	c |    941067 |     200    17000   119000 | 2147483647    64863     59 |  0.003 % |
682.28/683.16	c |    946374 |     200    17000   119000 | 2147483647    70170     59 |  0.003 % |
686.38/687.28	c |    952210 |     200    17000   119000 |    73798    67975     59 |  0.003 % |
690.68/691.57	c |    958628 |     200    17000   119000 |    73798    66987     59 |  0.003 % |
695.68/696.58	c |    965690 |     200    17000   119000 | 2147483647    74049     59 |  0.003 % |
701.97/702.84	c |    973458 |     200    17000   119000 |    78359    73011     59 |  0.003 % |
708.87/709.70	c |    981998 |     200    17000   119000 |    69705    63008     58 |  0.003 % |
708.87/709.78	c |    982098 |     200    17000   119000 |    69705    63108     58 |  0.003 % |
708.97/709.86	c |    982209 |     200    17000   119000 |    69705    63219     58 |  0.003 % |
709.07/709.94	c |    982330 |     200    17000   119000 |    69705    63340     58 |  0.003 % |
709.17/710.04	c |    982463 |     200    17000   119000 |    69705    63473     58 |  0.003 % |
709.27/710.16	c |    982609 |     200    17000   119000 |    69705    63619     58 |  0.003 % |
709.37/710.27	c |    982770 |     200    17000   119000 |    69705    63780     58 |  0.003 % |
709.47/710.39	c |    982947 |     200    17000   119000 |    69705    63957     58 |  0.003 % |
709.67/710.52	c |    983141 |     200    17000   119000 |    69705    64151     58 |  0.003 % |
709.77/710.66	c |    983355 |     200    17000   119000 |    69705    64365     58 |  0.003 % |
709.97/710.83	c |    983588 |     200    17000   119000 |    69705    64598     58 |  0.003 % |
710.17/711.06	c |    983846 |     200    17000   119000 |    69705    64856     58 |  0.003 % |
710.37/711.29	c |    984128 |     200    17000   119000 |    69705    65138     58 |  0.003 % |
710.67/711.54	c |    984439 |     200    17000   119000 |    69705    65449     58 |  0.003 % |
710.97/711.84	c |    984778 |     200    17000   119000 |    69705    65788     58 |  0.003 % |
711.27/712.11	c |    985150 |     200    17000   119000 |    69705    66160     58 |  0.003 % |
711.57/712.41	c |    985560 |     200    17000   119000 |    69705    66570     58 |  0.003 % |
711.87/712.78	c |    986009 |     200    17000   119000 |    69705    67019     58 |  0.003 % |
712.27/713.15	c |    986502 |     200    17000   119000 |    69705    67512     58 |  0.003 % |
712.67/713.54	c |    987044 |     200    17000   119000 |    69705    68054     58 |  0.003 % |
713.07/713.93	c |    987642 |     200    17000   119000 |    69705    68652     58 |  0.003 % |
713.57/714.41	c |    988298 |     200    17000   119000 |    69705    69308     58 |  0.003 % |
714.07/714.97	c |    989019 |     200    17000   119000 |    69705    62541     58 |  0.003 % |
714.57/715.47	c |    989812 |     200    17000   119000 |    69705    63334     58 |  0.003 % |
715.17/716.07	c |    990683 |     200    17000   119000 |    63524    57663     58 |  0.003 % |
715.77/716.69	c |    991647 |     200    17000   119000 |    63524    58627     58 |  0.003 % |
716.47/717.31	c |    992700 |     200    17000   119000 |    63524    59680     58 |  0.003 % |
717.17/718.00	c |    993860 |     200    17000   119000 |    63524    60840     58 |  0.003 % |
717.87/718.75	c |    995133 |     200    17000   119000 |    63524    62113     58 |  0.003 % |
718.77/719.65	c |    996533 |     200    17000   119000 |    63524    63513     58 |  0.003 % |
719.87/720.76	c |    998073 |     200    17000   119000 |    63524    58692     58 |  0.003 % |
720.97/721.82	c |    999768 |     200    17000   119000 |    63524    60387     58 |  0.003 % |
722.07/722.95	c |   1001631 |     200    17000   119000 | 2147483647    62250     58 |  0.003 % |
723.36/724.24	c |   1003680 |     200    17000   119000 | 2147483647    64299     58 |  0.003 % |
724.86/725.77	c |   1005934 |     200    17000   119000 | 2147483647    66553     58 |  0.003 % |
726.56/727.45	c |   1008412 |     200    17000   119000 | 2147483647    69031     58 |  0.003 % |
728.57/729.46	c |   1011138 |     200    17000   119000 | 2147483647    71757     58 |  0.003 % |
730.87/731.79	c |   1014136 |     200    17000   119000 | 2147483647    74755     58 |  0.003 % |
733.26/734.19	c |   1017434 |     200    17000   119000 | 2147483647    78053     58 |  0.003 % |
736.27/737.15	c |   1021059 |     200    17000   119000 |    80620    73003     58 |  0.003 % |
739.26/740.18	c |   1025048 |     200    17000   119000 |    80620    76992     58 |  0.003 % |
742.46/743.32	c |   1029434 |     200    17000   119000 |    80620    70771     58 |  0.003 % |
745.36/746.21	c |   1034258 |     200    17000   119000 |    71339    66397     58 |  0.003 % |
748.96/749.90	c |   1039563 |     200    17000   119000 |    71339    64559     58 |  0.003 % |
752.96/753.88	c |   1045399 |     200    17000   119000 | 2147483647    70395     59 |  0.003 % |
757.55/758.42	c |   1051817 |     200    17000   119000 |    74997    68135     59 |  0.003 % |
761.95/762.83	c |   1058876 |     200    17000   119000 |    74997    67342     59 |  0.003 % |
767.16/768.02	c |   1066642 |     200    17000   119000 |    68466    68063     59 |  0.003 % |
773.05/773.93	c |   1075182 |     200    17000   119000 | 2147483647    69748     59 |  0.003 % |
780.05/780.94	c |   1084580 |     200    17000   119000 | 2147483647    79146     59 |  0.003 % |
780.15/781.04	c |   1084680 |     200    17000   119000 | 2147483647    79246     59 |  0.003 % |
780.25/781.16	c |   1084793 |     200    17000   119000 | 2147483647    79359     59 |  0.003 % |
780.35/781.26	c |   1084914 |     200    17000   119000 | 2147483647    79480     59 |  0.003 % |
780.45/781.38	c |   1085050 |     200    17000   119000 | 2147483647    79616     59 |  0.003 % |
780.65/781.53	c |   1085199 |     200    17000   119000 | 2147483647    79765     59 |  0.003 % |
780.75/781.66	c |   1085359 |     200    17000   119000 | 2147483647    79925     59 |  0.003 % |
780.95/781.82	c |   1085538 |     200    17000   119000 | 2147483647    80104     59 |  0.003 % |
781.15/782.01	c |   1085731 |     200    17000   119000 | 2147483647    80297     59 |  0.003 % |
781.35/782.24	c |   1085943 |     200    17000   119000 | 2147483647    80509     59 |  0.003 % |
781.55/782.48	c |   1086179 |     200    17000   119000 | 2147483647    80745     59 |  0.003 % |
781.85/782.71	c |   1086436 |     200    17000   119000 | 2147483647    81002     59 |  0.003 % |
782.05/782.97	c |   1086717 |     200    17000   119000 | 2147483647    81283     59 |  0.003 % |
782.35/783.25	c |   1087026 |     200    17000   119000 | 2147483647    81592     59 |  0.003 % |
782.75/783.63	c |   1087366 |     200    17000   119000 | 2147483647    81932     59 |  0.003 % |
783.15/784.00	c |   1087739 |     200    17000   119000 | 2147483647    82305     59 |  0.003 % |
783.45/784.38	c |   1088148 |     200    17000   119000 | 2147483647    82714     59 |  0.003 % |
783.85/784.79	c |   1088597 |     200    17000   119000 | 2147483647    83163     59 |  0.003 % |
784.46/785.34	c |   1089090 |     200    17000   119000 | 2147483647    83656     59 |  0.003 % |
784.96/785.89	c |   1089633 |     200    17000   119000 | 2147483647    84199     59 |  0.003 % |
785.66/786.53	c |   1090229 |     200    17000   119000 |    84566    72080     60 |  0.003 % |
786.16/787.01	c |   1090884 |     200    17000   119000 |    84566    72735     60 |  0.003 % |
786.66/787.53	c |   1091605 |     200    17000   119000 |    84566    73456     60 |  0.003 % |
787.16/788.07	c |   1092397 |     200    17000   119000 |    84566    74248     60 |  0.003 % |
787.86/788.76	c |   1093268 |     200    17000   119000 |    84566    75119     60 |  0.003 % |
788.56/789.50	c |   1094227 |     200    17000   119000 |    84566    76078     60 |  0.003 % |
789.36/790.29	c |   1095281 |     200    17000   119000 |    84566    77132     59 |  0.003 % |
790.35/791.20	c |   1096441 |     200    17000   119000 |    84566    78292     59 |  0.003 % |
791.26/792.20	c |   1097714 |     200    17000   119000 |    84566    79565     59 |  0.003 % |
792.46/793.36	c |   1099116 |     200    17000   119000 |    84566    80967     59 |  0.003 % |
793.65/794.54	c |   1100656 |     200    17000   119000 |    81851    71227     59 |  0.003 % |
794.85/795.70	c |   1102351 |     200    17000   119000 |    81851    72922     59 |  0.003 % |
796.15/797.00	c |   1104217 |     200    17000   119000 |    81851    74788     59 |  0.003 % |
797.65/798.59	c |   1106267 |     200    17000   119000 |    81851    76838     59 |  0.003 % |
799.35/800.22	c |   1108521 |     200    17000   119000 |    81851    79092     59 |  0.003 % |
801.55/802.46	c |   1111001 |     200    17000   119000 |    80573    70139     59 |  0.003 % |
803.65/804.54	c |   1113726 |     200    17000   119000 |    80573    72864     59 |  0.003 % |
806.15/807.00	c |   1116723 |     200    17000   119000 |    80573    75861     59 |  0.003 % |
808.75/809.61	c |   1120020 |     200    17000   119000 |    79138    79158     59 |  0.003 % |
811.65/812.52	c |   1123647 |     200    17000   119000 |    79138    71461     59 |  0.003 % |
814.85/815.78	c |   1127635 |     200    17000   119000 |    79138    75449     59 |  0.003 % |
818.35/819.27	c |   1132020 |     200    17000   119000 |    77815    68771     59 |  0.003 % |
821.95/822.85	c |   1136843 |     200    17000   119000 |    77815    73594     59 |  0.003 % |
826.14/827.01	c |   1142149 |     200    17000   119000 |    76752    68439     59 |  0.003 % |
830.44/831.30	c |   1147986 |     200    17000   119000 |    76752    74276     59 |  0.003 % |
835.04/835.91	c |   1154404 |     200    17000   119000 |    76292    71373     59 |  0.003 % |
840.04/840.97	c |   1161464 |     200    17000   119000 |    68812    63010     59 |  0.003 % |
845.24/846.13	c |   1169232 |     200    17000   119000 |    68812    63888     59 |  0.003 % |
851.04/851.94	c |   1177773 |     200    17000   119000 | 2147483647    72429     59 |  0.003 % |
858.44/859.32	c |   1187167 |     200    17000   119000 | 2147483647    81823     59 |  0.003 % |
866.43/867.35	c |   1197500 |     200    17000   119000 |    84656    80589     59 |  0.003 % |
866.53/867.48	c |   1197600 |     200    17000   119000 |    84656    80689     59 |  0.003 % |
866.63/867.57	c |   1197711 |     200    17000   119000 |    84656    80800     59 |  0.003 % |
866.73/867.68	c |   1197832 |     200    17000   119000 |    84656    80921     59 |  0.003 % |
866.93/867.80	c |   1197965 |     200    17000   119000 |    84656    81054     59 |  0.003 % |
867.03/867.95	c |   1198111 |     200    17000   119000 |    84656    81200     59 |  0.003 % |
867.14/868.10	c |   1198271 |     200    17000   119000 |    84656    81360     59 |  0.003 % |
867.33/868.27	c |   1198449 |     200    17000   119000 |    84656    81538     59 |  0.003 % |
867.53/868.43	c |   1198642 |     200    17000   119000 |    84656    81731     59 |  0.003 % |
867.73/868.65	c |   1198856 |     200    17000   119000 |    84656    81945     59 |  0.003 % |
867.93/868.88	c |   1199089 |     200    17000   119000 |    84656    82178     59 |  0.003 % |
868.24/869.15	c |   1199347 |     200    17000   119000 |    84656    82436     59 |  0.003 % |
868.53/869.43	c |   1199628 |     200    17000   119000 |    84656    82717     59 |  0.003 % |
868.83/869.70	c |   1199938 |     200    17000   119000 |    84656    83027     59 |  0.003 % |
869.13/870.07	c |   1200279 |     200    17000   119000 |    83089    71233     59 |  0.003 % |
869.43/870.35	c |   1200652 |     200    17000   119000 |    83089    71606     59 |  0.003 % |
869.73/870.66	c |   1201061 |     200    17000   119000 |    83089    72015     59 |  0.003 % |
870.13/871.08	c |   1201511 |     200    17000   119000 |    83089    72465     59 |  0.003 % |
870.53/871.49	c |   1202007 |     200    17000   119000 |    83089    72961     59 |  0.003 % |
871.03/871.91	c |   1202551 |     200    17000   119000 |    83089    73505     59 |  0.003 % |
871.43/872.38	c |   1203149 |     200    17000   119000 |    83089    74103     59 |  0.003 % |
871.93/872.87	c |   1203806 |     200    17000   119000 |    83089    74760     59 |  0.003 % |
872.43/873.39	c |   1204527 |     200    17000   119000 |    83089    75481     59 |  0.003 % |
873.03/873.97	c |   1205322 |     200    17000   119000 |    83089    76276     59 |  0.003 % |
873.63/874.59	c |   1206193 |     200    17000   119000 |    83089    77147     59 |  0.003 % |
874.33/875.28	c |   1207158 |     200    17000   119000 |    83089    78112     59 |  0.003 % |
875.03/875.98	c |   1208211 |     200    17000   119000 |    83089    79165     59 |  0.003 % |
875.93/876.85	c |   1209369 |     200    17000   119000 |    83089    80323     59 |  0.003 % |
877.03/877.95	c |   1210642 |     200    17000   119000 |    80954    70206     59 |  0.003 % |
878.13/879.02	c |   1212042 |     200    17000   119000 |    80954    71606     59 |  0.003 % |
879.43/880.31	c |   1213583 |     200    17000   119000 |    80954    73147     59 |  0.003 % |
880.63/881.53	c |   1215277 |     200    17000   119000 |    80954    74841     59 |  0.003 % |
882.13/883.01	c |   1217141 |     200    17000   119000 |    80954    76705     59 |  0.003 % |
883.73/884.63	c |   1219190 |     200    17000   119000 |    80954    78754     59 |  0.003 % |
885.23/886.18	c |   1221444 |     200    17000   119000 |    79564    70194     59 |  0.003 % |
886.93/887.80	c |   1223924 |     200    17000   119000 |    79564    72674     59 |  0.003 % |
888.72/889.67	c |   1226649 |     200    17000   119000 |    79564    75399     59 |  0.003 % |
890.92/891.84	c |   1229648 |     200    17000   119000 |    79564    78398     59 |  0.003 % |
893.12/894.03	c |   1232946 |     200    17000   119000 |    78751    71994     59 |  0.003 % |
895.73/896.69	c |   1236571 |     200    17000   119000 |    78751    75619     59 |  0.003 % |
898.72/899.63	c |   1240559 |     200    17000   119000 |    69534    61744     59 |  0.003 % |
901.52/902.41	c |   1244946 |     200    17000   119000 |    69534    66131     59 |  0.003 % |
904.72/905.64	c |   1249769 |     200    17000   119000 |    69534    63991     58 |  0.003 % |
908.32/909.26	c |   1255074 |     200    17000   119000 | 2147483647    69296     58 |  0.003 % |
912.32/913.28	c |   1260909 |     200    17000   119000 | 2147483647    75131     59 |  0.003 % |
917.22/918.16	c |   1267327 |     200    17000   119000 | 2147483647    81549     59 |  0.003 % |
922.52/923.47	c |   1274388 |     200    17000   119000 |    84222    77151     59 |  0.003 % |
928.72/929.66	c |   1282154 |     200    17000   119000 |    82763    72851     59 |  0.003 % |
935.61/936.53	c |   1290695 |     200    17000   119000 |    80697    70261     60 |  0.003 % |
943.21/944.13	c |   1300089 |     200    17000   119000 |    79566    68959     60 |  0.003 % |
950.71/951.63	c |   1310422 |     200    17000   119000 |    78870    68186     60 |  0.003 % |
958.81/959.73	c |   1321788 |     200    17000   119000 |    77765    70088     60 |  0.003 % |
958.91/959.80	c |   1321888 |     200    17000   119000 |    77765    70188     60 |  0.003 % |
958.91/959.88	c |   1321999 |     200    17000   119000 |    77765    70299     60 |  0.003 % |
959.01/959.99	c |   1322121 |     200    17000   119000 |    77765    70421     60 |  0.003 % |
959.21/960.11	c |   1322254 |     200    17000   119000 |    77765    70554     60 |  0.003 % |
959.31/960.22	c |   1322400 |     200    17000   119000 |    77765    70700     60 |  0.003 % |
959.41/960.37	c |   1322561 |     200    17000   119000 |    77765    70861     60 |  0.003 % |
959.61/960.54	c |   1322737 |     200    17000   119000 |    77765    71037     60 |  0.003 % |
959.81/960.73	c |   1322930 |     200    17000   119000 |    77765    71230     60 |  0.003 % |
960.01/960.91	c |   1323143 |     200    17000   119000 |    77765    71443     60 |  0.003 % |
960.21/961.11	c |   1323377 |     200    17000   119000 |    77765    71677     60 |  0.003 % |
960.41/961.35	c |   1323634 |     200    17000   119000 |    77765    71934     60 |  0.003 % |
960.61/961.54	c |   1323915 |     200    17000   119000 |    77765    72215     60 |  0.003 % |
960.80/961.79	c |   1324228 |     200    17000   119000 |    77765    72528     60 |  0.003 % |
961.10/962.06	c |   1324567 |     200    17000   119000 |    77765    72867     60 |  0.003 % |
961.50/962.43	c |   1324941 |     200    17000   119000 |    77765    73241     60 |  0.003 % |
961.81/962.77	c |   1325351 |     200    17000   119000 |    77765    73651     60 |  0.003 % |
962.20/963.17	c |   1325800 |     200    17000   119000 |    77765    74100     60 |  0.003 % |
962.70/963.61	c |   1326294 |     200    17000   119000 |    77765    74594     60 |  0.003 % |
963.20/964.11	c |   1326837 |     200    17000   119000 |    77765    75137     60 |  0.003 % |
963.70/964.66	c |   1327433 |     200    17000   119000 |    77765    75733     60 |  0.003 % |
964.20/965.17	c |   1328089 |     200    17000   119000 |    77765    76389     60 |  0.003 % |
964.90/965.81	c |   1328809 |     200    17000   119000 |    77765    77109     60 |  0.003 % |
965.60/966.55	c |   1329601 |     200    17000   119000 |    77765    66855     60 |  0.003 % |
966.21/967.17	c |   1330472 |     200    17000   119000 |    67257    58318     60 |  0.003 % |
966.80/967.74	c |   1331430 |     200    17000   119000 |    67257    59276     60 |  0.003 % |
967.40/968.39	c |   1332484 |     200    17000   119000 |    67257    60330     60 |  0.003 % |
968.31/969.21	c |   1333645 |     200    17000   119000 |    67257    61491     59 |  0.003 % |
969.00/969.92	c |   1334919 |     200    17000   119000 |    67257    62765     59 |  0.003 % |
969.80/970.76	c |   1336319 |     200    17000   119000 |    67257    64165     59 |  0.003 % |
970.80/971.72	c |   1337860 |     200    17000   119000 |    67257    65706     59 |  0.003 % |
971.90/972.83	c |   1339554 |     200    17000   119000 |    67257    60666     59 |  0.003 % |
973.10/974.02	c |   1341418 |     200    17000   119000 | 2147483647    62530     59 |  0.003 % |
974.50/975.43	c |   1343467 |     200    17000   119000 | 2147483647    64579     59 |  0.003 % |
976.01/976.97	c |   1345720 |     200    17000   119000 | 2147483647    66832     59 |  0.003 % |
977.70/978.68	c |   1348199 |     200    17000   119000 | 2147483647    69311     59 |  0.003 % |
979.60/980.59	c |   1350925 |     200    17000   119000 | 2147483647    72037     59 |  0.003 % |
981.60/982.59	c |   1353923 |     200    17000   119000 | 2147483647    75035     59 |  0.003 % |
984.00/984.96	c |   1357219 |     200    17000   119000 | 2147483647    78331     59 |  0.003 % |
986.70/987.65	c |   1360848 |     200    17000   119000 |    81113    72459     59 |  0.003 % |
989.80/990.70	c |   1364836 |     200    17000   119000 |    81113    76447     59 |  0.003 % |
993.10/994.04	c |   1369222 |     200    17000   119000 |    81113    80833     59 |  0.003 % |
996.39/997.34	c |   1374045 |     200    17000   119000 |    70619    65233     59 |  0.003 % |
1000.09/1001.10	c |   1379350 |     200    17000   119000 |    70619    70538     59 |  0.003 % |
1003.79/1004.79	c |   1385186 |     200    17000   119000 |    64058    62793     59 |  0.003 % |
1007.69/1008.63	c |   1391604 |     200    17000   119000 | 2147483647    62797     59 |  0.003 % |
1011.99/1012.98	c |   1398664 |     200    17000   119000 | 2147483647    69857     59 |  0.003 % |
1017.49/1018.47	c |   1406429 |     200    17000   119000 | 2147483647    77622     59 |  0.003 % |
1024.29/1025.23	c |   1414970 |     200    17000   119000 |    81193    77057     59 |  0.003 % |
1030.99/1031.94	c |   1424366 |     200    17000   119000 |    72452    68307     59 |  0.003 % |
1037.88/1038.81	c |   1434699 |     200    17000   119000 | 2147483647    71386     59 |  0.003 % |
1046.38/1047.34	c |   1446065 |     200    17000   119000 | 2147483647    82752     59 |  0.003 % |
1055.08/1056.04	c |   1458567 |     200    17000   119000 |    86688    83013     59 |  0.003 % |
1055.18/1056.14	c |   1458668 |     200    17000   119000 |    86688    83114     59 |  0.003 % |
1055.28/1056.23	c |   1458778 |     200    17000   119000 |    86688    83224     59 |  0.003 % |
1055.38/1056.33	c |   1458901 |     200    17000   119000 |    86688    83347     59 |  0.003 % |
1055.48/1056.47	c |   1459034 |     200    17000   119000 |    86688    83480     59 |  0.003 % |
1055.68/1056.64	c |   1459181 |     200    17000   119000 |    86688    83627     59 |  0.003 % |
1055.88/1056.80	c |   1459343 |     200    17000   119000 |    86688    83789     59 |  0.003 % |
1055.98/1056.96	c |   1459520 |     200    17000   119000 |    86688    83966     59 |  0.003 % |
1056.18/1057.17	c |   1459714 |     200    17000   119000 |    86688    84160     59 |  0.003 % |
1056.38/1057.36	c |   1459926 |     200    17000   119000 |    86688    84372     59 |  0.003 % |
1056.68/1057.63	c |   1460159 |     200    17000   119000 |    84446    72241     59 |  0.003 % |
1056.88/1057.81	c |   1460417 |     200    17000   119000 |    84446    72499     59 |  0.003 % |
1057.08/1058.00	c |   1460700 |     200    17000   119000 |    84446    72782     59 |  0.003 % |
1057.28/1058.26	c |   1461009 |     200    17000   119000 |    84446    73091     59 |  0.003 % |
1057.58/1058.52	c |   1461348 |     200    17000   119000 |    84446    73430     59 |  0.003 % |
1057.78/1058.77	c |   1461720 |     200    17000   119000 |    84446    73802     59 |  0.003 % |
1058.08/1059.09	c |   1462130 |     200    17000   119000 |    84446    74212     59 |  0.003 % |
1058.48/1059.42	c |   1462582 |     200    17000   119000 |    84446    74664     59 |  0.003 % |
1058.88/1059.86	c |   1463075 |     200    17000   119000 |    84446    75157     59 |  0.003 % |
1059.37/1060.30	c |   1463618 |     200    17000   119000 |    84446    75700     59 |  0.003 % |
1059.77/1060.79	c |   1464214 |     200    17000   119000 |    84446    76296     59 |  0.003 % |
1060.27/1061.29	c |   1464869 |     200    17000   119000 |    84446    76951     59 |  0.003 % |
1060.88/1061.89	c |   1465589 |     200    17000   119000 |    84446    77671     59 |  0.003 % |
1061.58/1062.58	c |   1466381 |     200    17000   119000 |    84446    78463     59 |  0.003 % |
1062.27/1063.25	c |   1467254 |     200    17000   119000 |    84446    79336     59 |  0.003 % |
1062.98/1063.95	c |   1468212 |     200    17000   119000 |    84446    80294     59 |  0.003 % |
1063.98/1064.91	c |   1469265 |     200    17000   119000 |    84446    81347     59 |  0.003 % |
1064.97/1065.92	c |   1470423 |     200    17000   119000 |    82084    70184     59 |  0.003 % |
1065.87/1066.83	c |   1471696 |     200    17000   119000 |    82084    71457     59 |  0.003 % |
1066.77/1067.79	c |   1473098 |     200    17000   119000 |    82084    72859     59 |  0.003 % |
1067.97/1068.97	c |   1474638 |     200    17000   119000 |    82084    74399     59 |  0.003 % |
1069.27/1070.22	c |   1476335 |     200    17000   119000 |    82084    76096     59 |  0.003 % |
1070.77/1071.78	c |   1478198 |     200    17000   119000 |    82084    77959     59 |  0.003 % |
1072.47/1073.48	c |   1480248 |     200    17000   119000 |    79763    68454     59 |  0.003 % |
1074.17/1075.11	c |   1482502 |     200    17000   119000 |    79763    70708     59 |  0.003 % |
1076.07/1077.06	c |   1484981 |     200    17000   119000 |    79763    73187     59 |  0.003 % |
1078.07/1079.09	c |   1487707 |     200    17000   119000 |    79763    75913     59 |  0.003 % |
1080.27/1081.20	c |   1490704 |     200    17000   119000 |    78208    68101     59 |  0.003 % |
1082.47/1083.43	c |   1494001 |     200    17000   119000 |    78208    71398     59 |  0.003 % |
1085.17/1086.11	c |   1497626 |     200    17000   119000 |    78208    75023     59 |  0.003 % |
1088.07/1089.01	c |   1501613 |     200    17000   119000 |    77398    69622     59 |  0.003 % |
1090.97/1091.98	c |   1505998 |     200    17000   119000 |    77398    74007     59 |  0.003 % |
1094.56/1095.59	c |   1510822 |     200    17000   119000 |    68596    61204     59 |  0.003 % |
1097.96/1098.90	c |   1516127 |     200    17000   119000 |    68596    66509     59 |  0.003 % |
1101.86/1102.89	c |   1521962 |     200    17000   119000 | 2147483647    65476     59 |  0.003 % |
1106.56/1107.53	c |   1528380 |     200    17000   119000 | 2147483647    71894     59 |  0.003 % |
1111.66/1112.68	c |   1535440 |     200    17000   119000 | 2147483647    78954     59 |  0.003 % |
1117.76/1118.74	c |   1543204 |     200    17000   119000 |    83514    76063     59 |  0.003 % |
1124.56/1125.59	c |   1551744 |     200    17000   119000 |    82859    73086     59 |  0.003 % |
1131.75/1132.75	c |   1561138 |     200    17000   119000 |    81342    71300     59 |  0.003 % |
1140.15/1141.17	c |   1571471 |     200    17000   119000 |    80162    71626     59 |  0.003 % |
1148.65/1149.67	c |   1582837 |     200    17000   119000 |    80156    73003     59 |  0.003 % |
1158.74/1159.74	c |   1595339 |     200    17000   119000 |    80167    74996     60 |  0.003 % |
1170.54/1171.59	c |   1609093 |     200    17000   119000 |    79657    77416     60 |  0.003 % |
1170.65/1171.68	c |   1609193 |     200    17000   119000 |    79657    77516     60 |  0.003 % |
1170.75/1171.77	c |   1609306 |     200    17000   119000 |    79657    77629     60 |  0.003 % |
1170.84/1171.87	c |   1609430 |     200    17000   119000 |    79657    77753     60 |  0.003 % |
1170.94/1171.99	c |   1609565 |     200    17000   119000 |    79657    77888     60 |  0.003 % |
1171.14/1172.13	c |   1609711 |     200    17000   119000 |    79657    78034     60 |  0.003 % |
1171.24/1172.28	c |   1609871 |     200    17000   119000 |    79657    78194     60 |  0.003 % |
1171.44/1172.45	c |   1610047 |     200    17000   119000 |    78325    78370     60 |  0.003 % |
1171.64/1172.68	c |   1610240 |     200    17000   119000 |    78325    67239     59 |  0.003 % |
1171.84/1172.84	c |   1610452 |     200    17000   119000 |    78325    67451     59 |  0.003 % |
1172.04/1173.02	c |   1610685 |     200    17000   119000 |    78325    67684     59 |  0.003 % |
1172.24/1173.22	c |   1610944 |     200    17000   119000 |    78325    67943     59 |  0.003 % |
1172.44/1173.44	c |   1611225 |     200    17000   119000 |    78325    68224     59 |  0.003 % |
1172.64/1173.65	c |   1611534 |     200    17000   119000 |    78325    68533     59 |  0.003 % |
1172.85/1173.89	c |   1611876 |     200    17000   119000 |    78325    68875     59 |  0.003 % |
1173.24/1174.22	c |   1612249 |     200    17000   119000 |    78325    69248     59 |  0.003 % |
1173.54/1174.52	c |   1612658 |     200    17000   119000 |    78325    69657     59 |  0.003 % |
1173.84/1174.84	c |   1613108 |     200    17000   119000 |    78325    70107     59 |  0.003 % |
1174.14/1175.17	c |   1613601 |     200    17000   119000 |    78325    70600     59 |  0.003 % |
1174.54/1175.55	c |   1614143 |     200    17000   119000 |    78325    71142     59 |  0.003 % |
1174.94/1175.96	c |   1614742 |     200    17000   119000 |    78325    71741     59 |  0.003 % |
1175.44/1176.45	c |   1615397 |     200    17000   119000 |    78325    72396     59 |  0.003 % |
1175.94/1176.99	c |   1616118 |     200    17000   119000 |    78325    73117     59 |  0.003 % |
1176.64/1177.66	c |   1616912 |     200    17000   119000 |    78325    73911     59 |  0.003 % |
1177.24/1178.30	c |   1617783 |     200    17000   119000 |    78325    74782     59 |  0.003 % |
1178.04/1179.03	c |   1618742 |     200    17000   119000 |    78325    75741     59 |  0.003 % |
1178.84/1179.83	c |   1619796 |     200    17000   119000 |    78325    76795     59 |  0.003 % |
1179.64/1180.68	c |   1620956 |     200    17000   119000 |    76999    68386     59 |  0.003 % |
1180.54/1181.53	c |   1622229 |     200    17000   119000 |    76999    69659     59 |  0.003 % |
1181.44/1182.47	c |   1623631 |     200    17000   119000 |    76999    71061     59 |  0.003 % |
1182.54/1183.54	c |   1625172 |     200    17000   119000 |    76999    72602     59 |  0.003 % |
1183.84/1184.83	c |   1626866 |     200    17000   119000 |    76999    74296     59 |  0.003 % |
1185.24/1186.29	c |   1628729 |     200    17000   119000 |    76999    76159     59 |  0.003 % |
1186.74/1187.78	c |   1630778 |     200    17000   119000 |    68613    61659     59 |  0.003 % |
1188.14/1189.11	c |   1633031 |     200    17000   119000 |    68613    63912     59 |  0.003 % |
1189.64/1190.61	c |   1635509 |     200    17000   119000 |    68613    66390     59 |  0.003 % |
1191.33/1192.35	c |   1638234 |     200    17000   119000 |    68613    62244     59 |  0.003 % |
1193.23/1194.28	c |   1641231 |     200    17000   119000 | 2147483647    65241     59 |  0.003 % |
1195.33/1196.35	c |   1644528 |     200    17000   119000 | 2147483647    68538     59 |  0.003 % |
1198.03/1199.07	c |   1648153 |     200    17000   119000 | 2147483647    72163     59 |  0.003 % |
1200.04/1201.01	HOME/SatELiteGTI: line 36: 27267 Terminated              $MS $TMP.cnf $TMP.result

Verifier Data

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

Watcher Data

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 27261
/proc/meminfo: memFree=1971556/2055920 swapFree=4177796/4192956
[pid=27261] ppid=27259 vsize=5356 CPUtime=0
/proc/27261/stat : 27261 (SatELiteGTI) S 27259 27261 26993 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306486452 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 256365002834 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/27261/statm: 1339 235 195 169 0 50 0

[startup+0.0538361 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 27261
/proc/meminfo: memFree=1971556/2055920 swapFree=4177796/4192956
[pid=27261] ppid=27259 vsize=5356 CPUtime=0
/proc/27261/stat : 27261 (SatELiteGTI) S 27259 27261 26993 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306486452 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27261/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101844 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 27261
/proc/meminfo: memFree=1971556/2055920 swapFree=4177796/4192956
[pid=27261] ppid=27259 vsize=5356 CPUtime=0.05
/proc/27261/stat : 27261 (SatELiteGTI) S 27259 27261 26993 0 -1 4194304 336 746 0 0 0 0 5 0 17 0 1 0 306486452 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27261/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.301863 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 27261
/proc/meminfo: memFree=1971556/2055920 swapFree=4177796/4192956
[pid=27261] ppid=27259 vsize=5356 CPUtime=0.05
/proc/27261/stat : 27261 (SatELiteGTI) S 27259 27261 26993 0 -1 4194304 336 746 0 0 0 0 5 0 17 0 1 0 306486452 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27261/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.701908 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 27261
/proc/meminfo: memFree=1971556/2055920 swapFree=4177796/4192956
[pid=27261] ppid=27259 vsize=5356 CPUtime=0.05
/proc/27261/stat : 27261 (SatELiteGTI) S 27259 27261 26993 0 -1 4194304 336 746 0 0 0 0 5 0 17 0 1 0 306486452 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27261/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+1.50729 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27267
/proc/meminfo: memFree=1967508/2055920 swapFree=4177796/4192956
[pid=27261] ppid=27259 vsize=5356 CPUtime=0.05
/proc/27261/stat : 27261 (SatELiteGTI) S 27259 27261 26993 0 -1 4194304 336 746 0 0 0 0 5 0 17 0 1 0 306486452 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27261/statm: 1339 239 197 169 0 50 0
[pid=27267] ppid=27261 vsize=5064 CPUtime=1.43
/proc/27267/stat : 27267 (minisat_static) R 27261 27261 26993 0 -1 4194304 1036 0 0 0 143 0 0 0 25 0 1 0 306486459 5185536 1022 1992294400 134512640 135215339 4294956240 18446744073709551615 134528837 0 0 4096 3 0 0 0 17 1 0 0
/proc/27267/statm: 1266 1023 76 171 0 1093 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10420

[startup+3.10115 s]
/proc/loadavg: 1.08 1.02 1.01 2/66 27267
/proc/meminfo: memFree=1965460/2055920 swapFree=4177796/4192956
[pid=27261] ppid=27259 vsize=5356 CPUtime=0.05
/proc/27261/stat : 27261 (SatELiteGTI) S 27259 27261 26993 0 -1 4194304 336 746 0 0 0 0 5 0 17 0 1 0 306486452 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27261/statm: 1339 239 197 169 0 50 0
[pid=27267] ppid=27261 vsize=7440 CPUtime=3.02
/proc/27267/stat : 27267 (minisat_static) R 27261 27261 26993 0 -1 4194304 1633 0 0 0 301 1 0 0 25 0 1 0 306486459 7618560 1619 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/27267/statm: 1860 1619 76 171 0 1687 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 12796

[startup+6.30148 s]
/proc/loadavg: 1.08 1.02 1.01 2/66 27267
/proc/meminfo: memFree=1961884/2055920 swapFree=4177796/4192956
[pid=27261] ppid=27259 vsize=5356 CPUtime=0.05
/proc/27261/stat : 27261 (SatELiteGTI) S 27259 27261 26993 0 -1 4194304 336 746 0 0 0 0 5 0 17 0 1 0 306486452 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27261/statm: 1339 239 197 169 0 50 0
[pid=27267] ppid=27261 vsize=10540 CPUtime=6.21
/proc/27267/stat : 27267 (minisat_static) R 27261 27261 26993 0 -1 4194304 2381 0 0 0 620 1 0 0 25 0 1 0 306486459 10792960 2367 1992294400 134512640 135215339 4294956240 18446744073709551615 134528837 0 0 4096 3 0 0 0 17 1 0 0
/proc/27267/statm: 2635 2367 76 171 0 2462 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 15896

[startup+12.7011 s]
/proc/loadavg: 1.07 1.02 1.00 2/66 27267
/proc/meminfo: memFree=1957468/2055920 swapFree=4177796/4192956
[pid=27261] ppid=27259 vsize=5356 CPUtime=0.05
/proc/27261/stat : 27261 (SatELiteGTI) S 27259 27261 26993 0 -1 4194304 336 746 0 0 0 0 5 0 17 0 1 0 306486452 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27261/statm: 1339 239 197 169 0 50 0
[pid=27267] ppid=27261 vsize=14584 CPUtime=12.61
/proc/27267/stat : 27267 (minisat_static) R 27261 27261 26993 0 -1 4194304 3409 0 0 0 1259 2 0 0 25 0 1 0 306486459 14934016 3395 1992294400 134512640 135215339 4294956240 18446744073709551615 134528700 0 0 4096 3 0 0 0 17 1 0 0
/proc/27267/statm: 3646 3395 76 171 0 3473 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 19940

[startup+25.5055 s]
/proc/loadavg: 1.06 1.02 1.00 2/66 27267
/proc/meminfo: memFree=1951644/2055920 swapFree=4177796/4192956
[pid=27261] ppid=27259 vsize=5356 CPUtime=0.05
/proc/27261/stat : 27261 (SatELiteGTI) S 27259 27261 26993 0 -1 4194304 336 746 0 0 0 0 5 0 17 0 1 0 306486452 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27261/statm: 1339 239 197 169 0 50 0
[pid=27267] ppid=27261 vsize=20248 CPUtime=25.41
/proc/27267/stat : 27267 (minisat_static) R 27261 27261 26993 0 -1 4194304 4807 0 0 0 2537 4 0 0 25 0 1 0 306486459 20733952 4793 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27267/statm: 5062 4793 76 171 0 4889 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 25604

[startup+51.1011 s]
/proc/loadavg: 1.04 1.01 1.00 2/66 27267
/proc/meminfo: memFree=1948444/2055920 swapFree=4177796/4192956
[pid=27261] ppid=27259 vsize=5356 CPUtime=0.05
/proc/27261/stat : 27261 (SatELiteGTI) S 27259 27261 26993 0 -1 4194304 336 746 0 0 0 0 5 0 17 0 1 0 306486452 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27261/statm: 1339 239 197 169 0 50 0
[pid=27267] ppid=27261 vsize=23436 CPUtime=50.98
/proc/27267/stat : 27267 (minisat_static) R 27261 27261 26993 0 -1 4194304 5597 0 0 0 5093 5 0 0 25 0 1 0 306486459 23998464 5583 1992294400 134512640 135215339 4294956240 18446744073709551615 134528676 0 0 4096 3 0 0 0 17 1 0 0
/proc/27267/statm: 5859 5583 76 171 0 5686 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 28792

[startup+102.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/66 27267
/proc/meminfo: memFree=1947036/2055920 swapFree=4177796/4192956
[pid=27261] ppid=27259 vsize=5356 CPUtime=0.05
/proc/27261/stat : 27261 (SatELiteGTI) S 27259 27261 26993 0 -1 4194304 336 746 0 0 0 0 5 0 17 0 1 0 306486452 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27261/statm: 1339 239 197 169 0 50 0
[pid=27267] ppid=27261 vsize=24624 CPUtime=102.16
/proc/27267/stat : 27267 (minisat_static) R 27261 27261 26993 0 -1 4194304 5921 0 0 0 10211 5 0 0 25 0 1 0 306486459 25214976 5907 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27267/statm: 6156 5907 76 171 0 5983 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 29980

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27267
/proc/meminfo: memFree=1946908/2055920 swapFree=4177796/4192956
[pid=27261] ppid=27259 vsize=5356 CPUtime=0.05
/proc/27261/stat : 27261 (SatELiteGTI) S 27259 27261 26993 0 -1 4194304 336 746 0 0 0 0 5 0 17 0 1 0 306486452 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27261/statm: 1339 239 197 169 0 50 0
[pid=27267] ppid=27261 vsize=24624 CPUtime=162.12
/proc/27267/stat : 27267 (minisat_static) R 27261 27261 26993 0 -1 4194304 5921 0 0 0 16207 5 0 0 25 0 1 0 306486459 25214976 5907 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/27267/statm: 6156 5907 76 171 0 5983 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 29980

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27267
/proc/meminfo: memFree=1945372/2055920 swapFree=4177796/4192956
[pid=27261] ppid=27259 vsize=5356 CPUtime=0.05
/proc/27261/stat : 27261 (SatELiteGTI) S 27259 27261 26993 0 -1 4194304 336 746 0 0 0 0 5 0 17 0 1 0 306486452 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27261/statm: 1339 239 197 169 0 50 0
[pid=27267] ppid=27261 vsize=26076 CPUtime=222.1
/proc/27267/stat : 27267 (minisat_static) R 27261 27261 26993 0 -1 4194304 6273 0 0 0 22204 6 0 0 25 0 1 0 306486459 26701824 6259 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/27267/statm: 6519 6259 76 171 0 6346 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 31432

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27267
/proc/meminfo: memFree=1944924/2055920 swapFree=4177796/4192956
[pid=27261] ppid=27259 vsize=5356 CPUtime=0.05
/proc/27261/stat : 27261 (SatELiteGTI) S 27259 27261 26993 0 -1 4194304 336 746 0 0 0 0 5 0 17 0 1 0 306486452 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27261/statm: 1339 239 197 169 0 50 0
[pid=27267] ppid=27261 vsize=26488 CPUtime=282.07
/proc/27267/stat : 27267 (minisat_static) R 27261 27261 26993 0 -1 4194304 6416 0 0 0 28201 6 0 0 25 0 1 0 306486459 27123712 6359 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27267/statm: 6622 6359 76 171 0 6449 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 31844

[startup+342.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27273
/proc/meminfo: memFree=1944212/2055920 swapFree=4177796/4192956
[pid=27261] ppid=27259 vsize=5356 CPUtime=0.05
/proc/27261/stat : 27261 (SatELiteGTI) S 27259 27261 26993 0 -1 4194304 336 746 0 0 0 0 5 0 17 0 1 0 306486452 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27261/statm: 1339 239 197 169 0 50 0
[pid=27267] ppid=27261 vsize=26884 CPUtime=342.04
/proc/27267/stat : 27267 (minisat_static) R 27261 27261 26993 0 -1 4194304 6530 0 0 0 34198 6 0 0 25 0 1 0 306486459 27529216 6473 1992294400 134512640 135215339 4294956240 18446744073709551615 134534506 0 0 4096 3 0 0 0 17 1 0 0
/proc/27267/statm: 6721 6473 76 171 0 6548 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 32240

[startup+402.301 s]
/proc/loadavg: 1.52 1.17 1.06 2/66 27749
/proc/meminfo: memFree=1900116/2055920 swapFree=4177796/4192956
[pid=27261] ppid=27259 vsize=5356 CPUtime=0.05
/proc/27261/stat : 27261 (SatELiteGTI) S 27259 27261 26993 0 -1 4194304 336 746 0 0 0 0 5 0 17 0 1 0 306486452 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27261/statm: 1339 239 197 169 0 50 0
[pid=27267] ppid=27261 vsize=26884 CPUtime=401.51
/proc/27267/stat : 27267 (minisat_static) R 27261 27261 26993 0 -1 4194304 6530 0 0 0 40141 10 0 0 25 0 1 0 306486459 27529216 6473 1992294400 134512640 135215339 4294956240 18446744073709551615 134538500 0 0 4096 3 0 0 0 17 1 0 0
/proc/27267/statm: 6721 6473 76 171 0 6548 0
Current children cumulated CPU time (s) 401.56
Current children cumulated vsize (KiB) 32240

[startup+462.301 s]

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

[pid=27267] ppid=27261 vsize=27280 CPUtime=461.49
/proc/27267/stat : 27267 (minisat_static) R 27261 27261 26993 0 -1 4194304 6627 0 0 0 46139 10 0 0 25 0 1 0 306486459 27934720 6570 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27267/statm: 6820 6570 76 171 0 6647 0
Current children cumulated CPU time (s) 461.54
Current children cumulated vsize (KiB) 32636

[startup+522.302 s]
/proc/loadavg: 1.07 1.11 1.05 2/66 27749
/proc/meminfo: memFree=1899796/2055920 swapFree=4177796/4192956
[pid=27261] ppid=27259 vsize=5356 CPUtime=0.05
/proc/27261/stat : 27261 (SatELiteGTI) S 27259 27261 26993 0 -1 4194304 336 746 0 0 0 0 5 0 17 0 1 0 306486452 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27261/statm: 1339 239 197 169 0 50 0
[pid=27267] ppid=27261 vsize=27280 CPUtime=521.48
/proc/27267/stat : 27267 (minisat_static) R 27261 27261 26993 0 -1 4194304 6627 0 0 0 52138 10 0 0 25 0 1 0 306486459 27934720 6570 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27267/statm: 6820 6570 76 171 0 6647 0
Current children cumulated CPU time (s) 521.53
Current children cumulated vsize (KiB) 32636

[startup+582.302 s]
/proc/loadavg: 1.02 1.09 1.04 2/66 27749
/proc/meminfo: memFree=1899796/2055920 swapFree=4177796/4192956
[pid=27261] ppid=27259 vsize=5356 CPUtime=0.05
/proc/27261/stat : 27261 (SatELiteGTI) S 27259 27261 26993 0 -1 4194304 336 746 0 0 0 0 5 0 17 0 1 0 306486452 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27261/statm: 1339 239 197 169 0 50 0
[pid=27267] ppid=27261 vsize=27280 CPUtime=581.46
/proc/27267/stat : 27267 (minisat_static) R 27261 27261 26993 0 -1 4194304 6627 0 0 0 58136 10 0 0 25 0 1 0 306486459 27934720 6570 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27267/statm: 6820 6570 76 171 0 6647 0
Current children cumulated CPU time (s) 581.51
Current children cumulated vsize (KiB) 32636

[startup+642.302 s]
/proc/loadavg: 1.01 1.07 1.04 2/66 27749
/proc/meminfo: memFree=1899412/2055920 swapFree=4177796/4192956
[pid=27261] ppid=27259 vsize=5356 CPUtime=0.05
/proc/27261/stat : 27261 (SatELiteGTI) S 27259 27261 26993 0 -1 4194304 336 746 0 0 0 0 5 0 17 0 1 0 306486452 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27261/statm: 1339 239 197 169 0 50 0
[pid=27267] ppid=27261 vsize=27544 CPUtime=641.44
/proc/27267/stat : 27267 (minisat_static) R 27261 27261 26993 0 -1 4194304 6690 0 0 0 64134 10 0 0 25 0 1 0 306486459 28205056 6633 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/27267/statm: 6886 6633 76 171 0 6713 0
Current children cumulated CPU time (s) 641.49
Current children cumulated vsize (KiB) 32900

[startup+702.302 s]
/proc/loadavg: 1.00 1.05 1.03 2/66 27749
/proc/meminfo: memFree=1899100/2055920 swapFree=4177796/4192956
[pid=27261] ppid=27259 vsize=5356 CPUtime=0.05
/proc/27261/stat : 27261 (SatELiteGTI) S 27259 27261 26993 0 -1 4194304 336 746 0 0 0 0 5 0 17 0 1 0 306486452 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27261/statm: 1339 239 197 169 0 50 0
[pid=27267] ppid=27261 vsize=27680 CPUtime=701.42
/proc/27267/stat : 27267 (minisat_static) R 27261 27261 26993 0 -1 4194304 6728 0 0 0 70132 10 0 0 25 0 1 0 306486459 28344320 6671 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/27267/statm: 6920 6671 76 171 0 6747 0
Current children cumulated CPU time (s) 701.47
Current children cumulated vsize (KiB) 33036

[startup+762.301 s]
/proc/loadavg: 1.00 1.04 1.02 2/66 27749
/proc/meminfo: memFree=1898972/2055920 swapFree=4177796/4192956
[pid=27261] ppid=27259 vsize=5356 CPUtime=0.05
/proc/27261/stat : 27261 (SatELiteGTI) S 27259 27261 26993 0 -1 4194304 336 746 0 0 0 0 5 0 17 0 1 0 306486452 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27261/statm: 1339 239 197 169 0 50 0
[pid=27267] ppid=27261 vsize=27680 CPUtime=761.4
/proc/27267/stat : 27267 (minisat_static) R 27261 27261 26993 0 -1 4194304 6729 0 0 0 76130 10 0 0 25 0 1 0 306486459 28344320 6672 1992294400 134512640 135215339 4294956240 18446744073709551615 134540836 0 0 4096 3 0 0 0 17 1 0 0
/proc/27267/statm: 6920 6672 76 171 0 6747 0
Current children cumulated CPU time (s) 761.45
Current children cumulated vsize (KiB) 33036

[startup+822.302 s]
/proc/loadavg: 1.00 1.03 1.02 2/66 27749
/proc/meminfo: memFree=1898140/2055920 swapFree=4177796/4192956
[pid=27261] ppid=27259 vsize=5356 CPUtime=0.05
/proc/27261/stat : 27261 (SatELiteGTI) S 27259 27261 26993 0 -1 4194304 336 746 0 0 0 0 5 0 17 0 1 0 306486452 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27261/statm: 1339 239 197 169 0 50 0
[pid=27267] ppid=27261 vsize=28480 CPUtime=821.4
/proc/27267/stat : 27267 (minisat_static) R 27261 27261 26993 0 -1 4194304 6912 0 0 0 82129 11 0 0 25 0 1 0 306486459 29163520 6855 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27267/statm: 7120 6855 76 171 0 6947 0
Current children cumulated CPU time (s) 821.45
Current children cumulated vsize (KiB) 33836

[startup+882.302 s]
/proc/loadavg: 1.00 1.02 1.01 2/66 27749
/proc/meminfo: memFree=1897756/2055920 swapFree=4177796/4192956
[pid=27261] ppid=27259 vsize=5356 CPUtime=0.05
/proc/27261/stat : 27261 (SatELiteGTI) S 27259 27261 26993 0 -1 4194304 336 746 0 0 0 0 5 0 17 0 1 0 306486452 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27261/statm: 1339 239 197 169 0 50 0
[pid=27267] ppid=27261 vsize=28772 CPUtime=881.38
/proc/27267/stat : 27267 (minisat_static) R 27261 27261 26993 0 -1 4194304 6993 0 0 0 88127 11 0 0 25 0 1 0 306486459 29462528 6936 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27267/statm: 7193 6936 76 171 0 7020 0
Current children cumulated CPU time (s) 881.43
Current children cumulated vsize (KiB) 34128

[startup+942.303 s]
/proc/loadavg: 1.00 1.02 1.01 2/66 27749
/proc/meminfo: memFree=1897692/2055920 swapFree=4177796/4192956
[pid=27261] ppid=27259 vsize=5356 CPUtime=0.05
/proc/27261/stat : 27261 (SatELiteGTI) S 27259 27261 26993 0 -1 4194304 336 746 0 0 0 0 5 0 17 0 1 0 306486452 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27261/statm: 1339 239 197 169 0 50 0
[pid=27267] ppid=27261 vsize=28772 CPUtime=941.36
/proc/27267/stat : 27267 (minisat_static) R 27261 27261 26993 0 -1 4194304 7004 0 0 0 94125 11 0 0 25 0 1 0 306486459 29462528 6947 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27267/statm: 7193 6947 76 171 0 7020 0
Current children cumulated CPU time (s) 941.41
Current children cumulated vsize (KiB) 34128

[startup+1002.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 27749
/proc/meminfo: memFree=1897564/2055920 swapFree=4177796/4192956
[pid=27261] ppid=27259 vsize=5356 CPUtime=0.05
/proc/27261/stat : 27261 (SatELiteGTI) S 27259 27261 26993 0 -1 4194304 336 746 0 0 0 0 5 0 17 0 1 0 306486452 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27261/statm: 1339 239 197 169 0 50 0
[pid=27267] ppid=27261 vsize=28772 CPUtime=1001.35
/proc/27267/stat : 27267 (minisat_static) R 27261 27261 26993 0 -1 4194304 7004 0 0 0 100124 11 0 0 25 0 1 0 306486459 29462528 6947 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27267/statm: 7193 6947 76 171 0 7020 0
Current children cumulated CPU time (s) 1001.4
Current children cumulated vsize (KiB) 34128

[startup+1062.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 27749
/proc/meminfo: memFree=1896796/2055920 swapFree=4177796/4192956
[pid=27261] ppid=27259 vsize=5356 CPUtime=0.05
/proc/27261/stat : 27261 (SatELiteGTI) S 27259 27261 26993 0 -1 4194304 336 746 0 0 0 0 5 0 17 0 1 0 306486452 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27261/statm: 1339 239 197 169 0 50 0
[pid=27267] ppid=27261 vsize=29572 CPUtime=1061.33
/proc/27267/stat : 27267 (minisat_static) R 27261 27261 26993 0 -1 4194304 7182 0 0 0 106122 11 0 0 25 0 1 0 306486459 30281728 7125 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27267/statm: 7393 7125 76 171 0 7220 0
Current children cumulated CPU time (s) 1061.38
Current children cumulated vsize (KiB) 34928

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27749
/proc/meminfo: memFree=1896604/2055920 swapFree=4177796/4192956
[pid=27261] ppid=27259 vsize=5356 CPUtime=0.05
/proc/27261/stat : 27261 (SatELiteGTI) S 27259 27261 26993 0 -1 4194304 336 746 0 0 0 0 5 0 17 0 1 0 306486452 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27261/statm: 1339 239 197 169 0 50 0
[pid=27267] ppid=27261 vsize=29572 CPUtime=1121.31
/proc/27267/stat : 27267 (minisat_static) R 27261 27261 26993 0 -1 4194304 7202 0 0 0 112120 11 0 0 25 0 1 0 306486459 30281728 7145 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/27267/statm: 7393 7145 76 171 0 7220 0
Current children cumulated CPU time (s) 1121.36
Current children cumulated vsize (KiB) 34928

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27749
/proc/meminfo: memFree=1896540/2055920 swapFree=4177796/4192956
[pid=27261] ppid=27259 vsize=5356 CPUtime=0.05
/proc/27261/stat : 27261 (SatELiteGTI) S 27259 27261 26993 0 -1 4194304 336 746 0 0 0 0 5 0 17 0 1 0 306486452 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27261/statm: 1339 239 197 169 0 50 0
[pid=27267] ppid=27261 vsize=29748 CPUtime=1181.29
/proc/27267/stat : 27267 (minisat_static) R 27261 27261 26993 0 -1 4194304 7212 0 0 0 118118 11 0 0 25 0 1 0 306486459 30461952 7155 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27267/statm: 7437 7155 76 171 0 7264 0
Current children cumulated CPU time (s) 1181.34
Current children cumulated vsize (KiB) 35104



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27749
/proc/meminfo: memFree=1896412/2055920 swapFree=4177796/4192956
[pid=27261] ppid=27259 vsize=5356 CPUtime=0.05
/proc/27261/stat : 27261 (SatELiteGTI) S 27259 27261 26993 0 -1 4194304 336 746 0 0 0 0 5 0 17 0 1 0 306486452 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27261/statm: 1339 239 197 169 0 50 0
[pid=27267] ppid=27261 vsize=29748 CPUtime=1199.99
/proc/27267/stat : 27267 (minisat_static) R 27261 27261 26993 0 -1 4194304 7212 0 0 0 119988 11 0 0 25 0 1 0 306486459 30461952 7155 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27267/statm: 7437 7155 76 171 0 7264 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 35104

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.01
CPU time (s): 1200.07
CPU user time (s): 1199.93
CPU system time (s): 0.133979
CPU usage (%): 99.9213
Max. virtual memory (cumulated for all children) (KiB): 35104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.93
system time used= 0.133979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8303
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24
involuntary context switches= 4659

runsolver used 1.63375 second user time and 3.52846 second system time

The end

Launcher Data

Begin job on node90 at 2009-05-20 03:56:14
IDJOB=1832565
IDBENCH=70246
IDSOLVER=671
FILE ID=node90/1832565-1242784574
PBS_JOBID= 9322309
Free space on /tmp= 66304 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/7SAT/UNKNOWN/200/unif-k7-r85-v200-c17000-S266028630-005.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832565-1242784574/watcher-1832565-1242784574 -o /tmp/evaluation-result-1832565-1242784574/solver-1832565-1242784574 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832565-1242784574.cnf

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

MD5SUM BENCH= a707a7c29825dc72fa3ef0fca06c3f00
RANDOM SEED=2092895369

node90.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.238
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.238
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1972100 kB
Buffers:         15692 kB
Cached:          32048 kB
SwapCached:       8768 kB
Active:          32212 kB
Inactive:        25648 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1972100 kB
SwapTotal:     4192956 kB
SwapFree:      4177796 kB
Dirty:            2076 kB
Writeback:           0 kB
Mapped:          15980 kB
Slab:            12008 kB
Committed_AS:   897500 kB
PageTables:       1436 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66304 MiB
End job on node90 at 2009-05-20 04:16:17