Trace number 1821796

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 1200.03 1199.93

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 benchmark627.13
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.04	c ==============================================================================
0.00/0.04	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.04	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.04	c ==============================================================================
0.00/0.04	c |         0 |   57446   170514 |   17233       0        0     nan |  0.000 % |
0.42/0.43	c |         0 |   56659   238983 |      --       0       --      -- |     --   | -787/68469
0.42/0.43	c ==============================================================================
0.42/0.43	c Result  :   #vars: 636   #clauses: 56659   #literals: 238983
0.42/0.43	c CPU time:   0.42 s
0.42/0.43	c ==============================================================================
0.42/0.50	c This is MiniSat 2.0 beta
0.42/0.50	c WARNING: for repeatability, setting FPU to use double precision
0.42/0.50	c ============================[ Problem Statistics ]=============================
0.42/0.50	c |                                                                             |
0.42/0.51	c |  Number of variables:  636                                                  |
0.42/0.51	c |  Number of clauses:    56659                                                |
0.51/0.54	c |  Parsing time:         0.03         s                                       |
0.51/0.54	c ============================[ Search Statistics ]==============================
0.51/0.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.51/0.54	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.51/0.54	c ===============================================================================
0.51/0.54	c |         0 |     636    56659   238983 |    18886        0    nan |  0.000 % |
0.51/0.57	c |       101 |     636    56659   238983 |    18886      101     33 |  0.000 % |
0.51/0.60	c |       201 |     636    56659   238983 |    18886      201     30 |  0.000 % |
0.51/0.63	c |       301 |     636    56659   238983 |    18886      301     28 |  0.000 % |
0.51/0.68	c |       411 |     636    56659   238983 |    18886      411     27 |  0.000 % |
0.51/0.70	c |       516 |     636    56659   238983 |    18886      516     26 |  0.000 % |
0.51/0.75	c |       627 |     636    56659   238983 |    18886      627     26 |  0.000 % |
0.51/0.79	c |       749 |     636    56659   238983 |    18886      749     27 |  0.000 % |
0.51/0.82	c |       849 |     636    56659   238983 |    18886      849     27 |  0.000 % |
0.51/0.87	c |       960 |     636    56659   238983 |    18886      960     27 |  0.000 % |
0.51/0.92	c |      1081 |     636    56659   238983 |    18886     1081     27 |  0.000 % |
0.51/0.97	c |      1214 |     636    56659   238983 |    18886     1214     27 |  0.000 % |
1.02/1.02	c |      1315 |     636    56659   238983 |    18886     1315     26 |  0.000 % |
1.02/1.06	c |      1428 |     636    56659   238983 |    18886     1428     26 |  0.000 % |
1.02/1.11	c |      1549 |     636    56659   238983 |    18886     1549     25 |  0.000 % |
1.12/1.16	c |      1684 |     636    56659   238983 |    18886     1684     26 |  0.000 % |
1.21/1.22	c |      1832 |     636    56659   238983 |    18886     1832     25 |  0.000 % |
1.21/1.25	c |      1933 |     636    56659   238983 |    18886     1933     25 |  0.000 % |
1.21/1.30	c |      2044 |     636    56659   238983 |    18886     2044     25 |  0.002 % |
1.31/1.35	c |      2165 |     636    56659   238983 |    18886     2165     25 |  0.000 % |
1.31/1.40	c |      2298 |     636    56659   238983 |    18886     2298     25 |  0.000 % |
1.41/1.45	c |      2449 |     636    56659   238983 |    18886     2449     25 |  0.000 % |
1.51/1.51	c |      2611 |     636    56659   238983 |    18886     2611     25 |  0.000 % |
1.51/1.55	c |      2711 |     636    56659   238983 |    18886     2711     24 |  0.000 % |
1.51/1.60	c |      2824 |     636    56659   238983 |    18886     2824     24 |  0.000 % |
1.61/1.64	c |      2946 |     636    56659   238983 |    18886     2946     24 |  0.000 % |
1.61/1.69	c |      3079 |     636    56659   238983 |    18886     3079     24 |  0.000 % |
1.71/1.73	c |      3225 |     636    56659   238983 |    18886     3225     24 |  0.000 % |
1.71/1.79	c |      3386 |     636    56659   238983 |    18886     3386     24 |  0.000 % |
1.81/1.87	c |      3564 |     636    56659   238983 |    18886     3564     24 |  0.000 % |
1.81/1.91	c |      3665 |     636    56659   238983 |    18886     3665     24 |  0.000 % |
1.91/1.95	c |      3777 |     636    56659   238983 |    18886     3777     24 |  0.000 % |
1.91/1.99	c |      3898 |     636    56659   238983 |    18886     3898     24 |  0.000 % |
2.01/2.03	c |      4031 |     636    56659   238983 |    18886     4031     24 |  0.000 % |
2.01/2.08	c |      4178 |     636    56659   238983 |    18886     4178     24 |  0.000 % |
2.11/2.14	c |      4338 |     636    56659   238983 |    18886     4338     24 |  0.000 % |
2.11/2.21	c |      4514 |     636    56659   238983 |    18886     4514     24 |  0.000 % |
2.22/2.28	c |      4709 |     636    56659   238983 |    18886     4709     25 |  0.000 % |
2.31/2.32	c |      4811 |     636    56659   238983 |    18886     4811     25 |  0.000 % |
2.31/2.35	c |      4922 |     636    56659   238983 |    18886     4922     25 |  0.000 % |
2.31/2.38	c |      5044 |     636    56659   238983 |    18886     5044     25 |  0.000 % |
2.41/2.43	c |      5181 |     636    56659   238983 |    18886     5181     26 |  0.000 % |
2.41/2.48	c |      5328 |     636    56659   238983 |    18886     5328     26 |  0.000 % |
2.51/2.55	c |      5488 |     636    56659   238983 |    18886     5488     26 |  0.000 % |
2.61/2.62	c |      5664 |     636    56659   238983 |    18886     5664     26 |  0.000 % |
2.61/2.71	c |      5857 |     636    56659   238983 |    18886     5857     25 |  0.000 % |
2.71/2.81	c |      6070 |     636    56659   238983 |    18886     6070     25 |  0.000 % |
2.81/2.85	c |      6170 |     636    56659   238983 |    18886     6170     25 |  0.000 % |
2.81/2.90	c |      6281 |     636    56659   238983 |    18886     6281     25 |  0.000 % |
2.91/2.95	c |      6403 |     636    56659   238983 |    18886     6403     25 |  0.002 % |
2.91/3.01	c |      6537 |     636    56659   238983 |    18886     6537     25 |  0.000 % |
3.01/3.07	c |      6683 |     636    56659   238983 |    18886     6683     25 |  0.000 % |
3.11/3.13	c |      6844 |     636    56659   238983 |    18886     6844     25 |  0.002 % |
3.11/3.19	c |      7020 |     636    56659   238983 |    18886     7020     25 |  0.000 % |
3.21/3.25	c |      7213 |     636    56659   238983 |    18886     7213     26 |  0.000 % |
3.21/3.32	c |      7428 |     636    56659   238983 |    18886     7428     26 |  0.000 % |
3.32/3.40	c |      7661 |     636    56659   238983 |    18886     7661     26 |  0.000 % |
3.41/3.43	c |      7761 |     636    56659   238983 |    18886     7761     26 |  0.000 % |
3.41/3.46	c |      7874 |     636    56659   238983 |    18886     7874     26 |  0.000 % |
3.41/3.50	c |      7997 |     636    56659   238983 |    18886     7997     26 |  0.000 % |
3.51/3.54	c |      8131 |     636    56659   238983 |    18886     8131     27 |  0.000 % |
3.51/3.58	c |      8277 |     636    56659   238983 |    18886     8277     27 |  0.000 % |
3.61/3.64	c |      8439 |     636    56659   238983 |    18886     8439     27 |  0.000 % |
3.61/3.70	c |      8616 |     636    56659   238983 |    18886     8616     27 |  0.000 % |
3.71/3.76	c |      8810 |     636    56659   238983 |    18886     8810     27 |  0.000 % |
3.81/3.84	c |      9024 |     636    56659   238983 |    18886     9024     27 |  0.000 % |
3.91/3.95	c |      9257 |     636    56659   238983 |    18886     9257     27 |  0.000 % |
4.01/4.04	c |      9513 |     636    56659   238983 |    18886     9513     28 |  0.000 % |
4.01/4.08	c |      9615 |     636    56659   238983 |    18886     9615     28 |  0.000 % |
4.11/4.13	c |      9727 |     636    56659   238983 |    18886     9727     28 |  0.000 % |
4.11/4.20	c |      9848 |     636    56659   238983 |    18886     9848     28 |  0.000 % |
4.21/4.27	c |      9981 |     636    56659   238983 |    18886     9981     28 |  0.000 % |
4.31/4.35	c |     10127 |     636    56659   238983 | 2147483647    10127     28 |  0.000 % |
4.42/4.44	c |     10290 |     636    56659   238983 | 2147483647    10290     28 |  0.000 % |
4.51/4.53	c |     10466 |     636    56659   238983 | 2147483647    10466     28 |  0.000 % |
4.61/4.63	c |     10659 |     636    56659   238983 | 2147483647    10659     28 |  0.000 % |
4.71/4.73	c |     10871 |     636    56659   238983 | 2147483647    10871     28 |  0.000 % |
4.81/4.84	c |     11110 |     636    56659   238983 | 2147483647    11110     28 |  0.000 % |
4.91/4.98	c |     11367 |     636    56659   238983 | 2147483647    11367     27 |  0.000 % |
5.11/5.13	c |     11649 |     636    56659   238983 | 2147483647    11649     27 |  0.000 % |
5.11/5.18	c |     11750 |     636    56659   238983 | 2147483647    11750     27 |  0.000 % |
5.21/5.23	c |     11861 |     636    56659   238983 | 2147483647    11861     27 |  0.000 % |
5.21/5.28	c |     11982 |     636    56659   238983 | 2147483647    11982     27 |  0.000 % |
5.31/5.36	c |     12118 |     636    56659   238983 | 2147483647    12118     27 |  0.000 % |
5.41/5.43	c |     12265 |     636    56659   238983 | 2147483647    12265     27 |  0.000 % |
5.41/5.51	c |     12425 |     636    56659   238983 | 2147483647    12425     27 |  0.000 % |
5.52/5.60	c |     12602 |     636    56659   238983 | 2147483647    12602     27 |  0.000 % |
5.71/5.72	c |     12797 |     636    56659   238983 | 2147483647    12797     27 |  0.000 % |
5.71/5.81	c |     13014 |     636    56659   238983 | 2147483647    13014     27 |  0.000 % |
5.91/5.94	c |     13247 |     636    56659   238983 | 2147483647    13247     27 |  0.000 % |
6.01/6.04	c |     13505 |     636    56659   238983 | 2147483647    13505     27 |  0.000 % |
6.11/6.19	c |     13788 |     636    56659   238983 | 2147483647    13788     27 |  0.000 % |
6.31/6.38	c |     14100 |     636    56659   238983 | 2147483647    14100     27 |  0.000 % |
6.41/6.42	c |     14201 |     636    56659   238983 | 2147483647    14201     27 |  0.000 % |
6.41/6.47	c |     14311 |     636    56659   238983 | 2147483647    14311     27 |  0.000 % |
6.51/6.52	c |     14433 |     636    56659   238983 | 2147483647    14433     27 |  0.000 % |
6.51/6.57	c |     14568 |     636    56659   238983 | 2147483647    14568     27 |  0.000 % |
6.62/6.65	c |     14717 |     636    56659   238983 | 2147483647    14717     27 |  0.000 % |
6.71/6.73	c |     14877 |     636    56659   238983 | 2147483647    14877     27 |  0.000 % |
6.81/6.83	c |     15053 |     636    56659   238983 | 2147483647    15053     27 |  0.000 % |
6.91/6.93	c |     15246 |     636    56659   238983 | 2147483647    15246     27 |  0.000 % |
7.01/7.05	c |     15459 |     636    56659   238983 | 2147483647    15459     27 |  0.000 % |
7.11/7.19	c |     15693 |     636    56659   238983 | 2147483647    15693     27 |  0.000 % |
7.31/7.34	c |     15949 |     636    56659   238983 | 2147483647    15949     27 |  0.000 % |
7.51/7.52	c |     16234 |     636    56659   238983 | 2147483647    16234     27 |  0.000 % |
7.61/7.70	c |     16545 |     636    56659   238983 | 2147483647    16545     27 |  0.000 % |
7.81/7.90	c |     16884 |     636    56659   238983 | 2147483647    16884     27 |  0.000 % |
7.91/7.96	c |     16984 |     636    56659   238983 | 2147483647    16984     27 |  0.000 % |
8.01/8.04	c |     17096 |     636    56659   238983 | 2147483647    17096     27 |  0.000 % |
8.11/8.12	c |     17219 |     636    56659   238983 | 2147483647    17219     27 |  0.000 % |
8.11/8.21	c |     17352 |     636    56659   238983 | 2147483647    17352     27 |  0.000 % |
8.31/8.31	c |     17502 |     636    56659   238983 | 2147483647    17502     27 |  0.000 % |
8.41/8.41	c |     17662 |     636    56659   238983 | 2147483647    17662     27 |  0.000 % |
8.41/8.50	c |     17838 |     636    56659   238983 | 2147483647    17838     27 |  0.000 % |
8.51/8.59	c |     18031 |     636    56659   238983 | 2147483647    18031     27 |  0.000 % |
8.61/8.71	c |     18244 |     636    56659   238983 | 2147483647    18244     28 |  0.000 % |
8.82/8.84	c |     18478 |     636    56659   238983 | 2147483647    18478     28 |  0.000 % |
8.91/8.98	c |     18734 |     636    56659   238983 | 2147483647    18734     28 |  0.000 % |
9.11/9.17	c |     19019 |     636    56659   238983 | 2147483647    19019     28 |  0.000 % |
9.31/9.35	c |     19328 |     636    56659   238983 | 2147483647    19328     28 |  0.000 % |
9.51/9.56	c |     19667 |     636    56659   238983 | 2147483647    19667     28 |  0.000 % |
9.71/9.80	c |     20040 |     636    56659   238983 | 2147483647    20040     28 |  0.000 % |
9.81/9.86	c |     20140 |     636    56659   238983 | 2147483647    20140     28 |  0.000 % |
9.92/9.92	c |     20250 |     636    56659   238983 | 2147483647    20250     28 |  0.000 % |
9.92/10.01	c |     20371 |     636    56659   238983 | 2147483647    20371     28 |  0.000 % |
10.01/10.08	c |     20504 |     636    56659   238983 | 2147483647    20504     28 |  0.000 % |
10.11/10.20	c |     20650 |     636    56659   238983 | 2147483647    20650     28 |  0.000 % |
10.21/10.28	c |     20810 |     636    56659   238983 | 2147483647    20810     28 |  0.000 % |
10.31/10.38	c |     20986 |     636    56659   238983 | 2147483647    20986     28 |  0.000 % |
10.41/10.48	c |     21183 |     636    56659   238983 | 2147483647    21183     27 |  0.000 % |
10.51/10.60	c |     21397 |     636    56659   238983 | 2147483647    21397     27 |  0.000 % |
10.71/10.78	c |     21630 |     636    56659   238983 | 2147483647    21630     27 |  0.000 % |
10.91/10.95	c |     21887 |     636    56659   238983 | 2147483647    21887     27 |  0.000 % |
11.11/11.15	c |     22168 |     636    56659   238983 | 2147483647    22168     27 |  0.000 % |
11.31/11.31	c |     22478 |     636    56659   238983 | 2147483647    22478     27 |  0.000 % |
11.41/11.47	c |     22818 |     636    56659   238983 | 2147483647    22818     27 |  0.000 % |
11.61/11.68	c |     23193 |     636    56659   238983 | 2147483647    23193     27 |  0.000 % |
11.81/11.87	c |     23603 |     636    56659   238983 | 2147483647    23603     27 |  0.000 % |
11.91/11.92	c |     23703 |     636    56659   238983 | 2147483647    23703     28 |  0.000 % |
11.91/11.97	c |     23813 |     636    56659   238983 | 2147483647    23813     28 |  0.000 % |
12.01/12.02	c |     23934 |     636    56659   238983 | 2147483647    23934     28 |  0.000 % |
12.01/12.07	c |     24067 |     636    56659   238983 | 2147483647    24067     28 |  0.000 % |
12.12/12.18	c |     24213 |     636    56659   238983 | 2147483647    24213     28 |  0.000 % |
12.21/12.27	c |     24373 |     636    56659   238983 | 2147483647    24373     28 |  0.000 % |
12.31/12.37	c |     24551 |     636    56659   238983 | 2147483647    24551     28 |  0.000 % |
12.41/12.50	c |     24747 |     636    56659   238983 | 2147483647    24747     28 |  0.000 % |
12.61/12.67	c |     24961 |     636    56659   238983 | 2147483647    24961     28 |  0.000 % |
12.81/12.87	c |     25194 |     636    56659   238983 | 2147483647    25194     28 |  0.000 % |
13.01/13.05	c |     25450 |     636    56659   238983 | 2147483647    25450     28 |  0.000 % |
13.22/13.25	c |     25731 |     636    56659   238983 | 2147483647    25731     28 |  0.000 % |
13.41/13.45	c |     26040 |     636    56659   238983 | 2147483647    26040     27 |  0.000 % |
13.71/13.74	c |     26380 |     636    56659   238983 | 2147483647    26380     28 |  0.000 % |
13.91/14.00	c |     26753 |     636    56659   238983 | 2147483647    26753     28 |  0.000 % |
14.32/14.34	c |     27165 |     636    56659   238983 | 2147483647    27165     27 |  0.000 % |
14.61/14.66	c |     27614 |     636    56659   238983 | 2147483647    27614     27 |  0.000 % |
14.71/14.74	c |     27714 |     636    56659   238983 | 2147483647    27714     27 |  0.000 % |
14.81/14.83	c |     27826 |     636    56659   238983 | 2147483647    27826     27 |  0.000 % |
14.91/14.93	c |     27949 |     636    56659   238983 | 2147483647    27949     27 |  0.000 % |
15.01/15.03	c |     28082 |     636    56659   238983 | 2147483647    28082     27 |  0.000 % |
15.11/15.15	c |     28228 |     636    56659   238983 | 2147483647    28228     27 |  0.000 % |
15.21/15.26	c |     28391 |     636    56659   238983 | 2147483647    28391     27 |  0.000 % |
15.31/15.39	c |     28567 |     636    56659   238983 | 2147483647    28567     27 |  0.000 % |
15.51/15.56	c |     28761 |     636    56659   238983 | 2147483647    28761     28 |  0.000 % |
15.71/15.72	c |     28973 |     636    56659   238983 | 2147483647    28973     28 |  0.000 % |
15.81/15.87	c |     29206 |     636    56659   238983 | 2147483647    29206     28 |  0.000 % |
15.91/16.00	c |     29462 |     636    56659   238983 | 2147483647    29462     28 |  0.000 % |
16.11/16.14	c |     29745 |     636    56659   238983 | 2147483647    29745     28 |  0.000 % |
16.21/16.28	c |     30055 |     636    56659   238983 | 2147483647    30055     28 |  0.000 % |
16.52/16.58	c |     30394 |     636    56659   238983 | 2147483647    30394     28 |  0.000 % |
16.91/16.92	c |     30766 |     636    56659   238983 | 2147483647    30766     28 |  0.000 % |
17.21/17.23	c |     31175 |     636    56659   238983 | 2147483647    31175     28 |  0.000 % |
17.51/17.61	c |     31627 |     636    56659   238983 | 2147483647    31627     28 |  0.000 % |
18.01/18.01	c |     32120 |     636    56659   238983 | 2147483647    32120     28 |  0.000 % |
18.01/18.10	c |     32223 |     636    56659   238983 | 2147483647    32223     28 |  0.000 % |
18.11/18.18	c |     32334 |     636    56659   238983 | 2147483647    32334     28 |  0.000 % |
18.21/18.26	c |     32455 |     636    56659   238983 | 2147483647    32455     27 |  0.000 % |
18.31/18.34	c |     32591 |     636    56659   238983 | 2147483647    32591     27 |  0.000 % |
18.41/18.49	c |     32737 |     636    56659   238983 | 2147483647    32737     27 |  0.000 % |
18.61/18.64	c |     32897 |     636    56659   238983 | 2147483647    32897     27 |  0.000 % |
18.72/18.80	c |     33076 |     636    56659   238983 | 2147483647    33076     27 |  0.000 % |
18.91/18.99	c |     33270 |     636    56659   238983 | 2147483647    33270     28 |  0.000 % |
19.11/19.17	c |     33483 |     636    56659   238983 | 2147483647    33483     28 |  0.000 % |
19.31/19.38	c |     33717 |     636    56659   238983 | 2147483647    33717     28 |  0.000 % |
19.61/19.61	c |     33976 |     636    56659   238983 | 2147483647    33976     28 |  0.000 % |
19.82/19.87	c |     34257 |     636    56659   238983 | 2147483647    34257     28 |  0.000 % |
20.11/20.13	c |     34569 |     636    56659   238983 | 2147483647    34569     27 |  0.000 % |
20.41/20.45	c |     34909 |     636    56659   238983 | 2147483647    34909     28 |  0.000 % |
20.71/20.76	c |     35281 |     636    56659   238983 | 2147483647    35281     28 |  0.000 % |
21.01/21.06	c |     35692 |     636    56659   238983 | 2147483647    35692     27 |  0.000 % |
21.31/21.39	c |     36144 |     636    56659   238983 | 2147483647    36144     27 |  0.000 % |
21.81/21.89	c |     36637 |     636    56659   238983 | 2147483647    36637     27 |  0.000 % |
22.31/22.39	c |     37180 |     636    56659   238983 | 2147483647    37180     27 |  0.000 % |
22.41/22.50	c |     37280 |     636    56659   238983 | 2147483647    37280     27 |  0.000 % |
22.61/22.62	c |     37394 |     636    56659   238983 | 2147483647    37394     27 |  0.000 % |
22.71/22.71	c |     37515 |     636    56659   238983 | 2147483647    37515     27 |  0.000 % |
22.81/22.89	c |     37648 |     636    56659   238983 | 2147483647    37648     27 |  0.000 % |
22.91/23.00	c |     37795 |     636    56659   238983 | 2147483647    37795     27 |  0.000 % |
23.12/23.12	c |     37955 |     636    56659   238983 | 2147483647    37955     27 |  0.000 % |
23.21/23.29	c |     38132 |     636    56659   238983 | 2147483647    38132     27 |  0.000 % |
23.41/23.47	c |     38326 |     636    56659   238983 | 2147483647    38326     27 |  0.000 % |
23.61/23.65	c |     38542 |     636    56659   238983 | 2147483647    38542     27 |  0.000 % |
23.81/23.89	c |     38775 |     636    56659   238983 | 2147483647    38775     27 |  0.000 % |
24.11/24.15	c |     39032 |     636    56659   238983 | 2147483647    39032     27 |  0.000 % |
24.41/24.45	c |     39314 |     636    56659   238983 | 2147483647    39314     27 |  0.000 % |
24.71/24.74	c |     39623 |     636    56659   238983 | 2147483647    39623     27 |  0.000 % |
25.01/25.06	c |     39962 |     636    56659   238983 | 2147483647    39962     27 |  0.000 % |
25.32/25.40	c |     40334 |     636    56659   238983 | 2147483647    40334     28 |  0.000 % |
25.71/25.80	c |     40744 |     636    56659   238983 | 2147483647    40744     28 |  0.000 % |
26.21/26.24	c |     41193 |     636    56659   238983 | 2147483647    41193     28 |  0.000 % |
26.71/26.74	c |     41686 |     636    56659   238983 | 2147483647    41686     28 |  0.000 % |
27.21/27.28	c |     42228 |     636    56659   238983 | 2147483647    42228     28 |  0.000 % |
27.81/27.83	c |     42824 |     636    56659   238983 | 2147483647    42824     28 |  0.000 % |
27.91/27.92	c |     42930 |     636    56659   238983 | 2147483647    42930     28 |  0.000 % |
28.01/28.03	c |     43044 |     636    56659   238983 | 2147483647    43044     28 |  0.000 % |
28.11/28.18	c |     43166 |     636    56659   238983 | 2147483647    43166     28 |  0.000 % |
28.31/28.31	c |     43299 |     636    56659   238983 | 2147483647    43299     28 |  0.000 % |
28.41/28.45	c |     43445 |     636    56659   238983 | 2147483647    43445     28 |  0.000 % |
28.51/28.61	c |     43605 |     636    56659   238983 | 2147483647    43605     28 |  0.000 % |
28.71/28.78	c |     43781 |     636    56659   238983 | 2147483647    43781     28 |  0.000 % |
28.91/28.99	c |     43975 |     636    56659   238983 | 2147483647    43975     28 |  0.000 % |
29.11/29.20	c |     44189 |     636    56659   238983 | 2147483647    44189     28 |  0.000 % |
29.41/29.42	c |     44422 |     636    56659   238983 | 2147483647    44422     28 |  0.000 % |
29.61/29.67	c |     44678 |     636    56659   238983 | 2147483647    44678     28 |  0.000 % |
29.91/29.94	c |     44960 |     636    56659   238983 | 2147483647    44960     28 |  0.000 % |
30.21/30.22	c |     45270 |     636    56659   238983 | 2147483647    45270     28 |  0.000 % |
30.51/30.55	c |     45611 |     636    56659   238983 | 2147483647    45611     27 |  0.000 % |
30.91/30.91	c |     45983 |     636    56659   238983 | 2147483647    45983     27 |  0.000 % |
31.21/31.30	c |     46394 |     636    56659   238983 | 2147483647    46394     27 |  0.000 % |
31.61/31.70	c |     46846 |     636    56659   238983 | 2147483647    46846     27 |  0.000 % |
32.12/32.21	c |     47339 |     636    56659   238983 | 2147483647    47339     27 |  0.000 % |
32.72/32.78	c |     47881 |     636    56659   238983 | 2147483647    47881     27 |  0.000 % |
33.42/33.46	c |     48478 |     636    56659   238983 | 2147483647    48478     27 |  0.000 % |
34.02/34.10	c |     49135 |     636    56659   238983 | 2147483647    49135     27 |  0.000 % |
34.12/34.22	c |     49236 |     636    56659   238983 | 2147483647    49236     27 |  0.000 % |
34.32/34.34	c |     49346 |     636    56659   238983 | 2147483647    49346     27 |  0.000 % |
34.42/34.50	c |     49471 |     636    56659   238983 | 2147483647    49471     27 |  0.000 % |
34.62/34.64	c |     49604 |     636    56659   238983 | 2147483647    49604     27 |  0.000 % |
34.72/34.79	c |     49750 |     636    56659   238983 | 2147483647    49750     27 |  0.000 % |
34.92/34.99	c |     49911 |     636    56659   238983 | 2147483647    49911     27 |  0.000 % |
35.12/35.20	c |     50089 |     636    56659   238983 | 2147483647    50089     27 |  0.000 % |
35.42/35.45	c |     50283 |     636    56659   238983 | 2147483647    50283     27 |  0.000 % |
35.62/35.67	c |     50496 |     636    56659   238983 | 2147483647    50496     27 |  0.000 % |
35.92/35.93	c |     50732 |     636    56659   238983 | 2147483647    50732     27 |  0.000 % |
36.12/36.18	c |     50988 |     636    56659   238983 | 2147483647    50988     27 |  0.000 % |
36.42/36.47	c |     51269 |     636    56659   238983 | 2147483647    51269     27 |  0.000 % |
36.72/36.79	c |     51580 |     636    56659   238983 | 2147483647    51580     27 |  0.000 % |
37.22/37.27	c |     51919 |     636    56659   238983 | 2147483647    51919     27 |  0.000 % |
37.62/37.70	c |     52295 |     636    56659   238983 | 2147483647    52295     27 |  0.000 % |
38.12/38.19	c |     52704 |     636    56659   238983 | 2147483647    52704     27 |  0.000 % |
38.72/38.76	c |     53154 |     636    56659   238983 | 2147483647    53154     27 |  0.000 % |
39.32/39.35	c |     53647 |     636    56659   238983 | 2147483647    53647     27 |  0.000 % |
39.92/39.99	c |     54189 |     636    56659   238983 | 2147483647    54189     27 |  0.000 % |
40.72/40.74	c |     54786 |     636    56659   238983 | 2147483647    54786     27 |  0.000 % |
41.42/41.49	c |     55442 |     636    56659   238983 | 2147483647    55442     27 |  0.000 % |
42.22/42.31	c |     56170 |     636    56659   238983 | 2147483647    56170     27 |  0.000 % |
42.42/42.43	c |     56270 |     636    56659   238983 | 2147483647    56270     27 |  0.000 % |
42.52/42.54	c |     56383 |     636    56659   238983 | 2147483647    56383     27 |  0.000 % |
42.62/42.68	c |     56505 |     636    56659   238983 | 2147483647    56505     27 |  0.000 % |
42.82/42.87	c |     56638 |     636    56659   238983 | 2147483647    56638     27 |  0.000 % |
42.92/43.02	c |     56784 |     636    56659   238983 | 2147483647    56784     27 |  0.000 % |
43.22/43.23	c |     56944 |     636    56659   238983 | 2147483647    56944     27 |  0.000 % |
43.32/43.41	c |     57120 |     636    56659   238983 | 2147483647    57120     27 |  0.000 % |
43.52/43.60	c |     57313 |     636    56659   238983 | 2147483647    57313     27 |  0.000 % |
43.82/43.83	c |     57525 |     636    56659   238983 | 2147483647    57525     27 |  0.000 % |
44.12/44.17	c |     57758 |     636    56659   238983 | 2147483647    57758     27 |  0.000 % |
44.42/44.49	c |     58015 |     636    56659   238983 | 2147483647    58015     27 |  0.000 % |
44.92/44.93	c |     58296 |     636    56659   238983 | 2147483647    58296     27 |  0.000 % |
45.32/45.39	c |     58608 |     636    56659   238983 | 2147483647    58608     27 |  0.000 % |
45.82/45.82	c |     58947 |     636    56659   238983 | 2147483647    58947     27 |  0.000 % |
46.22/46.30	c |     59322 |     636    56659   238983 | 2147483647    59322     27 |  0.000 % |
46.72/46.80	c |     59731 |     636    56659   238983 | 2147483647    59731     27 |  0.000 % |
47.32/47.34	c |     60180 |     636    56659   238983 | 2147483647    60180     27 |  0.000 % |
47.92/48.00	c |     60675 |     636    56659   238983 | 2147483647    60675     27 |  0.000 % |
48.72/48.75	c |     61217 |     636    56659   238983 | 2147483647    61217     28 |  0.000 % |
49.52/49.58	c |     61813 |     636    56659   238983 | 2147483647    61813     28 |  0.000 % |
50.42/50.51	c |     62468 |     636    56659   238983 | 2147483647    62468     28 |  0.000 % |
51.42/51.47	c |     63189 |     636    56659   238983 | 2147483647    63189     28 |  0.000 % |
52.42/52.48	c |     63983 |     636    56659   238983 | 2147483647    63983     28 |  0.000 % |
52.52/52.60	c |     64086 |     636    56659   238983 | 2147483647    64086     28 |  0.000 % |
52.72/52.79	c |     64197 |     636    56659   238983 | 2147483647    64197     28 |  0.000 % |
52.92/52.96	c |     64318 |     636    56659   238983 | 2147483647    64318     28 |  0.000 % |
53.12/53.14	c |     64452 |     636    56659   238983 | 2147483647    64452     28 |  0.000 % |
53.32/53.35	c |     64600 |     636    56659   238983 | 2147483647    64600     28 |  0.000 % |
53.52/53.60	c |     64761 |     636    56659   238983 | 2147483647    64761     28 |  0.000 % |
53.82/53.89	c |     64937 |     636    56659   238983 | 2147483647    64937     28 |  0.000 % |
54.12/54.20	c |     65131 |     636    56659   238983 | 2147483647    65131     28 |  0.000 % |
54.52/54.52	c |     65345 |     636    56659   238983 | 2147483647    65345     28 |  0.000 % |
54.82/54.85	c |     65578 |     636    56659   238983 | 2147483647    65578     28 |  0.000 % |
55.22/55.31	c |     65835 |     636    56659   238983 | 2147483647    65835     28 |  0.000 % |
55.72/55.77	c |     66118 |     636    56659   238983 | 2147483647    66118     28 |  0.000 % |
56.21/56.21	c |     66427 |     636    56659   238983 | 2147483647    66427     28 |  0.000 % |
56.61/56.66	c |     66766 |     636    56659   238983 | 2147483647    66766     28 |  0.000 % |
57.21/57.21	c |     67138 |     636    56659   238983 | 2147483647    67138     28 |  0.000 % |
57.81/57.83	c |     67548 |     636    56659   238983 | 2147483647    67548     28 |  0.000 % |
58.51/58.58	c |     67998 |     636    56659   238983 | 2147483647    67998     28 |  0.000 % |
59.11/59.21	c |     68495 |     636    56659   238983 | 2147483647    68495     28 |  0.000 % |
60.01/60.05	c |     69037 |     636    56659   238983 | 2147483647    69037     28 |  0.000 % |
61.11/61.14	c |     69635 |     636    56659   238983 | 2147483647    69635     28 |  0.000 % |
62.21/62.27	c |     70292 |     636    56659   238983 | 2147483647    70292     28 |  0.000 % |
63.41/63.42	c |     71013 |     636    56659   238983 | 2147483647    71013     28 |  0.000 % |
64.81/64.87	c |     71806 |     636    56659   238983 | 2147483647    71806     28 |  0.000 % |
66.01/66.05	c |     72677 |     636    56659   238983 | 2147483647    72677     28 |  0.000 % |
66.11/66.19	c |     72779 |     636    56659   238983 | 2147483647    72779     28 |  0.000 % |
66.31/66.33	c |     72891 |     636    56659   238983 | 2147483647    72891     28 |  0.000 % |
66.51/66.54	c |     73012 |     636    56659   238983 | 2147483647    73012     28 |  0.000 % |
66.81/66.88	c |     73146 |     636    56659   238983 | 2147483647    73146     28 |  0.000 % |
67.11/67.14	c |     73293 |     636    56659   238983 | 2147483647    73293     28 |  0.000 % |
67.31/67.40	c |     73456 |     636    56659   238983 | 2147483647    73456     28 |  0.000 % |
67.61/67.69	c |     73632 |     636    56659   238983 | 2147483647    73632     28 |  0.000 % |
67.91/67.99	c |     73828 |     636    56659   238983 | 2147483647    73828     28 |  0.000 % |
68.31/68.31	c |     74043 |     636    56659   238983 | 2147483647    74043     28 |  0.000 % |
68.81/68.81	c |     74276 |     636    56659   238983 | 2147483647    74276     28 |  0.000 % |
69.21/69.23	c |     74536 |     636    56659   238983 | 2147483647    74536     28 |  0.000 % |
69.81/69.81	c |     74817 |     636    56659   238983 | 2147483647    74817     28 |  0.000 % |
70.31/70.32	c |     75127 |     636    56659   238983 | 2147483647    75127     28 |  0.000 % |
70.71/70.80	c |     75468 |     636    56659   238983 | 2147483647    75468     28 |  0.000 % |
71.31/71.34	c |     75841 |     636    56659   238983 | 2147483647    75841     28 |  0.000 % |
72.01/72.06	c |     76250 |     636    56659   238983 | 2147483647    76250     28 |  0.000 % |
72.91/72.95	c |     76702 |     636    56659   238983 | 2147483647    76702     28 |  0.000 % |
73.61/73.66	c |     77198 |     636    56659   238983 | 2147483647    77198     28 |  0.000 % |
74.51/74.53	c |     77741 |     636    56659   238983 | 2147483647    77741     28 |  0.000 % |
75.41/75.46	c |     78337 |     636    56659   238983 | 2147483647    78337     28 |  0.000 % |
76.41/76.44	c |     78992 |     636    56659   238983 | 2147483647    78992     28 |  0.000 % |
77.51/77.55	c |     79712 |     636    56659   238983 | 2147483647    79712     28 |  0.000 % |
78.81/78.81	c |     80505 |     636    56659   238983 | 2147483647    80505     28 |  0.000 % |
80.51/80.53	c |     81376 |     636    56659   238983 | 2147483647    81376     28 |  0.000 % |
82.11/82.13	c |     82335 |     636    56659   238983 | 2147483647    82335     28 |  0.000 % |
82.31/82.35	c |     82437 |     636    56659   238983 | 2147483647    82437     28 |  0.000 % |
82.52/82.55	c |     82547 |     636    56659   238983 | 2147483647    82547     28 |  0.000 % |
82.81/82.82	c |     82671 |     636    56659   238983 | 2147483647    82671     28 |  0.000 % |
83.01/83.09	c |     82811 |     636    56659   238983 | 2147483647    82811     28 |  0.000 % |
83.31/83.39	c |     82958 |     636    56659   238983 | 2147483647    82958     28 |  0.000 % |
83.62/83.70	c |     83118 |     636    56659   238983 | 2147483647    83118     28 |  0.000 % |
83.91/83.97	c |     83294 |     636    56659   238983 | 2147483647    83294     28 |  0.000 % |
84.21/84.29	c |     83487 |     636    56659   238983 | 2147483647    83487     28 |  0.000 % |
84.61/84.66	c |     83699 |     636    56659   238983 | 2147483647    83699     28 |  0.000 % |
85.01/85.07	c |     83932 |     636    56659   238983 | 2147483647    83932     28 |  0.000 % |
85.51/85.59	c |     84189 |     636    56659   238983 | 2147483647    84189     28 |  0.000 % |
86.01/86.07	c |     84472 |     636    56659   238983 | 2147483647    84472     28 |  0.000 % |
86.51/86.55	c |     84781 |     636    56659   238983 | 2147483647    84781     28 |  0.000 % |
87.01/87.10	c |     85123 |     636    56659   238983 | 2147483647    85123     28 |  0.000 % |
87.61/87.66	c |     85496 |     636    56659   238983 | 2147483647    85496     28 |  0.000 % |
88.31/88.39	c |     85905 |     636    56659   238983 | 2147483647    85905     28 |  0.000 % |
89.21/89.24	c |     86355 |     636    56659   238983 | 2147483647    86355     28 |  0.000 % |
90.01/90.08	c |     86848 |     636    56659   238983 | 2147483647    86848     28 |  0.000 % |
90.91/91.00	c |     87390 |     636    56659   238983 | 2147483647    87390     28 |  0.000 % |
91.91/91.91	c |     87987 |     636    56659   238983 | 2147483647    87987     28 |  0.000 % |
92.91/92.94	c |     88643 |     636    56659   238983 | 2147483647    88643     28 |  0.000 % |
94.31/94.39	c |     89363 |     636    56659   238983 | 2147483647    89363     28 |  0.000 % |
95.72/95.76	c |     90155 |     636    56659   238983 | 2147483647    90155     28 |  0.000 % |
97.41/97.41	c |     91031 |     636    56659   238983 | 2147483647    91031     28 |  0.000 % |
99.41/99.40	c |     91990 |     636    56659   238983 | 2147483647    91990     28 |  0.000 % |
101.61/101.66	c |     93043 |     636    56659   238983 | 2147483647    93043     28 |  0.000 % |
101.91/101.93	c |     93143 |     636    56659   238983 | 2147483647    93143     28 |  0.000 % |
102.21/102.24	c |     93254 |     636    56659   238983 | 2147483647    93254     28 |  0.000 % |
102.41/102.48	c |     93377 |     636    56659   238983 | 2147483647    93377     28 |  0.000 % |
102.71/102.78	c |     93513 |     636    56659   238983 | 2147483647    93513     28 |  0.000 % |
103.11/103.16	c |     93659 |     636    56659   238983 | 2147483647    93659     28 |  0.000 % |
103.51/103.52	c |     93819 |     636    56659   238983 | 2147483647    93819     28 |  0.000 % |
103.81/103.89	c |     93997 |     636    56659   238983 | 2147483647    93997     28 |  0.000 % |
104.21/104.27	c |     94190 |     636    56659   238983 | 2147483647    94190     28 |  0.000 % |
104.61/104.67	c |     94404 |     636    56659   238983 | 2147483647    94404     28 |  0.000 % |
105.11/105.12	c |     94637 |     636    56659   238983 | 2147483647    94637     28 |  0.000 % |
105.62/105.64	c |     94893 |     636    56659   238983 | 2147483647    94893     28 |  0.000 % |
106.21/106.29	c |     95176 |     636    56659   238983 | 2147483647    95176     28 |  0.000 % |
106.81/106.82	c |     95485 |     636    56659   238983 | 2147483647    95485     28 |  0.000 % |
107.41/107.46	c |     95826 |     636    56659   238983 | 2147483647    95826     28 |  0.000 % |
108.31/108.33	c |     96200 |     636    56659   238983 | 2147483647    96200     28 |  0.000 % |
109.11/109.14	c |     96609 |     636    56659   238983 | 2147483647    96609     28 |  0.000 % |
110.02/110.05	c |     97059 |     636    56659   238983 | 2147483647    97059     28 |  0.000 % |
111.12/111.18	c |     97553 |     636    56659   238983 | 2147483647    97553     28 |  0.000 % |
112.51/112.55	c |     98095 |     636    56659   238983 | 2147483647    98095     28 |  0.000 % |
114.01/114.00	c |     98691 |     636    56659   238983 | 2147483647    98691     28 |  0.000 % |
115.32/115.37	c |     99347 |     636    56659   238983 | 2147483647    99347     28 |  0.000 % |
116.62/116.67	c |    100067 |     636    56659   238983 | 2147483647   100067     28 |  0.000 % |
118.22/118.24	c |    100859 |     636    56659   238983 | 2147483647   100859     28 |  0.000 % |
119.72/119.71	c |    101730 |     636    56659   238983 | 2147483647   101730     28 |  0.000 % |
121.62/121.67	c |    102689 |     636    56659   238983 | 2147483647   102689     28 |  0.000 % |
123.22/123.27	c |    103744 |     636    56659   238983 | 2147483647   103744     28 |  0.000 % |
125.12/125.12	c |    104903 |     636    56659   238983 | 2147483647   104903     28 |  0.000 % |
125.22/125.27	c |    105004 |     636    56659   238983 | 2147483647   105004     28 |  0.000 % |
125.52/125.58	c |    105115 |     636    56659   238983 | 2147483647   105115     28 |  0.000 % |
125.82/125.86	c |    105237 |     636    56659   238983 | 2147483647   105237     28 |  0.000 % |
126.02/126.08	c |    105371 |     636    56659   238983 | 2147483647   105371     28 |  0.000 % |
126.32/126.32	c |    105521 |     636    56659   238983 | 2147483647   105521     28 |  0.000 % |
126.62/126.63	c |    105681 |     636    56659   238983 | 2147483647   105681     28 |  0.000 % |
126.92/126.97	c |    105861 |     636    56659   238983 | 2147483647   105861     28 |  0.000 % |
127.22/127.28	c |    106054 |     636    56659   238983 | 2147483647   106054     28 |  0.000 % |
127.82/127.85	c |    106266 |     636    56659   238983 | 2147483647   106266     28 |  0.000 % |
128.32/128.37	c |    106499 |     636    56659   238983 | 2147483647   106499     28 |  0.000 % |
128.82/128.85	c |    106755 |     636    56659   238983 | 2147483647   106755     28 |  0.000 % |
129.32/129.35	c |    107041 |     636    56659   238983 | 2147483647   107041     28 |  0.000 % |
129.92/129.95	c |    107352 |     636    56659   238983 | 2147483647   107352     28 |  0.000 % |
130.52/130.55	c |    107691 |     636    56659   238983 | 2147483647   107691     28 |  0.000 % |
131.12/131.18	c |    108064 |     636    56659   238983 | 2147483647   108064     28 |  0.000 % |
132.02/132.04	c |    108476 |     636    56659   238983 | 2147483647   108476     28 |  0.000 % |
132.82/132.90	c |    108927 |     636    56659   238983 | 2147483647   108927     28 |  0.000 % |
133.72/133.79	c |    109421 |     636    56659   238983 | 2147483647   109421     28 |  0.000 % |
134.72/134.72	c |    109965 |     636    56659   238983 | 2147483647   109965     28 |  0.000 % |
135.72/135.77	c |    110562 |     636    56659   238983 | 2147483647   110562     28 |  0.000 % |
137.12/137.18	c |    111217 |     636    56659   238983 | 2147483647   111217     28 |  0.000 % |
138.62/138.63	c |    111938 |     636    56659   238983 | 2147483647   111938     28 |  0.000 % |
140.22/140.28	c |    112730 |     636    56659   238983 | 2147483647   112730     28 |  0.000 % |
141.92/141.91	c |    113602 |     636    56659   238983 | 2147483647   113602     28 |  0.000 % |
143.62/143.70	c |    114560 |     636    56659   238983 | 2147483647   114560     28 |  0.000 % |
146.22/146.28	c |    115613 |     636    56659   238983 | 2147483647   115613     28 |  0.000 % |
148.72/148.76	c |    116772 |     636    56659   238983 | 2147483647   116772     28 |  0.000 % |
151.42/151.50	c |    118047 |     636    56659   238983 | 2147483647   118047     28 |  0.000 % |
151.82/151.82	c |    118150 |     636    56659   238983 | 2147483647   118150     28 |  0.000 % |
152.02/152.08	c |    118260 |     636    56659   238983 | 2147483647   118260     28 |  0.000 % |
152.32/152.31	c |    118383 |     636    56659   238983 | 2147483647   118383     28 |  0.000 % |
152.52/152.54	c |    118518 |     636    56659   238983 | 2147483647   118518     28 |  0.000 % |
152.92/152.93	c |    118665 |     636    56659   238983 | 2147483647   118665     28 |  0.000 % |
153.22/153.26	c |    118825 |     636    56659   238983 | 2147483647   118825     28 |  0.000 % |
153.62/153.67	c |    119003 |     636    56659   238983 | 2147483647   119003     28 |  0.000 % |
154.12/154.14	c |    119199 |     636    56659   238983 | 2147483647   119199     28 |  0.000 % |
154.52/154.60	c |    119411 |     636    56659   238983 | 2147483647   119411     28 |  0.000 % |
155.12/155.13	c |    119647 |     636    56659   238983 | 2147483647   119647     28 |  0.000 % |
155.72/155.71	c |    119906 |     636    56659   238983 | 2147483647   119906     28 |  0.000 % |
156.22/156.23	c |    120189 |     636    56659   238983 | 2147483647   120189     28 |  0.000 % |
156.92/156.92	c |    120498 |     636    56659   238983 | 2147483647   120498     28 |  0.000 % |
157.82/157.82	c |    120839 |     636    56659   238983 | 2147483647   120839     28 |  0.000 % |
158.72/158.72	c |    121212 |     636    56659   238983 | 2147483647   121212     28 |  0.000 % |
159.42/159.50	c |    121622 |     636    56659   238983 | 2147483647   121622     28 |  0.000 % |
160.32/160.31	c |    122071 |     636    56659   238983 | 2147483647   122071     28 |  0.000 % |
161.52/161.57	c |    122564 |     636    56659   238983 | 2147483647   122564     28 |  0.000 % |
162.83/162.85	c |    123106 |     636    56659   238983 | 2147483647   123106     28 |  0.000 % |
164.02/164.09	c |    123702 |     636    56659   238983 | 2147483647   123702     28 |  0.000 % |
165.52/165.60	c |    124359 |     636    56659   238983 | 2147483647   124359     28 |  0.000 % |
167.12/167.11	c |    125080 |     636    56659   238983 | 2147483647   125080     28 |  0.000 % |
168.92/168.99	c |    125874 |     636    56659   238983 | 2147483647   125874     28 |  0.000 % |
171.12/171.15	c |    126746 |     636    56659   238983 | 2147483647   126746     28 |  0.000 % |
173.52/173.54	c |    127707 |     636    56659   238983 | 2147483647   127707     28 |  0.000 % |
175.82/175.90	c |    128761 |     636    56659   238983 | 2147483647   128761     28 |  0.000 % |
178.32/178.39	c |    129919 |     636    56659   238983 | 2147483647   129919     28 |  0.000 % |
181.42/181.42	c |    131193 |     636    56659   238983 | 2147483647   131193     28 |  0.000 % |
184.83/184.82	c |    132595 |     636    56659   238983 | 2147483647   132595     28 |  0.000 % |
185.02/185.03	c |    132695 |     636    56659   238983 | 2147483647   132695     28 |  0.000 % |
185.22/185.29	c |    132806 |     636    56659   238983 | 2147483647   132806     28 |  0.000 % |
185.52/185.51	c |    132928 |     636    56659   238983 | 2147483647   132928     28 |  0.000 % |
185.82/185.81	c |    133061 |     636    56659   238983 | 2147483647   133061     28 |  0.000 % |
186.02/186.09	c |    133210 |     636    56659   238983 | 2147483647   133210     28 |  0.000 % |
186.32/186.40	c |    133370 |     636    56659   238983 | 2147483647   133370     28 |  0.000 % |
186.72/186.74	c |    133546 |     636    56659   238983 | 2147483647   133546     28 |  0.000 % |
187.03/187.08	c |    133742 |     636    56659   238983 | 2147483647   133742     28 |  0.000 % |
187.52/187.53	c |    133954 |     636    56659   238983 | 2147483647   133954     28 |  0.000 % |
187.92/187.97	c |    134187 |     636    56659   238983 | 2147483647   134187     28 |  0.000 % |
188.42/188.46	c |    134443 |     636    56659   238983 | 2147483647   134443     28 |  0.000 % |
189.02/189.06	c |    134725 |     636    56659   238983 | 2147483647   134725     28 |  0.000 % |
189.62/189.69	c |    135034 |     636    56659   238983 | 2147483647   135034     28 |  0.000 % |
190.22/190.22	c |    135373 |     636    56659   238983 | 2147483647   135373     28 |  0.000 % |
190.62/190.69	c |    135745 |     636    56659   238983 | 2147483647   135745     28 |  0.000 % |
191.22/191.21	c |    136156 |     636    56659   238983 | 2147483647   136156     28 |  0.000 % |
193.22/193.25	c |    136607 |     636    56659   238983 | 2147483647   136607     28 |  0.000 % |
195.12/195.16	c |    137102 |     636    56659   238983 | 2147483647   137102     27 |  0.000 % |
196.02/196.08	c |    137644 |     636    56659   238983 | 2147483647   137644     27 |  0.000 % |
197.73/197.74	c |    138240 |     636    56659   238983 | 2147483647   138240     27 |  0.000 % |
199.53/199.53	c |    138895 |     636    56659   238983 | 2147483647   138895     27 |  0.000 % |
201.43/201.50	c |    139618 |     636    56659   238983 | 2147483647   139618     27 |  0.000 % |
203.03/203.11	c |    140410 |     636    56659   238983 | 2147483647   140410     27 |  0.000 % |
205.83/205.87	c |    141282 |     636    56659   238983 | 2147483647   141282     27 |  0.000 % |
209.03/209.08	c |    142241 |     636    56659   238983 | 2147483647   142241     27 |  0.000 % |
211.73/211.74	c |    143295 |     636    56659   238983 | 2147483647   143295     27 |  0.000 % |
214.83/214.85	c |    144455 |     636    56659   238983 | 2147483647   144455     27 |  0.000 % |
216.13/216.15	c |    145733 |     636    56659   238983 | 2147483647   145733     27 |  0.000 % |
217.93/217.93	c |    147136 |     636    56659   238983 | 2147483647   147136     27 |  0.002 % |
224.53/224.54	c |    148679 |     636    56659   238983 | 2147483647   148679     27 |  0.000 % |
224.83/224.81	c |    148782 |     636    56659   238983 | 2147483647   148782     27 |  0.000 % |
225.13/225.11	c |    148893 |     636    56659   238983 | 2147483647   148893     27 |  0.000 % |
225.33/225.34	c |    149015 |     636    56659   238983 | 2147483647   149015     27 |  0.000 % |
226.13/226.20	c |    149148 |     636    56659   238983 | 2147483647   149148     27 |  0.000 % |
227.03/227.06	c |    149295 |     636    56659   238983 | 2147483647   149295     27 |  0.000 % |
227.93/227.94	c |    149457 |     636    56659   238983 | 2147483647   149457     27 |  0.000 % |
228.73/228.80	c |    149634 |     636    56659   238983 | 2147483647   149634     27 |  0.000 % |
229.93/230.00	c |    149829 |     636    56659   238983 | 2147483647   149829     27 |  0.000 % |
231.03/231.08	c |    150041 |     636    56659   238983 |   150000   150041     27 |  0.000 % |
232.43/232.49	c |    150275 |     636    56659   238983 |   150000   125119     27 |  0.000 % |
234.03/234.07	c |    150532 |     636    56659   238983 |   150000   125376     27 |  0.000 % |
235.13/235.11	c |    150815 |     636    56659   238983 |   150000   125659     27 |  0.000 % |
236.33/236.35	c |    151125 |     636    56659   238983 |   150000   125969     27 |  0.000 % |
236.73/236.73	c |    151464 |     636    56659   238983 |   150000   126308     27 |  0.000 % |
237.13/237.14	c |    151837 |     636    56659   238983 |   150000   126681     27 |  0.000 % |
237.63/237.69	c |    152247 |     636    56659   238983 |   150000   127091     27 |  0.000 % |
239.63/239.70	c |    152696 |     636    56659   238983 |   150000   127540     27 |  0.000 % |
242.43/242.47	c |    153189 |     636    56659   238983 |   150000   128033     27 |  0.000 % |
243.53/243.56	c |    153731 |     636    56659   238983 |   150000   128575     27 |  0.000 % |
246.63/246.64	c |    154327 |     636    56659   238983 |   150000   129171     27 |  0.000 % |
250.23/250.30	c |    154982 |     636    56659   238983 |   150000   129826     27 |  0.000 % |
254.23/254.29	c |    155702 |     636    56659   238983 |   150000   130546     27 |  0.000 % |
258.43/258.47	c |    156494 |     636    56659   238983 |   150000   131338     27 |  0.000 % |
263.83/263.87	c |    157365 |     636    56659   238983 |   150000   132209     27 |  0.000 % |
269.03/269.07	c |    158328 |     636    56659   238983 |   150000   133172     27 |  0.000 % |
274.53/274.52	c |    159381 |     636    56659   238983 |   150000   134225     27 |  0.000 % |
282.74/282.72	c |    160541 |     636    56659   238983 |   134844    97140     26 |  0.000 % |
288.14/288.15	c |    161814 |     636    56659   238983 |   134844    98413     26 |  0.000 % |
293.74/293.79	c |    163214 |     636    56659   238983 |   134844    99813     26 |  0.000 % |
299.64/299.64	c |    164754 |     636    56659   238983 |   134844   101353     26 |  0.000 % |
306.34/306.37	c |    166448 |     636    56659   238983 |   134844   103047     26 |  0.000 % |
306.74/306.73	c |    166550 |     636    56659   238983 |   134844   103149     26 |  0.000 % |
307.34/307.38	c |    166663 |     636    56659   238983 |   134844   103262     26 |  0.000 % |
307.84/307.86	c |    166785 |     636    56659   238983 |   134844   103384     26 |  0.000 % |
308.14/308.16	c |    166918 |     636    56659   238983 |   134844   103517     26 |  0.000 % |
308.84/308.85	c |    167066 |     636    56659   238983 |   134844   103665     26 |  0.000 % |
309.04/309.05	c |    167229 |     636    56659   238983 |   134844   103828     26 |  0.000 % |
309.44/309.44	c |    167407 |     636    56659   238983 |   134844   104006     26 |  0.000 % |
309.64/309.63	c |    167600 |     636    56659   238983 |   134844   104199     26 |  0.000 % |
309.74/309.80	c |    167812 |     636    56659   238983 |   134844   104411     26 |  0.000 % |
310.04/310.03	c |    168045 |     636    56659   238983 |   134844   104644     26 |  0.000 % |
310.94/310.96	c |    168301 |     636    56659   238983 |   134844   104900     26 |  0.000 % |
312.34/312.32	c |    168582 |     636    56659   238983 |   134844   105181     26 |  0.000 % |
313.14/313.13	c |    168891 |     636    56659   238983 |   134844   105490     26 |  0.000 % |
314.74/314.79	c |    169231 |     636    56659   238983 |   134844   105830     26 |  0.000 % |
316.74/316.73	c |    169603 |     636    56659   238983 |   134844   106202     26 |  0.000 % |
318.14/318.19	c |    170012 |     636    56659   238983 |   106603   106611     26 |  0.000 % |
321.04/321.06	c |    170461 |     636    56659   238983 |   106603    78975     25 |  0.000 % |
322.54/322.53	c |    170954 |     636    56659   238983 |   106603    79468     25 |  0.000 % |
323.34/323.34	c |    171496 |     636    56659   238983 |   106603    80010     25 |  0.000 % |
324.84/324.86	c |    172095 |     636    56659   238983 |   106603    80609     25 |  0.000 % |
326.84/326.83	c |    172750 |     636    56659   238983 |   106603    81264     25 |  0.000 % |
328.34/328.32	c |    173471 |     636    56659   238983 |   106603    81985     25 |  0.000 % |
330.64/330.63	c |    174263 |     636    56659   238983 |   106603    82777     25 |  0.000 % |
333.44/333.44	c |    175134 |     636    56659   238983 |   106603    83648     25 |  0.000 % |
335.14/335.20	c |    176093 |     636    56659   238983 |   106603    84607     25 |  0.000 % |
338.54/338.57	c |    177147 |     636    56659   238983 |   106603    85661     25 |  0.000 % |
341.94/342.00	c |    178306 |     636    56659   238983 |   106603    86820     26 |  0.000 % |
344.44/344.46	c |    179580 |     636    56659   238983 |   106603    88094     26 |  0.000 % |
348.64/348.64	c |    180981 |     636    56659   238983 |    88514    67554     25 |  0.000 % |
352.24/352.30	c |    182521 |     636    56659   238983 |    88514    69094     26 |  0.000 % |
355.04/355.03	c |    184216 |     636    56659   238983 |    88514    70789     26 |  0.000 % |
359.24/359.25	c |    186079 |     636    56659   238983 |    88514    72652     26 |  0.000 % |
359.44/359.51	c |    186179 |     636    56659   238983 |    88514    72752     26 |  0.000 % |
359.75/359.77	c |    186289 |     636    56659   238983 |    88514    72862     26 |  0.000 % |
360.04/360.05	c |    186411 |     636    56659   238983 |    88514    72984     26 |  0.000 % |
360.34/360.31	c |    186544 |     636    56659   238983 |    88514    73117     26 |  0.000 % |
360.74/360.73	c |    186690 |     636    56659   238983 |    88514    73263     26 |  0.000 % |
361.05/361.08	c |    186851 |     636    56659   238983 |    88514    73424     26 |  0.000 % |
361.45/361.50	c |    187028 |     636    56659   238983 |    88514    73601     26 |  0.000 % |
361.95/361.96	c |    187221 |     636    56659   238983 |    88514    73794     26 |  0.000 % |
362.45/362.48	c |    187433 |     636    56659   238983 |    88514    74006     26 |  0.000 % |
363.05/363.06	c |    187666 |     636    56659   238983 |    88514    74239     26 |  0.000 % |
363.65/363.64	c |    187925 |     636    56659   238983 |    88514    74498     26 |  0.000 % |
364.15/364.21	c |    188208 |     636    56659   238983 |    88514    74781     26 |  0.000 % |
364.85/364.82	c |    188518 |     636    56659   238983 |    88514    75091     26 |  0.000 % |
365.65/365.68	c |    188859 |     636    56659   238983 |    88514    75432     26 |  0.000 % |
366.55/366.52	c |    189231 |     636    56659   238983 |    88514    75804     26 |  0.000 % |
367.45/367.49	c |    189643 |     636    56659   238983 |    88514    76216     26 |  0.000 % |
368.45/368.47	c |    190093 |     636    56659   238983 | 2147483647    76666     26 |  0.000 % |
369.75/369.76	c |    190586 |     636    56659   238983 | 2147483647    77159     26 |  0.000 % |
371.35/371.39	c |    191131 |     636    56659   238983 | 2147483647    77704     26 |  0.000 % |
372.05/372.08	c |    191730 |     636    56659   238983 | 2147483647    78303     26 |  0.000 % |
373.75/373.76	c |    192385 |     636    56659   238983 | 2147483647    78958     26 |  0.000 % |
375.55/375.54	c |    193105 |     636    56659   238983 | 2147483647    79678     27 |  0.000 % |
377.75/377.72	c |    193897 |     636    56659   238983 | 2147483647    80470     27 |  0.000 % |
379.95/379.96	c |    194768 |     636    56659   238983 | 2147483647    81341     27 |  0.000 % |
382.05/382.09	c |    195729 |     636    56659   238983 | 2147483647    82302     27 |  0.000 % |
384.35/384.39	c |    196785 |     636    56659   238983 | 2147483647    83358     27 |  0.000 % |
386.95/386.98	c |    197947 |     636    56659   238983 | 2147483647    84520     26 |  0.000 % |
389.95/390.01	c |    199220 |     636    56659   238983 | 2147483647    85793     26 |  0.000 % |
393.45/393.47	c |    200621 |     636    56659   238983 | 2147483647    87194     26 |  0.000 % |
396.55/396.52	c |    202161 |     636    56659   238983 | 2147483647    88734     26 |  0.000 % |
399.85/399.87	c |    203857 |     636    56659   238983 | 2147483647    90430     26 |  0.000 % |
403.55/403.57	c |    205722 |     636    56659   238983 | 2147483647    92295     26 |  0.000 % |
408.75/408.80	c |    207771 |     636    56659   238983 | 2147483647    94344     26 |  0.000 % |
409.05/409.06	c |    207874 |     636    56659   238983 | 2147483647    94447     26 |  0.002 % |
409.35/409.35	c |    207985 |     636    56659   238983 | 2147483647    94558     26 |  0.000 % |
409.65/409.62	c |    208109 |     636    56659   238983 | 2147483647    94682     26 |  0.000 % |
409.95/409.93	c |    208242 |     636    56659   238983 | 2147483647    94815     26 |  0.000 % |
410.25/410.28	c |    208388 |     636    56659   238983 | 2147483647    94961     26 |  0.000 % |
410.75/410.72	c |    208549 |     636    56659   238983 | 2147483647    95122     26 |  0.000 % |
411.25/411.24	c |    208725 |     636    56659   238983 | 2147483647    95298     26 |  0.000 % |
411.65/411.65	c |    208918 |     636    56659   238983 | 2147483647    95491     26 |  0.000 % |
412.15/412.21	c |    209131 |     636    56659   238983 | 2147483647    95704     26 |  0.000 % |
412.85/412.90	c |    209367 |     636    56659   238983 | 2147483647    95940     27 |  0.000 % |
413.55/413.53	c |    209623 |     636    56659   238983 | 2147483647    96196     27 |  0.000 % |
414.24/414.24	c |    209908 |     636    56659   238983 | 2147483647    96481     27 |  0.000 % |
415.04/415.01	c |    210219 |     636    56659   238983 | 2147483647    96792     27 |  0.000 % |
415.85/415.85	c |    210558 |     636    56659   238983 | 2147483647    97131     27 |  0.000 % |
416.74/416.79	c |    210931 |     636    56659   238983 | 2147483647    97504     27 |  0.000 % |
417.44/417.42	c |    211340 |     636    56659   238983 | 2147483647    97913     27 |  0.000 % |
418.84/418.82	c |    211789 |     636    56659   238983 | 2147483647    98362     27 |  0.000 % |
420.14/420.14	c |    212284 |     636    56659   238983 | 2147483647    98857     27 |  0.000 % |
421.35/421.38	c |    212827 |     636    56659   238983 | 2147483647    99400     27 |  0.000 % |
422.74/422.79	c |    213423 |     636    56659   238983 | 2147483647    99996     27 |  0.000 % |
424.34/424.34	c |    214078 |     636    56659   238983 | 2147483647   100651     27 |  0.000 % |
426.34/426.34	c |    214800 |     636    56659   238983 | 2147483647   101373     27 |  0.000 % |
428.34/428.32	c |    215592 |     636    56659   238983 | 2147483647   102165     27 |  0.000 % |
430.94/430.91	c |    216463 |     636    56659   238983 | 2147483647   103036     27 |  0.000 % |
433.45/433.43	c |    217421 |     636    56659   238983 | 2147483647   103994     27 |  0.000 % |
436.04/436.01	c |    218474 |     636    56659   238983 | 2147483647   105047     27 |  0.000 % |
438.95/438.93	c |    219635 |     636    56659   238983 | 2147483647   106208     27 |  0.000 % |
441.94/441.92	c |    220909 |     636    56659   238983 |   106576    96797     27 |  0.000 % |
444.65/444.64	c |    222310 |     636    56659   238983 |   106576    98198     27 |  0.000 % |
447.25/447.29	c |    223851 |     636    56659   238983 |   106576    99739     27 |  0.000 % |
450.45/450.45	c |    225546 |     636    56659   238983 |   106576   101434     27 |  0.000 % |
454.45/454.46	c |    227409 |     636    56659   238983 |   106576   103297     27 |  0.000 % |
458.85/458.83	c |    229459 |     636    56659   238983 |   106576   105347     27 |  0.000 % |
463.45/463.48	c |    231713 |     636    56659   238983 | 2147483647   107601     27 |  0.000 % |
463.65/463.67	c |    231814 |     636    56659   238983 | 2147483647   107702     27 |  0.000 % |
463.95/463.93	c |    231924 |     636    56659   238983 | 2147483647   107812     27 |  0.000 % |
464.15/464.19	c |    232049 |     636    56659   238983 | 2147483647   107937     27 |  0.000 % |
464.45/464.51	c |    232183 |     636    56659   238983 | 2147483647   108071     27 |  0.000 % |
464.85/464.81	c |    232329 |     636    56659   238983 | 2147483647   108217     27 |  0.000 % |
465.15/465.18	c |    232489 |     636    56659   238983 | 2147483647   108377     27 |  0.000 % |
465.55/465.59	c |    232667 |     636    56659   238983 | 2147483647   108555     27 |  0.000 % |
465.95/465.96	c |    232860 |     636    56659   238983 | 2147483647   108748     27 |  0.000 % |
466.35/466.39	c |    233072 |     636    56659   238983 | 2147483647   108960     27 |  0.000 % |
467.05/467.01	c |    233305 |     636    56659   238983 | 2147483647   109193     27 |  0.000 % |
467.55/467.60	c |    233563 |     636    56659   238983 | 2147483647   109451     27 |  0.000 % |
468.25/468.25	c |    233844 |     636    56659   238983 | 2147483647   109732     27 |  0.000 % |
468.85/468.88	c |    234153 |     636    56659   238983 | 2147483647   110041     27 |  0.000 % |
469.55/469.59	c |    234493 |     636    56659   238983 | 2147483647   110381     27 |  0.000 % |
470.35/470.37	c |    234866 |     636    56659   238983 | 2147483647   110754     27 |  0.000 % |
471.25/471.24	c |    235275 |     636    56659   238983 | 2147483647   111163     27 |  0.000 % |
472.15/472.14	c |    235724 |     636    56659   238983 | 2147483647   111612     27 |  0.000 % |
473.15/473.17	c |    236218 |     636    56659   238983 | 2147483647   112106     27 |  0.000 % |
474.15/474.16	c |    236761 |     636    56659   238983 | 2147483647   112649     27 |  0.000 % |
475.65/475.64	c |    237359 |     636    56659   238983 | 2147483647   113247     27 |  0.000 % |
477.25/477.25	c |    238014 |     636    56659   238983 | 2147483647   113902     27 |  0.000 % |
478.95/478.96	c |    238736 |     636    56659   238983 | 2147483647   114624     27 |  0.000 % |
480.65/480.62	c |    239530 |     636    56659   238983 | 2147483647   115418     27 |  0.000 % |
482.65/482.67	c |    240403 |     636    56659   238983 | 2147483647   116291     27 |  0.000 % |
484.95/484.96	c |    241361 |     636    56659   238983 | 2147483647   117249     27 |  0.000 % |
487.35/487.32	c |    242416 |     636    56659   238983 | 2147483647   118304     27 |  0.000 % |
490.05/490.07	c |    243575 |     636    56659   238983 | 2147483647   119463     27 |  0.000 % |
493.25/493.29	c |    244848 |     636    56659   238983 | 2147483647   120736     27 |  0.000 % |
496.05/496.04	c |    246252 |     636    56659   238983 | 2147483647   122140     27 |  0.000 % |
499.95/499.91	c |    247794 |     636    56659   238983 | 2147483647   123682     27 |  0.000 % |
503.75/503.71	c |    249488 |     636    56659   238983 | 2147483647   125376     27 |  0.000 % |
508.65/508.66	c |    251351 |     636    56659   238983 | 2147483647   127239     27 |  0.000 % |
513.85/513.87	c |    253401 |     636    56659   238983 | 2147483647   129289     27 |  0.000 % |
520.05/520.00	c |    255654 |     636    56659   238983 | 2147483647   131542     27 |  0.000 % |
526.46/526.44	c |    258134 |     636    56659   238983 | 2147483647   134022     27 |  0.000 % |
526.66/526.69	c |    258235 |     636    56659   238983 | 2147483647   134123     27 |  0.000 % |
526.96/526.99	c |    258348 |     636    56659   238983 | 2147483647   134236     27 |  0.000 % |
527.26/527.26	c |    258469 |     636    56659   238983 | 2147483647   134357     27 |  0.000 % |
527.56/527.59	c |    258602 |     636    56659   238983 | 2147483647   134490     27 |  0.000 % |
527.96/527.98	c |    258748 |     636    56659   238983 | 2147483647   134636     27 |  0.000 % |
528.36/528.32	c |    258911 |     636    56659   238983 | 2147483647   134799     27 |  0.000 % |
528.76/528.80	c |    259089 |     636    56659   238983 | 2147483647   134977     27 |  0.000 % |
529.36/529.41	c |    259284 |     636    56659   238983 | 2147483647   135172     27 |  0.000 % |
530.06/530.02	c |    259498 |     636    56659   238983 | 2147483647   135386     27 |  0.000 % |
530.76/530.73	c |    259731 |     636    56659   238983 | 2147483647   135619     27 |  0.001 % |
531.46/531.45	c |    259989 |     636    56659   238983 | 2147483647   135877     27 |  0.000 % |
532.46/532.42	c |    260270 |     636    56659   238983 |   135888   122508     27 |  0.000 % |
533.06/533.08	c |    260582 |     636    56659   238983 |   135888   122820     27 |  0.000 % |
533.96/533.92	c |    260925 |     636    56659   238983 |   135888   123163     27 |  0.000 % |
534.86/534.89	c |    261297 |     636    56659   238983 |   135888   123535     27 |  0.000 % |
535.96/535.94	c |    261706 |     636    56659   238983 |   135888   123944     27 |  0.000 % |
537.06/537.05	c |    262155 |     636    56659   238983 |   135888   124393     27 |  0.000 % |
537.96/538.00	c |    262648 |     636    56659   238983 |   135888   124886     27 |  0.000 % |
539.06/539.01	c |    263190 |     636    56659   238983 |   135888   125428     27 |  0.000 % |
540.26/540.27	c |    263786 |     636    56659   238983 |   135888   126024     27 |  0.000 % |
541.56/541.55	c |    264441 |     636    56659   238983 |   135888   126679     27 |  0.000 % |
543.36/543.39	c |    265161 |     636    56659   238983 |   135888   127399     27 |  0.000 % |
544.96/544.92	c |    265956 |     636    56659   238983 |   135888   128194     27 |  0.000 % |
546.76/546.75	c |    266828 |     636    56659   238983 |   135888   129066     27 |  0.000 % |
548.56/548.57	c |    267786 |     636    56659   238983 |   135888   130024     27 |  0.000 % |
549.86/549.89	c |    268840 |     636    56659   238983 |   135888   131078     27 |  0.002 % |
551.26/551.28	c |    269999 |     636    56659   238983 |   135888   132237     27 |  0.002 % |
554.76/554.73	c |    271272 |     636    56659   238983 | 2147483647   133510     27 |  0.002 % |
559.06/559.10	c |    272673 |     636    56659   238983 | 2147483647   134911     27 |  0.002 % |
564.16/564.17	c |    274215 |     636    56659   238983 | 2147483647   136453     27 |  0.000 % |
569.76/569.79	c |    275911 |     636    56659   238983 | 2147483647   138149     27 |  0.000 % |
574.46/574.50	c |    277775 |     636    56659   238983 | 2147483647   140013     27 |  0.000 % |
577.46/577.41	c |    279824 |     636    56659   238983 | 2147483647   142062     27 |  0.000 % |
580.66/580.67	c |    282081 |     636    56659   238983 | 2147483647   144319     27 |  0.000 % |
593.66/593.66	c |    284559 |     636    56659   238983 | 2147483647   146797     27 |  0.000 % |
607.06/607.06	c |    287287 |     636    56659   238983 | 2147483647   149525     27 |  0.000 % |
607.56/607.53	c |    287387 |     636    56659   238983 | 2147483647   149625     27 |  0.000 % |
607.97/608.00	c |    287497 |     636    56659   238983 | 2147483647   149735     27 |  0.000 % |
608.67/608.67	c |    287618 |     636    56659   238983 | 2147483647   149856     27 |  0.000 % |
608.87/608.86	c |    287752 |     636    56659   238983 | 2147483647   149990     27 |  0.000 % |
609.07/609.06	c |    287901 |     636    56659   238983 | 2147483647   150139     27 |  0.000 % |
609.27/609.27	c |    288062 |     636    56659   238983 | 2147483647   150300     27 |  0.000 % |
610.17/610.17	c |    288239 |     636    56659   238983 | 2147483647   150477     27 |  0.000 % |
611.17/611.18	c |    288432 |     636    56659   238983 | 2147483647   150670     27 |  0.000 % |
612.47/612.44	c |    288644 |     636    56659   238983 | 2147483647   150882     27 |  0.000 % |
613.77/613.73	c |    288879 |     636    56659   238983 | 2147483647   151117     27 |  0.000 % |
615.37/615.36	c |    289137 |     636    56659   238983 | 2147483647   151375     27 |  0.000 % |
616.97/617.00	c |    289419 |     636    56659   238983 | 2147483647   151657     27 |  0.000 % |
618.57/618.57	c |    289731 |     636    56659   238983 | 2147483647   151969     27 |  0.000 % |
620.37/620.40	c |    290070 |     636    56659   238983 |   152238   152308     27 |  0.000 % |
623.67/623.62	c |    290444 |     636    56659   238983 |   152238   109695     26 |  0.000 % |
625.47/625.44	c |    290854 |     636    56659   238983 |   152238   110105     26 |  0.000 % |
627.17/627.20	c |    291305 |     636    56659   238983 |   152238   110556     26 |  0.000 % |
629.17/629.18	c |    291798 |     636    56659   238983 |   152238   111049     26 |  0.000 % |
630.97/630.98	c |    292341 |     636    56659   238983 |   152238   111592     26 |  0.000 % |
633.07/633.06	c |    292943 |     636    56659   238983 |   152238   112194     26 |  0.000 % |
635.47/635.51	c |    293600 |     636    56659   238983 |   152238   112851     26 |  0.000 % |
638.37/638.37	c |    294320 |     636    56659   238983 |   152238   113571     26 |  0.000 % |
640.67/640.70	c |    295113 |     636    56659   238983 |   152238   114364     26 |  0.000 % |
641.67/641.62	c |    295988 |     636    56659   238983 |   152238   115239     26 |  0.000 % |
642.67/642.70	c |    296946 |     636    56659   238983 |   152238   116197     26 |  0.000 % |
645.37/645.35	c |    297999 |     636    56659   238983 |   152238   117250     26 |  0.000 % |
650.57/650.53	c |    299158 |     636    56659   238983 |   152238   118409     26 |  0.000 % |
656.07/656.05	c |    300432 |     636    56659   238983 |   119253    97350     25 |  0.000 % |
660.27/660.23	c |    301832 |     636    56659   238983 |   119253    98750     25 |  0.000 % |
664.67/664.65	c |    303372 |     636    56659   238983 |   119253   100290     25 |  0.000 % |
666.27/666.24	c |    305066 |     636    56659   238983 |   119253   101984     25 |  0.000 % |
673.07/673.03	c |    306929 |     636    56659   238983 |   119253   103847     25 |  0.000 % |
680.57/680.58	c |    308980 |     636    56659   238983 |   119253   105898     26 |  0.000 % |
688.37/688.38	c |    311234 |     636    56659   238983 |   106919    88206     25 |  0.000 % |
694.98/694.95	c |    313712 |     636    56659   238983 |   106919    90684     26 |  0.002 % |
702.08/702.04	c |    316438 |     636    56659   238983 |   106919    93410     26 |  0.000 % |
709.28/709.24	c |    319437 |     636    56659   238983 |   106919    96409     26 |  0.000 % |
709.48/709.45	c |    319537 |     636    56659   238983 |   106919    96509     26 |  0.000 % |
709.88/709.88	c |    319648 |     636    56659   238983 |   106919    96620     26 |  0.000 % |
710.08/710.01	c |    319769 |     636    56659   238983 |   106919    96741     26 |  0.000 % |
710.48/710.42	c |    319904 |     636    56659   238983 |   106919    96876     26 |  0.000 % |
710.78/710.77	c |    320051 |     636    56659   238983 |    96972    97023     26 |  0.000 % |
711.78/711.79	c |    320212 |     636    56659   238983 |    96972    75402     25 |  0.000 % |
712.08/712.09	c |    320389 |     636    56659   238983 |    96972    75579     25 |  0.000 % |
712.48/712.44	c |    320583 |     636    56659   238983 |    96972    75773     25 |  0.000 % |
712.78/712.80	c |    320795 |     636    56659   238983 |    96972    75985     25 |  0.000 % |
713.18/713.12	c |    321028 |     636    56659   238983 |    96972    76218     25 |  0.000 % |
713.48/713.49	c |    321284 |     636    56659   238983 |    96972    76474     25 |  0.000 % |
714.08/714.09	c |    321568 |     636    56659   238983 |    96972    76758     26 |  0.000 % |
714.78/714.78	c |    321877 |     636    56659   238983 |    96972    77067     26 |  0.000 % |
715.48/715.47	c |    322216 |     636    56659   238983 |    96972    77406     26 |  0.000 % |
716.18/716.18	c |    322589 |     636    56659   238983 |    96972    77779     26 |  0.000 % |
716.68/716.70	c |    322998 |     636    56659   238983 |    96972    78188     26 |  0.000 % |
717.68/717.68	c |    323447 |     636    56659   238983 |    96972    78637     26 |  0.000 % |
718.58/718.56	c |    323940 |     636    56659   238983 |    96972    79130     26 |  0.000 % |
719.58/719.58	c |    324483 |     636    56659   238983 |    96972    79673     26 |  0.002 % |
720.88/720.91	c |    325081 |     636    56659   238983 |    96972    80271     26 |  0.000 % |
722.18/722.13	c |    325737 |     636    56659   238983 |    96972    80927     26 |  0.000 % |
722.88/722.88	c |    326457 |     636    56659   238983 |    96972    81647     26 |  0.000 % |
724.08/724.03	c |    327249 |     636    56659   238983 |    96972    82439     26 |  0.000 % |
725.48/725.45	c |    328121 |     636    56659   238983 |    96972    83311     26 |  0.000 % |
726.78/726.74	c |    329079 |     636    56659   238983 |    96972    84269     26 |  0.000 % |
729.18/729.21	c |    330136 |     636    56659   238983 | 2147483647    85326     26 |  0.000 % |
730.48/730.50	c |    331294 |     636    56659   238983 | 2147483647    86484     26 |  0.000 % |
732.58/732.52	c |    332569 |     636    56659   238983 | 2147483647    87759     26 |  0.000 % |
734.58/734.59	c |    333969 |     636    56659   238983 | 2147483647    89159     26 |  0.000 % |
737.18/737.20	c |    335511 |     636    56659   238983 | 2147483647    90701     26 |  0.000 % |
740.39/740.37	c |    337206 |     636    56659   238983 | 2147483647    92396     26 |  0.000 % |
744.58/744.55	c |    339070 |     636    56659   238983 | 2147483647    94260     26 |  0.000 % |
749.08/749.09	c |    341119 |     636    56659   238983 | 2147483647    96309     27 |  0.000 % |
754.58/754.60	c |    343372 |     636    56659   238983 | 2147483647    98562     27 |  0.000 % |
759.48/759.46	c |    345851 |     636    56659   238983 | 2147483647   101041     27 |  0.000 % |
764.28/764.26	c |    348576 |     636    56659   238983 | 2147483647   103766     26 |  0.000 % |
769.58/769.54	c |    351575 |     636    56659   238983 | 2147483647   106765     27 |  0.000 % |
774.48/774.44	c |    354871 |     636    56659   238983 | 2147483647   110061     27 |  0.000 % |
774.78/774.72	c |    354973 |     636    56659   238983 | 2147483647   110163     27 |  0.000 % |
774.98/775.00	c |    355083 |     636    56659   238983 | 2147483647   110273     27 |  0.000 % |
775.38/775.31	c |    355205 |     636    56659   238983 | 2147483647   110395     27 |  0.000 % |
775.68/775.67	c |    355338 |     636    56659   238983 | 2147483647   110528     27 |  0.000 % |
776.08/776.02	c |    355485 |     636    56659   238983 | 2147483647   110675     27 |  0.000 % |
776.48/776.48	c |    355649 |     636    56659   238983 | 2147483647   110839     27 |  0.000 % |
776.88/776.90	c |    355829 |     636    56659   238983 | 2147483647   111019     27 |  0.000 % |
777.48/777.43	c |    356022 |     636    56659   238983 | 2147483647   111212     27 |  0.000 % |
778.08/778.09	c |    356235 |     636    56659   238983 | 2147483647   111425     27 |  0.000 % |
778.78/778.74	c |    356470 |     636    56659   238983 | 2147483647   111660     27 |  0.000 % |
779.38/779.35	c |    356726 |     636    56659   238983 | 2147483647   111916     27 |  0.000 % |
779.88/779.83	c |    357007 |     636    56659   238983 | 2147483647   112197     27 |  0.000 % |
780.68/780.67	c |    357316 |     636    56659   238983 | 2147483647   112506     27 |  0.000 % |
781.48/781.43	c |    357656 |     636    56659   238983 | 2147483647   112846     27 |  0.000 % |
782.18/782.14	c |    358028 |     636    56659   238983 | 2147483647   113218     27 |  0.000 % |
783.28/783.24	c |    358437 |     636    56659   238983 | 2147483647   113627     27 |  0.000 % |
784.38/784.34	c |    358886 |     636    56659   238983 | 2147483647   114076     27 |  0.000 % |
785.08/785.06	c |    359379 |     636    56659   238983 | 2147483647   114569     27 |  0.000 % |
785.78/785.79	c |    359921 |     636    56659   238983 | 2147483647   115111     27 |  0.000 % |
786.78/786.75	c |    360517 |     636    56659   238983 | 2147483647   115707     27 |  0.000 % |
788.38/788.35	c |    361172 |     636    56659   238983 | 2147483647   116362     27 |  0.000 % |
789.38/789.34	c |    361896 |     636    56659   238983 | 2147483647   117086     27 |  0.000 % |
790.48/790.45	c |    362690 |     636    56659   238983 | 2147483647   117880     27 |  0.000 % |
791.78/791.71	c |    363563 |     636    56659   238983 | 2147483647   118753     27 |  0.000 % |
794.38/794.36	c |    364522 |     636    56659   238983 | 2147483647   119712     27 |  0.000 % |
797.58/797.53	c |    365576 |     636    56659   238983 | 2147483647   120766     27 |  0.000 % |
800.58/800.51	c |    366734 |     636    56659   238983 | 2147483647   121924     27 |  0.000 % |
803.78/803.75	c |    368011 |     636    56659   238983 | 2147483647   123201     27 |  0.000 % |
807.48/807.46	c |    369413 |     636    56659   238983 | 2147483647   124603     27 |  0.000 % |
811.18/811.16	c |    370956 |     636    56659   238983 | 2147483647   126146     27 |  0.000 % |
816.08/816.04	c |    372657 |     636    56659   238983 | 2147483647   127847     27 |  0.000 % |
820.48/820.45	c |    374520 |     636    56659   238983 | 2147483647   129710     27 |  0.000 % |
825.58/825.59	c |    376569 |     636    56659   238983 | 2147483647   131759     27 |  0.000 % |
831.18/831.16	c |    378824 |     636    56659   238983 | 2147483647   134014     27 |  0.000 % |
838.18/838.18	c |    381302 |     636    56659   238983 |   135195   121807     28 |  0.000 % |
843.58/843.52	c |    384028 |     636    56659   238983 |   135195   124533     28 |  0.000 % |
849.48/849.45	c |    387025 |     636    56659   238983 |   135195   127530     28 |  0.000 % |
857.59/857.52	c |    390321 |     636    56659   238983 | 2147483647   130826     28 |  0.000 % |
865.09/865.09	c |    393946 |     636    56659   238983 | 2147483647   134451     28 |  0.000 % |
865.39/865.32	c |    394046 |     636    56659   238983 | 2147483647   134551     27 |  0.000 % |
865.79/865.76	c |    394156 |     636    56659   238983 | 2147483647   134661     28 |  0.000 % |
866.09/866.10	c |    394278 |     636    56659   238983 | 2147483647   134783     27 |  0.000 % |
866.49/866.45	c |    394411 |     636    56659   238983 | 2147483647   134916     27 |  0.000 % |
866.79/866.80	c |    394557 |     636    56659   238983 | 2147483647   135062     27 |  0.000 % |
867.29/867.30	c |    394719 |     636    56659   238983 | 2147483647   135224     27 |  0.000 % |
867.69/867.69	c |    394895 |     636    56659   238983 | 2147483647   135400     27 |  0.000 % |
868.19/868.15	c |    395089 |     636    56659   238983 | 2147483647   135594     27 |  0.000 % |
868.79/868.71	c |    395301 |     636    56659   238983 | 2147483647   135806     27 |  0.000 % |
869.29/869.30	c |    395535 |     636    56659   238983 | 2147483647   136040     27 |  0.000 % |
870.09/870.08	c |    395791 |     636    56659   238983 | 2147483647   136296     27 |  0.000 % |
870.69/870.70	c |    396072 |     636    56659   238983 | 2147483647   136577     27 |  0.000 % |
871.59/871.60	c |    396381 |     636    56659   238983 | 2147483647   136886     27 |  0.000 % |
872.59/872.52	c |    396720 |     636    56659   238983 | 2147483647   137225     27 |  0.000 % |
873.39/873.37	c |    397095 |     636    56659   238983 | 2147483647   137600     27 |  0.000 % |
874.29/874.29	c |    397505 |     636    56659   238983 | 2147483647   138010     27 |  0.000 % |
875.69/875.66	c |    397954 |     636    56659   238983 | 2147483647   138459     27 |  0.000 % |
876.89/876.85	c |    398449 |     636    56659   238983 | 2147483647   138954     27 |  0.000 % |
877.99/877.94	c |    398992 |     636    56659   238983 | 2147483647   139497     27 |  0.000 % |
879.29/879.28	c |    399588 |     636    56659   238983 | 2147483647   140093     27 |  0.000 % |
880.99/880.91	c |    400247 |     636    56659   238983 | 2147483647   140752     27 |  0.000 % |
882.59/882.57	c |    400968 |     636    56659   238983 | 2147483647   141473     27 |  0.000 % |
884.29/884.30	c |    401760 |     636    56659   238983 | 2147483647   142265     27 |  0.000 % |
885.99/885.98	c |    402632 |     636    56659   238983 | 2147483647   143137     27 |  0.000 % |
888.09/888.03	c |    403590 |     636    56659   238983 | 2147483647   144095     27 |  0.000 % |
890.69/890.64	c |    404647 |     636    56659   238983 | 2147483647   145152     27 |  0.000 % |
893.49/893.45	c |    405807 |     636    56659   238983 | 2147483647   146312     27 |  0.000 % |
896.39/896.36	c |    407082 |     636    56659   238983 | 2147483647   147587     27 |  0.000 % |
900.09/900.07	c |    408487 |     636    56659   238983 | 2147483647   148992     27 |  0.000 % |
904.19/904.12	c |    410027 |     636    56659   238983 | 2147483647   150532     27 |  0.000 % |
908.59/908.56	c |    411721 |     636    56659   238983 | 2147483647   152226     27 |  0.000 % |
913.59/913.56	c |    413586 |     636    56659   238983 | 2147483647   154091     27 |  0.000 % |
919.19/919.15	c |    415635 |     636    56659   238983 | 2147483647   156140     27 |  0.000 % |
923.00/922.97	c |    417892 |     636    56659   238983 | 2147483647   158397     27 |  0.000 % |
930.09/930.07	c |    420371 |     636    56659   238983 | 2147483647   160876     27 |  0.002 % |
937.20/937.13	c |    423096 |     636    56659   238983 | 2147483647   163601     27 |  0.000 % |
954.40/954.38	c |    426095 |     636    56659   238983 | 2147483647   166600     27 |  0.000 % |
969.20/969.14	c |    429391 |     636    56659   238983 | 2147483647   169896     27 |  0.000 % |
986.60/986.51	c |    433019 |     636    56659   238983 |   170506   131017     27 |  0.000 % |
993.20/993.20	c |    437006 |     636    56659   238983 |   170506   135004     27 |  0.000 % |
993.90/993.82	c |    437107 |     636    56659   238983 |   170506   135105     27 |  0.000 % |
994.40/994.37	c |    437221 |     636    56659   238983 |   170506   135219     27 |  0.000 % |
995.00/994.97	c |    437342 |     636    56659   238983 |   170506   135340     27 |  0.000 % |
995.40/995.39	c |    437476 |     636    56659   238983 |   170506   135474     27 |  0.000 % |
996.20/996.19	c |    437622 |     636    56659   238983 |   170506   135620     27 |  0.000 % |
997.00/996.98	c |    437782 |     636    56659   238983 |   170506   135780     27 |  0.000 % |
998.00/997.94	c |    437958 |     636    56659   238983 |   170506   135956     27 |  0.000 % |
998.91/998.90	c |    438151 |     636    56659   238983 |   170506   136149     27 |  0.000 % |
999.90/999.91	c |    438363 |     636    56659   238983 |   170506   136361     27 |  0.000 % |
1001.30/1001.24	c |    438600 |     636    56659   238983 |   170506   136598     27 |  0.000 % |
1002.40/1002.31	c |    438856 |     636    56659   238983 |   170506   136854     27 |  0.000 % |
1003.90/1003.84	c |    439140 |     636    56659   238983 |   170506   137138     27 |  0.000 % |
1005.60/1005.56	c |    439451 |     636    56659   238983 |   170506   137449     27 |  0.000 % |
1007.10/1007.02	c |    439790 |     636    56659   238983 |   170506   137788     27 |  0.000 % |
1010.90/1010.90	c |    440162 |     636    56659   238983 |   137998   107651     26 |  0.000 % |
1011.60/1011.53	c |    440571 |     636    56659   238983 |   137998   108060     26 |  0.000 % |
1013.70/1013.62	c |    441022 |     636    56659   238983 |   137998   108511     26 |  0.000 % |
1015.50/1015.40	c |    441515 |     636    56659   238983 |   137998   109004     26 |  0.000 % |
1017.61/1017.54	c |    442064 |     636    56659   238983 |   137998   109553     26 |  0.000 % |
1020.11/1020.06	c |    442661 |     636    56659   238983 |   137998   110150     26 |  0.000 % |
1022.71/1022.65	c |    443316 |     636    56659   238983 |   137998   110805     26 |  0.000 % |
1026.21/1026.20	c |    444036 |     636    56659   238983 |   137998   111525     26 |  0.000 % |
1029.71/1029.70	c |    444828 |     636    56659   238983 |   137998   112317     26 |  0.000 % |
1032.91/1032.86	c |    445700 |     636    56659   238983 |   137998   113189     26 |  0.000 % |
1035.81/1035.78	c |    446661 |     636    56659   238983 |   137998   114150     26 |  0.000 % |
1038.82/1038.80	c |    447714 |     636    56659   238983 |   137998   115203     26 |  0.000 % |
1040.22/1040.20	c |    448873 |     636    56659   238983 |   137998   116362     26 |  0.000 % |
1044.02/1044.01	c |    450147 |     636    56659   238983 |   117490    91844     25 |  0.000 % |
1047.72/1047.67	c |    451548 |     636    56659   238983 |   117490    93245     25 |  0.000 % |
1053.92/1053.88	c |    453090 |     636    56659   238983 |   117490    94787     25 |  0.000 % |
1060.52/1060.43	c |    454787 |     636    56659   238983 |   117490    96484     26 |  0.000 % |
1065.92/1065.85	c |    456650 |     636    56659   238983 |   117490    98347     26 |  0.000 % |
1071.22/1071.12	c |    458699 |     636    56659   238983 |   117490   100396     26 |  0.000 % |
1078.92/1078.87	c |    460954 |     636    56659   238983 |   101698    82086     25 |  0.000 % |
1085.42/1085.38	c |    463432 |     636    56659   238983 |   101698    84564     25 |  0.000 % |
1091.52/1091.48	c |    466158 |     636    56659   238983 |   101698    87290     24 |  0.000 % |
1094.72/1094.62	c |    469158 |     636    56659   238983 |   101698    90290     24 |  0.000 % |
1101.73/1101.65	c |    472454 |     636    56659   238983 | 2147483647    93586     24 |  0.000 % |
1110.63/1110.54	c |    476080 |     636    56659   238983 | 2147483647    97212     24 |  0.000 % |
1123.23/1123.13	c |    480067 |     636    56659   238983 |   101134   101199     25 |  0.000 % |
1135.32/1135.24	c |    484453 |     636    56659   238983 |   101134    94113     25 |  0.000 % |
1135.52/1135.46	c |    484556 |     636    56659   238983 |   101134    94216     25 |  0.000 % |
1135.82/1135.72	c |    484666 |     636    56659   238983 |   101134    94326     25 |  0.000 % |
1136.12/1136.03	c |    484787 |     636    56659   238983 |   101134    94447     25 |  0.000 % |
1136.42/1136.39	c |    484920 |     636    56659   238983 |   101134    94580     25 |  0.000 % |
1136.82/1136.76	c |    485067 |     636    56659   238983 |   101134    94727     25 |  0.000 % |
1137.32/1137.25	c |    485227 |     636    56659   238983 |   101134    94887     25 |  0.000 % |
1137.72/1137.66	c |    485404 |     636    56659   238983 |   101134    95064     25 |  0.000 % |
1138.32/1138.22	c |    485599 |     636    56659   238983 |   101134    95259     25 |  0.000 % |
1138.72/1138.64	c |    485812 |     636    56659   238983 |   101134    95472     25 |  0.000 % |
1139.02/1138.95	c |    486046 |     636    56659   238983 |   101134    95706     25 |  0.000 % |
1139.82/1139.74	c |    486303 |     636    56659   238983 |   101134    95963     25 |  0.000 % |
1140.62/1140.53	c |    486584 |     636    56659   238983 |   101134    96244     25 |  0.000 % |
1141.22/1141.18	c |    486893 |     636    56659   238983 |   101134    96553     25 |  0.000 % |
1142.22/1142.17	c |    487232 |     636    56659   238983 |   101134    96892     25 |  0.000 % |
1143.22/1143.21	c |    487605 |     636    56659   238983 |   101134    97265     25 |  0.000 % |
1144.52/1144.41	c |    488014 |     636    56659   238983 |   101134    97674     25 |  0.000 % |
1145.72/1145.70	c |    488464 |     636    56659   238983 |   101134    98124     25 |  0.000 % |
1146.92/1146.85	c |    488957 |     636    56659   238983 |   101134    98617     25 |  0.000 % |
1148.42/1148.39	c |    489499 |     636    56659   238983 |   101134    99159     25 |  0.000 % |
1150.32/1150.26	c |    490098 |     636    56659   238983 |    99664    86245     26 |  0.000 % |
1151.72/1151.67	c |    490753 |     636    56659   238983 |    99664    86900     26 |  0.000 % |
1152.93/1152.86	c |    491474 |     636    56659   238983 |    99664    87621     26 |  0.000 % |
1154.42/1154.35	c |    492266 |     636    56659   238983 |    99664    88413     26 |  0.000 % |
1155.72/1155.69	c |    493139 |     636    56659   238983 |    99664    89286     26 |  0.000 % |
1157.12/1157.06	c |    494097 |     636    56659   238983 |    99664    90244     26 |  0.000 % |
1159.42/1159.35	c |    495151 |     636    56659   238983 |    99664    91298     26 |  0.000 % |
1161.22/1161.14	c |    496309 |     636    56659   238983 |    99664    92456     26 |  0.000 % |
1163.22/1163.11	c |    497582 |     636    56659   238983 |    99664    93729     26 |  0.000 % |
1165.42/1165.39	c |    498982 |     636    56659   238983 |    99664    95129     26 |  0.000 % |
1168.02/1167.91	c |    500522 |     636    56659   238983 | 2147483647    96669     26 |  0.000 % |
1171.63/1171.56	c |    502220 |     636    56659   238983 | 2147483647    98367     26 |  0.000 % |
1175.12/1175.08	c |    504083 |     636    56659   238983 | 2147483647   100230     26 |  0.000 % |
1179.12/1179.09	c |    506134 |     636    56659   238983 | 2147483647   102281     26 |  0.000 % |
1183.43/1183.38	c |    508388 |     636    56659   238983 | 2147483647   104535     26 |  0.000 % |
1188.43/1188.39	c |    510867 |     636    56659   238983 | 2147483647   107014     26 |  0.000 % |
1193.83/1193.76	c |    513593 |     636    56659   238983 | 2147483647   109740     26 |  0.000 % |
1199.73/1199.66	c |    516590 |     636    56659   238983 | 2147483647   112737     25 |  0.000 % |
1200.03/1199.92	HOME/SatELiteGTI: line 36:  1700 Terminated              $MS $TMP.cnf $TMP.result

