Trace number 1837294

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) 10000.1 10003

General information on the benchmark

NameAPPLICATIONS/crypto/
md5gen/gus-md5-15.cnf
MD5SUMc8a05d1e76535706c430a6b42d191d4b
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 variables69695
Number of clauses227171
Sum of the clauses size588683
Maximum clause length3
Minimum clause length1
Number of clauses of size 1129
Number of clauses of size 292572
Number of clauses of size 3134470
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Parsing...
0.00/0.19	c ==============================================================================
0.00/0.19	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.19	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.19	c ==============================================================================
0.00/0.19	c |         0 |  226528   587013 |   67958       0        0     nan |  0.000 % |
1.18/1.25	c |         0 |  163587   553632 |      --       0       --      -- |     --   | -62941/-33381
1.18/1.25	c ==============================================================================
1.18/1.25	c Result  :   #vars: 28546   #clauses: 163587   #literals: 553632
1.18/1.25	c CPU time:   1.19482 s
1.18/1.25	c ==============================================================================
1.38/1.46	c This is MiniSat 2.0 beta
1.38/1.46	c WARNING: for repeatability, setting FPU to use double precision
1.38/1.46	c ============================[ Problem Statistics ]=============================
1.38/1.46	c |                                                                             |
1.38/1.46	c |  Number of variables:  28546                                                |
1.38/1.46	c |  Number of clauses:    163587                                               |
1.45/1.56	c |  Parsing time:         0.08         s                                       |
1.45/1.57	c ============================[ Search Statistics ]==============================
1.45/1.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.45/1.57	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.45/1.57	c ===============================================================================
1.45/1.57	c |         0 |   28546   163587   553632 |    54529        0    nan |  0.000 % |
1.45/1.63	c |       100 |   28540   163587   553632 |    54529       94      9 |  0.032 % |
1.45/2.05	c |       200 |   28540   163587   553632 |    54529      194     50 |  0.032 % |
2.68/2.71	c |       300 |   28540   163587   553632 |    54529      294     69 |  0.032 % |
3.18/3.28	c |       410 |   28537   163514   553414 |    54529      398     87 |  0.032 % |
3.77/3.87	c |       510 |   28537   163514   553414 |    54529      498     98 |  0.032 % |
4.17/4.27	c |       620 |   28537   163514   553414 |    54529      608     93 |  0.032 % |
4.88/4.99	c |       741 |   28537   163514   553414 |    54529      729     99 |  0.032 % |
5.27/5.39	c |       842 |   28537   163514   553414 |    54529      830     99 |  0.032 % |
6.17/6.20	c |       953 |   28537   163514   553414 |    54529      941    103 |  0.032 % |
6.67/6.70	c |      1075 |   28537   163514   553414 |    54529     1063     94 |  0.032 % |
7.27/7.38	c |      1208 |   28535   163489   553337 |    54529     1194     93 |  0.039 % |
7.68/7.76	c |      1308 |   28532   163471   553288 |    54529     1293     91 |  0.049 % |
7.87/7.97	c |      1420 |   28530   163471   553288 |    54529     1404     88 |  0.056 % |
7.97/8.03	c |      1542 |   28530   163471   553288 |    54529     1526     82 |  0.056 % |
8.27/8.35	c |      1675 |   28528   163471   553288 |    54529     1658     81 |  0.063 % |
8.87/8.94	c |      1821 |   28528   163471   553288 |    54529     1804     84 |  0.063 % |
9.37/9.47	c |      1921 |   28528   163451   553238 |    54529     1904     84 |  0.063 % |
9.88/9.93	c |      2033 |   28528   163451   553238 |    54529     2016     85 |  0.063 % |
10.47/10.51	c |      2155 |   28528   163451   553238 |    54529     2138     86 |  0.063 % |
10.87/10.99	c |      2288 |   28528   163451   553238 |    54529     2271     87 |  0.063 % |
11.97/12.03	c |      2434 |   28528   163451   553238 |    54529     2417     82 |  0.063 % |
13.08/13.17	c |      2595 |   28528   163451   553238 |    54529     2578     86 |  0.063 % |
13.88/13.99	c |      2695 |   28528   163451   553238 |    54529     2678     90 |  0.063 % |
14.88/14.97	c |      2805 |   28524   163419   553139 |    54529     2786     93 |  0.077 % |
15.87/15.93	c |      2927 |   28524   163419   553139 |    54529     2908     96 |  0.077 % |
16.88/16.96	c |      3060 |   28524   163419   553139 |    54529     3041     93 |  0.077 % |
17.87/17.93	c |      3206 |   28524   163419   553139 |    54529     3187     96 |  0.077 % |
18.97/19.03	c |      3367 |   28524   163419   553139 |    54529     3348     92 |  0.077 % |
20.07/20.11	c |      3544 |   28524   163419   553139 |    54529     3525     94 |  0.077 % |
20.78/20.83	c |      3644 |   28524   163419   553139 |    54529     3625     96 |  0.077 % |
20.88/20.95	c |      3755 |   28524   163419   553139 |    54529     3736     94 |  0.077 % |
21.27/21.34	c |      3877 |   28524   163419   553139 |    54529     3858     92 |  0.077 % |
21.27/21.38	c |      4010 |   28524   163419   553139 |    54529     3991     89 |  0.077 % |
21.37/21.40	c |      4156 |   28524   163419   553139 |    54529     4137     86 |  0.077 % |
22.57/22.68	c |      4316 |   28524   163419   553139 |    54529     4297     84 |  0.077 % |
23.57/23.67	c |      4492 |   28524   163419   553139 |    54529     4473     85 |  0.077 % |
25.37/25.48	c |      4686 |   28524   163419   553139 |    54529     4667     88 |  0.077 % |
25.97/26.02	c |      4787 |   28524   163419   553139 |    54529     4768     89 |  0.077 % |
26.37/26.43	c |      4897 |   28520   163387   553040 |    54529     4876     89 |  0.091 % |
27.27/27.36	c |      5019 |   28520   163387   553040 |    54529     4998     90 |  0.091 % |
27.77/27.82	c |      5152 |   28520   163387   553040 |    54529     5131     89 |  0.091 % |
28.27/28.37	c |      5298 |   28520   163387   553040 |    54529     5277     89 |  0.091 % |
29.67/29.76	c |      5458 |   28520   163387   553040 |    54529     5437     92 |  0.091 % |
30.97/31.07	c |      5634 |   28520   163387   553040 |    54529     5613     90 |  0.091 % |
32.17/32.26	c |      5827 |   28520   163387   553040 |    54529     5806     91 |  0.091 % |
33.27/33.33	c |      6040 |   28520   163387   553040 |    54529     6019     91 |  0.091 % |
33.67/33.78	c |      6140 |   28520   163387   553040 |    54529     6119     90 |  0.091 % |
34.57/34.67	c |      6252 |   28520   163387   553040 |    54529     6231     91 |  0.091 % |
35.47/35.51	c |      6374 |   28520   163387   553040 |    54529     6353     90 |  0.091 % |
35.47/35.59	c |      6507 |   28520   163387   553040 |    54529     6486     89 |  0.091 % |
35.87/35.91	c |      6655 |   28520   163387   553040 |    54529     6634     87 |  0.091 % |
36.07/36.13	c |      6815 |   28520   163387   553040 |    54529     6794     86 |  0.091 % |
36.37/36.42	c |      6992 |   28510   163382   553028 |    54529     6968     85 |  0.126 % |
37.37/37.44	c |      7186 |   28510   163382   553028 |    54529     7162     86 |  0.126 % |
38.07/38.17	c |      7399 |   28510   163382   553028 |    54529     7375     85 |  0.126 % |
38.97/39.07	c |      7632 |   28510   163340   552920 |    54529     7605     86 |  0.126 % |
39.27/39.32	c |      7732 |   28510   163340   552920 |    54529     7705     85 |  0.126 % |
39.67/39.75	c |      7842 |   28510   163340   552920 |    54529     7815     85 |  0.126 % |
40.17/40.28	c |      7963 |   28510   163340   552920 |    54529     7936     85 |  0.126 % |
40.77/40.80	c |      8097 |   28506   163323   552876 |    54529     8069     85 |  0.140 % |
41.57/41.69	c |      8244 |   28506   163323   552876 |    54529     8216     85 |  0.140 % |
42.26/42.37	c |      8405 |   28506   163323   552876 |    54529     8377     85 |  0.140 % |
43.46/43.56	c |      8581 |   28506   163323   552876 |    54529     8553     87 |  0.140 % |
44.76/44.89	c |      8774 |   28506   163323   552876 |    54529     8746     86 |  0.140 % |
45.66/45.76	c |      8986 |   28506   163323   552876 |    54529     8958     86 |  0.140 % |
46.76/46.87	c |      9220 |   28506   163323   552876 |    54529     9192     87 |  0.140 % |
48.76/48.87	c |      9476 |   28506   163323   552876 |    54529     9448     89 |  0.140 % |
49.26/49.38	c |      9576 |   28506   163323   552876 |    54529     9548     89 |  0.140 % |
50.06/50.14	c |      9687 |   28506   163323   552876 |    54529     9659     90 |  0.140 % |
50.26/50.35	c |      9809 |   28506   163323   552876 |    54529     9781     90 |  0.140 % |
50.66/50.71	c |      9943 |   28506   163323   552876 |    54529     9915     89 |  0.140 % |
51.36/51.49	c |     10089 |   28506   163323   552876 | 2147483647    10061     90 |  0.140 % |
51.97/52.06	c |     10250 |   28506   163323   552876 | 2147483647    10222     90 |  0.140 % |
52.87/52.91	c |     10426 |   28506   163323   552876 | 2147483647    10398     89 |  0.140 % |
53.87/53.99	c |     10620 |   28506   163323   552876 | 2147483647    10592     90 |  0.140 % |
54.87/55.00	c |     10832 |   28506   163323   552876 | 2147483647    10804     90 |  0.140 % |
56.26/56.33	c |     11069 |   28506   163323   552876 | 2147483647    11041     91 |  0.140 % |
56.86/56.97	c |     11326 |   28506   163323   552876 | 2147483647    11298     89 |  0.140 % |
58.66/58.79	c |     11610 |   28506   163323   552876 | 2147483647    11582     90 |  0.140 % |
59.46/59.53	c |     11711 |   28506   163323   552876 | 2147483647    11683     91 |  0.140 % |
59.86/59.93	c |     11821 |   28506   163323   552876 | 2147483647    11793     91 |  0.140 % |
60.66/60.71	c |     11943 |   28506   163323   552876 | 2147483647    11915     91 |  0.140 % |
61.66/61.72	c |     12077 |   28506   163323   552876 | 2147483647    12049     90 |  0.140 % |
62.56/62.67	c |     12223 |   28506   163323   552876 | 2147483647    12195     90 |  0.140 % |
63.36/63.45	c |     12384 |   28506   163323   552876 | 2147483647    12356     90 |  0.140 % |
64.06/64.15	c |     12560 |   28506   163323   552876 | 2147483647    12532     90 |  0.140 % |
64.96/65.03	c |     12754 |   28506   163323   552876 | 2147483647    12726     91 |  0.140 % |
65.46/65.56	c |     12966 |   28506   163323   552876 | 2147483647    12938     90 |  0.140 % |
66.06/66.18	c |     13200 |   28506   163323   552876 | 2147483647    13172     89 |  0.140 % |
67.56/67.68	c |     13457 |   28506   163323   552876 | 2147483647    13429     90 |  0.140 % |
69.05/69.17	c |     13738 |   28506   163323   552876 | 2147483647    13710     90 |  0.140 % |
69.85/69.91	c |     14047 |   28506   163323   552876 | 2147483647    14019     90 |  0.140 % |
70.36/70.49	c |     14147 |   28506   163323   552876 | 2147483647    14119     90 |  0.140 % |
71.25/71.35	c |     14257 |   28506   163323   552876 | 2147483647    14229     90 |  0.140 % |
71.96/72.06	c |     14379 |   28506   163323   552876 | 2147483647    14351     90 |  0.140 % |
72.57/72.69	c |     14512 |   28506   163323   552876 | 2147483647    14484     90 |  0.140 % |
72.66/72.77	c |     14659 |   28506   163323   552876 | 2147483647    14631     89 |  0.140 % |
73.66/73.79	c |     14819 |   28506   163323   552876 | 2147483647    14791     90 |  0.140 % |
74.46/74.59	c |     14995 |   28506   163323   552876 | 2147483647    14967     90 |  0.140 % |
75.06/75.18	c |     15189 |   28506   163323   552876 | 2147483647    15161     90 |  0.140 % |
76.06/76.18	c |     15401 |   28506   163323   552876 | 2147483647    15373     90 |  0.140 % |
76.56/76.67	c |     15634 |   28506   163323   552876 | 2147483647    15606     90 |  0.140 % |
77.96/78.02	c |     15890 |   28506   163323   552876 | 2147483647    15862     90 |  0.140 % |
78.76/78.89	c |     16172 |   28506   163323   552876 | 2147483647    16144     90 |  0.140 % |
81.06/81.18	c |     16482 |   28506   163323   552876 | 2147483647    16454     91 |  0.140 % |
82.66/82.78	c |     16822 |   28506   163323   552876 | 2147483647    16794     91 |  0.140 % |
83.56/83.61	c |     16922 |   28506   163323   552876 | 2147483647    16894     91 |  0.140 % |
83.86/83.99	c |     17032 |   28506   163323   552876 | 2147483647    17004     91 |  0.140 % |
84.66/84.73	c |     17154 |   28506   163323   552876 | 2147483647    17126     92 |  0.140 % |
84.96/85.10	c |     17287 |   28506   163323   552876 | 2147483647    17259     91 |  0.140 % |
85.76/85.82	c |     17433 |   28506   163323   552876 | 2147483647    17405     91 |  0.140 % |
86.35/86.47	c |     17593 |   28506   163323   552876 | 2147483647    17565     91 |  0.140 % |
87.15/87.24	c |     17770 |   28506   163323   552876 | 2147483647    17742     91 |  0.140 % |
88.15/88.27	c |     17965 |   28506   163323   552876 | 2147483647    17937     92 |  0.140 % |
89.25/89.39	c |     18178 |   28506   163323   552876 | 2147483647    18150     92 |  0.140 % |
90.05/90.18	c |     18412 |   28506   163323   552876 | 2147483647    18384     92 |  0.140 % |
91.25/91.37	c |     18668 |   28506   163323   552876 | 2147483647    18640     92 |  0.140 % |
93.06/93.14	c |     18950 |   28506   163323   552876 | 2147483647    18922     93 |  0.140 % |
94.65/94.75	c |     19259 |   28506   163323   552876 | 2147483647    19231     93 |  0.140 % |
96.85/96.97	c |     19599 |   28506   163323   552876 | 2147483647    19571     94 |  0.140 % |
98.75/98.80	c |     19971 |   28506   163323   552876 | 2147483647    19943     95 |  0.140 % |
99.25/99.31	c |     20072 |   28506   163323   552876 | 2147483647    20044     95 |  0.140 % |
99.85/100.00	c |     20182 |   28506   163323   552876 | 2147483647    20154     95 |  0.140 % |
100.65/100.78	c |     20303 |   28506   163323   552876 | 2147483647    20275     95 |  0.140 % |
101.45/101.52	c |     20436 |   28506   163323   552876 | 2147483647    20408     95 |  0.140 % |
102.45/102.53	c |     20583 |   28506   163323   552876 | 2147483647    20555     95 |  0.140 % |
103.05/103.15	c |     20744 |   28506   163323   552876 | 2147483647    20716     95 |  0.140 % |
104.35/104.44	c |     20920 |   28506   163323   552876 | 2147483647    20892     95 |  0.140 % |
105.34/105.43	c |     21117 |   28506   163323   552876 | 2147483647    21089     95 |  0.140 % |
106.24/106.34	c |     21332 |   28506   163323   552876 | 2147483647    21304     95 |  0.140 % |
107.54/107.68	c |     21566 |   28506   163323   552876 | 2147483647    21538     95 |  0.140 % |
108.85/108.90	c |     21822 |   28505   163318   552864 | 2147483647    21792     95 |  0.144 % |
110.25/110.34	c |     22103 |   28505   163318   552864 | 2147483647    22073     96 |  0.144 % |
112.15/112.30	c |     22412 |   28505   163318   552864 | 2147483647    22382     96 |  0.144 % |
113.75/113.90	c |     22751 |   28505   163318   552864 | 2147483647    22721     97 |  0.144 % |
115.75/115.85	c |     23123 |   28505   163318   552864 | 2147483647    23093     97 |  0.144 % |
117.65/117.75	c |     23533 |   28505   163318   552864 | 2147483647    23503     97 |  0.144 % |
118.15/118.25	c |     23633 |   28505   163318   552864 | 2147483647    23603     97 |  0.144 % |
118.75/118.87	c |     23743 |   28505   163318   552864 | 2147483647    23713     97 |  0.144 % |
119.25/119.36	c |     23864 |   28505   163318   552864 | 2147483647    23834     97 |  0.144 % |
119.75/119.86	c |     23998 |   28505   163318   552864 | 2147483647    23968     97 |  0.144 % |
120.74/120.88	c |     24145 |   28505   163318   552864 | 2147483647    24115     97 |  0.144 % |
121.64/121.78	c |     24306 |   28505   163318   552864 | 2147483647    24276     97 |  0.144 % |
122.44/122.50	c |     24483 |   28505   163318   552864 | 2147483647    24453     98 |  0.144 % |
123.74/123.87	c |     24676 |   28505   163318   552864 | 2147483647    24646     97 |  0.144 % |
124.64/124.77	c |     24889 |   28505   163318   552864 | 2147483647    24859     97 |  0.144 % |
126.04/126.20	c |     25123 |   28505   163318   552864 | 2147483647    25093     98 |  0.144 % |
127.34/127.43	c |     25380 |   28505   163318   552864 | 2147483647    25350     98 |  0.144 % |
128.54/128.65	c |     25662 |   28505   163318   552864 | 2147483647    25632     97 |  0.144 % |
131.24/131.32	c |     25972 |   28505   163318   552864 | 2147483647    25942     98 |  0.144 % |
132.84/132.90	c |     26312 |   28505   163318   552864 | 2147483647    26282     98 |  0.144 % |
135.34/135.44	c |     26686 |   28505   163318   552864 | 2147483647    26656     98 |  0.144 % |
137.74/137.82	c |     27096 |   28505   163318   552864 | 2147483647    27066     99 |  0.144 % |
140.04/140.17	c |     27546 |   28505   163318   552864 | 2147483647    27516     99 |  0.144 % |
140.33/140.47	c |     27646 |   28505   163318   552864 | 2147483647    27616     99 |  0.144 % |
141.13/141.23	c |     27757 |   28505   163318   552864 | 2147483647    27727     99 |  0.144 % |
141.53/141.64	c |     27878 |   28505   163318   552864 | 2147483647    27848     99 |  0.144 % |
142.84/142.95	c |     28012 |   28505   163318   552864 | 2147483647    27982     99 |  0.144 % |
143.73/143.89	c |     28159 |   28505   163318   552864 | 2147483647    28129     99 |  0.144 % |
145.04/145.20	c |     28320 |   28505   163318   552864 | 2147483647    28290     99 |  0.144 % |
146.33/146.41	c |     28496 |   28505   163318   552864 | 2147483647    28466    100 |  0.144 % |
147.63/147.76	c |     28690 |   28505   163318   552864 | 2147483647    28660    100 |  0.144 % |
149.33/149.42	c |     28902 |   28505   163318   552864 | 2147483647    28872     99 |  0.144 % |
150.74/150.86	c |     29135 |   28505   163318   552864 | 2147483647    29105    100 |  0.144 % |
152.44/152.55	c |     29393 |   28505   163318   552864 | 2147483647    29363    100 |  0.144 % |
154.73/154.81	c |     29674 |   28505   163318   552864 | 2147483647    29644    100 |  0.144 % |
156.33/156.43	c |     29985 |   28505   163318   552864 | 2147483647    29955    100 |  0.144 % |
159.03/159.17	c |     30324 |   28505   163318   552864 | 2147483647    30294    101 |  0.144 % |
160.73/160.85	c |     30697 |   28505   163318   552864 | 2147483647    30667    101 |  0.144 % |
162.73/162.82	c |     31106 |   28505   163318   552864 | 2147483647    31076    100 |  0.144 % |
165.93/166.03	c |     31555 |   28505   163318   552864 | 2147483647    31525    101 |  0.144 % |
167.63/167.80	c |     32048 |   28505   163318   552864 | 2147483647    32018    101 |  0.144 % |
167.93/168.04	c |     32148 |   28505   163318   552864 | 2147483647    32118    101 |  0.144 % |
168.33/168.49	c |     32260 |   28505   163318   552864 | 2147483647    32230    101 |  0.144 % |
169.03/169.14	c |     32381 |   28505   163318   552864 | 2147483647    32351    101 |  0.144 % |
169.63/169.77	c |     32514 |   28505   163318   552864 | 2147483647    32484    101 |  0.144 % |
170.63/170.74	c |     32661 |   28505   163318   552864 | 2147483647    32631    101 |  0.144 % |
171.43/171.57	c |     32821 |   28505   163318   552864 | 2147483647    32791    101 |  0.144 % |
172.42/172.57	c |     32999 |   28505   163318   552864 | 2147483647    32969    101 |  0.144 % |
173.63/173.70	c |     33192 |   28505   163318   552864 | 2147483647    33162    101 |  0.144 % |
175.22/175.32	c |     33405 |   28505   163318   552864 | 2147483647    33375    101 |  0.144 % |
175.52/175.69	c |     33638 |   28505   163318   552864 | 2147483647    33608    101 |  0.144 % |
177.22/177.36	c |     33894 |   28505   163318   552864 | 2147483647    33864    101 |  0.144 % |
178.52/178.69	c |     34175 |   28505   163318   552864 | 2147483647    34145    101 |  0.144 % |
180.22/180.38	c |     34485 |   28505   163318   552864 | 2147483647    34455    100 |  0.144 % |
182.93/183.09	c |     34825 |   28505   163318   552864 | 2147483647    34795    100 |  0.144 % |
185.92/186.06	c |     35198 |   28505   163318   552864 | 2147483647    35168    100 |  0.144 % |
187.93/188.07	c |     35608 |   28505   163318   552864 | 2147483647    35578     99 |  0.144 % |
191.52/191.62	c |     36057 |   28505   163318   552864 | 2147483647    36027    100 |  0.144 % |
193.92/194.02	c |     36552 |   28505   163318   552864 | 2147483647    36522     99 |  0.144 % |
197.92/198.01	c |     37094 |   28505   163318   552864 | 2147483647    37064    100 |  0.144 % |
198.61/198.77	c |     37196 |   28505   163318   552864 | 2147483647    37166    100 |  0.144 % |
199.11/199.20	c |     37306 |   28505   163318   552864 | 2147483647    37276    100 |  0.144 % |
200.12/200.25	c |     37427 |   28505   163318   552864 | 2147483647    37397    100 |  0.144 % |
201.11/201.20	c |     37560 |   28505   163318   552864 | 2147483647    37530    100 |  0.144 % |
202.11/202.20	c |     37707 |   28505   163318   552864 | 2147483647    37677    100 |  0.144 % |
203.21/203.30	c |     37867 |   28505   163318   552864 | 2147483647    37837    100 |  0.144 % |
203.81/203.92	c |     38045 |   28505   163318   552864 | 2147483647    38015     99 |  0.144 % |
205.01/205.10	c |     38238 |   28505   163318   552864 | 2147483647    38208    100 |  0.144 % |
206.61/206.80	c |     38451 |   28505   163318   552864 | 2147483647    38421     99 |  0.144 % |
207.91/208.09	c |     38685 |   28505   163318   552864 | 2147483647    38655     99 |  0.144 % |
209.61/209.75	c |     38941 |   28505   163318   552864 | 2147483647    38911    100 |  0.144 % |
210.60/210.79	c |     39222 |   28505   163318   552864 | 2147483647    39192     99 |  0.144 % |
212.80/212.91	c |     39531 |   28505   163318   552864 | 2147483647    39501    100 |  0.144 % |
214.70/214.85	c |     39870 |   28505   163318   552864 | 2147483647    39840     99 |  0.144 % |
216.90/217.00	c |     40243 |   28505   163318   552864 | 2147483647    40213    100 |  0.144 % |
218.90/219.00	c |     40653 |   28505   163318   552864 | 2147483647    40623    100 |  0.144 % |
223.00/223.16	c |     41103 |   28505   163318   552864 | 2147483647    41073     99 |  0.144 % |
226.20/226.37	c |     41597 |   28505   163318   552864 | 2147483647    41567    100 |  0.144 % |
229.60/229.76	c |     42140 |   28505   163318   552864 | 2147483647    42110    100 |  0.144 % |
232.90/233.09	c |     42736 |   28505   163318   552864 | 2147483647    42706    101 |  0.144 % |
233.80/233.92	c |     42837 |   28505   163318   552864 | 2147483647    42807    101 |  0.144 % |
234.10/234.27	c |     42947 |   28505   163318   552864 | 2147483647    42917    101 |  0.144 % |
235.10/235.21	c |     43068 |   28505   163318   552864 | 2147483647    43038    101 |  0.144 % |
236.00/236.13	c |     43202 |   28505   163318   552864 | 2147483647    43172    101 |  0.144 % |
237.00/237.16	c |     43348 |   28505   163318   552864 | 2147483647    43318    101 |  0.144 % |
238.30/238.48	c |     43508 |   28505   163318   552864 | 2147483647    43478    100 |  0.144 % |
240.00/240.14	c |     43685 |   28505   163318   552864 | 2147483647    43655    101 |  0.144 % |
241.49/241.69	c |     43880 |   28505   163318   552864 | 2147483647    43850    101 |  0.144 % |
243.00/243.13	c |     44092 |   28505   163318   552864 | 2147483647    44062    101 |  0.144 % |
244.10/244.22	c |     44325 |   28505   163318   552864 | 2147483647    44295    101 |  0.144 % |
246.09/246.27	c |     44581 |   28505   163318   552864 | 2147483647    44551    101 |  0.144 % |
248.29/248.42	c |     44863 |   28505   163318   552864 | 2147483647    44833    101 |  0.144 % |
249.99/250.10	c |     45172 |   28505   163318   552864 | 2147483647    45142    101 |  0.144 % |
252.39/252.58	c |     45511 |   28505   163318   552864 | 2147483647    45481    100 |  0.144 % |
253.09/253.27	c |     45884 |   28505   163318   552864 | 2147483647    45854    100 |  0.144 % |
256.10/256.22	c |     46294 |   28505   163318   552864 | 2147483647    46264    100 |  0.144 % |
256.79/256.97	c |     46744 |   28505   163318   552864 | 2147483647    46714    100 |  0.144 % |
260.29/260.44	c |     47237 |   28505   163318   552864 | 2147483647    47207    101 |  0.144 % |
263.09/263.24	c |     47783 |   28505   163318   552864 | 2147483647    47753    101 |  0.144 % |
265.79/265.94	c |     48381 |   28505   163318   552864 | 2147483647    48351    100 |  0.144 % |
269.88/270.09	c |     49037 |   28505   163318   552864 | 2147483647    49007     99 |  0.144 % |
270.58/270.71	c |     49137 |   28505   163318   552864 | 2147483647    49107     99 |  0.144 % |
271.18/271.32	c |     49248 |   28505   163318   552864 | 2147483647    49218     99 |  0.144 % |
272.08/272.26	c |     49369 |   28505   163318   552864 | 2147483647    49339     99 |  0.144 % |
272.78/272.98	c |     49502 |   28505   163318   552864 | 2147483647    49472     99 |  0.144 % |
273.78/273.96	c |     49648 |   28505   163318   552864 | 2147483647    49618     99 |  0.144 % |
274.68/274.81	c |     49809 |   28505   163318   552864 | 2147483647    49779     99 |  0.144 % |
275.79/275.92	c |     49986 |   28505   163318   552864 | 2147483647    49956     99 |  0.144 % |
277.09/277.27	c |     50182 |   28505   163318   552864 | 2147483647    50152     99 |  0.144 % |
278.19/278.37	c |     50395 |   28505   163318   552864 | 2147483647    50365     99 |  0.144 % |
279.49/279.68	c |     50629 |   28505   163318   552864 | 2147483647    50599     99 |  0.144 % |
281.19/281.37	c |     50885 |   28505   163318   552864 | 2147483647    50855     99 |  0.144 % |
283.08/283.23	c |     51168 |   28505   163318   552864 | 2147483647    51138     99 |  0.144 % |
285.28/285.49	c |     51477 |   28505   163318   552864 | 2147483647    51447     99 |  0.144 % |
287.58/287.70	c |     51818 |   28505   163318   552864 | 2147483647    51788    100 |  0.144 % |
288.68/288.86	c |     52193 |   28505   163318   552864 | 2147483647    52163     99 |  0.144 % |
291.47/291.60	c |     52603 |   28505   163318   552864 | 2147483647    52573    100 |  0.144 % |
294.68/294.87	c |     53053 |   28505   163318   552864 | 2147483647    53023    100 |  0.144 % |
297.17/297.34	c |     53546 |   28505   163318   552864 | 2147483647    53516    100 |  0.144 % |
301.07/301.30	c |     54091 |   28505   163318   552864 | 2147483647    54061    100 |  0.144 % |
305.27/305.46	c |     54687 |   28505   163318   552864 | 2147483647    54657    101 |  0.144 % |
309.48/309.65	c |     55342 |   28505   163318   552864 | 2147483647    55312    100 |  0.144 % |
314.67/314.89	c |     56062 |   28505   163318   552864 | 2147483647    56032    100 |  0.144 % |
315.57/315.71	c |     56162 |   28505   163318   552864 | 2147483647    56132    100 |  0.144 % |
315.87/316.01	c |     56274 |   28505   163318   552864 | 2147483647    56244    100 |  0.144 % |
316.57/316.70	c |     56395 |   28505   163318   552864 | 2147483647    56365    100 |  0.144 % |
317.07/317.22	c |     56529 |   28505   163318   552864 | 2147483647    56499    100 |  0.144 % |
318.17/318.36	c |     56675 |   28505   163318   552864 | 2147483647    56645    100 |  0.144 % |
318.87/319.02	c |     56835 |   28505   163318   552864 | 2147483647    56805    100 |  0.144 % |
320.07/320.29	c |     57013 |   28505   163318   552864 | 2147483647    56983    100 |  0.144 % |
321.77/321.99	c |     57207 |   28505   163318   552864 | 2147483647    57177    100 |  0.144 % |
323.87/324.07	c |     57419 |   28505   163318   552864 | 2147483647    57389    100 |  0.144 % |
325.77/325.94	c |     57653 |   28505   163318   552864 | 2147483647    57623    100 |  0.144 % |
327.67/327.88	c |     57909 |   28505   163318   552864 | 2147483647    57879    100 |  0.144 % |
329.07/329.23	c |     58190 |   28505   163318   552864 | 2147483647    58160    100 |  0.144 % |
331.46/331.60	c |     58499 |   28505   163318   552864 | 2147483647    58469    100 |  0.144 % |
334.66/334.84	c |     58839 |   28505   163318   552864 | 2147483647    58809    101 |  0.144 % |
337.66/337.81	c |     59211 |   28505   163318   552864 | 2147483647    59181    100 |  0.144 % |
340.86/341.03	c |     59620 |   28505   163318   552864 | 2147483647    59590    101 |  0.144 % |
343.46/343.64	c |     60069 |   28505   163318   552864 | 2147483647    60039    101 |  0.144 % |
346.95/347.15	c |     60562 |   28505   163318   552864 | 2147483647    60532    101 |  0.144 % |
350.36/350.52	c |     61105 |   28505   163318   552864 | 2147483647    61075    101 |  0.144 % |
353.76/353.94	c |     61702 |   28505   163318   552864 | 2147483647    61672    102 |  0.144 % |
357.85/358.07	c |     62357 |   28505   163318   552864 | 2147483647    62327    102 |  0.144 % |
361.25/361.46	c |     63078 |   28505   163318   552864 | 2147483647    63048    101 |  0.144 % |
366.05/366.22	c |     63870 |   28505   163318   552864 | 2147483647    63840    101 |  0.144 % |
366.65/366.84	c |     63970 |   28505   163318   552864 | 2147483647    63940    101 |  0.144 % |
367.25/367.47	c |     64080 |   28505   163318   552864 | 2147483647    64050    101 |  0.144 % |
367.75/368.00	c |     64203 |   28505   163318   552864 | 2147483647    64173    101 |  0.144 % |
368.46/368.67	c |     64336 |   28505   163318   552864 | 2147483647    64306    101 |  0.144 % |
369.56/369.75	c |     64482 |   28505   163318   552864 | 2147483647    64452    101 |  0.144 % |
370.85/371.04	c |     64643 |   28505   163318   552864 | 2147483647    64613    101 |  0.144 % |
371.66/371.83	c |     64820 |   28505   163318   552864 | 2147483647    64790    101 |  0.144 % |
372.95/373.16	c |     65013 |   28505   163318   552864 | 2147483647    64983    101 |  0.144 % |
374.25/374.45	c |     65227 |   28505   163318   552864 | 2147483647    65197    101 |  0.144 % |
375.46/375.61	c |     65462 |   28505   163318   552864 | 2147483647    65432    101 |  0.144 % |
376.45/376.66	c |     65719 |   28505   163318   552864 | 2147483647    65689    101 |  0.144 % |
378.25/378.48	c |     66001 |   28505   163318   552864 | 2147483647    65971    101 |  0.144 % |
379.85/380.08	c |     66311 |   28505   163318   552864 | 2147483647    66281    101 |  0.144 % |
381.25/381.50	c |     66650 |   28505   163318   552864 | 2147483647    66620    101 |  0.144 % |
383.65/383.81	c |     67022 |   28505   163318   552864 | 2147483647    66992    101 |  0.144 % |
386.35/386.52	c |     67432 |   28505   163318   552864 | 2147483647    67402    101 |  0.144 % |
389.15/389.39	c |     67881 |   28505   163318   552864 | 2147483647    67851    101 |  0.144 % |
391.84/392.02	c |     68374 |   28505   163318   552864 | 2147483647    68344    101 |  0.144 % |
395.04/395.24	c |     68917 |   28505   163318   552864 | 2147483647    68887    102 |  0.144 % |
399.64/399.86	c |     69513 |   28505   163318   552864 | 2147483647    69483    102 |  0.144 % |
404.35/404.56	c |     70169 |   28505   163318   552864 | 2147483647    70139    102 |  0.144 % |
408.65/408.81	c |     70891 |   28505   163318   552864 | 2147483647    70861    102 |  0.144 % |
412.64/412.86	c |     71684 |   28505   163318   552864 | 2147483647    71654    102 |  0.144 % |
417.85/418.05	c |     72556 |   28505   163318   552864 | 2147483647    72526    102 |  0.144 % |
418.24/418.40	c |     72656 |   28505   163318   552864 | 2147483647    72626    102 |  0.144 % |
418.95/419.18	c |     72766 |   28505   163318   552864 | 2147483647    72736    102 |  0.144 % |
420.04/420.29	c |     72887 |   28505   163318   552864 | 2147483647    72857    102 |  0.144 % |
421.14/421.38	c |     73020 |   28505   163318   552864 | 2147483647    72990    102 |  0.144 % |
422.24/422.44	c |     73167 |   28505   163318   552864 | 2147483647    73137    102 |  0.144 % |
423.34/423.53	c |     73327 |   28505   163318   552864 | 2147483647    73297    102 |  0.144 % |
424.24/424.50	c |     73503 |   28505   163318   552864 | 2147483647    73473    102 |  0.144 % |
425.14/425.34	c |     73698 |   28505   163318   552864 | 2147483647    73668    102 |  0.144 % |
426.84/427.04	c |     73911 |   28505   163318   552864 | 2147483647    73881    102 |  0.144 % |
427.53/427.75	c |     74144 |   28505   163318   552864 | 2147483647    74114    102 |  0.144 % |
429.33/429.53	c |     74401 |   28505   163318   552864 | 2147483647    74371    102 |  0.144 % |
430.73/430.97	c |     74683 |   28505   163318   552864 | 2147483647    74653    102 |  0.144 % |
432.83/433.04	c |     74992 |   28505   163318   552864 | 2147483647    74962    102 |  0.144 % |
435.23/435.45	c |     75333 |   28505   163318   552864 | 2147483647    75303    101 |  0.144 % |
437.43/437.64	c |     75705 |   28505   163318   552864 | 2147483647    75675    101 |  0.144 % |
440.84/441.07	c |     76115 |   28505   163318   552864 | 2147483647    76085    102 |  0.144 % |
443.44/443.67	c |     76565 |   28505   163318   552864 | 2147483647    76535    101 |  0.144 % |
446.44/446.68	c |     77058 |   28505   163318   552864 | 2147483647    77028    102 |  0.144 % |
450.43/450.66	c |     77601 |   28505   163318   552864 | 2147483647    77571    102 |  0.144 % |
452.63/452.81	c |     78197 |   28505   163318   552864 | 2147483647    78167    102 |  0.144 % |
456.03/456.26	c |     78852 |   28505   163318   552864 | 2147483647    78822    102 |  0.144 % |
459.12/459.34	c |     79572 |   28505   163318   552864 | 2147483647    79542    102 |  0.144 % |
461.83/462.01	c |     80366 |   28505   163318   552864 | 2147483647    80336    101 |  0.144 % |
466.92/467.19	c |     81237 |   28505   163318   552864 | 2147483647    81207    101 |  0.144 % |
473.33/473.53	c |     82195 |   28505   163318   552864 | 2147483647    82165    101 |  0.144 % |
474.13/474.34	c |     82295 |   28505   163318   552864 | 2147483647    82265    101 |  0.144 % |
474.93/475.20	c |     82405 |   28505   163318   552864 | 2147483647    82375    101 |  0.144 % |
475.93/476.12	c |     82528 |   28505   163318   552864 | 2147483647    82498    101 |  0.144 % |
477.32/477.56	c |     82661 |   28505   163318   552864 | 2147483647    82631    101 |  0.144 % |
478.33/478.56	c |     82808 |   28505   163318   552864 | 2147483647    82778    102 |  0.144 % |
479.92/480.17	c |     82968 |   28505   163318   552864 | 2147483647    82938    102 |  0.144 % |
480.72/480.99	c |     83147 |   28505   163318   552864 | 2147483647    83117    102 |  0.144 % |
481.62/481.83	c |     83342 |   28505   163318   552864 | 2147483647    83312    101 |  0.144 % |
482.82/483.01	c |     83554 |   28505   163318   552864 | 2147483647    83524    101 |  0.144 % |
484.42/484.60	c |     83787 |   28505   163318   552864 | 2147483647    83757    101 |  0.144 % |
485.62/485.88	c |     84043 |   28505   163318   552864 | 2147483647    84013    101 |  0.144 % |
487.22/487.44	c |     84325 |   28504   163313   552852 | 2147483647    84293    101 |  0.147 % |
488.72/488.97	c |     84635 |   28504   163313   552852 | 2147483647    84603    101 |  0.147 % |
490.32/490.57	c |     84974 |   28504   163313   552852 | 2147483647    84942    101 |  0.147 % |
492.22/492.47	c |     85347 |   28504   163313   552852 | 2147483647    85315    101 |  0.147 % |
495.32/495.53	c |     85757 |   28504   163313   552852 | 2147483647    85725    101 |  0.147 % |
498.81/499.07	c |     86206 |   28504   163313   552852 | 2147483647    86174    101 |  0.147 % |
503.62/503.88	c |     86699 |   28504   163313   552852 | 2147483647    86667    101 |  0.147 % |
509.01/509.20	c |     87241 |   28504   163313   552852 | 2147483647    87209    100 |  0.147 % |
513.01/513.24	c |     87837 |   28504   163313   552852 | 2147483647    87805    101 |  0.147 % |
518.11/518.39	c |     88492 |   28504   163313   552852 | 2147483647    88460    100 |  0.147 % |
521.91/522.10	c |     89212 |   28504   163313   552852 | 2147483647    89180    100 |  0.147 % |
526.21/526.46	c |     90004 |   28504   163313   552852 | 2147483647    89972    100 |  0.147 % |
532.50/532.73	c |     90877 |   28504   163313   552852 | 2147483647    90845    100 |  0.147 % |
537.10/537.36	c |     91836 |   28504   163313   552852 | 2147483647    91804    100 |  0.147 % |
543.80/544.05	c |     92889 |   28504   163313   552852 | 2147483647    92857    101 |  0.147 % |
544.60/544.87	c |     92989 |   28504   163313   552852 | 2147483647    92957    101 |  0.147 % |
545.10/545.37	c |     93101 |   28504   163313   552852 | 2147483647    93069    100 |  0.147 % |
545.70/545.97	c |     93223 |   28504   163313   552852 | 2147483647    93191    100 |  0.147 % |
546.70/546.93	c |     93356 |   28504   163313   552852 | 2147483647    93324    100 |  0.147 % |
547.69/547.91	c |     93503 |   28504   163313   552852 | 2147483647    93471    100 |  0.147 % |
549.09/549.36	c |     93663 |   28504   163313   552852 | 2147483647    93631    100 |  0.147 % |
550.09/550.36	c |     93839 |   28504   163313   552852 | 2147483647    93807    101 |  0.147 % |
550.99/551.23	c |     94033 |   28504   163313   552852 | 2147483647    94001    100 |  0.147 % |
552.59/552.81	c |     94248 |   28504   163313   552852 | 2147483647    94216    100 |  0.147 % |
554.69/554.96	c |     94482 |   28504   163313   552852 | 2147483647    94450    100 |  0.147 % |
556.59/556.84	c |     94738 |   28504   163313   552852 | 2147483647    94706    101 |  0.147 % |
558.19/558.44	c |     95020 |   28504   163313   552852 | 2147483647    94988    100 |  0.147 % |
560.89/561.14	c |     95330 |   28504   163313   552852 | 2147483647    95298    101 |  0.147 % |
563.69/563.91	c |     95670 |   28504   163313   552852 | 2147483647    95638    101 |  0.147 % |
566.49/566.71	c |     96042 |   28504   163313   552852 | 2147483647    96010    101 |  0.147 % |
569.79/570.01	c |     96451 |   28504   163313   552852 | 2147483647    96419    101 |  0.147 % |
572.69/572.93	c |     96900 |   28504   163313   552852 | 2147483647    96868    100 |  0.147 % |
575.89/576.13	c |     97394 |   28504   163313   552852 | 2147483647    97362    101 |  0.147 % |
579.29/579.60	c |     97937 |   28504   163313   552852 | 2147483647    97905    100 |  0.147 % |
582.49/582.71	c |     98533 |   28504   163313   552852 | 2147483647    98501    100 |  0.147 % |
586.69/586.91	c |     99188 |   28504   163313   552852 | 2147483647    99156    100 |  0.147 % |
589.89/590.19	c |     99909 |   28504   163313   552852 | 2147483647    99877    100 |  0.147 % |
594.89/595.16	c |    100701 |   28504   163313   552852 | 2147483647   100669    100 |  0.147 % |
600.28/600.50	c |    101573 |   28504   163313   552852 | 2147483647   101541    100 |  0.147 % |
607.68/607.94	c |    102531 |   28504   163313   552852 | 2147483647   102499    101 |  0.147 % |
614.68/614.95	c |    103584 |   28504   163313   552852 | 2147483647   103552    101 |  0.147 % |
621.68/621.95	c |    104742 |   28504   163313   552852 | 2147483647   104710    100 |  0.147 % |
622.28/622.54	c |    104842 |   28504   163313   552852 | 2147483647   104810    101 |  0.147 % |
623.17/623.41	c |    104952 |   28504   163313   552852 | 2147483647   104920    101 |  0.147 % |
623.77/624.03	c |    105073 |   28504   163313   552852 | 2147483647   105041    101 |  0.147 % |
624.57/624.86	c |    105207 |   28504   163313   552852 | 2147483647   105175    101 |  0.147 % |
626.07/626.32	c |    105354 |   28504   163313   552852 | 2147483647   105322    101 |  0.147 % |
627.17/627.44	c |    105516 |   28504   163313   552852 | 2147483647   105484    101 |  0.147 % |
628.27/628.53	c |    105692 |   28504   163313   552852 | 2147483647   105660    101 |  0.147 % |
629.97/630.27	c |    105885 |   28504   163313   552852 | 2147483647   105853    101 |  0.147 % |
631.57/631.89	c |    106097 |   28504   163313   552852 | 2147483647   106065    101 |  0.147 % |
633.37/633.65	c |    106330 |   28504   163313   552852 | 2147483647   106298    101 |  0.147 % |
635.36/635.66	c |    106586 |   28504   163313   552852 | 2147483647   106554    101 |  0.147 % |
637.16/637.45	c |    106867 |   28504   163313   552852 | 2147483647   106835    101 |  0.147 % |
639.96/640.25	c |    107176 |   28504   163313   552852 | 2147483647   107144    101 |  0.147 % |
641.86/642.18	c |    107516 |   28504   163313   552852 | 2147483647   107484    100 |  0.147 % |
644.66/644.90	c |    107888 |   28504   163313   552852 | 2147483647   107856    101 |  0.147 % |
648.36/648.60	c |    108297 |   28504   163313   552852 | 2147483647   108265    101 |  0.147 % |
651.76/652.09	c |    108746 |   28504   163313   552852 | 2147483647   108714    101 |  0.147 % |
654.85/655.18	c |    109240 |   28504   163313   552852 | 2147483647   109208    101 |  0.147 % |
658.75/659.06	c |    109782 |   28504   163313   552852 | 2147483647   109750    101 |  0.147 % |
662.66/662.96	c |    110378 |   28504   163313   552852 | 2147483647   110346    101 |  0.147 % |
666.76/667.06	c |    111033 |   28504   163313   552852 | 2147483647   111001    101 |  0.147 % |
670.05/670.39	c |    111754 |   28504   163313   552852 | 2147483647   111722    102 |  0.147 % |
674.55/674.83	c |    112549 |   28504   163313   552852 | 2147483647   112517    101 |  0.147 % |
679.45/679.72	c |    113420 |   28504   163313   552852 | 2147483647   113388    101 |  0.147 % |
682.95/683.26	c |    114379 |   28504   163313   552852 | 2147483647   114347    101 |  0.147 % |
688.84/689.14	c |    115432 |   28504   163313   552852 | 2147483647   115400    101 |  0.147 % |
697.55/697.84	c |    116591 |   28503   163305   552824 | 2147483647   116556    101 |  0.151 % |
707.34/707.69	c |    117864 |   28503   163305   552824 | 2147483647   117829    102 |  0.151 % |
708.24/708.51	c |    117964 |   28503   163305   552824 | 2147483647   117929    102 |  0.151 % |
709.25/709.52	c |    118074 |   28503   163305   552824 | 2147483647   118039    102 |  0.151 % |
709.94/710.22	c |    118195 |   28503   163305   552824 | 2147483647   118160    102 |  0.151 % |
711.44/711.76	c |    118329 |   28503   163305   552824 | 2147483647   118294    102 |  0.151 % |
713.04/713.32	c |    118476 |   28503   163305   552824 | 2147483647   118441    102 |  0.151 % |
714.34/714.65	c |    118637 |   28503   163305   552824 | 2147483647   118602    102 |  0.151 % |
716.04/716.37	c |    118813 |   28503   163305   552824 | 2147483647   118778    102 |  0.151 % |
717.44/717.78	c |    119006 |   28503   163305   552824 | 2147483647   118971    102 |  0.151 % |
719.53/719.85	c |    119218 |   28503   163305   552824 | 2147483647   119183    102 |  0.151 % |
721.43/721.73	c |    119452 |   28503   163305   552824 | 2147483647   119417    102 |  0.151 % |
722.84/723.15	c |    119709 |   28503   163305   552824 | 2147483647   119674    102 |  0.151 % |
725.24/725.51	c |    119991 |   28503   163305   552824 | 2147483647   119956    102 |  0.151 % |
726.74/727.05	c |    120300 |   28503   163305   552824 | 2147483647   120265    102 |  0.151 % |
729.44/729.71	c |    120639 |   28503   163305   552824 | 2147483647   120604    102 |  0.151 % |
731.54/731.84	c |    121013 |   28503   163305   552824 | 2147483647   120978    102 |  0.151 % |
733.54/733.84	c |    121424 |   28503   163305   552824 | 2147483647   121389    102 |  0.151 % |
735.93/736.21	c |    121873 |   28503   163305   552824 | 2147483647   121838    102 |  0.151 % |
740.13/740.45	c |    122366 |   28503   163305   552824 | 2147483647   122331    102 |  0.151 % |
744.33/744.69	c |    122908 |   28503   163305   552824 | 2147483647   122873    102 |  0.151 % |
747.53/747.84	c |    123505 |   28503   163305   552824 | 2147483647   123470    101 |  0.151 % |
752.32/752.60	c |    124160 |   28503   163305   552824 | 2147483647   124125    102 |  0.151 % |
756.83/757.18	c |    124880 |   28503   163305   552824 | 2147483647   124845    101 |  0.151 % |
762.23/762.53	c |    125673 |   28503   163305   552824 | 2147483647   125638    101 |  0.151 % |
767.73/768.07	c |    126546 |   28503   163305   552824 | 2147483647   126511    102 |  0.151 % |
774.22/774.58	c |    127504 |   28503   163305   552824 | 2147483647   127469    101 |  0.151 % |
779.32/779.70	c |    128558 |   28503   163305   552824 | 2147483647   128523    101 |  0.151 % |
786.72/787.08	c |    129716 |   28503   163305   552824 | 2147483647   129681    100 |  0.151 % |
796.81/797.17	c |    130990 |   28503   163305   552824 | 2147483647   130955    101 |  0.151 % |
806.42/806.76	c |    132391 |   28503   163305   552824 | 2147483647   132356    101 |  0.151 % |
806.91/807.23	c |    132492 |   28503   163305   552824 | 2147483647   132457    101 |  0.151 % |
807.12/807.43	c |    132602 |   28503   163305   552824 | 2147483647   132567    101 |  0.151 % |
807.12/807.46	c |    132724 |   28503   163305   552824 | 2147483647   132689    101 |  0.151 % |
807.71/808.10	c |    132858 |   28503   163305   552824 | 2147483647   132823    101 |  0.151 % |
808.81/809.12	c |    133004 |   28503   163305   552824 | 2147483647   132969    101 |  0.151 % |
809.91/810.28	c |    133164 |   28503   163305   552824 | 2147483647   133129    101 |  0.151 % |
811.21/811.55	c |    133340 |   28503   163305   552824 | 2147483647   133305    101 |  0.151 % |
813.21/813.58	c |    133533 |   28503   163305   552824 | 2147483647   133498    101 |  0.151 % |
814.91/815.25	c |    133745 |   28503   163305   552824 | 2147483647   133710    101 |  0.151 % |
816.51/816.85	c |    133979 |   28503   163305   552824 | 2147483647   133944    101 |  0.151 % |
818.01/818.35	c |    134236 |   28503   163305   552824 | 2147483647   134201    101 |  0.151 % |
820.31/820.62	c |    134517 |   28503   163305   552824 | 2147483647   134482    101 |  0.151 % |
822.90/823.25	c |    134827 |   28503   163305   552824 | 2147483647   134792    101 |  0.151 % |
824.80/825.13	c |    135167 |   28503   163305   552824 | 2147483647   135132    101 |  0.151 % |
827.90/828.25	c |    135540 |   28503   163305   552824 | 2147483647   135505    101 |  0.151 % |
830.50/830.88	c |    135950 |   28503   163305   552824 | 2147483647   135915    101 |  0.151 % |
834.30/834.65	c |    136399 |   28498   163280   552760 | 2147483647   136347    101 |  0.168 % |
837.60/837.97	c |    136892 |   28498   163280   552760 | 2147483647   136840    101 |  0.168 % |
842.40/842.77	c |    137435 |   28498   163280   552760 | 2147483647   137383    101 |  0.168 % |
846.60/846.96	c |    138033 |   28498   163280   552760 | 2147483647   137981    101 |  0.168 % |
852.29/852.62	c |    138690 |   28498   163280   552760 | 2147483647   138638    101 |  0.168 % |
857.19/857.56	c |    139410 |   28498   163280   552760 | 2147483647   139358    101 |  0.168 % |
864.20/864.56	c |    140204 |   28498   163280   552760 | 2147483647   140152    102 |  0.168 % |
869.89/870.20	c |    141076 |   28498   163280   552760 | 2147483647   141024    101 |  0.168 % |
875.59/875.92	c |    142035 |   28498   163280   552760 | 2147483647   141983    101 |  0.168 % |
883.28/883.67	c |    143089 |   28498   163280   552760 | 2147483647   143037    101 |  0.168 % |
893.29/893.61	c |    144247 |   28498   163280   552760 | 2147483647   144195    102 |  0.168 % |
901.98/902.32	c |    145523 |   28498   163280   552760 | 2147483647   145471    102 |  0.168 % |
914.17/914.50	c |    146924 |   28498   163280   552760 | 2147483647   146872    103 |  0.168 % |
925.87/926.22	c |    148465 |   28498   163280   552760 | 2147483647   148413    102 |  0.168 % |
926.37/926.77	c |    148565 |   28498   163280   552760 | 2147483647   148513    102 |  0.168 % |
927.17/927.55	c |    148675 |   28498   163280   552760 | 2147483647   148623    102 |  0.168 % |
928.27/928.62	c |    148796 |   28498   163280   552760 | 2147483647   148744    102 |  0.168 % |
929.57/929.93	c |    148929 |   28498   163280   552760 | 2147483647   148877    102 |  0.168 % |
930.57/930.98	c |    149076 |   28498   163280   552760 | 2147483647   149024    102 |  0.168 % |
931.67/932.03	c |    149238 |   28498   163280   552760 | 2147483647   149186    102 |  0.168 % |
932.97/933.36	c |    149414 |   28498   163280   552760 | 2147483647   149362    102 |  0.168 % |
934.48/934.82	c |    149607 |   28498   163280   552760 | 2147483647   149555    102 |  0.168 % |
935.97/936.33	c |    149821 |   28498   163280   552760 | 2147483647   149769    102 |  0.168 % |
938.07/938.42	c |    150057 |   28498   163280   552760 | 2147483647   150005    102 |  0.168 % |
940.37/940.76	c |    150314 |   28498   163280   552760 | 2147483647   150262    102 |  0.168 % |
943.48/943.83	c |    150595 |   28498   163280   552760 | 2147483647   150543    102 |  0.168 % |
945.47/945.86	c |    150904 |   28498   163280   552760 | 2147483647   150852    102 |  0.168 % |
947.57/947.97	c |    151246 |   28498   163280   552760 | 2147483647   151194    102 |  0.168 % |
950.57/950.92	c |    151618 |   28498   163280   552760 | 2147483647   151566    102 |  0.168 % |
953.07/953.40	c |    152029 |   28498   163280   552760 | 2147483647   151977    102 |  0.168 % |
957.16/957.52	c |    152478 |   28498   163280   552760 | 2147483647   152426    102 |  0.168 % |
961.36/961.75	c |    152972 |   28498   163280   552760 | 2147483647   152920    102 |  0.168 % |
966.36/966.70	c |    153514 |   28498   163280   552760 | 2147483647   153462    102 |  0.168 % |
971.35/971.79	c |    154111 |   28498   163280   552760 | 2147483647   154059    102 |  0.168 % |
974.36/974.74	c |    154766 |   28498   163280   552760 | 2147483647   154714    102 |  0.168 % |
979.86/980.21	c |    155488 |   28498   163280   552760 | 2147483647   155436    102 |  0.168 % |
987.16/987.51	c |    156281 |   28498   163280   552760 | 2147483647   156229    102 |  0.168 % |
993.45/993.84	c |    157152 |   28498   163280   552760 | 2147483647   157100    102 |  0.168 % |
1001.85/1002.24	c |    158110 |   28498   163280   552760 | 2147483647   158058    103 |  0.168 % |
1009.75/1010.15	c |    159163 |   28498   163280   552760 | 2147483647   159111    103 |  0.168 % |
1018.95/1019.31	c |    160322 |   28498   163280   552760 | 2147483647   160270    103 |  0.168 % |
1029.84/1030.22	c |    161595 |   28498   163280   552760 | 2147483647   161543    103 |  0.168 % |
1041.54/1041.94	c |    162997 |   28498   163280   552760 | 2147483647   162945    103 |  0.168 % |
1050.84/1051.20	c |    164538 |   28498   163280   552760 | 2147483647   164486    103 |  0.168 % |
1062.64/1063.04	c |    166232 |   28498   163280   552760 | 2147483647   166180    103 |  0.168 % |
1063.24/1063.62	c |    166332 |   28498   163280   552760 | 2147483647   166280    103 |  0.168 % |
1063.74/1064.10	c |    166442 |   28498   163280   552760 | 2147483647   166390    103 |  0.168 % |
1064.74/1065.12	c |    166563 |   28498   163280   552760 | 2147483647   166511    103 |  0.168 % |
1065.54/1065.92	c |    166697 |   28498   163280   552760 | 2147483647   166645    103 |  0.168 % |
1066.94/1067.31	c |    166843 |   28498   163280   552760 | 2147483647   166791    103 |  0.168 % |
1068.04/1068.46	c |    167003 |   28498   163280   552760 | 2147483647   166951    103 |  0.168 % |
1068.54/1068.92	c |    167180 |   28498   163280   552760 | 2147483647   167128    103 |  0.168 % |
1068.64/1069.00	c |    167373 |   28498   163280   552760 | 2147483647   167321    103 |  0.168 % |
1068.64/1069.05	c |    167585 |   28498   163280   552760 | 2147483647   167533    103 |  0.168 % |
1068.64/1069.09	c |    167818 |   28498   163280   552760 | 2147483647   167766    102 |  0.168 % |
1070.03/1070.44	c |    168075 |   28498   163280   552760 | 2147483647   168023    102 |  0.168 % |
1071.33/1071.77	c |    168356 |   28498   163280   552760 | 2147483647   168304    102 |  0.168 % |
1072.73/1073.17	c |    168665 |   28498   163280   552760 | 2147483647   168613    102 |  0.168 % |
1073.33/1073.73	c |    169004 |   28498   163280   552760 | 2147483647   168952    102 |  0.168 % |
1076.44/1076.86	c |    169377 |   28498   163280   552760 | 2147483647   169325    102 |  0.168 % |
1080.33/1080.76	c |    169787 |   28498   163280   552760 | 2147483647   169735    102 |  0.168 % |
1082.53/1082.95	c |    170237 |   28498   163280   552760 | 2147483647   170185    102 |  0.168 % |
1086.23/1086.64	c |    170730 |   28498   163280   552760 | 2147483647   170678    102 |  0.168 % |
1090.12/1090.55	c |    171272 |   28498   163280   552760 | 2147483647   171220    102 |  0.168 % |
1093.72/1094.19	c |    171868 |   28498   163280   552760 | 2147483647   171816    102 |  0.168 % |
1099.22/1099.67	c |    172524 |   28498   163280   552760 | 2147483647   172472    102 |  0.168 % |
1103.12/1103.56	c |    173244 |   28498   163280   552760 | 2147483647   173192    102 |  0.168 % |
1109.92/1110.32	c |    174037 |   28498   163280   552760 | 2147483647   173985    102 |  0.168 % |
1115.61/1116.06	c |    174908 |   28498   163280   552760 | 2147483647   174856    102 |  0.168 % |
1123.72/1124.15	c |    175867 |   28498   163280   552760 | 2147483647   175815    103 |  0.168 % |
1129.41/1129.82	c |    176920 |   28498   163280   552760 | 2147483647   176868    103 |  0.168 % |
1137.21/1137.69	c |    178079 |   28498   163280   552760 | 2147483647   178027    102 |  0.168 % |
1147.81/1148.24	c |    179353 |   28498   163280   552760 | 2147483647   179301    103 |  0.168 % |
1159.91/1160.37	c |    180755 |   28498   163280   552760 | 2147483647   180703    103 |  0.168 % |
1170.70/1171.13	c |    182298 |   28498   163280   552760 | 2147483647   182246    103 |  0.168 % |
1185.10/1185.50	c |    183993 |   28498   163280   552760 | 2147483647   183941    103 |  0.168 % |
1201.40/1201.84	c |    185857 |   28498   163280   552760 | 2147483647   185805    104 |  0.168 % |
1202.20/1202.60	c |    185960 |   28498   163280   552760 | 2147483647   185908    104 |  0.168 % |
1203.40/1203.85	c |    186070 |   28498   163280   552760 | 2147483647   186018    104 |  0.168 % |
1204.10/1204.55	c |    186192 |   28498   163280   552760 | 2147483647   186140    104 |  0.168 % |
1205.20/1205.65	c |    186325 |   28498   163280   552760 | 2147483647   186273    104 |  0.168 % |
1206.20/1206.65	c |    186473 |   28498   163280   552760 | 2147483647   186421    104 |  0.168 % |
1207.49/1207.91	c |    186633 |   28498   163280   552760 | 2147483647   186581    104 |  0.168 % |
1208.89/1209.33	c |    186809 |   28498   163280   552760 | 2147483647   186757    104 |  0.168 % |
1210.79/1211.24	c |    187002 |   28498   163280   552760 | 2147483647   186950    104 |  0.168 % |
1211.09/1211.58	c |    187214 |   28498   163280   552760 | 2147483647   187162    103 |  0.168 % |
1213.39/1213.80	c |    187448 |   28498   163280   552760 | 2147483647   187396    103 |  0.168 % |
1215.39/1215.83	c |    187704 |   28498   163280   552760 | 2147483647   187652    103 |  0.168 % |
1218.09/1218.57	c |    187986 |   28498   163280   552760 | 2147483647   187934    103 |  0.168 % |
1220.89/1221.35	c |    188295 |   28498   163280   552760 | 2147483647   188243    104 |  0.168 % |
1223.79/1224.22	c |    188634 |   28498   163280   552760 | 2147483647   188582    104 |  0.168 % |
1226.98/1227.47	c |    189007 |   28498   163280   552760 | 2147483647   188955    104 |  0.168 % |
1231.49/1231.99	c |    189416 |   28498   163280   552760 | 2147483647   189364    104 |  0.168 % |
1234.98/1235.41	c |    189866 |   28498   163280   552760 | 2147483647   189814    104 |  0.168 % |
1237.78/1238.28	c |    190359 |   28498   163280   552760 | 2147483647   190307    103 |  0.168 % |
1241.78/1242.26	c |    190901 |   28498   163280   552760 | 2147483647   190849    104 |  0.168 % |
1247.68/1248.15	c |    191499 |   28498   163280   552760 | 2147483647   191447    104 |  0.168 % |
1253.58/1254.09	c |    192154 |   28498   163280   552760 | 2147483647   192102    104 |  0.168 % |
1260.47/1260.91	c |    192875 |   28498   163280   552760 | 2147483647   192823    104 |  0.168 % |
1267.67/1268.15	c |    193667 |   28498   163280   552760 | 2147483647   193615    104 |  0.168 % |
1273.27/1273.72	c |    194540 |   28498   163280   552760 | 2147483647   194488    104 |  0.168 % |
1278.07/1278.53	c |    195498 |   28498   163280   552760 | 2147483647   195446    104 |  0.168 % |
1285.48/1285.95	c |    196551 |   28498   163280   552760 | 2147483647   196499    104 |  0.168 % |
1294.57/1295.02	c |    197710 |   28498   163280   552760 | 2147483647   197658    104 |  0.168 % |
1304.86/1305.33	c |    198983 |   28498   163280   552760 | 2147483647   198931    104 |  0.168 % |
1313.56/1314.00	c |    200383 |   28498   163280   552760 | 2147483647   200331    104 |  0.168 % |
1325.26/1325.77	c |    201924 |   28498   163280   552760 | 2147483647   201872    103 |  0.168 % |
1335.56/1336.02	c |    203618 |   28498   163280   552760 | 2147483647   203566    103 |  0.168 % |
1349.95/1350.49	c |    205482 |   28498   163280   552760 | 2147483647   205430    104 |  0.168 % |
1363.05/1363.57	c |    207531 |   28498   163280   552760 | 2147483647   207479    103 |  0.168 % |
1363.65/1364.17	c |    207632 |   28498   163280   552760 | 2147483647   207580    103 |  0.168 % |
1364.85/1365.30	c |    207742 |   28498   163280   552760 | 2147483647   207690    103 |  0.168 % |
1365.75/1366.21	c |    207863 |   28498   163280   552760 | 2147483647   207811    103 |  0.168 % |
1367.05/1367.57	c |    207996 |   28498   163280   552760 | 2147483647   207944    103 |  0.168 % |
1368.25/1368.76	c |    208142 |   28498   163280   552760 | 2147483647   208090    103 |  0.168 % |
1369.84/1370.32	c |    208303 |   28498   163280   552760 | 2147483647   208251    103 |  0.168 % |
1371.34/1371.90	c |    208479 |   28498   163280   552760 | 2147483647   208427    103 |  0.168 % |
1372.74/1373.24	c |    208672 |   28498   163280   552760 | 2147483647   208620    103 |  0.168 % |
1374.44/1374.91	c |    208885 |   28498   163280   552760 | 2147483647   208833    103 |  0.168 % |
1375.54/1376.10	c |    209118 |   28498   163280   552760 | 2147483647   209066    103 |  0.168 % |
1377.03/1377.54	c |    209375 |   28498   163280   552760 | 2147483647   209323    103 |  0.168 % |
1379.43/1379.99	c |    209656 |   28498   163280   552760 | 2147483647   209604    103 |  0.168 % |
1381.83/1382.30	c |    209965 |   28498   163280   552760 | 2147483647   209913    103 |  0.168 % |
1383.73/1384.25	c |    210305 |   28498   163280   552760 | 2147483647   210253    103 |  0.168 % |
1386.63/1387.16	c |    210678 |   28498   163280   552760 | 2147483647   210626    103 |  0.168 % |
1390.43/1390.94	c |    211089 |   28498   163280   552760 | 2147483647   211037    103 |  0.168 % |
1394.34/1394.88	c |    211539 |   28498   163280   552760 | 2147483647   211487    103 |  0.168 % |
1397.64/1398.18	c |    212032 |   28498   163280   552760 | 2147483647   211980    103 |  0.168 % |
1402.03/1402.51	c |    212574 |   28498   163280   552760 | 2147483647   212522    103 |  0.168 % |
1405.83/1406.31	c |    213170 |   28498   163280   552760 | 2147483647   213118    103 |  0.168 % |
1410.42/1411.00	c |    213825 |   28498   163280   552760 | 2147483647   213773    103 |  0.168 % |
1415.02/1415.53	c |    214546 |   28498   163280   552760 | 2147483647   214494    103 |  0.168 % |
1421.93/1422.49	c |    215339 |   28498   163280   552760 | 2147483647   215287    103 |  0.168 % |
1428.62/1429.17	c |    216212 |   28498   163280   552760 | 2147483647   216160    103 |  0.168 % |
1437.72/1438.25	c |    217171 |   28498   163280   552760 | 2147483647   217119    103 |  0.168 % |
1446.41/1446.95	c |    218224 |   28498   163280   552760 | 2147483647   218172    103 |  0.168 % |
1455.81/1456.32	c |    219383 |   28498   163280   552760 | 2147483647   219331    103 |  0.168 % |
1467.61/1468.16	c |    220656 |   28498   163280   552760 | 2147483647   220604    103 |  0.168 % |
1480.11/1480.65	c |    222056 |   28498   163280   552760 | 2147483647   222004    103 |  0.168 % |
1492.01/1492.58	c |    223597 |   28498   163280   552760 | 2147483647   223545    103 |  0.168 % |
1506.20/1506.78	c |    225291 |   28498   163280   552760 | 2147483647   225239    103 |  0.168 % |
1519.20/1519.79	c |    227155 |   28498   163280   552760 | 2147483647   227103    103 |  0.168 % |
1531.29/1531.89	c |    229205 |   28498   163280   552760 | 2147483647   229153    103 |  0.168 % |
1545.79/1546.32	c |    231458 |   28498   163280   552760 | 2147483647   231406    104 |  0.168 % |
1546.59/1547.12	c |    231559 |   28498   163280   552760 | 2147483647   231507    104 |  0.168 % |
1547.19/1547.77	c |    231671 |   28498   163280   552760 | 2147483647   231619    104 |  0.168 % |
1547.99/1548.52	c |    231792 |   28498   163280   552760 | 2147483647   231740    104 |  0.168 % |
1548.59/1549.17	c |    231926 |   28498   163280   552760 | 2147483647   231874    104 |  0.168 % |
1548.89/1549.50	c |    232072 |   28498   163280   552760 | 2147483647   232020    104 |  0.168 % |
1550.29/1550.81	c |    232232 |   28498   163280   552760 | 2147483647   232180    104 |  0.168 % |
1551.79/1552.39	c |    232408 |   28498   163280   552760 | 2147483647   232356    104 |  0.168 % |
1553.59/1554.16	c |    232602 |   28498   163280   552760 | 2147483647   232550    104 |  0.168 % |
1555.29/1555.88	c |    232817 |   28498   163280   552760 | 2147483647   232765    104 |  0.168 % |
1557.68/1558.21	c |    233051 |   28498   163280   552760 | 2147483647   232999    104 |  0.168 % |
1560.18/1560.76	c |    233309 |   28498   163280   552760 | 2147483647   233257    104 |  0.168 % |
1563.28/1563.86	c |    233590 |   28498   163280   552760 | 2147483647   233538    104 |  0.168 % |
1566.08/1566.68	c |    233900 |   28498   163280   552760 | 2147483647   233848    104 |  0.168 % |
1569.38/1569.95	c |    234241 |   28498   163280   552760 | 2147483647   234189    104 |  0.168 % |
1572.28/1572.88	c |    234613 |   28498   163280   552760 | 2147483647   234561    104 |  0.168 % |
1573.88/1574.44	c |    235022 |   28498   163280   552760 | 2147483647   234970    104 |  0.168 % |
1579.08/1579.62	c |    235471 |   28498   163280   552760 | 2147483647   235419    104 |  0.168 % |
1583.38/1583.92	c |    235965 |   28498   163280   552760 | 2147483647   235913    104 |  0.168 % |
1588.38/1588.98	c |    236507 |   28498   163280   552760 | 2147483647   236455    104 |  0.168 % |
1593.68/1594.22	c |    237104 |   28498   163280   552760 | 2147483647   237052    104 |  0.168 % |
1599.67/1600.29	c |    237760 |   28498   163280   552760 | 2147483647   237708    104 |  0.168 % |
1606.17/1606.75	c |    238481 |   28498   163280   552760 | 2147483647   238429    104 |  0.168 % |
1612.27/1612.85	c |    239273 |   28498   163280   552760 | 2147483647   239221    104 |  0.168 % |
1620.56/1621.12	c |    240144 |   28498   163280   552760 | 2147483647   240092    105 |  0.168 % |
1629.06/1629.67	c |    241104 |   28498   163280   552760 | 2147483647   241052    104 |  0.168 % |
1637.46/1638.00	c |    242157 |   28498   163280   552760 | 2147483647   242105    104 |  0.168 % |
1646.35/1646.99	c |    243315 |   28498   163280   552760 | 2147483647   243263    105 |  0.168 % |
1654.96/1655.58	c |    244589 |   28498   163280   552760 | 2147483647   244537    105 |  0.168 % |
1664.36/1664.90	c |    245989 |   28498   163280   552760 | 2147483647   245937    105 |  0.168 % |
1675.55/1676.12	c |    247530 |   28498   163280   552760 | 2147483647   247478    104 |  0.168 % |
1691.74/1692.38	c |    249225 |   28498   163280   552760 | 2147483647   249173    105 |  0.168 % |
1706.65/1707.26	c |    251088 |   28498   163280   552760 | 2147483647   251036    105 |  0.168 % |
1723.34/1723.98	c |    253137 |   28498   163280   552760 | 2147483647   253085    105 |  0.168 % |
1740.53/1741.16	c |    255392 |   28498   163280   552760 | 2147483647   255340    104 |  0.168 % |
1761.73/1762.39	c |    257870 |   28498   163280   552760 | 2147483647   257818    105 |  0.168 % |
1762.63/1763.29	c |    257971 |   28498   163280   552760 | 2147483647   257919    105 |  0.168 % |
1763.63/1764.26	c |    258081 |   28498   163280   552760 | 2147483647   258029    105 |  0.168 % |
1764.63/1765.27	c |    258203 |   28498   163280   552760 | 2147483647   258151    105 |  0.168 % |
1766.13/1766.70	c |    258336 |   28498   163280   552760 | 2147483647   258284    105 |  0.168 % |
1767.03/1767.67	c |    258482 |   28498   163280   552760 | 2147483647   258430    105 |  0.168 % |
1768.13/1768.71	c |    258642 |   28498   163280   552760 | 2147483647   258590    105 |  0.168 % |
1769.73/1770.30	c |    258819 |   28498   163280   552760 | 2147483647   258767    105 |  0.168 % |
1771.22/1771.81	c |    259012 |   28498   163280   552760 | 2147483647   258960    105 |  0.168 % |
1773.22/1773.85	c |    259225 |   28498   163280   552760 | 2147483647   259173    105 |  0.168 % |
1776.72/1777.30	c |    259458 |   28498   163280   552760 | 2147483647   259406    105 |  0.168 % |
1778.62/1779.26	c |    259715 |   28498   163280   552760 | 2147483647   259663    105 |  0.168 % |
1781.12/1781.72	c |    259996 |   28498   163280   552760 | 2147483647   259944    105 |  0.168 % |
1783.62/1784.26	c |    260305 |   28498   163280   552760 | 2147483647   260253    105 |  0.168 % |
1787.42/1788.05	c |    260644 |   28498   163280   552760 | 2147483647   260592    105 |  0.168 % |
1791.12/1791.72	c |    261016 |   28498   163280   552760 | 2147483647   260964    105 |  0.168 % |
1794.11/1794.71	c |    261425 |   28498   163280   552760 | 2147483647   261373    105 |  0.168 % |
1796.61/1797.29	c |    261875 |   28498   163280   552760 | 2147483647   261823    105 |  0.168 % |
1800.12/1800.73	c |    262368 |   28498   163280   552760 | 2147483647   262316    104 |  0.168 % |
1806.31/1806.94	c |    262910 |   28498   163280   552760 | 2147483647   262858    105 |  0.168 % |
1810.72/1811.32	c |    263506 |   28498   163280   552760 | 2147483647   263454    105 |  0.168 % |
1817.72/1818.38	c |    264163 |   28498   163280   552760 | 2147483647   264111    105 |  0.168 % |
1824.31/1824.93	c |    264884 |   28498   163280   552760 | 2147483647   264832    105 |  0.168 % |
1832.10/1832.72	c |    265677 |   28498   163280   552760 | 2147483647   265625    105 |  0.168 % |
1839.30/1839.95	c |    266548 |   28498   163280   552760 | 2147483647   266496    105 |  0.168 % |
1848.51/1849.12	c |    267508 |   28498   163280   552760 | 2147483647   267456    105 |  0.168 % |
1860.20/1860.83	c |    268562 |   28498   163280   552760 | 2147483647   268510    105 |  0.168 % |
1870.90/1871.53	c |    269721 |   28498   163280   552760 | 2147483647   269669    105 |  0.168 % |
1881.59/1882.25	c |    270994 |   28498   163280   552760 | 2147483647   270942    105 |  0.168 % |
1892.79/1893.46	c |    272395 |   28498   163280   552760 | 2147483647   272343    105 |  0.168 % |
1905.38/1906.05	c |    273936 |   28498   163280   552760 | 2147483647   273884    105 |  0.168 % |
1916.98/1917.60	c |    275630 |   28498   163280   552760 | 2147483647   275578    105 |  0.168 % |
1928.08/1928.77	c |    277495 |   28498   163280   552760 | 2147483647   277443    104 |  0.168 % |
1948.37/1949.10	c |    279545 |   28498   163280   552760 | 2147483647   279493    105 |  0.168 % |
1967.07/1967.70	c |    281798 |   28498   163280   552760 | 2147483647   281746    105 |  0.168 % |
1989.46/1990.13	c |    284277 |   28498   163280   552760 | 2147483647   284225    105 |  0.168 % |
2018.35/2019.01	c |    287004 |   28498   163280   552760 | 2147483647   286952    106 |  0.168 % |
2019.15/2019.84	c |    287105 |   28498   163280   552760 | 2147483647   287053    106 |  0.168 % |
2019.75/2020.41	c |    287216 |   28498   163280   552760 | 2147483647   287164    106 |  0.168 % |
2020.75/2021.45	c |    287337 |   28498   163280   552760 | 2147483647   287285    106 |  0.168 % |
2021.95/2022.61	c |    287470 |   28498   163280   552760 | 2147483647   287418    106 |  0.168 % |
2023.65/2024.35	c |    287616 |   28498   163280   552760 | 2147483647   287564    106 |  0.168 % |
2025.25/2025.98	c |    287778 |   28498   163280   552760 | 2147483647   287726    106 |  0.168 % |
2026.55/2027.25	c |    287954 |   28498   163280   552760 | 2147483647   287902    106 |  0.168 % |
2027.85/2028.55	c |    288147 |   28498   163280   552760 | 2147483647   288095    106 |  0.168 % |
2029.25/2029.99	c |    288360 |   28498   163280   552760 | 2147483647   288308    106 |  0.168 % |
2032.25/2032.94	c |    288593 |   28498   163280   552760 | 2147483647   288541    106 |  0.168 % |
2035.36/2036.02	c |    288849 |   28498   163280   552760 | 2147483647   288797    106 |  0.168 % |
2037.85/2038.52	c |    289130 |   28498   163280   552760 | 2147483647   289078    106 |  0.168 % |
2039.65/2040.37	c |    289440 |   28498   163280   552760 | 2147483647   289388    106 |  0.168 % |
2042.45/2043.12	c |    289779 |   28498   163280   552760 | 2147483647   289727    106 |  0.168 % |
2045.54/2046.28	c |    290153 |   28498   163280   552760 | 2147483647   290101    106 |  0.168 % |
2049.75/2050.43	c |    290562 |   28498   163280   552760 | 2147483647   290510    106 |  0.168 % |
2052.64/2053.38	c |    291012 |   28498   163280   552760 | 2147483647   290960    106 |  0.168 % |
2058.55/2059.30	c |    291505 |   28498   163280   552760 | 2147483647   291453    106 |  0.168 % |
2065.54/2066.28	c |    292047 |   28498   163280   552760 | 2147483647   291995    106 |  0.168 % |
2070.74/2071.45	c |    292643 |   28498   163280   552760 | 2147483647   292591    106 |  0.168 % |
2077.04/2077.78	c |    293299 |   28498   163280   552760 | 2147483647   293247    106 |  0.168 % |
2084.14/2084.86	c |    294019 |   28498   163280   552760 | 2147483647   293967    106 |  0.168 % |
2090.44/2091.16	c |    294811 |   28498   163280   552760 | 2147483647   294759    106 |  0.168 % |
2096.83/2097.56	c |    295685 |   28498   163280   552760 | 2147483647   295633    106 |  0.168 % |
2104.42/2105.18	c |    296643 |   28498   163280   552760 | 2147483647   296591    106 |  0.168 % |
2114.43/2115.18	c |    297698 |   28498   163280   552760 | 2147483647   297646    106 |  0.168 % |
2126.13/2126.89	c |    298856 |   28498   163280   552760 | 2147483647   298804    106 |  0.168 % |
2136.62/2137.33	c |    300129 |   28498   163280   552760 | 2147483647   300077    106 |  0.168 % |
2148.91/2149.65	c |    301529 |   28498   163280   552760 | 2147483647   301477    106 |  0.168 % |
2163.92/2164.67	c |    303069 |   28498   163280   552760 | 2147483647   303017    106 |  0.168 % |
2174.81/2175.51	c |    304764 |   28498   163280   552760 | 2147483647   304712    106 |  0.168 % |
2190.60/2191.37	c |    306627 |   28498   163280   552760 | 2147483647   306575    106 |  0.168 % |
2212.20/2212.91	c |    308676 |   28498   163280   552760 | 2147483647   308624    106 |  0.168 % |
2233.49/2234.20	c |    310929 |   28498   163280   552760 | 2147483647   310877    106 |  0.168 % |
2256.39/2257.16	c |    313408 |   28498   163280   552760 | 2147483647   313356    107 |  0.168 % |
2282.58/2283.33	c |    316133 |   28498   163280   552760 | 2147483647   316081    107 |  0.168 % |
2311.77/2312.57	c |    319131 |   28498   163280   552760 | 2147483647   319079    107 |  0.168 % |
2312.97/2313.71	c |    319232 |   28498   163280   552760 | 2147483647   319180    107 |  0.168 % |
2314.07/2314.87	c |    319342 |   28498   163280   552760 | 2147483647   319290    107 |  0.168 % |
2314.87/2315.63	c |    319464 |   28498   163280   552760 | 2147483647   319412    107 |  0.168 % |
2315.37/2316.20	c |    319597 |   28498   163280   552760 | 2147483647   319545    107 |  0.168 % |
2317.47/2318.23	c |    319744 |   28498   163280   552760 | 2147483647   319692    107 |  0.168 % |
2319.37/2320.15	c |    319904 |   28498   163280   552760 | 2147483647   319852    107 |  0.168 % |
2321.07/2321.81	c |    320080 |   28498   163280   552760 | 2147483647   320028    107 |  0.168 % |
2323.27/2324.04	c |    320273 |   28498   163280   552760 | 2147483647   320221    107 |  0.168 % |
2324.77/2325.58	c |    320486 |   28498   163280   552760 | 2147483647   320434    107 |  0.168 % |
2327.67/2328.49	c |    320720 |   28498   163280   552760 | 2147483647   320668    107 |  0.168 % |
2331.27/2332.03	c |    320977 |   28498   163280   552760 | 2147483647   320925    108 |  0.168 % |
2334.47/2335.28	c |    321259 |   28498   163280   552760 | 2147483647   321207    107 |  0.168 % |
2337.17/2337.99	c |    321568 |   28498   163280   552760 | 2147483647   321516    107 |  0.168 % |
2341.37/2342.13	c |    321909 |   28498   163280   552760 | 2147483647   321857    107 |  0.168 % |
2345.97/2346.74	c |    322282 |   28498   163280   552760 | 2147483647   322230    108 |  0.168 % |
2350.27/2351.01	c |    322691 |   28498   163280   552760 | 2147483647   322639    108 |  0.168 % |
2354.46/2355.29	c |    323140 |   28498   163280   552760 | 2147483647   323088    107 |  0.168 % |
2359.46/2360.29	c |    323634 |   28498   163280   552760 | 2147483647   323582    108 |  0.168 % |
2365.46/2366.20	c |    324177 |   28498   163280   552760 | 2147483647   324125    107 |  0.168 % |
2372.35/2373.13	c |    324773 |   28498   163280   552760 | 2147483647   324721    108 |  0.168 % |
2377.95/2378.70	c |    325429 |   28498   163280   552760 | 2147483647   325377    108 |  0.168 % |
2384.15/2384.94	c |    326149 |   28498   163280   552760 | 2147483647   326097    107 |  0.168 % |
2393.65/2394.40	c |    326942 |   28498   163280   552760 | 2147483647   326890    108 |  0.168 % |
2401.35/2402.17	c |    327814 |   28498   163280   552760 | 2147483647   327762    108 |  0.168 % |
2410.24/2411.06	c |    328772 |   28498   163280   552760 | 2147483647   328720    108 |  0.168 % |
2421.44/2422.24	c |    329825 |   28498   163280   552760 | 2147483647   329773    108 |  0.168 % |
2429.74/2430.54	c |    330984 |   28498   163280   552760 | 2147483647   330932    108 |  0.168 % |
2439.14/2439.96	c |    332257 |   28498   163280   552760 | 2147483647   332205    108 |  0.168 % |
2448.93/2449.77	c |    333658 |   28498   163280   552760 | 2147483647   333606    108 |  0.168 % |
2460.93/2461.76	c |    335198 |   28498   163280   552760 | 2147483647   335146    107 |  0.168 % |
2474.33/2475.18	c |    336892 |   28498   163280   552760 | 2147483647   336840    107 |  0.168 % |
2487.12/2487.97	c |    338755 |   28498   163280   552760 | 2147483647   338703    107 |  0.168 % |
2507.61/2508.40	c |    340804 |   28498   163280   552760 | 2147483647   340752    107 |  0.168 % |
2530.51/2531.38	c |    343057 |   28498   163280   552760 | 2147483647   343005    107 |  0.168 % |
2558.00/2558.83	c |    345535 |   28498   163280   552760 | 2147483647   345483    107 |  0.168 % |
2587.20/2588.04	c |    348261 |   28498   163280   552760 | 2147483647   348209    107 |  0.168 % |
2616.89/2617.78	c |    351259 |   28498   163280   552760 | 2147483647   351207    108 |  0.168 % |
2641.38/2642.27	c |    354555 |   28498   163280   552760 | 2147483647   354503    107 |  0.168 % |
2642.78/2643.62	c |    354656 |   28498   163280   552760 | 2147483647   354604    107 |  0.168 % |
2644.17/2645.07	c |    354767 |   28498   163280   552760 | 2147483647   354715    107 |  0.168 % |
2645.17/2646.03	c |    354889 |   28498   163280   552760 | 2147483647   354837    107 |  0.168 % |
2647.17/2648.02	c |    355022 |   28498   163280   552760 | 2147483647   354970    107 |  0.168 % |
2649.17/2650.05	c |    355168 |   28498   163280   552760 | 2147483647   355116    107 |  0.168 % |
2650.87/2651.75	c |    355328 |   28498   163280   552760 | 2147483647   355276    107 |  0.168 % |
2652.88/2653.77	c |    355505 |   28498   163280   552760 | 2147483647   355453    107 |  0.168 % |
2654.78/2655.66	c |    355699 |   28498   163280   552760 | 2147483647   355647    107 |  0.168 % |
2657.28/2658.19	c |    355912 |   28498   163280   552760 | 2147483647   355860    107 |  0.168 % |
2659.68/2660.51	c |    356145 |   28498   163280   552760 | 2147483647   356093    107 |  0.168 % |
2662.38/2663.24	c |    356401 |   28498   163280   552760 | 2147483647   356349    107 |  0.168 % |
2665.88/2666.77	c |    356682 |   28498   163280   552760 | 2147483647   356630    107 |  0.168 % |
2670.07/2671.00	c |    356992 |   28498   163280   552760 | 2147483647   356940    107 |  0.168 % |
2674.17/2675.03	c |    357331 |   28498   163280   552760 | 2147483647   357279    107 |  0.168 % |
2676.07/2676.99	c |    357705 |   28498   163280   552760 | 2147483647   357653    107 |  0.168 % |
2678.07/2678.94	c |    358116 |   28498   163280   552760 | 2147483647   358064    107 |  0.168 % |
2682.57/2683.42	c |    358565 |   28498   163280   552760 | 2147483647   358513    107 |  0.168 % |
2687.27/2688.13	c |    359059 |   28498   163280   552760 | 2147483647   359007    107 |  0.168 % |
2690.26/2691.12	c |    359602 |   28498   163280   552760 | 2147483647   359550    107 |  0.168 % |
2695.36/2696.22	c |    360199 |   28498   163280   552760 | 2147483647   360147    107 |  0.168 % |
2702.16/2703.04	c |    360854 |   28498   163280   552760 | 2147483647   360802    107 |  0.168 % |
2712.87/2713.72	c |    361574 |   28498   163280   552760 | 2147483647   361522    107 |  0.168 % |
2719.66/2720.51	c |    362368 |   28498   163280   552760 | 2147483647   362316    107 |  0.168 % |
2730.26/2731.15	c |    363240 |   28498   163280   552760 | 2147483647   363188    107 |  0.168 % |
2740.26/2741.17	c |    364198 |   28498   163280   552760 | 2147483647   364146    107 |  0.168 % |
2750.65/2751.56	c |    365252 |   28498   163280   552760 | 2147483647   365200    107 |  0.168 % |
2763.24/2764.14	c |    366410 |   28498   163280   552760 | 2147483647   366358    107 |  0.168 % |
2780.14/2781.00	c |    367684 |   28498   163280   552760 | 2147483647   367632    107 |  0.168 % |
2794.74/2795.65	c |    369084 |   28498   163280   552760 | 2147483647   369032    107 |  0.168 % |
2810.53/2811.42	c |    370625 |   28498   163280   552760 | 2147483647   370573    107 |  0.168 % |
2831.12/2832.09	c |    372319 |   28498   163280   552760 | 2147483647   372267    107 |  0.168 % |
2850.42/2851.38	c |    374183 |   28498   163280   552760 | 2147483647   374131    108 |  0.168 % |
2869.21/2870.10	c |    376233 |   28498   163280   552760 | 2147483647   376181    107 |  0.168 % |
2893.91/2894.89	c |    378486 |   28498   163280   552760 | 2147483647   378434    108 |  0.168 % |
2914.70/2915.66	c |    380965 |   28498   163280   552760 | 2147483647   380913    108 |  0.168 % |
2944.19/2945.18	c |    383690 |   28498   163280   552760 | 2147483647   383638    108 |  0.168 % |
2970.28/2971.22	c |    386687 |   28498   163280   552760 | 2147483647   386635    108 |  0.168 % |
3006.48/3007.48	c |    389984 |   28498   163280   552760 | 2147483647   389932    109 |  0.168 % |
3044.57/3045.57	c |    393609 |   28498   163280   552760 | 2147483647   393557    108 |  0.168 % |
3045.57/3046.59	c |    393711 |   28498   163280   552760 | 2147483647   393659    108 |  0.168 % |
3047.47/3048.42	c |    393822 |   28498   163280   552760 | 2147483647   393770    108 |  0.168 % |
3049.27/3050.25	c |    393944 |   28498   163280   552760 | 2147483647   393892    108 |  0.168 % |
3050.17/3051.12	c |    394078 |   28498   163280   552760 | 2147483647   394026    108 |  0.168 % |
3051.57/3052.57	c |    394224 |   28498   163280   552760 | 2147483647   394172    108 |  0.168 % |
3053.37/3054.35	c |    394385 |   28498   163280   552760 | 2147483647   394333    108 |  0.168 % |
3055.46/3056.40	c |    394561 |   28498   163280   552760 | 2147483647   394509    108 |  0.168 % |
3058.26/3059.22	c |    394754 |   28498   163280   552760 | 2147483647   394702    108 |  0.168 % |
3060.76/3061.79	c |    394967 |   28498   163280   552760 | 2147483647   394915    108 |  0.168 % |
3063.86/3064.82	c |    395200 |   28498   163280   552760 | 2147483647   395148    108 |  0.168 % |
3067.36/3068.31	c |    395456 |   28498   163280   552760 | 2147483647   395404    108 |  0.168 % |
3070.06/3071.04	c |    395738 |   28498   163280   552760 | 2147483647   395686    108 |  0.168 % |
3073.36/3074.36	c |    396047 |   28498   163280   552760 | 2147483647   395995    108 |  0.168 % |
3077.16/3078.10	c |    396387 |   28498   163280   552760 | 2147483647   396335    108 |  0.168 % |
3080.95/3081.98	c |    396761 |   28498   163280   552760 | 2147483647   396709    108 |  0.168 % |
3084.55/3085.59	c |    397170 |   28498   163280   552760 | 2147483647   397118    108 |  0.168 % |
3090.85/3091.80	c |    397619 |   28498   163280   552760 | 2147483647   397567    108 |  0.168 % |
3096.04/3097.08	c |    398112 |   28498   163280   552760 | 2147483647   398060    108 |  0.168 % |
3102.34/3103.30	c |    398656 |   28498   163280   552760 | 2147483647   398604    108 |  0.168 % |
3109.85/3110.83	c |    399252 |   28498   163280   552760 | 2147483647   399200    108 |  0.168 % |
3116.14/3117.11	c |    399908 |   28498   163280   552760 | 2147483647   399856    108 |  0.168 % |
3123.24/3124.26	c |    400629 |   28498   163280   552760 | 2147483647   400577    108 |  0.168 % |
3132.74/3133.75	c |    401421 |   28498   163280   552760 | 2147483647   401369    108 |  0.168 % |
3141.34/3142.36	c |    402293 |   28498   163280   552760 | 2147483647   402241    108 |  0.168 % |
3150.93/3151.99	c |    403251 |   28498   163280   552760 | 2147483647   403199    108 |  0.168 % |
3162.83/3163.84	c |    404305 |   28498   163280   552760 | 2147483647   404253    108 |  0.168 % |
3174.53/3175.55	c |    405463 |   28498   163280   552760 | 2147483647   405411    108 |  0.168 % |
3190.22/3191.22	c |    406736 |   28498   163280   552760 | 2147483647   406684    108 |  0.168 % |
3205.91/3206.98	c |    408137 |   28498   163280   552760 | 2147483647   408085    108 |  0.168 % |
3224.52/3225.57	c |    409677 |   28498   163280   552760 | 2147483647   409625    109 |  0.168 % |
3241.90/3242.95	c |    411372 |   28498   163280   552760 | 2147483647   411320    109 |  0.168 % |
3261.31/3262.39	c |    413236 |   28498   163280   552760 | 2147483647   413184    109 |  0.168 % |
3280.70/3281.74	c |    415285 |   28498   163280   552760 | 2147483647   415233    109 |  0.168 % |
3304.39/3305.46	c |    417539 |   28498   163280   552760 | 2147483647   417487    109 |  0.168 % |
3329.79/3330.80	c |    420020 |   28498   163280   552760 | 2147483647   419968    109 |  0.168 % |
3355.28/3356.39	c |    422746 |   28498   163280   552760 | 2147483647   422694    109 |  0.168 % |
3389.17/3390.22	c |    425745 |   28498   163280   552760 | 2147483647   425693    109 |  0.168 % |
3431.35/3432.43	c |    429041 |   28498   163280   552760 | 2147483647   428989    110 |  0.168 % |
3470.05/3471.15	c |    432666 |   28498   163280   552760 | 2147483647   432614    110 |  0.168 % |
3517.93/3519.00	c |    436654 |   28498   163280   552760 | 2147483647   436602    110 |  0.168 % |
3519.23/3520.32	c |    436754 |   28498   163280   552760 | 2147483647   436702    110 |  0.168 % |
3520.93/3522.08	c |    436864 |   28498   163280   552760 | 2147483647   436812    110 |  0.168 % |
3522.33/3523.46	c |    436985 |   28498   163280   552760 | 2147483647   436933    110 |  0.168 % |
3524.33/3525.40	c |    437118 |   28498   163280   552760 | 2147483647   437066    110 |  0.168 % |
3525.93/3527.06	c |    437264 |   28498   163280   552760 | 2147483647   437212    110 |  0.168 % |
3527.33/3528.42	c |    437424 |   28498   163280   552760 | 2147483647   437372    110 |  0.168 % |
3529.52/3530.69	c |    437600 |   28498   163280   552760 | 2147483647   437548    110 |  0.168 % |
3532.13/3533.23	c |    437793 |   28498   163280   552760 | 2147483647   437741    110 |  0.168 % |
3534.63/3535.80	c |    438007 |   28498   163280   552760 | 2147483647   437955    110 |  0.168 % |
3537.43/3538.58	c |    438240 |   28498   163280   552760 | 2147483647   438188    110 |  0.168 % |
3540.63/3541.78	c |    438496 |   28498   163280   552760 | 2147483647   438444    110 |  0.168 % |
3544.62/3545.79	c |    438778 |   28498   163280   552760 | 2147483647   438726    110 |  0.168 % |
3547.43/3548.50	c |    439087 |   28498   163280   552760 | 2147483647   439035    110 |  0.168 % |
3550.12/3551.26	c |    439427 |   28498   163280   552760 | 2147483647   439375    110 |  0.168 % |
3555.72/3556.84	c |    439800 |   28498   163280   552760 | 2147483647   439748    110 |  0.168 % |
3560.22/3561.36	c |    440211 |   28498   163280   552760 | 2147483647   440159    110 |  0.168 % |
3566.52/3567.60	c |    440660 |   28498   163280   552760 | 2147483647   440608    110 |  0.168 % |
3571.62/3572.79	c |    441153 |   28498   163280   552760 | 2147483647   441101    110 |  0.168 % |
3577.61/3578.76	c |    441695 |   28498   163280   552760 | 2147483647   441643    110 |  0.168 % |
3583.91/3585.00	c |    442291 |   28498   163280   552760 | 2147483647   442239    110 |  0.168 % |
3591.71/3592.85	c |    442946 |   28498   163280   552760 | 2147483647   442894    110 |  0.168 % |
3598.51/3599.61	c |    443667 |   28498   163280   552760 | 2147483647   443615    110 |  0.168 % |
3608.21/3609.30	c |    444460 |   28498   163280   552760 | 2147483647   444408    110 |  0.168 % |
3618.20/3619.37	c |    445332 |   28498   163280   552760 | 2147483647   445280    111 |  0.168 % |
3628.70/3629.82	c |    446291 |   28498   163280   552760 | 2147483647   446239    110 |  0.168 % |
3641.49/3642.61	c |    447344 |   28498   163280   552760 | 2147483647   447292    111 |  0.168 % |
3652.50/3653.61	c |    448502 |   28498   163280   552760 | 2147483647   448450    111 |  0.168 % |
3665.49/3666.68	c |    449776 |   28498   163280   552760 | 2147483647   449724    111 |  0.168 % |
3681.99/3683.18	c |    451177 |   28498   163280   552760 | 2147483647   451125    111 |  0.168 % |
3697.48/3698.63	c |    452717 |   28498   163280   552760 | 2147483647   452665    111 |  0.168 % |
3717.98/3719.12	c |    454412 |   28498   163280   552760 | 2147483647   454360    111 |  0.168 % |
3738.07/3739.21	c |    456275 |   28498   163280   552760 | 2147483647   456223    111 |  0.168 % |
3759.77/3760.99	c |    458325 |   28498   163280   552760 | 2147483647   458273    111 |  0.168 % |
3786.66/3787.85	c |    460578 |   28498   163280   552760 | 2147483647   460526    111 |  0.168 % |
3813.34/3814.59	c |    463056 |   28498   163280   552760 | 2147483647   463004    111 |  0.168 % |
3841.34/3842.58	c |    465783 |   28498   163280   552760 | 2147483647   465731    111 |  0.168 % |
3876.93/3878.18	c |    468783 |   28498   163280   552760 | 2147483647   468731    111 |  0.168 % |
3914.02/3915.26	c |    472079 |   28498   163280   552760 | 2147483647   472027    111 |  0.168 % |
3963.90/3965.15	c |    475704 |   28498   163280   552760 | 2147483647   475652    112 |  0.168 % |
4003.90/4005.11	c |    479692 |   28498   163280   552760 | 2147483647   479640    112 |  0.168 % |
4032.99/4034.26	c |    484077 |   28498   163280   552760 | 2147483647   484025    111 |  0.168 % |
4034.29/4035.53	c |    484177 |   28498   163280   552760 | 2147483647   484125    111 |  0.168 % |
4035.39/4036.65	c |    484287 |   28498   163280   552760 | 2147483647   484235    111 |  0.168 % |
4035.79/4037.00	c |    484408 |   28498   163280   552760 | 2147483647   484356    111 |  0.168 % |
4036.89/4038.17	c |    484542 |   28498   163280   552760 | 2147483647   484490    111 |  0.168 % |
4038.78/4040.01	c |    484691 |   28498   163280   552760 | 2147483647   484639    111 |  0.168 % |
4040.09/4041.35	c |    484851 |   28498   163280   552760 | 2147483647   484799    111 |  0.168 % |
4041.98/4043.24	c |    485027 |   28498   163280   552760 | 2147483647   484975    111 |  0.168 % |
4044.08/4045.30	c |    485220 |   28498   163280   552760 | 2147483647   485168    111 |  0.168 % |
4047.08/4048.39	c |    485432 |   28498   163280   552760 | 2147483647   485380    111 |  0.168 % |
4049.98/4051.24	c |    485665 |   28498   163280   552760 | 2147483647   485613    111 |  0.168 % |
4052.88/4054.15	c |    485922 |   28498   163280   552760 | 2147483647   485870    111 |  0.168 % |
4056.18/4057.47	c |    486203 |   28498   163280   552760 | 2147483647   486151    111 |  0.168 % |
4058.68/4060.00	c |    486513 |   28498   163280   552760 | 2147483647   486461    111 |  0.168 % |
4063.28/4064.52	c |    486852 |   28498   163280   552760 | 2147483647   486800    111 |  0.168 % |
4068.47/4069.76	c |    487224 |   28498   163280   552760 | 2147483647   487172    111 |  0.168 % |
4072.98/4074.30	c |    487635 |   28498   163280   552760 | 2147483647   487583    111 |  0.168 % |
4078.58/4079.85	c |    488084 |   28498   163280   552760 | 2147483647   488032    111 |  0.168 % |
4082.18/4083.43	c |    488577 |   28498   163280   552760 | 2147483647   488525    111 |  0.168 % |
4089.07/4090.31	c |    489120 |   28498   163280   552760 | 2147483647   489068    111 |  0.168 % |
4096.67/4097.91	c |    489718 |   28498   163280   552760 | 2147483647   489666    111 |  0.168 % |
4102.97/4104.21	c |    490373 |   28498   163280   552760 | 2147483647   490321    111 |  0.168 % |
4110.27/4111.52	c |    491093 |   28498   163280   552760 | 2147483647   491041    111 |  0.168 % |
4119.36/4120.61	c |    491885 |   28498   163280   552760 | 2147483647   491833    111 |  0.168 % |
4129.46/4130.70	c |    492756 |   28498   163280   552760 | 2147483647   492704    111 |  0.168 % |
4137.97/4139.24	c |    493715 |   28498   163280   552760 | 2147483647   493663    111 |  0.168 % |
4150.56/4151.80	c |    494768 |   28498   163280   552760 | 2147483647   494716    111 |  0.168 % |
4165.25/4166.51	c |    495927 |   28498   163280   552760 | 2147483647   495875    111 |  0.168 % |
4178.54/4179.85	c |    497200 |   28498   163280   552760 | 2147483647   497148    111 |  0.168 % |
4195.74/4197.10	c |    498601 |   28498   163280   552760 | 2147483647   498549    111 |  0.168 % |
4215.34/4216.61	c |    500141 |   28498   163280   552760 | 2147483647   500089    111 |  0.168 % |
4234.83/4236.11	c |    501835 |   28498   163280   552760 | 2147483647   501783    111 |  0.168 % |
4254.32/4255.63	c |    503698 |   28498   163280   552760 | 2147483647   503646    111 |  0.168 % |
4277.42/4278.79	c |    505748 |   28498   163280   552760 | 2147483647   505696    111 |  0.168 % |
4302.36/4303.75	c |    508001 |   28498   163280   552760 | 2147483647   507949    111 |  0.168 % |
4328.35/4329.76	c |    510481 |   28498   163280   552760 | 2147483647   510429    111 |  0.168 % |
4353.34/4354.71	c |    513207 |   28498   163280   552760 | 2147483647   513155    111 |  0.168 % |
4390.73/4392.13	c |    516204 |   28498   163280   552760 | 2147483647   516152    111 |  0.168 % |
4428.83/4430.26	c |    519502 |   28498   163280   552760 | 2147483647   519450    111 |  0.168 % |
4467.61/4469.06	c |    523128 |   28498   163280   552760 | 2147483647   523076    111 |  0.168 % |
4515.20/4516.65	c |    527116 |   28498   163280   552760 | 2147483647   527064    111 |  0.168 % |
4562.68/4564.17	c |    531501 |   28498   163280   552760 | 2147483647   531449    111 |  0.168 % |
4624.27/4625.72	c |    536325 |   28498   163280   552760 | 2147483647   536273    112 |  0.168 % |
4625.47/4626.92	c |    536425 |   28498   163280   552760 | 2147483647   536373    112 |  0.168 % |
4626.47/4627.96	c |    536535 |   28498   163280   552760 | 2147483647   536483    112 |  0.168 % |
4628.06/4629.51	c |    536657 |   28498   163280   552760 | 2147483647   536605    112 |  0.168 % |
4629.26/4630.78	c |    536791 |   28498   163280   552760 | 2147483647   536739    112 |  0.168 % |
4630.76/4632.21	c |    536938 |   28498   163280   552760 | 2147483647   536886    112 |  0.168 % |
4632.77/4634.25	c |    537098 |   28498   163280   552760 | 2147483647   537046    112 |  0.168 % |
4635.66/4637.11	c |    537275 |   28498   163280   552760 | 2147483647   537223    112 |  0.168 % |
4637.96/4639.43	c |    537468 |   28498   163280   552760 | 2147483647   537416    112 |  0.168 % |
4641.56/4643.04	c |    537681 |   28498   163280   552760 | 2147483647   537629    112 |  0.168 % |
4643.66/4645.18	c |    537916 |   28498   163280   552760 | 2147483647   537864    112 |  0.168 % |
4647.06/4648.53	c |    538172 |   28498   163280   552760 | 2147483647   538120    112 |  0.168 % |
4650.76/4652.29	c |    538453 |   28498   163280   552760 | 2147483647   538401    112 |  0.168 % |
4654.46/4655.91	c |    538763 |   28498   163280   552760 | 2147483647   538711    112 |  0.168 % |
4657.96/4659.47	c |    539102 |   28498   163280   552760 | 2147483647   539050    112 |  0.168 % |
4661.86/4663.39	c |    539474 |   28498   163280   552760 | 2147483647   539422    112 |  0.168 % |
4667.66/4669.17	c |    539883 |   28498   163280   552760 | 2147483647   539831    112 |  0.168 % |
4675.46/4676.99	c |    540333 |   28498   163280   552760 | 2147483647   540281    112 |  0.168 % |
4682.15/4683.61	c |    540826 |   28498   163280   552760 | 2147483647   540774    112 |  0.168 % |
4688.45/4689.95	c |    541368 |   28498   163280   552760 | 2147483647   541316    111 |  0.168 % |
4695.55/4697.08	c |    541964 |   28498   163280   552760 | 2147483647   541912    112 |  0.168 % |
4705.05/4706.55	c |    542620 |   28498   163280   552760 | 2147483647   542568    111 |  0.168 % |
4715.14/4716.64	c |    543340 |   28498   163280   552760 | 2147483647   543288    111 |  0.168 % |
4721.74/4723.29	c |    544132 |   28498   163280   552760 | 2147483647   544080    111 |  0.168 % |
4729.54/4731.05	c |    545004 |   28498   163280   552760 | 2147483647   544952    111 |  0.168 % |
4742.64/4744.19	c |    545963 |   28498   163280   552760 | 2147483647   545911    111 |  0.168 % |
4754.33/4755.87	c |    547017 |   28498   163280   552760 | 2147483647   546965    112 |  0.168 % |
4764.13/4765.65	c |    548175 |   28498   163280   552760 | 2147483647   548123    112 |  0.168 % |
4780.53/4782.05	c |    549448 |   28498   163280   552760 | 2147483647   549396    111 |  0.168 % |
4797.82/4799.33	c |    550848 |   28498   163280   552760 | 2147483647   550796    112 |  0.168 % |
4812.61/4814.16	c |    552390 |   28498   163280   552760 | 2147483647   552338    111 |  0.168 % |
4838.51/4840.04	c |    554084 |   28498   163280   552760 | 2147483647   554032    111 |  0.168 % |
4856.41/4857.99	c |    555948 |   28498   163280   552760 | 2147483647   555896    111 |  0.168 % |
4875.70/4877.25	c |    557997 |   28498   163280   552760 | 2147483647   557945    111 |  0.168 % |
4903.79/4905.34	c |    560252 |   28498   163280   552760 | 2147483647   560200    111 |  0.168 % |
4941.08/4942.66	c |    562732 |   28498   163280   552760 | 2147483647   562680    112 |  0.168 % |
4976.57/4978.14	c |    565459 |   28498   163280   552760 | 2147483647   565407    112 |  0.168 % |
5010.96/5012.60	c |    568459 |   28498   163280   552760 | 2147483647   568407    112 |  0.168 % |
5045.46/5047.04	c |    571755 |   28498   163280   552760 | 2147483647   571703    111 |  0.168 % |
5094.13/5095.71	c |    575380 |   28498   163280   552760 | 2147483647   575328    112 |  0.168 % |
5132.32/5133.92	c |    579367 |   28498   163280   552760 | 2147483647   579315    112 |  0.168 % |
5176.12/5177.74	c |    583753 |   28498   163280   552760 | 2147483647   583701    111 |  0.168 % |
5232.49/5234.17	c |    588576 |   28498   163280   552760 | 2147483647   588524    112 |  0.168 % |
5271.89/5273.55	c |    593881 |   28498   163280   552760 | 2147483647   593829    111 |  0.168 % |
5273.89/5275.51	c |    593982 |   28498   163280   552760 | 2147483647   593930    111 |  0.168 % |
5275.49/5277.16	c |    594093 |   28498   163280   552760 | 2147483647   594041    111 |  0.168 % |
5277.49/5279.17	c |    594214 |   28498   163280   552760 | 2147483647   594162    111 |  0.168 % |
5279.79/5281.46	c |    594348 |   28498   163280   552760 | 2147483647   594296    111 |  0.168 % |
5281.89/5283.52	c |    594495 |   28498   163280   552760 | 2147483647   594443    111 |  0.168 % |
5288.59/5290.21	c |    594656 |   28498   163280   552760 | 2147483647   594604    111 |  0.168 % |
5290.98/5292.64	c |    594833 |   28498   163280   552760 | 2147483647   594781    111 |  0.168 % |
5294.38/5296.08	c |    595028 |   28498   163280   552760 | 2147483647   594976    111 |  0.168 % |
5297.88/5299.52	c |    595240 |   28498   163280   552760 | 2147483647   595188    111 |  0.168 % |
5301.68/5303.33	c |    595473 |   28498   163280   552760 | 2147483647   595421    111 |  0.168 % |
5305.78/5307.45	c |    595729 |   28498   163280   552760 | 2147483647   595677    111 |  0.168 % |
5309.47/5311.16	c |    596011 |   28498   163280   552760 | 2147483647   595959    111 |  0.168 % |
5314.07/5315.79	c |    596321 |   28498   163280   552760 | 2147483647   596269    111 |  0.168 % |
5318.57/5320.22	c |    596662 |   28498   163280   552760 | 2147483647   596610    111 |  0.168 % |
5322.97/5324.65	c |    597034 |   28498   163280   552760 | 2147483647   596982    111 |  0.168 % |
5325.97/5327.64	c |    597443 |   28498   163280   552760 | 2147483647   597391    111 |  0.168 % |
5331.77/5333.49	c |    597893 |   28498   163280   552760 | 2147483647   597841    111 |  0.168 % |
5337.47/5339.19	c |    598386 |   28498   163280   552760 | 2147483647   598334    111 |  0.168 % |
5344.87/5346.54	c |    598928 |   28498   163280   552760 | 2147483647   598876    111 |  0.168 % |
5352.66/5354.34	c |    599524 |   28498   163280   552760 | 2147483647   599472    111 |  0.168 % |
5361.26/5362.97	c |    600181 |   28498   163280   552760 | 2147483647   600129    111 |  0.168 % |
5371.16/5372.89	c |    600902 |   28498   163280   552760 | 2147483647   600850    111 |  0.168 % |
5383.96/5385.70	c |    601695 |   28498   163280   552760 | 2147483647   601643    111 |  0.168 % |
5396.05/5397.80	c |    602567 |   28498   163280   552760 | 2147483647   602515    111 |  0.168 % |
5409.64/5411.32	c |    603526 |   28498   163280   552760 | 2147483647   603474    111 |  0.168 % |
5425.15/5426.84	c |    604579 |   28498   163280   552760 | 2147483647   604527    111 |  0.168 % |
5440.14/5441.83	c |    605737 |   28498   163280   552760 | 2147483647   605685    111 |  0.168 % |
5455.63/5457.33	c |    607010 |   28498   163280   552760 | 2147483647   606958    111 |  0.168 % |
5473.03/5474.71	c |    608411 |   28498   163280   552760 | 2147483647   608359    111 |  0.168 % |
5490.23/5491.96	c |    609952 |   28498   163280   552760 | 2147483647   609900    111 |  0.168 % |
5511.32/5513.08	c |    611646 |   28498   163280   552760 | 2147483647   611594    111 |  0.168 % |
5536.31/5538.01	c |    613510 |   28498   163280   552760 | 2147483647   613458    112 |  0.168 % |
5564.21/5566.00	c |    615559 |   28498   163280   552760 | 2147483647   615507    112 |  0.168 % |
5588.19/5589.91	c |    617813 |   28498   163280   552760 | 2147483647   617761    112 |  0.168 % |
5619.49/5621.21	c |    620291 |   28498   163280   552760 | 2147483647   620239    111 |  0.168 % |
5654.27/5656.03	c |    623016 |   28498   163280   552760 | 2147483647   622964    111 |  0.168 % |
5691.77/5693.53	c |    626014 |   28498   163280   552760 | 2147483647   625962    112 |  0.168 % |
5748.36/5750.17	c |    629310 |   28498   163280   552760 | 2147483647   629258    111 |  0.168 % |
5795.44/5797.26	c |    632935 |   28498   163280   552760 | 2147483647   632883    112 |  0.168 % |
5841.43/5843.22	c |    636922 |   28498   163280   552760 | 2147483647   636870    111 |  0.168 % |
5893.01/5894.88	c |    641307 |   28498   163280   552760 | 2147483647   641255    111 |  0.168 % |
5958.40/5960.21	c |    646130 |   28498   163280   552760 | 2147483647   646078    111 |  0.168 % |
6029.58/6031.43	c |    651435 |   28498   163280   552760 | 2147483647   651383    112 |  0.168 % |
6107.35/6109.21	c |    657271 |   28498   163280   552760 | 2147483647   657219    112 |  0.168 % |
6107.85/6109.77	c |    657372 |   28498   163280   552760 | 2147483647   657320    112 |  0.168 % |
6109.05/6110.96	c |    657484 |   28498   163280   552760 | 2147483647   657432    112 |  0.168 % |
6111.45/6113.36	c |    657606 |   28498   163280   552760 | 2147483647   657554    112 |  0.168 % |
6113.06/6114.92	c |    657739 |   28498   163280   552760 | 2147483647   657687    112 |  0.168 % |
6114.85/6116.77	c |    657885 |   28498   163280   552760 | 2147483647   657833    112 |  0.168 % |
6117.15/6119.08	c |    658045 |   28498   163280   552760 | 2147483647   657993    112 |  0.168 % |
6120.05/6121.94	c |    658222 |   28498   163280   552760 | 2147483647   658170    112 |  0.168 % |
6123.45/6125.32	c |    658416 |   28498   163280   552760 | 2147483647   658364    112 |  0.168 % |
6125.85/6127.71	c |    658628 |   28498   163280   552760 | 2147483647   658576    112 |  0.168 % |
6129.84/6131.76	c |    658862 |   28498   163280   552760 | 2147483647   658810    112 |  0.168 % |
6134.44/6136.39	c |    659118 |   28498   163280   552760 | 2147483647   659066    112 |  0.168 % |
6139.14/6141.03	c |    659400 |   28498   163280   552760 | 2147483647   659348    112 |  0.168 % |
6142.74/6144.62	c |    659709 |   28498   163280   552760 | 2147483647   659657    112 |  0.168 % |
6147.14/6149.07	c |    660049 |   28498   163280   552760 | 2147483647   659997    112 |  0.168 % |
6154.43/6156.30	c |    660423 |   28498   163280   552760 | 2147483647   660371    112 |  0.168 % |
6160.14/6162.01	c |    660833 |   28498   163280   552760 | 2147483647   660781    112 |  0.168 % |
6167.53/6169.43	c |    661282 |   28498   163280   552760 | 2147483647   661230    112 |  0.168 % |
6174.23/6176.16	c |    661776 |   28498   163280   552760 | 2147483647   661724    112 |  0.168 % |
6182.43/6184.39	c |    662318 |   28498   163280   552760 | 2147483647   662266    112 |  0.168 % |
6191.53/6193.44	c |    662914 |   28498   163280   552760 | 2147483647   662862    112 |  0.168 % |
6198.12/6200.04	c |    663569 |   28498   163280   552760 | 2147483647   663517    112 |  0.168 % |
6204.82/6206.70	c |    664289 |   28498   163280   552760 | 2147483647   664237    112 |  0.168 % |
6212.72/6214.62	c |    665082 |   28498   163280   552760 | 2147483647   665030    112 |  0.168 % |
6225.51/6227.47	c |    665954 |   28498   163280   552760 | 2147483647   665902    112 |  0.168 % |
6238.71/6240.61	c |    666913 |   28498   163280   552760 | 2147483647   666861    112 |  0.168 % |
6255.51/6257.43	c |    667966 |   28498   163280   552760 | 2147483647   667914    112 |  0.168 % |
6275.20/6277.12	c |    669124 |   28498   163280   552760 | 2147483647   669072    112 |  0.168 % |
6292.40/6294.39	c |    670397 |   28498   163280   552760 | 2147483647   670345    112 |  0.168 % |
6307.00/6308.99	c |    671797 |   28498   163280   552760 | 2147483647   671745    112 |  0.168 % |
6326.89/6328.89	c |    673338 |   28498   163280   552760 | 2147483647   673286    112 |  0.168 % |
6352.78/6354.70	c |    675032 |   28498   163280   552760 | 2147483647   674980    112 |  0.168 % |
6378.18/6380.14	c |    676895 |   28498   163280   552760 | 2147483647   676843    112 |  0.168 % |
6407.47/6409.49	c |    678946 |   28498   163280   552760 | 2147483647   678894    112 |  0.168 % |
6436.06/6438.07	c |    681200 |   28498   163280   552760 | 2147483647   681148    113 |  0.168 % |
6471.45/6473.41	c |    683678 |   28498   163280   552760 | 2147483647   683626    113 |  0.168 % |
6503.54/6505.60	c |    686403 |   28498   163280   552760 | 2147483647   686351    113 |  0.168 % |
6544.03/6546.05	c |    689401 |   28498   163280   552760 | 2147483647   689349    113 |  0.168 % |
6589.81/6591.84	c |    692697 |   28498   163280   552760 | 2147483647   692645    113 |  0.168 % |
6637.20/6639.23	c |    696322 |   28498   163280   552760 | 2147483647   696270    113 |  0.168 % |
6682.79/6684.81	c |    700309 |   28498   163280   552760 | 2147483647   700257    112 |  0.168 % |
6743.67/6745.71	c |    704694 |   28498   163280   552760 | 2147483647   704642    113 |  0.168 % |
6808.55/6810.67	c |    709518 |   28498   163280   552760 | 2147483647   709466    113 |  0.168 % |
6867.24/6869.35	c |    714824 |   28498   163280   552760 | 2147483647   714772    112 |  0.168 % |
6956.11/6958.20	c |    720660 |   28498   163280   552760 | 2147483647   720608    113 |  0.168 % |
7058.69/7060.82	c |    727078 |   28498   163280   552760 | 2147483647   727026    113 |  0.168 % |
7060.48/7062.62	c |    727179 |   28498   163280   552760 | 2147483647   727127    113 |  0.168 % |
7062.28/7064.42	c |    727290 |   28498   163280   552760 | 2147483647   727238    113 |  0.168 % |
7064.98/7067.12	c |    727412 |   28498   163280   552760 | 2147483647   727360    113 |  0.168 % |
7066.78/7068.91	c |    727545 |   28498   163280   552760 | 2147483647   727493    113 |  0.168 % |
7069.18/7071.36	c |    727691 |   28498   163280   552760 | 2147483647   727639    113 |  0.168 % |
7070.98/7073.16	c |    727851 |   28498   163280   552760 | 2147483647   727799    113 |  0.168 % |
7073.28/7075.41	c |    728027 |   28498   163280   552760 | 2147483647   727975    113 |  0.168 % |
7076.58/7078.79	c |    728220 |   28498   163280   552760 | 2147483647   728168    113 |  0.168 % |
7080.08/7082.28	c |    728433 |   28498   163280   552760 | 2147483647   728381    113 |  0.168 % |
7084.58/7086.78	c |    728667 |   28498   163280   552760 | 2147483647   728615    113 |  0.168 % |
7087.97/7090.15	c |    728923 |   28498   163280   552760 | 2147483647   728871    113 |  0.168 % |
7092.67/7094.85	c |    729204 |   28498   163280   552760 | 2147483647   729152    113 |  0.168 % |
7098.48/7100.64	c |    729513 |   28498   163280   552760 | 2147483647   729461    113 |  0.168 % |
7104.88/7107.09	c |    729854 |   28498   163280   552760 | 2147483647   729802    113 |  0.168 % |
7110.77/7112.92	c |    730226 |   28498   163280   552760 |   729949   730174    113 |  0.168 % |
7120.07/7122.28	c |    730636 |   28498   163280   552760 |   729949   657567    111 |  0.168 % |
7125.77/7127.97	c |    731085 |   28498   163280   552760 |   729949   658016    111 |  0.168 % |
7132.67/7134.88	c |    731578 |   28498   163280   552760 |   729949   658509    111 |  0.168 % |
7141.87/7144.09	c |    732120 |   28498   163280   552760 |   729949   659051    111 |  0.168 % |
7151.36/7153.56	c |    732717 |   28498   163280   552760 |   729949   659648    111 |  0.168 % |
7160.36/7162.51	c |    733373 |   28498   163280   552760 |   729949   660304    111 |  0.168 % |
7170.06/7172.24	c |    734093 |   28498   163280   552760 |   729949   661024    111 |  0.168 % |
7179.76/7181.93	c |    734886 |   28498   163280   552760 |   729949   661817    111 |  0.168 % |
7193.35/7195.50	c |    735761 |   28498   163280   552760 |   729949   662692    111 |  0.168 % |
7204.75/7206.95	c |    736721 |   28498   163280   552760 |   729949   663652    111 |  0.168 % |
7219.64/7221.89	c |    737774 |   28497   163272   552732 |   729949   664689    111 |  0.172 % |
7232.44/7234.70	c |    738932 |   28497   163272   552732 |   729949   665847    111 |  0.172 % |
7247.23/7249.47	c |    740206 |   28497   163272   552732 | 2147483647   667121    111 |  0.172 % |
7262.73/7264.98	c |    741607 |   28497   163272   552732 | 2147483647   668522    111 |  0.172 % |
7279.32/7281.59	c |    743147 |   28497   163272   552732 | 2147483647   670062    111 |  0.172 % |
7302.51/7304.79	c |    744842 |   28497   163272   552732 | 2147483647   671757    111 |  0.172 % |
7337.11/7339.38	c |    746705 |   28497   163272   552732 | 2147483647   673620    111 |  0.172 % |
7363.90/7366.16	c |    748756 |   28497   163272   552732 | 2147483647   675671    111 |  0.172 % |
7388.09/7390.32	c |    751010 |   28497   163272   552732 | 2147483647   677925    111 |  0.172 % |
7424.58/7426.89	c |    753489 |   28497   163272   552732 | 2147483647   680404    111 |  0.172 % |
7463.77/7466.02	c |    756216 |   28497   163272   552732 | 2147483647   683131    111 |  0.172 % |
7503.87/7506.10	c |    759213 |   28497   163272   552732 | 2147483647   686128    111 |  0.172 % |
7547.85/7550.16	c |    762509 |   28497   163272   552732 | 2147483647   689424    111 |  0.172 % |
7601.13/7603.42	c |    766134 |   28497   163272   552732 | 2147483647   693049    112 |  0.172 % |
7658.42/7660.78	c |    770123 |   28497   163272   552732 | 2147483647   697038    112 |  0.172 % |
7719.61/7721.95	c |    774508 |   28497   163272   552732 | 2147483647   701423    112 |  0.172 % |
7789.49/7791.82	c |    779332 |   28497   163272   552732 | 2147483647   706247    112 |  0.172 % |
7860.06/7862.46	c |    784637 |   28497   163272   552732 | 2147483647   711552    112 |  0.172 % |
7940.93/7943.37	c |    790473 |   28497   163272   552732 | 2147483647   717388    113 |  0.172 % |
8027.11/8029.60	c |    796892 |   28497   163272   552732 | 2147483647   723807    113 |  0.172 % |
8132.09/8134.55	c |    803952 |   28497   163272   552732 | 2147483647   730867    113 |  0.172 % |
8133.19/8135.67	c |    804052 |   28497   163272   552732 | 2147483647   730967    113 |  0.172 % |
8134.88/8137.38	c |    804164 |   28497   163272   552732 | 2147483647   731079    113 |  0.172 % |
8137.08/8139.52	c |    804285 |   28497   163272   552732 | 2147483647   731200    113 |  0.172 % |
8138.58/8141.07	c |    804419 |   28497   163272   552732 | 2147483647   731334    113 |  0.172 % |
8141.58/8144.03	c |    804565 |   28497   163272   552732 | 2147483647   731480    113 |  0.172 % |
8143.87/8146.36	c |    804726 |   28497   163272   552732 | 2147483647   731641    113 |  0.172 % |
8146.17/8148.62	c |    804902 |   28497   163272   552732 | 2147483647   731817    113 |  0.172 % |
8149.77/8152.21	c |    805095 |   28497   163272   552732 | 2147483647   732010    113 |  0.172 % |
8152.07/8154.57	c |    805307 |   28497   163272   552732 | 2147483647   732222    113 |  0.172 % |
8155.87/8158.40	c |    805540 |   28497   163272   552732 | 2147483647   732455    113 |  0.172 % |
8160.27/8162.78	c |    805796 |   28497   163272   552732 | 2147483647   732711    113 |  0.172 % |
8165.97/8168.49	c |    806077 |   28497   163272   552732 | 2147483647   732992    113 |  0.172 % |
8168.56/8171.06	c |    806386 |   28497   163272   552732 | 2147483647   733301    113 |  0.172 % |
8172.86/8175.38	c |    806725 |   28497   163272   552732 | 2147483647   733640    113 |  0.172 % |
8178.36/8180.89	c |    807097 |   28497   163272   552732 | 2147483647   734012    113 |  0.172 % |
8186.96/8189.47	c |    807507 |   28497   163272   552732 | 2147483647   734422    113 |  0.172 % |
8194.77/8197.26	c |    807956 |   28497   163272   552732 | 2147483647   734871    113 |  0.172 % |
8203.57/8206.02	c |    808449 |   28497   163272   552732 | 2147483647   735364    113 |  0.172 % |
8212.86/8215.39	c |    808991 |   28497   163272   552732 | 2147483647   735906    113 |  0.172 % |
8221.06/8223.51	c |    809587 |   28497   163272   552732 | 2147483647   736502    113 |  0.172 % |
8231.35/8233.81	c |    810242 |   28497   163272   552732 | 2147483647   737157    113 |  0.172 % |
8242.05/8244.53	c |    810963 |   28497   163272   552732 | 2147483647   737878    113 |  0.172 % |
8254.65/8257.18	c |    811756 |   28497   163272   552732 | 2147483647   738671    113 |  0.172 % |
8269.14/8271.60	c |    812627 |   28497   163272   552732 | 2147483647   739542    113 |  0.172 % |
8283.04/8285.52	c |    813585 |   28497   163272   552732 | 2147483647   740500    113 |  0.172 % |
8299.93/8302.44	c |    814639 |   28497   163272   552732 | 2147483647   741554    113 |  0.172 % |
8315.82/8318.36	c |    815797 |   28497   163272   552732 | 2147483647   742712    113 |  0.172 % |
8335.62/8338.11	c |    817070 |   28497   163272   552732 | 2147483647   743985    113 |  0.172 % |
8359.91/8362.41	c |    818471 |   28497   163272   552732 | 2147483647   745386    113 |  0.172 % |
8383.91/8386.41	c |    820011 |   28497   163272   552732 |   746916   746926    113 |  0.172 % |
8410.00/8412.53	c |    821705 |   28497   163272   552732 |   746916   748620    114 |  0.172 % |
8444.19/8446.79	c |    823568 |   28497   163272   552732 |   746916   646385    111 |  0.172 % |
8472.59/8475.10	c |    825618 |   28497   163272   552732 |   746916   648435    111 |  0.172 % |
8504.38/8506.91	c |    827872 |   28497   163272   552732 |   746916   650689    111 |  0.172 % |
8536.57/8539.17	c |    830350 |   28497   163272   552732 | 2147483647   653167    111 |  0.172 % |
8576.16/8578.71	c |    833076 |   28497   163272   552732 | 2147483647   655893    111 |  0.172 % |
8614.85/8617.44	c |    836074 |   28497   163272   552732 | 2147483647   658891    111 |  0.172 % |
8658.94/8661.55	c |    839370 |   28497   163272   552732 | 2147483647   662187    111 |  0.172 % |
8708.33/8710.96	c |    842995 |   28497   163272   552732 | 2147483647   665812    111 |  0.172 % |
8753.71/8756.33	c |    846982 |   28497   163272   552732 | 2147483647   669799    111 |  0.172 % |
8809.79/8812.45	c |    851368 |   28497   163272   552732 | 2147483647   674185    111 |  0.172 % |
8870.87/8873.57	c |    856193 |   28497   163272   552732 | 2147483647   679010    112 |  0.172 % |
8922.06/8924.78	c |    861498 |   28497   163272   552732 | 2147483647   684315    111 |  0.172 % |
9007.94/9010.67	c |    867333 |   28497   163272   552732 | 2147483647   690150    112 |  0.172 % |
9100.41/9103.16	c |    873752 |   28497   163272   552732 | 2147483647   696569    112 |  0.172 % |
9208.88/9211.68	c |    880813 |   28497   163272   552732 | 2147483647   703630    112 |  0.172 % |
9311.76/9314.57	c |    888578 |   28497   163272   552732 | 2147483647   711395    113 |  0.172 % |
9313.46/9316.21	c |    888679 |   28497   163272   552732 | 2147483647   711496    113 |  0.172 % |
9315.56/9318.32	c |    888789 |   28497   163272   552732 | 2147483647   711606    113 |  0.172 % |
9317.56/9320.35	c |    888910 |   28497   163272   552732 | 2147483647   711727    113 |  0.172 % |
9320.16/9322.95	c |    889045 |   28497   163272   552732 | 2147483647   711862    113 |  0.172 % |
9323.16/9325.97	c |    889192 |   28497   163272   552732 | 2147483647   712009    113 |  0.172 % |
9325.95/9328.75	c |    889352 |   28497   163272   552732 | 2147483647   712169    113 |  0.172 % |
9328.46/9331.24	c |    889528 |   28497   163272   552732 | 2147483647   712345    113 |  0.172 % |
9331.95/9334.73	c |    889721 |   28497   163272   552732 | 2147483647   712538    113 |  0.172 % |
9334.55/9337.38	c |    889933 |   28497   163272   552732 | 2147483647   712750    113 |  0.172 % |
9337.35/9340.19	c |    890167 |   28497   163272   552732 |   712818   712984    113 |  0.172 % |
9344.25/9347.00	c |    890423 |   28497   163272   552732 |   712818   623887    108 |  0.172 % |
9348.85/9351.64	c |    890704 |   28497   163272   552732 |   712818   624168    108 |  0.172 % |
9354.14/9356.97	c |    891014 |   28497   163272   552732 |   712818   624478    108 |  0.172 % |
9359.54/9362.35	c |    891354 |   28497   163272   552732 |   712818   624818    108 |  0.172 % |
9365.04/9367.89	c |    891727 |   28497   163272   552732 |   712818   625191    108 |  0.172 % |
9372.14/9374.95	c |    892136 |   28497   163272   552732 |   712818   625600    108 |  0.172 % |
9376.84/9379.64	c |    892585 |   28497   163272   552732 |   712818   626049    108 |  0.172 % |
9384.33/9387.12	c |    893079 |   28497   163272   552732 |   712818   626543    108 |  0.172 % |
9390.63/9393.42	c |    893622 |   28497   163272   552732 |   712818   627086    108 |  0.172 % |
9399.23/9402.06	c |    894219 |   28497   163272   552732 |   712818   627683    108 |  0.172 % |
9407.32/9410.18	c |    894874 |   28497   163272   552732 |   712818   628338    108 |  0.172 % |
9417.42/9420.27	c |    895595 |   28497   163272   552732 |   712818   629059    108 |  0.172 % |
9427.42/9430.27	c |    896388 |   28497   163272   552732 |   712818   629852    108 |  0.172 % |
9438.02/9440.81	c |    897260 |   28497   163272   552732 |   712818   630724    108 |  0.172 % |
9450.81/9453.66	c |    898218 |   28497   163272   552732 |   712818   631682    108 |  0.172 % |
9458.71/9461.52	c |    899271 |   28497   163272   552732 |   712818   632735    108 |  0.172 % |
9474.71/9477.57	c |    900429 |   28497   163272   552732 | 2147483647   633893    108 |  0.172 % |
9494.50/9497.38	c |    901703 |   28497   163272   552732 | 2147483647   635167    108 |  0.172 % |
9515.59/9518.48	c |    903103 |   28497   163272   552732 | 2147483647   636567    108 |  0.172 % |
9534.49/9537.39	c |    904643 |   28497   163272   552732 | 2147483647   638107    108 |  0.172 % |
9563.19/9566.06	c |    906339 |   28497   163272   552732 | 2147483647   639803    108 |  0.172 % |
9593.38/9596.27	c |    908202 |   28497   163272   552732 | 2147483647   641666    108 |  0.172 % |
9624.17/9627.09	c |    910251 |   28497   163272   552732 | 2147483647   643715    108 |  0.172 % |
9654.66/9657.59	c |    912505 |   28497   163272   552732 | 2147483647   645969    108 |  0.172 % |
9681.15/9684.04	c |    914984 |   28497   163272   552732 | 2147483647   648448    108 |  0.172 % |
9722.24/9725.14	c |    917710 |   28497   163272   552732 | 2147483647   651174    108 |  0.172 % |
9762.83/9765.78	c |    920707 |   28497   163272   552732 | 2147483647   654171    109 |  0.172 % |
9808.62/9811.51	c |    924003 |   28497   163272   552732 | 2147483647   657467    109 |  0.172 % |
9861.20/9864.14	c |    927628 |   28497   163272   552732 | 2147483647   661092    109 |  0.172 % |
9911.69/9914.65	c |    931615 |   28497   163272   552732 | 2147483647   665079    109 |  0.172 % |
9967.37/9970.32	c |    936000 |   28497   163272   552732 | 2147483647   669464    109 |  0.172 % |

