Trace number 1832797

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 1200.04 1200.41

General information on the benchmark

NameRANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S420719158-080.cnf
MD5SUM727f10970711b4154a45c3b50e2e1fe7
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark191.982
Satisfiable
(Un)Satisfiability was proved
Number of variables18000
Number of clauses75600
Sum of the clauses size226800
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 375600
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Parsing...
0.00/0.08	c ==============================================================================
0.00/0.08	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.08	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.08	c ==============================================================================
0.00/0.08	c |         0 |   75600   226800 |   22679       0        0     nan |  0.000 % |
0.00/0.27	c |         0 |   75090   227854 |      --       0       --      -- |     --   | -510/1054
0.00/0.27	c ==============================================================================
0.00/0.27	c Result  :   #vars: 17551   #clauses: 75090   #literals: 227854
0.00/0.27	c CPU time:   0.250961 s
0.00/0.27	c ==============================================================================
0.00/0.35	c This is MiniSat 2.0 beta
0.00/0.35	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.35	c ============================[ Problem Statistics ]=============================
0.00/0.35	c |                                                                             |
0.00/0.35	c |  Number of variables:  17551                                                |
0.00/0.35	c |  Number of clauses:    75090                                                |
0.34/0.42	c |  Parsing time:         0.05         s                                       |
0.34/0.43	c ============================[ Search Statistics ]==============================
0.34/0.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.34/0.43	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.34/0.43	c ===============================================================================
0.34/0.43	c |         0 |   17551    75090   227854 |    25030        0    nan |  0.000 % |
0.34/0.49	c |       100 |   17551    75090   227854 |    25030      100    151 |  0.000 % |
0.34/0.55	c |       202 |   17551    75090   227854 |    25030      202    148 |  0.000 % |
0.34/0.62	c |       302 |   17551    75090   227854 |    25030      302    155 |  0.000 % |
0.34/0.69	c |       412 |   17551    75090   227854 |    25030      412    169 |  0.000 % |
0.34/0.75	c |       512 |   17551    75090   227854 |    25030      512    174 |  0.000 % |
0.34/0.82	c |       623 |   17551    75090   227854 |    25030      623    176 |  0.000 % |
0.34/0.90	c |       746 |   17551    75090   227854 |    25030      746    181 |  0.000 % |
0.34/0.96	c |       846 |   17551    75090   227854 |    25030      846    176 |  0.000 % |
0.97/1.03	c |       957 |   17551    75090   227854 |    25030      957    180 |  0.000 % |
0.97/1.10	c |      1079 |   17551    75090   227854 |    25030     1079    178 |  0.000 % |
1.07/1.18	c |      1212 |   17551    75090   227854 |    25030     1212    180 |  0.000 % |
1.16/1.24	c |      1312 |   17551    75090   227854 |    25030     1312    177 |  0.000 % |
1.27/1.31	c |      1422 |   17551    75090   227854 |    25030     1422    179 |  0.000 % |
1.27/1.38	c |      1543 |   17551    75090   227854 |    25030     1543    184 |  0.000 % |
1.37/1.47	c |      1676 |   17551    75090   227854 |    25030     1676    197 |  0.000 % |
1.47/1.57	c |      1822 |   17551    75090   227854 |    25030     1822    202 |  0.000 % |
1.57/1.63	c |      1923 |   17551    75090   227854 |    25030     1923    199 |  0.000 % |
1.67/1.70	c |      2034 |   17551    75090   227854 |    25030     2034    197 |  0.000 % |
1.67/1.78	c |      2155 |   17551    75090   227854 |    25030     2155    193 |  0.000 % |
1.77/1.88	c |      2288 |   17551    75090   227854 |    25030     2288    196 |  0.000 % |
1.87/1.97	c |      2435 |   17551    75090   227854 |    25030     2435    197 |  0.000 % |
1.96/2.08	c |      2595 |   17551    75090   227854 |    25030     2595    200 |  0.000 % |
2.07/2.15	c |      2696 |   17551    75090   227854 |    25030     2696    198 |  0.000 % |
2.17/2.22	c |      2806 |   17551    75090   227854 |    25030     2806    198 |  0.000 % |
2.26/2.30	c |      2929 |   17551    75090   227854 |    25030     2929    198 |  0.000 % |
2.36/2.40	c |      3064 |   17551    75090   227854 |    25030     3064    201 |  0.000 % |
2.46/2.50	c |      3210 |   17551    75090   227854 |    25030     3210    201 |  0.000 % |
2.56/2.60	c |      3371 |   17551    75090   227854 |    25030     3371    202 |  0.000 % |
2.66/2.71	c |      3547 |   17551    75090   227854 |    25030     3547    200 |  0.000 % |
2.66/2.78	c |      3647 |   17551    75090   227854 |    25030     3647    199 |  0.000 % |
2.76/2.85	c |      3757 |   17551    75090   227854 |    25030     3757    201 |  0.000 % |
2.86/2.93	c |      3878 |   17551    75090   227854 |    25030     3878    202 |  0.000 % |
2.96/3.02	c |      4011 |   17551    75090   227854 |    25030     4011    202 |  0.000 % |
3.06/3.11	c |      4157 |   17551    75090   227854 |    25030     4157    203 |  0.000 % |
3.17/3.22	c |      4318 |   17551    75090   227854 |    25030     4318    203 |  0.000 % |
3.27/3.33	c |      4494 |   17551    75090   227854 |    25030     4494    203 |  0.000 % |
3.36/3.45	c |      4688 |   17551    75090   227854 |    25030     4688    201 |  0.000 % |
3.46/3.52	c |      4788 |   17551    75090   227854 |    25030     4788    201 |  0.000 % |
3.46/3.59	c |      4898 |   17551    75090   227854 |    25030     4898    201 |  0.000 % |
3.56/3.67	c |      5019 |   17551    75090   227854 |    25030     5019    200 |  0.000 % |
3.66/3.75	c |      5152 |   17551    75090   227854 |    25030     5152    198 |  0.000 % |
3.76/3.84	c |      5298 |   17551    75090   227854 |    25030     5298    199 |  0.000 % |
3.86/3.95	c |      5459 |   17551    75090   227854 |    25030     5459    198 |  0.000 % |
3.96/4.07	c |      5636 |   17551    75090   227854 |    25030     5636    198 |  0.000 % |
4.06/4.19	c |      5829 |   17551    75090   227854 |    25030     5829    198 |  0.000 % |
4.26/4.33	c |      6044 |   17551    75090   227854 |    25030     6044    198 |  0.000 % |
4.37/4.40	c |      6144 |   17551    75090   227854 |    25030     6144    199 |  0.000 % |
4.37/4.48	c |      6255 |   17551    75090   227854 |    25030     6255    200 |  0.000 % |
4.47/4.56	c |      6376 |   17551    75090   227854 |    25030     6376    200 |  0.000 % |
4.57/4.65	c |      6509 |   17551    75090   227854 |    25030     6509    200 |  0.000 % |
4.67/4.75	c |      6655 |   17551    75090   227854 |    25030     6655    199 |  0.000 % |
4.77/4.86	c |      6816 |   17551    75090   227854 |    25030     6816    199 |  0.000 % |
4.87/4.97	c |      6993 |   17551    75090   227854 |    25030     6993    198 |  0.000 % |
4.97/5.09	c |      7186 |   17551    75090   227854 |    25030     7186    198 |  0.000 % |
5.17/5.23	c |      7404 |   17551    75090   227854 |    25030     7404    199 |  0.000 % |
5.27/5.37	c |      7637 |   17551    75090   227854 |    25030     7637    198 |  0.000 % |
5.37/5.44	c |      7739 |   17551    75090   227854 |    25030     7739    199 |  0.000 % |
5.47/5.52	c |      7850 |   17551    75090   227854 |    25030     7850    198 |  0.000 % |
5.47/5.60	c |      7972 |   17551    75090   227854 |    25030     7972    198 |  0.000 % |
5.56/5.68	c |      8108 |   17551    75090   227854 |    25030     8108    198 |  0.000 % |
5.66/5.79	c |      8257 |   17551    75090   227854 |    25030     8257    199 |  0.000 % |
5.76/5.89	c |      8417 |   17551    75090   227854 |    25030     8417    199 |  0.000 % |
5.96/6.00	c |      8593 |   17551    75090   227854 |    25030     8593    199 |  0.000 % |
6.06/6.12	c |      8786 |   17551    75090   227854 |    25030     8786    199 |  0.000 % |
6.16/6.27	c |      9000 |   17551    75090   227854 |    25030     9000    199 |  0.000 % |
6.36/6.42	c |      9233 |   17551    75090   227854 |    25030     9233    199 |  0.000 % |
6.46/6.58	c |      9489 |   17551    75090   227854 |    25030     9489    199 |  0.000 % |
6.56/6.66	c |      9590 |   17551    75090   227854 |    25030     9590    199 |  0.000 % |
6.66/6.73	c |      9702 |   17551    75090   227854 |    25030     9702    198 |  0.000 % |
6.76/6.82	c |      9824 |   17551    75090   227854 |    25030     9824    198 |  0.000 % |
6.86/6.92	c |      9957 |   17551    75090   227854 |    25030     9957    198 |  0.000 % |
6.97/7.01	c |     10105 |   17551    75090   227854 | 2147483647    10105    198 |  0.000 % |
7.06/7.14	c |     10265 |   17551    75090   227854 | 2147483647    10265    198 |  0.000 % |
7.16/7.26	c |     10442 |   17551    75090   227854 | 2147483647    10442    199 |  0.000 % |
7.26/7.38	c |     10637 |   17551    75090   227854 | 2147483647    10637    199 |  0.000 % |
7.46/7.53	c |     10851 |   17551    75090   227854 | 2147483647    10851    200 |  0.000 % |
7.67/7.71	c |     11084 |   17551    75090   227854 | 2147483647    11084    201 |  0.000 % |
7.76/7.88	c |     11341 |   17551    75090   227854 | 2147483647    11341    201 |  0.000 % |
7.96/8.08	c |     11623 |   17551    75090   227854 | 2147483647    11623    201 |  0.000 % |
8.06/8.17	c |     11723 |   17551    75090   227854 | 2147483647    11723    201 |  0.000 % |
8.16/8.24	c |     11833 |   17551    75090   227854 | 2147483647    11833    201 |  0.000 % |
8.26/8.33	c |     11954 |   17551    75090   227854 | 2147483647    11954    201 |  0.000 % |
8.36/8.42	c |     12087 |   17551    75090   227854 | 2147483647    12087    201 |  0.000 % |
8.46/8.53	c |     12233 |   17551    75090   227854 | 2147483647    12233    201 |  0.000 % |
8.56/8.63	c |     12394 |   17551    75090   227854 | 2147483647    12394    200 |  0.000 % |
8.67/8.75	c |     12571 |   17551    75090   227854 | 2147483647    12571    200 |  0.000 % |
8.77/8.89	c |     12764 |   17551    75090   227854 | 2147483647    12764    200 |  0.000 % |
8.96/9.03	c |     12976 |   17551    75090   227854 | 2147483647    12976    200 |  0.000 % |
9.16/9.20	c |     13209 |   17551    75090   227854 | 2147483647    13209    200 |  0.000 % |
9.26/9.37	c |     13465 |   17551    75090   227854 | 2147483647    13465    200 |  0.000 % |
9.46/9.57	c |     13746 |   17551    75090   227854 | 2147483647    13746    201 |  0.000 % |
9.66/9.79	c |     14059 |   17551    75090   227854 | 2147483647    14059    202 |  0.000 % |
9.76/9.87	c |     14162 |   17551    75090   227854 | 2147483647    14162    202 |  0.000 % |
9.86/9.95	c |     14272 |   17551    75090   227854 | 2147483647    14272    202 |  0.000 % |
9.96/10.04	c |     14393 |   17551    75090   227854 | 2147483647    14393    202 |  0.000 % |
10.06/10.14	c |     14527 |   17551    75090   227854 | 2147483647    14527    202 |  0.000 % |
10.16/10.25	c |     14673 |   17551    75090   227854 | 2147483647    14673    201 |  0.000 % |
10.26/10.36	c |     14833 |   17551    75090   227854 | 2147483647    14833    202 |  0.000 % |
10.36/10.49	c |     15009 |   17551    75090   227854 | 2147483647    15009    202 |  0.000 % |
10.56/10.63	c |     15204 |   17551    75090   227854 | 2147483647    15204    202 |  0.000 % |
10.66/10.78	c |     15417 |   17551    75090   227854 | 2147483647    15417    202 |  0.000 % |
10.87/10.96	c |     15652 |   17551    75090   227854 | 2147483647    15652    203 |  0.000 % |
11.07/11.15	c |     15908 |   17551    75090   227854 | 2147483647    15908    204 |  0.000 % |
11.27/11.34	c |     16191 |   17551    75090   227854 | 2147483647    16191    203 |  0.000 % |
11.47/11.54	c |     16500 |   17551    75090   227854 | 2147483647    16500    205 |  0.000 % |
11.67/11.77	c |     16840 |   17551    75090   227854 | 2147483647    16840    205 |  0.000 % |
11.77/11.85	c |     16940 |   17551    75090   227854 | 2147483647    16940    205 |  0.000 % |
11.87/11.94	c |     17053 |   17551    75090   227854 | 2147483647    17053    205 |  0.000 % |
11.97/12.05	c |     17174 |   17551    75090   227854 | 2147483647    17174    205 |  0.000 % |
12.07/12.16	c |     17307 |   17551    75090   227854 | 2147483647    17307    204 |  0.000 % |
12.17/12.26	c |     17454 |   17551    75090   227854 | 2147483647    17454    204 |  0.000 % |
12.26/12.38	c |     17615 |   17551    75090   227854 | 2147483647    17615    205 |  0.000 % |
12.46/12.51	c |     17792 |   17551    75090   227854 | 2147483647    17792    205 |  0.000 % |
12.56/12.66	c |     17985 |   17551    75090   227854 | 2147483647    17985    205 |  0.000 % |
12.76/12.80	c |     18198 |   17551    75090   227854 | 2147483647    18198    204 |  0.000 % |
12.86/12.97	c |     18433 |   17551    75090   227854 | 2147483647    18433    204 |  0.000 % |
13.07/13.16	c |     18689 |   17551    75090   227854 | 2147483647    18689    204 |  0.000 % |
13.26/13.35	c |     18970 |   17551    75090   227854 | 2147483647    18970    204 |  0.000 % |
13.46/13.58	c |     19279 |   17551    75090   227854 | 2147483647    19279    205 |  0.000 % |
13.76/13.81	c |     19619 |   17551    75090   227854 | 2147483647    19619    205 |  0.000 % |
13.96/14.08	c |     19992 |   17551    75090   227854 | 2147483647    19992    205 |  0.000 % |
14.06/14.16	c |     20093 |   17551    75090   227854 | 2147483647    20093    205 |  0.000 % |
14.17/14.24	c |     20204 |   17551    75090   227854 | 2147483647    20204    205 |  0.000 % |
14.27/14.33	c |     20325 |   17551    75090   227854 | 2147483647    20325    205 |  0.000 % |
14.36/14.44	c |     20458 |   17551    75090   227854 | 2147483647    20458    205 |  0.000 % |
14.46/14.56	c |     20605 |   17551    75090   227854 | 2147483647    20605    205 |  0.000 % |
14.56/14.68	c |     20768 |   17551    75090   227854 | 2147483647    20768    205 |  0.000 % |
14.76/14.80	c |     20944 |   17551    75090   227854 | 2147483647    20944    205 |  0.000 % |
14.86/14.94	c |     21139 |   17551    75090   227854 | 2147483647    21139    205 |  0.000 % |
14.96/15.08	c |     21354 |   17551    75090   227854 | 2147483647    21354    205 |  0.000 % |
15.16/15.26	c |     21587 |   17551    75090   227854 | 2147483647    21587    205 |  0.000 % |
15.37/15.45	c |     21843 |   17551    75090   227854 | 2147483647    21843    205 |  0.000 % |
15.56/15.64	c |     22124 |   17551    75090   227854 | 2147483647    22124    205 |  0.000 % |
15.76/15.87	c |     22433 |   17551    75090   227854 | 2147483647    22433    205 |  0.000 % |
16.06/16.15	c |     22772 |   17551    75090   227854 | 2147483647    22772    206 |  0.000 % |
16.36/16.43	c |     23145 |   17551    75090   227854 | 2147483647    23145    206 |  0.000 % |
16.66/16.72	c |     23554 |   17551    75090   227854 | 2147483647    23554    207 |  0.000 % |
16.76/16.80	c |     23655 |   17551    75090   227854 | 2147483647    23655    207 |  0.000 % |
16.76/16.89	c |     23765 |   17551    75090   227854 | 2147483647    23765    207 |  0.000 % |
16.86/16.98	c |     23887 |   17551    75090   227854 | 2147483647    23887    206 |  0.000 % |
16.96/17.09	c |     24020 |   17551    75090   227854 | 2147483647    24020    206 |  0.000 % |
17.06/17.19	c |     24167 |   17551    75090   227854 | 2147483647    24167    206 |  0.000 % |
17.26/17.33	c |     24328 |   17551    75090   227854 | 2147483647    24328    206 |  0.000 % |
17.36/17.48	c |     24504 |   17551    75090   227854 | 2147483647    24504    206 |  0.000 % |
17.56/17.65	c |     24698 |   17551    75090   227854 | 2147483647    24698    206 |  0.000 % |
17.76/17.82	c |     24911 |   17551    75090   227854 | 2147483647    24911    206 |  0.000 % |
17.86/18.00	c |     25145 |   17551    75090   227854 | 2147483647    25145    206 |  0.000 % |
18.06/18.19	c |     25402 |   17551    75090   227854 | 2147483647    25402    206 |  0.000 % |
18.36/18.41	c |     25683 |   17551    75090   227854 | 2147483647    25683    207 |  0.000 % |
18.56/18.64	c |     25993 |   17551    75090   227854 | 2147483647    25993    207 |  0.000 % |
18.76/18.90	c |     26332 |   17551    75090   227854 | 2147483647    26332    207 |  0.000 % |
19.06/19.18	c |     26705 |   17551    75090   227854 | 2147483647    26705    208 |  0.000 % |
19.46/19.50	c |     27114 |   17551    75090   227854 | 2147483647    27114    208 |  0.000 % |
19.76/19.85	c |     27564 |   17551    75090   227854 | 2147483647    27564    209 |  0.000 % |
19.86/19.94	c |     27666 |   17551    75090   227854 | 2147483647    27666    209 |  0.000 % |
19.96/20.03	c |     27776 |   17551    75090   227854 | 2147483647    27776    209 |  0.000 % |
20.06/20.13	c |     27897 |   17551    75090   227854 | 2147483647    27897    209 |  0.000 % |
20.15/20.23	c |     28030 |   17551    75090   227854 | 2147483647    28030    209 |  0.000 % |
20.25/20.36	c |     28176 |   17551    75090   227854 | 2147483647    28176    209 |  0.000 % |
20.35/20.48	c |     28336 |   17551    75090   227854 | 2147483647    28336    208 |  0.000 % |
20.56/20.63	c |     28512 |   17551    75090   227854 | 2147483647    28512    208 |  0.000 % |
20.66/20.79	c |     28706 |   17551    75090   227854 | 2147483647    28706    209 |  0.000 % |
20.86/20.94	c |     28918 |   17551    75090   227854 | 2147483647    28918    209 |  0.000 % |
21.06/21.14	c |     29151 |   17551    75090   227854 | 2147483647    29151    209 |  0.000 % |
21.26/21.35	c |     29408 |   17551    75090   227854 | 2147483647    29408    209 |  0.000 % |
21.46/21.58	c |     29690 |   17551    75090   227854 | 2147483647    29690    210 |  0.000 % |
21.76/21.81	c |     30000 |   17551    75090   227854 | 2147483647    30000    210 |  0.000 % |
21.96/22.10	c |     30340 |   17551    75090   227854 | 2147483647    30340    210 |  0.000 % |
22.36/22.40	c |     30712 |   17551    75090   227854 | 2147483647    30712    210 |  0.000 % |
22.66/22.72	c |     31122 |   17551    75090   227854 | 2147483647    31122    210 |  0.000 % |
22.96/23.05	c |     31571 |   17551    75090   227854 | 2147483647    31571    210 |  0.000 % |
23.35/23.42	c |     32064 |   17551    75090   227854 | 2147483647    32064    211 |  0.000 % |
23.45/23.50	c |     32165 |   17551    75090   227854 | 2147483647    32165    211 |  0.000 % |
23.55/23.61	c |     32276 |   17551    75090   227854 | 2147483647    32276    211 |  0.000 % |
23.65/23.72	c |     32398 |   17551    75090   227854 | 2147483647    32398    211 |  0.000 % |
23.75/23.84	c |     32533 |   17551    75090   227854 | 2147483647    32533    211 |  0.000 % |
23.85/23.97	c |     32679 |   17551    75090   227854 | 2147483647    32679    211 |  0.000 % |
24.06/24.10	c |     32839 |   17551    75090   227854 | 2147483647    32839    211 |  0.000 % |
24.17/24.24	c |     33016 |   17551    75090   227854 | 2147483647    33016    211 |  0.000 % |
24.36/24.40	c |     33209 |   17551    75090   227854 | 2147483647    33209    211 |  0.000 % |
24.46/24.57	c |     33422 |   17551    75090   227854 | 2147483647    33422    211 |  0.000 % |
24.66/24.77	c |     33655 |   17551    75090   227854 | 2147483647    33655    211 |  0.000 % |
24.86/24.97	c |     33912 |   17551    75090   227854 | 2147483647    33912    211 |  0.000 % |
25.16/25.21	c |     34194 |   17551    75090   227854 | 2147483647    34194    211 |  0.000 % |
25.36/25.45	c |     34504 |   17551    75090   227854 | 2147483647    34504    211 |  0.000 % |
25.66/25.72	c |     34844 |   17551    75090   227854 | 2147483647    34844    212 |  0.000 % |
25.96/26.02	c |     35216 |   17551    75090   227854 | 2147483647    35216    212 |  0.000 % |
26.26/26.37	c |     35625 |   17551    75090   227854 | 2147483647    35625    212 |  0.000 % |
26.65/26.73	c |     36074 |   17551    75090   227854 | 2147483647    36074    213 |  0.000 % |
27.06/27.14	c |     36567 |   17551    75090   227854 | 2147483647    36567    213 |  0.000 % |
27.56/27.63	c |     37109 |   17551    75090   227854 | 2147483647    37109    213 |  0.000 % |
27.66/27.74	c |     37210 |   17551    75090   227854 | 2147483647    37210    213 |  0.000 % |
27.76/27.85	c |     37320 |   17551    75090   227854 | 2147483647    37320    213 |  0.000 % |
27.86/27.96	c |     37441 |   17551    75090   227854 | 2147483647    37441    213 |  0.000 % |
27.96/28.09	c |     37575 |   17551    75090   227854 | 2147483647    37575    213 |  0.000 % |
28.16/28.24	c |     37721 |   17551    75090   227854 | 2147483647    37721    213 |  0.000 % |
28.26/28.38	c |     37881 |   17551    75090   227854 | 2147483647    37881    213 |  0.000 % |
28.46/28.54	c |     38057 |   17551    75090   227854 | 2147483647    38057    213 |  0.000 % |
28.65/28.72	c |     38251 |   17551    75090   227854 | 2147483647    38251    213 |  0.000 % |
28.85/28.90	c |     38465 |   17551    75090   227854 | 2147483647    38465    213 |  0.000 % |
28.95/29.09	c |     38698 |   17551    75090   227854 | 2147483647    38698    213 |  0.000 % |
29.26/29.31	c |     38954 |   17551    75090   227854 | 2147483647    38954    213 |  0.000 % |
29.46/29.54	c |     39238 |   17551    75090   227854 | 2147483647    39238    213 |  0.000 % |
29.76/29.82	c |     39548 |   17551    75090   227854 | 2147483647    39548    214 |  0.000 % |
30.06/30.13	c |     39887 |   17551    75090   227854 | 2147483647    39887    214 |  0.000 % |
30.36/30.44	c |     40260 |   17551    75090   227854 | 2147483647    40260    214 |  0.000 % |
30.76/30.81	c |     40670 |   17551    75090   227854 | 2147483647    40670    215 |  0.000 % |
31.16/31.21	c |     41119 |   17551    75090   227854 | 2147483647    41119    215 |  0.000 % |
31.56/31.66	c |     41615 |   17551    75090   227854 | 2147483647    41615    215 |  0.000 % |
32.05/32.13	c |     42157 |   17551    75090   227854 | 2147483647    42157    216 |  0.000 % |
32.55/32.62	c |     42754 |   17551    75090   227854 | 2147483647    42754    216 |  0.000 % |
32.65/32.72	c |     42855 |   17551    75090   227854 | 2147483647    42855    216 |  0.000 % |
32.75/32.83	c |     42966 |   17551    75090   227854 | 2147483647    42966    216 |  0.000 % |
32.86/32.95	c |     43089 |   17551    75090   227854 | 2147483647    43089    216 |  0.000 % |
32.96/33.08	c |     43223 |   17551    75090   227854 | 2147483647    43223    216 |  0.000 % |
33.15/33.22	c |     43371 |   17551    75090   227854 | 2147483647    43371    216 |  0.000 % |
33.25/33.36	c |     43531 |   17551    75090   227854 | 2147483647    43531    216 |  0.000 % |
33.45/33.52	c |     43709 |   17551    75090   227854 | 2147483647    43709    216 |  0.000 % |
33.65/33.71	c |     43902 |   17551    75090   227854 | 2147483647    43902    216 |  0.000 % |
33.85/33.90	c |     44115 |   17551    75090   227854 | 2147483647    44115    216 |  0.000 % |
34.06/34.11	c |     44348 |   17551    75090   227854 | 2147483647    44348    216 |  0.000 % |
34.25/34.34	c |     44604 |   17551    75090   227854 | 2147483647    44604    216 |  0.000 % |
34.45/34.60	c |     44888 |   17551    75090   227854 | 2147483647    44888    216 |  0.000 % |
34.85/34.90	c |     45197 |   17551    75090   227854 | 2147483647    45197    216 |  0.000 % |
35.06/35.19	c |     45537 |   17551    75090   227854 | 2147483647    45537    217 |  0.000 % |
35.45/35.52	c |     45909 |   17551    75090   227854 | 2147483647    45909    217 |  0.000 % |
35.86/35.90	c |     46320 |   17551    75090   227854 | 2147483647    46320    217 |  0.000 % |
36.16/36.30	c |     46769 |   17551    75090   227854 | 2147483647    46769    217 |  0.000 % |
36.65/36.75	c |     47262 |   17551    75090   227854 | 2147483647    47262    217 |  0.000 % |
37.15/37.23	c |     47804 |   17551    75090   227854 | 2147483647    47804    217 |  0.000 % |
37.66/37.76	c |     48400 |   17551    75090   227854 | 2147483647    48400    217 |  0.000 % |
38.26/38.37	c |     49056 |   17551    75090   227854 | 2147483647    49056    219 |  0.000 % |
38.36/38.47	c |     49156 |   17551    75090   227854 | 2147483647    49156    219 |  0.000 % |
38.46/38.59	c |     49267 |   17551    75090   227854 | 2147483647    49267    219 |  0.000 % |
38.66/38.73	c |     49390 |   17551    75090   227854 | 2147483647    49390    218 |  0.000 % |
38.76/38.84	c |     49523 |   17551    75090   227854 | 2147483647    49523    218 |  0.000 % |
38.86/38.98	c |     49669 |   17551    75090   227854 | 2147483647    49669    218 |  0.000 % |
39.06/39.16	c |     49829 |   17551    75090   227854 | 2147483647    49829    218 |  0.000 % |
39.26/39.35	c |     50005 |   17551    75090   227854 | 2147483647    50005    218 |  0.000 % |
39.46/39.54	c |     50198 |   17551    75090   227854 | 2147483647    50198    218 |  0.000 % |
39.66/39.75	c |     50412 |   17551    75090   227854 | 2147483647    50412    218 |  0.000 % |
39.86/39.98	c |     50646 |   17551    75090   227854 | 2147483647    50646    218 |  0.000 % |
40.15/40.22	c |     50902 |   17551    75090   227854 | 2147483647    50902    218 |  0.000 % |
40.35/40.47	c |     51186 |   17551    75090   227854 | 2147483647    51186    218 |  0.000 % |
40.66/40.75	c |     51496 |   17551    75090   227854 | 2147483647    51496    218 |  0.000 % |
40.95/41.08	c |     51836 |   17551    75090   227854 | 2147483647    51836    218 |  0.000 % |
41.35/41.44	c |     52209 |   17551    75090   227854 | 2147483647    52209    218 |  0.000 % |
41.65/41.79	c |     52618 |   17551    75090   227854 | 2147483647    52618    218 |  0.000 % |
42.15/42.20	c |     53068 |   17551    75090   227854 | 2147483647    53068    218 |  0.000 % |
42.56/42.68	c |     53561 |   17551    75090   227854 | 2147483647    53561    219 |  0.000 % |
43.15/43.22	c |     54103 |   17551    75090   227854 | 2147483647    54103    220 |  0.000 % |
43.65/43.76	c |     54701 |   17551    75090   227854 | 2147483647    54701    220 |  0.000 % |
44.25/44.37	c |     55356 |   17551    75090   227854 | 2147483647    55356    220 |  0.000 % |
44.96/45.05	c |     56077 |   17551    75090   227854 | 2147483647    56077    222 |  0.000 % |
45.06/45.14	c |     56180 |   17551    75090   227854 | 2147483647    56180    222 |  0.000 % |
45.16/45.26	c |     56290 |   17551    75090   227854 | 2147483647    56290    222 |  0.000 % |
45.26/45.39	c |     56412 |   17551    75090   227854 | 2147483647    56412    221 |  0.000 % |
45.46/45.51	c |     56545 |   17551    75090   227854 | 2147483647    56545    221 |  0.000 % |
45.56/45.65	c |     56694 |   17551    75090   227854 | 2147483647    56694    221 |  0.000 % |
45.76/45.84	c |     56854 |   17551    75090   227854 | 2147483647    56854    221 |  0.000 % |
45.96/46.01	c |     57031 |   17551    75090   227854 | 2147483647    57031    222 |  0.000 % |
46.16/46.23	c |     57224 |   17551    75090   227854 | 2147483647    57224    221 |  0.000 % |
46.35/46.43	c |     57438 |   17551    75090   227854 | 2147483647    57438    221 |  0.000 % |
46.55/46.68	c |     57671 |   17551    75090   227854 | 2147483647    57671    221 |  0.000 % |
46.85/46.94	c |     57928 |   17551    75090   227854 | 2147483647    57928    221 |  0.000 % |
47.16/47.24	c |     58211 |   17551    75090   227854 | 2147483647    58211    222 |  0.000 % |
47.45/47.55	c |     58520 |   17551    75090   227854 | 2147483647    58520    222 |  0.000 % |
47.75/47.87	c |     58860 |   17551    75090   227854 | 2147483647    58860    222 |  0.000 % |
48.15/48.25	c |     59232 |   17551    75090   227854 | 2147483647    59232    222 |  0.000 % |
48.55/48.64	c |     59641 |   17551    75090   227854 | 2147483647    59641    222 |  0.000 % |
48.95/49.08	c |     60092 |   17551    75090   227854 | 2147483647    60092    223 |  0.000 % |
49.46/49.56	c |     60585 |   17551    75090   227854 | 2147483647    60585    223 |  0.000 % |
49.95/50.07	c |     61127 |   17551    75090   227854 | 2147483647    61127    224 |  0.000 % |
50.56/50.68	c |     61723 |   17551    75090   227854 | 2147483647    61723    224 |  0.000 % |
51.25/51.32	c |     62378 |   17551    75090   227854 | 2147483647    62378    224 |  0.000 % |
51.85/51.99	c |     63098 |   17551    75090   227854 | 2147483647    63098    224 |  0.000 % |
52.65/52.77	c |     63891 |   17551    75090   227854 | 2147483647    63891    225 |  0.000 % |
52.75/52.88	c |     63991 |   17551    75090   227854 | 2147483647    63991    224 |  0.000 % |
52.85/52.99	c |     64101 |   17551    75090   227854 | 2147483647    64101    224 |  0.000 % |
53.06/53.13	c |     64222 |   17551    75090   227854 | 2147483647    64222    224 |  0.000 % |
53.15/53.27	c |     64356 |   17551    75090   227854 | 2147483647    64356    224 |  0.000 % |
53.35/53.43	c |     64502 |   17551    75090   227854 | 2147483647    64502    224 |  0.000 % |
53.55/53.60	c |     64662 |   17551    75090   227854 | 2147483647    64662    224 |  0.000 % |
53.65/53.79	c |     64839 |   17551    75090   227854 | 2147483647    64839    224 |  0.000 % |
53.86/53.98	c |     65033 |   17551    75090   227854 | 2147483647    65033    224 |  0.000 % |
54.15/54.21	c |     65245 |   17551    75090   227854 | 2147483647    65245    224 |  0.000 % |
54.35/54.46	c |     65478 |   17551    75090   227854 | 2147483647    65478    224 |  0.000 % |
54.65/54.73	c |     65734 |   17551    75090   227854 | 2147483647    65734    224 |  0.000 % |
54.95/55.03	c |     66015 |   17551    75090   227854 | 2147483647    66015    224 |  0.000 % |
55.25/55.35	c |     66324 |   17551    75090   227854 | 2147483647    66324    225 |  0.000 % |
55.65/55.71	c |     66664 |   17551    75090   227854 | 2147483647    66664    225 |  0.000 % |
55.95/56.06	c |     67036 |   17551    75090   227854 | 2147483647    67036    225 |  0.000 % |
56.45/56.51	c |     67447 |   17551    75090   227854 | 2147483647    67447    225 |  0.000 % |
56.85/56.98	c |     67897 |   17551    75090   227854 | 2147483647    67897    225 |  0.000 % |
57.35/57.48	c |     68391 |   17551    75090   227854 | 2147483647    68391    225 |  0.000 % |
57.95/58.02	c |     68934 |   17551    75090   227854 | 2147483647    68934    225 |  0.000 % |
58.55/58.63	c |     69531 |   17551    75090   227854 | 2147483647    69531    226 |  0.000 % |
59.25/59.32	c |     70187 |   17551    75090   227854 | 2147483647    70187    226 |  0.000 % |
59.95/60.07	c |     70910 |   17551    75090   227854 | 2147483647    70910    226 |  0.000 % |
60.74/60.86	c |     71704 |   17551    75090   227854 | 2147483647    71704    226 |  0.000 % |
61.65/61.79	c |     72576 |   17551    75090   227854 | 2147483647    72576    227 |  0.000 % |
61.85/61.91	c |     72676 |   17551    75090   227854 | 2147483647    72676    227 |  0.000 % |
61.95/62.02	c |     72788 |   17551    75090   227854 | 2147483647    72788    227 |  0.000 % |
62.05/62.16	c |     72909 |   17551    75090   227854 | 2147483647    72909    227 |  0.000 % |
62.25/62.32	c |     73044 |   17551    75090   227854 | 2147483647    73044    227 |  0.000 % |
62.35/62.49	c |     73190 |   17551    75090   227854 | 2147483647    73190    227 |  0.000 % |
62.55/62.68	c |     73350 |   17551    75090   227854 | 2147483647    73350    227 |  0.000 % |
62.75/62.88	c |     73527 |   17551    75090   227854 | 2147483647    73527    227 |  0.000 % |
62.95/63.09	c |     73720 |   17551    75090   227854 | 2147483647    73720    227 |  0.000 % |
63.25/63.33	c |     73932 |   17551    75090   227854 | 2147483647    73932    227 |  0.000 % |
63.55/63.62	c |     74167 |   17551    75090   227854 | 2147483647    74167    227 |  0.000 % |
63.75/63.88	c |     74427 |   17551    75090   227854 | 2147483647    74427    227 |  0.000 % |
64.05/64.18	c |     74708 |   17551    75090   227854 | 2147483647    74708    227 |  0.000 % |
64.45/64.52	c |     75017 |   17551    75090   227854 | 2147483647    75017    227 |  0.000 % |
64.76/64.89	c |     75358 |   17551    75090   227854 | 2147483647    75358    228 |  0.000 % |
65.25/65.34	c |     75730 |   17551    75090   227854 | 2147483647    75730    228 |  0.000 % |
65.65/65.76	c |     76139 |   17551    75090   227854 | 2147483647    76139    228 |  0.000 % |
66.15/66.20	c |     76588 |   17551    75090   227854 | 2147483647    76588    228 |  0.000 % |
66.65/66.74	c |     77082 |   17551    75090   227854 | 2147483647    77082    228 |  0.000 % |
67.25/67.32	c |     77624 |   17551    75090   227854 | 2147483647    77624    228 |  0.000 % |
67.85/67.96	c |     78220 |   17551    75090   227854 | 2147483647    78220    228 |  0.000 % |
68.54/68.70	c |     78875 |   17551    75090   227854 | 2147483647    78875    228 |  0.000 % |
69.35/69.48	c |     79596 |   17551    75090   227854 | 2147483647    79596    229 |  0.000 % |
70.25/70.33	c |     80390 |   17551    75090   227854 | 2147483647    80390    229 |  0.000 % |
71.25/71.30	c |     81262 |   17551    75090   227854 | 2147483647    81262    230 |  0.000 % |
72.25/72.30	c |     82220 |   17551    75090   227854 | 2147483647    82220    230 |  0.000 % |
72.35/72.43	c |     82322 |   17551    75090   227854 | 2147483647    82322    230 |  0.000 % |
72.45/72.58	c |     82434 |   17551    75090   227854 | 2147483647    82434    230 |  0.000 % |
72.65/72.72	c |     82555 |   17551    75090   227854 | 2147483647    82555    230 |  0.000 % |
72.75/72.89	c |     82688 |   17551    75090   227854 | 2147483647    82688    230 |  0.000 % |
72.95/73.06	c |     82837 |   17551    75090   227854 | 2147483647    82837    230 |  0.000 % |
73.14/73.23	c |     82997 |   17551    75090   227854 | 2147483647    82997    230 |  0.000 % |
73.34/73.45	c |     83176 |   17551    75090   227854 | 2147483647    83176    230 |  0.000 % |
73.55/73.67	c |     83372 |   17551    75090   227854 | 2147483647    83372    230 |  0.000 % |
73.84/73.92	c |     83585 |   17551    75090   227854 | 2147483647    83585    229 |  0.000 % |
74.15/74.21	c |     83821 |   17551    75090   227854 | 2147483647    83821    230 |  0.000 % |
74.35/74.49	c |     84079 |   17551    75090   227854 | 2147483647    84079    230 |  0.000 % |
74.75/74.83	c |     84360 |   17551    75090   227854 | 2147483647    84360    230 |  0.000 % |
75.05/75.19	c |     84671 |   17551    75090   227854 | 2147483647    84671    230 |  0.000 % |
75.45/75.59	c |     85010 |   17551    75090   227854 | 2147483647    85010    230 |  0.000 % |
75.95/76.02	c |     85383 |   17551    75090   227854 | 2147483647    85383    230 |  0.000 % |
76.34/76.46	c |     85792 |   17551    75090   227854 | 2147483647    85792    230 |  0.000 % |
76.85/76.97	c |     86241 |   17551    75090   227854 | 2147483647    86241    230 |  0.000 % |
77.44/77.55	c |     86734 |   17551    75090   227854 | 2147483647    86734    230 |  0.000 % |
78.05/78.15	c |     87276 |   17551    75090   227854 | 2147483647    87276    230 |  0.000 % |
78.74/78.83	c |     87873 |   17551    75090   227854 | 2147483647    87873    230 |  0.000 % |
79.45/79.58	c |     88528 |   17551    75090   227854 | 2147483647    88528    231 |  0.000 % |
80.25/80.39	c |     89248 |   17551    75090   227854 | 2147483647    89248    232 |  0.000 % |
81.24/81.34	c |     90042 |   17551    75090   227854 | 2147483647    90042    232 |  0.000 % |
82.24/82.38	c |     90914 |   17551    75090   227854 | 2147483647    90914    233 |  0.000 % |
83.34/83.46	c |     91872 |   17551    75090   227854 | 2147483647    91872    233 |  0.000 % |
84.54/84.67	c |     92926 |   17551    75090   227854 | 2147483647    92926    233 |  0.000 % |
84.64/84.79	c |     93028 |   17551    75090   227854 | 2147483647    93028    233 |  0.000 % |
84.84/84.95	c |     93138 |   17551    75090   227854 | 2147483647    93138    233 |  0.000 % |
85.04/85.11	c |     93259 |   17551    75090   227854 | 2147483647    93259    233 |  0.000 % |
85.14/85.28	c |     93393 |   17551    75090   227854 | 2147483647    93393    233 |  0.000 % |
85.35/85.48	c |     93539 |   17551    75090   227854 | 2147483647    93539    233 |  0.000 % |
85.55/85.69	c |     93699 |   17551    75090   227854 | 2147483647    93699    233 |  0.000 % |
85.84/85.92	c |     93875 |   17551    75090   227854 | 2147483647    93875    233 |  0.000 % |
86.04/86.17	c |     94069 |   17551    75090   227854 | 2147483647    94069    233 |  0.000 % |
86.34/86.47	c |     94281 |   17551    75090   227854 | 2147483647    94281    233 |  0.000 % |
86.64/86.75	c |     94514 |   17551    75090   227854 | 2147483647    94514    233 |  0.000 % |
86.94/87.07	c |     94771 |   17551    75090   227854 | 2147483647    94771    233 |  0.000 % |
87.34/87.41	c |     95052 |   17551    75090   227854 | 2147483647    95052    233 |  0.000 % |
87.64/87.78	c |     95363 |   17551    75090   227854 | 2147483647    95363    233 |  0.000 % |
88.14/88.20	c |     95702 |   17551    75090   227854 | 2147483647    95702    233 |  0.000 % |
88.55/88.67	c |     96074 |   17551    75090   227854 | 2147483647    96074    233 |  0.000 % |
89.05/89.14	c |     96487 |   17551    75090   227854 | 2147483647    96487    233 |  0.000 % |
89.55/89.64	c |     96937 |   17551    75090   227854 | 2147483647    96937    233 |  0.000 % |
90.15/90.28	c |     97430 |   17551    75090   227854 | 2147483647    97430    233 |  0.000 % |
90.84/90.94	c |     97974 |   17551    75090   227854 | 2147483647    97974    234 |  0.000 % |
91.54/91.61	c |     98572 |   17551    75090   227854 | 2147483647    98572    234 |  0.000 % |
92.24/92.37	c |     99228 |   17551    75090   227854 | 2147483647    99228    234 |  0.000 % |
93.04/93.17	c |     99948 |   17551    75090   227854 | 2147483647    99948    234 |  0.000 % |
94.04/94.11	c |    100741 |   17551    75090   227854 | 2147483647   100741    234 |  0.000 % |
95.03/95.16	c |    101612 |   17551    75090   227854 | 2147483647   101612    234 |  0.000 % |
96.14/96.26	c |    102570 |   17551    75090   227854 | 2147483647   102570    235 |  0.000 % |
97.44/97.50	c |    103624 |   17551    75090   227854 | 2147483647   103624    236 |  0.000 % |
98.74/98.87	c |    104785 |   17551    75090   227854 | 2147483647   104785    237 |  0.000 % |
98.84/99.00	c |    104886 |   17551    75090   227854 | 2147483647   104886    237 |  0.000 % |
99.04/99.15	c |    104996 |   17551    75090   227854 | 2147483647   104996    237 |  0.000 % |
99.23/99.33	c |    105118 |   17551    75090   227854 | 2147483647   105118    237 |  0.000 % |
99.33/99.50	c |    105251 |   17551    75090   227854 | 2147483647   105251    237 |  0.000 % |
99.63/99.72	c |    105397 |   17551    75090   227854 | 2147483647   105397    237 |  0.000 % |
99.83/99.92	c |    105558 |   17551    75090   227854 | 2147483647   105558    237 |  0.000 % |
100.05/100.19	c |    105735 |   17551    75090   227854 | 2147483647   105735    237 |  0.000 % |
100.34/100.45	c |    105928 |   17551    75090   227854 | 2147483647   105928    237 |  0.000 % |
100.64/100.70	c |    106140 |   17551    75090   227854 | 2147483647   106140    237 |  0.000 % |
100.94/101.00	c |    106374 |   17551    75090   227854 | 2147483647   106374    237 |  0.000 % |
101.24/101.35	c |    106630 |   17551    75090   227854 | 2147483647   106630    237 |  0.000 % |
101.64/101.72	c |    106912 |   17551    75090   227854 | 2147483647   106912    237 |  0.000 % |
102.04/102.12	c |    107221 |   17551    75090   227854 | 2147483647   107221    237 |  0.000 % |
102.44/102.54	c |    107560 |   17551    75090   227854 | 2147483647   107560    237 |  0.000 % |
102.93/103.03	c |    107933 |   17551    75090   227854 | 2147483647   107933    237 |  0.000 % |
103.43/103.59	c |    108347 |   17551    75090   227854 | 2147483647   108347    237 |  0.000 % |
104.04/104.12	c |    108796 |   17551    75090   227854 | 2147483647   108796    238 |  0.000 % |
104.64/104.76	c |    109290 |   17551    75090   227854 | 2147483647   109290    238 |  0.000 % |
105.34/105.47	c |    109832 |   17551    75090   227854 | 2147483647   109832    238 |  0.000 % |
106.14/106.25	c |    110428 |   17551    75090   227854 | 2147483647   110428    238 |  0.000 % |
106.94/107.08	c |    111085 |   17551    75090   227854 | 2147483647   111085    238 |  0.000 % |
107.83/107.99	c |    111806 |   17551    75090   227854 | 2147483647   111806    238 |  0.000 % |
108.84/109.00	c |    112599 |   17551    75090   227854 | 2147483647   112599    238 |  0.000 % |
109.94/110.06	c |    113472 |   17551    75090   227854 | 2147483647   113472    239 |  0.000 % |
111.14/111.30	c |    114431 |   17551    75090   227854 | 2147483647   114431    240 |  0.000 % |
112.54/112.70	c |    115484 |   17551    75090   227854 | 2147483647   115484    240 |  0.000 % |
114.03/114.19	c |    116646 |   17551    75090   227854 | 2147483647   116646    240 |  0.000 % |
115.73/115.80	c |    117922 |   17551    75090   227854 | 2147483647   117922    241 |  0.000 % |
115.83/115.96	c |    118022 |   17551    75090   227854 | 2147483647   118022    241 |  0.000 % |
116.03/116.15	c |    118132 |   17551    75090   227854 | 2147483647   118132    241 |  0.000 % |
116.23/116.33	c |    118254 |   17551    75090   227854 | 2147483647   118254    241 |  0.000 % |
116.43/116.54	c |    118389 |   17551    75090   227854 | 2147483647   118389    241 |  0.000 % |
116.63/116.75	c |    118535 |   17551    75090   227854 | 2147483647   118535    241 |  0.000 % |
116.93/117.00	c |    118696 |   17551    75090   227854 | 2147483647   118696    241 |  0.000 % |
117.13/117.27	c |    118872 |   17551    75090   227854 | 2147483647   118872    241 |  0.000 % |
117.44/117.56	c |    119066 |   17551    75090   227854 | 2147483647   119066    241 |  0.000 % |
117.74/117.86	c |    119278 |   17551    75090   227854 | 2147483647   119278    241 |  0.000 % |
118.14/118.20	c |    119511 |   17551    75090   227854 | 2147483647   119511    241 |  0.000 % |
118.44/118.56	c |    119767 |   17551    75090   227854 | 2147483647   119767    241 |  0.000 % |
118.83/118.97	c |    120051 |   17551    75090   227854 | 2147483647   120051    241 |  0.000 % |
119.33/119.43	c |    120363 |   17551    75090   227854 | 2147483647   120363    241 |  0.000 % |
119.84/119.90	c |    120702 |   17551    75090   227854 | 2147483647   120702    241 |  0.000 % |
120.23/120.38	c |    121074 |   17551    75090   227854 | 2147483647   121074    241 |  0.000 % |
120.84/120.93	c |    121486 |   17551    75090   227854 | 2147483647   121486    241 |  0.000 % |
121.43/121.53	c |    121936 |   17551    75090   227854 | 2147483647   121936    241 |  0.000 % |
122.03/122.17	c |    122432 |   17551    75090   227854 | 2147483647   122432    241 |  0.000 % |
122.73/122.87	c |    122975 |   17551    75090   227854 | 2147483647   122975    242 |  0.000 % |
123.64/123.71	c |    123571 |   17551    75090   227854 | 2147483647   123571    241 |  0.000 % |
124.43/124.57	c |    124228 |   17551    75090   227854 | 2147483647   124228    242 |  0.000 % |
125.43/125.53	c |    124950 |   17551    75090   227854 | 2147483647   124950    242 |  0.000 % |
126.53/126.66	c |    125746 |   17551    75090   227854 | 2147483647   125746    242 |  0.000 % |
127.83/127.90	c |    126619 |   17551    75090   227854 | 2147483647   126619    243 |  0.000 % |
129.13/129.23	c |    127577 |   17551    75090   227854 | 2147483647   127577    244 |  0.000 % |
130.43/130.54	c |    128631 |   17551    75090   227854 | 2147483647   128631    244 |  0.000 % |
131.84/131.95	c |    129789 |   17551    75090   227854 | 2147483647   129789    245 |  0.000 % |
133.53/133.61	c |    131063 |   17551    75090   227854 | 2147483647   131063    245 |  0.000 % |
135.33/135.44	c |    132464 |   17551    75090   227854 | 2147483647   132464    245 |  0.000 % |
135.43/135.59	c |    132564 |   17551    75090   227854 | 2147483647   132564    245 |  0.000 % |
135.63/135.78	c |    132675 |   17551    75090   227854 | 2147483647   132675    245 |  0.000 % |
135.82/135.97	c |    132796 |   17551    75090   227854 | 2147483647   132796    245 |  0.000 % |
136.02/136.19	c |    132929 |   17551    75090   227854 | 2147483647   132929    245 |  0.000 % |
136.34/136.42	c |    133075 |   17551    75090   227854 | 2147483647   133075    245 |  0.000 % |
136.53/136.66	c |    133235 |   17551    75090   227854 | 2147483647   133235    245 |  0.000 % |
136.83/136.93	c |    133412 |   17551    75090   227854 | 2147483647   133412    245 |  0.000 % |
137.13/137.23	c |    133605 |   17551    75090   227854 | 2147483647   133605    245 |  0.000 % |
137.44/137.53	c |    133817 |   17551    75090   227854 | 2147483647   133817    245 |  0.000 % |
137.73/137.87	c |    134050 |   17551    75090   227854 | 2147483647   134050    245 |  0.000 % |
138.13/138.25	c |    134306 |   17551    75090   227854 | 2147483647   134306    245 |  0.000 % |
138.53/138.66	c |    134587 |   17551    75090   227854 | 2147483647   134587    245 |  0.000 % |
138.93/139.09	c |    134897 |   17551    75090   227854 | 2147483647   134897    245 |  0.000 % |
139.43/139.58	c |    135237 |   17551    75090   227854 | 2147483647   135237    245 |  0.000 % |
140.02/140.14	c |    135609 |   17551    75090   227854 | 2147483647   135609    245 |  0.000 % |
140.63/140.76	c |    136019 |   17551    75090   227854 | 2147483647   136019    245 |  0.000 % |
141.22/141.37	c |    136468 |   17551    75090   227854 | 2147483647   136468    245 |  0.000 % |
142.02/142.10	c |    136962 |   17551    75090   227854 | 2147483647   136962    245 |  0.000 % |
142.72/142.86	c |    137504 |   17551    75090   227854 | 2147483647   137504    245 |  0.000 % |
143.63/143.72	c |    138100 |   17551    75090   227854 | 2147483647   138100    245 |  0.000 % |
144.53/144.66	c |    138755 |   17551    75090   227854 | 2147483647   138755    245 |  0.000 % |
145.63/145.74	c |    139476 |   17551    75090   227854 | 2147483647   139476    245 |  0.000 % |
146.73/146.88	c |    140270 |   17551    75090   227854 | 2147483647   140270    245 |  0.000 % |
148.02/148.15	c |    141143 |   17551    75090   227854 | 2147483647   141143    245 |  0.000 % |
149.53/149.60	c |    142101 |   17551    75090   227854 | 2147483647   142101    245 |  0.000 % |
151.03/151.10	c |    143154 |   17551    75090   227854 | 2147483647   143154    246 |  0.000 % |
152.52/152.66	c |    144313 |   17551    75090   227854 | 2147483647   144313    246 |  0.000 % |
154.33/154.45	c |    145588 |   17551    75090   227854 | 2147483647   145588    246 |  0.000 % |
156.32/156.49	c |    146988 |   17551    75090   227854 | 2147483647   146988    246 |  0.000 % |
158.63/158.75	c |    148530 |   17551    75090   227854 | 2147483647   148530    247 |  0.000 % |
158.82/158.94	c |    148632 |   17551    75090   227854 | 2147483647   148632    247 |  0.000 % |
159.02/159.12	c |    148742 |   17551    75090   227854 | 2147483647   148742    247 |  0.000 % |
159.22/159.32	c |    148863 |   17551    75090   227854 | 2147483647   148863    247 |  0.000 % |
159.43/159.55	c |    148996 |   17551    75090   227854 | 2147483647   148996    247 |  0.000 % |
159.72/159.80	c |    149142 |   17551    75090   227854 | 2147483647   149142    247 |  0.000 % |
159.92/160.06	c |    149302 |   17551    75090   227854 | 2147483647   149302    247 |  0.000 % |
160.22/160.34	c |    149480 |   17551    75090   227854 | 2147483647   149480    247 |  0.000 % |
160.52/160.63	c |    149673 |   17551    75090   227854 | 2147483647   149673    247 |  0.000 % |
160.82/160.94	c |    149885 |   17551    75090   227854 | 2147483647   149885    247 |  0.000 % |
161.12/161.27	c |    150120 |   17551    75090   227854 | 2147483647   150120    247 |  0.000 % |
161.53/161.65	c |    150379 |   17551    75090   227854 | 2147483647   150379    246 |  0.000 % |
162.03/162.12	c |    150660 |   17551    75090   227854 | 2147483647   150660    246 |  0.000 % |
162.52/162.60	c |    150971 |   17551    75090   227854 | 2147483647   150971    246 |  0.000 % |
163.02/163.13	c |    151311 |   17551    75090   227854 | 2147483647   151311    246 |  0.000 % |
163.52/163.65	c |    151684 |   17551    75090   227854 | 2147483647   151684    246 |  0.000 % |
164.12/164.24	c |    152094 |   17551    75090   227854 | 2147483647   152094    246 |  0.000 % |
164.82/164.98	c |    152544 |   17551    75090   227854 | 2147483647   152544    246 |  0.000 % |
165.62/165.78	c |    153040 |   17551    75090   227854 | 2147483647   153040    246 |  0.000 % |
166.42/166.59	c |    153583 |   17551    75090   227854 | 2147483647   153583    246 |  0.000 % |
167.32/167.49	c |    154179 |   17551    75090   227854 | 2147483647   154179    246 |  0.000 % |
168.32/168.49	c |    154834 |   17551    75090   227854 | 2147483647   154834    246 |  0.000 % |
169.42/169.55	c |    155556 |   17551    75090   227854 | 2147483647   155556    246 |  0.000 % |
170.62/170.75	c |    156348 |   17551    75090   227854 | 2147483647   156348    247 |  0.000 % |
171.92/172.04	c |    157220 |   17551    75090   227854 | 2147483647   157220    247 |  0.000 % |
173.32/173.42	c |    158179 |   17551    75090   227854 | 2147483647   158179    247 |  0.000 % |
174.82/174.95	c |    159233 |   17551    75090   227854 | 2147483647   159233    247 |  0.000 % |
176.62/176.74	c |    160393 |   17551    75090   227854 | 2147483647   160393    247 |  0.000 % |
178.52/178.63	c |    161668 |   17551    75090   227854 | 2147483647   161668    247 |  0.000 % |
180.52/180.68	c |    163068 |   17551    75090   227854 | 2147483647   163068    248 |  0.000 % |
182.81/182.96	c |    164608 |   17551    75090   227854 | 2147483647   164608    248 |  0.000 % |
185.42/185.54	c |    166302 |   17551    75090   227854 | 2147483647   166302    248 |  0.000 % |
185.62/185.71	c |    166403 |   17551    75090   227854 | 2147483647   166403    248 |  0.000 % |
185.82/185.92	c |    166513 |   17551    75090   227854 | 2147483647   166513    248 |  0.000 % |
186.02/186.16	c |    166634 |   17551    75090   227854 | 2147483647   166634    248 |  0.000 % |
186.22/186.39	c |    166768 |   17551    75090   227854 | 2147483647   166768    248 |  0.000 % |
186.52/186.65	c |    166914 |   17551    75090   227854 | 2147483647   166914    248 |  0.000 % |
186.82/186.98	c |    167075 |   17551    75090   227854 | 2147483647   167075    248 |  0.000 % |
187.22/187.35	c |    167252 |   17551    75090   227854 | 2147483647   167252    248 |  0.000 % |
187.51/187.67	c |    167446 |   17551    75090   227854 | 2147483647   167446    248 |  0.000 % |
187.92/188.03	c |    167660 |   17551    75090   227854 | 2147483647   167660    248 |  0.000 % |
188.31/188.42	c |    167894 |   17551    75090   227854 | 2147483647   167894    248 |  0.000 % |
188.71/188.86	c |    168150 |   17551    75090   227854 | 2147483647   168150    247 |  0.000 % |
189.21/189.34	c |    168431 |   17551    75090   227854 | 2147483647   168431    247 |  0.000 % |
189.71/189.84	c |    168740 |   17551    75090   227854 | 2147483647   168740    247 |  0.000 % |
190.21/190.38	c |    169079 |   17551    75090   227854 | 2147483647   169079    247 |  0.000 % |
190.81/190.98	c |    169451 |   17551    75090   227854 | 2147483647   169451    247 |  0.000 % |
191.51/191.65	c |    169863 |   17551    75090   227854 | 2147483647   169863    248 |  0.000 % |
192.21/192.37	c |    170314 |   17551    75090   227854 | 2147483647   170314    248 |  0.000 % |
193.01/193.18	c |    170808 |   17551    75090   227854 | 2147483647   170808    247 |  0.000 % |
193.92/194.02	c |    171351 |   17551    75090   227854 | 2147483647   171351    248 |  0.000 % |
194.82/194.93	c |    171947 |   17551    75090   227854 | 2147483647   171947    247 |  0.000 % |
195.91/196.02	c |    172602 |   17551    75090   227854 | 2147483647   172602    247 |  0.000 % |
197.11/197.22	c |    173325 |   17551    75090   227854 | 2147483647   173325    247 |  0.000 % |
198.21/198.39	c |    174117 |   17551    75090   227854 | 2147483647   174117    247 |  0.000 % |
199.52/199.67	c |    174989 |   17551    75090   227854 | 2147483647   174989    248 |  0.000 % |
201.01/201.18	c |    175947 |   17551    75090   227854 | 2147483647   175947    248 |  0.000 % |
202.51/202.67	c |    177003 |   17551    75090   227854 | 2147483647   177003    248 |  0.000 % |
204.52/204.64	c |    178166 |   17551    75090   227854 | 2147483647   178166    248 |  0.000 % |
206.51/206.69	c |    179440 |   17551    75090   227854 | 2147483647   179440    248 |  0.000 % |
208.81/208.92	c |    180841 |   17551    75090   227854 | 2147483647   180841    249 |  0.000 % |
211.31/211.41	c |    182382 |   17551    75090   227854 | 2147483647   182382    249 |  0.000 % |
214.01/214.14	c |    184079 |   17551    75090   227854 | 2147483647   184079    250 |  0.000 % |
217.01/217.15	c |    185943 |   17551    75090   227854 | 2147483647   185943    251 |  0.000 % |
217.21/217.33	c |    186043 |   17551    75090   227854 | 2147483647   186043    250 |  0.000 % |
217.41/217.58	c |    186153 |   17551    75090   227854 | 2147483647   186153    250 |  0.000 % |
217.71/217.81	c |    186274 |   17551    75090   227854 | 2147483647   186274    250 |  0.000 % |
217.91/218.07	c |    186407 |   17551    75090   227854 | 2147483647   186407    250 |  0.000 % |
218.21/218.37	c |    186556 |   17551    75090   227854 | 2147483647   186556    250 |  0.000 % |
218.61/218.72	c |    186716 |   17551    75090   227854 | 2147483647   186716    250 |  0.000 % |
218.91/219.02	c |    186892 |   17551    75090   227854 | 2147483647   186892    250 |  0.000 % |
219.21/219.36	c |    187085 |   17551    75090   227854 | 2147483647   187085    250 |  0.000 % |
219.61/219.77	c |    187299 |   17551    75090   227854 | 2147483647   187299    250 |  0.000 % |
220.01/220.17	c |    187532 |   17551    75090   227854 | 2147483647   187532    250 |  0.000 % |
220.51/220.61	c |    187788 |   17551    75090   227854 | 2147483647   187788    250 |  0.000 % |
220.91/221.10	c |    188069 |   17551    75090   227854 | 2147483647   188069    250 |  0.000 % |
221.50/221.64	c |    188380 |   17551    75090   227854 | 2147483647   188380    250 |  0.000 % |
222.11/222.21	c |    188719 |   17551    75090   227854 | 2147483647   188719    250 |  0.000 % |
222.71/222.82	c |    189091 |   17551    75090   227854 | 2147483647   189091    250 |  0.000 % |
223.51/223.64	c |    189501 |   17551    75090   227854 | 2147483647   189501    250 |  0.000 % |
224.31/224.44	c |    189951 |   17551    75090   227854 | 2147483647   189951    250 |  0.000 % |
225.20/225.30	c |    190445 |   17551    75090   227854 | 2147483647   190445    250 |  0.000 % |
226.10/226.24	c |    190988 |   17551    75090   227854 | 2147483647   190988    250 |  0.000 % |
227.10/227.26	c |    191584 |   17551    75090   227854 | 2147483647   191584    250 |  0.000 % |
228.21/228.37	c |    192239 |   17551    75090   227854 | 2147483647   192239    250 |  0.000 % |
229.50/229.60	c |    192960 |   17551    75090   227854 | 2147483647   192960    250 |  0.000 % |
230.81/230.96	c |    193752 |   17551    75090   227854 | 2147483647   193752    250 |  0.000 % |
232.20/232.37	c |    194624 |   17551    75090   227854 | 2147483647   194624    250 |  0.000 % |
233.80/233.97	c |    195584 |   17551    75090   227854 | 2147483647   195584    250 |  0.000 % |
235.60/235.76	c |    196638 |   17551    75090   227854 | 2147483647   196638    250 |  0.000 % |
237.61/237.70	c |    197796 |   17551    75090   227854 | 2147483647   197796    250 |  0.000 % |
239.70/239.87	c |    199069 |   17551    75090   227854 | 2147483647   199069    251 |  0.000 % |
242.10/242.28	c |    200471 |   17551    75090   227854 | 2147483647   200471    251 |  0.000 % |
244.70/244.86	c |    202012 |   17551    75090   227854 | 2147483647   202012    251 |  0.000 % |
247.70/247.85	c |    203706 |   17551    75090   227854 | 2147483647   203706    251 |  0.000 % |
250.79/250.99	c |    205570 |   17551    75090   227854 | 2147483647   205570    253 |  0.000 % |
254.40/254.51	c |    207621 |   17551    75090   227854 | 2147483647   207621    253 |  0.000 % |
254.50/254.69	c |    207723 |   17551    75090   227854 | 2147483647   207723    253 |  0.000 % |
254.80/254.91	c |    207835 |   17551    75090   227854 | 2147483647   207835    253 |  0.000 % |
255.00/255.14	c |    207957 |   17551    75090   227854 | 2147483647   207957    253 |  0.000 % |
255.30/255.44	c |    208090 |   17551    75090   227854 | 2147483647   208090    253 |  0.000 % |
255.60/255.78	c |    208237 |   17551    75090   227854 | 2147483647   208237    253 |  0.000 % |
255.90/256.10	c |    208397 |   17551    75090   227854 | 2147483647   208397    253 |  0.000 % |
256.30/256.46	c |    208573 |   17551    75090   227854 | 2147483647   208573    253 |  0.000 % |
256.70/256.83	c |    208766 |   17551    75090   227854 | 2147483647   208766    253 |  0.000 % |
257.10/257.28	c |    208979 |   17551    75090   227854 | 2147483647   208979    253 |  0.000 % |
257.60/257.74	c |    209212 |   17551    75090   227854 | 2147483647   209212    253 |  0.000 % |
258.10/258.23	c |    209469 |   17551    75090   227854 | 2147483647   209469    253 |  0.000 % |
258.70/258.80	c |    209751 |   17551    75090   227854 | 2147483647   209751    253 |  0.000 % |
259.20/259.32	c |    210061 |   17551    75090   227854 | 2147483647   210061    253 |  0.000 % |
259.89/260.02	c |    210401 |   17551    75090   227854 | 2147483647   210401    253 |  0.000 % |
260.60/260.75	c |    210775 |   17551    75090   227854 | 2147483647   210775    253 |  0.000 % |
261.39/261.56	c |    211185 |   17551    75090   227854 | 2147483647   211185    253 |  0.000 % |
262.29/262.40	c |    211635 |   17551    75090   227854 | 2147483647   211635    253 |  0.000 % |
263.10/263.27	c |    212129 |   17551    75090   227854 | 2147483647   212129    253 |  0.000 % |
264.09/264.23	c |    212671 |   17551    75090   227854 | 2147483647   212671    253 |  0.000 % |
265.19/265.30	c |    213269 |   17551    75090   227854 | 2147483647   213269    253 |  0.000 % |
266.29/266.44	c |    213924 |   17551    75090   227854 | 2147483647   213924    253 |  0.000 % |
267.60/267.73	c |    214644 |   17551    75090   227854 | 2147483647   214644    252 |  0.000 % |
268.99/269.13	c |    215439 |   17551    75090   227854 | 2147483647   215439    253 |  0.000 % |
270.50/270.66	c |    216310 |   17551    75090   227854 | 2147483647   216310    253 |  0.000 % |
272.09/272.28	c |    217268 |   17551    75090   227854 | 2147483647   217268    253 |  0.000 % |
273.89/274.04	c |    218322 |   17551    75090   227854 | 2147483647   218322    253 |  0.000 % |
275.70/275.83	c |    219481 |   17551    75090   227854 | 2147483647   219481    253 |  0.000 % |
277.89/278.08	c |    220754 |   17551    75090   227854 | 2147483647   220754    253 |  0.000 % |
280.40/280.59	c |    222154 |   17551    75090   227854 | 2147483647   222154    254 |  0.000 % |
283.19/283.36	c |    223694 |   17551    75090   227854 | 2147483647   223694    254 |  0.000 % |
286.29/286.42	c |    225388 |   17551    75090   227854 | 2147483647   225388    254 |  0.000 % |
289.69/289.80	c |    227251 |   17551    75090   227854 | 2147483647   227251    255 |  0.000 % |
293.19/293.35	c |    229300 |   17551    75090   227854 | 2147483647   229300    255 |  0.000 % |
297.28/297.42	c |    231555 |   17551    75090   227854 | 2147483647   231555    256 |  0.000 % |
297.48/297.66	c |    231657 |   17551    75090   227854 | 2147483647   231657    256 |  0.000 % |
297.78/297.92	c |    231767 |   17551    75090   227854 | 2147483647   231767    256 |  0.000 % |
298.08/298.21	c |    231888 |   17551    75090   227854 | 2147483647   231888    256 |  0.000 % |
298.38/298.52	c |    232023 |   17551    75090   227854 | 2147483647   232023    256 |  0.000 % |
298.69/298.89	c |    232169 |   17551    75090   227854 | 2147483647   232169    256 |  0.000 % |
299.09/299.25	c |    232330 |   17551    75090   227854 | 2147483647   232330    256 |  0.000 % |
299.39/299.59	c |    232507 |   17551    75090   227854 | 2147483647   232507    256 |  0.000 % |
299.89/300.00	c |    232700 |   17551    75090   227854 | 2147483647   232700    256 |  0.000 % |
300.29/300.47	c |    232913 |   17551    75090   227854 | 2147483647   232913    256 |  0.000 % |
300.89/301.04	c |    233146 |   17551    75090   227854 | 2147483647   233146    256 |  0.000 % |
301.29/301.47	c |    233403 |   17551    75090   227854 | 2147483647   233403    256 |  0.000 % |
301.88/302.03	c |    233685 |   17551    75090   227854 | 2147483647   233685    256 |  0.000 % |
302.48/302.63	c |    233994 |   17551    75090   227854 | 2147483647   233994    256 |  0.000 % |
303.08/303.29	c |    234334 |   17551    75090   227854 | 2147483647   234334    256 |  0.000 % |
303.79/303.99	c |    234706 |   17551    75090   227854 | 2147483647   234706    256 |  0.000 % |
304.59/304.77	c |    235115 |   17551    75090   227854 | 2147483647   235115    256 |  0.000 % |
305.49/305.62	c |    235564 |   17551    75090   227854 | 2147483647   235564    256 |  0.000 % |
306.49/306.68	c |    236057 |   17551    75090   227854 | 2147483647   236057    256 |  0.000 % |
307.58/307.78	c |    236600 |   17551    75090   227854 | 2147483647   236600    256 |  0.000 % |
308.78/308.91	c |    237200 |   17551    75090   227854 | 2147483647   237200    256 |  0.000 % |
309.98/310.13	c |    237855 |   17551    75090   227854 | 2147483647   237855    256 |  0.000 % |
311.38/311.52	c |    238575 |   17551    75090   227854 | 2147483647   238575    256 |  0.000 % |
312.98/313.13	c |    239368 |   17551    75090   227854 | 2147483647   239368    256 |  0.000 % |
314.58/314.78	c |    240239 |   17551    75090   227854 | 2147483647   240239    256 |  0.000 % |
316.48/316.65	c |    241197 |   17551    75090   227854 | 2147483647   241197    256 |  0.000 % |
318.38/318.58	c |    242250 |   17551    75090   227854 | 2147483647   242250    256 |  0.000 % |
320.48/320.66	c |    243409 |   17551    75090   227854 | 2147483647   243409    257 |  0.000 % |
322.98/323.10	c |    244682 |   17551    75090   227854 | 2147483647   244682    257 |  0.000 % |
325.58/325.72	c |    246084 |   17551    75090   227854 | 2147483647   246084    257 |  0.000 % |
328.58/328.73	c |    247626 |   17551    75090   227854 | 2147483647   247626    257 |  0.000 % |
331.77/331.96	c |    249321 |   17551    75090   227854 | 2147483647   249321    257 |  0.000 % |
335.47/335.62	c |    251186 |   17551    75090   227854 | 2147483647   251186    257 |  0.000 % |
339.18/339.34	c |    253236 |   17551    75090   227854 | 2147483647   253236    257 |  0.000 % |
343.47/343.62	c |    255490 |   17551    75090   227854 | 2147483647   255490    257 |  0.000 % |
348.28/348.44	c |    257968 |   17551    75090   227854 | 2147483647   257968    258 |  0.000 % |
348.48/348.66	c |    258068 |   17551    75090   227854 | 2147483647   258068    258 |  0.000 % |
348.77/348.98	c |    258178 |   17551    75090   227854 | 2147483647   258178    258 |  0.000 % |
349.07/349.27	c |    258302 |   17551    75090   227854 | 2147483647   258302    258 |  0.000 % |
349.47/349.61	c |    258436 |   17551    75090   227854 | 2147483647   258436    258 |  0.000 % |
349.77/349.99	c |    258582 |   17551    75090   227854 | 2147483647   258582    258 |  0.000 % |
350.27/350.43	c |    258743 |   17551    75090   227854 | 2147483647   258743    258 |  0.000 % |
350.67/350.82	c |    258919 |   17551    75090   227854 | 2147483647   258919    258 |  0.000 % |
351.17/351.31	c |    259114 |   17551    75090   227854 | 2147483647   259114    258 |  0.000 % |
351.57/351.79	c |    259326 |   17551    75090   227854 | 2147483647   259326    258 |  0.000 % |
352.17/352.34	c |    259560 |   17551    75090   227854 | 2147483647   259560    258 |  0.000 % |
352.77/352.93	c |    259817 |   17551    75090   227854 | 2147483647   259817    258 |  0.000 % |
353.37/353.54	c |    260103 |   17551    75090   227854 | 2147483647   260103    258 |  0.000 % |
354.07/354.22	c |    260414 |   17551    75090   227854 | 2147483647   260414    258 |  0.000 % |
354.67/354.84	c |    260754 |   17551    75090   227854 | 2147483647   260754    258 |  0.000 % |
355.47/355.68	c |    261127 |   17551    75090   227854 | 2147483647   261127    258 |  0.000 % |
356.37/356.52	c |    261539 |   17551    75090   227854 | 2147483647   261539    258 |  0.000 % |
357.28/357.48	c |    261988 |   17551    75090   227854 | 2147483647   261988    258 |  0.000 % |
358.27/358.47	c |    262481 |   17551    75090   227854 | 2147483647   262481    258 |  0.000 % |
359.37/359.58	c |    263023 |   17551    75090   227854 | 2147483647   263023    258 |  0.000 % |
360.67/360.84	c |    263620 |   17551    75090   227854 | 2147483647   263620    258 |  0.000 % |
361.97/362.19	c |    264276 |   17551    75090   227854 | 2147483647   264276    258 |  0.000 % |
363.47/363.69	c |    264997 |   17551    75090   227854 | 2147483647   264997    258 |  0.000 % |
365.17/365.31	c |    265790 |   17551    75090   227854 | 2147483647   265790    258 |  0.000 % |
366.96/367.16	c |    266661 |   17551    75090   227854 | 2147483647   266661    258 |  0.000 % |
369.07/369.21	c |    267619 |   17551    75090   227854 | 2147483647   267619    258 |  0.000 % |
371.26/371.46	c |    268672 |   17551    75090   227854 | 2147483647   268672    258 |  0.000 % |
373.56/373.74	c |    269832 |   17551    75090   227854 | 2147483647   269832    259 |  0.000 % |
376.16/376.32	c |    271106 |   17551    75090   227854 | 2147483647   271106    259 |  0.000 % |
379.16/379.37	c |    272506 |   17551    75090   227854 | 2147483647   272506    258 |  0.000 % |
382.36/382.55	c |    274048 |   17551    75090   227854 | 2147483647   274048    258 |  0.000 % |
385.76/385.92	c |    275742 |   17551    75090   227854 | 2147483647   275742    258 |  0.000 % |
389.56/389.77	c |    277605 |   17551    75090   227854 | 2147483647   277605    259 |  0.000 % |
393.76/393.95	c |    279655 |   17551    75090   227854 | 2147483647   279655    259 |  0.000 % |
398.45/398.63	c |    281908 |   17551    75090   227854 | 2147483647   281908    260 |  0.000 % |
403.26/403.48	c |    284387 |   17551    75090   227854 | 2147483647   284387    260 |  0.000 % |
409.05/409.21	c |    287112 |   17551    75090   227854 | 2147483647   287112    261 |  0.000 % |
409.25/409.42	c |    287213 |   17551    75090   227854 | 2147483647   287213    261 |  0.000 % |
409.55/409.72	c |    287324 |   17551    75090   227854 | 2147483647   287324    261 |  0.000 % |
409.85/410.05	c |    287446 |   17551    75090   227854 | 2147483647   287446    261 |  0.000 % |
410.16/410.39	c |    287582 |   17551    75090   227854 | 2147483647   287582    261 |  0.000 % |
410.66/410.82	c |    287728 |   17551    75090   227854 | 2147483647   287728    260 |  0.000 % |
411.06/411.23	c |    287889 |   17551    75090   227854 | 2147483647   287889    260 |  0.000 % |
411.46/411.69	c |    288065 |   17551    75090   227854 | 2147483647   288065    260 |  0.000 % |
412.05/412.22	c |    288260 |   17551    75090   227854 | 2147483647   288260    260 |  0.000 % |
412.55/412.70	c |    288472 |   17551    75090   227854 | 2147483647   288472    260 |  0.000 % |
413.15/413.31	c |    288708 |   17551    75090   227854 | 2147483647   288708    260 |  0.000 % |
413.75/413.91	c |    288964 |   17551    75090   227854 | 2147483647   288964    260 |  0.000 % |
414.35/414.58	c |    289246 |   17551    75090   227854 | 2147483647   289246    260 |  0.000 % |
415.05/415.29	c |    289557 |   17551    75090   227854 | 2147483647   289557    260 |  0.000 % |
415.85/416.07	c |    289896 |   17551    75090   227854 | 2147483647   289896    260 |  0.000 % |
416.76/416.99	c |    290269 |   17551    75090   227854 | 2147483647   290269    260 |  0.000 % |
417.86/418.01	c |    290678 |   17551    75090   227854 | 2147483647   290678    260 |  0.000 % |
418.75/418.98	c |    291128 |   17551    75090   227854 | 2147483647   291128    260 |  0.000 % |
419.85/420.05	c |    291621 |   17551    75090   227854 | 2147483647   291621    260 |  0.000 % |
421.05/421.24	c |    292163 |   17551    75090   227854 | 2147483647   292163    260 |  0.000 % |
422.36/422.51	c |    292759 |   17551    75090   227854 | 2147483647   292759    260 |  0.000 % |
423.75/423.92	c |    293416 |   17551    75090   227854 | 2147483647   293416    260 |  0.000 % |
425.35/425.50	c |    294136 |   17551    75090   227854 | 2147483647   294136    260 |  0.000 % |
426.95/427.19	c |    294929 |   17551    75090   227854 | 2147483647   294929    260 |  0.000 % |
428.85/429.07	c |    295801 |   17551    75090   227854 | 2147483647   295801    260 |  0.000 % |
430.95/431.14	c |    296759 |   17551    75090   227854 | 2147483647   296759    260 |  0.000 % |
433.15/433.35	c |    297812 |   17551    75090   227854 | 2147483647   297812    260 |  0.000 % |
435.65/435.85	c |    298970 |   17551    75090   227854 | 2147483647   298970    260 |  0.000 % |
438.45/438.60	c |    300243 |   17551    75090   227854 | 2147483647   300243    260 |  0.000 % |
441.34/441.52	c |    301645 |   17551    75090   227854 | 2147483647   301645    260 |  0.000 % |
444.55/444.76	c |    303186 |   17551    75090   227854 | 2147483647   303186    260 |  0.000 % |
448.35/448.54	c |    304881 |   17551    75090   227854 | 2147483647   304881    261 |  0.000 % |
452.35/452.58	c |    306745 |   17551    75090   227854 | 2147483647   306745    261 |  0.000 % |
456.34/456.54	c |    308794 |   17551    75090   227854 | 2147483647   308794    261 |  0.000 % |
461.14/461.34	c |    311049 |   17551    75090   227854 | 2147483647   311049    261 |  0.000 % |
466.74/466.91	c |    313527 |   17551    75090   227854 | 2147483647   313527    262 |  0.000 % |
472.53/472.75	c |    316252 |   17551    75090   227854 | 2147483647   316252    262 |  0.000 % |
479.04/479.28	c |    319251 |   17551    75090   227854 | 2147483647   319251    262 |  0.000 % |
479.34/479.51	c |    319352 |   17551    75090   227854 | 2147483647   319352    262 |  0.000 % |
479.64/479.82	c |    319464 |   17551    75090   227854 | 2147483647   319464    262 |  0.000 % |
479.94/480.18	c |    319585 |   17551    75090   227854 | 2147483647   319585    262 |  0.000 % |
480.44/480.62	c |    319718 |   17551    75090   227854 | 2147483647   319718    262 |  0.000 % |
480.84/481.04	c |    319864 |   17551    75090   227854 | 2147483647   319864    262 |  0.000 % |
481.24/481.47	c |    320024 |   17551    75090   227854 | 2147483647   320024    262 |  0.000 % |
481.84/482.00	c |    320201 |   17551    75090   227854 | 2147483647   320201    262 |  0.000 % |
482.44/482.60	c |    320396 |   17551    75090   227854 | 2147483647   320396    262 |  0.000 % |
482.94/483.19	c |    320608 |   17551    75090   227854 | 2147483647   320608    262 |  0.000 % |
483.64/483.82	c |    320841 |   17551    75090   227854 | 2147483647   320841    262 |  0.000 % |
484.33/484.52	c |    321097 |   17551    75090   227854 | 2147483647   321097    262 |  0.000 % |
485.03/485.24	c |    321379 |   17551    75090   227854 | 2147483647   321379    262 |  0.000 % |
485.83/486.03	c |    321688 |   17551    75090   227854 | 2147483647   321688    262 |  0.000 % |
486.73/486.91	c |    322027 |   17551    75090   227854 | 2147483647   322027    262 |  0.000 % |
487.73/487.93	c |    322399 |   17551    75090   227854 | 2147483647   322399    262 |  0.000 % |
488.83/489.00	c |    322808 |   17551    75090   227854 | 2147483647   322808    262 |  0.000 % |
489.94/490.13	c |    323258 |   17551    75090   227854 | 2147483647   323258    262 |  0.000 % |
491.13/491.36	c |    323753 |   17551    75090   227854 | 2147483647   323753    262 |  0.000 % |
492.53/492.72	c |    324295 |   17551    75090   227854 | 2147483647   324295    262 |  0.000 % |
493.84/494.05	c |    324891 |   17551    75090   227854 | 2147483647   324891    262 |  0.000 % |
495.34/495.53	c |    325546 |   17551    75090   227854 | 2147483647   325546    262 |  0.000 % |
497.04/497.29	c |    326266 |   17551    75090   227854 | 2147483647   326266    262 |  0.000 % |
498.93/499.15	c |    327058 |   17551    75090   227854 | 2147483647   327058    262 |  0.000 % |
500.83/501.06	c |    327929 |   17551    75090   227854 | 2147483647   327929    262 |  0.000 % |
503.13/503.33	c |    328887 |   17551    75090   227854 | 2147483647   328887    262 |  0.000 % |
505.63/505.89	c |    329940 |   17551    75090   227854 | 2147483647   329940    262 |  0.000 % |
508.23/508.46	c |    331098 |   17551    75090   227854 | 2147483647   331098    262 |  0.000 % |
511.33/511.52	c |    332371 |   17551    75090   227854 | 2147483647   332371    262 |  0.000 % |
514.53/514.79	c |    333771 |   17551    75090   227854 | 2147483647   333771    263 |  0.000 % |
518.03/518.23	c |    335311 |   17551    75090   227854 | 2147483647   335311    263 |  0.000 % |
521.92/522.13	c |    337005 |   17551    75090   227854 | 2147483647   337005    263 |  0.000 % |
526.23/526.47	c |    338868 |   17551    75090   227854 | 2147483647   338868    263 |  0.000 % |
530.93/531.14	c |    340917 |   17551    75090   227854 | 2147483647   340917    263 |  0.000 % |
536.12/536.31	c |    343170 |   17551    75090   227854 | 2147483647   343170    263 |  0.000 % |
541.82/542.03	c |    345649 |   17551    75090   227854 | 2147483647   345649    264 |  0.000 % |
547.92/548.14	c |    348374 |   17551    75090   227854 | 2147483647   348374    264 |  0.000 % |
554.71/554.99	c |    351372 |   17551    75090   227854 | 2147483647   351372    265 |  0.000 % |
562.22/562.47	c |    354668 |   17551    75090   227854 | 2147483647   354668    265 |  0.000 % |
562.52/562.76	c |    354768 |   17551    75090   227854 | 2147483647   354768    265 |  0.000 % |
562.92/563.11	c |    354879 |   17551    75090   227854 | 2147483647   354879    265 |  0.000 % |
563.32/563.54	c |    355003 |   17551    75090   227854 | 2147483647   355003    265 |  0.000 % |
563.82/564.05	c |    355137 |   17551    75090   227854 | 2147483647   355137    265 |  0.000 % |
564.22/564.48	c |    355284 |   17551    75090   227854 | 2147483647   355284    265 |  0.000 % |
564.72/564.95	c |    355446 |   17551    75090   227854 | 2147483647   355446    265 |  0.000 % |
565.31/565.52	c |    355623 |   17551    75090   227854 | 2147483647   355623    265 |  0.000 % |
565.81/566.07	c |    355818 |   17551    75090   227854 | 2147483647   355818    265 |  0.000 % |
566.41/566.68	c |    356032 |   17551    75090   227854 | 2147483647   356032    265 |  0.000 % |
567.11/567.38	c |    356266 |   17551    75090   227854 | 2147483647   356266    265 |  0.000 % |
567.90/568.13	c |    356524 |   17551    75090   227854 | 2147483647   356524    265 |  0.000 % |
568.70/569.00	c |    356808 |   17551    75090   227854 | 2147483647   356808    265 |  0.000 % |
569.51/569.80	c |    357119 |   17551    75090   227854 | 2147483647   357119    265 |  0.000 % |
570.40/570.66	c |    357460 |   17551    75090   227854 | 2147483647   357460    265 |  0.000 % |
571.30/571.58	c |    357833 |   17551    75090   227854 | 2147483647   357833    265 |  0.000 % |
572.41/572.64	c |    358242 |   17551    75090   227854 | 2147483647   358242    265 |  0.000 % |
573.51/573.74	c |    358693 |   17551    75090   227854 | 2147483647   358693    265 |  0.000 % |
574.80/575.05	c |    359190 |   17551    75090   227854 | 2147483647   359190    265 |  0.000 % |
576.20/576.41	c |    359732 |   17551    75090   227854 | 2147483647   359732    265 |  0.000 % |
577.71/577.98	c |    360329 |   17551    75090   227854 | 2147483647   360329    265 |  0.000 % |
579.41/579.61	c |    360985 |   17551    75090   227854 | 2147483647   360985    265 |  0.000 % |
581.10/581.37	c |    361705 |   17551    75090   227854 | 2147483647   361705    264 |  0.000 % |
583.21/583.47	c |    362499 |   17551    75090   227854 | 2147483647   362499    264 |  0.000 % |
585.30/585.59	c |    363371 |   17551    75090   227854 | 2147483647   363371    265 |  0.000 % |
587.60/587.83	c |    364329 |   17551    75090   227854 | 2147483647   364329    265 |  0.000 % |
590.10/590.34	c |    365384 |   17551    75090   227854 | 2147483647   365384    265 |  0.000 % |
592.90/593.12	c |    366542 |   17551    75090   227854 | 2147483647   366542    265 |  0.000 % |
596.09/596.38	c |    367815 |   17551    75090   227854 | 2147483647   367815    265 |  0.000 % |
599.59/599.89	c |    369220 |   17551    75090   227854 | 2147483647   369220    265 |  0.000 % |
603.49/603.75	c |    370761 |   17551    75090   227854 | 2147483647   370761    265 |  0.000 % |
607.70/607.99	c |    372457 |   17551    75090   227854 | 2147483647   372457    265 |  0.000 % |
612.80/613.05	c |    374322 |   17551    75090   227854 | 2147483647   374322    265 |  0.000 % |
617.79/618.02	c |    376373 |   17551    75090   227854 | 2147483647   376373    266 |  0.000 % |
623.09/623.34	c |    378626 |   17551    75090   227854 | 2147483647   378626    266 |  0.000 % |
629.09/629.32	c |    381104 |   17551    75090   227854 | 2147483647   381104    266 |  0.000 % |
635.69/635.93	c |    383830 |   17551    75090   227854 | 2147483647   383830    266 |  0.000 % |
643.49/643.74	c |    386827 |   17551    75090   227854 | 2147483647   386827    266 |  0.000 % |
651.58/651.85	c |    390123 |   17551    75090   227854 | 2147483647   390123    267 |  0.000 % |
660.68/660.94	c |    393750 |   17551    75090   227854 | 2147483647   393750    267 |  0.000 % |
660.98/661.23	c |    393850 |   17551    75090   227854 | 2147483647   393850    267 |  0.000 % |
661.28/661.58	c |    393960 |   17551    75090   227854 | 2147483647   393960    267 |  0.000 % |
661.68/661.98	c |    394081 |   17551    75090   227854 | 2147483647   394081    267 |  0.000 % |
662.28/662.52	c |    394215 |   17551    75090   227854 | 2147483647   394215    267 |  0.000 % |
662.78/663.00	c |    394361 |   17551    75090   227854 | 2147483647   394361    267 |  0.000 % |
663.28/663.57	c |    394521 |   17551    75090   227854 | 2147483647   394521    267 |  0.000 % |
663.98/664.21	c |    394697 |   17551    75090   227854 | 2147483647   394697    267 |  0.000 % |
664.48/664.79	c |    394890 |   17551    75090   227854 | 2147483647   394890    267 |  0.000 % |
665.18/665.44	c |    395102 |   17551    75090   227854 | 2147483647   395102    267 |  0.000 % |
665.88/666.14	c |    395336 |   17551    75090   227854 | 2147483647   395336    267 |  0.000 % |
666.68/666.99	c |    395592 |   17551    75090   227854 | 2147483647   395592    267 |  0.000 % |
667.67/667.93	c |    395873 |   17551    75090   227854 | 2147483647   395873    267 |  0.000 % |
668.59/668.86	c |    396184 |   17551    75090   227854 | 2147483647   396184    267 |  0.000 % |
669.69/669.93	c |    396523 |   17551    75090   227854 | 2147483647   396523    267 |  0.000 % |
670.79/671.03	c |    396897 |   17551    75090   227854 | 2147483647   396897    267 |  0.000 % |
671.98/672.26	c |    397306 |   17551    75090   227854 | 2147483647   397306    267 |  0.000 % |
673.28/673.56	c |    397755 |   17551    75090   227854 | 2147483647   397755    267 |  0.000 % |
674.78/675.01	c |    398249 |   17551    75090   227854 | 2147483647   398249    266 |  0.000 % |
676.18/676.47	c |    398791 |   17551    75090   227854 | 2147483647   398791    266 |  0.000 % |
677.88/678.19	c |    399389 |   17551    75090   227854 | 2147483647   399389    266 |  0.000 % |
679.78/680.00	c |    400047 |   17551    75090   227854 | 2147483647   400047    266 |  0.000 % |
681.78/682.03	c |    400768 |   17551    75090   227854 | 2147483647   400768    266 |  0.000 % |
683.98/684.22	c |    401560 |   17551    75090   227854 | 2147483647   401560    266 |  0.000 % |
686.37/686.68	c |    402431 |   17551    75090   227854 | 2147483647   402431    266 |  0.000 % |
688.97/689.27	c |    403389 |   17551    75090   227854 | 2147483647   403389    266 |  0.000 % |
691.88/692.17	c |    404442 |   17551    75090   227854 | 2147483647   404442    266 |  0.000 % |
694.98/695.28	c |    405600 |   17551    75090   227854 | 2147483647   405600    266 |  0.000 % |
698.37/698.67	c |    406873 |   17551    75090   227854 | 2147483647   406873    266 |  0.000 % |
702.27/702.52	c |    408273 |   17551    75090   227854 | 2147483647   408273    266 |  0.000 % |
706.37/706.62	c |    409813 |   17551    75090   227854 | 2147483647   409813    266 |  0.000 % |
710.77/711.08	c |    411507 |   17551    75090   227854 | 2147483647   411507    266 |  0.000 % |
715.77/716.07	c |    413371 |   17551    75090   227854 | 2147483647   413371    266 |  0.000 % |
721.27/721.53	c |    415420 |   17551    75090   227854 | 2147483647   415420    267 |  0.000 % |
727.56/727.81	c |    417674 |   17551    75090   227854 | 2147483647   417674    267 |  0.000 % |
733.76/734.07	c |    420152 |   17551    75090   227854 | 2147483647   420152    267 |  0.000 % |
740.66/740.99	c |    422877 |   17551    75090   227854 | 2147483647   422877    267 |  0.000 % |
748.36/748.67	c |    425874 |   17551    75090   227854 | 2147483647   425874    267 |  0.000 % |
756.46/756.76	c |    429170 |   17551    75090   227854 | 2147483647   429170    268 |  0.000 % |
765.86/766.20	c |    432795 |   17551    75090   227854 | 2147483647   432795    268 |  0.000 % |
776.55/776.86	c |    436783 |   17551    75090   227854 | 2147483647   436783    268 |  0.000 % |
776.95/777.25	c |    436884 |   17551    75090   227854 | 2147483647   436884    268 |  0.000 % |
777.36/777.65	c |    436994 |   17551    75090   227854 | 2147483647   436994    268 |  0.000 % |
777.85/778.11	c |    437115 |   17551    75090   227854 | 2147483647   437115    268 |  0.000 % |
778.25/778.57	c |    437249 |   17551    75090   227854 | 2147483647   437249    268 |  0.000 % |
778.75/779.04	c |    437396 |   17551    75090   227854 | 2147483647   437396    268 |  0.000 % |
779.35/779.63	c |    437557 |   17551    75090   227854 | 2147483647   437557    268 |  0.000 % |
780.05/780.33	c |    437733 |   17551    75090   227854 | 2147483647   437733    268 |  0.000 % |
780.75/781.00	c |    437927 |   17551    75090   227854 | 2147483647   437927    268 |  0.000 % |
781.35/781.68	c |    438141 |   17551    75090   227854 | 2147483647   438141    268 |  0.000 % |
782.15/782.42	c |    438374 |   17551    75090   227854 | 2147483647   438374    268 |  0.000 % |
782.95/783.28	c |    438630 |   17551    75090   227854 | 2147483647   438630    268 |  0.000 % |
783.95/784.22	c |    438912 |   17551    75090   227854 | 2147483647   438912    268 |  0.000 % |
784.74/785.07	c |    439221 |   17551    75090   227854 | 2147483647   439221    268 |  0.000 % |
785.94/786.29	c |    439560 |   17551    75090   227854 | 2147483647   439560    268 |  0.000 % |
787.25/787.57	c |    439932 |   17551    75090   227854 | 2147483647   439932    268 |  0.000 % |
788.54/788.88	c |    440341 |   17551    75090   227854 | 2147483647   440341    268 |  0.000 % |
789.95/790.22	c |    440792 |   17551    75090   227854 | 2147483647   440792    268 |  0.000 % |
791.45/791.70	c |    441285 |   17551    75090   227854 | 2147483647   441285    268 |  0.000 % |
793.04/793.32	c |    441827 |   17551    75090   227854 | 2147483647   441827    268 |  0.000 % |
794.84/795.14	c |    442423 |   17551    75090   227854 | 2147483647   442423    268 |  0.000 % |
796.75/797.08	c |    443079 |   17551    75090   227854 | 2147483647   443079    268 |  0.000 % |
799.04/799.34	c |    443799 |   17551    75090   227854 | 2147483647   443799    268 |  0.000 % |
801.44/801.72	c |    444592 |   17551    75090   227854 | 2147483647   444592    268 |  0.000 % |
804.14/804.48	c |    445463 |   17551    75090   227854 | 2147483647   445463    268 |  0.000 % |
806.94/807.22	c |    446421 |   17551    75090   227854 | 2147483647   446421    268 |  0.000 % |
810.04/810.30	c |    447474 |   17551    75090   227854 | 2147483647   447474    268 |  0.000 % |
813.54/813.80	c |    448633 |   17551    75090   227854 | 2147483647   448633    268 |  0.000 % |
817.14/817.43	c |    449906 |   17551    75090   227854 | 2147483647   449906    268 |  0.000 % |
820.94/821.25	c |    451306 |   17551    75090   227854 | 2147483647   451306    268 |  0.000 % |
825.23/825.54	c |    452849 |   17551    75090   227854 | 2147483647   452849    268 |  0.000 % |
830.24/830.50	c |    454544 |   17551    75090   227854 | 2147483647   454544    268 |  0.000 % |
835.53/835.86	c |    456409 |   17551    75090   227854 | 2147483647   456409    268 |  0.000 % |
841.34/841.68	c |    458461 |   17551    75090   227854 | 2147483647   458461    268 |  0.000 % |
847.64/847.98	c |    460715 |   17551    75090   227854 | 2147483647   460715    269 |  0.000 % |
854.63/854.93	c |    463194 |   17551    75090   227854 | 2147483647   463194    269 |  0.000 % |
862.33/862.66	c |    465920 |   17551    75090   227854 | 2147483647   465920    269 |  0.000 % |
870.72/871.06	c |    468917 |   17551    75090   227854 | 2147483647   468917    269 |  0.000 % |
879.93/880.29	c |    472213 |   17551    75090   227854 | 2147483647   472213    270 |  0.000 % |
890.32/890.69	c |    475841 |   17551    75090   227854 | 2147483647   475841    270 |  0.000 % |
901.41/901.75	c |    479828 |   17551    75090   227854 | 2147483647   479828    270 |  0.000 % |
913.72/914.04	c |    484213 |   17551    75090   227854 | 2147483647   484213    271 |  0.000 % |
914.11/914.41	c |    484313 |   17551    75090   227854 | 2147483647   484313    271 |  0.000 % |
914.51/914.84	c |    484424 |   17551    75090   227854 | 2147483647   484424    271 |  0.000 % |
915.11/915.41	c |    484545 |   17551    75090   227854 | 2147483647   484545    271 |  0.000 % |
915.61/915.97	c |    484682 |   17551    75090   227854 | 2147483647   484682    271 |  0.000 % |
916.21/916.51	c |    484829 |   17551    75090   227854 | 2147483647   484829    271 |  0.000 % |
916.71/917.06	c |    484989 |   17551    75090   227854 | 2147483647   484989    271 |  0.000 % |
917.41/917.73	c |    485166 |   17551    75090   227854 | 2147483647   485166    271 |  0.000 % |
918.01/918.34	c |    485360 |   17551    75090   227854 | 2147483647   485360    271 |  0.000 % |
918.81/919.12	c |    485574 |   17551    75090   227854 | 2147483647   485574    271 |  0.000 % |
919.61/919.99	c |    485807 |   17551    75090   227854 | 2147483647   485807    271 |  0.000 % |
920.51/920.83	c |    486064 |   17551    75090   227854 | 2147483647   486064    271 |  0.000 % |
921.61/921.91	c |    486346 |   17551    75090   227854 | 2147483647   486346    271 |  0.000 % |
922.62/922.98	c |    486655 |   17551    75090   227854 | 2147483647   486655    271 |  0.000 % |
923.91/924.20	c |    486994 |   17551    75090   227854 | 2147483647   486994    271 |  0.000 % |
925.11/925.49	c |    487366 |   17551    75090   227854 | 2147483647   487366    271 |  0.000 % |
926.51/926.87	c |    487776 |   17551    75090   227854 | 2147483647   487776    271 |  0.000 % |
928.01/928.33	c |    488225 |   17551    75090   227854 | 2147483647   488225    271 |  0.000 % |
929.70/930.04	c |    488718 |   17551    75090   227854 | 2147483647   488718    271 |  0.000 % |
931.60/931.97	c |    489260 |   17551    75090   227854 | 2147483647   489260    271 |  0.000 % |
933.61/933.99	c |    489857 |   17551    75090   227854 | 2147483647   489857    271 |  0.000 % |
935.81/936.17	c |    490512 |   17551    75090   227854 | 2147483647   490512    271 |  0.000 % |
938.30/938.60	c |    491232 |   17551    75090   227854 | 2147483647   491232    271 |  0.000 % |
940.81/941.18	c |    492025 |   17551    75090   227854 | 2147483647   492025    271 |  0.000 % |
943.70/944.00	c |    492896 |   17551    75090   227854 | 2147483647   492896    271 |  0.000 % |
946.50/946.86	c |    493856 |   17551    75090   227854 | 2147483647   493856    271 |  0.000 % |
949.80/950.17	c |    494910 |   17551    75090   227854 | 2147483647   494910    271 |  0.000 % |
953.50/953.82	c |    496074 |   17551    75090   227854 | 2147483647   496074    271 |  0.000 % |
957.40/957.79	c |    497347 |   17551    75090   227854 | 2147483647   497347    271 |  0.000 % |
961.60/961.95	c |    498747 |   17551    75090   227854 | 2147483647   498747    271 |  0.000 % |
966.40/966.75	c |    500289 |   17551    75090   227854 | 2147483647   500289    271 |  0.000 % |
971.60/971.94	c |    501984 |   17551    75090   227854 | 2147483647   501984    271 |  0.000 % |
977.29/977.62	c |    503847 |   17551    75090   227854 | 2147483647   503847    271 |  0.000 % |
983.20/983.50	c |    505896 |   17551    75090   227854 | 2147483647   505896    271 |  0.000 % |
990.09/990.42	c |    508151 |   17551    75090   227854 | 2147483647   508151    271 |  0.000 % |
996.79/997.14	c |    510629 |   17551    75090   227854 | 2147483647   510629    271 |  0.000 % |
1004.69/1005.04	c |    513354 |   17551    75090   227854 | 2147483647   513354    272 |  0.000 % |
1013.69/1014.08	c |    516351 |   17551    75090   227854 | 2147483647   516351    272 |  0.000 % |
1023.98/1024.38	c |    519648 |   17551    75090   227854 | 2147483647   519648    272 |  0.000 % |
1034.38/1034.76	c |    523273 |   17551    75090   227854 | 2147483647   523273    273 |  0.000 % |
1046.78/1047.17	c |    527260 |   17551    75090   227854 | 2147483647   527260    273 |  0.000 % |
1059.27/1059.60	c |    531645 |   17551    75090   227854 | 2147483647   531645    274 |  0.000 % |
1073.57/1073.97	c |    536471 |   17551    75090   227854 | 2147483647   536471    275 |  0.000 % |
1074.07/1074.43	c |    536572 |   17551    75090   227854 | 2147483647   536572    275 |  0.000 % |
1074.57/1074.95	c |    536682 |   17551    75090   227854 | 2147483647   536682    275 |  0.000 % |
1075.07/1075.48	c |    536804 |   17551    75090   227854 | 2147483647   536804    275 |  0.000 % |
1075.67/1076.03	c |    536939 |   17551    75090   227854 | 2147483647   536939    275 |  0.000 % |
1076.26/1076.66	c |    537087 |   17551    75090   227854 | 2147483647   537087    275 |  0.000 % |
1077.07/1077.44	c |    537248 |   17551    75090   227854 | 2147483647   537248    275 |  0.000 % |
1077.77/1078.13	c |    537425 |   17551    75090   227854 | 2147483647   537425    275 |  0.000 % |
1078.57/1078.93	c |    537618 |   17551    75090   227854 | 2147483647   537618    275 |  0.000 % |
1079.47/1079.86	c |    537830 |   17551    75090   227854 | 2147483647   537830    275 |  0.000 % |
1080.47/1080.80	c |    538063 |   17551    75090   227854 | 2147483647   538063    275 |  0.000 % |
1081.47/1081.88	c |    538319 |   17551    75090   227854 | 2147483647   538319    275 |  0.000 % |
1082.67/1083.00	c |    538603 |   17551    75090   227854 | 2147483647   538603    275 |  0.000 % |
1083.77/1084.16	c |    538915 |   17551    75090   227854 | 2147483647   538915    275 |  0.000 % |
1085.07/1085.48	c |    539254 |   17551    75090   227854 | 2147483647   539254    275 |  0.000 % |
1086.47/1086.89	c |    539626 |   17551    75090   227854 | 2147483647   539626    275 |  0.000 % |
1088.06/1088.46	c |    540035 |   17551    75090   227854 | 2147483647   540035    275 |  0.000 % |
1089.87/1090.25	c |    540486 |   17551    75090   227854 | 2147483647   540486    275 |  0.000 % |
1091.76/1092.11	c |    540979 |   17551    75090   227854 | 2147483647   540979    275 |  0.000 % |
1093.76/1094.15	c |    541523 |   17551    75090   227854 | 2147483647   541523    275 |  0.000 % |
1095.96/1096.31	c |    542119 |   17551    75090   227854 | 2147483647   542119    275 |  0.000 % |
1098.27/1098.64	c |    542774 |   17551    75090   227854 | 2147483647   542774    275 |  0.000 % |
1100.86/1101.22	c |    543494 |   17551    75090   227854 | 2147483647   543494    275 |  0.000 % |
1103.56/1103.96	c |    544286 |   17551    75090   227854 | 2147483647   544286    275 |  0.000 % |
1106.76/1107.13	c |    545160 |   17551    75090   227854 | 2147483647   545160    275 |  0.000 % |
1109.96/1110.36	c |    546119 |   17551    75090   227854 | 2147483647   546119    275 |  0.000 % |
1113.46/1113.86	c |    547174 |   17551    75090   227854 | 2147483647   547174    275 |  0.000 % |
1117.26/1117.64	c |    548332 |   17551    75090   227854 | 2147483647   548332    275 |  0.000 % |
1121.46/1121.83	c |    549606 |   17551    75090   227854 | 2147483647   549606    275 |  0.000 % |
1126.06/1126.40	c |    551007 |   17551    75090   227854 | 2147483647   551007    275 |  0.000 % |
1131.56/1131.95	c |    552548 |   17551    75090   227854 | 2147483647   552548    275 |  0.000 % |
1137.25/1137.66	c |    554242 |   17551    75090   227854 | 2147483647   554242    275 |  0.000 % |
1143.15/1143.53	c |    556105 |   17551    75090   227854 | 2147483647   556105    275 |  0.000 % |
1149.95/1150.33	c |    558154 |   17551    75090   227854 | 2147483647   558154    275 |  0.000 % |
1157.45/1157.86	c |    560409 |   17551    75090   227854 | 2147483647   560409    275 |  0.000 % |
1165.15/1165.56	c |    562889 |   17551    75090   227854 | 2147483647   562889    275 |  0.000 % |
1173.85/1174.29	c |    565614 |   17551    75090   227854 | 2147483647   565614    275 |  0.000 % |
1183.84/1184.22	c |    568612 |   17551    75090   227854 | 2147483647   568612    275 |  0.000 % |
1194.63/1195.03	c |    571909 |   17551    75090   227854 | 2147483647   571909    276 |  0.000 % |

