Trace number 1833941

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rpoc_xits_12_UNKNOWN.cnf
MD5SUMfbf37caab2e9eafe910c795f49053484
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1898
Number of clauses128735
Sum of the clauses size383430
Maximum clause length13
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 23005
Number of clauses of size 3125707
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.07	c ==============================================================================
0.00/0.07	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.07	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.07	c ==============================================================================
0.00/0.07	c |         0 |  128735   383430 |   38620       0        0     nan |  0.000 % |
1.09/1.19	c |         0 |  127840   554049 |      --       0       --      -- |     --   | -895/170619
1.09/1.19	c ==============================================================================
1.09/1.19	c Result  :   #vars: 1205   #clauses: 127840   #literals: 554049
1.09/1.19	c CPU time:   1.16382 s
1.09/1.19	c ==============================================================================
1.28/1.34	c This is MiniSat 2.0 beta
1.28/1.34	c WARNING: for repeatability, setting FPU to use double precision
1.28/1.34	c ============================[ Problem Statistics ]=============================
1.28/1.34	c |                                                                             |
1.28/1.34	c |  Number of variables:  1205                                                 |
1.28/1.34	c |  Number of clauses:    127840                                               |
1.33/1.41	c |  Parsing time:         0.06         s                                       |
1.33/1.42	c ============================[ Search Statistics ]==============================
1.33/1.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.33/1.42	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.33/1.42	c ===============================================================================
1.33/1.42	c |         0 |    1205   127840   554049 |    42613        0    nan |  0.000 % |
1.33/1.45	c |       100 |    1205   127840   554049 |    42613      100     47 |  0.000 % |
1.33/1.48	c |       202 |    1205   127840   554049 |    42613      202     61 |  0.000 % |
1.33/1.51	c |       302 |    1205   127840   554049 |    42613      302     63 |  0.000 % |
1.33/1.53	c |       412 |    1205   127840   554049 |    42613      412     66 |  0.000 % |
1.33/1.56	c |       514 |    1205   127840   554049 |    42613      514     69 |  0.000 % |
1.33/1.59	c |       625 |    1205   127840   554049 |    42613      625     70 |  0.000 % |
1.33/1.63	c |       748 |    1205   127840   554049 |    42613      748     74 |  0.000 % |
1.33/1.66	c |       852 |    1205   127840   554049 |    42613      852     77 |  0.000 % |
1.33/1.70	c |       964 |    1205   127840   554049 |    42613      964     80 |  0.000 % |
1.33/1.74	c |      1086 |    1205   127840   554049 |    42613     1086     82 |  0.000 % |
1.33/1.77	c |      1221 |    1205   127840   554049 |    42613     1221     84 |  0.000 % |
1.33/1.80	c |      1323 |    1205   127840   554049 |    42613     1323     85 |  0.000 % |
1.33/1.82	c |      1433 |    1205   127840   554049 |    42613     1433     86 |  0.000 % |
1.33/1.85	c |      1556 |    1205   127840   554049 |    42613     1556     86 |  0.000 % |
1.33/1.87	c |      1689 |    1205   127840   554049 |    42613     1689     88 |  0.000 % |
1.33/1.90	c |      1835 |    1205   127840   554049 |    42613     1835     89 |  0.000 % |
1.33/1.93	c |      1935 |    1205   127840   554049 |    42613     1935     89 |  0.000 % |
1.33/1.95	c |      2045 |    1205   127840   554049 |    42613     2045     90 |  0.000 % |
1.33/1.99	c |      2167 |    1205   127840   554049 |    42613     2167     90 |  0.000 % |
1.33/2.02	c |      2300 |    1205   127840   554049 |    42613     2300     90 |  0.000 % |
1.33/2.06	c |      2446 |    1205   127840   554049 |    42613     2446     91 |  0.000 % |
1.33/2.08	c |      2609 |    1205   127840   554049 |    42613     2609     91 |  0.000 % |
2.07/2.11	c |      2709 |    1205   127840   554049 |    42613     2709     91 |  0.000 % |
2.07/2.13	c |      2820 |    1205   127840   554049 |    42613     2820     91 |  0.000 % |
2.07/2.16	c |      2941 |    1205   127840   554049 |    42613     2941     91 |  0.000 % |
2.07/2.20	c |      3075 |    1205   127840   554049 |    42613     3075     91 |  0.000 % |
2.17/2.25	c |      3221 |    1205   127840   554049 |    42613     3221     92 |  0.000 % |
2.17/2.29	c |      3383 |    1205   127840   554049 |    42613     3383     92 |  0.000 % |
2.26/2.33	c |      3560 |    1205   127840   554049 |    42613     3560     93 |  0.000 % |
2.26/2.37	c |      3662 |    1205   127840   554049 |    42613     3662     93 |  0.000 % |
2.36/2.40	c |      3773 |    1205   127840   554049 |    42613     3773     93 |  0.000 % |
2.36/2.44	c |      3894 |    1205   127840   554049 |    42613     3894     93 |  0.000 % |
2.36/2.48	c |      4028 |    1205   127840   554049 |    42613     4028     93 |  0.000 % |
2.47/2.53	c |      4174 |    1205   127840   554049 |    42613     4174     93 |  0.000 % |
2.47/2.57	c |      4334 |    1205   127840   554049 |    42613     4334     94 |  0.000 % |
2.57/2.62	c |      4511 |    1205   127840   554049 |    42613     4511     94 |  0.000 % |
2.67/2.73	c |      4704 |    1205   127840   554049 |    42613     4704     94 |  0.000 % |
2.67/2.79	c |      4805 |    1205   127840   554049 |    42613     4805     94 |  0.000 % |
2.77/2.84	c |      4915 |    1205   127840   554049 |    42613     4915     94 |  0.000 % |
2.87/2.92	c |      5036 |    1205   127840   554049 |    42613     5036     94 |  0.000 % |
2.87/2.99	c |      5170 |    1205   127840   554049 |    42613     5170     94 |  0.000 % |
2.97/3.05	c |      5316 |    1205   127840   554049 |    42613     5316     94 |  0.000 % |
3.07/3.13	c |      5476 |    1205   127840   554049 |    42613     5476     94 |  0.000 % |
3.18/3.23	c |      5654 |    1205   127840   554049 |    42613     5654     94 |  0.000 % |
3.28/3.31	c |      5847 |    1205   127840   554049 |    42613     5847     94 |  0.000 % |
3.37/3.42	c |      6060 |    1205   127840   554049 |    42613     6060     95 |  0.000 % |
3.37/3.47	c |      6160 |    1205   127840   554049 |    42613     6160     95 |  0.000 % |
3.47/3.51	c |      6270 |    1205   127840   554049 |    42613     6270     95 |  0.000 % |
3.47/3.55	c |      6391 |    1205   127840   554049 |    42613     6391     95 |  0.000 % |
3.57/3.61	c |      6524 |    1205   127840   554049 |    42613     6524     95 |  0.000 % |
3.57/3.69	c |      6671 |    1205   127840   554049 |    42613     6671     95 |  0.000 % |
3.67/3.76	c |      6833 |    1205   127840   554049 |    42613     6833     95 |  0.000 % |
3.77/3.84	c |      7010 |    1205   127840   554049 |    42613     7010     95 |  0.000 % |
3.87/3.92	c |      7204 |    1205   127840   554049 |    42613     7204     95 |  0.000 % |
3.97/4.02	c |      7417 |    1205   127840   554049 |    42613     7417     95 |  0.000 % |
4.07/4.11	c |      7652 |    1205   127840   554049 |    42613     7652     95 |  0.000 % |
4.07/4.17	c |      7752 |    1205   127840   554049 |    42613     7752     95 |  0.000 % |
4.17/4.22	c |      7862 |    1205   127840   554049 |    42613     7862     95 |  0.000 % |
4.17/4.27	c |      7983 |    1205   127840   554049 |    42613     7983     95 |  0.000 % |
4.27/4.33	c |      8117 |    1205   127840   554049 |    42613     8117     95 |  0.000 % |
4.37/4.40	c |      8264 |    1205   127840   554049 |    42613     8264     95 |  0.000 % |
4.37/4.48	c |      8424 |    1205   127840   554049 |    42613     8424     95 |  0.000 % |
4.47/4.57	c |      8603 |    1205   127840   554049 |    42613     8603     95 |  0.000 % |
4.57/4.66	c |      8798 |    1205   127840   554049 |    42613     8798     95 |  0.000 % |
4.67/4.73	c |      9012 |    1205   127840   554049 |    42613     9012     94 |  0.000 % |
4.77/4.82	c |      9245 |    1205   127840   554049 |    42613     9245     94 |  0.000 % |
4.87/4.94	c |      9501 |    1205   127840   554049 |    42613     9501     94 |  0.000 % |
4.97/5.03	c |      9602 |    1205   127840   554049 |    42613     9602     94 |  0.000 % |
5.07/5.10	c |      9713 |    1205   127840   554049 |    42613     9713     94 |  0.000 % |
5.07/5.18	c |      9836 |    1205   127840   554049 |    42613     9836     94 |  0.000 % |
5.17/5.24	c |      9971 |    1205   127840   554049 |    42613     9971     94 |  0.000 % |
5.27/5.35	c |     10119 |    1205   127840   554049 | 2147483647    10119     94 |  0.000 % |
5.37/5.43	c |     10280 |    1205   127840   554049 | 2147483647    10280     94 |  0.000 % |
5.47/5.55	c |     10458 |    1205   127840   554049 | 2147483647    10458     94 |  0.000 % |
5.67/5.70	c |     10652 |    1205   127840   554049 | 2147483647    10652     94 |  0.000 % |
5.77/5.82	c |     10864 |    1205   127840   554049 | 2147483647    10864     94 |  0.000 % |
5.87/5.96	c |     11098 |    1205   127840   554049 | 2147483647    11098     94 |  0.000 % |
6.06/6.11	c |     11355 |    1205   127840   554049 | 2147483647    11355     93 |  0.000 % |
6.17/6.27	c |     11638 |    1205   127840   554049 | 2147483647    11638     93 |  0.000 % |
6.27/6.31	c |     11738 |    1205   127840   554049 | 2147483647    11738     93 |  0.000 % |
6.27/6.36	c |     11848 |    1205   127840   554049 | 2147483647    11848     93 |  0.000 % |
6.37/6.46	c |     11970 |    1205   127840   554049 | 2147483647    11970     93 |  0.000 % |
6.48/6.52	c |     12104 |    1205   127840   554049 | 2147483647    12104     93 |  0.000 % |
6.58/6.60	c |     12250 |    1205   127840   554049 | 2147483647    12250     93 |  0.000 % |
6.58/6.69	c |     12410 |    1205   127840   554049 | 2147483647    12410     93 |  0.000 % |
6.67/6.77	c |     12587 |    1205   127840   554049 | 2147483647    12587     93 |  0.000 % |
6.87/6.92	c |     12781 |    1205   127840   554049 | 2147483647    12781     93 |  0.000 % |
6.97/7.04	c |     12995 |    1205   127840   554049 | 2147483647    12995     93 |  0.000 % |
7.17/7.20	c |     13228 |    1205   127840   554049 | 2147483647    13228     93 |  0.000 % |
7.27/7.37	c |     13484 |    1205   127840   554049 | 2147483647    13484     93 |  0.000 % |
7.37/7.49	c |     13767 |    1205   127840   554049 | 2147483647    13767     93 |  0.000 % |
7.57/7.66	c |     14078 |    1205   127840   554049 | 2147483647    14078     93 |  0.000 % |
7.67/7.71	c |     14182 |    1205   127840   554049 | 2147483647    14182     93 |  0.000 % |
7.67/7.78	c |     14294 |    1205   127840   554049 | 2147483647    14294     93 |  0.000 % |
7.77/7.85	c |     14415 |    1205   127840   554049 | 2147483647    14415     93 |  0.000 % |
7.87/7.92	c |     14548 |    1205   127840   554049 | 2147483647    14548     93 |  0.000 % |
7.97/8.00	c |     14694 |    1205   127840   554049 | 2147483647    14694     93 |  0.000 % |
8.07/8.10	c |     14855 |    1205   127840   554049 | 2147483647    14855     93 |  0.000 % |
8.17/8.21	c |     15031 |    1205   127840   554049 | 2147483647    15031     93 |  0.000 % |
8.27/8.34	c |     15224 |    1205   127840   554049 | 2147483647    15224     93 |  0.000 % |
8.37/8.46	c |     15436 |    1205   127840   554049 | 2147483647    15436     93 |  0.000 % |
8.57/8.64	c |     15669 |    1205   127840   554049 | 2147483647    15669     93 |  0.000 % |
8.67/8.77	c |     15926 |    1205   127840   554049 | 2147483647    15926     93 |  0.000 % |
8.87/8.95	c |     16207 |    1205   127840   554049 | 2147483647    16207     93 |  0.000 % |
9.07/9.13	c |     16519 |    1205   127840   554049 | 2147483647    16519     93 |  0.000 % |
9.27/9.37	c |     16859 |    1205   127840   554049 | 2147483647    16859     93 |  0.000 % |
9.37/9.44	c |     16961 |    1205   127840   554049 | 2147483647    16961     93 |  0.000 % |
9.37/9.49	c |     17074 |    1205   127840   554049 | 2147483647    17074     93 |  0.000 % |
9.47/9.59	c |     17195 |    1205   127840   554049 | 2147483647    17195     93 |  0.000 % |
9.57/9.69	c |     17328 |    1205   127840   554049 | 2147483647    17328     93 |  0.000 % |
9.67/9.79	c |     17474 |    1205   127840   554049 | 2147483647    17474     93 |  0.000 % |
9.77/9.89	c |     17634 |    1205   127840   554049 | 2147483647    17634     93 |  0.000 % |
9.97/10.02	c |     17811 |    1205   127840   554049 | 2147483647    17811     93 |  0.000 % |
10.07/10.18	c |     18004 |    1205   127840   554049 | 2147483647    18004     92 |  0.000 % |
10.27/10.34	c |     18217 |    1205   127840   554049 | 2147483647    18217     92 |  0.000 % |
10.37/10.47	c |     18453 |    1205   127840   554049 | 2147483647    18453     92 |  0.000 % |
10.57/10.67	c |     18710 |    1205   127840   554049 | 2147483647    18710     92 |  0.000 % |
10.77/10.83	c |     18991 |    1205   127840   554049 | 2147483647    18991     92 |  0.000 % |
10.97/11.05	c |     19300 |    1205   127840   554049 | 2147483647    19300     92 |  0.000 % |
11.26/11.30	c |     19639 |    1205   127840   554049 | 2147483647    19639     92 |  0.000 % |
11.46/11.58	c |     20011 |    1205   127840   554049 | 2147483647    20011     92 |  0.000 % |
11.56/11.67	c |     20114 |    1205   127840   554049 | 2147483647    20114     92 |  0.000 % |
11.66/11.74	c |     20224 |    1205   127840   554049 | 2147483647    20224     92 |  0.000 % |
11.77/11.83	c |     20348 |    1205   127840   554049 | 2147483647    20348     92 |  0.000 % |
11.87/11.93	c |     20482 |    1205   127840   554049 | 2147483647    20482     92 |  0.000 % |
11.97/12.07	c |     20630 |    1205   127840   554049 | 2147483647    20630     92 |  0.000 % |
12.07/12.17	c |     20792 |    1205   127840   554049 | 2147483647    20792     92 |  0.000 % |
12.17/12.25	c |     20968 |    1205   127840   554049 | 2147483647    20968     92 |  0.000 % |
12.27/12.38	c |     21163 |    1205   127840   554049 | 2147483647    21163     92 |  0.000 % |
12.47/12.50	c |     21375 |    1205   127840   554049 | 2147483647    21375     92 |  0.000 % |
12.57/12.67	c |     21610 |    1205   127840   554049 | 2147483647    21610     92 |  0.000 % |
12.86/12.95	c |     21867 |    1205   127840   554049 | 2147483647    21867     92 |  0.000 % |
13.17/13.25	c |     22148 |    1205   127840   554049 | 2147483647    22148     92 |  0.000 % |
13.46/13.56	c |     22458 |    1205   127840   554049 | 2147483647    22458     91 |  0.000 % |
13.86/13.96	c |     22797 |    1205   127840   554049 | 2147483647    22797     91 |  0.000 % |
14.27/14.31	c |     23169 |    1205   127840   554049 | 2147483647    23169     91 |  0.000 % |
14.56/14.61	c |     23578 |    1205   127840   554049 | 2147483647    23578     91 |  0.000 % |
14.56/14.69	c |     23678 |    1205   127840   554049 | 2147483647    23678     91 |  0.000 % |
14.87/14.91	c |     23790 |    1205   127840   554049 | 2147483647    23790     91 |  0.000 % |
14.87/15.00	c |     23913 |    1205   127840   554049 | 2147483647    23913     91 |  0.000 % |
15.17/15.23	c |     24047 |    1205   127840   554049 | 2147483647    24047     91 |  0.000 % |
15.27/15.33	c |     24193 |    1205   127840   554049 | 2147483647    24193     91 |  0.000 % |
15.67/15.70	c |     24354 |    1205   127840   554049 | 2147483647    24354     91 |  0.000 % |
15.87/15.90	c |     24531 |    1205   127840   554049 | 2147483647    24531     91 |  0.000 % |
15.97/16.08	c |     24724 |    1205   127840   554049 | 2147483647    24724     90 |  0.000 % |
16.37/16.42	c |     24938 |    1205   127840   554049 | 2147483647    24938     90 |  0.000 % |
16.77/16.84	c |     25172 |    1205   127840   554049 | 2147483647    25172     90 |  0.000 % |
16.97/17.03	c |     25429 |    1205   127840   554049 | 2147483647    25429     90 |  0.000 % |
17.37/17.40	c |     25710 |    1205   127840   554049 | 2147483647    25710     90 |  0.000 % |
17.57/17.62	c |     26021 |    1205   127840   554049 | 2147483647    26021     89 |  0.000 % |
17.67/17.79	c |     26360 |    1205   127840   554049 | 2147483647    26360     89 |  0.000 % |
18.27/18.32	c |     26734 |    1205   127840   554049 | 2147483647    26734     89 |  0.000 % |
18.57/18.65	c |     27143 |    1205   127840   554049 | 2147483647    27143     89 |  0.000 % |
19.37/19.46	c |     27597 |    1205   127840   554049 | 2147483647    27597     89 |  0.000 % |
19.47/19.59	c |     27698 |    1205   127840   554049 | 2147483647    27698     89 |  0.000 % |
19.67/19.73	c |     27809 |    1205   127840   554049 | 2147483647    27809     89 |  0.000 % |
19.77/19.86	c |     27933 |    1205   127840   554049 | 2147483647    27933     89 |  0.000 % |
19.87/19.99	c |     28068 |    1205   127840   554049 | 2147483647    28068     89 |  0.000 % |
20.07/20.14	c |     28215 |    1205   127840   554049 | 2147483647    28215     88 |  0.000 % |
20.17/20.27	c |     28375 |    1205   127840   554049 | 2147483647    28375     88 |  0.000 % |
20.27/20.36	c |     28551 |    1205   127840   554049 | 2147483647    28551     88 |  0.000 % |
20.57/20.68	c |     28744 |    1205   127840   554049 | 2147483647    28744     88 |  0.000 % |
20.77/20.87	c |     28957 |    1205   127840   554049 | 2147483647    28957     88 |  0.000 % |
20.97/21.06	c |     29190 |    1205   127840   554049 | 2147483647    29190     88 |  0.000 % |
21.07/21.17	c |     29446 |    1205   127840   554049 | 2147483647    29446     88 |  0.000 % |
21.66/21.70	c |     29727 |    1205   127840   554049 | 2147483647    29727     88 |  0.000 % |
21.87/21.98	c |     30037 |    1205   127840   554049 | 2147483647    30037     88 |  0.000 % |
22.66/22.76	c |     30376 |    1205   127840   554049 | 2147483647    30376     88 |  0.000 % |
23.36/23.44	c |     30749 |    1205   127840   554049 | 2147483647    30749     87 |  0.000 % |
23.96/24.02	c |     31160 |    1205   127840   554049 | 2147483647    31160     87 |  0.001 % |
24.26/24.39	c |     31609 |    1205   127840   554049 | 2147483647    31609     87 |  0.000 % |
24.46/24.53	c |     32105 |    1205   127840   554049 | 2147483647    32105     87 |  0.000 % |
24.66/24.78	c |     32205 |    1205   127840   554049 | 2147483647    32205     87 |  0.000 % |
24.86/24.99	c |     32315 |    1205   127840   554049 | 2147483647    32315     87 |  0.000 % |
25.06/25.14	c |     32436 |    1205   127840   554049 | 2147483647    32436     87 |  0.000 % |
25.17/25.23	c |     32572 |    1205   127840   554049 | 2147483647    32572     87 |  0.000 % |
25.27/25.33	c |     32718 |    1205   127840   554049 | 2147483647    32718     87 |  0.000 % |
25.66/25.73	c |     32878 |    1205   127840   554049 | 2147483647    32878     87 |  0.000 % |
25.76/25.83	c |     33054 |    1205   127840   554049 | 2147483647    33054     87 |  0.000 % |
26.16/26.23	c |     33247 |    1205   127840   554049 | 2147483647    33247     87 |  0.000 % |
26.46/26.54	c |     33459 |    1205   127840   554049 | 2147483647    33459     87 |  0.000 % |
26.86/26.94	c |     33698 |    1205   127840   554049 | 2147483647    33698     87 |  0.000 % |
27.26/27.31	c |     33956 |    1205   127840   554049 | 2147483647    33956     87 |  0.000 % |
27.46/27.54	c |     34238 |    1205   127840   554049 | 2147483647    34238     87 |  0.000 % |
27.86/27.95	c |     34547 |    1205   127840   554049 | 2147483647    34547     87 |  0.000 % |
28.26/28.38	c |     34887 |    1205   127840   554049 | 2147483647    34887     87 |  0.000 % |
28.57/28.63	c |     35259 |    1205   127840   554049 | 2147483647    35259     87 |  0.000 % |
28.86/28.91	c |     35669 |    1205   127840   554049 | 2147483647    35669     87 |  0.000 % |
29.17/29.23	c |     36118 |    1205   127840   554049 | 2147483647    36118     87 |  0.000 % |
29.47/29.58	c |     36611 |    1205   127840   554049 | 2147483647    36611     87 |  0.000 % |
30.16/30.25	c |     37155 |    1205   127840   554049 | 2147483647    37155     87 |  0.000 % |
30.26/30.37	c |     37255 |    1205   127840   554049 | 2147483647    37255     87 |  0.000 % |
30.36/30.49	c |     37366 |    1205   127840   554049 | 2147483647    37366     87 |  0.000 % |
30.56/30.67	c |     37487 |    1205   127840   554049 | 2147483647    37487     87 |  0.000 % |
30.67/30.76	c |     37620 |    1205   127840   554049 | 2147483647    37620     87 |  0.000 % |
30.86/30.95	c |     37766 |    1205   127840   554049 | 2147483647    37766     87 |  0.000 % |
31.06/31.18	c |     37927 |    1205   127840   554049 | 2147483647    37927     87 |  0.000 % |
31.26/31.37	c |     38103 |    1205   127840   554049 | 2147483647    38103     87 |  0.000 % |
31.46/31.52	c |     38296 |    1205   127840   554049 | 2147483647    38296     87 |  0.000 % |
31.66/31.75	c |     38508 |    1205   127840   554049 | 2147483647    38508     87 |  0.000 % |
32.06/32.13	c |     38743 |    1205   127840   554049 | 2147483647    38743     87 |  0.000 % |
32.36/32.40	c |     39000 |    1205   127840   554049 | 2147483647    39000     87 |  0.000 % |
32.56/32.66	c |     39283 |    1205   127840   554049 | 2147483647    39283     87 |  0.000 % |
32.96/33.03	c |     39594 |    1205   127840   554049 | 2147483647    39594     87 |  0.000 % |
33.16/33.29	c |     39934 |    1205   127840   554049 | 2147483647    39934     87 |  0.000 % |
33.56/33.67	c |     40308 |    1205   127840   554049 | 2147483647    40308     87 |  0.000 % |
33.96/34.04	c |     40718 |    1205   127840   554049 | 2147483647    40718     87 |  0.000 % |
34.36/34.41	c |     41172 |    1205   127840   554049 | 2147483647    41172     86 |  0.000 % |
34.67/34.71	c |     41668 |    1205   127840   554049 | 2147483647    41668     86 |  0.000 % |
35.07/35.17	c |     42210 |    1205   127840   554049 | 2147483647    42210     86 |  0.000 % |
35.66/35.73	c |     42809 |    1205   127840   554049 | 2147483647    42809     85 |  0.000 % |
35.86/35.93	c |     42909 |    1205   127840   554049 | 2147483647    42909     85 |  0.000 % |
35.96/36.05	c |     43019 |    1205   127840   554049 | 2147483647    43019     85 |  0.000 % |
36.27/36.36	c |     43141 |    1205   127840   554049 | 2147483647    43141     85 |  0.000 % |
36.56/36.64	c |     43278 |    1205   127840   554049 | 2147483647    43278     85 |  0.000 % |
36.76/36.82	c |     43425 |    1205   127840   554049 | 2147483647    43425     85 |  0.000 % |
36.86/36.96	c |     43586 |    1205   127840   554049 | 2147483647    43586     85 |  0.000 % |
37.16/37.23	c |     43762 |    1205   127840   554049 | 2147483647    43762     85 |  0.000 % |
37.46/37.56	c |     43957 |    1205   127840   554049 | 2147483647    43957     85 |  0.000 % |
37.76/37.80	c |     44169 |    1205   127840   554049 | 2147483647    44169     85 |  0.000 % |
38.16/38.20	c |     44402 |    1205   127840   554049 | 2147483647    44402     85 |  0.000 % |
38.37/38.45	c |     44659 |    1205   127840   554049 | 2147483647    44659     85 |  0.000 % |
38.66/38.72	c |     44940 |    1205   127840   554049 | 2147483647    44940     85 |  0.000 % |
39.36/39.42	c |     45251 |    1205   127840   554049 | 2147483647    45251     85 |  0.000 % |
39.96/40.05	c |     45590 |    1205   127840   554049 | 2147483647    45590     85 |  0.000 % |
40.26/40.34	c |     45963 |    1205   127840   554049 | 2147483647    45963     85 |  0.000 % |
40.96/41.04	c |     46376 |    1205   127840   554049 | 2147483647    46376     85 |  0.000 % |
41.66/41.71	c |     46825 |    1205   127840   554049 | 2147483647    46825     85 |  0.000 % |
42.16/42.20	c |     47318 |    1205   127840   554049 | 2147483647    47318     85 |  0.000 % |
43.06/43.13	c |     47860 |    1205   127840   554049 | 2147483647    47860     85 |  0.000 % |
43.86/43.99	c |     48456 |    1205   127840   554049 | 2147483647    48456     85 |  0.000 % |
44.56/44.66	c |     49111 |    1205   127840   554049 | 2147483647    49111     85 |  0.000 % |
44.86/44.90	c |     49215 |    1205   127840   554049 | 2147483647    49215     85 |  0.000 % |
45.06/45.10	c |     49327 |    1205   127840   554049 | 2147483647    49327     85 |  0.000 % |
45.15/45.26	c |     49451 |    1205   127840   554049 | 2147483647    49451     84 |  0.000 % |
45.35/45.42	c |     49586 |    1205   127840   554049 | 2147483647    49586     84 |  0.000 % |
45.55/45.68	c |     49734 |    1205   127840   554049 | 2147483647    49734     84 |  0.000 % |
45.75/45.86	c |     49894 |    1205   127840   554049 | 2147483647    49894     84 |  0.000 % |
46.26/46.33	c |     50071 |    1205   127840   554049 | 2147483647    50071     84 |  0.000 % |
46.46/46.60	c |     50265 |    1205   127840   554049 | 2147483647    50265     84 |  0.000 % |
46.76/46.84	c |     50478 |    1205   127840   554049 | 2147483647    50478     84 |  0.000 % |
47.05/47.11	c |     50712 |    1205   127840   554049 | 2147483647    50712     84 |  0.000 % |
47.36/47.48	c |     50968 |    1205   127840   554049 | 2147483647    50968     84 |  0.000 % |
47.56/47.64	c |     51250 |    1205   127840   554049 | 2147483647    51250     84 |  0.000 % |
47.66/47.75	c |     51560 |    1205   127840   554049 | 2147483647    51560     84 |  0.000 % |
47.86/47.98	c |     51901 |    1205   127840   554049 | 2147483647    51901     84 |  0.000 % |
48.46/48.52	c |     52273 |    1205   127840   554049 | 2147483647    52273     84 |  0.000 % |
48.96/49.00	c |     52684 |    1205   127840   554049 | 2147483647    52684     84 |  0.000 % |
49.16/49.30	c |     53133 |    1205   127840   554049 | 2147483647    53133     84 |  0.000 % |
49.66/49.75	c |     53627 |    1205   127840   554049 | 2147483647    53627     84 |  0.000 % |
49.96/50.08	c |     54171 |    1205   127840   554049 | 2147483647    54171     83 |  0.000 % |
50.46/50.54	c |     54770 |    1205   127840   554049 | 2147483647    54770     83 |  0.000 % |
51.06/51.15	c |     55428 |    1205   127840   554049 | 2147483647    55428     83 |  0.000 % |
51.66/51.78	c |     56149 |    1205   127840   554049 | 2147483647    56149     83 |  0.001 % |
52.06/52.10	c |     56250 |    1205   127840   554049 | 2147483647    56250     83 |  0.000 % |
52.26/52.35	c |     56360 |    1205   127840   554049 | 2147483647    56360     83 |  0.000 % |
52.46/52.59	c |     56483 |    1205   127840   554049 | 2147483647    56483     83 |  0.000 % |
52.66/52.78	c |     56617 |    1205   127840   554049 | 2147483647    56617     83 |  0.000 % |
52.96/53.03	c |     56765 |    1205   127840   554049 | 2147483647    56765     83 |  0.000 % |
53.26/53.30	c |     56926 |    1205   127840   554049 | 2147483647    56926     83 |  0.000 % |
53.46/53.58	c |     57102 |    1205   127840   554049 | 2147483647    57102     82 |  0.001 % |
53.76/53.88	c |     57296 |    1205   127840   554049 | 2147483647    57296     82 |  0.000 % |
54.16/54.24	c |     57509 |    1205   127840   554049 | 2147483647    57509     82 |  0.000 % |
54.46/54.58	c |     57742 |    1205   127840   554049 | 2147483647    57742     82 |  0.000 % |
54.86/54.94	c |     57999 |    1205   127840   554049 | 2147483647    57999     82 |  0.000 % |
55.36/55.46	c |     58283 |    1205   127840   554049 | 2147483647    58283     82 |  0.000 % |
56.25/56.36	c |     58592 |    1205   127840   554049 | 2147483647    58592     82 |  0.000 % |
56.85/56.96	c |     58932 |    1205   127840   554049 | 2147483647    58932     82 |  0.000 % |
57.35/57.42	c |     59307 |    1205   127840   554049 | 2147483647    59307     82 |  0.000 % |
58.05/58.11	c |     59717 |    1205   127840   554049 | 2147483647    59717     81 |  0.000 % |
58.65/58.71	c |     60166 |    1205   127840   554049 | 2147483647    60166     81 |  0.000 % |
59.26/59.38	c |     60660 |    1205   127840   554049 | 2147483647    60660     81 |  0.000 % |
60.05/60.14	c |     61207 |    1205   127840   554049 | 2147483647    61207     80 |  0.000 % |
61.15/61.20	c |     61803 |    1205   127840   554049 | 2147483647    61803     80 |  0.000 % |
62.15/62.21	c |     62459 |    1205   127840   554049 | 2147483647    62459     79 |  0.000 % |
62.95/63.05	c |     63181 |    1205   127840   554049 | 2147483647    63181     79 |  0.000 % |
63.85/63.96	c |     63976 |    1205   127840   554049 | 2147483647    63976     79 |  0.000 % |
64.05/64.15	c |     64077 |    1205   127840   554049 | 2147483647    64077     78 |  0.000 % |
64.25/64.34	c |     64190 |    1205   127840   554049 | 2147483647    64190     78 |  0.000 % |
64.45/64.55	c |     64311 |    1205   127840   554049 | 2147483647    64311     78 |  0.000 % |
64.65/64.77	c |     64444 |    1205   127840   554049 | 2147483647    64444     78 |  0.000 % |
64.86/64.91	c |     64592 |    1205   127840   554049 | 2147483647    64592     78 |  0.000 % |
65.26/65.31	c |     64753 |    1205   127840   554049 | 2147483647    64753     78 |  0.000 % |
65.46/65.54	c |     64930 |    1205   127840   554049 | 2147483647    64930     79 |  0.000 % |
65.66/65.77	c |     65123 |    1205   127840   554049 | 2147483647    65123     79 |  0.000 % |
65.96/66.00	c |     65335 |    1205   127840   554049 | 2147483647    65335     79 |  0.000 % |
66.26/66.36	c |     65568 |    1205   127840   554049 | 2147483647    65568     79 |  0.000 % |
66.76/66.89	c |     65825 |    1205   127840   554049 | 2147483647    65825     79 |  0.000 % |
67.46/67.54	c |     66108 |    1205   127840   554049 | 2147483647    66108     79 |  0.000 % |
67.96/68.01	c |     66419 |    1205   127840   554049 | 2147483647    66419     79 |  0.000 % |
68.46/68.54	c |     66759 |    1205   127840   554049 | 2147483647    66759     78 |  0.000 % |
68.96/69.03	c |     67131 |    1205   127840   554049 | 2147483647    67131     78 |  0.000 % |
69.26/69.34	c |     67542 |    1205   127840   554049 | 2147483647    67542     78 |  0.000 % |
70.36/70.42	c |     67992 |    1205   127840   554049 | 2147483647    67992     78 |  0.000 % |
71.15/71.30	c |     68486 |    1205   127840   554049 | 2147483647    68486     78 |  0.000 % |
71.66/71.75	c |     69029 |    1205   127840   554049 | 2147483647    69029     79 |  0.000 % |
72.56/72.65	c |     69625 |    1205   127840   554049 | 2147483647    69625     79 |  0.000 % |
73.45/73.57	c |     70280 |    1205   127840   554049 | 2147483647    70280     79 |  0.000 % |
74.76/74.83	c |     71003 |    1205   127840   554049 | 2147483647    71003     78 |  0.000 % |
75.95/76.05	c |     71797 |    1205   127840   554049 | 2147483647    71797     79 |  0.000 % |
77.55/77.63	c |     72670 |    1205   127840   554049 | 2147483647    72670     79 |  0.000 % |
77.75/77.86	c |     72770 |    1205   127840   554049 | 2147483647    72770     79 |  0.000 % |
77.95/78.06	c |     72880 |    1205   127840   554049 | 2147483647    72880     79 |  0.000 % |
78.15/78.23	c |     73002 |    1205   127840   554049 | 2147483647    73002     79 |  0.000 % |
78.35/78.41	c |     73137 |    1205   127840   554049 | 2147483647    73137     79 |  0.000 % |
78.45/78.51	c |     73283 |    1205   127840   554049 | 2147483647    73283     79 |  0.000 % |
78.75/78.84	c |     73443 |    1205   127840   554049 | 2147483647    73443     79 |  0.000 % |
79.05/79.17	c |     73620 |    1205   127840   554049 | 2147483647    73620     79 |  0.000 % |
79.45/79.54	c |     73813 |    1205   127840   554049 | 2147483647    73813     79 |  0.000 % |
79.65/79.72	c |     74025 |    1205   127840   554049 | 2147483647    74025     79 |  0.000 % |
80.05/80.13	c |     74258 |    1205   127840   554049 | 2147483647    74258     79 |  0.000 % |
80.55/80.64	c |     74515 |    1205   127840   554049 | 2147483647    74515     79 |  0.000 % |
81.05/81.18	c |     74799 |    1205   127840   554049 | 2147483647    74799     79 |  0.000 % |
81.65/81.72	c |     75108 |    1205   127840   554049 | 2147483647    75108     79 |  0.000 % |
81.85/81.94	c |     75448 |    1205   127840   554049 | 2147483647    75448     79 |  0.000 % |
82.65/82.77	c |     75821 |    1205   127840   554049 | 2147483647    75821     79 |  0.000 % |
83.65/83.78	c |     76230 |    1205   127840   554049 | 2147483647    76230     79 |  0.000 % |
84.75/84.83	c |     76681 |    1205   127840   554049 | 2147483647    76681     79 |  0.000 % |
85.35/85.50	c |     77175 |    1205   127840   554049 | 2147483647    77175     79 |  0.000 % |
86.15/86.21	c |     77719 |    1205   127840   554049 | 2147483647    77719     79 |  0.000 % |
86.65/86.75	c |     78316 |    1205   127840   554049 | 2147483647    78316     79 |  0.000 % |
87.14/87.27	c |     78972 |    1205   127840   554049 | 2147483647    78972     79 |  0.000 % |
87.85/87.90	c |     79696 |    1205   127840   554049 | 2147483647    79696     79 |  0.000 % |
89.25/89.37	c |     80488 |    1205   127840   554049 | 2147483647    80488     79 |  0.000 % |
90.15/90.25	c |     81359 |    1205   127840   554049 | 2147483647    81359     79 |  0.000 % |
90.95/91.07	c |     82319 |    1205   127840   554049 | 2147483647    82319     80 |  0.000 % |
91.05/91.16	c |     82422 |    1205   127840   554049 | 2147483647    82422     80 |  0.000 % |
91.15/91.26	c |     82537 |    1205   127840   554049 | 2147483647    82537     80 |  0.000 % |
91.55/91.63	c |     82660 |    1205   127840   554049 | 2147483647    82660     80 |  0.000 % |
91.65/91.78	c |     82796 |    1205   127840   554049 | 2147483647    82796     80 |  0.000 % |
91.85/91.94	c |     82942 |    1205   127840   554049 | 2147483647    82942     80 |  0.000 % |
92.25/92.33	c |     83104 |    1205   127840   554049 | 2147483647    83104     80 |  0.000 % |
92.45/92.59	c |     83280 |    1205   127840   554049 | 2147483647    83280     80 |  0.000 % |
92.95/93.02	c |     83473 |    1205   127840   554049 | 2147483647    83473     80 |  0.000 % |
93.35/93.49	c |     83685 |    1205   127840   554049 | 2147483647    83685     80 |  0.000 % |
93.85/93.95	c |     83918 |    1205   127840   554049 | 2147483647    83918     80 |  0.000 % |
94.55/94.63	c |     84174 |    1205   127840   554049 | 2147483647    84174     80 |  0.000 % |
94.95/95.06	c |     84455 |    1205   127840   554049 | 2147483647    84455     79 |  0.000 % |
95.55/95.60	c |     84765 |    1205   127840   554049 | 2147483647    84765     79 |  0.000 % |
96.35/96.42	c |     85104 |    1205   127840   554049 | 2147483647    85104     79 |  0.000 % |
97.25/97.32	c |     85477 |    1205   127840   554049 | 2147483647    85477     79 |  0.000 % |
98.05/98.14	c |     85887 |    1205   127840   554049 | 2147483647    85887     79 |  0.000 % |
99.05/99.15	c |     86336 |    1205   127840   554049 | 2147483647    86336     79 |  0.000 % |
100.15/100.24	c |     86830 |    1205   127840   554049 | 2147483647    86830     79 |  0.000 % |
101.35/101.42	c |     87374 |    1205   127840   554049 | 2147483647    87374     78 |  0.000 % |
102.35/102.42	c |     87972 |    1205   127840   554049 | 2147483647    87972     78 |  0.000 % |
103.64/103.73	c |     88627 |    1205   127840   554049 | 2147483647    88627     78 |  0.000 % |
104.84/104.93	c |     89347 |    1205   127840   554049 | 2147483647    89347     77 |  0.000 % |
106.34/106.42	c |     90139 |    1205   127840   554049 | 2147483647    90139     77 |  0.000 % |
107.14/107.27	c |     91012 |    1205   127840   554049 | 2147483647    91012     77 |  0.000 % |
109.44/109.59	c |     91975 |    1205   127840   554049 | 2147483647    91975     77 |  0.000 % |
111.24/111.37	c |     93029 |    1205   127840   554049 | 2147483647    93029     78 |  0.000 % |
111.64/111.73	c |     93130 |    1205   127840   554049 | 2147483647    93130     78 |  0.000 % |
111.94/112.07	c |     93240 |    1205   127840   554049 | 2147483647    93240     77 |  0.000 % |
112.24/112.37	c |     93362 |    1205   127840   554049 | 2147483647    93362     77 |  0.000 % |
112.54/112.66	c |     93503 |    1205   127840   554049 | 2147483647    93503     77 |  0.000 % |
112.84/112.94	c |     93649 |    1205   127840   554049 | 2147483647    93649     77 |  0.000 % |
113.14/113.26	c |     93810 |    1205   127840   554049 | 2147483647    93810     77 |  0.000 % |
113.33/113.50	c |     93987 |    1205   127840   554049 | 2147483647    93987     77 |  0.000 % |
113.94/114.03	c |     94181 |    1205   127840   554049 | 2147483647    94181     77 |  0.000 % |
114.25/114.33	c |     94397 |    1205   127840   554049 | 2147483647    94397     77 |  0.000 % |
114.84/114.96	c |     94631 |    1205   127840   554049 | 2147483647    94631     77 |  0.000 % |
115.45/115.56	c |     94887 |    1205   127840   554049 | 2147483647    94887     77 |  0.000 % |
116.04/116.15	c |     95168 |    1205   127840   554049 | 2147483647    95168     77 |  0.000 % |
116.55/116.64	c |     95477 |    1205   127840   554049 | 2147483647    95477     77 |  0.000 % |
117.04/117.16	c |     95819 |    1205   127840   554049 | 2147483647    95819     77 |  0.000 % |
117.65/117.76	c |     96192 |    1205   127840   554049 | 2147483647    96192     77 |  0.000 % |
118.44/118.54	c |     96602 |    1205   127840   554049 | 2147483647    96602     77 |  0.000 % |
119.54/119.61	c |     97054 |    1205   127840   554049 | 2147483647    97054     77 |  0.000 % |
120.04/120.20	c |     97548 |    1205   127840   554049 | 2147483647    97548     77 |  0.000 % |
121.14/121.22	c |     98090 |    1205   127840   554049 | 2147483647    98090     77 |  0.000 % |
122.04/122.19	c |     98687 |    1205   127840   554049 | 2147483647    98687     77 |  0.000 % |
123.24/123.39	c |     99342 |    1205   127840   554049 | 2147483647    99342     77 |  0.000 % |
124.74/124.88	c |    100066 |    1205   127840   554049 | 2147483647   100066     77 |  0.000 % |
126.54/126.62	c |    100860 |    1205   127840   554049 | 2147483647   100860     77 |  0.000 % |
128.14/128.22	c |    101731 |    1205   127840   554049 | 2147483647   101731     77 |  0.000 % |
129.74/129.89	c |    102689 |    1205   127840   554049 | 2147483647   102689     77 |  0.000 % |
131.84/131.98	c |    103742 |    1205   127840   554049 | 2147483647   103742     77 |  0.000 % |
133.63/133.73	c |    104900 |    1205   127840   554049 | 2147483647   104900     77 |  0.000 % |
133.83/133.98	c |    105001 |    1205   127840   554049 | 2147483647   105001     77 |  0.000 % |
134.14/134.29	c |    105111 |    1205   127840   554049 | 2147483647   105111     77 |  0.000 % |
134.53/134.66	c |    105233 |    1205   127840   554049 | 2147483647   105233     77 |  0.000 % |
134.73/134.89	c |    105368 |    1205   127840   554049 | 2147483647   105368     77 |  0.000 % |
135.03/135.11	c |    105514 |    1205   127840   554049 | 2147483647   105514     77 |  0.000 % |
135.43/135.52	c |    105677 |    1205   127840   554049 | 2147483647   105677     77 |  0.000 % |
135.53/135.69	c |    105853 |    1205   127840   554049 | 2147483647   105853     77 |  0.000 % |
136.23/136.40	c |    106046 |    1205   127840   554049 | 2147483647   106046     77 |  0.000 % |
136.73/136.85	c |    106263 |    1205   127840   554049 | 2147483647   106263     77 |  0.000 % |
137.03/137.17	c |    106498 |    1205   127840   554049 | 2147483647   106498     77 |  0.000 % |
137.54/137.68	c |    106754 |    1205   127840   554049 | 2147483647   106754     77 |  0.000 % |
138.14/138.20	c |    107036 |    1205   127840   554049 | 2147483647   107036     77 |  0.000 % |
138.54/138.65	c |    107345 |    1205   127840   554049 | 2147483647   107345     77 |  0.000 % |
139.34/139.41	c |    107686 |    1205   127840   554049 | 2147483647   107686     77 |  0.000 % |
140.04/140.12	c |    108059 |    1205   127840   554049 | 2147483647   108059     77 |  0.000 % |
141.14/141.23	c |    108468 |    1205   127840   554049 | 2147483647   108468     78 |  0.000 % |
142.13/142.23	c |    108919 |    1205   127840   554049 | 2147483647   108919     78 |  0.000 % |
143.13/143.27	c |    109414 |    1205   127840   554049 | 2147483647   109414     77 |  0.000 % |
144.23/144.39	c |    109959 |    1205   127840   554049 | 2147483647   109959     77 |  0.000 % |
145.33/145.48	c |    110555 |    1205   127840   554049 | 2147483647   110555     77 |  0.001 % |
147.33/147.49	c |    111210 |    1205   127840   554049 | 2147483647   111210     77 |  0.000 % |
148.83/148.90	c |    111930 |    1205   127840   554049 | 2147483647   111930     77 |  0.000 % |
151.53/151.60	c |    112724 |    1205   127840   554049 | 2147483647   112724     77 |  0.000 % |
153.63/153.73	c |    113596 |    1205   127840   554049 | 2147483647   113596     77 |  0.000 % |
155.33/155.50	c |    114556 |    1205   127840   554049 | 2147483647   114556     77 |  0.000 % |
157.33/157.42	c |    115611 |    1205   127840   554049 | 2147483647   115611     77 |  0.000 % |
159.63/159.77	c |    116769 |    1205   127840   554049 | 2147483647   116769     77 |  0.000 % |
161.83/161.91	c |    118042 |    1205   127840   554049 | 2147483647   118042     77 |  0.000 % |
162.13/162.25	c |    118142 |    1205   127840   554049 | 2147483647   118142     77 |  0.000 % |
162.33/162.45	c |    118252 |    1205   127840   554049 | 2147483647   118252     77 |  0.000 % |
162.83/162.97	c |    118376 |    1205   127840   554049 | 2147483647   118376     77 |  0.000 % |
163.13/163.24	c |    118511 |    1205   127840   554049 | 2147483647   118511     77 |  0.000 % |
163.53/163.61	c |    118657 |    1205   127840   554049 | 2147483647   118657     77 |  0.000 % |
163.83/163.95	c |    118817 |    1205   127840   554049 | 2147483647   118817     77 |  0.000 % |
164.33/164.46	c |    118993 |    1205   127840   554049 | 2147483647   118993     77 |  0.000 % |
165.13/165.22	c |    119186 |    1205   127840   554049 | 2147483647   119186     77 |  0.000 % |
165.73/165.89	c |    119398 |    1205   127840   554049 | 2147483647   119398     77 |  0.000 % |
166.33/166.48	c |    119634 |    1205   127840   554049 | 2147483647   119634     77 |  0.000 % |
167.03/167.11	c |    119892 |    1205   127840   554049 | 2147483647   119892     77 |  0.000 % |
167.62/167.79	c |    120175 |    1205   127840   554049 | 2147483647   120175     77 |  0.000 % |
168.62/168.70	c |    120484 |    1205   127840   554049 | 2147483647   120484     76 |  0.000 % |
169.52/169.61	c |    120825 |    1205   127840   554049 | 2147483647   120825     76 |  0.000 % |
170.43/170.51	c |    121202 |    1205   127840   554049 | 2147483647   121202     76 |  0.000 % |
171.32/171.45	c |    121611 |    1205   127840   554049 | 2147483647   121611     76 |  0.000 % |
172.42/172.55	c |    122062 |    1205   127840   554049 | 2147483647   122062     76 |  0.000 % |
173.42/173.58	c |    122555 |    1205   127840   554049 | 2147483647   122555     76 |  0.000 % |
174.92/175.06	c |    123099 |    1205   127840   554049 | 2147483647   123099     76 |  0.000 % |
176.23/176.37	c |    123695 |    1205   127840   554049 | 2147483647   123695     76 |  0.000 % |
178.43/178.58	c |    124350 |    1205   127840   554049 | 2147483647   124350     76 |  0.000 % |
180.52/180.60	c |    125072 |    1205   127840   554049 | 2147483647   125072     76 |  0.000 % |
182.72/182.83	c |    125867 |    1205   127840   554049 | 2147483647   125867     76 |  0.000 % |
184.82/184.94	c |    126741 |    1205   127840   554049 | 2147483647   126741     76 |  0.000 % |
186.72/186.88	c |    127700 |    1205   127840   554049 | 2147483647   127700     76 |  0.000 % |
189.22/189.33	c |    128755 |    1205   127840   554049 | 2147483647   128755     75 |  0.000 % |
191.42/191.52	c |    129913 |    1205   127840   554049 | 2147483647   129913     75 |  0.000 % |
193.91/194.08	c |    131189 |    1205   127840   554049 | 2147483647   131189     75 |  0.000 % |
196.62/196.75	c |    132589 |    1205   127840   554049 | 2147483647   132589     75 |  0.000 % |
196.92/197.03	c |    132690 |    1205   127840   554049 | 2147483647   132690     75 |  0.000 % |
197.22/197.32	c |    132800 |    1205   127840   554049 | 2147483647   132800     75 |  0.000 % |
197.42/197.51	c |    132921 |    1205   127840   554049 | 2147483647   132921     75 |  0.000 % |
197.82/197.97	c |    133055 |    1205   127840   554049 | 2147483647   133055     75 |  0.000 % |
198.22/198.30	c |    133201 |    1205   127840   554049 | 2147483647   133201     75 |  0.000 % |
198.72/198.83	c |    133362 |    1205   127840   554049 | 2147483647   133362     75 |  0.000 % |
199.32/199.40	c |    133540 |    1205   127840   554049 | 2147483647   133540     75 |  0.000 % |
199.72/199.86	c |    133735 |    1205   127840   554049 | 2147483647   133735     75 |  0.000 % |
200.22/200.34	c |    133947 |    1205   127840   554049 | 2147483647   133947     75 |  0.000 % |
200.82/200.91	c |    134181 |    1205   127840   554049 | 2147483647   134181     75 |  0.000 % |
201.32/201.46	c |    134439 |    1205   127840   554049 | 2147483647   134439     75 |  0.000 % |
202.02/202.17	c |    134721 |    1205   127840   554049 | 2147483647   134721     75 |  0.000 % |
202.72/202.85	c |    135030 |    1205   127840   554049 | 2147483647   135030     75 |  0.000 % |
203.81/203.91	c |    135369 |    1205   127840   554049 | 2147483647   135369     75 |  0.000 % |
204.71/204.86	c |    135741 |    1205   127840   554049 | 2147483647   135741     75 |  0.000 % |
205.62/205.77	c |    136150 |    1205   127840   554049 | 2147483647   136150     75 |  0.000 % |
206.62/206.79	c |    136602 |    1205   127840   554049 | 2147483647   136602     75 |  0.000 % |
207.61/207.78	c |    137095 |    1205   127840   554049 | 2147483647   137095     75 |  0.000 % |
209.51/209.68	c |    137637 |    1205   127840   554049 | 2147483647   137637     75 |  0.000 % |
211.21/211.37	c |    138233 |    1205   127840   554049 | 2147483647   138233     75 |  0.000 % |
212.81/212.90	c |    138890 |    1205   127840   554049 | 2147483647   138890     75 |  0.000 % |
214.51/214.63	c |    139610 |    1205   127840   554049 | 2147483647   139610     75 |  0.000 % |
216.01/216.14	c |    140404 |    1205   127840   554049 | 2147483647   140404     75 |  0.000 % |
217.92/218.00	c |    141278 |    1205   127840   554049 | 2147483647   141278     75 |  0.000 % |
220.31/220.50	c |    142236 |    1205   127840   554049 | 2147483647   142236     75 |  0.000 % |
222.41/222.53	c |    143290 |    1205   127840   554049 | 2147483647   143290     75 |  0.000 % |
224.41/224.59	c |    144450 |    1205   127840   554049 | 2147483647   144450     75 |  0.000 % |
226.01/226.11	c |    145723 |    1205   127840   554049 | 2147483647   145723     75 |  0.000 % |
228.01/228.17	c |    147123 |    1205   127840   554049 | 2147483647   147123     75 |  0.000 % |
229.82/229.91	c |    148663 |    1205   127840   554049 | 2147483647   148663     76 |  0.000 % |
229.91/230.03	c |    148763 |    1205   127840   554049 | 2147483647   148763     76 |  0.000 % |
230.01/230.18	c |    148873 |    1205   127840   554049 | 2147483647   148873     76 |  0.000 % |
230.21/230.34	c |    148994 |    1205   127840   554049 | 2147483647   148994     76 |  0.000 % |
230.31/230.49	c |    149128 |    1205   127840   554049 | 2147483647   149128     76 |  0.000 % |
230.51/230.65	c |    149274 |    1205   127840   554049 | 2147483647   149274     76 |  0.000 % |
230.82/230.93	c |    149434 |    1205   127840   554049 | 2147483647   149434     76 |  0.000 % |
231.01/231.16	c |    149610 |    1205   127840   554049 | 2147483647   149610     76 |  0.000 % |
231.81/231.90	c |    149805 |    1205   127840   554049 | 2147483647   149805     76 |  0.000 % |
232.21/232.38	c |    150018 |    1205   127840   554049 | 2147483647   150018     76 |  0.000 % |
232.91/233.04	c |    150252 |    1205   127840   554049 | 2147483647   150252     76 |  0.000 % |
233.81/233.92	c |    150509 |    1205   127840   554049 | 2147483647   150509     76 |  0.000 % |
234.71/234.86	c |    150790 |    1205   127840   554049 | 2147483647   150790     76 |  0.000 % |
236.01/236.15	c |    151100 |    1205   127840   554049 | 2147483647   151100     76 |  0.000 % |
236.91/237.05	c |    151439 |    1205   127840   554049 | 2147483647   151439     76 |  0.000 % |
237.91/238.04	c |    151812 |    1205   127840   554049 | 2147483647   151812     76 |  0.000 % |
238.81/238.90	c |    152224 |    1205   127840   554049 | 2147483647   152224     76 |  0.000 % |
240.20/240.33	c |    152674 |    1205   127840   554049 | 2147483647   152674     76 |  0.000 % |
241.30/241.46	c |    153167 |    1205   127840   554049 | 2147483647   153167     76 |  0.000 % |
242.60/242.72	c |    153710 |    1205   127840   554049 | 2147483647   153710     76 |  0.000 % |
244.30/244.49	c |    154307 |    1205   127840   554049 | 2147483647   154307     76 |  0.000 % |
246.31/246.47	c |    154964 |    1205   127840   554049 | 2147483647   154964     75 |  0.000 % |
248.41/248.57	c |    155689 |    1205   127840   554049 | 2147483647   155689     75 |  0.000 % |
250.60/250.80	c |    156481 |    1205   127840   554049 | 2147483647   156481     75 |  0.000 % |
252.80/252.99	c |    157353 |    1205   127840   554049 | 2147483647   157353     75 |  0.000 % |
255.50/255.65	c |    158311 |    1205   127840   554049 | 2147483647   158311     75 |  0.000 % |
258.20/258.37	c |    159368 |    1205   127840   554049 | 2147483647   159368     74 |  0.000 % |
261.50/261.70	c |    160526 |    1205   127840   554049 | 2147483647   160526     74 |  0.000 % |
265.00/265.18	c |    161800 |    1205   127840   554049 | 2147483647   161800     74 |  0.000 % |
268.59/268.74	c |    163200 |    1205   127840   554049 | 2147483647   163200     74 |  0.000 % |
272.90/273.06	c |    164740 |    1205   127840   554049 | 2147483647   164740     74 |  0.000 % |
277.00/277.16	c |    166434 |    1205   127840   554049 | 2147483647   166434     74 |  0.000 % |
277.40/277.57	c |    166535 |    1205   127840   554049 | 2147483647   166535     74 |  0.000 % |
277.80/277.91	c |    166646 |    1205   127840   554049 | 2147483647   166646     74 |  0.000 % |
278.10/278.26	c |    166768 |    1205   127840   554049 | 2147483647   166768     74 |  0.000 % |
278.50/278.63	c |    166902 |    1205   127840   554049 | 2147483647   166902     74 |  0.000 % |
278.90/279.07	c |    167048 |    1205   127840   554049 | 2147483647   167048     74 |  0.000 % |
279.60/279.79	c |    167208 |    1205   127840   554049 | 2147483647   167208     74 |  0.000 % |
280.00/280.15	c |    167385 |    1205   127840   554049 | 2147483647   167385     74 |  0.000 % |
280.50/280.67	c |    167583 |    1205   127840   554049 | 2147483647   167583     74 |  0.000 % |
281.00/281.14	c |    167796 |    1205   127840   554049 | 2147483647   167796     74 |  0.000 % |
282.10/282.22	c |    168029 |    1205   127840   554049 | 2147483647   168029     74 |  0.000 % |
282.89/283.02	c |    168286 |    1205   127840   554049 | 2147483647   168286     74 |  0.000 % |
283.89/284.06	c |    168567 |    1205   127840   554049 | 2147483647   168567     74 |  0.000 % |
284.99/285.12	c |    168877 |    1205   127840   554049 | 2147483647   168877     74 |  0.000 % |
285.69/285.84	c |    169216 |    1205   127840   554049 | 2147483647   169216     74 |  0.000 % |
286.49/286.68	c |    169589 |    1205   127840   554049 | 2147483647   169589     74 |  0.000 % |
287.19/287.37	c |    170000 |    1205   127840   554049 | 2147483647   170000     74 |  0.000 % |
288.99/289.13	c |    170452 |    1205   127840   554049 | 2147483647   170452     74 |  0.000 % |
290.29/290.44	c |    170946 |    1205   127840   554049 | 2147483647   170946     74 |  0.000 % |
291.79/291.91	c |    171491 |    1205   127840   554049 | 2147483647   171491     74 |  0.000 % |
293.38/293.50	c |    172087 |    1205   127840   554049 | 2147483647   172087     74 |  0.000 % |
294.79/294.96	c |    172743 |    1205   127840   554049 | 2147483647   172743     74 |  0.000 % |
295.99/296.10	c |    173463 |    1205   127840   554049 | 2147483647   173463     74 |  0.000 % |
297.19/297.32	c |    174255 |    1205   127840   554049 | 2147483647   174255     74 |  0.000 % |
298.19/298.35	c |    175126 |    1205   127840   554049 | 2147483647   175126     74 |  0.000 % |
299.29/299.43	c |    176090 |    1205   127840   554049 | 2147483647   176090     74 |  0.000 % |
302.29/302.49	c |    177143 |    1205   127840   554049 | 2147483647   177143     74 |  0.000 % |
305.59/305.80	c |    178302 |    1205   127840   554049 | 2147483647   178302     74 |  0.000 % |
307.79/307.94	c |    179575 |    1205   127840   554049 | 2147483647   179575     74 |  0.000 % |
312.48/312.62	c |    180975 |    1205   127840   554049 | 2147483647   180975     74 |  0.000 % |
314.99/315.11	c |    182515 |    1205   127840   554049 | 2147483647   182515     74 |  0.000 % |
319.78/319.97	c |    184210 |    1205   127840   554049 | 2147483647   184210     74 |  0.000 % |
325.18/325.36	c |    186074 |    1205   127840   554049 | 2147483647   186074     74 |  0.000 % |
325.58/325.78	c |    186175 |    1205   127840   554049 | 2147483647   186175     74 |  0.000 % |
325.98/326.15	c |    186289 |    1205   127840   554049 | 2147483647   186289     74 |  0.000 % |
326.38/326.57	c |    186411 |    1205   127840   554049 | 2147483647   186411     74 |  0.000 % |
326.78/326.98	c |    186545 |    1205   127840   554049 | 2147483647   186545     74 |  0.000 % |
327.28/327.43	c |    186691 |    1205   127840   554049 | 2147483647   186691     74 |  0.000 % |
327.58/327.79	c |    186851 |    1205   127840   554049 | 2147483647   186851     74 |  0.000 % |
328.58/328.73	c |    187027 |    1205   127840   554049 | 2147483647   187027     74 |  0.000 % |
329.18/329.33	c |    187220 |    1205   127840   554049 | 2147483647   187220     74 |  0.000 % |
329.68/329.90	c |    187432 |    1205   127840   554049 | 2147483647   187432     74 |  0.000 % |
330.48/330.65	c |    187666 |    1205   127840   554049 | 2147483647   187666     74 |  0.000 % |
331.07/331.22	c |    187923 |    1205   127840   554049 | 2147483647   187923     74 |  0.000 % |
332.08/332.21	c |    188204 |    1205   127840   554049 | 2147483647   188204     74 |  0.000 % |
332.97/333.19	c |    188515 |    1205   127840   554049 | 2147483647   188515     74 |  0.000 % |
334.18/334.37	c |    188856 |    1205   127840   554049 | 2147483647   188856     75 |  0.000 % |
335.28/335.46	c |    189229 |    1205   127840   554049 | 2147483647   189229     75 |  0.000 % |
336.28/336.42	c |    189638 |    1205   127840   554049 | 2147483647   189638     74 |  0.000 % |
337.58/337.73	c |    190089 |    1205   127840   554049 | 2147483647   190089     74 |  0.000 % |
338.58/338.80	c |    190583 |    1205   127840   554049 | 2147483647   190583     75 |  0.000 % |
340.38/340.50	c |    191125 |    1205   127840   554049 | 2147483647   191125     75 |  0.000 % |
341.88/342.06	c |    191721 |    1205   127840   554049 | 2147483647   191721     75 |  0.000 % |
344.08/344.21	c |    192381 |    1205   127840   554049 | 2147483647   192381     74 |  0.000 % |
345.97/346.17	c |    193101 |    1205   127840   554049 | 2147483647   193101     74 |  0.000 % |
348.07/348.23	c |    193894 |    1205   127840   554049 | 2147483647   193894     74 |  0.000 % |
350.17/350.31	c |    194768 |    1205   127840   554049 | 2147483647   194768     74 |  0.000 % |
352.67/352.85	c |    195728 |    1205   127840   554049 | 2147483647   195728     74 |  0.000 % |
356.17/356.35	c |    196781 |    1205   127840   554049 | 2147483647   196781     74 |  0.000 % |
359.27/359.45	c |    197939 |    1205   127840   554049 | 2147483647   197939     74 |  0.000 % |
363.07/363.21	c |    199213 |    1205   127840   554049 | 2147483647   199213     74 |  0.000 % |
367.67/367.85	c |    200617 |    1205   127840   554049 | 2147483647   200617     74 |  0.000 % |
371.87/372.07	c |    202159 |    1205   127840   554049 | 2147483647   202159     74 |  0.000 % |
376.46/376.62	c |    203853 |    1205   127840   554049 | 2147483647   203853     74 |  0.000 % |
381.06/381.26	c |    205717 |    1205   127840   554049 | 2147483647   205717     74 |  0.000 % |
385.56/385.71	c |    207767 |    1205   127840   554049 | 2147483647   207767     74 |  0.000 % |
385.76/385.94	c |    207867 |    1205   127840   554049 | 2147483647   207867     74 |  0.000 % |
386.16/386.35	c |    207981 |    1205   127840   554049 | 2147483647   207981     74 |  0.000 % |
386.56/386.73	c |    208107 |    1205   127840   554049 | 2147483647   208107     74 |  0.000 % |
387.16/387.34	c |    208242 |    1205   127840   554049 | 2147483647   208242     74 |  0.000 % |
387.76/387.98	c |    208391 |    1205   127840   554049 | 2147483647   208391     74 |  0.000 % |
388.46/388.66	c |    208551 |    1205   127840   554049 | 2147483647   208551     74 |  0.000 % |
389.16/389.35	c |    208727 |    1205   127840   554049 | 2147483647   208727     74 |  0.000 % |
389.95/390.16	c |    208920 |    1205   127840   554049 | 2147483647   208920     74 |  0.000 % |
390.65/390.88	c |    209135 |    1205   127840   554049 | 2147483647   209135     74 |  0.000 % |
391.36/391.56	c |    209368 |    1205   127840   554049 | 2147483647   209368     74 |  0.000 % |
392.15/392.35	c |    209624 |    1205   127840   554049 | 2147483647   209624     74 |  0.001 % |
393.25/393.44	c |    209906 |    1205   127840   554049 | 2147483647   209906     74 |  0.001 % |
393.95/394.18	c |    210215 |    1205   127840   554049 | 2147483647   210215     74 |  0.000 % |
394.95/395.11	c |    210554 |    1205   127840   554049 | 2147483647   210554     74 |  0.000 % |
396.05/396.21	c |    210926 |    1205   127840   554049 | 2147483647   210926     74 |  0.000 % |
396.86/397.04	c |    211335 |    1205   127840   554049 | 2147483647   211335     74 |  0.000 % |
398.06/398.21	c |    211784 |    1205   127840   554049 | 2147483647   211784     74 |  0.000 % |
398.65/398.88	c |    212278 |    1205   127840   554049 | 2147483647   212278     73 |  0.000 % |
400.55/400.77	c |    212820 |    1205   127840   554049 | 2147483647   212820     73 |  0.000 % |
401.85/402.02	c |    213416 |    1205   127840   554049 | 2147483647   213416     73 |  0.000 % |
403.65/403.84	c |    214071 |    1205   127840   554049 | 2147483647   214071     73 |  0.000 % |
406.15/406.32	c |    214792 |    1205   127840   554049 | 2147483647   214792     73 |  0.000 % |
408.25/408.43	c |    215586 |    1205   127840   554049 | 2147483647   215586     73 |  0.000 % |
411.35/411.59	c |    216459 |    1205   127840   554049 | 2147483647   216459     74 |  0.000 % |
415.25/415.45	c |    217417 |    1205   127840   554049 | 2147483647   217417     74 |  0.000 % |
418.45/418.67	c |    218470 |    1205   127840   554049 | 2147483647   218470     74 |  0.000 % |
421.45/421.69	c |    219629 |    1205   127840   554049 | 2147483647   219629     74 |  0.000 % |
424.15/424.39	c |    220902 |    1205   127840   554049 | 2147483647   220902     74 |  0.000 % |
426.35/426.58	c |    222302 |    1205   127840   554049 | 2147483647   222302     74 |  0.000 % |
429.64/429.82	c |    223845 |    1205   127840   554049 | 2147483647   223845     74 |  0.000 % |
433.04/433.25	c |    225539 |    1205   127840   554049 | 2147483647   225539     74 |  0.000 % |
438.34/438.54	c |    227405 |    1205   127840   554049 | 2147483647   227405     74 |  0.000 % |
442.45/442.70	c |    229454 |    1205   127840   554049 | 2147483647   229454     74 |  0.000 % |
448.65/448.81	c |    231707 |    1205   127840   554049 |   230000   203469     75 |  0.000 % |
448.94/449.13	c |    231810 |    1205   127840   554049 |   230000   203572     75 |  0.000 % |
449.24/449.41	c |    231921 |    1205   127840   554049 |   230000   203683     75 |  0.000 % |
449.44/449.69	c |    232046 |    1205   127840   554049 |   230000   203808     75 |  0.000 % |
450.04/450.25	c |    232179 |    1205   127840   554049 |   230000   203941     75 |  0.000 % |
450.54/450.73	c |    232326 |    1205   127840   554049 |   230000   204088     75 |  0.000 % |
450.94/451.12	c |    232486 |    1205   127840   554049 |   230000   204248     75 |  0.000 % |
451.64/451.86	c |    232662 |    1205   127840   554049 |   230000   204424     75 |  0.000 % |
452.24/452.43	c |    232855 |    1205   127840   554049 |   230000   204617     75 |  0.000 % |
452.74/452.90	c |    233067 |    1205   127840   554049 |   230000   204829     75 |  0.000 % |
453.64/453.86	c |    233301 |    1205   127840   554049 |   230000   205063     75 |  0.000 % |
454.64/454.83	c |    233558 |    1205   127840   554049 |   230000   205320     75 |  0.000 % |
455.34/455.50	c |    233840 |    1205   127840   554049 |   230000   205602     75 |  0.000 % |
456.14/456.39	c |    234149 |    1205   127840   554049 |   230000   205911     75 |  0.000 % |
457.24/457.41	c |    234493 |    1205   127840   554049 |   230000   206255     75 |  0.000 % |
458.54/458.71	c |    234865 |    1205   127840   554049 |   230000   206627     75 |  0.000 % |
459.64/459.83	c |    235278 |    1205   127840   554049 |   230000   207040     75 |  0.000 % |
460.64/460.90	c |    235727 |    1205   127840   554049 |   230000   207489     75 |  0.000 % |
461.84/462.05	c |    236222 |    1205   127840   554049 |   230000   207984     75 |  0.000 % |
463.34/463.51	c |    236766 |    1205   127840   554049 |   230000   208528     75 |  0.000 % |
464.74/464.93	c |    237362 |    1205   127840   554049 |   230000   209124     75 |  0.000 % |
466.34/466.52	c |    238018 |    1205   127840   554049 |   230000   209780     75 |  0.000 % |
469.04/469.24	c |    238738 |    1205   127840   554049 |   230000   210500     75 |  0.000 % |
471.24/471.40	c |    239531 |    1205   127840   554049 |   230000   211293     75 |  0.000 % |
474.04/474.30	c |    240402 |    1205   127840   554049 | 2147483647   212164     75 |  0.000 % |
476.43/476.68	c |    241361 |    1205   127840   554049 | 2147483647   213123     75 |  0.000 % |
478.83/479.07	c |    242414 |    1205   127840   554049 | 2147483647   214176     75 |  0.000 % |
481.23/481.46	c |    243573 |    1205   127840   554049 | 2147483647   215335     75 |  0.000 % |
485.23/485.43	c |    244848 |    1205   127840   554049 | 2147483647   216610     75 |  0.000 % |
488.53/488.70	c |    246248 |    1205   127840   554049 | 2147483647   218010     75 |  0.000 % |
492.93/493.11	c |    247790 |    1205   127840   554049 | 2147483647   219552     75 |  0.000 % |
496.93/497.19	c |    249486 |    1205   127840   554049 | 2147483647   221248     76 |  0.000 % |
501.53/501.74	c |    251349 |    1205   127840   554049 | 2147483647   223111     76 |  0.000 % |
506.12/506.37	c |    253398 |    1205   127840   554049 | 2147483647   225160     76 |  0.000 % |
511.82/512.05	c |    255652 |    1205   127840   554049 | 2147483647   227414     76 |  0.000 % |
518.52/518.75	c |    258130 |    1205   127840   554049 | 2147483647   229892     76 |  0.000 % |
518.72/518.97	c |    258230 |    1205   127840   554049 | 2147483647   229992     76 |  0.000 % |
519.12/519.34	c |    258340 |    1205   127840   554049 | 2147483647   230102     76 |  0.000 % |
519.52/519.78	c |    258463 |    1205   127840   554049 | 2147483647   230225     76 |  0.000 % |
520.02/520.21	c |    258597 |    1205   127840   554049 | 2147483647   230359     76 |  0.000 % |
520.72/520.92	c |    258744 |    1205   127840   554049 | 2147483647   230506     76 |  0.000 % |
521.42/521.64	c |    258905 |    1205   127840   554049 | 2147483647   230667     76 |  0.000 % |
522.22/522.45	c |    259081 |    1205   127840   554049 | 2147483647   230843     76 |  0.000 % |
523.01/523.24	c |    259276 |    1205   127840   554049 | 2147483647   231038     76 |  0.000 % |
523.81/524.03	c |    259488 |    1205   127840   554049 | 2147483647   231250     76 |  0.000 % |
524.61/524.82	c |    259721 |    1205   127840   554049 | 2147483647   231483     76 |  0.000 % |
525.42/525.65	c |    259977 |    1205   127840   554049 | 2147483647   231739     76 |  0.000 % |
526.02/526.27	c |    260259 |    1205   127840   554049 | 2147483647   232021     76 |  0.000 % |
526.91/527.13	c |    260569 |    1205   127840   554049 | 2147483647   232331     76 |  0.000 % |
527.72/527.92	c |    260908 |    1205   127840   554049 | 2147483647   232670     76 |  0.000 % |
528.21/528.41	c |    261281 |    1205   127840   554049 | 2147483647   233043     76 |  0.000 % |
528.62/528.88	c |    261692 |    1205   127840   554049 | 2147483647   233454     76 |  0.000 % |
529.32/529.59	c |    262141 |    1205   127840   554049 | 2147483647   233903     76 |  0.000 % |
529.92/530.19	c |    262635 |    1205   127840   554049 | 2147483647   234397     76 |  0.000 % |
530.82/531.02	c |    263177 |    1205   127840   554049 | 2147483647   234939     76 |  0.000 % |
531.82/532.02	c |    263774 |    1205   127840   554049 | 2147483647   235536     76 |  0.000 % |
532.82/533.07	c |    264433 |    1205   127840   554049 | 2147483647   236195     76 |  0.000 % |
533.92/534.16	c |    265153 |    1205   127840   554049 | 2147483647   236915     76 |  0.000 % |
535.32/535.52	c |    265946 |    1205   127840   554049 | 2147483647   237708     76 |  0.000 % |
537.22/537.44	c |    266817 |    1205   127840   554049 | 2147483647   238579     76 |  0.000 % |
541.41/541.64	c |    267776 |    1205   127840   554049 | 2147483647   239538     76 |  0.000 % |
543.71/543.93	c |    268830 |    1205   127840   554049 | 2147483647   240592     76 |  0.000 % |
547.51/547.71	c |    269989 |    1205   127840   554049 | 2147483647   241751     76 |  0.000 % |
550.41/550.64	c |    271263 |    1205   127840   554049 | 2147483647   243025     76 |  0.000 % |
555.61/555.82	c |    272663 |    1205   127840   554049 | 2147483647   244425     76 |  0.000 % |
558.41/558.62	c |    274203 |    1205   127840   554049 | 2147483647   245965     76 |  0.000 % |
562.11/562.31	c |    275897 |    1205   127840   554049 | 2147483647   247659     76 |  0.000 % |
564.31/564.57	c |    277761 |    1205   127840   554049 | 2147483647   249523     76 |  0.000 % |
567.41/567.63	c |    279811 |    1205   127840   554049 | 2147483647   251573     76 |  0.000 % |
570.71/570.95	c |    282067 |    1205   127840   554049 | 2147483647   253829     76 |  0.000 % |
577.80/578.06	c |    284545 |    1205   127840   554049 | 2147483647   256307     76 |  0.000 % |
584.70/584.92	c |    287271 |    1205   127840   554049 | 2147483647   259033     76 |  0.000 % |
585.00/585.29	c |    287371 |    1205   127840   554049 | 2147483647   259133     76 |  0.000 % |
585.50/585.77	c |    287482 |    1205   127840   554049 | 2147483647   259244     76 |  0.000 % |
586.10/586.39	c |    287605 |    1205   127840   554049 | 2147483647   259367     76 |  0.000 % |
586.70/586.90	c |    287738 |    1205   127840   554049 | 2147483647   259500     76 |  0.000 % |
587.20/587.46	c |    287886 |    1205   127840   554049 | 2147483647   259648     76 |  0.000 % |
588.40/588.62	c |    288047 |    1205   127840   554049 | 2147483647   259809     76 |  0.000 % |
589.00/589.22	c |    288224 |    1205   127840   554049 | 2147483647   259986     76 |  0.000 % |
590.00/590.29	c |    288418 |    1205   127840   554049 | 2147483647   260180     76 |  0.000 % |
590.89/591.14	c |    288630 |    1205   127840   554049 | 2147483647   260392     76 |  0.000 % |
591.69/591.94	c |    288863 |    1205   127840   554049 | 2147483647   260625     76 |  0.000 % |
592.60/592.87	c |    289119 |    1205   127840   554049 | 2147483647   260881     76 |  0.000 % |
593.80/594.07	c |    289403 |    1205   127840   554049 | 2147483647   261165     76 |  0.000 % |
595.19/595.47	c |    289712 |    1205   127840   554049 | 2147483647   261474     76 |  0.000 % |
596.89/597.10	c |    290053 |    1205   127840   554049 | 2147483647   261815     76 |  0.000 % |
598.29/598.53	c |    290428 |    1205   127840   554049 | 2147483647   262190     76 |  0.000 % |
599.79/600.05	c |    290838 |    1205   127840   554049 | 2147483647   262600     76 |  0.000 % |
601.89/602.11	c |    291287 |    1205   127840   554049 | 2147483647   263049     76 |  0.000 % |
604.19/604.46	c |    291780 |    1205   127840   554049 | 2147483647   263542     76 |  0.000 % |
606.80/607.02	c |    292322 |    1205   127840   554049 | 2147483647   264084     76 |  0.000 % |
608.99/609.25	c |    292922 |    1205   127840   554049 | 2147483647   264684     76 |  0.000 % |
611.49/611.79	c |    293578 |    1205   127840   554049 | 2147483647   265340     76 |  0.000 % |
614.99/615.29	c |    294298 |    1205   127840   554049 | 2147483647   266060     76 |  0.000 % |
619.49/619.74	c |    295090 |    1205   127840   554049 | 2147483647   266852     76 |  0.000 % |
624.18/624.44	c |    295963 |    1205   127840   554049 | 2147483647   267725     76 |  0.000 % |
627.98/628.26	c |    296921 |    1205   127840   554049 | 2147483647   268683     76 |  0.000 % |
634.78/635.03	c |    297974 |    1205   127840   554049 | 2147483647   269736     76 |  0.000 % |
639.68/639.99	c |    299135 |    1205   127840   554049 | 2147483647   270897     76 |  0.000 % |
643.57/643.87	c |    300408 |    1205   127840   554049 | 2147483647   272170     76 |  0.000 % |
646.28/646.52	c |    301808 |    1205   127840   554049 | 2147483647   273570     76 |  0.000 % |
650.47/650.76	c |    303350 |    1205   127840   554049 | 2147483647   275112     76 |  0.000 % |
655.97/656.27	c |    305045 |    1205   127840   554049 | 2147483647   276807     76 |  0.000 % |
660.37/660.61	c |    306910 |    1205   127840   554049 | 2147483647   278672     76 |  0.000 % |
669.37/669.68	c |    308959 |    1205   127840   554049 | 2147483647   280721     76 |  0.000 % |
678.57/678.81	c |    311212 |    1205   127840   554049 | 2147483647   282974     76 |  0.000 % |
683.47/683.76	c |    313690 |    1205   127840   554049 | 2147483647   285452     76 |  0.000 % |
687.97/688.28	c |    316415 |    1205   127840   554049 | 2147483647   288177     76 |  0.000 % |
698.36/698.68	c |    319413 |    1205   127840   554049 | 2147483647   291175     76 |  0.000 % |
698.86/699.16	c |    319513 |    1205   127840   554049 | 2147483647   291275     76 |  0.000 % |
699.27/699.57	c |    319625 |    1205   127840   554049 | 2147483647   291387     76 |  0.000 % |
699.76/700.04	c |    319748 |    1205   127840   554049 | 2147483647   291510     76 |  0.000 % |
700.76/701.02	c |    319882 |    1205   127840   554049 | 2147483647   291644     76 |  0.000 % |
701.46/701.74	c |    320028 |    1205   127840   554049 |   291765   291790     76 |  0.000 % |
702.86/703.14	c |    320188 |    1205   127840   554049 |   291765   260452     78 |  0.000 % |
703.96/704.20	c |    320364 |    1205   127840   554049 |   291765   260628     78 |  0.000 % |
704.66/704.97	c |    320559 |    1205   127840   554049 |   291765   260823     78 |  0.000 % |
705.46/705.71	c |    320771 |    1205   127840   554049 |   291765   261035     78 |  0.000 % |
706.96/707.24	c |    321005 |    1205   127840   554049 |   291765   261269     78 |  0.000 % |
707.96/708.29	c |    321261 |    1205   127840   554049 |   291765   261525     78 |  0.000 % |
709.56/709.81	c |    321542 |    1205   127840   554049 |   291765   261806     78 |  0.000 % |
710.46/710.70	c |    321853 |    1205   127840   554049 |   291765   262117     78 |  0.000 % |
711.96/712.29	c |    322192 |    1205   127840   554049 |   291765   262456     78 |  0.000 % |
713.76/714.01	c |    322567 |    1205   127840   554049 |   291765   262831     78 |  0.000 % |
715.76/716.01	c |    322976 |    1205   127840   554049 |   291765   263240     78 |  0.000 % |
717.96/718.23	c |    323425 |    1205   127840   554049 |   291765   263689     78 |  0.000 % |
720.16/720.43	c |    323918 |    1205   127840   554049 |   291765   264182     78 |  0.000 % |
722.15/722.47	c |    324460 |    1205   127840   554049 |   291765   264724     78 |  0.000 % |
723.56/723.84	c |    325056 |    1205   127840   554049 |   291765   265320     78 |  0.000 % |
727.05/727.31	c |    325711 |    1205   127840   554049 |   291765   265975     78 |  0.000 % |
730.55/730.87	c |    326431 |    1205   127840   554049 |   291765   266695     78 |  0.000 % |
734.35/734.64	c |    327223 |    1205   127840   554049 |   291765   267487     78 |  0.000 % |
737.35/737.68	c |    328096 |    1205   127840   554049 |   291765   268360     78 |  0.000 % |
741.05/741.39	c |    329054 |    1205   127840   554049 |   291765   269318     78 |  0.000 % |
746.34/746.65	c |    330111 |    1205   127840   554049 |   270265   270375     78 |  0.000 % |
753.64/753.92	c |    331269 |    1205   127840   554049 |   270265   239267     78 |  0.000 % |
758.84/759.15	c |    332545 |    1205   127840   554049 |   270265   240543     78 |  0.000 % |
764.94/765.30	c |    333946 |    1205   127840   554049 |   270265   241944     78 |  0.000 % |
769.64/769.93	c |    335486 |    1205   127840   554049 |   270265   243484     78 |  0.000 % |
774.84/775.12	c |    337182 |    1205   127840   554049 |   270265   245180     78 |  0.000 % |
779.83/780.11	c |    339045 |    1205   127840   554049 |   270265   247043     78 |  0.000 % |
789.54/789.82	c |    341096 |    1205   127840   554049 | 2147483647   249094     78 |  0.000 % |
800.93/801.27	c |    343349 |    1205   127840   554049 | 2147483647   251347     78 |  0.000 % |
813.22/813.55	c |    345827 |    1205   127840   554049 | 2147483647   253825     79 |  0.000 % |
824.32/824.68	c |    348553 |    1205   127840   554049 | 2147483647   256551     79 |  0.000 % |
837.82/838.20	c |    351550 |    1205   127840   554049 |   257998   212671     80 |  0.000 % |
853.01/853.33	c |    354848 |    1205   127840   554049 |   257998   215969     80 |  0.000 % |
853.41/853.77	c |    354948 |    1205   127840   554049 |   257998   216069     80 |  0.000 % |
854.21/854.53	c |    355060 |    1205   127840   554049 |   257998   216181     80 |  0.000 % |
854.71/855.09	c |    355183 |    1205   127840   554049 |   257998   216304     80 |  0.000 % |
855.21/855.59	c |    355319 |    1205   127840   554049 |   257998   216440     80 |  0.000 % |
855.71/856.06	c |    355465 |    1205   127840   554049 |   257998   216586     80 |  0.000 % |
856.41/856.76	c |    355626 |    1205   127840   554049 |   257998   216747     80 |  0.000 % |
857.01/857.39	c |    355804 |    1205   127840   554049 |   257998   216925     80 |  0.000 % |
857.72/858.09	c |    355998 |    1205   127840   554049 |   257998   217119     80 |  0.000 % |
858.51/858.83	c |    356214 |    1205   127840   554049 |   257998   217335     80 |  0.000 % |
859.31/859.68	c |    356447 |    1205   127840   554049 |   257998   217568     80 |  0.000 % |
860.31/860.61	c |    356703 |    1205   127840   554049 |   257998   217824     80 |  0.000 % |
861.31/861.63	c |    356984 |    1205   127840   554049 |   257998   218105     80 |  0.000 % |
862.41/862.74	c |    357293 |    1205   127840   554049 |   257998   218414     80 |  0.000 % |
863.61/863.90	c |    357634 |    1205   127840   554049 |   257998   218755     80 |  0.001 % |
864.81/865.14	c |    358007 |    1205   127840   554049 |   257998   219128     80 |  0.000 % |
866.01/866.36	c |    358417 |    1205   127840   554049 |   257998   219538     80 |  0.000 % |
867.41/867.76	c |    358867 |    1205   127840   554049 |   257998   219988     80 |  0.000 % |
870.51/870.87	c |    359360 |    1205   127840   554049 |   257998   220481     80 |  0.000 % |
873.01/873.31	c |    359907 |    1205   127840   554049 |   257998   221028     80 |  0.000 % |
875.01/875.32	c |    360503 |    1205   127840   554049 | 2147483647   221624     79 |  0.000 % |
877.60/877.99	c |    361158 |    1205   127840   554049 | 2147483647   222279     80 |  0.000 % |
881.60/881.91	c |    361879 |    1205   127840   554049 | 2147483647   223000     80 |  0.000 % |
883.80/884.15	c |    362673 |    1205   127840   554049 | 2147483647   223794     80 |  0.000 % |
885.50/885.88	c |    363544 |    1205   127840   554049 | 2147483647   224665     80 |  0.000 % |
888.90/889.23	c |    364502 |    1205   127840   554049 | 2147483647   225623     80 |  0.000 % |
893.80/894.16	c |    365557 |    1205   127840   554049 | 2147483647   226678     80 |  0.000 % |
897.20/897.55	c |    366717 |    1205   127840   554049 | 2147483647   227838     80 |  0.000 % |
900.50/900.87	c |    367992 |    1205   127840   554049 | 2147483647   229113     80 |  0.000 % |
904.60/904.99	c |    369393 |    1205   127840   554049 | 2147483647   230514     80 |  0.000 % |
910.60/910.99	c |    370934 |    1205   127840   554049 |   231122   199708     79 |  0.000 % |
916.49/916.88	c |    372629 |    1205   127840   554049 |   231122   201403     79 |  0.000 % |
922.39/922.75	c |    374492 |    1205   127840   554049 |   231122   203266     79 |  0.000 % |
926.89/927.21	c |    376541 |    1205   127840   554049 |   231122   205315     79 |  0.000 % |
931.89/932.28	c |    378796 |    1205   127840   554049 |   231122   207570     80 |  0.000 % |
935.89/936.22	c |    381274 |    1205   127840   554049 | 2147483647   210048     80 |  0.000 % |
939.78/940.15	c |    384002 |    1205   127840   554049 | 2147483647   212776     80 |  0.000 % |
948.58/948.95	c |    387000 |    1205   127840   554049 | 2147483647   215774     80 |  0.000 % |
955.58/955.99	c |    390296 |    1205   127840   554049 | 2147483647   219070     80 |  0.000 % |
964.59/964.95	c |    393921 |    1205   127840   554049 | 2147483647   222695     80 |  0.000 % |
964.89/965.29	c |    394024 |    1205   127840   554049 | 2147483647   222798     80 |  0.000 % |
965.29/965.69	c |    394135 |    1205   127840   554049 | 2147483647   222909     80 |  0.000 % |
965.89/966.22	c |    394256 |    1205   127840   554049 | 2147483647   223030     80 |  0.000 % |
966.29/966.60	c |    394390 |    1205   127840   554049 | 2147483647   223164     80 |  0.000 % |
966.69/967.07	c |    394536 |    1205   127840   554049 | 2147483647   223310     80 |  0.000 % |
967.59/967.92	c |    394696 |    1205   127840   554049 | 2147483647   223470     80 |  0.000 % |
967.99/968.31	c |    394872 |    1205   127840   554049 | 2147483647   223646     80 |  0.000 % |
968.79/969.14	c |    395066 |    1205   127840   554049 | 2147483647   223840     80 |  0.000 % |
969.79/970.15	c |    395278 |    1205   127840   554049 | 2147483647   224052     80 |  0.000 % |
970.99/971.39	c |    395511 |    1205   127840   554049 | 2147483647   224285     80 |  0.000 % |
972.48/972.89	c |    395768 |    1205   127840   554049 | 2147483647   224542     80 |  0.000 % |
973.78/974.11	c |    396051 |    1205   127840   554049 | 2147483647   224825     80 |  0.000 % |
975.29/975.62	c |    396361 |    1205   127840   554049 | 2147483647   225135     80 |  0.000 % |
976.58/976.98	c |    396702 |    1205   127840   554049 | 2147483647   225476     80 |  0.000 % |
977.78/978.18	c |    397074 |    1205   127840   554049 | 2147483647   225848     80 |  0.000 % |
979.18/979.57	c |    397483 |    1205   127840   554049 | 2147483647   226257     80 |  0.000 % |
981.38/981.75	c |    397935 |    1205   127840   554049 | 2147483647   226709     80 |  0.000 % |
983.18/983.55	c |    398428 |    1205   127840   554049 | 2147483647   227202     80 |  0.000 % |
985.38/985.77	c |    398973 |    1205   127840   554049 | 2147483647   227747     80 |  0.000 % |
987.48/987.85	c |    399569 |    1205   127840   554049 | 2147483647   228343     80 |  0.000 % |
990.28/990.64	c |    400224 |    1205   127840   554049 | 2147483647   228998     80 |  0.000 % |
992.68/993.06	c |    400947 |    1205   127840   554049 | 2147483647   229721     80 |  0.000 % |
995.38/995.78	c |    401741 |    1205   127840   554049 | 2147483647   230515     80 |  0.000 % |
998.18/998.51	c |    402612 |    1205   127840   554049 | 2147483647   231386     79 |  0.000 % |
1001.17/1001.56	c |    403570 |    1205   127840   554049 | 2147483647   232344     79 |  0.000 % |
1005.47/1005.82	c |    404624 |    1205   127840   554049 | 2147483647   233398     79 |  0.000 % |
1010.17/1010.56	c |    405783 |    1205   127840   554049 | 2147483647   234557     79 |  0.000 % |
1012.87/1013.21	c |    407058 |    1205   127840   554049 | 2147483647   235832     79 |  0.000 % |
1018.37/1018.75	c |    408460 |    1205   127840   554049 | 2147483647   237234     79 |  0.000 % |
1023.87/1024.20	c |    410001 |    1205   127840   554049 | 2147483647   238775     79 |  0.000 % |
1029.77/1030.19	c |    411696 |    1205   127840   554049 | 2147483647   240470     79 |  0.000 % |
1036.36/1036.72	c |    413560 |    1205   127840   554049 | 2147483647   242334     79 |  0.000 % |
1041.66/1042.00	c |    415610 |    1205   127840   554049 | 2147483647   244384     80 |  0.000 % |
1049.06/1049.41	c |    417870 |    1205   127840   554049 | 2147483647   246644     80 |  0.000 % |
1058.66/1059.01	c |    420349 |    1205   127840   554049 |   248774   218295     80 |  0.000 % |
1065.95/1066.36	c |    423074 |    1205   127840   554049 |   248774   221020     80 |  0.000 % |
1076.55/1076.98	c |    426071 |    1205   127840   554049 |   248774   224017     80 |  0.000 % |
1083.25/1083.65	c |    429367 |    1205   127840   554049 |   248774   227313     81 |  0.000 % |
1093.84/1094.26	c |    432992 |    1205   127840   554049 |   227947   191967     81 |  0.000 % |
1106.84/1107.25	c |    436979 |    1205   127840   554049 |   227947   195954     81 |  0.000 % |
1107.14/1107.50	c |    437079 |    1205   127840   554049 |   227947   196054     81 |  0.000 % |
1107.64/1108.02	c |    437190 |    1205   127840   554049 |   227947   196165     81 |  0.000 % |
1107.84/1108.29	c |    437312 |    1205   127840   554049 |   227947   196287     81 |  0.000 % |
1108.24/1108.64	c |    437445 |    1205   127840   554049 |   227947   196420     81 |  0.000 % |
1108.64/1109.08	c |    437591 |    1205   127840   554049 |   227947   196566     81 |  0.000 % |
1109.24/1109.65	c |    437752 |    1205   127840   554049 |   227947   196727     81 |  0.000 % |
1109.64/1110.05	c |    437928 |    1205   127840   554049 |   227947   196903     81 |  0.000 % |
1110.54/1110.91	c |    438121 |    1205   127840   554049 |   227947   197096     81 |  0.000 % |
1111.24/1111.66	c |    438335 |    1205   127840   554049 |   227947   197310     81 |  0.000 % |
1112.04/1112.48	c |    438570 |    1205   127840   554049 |   227947   197545     81 |  0.000 % |
1113.04/1113.42	c |    438826 |    1205   127840   554049 |   227947   197801     81 |  0.000 % |
1113.74/1114.13	c |    439108 |    1205   127840   554049 |   227947   198083     81 |  0.000 % |
1114.64/1115.04	c |    439417 |    1205   127840   554049 |   227947   198392     81 |  0.000 % |
1115.84/1116.27	c |    439760 |    1205   127840   554049 |   227947   198735     81 |  0.000 % |
1116.94/1117.33	c |    440132 |    1205   127840   554049 | 2147483647   199107     81 |  0.000 % |
1117.84/1118.23	c |    440541 |    1205   127840   554049 | 2147483647   199516     81 |  0.000 % |
1119.44/1119.84	c |    440993 |    1205   127840   554049 | 2147483647   199968     81 |  0.000 % |
1121.43/1121.90	c |    441486 |    1205   127840   554049 | 2147483647   200461     81 |  0.000 % |
1123.53/1123.95	c |    442029 |    1205   127840   554049 | 2147483647   201004     81 |  0.000 % |
1125.03/1125.44	c |    442626 |    1205   127840   554049 | 2147483647   201601     81 |  0.000 % |
1127.73/1128.11	c |    443282 |    1205   127840   554049 | 2147483647   202257     81 |  0.000 % |
1129.63/1130.10	c |    444002 |    1205   127840   554049 | 2147483647   202977     81 |  0.000 % |
1132.33/1132.71	c |    444794 |    1205   127840   554049 | 2147483647   203769     81 |  0.000 % |
1134.23/1134.68	c |    445670 |    1205   127840   554049 | 2147483647   204645     81 |  0.000 % |
1136.63/1137.07	c |    446628 |    1205   127840   554049 | 2147483647   205603     81 |  0.000 % |
1139.53/1139.92	c |    447681 |    1205   127840   554049 | 2147483647   206656     82 |  0.000 % |
1142.03/1142.46	c |    448839 |    1205   127840   554049 | 2147483647   207814     82 |  0.000 % |
1145.33/1145.75	c |    450112 |    1205   127840   554049 | 2147483647   209087     82 |  0.000 % |
1150.72/1151.14	c |    451514 |    1205   127840   554049 | 2147483647   210489     82 |  0.000 % |
1156.22/1156.65	c |    453055 |    1205   127840   554049 | 2147483647   212030     82 |  0.000 % |
1160.82/1161.29	c |    454751 |    1205   127840   554049 | 2147483647   213726     82 |  0.000 % |
1165.62/1166.07	c |    456615 |    1205   127840   554049 | 2147483647   215590     82 |  0.000 % |
1169.92/1170.37	c |    458666 |    1205   127840   554049 | 2147483647   217641     81 |  0.000 % |
1175.72/1176.16	c |    460920 |    1205   127840   554049 | 2147483647   219895     81 |  0.000 % |
1181.91/1182.36	c |    463398 |    1205   127840   554049 | 2147483647   222373     81 |  0.000 % |
1188.31/1188.79	c |    466125 |    1205   127840   554049 | 2147483647   225100     81 |  0.000 % |
1196.91/1197.33	c |    469123 |    1205   127840   554049 | 2147483647   228098     81 |  0.000 % |