Verifier Data 

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

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837294-1242867038/watcher-1837294-1242867038 -o /tmp/evaluation-result-1837294-1242867038/solver-1837294-1242867038 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837294-1242867038.cnf 

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


[startup+0 s]
/proc/loadavg: 0.78 0.95 0.98 3/64 7511
/proc/meminfo: memFree=1749688/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=0
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 314736451 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7511/statm: 1339 237 197 169 0 50 0

[startup+0.096773 s]
/proc/loadavg: 0.78 0.95 0.98 3/64 7511
/proc/meminfo: memFree=1749688/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=0
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 314736451 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7511/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101772 s]
/proc/loadavg: 0.78 0.95 0.98 3/64 7511
/proc/meminfo: memFree=1749688/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=0
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 314736451 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7511/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301796 s]
/proc/loadavg: 0.78 0.95 0.98 3/64 7511
/proc/meminfo: memFree=1749688/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=0
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 314736451 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7511/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701844 s]
/proc/loadavg: 0.78 0.95 0.98 3/64 7511
/proc/meminfo: memFree=1749688/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=0
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 314736451 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7511/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50195 s]
/proc/loadavg: 0.78 0.95 0.98 2/66 7516
/proc/meminfo: memFree=1709984/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=1.45
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 336 10139 0 0 0 0 137 8 16 0 1 0 314736451 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7511/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 5356

