Trace number 1820656

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.03 1200.03

General information on the benchmark

Nameindustrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq6.cnf
MD5SUM580dc3969c4e46e50013253fd4ac9139
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables209724
Number of clauses3634677
Sum of the clauses size10547961
Maximum clause length169
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 23415202
Number of clauses of size 349840
Number of clauses of size 46998
Number of clauses of size 514973
Number of clauses of size over 5147663

Solver Data

0.00/0.00	c Parsing...
3.11/3.20	c ==============================================================================
3.11/3.20	c |           |     ORIGINAL     |              LEARNT              |          |
3.11/3.20	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
3.11/3.20	c ==============================================================================
3.11/3.20	c |         0 | 3634676 10547960 | 1090402       0        0     nan |  0.000 % |
53.71/53.78	c |         0 | 3532144 10927904 |      --       0       --      -- |     --   | -102383/383223
53.71/53.79	c ==============================================================================
53.71/53.79	c Result  :   #vars: 168000   #clauses: 3532144   #literals: 10927904
53.71/53.79	c CPU time:   53.1 s
53.71/53.79	c ==============================================================================
57.48/57.54	c This is MiniSat 2.0 beta
57.48/57.54	c WARNING: for repeatability, setting FPU to use double precision
57.48/57.54	c ============================[ Problem Statistics ]=============================
57.48/57.54	c |                                                                             |
57.48/57.54	c |  Number of variables:  168000                                               |
57.48/57.54	c |  Number of clauses:    3532144                                              |
59.68/59.76	c |  Parsing time:         1.98         s                                       |
59.88/59.91	c ============================[ Search Statistics ]==============================
59.88/59.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
59.88/59.91	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
59.88/59.91	c ===============================================================================
59.88/59.91	c |         0 |  168000  3532144 10927904 |  1177381        0    nan |  0.000 % |
60.18/60.22	c |       114 |  168000  3532144 10927904 |  1177381      114     76 |  0.000 % |
60.48/60.53	c |       218 |  168000  3532144 10927904 |  1177381      218     69 |  0.000 % |
60.68/60.72	c |       318 |  168000  3532144 10927904 |  1177381      318     55 |  0.000 % |
61.08/61.17	c |       428 |  168000  3532144 10927904 |  1177381      428     49 |  0.000 % |
61.48/61.55	c |       528 |  168000  3532144 10927904 |  1177381      528     48 |  0.000 % |
61.98/62.02	c |       638 |  168000  3532144 10927904 |  1177381      638     45 |  0.000 % |
62.38/62.42	c |       760 |  168000  3532144 10927904 |  1177381      760     49 |  0.000 % |
62.48/62.54	c |       860 |  168000  3532144 10927904 |  1177381      860     49 |  0.000 % |
62.68/62.75	c |       970 |  168000  3532144 10927904 |  1177381      970     46 |  0.000 % |
62.78/62.85	c |      1092 |  168000  3532144 10927904 |  1177381     1092     45 |  0.000 % |
63.48/63.61	c |      1226 |  168000  3532144 10927904 |  1177381     1226     45 |  0.000 % |
63.78/63.86	c |      1327 |  168000  3532144 10927904 |  1177381     1327     47 |  0.000 % |
63.88/63.99	c |      1439 |  168000  3532144 10927904 |  1177381     1439     46 |  0.000 % |
63.98/64.09	c |      1562 |  168000  3532144 10927904 |  1177381     1562     45 |  0.000 % |
64.38/64.48	c |      1699 |  168000  3532144 10927904 |  1177381     1699     44 |  0.000 % |
64.68/64.73	c |      1847 |  168000  3532144 10927904 |  1177381     1847     45 |  0.000 % |
65.08/65.13	c |      1948 |  168000  3532144 10927904 |  1177381     1948     47 |  0.000 % |
65.18/65.28	c |      2059 |  168000  3532144 10927904 |  1177381     2059     47 |  0.000 % |
65.88/65.93	c |      2181 |  168000  3532144 10927904 |  1177381     2181     46 |  0.000 % |
65.98/66.04	c |      2314 |  168000  3532144 10927904 |  1177381     2314     45 |  0.000 % |
66.08/66.13	c |      2461 |  168000  3532144 10927904 |  1177381     2461     44 |  0.000 % |
66.18/66.27	c |      2621 |  168000  3532144 10927904 |  1177381     2621     45 |  0.000 % |
66.38/66.47	c |      2723 |  168000  3532144 10927904 |  1177381     2723     45 |  0.000 % |
66.68/66.73	c |      2833 |  168000  3532144 10927904 |  1177381     2833     47 |  0.000 % |
66.78/66.91	c |      2956 |  168000  3532144 10927904 |  1177381     2956     47 |  0.000 % |
66.98/67.06	c |      3089 |  168000  3532144 10927904 |  1177381     3089     47 |  0.000 % |
67.28/67.32	c |      3235 |  168000  3532144 10927904 |  1177381     3235     46 |  0.000 % |
67.78/67.83	c |      3397 |  168000  3532144 10927904 |  1177381     3397     46 |  0.000 % |
68.28/68.39	c |      3574 |  168000  3532144 10927904 |  1177381     3574     45 |  0.000 % |
68.48/68.60	c |      3676 |  168000  3532144 10927904 |  1177381     3676     45 |  0.000 % |
68.68/68.81	c |      3786 |  168000  3532144 10927904 |  1177381     3786     44 |  0.000 % |
68.88/69.00	c |      3907 |  168000  3532144 10927904 |  1177381     3907     46 |  0.000 % |
69.08/69.14	c |      4044 |  168000  3532144 10927904 |  1177381     4044     46 |  0.000 % |
69.48/69.52	c |      4190 |  168000  3532144 10927904 |  1177381     4190     46 |  0.000 % |
69.58/69.65	c |      4353 |  168000  3532144 10927904 |  1177381     4353     45 |  0.000 % |
69.78/69.88	c |      4532 |  168000  3532144 10927904 |  1177381     4532     45 |  0.000 % |
70.38/70.48	c |      4727 |  168000  3532144 10927904 |  1177381     4727     46 |  0.000 % |
70.58/70.62	c |      4833 |  168000  3532144 10927904 |  1177381     4833     47 |  0.000 % |
70.68/70.71	c |      4944 |  168000  3532144 10927904 |  1177381     4944     47 |  0.000 % |
70.78/70.86	c |      5065 |  168000  3532144 10927904 |  1177381     5065     46 |  0.000 % |
71.18/71.22	c |      5199 |  168000  3532144 10927904 |  1177381     5199     46 |  0.000 % |
71.28/71.34	c |      5348 |  168000  3532144 10927904 |  1177381     5348     46 |  0.000 % |
71.49/71.53	c |      5509 |  168000  3532144 10927904 |  1177381     5509     47 |  0.000 % |
71.68/71.80	c |      5685 |  168000  3532144 10927904 |  1177381     5685     46 |  0.000 % |
72.08/72.18	c |      5878 |  168000  3532144 10927904 |  1177381     5878     46 |  0.000 % |
72.28/72.36	c |      6090 |  168000  3532144 10927904 |  1177381     6090     47 |  0.000 % |
72.59/72.68	c |      6190 |  168000  3532144 10927904 |  1177381     6190     47 |  0.000 % |
72.78/72.88	c |      6301 |  168000  3532144 10927904 |  1177381     6301     47 |  0.000 % |
72.98/73.07	c |      6422 |  168000  3532144 10927904 |  1177381     6422     47 |  0.000 % |
73.08/73.17	c |      6555 |  168000  3532144 10927904 |  1177381     6555     47 |  0.000 % |
73.78/73.82	c |      6701 |  168000  3532144 10927904 |  1177381     6701     47 |  0.000 % |
73.98/74.02	c |      6861 |  168000  3532144 10927904 |  1177381     6861     47 |  0.000 % |
74.08/74.14	c |      7037 |  168000  3532144 10927904 |  1177381     7037     47 |  0.000 % |
74.58/74.66	c |      7232 |  168000  3532144 10927904 |  1177381     7232     47 |  0.000 % |
74.88/74.91	c |      7445 |  168000  3532144 10927904 |  1177381     7445     47 |  0.000 % |
75.28/75.37	c |      7678 |  168000  3532144 10927904 |  1177381     7678     46 |  0.000 % |
75.48/75.55	c |      7779 |  168000  3532144 10927904 |  1177381     7779     46 |  0.000 % |
75.98/76.06	c |      7891 |  168000  3532144 10927904 |  1177381     7891     46 |  0.000 % |
76.08/76.16	c |      8015 |  168000  3532144 10927904 |  1177381     8015     47 |  0.000 % |
76.38/76.43	c |      8148 |  168000  3532144 10927904 |  1177381     8148     47 |  0.000 % |
76.38/76.47	c |      8294 |  168000  3532144 10927904 |  1177381     8294     47 |  0.000 % |
76.68/76.79	c |      8454 |  168000  3532144 10927904 |  1177381     8454     47 |  0.000 % |
77.08/77.19	c |      8630 |  168000  3532144 10927904 |  1177381     8630     48 |  0.000 % |
77.38/77.47	c |      8823 |  168000  3532144 10927904 |  1177381     8823     48 |  0.000 % |
77.68/77.74	c |      9037 |  168000  3532144 10927904 |  1177381     9037     49 |  0.000 % |
77.88/77.95	c |      9273 |  168000  3532144 10927904 |  1177381     9273     48 |  0.000 % |
78.28/78.41	c |      9530 |  168000  3532144 10927904 |  1177381     9530     48 |  0.000 % |
78.68/78.79	c |      9631 |  168000  3532144 10927904 |  1177381     9631     48 |  0.000 % |
78.98/79.10	c |      9741 |  168000  3532144 10927904 |  1177381     9741     48 |  0.000 % |
79.28/79.41	c |      9863 |  168000  3532144 10927904 |  1177381     9863     48 |  0.000 % |
79.58/79.69	c |      9996 |  168000  3532144 10927904 |  1177381     9996     48 |  0.000 % |
80.48/80.54	c |     10142 |  168000  3532144 10927904 | 2147483647    10142     47 |  0.000 % |
80.68/80.80	c |     10302 |  168000  3532144 10927904 | 2147483647    10302     47 |  0.000 % |
80.98/81.09	c |     10478 |  168000  3532144 10927904 | 2147483647    10478     47 |  0.000 % |
81.48/81.53	c |     10677 |  168000  3532144 10927904 | 2147483647    10677     47 |  0.000 % |
81.68/81.75	c |     10891 |  168000  3532144 10927904 | 2147483647    10891     47 |  0.000 % |
82.08/82.15	c |     11125 |  168000  3532144 10927904 | 2147483647    11125     48 |  0.000 % |
82.38/82.43	c |     11384 |  168000  3532144 10927904 | 2147483647    11384     49 |  0.000 % |
82.78/82.83	c |     11665 |  168000  3532144 10927904 | 2147483647    11665     49 |  0.000 % |
82.98/83.07	c |     11767 |  168000  3532144 10927904 | 2147483647    11767     49 |  0.000 % |
83.08/83.19	c |     11880 |  168000  3532144 10927904 | 2147483647    11880     50 |  0.000 % |
83.38/83.44	c |     12003 |  168000  3532144 10927904 | 2147483647    12003     50 |  0.000 % |
83.78/83.86	c |     12136 |  168000  3532144 10927904 | 2147483647    12136     50 |  0.000 % |
83.98/84.02	c |     12286 |  168000  3532144 10927904 | 2147483647    12286     50 |  0.000 % |
84.08/84.21	c |     12447 |  168000  3532144 10927904 | 2147483647    12447     49 |  0.000 % |
84.28/84.34	c |     12625 |  168000  3532144 10927904 | 2147483647    12625     50 |  0.000 % |
84.48/84.52	c |     12818 |  168000  3532144 10927904 | 2147483647    12818     50 |  0.000 % |
84.69/84.73	c |     13030 |  168000  3532144 10927904 | 2147483647    13030     49 |  0.000 % |
84.98/85.07	c |     13266 |  168000  3532144 10927904 | 2147483647    13266     49 |  0.000 % |
85.28/85.35	c |     13522 |  168000  3532144 10927904 | 2147483647    13522     49 |  0.000 % |
85.58/85.64	c |     13803 |  168000  3532144 10927904 | 2147483647    13803     49 |  0.000 % |
85.79/85.86	c |     14112 |  168000  3532144 10927904 | 2147483647    14112     49 |  0.000 % |
85.98/86.08	c |     14212 |  168000  3532144 10927904 | 2147483647    14212     48 |  0.000 % |
86.18/86.24	c |     14322 |  168000  3532144 10927904 | 2147483647    14322     48 |  0.000 % |
86.28/86.34	c |     14443 |  168000  3532144 10927904 | 2147483647    14443     48 |  0.000 % |
86.38/86.46	c |     14576 |  168000  3532144 10927904 | 2147483647    14576     48 |  0.000 % |
86.58/86.67	c |     14722 |  168000  3532144 10927904 | 2147483647    14722     48 |  0.000 % |
86.78/86.87	c |     14882 |  168000  3532144 10927904 | 2147483647    14882     48 |  0.000 % |
86.98/87.01	c |     15059 |  168000  3532144 10927904 | 2147483647    15059     48 |  0.000 % |
87.68/87.71	c |     15252 |  168000  3532144 10927904 | 2147483647    15252     48 |  0.000 % |
87.88/88.02	c |     15466 |  168000  3532144 10927904 | 2147483647    15466     48 |  0.000 % |
88.28/88.33	c |     15701 |  168000  3532144 10927904 | 2147483647    15701     48 |  0.000 % |
88.48/88.52	c |     15957 |  168000  3532144 10927904 | 2147483647    15957     48 |  0.000 % |
89.09/89.16	c |     16238 |  168000  3532144 10927904 | 2147483647    16238     48 |  0.000 % |
89.58/89.66	c |     16548 |  168000  3532144 10927904 | 2147483647    16548     48 |  0.000 % |
90.28/90.37	c |     16888 |  168000  3532144 10927904 | 2147483647    16888     48 |  0.000 % |
90.38/90.44	c |     16989 |  168000  3532144 10927904 | 2147483647    16989     48 |  0.000 % |
90.48/90.60	c |     17100 |  168000  3532144 10927904 | 2147483647    17100     48 |  0.000 % |
90.88/90.96	c |     17223 |  168000  3532144 10927904 | 2147483647    17223     48 |  0.000 % |
91.08/91.15	c |     17357 |  168000  3532144 10927904 | 2147483647    17357     48 |  0.000 % |
91.29/91.33	c |     17506 |  168000  3532144 10927904 | 2147483647    17506     48 |  0.000 % |
91.68/91.78	c |     17668 |  168000  3532144 10927904 | 2147483647    17668     48 |  0.000 % |
91.88/91.97	c |     17844 |  168000  3532144 10927904 | 2147483647    17844     48 |  0.000 % |
92.08/92.13	c |     18037 |  168000  3532144 10927904 | 2147483647    18037     48 |  0.000 % |
92.39/92.46	c |     18250 |  168000  3532144 10927904 | 2147483647    18250     47 |  0.000 % |
92.58/92.68	c |     18485 |  168000  3532144 10927904 | 2147483647    18485     47 |  0.000 % |
92.88/92.95	c |     18743 |  168000  3532144 10927904 | 2147483647    18743     47 |  0.000 % |
92.98/93.09	c |     19025 |  168000  3532144 10927904 | 2147483647    19025     47 |  0.000 % |
93.38/93.43	c |     19336 |  168000  3532144 10927904 | 2147483647    19336     47 |  0.000 % |
93.78/93.85	c |     19677 |  168000  3532144 10927904 | 2147483647    19677     47 |  0.000 % |
93.98/94.10	c |     20050 |  168000  3532144 10927904 | 2147483647    20050     47 |  0.000 % |
94.28/94.32	c |     20150 |  168000  3532144 10927904 | 2147483647    20150     47 |  0.000 % |
94.38/94.42	c |     20262 |  168000  3532144 10927904 | 2147483647    20262     47 |  0.000 % |
94.48/94.59	c |     20383 |  168000  3532144 10927904 | 2147483647    20383     47 |  0.000 % |
94.68/94.73	c |     20518 |  168000  3532144 10927904 | 2147483647    20518     47 |  0.000 % |
94.88/94.97	c |     20665 |  168000  3532144 10927904 | 2147483647    20665     47 |  0.000 % |
95.08/95.11	c |     20825 |  168000  3532144 10927904 | 2147483647    20825     47 |  0.000 % |
95.18/95.27	c |     21002 |  168000  3532144 10927904 | 2147483647    21002     46 |  0.000 % |
95.38/95.48	c |     21195 |  168000  3532144 10927904 | 2147483647    21195     47 |  0.000 % |
95.58/95.69	c |     21408 |  168000  3532144 10927904 | 2147483647    21408     46 |  0.000 % |
95.88/95.97	c |     21641 |  168000  3532144 10927904 | 2147483647    21641     46 |  0.000 % |
96.08/96.18	c |     21897 |  168000  3532144 10927904 | 2147483647    21897     46 |  0.000 % |
96.28/96.39	c |     22179 |  168000  3532144 10927904 | 2147483647    22179     46 |  0.000 % |
96.58/96.64	c |     22488 |  168000  3532144 10927904 | 2147483647    22488     46 |  0.000 % |
96.88/96.92	c |     22829 |  168000  3532144 10927904 | 2147483647    22829     46 |  0.000 % |
97.18/97.24	c |     23201 |  168000  3532144 10927904 | 2147483647    23201     46 |  0.000 % |
97.48/97.55	c |     23610 |  168000  3532144 10927904 | 2147483647    23610     45 |  0.000 % |
97.68/97.74	c |     23710 |  168000  3532144 10927904 | 2147483647    23710     45 |  0.000 % |
97.89/97.94	c |     23822 |  168000  3532144 10927904 | 2147483647    23822     45 |  0.000 % |
97.98/98.08	c |     23946 |  168000  3532144 10927904 | 2147483647    23946     45 |  0.000 % |
98.18/98.25	c |     24079 |  168000  3532144 10927904 | 2147483647    24079     45 |  0.000 % |
98.38/98.43	c |     24227 |  168000  3532144 10927904 | 2147483647    24227     45 |  0.000 % |
98.58/98.62	c |     24388 |  168000  3532144 10927904 | 2147483647    24388     45 |  0.000 % |
98.78/98.82	c |     24565 |  168000  3532144 10927904 | 2147483647    24565     45 |  0.000 % |
99.08/99.11	c |     24759 |  168000  3532144 10927904 | 2147483647    24759     45 |  0.000 % |
99.38/99.45	c |     24971 |  168000  3532144 10927904 | 2147483647    24971     46 |  0.000 % |
99.77/99.87	c |     25204 |  168000  3532144 10927904 | 2147483647    25204     45 |  0.000 % |
100.08/100.16	c |     25460 |  168000  3532144 10927904 | 2147483647    25460     46 |  0.000 % |
100.47/100.54	c |     25743 |  168000  3532144 10927904 | 2147483647    25743     46 |  0.000 % |
100.67/100.76	c |     26054 |  168000  3532144 10927904 | 2147483647    26054     46 |  0.000 % |
101.18/101.28	c |     26395 |  168000  3532144 10927904 | 2147483647    26395     45 |  0.000 % |
101.87/101.91	c |     26768 |  168000  3532144 10927904 | 2147483647    26768     46 |  0.000 % |
102.47/102.53	c |     27178 |  168000  3532144 10927904 | 2147483647    27178     46 |  0.000 % |
103.07/103.10	c |     27628 |  168000  3532144 10927904 | 2147483647    27628     46 |  0.000 % |
103.07/103.17	c |     27729 |  168000  3532144 10927904 | 2147483647    27729     46 |  0.000 % |
103.38/103.41	c |     27839 |  168000  3532144 10927904 | 2147483647    27839     46 |  0.000 % |
103.67/103.73	c |     27960 |  168000  3532144 10927904 | 2147483647    27960     47 |  0.000 % |
103.87/103.90	c |     28094 |  168000  3532144 10927904 | 2147483647    28094     47 |  0.000 % |
104.07/104.12	c |     28241 |  168000  3532144 10927904 | 2147483647    28241     47 |  0.000 % |
104.27/104.37	c |     28402 |  168000  3532144 10927904 | 2147483647    28402     47 |  0.000 % |
104.48/104.56	c |     28578 |  168000  3532144 10927904 | 2147483647    28578     46 |  0.000 % |
104.57/104.70	c |     28772 |  168000  3532144 10927904 | 2147483647    28772     46 |  0.000 % |
104.77/104.86	c |     28985 |  168000  3532144 10927904 | 2147483647    28985     46 |  0.000 % |
104.97/105.10	c |     29220 |  168000  3532144 10927904 | 2147483647    29220     46 |  0.000 % |
105.27/105.30	c |     29476 |  168000  3532144 10927904 | 2147483647    29476     46 |  0.000 % |
105.47/105.52	c |     29757 |  168000  3532144 10927904 | 2147483647    29757     46 |  0.000 % |
105.67/105.73	c |     30067 |  168000  3532144 10927904 | 2147483647    30067     45 |  0.000 % |
105.87/105.98	c |     30407 |  168000  3532144 10927904 | 2147483647    30407     45 |  0.000 % |
106.17/106.21	c |     30781 |  168000  3532144 10927904 | 2147483647    30781     45 |  0.000 % |
106.47/106.52	c |     31190 |  168000  3532144 10927904 | 2147483647    31190     45 |  0.000 % |
106.77/106.80	c |     31641 |  168000  3532144 10927904 | 2147483647    31641     44 |  0.000 % |
107.07/107.11	c |     32134 |  168000  3532144 10927904 | 2147483647    32134     44 |  0.000 % |
107.17/107.22	c |     32234 |  168000  3532144 10927904 | 2147483647    32234     44 |  0.000 % |
107.27/107.32	c |     32344 |  168000  3532144 10927904 | 2147483647    32344     44 |  0.000 % |
107.37/107.44	c |     32465 |  168000  3532144 10927904 | 2147483647    32465     44 |  0.000 % |
107.47/107.55	c |     32598 |  168000  3532144 10927904 | 2147483647    32598     44 |  0.000 % |
107.57/107.69	c |     32745 |  168000  3532144 10927904 | 2147483647    32745     43 |  0.000 % |
107.78/107.84	c |     32906 |  168000  3532144 10927904 | 2147483647    32906     43 |  0.000 % |
108.07/108.13	c |     33082 |  168000  3532144 10927904 | 2147483647    33082     43 |  0.000 % |
108.57/108.61	c |     33276 |  168000  3532144 10927904 | 2147483647    33276     43 |  0.000 % |
108.77/108.89	c |     33489 |  168000  3532144 10927904 | 2147483647    33489     43 |  0.000 % |
109.47/109.59	c |     33722 |  168000  3532144 10927904 | 2147483647    33722     43 |  0.000 % |
109.87/109.98	c |     33978 |  168000  3532144 10927904 | 2147483647    33978     43 |  0.000 % |
110.47/110.51	c |     34259 |  168000  3532144 10927904 | 2147483647    34259     43 |  0.000 % |
111.27/111.36	c |     34568 |  168000  3532144 10927904 | 2147483647    34568     44 |  0.000 % |
112.18/112.28	c |     34908 |  168000  3532144 10927904 | 2147483647    34908     44 |  0.000 % |
112.47/112.58	c |     35281 |  168000  3532144 10927904 | 2147483647    35281     44 |  0.000 % |
113.07/113.11	c |     35690 |  168000  3532144 10927904 | 2147483647    35690     44 |  0.000 % |
113.57/113.64	c |     36141 |  168000  3532144 10927904 | 2147483647    36141     45 |  0.000 % |
114.07/114.13	c |     36635 |  168000  3532144 10927904 | 2147483647    36635     45 |  0.000 % |
114.77/114.86	c |     37177 |  168000  3532144 10927904 | 2147483647    37177     45 |  0.000 % |
114.87/114.95	c |     37278 |  168000  3532144 10927904 | 2147483647    37278     45 |  0.000 % |
115.07/115.15	c |     37388 |  168000  3532144 10927904 | 2147483647    37388     45 |  0.000 % |
115.17/115.29	c |     37510 |  168000  3532144 10927904 | 2147483647    37510     45 |  0.000 % |
115.48/115.59	c |     37643 |  168000  3532144 10927904 | 2147483647    37643     45 |  0.000 % |
115.77/115.89	c |     37790 |  168000  3532144 10927904 | 2147483647    37790     45 |  0.000 % |
115.87/115.98	c |     37950 |  168000  3532144 10927904 | 2147483647    37950     45 |  0.000 % |
116.27/116.32	c |     38129 |  168000  3532144 10927904 | 2147483647    38129     45 |  0.000 % |
116.98/117.06	c |     38323 |  168000  3532144 10927904 | 2147483647    38323     45 |  0.000 % |
117.28/117.31	c |     38537 |  168000  3532144 10927904 | 2147483647    38537     45 |  0.000 % |
117.88/117.91	c |     38770 |  168000  3532144 10927904 | 2147483647    38770     45 |  0.000 % |
118.08/118.20	c |     39027 |  168000  3532144 10927904 | 2147483647    39027     45 |  0.000 % |
118.38/118.49	c |     39309 |  168000  3532144 10927904 | 2147483647    39309     46 |  0.000 % |
118.68/118.72	c |     39618 |  168000  3532144 10927904 | 2147483647    39618     45 |  0.000 % |
119.08/119.16	c |     39959 |  168000  3532144 10927904 | 2147483647    39959     45 |  0.000 % |
119.38/119.45	c |     40333 |  168000  3532144 10927904 | 2147483647    40333     45 |  0.000 % |
119.78/119.89	c |     40742 |  168000  3532144 10927904 | 2147483647    40742     45 |  0.000 % |
120.38/120.41	c |     41192 |  168000  3532144 10927904 | 2147483647    41192     46 |  0.000 % |
120.88/120.91	c |     41686 |  168000  3532144 10927904 | 2147483647    41686     46 |  0.000 % |
121.18/121.21	c |     42229 |  168000  3532144 10927904 | 2147483647    42229     46 |  0.000 % |
121.78/121.84	c |     42826 |  168000  3532144 10927904 | 2147483647    42826     46 |  0.000 % |
121.88/121.92	c |     42926 |  168000  3532144 10927904 | 2147483647    42926     46 |  0.000 % |
122.18/122.22	c |     43036 |  168000  3532144 10927904 | 2147483647    43036     46 |  0.000 % |
122.38/122.44	c |     43158 |  168000  3532144 10927904 | 2147483647    43158     45 |  0.000 % |
122.48/122.59	c |     43295 |  168000  3532144 10927904 | 2147483647    43295     45 |  0.000 % |
122.78/122.83	c |     43447 |  168000  3532144 10927904 | 2147483647    43447     45 |  0.000 % |
122.98/123.05	c |     43608 |  168000  3532144 10927904 | 2147483647    43608     45 |  0.000 % |
123.38/123.42	c |     43786 |  168000  3532144 10927904 | 2147483647    43786     45 |  0.000 % |
123.58/123.69	c |     43979 |  168000  3532144 10927904 | 2147483647    43979     45 |  0.000 % |
124.08/124.20	c |     44191 |  168000  3532144 10927904 | 2147483647    44191     45 |  0.000 % |
124.28/124.33	c |     44424 |  168000  3532144 10927904 | 2147483647    44424     45 |  0.000 % |
124.58/124.67	c |     44681 |  168000  3532144 10927904 | 2147483647    44681     45 |  0.000 % |
124.98/125.01	c |     44962 |  168000  3532144 10927904 | 2147483647    44962     46 |  0.000 % |
125.28/125.35	c |     45271 |  168000  3532144 10927904 | 2147483647    45271     46 |  0.000 % |
125.68/125.79	c |     45612 |  168000  3532144 10927904 | 2147483647    45612     45 |  0.000 % |
126.08/126.20	c |     45984 |  168000  3532144 10927904 | 2147483647    45984     46 |  0.000 % |
126.48/126.54	c |     46393 |  168000  3532144 10927904 | 2147483647    46393     46 |  0.000 % |
127.18/127.25	c |     46843 |  168000  3532144 10927904 | 2147483647    46843     46 |  0.000 % |
127.38/127.45	c |     47337 |  168000  3532144 10927904 | 2147483647    47337     46 |  0.000 % |
127.78/127.90	c |     47879 |  168000  3532144 10927904 | 2147483647    47879     46 |  0.000 % |
128.08/128.15	c |     48475 |  168000  3532144 10927904 | 2147483647    48475     46 |  0.000 % |
128.78/128.91	c |     49131 |  168000  3532144 10927904 | 2147483647    49131     46 |  0.000 % |
129.08/129.14	c |     49231 |  168000  3532144 10927904 | 2147483647    49231     46 |  0.000 % |
129.18/129.27	c |     49341 |  168000  3532144 10927904 | 2147483647    49341     46 |  0.000 % |
129.38/129.49	c |     49463 |  168000  3532144 10927904 | 2147483647    49463     46 |  0.000 % |
129.58/129.69	c |     49596 |  168000  3532144 10927904 | 2147483647    49596     46 |  0.000 % |
129.98/130.01	c |     49743 |  168000  3532144 10927904 | 2147483647    49743     46 |  0.000 % |
130.08/130.19	c |     49905 |  168000  3532144 10927904 | 2147483647    49905     46 |  0.000 % |
130.28/130.38	c |     50082 |  168000  3532144 10927904 | 2147483647    50082     46 |  0.000 % |
130.98/131.04	c |     50276 |  168000  3532144 10927904 | 2147483647    50276     46 |  0.000 % |
131.28/131.39	c |     50488 |  168000  3532144 10927904 | 2147483647    50488     46 |  0.000 % |
132.08/132.15	c |     50722 |  168000  3532144 10927904 | 2147483647    50722     47 |  0.000 % |
132.58/132.68	c |     50982 |  168000  3532144 10927904 | 2147483647    50982     47 |  0.000 % |
132.88/132.93	c |     51264 |  168000  3532144 10927904 | 2147483647    51264     47 |  0.000 % |
133.28/133.31	c |     51573 |  168000  3532144 10927904 | 2147483647    51573     47 |  0.000 % |
134.18/134.29	c |     51913 |  168000  3532144 10927904 | 2147483647    51913     47 |  0.000 % |
134.58/134.69	c |     52286 |  168000  3532144 10927904 | 2147483647    52286     47 |  0.000 % |
135.38/135.43	c |     52695 |  168000  3532144 10927904 | 2147483647    52695     47 |  0.000 % |
136.38/136.42	c |     53144 |  168000  3532144 10927904 | 2147483647    53144     47 |  0.000 % |
137.08/137.19	c |     53637 |  168000  3532144 10927904 | 2147483647    53637     48 |  0.000 % |
137.58/137.68	c |     54179 |  168000  3532144 10927904 | 2147483647    54179     48 |  0.000 % |
137.88/138.00	c |     54777 |  168000  3532144 10927904 | 2147483647    54777     48 |  0.000 % |
139.88/139.92	c |     55434 |  168000  3532144 10927904 | 2147483647    55434     48 |  0.000 % |
140.88/140.96	c |     56154 |  168000  3532144 10927904 | 2147483647    56154     48 |  0.000 % |
141.18/141.23	c |     56254 |  168000  3532144 10927904 | 2147483647    56254     48 |  0.000 % |
141.38/141.45	c |     56364 |  168000  3532144 10927904 | 2147483647    56364     48 |  0.000 % |
141.58/141.65	c |     56485 |  168000  3532144 10927904 | 2147483647    56485     48 |  0.000 % |
141.78/141.85	c |     56618 |  168000  3532144 10927904 | 2147483647    56618     48 |  0.000 % |
142.28/142.33	c |     56764 |  168000  3532144 10927904 | 2147483647    56764     48 |  0.000 % |
143.48/143.59	c |     56924 |  168000  3532144 10927904 | 2147483647    56924     48 |  0.000 % |
143.78/143.82	c |     57101 |  168000  3532144 10927904 | 2147483647    57101     48 |  0.000 % |
144.18/144.25	c |     57295 |  168000  3532144 10927904 | 2147483647    57295     48 |  0.000 % |
144.58/144.63	c |     57509 |  168000  3532144 10927904 | 2147483647    57509     49 |  0.000 % |
144.88/144.98	c |     57743 |  168000  3532144 10927904 | 2147483647    57743     49 |  0.000 % |
145.58/145.70	c |     57999 |  168000  3532144 10927904 | 2147483647    57999     49 |  0.000 % |
146.08/146.14	c |     58280 |  168000  3532144 10927904 | 2147483647    58280     49 |  0.000 % |
146.98/147.04	c |     58590 |  168000  3532144 10927904 | 2147483647    58590     49 |  0.000 % |
148.08/148.14	c |     58931 |  168000  3532144 10927904 | 2147483647    58931     49 |  0.000 % |
148.48/148.57	c |     59303 |  168000  3532144 10927904 | 2147483647    59303     49 |  0.000 % |
149.78/149.88	c |     59714 |  168000  3532144 10927904 | 2147483647    59714     49 |  0.000 % |
150.18/150.30	c |     60163 |  168000  3532144 10927904 | 2147483647    60163     49 |  0.000 % |
150.78/150.91	c |     60656 |  168000  3532144 10927904 | 2147483647    60656     49 |  0.000 % |
151.98/152.03	c |     61200 |  168000  3532144 10927904 | 2147483647    61200     50 |  0.000 % |
152.58/152.64	c |     61796 |  168000  3532144 10927904 | 2147483647    61796     50 |  0.000 % |
153.28/153.37	c |     62451 |  168000  3532144 10927904 | 2147483647    62451     50 |  0.000 % |
154.78/154.88	c |     63171 |  168000  3532144 10927904 | 2147483647    63171     50 |  0.000 % |
155.68/155.73	c |     63964 |  168000  3532144 10927904 | 2147483647    63964     50 |  0.000 % |
155.98/156.04	c |     64064 |  168000  3532144 10927904 | 2147483647    64064     50 |  0.000 % |
156.48/156.53	c |     64174 |  168000  3532144 10927904 | 2147483647    64174     50 |  0.000 % |
156.98/157.05	c |     64295 |  168000  3532144 10927904 | 2147483647    64295     50 |  0.000 % |
157.38/157.44	c |     64428 |  168000  3532144 10927904 | 2147483647    64428     50 |  0.000 % |
157.88/157.92	c |     64575 |  168000  3532144 10927904 | 2147483647    64575     50 |  0.000 % |
158.38/158.43	c |     64737 |  168000  3532144 10927904 | 2147483647    64737     50 |  0.000 % |
158.78/158.90	c |     64915 |  168000  3532144 10927904 | 2147483647    64915     50 |  0.000 % |
159.08/159.16	c |     65108 |  168000  3532144 10927904 | 2147483647    65108     50 |  0.000 % |
159.68/159.76	c |     65322 |  168000  3532144 10927904 | 2147483647    65322     50 |  0.000 % |
160.18/160.23	c |     65555 |  168000  3532144 10927904 | 2147483647    65555     50 |  0.000 % |
160.98/161.02	c |     65811 |  168000  3532144 10927904 | 2147483647    65811     50 |  0.000 % |
161.48/161.58	c |     66092 |  168000  3532144 10927904 | 2147483647    66092     51 |  0.000 % |
162.18/162.24	c |     66401 |  168000  3532144 10927904 | 2147483647    66401     51 |  0.000 % |
162.38/162.41	c |     66740 |  168000  3532144 10927904 | 2147483647    66740     50 |  0.000 % |
163.28/163.39	c |     67112 |  168000  3532144 10927904 | 2147483647    67112     51 |  0.000 % |
163.88/163.91	c |     67522 |  168000  3532144 10927904 | 2147483647    67522     50 |  0.000 % |
164.78/164.91	c |     67972 |  168000  3532144 10927904 | 2147483647    67972     51 |  0.000 % |
165.88/165.91	c |     68465 |  168000  3532144 10927904 | 2147483647    68465     51 |  0.000 % |
166.38/166.43	c |     69008 |  168000  3532144 10927904 | 2147483647    69008     51 |  0.000 % |
167.08/167.16	c |     69605 |  168000  3532144 10927904 | 2147483647    69605     51 |  0.000 % |
167.98/168.07	c |     70260 |  168000  3532144 10927904 | 2147483647    70260     51 |  0.000 % |
168.58/168.62	c |     70981 |  168000  3532144 10927904 | 2147483647    70981     51 |  0.000 % |
169.48/169.53	c |     71774 |  168000  3532144 10927904 | 2147483647    71774     52 |  0.000 % |
169.88/170.00	c |     72646 |  168000  3532144 10927904 | 2147483647    72646     52 |  0.000 % |
170.08/170.17	c |     72747 |  168000  3532144 10927904 | 2147483647    72747     52 |  0.000 % |
170.58/170.62	c |     72858 |  168000  3532144 10927904 | 2147483647    72858     52 |  0.000 % |
170.78/170.86	c |     72979 |  168000  3532144 10927904 | 2147483647    72979     52 |  0.000 % |
171.28/171.33	c |     73112 |  168000  3532144 10927904 | 2147483647    73112     52 |  0.000 % |
171.98/172.02	c |     73258 |  168000  3532144 10927904 | 2147483647    73258     52 |  0.000 % |
172.58/172.61	c |     73422 |  168000  3532144 10927904 | 2147483647    73422     52 |  0.000 % |
172.98/173.10	c |     73598 |  168000  3532144 10927904 | 2147483647    73598     52 |  0.000 % |
173.58/173.61	c |     73791 |  168000  3532144 10927904 | 2147483647    73791     52 |  0.000 % |
173.88/173.94	c |     74003 |  168000  3532144 10927904 | 2147483647    74003     52 |  0.000 % |
174.38/174.43	c |     74236 |  168000  3532144 10927904 | 2147483647    74236     52 |  0.000 % |
174.78/174.84	c |     74492 |  168000  3532144 10927904 | 2147483647    74492     52 |  0.000 % |
175.48/175.51	c |     74776 |  168000  3532144 10927904 | 2147483647    74776     53 |  0.000 % |
175.98/176.03	c |     75085 |  168000  3532144 10927904 | 2147483647    75085     53 |  0.000 % |
177.08/177.15	c |     75425 |  168000  3532144 10927904 | 2147483647    75425     53 |  0.000 % |
177.48/177.59	c |     75797 |  168000  3532144 10927904 | 2147483647    75797     53 |  0.000 % |
177.98/178.10	c |     76207 |  168000  3532144 10927904 | 2147483647    76207     53 |  0.000 % |
178.28/178.38	c |     76657 |  168000  3532144 10927904 | 2147483647    76657     53 |  0.000 % |
179.68/179.72	c |     77152 |  168000  3532144 10927904 | 2147483647    77152     53 |  0.000 % |
180.08/180.17	c |     77694 |  168000  3532144 10927904 | 2147483647    77694     53 |  0.000 % |
180.58/180.62	c |     78292 |  168000  3532144 10927904 | 2147483647    78292     54 |  0.000 % |
181.18/181.30	c |     78947 |  168000  3532144 10927904 | 2147483647    78947     54 |  0.000 % |
181.68/181.78	c |     79668 |  168000  3532144 10927904 | 2147483647    79668     54 |  0.000 % |
182.78/182.89	c |     80461 |  168000  3532144 10927904 | 2147483647    80461     55 |  0.000 % |
183.98/184.03	c |     81333 |  168000  3532144 10927904 | 2147483647    81333     55 |  0.000 % |
185.28/185.38	c |     82291 |  168000  3532144 10927904 | 2147483647    82291     55 |  0.000 % |
185.38/185.45	c |     82391 |  168000  3532144 10927904 | 2147483647    82391     55 |  0.000 % |
185.68/185.80	c |     82503 |  168000  3532144 10927904 | 2147483647    82503     55 |  0.000 % |
185.89/185.99	c |     82624 |  168000  3532144 10927904 | 2147483647    82624     55 |  0.000 % |
186.28/186.33	c |     82758 |  168000  3532144 10927904 | 2147483647    82758     55 |  0.000 % |
186.38/186.50	c |     82906 |  168000  3532144 10927904 | 2147483647    82906     55 |  0.000 % |
186.68/186.76	c |     83066 |  168000  3532144 10927904 | 2147483647    83066     55 |  0.000 % |
187.28/187.32	c |     83243 |  168000  3532144 10927904 | 2147483647    83243     55 |  0.000 % |
187.88/187.97	c |     83436 |  168000  3532144 10927904 | 2147483647    83436     55 |  0.000 % |
188.28/188.34	c |     83648 |  168000  3532144 10927904 | 2147483647    83648     55 |  0.000 % |
188.78/188.84	c |     83884 |  168000  3532144 10927904 | 2147483647    83884     55 |  0.000 % |
189.08/189.14	c |     84140 |  168000  3532144 10927904 | 2147483647    84140     55 |  0.000 % |
189.68/189.76	c |     84422 |  168000  3532144 10927904 | 2147483647    84422     55 |  0.000 % |
190.38/190.41	c |     84732 |  168000  3532144 10927904 | 2147483647    84732     55 |  0.000 % |
191.39/191.47	c |     85071 |  168000  3532144 10927904 | 2147483647    85071     55 |  0.000 % |
192.38/192.43	c |     85444 |  168000  3532144 10927904 | 2147483647    85444     55 |  0.000 % |
192.88/192.93	c |     85861 |  168000  3532144 10927904 | 2147483647    85861     55 |  0.000 % |
193.38/193.50	c |     86310 |  168000  3532144 10927904 | 2147483647    86310     55 |  0.000 % |
194.98/195.03	c |     86804 |  167999  3532130 10927876 | 2147483647    86803     55 |  0.001 % |
195.98/196.06	c |     87349 |  167998  3532130 10927876 | 2147483647    87347     55 |  0.001 % |
196.48/196.54	c |     87946 |  167998  3532130 10927876 | 2147483647    87944     55 |  0.001 % |
198.08/198.16	c |     88601 |  167998  3532130 10927876 | 2147483647    88599     56 |  0.001 % |
199.48/199.55	c |     89321 |  167998  3532130 10927876 | 2147483647    89319     56 |  0.001 % |
200.98/201.03	c |     90115 |  167998  3532130 10927876 | 2147483647    90113     56 |  0.001 % |
203.18/203.25	c |     90986 |  167998  3532130 10927876 | 2147483647    90984     56 |  0.001 % |
204.08/204.12	c |     91944 |  167998  3532130 10927876 | 2147483647    91942     57 |  0.001 % |
205.28/205.33	c |     92997 |  167998  3532130 10927876 | 2147483647    92995     57 |  0.001 % |
205.48/205.54	c |     93097 |  167998  3532130 10927876 | 2147483647    93095     57 |  0.001 % |
205.58/205.71	c |     93209 |  167998  3532130 10927876 | 2147483647    93207     57 |  0.001 % |
206.28/206.33	c |     93330 |  167998  3532130 10927876 | 2147483647    93328     57 |  0.001 % |
206.48/206.55	c |     93464 |  167998  3532130 10927876 | 2147483647    93462     57 |  0.001 % |
206.88/206.91	c |     93611 |  167998  3532130 10927876 | 2147483647    93609     57 |  0.001 % |
207.18/207.23	c |     93776 |  167998  3532130 10927876 | 2147483647    93774     57 |  0.001 % |
207.38/207.45	c |     93952 |  167998  3532130 10927876 | 2147483647    93950     57 |  0.001 % |
208.38/208.43	c |     94146 |  167998  3532130 10927876 | 2147483647    94144     57 |  0.001 % |
208.58/208.69	c |     94358 |  167998  3532130 10927876 | 2147483647    94356     57 |  0.001 % |
209.18/209.26	c |     94593 |  167998  3532098 10927789 | 2147483647    94591     57 |  0.001 % |
209.78/209.81	c |     94850 |  167998  3532098 10927789 | 2147483647    94848     57 |  0.001 % |
210.09/210.11	c |     95136 |  167998  3532098 10927789 | 2147483647    95134     57 |  0.001 % |
210.68/210.73	c |     95445 |  167998  3532098 10927789 | 2147483647    95443     57 |  0.001 % |
211.88/211.97	c |     95784 |  167998  3532098 10927789 | 2147483647    95782     57 |  0.001 % |
212.48/212.57	c |     96156 |  167998  3532098 10927789 | 2147483647    96154     57 |  0.001 % |
213.28/213.31	c |     96565 |  167998  3532098 10927789 | 2147483647    96563     58 |  0.001 % |
214.08/214.19	c |     97014 |  167998  3532098 10927789 | 2147483647    97012     58 |  0.001 % |
214.58/214.69	c |     97507 |  167998  3532098 10927789 | 2147483647    97505     58 |  0.001 % |
215.38/215.42	c |     98049 |  167998  3532098 10927789 | 2147483647    98047     58 |  0.001 % |
216.08/216.13	c |     98645 |  167998  3532098 10927789 | 2147483647    98643     58 |  0.001 % |
217.58/217.61	c |     99300 |  167998  3532098 10927789 | 2147483647    99298     58 |  0.001 % |
218.38/218.49	c |    100020 |  167998  3532098 10927789 | 2147483647   100018     58 |  0.001 % |
219.68/219.79	c |    100814 |  167998  3532098 10927789 | 2147483647   100812     58 |  0.001 % |
220.58/220.67	c |    101686 |  167998  3532098 10927789 | 2147483647   101684     58 |  0.001 % |
221.48/221.54	c |    102644 |  167998  3532098 10927789 | 2147483647   102642     58 |  0.001 % |
222.08/222.17	c |    103698 |  167998  3532098 10927789 | 2147483647   103696     58 |  0.001 % |
223.38/223.46	c |    104857 |  167998  3532098 10927789 | 2147483647   104855     58 |  0.001 % |
223.68/223.72	c |    104957 |  167998  3532098 10927789 | 2147483647   104955     58 |  0.001 % |
223.88/223.95	c |    105068 |  167998  3532098 10927789 | 2147483647   105066     58 |  0.001 % |
224.08/224.20	c |    105190 |  167998  3532098 10927789 | 2147483647   105188     58 |  0.001 % |
224.39/224.43	c |    105323 |  167998  3532098 10927789 | 2147483647   105321     58 |  0.001 % |
224.68/224.71	c |    105470 |  167998  3532098 10927789 | 2147483647   105468     58 |  0.001 % |
225.18/225.30	c |    105631 |  167998  3532098 10927789 | 2147483647   105629     58 |  0.001 % |
225.49/225.52	c |    105811 |  167998  3532098 10927789 | 2147483647   105809     58 |  0.001 % |
225.88/225.98	c |    106007 |  167998  3532098 10927789 | 2147483647   106005     58 |  0.001 % |
226.48/226.56	c |    106219 |  167998  3532098 10927789 | 2147483647   106217     58 |  0.001 % |
226.88/227.00	c |    106452 |  167998  3532098 10927789 | 2147483647   106450     58 |  0.001 % |
227.78/227.86	c |    106709 |  167998  3532098 10927789 | 2147483647   106707     58 |  0.001 % |
228.08/228.14	c |    106990 |  167998  3532098 10927789 | 2147483647   106988     58 |  0.001 % |
228.88/228.93	c |    107299 |  167998  3532098 10927789 | 2147483647   107297     58 |  0.001 % |
229.18/229.29	c |    107639 |  167998  3532098 10927789 | 2147483647   107637     58 |  0.001 % |
230.28/230.37	c |    108013 |  167998  3532098 10927789 | 2147483647   108011     58 |  0.001 % |
230.99/231.10	c |    108423 |  167998  3532098 10927789 | 2147483647   108421     58 |  0.001 % |
231.69/231.81	c |    108874 |  167998  3532098 10927789 | 2147483647   108872     58 |  0.001 % |
232.69/232.75	c |    109367 |  167998  3532098 10927789 | 2147483647   109365     58 |  0.001 % |
233.69/233.78	c |    109909 |  167998  3532098 10927789 | 2147483647   109907     58 |  0.001 % |
234.59/234.70	c |    110505 |  167998  3532098 10927789 | 2147483647   110503     59 |  0.001 % |
235.99/236.10	c |    111164 |  167998  3532098 10927789 | 2147483647   111162     59 |  0.001 % |
237.59/237.66	c |    111884 |  167998  3532098 10927789 | 2147483647   111882     59 |  0.001 % |
238.29/238.34	c |    112676 |  167998  3532098 10927789 | 2147483647   112674     59 |  0.001 % |
239.49/239.54	c |    113547 |  167998  3532098 10927789 | 2147483647   113545     59 |  0.001 % |
240.89/241.01	c |    114505 |  167998  3532098 10927789 | 2147483647   114503     60 |  0.001 % |
242.09/242.12	c |    115558 |  167998  3532098 10927789 | 2147483647   115556     60 |  0.001 % |
243.99/244.05	c |    116718 |  167998  3532098 10927789 | 2147483647   116716     61 |  0.001 % |
245.59/245.65	c |    117992 |  167998  3532098 10927789 | 2147483647   117990     61 |  0.001 % |
245.69/245.79	c |    118092 |  167998  3532098 10927789 | 2147483647   118090     61 |  0.001 % |
245.89/246.01	c |    118202 |  167998  3532098 10927789 | 2147483647   118200     61 |  0.001 % |
246.09/246.15	c |    118323 |  167998  3532098 10927789 | 2147483647   118321     61 |  0.001 % |
246.29/246.35	c |    118456 |  167998  3532098 10927789 | 2147483647   118454     61 |  0.001 % |
246.49/246.57	c |    118603 |  167998  3532098 10927789 | 2147483647   118601     62 |  0.001 % |
246.69/246.78	c |    118763 |  167998  3532098 10927789 | 2147483647   118761     62 |  0.001 % |
246.99/247.09	c |    118939 |  167998  3532098 10927789 | 2147483647   118937     62 |  0.001 % |
247.49/247.59	c |    119134 |  167998  3532098 10927789 | 2147483647   119132     62 |  0.001 % |
247.89/247.93	c |    119346 |  167998  3532098 10927789 | 2147483647   119344     62 |  0.001 % |
248.49/248.53	c |    119579 |  167998  3532098 10927789 | 2147483647   119577     62 |  0.001 % |
248.99/249.10	c |    119837 |  167998  3532098 10927789 | 2147483647   119835     62 |  0.001 % |
249.49/249.55	c |    120122 |  167998  3532098 10927789 | 2147483647   120120     62 |  0.001 % |
249.99/250.06	c |    120435 |  167998  3532098 10927789 | 2147483647   120433     62 |  0.001 % |
250.69/250.78	c |    120774 |  167998  3532098 10927789 | 2147483647   120772     62 |  0.001 % |
251.19/251.30	c |    121147 |  167998  3532098 10927789 | 2147483647   121145     62 |  0.001 % |
251.69/251.75	c |    121557 |  167998  3532098 10927789 | 2147483647   121555     62 |  0.001 % |
252.29/252.38	c |    122006 |  167998  3532098 10927789 | 2147483647   122004     62 |  0.001 % |
253.19/253.22	c |    122499 |  167998  3532098 10927789 | 2147483647   122497     62 |  0.001 % |
253.99/254.02	c |    123042 |  167998  3532098 10927789 | 2147483647   123040     62 |  0.001 % |
255.09/255.12	c |    123639 |  167998  3532098 10927789 | 2147483647   123637     62 |  0.001 % |
255.79/255.86	c |    124294 |  167998  3532098 10927789 | 2147483647   124292     62 |  0.001 % |
256.49/256.53	c |    125014 |  167998  3532098 10927789 | 2147483647   125012     62 |  0.001 % |
257.39/257.44	c |    125808 |  167998  3532098 10927789 | 2147483647   125806     63 |  0.001 % |
257.79/257.86	c |    126679 |  167998  3532098 10927789 | 2147483647   126677     62 |  0.001 % |
259.39/259.46	c |    127637 |  167998  3532098 10927789 | 2147483647   127635     62 |  0.001 % |
260.99/261.03	c |    128691 |  167998  3532098 10927789 | 2147483647   128689     63 |  0.001 % |
262.39/262.50	c |    129849 |  167998  3532098 10927789 | 2147483647   129847     63 |  0.001 % |
263.39/263.45	c |    131123 |  167998  3532098 10927789 | 2147483647   131121     63 |  0.001 % |
264.39/264.51	c |    132525 |  167998  3532098 10927789 | 2147483647   132523     63 |  0.001 % |
264.69/264.74	c |    132625 |  167998  3532098 10927789 | 2147483647   132623     63 |  0.001 % |
264.89/264.92	c |    132736 |  167998  3532098 10927789 | 2147483647   132734     63 |  0.001 % |
265.59/265.66	c |    132857 |  167998  3532098 10927789 | 2147483647   132855     63 |  0.001 % |
265.89/265.92	c |    132990 |  167998  3532098 10927789 | 2147483647   132988     63 |  0.001 % |
266.29/266.35	c |    133136 |  167998  3532098 10927789 | 2147483647   133134     63 |  0.001 % |
266.49/266.54	c |    133296 |  167998  3532098 10927789 | 2147483647   133294     63 |  0.001 % |
266.79/266.89	c |    133472 |  167998  3532098 10927789 | 2147483647   133470     63 |  0.001 % |
267.09/267.13	c |    133665 |  167998  3532098 10927789 | 2147483647   133663     63 |  0.001 % |
267.49/267.59	c |    133878 |  167998  3532098 10927789 | 2147483647   133876     63 |  0.001 % |
267.69/267.80	c |    134111 |  167998  3532098 10927789 | 2147483647   134109     63 |  0.001 % |
268.09/268.13	c |    134367 |  167998  3532098 10927789 | 2147483647   134365     63 |  0.001 % |
268.49/268.56	c |    134648 |  167998  3532098 10927789 | 2147483647   134646     63 |  0.001 % |
269.09/269.16	c |    134957 |  167998  3532098 10927789 | 2147483647   134955     63 |  0.001 % |
269.79/269.81	c |    135297 |  167998  3532098 10927789 | 2147483647   135295     63 |  0.001 % |
270.29/270.32	c |    135669 |  167998  3532098 10927789 | 2147483647   135667     63 |  0.001 % |
270.69/270.74	c |    136080 |  167998  3532098 10927789 | 2147483647   136078     64 |  0.001 % |
271.29/271.34	c |    136529 |  167998  3532098 10927789 | 2147483647   136527     64 |  0.001 % |
271.79/271.87	c |    137022 |  167998  3532098 10927789 | 2147483647   137020     64 |  0.001 % |
272.59/272.69	c |    137566 |  167998  3532098 10927789 | 2147483647   137564     64 |  0.001 % |
273.49/273.60	c |    138162 |  167998  3532098 10927789 | 2147483647   138160     63 |  0.001 % |
273.99/274.07	c |    138817 |  167998  3532098 10927789 | 2147483647   138815     63 |  0.001 % |
274.99/275.02	c |    139540 |  167998  3532098 10927789 | 2147483647   139538     63 |  0.001 % |
275.89/275.94	c |    140332 |  167998  3532098 10927789 | 2147483647   140330     65 |  0.001 % |
276.79/276.88	c |    141203 |  167998  3532098 10927789 | 2147483647   141201     65 |  0.001 % |
277.99/278.09	c |    142161 |  167998  3532098 10927789 | 2147483647   142159     65 |  0.001 % |
279.49/279.54	c |    143217 |  167998  3532098 10927789 | 2147483647   143215     65 |  0.001 % |
280.49/280.59	c |    144376 |  167998  3532098 10927789 | 2147483647   144374     65 |  0.001 % |
282.99/283.10	c |    145649 |  167998  3532098 10927789 | 2147483647   145647     65 |  0.001 % |
285.79/285.85	c |    147051 |  167998  3532098 10927789 | 2147483647   147049     65 |  0.001 % |
288.29/288.31	c |    148592 |  167998  3532098 10927789 | 2147483647   148590     65 |  0.001 % |
288.49/288.55	c |    148692 |  167998  3532098 10927789 | 2147483647   148690     65 |  0.001 % |
288.69/288.74	c |    148802 |  167998  3532098 10927789 | 2147483647   148800     65 |  0.001 % |
289.09/289.18	c |    148923 |  167998  3532098 10927789 | 2147483647   148921     65 |  0.001 % |
289.39/289.47	c |    149056 |  167998  3532098 10927789 | 2147483647   149054     65 |  0.001 % |
289.79/289.89	c |    149202 |  167998  3532098 10927789 | 2147483647   149200     65 |  0.001 % |
290.09/290.21	c |    149363 |  167998  3532098 10927789 | 2147483647   149361     65 |  0.001 % |
290.59/290.63	c |    149539 |  167998  3532098 10927789 | 2147483647   149537     65 |  0.001 % |
291.29/291.35	c |    149732 |  167998  3532098 10927789 | 2147483647   149730     65 |  0.001 % |
291.59/291.67	c |    149947 |  167998  3532098 10927789 | 2147483647   149945     65 |  0.001 % |
292.09/292.16	c |    150187 |  167998  3532098 10927789 | 2147483647   150185     65 |  0.001 % |
292.49/292.60	c |    150443 |  167998  3532098 10927789 | 2147483647   150441     65 |  0.001 % |
293.19/293.23	c |    150724 |  167998  3532098 10927789 | 2147483647   150722     65 |  0.001 % |
293.89/293.94	c |    151034 |  167998  3532098 10927789 | 2147483647   151032     65 |  0.001 % |
294.39/294.48	c |    151373 |  167998  3532098 10927789 | 2147483647   151371     65 |  0.001 % |
295.29/295.33	c |    151746 |  167998  3532098 10927789 | 2147483647   151744     65 |  0.001 % |
295.79/295.91	c |    152155 |  167998  3532098 10927789 | 2147483647   152153     65 |  0.001 % |
296.29/296.34	c |    152605 |  167998  3532098 10927789 | 2147483647   152603     65 |  0.001 % |
296.99/297.03	c |    153099 |  167998  3532098 10927789 | 2147483647   153097     65 |  0.001 % |
298.29/298.37	c |    153643 |  167998  3532098 10927789 | 2147483647   153641     65 |  0.001 % |
298.99/299.06	c |    154239 |  167998  3532098 10927789 | 2147483647   154237     65 |  0.001 % |
300.79/300.87	c |    154895 |  167998  3532098 10927789 | 2147483647   154893     65 |  0.001 % |
301.59/301.66	c |    155617 |  167998  3532098 10927789 | 2147483647   155615     66 |  0.001 % |
302.89/302.95	c |    156409 |  167998  3532098 10927789 | 2147483647   156407     66 |  0.001 % |
303.60/303.62	c |    157280 |  167998  3532098 10927789 | 2147483647   157278     66 |  0.001 % |
305.29/305.35	c |    158239 |  167998  3532098 10927789 | 2147483647   158237     66 |  0.001 % |
306.79/306.86	c |    159292 |  167998  3532098 10927789 | 2147483647   159290     66 |  0.001 % |
307.59/307.67	c |    160451 |  167998  3532098 10927789 | 2147483647   160449     67 |  0.001 % |
309.49/309.60	c |    161727 |  167998  3532098 10927789 | 2147483647   161725     67 |  0.001 % |
310.69/310.73	c |    163127 |  167998  3532098 10927789 | 2147483647   163125     68 |  0.001 % |
312.99/313.01	c |    164669 |  167998  3532098 10927789 | 2147483647   164667     68 |  0.001 % |
315.89/315.97	c |    166366 |  167998  3532098 10927789 | 2147483647   166364     68 |  0.001 % |
316.09/316.13	c |    166468 |  167998  3532098 10927789 | 2147483647   166466     68 |  0.001 % |
316.39/316.46	c |    166580 |  167998  3532098 10927789 | 2147483647   166578     68 |  0.001 % |
316.69/316.80	c |    166701 |  167998  3532098 10927789 | 2147483647   166699     68 |  0.001 % |
317.69/317.73	c |    166836 |  167998  3532098 10927789 | 2147483647   166834     68 |  0.001 % |
317.90/317.93	c |    166982 |  167998  3532098 10927789 | 2147483647   166980     68 |  0.001 % |
318.29/318.31	c |    167143 |  167998  3532098 10927789 | 2147483647   167141     68 |  0.001 % |
318.89/319.00	c |    167323 |  167998  3532098 10927789 | 2147483647   167321     68 |  0.001 % |
319.29/319.33	c |    167516 |  167998  3532098 10927789 | 2147483647   167514     68 |  0.001 % |
319.79/319.90	c |    167730 |  167998  3532098 10927789 | 2147483647   167728     68 |  0.001 % |
320.10/320.16	c |    167964 |  167998  3532098 10927789 | 2147483647   167962     68 |  0.001 % |
320.39/320.44	c |    168220 |  167998  3532098 10927789 | 2147483647   168218     68 |  0.001 % |
321.39/321.46	c |    168501 |  167998  3532098 10927789 | 2147483647   168499     68 |  0.001 % |
322.09/322.17	c |    168810 |  167998  3532098 10927789 | 2147483647   168808     68 |  0.001 % |
322.79/322.89	c |    169157 |  167998  3532098 10927789 | 2147483647   169155     69 |  0.001 % |
323.69/323.77	c |    169529 |  167998  3532098 10927789 | 2147483647   169527     68 |  0.001 % |
324.59/324.63	c |    169940 |  167998  3532098 10927789 | 2147483647   169938     69 |  0.001 % |
325.09/325.15	c |    170390 |  167998  3532098 10927789 | 2147483647   170388     69 |  0.001 % |
325.79/325.86	c |    170883 |  167998  3532098 10927789 | 2147483647   170881     69 |  0.001 % |
327.69/327.81	c |    171428 |  167998  3532098 10927789 | 2147483647   171426     69 |  0.001 % |
328.49/328.56	c |    172024 |  167998  3532098 10927789 | 2147483647   172022     69 |  0.001 % |
330.29/330.32	c |    172680 |  167998  3532098 10927789 | 2147483647   172678     69 |  0.001 % |
330.79/330.88	c |    173402 |  167998  3532098 10927789 | 2147483647   173400     69 |  0.001 % |
332.20/332.24	c |    174196 |  167998  3532098 10927789 | 2147483647   174194     69 |  0.001 % |
333.49/333.55	c |    175067 |  167998  3532098 10927789 | 2147483647   175065     69 |  0.001 % |
334.99/335.05	c |    176027 |  167998  3532098 10927789 | 2147483647   176025     69 |  0.001 % |
336.69/336.79	c |    177080 |  167998  3532098 10927789 | 2147483647   177078     69 |  0.001 % |
339.19/339.29	c |    178238 |  167998  3532098 10927789 | 2147483647   178236     69 |  0.001 % |
341.09/341.17	c |    179511 |  167998  3532098 10927789 | 2147483647   179509     69 |  0.001 % |
342.69/342.78	c |    180911 |  167998  3532098 10927789 | 2147483647   180909     70 |  0.001 % |
343.89/343.98	c |    182451 |  167998  3532098 10927789 | 2147483647   182449     70 |  0.001 % |
346.20/346.24	c |    184146 |  167998  3532098 10927789 | 2147483647   184144     70 |  0.001 % |
347.90/348.01	c |    186010 |  167998  3532098 10927789 | 2147483647   186008     70 |  0.001 % |
348.20/348.31	c |    186110 |  167998  3532098 10927789 | 2147483647   186108     70 |  0.001 % |
348.50/348.60	c |    186220 |  167998  3532098 10927789 | 2147483647   186218     70 |  0.001 % |
348.90/348.96	c |    186342 |  167998  3532098 10927789 | 2147483647   186340     70 |  0.001 % |
349.10/349.19	c |    186475 |  167998  3532098 10927789 | 2147483647   186473     70 |  0.001 % |
349.40/349.47	c |    186621 |  167998  3532098 10927789 | 2147483647   186619     70 |  0.001 % |
349.70/349.73	c |    186781 |  167998  3532098 10927789 | 2147483647   186779     70 |  0.001 % |
349.90/349.93	c |    186957 |  167998  3532098 10927789 | 2147483647   186955     70 |  0.001 % |
350.60/350.70	c |    187150 |  167998  3532098 10927789 | 2147483647   187148     70 |  0.001 % |
351.00/351.03	c |    187362 |  167998  3532098 10927789 | 2147483647   187360     70 |  0.001 % |
351.30/351.33	c |    187597 |  167998  3532098 10927789 | 2147483647   187595     70 |  0.001 % |
352.20/352.28	c |    187854 |  167998  3532098 10927789 | 2147483647   187852     70 |  0.001 % |
352.60/352.68	c |    188137 |  167998  3532098 10927789 | 2147483647   188135     70 |  0.001 % |
353.10/353.18	c |    188451 |  167998  3532098 10927789 | 2147483647   188449     70 |  0.001 % |
353.60/353.63	c |    188792 |  167998  3532098 10927789 | 2147483647   188790     70 |  0.001 % |
354.20/354.27	c |    189165 |  167998  3532098 10927789 | 2147483647   189163     70 |  0.001 % |
354.60/354.63	c |    189574 |  167998  3532098 10927789 | 2147483647   189572     70 |  0.001 % |
355.50/355.52	c |    190025 |  167998  3532098 10927789 | 2147483647   190023     70 |  0.001 % |
356.40/356.45	c |    190519 |  167998  3532098 10927789 | 2147483647   190517     70 |  0.001 % |
357.80/357.85	c |    191061 |  167998  3532098 10927789 | 2147483647   191059     70 |  0.001 % |
359.20/359.29	c |    191658 |  167998  3532098 10927789 | 2147483647   191656     70 |  0.001 % |
360.50/360.60	c |    192314 |  167998  3532098 10927789 | 2147483647   192312     70 |  0.001 % |
361.70/361.80	c |    193034 |  167998  3532098 10927789 | 2147483647   193032     70 |  0.001 % |
363.20/363.31	c |    193830 |  167998  3532098 10927789 | 2147483647   193828     70 |  0.001 % |
364.20/364.30	c |    194701 |  167998  3532098 10927789 | 2147483647   194699     71 |  0.001 % |
366.20/366.28	c |    195660 |  167998  3532098 10927789 | 2147483647   195658     71 |  0.001 % |
368.10/368.19	c |    196715 |  167998  3532098 10927789 | 2147483647   196713     71 |  0.001 % |
369.30/369.32	c |    197873 |  167998  3532098 10927789 | 2147483647   197871     72 |  0.001 % |
371.30/371.37	c |    199146 |  167998  3532098 10927789 | 2147483647   199144     72 |  0.001 % |
373.60/373.63	c |    200546 |  167998  3532098 10927789 | 2147483647   200544     72 |  0.001 % |
376.30/376.39	c |    202086 |  167998  3532098 10927789 | 2147483647   202084     72 |  0.001 % |
378.70/378.72	c |    203781 |  167998  3532098 10927789 | 2147483647   203779     73 |  0.001 % |
381.60/381.65	c |    205644 |  167998  3532098 10927789 | 2147483647   205642     73 |  0.001 % |
383.50/383.61	c |    207696 |  167998  3532098 10927789 | 2147483647   207694     75 |  0.001 % |
383.80/383.84	c |    207797 |  167998  3532098 10927789 | 2147483647   207795     75 |  0.001 % |
384.00/384.09	c |    207907 |  167998  3532098 10927789 | 2147483647   207905     75 |  0.001 % |
384.40/384.51	c |    208029 |  167998  3532098 10927789 | 2147483647   208027     75 |  0.001 % |
384.90/384.99	c |    208163 |  167998  3532098 10927789 | 2147483647   208161     75 |  0.001 % |
385.20/385.31	c |    208309 |  167998  3532098 10927789 | 2147483647   208307     75 |  0.001 % |
385.80/385.88	c |    208470 |  167998  3532098 10927789 | 2147483647   208468     75 |  0.001 % |
386.10/386.21	c |    208646 |  167998  3532098 10927789 | 2147483647   208644     75 |  0.001 % |
386.60/386.67	c |    208840 |  167998  3532098 10927789 | 2147483647   208838     75 |  0.001 % |
387.20/387.22	c |    209056 |  167998  3532098 10927789 | 2147483647   209054     75 |  0.001 % |
387.80/387.90	c |    209290 |  167998  3532098 10927789 | 2147483647   209288     75 |  0.001 % |
388.20/388.30	c |    209548 |  167998  3532098 10927789 | 2147483647   209546     75 |  0.001 % |
388.80/388.85	c |    209829 |  167998  3532098 10927789 | 2147483647   209827     75 |  0.001 % |
389.20/389.26	c |    210139 |  167998  3532098 10927789 | 2147483647   210137     75 |  0.001 % |
390.00/390.02	c |    210479 |  167998  3532098 10927789 | 2147483647   210477     75 |  0.001 % |
391.00/391.04	c |    210851 |  167998  3532098 10927789 | 2147483647   210849     75 |  0.001 % |
391.70/391.79	c |    211261 |  167998  3532098 10927789 | 2147483647   211259     75 |  0.001 % |
392.20/392.29	c |    211710 |  167998  3532098 10927789 | 2147483647   211708     75 |  0.001 % |
393.10/393.13	c |    212203 |  167998  3532098 10927789 | 2147483647   212201     75 |  0.001 % |
393.90/393.94	c |    212745 |  167998  3532098 10927789 | 2147483647   212743     75 |  0.001 % |
394.50/394.58	c |    213341 |  167998  3532098 10927789 | 2147483647   213339     75 |  0.001 % |
395.60/395.65	c |    213996 |  167998  3532098 10927789 | 2147483647   213994     76 |  0.001 % |
396.70/396.75	c |    214717 |  167998  3532098 10927789 | 2147483647   214715     76 |  0.001 % |
397.40/397.50	c |    215509 |  167998  3532098 10927789 | 2147483647   215507     76 |  0.001 % |
398.90/398.97	c |    216380 |  167998  3532098 10927789 | 2147483647   216378     76 |  0.001 % |
399.90/400.01	c |    217338 |  167998  3532098 10927789 | 2147483647   217336     76 |  0.001 % |
401.10/401.16	c |    218392 |  167998  3532098 10927789 | 2147483647   218390     76 |  0.001 % |
402.00/402.04	c |    219551 |  167998  3532098 10927789 | 2147483647   219549     76 |  0.001 % |
403.50/403.52	c |    220825 |  167998  3532098 10927789 | 2147483647   220823     77 |  0.001 % |
405.20/405.31	c |    222225 |  167998  3532098 10927789 | 2147483647   222223     77 |  0.001 % |
409.40/409.45	c |    223766 |  167998  3532098 10927789 | 2147483647   223764     77 |  0.001 % |
411.20/411.24	c |    225462 |  167998  3532098 10927789 | 2147483647   225460     77 |  0.001 % |
412.80/412.91	c |    227325 |  167998  3532098 10927789 | 2147483647   227323     77 |  0.001 % |
417.30/417.35	c |    229374 |  167998  3532098 10927789 | 2147483647   229372     77 |  0.001 % |
421.10/421.16	c |    231627 |  167998  3532098 10927789 | 2147483647   231625     77 |  0.001 % |
421.31/421.41	c |    231730 |  167998  3532098 10927789 | 2147483647   231728     77 |  0.001 % |
421.70/421.74	c |    231840 |  167998  3532098 10927789 | 2147483647   231838     77 |  0.001 % |
422.10/422.19	c |    231961 |  167998  3532098 10927789 | 2147483647   231959     77 |  0.001 % |
422.70/422.73	c |    232095 |  167998  3532098 10927789 | 2147483647   232093     77 |  0.001 % |
423.00/423.06	c |    232243 |  167998  3532098 10927789 | 2147483647   232241     77 |  0.001 % |
423.60/423.71	c |    232405 |  167998  3532098 10927789 | 2147483647   232403     77 |  0.001 % |
424.20/424.24	c |    232581 |  167998  3532098 10927789 | 2147483647   232579     77 |  0.001 % |
424.70/424.75	c |    232775 |  167998  3532098 10927789 | 2147483647   232773     77 |  0.001 % |
425.10/425.12	c |    232987 |  167998  3532098 10927789 | 2147483647   232985     77 |  0.001 % |
425.50/425.60	c |    233220 |  167998  3532098 10927789 | 2147483647   233218     77 |  0.001 % |
425.80/425.87	c |    233476 |  167998  3532098 10927789 | 2147483647   233474     77 |  0.001 % |
426.50/426.56	c |    233758 |  167998  3532098 10927789 | 2147483647   233756     77 |  0.001 % |
426.81/426.88	c |    234069 |  167998  3532098 10927789 | 2147483647   234067     77 |  0.001 % |
428.10/428.21	c |    234409 |  167998  3532098 10927789 | 2147483647   234407     77 |  0.001 % |
428.70/428.74	c |    234781 |  167998  3532098 10927789 | 2147483647   234779     77 |  0.001 % |
429.50/429.55	c |    235191 |  167998  3532098 10927789 | 2147483647   235189     77 |  0.001 % |
430.11/430.20	c |    235642 |  167998  3532098 10927789 | 2147483647   235640     77 |  0.001 % |
431.30/431.32	c |    236135 |  167998  3532098 10927789 | 2147483647   236133     77 |  0.001 % |
432.31/432.37	c |    236677 |  167998  3532098 10927789 | 2147483647   236675     77 |  0.001 % |
433.50/433.55	c |    237274 |  167998  3532098 10927789 | 2147483647   237272     77 |  0.001 % |
434.10/434.14	c |    237929 |  167998  3532098 10927789 | 2147483647   237927     78 |  0.001 % |
435.00/435.02	c |    238649 |  167998  3532098 10927789 | 2147483647   238647     78 |  0.001 % |
437.20/437.31	c |    239441 |  167998  3532098 10927789 | 2147483647   239439     78 |  0.001 % |
438.70/438.74	c |    240314 |  167998  3532098 10927789 | 2147483647   240312     78 |  0.001 % |
439.90/439.98	c |    241273 |  167998  3532098 10927789 | 2147483647   241271     78 |  0.001 % |
442.21/442.23	c |    242328 |  167998  3532098 10927789 | 2147483647   242326     79 |  0.001 % |
443.50/443.60	c |    243487 |  167998  3532098 10927789 | 2147483647   243485     79 |  0.001 % |
445.40/445.44	c |    244760 |  167998  3532098 10927789 | 2147483647   244758     80 |  0.001 % |
448.00/448.08	c |    246160 |  167998  3532098 10927789 | 2147483647   246158     80 |  0.001 % |
449.40/449.43	c |    247700 |  167998  3532098 10927789 | 2147483647   247698     80 |  0.001 % |
451.20/451.27	c |    249395 |  167998  3532098 10927789 | 2147483647   249393     80 |  0.001 % |
452.80/452.91	c |    251258 |  167998  3532098 10927789 | 2147483647   251256     80 |  0.001 % |
456.30/456.38	c |    253308 |  167998  3532098 10927789 | 2147483647   253306     81 |  0.001 % |
460.60/460.68	c |    255561 |  167998  3532098 10927789 | 2147483647   255559     81 |  0.001 % |
463.60/463.65	c |    258039 |  167998  3532098 10927789 | 2147483647   258037     84 |  0.001 % |
463.90/463.94	c |    258140 |  167998  3532098 10927789 | 2147483647   258138     84 |  0.001 % |
464.40/464.48	c |    258257 |  167998  3532098 10927789 | 2147483647   258255     84 |  0.001 % |
464.70/464.77	c |    258378 |  167998  3532098 10927789 | 2147483647   258376     84 |  0.001 % |
464.90/464.97	c |    258511 |  167998  3532098 10927789 | 2147483647   258509     84 |  0.001 % |
465.50/465.54	c |    258657 |  167998  3532098 10927789 | 2147483647   258655     84 |  0.001 % |
465.80/465.86	c |    258818 |  167998  3532098 10927789 | 2147483647   258816     84 |  0.001 % |
466.10/466.15	c |    258994 |  167998  3532098 10927789 | 2147483647   258992     84 |  0.001 % |
466.80/466.86	c |    259187 |  167998  3532098 10927789 | 2147483647   259185     84 |  0.001 % |
467.30/467.32	c |    259399 |  167998  3532098 10927789 | 2147483647   259397     84 |  0.001 % |
467.60/467.64	c |    259633 |  167998  3532098 10927789 | 2147483647   259631     84 |  0.001 % |
468.40/468.49	c |    259890 |  167998  3532098 10927789 | 2147483647   259888     84 |  0.001 % |
469.60/469.66	c |    260171 |  167998  3532098 10927789 | 2147483647   260169     84 |  0.001 % |
470.10/470.12	c |    260484 |  167998  3532098 10927789 | 2147483647   260482     84 |  0.001 % |
470.60/470.71	c |    260824 |  167998  3532098 10927789 | 2147483647   260822     84 |  0.001 % |
471.40/471.48	c |    261197 |  167998  3532098 10927789 | 2147483647   261195     84 |  0.001 % |
471.90/471.92	c |    261607 |  167998  3532098 10927789 | 2147483647   261605     84 |  0.001 % |
472.50/472.59	c |    262057 |  167998  3532098 10927789 | 2147483647   262055     84 |  0.001 % |
473.40/473.43	c |    262551 |  167998  3532098 10927789 | 2147483647   262549     84 |  0.001 % |
474.30/474.36	c |    263093 |  167998  3532098 10927789 | 2147483647   263091     85 |  0.001 % |
475.30/475.37	c |    263691 |  167998  3532098 10927789 | 2147483647   263689     85 |  0.001 % |
476.00/476.10	c |    264347 |  167998  3532098 10927789 | 2147483647   264345     85 |  0.001 % |
477.30/477.38	c |    265067 |  167998  3532098 10927789 | 2147483647   265065     85 |  0.001 % |
479.20/479.28	c |    265859 |  167998  3532098 10927789 | 2147483647   265857     85 |  0.001 % |
480.80/480.84	c |    266730 |  167998  3532098 10927789 | 2147483647   266728     85 |  0.001 % |
481.90/481.96	c |    267688 |  167998  3532098 10927789 | 2147483647   267686     85 |  0.001 % |
483.70/483.72	c |    268741 |  167998  3532098 10927789 | 2147483647   268739     85 |  0.001 % |
485.10/485.18	c |    269900 |  167998  3532098 10927789 | 2147483647   269898     86 |  0.001 % |
486.80/486.81	c |    271175 |  167998  3532098 10927789 | 2147483647   271173     86 |  0.001 % |
489.20/489.31	c |    272575 |  167998  3532098 10927789 | 2147483647   272573     86 |  0.001 % |
491.40/491.43	c |    274115 |  167998  3532098 10927789 | 2147483647   274113     86 |  0.001 % |
494.60/494.63	c |    275809 |  167998  3532098 10927789 | 2147483647   275807     86 |  0.001 % |
497.40/497.48	c |    277679 |  167998  3532098 10927789 | 2147483647   277677     86 |  0.001 % |
500.80/500.84	c |    279728 |  167998  3532098 10927789 | 2147483647   279726     86 |  0.001 % |
503.70/503.73	c |    281981 |  167998  3532098 10927789 | 2147483647   281979     86 |  0.001 % |
507.30/507.35	c |    284462 |  167998  3532098 10927789 | 2147483647   284460     86 |  0.001 % |
509.80/509.90	c |    287190 |  167998  3532098 10927789 | 2147483647   287188     87 |  0.001 % |
510.10/510.21	c |    287291 |  167998  3532098 10927789 | 2147483647   287289     87 |  0.001 % |
510.30/510.34	c |    287403 |  167998  3532098 10927789 | 2147483647   287401     87 |  0.001 % |
510.50/510.52	c |    287528 |  167998  3532098 10927789 | 2147483647   287526     87 |  0.001 % |
510.80/510.82	c |    287661 |  167998  3532098 10927789 | 2147483647   287659     87 |  0.001 % |
511.00/511.01	c |    287807 |  167998  3532098 10927789 | 2147483647   287805     87 |  0.001 % |
511.20/511.25	c |    287967 |  167998  3532098 10927789 | 2147483647   287965     87 |  0.001 % |
511.80/511.82	c |    288144 |  167998  3532098 10927789 | 2147483647   288142     87 |  0.001 % |
512.10/512.20	c |    288337 |  167998  3532098 10927789 | 2147483647   288335     87 |  0.001 % |
512.80/512.90	c |    288549 |  167998  3532098 10927789 | 2147483647   288547     87 |  0.001 % |
513.30/513.40	c |    288782 |  167998  3532098 10927789 | 2147483647   288780     87 |  0.001 % |
513.90/513.92	c |    289039 |  167998  3532098 10927789 | 2147483647   289037     87 |  0.001 % |
514.50/514.53	c |    289322 |  167998  3532098 10927789 | 2147483647   289320     87 |  0.001 % |
514.90/514.94	c |    289631 |  167998  3532098 10927789 | 2147483647   289629     87 |  0.001 % |
515.90/516.00	c |    289971 |  167998  3532098 10927789 | 2147483647   289969     87 |  0.001 % |
517.20/517.28	c |    290343 |  167998  3532098 10927789 | 2147483647   290341     87 |  0.001 % |
517.90/518.01	c |    290752 |  167998  3532098 10927789 | 2147483647   290750     87 |  0.001 % |
519.40/519.41	c |    291203 |  167998  3532098 10927789 | 2147483647   291201     87 |  0.001 % |
520.10/520.18	c |    291696 |  167998  3532098 10927789 | 2147483647   291694     87 |  0.001 % |
521.60/521.67	c |    292238 |  167998  3532098 10927789 | 2147483647   292236     87 |  0.001 % |
522.20/522.30	c |    292837 |  167998  3532098 10927789 | 2147483647   292835     87 |  0.001 % |
523.50/523.55	c |    293493 |  167998  3532098 10927789 | 2147483647   293491     87 |  0.001 % |
524.40/524.45	c |    294213 |  167998  3532098 10927789 | 2147483647   294211     87 |  0.001 % |
526.20/526.21	c |    295007 |  167998  3532098 10927789 | 2147483647   295005     87 |  0.001 % |
527.60/527.62	c |    295878 |  167998  3532098 10927789 | 2147483647   295876     87 |  0.001 % |
529.60/529.68	c |    296837 |  167998  3532098 10927789 | 2147483647   296835     87 |  0.001 % |
530.90/530.99	c |    297890 |  167998  3532098 10927789 | 2147483647   297888     87 |  0.001 % |
533.30/533.36	c |    299048 |  167998  3532098 10927789 | 2147483647   299046     88 |  0.001 % |
536.10/536.19	c |    300321 |  167998  3532098 10927789 | 2147483647   300319     88 |  0.001 % |
538.70/538.80	c |    301721 |  167998  3532098 10927789 | 2147483647   301719     88 |  0.001 % |
540.30/540.39	c |    303262 |  167998  3532098 10927789 | 2147483647   303260     88 |  0.001 % |
542.31/542.38	c |    304956 |  167998  3532098 10927789 | 2147483647   304954     88 |  0.001 % |
546.50/546.61	c |    306820 |  167998  3532098 10927789 | 2147483647   306818     88 |  0.001 % |
550.90/551.00	c |    308872 |  167998  3532098 10927789 | 2147483647   308870     88 |  0.001 % |
553.80/553.87	c |    311125 |  167998  3532098 10927789 | 2147483647   311123     90 |  0.001 % |
556.90/556.93	c |    313604 |  167998  3532098 10927789 | 2147483647   313602     90 |  0.001 % |
559.80/559.84	c |    316330 |  167998  3532098 10927789 | 2147483647   316328     90 |  0.001 % |
563.00/563.10	c |    319327 |  167998  3532098 10927789 | 2147483647   319325     91 |  0.001 % |
563.30/563.37	c |    319427 |  167998  3532098 10927789 | 2147483647   319425     91 |  0.001 % |
563.60/563.63	c |    319537 |  167998  3532098 10927789 | 2147483647   319535     91 |  0.001 % |
564.20/564.23	c |    319659 |  167998  3532098 10927789 | 2147483647   319657     91 |  0.001 % |
564.60/564.66	c |    319792 |  167998  3532098 10927789 | 2147483647   319790     91 |  0.001 % |
565.30/565.35	c |    319938 |  167998  3532098 10927789 | 2147483647   319936     91 |  0.001 % |
565.80/565.81	c |    320100 |  167998  3532098 10927789 | 2147483647   320098     91 |  0.001 % |
566.30/566.37	c |    320276 |  167998  3532098 10927789 | 2147483647   320274     91 |  0.001 % |
566.70/566.78	c |    320471 |  167998  3532098 10927789 | 2147483647   320469     91 |  0.001 % |
567.00/567.08	c |    320686 |  167998  3532098 10927789 | 2147483647   320684     91 |  0.001 % |
567.90/567.91	c |    320921 |  167998  3532098 10927789 | 2147483647   320919     91 |  0.001 % |
568.20/568.23	c |    321177 |  167998  3532098 10927789 | 2147483647   321175     91 |  0.001 % |
568.60/568.62	c |    321461 |  167998  3532098 10927789 | 2147483647   321459     91 |  0.001 % |
569.30/569.37	c |    321770 |  167998  3532098 10927789 | 2147483647   321768     91 |  0.001 % |
569.90/569.93	c |    322111 |  167998  3532098 10927789 | 2147483647   322109     92 |  0.001 % |
570.80/570.87	c |    322483 |  167998  3532098 10927789 | 2147483647   322481     92 |  0.001 % |
571.60/571.63	c |    322892 |  167998  3532098 10927789 | 2147483647   322890     92 |  0.001 % |
572.30/572.34	c |    323341 |  167998  3532098 10927789 | 2147483647   323339     92 |  0.001 % |
573.11/573.19	c |    323834 |  167998  3532098 10927789 | 2147483647   323832     92 |  0.001 % |
574.01/574.08	c |    324377 |  167998  3532098 10927789 | 2147483647   324375     92 |  0.001 % |
574.61/574.64	c |    324976 |  167998  3532098 10927789 | 2147483647   324974     92 |  0.001 % |
575.91/575.95	c |    325632 |  167998  3532098 10927789 | 2147483647   325630     92 |  0.001 % |
576.81/576.82	c |    326352 |  167998  3532098 10927789 | 2147483647   326350     92 |  0.001 % |
578.71/578.76	c |    327144 |  167998  3532098 10927789 | 2147483647   327142     92 |  0.001 % |
579.61/579.69	c |    328016 |  167998  3532098 10927789 | 2147483647   328014     92 |  0.001 % |
581.51/581.53	c |    328975 |  167998  3532098 10927789 | 2147483647   328973     92 |  0.001 % |
582.61/582.65	c |    330028 |  167998  3532098 10927789 | 2147483647   330026     92 |  0.001 % |
584.91/584.96	c |    331188 |  167998  3532098 10927789 | 2147483647   331186     93 |  0.001 % |
586.41/586.51	c |    332461 |  167998  3532098 10927789 | 2147483647   332459     92 |  0.001 % |
588.41/588.50	c |    333861 |  167998  3532098 10927789 | 2147483647   333859     92 |  0.001 % |
590.61/590.68	c |    335403 |  167998  3532098 10927789 | 2147483647   335401     92 |  0.001 % |
593.51/593.53	c |    337097 |  167998  3532098 10927789 | 2147483647   337095     92 |  0.001 % |
596.01/596.10	c |    338960 |  167998  3532098 10927789 | 2147483647   338958     94 |  0.001 % |
598.31/598.38	c |    341009 |  167998  3532098 10927789 | 2147483647   341007     94 |  0.001 % |
601.21/601.24	c |    343264 |  167998  3532098 10927789 | 2147483647   343262     95 |  0.001 % |
604.61/604.64	c |    345742 |  167998  3532098 10927789 | 2147483647   345740     95 |  0.001 % |
608.31/608.40	c |    348467 |  167998  3532098 10927789 | 2147483647   348465     95 |  0.001 % |
611.31/611.41	c |    351464 |  167998  3532098 10927789 | 2147483647   351462     95 |  0.001 % |
614.71/614.76	c |    354762 |  167998  3532098 10927789 | 2147483647   354760     95 |  0.001 % |
614.91/614.91	c |    354863 |  167998  3532098 10927789 | 2147483647   354861     95 |  0.001 % |
615.11/615.16	c |    354973 |  167998  3532098 10927789 | 2147483647   354971     95 |  0.001 % |
615.31/615.38	c |    355094 |  167998  3532098 10927789 | 2147483647   355092     95 |  0.001 % |
615.91/615.95	c |    355228 |  167998  3532098 10927789 | 2147483647   355226     95 |  0.001 % |
616.31/616.35	c |    355375 |  167998  3532098 10927789 | 2147483647   355373     95 |  0.001 % |
616.51/616.61	c |    355535 |  167998  3532098 10927789 | 2147483647   355533     95 |  0.001 % |
617.11/617.12	c |    355712 |  167998  3532098 10927789 | 2147483647   355710     95 |  0.001 % |
617.31/617.41	c |    355905 |  167998  3532098 10927789 | 2147483647   355903     95 |  0.001 % |
618.11/618.13	c |    356119 |  167998  3532098 10927789 | 2147483647   356117     95 |  0.001 % |
618.51/618.61	c |    356352 |  167998  3532098 10927789 | 2147483647   356350     95 |  0.001 % |
618.91/619.01	c |    356609 |  167998  3532098 10927789 | 2147483647   356607     95 |  0.001 % |
619.51/619.52	c |    356890 |  167998  3532098 10927789 | 2147483647   356888     95 |  0.001 % |
619.91/619.96	c |    357200 |  167998  3532098 10927789 | 2147483647   357198     95 |  0.001 % |
620.51/620.59	c |    357540 |  167998  3532098 10927789 | 2147483647   357538     95 |  0.001 % |
621.91/622.01	c |    357913 |  167998  3532098 10927789 | 2147483647   357911     95 |  0.001 % |
623.11/623.14	c |    358323 |  167998  3532098 10927789 | 2147483647   358321     95 |  0.001 % |
623.81/623.83	c |    358773 |  167998  3532098 10927789 | 2147483647   358771     95 |  0.001 % |
624.91/624.99	c |    359266 |  167998  3532098 10927789 | 2147483647   359264     95 |  0.001 % |
625.71/625.74	c |    359808 |  167998  3532098 10927789 | 2147483647   359806     95 |  0.001 % |
626.51/626.58	c |    360404 |  167998  3532098 10927789 | 2147483647   360402     95 |  0.001 % |
627.51/627.55	c |    361059 |  167998  3532098 10927789 | 2147483647   361057     95 |  0.001 % |
628.71/628.75	c |    361779 |  167998  3532098 10927789 | 2147483647   361777     95 |  0.001 % |
629.41/629.50	c |    362571 |  167998  3532098 10927789 | 2147483647   362569     95 |  0.001 % |
630.81/630.87	c |    363445 |  167998  3532098 10927789 | 2147483647   363443     95 |  0.001 % |
632.21/632.30	c |    364404 |  167998  3532098 10927789 | 2147483647   364402     95 |  0.001 % |
633.91/633.96	c |    365457 |  167998  3532098 10927789 | 2147483647   365455     95 |  0.001 % |
636.71/636.78	c |    366617 |  167998  3532098 10927789 | 2147483647   366615     95 |  0.001 % |
639.51/639.60	c |    367890 |  167998  3532098 10927789 | 2147483647   367888     95 |  0.001 % |
641.11/641.16	c |    369290 |  167998  3532098 10927789 | 2147483647   369288     95 |  0.001 % |
642.81/642.84	c |    370830 |  167998  3532098 10927789 | 2147483647   370828     95 |  0.001 % |
645.81/645.91	c |    372524 |  167998  3532098 10927789 | 2147483647   372522     95 |  0.001 % |
649.61/649.62	c |    374388 |  167998  3532098 10927789 | 2147483647   374386     95 |  0.001 % |
652.32/652.41	c |    376437 |  167998  3532098 10927789 | 2147483647   376435     96 |  0.001 % |
656.41/656.43	c |    378691 |  167998  3532098 10927789 | 2147483647   378689     96 |  0.001 % |
660.02/660.04	c |    381169 |  167998  3532098 10927789 | 2147483647   381167     96 |  0.001 % |
663.32/663.39	c |    383894 |  167998  3532098 10927789 | 2147483647   383892     96 |  0.001 % |
668.31/668.37	c |    386893 |  167998  3532098 10927789 | 2147483647   386891     96 |  0.001 % |
672.81/672.88	c |    390190 |  167998  3532098 10927789 | 2147483647   390188    100 |  0.001 % |
677.01/677.09	c |    393815 |  167998  3532098 10927789 | 2147483647   393813     99 |  0.001 % |
677.41/677.45	c |    393917 |  167998  3532098 10927789 | 2147483647   393915     99 |  0.001 % |
677.81/677.87	c |    394027 |  167998  3532098 10927789 | 2147483647   394025     99 |  0.001 % |
678.21/678.25	c |    394148 |  167998  3532098 10927789 | 2147483647   394146     99 |  0.001 % |
678.72/678.75	c |    394281 |  167998  3532098 10927789 | 2147483647   394279     99 |  0.001 % |
679.11/679.18	c |    394428 |  167998  3532098 10927789 | 2147483647   394426     99 |  0.001 % |
679.61/679.63	c |    394589 |  167998  3532098 10927789 | 2147483647   394587     99 |  0.001 % |
680.01/680.01	c |    394768 |  167998  3532098 10927789 | 2147483647   394766     99 |  0.001 % |
680.41/680.50	c |    394961 |  167998  3532098 10927789 | 2147483647   394959     99 |  0.001 % |
681.01/681.05	c |    395173 |  167998  3532098 10927789 | 2147483647   395171     99 |  0.001 % |
681.51/681.53	c |    395407 |  167998  3532098 10927789 | 2147483647   395405     99 |  0.001 % |
681.91/682.00	c |    395664 |  167998  3532098 10927789 | 2147483647   395662     99 |  0.001 % |
683.01/683.04	c |    395945 |  167998  3532098 10927789 | 2147483647   395943     99 |  0.001 % |
683.41/683.47	c |    396254 |  167998  3532098 10927789 | 2147483647   396252     99 |  0.001 % |
684.41/684.48	c |    396593 |  167998  3532098 10927789 | 2147483647   396591     99 |  0.001 % |
685.32/685.33	c |    396968 |  167998  3532098 10927789 | 2147483647   396966     99 |  0.001 % |
685.91/685.95	c |    397377 |  167998  3532098 10927789 | 2147483647   397375     99 |  0.001 % |
686.42/686.49	c |    397827 |  167998  3532098 10927789 | 2147483647   397825     99 |  0.001 % |
687.42/687.51	c |    398320 |  167998  3532098 10927789 | 2147483647   398318     99 |  0.001 % |
688.12/688.19	c |    398862 |  167998  3532098 10927789 | 2147483647   398860     99 |  0.001 % |
689.02/689.10	c |    399459 |  167998  3532098 10927789 | 2147483647   399457     99 |  0.001 % |
689.72/689.81	c |    400115 |  167998  3532098 10927789 | 2147483647   400113     99 |  0.001 % |
691.02/691.09	c |    400835 |  167998  3532098 10927789 | 2147483647   400833     99 |  0.001 % |
692.22/692.24	c |    401628 |  167998  3532098 10927789 | 2147483647   401626     99 |  0.001 % |
693.82/693.91	c |    402499 |  167998  3532098 10927789 | 2147483647   402497     99 |  0.001 % |
695.72/695.76	c |    403459 |  167998  3532098 10927789 | 2147483647   403457     99 |  0.001 % |
697.92/698.00	c |    404512 |  167998  3532098 10927789 | 2147483647   404510     99 |  0.001 % |
699.82/699.86	c |    405670 |  167998  3532098 10927789 | 2147483647   405668     99 |  0.001 % |
703.32/703.37	c |    406943 |  167998  3532098 10927789 | 2147483647   406941     99 |  0.001 % |
705.42/705.49	c |    408343 |  167998  3532098 10927789 | 2147483647   408341     99 |  0.001 % |
708.42/708.43	c |    409890 |  167998  3532098 10927789 | 2147483647   409888     99 |  0.001 % |
710.32/710.38	c |    411587 |  167998  3532098 10927789 | 2147483647   411585     99 |  0.001 % |
714.92/714.93	c |    413453 |  167998  3532098 10927789 | 2147483647   413451     99 |  0.001 % |
717.72/717.74	c |    415502 |  167998  3532098 10927789 | 2147483647   415500     99 |  0.001 % |
720.92/720.99	c |    417757 |  167998  3532098 10927789 | 2147483647   417755     99 |  0.001 % |
725.22/725.24	c |    420236 |  167998  3532098 10927789 | 2147483647   420234     99 |  0.001 % |
728.32/728.37	c |    422961 |  167998  3532098 10927789 | 2147483647   422959    100 |  0.001 % |
733.32/733.41	c |    425962 |  167998  3532098 10927789 | 2147483647   425960     99 |  0.001 % |
736.92/736.95	c |    429260 |  167998  3532098 10927789 | 2147483647   429258    100 |  0.001 % |
742.12/742.15	c |    432886 |  167998  3532098 10927789 | 2147483647   432884    100 |  0.001 % |
747.71/747.81	c |    436873 |  167998  3532098 10927789 | 2147483647   436871    100 |  0.001 % |
747.91/747.99	c |    436973 |  167998  3532098 10927789 | 2147483647   436971    100 |  0.001 % |
748.21/748.24	c |    437083 |  167998  3532098 10927789 | 2147483647   437081    100 |  0.001 % |
748.71/748.77	c |    437204 |  167998  3532098 10927789 | 2147483647   437202    100 |  0.001 % |
749.31/749.33	c |    437337 |  167998  3532098 10927789 | 2147483647   437335    100 |  0.001 % |
749.61/749.68	c |    437490 |  167998  3532098 10927789 | 2147483647   437488    100 |  0.001 % |
750.01/750.01	c |    437650 |  167998  3532098 10927789 | 2147483647   437648    100 |  0.001 % |
750.71/750.72	c |    437826 |  167998  3532098 10927789 | 2147483647   437824    100 |  0.001 % |
751.11/751.15	c |    438023 |  167998  3532098 10927789 | 2147483647   438021    100 |  0.001 % |
751.91/751.91	c |    438238 |  167998  3532098 10927789 | 2147483647   438236    100 |  0.001 % |
752.31/752.34	c |    438474 |  167998  3532098 10927789 | 2147483647   438472    100 |  0.001 % |
752.81/752.83	c |    438730 |  167998  3532098 10927789 | 2147483647   438728    100 |  0.001 % |
753.81/753.83	c |    439011 |  167998  3532098 10927789 | 2147483647   439009    100 |  0.001 % |
754.41/754.45	c |    439321 |  167998  3532098 10927789 | 2147483647   439319    100 |  0.001 % |
755.51/755.56	c |    439664 |  167998  3532098 10927789 | 2147483647   439662    100 |  0.001 % |
756.51/756.56	c |    440036 |  167998  3532098 10927789 | 2147483647   440034    100 |  0.001 % |
757.61/757.62	c |    440446 |  167998  3532098 10927789 | 2147483647   440444    100 |  0.001 % |
758.41/758.42	c |    440899 |  167998  3532098 10927789 | 2147483647   440897    100 |  0.001 % |
760.41/760.49	c |    441392 |  167998  3532098 10927789 | 2147483647   441390    100 |  0.001 % |
762.21/762.31	c |    441934 |  167998  3532098 10927789 | 2147483647   441932    100 |  0.001 % |
763.51/763.55	c |    442531 |  167998  3532098 10927789 | 2147483647   442529    100 |  0.001 % |
764.81/764.90	c |    443186 |  167998  3532098 10927789 | 2147483647   443184    100 |  0.001 % |
765.91/765.96	c |    443906 |  167998  3532098 10927789 | 2147483647   443904    100 |  0.001 % |
766.91/766.99	c |    444698 |  167998  3532098 10927789 | 2147483647   444696    100 |  0.001 % |
768.31/768.38	c |    445569 |  167998  3532098 10927789 | 2147483647   445567    100 |  0.001 % |
770.11/770.18	c |    446527 |  167998  3532098 10927789 | 2147483647   446525    100 |  0.001 % |
772.01/772.01	c |    447580 |  167998  3532098 10927789 | 2147483647   447578    100 |  0.001 % |
774.71/774.76	c |    448739 |  167998  3532098 10927789 | 2147483647   448737    100 |  0.001 % |
776.51/776.55	c |    450013 |  167998  3532098 10927789 | 2147483647   450011    101 |  0.001 % |
779.71/779.73	c |    451416 |  167998  3532098 10927789 | 2147483647   451414    101 |  0.001 % |
782.91/782.91	c |    452958 |  167998  3532098 10927789 | 2147483647   452956    101 |  0.001 % |
786.21/786.27	c |    454654 |  167998  3532098 10927789 | 2147483647   454652    102 |  0.001 % |
788.21/788.29	c |    456522 |  167998  3532098 10927789 | 2147483647   456520    102 |  0.001 % |
791.51/791.55	c |    458571 |  167998  3532098 10927789 | 2147483647   458569    102 |  0.001 % |
796.11/796.13	c |    460825 |  167998  3532098 10927789 | 2147483647   460823    102 |  0.001 % |
799.91/799.91	c |    463303 |  167998  3532098 10927789 | 2147483647   463301    103 |  0.001 % |
803.12/803.17	c |    466028 |  167998  3532098 10927789 | 2147483647   466026    104 |  0.001 % |
807.72/807.73	c |    469025 |  167998  3532098 10927789 | 2147483647   469023    104 |  0.001 % |
813.02/813.03	c |    472322 |  167998  3532098 10927789 | 2147483647   472320    106 |  0.001 % |
818.91/818.95	c |    475947 |  167998  3532098 10927789 | 2147483647   475945    107 |  0.001 % |
825.21/825.20	c |    479935 |  167998  3532098 10927789 | 2147483647   479933    107 |  0.001 % |
832.91/832.97	c |    484321 |  167998  3532098 10927789 | 2147483647   484319    107 |  0.001 % |
833.31/833.37	c |    484421 |  167998  3532098 10927789 | 2147483647   484419    107 |  0.001 % |
833.71/833.71	c |    484531 |  167998  3532098 10927789 | 2147483647   484529    107 |  0.001 % |
834.51/834.58	c |    484653 |  167998  3532098 10927789 | 2147483647   484651    107 |  0.001 % |
834.81/834.85	c |    484786 |  167998  3532098 10927789 | 2147483647   484784    107 |  0.001 % |
835.11/835.19	c |    484932 |  167998  3532098 10927789 | 2147483647   484930    107 |  0.001 % |
835.61/835.67	c |    485092 |  167998  3532098 10927789 | 2147483647   485090    107 |  0.001 % |
836.21/836.24	c |    485268 |  167998  3532098 10927789 | 2147483647   485266    107 |  0.001 % |
836.61/836.66	c |    485462 |  167998  3532098 10927789 | 2147483647   485460    107 |  0.001 % |
837.01/837.08	c |    485674 |  167998  3532098 10927789 | 2147483647   485672    107 |  0.001 % |
837.41/837.44	c |    485908 |  167998  3532098 10927789 | 2147483647   485906    107 |  0.001 % |
838.21/838.21	c |    486164 |  167998  3532098 10927789 | 2147483647   486162    107 |  0.001 % |
838.51/838.54	c |    486445 |  167998  3532098 10927789 | 2147483647   486443    106 |  0.001 % |
839.01/839.01	c |    486756 |  167998  3532098 10927789 | 2147483647   486754    106 |  0.001 % |
839.51/839.53	c |    487096 |  167998  3532098 10927789 | 2147483647   487094    106 |  0.001 % |
840.51/840.55	c |    487468 |  167998  3532098 10927789 | 2147483647   487466    106 |  0.001 % |
841.21/841.23	c |    487879 |  167998  3532098 10927789 | 2147483647   487877    106 |  0.001 % |
842.01/842.03	c |    488328 |  167998  3532098 10927789 | 2147483647   488326    106 |  0.001 % |
843.11/843.12	c |    488821 |  167998  3532098 10927789 | 2147483647   488819    106 |  0.001 % |
844.51/844.60	c |    489363 |  167998  3532098 10927789 | 2147483647   489361    106 |  0.001 % |
845.81/845.86	c |    489964 |  167998  3532098 10927789 | 2147483647   489962    106 |  0.001 % |
847.11/847.12	c |    490619 |  167998  3532098 10927789 | 2147483647   490617    107 |  0.001 % |
848.51/848.58	c |    491339 |  167998  3532098 10927789 | 2147483647   491337    107 |  0.001 % |
849.61/849.69	c |    492131 |  167998  3532098 10927789 | 2147483647   492129    107 |  0.001 % |
851.71/851.77	c |    493002 |  167998  3532098 10927789 | 2147483647   493000    107 |  0.001 % |
853.51/853.51	c |    493965 |  167998  3532098 10927789 | 2147483647   493963    107 |  0.001 % |
855.21/855.24	c |    495019 |  167998  3532098 10927789 | 2147483647   495017    107 |  0.001 % |
859.41/859.46	c |    496178 |  167998  3532098 10927789 | 2147483647   496176    107 |  0.001 % |
861.01/861.10	c |    497451 |  167998  3532098 10927789 | 2147483647   497449    107 |  0.001 % |
864.51/864.54	c |    498851 |  167998  3532098 10927789 | 2147483647   498849    107 |  0.001 % |
866.91/866.98	c |    500392 |  167998  3532098 10927789 | 2147483647   500390    107 |  0.001 % |
870.11/870.19	c |    502087 |  167998  3532098 10927789 | 2147483647   502085    107 |  0.001 % |
872.71/872.76	c |    503951 |  167998  3532098 10927789 | 2147483647   503949    107 |  0.001 % |
876.91/876.96	c |    506000 |  167998  3532098 10927789 | 2147483647   505998    108 |  0.001 % |
880.21/880.25	c |    508253 |  167998  3532098 10927789 | 2147483647   508251    108 |  0.001 % |
886.41/886.46	c |    510732 |  167998  3532098 10927789 | 2147483647   510730    108 |  0.001 % |
891.02/891.01	c |    513460 |  167998  3532098 10927789 | 2147483647   513458    109 |  0.001 % |
895.51/895.58	c |    516458 |  167998  3532098 10927789 | 2147483647   516456    109 |  0.001 % |
900.71/900.76	c |    519754 |  167998  3532098 10927789 | 2147483647   519752    109 |  0.001 % |
905.71/905.71	c |    523379 |  167998  3532098 10927789 | 2147483647   523377    109 |  0.001 % |
912.61/912.68	c |    527366 |  167998  3532098 10927789 | 2147483647   527364    109 |  0.001 % |
918.72/918.76	c |    531752 |  167998  3532098 10927789 | 2147483647   531750    109 |  0.001 % |
925.62/925.64	c |    536575 |  167998  3532098 10927789 | 2147483647   536573    109 |  0.001 % |
926.22/926.27	c |    536677 |  167998  3532098 10927789 | 2147483647   536675    109 |  0.001 % |
926.72/926.77	c |    536787 |  167998  3532098 10927789 | 2147483647   536785    109 |  0.001 % |
927.22/927.27	c |    536908 |  167998  3532098 10927789 | 2147483647   536906    109 |  0.001 % |
927.52/927.58	c |    537042 |  167998  3532098 10927789 | 2147483647   537040    109 |  0.001 % |
927.92/927.99	c |    537189 |  167998  3532098 10927789 | 2147483647   537187    109 |  0.001 % |
928.42/928.46	c |    537349 |  167998  3532098 10927789 | 2147483647   537347    109 |  0.001 % |
928.82/928.84	c |    537525 |  167998  3532098 10927789 | 2147483647   537523    109 |  0.001 % |
930.12/930.12	c |    537718 |  167998  3532098 10927789 | 2147483647   537716    109 |  0.001 % |
930.82/930.87	c |    537932 |  167998  3532098 10927789 | 2147483647   537930    109 |  0.001 % |
931.52/931.59	c |    538166 |  167998  3532098 10927789 | 2147483647   538164    109 |  0.001 % |
932.12/932.15	c |    538422 |  167998  3532098 10927789 | 2147483647   538420    109 |  0.001 % |
933.22/933.29	c |    538703 |  167998  3532098 10927789 | 2147483647   538701    109 |  0.001 % |
934.42/934.46	c |    539012 |  167998  3532098 10927789 | 2147483647   539010    109 |  0.001 % |
935.62/935.63	c |    539351 |  167998  3532098 10927789 | 2147483647   539349    109 |  0.001 % |
936.52/936.60	c |    539723 |  167998  3532098 10927789 | 2147483647   539721    109 |  0.001 % |
937.22/937.24	c |    540133 |  167998  3532098 10927789 | 2147483647   540131    109 |  0.001 % |
938.12/938.13	c |    540582 |  167998  3532098 10927789 | 2147483647   540580    109 |  0.001 % |
939.12/939.19	c |    541075 |  167998  3532098 10927789 | 2147483647   541073    109 |  0.001 % |
940.32/940.38	c |    541617 |  167998  3532098 10927789 | 2147483647   541615    109 |  0.001 % |
941.52/941.56	c |    542215 |  167998  3532098 10927789 | 2147483647   542213    109 |  0.001 % |
942.42/942.51	c |    542871 |  167998  3532098 10927789 | 2147483647   542869    109 |  0.001 % |
943.62/943.68	c |    543592 |  167998  3532098 10927789 | 2147483647   543590    109 |  0.001 % |
945.22/945.28	c |    544384 |  167998  3532098 10927789 | 2147483647   544382    109 |  0.001 % |
946.72/946.71	c |    545255 |  167998  3532098 10927789 | 2147483647   545253    109 |  0.001 % |
948.52/948.55	c |    546213 |  167998  3532098 10927789 | 2147483647   546211    109 |  0.001 % |
950.42/950.44	c |    547267 |  167998  3532098 10927789 | 2147483647   547265    109 |  0.001 % |
952.82/952.88	c |    548425 |  167998  3532098 10927789 | 2147483647   548423    109 |  0.001 % |
954.92/954.96	c |    549698 |  167998  3532098 10927789 | 2147483647   549696    109 |  0.001 % |
956.72/956.81	c |    551099 |  167998  3532098 10927789 | 2147483647   551097    109 |  0.001 % |
961.02/961.10	c |    552641 |  167998  3532098 10927789 | 2147483647   552639    109 |  0.001 % |
965.82/965.86	c |    554335 |  167998  3532098 10927789 | 2147483647   554333    109 |  0.001 % |
969.22/969.21	c |    556198 |  167998  3532098 10927789 | 2147483647   556196    111 |  0.001 % |
971.02/971.07	c |    558248 |  167998  3532098 10927789 | 2147483647   558246    111 |  0.001 % |
974.32/974.31	c |    560501 |  167998  3532098 10927789 | 2147483647   560499    111 |  0.001 % |
980.92/980.98	c |    562980 |  167998  3532098 10927789 | 2147483647   562978    111 |  0.001 % |
985.22/985.27	c |    565705 |  167998  3532098 10927789 | 2147483647   565703    111 |  0.001 % |
990.32/990.36	c |    568703 |  167998  3532098 10927789 | 2147483647   568701    111 |  0.001 % |
996.52/996.58	c |    571999 |  167998  3532098 10927789 | 2147483647   571997    111 |  0.001 % |
1002.82/1002.87	c |    575626 |  167998  3532098 10927789 | 2147483647   575624    111 |  0.001 % |
1009.83/1009.83	c |    579613 |  167998  3532098 10927789 | 2147483647   579611    111 |  0.001 % |
1016.62/1016.68	c |    583999 |  167998  3532098 10927789 | 2147483647   583997    112 |  0.001 % |
1026.22/1026.25	c |    588824 |  167998  3532098 10927789 | 2147483647   588822    112 |  0.001 % |
1034.03/1034.02	c |    594130 |  167998  3532098 10927789 | 2147483647   594128    113 |  0.001 % |
1034.23/1034.27	c |    594231 |  167998  3532098 10927789 | 2147483647   594229    113 |  0.001 % |
1034.53/1034.53	c |    594341 |  167998  3532098 10927789 | 2147483647   594339    113 |  0.001 % |
1034.83/1034.84	c |    594462 |  167998  3532098 10927789 | 2147483647   594460    113 |  0.001 % |
1035.23/1035.25	c |    594595 |  167998  3532098 10927789 | 2147483647   594593    113 |  0.001 % |
1035.63/1035.67	c |    594741 |  167998  3532098 10927789 | 2147483647   594739    113 |  0.001 % |
1036.03/1036.03	c |    594901 |  167998  3532098 10927789 | 2147483647   594899    113 |  0.001 % |
1036.33/1036.34	c |    595077 |  167998  3532098 10927789 | 2147483647   595075    113 |  0.001 % |
1037.03/1037.02	c |    595272 |  167998  3532098 10927789 | 2147483647   595270    113 |  0.001 % |
1037.33/1037.38	c |    595487 |  167998  3532098 10927789 | 2147483647   595485    113 |  0.001 % |
1037.83/1037.91	c |    595720 |  167998  3532098 10927789 | 2147483647   595718    113 |  0.001 % |
1038.43/1038.42	c |    595976 |  167998  3532098 10927789 | 2147483647   595974    113 |  0.001 % |
1038.93/1038.95	c |    596260 |  167998  3532098 10927789 | 2147483647   596258    113 |  0.001 % |
1039.63/1039.63	c |    596572 |  167998  3532098 10927789 | 2147483647   596570    113 |  0.001 % |
1040.03/1040.09	c |    596912 |  167998  3532098 10927789 | 2147483647   596910    113 |  0.001 % |
1040.73/1040.77	c |    597284 |  167998  3532098 10927789 | 2147483647   597282    113 |  0.001 % |
1041.43/1041.45	c |    597695 |  167998  3532098 10927789 | 2147483647   597693    112 |  0.001 % |
1042.23/1042.24	c |    598144 |  167998  3532098 10927789 | 2147483647   598142    112 |  0.001 % |
1043.03/1043.10	c |    598640 |  167998  3532098 10927789 | 2147483647   598638    112 |  0.001 % |
1044.03/1044.02	c |    599183 |  167998  3532098 10927789 | 2147483647   599181    112 |  0.001 % |
1044.63/1044.71	c |    599781 |  167998  3532098 10927789 | 2147483647   599779    112 |  0.001 % |
1045.93/1045.96	c |    600436 |  167998  3532098 10927789 | 2147483647   600434    112 |  0.001 % |
1047.13/1047.20	c |    601157 |  167998  3532098 10927789 | 2147483647   601155    112 |  0.001 % |
1048.33/1048.36	c |    601949 |  167998  3532098 10927789 | 2147483647   601947    112 |  0.001 % |
1049.63/1049.64	c |    602820 |  167998  3532098 10927789 | 2147483647   602818    112 |  0.001 % |
1051.13/1051.12	c |    603779 |  167998  3532098 10927789 | 2147483647   603777    112 |  0.001 % |
1052.63/1052.68	c |    604834 |  167998  3532098 10927789 | 2147483647   604832    112 |  0.001 % |
1054.43/1054.48	c |    605992 |  167998  3532098 10927789 | 2147483647   605990    112 |  0.001 % |
1056.73/1056.78	c |    607267 |  167998  3532098 10927789 | 2147483647   607265    111 |  0.001 % |
1058.83/1058.87	c |    608667 |  167998  3532098 10927789 | 2147483647   608665    111 |  0.001 % |
1061.23/1061.29	c |    610207 |  167998  3532098 10927789 | 2147483647   610205    111 |  0.001 % |
1064.33/1064.35	c |    611903 |  167998  3532098 10927789 | 2147483647   611901    111 |  0.001 % |
1066.83/1066.92	c |    613768 |  167998  3532098 10927789 | 2147483647   613766    111 |  0.001 % |
1070.13/1070.20	c |    615817 |  167998  3532098 10927789 | 2147483647   615815    111 |  0.001 % |
1073.93/1073.97	c |    618071 |  167998  3532098 10927789 | 2147483647   618069    110 |  0.001 % |
1079.73/1079.73	c |    620550 |  167998  3532098 10927789 | 2147483647   620548    111 |  0.001 % |
1084.93/1084.97	c |    623275 |  167998  3532098 10927789 | 2147483647   623273    112 |  0.001 % |
1092.23/1092.26	c |    626273 |  167998  3532098 10927789 | 2147483647   626271    112 |  0.001 % |
1099.23/1099.29	c |    629570 |  167998  3532098 10927789 | 2147483647   629568    112 |  0.001 % |
1105.63/1105.62	c |    633196 |  167998  3532098 10927789 | 2147483647   633194    112 |  0.001 % |
1112.73/1112.76	c |    637185 |  167998  3532098 10927789 | 2147483647   637183    112 |  0.001 % |
1121.43/1121.42	c |    641572 |  167998  3532098 10927789 | 2147483647   641570    112 |  0.001 % |
1131.03/1131.01	c |    646395 |  167998  3532098 10927789 | 2147483647   646393    113 |  0.001 % |
1141.93/1141.98	c |    651703 |  167998  3532098 10927789 | 2147483647   651701    113 |  0.001 % |
1153.24/1153.29	c |    657538 |  167998  3532098 10927789 | 2147483647   657536    114 |  0.001 % |
1154.14/1154.14	c |    657641 |  167998  3532098 10927789 | 2147483647   657639    114 |  0.001 % |
1154.84/1154.86	c |    657752 |  167998  3532098 10927789 | 2147483647   657750    114 |  0.001 % |
1155.14/1155.18	c |    657874 |  167998  3532098 10927789 | 2147483647   657872    114 |  0.001 % |
1155.44/1155.51	c |    658007 |  167998  3532098 10927789 | 2147483647   658005    114 |  0.001 % |
1156.44/1156.43	c |    658153 |  167998  3532098 10927789 | 2147483647   658151    114 |  0.001 % |
1157.24/1157.27	c |    658319 |  167998  3532098 10927789 | 2147483647   658317    114 |  0.001 % |
1157.74/1157.75	c |    658496 |  167998  3532098 10927789 | 2147483647   658494    114 |  0.001 % |
1158.44/1158.46	c |    658689 |  167998  3532098 10927789 | 2147483647   658687    114 |  0.001 % |
1160.24/1160.29	c |    658901 |  167998  3532098 10927789 | 2147483647   658899    114 |  0.001 % |
1161.44/1161.49	c |    659134 |  167998  3532098 10927789 | 2147483647   659132    114 |  0.001 % |
1162.24/1162.30	c |    659390 |  167998  3532098 10927789 | 2147483647   659388    114 |  0.001 % |
1163.24/1163.29	c |    659674 |  167998  3532098 10927789 | 2147483647   659672    114 |  0.001 % |
1164.04/1164.10	c |    659983 |  167998  3532098 10927789 | 2147483647   659981    114 |  0.001 % |
1164.84/1164.88	c |    660322 |  167998  3532098 10927789 | 2147483647   660320    114 |  0.001 % |
1165.84/1165.86	c |    660698 |  167998  3532098 10927789 | 2147483647   660696    114 |  0.001 % |
1167.34/1167.36	c |    661107 |  167998  3532098 10927789 | 2147483647   661105    114 |  0.001 % |
1168.54/1168.60	c |    661556 |  167998  3532098 10927789 | 2147483647   661554    114 |  0.001 % |
1169.94/1169.93	c |    662050 |  167998  3532098 10927789 | 2147483647   662048    114 |  0.001 % |
1171.24/1171.22	c |    662592 |  167998  3532098 10927789 | 2147483647   662590    114 |  0.001 % |
1173.33/1173.39	c |    663191 |  167998  3532098 10927789 | 2147483647   663189    114 |  0.001 % |
1174.93/1174.97	c |    663848 |  167998  3532098 10927789 | 2147483647   663846    114 |  0.001 % |
1178.53/1178.52	c |    664568 |  167998  3532098 10927789 | 2147483647   664566    114 |  0.001 % |
1180.13/1180.13	c |    665360 |  167998  3532098 10927789 | 2147483647   665358    114 |  0.001 % |
1181.83/1181.87	c |    666233 |  167998  3532098 10927789 | 2147483647   666231    114 |  0.001 % |
1185.13/1185.15	c |    667194 |  167998  3532098 10927789 | 2147483647   667192    114 |  0.001 % |
1187.33/1187.37	c |    668247 |  167998  3532098 10927789 | 2147483647   668245    114 |  0.001 % |
1189.43/1189.43	c |    669406 |  167998  3532098 10927789 | 2147483647   669404    114 |  0.001 % |
1192.13/1192.16	c |    670680 |  167998  3532098 10927789 | 2147483647   670678    114 |  0.001 % |
1194.53/1194.54	c |    672080 |  167998  3532098 10927789 | 2147483647   672078    114 |  0.001 % |
1197.63/1197.64	c |    673620 |  167998  3532098 10927789 | 2147483647   673618    115 |  0.001 % |