Verifier Data 

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

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 11611
/proc/meminfo: memFree=1965576/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=0
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310668655 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 269930430546 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/11611/statm: 1339 235 195 169 0 50 0
[pid=11612] ppid=11611 vsize=5356 CPUtime=0
/proc/11612/stat : 11612 (SatELiteGTI) S 11611 11611 11433 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 310668655 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/11612/statm: 1339 238 198 169 0 50 0
[pid=11614] ppid=11612 vsize=0 CPUtime=0
/proc/11614/stat : 11614 (SatELiteGTI) R 11612 11611 11433 0 -1 4194368 19 0 0 0 0 0 0 0 21 0 1 0 310668655 0 0 1992294400 0 0 0 18446744073709551615 269930261799 0 0 4096 0 0 0 0 17 0 0 0
/proc/11614/statm: 0 0 0 0 0 0 0

[startup+0.0109219 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 11611
/proc/meminfo: memFree=1965576/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=0
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310668655 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11611/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101931 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 11611
/proc/meminfo: memFree=1965576/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=0
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310668655 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11611/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301954 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 11611
/proc/meminfo: memFree=1965576/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=0
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310668655 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11611/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.702 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 11611
/proc/meminfo: memFree=1965576/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=0
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310668655 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11611/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.5011 s]
/proc/loadavg: 0.91 0.97 0.99 2/66 11616
/proc/meminfo: memFree=1951416/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=1.33
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 336 3637 0 0 0 0 130 3 16 0 1 0 310668655 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11611/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 5356

