Trace number 1832171

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-18SAT 62.6775 62.7584

General information on the benchmark

Namecrafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf
MD5SUM87d9c7ce297970bb210f40783f709fcc
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.010997
Satisfiable
(Un)Satisfiability was proved
Number of variables230
Number of clauses920
Sum of the clauses size2760
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3920
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data

0.00/0.00	c Parsing...
0.00/0.00	c ==============================================================================
0.00/0.00	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.00	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.00	c ==============================================================================
0.00/0.00	c |         0 |     920     2760 |     275       0        0     nan |  0.000 % |
0.00/0.00	c ==============================================================================
0.00/0.00	c Result  :   #vars: 230   #clauses: 920   #literals: 2760
0.00/0.00	c CPU time:   0.001999 s
0.00/0.00	c ==============================================================================
0.00/0.01	c This is MiniSat 2.0 beta
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Number of variables:  230                                                  |
0.00/0.01	c |  Number of clauses:    920                                                  |
0.00/0.01	c |  Parsing time:         0.00         s                                       |
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     230      920     2760 |      306        0    nan |  0.000 % |
0.00/0.01	c |       102 |     230      920     2760 |      306      102     25 |  0.002 % |
0.00/0.01	c |       202 |     230      920     2760 |      306      202     25 |  0.002 % |
0.00/0.02	c |       302 |     230      920     2760 |      306      302     24 |  0.002 % |
0.00/0.02	c |       413 |     230      920     2760 |      306      346     23 |  0.002 % |
0.00/0.02	c |       514 |     230      920     2760 |      306      382     23 |  0.002 % |
0.00/0.03	c |       625 |     230      920     2760 |      306      354     24 |  0.002 % |
0.00/0.03	c |       747 |     230      920     2760 |      306      374     23 |  0.002 % |
0.00/0.03	c |       848 |     230      920     2760 |      306      336     22 |  0.002 % |
0.00/0.04	c |       959 |     230      920     2760 |      306      343     22 |  0.002 % |
0.00/0.04	c |      1081 |     230      920     2760 |      306      335     21 |  0.002 % |
0.00/0.05	c |      1215 |     230      920     2760 |      306      363     22 |  0.002 % |
0.00/0.05	c |      1316 |     230      920     2760 |      306      359     23 |  0.002 % |
0.00/0.05	c |      1426 |     230      920     2760 |      306      369     22 |  0.002 % |
0.00/0.06	c |      1548 |     230      920     2760 |      306      352     20 |  0.002 % |
0.00/0.06	c |      1681 |     230      920     2760 |      306      352     18 |  0.002 % |
0.00/0.06	c |      1828 |     230      920     2760 |      306      335     18 |  0.002 % |
0.00/0.07	c |      1928 |     230      920     2760 |      306      368     20 |  0.002 % |
0.00/0.07	c |      2039 |     230      920     2760 |      306      342     19 |  0.002 % |
0.00/0.07	c |      2161 |     230      920     2760 |      306      365     18 |  0.002 % |
0.00/0.08	c |      2294 |     230      920     2760 |      306      363     18 |  0.002 % |
0.00/0.08	c |      2441 |     230      920     2760 |      306      342     18 |  0.002 % |
0.00/0.09	c |      2602 |     230      920     2760 |      306      341     19 |  0.002 % |
0.00/0.09	c |      2702 |     230      920     2760 |      306      343     19 |  0.002 % |
0.00/0.10	c |      2812 |     230      920     2760 |      306      324     18 |  0.002 % |
0.00/0.10	c |      2933 |     230      920     2760 |      306      378     20 |  0.002 % |
0.00/0.11	c |      3068 |     230      920     2760 |      306      341     21 |  0.002 % |
0.00/0.11	c |      3215 |     230      920     2760 |      306      356     20 |  0.002 % |
0.00/0.12	c |      3375 |     230      920     2760 |      306      350     19 |  0.002 % |
0.00/0.12	c |      3551 |     230      920     2760 |      306      355     21 |  0.002 % |
0.00/0.13	c |      3651 |     230      920     2760 |      306      354     20 |  0.002 % |
0.00/0.13	c |      3761 |     230      920     2760 |      306      364     19 |  0.002 % |
0.00/0.14	c |      3882 |     230      920     2760 |      306      320     18 |  0.002 % |
0.00/0.14	c |      4017 |     230      920     2760 |      306      359     18 |  0.002 % |
0.00/0.15	c |      4163 |     230      920     2760 |      306      336     18 |  0.002 % |
0.00/0.15	c |      4324 |     230      920     2760 |      306      325     18 |  0.002 % |
0.00/0.16	c |      4501 |     230      920     2760 |      306      341     18 |  0.002 % |
0.00/0.17	c |      4694 |     230      920     2760 |      306      365     18 |  0.002 % |
0.00/0.17	c |      4794 |     230      920     2760 |      306      363     16 |  0.002 % |
0.00/0.17	c |      4904 |     230      920     2760 |      306      371     17 |  0.002 % |
0.00/0.18	c |      5026 |     230      920     2760 |      306      321     14 |  0.002 % |
0.00/0.18	c |      5160 |     230      920     2760 |      306      358     15 |  0.002 % |
0.00/0.19	c |      5307 |     230      920     2760 |      306      338     14 |  0.002 % |
0.00/0.19	c |      5468 |     230      920     2760 |      306      337     14 |  0.002 % |
0.00/0.20	c |      5645 |     230      920     2760 |      306      345     17 |  0.002 % |
0.00/0.21	c |      5838 |     230      920     2760 |      306      345     15 |  0.002 % |
0.00/0.21	c |      6050 |     230      920     2760 |      306      334     15 |  0.002 % |
0.00/0.22	c |      6150 |     230      920     2760 |      306      365     16 |  0.002 % |
0.00/0.22	c |      6260 |     230      920     2760 |      306      344     16 |  0.002 % |
0.00/0.23	c |      6382 |     230      920     2760 |      306      335     15 |  0.002 % |
0.00/0.23	c |      6516 |     230      920     2760 |      306      338     15 |  0.002 % |
0.00/0.24	c |      6662 |     230      920     2760 |      306      322     12 |  0.002 % |
0.00/0.24	c |      6822 |     230      920     2760 |      306      322     13 |  0.002 % |
0.00/0.25	c |      7000 |     230      920     2760 |      306      336     13 |  0.002 % |
0.00/0.25	c |      7193 |     230      920     2760 |      306      336     11 |  0.002 % |
0.00/0.26	c |      7406 |     230      920     2760 |      306      353     12 |  0.002 % |
0.00/0.27	c |      7639 |     230      920     2760 |      306      353     12 |  0.002 % |
0.00/0.27	c |      7740 |     230      920     2760 |      306      358     12 |  0.002 % |
0.00/0.27	c |      7850 |     230      920     2760 |      306      336     11 |  0.002 % |
0.00/0.28	c |      7972 |     230      920     2760 |      306      355     13 |  0.002 % |
0.00/0.28	c |      8106 |     230      920     2760 |      306      327     11 |  0.002 % |
0.00/0.28	c |      8253 |     230      920     2760 |      306      376     11 |  0.002 % |
0.00/0.29	c |      8413 |     230      920     2760 |      306      334     13 |  0.002 % |
0.00/0.30	c |      8590 |     230      920     2760 |      306      340     12 |  0.002 % |
0.00/0.30	c |      8783 |     230      920     2760 |      306      331     12 |  0.002 % |
0.00/0.31	c |      8996 |     230      920     2760 |      306      347     12 |  0.002 % |
0.00/0.32	c |      9230 |     230      920     2760 |      306      322     11 |  0.002 % |
0.00/0.33	c |      9488 |     230      920     2760 |      306      356     13 |  0.002 % |
0.00/0.33	c |      9588 |     230      920     2760 |      306      324     11 |  0.002 % |
0.00/0.34	c |      9698 |     230      920     2760 |      306      340     11 |  0.002 % |
0.00/0.34	c |      9820 |     230      920     2760 |      306      360     14 |  0.002 % |
0.00/0.35	c |      9953 |     230      920     2760 |      306      331     11 |  0.002 % |
0.00/0.35	c |     10100 |     230      920     2760 | 2147483647      445     15 |  0.002 % |
0.00/0.36	c |     10260 |     230      920     2760 | 2147483647      605     17 |  0.002 % |
0.00/0.36	c |     10436 |     230      920     2760 | 2147483647      781     18 |  0.002 % |
0.00/0.37	c |     10630 |     230      920     2760 | 2147483647      975     19 |  0.002 % |
0.00/0.38	c |     10843 |     230      920     2760 | 2147483647     1188     20 |  0.002 % |
0.00/0.39	c |     11077 |     230      920     2760 | 2147483647     1422     20 |  0.002 % |
0.00/0.40	c |     11333 |     230      920     2760 | 2147483647     1678     21 |  0.002 % |
0.00/0.41	c |     11615 |     230      920     2760 | 2147483647     1960     21 |  0.002 % |
0.00/0.42	c |     11716 |     230      920     2760 | 2147483647     2061     21 |  0.002 % |
0.00/0.42	c |     11826 |     230      920     2760 | 2147483647     2171     21 |  0.002 % |
0.00/0.42	c |     11948 |     230      920     2760 | 2147483647     2293     21 |  0.002 % |
0.00/0.43	c |     12082 |     230      920     2760 | 2147483647     2427     21 |  0.002 % |
0.00/0.44	c |     12228 |     230      920     2760 | 2147483647     2573     21 |  0.002 % |
0.00/0.45	c |     12388 |     230      920     2760 | 2147483647     2733     21 |  0.002 % |
0.00/0.46	c |     12564 |     230      920     2760 | 2147483647     2909     21 |  0.002 % |
0.00/0.47	c |     12757 |     230      920     2760 | 2147483647     3102     22 |  0.002 % |
0.00/0.48	c |     12969 |     230      920     2760 | 2147483647     3314     22 |  0.002 % |
0.00/0.49	c |     13203 |     230      920     2760 | 2147483647     3548     22 |  0.002 % |
0.00/0.51	c |     13460 |     230      920     2760 | 2147483647     3805     22 |  0.002 % |
0.00/0.53	c |     13741 |     230      920     2760 | 2147483647     4086     23 |  0.002 % |
0.00/0.55	c |     14050 |     230      920     2760 | 2147483647     4395     23 |  0.002 % |
0.00/0.56	c |     14150 |     230      920     2760 | 2147483647     4495     23 |  0.002 % |
0.00/0.57	c |     14261 |     230      920     2760 | 2147483647     4606     23 |  0.002 % |
0.00/0.57	c |     14382 |     230      920     2760 | 2147483647     4727     23 |  0.002 % |
0.00/0.58	c |     14515 |     230      920     2760 | 2147483647     4860     23 |  0.002 % |
0.00/0.59	c |     14661 |     230      920     2760 | 2147483647     5006     23 |  0.002 % |
0.00/0.60	c |     14821 |     230      920     2760 | 2147483647     5166     23 |  0.002 % |
0.00/0.61	c |     14998 |     230      920     2760 | 2147483647     5343     23 |  0.002 % |
0.00/0.63	c |     15192 |     230      920     2760 | 2147483647     5537     23 |  0.002 % |
0.00/0.64	c |     15404 |     230      920     2760 | 2147483647     5749     23 |  0.002 % |
0.00/0.66	c |     15637 |     230      920     2760 | 2147483647     5982     23 |  0.004 % |
0.00/0.68	c |     15894 |     230      920     2760 | 2147483647     6239     23 |  0.002 % |
0.00/0.70	c |     16175 |     230      920     2760 | 2147483647     6520     23 |  0.002 % |
0.00/0.74	c |     16484 |     230      920     2760 | 2147483647     6829     23 |  0.002 % |
0.00/0.77	c |     16824 |     230      920     2760 | 2147483647     7169     23 |  0.002 % |
0.00/0.78	c |     16924 |     230      920     2760 | 2147483647     7269     23 |  0.002 % |
0.00/0.79	c |     17034 |     230      920     2760 | 2147483647     7379     23 |  0.002 % |
0.00/0.81	c |     17155 |     230      920     2760 | 2147483647     7500     23 |  0.002 % |
0.00/0.82	c |     17289 |     230      920     2760 | 2147483647     7634     23 |  0.002 % |
0.00/0.84	c |     17436 |     230      920     2760 | 2147483647     7781     23 |  0.002 % |
0.00/0.85	c |     17597 |     230      920     2760 | 2147483647     7942     23 |  0.002 % |
0.00/0.86	c |     17773 |     230      920     2760 | 2147483647     8118     23 |  0.002 % |
0.00/0.88	c |     17966 |     230      920     2760 | 2147483647     8311     23 |  0.002 % |
0.00/0.91	c |     18178 |     230      920     2760 | 2147483647     8523     23 |  0.002 % |
0.00/0.94	c |     18411 |     230      920     2760 | 2147483647     8756     23 |  0.002 % |
0.00/0.97	c |     18668 |     230      920     2760 | 2147483647     9013     23 |  0.002 % |
0.00/1.00	c |     18951 |     230      920     2760 | 2147483647     9296     23 |  0.002 % |
0.99/1.03	c |     19262 |     230      920     2760 | 2147483647     9607     23 |  0.002 % |
0.99/1.07	c |     19602 |     230      920     2760 | 2147483647     9947     23 |  0.002 % |
1.09/1.12	c |     19974 |     230      920     2760 | 2147483647    10319     23 |  0.002 % |
1.09/1.13	c |     20074 |     230      920     2760 | 2147483647    10419     23 |  0.002 % |
1.09/1.15	c |     20185 |     230      920     2760 | 2147483647    10530     23 |  0.002 % |
1.09/1.17	c |     20307 |     230      920     2760 | 2147483647    10652     23 |  0.002 % |
1.09/1.19	c |     20441 |     230      920     2760 | 2147483647    10786     23 |  0.002 % |
1.18/1.21	c |     20588 |     230      920     2760 | 2147483647    10933     23 |  0.002 % |
1.18/1.23	c |     20748 |     230      920     2760 | 2147483647    11093     23 |  0.002 % |
1.18/1.26	c |     20925 |     230      920     2760 | 2147483647    11270     23 |  0.002 % |
1.18/1.27	c |     21118 |     230      920     2760 | 2147483647    11463     23 |  0.002 % |
1.18/1.30	c |     21331 |     230      920     2760 | 2147483647    11676     23 |  0.002 % |
1.28/1.32	c |     21564 |     230      920     2760 | 2147483647    11909     23 |  0.002 % |
1.28/1.35	c |     21820 |     230      920     2760 | 2147483647    12165     23 |  0.002 % |
1.28/1.39	c |     22101 |     230      920     2760 | 2147483647    12446     23 |  0.002 % |
1.38/1.43	c |     22410 |     230      920     2760 | 2147483647    12755     23 |  0.002 % |
1.38/1.49	c |     22750 |     230      920     2760 | 2147483647    13095     22 |  0.002 % |
1.48/1.54	c |     23122 |     230      920     2760 | 2147483647    13467     22 |  0.002 % |
1.58/1.60	c |     23532 |     230      920     2760 | 2147483647    13877     22 |  0.002 % |
1.58/1.62	c |     23633 |     230      920     2760 | 2147483647    13978     22 |  0.002 % |
1.58/1.64	c |     23744 |     230      920     2760 | 2147483647    14089     22 |  0.002 % |
1.58/1.66	c |     23866 |     230      920     2760 | 2147483647    14211     22 |  0.002 % |
1.58/1.69	c |     23999 |     230      920     2760 | 2147483647    14344     22 |  0.002 % |
1.68/1.71	c |     24146 |     230      920     2760 | 2147483647    14491     22 |  0.002 % |
1.68/1.73	c |     24306 |     230      920     2760 | 2147483647    14651     22 |  0.002 % |
1.68/1.78	c |     24482 |     230      920     2760 | 2147483647    14827     22 |  0.002 % |
1.78/1.83	c |     24675 |     230      920     2760 | 2147483647    15020     22 |  0.002 % |
1.78/1.86	c |     24887 |     230      920     2760 | 2147483647    15232     22 |  0.002 % |
1.88/1.90	c |     25121 |     230      920     2760 | 2147483647    15466     22 |  0.002 % |
1.88/1.96	c |     25378 |     230      920     2760 | 2147483647    15723     22 |  0.002 % |
1.98/2.01	c |     25659 |     230      920     2760 | 2147483647    16004     22 |  0.002 % |
1.98/2.06	c |     25968 |     230      920     2760 | 2147483647    16313     22 |  0.002 % |
2.08/2.11	c |     26307 |     230      920     2760 | 2147483647    16652     22 |  0.002 % |
2.08/2.16	c |     26680 |     230      920     2760 | 2147483647    17025     22 |  0.002 % |
2.18/2.22	c |     27090 |     230      920     2760 | 2147483647    17435     22 |  0.002 % |
2.28/2.30	c |     27540 |     230      920     2760 | 2147483647    17885     22 |  0.002 % |
2.28/2.33	c |     27640 |     230      920     2760 | 2147483647    17985     22 |  0.002 % |
2.28/2.35	c |     27751 |     230      920     2760 | 2147483647    18096     22 |  0.002 % |
2.28/2.38	c |     27872 |     230      920     2760 | 2147483647    18217     22 |  0.002 % |
2.38/2.42	c |     28006 |     230      920     2760 | 2147483647    18351     22 |  0.002 % |
2.38/2.45	c |     28153 |     230      920     2760 | 2147483647    18498     22 |  0.002 % |
2.38/2.49	c |     28313 |     230      920     2760 | 2147483647    18658     22 |  0.002 % |
2.48/2.54	c |     28489 |     230      920     2760 | 2147483647    18834     22 |  0.002 % |
2.48/2.58	c |     28683 |     230      920     2760 | 2147483647    19028     22 |  0.002 % |
2.58/2.63	c |     28896 |     230      920     2760 | 2147483647    19241     22 |  0.002 % |
2.58/2.68	c |     29129 |     230      920     2760 | 2147483647    19474     22 |  0.002 % |
2.68/2.74	c |     29385 |     230      920     2760 | 2147483647    19730     22 |  0.002 % |
2.78/2.81	c |     29667 |     230      920     2760 | 2147483647    20012     22 |  0.002 % |
2.78/2.88	c |     29977 |     230      920     2760 | 2147483647    20322     22 |  0.002 % |
2.88/2.95	c |     30316 |     230      920     2760 |    20347    13424     21 |  0.002 % |
2.88/2.99	c |     30688 |     230      920     2760 |    20347    13796     21 |  0.002 % |
2.98/3.05	c |     31098 |     230      920     2760 |    20347    14206     21 |  0.002 % |
3.08/3.10	c |     31547 |     230      920     2760 |    20347    14655     21 |  0.002 % |
3.08/3.18	c |     32041 |     230      920     2760 |    20347    15149     21 |  0.002 % |
3.08/3.19	c |     32143 |     230      920     2760 |    20347    15251     21 |  0.002 % |
3.18/3.21	c |     32254 |     230      920     2760 |    20347    15362     21 |  0.002 % |
3.18/3.23	c |     32376 |     230      920     2760 |    20347    15484     21 |  0.002 % |
3.18/3.25	c |     32510 |     230      920     2760 |    20347    15618     21 |  0.002 % |
3.18/3.28	c |     32657 |     230      920     2760 |    20347    15765     21 |  0.002 % |
3.28/3.31	c |     32817 |     230      920     2760 |    20347    15925     21 |  0.002 % |
3.28/3.34	c |     32993 |     230      920     2760 |    20347    16101     21 |  0.002 % |
3.28/3.37	c |     33186 |     230      920     2760 |    20347    16294     21 |  0.002 % |
3.28/3.40	c |     33399 |     230      920     2760 |    20347    16507     21 |  0.002 % |
3.38/3.43	c |     33632 |     230      920     2760 |    20347    16740     21 |  0.002 % |
3.38/3.48	c |     33890 |     230      920     2760 |    20347    16998     21 |  0.002 % |
3.48/3.52	c |     34173 |     230      920     2760 |    20347    17281     21 |  0.002 % |
3.48/3.58	c |     34483 |     230      920     2760 |    20347    17591     21 |  0.002 % |
3.58/3.64	c |     34823 |     230      920     2760 |    20347    17931     21 |  0.002 % |
3.68/3.70	c |     35196 |     230      920     2760 |    20347    18304     21 |  0.002 % |
3.68/3.78	c |     35606 |     230      920     2760 |    20347    18714     21 |  0.002 % |
3.78/3.87	c |     36055 |     230      920     2760 |    20347    19163     21 |  0.002 % |
3.88/3.99	c |     36548 |     230      920     2760 |    20347    19656     21 |  0.002 % |
3.98/4.09	c |     37091 |     230      920     2760 |    20347    20199     21 |  0.002 % |
4.08/4.11	c |     37192 |     230      920     2760 |    20347    20300     21 |  0.002 % |
4.08/4.16	c |     37302 |     230      920     2760 |    20347    12414     20 |  0.002 % |
4.08/4.18	c |     37424 |     230      920     2760 |    20347    12536     20 |  0.002 % |
4.08/4.19	c |     37557 |     230      920     2760 |    20347    12669     20 |  0.002 % |
4.18/4.21	c |     37703 |     230      920     2760 |    20347    12815     20 |  0.002 % |
4.18/4.24	c |     37864 |     230      920     2760 |    20347    12976     20 |  0.002 % |
4.18/4.26	c |     38040 |     230      920     2760 |    20347    13152     20 |  0.002 % |
4.18/4.29	c |     38234 |     230      920     2760 |    20347    13346     20 |  0.002 % |
4.28/4.32	c |     38446 |     230      920     2760 |    20347    13558     20 |  0.002 % |
4.28/4.36	c |     38679 |     230      920     2760 |    20347    13791     20 |  0.002 % |
4.28/4.40	c |     38937 |     230      920     2760 |    20347    14049     20 |  0.002 % |
4.38/4.43	c |     39219 |     230      920     2760 |    20347    14331     20 |  0.002 % |
4.38/4.47	c |     39529 |     230      920     2760 |    20347    14641     20 |  0.002 % |
4.47/4.52	c |     39869 |     230      920     2760 |    20347    14981     20 |  0.002 % |
4.47/4.58	c |     40242 |     230      920     2760 |    15112     9469     19 |  0.002 % |
4.57/4.64	c |     40652 |     230      920     2760 |    15112     9879     19 |  0.002 % |
4.57/4.69	c |     41101 |     230      920     2760 |    15112    10328     20 |  0.002 % |
4.67/4.75	c |     41594 |     230      920     2760 |    15112    10821     19 |  0.002 % |
4.77/4.83	c |     42136 |     230      920     2760 |    15112    11363     20 |  0.002 % |
4.87/4.90	c |     42733 |     230      920     2760 |    15112    11960     20 |  0.002 % |
4.87/4.92	c |     42835 |     230      920     2760 |    15112    12062     20 |  0.002 % |
4.87/4.94	c |     42945 |     230      920     2760 |    15112    12172     20 |  0.002 % |
4.87/4.96	c |     43066 |     230      920     2760 |    15112    12293     20 |  0.002 % |
4.87/4.98	c |     43200 |     230      920     2760 |    15112    12427     20 |  0.002 % |
4.97/5.00	c |     43347 |     230      920     2760 |    15112    12574     20 |  0.002 % |
4.97/5.02	c |     43507 |     230      920     2760 |    15112    12734     20 |  0.002 % |
4.97/5.06	c |     43684 |     230      920     2760 |    15112    12911     20 |  0.002 % |
4.97/5.09	c |     43878 |     230      920     2760 |    15112    13105     20 |  0.002 % |
5.07/5.12	c |     44090 |     230      920     2760 |    15112    13317     20 |  0.002 % |
5.07/5.16	c |     44324 |     230      920     2760 |    15112    13551     20 |  0.002 % |
5.17/5.20	c |     44580 |     230      920     2760 |    15112    13807     20 |  0.002 % |
5.17/5.25	c |     44861 |     230      920     2760 |    15112    14088     20 |  0.002 % |
5.27/5.30	c |     45171 |     230      920     2760 |    15112    14398     20 |  0.002 % |
5.27/5.35	c |     45511 |     230      920     2760 |    15112    14738     20 |  0.002 % |
5.38/5.41	c |     45884 |     230      920     2760 |    15112    15111     20 |  0.002 % |
5.38/5.47	c |     46293 |     230      920     2760 |    15112     9959     19 |  0.002 % |
5.48/5.53	c |     46742 |     230      920     2760 |    15112    10408     19 |  0.002 % |
5.48/5.58	c |     47235 |     230      920     2760 |    15112    10901     19 |  0.002 % |
5.57/5.65	c |     47778 |     230      920     2760 |    15112    11444     19 |  0.002 % |
5.67/5.72	c |     48375 |     230      920     2760 |    15112    12041     19 |  0.002 % |
5.77/5.80	c |     49030 |     230      920     2760 |    15112    12696     20 |  0.002 % |
5.77/5.83	c |     49131 |     230      920     2760 |    15112    12797     20 |  0.002 % |
5.77/5.84	c |     49242 |     230      920     2760 |    15112    12908     20 |  0.002 % |
5.77/5.86	c |     49363 |     230      920     2760 |    15112    13029     20 |  0.002 % |
5.77/5.88	c |     49498 |     230      920     2760 |    15112    13164     20 |  0.002 % |
5.87/5.90	c |     49645 |     230      920     2760 |    15112    13311     20 |  0.002 % |
5.87/5.94	c |     49806 |     230      920     2760 |    15112    13472     20 |  0.002 % |
5.87/5.97	c |     49983 |     230      920     2760 |    15112    13649     20 |  0.002 % |
5.97/6.01	c |     50177 |     230      920     2760 |    13667     8913     19 |  0.002 % |
5.97/6.03	c |     50389 |     230      920     2760 |    13667     9125     19 |  0.002 % |
5.97/6.05	c |     50623 |     230      920     2760 |    13667     9359     19 |  0.002 % |
5.97/6.08	c |     50880 |     230      920     2760 |    13667     9616     19 |  0.002 % |
6.07/6.11	c |     51161 |     230      920     2760 |    13667     9897     19 |  0.002 % |
6.07/6.14	c |     51470 |     230      920     2760 |    13667    10206     19 |  0.002 % |
6.07/6.17	c |     51809 |     230      920     2760 |    13667    10545     19 |  0.002 % |
6.17/6.22	c |     52182 |     230      920     2760 |    13667    10918     19 |  0.002 % |
6.17/6.27	c |     52592 |     230      920     2760 |    13667    11328     20 |  0.002 % |
6.27/6.33	c |     53041 |     230      920     2760 |    13667    11777     20 |  0.002 % |
6.27/6.39	c |     53534 |     230      920     2760 |    13667    12270     20 |  0.002 % |
6.37/6.48	c |     54076 |     230      920     2760 |    13667    12812     20 |  0.002 % |
6.48/6.56	c |     54673 |     230      920     2760 |    13667    13409     20 |  0.002 % |
6.57/6.66	c |     55329 |     230      920     2760 |    13667     9439     19 |  0.002 % |
6.67/6.74	c |     56051 |     230      920     2760 |    13667    10161     19 |  0.002 % |
6.67/6.75	c |     56151 |     230      920     2760 |    13667    10261     19 |  0.002 % |
6.67/6.77	c |     56261 |     230      920     2760 |    13667    10371     19 |  0.002 % |
6.67/6.78	c |     56383 |     230      920     2760 |    13667    10493     19 |  0.002 % |
6.77/6.80	c |     56517 |     230      920     2760 |    13667    10627     19 |  0.002 % |
6.77/6.82	c |     56664 |     230      920     2760 |    13667    10774     19 |  0.002 % |
6.77/6.84	c |     56825 |     230      920     2760 |    13667    10935     19 |  0.002 % |
6.77/6.86	c |     57001 |     230      920     2760 |    13667    11111     19 |  0.002 % |
6.77/6.89	c |     57196 |     230      920     2760 |    13667    11306     19 |  0.002 % |
6.87/6.91	c |     57408 |     230      920     2760 |    13667    11518     19 |  0.002 % |
6.87/6.94	c |     57641 |     230      920     2760 |    13667    11751     19 |  0.002 % |
6.87/6.97	c |     57897 |     230      920     2760 |    13667    12007     19 |  0.002 % |
6.97/7.00	c |     58179 |     230      920     2760 |    13667    12289     19 |  0.002 % |
6.97/7.04	c |     58490 |     230      920     2760 |    13667    12600     19 |  0.002 % |
6.97/7.08	c |     58829 |     230      920     2760 |    13667    12939     20 |  0.002 % |
7.07/7.13	c |     59202 |     230      920     2760 |    13667    13312     20 |  0.002 % |
7.17/7.20	c |     59611 |     230      920     2760 |    13667     9113     19 |  0.002 % |
7.17/7.27	c |     60060 |     230      920     2760 |     9502     6355     18 |  0.002 % |
7.27/7.32	c |     60553 |     230      920     2760 |     9502     6848     18 |  0.002 % |
7.27/7.38	c |     61095 |     230      920     2760 |     9502     7390     18 |  0.002 % |
7.37/7.44	c |     61691 |     230      920     2760 |     9502     7986     19 |  0.002 % |
7.47/7.52	c |     62347 |     230      920     2760 |     9502     8642     19 |  0.002 % |
7.47/7.59	c |     63069 |     230      920     2760 |     9502     9364     19 |  0.002 % |
7.57/7.66	c |     63862 |     230      920     2760 |     9502     7319     19 |  0.002 % |
7.57/7.67	c |     63962 |     230      920     2760 |     9502     7419     19 |  0.002 % |
7.57/7.68	c |     64072 |     230      920     2760 |     9502     7529     19 |  0.002 % |
7.57/7.70	c |     64194 |     230      920     2760 |     9502     7651     19 |  0.002 % |
7.67/7.71	c |     64328 |     230      920     2760 |     9502     7785     19 |  0.002 % |
7.67/7.72	c |     64474 |     230      920     2760 |     9502     7931     19 |  0.002 % |
7.67/7.74	c |     64634 |     230      920     2760 |     9502     8091     19 |  0.002 % |
7.67/7.76	c |     64812 |     230      920     2760 |     9502     8269     19 |  0.002 % |
7.67/7.78	c |     65005 |     230      920     2760 |     9502     8462     19 |  0.002 % |
7.77/7.81	c |     65218 |     230      920     2760 |     9502     8675     19 |  0.002 % |
7.77/7.84	c |     65452 |     230      920     2760 |     9502     8909     19 |  0.002 % |
7.77/7.87	c |     65708 |     230      920     2760 |     9502     9165     19 |  0.002 % |
7.87/7.91	c |     65989 |     230      920     2760 |     9502     9446     19 |  0.002 % |
7.87/7.95	c |     66301 |     230      920     2760 |     9502     6992     19 |  0.002 % |
7.87/7.99	c |     66641 |     230      920     2760 |     9502     7332     19 |  0.002 % |
7.97/8.03	c |     67013 |     230      920     2760 |     9502     7704     19 |  0.002 % |
7.97/8.07	c |     67424 |     230      920     2760 |     9502     8115     19 |  0.002 % |
8.07/8.12	c |     67874 |     230      920     2760 |     9502     8565     19 |  0.002 % |
8.07/8.18	c |     68367 |     230      920     2760 |     9502     9058     19 |  0.002 % |
8.17/8.25	c |     68909 |     230      920     2760 |     9502     6838     19 |  0.002 % |
8.27/8.31	c |     69506 |     230      920     2760 |     9502     7435     19 |  0.002 % |
8.27/8.38	c |     70162 |     230      920     2760 |     7931     5828     18 |  0.002 % |
8.37/8.46	c |     70883 |     230      920     2760 |     7931     6549     18 |  0.002 % |
8.47/8.53	c |     71676 |     230      920     2760 |     7931     7342     19 |  0.002 % |
8.57/8.60	c |     72547 |     230      920     2760 |     7931     6289     18 |  0.002 % |
8.57/8.61	c |     72647 |     230      920     2760 |     7931     6389     18 |  0.002 % |
8.57/8.62	c |     72758 |     230      920     2760 |     7931     6500     18 |  0.002 % |
8.57/8.64	c |     72882 |     230      920     2760 |     7931     6624     18 |  0.002 % |
8.57/8.65	c |     73016 |     230      920     2760 |     7931     6758     18 |  0.002 % |
8.57/8.67	c |     73162 |     230      920     2760 |     7931     6904     18 |  0.002 % |
8.57/8.68	c |     73322 |     230      920     2760 |     7931     7064     19 |  0.002 % |
8.57/8.70	c |     73498 |     230      920     2760 |     7931     7240     19 |  0.002 % |
8.67/8.72	c |     73692 |     230      920     2760 |     7931     7434     19 |  0.002 % |
8.67/8.74	c |     73904 |     230      920     2760 |     7931     7646     19 |  0.002 % |
8.67/8.76	c |     74137 |     230      920     2760 |     7931     7879     19 |  0.002 % |
8.67/8.79	c |     74394 |     230      920     2760 |     7931     6244     18 |  0.002 % |
8.77/8.81	c |     74675 |     230      920     2760 |     7931     6525     19 |  0.002 % |
8.77/8.84	c |     74984 |     230      920     2760 |     7931     6834     19 |  0.002 % |
8.77/8.87	c |     75323 |     230      920     2760 |     7931     7173     19 |  0.002 % |
8.87/8.90	c |     75696 |     230      920     2760 |     7931     7546     19 |  0.002 % |
8.87/8.94	c |     76105 |     230      920     2760 |     7931     7955     19 |  0.002 % |
8.87/8.99	c |     76554 |     230      920     2760 |     7931     6550     19 |  0.002 % |
8.97/9.04	c |     77048 |     230      920     2760 |     7931     7044     19 |  0.002 % |
8.97/9.09	c |     77590 |     230      920     2760 |     7931     7586     19 |  0.002 % |
9.07/9.16	c |     78186 |     230      920     2760 |     7931     6339     18 |  0.002 % |
9.17/9.23	c |     78841 |     230      920     2760 |     7931     6994     19 |  0.002 % |
9.27/9.30	c |     79562 |     230      920     2760 |     7931     7715     19 |  0.002 % |
9.27/9.39	c |     80355 |     230      920     2760 |     6315     5212     17 |  0.002 % |
9.37/9.47	c |     81227 |     230      920     2760 |     6315     6084     17 |  0.002 % |
9.47/9.56	c |     82186 |     230      920     2760 |     6315     5744     17 |  0.002 % |
9.47/9.57	c |     82287 |     230      920     2760 |     6315     5845     17 |  0.002 % |
9.47/9.58	c |     82398 |     230      920     2760 |     6315     5956     17 |  0.002 % |
9.47/9.59	c |     82520 |     230      920     2760 |     6315     6078     18 |  0.002 % |
9.56/9.60	c |     82653 |     230      920     2760 |     6315     6211     18 |  0.002 % |
9.56/9.62	c |     82799 |     230      920     2760 |     6315     5118     17 |  0.002 % |
9.56/9.64	c |     82960 |     230      920     2760 |     6315     5279     17 |  0.002 % |
9.56/9.65	c |     83136 |     230      920     2760 |     6315     5455     17 |  0.002 % |
9.56/9.67	c |     83329 |     230      920     2760 |     6315     5648     18 |  0.002 % |
9.56/9.68	c |     83541 |     230      920     2760 |     6315     5860     18 |  0.002 % |
9.66/9.71	c |     83774 |     230      920     2760 |     6315     6093     18 |  0.002 % |
9.66/9.73	c |     84031 |     230      920     2760 |     6315     6350     18 |  0.002 % |
9.66/9.76	c |     84313 |     230      920     2760 |     6315     5420     18 |  0.002 % |
9.66/9.78	c |     84623 |     230      920     2760 |     6315     5730     18 |  0.002 % |
9.77/9.81	c |     84963 |     230      920     2760 |     6315     6070     18 |  0.002 % |
9.77/9.85	c |     85335 |     230      920     2760 |     6315     5249     18 |  0.002 % |
9.77/9.88	c |     85745 |     230      920     2760 |     6315     5659     18 |  0.002 % |
9.87/9.92	c |     86194 |     230      920     2760 |     6315     6108     19 |  0.002 % |
9.87/9.96	c |     86687 |     230      920     2760 |     6315     5446     18 |  0.002 % |
9.96/10.01	c |     87230 |     230      920     2760 |     6315     5989     19 |  0.002 % |
9.96/10.07	c |     87826 |     230      920     2760 |     6315     5439     19 |  0.002 % |
10.06/10.12	c |     88482 |     230      920     2760 |     6315     6095     19 |  0.002 % |
10.06/10.19	c |     89202 |     230      920     2760 |     6315     5684     19 |  0.002 % |
10.16/10.26	c |     89996 |     230      920     2760 |     6315     5365     18 |  0.002 % |
10.26/10.33	c |     90867 |     230      920     2760 |     5370     5295     18 |  0.002 % |
10.36/10.42	c |     91825 |     230      920     2760 |     5370     5394     18 |  0.002 % |
10.46/10.53	c |     92878 |     230      920     2760 |     5370     4812     18 |  0.002 % |
10.46/10.54	c |     92978 |     230      920     2760 |     5370     4912     18 |  0.002 % |
10.46/10.54	c |     93088 |     230      920     2760 |     5370     5022     18 |  0.002 % |
10.46/10.55	c |     93209 |     230      920     2760 |     5370     5143     18 |  0.002 % |
10.46/10.56	c |     93343 |     230      920     2760 |     5370     5277     18 |  0.002 % |
10.46/10.57	c |     93491 |     230      920     2760 |     5370     4650     18 |  0.002 % |
10.46/10.58	c |     93651 |     230      920     2760 |     5370     4810     18 |  0.002 % |
10.46/10.60	c |     93829 |     230      920     2760 |     5370     4988     18 |  0.002 % |
10.56/10.61	c |     94023 |     230      920     2760 |     5370     5182     18 |  0.002 % |
10.56/10.63	c |     94235 |     230      920     2760 |     5370     5394     18 |  0.002 % |
10.56/10.64	c |     94468 |     230      920     2760 |     5370     4896     18 |  0.002 % |
10.56/10.66	c |     94724 |     230      920     2760 |     5370     5152     18 |  0.002 % |
10.56/10.69	c |     95005 |     230      920     2760 |     5370     4737     18 |  0.002 % |
10.66/10.71	c |     95314 |     230      920     2760 |     5370     5046     18 |  0.002 % |
10.66/10.74	c |     95653 |     230      920     2760 |     5370     5385     18 |  0.002 % |
10.66/10.77	c |     96027 |     230      920     2760 |     5370     5091     18 |  0.002 % |
10.76/10.80	c |     96436 |     230      920     2760 |     5370     4844     18 |  0.002 % |
10.76/10.83	c |     96886 |     230      920     2760 |     5370     5294     18 |  0.002 % |
10.76/10.87	c |     97381 |     230      920     2760 |     5370     5145     18 |  0.002 % |
10.86/10.92	c |     97923 |     230      920     2760 |     5370     5047     18 |  0.002 % |
10.86/10.98	c |     98520 |     230      920     2760 |     5370     5005     18 |  0.002 % |
10.96/11.03	c |     99175 |     230      920     2760 |     5370     5024     18 |  0.002 % |
10.96/11.09	c |     99895 |     230      920     2760 |     5370     5117     18 |  0.002 % |
11.06/11.15	c |    100688 |     230      920     2760 |     5222     4737     17 |  0.002 % |
11.16/11.22	c |    101560 |     230      920     2760 |     5222     5083     18 |  0.002 % |
11.26/11.31	c |    102518 |     230      920     2760 |     5222     4992     18 |  0.002 % |
11.36/11.40	c |    103571 |     230      920     2760 |     5222     4995     18 |  0.002 % |
11.46/11.50	c |    104730 |     230      920     2760 |     5222     5103     18 |  0.002 % |
11.46/11.51	c |    104830 |     230      920     2760 |     5222     5203     18 |  0.002 % |
11.46/11.52	c |    104942 |     230      920     2760 |     5222     4789     18 |  0.002 % |
11.46/11.52	c |    105064 |     230      920     2760 |     5222     4911     18 |  0.002 % |
11.46/11.54	c |    105197 |     230      920     2760 |     5222     5044     18 |  0.002 % |
11.46/11.55	c |    105345 |     230      920     2760 |     5222     5192     18 |  0.002 % |
11.46/11.56	c |    105506 |     230      920     2760 |     5222     4828     18 |  0.002 % |
11.46/11.58	c |    105682 |     230      920     2760 |     5222     5004     18 |  0.002 % |
11.46/11.59	c |    105876 |     230      920     2760 |     5222     5198     18 |  0.002 % |
11.56/11.61	c |    106089 |     230      920     2760 |     5222     4886     18 |  0.002 % |
11.56/11.63	c |    106322 |     230      920     2760 |     5222     5119     18 |  0.002 % |
11.56/11.66	c |    106578 |     230      920     2760 |     5222     4851     18 |  0.002 % |
11.56/11.68	c |    106859 |     230      920     2760 |     5222     5132     18 |  0.002 % |
11.66/11.70	c |    107168 |     230      920     2760 |     5222     4916     18 |  0.002 % |
11.66/11.74	c |    107509 |     230      920     2760 |     5222     4732     18 |  0.002 % |
11.66/11.77	c |    107881 |     230      920     2760 |     5222     5104     18 |  0.002 % |
11.76/11.80	c |    108291 |     230      920     2760 |     5222     4989     18 |  0.002 % |
11.76/11.83	c |    108743 |     230      920     2760 |     5222     4916     18 |  0.002 % |
11.76/11.87	c |    109236 |     230      920     2760 |     5222     4884     18 |  0.002 % |
11.86/11.92	c |    109778 |     230      920     2760 |     5222     4901     18 |  0.002 % |
11.86/11.96	c |    110374 |     230      920     2760 | 2147483647     5497     18 |  0.002 % |
11.96/12.00	c |    111029 |     230      920     2760 | 2147483647     6152     18 |  0.002 % |
11.96/12.07	c |    111750 |     230      920     2760 | 2147483647     6873     19 |  0.002 % |
12.06/12.14	c |    112542 |     230      920     2760 | 2147483647     7665     19 |  0.002 % |
12.16/12.23	c |    113413 |     230      920     2760 | 2147483647     8536     19 |  0.002 % |
12.26/12.34	c |    114371 |     230      920     2760 | 2147483647     9494     19 |  0.002 % |
12.36/12.44	c |    115424 |     230      920     2760 | 2147483647    10547     19 |  0.002 % |
12.46/12.57	c |    116583 |     230      920     2760 | 2147483647    11706     19 |  0.002 % |
12.66/12.74	c |    117856 |     230      920     2760 | 2147483647    12979     19 |  0.002 % |
12.66/12.76	c |    117957 |     230      920     2760 | 2147483647    13080     20 |  0.002 % |
12.66/12.78	c |    118067 |     230      920     2760 | 2147483647    13190     20 |  0.002 % |
12.76/12.80	c |    118189 |     230      920     2760 | 2147483647    13312     19 |  0.002 % |
12.76/12.83	c |    118323 |     230      920     2760 | 2147483647    13446     20 |  0.002 % |
12.76/12.85	c |    118470 |     230      920     2760 | 2147483647    13593     20 |  0.002 % |
12.76/12.87	c |    118631 |     230      920     2760 | 2147483647    13754     20 |  0.002 % |
12.86/12.90	c |    118807 |     230      920     2760 | 2147483647    13930     20 |  0.002 % |
12.86/12.93	c |    119000 |     230      920     2760 | 2147483647    14123     20 |  0.002 % |
12.86/12.98	c |    119213 |     230      920     2760 | 2147483647    14336     20 |  0.002 % |
12.96/13.03	c |    119447 |     230      920     2760 | 2147483647    14570     20 |  0.002 % |
12.96/13.07	c |    119703 |     230      920     2760 | 2147483647    14826     20 |  0.002 % |
13.06/13.13	c |    119984 |     230      920     2760 | 2147483647    15107     20 |  0.002 % |
13.06/13.19	c |    120293 |     230      920     2760 |    15123    11060     19 |  0.002 % |
13.16/13.23	c |    120633 |     230      920     2760 |    15123    11400     19 |  0.002 % |
13.16/13.28	c |    121005 |     230      920     2760 |    15123    11772     19 |  0.002 % |
13.25/13.35	c |    121415 |     230      920     2760 |    15123    12182     19 |  0.002 % |
13.35/13.43	c |    121864 |     230      920     2760 |    15123    12631     19 |  0.002 % |
13.35/13.48	c |    122357 |     230      920     2760 |    15123    13124     19 |  0.002 % |
13.45/13.55	c |    122899 |     230      920     2760 |    15123    13666     19 |  0.002 % |
13.55/13.64	c |    123496 |     230      920     2760 |    15123    14263     19 |  0.002 % |
13.65/13.79	c |    124151 |     230      920     2760 |    15123    14918     19 |  0.002 % |
13.85/13.90	c |    124872 |     230      920     2760 |    15123    10479     18 |  0.002 % |
13.95/14.00	c |    125665 |     230      920     2760 |    15123    11272     19 |  0.002 % |
14.05/14.13	c |    126538 |     230      920     2760 |    15123    12145     19 |  0.002 % |
14.16/14.23	c |    127498 |     230      920     2760 |    15123    13105     19 |  0.002 % |
14.25/14.36	c |    128552 |     230      920     2760 |    15123    14159     19 |  0.002 % |
14.45/14.58	c |    129710 |     230      920     2760 |    15123    10125     18 |  0.002 % |
14.65/14.71	c |    130983 |     230      920     2760 |    10415     7829     18 |  0.002 % |
14.75/14.87	c |    132383 |     230      920     2760 |    10415     9229     18 |  0.002 % |
14.75/14.89	c |    132483 |     230      920     2760 |    10415     9329     18 |  0.002 % |
14.85/14.90	c |    132594 |     230      920     2760 |    10415     9440     18 |  0.002 % |
14.85/14.91	c |    132716 |     230      920     2760 |    10415     9562     18 |  0.002 % |
14.85/14.93	c |    132849 |     230      920     2760 |    10415     9695     18 |  0.002 % |
14.85/14.94	c |    132995 |     230      920     2760 |    10415     9841     18 |  0.002 % |
14.85/14.96	c |    133155 |     230      920     2760 |    10415    10001     18 |  0.002 % |
14.85/14.97	c |    133331 |     230      920     2760 |    10415    10177     18 |  0.002 % |
14.85/14.99	c |    133527 |     230      920     2760 |    10415    10373     18 |  0.002 % |
14.95/15.02	c |    133740 |     230      920     2760 |    10415     7356     18 |  0.002 % |
14.95/15.05	c |    133973 |     230      920     2760 |    10415     7589     18 |  0.002 % |
14.95/15.08	c |    134230 |     230      920     2760 |    10415     7846     18 |  0.002 % |
15.05/15.11	c |    134511 |     230      920     2760 |    10415     8127     18 |  0.002 % |
15.05/15.15	c |    134821 |     230      920     2760 |    10415     8437     18 |  0.002 % |
15.05/15.18	c |    135160 |     230      920     2760 |    10415     8776     18 |  0.002 % |
15.15/15.21	c |    135532 |     230      920     2760 |    10415     9148     18 |  0.002 % |
15.15/15.26	c |    135941 |     230      920     2760 |    10415     9557     18 |  0.002 % |
15.25/15.33	c |    136391 |     230      920     2760 |    10415    10007     18 |  0.002 % |
15.25/15.39	c |    136884 |     230      920     2760 |    10415     7444     17 |  0.002 % |
15.35/15.46	c |    137426 |     230      920     2760 |    10415     7986     18 |  0.002 % |
15.45/15.52	c |    138023 |     230      920     2760 |    10415     8583     18 |  0.002 % |
15.45/15.59	c |    138679 |     230      920     2760 |    10415     9239     18 |  0.002 % |
15.55/15.67	c |    139399 |     230      920     2760 |    10415     9959     18 |  0.002 % |
15.65/15.79	c |    140191 |     230      920     2760 |     7539     5542     17 |  0.002 % |
15.75/15.85	c |    141063 |     230      920     2760 |     7539     6414     17 |  0.002 % |
15.85/15.95	c |    142022 |     230      920     2760 |     7539     7373     18 |  0.002 % |
15.95/16.06	c |    143075 |     230      920     2760 |     7539     6495     17 |  0.002 % |
16.05/16.19	c |    144234 |     230      920     2760 |     7539     5844     17 |  0.002 % |
16.25/16.31	c |    145508 |     230      920     2760 |     7539     7118     18 |  0.002 % |
16.35/16.46	c |    146908 |     230      920     2760 |     7539     6749     18 |  0.002 % |
16.55/16.62	c |    148449 |     230      920     2760 |     7539     6543     18 |  0.002 % |
16.55/16.63	c |    148551 |     230      920     2760 |     7539     6645     18 |  0.002 % |
16.55/16.65	c |    148662 |     230      920     2760 |     7539     6756     18 |  0.002 % |
16.55/16.66	c |    148784 |     230      920     2760 |     7539     6878     18 |  0.002 % |
16.55/16.67	c |    148917 |     230      920     2760 |     7539     7011     18 |  0.002 % |
16.55/16.68	c |    149064 |     230      920     2760 |     7539     7158     18 |  0.002 % |
16.65/16.70	c |    149224 |     230      920     2760 |     7539     7318     18 |  0.002 % |
16.65/16.72	c |    149400 |     230      920     2760 |     7539     7494     18 |  0.002 % |
16.65/16.74	c |    149593 |     230      920     2760 |     7539     5956     18 |  0.002 % |
16.65/16.76	c |    149805 |     230      920     2760 |     7539     6168     18 |  0.002 % |
16.65/16.78	c |    150038 |     230      920     2760 |     6363     6401     18 |  0.002 % |
16.75/16.80	c |    150295 |     230      920     2760 |     6363     5204     17 |  0.002 % |
16.75/16.83	c |    150578 |     230      920     2760 |     6363     5487     17 |  0.002 % |
16.75/16.85	c |    150889 |     230      920     2760 |     6363     5798     17 |  0.002 % |
16.75/16.87	c |    151229 |     230      920     2760 |     6363     6138     18 |  0.002 % |
16.85/16.91	c |    151601 |     230      920     2760 |     6363     5192     17 |  0.002 % |
16.85/16.94	c |    152010 |     230      920     2760 |     6363     5601     17 |  0.002 % |
16.85/16.98	c |    152459 |     230      920     2760 |     6363     6050     18 |  0.002 % |
16.95/17.02	c |    152953 |     230      920     2760 |     6363     5305     17 |  0.002 % |
16.95/17.06	c |    153495 |     230      920     2760 |     6363     5847     18 |  0.002 % |
17.05/17.12	c |    154091 |     230      920     2760 |     6363     5245     17 |  0.002 % |
17.05/17.19	c |    154747 |     230      920     2760 |     6363     5901     18 |  0.002 % |
17.15/17.26	c |    155467 |     230      920     2760 |     6363     5408     17 |  0.002 % |
17.25/17.34	c |    156260 |     230      920     2760 |     6363     6201     18 |  0.002 % |
17.35/17.41	c |    157132 |     230      920     2760 |     6363     5883     18 |  0.002 % |
17.45/17.50	c |    158090 |     230      920     2760 |     6363     5691     18 |  0.002 % |
17.45/17.60	c |    159144 |     230      920     2760 |     6363     5609     18 |  0.002 % |
17.55/17.68	c |    160304 |     230      920     2760 |     5350     4719     17 |  0.002 % |
17.65/17.77	c |    161577 |     230      920     2760 |     5350     5127     17 |  0.002 % |
17.75/17.89	c |    162977 |     230      920     2760 |     5350     4834     17 |  0.002 % |
17.95/18.00	c |    164517 |     230      920     2760 |     5350     4806     17 |  0.002 % |
18.05/18.15	c |    166212 |     230      920     2760 |     5350     5045     17 |  0.002 % |
18.05/18.15	c |    166313 |     230      920     2760 |     5350     5146     17 |  0.002 % |
18.05/18.17	c |    166423 |     230      920     2760 |     5350     5256     17 |  0.002 % |
18.05/18.18	c |    166545 |     230      920     2760 |     5350     4660     17 |  0.002 % |
18.05/18.19	c |    166678 |     230      920     2760 |     5350     4793     17 |  0.002 % |
18.15/18.20	c |    166824 |     230      920     2760 |     5350     4939     17 |  0.002 % |
18.15/18.21	c |    166985 |     230      920     2760 |     5350     5100     17 |  0.002 % |
18.15/18.23	c |    167162 |     230      920     2760 |     5350     5277     17 |  0.002 % |
18.15/18.24	c |    167355 |     230      920     2760 |     5350     4766     17 |  0.002 % |
18.15/18.26	c |    167567 |     230      920     2760 |     5350     4978     17 |  0.002 % |
18.15/18.28	c |    167800 |     230      920     2760 |     5350     5211     18 |  0.002 % |
18.24/18.31	c |    168056 |     230      920     2760 |     5350     4777     17 |  0.002 % |
18.24/18.32	c |    168337 |     230      920     2760 |     5350     5058     17 |  0.002 % |
18.24/18.35	c |    168647 |     230      920     2760 |     5350     5368     18 |  0.002 % |
18.24/18.38	c |    168988 |     230      920     2760 |     5350     5019     18 |  0.002 % |
18.34/18.42	c |    169360 |     230      920     2760 |     5350     4719     17 |  0.002 % |
18.34/18.45	c |    169771 |     230      920     2760 |     5350     5130     18 |  0.002 % |
18.34/18.49	c |    170220 |     230      920     2760 |     5360     4922     18 |  0.002 % |
18.44/18.53	c |    170714 |     230      920     2760 |     5360     4798     18 |  0.002 % |
18.44/18.58	c |    171256 |     230      920     2760 |     5360     5340     18 |  0.002 % |
18.55/18.62	c |    171853 |     230      920     2760 |     5360     5357     18 |  0.002 % |
18.55/18.67	c |    172510 |     230      920     2760 |     5360     4882     18 |  0.002 % |
18.65/18.72	c |    173230 |     230      920     2760 |     5360     5010     18 |  0.002 % |
18.65/18.78	c |    174022 |     230      920     2760 |     5360     5191     18 |  0.002 % |
18.74/18.85	c |    174893 |     230      920     2760 |     5360     4846     18 |  0.002 % |
18.84/18.93	c |    175852 |     230      920     2760 |     5360     5204     18 |  0.002 % |
18.94/19.03	c |    176905 |     230      920     2760 |     5360     5078     18 |  0.002 % |
19.04/19.14	c |    178063 |     230      920     2760 |     5360     5062     18 |  0.002 % |
19.14/19.25	c |    179336 |     230      920     2760 |     5360     5139     17 |  0.002 % |
19.24/19.35	c |    180738 |     230      920     2760 |     5197     4763     17 |  0.002 % |
19.34/19.46	c |    182278 |     230      920     2760 |     5197     5110     17 |  0.002 % |
19.44/19.58	c |    183972 |     230      920     2760 |     5197     5056     17 |  0.002 % |
19.65/19.73	c |    185835 |     230      920     2760 |     5197     4685     18 |  0.002 % |
19.65/19.73	c |    185936 |     230      920     2760 |     5197     4786     18 |  0.002 % |
19.65/19.74	c |    186047 |     230      920     2760 |     5197     4897     18 |  0.002 % |
19.65/19.75	c |    186168 |     230      920     2760 |     5197     5018     18 |  0.002 % |
19.65/19.76	c |    186303 |     230      920     2760 |     5197     5153     18 |  0.002 % |
19.65/19.77	c |    186449 |     230      920     2760 |     5197     4734     18 |  0.002 % |
19.65/19.78	c |    186610 |     230      920     2760 |     5197     4895     18 |  0.002 % |
19.65/19.79	c |    186786 |     230      920     2760 |     5197     5071     18 |  0.002 % |
19.74/19.81	c |    186979 |     230      920     2760 |     5197     4698     18 |  0.002 % |
19.74/19.83	c |    187192 |     230      920     2760 |     5197     4911     18 |  0.002 % |
19.74/19.84	c |    187425 |     230      920     2760 |     5197     5144     18 |  0.002 % |
19.74/19.86	c |    187681 |     230      920     2760 |     5197     4842     18 |  0.002 % |
19.74/19.88	c |    187963 |     230      920     2760 |     5197     5124     18 |  0.002 % |
19.84/19.92	c |    188273 |     230      920     2760 |     5197     4877     18 |  0.002 % |
19.84/19.94	c |    188612 |     230      920     2760 |     5197     5216     18 |  0.002 % |
19.84/19.97	c |    188984 |     230      920     2760 |     5197     5020     18 |  0.002 % |
19.94/20.00	c |    189393 |     230      920     2760 |     5197     4861     18 |  0.002 % |
19.94/20.04	c |    189842 |     230      920     2760 |     5197     4736     18 |  0.002 % |
19.94/20.09	c |    190336 |     230      920     2760 |     4894     4689     18 |  0.002 % |
20.04/20.13	c |    190878 |     230      920     2760 |     4894     4714     18 |  0.002 % |
20.04/20.17	c |    191474 |     230      920     2760 |     4894     4820     18 |  0.002 % |
20.14/20.22	c |    192131 |     230      920     2760 |     4894     4497     18 |  0.002 % |
20.14/20.28	c |    192852 |     230      920     2760 |     4894     4727     18 |  0.002 % |
20.24/20.34	c |    193645 |     230      920     2760 |     4894     4533     18 |  0.002 % |
20.34/20.40	c |    194517 |     230      920     2760 |     4894     4912     19 |  0.002 % |
20.34/20.49	c |    195475 |     230      920     2760 |     4894     4886     19 |  0.002 % |
20.44/20.59	c |    196529 |     230      920     2760 |     4894     4466     18 |  0.002 % |
20.64/20.70	c |    197688 |     230      920     2760 |     4894     4643     17 |  0.002 % |
20.64/20.80	c |    198962 |     230      920     2760 |     4894     4931     18 |  0.002 % |
20.84/20.91	c |    200362 |     230      920     2760 | 2147483647     4853     18 |  0.002 % |
20.94/21.05	c |    201902 |     230      920     2760 | 2147483647     6393     18 |  0.002 % |
21.14/21.20	c |    203597 |     230      920     2760 | 2147483647     8088     19 |  0.002 % |
21.34/21.42	c |    205460 |     230      920     2760 | 2147483647     9951     19 |  0.002 % |
21.54/21.66	c |    207511 |     230      920     2760 | 2147483647    12002     19 |  0.002 % |
21.54/21.67	c |    207611 |     230      920     2760 | 2147483647    12102     19 |  0.002 % |
21.54/21.68	c |    207722 |     230      920     2760 | 2147483647    12213     19 |  0.002 % |
21.54/21.69	c |    207843 |     230      920     2760 | 2147483647    12334     19 |  0.002 % |
21.64/21.71	c |    207976 |     230      920     2760 | 2147483647    12467     19 |  0.002 % |
21.64/21.73	c |    208123 |     230      920     2760 | 2147483647    12614     19 |  0.002 % |
21.64/21.75	c |    208284 |     230      920     2760 | 2147483647    12775     19 |  0.002 % |
21.64/21.77	c |    208461 |     230      920     2760 | 2147483647    12952     19 |  0.002 % |
21.74/21.80	c |    208654 |     230      920     2760 | 2147483647    13145     19 |  0.002 % |
21.74/21.84	c |    208867 |     230      920     2760 | 2147483647    13358     19 |  0.002 % |
21.74/21.87	c |    209100 |     230      920     2760 | 2147483647    13591     19 |  0.002 % |
21.84/21.91	c |    209356 |     230      920     2760 | 2147483647    13847     20 |  0.002 % |
21.84/21.97	c |    209637 |     230      920     2760 | 2147483647    14128     20 |  0.002 % |
21.94/22.01	c |    209947 |     230      920     2760 | 2147483647    14438     20 |  0.002 % |
21.94/22.07	c |    210288 |     230      920     2760 |    14491    10979     19 |  0.002 % |
22.04/22.12	c |    210661 |     230      920     2760 |    14491    11352     19 |  0.002 % |
22.04/22.18	c |    211071 |     230      920     2760 |    14491    11762     19 |  0.002 % |
22.14/22.26	c |    211522 |     230      920     2760 |    14491    12213     20 |  0.002 % |
22.24/22.35	c |    212016 |     230      920     2760 |    14491    12707     20 |  0.002 % |
22.34/22.43	c |    212559 |     230      920     2760 |    14491    13250     20 |  0.002 % |
22.44/22.54	c |    213155 |     230      920     2760 |    14491    13846     20 |  0.002 % |
22.54/22.65	c |    213810 |     230      920     2760 |    14491    14501     20 |  0.002 % |
22.64/22.74	c |    214530 |     230      920     2760 |    14491    10492     19 |  0.002 % |
22.74/22.85	c |    215323 |     230      920     2760 |    14491    11285     19 |  0.002 % |
22.84/22.96	c |    216194 |     230      920     2760 |    14491    12156     19 |  0.002 % |
22.94/23.07	c |    217154 |     230      920     2760 |    14491    13116     19 |  0.002 % |
23.14/23.20	c |    218207 |     230      920     2760 |    14491    14169     19 |  0.002 % |
23.24/23.34	c |    219366 |     230      920     2760 |    14491    10569     19 |  0.002 % |
23.34/23.49	c |    220639 |     230      920     2760 |    11204     8218     19 |  0.002 % |
23.54/23.64	c |    222039 |     230      920     2760 |    11204     9618     19 |  0.002 % |
23.74/23.83	c |    223579 |     230      920     2760 |    11204    11158     19 |  0.002 % |
23.94/24.02	c |    225274 |     230      920     2760 |    11204     9485     19 |  0.002 % |
24.14/24.26	c |    227137 |     230      920     2760 |    11204     8071     18 |  0.002 % |
24.44/24.51	c |    229187 |     230      920     2760 |    11204    10121     19 |  0.002 % |
24.74/24.82	c |    231441 |     230      920     2760 |    10934     9098     18 |  0.002 % |
24.74/24.83	c |    231541 |     230      920     2760 |    10934     9198     18 |  0.002 % |
24.74/24.85	c |    231651 |     230      920     2760 |    10934     9308     18 |  0.002 % |
24.74/24.86	c |    231773 |     230      920     2760 |    10934     9430     18 |  0.002 % |
24.74/24.87	c |    231906 |     230      920     2760 |    10934     9563     18 |  0.002 % |
24.74/24.88	c |    232054 |     230      920     2760 |    10934     9711     18 |  0.002 % |
24.84/24.90	c |    232216 |     230      920     2760 |    10934     9873     18 |  0.002 % |
24.84/24.92	c |    232392 |     230      920     2760 |    10934    10049     18 |  0.002 % |
24.84/24.94	c |    232585 |     230      920     2760 |    10934    10242     18 |  0.002 % |
24.84/24.96	c |    232797 |     230      920     2760 |    10934    10454     19 |  0.002 % |
24.84/24.98	c |    233031 |     230      920     2760 |    10934    10688     19 |  0.002 % |
24.94/25.01	c |    233288 |     230      920     2760 |    10934    10945     19 |  0.002 % |
24.94/25.05	c |    233570 |     230      920     2760 |    10934     8131     18 |  0.002 % |
24.94/25.08	c |    233879 |     230      920     2760 |    10934     8440     18 |  0.002 % |
25.04/25.11	c |    234219 |     230      920     2760 |    10934     8780     18 |  0.002 % |
25.04/25.15	c |    234591 |     230      920     2760 |    10934     9152     18 |  0.002 % |
25.04/25.19	c |    235000 |     230      920     2760 |    10934     9561     18 |  0.002 % |
25.14/25.25	c |    235449 |     230      920     2760 |    10934    10010     18 |  0.002 % |
25.14/25.30	c |    235942 |     230      920     2760 |    10934    10503     18 |  0.002 % |
25.24/25.37	c |    236485 |     230      920     2760 |    10934     7950     18 |  0.002 % |
25.34/25.43	c |    237081 |     230      920     2760 |    10934     8546     18 |  0.002 % |
25.44/25.51	c |    237736 |     230      920     2760 |    10934     9201     18 |  0.002 % |
25.54/25.60	c |    238457 |     230      920     2760 |    10934     9922     18 |  0.002 % |
25.54/25.67	c |    239249 |     230      920     2760 |    10934    10714     18 |  0.002 % |
25.64/25.76	c |    240121 |     230      920     2760 |     8362     6133     17 |  0.002 % |
25.74/25.84	c |    241080 |     230      920     2760 |     8362     7092     18 |  0.002 % |
25.84/25.93	c |    242133 |     230      920     2760 |     8362     8145     18 |  0.002 % |
25.94/26.05	c |    243292 |     230      920     2760 |     8362     7158     18 |  0.002 % |
26.04/26.20	c |    244566 |     230      920     2760 |     8362     6383     18 |  0.002 % |
26.24/26.35	c |    245967 |     230      920     2760 |     8362     7784     18 |  0.002 % |
26.44/26.50	c |    247507 |     230      920     2760 |     8362     7285     18 |  0.002 % |
26.64/26.71	c |    249201 |     230      920     2760 |     8362     6943     17 |  0.002 % |
26.74/26.87	c |    251065 |     230      920     2760 |     7742     6938     17 |  0.002 % |
26.94/27.08	c |    253114 |     230      920     2760 |     7742     7219     17 |  0.002 % |
27.14/27.29	c |    255367 |     230      920     2760 |     7742     7749     18 |  0.002 % |
27.44/27.53	c |    257845 |     230      920     2760 |     7742     6999     18 |  0.002 % |
27.44/27.54	c |    257946 |     230      920     2760 |     7742     7100     18 |  0.002 % |
27.44/27.54	c |    258057 |     230      920     2760 |     7742     7211     18 |  0.002 % |
27.44/27.55	c |    258178 |     230      920     2760 |     7742     7332     18 |  0.002 % |
27.44/27.57	c |    258311 |     230      920     2760 |     7742     7465     18 |  0.002 % |
27.44/27.58	c |    258458 |     230      920     2760 |     7742     7612     18 |  0.002 % |
27.54/27.60	c |    258618 |     230      920     2760 |     7742     6219     17 |  0.002 % |
27.54/27.62	c |    258794 |     230      920     2760 |     7742     6395     17 |  0.002 % |
27.54/27.64	c |    258987 |     230      920     2760 |     7742     6588     18 |  0.002 % |
27.54/27.66	c |    259200 |     230      920     2760 |     7742     6801     18 |  0.002 % |
27.54/27.67	c |    259434 |     230      920     2760 |     7742     7035     18 |  0.002 % |
27.54/27.70	c |    259690 |     230      920     2760 |     7742     7291     18 |  0.002 % |
27.64/27.72	c |    259971 |     230      920     2760 |     7742     7572     18 |  0.002 % |
27.64/27.76	c |    260281 |     230      920     2760 |     7602     6382     18 |  0.002 % |
27.64/27.78	c |    260621 |     230      920     2760 |     7602     6722     18 |  0.002 % |
27.74/27.82	c |    260994 |     230      920     2760 |     7602     7095     18 |  0.002 % |
27.74/27.87	c |    261404 |     230      920     2760 |     7602     7505     18 |  0.002 % |
27.84/27.91	c |    261854 |     230      920     2760 |     7602     6508     18 |  0.002 % |
27.84/27.95	c |    262348 |     230      920     2760 |     7602     7002     18 |  0.002 % |
27.94/28.00	c |    262891 |     230      920     2760 |     7602     7545     18 |  0.002 % |
27.94/28.07	c |    263487 |     230      920     2760 |     7602     6744     18 |  0.002 % |
28.04/28.14	c |    264143 |     230      920     2760 |     7602     7400     19 |  0.002 % |
28.14/28.21	c |    264864 |     230      920     2760 |     7602     6768     18 |  0.002 % |
28.14/28.29	c |    265657 |     230      920     2760 |     7602     7561     19 |  0.002 % |
28.24/28.37	c |    266529 |     230      920     2760 |     7602     7097     18 |  0.002 % |
28.34/28.45	c |    267488 |     230      920     2760 |     7602     6734     18 |  0.002 % |
28.45/28.55	c |    268541 |     230      920     2760 |     7602     6473     18 |  0.002 % |
28.55/28.65	c |    269699 |     230      920     2760 |     7602     7631     18 |  0.002 % |
28.64/28.77	c |    270973 |     230      920     2760 |     6628     6471     18 |  0.002 % |
28.84/28.90	c |    272373 |     230      920     2760 |     6628     5716     18 |  0.002 % |
28.94/29.04	c |    273915 |     230      920     2760 |     6628     6198     18 |  0.002 % |
29.04/29.19	c |    275610 |     230      920     2760 |     6628     5763     18 |  0.002 % |
29.24/29.37	c |    277475 |     230      920     2760 |     6628     6543     18 |  0.002 % |
29.44/29.55	c |    279524 |     230      920     2760 |     6628     6426     18 |  0.002 % |
29.65/29.73	c |    281777 |     230      920     2760 |     5812     5746     18 |  0.002 % |
29.84/29.96	c |    284255 |     230      920     2760 |     5812     5392     18 |  0.002 % |
30.14/30.21	c |    286981 |     230      920     2760 |     5812     5154     18 |  0.002 % |
30.14/30.22	c |    287082 |     230      920     2760 |     5812     5255     18 |  0.002 % |
30.14/30.23	c |    287192 |     230      920     2760 |     5812     5365     18 |  0.002 % |
30.14/30.24	c |    287315 |     230      920     2760 |     5812     5488     18 |  0.002 % |
30.14/30.26	c |    287448 |     230      920     2760 |     5812     5621     18 |  0.002 % |
30.14/30.27	c |    287595 |     230      920     2760 |     5812     5768     18 |  0.002 % |
30.14/30.28	c |    287756 |     230      920     2760 |     5812     4983     18 |  0.002 % |
30.14/30.29	c |    287932 |     230      920     2760 |     5812     5159     18 |  0.002 % |
30.24/30.31	c |    288125 |     230      920     2760 |     5812     5352     18 |  0.002 % |
30.24/30.33	c |    288337 |     230      920     2760 |     5812     5564     19 |  0.002 % |
30.24/30.35	c |    288571 |     230      920     2760 |     5812     5798     19 |  0.002 % |
30.24/30.38	c |    288827 |     230      920     2760 |     5812     5121     19 |  0.002 % |
30.34/30.40	c |    289110 |     230      920     2760 |     5812     5404     19 |  0.002 % |
30.34/30.43	c |    289419 |     230      920     2760 |     5812     5713     19 |  0.002 % |
30.34/30.47	c |    289758 |     230      920     2760 |     5812     5140     19 |  0.002 % |
30.44/30.50	c |    290131 |     230      920     2760 |     5382     4690     19 |  0.002 % |
30.44/30.53	c |    290540 |     230      920     2760 |     5382     5099     19 |  0.002 % |
30.44/30.57	c |    290990 |     230      920     2760 |     5382     4772     19 |  0.002 % |
30.54/30.61	c |    291483 |     230      920     2760 |     5382     5265     19 |  0.002 % |
30.54/30.66	c |    292028 |     230      920     2760 |     5382     5089     19 |  0.002 % |
30.65/30.72	c |    292624 |     230      920     2760 |     5382     5017     19 |  0.002 % |
30.65/30.79	c |    293280 |     230      920     2760 |     5382     5034     18 |  0.002 % |
30.75/30.85	c |    294000 |     230      920     2760 |     5382     5138     18 |  0.002 % |
30.84/30.91	c |    294792 |     230      920     2760 |     5382     5324     18 |  0.002 % |
30.84/31.00	c |    295663 |     230      920     2760 |     5382     5029     18 |  0.002 % |
30.94/31.07	c |    296621 |     230      920     2760 |     5382     4874     18 |  0.002 % |
31.04/31.16	c |    297674 |     230      920     2760 |     5382     5366     18 |  0.002 % |
31.14/31.26	c |    298833 |     230      920     2760 |     5382     4885     18 |  0.002 % |
31.24/31.37	c |    300106 |     230      920     2760 | 2147483647     5077     18 |  0.002 % |
31.44/31.51	c |    301506 |     230      920     2760 | 2147483647     6477     18 |  0.002 % |
31.54/31.67	c |    303047 |     230      920     2760 | 2147483647     8018     19 |  0.002 % |
31.74/31.84	c |    304742 |     230      920     2760 | 2147483647     9713     19 |  0.002 % |
31.94/32.08	c |    306606 |     230      920     2760 | 2147483647    11577     19 |  0.002 % |
32.24/32.36	c |    308655 |     230      920     2760 | 2147483647    13626     19 |  0.002 % |
32.54/32.66	c |    310908 |     230      920     2760 |    14973    12207     19 |  0.002 % |
32.94/33.02	c |    313387 |     230      920     2760 |    14973    14686     19 |  0.002 % |
33.24/33.37	c |    316113 |     230      920     2760 |    14973    12935     19 |  0.002 % |
33.64/33.78	c |    319110 |     230      920     2760 |    14973    11157     19 |  0.004 % |
33.64/33.79	c |    319211 |     230      920     2760 |    14973    11258     19 |  0.002 % |
33.74/33.81	c |    319322 |     230      920     2760 |    14973    11369     19 |  0.004 % |
33.74/33.82	c |    319445 |     230      920     2760 |    14973    11492     19 |  0.002 % |
33.74/33.84	c |    319578 |     230      920     2760 |    14973    11625     19 |  0.002 % |
33.74/33.85	c |    319724 |     230      920     2760 |    14973    11771     19 |  0.002 % |
33.74/33.88	c |    319885 |     230      920     2760 |    14973    11932     19 |  0.002 % |
33.84/33.92	c |    320061 |     230      920     2760 |    12048     8258     18 |  0.002 % |
33.84/33.94	c |    320255 |     230      920     2760 |    12048     8452     18 |  0.002 % |
33.84/33.97	c |    320468 |     230      920     2760 |    12048     8665     18 |  0.002 % |
33.84/33.99	c |    320702 |     230      920     2760 |    12048     8899     18 |  0.002 % |
33.94/34.02	c |    320958 |     230      920     2760 |    12048     9155     18 |  0.002 % |
33.94/34.06	c |    321239 |     230      920     2760 |    12048     9436     18 |  0.002 % |
33.94/34.09	c |    321550 |     230      920     2760 |    12048     9747     18 |  0.002 % |
34.04/34.13	c |    321889 |     230      920     2760 |    12048    10086     19 |  0.002 % |
34.04/34.18	c |    322262 |     230      920     2760 |    12048    10459     19 |  0.002 % |
34.14/34.24	c |    322672 |     230      920     2760 |    12048    10869     19 |  0.002 % |
34.14/34.29	c |    323121 |     230      920     2760 |    12048    11318     19 |  0.002 % |
34.24/34.35	c |    323614 |     230      920     2760 |    12048    11811     19 |  0.002 % |
34.34/34.43	c |    324156 |     230      920     2760 |    12048     8592     19 |  0.002 % |
34.34/34.49	c |    324752 |     230      920     2760 |    12048     9188     19 |  0.002 % |
34.43/34.55	c |    325408 |     230      920     2760 |    12048     9844     19 |  0.002 % |
34.53/34.63	c |    326129 |     230      920     2760 |    12048    10565     19 |  0.002 % |
34.63/34.71	c |    326921 |     230      920     2760 |    12048    11357     19 |  0.002 % |
34.73/34.82	c |    327792 |     230      920     2760 |    12048     8653     19 |  0.002 % |
34.83/34.91	c |    328751 |     230      920     2760 |    12048     9612     19 |  0.002 % |
34.93/35.04	c |    329804 |     230      920     2760 |    12048    10665     19 |  0.002 % |
35.04/35.17	c |    330963 |     230      920     2760 |    10862     8678     19 |  0.002 % |
35.24/35.31	c |    332236 |     230      920     2760 |    10862     9951     19 |  0.002 % |
35.34/35.46	c |    333636 |     230      920     2760 |    10862     8465     19 |  0.002 % |
35.54/35.63	c |    335176 |     230      920     2760 |    10862    10005     19 |  0.002 % |
35.73/35.82	c |    336870 |     230      920     2760 |    10862     8890     19 |  0.002 % |
35.93/36.01	c |    338733 |     230      920     2760 |    10862    10753     19 |  0.002 % |
36.14/36.23	c |    340783 |     230      920     2760 |     9309     7812     18 |  0.002 % |
36.33/36.44	c |    343036 |     230      920     2760 |     9309     7957     18 |  0.002 % |
36.53/36.63	c |    345514 |     230      920     2760 |     9309     8416     19 |  0.002 % |
36.83/36.91	c |    348240 |     230      920     2760 |     9309     9056     19 |  0.002 % |
37.13/37.23	c |    351238 |     230      920     2760 |     8601     7762     19 |  0.002 % |
37.53/37.60	c |    354534 |     230      920     2760 |     8601     6843     18 |  0.002 % |
37.53/37.61	c |    354634 |     230      920     2760 |     8601     6943     18 |  0.002 % |
37.53/37.62	c |    354744 |     230      920     2760 |     8601     7053     18 |  0.002 % |
37.53/37.63	c |    354867 |     230      920     2760 |     8601     7176     18 |  0.002 % |
37.53/37.64	c |    355001 |     230      920     2760 |     8601     7310     18 |  0.002 % |
37.53/37.66	c |    355148 |     230      920     2760 |     8601     7457     18 |  0.002 % |
37.53/37.67	c |    355310 |     230      920     2760 |     8601     7619     18 |  0.002 % |
37.53/37.69	c |    355486 |     230      920     2760 |     8601     7795     19 |  0.002 % |
37.63/37.70	c |    355680 |     230      920     2760 |     8601     7989     19 |  0.002 % |
37.63/37.73	c |    355893 |     230      920     2760 |     8601     8202     19 |  0.002 % |
37.63/37.75	c |    356126 |     230      920     2760 |     8601     8435     19 |  0.002 % |
37.63/37.78	c |    356382 |     230      920     2760 |     8601     6599     18 |  0.002 % |
37.73/37.81	c |    356664 |     230      920     2760 |     8601     6881     18 |  0.002 % |
37.73/37.83	c |    356974 |     230      920     2760 |     8601     7191     18 |  0.002 % |
37.73/37.86	c |    357313 |     230      920     2760 |     8601     7530     19 |  0.002 % |
37.83/37.90	c |    357687 |     230      920     2760 |     8601     7904     19 |  0.002 % |
37.83/37.93	c |    358096 |     230      920     2760 |     8601     8313     19 |  0.002 % |
37.83/38.00	c |    358545 |     230      920     2760 |     8601     6636     18 |  0.002 % |
37.93/38.04	c |    359039 |     230      920     2760 |     8601     7130     18 |  0.002 % |
37.93/38.09	c |    359581 |     230      920     2760 |     8601     7672     19 |  0.002 % |
38.03/38.17	c |    360178 |     230      920     2760 |     8091     6267     18 |  0.002 % |
38.13/38.23	c |    360833 |     230      920     2760 |     8091     6922     19 |  0.002 % |
38.23/38.30	c |    361553 |     230      920     2760 |     8091     7642     19 |  0.002 % |
38.23/38.38	c |    362346 |     230      920     2760 |     8091     6549     18 |  0.002 % |
38.33/38.46	c |    363219 |     230      920     2760 |     8091     7422     18 |  0.002 % |
38.43/38.54	c |    364178 |     230      920     2760 |     8091     6536     18 |  0.002 % |
38.53/38.65	c |    365232 |     230      920     2760 |     8091     7590     19 |  0.002 % |
38.63/38.76	c |    366390 |     230      920     2760 |     8091     6967     18 |  0.002 % |
38.73/38.86	c |    367664 |     230      920     2760 |     8091     6485     18 |  0.002 % |
38.83/38.98	c |    369065 |     230      920     2760 |     8091     7886     19 |  0.002 % |
39.03/39.12	c |    370606 |     230      920     2760 |     7064     6157     18 |  0.002 % |
39.13/39.26	c |    372300 |     230      920     2760 |     7064     6461     18 |  0.002 % |
39.33/39.42	c |    374165 |     230      920     2760 |     7064     7009     18 |  0.002 % |
39.43/39.57	c |    376214 |     230      920     2760 |     7064     6571     18 |  0.002 % |
39.63/39.77	c |    378468 |     230      920     2760 |     7064     6442     18 |  0.002 % |
39.83/39.99	c |    380947 |     230      920     2760 |     6790     6579     18 |  0.002 % |
40.13/40.20	c |    383673 |     230      920     2760 |     6790     5994     18 |  0.002 % |
40.33/40.46	c |    386671 |     230      920     2760 |     6790     6792     18 |  0.002 % |
40.63/40.75	c |    389968 |     230      920     2760 |     6790     6735     18 |  0.002 % |
40.93/41.05	c |    393593 |     230      920     2760 |     6768     6729     18 |  0.002 % |
40.93/41.06	c |    393694 |     230      920     2760 |     6768     5504     18 |  0.002 % |
40.93/41.07	c |    393805 |     230      920     2760 |     6768     5615     18 |  0.002 % |
40.93/41.08	c |    393926 |     230      920     2760 |     6768     5736     18 |  0.002 % |
40.93/41.09	c |    394061 |     230      920     2760 |     6768     5871     18 |  0.002 % |
41.03/41.10	c |    394208 |     230      920     2760 |     6768     6018     18 |  0.002 % |
41.03/41.11	c |    394369 |     230      920     2760 |     6768     6179     18 |  0.002 % |
41.03/41.13	c |    394545 |     230      920     2760 |     6768     6355     18 |  0.002 % |
41.03/41.15	c |    394739 |     230      920     2760 |     6768     6549     18 |  0.002 % |
41.03/41.16	c |    394951 |     230      920     2760 |     6768     6761     18 |  0.002 % |
41.03/41.19	c |    395184 |     230      920     2760 |     6768     5681     18 |  0.002 % |
41.13/41.21	c |    395441 |     230      920     2760 |     6768     5938     18 |  0.002 % |
41.13/41.24	c |    395722 |     230      920     2760 |     6768     6219     18 |  0.002 % |
41.13/41.27	c |    396032 |     230      920     2760 |     6768     6529     18 |  0.002 % |
41.23/41.30	c |    396371 |     230      920     2760 |     6768     5539     18 |  0.002 % |
41.23/41.33	c |    396744 |     230      920     2760 |     6768     5912     18 |  0.002 % |
41.23/41.36	c |    397153 |     230      920     2760 |     6768     6321     18 |  0.002 % |
41.23/41.39	c |    397603 |     230      920     2760 |     6768     6771     19 |  0.002 % |
41.33/41.45	c |    398097 |     230      920     2760 |     6768     5970     18 |  0.002 % |
41.43/41.50	c |    398640 |     230      920     2760 |     6768     6513     19 |  0.002 % |
41.43/41.55	c |    399236 |     230      920     2760 |     6768     5805     18 |  0.002 % |
41.53/41.61	c |    399891 |     230      920     2760 |     6768     6460     18 |  0.002 % |
41.53/41.66	c |    400611 |     230      920     2760 |     6571     5926     18 |  0.002 % |
41.63/41.74	c |    401403 |     230      920     2760 |     6571     5509     18 |  0.002 % |
41.73/41.81	c |    402274 |     230      920     2760 |     6571     6380     18 |  0.002 % |
41.73/41.88	c |    403232 |     230      920     2760 |     6571     6161     18 |  0.002 % |
41.82/41.98	c |    404287 |     230      920     2760 |     6571     6036     18 |  0.002 % |
41.92/42.06	c |    405445 |     230      920     2760 |     6571     6009     18 |  0.002 % |
42.02/42.18	c |    406718 |     230      920     2760 |     6571     6111     18 |  0.002 % |
42.22/42.30	c |    408119 |     230      920     2760 |     6571     6346     18 |  0.002 % |
42.32/42.43	c |    409661 |     230      920     2760 |     6571     5575     17 |  0.002 % |
42.42/42.58	c |    411357 |     230      920     2760 |     5915     5297     17 |  0.002 % |
42.62/42.74	c |    413221 |     230      920     2760 |     5915     5304     17 |  0.002 % |
42.73/42.89	c |    415270 |     230      920     2760 |     5915     5578     17 |  0.002 % |
42.92/43.06	c |    417523 |     230      920     2760 |     5915     5330     17 |  0.002 % |
43.12/43.23	c |    420001 |     230      920     2760 |     5455     5456     18 |  0.002 % |
43.32/43.47	c |    422726 |     230      920     2760 |     5455     5136     18 |  0.002 % |
43.62/43.73	c |    425724 |     230      920     2760 |     5455     5023     18 |  0.002 % |
43.93/44.00	c |    429021 |     230      920     2760 |     5455     5231     19 |  0.002 % |
44.12/44.27	c |    432647 |     230      920     2760 |     5464     5261     18 |  0.002 % |
44.42/44.58	c |    436635 |     230      920     2760 |     5464     4885     17 |  0.002 % |
44.42/44.59	c |    436735 |     230      920     2760 |     5464     4985     17 |  0.002 % |
44.52/44.60	c |    436845 |     230      920     2760 |     5464     5095     17 |  0.002 % |
44.52/44.61	c |    436966 |     230      920     2760 |     5464     5216     17 |  0.002 % |
44.52/44.62	c |    437100 |     230      920     2760 |     5464     5350     17 |  0.002 % |
44.52/44.64	c |    437246 |     230      920     2760 |     5464     4719     17 |  0.002 % |
44.52/44.65	c |    437406 |     230      920     2760 |     5464     4879     17 |  0.002 % |
44.52/44.66	c |    437584 |     230      920     2760 |     5464     5057     17 |  0.002 % |
44.52/44.67	c |    437777 |     230      920     2760 |     5464     5250     17 |  0.002 % |
44.52/44.68	c |    437989 |     230      920     2760 |     5464     5462     17 |  0.002 % |
44.62/44.70	c |    438223 |     230      920     2760 |     5464     4934     17 |  0.002 % |
44.62/44.71	c |    438480 |     230      920     2760 |     5464     5191     17 |  0.002 % |
44.62/44.73	c |    438761 |     230      920     2760 |     5464     5472     18 |  0.002 % |
44.62/44.75	c |    439071 |     230      920     2760 |     5464     5036     18 |  0.002 % |
44.62/44.77	c |    439410 |     230      920     2760 |     5464     5375     18 |  0.002 % |
44.72/44.80	c |    439783 |     230      920     2760 |     5464     5007     18 |  0.002 % |
44.72/44.84	c |    440192 |     230      920     2760 |     5224     4719     18 |  0.002 % |
44.72/44.87	c |    440642 |     230      920     2760 |     5224     5169     18 |  0.002 % |
44.82/44.90	c |    441135 |     230      920     2760 |     5224     4989     18 |  0.002 % |
44.82/44.94	c |    441677 |     230      920     2760 |     5224     4887     18 |  0.002 % |
44.82/44.98	c |    442274 |     230      920     2760 |     5224     4847     18 |  0.002 % |
44.92/45.02	c |    442929 |     230      920     2760 |     5224     4885     18 |  0.002 % |
44.92/45.06	c |    443650 |     230      920     2760 |     5224     5007     17 |  0.002 % |
45.02/45.12	c |    444442 |     230      920     2760 |     5224     5196     17 |  0.002 % |
45.02/45.19	c |    445315 |     230      920     2760 |     5224     4890     17 |  0.002 % |
45.12/45.27	c |    446274 |     230      920     2760 |     5224     5251     17 |  0.002 % |
45.22/45.36	c |    447329 |     230      920     2760 |     5224     5093     17 |  0.002 % |
45.32/45.44	c |    448487 |     230      920     2760 |     5224     5031     16 |  0.002 % |
45.42/45.55	c |    449760 |     230      920     2760 |     5224     5072     16 |  0.002 % |
45.52/45.65	c |    451160 |     230      920     2760 |     4695     4334     16 |  0.002 % |
45.62/45.78	c |    452700 |     230      920     2760 |     4695     4459     16 |  0.002 % |
45.82/45.90	c |    454394 |     230      920     2760 |     4695     4265     17 |  0.002 % |
45.92/46.04	c |    456258 |     230      920     2760 |     4695     4715     17 |  0.002 % |
46.12/46.22	c |    458308 |     230      920     2760 |     4695     4408     17 |  0.002 % |
46.32/46.42	c |    460561 |     230      920     2760 | 2147483647     5245     17 |  0.002 % |
46.52/46.62	c |    463040 |     230      920     2760 | 2147483647     7724     18 |  0.002 % |
46.72/46.88	c |    465767 |     230      920     2760 | 2147483647    10451     18 |  0.002 % |
47.12/47.24	c |    468764 |     230      920     2760 | 2147483647    13448     18 |  0.002 % |
47.52/47.65	c |    472061 |     230      920     2760 |    14684    12732     18 |  0.002 % |
48.02/48.15	c |    475686 |     230      920     2760 |    14684    11449     17 |  0.002 % |
48.62/48.72	c |    479673 |     230      920     2760 |    14684    10354     16 |  0.002 % |
49.12/49.21	c |    484062 |     230      920     2760 |    10681     7760     16 |  0.002 % |
49.12/49.22	c |    484162 |     230      920     2760 |    10681     7860     16 |  0.002 % |
49.12/49.23	c |    484273 |     230      920     2760 |    10681     7971     16 |  0.002 % |
49.12/49.24	c |    484396 |     230      920     2760 |    10681     8094     16 |  0.002 % |
49.12/49.26	c |    484530 |     230      920     2760 |    10681     8228     16 |  0.002 % |
49.12/49.28	c |    484677 |     230      920     2760 |    10681     8375     16 |  0.002 % |
49.12/49.29	c |    484837 |     230      920     2760 |    10681     8535     16 |  0.002 % |
49.22/49.31	c |    485014 |     230      920     2760 |    10681     8712     16 |  0.002 % |
49.22/49.33	c |    485208 |     230      920     2760 |    10681     8906     16 |  0.002 % |
49.22/49.36	c |    485420 |     230      920     2760 |    10681     9118     16 |  0.002 % |
49.22/49.38	c |    485653 |     230      920     2760 |    10681     9351     16 |  0.002 % |
49.22/49.40	c |    485910 |     230      920     2760 |    10681     9608     16 |  0.002 % |
49.32/49.42	c |    486191 |     230      920     2760 |    10681     9889     16 |  0.002 % |
49.32/49.45	c |    486500 |     230      920     2760 |    10681    10198     16 |  0.002 % |
49.32/49.49	c |    486840 |     230      920     2760 |    10681    10538     17 |  0.002 % |
49.42/49.55	c |    487213 |     230      920     2760 |    10681     7704     17 |  0.002 % |
49.42/49.59	c |    487623 |     230      920     2760 |    10681     8114     17 |  0.002 % |
49.52/49.62	c |    488074 |     230      920     2760 |    10681     8565     17 |  0.002 % |
49.52/49.68	c |    488568 |     230      920     2760 |    10681     9059     17 |  0.002 % |
49.62/49.75	c |    489110 |     230      920     2760 |    10681     9601     17 |  0.002 % |
49.71/49.81	c |    489706 |     230      920     2760 |    10681    10197     17 |  0.002 % |
49.71/49.88	c |    490362 |     230      920     2760 |    10493     7761     17 |  0.002 % |
49.81/49.95	c |    491082 |     230      920     2760 |    10493     8481     18 |  0.002 % |
49.91/50.05	c |    491877 |     230      920     2760 |    10493     9276     18 |  0.002 % |
50.01/50.13	c |    492748 |     230      920     2760 |    10493    10147     18 |  0.002 % |
50.11/50.25	c |    493708 |     230      920     2760 |    10493     8041     17 |  0.002 % |
50.21/50.37	c |    494761 |     230      920     2760 |    10493     9094     17 |  0.002 % |
50.32/50.47	c |    495921 |     230      920     2760 |    10493    10254     17 |  0.002 % |
50.52/50.61	c |    497194 |     230      920     2760 |    10493     8487     18 |  0.002 % |
50.62/50.74	c |    498594 |     230      920     2760 |    10493     9887     18 |  0.002 % |
50.82/50.92	c |    500135 |     230      920     2760 |     8295     6079     18 |  0.002 % |
50.91/51.07	c |    501830 |     230      920     2760 |     8295     7774     18 |  0.002 % |
51.11/51.25	c |    503693 |     230      920     2760 |     8295     7524     17 |  0.002 % |
51.31/51.44	c |    505743 |     230      920     2760 |     8295     7539     17 |  0.002 % |
51.52/51.65	c |    507996 |     230      920     2760 |     8295     7795     17 |  0.002 % |
51.81/51.90	c |    510475 |     230      920     2760 |     7815     6459     17 |  0.002 % |
52.01/52.15	c |    513201 |     230      920     2760 |     7815     7425     17 |  0.002 % |
52.31/52.44	c |    516198 |     230      920     2760 |     7815     6938     17 |  0.002 % |
52.62/52.75	c |    519495 |     230      920     2760 |     7815     6778     18 |  0.002 % |
53.01/53.10	c |    523122 |     230      920     2760 |     7285     7043     18 |  0.002 % |
53.41/53.52	c |    527109 |     230      920     2760 |     7285     6185     18 |  0.002 % |
53.82/53.91	c |    531495 |     230      920     2760 |     6061     5195     19 |  0.002 % |
54.21/54.33	c |    536319 |     230      920     2760 |     6061     5486     20 |  0.002 % |
54.21/54.33	c |    536420 |     230      920     2760 |     6061     5587     20 |  0.002 % |
54.21/54.34	c |    536530 |     230      920     2760 |     6061     5697     20 |  0.002 % |
54.21/54.35	c |    536651 |     230      920     2760 |     6061     5818     20 |  0.002 % |
54.21/54.35	c |    536784 |     230      920     2760 |     6061     5951     20 |  0.002 % |
54.21/54.36	c |    536932 |     230      920     2760 |     6061     6099     20 |  0.002 % |
54.21/54.38	c |    537092 |     230      920     2760 |     6061     5148     19 |  0.002 % |
54.21/54.39	c |    537268 |     230      920     2760 |     6061     5324     19 |  0.002 % |
54.31/54.41	c |    537461 |     230      920     2760 |     6061     5517     20 |  0.002 % |
54.31/54.42	c |    537674 |     230      920     2760 |     6061     5730     20 |  0.002 % |
54.31/54.44	c |    537908 |     230      920     2760 |     6061     5964     20 |  0.002 % |
54.31/54.47	c |    538164 |     230      920     2760 |     6061     5115     20 |  0.002 % |
54.31/54.48	c |    538447 |     230      920     2760 |     6061     5398     20 |  0.002 % |
54.41/54.50	c |    538756 |     230      920     2760 |     6061     5707     20 |  0.002 % |
54.41/54.53	c |    539097 |     230      920     2760 |     6061     6048     20 |  0.002 % |
54.41/54.56	c |    539469 |     230      920     2760 |     6061     5352     19 |  0.002 % |
54.41/54.58	c |    539879 |     230      920     2760 |     6061     5762     19 |  0.002 % |
54.51/54.62	c |    540328 |     230      920     2760 |     5885     5194     19 |  0.002 % |
54.51/54.65	c |    540822 |     230      920     2760 |     5885     5688     19 |  0.002 % |
54.51/54.69	c |    541366 |     230      920     2760 |     5885     5251     19 |  0.002 % |
54.61/54.73	c |    541962 |     230      920     2760 |     5885     5847     19 |  0.002 % |
54.61/54.79	c |    542617 |     230      920     2760 |     5885     5576     19 |  0.002 % |
54.71/54.84	c |    543337 |     230      920     2760 |     5885     5417     18 |  0.002 % |
54.81/54.91	c |    544130 |     230      920     2760 |     5885     5334     18 |  0.002 % |
54.81/54.97	c |    545002 |     230      920     2760 |     5885     5327     18 |  0.002 % |
54.91/55.04	c |    545961 |     230      920     2760 |     5885     5438     18 |  0.002 % |
55.01/55.12	c |    547015 |     230      920     2760 |     5885     5643     19 |  0.002 % |
55.11/55.20	c |    548173 |     230      920     2760 |     5885     5110     19 |  0.002 % |
55.21/55.30	c |    549447 |     230      920     2760 |     5885     5546     19 |  0.002 % |
55.31/55.41	c |    550848 |     230      920     2760 |     5258     4679     19 |  0.002 % |
55.41/55.52	c |    552388 |     230      920     2760 |     5258     4975     18 |  0.002 % |
55.51/55.67	c |    554083 |     230      920     2760 |     5258     4819     18 |  0.002 % |
55.61/55.80	c |    555947 |     230      920     2760 |     5258     4992     18 |  0.002 % |
55.81/55.97	c |    557997 |     230      920     2760 |     5258     4925     18 |  0.002 % |
56.01/56.14	c |    560250 |     230      920     2760 |     4790     4547     17 |  0.002 % |
56.21/56.32	c |    562728 |     230      920     2760 |     4790     4619     17 |  0.002 % |
56.41/56.51	c |    565454 |     230      920     2760 |     4790     4455     18 |  0.002 % |
56.61/56.75	c |    568451 |     230      920     2760 |     4790     4558     18 |  0.002 % |
56.81/56.99	c |    571747 |     230      920     2760 | 2147483647     6406     19 |  0.002 % |
57.21/57.37	c |    575373 |     230      920     2760 | 2147483647    10032     19 |  0.002 % |
57.71/57.89	c |    579360 |     230      920     2760 | 2147483647    14019     19 |  0.002 % |
58.41/58.51	c |    583746 |     230      920     2760 |    14659    14180     19 |  0.002 % |
59.11/59.23	c |    588569 |     230      920     2760 |    14659    14037     18 |  0.002 % |
59.71/59.85	c |    593876 |     230      920     2760 |    10310     7239     16 |  0.002 % |
59.71/59.86	c |    593978 |     230      920     2760 |    10310     7341     16 |  0.002 % |
59.71/59.87	c |    594088 |     230      920     2760 |    10310     7451     16 |  0.002 % |
59.71/59.89	c |    594210 |     230      920     2760 |    10310     7573     16 |  0.002 % |
59.81/59.91	c |    594343 |     230      920     2760 |    10310     7706     17 |  0.002 % |
59.81/59.92	c |    594490 |     230      920     2760 |    10310     7853     17 |  0.002 % |
59.81/59.94	c |    594651 |     230      920     2760 |    10310     8014     17 |  0.002 % |
59.81/59.96	c |    594828 |     230      920     2760 |    10310     8191     17 |  0.002 % |
59.81/59.98	c |    595021 |     230      920     2760 |    10310     8384     17 |  0.004 % |
59.91/60.01	c |    595233 |     230      920     2760 |    10310     8596     17 |  0.002 % |
59.91/60.03	c |    595467 |     230      920     2760 |    10310     8830     17 |  0.002 % |
59.91/60.06	c |    595723 |     230      920     2760 |    10310     9086     17 |  0.002 % |
59.91/60.09	c |    596004 |     230      920     2760 |    10310     9367     17 |  0.002 % |
60.00/60.14	c |    596313 |     230      920     2760 |    10310     9676     17 |  0.002 % |
60.00/60.18	c |    596653 |     230      920     2760 |    10310    10016     17 |  0.002 % |
60.10/60.24	c |    597025 |     230      920     2760 |    10310     7072     17 |  0.002 % |
60.10/60.28	c |    597435 |     230      920     2760 |    10310     7482     17 |  0.002 % |
60.20/60.32	c |    597884 |     230      920     2760 |    10310     7931     17 |  0.002 % |
60.20/60.37	c |    598378 |     230      920     2760 |    10310     8425     18 |  0.002 % |
60.31/60.43	c |    598921 |     230      920     2760 |    10310     8968     18 |  0.002 % |
60.31/60.49	c |    599517 |     230      920     2760 |    10310     9564     18 |  0.002 % |
60.41/60.58	c |    600173 |     230      920     2760 |    10048     7097     18 |  0.002 % |
60.50/60.66	c |    600894 |     230      920     2760 |    10048     7818     18 |  0.002 % |
60.60/60.74	c |    601686 |     230      920     2760 |    10048     8610     18 |  0.002 % |
60.70/60.85	c |    602557 |     230      920     2760 |    10048     9481     18 |  0.002 % |
60.80/60.97	c |    603515 |     230      920     2760 |    10048     7288     18 |  0.002 % |
60.90/61.09	c |    604569 |     230      920     2760 |    10048     8342     18 |  0.002 % |
61.10/61.22	c |    605728 |     230      920     2760 |    10048     9501     18 |  0.002 % |
61.20/61.35	c |    607001 |     230      920     2760 |    10048     7684     18 |  0.002 % |
61.41/61.51	c |    608401 |     230      920     2760 |    10048     9084     18 |  0.002 % |
61.60/61.71	c |    609941 |     230      920     2760 |    10048     7578     17 |  0.002 % |
61.70/61.87	c |    611636 |     230      920     2760 |     7638     6987     18 |  0.002 % |
61.90/62.05	c |    613501 |     230      920     2760 |     7638     6816     18 |  0.002 % |
62.10/62.25	c |    615552 |     230      920     2760 |     7638     6951     18 |  0.002 % |
62.30/62.45	c |    617805 |     230      920     2760 |     7638     7351     18 |  0.002 % |
62.61/62.71	c |    620283 |     230      920     2760 |     5955     4853     17 |  0.002 % |
62.61/62.75	c ===============================================================================
62.61/62.75	c restarts              : 983
62.61/62.75	c conflicts             : 620684         (9908 /sec)
62.61/62.75	c decisions             : 672159         (1.73 % random) (10730 /sec)
62.61/62.75	c propagations          : 39490588       (630392 /sec)
62.61/62.75	c conflict literals     : 12431377       (25.71 % deleted)
62.61/62.75	c Memory used           : 4.72 MB
62.61/62.75	c CPU time              : 62.6445 s
62.61/62.75	c 
62.61/62.75	s SATISFIABLE
62.61/62.75	s SATISFIABLE
62.61/62.75	v -1 2 3 -4 5 6 -7 8 9 10 11 -12 13 14 -15 -16 -17 18 -19 20 21 -22 -23 24 -25 -26 27 28 29 30 -31 -32 -33 34 -35 -36 -37 38 39 -40 41 42 -43 -44 45 46 47 48 49 50 -51 -52 53 54 -55 -56 57 58 59 60 -61 -62 63 -64 65 -66 -67 68 -69 -70 71 72 -73 -74 -75 -76 -77 -78 79 -80 -81 82 -83 84 -85 86 -87 88 -89 90 -91 92 -93 94 -95 -96 -97 -98 -99 100 101 -102 -103 104 105 106 107 108 -109 110 111 112 113 -114 -115 116 117 -118 119 120 121 -122 -123 -124 125 -126 127 -128 129 -130 131 132 133 134 135 -136 137 -138 139 -140 141 -142 143 144 145 -146 -147 -148 149 150 -151 152 -153 154 155 156 -157 -158 -159 -160 -161 -162 -163 -164 -165 -166 -167 168 169 170 -171 172 -173 174 175 -176 -177 -178 179 180 181 -182 183 184 -185 186 187 188 -189 -190 -191 192 -193 -194 -195 -196 197 -198 -199 -200 201 -202 203 -204 205 206 -207 -208 209 210 211 -212 -213 -214 -215 216 -217 -218 -219 220 221 -222 -223 224 225 -226 227 228 229 -230 0

