Trace number 1834263

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.03 1200.41

General information on the benchmark

NameCRAFTED/parity-games/
instance_n8_i9_pp_ci_ce.cnf
MD5SUM30af8150f499f8e8270ccf7f0e5a1a0a
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables24336
Number of clauses289842
Sum of the clauses size957634
Maximum clause length56
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 249577
Number of clauses of size 3140712
Number of clauses of size 476848
Number of clauses of size 517640
Number of clauses of size over 55065

Solver Data 

0.00/0.00	c Parsing...
0.00/0.24	c ==============================================================================
0.00/0.24	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.24	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.24	c ==============================================================================
0.00/0.24	c |         0 |  289842   957634 |   86952       0        0     nan |  0.000 % |
0.00/0.82	c |         0 |  270659   912583 |      --       0       --      -- |     --   | -19183/-45051
0.00/0.83	c ==============================================================================
0.00/0.83	c Result  :   #vars: 17205   #clauses: 270659   #literals: 912583
0.00/0.83	c CPU time:   0.775882 s
0.00/0.83	c ==============================================================================
1.08/1.13	c This is MiniSat 2.0 beta
1.08/1.13	c WARNING: for repeatability, setting FPU to use double precision
1.08/1.13	c ============================[ Problem Statistics ]=============================
1.08/1.13	c |                                                                             |
1.08/1.13	c |  Number of variables:  17205                                                |
1.08/1.13	c |  Number of clauses:    270659                                               |
1.12/1.29	c |  Parsing time:         0.14         s                                       |
1.12/1.30	c ============================[ Search Statistics ]==============================
1.12/1.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.12/1.30	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.12/1.30	c ===============================================================================
1.12/1.30	c |         0 |   17205   270659   912583 |    90219        0    nan |  0.000 % |
1.12/1.34	c |       101 |   17204   270659   912583 |    90219      100     11 |  0.006 % |
1.12/1.37	c |       202 |   17204   270659   912583 |    90219      201     13 |  0.006 % |
1.12/1.40	c |       302 |   17204   270659   912583 |    90219      301     15 |  0.006 % |
1.12/1.44	c |       412 |   17204   270659   912583 |    90219      411     16 |  0.006 % |
1.12/1.46	c |       514 |   17204   270659   912583 |    90219      513     17 |  0.006 % |
1.12/1.49	c |       624 |   17204   270659   912583 |    90219      623     17 |  0.006 % |
1.12/1.51	c |       745 |   17204   270659   912583 |    90219      744     18 |  0.006 % |
1.12/1.53	c |       846 |   17204   270659   912583 |    90219      845     17 |  0.006 % |
1.12/1.55	c |       959 |   17204   270659   912583 |    90219      958     17 |  0.006 % |
1.12/1.57	c |      1080 |   17204   270659   912583 |    90219     1079     17 |  0.006 % |
1.12/1.63	c |      1214 |   17204   270659   912583 |    90219     1213     17 |  0.006 % |
1.12/1.67	c |      1314 |   17204   270659   912583 |    90219     1313     19 |  0.006 % |
1.12/1.70	c |      1425 |   17204   270659   912583 |    90219     1424     18 |  0.006 % |
1.12/1.72	c |      1546 |   17204   270659   912583 |    90219     1545     19 |  0.006 % |
1.12/1.77	c |      1679 |   17204   270659   912583 |    90219     1678     19 |  0.006 % |
1.12/1.81	c |      1827 |   17203   270659   912583 |    90219     1825     18 |  0.013 % |
1.12/1.86	c |      1927 |   17203   270659   912583 |    90219     1925     18 |  0.012 % |
1.12/1.88	c |      2037 |   17203   270659   912583 |    90219     2035     18 |  0.012 % |
1.12/1.93	c |      2158 |   17203   270659   912583 |    90219     2156     19 |  0.012 % |
1.12/2.04	c |      2292 |   17203   270659   912583 |    90219     2290     18 |  0.012 % |
1.12/2.07	c |      2438 |   17203   270659   912583 |    90219     2436     18 |  0.012 % |
2.08/2.11	c |      2598 |   17203   270659   912583 |    90219     2596     18 |  0.012 % |
2.08/2.15	c |      2698 |   17203   270659   912583 |    90219     2696     18 |  0.012 % |
2.08/2.18	c |      2808 |   17203   270588   912349 |    90219     2795     18 |  0.012 % |
2.18/2.22	c |      2933 |   17203   270588   912349 |    90219     2920     19 |  0.012 % |
2.18/2.24	c |      3071 |   17203   270588   912349 |    90219     3058     19 |  0.012 % |
2.18/2.28	c |      3217 |   17203   270588   912349 |    90219     3204     19 |  0.012 % |
2.28/2.31	c |      3380 |   17203   270588   912349 |    90219     3367     19 |  0.012 % |
2.28/2.37	c |      3559 |   17203   270588   912349 |    90219     3546     20 |  0.012 % |
2.38/2.40	c |      3660 |   17203   270588   912349 |    90219     3647     20 |  0.012 % |
2.38/2.44	c |      3770 |   17203   270588   912349 |    90219     3757     20 |  0.012 % |
2.38/2.48	c |      3891 |   17203   270588   912349 |    90219     3878     20 |  0.014 % |
2.48/2.52	c |      4025 |   17203   270588   912349 |    90219     4012     21 |  0.012 % |
2.48/2.54	c |      4171 |   17203   270588   912349 |    90219     4158     21 |  0.012 % |
2.58/2.60	c |      4333 |   17203   270588   912349 |    90219     4320     21 |  0.012 % |
2.58/2.65	c |      4512 |   17203   270588   912349 |    90219     4499     21 |  0.012 % |
2.68/2.71	c |      4705 |   17203   270588   912349 |    90219     4692     21 |  0.012 % |
2.68/2.76	c |      4806 |   17203   270588   912349 |    90219     4793     21 |  0.013 % |
2.68/2.79	c |      4916 |   17203   270588   912349 |    90219     4903     21 |  0.012 % |
2.78/2.83	c |      5038 |   17203   270588   912349 |    90219     5025     21 |  0.012 % |
2.78/2.88	c |      5171 |   17203   270588   912349 |    90219     5158     21 |  0.012 % |
2.88/2.94	c |      5317 |   17203   270588   912349 |    90219     5304     21 |  0.012 % |
2.88/2.99	c |      5477 |   17203   270588   912349 |    90219     5464     21 |  0.012 % |
2.98/3.02	c |      5654 |   17203   270588   912349 |    90219     5641     21 |  0.012 % |
2.98/3.08	c |      5847 |   17203   270588   912349 |    90219     5834     21 |  0.012 % |
3.08/3.13	c |      6062 |   17203   270588   912349 |    90219     6049     21 |  0.012 % |
3.08/3.18	c |      6162 |   17203   270588   912349 |    90219     6149     21 |  0.012 % |
3.18/3.24	c |      6273 |   17203   270588   912349 |    90219     6260     21 |  0.012 % |
3.18/3.27	c |      6394 |   17203   270588   912349 |    90219     6381     21 |  0.012 % |
3.28/3.31	c |      6528 |   17203   270588   912349 |    90219     6515     21 |  0.012 % |
3.28/3.36	c |      6674 |   17203   270588   912349 |    90219     6661     21 |  0.012 % |
3.38/3.41	c |      6834 |   17203   270588   912349 |    90219     6821     21 |  0.012 % |
3.38/3.47	c |      7012 |   17203   270588   912349 |    90219     6999     21 |  0.012 % |
3.48/3.53	c |      7208 |   17203   270588   912349 |    90219     7195     22 |  0.012 % |
3.58/3.61	c |      7421 |   17203   270588   912349 |    90219     7408     23 |  0.013 % |
3.58/3.66	c |      7655 |   17203   270588   912349 |    90219     7642     23 |  0.012 % |
3.58/3.67	c |      7755 |   17203   270588   912349 |    90219     7742     22 |  0.012 % |
3.67/3.70	c |      7865 |   17203   270588   912349 |    90219     7852     22 |  0.012 % |
3.67/3.72	c |      7986 |   17203   270588   912349 |    90219     7973     22 |  0.012 % |
3.67/3.76	c |      8120 |   17203   270588   912349 |    90219     8107     22 |  0.012 % |
3.77/3.81	c |      8267 |   17203   270588   912349 |    90219     8254     22 |  0.012 % |
3.77/3.86	c |      8428 |   17203   270588   912349 |    90219     8415     22 |  0.012 % |
3.87/3.90	c |      8604 |   17203   270588   912349 |    90219     8591     23 |  0.012 % |
3.87/3.95	c |      8799 |   17203   270588   912349 |    90219     8786     23 |  0.012 % |
3.97/4.00	c |      9013 |   17203   270588   912349 |    90219     9000     23 |  0.012 % |
3.97/4.05	c |      9246 |   17203   270588   912349 |    90219     9233     23 |  0.012 % |
3.97/4.09	c |      9502 |   17203   270588   912349 |    90219     9489     23 |  0.012 % |
4.07/4.13	c |      9602 |   17203   270588   912349 |    90219     9589     23 |  0.012 % |
4.07/4.16	c |      9713 |   17203   270588   912349 |    90219     9700     23 |  0.012 % |
4.17/4.21	c |      9835 |   17203   270588   912349 |    90219     9822     23 |  0.012 % |
4.17/4.24	c |      9968 |   17203   270588   912349 |    90219     9955     23 |  0.012 % |
4.17/4.28	c |     10114 |   17203   270588   912349 | 2147483647    10101     23 |  0.013 % |
4.28/4.32	c |     10277 |   17203   270588   912349 | 2147483647    10264     23 |  0.012 % |
4.28/4.35	c |     10453 |   17203   270588   912349 | 2147483647    10440     23 |  0.013 % |
4.38/4.48	c |     10646 |   17203   270588   912349 | 2147483647    10633     23 |  0.012 % |
4.47/4.54	c |     10860 |   17203   270588   912349 | 2147483647    10847     23 |  0.013 % |
4.47/4.58	c |     11093 |   17203   270588   912349 | 2147483647    11080     23 |  0.013 % |
4.57/4.65	c |     11350 |   17203   270588   912349 | 2147483647    11337     23 |  0.012 % |
4.67/4.72	c |     11632 |   17203   270588   912349 | 2147483647    11619     23 |  0.012 % |
4.67/4.76	c |     11733 |   17203   270588   912349 | 2147483647    11720     23 |  0.012 % |
4.67/4.79	c |     11844 |   17203   270588   912349 | 2147483647    11831     23 |  0.012 % |
4.77/4.84	c |     11965 |   17203   270588   912349 | 2147483647    11952     23 |  0.012 % |
4.77/4.86	c |     12101 |   17203   270588   912349 | 2147483647    12088     23 |  0.012 % |
4.87/4.91	c |     12249 |   17203   270588   912349 | 2147483647    12236     23 |  0.012 % |
4.87/4.96	c |     12410 |   17203   270588   912349 | 2147483647    12397     23 |  0.012 % |
4.97/5.01	c |     12586 |   17203   270588   912349 | 2147483647    12573     24 |  0.012 % |
5.07/5.10	c |     12779 |   17203   270588   912349 | 2147483647    12766     24 |  0.013 % |
5.07/5.18	c |     12992 |   17203   270588   912349 | 2147483647    12979     24 |  0.012 % |
5.17/5.23	c |     13226 |   17203   270588   912349 | 2147483647    13213     24 |  0.012 % |
5.27/5.31	c |     13485 |   17203   270588   912349 | 2147483647    13472     24 |  0.012 % |
5.27/5.37	c |     13766 |   17203   270588   912349 | 2147483647    13753     24 |  0.012 % |
5.38/5.44	c |     14075 |   17203   270588   912349 | 2147483647    14062     24 |  0.012 % |
5.38/5.46	c |     14175 |   17203   270588   912349 | 2147483647    14162     24 |  0.012 % |
5.38/5.48	c |     14285 |   17203   270588   912349 | 2147483647    14272     24 |  0.012 % |
5.48/5.53	c |     14406 |   17203   270588   912349 | 2147483647    14393     24 |  0.012 % |
5.48/5.59	c |     14540 |   17203   270588   912349 | 2147483647    14527     24 |  0.012 % |
5.57/5.64	c |     14686 |   17203   270588   912349 | 2147483647    14673     24 |  0.012 % |
5.57/5.69	c |     14846 |   17203   270588   912349 | 2147483647    14833     24 |  0.012 % |
5.67/5.73	c |     15022 |   17203   270588   912349 | 2147483647    15009     24 |  0.012 % |
5.67/5.79	c |     15215 |   17203   270588   912349 | 2147483647    15202     24 |  0.012 % |
5.77/5.83	c |     15427 |   17203   270588   912349 | 2147483647    15414     24 |  0.012 % |
5.87/5.91	c |     15660 |   17203   270588   912349 | 2147483647    15647     24 |  0.012 % |
5.87/5.98	c |     15917 |   17203   270588   912349 | 2147483647    15904     24 |  0.012 % |
5.97/6.09	c |     16198 |   17203   270588   912349 | 2147483647    16185     24 |  0.012 % |
6.17/6.22	c |     16507 |   17203   270588   912349 | 2147483647    16494     25 |  0.013 % |
6.27/6.30	c |     16846 |   17203   270588   912349 | 2147483647    16833     25 |  0.013 % |
6.27/6.33	c |     16946 |   17203   270588   912349 | 2147483647    16933     25 |  0.012 % |
6.27/6.39	c |     17058 |   17203   270588   912349 | 2147483647    17045     25 |  0.013 % |
6.37/6.41	c |     17179 |   17203   270588   912349 | 2147483647    17166     25 |  0.012 % |
6.37/6.45	c |     17312 |   17203   270588   912349 | 2147483647    17299     25 |  0.012 % |
6.48/6.52	c |     17459 |   17203   270588   912349 | 2147483647    17446     25 |  0.012 % |
6.48/6.56	c |     17619 |   17203   270588   912349 | 2147483647    17606     25 |  0.012 % |
6.48/6.59	c |     17795 |   17203   270588   912349 | 2147483647    17782     25 |  0.012 % |
6.58/6.66	c |     17988 |   17203   270588   912349 | 2147483647    17975     25 |  0.012 % |
6.58/6.69	c |     18201 |   17203   270588   912349 | 2147483647    18188     25 |  0.012 % |
6.67/6.74	c |     18437 |   17203   270588   912349 | 2147483647    18424     25 |  0.012 % |
6.77/6.83	c |     18693 |   17203   270588   912349 | 2147483647    18680     25 |  0.012 % |
6.87/6.93	c |     18974 |   17203   270588   912349 | 2147483647    18961     25 |  0.012 % |
6.97/7.02	c |     19286 |   17203   270588   912349 | 2147483647    19273     25 |  0.012 % |
7.17/7.29	c |     19625 |   17203   270588   912349 | 2147483647    19612     25 |  0.012 % |
7.27/7.39	c |     19997 |   17203   270588   912349 | 2147483647    19984     25 |  0.012 % |
7.37/7.43	c |     20097 |   17203   270588   912349 | 2147483647    20084     25 |  0.012 % |
7.37/7.47	c |     20209 |   17203   270588   912349 | 2147483647    20196     25 |  0.012 % |
7.47/7.50	c |     20330 |   17203   270588   912349 | 2147483647    20317     25 |  0.013 % |
7.47/7.55	c |     20463 |   17203   270588   912349 | 2147483647    20450     25 |  0.012 % |
7.47/7.59	c |     20610 |   17203   270588   912349 | 2147483647    20597     25 |  0.012 % |
7.58/7.65	c |     20774 |   17203   270588   912349 | 2147483647    20761     25 |  0.012 % |
7.68/7.71	c |     20950 |   17203   270588   912349 | 2147483647    20937     25 |  0.013 % |
7.68/7.76	c |     21144 |   17203   270588   912349 | 2147483647    21131     26 |  0.012 % |
7.77/7.85	c |     21360 |   17203   270588   912349 | 2147483647    21347     26 |  0.013 % |
7.87/7.90	c |     21594 |   17203   270588   912349 | 2147483647    21581     26 |  0.012 % |
7.97/8.01	c |     21851 |   17203   270588   912349 | 2147483647    21838     26 |  0.012 % |
8.07/8.13	c |     22134 |   17203   270588   912349 | 2147483647    22121     26 |  0.012 % |
8.17/8.21	c |     22443 |   17203   270588   912349 | 2147483647    22430     26 |  0.012 % |
8.27/8.32	c |     22782 |   17203   270588   912349 | 2147483647    22769     26 |  0.012 % |
8.37/8.44	c |     23156 |   17203   270588   912349 | 2147483647    23143     26 |  0.012 % |
8.47/8.56	c |     23565 |   17203   270588   912349 | 2147483647    23552     26 |  0.012 % |
8.47/8.60	c |     23666 |   17203   270588   912349 | 2147483647    23653     26 |  0.012 % |
8.57/8.64	c |     23776 |   17203   270588   912349 | 2147483647    23763     26 |  0.012 % |
8.57/8.69	c |     23897 |   17203   270588   912349 | 2147483647    23884     26 |  0.012 % |
8.87/8.96	c |     24033 |   17203   270588   912349 | 2147483647    24020     26 |  0.012 % |
9.07/9.11	c |     24180 |   17203   270588   912349 | 2147483647    24167     26 |  0.012 % |
9.07/9.15	c |     24340 |   17203   270588   912349 | 2147483647    24327     26 |  0.012 % |
9.17/9.21	c |     24516 |   17203   270588   912349 | 2147483647    24503     26 |  0.012 % |
9.17/9.26	c |     24710 |   17203   270588   912349 | 2147483647    24697     26 |  0.012 % |
9.27/9.33	c |     24922 |   17203   270588   912349 | 2147483647    24909     26 |  0.012 % |
9.37/9.42	c |     25155 |   17203   270588   912349 | 2147483647    25142     27 |  0.012 % |
9.48/9.51	c |     25411 |   17203   270588   912349 | 2147483647    25398     27 |  0.012 % |
9.48/9.57	c |     25692 |   17203   270588   912349 | 2147483647    25679     27 |  0.012 % |
9.68/9.74	c |     26004 |   17203   270588   912349 | 2147483647    25991     27 |  0.012 % |
9.78/9.87	c |     26343 |   17203   270588   912349 | 2147483647    26330     27 |  0.012 % |
9.98/10.05	c |     26716 |   17203   270588   912349 | 2147483647    26703     28 |  0.012 % |
10.18/10.29	c |     27125 |   17203   270588   912349 | 2147483647    27112     28 |  0.012 % |
10.37/10.42	c |     27575 |   17203   270588   912349 | 2147483647    27562     28 |  0.012 % |
10.37/10.44	c |     27675 |   17203   270588   912349 | 2147483647    27662     28 |  0.012 % |
10.37/10.49	c |     27785 |   17203   270588   912349 | 2147483647    27772     28 |  0.012 % |
10.47/10.53	c |     27906 |   17203   270588   912349 | 2147483647    27893     28 |  0.012 % |
10.47/10.57	c |     28039 |   17203   270588   912349 | 2147483647    28026     28 |  0.012 % |
10.57/10.63	c |     28191 |   17203   270588   912349 | 2147483647    28178     28 |  0.012 % |
10.57/10.68	c |     28352 |   17203   270588   912349 | 2147483647    28339     28 |  0.012 % |
10.67/10.73	c |     28528 |   17203   270588   912349 | 2147483647    28515     28 |  0.012 % |
10.77/10.84	c |     28721 |   17203   270588   912349 | 2147483647    28708     28 |  0.012 % |
10.77/10.89	c |     28934 |   17203   270588   912349 | 2147483647    28921     28 |  0.012 % |
10.88/11.00	c |     29167 |   17203   270588   912349 | 2147483647    29154     28 |  0.012 % |
11.07/11.12	c |     29423 |   17203   270588   912349 | 2147483647    29410     29 |  0.012 % |
11.17/11.26	c |     29704 |   17203   270588   912349 | 2147483647    29691     29 |  0.012 % |
11.27/11.37	c |     30013 |   17203   270588   912349 | 2147483647    30000     29 |  0.012 % |
11.47/11.52	c |     30352 |   17203   270588   912349 | 2147483647    30339     29 |  0.013 % |
11.57/11.66	c |     30726 |   17203   270588   912349 | 2147483647    30713     29 |  0.013 % |
11.67/11.75	c |     31136 |   17203   270588   912349 | 2147483647    31123     29 |  0.012 % |
11.87/11.93	c |     31587 |   17203   270588   912349 | 2147483647    31574     29 |  0.012 % |
11.98/12.07	c |     32082 |   17203   270588   912349 | 2147483647    32069     29 |  0.012 % |
11.98/12.10	c |     32182 |   17203   270588   912349 | 2147483647    32169     29 |  0.012 % |
12.08/12.16	c |     32292 |   17203   270588   912349 | 2147483647    32279     29 |  0.012 % |
12.08/12.19	c |     32413 |   17203   270588   912349 | 2147483647    32400     29 |  0.012 % |
12.17/12.26	c |     32547 |   17203   270588   912349 | 2147483647    32534     29 |  0.012 % |
12.27/12.31	c |     32693 |   17203   270588   912349 | 2147483647    32680     29 |  0.012 % |
12.27/12.39	c |     32854 |   17203   270588   912349 | 2147483647    32841     29 |  0.012 % |
12.37/12.48	c |     33030 |   17203   270588   912349 | 2147483647    33017     29 |  0.012 % |
12.47/12.57	c |     33225 |   17203   270588   912349 | 2147483647    33212     29 |  0.012 % |
12.57/12.63	c |     33438 |   17203   270588   912349 | 2147483647    33425     29 |  0.012 % |
12.67/12.70	c |     33671 |   17203   270588   912349 | 2147483647    33658     29 |  0.012 % |
12.67/12.78	c |     33929 |   17203   270588   912349 | 2147483647    33916     29 |  0.012 % |
12.77/12.88	c |     34210 |   17203   270588   912349 | 2147483647    34197     29 |  0.012 % |
12.87/12.98	c |     34519 |   17203   270588   912349 | 2147483647    34506     29 |  0.012 % |
13.08/13.14	c |     34858 |   17203   270588   912349 | 2147483647    34845     30 |  0.012 % |
13.27/13.31	c |     35232 |   17203   270588   912349 | 2147483647    35219     30 |  0.012 % |
13.37/13.42	c |     35641 |   17203   270588   912349 | 2147483647    35628     30 |  0.012 % |
13.47/13.56	c |     36091 |   17203   270588   912349 | 2147483647    36078     30 |  0.013 % |
13.77/13.81	c |     36585 |   17203   270588   912349 | 2147483647    36572     30 |  0.012 % |
13.87/13.97	c |     37127 |   17203   270588   912349 | 2147483647    37114     30 |  0.012 % |
13.97/14.00	c |     37227 |   17203   270588   912349 | 2147483647    37214     30 |  0.012 % |
13.97/14.04	c |     37339 |   17203   270588   912349 | 2147483647    37326     30 |  0.012 % |
13.97/14.09	c |     37460 |   17203   270588   912349 | 2147483647    37447     30 |  0.012 % |
14.07/14.16	c |     37593 |   17203   270588   912349 | 2147483647    37580     30 |  0.012 % |
14.18/14.24	c |     37742 |   17203   270588   912349 | 2147483647    37729     30 |  0.012 % |
14.18/14.28	c |     37902 |   17203   270588   912349 | 2147483647    37889     30 |  0.012 % |
14.28/14.35	c |     38079 |   17203   270588   912349 | 2147483647    38066     30 |  0.012 % |
14.37/14.49	c |     38272 |   17203   270588   912349 | 2147483647    38259     30 |  0.012 % |
14.47/14.58	c |     38487 |   17203   270588   912349 | 2147483647    38474     30 |  0.012 % |
14.57/14.62	c |     38720 |   17203   270588   912349 | 2147483647    38707     30 |  0.012 % |
14.67/14.77	c |     38977 |   17203   270588   912349 | 2147483647    38964     30 |  0.012 % |
14.77/14.85	c |     39260 |   17203   270588   912349 | 2147483647    39247     31 |  0.012 % |
14.87/14.96	c |     39569 |   17203   270588   912349 | 2147483647    39556     30 |  0.012 % |
14.97/15.06	c |     39908 |   17203   270588   912349 | 2147483647    39895     31 |  0.012 % |
15.17/15.24	c |     40282 |   17203   270588   912349 | 2147483647    40269     31 |  0.012 % |
15.27/15.38	c |     40692 |   17203   270588   912349 | 2147483647    40679     31 |  0.012 % |
15.47/15.55	c |     41141 |   17203   270588   912349 | 2147483647    41128     31 |  0.012 % |
15.77/15.80	c |     41635 |   17203   270588   912349 | 2147483647    41622     31 |  0.012 % |
15.87/15.98	c |     42177 |   17203   270588   912349 | 2147483647    42164     31 |  0.012 % |
16.17/16.21	c |     42774 |   17203   270588   912349 | 2147483647    42761     31 |  0.012 % |
16.17/16.25	c |     42874 |   17203   270588   912349 | 2147483647    42861     31 |  0.013 % |
16.27/16.30	c |     42984 |   17203   270588   912349 | 2147483647    42971     31 |  0.012 % |
16.27/16.36	c |     43105 |   17203   270588   912349 | 2147483647    43092     31 |  0.012 % |
16.37/16.42	c |     43238 |   17203   270588   912349 | 2147483647    43225     31 |  0.012 % |
16.37/16.46	c |     43386 |   17203   270588   912349 | 2147483647    43373     31 |  0.012 % |
16.37/16.49	c |     43548 |   17203   270588   912349 | 2147483647    43535     31 |  0.012 % |
16.47/16.58	c |     43724 |   17203   270588   912349 | 2147483647    43711     31 |  0.012 % |
16.57/16.66	c |     43920 |   17203   270588   912349 | 2147483647    43907     31 |  0.012 % |
16.67/16.72	c |     44132 |   17203   270588   912349 | 2147483647    44119     31 |  0.012 % |
16.67/16.79	c |     44366 |   17203   270588   912349 | 2147483647    44353     31 |  0.012 % |
16.88/16.97	c |     44622 |   17203   270588   912349 | 2147483647    44609     31 |  0.012 % |
16.98/17.07	c |     44904 |   17203   270588   912349 | 2147483647    44891     31 |  0.012 % |
17.18/17.25	c |     45213 |   17203   270588   912349 | 2147483647    45200     31 |  0.012 % |
17.28/17.37	c |     45552 |   17203   270588   912349 | 2147483647    45539     31 |  0.012 % |
17.48/17.59	c |     45927 |   17203   270588   912349 | 2147483647    45914     32 |  0.012 % |
17.68/17.79	c |     46338 |   17203   270588   912349 | 2147483647    46325     32 |  0.012 % |
17.87/17.92	c |     46787 |   17203   270588   912349 | 2147483647    46774     32 |  0.012 % |
17.97/18.04	c |     47280 |   17203   270588   912349 | 2147483647    47267     32 |  0.012 % |
18.17/18.22	c |     47823 |   17203   270588   912349 | 2147483647    47810     32 |  0.012 % |
18.37/18.40	c |     48420 |   17203   270588   912349 | 2147483647    48407     32 |  0.012 % |
18.47/18.58	c |     49076 |   17203   270588   912349 | 2147483647    49063     32 |  0.013 % |
18.58/18.63	c |     49177 |   17203   270588   912349 | 2147483647    49164     32 |  0.012 % |
18.58/18.67	c |     49287 |   17203   270588   912349 | 2147483647    49274     32 |  0.013 % |
18.68/18.72	c |     49408 |   17203   270588   912349 | 2147483647    49395     32 |  0.012 % |
18.77/18.81	c |     49544 |   17203   270588   912349 | 2147483647    49531     32 |  0.013 % |
18.77/18.89	c |     49691 |   17203   270588   912349 | 2147483647    49678     32 |  0.012 % |
18.87/18.96	c |     49851 |   17203   270588   912349 | 2147483647    49838     32 |  0.012 % |
18.97/19.02	c |     50029 |   17203   270588   912349 | 2147483647    50016     32 |  0.012 % |
19.07/19.13	c |     50223 |   17203   270588   912349 | 2147483647    50210     32 |  0.012 % |
19.17/19.24	c |     50436 |   17203   270588   912349 | 2147483647    50423     32 |  0.013 % |
19.37/19.41	c |     50669 |   17203   270588   912349 | 2147483647    50656     32 |  0.012 % |
19.47/19.51	c |     50925 |   17203   270588   912349 | 2147483647    50912     32 |  0.012 % |
19.57/19.66	c |     51206 |   17203   270588   912349 | 2147483647    51193     32 |  0.012 % |
19.67/19.75	c |     51516 |   17203   270588   912349 | 2147483647    51503     32 |  0.012 % |
19.87/19.93	c |     51856 |   17203   270588   912349 | 2147483647    51843     32 |  0.012 % |
19.97/20.07	c |     52229 |   17203   270588   912349 | 2147483647    52216     32 |  0.012 % |
20.17/20.25	c |     52639 |   17203   270588   912349 | 2147483647    52626     33 |  0.012 % |
20.37/20.43	c |     53089 |   17203   270588   912349 | 2147483647    53076     33 |  0.012 % |
20.57/20.66	c |     53584 |   17203   270588   912349 | 2147483647    53571     33 |  0.012 % |
20.77/20.88	c |     54127 |   17203   270588   912349 | 2147483647    54114     33 |  0.012 % |
20.97/21.06	c |     54723 |   17203   270588   912349 | 2147483647    54710     33 |  0.012 % |
21.27/21.35	c |     55378 |   17203   270588   912349 | 2147483647    55365     33 |  0.012 % |
21.57/21.62	c |     56098 |   17203   270588   912349 | 2147483647    56085     33 |  0.012 % |
21.57/21.68	c |     56198 |   17203   270588   912349 | 2147483647    56185     33 |  0.012 % |
21.67/21.74	c |     56309 |   17203   270588   912349 | 2147483647    56296     33 |  0.012 % |
21.77/21.83	c |     56431 |   17203   270588   912349 | 2147483647    56418     33 |  0.012 % |
21.87/21.92	c |     56565 |   17203   270588   912349 | 2147483647    56552     33 |  0.012 % |
21.97/22.00	c |     56713 |   17203   270588   912349 | 2147483647    56700     33 |  0.012 % |
21.97/22.07	c |     56875 |   17203   270588   912349 | 2147483647    56862     33 |  0.012 % |
22.07/22.13	c |     57052 |   17203   270588   912349 | 2147483647    57039     33 |  0.012 % |
22.17/22.20	c |     57245 |   17203   270588   912349 | 2147483647    57232     33 |  0.012 % |
22.27/22.34	c |     57457 |   17203   270588   912349 | 2147483647    57444     33 |  0.012 % |
22.37/22.43	c |     57690 |   17203   270588   912349 | 2147483647    57677     33 |  0.012 % |
22.37/22.48	c |     57946 |   17203   270588   912349 | 2147483647    57933     33 |  0.012 % |
22.57/22.62	c |     58227 |   17203   270588   912349 | 2147483647    58214     33 |  0.013 % |
22.67/22.75	c |     58536 |   17203   270588   912349 | 2147483647    58523     33 |  0.012 % |
22.87/22.90	c |     58876 |   17203   270588   912349 | 2147483647    58863     33 |  0.012 % |
22.97/23.10	c |     59248 |   17203   270588   912349 | 2147483647    59235     33 |  0.013 % |
23.27/23.30	c |     59657 |   17203   270588   912349 | 2147483647    59644     33 |  0.012 % |
23.57/23.65	c |     60107 |   17203   270588   912349 | 2147483647    60094     34 |  0.012 % |
23.77/23.87	c |     60600 |   17203   270588   912349 | 2147483647    60587     34 |  0.012 % |
24.07/24.18	c |     61143 |   17203   270588   912349 | 2147483647    61130     34 |  0.013 % |
24.37/24.43	c |     61742 |   17203   270588   912349 | 2147483647    61729     34 |  0.012 % |
24.47/24.59	c |     62398 |   17203   270588   912349 | 2147483647    62385     34 |  0.012 % |
24.87/24.95	c |     63120 |   17203   270588   912349 | 2147483647    63107     34 |  0.012 % |
25.18/25.28	c |     63914 |   17203   270588   912349 | 2147483647    63901     34 |  0.012 % |
25.28/25.30	c |     64018 |   17203   270588   912349 | 2147483647    64005     34 |  0.013 % |
25.28/25.36	c |     64129 |   17203   270588   912349 | 2147483647    64116     34 |  0.012 % |
25.37/25.44	c |     64250 |   17203   270588   912349 | 2147483647    64237     34 |  0.012 % |
25.37/25.47	c |     64383 |   17203   270588   912349 | 2147483647    64370     34 |  0.012 % |
25.47/25.54	c |     64530 |   17203   270588   912349 | 2147483647    64517     34 |  0.013 % |
25.57/25.64	c |     64690 |   17203   270588   912349 | 2147483647    64677     34 |  0.012 % |
25.67/25.71	c |     64866 |   17203   270588   912349 | 2147483647    64853     34 |  0.012 % |
25.67/25.79	c |     65060 |   17203   270588   912349 | 2147483647    65047     34 |  0.012 % |
25.87/25.90	c |     65272 |   17203   270588   912349 | 2147483647    65259     34 |  0.012 % |
25.97/26.05	c |     65505 |   17203   270588   912349 | 2147483647    65492     34 |  0.012 % |
26.07/26.19	c |     65762 |   17203   270588   912349 | 2147483647    65749     34 |  0.012 % |
26.28/26.39	c |     66043 |   17203   270588   912349 | 2147483647    66030     34 |  0.012 % |
26.47/26.55	c |     66352 |   17203   270588   912349 | 2147483647    66339     34 |  0.012 % |
26.57/26.69	c |     66693 |   17203   270588   912349 | 2147483647    66680     34 |  0.012 % |
26.77/26.85	c |     67065 |   17203   270588   912349 | 2147483647    67052     34 |  0.012 % |
27.17/27.24	c |     67475 |   17203   270588   912349 | 2147483647    67462     34 |  0.012 % |
27.38/27.48	c |     67924 |   17203   270588   912349 | 2147483647    67911     34 |  0.012 % |
27.57/27.67	c |     68417 |   17203   270588   912349 | 2147483647    68404     34 |  0.012 % |
27.87/27.94	c |     68960 |   17203   270588   912349 | 2147483647    68947     34 |  0.012 % |
28.07/28.18	c |     69558 |   17203   270588   912349 | 2147483647    69545     34 |  0.012 % |
28.47/28.56	c |     70214 |   17203   270588   912349 | 2147483647    70201     34 |  0.012 % |
28.97/29.04	c |     70935 |   17203   270588   912349 | 2147483647    70922     35 |  0.012 % |
29.37/29.48	c |     71728 |   17203   270588   912349 | 2147483647    71715     35 |  0.012 % |
29.77/29.81	c |     72601 |   17203   270588   912349 | 2147483647    72588     35 |  0.012 % |
29.77/29.86	c |     72701 |   17203   270588   912349 | 2147483647    72688     35 |  0.012 % |
29.87/29.93	c |     72811 |   17203   270588   912349 | 2147483647    72798     35 |  0.012 % |
29.97/30.02	c |     72932 |   17203   270588   912349 | 2147483647    72919     35 |  0.012 % |
30.07/30.13	c |     73065 |   17203   270588   912349 | 2147483647    73052     35 |  0.012 % |
30.17/30.22	c |     73211 |   17203   270588   912349 | 2147483647    73198     35 |  0.012 % |
30.17/30.28	c |     73371 |   17203   270588   912349 | 2147483647    73358     35 |  0.012 % |
30.27/30.38	c |     73549 |   17203   270588   912349 | 2147483647    73536     35 |  0.012 % |
30.47/30.53	c |     73743 |   17203   270588   912349 | 2147483647    73730     35 |  0.012 % |
30.57/30.66	c |     73956 |   17203   270588   912349 | 2147483647    73943     35 |  0.012 % |
30.68/30.75	c |     74189 |   17203   270588   912349 | 2147483647    74176     35 |  0.012 % |
30.78/30.84	c |     74446 |   17203   270588   912349 | 2147483647    74433     35 |  0.013 % |
30.87/30.97	c |     74727 |   17203   270588   912349 | 2147483647    74714     35 |  0.012 % |
31.07/31.18	c |     75036 |   17203   270588   912349 | 2147483647    75023     35 |  0.012 % |
31.27/31.33	c |     75377 |   17203   270588   912349 | 2147483647    75364     35 |  0.012 % |
31.47/31.51	c |     75750 |   17203   270588   912349 | 2147483647    75737     35 |  0.012 % |
31.67/31.77	c |     76159 |   17203   270588   912349 | 2147483647    76146     35 |  0.012 % |
31.97/32.02	c |     76608 |   17203   270588   912349 | 2147483647    76595     35 |  0.012 % |
32.27/32.33	c |     77102 |   17203   270588   912349 | 2147483647    77089     35 |  0.012 % |
32.57/32.69	c |     77644 |   17203   270588   912349 | 2147483647    77631     35 |  0.012 % |
32.97/33.02	c |     78242 |   17203   270588   912349 | 2147483647    78229     36 |  0.012 % |
33.37/33.40	c |     78899 |   17203   270588   912349 | 2147483647    78886     36 |  0.012 % |
33.77/33.80	c |     79619 |   17203   270588   912349 | 2147483647    79606     36 |  0.012 % |
34.17/34.26	c |     80411 |   17203   270588   912349 | 2147483647    80398     36 |  0.012 % |
34.86/34.92	c |     81282 |   17203   270588   912349 | 2147483647    81269     37 |  0.012 % |
35.26/35.36	c |     82240 |   17203   270588   912349 | 2147483647    82227     37 |  0.012 % |
35.36/35.43	c |     82340 |   17203   270588   912349 | 2147483647    82327     37 |  0.012 % |
35.46/35.53	c |     82450 |   17203   270588   912349 | 2147483647    82437     37 |  0.013 % |
35.56/35.61	c |     82572 |   17203   270588   912349 | 2147483647    82559     37 |  0.013 % |
35.56/35.70	c |     82706 |   17203   270588   912349 | 2147483647    82693     37 |  0.012 % |
35.67/35.80	c |     82852 |   17203   270588   912349 | 2147483647    82839     37 |  0.012 % |
35.87/35.91	c |     83012 |   17203   270588   912349 | 2147483647    82999     37 |  0.012 % |
35.97/36.02	c |     83188 |   17203   270588   912349 | 2147483647    83175     37 |  0.012 % |
36.07/36.18	c |     83382 |   17203   270588   912349 | 2147483647    83369     37 |  0.012 % |
36.18/36.28	c |     83595 |   17203   270588   912349 | 2147483647    83582     37 |  0.012 % |
36.37/36.43	c |     83830 |   17203   270588   912349 | 2147483647    83817     37 |  0.012 % |
36.37/36.49	c |     84088 |   17203   270588   912349 | 2147483647    84075     37 |  0.013 % |
36.77/36.88	c |     84372 |   17203   270588   912349 | 2147483647    84359     37 |  0.012 % |
36.97/37.05	c |     84681 |   17203   270588   912349 | 2147483647    84668     37 |  0.012 % |
37.17/37.25	c |     85022 |   17203   270588   912349 | 2147483647    85009     37 |  0.012 % |
37.47/37.56	c |     85394 |   17203   270588   912349 | 2147483647    85381     38 |  0.012 % |
37.67/37.77	c |     85805 |   17203   270588   912349 | 2147483647    85792     38 |  0.012 % |
37.97/38.02	c |     86255 |   17203   270588   912349 | 2147483647    86242     38 |  0.012 % |
38.27/38.33	c |     86749 |   17203   270588   912349 | 2147483647    86736     38 |  0.012 % |
38.57/38.69	c |     87291 |   17203   270588   912349 | 2147483647    87278     38 |  0.012 % |
38.97/39.01	c |     87888 |   17203   270588   912349 | 2147483647    87875     38 |  0.012 % |
39.07/39.15	c |     88543 |   17203   270588   912349 | 2147483647    88530     38 |  0.012 % |
39.36/39.46	c |     89263 |   17203   270588   912349 | 2147483647    89250     38 |  0.012 % |
39.76/39.85	c |     90055 |   17203   270588   912349 | 2147483647    90042     38 |  0.012 % |
40.36/40.40	c |     90926 |   17203   270588   912349 | 2147483647    90913     38 |  0.012 % |
40.96/41.07	c |     91885 |   17203   270588   912349 | 2147483647    91872     39 |  0.012 % |
41.67/41.76	c |     92940 |   17203   270588   912349 | 2147483647    92927     39 |  0.012 % |
41.77/41.84	c |     93044 |   17203   270588   912349 | 2147483647    93031     39 |  0.012 % |
41.87/41.93	c |     93155 |   17203   270588   912349 | 2147483647    93142     39 |  0.012 % |
41.87/41.99	c |     93276 |   17203   270588   912349 | 2147483647    93263     39 |  0.013 % |
41.97/42.06	c |     93409 |   17203   270588   912349 | 2147483647    93396     39 |  0.012 % |
42.07/42.18	c |     93556 |   17203   270588   912349 | 2147483647    93543     39 |  0.012 % |
42.27/42.33	c |     93717 |   17203   270588   912349 | 2147483647    93704     39 |  0.012 % |
42.37/42.42	c |     93895 |   17203   270588   912349 | 2147483647    93882     39 |  0.012 % |
42.47/42.53	c |     94088 |   17203   270588   912349 | 2147483647    94075     39 |  0.012 % |
42.57/42.68	c |     94300 |   17203   270588   912349 | 2147483647    94287     39 |  0.012 % |
42.77/42.88	c |     94534 |   17203   270588   912349 | 2147483647    94521     39 |  0.012 % |
42.97/43.07	c |     94790 |   17203   270588   912349 | 2147483647    94777     40 |  0.012 % |
43.17/43.25	c |     95072 |   17203   270588   912349 | 2147483647    95059     40 |  0.012 % |
43.37/43.44	c |     95381 |   17203   270588   912349 | 2147483647    95368     40 |  0.012 % |
43.47/43.54	c |     95720 |   17203   270588   912349 | 2147483647    95707     40 |  0.012 % |
43.67/43.71	c |     96092 |   17203   270588   912349 | 2147483647    96079     40 |  0.012 % |
43.87/43.98	c |     96501 |   17203   270588   912349 | 2147483647    96488     40 |  0.012 % |
44.16/44.20	c |     96951 |   17203   270588   912349 | 2147483647    96938     40 |  0.012 % |
44.46/44.55	c |     97444 |   17203   270588   912349 | 2147483647    97431     40 |  0.012 % |
44.86/44.94	c |     97988 |   17203   270588   912349 | 2147483647    97975     40 |  0.012 % |
45.16/45.25	c |     98584 |   17203   270588   912349 | 2147483647    98571     40 |  0.013 % |
45.76/45.84	c |     99240 |   17203   270588   912349 | 2147483647    99227     40 |  0.012 % |
46.17/46.25	c |     99961 |   17203   270588   912349 | 2147483647    99948     40 |  0.012 % |
46.66/46.76	c |    100753 |   17203   270588   912349 | 2147483647   100740     40 |  0.012 % |
47.36/47.42	c |    101625 |   17203   270588   912349 | 2147483647   101612     40 |  0.012 % |
47.97/48.03	c |    102584 |   17203   270588   912349 | 2147483647   102571     41 |  0.012 % |
48.57/48.69	c |    103637 |   17203   270588   912349 | 2147483647   103624     41 |  0.012 % |
49.27/49.37	c |    104796 |   17203   270588   912349 | 2147483647   104783     41 |  0.012 % |
49.37/49.47	c |    104896 |   17203   270588   912349 | 2147483647   104883     41 |  0.012 % |
49.47/49.50	c |    105007 |   17203   270588   912349 | 2147483647   104994     41 |  0.012 % |
49.47/49.59	c |    105129 |   17203   270588   912349 | 2147483647   105116     41 |  0.012 % |
49.67/49.74	c |    105263 |   17203   270588   912349 | 2147483647   105250     41 |  0.012 % |
49.77/49.84	c |    105410 |   17203   270588   912349 | 2147483647   105397     41 |  0.012 % |
49.87/49.94	c |    105570 |   17203   270588   912349 | 2147483647   105557     41 |  0.012 % |
50.07/50.12	c |    105746 |   17203   270588   912349 | 2147483647   105733     41 |  0.012 % |
50.17/50.29	c |    105940 |   17203   270588   912349 | 2147483647   105927     41 |  0.012 % |
50.37/50.40	c |    106153 |   17203   270588   912349 | 2147483647   106140     41 |  0.012 % |
50.57/50.60	c |    106386 |   17203   270588   912349 | 2147483647   106373     41 |  0.012 % |
50.67/50.74	c |    106642 |   17203   270588   912349 | 2147483647   106629     41 |  0.012 % |
50.87/50.96	c |    106923 |   17203   270588   912349 | 2147483647   106910     41 |  0.012 % |
51.07/51.11	c |    107232 |   17203   270588   912349 | 2147483647   107219     41 |  0.013 % |
51.37/51.45	c |    107571 |   17203   270588   912349 | 2147483647   107558     41 |  0.012 % |
51.67/51.76	c |    107943 |   17203   270588   912349 | 2147483647   107930     42 |  0.012 % |
51.97/52.01	c |    108353 |   17203   270588   912349 | 2147483647   108340     42 |  0.012 % |
52.27/52.36	c |    108802 |   17203   270588   912349 | 2147483647   108789     42 |  0.012 % |
52.67/52.73	c |    109295 |   17203   270588   912349 | 2147483647   109282     42 |  0.012 % |
53.16/53.21	c |    109838 |   17203   270588   912349 | 2147483647   109825     42 |  0.012 % |
53.66/53.73	c |    110434 |   17203   270588   912349 | 2147483647   110421     42 |  0.012 % |
54.06/54.14	c |    111090 |   17203   270588   912349 | 2147483647   111077     42 |  0.012 % |
54.46/54.54	c |    111811 |   17203   270588   912349 | 2147483647   111798     42 |  0.012 % |
55.26/55.37	c |    112603 |   17203   270588   912349 | 2147483647   112590     42 |  0.013 % |
56.06/56.13	c |    113476 |   17203   270588   912349 | 2147483647   113463     43 |  0.012 % |
56.66/56.72	c |    114434 |   17203   270588   912349 | 2147483647   114421     43 |  0.012 % |
57.36/57.44	c |    115487 |   17203   270588   912349 | 2147483647   115474     43 |  0.012 % |
58.36/58.47	c |    116645 |   17203   270588   912349 | 2147483647   116632     43 |  0.012 % |
59.06/59.15	c |    117918 |   17203   270588   912349 | 2147483647   117905     43 |  0.012 % |
59.16/59.22	c |    118019 |   17203   270588   912349 | 2147483647   118006     43 |  0.012 % |
59.27/59.34	c |    118129 |   17203   270588   912349 | 2147483647   118116     43 |  0.012 % |
59.37/59.42	c |    118250 |   17203   270588   912349 | 2147483647   118237     43 |  0.012 % |
59.46/59.54	c |    118383 |   17203   270588   912349 | 2147483647   118370     43 |  0.012 % |
59.56/59.64	c |    118530 |   17203   270588   912349 | 2147483647   118517     43 |  0.012 % |
59.66/59.79	c |    118692 |   17203   270588   912349 | 2147483647   118679     43 |  0.012 % |
59.86/59.93	c |    118873 |   17203   270588   912349 | 2147483647   118860     43 |  0.012 % |
59.96/60.05	c |    119066 |   17203   270588   912349 | 2147483647   119053     43 |  0.012 % |
60.06/60.18	c |    119279 |   17203   270588   912349 | 2147483647   119266     43 |  0.012 % |
60.26/60.35	c |    119514 |   17203   270588   912349 | 2147483647   119501     43 |  0.012 % |
60.37/60.49	c |    119773 |   17203   270588   912349 | 2147483647   119760     43 |  0.012 % |
60.66/60.76	c |    120054 |   17203   270588   912349 | 2147483647   120041     43 |  0.012 % |
60.76/60.88	c |    120363 |   17203   270588   912349 | 2147483647   120350     43 |  0.012 % |
60.86/60.98	c |    120702 |   17203   270588   912349 | 2147483647   120689     43 |  0.012 % |
61.16/61.26	c |    121074 |   17203   270588   912349 | 2147483647   121061     43 |  0.012 % |
61.36/61.45	c |    121483 |   17203   270588   912349 | 2147483647   121470     43 |  0.012 % |
61.66/61.77	c |    121932 |   17203   270588   912349 | 2147483647   121919     43 |  0.012 % |
61.96/62.05	c |    122425 |   17203   270588   912349 | 2147483647   122412     43 |  0.012 % |
62.36/62.41	c |    122967 |   17203   270588   912349 | 2147483647   122954     43 |  0.012 % |
62.86/62.91	c |    123563 |   17203   270588   912349 | 2147483647   123550     43 |  0.012 % |
63.26/63.33	c |    124221 |   17203   270588   912349 | 2147483647   124208     43 |  0.012 % |
63.56/63.67	c |    124941 |   17203   270588   912349 | 2147483647   124928     43 |  0.013 % |
64.26/64.32	c |    125733 |   17203   270588   912349 | 2147483647   125720     43 |  0.012 % |
64.76/64.88	c |    126604 |   17203   270588   912349 | 2147483647   126591     43 |  0.012 % |
65.46/65.58	c |    127563 |   17203   270588   912349 | 2147483647   127550     44 |  0.013 % |
66.26/66.37	c |    128616 |   17203   270588   912349 | 2147483647   128603     44 |  0.012 % |
66.76/66.82	c |    129774 |   17203   270588   912349 | 2147483647   129761     44 |  0.012 % |
67.46/67.57	c |    131048 |   17203   270588   912349 | 2147483647   131035     44 |  0.012 % |
68.96/69.03	c |    132451 |   17203   270588   912349 | 2147483647   132438     45 |  0.012 % |
69.06/69.10	c |    132551 |   17203   270588   912349 | 2147483647   132538     45 |  0.012 % |
69.16/69.25	c |    132662 |   17203   270588   912349 | 2147483647   132649     45 |  0.012 % |
69.26/69.37	c |    132783 |   17203   270588   912349 | 2147483647   132770     45 |  0.012 % |
69.46/69.51	c |    132916 |   17203   270588   912349 | 2147483647   132903     45 |  0.012 % |
69.56/69.64	c |    133063 |   17203   270588   912349 | 2147483647   133050     45 |  0.012 % |
69.76/69.81	c |    133223 |   17203   270588   912349 | 2147483647   133210     45 |  0.012 % |
69.86/69.98	c |    133400 |   17203   270588   912349 | 2147483647   133387     45 |  0.012 % |
70.16/70.24	c |    133596 |   17203   270588   912349 | 2147483647   133583     45 |  0.012 % |
70.36/70.43	c |    133808 |   17203   270588   912349 | 2147483647   133795     45 |  0.012 % |
70.56/70.65	c |    134041 |   17203   270588   912349 | 2147483647   134028     45 |  0.012 % |
70.76/70.82	c |    134297 |   17203   270588   912349 | 2147483647   134284     45 |  0.012 % |
71.06/71.14	c |    134578 |   17203   270588   912349 | 2147483647   134565     45 |  0.012 % |
71.36/71.46	c |    134889 |   17203   270588   912349 | 2147483647   134876     45 |  0.012 % |
71.56/71.67	c |    135228 |   17203   270588   912349 | 2147483647   135215     45 |  0.012 % |
71.76/71.86	c |    135600 |   17203   270588   912349 | 2147483647   135587     45 |  0.012 % |
72.16/72.21	c |    136009 |   17203   270588   912349 | 2147483647   135996     45 |  0.012 % |
72.56/72.61	c |    136458 |   17203   270588   912349 | 2147483647   136445     45 |  0.012 % |
72.86/72.90	c |    136951 |   17203   270588   912349 | 2147483647   136938     45 |  0.012 % |
73.26/73.31	c |    137494 |   17203   270588   912349 | 2147483647   137481     45 |  0.012 % |
73.76/73.88	c |    138090 |   17203   270588   912349 | 2147483647   138077     45 |  0.012 % |
74.06/74.19	c |    138745 |   17203   270588   912349 | 2147483647   138732     45 |  0.012 % |
74.56/74.67	c |    139469 |   17203   270588   912349 | 2147483647   139456     45 |  0.012 % |
75.05/75.12	c |    140261 |   17203   270588   912349 | 2147483647   140248     45 |  0.012 % |
75.55/75.64	c |    141133 |   17203   270588   912349 | 2147483647   141120     45 |  0.012 % |
76.35/76.40	c |    142091 |   17203   270588   912349 | 2147483647   142078     45 |  0.012 % |
77.46/77.51	c |    143144 |   17203   270588   912349 | 2147483647   143131     45 |  0.012 % |
78.36/78.48	c |    144302 |   17203   270588   912349 | 2147483647   144289     45 |  0.012 % |
79.76/79.81	c |    145575 |   17203   270588   912349 | 2147483647   145562     46 |  0.013 % |
81.26/81.34	c |    146976 |   17203   270588   912349 | 2147483647   146963     46 |  0.012 % |
83.06/83.14	c |    148516 |   17203   270588   912349 | 2147483647   148503     47 |  0.012 % |
83.16/83.24	c |    148622 |   17203   270588   912349 | 2147483647   148609     47 |  0.012 % |
83.26/83.37	c |    148733 |   17203   270588   912349 | 2147483647   148720     47 |  0.012 % |
83.36/83.50	c |    148854 |   17203   270588   912349 | 2147483647   148841     47 |  0.012 % |
83.46/83.58	c |    148987 |   17203   270588   912349 | 2147483647   148974     47 |  0.012 % |
83.66/83.76	c |    149133 |   17203   270588   912349 | 2147483647   149120     47 |  0.012 % |
83.76/83.89	c |    149298 |   17203   270588   912349 | 2147483647   149285     47 |  0.012 % |
83.95/84.02	c |    149474 |   17203   270588   912349 | 2147483647   149461     47 |  0.012 % |
84.15/84.20	c |    149667 |   17203   270588   912349 | 2147483647   149654     47 |  0.012 % |
84.25/84.38	c |    149880 |   17203   270588   912349 | 2147483647   149867     47 |  0.012 % |
84.56/84.63	c |    150113 |   17203   270588   912349 | 2147483647   150100     47 |  0.012 % |
84.75/84.89	c |    150369 |   17203   270588   912349 | 2147483647   150356     47 |  0.012 % |
84.95/85.07	c |    150655 |   17203   270588   912349 | 2147483647   150642     47 |  0.012 % |
85.35/85.44	c |    150964 |   17203   270588   912349 | 2147483647   150951     47 |  0.012 % |
85.66/85.77	c |    151303 |   17203   270588   912349 | 2147483647   151290     47 |  0.012 % |
85.95/86.06	c |    151679 |   17203   270588   912349 | 2147483647   151666     47 |  0.012 % |
86.15/86.28	c |    152088 |   17203   270588   912349 | 2147483647   152075     47 |  0.012 % |
86.65/86.74	c |    152537 |   17203   270588   912349 | 2147483647   152524     47 |  0.012 % |
87.05/87.19	c |    153031 |   17203   270588   912349 | 2147483647   153018     47 |  0.012 % |
87.66/87.72	c |    153575 |   17203   270588   912349 | 2147483647   153562     47 |  0.012 % |
88.16/88.25	c |    154171 |   17203   270588   912349 | 2147483647   154158     47 |  0.012 % |
88.66/88.79	c |    154826 |   17203   270588   912349 | 2147483647   154813     47 |  0.012 % |
89.26/89.39	c |    155548 |   17203   270588   912349 | 2147483647   155535     47 |  0.012 % |
90.06/90.17	c |    156340 |   17203   270588   912349 | 2147483647   156327     47 |  0.012 % |
90.85/90.97	c |    157211 |   17203   270588   912349 | 2147483647   157198     47 |  0.012 % |
91.75/91.81	c |    158169 |   17203   270588   912349 | 2147483647   158156     48 |  0.012 % |
92.65/92.79	c |    159223 |   17203   270588   912349 | 2147483647   159210     48 |  0.012 % |
93.65/93.77	c |    160381 |   17203   270588   912349 | 2147483647   160368     48 |  0.012 % |
94.85/94.90	c |    161654 |   17203   270588   912349 | 2147483647   161641     48 |  0.012 % |
95.85/95.91	c |    163054 |   17203   270588   912349 | 2147483647   163041     48 |  0.012 % |
97.35/97.44	c |    164596 |   17203   270588   912349 | 2147483647   164583     49 |  0.012 % |
98.65/98.79	c |    166291 |   17203   270588   912349 | 2147483647   166278     49 |  0.012 % |
98.75/98.88	c |    166391 |   17203   270588   912349 | 2147483647   166378     49 |  0.012 % |
98.96/99.02	c |    166504 |   17203   270588   912349 | 2147483647   166491     49 |  0.013 % |
99.05/99.16	c |    166625 |   17203   270588   912349 | 2147483647   166612     49 |  0.012 % |
99.25/99.31	c |    166758 |   17203   270588   912349 | 2147483647   166745     49 |  0.012 % |
99.35/99.42	c |    166905 |   17203   270588   912349 | 2147483647   166892     49 |  0.012 % |
99.45/99.56	c |    167065 |   17203   270588   912349 | 2147483647   167052     49 |  0.012 % |
99.65/99.74	c |    167241 |   17203   270588   912349 | 2147483647   167228     49 |  0.012 % |
99.85/99.90	c |    167434 |   17203   270588   912349 | 2147483647   167421     49 |  0.012 % |
99.85/99.99	c |    167647 |   17203   270588   912349 | 2147483647   167634     49 |  0.012 % |
99.95/100.05	c |    167880 |   17203   270588   912349 | 2147483647   167867     49 |  0.012 % |
100.25/100.39	c |    168136 |   17203   270588   912349 | 2147483647   168123     49 |  0.012 % |
100.55/100.67	c |    168417 |   17203   270588   912349 | 2147483647   168404     49 |  0.012 % |
100.75/100.85	c |    168726 |   17203   270588   912349 | 2147483647   168713     49 |  0.012 % |
101.15/101.28	c |    169066 |   17203   270588   912349 | 2147483647   169053     49 |  0.012 % |
101.65/101.75	c |    169438 |   17203   270588   912349 | 2147483647   169425     49 |  0.012 % |
102.05/102.12	c |    169849 |   17203   270588   912349 | 2147483647   169836     49 |  0.012 % |
102.55/102.61	c |    170299 |   17203   270588   912349 | 2147483647   170286     49 |  0.012 % |
102.95/103.07	c |    170792 |   17203   270588   912349 | 2147483647   170779     49 |  0.012 % |
103.75/103.83	c |    171334 |   17203   270588   912349 | 2147483647   171321     49 |  0.012 % |
104.25/104.35	c |    171930 |   17203   270588   912349 | 2147483647   171917     49 |  0.012 % |
104.95/105.04	c |    172585 |   17203   270588   912349 | 2147483647   172572     49 |  0.012 % |
105.65/105.70	c |    173305 |   17203   270588   912349 | 2147483647   173292     49 |  0.012 % |
106.35/106.45	c |    174097 |   17203   270588   912349 | 2147483647   174084     50 |  0.012 % |
107.25/107.34	c |    174969 |   17203   270588   912349 | 2147483647   174956     50 |  0.012 % |
107.95/108.06	c |    175927 |   17203   270588   912349 | 2147483647   175914     50 |  0.012 % |
108.95/109.08	c |    176983 |   17203   270588   912349 | 2147483647   176970     50 |  0.012 % |
110.85/110.96	c |    178141 |   17203   270588   912349 | 2147483647   178128     50 |  0.012 % |
112.45/112.58	c |    179417 |   17203   270588   912349 | 2147483647   179404     50 |  0.012 % |
113.45/113.53	c |    180817 |   17203   270588   912349 | 2147483647   180804     50 |  0.012 % |
114.45/114.53	c |    182357 |   17203   270588   912349 | 2147483647   182344     50 |  0.012 % |
115.75/115.85	c |    184052 |   17203   270588   912349 | 2147483647   184039     50 |  0.012 % |
117.24/117.31	c |    185917 |   17203   270588   912349 | 2147483647   185904     50 |  0.012 % |
117.34/117.46	c |    186018 |   17203   270588   912349 | 2147483647   186005     50 |  0.012 % |
117.44/117.57	c |    186128 |   17203   270588   912349 | 2147483647   186115     50 |  0.012 % |
117.55/117.68	c |    186250 |   17203   270588   912349 | 2147483647   186237     50 |  0.012 % |
117.74/117.81	c |    186384 |   17203   270588   912349 | 2147483647   186371     50 |  0.012 % |
117.84/117.93	c |    186531 |   17203   270588   912349 | 2147483647   186518     50 |  0.012 % |
118.04/118.14	c |    186693 |   17203   270588   912349 | 2147483647   186680     50 |  0.012 % |
118.24/118.37	c |    186870 |   17203   270588   912349 | 2147483647   186857     50 |  0.012 % |
118.54/118.60	c |    187064 |   17203   270588   912349 | 2147483647   187051     50 |  0.012 % |
118.75/118.84	c |    187280 |   17203   270588   912349 | 2147483647   187267     50 |  0.012 % |
119.05/119.12	c |    187513 |   17203   270588   912349 | 2147483647   187500     50 |  0.012 % |
119.25/119.37	c |    187770 |   17203   270588   912349 | 2147483647   187757     50 |  0.012 % |
119.55/119.64	c |    188051 |   17203   270588   912349 | 2147483647   188038     50 |  0.012 % |
120.05/120.14	c |    188361 |   17203   270588   912349 | 2147483647   188348     50 |  0.012 % |
120.35/120.49	c |    188700 |   17203   270588   912349 | 2147483647   188687     50 |  0.012 % |
120.75/120.86	c |    189072 |   17203   270588   912349 | 2147483647   189059     50 |  0.012 % |
121.15/121.23	c |    189481 |   17203   270588   912349 | 2147483647   189468     50 |  0.012 % |
121.55/121.67	c |    189930 |   17203   270588   912349 | 2147483647   189917     50 |  0.012 % |
122.15/122.24	c |    190423 |   17203   270588   912349 | 2147483647   190410     50 |  0.012 % |
122.65/122.70	c |    190965 |   17203   270588   912349 | 2147483647   190952     51 |  0.012 % |
123.15/123.29	c |    191561 |   17203   270588   912349 | 2147483647   191548     50 |  0.012 % |
123.74/123.85	c |    192217 |   17203   270588   912349 | 2147483647   192204     50 |  0.012 % |
124.54/124.62	c |    192937 |   17203   270588   912349 | 2147483647   192924     51 |  0.012 % |
125.04/125.19	c |    193730 |   17203   270588   912349 | 2147483647   193717     50 |  0.012 % |
126.24/126.38	c |    194601 |   17203   270588   912349 | 2147483647   194588     51 |  0.013 % |
127.55/127.61	c |    195562 |   17203   270588   912349 | 2147483647   195549     51 |  0.012 % |
129.05/129.14	c |    196615 |   17203   270588   912349 | 2147483647   196602     51 |  0.012 % |
130.75/130.83	c |    197774 |   17203   270588   912349 | 2147483647   197761     51 |  0.012 % |
132.15/132.22	c |    199050 |   17203   270588   912349 | 2147483647   199037     51 |  0.012 % |
133.94/134.07	c |    200450 |   17203   270588   912349 | 2147483647   200437     51 |  0.012 % |
135.64/135.74	c |    201990 |   17203   270588   912349 | 2147483647   201977     52 |  0.012 % |
137.94/138.08	c |    203684 |   17203   270588   912349 | 2147483647   203671     52 |  0.012 % |
140.14/140.28	c |    205548 |   17203   270588   912349 | 2147483647   205535     52 |  0.012 % |
142.85/142.96	c |    207599 |   17203   270588   912349 | 2147483647   207586     53 |  0.012 % |
142.95/143.08	c |    207699 |   17203   270588   912349 | 2147483647   207686     53 |  0.012 % |
143.04/143.19	c |    207809 |   17203   270588   912349 | 2147483647   207796     53 |  0.012 % |
143.24/143.37	c |    207935 |   17203   270588   912349 | 2147483647   207922     53 |  0.012 % |
143.34/143.48	c |    208068 |   17203   270588   912349 | 2147483647   208055     53 |  0.012 % |
143.64/143.73	c |    208214 |   17203   270588   912349 | 2147483647   208201     53 |  0.012 % |
143.84/143.95	c |    208375 |   17203   270588   912349 | 2147483647   208362     53 |  0.012 % |
144.04/144.11	c |    208552 |   17203   270588   912349 | 2147483647   208539     53 |  0.012 % |
144.24/144.33	c |    208745 |   17203   270588   912349 | 2147483647   208732     53 |  0.012 % |
144.54/144.62	c |    208957 |   17203   270588   912349 | 2147483647   208944     53 |  0.012 % |
144.74/144.84	c |    209194 |   17203   270588   912349 | 2147483647   209181     53 |  0.012 % |
145.14/145.21	c |    209451 |   17203   270588   912349 | 2147483647   209438     53 |  0.012 % |
145.44/145.57	c |    209732 |   17203   270588   912349 | 2147483647   209719     53 |  0.012 % |
145.84/145.94	c |    210041 |   17203   270588   912349 | 2147483647   210028     53 |  0.012 % |
146.34/146.46	c |    210381 |   17203   270588   912349 | 2147483647   210368     53 |  0.012 % |
146.84/146.90	c |    210754 |   17203   270588   912349 | 2147483647   210741     53 |  0.012 % |
147.14/147.21	c |    211165 |   17203   270588   912349 | 2147483647   211152     53 |  0.012 % |
147.63/147.71	c |    211615 |   17203   270588   912349 | 2147483647   211602     53 |  0.012 % |
148.13/148.23	c |    212108 |   17203   270588   912349 | 2147483647   212095     53 |  0.012 % |
148.53/148.69	c |    212651 |   17203   270588   912349 | 2147483647   212638     53 |  0.012 % |
149.34/149.45	c |    213248 |   17203   270588   912349 | 2147483647   213235     53 |  0.012 % |
150.44/150.52	c |    213909 |   17203   270588   912349 | 2147483647   213896     53 |  0.012 % |
151.44/151.52	c |    214629 |   17203   270588   912349 | 2147483647   214616     53 |  0.012 % |
152.44/152.50	c |    215423 |   17203   270588   912349 | 2147483647   215410     53 |  0.012 % |
153.54/153.69	c |    216294 |   17203   270588   912349 | 2147483647   216281     53 |  0.012 % |
154.34/154.49	c |    217253 |   17203   270588   912349 | 2147483647   217240     53 |  0.012 % |
155.74/155.89	c |    218308 |   17203   270588   912349 | 2147483647   218295     53 |  0.012 % |
156.93/157.06	c |    219468 |   17203   270588   912349 | 2147483647   219455     53 |  0.012 % |
158.34/158.48	c |    220741 |   17203   270588   912349 | 2147483647   220728     53 |  0.013 % |
160.73/160.82	c |    222141 |   17203   270588   912349 | 2147483647   222128     54 |  0.013 % |
163.03/163.13	c |    223683 |   17203   270588   912349 | 2147483647   223670     54 |  0.012 % |
165.53/165.70	c |    225377 |   17203   270588   912349 | 2147483647   225364     54 |  0.012 % |
168.53/168.64	c |    227242 |   17203   270588   912349 | 2147483647   227229     54 |  0.012 % |
171.53/171.61	c |    229291 |   17203   270588   912349 | 2147483647   229278     54 |  0.012 % |
174.23/174.34	c |    231544 |   17203   270588   912349 | 2147483647   231531     55 |  0.012 % |
174.43/174.59	c |    231644 |   17203   270588   912349 | 2147483647   231631     55 |  0.012 % |
174.63/174.76	c |    231755 |   17203   270588   912349 | 2147483647   231742     55 |  0.012 % |
174.84/174.92	c |    231876 |   17203   270588   912349 | 2147483647   231863     55 |  0.012 % |
175.03/175.17	c |    232010 |   17203   270588   912349 | 2147483647   231997     55 |  0.012 % |
175.34/175.44	c |    232157 |   17203   270588   912349 | 2147483647   232144     55 |  0.012 % |
175.54/175.68	c |    232317 |   17203   270588   912349 | 2147483647   232304     55 |  0.013 % |
175.84/175.92	c |    232494 |   17203   270588   912349 | 2147483647   232481     55 |  0.012 % |
176.14/176.26	c |    232687 |   17203   270588   912349 | 2147483647   232674     55 |  0.012 % |
176.44/176.55	c |    232906 |   17203   270588   912349 | 2147483647   232893     55 |  0.012 % |
176.73/176.82	c |    233141 |   17203   270588   912349 | 2147483647   233128     55 |  0.012 % |
177.04/177.13	c |    233400 |   17203   270588   912349 | 2147483647   233387     55 |  0.012 % |
177.53/177.61	c |    233681 |   17203   270588   912349 | 2147483647   233668     55 |  0.013 % |
177.83/177.98	c |    233991 |   17203   270588   912349 | 2147483647   233978     55 |  0.012 % |
178.14/178.28	c |    234331 |   17203   270588   912349 | 2147483647   234318     55 |  0.012 % |
178.73/178.86	c |    234703 |   17203   270588   912349 | 2147483647   234690     55 |  0.012 % |
179.13/179.26	c |    235113 |   17203   270588   912349 | 2147483647   235100     55 |  0.013 % |
179.63/179.72	c |    235563 |   17203   270588   912349 | 2147483647   235550     55 |  0.013 % |
180.23/180.37	c |    236056 |   17203   270588   912349 | 2147483647   236043     55 |  0.012 % |
181.23/181.31	c |    236598 |   17203   270588   912349 | 2147483647   236585     55 |  0.012 % |
182.13/182.23	c |    237194 |   17203   270588   912349 | 2147483647   237181     55 |  0.012 % |
183.13/183.25	c |    237849 |   17203   270588   912349 | 2147483647   237836     55 |  0.012 % |
184.23/184.34	c |    238570 |   17203   270588   912349 | 2147483647   238557     55 |  0.012 % |
185.23/185.36	c |    239362 |   17203   270588   912349 | 2147483647   239349     55 |  0.012 % |
186.52/186.68	c |    240234 |   17203   270588   912349 | 2147483647   240221     55 |  0.012 % |
187.72/187.86	c |    241193 |   17203   270588   912349 | 2147483647   241180     55 |  0.012 % |
189.32/189.41	c |    242246 |   17203   270588   912349 | 2147483647   242233     56 |  0.012 % |
190.73/190.84	c |    243407 |   17203   270588   912349 | 2147483647   243394     56 |  0.012 % |
192.83/192.99	c |    244680 |   17203   270588   912349 | 2147483647   244667     56 |  0.012 % |
194.72/194.89	c |    246081 |   17203   270588   912349 | 2147483647   246068     56 |  0.012 % |
197.52/197.63	c |    247621 |   17203   270588   912349 | 2147483647   247608     56 |  0.012 % |
200.42/200.58	c |    249316 |   17203   270588   912349 | 2147483647   249303     56 |  0.012 % |
203.43/203.53	c |    251181 |   17203   270588   912349 | 2147483647   251168     57 |  0.012 % |
206.82/206.90	c |    253230 |   17203   270588   912349 | 2147483647   253217     57 |  0.012 % |
209.82/209.94	c |    255483 |   17203   270588   912349 | 2147483647   255470     57 |  0.012 % |
213.02/213.12	c |    257961 |   17203   270588   912349 | 2147483647   257948     57 |  0.012 % |
213.12/213.22	c |    258062 |   17203   270588   912349 | 2147483647   258049     57 |  0.012 % |
213.33/213.41	c |    258173 |   17203   270588   912349 | 2147483647   258160     57 |  0.012 % |
213.42/213.58	c |    258297 |   17203   270588   912349 | 2147483647   258284     57 |  0.012 % |
213.62/213.71	c |    258430 |   17203   270588   912349 | 2147483647   258417     57 |  0.012 % |
213.82/213.96	c |    258576 |   17203   270588   912349 | 2147483647   258563     57 |  0.012 % |
214.02/214.17	c |    258738 |   17203   270588   912349 | 2147483647   258725     57 |  0.012 % |
214.22/214.37	c |    258915 |   17203   270588   912349 | 2147483647   258902     57 |  0.012 % |
214.52/214.65	c |    259108 |   17203   270588   912349 | 2147483647   259095     57 |  0.012 % |
214.82/214.98	c |    259322 |   17203   270588   912349 | 2147483647   259309     57 |  0.012 % |
215.12/215.27	c |    259555 |   17203   270588   912349 | 2147483647   259542     57 |  0.012 % |
215.72/215.80	c |    259812 |   17203   270588   912349 | 2147483647   259799     57 |  0.012 % |
216.22/216.30	c |    260093 |   17203   270588   912349 | 2147483647   260080     58 |  0.012 % |
216.52/216.62	c |    260402 |   17203   270588   912349 | 2147483647   260389     58 |  0.012 % |
217.02/217.18	c |    260741 |   17203   270588   912349 | 2147483647   260728     58 |  0.012 % |
217.62/217.75	c |    261113 |   17203   270588   912349 | 2147483647   261100     58 |  0.012 % |
218.22/218.32	c |    261524 |   17203   270588   912349 | 2147483647   261511     58 |  0.012 % |
219.12/219.21	c |    261974 |   17203   270588   912349 | 2147483647   261961     58 |  0.012 % |
219.71/219.81	c |    262468 |   17203   270588   912349 | 2147483647   262455     58 |  0.012 % |
220.51/220.68	c |    263010 |   17203   270588   912349 | 2147483647   262997     58 |  0.013 % |
221.41/221.57	c |    263606 |   17203   270588   912349 | 2147483647   263593     58 |  0.012 % |
222.21/222.33	c |    264261 |   17203   270588   912349 | 2147483647   264248     58 |  0.012 % |
223.13/223.28	c |    264981 |   17203   270588   912349 | 2147483647   264968     58 |  0.012 % |
224.12/224.29	c |    265774 |   17203   270588   912349 | 2147483647   265761     58 |  0.012 % |
225.42/225.50	c |    266645 |   17203   270588   912349 | 2147483647   266632     58 |  0.012 % |
226.42/226.51	c |    267603 |   17203   270588   912349 | 2147483647   267590     58 |  0.012 % |
227.62/227.74	c |    268659 |   17203   270588   912349 | 2147483647   268646     58 |  0.012 % |
229.11/229.22	c |    269817 |   17203   270588   912349 | 2147483647   269804     58 |  0.012 % |
230.61/230.79	c |    271090 |   17203   270588   912349 | 2147483647   271077     58 |  0.012 % |
233.51/233.65	c |    272490 |   17203   270588   912349 | 2147483647   272477     58 |  0.012 % |
236.02/236.11	c |    274034 |   17203   270588   912349 | 2147483647   274021     58 |  0.012 % |
238.72/238.87	c |    275730 |   17203   270588   912349 | 2147483647   275717     59 |  0.012 % |
242.01/242.19	c |    277593 |   17203   270588   912349 | 2147483647   277580     59 |  0.012 % |
244.82/244.90	c |    279643 |   17203   270588   912349 | 2147483647   279630     59 |  0.012 % |
248.61/248.79	c |    281896 |   17203   270588   912349 | 2147483647   281883     59 |  0.012 % |
252.61/252.70	c |    284376 |   17203   270588   912349 | 2147483647   284363     59 |  0.012 % |
256.11/256.22	c |    287101 |   17203   270588   912349 | 2147483647   287088     59 |  0.012 % |
256.11/256.29	c |    287203 |   17203   270588   912349 | 2147483647   287190     59 |  0.012 % |
256.51/256.62	c |    287313 |   17203   270588   912349 | 2147483647   287300     59 |  0.012 % |
256.61/256.77	c |    287434 |   17203   270588   912349 | 2147483647   287421     59 |  0.012 % |
256.91/257.01	c |    287569 |   17203   270588   912349 | 2147483647   287556     59 |  0.012 % |
257.11/257.29	c |    287717 |   17203   270588   912349 | 2147483647   287704     59 |  0.012 % |
257.31/257.50	c |    287877 |   17203   270588   912349 | 2147483647   287864     59 |  0.012 % |
257.71/257.86	c |    288058 |   17203   270588   912349 | 2147483647   288045     59 |  0.012 % |
258.11/258.23	c |    288251 |   17203   270588   912349 | 2147483647   288238     59 |  0.012 % |
258.42/258.59	c |    288463 |   17203   270588   912349 | 2147483647   288450     59 |  0.012 % |
258.81/258.91	c |    288696 |   17203   270588   912349 | 2147483647   288683     59 |  0.012 % |
259.31/259.45	c |    288952 |   17203   270588   912349 | 2147483647   288939     59 |  0.013 % |
259.71/259.81	c |    289234 |   17203   270588   912349 | 2147483647   289221     59 |  0.012 % |
260.21/260.39	c |    289547 |   17203   270588   912349 | 2147483647   289534     59 |  0.013 % |
260.61/260.72	c |    289890 |   17203   270588   912349 | 2147483647   289877     59 |  0.012 % |
261.01/261.12	c |    290262 |   17203   270588   912349 | 2147483647   290249     59 |  0.012 % |
261.81/261.96	c |    290672 |   17203   270588   912349 | 2147483647   290659     59 |  0.012 % |
262.11/262.28	c |    291123 |   17203   270588   912349 | 2147483647   291110     59 |  0.012 % |
262.91/263.08	c |    291616 |   17203   270588   912349 | 2147483647   291603     59 |  0.012 % |
263.71/263.89	c |    292158 |   17203   270588   912349 | 2147483647   292145     59 |  0.012 % |
264.41/264.55	c |    292754 |   17203   270588   912349 | 2147483647   292741     59 |  0.012 % |
265.50/265.63	c |    293409 |   17203   270588   912349 | 2147483647   293396     59 |  0.012 % |
266.70/266.80	c |    294129 |   17203   270588   912349 | 2147483647   294116     59 |  0.012 % |
267.70/267.80	c |    294921 |   17203   270588   912349 | 2147483647   294908     59 |  0.012 % |
268.80/268.92	c |    295793 |   17203   270588   912349 | 2147483647   295780     59 |  0.012 % |
269.90/270.09	c |    296753 |   17203   270588   912349 | 2147483647   296740     59 |  0.012 % |
271.50/271.62	c |    297809 |   17203   270588   912349 | 2147483647   297796     59 |  0.012 % |
273.21/273.38	c |    298967 |   17203   270588   912349 | 2147483647   298954     60 |  0.012 % |
275.21/275.39	c |    300241 |   17203   270588   912349 | 2147483647   300228     60 |  0.012 % |
277.50/277.68	c |    301643 |   17203   270588   912349 | 2147483647   301630     60 |  0.012 % |
280.50/280.66	c |    303186 |   17203   270588   912349 | 2147483647   303173     60 |  0.012 % |
283.20/283.33	c |    304882 |   17203   270588   912349 | 2147483647   304869     60 |  0.012 % |
285.80/285.94	c |    306745 |   17203   270588   912349 | 2147483647   306732     60 |  0.012 % |
289.50/289.67	c |    308798 |   17203   270588   912349 | 2147483647   308785     60 |  0.012 % |
293.80/293.97	c |    311051 |   17203   270588   912349 | 2147483647   311038     60 |  0.012 % |
297.30/297.47	c |    313530 |   17203   270588   912349 | 2147483647   313517     60 |  0.012 % |
301.59/301.78	c |    316256 |   17203   270588   912349 | 2147483647   316243     60 |  0.013 % |
306.50/306.60	c |    319254 |   17203   270588   912349 | 2147483647   319241     60 |  0.012 % |
306.70/306.80	c |    319354 |   17203   270588   912349 | 2147483647   319341     60 |  0.012 % |
306.90/307.05	c |    319464 |   17203   270588   912349 | 2147483647   319451     60 |  0.012 % |
307.10/307.23	c |    319586 |   17203   270588   912349 | 2147483647   319573     60 |  0.012 % |
307.30/307.47	c |    319719 |   17203   270588   912349 | 2147483647   319706     60 |  0.012 % |
307.60/307.75	c |    319865 |   17203   270588   912349 | 2147483647   319852     60 |  0.012 % |
307.80/307.98	c |    320026 |   17203   270588   912349 | 2147483647   320013     60 |  0.012 % |
308.30/308.46	c |    320205 |   17203   270588   912349 | 2147483647   320192     60 |  0.012 % |
308.70/308.85	c |    320398 |   17203   270588   912349 | 2147483647   320385     60 |  0.012 % |
309.09/309.20	c |    320611 |   17203   270588   912349 | 2147483647   320598     60 |  0.012 % |
309.39/309.58	c |    320844 |   17203   270588   912349 | 2147483647   320831     60 |  0.012 % |
309.79/309.96	c |    321101 |   17203   270588   912349 | 2147483647   321088     60 |  0.012 % |
310.29/310.48	c |    321382 |   17203   270588   912349 | 2147483647   321369     60 |  0.012 % |
310.99/311.17	c |    321693 |   17203   270588   912349 | 2147483647   321680     60 |  0.012 % |
311.59/311.77	c |    322034 |   17203   270588   912349 | 2147483647   322021     60 |  0.012 % |
312.20/312.39	c |    322406 |   17203   270588   912349 | 2147483647   322393     60 |  0.012 % |
312.89/313.00	c |    322815 |   17203   270588   912349 | 2147483647   322802     60 |  0.012 % |
313.29/313.49	c |    323264 |   17203   270588   912349 | 2147483647   323251     60 |  0.012 % |
313.99/314.16	c |    323757 |   17203   270588   912349 | 2147483647   323744     60 |  0.012 % |
314.59/314.75	c |    324300 |   17203   270588   912349 | 2147483647   324287     60 |  0.012 % |
315.19/315.35	c |    324896 |   17203   270588   912349 | 2147483647   324883     60 |  0.012 % |
315.89/316.04	c |    325552 |   17203   270588   912349 | 2147483647   325539     60 |  0.012 % |
317.09/317.22	c |    326272 |   17203   270588   912349 | 2147483647   326259     60 |  0.012 % |
318.69/318.90	c |    327064 |   17203   270588   912349 | 2147483647   327051     60 |  0.012 % |
320.09/320.30	c |    327935 |   17203   270588   912349 | 2147483647   327922     60 |  0.012 % |
322.00/322.11	c |    328893 |   17203   270588   912349 | 2147483647   328880     60 |  0.012 % |
323.10/323.23	c |    329946 |   17203   270588   912349 | 2147483647   329933     60 |  0.012 % |
325.29/325.41	c |    331108 |   17203   270588   912349 | 2147483647   331095     60 |  0.012 % |
327.79/327.96	c |    332382 |   17203   270588   912349 | 2147483647   332369     60 |  0.012 % |
330.58/330.72	c |    333783 |   17203   270588   912349 | 2147483647   333770     61 |  0.012 % |
332.98/333.16	c |    335324 |   17203   270588   912349 | 2147483647   335311     61 |  0.012 % |
336.29/336.48	c |    337018 |   17203   270588   912349 | 2147483647   337005     61 |  0.012 % |
339.79/339.91	c |    338885 |   17203   270588   912349 | 2147483647   338872     61 |  0.012 % |
343.28/343.42	c |    340935 |   17203   270588   912349 | 2147483647   340922     61 |  0.012 % |
348.08/348.20	c |    343189 |   17203   270588   912349 | 2147483647   343176     61 |  0.012 % |
352.88/353.08	c |    345669 |   17203   270588   912349 | 2147483647   345656     61 |  0.012 % |
358.28/358.47	c |    348395 |   17203   270588   912349 | 2147483647   348382     61 |  0.012 % |
364.98/365.14	c |    351394 |   17203   270588   912349 | 2147483647   351381     61 |  0.012 % |
372.58/372.77	c |    354692 |   17203   270588   912349 | 2147483647   354679     61 |  0.012 % |
372.78/372.97	c |    354793 |   17203   270588   912349 | 2147483647   354780     61 |  0.012 % |
373.07/373.21	c |    354904 |   17203   270588   912349 | 2147483647   354891     62 |  0.012 % |
373.27/373.49	c |    355025 |   17203   270588   912349 | 2147483647   355012     62 |  0.012 % |
373.67/373.87	c |    355158 |   17203   270588   912349 | 2147483647   355145     62 |  0.012 % |
373.97/374.14	c |    355305 |   17203   270588   912349 | 2147483647   355292     62 |  0.012 % |
374.37/374.54	c |    355465 |   17203   270588   912349 | 2147483647   355452     62 |  0.012 % |
374.67/374.89	c |    355641 |   17203   270588   912349 | 2147483647   355628     62 |  0.012 % |
375.17/375.38	c |    355835 |   17203   270588   912349 | 2147483647   355822     62 |  0.012 % |
375.67/375.80	c |    356047 |   17203   270588   912349 | 2147483647   356034     62 |  0.012 % |
376.08/376.28	c |    356280 |   17203   270588   912349 | 2147483647   356267     62 |  0.012 % |
376.57/376.76	c |    356536 |   17203   270588   912349 | 2147483647   356523     62 |  0.012 % |
377.17/377.38	c |    356822 |   17203   270588   912349 | 2147483647   356809     62 |  0.012 % |
377.77/377.98	c |    357133 |   17203   270588   912349 | 2147483647   357120     62 |  0.012 % |
378.37/378.53	c |    357475 |   17203   270588   912349 | 2147483647   357462     62 |  0.012 % |
378.87/379.08	c |    357847 |   17203   270588   912349 | 2147483647   357834     62 |  0.012 % |
379.57/379.78	c |    358256 |   17203   270588   912349 | 2147483647   358243     62 |  0.012 % |
380.37/380.51	c |    358707 |   17203   270588   912349 | 2147483647   358694     62 |  0.012 % |
380.97/381.18	c |    359200 |   17203   270588   912349 | 2147483647   359187     62 |  0.012 % |
382.07/382.20	c |    359742 |   17203   270588   912349 | 2147483647   359729     62 |  0.012 % |
382.77/382.94	c |    360338 |   17203   270588   912349 | 2147483647   360325     62 |  0.012 % |
383.47/383.61	c |    360996 |   17203   270588   912349 | 2147483647   360983     62 |  0.013 % |
384.57/384.77	c |    361716 |   17203   270588   912349 | 2147483647   361703     62 |  0.012 % |
386.37/386.50	c |    362509 |   17203   270588   912349 | 2147483647   362496     62 |  0.012 % |
388.47/388.60	c |    363382 |   17203   270588   912349 | 2147483647   363369     62 |  0.012 % |
390.07/390.21	c |    364343 |   17203   270588   912349 | 2147483647   364330     62 |  0.012 % |
392.57/392.71	c |    365396 |   17203   270588   912349 | 2147483647   365383     62 |  0.012 % |
394.87/395.06	c |    366554 |   17203   270588   912349 | 2147483647   366541     62 |  0.012 % |
396.97/397.17	c |    367828 |   17203   270588   912349 | 2147483647   367815     62 |  0.012 % |
400.56/400.74	c |    369232 |   17203   270588   912349 | 2147483647   369219     62 |  0.012 % |
403.76/403.95	c |    370773 |   17203   270588   912349 | 2147483647   370760     62 |  0.012 % |
407.46/407.60	c |    372467 |   17203   270588   912349 | 2147483647   372454     62 |  0.012 % |
411.57/411.77	c |    374332 |   17203   270588   912349 | 2147483647   374319     62 |  0.012 % |
415.77/415.97	c |    376381 |   17203   270588   912349 | 2147483647   376368     62 |  0.012 % |
420.76/420.94	c |    378635 |   17203   270588   912349 | 2147483647   378622     63 |  0.012 % |
425.06/425.21	c |    381113 |   17203   270588   912349 | 2147483647   381100     63 |  0.012 % |
430.15/430.32	c |    383839 |   17203   270588   912349 | 2147483647   383826     63 |  0.012 % |
436.05/436.28	c |    386837 |   17203   270588   912349 | 2147483647   386824     63 |  0.012 % |
442.76/442.99	c |    390135 |   17203   270588   912349 | 2147483647   390122     63 |  0.012 % |
450.75/450.96	c |    393762 |   17203   270588   912349 | 2147483647   393749     63 |  0.012 % |
451.05/451.26	c |    393864 |   17203   270588   912349 | 2147483647   393851     63 |  0.012 % |
451.35/451.52	c |    393974 |   17203   270588   912349 | 2147483647   393961     63 |  0.012 % |
451.55/451.78	c |    394099 |   17203   270588   912349 | 2147483647   394086     63 |  0.012 % |
451.95/452.18	c |    394232 |   17203   270588   912349 | 2147483647   394219     63 |  0.012 % |
452.25/452.43	c |    394378 |   17203   270588   912349 | 2147483647   394365     63 |  0.012 % |
452.45/452.65	c |    394538 |   17203   270588   912349 | 2147483647   394525     63 |  0.012 % |
452.74/452.98	c |    394714 |   17203   270588   912349 | 2147483647   394701     63 |  0.012 % |
453.14/453.34	c |    394907 |   17203   270588   912349 | 2147483647   394894     63 |  0.012 % |
453.54/453.73	c |    395120 |   17203   270588   912349 | 2147483647   395107     63 |  0.012 % |
454.05/454.22	c |    395357 |   17203   270588   912349 | 2147483647   395344     63 |  0.012 % |
454.54/454.79	c |    395613 |   17203   270588   912349 | 2147483647   395600     63 |  0.012 % |
455.15/455.36	c |    395895 |   17203   270588   912349 | 2147483647   395882     63 |  0.012 % |
455.94/456.17	c |    396205 |   17203   270588   912349 | 2147483647   396192     63 |  0.012 % |
456.44/456.64	c |    396544 |   17203   270588   912349 | 2147483647   396531     63 |  0.012 % |
457.35/457.52	c |    396917 |   17203   270588   912349 | 2147483647   396904     63 |  0.012 % |
458.45/458.68	c |    397329 |   17203   270588   912349 | 2147483647   397316     63 |  0.012 % |
459.34/459.56	c |    397779 |   17203   270588   912349 | 2147483647   397766     63 |  0.012 % |
460.24/460.44	c |    398272 |   17203   270588   912349 | 2147483647   398259     63 |  0.012 % |
461.24/461.43	c |    398814 |   17203   270588   912349 | 2147483647   398801     63 |  0.012 % |
461.94/462.11	c |    399410 |   17203   270588   912349 | 2147483647   399397     63 |  0.012 % |
463.04/463.22	c |    400066 |   17203   270588   912349 | 2147483647   400053     63 |  0.012 % |
465.04/465.28	c |    400789 |   17203   270588   912349 | 2147483647   400776     63 |  0.012 % |
466.84/467.05	c |    401581 |   17203   270588   912349 | 2147483647   401568     63 |  0.012 % |
468.44/468.65	c |    402454 |   17203   270588   912349 | 2147483647   402441     63 |  0.012 % |
470.25/470.47	c |    403414 |   17203   270588   912349 | 2147483647   403401     63 |  0.012 % |
472.15/472.39	c |    404467 |   17203   270588   912349 | 2147483647   404454     63 |  0.012 % |
474.64/474.89	c |    405628 |   17203   270588   912349 | 2147483647   405615     63 |  0.012 % |
477.14/477.30	c |    406902 |   17203   270588   912349 | 2147483647   406889     63 |  0.012 % |
479.54/479.78	c |    408302 |   17203   270588   912349 | 2147483647   408289     63 |  0.013 % |
482.53/482.71	c |    409842 |   17203   270588   912349 | 2147483647   409829     63 |  0.012 % |
485.84/486.09	c |    411536 |   17203   270588   912349 | 2147483647   411523     63 |  0.012 % |
490.44/490.63	c |    413404 |   17203   270588   912349 | 2147483647   413391     64 |  0.012 % |
495.13/495.35	c |    415454 |   17203   270588   912349 | 2147483647   415441     64 |  0.012 % |
500.03/500.27	c |    417707 |   17203   270588   912349 | 2147483647   417694     64 |  0.012 % |
504.93/505.18	c |    420185 |   17203   270588   912349 | 2147483647   420172     63 |  0.012 % |
508.13/508.34	c |    422910 |   17203   270588   912349 | 2147483647   422897     63 |  0.012 % |
513.23/513.43	c |    425907 |   17203   270588   912349 | 2147483647   425894     64 |  0.012 % |
518.83/519.04	c |    429204 |   17203   270588   912349 | 2147483647   429191     63 |  0.012 % |
524.63/524.87	c |    432832 |   17203   270588   912349 | 2147483647   432819     63 |  0.012 % |
531.02/531.26	c |    436819 |   17203   270588   912349 | 2147483647   436806     64 |  0.012 % |
531.32/531.52	c |    436920 |   17203   270588   912349 | 2147483647   436907     64 |  0.012 % |
531.42/531.68	c |    437032 |   17203   270588   912349 | 2147483647   437019     64 |  0.012 % |
531.82/532.08	c |    437154 |   17203   270588   912349 | 2147483647   437141     64 |  0.012 % |
532.23/532.49	c |    437287 |   17203   270588   912349 | 2147483647   437274     64 |  0.012 % |
532.53/532.71	c |    437433 |   17203   270588   912349 | 2147483647   437420     64 |  0.012 % |
532.73/532.90	c |    437593 |   17203   270588   912349 | 2147483647   437580     64 |  0.012 % |
533.33/533.51	c |    437769 |   17203   270588   912349 | 2147483647   437756     64 |  0.012 % |
533.83/534.01	c |    437962 |   17203   270588   912349 | 2147483647   437949     64 |  0.012 % |
534.53/534.70	c |    438176 |   17203   270588   912349 | 2147483647   438163     64 |  0.012 % |
534.73/534.90	c |    438409 |   17203   270588   912349 | 2147483647   438396     64 |  0.012 % |
535.72/535.92	c |    438665 |   17203   270588   912349 | 2147483647   438652     64 |  0.012 % |
536.42/536.70	c |    438948 |   17203   270588   912349 | 2147483647   438935     64 |  0.012 % |
537.32/537.56	c |    439257 |   17203   270588   912349 | 2147483647   439244     64 |  0.012 % |
537.92/538.10	c |    439599 |   17203   270588   912349 | 2147483647   439586     64 |  0.012 % |
538.73/538.96	c |    439974 |   17203   270588   912349 | 2147483647   439961     64 |  0.012 % |
539.42/539.69	c |    440384 |   17203   270588   912349 |   439989   440371     64 |  0.012 % |
541.12/541.31	c |    440833 |   17203   270588   912349 |   439989   396783     62 |  0.012 % |
542.12/542.35	c |    441326 |   17203   270588   912349 |   439989   397276     62 |  0.012 % |
543.52/543.78	c |    441868 |   17203   270588   912349 |   439989   397818     62 |  0.012 % |
545.02/545.22	c |    442464 |   17203   270588   912349 |   439989   398414     62 |  0.012 % |
546.82/547.06	c |    443122 |   17203   270588   912349 |   439989   399072     62 |  0.012 % |
548.12/548.38	c |    443842 |   17203   270588   912349 |   439989   399792     62 |  0.012 % |
549.22/549.45	c |    444635 |   17203   270588   912349 |   439989   400585     62 |  0.012 % |
550.62/550.89	c |    445511 |   17203   270588   912349 |   439989   401461     62 |  0.012 % |
552.82/553.05	c |    446470 |   17203   270588   912349 |   439989   402420     62 |  0.012 % |
554.42/554.66	c |    447523 |   17203   270588   912349 |   439989   403473     62 |  0.012 % |
558.01/558.29	c |    448681 |   17203   270588   912349 |   439989   404631     62 |  0.012 % |
560.82/561.04	c |    449956 |   17203   270588   912349 |   439989   405906     62 |  0.012 % |
563.21/563.41	c |    451356 |   17203   270588   912349 | 2147483647   407306     62 |  0.012 % |
568.42/568.67	c |    452899 |   17203   270588   912349 | 2147483647   408849     62 |  0.012 % |
572.52/572.75	c |    454593 |   17203   270588   912349 | 2147483647   410543     62 |  0.012 % |
576.82/577.00	c |    456459 |   17203   270588   912349 | 2147483647   412409     63 |  0.012 % |
580.32/580.50	c |    458509 |   17203   270588   912349 | 2147483647   414459     63 |  0.012 % |
585.41/585.61	c |    460762 |   17201   270580   912325 | 2147483647   416694     63 |  0.023 % |
589.11/589.33	c |    463241 |   17201   270580   912325 | 2147483647   419173     63 |  0.024 % |
594.41/594.60	c |    465966 |   17201   270580   912325 | 2147483647   421898     63 |  0.024 % |
599.71/599.99	c |    468964 |   17201   270580   912325 | 2147483647   424896     63 |  0.023 % |
606.21/606.47	c |    472260 |   17201   270580   912325 | 2147483647   428192     63 |  0.023 % |
613.80/614.03	c |    475887 |   17201   270580   912325 | 2147483647   431819     64 |  0.023 % |
623.10/623.33	c |    479874 |   17201   270580   912325 | 2147483647   435806     64 |  0.023 % |
632.99/633.24	c |    484259 |   17201   270580   912325 | 2147483647   440191     64 |  0.023 % |
633.19/633.46	c |    484359 |   17201   270580   912325 | 2147483647   440291     64 |  0.023 % |
633.40/633.65	c |    484470 |   17201   270580   912325 | 2147483647   440402     64 |  0.023 % |
633.59/633.84	c |    484591 |   17201   270580   912325 | 2147483647   440523     64 |  0.023 % |
633.99/634.25	c |    484724 |   17201   270580   912325 | 2147483647   440656     64 |  0.023 % |
634.39/634.63	c |    484872 |   17201   270580   912325 | 2147483647   440804     64 |  0.023 % |
634.79/635.03	c |    485032 |   17201   270580   912325 | 2147483647   440964     64 |  0.023 % |
635.19/635.45	c |    485208 |   17201   270580   912325 | 2147483647   441140     64 |  0.023 % |
635.60/635.88	c |    485406 |   17201   270580   912325 | 2147483647   441338     64 |  0.023 % |
636.00/636.27	c |    485623 |   17201   270580   912325 | 2147483647   441555     64 |  0.023 % |
636.40/636.64	c |    485856 |   17201   270580   912325 | 2147483647   441788     64 |  0.023 % |
636.60/636.83	c |    486112 |   17201   270580   912325 | 2147483647   442044     64 |  0.023 % |
636.90/637.13	c |    486394 |   17201   270580   912325 | 2147483647   442326     64 |  0.023 % |
637.50/637.78	c |    486703 |   17201   270580   912325 | 2147483647   442635     64 |  0.023 % |
638.40/638.64	c |    487045 |   17201   270580   912325 | 2147483647   442977     64 |  0.023 % |
639.40/639.65	c |    487418 |   17201   270580   912325 | 2147483647   443350     64 |  0.023 % |
640.59/640.83	c |    487831 |   17201   270580   912325 | 2147483647   443763     64 |  0.023 % |
641.79/642.08	c |    488280 |   17201   270580   912325 | 2147483647   444212     64 |  0.023 % |
643.09/643.40	c |    488773 |   17201   270580   912325 | 2147483647   444705     65 |  0.023 % |
644.69/644.98	c |    489315 |   17201   270580   912325 | 2147483647   445247     65 |  0.023 % |
646.79/647.00	c |    489911 |   17201   270580   912325 | 2147483647   445843     65 |  0.023 % |
648.69/648.94	c |    490566 |   17201   270580   912325 | 2147483647   446498     65 |  0.023 % |
650.69/650.92	c |    491286 |   17201   270580   912325 | 2147483647   447218     65 |  0.023 % |
652.38/652.65	c |    492078 |   17201   270580   912325 | 2147483647   448010     65 |  0.023 % |
654.69/654.94	c |    492949 |   17201   270580   912325 | 2147483647   448881     65 |  0.023 % |
656.49/656.72	c |    493907 |   17201   270580   912325 | 2147483647   449839     65 |  0.023 % |
658.98/659.20	c |    494960 |   17201   270580   912325 | 2147483647   450892     65 |  0.023 % |
660.79/661.02	c |    496121 |   17201   270580   912325 | 2147483647   452053     65 |  0.023 % |
663.28/663.53	c |    497396 |   17201   270580   912325 | 2147483647   453328     65 |  0.023 % |
666.28/666.57	c |    498797 |   17201   270580   912325 | 2147483647   454729     65 |  0.023 % |
668.98/669.21	c |    500337 |   17201   270580   912325 |   455932   456269     65 |  0.023 % |
672.38/672.70	c |    502035 |   17201   270580   912325 |   455932   393923     66 |  0.023 % |
678.48/678.76	c |    503898 |   17201   270580   912325 |   455932   395786     66 |  0.023 % |
683.67/683.91	c |    505948 |   17201   270580   912325 |   455932   397836     66 |  0.023 % |
688.68/689.00	c |    508204 |   17201   270580   912325 |   455932   400092     67 |  0.023 % |
694.88/695.16	c |    510683 |   17201   270580   912325 | 2147483647   402571     67 |  0.023 % |
702.08/702.33	c |    513410 |   17201   270580   912325 | 2147483647   405298     67 |  0.023 % |
709.57/709.89	c |    516407 |   17201   270580   912325 | 2147483647   408295     67 |  0.023 % |
718.87/719.13	c |    519704 |   17201   270572   912301 | 2147483647   411580     67 |  0.023 % |
728.97/729.28	c |    523329 |   17201   270572   912301 | 2147483647   415205     67 |  0.023 % |
739.07/739.31	c |    527316 |   17201   270572   912301 | 2147483647   419192     68 |  0.023 % |
748.26/748.59	c |    531701 |   17201   270572   912301 | 2147483647   423577     68 |  0.023 % |
759.56/759.87	c |    536525 |   17201   270572   912301 | 2147483647   428401     68 |  0.023 % |
759.86/760.17	c |    536625 |   17201   270572   912301 | 2147483647   428501     68 |  0.023 % |
760.06/760.38	c |    536737 |   17201   270572   912301 | 2147483647   428613     68 |  0.023 % |
760.26/760.58	c |    536858 |   17201   270572   912301 | 2147483647   428734     68 |  0.023 % |
760.76/761.01	c |    536993 |   17201   270572   912301 | 2147483647   428869     68 |  0.023 % |
761.16/761.41	c |    537139 |   17201   270572   912301 | 2147483647   429015     68 |  0.023 % |
761.36/761.66	c |    537299 |   17201   270572   912301 | 2147483647   429175     68 |  0.023 % |
761.76/762.01	c |    537478 |   17201   270572   912301 | 2147483647   429354     68 |  0.023 % |
762.16/762.41	c |    537671 |   17201   270572   912301 | 2147483647   429547     68 |  0.023 % |
762.56/762.83	c |    537883 |   17201   270572   912301 | 2147483647   429759     68 |  0.023 % |
762.85/763.18	c |    538116 |   17201   270572   912301 | 2147483647   429992     68 |  0.023 % |
763.25/763.57	c |    538372 |   17201   270572   912301 | 2147483647   430248     68 |  0.023 % |
763.95/764.29	c |    538654 |   17201   270572   912301 | 2147483647   430530     68 |  0.023 % |
764.65/764.94	c |    538963 |   17201   270572   912301 | 2147483647   430839     68 |  0.024 % |
765.95/766.24	c |    539303 |   17201   270572   912301 | 2147483647   431179     68 |  0.023 % |
766.95/767.25	c |    539676 |   17201   270572   912301 | 2147483647   431552     68 |  0.023 % |
767.65/767.95	c |    540085 |   17201   270572   912301 | 2147483647   431961     68 |  0.023 % |
768.45/768.74	c |    540535 |   17201   270572   912301 | 2147483647   432411     68 |  0.023 % |
769.35/769.62	c |    541028 |   17201   270572   912301 | 2147483647   432904     68 |  0.023 % |
770.65/770.95	c |    541572 |   17201   270572   912301 | 2147483647   433448     68 |  0.023 % |
771.95/772.23	c |    542168 |   17201   270572   912301 | 2147483647   434044     68 |  0.023 % |
773.65/773.96	c |    542823 |   17201   270572   912301 | 2147483647   434699     68 |  0.023 % |
775.55/775.80	c |    543547 |   17201   270572   912301 | 2147483647   435423     68 |  0.023 % |
777.25/777.54	c |    544339 |   17201   270572   912301 | 2147483647   436215     68 |  0.023 % |
778.85/779.16	c |    545210 |   17201   270572   912301 | 2147483647   437086     68 |  0.023 % |
781.05/781.39	c |    546168 |   17201   270572   912301 | 2147483647   438044     68 |  0.023 % |
783.15/783.48	c |    547221 |   17201   270572   912301 | 2147483647   439097     68 |  0.023 % |
785.35/785.67	c |    548380 |   17201   270572   912301 | 2147483647   440256     68 |  0.023 % |
788.05/788.39	c |    549654 |   17201   270572   912301 | 2147483647   441530     68 |  0.023 % |
791.25/791.51	c |    551055 |   17201   270572   912301 | 2147483647   442931     68 |  0.023 % |
794.85/795.12	c |    552598 |   17201   270572   912301 | 2147483647   444474     68 |  0.023 % |
798.75/799.07	c |    554293 |   17201   270572   912301 | 2147483647   446169     69 |  0.023 % |
802.84/803.10	c |    556157 |   17201   270572   912301 | 2147483647   448033     69 |  0.023 % |
808.34/808.68	c |    558208 |   17201   270572   912301 | 2147483647   450084     69 |  0.023 % |
813.64/813.92	c |    560462 |   17201   270572   912301 |   451878   452338     69 |  0.023 % |
820.83/821.15	c |    562942 |   17201   270572   912301 |   451878   406898     68 |  0.023 % |
826.85/827.18	c |    565668 |   17201   270572   912301 |   451878   409624     68 |  0.023 % |
833.94/834.28	c |    568665 |   17201   270572   912301 |   451878   412621     68 |  0.024 % |
841.04/841.30	c |    571962 |   17201   270572   912301 | 2147483647   415918     69 |  0.023 % |
850.23/850.56	c |    575588 |   17201   270572   912301 | 2147483647   419544     69 |  0.023 % |
860.13/860.41	c |    579576 |   17201   270572   912301 | 2147483647   423532     69 |  0.023 % |
871.63/871.97	c |    583963 |   17201   270572   912301 | 2147483647   427919     70 |  0.023 % |
886.42/886.78	c |    588787 |   17201   270572   912301 | 2147483647   432743     70 |  0.023 % |
902.52/902.90	c |    594094 |   17201   270572   912301 | 2147483647   438050     70 |  0.023 % |
902.92/903.20	c |    594194 |   17201   270572   912301 | 2147483647   438150     70 |  0.023 % |
903.22/903.55	c |    594305 |   17201   270572   912301 | 2147483647   438261     70 |  0.023 % |
903.62/903.93	c |    594426 |   17201   270572   912301 | 2147483647   438382     70 |  0.023 % |
903.82/904.19	c |    594559 |   17201   270572   912301 | 2147483647   438515     70 |  0.023 % |
904.32/904.68	c |    594705 |   17201   270572   912301 | 2147483647   438661     70 |  0.023 % |
904.72/905.08	c |    594866 |   17201   270572   912301 | 2147483647   438822     70 |  0.023 % |
905.22/905.58	c |    595043 |   17201   270572   912301 | 2147483647   438999     70 |  0.023 % |
905.82/906.18	c |    595236 |   17201   270572   912301 | 2147483647   439192     70 |  0.023 % |
906.32/906.68	c |    595449 |   17201   270572   912301 | 2147483647   439405     70 |  0.023 % |
907.02/907.31	c |    595682 |   17201   270572   912301 | 2147483647   439638     70 |  0.023 % |
907.82/908.10	c |    595940 |   17201   270572   912301 | 2147483647   439896     70 |  0.023 % |
908.72/909.00	c |    596224 |   17201   270572   912301 | 2147483647   440180     70 |  0.023 % |
909.42/909.78	c |    596533 |   17201   270572   912301 | 2147483647   440489     70 |  0.023 % |
910.42/910.75	c |    596873 |   17201   270572   912301 | 2147483647   440829     70 |  0.023 % |
911.42/911.78	c |    597247 |   17201   270572   912301 | 2147483647   441203     70 |  0.023 % |
912.21/912.50	c |    597656 |   17201   270572   912301 | 2147483647   441612     70 |  0.023 % |
913.21/913.50	c |    598106 |   17201   270572   912301 | 2147483647   442062     70 |  0.023 % |
914.11/914.41	c |    598600 |   17201   270572   912301 | 2147483647   442556     70 |  0.023 % |
915.31/915.67	c |    599143 |   17201   270572   912301 | 2147483647   443099     70 |  0.023 % |
916.91/917.23	c |    599740 |   17201   270572   912301 | 2147483647   443696     70 |  0.023 % |
918.51/918.82	c |    600395 |   17201   270572   912301 | 2147483647   444351     70 |  0.023 % |
920.31/920.67	c |    601115 |   17201   270572   912301 | 2147483647   445071     70 |  0.023 % |
921.81/922.17	c |    601909 |   17201   270572   912301 | 2147483647   445865     70 |  0.023 % |
924.00/924.37	c |    602780 |   17201   270572   912301 | 2147483647   446736     70 |  0.023 % |
926.70/927.03	c |    603739 |   17201   270572   912301 | 2147483647   447695     70 |  0.023 % |
929.10/929.43	c |    604794 |   17201   270572   912301 | 2147483647   448750     70 |  0.023 % |
931.30/931.69	c |    605952 |   17201   270572   912301 | 2147483647   449908     70 |  0.023 % |
934.41/934.75	c |    607226 |   17201   270572   912301 | 2147483647   451182     70 |  0.023 % |
937.31/937.66	c |    608627 |   17201   270572   912301 | 2147483647   452583     71 |  0.023 % |
939.91/940.23	c |    610170 |   17201   270572   912301 | 2147483647   454126     70 |  0.023 % |
943.60/943.92	c |    611865 |   17201   270572   912301 | 2147483647   455821     70 |  0.024 % |
947.60/947.94	c |    613728 |   17201   270572   912301 | 2147483647   457684     70 |  0.023 % |
951.60/951.94	c |    615779 |   17201   270572   912301 | 2147483647   459735     70 |  0.023 % |
956.89/957.21	c |    618032 |   17201   270572   912301 | 2147483647   461988     70 |  0.023 % |
965.40/965.72	c |    620510 |   17201   270572   912301 |   463956   403790     69 |  0.023 % |
972.40/972.73	c |    623235 |   17201   270572   912301 |   463956   406515     70 |  0.023 % |
979.39/979.70	c |    626232 |   17201   270572   912301 |   463956   409512     70 |  0.023 % |
987.79/988.10	c |    629530 |   17201   270572   912301 |   463956   412810     70 |  0.023 % |
996.09/996.46	c |    633155 |   17201   270572   912301 | 2147483647   416435     70 |  0.023 % |
1006.99/1007.32	c |    637145 |   17201   270572   912301 | 2147483647   420425     70 |  0.023 % |
1017.98/1018.34	c |    641532 |   17201   270572   912301 | 2147483647   424812     71 |  0.023 % |
1030.78/1031.11	c |    646355 |   17201   270572   912301 | 2147483647   429635     71 |  0.023 % |
1044.98/1045.30	c |    651662 |   17201   270572   912301 | 2147483647   434942     71 |  0.023 % |
1059.77/1060.10	c |    657499 |   17201   270572   912301 | 2147483647   440779     71 |  0.023 % |
1059.97/1060.35	c |    657599 |   17201   270572   912301 | 2147483647   440879     71 |  0.023 % |
1060.37/1060.71	c |    657709 |   17201   270572   912301 | 2147483647   440989     71 |  0.023 % |
1060.57/1060.98	c |    657835 |   17201   270572   912301 | 2147483647   441115     71 |  0.023 % |
1060.77/1061.19	c |    657968 |   17201   270572   912301 | 2147483647   441248     71 |  0.024 % |
1061.37/1061.71	c |    658115 |   17201   270572   912301 | 2147483647   441395     71 |  0.023 % |
1061.57/1061.93	c |    658275 |   17201   270572   912301 | 2147483647   441555     71 |  0.023 % |
1062.07/1062.42	c |    658451 |   17201   270572   912301 | 2147483647   441731     71 |  0.023 % |
1062.67/1063.08	c |    658645 |   17201   270572   912301 | 2147483647   441925     71 |  0.023 % |
1063.07/1063.46	c |    658857 |   17201   270572   912301 | 2147483647   442137     71 |  0.023 % |
1063.47/1063.88	c |    659090 |   17201   270572   912301 | 2147483647   442370     71 |  0.023 % |
1063.97/1064.37	c |    659346 |   17201   270572   912301 | 2147483647   442626     71 |  0.023 % |
1064.67/1065.04	c |    659627 |   17201   270572   912301 | 2147483647   442907     71 |  0.023 % |
1065.37/1065.75	c |    659936 |   17201   270572   912301 | 2147483647   443216     71 |  0.023 % |
1066.07/1066.42	c |    660275 |   17201   270572   912301 |   443281   443555     71 |  0.023 % |
1067.47/1067.84	c |    660647 |   17201   270572   912301 |   443281   394591     70 |  0.023 % |
1068.56/1068.95	c |    661056 |   17201   270572   912301 |   443281   395000     70 |  0.023 % |
1069.56/1069.91	c |    661505 |   17201   270572   912301 |   443281   395449     70 |  0.023 % |
1070.46/1070.88	c |    661999 |   17201   270572   912301 |   443281   395943     70 |  0.023 % |
1071.86/1072.28	c |    662543 |   17201   270572   912301 |   443281   396487     70 |  0.023 % |
1073.57/1073.98	c |    663139 |   17201   270572   912301 |   443281   397083     70 |  0.023 % |
1074.96/1075.39	c |    663794 |   17201   270572   912301 |   443281   397738     70 |  0.023 % |
1076.76/1077.11	c |    664516 |   17201   270572   912301 |   443281   398460     70 |  0.023 % |
1078.96/1079.39	c |    665309 |   17201   270572   912301 |   443281   399253     70 |  0.023 % |
1081.36/1081.74	c |    666180 |   17201   270572   912301 |   443281   400124     70 |  0.023 % |
1083.17/1083.54	c |    667138 |   17201   270572   912301 |   443281   401082     70 |  0.023 % |
1085.46/1085.89	c |    668196 |   17201   270572   912301 |   443281   402140     70 |  0.023 % |
1088.56/1088.95	c |    669354 |   17201   270572   912301 |   443281   403298     70 |  0.023 % |
1091.96/1092.37	c |    670627 |   17201   270572   912301 | 2147483647   404571     71 |  0.023 % |
1095.86/1096.26	c |    672028 |   17201   270572   912301 | 2147483647   405972     71 |  0.023 % |
1099.56/1099.93	c |    673573 |   17201   270572   912301 | 2147483647   407517     71 |  0.023 % |
1103.16/1103.58	c |    675267 |   17201   270572   912301 | 2147483647   409211     71 |  0.023 % |
1107.95/1108.31	c |    677130 |   17201   270572   912301 | 2147483647   411074     71 |  0.023 % |
1112.45/1112.85	c |    679182 |   17201   270572   912301 | 2147483647   413126     71 |  0.023 % |
1117.75/1118.17	c |    681435 |   17201   270572   912301 | 2147483647   415379     71 |  0.023 % |
1122.85/1123.21	c |    683915 |   17201   270572   912301 | 2147483647   417859     71 |  0.023 % |
1130.25/1130.65	c |    686640 |   17201   270572   912301 | 2147483647   420584     71 |  0.023 % |
1139.84/1140.21	c |    689637 |   17201   270572   912301 | 2147483647   423581     72 |  0.023 % |
1146.14/1146.54	c |    692934 |   17201   270572   912301 | 2147483647   426878     72 |  0.023 % |
1154.14/1154.59	c |    696560 |   17201   270572   912301 | 2147483647   430504     71 |  0.023 % |
1166.43/1166.84	c |    700547 |   17201   270572   912301 | 2147483647   434491     72 |  0.023 % |
1175.13/1175.56	c |    704933 |   17201   270572   912301 | 2147483647   438877     71 |  0.023 % |
1190.93/1191.32	c |    709757 |   17201   270572   912301 | 2147483647   443701     72 |  0.023 % |

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-1834263-1242829264/watcher-1834263-1242829264 -o /tmp/evaluation-result-1834263-1242829264/solver-1834263-1242829264 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834263-1242829264.cnf 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20696
/proc/meminfo: memFree=1939736/2055920 swapFree=4179368/4192956
[pid=20696] ppid=20694 vsize=5356 CPUtime=0
/proc/20696/stat : 20696 (SatELiteGTI) S 20694 20696 20256 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310953648 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20696/statm: 1339 237 197 169 0 50 0