[startup+3.10128 s]
/proc/loadavg: 0.91 0.97 0.99 2/66 11617
/proc/meminfo: memFree=1953336/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=1.33
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 336 3637 0 0 0 0 130 3 16 0 1 0 310668655 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11611/statm: 1339 239 197 169 0 50 0
[pid=11617] ppid=11611 vsize=10364 CPUtime=1.74
/proc/11617/stat : 11617 (minisat_static) R 11611 11611 11433 0 -1 4194304 2479 0 0 0 172 2 0 0 25 0 1 0 310668790 10612736 2465 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/11617/statm: 2591 2465 77 171 0 2418 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15720

[startup+6.30165 s]
/proc/loadavg: 1.00 0.98 1.00 2/66 11617
/proc/meminfo: memFree=1949880/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=1.33
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 336 3637 0 0 0 0 130 3 16 0 1 0 310668655 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11611/statm: 1339 239 197 169 0 50 0
[pid=11617] ppid=11611 vsize=13144 CPUtime=4.94
/proc/11617/stat : 11617 (minisat_static) R 11611 11611 11433 0 -1 4194304 3182 0 0 0 491 3 0 0 25 0 1 0 310668790 13459456 3168 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/11617/statm: 3286 3168 77 171 0 3113 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 18500

[startup+12.7024 s]
/proc/loadavg: 1.00 0.98 1.00 2/66 11617
/proc/meminfo: memFree=1945720/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=1.33
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 336 3637 0 0 0 0 130 3 16 0 1 0 310668655 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11611/statm: 1339 239 197 169 0 50 0
[pid=11617] ppid=11611 vsize=17180 CPUtime=11.34
/proc/11617/stat : 11617 (minisat_static) R 11611 11611 11433 0 -1 4194304 4165 0 0 0 1131 3 0 0 25 0 1 0 310668790 17592320 4151 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/11617/statm: 4295 4151 77 171 0 4122 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 22536

