Trace number 1821976

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.04 1199.94

General information on the benchmark

Namesimon-s02b-k2f-gr-rcs-w8.cnf
MD5SUM5da8899feefc5a4bb9db99e983e30f52
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables10056
Number of clauses271393
Sum of the clauses size550328
Maximum clause length8
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2270136
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51257

Solver Data 

0.00/0.00	c Parsing...
0.21/0.21	c ==============================================================================
0.21/0.21	c |           |     ORIGINAL     |              LEARNT              |          |
0.21/0.21	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.21/0.21	c ==============================================================================
0.21/0.21	c |         0 |  271393   550328 |   81417       0        0     nan |  0.000 % |
1.71/1.77	c |         0 |  269998   945031 |      --       0       --      -- |     --   | -1395/394703
1.71/1.77	c ==============================================================================
1.71/1.77	c Result  :   #vars: 8694   #clauses: 269998   #literals: 945031
1.71/1.77	c CPU time:   1.75 s
1.71/1.77	c ==============================================================================
2.01/2.08	c This is MiniSat 2.0 beta
2.01/2.08	c WARNING: for repeatability, setting FPU to use double precision
2.01/2.08	c ============================[ Problem Statistics ]=============================
2.01/2.08	c |                                                                             |
2.01/2.08	c |  Number of variables:  8694                                                 |
2.01/2.08	c |  Number of clauses:    269998                                               |
2.21/2.30	c |  Parsing time:         0.20         s                                       |
2.31/2.32	c ============================[ Search Statistics ]==============================
2.31/2.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.31/2.32	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2.31/2.32	c ===============================================================================
2.31/2.32	c |         0 |    8694   269998   945031 |    89999        0    nan |  0.000 % |
2.41/2.48	c |       101 |    8694   269998   945031 |    89999      101     49 |  0.000 % |
2.51/2.59	c |       204 |    8694   269998   945031 |    89999      204     48 |  0.000 % |
2.61/2.68	c |       304 |    8694   269998   945031 |    89999      304     45 |  0.000 % |
2.71/2.72	c |       414 |    8694   269998   945031 |    89999      414     39 |  0.000 % |
2.71/2.79	c |       515 |    8694   269998   945031 |    89999      515     39 |  0.000 % |
2.81/2.82	c |       625 |    8694   269998   945031 |    89999      625     34 |  0.000 % |
2.81/2.89	c |       746 |    8694   269998   945031 |    89999      746     36 |  0.000 % |
2.91/2.98	c |       846 |    8694   269998   945031 |    89999      846     38 |  0.000 % |
3.01/3.07	c |       956 |    8694   269998   945031 |    89999      956     38 |  0.000 % |
3.11/3.16	c |      1077 |    8694   269998   945031 |    89999     1077     37 |  0.000 % |
3.21/3.28	c |      1211 |    8694   269998   945031 |    89999     1211     36 |  0.000 % |
3.31/3.35	c |      1311 |    8694   269998   945031 |    89999     1311     35 |  0.000 % |
3.41/3.43	c |      1421 |    8694   269998   945031 |    89999     1421     36 |  0.000 % |
3.51/3.52	c |      1542 |    8694   269998   945031 |    89999     1542     36 |  0.000 % |
3.61/3.61	c |      1676 |    8694   269998   945031 |    89999     1676     35 |  0.000 % |
3.71/3.73	c |      1822 |    8694   269998   945031 |    89999     1822     37 |  0.000 % |
3.81/3.83	c |      1922 |    8694   269998   945031 |    89999     1922     37 |  0.000 % |
3.91/3.96	c |      2033 |    8694   269998   945031 |    89999     2033     36 |  0.000 % |
4.01/4.02	c |      2154 |    8694   269998   945031 |    89999     2154     35 |  0.000 % |
4.11/4.12	c |      2287 |    8694   269998   945031 |    89999     2287     36 |  0.000 % |
4.21/4.26	c |      2433 |    8694   269998   945031 |    89999     2433     37 |  0.000 % |
4.31/4.41	c |      2596 |    8694   269998   945031 |    89999     2596     37 |  0.000 % |
4.41/4.44	c |      2697 |    8694   269998   945031 |    89999     2697     36 |  0.000 % |
4.51/4.52	c |      2807 |    8694   269998   945031 |    89999     2807     37 |  0.000 % |
4.61/4.65	c |      2929 |    8694   269998   945031 |    89999     2929     37 |  0.000 % |
4.71/4.75	c |      3064 |    8694   269998   945031 |    89999     3064     38 |  0.000 % |
4.81/4.84	c |      3210 |    8694   269998   945031 |    89999     3210     37 |  0.000 % |
4.81/4.88	c |      3370 |    8694   269998   945031 |    89999     3370     36 |  0.000 % |
5.01/5.03	c |      3546 |    8694   269998   945031 |    89999     3546     36 |  0.000 % |
5.01/5.09	c |      3648 |    8694   269998   945031 |    89999     3648     36 |  0.000 % |
5.11/5.14	c |      3759 |    8694   269998   945031 |    89999     3759     35 |  0.000 % |
5.21/5.26	c |      3881 |    8694   269998   945031 |    89999     3881     36 |  0.000 % |
5.31/5.38	c |      4014 |    8694   269998   945031 |    89999     4014     36 |  0.000 % |
5.41/5.45	c |      4162 |    8694   269998   945031 |    89999     4162     35 |  0.000 % |
5.51/5.55	c |      4323 |    8694   269998   945031 |    89999     4323     36 |  0.000 % |
5.61/5.71	c |      4500 |    8694   269998   945031 |    89999     4500     35 |  0.000 % |
5.91/5.94	c |      4694 |    8694   269998   945031 |    89999     4694     35 |  0.000 % |
6.01/6.03	c |      4794 |    8694   269998   945031 |    89999     4794     35 |  0.000 % |
6.11/6.16	c |      4906 |    8694   269998   945031 |    89999     4906     35 |  0.000 % |
6.21/6.25	c |      5028 |    8694   269998   945031 |    89999     5028     35 |  0.000 % |
6.41/6.44	c |      5161 |    8694   269998   945031 |    89999     5161     35 |  0.000 % |
6.61/6.61	c |      5310 |    8694   269998   945031 |    89999     5310     35 |  0.000 % |
6.71/6.74	c |      5471 |    8694   269998   945031 |    89999     5471     35 |  0.000 % |
6.81/6.87	c |      5647 |    8694   269998   945031 |    89999     5647     35 |  0.000 % |
7.01/7.05	c |      5841 |    8694   269998   945031 |    89999     5841     34 |  0.000 % |
7.21/7.24	c |      6054 |    8694   269998   945031 |    89999     6054     34 |  0.000 % |
7.31/7.33	c |      6155 |    8694   269998   945031 |    89999     6155     34 |  0.000 % |
7.41/7.43	c |      6266 |    8694   269998   945031 |    89999     6266     34 |  0.000 % |
7.41/7.51	c |      6387 |    8694   269998   945031 |    89999     6387     34 |  0.000 % |
7.61/7.63	c |      6520 |    8694   269998   945031 |    89999     6520     34 |  0.000 % |
7.71/7.74	c |      6668 |    8694   269998   945031 |    89999     6668     34 |  0.000 % |
7.81/7.87	c |      6828 |    8694   269998   945031 |    89999     6828     34 |  0.000 % |
8.01/8.05	c |      7004 |    8694   269998   945031 |    89999     7004     34 |  0.000 % |
8.11/8.15	c |      7197 |    8694   269998   945031 |    89999     7197     34 |  0.000 % |
8.21/8.29	c |      7409 |    8694   269998   945031 |    89999     7409     34 |  0.000 % |
8.41/8.49	c |      7643 |    8694   269998   945031 |    89999     7643     34 |  0.000 % |
8.51/8.57	c |      7743 |    8694   269998   945031 |    89999     7743     34 |  0.000 % |
8.61/8.67	c |      7854 |    8694   269998   945031 |    89999     7854     34 |  0.000 % |
8.71/8.78	c |      7975 |    8694   269998   945031 |    89999     7975     34 |  0.000 % |
8.81/8.91	c |      8109 |    8694   269998   945031 |    89999     8109     34 |  0.000 % |
9.01/9.05	c |      8255 |    8694   269998   945031 |    89999     8255     34 |  0.000 % |
9.11/9.19	c |      8416 |    8694   269998   945031 |    89999     8416     34 |  0.000 % |
9.31/9.33	c |      8593 |    8694   269998   945031 |    89999     8593     34 |  0.000 % |
9.41/9.45	c |      8786 |    8694   269998   945031 |    89999     8786     34 |  0.000 % |
9.51/9.53	c |      9000 |    8694   269998   945031 |    89999     9000     34 |  0.000 % |
9.71/9.76	c |      9233 |    8694   269998   945031 |    89999     9233     34 |  0.000 % |
9.81/9.89	c |      9489 |    8694   269998   945031 |    89999     9489     34 |  0.000 % |
9.91/9.95	c |      9590 |    8694   269998   945031 |    89999     9590     34 |  0.000 % |
9.91/10.01	c |      9701 |    8694   269998   945031 |    89999     9701     34 |  0.000 % |
10.11/10.12	c |      9823 |    8694   269998   945031 |    89999     9823     34 |  0.000 % |
10.21/10.27	c |      9956 |    8694   269998   945031 |    89999     9956     34 |  0.000 % |
10.31/10.40	c |     10102 |    8694   269998   945031 | 2147483647    10102     34 |  0.000 % |
10.51/10.60	c |     10263 |    8694   269998   945031 | 2147483647    10263     34 |  0.000 % |
10.71/10.78	c |     10440 |    8694   269998   945031 | 2147483647    10440     34 |  0.000 % |
10.91/10.96	c |     10633 |    8694   269998   945031 | 2147483647    10633     34 |  0.000 % |
11.11/11.12	c |     10847 |    8694   269998   945031 | 2147483647    10847     34 |  0.000 % |
11.21/11.27	c |     11080 |    8694   269998   945031 | 2147483647    11080     34 |  0.000 % |
11.41/11.47	c |     11336 |    8694   269998   945031 | 2147483647    11336     34 |  0.000 % |
11.81/11.84	c |     11619 |    8694   269998   945031 | 2147483647    11619     34 |  0.000 % |
11.91/11.94	c |     11719 |    8694   269998   945031 | 2147483647    11719     35 |  0.000 % |
12.01/12.06	c |     11832 |    8694   269998   945031 | 2147483647    11832     35 |  0.000 % |
12.11/12.15	c |     11954 |    8694   269998   945031 | 2147483647    11954     35 |  0.000 % |
12.21/12.31	c |     12089 |    8694   269998   945031 | 2147483647    12089     35 |  0.000 % |
12.31/12.36	c |     12235 |    8694   269998   945031 | 2147483647    12235     34 |  0.000 % |
12.51/12.52	c |     12397 |    8694   269998   945031 | 2147483647    12397     35 |  0.000 % |
12.61/12.70	c |     12573 |    8694   269998   945031 | 2147483647    12573     35 |  0.000 % |
12.81/12.87	c |     12767 |    8694   269998   945031 | 2147483647    12767     34 |  0.000 % |
13.01/13.02	c |     12979 |    8694   269998   945031 | 2147483647    12979     35 |  0.000 % |
13.21/13.26	c |     13212 |    8694   269998   945031 | 2147483647    13212     35 |  0.000 % |
13.41/13.47	c |     13470 |    8694   269998   945031 | 2147483647    13470     34 |  0.000 % |
13.61/13.62	c |     13751 |    8694   269998   945031 | 2147483647    13751     34 |  0.000 % |
13.71/13.81	c |     14060 |    8694   269998   945031 | 2147483647    14060     34 |  0.000 % |
13.81/13.86	c |     14160 |    8694   269998   945031 | 2147483647    14160     34 |  0.000 % |
13.91/13.98	c |     14270 |    8694   269998   945031 | 2147483647    14270     34 |  0.000 % |
14.01/14.07	c |     14391 |    8694   269998   945031 | 2147483647    14391     34 |  0.000 % |
14.11/14.20	c |     14526 |    8694   269998   945031 | 2147483647    14526     34 |  0.000 % |
14.31/14.32	c |     14672 |    8694   269998   945031 | 2147483647    14672     34 |  0.000 % |
14.41/14.51	c |     14834 |    8694   269998   945031 | 2147483647    14834     34 |  0.000 % |
14.71/14.72	c |     15010 |    8694   269998   945031 | 2147483647    15010     34 |  0.000 % |
14.91/14.92	c |     15205 |    8694   269998   945031 | 2147483647    15205     34 |  0.000 % |
15.11/15.15	c |     15418 |    8694   269998   945031 | 2147483647    15418     34 |  0.000 % |
15.31/15.36	c |     15654 |    8694   269998   945031 | 2147483647    15654     34 |  0.000 % |
15.51/15.55	c |     15910 |    8694   269998   945031 | 2147483647    15910     34 |  0.000 % |
15.81/15.85	c |     16192 |    8694   269998   945031 | 2147483647    16192     34 |  0.000 % |
16.11/16.13	c |     16502 |    8694   269998   945031 | 2147483647    16502     34 |  0.000 % |
16.41/16.45	c |     16843 |    8694   269998   945031 | 2147483647    16843     34 |  0.000 % |
16.51/16.59	c |     16944 |    8694   269998   945031 | 2147483647    16944     34 |  0.000 % |
16.71/16.74	c |     17054 |    8694   269998   945031 | 2147483647    17054     34 |  0.000 % |
16.81/16.85	c |     17175 |    8694   269998   945031 | 2147483647    17175     34 |  0.000 % |
16.91/17.00	c |     17308 |    8694   269998   945031 | 2147483647    17308     34 |  0.000 % |
17.11/17.15	c |     17455 |    8694   269998   945031 | 2147483647    17455     34 |  0.000 % |
17.21/17.30	c |     17618 |    8694   269998   945031 | 2147483647    17618     34 |  0.000 % |
17.41/17.47	c |     17794 |    8694   269998   945031 | 2147483647    17794     34 |  0.000 % |
17.61/17.65	c |     17988 |    8694   269998   945031 | 2147483647    17988     34 |  0.000 % |
17.81/17.86	c |     18205 |    8694   269998   945031 | 2147483647    18205     34 |  0.000 % |
17.91/18.00	c |     18439 |    8694   269998   945031 | 2147483647    18439     34 |  0.000 % |
18.21/18.28	c |     18696 |    8694   269998   945031 | 2147483647    18696     33 |  0.000 % |
18.51/18.56	c |     18978 |    8694   269998   945031 | 2147483647    18978     33 |  0.000 % |
18.71/18.79	c |     19289 |    8694   269998   945031 | 2147483647    19289     33 |  0.000 % |
19.01/19.06	c |     19628 |    8694   269998   945031 | 2147483647    19628     33 |  0.000 % |
19.41/19.50	c |     20000 |    8694   269998   945031 | 2147483647    20000     33 |  0.000 % |
19.51/19.53	c |     20103 |    8694   269998   945031 | 2147483647    20103     33 |  0.000 % |
19.61/19.65	c |     20213 |    8694   269998   945031 | 2147483647    20213     33 |  0.000 % |
19.71/19.77	c |     20336 |    8694   269998   945031 | 2147483647    20336     33 |  0.000 % |
19.81/19.90	c |     20470 |    8694   269998   945031 | 2147483647    20470     33 |  0.000 % |
20.01/20.06	c |     20617 |    8694   269998   945031 | 2147483647    20617     33 |  0.000 % |
20.21/20.23	c |     20777 |    8694   269998   945031 | 2147483647    20777     33 |  0.000 % |
20.31/20.39	c |     20955 |    8694   269998   945031 | 2147483647    20955     33 |  0.000 % |
20.61/20.61	c |     21149 |    8694   269998   945031 | 2147483647    21149     33 |  0.000 % |
20.81/20.85	c |     21362 |    8694   269998   945031 | 2147483647    21362     33 |  0.000 % |
21.11/21.14	c |     21596 |    8694   269998   945031 | 2147483647    21596     33 |  0.000 % |
21.41/21.42	c |     21854 |    8694   269998   945031 | 2147483647    21854     33 |  0.000 % |
21.71/21.71	c |     22136 |    8694   269998   945031 | 2147483647    22136     33 |  0.000 % |
22.01/22.03	c |     22445 |    8694   269998   945031 | 2147483647    22445     33 |  0.000 % |
22.31/22.36	c |     22785 |    8694   269998   945031 | 2147483647    22785     33 |  0.000 % |
22.71/22.75	c |     23157 |    8694   269998   945031 | 2147483647    23157     33 |  0.000 % |
23.21/23.21	c |     23567 |    8694   269998   945031 | 2147483647    23567     33 |  0.000 % |
23.31/23.36	c |     23668 |    8694   269998   945031 | 2147483647    23668     33 |  0.000 % |
23.41/23.47	c |     23778 |    8694   269998   945031 | 2147483647    23778     33 |  0.000 % |
23.51/23.60	c |     23899 |    8694   269998   945031 | 2147483647    23899     33 |  0.000 % |
23.71/23.72	c |     24034 |    8694   269998   945031 | 2147483647    24034     33 |  0.000 % |
23.81/23.82	c |     24181 |    8694   269998   945031 | 2147483647    24181     33 |  0.000 % |
23.91/23.96	c |     24344 |    8694   269998   945031 | 2147483647    24344     33 |  0.000 % |
24.11/24.18	c |     24521 |    8694   269998   945031 | 2147483647    24521     33 |  0.000 % |
24.31/24.38	c |     24715 |    8694   269998   945031 | 2147483647    24715     33 |  0.000 % |
24.61/24.63	c |     24927 |    8694   269998   945031 | 2147483647    24927     33 |  0.000 % |
24.91/24.91	c |     25162 |    8694   269998   945031 | 2147483647    25162     33 |  0.000 % |
25.11/25.21	c |     25418 |    8694   269998   945031 | 2147483647    25418     34 |  0.000 % |
25.51/25.57	c |     25699 |    8694   269998   945031 | 2147483647    25699     34 |  0.000 % |
26.01/26.01	c |     26009 |    8694   269998   945031 | 2147483647    26009     34 |  0.000 % |
26.42/26.44	c |     26349 |    8694   269998   945031 | 2147483647    26349     34 |  0.000 % |
26.91/26.99	c |     26721 |    8694   269998   945031 | 2147483647    26721     34 |  0.000 % |
27.31/27.38	c |     27131 |    8694   269998   945031 | 2147483647    27131     33 |  0.000 % |
27.81/27.82	c |     27582 |    8694   269998   945031 | 2147483647    27582     33 |  0.000 % |
27.81/27.88	c |     27683 |    8694   269998   945031 | 2147483647    27683     33 |  0.000 % |
28.01/28.03	c |     27795 |    8694   269998   945031 | 2147483647    27795     33 |  0.000 % |
28.11/28.12	c |     27916 |    8694   269998   945031 | 2147483647    27916     33 |  0.000 % |
28.21/28.28	c |     28049 |    8694   269998   945031 | 2147483647    28049     33 |  0.000 % |
28.41/28.42	c |     28195 |    8694   269998   945031 | 2147483647    28195     33 |  0.000 % |
28.51/28.58	c |     28356 |    8694   269998   945031 | 2147483647    28356     33 |  0.000 % |
28.71/28.77	c |     28532 |    8694   269998   945031 | 2147483647    28532     33 |  0.000 % |
28.91/28.99	c |     28727 |    8694   269998   945031 | 2147483647    28727     33 |  0.000 % |
29.21/29.22	c |     28939 |    8694   269998   945031 | 2147483647    28939     33 |  0.000 % |
29.61/29.62	c |     29172 |    8694   269998   945031 | 2147483647    29172     33 |  0.000 % |
30.01/30.02	c |     29430 |    8694   269998   945031 | 2147483647    29430     33 |  0.000 % |
30.31/30.31	c |     29711 |    8694   269998   945031 | 2147483647    29711     33 |  0.000 % |
30.61/30.63	c |     30020 |    8694   269998   945031 | 2147483647    30020     33 |  0.000 % |
30.91/30.94	c |     30359 |    8694   269998   945031 | 2147483647    30359     33 |  0.000 % |
31.31/31.33	c |     30732 |    8694   269998   945031 | 2147483647    30732     33 |  0.000 % |
31.81/31.81	c |     31143 |    8694   269998   945031 | 2147483647    31143     33 |  0.000 % |
32.31/32.40	c |     31592 |    8694   269998   945031 | 2147483647    31592     33 |  0.000 % |
32.81/32.88	c |     32085 |    8694   269998   945031 | 2147483647    32085     33 |  0.000 % |
32.91/32.95	c |     32188 |    8694   269998   945031 | 2147483647    32188     33 |  0.000 % |
33.02/33.03	c |     32298 |    8694   269998   945031 | 2147483647    32298     33 |  0.000 % |
33.11/33.18	c |     32421 |    8694   269998   945031 | 2147483647    32421     33 |  0.000 % |
33.31/33.37	c |     32555 |    8694   269998   945031 | 2147483647    32555     33 |  0.000 % |
33.41/33.50	c |     32701 |    8694   269998   945031 | 2147483647    32701     33 |  0.000 % |
33.61/33.64	c |     32864 |    8694   269998   945031 | 2147483647    32864     33 |  0.000 % |
33.71/33.79	c |     33040 |    8694   269998   945031 | 2147483647    33040     33 |  0.000 % |
33.91/33.99	c |     33233 |    8694   269998   945031 | 2147483647    33233     33 |  0.000 % |
34.12/34.20	c |     33446 |    8694   269998   945031 | 2147483647    33446     33 |  0.000 % |
34.41/34.45	c |     33680 |    8694   269998   945031 | 2147483647    33680     33 |  0.000 % |
34.71/34.72	c |     33936 |    8694   269998   945031 | 2147483647    33936     33 |  0.000 % |
35.01/35.09	c |     34217 |    8694   269998   945031 | 2147483647    34217     33 |  0.000 % |
35.51/35.54	c |     34529 |    8694   269998   945031 | 2147483647    34529     33 |  0.000 % |
35.81/35.83	c |     34869 |    8694   269998   945031 | 2147483647    34869     33 |  0.000 % |
36.32/36.34	c |     35242 |    8694   269998   945031 | 2147483647    35242     33 |  0.000 % |
36.81/36.87	c |     35651 |    8694   269998   945031 | 2147483647    35651     33 |  0.000 % |
37.31/37.38	c |     36100 |    8694   269998   945031 | 2147483647    36100     33 |  0.000 % |
37.81/37.89	c |     36594 |    8694   269998   945031 | 2147483647    36594     33 |  0.000 % |
38.31/38.41	c |     37136 |    8694   269998   945031 | 2147483647    37136     33 |  0.000 % |
38.52/38.55	c |     37237 |    8694   269998   945031 | 2147483647    37237     34 |  0.000 % |
38.61/38.66	c |     37347 |    8694   269998   945031 | 2147483647    37347     34 |  0.000 % |
38.81/38.82	c |     37469 |    8694   269998   945031 | 2147483647    37469     34 |  0.000 % |
38.91/38.99	c |     37602 |    8694   269998   945031 | 2147483647    37602     34 |  0.000 % |
39.11/39.18	c |     37748 |    8694   269998   945031 | 2147483647    37748     34 |  0.000 % |
39.31/39.37	c |     37908 |    8694   269998   945031 | 2147483647    37908     34 |  0.000 % |
39.51/39.57	c |     38084 |    8694   269998   945031 | 2147483647    38084     34 |  0.000 % |
39.71/39.76	c |     38278 |    8694   269998   945031 | 2147483647    38278     34 |  0.000 % |
40.01/40.03	c |     38490 |    8694   269998   945031 | 2147483647    38490     34 |  0.000 % |
40.21/40.25	c |     38723 |    8694   269998   945031 | 2147483647    38723     34 |  0.000 % |
40.51/40.53	c |     38980 |    8694   269998   945031 | 2147483647    38980     34 |  0.000 % |
40.61/40.65	c |     39262 |    8694   269998   945031 | 2147483647    39262     34 |  0.000 % |
40.91/41.00	c |     39571 |    8694   269998   945031 | 2147483647    39571     34 |  0.000 % |
41.31/41.31	c |     39910 |    8694   269998   945031 | 2147483647    39910     34 |  0.000 % |
41.61/41.64	c |     40282 |    8694   269998   945031 | 2147483647    40282     34 |  0.000 % |
42.21/42.26	c |     40693 |    8694   269998   945031 | 2147483647    40693     34 |  0.000 % |
42.81/42.88	c |     41142 |    8694   269998   945031 | 2147483647    41142     34 |  0.000 % |
43.41/43.50	c |     41636 |    8694   269998   945031 | 2147483647    41636     34 |  0.000 % |
43.91/44.00	c |     42179 |    8694   269998   945031 | 2147483647    42179     34 |  0.000 % |
44.71/44.77	c |     42775 |    8694   269998   945031 | 2147483647    42775     34 |  0.000 % |
44.91/44.92	c |     42875 |    8694   269998   945031 | 2147483647    42875     34 |  0.000 % |
45.01/45.07	c |     42985 |    8694   269998   945031 | 2147483647    42985     34 |  0.000 % |
45.21/45.26	c |     43106 |    8694   269998   945031 | 2147483647    43106     34 |  0.000 % |
45.41/45.42	c |     43241 |    8694   269998   945031 | 2147483647    43241     34 |  0.000 % |
45.51/45.57	c |     43388 |    8694   269998   945031 | 2147483647    43388     34 |  0.000 % |
45.71/45.77	c |     43548 |    8694   269998   945031 | 2147483647    43548     34 |  0.000 % |
46.01/46.03	c |     43724 |    8694   269998   945031 | 2147483647    43724     34 |  0.000 % |
46.31/46.32	c |     43918 |    8694   269998   945031 | 2147483647    43918     34 |  0.000 % |
46.61/46.65	c |     44130 |    8694   269998   945031 | 2147483647    44130     34 |  0.000 % |
46.91/46.96	c |     44365 |    8694   269998   945031 | 2147483647    44365     34 |  0.000 % |
47.32/47.34	c |     44621 |    8694   269998   945031 | 2147483647    44621     34 |  0.000 % |
47.61/47.65	c |     44902 |    8694   269998   945031 | 2147483647    44902     34 |  0.000 % |
47.91/47.96	c |     45213 |    8694   269998   945031 | 2147483647    45213     35 |  0.000 % |
48.31/48.34	c |     45553 |    8694   269998   945031 | 2147483647    45553     35 |  0.000 % |
48.51/48.60	c |     45925 |    8694   269998   945031 | 2147483647    45925     34 |  0.000 % |
48.71/48.78	c |     46335 |    8694   269998   945031 | 2147483647    46335     34 |  0.000 % |
49.21/49.30	c |     46786 |    8694   269998   945031 | 2147483647    46786     35 |  0.000 % |
49.91/49.97	c |     47279 |    8694   269998   945031 | 2147483647    47279     35 |  0.000 % |
50.71/50.76	c |     47822 |    8694   269998   945031 | 2147483647    47822     35 |  0.000 % |
51.72/51.72	c |     48421 |    8694   269998   945031 | 2147483647    48421     35 |  0.000 % |
52.61/52.61	c |     49076 |    8694   269998   945031 | 2147483647    49076     35 |  0.000 % |
52.71/52.76	c |     49177 |    8694   269998   945031 | 2147483647    49177     35 |  0.000 % |
52.82/52.90	c |     49288 |    8694   269998   945031 | 2147483647    49288     35 |  0.000 % |
53.01/53.06	c |     49409 |    8694   269998   945031 | 2147483647    49409     35 |  0.000 % |
53.11/53.18	c |     49544 |    8694   269998   945031 | 2147483647    49544     35 |  0.000 % |
53.21/53.28	c |     49690 |    8694   269998   945031 | 2147483647    49690     35 |  0.000 % |
53.51/53.52	c |     49850 |    8694   269998   945031 | 2147483647    49850     35 |  0.000 % |
53.71/53.71	c |     50026 |    8694   269998   945031 | 2147483647    50026     35 |  0.000 % |
53.92/53.93	c |     50219 |    8694   269998   945031 | 2147483647    50219     35 |  0.000 % |
54.11/54.20	c |     50431 |    8694   269998   945031 | 2147483647    50431     35 |  0.000 % |
54.31/54.34	c |     50664 |    8694   269998   945031 | 2147483647    50664     35 |  0.000 % |
54.61/54.61	c |     50921 |    8694   269998   945031 | 2147483647    50921     35 |  0.000 % |
54.91/54.98	c |     51202 |    8694   269998   945031 | 2147483647    51202     35 |  0.000 % |
55.31/55.39	c |     51513 |    8694   269998   945031 | 2147483647    51513     35 |  0.000 % |
56.01/56.05	c |     51852 |    8694   269998   945031 | 2147483647    51852     35 |  0.000 % |
56.51/56.60	c |     52225 |    8694   269998   945031 | 2147483647    52225     35 |  0.000 % |
57.22/57.27	c |     52637 |    8694   269998   945031 | 2147483647    52637     35 |  0.000 % |
58.01/58.05	c |     53089 |    8694   269998   945031 | 2147483647    53089     35 |  0.000 % |
58.52/58.61	c |     53582 |    8694   269998   945031 | 2147483647    53582     35 |  0.000 % |
59.02/59.04	c |     54124 |    8694   269998   945031 | 2147483647    54124     35 |  0.000 % |
59.72/59.74	c |     54720 |    8694   269998   945031 | 2147483647    54720     35 |  0.000 % |
60.42/60.47	c |     55376 |    8694   269998   945031 | 2147483647    55376     35 |  0.000 % |
61.22/61.26	c |     56096 |    8694   269998   945031 | 2147483647    56096     35 |  0.000 % |
61.32/61.40	c |     56196 |    8694   269998   945031 | 2147483647    56196     35 |  0.000 % |
61.52/61.52	c |     56306 |    8694   269998   945031 | 2147483647    56306     35 |  0.000 % |
61.72/61.77	c |     56429 |    8694   269998   945031 | 2147483647    56429     35 |  0.000 % |
61.92/61.93	c |     56563 |    8694   269998   945031 | 2147483647    56563     35 |  0.000 % |
62.02/62.11	c |     56709 |    8694   269998   945031 | 2147483647    56709     35 |  0.000 % |
62.22/62.29	c |     56871 |    8694   269998   945031 | 2147483647    56871     35 |  0.000 % |
62.42/62.48	c |     57047 |    8694   269998   945031 | 2147483647    57047     35 |  0.000 % |
62.82/62.86	c |     57240 |    8694   269998   945031 | 2147483647    57240     35 |  0.000 % |
63.12/63.17	c |     57452 |    8694   269998   945031 | 2147483647    57452     35 |  0.000 % |
63.42/63.43	c |     57685 |    8694   269998   945031 | 2147483647    57685     35 |  0.000 % |
63.72/63.81	c |     57942 |    8694   269998   945031 | 2147483647    57942     35 |  0.000 % |
64.12/64.19	c |     58224 |    8694   269998   945031 | 2147483647    58224     35 |  0.000 % |
64.52/64.58	c |     58533 |    8694   269998   945031 | 2147483647    58533     35 |  0.000 % |
64.62/64.67	c |     58873 |    8694   269998   945031 | 2147483647    58873     35 |  0.000 % |
65.02/65.10	c |     59246 |    8694   269998   945031 | 2147483647    59246     35 |  0.000 % |
65.62/65.67	c |     59655 |    8694   269998   945031 | 2147483647    59655     35 |  0.000 % |
66.22/66.28	c |     60104 |    8694   269998   945031 | 2147483647    60104     35 |  0.000 % |
66.62/66.69	c |     60598 |    8694   269998   945031 | 2147483647    60598     35 |  0.000 % |
67.22/67.22	c |     61140 |    8694   269998   945031 | 2147483647    61140     35 |  0.000 % |
67.82/67.87	c |     61736 |    8694   269998   945031 | 2147483647    61736     35 |  0.000 % |
68.62/68.67	c |     62391 |    8694   269998   945031 | 2147483647    62391     35 |  0.000 % |
69.42/69.46	c |     63113 |    8694   269998   945031 | 2147483647    63113     35 |  0.000 % |
70.52/70.56	c |     63906 |    8694   269998   945031 | 2147483647    63906     35 |  0.000 % |
70.62/70.68	c |     64007 |    8694   269998   945031 | 2147483647    64007     35 |  0.000 % |
70.92/71.00	c |     64118 |    8694   269998   945031 | 2147483647    64118     35 |  0.000 % |
71.12/71.21	c |     64240 |    8694   269998   945031 | 2147483647    64240     35 |  0.000 % |
71.42/71.44	c |     64375 |    8694   269998   945031 | 2147483647    64375     35 |  0.000 % |
71.52/71.61	c |     64521 |    8694   269998   945031 | 2147483647    64521     35 |  0.000 % |
71.62/71.68	c |     64681 |    8694   269998   945031 | 2147483647    64681     35 |  0.000 % |
71.92/71.98	c |     64858 |    8694   269998   945031 | 2147483647    64858     35 |  0.000 % |
72.32/72.36	c |     65052 |    8694   269998   945031 | 2147483647    65052     35 |  0.000 % |
72.62/72.64	c |     65264 |    8694   269998   945031 | 2147483647    65264     35 |  0.000 % |
72.92/72.96	c |     65497 |    8694   269998   945031 | 2147483647    65497     35 |  0.000 % |
73.22/73.31	c |     65753 |    8694   269998   945031 | 2147483647    65753     35 |  0.000 % |
73.52/73.61	c |     66034 |    8694   269998   945031 | 2147483647    66034     35 |  0.000 % |
73.82/73.89	c |     66344 |    8694   269998   945031 | 2147483647    66344     35 |  0.000 % |
74.32/74.40	c |     66683 |    8694   269998   945031 | 2147483647    66683     35 |  0.000 % |
74.92/75.01	c |     67055 |    8694   269998   945031 | 2147483647    67055     35 |  0.000 % |
75.82/75.84	c |     67464 |    8694   269998   945031 | 2147483647    67464     35 |  0.000 % |
76.72/76.77	c |     67913 |    8694   269998   945031 | 2147483647    67913     35 |  0.000 % |
77.62/77.68	c |     68406 |    8694   269998   945031 | 2147483647    68406     35 |  0.000 % |
78.22/78.28	c |     68948 |    8694   269998   945031 | 2147483647    68948     35 |  0.000 % |
79.02/79.05	c |     69544 |    8694   269998   945031 | 2147483647    69544     35 |  0.000 % |
79.42/79.44	c |     70199 |    8694   269998   945031 | 2147483647    70199     35 |  0.000 % |
80.22/80.23	c |     70919 |    8694   269998   945031 | 2147483647    70919     35 |  0.000 % |
81.32/81.38	c |     71712 |    8694   269998   945031 | 2147483647    71712     35 |  0.000 % |
82.52/82.52	c |     72583 |    8694   269998   945031 | 2147483647    72583     35 |  0.000 % |
82.62/82.62	c |     72684 |    8694   269998   945031 | 2147483647    72684     35 |  0.000 % |
82.72/82.74	c |     72795 |    8694   269998   945031 | 2147483647    72795     35 |  0.000 % |
82.92/82.95	c |     72917 |    8694   269998   945031 | 2147483647    72917     35 |  0.000 % |
83.12/83.15	c |     73050 |    8694   269998   945031 | 2147483647    73050     35 |  0.000 % |
83.32/83.39	c |     73196 |    8694   269998   945031 | 2147483647    73196     35 |  0.000 % |
83.62/83.62	c |     73356 |    8694   269998   945031 | 2147483647    73356     35 |  0.000 % |
83.82/83.84	c |     73533 |    8694   269998   945031 | 2147483647    73533     35 |  0.000 % |
84.02/84.11	c |     73727 |    8694   269998   945031 | 2147483647    73727     35 |  0.000 % |
84.22/84.28	c |     73941 |    8694   269998   945031 | 2147483647    73941     35 |  0.000 % |
84.62/84.64	c |     74175 |    8694   269998   945031 | 2147483647    74175     35 |  0.000 % |
84.92/84.99	c |     74431 |    8694   269998   945031 | 2147483647    74431     35 |  0.000 % |
85.42/85.43	c |     74712 |    8694   269998   945031 | 2147483647    74712     35 |  0.000 % |
85.82/85.90	c |     75022 |    8694   269998   945031 | 2147483647    75022     35 |  0.000 % |
86.22/86.23	c |     75361 |    8694   269998   945031 | 2147483647    75361     35 |  0.000 % |
86.62/86.71	c |     75734 |    8694   269998   945031 | 2147483647    75734     35 |  0.000 % |
87.32/87.39	c |     76143 |    8694   269998   945031 | 2147483647    76143     35 |  0.000 % |
88.02/88.09	c |     76592 |    8694   269998   945031 | 2147483647    76592     35 |  0.000 % |
88.82/88.85	c |     77085 |    8694   269998   945031 | 2147483647    77085     35 |  0.000 % |
89.62/89.63	c |     77627 |    8694   269998   945031 | 2147483647    77627     35 |  0.000 % |
90.52/90.59	c |     78223 |    8694   269998   945031 | 2147483647    78223     35 |  0.000 % |
91.62/91.65	c |     78881 |    8694   269998   945031 | 2147483647    78881     35 |  0.000 % |
92.72/92.72	c |     79601 |    8694   269998   945031 | 2147483647    79601     35 |  0.000 % |
93.92/93.94	c |     80394 |    8694   269998   945031 | 2147483647    80394     35 |  0.000 % |
95.22/95.30	c |     81265 |    8694   269998   945031 | 2147483647    81265     35 |  0.000 % |
96.82/96.87	c |     82227 |    8694   269998   945031 | 2147483647    82227     35 |  0.000 % |
97.02/97.04	c |     82331 |    8694   269998   945031 | 2147483647    82331     35 |  0.000 % |
97.22/97.24	c |     82443 |    8694   269998   945031 | 2147483647    82443     35 |  0.000 % |
97.32/97.36	c |     82564 |    8694   269998   945031 | 2147483647    82564     35 |  0.000 % |
97.42/97.44	c |     82698 |    8694   269998   945031 | 2147483647    82698     35 |  0.000 % |
97.72/97.72	c |     82844 |    8694   269998   945031 | 2147483647    82844     35 |  0.000 % |
97.82/97.88	c |     83006 |    8694   269998   945031 | 2147483647    83006     35 |  0.000 % |
97.92/97.94	c |     83182 |    8694   269998   945031 | 2147483647    83182     35 |  0.000 % |
98.22/98.25	c |     83376 |    8694   269998   945031 | 2147483647    83376     35 |  0.000 % |
98.42/98.50	c |     83588 |    8694   269998   945031 | 2147483647    83588     35 |  0.000 % |
98.52/98.57	c |     83822 |    8694   269998   945031 | 2147483647    83822     35 |  0.000 % |
98.62/98.69	c |     84078 |    8694   269998   945031 | 2147483647    84078     35 |  0.000 % |
98.92/98.93	c |     84359 |    8694   269998   945031 | 2147483647    84359     35 |  0.000 % |
99.32/99.38	c |     84669 |    8694   269998   945031 | 2147483647    84669     35 |  0.000 % |
99.72/99.79	c |     85008 |    8694   269998   945031 | 2147483647    85008     35 |  0.000 % |
100.22/100.27	c |     85380 |    8694   269998   945031 | 2147483647    85380     35 |  0.000 % |
100.62/100.67	c |     85790 |    8694   269998   945031 | 2147483647    85790     35 |  0.000 % |
101.32/101.39	c |     86239 |    8694   269998   945031 | 2147483647    86239     35 |  0.000 % |
101.82/101.89	c |     86732 |    8694   269998   945031 | 2147483647    86732     35 |  0.000 % |
102.32/102.36	c |     87274 |    8694   269998   945031 | 2147483647    87274     35 |  0.000 % |
102.82/102.91	c |     87871 |    8694   269998   945031 | 2147483647    87871     35 |  0.000 % |
103.42/103.43	c |     88526 |    8694   269998   945031 | 2147483647    88526     35 |  0.000 % |
103.62/103.68	c |     89246 |    8694   269998   945031 | 2147483647    89246     35 |  0.000 % |
104.52/104.57	c |     90039 |    8694   269998   945031 | 2147483647    90039     35 |  0.000 % |
104.82/104.90	c |     90910 |    8694   269998   945031 | 2147483647    90910     35 |  0.000 % |
106.52/106.57	c |     91873 |    8694   269998   945031 | 2147483647    91873     35 |  0.000 % |
107.32/107.39	c |     92927 |    8694   269998   945031 | 2147483647    92927     35 |  0.000 % |
107.42/107.50	c |     93027 |    8694   269998   945031 | 2147483647    93027     35 |  0.000 % |
107.52/107.56	c |     93137 |    8694   269998   945031 | 2147483647    93137     35 |  0.000 % |
107.62/107.68	c |     93259 |    8694   269998   945031 | 2147483647    93259     35 |  0.000 % |
107.83/107.87	c |     93392 |    8694   269998   945031 | 2147483647    93392     35 |  0.000 % |
107.92/108.01	c |     93538 |    8694   269998   945031 | 2147483647    93538     35 |  0.000 % |
108.02/108.09	c |     93698 |    8694   269998   945031 | 2147483647    93698     35 |  0.000 % |
108.22/108.26	c |     93874 |    8694   269998   945031 | 2147483647    93874     35 |  0.000 % |
108.52/108.56	c |     94067 |    8694   269998   945031 | 2147483647    94067     35 |  0.000 % |
108.62/108.70	c |     94279 |    8694   269998   945031 | 2147483647    94279     35 |  0.000 % |
108.93/108.98	c |     94512 |    8694   269998   945031 | 2147483647    94512     35 |  0.000 % |
109.02/109.06	c |     94770 |    8694   269998   945031 | 2147483647    94770     35 |  0.000 % |
109.32/109.39	c |     95052 |    8694   269998   945031 | 2147483647    95052     35 |  0.000 % |
109.72/109.80	c |     95361 |    8694   269998   945031 | 2147483647    95361     35 |  0.000 % |
110.22/110.28	c |     95700 |    8694   269998   945031 | 2147483647    95700     35 |  0.000 % |
110.82/110.86	c |     96074 |    8694   269998   945031 | 2147483647    96074     35 |  0.000 % |
111.13/111.14	c |     96483 |    8694   269998   945031 | 2147483647    96483     35 |  0.000 % |
111.52/111.54	c |     96932 |    8694   269998   945031 | 2147483647    96932     35 |  0.000 % |
112.12/112.14	c |     97426 |    8694   269998   945031 | 2147483647    97426     35 |  0.000 % |
112.82/112.86	c |     97968 |    8694   269998   945031 | 2147483647    97968     35 |  0.000 % |
113.52/113.56	c |     98564 |    8694   269998   945031 | 2147483647    98564     35 |  0.000 % |
113.92/113.97	c |     99219 |    8694   269998   945031 | 2147483647    99219     35 |  0.000 % |
114.72/114.71	c |     99939 |    8694   269998   945031 | 2147483647    99939     35 |  0.000 % |
115.82/115.85	c |    100731 |    8694   269998   945031 | 2147483647   100731     35 |  0.000 % |
117.12/117.13	c |    101602 |    8694   269998   945031 | 2147483647   101602     35 |  0.000 % |
118.12/118.20	c |    102561 |    8694   269998   945031 | 2147483647   102561     35 |  0.000 % |
119.22/119.22	c |    103615 |    8694   269998   945031 | 2147483647   103615     35 |  0.000 % |
121.12/121.17	c |    104774 |    8694   269998   945031 | 2147483647   104774     35 |  0.000 % |
121.32/121.37	c |    104875 |    8694   269998   945031 | 2147483647   104875     35 |  0.000 % |
121.52/121.52	c |    104985 |    8694   269998   945031 | 2147483647   104985     35 |  0.000 % |
121.62/121.65	c |    105107 |    8694   269998   945031 | 2147483647   105107     35 |  0.000 % |
121.82/121.88	c |    105240 |    8694   269998   945031 | 2147483647   105240     35 |  0.000 % |
122.02/122.01	c |    105386 |    8694   269998   945031 | 2147483647   105386     35 |  0.000 % |
122.13/122.18	c |    105548 |    8694   269998   945031 | 2147483647   105548     35 |  0.000 % |
122.32/122.32	c |    105725 |    8694   269998   945031 | 2147483647   105725     35 |  0.000 % |
122.62/122.67	c |    105918 |    8694   269998   945031 | 2147483647   105918     35 |  0.000 % |
123.12/123.16	c |    106131 |    8694   269998   945031 | 2147483647   106131     35 |  0.000 % |
123.52/123.53	c |    106364 |    8694   269998   945031 | 2147483647   106364     35 |  0.000 % |
123.82/123.84	c |    106620 |    8694   269998   945031 | 2147483647   106620     35 |  0.000 % |
123.92/124.00	c |    106903 |    8694   269998   945031 | 2147483647   106903     35 |  0.000 % |
124.42/124.45	c |    107212 |    8694   269998   945031 | 2147483647   107212     35 |  0.000 % |
124.92/124.98	c |    107551 |    8694   269998   945031 | 2147483647   107551     35 |  0.000 % |
125.32/125.41	c |    107923 |    8694   269998   945031 | 2147483647   107923     35 |  0.000 % |
126.12/126.11	c |    108332 |    8694   269998   945031 | 2147483647   108332     35 |  0.000 % |
126.92/126.91	c |    108781 |    8694   269998   945031 | 2147483647   108781     35 |  0.000 % |
127.32/127.36	c |    109274 |    8694   269998   945031 | 2147483647   109274     35 |  0.000 % |
128.31/128.31	c |    109816 |    8694   269998   945031 | 2147483647   109816     35 |  0.000 % |
129.21/129.27	c |    110414 |    8694   269998   945031 | 2147483647   110414     35 |  0.000 % |
130.21/130.29	c |    111070 |    8694   269998   945031 | 2147483647   111070     35 |  0.000 % |
131.11/131.17	c |    111793 |    8694   269998   945031 | 2147483647   111793     35 |  0.000 % |
132.71/132.70	c |    112587 |    8694   269998   945031 | 2147483647   112587     35 |  0.000 % |
133.41/133.43	c |    113458 |    8694   269998   945031 | 2147483647   113458     35 |  0.000 % |
135.32/135.33	c |    114416 |    8694   269998   945031 | 2147483647   114416     35 |  0.000 % |
137.01/137.00	c |    115472 |    8694   269998   945031 | 2147483647   115472     35 |  0.000 % |
138.41/138.45	c |    116632 |    8694   269998   945031 | 2147483647   116632     35 |  0.000 % |
140.72/140.72	c |    117906 |    8694   269998   945031 | 2147483647   117906     35 |  0.000 % |
140.82/140.90	c |    118006 |    8694   269998   945031 | 2147483647   118006     35 |  0.000 % |
141.02/141.11	c |    118117 |    8694   269998   945031 | 2147483647   118117     35 |  0.000 % |
141.32/141.33	c |    118238 |    8694   269998   945031 | 2147483647   118238     35 |  0.000 % |
141.52/141.53	c |    118371 |    8694   269998   945031 | 2147483647   118371     35 |  0.000 % |
141.82/141.83	c |    118517 |    8694   269998   945031 | 2147483647   118517     35 |  0.000 % |
142.12/142.13	c |    118679 |    8694   269998   945031 | 2147483647   118679     35 |  0.000 % |
142.22/142.30	c |    118855 |    8694   269998   945031 | 2147483647   118855     35 |  0.000 % |
142.52/142.58	c |    119048 |    8694   269998   945031 | 2147483647   119048     35 |  0.000 % |
143.02/143.03	c |    119262 |    8694   269998   945031 | 2147483647   119262     35 |  0.000 % |
143.32/143.39	c |    119495 |    8694   269998   945031 | 2147483647   119495     35 |  0.000 % |
143.92/143.96	c |    119753 |    8694   269998   945031 | 2147483647   119753     35 |  0.000 % |
144.42/144.44	c |    120034 |    8694   269998   945031 | 2147483647   120034     35 |  0.000 % |
144.82/144.88	c |    120344 |    8694   269998   945031 | 2147483647   120344     35 |  0.000 % |
145.62/145.64	c |    120683 |    8694   269998   945031 | 2147483647   120683     35 |  0.000 % |
146.42/146.41	c |    121055 |    8694   269998   945031 | 2147483647   121055     35 |  0.000 % |
147.12/147.20	c |    121464 |    8694   269998   945031 | 2147483647   121464     35 |  0.000 % |
147.92/147.94	c |    121914 |    8694   269998   945031 | 2147483647   121914     35 |  0.000 % |
149.02/149.05	c |    122407 |    8694   269998   945031 | 2147483647   122407     35 |  0.000 % |
150.12/150.15	c |    122949 |    8694   269998   945031 | 2147483647   122949     35 |  0.000 % |
151.42/151.41	c |    123545 |    8694   269998   945031 | 2147483647   123545     35 |  0.000 % |
152.52/152.53	c |    124200 |    8694   269998   945031 | 2147483647   124200     35 |  0.000 % |
153.82/153.85	c |    124920 |    8694   269998   945031 | 2147483647   124920     35 |  0.000 % |
155.12/155.17	c |    125712 |    8694   269998   945031 | 2147483647   125712     35 |  0.000 % |
156.42/156.42	c |    126583 |    8694   269998   945031 | 2147483647   126583     35 |  0.000 % |
157.92/157.93	c |    127542 |    8694   269998   945031 | 2147483647   127542     35 |  0.000 % |
158.82/158.85	c |    128596 |    8694   269998   945031 | 2147483647   128596     35 |  0.000 % |
160.02/160.04	c |    129754 |    8694   269998   945031 | 2147483647   129754     35 |  0.000 % |
161.92/161.91	c |    131027 |    8694   269998   945031 | 2147483647   131027     35 |  0.000 % |
163.32/163.40	c |    132427 |    8694   269998   945031 | 2147483647   132427     35 |  0.000 % |
163.42/163.50	c |    132527 |    8694   269998   945031 | 2147483647   132527     35 |  0.000 % |
163.62/163.62	c |    132637 |    8694   269998   945031 | 2147483647   132637     35 |  0.000 % |
163.82/163.83	c |    132759 |    8694   269998   945031 | 2147483647   132759     35 |  0.000 % |
164.02/164.05	c |    132892 |    8694   269998   945031 | 2147483647   132892     35 |  0.000 % |
164.12/164.16	c |    133038 |    8694   269998   945031 | 2147483647   133038     35 |  0.000 % |
164.42/164.42	c |    133200 |    8694   269998   945031 | 2147483647   133200     35 |  0.000 % |
164.82/164.83	c |    133378 |    8694   269998   945031 | 2147483647   133378     35 |  0.000 % |
165.22/165.26	c |    133571 |    8694   269998   945031 | 2147483647   133571     35 |  0.000 % |
165.52/165.55	c |    133783 |    8694   269998   945031 | 2147483647   133783     35 |  0.000 % |
166.02/166.03	c |    134016 |    8694   269998   945031 | 2147483647   134016     35 |  0.000 % |
166.32/166.32	c |    134272 |    8694   269998   945031 | 2147483647   134272     35 |  0.000 % |
166.72/166.72	c |    134554 |    8694   269998   945031 | 2147483647   134554     35 |  0.000 % |
167.32/167.31	c |    134865 |    8694   269998   945031 | 2147483647   134865     35 |  0.000 % |
167.82/167.84	c |    135208 |    8694   269998   945031 | 2147483647   135208     36 |  0.000 % |
168.52/168.55	c |    135580 |    8694   269998   945031 | 2147483647   135580     36 |  0.000 % |
169.32/169.35	c |    135989 |    8694   269998   945031 | 2147483647   135989     35 |  0.000 % |
170.32/170.39	c |    136438 |    8694   269998   945031 | 2147483647   136438     35 |  0.000 % |
171.42/171.42	c |    136931 |    8694   269998   945031 | 2147483647   136931     36 |  0.000 % |
172.72/172.76	c |    137473 |    8694   269998   945031 | 2147483647   137473     36 |  0.000 % |
173.82/173.88	c |    138070 |    8694   269998   945031 | 2147483647   138070     36 |  0.000 % |
175.02/175.04	c |    138725 |    8694   269998   945031 | 2147483647   138725     36 |  0.000 % |
175.82/175.81	c |    139448 |    8694   269998   945031 | 2147483647   139448     36 |  0.000 % |
177.42/177.41	c |    140240 |    8694   269998   945031 | 2147483647   140240     36 |  0.000 % |
179.22/179.25	c |    141111 |    8694   269998   945031 | 2147483647   141111     36 |  0.000 % |
181.32/181.31	c |    142069 |    8694   269998   945031 | 2147483647   142069     36 |  0.000 % |
182.82/182.86	c |    143125 |    8694   269998   945031 | 2147483647   143125     36 |  0.000 % |
184.92/184.93	c |    144285 |    8694   269998   945031 | 2147483647   144285     36 |  0.000 % |
187.22/187.21	c |    145558 |    8694   269998   945031 | 2147483647   145558     36 |  0.000 % |
189.32/189.38	c |    146959 |    8694   269998   945031 | 2147483647   146959     36 |  0.000 % |
191.02/191.09	c |    148499 |    8694   269998   945031 | 2147483647   148499     36 |  0.000 % |
191.22/191.30	c |    148600 |    8694   269998   945031 | 2147483647   148600     36 |  0.000 % |
191.43/191.50	c |    148711 |    8694   269998   945031 | 2147483647   148711     36 |  0.000 % |
191.82/191.81	c |    148833 |    8694   269998   945031 | 2147483647   148833     36 |  0.000 % |
192.02/192.08	c |    148967 |    8694   269998   945031 | 2147483647   148967     36 |  0.000 % |
192.42/192.42	c |    149113 |    8694   269998   945031 | 2147483647   149113     36 |  0.000 % |
192.82/192.85	c |    149273 |    8694   269998   945031 | 2147483647   149273     36 |  0.000 % |
193.22/193.28	c |    149449 |    8694   269998   945031 | 2147483647   149449     36 |  0.000 % |
193.63/193.66	c |    149642 |    8694   269998   945031 | 2147483647   149642     36 |  0.000 % |
194.02/194.05	c |    149855 |    8694   269998   945031 | 2147483647   149855     36 |  0.000 % |
194.62/194.61	c |    150088 |    8694   269998   945031 | 2147483647   150088     36 |  0.000 % |
195.12/195.13	c |    150345 |    8694   269998   945031 | 2147483647   150345     36 |  0.000 % |
195.62/195.70	c |    150626 |    8694   269998   945031 | 2147483647   150626     36 |  0.000 % |
196.22/196.30	c |    150935 |    8694   269998   945031 | 2147483647   150935     36 |  0.000 % |
196.62/196.70	c |    151274 |    8694   269998   945031 | 2147483647   151274     36 |  0.000 % |
197.62/197.67	c |    151646 |    8694   269998   945031 | 2147483647   151646     36 |  0.000 % |
198.52/198.58	c |    152055 |    8694   269998   945031 | 2147483647   152055     36 |  0.000 % |
199.52/199.60	c |    152504 |    8694   269998   945031 | 2147483647   152504     36 |  0.000 % |
199.92/200.00	c |    153001 |    8694   269998   945031 | 2147483647   153001     36 |  0.000 % |
201.12/201.17	c |    153545 |    8694   269998   945031 | 2147483647   153545     36 |  0.000 % |
202.52/202.54	c |    154142 |    8694   269998   945031 | 2147483647   154142     36 |  0.000 % |
203.82/203.87	c |    154797 |    8694   269998   945031 | 2147483647   154797     36 |  0.000 % |
205.22/205.20	c |    155518 |    8694   269998   945031 | 2147483647   155518     36 |  0.000 % |
206.52/206.59	c |    156310 |    8694   269998   945031 | 2147483647   156310     36 |  0.000 % |
208.32/208.36	c |    157181 |    8694   269998   945031 | 2147483647   157181     36 |  0.000 % |
210.22/210.23	c |    158139 |    8694   269998   945031 | 2147483647   158139     36 |  0.000 % |
212.62/212.64	c |    159192 |    8694   269998   945031 | 2147483647   159192     36 |  0.000 % |
214.53/214.60	c |    160350 |    8694   269998   945031 | 2147483647   160350     36 |  0.000 % |
217.52/217.52	c |    161627 |    8694   269998   945031 | 2147483647   161627     36 |  0.000 % |
220.52/220.59	c |    163029 |    8694   269998   945031 | 2147483647   163029     36 |  0.000 % |
223.73/223.80	c |    164574 |    8694   269998   945031 | 2147483647   164574     36 |  0.000 % |
227.43/227.46	c |    166268 |    8694   269998   945031 | 2147483647   166268     36 |  0.000 % |
227.63/227.64	c |    166368 |    8694   269998   945031 | 2147483647   166368     36 |  0.000 % |
227.93/227.93	c |    166478 |    8694   269998   945031 | 2147483647   166478     36 |  0.000 % |
228.13/228.21	c |    166599 |    8694   269998   945031 | 2147483647   166599     36 |  0.000 % |
228.43/228.42	c |    166733 |    8694   269998   945031 | 2147483647   166733     36 |  0.000 % |
228.73/228.76	c |    166880 |    8694   269998   945031 | 2147483647   166880     36 |  0.000 % |
229.03/229.09	c |    167040 |    8694   269998   945031 | 2147483647   167040     36 |  0.000 % |
229.43/229.49	c |    167217 |    8694   269998   945031 | 2147483647   167217     36 |  0.000 % |
229.83/229.82	c |    167410 |    8694   269998   945031 | 2147483647   167410     36 |  0.000 % |
230.33/230.32	c |    167622 |    8694   269998   945031 | 2147483647   167622     36 |  0.000 % |
230.83/230.87	c |    167857 |    8694   269998   945031 | 2147483647   167857     36 |  0.000 % |
231.43/231.51	c |    168113 |    8694   269998   945031 | 2147483647   168113     36 |  0.000 % |
232.03/232.04	c |    168395 |    8694   269998   945031 | 2147483647   168395     36 |  0.000 % |
232.63/232.67	c |    168704 |    8694   269998   945031 | 2147483647   168704     36 |  0.000 % |
233.33/233.34	c |    169044 |    8694   269998   945031 | 2147483647   169044     36 |  0.000 % |
234.03/234.09	c |    169418 |    8694   269998   945031 | 2147483647   169418     36 |  0.000 % |
235.13/235.18	c |    169828 |    8694   269998   945031 | 2147483647   169828     36 |  0.000 % |
235.93/235.93	c |    170277 |    8694   269998   945031 | 2147483647   170277     36 |  0.000 % |
237.23/237.25	c |    170771 |    8694   269998   945031 | 2147483647   170771     36 |  0.000 % |
238.43/238.43	c |    171313 |    8694   269998   945031 | 2147483647   171313     36 |  0.000 % |
239.43/239.42	c |    171909 |    8694   269998   945031 | 2147483647   171909     36 |  0.000 % |
240.73/240.75	c |    172565 |    8694   269998   945031 | 2147483647   172565     36 |  0.000 % |
241.03/241.10	c |    173286 |    8694   269998   945031 | 2147483647   173286     36 |  0.000 % |
242.73/242.73	c |    174078 |    8694   269998   945031 | 2147483647   174078     36 |  0.000 % |
243.43/243.49	c |    174950 |    8694   269998   945031 | 2147483647   174950     36 |  0.000 % |
245.03/245.09	c |    175908 |    8694   269998   945031 | 2147483647   175908     36 |  0.000 % |
246.93/246.95	c |    176962 |    8694   269998   945031 | 2147483647   176962     36 |  0.000 % |
249.13/249.14	c |    178120 |    8694   269998   945031 | 2147483647   178120     36 |  0.000 % |
249.93/249.94	c |    179393 |    8694   269998   945031 | 2147483647   179393     36 |  0.000 % |
251.53/251.51	c |    180793 |    8694   269998   945031 | 2147483647   180793     36 |  0.000 % |
253.63/253.63	c |    182333 |    8694   269998   945031 | 2147483647   182333     36 |  0.000 % |
255.43/255.44	c |    184027 |    8694   269998   945031 | 2147483647   184027     36 |  0.000 % |
258.83/258.83	c |    185892 |    8694   269998   945031 | 2147483647   185892     36 |  0.000 % |
259.03/259.09	c |    185992 |    8694   269998   945031 | 2147483647   185992     36 |  0.000 % |
259.33/259.32	c |    186102 |    8694   269998   945031 | 2147483647   186102     36 |  0.000 % |
259.53/259.55	c |    186223 |    8694   269998   945031 | 2147483647   186223     36 |  0.000 % |
259.83/259.83	c |    186357 |    8694   269998   945031 | 2147483647   186357     36 |  0.000 % |
260.13/260.14	c |    186503 |    8694   269998   945031 | 2147483647   186503     36 |  0.000 % |
260.33/260.40	c |    186663 |    8694   269998   945031 | 2147483647   186663     36 |  0.000 % |
260.63/260.63	c |    186841 |    8694   269998   945031 | 2147483647   186841     36 |  0.000 % |
261.03/261.05	c |    187034 |    8694   269998   945031 | 2147483647   187034     36 |  0.000 % |
261.23/261.23	c |    187247 |    8694   269998   945031 | 2147483647   187247     36 |  0.000 % |
261.53/261.58	c |    187482 |    8694   269998   945031 | 2147483647   187482     36 |  0.000 % |
261.83/261.89	c |    187739 |    8694   269998   945031 | 2147483647   187739     36 |  0.000 % |
262.13/262.12	c |    188020 |    8694   269998   945031 | 2147483647   188020     36 |  0.000 % |
262.73/262.74	c |    188331 |    8694   269998   945031 | 2147483647   188331     36 |  0.000 % |
263.33/263.35	c |    188670 |    8694   269998   945031 | 2147483647   188670     36 |  0.000 % |
264.23/264.27	c |    189042 |    8694   269998   945031 | 2147483647   189042     36 |  0.000 % |
264.53/264.51	c |    189451 |    8694   269998   945031 | 2147483647   189451     36 |  0.000 % |
265.43/265.41	c |    189900 |    8694   269998   945031 | 2147483647   189900     36 |  0.000 % |
266.43/266.45	c |    190394 |    8694   269998   945031 | 2147483647   190394     36 |  0.000 % |
267.43/267.41	c |    190936 |    8694   269998   945031 | 2147483647   190936     36 |  0.000 % |
268.53/268.55	c |    191533 |    8694   269998   945031 | 2147483647   191533     36 |  0.000 % |
269.63/269.70	c |    192189 |    8694   269998   945031 | 2147483647   192189     36 |  0.000 % |
271.03/271.08	c |    192911 |    8694   269998   945031 | 2147483647   192911     36 |  0.000 % |
273.33/273.31	c |    193706 |    8694   269998   945031 | 2147483647   193706     36 |  0.000 % |
275.13/275.17	c |    194577 |    8694   269998   945031 | 2147483647   194577     36 |  0.000 % |
276.03/276.01	c |    195535 |    8694   269998   945031 | 2147483647   195535     36 |  0.000 % |
278.23/278.23	c |    196588 |    8694   269998   945031 | 2147483647   196588     37 |  0.000 % |
280.43/280.48	c |    197746 |    8694   269998   945031 | 2147483647   197746     37 |  0.000 % |
283.63/283.61	c |    199021 |    8694   269998   945031 | 2147483647   199021     37 |  0.000 % |
286.33/286.34	c |    200421 |    8694   269998   945031 | 2147483647   200421     37 |  0.000 % |
289.73/289.78	c |    201961 |    8694   269998   945031 | 2147483647   201961     37 |  0.000 % |
294.63/294.66	c |    203655 |    8694   269998   945031 | 2147483647   203655     37 |  0.000 % |
300.03/300.04	c |    205518 |    8694   269998   945031 | 2147483647   205518     37 |  0.000 % |
303.53/303.54	c |    207567 |    8694   269998   945031 | 2147483647   207567     37 |  0.000 % |
303.73/303.75	c |    207667 |    8694   269998   945031 | 2147483647   207667     37 |  0.000 % |
303.93/303.98	c |    207778 |    8694   269998   945031 | 2147483647   207778     37 |  0.000 % |
304.33/304.31	c |    207899 |    8694   269998   945031 | 2147483647   207899     37 |  0.000 % |
304.53/304.61	c |    208032 |    8694   269998   945031 | 2147483647   208032     37 |  0.000 % |
304.84/304.86	c |    208180 |    8694   269998   945031 | 2147483647   208180     37 |  0.000 % |
305.24/305.21	c |    208340 |    8694   269998   945031 | 2147483647   208340     37 |  0.000 % |
305.64/305.64	c |    208517 |    8694   269998   945031 | 2147483647   208517     37 |  0.000 % |
305.74/305.79	c |    208711 |    8694   269998   945031 | 2147483647   208711     37 |  0.000 % |
306.44/306.49	c |    208923 |    8694   269998   945031 | 2147483647   208923     37 |  0.000 % |
307.04/307.10	c |    209159 |    8694   269998   945031 | 2147483647   209159     37 |  0.000 % |
307.74/307.79	c |    209415 |    8694   269998   945031 | 2147483647   209415     37 |  0.000 % |
308.44/308.49	c |    209696 |    8694   269998   945031 | 2147483647   209696     37 |  0.000 % |
309.14/309.19	c |    210005 |    8694   269998   945031 | 2147483647   210005     37 |  0.000 % |
309.84/309.89	c |    210345 |    8694   269998   945031 | 2147483647   210345     37 |  0.000 % |
310.64/310.69	c |    210717 |    8694   269998   945031 | 2147483647   210717     37 |  0.000 % |
311.64/311.71	c |    211129 |    8694   269998   945031 | 2147483647   211129     37 |  0.000 % |
312.94/312.96	c |    211580 |    8694   269998   945031 | 2147483647   211580     37 |  0.000 % |
313.94/313.99	c |    212073 |    8694   269998   945031 | 2147483647   212073     37 |  0.000 % |
314.94/314.92	c |    212619 |    8694   269998   945031 | 2147483647   212619     37 |  0.000 % |
316.34/316.36	c |    213216 |    8694   269998   945031 | 2147483647   213216     37 |  0.000 % |
317.84/317.91	c |    213872 |    8694   269998   945031 | 2147483647   213872     37 |  0.000 % |
319.34/319.34	c |    214592 |    8694   269998   945031 | 2147483647   214592     37 |  0.000 % |
321.44/321.43	c |    215385 |    8694   269998   945031 | 2147483647   215385     37 |  0.000 % |
324.04/324.02	c |    216257 |    8694   269998   945031 | 2147483647   216257     37 |  0.000 % |
326.54/326.58	c |    217216 |    8694   269998   945031 | 2147483647   217216     37 |  0.000 % |
328.64/328.68	c |    218272 |    8694   269998   945031 | 2147483647   218272     37 |  0.000 % |
331.24/331.24	c |    219430 |    8694   269998   945031 | 2147483647   219430     37 |  0.000 % |
334.54/334.56	c |    220705 |    8694   269998   945031 | 2147483647   220705     37 |  0.000 % |
338.24/338.31	c |    222106 |    8694   269998   945031 | 2147483647   222106     37 |  0.000 % |
341.94/342.01	c |    223648 |    8694   269998   945031 | 2147483647   223648     37 |  0.000 % |
345.74/345.71	c |    225342 |    8694   269998   945031 | 2147483647   225342     37 |  0.000 % |
350.14/350.18	c |    227206 |    8694   269998   945031 | 2147483647   227206     37 |  0.000 % |
356.34/356.33	c |    229255 |    8694   269998   945031 | 2147483647   229255     37 |  0.000 % |
362.34/362.34	c |    231510 |    8694   269998   945031 | 2147483647   231510     37 |  0.000 % |
362.64/362.64	c |    231612 |    8694   269998   945031 | 2147483647   231612     37 |  0.000 % |
362.94/362.94	c |    231722 |    8694   269998   945031 | 2147483647   231722     37 |  0.000 % |
363.34/363.35	c |    231844 |    8694   269998   945031 | 2147483647   231844     37 |  0.000 % |
363.54/363.59	c |    231977 |    8694   269998   945031 | 2147483647   231977     37 |  0.000 % |
364.04/364.01	c |    232125 |    8694   269998   945031 | 2147483647   232125     37 |  0.000 % |
364.44/364.48	c |    232285 |    8694   269998   945031 | 2147483647   232285     37 |  0.000 % |
364.74/364.78	c |    232461 |    8694   269998   945031 | 2147483647   232461     37 |  0.000 % |
365.34/365.33	c |    232654 |    8694   269998   945031 | 2147483647   232654     37 |  0.000 % |
365.54/365.54	c |    232867 |    8694   269998   945031 | 2147483647   232867     37 |  0.000 % |
366.24/366.23	c |    233101 |    8694   269998   945031 | 2147483647   233101     37 |  0.000 % |
367.04/367.05	c |    233359 |    8694   269998   945031 | 2147483647   233359     37 |  0.000 % |
367.84/367.90	c |    233640 |    8694   269998   945031 | 2147483647   233640     37 |  0.000 % |
368.74/368.75	c |    233951 |    8694   269998   945031 | 2147483647   233951     37 |  0.000 % |
369.54/369.60	c |    234292 |    8694   269998   945031 | 2147483647   234292     37 |  0.000 % |
370.54/370.55	c |    234665 |    8694   269998   945031 | 2147483647   234665     37 |  0.000 % |
371.64/371.63	c |    235075 |    8694   269998   945031 | 2147483647   235075     37 |  0.000 % |
372.64/372.67	c |    235524 |    8694   269998   945031 | 2147483647   235524     37 |  0.000 % |
373.74/373.77	c |    236019 |    8694   269998   945031 | 2147483647   236019     37 |  0.000 % |
375.34/375.33	c |    236561 |    8694   269998   945031 | 2147483647   236561     37 |  0.000 % |
377.24/377.24	c |    237158 |    8694   269998   945031 | 2147483647   237158     37 |  0.000 % |
378.94/378.98	c |    237813 |    8694   269998   945031 | 2147483647   237813     37 |  0.000 % |
381.24/381.21	c |    238533 |    8694   269998   945031 | 2147483647   238533     37 |  0.000 % |
383.04/383.08	c |    239325 |    8694   269998   945031 | 2147483647   239325     37 |  0.000 % |
385.44/385.48	c |    240198 |    8694   269998   945031 | 2147483647   240198     37 |  0.000 % |
388.55/388.54	c |    241156 |    8694   269998   945031 | 2147483647   241156     37 |  0.000 % |
391.55/391.61	c |    242209 |    8694   269998   945031 | 2147483647   242209     37 |  0.000 % |
395.15/395.13	c |    243368 |    8694   269998   945031 | 2147483647   243368     37 |  0.000 % |
398.85/398.87	c |    244641 |    8694   269998   945031 | 2147483647   244641     37 |  0.000 % |
402.75/402.81	c |    246041 |    8694   269998   945031 | 2147483647   246041     37 |  0.000 % |
407.65/407.63	c |    247583 |    8694   269998   945031 | 2147483647   247583     37 |  0.000 % |
411.75/411.77	c |    249279 |    8694   269998   945031 | 2147483647   249279     37 |  0.000 % |
417.45/417.48	c |    251142 |    8694   269998   945031 | 2147483647   251142     37 |  0.000 % |
422.45/422.48	c |    253192 |    8694   269998   945031 | 2147483647   253192     37 |  0.000 % |
427.65/427.64	c |    255447 |    8694   269998   945031 | 2147483647   255447     37 |  0.000 % |
434.35/434.39	c |    257926 |    8694   269998   945031 | 2147483647   257926     37 |  0.000 % |
434.75/434.77	c |    258026 |    8694   269998   945031 | 2147483647   258026     37 |  0.000 % |
434.95/434.93	c |    258136 |    8694   269998   945031 | 2147483647   258136     37 |  0.000 % |
435.25/435.24	c |    258257 |    8694   269998   945031 | 2147483647   258257     37 |  0.000 % |
435.55/435.56	c |    258391 |    8694   269998   945031 | 2147483647   258391     37 |  0.000 % |
435.85/435.86	c |    258539 |    8694   269998   945031 | 2147483647   258539     37 |  0.000 % |
436.25/436.29	c |    258703 |    8694   269998   945031 | 2147483647   258703     37 |  0.000 % |
436.65/436.68	c |    258881 |    8694   269998   945031 | 2147483647   258881     37 |  0.000 % |
437.05/437.10	c |    259074 |    8694   269998   945031 | 2147483647   259074     37 |  0.000 % |
437.45/437.46	c |    259286 |    8694   269998   945031 | 2147483647   259286     37 |  0.000 % |
438.15/438.18	c |    259520 |    8694   269998   945031 | 2147483647   259520     37 |  0.000 % |
438.65/438.64	c |    259777 |    8694   269998   945031 | 2147483647   259777     37 |  0.000 % |
439.25/439.29	c |    260058 |    8694   269998   945031 | 2147483647   260058     37 |  0.000 % |
439.85/439.81	c |    260367 |    8694   269998   945031 | 2147483647   260367     37 |  0.000 % |
440.85/440.83	c |    260706 |    8694   269998   945031 | 2147483647   260706     37 |  0.000 % |
442.05/442.03	c |    261079 |    8694   269998   945031 | 2147483647   261079     37 |  0.000 % |
442.65/442.63	c |    261490 |    8694   269998   945031 | 2147483647   261490     37 |  0.000 % |
443.65/443.64	c |    261940 |    8694   269998   945031 | 2147483647   261940     37 |  0.000 % |
444.85/444.88	c |    262433 |    8694   269998   945031 | 2147483647   262433     37 |  0.000 % |
446.66/446.66	c |    262975 |    8694   269998   945031 | 2147483647   262975     37 |  0.000 % |
448.25/448.21	c |    263572 |    8694   269998   945031 | 2147483647   263572     37 |  0.000 % |
449.35/449.34	c |    264227 |    8694   269998   945031 | 2147483647   264227     37 |  0.000 % |
451.45/451.50	c |    264949 |    8694   269998   945031 | 2147483647   264949     37 |  0.000 % |
453.15/453.19	c |    265741 |    8694   269998   945031 | 2147483647   265741     37 |  0.000 % |
455.65/455.65	c |    266612 |    8694   269998   945031 | 2147483647   266612     37 |  0.000 % |
458.25/458.29	c |    267570 |    8694   269998   945031 | 2147483647   267570     37 |  0.000 % |
461.25/461.29	c |    268623 |    8694   269998   945031 | 2147483647   268623     37 |  0.000 % |
464.95/464.97	c |    269781 |    8694   269998   945031 | 2147483647   269781     37 |  0.000 % |
468.35/468.37	c |    271054 |    8694   269998   945031 | 2147483647   271054     37 |  0.000 % |
472.56/472.55	c |    272456 |    8694   269998   945031 | 2147483647   272456     37 |  0.000 % |
477.76/477.73	c |    273997 |    8694   269998   945031 | 2147483647   273997     37 |  0.000 % |
482.66/482.63	c |    275693 |    8694   269998   945031 | 2147483647   275693     37 |  0.000 % |
486.85/486.89	c |    277557 |    8694   269998   945031 | 2147483647   277557     38 |  0.000 % |
492.55/492.53	c |    279606 |    8694   269998   945031 | 2147483647   279606     38 |  0.000 % |
497.85/497.83	c |    281859 |    8694   269998   945031 | 2147483647   281859     38 |  0.000 % |
504.15/504.10	c |    284337 |    8694   269998   945031 | 2147483647   284337     38 |  0.000 % |
511.75/511.73	c |    287062 |    8694   269998   945031 | 2147483647   287062     38 |  0.000 % |
511.85/511.83	c |    287163 |    8694   269998   945031 | 2147483647   287163     38 |  0.000 % |
512.15/512.18	c |    287274 |    8694   269998   945031 | 2147483647   287274     38 |  0.000 % |
512.65/512.63	c |    287395 |    8694   269998   945031 | 2147483647   287395     38 |  0.000 % |
513.05/513.01	c |    287528 |    8694   269998   945031 | 2147483647   287528     38 |  0.000 % |
513.55/513.55	c |    287674 |    8694   269998   945031 | 2147483647   287674     38 |  0.000 % |
514.05/514.01	c |    287835 |    8694   269998   945031 | 2147483647   287835     38 |  0.000 % |
514.45/514.40	c |    288011 |    8694   269998   945031 | 2147483647   288011     38 |  0.000 % |
515.05/515.07	c |    288204 |    8694   269998   945031 | 2147483647   288204     38 |  0.000 % |
515.95/515.97	c |    288418 |    8694   269998   945031 | 2147483647   288418     38 |  0.000 % |
516.85/516.82	c |    288651 |    8694   269998   945031 | 2147483647   288651     38 |  0.000 % |
517.45/517.48	c |    288907 |    8694   269998   945031 | 2147483647   288907     38 |  0.000 % |
518.55/518.50	c |    289190 |    8694   269998   945031 | 2147483647   289190     38 |  0.000 % |
519.65/519.63	c |    289499 |    8694   269998   945031 | 2147483647   289499     38 |  0.000 % |
520.55/520.54	c |    289838 |    8694   269998   945031 | 2147483647   289838     38 |  0.000 % |
521.75/521.70	c |    290212 |    8694   269998   945031 | 2147483647   290212     38 |  0.000 % |
522.75/522.79	c |    290622 |    8694   269998   945031 | 2147483647   290622     38 |  0.000 % |
523.75/523.79	c |    291071 |    8694   269998   945031 | 2147483647   291071     38 |  0.000 % |
525.25/525.20	c |    291564 |    8694   269998   945031 | 2147483647   291564     38 |  0.000 % |
526.65/526.65	c |    292106 |    8694   269998   945031 | 2147483647   292106     38 |  0.000 % |
528.75/528.77	c |    292703 |    8694   269998   945031 | 2147483647   292703     38 |  0.000 % |
530.45/530.44	c |    293359 |    8694   269998   945031 | 2147483647   293359     38 |  0.000 % |
532.25/532.23	c |    294080 |    8694   269998   945031 | 2147483647   294080     38 |  0.000 % |
534.15/534.13	c |    294872 |    8694   269998   945031 | 2147483647   294872     38 |  0.000 % |
536.25/536.23	c |    295743 |    8694   269998   945031 | 2147483647   295743     38 |  0.000 % |
538.95/538.93	c |    296701 |    8694   269998   945031 | 2147483647   296701     38 |  0.000 % |
542.15/542.19	c |    297754 |    8694   269998   945031 | 2147483647   297754     38 |  0.000 % |
545.85/545.84	c |    298914 |    8694   269998   945031 | 2147483647   298914     38 |  0.000 % |
549.35/549.35	c |    300188 |    8694   269998   945031 | 2147483647   300188     38 |  0.000 % |
552.66/552.69	c |    301589 |    8694   269998   945031 | 2147483647   301589     38 |  0.000 % |
557.36/557.37	c |    303130 |    8694   269998   945031 | 2147483647   303130     38 |  0.000 % |
563.06/563.08	c |    304825 |    8694   269998   945031 | 2147483647   304825     38 |  0.000 % |
568.16/568.16	c |    306689 |    8694   269998   945031 | 2147483647   306689     38 |  0.000 % |
573.86/573.84	c |    308740 |    8694   269998   945031 | 2147483647   308740     38 |  0.000 % |
580.96/580.94	c |    310993 |    8694   269998   945031 | 2147483647   310993     38 |  0.000 % |
588.96/588.97	c |    313472 |    8694   269998   945031 | 2147483647   313472     38 |  0.000 % |
598.06/598.10	c |    316198 |    8694   269998   945031 | 2147483647   316198     38 |  0.000 % |
606.27/606.31	c |    319195 |    8694   269998   945031 | 2147483647   319195     38 |  0.000 % |
606.77/606.73	c |    319298 |    8694   269998   945031 | 2147483647   319298     38 |  0.000 % |
607.17/607.19	c |    319408 |    8694   269998   945031 | 2147483647   319408     38 |  0.000 % |
607.47/607.49	c |    319529 |    8694   269998   945031 | 2147483647   319529     38 |  0.000 % |
607.97/607.97	c |    319662 |    8694   269998   945031 | 2147483647   319662     38 |  0.000 % |
608.57/608.60	c |    319808 |    8694   269998   945031 | 2147483647   319808     38 |  0.000 % |
609.17/609.14	c |    319968 |    8694   269998   945031 | 2147483647   319968     38 |  0.000 % |
610.07/610.06	c |    320146 |    8694   269998   945031 | 2147483647   320146     38 |  0.000 % |
610.67/610.63	c |    320339 |    8694   269998   945031 | 2147483647   320339     38 |  0.000 % |
611.37/611.39	c |    320551 |    8694   269998   945031 | 2147483647   320551     38 |  0.000 % |
611.77/611.81	c |    320784 |    8694   269998   945031 | 2147483647   320784     38 |  0.000 % |
612.47/612.48	c |    321041 |    8694   269998   945031 | 2147483647   321041     38 |  0.000 % |
612.87/612.90	c |    321324 |    8694   269998   945031 | 2147483647   321324     38 |  0.000 % |
613.67/613.70	c |    321634 |    8694   269998   945031 | 2147483647   321634     38 |  0.000 % |
614.57/614.52	c |    321973 |    8694   269998   945031 | 2147483647   321973     38 |  0.000 % |
615.47/615.45	c |    322345 |    8694   269998   945031 | 2147483647   322345     38 |  0.000 % |
616.08/616.07	c |    322756 |    8694   269998   945031 | 2147483647   322756     38 |  0.000 % |
616.67/616.64	c |    323205 |    8694   269998   945031 | 2147483647   323205     38 |  0.000 % |
618.28/618.24	c |    323698 |    8694   269998   945031 | 2147483647   323698     38 |  0.000 % |
619.77/619.74	c |    324242 |    8694   269998   945031 | 2147483647   324242     38 |  0.000 % |
621.58/621.58	c |    324838 |    8694   269998   945031 | 2147483647   324838     38 |  0.000 % |
623.87/623.82	c |    325494 |    8694   269998   945031 | 2147483647   325494     38 |  0.000 % |
625.47/625.48	c |    326215 |    8694   269998   945031 | 2147483647   326215     38 |  0.000 % |
627.57/627.54	c |    327008 |    8694   269998   945031 | 2147483647   327008     38 |  0.000 % |
630.27/630.27	c |    327879 |    8694   269998   945031 | 2147483647   327879     38 |  0.000 % |
632.88/632.84	c |    328838 |    8694   269998   945031 | 2147483647   328838     38 |  0.000 % |
636.08/636.06	c |    329893 |    8694   269998   945031 | 2147483647   329893     38 |  0.000 % |
638.98/638.98	c |    331051 |    8694   269998   945031 | 2147483647   331051     38 |  0.000 % |
641.88/641.91	c |    332324 |    8694   269998   945031 | 2147483647   332324     38 |  0.000 % |
646.18/646.19	c |    333726 |    8694   269998   945031 | 2147483647   333726     38 |  0.000 % |
650.98/650.94	c |    335266 |    8694   269998   945031 | 2147483647   335266     38 |  0.000 % |
658.78/658.74	c |    336960 |    8694   269998   945031 | 2147483647   336960     38 |  0.000 % |
662.78/662.72	c |    338823 |    8694   269998   945031 | 2147483647   338823     38 |  0.000 % |
667.48/667.48	c |    340873 |    8694   269998   945031 | 2147483647   340873     38 |  0.000 % |
671.48/671.49	c |    343126 |    8694   269998   945031 | 2147483647   343126     38 |  0.000 % |
678.98/679.01	c |    345605 |    8694   269998   945031 | 2147483647   345605     38 |  0.000 % |
687.08/687.02	c |    348330 |    8694   269998   945031 | 2147483647   348330     38 |  0.000 % |
696.08/696.11	c |    351330 |    8694   269998   945031 | 2147483647   351330     38 |  0.000 % |
707.39/707.39	c |    354627 |    8694   269998   945031 | 2147483647   354627     38 |  0.000 % |
707.68/707.64	c |    354731 |    8694   269998   945031 | 2147483647   354731     38 |  0.000 % |
708.08/708.03	c |    354841 |    8694   269998   945031 | 2147483647   354841     38 |  0.000 % |
708.49/708.42	c |    354963 |    8694   269998   945031 | 2147483647   354963     38 |  0.000 % |
708.88/708.86	c |    355099 |    8694   269998   945031 | 2147483647   355099     38 |  0.000 % |
709.28/709.21	c |    355246 |    8694   269998   945031 | 2147483647   355246     38 |  0.000 % |
709.88/709.82	c |    355406 |    8694   269998   945031 | 2147483647   355406     38 |  0.000 % |
710.28/710.25	c |    355582 |    8694   269998   945031 | 2147483647   355582     38 |  0.000 % |
710.78/710.79	c |    355775 |    8694   269998   945031 | 2147483647   355775     38 |  0.000 % |
711.79/711.81	c |    355988 |    8694   269998   945031 | 2147483647   355988     38 |  0.000 % |
712.58/712.54	c |    356223 |    8694   269998   945031 | 2147483647   356223     38 |  0.000 % |
713.48/713.45	c |    356479 |    8694   269998   945031 | 2147483647   356479     38 |  0.000 % |
714.38/714.39	c |    356760 |    8694   269998   945031 | 2147483647   356760     38 |  0.000 % |
715.59/715.57	c |    357069 |    8694   269998   945031 | 2147483647   357069     38 |  0.000 % |
716.59/716.54	c |    357408 |    8694   269998   945031 | 2147483647   357408     38 |  0.000 % |
717.99/717.98	c |    357782 |    8694   269998   945031 | 2147483647   357782     38 |  0.000 % |
719.59/719.60	c |    358191 |    8694   269998   945031 | 2147483647   358191     38 |  0.000 % |
721.39/721.35	c |    358641 |    8694   269998   945031 | 2147483647   358641     38 |  0.000 % |
722.79/722.75	c |    359135 |    8694   269998   945031 | 2147483647   359135     38 |  0.000 % |
724.79/724.76	c |    359677 |    8694   269998   945031 | 2147483647   359677     38 |  0.000 % |
726.89/726.89	c |    360274 |    8694   269998   945031 | 2147483647   360274     38 |  0.000 % |
728.99/728.97	c |    360930 |    8694   269998   945031 | 2147483647   360930     38 |  0.000 % |
731.59/731.60	c |    361650 |    8694   269998   945031 | 2147483647   361650     38 |  0.000 % |
734.39/734.34	c |    362442 |    8694   269998   945031 | 2147483647   362442     38 |  0.000 % |
736.79/736.78	c |    363314 |    8694   269998   945031 | 2147483647   363314     38 |  0.000 % |
739.39/739.34	c |    364272 |    8694   269998   945031 | 2147483647   364272     38 |  0.000 % |
742.39/742.42	c |    365328 |    8694   269998   945031 | 2147483647   365328     38 |  0.000 % |
745.29/745.24	c |    366489 |    8694   269998   945031 | 2147483647   366489     38 |  0.000 % |
750.79/750.81	c |    367762 |    8694   269998   945031 | 2147483647   367762     38 |  0.000 % |
754.29/754.28	c |    369164 |    8694   269998   945031 | 2147483647   369164     38 |  0.000 % |
758.39/758.36	c |    370704 |    8694   269998   945031 | 2147483647   370704     38 |  0.000 % |
763.29/763.30	c |    372399 |    8694   269998   945031 | 2147483647   372399     38 |  0.000 % |
767.49/767.51	c |    374262 |    8694   269998   945031 | 2147483647   374262     38 |  0.000 % |
773.09/773.02	c |    376311 |    8694   269998   945031 | 2147483647   376311     38 |  0.000 % |
779.49/779.44	c |    378564 |    8694   269998   945031 | 2147483647   378564     38 |  0.000 % |
785.50/785.43	c |    381042 |    8694   269998   945031 | 2147483647   381042     38 |  0.000 % |
794.59/794.59	c |    383769 |    8694   269998   945031 | 2147483647   383769     38 |  0.000 % |
803.30/803.31	c |    386767 |    8694   269998   945031 | 2147483647   386767     38 |  0.000 % |
814.90/814.86	c |    390065 |    8694   269998   945031 | 2147483647   390065     38 |  0.000 % |
826.70/826.68	c |    393691 |    8694   269998   945031 | 2147483647   393691     38 |  0.000 % |
827.00/826.94	c |    393792 |    8694   269998   945031 | 2147483647   393792     38 |  0.000 % |
827.40/827.40	c |    393903 |    8694   269998   945031 | 2147483647   393903     38 |  0.000 % |
827.80/827.80	c |    394024 |    8694   269998   945031 | 2147483647   394024     38 |  0.000 % |
828.30/828.28	c |    394157 |    8694   269998   945031 | 2147483647   394157     38 |  0.000 % |
828.70/828.65	c |    394303 |    8694   269998   945031 | 2147483647   394303     38 |  0.000 % |
829.30/829.24	c |    394463 |    8694   269998   945031 | 2147483647   394463     38 |  0.000 % |
829.70/829.64	c |    394640 |    8694   269998   945031 | 2147483647   394640     38 |  0.000 % |
830.60/830.52	c |    394833 |    8694   269998   945031 | 2147483647   394833     38 |  0.000 % |
831.00/830.99	c |    395047 |    8694   269998   945031 | 2147483647   395047     38 |  0.000 % |
831.80/831.76	c |    395280 |    8694   269998   945031 | 2147483647   395280     38 |  0.000 % |
832.60/832.62	c |    395538 |    8694   269998   945031 | 2147483647   395538     38 |  0.000 % |
833.40/833.32	c |    395820 |    8694   269998   945031 | 2147483647   395820     38 |  0.000 % |
834.40/834.38	c |    396129 |    8694   269998   945031 | 2147483647   396129     38 |  0.000 % |
835.40/835.40	c |    396468 |    8694   269998   945031 | 2147483647   396468     38 |  0.000 % |
836.60/836.57	c |    396841 |    8694   269998   945031 | 2147483647   396841     38 |  0.000 % |
837.60/837.60	c |    397250 |    8694   269998   945031 | 2147483647   397250     38 |  0.000 % |
839.40/839.38	c |    397701 |    8694   269998   945031 | 2147483647   397701     38 |  0.000 % |
842.40/842.32	c |    398197 |    8694   269998   945031 | 2147483647   398197     38 |  0.000 % |
844.19/844.17	c |    398740 |    8694   269998   945031 | 2147483647   398740     38 |  0.000 % |
846.19/846.17	c |    399336 |    8694   269998   945031 | 2147483647   399336     38 |  0.000 % |
848.29/848.23	c |    399992 |    8694   269998   945031 | 2147483647   399992     38 |  0.000 % |
851.79/851.78	c |    400714 |    8694   269998   945031 | 2147483647   400714     38 |  0.000 % |
854.80/854.72	c |    401506 |    8694   269998   945031 | 2147483647   401506     38 |  0.000 % |
857.29/857.25	c |    402377 |    8694   269998   945031 | 2147483647   402377     38 |  0.000 % |
861.29/861.29	c |    403337 |    8694   269998   945031 | 2147483647   403337     38 |  0.000 % |
865.99/865.92	c |    404392 |    8694   269998   945031 | 2147483647   404392     38 |  0.000 % |
869.89/869.90	c |    405551 |    8694   269998   945031 | 2147483647   405551     38 |  0.000 % |
873.19/873.15	c |    406824 |    8694   269998   945031 | 2147483647   406824     39 |  0.000 % |
879.39/879.36	c |    408225 |    8694   269998   945031 | 2147483647   408225     39 |  0.000 % |
886.60/886.52	c |    409765 |    8694   269998   945031 | 2147483647   409765     39 |  0.000 % |
892.60/892.60	c |    411461 |    8694   269998   945031 |   410002   366371     38 |  0.000 % |
898.70/898.70	c |    413325 |    8694   269998   945031 |   410002   368235     38 |  0.000 % |
905.40/905.37	c |    415375 |    8694   269998   945031 |   410002   370285     38 |  0.000 % |
912.60/912.61	c |    417629 |    8694   269998   945031 |   410002   372539     38 |  0.000 % |
920.50/920.46	c |    420107 |    8694   269998   945031 |   374910   375017     38 |  0.000 % |
930.60/930.61	c |    422832 |    8694   269998   945031 |   374910   337425     38 |  0.000 % |
941.50/941.50	c |    425830 |    8694   269998   945031 |   374910   340423     38 |  0.000 % |
953.70/953.67	c |    429127 |    8694   269998   945031 |   374910   343720     38 |  0.000 % |
966.31/966.31	c |    432754 |    8694   269998   945031 | 2147483647   347347     38 |  0.000 % |
978.21/978.20	c |    436744 |    8694   269998   945031 | 2147483647   351337     38 |  0.000 % |
978.51/978.51	c |    436845 |    8694   269998   945031 | 2147483647   351438     38 |  0.000 % |
979.11/979.02	c |    436957 |    8694   269998   945031 | 2147483647   351550     38 |  0.000 % |
979.51/979.49	c |    437078 |    8694   269998   945031 | 2147483647   351671     38 |  0.000 % |
979.91/979.86	c |    437211 |    8694   269998   945031 | 2147483647   351804     38 |  0.000 % |
980.51/980.49	c |    437357 |    8694   269998   945031 | 2147483647   351950     38 |  0.000 % |
981.11/981.04	c |    437517 |    8694   269998   945031 | 2147483647   352110     38 |  0.000 % |
981.41/981.36	c |    437693 |    8694   269998   945031 | 2147483647   352286     38 |  0.000 % |
981.81/981.74	c |    437886 |    8694   269998   945031 | 2147483647   352479     38 |  0.000 % |
982.61/982.61	c |    438098 |    8694   269998   945031 | 2147483647   352691     38 |  0.000 % |
982.91/982.89	c |    438331 |    8694   269998   945031 | 2147483647   352924     38 |  0.000 % |
983.71/983.64	c |    438589 |    8694   269998   945031 | 2147483647   353182     38 |  0.000 % |
984.51/984.47	c |    438873 |    8694   269998   945031 | 2147483647   353466     38 |  0.000 % |
985.51/985.46	c |    439182 |    8694   269998   945031 | 2147483647   353775     38 |  0.000 % |
986.61/986.59	c |    439521 |    8694   269998   945031 | 2147483647   354114     38 |  0.000 % |
987.11/987.03	c |    439896 |    8694   269998   945031 | 2147483647   354489     38 |  0.000 % |
987.61/987.56	c |    440306 |    8694   269998   945031 | 2147483647   354899     38 |  0.000 % |
989.31/989.22	c |    440755 |    8694   269998   945031 | 2147483647   355348     38 |  0.000 % |
990.81/990.80	c |    441250 |    8694   269998   945031 | 2147483647   355843     38 |  0.000 % |
991.71/991.62	c |    441792 |    8694   269998   945031 | 2147483647   356385     38 |  0.000 % |
993.41/993.32	c |    442389 |    8694   269998   945031 | 2147483647   356982     38 |  0.000 % |
995.61/995.61	c |    443044 |    8694   269998   945031 | 2147483647   357637     38 |  0.000 % |
998.31/998.22	c |    443764 |    8694   269998   945031 | 2147483647   358357     38 |  0.000 % |
1000.41/1000.40	c |    444556 |    8694   269998   945031 | 2147483647   359149     38 |  0.000 % |
1003.51/1003.48	c |    445427 |    8694   269998   945031 | 2147483647   360020     38 |  0.000 % |
1007.31/1007.31	c |    446386 |    8694   269998   945031 | 2147483647   360979     38 |  0.000 % |
1011.61/1011.54	c |    447441 |    8694   269998   945031 | 2147483647   362034     38 |  0.000 % |
1015.21/1015.12	c |    448600 |    8694   269998   945031 | 2147483647   363193     38 |  0.000 % |
1019.31/1019.25	c |    449873 |    8694   269998   945031 | 2147483647   364466     38 |  0.000 % |
1024.91/1024.82	c |    451274 |    8694   269998   945031 | 2147483647   365867     38 |  0.000 % |
1029.01/1029.00	c |    452814 |    8694   269998   945031 | 2147483647   367407     38 |  0.000 % |
1033.81/1033.75	c |    454510 |    8694   269998   945031 | 2147483647   369103     38 |  0.000 % |
1039.51/1039.43	c |    456376 |    8694   269998   945031 | 2147483647   370969     38 |  0.000 % |
1045.42/1045.41	c |    458426 |    8694   269998   945031 | 2147483647   373019     38 |  0.000 % |
1052.62/1052.58	c |    460679 |    8694   269998   945031 |   374593   332009     38 |  0.000 % |
1059.12/1059.04	c |    463158 |    8694   269998   945031 |   374593   334488     38 |  0.000 % |
1068.12/1068.08	c |    465883 |    8694   269998   945031 |   374593   337213     38 |  0.000 % |
1076.42/1076.39	c |    468881 |    8694   269998   945031 |   374593   340211     38 |  0.000 % |
1086.52/1086.43	c |    472178 |    8694   269998   945031 |   341331   303731     38 |  0.000 % |
1099.92/1099.90	c |    475803 |    8694   269998   945031 |   341331   307356     38 |  0.000 % |
1113.33/1113.29	c |    479790 |    8694   269998   945031 |   341331   311343     38 |  0.000 % |
1126.73/1126.71	c |    484175 |    8694   269998   945031 |   311553   284533     38 |  0.000 % |
1127.03/1126.97	c |    484275 |    8694   269998   945031 |   311553   284633     38 |  0.000 % |
1127.33/1127.27	c |    484386 |    8694   269998   945031 |   311553   284744     38 |  0.000 % |
1127.63/1127.61	c |    484508 |    8694   269998   945031 |   311553   284866     38 |  0.000 % |
1127.83/1127.81	c |    484641 |    8694   269998   945031 |   311553   284999     38 |  0.000 % |
1128.43/1128.42	c |    484787 |    8694   269998   945031 |   311553   285145     38 |  0.000 % |
1128.93/1128.92	c |    484948 |    8694   269998   945031 |   311553   285306     38 |  0.000 % |
1129.73/1129.72	c |    485124 |    8694   269998   945031 |   311553   285482     38 |  0.000 % |
1130.43/1130.41	c |    485317 |    8694   269998   945031 |   311553   285675     38 |  0.000 % |
1130.93/1130.88	c |    485529 |    8694   269998   945031 |   311553   285887     38 |  0.000 % |
1131.53/1131.52	c |    485764 |    8694   269998   945031 |   311553   286122     38 |  0.000 % |
1132.33/1132.31	c |    486020 |    8694   269998   945031 |   311553   286378     38 |  0.000 % |
1133.13/1133.05	c |    486302 |    8694   269998   945031 |   311553   286660     38 |  0.000 % |
1134.03/1133.94	c |    486614 |    8694   269998   945031 |   311553   286972     38 |  0.000 % |
1135.23/1135.14	c |    486953 |    8694   269998   945031 |   311553   287311     38 |  0.000 % |
1136.23/1136.19	c |    487326 |    8694   269998   945031 |   311553   287684     38 |  0.000 % |
1137.43/1137.37	c |    487736 |    8694   269998   945031 |   311553   288094     38 |  0.000 % |
1138.53/1138.44	c |    488186 |    8694   269998   945031 |   311553   288544     38 |  0.000 % |
1140.03/1139.99	c |    488679 |    8694   269998   945031 |   311553   289037     38 |  0.000 % |
1141.53/1141.47	c |    489222 |    8694   269998   945031 |   311553   289580     38 |  0.000 % |
1143.43/1143.33	c |    489818 |    8694   269998   945031 |   311553   290176     38 |  0.000 % |
1145.03/1144.98	c |    490473 |    8694   269998   945031 | 2147483647   290831     38 |  0.000 % |
1146.83/1146.78	c |    491194 |    8694   269998   945031 | 2147483647   291552     38 |  0.000 % |
1149.03/1149.01	c |    491987 |    8694   269998   945031 | 2147483647   292345     38 |  0.000 % |
1151.83/1151.81	c |    492861 |    8694   269998   945031 | 2147483647   293219     38 |  0.000 % |
1154.43/1154.36	c |    493821 |    8694   269998   945031 | 2147483647   294179     38 |  0.000 % |
1157.83/1157.76	c |    494874 |    8694   269998   945031 | 2147483647   295232     38 |  0.000 % |
1160.03/1159.93	c |    496033 |    8694   269998   945031 | 2147483647   296391     38 |  0.000 % |
1162.73/1162.65	c |    497307 |    8694   269998   945031 | 2147483647   297665     38 |  0.000 % |
1167.63/1167.59	c |    498708 |    8694   269998   945031 | 2147483647   299066     38 |  0.000 % |
1171.53/1171.50	c |    500249 |    8694   269998   945031 | 2147483647   300607     38 |  0.000 % |
1176.13/1176.02	c |    501945 |    8694   269998   945031 | 2147483647   302303     38 |  0.000 % |
1181.54/1181.52	c |    503808 |    8694   269998   945031 | 2147483647   304166     38 |  0.000 % |
1188.03/1187.95	c |    505858 |    8694   269998   945031 | 2147483647   306216     38 |  0.000 % |
1193.83/1193.73	c |    508111 |    8694   269998   945031 | 2147483647   308469     38 |  0.000 % |
1199.53/1199.42	c |    510589 |    8694   269998   945031 | 2147483647   310947     38 |  0.000 % |
1200.03/1199.93	HOME/SatELiteGTI: line 36: 28691 Terminated              $MS $TMP.cnf $TMP.result