Verifier Data

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

Watcher Data

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

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

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


[startup+0 s]
/proc/loadavg: 0.93 1.00 0.99 3/91 17229
/proc/meminfo: memFree=920456/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2416 CPUtime=0
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 365 647 0 0 0 0 0 0 25 0 1 0 1010889385 2473984 276 4294967295 134512640 135169312 3217907744 3217906280 3085426414 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17229/statm: 604 276 235 161 0 43 0
[pid=17233] ppid=17229 vsize=948 CPUtime=0
/proc/17233/stat : 17233 (SatELite_releas) R 17229 17229 9090 0 -1 4202496 105 0 0 0 0 0 0 0 25 0 1 0 1010889386 970752 41 4294967295 134512640 135223648 3216305808 3216304268 134660511 0 0 0 3 0 0 0 17 1 0 0 0
/proc/17233/statm: 237 49 40 174 0 62 0

[startup+0.038995 s]
/proc/loadavg: 0.93 1.00 0.99 3/91 17229
/proc/meminfo: memFree=920456/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2416 CPUtime=0
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 365 647 0 0 0 0 0 0 25 0 1 0 1010889385 2473984 276 4294967295 134512640 135169312 3217907744 3217906280 3085426414 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17229/statm: 604 276 235 161 0 43 0
[pid=17233] ppid=17229 vsize=4228 CPUtime=0.04
/proc/17233/stat : 17233 (SatELite_releas) R 17229 17229 9090 0 -1 4202496 920 0 0 0 3 1 0 0 25 0 1 0 1010889386 4329472 856 4294967295 134512640 135223648 3216305808 3216304376 134719062 0 0 0 3 0 0 0 17 1 0 0 0
/proc/17233/statm: 1057 856 46 174 0 882 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 6644