[startup+25.5019 s]
/proc/loadavg: 1.00 0.98 1.00 2/66 11617
/proc/meminfo: memFree=1940152/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=1.33
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 336 3637 0 0 0 0 130 3 16 0 1 0 310668655 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11611/statm: 1339 239 197 169 0 50 0
[pid=11617] ppid=11611 vsize=22608 CPUtime=24.13
/proc/11617/stat : 11617 (minisat_static) R 11611 11611 11433 0 -1 4194304 5485 0 0 0 2409 4 0 0 25 0 1 0 310668790 23150592 5471 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/11617/statm: 5652 5471 77 171 0 5479 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 27964

[startup+51.1019 s]
/proc/loadavg: 1.00 0.98 1.00 2/66 11617
/proc/meminfo: memFree=1931832/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=1.33
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 336 3637 0 0 0 0 130 3 16 0 1 0 310668655 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11611/statm: 1339 239 197 169 0 50 0
[pid=11617] ppid=11611 vsize=31104 CPUtime=49.73
/proc/11617/stat : 11617 (minisat_static) R 11611 11611 11433 0 -1 4194304 7572 0 0 0 4966 7 0 0 25 0 1 0 310668790 31850496 7558 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11617/statm: 7776 7558 77 171 0 7603 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 36460

[startup+102.306 s]
/proc/loadavg: 1.00 0.98 1.00 2/66 11617
/proc/meminfo: memFree=1920888/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=1.33
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 336 3637 0 0 0 0 130 3 16 0 1 0 310668655 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11611/statm: 1339 239 197 169 0 50 0
[pid=11617] ppid=11611 vsize=41868 CPUtime=100.92
/proc/11617/stat : 11617 (minisat_static) R 11611 11611 11433 0 -1 4194304 10236 0 0 0 10082 10 0 0 25 0 1 0 310668790 42872832 10222 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11617/statm: 10467 10222 77 171 0 10294 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 47224