[startup+3.10113 s]
/proc/loadavg: 0.78 0.95 0.98 2/66 7517
/proc/meminfo: memFree=1730144/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=1.45
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 336 10139 0 0 0 0 137 8 16 0 1 0 314736451 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7511/statm: 1339 239 197 169 0 50 0
[pid=7517] ppid=7511 vsize=12872 CPUtime=1.63
/proc/7517/stat : 7517 (minisat_static) R 7511 7511 7474 0 -1 4194304 2976 0 0 0 161 2 0 0 25 0 1 0 314736597 13180928 2962 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/7517/statm: 3218 2962 76 171 0 3045 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 18228

[startup+6.30152 s]
/proc/loadavg: 0.80 0.95 0.98 2/66 7517
/proc/meminfo: memFree=1729248/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=1.45
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 336 10139 0 0 0 0 137 8 16 0 1 0 314736451 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7511/statm: 1339 239 197 169 0 50 0
[pid=7517] ppid=7511 vsize=13268 CPUtime=4.82
/proc/7517/stat : 7517 (minisat_static) R 7511 7511 7474 0 -1 4194304 3093 0 0 0 479 3 0 0 25 0 1 0 314736597 13586432 3079 1992294400 134512640 135215339 4294956240 18446744073709551615 134537869 0 0 4096 3 0 0 0 17 1 0 0
/proc/7517/statm: 3317 3079 76 171 0 3144 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 18624

