Trace number 1832103

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.71

General information on the benchmark

Nameindustrial/grieu/
vmpc_30.cnf
MD5SUM8df6cfaff4435ad2a04367a34fb047c1
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark18.2082
Satisfiable
(Un)Satisfiability was proved
Number of variables900
Number of clauses133080
Sum of the clauses size348570
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 252290
Number of clauses of size 380730
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 560

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 |  133080   348570 |   39923       0        0     nan |  0.000 % |
0.00/0.08	c ==============================================================================
0.00/0.08	c Result  :   #vars: 900   #clauses: 133080   #literals: 348570
0.00/0.08	c CPU time:   0.06299 s
0.00/0.08	c ==============================================================================
0.00/0.18	c This is MiniSat 2.0 beta
0.00/0.18	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.18	c ============================[ Problem Statistics ]=============================
0.00/0.18	c |                                                                             |
0.00/0.18	c |  Number of variables:  900                                                  |
0.00/0.18	c |  Number of clauses:    133080                                               |
0.17/0.25	c |  Parsing time:         0.06         s                                       |
0.17/0.25	c ============================[ Search Statistics ]==============================
0.17/0.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.17/0.25	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.17/0.25	c ===============================================================================
0.17/0.25	c |         0 |     900   133080   348570 |    44360        0    nan |  0.000 % |
0.17/0.28	c |       100 |     900   133080   348570 |    44360      100     58 |  0.000 % |
0.17/0.31	c |       201 |     900   133080   348570 |    44360      201     41 |  0.009 % |
0.17/0.33	c |       304 |     900   133080   348570 |    44360      304     38 |  0.009 % |
0.17/0.35	c |       414 |     900   133080   348570 |    44360      414     33 |  0.009 % |
0.17/0.37	c |       515 |     900   133080   348570 |    44360      515     30 |  0.009 % |
0.17/0.39	c |       626 |     900   133080   348570 |    44360      626     37 |  0.000 % |
0.17/0.41	c |       748 |     900   133080   348570 |    44360      748     38 |  0.009 % |
0.17/0.42	c |       848 |     900   133080   348570 |    44360      848     38 |  0.009 % |
0.17/0.44	c |       958 |     900   133080   348570 |    44360      958     36 |  0.009 % |
0.17/0.45	c |      1080 |     900   133080   348570 |    44360     1080     35 |  0.009 % |
0.17/0.47	c |      1213 |     900   133080   348570 |    44360     1213     41 |  0.000 % |
0.17/0.48	c |      1314 |     900   133080   348570 |    44360     1314     40 |  0.009 % |
0.17/0.50	c |      1425 |     900   133080   348570 |    44360     1425     39 |  0.009 % |
0.17/0.52	c |      1546 |     900   133080   348570 |    44360     1546     38 |  0.009 % |
0.17/0.53	c |      1679 |     900   133080   348570 |    44360     1679     43 |  0.000 % |
0.17/0.55	c |      1830 |     900   133080   348570 |    44360     1830     43 |  0.009 % |
0.17/0.56	c |      1930 |     900   133080   348570 |    44360     1930     43 |  0.009 % |
0.17/0.58	c |      2041 |     900   133080   348570 |    44360     2041     43 |  0.009 % |
0.17/0.59	c |      2163 |     900   133080   348570 |    44360     2163     46 |  0.000 % |
0.17/0.61	c |      2297 |     900   133080   348570 |    44360     2297     44 |  0.008 % |
0.17/0.63	c |      2443 |     900   133080   348570 |    44360     2443     43 |  0.000 % |
0.17/0.66	c |      2606 |     900   133080   348570 |    44360     2606     43 |  0.008 % |
0.17/0.68	c |      2706 |     899   132790   347818 |    44360     2705     42 |  0.120 % |
0.17/0.69	c |      2816 |     899   132790   347818 |    44360     2815     42 |  0.120 % |
0.17/0.71	c |      2938 |     899   132790   347818 |    44360     2937     41 |  0.120 % |
0.17/0.73	c |      3076 |     899   132790   347818 |    44360     3075     41 |  0.120 % |
0.17/0.74	c |      3222 |     899   132790   347818 |    44360     3221     44 |  0.111 % |
0.17/0.77	c |      3383 |     899   132790   347818 |    44360     3382     45 |  0.120 % |
0.17/0.79	c |      3561 |     899   132790   347818 |    44360     3560     45 |  0.120 % |
0.17/0.80	c |      3661 |     899   132790   347818 |    44360     3660     46 |  0.111 % |
0.17/0.82	c |      3771 |     899   132790   347818 |    44360     3770     46 |  0.120 % |
0.17/0.84	c |      3892 |     899   132790   347818 |    44360     3891     46 |  0.111 % |
0.17/0.86	c |      4026 |     899   132790   347818 |    44360     4025     45 |  0.120 % |
0.17/0.87	c |      4175 |     899   132790   347818 |    44360     4174     47 |  0.111 % |
0.17/0.90	c |      4336 |     899   132790   347818 |    44360     4335     46 |  0.120 % |
0.17/0.93	c |      4514 |     899   132790   347818 |    44360     4513     45 |  0.120 % |
0.17/0.95	c |      4707 |     899   132790   347818 |    44360     4706     48 |  0.111 % |
0.17/0.97	c |      4810 |     899   132790   347818 |    44360     4809     49 |  0.120 % |
0.17/0.99	c |      4921 |     899   132790   347818 |    44360     4920     48 |  0.120 % |
0.97/1.01	c |      5042 |     899   132790   347818 |    44360     5041     48 |  0.120 % |
0.97/1.03	c |      5178 |     899   132790   347818 |    44360     5177     49 |  0.111 % |
0.97/1.06	c |      5326 |     899   132790   347818 |    44360     5325     49 |  0.120 % |
0.97/1.08	c |      5486 |     899   132790   347818 |    44360     5485     49 |  0.120 % |
1.07/1.11	c |      5664 |     899   132790   347818 |    44360     5663     48 |  0.120 % |
1.07/1.14	c |      5860 |     899   132790   347818 |    44360     5859     47 |  0.120 % |
1.07/1.18	c |      6072 |     899   132790   347818 |    44360     6071     47 |  0.120 % |
1.17/1.20	c |      6173 |     899   132790   347818 |    44360     6172     48 |  0.111 % |
1.17/1.22	c |      6284 |     899   132790   347818 |    44360     6283     48 |  0.111 % |
1.17/1.24	c |      6406 |     899   132790   347818 |    44360     6405     47 |  0.120 % |
1.17/1.26	c |      6539 |     899   132790   347818 |    44360     6538     47 |  0.120 % |
1.17/1.28	c |      6686 |     899   132790   347818 |    44360     6685     48 |  0.111 % |
1.27/1.30	c |      6847 |     899   132790   347818 |    44360     6846     47 |  0.120 % |
1.27/1.33	c |      7023 |     899   132790   347818 |    44360     7022     47 |  0.120 % |
1.27/1.36	c |      7216 |     899   132790   347818 |    44360     7215     48 |  0.111 % |
1.27/1.39	c |      7430 |     899   132790   347818 |    44360     7429     48 |  0.111 % |
1.37/1.43	c |      7663 |     899   132790   347818 |    44360     7662     48 |  0.120 % |
1.37/1.45	c |      7764 |     899   132790   347818 |    44360     7763     48 |  0.120 % |
1.37/1.47	c |      7877 |     899   132790   347818 |    44360     7876     47 |  0.120 % |
1.37/1.49	c |      7999 |     899   132790   347818 |    44360     7998     47 |  0.120 % |
1.47/1.51	c |      8133 |     899   132790   347818 |    44360     8132     47 |  0.120 % |
1.47/1.53	c |      8280 |     899   132790   347818 |    44360     8279     46 |  0.120 % |
1.47/1.56	c |      8440 |     899   132790   347818 |    44360     8439     46 |  0.120 % |
1.47/1.59	c |      8617 |     899   132790   347818 |    44360     8616     46 |  0.120 % |
1.57/1.63	c |      8810 |     899   132790   347818 |    44360     8809     45 |  0.120 % |
1.57/1.67	c |      9022 |     899   132790   347818 |    44360     9021     45 |  0.120 % |
1.67/1.70	c |      9258 |     899   132790   347818 |    44360     9257     46 |  0.111 % |
1.67/1.75	c |      9515 |     899   132790   347818 |    44360     9514     46 |  0.120 % |
1.67/1.76	c |      9615 |     899   132790   347818 |    44360     9614     46 |  0.111 % |
1.67/1.78	c |      9725 |     899   132790   347818 |    44360     9724     46 |  0.111 % |
1.77/1.80	c |      9846 |     899   132790   347818 |    44360     9845     46 |  0.120 % |
1.77/1.82	c |      9979 |     899   132790   347818 |    44360     9978     46 |  0.120 % |
1.77/1.85	c |     10129 |     899   132790   347818 | 2147483647    10128     46 |  0.120 % |
1.77/1.87	c |     10289 |     899   132790   347818 | 2147483647    10288     46 |  0.120 % |
1.86/1.90	c |     10466 |     899   132790   347818 | 2147483647    10465     45 |  0.120 % |
1.86/1.94	c |     10661 |     899   132790   347818 | 2147483647    10660     45 |  0.120 % |
1.86/1.98	c |     10874 |     899   132790   347818 | 2147483647    10873     45 |  0.120 % |
1.96/2.02	c |     11107 |     899   132790   347818 | 2147483647    11106     44 |  0.120 % |
1.96/2.08	c |     11367 |     899   132790   347818 | 2147483647    11366     44 |  0.120 % |
2.07/2.13	c |     11650 |     899   132790   347818 | 2147483647    11649     44 |  0.120 % |
2.07/2.15	c |     11752 |     899   132790   347818 | 2147483647    11751     44 |  0.120 % |
2.07/2.17	c |     11862 |     899   132790   347818 | 2147483647    11861     44 |  0.120 % |
2.07/2.19	c |     11986 |     899   132790   347818 | 2147483647    11985     43 |  0.120 % |
2.17/2.21	c |     12121 |     899   132790   347818 | 2147483647    12120     43 |  0.120 % |
2.17/2.24	c |     12267 |     899   132790   347818 | 2147483647    12266     43 |  0.120 % |
2.17/2.28	c |     12429 |     899   132790   347818 | 2147483647    12428     43 |  0.120 % |
2.26/2.32	c |     12605 |     899   132790   347818 | 2147483647    12604     43 |  0.120 % |
2.26/2.35	c |     12803 |     899   132790   347818 | 2147483647    12802     43 |  0.120 % |
2.26/2.39	c |     13017 |     899   132790   347818 | 2147483647    13016     42 |  0.120 % |
2.36/2.43	c |     13250 |     899   132790   347818 | 2147483647    13249     43 |  0.111 % |
2.36/2.49	c |     13507 |     899   132790   347818 | 2147483647    13506     43 |  0.111 % |
2.46/2.54	c |     13788 |     899   132790   347818 | 2147483647    13787     44 |  0.111 % |
2.56/2.60	c |     14100 |     899   132790   347818 | 2147483647    14099     44 |  0.111 % |
2.56/2.62	c |     14200 |     899   132790   347818 | 2147483647    14199     44 |  0.120 % |
2.56/2.64	c |     14310 |     899   132790   347818 | 2147483647    14309     44 |  0.120 % |
2.56/2.66	c |     14433 |     899   132790   347818 | 2147483647    14432     44 |  0.120 % |
2.56/2.69	c |     14566 |     899   132790   347818 | 2147483647    14565     44 |  0.120 % |
2.66/2.71	c |     14712 |     899   132790   347818 | 2147483647    14711     45 |  0.111 % |
2.66/2.75	c |     14874 |     899   132790   347818 | 2147483647    14873     45 |  0.120 % |
2.66/2.78	c |     15052 |     899   132790   347818 | 2147483647    15051     44 |  0.120 % |
2.76/2.81	c |     15245 |     899   132790   347818 | 2147483647    15244     45 |  0.111 % |
2.76/2.86	c |     15457 |     899   132790   347818 | 2147483647    15456     45 |  0.120 % |
2.86/2.90	c |     15690 |     899   132790   347818 | 2147483647    15689     45 |  0.111 % |
2.86/2.96	c |     15946 |     899   132790   347818 | 2147483647    15945     44 |  0.120 % |
2.96/3.01	c |     16231 |     899   132790   347818 | 2147483647    16230     44 |  0.111 % |
2.96/3.06	c |     16542 |     899   132790   347818 | 2147483647    16541     44 |  0.120 % |
3.06/3.13	c |     16881 |     899   132790   347818 | 2147483647    16880     45 |  0.111 % |
3.06/3.15	c |     16982 |     899   132790   347818 | 2147483647    16981     45 |  0.120 % |
3.06/3.17	c |     17096 |     899   132790   347818 | 2147483647    17095     44 |  0.120 % |
3.06/3.19	c |     17218 |     899   132790   347818 | 2147483647    17217     45 |  0.111 % |
3.18/3.22	c |     17351 |     899   132790   347818 | 2147483647    17350     45 |  0.111 % |
3.18/3.25	c |     17499 |     899   132790   347818 | 2147483647    17498     45 |  0.120 % |
3.18/3.28	c |     17661 |     899   132790   347818 | 2147483647    17660     45 |  0.120 % |
3.28/3.32	c |     17837 |     899   132790   347818 | 2147483647    17836     44 |  0.120 % |
3.28/3.36	c |     18030 |     899   132790   347818 | 2147483647    18029     44 |  0.120 % |
3.37/3.40	c |     18242 |     899   132790   347818 | 2147483647    18241     45 |  0.111 % |
3.37/3.44	c |     18476 |     899   132790   347818 | 2147483647    18475     45 |  0.120 % |
3.47/3.50	c |     18732 |     899   132790   347818 | 2147483647    18731     45 |  0.120 % |
3.47/3.56	c |     19016 |     899   132790   347818 | 2147483647    19015     44 |  0.120 % |
3.57/3.63	c |     19325 |     899   132790   347818 | 2147483647    19324     45 |  0.111 % |
3.57/3.69	c |     19664 |     899   132790   347818 | 2147483647    19663     45 |  0.120 % |
3.67/3.77	c |     20037 |     899   132790   347818 | 2147483647    20036     46 |  0.120 % |
3.67/3.79	c |     20137 |     899   132790   347818 | 2147483647    20136     46 |  0.111 % |
3.77/3.81	c |     20248 |     899   132790   347818 | 2147483647    20247     46 |  0.111 % |
3.77/3.83	c |     20370 |     899   132790   347818 | 2147483647    20369     46 |  0.111 % |
3.77/3.85	c |     20504 |     899   132790   347818 | 2147483647    20503     46 |  0.120 % |
3.77/3.88	c |     20650 |     899   132790   347818 | 2147483647    20649     46 |  0.111 % |
3.87/3.91	c |     20811 |     899   132790   347818 | 2147483647    20810     46 |  0.111 % |
3.87/3.96	c |     20988 |     899   132790   347818 | 2147483647    20987     46 |  0.120 % |
3.97/4.00	c |     21182 |     899   132790   347818 | 2147483647    21181     46 |  0.120 % |
3.97/4.05	c |     21394 |     899   132790   347818 | 2147483647    21393     46 |  0.120 % |
4.07/4.11	c |     21628 |     899   132790   347818 | 2147483647    21627     46 |  0.120 % |
4.07/4.17	c |     21884 |     899   132790   347818 | 2147483647    21883     45 |  0.120 % |
4.17/4.23	c |     22168 |     899   132790   347818 | 2147483647    22167     45 |  0.120 % |
4.27/4.31	c |     22482 |     899   132790   347818 | 2147483647    22481     45 |  0.120 % |
4.27/4.39	c |     22821 |     899   132790   347818 | 2147483647    22820     45 |  0.120 % |
4.37/4.48	c |     23195 |     899   132790   347818 | 2147483647    23194     45 |  0.120 % |
4.47/4.58	c |     23605 |     899   132790   347818 | 2147483647    23604     44 |  0.120 % |
4.57/4.61	c |     23706 |     899   132790   347818 | 2147483647    23705     44 |  0.111 % |
4.57/4.64	c |     23819 |     899   132790   347818 | 2147483647    23818     44 |  0.120 % |
4.57/4.67	c |     23942 |     899   132790   347818 | 2147483647    23941     44 |  0.120 % |
4.57/4.69	c |     24076 |     899   132790   347818 | 2147483647    24075     44 |  0.111 % |
4.66/4.73	c |     24223 |     899   132790   347818 | 2147483647    24222     44 |  0.111 % |
4.66/4.76	c |     24383 |     899   132790   347818 | 2147483647    24382     44 |  0.111 % |
4.76/4.80	c |     24561 |     899   132790   347818 | 2147483647    24560     44 |  0.120 % |
4.76/4.84	c |     24754 |     899   132790   347818 | 2147483647    24753     45 |  0.111 % |
4.76/4.89	c |     24969 |     899   132790   347818 | 2147483647    24968     44 |  0.120 % |
4.86/4.95	c |     25202 |     899   132790   347818 | 2147483647    25201     44 |  0.120 % |
4.96/5.01	c |     25460 |     899   132790   347818 | 2147483647    25459     44 |  0.120 % |
4.96/5.07	c |     25747 |     899   132790   347818 | 2147483647    25746     44 |  0.120 % |
5.06/5.14	c |     26057 |     899   132790   347818 | 2147483647    26056     44 |  0.120 % |
5.16/5.21	c |     26397 |     899   132790   347818 | 2147483647    26396     44 |  0.111 % |
5.26/5.32	c |     26770 |     899   132790   347818 | 2147483647    26769     44 |  0.111 % |
5.37/5.42	c |     27180 |     899   132790   347818 | 2147483647    27179     44 |  0.120 % |
5.47/5.54	c |     27630 |     899   132790   347818 | 2147483647    27629     44 |  0.120 % |
5.47/5.56	c |     27730 |     899   132790   347818 | 2147483647    27729     44 |  0.120 % |
5.47/5.59	c |     27841 |     899   132790   347818 | 2147483647    27840     44 |  0.120 % |
5.57/5.63	c |     27962 |     899   132790   347818 | 2147483647    27961     44 |  0.120 % |
5.57/5.67	c |     28095 |     899   132790   347818 | 2147483647    28094     44 |  0.120 % |
5.67/5.70	c |     28245 |     899   132790   347818 | 2147483647    28244     44 |  0.111 % |
5.67/5.74	c |     28405 |     899   132790   347818 | 2147483647    28404     44 |  0.120 % |
5.67/5.79	c |     28582 |     899   132790   347818 | 2147483647    28581     44 |  0.120 % |
5.77/5.84	c |     28775 |     899   132790   347818 | 2147483647    28774     44 |  0.111 % |
5.87/5.90	c |     28987 |     899   132790   347818 | 2147483647    28986     44 |  0.120 % |
5.87/5.95	c |     29221 |     899   132790   347818 | 2147483647    29220     44 |  0.120 % |
5.97/6.02	c |     29477 |     899   132790   347818 | 2147483647    29476     44 |  0.111 % |
6.07/6.10	c |     29760 |     899   132790   347818 | 2147483647    29759     44 |  0.120 % |
6.07/6.19	c |     30069 |     899   132790   347818 | 2147483647    30068     44 |  0.120 % |
6.17/6.28	c |     30411 |     899   132790   347818 | 2147483647    30410     44 |  0.111 % |
6.27/6.37	c |     30784 |     899   132790   347818 | 2147483647    30783     44 |  0.120 % |
6.37/6.47	c |     31193 |     899   132790   347818 | 2147483647    31192     44 |  0.120 % |
6.47/6.58	c |     31642 |     899   132790   347818 | 2147483647    31641     44 |  0.120 % |
6.67/6.70	c |     32141 |     899   132790   347818 | 2147483647    32140     44 |  0.120 % |
6.67/6.73	c |     32243 |     899   132790   347818 | 2147483647    32242     44 |  0.120 % |
6.67/6.75	c |     32353 |     899   132790   347818 | 2147483647    32352     44 |  0.120 % |
6.67/6.79	c |     32478 |     899   132790   347818 | 2147483647    32477     44 |  0.111 % |
6.77/6.83	c |     32612 |     899   132790   347818 | 2147483647    32611     44 |  0.120 % |
6.77/6.88	c |     32759 |     899   132790   347818 | 2147483647    32758     44 |  0.120 % |
6.87/6.92	c |     32919 |     899   132790   347818 | 2147483647    32918     44 |  0.120 % |
6.87/6.97	c |     33098 |     899   132790   347818 | 2147483647    33097     44 |  0.120 % |
6.96/7.03	c |     33294 |     899   132790   347818 | 2147483647    33293     44 |  0.111 % |
6.96/7.09	c |     33507 |     899   132790   347818 | 2147483647    33506     44 |  0.111 % |
7.06/7.16	c |     33741 |     899   132790   347818 | 2147483647    33740     44 |  0.111 % |
7.16/7.23	c |     34002 |     899   132790   347818 | 2147483647    34001     44 |  0.120 % |
7.26/7.30	c |     34283 |     899   132790   347818 | 2147483647    34282     45 |  0.111 % |
7.26/7.38	c |     34596 |     899   132790   347818 | 2147483647    34595     45 |  0.120 % |
7.36/7.46	c |     34935 |     899   132790   347818 | 2147483647    34934     45 |  0.111 % |
7.46/7.56	c |     35308 |     899   132790   347818 | 2147483647    35307     46 |  0.111 % |
7.57/7.68	c |     35719 |     899   132790   347818 | 2147483647    35718     45 |  0.111 % |
7.76/7.81	c |     36168 |     899   132790   347818 | 2147483647    36167     45 |  0.120 % |
7.86/7.94	c |     36661 |     899   132790   347818 | 2147483647    36660     45 |  0.120 % |
7.96/8.09	c |     37203 |     899   132790   347818 | 2147483647    37202     45 |  0.120 % |
8.06/8.12	c |     37303 |     899   132790   347818 | 2147483647    37302     45 |  0.120 % |
8.06/8.15	c |     37415 |     899   132790   347818 | 2147483647    37414     45 |  0.120 % |
8.06/8.19	c |     37537 |     899   132790   347818 | 2147483647    37536     45 |  0.120 % |
8.16/8.22	c |     37672 |     899   132790   347818 | 2147483647    37671     45 |  0.111 % |
8.16/8.25	c |     37818 |     899   132790   347818 | 2147483647    37817     45 |  0.120 % |
8.26/8.30	c |     37981 |     899   132790   347818 | 2147483647    37980     45 |  0.120 % |
8.26/8.35	c |     38159 |     899   132790   347818 | 2147483647    38158     45 |  0.120 % |
8.36/8.41	c |     38352 |     899   132790   347818 | 2147483647    38351     45 |  0.120 % |
8.36/8.47	c |     38566 |     899   132790   347818 | 2147483647    38565     45 |  0.121 % |
8.46/8.53	c |     38802 |     899   132790   347818 | 2147483647    38801     45 |  0.111 % |
8.56/8.60	c |     39058 |     899   132790   347818 | 2147483647    39057     45 |  0.111 % |
8.56/8.67	c |     39339 |     899   132790   347818 | 2147483647    39338     45 |  0.111 % |
8.67/8.76	c |     39648 |     899   132790   347818 | 2147483647    39647     45 |  0.111 % |
8.77/8.87	c |     39988 |     899   132790   347818 | 2147483647    39987     45 |  0.120 % |
8.86/8.97	c |     40363 |     899   132790   347818 | 2147483647    40362     45 |  0.111 % |
9.06/9.10	c |     40772 |     899   132790   347818 | 2147483647    40771     45 |  0.120 % |
9.16/9.24	c |     41222 |     899   132790   347818 | 2147483647    41221     45 |  0.119 % |
9.36/9.40	c |     41715 |     899   132790   347818 | 2147483647    41714     44 |  0.120 % |
9.46/9.57	c |     42257 |     899   132790   347818 | 2147483647    42256     44 |  0.120 % |
9.66/9.76	c |     42854 |     899   132790   347818 | 2147483647    42853     44 |  0.120 % |
9.66/9.80	c |     42955 |     899   132790   347818 | 2147483647    42954     44 |  0.111 % |
9.77/9.83	c |     43065 |     899   132790   347818 | 2147483647    43064     44 |  0.120 % |
9.77/9.88	c |     43186 |     899   132790   347818 | 2147483647    43185     44 |  0.111 % |
9.86/9.92	c |     43323 |     899   132790   347818 | 2147483647    43322     44 |  0.111 % |
9.86/9.97	c |     43473 |     899   132790   347818 | 2147483647    43472     44 |  0.120 % |
9.96/10.02	c |     43633 |     899   132790   347818 | 2147483647    43632     44 |  0.120 % |
9.96/10.08	c |     43809 |     899   132790   347818 | 2147483647    43808     44 |  0.120 % |
10.06/10.15	c |     44005 |     899   132790   347818 | 2147483647    44004     44 |  0.120 % |
10.16/10.22	c |     44218 |     899   132790   347818 | 2147483647    44217     44 |  0.111 % |
10.26/10.30	c |     44454 |     899   132790   347818 | 2147483647    44453     44 |  0.120 % |
10.26/10.39	c |     44710 |     899   132790   347818 | 2147483647    44709     44 |  0.120 % |
10.36/10.50	c |     44992 |     899   132790   347818 | 2147483647    44991     44 |  0.120 % |
10.56/10.60	c |     45301 |     899   132790   347818 | 2147483647    45300     44 |  0.120 % |
10.66/10.71	c |     45641 |     899   132790   347818 | 2147483647    45640     44 |  0.120 % |
10.76/10.82	c |     46015 |     899   132790   347818 | 2147483647    46014     44 |  0.120 % |
10.86/10.93	c |     46424 |     899   132790   347818 | 2147483647    46423     44 |  0.111 % |
10.97/11.06	c |     46874 |     899   132790   347818 | 2147483647    46873     44 |  0.127 % |
11.17/11.24	c |     47367 |     899   132790   347818 | 2147483647    47366     44 |  0.120 % |
11.37/11.42	c |     47910 |     899   132790   347818 | 2147483647    47909     44 |  0.120 % |
11.57/11.63	c |     48507 |     899   132790   347818 | 2147483647    48506     44 |  0.111 % |
11.77/11.83	c |     49162 |     899   132790   347818 | 2147483647    49161     45 |  0.111 % |
11.77/11.87	c |     49262 |     899   132790   347818 | 2147483647    49261     45 |  0.120 % |
11.87/11.92	c |     49372 |     899   132790   347818 | 2147483647    49371     45 |  0.120 % |
11.87/11.96	c |     49494 |     899   132790   347818 | 2147483647    49493     45 |  0.120 % |
11.97/12.02	c |     49627 |     899   132790   347818 | 2147483647    49626     45 |  0.120 % |
11.97/12.08	c |     49775 |     899   132790   347818 | 2147483647    49774     45 |  0.120 % |
12.07/12.14	c |     49936 |     899   132790   347818 | 2147483647    49935     45 |  0.120 % |
12.17/12.21	c |     50112 |     899   132790   347818 | 2147483647    50111     45 |  0.120 % |
12.17/12.29	c |     50307 |     899   132790   347818 | 2147483647    50306     45 |  0.120 % |
12.27/12.36	c |     50519 |     899   132790   347818 | 2147483647    50518     45 |  0.120 % |
12.37/12.44	c |     50752 |     899   132790   347818 | 2147483647    50751     45 |  0.111 % |
12.47/12.52	c |     51008 |     899   132790   347818 | 2147483647    51007     45 |  0.111 % |
12.57/12.61	c |     51290 |     899   132790   347818 | 2147483647    51289     45 |  0.111 % |
12.67/12.72	c |     51599 |     899   132790   347818 | 2147483647    51598     45 |  0.120 % |
12.76/12.84	c |     51939 |     899   132790   347818 | 2147483647    51938     46 |  0.111 % |
12.86/12.98	c |     52311 |     899   132790   347818 | 2147483647    52310     46 |  0.120 % |
13.06/13.11	c |     52722 |     899   132790   347818 | 2147483647    52721     46 |  0.120 % |
13.16/13.27	c |     53171 |     899   132790   347818 | 2147483647    53170     45 |  0.120 % |
13.36/13.45	c |     53666 |     899   132790   347818 | 2147483647    53665     45 |  0.120 % |
13.56/13.66	c |     54210 |     899   132790   347818 | 2147483647    54209     45 |  0.120 % |
13.76/13.86	c |     54813 |     899   132790   347818 | 2147483647    54812     45 |  0.120 % |
13.96/14.07	c |     55468 |     899   132790   347818 | 2147483647    55467     45 |  0.120 % |
14.26/14.33	c |     56191 |     899   132790   347818 | 2147483647    56190     45 |  0.111 % |
14.26/14.38	c |     56291 |     899   132790   347818 | 2147483647    56290     45 |  0.111 % |
14.36/14.42	c |     56401 |     899   132790   347818 | 2147483647    56400     45 |  0.120 % |
14.36/14.47	c |     56530 |     899   132790   347818 | 2147483647    56529     45 |  0.120 % |
14.46/14.53	c |     56664 |     899   132790   347818 | 2147483647    56663     45 |  0.111 % |
14.46/14.58	c |     56810 |     899   132790   347818 | 2147483647    56809     45 |  0.120 % |
14.55/14.64	c |     56970 |     899   132790   347818 | 2147483647    56969     45 |  0.111 % |
14.65/14.70	c |     57147 |     899   132790   347818 | 2147483647    57146     45 |  0.120 % |
14.65/14.77	c |     57341 |     899   132790   347818 | 2147483647    57340     45 |  0.120 % |
14.75/14.85	c |     57555 |     899   132790   347818 | 2147483647    57554     45 |  0.120 % |
14.85/14.94	c |     57790 |     899   132790   347818 | 2147483647    57789     45 |  0.111 % |
14.95/15.04	c |     58047 |     899   132790   347818 | 2147483647    58046     45 |  0.120 % |
15.06/15.13	c |     58328 |     899   132790   347818 | 2147483647    58327     45 |  0.111 % |
15.16/15.25	c |     58637 |     899   132790   347818 | 2147483647    58636     45 |  0.120 % |
15.26/15.37	c |     58976 |     899   132790   347818 | 2147483647    58975     45 |  0.120 % |
15.46/15.52	c |     59351 |     899   132790   347818 | 2147483647    59350     45 |  0.120 % |
15.56/15.67	c |     59763 |     899   132790   347818 | 2147483647    59762     45 |  0.120 % |
15.76/15.82	c |     60214 |     899   132790   347818 | 2147483647    60213     45 |  0.120 % |
15.96/16.03	c |     60708 |     899   132790   347818 | 2147483647    60707     45 |  0.120 % |
16.16/16.27	c |     61253 |     899   132790   347818 | 2147483647    61252     45 |  0.120 % |
16.46/16.51	c |     61850 |     899   132790   347818 | 2147483647    61849     45 |  0.120 % |
16.65/16.78	c |     62507 |     899   132790   347818 | 2147483647    62506     45 |  0.120 % |
16.95/17.04	c |     63228 |     899   132790   347818 | 2147483647    63227     45 |  0.111 % |
17.25/17.37	c |     64021 |     899   132790   347818 | 2147483647    64020     45 |  0.120 % |
17.35/17.42	c |     64122 |     899   132790   347818 | 2147483647    64121     45 |  0.111 % |
17.35/17.45	c |     64232 |     899   132790   347818 | 2147483647    64231     45 |  0.111 % |
17.35/17.49	c |     64357 |     899   132790   347818 | 2147483647    64356     45 |  0.111 % |
17.46/17.53	c |     64490 |     899   132790   347818 | 2147483647    64489     45 |  0.120 % |
17.46/17.58	c |     64639 |     899   132790   347818 | 2147483647    64638     45 |  0.120 % |
17.56/17.64	c |     64799 |     899   132790   347818 | 2147483647    64798     45 |  0.120 % |
17.56/17.69	c |     64975 |     899   132790   347818 | 2147483647    64974     45 |  0.120 % |
17.65/17.77	c |     65169 |     899   132790   347818 | 2147483647    65168     45 |  0.111 % |
17.75/17.86	c |     65383 |     899   132790   347818 | 2147483647    65382     45 |  0.120 % |
17.85/17.96	c |     65616 |     899   132790   347818 | 2147483647    65615     45 |  0.120 % |
17.96/18.05	c |     65872 |     899   132790   347818 | 2147483647    65871     45 |  0.120 % |
18.06/18.17	c |     66153 |     899   132790   347818 | 2147483647    66152     45 |  0.120 % |
18.26/18.30	c |     66464 |     899   132790   347818 | 2147483647    66463     45 |  0.120 % |
18.36/18.45	c |     66804 |     899   132790   347818 | 2147483647    66803     45 |  0.120 % |
18.56/18.60	c |     67177 |     899   132790   347818 | 2147483647    67176     45 |  0.120 % |
18.66/18.77	c |     67589 |     899   132790   347818 | 2147483647    67588     45 |  0.111 % |
18.86/18.97	c |     68039 |     899   132790   347818 | 2147483647    68038     45 |  0.111 % |
19.06/19.16	c |     68533 |     899   132790   347818 | 2147483647    68532     45 |  0.111 % |
19.36/19.40	c |     69079 |     899   132790   347818 | 2147483647    69078     46 |  0.111 % |
19.56/19.67	c |     69675 |     899   132790   347818 | 2147483647    69674     46 |  0.111 % |
19.86/19.97	c |     70330 |     899   132790   347818 | 2147483647    70329     46 |  0.120 % |
20.16/20.27	c |     71052 |     899   132790   347818 | 2147483647    71051     46 |  0.120 % |
20.56/20.61	c |     71846 |     899   132790   347818 | 2147483647    71845     46 |  0.111 % |
20.95/21.06	c |     72720 |     899   132790   347818 | 2147483647    72719     46 |  0.111 % |
21.05/21.13	c |     72821 |     899   132790   347818 | 2147483647    72820     46 |  0.120 % |
21.05/21.18	c |     72933 |     899   132790   347818 | 2147483647    72932     46 |  0.120 % |
21.15/21.27	c |     73057 |     899   132790   347818 | 2147483647    73056     46 |  0.120 % |
21.25/21.34	c |     73190 |     899   132790   347818 | 2147483647    73189     47 |  0.111 % |
21.35/21.43	c |     73336 |     899   132790   347818 | 2147483647    73335     46 |  0.120 % |
21.45/21.52	c |     73497 |     899   132790   347818 | 2147483647    73496     46 |  0.120 % |
21.55/21.62	c |     73675 |     899   132790   347818 | 2147483647    73674     46 |  0.120 % |
21.65/21.71	c |     73871 |     899   132790   347818 | 2147483647    73870     46 |  0.120 % |
21.75/21.80	c |     74085 |     899   132790   347818 | 2147483647    74084     46 |  0.111 % |
21.85/21.93	c |     74318 |     899   132790   347818 | 2147483647    74317     47 |  0.111 % |
21.95/22.07	c |     74576 |     899   132790   347818 | 2147483647    74575     47 |  0.120 % |
22.15/22.22	c |     74857 |     899   132790   347818 | 2147483647    74856     47 |  0.111 % |
22.25/22.37	c |     75166 |     899   132790   347818 | 2147483647    75165     47 |  0.111 % |
22.45/22.55	c |     75505 |     899   132790   347818 | 2147483647    75504     47 |  0.111 % |
22.65/22.72	c |     75878 |     899   132790   347818 | 2147483647    75877     47 |  0.111 % |
22.85/22.94	c |     76291 |     899   132790   347818 | 2147483647    76290     47 |  0.120 % |
23.05/23.17	c |     76742 |     899   132790   347818 | 2147483647    76741     47 |  0.120 % |
23.25/23.39	c |     77237 |     899   132790   347818 | 2147483647    77236     47 |  0.120 % |
23.55/23.66	c |     77779 |     899   132790   347818 | 2147483647    77778     47 |  0.120 % |
23.84/23.94	c |     78377 |     899   132790   347818 | 2147483647    78376     47 |  0.111 % |
24.15/24.29	c |     79035 |     899   132790   347818 | 2147483647    79034     46 |  0.121 % |
24.54/24.63	c |     79758 |     899   132790   347818 | 2147483647    79757     47 |  0.111 % |
24.94/25.05	c |     80551 |     899   132790   347818 | 2147483647    80550     47 |  0.120 % |
25.34/25.47	c |     81424 |     899   132790   347818 | 2147483647    81423     47 |  0.111 % |
25.84/25.95	c |     82384 |     899   132790   347818 | 2147483647    82383     47 |  0.120 % |
25.94/26.01	c |     82487 |     899   132790   347818 | 2147483647    82486     47 |  0.120 % |
25.94/26.09	c |     82599 |     899   132790   347818 | 2147483647    82598     47 |  0.120 % |
26.04/26.15	c |     82720 |     899   132790   347818 | 2147483647    82719     47 |  0.111 % |
26.14/26.22	c |     82853 |     899   132790   347818 | 2147483647    82852     47 |  0.121 % |
26.14/26.30	c |     83003 |     899   132790   347818 | 2147483647    83002     47 |  0.120 % |
26.24/26.38	c |     83163 |     899   132790   347818 | 2147483647    83162     47 |  0.111 % |
26.34/26.47	c |     83344 |     899   132790   347818 | 2147483647    83343     47 |  0.120 % |
26.44/26.57	c |     83539 |     899   132790   347818 | 2147483647    83538     47 |  0.120 % |
26.54/26.68	c |     83752 |     899   132790   347818 | 2147483647    83751     47 |  0.111 % |
26.74/26.80	c |     83986 |     899   132790   347818 | 2147483647    83985     47 |  0.111 % |
26.84/26.95	c |     84243 |     899   132790   347818 | 2147483647    84242     47 |  0.111 % |
26.94/27.08	c |     84528 |     899   132790   347818 | 2147483647    84527     47 |  0.120 % |
27.14/27.24	c |     84837 |     899   132790   347818 | 2147483647    84836     47 |  0.111 % |
27.34/27.46	c |     85176 |     899   132790   347818 | 2147483647    85175     47 |  0.111 % |
27.54/27.68	c |     85552 |     899   132790   347818 | 2147483647    85551     47 |  0.120 % |
27.74/27.87	c |     85961 |     899   132790   347818 | 2147483647    85960     48 |  0.111 % |
27.94/28.08	c |     86410 |     899   132790   347818 | 2147483647    86409     48 |  0.111 % |
28.24/28.31	c |     86903 |     899   132790   347818 | 2147483647    86902     48 |  0.111 % |
28.54/28.67	c |     87445 |     899   132790   347818 | 2147483647    87444     48 |  0.120 % |
28.94/29.08	c |     88041 |     899   132790   347818 | 2147483647    88040     48 |  0.120 % |
29.44/29.51	c |     88697 |     899   132790   347818 | 2147483647    88696     48 |  0.111 % |
29.84/29.98	c |     89418 |     899   132790   347818 | 2147483647    89417     48 |  0.120 % |
30.33/30.49	c |     90211 |     899   132790   347818 | 2147483647    90210     48 |  0.120 % |
30.83/30.96	c |     91084 |     899   132790   347818 | 2147483647    91083     48 |  0.120 % |
31.34/31.48	c |     92049 |     899   132790   347818 | 2147483647    92048     48 |  0.111 % |
31.94/32.02	c |     93102 |     899   132790   347818 | 2147483647    93101     49 |  0.111 % |
31.94/32.08	c |     93202 |     899   132790   347818 | 2147483647    93201     49 |  0.111 % |
32.04/32.16	c |     93313 |     899   132790   347818 | 2147483647    93312     49 |  0.120 % |
32.14/32.23	c |     93437 |     899   132790   347818 | 2147483647    93436     48 |  0.120 % |
32.24/32.31	c |     93571 |     899   132790   347818 | 2147483647    93570     48 |  0.120 % |
32.34/32.41	c |     93717 |     899   132790   347818 | 2147483647    93716     49 |  0.111 % |
32.44/32.50	c |     93880 |     899   132790   347818 | 2147483647    93879     49 |  0.111 % |
32.54/32.61	c |     94057 |     899   132790   347818 | 2147483647    94056     49 |  0.111 % |
32.64/32.73	c |     94253 |     899   132790   347818 | 2147483647    94252     49 |  0.111 % |
32.74/32.87	c |     94465 |     899   132790   347818 | 2147483647    94464     49 |  0.111 % |
32.94/33.01	c |     94698 |     899   132790   347818 | 2147483647    94697     49 |  0.111 % |
33.04/33.15	c |     94954 |     899   132790   347818 | 2147483647    94953     49 |  0.120 % |
33.24/33.34	c |     95235 |     899   132790   347818 | 2147483647    95234     49 |  0.120 % |
33.44/33.55	c |     95545 |     899   132790   347818 | 2147483647    95544     49 |  0.120 % |
33.64/33.76	c |     95884 |     899   132790   347818 | 2147483647    95883     49 |  0.111 % |
33.94/34.02	c |     96258 |     899   132790   347818 | 2147483647    96257     49 |  0.111 % |
34.24/34.30	c |     96667 |     899   132790   347818 | 2147483647    96666     49 |  0.120 % |
34.53/34.62	c |     97116 |     899   132790   347818 | 2147483647    97115     49 |  0.111 % |
34.83/34.97	c |     97609 |     899   132790   347818 | 2147483647    97608     49 |  0.120 % |
35.23/35.34	c |     98152 |     899   132790   347818 | 2147483647    98151     49 |  0.121 % |
35.63/35.76	c |     98750 |     899   132790   347818 | 2147483647    98749     48 |  0.121 % |
36.03/36.13	c |     99410 |     899   132790   347818 | 2147483647    99409     48 |  0.120 % |
36.53/36.63	c |    100130 |     899   132790   347818 | 2147483647   100129     48 |  0.120 % |
37.03/37.16	c |    100926 |     899   132790   347818 | 2147483647   100925     48 |  0.120 % |
37.63/37.79	c |    101798 |     899   132790   347818 | 2147483647   101797     48 |  0.120 % |
38.33/38.46	c |    102757 |     899   132790   347818 | 2147483647   102756     48 |  0.120 % |
39.13/39.28	c |    103810 |     899   132790   347818 | 2147483647   103809     48 |  0.120 % |
40.03/40.13	c |    104968 |     899   132790   347818 | 2147483647   104967     48 |  0.120 % |
40.03/40.19	c |    105069 |     899   132790   347818 | 2147483647   105068     48 |  0.120 % |
40.13/40.24	c |    105180 |     899   132790   347818 | 2147483647   105179     48 |  0.111 % |
40.23/40.33	c |    105303 |     899   132790   347818 | 2147483647   105302     48 |  0.111 % |
40.33/40.41	c |    105441 |     899   132790   347818 | 2147483647   105440     48 |  0.111 % |
40.43/40.51	c |    105589 |     899   132790   347818 | 2147483647   105588     48 |  0.120 % |
40.54/40.62	c |    105749 |     899   132790   347818 | 2147483647   105748     48 |  0.111 % |
40.64/40.74	c |    105925 |     899   132790   347818 | 2147483647   105924     48 |  0.120 % |
40.73/40.89	c |    106119 |     899   132790   347818 | 2147483647   106118     48 |  0.111 % |
40.93/41.06	c |    106333 |     899   132790   347818 | 2147483647   106332     48 |  0.111 % |
41.13/41.21	c |    106566 |     899   132790   347818 | 2147483647   106565     48 |  0.111 % |
41.23/41.37	c |    106822 |     899   132790   347818 | 2147483647   106821     48 |  0.111 % |
41.43/41.56	c |    107103 |     899   132790   347818 | 2147483647   107102     48 |  0.111 % |
41.64/41.77	c |    107412 |     899   132790   347818 | 2147483647   107411     48 |  0.120 % |
41.83/41.98	c |    107751 |     899   132790   347818 | 2147483647   107750     48 |  0.120 % |
42.13/42.26	c |    108127 |     899   132790   347818 | 2147483647   108126     48 |  0.120 % |
42.33/42.49	c |    108539 |     899   132790   347818 | 2147483647   108538     48 |  0.120 % |
42.63/42.75	c |    108989 |     899   132790   347818 | 2147483647   108988     48 |  0.111 % |
42.93/43.03	c |    109483 |     899   132790   347818 | 2147483647   109482     48 |  0.111 % |
43.23/43.36	c |    110026 |     899   132790   347818 | 2147483647   110025     48 |  0.120 % |
43.73/43.80	c |    110624 |     899   132790   347818 | 2147483647   110623     48 |  0.111 % |
44.13/44.26	c |    111279 |     899   132790   347818 | 2147483647   111278     48 |  0.111 % |
44.63/44.75	c |    111999 |     899   132790   347818 | 2147483647   111998     48 |  0.120 % |
45.13/45.26	c |    112791 |     899   132790   347818 | 2147483647   112790     48 |  0.120 % |
45.73/45.82	c |    113663 |     899   132790   347818 | 2147483647   113662     48 |  0.120 % |
46.33/46.49	c |    114621 |     899   132790   347818 | 2147483647   114620     48 |  0.111 % |
47.13/47.28	c |    115674 |     899   132790   347818 | 2147483647   115673     48 |  0.120 % |
48.12/48.24	c |    116834 |     899   132790   347818 | 2147483647   116833     48 |  0.120 % |
49.22/49.33	c |    118111 |     899   132790   347818 | 2147483647   118110     48 |  0.120 % |
49.33/49.43	c |    118212 |     899   132790   347818 | 2147483647   118211     48 |  0.120 % |
49.43/49.52	c |    118327 |     899   132790   347818 | 2147483647   118326     48 |  0.120 % |
49.43/49.60	c |    118451 |     899   132790   347818 | 2147483647   118450     48 |  0.120 % |
49.62/49.70	c |    118584 |     899   132790   347818 | 2147483647   118583     48 |  0.111 % |
49.72/49.82	c |    118731 |     899   132790   347818 | 2147483647   118730     48 |  0.111 % |
49.82/49.94	c |    118892 |     899   132790   347818 | 2147483647   118891     48 |  0.111 % |
49.92/50.08	c |    119068 |     899   132790   347818 | 2147483647   119067     48 |  0.120 % |
50.12/50.25	c |    119265 |     899   132790   347818 | 2147483647   119264     48 |  0.111 % |
50.32/50.42	c |    119478 |     899   132790   347818 | 2147483647   119477     48 |  0.111 % |
50.53/50.60	c |    119711 |     899   132790   347818 | 2147483647   119710     48 |  0.120 % |
50.72/50.81	c |    119969 |     899   132790   347818 | 2147483647   119968     48 |  0.120 % |
50.92/51.06	c |    120252 |     899   132790   347818 | 2147483647   120251     48 |  0.120 % |
51.12/51.28	c |    120562 |     899   132790   347818 | 2147483647   120561     48 |  0.120 % |
51.32/51.48	c |    120901 |     899   132790   347818 | 2147483647   120900     48 |  0.111 % |
51.72/51.80	c |    121273 |     899   132790   347818 | 2147483647   121272     48 |  0.111 % |
51.92/52.06	c |    121682 |     899   132790   347818 | 2147483647   121681     48 |  0.120 % |
52.22/52.38	c |    122132 |     899   132790   347818 | 2147483647   122131     48 |  0.120 % |
52.63/52.71	c |    122625 |     899   132790   347818 | 2147483647   122624     48 |  0.120 % |
52.93/53.08	c |    123167 |     899   132790   347818 | 2147483647   123166     48 |  0.120 % |
53.33/53.48	c |    123763 |     899   132790   347818 | 2147483647   123762     48 |  0.120 % |
53.83/53.97	c |    124418 |     899   132790   347818 | 2147483647   124417     48 |  0.120 % |
54.33/54.46	c |    125141 |     899   132790   347818 | 2147483647   125140     48 |  0.120 % |
54.83/54.98	c |    125935 |     899   132790   347818 | 2147483647   125934     48 |  0.111 % |
55.53/55.61	c |    126806 |     899   132790   347818 | 2147483647   126805     48 |  0.120 % |
56.23/56.31	c |    127764 |     899   132790   347818 | 2147483647   127763     48 |  0.120 % |
57.13/57.21	c |    128818 |     899   132790   347818 | 2147483647   128817     48 |  0.120 % |
58.13/58.20	c |    129979 |     899   132790   347818 | 2147483647   129978     48 |  0.120 % |
59.23/59.39	c |    131255 |     899   132790   347818 | 2147483647   131254     47 |  0.120 % |
60.62/60.71	c |    132656 |     899   132790   347818 | 2147483647   132655     47 |  0.120 % |
60.72/60.80	c |    132756 |     899   132790   347818 | 2147483647   132755     47 |  0.111 % |
60.82/60.92	c |    132874 |     899   132790   347818 | 2147483647   132873     47 |  0.120 % |
60.92/61.04	c |    132995 |     899   132790   347818 | 2147483647   132994     47 |  0.120 % |
61.02/61.17	c |    133129 |     899   132790   347818 | 2147483647   133128     47 |  0.120 % |
61.12/61.29	c |    133278 |     899   132790   347818 | 2147483647   133277     47 |  0.120 % |
61.32/61.43	c |    133438 |     899   132790   347818 | 2147483647   133437     47 |  0.120 % |
61.42/61.59	c |    133615 |     899   132790   347818 | 2147483647   133614     47 |  0.120 % |
61.62/61.75	c |    133808 |     899   132790   347818 | 2147483647   133807     47 |  0.120 % |
61.82/61.91	c |    134021 |     899   132790   347818 | 2147483647   134020     47 |  0.120 % |
61.92/62.09	c |    134256 |     899   132790   347818 | 2147483647   134255     47 |  0.111 % |
62.22/62.33	c |    134518 |     899   132790   347818 | 2147483647   134517     47 |  0.111 % |
62.42/62.58	c |    134799 |     899   132790   347818 | 2147483647   134798     47 |  0.111 % |
62.72/62.86	c |    135111 |     899   132790   347818 | 2147483647   135110     47 |  0.120 % |
63.02/63.15	c |    135450 |     899   132790   347818 | 2147483647   135449     47 |  0.120 % |
63.32/63.48	c |    135823 |     899   132790   347818 | 2147483647   135822     47 |  0.120 % |
63.72/63.81	c |    136232 |     899   132790   347818 | 2147483647   136231     47 |  0.120 % |
64.12/64.22	c |    136682 |     899   132790   347818 | 2147483647   136681     47 |  0.120 % |
64.52/64.69	c |    137175 |     899   132790   347818 | 2147483647   137174     47 |  0.120 % |
65.12/65.20	c |    137719 |     899   132790   347818 | 2147483647   137718     47 |  0.120 % |
65.62/65.72	c |    138316 |     899   132790   347818 | 2147483647   138315     47 |  0.120 % |
66.11/66.27	c |    138971 |     899   132790   347818 | 2147483647   138970     47 |  0.120 % |
66.81/66.93	c |    139693 |     899   132790   347818 | 2147483647   139692     47 |  0.120 % |
67.61/67.71	c |    140486 |     899   132790   347818 | 2147483647   140485     47 |  0.120 % |
68.21/68.36	c |    141358 |     899   132790   347818 | 2147483647   141357     47 |  0.120 % |
69.01/69.17	c |    142316 |     899   132790   347818 | 2147483647   142315     47 |  0.120 % |
70.11/70.26	c |    143369 |     899   132790   347818 | 2147483647   143368     47 |  0.120 % |
71.11/71.27	c |    144527 |     899   132790   347818 | 2147483647   144526     47 |  0.120 % |
72.21/72.32	c |    145808 |     899   132790   347818 | 2147483647   145807     48 |  0.111 % |
73.51/73.63	c |    147211 |     899   132790   347818 | 2147483647   147210     48 |  0.120 % |
74.91/75.04	c |    148753 |     899   132790   347818 | 2147483647   148752     48 |  0.120 % |
75.01/75.15	c |    148853 |     899   132790   347818 | 2147483647   148852     47 |  0.120 % |
75.11/75.24	c |    148963 |     899   132790   347818 | 2147483647   148962     47 |  0.120 % |
75.21/75.33	c |    149086 |     899   132790   347818 | 2147483647   149085     47 |  0.120 % |
75.30/75.44	c |    149220 |     899   132790   347818 | 2147483647   149219     48 |  0.111 % |
75.50/75.60	c |    149366 |     899   132790   347818 | 2147483647   149365     48 |  0.120 % |
75.60/75.73	c |    149527 |     899   132790   347818 | 2147483647   149526     48 |  0.111 % |
75.81/75.92	c |    149705 |     899   132790   347818 | 2147483647   149704     48 |  0.111 % |
76.00/76.10	c |    149899 |     899   132790   347818 | 2147483647   149898     48 |  0.120 % |
76.20/76.30	c |    150113 |     899   132790   347818 | 2147483647   150112     48 |  0.120 % |
76.40/76.51	c |    150352 |     899   132790   347818 | 2147483647   150351     48 |  0.120 % |
76.60/76.73	c |    150609 |     899   132790   347818 | 2147483647   150608     48 |  0.111 % |
76.81/77.00	c |    150892 |     899   132790   347818 | 2147483647   150891     48 |  0.120 % |
77.10/77.24	c |    151201 |     899   132790   347818 | 2147483647   151200     48 |  0.120 % |
77.40/77.54	c |    151540 |     899   132790   347818 | 2147483647   151539     48 |  0.120 % |
77.70/77.85	c |    151914 |     899   132790   347818 | 2147483647   151913     48 |  0.111 % |
78.10/78.20	c |    152324 |     899   132790   347818 | 2147483647   152323     48 |  0.120 % |
78.50/78.60	c |    152774 |     899   132790   347818 | 2147483647   152773     48 |  0.120 % |
79.01/79.11	c |    153270 |     899   132790   347818 | 2147483647   153269     48 |  0.120 % |
79.50/79.62	c |    153815 |     899   132790   347818 | 2147483647   153814     48 |  0.120 % |
80.00/80.15	c |    154411 |     899   132790   347818 | 2147483647   154410     48 |  0.120 % |
80.60/80.77	c |    155066 |     899   132790   347818 | 2147483647   155065     48 |  0.120 % |
81.20/81.38	c |    155786 |     899   132790   347818 | 2147483647   155785     48 |  0.111 % |
82.00/82.14	c |    156578 |     899   132790   347818 | 2147483647   156577     48 |  0.120 % |
82.70/82.84	c |    157452 |     899   132790   347818 | 2147483647   157451     48 |  0.111 % |
83.60/83.73	c |    158410 |     899   132790   347818 | 2147483647   158409     48 |  0.111 % |
84.61/84.76	c |    159465 |     899   132790   347818 | 2147483647   159464     48 |  0.120 % |
85.81/85.93	c |    160623 |     899   132790   347818 | 2147483647   160622     48 |  0.120 % |
87.01/87.13	c |    161896 |     899   132790   347818 | 2147483647   161895     48 |  0.120 % |
88.41/88.56	c |    163296 |     899   132790   347818 | 2147483647   163295     48 |  0.120 % |
90.01/90.14	c |    164836 |     899   132790   347818 | 2147483647   164835     48 |  0.120 % |
91.90/92.07	c |    166530 |     899   132790   347818 | 2147483647   166529     48 |  0.120 % |
92.10/92.21	c |    166633 |     899   132790   347818 | 2147483647   166632     48 |  0.111 % |
92.21/92.33	c |    166743 |     899   132790   347818 | 2147483647   166742     48 |  0.111 % |
92.31/92.48	c |    166864 |     899   132790   347818 | 2147483647   166863     48 |  0.111 % |
92.50/92.63	c |    166999 |     899   132790   347818 | 2147483647   166998     48 |  0.120 % |
92.60/92.78	c |    167146 |     899   132790   347818 | 2147483647   167145     48 |  0.120 % |
92.80/92.98	c |    167307 |     899   132790   347818 | 2147483647   167306     48 |  0.120 % |
93.00/93.18	c |    167488 |     899   132790   347818 | 2147483647   167487     48 |  0.120 % |
93.31/93.42	c |    167681 |     899   132790   347818 | 2147483647   167680     48 |  0.120 % |
93.50/93.69	c |    167894 |     899   132790   347818 | 2147483647   167893     48 |  0.120 % |
93.80/93.98	c |    168127 |     899   132790   347818 | 2147483647   168126     48 |  0.120 % |
94.10/94.23	c |    168385 |     899   132790   347818 | 2147483647   168384     48 |  0.120 % |
94.30/94.50	c |    168666 |     899   132790   347818 | 2147483647   168665     48 |  0.120 % |
94.70/94.84	c |    168975 |     899   132790   347818 | 2147483647   168974     48 |  0.120 % |
95.10/95.22	c |    169316 |     899   132790   347818 | 2147483647   169315     48 |  0.120 % |
95.40/95.60	c |    169689 |     899   132790   347818 | 2147483647   169688     48 |  0.120 % |
95.90/96.00	c |    170099 |     899   132790   347818 | 2147483647   170098     48 |  0.120 % |
96.30/96.44	c |    170548 |     899   132790   347818 | 2147483647   170547     48 |  0.111 % |
96.80/96.98	c |    171045 |     899   132790   347818 | 2147483647   171044     48 |  0.111 % |
97.30/97.48	c |    171587 |     899   132790   347818 | 2147483647   171586     48 |  0.111 % |
97.80/97.99	c |    172183 |     899   132790   347818 | 2147483647   172182     48 |  0.111 % |
98.60/98.70	c |    172840 |     899   132790   347818 | 2147483647   172839     48 |  0.120 % |
99.29/99.40	c |    173560 |     899   132790   347818 | 2147483647   173559     48 |  0.120 % |
100.09/100.29	c |    174353 |     899   132790   347818 | 2147483647   174352     49 |  0.111 % |
100.89/101.08	c |    175224 |     899   132790   347818 | 2147483647   175223     49 |  0.120 % |
101.99/102.11	c |    176185 |     899   132790   347818 | 2147483647   176184     49 |  0.111 % |
103.09/103.29	c |    177238 |     899   132790   347818 | 2147483647   177237     48 |  0.120 % |
104.29/104.45	c |    178397 |     899   132790   347818 | 2147483647   178396     49 |  0.120 % |
105.59/105.78	c |    179670 |     899   132790   347818 | 2147483647   179669     48 |  0.120 % |
107.29/107.42	c |    181070 |     899   132790   347818 |   179999   161821     49 |  0.120 % |
108.79/108.96	c |    182613 |     899   132790   347818 |   179999   163364     49 |  0.111 % |
110.99/111.12	c |    184307 |     899   132790   347818 |   179999   165058     49 |  0.120 % |
113.08/113.30	c |    186171 |     899   132790   347818 |   179999   166922     49 |  0.120 % |
113.28/113.41	c |    186278 |     899   132790   347818 |   179999   167029     49 |  0.120 % |
113.38/113.51	c |    186388 |     899   132790   347818 |   179999   167139     49 |  0.120 % |
113.48/113.65	c |    186510 |     899   132790   347818 |   179999   167261     49 |  0.120 % |
113.68/113.82	c |    186643 |     899   132790   347818 |   179999   167394     49 |  0.111 % |
113.88/114.00	c |    186792 |     899   132790   347818 |   179999   167543     49 |  0.111 % |
114.08/114.20	c |    186953 |     899   132790   347818 |   179999   167704     49 |  0.120 % |
114.28/114.43	c |    187132 |     899   132790   347818 |   179999   167883     49 |  0.111 % |
114.48/114.67	c |    187325 |     899   132790   347818 |   179999   168076     49 |  0.120 % |
114.78/114.93	c |    187537 |     899   132790   347818 |   179999   168288     49 |  0.120 % |
114.98/115.16	c |    187771 |     899   132790   347818 |   179999   168522     49 |  0.111 % |
115.28/115.50	c |    188028 |     899   132790   347818 |   179999   168779     49 |  0.120 % |
115.68/115.81	c |    188312 |     899   132790   347818 |   179999   169063     49 |  0.111 % |
115.98/116.19	c |    188621 |     899   132790   347818 |   179999   169372     49 |  0.120 % |
116.38/116.59	c |    188961 |     899   132790   347818 |   179999   169712     49 |  0.120 % |
116.78/116.98	c |    189333 |     899   132790   347818 |   179999   170084     49 |  0.120 % |
117.28/117.45	c |    189744 |     899   132790   347818 |   179999   170495     49 |  0.111 % |
117.78/117.94	c |    190195 |     899   132790   347818 |   170752   170946     49 |  0.120 % |
118.58/118.74	c |    190689 |     899   132790   347818 |   170752   150513     49 |  0.120 % |
119.08/119.29	c |    191231 |     899   132790   347818 |   170752   151055     49 |  0.120 % |
119.68/119.87	c |    191828 |     899   132790   347818 |   170752   151652     48 |  0.120 % |
120.38/120.58	c |    192483 |     899   132790   347818 |   170752   152307     48 |  0.120 % |
121.29/121.49	c |    193203 |     899   132790   347818 |   170752   153027     48 |  0.111 % |
122.09/122.25	c |    193997 |     899   132790   347818 |   170752   153821     48 |  0.120 % |
123.09/123.22	c |    194872 |     899   132790   347818 |   170752   154696     48 |  0.120 % |
123.99/124.11	c |    195830 |     899   132790   347818 |   170752   155654     48 |  0.120 % |
124.99/125.18	c |    196887 |     899   132790   347818 |   170752   156711     48 |  0.120 % |
126.39/126.53	c |    198050 |     899   132790   347818 |   170752   157874     48 |  0.120 % |
127.78/127.92	c |    199323 |     899   132790   347818 |   170752   159147     49 |  0.111 % |
129.38/129.52	c |    200723 |     899   132790   347818 |   159826   142233     49 |  0.120 % |
130.79/130.96	c |    202265 |     899   132790   347818 |   159826   143775     49 |  0.120 % |
132.58/132.70	c |    203964 |     899   132790   347818 |   159826   145474     48 |  0.120 % |
134.38/134.52	c |    205829 |     899   132790   347818 |   159826   147339     48 |  0.120 % |
136.48/136.63	c |    207884 |     899   132790   347818 |   159826   149394     48 |  0.120 % |
136.58/136.76	c |    207984 |     899   132790   347818 |   159826   149494     48 |  0.120 % |
136.68/136.89	c |    208095 |     899   132790   347818 |   159826   149605     48 |  0.120 % |
136.78/137.00	c |    208216 |     899   132790   347818 |   159826   149726     48 |  0.111 % |
136.98/137.14	c |    208349 |     899   132790   347818 |   159826   149859     48 |  0.111 % |
137.18/137.31	c |    208495 |     899   132790   347818 |   159826   150005     48 |  0.111 % |
137.38/137.55	c |    208656 |     899   132790   347818 |   159826   150166     48 |  0.111 % |
137.58/137.73	c |    208833 |     899   132790   347818 |   159826   150343     48 |  0.120 % |
137.78/137.91	c |    209026 |     899   132790   347818 |   159826   150536     48 |  0.120 % |
137.98/138.10	c |    209239 |     899   132790   347818 |   159826   150749     48 |  0.111 % |
138.18/138.33	c |    209472 |     899   132790   347818 |   159826   150982     48 |  0.111 % |
138.38/138.60	c |    209731 |     899   132790   347818 |   159826   151241     48 |  0.120 % |
138.68/138.86	c |    210015 |     899   132790   347818 |   151514   151525     48 |  0.120 % |
139.18/139.34	c |    210325 |     899   132790   347818 |   151514   135923     48 |  0.111 % |
139.48/139.67	c |    210664 |     899   132790   347818 |   151514   136262     48 |  0.111 % |
139.78/139.99	c |    211040 |     899   132790   347818 |   151514   136638     48 |  0.120 % |
140.18/140.34	c |    211449 |     899   132790   347818 |   151514   137047     48 |  0.111 % |
140.58/140.77	c |    211899 |     899   132790   347818 |   151514   137497     48 |  0.111 % |
141.08/141.24	c |    212394 |     899   132790   347818 |   151514   137992     48 |  0.120 % |
141.58/141.76	c |    212937 |     899   132790   347818 |   151514   138535     48 |  0.120 % |
142.18/142.34	c |    213536 |     899   132790   347818 |   151514   139134     48 |  0.120 % |
142.78/142.91	c |    214197 |     899   132790   347818 |   151514   139795     48 |  0.111 % |
143.48/143.65	c |    214918 |     899   132790   347818 |   151514   140516     48 |  0.120 % |
144.28/144.47	c |    215710 |     899   132790   347818 |   151514   141308     48 |  0.120 % |
145.17/145.31	c |    216583 |     899   132790   347818 |   151514   142181     48 |  0.111 % |
145.97/146.17	c |    217541 |     899   132790   347818 |   151514   143139     48 |  0.111 % |
147.07/147.20	c |    218595 |     899   132790   347818 |   151514   144193     49 |  0.111 % |
148.17/148.33	c |    219753 |     899   132790   347818 |   151514   145351     49 |  0.111 % |
149.48/149.65	c |    221030 |     899   132790   347818 | 2147483647   146628     49 |  0.120 % |
150.87/151.04	c |    222430 |     899   132790   347818 | 2147483647   148028     50 |  0.111 % |
152.47/152.69	c |    223970 |     899   132790   347818 | 2147483647   149568     50 |  0.120 % |
154.57/154.74	c |    225666 |     899   132790   347818 | 2147483647   151264     50 |  0.120 % |
156.47/156.63	c |    227530 |     899   132790   347818 | 2147483647   153128     50 |  0.120 % |
158.86/159.07	c |    229580 |     899   132790   347818 | 2147483647   155178     51 |  0.111 % |
161.76/161.91	c |    231833 |     899   132790   347818 |   155598   138464     52 |  0.111 % |
161.86/162.01	c |    231933 |     899   132790   347818 |   155598   138564     52 |  0.120 % |
161.96/162.14	c |    232046 |     899   132790   347818 |   155598   138677     52 |  0.120 % |
162.06/162.29	c |    232167 |     899   132790   347818 |   155598   138798     52 |  0.111 % |
162.26/162.42	c |    232302 |     899   132790   347818 |   155598   138933     52 |  0.120 % |
162.46/162.62	c |    232450 |     899   132790   347818 |   155598   139081     52 |  0.120 % |
162.67/162.84	c |    232611 |     899   132790   347818 |   155598   139242     52 |  0.120 % |
162.86/163.06	c |    232787 |     899   132790   347818 |   155598   139418     52 |  0.120 % |
163.16/163.31	c |    232980 |     899   132790   347818 |   155598   139611     52 |  0.120 % |
163.36/163.57	c |    233193 |     899   132790   347818 |   155598   139824     52 |  0.120 % |
163.67/163.82	c |    233426 |     899   132790   347818 |   155598   140057     52 |  0.120 % |
163.96/164.11	c |    233683 |     899   132790   347818 |   155598   140314     52 |  0.120 % |
164.16/164.38	c |    233964 |     899   132790   347818 |   155598   140595     52 |  0.120 % |
164.56/164.74	c |    234275 |     899   132790   347818 |   155598   140906     52 |  0.111 % |
164.96/165.15	c |    234614 |     899   132790   347818 |   155598   141245     52 |  0.120 % |
165.26/165.47	c |    234989 |     899   132790   347818 |   155598   141620     52 |  0.120 % |
165.76/165.91	c |    235401 |     899   132790   347818 |   155598   142032     52 |  0.120 % |
166.36/166.54	c |    235851 |     899   132790   347818 |   155598   142482     52 |  0.120 % |
166.96/167.10	c |    236348 |     899   132790   347818 |   155598   142979     52 |  0.120 % |
167.66/167.80	c |    236890 |     899   132790   347818 |   155598   143521     52 |  0.120 % |
168.26/168.49	c |    237486 |     899   132790   347818 |   155598   144117     52 |  0.120 % |
169.16/169.39	c |    238141 |     899   132790   347818 |   155598   144772     52 |  0.120 % |
169.96/170.14	c |    238861 |     899   132790   347818 |   155598   145492     52 |  0.120 % |
170.96/171.11	c |    239654 |     899   132790   347818 |   155598   146285     52 |  0.120 % |
172.46/172.62	c |    240531 |     899   132790   347818 |   146631   127928     52 |  0.120 % |
173.16/173.35	c |    241489 |     899   132790   347818 |   146631   128886     52 |  0.111 % |
174.16/174.37	c |    242544 |     899   132790   347818 |   146631   129941     52 |  0.111 % |
175.36/175.57	c |    243702 |     899   132790   347818 |   146631   131099     53 |  0.111 % |
176.96/177.11	c |    244975 |     899   132790   347818 |   146631   132372     52 |  0.120 % |
178.25/178.45	c |    246376 |     899   132790   347818 |   146631   133773     53 |  0.111 % |
179.65/179.82	c |    247916 |     899   132790   347818 |   146631   135313     53 |  0.111 % |
181.65/181.85	c |    249610 |     899   132790   347818 |   146631   137007     52 |  0.111 % |
184.05/184.20	c |    251474 |     899   132790   347818 |   137397   120376     53 |  0.121 % |
186.55/186.77	c |    253526 |     899   132790   347818 |   137397   122428     53 |  0.120 % |
189.06/189.25	c |    255779 |     899   132790   347818 |   137397   124681     54 |  0.111 % |
191.95/192.14	c |    258260 |     899   132790   347818 |   137397   127162     54 |  0.111 % |
192.05/192.28	c |    258362 |     899   132790   347818 |   137397   127264     54 |  0.120 % |
192.26/192.43	c |    258477 |     899   132790   347818 |   137397   127379     54 |  0.120 % |
192.36/192.58	c |    258599 |     899   132790   347818 |   137397   127501     54 |  0.120 % |
192.55/192.76	c |    258734 |     899   132790   347818 |   137397   127636     54 |  0.111 % |
192.75/192.93	c |    258880 |     899   132790   347818 |   137397   127782     54 |  0.120 % |
192.95/193.11	c |    259042 |     899   132790   347818 |   137397   127944     54 |  0.120 % |
193.05/193.28	c |    259219 |     899   132790   347818 |   137397   128121     54 |  0.111 % |
193.35/193.52	c |    259413 |     899   132790   347818 |   137397   128315     54 |  0.111 % |
193.55/193.77	c |    259626 |     899   132790   347818 |   137397   128528     54 |  0.120 % |
193.85/194.08	c |    259863 |     899   132790   347818 |   137397   128765     54 |  0.120 % |
194.25/194.41	c |    260120 |     899   132790   347818 |   128902   129022     54 |  0.120 % |
194.65/194.81	c |    260401 |     899   132790   347818 |   128902   111878     53 |  0.120 % |
195.05/195.20	c |    260714 |     899   132790   347818 |   128902   112191     53 |  0.120 % |
195.35/195.59	c |    261056 |     899   132790   347818 |   128902   112533     53 |  0.120 % |
195.75/195.94	c |    261428 |     899   132790   347818 |   128902   112905     54 |  0.111 % |
196.25/196.45	c |    261838 |     899   132790   347818 |   128902   113315     54 |  0.111 % |
196.65/196.86	c |    262287 |     899   132790   347818 |   128902   113764     53 |  0.120 % |
197.15/197.33	c |    262781 |     899   132790   347818 |   128902   114258     53 |  0.120 % |
197.75/197.91	c |    263324 |     899   132790   347818 |   128902   114801     53 |  0.120 % |
198.35/198.51	c |    263920 |     899   132790   347818 |   128902   115397     53 |  0.120 % |
199.05/199.26	c |    264575 |     899   132790   347818 |   128902   116052     53 |  0.120 % |
199.85/200.02	c |    265297 |     899   132790   347818 |   128902   116774     53 |  0.111 % |
200.65/200.86	c |    266090 |     899   132790   347818 |   128902   117567     53 |  0.120 % |
201.54/201.79	c |    266961 |     899   132790   347818 |   128902   118438     54 |  0.111 % |
202.74/202.91	c |    267919 |     899   132790   347818 |   128902   119396     54 |  0.111 % |
204.04/204.21	c |    268974 |     899   132790   347818 |   128902   120451     54 |  0.120 % |
205.44/205.61	c |    270132 |     899   132790   347818 |   121477   121609     54 |  0.120 % |
206.94/207.10	c |    271407 |     899   132790   347818 |   121477   108140     53 |  0.120 % |
208.64/208.83	c |    272807 |     899   132790   347818 |   121477   109540     53 |  0.121 % |
210.74/210.91	c |    274349 |     899   132790   347818 |   121477   111082     53 |  0.121 % |
213.24/213.42	c |    276044 |     899   132790   347818 |   121477   112777     53 |  0.121 % |
215.53/215.75	c |    277912 |     899   132790   347818 |   121477   114645     54 |  0.111 % |
218.13/218.34	c |    279961 |     899   132790   347818 |   121477   116694     54 |  0.120 % |
221.23/221.44	c |    282215 |     899   132790   347818 |   116735   102959     54 |  0.120 % |
224.43/224.68	c |    284695 |     899   132790   347818 |   116735   105439     54 |  0.120 % |
227.53/227.75	c |    287420 |     899   132790   347818 |   116735   108164     54 |  0.111 % |
227.63/227.86	c |    287520 |     899   132790   347818 |   116735   108264     54 |  0.120 % |
227.83/228.02	c |    287630 |     899   132790   347818 |   116735   108374     54 |  0.111 % |
227.93/228.15	c |    287751 |     899   132790   347818 |   116735   108495     54 |  0.120 % |
228.03/228.27	c |    287886 |     899   132790   347818 |   116735   108630     54 |  0.120 % |
228.23/228.42	c |    288033 |     899   132790   347818 |   116735   108777     54 |  0.120 % |
228.43/228.64	c |    288193 |     899   132790   347818 |   116735   108937     54 |  0.111 % |
228.73/228.93	c |    288370 |     899   132790   347818 |   116735   109114     54 |  0.111 % |
228.93/229.16	c |    288564 |     899   132790   347818 |   116735   109308     54 |  0.111 % |
229.13/229.38	c |    288777 |     899   132790   347818 |   116735   109521     54 |  0.111 % |
229.43/229.66	c |    289011 |     899   132790   347818 |   116735   109755     54 |  0.111 % |
229.63/229.89	c |    289267 |     899   132790   347818 |   116735   110011     54 |  0.111 % |
229.93/230.15	c |    289548 |     899   132790   347818 |   116735   110292     54 |  0.120 % |
230.23/230.48	c |    289859 |     899   132790   347818 |   116735   110603     54 |  0.111 % |
230.83/231.00	c |    290199 |     899   132790   347818 |   110744    96212     55 |  0.111 % |
231.23/231.43	c |    290576 |     899   132790   347818 |   110744    96589     55 |  0.111 % |
231.63/231.81	c |    290986 |     899   132790   347818 |   110744    96999     55 |  0.111 % |
232.03/232.25	c |    291436 |     899   132790   347818 |   110744    97449     55 |  0.120 % |
232.43/232.70	c |    291930 |     899   132790   347818 |   110744    97943     55 |  0.120 % |
233.03/233.25	c |    292473 |     899   132790   347818 |   110744    98486     55 |  0.111 % |
233.63/233.83	c |    293069 |     899   132790   347818 |   110744    99082     55 |  0.120 % |
234.33/234.60	c |    293724 |     899   132790   347818 |   110744    99737     55 |  0.111 % |
235.13/235.30	c |    294445 |     899   132790   347818 |   110744   100458     55 |  0.120 % |
235.92/236.12	c |    295237 |     899   132790   347818 |   110744   101250     55 |  0.120 % |
236.82/237.09	c |    296108 |     899   132790   347818 |   110744   102121     55 |  0.120 % |
237.92/238.10	c |    297068 |     899   132790   347818 |   110744   103081     55 |  0.120 % |
238.92/239.17	c |    298121 |     899   132790   347818 |   110744   104134     55 |  0.111 % |
240.12/240.31	c |    299283 |     899   132790   347818 |   110744   105296     55 |  0.120 % |
241.73/241.91	c |    300558 |     899   132790   347818 |   106013    95141     53 |  0.120 % |
243.12/243.30	c |    301959 |     899   132790   347818 |   106013    96542     53 |  0.111 % |
244.52/244.79	c |    303500 |     899   132790   347818 |   106013    98083     53 |  0.120 % |
246.02/246.25	c |    305195 |     899   132790   347818 |   106013    99778     55 |  0.111 % |
248.01/248.21	c |    307063 |     899   132790   347818 |   106013   101646     55 |  0.111 % |
249.91/250.10	c |    309112 |     899   132790   347818 |   106013   103695     56 |  0.111 % |
252.11/252.32	c |    311367 |     899   132790   347818 | 2147483647   105950     55 |  0.120 % |
255.02/255.20	c |    313845 |     899   132790   347818 | 2147483647   108428     55 |  0.120 % |
258.11/258.35	c |    316571 |     899   132790   347818 | 2147483647   111154     55 |  0.120 % |
261.31/261.57	c |    319568 |     899   132790   347818 | 2147483647   114151     57 |  0.111 % |
261.51/261.70	c |    319669 |     899   132790   347818 | 2147483647   114252     57 |  0.111 % |
261.61/261.83	c |    319779 |     899   132790   347818 | 2147483647   114362     57 |  0.120 % |
261.71/261.99	c |    319900 |     899   132790   347818 | 2147483647   114483     57 |  0.120 % |
261.91/262.15	c |    320034 |     899   132790   347818 |   114584   114617     57 |  0.120 % |
262.31/262.50	c |    320181 |     899   132790   347818 |   114584   100507     54 |  0.111 % |
262.51/262.71	c |    320341 |     899   132790   347818 |   114584   100667     54 |  0.111 % |
262.71/262.92	c |    320517 |     899   132790   347818 |   114584   100843     54 |  0.120 % |
262.91/263.13	c |    320714 |     899   132790   347818 |   114584   101040     54 |  0.111 % |
263.11/263.32	c |    320934 |     899   132790   347818 |   114584   101260     54 |  0.120 % |
263.31/263.56	c |    321170 |     899   132790   347818 |   114584   101496     54 |  0.120 % |
263.61/263.85	c |    321427 |     899   132790   347818 |   114584   101753     54 |  0.120 % |
263.91/264.17	c |    321712 |     899   132790   347818 |   114584   102038     54 |  0.120 % |
264.31/264.50	c |    322021 |     899   132790   347818 |   114584   102347     54 |  0.120 % |
264.71/264.90	c |    322364 |     899   132790   347818 |   114584   102690     54 |  0.111 % |
265.11/265.37	c |    322737 |     899   132790   347818 |   114584   103063     54 |  0.120 % |
265.61/265.88	c |    323149 |     899   132790   347818 |   114584   103475     54 |  0.120 % |
266.21/266.41	c |    323598 |     899   132790   347818 |   114584   103924     54 |  0.120 % |
266.71/266.99	c |    324094 |     899   132790   347818 |   114584   104420     54 |  0.111 % |
267.21/267.49	c |    324637 |     899   132790   347818 |   114584   104963     55 |  0.111 % |
267.91/268.13	c |    325237 |     899   132790   347818 |   114584   105563     55 |  0.120 % |
268.51/268.78	c |    325892 |     899   132790   347818 |   114584   106218     55 |  0.120 % |
269.31/269.52	c |    326616 |     899   132790   347818 |   114584   106942     55 |  0.111 % |
270.01/270.24	c |    327409 |     899   132790   347818 |   114584   107735     55 |  0.111 % |
270.91/271.14	c |    328280 |     899   132790   347818 |   114584   108606     55 |  0.120 % |
272.11/272.33	c |    329241 |     899   132790   347818 |   114584   109567     54 |  0.120 % |
273.21/273.42	c |    330294 |     899   132790   347818 |   110328   110620     54 |  0.120 % |
274.41/274.69	c |    331452 |     899   132790   347818 |   110328    98083     54 |  0.111 % |
275.81/276.06	c |    332725 |     899   132790   347818 |   110328    99356     54 |  0.121 % |
277.30/277.59	c |    334129 |     899   132790   347818 |   110328   100760     54 |  0.120 % |
279.00/279.25	c |    335672 |     899   132790   347818 |   110328   102303     54 |  0.120 % |
280.90/281.14	c |    337367 |     899   132790   347818 |   110328   103998     53 |  0.120 % |
283.20/283.44	c |    339232 |     899   132790   347818 |   110328   105863     53 |  0.111 % |
285.90/286.18	c |    341283 |     899   132790   347818 |   106634    95079     52 |  0.111 % |
288.50/288.73	c |    343543 |     899   132790   347818 |   106634    97339     52 |  0.120 % |
291.09/291.31	c |    346024 |     899   132790   347818 |   106634    99820     53 |  0.111 % |
294.00/294.27	c |    348749 |     899   132790   347818 |   106634   102545     55 |  0.111 % |
297.99/298.27	c |    351747 |     899   132790   347818 |   103797    92211     55 |  0.120 % |
301.69/301.93	c |    355044 |     899   132790   347818 |   103797    95508     55 |  0.120 % |
301.79/302.06	c |    355145 |     899   132790   347818 |   103797    95609     55 |  0.111 % |
301.99/302.20	c |    355255 |     899   132790   347818 |   103797    95719     55 |  0.120 % |
302.09/302.36	c |    355378 |     899   132790   347818 |   103797    95842     55 |  0.120 % |
302.30/302.52	c |    355512 |     899   132790   347818 |   103797    95976     55 |  0.120 % |
302.49/302.70	c |    355662 |     899   132790   347818 |   103797    96126     55 |  0.111 % |
302.69/302.92	c |    355822 |     899   132790   347818 |   103797    96286     55 |  0.120 % |
302.89/303.16	c |    355999 |     899   132790   347818 |   103797    96463     55 |  0.120 % |
303.09/303.37	c |    356192 |     899   132790   347818 |   103797    96656     55 |  0.120 % |
303.40/303.65	c |    356404 |     899   132790   347818 |   103797    96868     55 |  0.120 % |
303.59/303.89	c |    356637 |     899   132790   347818 |   103797    97101     55 |  0.120 % |
303.99/304.23	c |    356893 |     899   132790   347818 |   103797    97357     55 |  0.120 % |
304.29/304.59	c |    357176 |     899   132790   347818 |   103797    97640     54 |  0.120 % |
304.69/304.98	c |    357485 |     899   132790   347818 |   103797    97949     54 |  0.120 % |
305.09/305.32	c |    357826 |     899   132790   347818 |   103797    98290     54 |  0.120 % |
305.49/305.79	c |    358201 |     899   132790   347818 |   103797    98665     54 |  0.120 % |
305.99/306.29	c |    358613 |     899   132790   347818 |   103797    99077     54 |  0.120 % |
306.59/306.81	c |    359064 |     899   132790   347818 |   103797    99528     54 |  0.120 % |
307.19/307.41	c |    359558 |     899   132790   347818 |   103797   100022     54 |  0.111 % |
307.79/308.01	c |    360101 |     899   132790   347818 |   100469   100565     54 |  0.111 % |
308.49/308.71	c |    360697 |     899   132790   347818 |   100469    87631     55 |  0.111 % |
309.19/309.44	c |    361352 |     899   132790   347818 |   100469    88286     55 |  0.120 % |
310.09/310.30	c |    362072 |     899   132790   347818 |   100469    89006     55 |  0.120 % |
310.99/311.24	c |    362864 |     899   132790   347818 |   100469    89798     55 |  0.111 % |
311.99/312.23	c |    363736 |     899   132790   347818 |   100469    90670     55 |  0.111 % |
313.19/313.46	c |    364698 |     899   132790   347818 |   100469    91632     55 |  0.120 % |
314.39/314.62	c |    365754 |     899   132790   347818 |   100469    92688     55 |  0.120 % |
315.59/315.86	c |    366914 |     899   132790   347818 |   100469    93848     55 |  0.120 % |
316.89/317.15	c |    368187 |     899   132790   347818 |   100469    95121     55 |  0.120 % |
318.39/318.67	c |    369588 |     899   132790   347818 |   100469    96522     54 |  0.120 % |
320.08/320.35	c |    371130 |     899   132790   347818 |    96936    86417     55 |  0.111 % |
321.88/322.13	c |    372824 |     899   132790   347818 |    96936    88111     55 |  0.111 % |
323.88/324.20	c |    374687 |     899   132790   347818 |    96936    89974     54 |  0.111 % |
325.98/326.27	c |    376736 |     899   132790   347818 |    96936    92023     54 |  0.120 % |
328.69/328.91	c |    378991 |     899   132790   347818 |    96936    94278     54 |  0.120 % |
331.28/331.57	c |    381470 |     899   132790   347818 |    95288    85069     51 |  0.120 % |
333.98/334.27	c |    384198 |     899   132790   347818 |    95288    87797     51 |  0.120 % |
337.37/337.62	c |    387197 |     899   132790   347818 |    95288    90796     51 |  0.120 % |
341.26/341.55	c |    390497 |     899   132790   347818 |    93602    83184     47 |  0.120 % |
345.07/345.32	c |    394122 |     899   132790   347818 |    93602    86809     47 |  0.120 % |
345.17/345.45	c |    394222 |     899   132790   347818 |    93602    86909     47 |  0.120 % |
345.26/345.57	c |    394335 |     899   132790   347818 |    93602    87022     47 |  0.120 % |
345.46/345.71	c |    394457 |     899   132790   347818 |    93602    87144     47 |  0.120 % |
345.56/345.85	c |    394592 |     899   132790   347818 |    93602    87279     47 |  0.120 % |
345.76/346.02	c |    394739 |     899   132790   347818 |    93602    87426     47 |  0.111 % |
345.86/346.18	c |    394899 |     899   132790   347818 |    93602    87586     47 |  0.120 % |
346.06/346.39	c |    395077 |     899   132790   347818 |    93602    87764     47 |  0.120 % |
346.27/346.58	c |    395271 |     899   132790   347818 |    93602    87958     47 |  0.111 % |
346.46/346.77	c |    395485 |     899   132790   347818 |    93602    88172     47 |  0.111 % |
346.76/347.00	c |    395720 |     899   132790   347818 |    93602    88407     47 |  0.120 % |
346.96/347.27	c |    395978 |     899   132790   347818 |    93602    88665     47 |  0.120 % |
347.27/347.60	c |    396259 |     899   132790   347818 |    93602    88946     47 |  0.120 % |
347.66/347.92	c |    396571 |     899   132790   347818 |    93602    89258     47 |  0.120 % |
347.96/348.26	c |    396911 |     899   132790   347818 |    93602    89598     47 |  0.111 % |
348.26/348.60	c |    397288 |     899   132790   347818 |    93602    89975     47 |  0.120 % |
348.76/349.00	c |    397700 |     899   132790   347818 |    93602    90387     47 |  0.120 % |
349.16/349.43	c |    398149 |     899   132790   347818 |    93602    90836     47 |  0.120 % |
349.66/349.97	c |    398644 |     899   132790   347818 |    93602    91331     47 |  0.120 % |
350.26/350.54	c |    399188 |     899   132790   347818 |    93602    91875     47 |  0.120 % |
350.86/351.19	c |    399785 |     899   132790   347818 |    93602    92472     46 |  0.120 % |
351.76/352.01	c |    400442 |     899   132790   347818 |    92687    83511     46 |  0.120 % |
352.36/352.66	c |    401162 |     899   132790   347818 |    92687    84231     46 |  0.120 % |
353.16/353.43	c |    401955 |     899   132790   347818 |    92687    85024     46 |  0.120 % |
353.86/354.20	c |    402828 |     899   132790   347818 |    92687    85897     46 |  0.120 % |
354.86/355.18	c |    403790 |     899   132790   347818 |    92687    86859     46 |  0.120 % |
355.86/356.14	c |    404843 |     899   132790   347818 |    92687    87912     46 |  0.120 % |
357.06/357.37	c |    406004 |     899   132790   347818 |    92687    89073     46 |  0.120 % |
358.06/358.34	c |    407278 |     899   132790   347818 |    92687    90347     47 |  0.111 % |
359.56/359.82	c |    408678 |     899   132790   347818 |    92687    91747     47 |  0.120 % |
361.16/361.48	c |    410219 |     899   132790   347818 | 2147483647    93288     47 |  0.120 % |
363.05/363.31	c |    411915 |     899   132790   347818 | 2147483647    94984     48 |  0.120 % |
365.15/365.40	c |    413779 |     899   132790   347818 | 2147483647    96848     48 |  0.120 % |
367.45/367.72	c |    415830 |     899   132790   347818 | 2147483647    98899     47 |  0.120 % |
369.85/370.10	c |    418085 |     899   132790   347818 | 2147483647   101154     47 |  0.120 % |
372.45/372.72	c |    420563 |     899   132790   347818 |   103069    90813     47 |  0.111 % |
374.85/375.11	c |    423288 |     899   132790   347818 |   103069    93538     50 |  0.111 % |
378.05/378.35	c |    426286 |     899   132790   347818 |   103069    96536     51 |  0.111 % |
381.54/381.89	c |    429583 |     899   132790   347818 |   103069    99833     50 |  0.120 % |
385.75/386.07	c |    433208 |     899   132790   347818 |   100252    91241     52 |  0.111 % |
390.74/391.05	c |    437196 |     899   132790   347818 |   100252    95229     52 |  0.111 % |
390.84/391.17	c |    437296 |     899   132790   347818 |   100252    95329     52 |  0.120 % |
391.04/391.31	c |    437406 |     899   132790   347818 |   100252    95439     52 |  0.120 % |
391.14/391.45	c |    437528 |     899   132790   347818 |   100252    95561     52 |  0.120 % |
391.24/391.60	c |    437662 |     899   132790   347818 |   100252    95695     52 |  0.111 % |
391.54/391.80	c |    437817 |     899   132790   347818 |   100252    95850     52 |  0.120 % |
391.74/392.01	c |    437979 |     899   132790   347818 |   100252    96012     52 |  0.120 % |
391.94/392.23	c |    438156 |     899   132790   347818 |   100252    96189     52 |  0.120 % |
392.14/392.49	c |    438349 |     899   132790   347818 |   100252    96382     52 |  0.120 % |
392.54/392.81	c |    438564 |     899   132790   347818 |   100252    96597     52 |  0.120 % |
392.74/393.04	c |    438798 |     899   132790   347818 |   100252    96831     52 |  0.111 % |
392.94/393.28	c |    439055 |     899   132790   347818 |   100252    97088     52 |  0.111 % |
393.34/393.62	c |    439338 |     899   132790   347818 |   100252    97371     52 |  0.111 % |
393.74/394.07	c |    439649 |     899   132790   347818 |   100252    97682     52 |  0.111 % |
394.14/394.48	c |    439989 |     899   132790   347818 |   100252    98022     52 |  0.120 % |
394.64/394.99	c |    440362 |     899   132790   347818 |    98036    84838     52 |  0.120 % |
395.24/395.53	c |    440774 |     899   132790   347818 |    98036    85250     52 |  0.120 % |
395.74/396.05	c |    441224 |     899   132790   347818 |    98036    85700     52 |  0.120 % |
396.34/396.61	c |    441718 |     899   132790   347818 |    98036    86194     52 |  0.111 % |
396.94/397.23	c |    442260 |     899   132790   347818 |    98036    86736     52 |  0.120 % |
397.64/397.90	c |    442856 |     899   132790   347818 |    98036    87332     51 |  0.120 % |
398.24/398.56	c |    443512 |     899   132790   347818 |    98036    87988     51 |  0.120 % |
398.94/399.27	c |    444232 |     899   132790   347818 |    98036    88708     52 |  0.111 % |
399.84/400.18	c |    445024 |     899   132790   347818 |    98036    89500     52 |  0.120 % |
400.84/401.10	c |    445896 |     899   132790   347818 |    98036    90372     52 |  0.111 % |
401.84/402.19	c |    446855 |     899   132790   347818 |    98036    91331     52 |  0.111 % |
403.14/403.42	c |    447909 |     899   132790   347818 |    98036    92385     52 |  0.121 % |
404.64/404.91	c |    449067 |     899   132790   347818 |    98036    93543     52 |  0.121 % |
406.14/406.47	c |    450341 |     899   132790   347818 |    94477    94817     53 |  0.111 % |
407.93/408.25	c |    451745 |     899   132790   347818 |    94477    84627     54 |  0.120 % |
409.73/410.05	c |    453286 |     899   132790   347818 |    94477    86168     53 |  0.120 % |
411.73/412.00	c |    454980 |     899   132790   347818 |    94477    87862     53 |  0.120 % |
413.73/414.01	c |    456847 |     899   132790   347818 |    94477    89729     53 |  0.120 % |
416.54/416.82	c |    458899 |     899   132790   347818 |    94477    91781     53 |  0.119 % |
419.23/419.53	c |    461153 |     899   132790   347818 |    92882    80881     54 |  0.120 % |
422.33/422.64	c |    463632 |     899   132790   347818 |    92882    83360     54 |  0.111 % |
425.83/426.14	c |    466358 |     899   132790   347818 |    92882    86086     54 |  0.120 % |
429.82/430.13	c |    469356 |     899   132790   347818 |    92882    89084     54 |  0.120 % |
434.11/434.44	c |    472653 |     899   132790   347818 |    89728    77275     54 |  0.111 % |
438.40/438.73	c |    476282 |     899   132790   347818 |    89728    80904     53 |  0.120 % |
443.60/443.98	c |    480272 |     899   132790   347818 |    84622    84894     53 |  0.120 % |
448.40/448.75	c |    484662 |     899   132790   347818 |    84622    75427     47 |  0.120 % |
448.50/448.89	c |    484763 |     899   132790   347818 |    84622    75528     47 |  0.120 % |
448.70/449.02	c |    484878 |     899   132790   347818 |    84622    75643     47 |  0.120 % |
448.80/449.18	c |    484999 |     899   132790   347818 |    84622    75764     47 |  0.120 % |
449.10/449.40	c |    485135 |     899   132790   347818 |    84622    75900     47 |  0.120 % |
449.20/449.58	c |    485283 |     899   132790   347818 |    84622    76048     47 |  0.111 % |
449.40/449.76	c |    485443 |     899   132790   347818 |    84622    76208     47 |  0.120 % |
449.70/450.00	c |    485619 |     899   132790   347818 |    84622    76384     47 |  0.120 % |
449.90/450.24	c |    485814 |     899   132790   347818 |    84622    76579     47 |  0.120 % |
450.10/450.47	c |    486026 |     899   132790   347818 |    84622    76791     47 |  0.120 % |
450.40/450.73	c |    486260 |     899   132790   347818 |    84622    77025     47 |  0.111 % |
450.70/451.01	c |    486518 |     899   132790   347818 |    84622    77283     47 |  0.111 % |
451.00/451.32	c |    486804 |     899   132790   347818 |    84622    77569     47 |  0.111 % |
451.30/451.65	c |    487115 |     899   132790   347818 |    84622    77880     47 |  0.120 % |
451.70/452.04	c |    487454 |     899   132790   347818 |    84622    78219     47 |  0.120 % |
452.10/452.47	c |    487833 |     899   132790   347818 |    84622    78598     47 |  0.120 % |
452.60/452.92	c |    488246 |     899   132790   347818 |    84622    79011     47 |  0.120 % |
453.00/453.38	c |    488697 |     899   132790   347818 |    84622    79462     47 |  0.120 % |
453.50/453.88	c |    489190 |     899   132790   347818 |    84622    79955     47 |  0.120 % |
454.10/454.48	c |    489732 |     899   132790   347818 |    84622    80497     47 |  0.120 % |
454.79/455.16	c |    490328 |     899   132790   347818 |    80766    70767     43 |  0.120 % |
455.49/455.82	c |    490983 |     899   132790   347818 |    80766    71422     43 |  0.120 % |
456.20/456.51	c |    491703 |     899   132790   347818 |    80766    72142     43 |  0.120 % |
457.10/457.44	c |    492496 |     899   132790   347818 |    80766    72935     43 |  0.120 % |
457.79/458.16	c |    493371 |     899   132790   347818 |    80766    73810     43 |  0.120 % |
458.79/459.15	c |    494329 |     899   132790   347818 |    80766    74768     44 |  0.120 % |
459.79/460.12	c |    495383 |     899   132790   347818 |    80766    75822     44 |  0.111 % |
460.89/461.22	c |    496544 |     899   132790   347818 |    80766    76983     44 |  0.120 % |
461.99/462.38	c |    497820 |     899   132790   347818 |    80766    78259     45 |  0.111 % |
463.49/463.80	c |    499224 |     899   132790   347818 |    80766    79663     45 |  0.111 % |
465.19/465.52	c |    500767 |     899   132790   347818 | 2147483647    81206     45 |  0.120 % |
466.89/467.23	c |    502463 |     899   132790   347818 | 2147483647    82902     45 |  0.120 % |
468.99/469.39	c |    504329 |     899   132790   347818 | 2147483647    84768     45 |  0.120 % |
471.49/471.88	c |    506379 |     899   132790   347818 | 2147483647    86818     45 |  0.120 % |
474.38/474.72	c |    508633 |     899   132790   347818 | 2147483647    89072     46 |  0.120 % |
477.88/478.22	c |    511114 |     899   132790   347818 |    90441    81541     44 |  0.120 % |
480.28/480.68	c |    513839 |     899   132790   347818 |    90441    84266     45 |  0.120 % |
483.58/483.96	c |    516837 |     899   132790   347818 |    90441    87264     45 |  0.120 % |
487.48/487.87	c |    520135 |     899   132790   347818 |    90427    90562     44 |  0.120 % |
490.88/491.29	c |    523763 |     899   132790   347818 |    90427    82424     43 |  0.120 % |
494.38/494.73	c |    527755 |     899   132790   347818 |    90427    86416     44 |  0.120 % |
498.68/499.06	c |    532140 |     899   132790   347818 |    88665    81242     44 |  0.120 % |
504.07/504.48	c |    536965 |     899   132790   347818 |    88665    86067     44 |  0.120 % |
504.27/504.61	c |    537065 |     899   132790   347818 |    88665    86167     44 |  0.120 % |
504.37/504.73	c |    537175 |     899   132790   347818 |    88665    86277     44 |  0.111 % |
504.48/504.90	c |    537299 |     899   132790   347818 |    88665    86401     44 |  0.111 % |
504.67/505.04	c |    537432 |     899   132790   347818 |    88665    86534     44 |  0.111 % |
504.87/505.21	c |    537579 |     899   132790   347818 |    88665    86681     44 |  0.120 % |
504.97/505.36	c |    537739 |     899   132790   347818 |    88665    86841     44 |  0.111 % |
505.17/505.52	c |    537916 |     899   132790   347818 |    88665    87018     44 |  0.111 % |
505.37/505.76	c |    538110 |     899   132790   347818 |    88665    87212     44 |  0.120 % |
505.58/505.95	c |    538324 |     899   132790   347818 |    88665    87426     44 |  0.120 % |
505.77/506.16	c |    538561 |     899   132790   347818 |    88665    87663     44 |  0.120 % |
505.97/506.39	c |    538818 |     899   132790   347818 |    88665    87920     44 |  0.111 % |
506.27/506.64	c |    539099 |     899   132790   347818 |    88665    88201     45 |  0.120 % |
506.57/506.91	c |    539410 |     899   132790   347818 |    88665    88512     45 |  0.111 % |
506.97/507.34	c |    539749 |     899   132790   347818 |    88665    78071     45 |  0.111 % |
507.37/507.71	c |    540122 |     899   132790   347818 |    78322    78444     45 |  0.120 % |
507.77/508.19	c |    540534 |     899   132790   347818 |    78322    69540     44 |  0.120 % |
508.17/508.57	c |    540983 |     899   132790   347818 |    78322    69989     45 |  0.111 % |
508.67/509.00	c |    541477 |     899   132790   347818 |    78322    70483     45 |  0.111 % |
509.07/509.44	c |    542019 |     899   132790   347818 |    78322    71025     45 |  0.120 % |
509.57/509.95	c |    542615 |     899   132790   347818 |    78322    71621     46 |  0.111 % |
510.17/510.58	c |    543272 |     899   132790   347818 |    78322    72278     46 |  0.120 % |
510.87/511.21	c |    543992 |     899   132790   347818 |    78322    72998     46 |  0.111 % |
511.67/512.03	c |    544785 |     899   132790   347818 |    78322    73791     46 |  0.120 % |
512.46/512.85	c |    545660 |     899   132790   347818 |    78322    74666     46 |  0.120 % |
513.46/513.83	c |    546618 |     899   132790   347818 |    78322    75624     46 |  0.120 % |
514.47/514.88	c |    547672 |     899   132790   347818 |    78322    76678     46 |  0.120 % |
515.66/516.06	c |    548830 |     899   132790   347818 |    78322    77836     45 |  0.120 % |
516.86/517.22	c |    550103 |     899   132790   347818 | 2147483647    71253     44 |  0.120 % |
518.16/518.52	c |    551503 |     899   132790   347818 | 2147483647    72653     44 |  0.120 % |
519.36/519.79	c |    553045 |     899   132790   347818 | 2147483647    74195     46 |  0.111 % |
521.15/521.55	c |    554739 |     899   132790   347818 | 2147483647    75889     47 |  0.111 % |
522.85/523.29	c |    556605 |     899   132790   347818 | 2147483647    77755     48 |  0.111 % |
524.85/525.26	c |    558654 |     899   132790   347818 | 2147483647    79804     48 |  0.120 % |
527.15/527.56	c |    560907 |     899   132790   347818 | 2147483647    82057     47 |  0.120 % |
529.76/530.20	c |    563386 |     899   132790   347818 | 2147483647    84536     47 |  0.121 % |
532.65/533.07	c |    566113 |     899   132790   347818 | 2147483647    87263     47 |  0.111 % |
535.36/535.74	c |    569110 |     899   132790   347818 | 2147483647    90260     47 |  0.120 % |
539.15/539.53	c |    572407 |     899   132790   347818 |    91151    82742     47 |  0.120 % |
543.45/543.85	c |    576033 |     899   132790   347818 |    91151    86368     47 |  0.120 % |
547.35/547.73	c |    580022 |     899   132790   347818 |    90335    90357     49 |  0.111 % |
552.25/552.69	c |    584408 |     899   132790   347818 |    90335    83652     53 |  0.111 % |
557.35/557.77	c |    589233 |     899   132790   347818 |    90335    88477     53 |  0.111 % |
564.44/564.84	c |    594539 |     899   132790   347818 |    89247    82613     52 |  0.120 % |
564.54/564.98	c |    594639 |     899   132790   347818 |    89247    82713     52 |  0.111 % |
564.74/565.14	c |    594752 |     899   132790   347818 |    89247    82826     52 |  0.120 % |
564.84/565.25	c |    594873 |     899   132790   347818 |    89247    82947     52 |  0.120 % |
565.04/565.40	c |    595008 |     899   132790   347818 |    89247    83082     52 |  0.120 % |
565.14/565.55	c |    595155 |     899   132790   347818 |    89247    83229     52 |  0.111 % |
565.34/565.74	c |    595315 |     899   132790   347818 |    89247    83389     52 |  0.120 % |
565.54/565.97	c |    595492 |     899   132790   347818 |    89247    83566     52 |  0.120 % |
565.84/566.22	c |    595685 |     899   132790   347818 |    89247    83759     52 |  0.120 % |
566.04/566.45	c |    595898 |     899   132790   347818 |    89247    83972     52 |  0.120 % |
566.24/566.68	c |    596132 |     899   132790   347818 |    89247    84206     52 |  0.120 % |
566.54/566.97	c |    596388 |     899   132790   347818 |    89247    84462     52 |  0.120 % |
566.94/567.33	c |    596671 |     899   132790   347818 |    89247    84745     52 |  0.120 % |
567.34/567.73	c |    596981 |     899   132790   347818 |    89247    85055     51 |  0.120 % |
567.64/568.05	c |    597320 |     899   132790   347818 |    89247    85394     51 |  0.120 % |
568.14/568.56	c |    597692 |     899   132790   347818 |    89247    85766     51 |  0.111 % |
568.64/569.07	c |    598103 |     899   132790   347818 |    89247    86177     51 |  0.120 % |
569.24/569.67	c |    598554 |     899   132790   347818 |    89247    86628     51 |  0.120 % |
569.84/570.21	c |    599048 |     899   132790   347818 |    89247    87122     52 |  0.111 % |
570.44/570.86	c |    599594 |     899   132790   347818 |    89247    87668     52 |  0.111 % |
571.04/571.48	c |    600190 |     899   132790   347818 |    88074    88264     52 |  0.111 % |
571.84/572.28	c |    600847 |     899   132790   347818 |    88074    77315     51 |  0.120 % |
572.64/573.10	c |    601572 |     899   132790   347818 |    88074    78040     51 |  0.120 % |
573.43/573.82	c |    602366 |     899   132790   347818 |    88074    78834     52 |  0.111 % |
574.33/574.76	c |    603238 |     899   132790   347818 |    88074    79706     53 |  0.111 % |
575.53/575.91	c |    604197 |     899   132790   347818 |    88074    80665     53 |  0.120 % |
576.84/577.25	c |    605255 |     899   132790   347818 |    88074    81723     53 |  0.120 % |
578.43/578.89	c |    606413 |     899   132790   347818 |    88074    82881     52 |  0.120 % |
580.13/580.55	c |    607687 |     899   132790   347818 |    88074    84155     52 |  0.120 % |
581.83/582.26	c |    609087 |     899   132790   347818 |    88074    85555     52 |  0.120 % |
583.53/583.98	c |    610630 |     899   132790   347818 |    86468    75123     52 |  0.111 % |
585.43/585.84	c |    612325 |     899   132790   347818 |    86468    76818     52 |  0.111 % |
587.43/587.85	c |    614190 |     899   132790   347818 |    86468    78683     52 |  0.120 % |
589.83/590.23	c |    616240 |     899   132790   347818 |    86468    80733     52 |  0.120 % |
592.53/592.92	c |    618495 |     899   132790   347818 |    86468    82988     51 |  0.120 % |
595.23/595.62	c |    620974 |     899   132790   347818 |    84493    74125     52 |  0.120 % |
597.93/598.32	c |    623699 |     899   132790   347818 |    84493    76850     52 |  0.120 % |
601.03/601.45	c |    626699 |     899   132790   347818 |    84493    79850     52 |  0.111 % |
604.53/604.93	c |    629996 |     899   132790   347818 |    84493    83147     52 |  0.120 % |
608.22/608.64	c |    633621 |     899   132790   347818 |    83151    75160     52 |  0.120 % |
612.92/613.33	c |    637608 |     899   132790   347818 |    83151    79147     52 |  0.120 % |
617.82/618.28	c |    641993 |     899   132790   347818 |    81542    72025     47 |  0.120 % |
623.22/623.70	c |    646816 |     899   132790   347818 |    81542    76848     47 |  0.111 % |
629.41/629.85	c |    652122 |     899   132790   347818 |    80036    69977     46 |  0.120 % |
636.22/636.61	c |    657960 |     899   132790   347818 |    80036    75815     46 |  0.120 % |
636.32/636.76	c |    658060 |     899   132790   347818 |    80036    75915     46 |  0.120 % |
636.53/636.91	c |    658170 |     899   132790   347818 |    80036    76025     46 |  0.111 % |
636.62/637.04	c |    658294 |     899   132790   347818 |    80036    76149     46 |  0.120 % |
636.72/637.16	c |    658427 |     899   132790   347818 |    80036    76282     46 |  0.120 % |
636.92/637.36	c |    658573 |     899   132790   347818 |    80036    76428     46 |  0.120 % |
637.12/637.56	c |    658734 |     899   132790   347818 |    80036    76589     46 |  0.111 % |
637.32/637.73	c |    658910 |     899   132790   347818 |    80036    76765     46 |  0.120 % |
637.52/637.96	c |    659105 |     899   132790   347818 |    80036    76960     46 |  0.120 % |
637.72/638.18	c |    659321 |     899   132790   347818 |    80036    77176     46 |  0.120 % |
638.02/638.42	c |    659556 |     899   132790   347818 |    80036    77411     46 |  0.120 % |
638.22/638.68	c |    659812 |     899   132790   347818 |    80036    77667     46 |  0.111 % |
638.52/638.94	c |    660094 |     899   132790   347818 |    77855    77949     46 |  0.120 % |
638.82/639.26	c |    660404 |     899   132790   347818 |    77855    67568     43 |  0.111 % |
639.22/639.60	c |    660746 |     899   132790   347818 |    77855    67910     43 |  0.120 % |
639.52/639.94	c |    661120 |     899   132790   347818 |    77855    68284     43 |  0.111 % |
639.92/640.35	c |    661531 |     899   132790   347818 |    77855    68695     43 |  0.120 % |
640.32/640.70	c |    661980 |     899   132790   347818 |    77855    69144     43 |  0.111 % |
640.72/641.10	c |    662473 |     899   132790   347818 |    77855    69637     43 |  0.111 % |
641.22/641.62	c |    663018 |     899   132790   347818 |    77855    70182     43 |  0.120 % |
641.72/642.15	c |    663616 |     899   132790   347818 |    77855    70780     44 |  0.111 % |
642.22/642.63	c |    664271 |     899   132790   347818 |    77855    71435     44 |  0.111 % |
642.92/643.33	c |    664991 |     899   132790   347818 |    77855    72155     44 |  0.120 % |
643.62/644.03	c |    665785 |     899   132790   347818 |    77855    72949     44 |  0.120 % |
644.52/644.90	c |    666656 |     899   132790   347818 |    77855    73820     44 |  0.120 % |
645.42/645.87	c |    667617 |     899   132790   347818 |    77855    74781     44 |  0.120 % |
646.42/646.90	c |    668671 |     899   132790   347818 |    77855    75835     44 |  0.120 % |
647.71/648.15	c |    669829 |     899   132790   347818 |    77855    76993     44 |  0.120 % |
649.01/649.49	c |    671104 |     899   132790   347818 | 2147483647    78268     44 |  0.120 % |
650.51/650.91	c |    672504 |     899   132790   347818 | 2147483647    79668     44 |  0.120 % |
651.71/652.18	c |    674044 |     899   132790   347818 | 2147483647    81208     46 |  0.111 % |
653.51/653.99	c |    675738 |     899   132790   347818 | 2147483647    82902     47 |  0.111 % |
655.31/655.72	c |    677601 |     899   132790   347818 | 2147483647    84765     47 |  0.111 % |
657.70/658.18	c |    679651 |     899   132790   347818 | 2147483647    86815     47 |  0.120 % |
660.30/660.77	c |    681904 |     899   132790   347818 | 2147483647    89068     47 |  0.120 % |
663.50/663.97	c |    684384 |     899   132790   347818 | 2147483647    91548     47 |  0.120 % |
666.30/666.72	c |    687110 |     899   132790   347818 | 2147483647    94274     47 |  0.120 % |
669.60/670.07	c |    690108 |     899   132790   347818 |    97164    97272     47 |  0.120 % |
673.50/673.93	c |    693404 |     899   132790   347818 |    97164    89550     47 |  0.120 % |
678.40/678.89	c |    697030 |     899   132790   347818 |    97164    93176     47 |  0.120 % |
682.80/683.22	c |    701022 |     899   132790   347818 |    96152    83898     48 |  0.111 % |
688.00/688.44	c |    705408 |     899   132790   347818 |    96152    88284     50 |  0.111 % |
693.39/693.89	c |    710231 |     899   132790   347818 |    92876    93107     51 |  0.111 % |
699.58/700.00	c |    715536 |     899   132790   347818 |    92876    84515     51 |  0.120 % |
706.47/706.94	c |    721372 |     899   132790   347818 |    88979    76157     55 |  0.111 % |
714.58/715.05	c |    727790 |     899   132790   347818 |    88979    82575     55 |  0.111 % |
714.67/715.16	c |    727891 |     899   132790   347818 |    88979    82676     55 |  0.120 % |
714.87/715.31	c |    728001 |     899   132790   347818 |    88979    82786     55 |  0.121 % |
715.07/715.50	c |    728125 |     899   132790   347818 |    88979    82910     55 |  0.111 % |
715.17/715.64	c |    728259 |     899   132790   347818 |    88979    83044     55 |  0.120 % |
715.37/715.81	c |    728406 |     899   132790   347818 |    88979    83191     55 |  0.120 % |
715.47/716.00	c |    728566 |     899   132790   347818 |    88979    83351     55 |  0.120 % |
715.77/716.20	c |    728743 |     899   132790   347818 |    88979    83528     55 |  0.111 % |
715.97/716.46	c |    728938 |     899   132790   347818 |    88979    83723     55 |  0.120 % |
716.27/716.73	c |    729150 |     899   132790   347818 |    88979    83935     55 |  0.120 % |
716.57/717.06	c |    729391 |     899   132790   347818 |    88979    84176     55 |  0.120 % |
716.97/717.44	c |    729648 |     899   132790   347818 |    88979    84433     55 |  0.120 % |
717.37/717.85	c |    729933 |     899   132790   347818 |    88979    84718     55 |  0.121 % |
717.77/718.29	c |    730248 |     899   132790   347818 |    84788    85033     55 |  0.121 % |
718.37/718.82	c |    730587 |     899   132790   347818 |    84788    72013     53 |  0.120 % |
718.77/719.22	c |    730960 |     899   132790   347818 |    84788    72386     53 |  0.111 % |
719.17/719.67	c |    731369 |     899   132790   347818 |    84788    72795     53 |  0.120 % |
719.67/720.13	c |    731821 |     899   132790   347818 |    84788    73247     53 |  0.120 % |
720.27/720.76	c |    732315 |     899   132790   347818 |    84788    73741     53 |  0.120 % |
720.87/721.38	c |    732857 |     899   132790   347818 |    84788    74283     53 |  0.120 % |
721.47/721.98	c |    733457 |     899   132790   347818 |    84788    74883     53 |  0.111 % |
722.27/722.73	c |    734114 |     899   132790   347818 |    84788    75540     52 |  0.120 % |
723.07/723.53	c |    734835 |     899   132790   347818 |    84788    76261     52 |  0.120 % |
723.97/724.46	c |    735631 |     899   132790   347818 |    84788    77057     52 |  0.120 % |
724.87/725.38	c |    736502 |     899   132790   347818 |    84788    77928     52 |  0.120 % |
726.07/726.50	c |    737460 |     899   132790   347818 |    84788    78886     53 |  0.111 % |
727.37/727.81	c |    738513 |     899   132790   347818 |    84788    79939     53 |  0.120 % |
728.57/729.09	c |    739672 |     899   132790   347818 |    84788    81098     53 |  0.111 % |
730.27/730.78	c |    740947 |     899   132790   347818 |    81426    70632     54 |  0.111 % |
731.97/732.43	c |    742350 |     899   132790   347818 |    81426    72035     54 |  0.120 % |
733.86/734.32	c |    743895 |     899   132790   347818 |    81426    73580     54 |  0.120 % |
735.86/736.33	c |    745589 |     899   132790   347818 |    81426    75274     53 |  0.120 % |
737.76/738.28	c |    747453 |     899   132790   347818 |    81426    77138     55 |  0.111 % |
740.16/740.62	c |    749502 |     899   132790   347818 |    81426    79187     55 |  0.111 % |
742.56/743.07	c |    751758 |     899   132790   347818 |    79685    70700     55 |  0.111 % |
745.45/745.97	c |    754236 |     899   132790   347818 |    79685    73178     55 |  0.111 % |
748.75/749.27	c |    756961 |     899   132790   347818 |    79685    75903     54 |  0.120 % |
752.35/752.90	c |    759959 |     899   132790   347818 |    79685    78901     54 |  0.120 % |
755.85/756.39	c |    763255 |     899   132790   347818 |    78944    70891     52 |  0.120 % |
759.95/760.42	c |    766881 |     899   132790   347818 |    78944    74517     51 |  0.111 % |
765.15/765.63	c |    770869 |     899   132790   347818 |    77638    66888     46 |  0.120 % |
770.25/770.77	c |    775256 |     899   132790   347818 |    77638    71275     46 |  0.111 % |
776.24/776.74	c |    780084 |     899   132790   347818 |    76019    76103     46 |  0.120 % |
781.65/782.15	c |    785389 |     899   132790   347818 |    76019    71143     51 |  0.111 % |
788.84/789.31	c |    791226 |     899   132790   347818 |    75756    66766     50 |  0.120 % |
796.43/796.99	c |    797645 |     899   132790   347818 |    75756    73185     49 |  0.120 % |
803.83/804.39	c |    804706 |     899   132790   347818 |    75540    69397     44 |  0.120 % |
803.93/804.49	c |    804807 |     899   132790   347818 |    75540    69498     44 |  0.120 % |
804.13/804.62	c |    804917 |     899   132790   347818 |    75540    69608     44 |  0.120 % |
804.23/804.79	c |    805041 |     899   132790   347818 |    75540    69732     44 |  0.120 % |
804.43/804.97	c |    805175 |     899   132790   347818 |    75540    69866     44 |  0.111 % |
804.64/805.15	c |    805323 |     899   132790   347818 |    75540    70014     44 |  0.111 % |
804.83/805.35	c |    805486 |     899   132790   347818 |    75540    70177     44 |  0.121 % |
805.03/805.56	c |    805662 |     899   132790   347818 |    75540    70353     44 |  0.120 % |
805.23/805.73	c |    805855 |     899   132790   347818 |    75540    70546     44 |  0.121 % |
805.53/806.03	c |    806070 |     899   132790   347818 |    75540    70761     44 |  0.120 % |
805.84/806.31	c |    806303 |     899   132790   347818 |    75540    70994     44 |  0.111 % |
806.03/806.59	c |    806561 |     899   132790   347818 |    75540    71252     45 |  0.120 % |
806.33/806.86	c |    806842 |     899   132790   347818 |    75540    71533     45 |  0.111 % |
806.63/807.15	c |    807153 |     899   132790   347818 |    75540    71844     45 |  0.111 % |
807.03/807.52	c |    807492 |     899   132790   347818 |    75540    72183     45 |  0.111 % |
807.53/808.01	c |    807864 |     899   132790   347818 |    75540    72555     45 |  0.120 % |
807.93/808.45	c |    808274 |     899   132790   347818 |    75540    72965     45 |  0.120 % |
808.43/808.94	c |    808723 |     899   132790   347818 |    75540    73414     45 |  0.120 % |
809.03/809.59	c |    809217 |     899   132790   347818 |    75540    73908     45 |  0.120 % |
809.73/810.29	c |    809759 |     899   132790   347818 |    75540    74450     45 |  0.120 % |
810.53/811.05	c |    810356 |     899   132790   347818 |    74691    75047     45 |  0.120 % |
811.33/811.83	c |    811011 |     899   132790   347818 |    74691    66745     45 |  0.120 % |
812.03/812.52	c |    811732 |     899   132790   347818 |    74691    67466     46 |  0.111 % |
812.93/813.43	c |    812524 |     899   132790   347818 |    74691    68258     46 |  0.120 % |
813.73/814.21	c |    813396 |     899   132790   347818 |    74691    69130     47 |  0.111 % |
814.63/815.13	c |    814357 |     899   132790   347818 |    74691    70091     48 |  0.111 % |
815.73/816.21	c |    815410 |     899   132790   347818 |    74691    71144     48 |  0.111 % |
816.83/817.35	c |    816568 |     899   132790   347818 |    74691    72302     47 |  0.120 % |
818.23/818.75	c |    817841 |     899   132790   347818 |    74691    73575     49 |  0.111 % |
819.63/820.20	c |    819243 |     899   132790   347818 |    74691    74977     49 |  0.121 % |
821.63/822.12	c |    820786 |     899   132790   347818 |    68242    61912     50 |  0.120 % |
823.43/823.97	c |    822482 |     899   132790   347818 |    68242    63608     50 |  0.121 % |
825.53/826.03	c |    824347 |     899   132790   347818 |    68242    65473     50 |  0.120 % |
827.73/828.30	c |    826401 |     899   132790   347818 |    68242    67527     50 |  0.120 % |
830.42/830.90	c |    828658 |     899   132790   347818 |    68242    61934     45 |  0.120 % |
833.12/833.69	c |    831137 |     899   132790   347818 |    63279    57257     46 |  0.111 % |
836.52/837.09	c |    833862 |     899   132790   347818 |    63279    59982     46 |  0.120 % |
840.41/840.91	c |    836859 |     899   132790   347818 |    63279    62979     46 |  0.111 % |
844.61/845.12	c |    840156 |     899   132790   347818 |    58152    58308     45 |  0.120 % |
848.51/849.09	c |    843783 |     899   132790   347818 |    58152    54379     44 |  0.120 % |
852.71/853.22	c |    847770 |     899   132790   347818 |    58152    58366     44 |  0.120 % |
857.11/857.68	c |    852157 |     899   132790   347818 |    53965    49914     40 |  0.120 % |
861.21/861.79	c |    856982 |     899   132790   347818 |    53965    49296     40 |  0.120 % |
865.41/865.96	c |    862287 |     899   132790   347818 | 2147483647    54601     42 |  0.120 % |
871.01/871.55	c |    868122 |     899   132790   347818 | 2147483647    60436     43 |  0.120 % |
878.40/878.96	c |    874540 |     899   132790   347818 | 2147483647    66854     43 |  0.120 % |
884.19/884.80	c |    881604 |     899   132790   347818 | 2147483647    73918     52 |  0.111 % |
890.99/891.56	c |    889368 |     899   132790   347818 | 2147483647    81682     54 |  0.111 % |
891.09/891.64	c |    889468 |     899   132790   347818 | 2147483647    81782     54 |  0.120 % |
891.19/891.75	c |    889580 |     899   132790   347818 | 2147483647    81894     54 |  0.120 % |
891.29/891.87	c |    889702 |     899   132790   347818 | 2147483647    82016     54 |  0.111 % |
891.39/892.00	c |    889837 |     899   132790   347818 | 2147483647    82151     54 |  0.120 % |
891.60/892.17	c |    889988 |     899   132790   347818 | 2147483647    82302     54 |  0.111 % |
891.79/892.37	c |    890149 |     899   132790   347818 | 2147483647    82463     54 |  0.120 % |
891.99/892.57	c |    890325 |     899   132790   347818 | 2147483647    82639     54 |  0.120 % |
892.19/892.78	c |    890518 |     899   132790   347818 | 2147483647    82832     54 |  0.120 % |
892.39/892.95	c |    890730 |     899   132790   347818 | 2147483647    83044     54 |  0.111 % |
892.59/893.19	c |    890968 |     899   132790   347818 | 2147483647    83282     54 |  0.120 % |
892.89/893.43	c |    891226 |     899   132790   347818 | 2147483647    83540     54 |  0.120 % |
893.29/893.83	c |    891507 |     899   132790   347818 | 2147483647    83821     54 |  0.120 % |
893.59/894.15	c |    891817 |     899   132790   347818 | 2147483647    84131     54 |  0.111 % |
893.99/894.58	c |    892156 |     899   132790   347818 | 2147483647    84470     54 |  0.111 % |
894.39/894.96	c |    892528 |     899   132790   347818 | 2147483647    84842     54 |  0.111 % |
894.89/895.41	c |    892938 |     899   132790   347818 | 2147483647    85252     55 |  0.111 % |
895.39/895.91	c |    893389 |     899   132790   347818 | 2147483647    85703     55 |  0.111 % |
895.89/896.41	c |    893883 |     899   132790   347818 | 2147483647    86197     55 |  0.121 % |
896.39/896.98	c |    894428 |     899   132790   347818 | 2147483647    86742     55 |  0.120 % |
896.99/897.59	c |    895026 |     899   132790   347818 | 2147483647    87340     54 |  0.120 % |
897.69/898.25	c |    895681 |     899   132790   347818 | 2147483647    87995     55 |  0.111 % |
898.39/898.99	c |    896402 |     899   132790   347818 | 2147483647    88716     55 |  0.120 % |
899.39/899.94	c |    897198 |     899   132790   347818 | 2147483647    89512     55 |  0.120 % |
900.39/900.93	c |    898070 |     899   132790   347818 | 2147483647    90384     54 |  0.120 % |
901.29/901.88	c |    899028 |     899   132790   347818 | 2147483647    91342     55 |  0.111 % |
902.39/902.94	c |    900083 |     899   132790   347818 |    92315    92397     55 |  0.111 % |
903.69/904.21	c |    901249 |     899   132790   347818 |    92315    83897     57 |  0.111 % |
904.89/905.43	c |    902522 |     899   132790   347818 |    92315    85170     57 |  0.111 % |
906.29/906.88	c |    903923 |     899   132790   347818 |    92315    86571     58 |  0.111 % |
907.99/908.59	c |    905463 |     899   132790   347818 |    92315    88111     58 |  0.111 % |
909.98/910.51	c |    907158 |     899   132790   347818 |    92315    89806     58 |  0.120 % |
912.18/912.75	c |    909023 |     899   132790   347818 |    92315    91671     57 |  0.111 % |
914.48/915.08	c |    911073 |     899   132790   347818 |    92651    82663     61 |  0.111 % |
917.18/917.76	c |    913328 |     899   132790   347818 |    92651    84918     63 |  0.111 % |
920.28/920.89	c |    915806 |     899   132790   347818 |    92651    87396     62 |  0.120 % |
923.27/923.83	c |    918533 |     899   132790   347818 |    92651    90123     62 |  0.120 % |
926.87/927.45	c |    921531 |     899   132790   347818 |    91591    80847     66 |  0.111 % |
930.97/931.55	c |    924827 |     899   132790   347818 |    91591    84143     68 |  0.111 % |
935.57/936.10	c |    928453 |     899   132790   347818 |    91591    87769     68 |  0.111 % |
941.07/941.65	c |    932442 |     899   132790   347818 |    89317    76833     70 |  0.120 % |
946.26/946.87	c |    936828 |     899   132790   347818 |    89317    81219     68 |  0.111 % |
952.66/953.20	c |    941652 |     899   132790   347818 |    84395    71816     60 |  0.111 % |
959.96/960.53	c |    946957 |     899   132790   347818 |    84395    77121     58 |  0.120 % |
966.85/967.48	c |    952794 |     899   132790   347818 |    80164    69621     58 |  0.120 % |
975.06/975.61	c |    959212 |     899   132790   347818 |    80164    76039     57 |  0.120 % |
983.86/984.45	c |    966271 |     899   132790   347818 |    76827    69893     51 |  0.120 % |
992.05/992.66	c |    974037 |     899   132790   347818 |    73624    65630     44 |  0.120 % |
999.95/1000.53	c |    982579 |     899   132790   347818 |    71595    66896     50 |  0.111 % |
1000.05/1000.65	c |    982682 |     899   132790   347818 |    71595    66999     50 |  0.111 % |
1000.15/1000.73	c |    982792 |     899   132790   347818 |    71595    67109     50 |  0.120 % |
1000.25/1000.80	c |    982914 |     899   132790   347818 |    71595    67231     50 |  0.120 % |
1000.35/1000.91	c |    983050 |     899   132790   347818 |    71595    67367     50 |  0.120 % |
1000.45/1001.03	c |    983196 |     899   132790   347818 |    71595    67513     50 |  0.111 % |
1000.55/1001.16	c |    983357 |     899   132790   347818 |    71595    67674     50 |  0.120 % |
1000.75/1001.35	c |    983537 |     899   132790   347818 |    71595    67854     50 |  0.120 % |
1000.95/1001.51	c |    983730 |     899   132790   347818 |    71595    68047     50 |  0.111 % |
1001.15/1001.71	c |    983943 |     899   132790   347818 |    71595    68260     50 |  0.120 % |
1001.35/1001.97	c |    984176 |     899   132790   347818 |    71595    68493     50 |  0.120 % |
1001.65/1002.30	c |    984434 |     899   132790   347818 |    71595    68751     50 |  0.120 % |
1002.05/1002.60	c |    984716 |     899   132790   347818 |    71595    69033     50 |  0.120 % |
1002.35/1002.90	c |    985025 |     899   132790   347818 |    71595    69342     50 |  0.120 % |
1002.65/1003.22	c |    985366 |     899   132790   347818 |    71595    69683     50 |  0.111 % |
1002.95/1003.50	c |    985740 |     899   132790   347818 |    71595    70057     50 |  0.120 % |
1003.35/1003.94	c |    986149 |     899   132790   347818 |    71595    70466     50 |  0.111 % |
1003.65/1004.29	c |    986599 |     899   132790   347818 |    71595    70916     50 |  0.120 % |
1004.15/1004.77	c |    987093 |     899   132790   347818 |    71595    71410     50 |  0.111 % |
1004.65/1005.24	c |    987638 |     899   132790   347818 |    71595    71955     51 |  0.111 % |
1005.35/1005.91	c |    988235 |     899   132790   347818 |    71595    65357     51 |  0.121 % |
1005.95/1006.51	c |    988891 |     899   132790   347818 |    71595    66013     51 |  0.121 % |
1006.65/1007.20	c |    989614 |     899   132790   347818 |    71595    66736     51 |  0.121 % |
1007.35/1007.93	c |    990408 |     899   132790   347818 | 2147483647    67530     50 |  0.120 % |
1008.15/1008.71	c |    991279 |     899   132790   347818 | 2147483647    68401     51 |  0.120 % |
1008.94/1009.56	c |    992239 |     899   132790   347818 | 2147483647    69361     51 |  0.120 % |
1009.94/1010.56	c |    993295 |     899   132790   347818 | 2147483647    70417     50 |  0.120 % |
1011.14/1011.73	c |    994455 |     899   132790   347818 | 2147483647    71577     50 |  0.120 % |
1012.44/1013.10	c |    995735 |     899   132790   347818 | 2147483647    72857     50 |  0.120 % |
1013.84/1014.49	c |    997136 |     899   132790   347818 | 2147483647    74258     50 |  0.120 % |
1015.34/1015.96	c |    998677 |     899   132790   347818 | 2147483647    75799     50 |  0.121 % |
1016.94/1017.57	c |   1000371 |     899   132790   347818 | 2147483647    77493     50 |  0.120 % |
1018.83/1019.40	c |   1002234 |     899   132790   347818 | 2147483647    79356     50 |  0.120 % |
1020.93/1021.50	c |   1004285 |     899   132790   347818 | 2147483647    81407     49 |  0.120 % |
1022.93/1023.51	c |   1006543 |     899   132790   347818 | 2147483647    83665     50 |  0.120 % |
1025.53/1026.13	c |   1009023 |     899   132790   347818 | 2147483647    86145     51 |  0.111 % |
1028.23/1028.88	c |   1011749 |     899   132790   347818 | 2147483647    88871     54 |  0.111 % |
1031.63/1032.22	c |   1014747 |     899   132790   347818 | 2147483647    91869     55 |  0.111 % |
1035.13/1035.79	c |   1018043 |     899   132790   347818 | 2147483647    95165     54 |  0.120 % |
1039.53/1040.11	c |   1021669 |     899   132790   347818 |    97122    88182     57 |  0.111 % |
1044.53/1045.18	c |   1025656 |     899   132790   347818 |    97122    92169     57 |  0.111 % |
1050.93/1051.55	c |   1030043 |     899   132790   347818 |    96513    96556     56 |  0.120 % |
1056.62/1057.23	c |   1034870 |     899   132790   347818 |    96513    86849     60 |  0.111 % |
1063.52/1064.14	c |   1040175 |     899   132790   347818 |    91979    92154     59 |  0.120 % |
1070.52/1071.19	c |   1046010 |     899   132790   347818 |    91979    82579     56 |  0.120 % |
1078.42/1079.07	c |   1052429 |     899   132790   347818 |    86574    75725     60 |  0.111 % |
1087.11/1087.76	c |   1059488 |     899   132790   347818 |    86574    82784     60 |  0.111 % |
1096.21/1096.82	c |   1067252 |     899   132790   347818 |    83297    77357     60 |  0.111 % |
1106.01/1106.62	c |   1075793 |     899   132790   347818 |    80105    72904     54 |  0.120 % |
1117.70/1118.33	c |   1085187 |     899   132790   347818 |    77113    70564     53 |  0.111 % |
1117.80/1118.46	c |   1085288 |     899   132790   347818 |    77113    70665     53 |  0.120 % |
1117.90/1118.58	c |   1085398 |     899   132790   347818 |    77113    70775     53 |  0.120 % |
1118.10/1118.72	c |   1085520 |     899   132790   347818 |    77113    70897     53 |  0.120 % |
1118.20/1118.90	c |   1085654 |     899   132790   347818 |    77113    71031     54 |  0.111 % |
1118.40/1119.05	c |   1085801 |     899   132790   347818 |    77113    71178     53 |  0.111 % |
1118.60/1119.23	c |   1085963 |     899   132790   347818 |    77113    71340     53 |  0.120 % |
1118.80/1119.40	c |   1086140 |     899   132790   347818 |    77113    71517     53 |  0.120 % |
1119.00/1119.62	c |   1086336 |     899   132790   347818 |    77113    71713     53 |  0.120 % |
1119.20/1119.84	c |   1086548 |     899   132790   347818 |    77113    71925     53 |  0.120 % |
1119.40/1120.08	c |   1086782 |     899   132790   347818 |    77113    72159     54 |  0.111 % |
1119.70/1120.32	c |   1087038 |     899   132790   347818 |    77113    72415     54 |  0.111 % |
1119.90/1120.54	c |   1087319 |     899   132790   347818 |    77113    72696     54 |  0.111 % |
1120.20/1120.87	c |   1087629 |     899   132790   347818 |    77113    73006     54 |  0.111 % |
1120.59/1121.24	c |   1087969 |     899   132790   347818 |    77113    73346     54 |  0.120 % |
1120.99/1121.62	c |   1088341 |     899   132790   347818 |    77113    73718     54 |  0.120 % |
1121.49/1122.12	c |   1088751 |     899   132790   347818 |    77113    74128     54 |  0.120 % |
1121.99/1122.61	c |   1089200 |     899   132790   347818 |    77113    74577     54 |  0.120 % |
1122.59/1123.26	c |   1089693 |     899   132790   347818 |    77113    75070     53 |  0.120 % |
1123.19/1123.87	c |   1090236 |     899   132790   347818 |    75380    75613     53 |  0.120 % |
1123.89/1124.59	c |   1090833 |     899   132790   347818 |    75380    64350     52 |  0.120 % |
1124.60/1125.23	c |   1091488 |     899   132790   347818 |    75380    65005     52 |  0.120 % |
1125.39/1126.05	c |   1092210 |     899   132790   347818 |    75380    65727     52 |  0.120 % |
1126.19/1126.87	c |   1093002 |     899   132790   347818 |    75380    66519     52 |  0.120 % |
1126.99/1127.68	c |   1093873 |     899   132790   347818 |    75380    67390     53 |  0.111 % |
1127.89/1128.57	c |   1094831 |     899   132790   347818 |    75380    68348     53 |  0.111 % |
1128.89/1129.54	c |   1095884 |     899   132790   347818 |    75380    69401     53 |  0.120 % |
1129.99/1130.60	c |   1097044 |     899   132790   347818 |    75380    70561     52 |  0.120 % |
1131.19/1131.86	c |   1098318 |     899   132790   347818 |    75380    71835     53 |  0.111 % |
1133.09/1133.76	c |   1099718 |     899   132790   347818 |    75380    73235     53 |  0.111 % |
1135.29/1135.97	c |   1101260 |     899   132790   347818 |    73518    66873     49 |  0.120 % |
1137.09/1137.77	c |   1102954 |     899   132790   347818 |    73518    68567     49 |  0.120 % |
1138.89/1139.55	c |   1104817 |     899   132790   347818 |    73518    70430     49 |  0.111 % |
1140.99/1141.70	c |   1106866 |     899   132790   347818 |    73518    72479     49 |  0.120 % |
1143.18/1143.83	c |   1109119 |     899   132790   347818 |    73518    67333     48 |  0.120 % |
1145.48/1146.14	c |   1111597 |     899   132790   347818 | 2147483647    69811     48 |  0.111 % |
1147.67/1148.39	c |   1114326 |     899   132790   347818 | 2147483647    72540     51 |  0.111 % |
1150.76/1151.49	c |   1117323 |     899   132790   347818 | 2147483647    75537     51 |  0.120 % |
1154.56/1155.22	c |   1120619 |     899   132790   347818 |    78217    70169     50 |  0.111 % |
1158.67/1159.37	c |   1124246 |     899   132790   347818 |    78217    73796     49 |  0.120 % |
1162.76/1163.41	c |   1128233 |     899   132790   347818 |    78217    77783     50 |  0.120 % |
1167.86/1168.54	c |   1132618 |     899   132790   347818 |    71469    66763     48 |  0.120 % |
1172.96/1173.65	c |   1137445 |     899   132790   347818 |    71469    71590     47 |  0.120 % |
1177.65/1178.36	c |   1142751 |     899   132790   347818 | 2147483647    69737     47 |  0.120 % |
1183.55/1184.22	c |   1148586 |     899   132790   347818 | 2147483647    75572     47 |  0.120 % |
1189.56/1190.29	c |   1155009 |     899   132790   347818 |    76987    74063     52 |  0.111 % |
1197.64/1198.36	c |   1162069 |     899   132790   347818 |    70744    64582     57 |  0.111 % |

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-1832103-1242769155/watcher-1832103-1242769155 -o /tmp/evaluation-result-1832103-1242769155/solver-1832103-1242769155 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832103-1242769155.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.95 0.99 0.93 3/64 20626
/proc/meminfo: memFree=1722744/2055920 swapFree=4078356/4192956
[pid=20626] ppid=20624 vsize=5356 CPUtime=0
/proc/20626/stat : 20626 (SatELiteGTI) R 20624 20626 20506 0 -1 4194304 291 249 0 0 0 0 0 0 18 0 1 0 304942677 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 246406113779 0 0 4100 65536 0 0 0 17 0 0 0
/proc/20626/statm: 1339 237 197 169 0 50 0

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

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