Verifier Data

OK

Watcher Data

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.98 2/65 16085
/proc/meminfo: memFree=1860600/2055920 swapFree=4180508/4192956
[pid=16085] ppid=16083 vsize=5356 CPUtime=0
/proc/16085/stat : 16085 (SatELiteGTI) S 16083 16085 15897 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 305038963 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 226687156306 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/16085/statm: 1339 235 195 169 0 50 0
[pid=16086] ppid=16085 vsize=5356 CPUtime=0
/proc/16086/stat : 16086 (SatELiteGTI) S 16085 16085 15897 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 305038963 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/16086/statm: 1339 238 198 169 0 50 0
[pid=16088] ppid=16086 vsize=5356 CPUtime=0
/proc/16088/stat : 16088 (SatELiteGTI) R 16086 16085 15897 0 -1 4194368 19 0 0 0 0 0 0 0 21 0 1 0 305038963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686987559 0 0 4096 0 0 0 0 17 0 0 0
/proc/16088/statm: 48 23 16 11 0 11 0

[startup+0.021186 s]
/proc/loadavg: 0.92 0.98 0.98 2/65 16085
/proc/meminfo: memFree=1860600/2055920 swapFree=4180508/4192956
[pid=16085] ppid=16083 vsize=5356 CPUtime=0
/proc/16085/stat : 16085 (SatELiteGTI) S 16083 16085 15897 0 -1 4194304 336 377 0 0 0 0 0 0 19 0 1 0 305038963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16085/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.102211 s]
/proc/loadavg: 0.92 0.98 0.98 2/65 16085
/proc/meminfo: memFree=1860600/2055920 swapFree=4180508/4192956
[pid=16085] ppid=16083 vsize=5356 CPUtime=0
/proc/16085/stat : 16085 (SatELiteGTI) S 16083 16085 15897 0 -1 4194304 336 377 0 0 0 0 0 0 19 0 1 0 305038963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16085/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301241 s]
/proc/loadavg: 0.92 0.98 0.98 2/65 16085
/proc/meminfo: memFree=1860600/2055920 swapFree=4180508/4192956
[pid=16085] ppid=16083 vsize=5356 CPUtime=0
/proc/16085/stat : 16085 (SatELiteGTI) S 16083 16085 15897 0 -1 4194304 336 377 0 0 0 0 0 0 19 0 1 0 305038963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16085/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701323 s]
/proc/loadavg: 0.92 0.98 0.98 2/65 16085
/proc/meminfo: memFree=1860600/2055920 swapFree=4180508/4192956
[pid=16085] ppid=16083 vsize=5356 CPUtime=0
/proc/16085/stat : 16085 (SatELiteGTI) S 16083 16085 15897 0 -1 4194304 336 377 0 0 0 0 0 0 19 0 1 0 305038963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16085/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50148 s]
/proc/loadavg: 0.92 0.98 0.98 2/67 16091
/proc/meminfo: memFree=1858984/2055920 swapFree=4180508/4192956
[pid=16085] ppid=16083 vsize=5356 CPUtime=0
/proc/16085/stat : 16085 (SatELiteGTI) S 16083 16085 15897 0 -1 4194304 336 377 0 0 0 0 0 0 19 0 1 0 305038963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16085/statm: 1339 239 197 169 0 50 0
[pid=16091] ppid=16085 vsize=3616 CPUtime=1.48
/proc/16091/stat : 16091 (minisat_static) R 16085 16085 15897 0 -1 4194304 548 0 0 0 148 0 0 0 25 0 1 0 305038964 3702784 534 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/16091/statm: 904 534 76 171 0 731 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 8972