[startup+12.7013 s]
/proc/loadavg: 0.81 0.95 0.98 2/66 7517
/proc/meminfo: memFree=1728880/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=1.45
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 336 10139 0 0 0 0 137 8 16 0 1 0 314736451 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7511/statm: 1339 239 197 169 0 50 0
[pid=7517] ppid=7511 vsize=13932 CPUtime=11.23
/proc/7517/stat : 7517 (minisat_static) R 7511 7511 7474 0 -1 4194304 3255 0 0 0 1119 4 0 0 25 0 1 0 314736597 14266368 3241 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/7517/statm: 3483 3241 77 171 0 3310 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 19288

[startup+25.5028 s]
/proc/loadavg: 0.85 0.95 0.98 2/66 7517
/proc/meminfo: memFree=1727920/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=1.45
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 336 10139 0 0 0 0 137 8 16 0 1 0 314736451 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7511/statm: 1339 239 197 169 0 50 0
[pid=7517] ppid=7511 vsize=14864 CPUtime=24.02
/proc/7517/stat : 7517 (minisat_static) R 7511 7511 7474 0 -1 4194304 3478 0 0 0 2398 4 0 0 25 0 1 0 314736597 15220736 3464 1992294400 134512640 135215339 4294956240 18446744073709551615 134527218 0 0 4096 3 0 0 0 17 1 0 0
/proc/7517/statm: 3716 3464 77 171 0 3543 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 20220