[startup+162.302 s]
/proc/loadavg: 1.00 0.98 1.00 2/66 11617
/proc/meminfo: memFree=1910392/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=1.33
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 336 3637 0 0 0 0 130 3 16 0 1 0 310668655 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11611/statm: 1339 239 197 169 0 50 0
[pid=11617] ppid=11611 vsize=52500 CPUtime=160.9
/proc/11617/stat : 11617 (minisat_static) R 11611 11611 11433 0 -1 4194304 12858 0 0 0 16077 13 0 0 25 0 1 0 310668790 53760000 12844 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11617/statm: 13125 12844 77 171 0 12952 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 57856

[startup+222.302 s]
/proc/loadavg: 1.00 0.98 1.00 2/66 11617
/proc/meminfo: memFree=1902200/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=1.33
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 336 3637 0 0 0 0 130 3 16 0 1 0 310668655 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11611/statm: 1339 239 197 169 0 50 0
[pid=11617] ppid=11611 vsize=60596 CPUtime=220.88
/proc/11617/stat : 11617 (minisat_static) R 11611 11611 11433 0 -1 4194304 14855 0 0 0 22072 16 0 0 25 0 1 0 310668790 62050304 14841 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11617/statm: 15149 14841 77 171 0 14976 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 65952

[startup+282.302 s]
/proc/loadavg: 1.00 0.98 1.00 2/66 11617
/proc/meminfo: memFree=1894264/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=1.33
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 336 3637 0 0 0 0 130 3 16 0 1 0 310668655 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11611/statm: 1339 239 197 169 0 50 0
[pid=11617] ppid=11611 vsize=68532 CPUtime=280.87
/proc/11617/stat : 11617 (minisat_static) R 11611 11611 11433 0 -1 4194304 16813 0 0 0 28069 18 0 0 25 0 1 0 310668790 70176768 16799 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11617/statm: 17133 16799 77 171 0 16960 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 73888

