Trace number 1832109

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.01 1200.81

General information on the benchmark

Nameindustrial/grieu/
vmpc_29.cnf
MD5SUM1e81246225c81a67548d334d1dfcc24b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark47.4558
Satisfiable
(Un)Satisfiability was proved
Number of variables841
Number of clauses120147
Sum of the clauses size314766
Maximum clause length29
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 247183
Number of clauses of size 372906
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 558

Solver Data

0.00/0.00	c Parsing...
0.00/0.08	c ==============================================================================
0.00/0.08	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.08	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.08	c ==============================================================================
0.00/0.08	c |         0 |  120147   314766 |   36044       0        0     nan |  0.000 % |
0.00/0.08	c ==============================================================================
0.00/0.08	c Result  :   #vars: 841   #clauses: 120147   #literals: 314766
0.00/0.08	c CPU time:   0.058991 s
0.00/0.08	c ==============================================================================
0.00/0.18	c This is MiniSat 2.0 beta
0.00/0.18	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.18	c ============================[ Problem Statistics ]=============================
0.00/0.18	c |                                                                             |
0.00/0.18	c |  Number of variables:  841                                                  |
0.00/0.18	c |  Number of clauses:    120147                                               |
0.17/0.24	c |  Parsing time:         0.05         s                                       |
0.17/0.24	c ============================[ Search Statistics ]==============================
0.17/0.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.17/0.24	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.17/0.24	c ===============================================================================
0.17/0.24	c |         0 |     841   120147   314766 |    40049        0    nan |  0.000 % |
0.17/0.27	c |       101 |     841   120147   314766 |    40049      101     46 |  0.000 % |
0.17/0.29	c |       201 |     841   120147   314766 |    40049      201     39 |  0.010 % |
0.17/0.31	c |       302 |     841   120147   314766 |    40049      302     32 |  0.010 % |
0.17/0.32	c |       412 |     841   120147   314766 |    40049      412     32 |  0.010 % |
0.17/0.34	c |       512 |     841   120147   314766 |    40049      512     29 |  0.010 % |
0.17/0.35	c |       622 |     841   120147   314766 |    40049      622     36 |  0.000 % |
0.17/0.37	c |       743 |     841   120147   314766 |    40049      743     37 |  0.000 % |
0.17/0.38	c |       847 |     841   120147   314766 |    40049      847     36 |  0.010 % |
0.17/0.40	c |       958 |     841   120147   314766 |    40049      958     35 |  0.010 % |
0.17/0.41	c |      1082 |     841   120147   314766 |    40049     1082     34 |  0.010 % |
0.17/0.43	c |      1216 |     841   120147   314766 |    40049     1216     39 |  0.000 % |
0.17/0.44	c |      1318 |     841   120147   314766 |    40049     1318     39 |  0.000 % |
0.17/0.45	c |      1431 |     841   120147   314766 |    40049     1431     40 |  0.010 % |
0.17/0.47	c |      1554 |     841   120147   314766 |    40049     1554     39 |  0.010 % |
0.17/0.49	c |      1687 |     841   120147   314766 |    40049     1687     44 |  0.000 % |
0.17/0.51	c |      1836 |     841   120147   314766 |    40049     1836     44 |  0.000 % |
0.17/0.52	c |      1936 |     841   120147   314766 |    40049     1936     43 |  0.010 % |
0.17/0.53	c |      2049 |     841   120147   314766 |    40049     2049     42 |  0.010 % |
0.17/0.55	c |      2170 |     841   120147   314766 |    40049     2170     44 |  0.000 % |
0.17/0.56	c |      2304 |     841   120147   314766 |    40049     2304     45 |  0.010 % |
0.17/0.58	c |      2451 |     841   120147   314766 |    40049     2451     45 |  0.010 % |
0.17/0.60	c |      2612 |     841   120147   314766 |    40049     2612     46 |  0.010 % |
0.17/0.62	c |      2712 |     841   120147   314766 |    40049     2712     46 |  0.010 % |
0.17/0.64	c |      2822 |     841   120147   314766 |    40049     2822     46 |  0.010 % |
0.17/0.66	c |      2945 |     841   120147   314766 |    40049     2945     45 |  0.010 % |
0.17/0.68	c |      3080 |     841   120147   314766 |    40049     3080     45 |  0.010 % |
0.17/0.70	c |      3226 |     841   120147   314766 |    40049     3226     46 |  0.000 % |
0.17/0.72	c |      3387 |     841   120147   314766 |    40049     3387     46 |  0.010 % |
0.17/0.74	c |      3563 |     841   120147   314766 |    40049     3563     46 |  0.010 % |
0.17/0.76	c |      3663 |     841   120147   314766 |    40049     3663     47 |  0.000 % |
0.17/0.77	c |      3778 |     841   120147   314766 |    40049     3778     47 |  0.000 % |
0.17/0.79	c |      3903 |     841   120147   314766 |    40049     3903     46 |  0.010 % |
0.17/0.81	c |      4036 |     841   120147   314766 |    40049     4036     46 |  0.010 % |
0.17/0.83	c |      4187 |     841   120147   314766 |    40049     4187     48 |  0.000 % |
0.17/0.85	c |      4348 |     841   120147   314766 |    40049     4348     48 |  0.000 % |
0.17/0.87	c |      4524 |     841   120147   314766 |    40049     4524     47 |  0.009 % |
0.17/0.90	c |      4718 |     841   120147   314766 |    40049     4718     50 |  0.000 % |
0.17/0.91	c |      4819 |     841   120147   314766 |    40049     4819     50 |  0.000 % |
0.17/0.93	c |      4929 |     841   120147   314766 |    40049     4929     49 |  0.010 % |
0.17/0.95	c |      5054 |     841   120147   314766 |    40049     5054     49 |  0.010 % |
0.17/0.97	c |      5187 |     841   120147   314766 |    40049     5187     50 |  0.000 % |
0.17/0.99	c |      5335 |     841   120147   314766 |    40049     5335     49 |  0.000 % |
0.97/1.01	c |      5497 |     841   120147   314766 |    40049     5497     49 |  0.010 % |
0.97/1.03	c |      5673 |     841   120147   314766 |    40049     5673     48 |  0.010 % |
0.97/1.06	c |      5868 |     841   120147   314766 |    40049     5868     48 |  0.010 % |
0.97/1.09	c |      6083 |     841   120147   314766 |    40049     6083     47 |  0.010 % |
1.08/1.10	c |      6183 |     841   120147   314766 |    40049     6183     48 |  0.000 % |
1.08/1.12	c |      6295 |     841   120147   314766 |    40049     6295     48 |  0.010 % |
1.08/1.14	c |      6417 |     841   120147   314766 |    40049     6417     47 |  0.010 % |
1.08/1.16	c |      6551 |     841   120147   314766 |    40049     6551     47 |  0.010 % |
1.08/1.18	c |      6698 |     841   120147   314766 |    40049     6698     48 |  0.000 % |
1.18/1.21	c |      6858 |     841   120147   314766 |    40049     6858     48 |  0.000 % |
1.18/1.24	c |      7035 |     841   120147   314766 |    40049     7035     47 |  0.010 % |
1.18/1.27	c |      7229 |     841   120147   314766 |    40049     7229     48 |  0.000 % |
1.18/1.30	c |      7442 |     841   120147   314766 |    40049     7442     48 |  0.000 % |
1.27/1.33	c |      7675 |     841   120147   314766 |    40049     7675     48 |  0.000 % |
1.27/1.35	c |      7775 |     841   120147   314766 |    40049     7775     48 |  0.010 % |
1.27/1.37	c |      7889 |     841   120147   314766 |    40049     7889     48 |  0.010 % |
1.27/1.39	c |      8013 |     841   120147   314766 |    40049     8013     47 |  0.010 % |
1.37/1.40	c |      8149 |     841   120147   314766 |    40049     8149     48 |  0.000 % |
1.37/1.43	c |      8295 |     841   120147   314766 |    40049     8295     49 |  0.000 % |
1.37/1.46	c |      8455 |     841   120147   314766 |    40049     8455     48 |  0.010 % |
1.37/1.49	c |      8631 |     841   120147   314766 |    40049     8631     48 |  0.010 % |
1.47/1.52	c |      8827 |     841   120147   314766 |    40049     8827     48 |  0.010 % |
1.47/1.55	c |      9040 |     841   120147   314766 |    40049     9040     47 |  0.000 % |
1.47/1.59	c |      9275 |     841   120147   314766 |    40049     9275     48 |  0.000 % |
1.57/1.63	c |      9531 |     841   120147   314766 |    40049     9531     48 |  0.010 % |
1.57/1.65	c |      9633 |     841   120147   314766 |    40049     9633     48 |  0.000 % |
1.57/1.67	c |      9743 |     841   120147   314766 |    40049     9743     48 |  0.010 % |
1.57/1.69	c |      9865 |     841   120147   314766 |    40049     9865     48 |  0.000 % |
1.67/1.71	c |     10003 |     841   120147   314766 |    40049    10003     48 |  0.010 % |
1.67/1.74	c |     10149 |     841   120147   314766 | 2147483647    10149     48 |  0.000 % |
1.67/1.76	c |     10309 |     841   120147   314766 | 2147483647    10309     48 |  0.000 % |
1.77/1.80	c |     10486 |     841   120147   314766 | 2147483647    10486     48 |  0.010 % |
1.77/1.84	c |     10680 |     841   120147   314766 | 2147483647    10680     47 |  0.010 % |
1.77/1.88	c |     10892 |     841   120147   314766 | 2147483647    10892     47 |  0.010 % |
1.87/1.93	c |     11127 |     841   120147   314766 | 2147483647    11127     46 |  0.010 % |
1.87/1.98	c |     11383 |     841   120147   314766 | 2147483647    11383     46 |  0.010 % |
1.97/2.04	c |     11667 |     841   120147   314766 | 2147483647    11667     45 |  0.010 % |
1.97/2.06	c |     11767 |     841   120147   314766 | 2147483647    11767     45 |  0.010 % |
1.97/2.08	c |     11879 |     841   120147   314766 | 2147483647    11879     45 |  0.010 % |
1.97/2.10	c |     12001 |     841   120147   314766 | 2147483647    12001     45 |  0.010 % |
2.08/2.13	c |     12135 |     841   120147   314766 | 2147483647    12135     45 |  0.000 % |
2.08/2.15	c |     12281 |     841   120147   314766 | 2147483647    12281     45 |  0.010 % |
2.08/2.18	c |     12441 |     841   120147   314766 | 2147483647    12441     45 |  0.010 % |
2.18/2.21	c |     12617 |     841   120147   314766 | 2147483647    12617     45 |  0.010 % |
2.18/2.24	c |     12811 |     841   120147   314766 | 2147483647    12811     45 |  0.010 % |
2.18/2.29	c |     13023 |     841   120147   314766 | 2147483647    13023     44 |  0.010 % |
2.27/2.33	c |     13257 |     841   120147   314766 | 2147483647    13257     45 |  0.000 % |
2.27/2.37	c |     13513 |     841   120147   314766 | 2147483647    13513     45 |  0.010 % |
2.37/2.42	c |     13795 |     841   120147   314766 | 2147483647    13795     46 |  0.000 % |
2.37/2.48	c |     14104 |     841   120147   314766 | 2147483647    14104     45 |  0.010 % |
2.47/2.50	c |     14204 |     841   120147   314766 | 2147483647    14204     45 |  0.010 % |
2.47/2.53	c |     14314 |     841   120147   314766 | 2147483647    14314     45 |  0.010 % |
2.47/2.55	c |     14435 |     841   120147   314766 | 2147483647    14435     45 |  0.010 % |
2.47/2.58	c |     14570 |     841   120147   314766 | 2147483647    14570     45 |  0.010 % |
2.47/2.60	c |     14718 |     841   120147   314766 | 2147483647    14718     45 |  0.000 % |
2.57/2.63	c |     14878 |     841   120147   314766 | 2147483647    14878     45 |  0.000 % |
2.57/2.67	c |     15055 |     841   120147   314766 | 2147483647    15055     45 |  0.009 % |
2.67/2.70	c |     15249 |     841   120147   314766 | 2147483647    15249     45 |  0.000 % |
2.67/2.75	c |     15462 |     841   120147   314766 | 2147483647    15462     45 |  0.010 % |
2.67/2.79	c |     15695 |     841   120147   314766 | 2147483647    15695     45 |  0.010 % |
2.77/2.85	c |     15952 |     841   120147   314766 | 2147483647    15952     45 |  0.010 % |
2.87/2.90	c |     16234 |     841   120147   314766 | 2147483647    16234     44 |  0.010 % |
2.87/2.95	c |     16543 |     841   120147   314766 | 2147483647    16543     44 |  0.010 % |
2.97/3.02	c |     16885 |     841   120147   314766 | 2147483647    16885     45 |  0.000 % |
2.97/3.04	c |     16986 |     841   120147   314766 | 2147483647    16986     45 |  0.010 % |
2.97/3.06	c |     17096 |     841   120147   314766 | 2147483647    17096     45 |  0.010 % |
2.97/3.08	c |     17217 |     841   120147   314766 | 2147483647    17217     45 |  0.000 % |
3.06/3.11	c |     17350 |     841   120147   314766 | 2147483647    17350     45 |  0.010 % |
3.06/3.14	c |     17496 |     841   120147   314766 | 2147483647    17496     45 |  0.009 % |
3.06/3.17	c |     17656 |     841   120147   314766 | 2147483647    17656     45 |  0.009 % |
3.17/3.21	c |     17834 |     841   120147   314766 | 2147483647    17834     45 |  0.009 % |
3.17/3.24	c |     18028 |     841   120147   314766 | 2147483647    18028     44 |  0.000 % |
3.17/3.28	c |     18241 |     841   120147   314766 | 2147483647    18241     45 |  0.000 % |
3.27/3.34	c |     18474 |     841   120147   314766 | 2147483647    18474     45 |  0.000 % |
3.27/3.39	c |     18730 |     841   120147   314766 | 2147483647    18730     45 |  0.010 % |
3.36/3.45	c |     19013 |     841   120147   314766 | 2147483647    19013     45 |  0.000 % |
3.46/3.51	c |     19324 |     841   120147   314766 | 2147483647    19324     45 |  0.000 % |
3.46/3.59	c |     19663 |     841   120147   314766 | 2147483647    19663     45 |  0.010 % |
3.56/3.68	c |     20038 |     841   120147   314766 | 2147483647    20038     45 |  0.010 % |
3.66/3.71	c |     20139 |     841   120147   314766 | 2147483647    20139     45 |  0.000 % |
3.66/3.73	c |     20250 |     841   120147   314766 | 2147483647    20250     45 |  0.010 % |
3.66/3.76	c |     20372 |     841   120147   314766 | 2147483647    20372     45 |  0.010 % |
3.66/3.78	c |     20506 |     841   120147   314766 | 2147483647    20506     45 |  0.010 % |
3.76/3.82	c |     20652 |     841   120147   314766 | 2147483647    20652     45 |  0.000 % |
3.76/3.86	c |     20812 |     841   120147   314766 | 2147483647    20812     45 |  0.000 % |
3.76/3.89	c |     20988 |     841   120147   314766 | 2147483647    20988     45 |  0.010 % |
3.86/3.94	c |     21184 |     841   120147   314766 | 2147483647    21184     45 |  0.009 % |
3.86/4.00	c |     21399 |     841   120147   314766 | 2147483647    21399     45 |  0.010 % |
3.96/4.05	c |     21634 |     841   120147   314766 | 2147483647    21634     44 |  0.009 % |
4.06/4.10	c |     21893 |     841   120147   314766 | 2147483647    21893     44 |  0.009 % |
4.06/4.17	c |     22175 |     841   120147   314766 | 2147483647    22175     44 |  0.010 % |
4.16/4.24	c |     22486 |     841   120147   314766 | 2147483647    22486     44 |  0.010 % |
4.27/4.32	c |     22827 |     841   120147   314766 | 2147483647    22827     44 |  0.010 % |
4.37/4.41	c |     23199 |     841   120147   314766 | 2147483647    23199     43 |  0.010 % |
4.37/4.49	c |     23608 |     841   120147   314766 | 2147483647    23608     43 |  0.010 % |
4.46/4.52	c |     23710 |     841   120147   314766 | 2147483647    23710     43 |  0.009 % |
4.46/4.55	c |     23822 |     841   120147   314766 | 2147483647    23822     43 |  0.010 % |
4.46/4.58	c |     23945 |     841   120147   314766 | 2147483647    23945     43 |  0.009 % |
4.56/4.61	c |     24079 |     841   120147   314766 | 2147483647    24079     43 |  0.009 % |
4.56/4.64	c |     24226 |     841   120147   314766 | 2147483647    24226     43 |  0.000 % |
4.56/4.68	c |     24386 |     841   120147   314766 | 2147483647    24386     44 |  0.010 % |
4.66/4.72	c |     24562 |     841   120147   314766 | 2147483647    24562     43 |  0.010 % |
4.66/4.75	c |     24756 |     841   120147   314766 | 2147483647    24756     44 |  0.000 % |
4.76/4.80	c |     24969 |     841   120147   314766 | 2147483647    24969     44 |  0.010 % |
4.76/4.85	c |     25204 |     841   120147   314766 | 2147483647    25204     44 |  0.010 % |
4.86/4.90	c |     25462 |     841   120147   314766 | 2147483647    25462     44 |  0.009 % |
4.86/4.98	c |     25744 |     841   120147   314766 | 2147483647    25744     44 |  0.010 % |
4.96/5.06	c |     26053 |     841   120147   314766 | 2147483647    26053     43 |  0.010 % |
5.06/5.13	c |     26394 |     841   120147   314766 | 2147483647    26394     44 |  0.000 % |
5.16/5.22	c |     26766 |     841   120147   314766 | 2147483647    26766     44 |  0.010 % |
5.26/5.32	c |     27175 |     841   120147   314766 | 2147483647    27175     43 |  0.009 % |
5.37/5.44	c |     27624 |     841   120147   314766 | 2147483647    27624     43 |  0.010 % |
5.37/5.47	c |     27725 |     841   120147   314766 | 2147483647    27725     43 |  0.010 % |
5.37/5.50	c |     27835 |     841   120147   314766 | 2147483647    27835     43 |  0.010 % |
5.47/5.53	c |     27958 |     841   120147   314766 | 2147483647    27958     43 |  0.009 % |
5.47/5.56	c |     28092 |     841   120147   314766 | 2147483647    28092     43 |  0.009 % |
5.47/5.58	c |     28239 |     841   120147   314766 | 2147483647    28239     43 |  0.000 % |
5.56/5.61	c |     28401 |     841   120147   314766 | 2147483647    28401     43 |  0.000 % |
5.56/5.66	c |     28578 |     841   120147   314766 | 2147483647    28578     43 |  0.010 % |
5.66/5.70	c |     28771 |     841   120147   314766 | 2147483647    28771     43 |  0.000 % |
5.66/5.75	c |     28983 |     841   120147   314766 | 2147483647    28983     43 |  0.000 % |
5.76/5.80	c |     29216 |     841   120147   314766 | 2147483647    29216     43 |  0.010 % |
5.76/5.87	c |     29472 |     841   120147   314766 | 2147483647    29472     43 |  0.010 % |
5.86/5.93	c |     29753 |     841   120147   314766 | 2147483647    29753     43 |  0.010 % |
5.96/6.01	c |     30063 |     841   120147   314766 | 2147483647    30063     43 |  0.010 % |
6.06/6.10	c |     30402 |     841   120147   314766 | 2147483647    30402     43 |  0.000 % |
6.17/6.20	c |     30774 |     841   120147   314766 | 2147483647    30774     43 |  0.010 % |
6.27/6.31	c |     31183 |     841   120147   314766 | 2147483647    31183     43 |  0.010 % |
6.36/6.43	c |     31632 |     841   120147   314766 | 2147483647    31632     43 |  0.010 % |
6.47/6.56	c |     32126 |     841   120147   314766 | 2147483647    32126     43 |  0.009 % |
6.47/6.59	c |     32226 |     841   120147   314766 | 2147483647    32226     43 |  0.010 % |
6.57/6.62	c |     32336 |     841   120147   314766 | 2147483647    32336     43 |  0.009 % |
6.57/6.66	c |     32457 |     841   120147   314766 | 2147483647    32457     43 |  0.009 % |
6.66/6.70	c |     32590 |     841   120147   314766 | 2147483647    32590     43 |  0.010 % |
6.66/6.74	c |     32737 |     841   120147   314766 | 2147483647    32737     43 |  0.000 % |
6.66/6.78	c |     32897 |     841   120147   314766 | 2147483647    32897     43 |  0.000 % |
6.76/6.82	c |     33076 |     841   120147   314766 | 2147483647    33076     43 |  0.009 % |
6.76/6.87	c |     33269 |     841   120147   314766 | 2147483647    33269     43 |  0.000 % |
6.86/6.93	c |     33482 |     841   120147   314766 | 2147483647    33482     43 |  0.000 % |
6.86/6.99	c |     33715 |     841   120147   314766 | 2147483647    33715     43 |  0.000 % |
6.96/7.06	c |     33973 |     841   120147   314766 | 2147483647    33973     43 |  0.010 % |
7.06/7.15	c |     34254 |     841   120147   314766 | 2147483647    34254     43 |  0.010 % |
7.16/7.25	c |     34567 |     841   120147   314766 | 2147483647    34567     43 |  0.010 % |
7.26/7.35	c |     34907 |     841   120147   314766 | 2147483647    34907     44 |  0.000 % |
7.35/7.45	c |     35280 |     841   120147   314766 | 2147483647    35280     44 |  0.000 % |
7.45/7.55	c |     35689 |     841   120147   314766 | 2147483647    35689     44 |  0.010 % |
7.55/7.69	c |     36143 |     841   120147   314766 | 2147483647    36143     43 |  0.010 % |
7.75/7.82	c |     36637 |     841   120147   314766 | 2147483647    36637     43 |  0.010 % |
7.85/7.97	c |     37179 |     841   120147   314766 | 2147483647    37179     43 |  0.010 % |
7.95/8.00	c |     37281 |     841   120147   314766 | 2147483647    37281     43 |  0.010 % |
7.95/8.03	c |     37394 |     841   120147   314766 | 2147483647    37394     43 |  0.010 % |
7.95/8.07	c |     37515 |     841   120147   314766 | 2147483647    37515     43 |  0.010 % |
8.05/8.10	c |     37649 |     841   120147   314766 | 2147483647    37649     43 |  0.000 % |
8.05/8.14	c |     37796 |     841   120147   314766 | 2147483647    37796     43 |  0.000 % |
8.05/8.18	c |     37956 |     841   120147   314766 | 2147483647    37956     43 |  0.010 % |
8.15/8.24	c |     38133 |     841   120147   314766 | 2147483647    38133     43 |  0.010 % |
8.15/8.29	c |     38326 |     841   120147   314766 | 2147483647    38326     43 |  0.010 % |
8.26/8.36	c |     38539 |     841   120147   314766 | 2147483647    38539     43 |  0.010 % |
8.35/8.42	c |     38774 |     841   120147   314766 | 2147483647    38774     44 |  0.000 % |
8.45/8.51	c |     39032 |     841   120147   314766 | 2147483647    39032     43 |  0.010 % |
8.45/8.58	c |     39315 |     841   120147   314766 | 2147483647    39315     44 |  0.000 % |
8.55/8.65	c |     39624 |     841   120147   314766 | 2147483647    39624     44 |  0.009 % |
8.66/8.76	c |     39964 |     841   120147   314766 | 2147483647    39964     44 |  0.009 % |
8.76/8.87	c |     40336 |     841   120147   314766 | 2147483647    40336     43 |  0.009 % |
8.95/9.01	c |     40745 |     841   120147   314766 | 2147483647    40745     43 |  0.010 % |
9.05/9.16	c |     41194 |     841   120147   314766 | 2147483647    41194     43 |  0.010 % |
9.25/9.31	c |     41687 |     841   120147   314766 | 2147483647    41687     43 |  0.010 % |
9.35/9.47	c |     42229 |     841   120147   314766 | 2147483647    42229     43 |  0.010 % |
9.55/9.66	c |     42825 |     841   120147   314766 | 2147483647    42825     43 |  0.010 % |
9.55/9.69	c |     42927 |     841   120147   314766 | 2147483647    42927     43 |  0.010 % |
9.65/9.72	c |     43037 |     841   120147   314766 | 2147483647    43037     43 |  0.010 % |
9.65/9.76	c |     43158 |     841   120147   314766 | 2147483647    43158     43 |  0.000 % |
9.65/9.80	c |     43293 |     841   120147   314766 | 2147483647    43293     43 |  0.010 % |
9.75/9.84	c |     43440 |     841   120147   314766 | 2147483647    43440     43 |  0.010 % |
9.75/9.90	c |     43601 |     841   120147   314766 | 2147483647    43601     43 |  0.010 % |
9.85/9.95	c |     43780 |     841   120147   314766 | 2147483647    43780     43 |  0.010 % |
9.95/10.00	c |     43974 |     841   120147   314766 | 2147483647    43974     43 |  0.010 % |
9.95/10.06	c |     44189 |     841   120147   314766 | 2147483647    44189     43 |  0.010 % |
10.05/10.14	c |     44425 |     841   120147   314766 | 2147483647    44425     43 |  0.010 % |
10.15/10.23	c |     44681 |     841   120147   314766 | 2147483647    44681     42 |  0.010 % |
10.25/10.30	c |     44965 |     841   120147   314766 | 2147483647    44965     42 |  0.010 % |
10.25/10.39	c |     45274 |     841   120147   314766 | 2147483647    45274     42 |  0.010 % |
10.35/10.50	c |     45614 |     841   120147   314766 | 2147483647    45614     42 |  0.010 % |
10.55/10.61	c |     45986 |     841   120147   314766 | 2147483647    45986     42 |  0.010 % |
10.65/10.74	c |     46395 |     841   120147   314766 | 2147483647    46395     42 |  0.010 % |
10.75/10.87	c |     46846 |     841   120147   314766 | 2147483647    46846     42 |  0.010 % |
10.95/11.01	c |     47339 |     841   120147   314766 | 2147483647    47339     42 |  0.010 % |
11.05/11.17	c |     47881 |     841   120147   314766 | 2147483647    47881     42 |  0.010 % |
11.25/11.37	c |     48478 |     841   120147   314766 | 2147483647    48478     42 |  0.010 % |
11.54/11.60	c |     49133 |     841   120147   314766 | 2147483647    49133     42 |  0.010 % |
11.54/11.63	c |     49233 |     841   120147   314766 | 2147483647    49233     42 |  0.010 % |
11.54/11.68	c |     49343 |     841   120147   314766 | 2147483647    49343     42 |  0.010 % |
11.64/11.72	c |     49466 |     841   120147   314766 | 2147483647    49466     42 |  0.010 % |
11.64/11.76	c |     49599 |     841   120147   314766 | 2147483647    49599     42 |  0.010 % |
11.74/11.81	c |     49747 |     841   120147   314766 | 2147483647    49747     42 |  0.000 % |
11.74/11.86	c |     49907 |     841   120147   314766 | 2147483647    49907     42 |  0.000 % |
11.84/11.92	c |     50084 |     841   120147   314766 | 2147483647    50084     42 |  0.010 % |
11.84/11.98	c |     50277 |     841   120147   314766 | 2147483647    50277     42 |  0.000 % |
11.94/12.06	c |     50489 |     841   120147   314766 | 2147483647    50489     42 |  0.000 % |
12.04/12.15	c |     50724 |     841   120147   314766 | 2147483647    50724     42 |  0.010 % |
12.14/12.25	c |     50980 |     841   120147   314766 | 2147483647    50980     42 |  0.010 % |
12.24/12.34	c |     51261 |     841   120147   314766 | 2147483647    51261     42 |  0.010 % |
12.34/12.44	c |     51571 |     841   120147   314766 | 2147483647    51571     42 |  0.010 % |
12.45/12.53	c |     51910 |     841   120147   314766 | 2147483647    51910     42 |  0.000 % |
12.55/12.65	c |     52283 |     841   120147   314766 | 2147483647    52283     42 |  0.000 % |
12.75/12.80	c |     52692 |     841   120147   314766 | 2147483647    52692     42 |  0.000 % |
12.85/12.95	c |     53143 |     841   120147   314766 | 2147483647    53143     42 |  0.010 % |
13.05/13.11	c |     53636 |     841   120147   314766 | 2147483647    53636     42 |  0.010 % |
13.15/13.29	c |     54179 |     841   120147   314766 | 2147483647    54179     42 |  0.010 % |
13.35/13.48	c |     54775 |     841   120147   314766 | 2147483647    54775     42 |  0.010 % |
13.65/13.72	c |     55430 |     841   120147   314766 | 2147483647    55430     42 |  0.010 % |
13.85/13.97	c |     56150 |     841   120147   314766 | 2147483647    56150     42 |  0.010 % |
13.95/14.02	c |     56250 |     841   120147   314766 | 2147483647    56250     42 |  0.010 % |
13.95/14.06	c |     56360 |     841   120147   314766 | 2147483647    56360     42 |  0.010 % |
13.95/14.10	c |     56483 |     841   120147   314766 | 2147483647    56483     42 |  0.010 % |
14.05/14.14	c |     56618 |     841   120147   314766 | 2147483647    56618     42 |  0.010 % |
14.15/14.21	c |     56764 |     841   120147   314766 | 2147483647    56764     42 |  0.010 % |
14.15/14.27	c |     56927 |     841   120147   314766 | 2147483647    56927     42 |  0.010 % |
14.25/14.32	c |     57105 |     841   120147   314766 | 2147483647    57105     42 |  0.010 % |
14.25/14.39	c |     57298 |     841   120147   314766 | 2147483647    57298     42 |  0.010 % |
14.35/14.46	c |     57510 |     841   120147   314766 | 2147483647    57510     42 |  0.010 % |
14.45/14.54	c |     57743 |     841   120147   314766 | 2147483647    57743     42 |  0.000 % |
14.55/14.62	c |     58000 |     841   120147   314766 | 2147483647    58000     42 |  0.000 % |
14.65/14.72	c |     58283 |     841   120147   314766 | 2147483647    58283     42 |  0.000 % |
14.75/14.83	c |     58595 |     841   120147   314766 | 2147483647    58595     42 |  0.010 % |
14.85/14.93	c |     58936 |     841   120147   314766 | 2147483647    58936     42 |  0.000 % |
14.95/15.06	c |     59308 |     841   120147   314766 | 2147483647    59308     42 |  0.010 % |
15.15/15.21	c |     59719 |     841   120147   314766 | 2147483647    59719     42 |  0.010 % |
15.25/15.36	c |     60169 |     841   120147   314766 | 2147483647    60169     42 |  0.000 % |
15.45/15.55	c |     60662 |     841   120147   314766 | 2147483647    60662     42 |  0.010 % |
15.65/15.77	c |     61206 |     841   120147   314766 | 2147483647    61206     42 |  0.010 % |
15.84/15.97	c |     61803 |     841   120147   314766 | 2147483647    61803     42 |  0.010 % |
16.14/16.23	c |     62460 |     841   120147   314766 | 2147483647    62460     42 |  0.010 % |
16.45/16.53	c |     63183 |     841   120147   314766 | 2147483647    63183     42 |  0.010 % |
16.74/16.84	c |     63975 |     841   120147   314766 | 2147483647    63975     42 |  0.010 % |
16.74/16.88	c |     64075 |     841   120147   314766 | 2147483647    64075     42 |  0.010 % |
16.84/16.92	c |     64186 |     841   120147   314766 | 2147483647    64186     42 |  0.000 % |
16.84/16.96	c |     64307 |     841   120147   314766 | 2147483647    64307     42 |  0.010 % |
16.94/17.01	c |     64442 |     841   120147   314766 | 2147483647    64442     42 |  0.010 % |
16.94/17.07	c |     64591 |     841   120147   314766 | 2147483647    64591     42 |  0.010 % |
17.04/17.14	c |     64751 |     841   120147   314766 | 2147483647    64751     42 |  0.000 % |
17.14/17.20	c |     64929 |     841   120147   314766 | 2147483647    64929     42 |  0.010 % |
17.14/17.28	c |     65122 |     841   120147   314766 | 2147483647    65122     42 |  0.010 % |
17.24/17.36	c |     65336 |     841   120147   314766 | 2147483647    65336     42 |  0.010 % |
17.34/17.45	c |     65570 |     841   120147   314766 | 2147483647    65570     42 |  0.010 % |
17.44/17.55	c |     65827 |     841   120147   314766 | 2147483647    65827     42 |  0.000 % |
17.54/17.64	c |     66111 |     841   120147   314766 | 2147483647    66111     43 |  0.000 % |
17.64/17.78	c |     66420 |     841   120147   314766 | 2147483647    66420     42 |  0.000 % |
17.74/17.89	c |     66759 |     841   120147   314766 | 2147483647    66759     42 |  0.010 % |
17.94/18.04	c |     67132 |     841   120147   314766 | 2147483647    67132     42 |  0.009 % |
18.04/18.19	c |     67544 |     841   120147   314766 | 2147483647    67544     42 |  0.009 % |
18.24/18.35	c |     67993 |     841   120147   314766 | 2147483647    67993     43 |  0.000 % |
18.44/18.57	c |     68486 |     841   120147   314766 | 2147483647    68486     43 |  0.000 % |
18.74/18.80	c |     69030 |     841   120147   314766 | 2147483647    69030     43 |  0.010 % |
18.93/19.03	c |     69628 |     841   120147   314766 | 2147483647    69628     43 |  0.000 % |
19.23/19.34	c |     70283 |     841   120147   314766 | 2147483647    70283     43 |  0.010 % |
19.53/19.67	c |     71005 |     841   120147   314766 | 2147483647    71005     43 |  0.010 % |
19.84/19.99	c |     71798 |     841   120147   314766 | 2147483647    71798     44 |  0.000 % |
20.34/20.45	c |     72669 |     841   120147   314766 | 2147483647    72669     44 |  0.010 % |
20.44/20.51	c |     72770 |     841   120147   314766 | 2147483647    72770     44 |  0.010 % |
20.44/20.56	c |     72881 |     841   120147   314766 | 2147483647    72881     43 |  0.010 % |
20.54/20.64	c |     73003 |     841   120147   314766 | 2147483647    73003     43 |  0.010 % |
20.54/20.69	c |     73136 |     841   120147   314766 | 2147483647    73136     44 |  0.000 % |
20.64/20.77	c |     73285 |     841   120147   314766 | 2147483647    73285     44 |  0.010 % |
20.74/20.86	c |     73449 |     841   120147   314766 | 2147483647    73449     44 |  0.010 % |
20.84/20.93	c |     73625 |     841   120147   314766 | 2147483647    73625     44 |  0.010 % |
20.94/21.02	c |     73822 |     841   120147   314766 | 2147483647    73822     43 |  0.010 % |
21.04/21.12	c |     74037 |     841   120147   314766 | 2147483647    74037     43 |  0.010 % |
21.14/21.23	c |     74270 |     841   120147   314766 | 2147483647    74270     44 |  0.000 % |
21.24/21.37	c |     74529 |     841   120147   314766 | 2147483647    74529     44 |  0.010 % |
21.44/21.50	c |     74812 |     841   120147   314766 | 2147483647    74812     44 |  0.000 % |
21.54/21.65	c |     75124 |     841   120147   314766 | 2147483647    75124     44 |  0.010 % |
21.73/21.81	c |     75464 |     841   120147   314766 | 2147483647    75464     44 |  0.010 % |
21.84/22.00	c |     75838 |     841   120147   314766 | 2147483647    75838     44 |  0.010 % |
22.03/22.19	c |     76247 |     841   120147   314766 | 2147483647    76247     44 |  0.010 % |
22.33/22.41	c |     76697 |     841   120147   314766 | 2147483647    76697     44 |  0.010 % |
22.53/22.66	c |     77191 |     841   120147   314766 | 2147483647    77191     44 |  0.010 % |
22.83/22.91	c |     77733 |     841   120147   314766 | 2147483647    77733     44 |  0.010 % |
23.04/23.18	c |     78330 |     841   120147   314766 | 2147483647    78330     43 |  0.010 % |
23.33/23.48	c |     78985 |     841   120147   314766 | 2147483647    78985     43 |  0.010 % |
23.73/23.84	c |     79707 |     841   120147   314766 | 2147483647    79707     43 |  0.010 % |
24.03/24.20	c |     80499 |     841   120147   314766 | 2147483647    80499     43 |  0.010 % |
24.53/24.63	c |     81370 |     841   120147   314766 | 2147483647    81370     43 |  0.010 % |
25.04/25.16	c |     82330 |     841   120147   314766 | 2147483647    82330     43 |  0.010 % |
25.14/25.22	c |     82435 |     841   120147   314766 | 2147483647    82435     43 |  0.010 % |
25.14/25.28	c |     82547 |     841   120147   314766 | 2147483647    82547     43 |  0.010 % |
25.24/25.33	c |     82671 |     841   120147   314766 | 2147483647    82671     43 |  0.000 % |
25.34/25.41	c |     82805 |     841   120147   314766 | 2147483647    82805     43 |  0.010 % |
25.44/25.50	c |     82953 |     841   120147   314766 | 2147483647    82953     43 |  0.010 % |
25.54/25.60	c |     83113 |     841   120147   314766 | 2147483647    83113     43 |  0.010 % |
25.64/25.71	c |     83289 |     841   120147   314766 | 2147483647    83289     43 |  0.010 % |
25.74/25.81	c |     83483 |     841   120147   314766 | 2147483647    83483     43 |  0.010 % |
25.84/25.93	c |     83695 |     841   120147   314766 | 2147483647    83695     43 |  0.010 % |
25.94/26.06	c |     83928 |     841   120147   314766 | 2147483647    83928     43 |  0.010 % |
26.14/26.20	c |     84185 |     841   120147   314766 | 2147483647    84185     43 |  0.010 % |
26.24/26.35	c |     84468 |     841   120147   314766 | 2147483647    84468     43 |  0.010 % |
26.34/26.50	c |     84778 |     841   120147   314766 | 2147483647    84778     43 |  0.010 % |
26.54/26.64	c |     85120 |     841   120147   314766 | 2147483647    85120     43 |  0.010 % |
26.74/26.82	c |     85497 |     841   120147   314766 | 2147483647    85497     43 |  0.010 % |
26.93/27.03	c |     85909 |     841   120147   314766 | 2147483647    85909     43 |  0.010 % |
27.13/27.27	c |     86360 |     841   120147   314766 | 2147483647    86360     43 |  0.010 % |
27.34/27.48	c |     86855 |     841   120147   314766 | 2147483647    86855     43 |  0.010 % |
27.63/27.77	c |     87397 |     841   120147   314766 | 2147483647    87397     43 |  0.010 % |
28.03/28.11	c |     87993 |     841   120147   314766 | 2147483647    87993     43 |  0.010 % |
28.33/28.47	c |     88648 |     841   120147   314766 | 2147483647    88648     43 |  0.010 % |
28.83/28.91	c |     89370 |     841   120147   314766 | 2147483647    89370     43 |  0.010 % |
29.23/29.33	c |     90162 |     841   120147   314766 | 2147483647    90162     43 |  0.010 % |
29.64/29.79	c |     91034 |     841   120147   314766 | 2147483647    91034     43 |  0.010 % |
30.23/30.30	c |     91992 |     841   120147   314766 | 2147483647    91992     43 |  0.000 % |
30.83/30.91	c |     93050 |     841   120147   314766 | 2147483647    93050     43 |  0.010 % |
30.83/30.96	c |     93150 |     841   120147   314766 | 2147483647    93150     43 |  0.000 % |
30.93/31.02	c |     93261 |     841   120147   314766 | 2147483647    93261     43 |  0.010 % |
30.93/31.09	c |     93382 |     841   120147   314766 | 2147483647    93382     43 |  0.010 % |
31.03/31.17	c |     93516 |     841   120147   314766 | 2147483647    93516     43 |  0.010 % |
31.13/31.25	c |     93662 |     841   120147   314766 | 2147483647    93662     43 |  0.000 % |
31.23/31.33	c |     93822 |     841   120147   314766 | 2147483647    93822     43 |  0.010 % |
31.33/31.44	c |     93998 |     841   120147   314766 | 2147483647    93998     43 |  0.010 % |
31.43/31.56	c |     94191 |     841   120147   314766 | 2147483647    94191     43 |  0.010 % |
31.53/31.68	c |     94403 |     841   120147   314766 | 2147483647    94403     43 |  0.010 % |
31.73/31.80	c |     94638 |     841   120147   314766 | 2147483647    94638     43 |  0.010 % |
31.83/31.94	c |     94894 |     841   120147   314766 | 2147483647    94894     43 |  0.010 % |
31.93/32.09	c |     95177 |     841   120147   314766 | 2147483647    95177     43 |  0.010 % |
32.13/32.26	c |     95486 |     841   120147   314766 | 2147483647    95486     43 |  0.009 % |
32.33/32.43	c |     95825 |     841   120147   314766 | 2147483647    95825     43 |  0.010 % |
32.53/32.65	c |     96199 |     841   120147   314766 | 2147483647    96199     43 |  0.010 % |
32.73/32.87	c |     96608 |     841   120147   314766 | 2147483647    96608     43 |  0.010 % |
33.03/33.11	c |     97058 |     841   120147   314766 | 2147483647    97058     43 |  0.010 % |
33.22/33.35	c |     97552 |     841   120147   314766 | 2147483647    97552     43 |  0.000 % |
33.52/33.64	c |     98094 |     841   120147   314766 | 2147483647    98094     43 |  0.000 % |
33.82/33.94	c |     98690 |     841   120147   314766 | 2147483647    98690     44 |  0.000 % |
34.22/34.32	c |     99346 |     841   120147   314766 | 2147483647    99346     44 |  0.000 % |
34.62/34.78	c |    100068 |     841   120147   314766 | 2147483647   100068     44 |  0.010 % |
35.03/35.19	c |    100860 |     841   120147   314766 | 2147483647   100860     44 |  0.000 % |
35.62/35.76	c |    101733 |     841   120147   314766 | 2147483647   101733     44 |  0.010 % |
36.23/36.37	c |    102691 |     841   120147   314766 | 2147483647   102691     43 |  0.010 % |
36.83/36.98	c |    103744 |     841   120147   314766 | 2147483647   103744     43 |  0.010 % |
37.53/37.68	c |    104903 |     841   120147   314766 | 2147483647   104903     43 |  0.010 % |
37.63/37.74	c |    105003 |     841   120147   314766 | 2147483647   105003     43 |  0.010 % |
37.63/37.80	c |    105114 |     841   120147   314766 | 2147483647   105114     44 |  0.000 % |
37.73/37.87	c |    105235 |     841   120147   314766 | 2147483647   105235     44 |  0.000 % |
37.83/37.94	c |    105370 |     841   120147   314766 | 2147483647   105370     44 |  0.010 % |
37.93/38.02	c |    105516 |     841   120147   314766 | 2147483647   105516     43 |  0.010 % |
38.03/38.10	c |    105676 |     841   120147   314766 | 2147483647   105676     44 |  0.000 % |
38.03/38.19	c |    105852 |     841   120147   314766 | 2147483647   105852     44 |  0.010 % |
38.23/38.30	c |    106045 |     841   120147   314766 | 2147483647   106045     44 |  0.010 % |
38.23/38.40	c |    106258 |     841   120147   314766 | 2147483647   106258     44 |  0.000 % |
38.43/38.52	c |    106491 |     841   120147   314766 | 2147483647   106491     44 |  0.000 % |
38.53/38.69	c |    106748 |     841   120147   314766 | 2147483647   106748     44 |  0.000 % |
38.73/38.86	c |    107030 |     841   120147   314766 | 2147483647   107030     44 |  0.010 % |
38.93/39.00	c |    107339 |     841   120147   314766 | 2147483647   107339     44 |  0.000 % |
39.12/39.24	c |    107681 |     841   120147   314766 | 2147483647   107681     44 |  0.010 % |
39.32/39.47	c |    108054 |     841   120147   314766 | 2147483647   108054     44 |  0.010 % |
39.62/39.71	c |    108463 |     841   120147   314766 | 2147483647   108463     44 |  0.000 % |
39.82/39.96	c |    108912 |     841   120147   314766 | 2147483647   108912     44 |  0.010 % |
40.12/40.26	c |    109405 |     841   120147   314766 | 2147483647   109405     44 |  0.010 % |
40.42/40.57	c |    109949 |     841   120147   314766 | 2147483647   109949     44 |  0.010 % |
40.92/41.00	c |    110546 |     841   120147   314766 | 2147483647   110546     44 |  0.010 % |
41.32/41.44	c |    111205 |     841   120147   314766 | 2147483647   111205     44 |  0.000 % |
41.82/41.91	c |    111927 |     841   120147   314766 | 2147483647   111927     44 |  0.010 % |
42.22/42.39	c |    112719 |     841   120147   314766 | 2147483647   112719     44 |  0.010 % |
42.82/42.95	c |    113592 |     841   120147   314766 | 2147483647   113592     44 |  0.010 % |
43.52/43.61	c |    114551 |     841   120147   314766 | 2147483647   114551     45 |  0.000 % |
44.22/44.31	c |    115606 |     841   120147   314766 | 2147483647   115606     45 |  0.000 % |
44.92/45.06	c |    116765 |     841   120147   314766 | 2147483647   116765     45 |  0.000 % |
45.82/45.97	c |    118039 |     841   120147   314766 | 2147483647   118039     45 |  0.010 % |
45.92/46.05	c |    118139 |     841   120147   314766 | 2147483647   118139     45 |  0.000 % |
46.03/46.16	c |    118249 |     841   120147   314766 | 2147483647   118249     45 |  0.010 % |
46.13/46.27	c |    118370 |     841   120147   314766 | 2147483647   118370     45 |  0.010 % |
46.22/46.37	c |    118503 |     841   120147   314766 | 2147483647   118503     45 |  0.010 % |
46.32/46.48	c |    118650 |     841   120147   314766 | 2147483647   118650     45 |  0.000 % |
46.52/46.60	c |    118810 |     841   120147   314766 | 2147483647   118810     45 |  0.009 % |
46.62/46.72	c |    118987 |     841   120147   314766 | 2147483647   118987     45 |  0.010 % |
46.72/46.87	c |    119183 |     841   120147   314766 | 2147483647   119183     45 |  0.009 % |
46.92/47.03	c |    119395 |     841   120147   314766 | 2147483647   119395     45 |  0.000 % |
47.02/47.20	c |    119628 |     841   120147   314766 | 2147483647   119628     45 |  0.009 % |
47.22/47.37	c |    119886 |     841   120147   314766 | 2147483647   119886     45 |  0.010 % |
47.42/47.56	c |    120167 |     841   120147   314766 | 2147483647   120167     45 |  0.009 % |
47.62/47.80	c |    120477 |     841   120147   314766 | 2147483647   120477     45 |  0.009 % |
47.92/48.04	c |    120817 |     841   120147   314766 | 2147483647   120817     45 |  0.000 % |
48.22/48.30	c |    121191 |     841   120147   314766 | 2147483647   121191     45 |  0.009 % |
48.42/48.59	c |    121601 |     841   120147   314766 | 2147483647   121601     45 |  0.000 % |
48.81/48.92	c |    122052 |     841   120147   314766 | 2147483647   122052     45 |  0.000 % |
49.21/49.31	c |    122545 |     841   120147   314766 | 2147483647   122545     45 |  0.000 % |
49.61/49.71	c |    123088 |     841   120147   314766 | 2147483647   123088     45 |  0.000 % |
50.01/50.11	c |    123684 |     841   120147   314766 | 2147483647   123684     45 |  0.000 % |
50.52/50.65	c |    124341 |     841   120147   314766 | 2147483647   124341     45 |  0.010 % |
51.11/51.23	c |    125062 |     841   120147   314766 | 2147483647   125062     45 |  0.010 % |
51.71/51.81	c |    125856 |     841   120147   314766 | 2147483647   125856     45 |  0.000 % |
52.41/52.50	c |    126729 |     841   120147   314766 | 2147483647   126729     45 |  0.000 % |
53.00/53.18	c |    127687 |     841   120147   314766 | 2147483647   127687     45 |  0.010 % |
53.80/53.99	c |    128741 |     841   120147   314766 | 2147483647   128741     45 |  0.000 % |
54.70/54.89	c |    129901 |     841   120147   314766 | 2147483647   129901     45 |  0.010 % |
55.80/55.94	c |    131174 |     841   120147   314766 | 2147483647   131174     45 |  0.010 % |
56.90/57.02	c |    132575 |     841   120147   314766 | 2147483647   132575     45 |  0.010 % |
56.90/57.09	c |    132675 |     841   120147   314766 | 2147483647   132675     45 |  0.000 % |
57.00/57.18	c |    132786 |     841   120147   314766 | 2147483647   132786     45 |  0.000 % |
57.10/57.27	c |    132907 |     841   120147   314766 | 2147483647   132907     45 |  0.010 % |
57.20/57.38	c |    133040 |     841   120147   314766 | 2147483647   133040     45 |  0.000 % |
57.30/57.49	c |    133188 |     841   120147   314766 | 2147483647   133188     45 |  0.000 % |
57.49/57.60	c |    133350 |     841   120147   314766 | 2147483647   133350     45 |  0.010 % |
57.59/57.72	c |    133528 |     841   120147   314766 | 2147483647   133528     45 |  0.010 % |
57.69/57.88	c |    133722 |     841   120147   314766 | 2147483647   133722     45 |  0.000 % |
57.89/58.07	c |    133935 |     841   120147   314766 | 2147483647   133935     45 |  0.010 % |
58.10/58.27	c |    134171 |     841   120147   314766 | 2147483647   134171     45 |  0.010 % |
58.39/58.51	c |    134427 |     841   120147   314766 | 2147483647   134427     45 |  0.010 % |
58.59/58.75	c |    134712 |     841   120147   314766 | 2147483647   134712     45 |  0.010 % |
58.89/59.03	c |    135021 |     841   120147   314766 | 2147483647   135021     45 |  0.010 % |
59.20/59.32	c |    135370 |     841   120147   314766 | 2147483647   135370     45 |  0.000 % |
59.49/59.61	c |    135742 |     841   120147   314766 | 2147483647   135742     45 |  0.010 % |
59.79/59.90	c |    136152 |     841   120147   314766 | 2147483647   136152     45 |  0.010 % |
60.09/60.21	c |    136602 |     841   120147   314766 | 2147483647   136602     45 |  0.010 % |
60.49/60.65	c |    137096 |     841   120147   314766 | 2147483647   137096     45 |  0.010 % |
60.89/61.05	c |    137640 |     841   120147   314766 | 2147483647   137640     45 |  0.000 % |
61.39/61.55	c |    138239 |     841   120147   314766 | 2147483647   138239     45 |  0.000 % |
61.89/62.07	c |    138896 |     841   120147   314766 | 2147483647   138896     45 |  0.010 % |
62.49/62.63	c |    139619 |     841   120147   314766 | 2147483647   139619     45 |  0.010 % |
63.19/63.31	c |    140413 |     841   120147   314766 | 2147483647   140413     45 |  0.010 % |
63.90/64.00	c |    141290 |     841   120147   314766 | 2147483647   141290     45 |  0.010 % |
64.70/64.82	c |    142248 |     841   120147   314766 | 2147483647   142248     45 |  0.010 % |
65.60/65.73	c |    143304 |     841   120147   314766 | 2147483647   143304     45 |  0.010 % |
66.60/66.77	c |    144463 |     841   120147   314766 | 2147483647   144463     45 |  0.010 % |
67.69/67.87	c |    145737 |     841   120147   314766 | 2147483647   145737     45 |  0.010 % |
69.20/69.37	c |    147141 |     841   120147   314766 | 2147483647   147141     45 |  0.010 % |
70.79/70.90	c |    148682 |     841   120147   314766 | 2147483647   148682     45 |  0.010 % |
70.89/71.01	c |    148783 |     841   120147   314766 | 2147483647   148783     45 |  0.010 % |
70.99/71.12	c |    148893 |     841   120147   314766 | 2147483647   148893     45 |  0.009 % |
71.09/71.20	c |    149016 |     841   120147   314766 | 2147483647   149016     45 |  0.010 % |
71.19/71.32	c |    149149 |     841   120147   314766 | 2147483647   149149     45 |  0.000 % |
71.30/71.46	c |    149295 |     841   120147   314766 | 2147483647   149295     45 |  0.000 % |
71.49/71.60	c |    149455 |     841   120147   314766 | 2147483647   149455     45 |  0.000 % |
71.59/71.77	c |    149631 |     841   120147   314766 | 2147483647   149631     45 |  0.010 % |
71.80/71.96	c |    149825 |     841   120147   314766 | 2147483647   149825     45 |  0.010 % |
71.99/72.15	c |    150037 |     841   120147   314766 | 2147483647   150037     45 |  0.010 % |
72.19/72.33	c |    150271 |     841   120147   314766 | 2147483647   150271     45 |  0.000 % |
72.40/72.55	c |    150527 |     841   120147   314766 | 2147483647   150527     45 |  0.000 % |
72.69/72.87	c |    150812 |     841   120147   314766 | 2147483647   150812     45 |  0.000 % |
73.09/73.23	c |    151121 |     841   120147   314766 | 2147483647   151121     45 |  0.010 % |
73.39/73.53	c |    151461 |     841   120147   314766 | 2147483647   151461     45 |  0.010 % |
73.69/73.82	c |    151836 |     841   120147   314766 | 2147483647   151836     45 |  0.010 % |
73.99/74.18	c |    152245 |     841   120147   314766 | 2147483647   152245     45 |  0.010 % |
74.39/74.51	c |    152694 |     841   120147   314766 | 2147483647   152694     45 |  0.010 % |
74.79/74.91	c |    153187 |     841   120147   314766 | 2147483647   153187     45 |  0.010 % |
75.19/75.31	c |    153730 |     841   120147   314766 | 2147483647   153730     45 |  0.009 % |
75.69/75.87	c |    154326 |     841   120147   314766 | 2147483647   154326     45 |  0.009 % |
76.19/76.33	c |    154984 |     841   120147   314766 | 2147483647   154984     45 |  0.009 % |
76.79/76.94	c |    155705 |     841   120147   314766 | 2147483647   155705     45 |  0.009 % |
77.49/77.69	c |    156498 |     841   120147   314766 | 2147483647   156498     45 |  0.010 % |
78.29/78.43	c |    157370 |     841   120147   314766 | 2147483647   157370     45 |  0.010 % |
79.18/79.39	c |    158329 |     841   120147   314766 | 2147483647   158329     45 |  0.010 % |
80.29/80.45	c |    159383 |     841   120147   314766 | 2147483647   159383     45 |  0.010 % |
81.49/81.62	c |    160543 |     841   120147   314766 | 2147483647   160543     45 |  0.010 % |
82.49/82.69	c |    161817 |     841   120147   314766 | 2147483647   161817     45 |  0.000 % |
83.79/83.98	c |    163219 |     841   120147   314766 | 2147483647   163219     45 |  0.000 % |
85.29/85.48	c |    164759 |     841   120147   314766 | 2147483647   164759     45 |  0.009 % |
87.08/87.23	c |    166455 |     841   120147   314766 | 2147483647   166455     45 |  0.010 % |
87.18/87.32	c |    166557 |     841   120147   314766 | 2147483647   166557     45 |  0.010 % |
87.28/87.44	c |    166667 |     841   120147   314766 | 2147483647   166667     45 |  0.000 % |
87.38/87.56	c |    166790 |     841   120147   314766 | 2147483647   166790     45 |  0.000 % |
87.48/87.69	c |    166923 |     841   120147   314766 | 2147483647   166923     45 |  0.010 % |
87.68/87.84	c |    167070 |     841   120147   314766 | 2147483647   167070     45 |  0.010 % |
87.79/87.99	c |    167231 |     841   120147   314766 | 2147483647   167231     45 |  0.000 % |
87.98/88.18	c |    167410 |     841   120147   314766 | 2147483647   167410     45 |  0.000 % |
88.18/88.39	c |    167603 |     841   120147   314766 | 2147483647   167603     45 |  0.000 % |
88.48/88.63	c |    167815 |     841   120147   314766 | 2147483647   167815     45 |  0.010 % |
88.68/88.85	c |    168049 |     841   120147   314766 | 2147483647   168049     45 |  0.010 % |
88.89/89.09	c |    168306 |     841   120147   314766 | 2147483647   168306     45 |  0.000 % |
89.18/89.39	c |    168589 |     841   120147   314766 | 2147483647   168589     45 |  0.010 % |
89.58/89.75	c |    168899 |     841   120147   314766 | 2147483647   168899     45 |  0.000 % |
89.99/90.11	c |    169238 |     841   120147   314766 | 2147483647   169238     45 |  0.000 % |
90.28/90.48	c |    169610 |     841   120147   314766 | 2147483647   169610     45 |  0.010 % |
90.68/90.86	c |    170020 |     841   120147   314766 | 2147483647   170020     45 |  0.010 % |
91.09/91.26	c |    170470 |     841   120147   314766 | 2147483647   170470     45 |  0.000 % |
91.58/91.78	c |    170964 |     841   120147   314766 | 2147483647   170964     45 |  0.000 % |
92.29/92.45	c |    171508 |     841   120147   314766 | 2147483647   171508     45 |  0.010 % |
93.08/93.21	c |    172105 |     841   120147   314766 | 2147483647   172105     45 |  0.000 % |
93.78/93.96	c |    172760 |     841   120147   314766 | 2147483647   172760     45 |  0.010 % |
94.48/94.67	c |    173485 |     841   120147   314766 | 2147483647   173485     45 |  0.010 % |
95.38/95.53	c |    174278 |     841   120147   314766 | 2147483647   174278     45 |  0.000 % |
96.28/96.49	c |    175149 |     841   120147   314766 | 2147483647   175149     45 |  0.010 % |
97.37/97.56	c |    176107 |     841   120147   314766 | 2147483647   176107     45 |  0.010 % |
98.47/98.62	c |    177160 |     841   120147   314766 | 2147483647   177160     45 |  0.000 % |
99.57/99.79	c |    178319 |     841   120147   314766 | 2147483647   178319     45 |  0.000 % |
100.97/101.11	c |    179592 |     841   120147   314766 | 2147483647   179592     45 |  0.010 % |
102.67/102.81	c |    180992 |     841   120147   314766 |   180001   159254     45 |  0.000 % |
104.17/104.37	c |    182532 |     841   120147   314766 |   180001   160794     45 |  0.000 % |
105.87/106.10	c |    184226 |     841   120147   314766 |   180001   162488     46 |  0.000 % |
107.87/108.08	c |    186091 |     841   120147   314766 |   180001   164353     46 |  0.010 % |
107.97/108.17	c |    186191 |     841   120147   314766 |   180001   164453     46 |  0.000 % |
108.16/108.30	c |    186302 |     841   120147   314766 |   180001   164564     46 |  0.000 % |
108.26/108.42	c |    186424 |     841   120147   314766 |   180001   164686     46 |  0.000 % |
108.36/108.54	c |    186558 |     841   120147   314766 |   180001   164820     46 |  0.010 % |
108.46/108.67	c |    186706 |     841   120147   314766 |   180001   164968     46 |  0.000 % |
108.67/108.82	c |    186866 |     841   120147   314766 |   180001   165128     46 |  0.000 % |
108.86/109.06	c |    187042 |     841   120147   314766 |   180001   165304     46 |  0.010 % |
109.06/109.29	c |    187237 |     841   120147   314766 |   180001   165499     46 |  0.000 % |
109.36/109.52	c |    187449 |     841   120147   314766 |   180001   165711     46 |  0.000 % |
109.56/109.79	c |    187682 |     841   120147   314766 |   180001   165944     46 |  0.010 % |
109.87/110.08	c |    187942 |     841   120147   314766 |   180001   166204     46 |  0.010 % |
110.16/110.39	c |    188224 |     841   120147   314766 |   180001   166486     46 |  0.010 % |
110.56/110.70	c |    188533 |     841   120147   314766 |   180001   166795     46 |  0.010 % |
110.87/111.03	c |    188872 |     841   120147   314766 |   180001   167134     46 |  0.000 % |
111.16/111.37	c |    189244 |     841   120147   314766 |   180001   167506     46 |  0.010 % |
111.56/111.79	c |    189655 |     841   120147   314766 |   180001   167917     46 |  0.010 % |
112.07/112.22	c |    190104 |     841   120147   314766 |   168262   168366     46 |  0.010 % |
112.66/112.90	c |    190597 |     841   120147   314766 |   168262   148308     46 |  0.010 % |
113.26/113.41	c |    191141 |     841   120147   314766 |   168262   148852     46 |  0.000 % |
113.76/113.90	c |    191737 |     841   120147   314766 |   168262   149448     46 |  0.000 % |
114.16/114.40	c |    192395 |     841   120147   314766 |   168262   150106     46 |  0.010 % |
114.86/115.09	c |    193117 |     841   120147   314766 |   168262   150828     46 |  0.010 % |
115.66/115.80	c |    193909 |     841   120147   314766 |   168262   151620     46 |  0.010 % |
116.47/116.63	c |    194782 |     841   120147   314766 |   168262   152493     46 |  0.010 % |
117.47/117.68	c |    195740 |     841   120147   314766 |   168262   153451     46 |  0.010 % |
118.66/118.86	c |    196793 |     841   120147   314766 |   168262   154504     46 |  0.010 % |
119.96/120.16	c |    197955 |     841   120147   314766 |   168262   155666     46 |  0.010 % |
121.56/121.77	c |    199228 |     841   120147   314766 |   168262   156939     46 |  0.010 % |
123.56/123.71	c |    200628 |     841   120147   314766 |   157715   139513     46 |  0.010 % |
125.46/125.67	c |    202170 |     841   120147   314766 |   157715   141055     46 |  0.010 % |
127.16/127.32	c |    203865 |     841   120147   314766 |   157715   142750     46 |  0.000 % |
129.15/129.33	c |    205732 |     841   120147   314766 |   157715   144617     46 |  0.010 % |
131.15/131.36	c |    207781 |     841   120147   314766 |   157715   146666     46 |  0.010 % |
131.25/131.46	c |    207881 |     841   120147   314766 |   157715   146766     46 |  0.010 % |
131.35/131.55	c |    207991 |     841   120147   314766 |   157715   146876     46 |  0.010 % |
131.45/131.67	c |    208114 |     841   120147   314766 |   157715   146999     46 |  0.010 % |
131.65/131.82	c |    208247 |     841   120147   314766 |   157715   147132     46 |  0.010 % |
131.76/131.97	c |    208393 |     841   120147   314766 |   157715   147278     46 |  0.010 % |
131.95/132.12	c |    208553 |     841   120147   314766 |   157715   147438     46 |  0.010 % |
132.05/132.27	c |    208736 |     841   120147   314766 |   157715   147621     46 |  0.000 % |
132.26/132.45	c |    208934 |     841   120147   314766 |   157715   147819     46 |  0.010 % |
132.46/132.68	c |    209146 |     841   120147   314766 |   157715   148031     46 |  0.010 % |
132.76/132.94	c |    209380 |     841   120147   314766 |   157715   148265     46 |  0.010 % |
133.06/133.21	c |    209636 |     841   120147   314766 |   157715   148521     46 |  0.010 % |
133.36/133.52	c |    209917 |     841   120147   314766 |   157715   148802     46 |  0.010 % |
133.66/133.85	c |    210227 |     841   120147   314766 |   148886   149112     46 |  0.010 % |
134.26/134.43	c |    210566 |     841   120147   314766 |   148886   130594     46 |  0.010 % |
134.56/134.76	c |    210939 |     841   120147   314766 |   148886   130967     46 |  0.000 % |
134.96/135.15	c |    211350 |     841   120147   314766 |   148886   131378     46 |  0.010 % |
135.46/135.64	c |    211799 |     841   120147   314766 |   148886   131827     46 |  0.010 % |
135.96/136.11	c |    212292 |     841   120147   314766 |   148886   132320     46 |  0.010 % |
136.46/136.61	c |    212835 |     841   120147   314766 |   148886   132863     46 |  0.009 % |
136.86/137.09	c |    213433 |     841   120147   314766 |   148886   133461     46 |  0.009 % |
137.56/137.70	c |    214088 |     841   120147   314766 |   148886   134116     46 |  0.010 % |
138.16/138.30	c |    214809 |     841   120147   314766 |   148886   134837     46 |  0.000 % |
138.86/139.08	c |    215601 |     841   120147   314766 |   148886   135629     46 |  0.000 % |
139.66/139.88	c |    216476 |     841   120147   314766 |   148886   136504     46 |  0.010 % |
140.76/140.90	c |    217435 |     841   120147   314766 |   148886   137463     46 |  0.010 % |
141.75/141.97	c |    218488 |     841   120147   314766 |   148886   138516     46 |  0.010 % |
143.05/143.20	c |    219646 |     841   120147   314766 |   148886   139674     46 |  0.010 % |
144.44/144.66	c |    220919 |     841   120147   314766 |   140028   124966     46 |  0.010 % |
145.94/146.18	c |    222320 |     841   120147   314766 |   140028   126367     46 |  0.010 % |
147.54/147.75	c |    223863 |     841   120147   314766 |   140028   127910     46 |  0.010 % |
149.35/149.53	c |    225558 |     841   120147   314766 |   140028   129605     45 |  0.010 % |
150.94/151.18	c |    227421 |     841   120147   314766 |   140028   131468     46 |  0.000 % |
152.94/153.18	c |    229470 |     841   120147   314766 |   140028   133517     46 |  0.010 % |
155.44/155.62	c |    231724 |     841   120147   314766 |   134047   120678     45 |  0.010 % |
155.54/155.72	c |    231826 |     841   120147   314766 |   134047   120780     45 |  0.010 % |
155.64/155.85	c |    231936 |     841   120147   314766 |   134047   120890     45 |  0.010 % |
155.74/155.97	c |    232059 |     841   120147   314766 |   134047   121013     45 |  0.010 % |
155.84/156.09	c |    232192 |     841   120147   314766 |   134047   121146     45 |  0.000 % |
156.04/156.23	c |    232338 |     841   120147   314766 |   134047   121292     45 |  0.000 % |
156.14/156.39	c |    232501 |     841   120147   314766 |   134047   121455     45 |  0.010 % |
156.34/156.54	c |    232680 |     841   120147   314766 |   134047   121634     45 |  0.000 % |
156.54/156.73	c |    232873 |     841   120147   314766 |   134047   121827     45 |  0.000 % |
156.74/156.91	c |    233088 |     841   120147   314766 |   134047   122042     46 |  0.000 % |
156.94/157.11	c |    233322 |     841   120147   314766 |   134047   122276     46 |  0.000 % |
157.14/157.30	c |    233579 |     841   120147   314766 |   134047   122533     46 |  0.010 % |
157.34/157.56	c |    233861 |     841   120147   314766 |   134047   122815     46 |  0.000 % |
157.54/157.79	c |    234170 |     841   120147   314766 |   134047   123124     46 |  0.010 % |
157.94/158.11	c |    234509 |     841   120147   314766 |   134047   123463     46 |  0.010 % |
158.24/158.44	c |    234881 |     841   120147   314766 |   134047   123835     46 |  0.000 % |
158.54/158.75	c |    235292 |     841   120147   314766 |   134047   124246     46 |  0.000 % |
158.93/159.13	c |    235741 |     841   120147   314766 |   134047   124695     46 |  0.010 % |
159.34/159.58	c |    236235 |     841   120147   314766 |   134047   125189     46 |  0.010 % |
159.83/160.04	c |    236777 |     841   120147   314766 |   134047   125731     46 |  0.010 % |
160.44/160.62	c |    237375 |     841   120147   314766 |   134047   126329     46 |  0.010 % |
160.93/161.16	c |    238030 |     841   120147   314766 |   134047   126984     46 |  0.010 % |
161.73/161.90	c |    238750 |     841   120147   314766 |   134047   127704     46 |  0.000 % |
162.43/162.68	c |    239543 |     841   120147   314766 |   134047   128497     46 |  0.010 % |
163.33/163.52	c |    240414 |     841   120147   314766 | 2147483647   129368     46 |  0.000 % |
164.23/164.45	c |    241372 |     841   120147   314766 | 2147483647   130326     46 |  0.010 % |
165.23/165.49	c |    242425 |     841   120147   314766 | 2147483647   131379     46 |  0.010 % |
166.43/166.63	c |    243585 |     841   120147   314766 | 2147483647   132539     46 |  0.000 % |
167.73/167.93	c |    244858 |     841   120147   314766 | 2147483647   133812     47 |  0.000 % |
169.33/169.58	c |    246262 |     841   120147   314766 | 2147483647   135216     47 |  0.000 % |
171.23/171.40	c |    247803 |     841   120147   314766 | 2147483647   136757     47 |  0.010 % |
173.13/173.38	c |    249499 |     841   120147   314766 | 2147483647   138453     46 |  0.010 % |
175.33/175.56	c |    251362 |     841   120147   314766 |   138955   124536     46 |  0.010 % |
177.53/177.75	c |    253411 |     841   120147   314766 |   138955   126585     46 |  0.010 % |
179.73/179.91	c |    255664 |     841   120147   314766 |   138955   128838     46 |  0.010 % |
182.43/182.61	c |    258143 |     841   120147   314766 |   138955   131317     46 |  0.000 % |
182.53/182.71	c |    258244 |     841   120147   314766 |   138955   131418     46 |  0.010 % |
182.63/182.84	c |    258358 |     841   120147   314766 |   138955   131532     46 |  0.010 % |
182.73/182.95	c |    258479 |     841   120147   314766 |   138955   131653     46 |  0.010 % |
182.93/183.10	c |    258614 |     841   120147   314766 |   138955   131788     46 |  0.010 % |
183.03/183.25	c |    258761 |     841   120147   314766 |   138955   131935     46 |  0.010 % |
183.23/183.46	c |    258921 |     841   120147   314766 |   138955   132095     46 |  0.010 % |
183.43/183.63	c |    259099 |     841   120147   314766 |   138955   132273     46 |  0.010 % |
183.63/183.84	c |    259293 |     841   120147   314766 |   138955   132467     46 |  0.000 % |
183.83/184.09	c |    259508 |     841   120147   314766 |   138955   132682     46 |  0.000 % |
184.13/184.33	c |    259741 |     841   120147   314766 |   138955   132915     46 |  0.000 % |
184.32/184.53	c |    259998 |     841   120147   314766 |   138955   133172     46 |  0.010 % |
184.53/184.76	c |    260279 |     841   120147   314766 |   133183   133453     46 |  0.010 % |
185.02/185.20	c |    260592 |     841   120147   314766 |   133183   117227     47 |  0.010 % |
185.22/185.47	c |    260934 |     841   120147   314766 |   133183   117569     47 |  0.000 % |
185.63/185.82	c |    261306 |     841   120147   314766 |   133183   117941     47 |  0.010 % |
185.92/186.12	c |    261715 |     841   120147   314766 |   133183   118350     47 |  0.010 % |
186.32/186.56	c |    262165 |     841   120147   314766 |   133183   118800     47 |  0.010 % |
186.82/187.09	c |    262658 |     841   120147   314766 |   133183   119293     47 |  0.000 % |
187.42/187.61	c |    263204 |     841   120147   314766 |   133183   119839     47 |  0.010 % |
188.01/188.23	c |    263802 |     841   120147   314766 |   133183   120437     47 |  0.010 % |
188.61/188.85	c |    264459 |     841   120147   314766 |   133183   121094     46 |  0.010 % |
189.31/189.54	c |    265181 |     841   120147   314766 |   133183   121816     46 |  0.010 % |
190.11/190.39	c |    265973 |     841   120147   314766 |   133183   122608     46 |  0.000 % |
190.81/191.07	c |    266847 |     841   120147   314766 |   133183   123482     46 |  0.010 % |
191.81/192.05	c |    267810 |     841   120147   314766 |   133183   124445     46 |  0.010 % |
192.81/193.07	c |    268863 |     841   120147   314766 |   133183   125498     46 |  0.010 % |
194.01/194.24	c |    270022 |     841   120147   314766 |   126636   126657     46 |  0.010 % |
195.30/195.59	c |    271295 |     841   120147   314766 |   126636   114557     47 |  0.000 % |
196.71/196.97	c |    272698 |     841   120147   314766 |   126636   115960     47 |  0.010 % |
198.20/198.45	c |    274241 |     841   120147   314766 |   126636   117503     47 |  0.010 % |
200.10/200.34	c |    275936 |     841   120147   314766 |   126636   119198     47 |  0.010 % |
202.30/202.51	c |    277801 |     841   120147   314766 |   126636   121063     46 |  0.010 % |
204.31/204.53	c |    279852 |     841   120147   314766 |   126636   123114     46 |  0.010 % |
206.70/206.90	c |    282108 |     841   120147   314766 |   123262   111773     45 |  0.010 % |
209.20/209.45	c |    284587 |     841   120147   314766 |   123262   114252     45 |  0.010 % |
211.90/212.14	c |    287314 |     841   120147   314766 |   123262   116979     46 |  0.000 % |
212.00/212.23	c |    287414 |     841   120147   314766 |   123262   117079     46 |  0.000 % |
212.10/212.37	c |    287527 |     841   120147   314766 |   123262   117192     46 |  0.009 % |
212.20/212.49	c |    287650 |     841   120147   314766 |   123262   117315     47 |  0.000 % |
212.40/212.62	c |    287787 |     841   120147   314766 |   123262   117452     47 |  0.010 % |
212.50/212.75	c |    287933 |     841   120147   314766 |   123262   117598     46 |  0.010 % |
212.70/212.90	c |    288095 |     841   120147   314766 |   123262   117760     46 |  0.010 % |
212.80/213.08	c |    288271 |     841   120147   314766 |   123262   117936     47 |  0.000 % |
213.00/213.27	c |    288466 |     841   120147   314766 |   123262   118131     47 |  0.010 % |
213.20/213.44	c |    288681 |     841   120147   314766 |   123262   118346     47 |  0.000 % |
213.39/213.64	c |    288915 |     841   120147   314766 |   123262   118580     47 |  0.010 % |
213.59/213.87	c |    289173 |     841   120147   314766 |   123262   118838     47 |  0.010 % |
213.79/214.08	c |    289455 |     841   120147   314766 |   123262   119120     47 |  0.010 % |
214.10/214.36	c |    289765 |     841   120147   314766 |   123262   119430     47 |  0.010 % |
214.40/214.68	c |    290105 |     841   120147   314766 |   119666   119770     47 |  0.010 % |
214.99/215.20	c |    290477 |     841   120147   314766 |   119666   107327     46 |  0.010 % |
215.30/215.56	c |    290886 |     841   120147   314766 |   119666   107736     46 |  0.010 % |
215.69/215.96	c |    291336 |     841   120147   314766 |   119666   108186     46 |  0.010 % |
216.09/216.36	c |    291830 |     841   120147   314766 |   119666   108680     46 |  0.010 % |
216.59/216.83	c |    292372 |     841   120147   314766 |   119666   109222     46 |  0.010 % |
217.09/217.39	c |    292968 |     841   120147   314766 |   119666   109818     46 |  0.010 % |
217.79/218.02	c |    293623 |     841   120147   314766 |   119666   110473     46 |  0.010 % |
218.39/218.63	c |    294343 |     841   120147   314766 |   119666   111193     46 |  0.010 % |
219.09/219.36	c |    295135 |     841   120147   314766 |   119666   111985     46 |  0.010 % |
219.89/220.11	c |    296006 |     841   120147   314766 |   119666   112856     46 |  0.010 % |
220.69/220.99	c |    296964 |     841   120147   314766 |   119666   113814     46 |  0.000 % |
221.69/221.99	c |    298018 |     841   120147   314766 |   119666   114868     46 |  0.000 % |
222.69/222.96	c |    299176 |     841   120147   314766 |   119666   116026     47 |  0.000 % |
223.79/224.03	c |    300451 |     841   120147   314766 | 2147483647   117301     47 |  0.010 % |
225.09/225.36	c |    301851 |     841   120147   314766 | 2147483647   118701     47 |  0.010 % |
226.59/226.87	c |    303391 |     841   120147   314766 | 2147483647   120241     46 |  0.010 % |
228.39/228.63	c |    305085 |     841   120147   314766 | 2147483647   121935     46 |  0.010 % |
230.39/230.63	c |    306949 |     841   120147   314766 | 2147483647   123799     47 |  0.000 % |
232.78/233.05	c |    309002 |     841   120147   314766 | 2147483647   125852     47 |  0.010 % |
235.37/235.65	c |    311257 |     841   120147   314766 |   126850   113104     49 |  0.000 % |
237.97/238.25	c |    313736 |     841   120147   314766 |   126850   115583     49 |  0.000 % |
240.67/240.98	c |    316461 |     841   120147   314766 |   126850   118308     49 |  0.010 % |
244.26/244.59	c |    319461 |     841   120147   314766 |   126850   121308     49 |  0.010 % |
244.47/244.72	c |    319561 |     841   120147   314766 |   126850   121408     49 |  0.010 % |
244.57/244.83	c |    319672 |     841   120147   314766 |   126850   121519     49 |  0.000 % |
244.66/244.96	c |    319798 |     841   120147   314766 |   126850   121645     49 |  0.010 % |
244.76/245.09	c |    319932 |     841   120147   314766 |   126850   121779     49 |  0.010 % |
244.97/245.25	c |    320078 |     841   120147   314766 |   121849   121925     49 |  0.000 % |
245.36/245.68	c |    320240 |     841   120147   314766 |   121849   105326     49 |  0.000 % |
245.56/245.84	c |    320416 |     841   120147   314766 |   121849   105502     49 |  0.010 % |
245.76/246.08	c |    320612 |     841   120147   314766 |   121849   105698     49 |  0.010 % |
246.07/246.30	c |    320824 |     841   120147   314766 |   121849   105910     48 |  0.010 % |
246.26/246.56	c |    321059 |     841   120147   314766 |   121849   106145     48 |  0.010 % |
246.56/246.85	c |    321317 |     841   120147   314766 |   121849   106403     49 |  0.000 % |
246.76/247.10	c |    321604 |     841   120147   314766 |   121849   106690     49 |  0.000 % |
247.06/247.36	c |    321913 |     841   120147   314766 |   121849   106999     48 |  0.009 % |
247.36/247.68	c |    322252 |     841   120147   314766 |   121849   107338     48 |  0.009 % |
247.76/248.01	c |    322624 |     841   120147   314766 |   121849   107710     48 |  0.010 % |
248.06/248.37	c |    323034 |     841   120147   314766 |   121849   108120     48 |  0.000 % |
248.46/248.79	c |    323484 |     841   120147   314766 |   121849   108570     49 |  0.000 % |
248.96/249.27	c |    323977 |     841   120147   314766 |   121849   109063     49 |  0.000 % |
249.56/249.83	c |    324521 |     841   120147   314766 |   121849   109607     49 |  0.000 % |
250.26/250.51	c |    325119 |     841   120147   314766 |   121849   110205     49 |  0.000 % |
250.96/251.21	c |    325775 |     841   120147   314766 |   121849   110861     49 |  0.010 % |
251.66/251.93	c |    326504 |     841   120147   314766 |   121849   111590     49 |  0.010 % |
252.36/252.65	c |    327297 |     841   120147   314766 |   121849   112383     49 |  0.000 % |
253.16/253.47	c |    328168 |     841   120147   314766 |   121849   113254     49 |  0.010 % |
254.16/254.43	c |    329128 |     841   120147   314766 |   121849   114214     49 |  0.000 % |
255.16/255.47	c |    330184 |     841   120147   314766 |   115086   115270     49 |  0.010 % |
256.75/257.01	c |    331342 |     841   120147   314766 |   115086   101432     48 |  0.010 % |
258.26/258.59	c |    332615 |     841   120147   314766 |   115086   102705     48 |  0.010 % |
259.85/260.14	c |    334015 |     841   120147   314766 |   115086   104105     48 |  0.010 % |
261.46/261.79	c |    335559 |     841   120147   314766 |   115086   105649     48 |  0.000 % |
263.35/263.64	c |    337253 |     841   120147   314766 |   115086   107343     49 |  0.000 % |
265.35/265.67	c |    339116 |     841   120147   314766 |   115086   109206     49 |  0.010 % |
267.35/267.69	c |    341167 |     841   120147   314766 |   110092    98178     50 |  0.010 % |
269.65/269.93	c |    343424 |     841   120147   314766 |   110092   100435     50 |  0.010 % |
272.15/272.42	c |    345905 |     841   120147   314766 |   110092   102916     49 |  0.010 % |
274.75/275.08	c |    348630 |     841   120147   314766 |   110092   105641     49 |  0.010 % |
278.23/278.53	c |    351628 |     841   120147   314766 |   107012    95608     49 |  0.010 % |
282.43/282.72	c |    354926 |     841   120147   314766 |   107012    98906     49 |  0.010 % |
282.53/282.82	c |    355028 |     841   120147   314766 |   107012    99008     49 |  0.010 % |
282.63/282.92	c |    355139 |     841   120147   314766 |   107012    99119     49 |  0.000 % |
282.73/283.05	c |    355260 |     841   120147   314766 |   107012    99240     49 |  0.000 % |
282.83/283.20	c |    355393 |     841   120147   314766 |   107012    99373     49 |  0.010 % |
283.03/283.35	c |    355539 |     841   120147   314766 |   107012    99519     49 |  0.010 % |
283.22/283.55	c |    355699 |     841   120147   314766 |   107012    99679     49 |  0.000 % |
283.43/283.77	c |    355875 |     841   120147   314766 |   107012    99855     49 |  0.000 % |
283.62/283.95	c |    356071 |     841   120147   314766 |   107012   100051     49 |  0.000 % |
283.82/284.15	c |    356286 |     841   120147   314766 |   107012   100266     49 |  0.000 % |
284.02/284.36	c |    356519 |     841   120147   314766 |   107012   100499     49 |  0.000 % |
284.32/284.67	c |    356776 |     841   120147   314766 |   107012   100756     49 |  0.000 % |
284.63/284.98	c |    357059 |     841   120147   314766 |   107012   101039     49 |  0.000 % |
284.92/285.26	c |    357368 |     841   120147   314766 |   107012   101348     50 |  0.000 % |
285.22/285.58	c |    357707 |     841   120147   314766 |   107012   101687     50 |  0.000 % |
285.52/285.87	c |    358080 |     841   120147   314766 |   107012   102060     50 |  0.000 % |
285.82/286.19	c |    358489 |     841   120147   314766 |   107012   102469     50 |  0.000 % |
286.32/286.61	c |    358938 |     841   120147   314766 |   107012   102918     50 |  0.010 % |
286.82/287.15	c |    359432 |     841   120147   314766 |   107012   103412     50 |  0.000 % |
287.42/287.77	c |    359974 |     841   120147   314766 |   107012   103954     50 |  0.010 % |
288.42/288.73	c |    360570 |     841   120147   314766 |   103986    91105     51 |  0.010 % |
289.02/289.33	c |    361225 |     841   120147   314766 |   103986    91760     51 |  0.000 % |
289.62/289.96	c |    361946 |     841   120147   314766 |   103986    92481     51 |  0.000 % |
290.42/290.70	c |    362738 |     841   120147   314766 |   103986    93273     51 |  0.010 % |
291.32/291.63	c |    363612 |     841   120147   314766 |   103986    94147     51 |  0.000 % |
292.12/292.45	c |    364574 |     841   120147   314766 |   103986    95109     51 |  0.000 % |
292.92/293.29	c |    365629 |     841   120147   314766 |   103986    96164     52 |  0.000 % |
294.22/294.53	c |    366787 |     841   120147   314766 |   103986    97322     52 |  0.000 % |
295.52/295.82	c |    368062 |     841   120147   314766 |   103986    98597     51 |  0.010 % |
296.92/297.22	c |    369463 |     841   120147   314766 |   103986    99998     52 |  0.000 % |
298.51/298.85	c |    371010 |     841   120147   314766 |   100535    89797     50 |  0.010 % |
300.22/300.54	c |    372707 |     841   120147   314766 |   100535    91494     51 |  0.000 % |
302.12/302.44	c |    374570 |     841   120147   314766 |   100535    93357     51 |  0.010 % |
304.32/304.65	c |    376621 |     841   120147   314766 |   100535    95408     52 |  0.000 % |
306.91/307.24	c |    378874 |     841   120147   314766 |   100535    97661     52 |  0.010 % |
309.61/309.98	c |    381357 |     841   120147   314766 |    98792    87205     50 |  0.010 % |
312.71/313.01	c |    384084 |     841   120147   314766 |    98792    89932     50 |  0.010 % |
315.61/316.00	c |    387085 |     841   120147   314766 |    98792    92933     51 |  0.000 % |
319.30/319.66	c |    390381 |     841   120147   314766 |    95851    83309     53 |  0.000 % |
323.70/324.01	c |    394006 |     841   120147   314766 |    95851    86934     53 |  0.010 % |
323.80/324.14	c |    394106 |     841   120147   314766 |    95851    87034     53 |  0.000 % |
324.00/324.30	c |    394218 |     841   120147   314766 |    95851    87146     53 |  0.010 % |
324.10/324.48	c |    394340 |     841   120147   314766 |    95851    87268     53 |  0.010 % |
324.29/324.61	c |    394473 |     841   120147   314766 |    95851    87401     53 |  0.010 % |
324.49/324.80	c |    394620 |     841   120147   314766 |    95851    87548     53 |  0.009 % |
324.69/325.00	c |    394781 |     841   120147   314766 |    95851    87709     53 |  0.009 % |
324.89/325.23	c |    394960 |     841   120147   314766 |    95851    87888     53 |  0.010 % |
325.09/325.45	c |    395154 |     841   120147   314766 |    95851    88082     53 |  0.010 % |
325.30/325.67	c |    395368 |     841   120147   314766 |    95851    88296     53 |  0.010 % |
325.60/325.94	c |    395607 |     841   120147   314766 |    95851    88535     53 |  0.010 % |
325.89/326.24	c |    395865 |     841   120147   314766 |    95851    88793     52 |  0.010 % |
326.19/326.51	c |    396147 |     841   120147   314766 |    95851    89075     52 |  0.010 % |
326.49/326.88	c |    396457 |     841   120147   314766 |    95851    89385     52 |  0.010 % |
326.89/327.28	c |    396796 |     841   120147   314766 |    95851    89724     52 |  0.010 % |
327.29/327.67	c |    397168 |     841   120147   314766 |    95851    90096     52 |  0.010 % |
327.79/328.12	c |    397578 |     841   120147   314766 |    95851    90506     52 |  0.010 % |
328.19/328.55	c |    398027 |     841   120147   314766 |    95851    90955     52 |  0.000 % |
328.69/329.05	c |    398522 |     841   120147   314766 |    95851    91450     53 |  0.000 % |
329.29/329.69	c |    399065 |     841   120147   314766 |    95851    91993     53 |  0.000 % |
329.99/330.36	c |    399662 |     841   120147   314766 |    95851    92590     53 |  0.000 % |
330.80/331.17	c |    400318 |     841   120147   314766 |    92930    93246     53 |  0.009 % |
331.69/332.10	c |    401038 |     841   120147   314766 |    92930    80701     52 |  0.010 % |
332.39/332.75	c |    401830 |     841   120147   314766 |    92930    81493     52 |  0.000 % |
333.19/333.57	c |    402701 |     841   120147   314766 |    92930    82364     52 |  0.010 % |
334.19/334.57	c |    403663 |     841   120147   314766 |    92930    83326     52 |  0.010 % |
335.29/335.67	c |    404718 |     841   120147   314766 |    92930    84381     52 |  0.010 % |
336.49/336.82	c |    405876 |     841   120147   314766 |    92930    85539     52 |  0.010 % |
337.69/338.08	c |    407150 |     841   120147   314766 |    92930    86813     52 |  0.010 % |
339.09/339.49	c |    408552 |     841   120147   314766 |    92930    88215     51 |  0.010 % |
340.89/341.26	c |    410095 |     841   120147   314766 |    89663    89758     52 |  0.000 % |
342.89/343.26	c |    411792 |     841   120147   314766 |    89663    79886     54 |  0.000 % |
344.89/345.30	c |    413655 |     841   120147   314766 |    89663    81749     54 |  0.010 % |
347.38/347.74	c |    415704 |     841   120147   314766 |    89663    83798     54 |  0.010 % |
350.08/350.49	c |    417957 |     841   120147   314766 |    89663    86051     54 |  0.010 % |
352.69/353.08	c |    420437 |     841   120147   314766 |    88094    76425     53 |  0.010 % |
355.48/355.85	c |    423165 |     841   120147   314766 |    88094    79153     53 |  0.010 % |
358.78/359.15	c |    426164 |     841   120147   314766 |    88094    82152     52 |  0.010 % |
362.38/362.75	c |    429461 |     841   120147   314766 |    88094    85449     52 |  0.010 % |
366.58/366.94	c |    433087 |     841   120147   314766 |    85988    76953     50 |  0.010 % |
370.47/370.85	c |    437074 |     841   120147   314766 |    85988    80940     52 |  0.000 % |
370.57/370.97	c |    437174 |     841   120147   314766 |    85988    81040     52 |  0.000 % |
370.67/371.09	c |    437286 |     841   120147   314766 |    85988    81152     52 |  0.010 % |
370.87/371.21	c |    437409 |     841   120147   314766 |    85988    81275     52 |  0.010 % |
370.97/371.32	c |    437544 |     841   120147   314766 |    85988    81410     52 |  0.010 % |
371.07/371.49	c |    437691 |     841   120147   314766 |    85988    81557     52 |  0.000 % |
371.27/371.65	c |    437851 |     841   120147   314766 |    85988    81717     52 |  0.000 % |
371.47/371.85	c |    438030 |     841   120147   314766 |    85988    81896     52 |  0.010 % |
371.67/372.01	c |    438227 |     841   120147   314766 |    85988    82093     52 |  0.000 % |
371.87/372.28	c |    438439 |     841   120147   314766 |    85988    82305     52 |  0.010 % |
372.17/372.50	c |    438672 |     841   120147   314766 |    85988    82538     52 |  0.010 % |
372.37/372.77	c |    438929 |     841   120147   314766 |    85988    82795     52 |  0.010 % |
372.67/373.10	c |    439211 |     841   120147   314766 |    85988    83077     52 |  0.010 % |
373.07/373.41	c |    439521 |     841   120147   314766 |    85988    83387     52 |  0.010 % |
373.37/373.72	c |    439860 |     841   120147   314766 |    85988    83726     53 |  0.000 % |
373.77/374.13	c |    440234 |     841   120147   314766 |    83866    84100     53 |  0.000 % |
374.17/374.57	c |    440643 |     841   120147   314766 |    83866    73559     52 |  0.000 % |
374.67/375.02	c |    441096 |     841   120147   314766 |    83866    74012     52 |  0.010 % |
375.17/375.54	c |    441591 |     841   120147   314766 |    83866    74507     53 |  0.000 % |
375.77/376.14	c |    442133 |     841   120147   314766 |    83866    75049     53 |  0.000 % |
376.47/376.84	c |    442729 |     841   120147   314766 |    83866    75645     53 |  0.010 % |
377.07/377.46	c |    443388 |     841   120147   314766 |    83866    76304     53 |  0.010 % |
377.76/378.10	c |    444110 |     841   120147   314766 |    83866    77026     53 |  0.010 % |
378.56/378.91	c |    444906 |     841   120147   314766 |    83866    77822     53 |  0.010 % |
379.46/379.89	c |    445777 |     841   120147   314766 |    83866    78693     53 |  0.010 % |
380.46/380.86	c |    446735 |     841   120147   314766 |    83866    79651     52 |  0.010 % |
381.56/382.00	c |    447789 |     841   120147   314766 |    83866    80705     52 |  0.010 % |
383.06/383.40	c |    448952 |     841   120147   314766 |    83866    81868     52 |  0.010 % |
384.46/384.89	c |    450226 |     841   120147   314766 |    82918    83142     52 |  0.000 % |
386.06/386.47	c |    451626 |     841   120147   314766 |    82918    73792     48 |  0.010 % |
387.66/388.00	c |    453166 |     841   120147   314766 |    82918    75332     48 |  0.010 % |
389.26/389.63	c |    454860 |     841   120147   314766 |    82918    77026     48 |  0.009 % |
391.06/391.43	c |    456724 |     841   120147   314766 |    82918    78890     48 |  0.010 % |
392.86/393.29	c |    458774 |     841   120147   314766 |    82918    80940     48 |  0.010 % |
395.46/395.84	c |    461030 |     841   120147   314766 |    82167    73922     46 |  0.010 % |
397.66/398.09	c |    463509 |     841   120147   314766 |    82167    76401     48 |  0.000 % |
400.06/400.46	c |    466234 |     841   120147   314766 |    82167    79126     51 |  0.000 % |
403.26/403.69	c |    469232 |     841   120147   314766 |    82167    82124     52 |  0.000 % |
407.35/407.72	c |    472529 |     841   120147   314766 |    73313    67232     51 |  0.010 % |
410.85/411.23	c |    476154 |     841   120147   314766 |    73313    70857     53 |  0.000 % |
415.24/415.69	c |    480142 |     841   120147   314766 |    65591    65729     54 |  0.010 % |
419.14/419.60	c |    484529 |     841   120147   314766 |    65591    62023     51 |  0.010 % |
419.34/419.70	c |    484629 |     841   120147   314766 |    65591    62123     51 |  0.000 % |
419.34/419.79	c |    484740 |     841   120147   314766 |    65591    62234     51 |  0.010 % |
419.54/419.92	c |    484864 |     841   120147   314766 |    65591    62358     51 |  0.010 % |
419.64/420.07	c |    484997 |     841   120147   314766 |    65591    62491     51 |  0.010 % |
419.84/420.22	c |    485143 |     841   120147   314766 |    65591    62637     51 |  0.010 % |
419.94/420.37	c |    485303 |     841   120147   314766 |    65591    62797     51 |  0.010 % |
420.14/420.52	c |    485485 |     841   120147   314766 |    65591    62979     51 |  0.010 % |
420.34/420.72	c |    485680 |     841   120147   314766 |    65591    63174     51 |  0.010 % |
420.54/420.94	c |    485894 |     841   120147   314766 |    65591    63388     51 |  0.010 % |
420.74/421.17	c |    486128 |     841   120147   314766 |    65591    63622     51 |  0.010 % |
420.94/421.39	c |    486386 |     841   120147   314766 |    65591    63880     50 |  0.010 % |
421.24/421.64	c |    486669 |     841   120147   314766 |    65591    64163     50 |  0.010 % |
421.54/421.92	c |    486979 |     841   120147   314766 |    65591    64473     50 |  0.010 % |
421.84/422.25	c |    487318 |     841   120147   314766 |    65591    64812     50 |  0.010 % |
422.24/422.62	c |    487691 |     841   120147   314766 |    65591    65185     50 |  0.010 % |
422.74/423.10	c |    488101 |     841   120147   314766 |    65591    65595     50 |  0.010 % |
423.24/423.65	c |    488552 |     841   120147   314766 |    65591    59062     49 |  0.010 % |
423.74/424.12	c |    489045 |     841   120147   314766 |    65591    59555     49 |  0.000 % |
424.24/424.63	c |    489588 |     841   120147   314766 |    65591    60098     50 |  0.000 % |
424.84/425.23	c |    490184 |     841   120147   314766 |    60510    60694     50 |  0.000 % |
425.44/425.85	c |    490841 |     841   120147   314766 |    60510    55282     51 |  0.010 % |
426.14/426.58	c |    491567 |     841   120147   314766 |    60510    56008     51 |  0.010 % |
426.84/427.20	c |    492361 |     841   120147   314766 |    60510    56802     52 |  0.000 % |
427.44/427.90	c |    493236 |     841   120147   314766 |    60510    57677     52 |  0.010 % |
428.54/428.91	c |    494196 |     841   120147   314766 |    60510    58637     52 |  0.010 % |
429.64/430.06	c |    495252 |     841   120147   314766 |    60510    59693     52 |  0.010 % |
430.74/431.20	c |    496415 |     841   120147   314766 |    60510    54780     52 |  0.010 % |
431.94/432.40	c |    497691 |     841   120147   314766 |    60510    56056     52 |  0.010 % |
433.33/433.72	c |    499093 |     841   120147   314766 |    60510    57458     52 |  0.010 % |
434.73/435.13	c |    500635 |     841   120147   314766 | 2147483647    59000     53 |  0.000 % |
436.34/436.79	c |    502332 |     841   120147   314766 | 2147483647    60697     52 |  0.000 % |
438.03/438.40	c |    504196 |     841   120147   314766 | 2147483647    62561     52 |  0.010 % |
439.93/440.34	c |    506245 |     841   120147   314766 | 2147483647    64610     51 |  0.010 % |
442.23/442.65	c |    508498 |     841   120147   314766 | 2147483647    66863     51 |  0.010 % |
444.93/445.35	c |    510977 |     841   120147   314766 | 2147483647    69342     51 |  0.010 % |
447.63/448.05	c |    513702 |     841   120147   314766 | 2147483647    72067     50 |  0.010 % |
450.83/451.29	c |    516700 |     841   120147   314766 | 2147483647    75065     50 |  0.010 % |
454.32/454.75	c |    519997 |     841   120147   314766 | 2147483647    78362     50 |  0.010 % |
458.02/458.41	c |    523626 |     841   120147   314766 |    78366    72078     44 |  0.010 % |
461.91/462.32	c |    527616 |     841   120147   314766 |    78366    76068     44 |  0.010 % |
466.11/466.54	c |    532003 |     841   120147   314766 |    78452    71824     41 |  0.010 % |
470.32/470.79	c |    536826 |     841   120147   314766 |    78452    76647     45 |  0.000 % |
470.42/470.84	c |    536927 |     841   120147   314766 |    78452    76748     45 |  0.000 % |
470.51/470.93	c |    537037 |     841   120147   314766 |    78452    76858     45 |  0.000 % |
470.61/471.04	c |    537159 |     841   120147   314766 |    78452    76980     45 |  0.000 % |
470.71/471.17	c |    537293 |     841   120147   314766 |    78452    77114     45 |  0.000 % |
470.91/471.33	c |    537439 |     841   120147   314766 |    78452    77260     45 |  0.010 % |
471.01/471.47	c |    537605 |     841   120147   314766 |    78452    77426     45 |  0.010 % |
471.21/471.62	c |    537781 |     841   120147   314766 |    78452    77602     45 |  0.010 % |
471.31/471.79	c |    537974 |     841   120147   314766 |    78452    77795     45 |  0.010 % |
471.61/472.01	c |    538186 |     841   120147   314766 |    78452    78007     45 |  0.010 % |
471.81/472.23	c |    538420 |     841   120147   314766 |    78452    78241     45 |  0.010 % |
472.11/472.50	c |    538679 |     841   120147   314766 |    78452    78500     45 |  0.010 % |
472.31/472.77	c |    538961 |     841   120147   314766 |    78452    70932     45 |  0.010 % |
472.61/473.03	c |    539271 |     841   120147   314766 |    78452    71242     45 |  0.010 % |
472.91/473.38	c |    539610 |     841   120147   314766 |    78452    71581     45 |  0.010 % |
473.31/473.79	c |    539984 |     841   120147   314766 |    78452    71955     44 |  0.010 % |
473.81/474.21	c |    540393 |     841   120147   314766 | 2147483647    72364     44 |  0.010 % |
474.21/474.61	c |    540845 |     841   120147   314766 | 2147483647    72816     44 |  0.010 % |
474.61/475.03	c |    541340 |     841   120147   314766 | 2147483647    73311     44 |  0.010 % |
475.01/475.47	c |    541884 |     841   120147   314766 | 2147483647    73855     44 |  0.010 % |
475.51/475.97	c |    542480 |     841   120147   314766 | 2147483647    74451     44 |  0.010 % |
476.11/476.57	c |    543143 |     841   120147   314766 | 2147483647    75114     44 |  0.010 % |
476.71/477.19	c |    543868 |     841   120147   314766 | 2147483647    75839     44 |  0.009 % |
477.51/477.98	c |    544661 |     841   120147   314766 | 2147483647    76632     44 |  0.009 % |
478.41/478.82	c |    545534 |     841   120147   314766 | 2147483647    77505     44 |  0.009 % |
479.31/479.79	c |    546492 |     841   120147   314766 | 2147483647    78463     45 |  0.000 % |
480.41/480.84	c |    547546 |     841   120147   314766 | 2147483647    79517     45 |  0.000 % |
481.41/481.86	c |    548704 |     841   120147   314766 | 2147483647    80675     46 |  0.000 % |
482.51/482.97	c |    549979 |     841   120147   314766 | 2147483647    81950     46 |  0.018 % |
484.00/484.47	c |    551379 |     841   120147   314766 | 2147483647    83350     46 |  0.010 % |
485.71/486.12	c |    552920 |     841   120147   314766 | 2147483647    84891     47 |  0.010 % |
487.50/487.91	c |    554615 |     841   120147   314766 | 2147483647    86586     47 |  0.010 % |
489.60/490.05	c |    556481 |     841   120147   314766 | 2147483647    88452     47 |  0.000 % |
492.00/492.44	c |    558533 |     841   120147   314766 | 2147483647    90504     46 |  0.010 % |
494.30/494.74	c |    560786 |     841   120147   314766 |    91977    79894     47 |  0.000 % |
496.80/497.29	c |    563264 |     841   120147   314766 |    91977    82372     47 |  0.010 % |
499.80/500.28	c |    565989 |     841   120147   314766 |    91977    85097     47 |  0.010 % |
503.39/503.82	c |    568986 |     841   120147   314766 |    91977    88094     47 |  0.010 % |
507.38/507.87	c |    572285 |     841   120147   314766 |    89108    78275     46 |  0.010 % |
511.88/512.34	c |    575910 |     841   120147   314766 |    89108    81900     46 |  0.010 % |
515.68/516.15	c |    579897 |     841   120147   314766 |    89108    85887     47 |  0.010 % |
520.28/520.77	c |    584283 |     841   120147   314766 |    85994    76612     47 |  0.009 % |
525.28/525.76	c |    589106 |     841   120147   314766 |    85994    81435     47 |  0.010 % |
529.97/530.49	c |    594412 |     841   120147   314766 |    82334    76557     45 |  0.010 % |
530.07/530.58	c |    594512 |     841   120147   314766 |    82334    76657     45 |  0.010 % |
530.17/530.68	c |    594624 |     841   120147   314766 |    82334    76769     45 |  0.000 % |
530.27/530.79	c |    594747 |     841   120147   314766 |    82334    76892     45 |  0.000 % |
530.47/530.91	c |    594880 |     841   120147   314766 |    82334    77025     45 |  0.010 % |
530.57/531.06	c |    595026 |     841   120147   314766 |    82334    77171     45 |  0.010 % |
530.78/531.24	c |    595187 |     841   120147   314766 |    82334    77332     45 |  0.000 % |
530.97/531.43	c |    595363 |     841   120147   314766 |    82334    77508     45 |  0.000 % |
531.17/531.64	c |    595559 |     841   120147   314766 |    82334    77704     45 |  0.000 % |
531.37/531.86	c |    595771 |     841   120147   314766 |    82334    77916     46 |  0.000 % |
531.57/532.09	c |    596008 |     841   120147   314766 |    82334    78153     46 |  0.010 % |
531.77/532.28	c |    596267 |     841   120147   314766 |    82334    78412     46 |  0.000 % |
532.07/532.55	c |    596549 |     841   120147   314766 |    82334    78694     46 |  0.010 % |
532.27/532.78	c |    596859 |     841   120147   314766 |    82334    79004     46 |  0.000 % |
532.67/533.12	c |    597198 |     841   120147   314766 |    82334    79343     46 |  0.000 % |
532.98/533.46	c |    597573 |     841   120147   314766 |    82334    79718     46 |  0.010 % |
533.37/533.82	c |    597984 |     841   120147   314766 |    82334    80129     46 |  0.000 % |
533.77/534.21	c |    598433 |     841   120147   314766 |    82334    80578     47 |  0.000 % |
534.27/534.74	c |    598927 |     841   120147   314766 |    82334    81072     47 |  0.010 % |
534.87/535.34	c |    599475 |     841   120147   314766 |    82334    81620     47 |  0.000 % |
535.47/535.96	c |    600074 |     841   120147   314766 |    82146    82219     46 |  0.010 % |
536.17/536.68	c |    600729 |     841   120147   314766 |    82146    73650     47 |  0.000 % |
536.87/537.36	c |    601449 |     841   120147   314766 |    82146    74370     47 |  0.000 % |
537.67/538.11	c |    602241 |     841   120147   314766 |    82146    75162     47 |  0.010 % |
538.47/538.99	c |    603112 |     841   120147   314766 |    82146    76033     46 |  0.010 % |
539.47/539.98	c |    604073 |     841   120147   314766 |    82146    76994     46 |  0.010 % |
540.37/540.89	c |    605130 |     841   120147   314766 |    82146    78051     47 |  0.000 % |
541.57/542.01	c |    606291 |     841   120147   314766 |    82146    79212     47 |  0.010 % |
542.77/543.26	c |    607564 |     841   120147   314766 |    82146    80485     47 |  0.010 % |
543.97/544.40	c |    608964 |     841   120147   314766 |    82146    81885     48 |  0.000 % |
545.67/546.18	c |    610509 |     841   120147   314766 | 2147483647    75183     46 |  0.010 % |
547.16/547.61	c |    612203 |     841   120147   314766 | 2147483647    76877     48 |  0.000 % |
549.35/549.82	c |    614069 |     841   120147   314766 | 2147483647    78743     48 |  0.000 % |
551.25/551.71	c |    616119 |     841   120147   314766 | 2147483647    80793     49 |  0.000 % |
553.55/554.07	c |    618373 |     841   120147   314766 | 2147483647    83047     49 |  0.010 % |
556.34/556.83	c |    620852 |     841   120147   314766 |    84675    75280     48 |  0.010 % |
559.15/559.61	c |    623582 |     841   120147   314766 |    84675    78010     47 |  0.010 % |
562.04/562.58	c |    626580 |     841   120147   314766 |    84675    81008     49 |  0.000 % |
565.84/566.39	c |    629879 |     841   120147   314766 |    84675    84307     51 |  0.000 % |
569.84/570.33	c |    633506 |     841   120147   314766 |    84430    77274     52 |  0.000 % |
574.24/574.75	c |    637495 |     841   120147   314766 |    84430    81263     53 |  0.000 % |
579.24/579.77	c |    641884 |     841   120147   314766 |    83769    73934     55 |  0.000 % |
585.05/585.59	c |    646708 |     841   120147   314766 |    83769    78758     55 |  0.010 % |
591.84/592.34	c |    652013 |     841   120147   314766 |    82051    70287     54 |  0.010 % |
598.23/598.70	c |    657848 |     841   120147   314766 |    82051    76122     57 |  0.000 % |
598.33/598.84	c |    657951 |     841   120147   314766 |    82051    76225     57 |  0.000 % |
598.43/598.99	c |    658065 |     841   120147   314766 |    82051    76339     57 |  0.010 % |
598.63/599.17	c |    658186 |     841   120147   314766 |    82051    76460     57 |  0.000 % |
598.83/599.30	c |    658321 |     841   120147   314766 |    82051    76595     57 |  0.010 % |
598.94/599.46	c |    658469 |     841   120147   314766 |    82051    76743     57 |  0.010 % |
599.13/599.67	c |    658629 |     841   120147   314766 |    82051    76903     57 |  0.010 % |
599.33/599.85	c |    658805 |     841   120147   314766 |    82051    77079     57 |  0.010 % |
599.63/600.11	c |    659000 |     841   120147   314766 |    82051    77274     57 |  0.010 % |
599.83/600.32	c |    659212 |     841   120147   314766 |    82051    77486     57 |  0.000 % |
600.04/600.55	c |    659446 |     841   120147   314766 |    82051    77720     57 |  0.000 % |
600.33/600.82	c |    659703 |     841   120147   314766 |    82051    77977     57 |  0.010 % |
600.63/601.18	c |    659984 |     841   120147   314766 |    82051    78258     57 |  0.010 % |
601.24/601.71	c |    660293 |     841   120147   314766 |    78274    65225     54 |  0.010 % |
601.53/602.09	c |    660632 |     841   120147   314766 |    78274    65564     54 |  0.010 % |
602.03/602.53	c |    661004 |     841   120147   314766 |    78274    65936     54 |  0.010 % |
602.43/602.97	c |    661413 |     841   120147   314766 |    78274    66345     54 |  0.000 % |
602.93/603.41	c |    661865 |     841   120147   314766 |    78274    66797     54 |  0.010 % |
603.44/603.92	c |    662358 |     841   120147   314766 |    78274    67290     54 |  0.000 % |
604.03/604.53	c |    662900 |     841   120147   314766 |    78274    67832     54 |  0.000 % |
604.63/605.15	c |    663500 |     841   120147   314766 |    78274    68432     54 |  0.000 % |
605.33/605.89	c |    664158 |     841   120147   314766 |    78274    69090     54 |  0.000 % |
606.23/606.74	c |    664884 |     841   120147   314766 |    78274    69816     54 |  0.000 % |
607.23/607.76	c |    665676 |     841   120147   314766 |    78274    70608     54 |  0.000 % |
608.23/608.75	c |    666548 |     841   120147   314766 |    78274    71480     54 |  0.010 % |
609.23/609.76	c |    667507 |     841   120147   314766 |    78274    72439     54 |  0.000 % |
610.33/610.80	c |    668561 |     841   120147   314766 |    78274    73493     55 |  0.000 % |
611.33/611.85	c |    669721 |     841   120147   314766 |    78274    74653     56 |  0.000 % |
612.83/613.33	c |    670994 |     841   120147   314766 |    74935    65233     56 |  0.010 % |
614.63/615.12	c |    672394 |     841   120147   314766 |    74935    66633     55 |  0.010 % |
616.83/617.32	c |    673935 |     841   120147   314766 |    74935    68174     55 |  0.010 % |
618.83/619.39	c |    675630 |     841   120147   314766 |    74935    69869     55 |  0.010 % |
621.03/621.55	c |    677494 |     841   120147   314766 |    74935    71733     54 |  0.010 % |
623.32/623.86	c |    679543 |     841   120147   314766 |    74935    73782     54 |  0.010 % |
626.02/626.51	c |    681801 |     841   120147   314766 |    74240    65051     51 |  0.000 % |
629.02/629.60	c |    684279 |     841   120147   314766 |    74240    67529     51 |  0.010 % |
632.22/632.77	c |    687004 |     841   120147   314766 |    74240    70254     50 |  0.010 % |
635.32/635.81	c |    690002 |     841   120147   314766 |    73250    73252     51 |  0.000 % |
638.61/639.11	c |    693298 |     841   120147   314766 |    73250    66322     52 |  0.000 % |
642.31/642.86	c |    696923 |     841   120147   314766 |    73250    69947     51 |  0.000 % |
647.11/647.67	c |    700913 |     841   120147   314766 |    73024    63514     48 |  0.010 % |
651.91/652.42	c |    705298 |     841   120147   314766 |    73024    67899     48 |  0.010 % |
657.21/657.77	c |    710122 |     841   120147   314766 |    72606    72723     48 |  0.000 % |
662.81/663.39	c |    715427 |     841   120147   314766 |    72606    67482     46 |  0.010 % |
669.90/670.44	c |    721263 |     841   120147   314766 |    72056    62245     44 |  0.010 % |
677.30/677.81	c |    727684 |     841   120147   314766 |    72056    68666     43 |  0.011 % |
677.40/677.94	c |    727789 |     841   120147   314766 |    72056    68771     43 |  0.010 % |
677.50/678.06	c |    727901 |     841   120147   314766 |    72056    68883     43 |  0.010 % |
677.60/678.19	c |    728023 |     841   120147   314766 |    72056    69005     43 |  0.011 % |
677.80/678.32	c |    728157 |     841   120147   314766 |    72056    69139     43 |  0.000 % |
677.90/678.45	c |    728303 |     841   120147   314766 |    72056    69285     43 |  0.000 % |
678.00/678.56	c |    728467 |     841   120147   314766 |    72056    69449     43 |  0.000 % |
678.20/678.75	c |    728645 |     841   120147   314766 |    72056    69627     43 |  0.010 % |
678.40/678.94	c |    728840 |     841   120147   314766 |    72056    69822     43 |  0.010 % |
678.60/679.19	c |    729052 |     841   120147   314766 |    72056    70034     43 |  0.010 % |
678.89/679.41	c |    729287 |     841   120147   314766 |    72056    70269     44 |  0.000 % |
679.09/679.65	c |    729543 |     841   120147   314766 |    72056    70525     44 |  0.000 % |
679.30/679.88	c |    729825 |     841   120147   314766 |    72056    70807     44 |  0.000 % |
679.59/680.13	c |    730134 |     841   120147   314766 |    70982    71116     44 |  0.000 % |
679.89/680.48	c |    730474 |     841   120147   314766 |    70982    60571     43 |  0.010 % |
680.30/680.81	c |    730848 |     841   120147   314766 |    70982    60945     43 |  0.010 % |
680.59/681.10	c |    731260 |     841   120147   314766 |    70982    61357     43 |  0.010 % |
680.89/681.48	c |    731710 |     841   120147   314766 |    70982    61807     43 |  0.000 % |
681.29/681.84	c |    732203 |     841   120147   314766 |    70982    62300     43 |  0.010 % |
681.69/682.25	c |    732745 |     841   120147   314766 |    70982    62842     43 |  0.010 % |
682.19/682.72	c |    733342 |     841   120147   314766 |    70982    63439     43 |  0.010 % |
682.69/683.28	c |    733998 |     841   120147   314766 |    70982    64095     43 |  0.010 % |
683.29/683.88	c |    734719 |     841   120147   314766 |    70982    64816     43 |  0.010 % |
684.09/684.64	c |    735512 |     841   120147   314766 |    70982    65609     43 |  0.010 % |
684.79/685.38	c |    736384 |     841   120147   314766 |    70982    66481     44 |  0.000 % |
685.59/686.19	c |    737342 |     841   120147   314766 |    70982    67439     44 |  0.000 % |
686.59/687.17	c |    738395 |     841   120147   314766 |    70982    68492     44 |  0.010 % |
687.59/688.16	c |    739562 |     841   120147   314766 |    70982    69659     44 |  0.010 % |
688.68/689.27	c |    740835 |     841   120147   314766 | 2147483647    70932     45 |  0.000 % |
689.88/690.49	c |    742237 |     841   120147   314766 | 2147483647    72334     45 |  0.010 % |
691.39/691.95	c |    743777 |     841   120147   314766 | 2147483647    73874     45 |  0.010 % |
693.18/693.75	c |    745474 |     841   120147   314766 | 2147483647    75571     45 |  0.010 % |
695.18/695.71	c |    747337 |     841   120147   314766 | 2147483647    77434     45 |  0.010 % |
697.08/697.70	c |    749388 |     841   120147   314766 | 2147483647    79485     45 |  0.010 % |
698.98/699.53	c |    751642 |     841   120147   314766 | 2147483647    81739     45 |  0.000 % |
701.58/702.12	c |    754121 |     841   120147   314766 | 2147483647    84218     44 |  0.010 % |
704.38/704.97	c |    756848 |     841   120147   314766 | 2147483647    86945     44 |  0.000 % |
707.78/708.33	c |    759848 |     841   120147   314766 | 2147483647    89945     44 |  0.000 % |
711.78/712.36	c |    763144 |     841   120147   314766 |    90097    82502     41 |  0.010 % |
715.27/715.82	c |    766769 |     841   120147   314766 |    90097    86127     41 |  0.010 % |
719.17/719.77	c |    770759 |     841   120147   314766 |    89358    78074     41 |  0.010 % |
723.28/723.82	c |    775144 |     841   120147   314766 |    89358    82459     40 |  0.010 % |
728.26/728.89	c |    779967 |     841   120147   314766 |    89358    87282     41 |  0.010 % |
733.26/733.89	c |    785272 |     841   120147   314766 |    87318    80317     41 |  0.000 % |
738.36/738.92	c |    791108 |     841   120147   314766 |    85046    75973     42 |  0.009 % |
744.66/745.20	c |    797526 |     841   120147   314766 |    85046    82391     42 |  0.010 % |
751.65/752.26	c |    804587 |     841   120147   314766 |    84866    78800     47 |  0.000 % |
751.76/752.38	c |    804687 |     841   120147   314766 |    84866    78900     48 |  0.000 % |
751.95/752.52	c |    804799 |     841   120147   314766 |    84866    79012     48 |  0.000 % |
752.05/752.67	c |    804921 |     841   120147   314766 |    84866    79134     48 |  0.000 % |
752.25/752.83	c |    805055 |     841   120147   314766 |    84866    79268     47 |  0.010 % |
752.35/752.97	c |    805203 |     841   120147   314766 |    84866    79416     48 |  0.000 % |
752.55/753.11	c |    805363 |     841   120147   314766 |    84866    79576     48 |  0.010 % |
752.65/753.28	c |    805540 |     841   120147   314766 |    84866    79753     48 |  0.000 % |
752.86/753.49	c |    805734 |     841   120147   314766 |    84866    79947     48 |  0.000 % |
753.05/753.66	c |    805948 |     841   120147   314766 |    84866    80161     48 |  0.000 % |
753.35/753.92	c |    806182 |     841   120147   314766 |    84866    80395     48 |  0.010 % |
753.55/754.18	c |    806441 |     841   120147   314766 |    84866    80654     48 |  0.010 % |
753.85/754.49	c |    806722 |     841   120147   314766 |    84866    80935     48 |  0.010 % |
754.25/754.89	c |    807031 |     841   120147   314766 |    84866    81244     48 |  0.010 % |
754.65/755.28	c |    807370 |     841   120147   314766 |    84866    81583     48 |  0.000 % |
755.16/755.71	c |    807742 |     841   120147   314766 |    84866    81955     48 |  0.000 % |
755.55/756.15	c |    808151 |     841   120147   314766 |    84866    82364     48 |  0.000 % |
756.05/756.64	c |    808601 |     841   120147   314766 |    84866    82814     48 |  0.010 % |
756.55/757.16	c |    809095 |     841   120147   314766 |    84866    83308     48 |  0.010 % |
757.15/757.75	c |    809639 |     841   120147   314766 |    84866    83852     48 |  0.000 % |
757.65/758.27	c |    810236 |     841   120147   314766 |    84215    84449     49 |  0.000 % |
758.45/759.08	c |    810891 |     841   120147   314766 |    84215    74076     50 |  0.000 % |
759.25/759.87	c |    811612 |     841   120147   314766 |    84215    74797     49 |  0.010 % |
759.95/760.59	c |    812404 |     841   120147   314766 |    84215    75589     49 |  0.010 % |
760.95/761.51	c |    813275 |     841   120147   314766 |    84215    76460     49 |  0.010 % |
761.85/762.41	c |    814234 |     841   120147   314766 |    84215    77419     49 |  0.000 % |
762.95/763.59	c |    815289 |     841   120147   314766 |    84215    78474     49 |  0.010 % |
764.35/764.92	c |    816449 |     841   120147   314766 |    84215    79634     49 |  0.010 % |
765.75/766.39	c |    817723 |     841   120147   314766 |    84215    80908     49 |  0.010 % |
767.45/768.06	c |    819126 |     841   120147   314766 |    84215    82311     49 |  0.010 % |
769.55/770.10	c |    820668 |     841   120147   314766 |    83186    73332     50 |  0.010 % |
771.34/771.91	c |    822362 |     841   120147   314766 |    83186    75026     49 |  0.010 % |
773.33/773.99	c |    824225 |     841   120147   314766 |    83186    76889     49 |  0.000 % |
775.63/776.21	c |    826274 |     841   120147   314766 |    83186    78938     49 |  0.010 % |
778.14/778.70	c |    828527 |     841   120147   314766 |    83186    81191     49 |  0.010 % |
780.63/781.28	c |    831006 |     841   120147   314766 |    82666    71895     52 |  0.000 % |
783.93/784.52	c |    833731 |     841   120147   314766 |    82666    74620     55 |  0.000 % |
787.33/787.95	c |    836728 |     841   120147   314766 |    82666    77617     55 |  0.000 % |
790.83/791.48	c |    840025 |     841   120147   314766 |    80890    80914     55 |  0.010 % |
795.32/795.98	c |    843652 |     841   120147   314766 |    80890    71550     58 |  0.000 % |
800.52/801.10	c |    847641 |     841   120147   314766 |    80890    75539     58 |  0.000 % |
806.32/806.95	c |    852027 |     841   120147   314766 |    77898    65152     51 |  0.010 % |
810.82/811.41	c |    856851 |     841   120147   314766 |    77898    69976     56 |  0.000 % |
816.31/816.98	c |    862157 |     841   120147   314766 |    73126    64264     55 |  0.010 % |
823.11/823.78	c |    867994 |     841   120147   314766 |    73126    70101     54 |  0.010 % |
830.21/830.83	c |    874415 |     841   120147   314766 |    72108    66092     57 |  0.010 % |
838.61/839.22	c |    881477 |     841   120147   314766 |    71677    61266     52 |  0.011 % |
847.41/848.03	c |    889243 |     841   120147   314766 |    71677    69032     50 |  0.011 % |
847.51/848.18	c |    889345 |     841   120147   314766 |    71677    69134     50 |  0.011 % |
847.70/848.32	c |    889455 |     841   120147   314766 |    71677    69244     50 |  0.011 % |
847.80/848.47	c |    889576 |     841   120147   314766 |    71677    69365     50 |  0.011 % |
848.00/848.62	c |    889712 |     841   120147   314766 |    71677    69501     50 |  0.000 % |
848.10/848.75	c |    889860 |     841   120147   314766 |    71677    69649     51 |  0.000 % |
848.20/848.89	c |    890020 |     841   120147   314766 |    69789    69809     50 |  0.010 % |
848.51/849.13	c |    890196 |     841   120147   314766 |    69789    58112     48 |  0.000 % |
848.70/849.31	c |    890391 |     841   120147   314766 |    69789    58307     48 |  0.000 % |
848.90/849.53	c |    890603 |     841   120147   314766 |    69789    58519     48 |  0.000 % |
849.10/849.72	c |    890836 |     841   120147   314766 |    69789    58752     48 |  0.010 % |
849.40/850.00	c |    891093 |     841   120147   314766 |    69789    59009     48 |  0.010 % |
849.61/850.23	c |    891374 |     841   120147   314766 |    69789    59290     48 |  0.000 % |
849.90/850.52	c |    891684 |     841   120147   314766 |    69789    59600     49 |  0.000 % |
850.20/850.80	c |    892023 |     841   120147   314766 |    69789    59939     48 |  0.000 % |
850.50/851.15	c |    892397 |     841   120147   314766 |    69789    60313     49 |  0.000 % |
850.90/851.58	c |    892806 |     841   120147   314766 |    69789    60722     49 |  0.000 % |
851.30/851.99	c |    893256 |     841   120147   314766 |    69789    61172     49 |  0.010 % |
851.70/852.38	c |    893750 |     841   120147   314766 |    69789    61666     49 |  0.000 % |
852.20/852.87	c |    894292 |     841   120147   314766 |    69789    62208     49 |  0.010 % |
852.80/853.41	c |    894888 |     841   120147   314766 |    69789    62804     49 |  0.010 % |
853.40/854.06	c |    895543 |     841   120147   314766 |    69789    63459     49 |  0.000 % |
854.00/854.68	c |    896266 |     841   120147   314766 |    69789    64182     50 |  0.000 % |
854.70/855.37	c |    897060 |     841   120147   314766 |    69789    64976     50 |  0.000 % |
855.50/856.12	c |    897934 |     841   120147   314766 |    69789    65850     51 |  0.000 % |
856.50/857.15	c |    898892 |     841   120147   314766 |    69789    66808     51 |  0.010 % |
857.60/858.25	c |    899946 |     841   120147   314766 |    69789    67862     51 |  0.010 % |
858.80/859.45	c |    901105 |     841   120147   314766 |    67919    61817     47 |  0.010 % |
860.10/860.79	c |    902378 |     841   120147   314766 |    67919    63090     47 |  0.010 % |
861.69/862.39	c |    903779 |     841   120147   314766 |    67919    64491     47 |  0.010 % |
863.48/864.14	c |    905323 |     841   120147   314766 |    67919    66035     47 |  0.010 % |
865.28/865.90	c |    907018 |     841   120147   314766 |    67919    67730     46 |  0.010 % |
866.98/867.63	c |    908881 |     841   120147   314766 |    67919    62269     47 |  0.000 % |
868.88/869.59	c |    910933 |     841   120147   314766 |    63389    57698     47 |  0.000 % |
870.88/871.55	c |    913186 |     841   120147   314766 |    63389    59951     47 |  0.000 % |
873.28/873.94	c |    915665 |     841   120147   314766 |    63389    62430     47 |  0.010 % |
876.47/877.14	c |    918395 |     841   120147   314766 |    63389    58749     45 |  0.010 % |
879.38/880.09	c |    921394 |     841   120147   314766 |    60359    55547     46 |  0.010 % |
882.37/883.02	c |    924690 |     841   120147   314766 |    60359    58843     46 |  0.010 % |
885.97/886.65	c |    928316 |     841   120147   314766 |    60359    56403     46 |  0.010 % |
889.87/890.55	c |    932308 |     841   120147   314766 | 2147483647    60395     47 |  0.010 % |
894.37/895.09	c |    936694 |     841   120147   314766 | 2147483647    64781     46 |  0.010 % |
899.17/899.84	c |    941518 |     841   120147   314766 |    68088    62375     45 |  0.000 % |
903.66/904.31	c |    946823 |     841   120147   314766 |    68088    67680     48 |  0.000 % |
909.26/909.99	c |    952658 |     841   120147   314766 | 2147483647    66668     46 |  0.010 % |
915.76/916.47	c |    959080 |     841   120147   314766 | 2147483647    73090     47 |  0.011 % |
922.75/923.40	c |    966139 |     841   120147   314766 | 2147483647    80149     52 |  0.000 % |
931.06/931.76	c |    973904 |     841   120147   314766 |    84010    77703     53 |  0.010 % |
941.55/942.24	c |    982447 |     841   120147   314766 |    83801    74352     54 |  0.010 % |
941.65/942.35	c |    982547 |     841   120147   314766 |    83801    74452     54 |  0.000 % |
941.75/942.47	c |    982657 |     841   120147   314766 |    83801    74562     54 |  0.000 % |
941.95/942.62	c |    982779 |     841   120147   314766 |    83801    74684     54 |  0.010 % |
942.05/942.77	c |    982915 |     841   120147   314766 |    83801    74820     54 |  0.010 % |
942.25/942.95	c |    983063 |     841   120147   314766 |    83801    74968     54 |  0.010 % |
942.45/943.11	c |    983223 |     841   120147   314766 |    83801    75128     54 |  0.000 % |
942.64/943.30	c |    983399 |     841   120147   314766 |    83801    75304     54 |  0.000 % |
942.74/943.49	c |    983592 |     841   120147   314766 |    83801    75497     54 |  0.000 % |
942.94/943.67	c |    983805 |     841   120147   314766 |    83801    75710     54 |  0.000 % |
943.24/943.90	c |    984039 |     841   120147   314766 |    83801    75944     54 |  0.010 % |
943.44/944.10	c |    984296 |     841   120147   314766 |    83801    76201     54 |  0.000 % |
943.64/944.39	c |    984578 |     841   120147   314766 |    83801    76483     54 |  0.000 % |
944.04/944.74	c |    984888 |     841   120147   314766 |    83801    76793     55 |  0.000 % |
944.44/945.18	c |    985227 |     841   120147   314766 |    83801    77132     55 |  0.010 % |
944.84/945.59	c |    985605 |     841   120147   314766 |    83801    77510     55 |  0.010 % |
945.35/946.02	c |    986014 |     841   120147   314766 |    83801    77919     55 |  0.010 % |
945.74/946.44	c |    986464 |     841   120147   314766 |    83801    78369     55 |  0.000 % |
946.24/946.99	c |    986957 |     841   120147   314766 |    83801    78862     55 |  0.010 % |
946.94/947.66	c |    987501 |     841   120147   314766 |    83801    79406     55 |  0.010 % |
947.55/948.26	c |    988097 |     841   120147   314766 |    83801    80002     55 |  0.000 % |
948.24/948.98	c |    988752 |     841   120147   314766 |    83801    80657     56 |  0.000 % |
949.04/949.76	c |    989473 |     841   120147   314766 |    83801    81378     56 |  0.010 % |
949.94/950.68	c |    990267 |     841   120147   314766 |    81905    82172     56 |  0.010 % |
951.14/951.88	c |    991139 |     841   120147   314766 |    81905    71199     58 |  0.010 % |
952.23/952.96	c |    992104 |     841   120147   314766 |    81905    72164     57 |  0.010 % |
953.43/954.14	c |    993157 |     841   120147   314766 |    81905    73217     57 |  0.000 % |
954.53/955.28	c |    994316 |     841   120147   314766 |    81905    74376     57 |  0.010 % |
955.93/956.66	c |    995589 |     841   120147   314766 |    81905    75649     57 |  0.010 % |
957.34/958.01	c |    996989 |     841   120147   314766 |    81905    77049     57 |  0.000 % |
958.73/959.49	c |    998531 |     841   120147   314766 |    81905    78591     57 |  0.010 % |
960.93/961.62	c |   1000228 |     841   120147   314766 |    80061    80288     58 |  0.000 % |
963.03/963.71	c |   1002093 |     841   120147   314766 |    80061    70097     57 |  0.010 % |
965.13/965.89	c |   1004143 |     841   120147   314766 |    80061    72147     58 |  0.000 % |
967.73/968.47	c |   1006398 |     841   120147   314766 |    80061    74402     58 |  0.010 % |
970.73/971.49	c |   1008877 |     841   120147   314766 |    80061    76881     58 |  0.010 % |
974.52/975.20	c |   1011606 |     841   120147   314766 |    78004    67229     57 |  0.011 % |
977.82/978.55	c |   1014604 |     841   120147   314766 |    78004    70227     56 |  0.011 % |
981.82/982.55	c |   1017901 |     841   120147   314766 |    78004    73524     56 |  0.011 % |
985.62/986.38	c |   1021528 |     841   120147   314766 |    75624    65230     51 |  0.000 % |
989.92/990.63	c |   1025515 |     841   120147   314766 |    75624    69217     54 |  0.000 % |
994.92/995.67	c |   1029901 |     841   120147   314766 |    75624    73603     57 |  0.000 % |
1000.10/1000.89	c |   1034724 |     841   120147   314766 |    73702    67160     54 |  0.010 % |
1005.90/1006.69	c |   1040032 |     841   120147   314766 |    72436    72468     53 |  0.010 % |
1012.70/1013.46	c |   1045868 |     841   120147   314766 |    72436    68488     56 |  0.000 % |
1018.80/1019.53	c |   1052287 |     841   120147   314766 |    72621    64349     53 |  0.010 % |
1026.60/1027.34	c |   1059347 |     841   120147   314766 |    72621    71409     52 |  0.010 % |
1035.79/1036.50	c |   1067117 |     841   120147   314766 |    72064    67739     51 |  0.010 % |
1045.48/1046.21	c |   1075660 |     841   120147   314766 |    70626    64468     47 |  0.010 % |
1055.28/1056.01	c |   1085055 |     841   120147   314766 |    68808    62749     49 |  0.010 % |
1055.38/1056.12	c |   1085155 |     841   120147   314766 |    68808    62849     49 |  0.000 % |
1055.48/1056.24	c |   1085266 |     841   120147   314766 |    68808    62960     49 |  0.000 % |
1055.58/1056.37	c |   1085390 |     841   120147   314766 |    68808    63084     49 |  0.010 % |
1055.78/1056.52	c |   1085526 |     841   120147   314766 |    68808    63220     49 |  0.010 % |
1055.98/1056.71	c |   1085672 |     841   120147   314766 |    68808    63366     49 |  0.000 % |
1056.08/1056.86	c |   1085833 |     841   120147   314766 |    68808    63527     49 |  0.010 % |
1056.28/1057.02	c |   1086009 |     841   120147   314766 |    68808    63703     49 |  0.010 % |
1056.38/1057.17	c |   1086202 |     841   120147   314766 |    68808    63896     49 |  0.000 % |
1056.58/1057.37	c |   1086414 |     841   120147   314766 |    68808    64108     49 |  0.000 % |
1056.88/1057.62	c |   1086647 |     841   120147   314766 |    68808    64341     49 |  0.010 % |
1057.08/1057.83	c |   1086904 |     841   120147   314766 |    68808    64598     49 |  0.010 % |
1057.38/1058.13	c |   1087185 |     841   120147   314766 |    68808    64879     49 |  0.010 % |
1057.68/1058.43	c |   1087494 |     841   120147   314766 |    68808    65188     49 |  0.010 % |
1057.98/1058.72	c |   1087833 |     841   120147   314766 |    68808    65527     49 |  0.010 % |
1058.28/1059.06	c |   1088207 |     841   120147   314766 |    68808    65901     49 |  0.010 % |
1058.68/1059.43	c |   1088616 |     841   120147   314766 |    68808    66310     49 |  0.000 % |
1059.08/1059.89	c |   1089065 |     841   120147   314766 |    68808    66759     49 |  0.000 % |
1059.58/1060.34	c |   1089558 |     841   120147   314766 |    68808    67252     50 |  0.000 % |
1060.18/1060.97	c |   1090100 |     841   120147   314766 |    67695    67794     50 |  0.000 % |
1060.78/1061.57	c |   1090696 |     841   120147   314766 |    67695    59649     46 |  0.010 % |
1061.48/1062.25	c |   1091351 |     841   120147   314766 |    67695    60304     46 |  0.010 % |
1062.08/1062.90	c |   1092073 |     841   120147   314766 |    67695    61026     46 |  0.010 % |
1062.78/1063.57	c |   1092865 |     841   120147   314766 |    67695    61818     47 |  0.000 % |
1063.68/1064.48	c |   1093736 |     841   120147   314766 |    67695    62689     47 |  0.000 % |
1064.58/1065.37	c |   1094695 |     841   120147   314766 |    67695    63648     47 |  0.010 % |
1065.57/1066.30	c |   1095748 |     841   120147   314766 |    67695    64701     47 |  0.010 % |
1066.47/1067.29	c |   1096907 |     841   120147   314766 |    67695    65860     46 |  0.010 % |
1067.77/1068.51	c |   1098182 |     841   120147   314766 |    67695    67135     46 |  0.010 % |
1069.17/1069.91	c |   1099586 |     841   120147   314766 |    67695    61738     45 |  0.010 % |
1070.68/1071.40	c |   1101127 |     841   120147   314766 | 2147483647    63279     46 |  0.000 % |
1072.07/1072.87	c |   1102823 |     841   120147   314766 | 2147483647    64975     46 |  0.009 % |
1073.67/1074.48	c |   1104687 |     841   120147   314766 | 2147483647    66839     46 |  0.009 % |
1075.77/1076.56	c |   1106736 |     841   120147   314766 | 2147483647    68888     46 |  0.010 % |
1077.87/1078.70	c |   1108989 |     841   120147   314766 | 2147483647    71141     46 |  0.010 % |
1080.37/1081.13	c |   1111467 |     841   120147   314766 | 2147483647    73619     46 |  0.010 % |
1083.17/1083.93	c |   1114192 |     841   120147   314766 | 2147483647    76344     46 |  0.010 % |
1085.96/1086.80	c |   1117189 |     841   120147   314766 | 2147483647    79341     46 |  0.010 % |
1089.96/1090.74	c |   1120488 |     841   120147   314766 |    82152    73247     46 |  0.000 % |
1093.96/1094.78	c |   1124117 |     841   120147   314766 |    82152    76876     46 |  0.010 % |
1097.96/1098.76	c |   1128107 |     841   120147   314766 |    82152    80866     46 |  0.010 % |
1102.16/1102.99	c |   1132492 |     841   120147   314766 |    71433    64462     44 |  0.010 % |
1106.86/1107.69	c |   1137316 |     841   120147   314766 |    71433    69286     45 |  0.010 % |
1112.05/1112.89	c |   1142624 |     841   120147   314766 |    63609    58659     43 |  0.010 % |
1118.05/1118.83	c |   1148461 |     841   120147   314766 |    63609    57067     42 |  0.010 % |
1123.75/1124.55	c |   1154879 |     841   120147   314766 |    58608    56985     41 |  0.010 % |
1129.45/1130.24	c |   1161941 |     841   120147   314766 | 2147483647    58155     41 |  0.000 % |
1135.74/1136.54	c |   1169706 |     841   120147   314766 | 2147483647    65920     41 |  0.010 % |
1142.84/1143.66	c |   1178246 |     841   120147   314766 | 2147483647    74460     42 |  0.010 % |
1151.83/1152.68	c |   1187640 |     841   120147   314766 | 2147483647    83854     42 |  0.010 % |
1162.23/1163.03	c |   1197973 |     841   120147   314766 | 2147483647    94187     42 |  0.000 % |
1162.33/1163.14	c |   1198074 |     841   120147   314766 | 2147483647    94288     42 |  0.000 % |
1162.43/1163.23	c |   1198186 |     841   120147   314766 | 2147483647    94400     42 |  0.000 % |
1162.53/1163.37	c |   1198307 |     841   120147   314766 | 2147483647    94521     42 |  0.000 % |
1162.73/1163.52	c |   1198442 |     841   120147   314766 | 2147483647    94656     42 |  0.010 % |
1162.83/1163.66	c |   1198588 |     841   120147   314766 | 2147483647    94802     42 |  0.010 % |
1163.03/1163.82	c |   1198748 |     841   120147   314766 | 2147483647    94962     42 |  0.000 % |
1163.13/1163.97	c |   1198928 |     841   120147   314766 | 2147483647    95142     42 |  0.010 % |
1163.33/1164.20	c |   1199121 |     841   120147   314766 | 2147483647    95335     42 |  0.010 % |
1163.63/1164.43	c |   1199333 |     841   120147   314766 | 2147483647    95547     42 |  0.010 % |
1163.83/1164.61	c |   1199566 |     841   120147   314766 | 2147483647    95780     42 |  0.000 % |
1164.03/1164.86	c |   1199822 |     841   120147   314766 | 2147483647    96036     42 |  0.000 % |
1164.33/1165.14	c |   1200104 |     841   120147   314766 |    96214    96318     42 |  0.000 % |
1164.73/1165.51	c |   1200414 |     841   120147   314766 |    96214    84977     41 |  0.010 % |
1165.03/1165.88	c |   1200753 |     841   120147   314766 |    96214    85316     41 |  0.000 % |
1165.43/1166.26	c |   1201125 |     841   120147   314766 |    96214    85688     41 |  0.011 % |
1165.83/1166.65	c |   1201538 |     841   120147   314766 |    96214    86101     41 |  0.000 % |
1166.13/1166.97	c |   1201989 |     841   120147   314766 |    96214    86552     42 |  0.000 % |
1166.53/1167.35	c |   1202482 |     841   120147   314766 |    96214    87045     42 |  0.010 % |
1167.03/1167.87	c |   1203027 |     841   120147   314766 |    96214    87590     42 |  0.010 % |
1167.53/1168.39	c |   1203623 |     841   120147   314766 |    96214    88186     42 |  0.000 % |
1168.23/1169.04	c |   1204278 |     841   120147   314766 |    96214    88841     42 |  0.000 % |
1168.93/1169.78	c |   1204999 |     841   120147   314766 |    96214    89562     42 |  0.010 % |
1169.73/1170.55	c |   1205793 |     841   120147   314766 |    96214    90356     42 |  0.010 % |
1170.63/1171.40	c |   1206664 |     841   120147   314766 |    96214    91227     42 |  0.010 % |
1171.52/1172.30	c |   1207622 |     841   120147   314766 |    96214    92185     42 |  0.010 % |
1172.52/1173.31	c |   1208675 |     841   120147   314766 |    96214    93238     42 |  0.010 % |
1173.72/1174.50	c |   1209836 |     841   120147   314766 |    96214    94399     42 |  0.010 % |
1174.92/1175.79	c |   1211109 |     841   120147   314766 | 2147483647    95672     42 |  0.010 % |
1176.32/1177.14	c |   1212512 |     841   120147   314766 | 2147483647    97075     42 |  0.010 % |
1177.62/1178.44	c |   1214055 |     841   120147   314766 | 2147483647    98618     43 |  0.000 % |
1179.12/1179.91	c |   1215749 |     841   120147   314766 | 2147483647   100312     44 |  0.000 % |
1180.92/1181.79	c |   1217614 |     841   120147   314766 | 2147483647   102177     44 |  0.010 % |
1183.02/1183.87	c |   1219664 |     841   120147   314766 | 2147483647   104227     44 |  0.010 % |
1185.51/1186.38	c |   1221918 |     841   120147   314766 |   104565    94635     43 |  0.010 % |
1188.11/1188.96	c |   1224396 |     841   120147   314766 |   104565    97113     43 |  0.010 % |
1191.11/1191.97	c |   1227123 |     841   120147   314766 |   104565    99840     43 |  0.000 % |
1194.41/1195.27	c |   1230120 |     841   120147   314766 |   102719   102837     43 |  0.010 % |
1198.11/1199.00	c |   1233416 |     841   120147   314766 |   102719    92502     44 |  0.010 % |

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-1832109-1242769182/watcher-1832109-1242769182 -o /tmp/evaluation-result-1832109-1242769182/solver-1832109-1242769182 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832109-1242769182.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 0.99 0.91 3/64 10208
/proc/meminfo: memFree=1855656/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 304944566 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 227607806034 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/10208/statm: 1339 235 195 169 0 50 0
[pid=10209] ppid=10208 vsize=5356 CPUtime=0
/proc/10209/stat : 10209 (SatELiteGTI) S 10208 10208 10088 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 304944567 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/10209/statm: 1339 238 198 169 0 50 0
[pid=10211] ppid=10209 vsize=240 CPUtime=0
/proc/10211/stat : 10211 (sed) R 10209 10208 10088 0 -1 4194304 47 0 0 0 0 0 0 0 18 0 1 0 304944567 245760 28 1992294400 4194304 4240196 548682069056 18446744073709551615 227604984140 0 0 4096 0 0 0 0 17 0 0 0
/proc/10211/statm: 623 31 23 11 0 15 0