[startup+0.301728 s]
/proc/loadavg: 0.95 0.99 0.93 3/64 20626
/proc/meminfo: memFree=1722744/2055920 swapFree=4078356/4192956
[pid=20626] ppid=20624 vsize=5356 CPUtime=0.17
/proc/20626/stat : 20626 (SatELiteGTI) S 20624 20626 20506 0 -1 4194304 336 2151 0 0 0 0 15 2 16 0 1 0 304942677 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20626/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 5356

[startup+0.701761 s]
/proc/loadavg: 0.95 0.99 0.93 3/64 20626
/proc/meminfo: memFree=1722744/2055920 swapFree=4078356/4192956
[pid=20626] ppid=20624 vsize=5356 CPUtime=0.17
/proc/20626/stat : 20626 (SatELiteGTI) S 20624 20626 20506 0 -1 4194304 336 2151 0 0 0 0 15 2 16 0 1 0 304942677 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20626/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 5356

[startup+1.50183 s]
/proc/loadavg: 0.95 0.99 0.93 2/66 20632
/proc/meminfo: memFree=1713320/2055920 swapFree=4078356/4192956
[pid=20626] ppid=20624 vsize=5356 CPUtime=0.17
/proc/20626/stat : 20626 (SatELiteGTI) S 20624 20626 20506 0 -1 4194304 336 2151 0 0 0 0 15 2 16 0 1 0 304942677 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20626/statm: 1339 239 197 169 0 50 0
[pid=20632] ppid=20626 vsize=8784 CPUtime=1.3
/proc/20632/stat : 20632 (minisat_static) R 20626 20626 20506 0 -1 4194304 2085 0 0 0 129 1 0 0 25 0 1 0 304942695 8994816 2071 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/20632/statm: 2196 2071 77 171 0 2023 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 14140

