Trace number 1832101

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-18SAT 376.441 376.61

General information on the benchmark

Nameindustrial/grieu/
vmpc_25.cnf
MD5SUMc5b44b10975f50cd32d40650a6a22d18
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.47478
Satisfiable
(Un)Satisfiability was proved
Number of variables625
Number of clauses76775
Sum of the clauses size201350
Maximum clause length25
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 230075
Number of clauses of size 346650
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 550

Solver Data

0.00/0.00	c Parsing...
0.01/0.05	c ==============================================================================
0.01/0.05	c |           |     ORIGINAL     |              LEARNT              |          |
0.01/0.05	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.01/0.05	c ==============================================================================
0.01/0.05	c |         0 |   76775   201350 |   23032       0        0     nan |  0.000 % |
0.01/0.05	c ==============================================================================
0.01/0.05	c Result  :   #vars: 625   #clauses: 76775   #literals: 201350
0.01/0.05	c CPU time:   0.038994 s
0.01/0.05	c ==============================================================================
0.09/0.11	c This is MiniSat 2.0 beta
0.09/0.11	c WARNING: for repeatability, setting FPU to use double precision
0.09/0.11	c ============================[ Problem Statistics ]=============================
0.09/0.11	c |                                                                             |
0.09/0.11	c |  Number of variables:  625                                                  |
0.09/0.12	c |  Number of clauses:    76775                                                |
0.09/0.15	c |  Parsing time:         0.03         s                                       |
0.09/0.15	c ============================[ Search Statistics ]==============================
0.09/0.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.15	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.09/0.15	c ===============================================================================
0.09/0.15	c |         0 |     625    76775   201350 |    25591        0    nan |  0.000 % |
0.09/0.17	c |       100 |     625    76775   201350 |    25591      100     52 |  0.000 % |
0.09/0.18	c |       200 |     625    76775   201350 |    25591      200     40 |  0.000 % |
0.09/0.19	c |       300 |     625    76775   201350 |    25591      300     32 |  0.015 % |
0.10/0.20	c |       412 |     625    76775   201350 |    25591      412     29 |  0.016 % |
0.10/0.21	c |       513 |     625    76775   201350 |    25591      513     27 |  0.016 % |
0.10/0.22	c |       628 |     625    76775   201350 |    25591      628     36 |  0.001 % |
0.10/0.24	c |       749 |     625    76775   201350 |    25591      749     34 |  0.016 % |
0.10/0.25	c |       854 |     625    76775   201350 |    25591      854     32 |  0.016 % |
0.10/0.26	c |       965 |     625    76775   201350 |    25591      965     31 |  0.016 % |
0.10/0.27	c |      1087 |     625    76775   201350 |    25591     1087     30 |  0.016 % |
0.10/0.28	c |      1220 |     625    76775   201350 |    25591     1220     33 |  0.000 % |
0.10/0.29	c |      1320 |     625    76775   201350 |    25591     1320     32 |  0.016 % |
0.10/0.30	c |      1430 |     625    76775   201350 |    25591     1430     32 |  0.016 % |
0.10/0.32	c |      1553 |     625    76775   201350 |    25591     1553     31 |  0.016 % |
0.10/0.33	c |      1686 |     625    76775   201350 |    25591     1686     33 |  0.000 % |
0.10/0.34	c |      1832 |     625    76775   201350 |    25591     1832     33 |  0.016 % |
0.10/0.35	c |      1934 |     625    76775   201350 |    25591     1934     33 |  0.016 % |
0.10/0.36	c |      2048 |     625    76775   201350 |    25591     2048     32 |  0.016 % |
0.10/0.37	c |      2171 |     625    76775   201350 |    25591     2171     34 |  0.000 % |
0.10/0.38	c |      2305 |     625    76775   201350 |    25591     2305     33 |  0.016 % |
0.10/0.40	c |      2452 |     625    76775   201350 |    25591     2452     33 |  0.015 % |
0.10/0.41	c |      2612 |     625    76775   201350 |    25591     2612     33 |  0.016 % |
0.10/0.42	c |      2712 |     625    76775   201350 |    25591     2712     32 |  0.018 % |
0.10/0.43	c |      2823 |     625    76775   201350 |    25591     2823     32 |  0.018 % |
0.10/0.45	c |      2945 |     625    76775   201350 |    25591     2945     31 |  0.016 % |
0.10/0.46	c |      3078 |     625    76775   201350 |    25591     3078     31 |  0.016 % |
0.10/0.47	c |      3227 |     625    76775   201350 |    25591     3227     34 |  0.000 % |
0.10/0.49	c |      3387 |     625    76775   201350 |    25591     3387     34 |  0.001 % |
0.10/0.51	c |      3566 |     625    76775   201350 |    25591     3566     34 |  0.016 % |
0.10/0.52	c |      3667 |     625    76775   201350 |    25591     3667     34 |  0.000 % |
0.10/0.53	c |      3781 |     625    76775   201350 |    25591     3781     34 |  0.016 % |
0.10/0.54	c |      3902 |     625    76775   201350 |    25591     3902     34 |  0.016 % |
0.10/0.56	c |      4036 |     625    76775   201350 |    25591     4036     33 |  0.000 % |
0.10/0.57	c |      4182 |     625    76775   201350 |    25591     4182     35 |  0.000 % |
0.10/0.59	c |      4343 |     625    76775   201350 |    25591     4343     36 |  0.016 % |
0.10/0.61	c |      4519 |     625    76775   201350 |    25591     4519     35 |  0.000 % |
0.10/0.63	c |      4714 |     625    76775   201350 |    25591     4714     36 |  0.000 % |
0.10/0.64	c |      4814 |     625    76775   201350 |    25591     4814     36 |  0.000 % |
0.10/0.65	c |      4924 |     625    76775   201350 |    25591     4924     36 |  0.016 % |
0.10/0.67	c |      5046 |     625    76775   201350 |    25591     5046     36 |  0.016 % |
0.10/0.68	c |      5180 |     625    76775   201350 |    25591     5180     37 |  0.000 % |
0.10/0.70	c |      5326 |     625    76775   201350 |    25591     5326     37 |  0.015 % |
0.10/0.72	c |      5488 |     625    76775   201350 |    25591     5488     36 |  0.016 % |
0.10/0.74	c |      5664 |     625    76775   201350 |    25591     5664     36 |  0.015 % |
0.10/0.76	c |      5857 |     625    76775   201350 |    25591     5857     36 |  0.015 % |
0.10/0.79	c |      6071 |     625    76775   201350 |    25591     6071     35 |  0.015 % |
0.10/0.80	c |      6172 |     625    76775   201350 |    25591     6172     36 |  0.001 % |
0.10/0.81	c |      6283 |     625    76775   201350 |    25591     6283     36 |  0.015 % |
0.10/0.83	c |      6405 |     625    76775   201350 |    25591     6405     36 |  0.015 % |
0.10/0.84	c |      6538 |     625    76775   201350 |    25591     6538     35 |  0.016 % |
0.10/0.86	c |      6684 |     625    76775   201350 |    25591     6684     36 |  0.000 % |
0.10/0.88	c |      6847 |     625    76775   201350 |    25591     6847     36 |  0.000 % |
0.10/0.90	c |      7023 |     625    76775   201350 |    25591     7023     36 |  0.016 % |
0.10/0.92	c |      7217 |     625    76775   201350 |    25591     7217     37 |  0.000 % |
0.10/0.95	c |      7430 |     625    76775   201350 |    25591     7430     37 |  0.000 % |
0.10/0.99	c |      7664 |     625    76775   201350 |    25591     7664     36 |  0.000 % |
0.97/1.00	c |      7765 |     625    76775   201350 |    25591     7765     36 |  0.016 % |
0.97/1.02	c |      7876 |     625    76775   201350 |    25591     7876     36 |  0.000 % |
0.97/1.04	c |      8000 |     625    76775   201350 |    25591     8000     35 |  0.016 % |
0.97/1.06	c |      8133 |     625    76775   201350 |    25591     8133     36 |  0.000 % |
0.97/1.08	c |      8280 |     625    76775   201350 |    25591     8280     36 |  0.015 % |
1.07/1.10	c |      8442 |     625    76775   201350 |    25591     8442     35 |  0.016 % |
1.07/1.13	c |      8619 |     625    76775   201350 |    25591     8619     35 |  0.016 % |
1.07/1.16	c |      8814 |     625    76775   201350 |    25591     8814     35 |  0.016 % |
1.07/1.19	c |      9026 |     625    76775   201350 |    25591     9026     35 |  0.016 % |
1.17/1.22	c |      9261 |     625    76775   201350 |    25591     9261     36 |  0.000 % |
1.17/1.25	c |      9518 |     625    76775   201350 |    25591     9518     36 |  0.000 % |
1.17/1.27	c |      9621 |     625    76775   201350 |    25591     9621     36 |  0.001 % |
1.17/1.28	c |      9731 |     625    76775   201350 |    25591     9731     36 |  0.016 % |
1.17/1.29	c |      9852 |     625    76775   201350 |    25591     9852     36 |  0.001 % |
1.27/1.31	c |      9985 |     625    76775   201350 |    25591     9985     36 |  0.016 % |
1.27/1.33	c |     10132 |     625    76775   201350 | 2147483647    10132     36 |  0.016 % |
1.27/1.35	c |     10294 |     625    76775   201350 | 2147483647    10294     35 |  0.016 % |
1.27/1.38	c |     10471 |     625    76775   201350 | 2147483647    10471     35 |  0.016 % |
1.37/1.41	c |     10666 |     625    76775   201350 | 2147483647    10666     35 |  0.016 % |
1.37/1.45	c |     10879 |     625    76775   201350 | 2147483647    10879     35 |  0.016 % |
1.37/1.49	c |     11113 |     625    76775   201350 | 2147483647    11113     35 |  0.001 % |
1.47/1.53	c |     11371 |     625    76775   201350 | 2147483647    11371     35 |  0.016 % |
1.47/1.58	c |     11653 |     625    76775   201350 | 2147483647    11653     35 |  0.016 % |
1.57/1.60	c |     11753 |     625    76775   201350 | 2147483647    11753     34 |  0.016 % |
1.57/1.62	c |     11863 |     625    76775   201350 | 2147483647    11863     34 |  0.000 % |
1.57/1.64	c |     11985 |     625    76775   201350 | 2147483647    11985     34 |  0.016 % |
1.57/1.67	c |     12120 |     625    76775   201350 | 2147483647    12120     34 |  0.016 % |
1.57/1.69	c |     12266 |     625    76775   201350 | 2147483647    12266     34 |  0.016 % |
1.67/1.72	c |     12427 |     625    76775   201350 | 2147483647    12427     34 |  0.015 % |
1.67/1.75	c |     12606 |     625    76775   201350 | 2147483647    12606     34 |  0.015 % |
1.67/1.78	c |     12799 |     625    76775   201350 | 2147483647    12799     33 |  0.016 % |
1.77/1.81	c |     13012 |     625    76775   201350 | 2147483647    13012     33 |  0.016 % |
1.77/1.85	c |     13246 |     625    76775   201350 | 2147483647    13246     34 |  0.001 % |
1.77/1.89	c |     13502 |     625    76775   201350 | 2147483647    13502     33 |  0.016 % |
1.87/1.93	c |     13784 |     625    76775   201350 | 2147483647    13784     34 |  0.000 % |
1.87/1.98	c |     14095 |     625    76775   201350 | 2147483647    14095     34 |  0.016 % |
1.87/1.99	c |     14197 |     625    76775   201350 | 2147483647    14197     34 |  0.000 % |
1.97/2.01	c |     14308 |     625    76775   201350 | 2147483647    14308     34 |  0.015 % |
1.97/2.03	c |     14429 |     625    76775   201350 | 2147483647    14429     34 |  0.015 % |
1.97/2.05	c |     14563 |     625    76775   201350 | 2147483647    14563     34 |  0.015 % |
1.97/2.07	c |     14709 |     625    76775   201350 | 2147483647    14709     34 |  0.000 % |
2.07/2.10	c |     14869 |     625    76775   201350 | 2147483647    14869     34 |  0.000 % |
2.07/2.13	c |     15045 |     625    76775   201350 | 2147483647    15045     34 |  0.016 % |
2.07/2.17	c |     15238 |     625    76775   201350 | 2147483647    15238     35 |  0.000 % |
2.17/2.21	c |     15454 |     625    76775   201350 | 2147483647    15454     35 |  0.000 % |
2.17/2.25	c |     15688 |     625    76775   201350 | 2147483647    15688     35 |  0.000 % |
2.27/2.30	c |     15944 |     625    76775   201350 | 2147483647    15944     35 |  0.000 % |
2.27/2.35	c |     16227 |     625    76775   201350 | 2147483647    16227     34 |  0.016 % |
2.27/2.39	c |     16539 |     625    76775   201350 | 2147483647    16539     34 |  0.016 % |
2.37/2.45	c |     16880 |     625    76775   201350 | 2147483647    16880     35 |  0.000 % |
2.37/2.47	c |     16980 |     625    76775   201350 | 2147483647    16980     35 |  0.016 % |
2.37/2.49	c |     17090 |     625    76775   201350 | 2147483647    17090     35 |  0.016 % |
2.47/2.51	c |     17214 |     625    76775   201350 | 2147483647    17214     35 |  0.000 % |
2.47/2.53	c |     17347 |     625    76775   201350 | 2147483647    17347     35 |  0.000 % |
2.47/2.56	c |     17494 |     625    76775   201350 | 2147483647    17494     35 |  0.017 % |
2.47/2.59	c |     17655 |     625    76775   201350 | 2147483647    17655     35 |  0.017 % |
2.57/2.63	c |     17832 |     625    76775   201350 | 2147483647    17832     35 |  0.016 % |
2.57/2.66	c |     18028 |     625    76775   201350 | 2147483647    18028     35 |  0.017 % |
2.67/2.70	c |     18240 |     625    76775   201350 | 2147483647    18240     35 |  0.000 % |
2.67/2.75	c |     18473 |     625    76775   201350 | 2147483647    18473     35 |  0.016 % |
2.77/2.81	c |     18730 |     625    76775   201350 | 2147483647    18730     35 |  0.017 % |
2.77/2.86	c |     19011 |     625    76775   201350 | 2147483647    19011     35 |  0.016 % |
2.87/2.90	c |     19320 |     625    76775   201350 | 2147483647    19320     36 |  0.000 % |
2.87/2.98	c |     19660 |     625    76775   201350 | 2147483647    19660     36 |  0.000 % |
2.97/3.04	c |     20036 |     625    76775   201350 | 2147483647    20036     37 |  0.000 % |
2.97/3.06	c |     20136 |     625    76775   201350 | 2147483647    20136     37 |  0.000 % |
2.97/3.09	c |     20246 |     625    76775   201350 | 2147483647    20246     37 |  0.016 % |
3.07/3.12	c |     20369 |     625    76775   201350 | 2147483647    20369     37 |  0.016 % |
3.07/3.14	c |     20502 |     625    76775   201350 | 2147483647    20502     37 |  0.016 % |
3.07/3.18	c |     20654 |     625    76775   201350 | 2147483647    20654     37 |  0.000 % |
3.17/3.21	c |     20814 |     625    76775   201350 | 2147483647    20814     37 |  0.000 % |
3.17/3.25	c |     20993 |     625    76775   201350 | 2147483647    20993     37 |  0.016 % |
3.17/3.30	c |     21186 |     625    76775   201350 | 2147483647    21186     37 |  0.017 % |
3.27/3.35	c |     21402 |     625    76775   201350 | 2147483647    21402     37 |  0.001 % |
3.36/3.41	c |     21636 |     625    76775   201350 | 2147483647    21636     37 |  0.017 % |
3.36/3.47	c |     21893 |     625    76775   201350 | 2147483647    21893     36 |  0.017 % |
3.46/3.53	c |     22176 |     625    76775   201350 | 2147483647    22176     36 |  0.016 % |
3.56/3.62	c |     22485 |     625    76775   201350 | 2147483647    22485     36 |  0.016 % |
3.66/3.71	c |     22825 |     625    76775   201350 | 2147483647    22825     36 |  0.016 % |
3.76/3.80	c |     23198 |     625    76775   201350 | 2147483647    23198     36 |  0.016 % |
3.76/3.89	c |     23607 |     625    76775   201350 | 2147483647    23607     35 |  0.015 % |
3.86/3.92	c |     23710 |     625    76775   201350 | 2147483647    23710     35 |  0.016 % |
3.86/3.95	c |     23821 |     625    76775   201350 | 2147483647    23821     35 |  0.016 % |
3.86/3.98	c |     23942 |     625    76775   201350 | 2147483647    23942     35 |  0.016 % |
3.96/4.01	c |     24081 |     625    76775   201350 | 2147483647    24081     35 |  0.015 % |
3.96/4.05	c |     24227 |     625    76775   201350 | 2147483647    24227     35 |  0.001 % |
3.96/4.08	c |     24388 |     625    76775   201350 | 2147483647    24388     35 |  0.016 % |
4.06/4.12	c |     24566 |     625    76775   201350 | 2147483647    24566     35 |  0.016 % |
4.06/4.16	c |     24759 |     625    76775   201350 | 2147483647    24759     36 |  0.000 % |
4.16/4.21	c |     24973 |     625    76775   201350 | 2147483647    24973     36 |  0.000 % |
4.16/4.26	c |     25207 |     625    76775   201350 | 2147483647    25207     35 |  0.016 % |
4.27/4.33	c |     25463 |     625    76775   201350 | 2147483647    25463     35 |  0.017 % |
4.27/4.39	c |     25744 |     625    76775   201350 | 2147483647    25744     35 |  0.016 % |
4.37/4.47	c |     26054 |     625    76775   201350 | 2147483647    26054     35 |  0.016 % |
4.46/4.54	c |     26395 |     625    76775   201350 | 2147483647    26395     36 |  0.000 % |
4.56/4.65	c |     26770 |     625    76775   201350 | 2147483647    26770     36 |  0.000 % |
4.66/4.76	c |     27179 |     625    76775   201350 | 2147483647    27179     36 |  0.001 % |
4.76/4.88	c |     27628 |     625    76775   201350 | 2147483647    27628     35 |  0.016 % |
4.86/4.90	c |     27729 |     625    76775   201350 | 2147483647    27729     35 |  0.016 % |
4.86/4.93	c |     27839 |     625    76775   201350 | 2147483647    27839     35 |  0.016 % |
4.86/4.96	c |     27960 |     625    76775   201350 | 2147483647    27960     35 |  0.016 % |
4.86/4.99	c |     28094 |     625    76775   201350 | 2147483647    28094     35 |  0.016 % |
4.96/5.03	c |     28241 |     625    76775   201350 | 2147483647    28241     35 |  0.000 % |
4.96/5.09	c |     28402 |     625    76775   201350 | 2147483647    28402     36 |  0.000 % |
5.06/5.15	c |     28584 |     625    76775   201350 | 2147483647    28584     36 |  0.016 % |
5.16/5.20	c |     28777 |     625    76775   201350 | 2147483647    28777     36 |  0.000 % |
5.16/5.25	c |     28990 |     625    76775   201350 | 2147483647    28990     36 |  0.000 % |
5.26/5.31	c |     29224 |     625    76775   201350 | 2147483647    29224     36 |  0.016 % |
5.26/5.37	c |     29481 |     625    76775   201350 | 2147483647    29481     36 |  0.016 % |
5.36/5.45	c |     29762 |     625    76775   201350 | 2147483647    29762     36 |  0.016 % |
5.46/5.54	c |     30073 |     625    76775   201350 | 2147483647    30073     35 |  0.016 % |
5.56/5.63	c |     30413 |     625    76775   201350 | 2147483647    30413     36 |  0.000 % |
5.66/5.72	c |     30786 |     625    76775   201350 | 2147483647    30786     36 |  0.000 % |
5.76/5.84	c |     31197 |     625    76775   201350 | 2147483647    31197     36 |  0.000 % |
5.86/5.95	c |     31646 |     625    76775   201350 | 2147483647    31646     36 |  0.016 % |
5.96/6.08	c |     32143 |     625    76775   201350 | 2147483647    32143     36 |  0.016 % |
6.06/6.11	c |     32243 |     625    76775   201350 | 2147483647    32243     36 |  0.016 % |
6.06/6.14	c |     32354 |     625    76775   201350 | 2147483647    32354     36 |  0.000 % |
6.06/6.18	c |     32477 |     625    76775   201350 | 2147483647    32477     36 |  0.016 % |
6.16/6.22	c |     32612 |     625    76775   201350 | 2147483647    32612     36 |  0.016 % |
6.16/6.28	c |     32759 |     625    76775   201350 | 2147483647    32759     36 |  0.016 % |
6.26/6.32	c |     32922 |     625    76775   201350 | 2147483647    32922     35 |  0.016 % |
6.26/6.37	c |     33099 |     625    76775   201350 | 2147483647    33099     35 |  0.016 % |
6.37/6.43	c |     33292 |     625    76775   201350 | 2147483647    33292     36 |  0.000 % |
6.37/6.50	c |     33506 |     625    76775   201350 | 2147483647    33506     36 |  0.016 % |
6.47/6.56	c |     33740 |     625    76775   201350 | 2147483647    33740     36 |  0.000 % |
6.57/6.63	c |     34002 |     625    76775   201350 | 2147483647    34002     36 |  0.000 % |
6.67/6.71	c |     34283 |     625    76775   201350 | 2147483647    34283     36 |  0.000 % |
6.77/6.80	c |     34592 |     625    76775   201350 | 2147483647    34592     36 |  0.016 % |
6.87/6.90	c |     34931 |     625    76775   201350 | 2147483647    34931     36 |  0.000 % |
6.97/7.04	c |     35305 |     625    76775   201350 | 2147483647    35305     37 |  0.000 % |
7.07/7.18	c |     35716 |     625    76775   201350 | 2147483647    35716     36 |  0.000 % |
7.27/7.33	c |     36169 |     625    76775   201350 | 2147483647    36169     36 |  0.016 % |
7.37/7.48	c |     36664 |     625    76775   201350 | 2147483647    36664     36 |  0.016 % |
7.57/7.64	c |     37207 |     625    76775   201350 | 2147483647    37207     36 |  0.016 % |
7.57/7.67	c |     37307 |     625    76775   201350 | 2147483647    37307     36 |  0.016 % |
7.67/7.71	c |     37418 |     625    76775   201350 | 2147483647    37418     36 |  0.016 % |
7.67/7.75	c |     37541 |     625    76775   201350 | 2147483647    37541     36 |  0.016 % |
7.77/7.80	c |     37676 |     625    76775   201350 | 2147483647    37676     36 |  0.000 % |
7.77/7.84	c |     37822 |     625    76775   201350 | 2147483647    37822     36 |  0.016 % |
7.77/7.89	c |     37982 |     625    76775   201350 | 2147483647    37982     36 |  0.016 % |
7.87/7.95	c |     38159 |     625    76775   201350 | 2147483647    38159     36 |  0.016 % |
7.97/8.01	c |     38353 |     625    76775   201350 | 2147483647    38353     36 |  0.016 % |
7.97/8.08	c |     38567 |     625    76775   201350 | 2147483647    38567     36 |  0.016 % |
8.07/8.16	c |     38800 |     625    76775   201350 | 2147483647    38800     36 |  0.000 % |
8.16/8.25	c |     39057 |     625    76775   201350 | 2147483647    39057     36 |  0.016 % |
8.26/8.33	c |     39339 |     625    76775   201350 | 2147483647    39339     36 |  0.000 % |
8.36/8.44	c |     39648 |     625    76775   201350 | 2147483647    39648     36 |  0.000 % |
8.46/8.54	c |     39987 |     625    76775   201350 | 2147483647    39987     36 |  0.017 % |
8.56/8.67	c |     40360 |     625    76775   201350 | 2147483647    40360     36 |  0.000 % |
8.77/8.83	c |     40770 |     625    76775   201350 | 2147483647    40770     36 |  0.017 % |
8.86/8.99	c |     41222 |     625    76775   201350 | 2147483647    41222     36 |  0.016 % |
9.06/9.17	c |     41718 |     625    76775   201350 | 2147483647    41718     36 |  0.017 % |
9.26/9.33	c |     42261 |     625    76775   201350 | 2147483647    42261     36 |  0.016 % |
9.46/9.51	c |     42857 |     625    76775   201350 | 2147483647    42857     36 |  0.016 % |
9.46/9.55	c |     42958 |     625    76775   201350 | 2147483647    42958     36 |  0.016 % |
9.46/9.59	c |     43071 |     625    76775   201350 | 2147483647    43071     36 |  0.016 % |
9.56/9.63	c |     43194 |     625    76775   201350 | 2147483647    43194     36 |  0.000 % |
9.56/9.67	c |     43331 |     625    76775   201350 | 2147483647    43331     36 |  0.000 % |
9.66/9.73	c |     43479 |     625    76775   201350 | 2147483647    43479     36 |  0.016 % |
9.66/9.79	c |     43639 |     625    76775   201350 | 2147483647    43639     36 |  0.016 % |
9.76/9.85	c |     43815 |     625    76775   201350 | 2147483647    43815     36 |  0.016 % |
9.86/9.91	c |     44009 |     625    76775   201350 | 2147483647    44009     36 |  0.016 % |
9.86/9.98	c |     44223 |     625    76775   201350 | 2147483647    44223     36 |  0.000 % |
9.96/10.05	c |     44456 |     625    76775   201350 | 2147483647    44456     36 |  0.016 % |
10.06/10.15	c |     44713 |     625    76775   201350 | 2147483647    44713     36 |  0.001 % |
10.16/10.27	c |     44997 |     625    76775   201350 | 2147483647    44997     36 |  0.016 % |
10.36/10.40	c |     45306 |     625    76775   201350 | 2147483647    45306     36 |  0.017 % |
10.46/10.53	c |     45647 |     625    76775   201350 | 2147483647    45647     36 |  0.017 % |
10.56/10.67	c |     46022 |     625    76775   201350 | 2147483647    46022     35 |  0.016 % |
10.76/10.83	c |     46431 |     625    76775   201350 | 2147483647    46431     36 |  0.000 % |
10.96/11.02	c |     46880 |     625    76775   201350 | 2147483647    46880     36 |  0.016 % |
11.16/11.24	c |     47373 |     625    76775   201350 | 2147483647    47373     35 |  0.016 % |
11.36/11.43	c |     47919 |     625    76775   201350 | 2147483647    47919     35 |  0.016 % |
11.56/11.66	c |     48517 |     625    76775   201350 | 2147483647    48517     35 |  0.016 % |
11.86/11.92	c |     49173 |     625    76775   201350 | 2147483647    49173     36 |  0.000 % |
11.86/11.96	c |     49273 |     625    76775   201350 | 2147483647    49273     36 |  0.001 % |
11.96/12.00	c |     49385 |     625    76775   201350 | 2147483647    49385     36 |  0.016 % |
11.96/12.06	c |     49508 |     625    76775   201350 | 2147483647    49508     36 |  0.017 % |
12.06/12.11	c |     49643 |     625    76775   201350 | 2147483647    49643     36 |  0.000 % |
12.06/12.17	c |     49790 |     625    76775   201350 | 2147483647    49790     36 |  0.015 % |
12.16/12.26	c |     49958 |     625    76775   201350 | 2147483647    49958     36 |  0.016 % |
12.26/12.34	c |     50134 |     625    76775   201350 | 2147483647    50134     36 |  0.015 % |
12.36/12.43	c |     50330 |     625    76775   201350 | 2147483647    50330     36 |  0.000 % |
12.46/12.52	c |     50543 |     625    76775   201350 | 2147483647    50543     36 |  0.016 % |
12.56/12.62	c |     50778 |     625    76775   201350 | 2147483647    50778     36 |  0.001 % |
12.66/12.73	c |     51034 |     625    76775   201350 | 2147483647    51034     36 |  0.000 % |
12.76/12.83	c |     51315 |     625    76775   201350 | 2147483647    51315     36 |  0.000 % |
12.85/12.97	c |     51629 |     625    76775   201350 | 2147483647    51629     36 |  0.000 % |
13.06/13.13	c |     51968 |     625    76775   201350 | 2147483647    51968     36 |  0.016 % |
13.25/13.30	c |     52340 |     625    76775   201350 | 2147483647    52340     36 |  0.018 % |
13.35/13.49	c |     52749 |     625    76775   201350 | 2147483647    52749     36 |  0.018 % |
13.65/13.70	c |     53202 |     625    76775   201350 | 2147483647    53202     36 |  0.017 % |
13.85/13.96	c |     53695 |     625    76775   201350 | 2147483647    53695     36 |  0.017 % |
14.15/14.21	c |     54238 |     625    76775   201350 | 2147483647    54238     36 |  0.015 % |
14.35/14.45	c |     54835 |     625    76775   201350 | 2147483647    54835     36 |  0.016 % |
14.65/14.71	c |     55490 |     625    76775   201350 | 2147483647    55490     36 |  0.016 % |
14.86/15.00	c |     56211 |     625    76775   201350 | 2147483647    56211     36 |  0.016 % |
14.96/15.04	c |     56312 |     625    76775   201350 | 2147483647    56312     36 |  0.016 % |
14.96/15.10	c |     56423 |     625    76775   201350 | 2147483647    56423     36 |  0.016 % |
15.06/15.15	c |     56545 |     625    76775   201350 | 2147483647    56545     36 |  0.016 % |
15.16/15.20	c |     56678 |     625    76775   201350 | 2147483647    56678     36 |  0.001 % |
15.16/15.26	c |     56825 |     625    76775   201350 | 2147483647    56825     36 |  0.000 % |
15.26/15.33	c |     56986 |     625    76775   201350 | 2147483647    56986     36 |  0.016 % |
15.26/15.40	c |     57163 |     625    76775   201350 | 2147483647    57163     36 |  0.017 % |
15.36/15.48	c |     57356 |     625    76775   201350 | 2147483647    57356     36 |  0.016 % |
15.46/15.58	c |     57572 |     625    76775   201350 | 2147483647    57572     36 |  0.016 % |
15.55/15.68	c |     57806 |     625    76775   201350 | 2147483647    57806     36 |  0.000 % |
15.75/15.80	c |     58065 |     625    76775   201350 | 2147483647    58065     36 |  0.016 % |
15.85/15.92	c |     58348 |     625    76775   201350 | 2147483647    58348     37 |  0.000 % |
15.95/16.09	c |     58657 |     625    76775   201350 | 2147483647    58657     37 |  0.000 % |
16.15/16.26	c |     58998 |     625    76775   201350 | 2147483647    58998     37 |  0.016 % |
16.36/16.49	c |     59373 |     625    76775   201350 | 2147483647    59373     37 |  0.016 % |
16.65/16.73	c |     59784 |     625    76775   201350 | 2147483647    59784     37 |  0.016 % |
16.95/17.01	c |     60236 |     625    76775   201350 | 2147483647    60236     37 |  0.016 % |
17.15/17.27	c |     60730 |     625    76775   201350 | 2147483647    60730     37 |  0.016 % |
17.46/17.54	c |     61272 |     625    76775   201350 | 2147483647    61272     37 |  0.000 % |
17.75/17.83	c |     61868 |     625    76775   201350 | 2147483647    61868     37 |  0.016 % |
18.05/18.18	c |     62523 |     625    76775   201350 | 2147483647    62523     37 |  0.000 % |
18.45/18.52	c |     63243 |     625    76775   201350 | 2147483647    63243     37 |  0.000 % |
18.85/18.90	c |     64035 |     625    76775   201350 | 2147483647    64035     37 |  0.000 % |
18.85/18.96	c |     64135 |     625    76775   201350 | 2147483647    64135     37 |  0.000 % |
18.95/19.02	c |     64246 |     625    76775   201350 | 2147483647    64246     37 |  0.000 % |
18.95/19.09	c |     64368 |     625    76775   201350 | 2147483647    64368     37 |  0.001 % |
19.05/19.15	c |     64503 |     625    76775   201350 | 2147483647    64503     37 |  0.017 % |
19.15/19.23	c |     64649 |     625    76775   201350 | 2147483647    64649     37 |  0.000 % |
19.25/19.32	c |     64809 |     625    76775   201350 | 2147483647    64809     37 |  0.000 % |
19.35/19.44	c |     64986 |     625    76775   201350 | 2147483647    64986     37 |  0.016 % |
19.45/19.57	c |     65180 |     625    76775   201350 | 2147483647    65180     37 |  0.016 % |
19.65/19.70	c |     65393 |     625    76775   201350 | 2147483647    65393     37 |  0.000 % |
19.75/19.86	c |     65627 |     625    76775   201350 | 2147483647    65627     37 |  0.016 % |
19.94/20.00	c |     65885 |     625    76775   201350 | 2147483647    65885     37 |  0.016 % |
20.04/20.16	c |     66167 |     625    76775   201350 | 2147483647    66167     37 |  0.016 % |
20.24/20.31	c |     66476 |     625    76775   201350 | 2147483647    66476     37 |  0.016 % |
20.44/20.51	c |     66816 |     625    76775   201350 | 2147483647    66816     37 |  0.016 % |
20.64/20.74	c |     67188 |     625    76775   201350 | 2147483647    67188     37 |  0.016 % |
20.85/20.98	c |     67597 |     625    76775   201350 | 2147483647    67597     37 |  0.016 % |
21.14/21.22	c |     68048 |     625    76775   201350 | 2147483647    68048     37 |  0.000 % |
21.34/21.49	c |     68542 |     625    76775   201350 | 2147483647    68542     37 |  0.000 % |
21.74/21.80	c |     69085 |     625    76775   201350 | 2147483647    69085     38 |  0.000 % |
22.04/22.14	c |     69683 |     625    76775   201350 | 2147483647    69683     38 |  0.000 % |
22.44/22.54	c |     70342 |     625    76775   201350 | 2147483647    70342     38 |  0.000 % |
22.84/22.98	c |     71064 |     625    76775   201350 | 2147483647    71064     38 |  0.016 % |
23.34/23.47	c |     71860 |     625    76775   201350 | 2147483647    71860     38 |  0.000 % |
23.94/24.02	c |     72731 |     625    76775   201350 | 2147483647    72731     38 |  0.000 % |
23.94/24.08	c |     72833 |     625    76775   201350 | 2147483647    72833     38 |  0.015 % |
24.04/24.14	c |     72944 |     625    76775   201350 | 2147483647    72944     38 |  0.016 % |
24.14/24.22	c |     73068 |     625    76775   201350 | 2147483647    73068     38 |  0.016 % |
24.14/24.29	c |     73201 |     625    76775   201350 | 2147483647    73201     38 |  0.001 % |
24.24/24.36	c |     73347 |     625    76775   201350 | 2147483647    73347     38 |  0.001 % |
24.34/24.44	c |     73507 |     625    76775   201350 | 2147483647    73507     38 |  0.016 % |
24.44/24.55	c |     73683 |     625    76775   201350 | 2147483647    73683     38 |  0.000 % |
24.54/24.68	c |     73876 |     625    76775   201350 | 2147483647    73876     38 |  0.028 % |
24.74/24.82	c |     74089 |     625    76775   201350 | 2147483647    74089     38 |  0.015 % |
24.84/24.95	c |     74325 |     625    76775   201350 | 2147483647    74325     38 |  0.001 % |
25.05/25.11	c |     74582 |     625    76775   201350 | 2147483647    74582     39 |  0.000 % |
25.25/25.31	c |     74863 |     625    76775   201350 | 2147483647    74863     39 |  0.000 % |
25.45/25.55	c |     75172 |     625    76775   201350 | 2147483647    75172     39 |  0.016 % |
25.65/25.79	c |     75513 |     625    76775   201350 | 2147483647    75513     39 |  0.016 % |
25.94/26.02	c |     75885 |     625    76775   201350 | 2147483647    75885     39 |  0.000 % |
26.14/26.24	c |     76294 |     625    76775   201350 | 2147483647    76294     39 |  0.000 % |
26.44/26.51	c |     76743 |     625    76775   201350 | 2147483647    76743     39 |  0.015 % |
26.74/26.86	c |     77237 |     625    76775   201350 | 2147483647    77237     39 |  0.015 % |
27.14/27.25	c |     77779 |     625    76775   201350 | 2147483647    77779     39 |  0.015 % |
27.54/27.60	c |     78377 |     625    76775   201350 | 2147483647    78377     39 |  0.016 % |
27.84/28.00	c |     79034 |     625    76775   201350 | 2147483647    79034     38 |  0.016 % |
28.34/28.41	c |     79755 |     625    76775   201350 | 2147483647    79755     39 |  0.001 % |
28.84/28.94	c |     80547 |     625    76775   201350 | 2147483647    80547     39 |  0.016 % |
29.43/29.59	c |     81418 |     625    76775   201350 | 2147483647    81418     39 |  0.000 % |
30.24/30.31	c |     82379 |     625    76775   201350 | 2147483647    82379     39 |  0.001 % |
30.24/30.39	c |     82479 |     625    76775   201350 | 2147483647    82479     39 |  0.016 % |
30.34/30.47	c |     82589 |     625    76775   201350 | 2147483647    82589     39 |  0.016 % |
30.44/30.53	c |     82710 |     625    76775   201350 | 2147483647    82710     39 |  0.000 % |
30.54/30.62	c |     82846 |     625    76775   201350 | 2147483647    82846     39 |  0.000 % |
30.65/30.74	c |     82992 |     625    76775   201350 | 2147483647    82992     39 |  0.016 % |
30.75/30.88	c |     83153 |     625    76775   201350 | 2147483647    83153     39 |  0.016 % |
30.94/31.01	c |     83331 |     625    76775   201350 | 2147483647    83331     39 |  0.016 % |
31.04/31.15	c |     83527 |     625    76775   201350 | 2147483647    83527     39 |  0.016 % |
31.24/31.33	c |     83741 |     625    76775   201350 | 2147483647    83741     39 |  0.000 % |
31.34/31.46	c |     83975 |     625    76775   201350 | 2147483647    83975     39 |  0.000 % |
31.54/31.63	c |     84231 |     625    76775   201350 | 2147483647    84231     39 |  0.016 % |
31.75/31.82	c |     84514 |     625    76775   201350 | 2147483647    84514     39 |  0.016 % |
31.94/32.08	c |     84823 |     625    76775   201350 | 2147483647    84823     39 |  0.000 % |
32.24/32.33	c |     85163 |     625    76775   201350 | 2147483647    85163     39 |  0.001 % |
32.54/32.66	c |     85537 |     625    76775   201350 | 2147483647    85537     39 |  0.015 % |
32.84/32.94	c |     85946 |     625    76775   201350 | 2147483647    85946     39 |  0.001 % |
33.14/33.25	c |     86395 |     625    76775   201350 | 2147483647    86395     39 |  0.000 % |
33.54/33.65	c |     86891 |     625    76775   201350 | 2147483647    86891     39 |  0.016 % |
33.94/34.03	c |     87433 |     625    76775   201350 | 2147483647    87433     39 |  0.016 % |
34.34/34.50	c |     88029 |     625    76775   201350 | 2147483647    88029     39 |  0.016 % |
34.84/34.90	c |     88684 |     625    76775   201350 | 2147483647    88684     39 |  0.000 % |
35.44/35.51	c |     89410 |     625    76775   201350 | 2147483647    89410     39 |  0.016 % |
36.04/36.17	c |     90203 |     625    76775   201350 |    90001    90203     39 |  0.000 % |
36.84/36.92	c |     91077 |     625    76775   201350 |    90001    81735     39 |  0.016 % |
37.44/37.59	c |     92035 |     625    76775   201350 |    90001    82693     40 |  0.000 % |
38.34/38.43	c |     93090 |     625    76775   201350 |    90001    83748     40 |  0.000 % |
38.44/38.52	c |     93191 |     625    76775   201350 |    90001    83849     40 |  0.000 % |
38.53/38.63	c |     93304 |     625    76775   201350 |    90001    83962     40 |  0.000 % |
38.63/38.71	c |     93425 |     625    76775   201350 |    90001    84083     40 |  0.001 % |
38.73/38.83	c |     93563 |     625    76775   201350 |    90001    84221     40 |  0.015 % |
38.83/38.96	c |     93709 |     625    76775   201350 |    90001    84367     40 |  0.001 % |
38.93/39.09	c |     93871 |     625    76775   201350 |    90001    84529     40 |  0.000 % |
39.13/39.24	c |     94048 |     625    76775   201350 |    90001    84706     40 |  0.016 % |
39.33/39.40	c |     94241 |     625    76775   201350 |    90001    84899     40 |  0.000 % |
39.43/39.58	c |     94453 |     625    76775   201350 |    90001    85111     40 |  0.016 % |
39.63/39.78	c |     94686 |     625    76775   201350 |    90001    85344     40 |  0.016 % |
39.83/39.98	c |     94942 |     625    76775   201350 |    90001    85600     40 |  0.016 % |
40.13/40.24	c |     95223 |     624    76535   200728 |    90001    85880     40 |  0.176 % |
40.43/40.51	c |     95532 |     624    76535   200728 |    90001    86189     40 |  0.176 % |
40.63/40.74	c |     95871 |     624    76535   200728 |    90001    86528     40 |  0.160 % |
40.93/41.06	c |     96243 |     624    76535   200728 |    90001    86900     40 |  0.160 % |
41.33/41.42	c |     96653 |     624    76535   200728 |    90001    87310     40 |  0.160 % |
41.73/41.82	c |     97110 |     624    76535   200728 |    90001    87767     40 |  0.176 % |
42.13/42.20	c |     97605 |     624    76535   200728 |    90001    88262     40 |  0.176 % |
42.53/42.66	c |     98150 |     624    76535   200728 |    90001    88807     40 |  0.176 % |
43.03/43.20	c |     98747 |     624    76535   200728 |    90001    89404     40 |  0.176 % |
43.63/43.74	c |     99403 |     624    76535   200728 |    90001    90060     40 |  0.160 % |
44.33/44.42	c |    100123 |     624    76535   200728 |    80055    70616     40 |  0.178 % |
44.93/45.02	c |    100915 |     624    76535   200728 |    80055    71408     40 |  0.160 % |
45.53/45.68	c |    101789 |     624    76535   200728 |    80055    72282     40 |  0.160 % |
46.23/46.37	c |    102747 |     624    76535   200728 |    80055    73240     40 |  0.175 % |
46.93/47.08	c |    103800 |     624    76535   200728 |    80055    74293     40 |  0.160 % |
47.73/47.83	c |    104958 |     624    76535   200728 |    80055    75451     40 |  0.177 % |
47.73/47.89	c |    105059 |     624    76535   200728 |    80055    75552     40 |  0.177 % |
47.83/47.98	c |    105169 |     624    76535   200728 |    80055    75662     40 |  0.160 % |
47.92/48.07	c |    105292 |     624    76535   200728 |    80055    75785     40 |  0.160 % |
48.02/48.16	c |    105428 |     624    76535   200728 |    80055    75921     40 |  0.175 % |
48.12/48.26	c |    105575 |     624    76535   200728 |    80055    76068     40 |  0.160 % |
48.23/48.35	c |    105736 |     624    76535   200728 |    80055    76229     40 |  0.160 % |
48.33/48.45	c |    105917 |     624    76535   200728 |    80055    76410     40 |  0.160 % |
48.42/48.57	c |    106111 |     624    76535   200728 |    80055    76604     40 |  0.176 % |
48.62/48.74	c |    106323 |     624    76535   200728 |    80055    76816     40 |  0.161 % |
48.82/48.91	c |    106557 |     624    76535   200728 |    80055    77050     40 |  0.176 % |
48.92/49.08	c |    106814 |     624    76535   200728 |    80055    77307     40 |  0.160 % |
49.22/49.35	c |    107097 |     624    76535   200728 |    80055    77590     40 |  0.176 % |
49.52/49.60	c |    107409 |     624    76535   200728 |    80055    77902     40 |  0.160 % |
49.82/49.90	c |    107749 |     624    76535   200728 |    80055    78242     40 |  0.177 % |
50.02/50.19	c |    108123 |     624    76535   200728 |    80055    78616     40 |  0.177 % |
50.32/50.49	c |    108534 |     624    76535   200728 |    80055    79027     40 |  0.177 % |
50.72/50.86	c |    108983 |     624    76535   200728 |    80055    79476     40 |  0.160 % |
51.02/51.18	c |    109477 |     624    76535   200728 |    80055    79970     40 |  0.176 % |
51.52/51.66	c |    110023 |     624    76535   200728 |    71659    71681     40 |  0.188 % |
51.92/52.07	c |    110621 |     624    76535   200728 |    71659    64413     41 |  0.161 % |
52.32/52.45	c |    111276 |     624    76535   200728 |    71659    65068     41 |  0.160 % |
52.82/52.91	c |    111998 |     624    76535   200728 |    71659    65790     41 |  0.176 % |
53.32/53.40	c |    112792 |     624    76535   200728 |    71659    66584     41 |  0.176 % |
53.92/54.03	c |    113664 |     624    76535   200728 |    71659    67456     40 |  0.175 % |
54.52/54.68	c |    114625 |     624    76535   200728 |    71659    68417     40 |  0.176 % |
55.32/55.48	c |    115681 |     624    76535   200728 |    71659    69472     40 |  0.336 % |
56.32/56.45	c |    116839 |     624    76535   200728 |    71659    70630     40 |  0.336 % |
57.42/57.50	c |    118112 |     624    76535   200728 |    71659    71903     40 |  0.320 % |
57.52/57.62	c |    118212 |     624    76535   200728 |    71659    64813     39 |  0.336 % |
57.52/57.70	c |    118322 |     624    76535   200728 |    71659    64923     39 |  0.336 % |
57.72/57.80	c |    118450 |     624    76535   200728 |    71659    65051     39 |  0.336 % |
57.82/57.92	c |    118584 |     624    76535   200728 |    71659    65185     39 |  0.336 % |
57.92/58.00	c |    118733 |     624    76535   200728 |    71659    65334     39 |  0.320 % |
58.02/58.11	c |    118893 |     624    76535   200728 |    71659    65494     39 |  0.336 % |
58.12/58.25	c |    119070 |     624    76535   200728 |    71659    65671     39 |  0.336 % |
58.22/58.38	c |    119263 |     624    76535   200728 |    71659    65864     39 |  0.320 % |
58.42/58.51	c |    119475 |     624    76535   200728 |    71659    66076     39 |  0.335 % |
58.52/58.67	c |    119708 |     624    76535   200728 |    71659    66309     39 |  0.320 % |
58.72/58.86	c |    119964 |     624    76535   200728 |    71659    66565     39 |  0.335 % |
59.02/59.10	c |    120251 |     624    76535   200728 | 2147483647    66852     39 |  0.336 % |
59.22/59.32	c |    120561 |     624    76535   200728 | 2147483647    67162     39 |  0.336 % |
59.51/59.60	c |    120901 |     624    76535   200728 | 2147483647    67502     39 |  0.320 % |
59.71/59.87	c |    121273 |     624    76535   200728 | 2147483647    67874     39 |  0.321 % |
60.01/60.17	c |    121691 |     624    76535   200728 | 2147483647    68292     39 |  0.336 % |
60.32/60.48	c |    122140 |     624    76535   200728 | 2147483647    68741     39 |  0.337 % |
60.61/60.78	c |    122635 |     624    76535   200728 | 2147483647    69236     39 |  0.320 % |
61.01/61.15	c |    123177 |     624    76535   200728 | 2147483647    69778     39 |  0.336 % |
61.42/61.58	c |    123775 |     624    76535   200728 | 2147483647    70376     39 |  0.336 % |
61.91/62.04	c |    124431 |     624    76535   200728 | 2147483647    71032     39 |  0.336 % |
62.31/62.46	c |    125151 |     624    76535   200728 | 2147483647    71752     39 |  0.336 % |
62.91/63.02	c |    125943 |     624    76535   200728 | 2147483647    72544     39 |  0.320 % |
63.51/63.67	c |    126818 |     624    76535   200728 | 2147483647    73419     39 |  0.336 % |
64.31/64.42	c |    127776 |     624    76535   200728 | 2147483647    74377     39 |  0.337 % |
65.11/65.24	c |    128831 |     624    76535   200728 | 2147483647    75432     38 |  0.337 % |
66.01/66.14	c |    129989 |     624    76535   200728 | 2147483647    76590     38 |  0.338 % |
67.01/67.17	c |    131265 |     623    76292   200096 | 2147483647    77850     38 |  0.338 % |
68.01/68.11	c |    132667 |     623    76292   200096 | 2147483647    79252     38 |  0.336 % |
68.11/68.20	c |    132767 |     623    76292   200096 | 2147483647    79352     38 |  0.336 % |
68.11/68.29	c |    132878 |     623    76292   200096 | 2147483647    79463     38 |  0.335 % |
68.21/68.37	c |    132999 |     623    76292   200096 | 2147483647    79584     38 |  0.320 % |
68.31/68.48	c |    133132 |     623    76292   200096 | 2147483647    79717     38 |  0.336 % |
68.41/68.59	c |    133278 |     623    76292   200096 | 2147483647    79863     38 |  0.336 % |
68.61/68.71	c |    133438 |     623    76292   200096 | 2147483647    80023     38 |  0.335 % |
68.71/68.85	c |    133614 |     623    76292   200096 | 2147483647    80199     38 |  0.335 % |
68.91/69.01	c |    133808 |     623    76292   200096 | 2147483647    80393     38 |  0.336 % |
69.11/69.20	c |    134022 |     623    76292   200096 | 2147483647    80607     38 |  0.336 % |
69.21/69.39	c |    134258 |     623    76292   200096 | 2147483647    80843     38 |  0.320 % |
69.51/69.61	c |    134515 |     623    76292   200096 | 2147483647    81100     38 |  0.336 % |
69.61/69.79	c |    134799 |     623    76292   200096 | 2147483647    81384     38 |  0.320 % |
69.91/70.05	c |    135108 |     623    76292   200096 | 2147483647    81693     38 |  0.336 % |
70.21/70.32	c |    135448 |     623    76292   200096 | 2147483647    82033     38 |  0.336 % |
70.51/70.67	c |    135825 |     623    76292   200096 | 2147483647    82410     38 |  0.336 % |
70.92/71.01	c |    136235 |     623    76292   200096 | 2147483647    82820     38 |  0.320 % |
71.22/71.31	c |    136686 |     623    76292   200096 | 2147483647    83271     38 |  0.336 % |
71.52/71.65	c |    137179 |     623    76292   200096 | 2147483647    83764     38 |  0.336 % |
71.92/72.09	c |    137723 |     623    76292   200096 | 2147483647    84308     38 |  0.335 % |
72.42/72.58	c |    138320 |     623    76292   200096 | 2147483647    84905     38 |  0.335 % |
73.02/73.12	c |    138980 |     623    76292   200096 | 2147483647    85565     38 |  0.335 % |
73.52/73.69	c |    139702 |     623    76292   200096 | 2147483647    86287     38 |  0.336 % |
74.31/74.44	c |    140495 |     623    76292   200096 |    86588    77203     36 |  0.320 % |
75.01/75.10	c |    141366 |     623    76292   200096 |    86588    78074     36 |  0.337 % |
75.61/75.71	c |    142324 |     623    76292   200096 |    86588    79032     36 |  0.337 % |
76.31/76.48	c |    143377 |     623    76292   200096 |    86588    80085     36 |  0.338 % |
77.21/77.35	c |    144538 |     623    76292   200096 |    86588    81246     36 |  0.338 % |
78.11/78.21	c |    145813 |     623    76292   200096 |    86588    82521     37 |  0.320 % |
79.12/79.23	c |    147214 |     623    76292   200096 |    86588    83922     37 |  0.336 % |
80.31/80.45	c |    148755 |     623    76292   200096 |    86588    85463     37 |  0.336 % |
80.41/80.55	c |    148857 |     623    76292   200096 |    86588    85565     37 |  0.335 % |
80.51/80.63	c |    148967 |     623    76292   200096 |    86588    85675     37 |  0.335 % |
80.61/80.72	c |    149089 |     623    76292   200096 |    86588    85797     37 |  0.335 % |
80.71/80.83	c |    149222 |     623    76292   200096 |    86588    85930     37 |  0.321 % |
80.81/80.93	c |    149369 |     623    76292   200096 |    86588    86077     37 |  0.320 % |
80.91/81.06	c |    149531 |     623    76292   200096 |    86588    86239     37 |  0.335 % |
81.01/81.19	c |    149707 |     623    76292   200096 |    86588    86415     37 |  0.320 % |
81.22/81.33	c |    149900 |     623    76292   200096 |    86588    86608     37 |  0.336 % |
81.41/81.55	c |    150113 |     623    76292   200096 |    77044    77153     36 |  0.336 % |
81.61/81.78	c |    150347 |     623    76292   200096 |    77044    68760     35 |  0.336 % |
81.81/81.95	c |    150605 |     623    76292   200096 |    77044    69018     35 |  0.337 % |
82.01/82.13	c |    150888 |     623    76292   200096 |    77044    69301     34 |  0.337 % |
82.21/82.33	c |    151197 |     623    76292   200096 |    77044    69610     34 |  0.336 % |
82.41/82.58	c |    151538 |     623    76292   200096 |    77044    69951     34 |  0.336 % |
82.61/82.79	c |    151913 |     623    76292   200096 |    77044    70326     35 |  0.320 % |
82.91/83.03	c |    152322 |     623    76292   200096 |    77044    70735     35 |  0.320 % |
83.21/83.30	c |    152775 |     623    76292   200096 |    77044    71188     35 |  0.335 % |
83.51/83.60	c |    153268 |     623    76292   200096 |    77044    71681     35 |  0.335 % |
83.81/83.97	c |    153810 |     623    76292   200096 |    77044    72223     35 |  0.336 % |
84.31/84.42	c |    154408 |     623    76292   200096 |    77044    72821     35 |  0.336 % |
84.71/84.86	c |    155063 |     623    76292   200096 |    77044    73476     35 |  0.337 % |
85.21/85.37	c |    155784 |     623    76292   200096 |    77044    74197     35 |  0.321 % |
85.81/85.97	c |    156576 |     623    76292   200096 |    77044    74989     35 |  0.335 % |
86.41/86.57	c |    157448 |     623    76292   200096 |    77044    75861     36 |  0.320 % |
87.11/87.27	c |    158408 |     623    76292   200096 |    77044    76821     36 |  0.336 % |
87.81/87.97	c |    159461 |     623    76292   200096 |    77044    70136     35 |  0.336 % |
88.60/88.70	c |    160619 |     623    76292   200096 | 2147483647    71294     35 |  0.336 % |
89.50/89.65	c |    161893 |     623    76292   200096 | 2147483647    72568     34 |  0.336 % |
90.51/90.68	c |    163296 |     623    76292   200096 | 2147483647    73971     34 |  0.336 % |
91.70/91.89	c |    164836 |     623    76292   200096 | 2147483647    75511     34 |  0.336 % |
93.00/93.17	c |    166532 |     623    76292   200096 | 2147483647    77207     34 |  0.339 % |
93.10/93.24	c |    166632 |     623    76292   200096 | 2147483647    77307     34 |  0.320 % |
93.20/93.33	c |    166742 |     623    76292   200096 | 2147483647    77417     34 |  0.336 % |
93.31/93.43	c |    166865 |     623    76292   200096 | 2147483647    77540     34 |  0.336 % |
93.40/93.53	c |    166998 |     623    76292   200096 | 2147483647    77673     34 |  0.336 % |
93.50/93.65	c |    167145 |     623    76292   200096 | 2147483647    77820     34 |  0.336 % |
93.60/93.76	c |    167305 |     623    76292   200096 | 2147483647    77980     34 |  0.336 % |
93.80/93.90	c |    167483 |     623    76292   200096 | 2147483647    78158     34 |  0.337 % |
93.90/94.05	c |    167678 |     623    76292   200096 | 2147483647    78353     34 |  0.337 % |
94.10/94.20	c |    167890 |     623    76292   200096 | 2147483647    78565     34 |  0.336 % |
94.20/94.38	c |    168123 |     623    76292   200096 | 2147483647    78798     34 |  0.336 % |
94.40/94.52	c |    168379 |     623    76292   200096 | 2147483647    79054     34 |  0.336 % |
94.60/94.74	c |    168664 |     623    76292   200096 | 2147483647    79339     34 |  0.336 % |
94.80/95.00	c |    168975 |     623    76292   200096 | 2147483647    79650     34 |  0.337 % |
95.10/95.22	c |    169314 |     623    76292   200096 | 2147483647    79989     34 |  0.336 % |
95.30/95.47	c |    169687 |     623    76292   200096 | 2147483647    80362     34 |  0.336 % |
95.70/95.88	c |    170096 |     623    76292   200096 | 2147483647    80771     34 |  0.337 % |
96.00/96.19	c |    170545 |     623    76292   200096 | 2147483647    81220     34 |  0.320 % |
96.40/96.52	c |    171038 |     623    76292   200096 | 2147483647    81713     35 |  0.320 % |
96.80/96.93	c |    171584 |     623    76292   200096 | 2147483647    82259     35 |  0.320 % |
97.30/97.46	c |    172183 |     623    76292   200096 | 2147483647    82858     35 |  0.320 % |
97.80/97.98	c |    172838 |     623    76292   200096 | 2147483647    83513     35 |  0.321 % |
98.50/98.60	c |    173558 |     623    76292   200096 | 2147483647    84233     35 |  0.335 % |
99.10/99.25	c |    174350 |     623    76292   200096 | 2147483647    85025     36 |  0.320 % |
99.90/100.03	c |    175221 |     623    76292   200096 | 2147483647    85896     35 |  0.336 % |
100.69/100.82	c |    176179 |     623    76292   200096 | 2147483647    86854     35 |  0.336 % |
101.59/101.74	c |    177233 |     623    76292   200096 | 2147483647    87908     35 |  0.337 % |
102.49/102.62	c |    178395 |     623    76292   200096 | 2147483647    89070     35 |  0.338 % |
103.49/103.62	c |    179670 |     623    76292   200096 | 2147483647    90345     35 |  0.339 % |
104.69/104.88	c |    181070 |     623    76292   200096 |    90676    79974     34 |  0.336 % |
105.99/106.11	c |    182611 |     623    76292   200096 |    90676    81515     35 |  0.320 % |
107.19/107.38	c |    184305 |     623    76292   200096 |    90676    83209     35 |  0.336 % |
108.99/109.10	c |    186168 |     623    76292   200096 |    90676    85072     35 |  0.320 % |
109.09/109.21	c |    186268 |     623    76292   200096 |    90676    85172     35 |  0.336 % |
109.19/109.32	c |    186379 |     623    76292   200096 |    90676    85283     35 |  0.337 % |
109.29/109.42	c |    186500 |     623    76292   200096 |    90676    85404     35 |  0.337 % |
109.39/109.52	c |    186639 |     623    76292   200096 |    90676    85543     35 |  0.320 % |
109.49/109.62	c |    186786 |     623    76292   200096 |    90676    85690     35 |  0.320 % |
109.59/109.76	c |    186947 |     623    76292   200096 |    90676    85851     35 |  0.336 % |
109.80/109.92	c |    187126 |     623    76292   200096 |    90676    86030     35 |  0.336 % |
109.90/110.07	c |    187320 |     623    76292   200096 |    90676    86224     35 |  0.336 % |
110.09/110.25	c |    187534 |     623    76292   200096 |    90676    86438     35 |  0.336 % |
110.29/110.44	c |    187767 |     623    76292   200096 |    90676    86671     35 |  0.320 % |
110.49/110.65	c |    188024 |     623    76292   200096 |    90676    86928     36 |  0.336 % |
110.69/110.89	c |    188305 |     623    76292   200096 |    90676    87209     36 |  0.320 % |
110.99/111.14	c |    188615 |     623    76292   200096 |    90676    87519     36 |  0.336 % |
111.29/111.44	c |    188955 |     623    76292   200096 |    90676    87859     36 |  0.336 % |
111.59/111.78	c |    189327 |     623    76292   200096 |    90676    88231     36 |  0.336 % |
111.99/112.16	c |    189739 |     623    76292   200096 |    90676    88643     36 |  0.336 % |
112.29/112.50	c |    190188 |     623    76292   200096 |    88904    89092     36 |  0.335 % |
112.79/112.95	c |    190681 |     623    76292   200096 |    88904    77168     36 |  0.320 % |
113.19/113.33	c |    191231 |     623    76292   200096 |    88904    77718     36 |  0.320 % |
113.59/113.76	c |    191827 |     623    76292   200096 |    88904    78314     36 |  0.335 % |
114.19/114.33	c |    192482 |     623    76292   200096 |    88904    78969     36 |  0.336 % |
114.89/115.01	c |    193202 |     623    76292   200096 |    88904    79689     36 |  0.336 % |
115.59/115.73	c |    193998 |     623    76292   200096 |    88904    80485     36 |  0.336 % |
116.29/116.44	c |    194869 |     623    76292   200096 |    88904    81356     36 |  0.336 % |
117.08/117.28	c |    195830 |     623    76292   200096 |    88904    82317     36 |  0.337 % |
118.08/118.22	c |    196885 |     623    76292   200096 |    88904    83372     36 |  0.337 % |
119.18/119.36	c |    198048 |     623    76292   200096 |    88904    84535     37 |  0.337 % |
120.38/120.54	c |    199322 |     623    76292   200096 |    88904    85809     37 |  0.321 % |
121.78/121.92	c |    200722 |     623    76292   200096 |    86491    73490     38 |  0.336 % |
123.28/123.40	c |    202263 |     623    76292   200096 |    86491    75031     38 |  0.336 % |
124.98/125.18	c |    203959 |     623    76292   200096 |    86491    76727     38 |  0.336 % |
126.68/126.83	c |    205822 |     623    76292   200096 |    86491    78590     38 |  0.336 % |
128.48/128.63	c |    207871 |     623    76292   200096 |    86491    80639     38 |  0.336 % |
128.58/128.74	c |    207973 |     623    76292   200096 |    86491    80741     38 |  0.336 % |
128.68/128.85	c |    208083 |     623    76292   200096 |    86491    80851     38 |  0.337 % |
128.78/128.95	c |    208204 |     623    76292   200096 |    86491    80972     38 |  0.320 % |
128.88/129.07	c |    208341 |     623    76292   200096 |    86491    81109     38 |  0.321 % |
129.08/129.22	c |    208489 |     623    76292   200096 |    86491    81257     38 |  0.321 % |
129.18/129.36	c |    208649 |     623    76292   200096 |    86491    81417     38 |  0.336 % |
129.38/129.54	c |    208828 |     623    76292   200096 |    86491    81596     38 |  0.336 % |
129.58/129.73	c |    209024 |     623    76292   200096 |    86491    81792     38 |  0.336 % |
129.78/129.94	c |    209237 |     623    76292   200096 |    86491    82005     38 |  0.320 % |
129.98/130.17	c |    209471 |     623    76292   200096 |    86491    82239     38 |  0.336 % |
130.28/130.45	c |    209728 |     623    76292   200096 |    86491    82496     38 |  0.320 % |
130.68/130.80	c |    210014 |     623    76292   200096 |    82769    82782     38 |  0.337 % |
130.98/131.15	c |    210323 |     623    76292   200096 |    82769    68514     37 |  0.320 % |
131.28/131.44	c |    210669 |     623    76292   200096 |    82769    68860     37 |  0.320 % |
131.58/131.71	c |    211041 |     623    76292   200096 |    82769    69232     37 |  0.336 % |
131.88/132.03	c |    211451 |     623    76292   200096 |    82769    69642     37 |  0.320 % |
132.18/132.38	c |    211904 |     623    76292   200096 |    82769    70095     37 |  0.320 % |
132.68/132.82	c |    212399 |     623    76292   200096 |    82769    70590     37 |  0.337 % |
133.18/133.32	c |    212941 |     623    76292   200096 |    82769    71132     37 |  0.336 % |
133.78/133.90	c |    213537 |     623    76292   200096 |    82769    71728     37 |  0.337 % |
134.28/134.45	c |    214193 |     623    76292   200096 |    82769    72384     37 |  0.320 % |
134.87/135.05	c |    214913 |     623    76292   200096 |    82769    73104     37 |  0.320 % |
135.57/135.75	c |    215705 |     623    76292   200096 |    82769    73896     37 |  0.320 % |
136.28/136.45	c |    216576 |     623    76292   200096 |    82769    74767     37 |  0.337 % |
136.97/137.17	c |    217536 |     623    76292   200096 |    82769    75727     38 |  0.320 % |
137.87/138.07	c |    218593 |     623    76292   200096 |    82769    76784     39 |  0.320 % |
139.07/139.21	c |    219751 |     623    76292   200096 |    82769    77942     39 |  0.320 % |
140.17/140.39	c |    221026 |     623    76292   200096 |    78192    66433     39 |  0.335 % |
141.27/141.48	c |    222429 |     623    76292   200096 |    78192    67836     40 |  0.320 % |
142.78/142.97	c |    223969 |     623    76292   200096 |    78192    69376     41 |  0.320 % |
144.57/144.77	c |    225664 |     623    76292   200096 |    78192    71071     41 |  0.320 % |
146.37/146.56	c |    227527 |     623    76292   200096 |    78192    72934     41 |  0.335 % |
148.17/148.39	c |    229576 |     623    76292   200096 |    78192    74983     42 |  0.320 % |
150.57/150.76	c |    231830 |     623    76292   200096 |    75407    63414     42 |  0.320 % |
150.67/150.88	c |    231933 |     623    76292   200096 |    75407    63517     42 |  0.336 % |
150.77/150.99	c |    232044 |     623    76292   200096 |    75407    63628     42 |  0.335 % |
150.87/151.09	c |    232166 |     623    76292   200096 |    75407    63750     43 |  0.320 % |
151.07/151.22	c |    232302 |     623    76292   200096 |    75407    63886     43 |  0.320 % |
151.17/151.34	c |    232448 |     623    76292   200096 |    75407    64032     43 |  0.336 % |
151.27/151.47	c |    232612 |     623    76292   200096 |    75407    64196     43 |  0.320 % |
151.47/151.62	c |    232789 |     623    76292   200096 |    75407    64373     43 |  0.336 % |
151.57/151.78	c |    232982 |     623    76292   200096 |    75407    64566     43 |  0.335 % |
151.77/151.99	c |    233196 |     623    76292   200096 |    75407    64780     43 |  0.335 % |
151.97/152.16	c |    233430 |     623    76292   200096 |    75407    65014     43 |  0.336 % |
152.17/152.38	c |    233693 |     623    76292   200096 |    75407    65277     42 |  0.335 % |
152.47/152.62	c |    233979 |     623    76292   200096 |    75407    65563     42 |  0.336 % |
152.67/152.86	c |    234291 |     623    76292   200096 |    75407    65875     42 |  0.336 % |
152.97/153.10	c |    234630 |     623    76292   200096 |    75407    66214     42 |  0.337 % |
153.27/153.44	c |    235002 |     623    76292   200096 |    75407    66586     42 |  0.337 % |
153.67/153.84	c |    235412 |     623    76292   200096 |    75407    66996     43 |  0.320 % |
154.07/154.29	c |    235863 |     623    76292   200096 |    75407    67447     42 |  0.336 % |
154.57/154.75	c |    236356 |     623    76292   200096 |    75407    67940     42 |  0.336 % |
154.97/155.20	c |    236899 |     623    76292   200096 |    75407    68483     42 |  0.336 % |
155.57/155.73	c |    237495 |     623    76292   200096 |    75407    69079     42 |  0.337 % |
156.17/156.33	c |    238152 |     623    76292   200096 |    75407    69736     42 |  0.336 % |
156.87/157.03	c |    238873 |     623    76292   200096 |    75407    70457     42 |  0.336 % |
157.67/157.85	c |    239667 |     623    76292   200096 |    75407    71251     42 |  0.337 % |
158.57/158.78	c |    240538 |     623    76292   200096 |    71585    59010     42 |  0.336 % |
159.46/159.65	c |    241496 |     623    76292   200096 |    71585    59968     43 |  0.320 % |
160.37/160.59	c |    242549 |     623    76292   200096 |    71585    61021     43 |  0.320 % |
161.57/161.75	c |    243709 |     623    76292   200096 |    71585    62181     44 |  0.320 % |
162.76/162.90	c |    244986 |     623    76292   200096 |    71585    63458     44 |  0.336 % |
164.26/164.47	c |    246387 |     623    76292   200096 |    71585    64859     43 |  0.336 % |
165.97/166.16	c |    247927 |     623    76292   200096 |    71585    66399     43 |  0.337 % |
167.86/168.04	c |    249622 |     623    76292   200096 |    71585    68094     43 |  0.337 % |
169.96/170.15	c |    251488 |     623    76292   200096 |    68472    56835     43 |  0.337 % |
171.66/171.85	c |    253539 |     623    76292   200096 |    68472    58886     43 |  0.336 % |
173.66/173.80	c |    255792 |     623    76292   200096 |    68472    61139     44 |  0.320 % |
175.96/176.16	c |    258270 |     623    76292   200096 |    68472    63617     44 |  0.320 % |
176.06/176.25	c |    258371 |     623    76292   200096 |    68472    63718     44 |  0.320 % |
176.16/176.34	c |    258483 |     623    76292   200096 |    68472    63830     44 |  0.335 % |
176.26/176.45	c |    258604 |     623    76292   200096 |    68472    63951     44 |  0.335 % |
176.36/176.56	c |    258741 |     623    76292   200096 |    68472    64088     44 |  0.335 % |
176.46/176.69	c |    258887 |     623    76292   200096 |    68472    64234     44 |  0.336 % |
176.65/176.86	c |    259048 |     623    76292   200096 |    68472    64395     44 |  0.320 % |
176.86/177.04	c |    259224 |     623    76292   200096 |    68472    64571     44 |  0.320 % |
177.05/177.25	c |    259419 |     623    76292   200096 |    68472    64766     44 |  0.336 % |
177.35/177.52	c |    259635 |     623    76292   200096 |    68472    64982     44 |  0.336 % |
177.55/177.78	c |    259869 |     623    76292   200096 |    68472    65216     44 |  0.336 % |
177.85/178.02	c |    260125 |     623    76292   200096 |    65347    65472     44 |  0.336 % |
178.15/178.34	c |    260408 |     623    76292   200096 |    65347    53802     42 |  0.336 % |
178.35/178.59	c |    260717 |     623    76292   200096 |    65347    54111     41 |  0.335 % |
178.75/178.93	c |    261057 |     623    76292   200096 |    65347    54451     41 |  0.337 % |
179.06/179.22	c |    261429 |     623    76292   200096 |    65347    54823     42 |  0.320 % |
179.45/179.65	c |    261839 |     623    76292   200096 |    65347    55233     42 |  0.336 % |
179.85/180.04	c |    262289 |     623    76292   200096 |    65347    55683     42 |  0.337 % |
180.35/180.51	c |    262783 |     623    76292   200096 |    65347    56177     42 |  0.320 % |
180.85/181.05	c |    263326 |     623    76292   200096 |    65347    56720     42 |  0.337 % |
181.36/181.55	c |    263926 |     623    76292   200096 |    65347    57320     41 |  0.336 % |
181.95/182.12	c |    264584 |     623    76292   200096 |    65347    57978     41 |  0.336 % |
182.55/182.74	c |    265305 |     623    76292   200096 |    65347    58699     42 |  0.320 % |
183.25/183.41	c |    266097 |     623    76292   200096 |    65347    59491     42 |  0.336 % |
184.05/184.21	c |    266968 |     623    76292   200096 |    65347    60362     42 |  0.320 % |
184.95/185.16	c |    267926 |     623    76292   200096 |    65347    61320     42 |  0.320 % |
185.95/186.10	c |    268979 |     623    76292   200096 |    65347    62373     42 |  0.336 % |
186.95/187.18	c |    270137 |     623    76292   200096 |    63396    63531     42 |  0.337 % |
188.15/188.33	c |    271413 |     623    76292   200096 |    63396    54015     37 |  0.337 % |
189.25/189.44	c |    272814 |     623    76292   200096 |    63396    55416     37 |  0.338 % |
190.55/190.75	c |    274354 |     623    76292   200096 |    63396    56956     37 |  0.338 % |
191.95/192.17	c |    276048 |     623    76292   200096 |    63396    58650     37 |  0.338 % |
193.35/193.57	c |    277913 |     623    76292   200096 |    63396    60515     39 |  0.320 % |
195.15/195.37	c |    279964 |     623    76292   200096 |    63396    62566     39 |  0.321 % |
197.05/197.28	c |    282217 |     623    76292   200096 |    62605    55118     38 |  0.320 % |
199.35/199.50	c |    284699 |     623    76292   200096 |    62605    57600     38 |  0.338 % |
202.05/202.20	c |    287425 |     623    76292   200096 |    62605    60326     38 |  0.338 % |
202.05/202.30	c |    287525 |     623    76292   200096 |    62605    60426     38 |  0.338 % |
202.15/202.40	c |    287635 |     623    76292   200096 |    62605    60536     38 |  0.320 % |
202.35/202.50	c |    287757 |     623    76292   200096 |    62605    60658     38 |  0.320 % |
202.45/202.61	c |    287890 |     623    76292   200096 |    62605    60791     38 |  0.337 % |
202.55/202.75	c |    288037 |     623    76292   200096 |    62605    60938     38 |  0.321 % |
202.65/202.86	c |    288197 |     623    76292   200096 |    62605    61098     39 |  0.320 % |
202.85/203.03	c |    288375 |     623    76292   200096 |    62605    61276     39 |  0.336 % |
202.95/203.19	c |    288568 |     623    76292   200096 |    62605    61469     39 |  0.321 % |
203.15/203.40	c |    288780 |     623    76292   200096 |    62605    61681     39 |  0.320 % |
203.36/203.58	c |    289013 |     623    76292   200096 |    62605    61914     39 |  0.321 % |
203.65/203.81	c |    289269 |     623    76292   200096 |    62605    62170     39 |  0.320 % |
203.95/204.14	c |    289550 |     623    76292   200096 |    62605    62451     39 |  0.321 % |
204.25/204.40	c |    289859 |     623    76292   200096 |    62605    62760     39 |  0.320 % |
204.55/204.72	c |    290201 |     623    76292   200096 |    53301    53499     38 |  0.321 % |
204.85/205.02	c |    290575 |     623    76292   200096 |    53301    45803     37 |  0.336 % |
205.15/205.31	c |    290984 |     623    76292   200096 |    53301    46212     37 |  0.320 % |
205.35/205.60	c |    291434 |     623    76292   200096 |    53301    46662     37 |  0.320 % |
205.75/205.97	c |    291929 |     623    76292   200096 |    53301    47157     37 |  0.321 % |
206.15/206.39	c |    292471 |     623    76292   200096 |    53301    47699     37 |  0.336 % |
206.75/206.90	c |    293073 |     623    76292   200096 |    53301    48301     37 |  0.336 % |
207.25/207.40	c |    293728 |     623    76292   200096 |    53301    48956     38 |  0.320 % |
207.75/207.94	c |    294450 |     623    76292   200096 |    53301    49678     38 |  0.321 % |
208.35/208.58	c |    295247 |     623    76292   200096 |    53301    50475     38 |  0.337 % |
209.05/209.27	c |    296121 |     623    76292   200096 |    53301    51349     38 |  0.320 % |
209.75/209.99	c |    297082 |     623    76292   200096 |    53301    52310     38 |  0.337 % |
210.55/210.77	c |    298137 |     623    76292   200096 |    53301    53365     39 |  0.320 % |
211.35/211.59	c |    299296 |     623    76292   200096 |    53301    48026     39 |  0.320 % |
212.45/212.60	c |    300571 |     623    76292   200096 |    48732    43434     40 |  0.336 % |
213.55/213.76	c |    301972 |     623    76292   200096 |    48732    44835     40 |  0.320 % |
214.94/215.14	c |    303514 |     623    76292   200096 |    48732    46377     40 |  0.320 % |
216.04/216.26	c |    305208 |     623    76292   200096 |    48732    48071     42 |  0.320 % |
217.65/217.80	c |    307073 |     623    76292   200096 |    48732    43758     41 |  0.320 % |
219.34/219.58	c |    309122 |     623    76292   200096 |    48732    45807     42 |  0.320 % |
221.44/221.62	c |    311376 |     623    76292   200096 |    46685    42029     42 |  0.320 % |
223.44/223.65	c |    313854 |     623    76292   200096 |    46685    44507     42 |  0.337 % |
225.54/225.77	c |    316581 |     623    76292   200096 |    46685    41170     41 |  0.337 % |
227.74/227.95	c |    319578 |     623    76292   200096 |    46685    44167     44 |  0.320 % |
227.84/228.04	c |    319678 |     623    76292   200096 |    46685    44267     44 |  0.320 % |
227.94/228.13	c |    319788 |     623    76292   200096 |    46685    44377     44 |  0.320 % |
228.04/228.20	c |    319911 |     623    76292   200096 |    46685    44500     44 |  0.320 % |
228.04/228.29	c |    320045 |     623    76292   200096 |    44590    44634     44 |  0.320 % |
228.24/228.44	c |    320193 |     623    76292   200096 |    44590    38991     43 |  0.320 % |
228.34/228.57	c |    320353 |     623    76292   200096 |    44590    39151     43 |  0.320 % |
228.44/228.69	c |    320531 |     623    76292   200096 |    44590    39329     43 |  0.338 % |
228.65/228.85	c |    320724 |     623    76292   200096 |    44590    39522     43 |  0.320 % |
228.74/228.99	c |    320936 |     623    76292   200096 |    44590    39734     43 |  0.336 % |
228.94/229.15	c |    321169 |     623    76292   200096 |    44590    39967     43 |  0.336 % |
229.14/229.32	c |    321425 |     623    76292   200096 |    44590    40223     43 |  0.336 % |
229.34/229.53	c |    321706 |     623    76292   200096 |    44590    40504     43 |  0.337 % |
229.54/229.74	c |    322016 |     623    76292   200096 |    44590    40814     43 |  0.336 % |
229.75/229.97	c |    322356 |     623    76292   200096 |    44590    41154     43 |  0.321 % |
230.04/230.24	c |    322729 |     623    76292   200096 |    44590    41527     43 |  0.339 % |
230.34/230.55	c |    323140 |     623    76292   200096 |    44590    41938     43 |  0.339 % |
230.74/230.94	c |    323590 |     623    76292   200096 |    44590    42388     43 |  0.339 % |
231.14/231.32	c |    324086 |     623    76292   200096 |    44590    42884     43 |  0.320 % |
231.64/231.83	c |    324629 |     623    76292   200096 |    44590    43427     44 |  0.320 % |
232.14/232.36	c |    325226 |     623    76292   200096 |    44590    44024     44 |  0.320 % |
232.74/232.98	c |    325881 |     623    76292   200096 |    44590    44679     43 |  0.336 % |
233.34/233.54	c |    326601 |     623    76292   200096 |    44590    40124     42 |  0.336 % |
233.94/234.12	c |    327395 |     623    76292   200096 |    44590    40918     41 |  0.336 % |
234.64/234.86	c |    328266 |     623    76292   200096 |    44590    41789     42 |  0.336 % |
235.44/235.67	c |    329226 |     623    76292   200096 |    44590    42749     42 |  0.336 % |
236.24/236.44	c |    330279 |     623    76292   200096 |    43523    38983     39 |  0.337 % |
237.04/237.21	c |    331438 |     623    76292   200096 |    43523    40142     39 |  0.338 % |
237.94/238.13	c |    332720 |     623    76292   200096 |    43523    41424     39 |  0.339 % |
238.94/239.15	c |    334120 |     623    76292   200096 |    43523    42824     38 |  0.340 % |
240.14/240.38	c |    335661 |     623    76292   200096 |    43523    39985     36 |  0.321 % |
241.24/241.45	c |    337356 |     623    76292   200096 |    43523    41680     36 |  0.336 % |
242.44/242.64	c |    339219 |     623    76292   200096 |    43523    43543     36 |  0.336 % |
243.94/244.13	c |    341268 |     623    76292   200096 | 2147483647    41238     36 |  0.336 % |
245.53/245.78	c |    343524 |     623    76292   200096 | 2147483647    43494     36 |  0.336 % |
247.03/247.27	c |    346004 |     623    76292   200096 | 2147483647    45974     38 |  0.321 % |
249.03/249.25	c |    348730 |     623    76292   200096 | 2147483647    48700     40 |  0.321 % |
251.14/251.39	c |    351728 |     623    76292   200096 | 2147483647    51698     40 |  0.321 % |
253.64/253.82	c |    355024 |     623    76292   200096 | 2147483647    54994     40 |  0.337 % |
253.74/253.91	c |    355124 |     623    76292   200096 | 2147483647    55094     40 |  0.320 % |
253.84/254.05	c |    355234 |     623    76292   200096 | 2147483647    55204     40 |  0.321 % |
253.94/254.14	c |    355359 |     623    76292   200096 | 2147483647    55329     40 |  0.337 % |
254.04/254.27	c |    355492 |     623    76292   200096 | 2147483647    55462     40 |  0.336 % |
254.24/254.43	c |    355643 |     623    76292   200096 | 2147483647    55613     40 |  0.336 % |
254.34/254.57	c |    355805 |     623    76292   200096 | 2147483647    55775     40 |  0.337 % |
254.54/254.71	c |    355982 |     623    76292   200096 | 2147483647    55952     40 |  0.337 % |
254.64/254.84	c |    356178 |     623    76292   200096 | 2147483647    56148     40 |  0.337 % |
254.84/255.01	c |    356393 |     623    76292   200096 | 2147483647    56363     40 |  0.337 % |
254.94/255.18	c |    356635 |     623    76292   200096 | 2147483647    56605     40 |  0.336 % |
255.14/255.39	c |    356893 |     623    76292   200096 | 2147483647    56863     40 |  0.336 % |
255.44/255.63	c |    357175 |     623    76292   200096 | 2147483647    57145     39 |  0.338 % |
255.64/255.83	c |    357486 |     623    76292   200096 | 2147483647    57456     39 |  0.338 % |
255.94/256.12	c |    357829 |     623    76292   200096 | 2147483647    57799     39 |  0.337 % |
256.24/256.41	c |    358201 |     623    76292   200096 | 2147483647    58171     39 |  0.337 % |
256.54/256.73	c |    358613 |     623    76292   200096 | 2147483647    58583     39 |  0.320 % |
256.94/257.15	c |    359064 |     623    76292   200096 | 2147483647    59034     39 |  0.337 % |
257.34/257.51	c |    359558 |     623    76292   200096 | 2147483647    59528     39 |  0.321 % |
257.74/257.93	c |    360100 |     623    76292   200096 |    59972    60070     40 |  0.320 % |
258.24/258.41	c |    360698 |     623    76292   200096 |    59972    52973     37 |  0.336 % |
258.74/258.91	c |    361354 |     623    76292   200096 |    59972    53629     37 |  0.336 % |
259.24/259.45	c |    362074 |     623    76292   200096 |    59972    54349     37 |  0.336 % |
259.94/260.18	c |    362870 |     623    76292   200096 |    59972    55145     38 |  0.320 % |
260.64/260.84	c |    363743 |     623    76292   200096 |    59972    56018     38 |  0.320 % |
261.54/261.75	c |    364702 |     623    76292   200096 |    59972    56977     38 |  0.336 % |
262.44/262.62	c |    365755 |     623    76292   200096 |    59972    58030     38 |  0.321 % |
263.43/263.66	c |    366913 |     623    76292   200096 |    59972    59188     38 |  0.321 % |
264.63/264.87	c |    368186 |     623    76292   200096 |    59972    52003     38 |  0.336 % |
265.94/266.19	c |    369587 |     623    76292   200096 |    59972    53404     38 |  0.337 % |
267.23/267.43	c |    371129 |     623    76292   200096 |    53817    47117     40 |  0.320 % |
268.63/268.81	c |    372825 |     623    76292   200096 |    53817    48813     39 |  0.338 % |
270.13/270.38	c |    374689 |     623    76292   200096 |    53817    50677     39 |  0.338 % |
271.93/272.13	c |    376738 |     623    76292   200096 |    53817    52726     39 |  0.338 % |
274.03/274.20	c |    378992 |     622    76046   199454 |    53817    39365     37 |  0.497 % |
275.53/275.76	c |    381470 |     622    76046   199454 |    40374    36435     34 |  0.497 % |
277.33/277.59	c |    384196 |     622    76046   199454 |    40374    39161     35 |  0.496 % |
279.43/279.65	c |    387195 |     622    76046   199454 |    40374    38098     34 |  0.497 % |
281.53/281.75	c |    390492 |     622    76046   199454 | 2147483647    37339     34 |  0.497 % |
283.93/284.18	c |    394117 |     622    76046   199454 | 2147483647    40964     34 |  0.497 % |
284.03/284.25	c |    394220 |     622    76046   199454 | 2147483647    41067     34 |  0.481 % |
284.13/284.33	c |    394330 |     622    76046   199454 | 2147483647    41177     34 |  0.481 % |
284.22/284.42	c |    394455 |     622    76046   199454 | 2147483647    41302     34 |  0.498 % |
284.32/284.53	c |    394590 |     622    76046   199454 | 2147483647    41437     34 |  0.497 % |
284.42/284.62	c |    394736 |     622    76046   199454 | 2147483647    41583     34 |  0.480 % |
284.52/284.72	c |    394899 |     622    76046   199454 | 2147483647    41746     34 |  0.480 % |
284.63/284.84	c |    395080 |     622    76046   199454 | 2147483647    41927     34 |  0.496 % |
284.73/284.97	c |    395273 |     622    76046   199454 | 2147483647    42120     34 |  0.480 % |
284.92/285.14	c |    395485 |     622    76046   199454 | 2147483647    42332     34 |  0.497 % |
285.12/285.30	c |    395718 |     622    76046   199454 | 2147483647    42565     34 |  0.497 % |
285.22/285.49	c |    395978 |     622    76046   199454 | 2147483647    42825     34 |  0.497 % |
285.52/285.70	c |    396262 |     622    76046   199454 | 2147483647    43109     34 |  0.481 % |
285.62/285.90	c |    396572 |     622    76046   199454 | 2147483647    43419     34 |  0.498 % |
285.92/286.15	c |    396911 |     622    76046   199454 | 2147483647    43758     35 |  0.480 % |
286.22/286.41	c |    397285 |     622    76046   199454 | 2147483647    44132     34 |  0.497 % |
286.42/286.65	c |    397695 |     622    76046   199454 | 2147483647    44542     34 |  0.497 % |
286.72/286.90	c |    398144 |     622    76046   199454 | 2147483647    44991     34 |  0.498 % |
286.93/287.11	c |    398638 |     622    76046   199454 | 2147483647    45485     34 |  0.481 % |
287.32/287.51	c |    399183 |     622    76046   199454 | 2147483647    46030     34 |  0.480 % |
287.72/287.93	c |    399781 |     622    76046   199454 | 2147483647    46628     34 |  0.497 % |
288.22/288.42	c |    400437 |     622    76046   199454 | 2147483647    47284     34 |  0.496 % |
288.72/288.95	c |    401158 |     622    76046   199454 | 2147483647    48005     34 |  0.496 % |
289.22/289.44	c |    401950 |     622    76046   199454 | 2147483647    48797     35 |  0.496 % |
289.92/290.14	c |    402821 |     622    76046   199454 | 2147483647    49668     35 |  0.480 % |
290.72/290.90	c |    403781 |     622    76046   199454 | 2147483647    50628     35 |  0.497 % |
291.52/291.78	c |    404839 |     622    76046   199454 | 2147483647    51686     35 |  0.497 % |
292.52/292.78	c |    405999 |     622    76046   199454 | 2147483647    52846     34 |  0.500 % |
293.32/293.59	c |    407273 |     622    76046   199454 | 2147483647    54120     34 |  0.497 % |
294.42/294.66	c |    408673 |     622    76046   199454 | 2147483647    55520     34 |  0.498 % |
295.62/295.82	c |    410214 |     619    75318   197560 |    56256    56469     34 |  0.976 % |
296.82/297.04	c |    411912 |     619    75318   197560 |    56256    52063     32 |  0.961 % |
298.13/298.33	c |    413775 |     619    75318   197560 |    56256    53926     32 |  0.976 % |
299.43/299.66	c |    415825 |     619    75318   197560 |    56256    55976     32 |  0.979 % |
301.13/301.35	c |    418079 |     619    75318   197560 |    56256    52405     31 |  0.977 % |
303.03/303.24	c |    420558 |     619    75318   197560 |    54326    49103     32 |  0.960 % |
305.23/305.43	c |    423283 |     619    75318   197560 |    54326    51828     33 |  0.961 % |
307.63/307.89	c |    426280 |     619    75318   197560 |    54326    48016     33 |  0.977 % |
310.52/310.75	c |    429577 |     619    75318   197560 |    54326    51313     34 |  0.961 % |
313.42/313.60	c |    433204 |     619    75318   197560 |    51736    48341     36 |  0.960 % |
316.53/316.78	c |    437191 |     619    75318   197560 |    51736    46190     36 |  0.977 % |
316.63/316.86	c |    437291 |     619    75318   197560 |    51736    46290     36 |  0.978 % |
316.72/316.93	c |    437401 |     619    75318   197560 |    51736    46400     36 |  0.960 % |
316.82/317.02	c |    437523 |     619    75318   197560 |    51736    46522     36 |  0.977 % |
316.92/317.15	c |    437656 |     619    75318   197560 |    51736    46655     36 |  0.960 % |
317.02/317.29	c |    437803 |     619    75318   197560 |    51736    46802     36 |  0.961 % |
317.12/317.39	c |    437964 |     619    75318   197560 |    51736    46963     36 |  0.977 % |
317.32/317.51	c |    438140 |     619    75318   197560 |    51736    47139     36 |  0.978 % |
317.42/317.66	c |    438335 |     619    75318   197560 |    51736    47334     36 |  0.978 % |
317.63/317.83	c |    438548 |     619    75318   197560 |    51736    47547     36 |  0.960 % |
317.73/317.97	c |    438782 |     619    75318   197560 |    51736    47781     36 |  0.960 % |
317.92/318.18	c |    439041 |     619    75318   197560 |    51736    48040     36 |  0.960 % |
318.22/318.40	c |    439324 |     619    75318   197560 |    51736    48323     36 |  0.960 % |
318.42/318.63	c |    439633 |     619    75318   197560 |    51736    48632     36 |  0.978 % |
318.73/318.92	c |    439972 |     619    75318   197560 |    51736    48971     36 |  0.976 % |
319.12/319.32	c |    440344 |     619    75318   197560 |    49000    43149     37 |  0.977 % |
319.42/319.63	c |    440757 |     619    75318   197560 |    49000    43562     37 |  0.975 % |
319.72/319.95	c |    441207 |     619    75318   197560 |    49000    44012     37 |  0.976 % |
320.12/320.30	c |    441700 |     619    75318   197560 |    49000    44505     37 |  0.976 % |
320.42/320.66	c |    442243 |     619    75318   197560 |    49000    45048     37 |  0.976 % |
320.93/321.16	c |    442839 |     619    75318   197560 |    49000    45644     37 |  0.960 % |
321.62/321.80	c |    443495 |     619    75318   197560 |    49000    46300     37 |  0.976 % |
322.03/322.30	c |    444215 |     619    75318   197560 |    49000    47020     37 |  0.978 % |
322.62/322.90	c |    445007 |     619    75318   197560 |    49000    47812     37 |  0.979 % |
323.32/323.56	c |    445879 |     619    75318   197560 |    49000    48684     38 |  0.960 % |
324.12/324.36	c |    446839 |     619    75318   197560 |    49000    43566     38 |  0.960 % |
325.12/325.30	c |    447893 |     619    75318   197560 |    49000    44620     38 |  0.977 % |
326.02/326.25	c |    449053 |     619    75318   197560 |    49000    45780     38 |  0.960 % |
326.92/327.17	c |    450331 |     619    75318   197560 |    46730    41145     37 |  0.961 % |
328.02/328.25	c |    451732 |     619    75318   197560 |    46730    42546     37 |  0.961 % |
329.12/329.33	c |    453273 |     619    75318   197560 |    46730    44087     38 |  0.977 % |
330.62/330.87	c |    454968 |     619    75318   197560 |    46730    45782     38 |  0.977 % |
332.32/332.52	c |    456833 |     619    75318   197560 |    46730    41781     37 |  0.977 % |
334.02/334.22	c |    458882 |     619    75318   197560 |    46730    43830     37 |  0.977 % |
335.51/335.74	c |    461135 |     619    75318   197560 |    44953    40546     35 |  0.960 % |
337.21/337.45	c |    463614 |     619    75318   197560 |    44953    43025     34 |  0.960 % |
339.31/339.53	c |    466339 |     618    75075   196925 |    44953    41947     36 |  1.120 % |
341.11/341.35	c |    469336 |     618    75075   196925 |    44953    44944     37 |  1.138 % |
343.21/343.46	c |    472632 |     618    75075   196925 | 2147483647    43723     37 |  1.138 % |
345.71/345.93	c |    476257 |     617    75075   196925 | 2147483647    47347     38 |  1.441 % |
348.91/349.19	c |    480247 |     617    75075   196925 |    51090    51337     40 |  1.441 % |
352.81/353.01	c |    484632 |     616    74594   195671 |    51090    48287     40 |  1.456 % |
352.91/353.13	c |    484733 |     616    74594   195671 |    51090    48388     40 |  1.456 % |
353.01/353.24	c |    484843 |     616    74594   195671 |    51090    48498     40 |  1.456 % |
353.11/353.36	c |    484964 |     616    74594   195671 |    51090    48619     40 |  1.456 % |
353.21/353.48	c |    485101 |     616    74594   195671 |    51090    48756     40 |  1.456 % |
353.41/353.61	c |    485250 |     616    74594   195671 |    51090    48905     39 |  1.456 % |
353.51/353.76	c |    485410 |     616    74594   195671 |    51090    49065     39 |  1.457 % |
353.61/353.89	c |    485586 |     616    74594   195671 |    51090    49241     39 |  1.456 % |
353.81/354.06	c |    485779 |     616    74594   195671 |    51090    49434     40 |  1.440 % |
354.01/354.24	c |    485991 |     616    74594   195671 |    51090    49646     40 |  1.440 % |
354.21/354.46	c |    486226 |     616    74594   195671 |    51090    49881     40 |  1.441 % |
354.41/354.67	c |    486484 |     616    74594   195671 |    51090    50139     40 |  1.458 % |
354.61/354.88	c |    486766 |     616    74594   195671 |    51090    50421     40 |  1.456 % |
354.91/355.14	c |    487075 |     616    74594   195671 |    51090    50730     40 |  1.458 % |
355.21/355.42	c |    487416 |     616    74594   195671 |    51090    51071     40 |  1.441 % |
355.61/355.81	c |    487789 |     616    74594   195671 |    51090    44107     40 |  1.441 % |
355.91/356.18	c |    488200 |     616    74594   195671 |    51090    44518     40 |  1.441 % |
356.21/356.49	c |    488649 |     616    74594   195671 |    51090    44967     39 |  1.457 % |
356.51/356.75	c |    489144 |     616    74594   195671 |    51090    45462     39 |  1.457 % |
356.91/357.12	c |    489686 |     616    74594   195671 |    51090    46004     39 |  1.440 % |
357.41/357.70	c |    490286 |     616    74594   195671 |    46318    40197     37 |  1.456 % |
357.90/358.14	c |    490941 |     616    74594   195671 |    46318    40852     37 |  1.441 % |
358.50/358.71	c |    491663 |     616    74594   195671 |    46318    41574     37 |  1.456 % |
359.10/359.33	c |    492455 |     616    74594   195671 |    46318    42366     37 |  1.456 % |
359.80/360.09	c |    493326 |     616    74594   195671 |    46318    43237     37 |  1.458 % |
360.70/360.91	c |    494285 |     616    74594   195671 |    46318    44196     37 |  1.458 % |
361.61/361.90	c |    495342 |     616    74594   195671 |    46318    45253     37 |  1.458 % |
362.50/362.71	c |    496502 |     616    74594   195671 |    46318    46413     37 |  1.440 % |
363.40/363.60	c |    497776 |     616    74594   195671 |    46318    42006     38 |  1.440 % |
364.50/364.77	c |    499176 |     616    74594   195671 |    46318    43406     38 |  1.440 % |
365.70/365.93	c |    500716 |     616    74594   195671 |    44231    39730     36 |  1.440 % |
367.00/367.22	c |    502410 |     616    74594   195671 |    44231    41424     36 |  1.441 % |
368.31/368.55	c |    504276 |     616    74594   195671 |    44231    43290     36 |  1.458 % |
369.90/370.11	c |    506328 |     616    74594   195671 |    44231    40896     33 |  1.459 % |
371.40/371.70	c |    508583 |     615    74357   195050 |    44231    40034     33 |  1.601 % |
373.30/373.51	c |    511063 |     615    74357   195050 | 2147483647    42514     35 |  1.600 % |
375.31/375.52	c |    513789 |     615    74357   195050 | 2147483647    45240     37 |  1.601 % |
376.31/376.59	c ===============================================================================
376.31/376.59	c restarts              : 899
376.31/376.59	c conflicts             : 515189         (1369 /sec)
376.31/376.59	c decisions             : 933530         (1.14 % random) (2481 /sec)
376.31/376.59	c propagations          : 55317090       (147038 /sec)
376.31/376.59	c conflict literals     : 21900379       (43.25 % deleted)
376.31/376.59	c Memory used           : 24.21 MB
376.31/376.59	c CPU time              : 376.209 s
376.31/376.59	c 
376.31/376.59	s SATISFIABLE
376.40/376.60	s SATISFIABLE
376.40/376.60	v -1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 21 -22 -23 -24 -25 -26 -27 -28 -29 -30 -31 -32 -33 -34 -35 36 -37 -38 -39 -40 -41 -42 -43 -44 -45 -46 -47 -48 -49 -50 -51 -52 -53 -54 -55 -56 -57 -58 -59 -60 -61 -62 -63 -64 -65 -66 -67 -68 -69 70 -71 -72 -73 -74 -75 -76 -77 -78 -79 -80 -81 -82 -83 84 -85 -86 -87 -88 -89 -90 -91 -92 -93 -94 -95 -96 -97 -98 -99 -100 -101 -102 -103 -104 -105 -106 -107 -108 -109 -110 -111 -112 -113 114 -115 -116 -117 -118 -119 -120 -121 -122 -123 -124 -125 -126 -127 -128 -129 -130 -131 -132 -133 -134 -135 -136 137 -138 -139 -140 -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 152 -153 -154 -155 -156 -157 -158 -159 -160 -161 -162 -163 -164 -165 -166 -167 -168 -169 -170 -171 -172 -173 -174 -175 -176 -177 178 -179 -180 -181 -182 -183 -184 -185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 -197 -198 -199 -200 -201 -202 -203 -204 -205 -206 -207 -208 -209 -210 -211 -212 213 -214 -215 -216 -217 -218 -219 -220 -221 -222 -223 -224 -225 -226 -227 -228 -229 -230 -231 -232 -233 -234 -235 -236 -237 -238 -239 -240 241 -242 -243 -244 -245 -246 -247 -248 -249 -250 -251 -252 -253 -254 -255 -256 -257 -258 -259 -260 -261 -262 -263 -264 -265 -266 267 -268 -269 -270 -271 -272 -273 -274 -275 -276 -277 -278 -279 -280 -281 -282 -283 -284 -285 -286 -287 -288 -289 -290 -291 -292 -293 294 -295 -296 -297 -298 -299 -300 -301 -302 -303 304 -305 -306 -307 -308 -309 -310 -311 -312 -313 -314 -315 -316 -317 -318 -319 -320 -321 -322 -323 -324 -325 -326 -327 -328 -329 -330 -331 -332 -333 -334 335 -336 -337 -338 -339 -340 -341 -342 -343 -344 -345 -346 -347 -348 -349 -350 -351 -352 -353 -354 355 -356 -357 -358 -359 -360 -361 -362 -363 -364 -365 -366 -367 -368 -369 -370 -371 -372 -373 -374 -375 -376 -377 -378 -379 -380 -381 -382 -383 -384 -385 -386 -387 -388 -389 -390 -391 -392 -393 -394 -395 -396 -397 -398 -399 400 -401 -402 -403 -404 -405 -406 -407 -408 -409 -410 -411 -412 -413 -414 -415 -416 -417 418 -419 -420 -421 -422 -423 -424 -425 -426 -427 -428 -429 -430 -431 -432 433 -434 -435 -436 -437 -438 -439 -440 -441 -442 -443 -444 -445 -446 -447 -448 -449 -450 -451 -452 -453 -454 -455 -456 457 -458 -459 -460 -461 -462 -463 -464 -465 -466 -467 -468 -469 -470 -471 -472 -473 -474 -475 -476 -477 -478 -479 -480 -481 -482 -483 -484 -485 -486 -487 -488 -489 -490 -491 -492 -493 -494 -495 -496 497 -498 -499 -500 -501 -502 -503 -504 -505 -506 -507 -508 -509 -510 -511 -512 -513 -514 -515 -516 -517 -518 -519 -520 -521 -522 -523 524 -525 -526 -527 -528 -529 -530 -531 -532 -533 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543 -544 -545 -546 -547 548 -549 -550 551 -552 -553 -554 -555 -556 -557 -558 -559 -560 -561 -562 -563 -564 -565 -566 -567 -568 -569 -570 -571 -572 -573 -574 -575 -576 -577 -578 -579 -580 581 -582 -583 -584 -585 -586 -587 -588 -589 -590 -591 -592 -593 -594 -595 -596 -597 -598 -599 -600 -601 -602 -603 -604 -605 -606 -607 -608 -609 -610 -611 -612 -613 -614 615 -616 -617 -618 -619 -620 -621 -622 -623 -624 -625 0