[startup+51.1029 s]
/proc/loadavg: 0.90 0.96 0.98 2/66 7517
/proc/meminfo: memFree=1725872/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=1.45
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 336 10139 0 0 0 0 137 8 16 0 1 0 314736451 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7511/statm: 1339 239 197 169 0 50 0
[pid=7517] ppid=7511 vsize=17000 CPUtime=49.61
/proc/7517/stat : 7517 (minisat_static) R 7511 7511 7474 0 -1 4194304 4003 0 0 0 4956 5 0 0 25 0 1 0 314736597 17408000 3989 1992294400 134512640 135215339 4294956240 18446744073709551615 134529051 0 0 4096 3 0 0 0 17 1 0 0
/proc/7517/statm: 4250 3989 77 171 0 4077 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 22356

[startup+102.307 s]
/proc/loadavg: 0.96 0.96 0.98 2/66 7517
/proc/meminfo: memFree=1721328/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=1.45
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 336 10139 0 0 0 0 137 8 16 0 1 0 314736451 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7511/statm: 1339 239 197 169 0 50 0
[pid=7517] ppid=7511 vsize=21544 CPUtime=100.8
/proc/7517/stat : 7517 (minisat_static) R 7511 7511 7474 0 -1 4194304 5144 0 0 0 10072 8 0 0 25 0 1 0 314736597 22061056 5130 1992294400 134512640 135215339 4294956240 18446744073709551615 134532964 0 0 4096 3 0 0 0 17 1 0 0
/proc/7517/statm: 5386 5130 77 171 0 5213 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 26900