[startup+3.10198 s]
/proc/loadavg: 0.95 0.99 0.93 2/66 20632
/proc/meminfo: memFree=1711848/2055920 swapFree=4078356/4192956
[pid=20626] ppid=20624 vsize=5356 CPUtime=0.17
/proc/20626/stat : 20626 (SatELiteGTI) S 20624 20626 20506 0 -1 4194304 336 2151 0 0 0 0 15 2 16 0 1 0 304942677 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20626/statm: 1339 239 197 169 0 50 0
[pid=20632] ppid=20626 vsize=10632 CPUtime=2.89
/proc/20632/stat : 20632 (minisat_static) R 20626 20626 20506 0 -1 4194304 2544 0 0 0 288 1 0 0 25 0 1 0 304942695 10887168 2530 1992294400 134512640 135215339 4294956240 18446744073709551615 134539252 0 0 4096 3 0 0 0 17 0 0 0
/proc/20632/statm: 2658 2530 77 171 0 2485 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 15988

[startup+6.30128 s]
/proc/loadavg: 0.95 0.99 0.93 2/66 20632
/proc/meminfo: memFree=1708392/2055920 swapFree=4078356/4192956
[pid=20626] ppid=20624 vsize=5356 CPUtime=0.17
/proc/20626/stat : 20626 (SatELiteGTI) S 20624 20626 20506 0 -1 4194304 336 2151 0 0 0 0 15 2 16 0 1 0 304942677 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20626/statm: 1339 239 197 169 0 50 0
[pid=20632] ppid=20626 vsize=13668 CPUtime=6.1
/proc/20632/stat : 20632 (minisat_static) R 20626 20626 20506 0 -1 4194304 3287 0 0 0 607 3 0 0 25 0 1 0 304942695 13996032 3273 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/20632/statm: 3417 3273 77 171 0 3244 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 19024