Verifier Data

OK

Watcher Data

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

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

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


[startup+0 s]
/proc/loadavg: 0.94 0.98 0.95 3/64 11268
/proc/meminfo: memFree=1982752/2055920 swapFree=4180276/4192956
[pid=11268] ppid=11266 vsize=5356 CPUtime=0
/proc/11268/stat : 11268 (SatELiteGTI) S 11266 11268 11148 0 -1 4194304 310 249 0 0 0 0 0 0 21 0 1 0 304943288 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11268/statm: 1339 237 197 169 0 50 0
[pid=11272] ppid=11268 vsize=1004 CPUtime=0
/proc/11272/stat : 11272 (SatELite_releas) R 11268 11268 11148 0 -1 4194304 127 0 0 0 0 0 0 0 18 0 1 0 304943289 1028096 113 1992294400 134512640 135223648 4294956128 18446744073709551615 134737310 0 0 4096 3 0 0 0 17 1 0 0
/proc/11272/statm: 251 114 49 173 0 76 0

[startup+0.026145 s]
/proc/loadavg: 0.94 0.98 0.95 3/64 11268
/proc/meminfo: memFree=1982752/2055920 swapFree=4180276/4192956
[pid=11268] ppid=11266 vsize=5356 CPUtime=0
/proc/11268/stat : 11268 (SatELiteGTI) S 11266 11268 11148 0 -1 4194304 310 249 0 0 0 0 0 0 21 0 1 0 304943288 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11268/statm: 1339 237 197 169 0 50 0
[pid=11272] ppid=11268 vsize=2628 CPUtime=0.01
/proc/11272/stat : 11272 (SatELite_releas) R 11268 11268 11148 0 -1 4194304 489 0 0 0 1 0 0 0 18 0 1 0 304943289 2691072 475 1992294400 134512640 135223648 4294956128 18446744073709551615 134737310 0 0 4096 3 0 0 0 17 1 0 0
/proc/11272/statm: 657 475 49 173 0 482 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7984