[startup+3.10181 s]
/proc/loadavg: 0.92 0.98 0.98 2/67 16091
/proc/meminfo: memFree=1857896/2055920 swapFree=4180508/4192956
[pid=16085] ppid=16083 vsize=5356 CPUtime=0
/proc/16085/stat : 16085 (SatELiteGTI) S 16083 16085 15897 0 -1 4194304 336 377 0 0 0 0 0 0 19 0 1 0 305038963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16085/statm: 1339 239 197 169 0 50 0
[pid=16091] ppid=16085 vsize=4548 CPUtime=3.08
/proc/16091/stat : 16091 (minisat_static) R 16085 16085 15897 0 -1 4194304 778 0 0 0 308 0 0 0 25 0 1 0 305038964 4657152 764 1992294400 134512640 135215339 4294956240 18446744073709551615 134525055 0 0 4096 3 0 0 0 17 0 0 0
/proc/16091/statm: 1137 764 76 171 0 964 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 9904

[startup+6.30146 s]
/proc/loadavg: 0.93 0.98 0.98 2/67 16091
/proc/meminfo: memFree=1857256/2055920 swapFree=4180508/4192956
[pid=16085] ppid=16083 vsize=5356 CPUtime=0
/proc/16085/stat : 16085 (SatELiteGTI) S 16083 16085 15897 0 -1 4194304 336 377 0 0 0 0 0 0 19 0 1 0 305038963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16085/statm: 1339 239 197 169 0 50 0
[pid=16091] ppid=16085 vsize=4696 CPUtime=6.27
/proc/16091/stat : 16091 (minisat_static) R 16085 16085 15897 0 -1 4194304 808 0 0 0 627 0 0 0 25 0 1 0 305038964 4808704 794 1992294400 134512640 135215339 4294956240 18446744073709551615 134528700 0 0 4096 3 0 0 0 17 0 0 0
/proc/16091/statm: 1174 794 76 171 0 1001 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 10052