[startup+162.302 s]
/proc/loadavg: 0.98 0.97 0.98 2/66 7517
/proc/meminfo: memFree=1716336/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=1.45
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 336 10139 0 0 0 0 137 8 16 0 1 0 314736451 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7511/statm: 1339 239 197 169 0 50 0
[pid=7517] ppid=7511 vsize=26460 CPUtime=160.78
/proc/7517/stat : 7517 (minisat_static) R 7511 7511 7474 0 -1 4194304 6376 0 0 0 16068 10 0 0 25 0 1 0 314736597 27095040 6362 1992294400 134512640 135215339 4294956240 18446744073709551615 134529102 0 0 4096 3 0 0 0 17 1 0 0
/proc/7517/statm: 6615 6362 77 171 0 6442 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 31816

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 7517
/proc/meminfo: memFree=1712112/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=1.45
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 336 10139 0 0 0 0 137 8 16 0 1 0 314736451 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7511/statm: 1339 239 197 169 0 50 0
[pid=7517] ppid=7511 vsize=30632 CPUtime=220.75
/proc/7517/stat : 7517 (minisat_static) R 7511 7511 7474 0 -1 4194304 7418 0 0 0 22064 11 0 0 25 0 1 0 314736597 31367168 7404 1992294400 134512640 135215339 4294956240 18446744073709551615 134537869 0 0 4096 3 0 0 0 17 1 0 0
/proc/7517/statm: 7658 7404 77 171 0 7485 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 35988

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 7517
/proc/meminfo: memFree=1707696/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=1.45
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 336 10139 0 0 0 0 137 8 16 0 1 0 314736451 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7511/statm: 1339 239 197 169 0 50 0
[pid=7517] ppid=7511 vsize=34988 CPUtime=280.73
/proc/7517/stat : 7517 (minisat_static) R 7511 7511 7474 0 -1 4194304 8511 0 0 0 28059 14 0 0 25 0 1 0 314736597 35827712 8497 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/7517/statm: 8747 8497 77 171 0 8574 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 40344

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 7517
/proc/meminfo: memFree=1703536/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=1.45
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 336 10139 0 0 0 0 137 8 16 0 1 0 314736451 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7511/statm: 1339 239 197 169 0 50 0
[pid=7517] ppid=7511 vsize=39088 CPUtime=340.71
/proc/7517/stat : 7517 (minisat_static) R 7511 7511 7474 0 -1 4194304 9530 0 0 0 34056 15 0 0 25 0 1 0 314736597 40026112 9516 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7517/statm: 9772 9516 77 171 0 9599 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 44444

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 7517
/proc/meminfo: memFree=1698800/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=1.45
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 336 10139 0 0 0 0 137 8 16 0 1 0 314736451 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7511/statm: 1339 239 197 169 0 50 0
[pid=7517] ppid=7511 vsize=43828 CPUtime=400.69
/proc/7517/stat : 7517 (minisat_static) R 7511 7511 7474 0 -1 4194304 10696 0 0 0 40052 17 0 0 25 0 1 0 314736597 44879872 10682 1992294400 134512640 135215339 4294956240 18446744073709551615 134538030 0 0 4096 3 0 0 0 17 1 0 0
/proc/7517/statm: 10957 10682 77 171 0 10784 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 49184

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 7517
/proc/meminfo: memFree=1694448/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=1.45

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

