Trace number 1834273

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 1200.07 1200.51

General information on the benchmark

NameCRAFTED/sgi/
new-difficult-26-243-24-70.cnf
MD5SUMbf3875bd851fbd5f3e19defeb88389d1
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.162975
Satisfiable
(Un)Satisfiability was proved
Number of variables624
Number of clauses38944
Sum of the clauses size78464
Maximum clause length26
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 238920
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 524

Solver Data

0.00/0.00	c Parsing...
0.00/0.02	c ==============================================================================
0.00/0.02	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.02	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.02	c ==============================================================================
0.00/0.02	c |         0 |   38944    78464 |   11683       0        0     nan |  0.000 % |
0.00/0.10	c |         0 |   38320   110203 |      --       0       --      -- |     --   | -624/31739
0.00/0.10	c ==============================================================================
0.00/0.10	c Result  :   #vars: 600   #clauses: 38320   #literals: 110203
0.00/0.10	c CPU time:   0.092985 s
0.00/0.10	c ==============================================================================
0.00/0.13	c This is MiniSat 2.0 beta
0.00/0.13	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.13	c ============================[ Problem Statistics ]=============================
0.00/0.13	c |                                                                             |
0.00/0.13	c |  Number of variables:  600                                                  |
0.00/0.13	c |  Number of clauses:    38320                                                |
0.00/0.15	c |  Parsing time:         0.02         s                                       |
0.00/0.15	c ============================[ Search Statistics ]==============================
0.00/0.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.15	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.15	c ===============================================================================
0.00/0.15	c |         0 |     600    38320   110203 |    12773        0    nan |  0.000 % |
0.00/0.16	c |       100 |     600    38320   110203 |    12773      100    133 |  0.000 % |
0.00/0.17	c |       201 |     600    38320   110203 |    12773      201    115 |  0.000 % |
0.00/0.17	c |       303 |     600    38320   110203 |    12773      303    112 |  0.000 % |
0.00/0.18	c |       413 |     600    38320   110203 |    12773      413    112 |  0.000 % |
0.00/0.19	c |       513 |     600    38320   110203 |    12773      513    113 |  0.000 % |
0.12/0.20	c |       624 |     600    38320   110203 |    12773      624    116 |  0.000 % |
0.12/0.21	c |       745 |     600    38320   110203 |    12773      745    116 |  0.000 % |
0.12/0.22	c |       845 |     600    38320   110203 |    12773      845    116 |  0.000 % |
0.12/0.23	c |       955 |     600    38320   110203 |    12773      955    117 |  0.000 % |
0.12/0.24	c |      1076 |     600    38320   110203 |    12773     1076    117 |  0.000 % |
0.12/0.25	c |      1212 |     600    38320   110203 |    12773     1212    115 |  0.000 % |
0.12/0.25	c |      1312 |     600    38320   110203 |    12773     1312    113 |  0.000 % |
0.12/0.26	c |      1423 |     600    38320   110203 |    12773     1423    111 |  0.000 % |
0.12/0.27	c |      1545 |     600    38320   110203 |    12773     1545    108 |  0.000 % |
0.12/0.28	c |      1678 |     600    38320   110203 |    12773     1678    108 |  0.000 % |
0.12/0.30	c |      1825 |     600    38320   110203 |    12773     1825    107 |  0.000 % |
0.12/0.31	c |      1927 |     600    38320   110203 |    12773     1927    106 |  0.000 % |
0.12/0.32	c |      2037 |     600    38320   110203 |    12773     2037    106 |  0.000 % |
0.12/0.33	c |      2158 |     600    38320   110203 |    12773     2158    107 |  0.000 % |
0.12/0.34	c |      2292 |     600    38320   110203 |    12773     2292    108 |  0.000 % |
0.12/0.36	c |      2438 |     600    38320   110203 |    12773     2438    108 |  0.000 % |
0.12/0.38	c |      2598 |     600    38320   110203 |    12773     2598    108 |  0.000 % |
0.12/0.39	c |      2699 |     600    38320   110203 |    12773     2699    107 |  0.000 % |
0.12/0.40	c |      2809 |     600    38320   110203 |    12773     2809    107 |  0.000 % |
0.12/0.41	c |      2932 |     600    38320   110203 |    12773     2932    108 |  0.000 % |
0.12/0.43	c |      3065 |     600    38320   110203 |    12773     3065    107 |  0.000 % |
0.12/0.44	c |      3211 |     600    38320   110203 |    12773     3211    108 |  0.000 % |
0.12/0.46	c |      3372 |     600    38320   110203 |    12773     3372    108 |  0.000 % |
0.12/0.48	c |      3549 |     600    38320   110203 |    12773     3549    108 |  0.000 % |
0.12/0.50	c |      3651 |     600    38320   110203 |    12773     3651    108 |  0.000 % |
0.12/0.51	c |      3763 |     600    38320   110203 |    12773     3763    108 |  0.000 % |
0.12/0.52	c |      3885 |     600    38320   110203 |    12773     3885    107 |  0.000 % |
0.12/0.54	c |      4019 |     600    38320   110203 |    12773     4019    107 |  0.000 % |
0.12/0.56	c |      4165 |     600    38320   110203 |    12773     4165    107 |  0.000 % |
0.12/0.58	c |      4328 |     600    38320   110203 |    12773     4328    106 |  0.000 % |
0.12/0.60	c |      4505 |     600    38320   110203 |    12773     4505    106 |  0.000 % |
0.12/0.63	c |      4699 |     600    38320   110203 |    12773     4699    107 |  0.000 % |
0.12/0.64	c |      4799 |     600    38320   110203 |    12773     4799    106 |  0.000 % |
0.12/0.66	c |      4909 |     600    38320   110203 |    12773     4909    106 |  0.000 % |
0.12/0.67	c |      5030 |     600    38320   110203 |    12773     5030    106 |  0.000 % |
0.12/0.69	c |      5166 |     600    38320   110203 |    12773     5166    106 |  0.000 % |
0.12/0.70	c |      5312 |     600    38320   110203 |    12773     5312    106 |  0.000 % |
0.12/0.72	c |      5473 |     600    38320   110203 |    12773     5473    105 |  0.000 % |
0.12/0.74	c |      5649 |     600    38320   110203 |    12773     5649    105 |  0.000 % |
0.12/0.76	c |      5842 |     600    38320   110203 |    12773     5842    105 |  0.000 % |
0.12/0.79	c |      6055 |     600    38320   110203 |    12773     6055    105 |  0.000 % |
0.12/0.80	c |      6155 |     600    38320   110203 |    12773     6155    105 |  0.000 % |
0.12/0.82	c |      6265 |     600    38320   110203 |    12773     6265    105 |  0.000 % |
0.12/0.83	c |      6386 |     600    38320   110203 |    12773     6386    105 |  0.000 % |
0.12/0.85	c |      6519 |     600    38320   110203 |    12773     6519    105 |  0.000 % |
0.12/0.87	c |      6665 |     600    38320   110203 |    12773     6665    105 |  0.000 % |
0.12/0.90	c |      6827 |     600    38320   110203 |    12773     6827    105 |  0.000 % |
0.12/0.93	c |      7004 |     600    38320   110203 |    12773     7004    105 |  0.000 % |
0.12/0.96	c |      7197 |     600    38320   110203 |    12773     7197    106 |  0.000 % |
0.12/0.99	c |      7411 |     600    38320   110203 |    12773     7411    106 |  0.000 % |
0.97/1.03	c |      7644 |     600    38320   110203 |    12773     7644    106 |  0.000 % |
0.97/1.05	c |      7744 |     600    38320   110203 |    12773     7744    106 |  0.000 % |
0.97/1.07	c |      7854 |     600    38320   110203 |    12773     7854    106 |  0.000 % |
0.97/1.09	c |      7976 |     600    38320   110203 |    12773     7976    106 |  0.000 % |
1.07/1.11	c |      8110 |     600    38320   110203 |    12773     8110    106 |  0.000 % |
1.07/1.14	c |      8257 |     600    38320   110203 |    12773     8257    106 |  0.000 % |
1.07/1.16	c |      8417 |     600    38320   110203 |    12773     8417    106 |  0.000 % |
1.16/1.20	c |      8594 |     600    38320   110203 |    12773     8594    106 |  0.000 % |
1.16/1.24	c |      8787 |     600    38320   110203 |    12773     8787    107 |  0.000 % |
1.16/1.29	c |      8999 |     600    38320   110203 |    12773     8999    107 |  0.000 % |
1.26/1.35	c |      9235 |     600    38320   110203 |    12773     9235    107 |  0.000 % |
1.36/1.41	c |      9491 |     600    38320   110203 |    12773     9491    107 |  0.000 % |
1.36/1.44	c |      9595 |     600    38320   110203 |    12773     9595    107 |  0.000 % |
1.36/1.46	c |      9705 |     600    38320   110203 |    12773     9705    107 |  0.000 % |
1.36/1.49	c |      9826 |     600    38320   110203 |    12773     9826    107 |  0.000 % |
1.46/1.52	c |      9959 |     600    38320   110203 |    12773     9959    107 |  0.000 % |
1.46/1.56	c |     10107 |     600    38320   110203 | 2147483647    10107    107 |  0.000 % |
1.57/1.61	c |     10267 |     600    38320   110203 | 2147483647    10267    107 |  0.000 % |
1.57/1.65	c |     10445 |     600    38320   110203 | 2147483647    10445    107 |  0.000 % |
1.67/1.71	c |     10638 |     600    38320   110203 | 2147483647    10638    106 |  0.000 % |
1.67/1.78	c |     10853 |     600    38320   110203 | 2147483647    10853    106 |  0.000 % |
1.77/1.84	c |     11087 |     600    38320   110203 | 2147483647    11087    106 |  0.000 % |
1.87/1.91	c |     11343 |     600    38320   110203 | 2147483647    11343    106 |  0.000 % |
1.87/1.98	c |     11624 |     600    38320   110203 | 2147483647    11624    106 |  0.000 % |
1.97/2.00	c |     11724 |     600    38320   110203 | 2147483647    11724    106 |  0.000 % |
1.97/2.02	c |     11834 |     600    38320   110203 | 2147483647    11834    105 |  0.000 % |
1.97/2.04	c |     11956 |     600    38320   110203 | 2147483647    11956    105 |  0.000 % |
1.97/2.07	c |     12091 |     600    38320   110203 | 2147483647    12091    105 |  0.000 % |
2.07/2.10	c |     12237 |     600    38320   110203 | 2147483647    12237    105 |  0.000 % |
2.07/2.14	c |     12399 |     600    38320   110203 | 2147483647    12399    106 |  0.000 % |
2.07/2.18	c |     12578 |     600    38320   110203 | 2147483647    12578    106 |  0.000 % |
2.17/2.25	c |     12771 |     600    38320   110203 | 2147483647    12771    106 |  0.000 % |
2.27/2.30	c |     12983 |     600    38320   110203 | 2147483647    12983    106 |  0.000 % |
2.27/2.37	c |     13218 |     600    38320   110203 | 2147483647    13218    107 |  0.000 % |
2.37/2.45	c |     13477 |     600    38320   110203 | 2147483647    13477    107 |  0.000 % |
2.47/2.53	c |     13759 |     600    38320   110203 | 2147483647    13759    107 |  0.000 % |
2.57/2.61	c |     14069 |     600    38320   110203 | 2147483647    14069    108 |  0.000 % |
2.57/2.63	c |     14170 |     600    38320   110203 | 2147483647    14170    108 |  0.000 % |
2.57/2.66	c |     14280 |     600    38320   110203 | 2147483647    14280    108 |  0.000 % |
2.57/2.68	c |     14401 |     600    38320   110203 | 2147483647    14401    108 |  0.000 % |
2.67/2.72	c |     14535 |     600    38320   110203 | 2147483647    14535    108 |  0.000 % |
2.67/2.76	c |     14681 |     600    38320   110203 | 2147483647    14681    108 |  0.000 % |
2.77/2.81	c |     14843 |     600    38320   110203 | 2147483647    14843    108 |  0.000 % |
2.77/2.86	c |     15022 |     600    38320   110203 | 2147483647    15022    108 |  0.000 % |
2.87/2.90	c |     15215 |     600    38320   110203 | 2147483647    15215    108 |  0.000 % |
2.87/2.98	c |     15430 |     600    38320   110203 | 2147483647    15430    109 |  0.000 % |
2.97/3.05	c |     15668 |     600    38320   110203 | 2147483647    15668    109 |  0.000 % |
3.07/3.11	c |     15926 |     600    38320   110203 | 2147483647    15926    109 |  0.000 % |
3.07/3.19	c |     16207 |     600    38320   110203 | 2147483647    16207    110 |  0.000 % |
3.17/3.27	c |     16516 |     600    38320   110203 | 2147483647    16516    110 |  0.000 % |
3.27/3.38	c |     16859 |     600    38320   110203 | 2147483647    16859    110 |  0.000 % |
3.37/3.42	c |     16959 |     600    38320   110203 | 2147483647    16959    110 |  0.000 % |
3.37/3.46	c |     17069 |     600    38320   110203 | 2147483647    17069    110 |  0.000 % |
3.47/3.50	c |     17191 |     600    38320   110203 | 2147483647    17191    110 |  0.000 % |
3.47/3.55	c |     17325 |     600    38320   110203 | 2147483647    17325    111 |  0.000 % |
3.57/3.61	c |     17473 |     600    38320   110203 | 2147483647    17473    111 |  0.000 % |
3.57/3.66	c |     17633 |     600    38320   110203 | 2147483647    17633    111 |  0.000 % |
3.66/3.72	c |     17809 |     600    38320   110203 | 2147483647    17809    111 |  0.000 % |
3.66/3.78	c |     18002 |     600    38320   110203 | 2147483647    18002    110 |  0.000 % |
3.76/3.88	c |     18214 |     600    38320   110203 | 2147483647    18214    110 |  0.000 % |
3.87/3.97	c |     18449 |     600    38320   110203 | 2147483647    18449    110 |  0.000 % |
3.97/4.07	c |     18706 |     600    38320   110203 | 2147483647    18706    110 |  0.000 % |
4.07/4.16	c |     18987 |     600    38320   110203 | 2147483647    18987    110 |  0.000 % |
4.28/4.31	c |     19296 |     600    38320   110203 | 2147483647    19296    111 |  0.000 % |
4.38/4.45	c |     19635 |     600    38320   110203 | 2147483647    19635    110 |  0.000 % |
4.47/4.56	c |     20007 |     600    38320   110203 | 2147483647    20007    110 |  0.000 % |
4.57/4.62	c |     20108 |     600    38320   110203 | 2147483647    20108    110 |  0.000 % |
4.57/4.68	c |     20219 |     600    38320   110203 | 2147483647    20219    110 |  0.000 % |
4.67/4.74	c |     20341 |     600    38320   110203 | 2147483647    20341    110 |  0.000 % |
4.67/4.80	c |     20474 |     600    38320   110203 | 2147483647    20474    110 |  0.000 % |
4.77/4.88	c |     20621 |     600    38320   110203 | 2147483647    20621    110 |  0.000 % |
4.87/4.96	c |     20781 |     600    38320   110203 | 2147483647    20781    110 |  0.000 % |
4.97/5.03	c |     20959 |     600    38320   110203 | 2147483647    20959    110 |  0.000 % |
5.07/5.12	c |     21152 |     600    38320   110203 | 2147483647    21152    110 |  0.000 % |
5.17/5.24	c |     21365 |     600    38320   110203 | 2147483647    21365    111 |  0.000 % |
5.27/5.34	c |     21598 |     600    38320   110203 | 2147483647    21598    111 |  0.000 % |
5.37/5.50	c |     21855 |     600    38320   110203 | 2147483647    21855    111 |  0.000 % |
5.57/5.62	c |     22136 |     600    38320   110203 | 2147483647    22136    111 |  0.000 % |
5.67/5.76	c |     22447 |     600    38320   110203 | 2147483647    22447    111 |  0.000 % |
5.87/5.96	c |     22790 |     600    38320   110203 | 2147483647    22790    111 |  0.000 % |
6.07/6.11	c |     23162 |     600    38320   110203 | 2147483647    23162    111 |  0.000 % |
6.27/6.34	c |     23572 |     600    38320   110203 | 2147483647    23572    111 |  0.000 % |
6.37/6.40	c |     23674 |     600    38320   110203 | 2147483647    23674    111 |  0.000 % |
6.37/6.45	c |     23784 |     600    38320   110203 | 2147483647    23784    111 |  0.000 % |
6.47/6.52	c |     23905 |     600    38320   110203 | 2147483647    23905    111 |  0.000 % |
6.47/6.57	c |     24040 |     600    38320   110203 | 2147483647    24040    111 |  0.000 % |
6.57/6.69	c |     24187 |     600    38320   110203 | 2147483647    24187    111 |  0.000 % |
6.67/6.76	c |     24347 |     600    38320   110203 | 2147483647    24347    111 |  0.000 % |
6.76/6.85	c |     24523 |     600    38320   110203 | 2147483647    24523    111 |  0.000 % |
6.86/6.97	c |     24716 |     600    38320   110203 | 2147483647    24716    111 |  0.000 % |
7.06/7.11	c |     24930 |     600    38320   110203 | 2147483647    24930    111 |  0.000 % |
7.16/7.27	c |     25164 |     600    38320   110203 | 2147483647    25164    111 |  0.000 % |
7.36/7.48	c |     25421 |     600    38320   110203 | 2147483647    25421    111 |  0.000 % |
7.57/7.67	c |     25704 |     600    38320   110203 | 2147483647    25704    111 |  0.000 % |
7.67/7.78	c |     26013 |     600    38320   110203 | 2147483647    26013    112 |  0.000 % |
7.97/8.03	c |     26353 |     600    38320   110203 | 2147483647    26353    112 |  0.000 % |
8.17/8.22	c |     26725 |     600    38320   110203 | 2147483647    26725    112 |  0.000 % |
8.37/8.42	c |     27135 |     600    38320   110203 | 2147483647    27135    112 |  0.000 % |
8.77/8.83	c |     27586 |     600    38320   110203 | 2147483647    27586    112 |  0.000 % |
8.87/8.94	c |     27686 |     600    38320   110203 | 2147483647    27686    112 |  0.000 % |
8.97/9.00	c |     27796 |     600    38320   110203 | 2147483647    27796    112 |  0.000 % |
8.97/9.09	c |     27920 |     600    38320   110203 | 2147483647    27920    112 |  0.000 % |
9.07/9.17	c |     28053 |     600    38320   110203 | 2147483647    28053    112 |  0.000 % |
9.27/9.31	c |     28199 |     600    38320   110203 | 2147483647    28199    112 |  0.000 % |
9.37/9.44	c |     28359 |     600    38320   110203 | 2147483647    28359    112 |  0.000 % |
9.47/9.58	c |     28536 |     600    38320   110203 | 2147483647    28536    112 |  0.000 % |
9.67/9.76	c |     28731 |     600    38320   110203 | 2147483647    28731    112 |  0.000 % |
9.77/9.90	c |     28944 |     600    38320   110203 | 2147483647    28944    112 |  0.000 % |
9.97/10.07	c |     29177 |     600    38320   110203 | 2147483647    29177    112 |  0.000 % |
10.17/10.21	c |     29433 |     600    38320   110203 | 2147483647    29433    112 |  0.000 % |
10.36/10.42	c |     29714 |     600    38320   110203 | 2147483647    29714    112 |  0.000 % |
10.56/10.61	c |     30028 |     600    38320   110203 | 2147483647    30028    112 |  0.000 % |
10.97/11.02	c |     30370 |     600    38320   110203 | 2147483647    30370    112 |  0.000 % |
11.36/11.40	c |     30742 |     600    38320   110203 | 2147483647    30742    112 |  0.000 % |
11.56/11.69	c |     31151 |     600    38320   110203 | 2147483647    31151    112 |  0.000 % |
11.97/12.01	c |     31600 |     600    38320   110203 | 2147483647    31600    112 |  0.000 % |
12.36/12.46	c |     32093 |     600    38320   110203 | 2147483647    32093    112 |  0.000 % |
12.56/12.63	c |     32194 |     600    38320   110203 | 2147483647    32194    112 |  0.000 % |
12.66/12.78	c |     32305 |     600    38320   110203 | 2147483647    32305    112 |  0.000 % |
12.76/12.85	c |     32426 |     600    38320   110203 | 2147483647    32426    112 |  0.000 % |
12.87/12.99	c |     32562 |     600    38320   110203 | 2147483647    32562    112 |  0.000 % |
13.07/13.15	c |     32708 |     600    38320   110203 | 2147483647    32708    112 |  0.000 % |
13.27/13.32	c |     32868 |     600    38320   110203 | 2147483647    32868    112 |  0.000 % |
13.47/13.51	c |     33044 |     600    38320   110203 | 2147483647    33044    112 |  0.000 % |
13.67/13.74	c |     33240 |     600    38320   110203 | 2147483647    33240    112 |  0.000 % |
13.87/13.96	c |     33452 |     600    38320   110203 | 2147483647    33452    112 |  0.000 % |
14.07/14.16	c |     33686 |     600    38320   110203 | 2147483647    33686    112 |  0.000 % |
14.37/14.41	c |     33942 |     600    38320   110203 | 2147483647    33942    112 |  0.000 % |
14.57/14.67	c |     34223 |     600    38320   110203 | 2147483647    34223    112 |  0.000 % |
14.87/14.91	c |     34532 |     600    38320   110203 | 2147483647    34532    113 |  0.000 % |
15.17/15.28	c |     34873 |     600    38320   110203 | 2147483647    34873    113 |  0.000 % |
15.57/15.66	c |     35247 |     600    38320   110203 | 2147483647    35247    113 |  0.000 % |
15.97/16.00	c |     35656 |     600    38320   110203 | 2147483647    35656    113 |  0.000 % |
16.37/16.40	c |     36105 |     600    38320   110203 | 2147483647    36105    113 |  0.000 % |
16.86/16.96	c |     36599 |     600    38320   110203 | 2147483647    36599    113 |  0.000 % |
17.57/17.69	c |     37141 |     600    38320   110203 | 2147483647    37141    113 |  0.000 % |
17.76/17.82	c |     37243 |     600    38320   110203 | 2147483647    37243    113 |  0.000 % |
17.86/17.90	c |     37353 |     600    38320   110203 | 2147483647    37353    113 |  0.000 % |
17.96/18.03	c |     37477 |     600    38320   110203 | 2147483647    37477    113 |  0.000 % |
18.06/18.16	c |     37610 |     600    38320   110203 | 2147483647    37610    113 |  0.000 % |
18.16/18.28	c |     37757 |     600    38320   110203 | 2147483647    37757    113 |  0.000 % |
18.36/18.40	c |     37918 |     600    38320   110203 | 2147483647    37918    113 |  0.000 % |
18.56/18.65	c |     38097 |     600    38320   110203 | 2147483647    38097    113 |  0.000 % |
18.87/18.93	c |     38294 |     600    38320   110203 | 2147483647    38294    113 |  0.000 % |
18.97/19.09	c |     38508 |     600    38320   110203 | 2147483647    38508    113 |  0.000 % |
19.37/19.43	c |     38742 |     600    38320   110203 | 2147483647    38742    113 |  0.000 % |
19.57/19.66	c |     38998 |     600    38320   110203 | 2147483647    38998    113 |  0.000 % |
19.77/19.86	c |     39280 |     600    38320   110203 | 2147483647    39280    113 |  0.000 % |
20.07/20.15	c |     39590 |     600    38320   110203 | 2147483647    39590    113 |  0.000 % |
20.57/20.63	c |     39930 |     600    38320   110203 | 2147483647    39930    113 |  0.000 % |
20.97/21.02	c |     40302 |     600    38320   110203 |    40001    40302    113 |  0.000 % |
21.47/21.51	c |     40713 |     600    38320   110203 |    40001    33136    112 |  0.000 % |
21.97/22.08	c |     41164 |     600    38320   110203 |    40001    33587    112 |  0.000 % |
22.67/22.72	c |     41657 |     600    38320   110203 |    40001    34080    112 |  0.000 % |
23.37/23.42	c |     42199 |     600    38320   110203 |    40001    34622    112 |  0.000 % |
23.77/23.82	c |     42797 |     600    38320   110203 |    40001    35220    112 |  0.000 % |
23.87/23.95	c |     42897 |     600    38320   110203 |    40001    35320    112 |  0.000 % |
23.97/24.03	c |     43007 |     600    38320   110203 |    40001    35430    112 |  0.000 % |
24.17/24.21	c |     43128 |     600    38320   110203 |    40001    35551    112 |  0.000 % |
24.37/24.42	c |     43264 |     600    38320   110203 |    40001    35687    112 |  0.000 % |
24.56/24.62	c |     43410 |     600    38320   110203 |    40001    35833    112 |  0.000 % |
24.76/24.88	c |     43575 |     600    38320   110203 |    40001    35998    113 |  0.000 % |
25.17/25.26	c |     43751 |     600    38320   110203 |    40001    36174    113 |  0.000 % |
25.46/25.55	c |     43944 |     600    38320   110203 |    40001    36367    113 |  0.000 % |
25.76/25.81	c |     44158 |     600    38320   110203 |    40001    36581    113 |  0.000 % |
26.06/26.15	c |     44393 |     600    38320   110203 |    40001    36816    113 |  0.000 % |
26.27/26.39	c |     44649 |     600    38320   110203 |    40001    37072    113 |  0.000 % |
26.66/26.74	c |     44932 |     600    38320   110203 |    40001    37355    113 |  0.000 % |
26.96/27.09	c |     45243 |     600    38320   110203 |    40001    37666    113 |  0.000 % |
27.26/27.32	c |     45587 |     600    38320   110203 |    40001    38010    113 |  0.000 % |
27.66/27.79	c |     45959 |     600    38320   110203 |    40001    38382    113 |  0.000 % |
28.16/28.25	c |     46368 |     600    38320   110203 |    40001    38791    113 |  0.000 % |
28.57/28.64	c |     46818 |     600    38320   110203 |    40001    39241    113 |  0.000 % |
29.06/29.15	c |     47312 |     600    38320   110203 |    40001    39735    113 |  0.000 % |
29.57/29.66	c |     47855 |     600    38320   110203 |    40001    40278    113 |  0.000 % |
30.06/30.19	c |     48453 |     600    38320   110203 |    40001    31527    112 |  0.000 % |
30.86/30.92	c |     49110 |     600    38320   110203 |    40001    32184    112 |  0.000 % |
30.96/31.02	c |     49210 |     600    38320   110203 |    40001    32284    112 |  0.000 % |
31.06/31.12	c |     49322 |     600    38320   110203 |    40001    32396    112 |  0.000 % |
31.16/31.25	c |     49449 |     600    38320   110203 |    40001    32523    112 |  0.000 % |
31.26/31.39	c |     49586 |     600    38320   110203 |    40001    32660    112 |  0.000 % |
31.56/31.66	c |     49736 |     600    38320   110203 |    40001    32810    112 |  0.000 % |
31.77/31.80	c |     49897 |     600    38320   110203 |    40001    32971    112 |  0.000 % |
31.87/31.98	c |     50074 |     600    38320   110203 |    33078    33148    112 |  0.000 % |
32.16/32.25	c |     50271 |     600    38320   110203 |    33078    25680    110 |  0.000 % |
32.36/32.42	c |     50489 |     600    38320   110203 |    33078    25898    110 |  0.000 % |
32.56/32.61	c |     50722 |     600    38320   110203 |    33078    26131    110 |  0.000 % |
32.66/32.72	c |     50979 |     600    38320   110203 |    33078    26388    110 |  0.000 % |
32.87/32.92	c |     51260 |     600    38320   110203 |    33078    26669    110 |  0.000 % |
33.16/33.20	c |     51571 |     600    38320   110203 |    33078    26980    111 |  0.000 % |
33.56/33.68	c |     51913 |     600    38320   110203 |    33078    27322    111 |  0.000 % |
33.97/34.09	c |     52286 |     600    38320   110203 |    33078    27695    111 |  0.000 % |
34.56/34.64	c |     52695 |     600    38320   110203 |    33078    28104    111 |  0.000 % |
34.96/35.02	c |     53144 |     600    38320   110203 |    33078    28553    111 |  0.000 % |
35.56/35.62	c |     53637 |     600    38320   110203 |    33078    29046    111 |  0.000 % |
36.17/36.24	c |     54182 |     600    38320   110203 |    33078    29591    111 |  0.000 % |
36.86/36.99	c |     54778 |     600    38320   110203 |    33078    30187    111 |  0.000 % |
37.37/37.50	c |     55435 |     600    38320   110203 |    33078    30844    111 |  0.000 % |
38.06/38.17	c |     56155 |     600    38320   110203 |    33078    31564    111 |  0.000 % |
38.16/38.28	c |     56255 |     600    38320   110203 |    33078    31664    111 |  0.000 % |
38.37/38.40	c |     56365 |     600    38320   110203 |    33078    31774    111 |  0.000 % |
38.47/38.55	c |     56487 |     600    38320   110203 |    33078    31896    111 |  0.000 % |
38.66/38.73	c |     56621 |     600    38320   110203 |    33078    32030    111 |  0.000 % |
38.76/38.89	c |     56768 |     600    38320   110203 |    33078    32177    111 |  0.000 % |
38.96/39.04	c |     56928 |     600    38320   110203 |    33078    32337    112 |  0.000 % |
39.16/39.24	c |     57104 |     600    38320   110203 |    33078    32513    112 |  0.000 % |
39.36/39.46	c |     57298 |     600    38320   110203 |    33078    32707    112 |  0.000 % |
39.56/39.65	c |     57510 |     600    38320   110203 |    33078    32919    112 |  0.000 % |
40.06/40.13	c |     57744 |     600    38320   110203 |    33078    33153    112 |  0.000 % |
40.26/40.37	c |     58001 |     600    38320   110203 |    33078    26505    110 |  0.000 % |
40.66/40.76	c |     58282 |     600    38320   110203 |    33078    26786    110 |  0.000 % |
41.16/41.21	c |     58593 |     600    38320   110203 |    33078    27097    110 |  0.000 % |
41.56/41.66	c |     58935 |     600    38320   110203 |    33078    27439    110 |  0.000 % |
41.96/42.08	c |     59307 |     600    38320   110203 |    33078    27811    110 |  0.000 % |
42.36/42.43	c |     59717 |     600    38320   110203 |    33078    28221    110 |  0.000 % |
42.66/42.75	c |     60166 |     600    38320   110203 |    28505    28670    110 |  0.000 % |
42.96/43.07	c |     60660 |     600    38320   110203 |    28505    23363    109 |  0.000 % |
43.36/43.40	c |     61205 |     600    38320   110203 |    28505    23908    110 |  0.000 % |
43.76/43.81	c |     61803 |     600    38320   110203 |    28505    24506    110 |  0.000 % |
44.26/44.35	c |     62459 |     600    38320   110203 |    28505    25162    110 |  0.000 % |
44.76/44.80	c |     63180 |     600    38320   110203 |    28505    25883    110 |  0.000 % |
45.36/45.48	c |     63972 |     600    38320   110203 |    28505    26675    111 |  0.000 % |
45.46/45.58	c |     64072 |     600    38320   110203 |    28505    26775    111 |  0.000 % |
45.66/45.78	c |     64185 |     600    38320   110203 |    28505    26888    111 |  0.000 % |
45.86/45.95	c |     64306 |     600    38320   110203 |    28505    27009    111 |  0.000 % |
45.96/46.05	c |     64439 |     600    38320   110203 |    28505    27142    111 |  0.000 % |
46.16/46.23	c |     64588 |     600    38320   110203 |    28505    27291    111 |  0.000 % |
46.26/46.39	c |     64748 |     600    38320   110203 |    28505    27451    111 |  0.000 % |
46.46/46.53	c |     64924 |     600    38320   110203 |    28505    27627    111 |  0.000 % |
46.56/46.67	c |     65118 |     600    38320   110203 |    28505    27821    111 |  0.000 % |
46.76/46.83	c |     65331 |     600    38320   110203 |    28505    28034    111 |  0.000 % |
46.96/47.00	c |     65567 |     600    38320   110203 |    28505    28270    111 |  0.000 % |
47.16/47.27	c |     65823 |     600    38320   110203 |    28505    28526    111 |  0.000 % |
47.46/47.58	c |     66106 |     600    38320   110203 |    28505    24295    110 |  0.000 % |
47.76/47.84	c |     66415 |     600    38320   110203 |    28505    24604    110 |  0.000 % |
48.06/48.18	c |     66754 |     600    38320   110203 |    28505    24943    110 |  0.000 % |
48.46/48.52	c |     67127 |     600    38320   110203 |    28505    25316    110 |  0.000 % |
48.76/48.85	c |     67536 |     600    38320   110203 |    28505    25725    111 |  0.000 % |
49.26/49.40	c |     67985 |     600    38320   110203 |    28505    26174    111 |  0.000 % |
49.75/49.88	c |     68480 |     600    38320   110203 |    28505    26669    111 |  0.000 % |
50.25/50.39	c |     69022 |     600    38320   110203 |    28505    27211    111 |  0.000 % |
51.05/51.18	c |     69618 |     600    38320   110203 |    28505    27807    111 |  0.000 % |
51.85/51.92	c |     70274 |     600    38320   110203 |    28189    28463    111 |  0.000 % |
52.55/52.62	c |     70996 |     600    38320   110203 |    28189    24346    110 |  0.000 % |
53.25/53.39	c |     71793 |     600    38320   110203 |    28189    25143    110 |  0.000 % |
54.15/54.30	c |     72665 |     600    38320   110203 |    28189    26015    111 |  0.000 % |
54.35/54.42	c |     72768 |     600    38320   110203 |    28189    26118    111 |  0.000 % |
54.45/54.59	c |     72880 |     600    38320   110203 |    28189    26230    111 |  0.000 % |
54.55/54.69	c |     73001 |     600    38320   110203 |    28189    26351    111 |  0.000 % |
54.86/54.91	c |     73139 |     600    38320   110203 |    28189    26489    111 |  0.000 % |
54.96/55.04	c |     73285 |     600    38320   110203 |    28189    26635    111 |  0.000 % |
55.15/55.21	c |     73446 |     600    38320   110203 |    28189    26796    111 |  0.000 % |
55.25/55.36	c |     73622 |     600    38320   110203 |    28189    26972    111 |  0.000 % |
55.45/55.58	c |     73815 |     600    38320   110203 |    28189    27165    111 |  0.000 % |
55.65/55.76	c |     74028 |     600    38320   110203 |    28189    27378    112 |  0.000 % |
56.05/56.13	c |     74262 |     600    38320   110203 |    28189    27612    112 |  0.000 % |
56.15/56.25	c |     74518 |     600    38320   110203 |    28189    27868    111 |  0.000 % |
56.55/56.70	c |     74799 |     600    38320   110203 |    28189    28149    112 |  0.000 % |
56.95/57.07	c |     75108 |     600    38320   110203 |    28189    28458    112 |  0.000 % |
57.45/57.53	c |     75447 |     600    38320   110203 |    28189    23863    110 |  0.000 % |
57.95/58.00	c |     75819 |     600    38320   110203 |    28189    24235    110 |  0.000 % |
58.35/58.49	c |     76228 |     600    38320   110203 |    28189    24644    110 |  0.000 % |
58.85/58.91	c |     76677 |     600    38320   110203 |    28189    25093    110 |  0.000 % |
59.25/59.31	c |     77171 |     600    38320   110203 |    28189    25587    110 |  0.000 % |
59.95/60.08	c |     77713 |     600    38320   110203 |    28189    26129    110 |  0.000 % |
60.65/60.75	c |     78310 |     600    38320   110203 |    28189    26726    110 |  0.000 % |
61.15/61.27	c |     78965 |     600    38320   110203 |    28189    27381    110 |  0.000 % |
61.55/61.66	c |     79686 |     600    38320   110203 |    28189    28102    110 |  0.000 % |
61.95/62.08	c |     80478 |     600    38320   110203 |    28416    24172    108 |  0.000 % |
62.45/62.60	c |     81351 |     600    38320   110203 |    28416    25045    109 |  0.000 % |
63.05/63.13	c |     82309 |     600    38320   110203 |    28416    26003    110 |  0.000 % |
63.05/63.19	c |     82413 |     600    38320   110203 |    28416    26107    110 |  0.000 % |
63.15/63.26	c |     82524 |     600    38320   110203 |    28416    26218    110 |  0.000 % |
63.35/63.44	c |     82646 |     600    38320   110203 |    28416    26340    110 |  0.000 % |
63.55/63.66	c |     82779 |     600    38320   110203 |    28416    26473    110 |  0.000 % |
63.85/63.93	c |     82927 |     600    38320   110203 |    28416    26621    110 |  0.000 % |
64.05/64.18	c |     83092 |     600    38320   110203 |    28416    26786    110 |  0.000 % |
64.35/64.48	c |     83268 |     600    38320   110203 |    28416    26962    110 |  0.000 % |
64.65/64.78	c |     83465 |     600    38320   110203 |    28416    27159    110 |  0.000 % |
65.05/65.16	c |     83678 |     600    38320   110203 |    28416    27372    110 |  0.000 % |
65.35/65.42	c |     83912 |     600    38320   110203 |    28416    27606    110 |  0.000 % |
65.65/65.77	c |     84169 |     600    38320   110203 |    28416    27863    110 |  0.000 % |
65.95/66.08	c |     84451 |     600    38320   110203 |    28416    28145    110 |  0.000 % |
66.25/66.37	c |     84766 |     600    38320   110203 |    28416    28460    110 |  0.000 % |
66.55/66.68	c |     85106 |     600    38320   110203 |    28416    23907    108 |  0.000 % |
66.75/66.85	c |     85478 |     600    38320   110203 |    28416    24279    108 |  0.000 % |
67.05/67.15	c |     85890 |     600    38320   110203 |    28416    24691    108 |  0.000 % |
67.34/67.40	c |     86341 |     600    38320   110203 |    28416    25142    108 |  0.000 % |
67.54/67.63	c |     86835 |     600    38320   110203 |    28416    25636    109 |  0.000 % |
68.05/68.13	c |     87377 |     600    38320   110203 |    28416    26178    109 |  0.000 % |
68.84/68.93	c |     87975 |     600    38320   110203 |    28416    26776    109 |  0.000 % |
69.25/69.36	c |     88634 |     600    38320   110203 |    28416    27435    109 |  0.000 % |
69.94/70.03	c |     89357 |     600    38320   110203 |    28416    28158    109 |  0.000 % |
71.14/71.26	c |     90149 |     600    38320   110203 |    23907    24056    107 |  0.000 % |
71.45/71.58	c |     91023 |     600    38320   110203 |    23907    20940    106 |  0.000 % |
72.34/72.40	c |     91985 |     600    38320   110203 |    23907    21902    106 |  0.000 % |
72.64/72.79	c |     93039 |     600    38320   110203 |    23907    22956    105 |  0.000 % |
72.74/72.86	c |     93139 |     600    38320   110203 |    23907    23056    105 |  0.000 % |
72.84/72.90	c |     93249 |     600    38320   110203 |    23907    23166    105 |  0.000 % |
72.94/73.00	c |     93371 |     600    38320   110203 |    23907    23288    105 |  0.000 % |
73.04/73.12	c |     93504 |     600    38320   110203 |    23907    23421    105 |  0.000 % |
73.14/73.21	c |     93650 |     600    38320   110203 |    23907    23567    106 |  0.000 % |
73.24/73.39	c |     93812 |     600    38320   110203 |    23907    23729    106 |  0.000 % |
73.44/73.54	c |     93988 |     600    38320   110203 |    23907    23905    106 |  0.000 % |
73.54/73.65	c |     94181 |     600    38320   110203 |    23907    24098    106 |  0.000 % |
73.74/73.87	c |     94396 |     600    38320   110203 |    23907    21610    105 |  0.000 % |
73.94/74.10	c |     94631 |     600    38320   110203 |    23907    21845    105 |  0.000 % |
74.24/74.38	c |     94887 |     600    38320   110203 |    23907    22101    105 |  0.000 % |
74.44/74.55	c |     95168 |     600    38320   110203 |    23907    22382    105 |  0.000 % |
74.64/74.76	c |     95478 |     600    38320   110203 |    23907    22692    105 |  0.000 % |
74.94/75.05	c |     95820 |     600    38320   110203 |    23907    23034    105 |  0.000 % |
75.24/75.32	c |     96193 |     600    38320   110203 |    23907    23407    105 |  0.000 % |
75.54/75.66	c |     96603 |     600    38320   110203 |    23907    23817    105 |  0.000 % |
75.94/76.09	c |     97053 |     600    38320   110203 |    23907    24267    105 |  0.000 % |
76.54/76.63	c |     97546 |     600    38320   110203 |    23907    21990    103 |  0.000 % |
77.14/77.23	c |     98090 |     600    38320   110203 |    23907    22534    104 |  0.000 % |
77.84/77.93	c |     98689 |     600    38320   110203 |    23907    23133    104 |  0.000 % |
78.24/78.31	c |     99344 |     600    38320   110203 |    23907    23788    104 |  0.000 % |
78.54/78.64	c |    100065 |     600    38320   110203 |    21643    21707    103 |  0.000 % |
79.24/79.33	c |    100859 |     600    38320   110203 |    21643    20084    101 |  0.000 % |
79.54/79.64	c |    101732 |     600    38320   110203 |    21643    20957    102 |  0.000 % |
79.83/79.99	c |    102691 |     600    38320   110203 |    21643    21916    103 |  0.000 % |
80.24/80.38	c |    103744 |     600    38320   110203 |    21643    20778    103 |  0.000 % |
80.83/80.96	c |    104902 |     600    38320   110203 |    21643    21936    104 |  0.000 % |
80.93/81.03	c |    105004 |     600    38320   110203 |    21643    19845    103 |  0.000 % |
81.13/81.21	c |    105116 |     600    38320   110203 |    21643    19957    103 |  0.000 % |
81.24/81.32	c |    105239 |     600    38320   110203 |    21643    20080    103 |  0.000 % |
81.34/81.47	c |    105373 |     600    38320   110203 |    21643    20214    103 |  0.000 % |
81.43/81.55	c |    105519 |     600    38320   110203 |    21643    20360    103 |  0.000 % |
81.63/81.74	c |    105679 |     600    38320   110203 |    21643    20520    103 |  0.000 % |
81.83/81.90	c |    105856 |     600    38320   110203 |    21643    20697    103 |  0.000 % |
81.83/81.98	c |    106050 |     600    38320   110203 |    21643    20891    103 |  0.000 % |
82.13/82.23	c |    106263 |     600    38320   110203 |    21643    21104    103 |  0.000 % |
82.23/82.39	c |    106497 |     600    38320   110203 |    21643    21338    103 |  0.000 % |
82.63/82.70	c |    106758 |     600    38320   110203 |    21643    21599    104 |  0.000 % |
82.73/82.86	c |    107040 |     600    38320   110203 |    21643    21881    104 |  0.000 % |
83.03/83.17	c |    107354 |     600    38320   110203 |    21643    20007    104 |  0.000 % |
83.33/83.46	c |    107696 |     600    38320   110203 |    21643    20349    104 |  0.000 % |
83.63/83.71	c |    108068 |     600    38320   110203 |    21643    20721    104 |  0.000 % |
84.03/84.12	c |    108478 |     600    38320   110203 |    21643    21131    104 |  0.000 % |
84.43/84.52	c |    108929 |     600    38320   110203 |    21643    21582    103 |  0.000 % |
84.83/84.91	c |    109423 |     600    38320   110203 |    21643    19869    103 |  0.000 % |
85.03/85.13	c |    109966 |     600    38320   110203 |    21643    20412    104 |  0.000 % |
85.23/85.36	c |    110564 |     600    38320   110203 | 2147483647    21010    104 |  0.000 % |
85.73/85.80	c |    111221 |     600    38320   110203 | 2147483647    21667    105 |  0.000 % |
86.13/86.29	c |    111944 |     600    38320   110203 | 2147483647    22390    106 |  0.000 % |
86.73/86.87	c |    112739 |     600    38320   110203 | 2147483647    23185    106 |  0.000 % |
87.33/87.45	c |    113610 |     600    38320   110203 | 2147483647    24056    107 |  0.000 % |
88.13/88.26	c |    114569 |     600    38320   110203 | 2147483647    25015    107 |  0.000 % |
89.23/89.32	c |    115624 |     600    38320   110203 | 2147483647    26070    108 |  0.000 % |
90.23/90.33	c |    116783 |     600    38320   110203 | 2147483647    27229    108 |  0.000 % |
91.63/91.72	c |    118059 |     600    38320   110203 | 2147483647    28505    108 |  0.000 % |
91.73/91.89	c |    118161 |     600    38320   110203 | 2147483647    28607    108 |  0.000 % |
91.83/91.97	c |    118274 |     600    38320   110203 | 2147483647    28720    108 |  0.000 % |
91.93/92.06	c |    118395 |     600    38320   110203 | 2147483647    28841    108 |  0.000 % |
92.13/92.22	c |    118528 |     600    38320   110203 | 2147483647    28974    108 |  0.000 % |
92.33/92.40	c |    118677 |     600    38320   110203 | 2147483647    29123    108 |  0.000 % |
92.53/92.68	c |    118840 |     600    38320   110203 | 2147483647    29286    108 |  0.000 % |
92.73/92.84	c |    119016 |     600    38320   110203 | 2147483647    29462    108 |  0.000 % |
93.03/93.15	c |    119210 |     600    38320   110203 | 2147483647    29656    108 |  0.000 % |
93.43/93.51	c |    119427 |     600    38320   110203 | 2147483647    29873    108 |  0.000 % |
93.53/93.68	c |    119661 |     600    38320   110203 | 2147483647    30107    108 |  0.000 % |
93.83/93.92	c |    119917 |     600    38320   110203 | 2147483647    30363    108 |  0.000 % |
94.13/94.29	c |    120200 |     600    38320   110203 |    30446    30646    108 |  0.000 % |
94.53/94.64	c |    120511 |     600    38320   110203 |    30446    27479    107 |  0.000 % |
94.93/95.03	c |    120851 |     600    38320   110203 |    30446    27819    107 |  0.000 % |
95.23/95.34	c |    121224 |     600    38320   110203 |    30446    28192    107 |  0.000 % |
95.63/95.75	c |    121635 |     600    38320   110203 |    30446    28603    107 |  0.000 % |
95.83/95.99	c |    122084 |     600    38320   110203 |    30446    29052    107 |  0.000 % |
96.43/96.53	c |    122578 |     600    38320   110203 |    30446    29546    107 |  0.000 % |
97.13/97.30	c |    123121 |     600    38320   110203 |    30446    30089    107 |  0.000 % |
97.63/97.71	c |    123718 |     600    38320   110203 |    30446    30686    107 |  0.000 % |
98.33/98.47	c |    124373 |     600    38320   110203 |    30446    26937    105 |  0.000 % |
98.72/98.86	c |    125094 |     600    38320   110203 |    30446    27658    105 |  0.000 % |
99.42/99.58	c |    125886 |     600    38320   110203 |    30446    28450    105 |  0.000 % |
99.82/99.99	c |    126758 |     600    38320   110203 |    30446    29322    106 |  0.000 % |
100.62/100.79	c |    127716 |     600    38320   110203 |    30446    30280    106 |  0.000 % |
101.72/101.89	c |    128771 |     600    38320   110203 |    30446    26881    105 |  0.000 % |
102.92/103.03	c |    129931 |     600    38320   110203 |    30446    28041    105 |  0.000 % |
103.92/104.00	c |    131206 |     600    38320   110203 |    28111    25073    103 |  0.000 % |
105.12/105.28	c |    132606 |     600    38320   110203 |    28111    26473    105 |  0.000 % |
105.32/105.40	c |    132707 |     600    38320   110203 |    28111    26574    105 |  0.000 % |
105.42/105.54	c |    132817 |     600    38320   110203 |    28111    26684    105 |  0.000 % |
105.52/105.66	c |    132938 |     600    38320   110203 |    28111    26805    105 |  0.000 % |
105.62/105.79	c |    133074 |     600    38320   110203 |    28111    26941    105 |  0.000 % |
105.82/105.97	c |    133220 |     600    38320   110203 |    28111    27087    105 |  0.000 % |
106.02/106.15	c |    133381 |     600    38320   110203 |    28111    27248    105 |  0.000 % |
106.12/106.23	c |    133560 |     600    38320   110203 |    28111    27427    105 |  0.000 % |
106.42/106.50	c |    133757 |     600    38320   110203 |    28111    27624    105 |  0.000 % |
106.62/106.72	c |    133973 |     600    38320   110203 |    28111    27840    105 |  0.000 % |
106.92/107.01	c |    134206 |     600    38320   110203 |    28111    28073    105 |  0.000 % |
107.22/107.36	c |    134464 |     600    38320   110203 |    28111    28331    105 |  0.000 % |
107.52/107.62	c |    134746 |     600    38320   110203 |    28111    24268    103 |  0.000 % |
107.62/107.79	c |    135056 |     600    38320   110203 |    28111    24578    103 |  0.000 % |
108.12/108.24	c |    135395 |     600    38320   110203 |    28111    24917    104 |  0.000 % |
108.32/108.46	c |    135769 |     600    38320   110203 |    28111    25291    104 |  0.000 % |
108.62/108.79	c |    136180 |     600    38320   110203 |    28111    25702    104 |  0.000 % |
109.02/109.11	c |    136629 |     600    38320   110203 |    28111    26151    105 |  0.000 % |
109.32/109.43	c |    137124 |     600    38320   110203 |    28111    26646    105 |  0.000 % |
109.72/109.90	c |    137666 |     600    38320   110203 |    28111    27188    105 |  0.000 % |
110.12/110.24	c |    138262 |     600    38320   110203 |    28111    27784    105 |  0.000 % |
110.62/110.79	c |    138918 |     600    38320   110203 |    28111    24368    106 |  0.000 % |
111.22/111.35	c |    139638 |     600    38320   110203 |    28111    25088    106 |  0.000 % |
111.72/111.82	c |    140431 |     600    38320   110203 |    25451    22398    107 |  0.000 % |
112.32/112.47	c |    141303 |     600    38320   110203 |    25451    23270    108 |  0.000 % |
113.02/113.12	c |    142261 |     600    38320   110203 |    25451    24228    108 |  0.000 % |
113.92/114.06	c |    143318 |     600    38320   110203 |    25451    25285    109 |  0.000 % |
114.72/114.85	c |    144477 |     600    38320   110203 |    25451    23054    110 |  0.000 % |
115.62/115.77	c |    145751 |     600    38320   110203 |    25451    24328    110 |  0.000 % |
117.12/117.23	c |    147151 |     600    38320   110203 |    25451    25728    111 |  0.000 % |
118.81/118.90	c |    148696 |     600    38320   110203 |    25451    23705    111 |  0.000 % |
118.91/119.01	c |    148797 |     600    38320   110203 |    25451    23806    111 |  0.000 % |
119.01/119.12	c |    148908 |     600    38320   110203 |    25451    23917    111 |  0.000 % |
119.11/119.21	c |    149029 |     600    38320   110203 |    25451    24038    111 |  0.000 % |
119.21/119.38	c |    149164 |     600    38320   110203 |    25451    24173    111 |  0.000 % |
119.41/119.51	c |    149310 |     600    38320   110203 |    25451    24319    111 |  0.000 % |
119.51/119.63	c |    149470 |     600    38320   110203 |    25451    24479    111 |  0.000 % |
119.61/119.75	c |    149646 |     600    38320   110203 |    25451    24655    111 |  0.000 % |
119.72/119.89	c |    149841 |     600    38320   110203 |    25451    24850    111 |  0.000 % |
119.91/120.08	c |    150053 |     600    38320   110203 |    25010    25062    111 |  0.000 % |
120.11/120.26	c |    150287 |     600    38320   110203 |    25010    21706    111 |  0.000 % |
120.31/120.43	c |    150546 |     600    38320   110203 |    25010    21965    112 |  0.000 % |
120.51/120.63	c |    150828 |     600    38320   110203 |    25010    22247    111 |  0.000 % |
120.71/120.81	c |    151138 |     600    38320   110203 |    25010    22557    111 |  0.000 % |
120.92/121.02	c |    151480 |     600    38320   110203 |    25010    22899    111 |  0.000 % |
121.11/121.24	c |    151854 |     600    38320   110203 |    25010    23273    111 |  0.000 % |
121.31/121.49	c |    152263 |     600    38320   110203 |    25010    23682    111 |  0.000 % |
121.61/121.75	c |    152712 |     600    38320   110203 |    25010    24131    110 |  0.000 % |
122.02/122.10	c |    153207 |     600    38320   110203 |    25010    24626    110 |  0.000 % |
122.51/122.64	c |    153751 |     600    38320   110203 |    25010    25170    111 |  0.000 % |
122.91/123.00	c |    154348 |     600    38320   110203 |    25010    23117    110 |  0.000 % |
123.61/123.73	c |    155003 |     600    38320   110203 |    25010    23772    111 |  0.000 % |
124.01/124.17	c |    155723 |     600    38320   110203 |    25010    24492    111 |  0.000 % |
124.61/124.73	c |    156516 |     600    38320   110203 |    25010    25285    111 |  0.000 % |
125.22/125.34	c |    157387 |     600    38320   110203 |    25010    23419    110 |  0.000 % |
125.91/126.05	c |    158346 |     600    38320   110203 |    25010    24378    110 |  0.000 % |
126.71/126.85	c |    159401 |     600    38320   110203 |    25010    22838    108 |  0.000 % |
127.42/127.57	c |    160560 |     600    38320   110203 |    23441    21606    107 |  0.000 % |
127.91/128.07	c |    161833 |     600    38320   110203 |    23441    22879    108 |  0.000 % |
128.82/128.94	c |    163234 |     600    38320   110203 |    23441    21901    109 |  0.000 % |
129.52/129.69	c |    164774 |     600    38320   110203 |    23441    23441    109 |  0.000 % |
130.92/131.04	c |    166468 |     600    38320   110203 |    23441    22791    109 |  0.000 % |
131.02/131.17	c |    166569 |     600    38320   110203 |    23441    22892    109 |  0.000 % |
131.12/131.27	c |    166680 |     600    38320   110203 |    23441    23003    109 |  0.000 % |
131.22/131.36	c |    166801 |     600    38320   110203 |    23441    23124    109 |  0.000 % |
131.32/131.49	c |    166934 |     600    38320   110203 |    23441    23257    109 |  0.000 % |
131.52/131.67	c |    167081 |     600    38320   110203 |    23441    23404    109 |  0.000 % |
131.72/131.86	c |    167241 |     600    38320   110203 |    23441    23564    109 |  0.000 % |
131.92/132.08	c |    167418 |     600    38320   110203 |    23441    21385    109 |  0.000 % |
132.12/132.25	c |    167612 |     600    38320   110203 |    23441    21579    109 |  0.000 % |
132.32/132.48	c |    167827 |     600    38320   110203 |    23441    21794    109 |  0.000 % |
132.62/132.74	c |    168060 |     600    38320   110203 |    23441    22027    109 |  0.000 % |
132.82/132.94	c |    168316 |     600    38320   110203 |    23441    22283    110 |  0.000 % |
133.02/133.16	c |    168600 |     600    38320   110203 |    23441    22567    110 |  0.000 % |
133.42/133.50	c |    168909 |     600    38320   110203 |    23441    22876    110 |  0.000 % |
133.72/133.86	c |    169250 |     600    38320   110203 |    23441    23217    110 |  0.000 % |
134.12/134.21	c |    169623 |     600    38320   110203 |    23441    23590    110 |  0.000 % |
134.52/134.61	c |    170032 |     600    38320   110203 | 2147483647    21640    110 |  0.000 % |
135.02/135.12	c |    170481 |     600    38320   110203 | 2147483647    22089    111 |  0.000 % |
135.52/135.60	c |    170975 |     600    38320   110203 | 2147483647    22583    111 |  0.000 % |
136.12/136.25	c |    171518 |     600    38320   110203 | 2147483647    23126    111 |  0.000 % |
136.92/137.02	c |    172115 |     600    38320   110203 | 2147483647    23723    112 |  0.000 % |
137.62/137.76	c |    172770 |     600    38320   110203 | 2147483647    24378    112 |  0.000 % |
138.61/138.71	c |    173491 |     600    38320   110203 | 2147483647    25099    112 |  0.000 % |
139.71/139.86	c |    174284 |     600    38320   110203 | 2147483647    25892    112 |  0.000 % |
141.11/141.27	c |    175158 |     600    38320   110203 | 2147483647    26766    113 |  0.000 % |
142.61/142.72	c |    176116 |     600    38320   110203 | 2147483647    27724    113 |  0.000 % |
144.11/144.27	c |    177169 |     600    38320   110203 | 2147483647    28777    113 |  0.000 % |
146.41/146.51	c |    178327 |     600    38320   110203 | 2147483647    29935    114 |  0.000 % |
148.42/148.53	c |    179602 |     600    38320   110203 | 2147483647    31210    114 |  0.000 % |
151.11/151.22	c |    181002 |     600    38320   110203 |    31611    25957    116 |  0.000 % |
153.31/153.44	c |    182548 |     600    38320   110203 |    31611    27503    116 |  0.000 % |
156.31/156.48	c |    184242 |     600    38320   110203 |    31611    29197    116 |  0.000 % |
159.71/159.88	c |    186105 |     600    38320   110203 |    31611    31060    116 |  0.000 % |
160.01/160.18	c |    186206 |     600    38320   110203 |    31611    31161    116 |  0.000 % |
160.31/160.41	c |    186317 |     600    38320   110203 |    31611    31272    116 |  0.000 % |
160.41/160.54	c |    186438 |     600    38320   110203 |    31611    31393    116 |  0.000 % |
160.81/160.91	c |    186573 |     600    38320   110203 |    31611    31528    116 |  0.000 % |
161.21/161.39	c |    186719 |     600    38320   110203 |    31611    31674    116 |  0.000 % |
161.61/161.76	c |    186880 |     600    38320   110203 |    31611    23553    113 |  0.000 % |
162.01/162.11	c |    187056 |     600    38320   110203 |    31611    23729    113 |  0.000 % |
162.31/162.43	c |    187251 |     600    38320   110203 |    31611    23924    113 |  0.000 % |
162.81/162.94	c |    187464 |     600    38320   110203 |    31611    24137    113 |  0.000 % |
163.11/163.26	c |    187701 |     600    38320   110203 |    31611    24374    113 |  0.000 % |
163.71/163.88	c |    187959 |     600    38320   110203 |    31611    24632    113 |  0.000 % |
164.41/164.51	c |    188241 |     600    38320   110203 |    31611    24914    113 |  0.000 % |
164.91/165.04	c |    188551 |     600    38320   110203 |    31611    25224    113 |  0.000 % |
165.41/165.59	c |    188891 |     600    38320   110203 |    31611    25564    113 |  0.000 % |
166.11/166.26	c |    189265 |     600    38320   110203 |    31611    25938    113 |  0.000 % |
166.51/166.64	c |    189675 |     600    38320   110203 |    31611    26348    113 |  0.000 % |
167.41/167.51	c |    190124 |     600    38320   110203 |    26673    26797    113 |  0.000 % |
167.90/168.04	c |    190618 |     600    38320   110203 |    26673    20851    111 |  0.000 % |
168.60/168.74	c |    191162 |     600    38320   110203 |    26673    21395    111 |  0.000 % |
169.50/169.62	c |    191761 |     600    38320   110203 |    26673    21994    111 |  0.000 % |
170.20/170.38	c |    192417 |     600    38320   110203 |    26673    22650    112 |  0.000 % |
171.51/171.64	c |    193138 |     600    38320   110203 |    26673    23371    112 |  0.000 % |
173.40/173.50	c |    193930 |     600    38320   110203 |    26673    24163    112 |  0.000 % |
174.60/174.80	c |    194801 |     600    38320   110203 |    26673    25034    112 |  0.000 % |
175.70/175.83	c |    195763 |     600    38320   110203 |    26673    25996    112 |  0.000 % |
177.30/177.44	c |    196818 |     600    38320   110203 |    26673    21536    110 |  0.000 % |
179.10/179.28	c |    197977 |     600    38320   110203 |    26673    22695    110 |  0.000 % |
180.70/180.85	c |    199250 |     600    38320   110203 |    26673    23968    111 |  0.000 % |
182.10/182.21	c |    200651 |     600    38320   110203 |    24720    20153    109 |  0.000 % |
184.10/184.21	c |    202191 |     600    38320   110203 |    24720    21693    110 |  0.000 % |
186.30/186.50	c |    203886 |     600    38320   110203 |    24720    23388    110 |  0.000 % |
188.90/189.04	c |    205749 |     600    38320   110203 |    24720    21316    109 |  0.000 % |
190.80/190.98	c |    207800 |     600    38320   110203 |    24720    23367    110 |  0.000 % |
191.10/191.22	c |    207900 |     600    38320   110203 |    24720    23467    110 |  0.000 % |
191.20/191.32	c |    208011 |     600    38320   110203 |    24720    23578    110 |  0.000 % |
191.40/191.57	c |    208133 |     600    38320   110203 |    24720    23700    110 |  0.000 % |
191.70/191.81	c |    208267 |     600    38320   110203 |    24720    23834    110 |  0.000 % |
191.90/192.02	c |    208413 |     600    38320   110203 |    24720    23980    110 |  0.000 % |
192.20/192.40	c |    208573 |     600    38320   110203 |    24720    24140    110 |  0.000 % |
192.50/192.69	c |    208749 |     600    38320   110203 |    24720    24316    110 |  0.000 % |
192.80/192.92	c |    208943 |     600    38320   110203 |    24720    24510    110 |  0.000 % |
193.10/193.26	c |    209156 |     600    38320   110203 |    24720    24723    110 |  0.000 % |
193.60/193.71	c |    209389 |     600    38320   110203 |    24720    21359    109 |  0.000 % |
193.99/194.12	c |    209646 |     600    38320   110203 |    24720    21616    109 |  0.000 % |
194.19/194.38	c |    209927 |     600    38320   110203 |    24720    21897    109 |  0.000 % |
194.60/194.78	c |    210236 |     600    38320   110203 |    21971    22206    109 |  0.000 % |
195.09/195.28	c |    210579 |     600    38320   110203 |    21971    19416    109 |  0.000 % |
195.60/195.71	c |    210951 |     600    38320   110203 |    21971    19788    109 |  0.000 % |
195.79/195.93	c |    211361 |     600    38320   110203 |    21971    20198    109 |  0.000 % |
196.29/196.50	c |    211811 |     600    38320   110203 |    21971    20648    110 |  0.000 % |
197.09/197.27	c |    212308 |     600    38320   110203 |    21971    21145    110 |  0.000 % |
197.69/197.86	c |    212851 |     600    38320   110203 |    21971    21688    110 |  0.000 % |
198.29/198.46	c |    213447 |     600    38320   110203 |    21971    19629    109 |  0.000 % |
199.19/199.30	c |    214102 |     600    38320   110203 |    21971    20284    110 |  0.000 % |
200.19/200.35	c |    214822 |     600    38320   110203 |    21971    21004    110 |  0.000 % |
200.99/201.19	c |    215614 |     600    38320   110203 |    21971    21796    110 |  0.000 % |
201.69/201.88	c |    216485 |     600    38320   110203 |    21971    20366    110 |  0.000 % |
202.79/202.97	c |    217445 |     600    38320   110203 |    21971    21326    110 |  0.000 % |
203.79/203.98	c |    218500 |     600    38320   110203 |    21971    20151    110 |  0.000 % |
205.69/205.84	c |    219660 |     600    38320   110203 |    21971    21311    110 |  0.000 % |
207.19/207.35	c |    220933 |     600    38320   110203 | 2147483647    22584    110 |  0.000 % |
209.09/209.26	c |    222333 |     600    38320   110203 | 2147483647    23984    110 |  0.000 % |
210.99/211.11	c |    223873 |     600    38320   110203 | 2147483647    25524    110 |  0.000 % |
212.69/212.87	c |    225567 |     600    38320   110203 | 2147483647    27218    110 |  0.000 % |
214.79/214.98	c |    227431 |     600    38320   110203 | 2147483647    29082    110 |  0.000 % |
216.88/217.06	c |    229480 |     600    38320   110203 | 2147483647    31131    109 |  0.000 % |
220.18/220.32	c |    231733 |     600    38320   110203 |    31651    29596    107 |  0.000 % |
220.48/220.63	c |    231834 |     600    38320   110203 |    31651    29697    107 |  0.000 % |
220.68/220.90	c |    231944 |     600    38320   110203 |    31651    29807    107 |  0.000 % |
220.99/221.16	c |    232069 |     600    38320   110203 |    31651    29932    107 |  0.000 % |
221.28/221.41	c |    232203 |     600    38320   110203 |    31651    30066    107 |  0.000 % |
221.48/221.69	c |    232349 |     600    38320   110203 |    31651    30212    107 |  0.000 % |
221.88/222.08	c |    232510 |     600    38320   110203 |    31651    30373    107 |  0.000 % |
222.28/222.42	c |    232690 |     600    38320   110203 |    31651    30553    107 |  0.000 % |
222.58/222.76	c |    232887 |     600    38320   110203 |    31651    30750    108 |  0.000 % |
222.88/223.09	c |    233100 |     600    38320   110203 |    31651    30963    108 |  0.000 % |
223.48/223.64	c |    233335 |     600    38320   110203 |    31651    31198    108 |  0.000 % |
224.08/224.27	c |    233593 |     600    38320   110203 |    31651    31456    108 |  0.000 % |
224.98/225.12	c |    233874 |     600    38320   110203 |    31651    31737    108 |  0.000 % |
225.58/225.71	c |    234183 |     600    38320   110203 |    31651    25296    104 |  0.000 % |
226.08/226.29	c |    234522 |     600    38320   110203 |    31651    25635    105 |  0.000 % |
226.98/227.20	c |    234896 |     600    38320   110203 |    31651    26009    105 |  0.000 % |
227.78/227.96	c |    235307 |     600    38320   110203 |    31651    26420    105 |  0.000 % |
228.78/228.99	c |    235756 |     600    38320   110203 |    31651    26869    105 |  0.000 % |
229.38/229.59	c |    236250 |     600    38320   110203 |    31651    27363    105 |  0.000 % |
230.67/230.89	c |    236792 |     600    38320   110203 |    31651    27905    105 |  0.000 % |
232.07/232.23	c |    237388 |     600    38320   110203 |    31651    28501    105 |  0.000 % |
233.08/233.22	c |    238045 |     600    38320   110203 |    31651    29158    105 |  0.000 % |
234.97/235.17	c |    238765 |     600    38320   110203 |    31651    29878    106 |  0.000 % |
237.27/237.43	c |    239558 |     600    38320   110203 |    31651    30671    106 |  0.000 % |
238.87/239.03	c |    240429 |     600    38320   110203 |    31114    23616    105 |  0.000 % |
240.17/240.38	c |    241388 |     600    38320   110203 |    31114    24575    106 |  0.000 % |
241.78/241.92	c |    242442 |     600    38320   110203 |    31114    25629    106 |  0.000 % |
243.17/243.33	c |    243603 |     600    38320   110203 |    31114    26790    107 |  0.000 % |
245.57/245.76	c |    244877 |     600    38320   110203 |    31114    28064    107 |  0.000 % |
247.77/247.90	c |    246278 |     600    38320   110203 |    31114    29465    107 |  0.000 % |
249.97/250.13	c |    247818 |     600    38320   110203 |    31114    31005    107 |  0.000 % |
252.27/252.41	c |    249514 |     600    38320   110203 |    31114    25021    108 |  0.000 % |
254.57/254.76	c |    251377 |     600    38320   110203 |    25508    21048    107 |  0.000 % |
256.77/256.90	c |    253428 |     600    38320   110203 |    25508    23099    108 |  0.000 % |
259.37/259.57	c |    255681 |     600    38320   110203 |    25508    25352    108 |  0.000 % |
262.07/262.21	c |    258159 |     600    38320   110203 |    25508    23678    105 |  0.000 % |
262.17/262.38	c |    258261 |     600    38320   110203 |    25508    23780    105 |  0.000 % |
262.36/262.56	c |    258372 |     600    38320   110203 |    25508    23891    105 |  0.000 % |
262.56/262.72	c |    258495 |     600    38320   110203 |    25508    24014    105 |  0.000 % |
262.67/262.85	c |    258628 |     600    38320   110203 |    25508    24147    105 |  0.000 % |
262.87/263.06	c |    258775 |     600    38320   110203 |    25508    24294    105 |  0.000 % |
262.97/263.14	c |    258935 |     600    38320   110203 |    25508    24454    105 |  0.000 % |
263.17/263.33	c |    259116 |     600    38320   110203 |    25508    24635    105 |  0.000 % |
263.36/263.53	c |    259309 |     600    38320   110203 |    25508    24828    105 |  0.000 % |
263.66/263.85	c |    259523 |     600    38320   110203 |    25508    25042    105 |  0.000 % |
263.96/264.14	c |    259757 |     600    38320   110203 |    25508    25276    105 |  0.000 % |
264.36/264.51	c |    260014 |     600    38320   110203 |    25521    25533    105 |  0.000 % |
264.76/264.93	c |    260295 |     600    38320   110203 |    25521    22139    103 |  0.000 % |
265.16/265.30	c |    260606 |     600    38320   110203 |    25521    22450    104 |  0.000 % |
265.56/265.72	c |    260946 |     600    38320   110203 |    25521    22790    104 |  0.000 % |
266.07/266.23	c |    261318 |     600    38320   110203 |    25521    23162    103 |  0.000 % |
266.36/266.53	c |    261731 |     600    38320   110203 |    25521    23575    103 |  0.000 % |
267.07/267.22	c |    262182 |     600    38320   110203 |    25521    24026    104 |  0.000 % |
267.46/267.69	c |    262675 |     600    38320   110203 |    25521    24519    104 |  0.000 % |
268.06/268.20	c |    263217 |     600    38320   110203 |    25521    25061    104 |  0.000 % |
268.76/268.95	c |    263813 |     600    38320   110203 |    25521    25657    104 |  0.000 % |
269.76/269.96	c |    264468 |     600    38320   110203 |    25521    23747    103 |  0.000 % |
270.66/270.83	c |    265191 |     600    38320   110203 |    25521    24470    103 |  0.000 % |
271.96/272.16	c |    265983 |     600    38320   110203 |    25521    25262    102 |  0.000 % |
273.26/273.44	c |    266854 |     600    38320   110203 |    25521    23567    102 |  0.000 % |
274.56/274.76	c |    267812 |     600    38320   110203 |    25521    24525    101 |  0.000 % |
275.46/275.67	c |    268865 |     600    38320   110203 |    25521    25578    101 |  0.000 % |
276.66/276.87	c |    270023 |     600    38320   110203 | 2147483647    24179    100 |  0.000 % |
277.76/277.97	c |    271297 |     600    38320   110203 | 2147483647    25453     99 |  0.000 % |
278.76/278.94	c |    272697 |     600    38320   110203 | 2147483647    26853    100 |  0.000 % |
279.96/280.13	c |    274239 |     600    38320   110203 | 2147483647    28395    100 |  0.000 % |
280.56/280.75	c |    275933 |     600    38320   110203 | 2147483647    30089     99 |  0.000 % |
284.05/284.23	c |    277796 |     600    38320   110203 | 2147483647    31952    102 |  0.000 % |
290.05/290.27	c |    279847 |     600    38320   110203 | 2147483647    34003    104 |  0.000 % |
294.25/294.42	c |    282100 |     600    38320   110203 |    34156    28581    107 |  0.000 % |
296.65/296.90	c |    284578 |     600    38320   110203 |    34156    31059    109 |  0.000 % |
299.65/299.84	c |    287305 |     600    38320   110203 |    34156    33786    111 |  0.000 % |
299.85/300.05	c |    287405 |     600    38320   110203 |    34156    33886    111 |  0.000 % |
299.95/300.15	c |    287515 |     600    38320   110203 |    34156    33996    112 |  0.000 % |
300.25/300.42	c |    287637 |     600    38320   110203 |    34156    34118    112 |  0.000 % |
300.45/300.65	c |    287770 |     600    38320   110203 |    34156    34251    112 |  0.000 % |
300.85/301.04	c |    287916 |     600    38320   110203 |    34156    26627    114 |  0.000 % |
300.95/301.19	c |    288079 |     600    38320   110203 |    34156    26790    114 |  0.000 % |
301.25/301.45	c |    288255 |     600    38320   110203 |    34156    26966    115 |  0.000 % |
301.45/301.68	c |    288448 |     600    38320   110203 |    34156    27159    115 |  0.000 % |
301.85/302.06	c |    288661 |     600    38320   110203 |    34156    27372    115 |  0.000 % |
302.25/302.48	c |    288894 |     600    38320   110203 |    34156    27605    115 |  0.000 % |
302.55/302.80	c |    289150 |     600    38320   110203 |    34156    27861    115 |  0.000 % |
302.75/302.92	c |    289431 |     600    38320   110203 |    34156    28142    115 |  0.000 % |
303.24/303.49	c |    289741 |     600    38320   110203 |    34156    28452    115 |  0.000 % |
303.54/303.73	c |    290082 |     600    38320   110203 |    28711    28793    115 |  0.000 % |
303.94/304.18	c |    290455 |     600    38320   110203 |    28711    22685    121 |  0.000 % |
304.55/304.72	c |    290864 |     600    38320   110203 |    28711    23094    122 |  0.000 % |
304.94/305.12	c |    291315 |     600    38320   110203 |    28711    23545    122 |  0.000 % |
305.24/305.41	c |    291809 |     600    38320   110203 |    28711    24039    122 |  0.000 % |
305.94/306.17	c |    292351 |     600    38320   110203 |    28711    24581    123 |  0.000 % |
306.44/306.66	c |    292948 |     600    38320   110203 |    28711    25178    123 |  0.000 % |
307.04/307.24	c |    293604 |     600    38320   110203 |    28711    25834    123 |  0.000 % |
308.04/308.29	c |    294324 |     600    38320   110203 |    28711    26554    124 |  0.000 % |
308.64/308.86	c |    295119 |     600    38320   110203 |    28711    27349    124 |  0.000 % |
309.84/310.06	c |    295991 |     600    38320   110203 |    28711    28221    125 |  0.000 % |
310.84/311.00	c |    296950 |     600    38320   110203 |    28711    23200    133 |  0.000 % |
311.54/311.75	c |    298004 |     600    38320   110203 |    28711    24254    133 |  0.000 % |
313.14/313.34	c |    299162 |     600    38320   110203 |    28711    25412    134 |  0.000 % |
314.35/314.59	c |    300435 |     600    38320   110203 |    26250    21582    131 |  0.000 % |
315.84/316.03	c |    301835 |     600    38320   110203 |    26250    22982    132 |  0.000 % |
317.34/317.56	c |    303378 |     600    38320   110203 |    26250    24525    132 |  0.000 % |
319.74/319.94	c |    305074 |     600    38320   110203 |    26250    26221    133 |  0.000 % |
321.84/322.03	c |    306937 |     600    38320   110203 |    26250    23660    130 |  0.000 % |
323.54/323.75	c |    308988 |     600    38320   110203 |    26250    25711    130 |  0.000 % |
326.34/326.52	c |    311242 |     600    38320   110203 |    22516    20046    129 |  0.000 % |
329.14/329.35	c |    313720 |     600    38320   110203 |    22516    22524    131 |  0.000 % |
332.44/332.61	c |    316447 |     600    38320   110203 |    22516    21748    132 |  0.000 % |
336.34/336.56	c |    319445 |     600    38320   110203 |    22516    21077    133 |  0.000 % |
336.44/336.65	c |    319545 |     600    38320   110203 |    22516    21177    133 |  0.000 % |
336.74/336.99	c |    319656 |     600    38320   110203 |    22516    21288    134 |  0.000 % |
336.94/337.19	c |    319779 |     600    38320   110203 |    22516    21411    134 |  0.000 % |
337.14/337.37	c |    319913 |     600    38320   110203 |    22516    21545    134 |  0.000 % |
337.45/337.68	c |    320059 |     600    38320   110203 |    21633    21691    134 |  0.000 % |
337.74/337.91	c |    320219 |     600    38320   110203 |    21633    18319    133 |  0.000 % |
337.94/338.11	c |    320395 |     600    38320   110203 |    21633    18495    133 |  0.000 % |
338.14/338.39	c |    320590 |     600    38320   110203 |    21633    18690    133 |  0.000 % |
338.44/338.67	c |    320805 |     600    38320   110203 |    21633    18905    134 |  0.000 % |
338.74/338.96	c |    321039 |     600    38320   110203 |    21633    19139    134 |  0.000 % |
339.14/339.38	c |    321296 |     600    38320   110203 |    21633    19396    134 |  0.000 % |
339.44/339.67	c |    321579 |     600    38320   110203 |    21633    19679    135 |  0.000 % |
339.94/340.20	c |    321888 |     600    38320   110203 |    21633    19988    135 |  0.000 % |
340.44/340.69	c |    322228 |     600    38320   110203 |    21633    20328    135 |  0.000 % |
340.94/341.13	c |    322600 |     600    38320   110203 |    21633    20700    135 |  0.000 % |
341.44/341.60	c |    323009 |     600    38320   110203 |    21633    21109    136 |  0.000 % |
342.14/342.37	c |    323459 |     600    38320   110203 |    21633    21559    136 |  0.000 % |
343.04/343.20	c |    323958 |     600    38320   110203 |    21633    18774    136 |  0.000 % |
343.54/343.74	c |    324501 |     600    38320   110203 |    21633    19317    136 |  0.000 % |
344.53/344.80	c |    325098 |     600    38320   110203 |    21633    19914    137 |  0.000 % |
345.53/345.76	c |    325755 |     600    38320   110203 |    21633    20571    138 |  0.000 % |
346.24/346.43	c |    326475 |     600    38320   110203 |    21633    21291    138 |  0.000 % |
347.23/347.47	c |    327268 |     600    38320   110203 |    21633    18868    136 |  0.000 % |
348.23/348.48	c |    328139 |     600    38320   110203 |    21633    19739    136 |  0.000 % |
349.43/349.68	c |    329101 |     600    38320   110203 |    21633    20701    137 |  0.000 % |
351.03/351.24	c |    330154 |     600    38320   110203 |    21601    21754    138 |  0.000 % |
352.73/352.98	c |    331313 |     600    38320   110203 |    21601    19742    136 |  0.000 % |
354.83/355.02	c |    332589 |     600    38320   110203 |    21601    21018    137 |  0.000 % |
357.03/357.27	c |    333989 |     600    38320   110203 |    21601    19079    135 |  0.000 % |
359.53/359.71	c |    335529 |     600    38320   110203 |    21601    20619    136 |  0.000 % |
362.33/362.58	c |    337227 |     600    38320   110203 |    21601    18900    136 |  0.000 % |
364.33/364.59	c |    339090 |     600    38320   110203 |    21601    20763    137 |  0.000 % |
366.73/366.98	c |    341140 |     600    38320   110203 |    21674    19512    136 |  0.000 % |
368.93/369.15	c |    343393 |     600    38320   110203 |    21674    21765    137 |  0.000 % |
371.93/372.10	c |    345871 |     600    38320   110203 |    21674    21373    136 |  0.000 % |
375.42/375.63	c |    348596 |     600    38320   110203 |    21674    21120    136 |  0.000 % |
379.92/380.18	c |    351596 |     600    38320   110203 |    19162    17832    135 |  0.000 % |
385.02/385.22	c |    354892 |     600    38320   110203 |    19162    17383    135 |  0.000 % |
385.12/385.36	c |    354992 |     600    38320   110203 |    19162    17483    135 |  0.000 % |
385.32/385.58	c |    355102 |     600    38320   110203 |    19162    17593    135 |  0.000 % |
385.52/385.74	c |    355224 |     600    38320   110203 |    19162    17715    135 |  0.000 % |
385.82/386.03	c |    355358 |     600    38320   110203 |    19162    17849    135 |  0.000 % |
386.02/386.27	c |    355504 |     600    38320   110203 |    19162    17995    135 |  0.000 % |
386.32/386.55	c |    355665 |     600    38320   110203 |    19162    18156    136 |  0.000 % |
386.52/386.78	c |    355842 |     600    38320   110203 |    19162    18333    136 |  0.000 % |
386.92/387.12	c |    356035 |     600    38320   110203 |    19162    18526    136 |  0.000 % |
387.32/387.57	c |    356247 |     600    38320   110203 |    19162    18738    136 |  0.000 % |
387.62/387.86	c |    356482 |     600    38320   110203 |    19162    18973    136 |  0.000 % |
388.02/388.29	c |    356738 |     600    38320   110203 |    19162    19229    136 |  0.000 % |
388.42/388.69	c |    357022 |     600    38320   110203 |    19162    15879    136 |  0.000 % |
388.92/389.14	c |    357332 |     600    38320   110203 |    19162    16189    136 |  0.000 % |
389.32/389.54	c |    357672 |     600    38320   110203 |    19162    16529    136 |  0.000 % |
389.72/389.93	c |    358044 |     600    38320   110203 |    19162    16901    136 |  0.000 % |
390.22/390.43	c |    358454 |     600    38320   110203 |    19162    17311    136 |  0.000 % |
390.82/391.03	c |    358905 |     600    38320   110203 |    19162    17762    136 |  0.000 % |
391.32/391.57	c |    359398 |     600    38320   110203 |    19162    18255    137 |  0.000 % |
392.02/392.29	c |    359942 |     600    38320   110203 |    19162    18799    137 |  0.000 % |
393.02/393.29	c |    360540 |     600    38320   110203 |    18858    16223    135 |  0.000 % |
393.71/393.97	c |    361196 |     600    38320   110203 |    18858    16879    136 |  0.000 % |
394.51/394.72	c |    361916 |     600    38320   110203 |    18858    17599    136 |  0.000 % |
395.41/395.68	c |    362708 |     600    38320   110203 |    18858    18391    136 |  0.000 % |
396.31/396.58	c |    363580 |     600    38320   110203 |    18858    19263    136 |  0.000 % |
397.41/397.64	c |    364540 |     600    38320   110203 |    18858    17901    136 |  0.000 % |
398.51/398.79	c |    365593 |     600    38320   110203 |    18858    18954    137 |  0.000 % |
399.91/400.12	c |    366753 |     600    38320   110203 |    18858    18064    136 |  0.000 % |
401.32/401.56	c |    368026 |     600    38320   110203 |    18858    17403    135 |  0.000 % |
402.71/402.96	c |    369427 |     600    38320   110203 |    18858    18804    134 |  0.000 % |
403.61/403.88	c |    370968 |     600    38320   110203 | 2147483647    18441    134 |  0.000 % |
404.21/404.44	c |    372663 |     600    38320   110203 | 2147483647    20136    135 |  0.000 % |
405.01/405.20	c |    374526 |     600    38320   110203 | 2147483647    21999    136 |  0.000 % |
406.01/406.22	c |    376575 |     600    38320   110203 | 2147483647    24048    137 |  0.000 % |
407.51/407.70	c |    378829 |     600    38320   110203 | 2147483647    26302    138 |  0.000 % |
409.11/409.34	c |    381309 |     600    38320   110203 | 2147483647    28782    138 |  0.000 % |
411.91/412.15	c |    384035 |     600    38320   110203 | 2147483647    31508    138 |  0.000 % |
423.60/423.87	c |    387033 |     600    38320   110203 | 2147483647    34506    138 |  0.000 % |
438.30/438.57	c |    390336 |     600    38320   110203 |    37475    24941    138 |  0.000 % |
448.40/448.65	c |    393961 |     600    38320   110203 |    37475    28566    140 |  0.000 % |
448.80/449.02	c |    394065 |     600    38320   110203 |    37475    28670    140 |  0.000 % |
449.10/449.35	c |    394175 |     600    38320   110203 |    37475    28780    140 |  0.000 % |
449.40/449.66	c |    394296 |     600    38320   110203 |    37475    28901    140 |  0.000 % |
449.80/450.03	c |    394429 |     600    38320   110203 |    37475    29034    140 |  0.000 % |
450.30/450.55	c |    394577 |     600    38320   110203 |    37475    29182    140 |  0.000 % |
450.90/451.18	c |    394739 |     600    38320   110203 |    37475    29344    140 |  0.000 % |
451.40/451.64	c |    394916 |     600    38320   110203 |    37475    29521    140 |  0.000 % |
451.60/451.85	c |    395110 |     600    38320   110203 |    37475    29715    140 |  0.000 % |
452.40/452.60	c |    395322 |     600    38320   110203 |    37475    29927    140 |  0.000 % |
452.80/453.08	c |    395555 |     600    38320   110203 |    37475    30160    140 |  0.000 % |
453.49/453.74	c |    395817 |     600    38320   110203 |    37475    30422    140 |  0.000 % |
454.29/454.56	c |    396099 |     600    38320   110203 |    37475    30704    140 |  0.000 % |
455.29/455.59	c |    396411 |     600    38320   110203 |    37475    31016    140 |  0.000 % |
455.79/456.09	c |    396750 |     600    38320   110203 |    37475    31355    140 |  0.000 % |
457.30/457.50	c |    397122 |     600    38320   110203 |    37475    31727    140 |  0.000 % |
458.50/458.75	c |    397538 |     600    38320   110203 |    37475    32143    140 |  0.000 % |
459.99/460.27	c |    397988 |     600    38320   110203 |    37475    32593    140 |  0.000 % |
461.49/461.78	c |    398483 |     600    38320   110203 |    37475    33088    140 |  0.000 % |
462.59/462.80	c |    399026 |     600    38320   110203 |    37475    33631    140 |  0.000 % |
463.99/464.27	c |    399624 |     600    38320   110203 |    37475    34229    140 |  0.000 % |
465.59/465.89	c |    400280 |     600    38320   110203 |    34607    34885    140 |  0.000 % |
466.29/466.54	c |    401000 |     600    38320   110203 |    34607    23659    136 |  0.000 % |
467.59/467.83	c |    401792 |     600    38320   110203 |    34607    24451    136 |  0.000 % |
468.79/469.00	c |    402663 |     600    38320   110203 |    34607    25322    136 |  0.000 % |
469.49/469.75	c |    403623 |     600    38320   110203 |    34607    26282    136 |  0.000 % |
470.59/470.85	c |    404676 |     600    38320   110203 |    34607    27335    136 |  0.000 % |
472.69/472.91	c |    405835 |     600    38320   110203 |    34607    28494    136 |  0.000 % |
474.89/475.15	c |    407111 |     600    38320   110203 |    34607    29770    136 |  0.000 % |
477.09/477.33	c |    408511 |     600    38320   110203 |    34607    31170    135 |  0.000 % |
479.48/479.72	c |    410051 |     600    38320   110203 |    32660    32710    135 |  0.000 % |
482.18/482.46	c |    411746 |     600    38320   110203 |    32660    24934    132 |  0.000 % |
484.68/484.96	c |    413613 |     600    38320   110203 |    32660    26801    133 |  0.000 % |
488.18/488.45	c |    415665 |     600    38320   110203 |    32660    28853    133 |  0.000 % |
492.97/493.25	c |    417919 |     600    38320   110203 |    32660    31107    134 |  0.000 % |
496.98/497.27	c |    420397 |     600    38320   110203 |    25658    20357    130 |  0.000 % |
500.47/500.73	c |    423122 |     600    38320   110203 |    25658    23082    131 |  0.000 % |
503.47/503.79	c |    426119 |     600    38320   110203 |    25658    21804    131 |  0.000 % |
508.17/508.40	c |    429417 |     600    38320   110203 |    25658    25102    133 |  0.000 % |
511.97/512.30	c |    433043 |     600    38320   110203 |    25686    24521    131 |  0.000 % |
517.66/517.98	c |    437030 |     600    38320   110203 |    25686    24755    131 |  0.000 % |
517.96/518.23	c |    437130 |     600    38320   110203 |    25686    24855    131 |  0.000 % |
518.06/518.38	c |    437240 |     600    38320   110203 |    25686    24965    131 |  0.000 % |
518.26/518.54	c |    437363 |     600    38320   110203 |    25686    25088    131 |  0.000 % |
518.56/518.82	c |    437496 |     600    38320   110203 |    25686    25221    131 |  0.000 % |
518.87/519.13	c |    437642 |     600    38320   110203 |    25686    25367    131 |  0.000 % |
519.16/519.46	c |    437803 |     600    38320   110203 |    25686    25528    131 |  0.000 % |
519.56/519.84	c |    437980 |     600    38320   110203 |    25686    25705    131 |  0.000 % |
519.97/520.25	c |    438173 |     600    38320   110203 |    25686    21963    130 |  0.000 % |
520.36/520.63	c |    438387 |     600    38320   110203 |    25686    22177    130 |  0.000 % |
520.66/520.94	c |    438622 |     600    38320   110203 |    25686    22412    130 |  0.000 % |
521.17/521.40	c |    438878 |     600    38320   110203 |    25686    22668    130 |  0.000 % |
521.66/521.95	c |    439160 |     600    38320   110203 |    25686    22950    130 |  0.000 % |
522.16/522.42	c |    439471 |     600    38320   110203 |    25686    23261    130 |  0.000 % |
522.76/523.03	c |    439810 |     600    38320   110203 |    25686    23600    130 |  0.000 % |
523.46/523.78	c |    440182 |     600    38320   110203 |    23790    23972    130 |  0.000 % |
524.16/524.45	c |    440592 |     600    38320   110203 |    23790    20800    129 |  0.000 % |
524.76/525.01	c |    441044 |     600    38320   110203 |    23790    21252    129 |  0.000 % |
525.46/525.74	c |    441537 |     600    38320   110203 |    23790    21745    130 |  0.000 % |
526.46/526.73	c |    442079 |     600    38320   110203 |    23790    22287    130 |  0.000 % |
527.46/527.73	c |    442675 |     600    38320   110203 |    23790    22883    130 |  0.000 % |
528.46/528.75	c |    443330 |     600    38320   110203 |    23790    23538    130 |  0.000 % |
529.66/529.93	c |    444051 |     600    38320   110203 |    23790    21002    129 |  0.000 % |
530.76/531.07	c |    444845 |     600    38320   110203 |    23790    21796    129 |  0.000 % |
531.86/532.15	c |    445716 |     600    38320   110203 |    23790    22667    129 |  0.000 % |
533.06/533.30	c |    446674 |     600    38320   110203 |    23790    23625    130 |  0.000 % |
534.85/535.15	c |    447730 |     600    38320   110203 |    23790    21541    129 |  0.000 % |
536.36/536.65	c |    448889 |     600    38320   110203 |    23790    22700    129 |  0.000 % |
537.95/538.29	c |    450162 |     600    38320   110203 |    23814    23973    129 |  0.000 % |
539.45/539.75	c |    451562 |     600    38320   110203 |    23814    22445    128 |  0.000 % |
541.25/541.51	c |    453102 |     600    38320   110203 |    23814    23985    129 |  0.000 % |
543.06/543.35	c |    454797 |     600    38320   110203 |    23814    23052    127 |  0.000 % |
545.65/545.95	c |    456666 |     600    38320   110203 |    23814    22131    127 |  0.000 % |
548.45/548.80	c |    458715 |     600    38320   110203 |    23814    21386    126 |  0.000 % |
550.75/551.10	c |    460968 |     600    38320   110203 |    22671    20956    125 |  0.000 % |
553.15/553.47	c |    463447 |     600    38320   110203 |    22671    21157    125 |  0.000 % |
555.75/556.04	c |    466172 |     600    38320   110203 |    22671    21600    125 |  0.000 % |
558.75/559.06	c |    469169 |     600    38320   110203 |    22671    22317    125 |  0.000 % |
561.75/562.01	c |    472465 |     600    38320   110203 | 2147483647    23329    125 |  0.000 % |
565.15/565.42	c |    476091 |     600    38320   110203 | 2147483647    26955    126 |  0.000 % |
570.24/570.54	c |    480078 |     600    38320   110203 |    30864    30942    128 |  0.000 % |
576.24/576.50	c |    484463 |     600    38320   110203 |    30864    28032    127 |  0.000 % |
576.54/576.80	c |    484565 |     600    38320   110203 |    30864    28134    127 |  0.000 % |
576.64/576.98	c |    484676 |     600    38320   110203 |    30864    28245    127 |  0.000 % |
576.94/577.21	c |    484797 |     600    38320   110203 |    30864    28366    127 |  0.000 % |
577.15/577.45	c |    484931 |     600    38320   110203 |    30864    28500    127 |  0.000 % |
577.25/577.59	c |    485080 |     600    38320   110203 |    30864    28649    127 |  0.000 % |
577.64/577.97	c |    485240 |     600    38320   110203 |    30864    28809    127 |  0.000 % |
578.04/578.32	c |    485416 |     600    38320   110203 |    30864    28985    127 |  0.000 % |
578.44/578.72	c |    485613 |     600    38320   110203 |    30864    29182    127 |  0.000 % |
578.64/578.95	c |    485826 |     600    38320   110203 |    30864    29395    127 |  0.000 % |
579.24/579.50	c |    486064 |     600    38320   110203 |    30864    29633    127 |  0.000 % |
579.64/579.92	c |    486321 |     600    38320   110203 |    30864    29890    127 |  0.000 % |
580.15/580.48	c |    486602 |     600    38320   110203 |    30864    30171    127 |  0.000 % |
580.75/581.06	c |    486912 |     600    38320   110203 |    30864    30481    127 |  0.000 % |
581.25/581.55	c |    487252 |     600    38320   110203 |    30864    30821    127 |  0.000 % |
581.95/582.20	c |    487626 |     600    38320   110203 |    30864    26649    126 |  0.000 % |
582.55/582.82	c |    488035 |     600    38320   110203 |    30864    27058    126 |  0.000 % |
583.05/583.36	c |    488484 |     600    38320   110203 |    30864    27507    126 |  0.000 % |
583.65/583.97	c |    488977 |     600    38320   110203 |    30864    28000    126 |  0.000 % |
584.25/584.57	c |    489522 |     600    38320   110203 |    30864    28545    126 |  0.000 % |
585.65/585.98	c |    490120 |     600    38320   110203 |    29024    29143    126 |  0.000 % |
586.45/586.77	c |    490777 |     600    38320   110203 |    29024    25332    125 |  0.000 % |
587.05/587.31	c |    491499 |     600    38320   110203 |    29024    26054    125 |  0.000 % |
587.95/588.27	c |    492293 |     600    38320   110203 |    29024    26848    125 |  0.000 % |
589.15/589.50	c |    493166 |     600    38320   110203 |    29024    27721    125 |  0.000 % |
590.54/590.82	c |    494125 |     600    38320   110203 |    29024    28680    124 |  0.000 % |
591.84/592.17	c |    495179 |     600    38320   110203 |    29024    25376    122 |  0.000 % |
593.44/593.70	c |    496337 |     600    38320   110203 |    29024    26534    122 |  0.000 % |
594.94/595.25	c |    497611 |     600    38320   110203 |    29024    27808    122 |  0.000 % |
596.74/597.02	c |    499013 |     600    38320   110203 |    29024    29210    122 |  0.000 % |
598.54/598.82	c |    500553 |     600    38320   110203 |    26134    23222    118 |  0.000 % |
599.94/600.22	c |    502248 |     600    38320   110203 |    26134    24917    118 |  0.000 % |
603.34/603.67	c |    504111 |     600    38320   110203 |    26134    23014    118 |  0.000 % |
608.54/608.83	c |    506161 |     600    38320   110203 |    26134    25064    117 |  0.000 % |
612.24/612.53	c |    508417 |     600    38320   110203 |    26134    21089    113 |  0.000 % |
616.24/616.55	c |    510897 |     600    38320   110203 |    22673    18143    111 |  0.000 % |
619.13/619.43	c |    513622 |     600    38320   110203 |    22673    20868    112 |  0.000 % |
622.73/623.04	c |    516619 |     600    38320   110203 |    22673    18359    111 |  0.000 % |
623.83/624.11	c |    519915 |     600    38320   110203 |    22673    21655    114 |  0.000 % |
626.13/626.46	c |    523540 |     600    38320   110203 |    21740    21181    114 |  0.000 % |
628.23/628.52	c |    527528 |     600    38320   110203 |    21740    20335    119 |  0.000 % |
631.43/631.73	c |    531913 |     600    38320   110203 | 2147483647    22540    123 |  0.000 % |
636.13/636.42	c |    536739 |     600    38320   110203 | 2147483647    27366    125 |  0.000 % |
636.23/636.55	c |    536840 |     600    38320   110203 | 2147483647    27467    125 |  0.000 % |
636.43/636.70	c |    536952 |     600    38320   110203 | 2147483647    27579    125 |  0.000 % |
636.53/636.88	c |    537073 |     600    38320   110203 | 2147483647    27700    125 |  0.000 % |
636.73/637.09	c |    537208 |     600    38320   110203 | 2147483647    27835    125 |  0.000 % |
636.93/637.28	c |    537354 |     600    38320   110203 | 2147483647    27981    125 |  0.000 % |
637.13/637.43	c |    537515 |     600    38320   110203 | 2147483647    28142    125 |  0.000 % |
637.33/637.67	c |    537692 |     600    38320   110203 | 2147483647    28319    125 |  0.000 % |
637.53/637.90	c |    537889 |     600    38320   110203 | 2147483647    28516    125 |  0.000 % |
637.83/638.13	c |    538101 |     600    38320   110203 | 2147483647    28728    125 |  0.000 % |
638.13/638.44	c |    538338 |     600    38320   110203 | 2147483647    28965    125 |  0.000 % |
638.42/638.74	c |    538594 |     600    38320   110203 | 2147483647    29221    125 |  0.000 % |
638.73/639.03	c |    538875 |     600    38320   110203 | 2147483647    29502    125 |  0.000 % |
639.02/639.35	c |    539184 |     600    38320   110203 | 2147483647    29811    125 |  0.000 % |
639.42/639.79	c |    539524 |     600    38320   110203 | 2147483647    30151    125 |  0.000 % |
640.02/640.37	c |    539896 |     600    38320   110203 | 2147483647    30523    126 |  0.000 % |
640.62/640.99	c |    540305 |     600    38320   110203 |    30628    30932    126 |  0.000 % |
641.22/641.52	c |    540757 |     600    38320   110203 |    30628    26733    127 |  0.000 % |
641.72/642.08	c |    541251 |     600    38320   110203 |    30628    27227    127 |  0.000 % |
642.42/642.77	c |    541793 |     600    38320   110203 |    30628    27769    127 |  0.000 % |
643.02/643.40	c |    542390 |     600    38320   110203 |    30628    28366    127 |  0.000 % |
643.82/644.16	c |    543046 |     600    38320   110203 |    30628    29022    127 |  0.000 % |
645.02/645.34	c |    543770 |     600    38320   110203 |    30628    29746    127 |  0.000 % |
646.32/646.63	c |    544562 |     600    38320   110203 |    30628    30538    128 |  0.000 % |
648.02/648.34	c |    545436 |     600    38320   110203 |    30628    25668    126 |  0.000 % |
648.82/649.18	c |    546394 |     600    38320   110203 |    30628    26626    126 |  0.000 % |
650.42/650.71	c |    547448 |     600    38320   110203 |    30628    27680    126 |  0.000 % |
651.12/651.48	c |    548606 |     600    38320   110203 |    30628    28838    126 |  0.000 % |
652.22/652.56	c |    549881 |     600    38320   110203 |    30628    30113    125 |  0.000 % |
653.92/654.21	c |    551283 |     600    38320   110203 |    30234    25768    122 |  0.000 % |
655.22/655.57	c |    552826 |     600    38320   110203 |    30234    27311    121 |  0.000 % |
656.22/656.56	c |    554523 |     600    38320   110203 |    30234    29008    122 |  0.000 % |
659.81/660.15	c |    556386 |     600    38320   110203 |    30234    25149    121 |  0.000 % |
662.71/663.07	c |    558435 |     600    38320   110203 |    30234    27198    122 |  0.000 % |
665.41/665.71	c |    560690 |     600    38320   110203 |    28763    24067    120 |  0.000 % |
667.32/667.67	c |    563168 |     600    38320   110203 |    28763    26545    122 |  0.000 % |
669.81/670.14	c |    565893 |     600    38320   110203 |    28763    25026    122 |  0.000 % |
673.51/673.85	c |    568891 |     600    38320   110203 |    28763    28024    123 |  0.000 % |
677.11/677.48	c |    572187 |     600    38320   110203 |    29133    26282    123 |  0.000 % |
681.41/681.76	c |    575812 |     600    38320   110203 |    29133    23730    120 |  0.000 % |
686.71/687.03	c |    579802 |     600    38320   110203 |    29133    27720    121 |  0.000 % |
691.30/691.69	c |    584187 |     600    38320   110203 |    27920    26199    125 |  0.000 % |
696.30/696.60	c |    589010 |     600    38320   110203 |    27920    26638    123 |  0.000 % |
703.90/704.26	c |    594315 |     600    38320   110203 |    27630    27351    126 |  0.000 % |
704.10/704.48	c |    594415 |     600    38320   110203 |    27630    27451    126 |  0.000 % |
704.40/704.77	c |    594527 |     600    38320   110203 |    27630    27563    126 |  0.000 % |
704.70/705.07	c |    594648 |     600    38320   110203 |    27630    27684    127 |  0.000 % |
704.90/705.26	c |    594784 |     600    38320   110203 |    27630    22939    129 |  0.000 % |
705.10/705.46	c |    594930 |     600    38320   110203 |    27630    23085    129 |  0.000 % |
705.40/705.74	c |    595093 |     600    38320   110203 |    27630    23248    130 |  0.000 % |
705.70/706.07	c |    595269 |     600    38320   110203 |    27630    23424    130 |  0.000 % |
706.10/706.42	c |    595466 |     600    38320   110203 |    27630    23621    130 |  0.000 % |
706.50/706.87	c |    595678 |     600    38320   110203 |    27630    23833    130 |  0.000 % |
707.00/707.36	c |    595911 |     600    38320   110203 |    27630    24066    130 |  0.000 % |
707.40/707.79	c |    596167 |     600    38320   110203 |    27630    24322    130 |  0.000 % |
707.90/708.22	c |    596448 |     600    38320   110203 |    27630    24603    130 |  0.000 % |
708.40/708.77	c |    596757 |     600    38320   110203 |    27630    24912    130 |  0.000 % |
708.80/709.15	c |    597096 |     600    38320   110203 |    27630    25251    130 |  0.000 % |
709.59/709.92	c |    597470 |     600    38320   110203 |    27630    25625    130 |  0.000 % |
710.39/710.71	c |    597879 |     600    38320   110203 |    27630    26034    131 |  0.000 % |
710.99/711.37	c |    598328 |     600    38320   110203 |    27630    26483    131 |  0.000 % |
712.19/712.50	c |    598822 |     600    38320   110203 |    27630    26977    131 |  0.000 % |
713.50/713.86	c |    599366 |     600    38320   110203 |    27630    27521    131 |  0.000 % |
714.89/715.28	c |    599962 |     600    38320   110203 |    27630    23073    131 |  0.000 % |
715.59/715.91	c |    600617 |     600    38320   110203 |    23113    19497    128 |  0.000 % |
716.39/716.75	c |    601338 |     600    38320   110203 |    23113    20218    128 |  0.000 % |
717.49/717.84	c |    602130 |     600    38320   110203 |    23113    21010    129 |  0.000 % |
718.59/718.99	c |    603003 |     600    38320   110203 |    23113    21883    129 |  0.000 % |
719.69/720.09	c |    603963 |     600    38320   110203 |    23113    22843    130 |  0.000 % |
720.99/721.31	c |    605016 |     600    38320   110203 |    23113    20849    129 |  0.000 % |
722.59/722.98	c |    606175 |     600    38320   110203 |    23113    22008    130 |  0.000 % |
724.49/724.82	c |    607450 |     600    38320   110203 |    23113    23283    130 |  0.000 % |
726.19/726.52	c |    608850 |     600    38320   110203 |    23113    21679    127 |  0.000 % |
727.59/727.99	c |    610392 |     600    38320   110203 |    22829    20718    124 |  0.000 % |
729.69/730.03	c |    612086 |     600    38320   110203 |    22829    22412    125 |  0.000 % |
731.99/732.38	c |    613950 |     600    38320   110203 |    22829    21883    123 |  0.000 % |
734.29/734.64	c |    616001 |     600    38320   110203 |    22829    21632    121 |  0.000 % |
735.79/736.16	c |    618257 |     600    38320   110203 |    22829    21587    122 |  0.000 % |
738.49/738.82	c |    620736 |     600    38320   110203 | 2147483647    21755    120 |  0.000 % |
744.18/744.50	c |    623461 |     600    38320   110203 | 2147483647    24480    123 |  0.000 % |
750.58/750.98	c |    626458 |     600    38320   110203 | 2147483647    27477    125 |  0.000 % |
757.38/757.79	c |    629756 |     600    38320   110203 | 2147483647    30775    126 |  0.000 % |
761.78/762.17	c |    633383 |     600    38320   110203 |    31022    26750    127 |  0.000 % |
767.57/767.91	c |    637374 |     600    38320   110203 |    31022    30741    129 |  0.000 % |
773.17/773.52	c |    641759 |     600    38320   110203 |    26825    23048    129 |  0.000 % |
775.27/775.66	c |    646585 |     600    38320   110203 |    26825    24388    128 |  0.000 % |
780.67/781.02	c |    651890 |     600    38320   110203 |    23946    22400    128 |  0.000 % |
786.66/787.04	c |    657726 |     600    38320   110203 |    23946    22450    130 |  0.000 % |
786.76/787.16	c |    657826 |     600    38320   110203 |    23946    22550    130 |  0.000 % |
786.86/787.29	c |    657938 |     600    38320   110203 |    23946    22662    130 |  0.000 % |
787.06/787.45	c |    658061 |     600    38320   110203 |    23946    22785    130 |  0.000 % |
787.36/787.73	c |    658196 |     600    38320   110203 |    23946    22920    130 |  0.000 % |
787.66/788.02	c |    658342 |     600    38320   110203 |    23946    23066    130 |  0.000 % |
787.76/788.17	c |    658503 |     600    38320   110203 |    23946    23227    130 |  0.000 % |
788.27/788.61	c |    658683 |     600    38320   110203 |    23946    23407    130 |  0.000 % |
788.46/788.87	c |    658877 |     600    38320   110203 |    23946    23601    130 |  0.000 % |
788.96/789.30	c |    659092 |     600    38320   110203 |    23946    23816    130 |  0.000 % |
789.26/789.68	c |    659326 |     600    38320   110203 |    23946    24050    130 |  0.000 % |
789.76/790.12	c |    659584 |     600    38320   110203 |    23946    21337    131 |  0.000 % |
790.06/790.42	c |    659866 |     600    38320   110203 |    23946    21619    131 |  0.000 % |
790.57/790.92	c |    660181 |     600    38320   110203 |    21753    19304    130 |  0.000 % |
790.96/791.33	c |    660520 |     600    38320   110203 |    21753    19643    130 |  0.000 % |
791.36/791.79	c |    660892 |     600    38320   110203 |    21753    20015    131 |  0.000 % |
791.76/792.17	c |    661303 |     600    38320   110203 |    21753    20426    131 |  0.000 % |
792.46/792.81	c |    661753 |     600    38320   110203 |    21753    20876    131 |  0.000 % |
792.96/793.39	c |    662247 |     600    38320   110203 |    21753    21370    131 |  0.000 % |
793.77/794.14	c |    662791 |     600    38320   110203 |    21753    21914    132 |  0.000 % |
794.46/794.87	c |    663387 |     600    38320   110203 |    21753    20068    130 |  0.000 % |
795.26/795.62	c |    664042 |     600    38320   110203 |    21753    20723    130 |  0.000 % |
796.07/796.42	c |    664763 |     600    38320   110203 |    21753    21444    130 |  0.000 % |
796.96/797.30	c |    665555 |     600    38320   110203 |    21753    19889    129 |  0.000 % |
797.76/798.12	c |    666427 |     600    38320   110203 |    21753    20761    130 |  0.000 % |
799.06/799.42	c |    667387 |     600    38320   110203 |    21753    21721    130 |  0.000 % |
800.26/800.62	c |    668440 |     600    38320   110203 |    21753    20411    128 |  0.000 % |
801.66/802.06	c |    669600 |     600    38320   110203 |    21753    21571    129 |  0.000 % |
803.66/804.08	c |    670876 |     600    38320   110203 |    21972    20289    128 |  0.000 % |
805.66/806.07	c |    672276 |     600    38320   110203 |    21972    21689    129 |  0.000 % |
808.46/808.82	c |    673816 |     600    38320   110203 |    21972    20140    129 |  0.000 % |
810.26/810.64	c |    675513 |     600    38320   110203 |    21972    21837    130 |  0.000 % |
811.86/812.22	c |    677377 |     600    38320   110203 |    21972    20709    130 |  0.000 % |
813.96/814.37	c |    679430 |     600    38320   110203 |    21972    19774    129 |  0.000 % |
816.05/816.46	c |    681684 |     600    38320   110203 |    20345    19587    129 |  0.000 % |
817.85/818.29	c |    684164 |     600    38320   110203 |    20345    20016    131 |  0.000 % |
821.05/821.46	c |    686889 |     600    38320   110203 |    20345    18645    129 |  0.000 % |
824.75/825.12	c |    689888 |     600    38320   110203 |    20345    19592    128 |  0.000 % |
829.45/829.84	c |    693186 |     600    38320   110203 | 2147483647    22890    128 |  0.000 % |
833.85/834.23	c |    696811 |     600    38320   110203 | 2147483647    26515    129 |  0.000 % |
842.06/842.49	c |    700798 |     600    38320   110203 |    29707    25337    126 |  0.000 % |
850.35/850.76	c |    705183 |     600    38320   110203 |    29707    29722    126 |  0.000 % |
857.05/857.42	c |    710007 |     600    38320   110203 |    28326    28333    125 |  0.000 % |
861.75/862.14	c |    715312 |     600    38320   110203 |    28326    27899    126 |  0.000 % |
867.35/867.70	c |    721147 |     600    38320   110203 |    28304    25576    127 |  0.000 % |
871.55/871.93	c |    727566 |     600    38320   110203 |    28304    28643    132 |  0.000 % |
871.75/872.11	c |    727666 |     600    38320   110203 |    28304    25879    133 |  0.000 % |
871.85/872.22	c |    727777 |     600    38320   110203 |    28304    25990    133 |  0.000 % |
871.95/872.38	c |    727898 |     600    38320   110203 |    28304    26111    133 |  0.000 % |
872.25/872.60	c |    728034 |     600    38320   110203 |    28304    26247    133 |  0.000 % |
872.55/872.92	c |    728180 |     600    38320   110203 |    28304    26393    133 |  0.000 % |
872.85/873.26	c |    728341 |     600    38320   110203 |    28304    26554    134 |  0.000 % |
873.14/873.58	c |    728517 |     600    38320   110203 |    28304    26730    134 |  0.000 % |
873.54/873.93	c |    728710 |     600    38320   110203 |    28304    26923    134 |  0.000 % |
873.84/874.29	c |    728922 |     600    38320   110203 |    28304    27135    134 |  0.000 % |
874.24/874.67	c |    729156 |     600    38320   110203 |    28304    27369    134 |  0.000 % |
874.64/875.06	c |    729413 |     600    38320   110203 |    28304    27626    134 |  0.000 % |
875.04/875.43	c |    729694 |     600    38320   110203 |    28304    27907    134 |  0.000 % |
875.64/876.02	c |    730005 |     600    38320   110203 |    28213    28218    134 |  0.000 % |
876.25/876.64	c |    730347 |     600    38320   110203 |    28213    24878    133 |  0.000 % |
876.74/877.13	c |    730719 |     600    38320   110203 |    28213    25250    133 |  0.000 % |
877.24/877.68	c |    731128 |     600    38320   110203 |    28213    25659    134 |  0.000 % |
877.84/878.25	c |    731577 |     600    38320   110203 |    28213    26108    134 |  0.000 % |
878.94/879.34	c |    732070 |     600    38320   110203 |    28213    26601    134 |  0.000 % |
880.24/880.62	c |    732614 |     600    38320   110203 |    28213    27145    134 |  0.000 % |
881.34/881.72	c |    733210 |     600    38320   110203 |    28213    27741    133 |  0.000 % |
882.04/882.45	c |    733865 |     600    38320   110203 |    28213    28396    134 |  0.000 % |
882.94/883.35	c |    734585 |     600    38320   110203 |    28213    24020    132 |  0.000 % |
884.14/884.57	c |    735377 |     600    38320   110203 |    28213    24812    132 |  0.000 % |
884.94/885.31	c |    736248 |     600    38320   110203 |    28213    25683    132 |  0.000 % |
885.94/886.37	c |    737206 |     600    38320   110203 |    28213    26641    133 |  0.000 % |
887.54/887.91	c |    738261 |     600    38320   110203 |    28213    27696    133 |  0.000 % |
889.34/889.73	c |    739421 |     600    38320   110203 |    28213    23823    133 |  0.000 % |
890.74/891.14	c |    740694 |     600    38320   110203 |    24403    20734    129 |  0.000 % |
891.94/892.37	c |    742098 |     600    38320   110203 |    24403    22138    131 |  0.000 % |
893.94/894.38	c |    743638 |     600    38320   110203 |    24403    23678    132 |  0.000 % |
896.63/897.08	c |    745332 |     600    38320   110203 |    24403    21174    131 |  0.000 % |
899.83/900.28	c |    747196 |     600    38320   110203 |    24403    23038    132 |  0.000 % |
902.23/902.68	c |    749245 |     600    38320   110203 |    24403    20802    132 |  0.000 % |
904.53/904.99	c |    751500 |     600    38320   110203 |    21557    19405    132 |  0.000 % |
907.63/908.01	c |    753980 |     600    38320   110203 |    21557    21885    132 |  0.000 % |
911.53/911.92	c |    756705 |     600    38320   110203 |    21557    21828    132 |  0.000 % |
914.23/914.67	c |    759702 |     600    38320   110203 |    21557    19927    127 |  0.000 % |
917.42/917.83	c |    762998 |     600    38320   110203 |    20225    19126    125 |  0.000 % |
920.23/920.62	c |    766624 |     600    38320   110203 |    20225    18646    126 |  0.000 % |
923.92/924.32	c |    770613 |     600    38320   110203 | 2147483647    20587    126 |  0.000 % |
929.62/930.09	c |    775000 |     600    38320   110203 | 2147483647    24974    129 |  0.000 % |
938.92/939.39	c |    779823 |     600    38320   110203 | 2147483647    29797    131 |  0.000 % |
946.31/946.74	c |    785128 |     600    38320   110203 |    29975    28618    131 |  0.000 % |
953.61/954.05	c |    790963 |     600    38320   110203 |    26167    21488    121 |  0.000 % |
958.61/959.09	c |    797384 |     600    38320   110203 |    26167    23386    116 |  0.000 % |
964.51/964.94	c |    804443 |     600    38320   110203 |    26006    24347    117 |  0.000 % |
964.61/965.09	c |    804545 |     600    38320   110203 |    26006    24449    117 |  0.000 % |
964.81/965.27	c |    804656 |     600    38320   110203 |    26006    24560    117 |  0.000 % |
964.91/965.39	c |    804777 |     600    38320   110203 |    26006    24681    117 |  0.000 % |
965.11/965.53	c |    804911 |     600    38320   110203 |    26006    24815    117 |  0.000 % |
965.31/965.70	c |    805057 |     600    38320   110203 |    26006    24961    117 |  0.000 % |
965.51/965.95	c |    805218 |     600    38320   110203 |    26006    25122    117 |  0.000 % |
965.81/966.27	c |    805394 |     600    38320   110203 |    26006    25298    117 |  0.000 % |
966.11/966.53	c |    805587 |     600    38320   110203 |    26006    25491    117 |  0.000 % |
966.41/966.88	c |    805799 |     600    38320   110203 |    26006    25703    118 |  0.000 % |
966.81/967.23	c |    806036 |     600    38320   110203 |    26006    25940    118 |  0.000 % |
967.11/967.53	c |    806294 |     600    38320   110203 |    26006    26198    118 |  0.000 % |
967.41/967.85	c |    806575 |     600    38320   110203 |    26006    23820    117 |  0.000 % |
967.81/968.24	c |    806884 |     600    38320   110203 |    26006    24129    118 |  0.000 % |
968.21/968.61	c |    807225 |     600    38320   110203 |    26006    24470    118 |  0.000 % |
968.51/968.94	c |    807598 |     600    38320   110203 |    26006    24843    118 |  0.000 % |
969.01/969.43	c |    808016 |     600    38320   110203 |    26006    25261    119 |  0.000 % |
969.51/969.94	c |    808466 |     600    38320   110203 |    26006    25711    119 |  0.000 % |
970.21/970.61	c |    808960 |     600    38320   110203 |    26006    26205    120 |  0.000 % |
970.91/971.33	c |    809502 |     600    38320   110203 |    26006    24028    121 |  0.000 % |
971.51/971.98	c |    810098 |     600    38320   110203 |    24526    24624    121 |  0.000 % |
972.01/972.46	c |    810755 |     600    38320   110203 |    24526    22757    123 |  0.000 % |
972.71/973.12	c |    811477 |     600    38320   110203 |    24526    23479    123 |  0.000 % |
973.90/974.38	c |    812276 |     600    38320   110203 |    24526    24278    124 |  0.000 % |
975.40/975.81	c |    813147 |     600    38320   110203 |    24526    22145    126 |  0.000 % |
976.70/977.13	c |    814105 |     600    38320   110203 |    24526    23103    127 |  0.000 % |
978.61/979.03	c |    815160 |     600    38320   110203 |    24526    24158    128 |  0.000 % |
980.60/981.04	c |    816318 |     600    38320   110203 |    24526    21769    130 |  0.000 % |
982.20/982.66	c |    817592 |     600    38320   110203 |    24526    23043    130 |  0.000 % |
984.00/984.48	c |    818992 |     600    38320   110203 |    24526    24443    131 |  0.000 % |
985.60/986.08	c |    820533 |     600    38320   110203 |    21851    19198    131 |  0.000 % |
988.60/989.09	c |    822227 |     600    38320   110203 |    21851    20892    132 |  0.000 % |
992.10/992.52	c |    824091 |     600    38320   110203 |    21851    19307    132 |  0.000 % |
994.59/995.04	c |    826141 |     600    38320   110203 |    21851    21357    132 |  0.000 % |
995.79/996.24	c |    828394 |     600    38320   110203 |    21851    20713    130 |  0.000 % |
997.49/997.95	c |    830875 |     600    38320   110203 |    19901    18745    124 |  0.000 % |
998.90/999.38	c |    833601 |     600    38320   110203 |    19901    19451    125 |  0.000 % |
1001.89/1002.30	c |    836598 |     600    38320   110203 |    19901    18429    125 |  0.000 % |
1005.09/1005.56	c |    839894 |     600    38320   110203 |    19901    19717    126 |  0.000 % |
1009.19/1009.61	c |    843522 |     600    38320   110203 | 2147483647    23345    128 |  0.000 % |
1015.49/1015.97	c |    847509 |     600    38320   110203 | 2147483647    27332    131 |  0.000 % |
1021.69/1022.19	c |    851894 |     600    38320   110203 |    29824    27424    134 |  0.000 % |
1029.39/1029.84	c |    856717 |     600    38320   110203 |    29824    26568    135 |  0.000 % |
1035.09/1035.53	c |    862024 |     600    38320   110203 |    29854    26137    134 |  0.000 % |
1050.19/1050.65	c |    867859 |     600    38320   110203 |    29854    24127    132 |  0.000 % |
1062.38/1062.85	c |    874277 |     600    38320   110203 |    26268    23342    132 |  0.000 % |
1072.57/1073.04	c |    881336 |     600    38320   110203 |    22560    19060    131 |  0.000 % |
1082.67/1083.12	c |    889104 |     600    38320   110203 |    22560    19901    128 |  0.000 % |
1082.77/1083.25	c |    889204 |     600    38320   110203 |    22560    20001    128 |  0.000 % |
1083.08/1083.51	c |    889317 |     600    38320   110203 |    22560    20114    128 |  0.000 % |
1083.17/1083.67	c |    889438 |     600    38320   110203 |    22560    20235    128 |  0.000 % |
1083.37/1083.87	c |    889574 |     600    38320   110203 |    22560    20371    128 |  0.000 % |
1083.57/1084.08	c |    889721 |     600    38320   110203 |    22560    20518    128 |  0.000 % |
1083.87/1084.39	c |    889883 |     600    38320   110203 |    22560    20680    128 |  0.000 % |
1084.18/1084.66	c |    890060 |     600    38320   110203 |    20799    20857    129 |  0.000 % |
1084.47/1084.96	c |    890255 |     600    38320   110203 |    20799    17842    127 |  0.000 % |
1084.77/1085.23	c |    890467 |     600    38320   110203 |    20799    18054    127 |  0.000 % |
1085.07/1085.53	c |    890700 |     600    38320   110203 |    20799    18287    127 |  0.000 % |
1085.17/1085.67	c |    890957 |     600    38320   110203 |    20799    18544    127 |  0.000 % |
1085.47/1085.99	c |    891242 |     600    38320   110203 |    20799    18829    127 |  0.000 % |
1085.97/1086.44	c |    891551 |     600    38320   110203 |    20799    19138    127 |  0.000 % |
1086.67/1087.16	c |    891891 |     600    38320   110203 |    20799    19478    128 |  0.000 % |
1087.07/1087.51	c |    892263 |     600    38320   110203 |    20799    19850    128 |  0.000 % |
1087.57/1088.08	c |    892673 |     600    38320   110203 |    20799    20260    128 |  0.000 % |
1088.47/1088.94	c |    893125 |     600    38320   110203 |    20799    20712    129 |  0.000 % |
1088.97/1089.42	c |    893618 |     600    38320   110203 |    20799    18559    128 |  0.000 % |
1089.97/1090.44	c |    894164 |     600    38320   110203 |    20799    19105    129 |  0.000 % |
1091.07/1091.52	c |    894762 |     600    38320   110203 |    20799    19703    129 |  0.000 % |
1092.27/1092.78	c |    895417 |     600    38320   110203 |    20799    20358    130 |  0.000 % |
1093.87/1094.35	c |    896137 |     600    38320   110203 |    20799    21078    130 |  0.000 % |
1095.17/1095.69	c |    896931 |     600    38320   110203 |    20799    19109    130 |  0.000 % |
1096.87/1097.31	c |    897803 |     600    38320   110203 |    20799    19981    130 |  0.000 % |
1098.57/1099.02	c |    898761 |     600    38320   110203 |    20799    20939    130 |  0.000 % |
1100.27/1100.77	c |    899819 |     600    38320   110203 |    20799    19147    129 |  0.000 % |
1101.87/1102.38	c |    900980 |     600    38320   110203 |    19329    17670    128 |  0.000 % |
1103.97/1104.48	c |    902253 |     600    38320   110203 |    19329    18943    129 |  0.000 % |
1106.26/1106.71	c |    903654 |     600    38320   110203 |    19329    18052    129 |  0.000 % |
1108.76/1109.24	c |    905199 |     600    38320   110203 |    19329    19597    130 |  0.000 % |
1111.57/1112.06	c |    906893 |     600    38320   110203 |    19329    18833    131 |  0.000 % |
1114.46/1114.90	c |    908757 |     600    38320   110203 |    19329    18335    130 |  0.000 % |
1117.26/1117.76	c |    910806 |     600    38320   110203 |    19580    18076    128 |  0.000 % |
1120.36/1120.81	c |    913059 |     600    38320   110203 |    19580    17953    129 |  0.000 % |
1124.46/1124.99	c |    915537 |     600    38320   110203 |    19580    17958    130 |  0.000 % |
1128.26/1128.78	c |    918262 |     600    38320   110203 |    19580    18324    129 |  0.000 % |
1131.85/1132.36	c |    921260 |     600    38320   110203 |    17714    17134    129 |  0.000 % |
1135.55/1136.06	c |    924558 |     600    38320   110203 |    17714    16850    129 |  0.000 % |
1137.85/1138.32	c |    928183 |     600    38320   110203 |    17714    16868    126 |  0.000 % |
1143.05/1143.57	c |    932170 |     600    38320   110203 | 2147483647    19057    128 |  0.000 % |
1147.95/1148.44	c |    936555 |     600    38320   110203 | 2147483647    23442    128 |  0.000 % |
1154.95/1155.48	c |    941380 |     600    38320   110203 |    26887    25160    128 |  0.000 % |
1164.25/1164.76	c |    946688 |     600    38320   110203 |    26887    25651    129 |  0.000 % |
1172.05/1172.57	c |    952523 |     600    38320   110203 |    24134    22480    128 |  0.000 % |
1179.64/1180.14	c |    958942 |     600    38320   110203 |    24134    21942    125 |  0.000 % |
1184.04/1184.56	c |    966001 |     600    38320   110203 |    23000    21680    120 |  0.000 % |
1193.94/1194.43	c |    973765 |     600    38320   110203 | 2147483647    24811    123 |  0.000 % |
1200.04/1200.51	HOME/SatELiteGTI: line 36:  9505 Terminated              $MS $TMP.cnf $TMP.result