[startup+342.302 s]
/proc/loadavg: 1.00 0.98 1.00 2/66 11617
/proc/meminfo: memFree=1885696/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=1.33
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 336 3637 0 0 0 0 130 3 16 0 1 0 310668655 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11611/statm: 1339 239 197 169 0 50 0
[pid=11617] ppid=11611 vsize=76964 CPUtime=340.85
/proc/11617/stat : 11617 (minisat_static) R 11611 11611 11433 0 -1 4194304 18911 0 0 0 34064 21 0 0 25 0 1 0 310668790 78811136 18897 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11617/statm: 19241 18897 77 171 0 19068 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 82320

[startup+402.301 s]
/proc/loadavg: 1.00 0.98 1.00 2/66 11617
/proc/meminfo: memFree=1878976/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=1.33
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 336 3637 0 0 0 0 130 3 16 0 1 0 310668655 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11611/statm: 1339 239 197 169 0 50 0
[pid=11617] ppid=11611 vsize=84140 CPUtime=400.82
/proc/11617/stat : 11617 (minisat_static) R 11611 11611 11433 0 -1 4194304 20584 0 0 0 40060 22 0 0 25 0 1 0 310668790 86159360 20570 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11617/statm: 21035 20570 77 171 0 20862 0
Current children cumulated CPU time (s) 402.15

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

