Trace number 1834225

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.05 1200.41

General information on the benchmark

Namesimon-s02b-k2f-gr-rcs-w8.cnf
MD5SUM5da8899feefc5a4bb9db99e983e30f52
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark5.67314
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.00/0.20	c ==============================================================================
0.00/0.20	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.20	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.20	c ==============================================================================
0.00/0.20	c |         0 |  271393   550328 |   81417       0        0     nan |  0.000 % |
1.79/1.83	c |         0 |  269998   945031 |      --       0       --      -- |     --   | -1395/394703
1.79/1.83	c ==============================================================================
1.79/1.83	c Result  :   #vars: 8694   #clauses: 269998   #literals: 945031
1.79/1.83	c CPU time:   1.77973 s
1.79/1.83	c ==============================================================================
2.09/2.15	c This is MiniSat 2.0 beta
2.09/2.15	c WARNING: for repeatability, setting FPU to use double precision
2.09/2.15	c ============================[ Problem Statistics ]=============================
2.09/2.15	c |                                                                             |
2.09/2.15	c |  Number of variables:  8694                                                 |
2.09/2.15	c |  Number of clauses:    269998                                               |
2.14/2.35	c |  Parsing time:         0.18         s                                       |
2.14/2.37	c ============================[ Search Statistics ]==============================
2.14/2.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.14/2.37	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2.14/2.37	c ===============================================================================
2.14/2.37	c |         0 |    8694   269998   945031 |    89999        0    nan |  0.000 % |
2.14/2.54	c |       101 |    8694   269998   945031 |    89999      101     49 |  0.000 % |
2.14/2.65	c |       204 |    8694   269998   945031 |    89999      204     48 |  0.000 % |
2.14/2.74	c |       304 |    8694   269998   945031 |    89999      304     45 |  0.000 % |
2.14/2.79	c |       414 |    8694   269998   945031 |    89999      414     39 |  0.000 % |
2.14/2.86	c |       515 |    8694   269998   945031 |    89999      515     39 |  0.000 % |
2.14/2.89	c |       625 |    8694   269998   945031 |    89999      625     34 |  0.000 % |
2.14/2.97	c |       746 |    8694   269998   945031 |    89999      746     36 |  0.000 % |
2.14/3.06	c |       846 |    8694   269998   945031 |    89999      846     38 |  0.000 % |
2.14/3.17	c |       956 |    8694   269998   945031 |    89999      956     38 |  0.000 % |
3.18/3.27	c |      1077 |    8694   269998   945031 |    89999     1077     37 |  0.000 % |
3.38/3.41	c |      1211 |    8694   269998   945031 |    89999     1211     36 |  0.000 % |
3.38/3.48	c |      1311 |    8694   269998   945031 |    89999     1311     35 |  0.000 % |
3.48/3.57	c |      1421 |    8694   269998   945031 |    89999     1421     36 |  0.000 % |
3.58/3.67	c |      1542 |    8694   269998   945031 |    89999     1542     36 |  0.000 % |
3.68/3.78	c |      1676 |    8694   269998   945031 |    89999     1676     35 |  0.000 % |
3.88/3.91	c |      1822 |    8694   269998   945031 |    89999     1822     37 |  0.000 % |
3.98/4.02	c |      1922 |    8694   269998   945031 |    89999     1922     37 |  0.000 % |
4.08/4.15	c |      2033 |    8694   269998   945031 |    89999     2033     36 |  0.000 % |
4.18/4.23	c |      2154 |    8694   269998   945031 |    89999     2154     35 |  0.000 % |
4.29/4.34	c |      2287 |    8694   269998   945031 |    89999     2287     36 |  0.000 % |
4.48/4.50	c |      2433 |    8694   269998   945031 |    89999     2433     37 |  0.000 % |
4.58/4.65	c |      2596 |    8694   269998   945031 |    89999     2596     37 |  0.000 % |
4.58/4.69	c |      2697 |    8694   269998   945031 |    89999     2697     36 |  0.000 % |
4.68/4.78	c |      2807 |    8694   269998   945031 |    89999     2807     37 |  0.000 % |
4.88/4.92	c |      2929 |    8694   269998   945031 |    89999     2929     37 |  0.000 % |
4.98/5.04	c |      3064 |    8694   269998   945031 |    89999     3064     38 |  0.000 % |
5.08/5.14	c |      3210 |    8694   269998   945031 |    89999     3210     37 |  0.000 % |
5.08/5.18	c |      3370 |    8694   269998   945031 |    89999     3370     36 |  0.000 % |
5.28/5.35	c |      3546 |    8694   269998   945031 |    89999     3546     36 |  0.000 % |
5.38/5.41	c |      3648 |    8694   269998   945031 |    89999     3648     36 |  0.000 % |
5.38/5.47	c |      3759 |    8694   269998   945031 |    89999     3759     35 |  0.000 % |
5.58/5.60	c |      3881 |    8694   269998   945031 |    89999     3881     36 |  0.000 % |
5.68/5.74	c |      4014 |    8694   269998   945031 |    89999     4014     36 |  0.000 % |
5.78/5.81	c |      4162 |    8694   269998   945031 |    89999     4162     35 |  0.000 % |
5.88/5.92	c |      4323 |    8694   269998   945031 |    89999     4323     36 |  0.000 % |
6.08/6.10	c |      4500 |    8694   269998   945031 |    89999     4500     35 |  0.000 % |
6.28/6.36	c |      4694 |    8694   269998   945031 |    89999     4694     35 |  0.000 % |
6.38/6.45	c |      4794 |    8694   269998   945031 |    89999     4794     35 |  0.000 % |
6.48/6.60	c |      4906 |    8694   269998   945031 |    89999     4906     35 |  0.000 % |
6.58/6.69	c |      5028 |    8694   269998   945031 |    89999     5028     35 |  0.000 % |
6.88/6.90	c |      5161 |    8694   269998   945031 |    89999     5161     35 |  0.000 % |
6.98/7.08	c |      5310 |    8694   269998   945031 |    89999     5310     35 |  0.000 % |
7.18/7.22	c |      5471 |    8694   269998   945031 |    89999     5471     35 |  0.000 % |
7.28/7.36	c |      5647 |    8694   269998   945031 |    89999     5647     35 |  0.000 % |
7.48/7.55	c |      5841 |    8694   269998   945031 |    89999     5841     34 |  0.000 % |
7.68/7.76	c |      6054 |    8694   269998   945031 |    89999     6054     34 |  0.000 % |
7.78/7.86	c |      6155 |    8694   269998   945031 |    89999     6155     34 |  0.000 % |
7.88/7.96	c |      6266 |    8694   269998   945031 |    89999     6266     34 |  0.000 % |
7.98/8.05	c |      6387 |    8694   269998   945031 |    89999     6387     34 |  0.000 % |
8.08/8.18	c |      6520 |    8694   269998   945031 |    89999     6520     34 |  0.000 % |
8.28/8.30	c |      6668 |    8694   269998   945031 |    89999     6668     34 |  0.000 % |
8.38/8.44	c |      6828 |    8694   269998   945031 |    89999     6828     34 |  0.000 % |
8.58/8.64	c |      7004 |    8694   269998   945031 |    89999     7004     34 |  0.000 % |
8.68/8.75	c |      7197 |    8694   269998   945031 |    89999     7197     34 |  0.000 % |
8.88/8.90	c |      7409 |    8694   269998   945031 |    89999     7409     34 |  0.000 % |
9.08/9.12	c |      7643 |    8694   269998   945031 |    89999     7643     34 |  0.000 % |
9.17/9.22	c |      7743 |    8694   269998   945031 |    89999     7743     34 |  0.000 % |
9.27/9.32	c |      7854 |    8694   269998   945031 |    89999     7854     34 |  0.000 % |
9.37/9.44	c |      7975 |    8694   269998   945031 |    89999     7975     34 |  0.000 % |
9.47/9.57	c |      8109 |    8694   269998   945031 |    89999     8109     34 |  0.000 % |
9.67/9.72	c |      8255 |    8694   269998   945031 |    89999     8255     34 |  0.000 % |
9.78/9.88	c |      8416 |    8694   269998   945031 |    89999     8416     34 |  0.000 % |
9.97/10.02	c |      8593 |    8694   269998   945031 |    89999     8593     34 |  0.000 % |
10.07/10.16	c |      8786 |    8694   269998   945031 |    89999     8786     34 |  0.000 % |
10.17/10.25	c |      9000 |    8694   269998   945031 |    89999     9000     34 |  0.000 % |
10.47/10.50	c |      9233 |    8694   269998   945031 |    89999     9233     34 |  0.000 % |
10.57/10.64	c |      9489 |    8694   269998   945031 |    89999     9489     34 |  0.000 % |
10.67/10.70	c |      9590 |    8694   269998   945031 |    89999     9590     34 |  0.000 % |
10.67/10.77	c |      9701 |    8694   269998   945031 |    89999     9701     34 |  0.000 % |
10.77/10.89	c |      9823 |    8694   269998   945031 |    89999     9823     34 |  0.000 % |
10.98/11.05	c |      9956 |    8694   269998   945031 |    89999     9956     34 |  0.000 % |
11.07/11.19	c |     10102 |    8694   269998   945031 | 2147483647    10102     34 |  0.000 % |
11.37/11.41	c |     10263 |    8694   269998   945031 | 2147483647    10263     34 |  0.000 % |
11.57/11.60	c |     10440 |    8694   269998   945031 | 2147483647    10440     34 |  0.000 % |
11.67/11.79	c |     10633 |    8694   269998   945031 | 2147483647    10633     34 |  0.000 % |
11.87/11.97	c |     10847 |    8694   269998   945031 | 2147483647    10847     34 |  0.000 % |
12.07/12.13	c |     11080 |    8694   269998   945031 | 2147483647    11080     34 |  0.000 % |
12.27/12.35	c |     11336 |    8694   269998   945031 | 2147483647    11336     34 |  0.000 % |
12.67/12.76	c |     11619 |    8694   269998   945031 | 2147483647    11619     34 |  0.000 % |
12.77/12.86	c |     11719 |    8694   269998   945031 | 2147483647    11719     35 |  0.000 % |
12.87/12.99	c |     11832 |    8694   269998   945031 | 2147483647    11832     35 |  0.000 % |
12.98/13.09	c |     11954 |    8694   269998   945031 | 2147483647    11954     35 |  0.000 % |
13.18/13.26	c |     12089 |    8694   269998   945031 | 2147483647    12089     35 |  0.000 % |
13.28/13.32	c |     12235 |    8694   269998   945031 | 2147483647    12235     34 |  0.000 % |
13.38/13.49	c |     12397 |    8694   269998   945031 | 2147483647    12397     35 |  0.000 % |
13.58/13.68	c |     12573 |    8694   269998   945031 | 2147483647    12573     35 |  0.000 % |
13.78/13.86	c |     12767 |    8694   269998   945031 | 2147483647    12767     34 |  0.000 % |
13.98/14.02	c |     12979 |    8694   269998   945031 | 2147483647    12979     35 |  0.000 % |
14.18/14.28	c |     13212 |    8694   269998   945031 | 2147483647    13212     35 |  0.000 % |
14.48/14.50	c |     13470 |    8694   269998   945031 | 2147483647    13470     34 |  0.000 % |
14.58/14.66	c |     13751 |    8694   269998   945031 | 2147483647    13751     34 |  0.000 % |
14.78/14.87	c |     14060 |    8694   269998   945031 | 2147483647    14060     34 |  0.000 % |
14.88/14.93	c |     14160 |    8694   269998   945031 | 2147483647    14160     34 |  0.000 % |
14.98/15.05	c |     14270 |    8694   269998   945031 | 2147483647    14270     34 |  0.000 % |
15.08/15.15	c |     14391 |    8694   269998   945031 | 2147483647    14391     34 |  0.000 % |
15.18/15.29	c |     14526 |    8694   269998   945031 | 2147483647    14526     34 |  0.000 % |
15.38/15.42	c |     14672 |    8694   269998   945031 | 2147483647    14672     34 |  0.000 % |
15.57/15.63	c |     14834 |    8694   269998   945031 | 2147483647    14834     34 |  0.000 % |
15.77/15.85	c |     15010 |    8694   269998   945031 | 2147483647    15010     34 |  0.000 % |
15.97/16.08	c |     15205 |    8694   269998   945031 | 2147483647    15205     34 |  0.000 % |
16.27/16.32	c |     15418 |    8694   269998   945031 | 2147483647    15418     34 |  0.000 % |
16.48/16.55	c |     15654 |    8694   269998   945031 | 2147483647    15654     34 |  0.000 % |
16.67/16.76	c |     15910 |    8694   269998   945031 | 2147483647    15910     34 |  0.000 % |
16.97/17.07	c |     16192 |    8694   269998   945031 | 2147483647    16192     34 |  0.000 % |
17.27/17.37	c |     16502 |    8694   269998   945031 | 2147483647    16502     34 |  0.000 % |
17.67/17.72	c |     16843 |    8694   269998   945031 | 2147483647    16843     34 |  0.000 % |
17.77/17.88	c |     16944 |    8694   269998   945031 | 2147483647    16944     34 |  0.000 % |
17.97/18.04	c |     17054 |    8694   269998   945031 | 2147483647    17054     34 |  0.000 % |
18.07/18.16	c |     17175 |    8694   269998   945031 | 2147483647    17175     34 |  0.000 % |
18.27/18.33	c |     17308 |    8694   269998   945031 | 2147483647    17308     34 |  0.000 % |
18.37/18.50	c |     17455 |    8694   269998   945031 | 2147483647    17455     34 |  0.000 % |
18.58/18.66	c |     17618 |    8694   269998   945031 | 2147483647    17618     34 |  0.000 % |
18.77/18.84	c |     17794 |    8694   269998   945031 | 2147483647    17794     34 |  0.000 % |
18.97/19.03	c |     17988 |    8694   269998   945031 | 2147483647    17988     34 |  0.000 % |
19.17/19.26	c |     18205 |    8694   269998   945031 | 2147483647    18205     34 |  0.000 % |
19.37/19.43	c |     18439 |    8694   269998   945031 | 2147483647    18439     34 |  0.000 % |
19.68/19.74	c |     18696 |    8694   269998   945031 | 2147483647    18696     33 |  0.000 % |
19.97/20.05	c |     18978 |    8694   269998   945031 | 2147483647    18978     33 |  0.000 % |
20.27/20.31	c |     19289 |    8694   269998   945031 | 2147483647    19289     33 |  0.000 % |
20.47/20.59	c |     19628 |    8694   269998   945031 | 2147483647    19628     33 |  0.000 % |
20.97/21.07	c |     20000 |    8694   269998   945031 | 2147483647    20000     33 |  0.000 % |
21.07/21.10	c |     20103 |    8694   269998   945031 | 2147483647    20103     33 |  0.000 % |
21.17/21.23	c |     20213 |    8694   269998   945031 | 2147483647    20213     33 |  0.000 % |
21.27/21.36	c |     20336 |    8694   269998   945031 | 2147483647    20336     33 |  0.000 % |
21.47/21.50	c |     20470 |    8694   269998   945031 | 2147483647    20470     33 |  0.000 % |
21.57/21.68	c |     20617 |    8694   269998   945031 | 2147483647    20617     33 |  0.000 % |
21.77/21.86	c |     20777 |    8694   269998   945031 | 2147483647    20777     33 |  0.000 % |
21.97/22.03	c |     20955 |    8694   269998   945031 | 2147483647    20955     33 |  0.000 % |
22.17/22.27	c |     21149 |    8694   269998   945031 | 2147483647    21149     33 |  0.000 % |
22.47/22.54	c |     21362 |    8694   269998   945031 | 2147483647    21362     33 |  0.000 % |
22.77/22.85	c |     21596 |    8694   269998   945031 | 2147483647    21596     33 |  0.000 % |
23.07/23.15	c |     21854 |    8694   269998   945031 | 2147483647    21854     33 |  0.000 % |
23.37/23.46	c |     22136 |    8694   269998   945031 | 2147483647    22136     33 |  0.000 % |
23.77/23.80	c |     22445 |    8694   269998   945031 | 2147483647    22445     33 |  0.000 % |
24.07/24.15	c |     22785 |    8694   269998   945031 | 2147483647    22785     33 |  0.000 % |
24.47/24.56	c |     23157 |    8694   269998   945031 | 2147483647    23157     33 |  0.000 % |
24.97/25.05	c |     23567 |    8694   269998   945031 | 2147483647    23567     33 |  0.000 % |
25.17/25.21	c |     23668 |    8694   269998   945031 | 2147483647    23668     33 |  0.000 % |
25.27/25.33	c |     23778 |    8694   269998   945031 | 2147483647    23778     33 |  0.000 % |
25.37/25.48	c |     23899 |    8694   269998   945031 | 2147483647    23899     33 |  0.000 % |
25.57/25.61	c |     24034 |    8694   269998   945031 | 2147483647    24034     33 |  0.000 % |
25.67/25.72	c |     24181 |    8694   269998   945031 | 2147483647    24181     33 |  0.000 % |
25.77/25.88	c |     24344 |    8694   269998   945031 | 2147483647    24344     33 |  0.000 % |
26.08/26.12	c |     24521 |    8694   269998   945031 | 2147483647    24521     33 |  0.000 % |
26.28/26.33	c |     24715 |    8694   269998   945031 | 2147483647    24715     33 |  0.000 % |
26.58/26.60	c |     24927 |    8694   269998   945031 | 2147483647    24927     33 |  0.000 % |
26.88/26.91	c |     25162 |    8694   269998   945031 | 2147483647    25162     33 |  0.000 % |
27.17/27.23	c |     25418 |    8694   269998   945031 | 2147483647    25418     34 |  0.000 % |
27.57/27.60	c |     25699 |    8694   269998   945031 | 2147483647    25699     34 |  0.000 % |
27.97/28.07	c |     26009 |    8694   269998   945031 | 2147483647    26009     34 |  0.000 % |
28.48/28.55	c |     26349 |    8694   269998   945031 | 2147483647    26349     34 |  0.000 % |
29.07/29.14	c |     26721 |    8694   269998   945031 | 2147483647    26721     34 |  0.000 % |
29.47/29.56	c |     27131 |    8694   269998   945031 | 2147483647    27131     33 |  0.000 % |
29.97/30.02	c |     27582 |    8694   269998   945031 | 2147483647    27582     33 |  0.000 % |
29.97/30.08	c |     27683 |    8694   269998   945031 | 2147483647    27683     33 |  0.000 % |
30.17/30.24	c |     27795 |    8694   269998   945031 | 2147483647    27795     33 |  0.000 % |
30.27/30.34	c |     27916 |    8694   269998   945031 | 2147483647    27916     33 |  0.000 % |
30.47/30.50	c |     28049 |    8694   269998   945031 | 2147483647    28049     33 |  0.000 % |
30.57/30.65	c |     28195 |    8694   269998   945031 | 2147483647    28195     33 |  0.000 % |
30.77/30.82	c |     28356 |    8694   269998   945031 | 2147483647    28356     33 |  0.000 % |
30.97/31.02	c |     28532 |    8694   269998   945031 | 2147483647    28532     33 |  0.000 % |
31.17/31.25	c |     28727 |    8694   269998   945031 | 2147483647    28727     33 |  0.000 % |
31.37/31.50	c |     28939 |    8694   269998   945031 | 2147483647    28939     33 |  0.000 % |
31.87/31.92	c |     29172 |    8694   269998   945031 | 2147483647    29172     33 |  0.000 % |
32.27/32.35	c |     29430 |    8694   269998   945031 | 2147483647    29430     33 |  0.000 % |
32.57/32.65	c |     29711 |    8694   269998   945031 | 2147483647    29711     33 |  0.000 % |
32.87/32.98	c |     30020 |    8694   269998   945031 | 2147483647    30020     33 |  0.000 % |
33.27/33.31	c |     30359 |    8694   269998   945031 | 2147483647    30359     33 |  0.000 % |
33.67/33.73	c |     30732 |    8694   269998   945031 | 2147483647    30732     33 |  0.000 % |
34.17/34.23	c |     31143 |    8694   269998   945031 | 2147483647    31143     33 |  0.000 % |
34.77/34.84	c |     31592 |    8694   269998   945031 | 2147483647    31592     33 |  0.000 % |
35.26/35.33	c |     32085 |    8694   269998   945031 | 2147483647    32085     33 |  0.000 % |
35.36/35.42	c |     32188 |    8694   269998   945031 | 2147483647    32188     33 |  0.000 % |
35.46/35.50	c |     32298 |    8694   269998   945031 | 2147483647    32298     33 |  0.000 % |
35.56/35.67	c |     32421 |    8694   269998   945031 | 2147483647    32421     33 |  0.000 % |
35.76/35.87	c |     32555 |    8694   269998   945031 | 2147483647    32555     33 |  0.000 % |
35.96/36.01	c |     32701 |    8694   269998   945031 | 2147483647    32701     33 |  0.000 % |
36.06/36.17	c |     32864 |    8694   269998   945031 | 2147483647    32864     33 |  0.000 % |
36.27/36.32	c |     33040 |    8694   269998   945031 | 2147483647    33040     33 |  0.000 % |
36.46/36.54	c |     33233 |    8694   269998   945031 | 2147483647    33233     33 |  0.000 % |
36.66/36.76	c |     33446 |    8694   269998   945031 | 2147483647    33446     33 |  0.000 % |
36.96/37.04	c |     33680 |    8694   269998   945031 | 2147483647    33680     33 |  0.000 % |
37.28/37.34	c |     33936 |    8694   269998   945031 | 2147483647    33936     33 |  0.000 % |
37.67/37.73	c |     34217 |    8694   269998   945031 | 2147483647    34217     33 |  0.000 % |
38.17/38.22	c |     34529 |    8694   269998   945031 | 2147483647    34529     33 |  0.000 % |
38.48/38.55	c |     34869 |    8694   269998   945031 | 2147483647    34869     33 |  0.000 % |
38.97/39.10	c |     35242 |    8694   269998   945031 | 2147483647    35242     33 |  0.000 % |
39.57/39.67	c |     35651 |    8694   269998   945031 | 2147483647    35651     33 |  0.000 % |
40.17/40.22	c |     36100 |    8694   269998   945031 | 2147483647    36100     33 |  0.000 % |
40.67/40.75	c |     36594 |    8694   269998   945031 | 2147483647    36594     33 |  0.000 % |
41.17/41.28	c |     37136 |    8694   269998   945031 | 2147483647    37136     33 |  0.000 % |
41.37/41.44	c |     37237 |    8694   269998   945031 | 2147483647    37237     34 |  0.000 % |
41.47/41.55	c |     37347 |    8694   269998   945031 | 2147483647    37347     34 |  0.000 % |
41.67/41.72	c |     37469 |    8694   269998   945031 | 2147483647    37469     34 |  0.000 % |
41.87/41.91	c |     37602 |    8694   269998   945031 | 2147483647    37602     34 |  0.000 % |
42.07/42.11	c |     37748 |    8694   269998   945031 | 2147483647    37748     34 |  0.000 % |
42.27/42.32	c |     37908 |    8694   269998   945031 | 2147483647    37908     34 |  0.000 % |
42.47/42.53	c |     38084 |    8694   269998   945031 | 2147483647    38084     34 |  0.000 % |
42.67/42.74	c |     38278 |    8694   269998   945031 | 2147483647    38278     34 |  0.000 % |
42.97/43.04	c |     38490 |    8694   269998   945031 | 2147483647    38490     34 |  0.000 % |
43.17/43.28	c |     38723 |    8694   269998   945031 | 2147483647    38723     34 |  0.000 % |
43.57/43.60	c |     38980 |    8694   269998   945031 | 2147483647    38980     34 |  0.000 % |
43.67/43.74	c |     39262 |    8694   269998   945031 | 2147483647    39262     34 |  0.000 % |
44.07/44.10	c |     39571 |    8694   269998   945031 | 2147483647    39571     34 |  0.000 % |
44.37/44.45	c |     39910 |    8694   269998   945031 | 2147483647    39910     34 |  0.000 % |
44.77/44.80	c |     40282 |    8694   269998   945031 | 2147483647    40282     34 |  0.000 % |
45.37/45.47	c |     40693 |    8694   269998   945031 | 2147483647    40693     34 |  0.000 % |
46.07/46.14	c |     41142 |    8694   269998   945031 | 2147483647    41142     34 |  0.000 % |
46.77/46.82	c |     41636 |    8694   269998   945031 | 2147483647    41636     34 |  0.000 % |
47.27/47.35	c |     42179 |    8694   269998   945031 | 2147483647    42179     34 |  0.000 % |
48.07/48.15	c |     42775 |    8694   269998   945031 | 2147483647    42775     34 |  0.000 % |
48.27/48.31	c |     42875 |    8694   269998   945031 | 2147483647    42875     34 |  0.000 % |
48.37/48.46	c |     42985 |    8694   269998   945031 | 2147483647    42985     34 |  0.000 % |
48.57/48.66	c |     43106 |    8694   269998   945031 | 2147483647    43106     34 |  0.000 % |
48.77/48.83	c |     43241 |    8694   269998   945031 | 2147483647    43241     34 |  0.000 % |
48.87/48.99	c |     43388 |    8694   269998   945031 | 2147483647    43388     34 |  0.000 % |
49.17/49.20	c |     43548 |    8694   269998   945031 | 2147483647    43548     34 |  0.000 % |
49.37/49.48	c |     43724 |    8694   269998   945031 | 2147483647    43724     34 |  0.000 % |
49.67/49.78	c |     43918 |    8694   269998   945031 | 2147483647    43918     34 |  0.000 % |
50.07/50.14	c |     44130 |    8694   269998   945031 | 2147483647    44130     34 |  0.000 % |
50.37/50.47	c |     44365 |    8694   269998   945031 | 2147483647    44365     34 |  0.000 % |
50.77/50.87	c |     44621 |    8694   269998   945031 | 2147483647    44621     34 |  0.000 % |
51.07/51.18	c |     44902 |    8694   269998   945031 | 2147483647    44902     34 |  0.000 % |
51.47/51.52	c |     45213 |    8694   269998   945031 | 2147483647    45213     35 |  0.000 % |
51.86/51.94	c |     45553 |    8694   269998   945031 | 2147483647    45553     35 |  0.000 % |
52.16/52.25	c |     45925 |    8694   269998   945031 | 2147483647    45925     34 |  0.000 % |
52.36/52.46	c |     46335 |    8694   269998   945031 | 2147483647    46335     34 |  0.000 % |
52.86/52.98	c |     46786 |    8694   269998   945031 | 2147483647    46786     35 |  0.000 % |
53.66/53.70	c |     47279 |    8694   269998   945031 | 2147483647    47279     35 |  0.000 % |
54.46/54.55	c |     47822 |    8694   269998   945031 | 2147483647    47822     35 |  0.000 % |
55.46/55.57	c |     48421 |    8694   269998   945031 | 2147483647    48421     35 |  0.000 % |
56.46/56.51	c |     49076 |    8694   269998   945031 | 2147483647    49076     35 |  0.000 % |
56.56/56.67	c |     49177 |    8694   269998   945031 | 2147483647    49177     35 |  0.000 % |
56.76/56.82	c |     49288 |    8694   269998   945031 | 2147483647    49288     35 |  0.000 % |
56.86/56.99	c |     49409 |    8694   269998   945031 | 2147483647    49409     35 |  0.000 % |
57.06/57.11	c |     49544 |    8694   269998   945031 | 2147483647    49544     35 |  0.000 % |
57.16/57.24	c |     49690 |    8694   269998   945031 | 2147483647    49690     35 |  0.000 % |
57.36/57.48	c |     49850 |    8694   269998   945031 | 2147483647    49850     35 |  0.000 % |
57.56/57.69	c |     50026 |    8694   269998   945031 | 2147483647    50026     35 |  0.000 % |
57.86/57.93	c |     50219 |    8694   269998   945031 | 2147483647    50219     35 |  0.000 % |
58.16/58.21	c |     50431 |    8694   269998   945031 | 2147483647    50431     35 |  0.000 % |
58.26/58.38	c |     50664 |    8694   269998   945031 | 2147483647    50664     35 |  0.000 % |
58.56/58.66	c |     50921 |    8694   269998   945031 | 2147483647    50921     35 |  0.000 % |
58.96/59.05	c |     51202 |    8694   269998   945031 | 2147483647    51202     35 |  0.000 % |
59.46/59.50	c |     51513 |    8694   269998   945031 | 2147483647    51513     35 |  0.000 % |
60.16/60.20	c |     51852 |    8694   269998   945031 | 2147483647    51852     35 |  0.000 % |
60.76/60.80	c |     52225 |    8694   269998   945031 | 2147483647    52225     35 |  0.000 % |
61.46/61.51	c |     52637 |    8694   269998   945031 | 2147483647    52637     35 |  0.000 % |
62.26/62.34	c |     53089 |    8694   269998   945031 | 2147483647    53089     35 |  0.000 % |
62.86/62.94	c |     53582 |    8694   269998   945031 | 2147483647    53582     35 |  0.000 % |
63.37/63.41	c |     54124 |    8694   269998   945031 | 2147483647    54124     35 |  0.000 % |
64.07/64.14	c |     54720 |    8694   269998   945031 | 2147483647    54720     35 |  0.000 % |
64.87/64.92	c |     55376 |    8694   269998   945031 | 2147483647    55376     35 |  0.000 % |
65.67/65.75	c |     56096 |    8694   269998   945031 | 2147483647    56096     35 |  0.000 % |
65.77/65.90	c |     56196 |    8694   269998   945031 | 2147483647    56196     35 |  0.000 % |
65.97/66.03	c |     56306 |    8694   269998   945031 | 2147483647    56306     35 |  0.000 % |
66.17/66.28	c |     56429 |    8694   269998   945031 | 2147483647    56429     35 |  0.000 % |
66.37/66.45	c |     56563 |    8694   269998   945031 | 2147483647    56563     35 |  0.000 % |
66.57/66.65	c |     56709 |    8694   269998   945031 | 2147483647    56709     35 |  0.000 % |
66.77/66.85	c |     56871 |    8694   269998   945031 | 2147483647    56871     35 |  0.000 % |
66.97/67.06	c |     57047 |    8694   269998   945031 | 2147483647    57047     35 |  0.000 % |
67.37/67.46	c |     57240 |    8694   269998   945031 | 2147483647    57240     35 |  0.000 % |
67.67/67.78	c |     57452 |    8694   269998   945031 | 2147483647    57452     35 |  0.000 % |
67.97/68.05	c |     57685 |    8694   269998   945031 | 2147483647    57685     35 |  0.000 % |
68.37/68.44	c |     57942 |    8694   269998   945031 | 2147483647    57942     35 |  0.000 % |
68.76/68.84	c |     58224 |    8694   269998   945031 | 2147483647    58224     35 |  0.000 % |
69.17/69.25	c |     58533 |    8694   269998   945031 | 2147483647    58533     35 |  0.000 % |
69.27/69.35	c |     58873 |    8694   269998   945031 | 2147483647    58873     35 |  0.000 % |
69.76/69.81	c |     59246 |    8694   269998   945031 | 2147483647    59246     35 |  0.000 % |
70.37/70.41	c |     59655 |    8694   269998   945031 | 2147483647    59655     35 |  0.000 % |
70.96/71.04	c |     60104 |    8694   269998   945031 | 2147483647    60104     35 |  0.000 % |
71.37/71.46	c |     60598 |    8694   269998   945031 | 2147483647    60598     35 |  0.000 % |
71.96/72.07	c |     61140 |    8694   269998   945031 | 2147483647    61140     35 |  0.000 % |
72.66/72.79	c |     61736 |    8694   269998   945031 | 2147483647    61736     35 |  0.000 % |
73.56/73.65	c |     62391 |    8694   269998   945031 | 2147483647    62391     35 |  0.000 % |
74.36/74.45	c |     63113 |    8694   269998   945031 | 2147483647    63113     35 |  0.000 % |
75.46/75.60	c |     63906 |    8694   269998   945031 | 2147483647    63906     35 |  0.000 % |
75.66/75.72	c |     64007 |    8694   269998   945031 | 2147483647    64007     35 |  0.000 % |
75.96/76.06	c |     64118 |    8694   269998   945031 | 2147483647    64118     35 |  0.000 % |
76.16/76.28	c |     64240 |    8694   269998   945031 | 2147483647    64240     35 |  0.000 % |
76.45/76.52	c |     64375 |    8694   269998   945031 | 2147483647    64375     35 |  0.000 % |
76.65/76.72	c |     64521 |    8694   269998   945031 | 2147483647    64521     35 |  0.000 % |
76.75/76.80	c |     64681 |    8694   269998   945031 | 2147483647    64681     35 |  0.000 % |
77.06/77.12	c |     64858 |    8694   269998   945031 | 2147483647    64858     35 |  0.000 % |
77.46/77.53	c |     65052 |    8694   269998   945031 | 2147483647    65052     35 |  0.000 % |
77.76/77.82	c |     65264 |    8694   269998   945031 | 2147483647    65264     35 |  0.000 % |
78.07/78.16	c |     65497 |    8694   269998   945031 | 2147483647    65497     35 |  0.000 % |
78.46/78.52	c |     65753 |    8694   269998   945031 | 2147483647    65753     35 |  0.000 % |
78.76/78.84	c |     66034 |    8694   269998   945031 | 2147483647    66034     35 |  0.000 % |
79.07/79.16	c |     66344 |    8694   269998   945031 | 2147483647    66344     35 |  0.000 % |
79.66/79.71	c |     66683 |    8694   269998   945031 | 2147483647    66683     35 |  0.000 % |
80.27/80.33	c |     67055 |    8694   269998   945031 | 2147483647    67055     35 |  0.000 % |
81.16/81.23	c |     67464 |    8694   269998   945031 | 2147483647    67464     35 |  0.000 % |
82.16/82.26	c |     67913 |    8694   269998   945031 | 2147483647    67913     35 |  0.000 % |
83.16/83.24	c |     68406 |    8694   269998   945031 | 2147483647    68406     35 |  0.000 % |
83.76/83.89	c |     68948 |    8694   269998   945031 | 2147483647    68948     35 |  0.000 % |
84.66/84.76	c |     69544 |    8694   269998   945031 | 2147483647    69544     35 |  0.000 % |
85.16/85.22	c |     70199 |    8694   269998   945031 | 2147483647    70199     35 |  0.000 % |
85.96/86.03	c |     70919 |    8694   269998   945031 | 2147483647    70919     35 |  0.000 % |
87.16/87.25	c |     71712 |    8694   269998   945031 | 2147483647    71712     35 |  0.000 % |
88.36/88.46	c |     72583 |    8694   269998   945031 | 2147483647    72583     35 |  0.000 % |
88.46/88.57	c |     72684 |    8694   269998   945031 | 2147483647    72684     35 |  0.000 % |
88.66/88.70	c |     72795 |    8694   269998   945031 | 2147483647    72795     35 |  0.000 % |
88.86/88.93	c |     72917 |    8694   269998   945031 | 2147483647    72917     35 |  0.000 % |
89.06/89.15	c |     73050 |    8694   269998   945031 | 2147483647    73050     35 |  0.000 % |
89.26/89.40	c |     73196 |    8694   269998   945031 | 2147483647    73196     35 |  0.000 % |
89.56/89.66	c |     73356 |    8694   269998   945031 | 2147483647    73356     35 |  0.000 % |
89.76/89.89	c |     73533 |    8694   269998   945031 | 2147483647    73533     35 |  0.000 % |
90.06/90.17	c |     73727 |    8694   269998   945031 | 2147483647    73727     35 |  0.000 % |
90.25/90.36	c |     73941 |    8694   269998   945031 | 2147483647    73941     35 |  0.000 % |
90.65/90.74	c |     74175 |    8694   269998   945031 | 2147483647    74175     35 |  0.000 % |
91.05/91.10	c |     74431 |    8694   269998   945031 | 2147483647    74431     35 |  0.000 % |
91.45/91.54	c |     74712 |    8694   269998   945031 | 2147483647    74712     35 |  0.000 % |
91.95/92.02	c |     75022 |    8694   269998   945031 | 2147483647    75022     35 |  0.000 % |
92.26/92.40	c |     75361 |    8694   269998   945031 | 2147483647    75361     35 |  0.000 % |
92.75/92.89	c |     75734 |    8694   269998   945031 | 2147483647    75734     35 |  0.000 % |
93.55/93.63	c |     76143 |    8694   269998   945031 | 2147483647    76143     35 |  0.000 % |
94.26/94.31	c |     76592 |    8694   269998   945031 | 2147483647    76592     35 |  0.000 % |
95.06/95.10	c |     77085 |    8694   269998   945031 | 2147483647    77085     35 |  0.000 % |
95.86/95.96	c |     77627 |    8694   269998   945031 | 2147483647    77627     35 |  0.000 % |
96.86/96.93	c |     78223 |    8694   269998   945031 | 2147483647    78223     35 |  0.000 % |
97.96/98.03	c |     78881 |    8694   269998   945031 | 2147483647    78881     35 |  0.000 % |
99.06/99.12	c |     79601 |    8694   269998   945031 | 2147483647    79601     35 |  0.000 % |
100.36/100.41	c |     80394 |    8694   269998   945031 | 2147483647    80394     35 |  0.000 % |
101.76/101.80	c |     81265 |    8694   269998   945031 | 2147483647    81265     35 |  0.000 % |
103.36/103.42	c |     82227 |    8694   269998   945031 | 2147483647    82227     35 |  0.000 % |
103.46/103.59	c |     82331 |    8694   269998   945031 | 2147483647    82331     35 |  0.000 % |
103.76/103.80	c |     82443 |    8694   269998   945031 | 2147483647    82443     35 |  0.000 % |
103.86/103.92	c |     82564 |    8694   269998   945031 | 2147483647    82564     35 |  0.000 % |
103.96/104.02	c |     82698 |    8694   269998   945031 | 2147483647    82698     35 |  0.000 % |
104.26/104.33	c |     82844 |    8694   269998   945031 | 2147483647    82844     35 |  0.000 % |
104.46/104.51	c |     83006 |    8694   269998   945031 | 2147483647    83006     35 |  0.000 % |
104.46/104.58	c |     83182 |    8694   269998   945031 | 2147483647    83182     35 |  0.000 % |
104.85/104.94	c |     83376 |    8694   269998   945031 | 2147483647    83376     35 |  0.000 % |
105.15/105.23	c |     83588 |    8694   269998   945031 | 2147483647    83588     35 |  0.000 % |
105.25/105.31	c |     83822 |    8694   269998   945031 | 2147483647    83822     35 |  0.000 % |
105.35/105.46	c |     84078 |    8694   269998   945031 | 2147483647    84078     35 |  0.000 % |
105.65/105.74	c |     84359 |    8694   269998   945031 | 2147483647    84359     35 |  0.000 % |
106.15/106.24	c |     84669 |    8694   269998   945031 | 2147483647    84669     35 |  0.000 % |
106.66/106.71	c |     85008 |    8694   269998   945031 | 2147483647    85008     35 |  0.000 % |
107.15/107.26	c |     85380 |    8694   269998   945031 | 2147483647    85380     35 |  0.000 % |
107.66/107.71	c |     85790 |    8694   269998   945031 | 2147483647    85790     35 |  0.000 % |
108.45/108.53	c |     86239 |    8694   269998   945031 | 2147483647    86239     35 |  0.000 % |
108.95/109.09	c |     86732 |    8694   269998   945031 | 2147483647    86732     35 |  0.000 % |
109.55/109.63	c |     87274 |    8694   269998   945031 | 2147483647    87274     35 |  0.000 % |
110.15/110.24	c |     87871 |    8694   269998   945031 | 2147483647    87871     35 |  0.000 % |
110.75/110.81	c |     88526 |    8694   269998   945031 | 2147483647    88526     35 |  0.000 % |
111.05/111.11	c |     89246 |    8694   269998   945031 | 2147483647    89246     35 |  0.000 % |
112.05/112.13	c |     90039 |    8694   269998   945031 | 2147483647    90039     35 |  0.000 % |
112.45/112.51	c |     90910 |    8694   269998   945031 | 2147483647    90910     35 |  0.000 % |
114.25/114.34	c |     91873 |    8694   269998   945031 | 2147483647    91873     35 |  0.000 % |
115.15/115.27	c |     92927 |    8694   269998   945031 | 2147483647    92927     35 |  0.000 % |
115.25/115.39	c |     93027 |    8694   269998   945031 | 2147483647    93027     35 |  0.000 % |
115.35/115.47	c |     93137 |    8694   269998   945031 | 2147483647    93137     35 |  0.000 % |
115.55/115.60	c |     93259 |    8694   269998   945031 | 2147483647    93259     35 |  0.000 % |
115.75/115.81	c |     93392 |    8694   269998   945031 | 2147483647    93392     35 |  0.000 % |
115.85/115.96	c |     93538 |    8694   269998   945031 | 2147483647    93538     35 |  0.000 % |
115.95/116.06	c |     93698 |    8694   269998   945031 | 2147483647    93698     35 |  0.000 % |
116.15/116.25	c |     93874 |    8694   269998   945031 | 2147483647    93874     35 |  0.000 % |
116.45/116.58	c |     94067 |    8694   269998   945031 | 2147483647    94067     35 |  0.000 % |
116.65/116.75	c |     94279 |    8694   269998   945031 | 2147483647    94279     35 |  0.000 % |
116.95/117.05	c |     94512 |    8694   269998   945031 | 2147483647    94512     35 |  0.000 % |
117.05/117.15	c |     94770 |    8694   269998   945031 | 2147483647    94770     35 |  0.000 % |
117.45/117.53	c |     95052 |    8694   269998   945031 | 2147483647    95052     35 |  0.000 % |
117.85/117.98	c |     95361 |    8694   269998   945031 | 2147483647    95361     35 |  0.000 % |
118.45/118.51	c |     95700 |    8694   269998   945031 | 2147483647    95700     35 |  0.000 % |
119.05/119.16	c |     96074 |    8694   269998   945031 | 2147483647    96074     35 |  0.000 % |
119.35/119.49	c |     96483 |    8694   269998   945031 | 2147483647    96483     35 |  0.000 % |
119.86/119.94	c |     96932 |    8694   269998   945031 | 2147483647    96932     35 |  0.000 % |
120.55/120.61	c |     97426 |    8694   269998   945031 | 2147483647    97426     35 |  0.000 % |
121.25/121.38	c |     97968 |    8694   269998   945031 | 2147483647    97968     35 |  0.000 % |
122.05/122.16	c |     98564 |    8694   269998   945031 | 2147483647    98564     35 |  0.000 % |
122.55/122.65	c |     99219 |    8694   269998   945031 | 2147483647    99219     35 |  0.000 % |
123.35/123.46	c |     99939 |    8694   269998   945031 | 2147483647    99939     35 |  0.000 % |
124.65/124.75	c |    100731 |    8694   269998   945031 | 2147483647   100731     35 |  0.000 % |
126.05/126.15	c |    101602 |    8694   269998   945031 | 2147483647   101602     35 |  0.000 % |
127.25/127.36	c |    102561 |    8694   269998   945031 | 2147483647   102561     35 |  0.000 % |
128.45/128.50	c |    103615 |    8694   269998   945031 | 2147483647   103615     35 |  0.000 % |
130.55/130.66	c |    104774 |    8694   269998   945031 | 2147483647   104774     35 |  0.000 % |
130.75/130.88	c |    104875 |    8694   269998   945031 | 2147483647   104875     35 |  0.000 % |
130.95/131.05	c |    104985 |    8694   269998   945031 | 2147483647   104985     35 |  0.000 % |
131.05/131.19	c |    105107 |    8694   269998   945031 | 2147483647   105107     35 |  0.000 % |
131.34/131.44	c |    105240 |    8694   269998   945031 | 2147483647   105240     35 |  0.000 % |
131.44/131.60	c |    105386 |    8694   269998   945031 | 2147483647   105386     35 |  0.000 % |
131.64/131.79	c |    105548 |    8694   269998   945031 | 2147483647   105548     35 |  0.000 % |
131.85/131.95	c |    105725 |    8694   269998   945031 | 2147483647   105725     35 |  0.000 % |
132.24/132.32	c |    105918 |    8694   269998   945031 | 2147483647   105918     35 |  0.000 % |
132.74/132.85	c |    106131 |    8694   269998   945031 | 2147483647   106131     35 |  0.000 % |
133.14/133.25	c |    106364 |    8694   269998   945031 | 2147483647   106364     35 |  0.000 % |
133.44/133.59	c |    106620 |    8694   269998   945031 | 2147483647   106620     35 |  0.000 % |
133.64/133.77	c |    106903 |    8694   269998   945031 | 2147483647   106903     35 |  0.000 % |
134.15/134.26	c |    107212 |    8694   269998   945031 | 2147483647   107212     35 |  0.000 % |
134.74/134.83	c |    107551 |    8694   269998   945031 | 2147483647   107551     35 |  0.000 % |
135.25/135.32	c |    107923 |    8694   269998   945031 | 2147483647   107923     35 |  0.000 % |
135.94/136.08	c |    108332 |    8694   269998   945031 | 2147483647   108332     35 |  0.000 % |
136.84/136.95	c |    108781 |    8694   269998   945031 | 2147483647   108781     35 |  0.000 % |
137.34/137.46	c |    109274 |    8694   269998   945031 | 2147483647   109274     35 |  0.000 % |
138.35/138.50	c |    109816 |    8694   269998   945031 | 2147483647   109816     35 |  0.000 % |
139.45/139.55	c |    110414 |    8694   269998   945031 | 2147483647   110414     35 |  0.000 % |
140.55/140.68	c |    111070 |    8694   269998   945031 | 2147483647   111070     35 |  0.000 % |
141.54/141.65	c |    111793 |    8694   269998   945031 | 2147483647   111793     35 |  0.000 % |
143.24/143.31	c |    112587 |    8694   269998   945031 | 2147483647   112587     35 |  0.000 % |
144.05/144.16	c |    113458 |    8694   269998   945031 | 2147483647   113458     35 |  0.000 % |
146.15/146.23	c |    114416 |    8694   269998   945031 | 2147483647   114416     35 |  0.000 % |
147.84/147.96	c |    115472 |    8694   269998   945031 | 2147483647   115472     35 |  0.000 % |
149.44/149.57	c |    116632 |    8694   269998   945031 | 2147483647   116632     35 |  0.000 % |
151.84/151.93	c |    117906 |    8694   269998   945031 | 2147483647   117906     35 |  0.000 % |
152.04/152.12	c |    118006 |    8694   269998   945031 | 2147483647   118006     35 |  0.000 % |
152.25/152.34	c |    118117 |    8694   269998   945031 | 2147483647   118117     35 |  0.000 % |
152.45/152.57	c |    118238 |    8694   269998   945031 | 2147483647   118238     35 |  0.000 % |
152.65/152.78	c |    118371 |    8694   269998   945031 | 2147483647   118371     35 |  0.000 % |
152.95/153.09	c |    118517 |    8694   269998   945031 | 2147483647   118517     35 |  0.000 % |
153.35/153.44	c |    118679 |    8694   269998   945031 | 2147483647   118679     35 |  0.000 % |
153.55/153.62	c |    118855 |    8694   269998   945031 | 2147483647   118855     35 |  0.000 % |
153.85/153.92	c |    119048 |    8694   269998   945031 | 2147483647   119048     35 |  0.000 % |
154.34/154.41	c |    119262 |    8694   269998   945031 | 2147483647   119262     35 |  0.000 % |
154.64/154.78	c |    119495 |    8694   269998   945031 | 2147483647   119495     35 |  0.000 % |
155.24/155.39	c |    119753 |    8694   269998   945031 | 2147483647   119753     35 |  0.000 % |
155.74/155.89	c |    120034 |    8694   269998   945031 | 2147483647   120034     35 |  0.000 % |
156.24/156.37	c |    120344 |    8694   269998   945031 | 2147483647   120344     35 |  0.000 % |
157.04/157.18	c |    120683 |    8694   269998   945031 | 2147483647   120683     35 |  0.000 % |
157.94/158.04	c |    121055 |    8694   269998   945031 | 2147483647   121055     35 |  0.000 % |
158.74/158.88	c |    121464 |    8694   269998   945031 | 2147483647   121464     35 |  0.000 % |
159.54/159.66	c |    121914 |    8694   269998   945031 | 2147483647   121914     35 |  0.000 % |
160.74/160.89	c |    122407 |    8694   269998   945031 | 2147483647   122407     35 |  0.000 % |
161.94/162.09	c |    122949 |    8694   269998   945031 | 2147483647   122949     35 |  0.000 % |
163.44/163.52	c |    123545 |    8694   269998   945031 | 2147483647   123545     35 |  0.000 % |
164.54/164.66	c |    124200 |    8694   269998   945031 | 2147483647   124200     35 |  0.000 % |
165.94/166.07	c |    124920 |    8694   269998   945031 | 2147483647   124920     35 |  0.000 % |
167.34/167.44	c |    125712 |    8694   269998   945031 | 2147483647   125712     35 |  0.000 % |
168.64/168.79	c |    126583 |    8694   269998   945031 | 2147483647   126583     35 |  0.000 % |
170.24/170.33	c |    127542 |    8694   269998   945031 | 2147483647   127542     35 |  0.000 % |
171.24/171.38	c |    128596 |    8694   269998   945031 | 2147483647   128596     35 |  0.000 % |
172.54/172.66	c |    129754 |    8694   269998   945031 | 2147483647   129754     35 |  0.000 % |
174.63/174.76	c |    131027 |    8694   269998   945031 | 2147483647   131027     35 |  0.000 % |
176.33/176.42	c |    132427 |    8694   269998   945031 | 2147483647   132427     35 |  0.000 % |
176.43/176.54	c |    132527 |    8694   269998   945031 | 2147483647   132527     35 |  0.000 % |
176.53/176.68	c |    132637 |    8694   269998   945031 | 2147483647   132637     35 |  0.000 % |
176.83/176.92	c |    132759 |    8694   269998   945031 | 2147483647   132759     35 |  0.000 % |
177.04/177.16	c |    132892 |    8694   269998   945031 | 2147483647   132892     35 |  0.000 % |
177.13/177.29	c |    133038 |    8694   269998   945031 | 2147483647   133038     35 |  0.000 % |
177.43/177.60	c |    133200 |    8694   269998   945031 | 2147483647   133200     35 |  0.000 % |
177.93/178.04	c |    133378 |    8694   269998   945031 | 2147483647   133378     35 |  0.000 % |
178.33/178.48	c |    133571 |    8694   269998   945031 | 2147483647   133571     35 |  0.000 % |
178.73/178.82	c |    133783 |    8694   269998   945031 | 2147483647   133783     35 |  0.000 % |
179.24/179.32	c |    134016 |    8694   269998   945031 | 2147483647   134016     35 |  0.000 % |
179.53/179.66	c |    134272 |    8694   269998   945031 | 2147483647   134272     35 |  0.000 % |
179.93/180.07	c |    134554 |    8694   269998   945031 | 2147483647   134554     35 |  0.000 % |
180.63/180.75	c |    134865 |    8694   269998   945031 | 2147483647   134865     35 |  0.000 % |
181.13/181.30	c |    135208 |    8694   269998   945031 | 2147483647   135208     36 |  0.000 % |
181.93/182.05	c |    135580 |    8694   269998   945031 | 2147483647   135580     36 |  0.000 % |
182.83/182.94	c |    135989 |    8694   269998   945031 | 2147483647   135989     35 |  0.000 % |
183.93/184.09	c |    136438 |    8694   269998   945031 | 2147483647   136438     35 |  0.000 % |
185.03/185.17	c |    136931 |    8694   269998   945031 | 2147483647   136931     36 |  0.000 % |
186.53/186.64	c |    137473 |    8694   269998   945031 | 2147483647   137473     36 |  0.000 % |
187.63/187.77	c |    138070 |    8694   269998   945031 | 2147483647   138070     36 |  0.000 % |
188.84/188.97	c |    138725 |    8694   269998   945031 | 2147483647   138725     36 |  0.000 % |
189.74/189.85	c |    139448 |    8694   269998   945031 | 2147483647   139448     36 |  0.000 % |
191.34/191.46	c |    140240 |    8694   269998   945031 | 2147483647   140240     36 |  0.000 % |
193.33/193.45	c |    141111 |    8694   269998   945031 | 2147483647   141111     36 |  0.000 % |
195.43/195.54	c |    142069 |    8694   269998   945031 | 2147483647   142069     36 |  0.000 % |
197.03/197.15	c |    143125 |    8694   269998   945031 | 2147483647   143125     36 |  0.000 % |
199.23/199.32	c |    144285 |    8694   269998   945031 | 2147483647   144285     36 |  0.000 % |
201.63/201.75	c |    145558 |    8694   269998   945031 | 2147483647   145558     36 |  0.000 % |
203.83/203.94	c |    146959 |    8694   269998   945031 | 2147483647   146959     36 |  0.000 % |
205.73/205.83	c |    148499 |    8694   269998   945031 | 2147483647   148499     36 |  0.000 % |
205.93/206.06	c |    148600 |    8694   269998   945031 | 2147483647   148600     36 |  0.000 % |
206.13/206.26	c |    148711 |    8694   269998   945031 | 2147483647   148711     36 |  0.000 % |
206.43/206.60	c |    148833 |    8694   269998   945031 | 2147483647   148833     36 |  0.000 % |
206.73/206.89	c |    148967 |    8694   269998   945031 | 2147483647   148967     36 |  0.000 % |
207.13/207.25	c |    149113 |    8694   269998   945031 | 2147483647   149113     36 |  0.000 % |
207.63/207.71	c |    149273 |    8694   269998   945031 | 2147483647   149273     36 |  0.000 % |
208.03/208.14	c |    149449 |    8694   269998   945031 | 2147483647   149449     36 |  0.000 % |
208.43/208.54	c |    149642 |    8694   269998   945031 | 2147483647   149642     36 |  0.000 % |
208.83/208.95	c |    149855 |    8694   269998   945031 | 2147483647   149855     36 |  0.000 % |
209.43/209.54	c |    150088 |    8694   269998   945031 | 2147483647   150088     36 |  0.000 % |
210.03/210.13	c |    150345 |    8694   269998   945031 | 2147483647   150345     36 |  0.000 % |
210.63/210.73	c |    150626 |    8694   269998   945031 | 2147483647   150626     36 |  0.000 % |
211.23/211.31	c |    150935 |    8694   269998   945031 | 2147483647   150935     36 |  0.000 % |
211.63/211.76	c |    151274 |    8694   269998   945031 | 2147483647   151274     36 |  0.000 % |
212.73/212.82	c |    151646 |    8694   269998   945031 | 2147483647   151646     36 |  0.000 % |
213.63/213.79	c |    152055 |    8694   269998   945031 | 2147483647   152055     36 |  0.000 % |
214.83/214.90	c |    152504 |    8694   269998   945031 | 2147483647   152504     36 |  0.000 % |
215.23/215.36	c |    153001 |    8694   269998   945031 | 2147483647   153001     36 |  0.000 % |
216.43/216.60	c |    153545 |    8694   269998   945031 | 2147483647   153545     36 |  0.000 % |
217.92/218.03	c |    154142 |    8694   269998   945031 | 2147483647   154142     36 |  0.000 % |
219.22/219.38	c |    154797 |    8694   269998   945031 | 2147483647   154797     36 |  0.000 % |
220.62/220.75	c |    155518 |    8694   269998   945031 | 2147483647   155518     36 |  0.000 % |
222.03/222.17	c |    156310 |    8694   269998   945031 | 2147483647   156310     36 |  0.000 % |
223.92/224.00	c |    157181 |    8694   269998   945031 | 2147483647   157181     36 |  0.000 % |
225.82/225.98	c |    158139 |    8694   269998   945031 | 2147483647   158139     36 |  0.000 % |
228.42/228.52	c |    159192 |    8694   269998   945031 | 2147483647   159192     36 |  0.000 % |
230.42/230.57	c |    160350 |    8694   269998   945031 | 2147483647   160350     36 |  0.000 % |
233.51/233.60	c |    161627 |    8694   269998   945031 | 2147483647   161627     36 |  0.000 % |
236.61/236.78	c |    163029 |    8694   269998   945031 | 2147483647   163029     36 |  0.000 % |
239.91/240.04	c |    164574 |    8694   269998   945031 | 2147483647   164574     36 |  0.000 % |
243.81/243.92	c |    166268 |    8694   269998   945031 | 2147483647   166268     36 |  0.000 % |
244.01/244.12	c |    166368 |    8694   269998   945031 | 2147483647   166368     36 |  0.000 % |
244.31/244.41	c |    166478 |    8694   269998   945031 | 2147483647   166478     36 |  0.000 % |
244.61/244.70	c |    166599 |    8694   269998   945031 | 2147483647   166599     36 |  0.000 % |
244.81/244.92	c |    166733 |    8694   269998   945031 | 2147483647   166733     36 |  0.000 % |
245.21/245.31	c |    166880 |    8694   269998   945031 | 2147483647   166880     36 |  0.000 % |
245.51/245.65	c |    167040 |    8694   269998   945031 | 2147483647   167040     36 |  0.000 % |
245.91/246.09	c |    167217 |    8694   269998   945031 | 2147483647   167217     36 |  0.000 % |
246.31/246.43	c |    167410 |    8694   269998   945031 | 2147483647   167410     36 |  0.000 % |
246.81/246.95	c |    167622 |    8694   269998   945031 | 2147483647   167622     36 |  0.000 % |
247.41/247.53	c |    167857 |    8694   269998   945031 | 2147483647   167857     36 |  0.000 % |
248.01/248.18	c |    168113 |    8694   269998   945031 | 2147483647   168113     36 |  0.000 % |
248.61/248.72	c |    168395 |    8694   269998   945031 | 2147483647   168395     36 |  0.000 % |
249.21/249.35	c |    168704 |    8694   269998   945031 | 2147483647   168704     36 |  0.000 % |
249.91/250.03	c |    169044 |    8694   269998   945031 | 2147483647   169044     36 |  0.000 % |
250.61/250.80	c |    169418 |    8694   269998   945031 | 2147483647   169418     36 |  0.000 % |
251.82/251.96	c |    169828 |    8694   269998   945031 | 2147483647   169828     36 |  0.000 % |
252.62/252.75	c |    170277 |    8694   269998   945031 | 2147483647   170277     36 |  0.000 % |
254.02/254.19	c |    170771 |    8694   269998   945031 | 2147483647   170771     36 |  0.000 % |
255.32/255.43	c |    171313 |    8694   269998   945031 | 2147483647   171313     36 |  0.000 % |
256.42/256.52	c |    171909 |    8694   269998   945031 | 2147483647   171909     36 |  0.000 % |
257.92/258.01	c |    172565 |    8694   269998   945031 | 2147483647   172565     36 |  0.000 % |
258.32/258.44	c |    173286 |    8694   269998   945031 | 2147483647   173286     36 |  0.000 % |
260.11/260.29	c |    174078 |    8694   269998   945031 | 2147483647   174078     36 |  0.000 % |
261.01/261.16	c |    174950 |    8694   269998   945031 | 2147483647   174950     36 |  0.000 % |
262.81/262.97	c |    175908 |    8694   269998   945031 | 2147483647   175908     36 |  0.000 % |
264.92/265.04	c |    176962 |    8694   269998   945031 | 2147483647   176962     36 |  0.000 % |
267.31/267.47	c |    178120 |    8694   269998   945031 | 2147483647   178120     36 |  0.000 % |
268.21/268.38	c |    179393 |    8694   269998   945031 | 2147483647   179393     36 |  0.000 % |
270.01/270.13	c |    180793 |    8694   269998   945031 | 2147483647   180793     36 |  0.000 % |
272.40/272.55	c |    182333 |    8694   269998   945031 | 2147483647   182333     36 |  0.000 % |
274.41/274.55	c |    184027 |    8694   269998   945031 | 2147483647   184027     36 |  0.000 % |
278.22/278.36	c |    185892 |    8694   269998   945031 | 2147483647   185892     36 |  0.000 % |
278.51/278.66	c |    185992 |    8694   269998   945031 | 2147483647   185992     36 |  0.000 % |
278.81/278.92	c |    186102 |    8694   269998   945031 | 2147483647   186102     36 |  0.000 % |
279.01/279.19	c |    186223 |    8694   269998   945031 | 2147483647   186223     36 |  0.000 % |
279.41/279.50	c |    186357 |    8694   269998   945031 | 2147483647   186357     36 |  0.000 % |
279.71/279.85	c |    186503 |    8694   269998   945031 | 2147483647   186503     36 |  0.000 % |
280.01/280.16	c |    186663 |    8694   269998   945031 | 2147483647   186663     36 |  0.000 % |
280.31/280.42	c |    186841 |    8694   269998   945031 | 2147483647   186841     36 |  0.000 % |
280.81/280.91	c |    187034 |    8694   269998   945031 | 2147483647   187034     36 |  0.000 % |
281.01/281.13	c |    187247 |    8694   269998   945031 | 2147483647   187247     36 |  0.000 % |
281.41/281.52	c |    187482 |    8694   269998   945031 | 2147483647   187482     36 |  0.000 % |
281.71/281.88	c |    187739 |    8694   269998   945031 | 2147483647   187739     36 |  0.000 % |
282.01/282.17	c |    188020 |    8694   269998   945031 | 2147483647   188020     36 |  0.000 % |
282.71/282.86	c |    188331 |    8694   269998   945031 | 2147483647   188331     36 |  0.000 % |
283.41/283.54	c |    188670 |    8694   269998   945031 | 2147483647   188670     36 |  0.000 % |
284.41/284.56	c |    189042 |    8694   269998   945031 | 2147483647   189042     36 |  0.000 % |
284.71/284.85	c |    189451 |    8694   269998   945031 | 2147483647   189451     36 |  0.000 % |
285.70/285.87	c |    189900 |    8694   269998   945031 | 2147483647   189900     36 |  0.000 % |
286.80/286.94	c |    190394 |    8694   269998   945031 | 2147483647   190394     36 |  0.000 % |
287.90/288.04	c |    190936 |    8694   269998   945031 | 2147483647   190936     36 |  0.000 % |
289.21/289.33	c |    191533 |    8694   269998   945031 | 2147483647   191533     36 |  0.000 % |
290.40/290.60	c |    192189 |    8694   269998   945031 | 2147483647   192189     36 |  0.000 % |
292.00/292.11	c |    192911 |    8694   269998   945031 | 2147483647   192911     36 |  0.000 % |
294.40/294.54	c |    193706 |    8694   269998   945031 | 2147483647   193706     36 |  0.000 % |
296.40/296.57	c |    194577 |    8694   269998   945031 | 2147483647   194577     36 |  0.000 % |
297.50/297.61	c |    195535 |    8694   269998   945031 | 2147483647   195535     36 |  0.000 % |
299.70/299.89	c |    196588 |    8694   269998   945031 | 2147483647   196588     37 |  0.000 % |
302.11/302.28	c |    197746 |    8694   269998   945031 | 2147483647   197746     37 |  0.000 % |
305.50/305.67	c |    199021 |    8694   269998   945031 | 2147483647   199021     37 |  0.000 % |
308.60/308.70	c |    200421 |    8694   269998   945031 | 2147483647   200421     37 |  0.000 % |
312.20/312.32	c |    201961 |    8694   269998   945031 | 2147483647   201961     37 |  0.000 % |
317.20/317.38	c |    203655 |    8694   269998   945031 | 2147483647   203655     37 |  0.000 % |
322.79/322.91	c |    205518 |    8694   269998   945031 | 2147483647   205518     37 |  0.000 % |
326.59/326.70	c |    207567 |    8694   269998   945031 | 2147483647   207567     37 |  0.000 % |
326.79/326.94	c |    207667 |    8694   269998   945031 | 2147483647   207667     37 |  0.000 % |
326.99/327.19	c |    207778 |    8694   269998   945031 | 2147483647   207778     37 |  0.000 % |
327.39/327.58	c |    207899 |    8694   269998   945031 | 2147483647   207899     37 |  0.000 % |
327.79/327.91	c |    208032 |    8694   269998   945031 | 2147483647   208032     37 |  0.000 % |
327.99/328.20	c |    208180 |    8694   269998   945031 | 2147483647   208180     37 |  0.000 % |
328.39/328.57	c |    208340 |    8694   269998   945031 | 2147483647   208340     37 |  0.000 % |
328.89/329.06	c |    208517 |    8694   269998   945031 | 2147483647   208517     37 |  0.000 % |
329.09/329.25	c |    208711 |    8694   269998   945031 | 2147483647   208711     37 |  0.000 % |
329.79/330.00	c |    208923 |    8694   269998   945031 | 2147483647   208923     37 |  0.000 % |
330.50/330.68	c |    209159 |    8694   269998   945031 | 2147483647   209159     37 |  0.000 % |
331.30/331.44	c |    209415 |    8694   269998   945031 | 2147483647   209415     37 |  0.000 % |
332.10/332.20	c |    209696 |    8694   269998   945031 | 2147483647   209696     37 |  0.000 % |
332.79/332.96	c |    210005 |    8694   269998   945031 | 2147483647   210005     37 |  0.000 % |
333.60/333.70	c |    210345 |    8694   269998   945031 | 2147483647   210345     37 |  0.000 % |
334.39/334.59	c |    210717 |    8694   269998   945031 | 2147483647   210717     37 |  0.000 % |
335.49/335.70	c |    211129 |    8694   269998   945031 | 2147483647   211129     37 |  0.000 % |
336.79/336.97	c |    211580 |    8694   269998   945031 | 2147483647   211580     37 |  0.000 % |
337.89/338.01	c |    212073 |    8694   269998   945031 | 2147483647   212073     37 |  0.000 % |
338.89/339.06	c |    212619 |    8694   269998   945031 | 2147483647   212619     37 |  0.000 % |
340.49/340.61	c |    213216 |    8694   269998   945031 | 2147483647   213216     37 |  0.000 % |
341.99/342.20	c |    213872 |    8694   269998   945031 | 2147483647   213872     37 |  0.000 % |
343.59/343.75	c |    214592 |    8694   269998   945031 | 2147483647   214592     37 |  0.000 % |
345.79/345.98	c |    215385 |    8694   269998   945031 | 2147483647   215385     37 |  0.000 % |
348.59/348.77	c |    216257 |    8694   269998   945031 | 2147483647   216257     37 |  0.000 % |
351.19/351.35	c |    217216 |    8694   269998   945031 | 2147483647   217216     37 |  0.000 % |
353.28/353.48	c |    218272 |    8694   269998   945031 | 2147483647   218272     37 |  0.000 % |
355.98/356.12	c |    219430 |    8694   269998   945031 | 2147483647   219430     37 |  0.000 % |
359.38/359.58	c |    220705 |    8694   269998   945031 | 2147483647   220705     37 |  0.000 % |
363.48/363.61	c |    222106 |    8694   269998   945031 | 2147483647   222106     37 |  0.000 % |
367.38/367.52	c |    223648 |    8694   269998   945031 | 2147483647   223648     37 |  0.000 % |
371.18/371.31	c |    225342 |    8694   269998   945031 | 2147483647   225342     37 |  0.000 % |
375.88/376.05	c |    227206 |    8694   269998   945031 | 2147483647   227206     37 |  0.000 % |
382.38/382.52	c |    229255 |    8694   269998   945031 | 2147483647   229255     37 |  0.000 % |
388.87/389.07	c |    231510 |    8694   269998   945031 | 2147483647   231510     37 |  0.000 % |
389.28/389.40	c |    231612 |    8694   269998   945031 | 2147483647   231612     37 |  0.000 % |
389.57/389.72	c |    231722 |    8694   269998   945031 | 2147483647   231722     37 |  0.000 % |
389.97/390.16	c |    231844 |    8694   269998   945031 | 2147483647   231844     37 |  0.000 % |
390.28/390.41	c |    231977 |    8694   269998   945031 | 2147483647   231977     37 |  0.000 % |
390.77/390.90	c |    232125 |    8694   269998   945031 | 2147483647   232125     37 |  0.000 % |
391.27/391.44	c |    232285 |    8694   269998   945031 | 2147483647   232285     37 |  0.000 % |
391.57/391.79	c |    232461 |    8694   269998   945031 | 2147483647   232461     37 |  0.000 % |
392.27/392.43	c |    232654 |    8694   269998   945031 | 2147483647   232654     37 |  0.000 % |
392.48/392.68	c |    232867 |    8694   269998   945031 | 2147483647   232867     37 |  0.000 % |
393.27/393.42	c |    233101 |    8694   269998   945031 | 2147483647   233101     37 |  0.000 % |
394.08/394.28	c |    233359 |    8694   269998   945031 | 2147483647   233359     37 |  0.000 % |
394.98/395.18	c |    233640 |    8694   269998   945031 | 2147483647   233640     37 |  0.000 % |
395.98/396.13	c |    233951 |    8694   269998   945031 | 2147483647   233951     37 |  0.000 % |
396.98/397.12	c |    234292 |    8694   269998   945031 | 2147483647   234292     37 |  0.000 % |
397.98/398.13	c |    234665 |    8694   269998   945031 | 2147483647   234665     37 |  0.000 % |
399.08/399.24	c |    235075 |    8694   269998   945031 | 2147483647   235075     37 |  0.000 % |
400.18/400.37	c |    235524 |    8694   269998   945031 | 2147483647   235524     37 |  0.000 % |
401.48/401.61	c |    236019 |    8694   269998   945031 | 2147483647   236019     37 |  0.000 % |
403.17/403.31	c |    236561 |    8694   269998   945031 | 2147483647   236561     37 |  0.000 % |
405.17/405.39	c |    237158 |    8694   269998   945031 | 2147483647   237158     37 |  0.000 % |
407.07/407.27	c |    237813 |    8694   269998   945031 | 2147483647   237813     37 |  0.000 % |
409.47/409.63	c |    238533 |    8694   269998   945031 | 2147483647   238533     37 |  0.000 % |
411.37/411.57	c |    239325 |    8694   269998   945031 | 2147483647   239325     37 |  0.000 % |
413.87/414.05	c |    240198 |    8694   269998   945031 | 2147483647   240198     37 |  0.000 % |
417.17/417.34	c |    241156 |    8694   269998   945031 | 2147483647   241156     37 |  0.000 % |
420.57/420.71	c |    242209 |    8694   269998   945031 | 2147483647   242209     37 |  0.000 % |
424.37/424.51	c |    243368 |    8694   269998   945031 | 2147483647   243368     37 |  0.000 % |
428.27/428.48	c |    244641 |    8694   269998   945031 | 2147483647   244641     37 |  0.000 % |
432.46/432.62	c |    246041 |    8694   269998   945031 | 2147483647   246041     37 |  0.000 % |
437.56/437.71	c |    247583 |    8694   269998   945031 | 2147483647   247583     37 |  0.000 % |
441.76/441.93	c |    249279 |    8694   269998   945031 | 2147483647   249279     37 |  0.000 % |
447.76/447.96	c |    251142 |    8694   269998   945031 | 2147483647   251142     37 |  0.000 % |
453.26/453.48	c |    253192 |    8694   269998   945031 | 2147483647   253192     37 |  0.000 % |
459.16/459.39	c |    255447 |    8694   269998   945031 | 2147483647   255447     37 |  0.000 % |
466.65/466.85	c |    257926 |    8694   269998   945031 | 2147483647   257926     37 |  0.000 % |
467.05/467.27	c |    258026 |    8694   269998   945031 | 2147483647   258026     37 |  0.000 % |
467.26/467.48	c |    258136 |    8694   269998   945031 | 2147483647   258136     37 |  0.000 % |
467.65/467.82	c |    258257 |    8694   269998   945031 | 2147483647   258257     37 |  0.000 % |
467.95/468.19	c |    258391 |    8694   269998   945031 | 2147483647   258391     37 |  0.000 % |
468.36/468.53	c |    258539 |    8694   269998   945031 | 2147483647   258539     37 |  0.000 % |
468.85/469.00	c |    258703 |    8694   269998   945031 | 2147483647   258703     37 |  0.000 % |
469.25/469.44	c |    258881 |    8694   269998   945031 | 2147483647   258881     37 |  0.000 % |
469.75/469.90	c |    259074 |    8694   269998   945031 | 2147483647   259074     37 |  0.000 % |
470.15/470.33	c |    259286 |    8694   269998   945031 | 2147483647   259286     37 |  0.000 % |
470.95/471.14	c |    259520 |    8694   269998   945031 | 2147483647   259520     37 |  0.000 % |
471.45/471.66	c |    259777 |    8694   269998   945031 | 2147483647   259777     37 |  0.000 % |
472.15/472.37	c |    260058 |    8694   269998   945031 | 2147483647   260058     37 |  0.000 % |
472.75/472.94	c |    260367 |    8694   269998   945031 | 2147483647   260367     37 |  0.000 % |
473.85/474.08	c |    260706 |    8694   269998   945031 | 2147483647   260706     37 |  0.000 % |
475.15/475.38	c |    261079 |    8694   269998   945031 | 2147483647   261079     37 |  0.000 % |
475.95/476.10	c |    261490 |    8694   269998   945031 | 2147483647   261490     37 |  0.000 % |
477.05/477.21	c |    261940 |    8694   269998   945031 | 2147483647   261940     37 |  0.000 % |
478.35/478.57	c |    262433 |    8694   269998   945031 | 2147483647   262433     37 |  0.000 % |
480.35/480.53	c |    262975 |    8694   269998   945031 | 2147483647   262975     37 |  0.000 % |
482.05/482.26	c |    263572 |    8694   269998   945031 | 2147483647   263572     37 |  0.000 % |
483.25/483.49	c |    264227 |    8694   269998   945031 | 2147483647   264227     37 |  0.000 % |
485.74/485.90	c |    264949 |    8694   269998   945031 | 2147483647   264949     37 |  0.000 % |
487.55/487.75	c |    265741 |    8694   269998   945031 | 2147483647   265741     37 |  0.000 % |
490.24/490.45	c |    266612 |    8694   269998   945031 | 2147483647   266612     37 |  0.000 % |
492.95/493.14	c |    267570 |    8694   269998   945031 | 2147483647   267570     37 |  0.000 % |
496.35/496.51	c |    268623 |    8694   269998   945031 | 2147483647   268623     37 |  0.000 % |
500.25/500.42	c |    269781 |    8694   269998   945031 | 2147483647   269781     37 |  0.000 % |
503.65/503.89	c |    271054 |    8694   269998   945031 | 2147483647   271054     37 |  0.000 % |
508.05/508.23	c |    272456 |    8694   269998   945031 | 2147483647   272456     37 |  0.000 % |
513.84/514.06	c |    273997 |    8694   269998   945031 | 2147483647   273997     37 |  0.000 % |
519.14/519.38	c |    275693 |    8694   269998   945031 | 2147483647   275693     37 |  0.000 % |
523.63/523.86	c |    277557 |    8694   269998   945031 | 2147483647   277557     38 |  0.000 % |
529.95/530.17	c |    279606 |    8694   269998   945031 | 2147483647   279606     38 |  0.000 % |
535.64/535.82	c |    281859 |    8694   269998   945031 | 2147483647   281859     38 |  0.000 % |
542.33/542.55	c |    284337 |    8694   269998   945031 | 2147483647   284337     38 |  0.000 % |
550.73/550.93	c |    287062 |    8694   269998   945031 | 2147483647   287062     38 |  0.000 % |
550.84/551.06	c |    287163 |    8694   269998   945031 | 2147483647   287163     38 |  0.000 % |
551.23/551.46	c |    287274 |    8694   269998   945031 | 2147483647   287274     38 |  0.000 % |
551.73/551.98	c |    287395 |    8694   269998   945031 | 2147483647   287395     38 |  0.000 % |
552.13/552.39	c |    287528 |    8694   269998   945031 | 2147483647   287528     38 |  0.000 % |
552.73/552.97	c |    287674 |    8694   269998   945031 | 2147483647   287674     38 |  0.000 % |
553.23/553.48	c |    287835 |    8694   269998   945031 | 2147483647   287835     38 |  0.000 % |
553.73/553.92	c |    288011 |    8694   269998   945031 | 2147483647   288011     38 |  0.000 % |
554.43/554.67	c |    288204 |    8694   269998   945031 | 2147483647   288204     38 |  0.000 % |
555.43/555.67	c |    288418 |    8694   269998   945031 | 2147483647   288418     38 |  0.000 % |
556.43/556.65	c |    288651 |    8694   269998   945031 | 2147483647   288651     38 |  0.000 % |
557.13/557.32	c |    288907 |    8694   269998   945031 | 2147483647   288907     38 |  0.000 % |
558.23/558.40	c |    289190 |    8694   269998   945031 | 2147483647   289190     38 |  0.000 % |
559.43/559.61	c |    289499 |    8694   269998   945031 | 2147483647   289499     38 |  0.000 % |
560.43/560.60	c |    289838 |    8694   269998   945031 | 2147483647   289838     38 |  0.000 % |
561.62/561.85	c |    290212 |    8694   269998   945031 | 2147483647   290212     38 |  0.000 % |
562.93/563.10	c |    290622 |    8694   269998   945031 | 2147483647   290622     38 |  0.000 % |
563.92/564.10	c |    291071 |    8694   269998   945031 | 2147483647   291071     38 |  0.000 % |
565.42/565.64	c |    291564 |    8694   269998   945031 | 2147483647   291564     38 |  0.000 % |
566.92/567.14	c |    292106 |    8694   269998   945031 | 2147483647   292106     38 |  0.000 % |
569.12/569.34	c |    292703 |    8694   269998   945031 | 2147483647   292703     38 |  0.000 % |
570.82/571.07	c |    293359 |    8694   269998   945031 | 2147483647   293359     38 |  0.000 % |
572.62/572.87	c |    294080 |    8694   269998   945031 | 2147483647   294080     38 |  0.000 % |
574.82/575.01	c |    294872 |    8694   269998   945031 | 2147483647   294872     38 |  0.000 % |
577.12/577.35	c |    295743 |    8694   269998   945031 | 2147483647   295743     38 |  0.000 % |
580.13/580.34	c |    296701 |    8694   269998   945031 | 2147483647   296701     38 |  0.000 % |
583.73/584.00	c |    297754 |    8694   269998   945031 | 2147483647   297754     38 |  0.000 % |
587.92/588.11	c |    298914 |    8694   269998   945031 | 2147483647   298914     38 |  0.000 % |
591.53/591.73	c |    300188 |    8694   269998   945031 | 2147483647   300188     38 |  0.000 % |
595.02/595.25	c |    301589 |    8694   269998   945031 | 2147483647   301589     38 |  0.000 % |
599.92/600.13	c |    303130 |    8694   269998   945031 | 2147483647   303130     38 |  0.000 % |
605.72/605.97	c |    304825 |    8694   269998   945031 | 2147483647   304825     38 |  0.000 % |
610.91/611.11	c |    306689 |    8694   269998   945031 | 2147483647   306689     38 |  0.000 % |
616.71/616.94	c |    308740 |    8694   269998   945031 | 2147483647   308740     38 |  0.000 % |
624.11/624.34	c |    310993 |    8694   269998   945031 | 2147483647   310993     38 |  0.000 % |
632.51/632.77	c |    313472 |    8694   269998   945031 | 2147483647   313472     38 |  0.000 % |
642.11/642.37	c |    316198 |    8694   269998   945031 | 2147483647   316198     38 |  0.000 % |
650.50/650.71	c |    319195 |    8694   269998   945031 | 2147483647   319195     38 |  0.000 % |
650.91/651.14	c |    319298 |    8694   269998   945031 | 2147483647   319298     38 |  0.000 % |
651.40/651.61	c |    319408 |    8694   269998   945031 | 2147483647   319408     38 |  0.000 % |
651.70/651.92	c |    319529 |    8694   269998   945031 | 2147483647   319529     38 |  0.000 % |
652.20/652.45	c |    319662 |    8694   269998   945031 | 2147483647   319662     38 |  0.000 % |
652.90/653.12	c |    319808 |    8694   269998   945031 | 2147483647   319808     38 |  0.000 % |
653.40/653.69	c |    319968 |    8694   269998   945031 | 2147483647   319968     38 |  0.000 % |
654.50/654.77	c |    320146 |    8694   269998   945031 | 2147483647   320146     38 |  0.000 % |
655.10/655.39	c |    320339 |    8694   269998   945031 | 2147483647   320339     38 |  0.000 % |
656.00/656.25	c |    320551 |    8694   269998   945031 | 2147483647   320551     38 |  0.000 % |
656.50/656.70	c |    320784 |    8694   269998   945031 | 2147483647   320784     38 |  0.000 % |
657.20/657.49	c |    321041 |    8694   269998   945031 | 2147483647   321041     38 |  0.000 % |
657.70/657.98	c |    321324 |    8694   269998   945031 | 2147483647   321324     38 |  0.000 % |
658.60/658.87	c |    321634 |    8694   269998   945031 | 2147483647   321634     38 |  0.000 % |
659.50/659.75	c |    321973 |    8694   269998   945031 | 2147483647   321973     38 |  0.000 % |
660.50/660.74	c |    322345 |    8694   269998   945031 | 2147483647   322345     38 |  0.000 % |
661.20/661.46	c |    322756 |    8694   269998   945031 | 2147483647   322756     38 |  0.000 % |
661.91/662.11	c |    323205 |    8694   269998   945031 | 2147483647   323205     38 |  0.000 % |
663.60/663.84	c |    323698 |    8694   269998   945031 | 2147483647   323698     38 |  0.000 % |
665.31/665.50	c |    324242 |    8694   269998   945031 | 2147483647   324242     38 |  0.000 % |
667.30/667.58	c |    324838 |    8694   269998   945031 | 2147483647   324838     38 |  0.000 % |
669.71/669.97	c |    325494 |    8694   269998   945031 | 2147483647   325494     38 |  0.000 % |
671.50/671.74	c |    326215 |    8694   269998   945031 | 2147483647   326215     38 |  0.000 % |
673.80/674.07	c |    327008 |    8694   269998   945031 | 2147483647   327008     38 |  0.000 % |
676.70/676.99	c |    327879 |    8694   269998   945031 | 2147483647   327879     38 |  0.000 % |
679.50/679.77	c |    328838 |    8694   269998   945031 | 2147483647   328838     38 |  0.000 % |
683.00/683.30	c |    329893 |    8694   269998   945031 | 2147483647   329893     38 |  0.000 % |
686.20/686.45	c |    331051 |    8694   269998   945031 | 2147483647   331051     38 |  0.000 % |
689.30/689.55	c |    332324 |    8694   269998   945031 | 2147483647   332324     38 |  0.000 % |
694.09/694.31	c |    333726 |    8694   269998   945031 | 2147483647   333726     38 |  0.000 % |
699.30/699.52	c |    335266 |    8694   269998   945031 | 2147483647   335266     38 |  0.000 % |
707.99/708.26	c |    336960 |    8694   269998   945031 | 2147483647   336960     38 |  0.000 % |
712.29/712.53	c |    338823 |    8694   269998   945031 | 2147483647   338823     38 |  0.000 % |
717.29/717.59	c |    340873 |    8694   269998   945031 | 2147483647   340873     38 |  0.000 % |
721.89/722.15	c |    343126 |    8694   269998   945031 | 2147483647   343126     38 |  0.000 % |
730.19/730.47	c |    345605 |    8694   269998   945031 | 2147483647   345605     38 |  0.000 % |
739.18/739.41	c |    348330 |    8694   269998   945031 | 2147483647   348330     38 |  0.000 % |
749.08/749.39	c |    351330 |    8694   269998   945031 | 2147483647   351330     38 |  0.000 % |
761.87/762.12	c |    354627 |    8694   269998   945031 | 2147483647   354627     38 |  0.000 % |
762.17/762.41	c |    354731 |    8694   269998   945031 | 2147483647   354731     38 |  0.000 % |
762.57/762.85	c |    354841 |    8694   269998   945031 | 2147483647   354841     38 |  0.000 % |
762.97/763.27	c |    354963 |    8694   269998   945031 | 2147483647   354963     38 |  0.000 % |
763.47/763.75	c |    355099 |    8694   269998   945031 | 2147483647   355099     38 |  0.000 % |
763.87/764.16	c |    355246 |    8694   269998   945031 | 2147483647   355246     38 |  0.000 % |
764.57/764.81	c |    355406 |    8694   269998   945031 | 2147483647   355406     38 |  0.000 % |
764.97/765.27	c |    355582 |    8694   269998   945031 | 2147483647   355582     38 |  0.000 % |
765.57/765.87	c |    355775 |    8694   269998   945031 | 2147483647   355775     38 |  0.000 % |
766.77/767.03	c |    355988 |    8694   269998   945031 | 2147483647   355988     38 |  0.000 % |
767.57/767.83	c |    356223 |    8694   269998   945031 | 2147483647   356223     38 |  0.000 % |
768.57/768.83	c |    356479 |    8694   269998   945031 | 2147483647   356479     38 |  0.000 % |
769.57/769.82	c |    356760 |    8694   269998   945031 | 2147483647   356760     38 |  0.000 % |
770.87/771.13	c |    357069 |    8694   269998   945031 | 2147483647   357069     38 |  0.000 % |
771.87/772.15	c |    357408 |    8694   269998   945031 | 2147483647   357408     38 |  0.000 % |
773.37/773.65	c |    357782 |    8694   269998   945031 | 2147483647   357782     38 |  0.000 % |
775.07/775.39	c |    358191 |    8694   269998   945031 | 2147483647   358191     38 |  0.000 % |
776.97/777.26	c |    358641 |    8694   269998   945031 | 2147483647   358641     38 |  0.000 % |
778.47/778.74	c |    359135 |    8694   269998   945031 | 2147483647   359135     38 |  0.000 % |
780.56/780.83	c |    359677 |    8694   269998   945031 | 2147483647   359677     38 |  0.000 % |
782.87/783.20	c |    360274 |    8694   269998   945031 | 2147483647   360274     38 |  0.000 % |
785.07/785.33	c |    360930 |    8694   269998   945031 | 2147483647   360930     38 |  0.000 % |
787.96/788.22	c |    361650 |    8694   269998   945031 | 2147483647   361650     38 |  0.000 % |
790.67/790.98	c |    362442 |    8694   269998   945031 | 2147483647   362442     38 |  0.000 % |
793.27/793.53	c |    363314 |    8694   269998   945031 | 2147483647   363314     38 |  0.000 % |
795.87/796.19	c |    364272 |    8694   269998   945031 | 2147483647   364272     38 |  0.000 % |
799.37/799.67	c |    365328 |    8694   269998   945031 | 2147483647   365328     38 |  0.000 % |
802.36/802.67	c |    366489 |    8694   269998   945031 | 2147483647   366489     38 |  0.000 % |
808.66/808.93	c |    367762 |    8694   269998   945031 | 2147483647   367762     38 |  0.000 % |
812.36/812.66	c |    369164 |    8694   269998   945031 | 2147483647   369164     38 |  0.000 % |
816.76/817.00	c |    370704 |    8694   269998   945031 | 2147483647   370704     38 |  0.000 % |
822.15/822.41	c |    372399 |    8694   269998   945031 | 2147483647   372399     38 |  0.000 % |
826.86/827.17	c |    374262 |    8694   269998   945031 | 2147483647   374262     38 |  0.000 % |
832.65/832.99	c |    376311 |    8694   269998   945031 | 2147483647   376311     38 |  0.000 % |
839.45/839.77	c |    378564 |    8694   269998   945031 | 2147483647   378564     38 |  0.000 % |
845.75/846.07	c |    381042 |    8694   269998   945031 | 2147483647   381042     38 |  0.000 % |
855.55/855.89	c |    383769 |    8694   269998   945031 | 2147483647   383769     38 |  0.000 % |
864.45/864.70	c |    386767 |    8694   269998   945031 | 2147483647   386767     38 |  0.000 % |
877.15/877.44	c |    390065 |    8694   269998   945031 | 2147483647   390065     38 |  0.000 % |
890.14/890.47	c |    393691 |    8694   269998   945031 | 2147483647   393691     38 |  0.000 % |
890.44/890.75	c |    393792 |    8694   269998   945031 | 2147483647   393792     38 |  0.000 % |
890.94/891.28	c |    393903 |    8694   269998   945031 | 2147483647   393903     38 |  0.000 % |
891.44/891.72	c |    394024 |    8694   269998   945031 | 2147483647   394024     38 |  0.000 % |
891.94/892.28	c |    394157 |    8694   269998   945031 | 2147483647   394157     38 |  0.000 % |
892.34/892.69	c |    394303 |    8694   269998   945031 | 2147483647   394303     38 |  0.000 % |
893.04/893.34	c |    394463 |    8694   269998   945031 | 2147483647   394463     38 |  0.000 % |
893.44/893.77	c |    394640 |    8694   269998   945031 | 2147483647   394640     38 |  0.000 % |
894.44/894.73	c |    394833 |    8694   269998   945031 | 2147483647   394833     38 |  0.000 % |
894.94/895.23	c |    395047 |    8694   269998   945031 | 2147483647   395047     38 |  0.000 % |
895.84/896.11	c |    395280 |    8694   269998   945031 | 2147483647   395280     38 |  0.000 % |
896.74/897.05	c |    395538 |    8694   269998   945031 | 2147483647   395538     38 |  0.000 % |
897.54/897.80	c |    395820 |    8694   269998   945031 | 2147483647   395820     38 |  0.000 % |
898.64/898.97	c |    396129 |    8694   269998   945031 | 2147483647   396129     38 |  0.000 % |
899.74/900.06	c |    396468 |    8694   269998   945031 | 2147483647   396468     38 |  0.000 % |
901.04/901.35	c |    396841 |    8694   269998   945031 | 2147483647   396841     38 |  0.000 % |
902.14/902.43	c |    397250 |    8694   269998   945031 | 2147483647   397250     38 |  0.000 % |
904.14/904.42	c |    397701 |    8694   269998   945031 | 2147483647   397701     38 |  0.000 % |
907.33/907.68	c |    398197 |    8694   269998   945031 | 2147483647   398197     38 |  0.000 % |
909.34/909.62	c |    398740 |    8694   269998   945031 | 2147483647   398740     38 |  0.000 % |
911.43/911.75	c |    399336 |    8694   269998   945031 | 2147483647   399336     38 |  0.000 % |
913.53/913.90	c |    399992 |    8694   269998   945031 | 2147483647   399992     38 |  0.000 % |
917.43/917.70	c |    400714 |    8694   269998   945031 | 2147483647   400714     38 |  0.000 % |
920.63/920.92	c |    401506 |    8694   269998   945031 | 2147483647   401506     38 |  0.000 % |
923.33/923.60	c |    402377 |    8694   269998   945031 | 2147483647   402377     38 |  0.000 % |
927.93/928.21	c |    403337 |    8694   269998   945031 | 2147483647   403337     38 |  0.000 % |
932.93/933.21	c |    404392 |    8694   269998   945031 | 2147483647   404392     38 |  0.000 % |
937.12/937.43	c |    405551 |    8694   269998   945031 | 2147483647   405551     38 |  0.000 % |
940.52/940.86	c |    406824 |    8694   269998   945031 | 2147483647   406824     39 |  0.000 % |
947.32/947.68	c |    408225 |    8694   269998   945031 | 2147483647   408225     39 |  0.000 % |
955.22/955.51	c |    409765 |    8694   269998   945031 | 2147483647   409765     39 |  0.000 % |
961.31/961.62	c |    411461 |    8694   269998   945031 |   410002   366371     38 |  0.000 % |
967.91/968.23	c |    413325 |    8694   269998   945031 |   410002   368235     38 |  0.000 % |
974.91/975.27	c |    415375 |    8694   269998   945031 |   410002   370285     38 |  0.000 % |
982.41/982.70	c |    417629 |    8694   269998   945031 |   410002   372539     38 |  0.000 % |
990.41/990.75	c |    420107 |    8694   269998   945031 |   374910   375017     38 |  0.000 % |
1000.90/1001.25	c |    422832 |    8694   269998   945031 |   374910   337425     38 |  0.000 % |
1012.60/1012.98	c |    425830 |    8694   269998   945031 |   374910   340423     38 |  0.000 % |
1025.61/1025.96	c |    429127 |    8694   269998   945031 |   374910   343720     38 |  0.000 % |
1039.21/1039.54	c |    432754 |    8694   269998   945031 | 2147483647   347347     38 |  0.000 % |
1051.80/1052.19	c |    436744 |    8694   269998   945031 | 2147483647   351337     38 |  0.000 % |
1052.20/1052.52	c |    436845 |    8694   269998   945031 | 2147483647   351438     38 |  0.000 % |
1052.70/1053.06	c |    436957 |    8694   269998   945031 | 2147483647   351550     38 |  0.000 % |
1053.20/1053.57	c |    437078 |    8694   269998   945031 | 2147483647   351671     38 |  0.000 % |
1053.60/1053.97	c |    437211 |    8694   269998   945031 | 2147483647   351804     38 |  0.000 % |
1054.30/1054.64	c |    437357 |    8694   269998   945031 | 2147483647   351950     38 |  0.000 % |
1054.90/1055.26	c |    437517 |    8694   269998   945031 | 2147483647   352110     38 |  0.000 % |
1055.30/1055.64	c |    437693 |    8694   269998   945031 | 2147483647   352286     38 |  0.000 % |
1055.70/1056.05	c |    437886 |    8694   269998   945031 | 2147483647   352479     38 |  0.000 % |
1056.70/1057.03	c |    438098 |    8694   269998   945031 | 2147483647   352691     38 |  0.000 % |
1056.99/1057.38	c |    438331 |    8694   269998   945031 | 2147483647   352924     38 |  0.000 % |
1057.90/1058.22	c |    438589 |    8694   269998   945031 | 2147483647   353182     38 |  0.000 % |
1058.79/1059.19	c |    438873 |    8694   269998   945031 | 2147483647   353466     38 |  0.000 % |
1059.89/1060.23	c |    439182 |    8694   269998   945031 | 2147483647   353775     38 |  0.000 % |
1061.10/1061.45	c |    439521 |    8694   269998   945031 | 2147483647   354114     38 |  0.000 % |
1061.69/1062.04	c |    439896 |    8694   269998   945031 | 2147483647   354489     38 |  0.000 % |
1062.39/1062.72	c |    440306 |    8694   269998   945031 | 2147483647   354899     38 |  0.000 % |
1064.19/1064.55	c |    440755 |    8694   269998   945031 | 2147483647   355348     38 |  0.000 % |
1065.89/1066.26	c |    441250 |    8694   269998   945031 | 2147483647   355843     38 |  0.000 % |
1066.89/1067.26	c |    441792 |    8694   269998   945031 | 2147483647   356385     38 |  0.000 % |
1068.69/1069.07	c |    442389 |    8694   269998   945031 | 2147483647   356982     38 |  0.000 % |
1071.29/1071.60	c |    443044 |    8694   269998   945031 | 2147483647   357637     38 |  0.000 % |
1074.19/1074.57	c |    443764 |    8694   269998   945031 | 2147483647   358357     38 |  0.000 % |
1076.49/1076.86	c |    444556 |    8694   269998   945031 | 2147483647   359149     38 |  0.000 % |
1079.99/1080.30	c |    445427 |    8694   269998   945031 | 2147483647   360020     38 |  0.000 % |
1084.19/1084.50	c |    446386 |    8694   269998   945031 | 2147483647   360979     38 |  0.000 % |
1088.69/1089.09	c |    447441 |    8694   269998   945031 | 2147483647   362034     38 |  0.000 % |
1092.48/1092.84	c |    448600 |    8694   269998   945031 | 2147483647   363193     38 |  0.000 % |
1096.98/1097.38	c |    449873 |    8694   269998   945031 | 2147483647   364466     38 |  0.000 % |
1102.98/1103.38	c |    451274 |    8694   269998   945031 | 2147483647   365867     38 |  0.000 % |
1107.38/1107.78	c |    452814 |    8694   269998   945031 | 2147483647   367407     38 |  0.000 % |
1112.48/1112.89	c |    454510 |    8694   269998   945031 | 2147483647   369103     38 |  0.000 % |
1118.67/1119.07	c |    456376 |    8694   269998   945031 | 2147483647   370969     38 |  0.000 % |
1125.47/1125.81	c |    458426 |    8694   269998   945031 | 2147483647   373019     38 |  0.000 % |
1132.97/1133.34	c |    460679 |    8694   269998   945031 |   374593   332009     38 |  0.000 % |
1139.77/1140.15	c |    463158 |    8694   269998   945031 |   374593   334488     38 |  0.000 % |
1149.47/1149.89	c |    465883 |    8694   269998   945031 |   374593   337213     38 |  0.000 % |
1158.46/1158.85	c |    468881 |    8694   269998   945031 |   374593   340211     38 |  0.000 % |
1169.16/1169.51	c |    472178 |    8694   269998   945031 |   341331   303731     38 |  0.000 % |
1184.06/1184.40	c |    475803 |    8694   269998   945031 |   341331   307356     38 |  0.000 % |
1198.25/1198.61	c |    479790 |    8694   269998   945031 |   341331   311343     38 |  0.000 % |

