Trace number 1833951

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rbcl_xits_07_UNSAT.cnf
MD5SUM6419e2e5b92274df2e7e43e6c6a98566
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark120.643
Satisfiable
(Un)Satisfiability was proved
Number of variables1128
Number of clauses57446
Sum of the clauses size170514
Maximum clause length8
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21939
Number of clauses of size 355484
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

Solver Data 

0.00/0.00	c Parsing...
0.00/0.03	c ==============================================================================
0.00/0.03	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.03	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.03	c ==============================================================================
0.00/0.03	c |         0 |   57446   170514 |   17233       0        0     nan |  0.000 % |
0.00/0.40	c |         0 |   56659   238983 |      --       0       --      -- |     --   | -787/68469
0.00/0.40	c ==============================================================================
0.00/0.40	c Result  :   #vars: 636   #clauses: 56659   #literals: 238983
0.00/0.40	c CPU time:   0.39194 s
0.00/0.40	c ==============================================================================
0.00/0.47	c This is MiniSat 2.0 beta
0.00/0.47	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.47	c ============================[ Problem Statistics ]=============================
0.00/0.47	c |                                                                             |
0.00/0.48	c |  Number of variables:  636                                                  |
0.00/0.48	c |  Number of clauses:    56659                                                |
0.46/0.51	c |  Parsing time:         0.03         s                                       |
0.46/0.51	c ============================[ Search Statistics ]==============================
0.46/0.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.46/0.51	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.46/0.51	c ===============================================================================
0.46/0.51	c |         0 |     636    56659   238983 |    18886        0    nan |  0.000 % |
0.46/0.53	c |       101 |     636    56659   238983 |    18886      101     33 |  0.000 % |
0.46/0.55	c |       201 |     636    56659   238983 |    18886      201     30 |  0.000 % |
0.46/0.57	c |       301 |     636    56659   238983 |    18886      301     28 |  0.000 % |
0.46/0.60	c |       411 |     636    56659   238983 |    18886      411     27 |  0.000 % |
0.46/0.62	c |       516 |     636    56659   238983 |    18886      516     26 |  0.000 % |
0.46/0.65	c |       627 |     636    56659   238983 |    18886      627     26 |  0.000 % |
0.46/0.68	c |       749 |     636    56659   238983 |    18886      749     27 |  0.000 % |
0.46/0.71	c |       849 |     636    56659   238983 |    18886      849     27 |  0.000 % |
0.46/0.74	c |       960 |     636    56659   238983 |    18886      960     27 |  0.000 % |
0.46/0.77	c |      1081 |     636    56659   238983 |    18886     1081     27 |  0.000 % |
0.46/0.80	c |      1214 |     636    56659   238983 |    18886     1214     27 |  0.000 % |
0.46/0.83	c |      1315 |     636    56659   238983 |    18886     1315     26 |  0.000 % |
0.46/0.86	c |      1428 |     636    56659   238983 |    18886     1428     26 |  0.000 % |
0.46/0.89	c |      1549 |     636    56659   238983 |    18886     1549     25 |  0.000 % |
0.46/0.93	c |      1684 |     636    56659   238983 |    18886     1684     26 |  0.000 % |
0.46/0.96	c |      1832 |     636    56659   238983 |    18886     1832     25 |  0.000 % |
0.46/0.99	c |      1933 |     636    56659   238983 |    18886     1933     25 |  0.000 % |
0.97/1.02	c |      2044 |     636    56659   238983 |    18886     2044     25 |  0.002 % |
0.97/1.06	c |      2165 |     636    56659   238983 |    18886     2165     25 |  0.000 % |
0.97/1.09	c |      2298 |     636    56659   238983 |    18886     2298     25 |  0.000 % |
1.07/1.12	c |      2449 |     636    56659   238983 |    18886     2449     25 |  0.000 % |
1.07/1.17	c |      2611 |     636    56659   238983 |    18886     2611     25 |  0.000 % |
1.07/1.19	c |      2711 |     636    56659   238983 |    18886     2711     24 |  0.000 % |
1.16/1.22	c |      2824 |     636    56659   238983 |    18886     2824     24 |  0.000 % |
1.16/1.26	c |      2946 |     636    56659   238983 |    18886     2946     24 |  0.000 % |
1.16/1.29	c |      3079 |     636    56659   238983 |    18886     3079     24 |  0.000 % |
1.26/1.32	c |      3225 |     636    56659   238983 |    18886     3225     24 |  0.000 % |
1.26/1.36	c |      3386 |     636    56659   238983 |    18886     3386     24 |  0.000 % |
1.36/1.42	c |      3564 |     636    56659   238983 |    18886     3564     24 |  0.000 % |
1.36/1.44	c |      3665 |     636    56659   238983 |    18886     3665     24 |  0.000 % |
1.36/1.47	c |      3777 |     636    56659   238983 |    18886     3777     24 |  0.000 % |
1.46/1.50	c |      3898 |     636    56659   238983 |    18886     3898     24 |  0.000 % |
1.46/1.53	c |      4031 |     636    56659   238983 |    18886     4031     24 |  0.000 % |
1.46/1.57	c |      4178 |     636    56659   238983 |    18886     4178     24 |  0.000 % |
1.56/1.61	c |      4338 |     636    56659   238983 |    18886     4338     24 |  0.000 % |
1.56/1.66	c |      4514 |     636    56659   238983 |    18886     4514     24 |  0.000 % |
1.66/1.72	c |      4709 |     636    56659   238983 |    18886     4709     25 |  0.000 % |
1.66/1.74	c |      4811 |     636    56659   238983 |    18886     4811     25 |  0.000 % |
1.66/1.77	c |      4922 |     636    56659   238983 |    18886     4922     25 |  0.000 % |
1.66/1.79	c |      5044 |     636    56659   238983 |    18886     5044     25 |  0.000 % |
1.76/1.82	c |      5181 |     636    56659   238983 |    18886     5181     26 |  0.000 % |
1.76/1.86	c |      5328 |     636    56659   238983 |    18886     5328     26 |  0.000 % |
1.86/1.91	c |      5488 |     636    56659   238983 |    18886     5488     26 |  0.000 % |
1.86/1.96	c |      5664 |     636    56659   238983 |    18886     5664     26 |  0.000 % |
1.96/2.02	c |      5857 |     636    56659   238983 |    18886     5857     25 |  0.000 % |
1.96/2.09	c |      6070 |     636    56659   238983 |    18886     6070     25 |  0.000 % |
2.07/2.12	c |      6170 |     636    56659   238983 |    18886     6170     25 |  0.000 % |
2.07/2.15	c |      6281 |     636    56659   238983 |    18886     6281     25 |  0.000 % |
2.07/2.19	c |      6403 |     636    56659   238983 |    18886     6403     25 |  0.002 % |
2.16/2.23	c |      6537 |     636    56659   238983 |    18886     6537     25 |  0.000 % |
2.16/2.28	c |      6683 |     636    56659   238983 |    18886     6683     25 |  0.000 % |
2.26/2.32	c |      6844 |     636    56659   238983 |    18886     6844     25 |  0.002 % |
2.26/2.36	c |      7020 |     636    56659   238983 |    18886     7020     25 |  0.000 % |
2.36/2.41	c |      7213 |     636    56659   238983 |    18886     7213     26 |  0.000 % |
2.36/2.46	c |      7428 |     636    56659   238983 |    18886     7428     26 |  0.000 % |
2.46/2.51	c |      7661 |     636    56659   238983 |    18886     7661     26 |  0.000 % |
2.46/2.54	c |      7761 |     636    56659   238983 |    18886     7761     26 |  0.000 % |
2.46/2.56	c |      7874 |     636    56659   238983 |    18886     7874     26 |  0.000 % |
2.46/2.59	c |      7997 |     636    56659   238983 |    18886     7997     26 |  0.000 % |
2.56/2.62	c |      8131 |     636    56659   238983 |    18886     8131     27 |  0.000 % |
2.56/2.65	c |      8277 |     636    56659   238983 |    18886     8277     27 |  0.000 % |
2.56/2.69	c |      8439 |     636    56659   238983 |    18886     8439     27 |  0.000 % |
2.67/2.74	c |      8616 |     636    56659   238983 |    18886     8616     27 |  0.000 % |
2.67/2.78	c |      8810 |     636    56659   238983 |    18886     8810     27 |  0.000 % |
2.77/2.84	c |      9024 |     636    56659   238983 |    18886     9024     27 |  0.000 % |
2.87/2.92	c |      9257 |     636    56659   238983 |    18886     9257     27 |  0.000 % |
2.87/2.98	c |      9513 |     636    56659   238983 |    18886     9513     28 |  0.000 % |
2.97/3.01	c |      9615 |     636    56659   238983 |    18886     9615     28 |  0.000 % |
2.97/3.05	c |      9727 |     636    56659   238983 |    18886     9727     28 |  0.000 % |
2.97/3.09	c |      9848 |     636    56659   238983 |    18886     9848     28 |  0.000 % |
3.07/3.14	c |      9981 |     636    56659   238983 |    18886     9981     28 |  0.000 % |
3.17/3.20	c |     10127 |     636    56659   238983 | 2147483647    10127     28 |  0.000 % |
3.17/3.26	c |     10290 |     636    56659   238983 | 2147483647    10290     28 |  0.000 % |
3.27/3.32	c |     10466 |     636    56659   238983 | 2147483647    10466     28 |  0.000 % |
3.27/3.39	c |     10659 |     636    56659   238983 | 2147483647    10659     28 |  0.000 % |
3.37/3.46	c |     10871 |     636    56659   238983 | 2147483647    10871     28 |  0.000 % |
3.47/3.54	c |     11110 |     636    56659   238983 | 2147483647    11110     28 |  0.000 % |
3.57/3.64	c |     11367 |     636    56659   238983 | 2147483647    11367     27 |  0.000 % |
3.67/3.74	c |     11649 |     636    56659   238983 | 2147483647    11649     27 |  0.000 % |
3.67/3.78	c |     11750 |     636    56659   238983 | 2147483647    11750     27 |  0.000 % |
3.77/3.81	c |     11861 |     636    56659   238983 | 2147483647    11861     27 |  0.000 % |
3.77/3.85	c |     11982 |     636    56659   238983 | 2147483647    11982     27 |  0.000 % |
3.87/3.90	c |     12118 |     636    56659   238983 | 2147483647    12118     27 |  0.000 % |
3.87/3.95	c |     12265 |     636    56659   238983 | 2147483647    12265     27 |  0.000 % |
3.97/4.01	c |     12425 |     636    56659   238983 | 2147483647    12425     27 |  0.000 % |
3.97/4.07	c |     12602 |     636    56659   238983 | 2147483647    12602     27 |  0.000 % |
4.07/4.15	c |     12797 |     636    56659   238983 | 2147483647    12797     27 |  0.000 % |
4.17/4.21	c |     13014 |     636    56659   238983 | 2147483647    13014     27 |  0.000 % |
4.27/4.30	c |     13247 |     636    56659   238983 | 2147483647    13247     27 |  0.000 % |
4.27/4.38	c |     13505 |     636    56659   238983 | 2147483647    13505     27 |  0.000 % |
4.37/4.49	c |     13788 |     636    56659   238983 | 2147483647    13788     27 |  0.000 % |
4.56/4.62	c |     14100 |     636    56659   238983 | 2147483647    14100     27 |  0.000 % |
4.56/4.65	c |     14201 |     636    56659   238983 | 2147483647    14201     27 |  0.000 % |
4.56/4.68	c |     14311 |     636    56659   238983 | 2147483647    14311     27 |  0.000 % |
4.66/4.71	c |     14433 |     636    56659   238983 | 2147483647    14433     27 |  0.000 % |
4.66/4.75	c |     14568 |     636    56659   238983 | 2147483647    14568     27 |  0.000 % |
4.76/4.81	c |     14717 |     636    56659   238983 | 2147483647    14717     27 |  0.000 % |
4.76/4.87	c |     14877 |     636    56659   238983 | 2147483647    14877     27 |  0.000 % |
4.86/4.94	c |     15053 |     636    56659   238983 | 2147483647    15053     27 |  0.000 % |
4.96/5.01	c |     15246 |     636    56659   238983 | 2147483647    15246     27 |  0.000 % |
4.96/5.10	c |     15459 |     636    56659   238983 | 2147483647    15459     27 |  0.000 % |
5.16/5.20	c |     15693 |     636    56659   238983 | 2147483647    15693     27 |  0.000 % |
5.26/5.30	c |     15949 |     636    56659   238983 | 2147483647    15949     27 |  0.000 % |
5.37/5.43	c |     16234 |     636    56659   238983 | 2147483647    16234     27 |  0.000 % |
5.47/5.56	c |     16545 |     636    56659   238983 | 2147483647    16545     27 |  0.000 % |
5.56/5.70	c |     16884 |     636    56659   238983 | 2147483647    16884     27 |  0.000 % |
5.66/5.74	c |     16984 |     636    56659   238983 | 2147483647    16984     27 |  0.000 % |
5.66/5.79	c |     17096 |     636    56659   238983 | 2147483647    17096     27 |  0.000 % |
5.76/5.85	c |     17219 |     636    56659   238983 | 2147483647    17219     27 |  0.000 % |
5.86/5.91	c |     17352 |     636    56659   238983 | 2147483647    17352     27 |  0.000 % |
5.86/5.99	c |     17502 |     636    56659   238983 | 2147483647    17502     27 |  0.000 % |
5.96/6.06	c |     17662 |     636    56659   238983 | 2147483647    17662     27 |  0.000 % |
6.06/6.12	c |     17838 |     636    56659   238983 | 2147483647    17838     27 |  0.000 % |
6.06/6.19	c |     18031 |     636    56659   238983 | 2147483647    18031     27 |  0.000 % |
6.16/6.27	c |     18244 |     636    56659   238983 | 2147483647    18244     28 |  0.000 % |
6.26/6.37	c |     18478 |     636    56659   238983 | 2147483647    18478     28 |  0.000 % |
6.36/6.47	c |     18734 |     636    56659   238983 | 2147483647    18734     28 |  0.000 % |
6.57/6.60	c |     19019 |     636    56659   238983 | 2147483647    19019     28 |  0.000 % |
6.66/6.73	c |     19328 |     636    56659   238983 | 2147483647    19328     28 |  0.000 % |
6.76/6.88	c |     19667 |     636    56659   238983 | 2147483647    19667     28 |  0.000 % |
6.96/7.05	c |     20040 |     636    56659   238983 | 2147483647    20040     28 |  0.000 % |
6.96/7.09	c |     20140 |     636    56659   238983 | 2147483647    20140     28 |  0.000 % |
7.06/7.14	c |     20250 |     636    56659   238983 | 2147483647    20250     28 |  0.000 % |
7.16/7.20	c |     20371 |     636    56659   238983 | 2147483647    20371     28 |  0.000 % |
7.16/7.26	c |     20504 |     636    56659   238983 | 2147483647    20504     28 |  0.000 % |
7.26/7.34	c |     20650 |     636    56659   238983 | 2147483647    20650     28 |  0.000 % |
7.26/7.40	c |     20810 |     636    56659   238983 | 2147483647    20810     28 |  0.000 % |
7.36/7.46	c |     20986 |     636    56659   238983 | 2147483647    20986     28 |  0.000 % |
7.46/7.54	c |     21183 |     636    56659   238983 | 2147483647    21183     27 |  0.000 % |
7.56/7.63	c |     21397 |     636    56659   238983 | 2147483647    21397     27 |  0.000 % |
7.66/7.75	c |     21630 |     636    56659   238983 | 2147483647    21630     27 |  0.000 % |
7.76/7.87	c |     21887 |     636    56659   238983 | 2147483647    21887     27 |  0.000 % |
7.96/8.02	c |     22168 |     636    56659   238983 | 2147483647    22168     27 |  0.000 % |
8.06/8.13	c |     22478 |     636    56659   238983 | 2147483647    22478     27 |  0.000 % |
8.16/8.25	c |     22818 |     636    56659   238983 | 2147483647    22818     27 |  0.000 % |
8.36/8.40	c |     23193 |     636    56659   238983 | 2147483647    23193     27 |  0.000 % |
8.46/8.55	c |     23603 |     636    56659   238983 | 2147483647    23603     27 |  0.000 % |
8.46/8.58	c |     23703 |     636    56659   238983 | 2147483647    23703     28 |  0.000 % |
8.56/8.62	c |     23813 |     636    56659   238983 | 2147483647    23813     28 |  0.000 % |
8.56/8.66	c |     23934 |     636    56659   238983 | 2147483647    23934     28 |  0.000 % |
8.56/8.70	c |     24067 |     636    56659   238983 | 2147483647    24067     28 |  0.000 % |
8.66/8.77	c |     24213 |     636    56659   238983 | 2147483647    24213     28 |  0.000 % |
8.76/8.84	c |     24373 |     636    56659   238983 | 2147483647    24373     28 |  0.000 % |
8.86/8.91	c |     24551 |     636    56659   238983 | 2147483647    24551     28 |  0.000 % |
8.96/9.01	c |     24747 |     636    56659   238983 | 2147483647    24747     28 |  0.000 % |
9.06/9.13	c |     24961 |     636    56659   238983 | 2147483647    24961     28 |  0.000 % |
9.16/9.27	c |     25194 |     636    56659   238983 | 2147483647    25194     28 |  0.000 % |
9.36/9.40	c |     25450 |     636    56659   238983 | 2147483647    25450     28 |  0.000 % |
9.46/9.54	c |     25731 |     636    56659   238983 | 2147483647    25731     28 |  0.000 % |
9.56/9.69	c |     26040 |     636    56659   238983 | 2147483647    26040     27 |  0.000 % |
9.76/9.89	c |     26380 |     636    56659   238983 | 2147483647    26380     28 |  0.000 % |
9.96/10.08	c |     26753 |     636    56659   238983 | 2147483647    26753     28 |  0.000 % |
10.26/10.32	c |     27165 |     636    56659   238983 | 2147483647    27165     27 |  0.000 % |
10.46/10.55	c |     27614 |     636    56659   238983 | 2147483647    27614     27 |  0.000 % |
10.56/10.61	c |     27714 |     636    56659   238983 | 2147483647    27714     27 |  0.000 % |
10.56/10.67	c |     27826 |     636    56659   238983 | 2147483647    27826     27 |  0.000 % |
10.66/10.74	c |     27949 |     636    56659   238983 | 2147483647    27949     27 |  0.000 % |
10.76/10.81	c |     28082 |     636    56659   238983 | 2147483647    28082     27 |  0.000 % |
10.76/10.89	c |     28228 |     636    56659   238983 | 2147483647    28228     27 |  0.000 % |
10.86/10.98	c |     28391 |     636    56659   238983 | 2147483647    28391     27 |  0.000 % |
10.96/11.07	c |     28567 |     636    56659   238983 | 2147483647    28567     27 |  0.000 % |
11.06/11.19	c |     28761 |     636    56659   238983 | 2147483647    28761     28 |  0.000 % |
11.26/11.31	c |     28973 |     636    56659   238983 | 2147483647    28973     28 |  0.000 % |
11.36/11.41	c |     29206 |     636    56659   238983 | 2147483647    29206     28 |  0.000 % |
11.46/11.51	c |     29462 |     636    56659   238983 | 2147483647    29462     28 |  0.000 % |
11.56/11.62	c |     29745 |     636    56659   238983 | 2147483647    29745     28 |  0.000 % |
11.66/11.72	c |     30055 |     636    56659   238983 | 2147483647    30055     28 |  0.000 % |
11.86/11.94	c |     30394 |     636    56659   238983 | 2147483647    30394     28 |  0.000 % |
12.06/12.18	c |     30766 |     636    56659   238983 | 2147483647    30766     28 |  0.000 % |
12.37/12.41	c |     31175 |     636    56659   238983 | 2147483647    31175     28 |  0.000 % |
12.57/12.68	c |     31627 |     636    56659   238983 | 2147483647    31627     28 |  0.000 % |
12.87/12.97	c |     32120 |     636    56659   238983 | 2147483647    32120     28 |  0.000 % |
12.97/13.03	c |     32223 |     636    56659   238983 | 2147483647    32223     28 |  0.000 % |
12.97/13.09	c |     32334 |     636    56659   238983 | 2147483647    32334     28 |  0.000 % |
13.07/13.15	c |     32455 |     636    56659   238983 | 2147483647    32455     27 |  0.000 % |
13.17/13.21	c |     32591 |     636    56659   238983 | 2147483647    32591     27 |  0.000 % |
13.27/13.32	c |     32737 |     636    56659   238983 | 2147483647    32737     27 |  0.000 % |
13.37/13.42	c |     32897 |     636    56659   238983 | 2147483647    32897     27 |  0.000 % |
13.47/13.54	c |     33076 |     636    56659   238983 | 2147483647    33076     27 |  0.000 % |
13.57/13.67	c |     33270 |     636    56659   238983 | 2147483647    33270     28 |  0.000 % |
13.76/13.80	c |     33483 |     636    56659   238983 | 2147483647    33483     28 |  0.000 % |
13.86/13.96	c |     33717 |     636    56659   238983 | 2147483647    33717     28 |  0.000 % |
14.06/14.12	c |     33976 |     636    56659   238983 | 2147483647    33976     28 |  0.000 % |
14.27/14.31	c |     34257 |     636    56659   238983 | 2147483647    34257     28 |  0.000 % |
14.46/14.50	c |     34569 |     636    56659   238983 | 2147483647    34569     27 |  0.000 % |
14.66/14.73	c |     34909 |     636    56659   238983 | 2147483647    34909     28 |  0.000 % |
14.86/14.95	c |     35281 |     636    56659   238983 | 2147483647    35281     28 |  0.000 % |
15.06/15.16	c |     35692 |     636    56659   238983 | 2147483647    35692     27 |  0.000 % |
15.37/15.40	c |     36144 |     636    56659   238983 | 2147483647    36144     27 |  0.000 % |
15.66/15.76	c |     36637 |     636    56659   238983 | 2147483647    36637     27 |  0.000 % |
16.06/16.11	c |     37180 |     636    56659   238983 | 2147483647    37180     27 |  0.000 % |
16.06/16.19	c |     37280 |     636    56659   238983 | 2147483647    37280     27 |  0.000 % |
16.16/16.27	c |     37394 |     636    56659   238983 | 2147483647    37394     27 |  0.000 % |
16.26/16.34	c |     37515 |     636    56659   238983 | 2147483647    37515     27 |  0.000 % |
16.37/16.47	c |     37648 |     636    56659   238983 | 2147483647    37648     27 |  0.000 % |
16.47/16.55	c |     37795 |     636    56659   238983 | 2147483647    37795     27 |  0.000 % |
16.56/16.64	c |     37955 |     636    56659   238983 | 2147483647    37955     27 |  0.000 % |
16.66/16.76	c |     38132 |     636    56659   238983 | 2147483647    38132     27 |  0.000 % |
16.76/16.88	c |     38326 |     636    56659   238983 | 2147483647    38326     27 |  0.000 % |
16.96/17.01	c |     38542 |     636    56659   238983 | 2147483647    38542     27 |  0.000 % |
17.06/17.19	c |     38775 |     636    56659   238983 | 2147483647    38775     27 |  0.000 % |
17.26/17.38	c |     39032 |     636    56659   238983 | 2147483647    39032     27 |  0.000 % |
17.47/17.59	c |     39314 |     636    56659   238983 | 2147483647    39314     27 |  0.000 % |
17.66/17.79	c |     39623 |     636    56659   238983 | 2147483647    39623     27 |  0.000 % |
17.96/18.02	c |     39962 |     636    56659   238983 | 2147483647    39962     27 |  0.000 % |
18.16/18.26	c |     40334 |     636    56659   238983 | 2147483647    40334     28 |  0.000 % |
18.46/18.54	c |     40744 |     636    56659   238983 | 2147483647    40744     28 |  0.000 % |
18.76/18.85	c |     41193 |     636    56659   238983 | 2147483647    41193     28 |  0.000 % |
19.16/19.21	c |     41686 |     636    56659   238983 | 2147483647    41686     28 |  0.000 % |
19.46/19.59	c |     42228 |     636    56659   238983 | 2147483647    42228     28 |  0.000 % |
19.86/19.99	c |     42824 |     636    56659   238983 | 2147483647    42824     28 |  0.000 % |
19.96/20.04	c |     42930 |     636    56659   238983 | 2147483647    42930     28 |  0.000 % |
20.06/20.13	c |     43044 |     636    56659   238983 | 2147483647    43044     28 |  0.000 % |
20.16/20.23	c |     43166 |     636    56659   238983 | 2147483647    43166     28 |  0.000 % |
20.26/20.33	c |     43299 |     636    56659   238983 | 2147483647    43299     28 |  0.000 % |
20.36/20.43	c |     43445 |     636    56659   238983 | 2147483647    43445     28 |  0.000 % |
20.46/20.54	c |     43605 |     636    56659   238983 | 2147483647    43605     28 |  0.000 % |
20.56/20.66	c |     43781 |     636    56659   238983 | 2147483647    43781     28 |  0.000 % |
20.76/20.81	c |     43975 |     636    56659   238983 | 2147483647    43975     28 |  0.000 % |
20.86/20.96	c |     44189 |     636    56659   238983 | 2147483647    44189     28 |  0.000 % |
21.06/21.11	c |     44422 |     636    56659   238983 | 2147483647    44422     28 |  0.000 % |
21.16/21.29	c |     44678 |     636    56659   238983 | 2147483647    44678     28 |  0.000 % |
21.36/21.48	c |     44960 |     636    56659   238983 | 2147483647    44960     28 |  0.000 % |
21.56/21.69	c |     45270 |     636    56659   238983 | 2147483647    45270     28 |  0.000 % |
21.86/21.92	c |     45611 |     636    56659   238983 | 2147483647    45611     27 |  0.000 % |
22.06/22.17	c |     45983 |     636    56659   238983 | 2147483647    45983     27 |  0.000 % |
22.36/22.45	c |     46394 |     636    56659   238983 | 2147483647    46394     27 |  0.000 % |
22.66/22.74	c |     46846 |     636    56659   238983 | 2147483647    46846     27 |  0.000 % |
22.96/23.09	c |     47339 |     636    56659   238983 | 2147483647    47339     27 |  0.000 % |
23.36/23.49	c |     47881 |     636    56659   238983 | 2147483647    47881     27 |  0.000 % |
23.86/23.97	c |     48478 |     636    56659   238983 | 2147483647    48478     27 |  0.000 % |
24.36/24.42	c |     49135 |     636    56659   238983 | 2147483647    49135     27 |  0.000 % |
24.46/24.50	c |     49236 |     636    56659   238983 | 2147483647    49236     27 |  0.000 % |
24.46/24.59	c |     49346 |     636    56659   238983 | 2147483647    49346     27 |  0.000 % |
24.66/24.70	c |     49471 |     636    56659   238983 | 2147483647    49471     27 |  0.000 % |
24.76/24.80	c |     49604 |     636    56659   238983 | 2147483647    49604     27 |  0.000 % |
24.86/24.91	c |     49750 |     636    56659   238983 | 2147483647    49750     27 |  0.000 % |
24.96/25.05	c |     49911 |     636    56659   238983 | 2147483647    49911     27 |  0.000 % |
25.06/25.20	c |     50089 |     636    56659   238983 | 2147483647    50089     27 |  0.000 % |
25.27/25.38	c |     50283 |     636    56659   238983 | 2147483647    50283     27 |  0.000 % |
25.46/25.54	c |     50496 |     636    56659   238983 | 2147483647    50496     27 |  0.000 % |
25.66/25.72	c |     50732 |     636    56659   238983 | 2147483647    50732     27 |  0.000 % |
25.76/25.90	c |     50988 |     636    56659   238983 | 2147483647    50988     27 |  0.000 % |
26.06/26.11	c |     51269 |     636    56659   238983 | 2147483647    51269     27 |  0.000 % |
26.27/26.33	c |     51580 |     636    56659   238983 | 2147483647    51580     27 |  0.000 % |
26.56/26.67	c |     51919 |     636    56659   238983 | 2147483647    51919     27 |  0.000 % |
26.86/26.97	c |     52295 |     636    56659   238983 | 2147483647    52295     27 |  0.000 % |
27.26/27.33	c |     52704 |     636    56659   238983 | 2147483647    52704     27 |  0.000 % |
27.66/27.74	c |     53154 |     636    56659   238983 | 2147483647    53154     27 |  0.000 % |
28.06/28.16	c |     53647 |     636    56659   238983 | 2147483647    53647     27 |  0.000 % |
28.56/28.61	c |     54189 |     636    56659   238983 | 2147483647    54189     27 |  0.000 % |
29.06/29.17	c |     54786 |     636    56659   238983 | 2147483647    54786     27 |  0.000 % |
29.56/29.70	c |     55442 |     636    56659   238983 | 2147483647    55442     27 |  0.000 % |
30.16/30.28	c |     56170 |     636    56659   238983 | 2147483647    56170     27 |  0.000 % |
30.26/30.37	c |     56270 |     636    56659   238983 | 2147483647    56270     27 |  0.000 % |
30.36/30.45	c |     56383 |     636    56659   238983 | 2147483647    56383     27 |  0.000 % |
30.46/30.55	c |     56505 |     636    56659   238983 | 2147483647    56505     27 |  0.000 % |
30.56/30.69	c |     56638 |     636    56659   238983 | 2147483647    56638     27 |  0.000 % |
30.66/30.79	c |     56784 |     636    56659   238983 | 2147483647    56784     27 |  0.000 % |
30.86/30.94	c |     56944 |     636    56659   238983 | 2147483647    56944     27 |  0.000 % |
30.96/31.07	c |     57120 |     636    56659   238983 | 2147483647    57120     27 |  0.000 % |
31.16/31.20	c |     57313 |     636    56659   238983 | 2147483647    57313     27 |  0.000 % |
31.26/31.36	c |     57525 |     636    56659   238983 | 2147483647    57525     27 |  0.000 % |
31.56/31.60	c |     57758 |     636    56659   238983 | 2147483647    57758     27 |  0.000 % |
31.76/31.84	c |     58015 |     636    56659   238983 | 2147483647    58015     27 |  0.000 % |
32.06/32.15	c |     58296 |     636    56659   238983 | 2147483647    58296     27 |  0.000 % |
32.36/32.48	c |     58608 |     636    56659   238983 | 2147483647    58608     27 |  0.000 % |
32.66/32.79	c |     58947 |     636    56659   238983 | 2147483647    58947     27 |  0.000 % |
33.06/33.14	c |     59322 |     636    56659   238983 | 2147483647    59322     27 |  0.000 % |
33.46/33.50	c |     59731 |     636    56659   238983 | 2147483647    59731     27 |  0.000 % |
33.76/33.88	c |     60180 |     636    56659   238983 | 2147483647    60180     27 |  0.000 % |
34.26/34.36	c |     60675 |     636    56659   238983 | 2147483647    60675     27 |  0.000 % |
34.75/34.90	c |     61217 |     636    56659   238983 | 2147483647    61217     28 |  0.000 % |
35.45/35.50	c |     61813 |     636    56659   238983 | 2147483647    61813     28 |  0.000 % |
36.05/36.17	c |     62468 |     636    56659   238983 | 2147483647    62468     28 |  0.000 % |
36.75/36.86	c |     63189 |     636    56659   238983 | 2147483647    63189     28 |  0.000 % |
37.45/37.57	c |     63983 |     636    56659   238983 | 2147483647    63983     28 |  0.000 % |
37.55/37.66	c |     64086 |     636    56659   238983 | 2147483647    64086     28 |  0.000 % |
37.65/37.79	c |     64197 |     636    56659   238983 | 2147483647    64197     28 |  0.000 % |
37.85/37.91	c |     64318 |     636    56659   238983 | 2147483647    64318     28 |  0.000 % |
37.95/38.05	c |     64452 |     636    56659   238983 | 2147483647    64452     28 |  0.000 % |
38.15/38.20	c |     64600 |     636    56659   238983 | 2147483647    64600     28 |  0.000 % |
38.25/38.38	c |     64761 |     636    56659   238983 | 2147483647    64761     28 |  0.000 % |
38.46/38.59	c |     64937 |     636    56659   238983 | 2147483647    64937     28 |  0.000 % |
38.75/38.81	c |     65131 |     636    56659   238983 | 2147483647    65131     28 |  0.000 % |
38.95/39.05	c |     65345 |     636    56659   238983 | 2147483647    65345     28 |  0.000 % |
39.15/39.28	c |     65578 |     636    56659   238983 | 2147483647    65578     28 |  0.000 % |
39.56/39.61	c |     65835 |     636    56659   238983 | 2147483647    65835     28 |  0.000 % |
39.85/39.93	c |     66118 |     636    56659   238983 | 2147483647    66118     28 |  0.000 % |
40.15/40.25	c |     66427 |     636    56659   238983 | 2147483647    66427     28 |  0.000 % |
40.45/40.56	c |     66766 |     636    56659   238983 | 2147483647    66766     28 |  0.000 % |
40.85/40.96	c |     67138 |     636    56659   238983 | 2147483647    67138     28 |  0.000 % |
41.35/41.40	c |     67548 |     636    56659   238983 | 2147483647    67548     28 |  0.000 % |
41.85/41.93	c |     67998 |     636    56659   238983 | 2147483647    67998     28 |  0.000 % |
42.25/42.37	c |     68495 |     636    56659   238983 | 2147483647    68495     28 |  0.000 % |
42.85/42.97	c |     69037 |     636    56659   238983 | 2147483647    69037     28 |  0.000 % |
43.65/43.76	c |     69635 |     636    56659   238983 | 2147483647    69635     28 |  0.000 % |
44.45/44.56	c |     70292 |     636    56659   238983 | 2147483647    70292     28 |  0.000 % |
45.25/45.38	c |     71013 |     636    56659   238983 | 2147483647    71013     28 |  0.000 % |
46.36/46.42	c |     71806 |     636    56659   238983 | 2147483647    71806     28 |  0.000 % |
47.16/47.26	c |     72677 |     636    56659   238983 | 2147483647    72677     28 |  0.000 % |
47.26/47.36	c |     72779 |     636    56659   238983 | 2147483647    72779     28 |  0.000 % |
47.36/47.46	c |     72891 |     636    56659   238983 | 2147483647    72891     28 |  0.000 % |
47.56/47.62	c |     73012 |     636    56659   238983 | 2147483647    73012     28 |  0.000 % |
47.76/47.87	c |     73146 |     636    56659   238983 | 2147483647    73146     28 |  0.000 % |
47.96/48.07	c |     73293 |     636    56659   238983 | 2147483647    73293     28 |  0.000 % |
48.16/48.25	c |     73456 |     636    56659   238983 | 2147483647    73456     28 |  0.000 % |
48.36/48.46	c |     73632 |     636    56659   238983 | 2147483647    73632     28 |  0.000 % |
48.56/48.68	c |     73828 |     636    56659   238983 | 2147483647    73828     28 |  0.000 % |
48.85/48.90	c |     74043 |     636    56659   238983 | 2147483647    74043     28 |  0.000 % |
49.15/49.27	c |     74276 |     636    56659   238983 | 2147483647    74276     28 |  0.000 % |
49.46/49.58	c |     74536 |     636    56659   238983 | 2147483647    74536     28 |  0.000 % |
49.95/50.00	c |     74817 |     636    56659   238983 | 2147483647    74817     28 |  0.000 % |
50.25/50.37	c |     75127 |     636    56659   238983 | 2147483647    75127     28 |  0.000 % |
50.65/50.72	c |     75468 |     636    56659   238983 | 2147483647    75468     28 |  0.000 % |
51.05/51.11	c |     75841 |     636    56659   238983 | 2147483647    75841     28 |  0.000 % |
51.55/51.62	c |     76250 |     636    56659   238983 | 2147483647    76250     28 |  0.000 % |
52.15/52.27	c |     76702 |     636    56659   238983 | 2147483647    76702     28 |  0.000 % |
52.65/52.78	c |     77198 |     636    56659   238983 | 2147483647    77198     28 |  0.000 % |
53.35/53.41	c |     77741 |     636    56659   238983 | 2147483647    77741     28 |  0.000 % |
53.95/54.07	c |     78337 |     636    56659   238983 | 2147483647    78337     28 |  0.000 % |
54.65/54.77	c |     78992 |     636    56659   238983 | 2147483647    78992     28 |  0.000 % |
55.45/55.56	c |     79712 |     636    56659   238983 | 2147483647    79712     28 |  0.000 % |
56.35/56.45	c |     80505 |     636    56659   238983 | 2147483647    80505     28 |  0.000 % |
57.55/57.69	c |     81376 |     636    56659   238983 | 2147483647    81376     28 |  0.000 % |
58.75/58.84	c |     82335 |     636    56659   238983 | 2147483647    82335     28 |  0.000 % |
58.95/59.00	c |     82437 |     636    56659   238983 | 2147483647    82437     28 |  0.000 % |
59.05/59.14	c |     82547 |     636    56659   238983 | 2147483647    82547     28 |  0.000 % |
59.25/59.34	c |     82671 |     636    56659   238983 | 2147483647    82671     28 |  0.000 % |
59.45/59.54	c |     82811 |     636    56659   238983 | 2147483647    82811     28 |  0.000 % |
59.64/59.76	c |     82958 |     636    56659   238983 | 2147483647    82958     28 |  0.000 % |
59.84/59.98	c |     83118 |     636    56659   238983 | 2147483647    83118     28 |  0.000 % |
60.04/60.17	c |     83294 |     636    56659   238983 | 2147483647    83294     28 |  0.000 % |
60.35/60.40	c |     83487 |     636    56659   238983 | 2147483647    83487     28 |  0.000 % |
60.54/60.66	c |     83699 |     636    56659   238983 | 2147483647    83699     28 |  0.000 % |
60.84/60.95	c |     83932 |     636    56659   238983 | 2147483647    83932     28 |  0.000 % |
61.24/61.33	c |     84189 |     636    56659   238983 | 2147483647    84189     28 |  0.000 % |
61.56/61.68	c |     84472 |     636    56659   238983 | 2147483647    84472     28 |  0.000 % |
61.95/62.01	c |     84781 |     636    56659   238983 | 2147483647    84781     28 |  0.000 % |
62.25/62.40	c |     85123 |     636    56659   238983 | 2147483647    85123     28 |  0.000 % |
62.75/62.80	c |     85496 |     636    56659   238983 | 2147483647    85496     28 |  0.000 % |
63.25/63.32	c |     85905 |     636    56659   238983 | 2147483647    85905     28 |  0.000 % |
63.85/63.94	c |     86355 |     636    56659   238983 | 2147483647    86355     28 |  0.000 % |
64.45/64.53	c |     86848 |     636    56659   238983 | 2147483647    86848     28 |  0.000 % |
65.05/65.18	c |     87390 |     636    56659   238983 | 2147483647    87390     28 |  0.000 % |
65.75/65.82	c |     87987 |     636    56659   238983 | 2147483647    87987     28 |  0.000 % |
66.45/66.55	c |     88643 |     636    56659   238983 | 2147483647    88643     28 |  0.000 % |
67.45/67.58	c |     89363 |     636    56659   238983 | 2147483647    89363     28 |  0.000 % |
68.45/68.56	c |     90155 |     636    56659   238983 | 2147483647    90155     28 |  0.000 % |
69.65/69.74	c |     91031 |     636    56659   238983 | 2147483647    91031     28 |  0.000 % |
71.05/71.17	c |     91990 |     636    56659   238983 | 2147483647    91990     28 |  0.000 % |
72.75/72.80	c |     93043 |     636    56659   238983 | 2147483647    93043     28 |  0.000 % |
72.95/73.01	c |     93143 |     636    56659   238983 | 2147483647    93143     28 |  0.000 % |
73.15/73.23	c |     93254 |     636    56659   238983 | 2147483647    93254     28 |  0.000 % |
73.35/73.40	c |     93377 |     636    56659   238983 | 2147483647    93377     28 |  0.000 % |
73.55/73.62	c |     93513 |     636    56659   238983 | 2147483647    93513     28 |  0.000 % |
73.85/73.90	c |     93659 |     636    56659   238983 | 2147483647    93659     28 |  0.000 % |
74.05/74.17	c |     93819 |     636    56659   238983 | 2147483647    93819     28 |  0.000 % |
74.35/74.44	c |     93997 |     636    56659   238983 | 2147483647    93997     28 |  0.000 % |
74.65/74.71	c |     94190 |     636    56659   238983 | 2147483647    94190     28 |  0.000 % |
74.95/75.00	c |     94404 |     636    56659   238983 | 2147483647    94404     28 |  0.000 % |
75.25/75.32	c |     94637 |     636    56659   238983 | 2147483647    94637     28 |  0.000 % |
75.55/75.69	c |     94893 |     636    56659   238983 | 2147483647    94893     28 |  0.000 % |
76.05/76.16	c |     95176 |     636    56659   238983 | 2147483647    95176     28 |  0.000 % |
76.45/76.53	c |     95485 |     636    56659   238983 | 2147483647    95485     28 |  0.000 % |
76.85/76.99	c |     95826 |     636    56659   238983 | 2147483647    95826     28 |  0.000 % |
77.55/77.62	c |     96200 |     636    56659   238983 | 2147483647    96200     28 |  0.000 % |
78.15/78.20	c |     96609 |     636    56659   238983 | 2147483647    96609     28 |  0.000 % |
78.75/78.84	c |     97059 |     636    56659   238983 | 2147483647    97059     28 |  0.000 % |
79.54/79.65	c |     97553 |     636    56659   238983 | 2147483647    97553     28 |  0.000 % |
80.54/80.65	c |     98095 |     636    56659   238983 | 2147483647    98095     28 |  0.000 % |
81.64/81.71	c |     98691 |     636    56659   238983 | 2147483647    98691     28 |  0.000 % |
82.74/82.82	c |     99347 |     636    56659   238983 | 2147483647    99347     28 |  0.000 % |
83.94/84.02	c |    100067 |     636    56659   238983 | 2147483647   100067     28 |  0.000 % |
85.34/85.45	c |    100859 |     636    56659   238983 | 2147483647   100859     28 |  0.000 % |
86.64/86.77	c |    101730 |     636    56659   238983 | 2147483647   101730     28 |  0.000 % |
88.54/88.60	c |    102689 |     636    56659   238983 | 2147483647   102689     28 |  0.000 % |
89.94/90.04	c |    103744 |     636    56659   238983 | 2147483647   103744     28 |  0.000 % |
91.64/91.75	c |    104903 |     636    56659   238983 | 2147483647   104903     28 |  0.000 % |
91.74/91.88	c |    105004 |     636    56659   238983 | 2147483647   105004     28 |  0.000 % |
92.04/92.18	c |    105115 |     636    56659   238983 | 2147483647   105115     28 |  0.000 % |
92.34/92.44	c |    105237 |     636    56659   238983 | 2147483647   105237     28 |  0.000 % |
92.54/92.64	c |    105371 |     636    56659   238983 | 2147483647   105371     28 |  0.000 % |
92.74/92.87	c |    105521 |     636    56659   238983 | 2147483647   105521     28 |  0.000 % |
93.04/93.17	c |    105681 |     636    56659   238983 | 2147483647   105681     28 |  0.000 % |
93.35/93.48	c |    105861 |     636    56659   238983 | 2147483647   105861     28 |  0.000 % |
93.64/93.76	c |    106054 |     636    56659   238983 | 2147483647   106054     28 |  0.000 % |
94.24/94.30	c |    106266 |     636    56659   238983 | 2147483647   106266     28 |  0.000 % |
94.64/94.79	c |    106499 |     636    56659   238983 | 2147483647   106499     28 |  0.000 % |
95.14/95.23	c |    106755 |     636    56659   238983 | 2147483647   106755     28 |  0.000 % |
95.55/95.68	c |    107041 |     636    56659   238983 | 2147483647   107041     28 |  0.000 % |
96.14/96.24	c |    107352 |     636    56659   238983 | 2147483647   107352     28 |  0.000 % |
96.65/96.79	c |    107691 |     636    56659   238983 | 2147483647   107691     28 |  0.000 % |
97.24/97.36	c |    108064 |     636    56659   238983 | 2147483647   108064     28 |  0.000 % |
98.04/98.15	c |    108476 |     636    56659   238983 | 2147483647   108476     28 |  0.000 % |
98.85/98.93	c |    108927 |     636    56659   238983 | 2147483647   108927     28 |  0.000 % |
99.64/99.74	c |    109421 |     636    56659   238983 | 2147483647   109421     28 |  0.000 % |
100.44/100.57	c |    109965 |     636    56659   238983 | 2147483647   109965     28 |  0.000 % |
101.44/101.52	c |    110562 |     636    56659   238983 | 2147483647   110562     28 |  0.000 % |
102.74/102.84	c |    111217 |     636    56659   238983 | 2147483647   111217     28 |  0.000 % |
104.04/104.17	c |    111938 |     636    56659   238983 | 2147483647   111938     28 |  0.000 % |
105.54/105.65	c |    112730 |     636    56659   238983 | 2147483647   112730     28 |  0.000 % |
107.03/107.15	c |    113602 |     636    56659   238983 | 2147483647   113602     28 |  0.000 % |
108.63/108.76	c |    114560 |     636    56659   238983 | 2147483647   114560     28 |  0.000 % |
111.04/111.14	c |    115613 |     636    56659   238983 | 2147483647   115613     28 |  0.000 % |
113.34/113.44	c |    116772 |     636    56659   238983 | 2147483647   116772     28 |  0.000 % |
115.84/115.99	c |    118047 |     636    56659   238983 | 2147483647   118047     28 |  0.000 % |
116.14/116.29	c |    118150 |     636    56659   238983 | 2147483647   118150     28 |  0.000 % |
116.44/116.55	c |    118260 |     636    56659   238983 | 2147483647   118260     28 |  0.000 % |
116.64/116.76	c |    118383 |     636    56659   238983 | 2147483647   118383     28 |  0.000 % |
116.84/116.97	c |    118518 |     636    56659   238983 | 2147483647   118518     28 |  0.000 % |
117.24/117.33	c |    118665 |     636    56659   238983 | 2147483647   118665     28 |  0.000 % |
117.54/117.63	c |    118825 |     636    56659   238983 | 2147483647   118825     28 |  0.000 % |
117.94/118.02	c |    119003 |     636    56659   238983 | 2147483647   119003     28 |  0.000 % |
118.34/118.46	c |    119199 |     636    56659   238983 | 2147483647   119199     28 |  0.000 % |
118.74/118.88	c |    119411 |     636    56659   238983 | 2147483647   119411     28 |  0.000 % |
119.24/119.37	c |    119647 |     636    56659   238983 | 2147483647   119647     28 |  0.000 % |
119.74/119.89	c |    119906 |     636    56659   238983 | 2147483647   119906     28 |  0.000 % |
120.24/120.36	c |    120189 |     636    56659   238983 | 2147483647   120189     28 |  0.000 % |
120.94/121.00	c |    120498 |     636    56659   238983 | 2147483647   120498     28 |  0.000 % |
121.73/121.84	c |    120839 |     636    56659   238983 | 2147483647   120839     28 |  0.000 % |
122.53/122.68	c |    121212 |     636    56659   238983 | 2147483647   121212     28 |  0.000 % |
123.23/123.38	c |    121622 |     636    56659   238983 | 2147483647   121622     28 |  0.000 % |
124.03/124.11	c |    122071 |     636    56659   238983 | 2147483647   122071     28 |  0.000 % |
125.13/125.28	c |    122564 |     636    56659   238983 | 2147483647   122564     28 |  0.000 % |
126.33/126.48	c |    123106 |     636    56659   238983 | 2147483647   123106     28 |  0.000 % |
127.54/127.61	c |    123702 |     636    56659   238983 | 2147483647   123702     28 |  0.000 % |
128.93/129.03	c |    124359 |     636    56659   238983 | 2147483647   124359     28 |  0.000 % |
130.33/130.43	c |    125080 |     636    56659   238983 | 2147483647   125080     28 |  0.000 % |
132.03/132.17	c |    125874 |     636    56659   238983 | 2147483647   125874     28 |  0.000 % |
134.03/134.19	c |    126746 |     636    56659   238983 | 2147483647   126746     28 |  0.000 % |
136.34/136.45	c |    127707 |     636    56659   238983 | 2147483647   127707     28 |  0.000 % |
138.54/138.61	c |    128761 |     636    56659   238983 | 2147483647   128761     28 |  0.000 % |
140.73/140.89	c |    129919 |     636    56659   238983 | 2147483647   129919     28 |  0.000 % |
143.63/143.75	c |    131193 |     636    56659   238983 | 2147483647   131193     28 |  0.000 % |
146.83/146.93	c |    132595 |     636    56659   238983 | 2147483647   132595     28 |  0.000 % |
147.03/147.12	c |    132695 |     636    56659   238983 | 2147483647   132695     28 |  0.000 % |
147.23/147.36	c |    132806 |     636    56659   238983 | 2147483647   132806     28 |  0.000 % |
147.43/147.55	c |    132928 |     636    56659   238983 | 2147483647   132928     28 |  0.000 % |
147.73/147.84	c |    133061 |     636    56659   238983 | 2147483647   133061     28 |  0.000 % |
147.93/148.08	c |    133210 |     636    56659   238983 | 2147483647   133210     28 |  0.000 % |
148.23/148.37	c |    133370 |     636    56659   238983 | 2147483647   133370     28 |  0.000 % |
148.53/148.68	c |    133546 |     636    56659   238983 | 2147483647   133546     28 |  0.000 % |
148.83/148.99	c |    133742 |     636    56659   238983 | 2147483647   133742     28 |  0.000 % |
149.23/149.39	c |    133954 |     636    56659   238983 | 2147483647   133954     28 |  0.000 % |
149.73/149.80	c |    134187 |     636    56659   238983 | 2147483647   134187     28 |  0.000 % |
150.13/150.24	c |    134443 |     636    56659   238983 | 2147483647   134443     28 |  0.000 % |
150.63/150.80	c |    134725 |     636    56659   238983 | 2147483647   134725     28 |  0.000 % |
151.23/151.38	c |    135034 |     636    56659   238983 | 2147483647   135034     28 |  0.000 % |
151.73/151.86	c |    135373 |     636    56659   238983 | 2147483647   135373     28 |  0.000 % |
152.12/152.27	c |    135745 |     636    56659   238983 | 2147483647   135745     28 |  0.000 % |
152.62/152.71	c |    136156 |     636    56659   238983 | 2147483647   136156     28 |  0.000 % |
154.62/154.71	c |    136607 |     636    56659   238983 | 2147483647   136607     28 |  0.000 % |
156.52/156.61	c |    137102 |     636    56659   238983 | 2147483647   137102     27 |  0.000 % |
157.23/157.38	c |    137644 |     636    56659   238983 | 2147483647   137644     27 |  0.000 % |
158.92/159.03	c |    138240 |     636    56659   238983 | 2147483647   138240     27 |  0.000 % |
160.62/160.72	c |    138895 |     636    56659   238983 | 2147483647   138895     27 |  0.000 % |
162.62/162.71	c |    139618 |     636    56659   238983 | 2147483647   139618     27 |  0.000 % |
164.22/164.31	c |    140410 |     636    56659   238983 | 2147483647   140410     27 |  0.000 % |
167.02/167.16	c |    141282 |     636    56659   238983 | 2147483647   141282     27 |  0.000 % |
170.52/170.61	c |    142241 |     636    56659   238983 | 2147483647   142241     27 |  0.000 % |
173.21/173.32	c |    143295 |     636    56659   238983 | 2147483647   143295     27 |  0.000 % |
176.32/176.42	c |    144455 |     636    56659   238983 | 2147483647   144455     27 |  0.000 % |
177.42/177.57	c |    145733 |     636    56659   238983 | 2147483647   145733     27 |  0.000 % |
178.92/179.08	c |    147136 |     636    56659   238983 | 2147483647   147136     27 |  0.002 % |
185.52/185.65	c |    148679 |     636    56659   238983 | 2147483647   148679     27 |  0.000 % |
185.82/185.91	c |    148782 |     636    56659   238983 | 2147483647   148782     27 |  0.000 % |
186.12/186.20	c |    148893 |     636    56659   238983 | 2147483647   148893     27 |  0.000 % |
186.32/186.42	c |    149015 |     636    56659   238983 | 2147483647   149015     27 |  0.000 % |
187.12/187.29	c |    149148 |     636    56659   238983 | 2147483647   149148     27 |  0.000 % |
188.02/188.19	c |    149295 |     636    56659   238983 | 2147483647   149295     27 |  0.000 % |
189.02/189.11	c |    149457 |     636    56659   238983 | 2147483647   149457     27 |  0.000 % |
189.92/190.04	c |    149634 |     636    56659   238983 | 2147483647   149634     27 |  0.000 % |
191.12/191.27	c |    149829 |     636    56659   238983 | 2147483647   149829     27 |  0.000 % |
192.22/192.31	c |    150041 |     636    56659   238983 |   150000   150041     27 |  0.000 % |
193.42/193.56	c |    150275 |     636    56659   238983 |   150000   125119     27 |  0.000 % |
195.12/195.22	c |    150532 |     636    56659   238983 |   150000   125376     27 |  0.000 % |
196.12/196.23	c |    150815 |     636    56659   238983 |   150000   125659     27 |  0.000 % |
197.32/197.45	c |    151125 |     636    56659   238983 |   150000   125969     27 |  0.000 % |
197.61/197.76	c |    151464 |     636    56659   238983 |   150000   126308     27 |  0.000 % |
198.01/198.11	c |    151837 |     636    56659   238983 |   150000   126681     27 |  0.000 % |
198.51/198.61	c |    152247 |     636    56659   238983 |   150000   127091     27 |  0.000 % |
200.51/200.63	c |    152696 |     636    56659   238983 |   150000   127540     27 |  0.000 % |
203.21/203.39	c |    153189 |     636    56659   238983 |   150000   128033     27 |  0.000 % |
204.21/204.35	c |    153731 |     636    56659   238983 |   150000   128575     27 |  0.000 % |
207.41/207.51	c |    154327 |     636    56659   238983 |   150000   129171     27 |  0.000 % |
211.21/211.34	c |    154982 |     636    56659   238983 |   150000   129826     27 |  0.000 % |
215.51/215.68	c |    155702 |     636    56659   238983 |   150000   130546     27 |  0.000 % |
220.11/220.26	c |    156494 |     636    56659   238983 |   150000   131338     27 |  0.000 % |
226.10/226.20	c |    157365 |     636    56659   238983 |   150000   132209     27 |  0.000 % |
231.70/231.82	c |    158328 |     636    56659   238983 |   150000   133172     27 |  0.000 % |
237.51/237.66	c |    159381 |     636    56659   238983 |   150000   134225     27 |  0.000 % |
245.80/245.98	c |    160541 |     636    56659   238983 |   134844    97140     26 |  0.000 % |
251.70/251.83	c |    161814 |     636    56659   238983 |   134844    98413     26 |  0.000 % |
257.59/257.74	c |    163214 |     636    56659   238983 |   134844    99813     26 |  0.000 % |
263.90/264.04	c |    164754 |     636    56659   238983 |   134844   101353     26 |  0.000 % |
271.09/271.20	c |    166448 |     636    56659   238983 |   134844   103047     26 |  0.000 % |
271.50/271.60	c |    166550 |     636    56659   238983 |   134844   103149     26 |  0.000 % |
272.09/272.27	c |    166663 |     636    56659   238983 |   134844   103262     26 |  0.000 % |
272.60/272.75	c |    166785 |     636    56659   238983 |   134844   103384     26 |  0.000 % |
272.89/273.05	c |    166918 |     636    56659   238983 |   134844   103517     26 |  0.000 % |
273.59/273.75	c |    167066 |     636    56659   238983 |   134844   103665     26 |  0.000 % |
273.80/273.93	c |    167229 |     636    56659   238983 |   134844   103828     26 |  0.000 % |
274.19/274.30	c |    167407 |     636    56659   238983 |   134844   104006     26 |  0.000 % |
274.29/274.47	c |    167600 |     636    56659   238983 |   134844   104199     26 |  0.000 % |
274.49/274.63	c |    167812 |     636    56659   238983 |   134844   104411     26 |  0.000 % |
274.69/274.83	c |    168045 |     636    56659   238983 |   134844   104644     26 |  0.000 % |
275.59/275.71	c |    168301 |     636    56659   238983 |   134844   104900     26 |  0.000 % |
276.89/277.04	c |    168582 |     636    56659   238983 |   134844   105181     26 |  0.000 % |
277.59/277.77	c |    168891 |     636    56659   238983 |   134844   105490     26 |  0.000 % |
279.29/279.47	c |    169231 |     636    56659   238983 |   134844   105830     26 |  0.000 % |
281.29/281.42	c |    169603 |     636    56659   238983 |   134844   106202     26 |  0.000 % |
282.79/282.94	c |    170012 |     636    56659   238983 |   106603   106611     26 |  0.000 % |
285.49/285.63	c |    170461 |     636    56659   238983 |   106603    78975     25 |  0.000 % |
286.89/287.08	c |    170954 |     636    56659   238983 |   106603    79468     25 |  0.000 % |
287.69/287.86	c |    171496 |     636    56659   238983 |   106603    80010     25 |  0.000 % |
289.19/289.34	c |    172095 |     636    56659   238983 |   106603    80609     25 |  0.000 % |
290.99/291.20	c |    172750 |     636    56659   238983 |   106603    81264     25 |  0.000 % |
292.39/292.57	c |    173471 |     636    56659   238983 |   106603    81985     25 |  0.000 % |
294.69/294.84	c |    174263 |     636    56659   238983 |   106603    82777     25 |  0.000 % |
297.68/297.84	c |    175134 |     636    56659   238983 |   106603    83648     25 |  0.000 % |
299.48/299.66	c |    176093 |     636    56659   238983 |   106603    84607     25 |  0.000 % |
302.99/303.17	c |    177147 |     636    56659   238983 |   106603    85661     25 |  0.000 % |
306.49/306.67	c |    178306 |     636    56659   238983 |   106603    86820     26 |  0.000 % |
309.09/309.24	c |    179580 |     636    56659   238983 |   106603    88094     26 |  0.000 % |
312.99/313.12	c |    180981 |     636    56659   238983 |    88514    67554     25 |  0.000 % |
316.39/316.52	c |    182521 |     636    56659   238983 |    88514    69094     26 |  0.000 % |
318.69/318.90	c |    184216 |     636    56659   238983 |    88514    70789     26 |  0.000 % |
322.49/322.65	c |    186079 |     636    56659   238983 |    88514    72652     26 |  0.000 % |
322.69/322.88	c |    186179 |     636    56659   238983 |    88514    72752     26 |  0.000 % |
322.99/323.12	c |    186289 |     636    56659   238983 |    88514    72862     26 |  0.000 % |
323.19/323.38	c |    186411 |     636    56659   238983 |    88514    72984     26 |  0.000 % |
323.49/323.63	c |    186544 |     636    56659   238983 |    88514    73117     26 |  0.000 % |
323.89/324.01	c |    186690 |     636    56659   238983 |    88514    73263     26 |  0.000 % |
324.19/324.34	c |    186851 |     636    56659   238983 |    88514    73424     26 |  0.000 % |
324.59/324.72	c |    187028 |     636    56659   238983 |    88514    73601     26 |  0.000 % |
324.99/325.15	c |    187221 |     636    56659   238983 |    88514    73794     26 |  0.000 % |
325.49/325.62	c |    187433 |     636    56659   238983 |    88514    74006     26 |  0.000 % |
325.99/326.17	c |    187666 |     636    56659   238983 |    88514    74239     26 |  0.000 % |
326.49/326.70	c |    187925 |     636    56659   238983 |    88514    74498     26 |  0.000 % |
327.08/327.26	c |    188208 |     636    56659   238983 |    88514    74781     26 |  0.000 % |
327.69/327.86	c |    188518 |     636    56659   238983 |    88514    75091     26 |  0.000 % |
328.48/328.68	c |    188859 |     636    56659   238983 |    88514    75432     26 |  0.000 % |
329.28/329.49	c |    189231 |     636    56659   238983 |    88514    75804     26 |  0.000 % |
330.28/330.41	c |    189643 |     636    56659   238983 |    88514    76216     26 |  0.000 % |
331.18/331.36	c |    190093 |     636    56659   238983 | 2147483647    76666     26 |  0.000 % |
332.38/332.58	c |    190586 |     636    56659   238983 | 2147483647    77159     26 |  0.000 % |
333.98/334.13	c |    191131 |     636    56659   238983 | 2147483647    77704     26 |  0.000 % |
334.58/334.75	c |    191730 |     636    56659   238983 | 2147483647    78303     26 |  0.000 % |
336.18/336.39	c |    192385 |     636    56659   238983 | 2147483647    78958     26 |  0.000 % |
337.88/338.09	c |    193105 |     636    56659   238983 | 2147483647    79678     27 |  0.000 % |
339.98/340.15	c |    193897 |     636    56659   238983 | 2147483647    80470     27 |  0.000 % |
342.08/342.21	c |    194768 |     636    56659   238983 | 2147483647    81341     27 |  0.000 % |
344.08/344.20	c |    195729 |     636    56659   238983 | 2147483647    82302     27 |  0.000 % |
346.18/346.39	c |    196785 |     636    56659   238983 | 2147483647    83358     27 |  0.000 % |
348.78/348.94	c |    197947 |     636    56659   238983 | 2147483647    84520     26 |  0.000 % |
351.68/351.84	c |    199220 |     636    56659   238983 | 2147483647    85793     26 |  0.000 % |
354.98/355.11	c |    200621 |     636    56659   238983 | 2147483647    87194     26 |  0.000 % |
357.77/357.90	c |    202161 |     636    56659   238983 | 2147483647    88734     26 |  0.000 % |
360.87/361.05	c |    203857 |     636    56659   238983 | 2147483647    90430     26 |  0.000 % |
364.27/364.48	c |    205722 |     636    56659   238983 | 2147483647    92295     26 |  0.000 % |
369.27/369.44	c |    207771 |     636    56659   238983 | 2147483647    94344     26 |  0.000 % |
369.47/369.68	c |    207874 |     636    56659   238983 | 2147483647    94447     26 |  0.002 % |
369.77/369.96	c |    207985 |     636    56659   238983 | 2147483647    94558     26 |  0.000 % |
370.07/370.24	c |    208109 |     636    56659   238983 | 2147483647    94682     26 |  0.000 % |
370.37/370.54	c |    208242 |     636    56659   238983 | 2147483647    94815     26 |  0.000 % |
370.67/370.89	c |    208388 |     636    56659   238983 | 2147483647    94961     26 |  0.000 % |
371.17/371.33	c |    208549 |     636    56659   238983 | 2147483647    95122     26 |  0.000 % |
371.67/371.83	c |    208725 |     636    56659   238983 | 2147483647    95298     26 |  0.000 % |
372.07/372.24	c |    208918 |     636    56659   238983 | 2147483647    95491     26 |  0.000 % |
372.57/372.78	c |    209131 |     636    56659   238983 | 2147483647    95704     26 |  0.000 % |
373.27/373.45	c |    209367 |     636    56659   238983 | 2147483647    95940     27 |  0.000 % |
373.87/374.06	c |    209623 |     636    56659   238983 | 2147483647    96196     27 |  0.000 % |
374.57/374.76	c |    209908 |     636    56659   238983 | 2147483647    96481     27 |  0.000 % |
375.27/375.49	c |    210219 |     636    56659   238983 | 2147483647    96792     27 |  0.000 % |
376.17/376.30	c |    210558 |     636    56659   238983 | 2147483647    97131     27 |  0.000 % |
377.07/377.20	c |    210931 |     636    56659   238983 | 2147483647    97504     27 |  0.000 % |
377.57/377.79	c |    211340 |     636    56659   238983 | 2147483647    97913     27 |  0.000 % |
378.97/379.11	c |    211789 |     636    56659   238983 | 2147483647    98362     27 |  0.000 % |
380.17/380.38	c |    212284 |     636    56659   238983 | 2147483647    98857     27 |  0.000 % |
381.37/381.59	c |    212827 |     636    56659   238983 | 2147483647    99400     27 |  0.000 % |
382.76/382.95	c |    213423 |     636    56659   238983 | 2147483647    99996     27 |  0.000 % |
384.27/384.47	c |    214078 |     636    56659   238983 | 2147483647   100651     27 |  0.000 % |
386.16/386.39	c |    214800 |     636    56659   238983 | 2147483647   101373     27 |  0.000 % |
388.07/388.29	c |    215592 |     636    56659   238983 | 2147483647   102165     27 |  0.000 % |
390.56/390.77	c |    216463 |     636    56659   238983 | 2147483647   103036     27 |  0.000 % |
393.06/393.20	c |    217421 |     636    56659   238983 | 2147483647   103994     27 |  0.000 % |
395.66/395.80	c |    218474 |     636    56659   238983 | 2147483647   105047     27 |  0.000 % |
398.46/398.70	c |    219635 |     636    56659   238983 | 2147483647   106208     27 |  0.000 % |
401.26/401.49	c |    220909 |     636    56659   238983 |   106576    96797     27 |  0.000 % |
403.86/404.04	c |    222310 |     636    56659   238983 |   106576    98198     27 |  0.000 % |
406.36/406.52	c |    223851 |     636    56659   238983 |   106576    99739     27 |  0.000 % |
409.25/409.48	c |    225546 |     636    56659   238983 |   106576   101434     27 |  0.000 % |
413.05/413.24	c |    227409 |     636    56659   238983 |   106576   103297     27 |  0.000 % |
417.15/417.38	c |    229459 |     636    56659   238983 |   106576   105347     27 |  0.000 % |
421.45/421.63	c |    231713 |     636    56659   238983 | 2147483647   107601     27 |  0.000 % |
421.65/421.81	c |    231814 |     636    56659   238983 | 2147483647   107702     27 |  0.000 % |
421.85/422.05	c |    231924 |     636    56659   238983 | 2147483647   107812     27 |  0.000 % |
422.05/422.29	c |    232049 |     636    56659   238983 | 2147483647   107937     27 |  0.000 % |
422.35/422.58	c |    232183 |     636    56659   238983 | 2147483647   108071     27 |  0.000 % |
422.65/422.86	c |    232329 |     636    56659   238983 | 2147483647   108217     27 |  0.000 % |
423.05/423.21	c |    232489 |     636    56659   238983 | 2147483647   108377     27 |  0.000 % |
423.35/423.59	c |    232667 |     636    56659   238983 | 2147483647   108555     27 |  0.000 % |
423.75/423.94	c |    232860 |     636    56659   238983 | 2147483647   108748     27 |  0.000 % |
424.15/424.34	c |    233072 |     636    56659   238983 | 2147483647   108960     27 |  0.000 % |
424.75/424.95	c |    233305 |     636    56659   238983 | 2147483647   109193     27 |  0.000 % |
425.36/425.51	c |    233563 |     636    56659   238983 | 2147483647   109451     27 |  0.000 % |
425.96/426.13	c |    233844 |     636    56659   238983 | 2147483647   109732     27 |  0.000 % |
426.56/426.72	c |    234153 |     636    56659   238983 | 2147483647   110041     27 |  0.000 % |
427.16/427.40	c |    234493 |     636    56659   238983 | 2147483647   110381     27 |  0.000 % |
427.96/428.13	c |    234866 |     636    56659   238983 | 2147483647   110754     27 |  0.000 % |
428.76/428.94	c |    235275 |     636    56659   238983 | 2147483647   111163     27 |  0.000 % |
429.55/429.79	c |    235724 |     636    56659   238983 | 2147483647   111612     27 |  0.000 % |
430.55/430.75	c |    236218 |     636    56659   238983 | 2147483647   112106     27 |  0.000 % |
431.45/431.67	c |    236761 |     636    56659   238983 | 2147483647   112649     27 |  0.000 % |
432.85/433.08	c |    237359 |     636    56659   238983 | 2147483647   113247     27 |  0.000 % |
434.45/434.61	c |    238014 |     636    56659   238983 | 2147483647   113902     27 |  0.000 % |
436.05/436.23	c |    238736 |     636    56659   238983 | 2147483647   114624     27 |  0.000 % |
437.56/437.78	c |    239530 |     636    56659   238983 | 2147483647   115418     27 |  0.000 % |
439.55/439.70	c |    240403 |     636    56659   238983 | 2147483647   116291     27 |  0.000 % |
441.65/441.84	c |    241361 |     636    56659   238983 | 2147483647   117249     27 |  0.000 % |
443.85/444.04	c |    242416 |     636    56659   238983 | 2147483647   118304     27 |  0.000 % |
446.45/446.62	c |    243575 |     636    56659   238983 | 2147483647   119463     27 |  0.000 % |
449.45/449.67	c |    244848 |     636    56659   238983 | 2147483647   120736     27 |  0.000 % |
452.05/452.25	c |    246252 |     636    56659   238983 | 2147483647   122140     27 |  0.000 % |
455.75/455.92	c |    247794 |     636    56659   238983 | 2147483647   123682     27 |  0.000 % |
459.25/459.44	c |    249488 |     636    56659   238983 | 2147483647   125376     27 |  0.000 % |
463.95/464.13	c |    251351 |     636    56659   238983 | 2147483647   127239     27 |  0.000 % |
468.94/469.12	c |    253401 |     636    56659   238983 | 2147483647   129289     27 |  0.000 % |
474.74/474.96	c |    255654 |     636    56659   238983 | 2147483647   131542     27 |  0.000 % |
480.84/481.02	c |    258134 |     636    56659   238983 | 2147483647   134022     27 |  0.000 % |
481.04/481.25	c |    258235 |     636    56659   238983 | 2147483647   134123     27 |  0.000 % |
481.34/481.53	c |    258348 |     636    56659   238983 | 2147483647   134236     27 |  0.000 % |
481.54/481.78	c |    258469 |     636    56659   238983 | 2147483647   134357     27 |  0.000 % |
481.84/482.09	c |    258602 |     636    56659   238983 | 2147483647   134490     27 |  0.000 % |
482.24/482.45	c |    258748 |     636    56659   238983 | 2147483647   134636     27 |  0.000 % |
482.54/482.78	c |    258911 |     636    56659   238983 | 2147483647   134799     27 |  0.000 % |
483.04/483.22	c |    259089 |     636    56659   238983 | 2147483647   134977     27 |  0.000 % |
483.64/483.82	c |    259284 |     636    56659   238983 | 2147483647   135172     27 |  0.000 % |
484.24/484.40	c |    259498 |     636    56659   238983 | 2147483647   135386     27 |  0.000 % |
484.84/485.08	c |    259731 |     636    56659   238983 | 2147483647   135619     27 |  0.001 % |
485.54/485.76	c |    259989 |     636    56659   238983 | 2147483647   135877     27 |  0.000 % |
486.54/486.71	c |    260270 |     636    56659   238983 |   135888   122508     27 |  0.000 % |
487.14/487.30	c |    260582 |     636    56659   238983 |   135888   122820     27 |  0.000 % |
487.83/488.08	c |    260925 |     636    56659   238983 |   135888   123163     27 |  0.000 % |
488.73/488.99	c |    261297 |     636    56659   238983 |   135888   123535     27 |  0.000 % |
489.73/489.99	c |    261706 |     636    56659   238983 |   135888   123944     27 |  0.000 % |
490.83/491.06	c |    262155 |     636    56659   238983 |   135888   124393     27 |  0.000 % |
491.73/491.94	c |    262648 |     636    56659   238983 |   135888   124886     27 |  0.000 % |
492.64/492.86	c |    263190 |     636    56659   238983 |   135888   125428     27 |  0.000 % |
493.83/494.04	c |    263786 |     636    56659   238983 |   135888   126024     27 |  0.000 % |
494.93/495.19	c |    264441 |     636    56659   238983 |   135888   126679     27 |  0.000 % |
496.73/496.94	c |    265161 |     636    56659   238983 |   135888   127399     27 |  0.000 % |
498.14/498.32	c |    265956 |     636    56659   238983 |   135888   128194     27 |  0.000 % |
499.73/499.99	c |    266828 |     636    56659   238983 |   135888   129066     27 |  0.000 % |
501.43/501.67	c |    267786 |     636    56659   238983 |   135888   130024     27 |  0.000 % |
502.63/502.80	c |    268840 |     636    56659   238983 |   135888   131078     27 |  0.002 % |
503.73/503.98	c |    269999 |     636    56659   238983 |   135888   132237     27 |  0.002 % |
507.12/507.30	c |    271272 |     636    56659   238983 | 2147483647   133510     27 |  0.002 % |
511.23/511.48	c |    272673 |     636    56659   238983 | 2147483647   134911     27 |  0.002 % |
516.02/516.29	c |    274215 |     636    56659   238983 | 2147483647   136453     27 |  0.000 % |
521.52/521.73	c |    275911 |     636    56659   238983 | 2147483647   138149     27 |  0.000 % |
525.92/526.15	c |    277775 |     636    56659   238983 | 2147483647   140013     27 |  0.000 % |
528.42/528.63	c |    279824 |     636    56659   238983 | 2147483647   142062     27 |  0.000 % |
531.12/531.39	c |    282081 |     636    56659   238983 | 2147483647   144319     27 |  0.000 % |
544.12/544.40	c |    284559 |     636    56659   238983 | 2147483647   146797     27 |  0.000 % |
557.82/558.05	c |    287287 |     636    56659   238983 | 2147483647   149525     27 |  0.000 % |
558.32/558.53	c |    287387 |     636    56659   238983 | 2147483647   149625     27 |  0.000 % |
558.72/558.98	c |    287497 |     636    56659   238983 | 2147483647   149735     27 |  0.000 % |
559.42/559.65	c |    287618 |     636    56659   238983 | 2147483647   149856     27 |  0.000 % |
559.62/559.82	c |    287752 |     636    56659   238983 | 2147483647   149990     27 |  0.000 % |
559.72/560.00	c |    287901 |     636    56659   238983 | 2147483647   150139     27 |  0.000 % |
559.91/560.19	c |    288062 |     636    56659   238983 | 2147483647   150300     27 |  0.000 % |
560.82/561.08	c |    288239 |     636    56659   238983 | 2147483647   150477     27 |  0.000 % |
561.82/562.09	c |    288432 |     636    56659   238983 | 2147483647   150670     27 |  0.000 % |
563.11/563.36	c |    288644 |     636    56659   238983 | 2147483647   150882     27 |  0.000 % |
564.41/564.65	c |    288879 |     636    56659   238983 | 2147483647   151117     27 |  0.000 % |
566.11/566.31	c |    289137 |     636    56659   238983 | 2147483647   151375     27 |  0.000 % |
567.71/567.97	c |    289419 |     636    56659   238983 | 2147483647   151657     27 |  0.000 % |
569.31/569.57	c |    289731 |     636    56659   238983 | 2147483647   151969     27 |  0.000 % |
571.21/571.47	c |    290070 |     636    56659   238983 |   152238   152308     27 |  0.000 % |
574.21/574.44	c |    290444 |     636    56659   238983 |   152238   109695     26 |  0.000 % |
576.11/576.39	c |    290854 |     636    56659   238983 |   152238   110105     26 |  0.000 % |
577.91/578.14	c |    291305 |     636    56659   238983 |   152238   110556     26 |  0.000 % |
579.91/580.17	c |    291798 |     636    56659   238983 |   152238   111049     26 |  0.000 % |
581.71/581.94	c |    292341 |     636    56659   238983 |   152238   111592     26 |  0.000 % |
583.91/584.12	c |    292943 |     636    56659   238983 |   152238   112194     26 |  0.000 % |
586.31/586.60	c |    293600 |     636    56659   238983 |   152238   112851     26 |  0.000 % |
589.31/589.56	c |    294320 |     636    56659   238983 |   152238   113571     26 |  0.000 % |
591.71/591.93	c |    295113 |     636    56659   238983 |   152238   114364     26 |  0.000 % |
592.51/592.74	c |    295988 |     636    56659   238983 |   152238   115239     26 |  0.000 % |
593.41/593.68	c |    296946 |     636    56659   238983 |   152238   116197     26 |  0.000 % |
596.01/596.27	c |    297999 |     636    56659   238983 |   152238   117250     26 |  0.000 % |
601.20/601.43	c |    299158 |     636    56659   238983 |   152238   118409     26 |  0.000 % |
606.60/606.85	c |    300432 |     636    56659   238983 |   119253    97350     25 |  0.000 % |
610.70/610.99	c |    301832 |     636    56659   238983 |   119253    98750     25 |  0.000 % |
615.00/615.30	c |    303372 |     636    56659   238983 |   119253   100290     25 |  0.000 % |
616.50/616.70	c |    305066 |     636    56659   238983 |   119253   101984     25 |  0.000 % |
623.00/623.27	c |    306929 |     636    56659   238983 |   119253   103847     25 |  0.000 % |
630.60/630.87	c |    308980 |     636    56659   238983 |   119253   105898     26 |  0.000 % |
638.09/638.36	c |    311234 |     636    56659   238983 |   106919    88206     25 |  0.000 % |
644.30/644.55	c |    313712 |     636    56659   238983 |   106919    90684     26 |  0.002 % |
650.99/651.26	c |    316438 |     636    56659   238983 |   106919    93410     26 |  0.000 % |
657.99/658.21	c |    319437 |     636    56659   238983 |   106919    96409     26 |  0.000 % |
658.19/658.42	c |    319537 |     636    56659   238983 |   106919    96509     26 |  0.000 % |
658.59/658.84	c |    319648 |     636    56659   238983 |   106919    96620     26 |  0.000 % |
658.69/658.97	c |    319769 |     636    56659   238983 |   106919    96741     26 |  0.000 % |
659.09/659.39	c |    319904 |     636    56659   238983 |   106919    96876     26 |  0.000 % |
659.49/659.75	c |    320051 |     636    56659   238983 |    96972    97023     26 |  0.000 % |
660.39/660.66	c |    320212 |     636    56659   238983 |    96972    75402     25 |  0.000 % |
660.69/660.92	c |    320389 |     636    56659   238983 |    96972    75579     25 |  0.000 % |
660.99/661.24	c |    320583 |     636    56659   238983 |    96972    75773     25 |  0.000 % |
661.29/661.58	c |    320795 |     636    56659   238983 |    96972    75985     25 |  0.000 % |
661.59/661.87	c |    321028 |     636    56659   238983 |    96972    76218     25 |  0.000 % |
661.89/662.20	c |    321284 |     636    56659   238983 |    96972    76474     25 |  0.000 % |
662.48/662.76	c |    321568 |     636    56659   238983 |    96972    76758     26 |  0.000 % |
663.09/663.38	c |    321877 |     636    56659   238983 |    96972    77067     26 |  0.000 % |
663.78/664.03	c |    322216 |     636    56659   238983 |    96972    77406     26 |  0.000 % |
664.38/664.69	c |    322589 |     636    56659   238983 |    96972    77779     26 |  0.000 % |
664.88/665.15	c |    322998 |     636    56659   238983 |    96972    78188     26 |  0.000 % |
665.78/666.07	c |    323447 |     636    56659   238983 |    96972    78637     26 |  0.000 % |
666.58/666.88	c |    323940 |     636    56659   238983 |    96972    79130     26 |  0.000 % |
667.58/667.82	c |    324483 |     636    56659   238983 |    96972    79673     26 |  0.002 % |
668.78/669.08	c |    325081 |     636    56659   238983 |    96972    80271     26 |  0.000 % |
669.88/670.17	c |    325737 |     636    56659   238983 |    96972    80927     26 |  0.000 % |
670.58/670.84	c |    326457 |     636    56659   238983 |    96972    81647     26 |  0.000 % |
671.68/671.91	c |    327249 |     636    56659   238983 |    96972    82439     26 |  0.000 % |
672.99/673.25	c |    328121 |     636    56659   238983 |    96972    83311     26 |  0.000 % |
674.18/674.45	c |    329079 |     636    56659   238983 |    96972    84269     26 |  0.000 % |
676.48/676.72	c |    330136 |     636    56659   238983 | 2147483647    85326     26 |  0.000 % |
677.58/677.85	c |    331294 |     636    56659   238983 | 2147483647    86484     26 |  0.000 % |
679.38/679.69	c |    332569 |     636    56659   238983 | 2147483647    87759     26 |  0.000 % |
681.28/681.53	c |    333969 |     636    56659   238983 | 2147483647    89159     26 |  0.000 % |
683.68/683.94	c |    335511 |     636    56659   238983 | 2147483647    90701     26 |  0.000 % |
686.68/686.94	c |    337206 |     636    56659   238983 | 2147483647    92396     26 |  0.000 % |
690.68/690.90	c |    339070 |     636    56659   238983 | 2147483647    94260     26 |  0.000 % |
694.88/695.12	c |    341119 |     636    56659   238983 | 2147483647    96309     27 |  0.000 % |
700.07/700.31	c |    343372 |     636    56659   238983 | 2147483647    98562     27 |  0.000 % |
704.67/704.93	c |    345851 |     636    56659   238983 | 2147483647   101041     27 |  0.000 % |
709.18/709.46	c |    348576 |     636    56659   238983 | 2147483647   103766     26 |  0.000 % |
713.97/714.22	c |    351575 |     636    56659   238983 | 2147483647   106765     27 |  0.000 % |
718.37/718.64	c |    354871 |     636    56659   238983 | 2147483647   110061     27 |  0.000 % |
718.57/718.89	c |    354973 |     636    56659   238983 | 2147483647   110163     27 |  0.000 % |
718.87/719.16	c |    355083 |     636    56659   238983 | 2147483647   110273     27 |  0.000 % |
719.17/719.45	c |    355205 |     636    56659   238983 | 2147483647   110395     27 |  0.000 % |
719.47/719.79	c |    355338 |     636    56659   238983 | 2147483647   110528     27 |  0.000 % |
719.87/720.11	c |    355485 |     636    56659   238983 | 2147483647   110675     27 |  0.000 % |
720.27/720.54	c |    355649 |     636    56659   238983 | 2147483647   110839     27 |  0.000 % |
720.67/720.94	c |    355829 |     636    56659   238983 | 2147483647   111019     27 |  0.000 % |
721.17/721.45	c |    356022 |     636    56659   238983 | 2147483647   111212     27 |  0.000 % |
721.77/722.06	c |    356235 |     636    56659   238983 | 2147483647   111425     27 |  0.000 % |
722.37/722.68	c |    356470 |     636    56659   238983 | 2147483647   111660     27 |  0.000 % |
722.97/723.25	c |    356726 |     636    56659   238983 | 2147483647   111916     27 |  0.000 % |
723.37/723.67	c |    357007 |     636    56659   238983 | 2147483647   112197     27 |  0.000 % |
724.17/724.46	c |    357316 |     636    56659   238983 | 2147483647   112506     27 |  0.000 % |
724.87/725.15	c |    357656 |     636    56659   238983 | 2147483647   112846     27 |  0.000 % |
725.47/725.80	c |    358028 |     636    56659   238983 | 2147483647   113218     27 |  0.000 % |
726.57/726.81	c |    358437 |     636    56659   238983 | 2147483647   113627     27 |  0.000 % |
727.57/727.87	c |    358886 |     636    56659   238983 | 2147483647   114076     27 |  0.000 % |
728.27/728.52	c |    359379 |     636    56659   238983 | 2147483647   114569     27 |  0.000 % |
728.87/729.17	c |    359921 |     636    56659   238983 | 2147483647   115111     27 |  0.000 % |
729.77/730.06	c |    360517 |     636    56659   238983 | 2147483647   115707     27 |  0.000 % |
731.36/731.60	c |    361172 |     636    56659   238983 | 2147483647   116362     27 |  0.000 % |
732.16/732.49	c |    361896 |     636    56659   238983 | 2147483647   117086     27 |  0.000 % |
733.16/733.49	c |    362690 |     636    56659   238983 | 2147483647   117880     27 |  0.000 % |
734.37/734.62	c |    363563 |     636    56659   238983 | 2147483647   118753     27 |  0.000 % |
736.86/737.11	c |    364522 |     636    56659   238983 | 2147483647   119712     27 |  0.000 % |
739.86/740.17	c |    365576 |     636    56659   238983 | 2147483647   120766     27 |  0.000 % |
742.66/742.99	c |    366734 |     636    56659   238983 | 2147483647   121924     27 |  0.000 % |
745.76/746.09	c |    368011 |     636    56659   238983 | 2147483647   123201     27 |  0.000 % |
749.36/749.61	c |    369413 |     636    56659   238983 | 2147483647   124603     27 |  0.000 % |
752.86/753.13	c |    370956 |     636    56659   238983 | 2147483647   126146     27 |  0.000 % |
757.56/757.81	c |    372657 |     636    56659   238983 | 2147483647   127847     27 |  0.000 % |
761.55/761.90	c |    374520 |     636    56659   238983 | 2147483647   129710     27 |  0.000 % |
766.36/766.62	c |    376569 |     636    56659   238983 | 2147483647   131759     27 |  0.000 % |
771.45/771.79	c |    378824 |     636    56659   238983 | 2147483647   134014     27 |  0.000 % |
778.15/778.48	c |    381302 |     636    56659   238983 |   135195   121807     28 |  0.000 % |
783.05/783.35	c |    384028 |     636    56659   238983 |   135195   124533     28 |  0.000 % |
788.45/788.73	c |    387025 |     636    56659   238983 |   135195   127530     28 |  0.000 % |
795.95/796.28	c |    390321 |     636    56659   238983 | 2147483647   130826     28 |  0.000 % |
803.05/803.35	c |    393946 |     636    56659   238983 | 2147483647   134451     28 |  0.000 % |
803.25/803.56	c |    394046 |     636    56659   238983 | 2147483647   134551     27 |  0.000 % |
803.76/804.00	c |    394156 |     636    56659   238983 | 2147483647   134661     28 |  0.000 % |
804.05/804.32	c |    394278 |     636    56659   238983 | 2147483647   134783     27 |  0.000 % |
804.35/804.65	c |    394411 |     636    56659   238983 | 2147483647   134916     27 |  0.000 % |
804.65/804.97	c |    394557 |     636    56659   238983 | 2147483647   135062     27 |  0.000 % |
805.15/805.46	c |    394719 |     636    56659   238983 | 2147483647   135224     27 |  0.000 % |
805.55/805.82	c |    394895 |     636    56659   238983 | 2147483647   135400     27 |  0.000 % |
805.96/806.24	c |    395089 |     636    56659   238983 | 2147483647   135594     27 |  0.000 % |
806.45/806.77	c |    395301 |     636    56659   238983 | 2147483647   135806     27 |  0.000 % |
807.05/807.33	c |    395535 |     636    56659   238983 | 2147483647   136040     27 |  0.000 % |
807.75/808.09	c |    395791 |     636    56659   238983 | 2147483647   136296     27 |  0.000 % |
808.35/808.68	c |    396072 |     636    56659   238983 | 2147483647   136577     27 |  0.000 % |
809.25/809.54	c |    396381 |     636    56659   238983 | 2147483647   136886     27 |  0.000 % |
810.15/810.41	c |    396720 |     636    56659   238983 | 2147483647   137225     27 |  0.000 % |
810.95/811.23	c |    397095 |     636    56659   238983 | 2147483647   137600     27 |  0.000 % |
811.75/812.08	c |    397505 |     636    56659   238983 | 2147483647   138010     27 |  0.000 % |
813.05/813.39	c |    397954 |     636    56659   238983 | 2147483647   138459     27 |  0.000 % |
814.25/814.53	c |    398449 |     636    56659   238983 | 2147483647   138954     27 |  0.000 % |
815.25/815.53	c |    398992 |     636    56659   238983 | 2147483647   139497     27 |  0.000 % |
816.55/816.80	c |    399588 |     636    56659   238983 | 2147483647   140093     27 |  0.000 % |
818.05/818.33	c |    400247 |     636    56659   238983 | 2147483647   140752     27 |  0.000 % |
819.55/819.87	c |    400968 |     636    56659   238983 | 2147483647   141473     27 |  0.000 % |
821.14/821.47	c |    401760 |     636    56659   238983 | 2147483647   142265     27 |  0.000 % |
822.74/823.02	c |    402632 |     636    56659   238983 | 2147483647   143137     27 |  0.000 % |
824.54/824.88	c |    403590 |     636    56659   238983 | 2147483647   144095     27 |  0.000 % |
827.04/827.31	c |    404647 |     636    56659   238983 | 2147483647   145152     27 |  0.000 % |
829.64/829.90	c |    405807 |     636    56659   238983 | 2147483647   146312     27 |  0.000 % |
832.34/832.62	c |    407082 |     636    56659   238983 | 2147483647   147587     27 |  0.000 % |
835.84/836.13	c |    408487 |     636    56659   238983 | 2147483647   148992     27 |  0.000 % |
839.64/839.91	c |    410027 |     636    56659   238983 | 2147483647   150532     27 |  0.000 % |
843.74/844.09	c |    411721 |     636    56659   238983 | 2147483647   152226     27 |  0.000 % |
848.44/848.79	c |    413586 |     636    56659   238983 | 2147483647   154091     27 |  0.000 % |
853.73/854.09	c |    415635 |     636    56659   238983 | 2147483647   156140     27 |  0.000 % |
857.23/857.51	c |    417892 |     636    56659   238983 | 2147483647   158397     27 |  0.000 % |
863.73/864.06	c |    420371 |     636    56659   238983 | 2147483647   160876     27 |  0.002 % |
870.43/870.78	c |    423096 |     636    56659   238983 | 2147483647   163601     27 |  0.000 % |
887.53/887.83	c |    426095 |     636    56659   238983 | 2147483647   166600     27 |  0.000 % |
901.73/902.09	c |    429391 |     636    56659   238983 | 2147483647   169896     27 |  0.000 % |
918.92/919.21	c |    433019 |     636    56659   238983 |   170506   131017     27 |  0.000 % |
924.72/925.09	c |    437006 |     636    56659   238983 |   170506   135004     27 |  0.000 % |
925.42/925.73	c |    437107 |     636    56659   238983 |   170506   135105     27 |  0.000 % |
925.92/926.29	c |    437221 |     636    56659   238983 |   170506   135219     27 |  0.000 % |
926.62/926.90	c |    437342 |     636    56659   238983 |   170506   135340     27 |  0.000 % |
927.02/927.33	c |    437476 |     636    56659   238983 |   170506   135474     27 |  0.000 % |
927.82/928.16	c |    437622 |     636    56659   238983 |   170506   135620     27 |  0.000 % |
928.62/928.96	c |    437782 |     636    56659   238983 |   170506   135780     27 |  0.000 % |
929.62/929.91	c |    437958 |     636    56659   238983 |   170506   135956     27 |  0.000 % |
930.52/930.88	c |    438151 |     636    56659   238983 |   170506   136149     27 |  0.000 % |
931.62/931.91	c |    438363 |     636    56659   238983 |   170506   136361     27 |  0.000 % |
932.92/933.29	c |    438600 |     636    56659   238983 |   170506   136598     27 |  0.000 % |
934.02/934.38	c |    438856 |     636    56659   238983 |   170506   136854     27 |  0.000 % |
935.62/935.94	c |    439140 |     636    56659   238983 |   170506   137138     27 |  0.000 % |
937.42/937.71	c |    439451 |     636    56659   238983 |   170506   137449     27 |  0.000 % |
938.81/939.18	c |    439790 |     636    56659   238983 |   170506   137788     27 |  0.000 % |
942.42/942.76	c |    440162 |     636    56659   238983 |   137998   107651     26 |  0.000 % |
943.01/943.33	c |    440571 |     636    56659   238983 |   137998   108060     26 |  0.000 % |
945.01/945.38	c |    441022 |     636    56659   238983 |   137998   108511     26 |  0.000 % |
946.82/947.14	c |    441515 |     636    56659   238983 |   137998   109004     26 |  0.000 % |
948.92/949.23	c |    442064 |     636    56659   238983 |   137998   109553     26 |  0.000 % |
951.41/951.72	c |    442661 |     636    56659   238983 |   137998   110150     26 |  0.000 % |
953.91/954.28	c |    443316 |     636    56659   238983 |   137998   110805     26 |  0.000 % |
957.61/957.91	c |    444036 |     636    56659   238983 |   137998   111525     26 |  0.000 % |
961.11/961.45	c |    444828 |     636    56659   238983 |   137998   112317     26 |  0.000 % |
964.21/964.54	c |    445700 |     636    56659   238983 |   137998   113189     26 |  0.000 % |
967.11/967.41	c |    446661 |     636    56659   238983 |   137998   114150     26 |  0.000 % |
970.00/970.37	c |    447714 |     636    56659   238983 |   137998   115203     26 |  0.000 % |
971.30/971.61	c |    448873 |     636    56659   238983 |   137998   116362     26 |  0.000 % |
974.50/974.88	c |    450147 |     636    56659   238983 |   117490    91844     25 |  0.000 % |
978.10/978.41	c |    451548 |     636    56659   238983 |   117490    93245     25 |  0.000 % |
984.10/984.49	c |    453090 |     636    56659   238983 |   117490    94787     25 |  0.000 % |
990.60/990.96	c |    454787 |     636    56659   238983 |   117490    96484     26 |  0.000 % |
995.90/996.27	c |    456650 |     636    56659   238983 |   117490    98347     26 |  0.000 % |
1000.99/1001.31	c |    458699 |     636    56659   238983 |   117490   100396     26 |  0.000 % |
1008.30/1008.66	c |    460954 |     636    56659   238983 |   101698    82086     25 |  0.000 % |
1014.39/1014.73	c |    463432 |     636    56659   238983 |   101698    84564     25 |  0.000 % |
1019.99/1020.34	c |    466158 |     636    56659   238983 |   101698    87290     24 |  0.000 % |
1022.79/1023.11	c |    469158 |     636    56659   238983 |   101698    90290     24 |  0.000 % |
1029.29/1029.62	c |    472454 |     636    56659   238983 | 2147483647    93586     24 |  0.000 % |
1037.58/1037.90	c |    476080 |     636    56659   238983 | 2147483647    97212     24 |  0.000 % |
1049.18/1049.59	c |    480067 |     636    56659   238983 |   101134   101199     25 |  0.000 % |
1060.28/1060.65	c |    484453 |     636    56659   238983 |   101134    94113     25 |  0.000 % |
1060.47/1060.85	c |    484556 |     636    56659   238983 |   101134    94216     25 |  0.000 % |
1060.77/1061.10	c |    484666 |     636    56659   238983 |   101134    94326     25 |  0.000 % |
1060.97/1061.39	c |    484787 |     636    56659   238983 |   101134    94447     25 |  0.000 % |
1061.37/1061.72	c |    484920 |     636    56659   238983 |   101134    94580     25 |  0.000 % |
1061.67/1062.06	c |    485067 |     636    56659   238983 |   101134    94727     25 |  0.000 % |
1062.18/1062.50	c |    485227 |     636    56659   238983 |   101134    94887     25 |  0.000 % |
1062.47/1062.87	c |    485404 |     636    56659   238983 |   101134    95064     25 |  0.000 % |
1062.97/1063.38	c |    485599 |     636    56659   238983 |   101134    95259     25 |  0.000 % |
1063.38/1063.76	c |    485812 |     636    56659   238983 |   101134    95472     25 |  0.000 % |
1063.67/1064.05	c |    486046 |     636    56659   238983 |   101134    95706     25 |  0.000 % |
1064.38/1064.79	c |    486303 |     636    56659   238983 |   101134    95963     25 |  0.000 % |
1065.17/1065.52	c |    486584 |     636    56659   238983 |   101134    96244     25 |  0.000 % |
1065.77/1066.11	c |    486893 |     636    56659   238983 |   101134    96553     25 |  0.000 % |
1066.68/1067.03	c |    487232 |     636    56659   238983 |   101134    96892     25 |  0.000 % |
1067.57/1067.99	c |    487605 |     636    56659   238983 |   101134    97265     25 |  0.000 % |
1068.78/1069.13	c |    488014 |     636    56659   238983 |   101134    97674     25 |  0.000 % |
1069.98/1070.33	c |    488464 |     636    56659   238983 |   101134    98124     25 |  0.000 % |
1070.98/1071.40	c |    488957 |     636    56659   238983 |   101134    98617     25 |  0.000 % |
1072.47/1072.82	c |    489499 |     636    56659   238983 |   101134    99159     25 |  0.000 % |
1074.17/1074.53	c |    490098 |     636    56659   238983 |    99664    86245     26 |  0.000 % |
1075.47/1075.85	c |    490753 |     636    56659   238983 |    99664    86900     26 |  0.000 % |
1076.57/1076.92	c |    491474 |     636    56659   238983 |    99664    87621     26 |  0.000 % |
1077.87/1078.25	c |    492266 |     636    56659   238983 |    99664    88413     26 |  0.000 % |
1079.07/1079.45	c |    493139 |     636    56659   238983 |    99664    89286     26 |  0.000 % |
1080.27/1080.65	c |    494097 |     636    56659   238983 |    99664    90244     26 |  0.000 % |
1082.37/1082.74	c |    495151 |     636    56659   238983 |    99664    91298     26 |  0.000 % |
1083.97/1084.35	c |    496309 |     636    56659   238983 |    99664    92456     26 |  0.000 % |
1085.77/1086.10	c |    497582 |     636    56659   238983 |    99664    93729     26 |  0.000 % |
1087.77/1088.16	c |    498982 |     636    56659   238983 |    99664    95129     26 |  0.000 % |
1090.07/1090.44	c |    500522 |     636    56659   238983 | 2147483647    96669     26 |  0.000 % |
1093.36/1093.80	c |    502220 |     636    56659   238983 | 2147483647    98367     26 |  0.000 % |
1096.56/1096.97	c |    504083 |     636    56659   238983 | 2147483647   100230     26 |  0.000 % |
1100.16/1100.59	c |    506134 |     636    56659   238983 | 2147483647   102281     26 |  0.000 % |
1104.07/1104.41	c |    508388 |     636    56659   238983 | 2147483647   104535     26 |  0.000 % |
1108.56/1108.90	c |    510867 |     636    56659   238983 | 2147483647   107014     26 |  0.000 % |
1113.36/1113.79	c |    513593 |     636    56659   238983 | 2147483647   109740     26 |  0.000 % |
1118.76/1119.13	c |    516590 |     636    56659   238983 | 2147483647   112737     25 |  0.000 % |
1125.16/1125.55	c |    519886 |     636    56659   238983 | 2147483647   116033     25 |  0.000 % |
1131.47/1131.87	c |    523512 |     636    56659   238983 | 2147483647   119659     25 |  0.000 % |
1136.36/1136.77	c |    527500 |     636    56659   238983 | 2147483647   123647     25 |  0.000 % |
1141.56/1141.99	c |    531887 |     636    56659   238983 | 2147483647   128034     26 |  0.000 % |
1147.06/1147.42	c |    536711 |     636    56659   238983 | 2147483647   132858     26 |  0.000 % |
1147.55/1147.94	c |    536813 |     636    56659   238983 | 2147483647   132960     26 |  0.000 % |
1147.75/1148.10	c |    536925 |     636    56659   238983 | 2147483647   133072     26 |  0.002 % |
1147.96/1148.31	c |    537046 |     636    56659   238983 | 2147483647   133193     26 |  0.002 % |
1148.25/1148.64	c |    537179 |     636    56659   238983 | 2147483647   133326     26 |  0.000 % |
1148.55/1148.99	c |    537326 |     636    56659   238983 | 2147483647   133473     26 |  0.000 % |
1148.85/1149.30	c |    537487 |     636    56659   238983 | 2147483647   133634     26 |  0.000 % |
1149.35/1149.70	c |    537664 |     636    56659   238983 | 2147483647   133811     26 |  0.000 % |
1149.75/1150.16	c |    537858 |     636    56659   238983 | 2147483647   134005     26 |  0.000 % |
1150.16/1150.58	c |    538072 |     636    56659   238983 | 2147483647   134219     26 |  0.000 % |
1150.65/1151.08	c |    538306 |     636    56659   238983 | 2147483647   134453     26 |  0.000 % |
1151.26/1151.62	c |    538563 |     636    56659   238983 | 2147483647   134710     26 |  0.000 % |
1151.85/1152.23	c |    538845 |     636    56659   238983 | 2147483647   134992     26 |  0.000 % |
1152.46/1152.82	c |    539158 |     636    56659   238983 | 2147483647   135305     26 |  0.000 % |
1153.05/1153.47	c |    539498 |     636    56659   238983 | 2147483647   135645     26 |  0.000 % |
1153.56/1154.00	c |    539871 |     636    56659   238983 | 2147483647   136018     26 |  0.049 % |
1157.15/1157.52	c |    540282 |     636    56659   238983 |   136147   100507     26 |  0.000 % |
1158.25/1158.67	c |    540731 |     636    56659   238983 |   136147   100956     26 |  0.000 % |
1158.95/1159.33	c |    541225 |     636    56659   238983 |   136147   101450     26 |  0.000 % |
1161.35/1161.70	c |    541768 |     636    56659   238983 |   136147   101993     27 |  0.000 % |
1164.15/1164.58	c |    542364 |     636    56659   238983 |   136147   102589     27 |  0.000 % |
1166.94/1167.33	c |    543021 |     636    56659   238983 |   136147   103246     27 |  0.000 % |
1171.24/1171.61	c |    543742 |     636    56659   238983 |   136147   103967     27 |  0.000 % |
1175.14/1175.53	c |    544534 |     636    56659   238983 |   136147   104759     27 |  0.000 % |
1181.04/1181.40	c |    545406 |     636    56659   238983 |   136147   105631     27 |  0.000 % |
1186.74/1187.17	c |    546366 |     636    56659   238983 |   136147   106591     27 |  0.000 % |
1192.53/1192.91	c |    547420 |     636    56659   238983 |   136147   107645     27 |  0.000 % |
1193.73/1194.18	c |    548579 |     636    56659   238983 |   136147   108804     27 |  0.000 % |