[startup+12.7018 s]
/proc/loadavg: 0.93 0.98 0.98 2/67 16091
/proc/meminfo: memFree=1857016/2055920 swapFree=4180508/4192956
[pid=16085] ppid=16083 vsize=5356 CPUtime=0
/proc/16085/stat : 16085 (SatELiteGTI) S 16083 16085 15897 0 -1 4194304 336 377 0 0 0 0 0 0 19 0 1 0 305038963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16085/statm: 1339 239 197 169 0 50 0
[pid=16091] ppid=16085 vsize=4696 CPUtime=12.66
/proc/16091/stat : 16091 (minisat_static) R 16085 16085 15897 0 -1 4194304 808 0 0 0 1266 0 0 0 25 0 1 0 305038964 4808704 794 1992294400 134512640 135215339 4294956240 18446744073709551615 134529088 0 0 4096 3 0 0 0 17 0 0 0
/proc/16091/statm: 1174 794 76 171 0 1001 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 10052

[startup+25.5024 s]
/proc/loadavg: 0.95 0.98 0.98 2/67 16091
/proc/meminfo: memFree=1856952/2055920 swapFree=4180508/4192956
[pid=16085] ppid=16083 vsize=5356 CPUtime=0
/proc/16085/stat : 16085 (SatELiteGTI) S 16083 16085 15897 0 -1 4194304 336 377 0 0 0 0 0 0 19 0 1 0 305038963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16085/statm: 1339 239 197 169 0 50 0
[pid=16091] ppid=16085 vsize=4696 CPUtime=25.44
/proc/16091/stat : 16091 (minisat_static) R 16085 16085 15897 0 -1 4194304 812 0 0 0 2544 0 0 0 25 0 1 0 305038964 4808704 798 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 0 0 0
/proc/16091/statm: 1174 798 76 171 0 1001 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 10052