Verifier Data 

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

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832797-1242787896/watcher-1832797-1242787896 -o /tmp/evaluation-result-1832797-1242787896/solver-1832797-1242787896 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832797-1242787896.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.99 0.98 0.93 3/64 12942
/proc/meminfo: memFree=1913184/2055920 swapFree=4180284/4192956
[pid=12942] ppid=12940 vsize=5356 CPUtime=0
/proc/12942/stat : 12942 (SatELiteGTI) S 12940 12942 12277 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306822821 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12942/statm: 1339 237 197 169 0 50 0

[startup+0.0223929 s]
/proc/loadavg: 0.99 0.98 0.93 3/64 12942
/proc/meminfo: memFree=1913184/2055920 swapFree=4180284/4192956
[pid=12942] ppid=12940 vsize=5356 CPUtime=0
/proc/12942/stat : 12942 (SatELiteGTI) S 12940 12942 12277 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306822821 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12942/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101401 s]
/proc/loadavg: 0.99 0.98 0.93 3/64 12942
/proc/meminfo: memFree=1913184/2055920 swapFree=4180284/4192956
[pid=12942] ppid=12940 vsize=5356 CPUtime=0
/proc/12942/stat : 12942 (SatELiteGTI) S 12940 12942 12277 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306822821 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12942/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301425 s]
/proc/loadavg: 0.99 0.98 0.93 3/64 12942
/proc/meminfo: memFree=1913184/2055920 swapFree=4180284/4192956
[pid=12942] ppid=12940 vsize=5356 CPUtime=0
/proc/12942/stat : 12942 (SatELiteGTI) S 12940 12942 12277 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306822821 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12942/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701471 s]
/proc/loadavg: 0.99 0.98 0.93 3/64 12942
/proc/meminfo: memFree=1913184/2055920 swapFree=4180284/4192956
[pid=12942] ppid=12940 vsize=5356 CPUtime=0.34
/proc/12942/stat : 12942 (SatELiteGTI) S 12940 12942 12277 0 -1 4194304 336 2598 0 0 0 0 32 2 16 0 1 0 306822821 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12942/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 5356