[startup+0.108988 s]
/proc/loadavg: 0.93 1.00 0.99 3/91 17229
/proc/meminfo: memFree=920456/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2416 CPUtime=0
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 365 647 0 0 0 0 0 0 25 0 1 0 1010889385 2473984 276 4294967295 134512640 135169312 3217907744 3217906280 3085426414 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17229/statm: 604 276 235 161 0 43 0
[pid=17233] ppid=17229 vsize=9988 CPUtime=0.11
/proc/17233/stat : 17233 (SatELite_releas) R 17229 17229 9090 0 -1 4202496 2252 0 0 0 10 1 0 0 25 0 1 0 1010889386 10227712 2188 4294967295 134512640 135223648 3216305808 3216304760 134737310 0 0 0 3 0 0 0 17 1 0 0 0
/proc/17233/statm: 2497 2189 46 174 0 2322 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 12404

[startup+0.308978 s]
/proc/loadavg: 0.93 1.00 0.99 3/91 17229
/proc/meminfo: memFree=920456/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2416 CPUtime=0
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 365 647 0 0 0 0 0 0 25 0 1 0 1010889385 2473984 276 4294967295 134512640 135169312 3217907744 3217906280 3085426414 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17229/statm: 604 276 235 161 0 43 0
[pid=17233] ppid=17229 vsize=27300 CPUtime=0.31
/proc/17233/stat : 17233 (SatELite_releas) R 17229 17229 9090 0 -1 4202496 5942 0 0 0 29 2 0 0 25 0 1 0 1010889386 27955200 5878 4294967295 134512640 135223648 3216305808 3216304544 134540952 0 0 0 3 0 0 0 17 1 0 0 0
/proc/17233/statm: 6825 5879 46 174 0 6650 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 29716