[startup+51.1016 s]
/proc/loadavg: 0.96 0.98 0.98 2/67 16091
/proc/meminfo: memFree=1856888/2055920 swapFree=4180508/4192956
[pid=16085] ppid=16083 vsize=5356 CPUtime=0
/proc/16085/stat : 16085 (SatELiteGTI) S 16083 16085 15897 0 -1 4194304 336 377 0 0 0 0 0 0 19 0 1 0 305038963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16085/statm: 1339 239 197 169 0 50 0
[pid=16091] ppid=16085 vsize=4696 CPUtime=51.01
/proc/16091/stat : 16091 (minisat_static) R 16085 16085 15897 0 -1 4194304 821 0 0 0 5100 1 0 0 25 0 1 0 305038964 4808704 807 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16091/statm: 1174 807 76 171 0 1001 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 10052

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

[startup+57.5019 s]
/proc/loadavg: 0.97 0.98 0.98 2/67 16091
/proc/meminfo: memFree=1856888/2055920 swapFree=4180508/4192956
[pid=16085] ppid=16083 vsize=5356 CPUtime=0
/proc/16085/stat : 16085 (SatELiteGTI) S 16083 16085 15897 0 -1 4194304 336 377 0 0 0 0 0 0 19 0 1 0 305038963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16085/statm: 1339 239 197 169 0 50 0
[pid=16091] ppid=16085 vsize=4696 CPUtime=57.41
/proc/16091/stat : 16091 (minisat_static) R 16085 16085 15897 0 -1 4194304 821 0 0 0 5740 1 0 0 25 0 1 0 305038964 4808704 807 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 0 0 0
/proc/16091/statm: 1174 807 76 171 0 1001 0
Current children cumulated CPU time (s) 57.41
Current children cumulated vsize (KiB) 10052