/proc/7517/statm: 95715 94714 77 171 0 95542 0
Current children cumulated CPU time (s) 9339.55
Current children cumulated vsize (KiB) 388216

[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 8015
/proc/meminfo: memFree=1316208/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=1.45
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 336 10139 0 0 0 0 137 8 16 0 1 0 314736451 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7511/statm: 1339 239 197 169 0 50 0
[pid=7517] ppid=7511 vsize=382860 CPUtime=9398.08
/proc/7517/stat : 7517 (minisat_static) R 7511 7511 7474 0 -1 4194304 94729 0 0 0 939664 144 0 0 25 0 1 0 314736597 392048640 94715 1992294400 134512640 135215339 4294956240 18446744073709551615 134539400 0 0 4096 3 0 0 0 17 1 0 0
/proc/7517/statm: 95715 94715 77 171 0 95542 0
Current children cumulated CPU time (s) 9399.53
Current children cumulated vsize (KiB) 388216

[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 8015
/proc/meminfo: memFree=1316144/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=1.45
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 336 10139 0 0 0 0 137 8 16 0 1 0 314736451 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7511/statm: 1339 239 197 169 0 50 0
[pid=7517] ppid=7511 vsize=382860 CPUtime=9458.06
/proc/7517/stat : 7517 (minisat_static) R 7511 7511 7474 0 -1 4194304 94730 0 0 0 945662 144 0 0 25 0 1 0 314736597 392048640 94716 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/7517/statm: 95715 94716 77 171 0 95542 0
Current children cumulated CPU time (s) 9459.51
Current children cumulated vsize (KiB) 388216

[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 8015
/proc/meminfo: memFree=1316144/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=1.45
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 336 10139 0 0 0 0 137 8 16 0 1 0 314736451 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7511/statm: 1339 239 197 169 0 50 0
[pid=7517] ppid=7511 vsize=382860 CPUtime=9518.04
/proc/7517/stat : 7517 (minisat_static) R 7511 7511 7474 0 -1 4194304 94730 0 0 0 951660 144 0 0 25 0 1 0 314736597 392048640 94716 1992294400 134512640 135215339 4294956240 18446744073709551615 134529096 0 0 4096 3 0 0 0 17 1 0 0
/proc/7517/statm: 95715 94716 77 171 0 95542 0
Current children cumulated CPU time (s) 9519.49
Current children cumulated vsize (KiB) 388216

[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 8015
/proc/meminfo: memFree=1316080/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=1.45
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 336 10139 0 0 0 0 137 8 16 0 1 0 314736451 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7511/statm: 1339 239 197 169 0 50 0
[pid=7517] ppid=7511 vsize=382860 CPUtime=9578.03
/proc/7517/stat : 7517 (minisat_static) R 7511 7511 7474 0 -1 4194304 94736 0 0 0 957658 145 0 0 25 0 1 0 314736597 392048640 94722 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/7517/statm: 95715 94722 77 171 0 95542 0
Current children cumulated CPU time (s) 9579.48
Current children cumulated vsize (KiB) 388216

[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 8015
/proc/meminfo: memFree=1315952/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=1.45
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 336 10139 0 0 0 0 137 8 16 0 1 0 314736451 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7511/statm: 1339 239 197 169 0 50 0
[pid=7517] ppid=7511 vsize=383024 CPUtime=9638.01
/proc/7517/stat : 7517 (minisat_static) R 7511 7511 7474 0 -1 4194304 94769 0 0 0 963656 145 0 0 25 0 1 0 314736597 392216576 94755 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7517/statm: 95756 94755 77 171 0 95583 0
Current children cumulated CPU time (s) 9639.46
Current children cumulated vsize (KiB) 388380

[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 8015
/proc/meminfo: memFree=1315888/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=1.45
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 336 10139 0 0 0 0 137 8 16 0 1 0 314736451 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7511/statm: 1339 239 197 169 0 50 0
[pid=7517] ppid=7511 vsize=383024 CPUtime=9698
/proc/7517/stat : 7517 (minisat_static) R 7511 7511 7474 0 -1 4194304 94770 0 0 0 969655 145 0 0 25 0 1 0 314736597 392216576 94756 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7517/statm: 95756 94756 77 171 0 95583 0
Current children cumulated CPU time (s) 9699.45
Current children cumulated vsize (KiB) 388380

[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 8015
/proc/meminfo: memFree=1315824/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=1.45
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 336 10139 0 0 0 0 137 8 16 0 1 0 314736451 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7511/statm: 1339 239 197 169 0 50 0
[pid=7517] ppid=7511 vsize=383024 CPUtime=9757.98
/proc/7517/stat : 7517 (minisat_static) R 7511 7511 7474 0 -1 4194304 94770 0 0 0 975653 145 0 0 25 0 1 0 314736597 392216576 94756 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7517/statm: 95756 94756 77 171 0 95583 0
Current children cumulated CPU time (s) 9759.43
Current children cumulated vsize (KiB) 388380

[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 8015
/proc/meminfo: memFree=1315760/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=1.45
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 336 10139 0 0 0 0 137 8 16 0 1 0 314736451 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7511/statm: 1339 239 197 169 0 50 0
[pid=7517] ppid=7511 vsize=383024 CPUtime=9817.97
/proc/7517/stat : 7517 (minisat_static) R 7511 7511 7474 0 -1 4194304 94770 0 0 0 981651 146 0 0 25 0 1 0 314736597 392216576 94756 1992294400 134512640 135215339 4294956240 18446744073709551615 134537869 0 0 4096 3 0 0 0 17 1 0 0
/proc/7517/statm: 95756 94756 77 171 0 95583 0
Current children cumulated CPU time (s) 9819.42
Current children cumulated vsize (KiB) 388380

[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 8015
/proc/meminfo: memFree=1315760/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=1.45
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 336 10139 0 0 0 0 137 8 16 0 1 0 314736451 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7511/statm: 1339 239 197 169 0 50 0
[pid=7517] ppid=7511 vsize=383024 CPUtime=9877.95
/proc/7517/stat : 7517 (minisat_static) R 7511 7511 7474 0 -1 4194304 94770 0 0 0 987649 146 0 0 25 0 1 0 314736597 392216576 94756 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7517/statm: 95756 94756 77 171 0 95583 0
Current children cumulated CPU time (s) 9879.4
Current children cumulated vsize (KiB) 388380

[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 8015
/proc/meminfo: memFree=1315760/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=1.45
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 336 10139 0 0 0 0 137 8 16 0 1 0 314736451 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7511/statm: 1339 239 197 169 0 50 0
[pid=7517] ppid=7511 vsize=383024 CPUtime=9937.93
/proc/7517/stat : 7517 (minisat_static) R 7511 7511 7474 0 -1 4194304 94770 0 0 0 993647 146 0 0 25 0 1 0 314736597 392216576 94756 1992294400 134512640 135215339 4294956240 18446744073709551615 134532778 0 0 4096 3 0 0 0 17 1 0 0
/proc/7517/statm: 95756 94756 77 171 0 95583 0
Current children cumulated CPU time (s) 9939.38
Current children cumulated vsize (KiB) 388380

[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 8015
/proc/meminfo: memFree=1315760/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=1.45
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 336 10139 0 0 0 0 137 8 16 0 1 0 314736451 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7511/statm: 1339 239 197 169 0 50 0
[pid=7517] ppid=7511 vsize=383024 CPUtime=9997.92
/proc/7517/stat : 7517 (minisat_static) R 7511 7511 7474 0 -1 4194304 94770 0 0 0 999646 146 0 0 25 0 1 0 314736597 392216576 94756 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/7517/statm: 95756 94756 77 171 0 95583 0
Current children cumulated CPU time (s) 9999.37
Current children cumulated vsize (KiB) 388380



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+10003 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 8015
/proc/meminfo: memFree=1315760/2055920 swapFree=4179668/4192956
[pid=7511] ppid=7509 vsize=5356 CPUtime=1.45
/proc/7511/stat : 7511 (SatELiteGTI) S 7509 7511 7474 0 -1 4194304 336 10139 0 0 0 0 137 8 16 0 1 0 314736451 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7511/statm: 1339 239 197 169 0 50 0
[pid=7517] ppid=7511 vsize=383024 CPUtime=9998.62
/proc/7517/stat : 7517 (minisat_static) R 7511 7511 7474 0 -1 4194304 94770 0 0 0 999716 146 0 0 25 0 1 0 314736597 392216576 94756 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7517/statm: 95756 94756 77 171 0 95583 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 388380

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 7511 and gives
#  childrusage.ru_utime.tv_sec=1
#  childrusage.ru_utime.tv_usec=375790
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=82987
# CPU time returned by wait4() is 1.45878
# while last known CPU time is 10000.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 10003
CPU time (s): 10000.1
CPU user time (s): 9998.53
CPU system time (s): 1.54
CPU usage (%): 99.9706
Max. virtual memory (cumulated for all children) (KiB): 388380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.37579
system time used= 0.082987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10475
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 8

runsolver used 11.7552 second user time and 24.6453 second system time

The end

Launcher Data 

Begin job on node33 at 2009-05-21 02:50:38
IDJOB=1837294
IDBENCH=70819
IDSOLVER=674
FILE ID=node33/1837294-1242867038
PBS_JOBID= 9328564
Free space on /tmp= 66256 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/crypto/md5gen/gus-md5-15.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837294-1242867038/watcher-1837294-1242867038 -o /tmp/evaluation-result-1837294-1242867038/solver-1837294-1242867038 -C 10000 -W 12000 -M 1800  SatELiteGTI HOME/instance-1837294-1242867038.cnf

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

MD5SUM BENCH= c8a05d1e76535706c430a6b42d191d4b
RANDOM SEED=900857511

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1750168 kB
Buffers:         38224 kB
Cached:         228872 kB
SwapCached:       7352 kB
Active:          98244 kB
Inactive:       177428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1750168 kB
SwapTotal:     4192956 kB
SwapFree:      4179668 kB
Dirty:            5984 kB
Writeback:           0 kB
Mapped:          13796 kB
Slab:            16188 kB
Committed_AS:  1077044 kB
PageTables:       1392 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66248 MiB
End job on node33 at 2009-05-21 05:37:23