[startup+0.708959 s]
/proc/loadavg: 0.93 1.00 0.99 3/91 17229
/proc/meminfo: memFree=920456/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2416 CPUtime=0
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 365 647 0 0 0 0 0 0 25 0 1 0 1010889385 2473984 276 4294967295 134512640 135169312 3217907744 3217906280 3085426414 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17229/statm: 604 276 235 161 0 43 0
[pid=17233] ppid=17229 vsize=51288 CPUtime=0.71
/proc/17233/stat : 17233 (SatELite_releas) R 17229 17229 9090 0 -1 4202496 12614 0 0 0 65 6 0 0 25 0 1 0 1010889386 52518912 12550 4294967295 134512640 135223648 3216305808 3216304376 134719062 0 0 0 3 0 0 0 17 1 0 0 0
/proc/17233/statm: 12822 12550 46 174 0 12647 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 53704

[startup+1.50892 s]
/proc/loadavg: 0.93 1.00 0.99 5/94 17330
/proc/meminfo: memFree=849960/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2416 CPUtime=0
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 365 647 0 0 0 0 0 0 25 0 1 0 1010889385 2473984 276 4294967295 134512640 135169312 3217907744 3217906280 3085426414 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17229/statm: 604 276 235 161 0 43 0
[pid=17233] ppid=17229 vsize=117716 CPUtime=1.51
/proc/17233/stat : 17233 (SatELite_releas) R 17229 17229 9090 0 -1 4202496 26218 0 0 0 128 23 0 0 25 0 1 0 1010889386 120541184 26154 4294967295 134512640 135223648 3216305808 3216304760 134737310 0 0 0 3 0 0 0 17 1 0 0 0
/proc/17233/statm: 29429 26154 46 174 0 29254 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 120132