[startup+0.101264 s]
/proc/loadavg: 0.94 0.98 0.95 3/64 11268
/proc/meminfo: memFree=1982752/2055920 swapFree=4180276/4192956
[pid=11268] ppid=11266 vsize=5356 CPUtime=0
/proc/11268/stat : 11268 (SatELiteGTI) S 11266 11268 11148 0 -1 4194304 310 249 0 0 0 0 0 0 21 0 1 0 304943288 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11268/statm: 1339 237 197 169 0 50 0
[pid=11272] ppid=11268 vsize=5264 CPUtime=0.09
/proc/11272/stat : 11272 (SatELite_releas) R 11268 11268 11148 0 -1 4194304 1144 0 0 0 8 1 0 0 18 0 1 0 304943289 5390336 1130 1992294400 134512640 135223648 4294956128 18446744073709551615 134833105 0 0 4096 3 0 0 0 17 1 0 0
/proc/11272/statm: 1316 1130 75 173 0 1141 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10620

[startup+0.301178 s]
/proc/loadavg: 0.94 0.98 0.95 3/64 11268
/proc/meminfo: memFree=1982752/2055920 swapFree=4180276/4192956
[pid=11268] ppid=11266 vsize=5356 CPUtime=0.1
/proc/11268/stat : 11268 (SatELiteGTI) S 11266 11268 11148 0 -1 4194304 336 1395 0 0 0 0 9 1 16 0 1 0 304943288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11268/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 5356