[startup+12.7029 s]
/proc/loadavg: 0.95 0.99 0.93 2/66 20632
/proc/meminfo: memFree=1703480/2055920 swapFree=4078356/4192956
[pid=20626] ppid=20624 vsize=5356 CPUtime=0.17
/proc/20626/stat : 20626 (SatELiteGTI) S 20624 20626 20506 0 -1 4194304 336 2151 0 0 0 0 15 2 16 0 1 0 304942677 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20626/statm: 1339 239 197 169 0 50 0
[pid=20632] ppid=20626 vsize=18236 CPUtime=12.5
/proc/20632/stat : 20632 (minisat_static) R 20626 20626 20506 0 -1 4194304 4443 0 0 0 1246 4 0 0 25 0 1 0 304942695 18673664 4429 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/20632/statm: 4559 4429 77 171 0 4386 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 23592

[startup+25.5011 s]
/proc/loadavg: 0.96 0.99 0.93 2/66 20632
/proc/meminfo: memFree=1696248/2055920 swapFree=4078356/4192956
[pid=20626] ppid=20624 vsize=5356 CPUtime=0.17
/proc/20626/stat : 20626 (SatELiteGTI) S 20624 20626 20506 0 -1 4194304 336 2151 0 0 0 0 15 2 16 0 1 0 304942677 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20626/statm: 1339 239 197 169 0 50 0
[pid=20632] ppid=20626 vsize=25220 CPUtime=25.27
/proc/20632/stat : 20632 (minisat_static) R 20626 20626 20506 0 -1 4194304 6196 0 0 0 2521 6 0 0 25 0 1 0 304942695 25825280 6182 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/20632/statm: 6305 6182 77 171 0 6132 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 30576