Verifier Data

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

Watcher Data

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1821796-1242566298/watcher-1821796-1242566298 -o /tmp/evaluation-result-1821796-1242566298/solver-1821796-1242566298 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821796-1242566298.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: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 1694
/proc/meminfo: memFree=450000/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2416 CPUtime=0
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 366 647 0 0 0 0 0 0 25 0 1 0 1021130848 2473984 277 4294967295 134512640 135169312 3216949056 3216947592 3085623022 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1694/statm: 604 277 235 161 0 43 0
[pid=1698] ppid=1694 vsize=948 CPUtime=0
/proc/1698/stat : 1698 (SatELite_releas) R 1694 1694 20977 0 -1 4202496 113 0 0 0 0 0 0 0 25 0 1 0 1021130849 970752 49 4294967295 134512640 135223648 3213640704 3213639608 134736942 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1698/statm: 238 53 44 174 0 63 0

[startup+0.057021 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 1694
/proc/meminfo: memFree=450000/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2416 CPUtime=0
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 366 647 0 0 0 0 0 0 25 0 1 0 1021130848 2473984 277 4294967295 134512640 135169312 3216949056 3216947592 3085623022 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1694/statm: 604 277 235 161 0 43 0
[pid=1698] ppid=1694 vsize=5128 CPUtime=0.06
/proc/1698/stat : 1698 (SatELite_releas) R 1694 1694 20977 0 -1 4202496 1205 0 0 0 5 1 0 0 25 0 1 0 1021130849 5251072 1141 4294967295 134512640 135223648 3213640704 3213638560 134578207 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1698/statm: 1282 1142 73 174 0 1107 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 7544

[startup+0.116996 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 1694
/proc/meminfo: memFree=450000/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2416 CPUtime=0
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 366 647 0 0 0 0 0 0 25 0 1 0 1021130848 2473984 277 4294967295 134512640 135169312 3216949056 3216947592 3085623022 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1694/statm: 604 277 235 161 0 43 0
[pid=1698] ppid=1694 vsize=5676 CPUtime=0.12
/proc/1698/stat : 1698 (SatELite_releas) R 1694 1694 20977 0 -1 4202496 1342 0 0 0 11 1 0 0 25 0 1 0 1021130849 5812224 1278 4294967295 134512640 135223648 3213640704 3213638704 134549036 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1698/statm: 1419 1278 73 174 0 1244 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 8092

[startup+0.316976 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 1694
/proc/meminfo: memFree=450000/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2416 CPUtime=0
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 366 647 0 0 0 0 0 0 25 0 1 0 1021130848 2473984 277 4294967295 134512640 135169312 3216949056 3216947592 3085623022 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1694/statm: 604 277 235 161 0 43 0
[pid=1698] ppid=1694 vsize=7064 CPUtime=0.32
/proc/1698/stat : 1698 (SatELite_releas) R 1694 1694 20977 0 -1 4202496 1633 0 0 0 31 1 0 0 25 0 1 0 1021130849 7233536 1569 4294967295 134512640 135223648 3213640704 3213638800 134585468 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1698/statm: 1766 1569 73 174 0 1591 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 9480

[startup+0.716944 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 1694
/proc/meminfo: memFree=450000/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2420 CPUtime=0.51
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 386 2284 0 0 0 0 49 2 20 0 1 0 1021130848 2478080 279 4294967295 134512640 135169312 3216949056 3216945272 3085623022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1694/statm: 605 279 235 161 0 44 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 2420

[startup+1.51686 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 1700
/proc/meminfo: memFree=444916/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2420 CPUtime=0.51
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 386 2284 0 0 0 0 49 2 20 0 1 0 1021130848 2478080 279 4294967295 134512640 135169312 3216949056 3216945272 3085623022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1694/statm: 605 279 235 161 0 44 0
[pid=1700] ppid=1694 vsize=5092 CPUtime=1
/proc/1700/stat : 1700 (minisat_static) R 1694 1694 20977 0 -1 4202496 1219 0 0 0 100 0 0 0 25 0 1 0 1021130899 5214208 1153 4294967295 134512640 135215339 3220986720 3220985008 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1700/statm: 1273 1153 73 172 0 1100 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 7512

[startup+3.1167 s]
/proc/loadavg: 1.00 1.00 1.00 4/95 1700
/proc/meminfo: memFree=444668/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2420 CPUtime=0.51
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 386 2284 0 0 0 0 49 2 20 0 1 0 1021130848 2478080 279 4294967295 134512640 135169312 3216949056 3216945272 3085623022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1694/statm: 605 279 235 161 0 44 0
[pid=1700] ppid=1694 vsize=5620 CPUtime=2.6
/proc/1700/stat : 1700 (minisat_static) R 1694 1694 20977 0 -1 4202496 1358 0 0 0 260 0 0 0 25 0 1 0 1021130899 5754880 1292 4294967295 134512640 135215339 3220986720 3220985008 134528881 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1700/statm: 1405 1292 73 172 0 1232 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 8040

[startup+6.31639 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 1700
/proc/meminfo: memFree=443708/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2420 CPUtime=0.51
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 386 2284 0 0 0 0 49 2 20 0 1 0 1021130848 2478080 279 4294967295 134512640 135169312 3216949056 3216945272 3085623022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1694/statm: 605 279 235 161 0 44 0
[pid=1700] ppid=1694 vsize=6812 CPUtime=5.8
/proc/1700/stat : 1700 (minisat_static) R 1694 1694 20977 0 -1 4202496 1631 0 0 0 579 1 0 0 25 0 1 0 1021130899 6975488 1565 4294967295 134512640 135215339 3220986720 3220985008 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1700/statm: 1703 1565 73 172 0 1530 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 9232

[startup+12.7158 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 1700
/proc/meminfo: memFree=441788/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2420 CPUtime=0.51
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 386 2284 0 0 0 0 49 2 20 0 1 0 1021130848 2478080 279 4294967295 134512640 135169312 3216949056 3216945272 3085623022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1694/statm: 605 279 235 161 0 44 0
[pid=1700] ppid=1694 vsize=8420 CPUtime=12.2
/proc/1700/stat : 1700 (minisat_static) R 1694 1694 20977 0 -1 4202496 2056 0 0 0 1219 1 0 0 25 0 1 0 1021130899 8622080 1990 4294967295 134512640 135215339 3220986720 3220985008 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1700/statm: 2105 1990 73 172 0 1932 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 10840

[startup+25.5145 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 1700
/proc/meminfo: memFree=439444/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2420 CPUtime=0.51
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 386 2284 0 0 0 0 49 2 20 0 1 0 1021130848 2478080 279 4294967295 134512640 135169312 3216949056 3216945272 3085623022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1694/statm: 605 279 235 161 0 44 0
[pid=1700] ppid=1694 vsize=10868 CPUtime=25
/proc/1700/stat : 1700 (minisat_static) R 1694 1694 20977 0 -1 4202496 2651 0 0 0 2499 1 0 0 25 0 1 0 1021130899 11128832 2585 4294967295 134512640 135215339 3220986720 3220985008 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1700/statm: 2717 2585 73 172 0 2544 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 13288

[startup+51.122 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 1702
/proc/meminfo: memFree=435948/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2420 CPUtime=0.51
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 386 2284 0 0 0 0 49 2 20 0 1 0 1021130848 2478080 279 4294967295 134512640 135169312 3216949056 3216945272 3085623022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1694/statm: 605 279 235 161 0 44 0
[pid=1700] ppid=1694 vsize=14384 CPUtime=50.61
/proc/1700/stat : 1700 (minisat_static) R 1694 1694 20977 0 -1 4202496 3500 0 0 0 5059 2 0 0 25 0 1 0 1021130899 14729216 3434 4294967295 134512640 135215339 3220986720 3220985008 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1700/statm: 3596 3434 73 172 0 3423 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 16804

[startup+102.317 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 1895
/proc/meminfo: memFree=430476/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2420 CPUtime=0.51
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 386 2284 0 0 0 0 49 2 20 0 1 0 1021130848 2478080 279 4294967295 134512640 135169312 3216949056 3216945272 3085623022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1694/statm: 605 279 235 161 0 44 0
[pid=1700] ppid=1694 vsize=19560 CPUtime=101.81
/proc/1700/stat : 1700 (minisat_static) R 1694 1694 20977 0 -1 4202496 4728 0 0 0 10178 3 0 0 25 0 1 0 1021130899 20029440 4662 4294967295 134512640 135215339 3220986720 3220985008 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1700/statm: 4890 4662 73 172 0 4717 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 21980

[startup+162.311 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 2082
/proc/meminfo: memFree=425516/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2420 CPUtime=0.51
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 386 2284 0 0 0 0 49 2 20 0 1 0 1021130848 2478080 279 4294967295 134512640 135169312 3216949056 3216945272 3085623022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1694/statm: 605 279 235 161 0 44 0
[pid=1700] ppid=1694 vsize=24068 CPUtime=161.81
/proc/1700/stat : 1700 (minisat_static) R 1694 1694 20977 0 -1 4202496 5885 0 0 0 16177 4 0 0 25 0 1 0 1021130899 24645632 5819 4294967295 134512640 135215339 3220986720 3220985008 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1700/statm: 6017 5819 73 172 0 5844 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 26488

[startup+222.315 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 2271
/proc/meminfo: memFree=420416/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2420 CPUtime=0.51
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 386 2284 0 0 0 0 49 2 20 0 1 0 1021130848 2478080 279 4294967295 134512640 135169312 3216949056 3216945272 3085623022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1694/statm: 605 279 235 161 0 44 0
[pid=1700] ppid=1694 vsize=29724 CPUtime=221.82
/proc/1700/stat : 1700 (minisat_static) R 1694 1694 20977 0 -1 4202496 7148 0 0 0 22177 5 0 0 25 0 1 0 1021130899 30437376 7074 4294967295 134512640 135215339 3220986720 3220985008 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1700/statm: 7431 7074 73 172 0 7258 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 32144

[startup+282.319 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 2464
/proc/meminfo: memFree=420200/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2420 CPUtime=0.51
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 386 2284 0 0 0 0 49 2 20 0 1 0 1021130848 2478080 279 4294967295 134512640 135169312 3216949056 3216945272 3085623022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1694/statm: 605 279 235 161 0 44 0
[pid=1700] ppid=1694 vsize=30228 CPUtime=281.83
/proc/1700/stat : 1700 (minisat_static) R 1694 1694 20977 0 -1 4202496 7266 0 0 0 28178 5 0 0 25 0 1 0 1021130899 30953472 7192 4294967295 134512640 135215339 3220986720 3220985008 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1700/statm: 7557 7192 73 172 0 7384 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 32648

[startup+342.313 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 2655
/proc/meminfo: memFree=419944/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2420 CPUtime=0.51
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 386 2284 0 0 0 0 49 2 20 0 1 0 1021130848 2478080 279 4294967295 134512640 135169312 3216949056 3216945272 3085623022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1694/statm: 605 279 235 161 0 44 0
[pid=1700] ppid=1694 vsize=30364 CPUtime=341.83
/proc/1700/stat : 1700 (minisat_static) R 1694 1694 20977 0 -1 4202496 7276 0 0 0 34178 5 0 0 25 0 1 0 1021130899 31092736 7202 4294967295 134512640 135215339 3220986720 3220985008 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1700/statm: 7591 7202 73 172 0 7418 0
Current children cumulated CPU time (s) 342.34
Current children cumulated vsize (KiB) 32784

[startup+402.318 s]

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

/proc/1694/statm: 605 279 235 161 0 44 0
[pid=1700] ppid=1694 vsize=31824 CPUtime=521.84
/proc/1700/stat : 1700 (minisat_static) R 1694 1694 20977 0 -1 4202496 7609 0 0 0 52179 5 0 0 25 0 1 0 1021130899 32587776 7535 4294967295 134512640 135215339 3220986720 3220985008 134528694 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1700/statm: 7956 7535 73 172 0 7783 0
Current children cumulated CPU time (s) 522.35
Current children cumulated vsize (KiB) 34244

[startup+582.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 3434
/proc/meminfo: memFree=417348/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2420 CPUtime=0.51
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 386 2284 0 0 0 0 49 2 20 0 1 0 1021130848 2478080 279 4294967295 134512640 135169312 3216949056 3216945272 3085623022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1694/statm: 605 279 235 161 0 44 0
[pid=1700] ppid=1694 vsize=33456 CPUtime=581.85
/proc/1700/stat : 1700 (minisat_static) R 1694 1694 20977 0 -1 4202496 8010 0 0 0 58179 6 0 0 25 0 1 0 1021130899 34258944 7936 4294967295 134512640 135215339 3220986720 3220985008 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1700/statm: 8364 7936 73 172 0 8191 0
Current children cumulated CPU time (s) 582.36
Current children cumulated vsize (KiB) 35876

[startup+642.314 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 3635
/proc/meminfo: memFree=416976/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2420 CPUtime=0.51
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 386 2284 0 0 0 0 49 2 20 0 1 0 1021130848 2478080 279 4294967295 134512640 135169312 3216949056 3216945272 3085623022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1694/statm: 605 279 235 161 0 44 0
[pid=1700] ppid=1694 vsize=33848 CPUtime=641.86
/proc/1700/stat : 1700 (minisat_static) R 1694 1694 20977 0 -1 4202496 8102 0 0 0 64180 6 0 0 25 0 1 0 1021130899 34660352 8028 4294967295 134512640 135215339 3220986720 3220985008 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1700/statm: 8462 8028 73 172 0 8289 0
Current children cumulated CPU time (s) 642.37
Current children cumulated vsize (KiB) 36268

[startup+702.318 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 3824
/proc/meminfo: memFree=416960/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2420 CPUtime=0.51
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 386 2284 0 0 0 0 49 2 20 0 1 0 1021130848 2478080 279 4294967295 134512640 135169312 3216949056 3216945272 3085623022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1694/statm: 605 279 235 161 0 44 0
[pid=1700] ppid=1694 vsize=33848 CPUtime=701.87
/proc/1700/stat : 1700 (minisat_static) R 1694 1694 20977 0 -1 4202496 8103 0 0 0 70181 6 0 0 25 0 1 0 1021130899 34660352 8029 4294967295 134512640 135215339 3220986720 3220985008 134528666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1700/statm: 8462 8029 73 172 0 8289 0
Current children cumulated CPU time (s) 702.38
Current children cumulated vsize (KiB) 36268

[startup+762.322 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 4011
/proc/meminfo: memFree=416736/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2420 CPUtime=0.51
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 386 2284 0 0 0 0 49 2 20 0 1 0 1021130848 2478080 279 4294967295 134512640 135169312 3216949056 3216945272 3085623022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1694/statm: 605 279 235 161 0 44 0
[pid=1700] ppid=1694 vsize=33848 CPUtime=761.88
/proc/1700/stat : 1700 (minisat_static) R 1694 1694 20977 0 -1 4202496 8103 0 0 0 76181 7 0 0 25 0 1 0 1021130899 34660352 8029 4294967295 134512640 135215339 3220986720 3220985008 134528830 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1700/statm: 8462 8029 73 172 0 8289 0
Current children cumulated CPU time (s) 762.39
Current children cumulated vsize (KiB) 36268

[startup+822.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 4203
/proc/meminfo: memFree=416712/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2420 CPUtime=0.51
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 386 2284 0 0 0 0 49 2 20 0 1 0 1021130848 2478080 279 4294967295 134512640 135169312 3216949056 3216945272 3085623022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1694/statm: 605 279 235 161 0 44 0
[pid=1700] ppid=1694 vsize=34000 CPUtime=821.87
/proc/1700/stat : 1700 (minisat_static) R 1694 1694 20977 0 -1 4202496 8134 0 0 0 82180 7 0 0 25 0 1 0 1021130899 34816000 8060 4294967295 134512640 135215339 3220986720 3220985008 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1700/statm: 8500 8060 73 172 0 8327 0
Current children cumulated CPU time (s) 822.38
Current children cumulated vsize (KiB) 36420

[startup+882.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 4390
/proc/meminfo: memFree=416356/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2420 CPUtime=0.51
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 386 2284 0 0 0 0 49 2 20 0 1 0 1021130848 2478080 279 4294967295 134512640 135169312 3216949056 3216945272 3085623022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1694/statm: 605 279 235 161 0 44 0
[pid=1700] ppid=1694 vsize=34672 CPUtime=881.88
/proc/1700/stat : 1700 (minisat_static) R 1694 1694 20977 0 -1 4202496 8256 0 0 0 88181 7 0 0 25 0 1 0 1021130899 35504128 8182 4294967295 134512640 135215339 3220986720 3220985008 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1700/statm: 8668 8182 73 172 0 8495 0
Current children cumulated CPU time (s) 882.39
Current children cumulated vsize (KiB) 37092

[startup+942.315 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 4578
/proc/meminfo: memFree=413504/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2420 CPUtime=0.51
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 386 2284 0 0 0 0 49 2 20 0 1 0 1021130848 2478080 279 4294967295 134512640 135169312 3216949056 3216945272 3085623022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1694/statm: 605 279 235 161 0 44 0
[pid=1700] ppid=1694 vsize=37656 CPUtime=941.89
/proc/1700/stat : 1700 (minisat_static) R 1694 1694 20977 0 -1 4202496 8972 0 0 0 94182 7 0 0 25 0 1 0 1021130899 38559744 8882 4294967295 134512640 135215339 3220986720 3220985008 134528788 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1700/statm: 9414 8882 73 172 0 9241 0
Current children cumulated CPU time (s) 942.4
Current children cumulated vsize (KiB) 40076

[startup+1002.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 4767
/proc/meminfo: memFree=412752/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2420 CPUtime=0.51
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 386 2284 0 0 0 0 49 2 20 0 1 0 1021130848 2478080 279 4294967295 134512640 135169312 3216949056 3216945272 3085623022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1694/statm: 605 279 235 161 0 44 0
[pid=1700] ppid=1694 vsize=38504 CPUtime=1001.89
/proc/1700/stat : 1700 (minisat_static) R 1694 1694 20977 0 -1 4202496 9190 0 0 0 100182 7 0 0 25 0 1 0 1021130899 39428096 9100 4294967295 134512640 135215339 3220986720 3220985008 134528802 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1700/statm: 9626 9100 73 172 0 9453 0
Current children cumulated CPU time (s) 1002.4
Current children cumulated vsize (KiB) 40924

[startup+1062.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 4954
/proc/meminfo: memFree=412636/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2420 CPUtime=0.51
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 386 2284 0 0 0 0 49 2 20 0 1 0 1021130848 2478080 279 4294967295 134512640 135169312 3216949056 3216945272 3085623022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1694/statm: 605 279 235 161 0 44 0
[pid=1700] ppid=1694 vsize=38504 CPUtime=1061.91
/proc/1700/stat : 1700 (minisat_static) R 1694 1694 20977 0 -1 4202496 9197 0 0 0 106184 7 0 0 25 0 1 0 1021130899 39428096 9107 4294967295 134512640 135215339 3220986720 3220985008 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1700/statm: 9626 9107 73 172 0 9453 0
Current children cumulated CPU time (s) 1062.42
Current children cumulated vsize (KiB) 40924

[startup+1122.33 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 5142
/proc/meminfo: memFree=412576/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2420 CPUtime=0.51
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 386 2284 0 0 0 0 49 2 20 0 1 0 1021130848 2478080 279 4294967295 134512640 135169312 3216949056 3216945272 3085623022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1694/statm: 605 279 235 161 0 44 0
[pid=1700] ppid=1694 vsize=38672 CPUtime=1121.92
/proc/1700/stat : 1700 (minisat_static) R 1694 1694 20977 0 -1 4202496 9223 0 0 0 112185 7 0 0 25 0 1 0 1021130899 39600128 9133 4294967295 134512640 135215339 3220986720 3220985008 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1700/statm: 9668 9133 73 172 0 9495 0
Current children cumulated CPU time (s) 1122.43
Current children cumulated vsize (KiB) 41092

[startup+1182.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 5328
/proc/meminfo: memFree=412584/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2420 CPUtime=0.51
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 386 2284 0 0 0 0 49 2 20 0 1 0 1021130848 2478080 279 4294967295 134512640 135169312 3216949056 3216945272 3085623022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1694/statm: 605 279 235 161 0 44 0
[pid=1700] ppid=1694 vsize=38824 CPUtime=1181.91
/proc/1700/stat : 1700 (minisat_static) R 1694 1694 20977 0 -1 4202496 9238 0 0 0 118184 7 0 0 25 0 1 0 1021130899 39755776 9148 4294967295 134512640 135215339 3220986720 3220985008 134528881 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1700/statm: 9706 9148 73 172 0 9533 0
Current children cumulated CPU time (s) 1182.42
Current children cumulated vsize (KiB) 41244



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1199.92 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 5518
/proc/meminfo: memFree=412304/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2420 CPUtime=0.51
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 386 2284 0 0 0 0 49 2 20 0 1 0 1021130848 2478080 279 4294967295 134512640 135169312 3216949056 3216945272 3085623022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1694/statm: 605 279 235 161 0 44 0
[pid=1700] ppid=1694 vsize=38824 CPUtime=1199.52
/proc/1700/stat : 1700 (minisat_static) R 1694 1694 20977 0 -1 4202496 9260 0 0 0 119945 7 0 0 25 0 1 0 1021130899 39755776 9170 4294967295 134512640 135215339 3220986720 3220985008 134528700 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1700/statm: 9706 9170 73 172 0 9533 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 41244

Sending SIGTERM to process tree (bottom up)

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

[startup+1199.92 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 5518
/proc/meminfo: memFree=412304/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2420 CPUtime=0.51
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 386 2284 0 0 0 0 49 2 20 0 1 0 1021130848 2478080 279 4294967295 134512640 135169312 3216949056 3216945272 3085623022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1694/statm: 605 279 235 161 0 44 0
[pid=1700] ppid=1694 vsize=38824 CPUtime=1199.52
/proc/1700/stat : 1700 (minisat_static) R 1694 1694 20977 0 -1 4202496 9260 0 0 0 119945 7 0 0 25 0 1 0 1021130899 39755776 9170 4294967295 134512640 135215339 3220986720 3220985008 134528700 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1700/statm: 9706 9170 73 172 0 9533 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 41244

Child status: 143
Real time (s): 1199.93
CPU time (s): 1200.03
CPU user time (s): 1199.94
CPU system time (s): 0.09
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 41244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.94
system time used= 0.09
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12206
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= 19
involuntary context switches= 4777

runsolver used 0 second user time and 0.01 second system time

The end

Launcher Data

Begin job on tipi10 at 2009-05-17 15:18:18
IDJOB=1821796
IDBENCH=71091
IDSOLVER=657
FILE ID=tipi10/1821796-1242566298
PBS_JOBID=
Free space on /tmp= 3861 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= runsolver --timestamp  -w /tmp/evaluation-result-1821796-1242566298/watcher-1821796-1242566298 -o /tmp/evaluation-result-1821796-1242566298/solver-1821796-1242566298 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1821796-1242566298.cnf

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

MD5SUM BENCH= 6419e2e5b92274df2e7e43e6c6a98566
RANDOM SEED= 398194399

Linux tipi10 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.367
cache size	: 1024 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3618.37

processor	: 1
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.367
cache size	: 1024 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.77

processor	: 2
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.367
cache size	: 1024 KB
physical id	: 1
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.77

processor	: 3
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.367
cache size	: 1024 KB
physical id	: 1
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.77


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:        450000 kB
Buffers:         45764 kB
Cached:        1443796 kB
SwapCached:       2732 kB
Active:         606292 kB
Inactive:       893200 kB
HighTotal:     1178688 kB
HighFree:       116124 kB
LowTotal:       895776 kB
LowFree:        333876 kB
SwapTotal:     1959888 kB
SwapFree:      1951864 kB
Dirty:            2476 kB
Writeback:           0 kB
AnonPages:        9192 kB
Mapped:           3424 kB
Slab:           115828 kB
PageTables:        444 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    90592 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 3861 MiB
End job on tipi10 at 2009-05-17 15:38:18