[startup+3.11884 s]
/proc/loadavg: 0.93 1.00 0.99 2/93 17417
/proc/meminfo: memFree=777216/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2416 CPUtime=0
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 365 647 0 0 0 0 0 0 25 0 1 0 1010889385 2473984 276 4294967295 134512640 135169312 3217907744 3217906280 3085426414 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17229/statm: 604 276 235 161 0 43 0
[pid=17233] ppid=17229 vsize=235580 CPUtime=3.11
/proc/17233/stat : 17233 (SatELite_releas) R 17229 17229 9090 0 -1 4202496 56597 0 0 0 268 43 0 0 25 0 1 0 1010889386 241233920 56533 4294967295 134512640 135223648 3216305808 3216304816 134547589 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17233/statm: 58895 56533 47 174 0 58720 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 237996

[startup+6.31874 s]
/proc/loadavg: 0.93 1.00 0.99 2/93 17417
/proc/meminfo: memFree=677096/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2416 CPUtime=0
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 365 647 0 0 0 0 0 0 25 0 1 0 1010889385 2473984 276 4294967295 134512640 135169312 3217907744 3217906280 3085426414 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17229/statm: 604 276 235 161 0 43 0
[pid=17233] ppid=17229 vsize=268328 CPUtime=6.31
/proc/17233/stat : 17233 (SatELite_releas) R 17229 17229 9090 0 -1 4202496 72118 0 0 0 581 50 0 0 25 0 1 0 1010889386 274767872 64441 4294967295 134512640 135223648 3216305808 3216303808 134548987 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17233/statm: 67082 64441 73 174 0 66907 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 270744