[startup+51.1015 s]
/proc/loadavg: 0.97 0.99 0.93 2/66 20632
/proc/meminfo: memFree=1687160/2055920 swapFree=4078356/4192956
[pid=20626] ppid=20624 vsize=5356 CPUtime=0.17
/proc/20626/stat : 20626 (SatELiteGTI) S 20624 20626 20506 0 -1 4194304 336 2151 0 0 0 0 15 2 16 0 1 0 304942677 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20626/statm: 1339 239 197 169 0 50 0
[pid=20632] ppid=20626 vsize=34384 CPUtime=50.85
/proc/20632/stat : 20632 (minisat_static) R 20626 20626 20506 0 -1 4194304 8476 0 0 0 5077 8 0 0 25 0 1 0 304942695 35209216 8462 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/20632/statm: 8596 8462 77 171 0 8423 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 39740

[startup+102.305 s]
/proc/loadavg: 0.99 0.99 0.93 2/66 20632
/proc/meminfo: memFree=1673400/2055920 swapFree=4078356/4192956
[pid=20626] ppid=20624 vsize=5356 CPUtime=0.17
/proc/20626/stat : 20626 (SatELiteGTI) S 20624 20626 20506 0 -1 4194304 336 2151 0 0 0 0 15 2 16 0 1 0 304942677 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20626/statm: 1339 239 197 169 0 50 0
[pid=20632] ppid=20626 vsize=47880 CPUtime=102.02
/proc/20632/stat : 20632 (minisat_static) R 20626 20626 20506 0 -1 4194304 11828 0 0 0 10191 11 0 0 25 0 1 0 304942695 49029120 11814 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/20632/statm: 11970 11814 77 171 0 11797 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 53236