Verifier Data 

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

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 28685
/proc/meminfo: memFree=975372/2074464 swapFree=1951864/1959888
[pid=28685] ppid=28683 vsize=2416 CPUtime=0
/proc/28685/stat : 28685 (SatELiteGTI) S 28683 28685 20977 0 -1 4194304 368 643 0 0 0 0 0 0 25 0 1 0 1022984861 2473984 277 4294967295 134512640 135169312 3215275424 3215273960 3084992238 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/28685/statm: 604 277 235 161 0 43 0
[pid=28689] ppid=28685 vsize=952 CPUtime=0
/proc/28689/stat : 28689 (SatELite_releas) R 28685 28685 20977 0 -1 4202496 106 0 0 0 0 0 0 0 25 0 1 0 1022984862 974848 41 4294967295 134512640 135223648 3220527760 3220526828 134525680 0 0 0 3 0 0 0 17 2 0 0 0
/proc/28689/statm: 238 49 40 174 0 63 0

[startup+0.076283 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 28685
/proc/meminfo: memFree=975372/2074464 swapFree=1951864/1959888
[pid=28685] ppid=28683 vsize=2416 CPUtime=0
/proc/28685/stat : 28685 (SatELiteGTI) S 28683 28685 20977 0 -1 4194304 368 643 0 0 0 0 0 0 25 0 1 0 1022984861 2473984 277 4294967295 134512640 135169312 3215275424 3215273960 3084992238 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/28685/statm: 604 277 235 161 0 43 0
[pid=28689] ppid=28685 vsize=7316 CPUtime=0.08
/proc/28689/stat : 28689 (SatELite_releas) R 28685 28685 20977 0 -1 4202496 1611 0 0 0 7 1 0 0 25 0 1 0 1022984862 7491584 1546 4294967295 134512640 135223648 3220527760 3220526328 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/28689/statm: 1829 1546 46 174 0 1654 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9732

[startup+0.116285 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 28685
/proc/meminfo: memFree=975372/2074464 swapFree=1951864/1959888
[pid=28685] ppid=28683 vsize=2416 CPUtime=0
/proc/28685/stat : 28685 (SatELiteGTI) S 28683 28685 20977 0 -1 4194304 368 643 0 0 0 0 0 0 25 0 1 0 1022984861 2473984 277 4294967295 134512640 135169312 3215275424 3215273960 3084992238 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/28685/statm: 604 277 235 161 0 43 0
[pid=28689] ppid=28685 vsize=10072 CPUtime=0.11
/proc/28689/stat : 28689 (SatELite_releas) R 28685 28685 20977 0 -1 4202496 2210 0 0 0 10 1 0 0 25 0 1 0 1022984862 10313728 2145 4294967295 134512640 135223648 3220527760 3220526484 134725179 0 0 0 3 0 0 0 17 0 0 0 0
/proc/28689/statm: 2518 2145 46 174 0 2343 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 12488

[startup+0.316267 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 28685
/proc/meminfo: memFree=975372/2074464 swapFree=1951864/1959888
[pid=28685] ppid=28683 vsize=2416 CPUtime=0
/proc/28685/stat : 28685 (SatELiteGTI) S 28683 28685 20977 0 -1 4194304 368 643 0 0 0 0 0 0 25 0 1 0 1022984861 2473984 277 4294967295 134512640 135169312 3215275424 3215273960 3084992238 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/28685/statm: 604 277 235 161 0 43 0
[pid=28689] ppid=28685 vsize=20172 CPUtime=0.31
/proc/28689/stat : 28689 (SatELite_releas) R 28685 28685 20977 0 -1 4202496 4598 0 0 0 30 1 0 0 25 0 1 0 1022984862 20656128 4533 4294967295 134512640 135223648 3220527760 3220525536 134585471 0 0 0 3 0 0 0 17 0 0 0 0
/proc/28689/statm: 5043 4533 73 174 0 4868 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 22588

[startup+0.716227 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 28685
/proc/meminfo: memFree=975372/2074464 swapFree=1951864/1959888
[pid=28685] ppid=28683 vsize=2416 CPUtime=0
/proc/28685/stat : 28685 (SatELiteGTI) S 28683 28685 20977 0 -1 4194304 368 643 0 0 0 0 0 0 25 0 1 0 1022984861 2473984 277 4294967295 134512640 135169312 3215275424 3215273960 3084992238 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/28685/statm: 604 277 235 161 0 43 0
[pid=28689] ppid=28685 vsize=29668 CPUtime=0.71
/proc/28689/stat : 28689 (SatELite_releas) R 28685 28685 20977 0 -1 4202496 6446 0 0 0 70 1 0 0 25 0 1 0 1022984862 30380032 6381 4294967295 134512640 135223648 3220527760 3220526112 134601682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/28689/statm: 7417 6381 73 174 0 7242 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 32084

[startup+1.51614 s]
/proc/loadavg: 0.92 0.98 0.99 2/95 28690
/proc/meminfo: memFree=949672/2074464 swapFree=1951864/1959888
[pid=28685] ppid=28683 vsize=2416 CPUtime=0
/proc/28685/stat : 28685 (SatELiteGTI) S 28683 28685 20977 0 -1 4194304 368 643 0 0 0 0 0 0 25 0 1 0 1022984861 2473984 277 4294967295 134512640 135169312 3215275424 3215273960 3084992238 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/28685/statm: 604 277 235 161 0 43 0
[pid=28689] ppid=28685 vsize=29924 CPUtime=1.51
/proc/28689/stat : 28689 (SatELite_releas) R 28685 28685 20977 0 -1 4202496 6541 0 0 0 150 1 0 0 25 0 1 0 1022984862 30642176 6476 4294967295 134512640 135223648 3220527760 3220525856 134585616 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28689/statm: 7481 6476 73 174 0 7306 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 32340

[startup+3.11598 s]
/proc/loadavg: 0.92 0.98 0.99 2/95 28691
/proc/meminfo: memFree=966040/2074464 swapFree=1951864/1959888
[pid=28685] ppid=28683 vsize=2420 CPUtime=2.07
/proc/28685/stat : 28685 (SatELiteGTI) S 28683 28685 20977 0 -1 4194304 386 7187 0 0 0 0 206 1 20 0 1 0 1022984861 2478080 278 4294967295 134512640 135169312 3215275424 3215271640 3084992238 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/28685/statm: 605 278 235 161 0 44 0
[pid=28691] ppid=28685 vsize=15816 CPUtime=1.04
/proc/28691/stat : 28691 (minisat_static) R 28685 28685 20977 0 -1 4202496 3836 0 0 0 100 4 0 0 19 0 1 0 1022985070 16195584 3771 4294967295 134512640 135215339 3218602272 3218600560 134528633 0 0 0 3 0 0 0 17 2 0 0 0
/proc/28691/statm: 3954 3771 72 172 0 3781 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 18236

[startup+6.31567 s]
/proc/loadavg: 0.93 0.98 0.99 2/95 28691
/proc/meminfo: memFree=953540/2074464 swapFree=1951864/1959888
[pid=28685] ppid=28683 vsize=2420 CPUtime=2.07
/proc/28685/stat : 28685 (SatELiteGTI) S 28683 28685 20977 0 -1 4194304 386 7187 0 0 0 0 206 1 20 0 1 0 1022984861 2478080 278 4294967295 134512640 135169312 3215275424 3215271640 3084992238 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/28685/statm: 605 278 235 161 0 44 0
[pid=28691] ppid=28685 vsize=16740 CPUtime=4.24
/proc/28691/stat : 28691 (minisat_static) R 28685 28685 20977 0 -1 4202496 4079 0 0 0 420 4 0 0 25 0 1 0 1022985070 17141760 4014 4294967295 134512640 135215339 3218602272 3218600560 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/28691/statm: 4185 4014 72 172 0 4012 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 19160

[startup+12.715 s]
/proc/loadavg: 0.93 0.98 0.99 2/95 28691
/proc/meminfo: memFree=952032/2074464 swapFree=1951864/1959888
[pid=28685] ppid=28683 vsize=2420 CPUtime=2.07
/proc/28685/stat : 28685 (SatELiteGTI) S 28683 28685 20977 0 -1 4194304 386 7187 0 0 0 0 206 1 20 0 1 0 1022984861 2478080 278 4294967295 134512640 135169312 3215275424 3215271640 3084992238 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/28685/statm: 605 278 235 161 0 44 0
[pid=28691] ppid=28685 vsize=18212 CPUtime=10.64
/proc/28691/stat : 28691 (minisat_static) R 28685 28685 20977 0 -1 4202496 4430 0 0 0 1060 4 0 0 25 0 1 0 1022985070 18649088 4365 4294967295 134512640 135215339 3218602272 3218600560 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/28691/statm: 4553 4365 72 172 0 4380 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 20632

[startup+25.5138 s]
/proc/loadavg: 0.95 0.98 0.99 2/95 28693
/proc/meminfo: memFree=949616/2074464 swapFree=1951864/1959888
[pid=28685] ppid=28683 vsize=2420 CPUtime=2.07
/proc/28685/stat : 28685 (SatELiteGTI) S 28683 28685 20977 0 -1 4194304 386 7187 0 0 0 0 206 1 20 0 1 0 1022984861 2478080 278 4294967295 134512640 135169312 3215275424 3215271640 3084992238 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/28685/statm: 605 278 235 161 0 44 0
[pid=28691] ppid=28685 vsize=20460 CPUtime=23.44
/proc/28691/stat : 28691 (minisat_static) R 28685 28685 20977 0 -1 4202496 4996 0 0 0 2340 4 0 0 25 0 1 0 1022985070 20951040 4931 4294967295 134512640 135215339 3218602272 3218600560 134528869 0 0 0 3 0 0 0 17 2 0 0 0
/proc/28691/statm: 5115 4931 72 172 0 4942 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 22880

[startup+51.1113 s]
/proc/loadavg: 0.96 0.98 0.99 3/95 28877
/proc/meminfo: memFree=945180/2074464 swapFree=1951864/1959888
[pid=28685] ppid=28683 vsize=2420 CPUtime=2.07
/proc/28685/stat : 28685 (SatELiteGTI) S 28683 28685 20977 0 -1 4194304 386 7187 0 0 0 0 206 1 20 0 1 0 1022984861 2478080 278 4294967295 134512640 135169312 3215275424 3215271640 3084992238 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/28685/statm: 605 278 235 161 0 44 0
[pid=28691] ppid=28685 vsize=24664 CPUtime=49.04
/proc/28691/stat : 28691 (minisat_static) R 28685 28685 20977 0 -1 4202496 6036 0 0 0 4898 6 0 0 25 0 1 0 1022985070 25255936 5971 4294967295 134512640 135215339 3218602272 3218600560 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/28691/statm: 6166 5971 72 172 0 5993 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 27084

[startup+102.316 s]
/proc/loadavg: 0.98 0.98 0.99 3/95 29065
/proc/meminfo: memFree=937824/2074464 swapFree=1951864/1959888
[pid=28685] ppid=28683 vsize=2420 CPUtime=2.07
/proc/28685/stat : 28685 (SatELiteGTI) S 28683 28685 20977 0 -1 4194304 386 7187 0 0 0 0 206 1 20 0 1 0 1022984861 2478080 278 4294967295 134512640 135169312 3215275424 3215271640 3084992238 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/28685/statm: 605 278 235 161 0 44 0
[pid=28691] ppid=28685 vsize=31800 CPUtime=100.25
/proc/28691/stat : 28691 (minisat_static) R 28685 28685 20977 0 -1 4202496 7830 0 0 0 10018 7 0 0 25 0 1 0 1022985070 32563200 7765 4294967295 134512640 135215339 3218602272 3218600560 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/28691/statm: 7950 7765 72 172 0 7777 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 34220

[startup+162.31 s]
/proc/loadavg: 0.99 0.98 0.99 4/95 29256
/proc/meminfo: memFree=929764/2074464 swapFree=1951864/1959888
[pid=28685] ppid=28683 vsize=2420 CPUtime=2.07
/proc/28685/stat : 28685 (SatELiteGTI) S 28683 28685 20977 0 -1 4194304 386 7187 0 0 0 0 206 1 20 0 1 0 1022984861 2478080 278 4294967295 134512640 135169312 3215275424 3215271640 3084992238 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/28685/statm: 605 278 235 161 0 44 0
[pid=28691] ppid=28685 vsize=40056 CPUtime=160.25
/proc/28691/stat : 28691 (minisat_static) R 28685 28685 20977 0 -1 4202496 9904 0 0 0 16018 7 0 0 25 0 1 0 1022985070 41017344 9839 4294967295 134512640 135215339 3218602272 3218600560 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/28691/statm: 10014 9839 72 172 0 9841 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 42476

[startup+222.304 s]
/proc/loadavg: 0.99 0.98 0.99 2/95 29445
/proc/meminfo: memFree=922820/2074464 swapFree=1951864/1959888
[pid=28685] ppid=28683 vsize=2420 CPUtime=2.07
/proc/28685/stat : 28685 (SatELiteGTI) S 28683 28685 20977 0 -1 4194304 386 7187 0 0 0 0 206 1 20 0 1 0 1022984861 2478080 278 4294967295 134512640 135169312 3215275424 3215271640 3084992238 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/28685/statm: 605 278 235 161 0 44 0
[pid=28691] ppid=28685 vsize=46732 CPUtime=220.25
/proc/28691/stat : 28691 (minisat_static) R 28685 28685 20977 0 -1 4202496 11519 0 0 0 22016 9 0 0 25 0 1 0 1022985070 47853568 11454 4294967295 134512640 135215339 3218602272 3218600560 134528779 0 0 0 3 0 0 0 17 2 0 0 0
/proc/28691/statm: 11683 11454 72 172 0 11510 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 49152

[startup+282.309 s]
/proc/loadavg: 0.99 0.98 0.99 2/95 29632
/proc/meminfo: memFree=916380/2074464 swapFree=1951864/1959888
[pid=28685] ppid=28683 vsize=2420 CPUtime=2.07
/proc/28685/stat : 28685 (SatELiteGTI) S 28683 28685 20977 0 -1 4194304 386 7187 0 0 0 0 206 1 20 0 1 0 1022984861 2478080 278 4294967295 134512640 135169312 3215275424 3215271640 3084992238 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/28685/statm: 605 278 235 161 0 44 0
[pid=28691] ppid=28685 vsize=53384 CPUtime=280.26
/proc/28691/stat : 28691 (minisat_static) R 28685 28685 20977 0 -1 4202496 13227 0 0 0 28015 11 0 0 25 0 1 0 1022985070 54665216 13162 4294967295 134512640 135215339 3218602272 3218600560 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/28691/statm: 13346 13162 72 172 0 13173 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 55804

[startup+342.313 s]
/proc/loadavg: 0.99 0.98 0.99 3/95 29821
/proc/meminfo: memFree=910312/2074464 swapFree=1951864/1959888
[pid=28685] ppid=28683 vsize=2420 CPUtime=2.07
/proc/28685/stat : 28685 (SatELiteGTI) S 28683 28685 20977 0 -1 4194304 386 7187 0 0 0 0 206 1 20 0 1 0 1022984861 2478080 278 4294967295 134512640 135169312 3215275424 3215271640 3084992238 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/28685/statm: 605 278 235 161 0 44 0
[pid=28691] ppid=28685 vsize=58864 CPUtime=340.27
/proc/28691/stat : 28691 (minisat_static) R 28685 28685 20977 0 -1 4202496 14501 0 0 0 34016 11 0 0 25 0 1 0 1022985070 60276736 14436 4294967295 134512640 135215339 3218602272 3218600560 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/28691/statm: 14716 14436 72 172 0 14543 0
Current children cumulated CPU time (s) 342.34

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

/proc/28685/stat : 28685 (SatELiteGTI) S 28683 28685 20977 0 -1 4194304 386 7187 0 0 0 0 206 1 20 0 1 0 1022984861 2478080 278 4294967295 134512640 135169312 3215275424 3215271640 3084992238 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/28685/statm: 605 278 235 161 0 44 0
[pid=28691] ppid=28685 vsize=72248 CPUtime=520.28
/proc/28691/stat : 28691 (minisat_static) R 28685 28685 20977 0 -1 4202496 17910 0 0 0 52016 12 0 0 25 0 1 0 1022985070 73981952 17845 4294967295 134512640 135215339 3218602272 3218600560 134529083 0 0 0 3 0 0 0 17 2 0 0 0
/proc/28691/statm: 18062 17845 72 172 0 17889 0
Current children cumulated CPU time (s) 522.35
Current children cumulated vsize (KiB) 74668

[startup+582.309 s]
/proc/loadavg: 0.99 0.98 0.99 2/95 30577
/proc/meminfo: memFree=892720/2074464 swapFree=1951864/1959888
[pid=28685] ppid=28683 vsize=2420 CPUtime=2.07
/proc/28685/stat : 28685 (SatELiteGTI) S 28683 28685 20977 0 -1 4194304 386 7187 0 0 0 0 206 1 20 0 1 0 1022984861 2478080 278 4294967295 134512640 135169312 3215275424 3215271640 3084992238 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/28685/statm: 605 278 235 161 0 44 0
[pid=28691] ppid=28685 vsize=77156 CPUtime=580.29
/proc/28691/stat : 28691 (minisat_static) R 28685 28685 20977 0 -1 4202496 18997 0 0 0 58017 12 0 0 25 0 1 0 1022985070 79007744 18932 4294967295 134512640 135215339 3218602272 3218600560 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/28691/statm: 19289 18932 72 172 0 19116 0
Current children cumulated CPU time (s) 582.36
Current children cumulated vsize (KiB) 79576

[startup+642.323 s]
/proc/loadavg: 0.99 0.98 0.99 2/95 30764
/proc/meminfo: memFree=888464/2074464 swapFree=1951864/1959888
[pid=28685] ppid=28683 vsize=2420 CPUtime=2.07
/proc/28685/stat : 28685 (SatELiteGTI) S 28683 28685 20977 0 -1 4194304 386 7187 0 0 0 0 206 1 20 0 1 0 1022984861 2478080 278 4294967295 134512640 135169312 3215275424 3215271640 3084992238 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/28685/statm: 605 278 235 161 0 44 0
[pid=28691] ppid=28685 vsize=81468 CPUtime=640.31
/proc/28691/stat : 28691 (minisat_static) R 28685 28685 20977 0 -1 4202496 20070 0 0 0 64017 14 0 0 25 0 1 0 1022985070 83423232 20005 4294967295 134512640 135215339 3218602272 3218600560 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/28691/statm: 20367 20005 72 172 0 20194 0
Current children cumulated CPU time (s) 642.38
Current children cumulated vsize (KiB) 83888

[startup+702.317 s]
/proc/loadavg: 1.06 1.00 1.00 3/95 30953
/proc/meminfo: memFree=884372/2074464 swapFree=1951864/1959888
[pid=28685] ppid=28683 vsize=2420 CPUtime=2.07
/proc/28685/stat : 28685 (SatELiteGTI) S 28683 28685 20977 0 -1 4194304 386 7187 0 0 0 0 206 1 20 0 1 0 1022984861 2478080 278 4294967295 134512640 135169312 3215275424 3215271640 3084992238 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/28685/statm: 605 278 235 161 0 44 0
[pid=28691] ppid=28685 vsize=85312 CPUtime=700.31
/proc/28691/stat : 28691 (minisat_static) R 28685 28685 20977 0 -1 4202496 21043 0 0 0 70015 16 0 0 25 0 1 0 1022985070 87359488 20978 4294967295 134512640 135215339 3218602272 3218600560 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/28691/statm: 21328 20978 72 172 0 21155 0
Current children cumulated CPU time (s) 702.38
Current children cumulated vsize (KiB) 87732

[startup+762.321 s]
/proc/loadavg: 1.02 1.00 1.00 2/95 31140
/proc/meminfo: memFree=880320/2074464 swapFree=1951864/1959888
[pid=28685] ppid=28683 vsize=2420 CPUtime=2.07
/proc/28685/stat : 28685 (SatELiteGTI) S 28683 28685 20977 0 -1 4194304 386 7187 0 0 0 0 206 1 20 0 1 0 1022984861 2478080 278 4294967295 134512640 135169312 3215275424 3215271640 3084992238 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/28685/statm: 605 278 235 161 0 44 0
[pid=28691] ppid=28685 vsize=89392 CPUtime=760.32
/proc/28691/stat : 28691 (minisat_static) R 28685 28685 20977 0 -1 4202496 22089 0 0 0 76016 16 0 0 25 0 1 0 1022985070 91537408 22024 4294967295 134512640 135215339 3218602272 3218600560 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/28691/statm: 22348 22024 72 172 0 22175 0
Current children cumulated CPU time (s) 762.39
Current children cumulated vsize (KiB) 91812

[startup+822.326 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 31329
/proc/meminfo: memFree=875956/2074464 swapFree=1951864/1959888
[pid=28685] ppid=28683 vsize=2420 CPUtime=2.07
/proc/28685/stat : 28685 (SatELiteGTI) S 28683 28685 20977 0 -1 4194304 386 7187 0 0 0 0 206 1 20 0 1 0 1022984861 2478080 278 4294967295 134512640 135169312 3215275424 3215271640 3084992238 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/28685/statm: 605 278 235 161 0 44 0
[pid=28691] ppid=28685 vsize=93596 CPUtime=820.33
/proc/28691/stat : 28691 (minisat_static) R 28685 28685 20977 0 -1 4202496 23155 0 0 0 82016 17 0 0 25 0 1 0 1022985070 95842304 23090 4294967295 134512640 135215339 3218602272 3218600560 134528740 0 0 0 3 0 0 0 17 2 0 0 0
/proc/28691/statm: 23399 23090 72 172 0 23226 0
Current children cumulated CPU time (s) 822.4
Current children cumulated vsize (KiB) 96016

[startup+882.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 31520
/proc/meminfo: memFree=872452/2074464 swapFree=1951864/1959888
[pid=28685] ppid=28683 vsize=2420 CPUtime=2.07
/proc/28685/stat : 28685 (SatELiteGTI) S 28683 28685 20977 0 -1 4194304 386 7187 0 0 0 0 206 1 20 0 1 0 1022984861 2478080 278 4294967295 134512640 135169312 3215275424 3215271640 3084992238 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/28685/statm: 605 278 235 161 0 44 0
[pid=28691] ppid=28685 vsize=97360 CPUtime=880.33
/proc/28691/stat : 28691 (minisat_static) R 28685 28685 20977 0 -1 4202496 24082 0 0 0 88016 17 0 0 25 0 1 0 1022985070 99696640 24017 4294967295 134512640 135215339 3218602272 3218600560 134528788 0 0 0 3 0 0 0 17 2 0 0 0
/proc/28691/statm: 24340 24017 72 172 0 24167 0
Current children cumulated CPU time (s) 882.4
Current children cumulated vsize (KiB) 99780

[startup+942.314 s]
/proc/loadavg: 1.07 1.02 1.00 2/95 31707
/proc/meminfo: memFree=871816/2074464 swapFree=1951864/1959888
[pid=28685] ppid=28683 vsize=2420 CPUtime=2.07
/proc/28685/stat : 28685 (SatELiteGTI) S 28683 28685 20977 0 -1 4194304 386 7187 0 0 0 0 206 1 20 0 1 0 1022984861 2478080 278 4294967295 134512640 135169312 3215275424 3215271640 3084992238 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/28685/statm: 605 278 235 161 0 44 0
[pid=28691] ppid=28685 vsize=98072 CPUtime=940.33
/proc/28691/stat : 28691 (minisat_static) R 28685 28685 20977 0 -1 4202496 24258 0 0 0 94016 17 0 0 25 0 1 0 1022985070 100425728 24193 4294967295 134512640 135215339 3218602272 3218600560 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/28691/statm: 24518 24193 72 172 0 24345 0
Current children cumulated CPU time (s) 942.4
Current children cumulated vsize (KiB) 100492

[startup+1002.32 s]
/proc/loadavg: 1.02 1.01 1.00 2/95 31896
/proc/meminfo: memFree=871584/2074464 swapFree=1951864/1959888
[pid=28685] ppid=28683 vsize=2420 CPUtime=2.07
/proc/28685/stat : 28685 (SatELiteGTI) S 28683 28685 20977 0 -1 4194304 386 7187 0 0 0 0 206 1 20 0 1 0 1022984861 2478080 278 4294967295 134512640 135169312 3215275424 3215271640 3084992238 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/28685/statm: 605 278 235 161 0 44 0
[pid=28691] ppid=28685 vsize=98216 CPUtime=1000.34
/proc/28691/stat : 28691 (minisat_static) R 28685 28685 20977 0 -1 4202496 24288 0 0 0 100017 17 0 0 25 0 1 0 1022985070 100573184 24223 4294967295 134512640 135215339 3218602272 3218600560 134528788 0 0 0 3 0 0 0 17 2 0 0 0
/proc/28691/statm: 24554 24223 72 172 0 24381 0
Current children cumulated CPU time (s) 1002.41
Current children cumulated vsize (KiB) 100636

[startup+1062.32 s]
/proc/loadavg: 1.01 1.00 1.00 2/95 32083
/proc/meminfo: memFree=871320/2074464 swapFree=1951864/1959888
[pid=28685] ppid=28683 vsize=2420 CPUtime=2.07
/proc/28685/stat : 28685 (SatELiteGTI) S 28683 28685 20977 0 -1 4194304 386 7187 0 0 0 0 206 1 20 0 1 0 1022984861 2478080 278 4294967295 134512640 135169312 3215275424 3215271640 3084992238 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/28685/statm: 605 278 235 161 0 44 0
[pid=28691] ppid=28685 vsize=98496 CPUtime=1060.35
/proc/28691/stat : 28691 (minisat_static) R 28685 28685 20977 0 -1 4202496 24339 0 0 0 106018 17 0 0 25 0 1 0 1022985070 100859904 24274 4294967295 134512640 135215339 3218602272 3218600560 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/28691/statm: 24624 24274 72 172 0 24451 0
Current children cumulated CPU time (s) 1062.42
Current children cumulated vsize (KiB) 100916

[startup+1122.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 32272
/proc/meminfo: memFree=871228/2074464 swapFree=1951864/1959888
[pid=28685] ppid=28683 vsize=2420 CPUtime=2.07
/proc/28685/stat : 28685 (SatELiteGTI) S 28683 28685 20977 0 -1 4194304 386 7187 0 0 0 0 206 1 20 0 1 0 1022984861 2478080 278 4294967295 134512640 135169312 3215275424 3215271640 3084992238 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/28685/statm: 605 278 235 161 0 44 0
[pid=28691] ppid=28685 vsize=98496 CPUtime=1120.35
/proc/28691/stat : 28691 (minisat_static) R 28685 28685 20977 0 -1 4202496 24370 0 0 0 112018 17 0 0 25 0 1 0 1022985070 100859904 24305 4294967295 134512640 135215339 3218602272 3218600560 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/28691/statm: 24624 24305 72 172 0 24451 0
Current children cumulated CPU time (s) 1122.42
Current children cumulated vsize (KiB) 100916

[startup+1182.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 32459
/proc/meminfo: memFree=870956/2074464 swapFree=1951864/1959888
[pid=28685] ppid=28683 vsize=2420 CPUtime=2.07
/proc/28685/stat : 28685 (SatELiteGTI) S 28683 28685 20977 0 -1 4194304 386 7187 0 0 0 0 206 1 20 0 1 0 1022984861 2478080 278 4294967295 134512640 135169312 3215275424 3215271640 3084992238 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/28685/statm: 605 278 235 161 0 44 0
[pid=28691] ppid=28685 vsize=98640 CPUtime=1180.36
/proc/28691/stat : 28691 (minisat_static) R 28685 28685 20977 0 -1 4202496 24385 0 0 0 118019 17 0 0 25 0 1 0 1022985070 101007360 24320 4294967295 134512640 135215339 3218602272 3218600560 134528788 0 0 0 3 0 0 0 17 2 0 0 0
/proc/28691/statm: 24660 24320 72 172 0 24487 0
Current children cumulated CPU time (s) 1182.43
Current children cumulated vsize (KiB) 101060



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1199.92 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 32461
/proc/meminfo: memFree=871116/2074464 swapFree=1951864/1959888
[pid=28685] ppid=28683 vsize=2420 CPUtime=2.07
/proc/28685/stat : 28685 (SatELiteGTI) S 28683 28685 20977 0 -1 4194304 386 7187 0 0 0 0 206 1 20 0 1 0 1022984861 2478080 278 4294967295 134512640 135169312 3215275424 3215271640 3084992238 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/28685/statm: 605 278 235 161 0 44 0
[pid=28691] ppid=28685 vsize=98640 CPUtime=1197.96
/proc/28691/stat : 28691 (minisat_static) R 28685 28685 20977 0 -1 4202496 24385 0 0 0 119779 17 0 0 25 0 1 0 1022985070 101007360 24320 4294967295 134512640 135215339 3218602272 3218600560 134528809 0 0 0 3 0 0 0 17 2 0 0 0
/proc/28691/statm: 24660 24320 72 172 0 24487 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 101060

Sending SIGTERM to process tree (bottom up)
SSolver just ended. Dumping a history of the last processes samples

[startup+1199.92 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 32461
/proc/meminfo: memFree=871116/2074464 swapFree=1951864/1959888
[pid=28685] ppid=28683 vsize=2420 CPUtime=2.07
/proc/28685/stat : 28685 (SatELiteGTI) S 28683 28685 20977 0 -1 4194304 386 7187 0 0 0 0 206 1 20 0 1 0 1022984861 2478080 278 4294967295 134512640 135169312 3215275424 3215271640 3084992238 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/28685/statm: 605 278 235 161 0 44 0
[pid=28691] ppid=28685 vsize=98640 CPUtime=1197.96
/proc/28691/stat : 28691 (minisat_static) R 28685 28685 20977 0 -1 4202496 24385 0 0 0 119779 17 0 0 25 0 1 0 1022985070 101007360 24320 4294967295 134512640 135215339 3218602272 3218600560 134528809 0 0 0 3 0 0 0 17 2 0 0 0
/proc/28691/statm: 24660 24320 72 172 0 24487 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 101060

Child status: 143
Real time (s): 1199.94
CPU time (s): 1200.04
CPU user time (s): 1199.85
CPU system time (s): 0.19
CPU usage (%): 100.009
Max. virtual memory (cumulated for all children) (KiB): 101060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.85
system time used= 0.19
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32234
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19
involuntary context switches= 1345

runsolver used 0.02 second user time and 0.03 second system time

The end

Launcher Data 

Begin job on tipi10 at 2009-05-17 20:27:18
IDJOB=1821976
IDBENCH=71764
IDSOLVER=657
FILE ID=tipi10/1821976-1242584838
PBS_JOBID=
Free space on /tmp= 3635 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT_RACE06/simon-s02b-k2f-gr-rcs-w8.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1821976-1242584838/watcher-1821976-1242584838 -o /tmp/evaluation-result-1821976-1242584838/solver-1821976-1242584838 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1821976-1242584838.cnf

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

MD5SUM BENCH= 5da8899feefc5a4bb9db99e983e30f52
RANDOM SEED= 1433964210

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

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

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

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

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


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:        975396 kB
Buffers:         49240 kB
Cached:         933844 kB
SwapCached:       2732 kB
Active:         201024 kB
Inactive:       792072 kB
HighTotal:     1178688 kB
HighFree:       527052 kB
LowTotal:       895776 kB
LowFree:        448344 kB
SwapTotal:     1959888 kB
SwapFree:      1951864 kB
Dirty:            5440 kB
Writeback:           0 kB
AnonPages:        9268 kB
Mapped:           3408 kB
Slab:            97600 kB
PageTables:        552 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    90588 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 3635 MiB
End job on tipi10 at 2009-05-17 20:47:18