[startup+0.046343 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20696
/proc/meminfo: memFree=1939736/2055920 swapFree=4179368/4192956
[pid=20696] ppid=20694 vsize=5356 CPUtime=0
/proc/20696/stat : 20696 (SatELiteGTI) S 20694 20696 20256 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310953648 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20696/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101347 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20696
/proc/meminfo: memFree=1939736/2055920 swapFree=4179368/4192956
[pid=20696] ppid=20694 vsize=5356 CPUtime=0
/proc/20696/stat : 20696 (SatELiteGTI) S 20694 20696 20256 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310953648 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20696/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301365 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20696
/proc/meminfo: memFree=1939736/2055920 swapFree=4179368/4192956
[pid=20696] ppid=20694 vsize=5356 CPUtime=0
/proc/20696/stat : 20696 (SatELiteGTI) S 20694 20696 20256 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310953648 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20696/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701399 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20696
/proc/meminfo: memFree=1939736/2055920 swapFree=4179368/4192956
[pid=20696] ppid=20694 vsize=5356 CPUtime=0
/proc/20696/stat : 20696 (SatELiteGTI) S 20694 20696 20256 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310953648 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20696/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50148 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20701
/proc/meminfo: memFree=1907400/2055920 swapFree=4179368/4192956
[pid=20696] ppid=20694 vsize=5356 CPUtime=1.12
/proc/20696/stat : 20696 (SatELiteGTI) S 20694 20696 20256 0 -1 4194304 336 8435 0 0 0 0 104 8 16 0 1 0 310953648 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20696/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 5356

[startup+3.10161 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20702
/proc/meminfo: memFree=1917640/2055920 swapFree=4179368/4192956
[pid=20696] ppid=20694 vsize=5356 CPUtime=1.12
/proc/20696/stat : 20696 (SatELiteGTI) S 20694 20696 20256 0 -1 4194304 336 8435 0 0 0 0 104 8 16 0 1 0 310953648 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20696/statm: 1339 239 197 169 0 50 0
[pid=20702] ppid=20696 vsize=16436 CPUtime=1.96
/proc/20702/stat : 20702 (minisat_static) R 20696 20696 20256 0 -1 4194304 3935 0 0 0 193 3 0 0 25 0 1 0 310953761 16830464 3921 1992294400 134512640 135215339 4294956240 18446744073709551615 134525029 0 0 4096 3 0 0 0 17 1 0 0
/proc/20702/statm: 4109 3921 77 171 0 3936 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 21792

[startup+6.30189 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20702
/proc/meminfo: memFree=1915912/2055920 swapFree=4179368/4192956
[pid=20696] ppid=20694 vsize=5356 CPUtime=1.12
/proc/20696/stat : 20696 (SatELiteGTI) S 20694 20696 20256 0 -1 4194304 336 8435 0 0 0 0 104 8 16 0 1 0 310953648 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20696/statm: 1339 239 197 169 0 50 0
[pid=20702] ppid=20696 vsize=17924 CPUtime=5.15
/proc/20702/stat : 20702 (minisat_static) R 20696 20696 20256 0 -1 4194304 4331 0 0 0 512 3 0 0 25 0 1 0 310953761 18354176 4317 1992294400 134512640 135215339 4294956240 18446744073709551615 134532929 0 0 4096 3 0 0 0 17 1 0 0
/proc/20702/statm: 4481 4317 77 171 0 4308 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 23280

[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20702
/proc/meminfo: memFree=1912904/2055920 swapFree=4179368/4192956
[pid=20696] ppid=20694 vsize=5356 CPUtime=1.12
/proc/20696/stat : 20696 (SatELiteGTI) S 20694 20696 20256 0 -1 4194304 336 8435 0 0 0 0 104 8 16 0 1 0 310953648 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20696/statm: 1339 239 197 169 0 50 0
[pid=20702] ppid=20696 vsize=20864 CPUtime=11.55
/proc/20702/stat : 20702 (minisat_static) R 20696 20696 20256 0 -1 4194304 5035 0 0 0 1151 4 0 0 25 0 1 0 310953761 21364736 5021 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/20702/statm: 5216 5021 77 171 0 5043 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 26220

[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20702
/proc/meminfo: memFree=1907016/2055920 swapFree=4179368/4192956
[pid=20696] ppid=20694 vsize=5356 CPUtime=1.12
/proc/20696/stat : 20696 (SatELiteGTI) S 20694 20696 20256 0 -1 4194304 336 8435 0 0 0 0 104 8 16 0 1 0 310953648 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20696/statm: 1339 239 197 169 0 50 0
[pid=20702] ppid=20696 vsize=26744 CPUtime=24.35
/proc/20702/stat : 20702 (minisat_static) R 20696 20696 20256 0 -1 4194304 6486 0 0 0 2429 6 0 0 25 0 1 0 310953761 27385856 6472 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20702/statm: 6686 6472 77 171 0 6513 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 32100

[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20702
/proc/meminfo: memFree=1896648/2055920 swapFree=4179368/4192956
[pid=20696] ppid=20694 vsize=5356 CPUtime=1.12
/proc/20696/stat : 20696 (SatELiteGTI) S 20694 20696 20256 0 -1 4194304 336 8435 0 0 0 0 104 8 16 0 1 0 310953648 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20696/statm: 1339 239 197 169 0 50 0
[pid=20702] ppid=20696 vsize=37092 CPUtime=49.95
/proc/20702/stat : 20702 (minisat_static) R 20696 20696 20256 0 -1 4194304 9076 0 0 0 4985 10 0 0 25 0 1 0 310953761 37982208 9062 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/20702/statm: 9273 9062 77 171 0 9100 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 42448

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20702
/proc/meminfo: memFree=1878472/2055920 swapFree=4179368/4192956
[pid=20696] ppid=20694 vsize=5356 CPUtime=1.12
/proc/20696/stat : 20696 (SatELiteGTI) S 20694 20696 20256 0 -1 4194304 336 8435 0 0 0 0 104 8 16 0 1 0 310953648 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20696/statm: 1339 239 197 169 0 50 0
[pid=20702] ppid=20696 vsize=55060 CPUtime=101.13
/proc/20702/stat : 20702 (minisat_static) R 20696 20696 20256 0 -1 4194304 13566 0 0 0 10098 15 0 0 25 0 1 0 310953761 56381440 13552 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20702/statm: 13765 13552 77 171 0 13592 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 60416

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20702
/proc/meminfo: memFree=1862216/2055920 swapFree=4179368/4192956
[pid=20696] ppid=20694 vsize=5356 CPUtime=1.12
/proc/20696/stat : 20696 (SatELiteGTI) S 20694 20696 20256 0 -1 4194304 336 8435 0 0 0 0 104 8 16 0 1 0 310953648 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20696/statm: 1339 239 197 169 0 50 0
[pid=20702] ppid=20696 vsize=71440 CPUtime=161.11
/proc/20702/stat : 20702 (minisat_static) R 20696 20696 20256 0 -1 4194304 17622 0 0 0 16091 20 0 0 25 0 1 0 310953761 73154560 17608 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20702/statm: 17860 17608 77 171 0 17687 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 76796

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20702
/proc/meminfo: memFree=1847688/2055920 swapFree=4179368/4192956
[pid=20696] ppid=20694 vsize=5356 CPUtime=1.12
/proc/20696/stat : 20696 (SatELiteGTI) S 20694 20696 20256 0 -1 4194304 336 8435 0 0 0 0 104 8 16 0 1 0 310953648 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20696/statm: 1339 239 197 169 0 50 0
[pid=20702] ppid=20696 vsize=85716 CPUtime=221.09
/proc/20702/stat : 20702 (minisat_static) R 20696 20696 20256 0 -1 4194304 21203 0 0 0 22084 25 0 0 25 0 1 0 310953761 87773184 21189 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/20702/statm: 21429 21189 77 171 0 21256 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 91072

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20702
/proc/meminfo: memFree=1834760/2055920 swapFree=4179368/4192956
[pid=20696] ppid=20694 vsize=5356 CPUtime=1.12
/proc/20696/stat : 20696 (SatELiteGTI) S 20694 20696 20256 0 -1 4194304 336 8435 0 0 0 0 104 8 16 0 1 0 310953648 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20696/statm: 1339 239 197 169 0 50 0
[pid=20702] ppid=20696 vsize=98496 CPUtime=281.08
/proc/20702/stat : 20702 (minisat_static) R 20696 20696 20256 0 -1 4194304 24422 0 0 0 28078 30 0 0 25 0 1 0 310953761 100859904 24408 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/20702/statm: 24624 24408 77 171 0 24451 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 103852

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20702
/proc/meminfo: memFree=1822984/2055920 swapFree=4179368/4192956
[pid=20696] ppid=20694 vsize=5356 CPUtime=1.12
/proc/20696/stat : 20696 (SatELiteGTI) S 20694 20696 20256 0 -1 4194304 336 8435 0 0 0 0 104 8 16 0 1 0 310953648 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20696/statm: 1339 239 197 169 0 50 0
[pid=20702] ppid=20696 vsize=110464 CPUtime=341.06
/proc/20702/stat : 20702 (minisat_static) R 20696 20696 20256 0 -1 4194304 27310 0 0 0 34072 34 0 0 25 0 1 0 310953761 113115136 27296 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20702/statm: 27616 27296 77 171 0 27443 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 115820

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20702
/proc/meminfo: memFree=1813192/2055920 swapFree=4179368/4192956
[pid=20696] ppid=20694 vsize=5356 CPUtime=1.12
/proc/20696/stat : 20696 (SatELiteGTI) S 20694 20696 20256 0 -1 4194304 336 8435 0 0 0 0 104 8 16 0 1 0 310953648 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20696/statm: 1339 239 197 169 0 50 0
[pid=20702] ppid=20696 vsize=120144 CPUtime=401.04
/proc/20702/stat : 20702 (minisat_static) R 20696 20696 20256 0 -1 4194304 29754 0 0 0 40068 36 0 0 25 0 1 0 310953761 123027456 29740 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20702/statm: 30036 29740 77 171 0 29863 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 125500

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20702
/proc/meminfo: memFree=1803336/2055920 swapFree=4179368/4192956
[pid=20696] ppid=20694 vsize=5356 CPUtime=1.12

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

/proc/20702/statm: 34865 34631 77 171 0 34692 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 144816

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20702
/proc/meminfo: memFree=1790152/2055920 swapFree=4179368/4192956
[pid=20696] ppid=20694 vsize=5356 CPUtime=1.12
/proc/20696/stat : 20696 (SatELiteGTI) S 20694 20696 20256 0 -1 4194304 336 8435 0 0 0 0 104 8 16 0 1 0 310953648 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20696/statm: 1339 239 197 169 0 50 0
[pid=20702] ppid=20696 vsize=142500 CPUtime=580.99
/proc/20702/stat : 20702 (minisat_static) R 20696 20696 20256 0 -1 4194304 35396 0 0 0 58056 43 0 0 25 0 1 0 310953761 145920000 35382 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20702/statm: 35625 35382 77 171 0 35452 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 147856

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20702
/proc/meminfo: memFree=1786888/2055920 swapFree=4179368/4192956
[pid=20696] ppid=20694 vsize=5356 CPUtime=1.12
/proc/20696/stat : 20696 (SatELiteGTI) S 20694 20696 20256 0 -1 4194304 336 8435 0 0 0 0 104 8 16 0 1 0 310953648 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20696/statm: 1339 239 197 169 0 50 0
[pid=20702] ppid=20696 vsize=145676 CPUtime=640.98
/proc/20702/stat : 20702 (minisat_static) R 20696 20696 20256 0 -1 4194304 36197 0 0 0 64054 44 0 0 25 0 1 0 310953761 149172224 36183 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20702/statm: 36419 36183 77 171 0 36246 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 151032

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20702
/proc/meminfo: memFree=1782664/2055920 swapFree=4179368/4192956
[pid=20696] ppid=20694 vsize=5356 CPUtime=1.12
/proc/20696/stat : 20696 (SatELiteGTI) S 20694 20696 20256 0 -1 4194304 336 8435 0 0 0 0 104 8 16 0 1 0 310953648 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20696/statm: 1339 239 197 169 0 50 0
[pid=20702] ppid=20696 vsize=149804 CPUtime=700.96
/proc/20702/stat : 20702 (minisat_static) R 20696 20696 20256 0 -1 4194304 37235 0 0 0 70050 46 0 0 25 0 1 0 310953761 153399296 37221 1992294400 134512640 135215339 4294956240 18446744073709551615 134529426 0 0 4096 3 0 0 0 17 1 0 0
/proc/20702/statm: 37451 37221 77 171 0 37278 0
Current children cumulated CPU time (s) 702.08
Current children cumulated vsize (KiB) 155160

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20702
/proc/meminfo: memFree=1782472/2055920 swapFree=4179368/4192956
[pid=20696] ppid=20694 vsize=5356 CPUtime=1.12
/proc/20696/stat : 20696 (SatELiteGTI) S 20694 20696 20256 0 -1 4194304 336 8435 0 0 0 0 104 8 16 0 1 0 310953648 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20696/statm: 1339 239 197 169 0 50 0
[pid=20702] ppid=20696 vsize=149804 CPUtime=760.94
/proc/20702/stat : 20702 (minisat_static) R 20696 20696 20256 0 -1 4194304 37238 0 0 0 76048 46 0 0 25 0 1 0 310953761 153399296 37224 1992294400 134512640 135215339 4294956240 18446744073709551615 134529157 0 0 4096 3 0 0 0 17 1 0 0
/proc/20702/statm: 37451 37224 77 171 0 37278 0
Current children cumulated CPU time (s) 762.06
Current children cumulated vsize (KiB) 155160

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20702
/proc/meminfo: memFree=1776008/2055920 swapFree=4179368/4192956
[pid=20696] ppid=20694 vsize=5356 CPUtime=1.12
/proc/20696/stat : 20696 (SatELiteGTI) S 20694 20696 20256 0 -1 4194304 336 8435 0 0 0 0 104 8 16 0 1 0 310953648 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20696/statm: 1339 239 197 169 0 50 0
[pid=20702] ppid=20696 vsize=156140 CPUtime=820.92
/proc/20702/stat : 20702 (minisat_static) R 20696 20696 20256 0 -1 4194304 38832 0 0 0 82044 48 0 0 25 0 1 0 310953761 159887360 38818 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20702/statm: 39035 38818 77 171 0 38862 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 161496

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20702
/proc/meminfo: memFree=1775752/2055920 swapFree=4179368/4192956
[pid=20696] ppid=20694 vsize=5356 CPUtime=1.12
/proc/20696/stat : 20696 (SatELiteGTI) S 20694 20696 20256 0 -1 4194304 336 8435 0 0 0 0 104 8 16 0 1 0 310953648 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20696/statm: 1339 239 197 169 0 50 0
[pid=20702] ppid=20696 vsize=156284 CPUtime=880.91
/proc/20702/stat : 20702 (minisat_static) R 20696 20696 20256 0 -1 4194304 38840 0 0 0 88043 48 0 0 25 0 1 0 310953761 160034816 38826 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/20702/statm: 39071 38826 77 171 0 38898 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 161640

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20702
/proc/meminfo: memFree=1771784/2055920 swapFree=4179368/4192956
[pid=20696] ppid=20694 vsize=5356 CPUtime=1.12
/proc/20696/stat : 20696 (SatELiteGTI) S 20694 20696 20256 0 -1 4194304 336 8435 0 0 0 0 104 8 16 0 1 0 310953648 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20696/statm: 1339 239 197 169 0 50 0
[pid=20702] ppid=20696 vsize=160112 CPUtime=940.88
/proc/20702/stat : 20702 (minisat_static) R 20696 20696 20256 0 -1 4194304 39821 0 0 0 94039 49 0 0 25 0 1 0 310953761 163954688 39807 1992294400 134512640 135215339 4294956240 18446744073709551615 134527522 0 0 4096 3 0 0 0 17 1 0 0
/proc/20702/statm: 40028 39807 77 171 0 39855 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 165468

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20702
/proc/meminfo: memFree=1768456/2055920 swapFree=4179368/4192956
[pid=20696] ppid=20694 vsize=5356 CPUtime=1.12
/proc/20696/stat : 20696 (SatELiteGTI) S 20694 20696 20256 0 -1 4194304 336 8435 0 0 0 0 104 8 16 0 1 0 310953648 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20696/statm: 1339 239 197 169 0 50 0
[pid=20702] ppid=20696 vsize=163288 CPUtime=1000.87
/proc/20702/stat : 20702 (minisat_static) R 20696 20696 20256 0 -1 4194304 40624 0 0 0 100037 50 0 0 25 0 1 0 310953761 167206912 40610 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/20702/statm: 40822 40610 77 171 0 40649 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 168644

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20702
/proc/meminfo: memFree=1768392/2055920 swapFree=4179368/4192956
[pid=20696] ppid=20694 vsize=5356 CPUtime=1.12
/proc/20696/stat : 20696 (SatELiteGTI) S 20694 20696 20256 0 -1 4194304 336 8435 0 0 0 0 104 8 16 0 1 0 310953648 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20696/statm: 1339 239 197 169 0 50 0
[pid=20702] ppid=20696 vsize=163288 CPUtime=1060.85
/proc/20702/stat : 20702 (minisat_static) R 20696 20696 20256 0 -1 4194304 40624 0 0 0 106035 50 0 0 25 0 1 0 310953761 167206912 40610 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20702/statm: 40822 40610 77 171 0 40649 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 168644

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20702
/proc/meminfo: memFree=1768328/2055920 swapFree=4179368/4192956
[pid=20696] ppid=20694 vsize=5356 CPUtime=1.12
/proc/20696/stat : 20696 (SatELiteGTI) S 20694 20696 20256 0 -1 4194304 336 8435 0 0 0 0 104 8 16 0 1 0 310953648 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20696/statm: 1339 239 197 169 0 50 0
[pid=20702] ppid=20696 vsize=163420 CPUtime=1120.83
/proc/20702/stat : 20702 (minisat_static) R 20696 20696 20256 0 -1 4194304 40635 0 0 0 112033 50 0 0 25 0 1 0 310953761 167342080 40621 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20702/statm: 40855 40621 77 171 0 40682 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 168776

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20702
/proc/meminfo: memFree=1768264/2055920 swapFree=4179368/4192956
[pid=20696] ppid=20694 vsize=5356 CPUtime=1.12
/proc/20696/stat : 20696 (SatELiteGTI) S 20694 20696 20256 0 -1 4194304 336 8435 0 0 0 0 104 8 16 0 1 0 310953648 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20696/statm: 1339 239 197 169 0 50 0
[pid=20702] ppid=20696 vsize=163420 CPUtime=1180.81
/proc/20702/stat : 20702 (minisat_static) R 20696 20696 20256 0 -1 4194304 40635 0 0 0 118031 50 0 0 25 0 1 0 310953761 167342080 40621 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20702/statm: 40855 40621 77 171 0 40682 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 168776



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20702
/proc/meminfo: memFree=1768264/2055920 swapFree=4179368/4192956
[pid=20696] ppid=20694 vsize=5356 CPUtime=1.12
/proc/20696/stat : 20696 (SatELiteGTI) S 20694 20696 20256 0 -1 4194304 336 8435 0 0 0 0 104 8 16 0 1 0 310953648 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20696/statm: 1339 239 197 169 0 50 0
[pid=20702] ppid=20696 vsize=163420 CPUtime=1198.91
/proc/20702/stat : 20702 (minisat_static) R 20696 20696 20256 0 -1 4194304 40635 0 0 0 119841 50 0 0 25 0 1 0 310953761 167342080 40621 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/20702/statm: 40855 40621 77 171 0 40682 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 168776

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1200.41
CPU time (s): 1200.03
CPU user time (s): 1199.45
CPU system time (s): 0.58
CPU usage (%): 99.9682
Max. virtual memory (cumulated for all children) (KiB): 168776

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

runsolver used 1.38679 second user time and 3.06153 second system time

The end

Launcher Data 

Begin job on node58 at 2009-05-20 16:21:04
IDJOB=1834263
IDBENCH=71798
IDSOLVER=671
FILE ID=node58/1834263-1242829264
PBS_JOBID= 9322478
Free space on /tmp= 66060 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/parity-games/instance_n8_i9_pp_ci_ce.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834263-1242829264/watcher-1834263-1242829264 -o /tmp/evaluation-result-1834263-1242829264/solver-1834263-1242829264 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1834263-1242829264.cnf

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

MD5SUM BENCH= 30af8150f499f8e8270ccf7f0e5a1a0a
RANDOM SEED=1490360061

node58.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.233
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.233
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:       1940216 kB
Buffers:         23516 kB
Cached:          53776 kB
SwapCached:       7640 kB
Active:          28464 kB
Inactive:        58052 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1940216 kB
SwapTotal:     4192956 kB
SwapFree:      4179368 kB
Dirty:            7764 kB
Writeback:           0 kB
Mapped:          14452 kB
Slab:            15300 kB
Committed_AS:  1011824 kB
PageTables:       1372 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66052 MiB
End job on node58 at 2009-05-20 16:41:07