[startup+162.301 s]
/proc/loadavg: 0.99 0.99 0.93 2/66 20632
/proc/meminfo: memFree=1672376/2055920 swapFree=4078356/4192956
[pid=20626] ppid=20624 vsize=5356 CPUtime=0.17
/proc/20626/stat : 20626 (SatELiteGTI) S 20624 20626 20506 0 -1 4194304 336 2151 0 0 0 0 15 2 16 0 1 0 304942677 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20626/statm: 1339 239 197 169 0 50 0
[pid=20632] ppid=20626 vsize=48672 CPUtime=161.99
/proc/20632/stat : 20632 (minisat_static) R 20626 20626 20506 0 -1 4194304 12047 0 0 0 16187 12 0 0 25 0 1 0 304942695 49840128 12033 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/20632/statm: 12168 12033 77 171 0 11995 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 54028

[startup+222.302 s]
/proc/loadavg: 0.99 0.99 0.93 2/66 20632
/proc/meminfo: memFree=1672248/2055920 swapFree=4078356/4192956
[pid=20626] ppid=20624 vsize=5356 CPUtime=0.17
/proc/20626/stat : 20626 (SatELiteGTI) S 20624 20626 20506 0 -1 4194304 336 2151 0 0 0 0 15 2 16 0 1 0 304942677 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20626/statm: 1339 239 197 169 0 50 0
[pid=20632] ppid=20626 vsize=48672 CPUtime=221.96
/proc/20632/stat : 20632 (minisat_static) R 20626 20626 20506 0 -1 4194304 12047 0 0 0 22184 12 0 0 25 0 1 0 304942695 49840128 12033 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/20632/statm: 12168 12033 77 171 0 11995 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 54028