/proc/11617/statm: 23155 22702 77 171 0 22982 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 97976

[startup+582.301 s]
/proc/loadavg: 1.00 0.98 1.00 2/66 11617
/proc/meminfo: memFree=1861120/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=1.33
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 336 3637 0 0 0 0 130 3 16 0 1 0 310668655 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11611/statm: 1339 239 197 169 0 50 0
[pid=11617] ppid=11611 vsize=101568 CPUtime=580.77
/proc/11617/stat : 11617 (minisat_static) R 11611 11611 11433 0 -1 4194304 24971 0 0 0 58051 26 0 0 25 0 1 0 310668790 104005632 24957 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11617/statm: 25392 24957 77 171 0 25219 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 106924

[startup+642.301 s]
/proc/loadavg: 1.00 0.98 1.00 2/66 11617
/proc/meminfo: memFree=1855488/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=1.33
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 336 3637 0 0 0 0 130 3 16 0 1 0 310668655 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11611/statm: 1339 239 197 169 0 50 0
[pid=11617] ppid=11611 vsize=107264 CPUtime=640.75
/proc/11617/stat : 11617 (minisat_static) R 11611 11611 11433 0 -1 4194304 26336 0 0 0 64048 27 0 0 25 0 1 0 310668790 109838336 26322 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 1 0 0
/proc/11617/statm: 26816 26322 77 171 0 26643 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 112620