Verifier Data

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

Watcher Data

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9499
/proc/meminfo: memFree=1801400/2055920 swapFree=4179992/4192956
[pid=9499] ppid=9497 vsize=5356 CPUtime=0
/proc/9499/stat : 9499 (SatELiteGTI) S 9497 9499 9211 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310966243 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9499/statm: 1339 237 197 169 0 50 0

[startup+0.0569791 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9499
/proc/meminfo: memFree=1801400/2055920 swapFree=4179992/4192956
[pid=9499] ppid=9497 vsize=5356 CPUtime=0
/proc/9499/stat : 9499 (SatELiteGTI) S 9497 9499 9211 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310966243 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9499/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101983 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9499
/proc/meminfo: memFree=1801400/2055920 swapFree=4179992/4192956
[pid=9499] ppid=9497 vsize=5356 CPUtime=0
/proc/9499/stat : 9499 (SatELiteGTI) S 9497 9499 9211 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310966243 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9499/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.30201 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9499
/proc/meminfo: memFree=1801400/2055920 swapFree=4179992/4192956
[pid=9499] ppid=9497 vsize=5356 CPUtime=0.12
/proc/9499/stat : 9499 (SatELiteGTI) S 9497 9499 9211 0 -1 4194304 336 1118 0 0 0 0 12 0 16 0 1 0 310966243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9499/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 5356

[startup+0.70105 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9499
/proc/meminfo: memFree=1801400/2055920 swapFree=4179992/4192956
[pid=9499] ppid=9497 vsize=5356 CPUtime=0.12
/proc/9499/stat : 9499 (SatELiteGTI) S 9497 9499 9211 0 -1 4194304 336 1118 0 0 0 0 12 0 16 0 1 0 310966243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9499/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 5356

[startup+1.50113 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 9505
/proc/meminfo: memFree=1794600/2055920 swapFree=4179992/4192956
[pid=9499] ppid=9497 vsize=5356 CPUtime=0.12
/proc/9499/stat : 9499 (SatELiteGTI) S 9497 9499 9211 0 -1 4194304 336 1118 0 0 0 0 12 0 16 0 1 0 310966243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9499/statm: 1339 239 197 169 0 50 0
[pid=9505] ppid=9499 vsize=8312 CPUtime=1.34
/proc/9505/stat : 9505 (minisat_static) R 9499 9499 9211 0 -1 4194304 1859 0 0 0 134 0 0 0 25 0 1 0 310966257 8511488 1845 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/9505/statm: 2078 1845 77 171 0 1905 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 13668

[startup+3.10129 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 9505
/proc/meminfo: memFree=1792168/2055920 swapFree=4179992/4192956
[pid=9499] ppid=9497 vsize=5356 CPUtime=0.12
/proc/9499/stat : 9499 (SatELiteGTI) S 9497 9499 9211 0 -1 4194304 336 1118 0 0 0 0 12 0 16 0 1 0 310966243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9499/statm: 1339 239 197 169 0 50 0
[pid=9505] ppid=9499 vsize=11284 CPUtime=2.95
/proc/9505/stat : 9505 (minisat_static) R 9499 9499 9211 0 -1 4194304 2606 0 0 0 294 1 0 0 25 0 1 0 310966257 11554816 2592 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/9505/statm: 2821 2592 77 171 0 2648 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 16640

[startup+6.30261 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 9505
/proc/meminfo: memFree=1787176/2055920 swapFree=4179992/4192956
[pid=9499] ppid=9497 vsize=5356 CPUtime=0.12
/proc/9499/stat : 9499 (SatELiteGTI) S 9497 9499 9211 0 -1 4194304 336 1118 0 0 0 0 12 0 16 0 1 0 310966243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9499/statm: 1339 239 197 169 0 50 0
[pid=9505] ppid=9499 vsize=15188 CPUtime=6.15
/proc/9505/stat : 9505 (minisat_static) R 9499 9499 9211 0 -1 4194304 3581 0 0 0 613 2 0 0 25 0 1 0 310966257 15552512 3567 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/9505/statm: 3797 3567 77 171 0 3624 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 20544

[startup+12.7013 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 9505
/proc/meminfo: memFree=1781992/2055920 swapFree=4179992/4192956
[pid=9499] ppid=9497 vsize=5356 CPUtime=0.12
/proc/9499/stat : 9499 (SatELiteGTI) S 9497 9499 9211 0 -1 4194304 336 1118 0 0 0 0 12 0 16 0 1 0 310966243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9499/statm: 1339 239 197 169 0 50 0
[pid=9505] ppid=9499 vsize=19732 CPUtime=12.54
/proc/9505/stat : 9505 (minisat_static) R 9499 9499 9211 0 -1 4194304 4721 0 0 0 1251 3 0 0 25 0 1 0 310966257 20205568 4707 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9505/statm: 4933 4707 77 171 0 4760 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 25088

[startup+25.5016 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 9505
/proc/meminfo: memFree=1777384/2055920 swapFree=4179992/4192956
[pid=9499] ppid=9497 vsize=5356 CPUtime=0.12
/proc/9499/stat : 9499 (SatELiteGTI) S 9497 9499 9211 0 -1 4194304 336 1118 0 0 0 0 12 0 16 0 1 0 310966243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9499/statm: 1339 239 197 169 0 50 0
[pid=9505] ppid=9499 vsize=24000 CPUtime=25.34
/proc/9505/stat : 9505 (minisat_static) R 9499 9499 9211 0 -1 4194304 5780 0 0 0 2529 5 0 0 25 0 1 0 310966257 24576000 5766 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/9505/statm: 6000 5766 77 171 0 5827 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 29356

[startup+51.1012 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 9505
/proc/meminfo: memFree=1777000/2055920 swapFree=4179992/4192956
[pid=9499] ppid=9497 vsize=5356 CPUtime=0.12
/proc/9499/stat : 9499 (SatELiteGTI) S 9497 9499 9211 0 -1 4194304 336 1118 0 0 0 0 12 0 16 0 1 0 310966243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9499/statm: 1339 239 197 169 0 50 0
[pid=9505] ppid=9499 vsize=24404 CPUtime=50.93
/proc/9505/stat : 9505 (minisat_static) R 9499 9499 9211 0 -1 4194304 5879 0 0 0 5088 5 0 0 25 0 1 0 310966257 24989696 5865 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9505/statm: 6101 5865 77 171 0 5928 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 29760

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 9505
/proc/meminfo: memFree=1776488/2055920 swapFree=4179992/4192956
[pid=9499] ppid=9497 vsize=5356 CPUtime=0.12
/proc/9499/stat : 9499 (SatELiteGTI) S 9497 9499 9211 0 -1 4194304 336 1118 0 0 0 0 12 0 16 0 1 0 310966243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9499/statm: 1339 239 197 169 0 50 0
[pid=9505] ppid=9499 vsize=24848 CPUtime=102.11
/proc/9505/stat : 9505 (minisat_static) R 9499 9499 9211 0 -1 4194304 5979 0 0 0 10206 5 0 0 25 0 1 0 310966257 25444352 5965 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/9505/statm: 6212 5965 77 171 0 6039 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 30204

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9505
/proc/meminfo: memFree=1776168/2055920 swapFree=4179992/4192956
[pid=9499] ppid=9497 vsize=5356 CPUtime=0.12
/proc/9499/stat : 9499 (SatELiteGTI) S 9497 9499 9211 0 -1 4194304 336 1118 0 0 0 0 12 0 16 0 1 0 310966243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9499/statm: 1339 239 197 169 0 50 0
[pid=9505] ppid=9499 vsize=25148 CPUtime=162.09
/proc/9505/stat : 9505 (minisat_static) R 9499 9499 9211 0 -1 4194304 6058 0 0 0 16203 6 0 0 25 0 1 0 310966257 25751552 6044 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/9505/statm: 6287 6044 77 171 0 6114 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 30504

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9505
/proc/meminfo: memFree=1775528/2055920 swapFree=4179992/4192956
[pid=9499] ppid=9497 vsize=5356 CPUtime=0.12
/proc/9499/stat : 9499 (SatELiteGTI) S 9497 9499 9211 0 -1 4194304 336 1118 0 0 0 0 12 0 16 0 1 0 310966243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9499/statm: 1339 239 197 169 0 50 0
[pid=9505] ppid=9499 vsize=25780 CPUtime=222.06
/proc/9505/stat : 9505 (minisat_static) R 9499 9499 9211 0 -1 4194304 6192 0 0 0 22200 6 0 0 25 0 1 0 310966257 26398720 6178 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/9505/statm: 6445 6178 77 171 0 6272 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 31136

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9505
/proc/meminfo: memFree=1774632/2055920 swapFree=4179992/4192956
[pid=9499] ppid=9497 vsize=5356 CPUtime=0.12
/proc/9499/stat : 9499 (SatELiteGTI) S 9497 9499 9211 0 -1 4194304 336 1118 0 0 0 0 12 0 16 0 1 0 310966243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9499/statm: 1339 239 197 169 0 50 0
[pid=9505] ppid=9499 vsize=26976 CPUtime=282.03
/proc/9505/stat : 9505 (minisat_static) R 9499 9499 9211 0 -1 4194304 6441 0 0 0 28197 6 0 0 25 0 1 0 310966257 27623424 6427 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/9505/statm: 6744 6427 77 171 0 6571 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 32332

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9505
/proc/meminfo: memFree=1773864/2055920 swapFree=4179992/4192956
[pid=9499] ppid=9497 vsize=5356 CPUtime=0.12
/proc/9499/stat : 9499 (SatELiteGTI) S 9497 9499 9211 0 -1 4194304 336 1118 0 0 0 0 12 0 16 0 1 0 310966243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9499/statm: 1339 239 197 169 0 50 0
[pid=9505] ppid=9499 vsize=27592 CPUtime=342.02
/proc/9505/stat : 9505 (minisat_static) R 9499 9499 9211 0 -1 4194304 6580 0 0 0 34195 7 0 0 25 0 1 0 310966257 28254208 6566 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/9505/statm: 6898 6566 77 171 0 6725 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 32948

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9505
/proc/meminfo: memFree=1773864/2055920 swapFree=4179992/4192956
[pid=9499] ppid=9497 vsize=5356 CPUtime=0.12
/proc/9499/stat : 9499 (SatELiteGTI) S 9497 9499 9211 0 -1 4194304 336 1118 0 0 0 0 12 0 16 0 1 0 310966243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9499/statm: 1339 239 197 169 0 50 0
[pid=9505] ppid=9499 vsize=27592 CPUtime=401.99
/proc/9505/stat : 9505 (minisat_static) R 9499 9499 9211 0 -1 4194304 6580 0 0 0 40192 7 0 0 25 0 1 0 310966257 28254208 6566 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9505/statm: 6898 6566 77 171 0 6725 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 32948

[startup+462.302 s]

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

[pid=9505] ppid=9499 vsize=32932 CPUtime=521.94
/proc/9505/stat : 9505 (minisat_static) R 9499 9499 9211 0 -1 4194304 7858 0 0 0 52186 8 0 0 25 0 1 0 310966257 33722368 7844 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9505/statm: 8233 7844 77 171 0 8060 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 38288

[startup+582.301 s]
/proc/loadavg: 1.12 1.03 1.01 2/66 9505
/proc/meminfo: memFree=1768552/2055920 swapFree=4179992/4192956
[pid=9499] ppid=9497 vsize=5356 CPUtime=0.12
/proc/9499/stat : 9499 (SatELiteGTI) S 9497 9499 9211 0 -1 4194304 336 1118 0 0 0 0 12 0 16 0 1 0 310966243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9499/statm: 1339 239 197 169 0 50 0
[pid=9505] ppid=9499 vsize=32932 CPUtime=581.93
/proc/9505/stat : 9505 (minisat_static) R 9499 9499 9211 0 -1 4194304 7860 0 0 0 58184 9 0 0 25 0 1 0 310966257 33722368 7846 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9505/statm: 8233 7846 77 171 0 8060 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 38288

[startup+642.301 s]
/proc/loadavg: 1.12 1.04 1.00 2/66 9505
/proc/meminfo: memFree=1768040/2055920 swapFree=4179992/4192956
[pid=9499] ppid=9497 vsize=5356 CPUtime=0.12
/proc/9499/stat : 9499 (SatELiteGTI) S 9497 9499 9211 0 -1 4194304 336 1118 0 0 0 0 12 0 16 0 1 0 310966243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9499/statm: 1339 239 197 169 0 50 0
[pid=9505] ppid=9499 vsize=33524 CPUtime=641.91
/proc/9505/stat : 9505 (minisat_static) R 9499 9499 9211 0 -1 4194304 7987 0 0 0 64182 9 0 0 25 0 1 0 310966257 34328576 7973 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9505/statm: 8381 7973 77 171 0 8208 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 38880

[startup+702.301 s]
/proc/loadavg: 1.14 1.06 1.01 2/66 9505
/proc/meminfo: memFree=1767976/2055920 swapFree=4179992/4192956
[pid=9499] ppid=9497 vsize=5356 CPUtime=0.12
/proc/9499/stat : 9499 (SatELiteGTI) S 9497 9499 9211 0 -1 4194304 336 1118 0 0 0 0 12 0 16 0 1 0 310966243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9499/statm: 1339 239 197 169 0 50 0
[pid=9505] ppid=9499 vsize=33524 CPUtime=701.88
/proc/9505/stat : 9505 (minisat_static) R 9499 9499 9211 0 -1 4194304 7988 0 0 0 70179 9 0 0 25 0 1 0 310966257 34328576 7974 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9505/statm: 8381 7974 77 171 0 8208 0
Current children cumulated CPU time (s) 702
Current children cumulated vsize (KiB) 38880

[startup+762.306 s]
/proc/loadavg: 1.09 1.06 1.01 2/66 9505
/proc/meminfo: memFree=1767912/2055920 swapFree=4179992/4192956
[pid=9499] ppid=9497 vsize=5356 CPUtime=0.12
/proc/9499/stat : 9499 (SatELiteGTI) S 9497 9499 9211 0 -1 4194304 336 1118 0 0 0 0 12 0 16 0 1 0 310966243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9499/statm: 1339 239 197 169 0 50 0
[pid=9505] ppid=9499 vsize=33524 CPUtime=761.86
/proc/9505/stat : 9505 (minisat_static) R 9499 9499 9211 0 -1 4194304 7988 0 0 0 76177 9 0 0 25 0 1 0 310966257 34328576 7974 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/9505/statm: 8381 7974 77 171 0 8208 0
Current children cumulated CPU time (s) 761.98
Current children cumulated vsize (KiB) 38880

[startup+822.302 s]
/proc/loadavg: 1.03 1.05 1.00 2/66 9505
/proc/meminfo: memFree=1767848/2055920 swapFree=4179992/4192956
[pid=9499] ppid=9497 vsize=5356 CPUtime=0.12
/proc/9499/stat : 9499 (SatELiteGTI) S 9497 9499 9211 0 -1 4194304 336 1118 0 0 0 0 12 0 16 0 1 0 310966243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9499/statm: 1339 239 197 169 0 50 0
[pid=9505] ppid=9499 vsize=33524 CPUtime=821.83
/proc/9505/stat : 9505 (minisat_static) R 9499 9499 9211 0 -1 4194304 7989 0 0 0 82174 9 0 0 25 0 1 0 310966257 34328576 7975 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/9505/statm: 8381 7975 77 171 0 8208 0
Current children cumulated CPU time (s) 821.95
Current children cumulated vsize (KiB) 38880

[startup+882.302 s]
/proc/loadavg: 1.01 1.04 1.00 2/66 9505
/proc/meminfo: memFree=1767656/2055920 swapFree=4179992/4192956
[pid=9499] ppid=9497 vsize=5356 CPUtime=0.12
/proc/9499/stat : 9499 (SatELiteGTI) S 9497 9499 9211 0 -1 4194304 336 1118 0 0 0 0 12 0 16 0 1 0 310966243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9499/statm: 1339 239 197 169 0 50 0
[pid=9505] ppid=9499 vsize=33668 CPUtime=881.82
/proc/9505/stat : 9505 (minisat_static) R 9499 9499 9211 0 -1 4194304 8020 0 0 0 88172 10 0 0 25 0 1 0 310966257 34476032 8006 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 1 0 0
/proc/9505/statm: 8417 8006 77 171 0 8244 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 39024

[startup+942.302 s]
/proc/loadavg: 1.00 1.03 1.00 2/66 9505
/proc/meminfo: memFree=1767592/2055920 swapFree=4179992/4192956
[pid=9499] ppid=9497 vsize=5356 CPUtime=0.12
/proc/9499/stat : 9499 (SatELiteGTI) S 9497 9499 9211 0 -1 4194304 336 1118 0 0 0 0 12 0 16 0 1 0 310966243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9499/statm: 1339 239 197 169 0 50 0
[pid=9505] ppid=9499 vsize=33668 CPUtime=941.8
/proc/9505/stat : 9505 (minisat_static) R 9499 9499 9211 0 -1 4194304 8020 0 0 0 94170 10 0 0 25 0 1 0 310966257 34476032 8006 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/9505/statm: 8417 8006 77 171 0 8244 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 39024

[startup+1002.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 9505
/proc/meminfo: memFree=1767592/2055920 swapFree=4179992/4192956
[pid=9499] ppid=9497 vsize=5356 CPUtime=0.12
/proc/9499/stat : 9499 (SatELiteGTI) S 9497 9499 9211 0 -1 4194304 336 1118 0 0 0 0 12 0 16 0 1 0 310966243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9499/statm: 1339 239 197 169 0 50 0
[pid=9505] ppid=9499 vsize=33668 CPUtime=1001.77
/proc/9505/stat : 9505 (minisat_static) R 9499 9499 9211 0 -1 4194304 8020 0 0 0 100167 10 0 0 25 0 1 0 310966257 34476032 8006 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9505/statm: 8417 8006 77 171 0 8244 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 39024

[startup+1062.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 9505
/proc/meminfo: memFree=1767528/2055920 swapFree=4179992/4192956
[pid=9499] ppid=9497 vsize=5356 CPUtime=0.12
/proc/9499/stat : 9499 (SatELiteGTI) S 9497 9499 9211 0 -1 4194304 336 1118 0 0 0 0 12 0 16 0 1 0 310966243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9499/statm: 1339 239 197 169 0 50 0
[pid=9505] ppid=9499 vsize=33668 CPUtime=1061.76
/proc/9505/stat : 9505 (minisat_static) R 9499 9499 9211 0 -1 4194304 8020 0 0 0 106165 11 0 0 25 0 1 0 310966257 34476032 8006 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/9505/statm: 8417 8006 77 171 0 8244 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 39024

[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 9505
/proc/meminfo: memFree=1767464/2055920 swapFree=4179992/4192956
[pid=9499] ppid=9497 vsize=5356 CPUtime=0.12
/proc/9499/stat : 9499 (SatELiteGTI) S 9497 9499 9211 0 -1 4194304 336 1118 0 0 0 0 12 0 16 0 1 0 310966243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9499/statm: 1339 239 197 169 0 50 0
[pid=9505] ppid=9499 vsize=33668 CPUtime=1121.74
/proc/9505/stat : 9505 (minisat_static) R 9499 9499 9211 0 -1 4194304 8022 0 0 0 112163 11 0 0 25 0 1 0 310966257 34476032 8008 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9505/statm: 8417 8008 77 171 0 8244 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 39024

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9505
/proc/meminfo: memFree=1767400/2055920 swapFree=4179992/4192956
[pid=9499] ppid=9497 vsize=5356 CPUtime=0.12
/proc/9499/stat : 9499 (SatELiteGTI) S 9497 9499 9211 0 -1 4194304 336 1118 0 0 0 0 12 0 16 0 1 0 310966243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9499/statm: 1339 239 197 169 0 50 0
[pid=9505] ppid=9499 vsize=33668 CPUtime=1181.72
/proc/9505/stat : 9505 (minisat_static) R 9499 9499 9211 0 -1 4194304 8022 0 0 0 118161 11 0 0 25 0 1 0 310966257 34476032 8008 1992294400 134512640 135215339 4294956240 18446744073709551615 134528827 0 0 4096 3 0 0 0 17 1 0 0
/proc/9505/statm: 8417 8008 77 171 0 8244 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 39024



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9505
/proc/meminfo: memFree=1767400/2055920 swapFree=4179992/4192956
[pid=9499] ppid=9497 vsize=5356 CPUtime=0.12
/proc/9499/stat : 9499 (SatELiteGTI) S 9497 9499 9211 0 -1 4194304 336 1118 0 0 0 0 12 0 16 0 1 0 310966243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9499/statm: 1339 239 197 169 0 50 0
[pid=9505] ppid=9499 vsize=33668 CPUtime=1199.92
/proc/9505/stat : 9505 (minisat_static) R 9499 9499 9211 0 -1 4194304 8022 0 0 0 119981 11 0 0 25 0 1 0 310966257 34476032 8008 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/9505/statm: 8417 8008 77 171 0 8244 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 39024

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

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

[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9505
/proc/meminfo: memFree=1767400/2055920 swapFree=4179992/4192956
[pid=9499] ppid=9497 vsize=5356 CPUtime=0.12
/proc/9499/stat : 9499 (SatELiteGTI) S 9497 9499 9211 0 -1 4194304 336 1118 0 0 0 0 12 0 16 0 1 0 310966243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9499/statm: 1339 239 197 169 0 50 0
[pid=9505] ppid=9499 vsize=33668 CPUtime=1199.92
/proc/9505/stat : 9505 (minisat_static) R 9499 9499 9211 0 -1 4194304 8022 0 0 0 119981 11 0 0 25 0 1 0 310966257 34476032 8008 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/9505/statm: 8417 8008 77 171 0 8244 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 39024

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.51
CPU time (s): 1200.07
CPU user time (s): 1199.94
CPU system time (s): 0.131979
CPU usage (%): 99.9634
Max. virtual memory (cumulated for all children) (KiB): 39024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.94
system time used= 0.131979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9484
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= 16
involuntary context switches= 3553

runsolver used 1.48577 second user time and 2.98955 second system time

The end

Launcher Data

Begin job on node17 at 2009-05-20 16:22:09
IDJOB=1834273
IDBENCH=71803
IDSOLVER=671
FILE ID=node17/1834273-1242829329
PBS_JOBID= 9322555
Free space on /tmp= 66420 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/sgi/new-difficult-26-243-24-70.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834273-1242829329/watcher-1834273-1242829329 -o /tmp/evaluation-result-1834273-1242829329/solver-1834273-1242829329 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1834273-1242829329.cnf

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

MD5SUM BENCH= bf3875bd851fbd5f3e19defeb88389d1
RANDOM SEED=874317832

node17.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.234
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.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1801944 kB
Buffers:         48520 kB
Cached:         134448 kB
SwapCached:       7296 kB
Active:          55864 kB
Inactive:       136140 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1801944 kB
SwapTotal:     4192956 kB
SwapFree:      4179992 kB
Dirty:            2044 kB
Writeback:           0 kB
Mapped:          14076 kB
Slab:            48016 kB
Committed_AS:  1041836 kB
PageTables:       1456 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= 66416 MiB
End job on node17 at 2009-05-20 16:42:11