[startup+0.701222 s]
/proc/loadavg: 0.94 0.98 0.95 3/64 11268
/proc/meminfo: memFree=1982752/2055920 swapFree=4180276/4192956
[pid=11268] ppid=11266 vsize=5356 CPUtime=0.1
/proc/11268/stat : 11268 (SatELiteGTI) S 11266 11268 11148 0 -1 4194304 336 1395 0 0 0 0 9 1 16 0 1 0 304943288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11268/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 5356

[startup+1.5013 s]
/proc/loadavg: 0.94 0.98 0.95 2/66 11274
/proc/meminfo: memFree=1975824/2055920 swapFree=4180276/4192956
[pid=11268] ppid=11266 vsize=5356 CPUtime=0.1
/proc/11268/stat : 11268 (SatELiteGTI) S 11266 11268 11148 0 -1 4194304 336 1395 0 0 0 0 9 1 16 0 1 0 304943288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11268/statm: 1339 239 197 169 0 50 0
[pid=11274] ppid=11268 vsize=6840 CPUtime=1.37
/proc/11274/stat : 11274 (minisat_static) R 11268 11268 11148 0 -1 4194304 1605 0 0 0 136 1 0 0 25 0 1 0 304943300 7004160 1591 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/11274/statm: 1710 1591 77 171 0 1537 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12196