[startup+12.7184 s]
/proc/loadavg: 0.94 1.00 0.99 2/93 17417
/proc/meminfo: memFree=650184/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2416 CPUtime=0
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 365 647 0 0 0 0 0 0 25 0 1 0 1010889385 2473984 276 4294967295 134512640 135169312 3217907744 3217906280 3085426414 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17229/statm: 604 276 235 161 0 43 0
[pid=17233] ppid=17229 vsize=296868 CPUtime=12.71
/proc/17233/stat : 17233 (SatELite_releas) R 17229 17229 9090 0 -1 4202496 75397 0 0 0 1216 55 0 0 25 0 1 0 1010889386 303992832 67720 4294967295 134512640 135223648 3216305808 3216303824 134586629 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17233/statm: 74217 67720 73 174 0 74042 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 299284

[startup+25.5178 s]
/proc/loadavg: 0.95 1.00 0.99 2/93 17418
/proc/meminfo: memFree=599688/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2416 CPUtime=0
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 365 647 0 0 0 0 0 0 25 0 1 0 1010889385 2473984 276 4294967295 134512640 135169312 3217907744 3217906280 3085426414 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17229/statm: 604 276 235 161 0 43 0
[pid=17233] ppid=17229 vsize=359188 CPUtime=25.51
/proc/17233/stat : 17233 (SatELite_releas) R 17229 17229 9090 0 -1 4202496 87052 0 0 0 2487 64 0 0 25 0 1 0 1010889386 367808512 78807 4294967295 134512640 135223648 3216305808 3216303616 134549042 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17233/statm: 89797 78807 73 174 0 89622 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 361604