[startup+60.7025 s]
/proc/loadavg: 0.97 0.98 0.98 2/67 16091
/proc/meminfo: memFree=1856888/2055920 swapFree=4180508/4192956
[pid=16085] ppid=16083 vsize=5356 CPUtime=0
/proc/16085/stat : 16085 (SatELiteGTI) S 16083 16085 15897 0 -1 4194304 336 377 0 0 0 0 0 0 19 0 1 0 305038963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16085/statm: 1339 239 197 169 0 50 0
[pid=16091] ppid=16085 vsize=4828 CPUtime=60.6
/proc/16091/stat : 16091 (minisat_static) R 16085 16085 15897 0 -1 4194304 860 0 0 0 6059 1 0 0 25 0 1 0 305038964 4943872 846 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/16091/statm: 1207 846 76 171 0 1034 0
Current children cumulated CPU time (s) 60.6
Current children cumulated vsize (KiB) 10184

[startup+61.5017 s]
/proc/loadavg: 0.97 0.98 0.98 2/67 16091
/proc/meminfo: memFree=1856888/2055920 swapFree=4180508/4192956
[pid=16085] ppid=16083 vsize=5356 CPUtime=0
/proc/16085/stat : 16085 (SatELiteGTI) S 16083 16085 15897 0 -1 4194304 336 377 0 0 0 0 0 0 19 0 1 0 305038963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16085/statm: 1339 239 197 169 0 50 0
[pid=16091] ppid=16085 vsize=4828 CPUtime=61.41
/proc/16091/stat : 16091 (minisat_static) R 16085 16085 15897 0 -1 4194304 860 0 0 0 6140 1 0 0 25 0 1 0 305038964 4943872 846 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/16091/statm: 1207 846 76 171 0 1034 0
Current children cumulated CPU time (s) 61.41
Current children cumulated vsize (KiB) 10184