[startup+282.301 s]
/proc/loadavg: 0.99 0.99 0.93 2/66 20634
/proc/meminfo: memFree=1672056/2055920 swapFree=4078356/4192956
[pid=20626] ppid=20624 vsize=5356 CPUtime=0.17
/proc/20626/stat : 20626 (SatELiteGTI) S 20624 20626 20506 0 -1 4194304 336 2151 0 0 0 0 15 2 16 0 1 0 304942677 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20626/statm: 1339 239 197 169 0 50 0
[pid=20632] ppid=20626 vsize=48824 CPUtime=281.93
/proc/20632/stat : 20632 (minisat_static) R 20626 20626 20506 0 -1 4194304 12054 0 0 0 28181 12 0 0 25 0 1 0 304942695 49995776 12040 1992294400 134512640 135215339 4294956240 18446744073709551615 134529091 0 0 4096 3 0 0 0 17 0 0 0
/proc/20632/statm: 12206 12040 77 171 0 12033 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 54180

[startup+342.301 s]
/proc/loadavg: 0.99 0.99 0.93 2/66 20634
/proc/meminfo: memFree=1671992/2055920 swapFree=4078356/4192956
[pid=20626] ppid=20624 vsize=5356 CPUtime=0.17
/proc/20626/stat : 20626 (SatELiteGTI) S 20624 20626 20506 0 -1 4194304 336 2151 0 0 0 0 15 2 16 0 1 0 304942677 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20626/statm: 1339 239 197 169 0 50 0
[pid=20632] ppid=20626 vsize=48824 CPUtime=341.89
/proc/20632/stat : 20632 (minisat_static) R 20626 20626 20506 0 -1 4194304 12054 0 0 0 34177 12 0 0 25 0 1 0 304942695 49995776 12040 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/20632/statm: 12206 12040 77 171 0 12033 0
Current children cumulated CPU time (s) 342.06
Current children cumulated vsize (KiB) 54180