[startup+3.10146 s]
/proc/loadavg: 0.95 0.98 0.95 2/66 11274
/proc/meminfo: memFree=1974608/2055920 swapFree=4180276/4192956
[pid=11268] ppid=11266 vsize=5356 CPUtime=0.1
/proc/11268/stat : 11268 (SatELiteGTI) S 11266 11268 11148 0 -1 4194304 336 1395 0 0 0 0 9 1 16 0 1 0 304943288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11268/statm: 1339 239 197 169 0 50 0
[pid=11274] ppid=11268 vsize=8660 CPUtime=2.97
/proc/11274/stat : 11274 (minisat_static) R 11268 11268 11148 0 -1 4194304 2032 0 0 0 296 1 0 0 25 0 1 0 304943300 8867840 2018 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/11274/statm: 2165 2018 77 171 0 1992 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 14016

[startup+6.30178 s]
/proc/loadavg: 0.95 0.98 0.95 2/66 11274
/proc/meminfo: memFree=1971856/2055920 swapFree=4180276/4192956
[pid=11268] ppid=11266 vsize=5356 CPUtime=0.1
/proc/11268/stat : 11268 (SatELiteGTI) S 11266 11268 11148 0 -1 4194304 336 1395 0 0 0 0 9 1 16 0 1 0 304943288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11268/statm: 1339 239 197 169 0 50 0
[pid=11274] ppid=11268 vsize=10804 CPUtime=6.16
/proc/11274/stat : 11274 (minisat_static) R 11268 11268 11148 0 -1 4194304 2572 0 0 0 615 1 0 0 25 0 1 0 304943300 11063296 2558 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11274/statm: 2701 2558 77 171 0 2528 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 16160