[startup+51.1165 s]
/proc/loadavg: 0.97 1.00 0.99 2/93 17421
/proc/meminfo: memFree=599232/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2416 CPUtime=0
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 365 647 0 0 0 0 0 0 25 0 1 0 1010889385 2473984 276 4294967295 134512640 135169312 3217907744 3217906280 3085426414 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17229/statm: 604 276 235 161 0 43 0
[pid=17233] ppid=17229 vsize=359792 CPUtime=51.11
/proc/17233/stat : 17233 (SatELite_releas) R 17229 17229 9090 0 -1 4202496 87183 0 0 0 5047 64 0 0 25 0 1 0 1010889386 368427008 78938 4294967295 134512640 135223648 3216305808 3216304140 134611921 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17233/statm: 89948 78938 73 174 0 89773 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 362208

[startup+102.314 s]
/proc/loadavg: 0.98 1.00 0.99 4/93 17608
/proc/meminfo: memFree=662864/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2420 CPUtime=57.5
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 385 95416 0 0 0 0 5666 84 18 0 1 0 1010889385 2478080 278 4294967295 134512640 135169312 3217907744 3217903960 3085426414 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17229/statm: 605 278 235 161 0 44 0
[pid=17422] ppid=17229 vsize=172640 CPUtime=44.78
/proc/17422/stat : 17422 (minisat_static) R 17229 17229 9090 0 -1 4202496 42293 0 0 0 4453 25 0 0 25 0 1 0 1010895139 176783360 42219 4294967295 134512640 135215339 3220554496 3220552784 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17422/statm: 43160 42219 73 172 0 42987 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 175060

