Trace number 1833745

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameCRAFTED/edgematching/
compact/em_14_7_3_cmp.cnf
MD5SUM04d46ce8651fab3a17ac1e6e72eb3503
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 variables24356
Number of clauses305744
Sum of the clauses size960940
Maximum clause length144
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 277468
Number of clauses of size 3177720
Number of clauses of size 424200
Number of clauses of size 525920
Number of clauses of size over 5436

Solver Data 

0.00/0.00	c Parsing...
0.00/0.23	c ==============================================================================
0.00/0.23	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.23	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.23	c ==============================================================================
0.00/0.23	c |         0 |  305744   960940 |   91723       0        0     nan |  0.000 % |
3.78/3.83	c |         0 |  305744   960956 |      --       0       --      -- |     --   | 0/16
3.78/3.84	c ==============================================================================
3.78/3.84	c Result  :   #vars: 24352   #clauses: 305744   #literals: 960956
3.78/3.84	c CPU time:   3.79242 s
3.78/3.84	c ==============================================================================
4.08/4.14	c This is MiniSat 2.0 beta
4.08/4.14	c WARNING: for repeatability, setting FPU to use double precision
4.08/4.15	c ============================[ Problem Statistics ]=============================
4.08/4.15	c |                                                                             |
4.08/4.15	c |  Number of variables:  24352                                                |
4.08/4.15	c |  Number of clauses:    305744                                               |
4.28/4.32	c |  Parsing time:         0.15         s                                       |
4.28/4.33	c ============================[ Search Statistics ]==============================
4.28/4.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.28/4.33	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
4.28/4.33	c ===============================================================================
4.28/4.33	c |         0 |   24352   305744   960956 |   101914        0    nan |  0.000 % |
4.28/4.36	c |       100 |   24352   305744   960956 |   101914      100    383 |  0.000 % |
4.38/4.46	c |       201 |   24350   305744   960956 |   101914      200    247 |  0.025 % |
4.38/4.47	c |       301 |   24338   305744   960956 |   101914      297    189 |  0.099 % |
4.38/4.50	c |       411 |   24330   305744   960956 |   101914      405    161 |  0.160 % |
4.48/4.51	c |       511 |   24328   305744   960956 |   101914      504    146 |  0.197 % |
4.48/4.53	c |       621 |   24316   305744   960956 |   101914      612    129 |  0.255 % |
4.48/4.55	c |       742 |   24313   305744   960956 |   101914      732    120 |  0.292 % |
4.48/4.57	c |       843 |   24308   305744   960956 |   101914      832    115 |  0.329 % |
4.48/4.59	c |       956 |   24308   305744   960956 |   101914      945    109 |  0.329 % |
4.58/4.61	c |      1077 |   24302   305744   960956 |   101914     1064    109 |  0.378 % |
4.58/4.63	c |      1210 |   24300   305744   960956 |   101914     1196    106 |  0.415 % |
4.58/4.65	c |      1310 |   24300   305744   960956 |   101914     1296    102 |  0.415 % |
4.58/4.67	c |      1421 |   24295   305744   960956 |   101914     1406    107 |  0.456 % |
4.58/4.69	c |      1542 |   24290   305744   960956 |   101914     1526    105 |  0.489 % |
4.68/4.72	c |      1675 |   24290   305744   960956 |   101914     1659    103 |  0.489 % |
4.68/4.74	c |      1821 |   24285   305744   960956 |   101914     1803    100 |  0.550 % |
4.68/4.76	c |      1923 |   24285   305744   960956 |   101914     1905    102 |  0.550 % |
4.68/4.78	c |      2033 |   24279   305744   960956 |   101914     2014    100 |  0.591 % |
4.78/4.80	c |      2155 |   24279   305744   960956 |   101914     2136    101 |  0.591 % |
4.78/4.83	c |      2288 |   24279   305744   960956 |   101914     2269    103 |  0.591 % |
4.78/4.85	c |      2434 |   24273   305744   960956 |   101914     2414    107 |  0.632 % |
4.78/4.88	c |      2597 |   24270   305744   960956 |   101914     2575    112 |  0.694 % |
4.88/4.92	c |      2698 |   24187   305744   960956 |   101914     2676    113 |  0.694 % |
5.08/5.11	c |      2809 |   24183   305166   959800 |   101914     2772    112 |  0.694 % |
5.08/5.14	c |      2930 |   24183   305166   959800 |   101914     2893    112 |  0.694 % |
5.08/5.16	c |      3064 |   24183   305166   959800 |   101914     3027    110 |  0.694 % |
5.08/5.18	c |      3211 |   24183   305166   959800 |   101914     3174    117 |  0.694 % |
5.18/5.21	c |      3374 |   24183   305166   959800 |   101914     3337    117 |  0.694 % |
5.18/5.24	c |      3552 |   24183   305166   959800 |   101914     3515    119 |  0.694 % |
5.18/5.27	c |      3653 |   24180   305166   959800 |   101914     3615    118 |  0.731 % |
5.28/5.30	c |      3763 |   24177   305166   959800 |   101914     3723    117 |  0.747 % |
5.28/5.32	c |      3884 |   24177   305166   959800 |   101914     3844    117 |  0.747 % |
5.28/5.34	c |      4018 |   24177   305166   959800 |   101914     3978    118 |  0.747 % |
5.28/5.37	c |      4165 |   24177   305166   959800 |   101914     4125    120 |  0.747 % |
5.28/5.39	c |      4328 |   24177   305166   959800 |   101914     4288    120 |  0.747 % |
5.38/5.44	c |      4504 |   24177   305166   959800 |   101914     4464    120 |  0.747 % |
5.38/5.48	c |      4697 |   24177   305166   959800 |   101914     4657    122 |  0.747 % |
5.38/5.49	c |      4799 |   24177   305166   959800 |   101914     4759    122 |  0.747 % |
5.48/5.51	c |      4909 |   24177   305166   959800 |   101914     4869    123 |  0.747 % |
5.48/5.53	c |      5032 |   24177   305166   959800 |   101914     4992    125 |  0.747 % |
5.48/5.56	c |      5165 |   24168   305166   959800 |   101914     5123    124 |  0.830 % |
5.48/5.60	c |      5311 |   24168   305166   959800 |   101914     5269    123 |  0.830 % |
5.68/5.79	c |      5471 |   24150   305166   959800 |   101914     5429    125 |  0.830 % |
5.78/5.85	c |      5648 |   24150   305166   959800 |   101914     5606    138 |  0.830 % |
5.88/5.99	c |      5841 |   24146   305166   959800 |   101914     5798    137 |  0.846 % |
5.98/6.03	c |      6053 |   24146   305166   959800 |   101914     6010    138 |  0.846 % |
5.98/6.05	c |      6153 |   24146   305166   959800 |   101914     6110    138 |  0.846 % |
5.98/6.08	c |      6267 |   24146   305166   959800 |   101914     6224    140 |  0.846 % |
6.07/6.12	c |      6388 |   24146   305041   959550 |   101914     6331    140 |  0.846 % |
6.07/6.14	c |      6521 |   24146   305041   959550 |   101914     6464    140 |  0.846 % |
6.07/6.18	c |      6667 |   24146   305041   959550 |   101914     6610    141 |  0.846 % |
6.17/6.22	c |      6827 |   24146   305041   959550 |   101914     6770    141 |  0.846 % |
6.17/6.26	c |      7004 |   24146   305041   959550 |   101914     6947    140 |  0.846 % |
6.27/6.32	c |      7198 |   24146   305041   959550 |   101914     7141    139 |  0.846 % |
6.27/6.37	c |      7410 |   24146   305041   959550 |   101914     7353    138 |  0.846 % |
6.37/6.43	c |      7643 |   24146   305041   959550 |   101914     7586    140 |  0.846 % |
6.37/6.46	c |      7743 |   24146   305041   959550 |   101914     7686    139 |  0.846 % |
6.37/6.49	c |      7855 |   24146   305041   959550 |   101914     7798    140 |  0.846 % |
6.58/6.63	c |      7977 |   24146   305041   959550 |   101914     7920    139 |  0.846 % |
6.67/6.73	c |      8111 |   24146   305041   959550 |   101914     8054    147 |  0.846 % |
6.67/6.79	c |      8259 |   24146   305041   959550 |   101914     8202    156 |  0.846 % |
6.88/6.90	c |      8419 |   24146   305041   959550 |   101914     8362    157 |  0.846 % |
6.88/6.96	c |      8596 |   24146   305041   959550 |   101914     8539    157 |  0.846 % |
6.98/7.01	c |      8791 |   24146   305041   959550 |   101914     8734    157 |  0.846 % |
7.08/7.15	c |      9005 |   24146   305041   959550 |   101914     8948    159 |  0.846 % |
7.18/7.26	c |      9239 |   24146   305041   959550 |   101914     9182    159 |  0.846 % |
7.28/7.32	c |      9496 |   24146   305041   959550 |   101914     9439    160 |  0.846 % |
7.28/7.35	c |      9596 |   24146   305041   959550 |   101914     9539    160 |  0.846 % |
7.28/7.38	c |      9706 |   24146   305041   959550 |   101914     9649    159 |  0.846 % |
7.38/7.42	c |      9828 |   24146   305041   959550 |   101914     9771    159 |  0.846 % |
7.38/7.46	c |      9962 |   24146   305041   959550 |   101914     9905    159 |  0.846 % |
7.48/7.50	c |     10108 |   24146   305041   959550 | 2147483647    10051    160 |  0.846 % |
7.48/7.55	c |     10268 |   24146   305041   959550 | 2147483647    10211    161 |  0.846 % |
7.78/7.84	c |     10444 |   24146   305041   959550 | 2147483647    10387    161 |  0.846 % |
7.88/7.93	c |     10637 |   24146   305041   959550 | 2147483647    10580    167 |  0.846 % |
7.98/8.06	c |     10850 |   24146   305041   959550 | 2147483647    10793    166 |  0.846 % |
8.08/8.15	c |     11084 |   24146   305041   959550 | 2147483647    11027    169 |  0.846 % |
8.27/8.36	c |     11341 |   24146   305041   959550 | 2147483647    11284    170 |  0.846 % |
8.37/8.47	c |     11623 |   24146   305041   959550 | 2147483647    11566    170 |  0.846 % |
8.47/8.51	c |     11724 |   24146   305041   959550 | 2147483647    11667    170 |  0.846 % |
8.47/8.54	c |     11834 |   24146   305041   959550 | 2147483647    11777    170 |  0.846 % |
8.47/8.57	c |     11956 |   24146   305041   959550 | 2147483647    11899    170 |  0.846 % |
8.57/8.62	c |     12089 |   24146   305041   959550 | 2147483647    12032    170 |  0.846 % |
8.57/8.67	c |     12237 |   24146   305041   959550 | 2147483647    12180    170 |  0.846 % |
8.69/8.72	c |     12397 |   24146   305041   959550 | 2147483647    12340    170 |  0.846 % |
8.69/8.77	c |     12575 |   24146   305041   959550 | 2147483647    12518    171 |  0.846 % |
8.79/8.83	c |     12768 |   24146   305041   959550 | 2147483647    12711    171 |  0.846 % |
8.98/9.05	c |     12980 |   24146   305041   959550 | 2147483647    12923    176 |  0.846 % |
9.18/9.21	c |     13215 |   24146   305041   959550 | 2147483647    13158    177 |  0.846 % |
9.18/9.28	c |     13471 |   24146   305041   959550 | 2147483647    13414    178 |  0.846 % |
9.28/9.39	c |     13752 |   24146   305041   959550 | 2147483647    13695    177 |  0.846 % |
9.38/9.49	c |     14061 |   24146   305041   959550 | 2147483647    14004    179 |  0.846 % |
9.48/9.53	c |     14161 |   24146   305041   959550 | 2147483647    14104    179 |  0.846 % |
9.48/9.57	c |     14271 |   24146   305041   959550 | 2147483647    14214    179 |  0.846 % |
9.58/9.66	c |     14393 |   24146   305041   959550 | 2147483647    14336    181 |  0.846 % |
9.68/9.72	c |     14528 |   24146   305041   959550 | 2147483647    14471    184 |  0.846 % |
9.78/9.80	c |     14674 |   24146   305041   959550 | 2147483647    14617    185 |  0.846 % |
9.88/9.93	c |     14835 |   24146   305041   959550 | 2147483647    14778    185 |  0.846 % |
9.98/10.03	c |     15011 |   24146   305041   959550 | 2147483647    14954    184 |  0.846 % |
9.98/10.09	c |     15204 |   24146   305041   959550 | 2147483647    15147    185 |  0.846 % |
10.08/10.18	c |     15416 |   24146   305041   959550 | 2147483647    15359    185 |  0.846 % |
10.18/10.25	c |     15649 |   24146   305041   959550 | 2147483647    15592    185 |  0.846 % |
10.28/10.37	c |     15905 |   24146   305041   959550 | 2147483647    15848    185 |  0.846 % |
10.38/10.49	c |     16186 |   24146   305041   959550 | 2147483647    16129    185 |  0.846 % |
10.58/10.60	c |     16495 |   24146   305041   959550 | 2147483647    16438    185 |  0.846 % |
10.67/10.76	c |     16836 |   24146   305041   959550 | 2147483647    16779    184 |  0.846 % |
10.77/10.80	c |     16939 |   24146   305041   959550 | 2147483647    16882    185 |  0.846 % |
10.77/10.84	c |     17049 |   24146   305041   959550 | 2147483647    16992    184 |  0.846 % |
10.88/10.92	c |     17170 |   24146   305041   959550 | 2147483647    17113    184 |  0.846 % |
10.98/11.05	c |     17303 |   24136   305008   959484 | 2147483647    17238    184 |  0.887 % |
11.07/11.11	c |     17449 |   24136   305008   959484 | 2147483647    17384    187 |  0.887 % |
11.17/11.20	c |     17611 |   24136   305008   959484 | 2147483647    17546    190 |  0.887 % |
11.27/11.38	c |     17787 |   24136   305008   959484 | 2147483647    17722    191 |  0.887 % |
11.37/11.48	c |     17980 |   24136   305008   959484 | 2147483647    17915    191 |  0.887 % |
11.47/11.56	c |     18193 |   24136   305008   959484 | 2147483647    18128    191 |  0.887 % |
11.57/11.67	c |     18427 |   24136   305008   959484 | 2147483647    18362    191 |  0.887 % |
11.98/12.09	c |     18684 |   24136   305008   959484 | 2147483647    18619    191 |  0.887 % |
12.17/12.27	c |     18965 |   24136   305008   959484 | 2147483647    18900    190 |  0.887 % |
12.37/12.40	c |     19276 |   24136   305008   959484 | 2147483647    19211    191 |  0.887 % |
12.47/12.51	c |     19615 |   24136   305008   959484 | 2147483647    19550    193 |  0.887 % |
12.58/12.64	c |     19987 |   24136   305008   959484 | 2147483647    19922    194 |  0.887 % |
12.58/12.69	c |     20087 |   24136   305008   959484 | 2147483647    20022    193 |  0.887 % |
12.68/12.75	c |     20197 |   24136   305008   959484 | 2147483647    20132    193 |  0.887 % |
12.78/12.81	c |     20318 |   24136   305008   959484 | 2147483647    20253    193 |  0.887 % |
12.78/12.88	c |     20451 |   24136   305008   959484 | 2147483647    20386    193 |  0.887 % |
12.88/12.94	c |     20598 |   24136   305008   959484 | 2147483647    20533    194 |  0.887 % |
12.98/13.04	c |     20758 |   24136   305008   959484 | 2147483647    20693    193 |  0.887 % |
13.08/13.11	c |     20934 |   24136   305008   959484 | 2147483647    20869    193 |  0.887 % |
13.18/13.21	c |     21128 |   24136   305008   959484 | 2147483647    21063    193 |  0.887 % |
13.28/13.30	c |     21340 |   24136   305008   959484 | 2147483647    21275    193 |  0.887 % |
13.38/13.41	c |     21574 |   24136   305008   959484 | 2147483647    21509    193 |  0.887 % |
13.48/13.53	c |     21830 |   24136   305008   959484 | 2147483647    21765    193 |  0.887 % |
13.78/13.81	c |     22111 |   24136   305008   959484 | 2147483647    22046    193 |  0.887 % |
14.08/14.18	c |     22422 |   24136   305008   959484 | 2147483647    22357    195 |  0.887 % |
14.48/14.56	c |     22761 |   24136   305008   959484 | 2147483647    22696    195 |  0.887 % |
14.97/15.01	c |     23134 |   24136   305008   959484 | 2147483647    23069    195 |  0.887 % |
15.17/15.21	c |     23543 |   24136   305008   959484 | 2147483647    23478    196 |  0.887 % |
15.17/15.27	c |     23643 |   24136   305008   959484 | 2147483647    23578    197 |  0.887 % |
15.28/15.33	c |     23753 |   24136   305008   959484 | 2147483647    23688    197 |  0.887 % |
15.47/15.53	c |     23874 |   24136   305008   959484 | 2147483647    23809    197 |  0.887 % |
15.57/15.69	c |     24008 |   24136   305008   959484 | 2147483647    23943    197 |  0.887 % |
15.67/15.77	c |     24156 |   24136   305008   959484 | 2147483647    24091    196 |  0.887 % |
15.77/15.87	c |     24317 |   24136   305008   959484 | 2147483647    24252    196 |  0.887 % |
15.87/15.95	c |     24495 |   24136   305008   959484 | 2147483647    24430    197 |  0.887 % |
15.97/16.07	c |     24688 |   24136   305008   959484 | 2147483647    24623    197 |  0.887 % |
16.07/16.19	c |     24901 |   24136   305008   959484 | 2147483647    24836    197 |  0.887 % |
16.27/16.38	c |     25135 |   24136   305008   959484 | 2147483647    25070    199 |  0.887 % |
16.38/16.48	c |     25393 |   24136   305008   959484 | 2147483647    25328    204 |  0.887 % |
16.67/16.79	c |     25675 |   24136   305008   959484 | 2147483647    25610    203 |  0.887 % |
17.18/17.21	c |     25985 |   24136   305008   959484 | 2147483647    25920    204 |  0.887 % |
17.48/17.54	c |     26325 |   24136   305008   959484 | 2147483647    26260    204 |  0.887 % |
17.68/17.74	c |     26698 |   24136   305008   959484 | 2147483647    26633    205 |  0.887 % |
17.88/17.98	c |     27108 |   24136   305008   959484 | 2147483647    27043    207 |  0.887 % |
18.47/18.57	c |     27558 |   24136   305008   959484 | 2147483647    27493    210 |  0.887 % |
18.58/18.63	c |     27660 |   24136   305008   959484 | 2147483647    27595    210 |  0.887 % |
18.58/18.69	c |     27771 |   24136   305008   959484 | 2147483647    27706    210 |  0.887 % |
18.68/18.74	c |     27893 |   24136   305008   959484 | 2147483647    27828    210 |  0.887 % |
18.77/18.81	c |     28026 |   24136   305008   959484 | 2147483647    27961    210 |  0.887 % |
18.77/18.88	c |     28174 |   24136   305008   959484 | 2147483647    28109    210 |  0.887 % |
18.87/18.97	c |     28334 |   24136   305008   959484 | 2147483647    28269    209 |  0.887 % |
19.07/19.15	c |     28510 |   24136   305008   959484 | 2147483647    28445    210 |  0.887 % |
19.27/19.35	c |     28704 |   24136   305008   959484 | 2147483647    28639    210 |  0.887 % |
19.37/19.46	c |     28916 |   24136   305008   959484 | 2147483647    28851    210 |  0.887 % |
19.47/19.58	c |     29150 |   24136   305008   959484 | 2147483647    29085    211 |  0.887 % |
19.67/19.72	c |     29409 |   24136   305008   959484 | 2147483647    29344    211 |  0.887 % |
19.87/19.93	c |     29690 |   24136   305008   959484 | 2147483647    29625    211 |  0.887 % |
20.27/20.33	c |     29999 |   24136   305008   959484 | 2147483647    29934    211 |  0.887 % |
20.87/20.91	c |     30340 |   24136   305008   959484 | 2147483647    30275    211 |  0.887 % |
21.07/21.15	c |     30713 |   24136   305008   959484 | 2147483647    30648    212 |  0.887 % |
21.38/21.43	c |     31123 |   24136   305008   959484 | 2147483647    31058    213 |  0.887 % |
21.68/21.71	c |     31572 |   24136   305008   959484 | 2147483647    31507    214 |  0.887 % |
21.88/21.95	c |     32066 |   24136   305008   959484 | 2147483647    32001    220 |  0.887 % |
21.98/22.02	c |     32168 |   24136   305008   959484 | 2147483647    32103    220 |  0.887 % |
22.07/22.11	c |     32278 |   24136   305008   959484 | 2147483647    32213    220 |  0.887 % |
22.07/22.18	c |     32399 |   24136   305008   959484 | 2147483647    32334    220 |  0.887 % |
22.17/22.27	c |     32533 |   24136   305008   959484 | 2147483647    32468    220 |  0.887 % |
22.27/22.38	c |     32679 |   24136   305008   959484 | 2147483647    32614    220 |  0.887 % |
22.37/22.47	c |     32841 |   24136   305008   959484 | 2147483647    32776    220 |  0.887 % |
22.47/22.57	c |     33017 |   24136   305008   959484 | 2147483647    32952    221 |  0.887 % |
22.67/22.72	c |     33211 |   24136   305008   959484 | 2147483647    33146    221 |  0.887 % |
22.77/22.83	c |     33423 |   24136   305008   959484 | 2147483647    33358    221 |  0.887 % |
22.98/23.01	c |     33657 |   24136   305008   959484 | 2147483647    33592    221 |  0.887 % |
23.17/23.21	c |     33913 |   24136   305008   959484 | 2147483647    33848    222 |  0.887 % |
23.37/23.49	c |     34194 |   24136   305008   959484 | 2147483647    34129    223 |  0.887 % |
23.67/23.70	c |     34503 |   24136   305008   959484 | 2147483647    34438    223 |  0.887 % |
24.07/24.11	c |     34842 |   24136   305008   959484 | 2147483647    34777    223 |  0.887 % |
24.18/24.26	c |     35214 |   24136   305008   959484 | 2147483647    35149    228 |  0.887 % |
24.78/24.82	c |     35623 |   24136   305008   959484 | 2147483647    35558    228 |  0.887 % |
25.07/25.14	c |     36073 |   24136   305008   959484 | 2147483647    36008    228 |  0.887 % |
25.47/25.59	c |     36566 |   24136   305008   959484 | 2147483647    36501    230 |  0.887 % |
25.97/26.04	c |     37108 |   24136   305008   959484 | 2147483647    37043    230 |  0.887 % |
26.07/26.12	c |     37208 |   24136   305008   959484 | 2147483647    37143    230 |  0.887 % |
26.18/26.22	c |     37322 |   24136   305008   959484 | 2147483647    37257    230 |  0.887 % |
26.28/26.33	c |     37444 |   24136   305008   959484 | 2147483647    37379    230 |  0.887 % |
26.38/26.43	c |     37577 |   24136   305008   959484 | 2147483647    37512    230 |  0.887 % |
26.48/26.59	c |     37725 |   24136   305008   959484 | 2147483647    37660    230 |  0.887 % |
26.68/26.72	c |     37887 |   24136   305008   959484 | 2147483647    37822    230 |  0.887 % |
26.78/26.88	c |     38065 |   24136   305008   959484 | 2147483647    38000    230 |  0.887 % |
26.98/27.01	c |     38258 |   24136   305008   959484 | 2147483647    38193    230 |  0.887 % |
27.08/27.18	c |     38470 |   24136   305008   959484 | 2147483647    38405    230 |  0.887 % |
27.48/27.58	c |     38704 |   24136   305008   959484 | 2147483647    38639    231 |  0.887 % |
27.77/27.86	c |     38960 |   24136   305008   959484 | 2147483647    38895    231 |  0.887 % |
28.07/28.16	c |     39241 |   24136   305008   959484 | 2147483647    39176    231 |  0.887 % |
28.27/28.38	c |     39551 |   24136   305008   959484 | 2147483647    39486    231 |  0.887 % |
28.67/28.70	c |     39894 |   24136   305008   959484 | 2147483647    39829    232 |  0.887 % |
28.97/29.01	c |     40266 |   24136   305008   959484 | 2147483647    40201    233 |  0.887 % |
29.37/29.45	c |     40675 |   24136   305008   959484 | 2147483647    40610    233 |  0.887 % |
29.67/29.74	c |     41124 |   24136   305008   959484 | 2147483647    41059    235 |  0.887 % |
30.17/30.29	c |     41617 |   24136   305008   959484 | 2147483647    41552    235 |  0.887 % |
30.67/30.74	c |     42160 |   24136   305008   959484 | 2147483647    42095    236 |  0.887 % |
31.17/31.29	c |     42758 |   24136   305008   959484 | 2147483647    42693    238 |  0.887 % |
31.27/31.39	c |     42859 |   24136   305008   959484 | 2147483647    42794    238 |  0.887 % |
31.47/31.56	c |     42969 |   24136   305008   959484 | 2147483647    42904    238 |  0.887 % |
31.57/31.67	c |     43091 |   24136   305008   959484 | 2147483647    43026    239 |  0.887 % |
31.77/31.84	c |     43224 |   24136   305008   959484 | 2147483647    43159    239 |  0.887 % |
31.87/31.98	c |     43370 |   24136   305008   959484 | 2147483647    43305    238 |  0.887 % |
32.07/32.16	c |     43531 |   24136   305008   959484 | 2147483647    43466    239 |  0.887 % |
32.37/32.41	c |     43708 |   24136   305008   959484 | 2147483647    43643    239 |  0.887 % |
32.47/32.57	c |     43901 |   24136   305008   959484 | 2147483647    43836    239 |  0.887 % |
32.67/32.77	c |     44113 |   24136   305008   959484 | 2147483647    44048    238 |  0.887 % |
32.86/32.97	c |     44346 |   24136   305008   959484 | 2147483647    44281    238 |  0.887 % |
33.06/33.13	c |     44603 |   24136   305008   959484 | 2147483647    44538    239 |  0.887 % |
33.37/33.40	c |     44885 |   24136   305008   959484 | 2147483647    44820    239 |  0.887 % |
33.57/33.64	c |     45197 |   24136   305008   959484 | 2147483647    45132    239 |  0.887 % |
33.87/33.94	c |     45536 |   24136   305008   959484 | 2147483647    45471    239 |  0.887 % |
34.37/34.44	c |     45908 |   24136   305008   959484 | 2147483647    45843    239 |  0.887 % |
35.07/35.17	c |     46317 |   24136   305008   959484 | 2147483647    46252    239 |  0.887 % |
35.46/35.51	c |     46766 |   24136   305008   959484 | 2147483647    46701    239 |  0.887 % |
35.96/36.07	c |     47260 |   24136   305008   959484 | 2147483647    47195    239 |  0.887 % |
36.36/36.46	c |     47804 |   24136   305008   959484 | 2147483647    47739    240 |  0.887 % |
37.16/37.29	c |     48400 |   24136   305008   959484 | 2147483647    48335    239 |  0.887 % |
38.16/38.20	c |     49055 |   24136   305008   959484 | 2147483647    48990    239 |  0.887 % |
38.26/38.33	c |     49155 |   24136   305008   959484 | 2147483647    49090    239 |  0.887 % |
38.46/38.54	c |     49266 |   24136   305008   959484 | 2147483647    49201    240 |  0.887 % |
38.66/38.71	c |     49388 |   24136   305008   959484 | 2147483647    49323    239 |  0.887 % |
38.86/38.91	c |     49521 |   24136   305008   959484 | 2147483647    49456    239 |  0.887 % |
39.06/39.13	c |     49669 |   24136   305008   959484 | 2147483647    49604    239 |  0.887 % |
39.16/39.22	c |     49829 |   24136   305008   959484 | 2147483647    49764    240 |  0.887 % |
39.36/39.44	c |     50005 |   24136   305008   959484 | 2147483647    49940    239 |  0.887 % |
39.66/39.76	c |     50198 |   24136   305008   959484 | 2147483647    50133    239 |  0.887 % |
39.86/39.95	c |     50410 |   24136   305008   959484 | 2147483647    50345    239 |  0.887 % |
40.06/40.19	c |     50645 |   24136   305008   959484 | 2147483647    50580    239 |  0.887 % |
40.36/40.44	c |     50902 |   24136   305008   959484 | 2147483647    50837    240 |  0.887 % |
40.66/40.76	c |     51183 |   24136   305008   959484 | 2147483647    51118    240 |  0.887 % |
41.05/41.11	c |     51492 |   24136   305008   959484 | 2147483647    51427    240 |  0.887 % |
41.45/41.54	c |     51833 |   24136   305008   959484 | 2147483647    51768    242 |  0.887 % |
41.65/41.75	c |     52206 |   24136   305008   959484 | 2147483647    52141    244 |  0.887 % |
42.16/42.26	c |     52616 |   24136   305008   959484 | 2147483647    52551    244 |  0.887 % |
42.66/42.73	c |     53065 |   24136   305008   959484 | 2147483647    53000    247 |  0.887 % |
43.26/43.35	c |     53560 |   24136   305008   959484 | 2147483647    53495    248 |  0.887 % |
43.66/43.74	c |     54103 |   24136   305008   959484 | 2147483647    54038    251 |  0.887 % |
44.55/44.64	c |     54700 |   24136   305008   959484 | 2147483647    54635    252 |  0.887 % |
45.25/45.33	c |     55357 |   24136   305008   959484 | 2147483647    55292    253 |  0.887 % |
45.95/46.09	c |     56081 |   24136   305008   959484 | 2147483647    56016    254 |  0.887 % |
46.15/46.29	c |     56181 |   24136   305008   959484 | 2147483647    56116    254 |  0.887 % |
46.35/46.41	c |     56292 |   24136   305008   959484 | 2147483647    56227    254 |  0.887 % |
46.55/46.62	c |     56413 |   24136   305008   959484 | 2147483647    56348    254 |  0.887 % |
46.75/46.89	c |     56551 |   24136   305008   959484 | 2147483647    56486    254 |  0.887 % |
46.95/47.07	c |     56697 |   24136   305008   959484 | 2147483647    56632    254 |  0.887 % |
47.36/47.42	c |     56857 |   24136   305008   959484 | 2147483647    56792    254 |  0.887 % |
47.66/47.73	c |     57033 |   24136   305008   959484 | 2147483647    56968    254 |  0.887 % |
47.96/48.06	c |     57226 |   24136   305008   959484 | 2147483647    57161    254 |  0.887 % |
48.06/48.20	c |     57438 |   24136   305008   959484 | 2147483647    57373    255 |  0.887 % |
48.26/48.34	c |     57671 |   24136   305008   959484 | 2147483647    57606    257 |  0.887 % |
48.76/48.85	c |     57927 |   24136   305008   959484 | 2147483647    57862    257 |  0.887 % |
48.86/48.99	c |     58208 |   24136   305008   959484 | 2147483647    58143    259 |  0.887 % |
49.36/49.44	c |     58517 |   24136   305008   959484 | 2147483647    58452    259 |  0.887 % |
49.85/49.93	c |     58856 |   24136   305008   959484 | 2147483647    58791    260 |  0.887 % |
50.05/50.13	c |     59229 |   24136   305008   959484 | 2147483647    59164    263 |  0.887 % |
50.45/50.60	c |     59639 |   24136   305008   959484 | 2147483647    59574    264 |  0.887 % |
51.65/51.71	c |     60089 |   24136   305008   959484 | 2147483647    60024    263 |  0.887 % |
52.25/52.31	c |     60582 |   24136   305008   959484 | 2147483647    60517    265 |  0.887 % |
52.75/52.88	c |     61124 |   24136   305008   959484 | 2147483647    61059    267 |  0.887 % |
53.55/53.68	c |     61722 |   24136   305008   959484 | 2147483647    61657    268 |  0.887 % |
54.65/54.77	c |     62378 |   24136   305008   959484 | 2147483647    62313    269 |  0.887 % |
54.96/55.05	c |     63099 |   24136   305008   959484 | 2147483647    63034    274 |  0.887 % |
55.35/55.48	c |     63891 |   24136   305008   959484 | 2147483647    63826    278 |  0.887 % |
55.45/55.57	c |     63991 |   24136   305008   959484 | 2147483647    63926    278 |  0.887 % |
55.85/55.90	c |     64102 |   24136   305008   959484 | 2147483647    64037    278 |  0.887 % |
55.96/56.09	c |     64225 |   24136   305008   959484 | 2147483647    64160    278 |  0.887 % |
56.06/56.19	c |     64358 |   24136   305008   959484 | 2147483647    64293    278 |  0.887 % |
56.25/56.31	c |     64504 |   24136   305008   959484 | 2147483647    64439    279 |  0.887 % |
56.75/56.83	c |     64664 |   24136   305008   959484 | 2147483647    64599    279 |  0.887 % |
56.95/57.05	c |     64844 |   24136   305008   959484 | 2147483647    64779    279 |  0.887 % |
57.15/57.24	c |     65038 |   24136   305008   959484 | 2147483647    64973    280 |  0.887 % |
57.55/57.63	c |     65251 |   24136   305008   959484 | 2147483647    65186    280 |  0.887 % |
57.65/57.76	c |     65484 |   24136   305008   959484 | 2147483647    65419    280 |  0.887 % |
58.25/58.36	c |     65740 |   24136   305008   959484 | 2147483647    65675    280 |  0.887 % |
58.35/58.48	c |     66022 |   24136   305008   959484 | 2147483647    65957    282 |  0.887 % |
58.65/58.79	c |     66332 |   24136   305008   959484 | 2147483647    66267    282 |  0.887 % |
59.45/59.53	c |     66672 |   24136   305008   959484 | 2147483647    66607    282 |  0.887 % |
59.65/59.76	c |     67044 |   24136   305008   959484 | 2147483647    66979    284 |  0.887 % |
59.95/60.08	c |     67453 |   24136   305008   959484 | 2147483647    67388    285 |  0.887 % |
60.55/60.62	c |     67902 |   24136   305008   959484 | 2147483647    67837    287 |  0.887 % |
60.75/60.86	c |     68396 |   24136   305008   959484 | 2147483647    68331    290 |  0.887 % |
61.55/61.62	c |     68938 |   24136   305008   959484 | 2147483647    68873    291 |  0.887 % |
62.45/62.52	c |     69534 |   24136   305008   959484 | 2147483647    69469    293 |  0.887 % |
62.85/62.92	c |     70189 |   24136   305008   959484 | 2147483647    70124    296 |  0.887 % |
63.95/64.02	c |     70909 |   24136   305008   959484 | 2147483647    70844    297 |  0.887 % |
64.65/64.71	c |     71701 |   24136   305008   959484 | 2147483647    71636    300 |  0.887 % |
65.25/65.34	c |     72572 |   24136   305008   959484 | 2147483647    72507    305 |  0.887 % |
65.55/65.63	c |     72672 |   24136   305008   959484 | 2147483647    72607    305 |  0.887 % |
65.85/65.95	c |     72783 |   24136   305008   959484 | 2147483647    72718    305 |  0.887 % |
65.95/66.09	c |     72904 |   24136   305008   959484 | 2147483647    72839    305 |  0.887 % |
66.35/66.42	c |     73037 |   24136   305008   959484 | 2147483647    72972    305 |  0.887 % |
66.75/66.80	c |     73183 |   24136   305008   959484 | 2147483647    73118    305 |  0.887 % |
66.85/66.92	c |     73343 |   24136   305008   959484 | 2147483647    73278    306 |  0.887 % |
66.95/67.04	c |     73519 |   24136   305008   959484 | 2147483647    73454    306 |  0.887 % |
67.24/67.35	c |     73712 |   24136   305008   959484 | 2147483647    73647    307 |  0.887 % |
67.44/67.52	c |     73924 |   24136   305008   959484 | 2147483647    73859    307 |  0.887 % |
67.74/67.82	c |     74157 |   24136   305008   959484 | 2147483647    74092    308 |  0.887 % |
68.34/68.42	c |     74414 |   24136   305008   959484 | 2147483647    74349    308 |  0.887 % |
68.84/68.91	c |     74695 |   24136   305008   959484 | 2147483647    74630    308 |  0.887 % |
68.94/69.07	c |     75004 |   24136   305008   959484 | 2147483647    74939    309 |  0.887 % |
69.84/69.92	c |     75344 |   24136   305008   959484 | 2147483647    75279    310 |  0.887 % |
70.25/70.30	c |     75720 |   24136   305008   959484 | 2147483647    75655    312 |  0.887 % |
71.25/71.36	c |     76130 |   24136   305008   959484 | 2147483647    76065    311 |  0.887 % |
71.85/71.92	c |     76581 |   24136   305008   959484 | 2147483647    76516    312 |  0.887 % |
72.15/72.23	c |     77075 |   24136   305008   959484 | 2147483647    77010    314 |  0.887 % |
73.14/73.24	c |     77617 |   24136   305008   959484 | 2147483647    77552    315 |  0.887 % |
73.55/73.65	c |     78213 |   24136   305008   959484 | 2147483647    78148    317 |  0.887 % |
73.94/74.06	c |     78869 |   24136   305008   959484 | 2147483647    78804    319 |  0.887 % |
74.64/74.74	c |     79589 |   24136   305008   959484 | 2147483647    79524    321 |  0.887 % |
75.35/75.44	c |     80381 |   24136   305008   959484 | 2147483647    80316    323 |  0.887 % |
75.75/75.86	c |     81253 |   24136   305008   959484 | 2147483647    81188    328 |  0.887 % |
77.94/78.01	c |     82211 |   24136   305008   959484 | 2147483647    82146    328 |  0.887 % |
78.14/78.25	c |     82312 |   24136   305008   959484 | 2147483647    82247    328 |  0.887 % |
78.34/78.44	c |     82422 |   24136   305008   959484 | 2147483647    82357    328 |  0.887 % |
78.65/78.74	c |     82544 |   24136   305008   959484 | 2147483647    82479    328 |  0.887 % |
79.15/79.22	c |     82678 |   24136   305008   959484 | 2147483647    82613    328 |  0.887 % |
79.45/79.55	c |     82825 |   24136   305008   959484 | 2147483647    82760    328 |  0.887 % |
79.65/79.72	c |     82985 |   24136   305008   959484 | 2147483647    82920    328 |  0.887 % |
80.35/80.43	c |     83163 |   24136   305008   959484 | 2147483647    83098    328 |  0.887 % |
80.45/80.59	c |     83357 |   24136   305008   959484 | 2147483647    83292    328 |  0.887 % |
81.05/81.10	c |     83569 |   24136   305008   959484 | 2147483647    83504    329 |  0.887 % |
81.65/81.76	c |     83805 |   24136   305008   959484 | 2147483647    83740    328 |  0.887 % |
82.25/82.39	c |     84068 |   24136   305008   959484 | 2147483647    84003    329 |  0.887 % |
82.84/82.94	c |     84349 |   24136   305008   959484 | 2147483647    84284    329 |  0.887 % |
83.84/83.92	c |     84658 |   24136   305008   959484 | 2147483647    84593    329 |  0.887 % |
84.24/84.30	c |     84997 |   24136   305008   959484 | 2147483647    84932    331 |  0.887 % |
84.84/84.96	c |     85370 |   24136   305008   959484 | 2147483647    85305    331 |  0.887 % |
85.74/85.86	c |     85779 |   24136   305008   959484 | 2147483647    85714    331 |  0.887 % |
86.74/86.80	c |     86228 |   24136   305008   959484 | 2147483647    86163    331 |  0.887 % |
87.04/87.17	c |     86721 |   24136   305008   959484 | 2147483647    86656    332 |  0.887 % |
87.95/88.03	c |     87263 |   24136   305008   959484 | 2147483647    87198    334 |  0.887 % |
88.95/89.03	c |     87862 |   24136   305008   959484 | 2147483647    87797    335 |  0.887 % |
89.34/89.41	c |     88517 |   24136   305008   959484 | 2147483647    88452    337 |  0.887 % |
90.74/90.87	c |     89237 |   24136   305008   959484 | 2147483647    89172    337 |  0.887 % |
91.54/91.66	c |     90029 |   24136   305008   959484 | 2147483647    89964    339 |  0.887 % |
93.24/93.32	c |     90900 |   24136   305008   959484 | 2147483647    90835    340 |  0.887 % |
93.94/94.08	c |     91858 |   24136   305008   959484 | 2147483647    91793    342 |  0.887 % |
96.44/96.55	c |     92911 |   24136   305008   959484 | 2147483647    92846    344 |  0.887 % |
96.84/96.91	c |     93012 |   24136   305008   959484 | 2147483647    92947    343 |  0.887 % |
97.34/97.43	c |     93125 |   24136   305008   959484 | 2147483647    93060    343 |  0.887 % |
97.54/97.66	c |     93246 |   24136   305008   959484 | 2147483647    93181    343 |  0.887 % |
97.74/97.86	c |     93380 |   24136   305008   959484 | 2147483647    93315    344 |  0.887 % |
98.14/98.22	c |     93527 |   24136   305008   959484 | 2147483647    93462    343 |  0.887 % |
98.64/98.79	c |     93687 |   24136   305008   959484 | 2147483647    93622    343 |  0.887 % |
98.84/98.94	c |     93865 |   24136   305008   959484 | 2147483647    93800    344 |  0.887 % |
98.94/99.09	c |     94058 |   24136   305008   959484 | 2147483647    93993    344 |  0.887 % |
99.44/99.58	c |     94273 |   24136   305008   959484 | 2147483647    94208    344 |  0.887 % |
99.74/99.87	c |     94510 |   24136   305008   959484 | 2147483647    94445    345 |  0.887 % |
100.54/100.68	c |     94766 |   24136   305008   959484 | 2147483647    94701    344 |  0.887 % |
100.84/100.96	c |     95047 |   24136   305008   959484 | 2147483647    94982    345 |  0.887 % |
101.44/101.51	c |     95356 |   24136   305008   959484 | 2147483647    95291    345 |  0.887 % |
101.63/101.75	c |     95695 |   24136   305008   959484 | 2147483647    95630    346 |  0.887 % |
102.03/102.14	c |     96072 |   24136   305008   959484 | 2147483647    96007    346 |  0.887 % |
102.74/102.85	c |     96481 |   24136   305008   959484 | 2147483647    96416    347 |  0.887 % |
103.54/103.69	c |     96930 |   24136   305008   959484 | 2147483647    96865    348 |  0.887 % |
103.94/104.05	c |     97424 |   24136   305008   959484 | 2147483647    97359    350 |  0.887 % |
104.83/104.92	c |     97966 |   24136   305008   959484 | 2147483647    97901    351 |  0.887 % |
106.33/106.41	c |     98562 |   24136   305008   959484 | 2147483647    98497    351 |  0.887 % |
107.13/107.25	c |     99219 |   24136   305008   959484 | 2147483647    99154    353 |  0.887 % |
107.74/107.88	c |     99940 |   24136   305008   959484 | 2147483647    99875    355 |  0.887 % |
108.74/108.88	c |    100732 |   24136   305008   959484 | 2147483647   100667    356 |  0.887 % |
110.03/110.10	c |    101603 |   24136   305008   959484 | 2147483647   101538    359 |  0.887 % |
110.64/110.72	c |    102561 |   24136   305008   959484 | 2147483647   102496    361 |  0.887 % |
111.84/111.94	c |    103616 |   24136   305008   959484 | 2147483647   103551    365 |  0.887 % |
112.73/112.80	c |    104774 |   24136   305008   959484 | 2147483647   104709    369 |  0.887 % |
112.93/113.09	c |    104875 |   24136   305008   959484 | 2147483647   104810    369 |  0.887 % |
113.14/113.28	c |    104985 |   24136   305008   959484 | 2147483647   104920    369 |  0.887 % |
113.83/113.93	c |    105106 |   24136   305008   959484 | 2147483647   105041    369 |  0.887 % |
113.93/114.07	c |    105239 |   24136   305008   959484 | 2147483647   105174    369 |  0.887 % |
114.13/114.26	c |    105385 |   24136   305008   959484 | 2147483647   105320    369 |  0.887 % |
114.33/114.49	c |    105546 |   24136   305008   959484 | 2147483647   105481    370 |  0.887 % |
114.93/115.04	c |    105722 |   24136   305008   959484 | 2147483647   105657    369 |  0.887 % |
115.34/115.41	c |    105918 |   24136   305008   959484 | 2147483647   105853    370 |  0.887 % |
116.04/116.18	c |    106130 |   24136   305008   959484 | 2147483647   106065    369 |  0.887 % |
116.34/116.44	c |    106363 |   24136   305008   959484 | 2147483647   106298    370 |  0.887 % |
116.74/116.80	c |    106619 |   24136   305008   959484 | 2147483647   106554    370 |  0.887 % |
117.04/117.13	c |    106900 |   24136   305008   959484 | 2147483647   106835    371 |  0.887 % |
118.14/118.29	c |    107210 |   24136   305008   959484 | 2147483647   107145    370 |  0.887 % |
118.43/118.54	c |    107549 |   24136   305008   959484 | 2147483647   107484    371 |  0.887 % |
118.93/119.09	c |    107923 |   24136   305008   959484 | 2147483647   107858    372 |  0.887 % |
119.93/120.04	c |    108333 |   24136   305008   959484 | 2147483647   108268    372 |  0.887 % |
120.34/120.41	c |    108783 |   24136   305008   959484 | 2147483647   108718    373 |  0.887 % |
121.54/121.67	c |    109276 |   24136   305008   959484 | 2147483647   109211    373 |  0.887 % |
122.04/122.17	c |    109818 |   24136   305008   959484 | 2147483647   109753    374 |  0.887 % |
122.83/122.91	c |    110416 |   24136   305008   959484 | 2147483647   110351    375 |  0.887 % |
124.33/124.41	c |    111072 |   24136   305008   959484 | 2147483647   111007    376 |  0.887 % |
125.84/125.90	c |    111793 |   24136   305008   959484 | 2147483647   111728    377 |  0.887 % |
127.13/127.27	c |    112586 |   24136   305008   959484 | 2147483647   112521    378 |  0.887 % |
128.83/128.93	c |    113458 |   24136   305008   959484 | 2147483647   113393    379 |  0.887 % |
130.33/130.48	c |    114418 |   24136   305008   959484 | 2147483647   114353    381 |  0.887 % |
131.53/131.63	c |    115472 |   24136   305008   959484 | 2147483647   115407    383 |  0.887 % |
133.23/133.30	c |    116631 |   24136   305008   959484 | 2147483647   116566    385 |  0.887 % |
135.23/135.36	c |    117904 |   24136   305008   959484 | 2147483647   117839    387 |  0.887 % |
135.43/135.56	c |    118004 |   24136   305008   959484 | 2147483647   117939    387 |  0.887 % |
136.03/136.14	c |    118116 |   24136   305008   959484 | 2147483647   118051    387 |  0.887 % |
136.43/136.53	c |    118239 |   24136   305008   959484 | 2147483647   118174    387 |  0.887 % |
136.63/136.77	c |    118372 |   24136   305008   959484 | 2147483647   118307    387 |  0.887 % |
136.83/136.98	c |    118519 |   24136   305008   959484 | 2147483647   118454    388 |  0.887 % |
137.53/137.62	c |    118679 |   24136   305008   959484 | 2147483647   118614    387 |  0.887 % |
138.03/138.11	c |    118857 |   24136   305008   959484 | 2147483647   118792    387 |  0.887 % |
138.53/138.63	c |    119050 |   24136   305008   959484 | 2147483647   118985    387 |  0.887 % |
139.13/139.23	c |    119263 |   24136   305008   959484 | 2147483647   119198    387 |  0.887 % |
139.33/139.47	c |    119496 |   24136   305008   959484 | 2147483647   119431    387 |  0.887 % |
140.23/140.31	c |    119753 |   24136   305008   959484 | 2147483647   119688    387 |  0.887 % |
140.43/140.60	c |    120034 |   24136   305008   959484 | 2147483647   119969    388 |  0.887 % |
141.22/141.39	c |    120346 |   24136   305008   959484 | 2147483647   120281    388 |  0.887 % |
142.23/142.39	c |    120686 |   24136   305008   959484 | 2147483647   120621    388 |  0.887 % |
143.53/143.68	c |    121058 |   24136   305008   959484 | 2147483647   120993    388 |  0.887 % |
145.13/145.29	c |    121467 |   24136   305008   959484 | 2147483647   121402    388 |  0.887 % |
146.13/146.28	c |    121916 |   24136   305008   959484 | 2147483647   121851    388 |  0.887 % |
146.62/146.76	c |    122410 |   24136   305008   959484 | 2147483647   122345    389 |  0.887 % |
147.23/147.39	c |    122955 |   24136   305008   959484 | 2147483647   122890    390 |  0.887 % |
148.63/148.76	c |    123552 |   24136   305008   959484 | 2147483647   123487    391 |  0.887 % |
149.73/149.82	c |    124207 |   24136   305008   959484 | 2147483647   124142    392 |  0.887 % |
151.23/151.33	c |    124927 |   24136   305008   959484 | 2147483647   124862    394 |  0.887 % |
152.62/152.73	c |    125720 |   24136   305008   959484 | 2147483647   125655    395 |  0.887 % |
153.42/153.55	c |    126592 |   24136   305008   959484 | 2147483647   126527    398 |  0.887 % |
154.32/154.49	c |    127552 |   24136   305008   959484 | 2147483647   127487    400 |  0.887 % |
156.13/156.25	c |    128605 |   24136   305008   959484 | 2147483647   128540    401 |  0.887 % |
157.53/157.64	c |    129763 |   24136   305008   959484 | 2147483647   129698    404 |  0.887 % |
158.82/158.97	c |    131036 |   24136   305008   959484 | 2147483647   130971    407 |  0.887 % |
160.53/160.64	c |    132437 |   24136   305008   959484 | 2147483647   132372    410 |  0.887 % |
160.72/160.81	c |    132539 |   24136   305008   959484 | 2147483647   132474    410 |  0.887 % |
161.22/161.32	c |    132649 |   24136   305008   959484 | 2147483647   132584    410 |  0.887 % |
161.52/161.62	c |    132770 |   24136   305008   959484 | 2147483647   132705    410 |  0.887 % |
161.92/162.06	c |    132903 |   24136   305008   959484 | 2147483647   132838    410 |  0.887 % |
162.52/162.61	c |    133052 |   24136   305008   959484 | 2147483647   132987    410 |  0.887 % |
163.13/163.25	c |    133212 |   24136   305008   959484 | 2147483647   133147    410 |  0.887 % |
163.52/163.69	c |    133388 |   24136   305008   959484 | 2147483647   133323    410 |  0.887 % |
163.82/163.99	c |    133582 |   24136   305008   959484 | 2147483647   133517    410 |  0.887 % |
165.02/165.14	c |    133794 |   24136   305008   959484 | 2147483647   133729    410 |  0.887 % |
165.52/165.65	c |    134029 |   24136   305008   959484 | 2147483647   133964    410 |  0.887 % |
166.22/166.36	c |    134287 |   24136   305008   959484 | 2147483647   134222    410 |  0.887 % |
166.62/166.77	c |    134570 |   24136   305008   959484 | 2147483647   134505    410 |  0.887 % |
167.12/167.29	c |    134880 |   24136   305008   959484 | 2147483647   134815    410 |  0.887 % |
168.72/168.87	c |    135219 |   24136   305008   959484 | 2147483647   135154    410 |  0.887 % |
169.52/169.67	c |    135591 |   24136   305008   959484 | 2147483647   135526    410 |  0.887 % |
170.33/170.41	c |    136002 |   24136   305008   959484 | 2147483647   135937    410 |  0.887 % |
171.62/171.76	c |    136454 |   24136   305008   959484 | 2147483647   136389    410 |  0.887 % |
172.92/173.08	c |    136947 |   24136   305008   959484 | 2147483647   136882    410 |  0.887 % |
174.42/174.53	c |    137489 |   24136   305008   959484 | 2147483647   137424    410 |  0.887 % |
175.71/175.83	c |    138086 |   24136   305008   959484 | 2147483647   138021    410 |  0.887 % |
176.93/177.03	c |    138742 |   24136   305008   959484 | 2147483647   138677    411 |  0.887 % |
178.92/179.00	c |    139463 |   24136   305008   959484 | 2147483647   139398    411 |  0.887 % |
180.41/180.56	c |    140256 |   24136   305008   959484 | 2147483647   140191    411 |  0.887 % |
180.91/181.09	c |    141127 |   24136   305008   959484 | 2147483647   141062    413 |  0.887 % |
182.62/182.76	c |    142085 |   24136   305008   959484 | 2147483647   142020    414 |  0.887 % |
184.82/184.90	c |    143138 |   24136   305008   959484 | 2147483647   143073    414 |  0.887 % |
186.31/186.48	c |    144297 |   24136   305008   959484 | 2147483647   144232    416 |  0.887 % |
187.92/188.09	c |    145571 |   24136   305008   959484 | 2147483647   145506    418 |  0.887 % |
190.02/190.11	c |    146971 |   24136   305008   959484 | 2147483647   146906    419 |  0.887 % |
194.21/194.32	c |    148511 |   24136   305008   959484 | 2147483647   148446    419 |  0.887 % |
194.71/194.87	c |    148611 |   24136   305008   959484 | 2147483647   148546    419 |  0.887 % |
195.11/195.22	c |    148723 |   24136   305008   959484 | 2147483647   148658    419 |  0.887 % |
195.71/195.88	c |    148845 |   24136   305008   959484 | 2147483647   148780    419 |  0.887 % |
196.41/196.57	c |    148978 |   24136   305008   959484 | 2147483647   148913    419 |  0.887 % |
197.41/197.54	c |    149124 |   24136   305008   959484 | 2147483647   149059    418 |  0.887 % |
197.81/198.00	c |    149285 |   24136   305008   959484 | 2147483647   149220    418 |  0.887 % |
198.41/198.57	c |    149462 |   24136   305008   959484 | 2147483647   149397    418 |  0.887 % |
199.61/199.80	c |    149658 |   24136   305008   959484 | 2147483647   149593    418 |  0.887 % |
200.01/200.10	c |    149870 |   24136   305008   959484 | 2147483647   149805    418 |  0.887 % |
200.82/200.97	c |    150103 |   24136   305008   959484 | 2147483647   150038    418 |  0.887 % |
201.52/201.62	c |    150359 |   24136   305008   959484 | 2147483647   150294    418 |  0.887 % |
202.91/203.03	c |    150643 |   24136   305008   959484 | 2147483647   150578    418 |  0.887 % |
203.61/203.76	c |    150952 |   24136   305008   959484 | 2147483647   150887    418 |  0.887 % |
205.01/205.15	c |    151291 |   24136   305008   959484 | 2147483647   151226    418 |  0.887 % |
206.21/206.31	c |    151664 |   24136   305008   959484 | 2147483647   151599    417 |  0.887 % |
206.81/206.91	c |    152074 |   24136   305008   959484 | 2147483647   152009    418 |  0.887 % |
208.01/208.16	c |    152523 |   24136   305008   959484 | 2147483647   152458    418 |  0.887 % |
209.01/209.11	c |    153018 |   24136   305008   959484 | 2147483647   152953    419 |  0.887 % |
210.40/210.54	c |    153560 |   24136   305008   959484 | 2147483647   153495    419 |  0.887 % |
212.60/212.80	c |    154156 |   24136   305008   959484 | 2147483647   154091    419 |  0.887 % |
214.10/214.26	c |    154811 |   24136   305008   959484 | 2147483647   154746    419 |  0.887 % |
217.51/217.68	c |    155531 |   24136   305008   959484 | 2147483647   155466    418 |  0.887 % |
218.81/218.92	c |    156323 |   24136   305008   959484 | 2147483647   156258    419 |  0.887 % |
220.91/221.08	c |    157196 |   24136   305008   959484 | 2147483647   157131    420 |  0.887 % |
223.21/223.35	c |    158155 |   24136   305008   959484 | 2147483647   158090    420 |  0.887 % |
224.90/225.01	c |    159208 |   24136   305008   959484 | 2147483647   159143    422 |  0.887 % |
227.10/227.21	c |    160366 |   24136   305008   959484 | 2147483647   160301    423 |  0.887 % |
230.81/230.92	c |    161640 |   24136   305008   959484 | 2147483647   161575    423 |  0.887 % |
232.40/232.55	c |    163041 |   24136   305008   959484 | 2147483647   162976    425 |  0.887 % |
236.20/236.32	c |    164581 |   24136   305008   959484 | 2147483647   164516    427 |  0.887 % |
238.90/239.09	c |    166275 |   24136   305008   959484 | 2147483647   166210    430 |  0.887 % |
239.20/239.33	c |    166376 |   24136   305008   959484 | 2147483647   166311    430 |  0.887 % |
239.60/239.78	c |    166486 |   24136   305008   959484 | 2147483647   166421    429 |  0.887 % |
240.60/240.76	c |    166607 |   24136   305008   959484 | 2147483647   166542    429 |  0.887 % |
241.11/241.22	c |    166742 |   24136   305008   959484 | 2147483647   166677    429 |  0.887 % |
241.40/241.51	c |    166889 |   24136   305008   959484 | 2147483647   166824    429 |  0.887 % |
241.70/241.87	c |    167050 |   24136   305008   959484 | 2147483647   166985    429 |  0.887 % |
242.60/242.79	c |    167226 |   24136   305008   959484 | 2147483647   167161    429 |  0.887 % |
243.60/243.73	c |    167419 |   24136   305008   959484 | 2147483647   167354    429 |  0.887 % |
244.80/244.94	c |    167631 |   24136   305008   959484 | 2147483647   167566    429 |  0.887 % |
245.30/245.49	c |    167865 |   24136   305008   959484 | 2147483647   167800    429 |  0.887 % |
246.10/246.25	c |    168121 |   24136   305008   959484 | 2147483647   168056    429 |  0.887 % |
246.60/246.75	c |    168402 |   24136   305008   959484 | 2147483647   168337    430 |  0.887 % |
247.30/247.46	c |    168711 |   24136   305008   959484 | 2147483647   168646    430 |  0.887 % |
248.00/248.19	c |    169050 |   24136   305008   959484 | 2147483647   168985    430 |  0.887 % |
249.61/249.71	c |    169423 |   24136   305008   959484 | 2147483647   169358    431 |  0.887 % |
250.71/250.84	c |    169833 |   24136   305008   959484 | 2147483647   169768    431 |  0.887 % |
251.40/251.54	c |    170282 |   24136   305008   959484 | 2147483647   170217    432 |  0.887 % |
254.39/254.56	c |    170777 |   24136   305008   959484 | 2147483647   170712    431 |  0.887 % |
255.30/255.42	c |    171321 |   24136   305008   959484 | 2147483647   171256    432 |  0.887 % |
257.30/257.43	c |    171917 |   24136   305008   959484 | 2147483647   171852    432 |  0.887 % |
259.19/259.32	c |    172574 |   24136   305008   959484 | 2147483647   172509    432 |  0.887 % |
261.09/261.25	c |    173294 |   24136   305008   959484 | 2147483647   173229    432 |  0.887 % |
262.90/263.00	c |    174087 |   24136   305008   959484 | 2147483647   174022    432 |  0.887 % |
264.69/264.80	c |    174959 |   24136   305008   959484 | 2147483647   174894    433 |  0.887 % |
266.39/266.59	c |    175919 |   24136   305008   959484 | 2147483647   175854    434 |  0.887 % |
267.90/268.04	c |    176972 |   24136   305008   959484 | 2147483647   176907    435 |  0.887 % |
270.89/271.06	c |    178131 |   24136   305008   959484 | 2147483647   178066    436 |  0.887 % |
272.70/272.88	c |    179406 |   24136   305008   959484 | 2147483647   179341    438 |  0.887 % |
275.49/275.62	c |    180806 |   24136   305008   959484 | 2147483647   180741    439 |  0.887 % |
280.19/280.40	c |    182346 |   24136   305008   959484 | 2147483647   182281    440 |  0.887 % |
281.99/282.19	c |    184041 |   24136   305008   959484 | 2147483647   183976    443 |  0.887 % |
288.49/288.68	c |    185905 |   24136   305008   959484 | 2147483647   185840    442 |  0.887 % |
289.09/289.23	c |    186005 |   24136   305008   959484 | 2147483647   185940    442 |  0.887 % |
289.99/290.15	c |    186115 |   24136   305008   959484 | 2147483647   186050    442 |  0.887 % |
290.49/290.67	c |    186237 |   24136   305008   959484 | 2147483647   186172    442 |  0.887 % |
290.79/290.97	c |    186373 |   24136   305008   959484 | 2147483647   186308    442 |  0.887 % |
291.49/291.69	c |    186520 |   24136   305008   959484 | 2147483647   186455    442 |  0.887 % |
292.39/292.56	c |    186682 |   24136   305008   959484 | 2147483647   186617    442 |  0.887 % |
292.89/293.00	c |    186858 |   24136   305008   959484 | 2147483647   186793    442 |  0.887 % |
293.49/293.60	c |    187051 |   24136   305008   959484 | 2147483647   186986    443 |  0.887 % |
294.48/294.69	c |    187264 |   24136   305008   959484 | 2147483647   187199    442 |  0.887 % |
294.78/294.91	c |    187498 |   24136   305008   959484 | 2147483647   187433    443 |  0.887 % |
295.69/295.83	c |    187755 |   24136   305008   959484 | 2147483647   187690    442 |  0.887 % |
296.58/296.75	c |    188037 |   24136   305008   959484 | 2147483647   187972    442 |  0.887 % |
297.58/297.75	c |    188346 |   24136   305008   959484 | 2147483647   188281    442 |  0.887 % |
299.08/299.24	c |    188685 |   24136   305008   959484 | 2147483647   188620    442 |  0.887 % |
299.99/300.15	c |    189057 |   24136   305008   959484 | 2147483647   188992    442 |  0.887 % |
300.98/301.20	c |    189467 |   24136   305008   959484 | 2147483647   189402    442 |  0.887 % |
301.58/301.78	c |    189917 |   24136   305008   959484 | 2147483647   189852    443 |  0.887 % |
304.18/304.35	c |    190411 |   24136   305008   959484 | 2147483647   190346    443 |  0.887 % |
305.59/305.76	c |    190954 |   24136   305008   959484 | 2147483647   190889    443 |  0.887 % |
306.69/306.89	c |    191550 |   24136   305008   959484 | 2147483647   191485    443 |  0.887 % |
308.29/308.48	c |    192207 |   24136   305008   959484 | 2147483647   192142    443 |  0.887 % |
309.38/309.51	c |    192932 |   24136   305008   959484 | 2147483647   192867    446 |  0.887 % |
311.48/311.60	c |    193724 |   24136   305008   959484 | 2147483647   193659    447 |  0.887 % |
314.68/314.87	c |    194596 |   24136   305008   959484 | 2147483647   194531    447 |  0.887 % |
316.38/316.58	c |    195555 |   24136   305008   959484 | 2147483647   195490    447 |  0.887 % |
317.78/317.94	c |    196609 |   24136   305008   959484 | 2147483647   196544    448 |  0.887 % |
318.98/319.11	c |    197767 |   24136   305008   959484 | 2147483647   197702    450 |  0.887 % |
321.28/321.43	c |    199041 |   24136   305008   959484 | 2147483647   198976    450 |  0.887 % |
326.08/326.24	c |    200441 |   24136   305008   959484 |   199936   200376    453 |  0.887 % |
328.97/329.12	c |    201981 |   24136   305008   959484 |   199936   178075    467 |  0.887 % |
333.37/333.51	c |    203677 |   24136   305008   959484 |   199936   179771    467 |  0.887 % |
336.47/336.60	c |    205540 |   24136   305008   959484 |   199936   181634    469 |  0.887 % |
341.57/341.78	c |    207590 |   24136   305008   959484 |   199936   183684    470 |  0.887 % |
342.17/342.39	c |    207691 |   24136   305008   959484 |   199936   183785    470 |  0.887 % |
342.47/342.68	c |    207802 |   24136   305008   959484 |   199936   183896    470 |  0.887 % |
342.77/342.92	c |    207925 |   24136   305008   959484 |   199936   184019    470 |  0.887 % |
343.37/343.58	c |    208059 |   24136   305008   959484 |   199936   184153    470 |  0.887 % |
344.27/344.40	c |    208206 |   24136   305008   959484 |   199936   184300    470 |  0.887 % |
344.67/344.87	c |    208366 |   24136   305008   959484 |   199936   184460    470 |  0.887 % |
345.37/345.58	c |    208543 |   24136   305008   959484 |   199936   184637    470 |  0.887 % |
346.37/346.51	c |    208736 |   24136   305008   959484 |   199936   184830    470 |  0.887 % |
346.97/347.15	c |    208948 |   24136   305008   959484 |   199936   185042    470 |  0.887 % |
347.47/347.65	c |    209182 |   24136   305008   959484 |   199936   185276    470 |  0.887 % |
348.47/348.62	c |    209439 |   24136   305008   959484 |   199936   185533    470 |  0.887 % |
349.87/350.02	c |    209721 |   24136   305008   959484 |   199936   185815    470 |  0.887 % |
351.27/351.40	c |    210031 |   24136   305008   959484 |   186095   186125    470 |  0.887 % |
353.07/353.23	c |    210370 |   24136   305008   959484 |   186095   186464    470 |  0.887 % |
354.96/355.14	c |    210742 |   24136   305008   959484 |   186095   168190    496 |  0.887 % |
355.87/356.01	c |    211152 |   24136   305008   959484 |   186095   168600    497 |  0.887 % |
357.06/357.29	c |    211602 |   24136   305008   959484 |   186095   169050    497 |  0.887 % |
358.06/358.21	c |    212096 |   24136   305008   959484 |   186095   169544    497 |  0.887 % |
359.36/359.56	c |    212638 |   24136   305008   959484 |   186095   170086    498 |  0.887 % |
361.77/361.92	c |    213235 |   24136   305008   959484 |   186095   170683    498 |  0.887 % |
364.56/364.76	c |    213890 |   24136   305008   959484 |   186095   171338    497 |  0.887 % |
367.06/367.22	c |    214611 |   24136   305008   959484 |   186095   172059    498 |  0.887 % |
369.46/369.65	c |    215405 |   24136   305008   959484 |   186095   172853    498 |  0.887 % |
372.36/372.58	c |    216277 |   24136   305008   959484 |   186095   173725    497 |  0.887 % |
376.16/376.38	c |    217235 |   24136   305008   959484 |   186095   174683    497 |  0.887 % |
378.06/378.20	c |    218289 |   24136   305008   959484 |   186095   175737    498 |  0.887 % |
380.06/380.24	c |    219448 |   24136   305008   959484 |   186095   176896    499 |  0.887 % |
382.56/382.70	c |    220721 |   24136   305008   959484 |   177448   178169    500 |  0.887 % |
386.86/387.04	c |    222121 |   24136   305008   959484 |   177448   150363    533 |  0.887 % |
390.56/390.77	c |    223666 |   24136   305008   959484 |   177448   151908    534 |  0.887 % |
393.76/393.94	c |    225360 |   24136   305008   959484 |   177448   153602    535 |  0.887 % |
403.65/403.86	c |    227223 |   24136   305008   959484 |   177448   155465    532 |  0.887 % |
409.85/410.05	c |    229272 |   24136   305008   959484 |   177448   157514    533 |  0.887 % |
412.15/412.34	c |    231525 |   24136   305008   959484 | 2147483647   159767    537 |  0.887 % |
412.85/413.04	c |    231625 |   24136   305008   959484 | 2147483647   159867    537 |  0.887 % |
413.45/413.60	c |    231735 |   24136   305008   959484 | 2147483647   159977    537 |  0.887 % |
413.75/414.00	c |    231857 |   24136   305008   959484 | 2147483647   160099    537 |  0.887 % |
414.35/414.50	c |    231990 |   24136   305008   959484 | 2147483647   160232    537 |  0.887 % |
415.75/415.92	c |    232136 |   24136   305008   959484 | 2147483647   160378    536 |  0.887 % |
416.35/416.58	c |    232298 |   24136   305008   959484 | 2147483647   160540    537 |  0.887 % |
416.75/416.96	c |    232475 |   24136   305008   959484 | 2147483647   160717    536 |  0.887 % |
417.15/417.32	c |    232668 |   24136   305008   959484 | 2147483647   160910    536 |  0.887 % |
418.15/418.37	c |    232880 |   24136   305008   959484 | 2147483647   161122    536 |  0.887 % |
419.35/419.51	c |    233114 |   24136   305008   959484 | 2147483647   161356    536 |  0.887 % |
419.95/420.17	c |    233371 |   24136   305008   959484 | 2147483647   161613    536 |  0.887 % |
421.65/421.88	c |    233652 |   24136   305008   959484 | 2147483647   161894    536 |  0.887 % |
422.65/422.87	c |    233962 |   24136   305008   959484 | 2147483647   162204    536 |  0.887 % |
424.65/424.87	c |    234302 |   24136   305008   959484 | 2147483647   162544    536 |  0.887 % |
425.75/425.98	c |    234674 |   24136   305008   959484 | 2147483647   162916    536 |  0.887 % |
427.04/427.27	c |    235083 |   24136   305008   959484 | 2147483647   163325    536 |  0.887 % |
428.34/428.50	c |    235533 |   24136   305008   959484 | 2147483647   163775    536 |  0.887 % |
430.04/430.21	c |    236028 |   24136   305008   959484 | 2147483647   164270    536 |  0.887 % |
431.64/431.85	c |    236570 |   24136   305008   959484 | 2147483647   164812    537 |  0.887 % |
433.74/433.97	c |    237167 |   24136   305008   959484 | 2147483647   165409    536 |  0.887 % |
434.84/435.08	c |    237823 |   24136   305008   959484 | 2147483647   166065    537 |  0.887 % |
438.93/439.12	c |    238544 |   24136   305008   959484 | 2147483647   166786    536 |  0.887 % |
441.14/441.32	c |    239336 |   24136   305008   959484 | 2147483647   167578    536 |  0.887 % |
444.24/444.44	c |    240207 |   24136   305008   959484 |   168242   168449    536 |  0.887 % |
446.93/447.15	c |    241169 |   24136   305008   959484 |   168242   169411    536 |  0.887 % |
448.43/448.61	c |    242222 |   24136   305008   959484 |   168242   149223    533 |  0.887 % |
450.13/450.38	c |    243380 |   24136   305008   959484 |   168242   150381    535 |  0.887 % |
452.43/452.63	c |    244653 |   24136   305008   959484 |   168242   151654    536 |  0.887 % |
457.33/457.52	c |    246053 |   24136   305008   959484 |   168242   153054    536 |  0.887 % |
461.03/461.25	c |    247596 |   24136   305008   959484 |   168242   154597    538 |  0.887 % |
463.53/463.78	c |    249291 |   24136   305008   959484 |   168242   156292    539 |  0.887 % |
470.22/470.41	c |    251156 |   24136   305008   959484 |   157002   158157    539 |  0.887 % |
475.92/476.12	c |    253206 |   24136   305008   959484 |   157002   144057    541 |  0.887 % |
480.22/480.40	c |    255459 |   24136   305008   959484 |   157002   146310    542 |  0.887 % |
485.52/485.77	c |    257938 |   24136   305008   959484 |   157002   148789    543 |  0.887 % |
486.02/486.25	c |    258038 |   24136   305008   959484 |   157002   148889    543 |  0.887 % |
486.82/487.00	c |    258149 |   24136   305008   959484 |   157002   149000    543 |  0.887 % |
487.22/487.41	c |    258270 |   24136   305008   959484 |   157002   149121    543 |  0.887 % |
487.92/488.13	c |    258404 |   24136   305008   959484 |   157002   149255    542 |  0.887 % |
489.22/489.48	c |    258550 |   24136   305008   959484 |   157002   149401    542 |  0.887 % |
490.62/490.83	c |    258713 |   24136   305008   959484 |   157002   149564    542 |  0.887 % |
491.42/491.63	c |    258889 |   24136   305008   959484 |   157002   149740    542 |  0.887 % |
493.02/493.21	c |    259082 |   24136   305008   959484 |   157002   149933    541 |  0.887 % |
493.72/493.92	c |    259297 |   24136   305008   959484 |   157002   150148    541 |  0.887 % |
494.52/494.77	c |    259530 |   24136   305008   959484 |   157002   150381    541 |  0.887 % |
495.62/495.81	c |    259786 |   24136   305008   959484 |   157002   150637    541 |  0.887 % |
496.52/496.70	c |    260074 |   24136   305008   959484 |   150852   150925    541 |  0.887 % |
497.72/497.98	c |    260383 |   24136   305008   959484 |   150852   151234    541 |  0.887 % |
498.91/499.14	c |    260722 |   24136   305008   959484 |   150852   135423    535 |  0.887 % |
500.81/501.01	c |    261095 |   24136   305008   959484 |   150852   135796    534 |  0.887 % |
502.11/502.30	c |    261505 |   24136   305008   959484 |   150852   136206    534 |  0.887 % |
503.31/503.52	c |    261955 |   24136   305008   959484 |   150852   136656    534 |  0.887 % |
505.11/505.35	c |    262448 |   24136   305008   959484 |   150852   137149    533 |  0.887 % |
506.82/507.08	c |    262991 |   24136   305008   959484 |   150852   137692    533 |  0.887 % |
508.21/508.50	c |    263587 |   24136   305008   959484 |   150852   138288    533 |  0.887 % |
509.81/510.02	c |    264246 |   24136   305008   959484 |   150852   138947    534 |  0.887 % |
510.81/511.05	c |    264970 |   24136   305008   959484 |   150852   139671    535 |  0.887 % |
512.91/513.16	c |    265766 |   24136   305008   959484 |   150852   140467    537 |  0.887 % |
514.21/514.45	c |    266639 |   24136   305008   959484 |   150852   141340    538 |  0.887 % |
515.31/515.50	c |    267597 |   24136   305008   959484 |   150852   142298    538 |  0.887 % |
519.42/519.61	c |    268651 |   24136   305008   959484 |   150852   143352    538 |  0.887 % |
521.92/522.16	c |    269809 |   24136   305008   959484 |   150852   144510    538 |  0.887 % |
524.81/525.05	c |    271082 |   24136   305008   959484 | 2147483647   145783    538 |  0.887 % |
528.71/528.92	c |    272482 |   24136   305008   959484 | 2147483647   147183    538 |  0.887 % |
533.71/533.98	c |    274022 |   24136   305008   959484 | 2147483647   148723    537 |  0.887 % |
537.11/537.33	c |    275716 |   24136   305008   959484 | 2147483647   150417    539 |  0.887 % |
539.01/539.21	c |    277579 |   24136   305008   959484 | 2147483647   152280    541 |  0.887 % |
541.11/541.38	c |    279629 |   24136   305008   959484 | 2147483647   154330    543 |  0.887 % |
548.31/548.51	c |    281882 |   24136   305008   959484 |   154702   156583    542 |  0.887 % |
559.40/559.66	c |    284360 |   24136   305008   959484 |   154702   143403    540 |  0.887 % |
565.70/565.93	c |    287085 |   24136   305008   959484 |   154702   146128    540 |  0.887 % |
566.21/566.47	c |    287189 |   24136   305008   959484 |   154702   146232    540 |  0.887 % |
567.00/567.24	c |    287299 |   24136   305008   959484 |   154702   146342    539 |  0.887 % |
567.41/567.63	c |    287420 |   24136   305008   959484 |   154702   146463    539 |  0.887 % |
567.80/568.08	c |    287554 |   24136   305008   959484 |   154702   146597    539 |  0.887 % |
568.60/568.86	c |    287702 |   24136   305008   959484 |   154702   146745    539 |  0.887 % |
569.00/569.25	c |    287865 |   24136   305008   959484 |   154702   146908    539 |  0.887 % |
569.60/569.89	c |    288042 |   24136   305008   959484 |   154702   147085    539 |  0.887 % |
570.80/571.05	c |    288235 |   24136   305008   959484 |   154702   147278    538 |  0.887 % |
571.30/571.60	c |    288447 |   24136   305008   959484 |   154702   147490    538 |  0.887 % |
573.00/573.23	c |    288681 |   24136   305008   959484 |   154702   147724    538 |  0.887 % |
573.40/573.61	c |    288938 |   24136   305008   959484 |   154702   147981    538 |  0.887 % |
575.10/575.34	c |    289219 |   24136   305008   959484 |   154702   148262    537 |  0.887 % |
575.50/575.70	c |    289530 |   24136   305008   959484 |   154702   148573    537 |  0.887 % |
576.50/576.71	c |    289869 |   24136   305008   959484 |   154702   148912    537 |  0.887 % |
577.50/577.72	c |    290242 |   24136   305008   959484 | 2147483647   149285    538 |  0.887 % |
578.40/578.68	c |    290651 |   24136   305008   959484 | 2147483647   149694    538 |  0.887 % |
579.30/579.55	c |    291100 |   24136   305008   959484 | 2147483647   150143    538 |  0.887 % |
580.10/580.37	c |    291595 |   24136   305008   959484 | 2147483647   150638    540 |  0.887 % |
581.60/581.89	c |    292138 |   24136   305008   959484 | 2147483647   151181    540 |  0.887 % |
584.09/584.32	c |    292734 |   24136   305008   959484 | 2147483647   151777    539 |  0.887 % |
584.90/585.13	c |    293390 |   24136   305008   959484 | 2147483647   152433    539 |  0.887 % |
587.29/587.55	c |    294111 |   24136   305008   959484 | 2147483647   153154    539 |  0.887 % |
589.30/589.59	c |    294903 |   24136   305008   959484 | 2147483647   153946    539 |  0.887 % |
593.19/593.42	c |    295775 |   24136   305008   959484 | 2147483647   154818    538 |  0.887 % |
596.69/596.90	c |    296733 |   24136   305008   959484 | 2147483647   155776    538 |  0.887 % |
599.09/599.38	c |    297788 |   24136   305008   959484 | 2147483647   156831    538 |  0.887 % |
602.39/602.62	c |    298949 |   24136   305008   959484 | 2147483647   157992    539 |  0.887 % |
603.29/603.55	c |    300223 |   24136   305008   959484 | 2147483647   159266    540 |  0.887 % |
606.29/606.55	c |    301624 |   24136   305008   959484 | 2147483647   160667    541 |  0.887 % |
610.49/610.79	c |    303165 |   24136   305008   959484 | 2147483647   162208    541 |  0.887 % |
614.08/614.34	c |    304859 |   24136   305008   959484 | 2147483647   163902    542 |  0.887 % |
618.38/618.69	c |    306722 |   24136   305008   959484 | 2147483647   165765    544 |  0.887 % |
622.88/623.16	c |    308771 |   24136   305008   959484 | 2147483647   167814    545 |  0.887 % |
624.77/625.05	c |    311024 |   24136   305008   959484 |   169045   170067    548 |  0.887 % |
631.68/631.94	c |    313503 |   24136   305008   959484 |   169045   144188    553 |  0.887 % |
635.28/635.54	c |    316231 |   24136   305008   959484 |   169045   146916    557 |  0.887 % |
639.18/639.49	c |    319228 |   24136   305008   959484 |   169045   149913    563 |  0.887 % |
639.88/640.10	c |    319329 |   24136   305008   959484 |   169045   150014    563 |  0.887 % |
640.18/640.48	c |    319439 |   24136   305008   959484 |   169045   150124    563 |  0.887 % |
641.08/641.33	c |    319560 |   24136   305008   959484 |   169045   150245    562 |  0.887 % |
641.78/642.03	c |    319695 |   24136   305008   959484 |   169045   150380    562 |  0.887 % |
642.18/642.48	c |    319843 |   24136   305008   959484 |   169045   150528    562 |  0.887 % |
642.68/642.96	c |    320003 |   24136   305008   959484 |   150686   150688    562 |  0.887 % |
644.08/644.31	c |    320179 |   24136   305008   959484 |   150686   150864    562 |  0.887 % |
644.38/644.64	c |    320372 |   24136   305008   959484 |   150686   151057    562 |  0.887 % |
645.08/645.36	c |    320584 |   24136   305008   959484 |   150686   135104    561 |  0.887 % |
645.58/645.84	c |    320817 |   24136   305008   959484 |   150686   135337    561 |  0.887 % |
645.98/646.22	c |    321075 |   24136   305008   959484 |   150686   135595    561 |  0.887 % |
646.48/646.78	c |    321356 |   24136   305008   959484 |   150686   135876    561 |  0.887 % |
647.78/648.07	c |    321665 |   24136   305008   959484 |   150686   136185    560 |  0.887 % |
648.18/648.47	c |    322006 |   24136   305008   959484 |   150686   136526    561 |  0.887 % |
649.88/650.14	c |    322378 |   24136   305008   959484 |   150686   136898    560 |  0.887 % |
651.47/651.72	c |    322788 |   24136   305008   959484 |   150686   137308    560 |  0.887 % |
653.27/653.53	c |    323237 |   24136   305008   959484 |   150686   137757    560 |  0.887 % |
653.87/654.19	c |    323731 |   24136   305008   959484 |   150686   138251    560 |  0.887 % |
655.28/655.58	c |    324274 |   24136   305008   959484 |   150686   138794    560 |  0.887 % |
657.37/657.69	c |    324872 |   24136   305008   959484 |   150686   139392    560 |  0.887 % |
659.47/659.71	c |    325529 |   24136   305008   959484 |   150686   140049    560 |  0.887 % |
662.17/662.44	c |    326249 |   24136   305008   959484 |   150686   140769    560 |  0.887 % |
663.27/663.57	c |    327041 |   24136   305008   959484 |   150686   141561    562 |  0.887 % |
665.27/665.55	c |    327912 |   24136   305008   959484 |   150686   142432    562 |  0.887 % |
668.17/668.48	c |    328870 |   24136   305008   959484 |   150686   143390    561 |  0.887 % |
670.17/670.43	c |    329923 |   24136   305008   959484 |   150686   144443    561 |  0.887 % |
674.07/674.38	c |    331083 |   24136   305008   959484 | 2147483647   145603    561 |  0.887 % |
676.17/676.47	c |    332357 |   24136   305008   959484 | 2147483647   146877    562 |  0.887 % |
679.37/679.67	c |    333761 |   24136   305008   959484 | 2147483647   148281    562 |  0.887 % |
682.17/682.44	c |    335302 |   24136   305008   959484 | 2147483647   149822    562 |  0.887 % |
686.86/687.16	c |    336996 |   24136   305008   959484 | 2147483647   151516    561 |  0.887 % |
691.06/691.37	c |    338859 |   24136   305008   959484 | 2147483647   153379    562 |  0.887 % |
697.06/697.32	c |    340909 |   24136   305008   959484 |   154520   137535    560 |  0.887 % |
700.96/701.20	c |    343162 |   24136   305008   959484 |   154520   139788    562 |  0.887 % |
707.56/707.86	c |    345640 |   24136   305008   959484 |   154520   142266    561 |  0.887 % |
711.66/711.94	c |    348365 |   24136   305008   959484 |   154520   144991    563 |  0.887 % |
716.55/716.80	c |    351362 |   24136   305008   959484 |   146626   147988    566 |  0.887 % |
722.36/722.65	c |    354658 |   24136   305008   959484 |   146626   127431    566 |  0.887 % |
722.85/723.18	c |    354760 |   24136   305008   959484 |   146626   127533    566 |  0.887 % |
723.25/723.59	c |    354871 |   24136   305008   959484 |   146626   127644    566 |  0.887 % |
723.85/724.20	c |    354992 |   24136   305008   959484 |   146626   127765    566 |  0.887 % |
724.25/724.55	c |    355127 |   24136   305008   959484 |   146626   127900    566 |  0.887 % |
724.56/724.85	c |    355273 |   24136   305008   959484 |   146626   128046    566 |  0.887 % |
725.15/725.43	c |    355434 |   24136   305008   959484 |   146626   128207    565 |  0.887 % |
725.55/725.88	c |    355610 |   24136   305008   959484 |   146626   128383    565 |  0.887 % |
726.15/726.43	c |    355804 |   24136   305008   959484 |   146626   128577    566 |  0.887 % |
726.45/726.77	c |    356016 |   24136   305008   959484 |   146626   128789    566 |  0.887 % |
727.15/727.43	c |    356249 |   24136   305008   959484 |   146626   129022    565 |  0.887 % |
727.85/728.12	c |    356505 |   24136   305008   959484 |   146626   129278    565 |  0.887 % |
728.55/728.83	c |    356786 |   24136   305008   959484 |   146626   129559    565 |  0.887 % |
729.35/729.67	c |    357097 |   24136   305008   959484 |   146626   129870    565 |  0.887 % |
729.95/730.20	c |    357436 |   24136   305008   959484 |   146626   130209    565 |  0.887 % |
732.05/732.30	c |    357809 |   24136   305008   959484 |   146626   130582    564 |  0.887 % |
732.85/733.11	c |    358219 |   24136   305008   959484 |   146626   130992    564 |  0.887 % |
733.15/733.45	c |    358671 |   24136   305008   959484 |   146626   131444    565 |  0.887 % |
735.45/735.72	c |    359165 |   24136   305008   959484 |   146626   131938    564 |  0.887 % |
736.15/736.49	c |    359708 |   24136   305008   959484 |   146626   132481    564 |  0.887 % |
737.44/737.79	c |    360305 |   24136   305008   959484 | 2147483647   133078    564 |  0.887 % |
739.44/739.79	c |    360962 |   24136   305008   959484 | 2147483647   133735    563 |  0.887 % |
741.54/741.85	c |    361682 |   24136   305008   959484 | 2147483647   134455    564 |  0.887 % |
742.74/743.09	c |    362474 |   24136   305008   959484 | 2147483647   135247    564 |  0.887 % |
744.04/744.34	c |    363345 |   24136   305008   959484 | 2147483647   136118    564 |  0.887 % |
745.84/746.17	c |    364305 |   24136   305008   959484 | 2147483647   137078    565 |  0.887 % |
748.94/749.28	c |    365359 |   24136   305008   959484 | 2147483647   138132    565 |  0.887 % |
752.04/752.40	c |    366521 |   24136   305008   959484 | 2147483647   139294    564 |  0.887 % |
755.14/755.45	c |    367795 |   24136   305008   959484 | 2147483647   140568    564 |  0.887 % |
758.74/759.09	c |    369195 |   24136   305008   959484 | 2147483647   141968    564 |  0.887 % |
762.94/763.30	c |    370736 |   24136   305008   959484 |   142773   143509    564 |  0.887 % |
767.83/768.18	c |    372434 |   24136   305008   959484 |   142773   123385    568 |  0.887 % |
771.73/772.09	c |    374297 |   24136   305008   959484 |   142773   125248    569 |  0.887 % |
777.63/777.94	c |    376348 |   24136   305008   959484 |   142773   127299    571 |  0.887 % |
782.03/782.30	c |    378602 |   24136   305008   959484 |   142773   129553    571 |  0.887 % |
786.33/786.61	c |    381083 |   24136   305008   959484 | 2147483647   132034    574 |  0.887 % |
790.43/790.73	c |    383808 |   24136   305008   959484 | 2147483647   134759    575 |  0.887 % |
797.52/797.80	c |    386805 |   24136   305008   959484 | 2147483647   137756    578 |  0.887 % |
804.62/804.93	c |    390103 |   24136   305008   959484 |   140952   141054    585 |  0.887 % |
811.22/811.55	c |    393728 |   24136   305008   959484 |   140952   117566    585 |  0.887 % |
811.52/811.88	c |    393828 |   24136   305008   959484 |   140952   117666    585 |  0.887 % |
811.92/812.28	c |    393938 |   24136   305008   959484 |   140952   117776    585 |  0.887 % |
812.62/812.92	c |    394059 |   24136   305008   959484 |   140952   117897    585 |  0.887 % |
813.22/813.50	c |    394192 |   24136   305008   959484 |   140952   118030    585 |  0.887 % |
813.82/814.13	c |    394338 |   24136   305008   959484 |   140952   118176    584 |  0.887 % |
814.41/814.70	c |    394498 |   24136   305008   959484 |   140952   118336    584 |  0.887 % |
815.41/815.79	c |    394675 |   24136   305008   959484 |   140952   118513    584 |  0.887 % |
815.92/816.27	c |    394868 |   24136   305008   959484 |   140952   118706    584 |  0.887 % |
816.11/816.47	c |    395080 |   24136   305008   959484 |   140952   118918    584 |  0.887 % |
816.81/817.17	c |    395313 |   24136   305008   959484 |   140952   119151    583 |  0.887 % |
817.81/818.19	c |    395569 |   24136   305008   959484 |   140952   119407    583 |  0.887 % |
819.41/819.70	c |    395850 |   24136   305008   959484 |   140952   119688    583 |  0.887 % |
820.61/820.91	c |    396159 |   24136   305008   959484 |   140952   119997    582 |  0.887 % |
822.01/822.35	c |    396498 |   24136   305008   959484 |   140952   120336    581 |  0.887 % |
824.31/824.60	c |    396870 |   24136   305008   959484 |   140952   120708    580 |  0.887 % |
826.01/826.34	c |    397280 |   24136   305008   959484 |   140952   121118    580 |  0.887 % |
826.61/826.97	c |    397729 |   24136   305008   959484 |   140952   121567    580 |  0.887 % |
828.31/828.66	c |    398222 |   24136   305008   959484 |   140952   122060    580 |  0.887 % |
830.81/831.10	c |    398764 |   24136   305008   959484 |   140952   122602    579 |  0.887 % |
831.61/831.99	c |    399360 |   24136   305008   959484 |   140952   123198    580 |  0.887 % |
833.51/833.85	c |    400015 |   24136   305008   959484 | 2147483647   123853    579 |  0.887 % |
836.41/836.71	c |    400736 |   24136   305008   959484 | 2147483647   124574    578 |  0.887 % |
838.01/838.36	c |    401528 |   24136   305008   959484 | 2147483647   125366    578 |  0.887 % |
839.31/839.67	c |    402400 |   24136   305008   959484 | 2147483647   126238    578 |  0.887 % |
840.60/840.90	c |    403359 |   24136   305008   959484 | 2147483647   127197    580 |  0.887 % |
841.30/841.65	c |    404413 |   24136   305008   959484 | 2147483647   128251    580 |  0.887 % |
843.01/843.30	c |    405574 |   24136   305008   959484 | 2147483647   129412    582 |  0.887 % |
846.80/847.17	c |    406847 |   24136   305008   959484 | 2147483647   130685    581 |  0.887 % |
848.91/849.25	c |    408247 |   24136   305008   959484 | 2147483647   132085    585 |  0.887 % |
853.70/854.06	c |    409788 |   24136   305008   959484 | 2147483647   133626    584 |  0.887 % |
854.80/855.17	c |    411482 |   24136   305008   959484 | 2147483647   135320    585 |  0.887 % |
857.60/857.91	c |    413347 |   24136   305008   959484 | 2147483647   137185    588 |  0.887 % |
859.10/859.41	c |    415397 |   24136   305008   959484 | 2147483647   139235    592 |  0.887 % |
863.50/863.82	c |    417652 |   24136   305008   959484 | 2147483647   141490    596 |  0.887 % |
870.01/870.37	c |    420130 |   24136   305008   959484 |   143838   143968    594 |  0.887 % |
875.80/876.15	c |    422856 |   24136   305008   959484 |   143838   117846    596 |  0.887 % |
882.60/882.97	c |    425853 |   24136   305008   959484 |   143838   120843    595 |  0.887 % |
888.00/888.35	c |    429149 |   24136   305008   959484 |   143838   124139    598 |  0.887 % |
892.80/893.12	c |    432775 |   24136   305008   959484 |   124991   127765    602 |  0.887 % |
901.30/901.62	c |    436762 |   24136   305008   959484 |   124991   115064    604 |  0.887 % |
901.70/902.10	c |    436862 |   24136   305008   959484 |   124991   115164    604 |  0.887 % |
902.10/902.47	c |    436972 |   24136   305008   959484 |   124991   115274    604 |  0.887 % |
902.80/903.13	c |    437093 |   24136   305008   959484 |   124991   115395    603 |  0.887 % |
903.80/904.17	c |    437226 |   24136   305008   959484 |   124991   115528    603 |  0.887 % |
904.29/904.61	c |    437372 |   24136   305008   959484 |   124991   115674    603 |  0.887 % |
904.49/904.88	c |    437532 |   24136   305008   959484 |   124991   115834    603 |  0.887 % |
905.39/905.78	c |    437708 |   24136   305008   959484 |   124991   116010    602 |  0.887 % |
905.79/906.17	c |    437901 |   24136   305008   959484 |   124991   116203    602 |  0.887 % |
907.20/907.51	c |    438113 |   24136   305008   959484 |   124991   116415    601 |  0.887 % |
907.79/908.11	c |    438348 |   24136   305008   959484 |   124991   116650    601 |  0.887 % |
907.89/908.29	c |    438604 |   24136   305008   959484 |   124991   116906    601 |  0.887 % |
908.30/908.67	c |    438886 |   24136   305008   959484 |   124991   117188    601 |  0.887 % |
910.09/910.47	c |    439195 |   24136   305008   959484 |   124991   117497    600 |  0.887 % |
911.09/911.47	c |    439534 |   24136   305008   959484 |   124991   117836    600 |  0.887 % |
912.19/912.53	c |    439906 |   24136   305008   959484 |   124991   118208    599 |  0.887 % |
912.89/913.21	c |    440315 |   24136   305008   959484 | 2147483647   118617    600 |  0.887 % |
913.69/914.08	c |    440764 |   24136   305008   959484 | 2147483647   119066    599 |  0.887 % |
915.19/915.57	c |    441258 |   24136   305008   959484 | 2147483647   119560    599 |  0.887 % |
916.29/916.61	c |    441802 |   24136   305008   959484 | 2147483647   120104    599 |  0.887 % |
918.29/918.66	c |    442398 |   24136   305008   959484 | 2147483647   120700    598 |  0.887 % |
920.59/920.95	c |    443053 |   24136   305008   959484 | 2147483647   121355    597 |  0.887 % |
922.39/922.76	c |    443775 |   24136   305008   959484 | 2147483647   122077    597 |  0.887 % |
926.39/926.70	c |    444567 |   24136   305008   959484 | 2147483647   122869    595 |  0.887 % |
928.59/928.95	c |    445439 |   24136   305008   959484 | 2147483647   123741    595 |  0.887 % |
930.48/930.86	c |    446399 |   24136   305008   959484 | 2147483647   124701    594 |  0.887 % |
933.38/933.71	c |    447454 |   24136   305008   959484 | 2147483647   125756    594 |  0.887 % |
937.18/937.60	c |    448617 |   24136   305008   959484 | 2147483647   126919    594 |  0.887 % |
940.98/941.31	c |    449890 |   24136   305008   959484 | 2147483647   128192    594 |  0.887 % |
943.18/943.57	c |    451291 |   24136   305008   959484 | 2147483647   129593    595 |  0.887 % |
946.78/947.17	c |    452832 |   24136   305008   959484 | 2147483647   131134    595 |  0.887 % |
949.68/950.09	c |    454526 |   24136   305008   959484 | 2147483647   132828    597 |  0.887 % |
955.38/955.79	c |    456392 |   24136   305008   959484 | 2147483647   134694    596 |  0.887 % |
959.17/959.52	c |    458441 |   24136   305008   959484 | 2147483647   136743    598 |  0.887 % |
962.57/962.94	c |    460695 |   24136   305008   959484 |   138302   138997    600 |  0.887 % |
967.27/967.64	c |    463173 |   24136   305008   959484 |   138302   120792    603 |  0.887 % |
976.17/976.50	c |    465898 |   24136   305008   959484 |   138302   123517    599 |  0.887 % |
981.77/982.10	c |    468896 |   24136   305008   959484 |   138302   126515    606 |  0.887 % |
988.07/988.49	c |    472193 |   24136   305008   959484 |   127620    98765    619 |  0.887 % |
993.26/993.68	c |    475819 |   24136   305008   959484 |   127620   102391    620 |  0.887 % |
999.86/1000.22	c |    479806 |   24136   305008   959484 |   127620   106378    618 |  0.887 % |
1006.06/1006.50	c |    484191 |   24136   305008   959484 |   106574    92968    613 |  0.887 % |
1006.26/1006.62	c |    484291 |   24136   305008   959484 |   106574    93068    612 |  0.887 % |
1006.66/1007.02	c |    484401 |   24136   305008   959484 |   106574    93178    612 |  0.887 % |
1006.96/1007.35	c |    484522 |   24136   305008   959484 |   106574    93299    612 |  0.887 % |
1007.86/1008.22	c |    484655 |   24136   305008   959484 |   106574    93432    611 |  0.887 % |
1008.16/1008.58	c |    484801 |   24136   305008   959484 |   106574    93578    611 |  0.887 % |
1008.36/1008.78	c |    484963 |   24136   305008   959484 |   106574    93740    611 |  0.887 % |
1009.26/1009.66	c |    485139 |   24136   305008   959484 |   106574    93916    610 |  0.887 % |
1009.56/1009.96	c |    485332 |   24136   305008   959484 |   106574    94109    610 |  0.887 % |
1009.96/1010.32	c |    485545 |   24136   305008   959484 |   106574    94322    610 |  0.887 % |
1010.46/1010.89	c |    485779 |   24136   305008   959484 |   106574    94556    609 |  0.887 % |
1010.66/1011.09	c |    486035 |   24136   305008   959484 |   106574    94812    610 |  0.887 % |
1011.56/1011.91	c |    486316 |   24136   305008   959484 |   106574    95093    609 |  0.887 % |
1012.15/1012.53	c |    486625 |   24136   305008   959484 |   106574    95402    608 |  0.887 % |
1012.55/1013.00	c |    486965 |   24136   305008   959484 |   106574    95742    608 |  0.887 % |
1014.26/1014.66	c |    487338 |   24136   305008   959484 |   106574    96115    607 |  0.887 % |
1014.86/1015.27	c |    487748 |   24136   305008   959484 |   106574    96525    607 |  0.887 % |
1016.35/1016.72	c |    488197 |   24136   305008   959484 |   106574    96974    606 |  0.887 % |
1016.85/1017.23	c |    488691 |   24136   305008   959484 |   106574    97468    606 |  0.887 % |
1017.75/1018.16	c |    489236 |   24136   305008   959484 |   106574    98013    606 |  0.887 % |
1019.65/1020.09	c |    489833 |   24136   305008   959484 |   106574    98610    605 |  0.887 % |
1022.45/1022.85	c |    490488 |   24136   305008   959484 | 2147483647    99265    603 |  0.887 % |
1023.25/1023.64	c |    491208 |   24136   305008   959484 | 2147483647    99985    604 |  0.887 % |
1024.95/1025.39	c |    492003 |   24136   305008   959484 | 2147483647   100780    603 |  0.887 % |
1026.85/1027.23	c |    492879 |   24136   305008   959484 | 2147483647   101656    603 |  0.887 % |
1027.35/1027.80	c |    493837 |   24136   305008   959484 | 2147483647   102614    604 |  0.887 % |
1029.55/1029.97	c |    494891 |   24136   305008   959484 | 2147483647   103668    606 |  0.887 % |
1031.35/1031.79	c |    496049 |   24136   305008   959484 | 2147483647   104826    605 |  0.887 % |
1033.55/1033.93	c |    497326 |   24136   305008   959484 | 2147483647   106103    606 |  0.887 % |
1035.85/1036.29	c |    498726 |   24136   305008   959484 | 2147483647   107503    606 |  0.887 % |
1040.05/1040.49	c |    500267 |   24136   305008   959484 | 2147483647   109044    607 |  0.887 % |
1042.55/1042.95	c |    501961 |   24136   305008   959484 | 2147483647   110738    606 |  0.887 % |
1046.65/1047.06	c |    503825 |   24136   305008   959484 | 2147483647   112602    610 |  0.887 % |
1049.24/1049.68	c |    505875 |   24136   305008   959484 | 2147483647   114652    612 |  0.887 % |
1055.55/1055.99	c |    508128 |   24136   305008   959484 | 2147483647   116905    609 |  0.887 % |
1061.04/1061.42	c |    510606 |   24136   305008   959484 | 2147483647   119383    616 |  0.887 % |
1063.44/1063.85	c |    513331 |   24136   305008   959484 | 2147483647   122108    621 |  0.887 % |
1072.64/1073.06	c |    516331 |   24136   305008   959484 | 2147483647   125108    620 |  0.887 % |
1078.44/1078.80	c |    519628 |   24136   305008   959484 | 2147483647   128405    618 |  0.887 % |
1081.83/1082.28	c |    523253 |   24136   305008   959484 | 2147483647   132030    620 |  0.887 % |
1094.13/1094.52	c |    527240 |   24136   305008   959484 | 2147483647   136017    622 |  0.887 % |
1099.53/1099.92	c |    531629 |   24136   305008   959484 |   138777   140406    636 |  0.887 % |
1104.73/1105.11	c |    536453 |   24136   305008   959484 |   138777   128779    642 |  0.887 % |
1105.13/1105.59	c |    536553 |   24136   305008   959484 |   138777   128879    642 |  0.887 % |
1105.83/1106.24	c |    536664 |   24136   305008   959484 |   138777   128990    641 |  0.887 % |
1106.13/1106.58	c |    536787 |   24136   305008   959484 |   138777   129113    641 |  0.887 % |
1106.73/1107.15	c |    536921 |   24136   305008   959484 |   138777   129247    641 |  0.887 % |
1107.03/1107.49	c |    537069 |   24136   305008   959484 |   138777   129395    641 |  0.887 % |
1107.83/1108.20	c |    537229 |   24136   305008   959484 |   138777   129555    641 |  0.887 % |
1108.03/1108.44	c |    537407 |   24136   305008   959484 |   138777   129733    641 |  0.887 % |
1108.33/1108.80	c |    537600 |   24136   305008   959484 |   138777   129926    641 |  0.887 % |
1109.23/1109.67	c |    537812 |   24136   305008   959484 |   138777   130138    640 |  0.887 % |
1109.73/1110.17	c |    538045 |   24136   305008   959484 |   138777   130371    640 |  0.887 % |
1111.02/1111.46	c |    538302 |   24136   305008   959484 |   138777   130628    639 |  0.887 % |
1112.92/1113.35	c |    538583 |   24136   305008   959484 |   138777   130909    638 |  0.887 % |
1114.02/1114.43	c |    538892 |   24136   305008   959484 |   138777   131218    638 |  0.887 % |
1114.93/1115.38	c |    539231 |   24136   305008   959484 |   138777   131557    637 |  0.887 % |
1116.22/1116.68	c |    539603 |   24136   305008   959484 |   138777   131929    637 |  0.887 % |
1117.13/1117.53	c |    540013 |   24136   305008   959484 | 2147483647   132339    636 |  0.887 % |
1118.92/1119.38	c |    540463 |   24136   305008   959484 | 2147483647   132789    636 |  0.887 % |
1119.82/1120.27	c |    540956 |   24136   305008   959484 | 2147483647   133282    636 |  0.887 % |
1121.63/1122.00	c |    541498 |   24136   305008   959484 | 2147483647   133824    635 |  0.887 % |
1123.92/1124.31	c |    542094 |   24136   305008   959484 | 2147483647   134420    635 |  0.887 % |
1125.32/1125.71	c |    542750 |   24136   305008   959484 | 2147483647   135076    635 |  0.887 % |
1126.82/1127.25	c |    543471 |   24136   305008   959484 | 2147483647   135797    634 |  0.887 % |
1130.12/1130.58	c |    544264 |   24136   305008   959484 | 2147483647   136590    634 |  0.887 % |
1130.72/1131.18	c |    545135 |   24136   305008   959484 | 2147483647   137461    634 |  0.887 % |
1134.32/1134.78	c |    546093 |   24136   305008   959484 | 2147483647   138419    633 |  0.887 % |
1136.62/1137.00	c |    547147 |   24136   305008   959484 | 2147483647   139473    632 |  0.887 % |
1139.62/1140.07	c |    548305 |   24136   305008   959484 | 2147483647   140631    633 |  0.887 % |
1141.22/1141.61	c |    549579 |   24136   305008   959484 | 2147483647   141905    633 |  0.887 % |
1142.92/1143.31	c |    550979 |   24136   305008   959484 |   142326   143305    633 |  0.887 % |
1146.92/1147.37	c |    552520 |   24136   305008   959484 |   142326   127612    636 |  0.887 % |
1150.42/1150.82	c |    554215 |   24136   305008   959484 |   142326   129307    636 |  0.887 % |
1153.72/1154.17	c |    556081 |   24136   305008   959484 |   142326   131173    636 |  0.887 % |
1160.41/1160.84	c |    558131 |   24136   305008   959484 |   142326   133223    634 |  0.887 % |
1168.01/1168.43	c |    560384 |   24136   305008   959484 | 2147483647   135476    631 |  0.887 % |
1174.01/1174.40	c |    562864 |   24136   305008   959484 | 2147483647   137956    630 |  0.887 % |
1177.61/1178.09	c |    565590 |   24136   305008   959484 | 2147483647   140682    630 |  0.887 % |
1186.60/1187.06	c |    568592 |   24136   305008   959484 | 2147483647   143684    629 |  0.887 % |
1190.40/1190.89	c |    571888 |   24136   305008   959484 |   145094   146980    633 |  0.887 % |
1199.80/1200.22	c |    575513 |   24136   305008   959484 |   145094   126608    634 |  0.887 % |

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-1833745-1242824946/watcher-1833745-1242824946 -o /tmp/evaluation-result-1833745-1242824946/solver-1833745-1242824946 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833745-1242824946.cnf 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 15066
/proc/meminfo: memFree=1846336/2055920 swapFree=4179700/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=0
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14887 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310522354 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 255539773522 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/15066/statm: 1339 235 195 169 0 50 0
[pid=15067] ppid=15066 vsize=5356 CPUtime=0
/proc/15067/stat : 15067 (SatELiteGTI) S 15066 15066 14887 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 310522355 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/15067/statm: 1339 238 198 169 0 50 0
[pid=15069] ppid=15067 vsize=5356 CPUtime=0
/proc/15069/stat : 15069 (SatELiteGTI) R 15067 15066 14887 0 -1 4194368 19 0 0 0 0 0 0 0 18 0 1 0 310522355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539604775 0 0 4096 0 0 0 0 17 1 0 0
/proc/15069/statm: 1339 239 199 169 0 50 0