[startup+12.7024 s]
/proc/loadavg: 0.95 0.98 0.95 2/66 11274
/proc/meminfo: memFree=1968080/2055920 swapFree=4180276/4192956
[pid=11268] ppid=11266 vsize=5356 CPUtime=0.1
/proc/11268/stat : 11268 (SatELiteGTI) S 11266 11268 11148 0 -1 4194304 336 1395 0 0 0 0 9 1 16 0 1 0 304943288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11268/statm: 1339 239 197 169 0 50 0
[pid=11274] ppid=11268 vsize=14184 CPUtime=12.56
/proc/11274/stat : 11274 (minisat_static) R 11268 11268 11148 0 -1 4194304 3422 0 0 0 1254 2 0 0 25 0 1 0 304943300 14524416 3408 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11274/statm: 3546 3408 77 171 0 3373 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 19540

[startup+25.5017 s]
/proc/loadavg: 0.96 0.98 0.95 2/66 11274
/proc/meminfo: memFree=1962704/2055920 swapFree=4180276/4192956
[pid=11268] ppid=11266 vsize=5356 CPUtime=0.1
/proc/11268/stat : 11268 (SatELiteGTI) S 11266 11268 11148 0 -1 4194304 336 1395 0 0 0 0 9 1 16 0 1 0 304943288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11268/statm: 1339 239 197 169 0 50 0
[pid=11274] ppid=11268 vsize=19320 CPUtime=25.35
/proc/11274/stat : 11274 (minisat_static) R 11268 11268 11148 0 -1 4194304 4711 0 0 0 2531 4 0 0 25 0 1 0 304943300 19783680 4697 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11274/statm: 4830 4697 77 171 0 4657 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 24676