[startup+0.0829181 s]
/proc/loadavg: 1.00 0.99 0.91 3/64 10208
/proc/meminfo: memFree=1855656/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304944566 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10208/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.102917 s]
/proc/loadavg: 1.00 0.99 0.91 3/64 10208
/proc/meminfo: memFree=1855656/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304944566 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10208/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301953 s]
/proc/loadavg: 1.00 0.99 0.91 3/64 10208
/proc/meminfo: memFree=1855656/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 5356

[startup+0.70203 s]
/proc/loadavg: 1.00 0.99 0.91 3/64 10208
/proc/meminfo: memFree=1855656/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 5356

[startup+1.50119 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 10214
/proc/meminfo: memFree=1846616/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
[pid=10214] ppid=10208 vsize=8524 CPUtime=1.3
/proc/10214/stat : 10214 (minisat_static) R 10208 10208 10088 0 -1 4194304 2014 0 0 0 129 1 0 0 25 0 1 0 304944585 8728576 2000 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10214/statm: 2131 2000 77 171 0 1958 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 13880

[startup+3.1015 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 10214
/proc/meminfo: memFree=1845080/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
[pid=10214] ppid=10208 vsize=10240 CPUtime=2.89
/proc/10214/stat : 10214 (minisat_static) R 10208 10208 10088 0 -1 4194304 2454 0 0 0 288 1 0 0 25 0 1 0 304944585 10485760 2440 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10214/statm: 2560 2440 77 171 0 2387 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 15596

[startup+6.30213 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 10214
/proc/meminfo: memFree=1841752/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
[pid=10214] ppid=10208 vsize=13188 CPUtime=6.1
/proc/10214/stat : 10214 (minisat_static) R 10208 10208 10088 0 -1 4194304 3167 0 0 0 608 2 0 0 25 0 1 0 304944585 13504512 3153 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10214/statm: 3297 3153 77 171 0 3124 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 18544

[startup+12.7014 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 10214
/proc/meminfo: memFree=1837344/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
[pid=10214] ppid=10208 vsize=17364 CPUtime=12.48
/proc/10214/stat : 10214 (minisat_static) R 10208 10208 10088 0 -1 4194304 4226 0 0 0 1244 4 0 0 25 0 1 0 304944585 17780736 4212 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10214/statm: 4341 4212 77 171 0 4168 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 22720

[startup+25.5019 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 10214
/proc/meminfo: memFree=1830496/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
[pid=10214] ppid=10208 vsize=23964 CPUtime=25.27
/proc/10214/stat : 10214 (minisat_static) R 10208 10208 10088 0 -1 4194304 5862 0 0 0 2521 6 0 0 25 0 1 0 304944585 24539136 5848 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/10214/statm: 5991 5848 77 171 0 5818 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 29320

[startup+51.1019 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 10214
/proc/meminfo: memFree=1820768/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
[pid=10214] ppid=10208 vsize=33664 CPUtime=50.84
/proc/10214/stat : 10214 (minisat_static) R 10208 10208 10088 0 -1 4194304 8271 0 0 0 5076 8 0 0 25 0 1 0 304944585 34471936 8257 1992294400 134512640 135215339 4294956240 18446744073709551615 134538107 0 0 4096 3 0 0 0 17 0 0 0
/proc/10214/statm: 8416 8257 77 171 0 8243 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 39020

[startup+102.307 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 10214
/proc/meminfo: memFree=1808416/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
[pid=10214] ppid=10208 vsize=45724 CPUtime=102
/proc/10214/stat : 10214 (minisat_static) R 10208 10208 10088 0 -1 4194304 11296 0 0 0 10190 10 0 0 25 0 1 0 304944585 46821376 11282 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10214/statm: 11431 11282 77 171 0 11258 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 51080

[startup+162.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 10214
/proc/meminfo: memFree=1808160/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
[pid=10214] ppid=10208 vsize=46000 CPUtime=161.96
/proc/10214/stat : 10214 (minisat_static) R 10208 10208 10088 0 -1 4194304 11333 0 0 0 16185 11 0 0 25 0 1 0 304944585 47104000 11319 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10214/statm: 11500 11319 77 171 0 11327 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 51356

[startup+222.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 10214
/proc/meminfo: memFree=1807968/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
[pid=10214] ppid=10208 vsize=46000 CPUtime=221.92
/proc/10214/stat : 10214 (minisat_static) R 10208 10208 10088 0 -1 4194304 11355 0 0 0 22181 11 0 0 25 0 1 0 304944585 47104000 11341 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10214/statm: 11500 11341 77 171 0 11327 0
Current children cumulated CPU time (s) 222.09
Current children cumulated vsize (KiB) 51356

[startup+282.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 10216
/proc/meminfo: memFree=1807392/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
[pid=10214] ppid=10208 vsize=46176 CPUtime=281.86
/proc/10214/stat : 10214 (minisat_static) R 10208 10208 10088 0 -1 4194304 11374 0 0 0 28175 11 0 0 25 0 1 0 304944585 47284224 11360 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10214/statm: 11544 11360 77 171 0 11371 0
Current children cumulated CPU time (s) 282.03
Current children cumulated vsize (KiB) 51532

[startup+342.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 10216
/proc/meminfo: memFree=1807456/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
[pid=10214] ppid=10208 vsize=46176 CPUtime=341.82
/proc/10214/stat : 10214 (minisat_static) R 10208 10208 10088 0 -1 4194304 11374 0 0 0 34171 11 0 0 25 0 1 0 304944585 47284224 11360 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10214/statm: 11544 11360 77 171 0 11371 0
Current children cumulated CPU time (s) 341.99
Current children cumulated vsize (KiB) 51532

[startup+402.303 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 10216
/proc/meminfo: memFree=1807392/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
[pid=10214] ppid=10208 vsize=46176 CPUtime=401.78

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

/proc/10214/statm: 11544 11369 77 171 0 11371 0
Current children cumulated CPU time (s) 521.88
Current children cumulated vsize (KiB) 51532

[startup+582.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 10216
/proc/meminfo: memFree=1807136/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
[pid=10214] ppid=10208 vsize=46308 CPUtime=581.67
/proc/10214/stat : 10214 (minisat_static) R 10208 10208 10088 0 -1 4194304 11398 0 0 0 58155 12 0 0 25 0 1 0 304944585 47419392 11384 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10214/statm: 11577 11384 77 171 0 11404 0
Current children cumulated CPU time (s) 581.84
Current children cumulated vsize (KiB) 51664

[startup+642.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 10216
/proc/meminfo: memFree=1807072/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
[pid=10214] ppid=10208 vsize=46308 CPUtime=641.64
/proc/10214/stat : 10214 (minisat_static) R 10208 10208 10088 0 -1 4194304 11398 0 0 0 64152 12 0 0 25 0 1 0 304944585 47419392 11384 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/10214/statm: 11577 11384 77 171 0 11404 0
Current children cumulated CPU time (s) 641.81
Current children cumulated vsize (KiB) 51664

[startup+702.303 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 10216
/proc/meminfo: memFree=1806816/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
[pid=10214] ppid=10208 vsize=46308 CPUtime=701.61
/proc/10214/stat : 10214 (minisat_static) R 10208 10208 10088 0 -1 4194304 11416 0 0 0 70149 12 0 0 25 0 1 0 304944585 47419392 11402 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10214/statm: 11577 11402 77 171 0 11404 0
Current children cumulated CPU time (s) 701.78
Current children cumulated vsize (KiB) 51664

[startup+762.307 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 10216
/proc/meminfo: memFree=1806624/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
[pid=10214] ppid=10208 vsize=46460 CPUtime=761.58
/proc/10214/stat : 10214 (minisat_static) R 10208 10208 10088 0 -1 4194304 11446 0 0 0 76146 12 0 0 25 0 1 0 304944585 47575040 11432 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/10214/statm: 11615 11432 77 171 0 11442 0
Current children cumulated CPU time (s) 761.75
Current children cumulated vsize (KiB) 51816

[startup+822.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 10216
/proc/meminfo: memFree=1806560/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
[pid=10214] ppid=10208 vsize=46460 CPUtime=821.54
/proc/10214/stat : 10214 (minisat_static) R 10208 10208 10088 0 -1 4194304 11453 0 0 0 82142 12 0 0 25 0 1 0 304944585 47575040 11439 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/10214/statm: 11615 11439 77 171 0 11442 0
Current children cumulated CPU time (s) 821.71
Current children cumulated vsize (KiB) 51816

[startup+882.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 10216
/proc/meminfo: memFree=1806496/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
[pid=10214] ppid=10208 vsize=46608 CPUtime=881.5
/proc/10214/stat : 10214 (minisat_static) R 10208 10208 10088 0 -1 4194304 11470 0 0 0 88138 12 0 0 25 0 1 0 304944585 47726592 11456 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/10214/statm: 11652 11456 77 171 0 11479 0
Current children cumulated CPU time (s) 881.67
Current children cumulated vsize (KiB) 51964

[startup+942.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 10216
/proc/meminfo: memFree=1806368/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
[pid=10214] ppid=10208 vsize=46608 CPUtime=941.48
/proc/10214/stat : 10214 (minisat_static) R 10208 10208 10088 0 -1 4194304 11480 0 0 0 94136 12 0 0 25 0 1 0 304944585 47726592 11466 1992294400 134512640 135215339 4294956240 18446744073709551615 134528821 0 0 4096 3 0 0 0 17 0 0 0
/proc/10214/statm: 11652 11466 77 171 0 11479 0
Current children cumulated CPU time (s) 941.65
Current children cumulated vsize (KiB) 51964

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 10216
/proc/meminfo: memFree=1806240/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
[pid=10214] ppid=10208 vsize=46608 CPUtime=1001.43
/proc/10214/stat : 10214 (minisat_static) R 10208 10208 10088 0 -1 4194304 11489 0 0 0 100131 12 0 0 25 0 1 0 304944585 47726592 11475 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10214/statm: 11652 11475 77 171 0 11479 0
Current children cumulated CPU time (s) 1001.6
Current children cumulated vsize (KiB) 51964

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 10216
/proc/meminfo: memFree=1806112/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
[pid=10214] ppid=10208 vsize=46760 CPUtime=1061.41
/proc/10214/stat : 10214 (minisat_static) R 10208 10208 10088 0 -1 4194304 11505 0 0 0 106129 12 0 0 25 0 1 0 304944585 47882240 11491 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10214/statm: 11690 11491 77 171 0 11517 0
Current children cumulated CPU time (s) 1061.58
Current children cumulated vsize (KiB) 52116

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 10216
/proc/meminfo: memFree=1805920/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
[pid=10214] ppid=10208 vsize=46760 CPUtime=1121.38
/proc/10214/stat : 10214 (minisat_static) R 10208 10208 10088 0 -1 4194304 11506 0 0 0 112126 12 0 0 25 0 1 0 304944585 47882240 11492 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10214/statm: 11690 11492 77 171 0 11517 0
Current children cumulated CPU time (s) 1121.55
Current children cumulated vsize (KiB) 52116

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 10216
/proc/meminfo: memFree=1805792/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
[pid=10214] ppid=10208 vsize=46900 CPUtime=1181.35
/proc/10214/stat : 10214 (minisat_static) R 10208 10208 10088 0 -1 4194304 11543 0 0 0 118123 12 0 0 25 0 1 0 304944585 48025600 11529 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10214/statm: 11725 11529 77 171 0 11552 0
Current children cumulated CPU time (s) 1181.52
Current children cumulated vsize (KiB) 52256



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.8 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 10216
/proc/meminfo: memFree=1805664/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
[pid=10214] ppid=10208 vsize=46900 CPUtime=1199.84
/proc/10214/stat : 10214 (minisat_static) R 10208 10208 10088 0 -1 4194304 11543 0 0 0 119972 12 0 0 25 0 1 0 304944585 48025600 11529 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/10214/statm: 11725 11529 77 171 0 11552 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 52256

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 10208 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=154976
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=25996
# CPU time returned by wait4() is 0.180972
# while last known CPU time is 1200.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1200.81
CPU time (s): 1200.01
CPU user time (s): 1199.87
CPU system time (s): 0.14
CPU usage (%): 99.9332
Max. virtual memory (cumulated for all children) (KiB): 52256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.154976
system time used= 0.025996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2322
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= 8

runsolver used 1.13983 second user time and 3.35449 second system time

The end

Launcher Data

Begin job on node66 at 2009-05-19 23:39:42
IDJOB=1832109
IDBENCH=20491
IDSOLVER=671
FILE ID=node66/1832109-1242769182
PBS_JOBID= 9322236
Free space on /tmp= 66440 MiB

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

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

MD5SUM BENCH= 1e81246225c81a67548d334d1dfcc24b
RANDOM SEED=1104871197

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.263
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:       1856136 kB
Buffers:         12864 kB
Cached:         146612 kB
SwapCached:       7328 kB
Active:          23476 kB
Inactive:       144872 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1856136 kB
SwapTotal:     4192956 kB
SwapFree:      4179876 kB
Dirty:            3252 kB
Writeback:           0 kB
Mapped:          13980 kB
Slab:            17540 kB
Committed_AS:  1110716 kB
PageTables:       1364 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= 66436 MiB
End job on node66 at 2009-05-19 23:59:45