[startup+402.302 s]
/proc/loadavg: 0.99 0.99 0.93 2/66 20634
/proc/meminfo: memFree=1671864/2055920 swapFree=4078356/4192956
[pid=20626] ppid=20624 vsize=5356 CPUtime=0.17
/proc/20626/stat : 20626 (SatELiteGTI) S 20624 20626 20506 0 -1 4194304 336 2151 0 0 0 0 15 2 16 0 1 0 304942677 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20626/statm: 1339 239 197 169 0 50 0
[pid=20632] ppid=20626 vsize=48824 CPUtime=401.87
/proc/20632/stat : 20632 (minisat_static) R 20626 20626 20506 0 -1 4194304 12054 0 0 0 40175 12 0 0 25 0 1 0 304942695 49995776 12040 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/20632/statm: 12206 12040 77 171 0 12033 0
Current children cumulated CPU time (s) 402.04
Current children cumulated vsize (KiB) 54180

[startup+462.301 s]

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

/proc/20632/statm: 12244 12071 77 171 0 12071 0
Current children cumulated CPU time (s) 581.93
Current children cumulated vsize (KiB) 54332

[startup+642.302 s]
/proc/loadavg: 0.99 0.99 0.93 2/66 20634
/proc/meminfo: memFree=1671352/2055920 swapFree=4078356/4192956
[pid=20626] ppid=20624 vsize=5356 CPUtime=0.17
/proc/20626/stat : 20626 (SatELiteGTI) S 20624 20626 20506 0 -1 4194304 336 2151 0 0 0 0 15 2 16 0 1 0 304942677 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20626/statm: 1339 239 197 169 0 50 0
[pid=20632] ppid=20626 vsize=48976 CPUtime=641.75
/proc/20632/stat : 20632 (minisat_static) R 20626 20626 20506 0 -1 4194304 12085 0 0 0 64162 13 0 0 25 0 1 0 304942695 50151424 12071 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/20632/statm: 12244 12071 77 171 0 12071 0
Current children cumulated CPU time (s) 641.92
Current children cumulated vsize (KiB) 54332

[startup+702.301 s]
/proc/loadavg: 0.99 0.99 0.93 2/66 20634
/proc/meminfo: memFree=1671224/2055920 swapFree=4078356/4192956
[pid=20626] ppid=20624 vsize=5356 CPUtime=0.17
/proc/20626/stat : 20626 (SatELiteGTI) S 20624 20626 20506 0 -1 4194304 336 2151 0 0 0 0 15 2 16 0 1 0 304942677 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20626/statm: 1339 239 197 169 0 50 0
[pid=20632] ppid=20626 vsize=48976 CPUtime=701.71
/proc/20632/stat : 20632 (minisat_static) R 20626 20626 20506 0 -1 4194304 12108 0 0 0 70158 13 0 0 25 0 1 0 304942695 50151424 12094 1992294400 134512640 135215339 4294956240 18446744073709551615 134528711 0 0 4096 3 0 0 0 17 0 0 0
/proc/20632/statm: 12244 12094 77 171 0 12071 0
Current children cumulated CPU time (s) 701.88
Current children cumulated vsize (KiB) 54332

[startup+762.306 s]
/proc/loadavg: 1.03 1.00 0.94 2/66 20634
/proc/meminfo: memFree=1671096/2055920 swapFree=4078356/4192956
[pid=20626] ppid=20624 vsize=5356 CPUtime=0.17
/proc/20626/stat : 20626 (SatELiteGTI) S 20624 20626 20506 0 -1 4194304 336 2151 0 0 0 0 15 2 16 0 1 0 304942677 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20626/statm: 1339 239 197 169 0 50 0
[pid=20632] ppid=20626 vsize=48976 CPUtime=761.68
/proc/20632/stat : 20632 (minisat_static) R 20626 20626 20506 0 -1 4194304 12108 0 0 0 76155 13 0 0 25 0 1 0 304942695 50151424 12094 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/20632/statm: 12244 12094 77 171 0 12071 0
Current children cumulated CPU time (s) 761.85
Current children cumulated vsize (KiB) 54332

[startup+822.302 s]
/proc/loadavg: 1.01 1.00 0.94 2/66 20634
/proc/meminfo: memFree=1670968/2055920 swapFree=4078356/4192956
[pid=20626] ppid=20624 vsize=5356 CPUtime=0.17
/proc/20626/stat : 20626 (SatELiteGTI) S 20624 20626 20506 0 -1 4194304 336 2151 0 0 0 0 15 2 16 0 1 0 304942677 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20626/statm: 1339 239 197 169 0 50 0
[pid=20632] ppid=20626 vsize=49132 CPUtime=821.66
/proc/20632/stat : 20632 (minisat_static) R 20626 20626 20506 0 -1 4194304 12118 0 0 0 82153 13 0 0 25 0 1 0 304942695 50311168 12104 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/20632/statm: 12283 12104 77 171 0 12110 0
Current children cumulated CPU time (s) 821.83
Current children cumulated vsize (KiB) 54488

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 20634
/proc/meminfo: memFree=1670840/2055920 swapFree=4078356/4192956
[pid=20626] ppid=20624 vsize=5356 CPUtime=0.17
/proc/20626/stat : 20626 (SatELiteGTI) S 20624 20626 20506 0 -1 4194304 336 2151 0 0 0 0 15 2 16 0 1 0 304942677 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20626/statm: 1339 239 197 169 0 50 0
[pid=20632] ppid=20626 vsize=49268 CPUtime=881.62
/proc/20632/stat : 20632 (minisat_static) R 20626 20626 20506 0 -1 4194304 12145 0 0 0 88149 13 0 0 25 0 1 0 304942695 50450432 12131 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/20632/statm: 12317 12131 77 171 0 12144 0
Current children cumulated CPU time (s) 881.79
Current children cumulated vsize (KiB) 54624

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 20634
/proc/meminfo: memFree=1670520/2055920 swapFree=4078356/4192956
[pid=20626] ppid=20624 vsize=5356 CPUtime=0.17
/proc/20626/stat : 20626 (SatELiteGTI) S 20624 20626 20506 0 -1 4194304 336 2151 0 0 0 0 15 2 16 0 1 0 304942677 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20626/statm: 1339 239 197 169 0 50 0
[pid=20632] ppid=20626 vsize=49432 CPUtime=941.59
/proc/20632/stat : 20632 (minisat_static) R 20626 20626 20506 0 -1 4194304 12182 0 0 0 94146 13 0 0 25 0 1 0 304942695 50618368 12168 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/20632/statm: 12358 12168 77 171 0 12185 0
Current children cumulated CPU time (s) 941.76
Current children cumulated vsize (KiB) 54788

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 20634
/proc/meminfo: memFree=1670392/2055920 swapFree=4078356/4192956
[pid=20626] ppid=20624 vsize=5356 CPUtime=0.17
/proc/20626/stat : 20626 (SatELiteGTI) S 20624 20626 20506 0 -1 4194304 336 2151 0 0 0 0 15 2 16 0 1 0 304942677 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20626/statm: 1339 239 197 169 0 50 0
[pid=20632] ppid=20626 vsize=49432 CPUtime=1001.58
/proc/20632/stat : 20632 (minisat_static) R 20626 20626 20506 0 -1 4194304 12200 0 0 0 100144 14 0 0 25 0 1 0 304942695 50618368 12186 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/20632/statm: 12358 12186 77 171 0 12185 0
Current children cumulated CPU time (s) 1001.75
Current children cumulated vsize (KiB) 54788

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 20634
/proc/meminfo: memFree=1670264/2055920 swapFree=4078356/4192956
[pid=20626] ppid=20624 vsize=5356 CPUtime=0.17
/proc/20626/stat : 20626 (SatELiteGTI) S 20624 20626 20506 0 -1 4194304 336 2151 0 0 0 0 15 2 16 0 1 0 304942677 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20626/statm: 1339 239 197 169 0 50 0
[pid=20632] ppid=20626 vsize=49432 CPUtime=1061.55
/proc/20632/stat : 20632 (minisat_static) R 20626 20626 20506 0 -1 4194304 12209 0 0 0 106141 14 0 0 25 0 1 0 304942695 50618368 12195 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/20632/statm: 12358 12195 77 171 0 12185 0
Current children cumulated CPU time (s) 1061.72
Current children cumulated vsize (KiB) 54788

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 20634
/proc/meminfo: memFree=1670200/2055920 swapFree=4078356/4192956
[pid=20626] ppid=20624 vsize=5356 CPUtime=0.17
/proc/20626/stat : 20626 (SatELiteGTI) S 20624 20626 20506 0 -1 4194304 336 2151 0 0 0 0 15 2 16 0 1 0 304942677 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20626/statm: 1339 239 197 169 0 50 0
[pid=20632] ppid=20626 vsize=49600 CPUtime=1121.52
/proc/20632/stat : 20632 (minisat_static) R 20626 20626 20506 0 -1 4194304 12218 0 0 0 112138 14 0 0 25 0 1 0 304942695 50790400 12204 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/20632/statm: 12400 12204 77 171 0 12227 0
Current children cumulated CPU time (s) 1121.69
Current children cumulated vsize (KiB) 54956

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 20634
/proc/meminfo: memFree=1670008/2055920 swapFree=4078356/4192956
[pid=20626] ppid=20624 vsize=5356 CPUtime=0.17
/proc/20626/stat : 20626 (SatELiteGTI) S 20624 20626 20506 0 -1 4194304 336 2151 0 0 0 0 15 2 16 0 1 0 304942677 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20626/statm: 1339 239 197 169 0 50 0
[pid=20632] ppid=20626 vsize=49600 CPUtime=1181.48
/proc/20632/stat : 20632 (minisat_static) R 20626 20626 20506 0 -1 4194304 12230 0 0 0 118134 14 0 0 25 0 1 0 304942695 50790400 12216 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/20632/statm: 12400 12216 77 171 0 12227 0
Current children cumulated CPU time (s) 1181.65
Current children cumulated vsize (KiB) 54956



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 20634
/proc/meminfo: memFree=1669944/2055920 swapFree=4078356/4192956
[pid=20626] ppid=20624 vsize=5356 CPUtime=0.17
/proc/20626/stat : 20626 (SatELiteGTI) S 20624 20626 20506 0 -1 4194304 336 2151 0 0 0 0 15 2 16 0 1 0 304942677 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20626/statm: 1339 239 197 169 0 50 0
[pid=20632] ppid=20626 vsize=49600 CPUtime=1199.87
/proc/20632/stat : 20632 (minisat_static) R 20626 20626 20506 0 -1 4194304 12230 0 0 0 119973 14 0 0 25 0 1 0 304942695 50790400 12216 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/20632/statm: 12400 12216 77 171 0 12227 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 54956

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

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

[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 20634
/proc/meminfo: memFree=1669944/2055920 swapFree=4078356/4192956
[pid=20626] ppid=20624 vsize=5356 CPUtime=0.17
/proc/20626/stat : 20626 (SatELiteGTI) S 20624 20626 20506 0 -1 4194304 336 2151 0 0 0 0 15 2 16 0 1 0 304942677 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20626/statm: 1339 239 197 169 0 50 0
[pid=20632] ppid=20626 vsize=49600 CPUtime=1199.87
/proc/20632/stat : 20632 (minisat_static) R 20626 20626 20506 0 -1 4194304 12230 0 0 0 119973 14 0 0 25 0 1 0 304942695 50790400 12216 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/20632/statm: 12400 12216 77 171 0 12227 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 54956

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20626 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=154976
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=26995
# CPU time returned by wait4() is 0.181971
# 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.71
CPU time (s): 1200.04
CPU user time (s): 1199.88
CPU system time (s): 0.16
CPU usage (%): 99.944
Max. virtual memory (cumulated for all children) (KiB): 54956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.154976
system time used= 0.026995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2487
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= 12
involuntary context switches= 9

runsolver used 1.09383 second user time and 3.40448 second system time

The end

Launcher Data

Begin job on node61 at 2009-05-19 23:39:16
IDJOB=1832103
IDBENCH=20487
IDSOLVER=671
FILE ID=node61/1832103-1242769155
PBS_JOBID= 9322240
Free space on /tmp= 66388 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/grieu/vmpc_30.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832103-1242769155/watcher-1832103-1242769155 -o /tmp/evaluation-result-1832103-1242769155/solver-1832103-1242769155 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832103-1242769155.cnf

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

MD5SUM BENCH= 8df6cfaff4435ad2a04367a34fb047c1
RANDOM SEED=1104871197

node61.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.216
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.216
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1723288 kB
Buffers:         11676 kB
Cached:         176704 kB
SwapCached:     109052 kB
Active:          91416 kB
Inactive:       208156 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1723288 kB
SwapTotal:     4192956 kB
SwapFree:      4078356 kB
Dirty:            3684 kB
Writeback:           0 kB
Mapped:          13468 kB
Slab:            19216 kB
Committed_AS:  1022348 kB
PageTables:       1372 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264884 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66384 MiB
End job on node61 at 2009-05-19 23:59:18