[startup+51.1013 s]
/proc/loadavg: 0.97 0.98 0.95 2/66 11274
/proc/meminfo: memFree=1959120/2055920 swapFree=4180276/4192956
[pid=11268] ppid=11266 vsize=5356 CPUtime=0.1
/proc/11268/stat : 11268 (SatELiteGTI) S 11266 11268 11148 0 -1 4194304 336 1395 0 0 0 0 9 1 16 0 1 0 304943288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11268/statm: 1339 239 197 169 0 50 0
[pid=11274] ppid=11268 vsize=22884 CPUtime=50.92
/proc/11274/stat : 11274 (minisat_static) R 11268 11268 11148 0 -1 4194304 5611 0 0 0 5087 5 0 0 25 0 1 0 304943300 23433216 5597 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/11274/statm: 5721 5597 77 171 0 5548 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 28240

[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 11274
/proc/meminfo: memFree=1958928/2055920 swapFree=4180276/4192956
[pid=11268] ppid=11266 vsize=5356 CPUtime=0.1
/proc/11268/stat : 11268 (SatELiteGTI) S 11266 11268 11148 0 -1 4194304 336 1395 0 0 0 0 9 1 16 0 1 0 304943288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11268/statm: 1339 239 197 169 0 50 0
[pid=11274] ppid=11268 vsize=23020 CPUtime=102.1
/proc/11274/stat : 11274 (minisat_static) R 11268 11268 11148 0 -1 4194304 5646 0 0 0 10204 6 0 0 25 0 1 0 304943300 23572480 5632 1992294400 134512640 135215339 4294956240 18446744073709551615 134528795 0 0 4096 3 0 0 0 17 1 0 0
/proc/11274/statm: 5755 5632 77 171 0 5582 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 28376

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 11274
/proc/meminfo: memFree=1958544/2055920 swapFree=4180276/4192956
[pid=11268] ppid=11266 vsize=5356 CPUtime=0.1
/proc/11268/stat : 11268 (SatELiteGTI) S 11266 11268 11148 0 -1 4194304 336 1395 0 0 0 0 9 1 16 0 1 0 304943288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11268/statm: 1339 239 197 169 0 50 0
[pid=11274] ppid=11268 vsize=23292 CPUtime=162.06
/proc/11274/stat : 11274 (minisat_static) R 11268 11268 11148 0 -1 4194304 5712 0 0 0 16200 6 0 0 25 0 1 0 304943300 23851008 5698 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11274/statm: 5823 5698 77 171 0 5650 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 28648

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 11274
/proc/meminfo: memFree=1957968/2055920 swapFree=4180276/4192956
[pid=11268] ppid=11266 vsize=5356 CPUtime=0.1
/proc/11268/stat : 11268 (SatELiteGTI) S 11266 11268 11148 0 -1 4194304 336 1395 0 0 0 0 9 1 16 0 1 0 304943288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11268/statm: 1339 239 197 169 0 50 0
[pid=11274] ppid=11268 vsize=23832 CPUtime=222.04
/proc/11274/stat : 11274 (minisat_static) R 11268 11268 11148 0 -1 4194304 5826 0 0 0 22197 7 0 0 25 0 1 0 304943300 24403968 5812 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11274/statm: 5958 5812 77 171 0 5785 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 29188

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 11276
/proc/meminfo: memFree=1957264/2055920 swapFree=4180276/4192956
[pid=11268] ppid=11266 vsize=5356 CPUtime=0.1
/proc/11268/stat : 11268 (SatELiteGTI) S 11266 11268 11148 0 -1 4194304 336 1395 0 0 0 0 9 1 16 0 1 0 304943288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11268/statm: 1339 239 197 169 0 50 0
[pid=11274] ppid=11268 vsize=24248 CPUtime=282.03
/proc/11274/stat : 11274 (minisat_static) R 11268 11268 11148 0 -1 4194304 5932 0 0 0 28195 8 0 0 25 0 1 0 304943300 24829952 5918 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/11274/statm: 6062 5918 77 171 0 5889 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 29604

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 11276
/proc/meminfo: memFree=1957072/2055920 swapFree=4180276/4192956
[pid=11268] ppid=11266 vsize=5356 CPUtime=0.1
/proc/11268/stat : 11268 (SatELiteGTI) S 11266 11268 11148 0 -1 4194304 336 1395 0 0 0 0 9 1 16 0 1 0 304943288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11268/statm: 1339 239 197 169 0 50 0
[pid=11274] ppid=11268 vsize=24524 CPUtime=342.01
/proc/11274/stat : 11274 (minisat_static) R 11268 11268 11148 0 -1 4194304 5992 0 0 0 34192 9 0 0 25 0 1 0 304943300 25112576 5978 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11274/statm: 6131 5978 77 171 0 5958 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 29880

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

[startup+358.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 11276
/proc/meminfo: memFree=1956880/2055920 swapFree=4180276/4192956
[pid=11268] ppid=11266 vsize=5356 CPUtime=0.1
/proc/11268/stat : 11268 (SatELiteGTI) S 11266 11268 11148 0 -1 4194304 336 1395 0 0 0 0 9 1 16 0 1 0 304943288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11268/statm: 1339 239 197 169 0 50 0
[pid=11274] ppid=11268 vsize=24656 CPUtime=358
/proc/11274/stat : 11274 (minisat_static) R 11268 11268 11148 0 -1 4194304 6033 0 0 0 35791 9 0 0 25 0 1 0 304943300 25247744 6019 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11274/statm: 6164 6019 77 171 0 5991 0
Current children cumulated CPU time (s) 358.1
Current children cumulated vsize (KiB) 30012

[startup+364.701 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 11276
/proc/meminfo: memFree=1956880/2055920 swapFree=4180276/4192956
[pid=11268] ppid=11266 vsize=5356 CPUtime=0.1
/proc/11268/stat : 11268 (SatELiteGTI) S 11266 11268 11148 0 -1 4194304 336 1395 0 0 0 0 9 1 16 0 1 0 304943288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11268/statm: 1339 239 197 169 0 50 0
[pid=11274] ppid=11268 vsize=24656 CPUtime=364.4
/proc/11274/stat : 11274 (minisat_static) R 11268 11268 11148 0 -1 4194304 6033 0 0 0 36431 9 0 0 25 0 1 0 304943300 25247744 6019 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/11274/statm: 6164 6019 77 171 0 5991 0
Current children cumulated CPU time (s) 364.5
Current children cumulated vsize (KiB) 30012

[startup+371.102 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 11276
/proc/meminfo: memFree=1956880/2055920 swapFree=4180276/4192956
[pid=11268] ppid=11266 vsize=5356 CPUtime=0.1
/proc/11268/stat : 11268 (SatELiteGTI) S 11266 11268 11148 0 -1 4194304 336 1395 0 0 0 0 9 1 16 0 1 0 304943288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11268/statm: 1339 239 197 169 0 50 0
[pid=11274] ppid=11268 vsize=24656 CPUtime=370.8
/proc/11274/stat : 11274 (minisat_static) R 11268 11268 11148 0 -1 4194304 6040 0 0 0 37071 9 0 0 25 0 1 0 304943300 25247744 6026 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11274/statm: 6164 6026 77 171 0 5991 0
Current children cumulated CPU time (s) 370.9
Current children cumulated vsize (KiB) 30012

[startup+374.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 11276
/proc/meminfo: memFree=1956816/2055920 swapFree=4180276/4192956
[pid=11268] ppid=11266 vsize=5356 CPUtime=0.1
/proc/11268/stat : 11268 (SatELiteGTI) S 11266 11268 11148 0 -1 4194304 336 1395 0 0 0 0 9 1 16 0 1 0 304943288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11268/statm: 1339 239 197 169 0 50 0
[pid=11274] ppid=11268 vsize=24656 CPUtime=374
/proc/11274/stat : 11274 (minisat_static) R 11268 11268 11148 0 -1 4194304 6047 0 0 0 37391 9 0 0 25 0 1 0 304943300 25247744 6033 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/11274/statm: 6164 6033 77 171 0 5991 0
Current children cumulated CPU time (s) 374.1
Current children cumulated vsize (KiB) 30012

[startup+375.901 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 11276
/proc/meminfo: memFree=1956816/2055920 swapFree=4180276/4192956
[pid=11268] ppid=11266 vsize=5356 CPUtime=0.1
/proc/11268/stat : 11268 (SatELiteGTI) S 11266 11268 11148 0 -1 4194304 336 1395 0 0 0 0 9 1 16 0 1 0 304943288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11268/statm: 1339 239 197 169 0 50 0
[pid=11274] ppid=11268 vsize=24792 CPUtime=375.61
/proc/11274/stat : 11274 (minisat_static) R 11268 11268 11148 0 -1 4194304 6051 0 0 0 37551 10 0 0 25 0 1 0 304943300 25387008 6037 1992294400 134512640 135215339 4294956240 18446744073709551615 134719036 0 0 4096 3 0 0 0 17 1 0 0
/proc/11274/statm: 6198 6037 77 171 0 6025 0
Current children cumulated CPU time (s) 375.71
Current children cumulated vsize (KiB) 30148

[startup+376.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 11276
/proc/meminfo: memFree=1956816/2055920 swapFree=4180276/4192956
[pid=11268] ppid=11266 vsize=5356 CPUtime=0.1
/proc/11268/stat : 11268 (SatELiteGTI) S 11266 11268 11148 0 -1 4194304 336 1395 0 0 0 0 9 1 16 0 1 0 304943288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11268/statm: 1339 239 197 169 0 50 0
[pid=11274] ppid=11268 vsize=24792 CPUtime=376.01
/proc/11274/stat : 11274 (minisat_static) R 11268 11268 11148 0 -1 4194304 6051 0 0 0 37591 10 0 0 25 0 1 0 304943300 25387008 6037 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11274/statm: 6198 6037 77 171 0 6025 0
Current children cumulated CPU time (s) 376.11
Current children cumulated vsize (KiB) 30148

[startup+376.501 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 11276
/proc/meminfo: memFree=1956816/2055920 swapFree=4180276/4192956
[pid=11268] ppid=11266 vsize=5356 CPUtime=0.1
/proc/11268/stat : 11268 (SatELiteGTI) S 11266 11268 11148 0 -1 4194304 336 1395 0 0 0 0 9 1 16 0 1 0 304943288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11268/statm: 1339 239 197 169 0 50 0
[pid=11274] ppid=11268 vsize=24792 CPUtime=376.21
/proc/11274/stat : 11274 (minisat_static) R 11268 11268 11148 0 -1 4194304 6051 0 0 0 37611 10 0 0 25 0 1 0 304943300 25387008 6037 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/11274/statm: 6198 6037 77 171 0 6025 0
Current children cumulated CPU time (s) 376.31
Current children cumulated vsize (KiB) 30148

[startup+376.602 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 11276
/proc/meminfo: memFree=1956816/2055920 swapFree=4180276/4192956
[pid=11268] ppid=11266 vsize=5356 CPUtime=0.1
/proc/11268/stat : 11268 (SatELiteGTI) S 11266 11268 11148 0 -1 4194304 336 1395 0 0 0 0 9 1 16 0 1 0 304943288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11268/statm: 1339 239 197 169 0 50 0
[pid=11274] ppid=11268 vsize=0 CPUtime=376.3
/proc/11274/stat : 11274 (minisat_static) R 11268 11268 11148 0 -1 4194308 6058 0 0 0 37620 10 0 0 25 0 1 0 304943300 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/11274/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 376.4
Current children cumulated vsize (KiB) 5356

Child status: 10
Real time (s): 376.61
CPU time (s): 376.441
CPU user time (s): 376.312
CPU system time (s): 0.12898
CPU usage (%): 99.955
Max. virtual memory (cumulated for all children) (KiB): 30148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 376.312
system time used= 0.12898
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8088
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= 49
involuntary context switches= 1842

runsolver used 0.476927 second user time and 0.990849 second system time

The end

Launcher Data

Begin job on node45 at 2009-05-19 23:39:14
IDJOB=1832101
IDBENCH=20485
IDSOLVER=671
FILE ID=node45/1832101-1242769154
PBS_JOBID= 9322255
Free space on /tmp= 66376 MiB

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

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

MD5SUM BENCH= c5b44b10975f50cd32d40650a6a22d18
RANDOM SEED=1339385833

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.231
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:       1983168 kB
Buffers:          6960 kB
Cached:          30984 kB
SwapCached:       6868 kB
Active:          18580 kB
Inactive:        28168 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1983168 kB
SwapTotal:     4192956 kB
SwapFree:      4180276 kB
Dirty:            2892 kB
Writeback:           0 kB
Mapped:          13948 kB
Slab:            11996 kB
Committed_AS:  1003520 kB
PageTables:       1380 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= 66376 MiB
End job on node45 at 2009-05-19 23:45:31