Verifier Data

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

Watcher Data

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17633
/proc/meminfo: memFree=1815144/2055920 swapFree=4179964/4192956
[pid=17633] ppid=17631 vsize=5356 CPUtime=0
/proc/17633/stat : 17633 (SatELiteGTI) S 17631 17633 17347 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310915694 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17633/statm: 1339 237 197 169 0 50 0

[startup+0.0392691 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17633
/proc/meminfo: memFree=1815144/2055920 swapFree=4179964/4192956
[pid=17633] ppid=17631 vsize=5356 CPUtime=0
/proc/17633/stat : 17633 (SatELiteGTI) S 17631 17633 17347 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310915694 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17633/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.102272 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17633
/proc/meminfo: memFree=1815144/2055920 swapFree=4179964/4192956
[pid=17633] ppid=17631 vsize=5356 CPUtime=0
/proc/17633/stat : 17633 (SatELiteGTI) S 17631 17633 17347 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310915694 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17633/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.302285 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17633
/proc/meminfo: memFree=1815144/2055920 swapFree=4179964/4192956
[pid=17633] ppid=17631 vsize=5356 CPUtime=0
/proc/17633/stat : 17633 (SatELiteGTI) S 17631 17633 17347 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310915694 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17633/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.702317 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17633
/proc/meminfo: memFree=1815144/2055920 swapFree=4179964/4192956
[pid=17633] ppid=17631 vsize=5356 CPUtime=0
/proc/17633/stat : 17633 (SatELiteGTI) S 17631 17633 17347 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310915694 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17633/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50136 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17638
/proc/meminfo: memFree=1788184/2055920 swapFree=4179964/4192956
[pid=17633] ppid=17631 vsize=5356 CPUtime=0
/proc/17633/stat : 17633 (SatELiteGTI) S 17631 17633 17347 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310915694 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17633/statm: 1339 237 197 169 0 50 0
[pid=17637] ppid=17633 vsize=29840 CPUtime=1.49
/proc/17637/stat : 17637 (SatELite_releas) R 17633 17633 17347 0 -1 4194304 6492 0 0 0 144 5 0 0 25 0 1 0 310915695 30556160 6478 1992294400 134512640 135223648 4294956128 18446744073709551615 134585544 0 0 4096 3 0 0 0 17 1 0 0
/proc/17637/statm: 7460 6478 76 173 0 7285 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35196

[startup+3.10148 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17638
/proc/meminfo: memFree=1785560/2055920 swapFree=4179964/4192956
[pid=17633] ppid=17631 vsize=5356 CPUtime=2.14
/proc/17633/stat : 17633 (SatELiteGTI) S 17631 17633 17347 0 -1 4194304 336 6744 0 0 0 0 207 7 16 0 1 0 310915694 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17633/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 5356
heavy processes:

[startup+6.30167 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17639
/proc/meminfo: memFree=1792088/2055920 swapFree=4179964/4192956
[pid=17633] ppid=17631 vsize=5356 CPUtime=2.14
/proc/17633/stat : 17633 (SatELiteGTI) S 17631 17633 17347 0 -1 4194304 336 6744 0 0 0 0 207 7 16 0 1 0 310915694 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17633/statm: 1339 239 197 169 0 50 0
[pid=17639] ppid=17633 vsize=16604 CPUtime=4.14
/proc/17639/stat : 17639 (minisat_static) R 17633 17633 17347 0 -1 4194304 4013 0 0 0 412 2 0 0 25 0 1 0 310915909 17002496 3999 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/17639/statm: 4151 3999 76 171 0 3978 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 21960

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17639
/proc/meminfo: memFree=1790808/2055920 swapFree=4179964/4192956
[pid=17633] ppid=17631 vsize=5356 CPUtime=2.14
/proc/17633/stat : 17633 (SatELiteGTI) S 17631 17633 17347 0 -1 4194304 336 6744 0 0 0 0 207 7 16 0 1 0 310915694 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17633/statm: 1339 239 197 169 0 50 0
[pid=17639] ppid=17633 vsize=17944 CPUtime=10.53
/proc/17639/stat : 17639 (minisat_static) R 17633 17633 17347 0 -1 4194304 4334 0 0 0 1051 2 0 0 25 0 1 0 310915909 18374656 4320 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17639/statm: 4486 4320 76 171 0 4313 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 23300

[startup+25.5029 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17639
/proc/meminfo: memFree=1788824/2055920 swapFree=4179964/4192956
[pid=17633] ppid=17631 vsize=5356 CPUtime=2.14
/proc/17633/stat : 17633 (SatELiteGTI) S 17631 17633 17347 0 -1 4194304 336 6744 0 0 0 0 207 7 16 0 1 0 310915694 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17633/statm: 1339 239 197 169 0 50 0
[pid=17639] ppid=17633 vsize=20060 CPUtime=23.33
/proc/17639/stat : 17639 (minisat_static) R 17633 17633 17347 0 -1 4194304 4865 0 0 0 2330 3 0 0 25 0 1 0 310915909 20541440 4851 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/17639/statm: 5015 4851 76 171 0 4842 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 25416

[startup+51.1026 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17639
/proc/meminfo: memFree=1784984/2055920 swapFree=4179964/4192956
[pid=17633] ppid=17631 vsize=5356 CPUtime=2.14
/proc/17633/stat : 17633 (SatELiteGTI) S 17631 17633 17347 0 -1 4194304 336 6744 0 0 0 0 207 7 16 0 1 0 310915694 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17633/statm: 1339 239 197 169 0 50 0
[pid=17639] ppid=17633 vsize=24000 CPUtime=48.93
/proc/17639/stat : 17639 (minisat_static) R 17633 17633 17347 0 -1 4194304 5836 0 0 0 4888 5 0 0 25 0 1 0 310915909 24576000 5822 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17639/statm: 6000 5822 76 171 0 5827 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 29356

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17639
/proc/meminfo: memFree=1778136/2055920 swapFree=4179964/4192956
[pid=17633] ppid=17631 vsize=5356 CPUtime=2.14
/proc/17633/stat : 17633 (SatELiteGTI) S 17631 17633 17347 0 -1 4194304 336 6744 0 0 0 0 207 7 16 0 1 0 310915694 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17633/statm: 1339 239 197 169 0 50 0
[pid=17639] ppid=17633 vsize=30732 CPUtime=100.12
/proc/17639/stat : 17639 (minisat_static) R 17633 17633 17347 0 -1 4194304 7532 0 0 0 10004 8 0 0 25 0 1 0 310915909 31469568 7518 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17639/statm: 7683 7518 76 171 0 7510 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 36088

[startup+162.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17639
/proc/meminfo: memFree=1770328/2055920 swapFree=4179964/4192956
[pid=17633] ppid=17631 vsize=5356 CPUtime=2.14
/proc/17633/stat : 17633 (SatELiteGTI) S 17631 17633 17347 0 -1 4194304 336 6744 0 0 0 0 207 7 16 0 1 0 310915694 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17633/statm: 1339 239 197 169 0 50 0
[pid=17639] ppid=17633 vsize=38576 CPUtime=160.1
/proc/17639/stat : 17639 (minisat_static) R 17633 17633 17347 0 -1 4194304 9486 0 0 0 15999 11 0 0 25 0 1 0 310915909 39501824 9472 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17639/statm: 9644 9472 76 171 0 9471 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 43932

[startup+222.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17639
/proc/meminfo: memFree=1763736/2055920 swapFree=4179964/4192956
[pid=17633] ppid=17631 vsize=5356 CPUtime=2.14
/proc/17633/stat : 17633 (SatELiteGTI) S 17631 17633 17347 0 -1 4194304 336 6744 0 0 0 0 207 7 16 0 1 0 310915694 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17633/statm: 1339 239 197 169 0 50 0
[pid=17639] ppid=17633 vsize=45188 CPUtime=220.08
/proc/17639/stat : 17639 (minisat_static) R 17633 17633 17347 0 -1 4194304 11103 0 0 0 21995 13 0 0 25 0 1 0 310915909 46272512 11089 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17639/statm: 11297 11089 76 171 0 11124 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 50544

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17639
/proc/meminfo: memFree=1757656/2055920 swapFree=4179964/4192956
[pid=17633] ppid=17631 vsize=5356 CPUtime=2.14
/proc/17633/stat : 17633 (SatELiteGTI) S 17631 17633 17347 0 -1 4194304 336 6744 0 0 0 0 207 7 16 0 1 0 310915694 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17633/statm: 1339 239 197 169 0 50 0
[pid=17639] ppid=17633 vsize=51284 CPUtime=280.07
/proc/17639/stat : 17639 (minisat_static) R 17633 17633 17347 0 -1 4194304 12639 0 0 0 27992 15 0 0 25 0 1 0 310915909 52514816 12625 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17639/statm: 12821 12625 76 171 0 12648 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 56640

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17639
/proc/meminfo: memFree=1752224/2055920 swapFree=4179964/4192956
[pid=17633] ppid=17631 vsize=5356 CPUtime=2.14
/proc/17633/stat : 17633 (SatELiteGTI) S 17631 17633 17347 0 -1 4194304 336 6744 0 0 0 0 207 7 16 0 1 0 310915694 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17633/statm: 1339 239 197 169 0 50 0
[pid=17639] ppid=17633 vsize=56908 CPUtime=340.05
/proc/17639/stat : 17639 (minisat_static) R 17633 17633 17347 0 -1 4194304 13973 0 0 0 33988 17 0 0 25 0 1 0 310915909 58273792 13959 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17639/statm: 14227 13959 76 171 0 14054 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 62264

[startup+402.302 s]
/proc/loadavg: 1.05 1.01 1.00 2/66 17639
/proc/meminfo: memFree=1747808/2055920 swapFree=4179964/4192956
[pid=17633] ppid=17631 vsize=5356 CPUtime=2.14
/proc/17633/stat : 17633 (SatELiteGTI) S 17631 17633 17347 0 -1 4194304 336 6744 0 0 0 0 207 7 16 0 1 0 310915694 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17633/statm: 1339 239 197 169 0 50 0
[pid=17639] ppid=17633 vsize=61172 CPUtime=400.03
/proc/17639/stat : 17639 (minisat_static) R 17633 17633 17347 0 -1 4194304 15065 0 0 0 39985 18 0 0 25 0 1 0 310915909 62640128 15051 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17639/statm: 15293 15051 76 171 0 15120 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 66528

[startup+462.302 s]
/proc/loadavg: 1.02 1.01 1.00 2/66 17639
/proc/meminfo: memFree=1743520/2055920 swapFree=4179964/4192956

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

/proc/17639/statm: 17397 17171 76 171 0 17224 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 74944

[startup+582.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17639
/proc/meminfo: memFree=1735008/2055920 swapFree=4179964/4192956
[pid=17633] ppid=17631 vsize=5356 CPUtime=2.14
/proc/17633/stat : 17633 (SatELiteGTI) S 17631 17633 17347 0 -1 4194304 336 6744 0 0 0 0 207 7 16 0 1 0 310915694 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17633/statm: 1339 239 197 169 0 50 0
[pid=17639] ppid=17633 vsize=73752 CPUtime=579.99
/proc/17639/stat : 17639 (minisat_static) R 17633 17633 17347 0 -1 4194304 18239 0 0 0 57977 22 0 0 25 0 1 0 310915909 75522048 18225 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17639/statm: 18438 18225 76 171 0 18265 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 79108

[startup+642.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17639
/proc/meminfo: memFree=1731232/2055920 swapFree=4179964/4192956
[pid=17633] ppid=17631 vsize=5356 CPUtime=2.14
/proc/17633/stat : 17633 (SatELiteGTI) S 17631 17633 17347 0 -1 4194304 336 6744 0 0 0 0 207 7 16 0 1 0 310915694 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17633/statm: 1339 239 197 169 0 50 0
[pid=17639] ppid=17633 vsize=77968 CPUtime=639.97
/proc/17639/stat : 17639 (minisat_static) R 17633 17633 17347 0 -1 4194304 19170 0 0 0 63974 23 0 0 25 0 1 0 310915909 79839232 19156 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17639/statm: 19492 19156 76 171 0 19319 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 83324

[startup+702.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17639
/proc/meminfo: memFree=1727136/2055920 swapFree=4179964/4192956
[pid=17633] ppid=17631 vsize=5356 CPUtime=2.14
/proc/17633/stat : 17633 (SatELiteGTI) S 17631 17633 17347 0 -1 4194304 336 6744 0 0 0 0 207 7 16 0 1 0 310915694 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17633/statm: 1339 239 197 169 0 50 0
[pid=17639] ppid=17633 vsize=82136 CPUtime=699.95
/proc/17639/stat : 17639 (minisat_static) R 17633 17633 17347 0 -1 4194304 20188 0 0 0 69971 24 0 0 25 0 1 0 310915909 84107264 20174 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17639/statm: 20534 20174 76 171 0 20361 0
Current children cumulated CPU time (s) 702.09
Current children cumulated vsize (KiB) 87492

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17639
/proc/meminfo: memFree=1723552/2055920 swapFree=4179964/4192956
[pid=17633] ppid=17631 vsize=5356 CPUtime=2.14
/proc/17633/stat : 17633 (SatELiteGTI) S 17631 17633 17347 0 -1 4194304 336 6744 0 0 0 0 207 7 16 0 1 0 310915694 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17633/statm: 1339 239 197 169 0 50 0
[pid=17639] ppid=17633 vsize=85568 CPUtime=759.93
/proc/17639/stat : 17639 (minisat_static) R 17633 17633 17347 0 -1 4194304 21075 0 0 0 75968 25 0 0 25 0 1 0 310915909 87621632 21061 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17639/statm: 21392 21061 76 171 0 21219 0
Current children cumulated CPU time (s) 762.07
Current children cumulated vsize (KiB) 90924

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17639
/proc/meminfo: memFree=1719648/2055920 swapFree=4179964/4192956
[pid=17633] ppid=17631 vsize=5356 CPUtime=2.14
/proc/17633/stat : 17633 (SatELiteGTI) S 17631 17633 17347 0 -1 4194304 336 6744 0 0 0 0 207 7 16 0 1 0 310915694 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17633/statm: 1339 239 197 169 0 50 0
[pid=17639] ppid=17633 vsize=89520 CPUtime=819.91
/proc/17639/stat : 17639 (minisat_static) R 17633 17633 17347 0 -1 4194304 22058 0 0 0 81965 26 0 0 25 0 1 0 310915909 91668480 22044 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17639/statm: 22380 22044 76 171 0 22207 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 94876

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17639
/proc/meminfo: memFree=1715552/2055920 swapFree=4179964/4192956
[pid=17633] ppid=17631 vsize=5356 CPUtime=2.14
/proc/17633/stat : 17633 (SatELiteGTI) S 17631 17633 17347 0 -1 4194304 336 6744 0 0 0 0 207 7 16 0 1 0 310915694 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17633/statm: 1339 239 197 169 0 50 0
[pid=17639] ppid=17633 vsize=93460 CPUtime=879.9
/proc/17639/stat : 17639 (minisat_static) R 17633 17633 17347 0 -1 4194304 23068 0 0 0 87962 28 0 0 25 0 1 0 310915909 95703040 23054 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17639/statm: 23365 23054 76 171 0 23192 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 98816

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17639
/proc/meminfo: memFree=1712096/2055920 swapFree=4179964/4192956
[pid=17633] ppid=17631 vsize=5356 CPUtime=2.14
/proc/17633/stat : 17633 (SatELiteGTI) S 17631 17633 17347 0 -1 4194304 336 6744 0 0 0 0 207 7 16 0 1 0 310915694 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17633/statm: 1339 239 197 169 0 50 0
[pid=17639] ppid=17633 vsize=96960 CPUtime=939.88
/proc/17639/stat : 17639 (minisat_static) R 17633 17633 17347 0 -1 4194304 23927 0 0 0 93960 28 0 0 25 0 1 0 310915909 99287040 23913 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/17639/statm: 24240 23913 76 171 0 24067 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 102316

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17639
/proc/meminfo: memFree=1711008/2055920 swapFree=4179964/4192956
[pid=17633] ppid=17631 vsize=5356 CPUtime=2.14
/proc/17633/stat : 17633 (SatELiteGTI) S 17631 17633 17347 0 -1 4194304 336 6744 0 0 0 0 207 7 16 0 1 0 310915694 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17633/statm: 1339 239 197 169 0 50 0
[pid=17639] ppid=17633 vsize=98068 CPUtime=999.86
/proc/17639/stat : 17639 (minisat_static) R 17633 17633 17347 0 -1 4194304 24190 0 0 0 99958 28 0 0 25 0 1 0 310915909 100421632 24176 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/17639/statm: 24517 24176 76 171 0 24344 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 103424

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17639
/proc/meminfo: memFree=1710816/2055920 swapFree=4179964/4192956
[pid=17633] ppid=17631 vsize=5356 CPUtime=2.14
/proc/17633/stat : 17633 (SatELiteGTI) S 17631 17633 17347 0 -1 4194304 336 6744 0 0 0 0 207 7 16 0 1 0 310915694 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17633/statm: 1339 239 197 169 0 50 0
[pid=17639] ppid=17633 vsize=98212 CPUtime=1059.85
/proc/17639/stat : 17639 (minisat_static) R 17633 17633 17347 0 -1 4194304 24223 0 0 0 105956 29 0 0 25 0 1 0 310915909 100569088 24209 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17639/statm: 24553 24209 76 171 0 24380 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 103568

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17639
/proc/meminfo: memFree=1710560/2055920 swapFree=4179964/4192956
[pid=17633] ppid=17631 vsize=5356 CPUtime=2.14
/proc/17633/stat : 17633 (SatELiteGTI) S 17631 17633 17347 0 -1 4194304 336 6744 0 0 0 0 207 7 16 0 1 0 310915694 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17633/statm: 1339 239 197 169 0 50 0
[pid=17639] ppid=17633 vsize=98492 CPUtime=1119.83
/proc/17639/stat : 17639 (minisat_static) R 17633 17633 17347 0 -1 4194304 24285 0 0 0 111954 29 0 0 25 0 1 0 310915909 100855808 24271 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/17639/statm: 24623 24271 76 171 0 24450 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 103848

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17639
/proc/meminfo: memFree=1710496/2055920 swapFree=4179964/4192956
[pid=17633] ppid=17631 vsize=5356 CPUtime=2.14
/proc/17633/stat : 17633 (SatELiteGTI) S 17631 17633 17347 0 -1 4194304 336 6744 0 0 0 0 207 7 16 0 1 0 310915694 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17633/statm: 1339 239 197 169 0 50 0
[pid=17639] ppid=17633 vsize=98492 CPUtime=1179.82
/proc/17639/stat : 17639 (minisat_static) R 17633 17633 17347 0 -1 4194304 24295 0 0 0 117953 29 0 0 25 0 1 0 310915909 100855808 24281 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17639/statm: 24623 24281 76 171 0 24450 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 103848



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17639
/proc/meminfo: memFree=1710368/2055920 swapFree=4179964/4192956
[pid=17633] ppid=17631 vsize=5356 CPUtime=2.14
/proc/17633/stat : 17633 (SatELiteGTI) S 17631 17633 17347 0 -1 4194304 336 6744 0 0 0 0 207 7 16 0 1 0 310915694 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17633/statm: 1339 239 197 169 0 50 0
[pid=17639] ppid=17633 vsize=98492 CPUtime=1197.91
/proc/17639/stat : 17639 (minisat_static) R 17633 17633 17347 0 -1 4194304 24317 0 0 0 119762 29 0 0 25 0 1 0 310915909 100855808 24303 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17639/statm: 24623 24303 76 171 0 24450 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 103848

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17633 and gives
#  childrusage.ru_utime.tv_sec=2
#  childrusage.ru_utime.tv_usec=73684
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=74988
# CPU time returned by wait4() is 2.14867
# while last known CPU time is 1200.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1200.41
CPU time (s): 1200.05
CPU user time (s): 1199.69
CPU system time (s): 0.36
CPU usage (%): 99.9698
Max. virtual memory (cumulated for all children) (KiB): 103848

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

runsolver used 1.40079 second user time and 3.03654 second system time

The end

Launcher Data

Begin job on node22 at 2009-05-20 16:13:41
IDJOB=1834225
IDBENCH=71764
IDSOLVER=671
FILE ID=node22/1834225-1242828821
PBS_JOBID= 9322523
Free space on /tmp= 66400 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= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834225-1242828821/watcher-1834225-1242828821 -o /tmp/evaluation-result-1834225-1242828821/solver-1834225-1242828821 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1834225-1242828821.cnf

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

MD5SUM BENCH= 5da8899feefc5a4bb9db99e983e30f52
RANDOM SEED=334336499

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1815624 kB
Buffers:         53340 kB
Cached:         136808 kB
SwapCached:       7936 kB
Active:         103008 kB
Inactive:        97300 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1815624 kB
SwapTotal:     4192956 kB
SwapFree:      4179964 kB
Dirty:            5024 kB
Writeback:           0 kB
Mapped:          14596 kB
Slab:            26096 kB
Committed_AS:  1149272 kB
PageTables:       1388 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66392 MiB
End job on node22 at 2009-05-20 16:33:44