Trace number 1832257

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

General information on the benchmark

Namecrafted/Hard/contest05/others/
sgp_5-6-8.sat05-2669.reshuffled-07.cnf
MD5SUM4064da8380443613a08af89e2e77b8a2
Bench CategoryCRAFTED (crafted 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 variables58560
Number of clauses778800
Sum of the clauses size1766280
Maximum clause length48
Minimum clause length1
Number of clauses of size 196
Number of clauses of size 2599208
Number of clauses of size 3177096
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 52400

Solver Data 

0.00/0.00	c Parsing...
0.00/0.95	c ==============================================================================
0.00/0.95	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.95	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.95	c ==============================================================================
0.00/0.95	c |         0 |  688593  1577702 |  206577       0        0     nan |  0.000 % |
4.29/4.35	c |         0 |  433992  1014604 |      --       0       --      -- |     --   | -9768/25492
4.29/4.35	c ==============================================================================
4.29/4.35	c Result  :   #vars: 17791   #clauses: 433992   #literals: 1014604
4.29/4.35	c CPU time:   4.24835 s
4.29/4.35	c ==============================================================================
4.68/4.73	c This is MiniSat 2.0 beta
4.68/4.73	c WARNING: for repeatability, setting FPU to use double precision
4.68/4.73	c ============================[ Problem Statistics ]=============================
4.68/4.73	c |                                                                             |
4.68/4.73	c |  Number of variables:  17791                                                |
4.68/4.73	c |  Number of clauses:    433992                                               |
4.72/5.04	c |  Parsing time:         0.29         s                                       |
4.72/5.07	c ============================[ Search Statistics ]==============================
4.72/5.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.72/5.07	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
4.72/5.07	c ===============================================================================
4.72/5.07	c |         0 |   17791   433992  1014604 |   144664        0    nan |  0.000 % |
4.72/5.15	c |       100 |   17791   433992  1014604 |   144664      100     28 |  0.000 % |
4.72/5.23	c |       200 |   17791   433992  1014604 |   144664      200     35 |  0.000 % |
4.72/5.29	c |       302 |   17791   433992  1014604 |   144664      302     44 |  0.000 % |
4.72/5.36	c |       414 |   17791   433992  1014604 |   144664      414     55 |  0.000 % |
5.38/5.42	c |       514 |   17791   433992  1014604 |   144664      514     68 |  0.000 % |
5.38/5.50	c |       628 |   17791   433992  1014604 |   144664      628     66 |  0.000 % |
5.48/5.58	c |       749 |   17791   433992  1014604 |   144664      749     66 |  0.000 % |
5.58/5.63	c |       849 |   17791   433992  1014604 |   144664      849     70 |  0.000 % |
5.58/5.65	c |       959 |   17791   433992  1014604 |   144664      959     63 |  0.000 % |
5.58/5.67	c |      1082 |   17791   433992  1014604 |   144664     1082     58 |  0.000 % |
5.68/5.75	c |      1216 |   17791   433992  1014604 |   144664     1216     58 |  0.000 % |
5.78/5.82	c |      1316 |   17791   433992  1014604 |   144664     1316     59 |  0.000 % |
5.78/5.87	c |      1426 |   17791   433992  1014604 |   144664     1426     64 |  0.000 % |
5.88/5.94	c |      1547 |   17791   433992  1014604 |   144664     1547     66 |  0.000 % |
5.88/6.00	c |      1682 |   17791   433992  1014604 |   144664     1682     80 |  0.000 % |
5.98/6.05	c |      1828 |   17791   433992  1014604 |   144664     1828     82 |  0.000 % |
5.98/6.09	c |      1928 |   17791   433992  1014604 |   144664     1928     85 |  0.000 % |
6.08/6.18	c |      2038 |   17791   433992  1014604 |   144664     2038     85 |  0.000 % |
6.17/6.23	c |      2160 |   17791   433992  1014604 |   144664     2160     84 |  0.000 % |
6.17/6.26	c |      2293 |   17791   433992  1014604 |   144664     2293     79 |  0.000 % |
6.27/6.34	c |      2440 |   17791   433992  1014604 |   144664     2440     81 |  0.000 % |
6.37/6.43	c |      2600 |   17791   433992  1014604 |   144664     2600     80 |  0.000 % |
6.37/6.49	c |      2700 |   17791   433992  1014604 |   144664     2700     82 |  0.000 % |
6.47/6.55	c |      2810 |   17791   433992  1014604 |   144664     2810     83 |  0.000 % |
6.57/6.62	c |      2931 |   17791   433992  1014604 |   144664     2931     83 |  0.000 % |
6.57/6.66	c |      3064 |   17791   433992  1014604 |   144664     3064     80 |  0.000 % |
6.67/6.74	c |      3210 |   17791   433992  1014604 |   144664     3210     80 |  0.000 % |
6.77/6.85	c |      3371 |   17791   433992  1014604 |   144664     3371     81 |  0.000 % |
6.87/6.92	c |      3547 |   17791   433992  1014604 |   144664     3547     83 |  0.000 % |
6.87/6.98	c |      3648 |   17791   433992  1014604 |   144664     3648     82 |  0.000 % |
6.97/7.02	c |      3759 |   17791   433992  1014604 |   144664     3759     84 |  0.000 % |
6.97/7.04	c |      3880 |   17791   433992  1014604 |   144664     3880     82 |  0.000 % |
6.97/7.06	c |      4013 |   17791   433992  1014604 |   144664     4013     79 |  0.000 % |
7.07/7.14	c |      4159 |   17791   433992  1014604 |   144664     4159     86 |  0.000 % |
7.07/7.19	c |      4319 |   17791   433992  1014604 |   144664     4319     88 |  0.000 % |
7.26/7.30	c |      4498 |   17791   433992  1014604 |   144664     4498     91 |  0.000 % |
7.36/7.40	c |      4692 |   17791   433992  1014604 |   144664     4692     92 |  0.000 % |
7.36/7.49	c |      4792 |   17791   433992  1014604 |   144664     4792     91 |  0.000 % |
7.46/7.56	c |      4902 |   17791   433992  1014604 |   144664     4902     91 |  0.000 % |
7.57/7.63	c |      5023 |   17791   433992  1014604 |   144664     5023     92 |  0.000 % |
7.67/7.72	c |      5157 |   17791   433992  1014604 |   144664     5157     92 |  0.000 % |
7.76/7.80	c |      5303 |   17791   433992  1014604 |   144664     5303     92 |  0.000 % |
7.76/7.89	c |      5464 |   17791   433992  1014604 |   144664     5464     96 |  0.000 % |
7.86/7.97	c |      5640 |   17791   433992  1014604 |   144664     5640     97 |  0.000 % |
8.06/8.13	c |      5833 |   17791   433992  1014604 |   144664     5833     97 |  0.000 % |
8.06/8.18	c |      6045 |   17791   433992  1014604 |   144664     6045     97 |  0.000 % |
8.16/8.24	c |      6145 |   17791   433992  1014604 |   144664     6145     97 |  0.000 % |
8.26/8.31	c |      6256 |   17791   433992  1014604 |   144664     6256     97 |  0.000 % |
8.26/8.38	c |      6378 |   17791   433992  1014604 |   144664     6378     97 |  0.000 % |
8.36/8.47	c |      6512 |   17791   433992  1014604 |   144664     6512     97 |  0.000 % |
8.46/8.59	c |      6658 |   17791   433992  1014604 |   144664     6658     96 |  0.000 % |
8.67/8.71	c |      6818 |   17791   433992  1014604 |   144664     6818     96 |  0.000 % |
8.77/8.85	c |      6995 |   17791   433992  1014604 |   144664     6995     96 |  0.000 % |
8.96/9.01	c |      7189 |   17791   433992  1014604 |   144664     7189     95 |  0.000 % |
8.96/9.06	c |      7402 |   17791   433992  1014604 |   144664     7402     96 |  0.000 % |
9.06/9.16	c |      7636 |   17791   433992  1014604 |   144664     7636     97 |  0.000 % |
9.16/9.22	c |      7736 |   17791   433992  1014604 |   144664     7736     98 |  0.000 % |
9.16/9.28	c |      7846 |   17791   433992  1014604 |   144664     7846     98 |  0.000 % |
9.36/9.40	c |      7967 |   17791   433992  1014604 |   144664     7967     99 |  0.000 % |
9.36/9.45	c |      8101 |   17791   433992  1014604 |   144664     8101     99 |  0.000 % |
9.46/9.52	c |      8247 |   17791   433992  1014604 |   144664     8247     99 |  0.000 % |
9.56/9.67	c |      8407 |   17791   433992  1014604 |   144664     8407    100 |  0.000 % |
9.77/9.83	c |      8583 |   17791   433992  1014604 |   144664     8583     99 |  0.000 % |
9.87/9.97	c |      8776 |   17791   433992  1014604 |   144664     8776     98 |  0.000 % |
10.06/10.14	c |      8989 |   17791   433992  1014604 |   144664     8989     98 |  0.000 % |
10.26/10.39	c |      9225 |   17791   433992  1014604 |   144664     9225     97 |  0.000 % |
10.67/10.75	c |      9484 |   17791   433992  1014604 |   144664     9484    101 |  0.000 % |
10.77/10.88	c |      9584 |   17791   433992  1014604 |   144664     9584    101 |  0.000 % |
10.97/11.01	c |      9694 |   17791   433992  1014604 |   144664     9694    101 |  0.000 % |
11.07/11.12	c |      9816 |   17791   433992  1014604 |   144664     9816    100 |  0.000 % |
11.17/11.23	c |      9949 |   17791   433992  1014604 |   144664     9949    101 |  0.000 % |
11.37/11.41	c |     10096 |   17791   433992  1014604 | 2147483647    10096    102 |  0.000 % |
11.57/11.63	c |     10256 |   17791   433992  1014604 | 2147483647    10256    105 |  0.000 % |
11.77/11.85	c |     10434 |   17791   433992  1014604 | 2147483647    10434    105 |  0.000 % |
11.97/12.10	c |     10628 |   17791   433992  1014604 | 2147483647    10628    105 |  0.000 % |
12.37/12.46	c |     10841 |   17791   433992  1014604 | 2147483647    10841    107 |  0.000 % |
12.67/12.70	c |     11075 |   17791   433992  1014604 | 2147483647    11075    108 |  0.000 % |
12.87/12.96	c |     11331 |   17791   433992  1014604 | 2147483647    11331    109 |  0.000 % |
13.27/13.39	c |     11612 |   17791   433992  1014604 | 2147483647    11612    111 |  0.000 % |
13.46/13.53	c |     11717 |   17791   433992  1014604 | 2147483647    11717    111 |  0.000 % |
13.56/13.69	c |     11828 |   17791   433992  1014604 | 2147483647    11828    112 |  0.000 % |
13.76/13.83	c |     11949 |   17791   433992  1014604 | 2147483647    11949    112 |  0.000 % |
13.96/14.01	c |     12082 |   17791   433992  1014604 | 2147483647    12082    112 |  0.000 % |
14.16/14.21	c |     12228 |   17791   433992  1014604 | 2147483647    12228    112 |  0.000 % |
14.36/14.45	c |     12388 |   17791   433992  1014604 | 2147483647    12388    113 |  0.000 % |
14.66/14.74	c |     12564 |   17791   433992  1014604 | 2147483647    12564    115 |  0.000 % |
14.86/14.94	c |     12757 |   17791   433992  1014604 | 2147483647    12757    116 |  0.000 % |
15.06/15.19	c |     12969 |   17791   433992  1014604 | 2147483647    12969    116 |  0.000 % |
15.26/15.39	c |     13202 |   17791   433992  1014604 | 2147483647    13202    115 |  0.000 % |
15.36/15.44	c |     13458 |   17791   433992  1014604 | 2147483647    13458    115 |  0.000 % |
15.46/15.53	c |     13740 |   17791   433992  1014604 | 2147483647    13740    115 |  0.000 % |
15.56/15.65	c |     14049 |   17791   433992  1014604 | 2147483647    14049    115 |  0.000 % |
15.66/15.72	c |     14150 |   17791   433992  1014604 | 2147483647    14150    115 |  0.000 % |
15.66/15.78	c |     14260 |   17791   433992  1014604 | 2147483647    14260    116 |  0.000 % |
15.76/15.82	c |     14381 |   17791   433992  1014604 | 2147483647    14381    116 |  0.000 % |
15.76/15.88	c |     14515 |   17791   433992  1014604 | 2147483647    14515    116 |  0.000 % |
15.96/16.04	c |     14661 |   17791   433992  1014604 | 2147483647    14661    116 |  0.000 % |
15.96/16.09	c |     14821 |   17791   433992  1014604 | 2147483647    14821    117 |  0.000 % |
16.07/16.16	c |     14998 |   17791   433992  1014604 | 2147483647    14998    117 |  0.000 % |
16.17/16.20	c |     15193 |   17791   433992  1014604 | 2147483647    15193    117 |  0.000 % |
16.17/16.29	c |     15405 |   17791   433992  1014604 | 2147483647    15405    117 |  0.000 % |
16.37/16.44	c |     15638 |   17791   433992  1014604 | 2147483647    15638    117 |  0.000 % |
16.47/16.54	c |     15897 |   17791   433992  1014604 | 2147483647    15897    117 |  0.000 % |
16.57/16.62	c |     16178 |   17791   433992  1014604 | 2147483647    16178    116 |  0.000 % |
16.57/16.69	c |     16487 |   17791   433992  1014604 | 2147483647    16487    116 |  0.000 % |
16.77/16.87	c |     16826 |   17791   433992  1014604 | 2147483647    16826    117 |  0.000 % |
16.87/16.93	c |     16927 |   17791   433992  1014604 | 2147483647    16927    117 |  0.000 % |
16.87/16.97	c |     17037 |   17791   433992  1014604 | 2147483647    17037    117 |  0.000 % |
16.97/17.04	c |     17160 |   17791   433992  1014604 | 2147483647    17160    117 |  0.000 % |
16.97/17.09	c |     17294 |   17791   433992  1014604 | 2147483647    17294    117 |  0.000 % |
17.07/17.14	c |     17444 |   17791   433992  1014604 | 2147483647    17444    117 |  0.000 % |
17.17/17.20	c |     17605 |   17791   433992  1014604 | 2147483647    17605    117 |  0.000 % |
17.17/17.26	c |     17783 |   17791   433992  1014604 | 2147483647    17783    117 |  0.000 % |
17.26/17.31	c |     17978 |   17791   433992  1014604 | 2147483647    17978    119 |  0.000 % |
17.36/17.40	c |     18191 |   17791   433992  1014604 | 2147483647    18191    119 |  0.000 % |
17.36/17.45	c |     18424 |   17791   433992  1014604 | 2147483647    18424    120 |  0.000 % |
17.47/17.53	c |     18681 |   17791   433992  1014604 | 2147483647    18681    120 |  0.000 % |
17.47/17.59	c |     18964 |   17791   433992  1014604 | 2147483647    18964    120 |  0.000 % |
17.57/17.68	c |     19273 |   17791   433992  1014604 | 2147483647    19273    121 |  0.000 % |
17.67/17.75	c |     19613 |   17791   433992  1014604 | 2147483647    19613    120 |  0.000 % |
17.77/17.83	c |     19986 |   17791   433992  1014604 | 2147483647    19986    120 |  0.000 % |
17.77/17.85	c |     20086 |   17791   433992  1014604 | 2147483647    20086    120 |  0.000 % |
17.87/17.90	c |     20197 |   17791   433992  1014604 | 2147483647    20197    119 |  0.000 % |
17.87/17.94	c |     20318 |   17791   433992  1014604 | 2147483647    20318    119 |  0.000 % |
17.87/17.98	c |     20452 |   17791   433992  1014604 | 2147483647    20452    119 |  0.000 % |
17.97/18.09	c |     20598 |   17791   433992  1014604 | 2147483647    20598    118 |  0.000 % |
18.17/18.28	c |     20758 |   17791   433992  1014604 | 2147483647    20758    119 |  0.000 % |
18.27/18.32	c |     20937 |   17791   433992  1014604 | 2147483647    20937    118 |  0.000 % |
18.46/18.54	c |     21131 |   17791   433992  1014604 | 2147483647    21131    118 |  0.000 % |
18.67/18.76	c |     21343 |   17791   433992  1014604 | 2147483647    21343    119 |  0.000 % |
18.77/18.82	c |     21576 |   17791   433992  1014604 | 2147483647    21576    119 |  0.000 % |
19.07/19.19	c |     21832 |   17791   433992  1014604 | 2147483647    21832    121 |  0.000 % |
19.17/19.29	c |     22114 |   17791   433992  1014604 | 2147483647    22114    122 |  0.000 % |
19.36/19.47	c |     22425 |   17791   433992  1014604 | 2147483647    22425    122 |  0.000 % |
19.67/19.71	c |     22764 |   17791   433992  1014604 | 2147483647    22764    122 |  0.000 % |
19.86/19.91	c |     23136 |   17791   433992  1014604 | 2147483647    23136    122 |  0.000 % |
19.96/20.05	c |     23546 |   17791   433992  1014604 | 2147483647    23546    123 |  0.000 % |
20.06/20.15	c |     23647 |   17791   433992  1014604 | 2147483647    23647    123 |  0.000 % |
20.16/20.20	c |     23757 |   17791   433992  1014604 | 2147483647    23757    123 |  0.000 % |
20.16/20.23	c |     23878 |   17791   433992  1014604 | 2147483647    23878    123 |  0.000 % |
20.36/20.42	c |     24011 |   17791   433992  1014604 | 2147483647    24011    124 |  0.000 % |
20.46/20.56	c |     24157 |   17791   433992  1014604 | 2147483647    24157    124 |  0.000 % |
20.56/20.69	c |     24318 |   17791   433992  1014604 | 2147483647    24318    123 |  0.000 % |
20.87/20.95	c |     24494 |   17791   433992  1014604 | 2147483647    24494    123 |  0.000 % |
21.06/21.16	c |     24687 |   17791   433992  1014604 | 2147483647    24687    123 |  0.000 % |
21.16/21.21	c |     24900 |   17791   433992  1014604 | 2147483647    24900    123 |  0.000 % |
21.26/21.31	c |     25133 |   17791   433992  1014604 | 2147483647    25133    123 |  0.000 % |
21.46/21.55	c |     25389 |   17791   433992  1014604 | 2147483647    25389    124 |  0.000 % |
21.56/21.65	c |     25671 |   17791   433992  1014604 | 2147483647    25671    124 |  0.000 % |
21.66/21.77	c |     25980 |   17791   433992  1014604 | 2147483647    25980    124 |  0.000 % |
21.87/21.99	c |     26320 |   17791   433992  1014604 | 2147483647    26320    124 |  0.000 % |
22.06/22.12	c |     26692 |   17791   433992  1014604 | 2147483647    26692    124 |  0.000 % |
22.16/22.25	c |     27101 |   17791   433992  1014604 | 2147483647    27101    124 |  0.000 % |
22.36/22.42	c |     27550 |   17791   433992  1014604 | 2147483647    27550    125 |  0.000 % |
22.46/22.52	c |     27650 |   17791   433992  1014604 | 2147483647    27650    126 |  0.000 % |
22.46/22.57	c |     27761 |   17791   433992  1014604 | 2147483647    27761    125 |  0.000 % |
22.56/22.60	c |     27884 |   17791   433992  1014604 | 2147483647    27884    125 |  0.000 % |
22.56/22.69	c |     28017 |   17791   433992  1014604 | 2147483647    28017    125 |  0.000 % |
22.76/22.81	c |     28164 |   17791   433992  1014604 | 2147483647    28164    125 |  0.000 % |
22.76/22.85	c |     28324 |   17791   433992  1014604 | 2147483647    28324    125 |  0.000 % |
22.86/22.92	c |     28501 |   17791   433992  1014604 | 2147483647    28501    125 |  0.000 % |
22.86/22.99	c |     28694 |   17791   433992  1014604 | 2147483647    28694    125 |  0.000 % |
22.96/23.03	c |     28908 |   17791   433992  1014604 | 2147483647    28908    125 |  0.000 % |
23.06/23.11	c |     29142 |   17791   433992  1014604 | 2147483647    29142    125 |  0.000 % |
23.06/23.17	c |     29399 |   17791   433992  1014604 | 2147483647    29399    125 |  0.000 % |
23.16/23.24	c |     29680 |   17791   433992  1014604 | 2147483647    29680    125 |  0.000 % |
23.27/23.33	c |     29989 |   17791   433992  1014604 | 2147483647    29989    125 |  0.000 % |
23.67/23.80	c |     30331 |   17791   433992  1014604 | 2147483647    30331    126 |  0.000 % |
24.07/24.20	c |     30706 |   17791   433992  1014604 | 2147483647    30706    126 |  0.000 % |
24.96/25.02	c |     31116 |   17791   433992  1014604 | 2147483647    31116    127 |  0.000 % |
25.66/25.75	c |     31565 |   17791   433992  1014604 | 2147483647    31565    127 |  0.000 % |
26.66/26.79	c |     32058 |   17791   433992  1014604 | 2147483647    32058    130 |  0.000 % |
26.86/26.97	c |     32158 |   17791   433992  1014604 | 2147483647    32158    130 |  0.000 % |
27.06/27.10	c |     32269 |   17791   433992  1014604 | 2147483647    32269    130 |  0.000 % |
27.26/27.34	c |     32391 |   17791   433992  1014604 | 2147483647    32391    130 |  0.000 % |
27.46/27.55	c |     32527 |   17791   433992  1014604 | 2147483647    32527    131 |  0.000 % |
27.76/27.85	c |     32674 |   17791   433992  1014604 | 2147483647    32674    131 |  0.000 % |
28.06/28.10	c |     32835 |   17791   433992  1014604 | 2147483647    32835    131 |  0.000 % |
28.36/28.49	c |     33011 |   17791   433992  1014604 | 2147483647    33011    132 |  0.000 % |
28.65/28.79	c |     33204 |   17791   433992  1014604 | 2147483647    33204    132 |  0.000 % |
29.05/29.19	c |     33417 |   17791   433992  1014604 | 2147483647    33417    133 |  0.000 % |
29.45/29.51	c |     33651 |   17791   433992  1014604 | 2147483647    33651    133 |  0.000 % |
29.55/29.66	c |     33909 |   17791   433992  1014604 | 2147483647    33909    132 |  0.000 % |
29.75/29.88	c |     34192 |   17791   433992  1014604 | 2147483647    34192    133 |  0.000 % |
29.95/30.09	c |     34501 |   17791   433992  1014604 | 2147483647    34501    132 |  0.000 % |
30.36/30.43	c |     34840 |   17791   433992  1014604 | 2147483647    34840    132 |  0.000 % |
30.46/30.58	c |     35212 |   17791   433992  1014604 | 2147483647    35212    131 |  0.000 % |
31.06/31.11	c |     35621 |   17791   433992  1014604 | 2147483647    35621    133 |  0.000 % |
31.16/31.28	c |     36070 |   17791   433992  1014604 | 2147483647    36070    133 |  0.000 % |
31.56/31.64	c |     36564 |   17791   433992  1014604 | 2147483647    36564    134 |  0.000 % |
31.95/32.02	c |     37106 |   17791   433992  1014604 | 2147483647    37106    133 |  0.000 % |
32.05/32.10	c |     37207 |   17791   433992  1014604 | 2147483647    37207    133 |  0.000 % |
32.05/32.15	c |     37317 |   17791   433992  1014604 | 2147483647    37317    133 |  0.000 % |
32.15/32.23	c |     37438 |   17791   433992  1014604 | 2147483647    37438    133 |  0.000 % |
32.25/32.35	c |     37572 |   17791   433992  1014604 | 2147483647    37572    133 |  0.000 % |
32.45/32.51	c |     37718 |   17791   433992  1014604 | 2147483647    37718    134 |  0.000 % |
32.65/32.74	c |     37880 |   17791   433992  1014604 | 2147483647    37880    134 |  0.000 % |
32.65/32.79	c |     38057 |   17791   433992  1014604 | 2147483647    38057    133 |  0.000 % |
32.96/33.02	c |     38250 |   17791   433992  1014604 | 2147483647    38250    133 |  0.000 % |
32.96/33.04	c |     38463 |   17791   433992  1014604 | 2147483647    38463    133 |  0.000 % |
33.15/33.23	c |     38698 |   17791   433992  1014604 | 2147483647    38698    133 |  0.000 % |
33.25/33.35	c |     38954 |   17791   433992  1014604 | 2147483647    38954    132 |  0.000 % |
33.45/33.51	c |     39236 |   17791   433992  1014604 | 2147483647    39236    132 |  0.000 % |
33.55/33.60	c |     39545 |   17791   433992  1014604 | 2147483647    39545    131 |  0.000 % |
34.15/34.24	c |     39885 |   17791   433992  1014604 | 2147483647    39885    132 |  0.000 % |
34.55/34.62	c |     40258 |   17791   433992  1014604 | 2147483647    40258    133 |  0.000 % |
34.95/35.02	c |     40667 |   17791   433992  1014604 | 2147483647    40667    134 |  0.000 % |
35.35/35.45	c |     41116 |   17791   433992  1014604 | 2147483647    41116    134 |  0.000 % |
36.45/36.53	c |     41609 |   17791   433992  1014604 | 2147483647    41609    135 |  0.000 % |
37.05/37.17	c |     42151 |   17791   433992  1014604 | 2147483647    42151    137 |  0.000 % |
38.05/38.10	c |     42748 |   17791   433992  1014604 | 2147483647    42748    137 |  0.000 % |
38.15/38.27	c |     42851 |   17791   433992  1014604 | 2147483647    42851    137 |  0.000 % |
38.36/38.42	c |     42961 |   17791   433992  1014604 | 2147483647    42961    137 |  0.000 % |
38.55/38.61	c |     43082 |   17791   433992  1014604 | 2147483647    43082    137 |  0.000 % |
38.85/38.94	c |     43215 |   17791   433992  1014604 | 2147483647    43215    138 |  0.000 % |
39.15/39.24	c |     43361 |   17791   433992  1014604 | 2147483647    43361    138 |  0.000 % |
39.25/39.34	c |     43521 |   17791   433992  1014604 | 2147483647    43521    138 |  0.000 % |
39.45/39.57	c |     43698 |   17791   433992  1014604 | 2147483647    43698    138 |  0.000 % |
39.74/39.87	c |     43891 |   17791   433992  1014604 | 2147483647    43891    138 |  0.000 % |
40.14/40.24	c |     44104 |   17791   433992  1014604 | 2147483647    44104    138 |  0.000 % |
40.55/40.64	c |     44337 |   17791   433992  1014604 | 2147483647    44337    139 |  0.000 % |
40.84/40.98	c |     44594 |   17791   433992  1014604 | 2147483647    44594    139 |  0.000 % |
41.54/41.68	c |     44876 |   17791   433992  1014604 | 2147483647    44876    140 |  0.000 % |
42.24/42.32	c |     45186 |   17791   433992  1014604 | 2147483647    45186    141 |  0.000 % |
43.04/43.16	c |     45525 |   17791   433992  1014604 | 2147483647    45525    142 |  0.000 % |
43.64/43.78	c |     45897 |   17791   433992  1014604 | 2147483647    45897    142 |  0.000 % |
44.44/44.58	c |     46307 |   17791   433992  1014604 | 2147483647    46307    143 |  0.000 % |
45.33/45.47	c |     46757 |   17791   433992  1014604 | 2147483647    46757    144 |  0.000 % |
46.15/46.28	c |     47251 |   17791   433992  1014604 | 2147483647    47251    145 |  0.000 % |
46.84/46.91	c |     47794 |   17791   433992  1014604 | 2147483647    47794    146 |  0.000 % |
47.94/48.08	c |     48393 |   17791   433992  1014604 | 2147483647    48393    148 |  0.000 % |
49.24/49.33	c |     49049 |   17791   433992  1014604 | 2147483647    49049    149 |  0.000 % |
49.44/49.54	c |     49149 |   17791   433992  1014604 | 2147483647    49149    149 |  0.000 % |
49.64/49.75	c |     49259 |   17791   433992  1014604 | 2147483647    49259    149 |  0.000 % |
49.84/49.99	c |     49381 |   17791   433992  1014604 | 2147483647    49381    149 |  0.000 % |
50.13/50.28	c |     49514 |   17791   433992  1014604 | 2147483647    49514    150 |  0.000 % |
50.33/50.45	c |     49660 |   17791   433992  1014604 | 2147483647    49660    149 |  0.000 % |
50.63/50.72	c |     49823 |   17791   433992  1014604 | 2147483647    49823    149 |  0.000 % |
50.94/51.00	c |     50000 |   17791   433992  1014604 | 2147483647    50000    150 |  0.000 % |
51.34/51.45	c |     50193 |   17791   433992  1014604 | 2147483647    50193    150 |  0.000 % |
51.64/51.73	c |     50405 |   17791   433992  1014604 | 2147483647    50405    150 |  0.000 % |
52.24/52.33	c |     50639 |   17791   433992  1014604 | 2147483647    50639    151 |  0.000 % |
52.53/52.65	c |     50895 |   17791   433992  1014604 | 2147483647    50895    151 |  0.000 % |
52.83/52.93	c |     51176 |   17791   433992  1014604 | 2147483647    51176    151 |  0.000 % |
53.13/53.27	c |     51485 |   17791   433992  1014604 | 2147483647    51485    151 |  0.000 % |
53.43/53.52	c |     51824 |   17791   433992  1014604 | 2147483647    51824    151 |  0.000 % |
53.74/53.83	c |     52198 |   17791   433992  1014604 | 2147483647    52198    152 |  0.000 % |
54.13/54.25	c |     52608 |   17791   433992  1014604 | 2147483647    52608    151 |  0.000 % |
54.63/54.78	c |     53057 |   17791   433992  1014604 | 2147483647    53057    151 |  0.000 % |
55.33/55.44	c |     53550 |   17791   433992  1014604 | 2147483647    53550    151 |  0.000 % |
55.64/55.71	c |     54094 |   17791   433992  1014604 | 2147483647    54094    151 |  0.000 % |
56.43/56.57	c |     54691 |   17791   433992  1014604 | 2147483647    54691    152 |  0.000 % |
57.73/57.83	c |     55347 |   17791   433992  1014604 | 2147483647    55347    154 |  0.000 % |
58.93/59.05	c |     56068 |   17791   433992  1014604 | 2147483647    56068    154 |  0.000 % |
59.13/59.27	c |     56168 |   17791   433992  1014604 | 2147483647    56168    154 |  0.000 % |
59.33/59.48	c |     56278 |   17791   433992  1014604 | 2147483647    56278    154 |  0.000 % |
59.63/59.72	c |     56400 |   17791   433992  1014604 | 2147483647    56400    154 |  0.000 % |
59.83/59.96	c |     56533 |   17791   433992  1014604 | 2147483647    56533    154 |  0.000 % |
60.13/60.25	c |     56679 |   17791   433992  1014604 | 2147483647    56679    154 |  0.000 % |
60.23/60.32	c |     56839 |   17791   433992  1014604 | 2147483647    56839    154 |  0.000 % |
60.53/60.65	c |     57016 |   17791   433992  1014604 | 2147483647    57016    154 |  0.000 % |
60.83/60.94	c |     57209 |   17791   433992  1014604 | 2147483647    57209    154 |  0.000 % |
61.23/61.39	c |     57422 |   17791   433992  1014604 | 2147483647    57422    155 |  0.000 % |
61.63/61.70	c |     57657 |   17791   433992  1014604 | 2147483647    57657    155 |  0.000 % |
61.93/62.06	c |     57913 |   17791   433992  1014604 | 2147483647    57913    155 |  0.000 % |
62.43/62.53	c |     58196 |   17791   433992  1014604 | 2147483647    58196    155 |  0.000 % |
62.83/63.00	c |     58505 |   17791   433992  1014604 | 2147483647    58505    155 |  0.000 % |
63.33/63.48	c |     58844 |   17791   433992  1014604 | 2147483647    58844    155 |  0.000 % |
64.03/64.18	c |     59216 |   17791   433992  1014604 | 2147483647    59216    155 |  0.000 % |
64.93/65.07	c |     59625 |   17791   433992  1014604 | 2147483647    59625    156 |  0.000 % |
65.83/65.97	c |     60074 |   17791   433992  1014604 | 2147483647    60074    156 |  0.000 % |
66.62/66.73	c |     60567 |   17791   433992  1014604 | 2147483647    60567    156 |  0.000 % |
67.53/67.62	c |     61114 |   17791   433992  1014604 | 2147483647    61114    156 |  0.000 % |
68.73/68.86	c |     61710 |   17791   433992  1014604 | 2147483647    61710    157 |  0.000 % |
69.03/69.18	c |     62366 |   17791   433992  1014604 | 2147483647    62366    157 |  0.000 % |
70.13/70.28	c |     63086 |   17791   433992  1014604 | 2147483647    63086    158 |  0.000 % |
71.82/71.94	c |     63878 |   17791   433992  1014604 | 2147483647    63878    159 |  0.000 % |
71.92/72.09	c |     63978 |   17791   433992  1014604 | 2147483647    63978    159 |  0.000 % |
72.22/72.36	c |     64089 |   17791   433992  1014604 | 2147483647    64089    159 |  0.000 % |
72.53/72.62	c |     64212 |   17791   433992  1014604 | 2147483647    64212    159 |  0.000 % |
72.72/72.89	c |     64345 |   17791   433992  1014604 | 2147483647    64345    159 |  0.000 % |
73.12/73.27	c |     64492 |   17791   433992  1014604 | 2147483647    64492    159 |  0.000 % |
73.42/73.52	c |     64657 |   17791   433992  1014604 | 2147483647    64657    159 |  0.000 % |
73.72/73.84	c |     64835 |   17791   433992  1014604 | 2147483647    64835    159 |  0.000 % |
74.02/74.19	c |     65028 |   17791   433992  1014604 | 2147483647    65028    160 |  0.000 % |
74.42/74.59	c |     65240 |   17791   433992  1014604 | 2147483647    65240    160 |  0.000 % |
74.82/74.95	c |     65473 |   17791   433992  1014604 | 2147483647    65473    160 |  0.000 % |
75.22/75.32	c |     65730 |   17791   433992  1014604 | 2147483647    65730    160 |  0.000 % |
75.72/75.88	c |     66011 |   17791   433992  1014604 | 2147483647    66011    160 |  0.000 % |
76.42/76.51	c |     66321 |   17791   433992  1014604 | 2147483647    66321    160 |  0.000 % |
77.12/77.29	c |     66661 |   17791   433992  1014604 | 2147483647    66661    161 |  0.000 % |
77.72/77.88	c |     67033 |   17791   433992  1014604 | 2147483647    67033    161 |  0.000 % |
78.52/78.65	c |     67442 |   17791   433992  1014604 | 2147483647    67442    161 |  0.000 % |
79.32/79.42	c |     67891 |   17791   433992  1014604 | 2147483647    67891    162 |  0.000 % |
80.22/80.34	c |     68384 |   17791   433992  1014604 | 2147483647    68384    162 |  0.000 % |
81.42/81.52	c |     68927 |   17791   433992  1014604 | 2147483647    68927    162 |  0.000 % |
82.62/82.74	c |     69523 |   17791   433992  1014604 | 2147483647    69523    163 |  0.000 % |
84.02/84.12	c |     70180 |   17791   433992  1014604 | 2147483647    70180    163 |  0.000 % |
85.52/85.60	c |     70901 |   17791   433992  1014604 | 2147483647    70901    164 |  0.000 % |
87.11/87.28	c |     71693 |   17791   433992  1014604 | 2147483647    71693    166 |  0.000 % |
89.31/89.43	c |     72565 |   17791   433992  1014604 | 2147483647    72565    167 |  0.000 % |
89.51/89.68	c |     72666 |   17791   433992  1014604 | 2147483647    72666    167 |  0.000 % |
89.71/89.90	c |     72777 |   17791   433992  1014604 | 2147483647    72777    167 |  0.000 % |
90.02/90.11	c |     72900 |   17791   433992  1014604 | 2147483647    72900    167 |  0.000 % |
90.31/90.43	c |     73033 |   17791   433992  1014604 | 2147483647    73033    167 |  0.000 % |
90.51/90.63	c |     73179 |   17791   433992  1014604 | 2147483647    73179    167 |  0.000 % |
90.81/90.94	c |     73339 |   17791   433992  1014604 | 2147483647    73339    167 |  0.000 % |
91.11/91.25	c |     73515 |   17791   433992  1014604 | 2147483647    73515    167 |  0.000 % |
91.41/91.54	c |     73708 |   17791   433992  1014604 | 2147483647    73708    167 |  0.000 % |
91.81/91.96	c |     73923 |   17791   433992  1014604 | 2147483647    73923    167 |  0.000 % |
92.32/92.47	c |     74156 |   17791   433992  1014604 | 2147483647    74156    168 |  0.000 % |
92.72/92.87	c |     74413 |   17791   433992  1014604 | 2147483647    74413    168 |  0.000 % |
93.32/93.42	c |     74694 |   17791   433992  1014604 | 2147483647    74694    168 |  0.000 % |
93.82/93.99	c |     75004 |   17791   433992  1014604 | 2147483647    75004    168 |  0.000 % |
94.72/94.80	c |     75343 |   17791   433992  1014604 | 2147483647    75343    168 |  0.000 % |
95.32/95.43	c |     75716 |   17791   433992  1014604 | 2147483647    75716    169 |  0.000 % |
96.22/96.37	c |     76125 |   17791   433992  1014604 | 2147483647    76125    169 |  0.000 % |
97.21/97.38	c |     76574 |   17791   433992  1014604 | 2147483647    76574    169 |  0.000 % |
98.20/98.30	c |     77070 |   17791   433992  1014604 | 2147483647    77070    170 |  0.000 % |
99.00/99.15	c |     77612 |   17791   433992  1014604 | 2147483647    77612    170 |  0.000 % |
100.10/100.25	c |     78209 |   17791   433992  1014604 | 2147483647    78209    170 |  0.000 % |
101.31/101.48	c |     78864 |   17791   433992  1014604 | 2147483647    78864    171 |  0.000 % |
102.81/102.92	c |     79585 |   17791   433992  1014604 | 2147483647    79585    171 |  0.000 % |
104.31/104.47	c |     80379 |   17791   433992  1014604 | 2147483647    80379    173 |  0.000 % |
105.80/105.96	c |     81250 |   17791   433992  1014604 | 2147483647    81250    173 |  0.000 % |
107.51/107.65	c |     82209 |   17791   433992  1014604 | 2147483647    82209    173 |  0.000 % |
107.71/107.84	c |     82309 |   17791   433992  1014604 | 2147483647    82309    173 |  0.000 % |
107.91/108.06	c |     82419 |   17791   433992  1014604 | 2147483647    82419    173 |  0.000 % |
108.21/108.35	c |     82540 |   17791   433992  1014604 | 2147483647    82540    173 |  0.000 % |
108.51/108.66	c |     82675 |   17791   433992  1014604 | 2147483647    82675    173 |  0.000 % |
108.91/109.00	c |     82823 |   17791   433992  1014604 | 2147483647    82823    173 |  0.000 % |
109.20/109.39	c |     82985 |   17791   433992  1014604 | 2147483647    82985    173 |  0.000 % |
109.60/109.76	c |     83161 |   17791   433992  1014604 | 2147483647    83161    173 |  0.000 % |
110.00/110.16	c |     83354 |   17791   433992  1014604 | 2147483647    83354    173 |  0.000 % |
110.50/110.69	c |     83566 |   17791   433992  1014604 | 2147483647    83566    174 |  0.000 % |
110.80/110.99	c |     83801 |   17791   433992  1014604 | 2147483647    83801    174 |  0.000 % |
111.10/111.27	c |     84058 |   17791   433992  1014604 | 2147483647    84058    173 |  0.000 % |
111.50/111.64	c |     84339 |   17791   433992  1014604 | 2147483647    84339    173 |  0.000 % |
111.70/111.85	c |     84649 |   17791   433992  1014604 | 2147483647    84649    173 |  0.000 % |
112.50/112.60	c |     84988 |   17791   433992  1014604 | 2147483647    84988    173 |  0.000 % |
113.30/113.47	c |     85360 |   17791   433992  1014604 | 2147483647    85360    173 |  0.000 % |
113.80/113.92	c |     85769 |   17791   433992  1014604 | 2147483647    85769    173 |  0.000 % |
114.70/114.88	c |     86218 |   17791   433992  1014604 | 2147483647    86218    174 |  0.000 % |
115.80/115.95	c |     86711 |   17791   433992  1014604 | 2147483647    86711    174 |  0.000 % |
116.70/116.89	c |     87255 |   17791   433992  1014604 | 2147483647    87255    175 |  0.000 % |
117.80/117.97	c |     87852 |   17791   433992  1014604 | 2147483647    87852    175 |  0.000 % |
119.40/119.50	c |     88507 |   17791   433992  1014604 | 2147483647    88507    175 |  0.000 % |
120.90/121.08	c |     89229 |   17791   433992  1014604 | 2147483647    89229    176 |  0.000 % |
122.60/122.70	c |     90021 |   17791   433992  1014604 | 2147483647    90021    177 |  0.000 % |
124.30/124.49	c |     90892 |   17791   433992  1014604 | 2147483647    90892    178 |  0.000 % |
126.49/126.68	c |     91850 |   17791   433992  1014604 | 2147483647    91850    179 |  0.000 % |
128.79/128.96	c |     92904 |   17791   433992  1014604 | 2147483647    92904    179 |  0.000 % |
128.99/129.11	c |     93005 |   17791   433992  1014604 | 2147483647    93005    179 |  0.000 % |
129.29/129.44	c |     93115 |   17791   433992  1014604 | 2147483647    93115    179 |  0.000 % |
129.49/129.68	c |     93237 |   17791   433992  1014604 | 2147483647    93237    179 |  0.000 % |
129.70/129.88	c |     93371 |   17791   433992  1014604 | 2147483647    93371    179 |  0.000 % |
129.99/130.13	c |     93517 |   17791   433992  1014604 | 2147483647    93517    179 |  0.000 % |
130.39/130.58	c |     93678 |   17791   433992  1014604 | 2147483647    93678    179 |  0.000 % |
130.70/130.87	c |     93856 |   17791   433992  1014604 | 2147483647    93856    179 |  0.000 % |
131.20/131.33	c |     94049 |   17791   433992  1014604 | 2147483647    94049    179 |  0.000 % |
131.60/131.71	c |     94263 |   17791   433992  1014604 | 2147483647    94263    179 |  0.000 % |
132.20/132.31	c |     94496 |   17791   433992  1014604 | 2147483647    94496    179 |  0.000 % |
132.80/133.00	c |     94752 |   17791   433992  1014604 | 2147483647    94752    180 |  0.000 % |
133.60/133.72	c |     95033 |   17791   433992  1014604 | 2147483647    95033    180 |  0.000 % |
134.20/134.39	c |     95344 |   17791   433992  1014604 | 2147483647    95344    180 |  0.000 % |
134.80/134.94	c |     95683 |   17791   433992  1014604 | 2147483647    95683    180 |  0.000 % |
135.30/135.48	c |     96056 |   17791   433992  1014604 | 2147483647    96056    180 |  0.000 % |
136.30/136.50	c |     96466 |   17791   433992  1014604 | 2147483647    96466    180 |  0.000 % |
137.19/137.40	c |     96916 |   17791   433992  1014604 | 2147483647    96916    181 |  0.000 % |
138.59/138.73	c |     97410 |   17791   433992  1014604 | 2147483647    97410    181 |  0.000 % |
139.29/139.45	c |     97956 |   17791   433992  1014604 | 2147483647    97956    181 |  0.000 % |
140.49/140.70	c |     98552 |   17791   433992  1014604 | 2147483647    98552    181 |  0.000 % |
141.89/142.09	c |     99207 |   17791   433992  1014604 | 2147483647    99207    182 |  0.000 % |
143.48/143.62	c |     99927 |   17791   433992  1014604 | 2147483647    99927    182 |  0.000 % |
144.99/145.17	c |    100719 |   17791   433992  1014604 | 2147483647   100719    182 |  0.000 % |
147.19/147.39	c |    101590 |   17791   433992  1014604 | 2147483647   101590    183 |  0.000 % |
148.98/149.17	c |    102548 |   17791   433992  1014604 | 2147483647   102548    184 |  0.000 % |
150.37/150.59	c |    103601 |   17791   433992  1014604 | 2147483647   103601    184 |  0.000 % |
152.88/153.06	c |    104760 |   17791   433992  1014604 | 2147483647   104760    185 |  0.000 % |
153.18/153.39	c |    104860 |   17791   433992  1014604 | 2147483647   104860    185 |  0.000 % |
153.48/153.64	c |    104970 |   17791   433992  1014604 | 2147483647   104970    185 |  0.000 % |
153.79/153.97	c |    105091 |   17791   433992  1014604 | 2147483647   105091    185 |  0.000 % |
154.18/154.34	c |    105225 |   17791   433992  1014604 | 2147483647   105225    185 |  0.000 % |
154.48/154.62	c |    105371 |   17791   433992  1014604 | 2147483647   105371    185 |  0.000 % |
154.78/154.95	c |    105531 |   17791   433992  1014604 | 2147483647   105531    185 |  0.000 % |
155.18/155.33	c |    105707 |   17791   433992  1014604 | 2147483647   105707    185 |  0.000 % |
155.48/155.66	c |    105901 |   17791   433992  1014604 | 2147483647   105901    185 |  0.000 % |
156.08/156.21	c |    106114 |   17791   433992  1014604 | 2147483647   106114    185 |  0.000 % |
156.48/156.69	c |    106347 |   17791   433992  1014604 | 2147483647   106347    185 |  0.000 % |
156.98/157.14	c |    106605 |   17791   433992  1014604 | 2147483647   106605    185 |  0.000 % |
157.58/157.78	c |    106886 |   17791   433992  1014604 | 2147483647   106886    185 |  0.000 % |
158.38/158.50	c |    107195 |   17791   433992  1014604 | 2147483647   107195    185 |  0.000 % |
159.17/159.31	c |    107536 |   17791   433992  1014604 | 2147483647   107536    185 |  0.000 % |
159.87/160.08	c |    107909 |   17791   433992  1014604 | 2147483647   107909    186 |  0.000 % |
160.88/161.03	c |    108318 |   17791   433992  1014604 | 2147483647   108318    186 |  0.000 % |
161.88/162.01	c |    108767 |   17791   433992  1014604 | 2147483647   108767    186 |  0.000 % |
162.97/163.14	c |    109260 |   17791   433992  1014604 | 2147483647   109260    186 |  0.000 % |
164.27/164.46	c |    109802 |   17791   433992  1014604 | 2147483647   109802    186 |  0.000 % |
165.37/165.57	c |    110399 |   17791   433992  1014604 | 2147483647   110399    187 |  0.000 % |
166.67/166.83	c |    111054 |   17791   433992  1014604 | 2147483647   111054    187 |  0.000 % |
167.98/168.17	c |    111774 |   17791   433992  1014604 | 2147483647   111774    187 |  0.000 % |
169.67/169.82	c |    112567 |   17791   433992  1014604 | 2147483647   112567    187 |  0.000 % |
171.77/171.98	c |    113438 |   17791   433992  1014604 | 2147483647   113438    187 |  0.000 % |
173.87/174.02	c |    114396 |   17791   433992  1014604 | 2147483647   114396    188 |  0.000 % |
175.97/176.19	c |    115449 |   17791   433992  1014604 | 2147483647   115449    188 |  0.000 % |
178.37/178.57	c |    116609 |   17791   433992  1014604 | 2147483647   116609    188 |  0.000 % |
181.17/181.35	c |    117882 |   17791   433992  1014604 | 2147483647   117882    187 |  0.000 % |
181.37/181.54	c |    117982 |   17791   433992  1014604 | 2147483647   117982    187 |  0.000 % |
181.57/181.79	c |    118092 |   17791   433992  1014604 | 2147483647   118092    187 |  0.000 % |
181.87/182.07	c |    118213 |   17791   433992  1014604 | 2147483647   118213    187 |  0.000 % |
182.17/182.33	c |    118346 |   17791   433992  1014604 | 2147483647   118346    187 |  0.000 % |
182.37/182.54	c |    118492 |   17791   433992  1014604 | 2147483647   118492    187 |  0.000 % |
182.76/182.91	c |    118653 |   17791   433992  1014604 | 2147483647   118653    187 |  0.000 % |
183.17/183.37	c |    118830 |   17791   433992  1014604 | 2147483647   118830    187 |  0.000 % |
183.77/183.92	c |    119024 |   17791   433992  1014604 | 2147483647   119024    187 |  0.000 % |
184.27/184.41	c |    119236 |   17791   433992  1014604 | 2147483647   119236    187 |  0.000 % |
185.07/185.21	c |    119469 |   17791   433992  1014604 | 2147483647   119469    188 |  0.000 % |
185.57/185.80	c |    119726 |   17791   433992  1014604 | 2147483647   119726    188 |  0.000 % |
186.26/186.48	c |    120010 |   17791   433992  1014604 | 2147483647   120010    188 |  0.000 % |
187.06/187.22	c |    120321 |   17791   433992  1014604 | 2147483647   120321    188 |  0.000 % |
187.76/187.96	c |    120660 |   17791   433992  1014604 | 2147483647   120660    188 |  0.000 % |
188.46/188.67	c |    121034 |   17791   433992  1014604 | 2147483647   121034    188 |  0.000 % |
189.56/189.72	c |    121443 |   17791   433992  1014604 | 2147483647   121443    189 |  0.000 % |
190.56/190.74	c |    121892 |   17791   433992  1014604 | 2147483647   121892    189 |  0.000 % |
191.76/191.94	c |    122385 |   17791   433992  1014604 | 2147483647   122385    189 |  0.000 % |
193.06/193.22	c |    122927 |   17791   433992  1014604 | 2147483647   122927    190 |  0.000 % |
194.06/194.28	c |    123523 |   17791   433992  1014604 | 2147483647   123523    190 |  0.000 % |
195.66/195.87	c |    124178 |   17791   433992  1014604 | 2147483647   124178    190 |  0.000 % |
197.35/197.55	c |    124900 |   17791   433992  1014604 | 2147483647   124900    191 |  0.000 % |
198.87/199.07	c |    125693 |   17791   433992  1014604 | 2147483647   125693    191 |  0.000 % |
200.86/201.05	c |    126564 |   17791   433992  1014604 | 2147483647   126564    191 |  0.000 % |
202.86/203.08	c |    127522 |   17791   433992  1014604 | 2147483647   127522    191 |  0.000 % |
205.56/205.76	c |    128575 |   17791   433992  1014604 | 2147483647   128575    192 |  0.000 % |
207.95/208.12	c |    129736 |   17791   433992  1014604 | 2147483647   129736    193 |  0.000 % |
211.15/211.35	c |    131010 |   17791   433992  1014604 | 2147483647   131010    193 |  0.000 % |
215.05/215.22	c |    132412 |   17791   433992  1014604 | 2147483647   132412    195 |  0.000 % |
215.25/215.43	c |    132512 |   17791   433992  1014604 | 2147483647   132512    195 |  0.000 % |
215.54/215.73	c |    132625 |   17791   433992  1014604 | 2147483647   132625    195 |  0.000 % |
215.84/216.00	c |    132748 |   17791   433992  1014604 | 2147483647   132748    195 |  0.000 % |
216.14/216.34	c |    132881 |   17791   433992  1014604 | 2147483647   132881    195 |  0.000 % |
216.45/216.68	c |    133027 |   17791   433992  1014604 | 2147483647   133027    195 |  0.000 % |
216.84/217.04	c |    133187 |   17791   433992  1014604 | 2147483647   133187    195 |  0.000 % |
216.94/217.16	c |    133363 |   17791   433992  1014604 | 2147483647   133363    195 |  0.000 % |
217.34/217.56	c |    133556 |   17791   433992  1014604 | 2147483647   133556    195 |  0.000 % |
218.04/218.20	c |    133768 |   17791   433992  1014604 | 2147483647   133768    195 |  0.000 % |
218.44/218.68	c |    134001 |   17791   433992  1014604 | 2147483647   134001    195 |  0.000 % |
218.84/219.06	c |    134258 |   17791   433992  1014604 | 2147483647   134258    195 |  0.000 % |
219.35/219.58	c |    134539 |   17791   433992  1014604 | 2147483647   134539    194 |  0.000 % |
219.75/220.00	c |    134849 |   17791   433992  1014604 | 2147483647   134849    194 |  0.000 % |
219.95/220.14	c |    135188 |   17791   433992  1014604 | 2147483647   135188    194 |  0.000 % |
220.85/221.07	c |    135561 |   17791   433992  1014604 | 2147483647   135561    194 |  0.000 % |
221.25/221.41	c |    135971 |   17791   433992  1014604 | 2147483647   135971    194 |  0.000 % |
221.35/221.51	c |    136420 |   17791   433992  1014604 | 2147483647   136420    194 |  0.000 % |
221.45/221.63	c |    136913 |   17791   433992  1014604 | 2147483647   136913    194 |  0.000 % |
221.75/221.99	c |    137456 |   17791   433992  1014604 | 2147483647   137456    194 |  0.000 % |
222.34/222.55	c |    138053 |   17791   433992  1014604 | 2147483647   138053    194 |  0.000 % |
222.64/222.82	c |    138709 |   17791   433992  1014604 | 2147483647   138709    193 |  0.000 % |
223.34/223.55	c |    139433 |   17791   433992  1014604 | 2147483647   139433    193 |  0.000 % |
223.64/223.83	c |    140225 |   17791   433992  1014604 | 2147483647   140225    193 |  0.000 % |
224.04/224.21	c |    141096 |   17791   433992  1014604 | 2147483647   141096    194 |  0.000 % |
225.14/225.35	c |    142054 |   17791   433992  1014604 | 2147483647   142054    195 |  0.000 % |
226.35/226.57	c |    143107 |   17791   433992  1014604 | 2147483647   143107    196 |  0.000 % |
228.34/228.58	c |    144265 |   17791   433992  1014604 | 2147483647   144265    196 |  0.000 % |
229.74/229.94	c |    145538 |   17791   433992  1014604 | 2147483647   145538    196 |  0.000 % |
231.13/231.33	c |    146939 |   17791   433992  1014604 | 2147483647   146939    195 |  0.000 % |
231.74/231.99	c |    148479 |   17791   433992  1014604 | 2147483647   148479    194 |  0.000 % |
231.84/232.06	c |    148581 |   17791   433992  1014604 | 2147483647   148581    194 |  0.000 % |
231.94/232.15	c |    148691 |   17791   433992  1014604 | 2147483647   148691    194 |  0.000 % |
232.04/232.30	c |    148812 |   17791   433992  1014604 | 2147483647   148812    194 |  0.000 % |
232.34/232.57	c |    148945 |   17791   433992  1014604 | 2147483647   148945    194 |  0.000 % |
232.73/232.90	c |    149091 |   17791   433992  1014604 | 2147483647   149091    194 |  0.000 % |
232.93/233.14	c |    149251 |   17791   433992  1014604 | 2147483647   149251    193 |  0.000 % |
233.23/233.41	c |    149429 |   17791   433992  1014604 | 2147483647   149429    193 |  0.000 % |
233.53/233.76	c |    149622 |   17791   433992  1014604 | 2147483647   149622    193 |  0.000 % |
233.83/234.01	c |    149834 |   17791   433992  1014604 | 2147483647   149834    193 |  0.000 % |
234.03/234.25	c |    150068 |   17791   433992  1014604 | 2147483647   150068    193 |  0.000 % |
234.43/234.66	c |    150325 |   17791   433992  1014604 | 2147483647   150325    193 |  0.000 % |
234.53/234.79	c |    150608 |   17791   433992  1014604 | 2147483647   150608    193 |  0.000 % |
234.73/234.92	c |    150917 |   17791   433992  1014604 | 2147483647   150917    193 |  0.000 % |
235.03/235.26	c |    151258 |   17791   433992  1014604 | 2147483647   151258    193 |  0.000 % |
235.23/235.42	c |    151630 |   17791   433992  1014604 | 2147483647   151630    193 |  0.000 % |
236.02/236.23	c |    152039 |   17791   433992  1014604 | 2147483647   152039    193 |  0.000 % |
237.22/237.42	c |    152489 |   17791   433992  1014604 | 2147483647   152489    193 |  0.000 % |
238.33/238.60	c |    152985 |   17791   433992  1014604 | 2147483647   152985    193 |  0.000 % |
239.73/239.93	c |    153529 |   17791   433992  1014604 | 2147483647   153529    193 |  0.000 % |
241.23/241.42	c |    154128 |   17791   433992  1014604 | 2147483647   154128    193 |  0.000 % |
241.92/242.12	c |    154786 |   17791   433992  1014604 | 2147483647   154786    193 |  0.000 % |
243.42/243.61	c |    155507 |   17791   433992  1014604 | 2147483647   155507    194 |  0.000 % |
245.32/245.57	c |    156299 |   17791   433992  1014604 | 2147483647   156299    194 |  0.000 % |
247.72/247.94	c |    157170 |   17791   433992  1014604 | 2147483647   157170    195 |  0.000 % |
250.52/250.76	c |    158131 |   17791   433992  1014604 | 2147483647   158131    195 |  0.000 % |
253.02/253.27	c |    159188 |   17791   433992  1014604 | 2147483647   159188    195 |  0.000 % |
254.62/254.82	c |    160346 |   17791   433992  1014604 | 2147483647   160346    195 |  0.000 % |
258.02/258.28	c |    161620 |   17791   433992  1014604 | 2147483647   161620    196 |  0.000 % |
260.72/260.96	c |    163021 |   17791   433992  1014604 | 2147483647   163021    197 |  0.000 % |
264.71/264.95	c |    164562 |   17791   433992  1014604 | 2147483647   164562    197 |  0.000 % |
269.11/269.31	c |    166256 |   17791   433992  1014604 | 2147483647   166256    198 |  0.000 % |
269.31/269.55	c |    166357 |   17791   433992  1014604 | 2147483647   166357    198 |  0.000 % |
269.51/269.72	c |    166467 |   17791   433992  1014604 | 2147483647   166467    198 |  0.000 % |
269.91/270.14	c |    166588 |   17791   433992  1014604 | 2147483647   166588    198 |  0.000 % |
270.21/270.46	c |    166721 |   17791   433992  1014604 | 2147483647   166721    198 |  0.000 % |
270.61/270.85	c |    166869 |   17791   433992  1014604 | 2147483647   166869    198 |  0.000 % |
271.01/271.22	c |    167029 |   17791   433992  1014604 | 2147483647   167029    198 |  0.000 % |
271.41/271.69	c |    167205 |   17791   433992  1014604 | 2147483647   167205    198 |  0.000 % |
271.91/272.17	c |    167403 |   17791   433992  1014604 | 2147483647   167403    198 |  0.000 % |
272.41/272.66	c |    167615 |   17791   433992  1014604 | 2147483647   167615    198 |  0.000 % |
273.11/273.37	c |    167849 |   17791   433992  1014604 | 2147483647   167849    198 |  0.000 % |
273.61/273.84	c |    168105 |   17791   433992  1014604 | 2147483647   168105    198 |  0.000 % |
274.20/274.46	c |    168389 |   17791   433992  1014604 | 2147483647   168389    198 |  0.000 % |
275.10/275.36	c |    168699 |   17791   433992  1014604 | 2147483647   168699    198 |  0.000 % |
275.91/276.18	c |    169039 |   17791   433992  1014604 | 2147483647   169039    198 |  0.000 % |
277.19/277.49	c |    169412 |   17791   433992  1014604 | 2147483647   169412    198 |  0.000 % |
278.20/278.44	c |    169821 |   17791   433992  1014604 | 2147483647   169821    199 |  0.000 % |
279.30/279.57	c |    170270 |   17791   433992  1014604 | 2147483647   170270    199 |  0.000 % |
280.50/280.74	c |    170765 |   17791   433992  1014604 | 2147483647   170765    199 |  0.000 % |
281.70/281.98	c |    171307 |   17791   433992  1014604 | 2147483647   171307    199 |  0.000 % |
283.00/283.20	c |    171903 |   17791   433992  1014604 | 2147483647   171903    199 |  0.000 % |
284.50/284.79	c |    172558 |   17791   433992  1014604 | 2147483647   172558    199 |  0.000 % |
286.49/286.79	c |    173279 |   17791   433992  1014604 | 2147483647   173279    199 |  0.000 % |
289.00/289.30	c |    174071 |   17791   433992  1014604 | 2147483647   174071    200 |  0.000 % |
290.99/291.24	c |    174942 |   17791   433992  1014604 | 2147483647   174942    200 |  0.000 % |
292.59/292.86	c |    175901 |   17791   433992  1014604 | 2147483647   175901    200 |  0.000 % |
295.59/295.87	c |    176954 |   17791   433992  1014604 | 2147483647   176954    200 |  0.000 % |
299.19/299.46	c |    178113 |   17791   433992  1014604 | 2147483647   178113    201 |  0.000 % |
302.49/302.77	c |    179387 |   17791   433992  1014604 | 2147483647   179387    201 |  0.000 % |
306.70/306.94	c |    180787 |   17791   433992  1014604 | 2147483647   180787    201 |  0.000 % |
311.39/311.60	c |    182327 |   17791   433992  1014604 | 2147483647   182327    202 |  0.000 % |
315.89/316.10	c |    184021 |   17791   433992  1014604 | 2147483647   184021    202 |  0.000 % |
321.58/321.85	c |    185885 |   17791   433992  1014604 | 2147483647   185885    203 |  0.000 % |
321.88/322.13	c |    185985 |   17791   433992  1014604 | 2147483647   185985    203 |  0.000 % |
322.18/322.45	c |    186095 |   17791   433992  1014604 | 2147483647   186095    203 |  0.000 % |
322.58/322.87	c |    186217 |   17791   433992  1014604 | 2147483647   186217    203 |  0.000 % |
322.88/323.18	c |    186351 |   17791   433992  1014604 | 2147483647   186351    203 |  0.000 % |
323.28/323.58	c |    186497 |   17791   433992  1014604 | 2147483647   186497    203 |  0.000 % |
323.68/323.92	c |    186657 |   17791   433992  1014604 | 2147483647   186657    203 |  0.000 % |
324.08/324.34	c |    186833 |   17791   433992  1014604 | 2147483647   186833    203 |  0.000 % |
324.67/324.94	c |    187028 |   17791   433992  1014604 | 2147483647   187028    203 |  0.000 % |
325.17/325.48	c |    187240 |   17791   433992  1014604 | 2147483647   187240    204 |  0.000 % |
325.87/326.13	c |    187474 |   17791   433992  1014604 | 2147483647   187474    203 |  0.000 % |
326.48/326.77	c |    187731 |   17791   433992  1014604 | 2147483647   187731    203 |  0.000 % |
327.17/327.42	c |    188012 |   17791   433992  1014604 | 2147483647   188012    203 |  0.000 % |
327.98/328.20	c |    188323 |   17791   433992  1014604 | 2147483647   188323    203 |  0.000 % |
329.08/329.38	c |    188662 |   17791   433992  1014604 | 2147483647   188662    204 |  0.000 % |
330.18/330.42	c |    189034 |   17791   433992  1014604 | 2147483647   189034    204 |  0.000 % |
331.27/331.57	c |    189443 |   17791   433992  1014604 | 2147483647   189443    204 |  0.000 % |
332.37/332.63	c |    189893 |   17791   433992  1014604 | 2147483647   189893    204 |  0.000 % |
333.57/333.85	c |    190388 |   17791   433992  1014604 | 2147483647   190388    204 |  0.000 % |
335.07/335.36	c |    190930 |   17791   433992  1014604 | 2147483647   190930    204 |  0.000 % |
335.78/336.03	c |    191528 |   17791   433992  1014604 | 2147483647   191528    204 |  0.000 % |
337.48/337.75	c |    192183 |   17791   433992  1014604 | 2147483647   192183    204 |  0.000 % |
339.27/339.57	c |    192904 |   17791   433992  1014604 | 2147483647   192904    204 |  0.000 % |
341.77/342.04	c |    193696 |   17791   433992  1014604 | 2147483647   193696    205 |  0.000 % |
343.97/344.28	c |    194567 |   17791   433992  1014604 | 2147483647   194567    205 |  0.000 % |
346.67/346.96	c |    195525 |   17791   433992  1014604 | 2147483647   195525    206 |  0.000 % |
349.17/349.49	c |    196580 |   17791   433992  1014604 | 2147483647   196580    206 |  0.000 % |
351.66/351.92	c |    197738 |   17791   433992  1014604 | 2147483647   197738    206 |  0.000 % |
355.25/355.54	c |    199012 |   17791   433992  1014604 | 2147483647   199012    206 |  0.000 % |
358.16/358.44	c |    200412 |   17791   433992  1014604 | 2147483647   200412    207 |  0.000 % |
362.05/362.33	c |    201952 |   17791   433992  1014604 | 2147483647   201952    208 |  0.000 % |
365.06/365.32	c |    203646 |   17791   433992  1014604 | 2147483647   203646    208 |  0.000 % |
371.15/371.40	c |    205510 |   17791   433992  1014604 | 2147483647   205510    209 |  0.000 % |
377.05/377.39	c |    207559 |   17791   433992  1014604 | 2147483647   207559    210 |  0.000 % |
377.35/377.62	c |    207659 |   17791   433992  1014604 | 2147483647   207659    210 |  0.000 % |
377.75/378.01	c |    207769 |   17791   433992  1014604 | 2147483647   207769    210 |  0.000 % |
378.05/378.34	c |    207890 |   17791   433992  1014604 | 2147483647   207890    210 |  0.000 % |
378.35/378.67	c |    208023 |   17791   433992  1014604 | 2147483647   208023    210 |  0.000 % |
378.85/379.16	c |    208169 |   17791   433992  1014604 | 2147483647   208169    210 |  0.000 % |
379.25/379.59	c |    208329 |   17791   433992  1014604 | 2147483647   208329    210 |  0.000 % |
379.85/380.12	c |    208505 |   17791   433992  1014604 | 2147483647   208505    210 |  0.000 % |
380.44/380.75	c |    208699 |   17791   433992  1014604 | 2147483647   208699    210 |  0.000 % |
381.24/381.57	c |    208911 |   17791   433992  1014604 | 2147483647   208911    210 |  0.000 % |
381.84/382.17	c |    209145 |   17791   433992  1014604 | 2147483647   209145    210 |  0.000 % |
382.34/382.68	c |    209401 |   17791   433992  1014604 | 2147483647   209401    210 |  0.000 % |
383.04/383.30	c |    209682 |   17791   433992  1014604 | 2147483647   209682    210 |  0.000 % |
383.65/383.96	c |    209991 |   17791   433992  1014604 | 2147483647   209991    210 |  0.000 % |
384.65/384.90	c |    210330 |   17791   433992  1014604 | 2147483647   210330    210 |  0.000 % |
385.65/385.94	c |    210703 |   17791   433992  1014604 | 2147483647   210703    210 |  0.000 % |
386.65/386.97	c |    211112 |   17791   433992  1014604 | 2147483647   211112    210 |  0.000 % |
388.14/388.45	c |    211561 |   17791   433992  1014604 | 2147483647   211561    211 |  0.000 % |
389.34/389.61	c |    212054 |   17791   433992  1014604 | 2147483647   212054    211 |  0.000 % |
390.74/391.10	c |    212596 |   17791   433992  1014604 | 2147483647   212596    211 |  0.000 % |
392.64/392.98	c |    213192 |   17791   433992  1014604 | 2147483647   213192    211 |  0.000 % |
394.64/394.93	c |    213847 |   17791   433992  1014604 | 2147483647   213847    211 |  0.000 % |
396.53/396.86	c |    214569 |   17791   433992  1014604 | 2147483647   214569    211 |  0.000 % |
398.44/398.76	c |    215361 |   17791   433992  1014604 | 2147483647   215361    212 |  0.000 % |
401.14/401.46	c |    216232 |   17791   433992  1014604 | 2147483647   216232    212 |  0.000 % |
403.84/404.18	c |    217190 |   17791   433992  1014604 | 2147483647   217190    212 |  0.000 % |
406.73/407.03	c |    218243 |   17791   433992  1014604 | 2147483647   218243    212 |  0.000 % |
408.53/408.81	c |    219403 |   17791   433992  1014604 | 2147483647   219403    213 |  0.000 % |
411.04/411.38	c |    220679 |   17791   433992  1014604 | 2147483647   220679    212 |  0.000 % |
414.52/414.84	c |    222079 |   17791   433992  1014604 | 2147483647   222079    212 |  0.000 % |
419.02/419.34	c |    223619 |   17791   433992  1014604 | 2147483647   223619    213 |  0.000 % |
424.23/424.58	c |    225315 |   17791   433992  1014604 | 2147483647   225315    213 |  0.000 % |
427.32/427.67	c |    227179 |   17791   433992  1014604 | 2147483647   227179    213 |  0.000 % |
434.22/434.56	c |    229228 |   17791   433992  1014604 | 2147483647   229228    214 |  0.000 % |
439.22/439.53	c |    231481 |   17791   433992  1014604 | 2147483647   231481    214 |  0.000 % |
439.42/439.77	c |    231584 |   17791   433992  1014604 | 2147483647   231584    215 |  0.000 % |
439.82/440.18	c |    231695 |   17791   433992  1014604 | 2147483647   231695    214 |  0.000 % |
440.32/440.62	c |    231816 |   17791   433992  1014604 | 2147483647   231816    215 |  0.000 % |
440.82/441.12	c |    231949 |   17791   433992  1014604 | 2147483647   231949    215 |  0.000 % |
441.22/441.58	c |    232097 |   17791   433992  1014604 | 2147483647   232097    215 |  0.000 % |
441.82/442.14	c |    232259 |   17791   433992  1014604 | 2147483647   232259    215 |  0.000 % |
442.41/442.71	c |    232436 |   17791   433992  1014604 | 2147483647   232436    215 |  0.000 % |
442.92/443.25	c |    232629 |   17791   433992  1014604 | 2147483647   232629    215 |  0.000 % |
443.61/443.91	c |    232842 |   17791   433992  1014604 | 2147483647   232842    215 |  0.000 % |
444.31/444.69	c |    233076 |   17791   433992  1014604 | 2147483647   233076    215 |  0.000 % |
445.21/445.57	c |    233332 |   17791   433992  1014604 | 2147483647   233332    215 |  0.000 % |
446.11/446.40	c |    233613 |   17791   433992  1014604 | 2147483647   233613    215 |  0.000 % |
446.91/447.28	c |    233922 |   17791   433992  1014604 | 2147483647   233922    215 |  0.000 % |
447.81/448.15	c |    234261 |   17791   433992  1014604 | 2147483647   234261    215 |  0.000 % |
449.01/449.35	c |    234635 |   17791   433992  1014604 | 2147483647   234635    215 |  0.000 % |
450.21/450.52	c |    235044 |   17791   433992  1014604 | 2147483647   235044    215 |  0.000 % |
451.21/451.54	c |    235494 |   17791   433992  1014604 | 2147483647   235494    215 |  0.000 % |
452.71/453.09	c |    235987 |   17791   433992  1014604 | 2147483647   235987    215 |  0.000 % |
454.41/454.71	c |    236529 |   17791   433992  1014604 | 2147483647   236529    215 |  0.000 % |
456.20/456.51	c |    237125 |   17791   433992  1014604 | 2147483647   237125    215 |  0.000 % |
457.99/458.37	c |    237781 |   17791   433992  1014604 | 2147483647   237781    215 |  0.000 % |
460.19/460.54	c |    238501 |   17791   433992  1014604 | 2147483647   238501    215 |  0.000 % |
462.50/462.87	c |    239293 |   17791   433992  1014604 | 2147483647   239293    215 |  0.000 % |
464.79/465.19	c |    240164 |   17791   433992  1014604 | 2147483647   240164    215 |  0.000 % |
465.89/466.22	c |    241122 |   17791   433992  1014604 | 2147483647   241122    215 |  0.000 % |
468.69/469.06	c |    242176 |   17791   433992  1014604 | 2147483647   242176    216 |  0.000 % |
471.29/471.65	c |    243335 |   17791   433992  1014604 | 2147483647   243335    216 |  0.000 % |
475.99/476.31	c |    244612 |   17791   433992  1014604 | 2147483647   244612    216 |  0.000 % |
478.09/478.48	c |    246014 |   17791   433992  1014604 | 2147483647   246014    216 |  0.000 % |
482.39/482.71	c |    247554 |   17791   433992  1014604 | 2147483647   247554    217 |  0.000 % |
483.89/484.28	c |    249248 |   17791   433992  1014604 | 2147483647   249248    216 |  0.000 % |
484.69/485.05	c |    251114 |   17791   433992  1014604 | 2147483647   251114    216 |  0.000 % |
488.98/489.40	c |    253163 |   17791   433992  1014604 | 2147483647   253163    217 |  0.000 % |
489.58/489.92	c |    255417 |   17791   433992  1014604 | 2147483647   255417    216 |  0.000 % |
496.08/496.48	c |    257895 |   17791   433992  1014604 | 2147483647   257895    217 |  0.000 % |
496.48/496.85	c |    257995 |   17791   433992  1014604 | 2147483647   257995    217 |  0.000 % |
496.88/497.21	c |    258105 |   17791   433992  1014604 | 2147483647   258105    217 |  0.000 % |
497.18/497.54	c |    258226 |   17791   433992  1014604 | 2147483647   258226    217 |  0.000 % |
497.58/497.96	c |    258359 |   17791   433992  1014604 | 2147483647   258359    217 |  0.000 % |
498.08/498.43	c |    258505 |   17791   433992  1014604 | 2147483647   258505    217 |  0.000 % |
498.78/499.14	c |    258666 |   17791   433992  1014604 | 2147483647   258666    217 |  0.000 % |
499.18/499.54	c |    258847 |   17791   433992  1014604 | 2147483647   258847    217 |  0.000 % |
499.78/500.19	c |    259043 |   17791   433992  1014604 | 2147483647   259043    217 |  0.000 % |
500.68/501.01	c |    259255 |   17791   433992  1014604 | 2147483647   259255    217 |  0.000 % |
501.37/501.76	c |    259489 |   17791   433992  1014604 | 2147483647   259489    217 |  0.000 % |
502.07/502.40	c |    259746 |   17791   433992  1014604 | 2147483647   259746    217 |  0.000 % |
502.97/503.32	c |    260027 |   17791   433992  1014604 | 2147483647   260027    217 |  0.000 % |
503.87/504.25	c |    260336 |   17791   433992  1014604 | 2147483647   260336    217 |  0.000 % |
505.27/505.69	c |    260676 |   17791   433992  1014604 | 2147483647   260676    217 |  0.000 % |
506.37/506.79	c |    261048 |   17791   433992  1014604 | 2147483647   261048    217 |  0.000 % |
507.57/507.94	c |    261458 |   17791   433992  1014604 | 2147483647   261458    217 |  0.000 % |
508.67/509.02	c |    261908 |   17791   433992  1014604 | 2147483647   261908    217 |  0.000 % |
509.57/510.00	c |    262402 |   17791   433992  1014604 | 2147483647   262402    217 |  0.000 % |
511.17/511.54	c |    262944 |   17791   433992  1014604 | 2147483647   262944    217 |  0.000 % |
512.06/512.47	c |    263541 |   17791   433992  1014604 | 2147483647   263541    217 |  0.000 % |
514.26/514.64	c |    264199 |   17791   433992  1014604 | 2147483647   264199    217 |  0.000 % |
516.47/516.90	c |    264920 |   17791   433992  1014604 | 2147483647   264920    217 |  0.000 % |
519.47/519.88	c |    265712 |   17791   433992  1014604 | 2147483647   265712    217 |  0.000 % |
522.66/523.02	c |    266583 |   17791   433992  1014604 | 2147483647   266583    218 |  0.000 % |
525.96/526.36	c |    267542 |   17791   433992  1014604 | 2147483647   267542    218 |  0.000 % |
530.05/530.44	c |    268595 |   17791   433992  1014604 | 2147483647   268595    219 |  0.000 % |
533.76/534.16	c |    269755 |   17791   433992  1014604 | 2147483647   269755    220 |  0.000 % |
535.96/536.34	c |    271028 |   17791   433992  1014604 | 2147483647   271028    220 |  0.000 % |
540.15/540.50	c |    272428 |   17791   433992  1014604 | 2147483647   272428    220 |  0.000 % |
545.05/545.42	c |    273968 |   17791   433992  1014604 | 2147483647   273968    221 |  0.000 % |
550.35/550.72	c |    275664 |   17791   433992  1014604 | 2147483647   275664    221 |  0.000 % |
556.85/557.25	c |    277528 |   17791   433992  1014604 | 2147483647   277528    222 |  0.000 % |
562.95/563.32	c |    279581 |   17791   433992  1014604 | 2147483647   279581    223 |  0.000 % |
571.24/571.66	c |    281834 |   17791   433992  1014604 | 2147483647   281834    224 |  0.000 % |
577.14/577.58	c |    284312 |   17791   433992  1014604 | 2147483647   284312    224 |  0.000 % |
586.34/586.75	c |    287037 |   17791   433992  1014604 | 2147483647   287037    225 |  0.000 % |
586.74/587.10	c |    287137 |   17791   433992  1014604 | 2147483647   287137    225 |  0.000 % |
587.14/587.52	c |    287250 |   17791   433992  1014604 | 2147483647   287250    225 |  0.000 % |
587.44/587.86	c |    287372 |   17791   433992  1014604 | 2147483647   287372    225 |  0.000 % |
587.94/588.31	c |    287505 |   17791   433992  1014604 | 2147483647   287505    225 |  0.000 % |
588.34/588.78	c |    287651 |   17791   433992  1014604 | 2147483647   287651    225 |  0.000 % |
588.84/589.22	c |    287812 |   17791   433992  1014604 | 2147483647   287812    224 |  0.000 % |
589.44/589.81	c |    287988 |   17791   433992  1014604 | 2147483647   287988    225 |  0.000 % |
590.14/590.50	c |    288183 |   17791   433992  1014604 | 2147483647   288183    225 |  0.000 % |
590.93/591.31	c |    288396 |   17791   433992  1014604 | 2147483647   288396    225 |  0.000 % |
591.83/592.23	c |    288629 |   17791   433992  1014604 | 2147483647   288629    225 |  0.000 % |
592.72/593.10	c |    288886 |   17791   433992  1014604 | 2147483647   288886    225 |  0.000 % |
593.52/593.96	c |    289167 |   17791   433992  1014604 | 2147483647   289167    224 |  0.000 % |
594.42/594.88	c |    289477 |   17791   433992  1014604 | 2147483647   289477    224 |  0.000 % |
595.62/596.01	c |    289816 |   17791   433992  1014604 | 2147483647   289816    225 |  0.000 % |
596.52/596.98	c |    290188 |   17791   433992  1014604 | 2147483647   290188    224 |  0.000 % |
597.62/598.03	c |    290601 |   17791   433992  1014604 | 2147483647   290601    224 |  0.000 % |
598.72/599.11	c |    291050 |   17791   433992  1014604 | 2147483647   291050    224 |  0.000 % |
600.22/600.65	c |    291543 |   17791   433992  1014604 | 2147483647   291543    224 |  0.000 % |
601.71/602.15	c |    292085 |   17791   433992  1014604 | 2147483647   292085    224 |  0.000 % |
604.31/604.74	c |    292681 |   17791   433992  1014604 | 2147483647   292681    225 |  0.000 % |
606.21/606.66	c |    293338 |   17791   433992  1014604 | 2147483647   293338    225 |  0.000 % |
608.01/608.43	c |    294060 |   17791   433992  1014604 | 2147483647   294060    225 |  0.000 % |
611.21/611.64	c |    294853 |   17791   433992  1014604 | 2147483647   294853    225 |  0.000 % |
612.81/613.23	c |    295724 |   17791   433992  1014604 | 2147483647   295724    225 |  0.000 % |
615.70/616.17	c |    296682 |   17791   433992  1014604 | 2147483647   296682    225 |  0.000 % |
618.61/619.02	c |    297735 |   17791   433992  1014604 | 2147483647   297735    225 |  0.000 % |
619.61/620.02	c |    298894 |   17791   433992  1014604 | 2147483647   298894    225 |  0.000 % |
623.31/623.78	c |    300167 |   17791   433992  1014604 | 2147483647   300167    225 |  0.000 % |
628.20/628.67	c |    301567 |   17791   433992  1014604 | 2147483647   301567    226 |  0.000 % |
633.10/633.53	c |    303108 |   17791   433992  1014604 | 2147483647   303108    226 |  0.000 % |
638.39/638.89	c |    304802 |   17791   433992  1014604 | 2147483647   304802    226 |  0.000 % |
643.89/644.39	c |    306665 |   17791   433992  1014604 | 2147483647   306665    225 |  0.000 % |
649.89/650.39	c |    308715 |   17791   433992  1014604 | 2147483647   308715    226 |  0.000 % |
658.49/658.93	c |    310969 |   17791   433992  1014604 | 2147483647   310969    226 |  0.000 % |
666.39/666.83	c |    313448 |   17791   433992  1014604 | 2147483647   313448    226 |  0.000 % |
675.18/675.63	c |    316174 |   17791   433992  1014604 | 2147483647   316174    227 |  0.000 % |
685.57/686.08	c |    319171 |   17791   433992  1014604 | 2147483647   319171    227 |  0.000 % |
686.07/686.54	c |    319273 |   17791   433992  1014604 | 2147483647   319273    227 |  0.000 % |
686.57/687.02	c |    319385 |   17791   433992  1014604 | 2147483647   319385    227 |  0.000 % |
686.97/687.49	c |    319506 |   17791   433992  1014604 | 2147483647   319506    227 |  0.000 % |
687.67/688.12	c |    319640 |   17791   433992  1014604 | 2147483647   319640    227 |  0.000 % |
688.17/688.70	c |    319786 |   17791   433992  1014604 | 2147483647   319786    227 |  0.000 % |
688.77/689.23	c |    319946 |   17791   433992  1014604 | 2147483647   319946    227 |  0.000 % |
689.27/689.76	c |    320122 |   17791   433992  1014604 | 2147483647   320122    227 |  0.000 % |
689.87/690.31	c |    320315 |   17791   433992  1014604 | 2147483647   320315    227 |  0.000 % |
689.97/690.46	c |    320527 |   17791   433992  1014604 | 2147483647   320527    227 |  0.000 % |
690.87/691.35	c |    320760 |   17791   433992  1014604 | 2147483647   320760    227 |  0.000 % |
691.87/692.38	c |    321016 |   17791   433992  1014604 | 2147483647   321016    227 |  0.000 % |
692.87/693.38	c |    321297 |   17791   433992  1014604 | 2147483647   321297    227 |  0.000 % |
693.87/694.40	c |    321609 |   17791   433992  1014604 | 2147483647   321609    227 |  0.000 % |
695.16/695.63	c |    321949 |   17791   433992  1014604 | 2147483647   321949    227 |  0.000 % |
696.56/697.07	c |    322322 |   17791   433992  1014604 | 2147483647   322322    227 |  0.000 % |
696.97/697.43	c |    322731 |   17791   433992  1014604 | 2147483647   322731    227 |  0.000 % |
697.86/698.35	c |    323180 |   17791   433992  1014604 | 2147483647   323180    227 |  0.000 % |
699.07/699.52	c |    323673 |   17791   433992  1014604 | 2147483647   323673    227 |  0.000 % |
699.87/700.39	c |    324216 |   17791   433992  1014604 | 2147483647   324216    228 |  0.000 % |
701.57/702.03	c |    324812 |   17791   433992  1014604 | 2147483647   324812    227 |  0.000 % |
703.46/703.93	c |    325467 |   17791   433992  1014604 | 2147483647   325467    227 |  0.000 % |
705.96/706.48	c |    326188 |   17791   433992  1014604 | 2147483647   326188    227 |  0.000 % |
707.87/708.39	c |    326980 |   17791   433992  1014604 | 2147483647   326980    227 |  0.000 % |
711.35/711.82	c |    327854 |   17791   433992  1014604 | 2147483647   327854    228 |  0.000 % |
714.66/715.14	c |    328812 |   17791   433992  1014604 | 2147483647   328812    228 |  0.000 % |
718.45/718.90	c |    329867 |   17791   433992  1014604 | 2147483647   329867    228 |  0.000 % |
722.56/723.08	c |    331026 |   17791   433992  1014604 | 2147483647   331026    229 |  0.000 % |
727.75/728.28	c |    332301 |   17791   433992  1014604 | 2147483647   332301    229 |  0.000 % |
731.95/732.41	c |    333701 |   17791   433992  1014604 | 2147483647   333701    229 |  0.000 % |
737.04/737.50	c |    335241 |   17791   433992  1014604 | 2147483647   335241    229 |  0.000 % |
742.84/743.38	c |    336935 |   17791   433992  1014604 | 2147483647   336935    229 |  0.000 % |
750.24/750.70	c |    338800 |   17791   433992  1014604 | 2147483647   338800    230 |  0.000 % |
756.93/757.47	c |    340851 |   17791   433992  1014604 | 2147483647   340851    230 |  0.000 % |
763.03/763.60	c |    343104 |   17791   433992  1014604 | 2147483647   343104    230 |  0.000 % |
770.22/770.77	c |    345583 |   17791   433992  1014604 | 2147483647   345583    230 |  0.000 % |
775.72/776.25	c |    348309 |   17791   433992  1014604 | 2147483647   348309    231 |  0.000 % |
784.32/784.89	c |    351308 |   17791   433992  1014604 | 2147483647   351308    231 |  0.000 % |
794.72/795.29	c |    354605 |   17791   433992  1014604 | 2147483647   354605    231 |  0.000 % |
795.11/795.68	c |    354706 |   17791   433992  1014604 | 2147483647   354706    231 |  0.000 % |
795.61/796.16	c |    354816 |   17791   433992  1014604 | 2147483647   354816    231 |  0.000 % |
796.11/796.63	c |    354938 |   17791   433992  1014604 | 2147483647   354938    231 |  0.000 % |
796.41/796.90	c |    355073 |   17791   433992  1014604 | 2147483647   355073    231 |  0.000 % |
797.01/797.56	c |    355224 |   17791   433992  1014604 | 2147483647   355224    231 |  0.000 % |
797.61/798.10	c |    355384 |   17791   433992  1014604 | 2147483647   355384    231 |  0.000 % |
798.41/798.92	c |    355560 |   17791   433992  1014604 | 2147483647   355560    231 |  0.000 % |
799.21/799.70	c |    355756 |   17791   433992  1014604 | 2147483647   355756    231 |  0.000 % |
800.01/800.51	c |    355968 |   17791   433992  1014604 | 2147483647   355968    231 |  0.000 % |
800.71/801.21	c |    356201 |   17791   433992  1014604 | 2147483647   356201    231 |  0.000 % |
801.41/801.90	c |    356458 |   17791   433992  1014604 | 2147483647   356458    231 |  0.000 % |
802.01/802.50	c |    356740 |   17791   433992  1014604 | 2147483647   356740    232 |  0.000 % |
803.31/803.87	c |    357051 |   17791   433992  1014604 | 2147483647   357051    232 |  0.000 % |
804.91/805.43	c |    357390 |   17791   433992  1014604 | 2147483647   357390    232 |  0.000 % |
806.11/806.65	c |    357762 |   17791   433992  1014604 | 2147483647   357762    232 |  0.000 % |
807.51/808.02	c |    358173 |   17791   433992  1014604 | 2147483647   358173    232 |  0.000 % |
809.11/809.66	c |    358622 |   17791   433992  1014604 | 2147483647   358622    232 |  0.000 % |
811.00/811.58	c |    359121 |   17791   433992  1014604 | 2147483647   359121    232 |  0.000 % |
812.00/812.54	c |    359663 |   17791   433992  1014604 | 2147483647   359663    232 |  0.000 % |
814.00/814.60	c |    360260 |   17791   433992  1014604 | 2147483647   360260    232 |  0.000 % |
814.80/815.32	c |    360917 |   17791   433992  1014604 | 2147483647   360917    232 |  0.000 % |
815.00/815.54	c |    361637 |   17791   433992  1014604 | 2147483647   361637    231 |  0.000 % |
815.30/815.87	c |    362430 |   17791   433992  1014604 | 2147483647   362430    231 |  0.000 % |
815.90/816.48	c |    363303 |   17791   433992  1014604 | 2147483647   363303    231 |  0.000 % |
816.90/817.43	c |    364261 |   17791   433992  1014604 | 2147483647   364261    231 |  0.000 % |
819.09/819.69	c |    365316 |   17791   433992  1014604 | 2147483647   365316    231 |  0.000 % |
820.89/821.45	c |    366474 |   17791   433992  1014604 | 2147483647   366474    231 |  0.000 % |
821.89/822.42	c |    367748 |   17791   433992  1014604 | 2147483647   367748    230 |  0.000 % |
825.40/825.97	c |    369152 |   17791   433992  1014604 | 2147483647   369152    231 |  0.000 % |
826.00/826.53	c |    370692 |   17791   433992  1014604 | 2147483647   370692    231 |  0.000 % |
832.19/832.75	c |    372390 |   17791   433992  1014604 | 2147483647   372390    231 |  0.000 % |
834.18/834.79	c |    374254 |   17791   433992  1014604 | 2147483647   374254    230 |  0.000 % |
835.19/835.78	c |    376305 |   17791   433992  1014604 | 2147483647   376305    230 |  0.000 % |
836.29/836.89	c |    378559 |   17791   433992  1014604 | 2147483647   378559    230 |  0.000 % |
841.59/842.12	c |    381037 |   17791   433992  1014604 | 2147483647   381037    230 |  0.000 % |
844.48/845.07	c |    383764 |   17791   433992  1014604 | 2147483647   383764    230 |  0.000 % |
849.58/850.10	c |    386761 |   17791   433992  1014604 | 2147483647   386761    230 |  0.000 % |
856.78/857.31	c |    390057 |   17791   433992  1014604 | 2147483647   390057    229 |  0.000 % |
859.98/860.54	c |    393683 |   17791   433992  1014604 | 2147483647   393683    228 |  0.000 % |
860.18/860.75	c |    393784 |   17791   433992  1014604 | 2147483647   393784    228 |  0.000 % |
860.58/861.17	c |    393894 |   17791   433992  1014604 | 2147483647   393894    228 |  0.000 % |
860.98/861.52	c |    394015 |   17791   433992  1014604 | 2147483647   394015    228 |  0.000 % |
861.48/862.04	c |    394149 |   17791   433992  1014604 | 2147483647   394149    228 |  0.000 % |
861.58/862.16	c |    394296 |   17791   433992  1014604 | 2147483647   394296    228 |  0.000 % |
861.68/862.29	c |    394459 |   17791   433992  1014604 | 2147483647   394459    228 |  0.000 % |
861.88/862.43	c |    394636 |   17791   433992  1014604 | 2147483647   394636    228 |  0.000 % |
861.97/862.56	c |    394829 |   17791   433992  1014604 | 2147483647   394829    228 |  0.000 % |
862.17/862.72	c |    395042 |   17791   433992  1014604 | 2147483647   395042    228 |  0.000 % |
862.77/863.37	c |    395275 |   17791   433992  1014604 | 2147483647   395275    228 |  0.000 % |
863.47/864.01	c |    395535 |   17791   433992  1014604 | 2147483647   395535    228 |  0.000 % |
864.28/864.84	c |    395816 |   17791   433992  1014604 | 2147483647   395816    228 |  0.000 % |
865.27/865.84	c |    396126 |   17791   433992  1014604 | 2147483647   396126    228 |  0.000 % |
866.18/866.79	c |    396465 |   17791   433992  1014604 | 2147483647   396465    228 |  0.000 % |
866.28/866.90	c |    396838 |   17791   433992  1014604 | 2147483647   396838    228 |  0.000 % |
866.47/867.02	c |    397249 |   17791   433992  1014604 | 2147483647   397249    228 |  0.000 % |
867.87/868.49	c |    397698 |   17791   433992  1014604 | 2147483647   397698    228 |  0.000 % |
869.17/869.71	c |    398191 |   17791   433992  1014604 | 2147483647   398191    228 |  0.000 % |
869.57/870.19	c |    398734 |   17791   433992  1014604 | 2147483647   398734    228 |  0.000 % |
869.97/870.56	c |    399330 |   17791   433992  1014604 | 2147483647   399330    227 |  0.000 % |
870.57/871.13	c |    399985 |   17791   433992  1014604 | 2147483647   399985    227 |  0.000 % |
871.86/872.46	c |    400706 |   17791   433992  1014604 | 2147483647   400706    227 |  0.000 % |
873.27/873.86	c |    401498 |   17791   433992  1014604 | 2147483647   401498    227 |  0.000 % |
876.87/877.48	c |    402369 |   17791   433992  1014604 | 2147483647   402369    227 |  0.000 % |
880.47/881.05	c |    403327 |   17791   433992  1014604 | 2147483647   403327    227 |  0.000 % |
884.16/884.75	c |    404381 |   17791   433992  1014604 | 2147483647   404381    227 |  0.000 % |
887.66/888.22	c |    405540 |   17791   433992  1014604 | 2147483647   405540    227 |  0.000 % |
892.96/893.57	c |    406813 |   17791   433992  1014604 | 2147483647   406813    227 |  0.000 % |
899.26/899.85	c |    408215 |   17791   433992  1014604 | 2147483647   408215    228 |  0.000 % |
905.35/905.95	c |    409755 |   17791   433992  1014604 | 2147483647   409755    228 |  0.000 % |
912.85/913.42	c |    411451 |   17791   433992  1014604 | 2147483647   411451    228 |  0.000 % |
916.94/917.54	c |    413315 |   17791   433992  1014604 | 2147483647   413315    228 |  0.000 % |
924.64/925.28	c |    415367 |   17791   433992  1014604 | 2147483647   415367    228 |  0.000 % |
934.74/935.35	c |    417621 |   17791   433992  1014604 | 2147483647   417621    228 |  0.000 % |
943.14/943.76	c |    420100 |   17791   433992  1014604 | 2147483647   420100    229 |  0.000 % |
952.23/952.86	c |    422826 |   17791   433992  1014604 | 2147483647   422826    229 |  0.000 % |
962.82/963.43	c |    425825 |   17791   433992  1014604 | 2147483647   425825    229 |  0.000 % |
974.21/974.86	c |    429122 |   17791   433992  1014604 | 2147483647   429122    229 |  0.000 % |
988.22/988.90	c |    432750 |   17791   433992  1014604 | 2147483647   432750    230 |  0.000 % |
1002.50/1003.19	c |    436737 |   17791   433992  1014604 | 2147483647   436737    231 |  0.000 % |
1003.00/1003.64	c |    436837 |   17791   433992  1014604 | 2147483647   436837    231 |  0.000 % |
1003.50/1004.11	c |    436950 |   17791   433992  1014604 | 2147483647   436950    231 |  0.000 % |
1004.10/1004.73	c |    437071 |   17791   433992  1014604 | 2147483647   437071    231 |  0.000 % |
1004.90/1005.55	c |    437204 |   17791   433992  1014604 | 2147483647   437204    231 |  0.000 % |
1005.60/1006.28	c |    437350 |   17791   433992  1014604 | 2147483647   437350    231 |  0.000 % |
1006.30/1006.98	c |    437510 |   17791   433992  1014604 | 2147483647   437510    231 |  0.000 % |
1007.00/1007.62	c |    437687 |   17791   433992  1014604 | 2147483647   437687    231 |  0.000 % |
1007.79/1008.49	c |    437882 |   17791   433992  1014604 | 2147483647   437882    231 |  0.000 % |
1008.79/1009.42	c |    438094 |   17791   433992  1014604 | 2147483647   438094    230 |  0.000 % |
1009.59/1010.27	c |    438327 |   17791   433992  1014604 | 2147483647   438327    230 |  0.000 % |
1010.50/1011.14	c |    438583 |   17791   433992  1014604 | 2147483647   438583    230 |  0.000 % |
1011.80/1012.45	c |    438865 |   17791   433992  1014604 | 2147483647   438865    230 |  0.000 % |
1012.80/1013.42	c |    439174 |   17791   433992  1014604 | 2147483647   439174    230 |  0.000 % |
1013.99/1014.67	c |    439514 |   17791   433992  1014604 | 2147483647   439514    230 |  0.000 % |
1015.79/1016.47	c |    439886 |   17791   433992  1014604 | 2147483647   439886    230 |  0.000 % |
1016.59/1017.25	c |    440296 |   17791   433992  1014604 | 2147483647   440296    230 |  0.000 % |
1018.89/1019.57	c |    440745 |   17791   433992  1014604 | 2147483647   440745    231 |  0.000 % |
1020.99/1021.67	c |    441239 |   17791   433992  1014604 | 2147483647   441239    231 |  0.000 % |
1022.88/1023.58	c |    441781 |   17791   433992  1014604 | 2147483647   441781    231 |  0.000 % |
1025.39/1026.03	c |    442377 |   17791   433992  1014604 | 2147483647   442377    231 |  0.000 % |
1027.39/1028.01	c |    443032 |   17791   433992  1014604 | 2147483647   443032    231 |  0.000 % |
1030.68/1031.39	c |    443752 |   17791   433992  1014604 | 2147483647   443752    231 |  0.000 % |
1033.68/1034.32	c |    444544 |   17791   433992  1014604 | 2147483647   444544    231 |  0.000 % |
1036.37/1037.07	c |    445415 |   17791   433992  1014604 | 2147483647   445415    231 |  0.000 % |
1039.18/1039.88	c |    446373 |   17791   433992  1014604 | 2147483647   446373    231 |  0.000 % |
1039.48/1040.10	c |    447427 |   17791   433992  1014604 | 2147483647   447427    231 |  0.000 % |
1039.78/1040.46	c |    448587 |   17791   433992  1014604 | 2147483647   448587    231 |  0.000 % |
1043.77/1044.42	c |    449862 |   17791   433992  1014604 | 2147483647   449862    231 |  0.000 % |
1047.58/1048.25	c |    451265 |   17791   433992  1014604 | 2147483647   451265    231 |  0.000 % |
1048.97/1049.62	c |    452806 |   17791   433992  1014604 | 2147483647   452806    231 |  0.000 % |
1049.57/1050.22	c |    454502 |   17791   433992  1014604 | 2147483647   454502    231 |  0.000 % |
1051.07/1051.73	c |    456366 |   17791   433992  1014604 | 2147483647   456366    231 |  0.000 % |
1057.06/1057.74	c |    458415 |   17791   433992  1014604 | 2147483647   458415    231 |  0.000 % |
1064.27/1064.98	c |    460668 |   17791   433992  1014604 | 2147483647   460668    231 |  0.000 % |
1066.86/1067.55	c |    463146 |   17791   433992  1014604 | 2147483647   463146    232 |  0.000 % |
1069.36/1070.07	c |    465871 |   17791   433992  1014604 | 2147483647   465871    232 |  0.000 % |
1077.06/1077.72	c |    468868 |   17791   433992  1014604 | 2147483647   468868    232 |  0.000 % |
1089.85/1090.51	c |    472165 |   17791   433992  1014604 | 2147483647   472165    231 |  0.000 % |
1101.45/1102.16	c |    475790 |   17791   433992  1014604 | 2147483647   475790    232 |  0.000 % |
1115.64/1116.31	c |    479781 |   17791   433992  1014604 | 2147483647   479781    232 |  0.000 % |
1126.44/1127.12	c |    484166 |   17791   433992  1014604 | 2147483647   484166    233 |  0.000 % |
1126.74/1127.48	c |    484269 |   17791   433992  1014604 | 2147483647   484269    233 |  0.000 % |
1127.24/1127.97	c |    484382 |   17791   433992  1014604 | 2147483647   484382    233 |  0.000 % |
1127.84/1128.58	c |    484503 |   17791   433992  1014604 | 2147483647   484503    233 |  0.000 % |
1128.64/1129.34	c |    484639 |   17791   433992  1014604 | 2147483647   484639    233 |  0.000 % |
1128.84/1129.52	c |    484785 |   17791   433992  1014604 | 2147483647   484785    232 |  0.000 % |
1129.13/1129.82	c |    484945 |   17791   433992  1014604 | 2147483647   484945    232 |  0.000 % |
1129.73/1130.47	c |    485123 |   17791   433992  1014604 | 2147483647   485123    232 |  0.000 % |
1130.04/1130.78	c |    485318 |   17791   433992  1014604 | 2147483647   485318    232 |  0.000 % |
1131.03/1131.76	c |    485530 |   17791   433992  1014604 | 2147483647   485530    232 |  0.000 % |
1132.22/1132.97	c |    485763 |   17791   433992  1014604 | 2147483647   485763    232 |  0.000 % |
1133.22/1133.99	c |    486019 |   17791   433992  1014604 | 2147483647   486019    232 |  0.000 % |
1134.53/1135.23	c |    486300 |   17791   433992  1014604 | 2147483647   486300    232 |  0.000 % |
1135.83/1136.58	c |    486609 |   17791   433992  1014604 | 2147483647   486609    232 |  0.000 % |
1137.52/1138.26	c |    486948 |   17791   433992  1014604 | 2147483647   486948    232 |  0.000 % |
1139.22/1139.96	c |    487321 |   17791   433992  1014604 | 2147483647   487321    232 |  0.000 % |
1140.72/1141.40	c |    487730 |   17791   433992  1014604 | 2147483647   487730    232 |  0.000 % |
1143.02/1143.77	c |    488180 |   17791   433992  1014604 | 2147483647   488180    232 |  0.000 % |
1144.72/1145.49	c |    488673 |   17791   433992  1014604 | 2147483647   488673    232 |  0.000 % |
1147.22/1147.98	c |    489216 |   17791   433992  1014604 | 2147483647   489216    232 |  0.000 % |
1151.02/1151.72	c |    489814 |   17791   433992  1014604 | 2147483647   489814    232 |  0.000 % |
1153.72/1154.45	c |    490470 |   17791   433992  1014604 | 2147483647   490470    232 |  0.000 % |
1157.01/1157.71	c |    491191 |   17791   433992  1014604 | 2147483647   491191    233 |  0.000 % |
1160.31/1161.00	c |    491985 |   17791   433992  1014604 | 2147483647   491985    233 |  0.000 % |
1164.12/1164.89	c |    492859 |   17791   433992  1014604 | 2147483647   492859    233 |  0.000 % |
1168.21/1168.93	c |    493821 |   17791   433992  1014604 | 2147483647   493821    233 |  0.000 % |
1172.50/1173.25	c |    494876 |   17791   433992  1014604 | 2147483647   494876    233 |  0.000 % |
1177.41/1178.16	c |    496038 |   17791   433992  1014604 | 2147483647   496038    233 |  0.000 % |
1181.70/1182.49	c |    497314 |   17791   433992  1014604 | 2147483647   497314    233 |  0.000 % |
1188.50/1189.22	c |    498714 |   17791   433992  1014604 | 2147483647   498714    233 |  0.000 % |
1195.10/1195.83	c |    500254 |   17791   433992  1014604 | 2147483647   500254    233 |  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-1832257-1242771221/watcher-1832257-1242771221 -o /tmp/evaluation-result-1832257-1242771221/solver-1832257-1242771221 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832257-1242771221.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.92 0.98 0.94 3/64 3587
/proc/meminfo: memFree=1952688/2055920 swapFree=4180384/4192956
[pid=3587] ppid=3585 vsize=5356 CPUtime=0
/proc/3587/stat : 3587 (SatELiteGTI) R 3585 3587 3236 0 -1 4194304 292 249 0 0 0 0 0 0 16 0 1 0 305155582 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 227848809119 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/3587/statm: 1339 237 197 169 0 50 0

[startup+0.072817 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 3587
/proc/meminfo: memFree=1952688/2055920 swapFree=4180384/4192956
[pid=3587] ppid=3585 vsize=5356 CPUtime=0
/proc/3587/stat : 3587 (SatELiteGTI) S 3585 3587 3236 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 305155582 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3587/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101821 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 3587
/proc/meminfo: memFree=1952688/2055920 swapFree=4180384/4192956
[pid=3587] ppid=3585 vsize=5356 CPUtime=0
/proc/3587/stat : 3587 (SatELiteGTI) S 3585 3587 3236 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 305155582 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3587/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301855 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 3587
/proc/meminfo: memFree=1952688/2055920 swapFree=4180384/4192956
[pid=3587] ppid=3585 vsize=5356 CPUtime=0
/proc/3587/stat : 3587 (SatELiteGTI) S 3585 3587 3236 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 305155582 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3587/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701929 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 3587
/proc/meminfo: memFree=1952688/2055920 swapFree=4180384/4192956
[pid=3587] ppid=3585 vsize=5356 CPUtime=0
/proc/3587/stat : 3587 (SatELiteGTI) S 3585 3587 3236 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 305155582 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3587/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50107 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 3592
/proc/meminfo: memFree=1905560/2055920 swapFree=4180384/4192956
[pid=3587] ppid=3585 vsize=5356 CPUtime=0
/proc/3587/stat : 3587 (SatELiteGTI) S 3585 3587 3236 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 305155582 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3587/statm: 1339 237 197 169 0 50 0
[pid=3591] ppid=3587 vsize=62296 CPUtime=1.49
/proc/3591/stat : 3591 (SatELite_releas) R 3587 3587 3236 0 -1 4194304 13757 0 0 0 141 8 0 0 25 0 1 0 305155582 63791104 13703 1992294400 134512640 135223648 4294956128 18446744073709551615 134585544 0 0 4096 3 0 0 0 17 0 0 0
/proc/3591/statm: 15574 13703 75 173 0 15399 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 67652

[startup+3.10135 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 3592
/proc/meminfo: memFree=1897496/2055920 swapFree=4180384/4192956
[pid=3587] ppid=3585 vsize=5356 CPUtime=0
/proc/3587/stat : 3587 (SatELiteGTI) S 3585 3587 3236 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 305155582 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3587/statm: 1339 237 197 169 0 50 0
[pid=3591] ppid=3587 vsize=59004 CPUtime=3.08
/proc/3591/stat : 3591 (SatELite_releas) R 3587 3587 3236 0 -1 4194304 14935 0 0 0 300 8 0 0 25 0 1 0 305155582 60420096 13420 1992294400 134512640 135223648 4294956128 18446744073709551615 134586797 0 0 4096 3 0 0 0 17 0 0 0
/proc/3591/statm: 14751 13420 76 173 0 14576 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 64360

[startup+6.30191 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 3593
/proc/meminfo: memFree=1923352/2055920 swapFree=4180384/4192956
[pid=3587] ppid=3585 vsize=5356 CPUtime=4.72
/proc/3587/stat : 3587 (SatELiteGTI) S 3585 3587 3236 0 -1 4194304 336 16744 0 0 0 0 460 12 16 0 1 0 305155582 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3587/statm: 1339 239 197 169 0 50 0
[pid=3593] ppid=3587 vsize=22040 CPUtime=1.55
/proc/3593/stat : 3593 (minisat_static) R 3587 3587 3236 0 -1 4194304 5372 0 0 0 153 2 0 0 25 0 1 0 305156055 22568960 5358 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3593/statm: 5510 5358 77 171 0 5337 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 27396

[startup+12.701 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 3593
/proc/meminfo: memFree=1918304/2055920 swapFree=4180384/4192956
[pid=3587] ppid=3585 vsize=5356 CPUtime=4.72
/proc/3587/stat : 3587 (SatELiteGTI) S 3585 3587 3236 0 -1 4194304 336 16744 0 0 0 0 460 12 16 0 1 0 305155582 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3587/statm: 1339 239 197 169 0 50 0
[pid=3593] ppid=3587 vsize=26948 CPUtime=7.95
/proc/3593/stat : 3593 (minisat_static) R 3587 3587 3236 0 -1 4194304 6571 0 0 0 792 3 0 0 25 0 1 0 305156055 27594752 6557 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3593/statm: 6737 6557 77 171 0 6564 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 32304

[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 3593
/proc/meminfo: memFree=1905888/2055920 swapFree=4180384/4192956
[pid=3587] ppid=3585 vsize=5356 CPUtime=4.72
/proc/3587/stat : 3587 (SatELiteGTI) S 3585 3587 3236 0 -1 4194304 336 16744 0 0 0 0 460 12 16 0 1 0 305155582 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3587/statm: 1339 239 197 169 0 50 0
[pid=3593] ppid=3587 vsize=39320 CPUtime=20.74
/proc/3593/stat : 3593 (minisat_static) R 3587 3587 3236 0 -1 4194304 9662 0 0 0 2068 6 0 0 25 0 1 0 305156055 40263680 9648 1992294400 134512640 135215339 4294956240 18446744073709551615 134532687 0 0 4096 3 0 0 0 17 0 0 0
/proc/3593/statm: 9830 9648 77 171 0 9657 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 44676

[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 3593
/proc/meminfo: memFree=1891360/2055920 swapFree=4180384/4192956
[pid=3587] ppid=3585 vsize=5356 CPUtime=4.72
/proc/3587/stat : 3587 (SatELiteGTI) S 3585 3587 3236 0 -1 4194304 336 16744 0 0 0 0 460 12 16 0 1 0 305155582 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3587/statm: 1339 239 197 169 0 50 0
[pid=3593] ppid=3587 vsize=53920 CPUtime=46.32
/proc/3593/stat : 3593 (minisat_static) R 3587 3587 3236 0 -1 4194304 13309 0 0 0 4622 10 0 0 25 0 1 0 305156055 55214080 13295 1992294400 134512640 135215339 4294956240 18446744073709551615 134528852 0 0 4096 3 0 0 0 17 0 0 0
/proc/3593/statm: 13480 13295 77 171 0 13307 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 59276

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 3593
/proc/meminfo: memFree=1865952/2055920 swapFree=4180384/4192956
[pid=3587] ppid=3585 vsize=5356 CPUtime=4.72
/proc/3587/stat : 3587 (SatELiteGTI) S 3585 3587 3236 0 -1 4194304 336 16744 0 0 0 0 460 12 16 0 1 0 305155582 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3587/statm: 1339 239 197 169 0 50 0
[pid=3593] ppid=3587 vsize=78856 CPUtime=97.49
/proc/3593/stat : 3593 (minisat_static) R 3587 3587 3236 0 -1 4194304 19566 0 0 0 9734 15 0 0 25 0 1 0 305156055 80748544 19552 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/3593/statm: 19714 19552 77 171 0 19541 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 84212

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 3593
/proc/meminfo: memFree=1838496/2055920 swapFree=4180384/4192956
[pid=3587] ppid=3585 vsize=5356 CPUtime=4.72
/proc/3587/stat : 3587 (SatELiteGTI) S 3585 3587 3236 0 -1 4194304 336 16744 0 0 0 0 460 12 16 0 1 0 305155582 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3587/statm: 1339 239 197 169 0 50 0
[pid=3593] ppid=3587 vsize=106508 CPUtime=157.46
/proc/3593/stat : 3593 (minisat_static) R 3587 3587 3236 0 -1 4194304 26448 0 0 0 15725 21 0 0 25 0 1 0 305156055 109064192 26434 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3593/statm: 26627 26434 77 171 0 26454 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 111864

[startup+222.303 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 3593
/proc/meminfo: memFree=1811872/2055920 swapFree=4180384/4192956
[pid=3587] ppid=3585 vsize=5356 CPUtime=4.72
/proc/3587/stat : 3587 (SatELiteGTI) S 3585 3587 3236 0 -1 4194304 336 16744 0 0 0 0 460 12 16 0 1 0 305155582 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3587/statm: 1339 239 197 169 0 50 0
[pid=3593] ppid=3587 vsize=132784 CPUtime=217.43
/proc/3593/stat : 3593 (minisat_static) R 3587 3587 3236 0 -1 4194304 33059 0 0 0 21715 28 0 0 25 0 1 0 305156055 135970816 33045 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/3593/statm: 33196 33045 77 171 0 33023 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 138140

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 3593
/proc/meminfo: memFree=1781152/2055920 swapFree=4180384/4192956
[pid=3587] ppid=3585 vsize=5356 CPUtime=4.72
/proc/3587/stat : 3587 (SatELiteGTI) S 3585 3587 3236 0 -1 4194304 336 16744 0 0 0 0 460 12 16 0 1 0 305155582 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3587/statm: 1339 239 197 169 0 50 0
[pid=3593] ppid=3587 vsize=163544 CPUtime=277.38
/proc/3593/stat : 3593 (minisat_static) R 3587 3587 3236 0 -1 4194304 40712 0 0 0 27703 35 0 0 25 0 1 0 305156055 167469056 40698 1992294400 134512640 135215339 4294956240 18446744073709551615 134539375 0 0 4096 3 0 0 0 17 0 0 0
/proc/3593/statm: 40886 40698 77 171 0 40713 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 168900

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 3593
/proc/meminfo: memFree=1757856/2055920 swapFree=4180384/4192956
[pid=3587] ppid=3585 vsize=5356 CPUtime=4.72
/proc/3587/stat : 3587 (SatELiteGTI) S 3585 3587 3236 0 -1 4194304 336 16744 0 0 0 0 460 12 16 0 1 0 305155582 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3587/statm: 1339 239 197 169 0 50 0
[pid=3593] ppid=3587 vsize=186380 CPUtime=337.35
/proc/3593/stat : 3593 (minisat_static) R 3587 3587 3236 0 -1 4194304 46447 0 0 0 33694 41 0 0 25 0 1 0 305156055 190853120 46433 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 0 0 0
/proc/3593/statm: 46595 46433 77 171 0 46422 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 191736

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 3593
/proc/meminfo: memFree=1732640/2055920 swapFree=4180384/4192956
[pid=3587] ppid=3585 vsize=5356 CPUtime=4.72
/proc/3587/stat : 3587 (SatELiteGTI) S 3585 3587 3236 0 -1 4194304 336 16744 0 0 0 0 460 12 16 0 1 0 305155582 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3587/statm: 1339 239 197 169 0 50 0
[pid=3593] ppid=3587 vsize=212000 CPUtime=397.32
/proc/3593/stat : 3593 (minisat_static) R 3587 3587 3236 0 -1 4194304 52765 0 0 0 39684 48 0 0 25 0 1 0 305156055 217088000 52751 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/3593/statm: 53000 52751 77 171 0 52827 0
Current children cumulated CPU time (s) 402.04
Current children cumulated vsize (KiB) 217356

[startup+462.301 s]

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

/proc/3593/statm: 65343 65138 77 171 0 65170 0
Current children cumulated CPU time (s) 521.96
Current children cumulated vsize (KiB) 266728

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 3593
/proc/meminfo: memFree=1657632/2055920 swapFree=4180384/4192956
[pid=3587] ppid=3585 vsize=5356 CPUtime=4.72
/proc/3587/stat : 3587 (SatELiteGTI) S 3585 3587 3236 0 -1 4194304 336 16744 0 0 0 0 460 12 16 0 1 0 305155582 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3587/statm: 1339 239 197 169 0 50 0
[pid=3593] ppid=3587 vsize=286192 CPUtime=577.22
/proc/3593/stat : 3593 (minisat_static) R 3587 3587 3236 0 -1 4194304 71374 0 0 0 57656 66 0 0 25 0 1 0 305156055 293060608 71360 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3593/statm: 71548 71360 77 171 0 71375 0
Current children cumulated CPU time (s) 581.94
Current children cumulated vsize (KiB) 291548

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 3593
/proc/meminfo: memFree=1637216/2055920 swapFree=4180384/4192956
[pid=3587] ppid=3585 vsize=5356 CPUtime=4.72
/proc/3587/stat : 3587 (SatELiteGTI) S 3585 3587 3236 0 -1 4194304 336 16744 0 0 0 0 460 12 16 0 1 0 305155582 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3587/statm: 1339 239 197 169 0 50 0
[pid=3593] ppid=3587 vsize=306268 CPUtime=637.17
/proc/3593/stat : 3593 (minisat_static) R 3587 3587 3236 0 -1 4194304 76404 0 0 0 63647 70 0 0 25 0 1 0 305156055 313618432 76390 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3593/statm: 76567 76390 77 171 0 76394 0
Current children cumulated CPU time (s) 641.89
Current children cumulated vsize (KiB) 311624

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 3593
/proc/meminfo: memFree=1617376/2055920 swapFree=4180384/4192956
[pid=3587] ppid=3585 vsize=5356 CPUtime=4.72
/proc/3587/stat : 3587 (SatELiteGTI) S 3585 3587 3236 0 -1 4194304 336 16744 0 0 0 0 460 12 16 0 1 0 305155582 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3587/statm: 1339 239 197 169 0 50 0
[pid=3593] ppid=3587 vsize=326808 CPUtime=697.14
/proc/3593/stat : 3593 (minisat_static) R 3587 3587 3236 0 -1 4194304 81406 0 0 0 69638 76 0 0 25 0 1 0 305156055 334651392 81392 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/3593/statm: 81702 81392 77 171 0 81529 0
Current children cumulated CPU time (s) 701.86
Current children cumulated vsize (KiB) 332164

[startup+762.306 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 3593
/proc/meminfo: memFree=1597024/2055920 swapFree=4180384/4192956
[pid=3587] ppid=3585 vsize=5356 CPUtime=4.72
/proc/3587/stat : 3587 (SatELiteGTI) S 3585 3587 3236 0 -1 4194304 336 16744 0 0 0 0 460 12 16 0 1 0 305155582 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3587/statm: 1339 239 197 169 0 50 0
[pid=3593] ppid=3587 vsize=346616 CPUtime=757.12
/proc/3593/stat : 3593 (minisat_static) R 3587 3587 3236 0 -1 4194304 86396 0 0 0 75630 82 0 0 25 0 1 0 305156055 354934784 86382 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3593/statm: 86654 86382 77 171 0 86481 0
Current children cumulated CPU time (s) 761.84
Current children cumulated vsize (KiB) 351972

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 3593
/proc/meminfo: memFree=1573344/2055920 swapFree=4180384/4192956
[pid=3587] ppid=3585 vsize=5356 CPUtime=4.72
/proc/3587/stat : 3587 (SatELiteGTI) S 3585 3587 3236 0 -1 4194304 336 16744 0 0 0 0 460 12 16 0 1 0 305155582 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3587/statm: 1339 239 197 169 0 50 0
[pid=3593] ppid=3587 vsize=370644 CPUtime=817.07
/proc/3593/stat : 3593 (minisat_static) R 3587 3587 3236 0 -1 4194304 92406 0 0 0 81620 87 0 0 25 0 1 0 305156055 379539456 92392 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3593/statm: 92661 92392 77 171 0 92488 0
Current children cumulated CPU time (s) 821.79
Current children cumulated vsize (KiB) 376000

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 3593
/proc/meminfo: memFree=1543200/2055920 swapFree=4180384/4192956
[pid=3587] ppid=3585 vsize=5356 CPUtime=4.72
/proc/3587/stat : 3587 (SatELiteGTI) S 3585 3587 3236 0 -1 4194304 336 16744 0 0 0 0 460 12 16 0 1 0 305155582 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3587/statm: 1339 239 197 169 0 50 0
[pid=3593] ppid=3587 vsize=400084 CPUtime=877.04
/proc/3593/stat : 3593 (minisat_static) R 3587 3587 3236 0 -1 4194304 99795 0 0 0 87610 94 0 0 25 0 1 0 305156055 409686016 99781 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/3593/statm: 100021 99781 77 171 0 99848 0
Current children cumulated CPU time (s) 881.76
Current children cumulated vsize (KiB) 405440

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 3593
/proc/meminfo: memFree=1525856/2055920 swapFree=4180384/4192956
[pid=3587] ppid=3585 vsize=5356 CPUtime=4.72
/proc/3587/stat : 3587 (SatELiteGTI) S 3585 3587 3236 0 -1 4194304 336 16744 0 0 0 0 460 12 16 0 1 0 305155582 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3587/statm: 1339 239 197 169 0 50 0
[pid=3593] ppid=3587 vsize=417380 CPUtime=937.02
/proc/3593/stat : 3593 (minisat_static) R 3587 3587 3236 0 -1 4194304 104162 0 0 0 93603 99 0 0 25 0 1 0 305156055 427397120 104148 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/3593/statm: 104345 104148 77 171 0 104172 0
Current children cumulated CPU time (s) 941.74
Current children cumulated vsize (KiB) 422736

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 3593
/proc/meminfo: memFree=1506976/2055920 swapFree=4180384/4192956
[pid=3587] ppid=3585 vsize=5356 CPUtime=4.72
/proc/3587/stat : 3587 (SatELiteGTI) S 3585 3587 3236 0 -1 4194304 336 16744 0 0 0 0 460 12 16 0 1 0 305155582 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3587/statm: 1339 239 197 169 0 50 0
[pid=3593] ppid=3587 vsize=435992 CPUtime=996.98
/proc/3593/stat : 3593 (minisat_static) R 3587 3587 3236 0 -1 4194304 108829 0 0 0 99595 103 0 0 25 0 1 0 305156055 446455808 108815 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/3593/statm: 108998 108815 77 171 0 108825 0
Current children cumulated CPU time (s) 1001.7
Current children cumulated vsize (KiB) 441348

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 3593
/proc/meminfo: memFree=1483744/2055920 swapFree=4180384/4192956
[pid=3587] ppid=3585 vsize=5356 CPUtime=4.72
/proc/3587/stat : 3587 (SatELiteGTI) S 3585 3587 3236 0 -1 4194304 336 16744 0 0 0 0 460 12 16 0 1 0 305155582 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3587/statm: 1339 239 197 169 0 50 0
[pid=3593] ppid=3587 vsize=459232 CPUtime=1056.94
/proc/3593/stat : 3593 (minisat_static) R 3587 3587 3236 0 -1 4194304 114650 0 0 0 105586 108 0 0 25 0 1 0 305156055 470253568 114636 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/3593/statm: 114808 114636 77 171 0 114635 0
Current children cumulated CPU time (s) 1061.66
Current children cumulated vsize (KiB) 464588

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 3593
/proc/meminfo: memFree=1460000/2055920 swapFree=4180384/4192956
[pid=3587] ppid=3585 vsize=5356 CPUtime=4.72
/proc/3587/stat : 3587 (SatELiteGTI) S 3585 3587 3236 0 -1 4194304 336 16744 0 0 0 0 460 12 16 0 1 0 305155582 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3587/statm: 1339 239 197 169 0 50 0
[pid=3593] ppid=3587 vsize=483516 CPUtime=1116.91
/proc/3593/stat : 3593 (minisat_static) R 3587 3587 3236 0 -1 4194304 120528 0 0 0 111578 113 0 0 25 0 1 0 305156055 495120384 120514 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3593/statm: 120879 120514 77 171 0 120706 0
Current children cumulated CPU time (s) 1121.63
Current children cumulated vsize (KiB) 488872

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 3593
/proc/meminfo: memFree=1443488/2055920 swapFree=4180384/4192956
[pid=3587] ppid=3585 vsize=5356 CPUtime=4.72
/proc/3587/stat : 3587 (SatELiteGTI) S 3585 3587 3236 0 -1 4194304 336 16744 0 0 0 0 460 12 16 0 1 0 305155582 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3587/statm: 1339 239 197 169 0 50 0
[pid=3593] ppid=3587 vsize=499896 CPUtime=1176.88
/proc/3593/stat : 3593 (minisat_static) R 3587 3587 3236 0 -1 4194304 124633 0 0 0 117570 118 0 0 25 0 1 0 305156055 511893504 124619 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/3593/statm: 124974 124619 77 171 0 124801 0
Current children cumulated CPU time (s) 1181.6
Current children cumulated vsize (KiB) 505252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.8 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 3593
/proc/meminfo: memFree=1438240/2055920 swapFree=4180384/4192956
[pid=3587] ppid=3585 vsize=5356 CPUtime=4.72
/proc/3587/stat : 3587 (SatELiteGTI) S 3585 3587 3236 0 -1 4194304 336 16744 0 0 0 0 460 12 16 0 1 0 305155582 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3587/statm: 1339 239 197 169 0 50 0
[pid=3593] ppid=3587 vsize=504784 CPUtime=1195.38
/proc/3593/stat : 3593 (minisat_static) R 3587 3587 3236 0 -1 4194304 125862 0 0 0 119418 120 0 0 25 0 1 0 305156055 516898816 125848 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/3593/statm: 126196 125848 77 171 0 126023 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 510140

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

Real time (s): 1200.81
CPU time (s): 1200.1
CPU user time (s): 1198.78
CPU system time (s): 1.32
CPU usage (%): 99.9407
Max. virtual memory (cumulated for all children) (KiB): 510140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.6013
system time used= 0.131979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17080
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= 13
involuntary context switches= 18

runsolver used 1.13283 second user time and 3.32449 second system time

The end

Launcher Data 

Begin job on node18 at 2009-05-20 00:13:43
IDJOB=1832257
IDBENCH=24667
IDSOLVER=671
FILE ID=node18/1832257-1242771221
PBS_JOBID= 9322280
Free space on /tmp= 66260 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/crafted/Hard/contest05/others/sgp_5-6-8.sat05-2669.reshuffled-07.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832257-1242771221/watcher-1832257-1242771221 -o /tmp/evaluation-result-1832257-1242771221/solver-1832257-1242771221 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832257-1242771221.cnf

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

MD5SUM BENCH= 4064da8380443613a08af89e2e77b8a2
RANDOM SEED=1484176969

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1953104 kB
Buffers:         12060 kB
Cached:          54472 kB
SwapCached:       6636 kB
Active:          38148 kB
Inactive:        36636 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1953104 kB
SwapTotal:     4192956 kB
SwapFree:      4180384 kB
Dirty:           14076 kB
Writeback:           0 kB
Mapped:          13464 kB
Slab:            14008 kB
Committed_AS:  1071368 kB
PageTables:       1376 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= 66248 MiB
End job on node18 at 2009-05-20 00:33:46