[startup+62.3018 s]
/proc/loadavg: 0.97 0.98 0.98 2/67 16091
/proc/meminfo: memFree=1856888/2055920 swapFree=4180508/4192956
[pid=16085] ppid=16083 vsize=5356 CPUtime=0
/proc/16085/stat : 16085 (SatELiteGTI) S 16083 16085 15897 0 -1 4194304 336 377 0 0 0 0 0 0 19 0 1 0 305038963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16085/statm: 1339 239 197 169 0 50 0
[pid=16091] ppid=16085 vsize=4828 CPUtime=62.2
/proc/16091/stat : 16091 (minisat_static) R 16085 16085 15897 0 -1 4194304 860 0 0 0 6219 1 0 0 25 0 1 0 305038964 4943872 846 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16091/statm: 1207 846 76 171 0 1034 0
Current children cumulated CPU time (s) 62.2
Current children cumulated vsize (KiB) 10184

[startup+62.7059 s]
/proc/loadavg: 0.97 0.98 0.98 2/67 16091
/proc/meminfo: memFree=1856888/2055920 swapFree=4180508/4192956
[pid=16085] ppid=16083 vsize=5356 CPUtime=0
/proc/16085/stat : 16085 (SatELiteGTI) S 16083 16085 15897 0 -1 4194304 336 377 0 0 0 0 0 0 19 0 1 0 305038963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16085/statm: 1339 239 197 169 0 50 0
[pid=16091] ppid=16085 vsize=4828 CPUtime=62.61
/proc/16091/stat : 16091 (minisat_static) R 16085 16085 15897 0 -1 4194304 860 0 0 0 6260 1 0 0 25 0 1 0 305038964 4943872 846 1992294400 134512640 135215339 4294956240 18446744073709551615 134532684 0 0 4096 3 0 0 0 17 0 0 0
/proc/16091/statm: 1207 846 76 171 0 1034 0
Current children cumulated CPU time (s) 62.61
Current children cumulated vsize (KiB) 10184