[startup+702.301 s]
/proc/loadavg: 1.00 0.98 1.00 2/66 11619
/proc/meminfo: memFree=1847488/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=1.33
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 336 3637 0 0 0 0 130 3 16 0 1 0 310668655 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11611/statm: 1339 239 197 169 0 50 0
[pid=11617] ppid=11611 vsize=115060 CPUtime=700.73
/proc/11617/stat : 11617 (minisat_static) R 11611 11611 11433 0 -1 4194304 28283 0 0 0 70043 30 0 0 25 0 1 0 310668790 117821440 28269 1992294400 134512640 135215339 4294956240 18446744073709551615 134534556 0 0 4096 3 0 0 0 17 1 0 0
/proc/11617/statm: 28765 28269 77 171 0 28592 0
Current children cumulated CPU time (s) 702.06
Current children cumulated vsize (KiB) 120416

[startup+762.305 s]
/proc/loadavg: 1.00 0.98 1.00 2/66 11619
/proc/meminfo: memFree=1846976/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=1.33
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 336 3637 0 0 0 0 130 3 16 0 1 0 310668655 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11611/statm: 1339 239 197 169 0 50 0
[pid=11617] ppid=11611 vsize=115648 CPUtime=760.71
/proc/11617/stat : 11617 (minisat_static) R 11611 11611 11433 0 -1 4194304 28402 0 0 0 76041 30 0 0 25 0 1 0 310668790 118423552 28388 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11617/statm: 28912 28388 77 171 0 28739 0
Current children cumulated CPU time (s) 762.04
Current children cumulated vsize (KiB) 121004

[startup+822.301 s]
/proc/loadavg: 1.00 0.98 1.00 2/66 11619
/proc/meminfo: memFree=1846912/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=1.33
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 336 3637 0 0 0 0 130 3 16 0 1 0 310668655 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11611/statm: 1339 239 197 169 0 50 0
[pid=11617] ppid=11611 vsize=115648 CPUtime=820.69
/proc/11617/stat : 11617 (minisat_static) R 11611 11611 11433 0 -1 4194304 28409 0 0 0 82039 30 0 0 25 0 1 0 310668790 118423552 28395 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11617/statm: 28912 28395 77 171 0 28739 0
Current children cumulated CPU time (s) 822.02
Current children cumulated vsize (KiB) 121004

[startup+882.301 s]
/proc/loadavg: 1.00 0.98 1.00 2/66 11619
/proc/meminfo: memFree=1846848/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=1.33
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 336 3637 0 0 0 0 130 3 16 0 1 0 310668655 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11611/statm: 1339 239 197 169 0 50 0
[pid=11617] ppid=11611 vsize=115648 CPUtime=880.67
/proc/11617/stat : 11617 (minisat_static) R 11611 11611 11433 0 -1 4194304 28421 0 0 0 88037 30 0 0 25 0 1 0 310668790 118423552 28407 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11617/statm: 28912 28407 77 171 0 28739 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 121004

[startup+942.301 s]
/proc/loadavg: 1.00 0.98 1.00 2/66 11619
/proc/meminfo: memFree=1846720/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=1.33
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 336 3637 0 0 0 0 130 3 16 0 1 0 310668655 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11611/statm: 1339 239 197 169 0 50 0
[pid=11617] ppid=11611 vsize=115648 CPUtime=940.65
/proc/11617/stat : 11617 (minisat_static) R 11611 11611 11433 0 -1 4194304 28428 0 0 0 94035 30 0 0 25 0 1 0 310668790 118423552 28414 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/11617/statm: 28912 28414 77 171 0 28739 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 121004

[startup+1002.3 s]
/proc/loadavg: 1.00 0.98 1.00 2/66 11619
/proc/meminfo: memFree=1846592/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=1.33
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 336 3637 0 0 0 0 130 3 16 0 1 0 310668655 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11611/statm: 1339 239 197 169 0 50 0
[pid=11617] ppid=11611 vsize=115648 CPUtime=1000.64
/proc/11617/stat : 11617 (minisat_static) R 11611 11611 11433 0 -1 4194304 28431 0 0 0 100033 31 0 0 25 0 1 0 310668790 118423552 28417 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11617/statm: 28912 28417 77 171 0 28739 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 121004

[startup+1062.3 s]
/proc/loadavg: 1.00 0.98 1.00 2/66 11619
/proc/meminfo: memFree=1846464/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=1.33
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 336 3637 0 0 0 0 130 3 16 0 1 0 310668655 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11611/statm: 1339 239 197 169 0 50 0
[pid=11617] ppid=11611 vsize=115648 CPUtime=1060.62
/proc/11617/stat : 11617 (minisat_static) R 11611 11611 11433 0 -1 4194304 28433 0 0 0 106031 31 0 0 25 0 1 0 310668790 118423552 28419 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11617/statm: 28912 28419 77 171 0 28739 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 121004

[startup+1122.3 s]
/proc/loadavg: 1.00 0.98 1.00 2/66 11619
/proc/meminfo: memFree=1846464/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=1.33
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 336 3637 0 0 0 0 130 3 16 0 1 0 310668655 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11611/statm: 1339 239 197 169 0 50 0
[pid=11617] ppid=11611 vsize=115648 CPUtime=1120.6
/proc/11617/stat : 11617 (minisat_static) R 11611 11611 11433 0 -1 4194304 28438 0 0 0 112029 31 0 0 25 0 1 0 310668790 118423552 28424 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11617/statm: 28912 28424 77 171 0 28739 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 121004

[startup+1182.3 s]
/proc/loadavg: 1.00 0.98 1.00 2/66 11619
/proc/meminfo: memFree=1846336/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=1.33
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 336 3637 0 0 0 0 130 3 16 0 1 0 310668655 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11611/statm: 1339 239 197 169 0 50 0
[pid=11617] ppid=11611 vsize=115648 CPUtime=1180.58
/proc/11617/stat : 11617 (minisat_static) R 11611 11611 11433 0 -1 4194304 28438 0 0 0 118027 31 0 0 25 0 1 0 310668790 118423552 28424 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11617/statm: 28912 28424 77 171 0 28739 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 121004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.4 s]
/proc/loadavg: 1.00 0.98 1.00 2/66 11619
/proc/meminfo: memFree=1846272/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=1.33
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 336 3637 0 0 0 0 130 3 16 0 1 0 310668655 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11611/statm: 1339 239 197 169 0 50 0
[pid=11617] ppid=11611 vsize=115648 CPUtime=1198.68
/proc/11617/stat : 11617 (minisat_static) R 11611 11611 11433 0 -1 4194304 28438 0 0 0 119837 31 0 0 25 0 1 0 310668790 118423552 28424 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11617/statm: 28912 28424 77 171 0 28739 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 121004

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1200.41
CPU time (s): 1200.01
CPU user time (s): 1199.67
CPU system time (s): 0.34
CPU usage (%): 99.9664
Max. virtual memory (cumulated for all children) (KiB): 121004

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

runsolver used 1.35679 second user time and 3.09053 second system time

The end

Launcher Data 

Begin job on node53 at 2009-05-20 15:33:26
IDJOB=1833941
IDBENCH=71084
IDSOLVER=671
FILE ID=node53/1833941-1242826406
PBS_JOBID= 9322507
Free space on /tmp= 66044 MiB

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

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

MD5SUM BENCH= fbf37caab2e9eafe910c795f49053484
RANDOM SEED=25760362

node53.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.245
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.245
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1966056 kB
Buffers:         15228 kB
Cached:          34484 kB
SwapCached:       6252 kB
Active:          30640 kB
Inactive:        27328 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1966056 kB
SwapTotal:     4192956 kB
SwapFree:      4180828 kB
Dirty:            3616 kB
Writeback:           0 kB
Mapped:          13420 kB
Slab:            17964 kB
Committed_AS:   936476 kB
PageTables:       1380 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66040 MiB
End job on node53 at 2009-05-20 15:53:29