Verifier Data 

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

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 28593
/proc/meminfo: memFree=1881968/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310670215 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28593/statm: 1339 237 197 169 0 50 0

[startup+0.0131669 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 28593
/proc/meminfo: memFree=1881968/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310670215 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28593/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101174 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 28593
/proc/meminfo: memFree=1881968/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310670215 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28593/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301193 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 28593
/proc/meminfo: memFree=1881968/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310670215 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28593/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701238 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 28593
/proc/meminfo: memFree=1881968/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0.46
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 336 1839 0 0 0 0 45 1 16 0 1 0 310670215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28593/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 5356

[startup+1.50131 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28599
/proc/meminfo: memFree=1875936/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0.46
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 336 1839 0 0 0 0 45 1 16 0 1 0 310670215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28593/statm: 1339 239 197 169 0 50 0
[pid=28599] ppid=28593 vsize=5212 CPUtime=1
/proc/28599/stat : 28599 (minisat_static) R 28593 28593 28348 0 -1 4194304 1209 0 0 0 100 0 0 0 25 0 1 0 310670263 5337088 1195 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/28599/statm: 1303 1195 77 171 0 1130 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 10568

[startup+3.10146 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28599
/proc/meminfo: memFree=1875232/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0.46
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 336 1839 0 0 0 0 45 1 16 0 1 0 310670215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28593/statm: 1339 239 197 169 0 50 0
[pid=28599] ppid=28593 vsize=6136 CPUtime=2.61
/proc/28599/stat : 28599 (minisat_static) R 28593 28593 28348 0 -1 4194304 1438 0 0 0 260 1 0 0 25 0 1 0 310670263 6283264 1424 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/28599/statm: 1534 1424 77 171 0 1361 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 11492

[startup+6.30178 s]
/proc/loadavg: 1.08 1.02 1.01 2/67 28599
/proc/meminfo: memFree=1873632/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0.46
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 336 1839 0 0 0 0 45 1 16 0 1 0 310670215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28593/statm: 1339 239 197 169 0 50 0
[pid=28599] ppid=28593 vsize=7608 CPUtime=5.8
/proc/28599/stat : 28599 (minisat_static) R 28593 28593 28348 0 -1 4194304 1771 0 0 0 579 1 0 0 25 0 1 0 310670263 7790592 1757 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/28599/statm: 1902 1757 77 171 0 1729 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 12964

[startup+12.7014 s]
/proc/loadavg: 1.07 1.02 1.00 2/67 28599
/proc/meminfo: memFree=1871392/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0.46
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 336 1839 0 0 0 0 45 1 16 0 1 0 310670215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28593/statm: 1339 239 197 169 0 50 0
[pid=28599] ppid=28593 vsize=9500 CPUtime=12.21
/proc/28599/stat : 28599 (minisat_static) R 28593 28593 28348 0 -1 4194304 2255 0 0 0 1219 2 0 0 25 0 1 0 310670263 9728000 2241 1992294400 134512640 135215339 4294956240 18446744073709551615 134528837 0 0 4096 3 0 0 0 17 1 0 0
/proc/28599/statm: 2375 2241 77 171 0 2202 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 14856

[startup+25.5016 s]
/proc/loadavg: 1.06 1.01 1.00 2/67 28599
/proc/meminfo: memFree=1868384/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0.46
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 336 1839 0 0 0 0 45 1 16 0 1 0 310670215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28593/statm: 1339 239 197 169 0 50 0
[pid=28599] ppid=28593 vsize=12416 CPUtime=25
/proc/28599/stat : 28599 (minisat_static) R 28593 28593 28348 0 -1 4194304 2980 0 0 0 2497 3 0 0 25 0 1 0 310670263 12713984 2966 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/28599/statm: 3104 2966 77 171 0 2931 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 17772

[startup+51.1011 s]
/proc/loadavg: 1.04 1.01 1.00 2/67 28599
/proc/meminfo: memFree=1864416/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0.46
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 336 1839 0 0 0 0 45 1 16 0 1 0 310670215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28593/statm: 1339 239 197 169 0 50 0
[pid=28599] ppid=28593 vsize=16592 CPUtime=50.59
/proc/28599/stat : 28599 (minisat_static) R 28593 28593 28348 0 -1 4194304 3986 0 0 0 5055 4 0 0 25 0 1 0 310670263 16990208 3972 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/28599/statm: 4148 3972 77 171 0 3975 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 21948

[startup+102.305 s]
/proc/loadavg: 1.01 1.01 1.00 2/67 28599
/proc/meminfo: memFree=1858720/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0.46
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 336 1839 0 0 0 0 45 1 16 0 1 0 310670215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28593/statm: 1339 239 197 169 0 50 0
[pid=28599] ppid=28593 vsize=22324 CPUtime=101.78
/proc/28599/stat : 28599 (minisat_static) R 28593 28593 28348 0 -1 4194304 5382 0 0 0 10172 6 0 0 25 0 1 0 310670263 22859776 5368 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/28599/statm: 5581 5368 77 171 0 5408 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 27680

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28599
/proc/meminfo: memFree=1853088/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0.46
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 336 1839 0 0 0 0 45 1 16 0 1 0 310670215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28593/statm: 1339 239 197 169 0 50 0
[pid=28599] ppid=28593 vsize=28268 CPUtime=161.76
/proc/28599/stat : 28599 (minisat_static) R 28593 28593 28348 0 -1 4194304 6769 0 0 0 16168 8 0 0 25 0 1 0 310670263 28946432 6747 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/28599/statm: 7067 6747 77 171 0 6894 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 33624

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28599
/proc/meminfo: memFree=1851296/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0.46
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 336 1839 0 0 0 0 45 1 16 0 1 0 310670215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28593/statm: 1339 239 197 169 0 50 0
[pid=28599] ppid=28593 vsize=30216 CPUtime=221.75
/proc/28599/stat : 28599 (minisat_static) R 28593 28593 28348 0 -1 4194304 7218 0 0 0 22166 9 0 0 25 0 1 0 310670263 30941184 7196 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/28599/statm: 7554 7196 77 171 0 7381 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 35572

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28599
/proc/meminfo: memFree=1851232/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0.46
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 336 1839 0 0 0 0 45 1 16 0 1 0 310670215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28593/statm: 1339 239 197 169 0 50 0
[pid=28599] ppid=28593 vsize=30352 CPUtime=281.73
/proc/28599/stat : 28599 (minisat_static) R 28593 28593 28348 0 -1 4194304 7228 0 0 0 28164 9 0 0 25 0 1 0 310670263 31080448 7206 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/28599/statm: 7588 7206 77 171 0 7415 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 35708

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28599
/proc/meminfo: memFree=1851040/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0.46
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 336 1839 0 0 0 0 45 1 16 0 1 0 310670215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28593/statm: 1339 239 197 169 0 50 0
[pid=28599] ppid=28593 vsize=30352 CPUtime=341.72
/proc/28599/stat : 28599 (minisat_static) R 28593 28593 28348 0 -1 4194304 7252 0 0 0 34162 10 0 0 25 0 1 0 310670263 31080448 7230 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/28599/statm: 7588 7230 77 171 0 7415 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 35708

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28599
/proc/meminfo: memFree=1850528/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0.46
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 336 1839 0 0 0 0 45 1 16 0 1 0 310670215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28593/statm: 1339 239 197 169 0 50 0
[pid=28599] ppid=28593 vsize=30856 CPUtime=401.7
/proc/28599/stat : 28599 (minisat_static) R 28593 28593 28348 0 -1 4194304 7358 0 0 0 40160 10 0 0 25 0 1 0 310670263 31596544 7336 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/28599/statm: 7714 7336 77 171 0 7541 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 36212

[startup+462.301 s]

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

/proc/28599/statm: 8250 7808 77 171 0 8077 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 38356

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28601
/proc/meminfo: memFree=1847456/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0.46
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 336 1839 0 0 0 0 45 1 16 0 1 0 310670215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28593/statm: 1339 239 197 169 0 50 0
[pid=28599] ppid=28593 vsize=33836 CPUtime=581.65
/proc/28599/stat : 28599 (minisat_static) R 28593 28593 28348 0 -1 4194304 8053 0 0 0 58153 12 0 0 25 0 1 0 310670263 34648064 8031 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/28599/statm: 8459 8031 77 171 0 8286 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 39192

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28601
/proc/meminfo: memFree=1847456/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0.46
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 336 1839 0 0 0 0 45 1 16 0 1 0 310670215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28593/statm: 1339 239 197 169 0 50 0
[pid=28599] ppid=28593 vsize=33836 CPUtime=641.64
/proc/28599/stat : 28599 (minisat_static) R 28593 28593 28348 0 -1 4194304 8054 0 0 0 64152 12 0 0 25 0 1 0 310670263 34648064 8032 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/28599/statm: 8459 8032 77 171 0 8286 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 39192

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28601
/proc/meminfo: memFree=1847456/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0.46
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 336 1839 0 0 0 0 45 1 16 0 1 0 310670215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28593/statm: 1339 239 197 169 0 50 0
[pid=28599] ppid=28593 vsize=33836 CPUtime=701.61
/proc/28599/stat : 28599 (minisat_static) R 28593 28593 28348 0 -1 4194304 8054 0 0 0 70149 12 0 0 25 0 1 0 310670263 34648064 8032 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/28599/statm: 8459 8032 77 171 0 8286 0
Current children cumulated CPU time (s) 702.07
Current children cumulated vsize (KiB) 39192

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28601
/proc/meminfo: memFree=1847264/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0.46
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 336 1839 0 0 0 0 45 1 16 0 1 0 310670215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28593/statm: 1339 239 197 169 0 50 0
[pid=28599] ppid=28593 vsize=34036 CPUtime=761.6
/proc/28599/stat : 28599 (minisat_static) R 28593 28593 28348 0 -1 4194304 8099 0 0 0 76148 12 0 0 25 0 1 0 310670263 34852864 8077 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/28599/statm: 8509 8077 77 171 0 8336 0
Current children cumulated CPU time (s) 762.06
Current children cumulated vsize (KiB) 39392

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28601
/proc/meminfo: memFree=1846688/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0.46
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 336 1839 0 0 0 0 45 1 16 0 1 0 310670215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28593/statm: 1339 239 197 169 0 50 0
[pid=28599] ppid=28593 vsize=34648 CPUtime=821.58
/proc/28599/stat : 28599 (minisat_static) R 28593 28593 28348 0 -1 4194304 8237 0 0 0 82145 13 0 0 25 0 1 0 310670263 35479552 8215 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/28599/statm: 8662 8215 77 171 0 8489 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 40004

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28601
/proc/meminfo: memFree=1843936/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0.46
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 336 1839 0 0 0 0 45 1 16 0 1 0 310670215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28593/statm: 1339 239 197 169 0 50 0
[pid=28599] ppid=28593 vsize=37776 CPUtime=881.57
/proc/28599/stat : 28599 (minisat_static) R 28593 28593 28348 0 -1 4194304 8924 0 0 0 88143 14 0 0 25 0 1 0 310670263 38682624 8902 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/28599/statm: 9444 8902 77 171 0 9271 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 43132

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28601
/proc/meminfo: memFree=1843104/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0.46
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 336 1839 0 0 0 0 45 1 16 0 1 0 310670215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28593/statm: 1339 239 197 169 0 50 0
[pid=28599] ppid=28593 vsize=38492 CPUtime=941.55
/proc/28599/stat : 28599 (minisat_static) R 28593 28593 28348 0 -1 4194304 9125 0 0 0 94141 14 0 0 25 0 1 0 310670263 39415808 9103 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/28599/statm: 9623 9103 77 171 0 9450 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 43848

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28601
/proc/meminfo: memFree=1842976/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0.46
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 336 1839 0 0 0 0 45 1 16 0 1 0 310670215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28593/statm: 1339 239 197 169 0 50 0
[pid=28599] ppid=28593 vsize=38656 CPUtime=1001.53
/proc/28599/stat : 28599 (minisat_static) R 28593 28593 28348 0 -1 4194304 9135 0 0 0 100139 14 0 0 25 0 1 0 310670263 39583744 9113 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/28599/statm: 9664 9113 77 171 0 9491 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 44012

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28601
/proc/meminfo: memFree=1842912/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0.46
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 336 1839 0 0 0 0 45 1 16 0 1 0 310670215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28593/statm: 1339 239 197 169 0 50 0
[pid=28599] ppid=28593 vsize=38656 CPUtime=1061.51
/proc/28599/stat : 28599 (minisat_static) R 28593 28593 28348 0 -1 4194304 9151 0 0 0 106137 14 0 0 25 0 1 0 310670263 39583744 9129 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/28599/statm: 9664 9129 77 171 0 9491 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 44012

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28601
/proc/meminfo: memFree=1842720/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0.46
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 336 1839 0 0 0 0 45 1 16 0 1 0 310670215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28593/statm: 1339 239 197 169 0 50 0
[pid=28599] ppid=28593 vsize=38808 CPUtime=1121.5
/proc/28599/stat : 28599 (minisat_static) R 28593 28593 28348 0 -1 4194304 9187 0 0 0 112136 14 0 0 25 0 1 0 310670263 39739392 9165 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/28599/statm: 9702 9165 77 171 0 9529 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 44164

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28601
/proc/meminfo: memFree=1840672/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0.46
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 336 1839 0 0 0 0 45 1 16 0 1 0 310670215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28593/statm: 1339 239 197 169 0 50 0
[pid=28599] ppid=28593 vsize=41052 CPUtime=1181.48
/proc/28599/stat : 28599 (minisat_static) R 28593 28593 28348 0 -1 4194304 9736 0 0 0 118133 15 0 0 25 0 1 0 310670263 42037248 9666 1992294400 134512640 135215339 4294956240 18446744073709551615 134528679 0 0 4096 3 0 0 0 17 1 0 0
/proc/28599/statm: 10263 9666 77 171 0 10090 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 46408



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28601
/proc/meminfo: memFree=1840608/2055920 swapFree=4180004/4192956
[pid=28593] ppid=28591 vsize=5356 CPUtime=0.46
/proc/28593/stat : 28593 (SatELiteGTI) S 28591 28593 28348 0 -1 4194304 336 1839 0 0 0 0 45 1 16 0 1 0 310670215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28593/statm: 1339 239 197 169 0 50 0
[pid=28599] ppid=28593 vsize=41132 CPUtime=1199.59
/proc/28599/stat : 28599 (minisat_static) R 28593 28593 28348 0 -1 4194304 9751 0 0 0 119943 16 0 0 25 0 1 0 310670263 42119168 9681 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/28599/statm: 10283 9681 77 171 0 10110 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 46488

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1200.41
CPU time (s): 1200.05
CPU user time (s): 1199.88
CPU system time (s): 0.17
CPU usage (%): 99.9699
Max. virtual memory (cumulated for all children) (KiB): 46488

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

runsolver used 1.12483 second user time and 3.3015 second system time

The end

Launcher Data 

Begin job on node56 at 2009-05-20 15:33:45
IDJOB=1833951
IDBENCH=71091
IDSOLVER=671
FILE ID=node56/1833951-1242826425
PBS_JOBID= 9322552
Free space on /tmp= 103040 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_07_UNSAT.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833951-1242826425/watcher-1833951-1242826425 -o /tmp/evaluation-result-1833951-1242826425/solver-1833951-1242826425 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1833951-1242826425.cnf

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

MD5SUM BENCH= 6419e2e5b92274df2e7e43e6c6a98566
RANDOM SEED=321263486

node56.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.218
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.218
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:       1882448 kB
Buffers:         49256 kB
Cached:          75264 kB
SwapCached:       7060 kB
Active:          27408 kB
Inactive:       106900 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1882448 kB
SwapTotal:     4192956 kB
SwapFree:      4180004 kB
Dirty:            2496 kB
Writeback:           0 kB
Mapped:          14600 kB
Slab:            25136 kB
Committed_AS:   962116 kB
PageTables:       1472 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= 103036 MiB
End job on node56 at 2009-05-20 15:53:47