Child status: 10
Real time (s): 62.7584
CPU time (s): 62.6775
CPU user time (s): 62.6495
CPU system time (s): 0.027995
CPU usage (%): 99.871
Max. virtual memory (cumulated for all children) (KiB): 10184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 62.6495
system time used= 0.027995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1859
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= 51
involuntary context switches= 1955

runsolver used 0.082987 second user time and 0.208968 second system time

The end

Launcher Data

Begin job on node80 at 2009-05-19 23:55:00
IDJOB=1832171
IDBENCH=24602
IDSOLVER=671
FILE ID=node80/1832171-1242770100
PBS_JOBID= 9322223
Free space on /tmp= 66236 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/crafted/Medium/contest05/jarvisalo/mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832171-1242770100/watcher-1832171-1242770100 -o /tmp/evaluation-result-1832171-1242770100/solver-1832171-1242770100 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832171-1242770100.cnf

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

MD5SUM BENCH= 87d9c7ce297970bb210f40783f709fcc
RANDOM SEED=2111252046

node80.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.270
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.270
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:       1861152 kB
Buffers:         15532 kB
Cached:         142704 kB
SwapCached:       7004 kB
Active:          47236 kB
Inactive:       119640 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1861152 kB
SwapTotal:     4192956 kB
SwapFree:      4180508 kB
Dirty:            1596 kB
Writeback:           0 kB
Mapped:          13404 kB
Slab:            13864 kB
Committed_AS:  1099776 kB
PageTables:       1388 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= 66232 MiB
End job on node80 at 2009-05-19 23:56:03