[startup+0.0614939 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 15066
/proc/meminfo: memFree=1846336/2055920 swapFree=4179700/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=0
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14887 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310522354 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15066/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101494 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 15066
/proc/meminfo: memFree=1846336/2055920 swapFree=4179700/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=0
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14887 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310522354 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15066/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301512 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 15066
/proc/meminfo: memFree=1846336/2055920 swapFree=4179700/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=0
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14887 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310522354 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15066/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701549 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 15066
/proc/meminfo: memFree=1846336/2055920 swapFree=4179700/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=0
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14887 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310522354 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15066/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50162 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15071
/proc/meminfo: memFree=1823600/2055920 swapFree=4179700/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=0
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14887 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310522354 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15066/statm: 1339 237 197 169 0 50 0
[pid=15071] ppid=15066 vsize=25864 CPUtime=1.48
/proc/15071/stat : 15071 (SatELite_releas) R 15066 15066 14887 0 -1 4194304 5729 0 0 0 145 3 0 0 25 0 1 0 310522355 26484736 5667 1992294400 134512640 135223648 4294956128 18446744073709551615 134586721 0 0 4096 3 0 0 0 17 1 0 0
/proc/15071/statm: 6466 5667 76 173 0 6291 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 31220

[startup+3.10177 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15071
/proc/meminfo: memFree=1823472/2055920 swapFree=4179700/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=0
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14887 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310522354 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15066/statm: 1339 237 197 169 0 50 0
[pid=15071] ppid=15066 vsize=25864 CPUtime=3.08
/proc/15071/stat : 15071 (SatELite_releas) R 15066 15066 14887 0 -1 4194304 5729 0 0 0 305 3 0 0 25 0 1 0 310522355 26484736 5667 1992294400 134512640 135223648 4294956128 18446744073709551615 134586740 0 0 4096 3 0 0 0 17 1 0 0
/proc/15071/statm: 6466 5667 76 173 0 6291 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 31220

[startup+6.30107 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15072
/proc/meminfo: memFree=1821232/2055920 swapFree=4179700/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=4.14
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14887 0 -1 4194304 336 5981 0 0 0 0 407 7 16 0 1 0 310522354 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15066/statm: 1339 239 197 169 0 50 0
[pid=15072] ppid=15066 vsize=21132 CPUtime=2.13
/proc/15072/stat : 15072 (minisat_static) R 15066 15066 14887 0 -1 4194304 5111 0 0 0 211 2 0 0 25 0 1 0 310522769 21639168 5097 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/15072/statm: 5283 5097 77 171 0 5110 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 26488

[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15072
/proc/meminfo: memFree=1807408/2055920 swapFree=4179700/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=4.14
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14887 0 -1 4194304 336 5981 0 0 0 0 407 7 16 0 1 0 310522354 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15066/statm: 1339 239 197 169 0 50 0
[pid=15072] ppid=15066 vsize=34100 CPUtime=8.54
/proc/15072/stat : 15072 (minisat_static) R 15066 15066 14887 0 -1 4194304 8369 0 0 0 849 5 0 0 25 0 1 0 310522769 34918400 8355 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/15072/statm: 8525 8355 77 171 0 8352 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 39456

[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15072
/proc/meminfo: memFree=1786608/2055920 swapFree=4179700/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=4.14
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14887 0 -1 4194304 336 5981 0 0 0 0 407 7 16 0 1 0 310522354 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15066/statm: 1339 239 197 169 0 50 0
[pid=15072] ppid=15066 vsize=53940 CPUtime=21.33
/proc/15072/stat : 15072 (minisat_static) R 15066 15066 14887 0 -1 4194304 13324 0 0 0 2125 8 0 0 25 0 1 0 310522769 55234560 13310 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15072/statm: 13485 13310 77 171 0 13312 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 59296

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15072
/proc/meminfo: memFree=1753712/2055920 swapFree=4179700/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=4.14
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14887 0 -1 4194304 336 5981 0 0 0 0 407 7 16 0 1 0 310522354 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15066/statm: 1339 239 197 169 0 50 0
[pid=15072] ppid=15066 vsize=86780 CPUtime=46.91
/proc/15072/stat : 15072 (minisat_static) R 15066 15066 14887 0 -1 4194304 21529 0 0 0 4677 14 0 0 25 0 1 0 310522769 88862720 21515 1992294400 134512640 135215339 4294956240 18446744073709551615 134527396 0 0 4096 3 0 0 0 17 1 0 0
/proc/15072/statm: 21695 21515 77 171 0 21522 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 92136

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15072
/proc/meminfo: memFree=1676144/2055920 swapFree=4179700/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=4.14
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14887 0 -1 4194304 336 5981 0 0 0 0 407 7 16 0 1 0 310522354 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15066/statm: 1339 239 197 169 0 50 0
[pid=15072] ppid=15066 vsize=163836 CPUtime=98.1
/proc/15072/stat : 15072 (minisat_static) R 15066 15066 14887 0 -1 4194304 40773 0 0 0 9786 24 0 0 25 0 1 0 310522769 167768064 40759 1992294400 134512640 135215339 4294956240 18446744073709551615 134527353 0 0 4096 3 0 0 0 17 1 0 0
/proc/15072/statm: 40959 40759 77 171 0 40786 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 169192

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15072
/proc/meminfo: memFree=1584368/2055920 swapFree=4179700/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=4.14
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14887 0 -1 4194304 336 5981 0 0 0 0 407 7 16 0 1 0 310522354 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15066/statm: 1339 239 197 169 0 50 0
[pid=15072] ppid=15066 vsize=255848 CPUtime=158.08
/proc/15072/stat : 15072 (minisat_static) R 15066 15066 14887 0 -1 4194304 63780 0 0 0 15770 38 0 0 25 0 1 0 310522769 261988352 63766 1992294400 134512640 135215339 4294956240 18446744073709551615 134738079 0 0 4096 3 0 0 0 17 1 0 0
/proc/15072/statm: 63962 63766 77 171 0 63789 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 261204

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15072
/proc/meminfo: memFree=1529584/2055920 swapFree=4179700/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=4.14
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14887 0 -1 4194304 336 5981 0 0 0 0 407 7 16 0 1 0 310522354 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15066/statm: 1339 239 197 169 0 50 0
[pid=15072] ppid=15066 vsize=310140 CPUtime=218.06
/proc/15072/stat : 15072 (minisat_static) R 15066 15066 14887 0 -1 4194304 77330 0 0 0 21758 48 0 0 25 0 1 0 310522769 317583360 77316 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15072/statm: 77535 77316 77 171 0 77362 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 315496

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15072
/proc/meminfo: memFree=1465520/2055920 swapFree=4179700/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=4.14
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14887 0 -1 4194304 336 5981 0 0 0 0 407 7 16 0 1 0 310522354 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15066/statm: 1339 239 197 169 0 50 0
[pid=15072] ppid=15066 vsize=377268 CPUtime=278.05
/proc/15072/stat : 15072 (minisat_static) R 15066 15066 14887 0 -1 4194304 94120 0 0 0 27745 60 0 0 25 0 1 0 310522769 386322432 94106 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/15072/statm: 94317 94106 77 171 0 94144 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 382624

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15072
/proc/meminfo: memFree=1419568/2055920 swapFree=4179700/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=4.14
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14887 0 -1 4194304 336 5981 0 0 0 0 407 7 16 0 1 0 310522354 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15066/statm: 1339 239 197 169 0 50 0
[pid=15072] ppid=15066 vsize=419668 CPUtime=338.03
/proc/15072/stat : 15072 (minisat_static) R 15066 15066 14887 0 -1 4194304 104747 0 0 0 33735 68 0 0 25 0 1 0 310522769 429740032 104733 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/15072/statm: 104917 104733 77 171 0 104744 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 425024

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15072
/proc/meminfo: memFree=1418672/2055920 swapFree=4179700/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=4.14
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14887 0 -1 4194304 336 5981 0 0 0 0 407 7 16 0 1 0 310522354 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15066/statm: 1339 239 197 169 0 50 0
[pid=15072] ppid=15066 vsize=420592 CPUtime=398.02

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

/proc/15072/statm: 108324 108129 77 171 0 108151 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 438652

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15072
/proc/meminfo: memFree=1405872/2055920 swapFree=4179700/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=4.14
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14887 0 -1 4194304 336 5981 0 0 0 0 407 7 16 0 1 0 310522354 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15066/statm: 1339 239 197 169 0 50 0
[pid=15072] ppid=15066 vsize=433296 CPUtime=577.96
/proc/15072/stat : 15072 (minisat_static) R 15066 15066 14887 0 -1 4194304 108143 0 0 0 57724 72 0 0 25 0 1 0 310522769 443695104 108129 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15072/statm: 108324 108129 77 171 0 108151 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 438652

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15072
/proc/meminfo: memFree=1386864/2055920 swapFree=4179700/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=4.14
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14887 0 -1 4194304 336 5981 0 0 0 0 407 7 16 0 1 0 310522354 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15066/statm: 1339 239 197 169 0 50 0
[pid=15072] ppid=15066 vsize=452196 CPUtime=637.94
/proc/15072/stat : 15072 (minisat_static) R 15066 15066 14887 0 -1 4194304 112870 0 0 0 63718 76 0 0 25 0 1 0 310522769 463048704 112856 1992294400 134512640 135215339 4294956240 18446744073709551615 134542512 0 0 4096 3 0 0 0 17 1 0 0
/proc/15072/statm: 113049 112856 77 171 0 112876 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 457552

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15072
/proc/meminfo: memFree=1386864/2055920 swapFree=4179700/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=4.14
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14887 0 -1 4194304 336 5981 0 0 0 0 407 7 16 0 1 0 310522354 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15066/statm: 1339 239 197 169 0 50 0
[pid=15072] ppid=15066 vsize=452196 CPUtime=697.92
/proc/15072/stat : 15072 (minisat_static) R 15066 15066 14887 0 -1 4194304 112870 0 0 0 69716 76 0 0 25 0 1 0 310522769 463048704 112856 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15072/statm: 113049 112856 77 171 0 112876 0
Current children cumulated CPU time (s) 702.06
Current children cumulated vsize (KiB) 457552

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15072
/proc/meminfo: memFree=1386800/2055920 swapFree=4179700/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=4.14
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14887 0 -1 4194304 336 5981 0 0 0 0 407 7 16 0 1 0 310522354 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15066/statm: 1339 239 197 169 0 50 0
[pid=15072] ppid=15066 vsize=452196 CPUtime=757.9
/proc/15072/stat : 15072 (minisat_static) R 15066 15066 14887 0 -1 4194304 112870 0 0 0 75714 76 0 0 25 0 1 0 310522769 463048704 112856 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/15072/statm: 113049 112856 77 171 0 112876 0
Current children cumulated CPU time (s) 762.04
Current children cumulated vsize (KiB) 457552

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15072
/proc/meminfo: memFree=1386736/2055920 swapFree=4179700/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=4.14
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14887 0 -1 4194304 336 5981 0 0 0 0 407 7 16 0 1 0 310522354 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15066/statm: 1339 239 197 169 0 50 0
[pid=15072] ppid=15066 vsize=452196 CPUtime=817.87
/proc/15072/stat : 15072 (minisat_static) R 15066 15066 14887 0 -1 4194304 112870 0 0 0 81711 76 0 0 25 0 1 0 310522769 463048704 112856 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/15072/statm: 113049 112856 77 171 0 112876 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 457552

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15072
/proc/meminfo: memFree=1386736/2055920 swapFree=4179700/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=4.14
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14887 0 -1 4194304 336 5981 0 0 0 0 407 7 16 0 1 0 310522354 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15066/statm: 1339 239 197 169 0 50 0
[pid=15072] ppid=15066 vsize=451960 CPUtime=877.86
/proc/15072/stat : 15072 (minisat_static) R 15066 15066 14887 0 -1 4194304 112870 0 0 0 87709 77 0 0 25 0 1 0 310522769 462807040 112824 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/15072/statm: 112990 112824 77 171 0 112817 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 457316

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15072
/proc/meminfo: memFree=1386736/2055920 swapFree=4179700/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=4.14
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14887 0 -1 4194304 336 5981 0 0 0 0 407 7 16 0 1 0 310522354 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15066/statm: 1339 239 197 169 0 50 0
[pid=15072] ppid=15066 vsize=451960 CPUtime=937.84
/proc/15072/stat : 15072 (minisat_static) R 15066 15066 14887 0 -1 4194304 112870 0 0 0 93707 77 0 0 25 0 1 0 310522769 462807040 112824 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/15072/statm: 112990 112824 77 171 0 112817 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 457316

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15072
/proc/meminfo: memFree=1386736/2055920 swapFree=4179700/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=4.14
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14887 0 -1 4194304 336 5981 0 0 0 0 407 7 16 0 1 0 310522354 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15066/statm: 1339 239 197 169 0 50 0
[pid=15072] ppid=15066 vsize=451960 CPUtime=997.82
/proc/15072/stat : 15072 (minisat_static) R 15066 15066 14887 0 -1 4194304 112870 0 0 0 99705 77 0 0 25 0 1 0 310522769 462807040 112824 1992294400 134512640 135215339 4294956240 18446744073709551615 134719457 0 0 4096 3 0 0 0 17 1 0 0
/proc/15072/statm: 112990 112824 77 171 0 112817 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 457316

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15072
/proc/meminfo: memFree=1386736/2055920 swapFree=4179700/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=4.14
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14887 0 -1 4194304 336 5981 0 0 0 0 407 7 16 0 1 0 310522354 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15066/statm: 1339 239 197 169 0 50 0
[pid=15072] ppid=15066 vsize=451960 CPUtime=1057.8
/proc/15072/stat : 15072 (minisat_static) R 15066 15066 14887 0 -1 4194304 112870 0 0 0 105703 77 0 0 25 0 1 0 310522769 462807040 112824 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15072/statm: 112990 112824 77 171 0 112817 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 457316

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15072
/proc/meminfo: memFree=1386736/2055920 swapFree=4179700/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=4.14
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14887 0 -1 4194304 336 5981 0 0 0 0 407 7 16 0 1 0 310522354 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15066/statm: 1339 239 197 169 0 50 0
[pid=15072] ppid=15066 vsize=451960 CPUtime=1117.78
/proc/15072/stat : 15072 (minisat_static) R 15066 15066 14887 0 -1 4194304 112870 0 0 0 111701 77 0 0 25 0 1 0 310522769 462807040 112824 1992294400 134512640 135215339 4294956240 18446744073709551615 134527353 0 0 4096 3 0 0 0 17 1 0 0
/proc/15072/statm: 112990 112824 77 171 0 112817 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 457316

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15072
/proc/meminfo: memFree=1382896/2055920 swapFree=4179700/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=4.14
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14887 0 -1 4194304 336 5981 0 0 0 0 407 7 16 0 1 0 310522354 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15066/statm: 1339 239 197 169 0 50 0
[pid=15072] ppid=15066 vsize=455788 CPUtime=1177.77
/proc/15072/stat : 15072 (minisat_static) R 15066 15066 14887 0 -1 4194304 113819 0 0 0 117699 78 0 0 25 0 1 0 310522769 466726912 113773 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/15072/statm: 113947 113773 77 171 0 113774 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 461144



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15072
/proc/meminfo: memFree=1372912/2055920 swapFree=4179700/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=4.14
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14887 0 -1 4194304 336 5981 0 0 0 0 407 7 16 0 1 0 310522354 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15066/statm: 1339 239 197 169 0 50 0
[pid=15072] ppid=15066 vsize=465840 CPUtime=1195.87
/proc/15072/stat : 15072 (minisat_static) R 15066 15066 14887 0 -1 4194304 116319 0 0 0 119507 80 0 0 25 0 1 0 310522769 477020160 116273 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15072/statm: 116460 116273 77 171 0 116287 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 471196

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

Real time (s): 1200.41
CPU time (s): 1200.01
CPU user time (s): 1199.14
CPU system time (s): 0.87
CPU usage (%): 99.9666
Max. virtual memory (cumulated for all children) (KiB): 471196

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

runsolver used 1.43078 second user time and 3.01554 second system time

The end

Launcher Data 

Begin job on node48 at 2009-05-20 15:09:06
IDJOB=1833745
IDBENCH=70911
IDSOLVER=671
FILE ID=node48/1833745-1242824946
PBS_JOBID= 9322483
Free space on /tmp= 66380 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/edgematching/compact/em_14_7_3_cmp.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833745-1242824946/watcher-1833745-1242824946 -o /tmp/evaluation-result-1833745-1242824946/solver-1833745-1242824946 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1833745-1242824946.cnf

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

MD5SUM BENCH= 04d46ce8651fab3a17ac1e6e72eb3503
RANDOM SEED=186036658

node48.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.209
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.209
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:       1846816 kB
Buffers:         49168 kB
Cached:         110416 kB
SwapCached:       7560 kB
Active:          51940 kB
Inactive:       116596 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1846816 kB
SwapTotal:     4192956 kB
SwapFree:      4179700 kB
Dirty:            8164 kB
Writeback:           0 kB
Mapped:          14048 kB
Slab:            26592 kB
Committed_AS:  1114696 kB
PageTables:       1372 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= 66372 MiB
End job on node48 at 2009-05-20 15:29:09