[startup+1.50156 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 12948
/proc/meminfo: memFree=1904912/2055920 swapFree=4180284/4192956
[pid=12942] ppid=12940 vsize=5356 CPUtime=0.34
/proc/12942/stat : 12942 (SatELiteGTI) S 12940 12942 12277 0 -1 4194304 336 2598 0 0 0 0 32 2 16 0 1 0 306822821 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12942/statm: 1339 239 197 169 0 50 0
[pid=12948] ppid=12942 vsize=7980 CPUtime=1.13
/proc/12948/stat : 12948 (minisat_static) R 12942 12942 12277 0 -1 4194304 1849 0 0 0 112 1 0 0 25 0 1 0 306822857 8171520 1835 1992294400 134512640 135215339 4294956240 18446744073709551615 134532711 0 0 4096 3 0 0 0 17 1 0 0
/proc/12948/statm: 1995 1835 77 171 0 1822 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 13336

[startup+3.10175 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 12948
/proc/meminfo: memFree=1903248/2055920 swapFree=4180284/4192956
[pid=12942] ppid=12940 vsize=5356 CPUtime=0.34
/proc/12942/stat : 12942 (SatELiteGTI) S 12940 12942 12277 0 -1 4194304 336 2598 0 0 0 0 32 2 16 0 1 0 306822821 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12942/statm: 1339 239 197 169 0 50 0
[pid=12948] ppid=12942 vsize=10092 CPUtime=2.72
/proc/12948/stat : 12948 (minisat_static) R 12942 12942 12277 0 -1 4194304 2377 0 0 0 271 1 0 0 25 0 1 0 306822857 10334208 2363 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12948/statm: 2523 2363 77 171 0 2350 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 15448

[startup+6.30112 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 12948
/proc/meminfo: memFree=1898896/2055920 swapFree=4180284/4192956
[pid=12942] ppid=12940 vsize=5356 CPUtime=0.34
/proc/12942/stat : 12942 (SatELiteGTI) S 12940 12942 12277 0 -1 4194304 336 2598 0 0 0 0 32 2 16 0 1 0 306822821 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12942/statm: 1339 239 197 169 0 50 0
[pid=12948] ppid=12942 vsize=14056 CPUtime=5.92
/proc/12948/stat : 12948 (minisat_static) R 12942 12942 12277 0 -1 4194304 3370 0 0 0 590 2 0 0 25 0 1 0 306822857 14393344 3356 1992294400 134512640 135215339 4294956240 18446744073709551615 134528905 0 0 4096 3 0 0 0 17 1 0 0
/proc/12948/statm: 3514 3356 77 171 0 3341 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 19412

[startup+12.7029 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 12948
/proc/meminfo: memFree=1890640/2055920 swapFree=4180284/4192956
[pid=12942] ppid=12940 vsize=5356 CPUtime=0.34
/proc/12942/stat : 12942 (SatELiteGTI) S 12940 12942 12277 0 -1 4194304 336 2598 0 0 0 0 32 2 16 0 1 0 306822821 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12942/statm: 1339 239 197 169 0 50 0
[pid=12948] ppid=12942 vsize=21876 CPUtime=12.32
/proc/12948/stat : 12948 (minisat_static) R 12942 12942 12277 0 -1 4194304 5342 0 0 0 1228 4 0 0 25 0 1 0 306822857 22401024 5328 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/12948/statm: 5469 5328 77 171 0 5296 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 27232

[startup+25.5013 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 12948
/proc/meminfo: memFree=1875344/2055920 swapFree=4180284/4192956
[pid=12942] ppid=12940 vsize=5356 CPUtime=0.34
/proc/12942/stat : 12942 (SatELiteGTI) S 12940 12942 12277 0 -1 4194304 336 2598 0 0 0 0 32 2 16 0 1 0 306822821 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12942/statm: 1339 239 197 169 0 50 0
[pid=12948] ppid=12942 vsize=36764 CPUtime=25.12
/proc/12948/stat : 12948 (minisat_static) R 12942 12942 12277 0 -1 4194304 9049 0 0 0 2504 8 0 0 25 0 1 0 306822857 37646336 9035 1992294400 134512640 135215339 4294956240 18446744073709551615 134528616 0 0 4096 3 0 0 0 17 1 0 0
/proc/12948/statm: 9191 9035 77 171 0 9018 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 42120

[startup+51.1013 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 12948
/proc/meminfo: memFree=1848528/2055920 swapFree=4180284/4192956
[pid=12942] ppid=12940 vsize=5356 CPUtime=0.34
/proc/12942/stat : 12942 (SatELiteGTI) S 12940 12942 12277 0 -1 4194304 336 2598 0 0 0 0 32 2 16 0 1 0 306822821 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12942/statm: 1339 239 197 169 0 50 0
[pid=12948] ppid=12942 vsize=63788 CPUtime=50.71
/proc/12948/stat : 12948 (minisat_static) R 12942 12942 12277 0 -1 4194304 15794 0 0 0 5056 15 0 0 25 0 1 0 306822857 65318912 15780 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/12948/statm: 15947 15780 77 171 0 15774 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 69144

[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 12948
/proc/meminfo: memFree=1800912/2055920 swapFree=4180284/4192956
[pid=12942] ppid=12940 vsize=5356 CPUtime=0.34
/proc/12942/stat : 12942 (SatELiteGTI) S 12940 12942 12277 0 -1 4194304 336 2598 0 0 0 0 32 2 16 0 1 0 306822821 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12942/statm: 1339 239 197 169 0 50 0
[pid=12948] ppid=12942 vsize=110744 CPUtime=101.9
/proc/12948/stat : 12948 (minisat_static) R 12942 12942 12277 0 -1 4194304 27533 0 0 0 10163 27 0 0 25 0 1 0 306822857 113401856 27519 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/12948/statm: 27686 27519 77 171 0 27513 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 116100

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 12948
/proc/meminfo: memFree=1753552/2055920 swapFree=4180284/4192956
[pid=12942] ppid=12940 vsize=5356 CPUtime=0.34
/proc/12942/stat : 12942 (SatELiteGTI) S 12940 12942 12277 0 -1 4194304 336 2598 0 0 0 0 32 2 16 0 1 0 306822821 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12942/statm: 1339 239 197 169 0 50 0
[pid=12948] ppid=12942 vsize=158328 CPUtime=161.89
/proc/12948/stat : 12948 (minisat_static) R 12942 12942 12277 0 -1 4194304 39391 0 0 0 16149 40 0 0 25 0 1 0 306822857 162127872 39377 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/12948/statm: 39582 39377 77 171 0 39409 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 163684

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 12948
/proc/meminfo: memFree=1712272/2055920 swapFree=4180284/4192956
[pid=12942] ppid=12940 vsize=5356 CPUtime=0.34
/proc/12942/stat : 12942 (SatELiteGTI) S 12940 12942 12277 0 -1 4194304 336 2598 0 0 0 0 32 2 16 0 1 0 306822821 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12942/statm: 1339 239 197 169 0 50 0
[pid=12948] ppid=12942 vsize=199024 CPUtime=221.87
/proc/12948/stat : 12948 (minisat_static) R 12942 12942 12277 0 -1 4194304 49599 0 0 0 22136 51 0 0 25 0 1 0 306822857 203800576 49585 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/12948/statm: 49756 49585 77 171 0 49583 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 204380

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 12948
/proc/meminfo: memFree=1674128/2055920 swapFree=4180284/4192956
[pid=12942] ppid=12940 vsize=5356 CPUtime=0.34
/proc/12942/stat : 12942 (SatELiteGTI) S 12940 12942 12277 0 -1 4194304 336 2598 0 0 0 0 32 2 16 0 1 0 306822821 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12942/statm: 1339 239 197 169 0 50 0
[pid=12948] ppid=12942 vsize=237736 CPUtime=281.85
/proc/12948/stat : 12948 (minisat_static) R 12942 12942 12277 0 -1 4194304 59219 0 0 0 28123 62 0 0 25 0 1 0 306822857 243441664 59205 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12948/statm: 59434 59205 77 171 0 59261 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 243092

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 12948
/proc/meminfo: memFree=1637776/2055920 swapFree=4180284/4192956
[pid=12942] ppid=12940 vsize=5356 CPUtime=0.34
/proc/12942/stat : 12942 (SatELiteGTI) S 12940 12942 12277 0 -1 4194304 336 2598 0 0 0 0 32 2 16 0 1 0 306822821 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12942/statm: 1339 239 197 169 0 50 0
[pid=12948] ppid=12942 vsize=273556 CPUtime=341.84
/proc/12948/stat : 12948 (minisat_static) R 12942 12942 12277 0 -1 4194304 68190 0 0 0 34111 73 0 0 25 0 1 0 306822857 280121344 68176 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12948/statm: 68389 68176 77 171 0 68216 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 278912

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 12948
/proc/meminfo: memFree=1604752/2055920 swapFree=4180284/4192956
[pid=12942] ppid=12940 vsize=5356 CPUtime=0.34
/proc/12942/stat : 12942 (SatELiteGTI) S 12940 12942 12277 0 -1 4194304 336 2598 0 0 0 0 32 2 16 0 1 0 306822821 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12942/statm: 1339 239 197 169 0 50 0
[pid=12948] ppid=12942 vsize=306604 CPUtime=401.82
/proc/12948/stat : 12948 (minisat_static) R 12942 12942 12277 0 -1 4194304 76503 0 0 0 40100 82 0 0 25 0 1 0 306822857 313962496 76489 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12948/statm: 76651 76489 77 171 0 76478 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 311960

[startup+462.302 s]

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

/proc/12948/statm: 91863 91601 77 171 0 91690 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 372808

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 12954
/proc/meminfo: memFree=1514704/2055920 swapFree=4180284/4192956
[pid=12942] ppid=12940 vsize=5356 CPUtime=0.34
/proc/12942/stat : 12942 (SatELiteGTI) S 12940 12942 12277 0 -1 4194304 336 2598 0 0 0 0 32 2 16 0 1 0 306822821 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12942/statm: 1339 239 197 169 0 50 0
[pid=12948] ppid=12942 vsize=395980 CPUtime=581.76
/proc/12948/stat : 12948 (minisat_static) R 12942 12942 12277 0 -1 4194304 98753 0 0 0 58069 107 0 0 25 0 1 0 306822857 405483520 98739 1992294400 134512640 135215339 4294956240 18446744073709551615 134528700 0 0 4096 3 0 0 0 17 1 0 0
/proc/12948/statm: 98995 98739 77 171 0 98822 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 401336

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 12954
/proc/meminfo: memFree=1485584/2055920 swapFree=4180284/4192956
[pid=12942] ppid=12940 vsize=5356 CPUtime=0.34
/proc/12942/stat : 12942 (SatELiteGTI) S 12940 12942 12277 0 -1 4194304 336 2598 0 0 0 0 32 2 16 0 1 0 306822821 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12942/statm: 1339 239 197 169 0 50 0
[pid=12948] ppid=12942 vsize=424780 CPUtime=641.75
/proc/12948/stat : 12948 (minisat_static) R 12942 12942 12277 0 -1 4194304 105982 0 0 0 64059 116 0 0 25 0 1 0 306822857 434974720 105968 1992294400 134512640 135215339 4294956240 18446744073709551615 134538040 0 0 4096 3 0 0 0 17 1 0 0
/proc/12948/statm: 106195 105968 77 171 0 106022 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 430136

[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 12954
/proc/meminfo: memFree=1462160/2055920 swapFree=4180284/4192956
[pid=12942] ppid=12940 vsize=5356 CPUtime=0.34
/proc/12942/stat : 12942 (SatELiteGTI) S 12940 12942 12277 0 -1 4194304 336 2598 0 0 0 0 32 2 16 0 1 0 306822821 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12942/statm: 1339 239 197 169 0 50 0
[pid=12948] ppid=12942 vsize=448176 CPUtime=701.73
/proc/12948/stat : 12948 (minisat_static) R 12942 12942 12277 0 -1 4194304 111833 0 0 0 70050 123 0 0 25 0 1 0 306822857 458932224 111819 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12948/statm: 112044 111819 77 171 0 111871 0
Current children cumulated CPU time (s) 702.07
Current children cumulated vsize (KiB) 453532

[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 12954
/proc/meminfo: memFree=1434384/2055920 swapFree=4180284/4192956
[pid=12942] ppid=12940 vsize=5356 CPUtime=0.34
/proc/12942/stat : 12942 (SatELiteGTI) S 12940 12942 12277 0 -1 4194304 336 2598 0 0 0 0 32 2 16 0 1 0 306822821 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12942/statm: 1339 239 197 169 0 50 0
[pid=12948] ppid=12942 vsize=475392 CPUtime=761.72
/proc/12948/stat : 12948 (minisat_static) R 12942 12942 12277 0 -1 4194304 118687 0 0 0 76041 131 0 0 25 0 1 0 306822857 486801408 118673 1992294400 134512640 135215339 4294956240 18446744073709551615 134528613 0 0 4096 3 0 0 0 17 1 0 0
/proc/12948/statm: 118848 118673 77 171 0 118675 0
Current children cumulated CPU time (s) 762.06
Current children cumulated vsize (KiB) 480748

[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 12954
/proc/meminfo: memFree=1411472/2055920 swapFree=4180284/4192956
[pid=12942] ppid=12940 vsize=5356 CPUtime=0.34
/proc/12942/stat : 12942 (SatELiteGTI) S 12940 12942 12277 0 -1 4194304 336 2598 0 0 0 0 32 2 16 0 1 0 306822821 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12942/statm: 1339 239 197 169 0 50 0
[pid=12948] ppid=12942 vsize=498516 CPUtime=821.7
/proc/12948/stat : 12948 (minisat_static) R 12942 12942 12277 0 -1 4194304 124487 0 0 0 82031 139 0 0 25 0 1 0 306822857 510480384 124473 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12948/statm: 124629 124473 77 171 0 124456 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 503872

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 12954
/proc/meminfo: memFree=1384720/2055920 swapFree=4180284/4192956
[pid=12942] ppid=12940 vsize=5356 CPUtime=0.34
/proc/12942/stat : 12942 (SatELiteGTI) S 12940 12942 12277 0 -1 4194304 336 2598 0 0 0 0 32 2 16 0 1 0 306822821 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12942/statm: 1339 239 197 169 0 50 0
[pid=12948] ppid=12942 vsize=525720 CPUtime=881.69
/proc/12948/stat : 12948 (minisat_static) R 12942 12942 12277 0 -1 4194304 131066 0 0 0 88021 148 0 0 25 0 1 0 306822857 538337280 131052 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/12948/statm: 131430 131052 77 171 0 131257 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 531076

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 12954
/proc/meminfo: memFree=1362320/2055920 swapFree=4180284/4192956
[pid=12942] ppid=12940 vsize=5356 CPUtime=0.34
/proc/12942/stat : 12942 (SatELiteGTI) S 12940 12942 12277 0 -1 4194304 336 2598 0 0 0 0 32 2 16 0 1 0 306822821 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12942/statm: 1339 239 197 169 0 50 0
[pid=12948] ppid=12942 vsize=548060 CPUtime=941.67
/proc/12948/stat : 12948 (minisat_static) R 12942 12942 12277 0 -1 4194304 136678 0 0 0 94011 156 0 0 25 0 1 0 306822857 561213440 136664 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/12948/statm: 137015 136664 77 171 0 136842 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 553416

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 12954
/proc/meminfo: memFree=1338448/2055920 swapFree=4180284/4192956
[pid=12942] ppid=12940 vsize=5356 CPUtime=0.34
/proc/12942/stat : 12942 (SatELiteGTI) S 12940 12942 12277 0 -1 4194304 336 2598 0 0 0 0 32 2 16 0 1 0 306822821 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12942/statm: 1339 239 197 169 0 50 0
[pid=12948] ppid=12942 vsize=571576 CPUtime=1001.65
/proc/12948/stat : 12948 (minisat_static) R 12942 12942 12277 0 -1 4194304 142585 0 0 0 100002 163 0 0 25 0 1 0 306822857 585293824 142571 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/12948/statm: 142894 142571 77 171 0 142721 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 576932

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 12954
/proc/meminfo: memFree=1310800/2055920 swapFree=4180284/4192956
[pid=12942] ppid=12940 vsize=5356 CPUtime=0.34
/proc/12942/stat : 12942 (SatELiteGTI) S 12940 12942 12277 0 -1 4194304 336 2598 0 0 0 0 32 2 16 0 1 0 306822821 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12942/statm: 1339 239 197 169 0 50 0
[pid=12948] ppid=12942 vsize=599312 CPUtime=1061.63
/proc/12948/stat : 12948 (minisat_static) R 12942 12942 12277 0 -1 4194304 149524 0 0 0 105993 170 0 0 25 0 1 0 306822857 613695488 149510 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/12948/statm: 149828 149510 77 171 0 149655 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 604668

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 12954
/proc/meminfo: memFree=1289424/2055920 swapFree=4180284/4192956
[pid=12942] ppid=12940 vsize=5356 CPUtime=0.34
/proc/12942/stat : 12942 (SatELiteGTI) S 12940 12942 12277 0 -1 4194304 336 2598 0 0 0 0 32 2 16 0 1 0 306822821 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12942/statm: 1339 239 197 169 0 50 0
[pid=12948] ppid=12942 vsize=620048 CPUtime=1121.62
/proc/12948/stat : 12948 (minisat_static) R 12942 12942 12277 0 -1 4194304 154738 0 0 0 111986 176 0 0 25 0 1 0 306822857 634929152 154724 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/12948/statm: 155012 154724 77 171 0 154839 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 625404

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 12954
/proc/meminfo: memFree=1268560/2055920 swapFree=4180284/4192956
[pid=12942] ppid=12940 vsize=5356 CPUtime=0.34
/proc/12942/stat : 12942 (SatELiteGTI) S 12940 12942 12277 0 -1 4194304 336 2598 0 0 0 0 32 2 16 0 1 0 306822821 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12942/statm: 1339 239 197 169 0 50 0
[pid=12948] ppid=12942 vsize=641052 CPUtime=1181.6
/proc/12948/stat : 12948 (minisat_static) R 12942 12942 12277 0 -1 4194304 159989 0 0 0 117979 181 0 0 25 0 1 0 306822857 656437248 159975 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/12948/statm: 160263 159975 77 171 0 160090 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 646408



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.4 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 12954
/proc/meminfo: memFree=1261136/2055920 swapFree=4180284/4192956
[pid=12942] ppid=12940 vsize=5356 CPUtime=0.34
/proc/12942/stat : 12942 (SatELiteGTI) S 12940 12942 12277 0 -1 4194304 336 2598 0 0 0 0 32 2 16 0 1 0 306822821 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12942/statm: 1339 239 197 169 0 50 0
[pid=12948] ppid=12942 vsize=648064 CPUtime=1199.7
/proc/12948/stat : 12948 (minisat_static) R 12942 12942 12277 0 -1 4194304 161754 0 0 0 119786 184 0 0 25 0 1 0 306822857 663617536 161740 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/12948/statm: 162016 161740 77 171 0 161843 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 653420

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1200.41
CPU time (s): 1200.04
CPU user time (s): 1198.18
CPU system time (s): 1.86
CPU usage (%): 99.9689
Max. virtual memory (cumulated for all children) (KiB): 653420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.32695
system time used= 0.028995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2934
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 7

runsolver used 1.38879 second user time and 3.03354 second system time

The end

Launcher Data 

Begin job on node20 at 2009-05-20 04:51:36
IDJOB=1832797
IDBENCH=70362
IDSOLVER=671
FILE ID=node20/1832797-1242787896
PBS_JOBID= 9322355
Free space on /tmp= 66252 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/18000/unif-k3-r4.2-v18000-c75600-S420719158-080.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832797-1242787896/watcher-1832797-1242787896 -o /tmp/evaluation-result-1832797-1242787896/solver-1832797-1242787896 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832797-1242787896.cnf

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

MD5SUM BENCH= 727f10970711b4154a45c3b50e2e1fe7
RANDOM SEED=768821125

node20.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.214
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	: 5931.00
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.214
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:       1913728 kB
Buffers:         28620 kB
Cached:          67828 kB
SwapCached:       6980 kB
Active:          33816 kB
Inactive:        71052 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1913728 kB
SwapTotal:     4192956 kB
SwapFree:      4180284 kB
Dirty:            3032 kB
Writeback:           0 kB
Mapped:          13560 kB
Slab:            23404 kB
Committed_AS:  1139552 kB
PageTables:       1400 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= 66248 MiB
End job on node20 at 2009-05-20 05:11:38