[startup+162.311 s]
/proc/loadavg: 0.99 1.00 0.99 2/93 17796
/proc/meminfo: memFree=652676/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2420 CPUtime=57.5
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 385 95416 0 0 0 0 5666 84 18 0 1 0 1010889385 2478080 278 4294967295 134512640 135169312 3217907744 3217903960 3085426414 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17229/statm: 605 278 235 161 0 44 0
[pid=17422] ppid=17229 vsize=182928 CPUtime=104.78
/proc/17422/stat : 17422 (minisat_static) R 17229 17229 9090 0 -1 4202496 44847 0 0 0 10451 27 0 0 25 0 1 0 1010895139 187318272 44773 4294967295 134512640 135215339 3220554496 3220552784 134528666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17422/statm: 45732 44773 73 172 0 45559 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 185348

[startup+222.308 s]
/proc/loadavg: 0.99 1.00 0.99 2/93 17985
/proc/meminfo: memFree=640260/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2420 CPUtime=57.5
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 385 95416 0 0 0 0 5666 84 18 0 1 0 1010889385 2478080 278 4294967295 134512640 135169312 3217907744 3217903960 3085426414 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17229/statm: 605 278 235 161 0 44 0
[pid=17422] ppid=17229 vsize=195468 CPUtime=164.78
/proc/17422/stat : 17422 (minisat_static) R 17229 17229 9090 0 -1 4202496 47930 0 0 0 16446 32 0 0 25 0 1 0 1010895139 200159232 47856 4294967295 134512640 135215339 3220554496 3220552784 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17422/statm: 48867 47856 73 172 0 48694 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 197888

[startup+282.315 s]
/proc/loadavg: 0.99 1.00 0.99 3/93 18176
/proc/meminfo: memFree=625388/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2420 CPUtime=57.5
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 385 95416 0 0 0 0 5666 84 18 0 1 0 1010889385 2478080 278 4294967295 134512640 135169312 3217907744 3217903960 3085426414 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17229/statm: 605 278 235 161 0 44 0
[pid=17422] ppid=17229 vsize=210736 CPUtime=224.79
/proc/17422/stat : 17422 (minisat_static) R 17229 17229 9090 0 -1 4202496 51712 0 0 0 22445 34 0 0 25 0 1 0 1010895139 215793664 51638 4294967295 134512640 135215339 3220554496 3220552784 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17422/statm: 52684 51638 73 172 0 52511 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 213156

[startup+342.312 s]
/proc/loadavg: 0.99 1.00 0.99 2/93 18367
/proc/meminfo: memFree=610896/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2420 CPUtime=57.5
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 385 95416 0 0 0 0 5666 84 18 0 1 0 1010889385 2478080 278 4294967295 134512640 135169312 3217907744 3217903960 3085426414 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17229/statm: 605 278 235 161 0 44 0
[pid=17422] ppid=17229 vsize=225084 CPUtime=284.79
/proc/17422/stat : 17422 (minisat_static) R 17229 17229 9090 0 -1 4202496 55320 0 0 0 28440 39 0 0 25 0 1 0 1010895139 230486016 55246 4294967295 134512640 135215339 3220554496 3220552496 134532626 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17422/statm: 56271 55246 73 172 0 56098 0
Current children cumulated CPU time (s) 342.29

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

/proc/17422/statm: 70263 69226 73 172 0 70090 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 283472

[startup+582.321 s]
/proc/loadavg: 0.99 1.00 0.99 3/93 19117
/proc/meminfo: memFree=534388/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2420 CPUtime=57.5
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 385 95416 0 0 0 0 5666 84 18 0 1 0 1010889385 2478080 278 4294967295 134512640 135169312 3217907744 3217903960 3085426414 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17229/statm: 605 278 235 161 0 44 0
[pid=17422] ppid=17229 vsize=302140 CPUtime=524.81
/proc/17422/stat : 17422 (minisat_static) R 17229 17229 9090 0 -1 4202496 74442 0 0 0 52435 46 0 0 25 0 1 0 1010895139 309391360 74368 4294967295 134512640 135215339 3220554496 3220552768 134525025 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17422/statm: 75535 74368 73 172 0 75362 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 304560

[startup+642.318 s]
/proc/loadavg: 0.99 1.00 0.99 3/93 19321
/proc/meminfo: memFree=513672/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2420 CPUtime=57.5
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 385 95416 0 0 0 0 5666 84 18 0 1 0 1010889385 2478080 278 4294967295 134512640 135169312 3217907744 3217903960 3085426414 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17229/statm: 605 278 235 161 0 44 0
[pid=17422] ppid=17229 vsize=322532 CPUtime=584.81
/proc/17422/stat : 17422 (minisat_static) R 17229 17229 9090 0 -1 4202496 79549 0 0 0 58432 49 0 0 25 0 1 0 1010895139 330272768 79475 4294967295 134512640 135215339 3220554496 3220552784 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17422/statm: 80633 79475 73 172 0 80460 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 324952

[startup+702.325 s]
/proc/loadavg: 0.99 1.00 0.99 3/93 19507
/proc/meminfo: memFree=492328/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2420 CPUtime=57.5
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 385 95416 0 0 0 0 5666 84 18 0 1 0 1010889385 2478080 278 4294967295 134512640 135169312 3217907744 3217903960 3085426414 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17229/statm: 605 278 235 161 0 44 0
[pid=17422] ppid=17229 vsize=343588 CPUtime=644.82
/proc/17422/stat : 17422 (minisat_static) R 17229 17229 9090 0 -1 4202496 84828 0 0 0 64429 53 0 0 25 0 1 0 1010895139 351834112 84754 4294967295 134512640 135215339 3220554496 3220552712 134721382 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17422/statm: 85897 84754 73 172 0 85724 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 346008

[startup+762.322 s]
/proc/loadavg: 0.99 1.00 0.99 3/93 19695
/proc/meminfo: memFree=475116/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2420 CPUtime=57.5
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 385 95416 0 0 0 0 5666 84 18 0 1 0 1010889385 2478080 278 4294967295 134512640 135169312 3217907744 3217903960 3085426414 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17229/statm: 605 278 235 161 0 44 0
[pid=17422] ppid=17229 vsize=360760 CPUtime=704.82
/proc/17422/stat : 17422 (minisat_static) R 17229 17229 9090 0 -1 4202496 89127 0 0 0 70426 56 0 0 25 0 1 0 1010895139 369418240 89053 4294967295 134512640 135215339 3220554496 3220552784 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17422/statm: 90190 89053 73 172 0 90017 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 363180

[startup+822.309 s]
/proc/loadavg: 0.99 1.00 0.99 2/93 19884
/proc/meminfo: memFree=447572/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2420 CPUtime=57.5
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 385 95416 0 0 0 0 5666 84 18 0 1 0 1010889385 2478080 278 4294967295 134512640 135169312 3217907744 3217903960 3085426414 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17229/statm: 605 278 235 161 0 44 0
[pid=17422] ppid=17229 vsize=389308 CPUtime=764.81
/proc/17422/stat : 17422 (minisat_static) R 17229 17229 9090 0 -1 4202496 96062 0 0 0 76419 62 0 0 25 0 1 0 1010895139 398651392 95988 4294967295 134512640 135215339 3220554496 3220552784 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17422/statm: 97327 95988 73 172 0 97154 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 391728

[startup+882.306 s]
/proc/loadavg: 0.99 1.00 0.99 3/93 20071
/proc/meminfo: memFree=430352/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2420 CPUtime=57.5
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 385 95416 0 0 0 0 5666 84 18 0 1 0 1010889385 2478080 278 4294967295 134512640 135169312 3217907744 3217903960 3085426414 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17229/statm: 605 278 235 161 0 44 0
[pid=17422] ppid=17229 vsize=406136 CPUtime=824.81
/proc/17422/stat : 17422 (minisat_static) R 17229 17229 9090 0 -1 4202496 100295 0 0 0 82411 70 0 0 25 0 1 0 1010895139 415883264 100221 4294967295 134512640 135215339 3220554496 3220552784 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17422/statm: 101534 100221 73 172 0 101361 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 408556

[startup+942.313 s]
/proc/loadavg: 0.99 1.00 0.99 2/93 20260
/proc/meminfo: memFree=413240/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2420 CPUtime=57.5
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 385 95416 0 0 0 0 5666 84 18 0 1 0 1010889385 2478080 278 4294967295 134512640 135169312 3217907744 3217903960 3085426414 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17229/statm: 605 278 235 161 0 44 0
[pid=17422] ppid=17229 vsize=423204 CPUtime=884.82
/proc/17422/stat : 17422 (minisat_static) R 17229 17229 9090 0 -1 4202496 104573 0 0 0 88409 73 0 0 25 0 1 0 1010895139 433360896 104499 4294967295 134512640 135215339 3220554496 3220552784 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17422/statm: 105801 104499 73 172 0 105628 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 425624

[startup+1002.31 s]
/proc/loadavg: 1.18 1.06 1.01 2/93 20446
/proc/meminfo: memFree=392152/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2420 CPUtime=57.5
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 385 95416 0 0 0 0 5666 84 18 0 1 0 1010889385 2478080 278 4294967295 134512640 135169312 3217907744 3217903960 3085426414 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17229/statm: 605 278 235 161 0 44 0
[pid=17422] ppid=17229 vsize=443928 CPUtime=944.82
/proc/17422/stat : 17422 (minisat_static) R 17229 17229 9090 0 -1 4202496 109812 0 0 0 94406 76 0 0 25 0 1 0 1010895139 454582272 109738 4294967295 134512640 135215339 3220554496 3220552784 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17422/statm: 110982 109738 73 172 0 110809 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 446348

[startup+1062.32 s]
/proc/loadavg: 1.06 1.04 1.01 3/93 20638
/proc/meminfo: memFree=375916/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2420 CPUtime=57.5
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 385 95416 0 0 0 0 5666 84 18 0 1 0 1010889385 2478080 278 4294967295 134512640 135169312 3217907744 3217903960 3085426414 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17229/statm: 605 278 235 161 0 44 0
[pid=17422] ppid=17229 vsize=460176 CPUtime=1004.83
/proc/17422/stat : 17422 (minisat_static) R 17229 17229 9090 0 -1 4202496 113903 0 0 0 100402 81 0 0 25 0 1 0 1010895139 471220224 113829 4294967295 134512640 135215339 3220554496 3220552784 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17422/statm: 115044 113829 73 172 0 114871 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 462596

[startup+1122.31 s]
/proc/loadavg: 1.02 1.03 1.00 3/93 20827
/proc/meminfo: memFree=358416/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2420 CPUtime=57.5
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 385 95416 0 0 0 0 5666 84 18 0 1 0 1010889385 2478080 278 4294967295 134512640 135169312 3217907744 3217903960 3085426414 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17229/statm: 605 278 235 161 0 44 0
[pid=17422] ppid=17229 vsize=477684 CPUtime=1064.83
/proc/17422/stat : 17422 (minisat_static) R 17229 17229 9090 0 -1 4202496 118288 0 0 0 106398 85 0 0 25 0 1 0 1010895139 489148416 118214 4294967295 134512640 135215339 3220554496 3220552784 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17422/statm: 119421 118214 73 172 0 119248 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 480104

[startup+1182.31 s]
/proc/loadavg: 1.01 1.02 1.00 2/93 21014
/proc/meminfo: memFree=341320/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2420 CPUtime=57.5
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 385 95416 0 0 0 0 5666 84 18 0 1 0 1010889385 2478080 278 4294967295 134512640 135169312 3217907744 3217903960 3085426414 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17229/statm: 605 278 235 161 0 44 0
[pid=17422] ppid=17229 vsize=494780 CPUtime=1124.83
/proc/17422/stat : 17422 (minisat_static) R 17229 17229 9090 0 -1 4202496 122565 0 0 0 112394 89 0 0 25 0 1 0 1010895139 506654720 122491 4294967295 134512640 135215339 3220554496 3220552784 134528669 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17422/statm: 123695 122491 73 172 0 123522 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 497200



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.01 s]
/proc/loadavg: 1.00 1.02 1.00 2/93 21016
/proc/meminfo: memFree=334856/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2420 CPUtime=57.5
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 385 95416 0 0 0 0 5666 84 18 0 1 0 1010889385 2478080 278 4294967295 134512640 135169312 3217907744 3217903960 3085426414 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17229/statm: 605 278 235 161 0 44 0
[pid=17422] ppid=17229 vsize=501172 CPUtime=1142.53
/proc/17422/stat : 17422 (minisat_static) R 17229 17229 9090 0 -1 4202496 124131 0 0 0 114161 92 0 0 25 0 1 0 1010895139 513200128 124057 4294967295 134512640 135215339 3220554496 3220552532 134721382 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17422/statm: 125293 124057 73 172 0 125120 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 503592

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 17229 and gives
#  childrusage.ru_utime.tv_sec=56
#  childrusage.ru_utime.tv_usec=660000
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=840000
# CPU time returned by wait4() is 57.5
# while last known CPU time is 1200.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1200.03
CPU time (s): 1200.03
CPU user time (s): 1198.27
CPU system time (s): 1.76
CPU usage (%): 99.9999
Max. virtual memory (cumulated for all children) (KiB): 503592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 56.66
system time used= 0.84
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95801
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= 21
involuntary context switches= 1769

runsolver used 0.01 second user time and 0.02 second system time

The end

Launcher Data

Begin job on tipi19 at 2009-05-16 10:51:25
IDJOB=1820656
IDBENCH=20576
IDSOLVER=657
FILE ID=tipi19/1820656-1242463885
PBS_JOBID=
Free space on /tmp= 9686 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq6.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1820656-1242463885/watcher-1820656-1242463885 -o /tmp/evaluation-result-1820656-1242463885/solver-1820656-1242463885 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1820656-1242463885.cnf

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

MD5SUM BENCH= 580dc3969c4e46e50013253fd4ac9139
RANDOM SEED= 1342263618

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

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

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

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

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


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:        920860 kB
Buffers:         46120 kB
Cached:         998860 kB
SwapCached:       3036 kB
Active:         403932 kB
Inactive:       650508 kB
HighTotal:     1178688 kB
HighFree:       358180 kB
LowTotal:       895776 kB
LowFree:        562680 kB
SwapTotal:     1959888 kB
SwapFree:      1953004 kB
Dirty:           99880 kB
Writeback:           0 kB
AnonPages:        8860 kB
Mapped:           3428 kB
Slab:            90452 kB
PageTables:        484 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    87780 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 9602 MiB
End job on tipi19 at 2009-05-16 11:11:33