Trace number 1837302

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.1

General information on the benchmark

NameAPPLICATIONS/crypto/
md5gen/gus-md5-14.cnf
MD5SUM5822cc7fe01f06c27406011d612b5e7d
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 variables69641
Number of clauses227010
Sum of the clauses size588274
Maximum clause length3
Minimum clause length1
Number of clauses of size 1129
Number of clauses of size 292498
Number of clauses of size 3134383
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 |  226367   586604 |   67910       0        0     nan |  0.000 % |
1.19/1.25	c |         0 |  163489   553284 |      --       0       --      -- |     --   | -62878/-33320
1.19/1.25	c ==============================================================================
1.19/1.25	c Result  :   #vars: 28527   #clauses: 163489   #literals: 553284
1.19/1.25	c CPU time:   1.18582 s
1.19/1.25	c ==============================================================================
1.38/1.45	c This is MiniSat 2.0 beta
1.38/1.45	c WARNING: for repeatability, setting FPU to use double precision
1.38/1.45	c ============================[ Problem Statistics ]=============================
1.38/1.45	c |                                                                             |
1.38/1.45	c |  Number of variables:  28527                                                |
1.38/1.45	c |  Number of clauses:    163489                                               |
1.43/1.56	c |  Parsing time:         0.10         s                                       |
1.43/1.56	c ============================[ Search Statistics ]==============================
1.43/1.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.43/1.56	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.43/1.56	c ===============================================================================
1.43/1.56	c |         0 |   28527   163489   553284 |    54496        0    nan |  0.000 % |
1.43/1.59	c |       101 |   28514   163489   553284 |    54496       93      3 |  0.056 % |
1.43/1.87	c |       202 |   28514   163489   553284 |    54496      194     47 |  0.056 % |
2.56/2.62	c |       302 |   28514   163489   553284 |    54496      294     88 |  0.056 % |
2.86/2.90	c |       413 |   28511   163356   552886 |    54496      394     89 |  0.056 % |
3.17/3.23	c |       513 |   28511   163356   552886 |    54496      494     85 |  0.056 % |
3.36/3.49	c |       624 |   28511   163356   552886 |    54496      605     86 |  0.056 % |
3.56/3.66	c |       745 |   28511   163356   552886 |    54496      726     74 |  0.056 % |
3.86/3.91	c |       845 |   28511   163356   552886 |    54496      826     71 |  0.056 % |
4.37/4.40	c |       955 |   28511   163356   552886 |    54496      936     73 |  0.056 % |
4.86/4.98	c |      1077 |   28509   163349   552868 |    54496     1056     76 |  0.063 % |
5.16/5.22	c |      1211 |   28506   163349   552868 |    54496     1189     75 |  0.074 % |
5.36/5.46	c |      1311 |   28506   163349   552868 |    54496     1289     74 |  0.074 % |
5.76/5.84	c |      1422 |   28506   163326   552806 |    54496     1400     76 |  0.074 % |
6.66/6.78	c |      1543 |   28504   163326   552806 |    54496     1520     82 |  0.081 % |
6.96/7.03	c |      1677 |   28504   163316   552779 |    54496     1653     79 |  0.081 % |
7.86/7.96	c |      1824 |   28504   163316   552779 |    54496     1800     84 |  0.081 % |
8.77/8.85	c |      1925 |   28504   163316   552779 |    54496     1901     86 |  0.081 % |
9.07/9.16	c |      2036 |   28504   163316   552779 |    54496     2012     85 |  0.081 % |
9.27/9.33	c |      2159 |   28504   163316   552779 |    54496     2135     83 |  0.081 % |
9.77/9.90	c |      2293 |   28504   163316   552779 |    54496     2269     84 |  0.081 % |
10.37/10.49	c |      2439 |   28504   163316   552779 |    54496     2415     85 |  0.081 % |
11.47/11.53	c |      2599 |   28497   163279   552670 |    54496     2571     88 |  0.105 % |
11.87/11.99	c |      2699 |   28495   163269   552645 |    54496     2669     89 |  0.112 % |
12.36/12.49	c |      2809 |   28495   163269   552645 |    54496     2779     90 |  0.112 % |
12.96/13.09	c |      2931 |   28495   163269   552645 |    54496     2901     90 |  0.112 % |
13.66/13.72	c |      3064 |   28495   163247   552574 |    54496     3024     91 |  0.112 % |
14.66/14.70	c |      3210 |   28495   163247   552574 |    54496     3170     93 |  0.112 % |
15.46/15.57	c |      3372 |   28495   163247   552574 |    54496     3332     94 |  0.112 % |
16.36/16.45	c |      3548 |   28495   163247   552574 |    54496     3508     94 |  0.112 % |
16.96/17.06	c |      3649 |   28495   163247   552574 |    54496     3609     93 |  0.112 % |
17.76/17.85	c |      3760 |   28495   163247   552574 |    54496     3720     95 |  0.112 % |
18.16/18.21	c |      3882 |   28495   163247   552574 |    54496     3842     95 |  0.112 % |
18.46/18.50	c |      4015 |   28495   163247   552574 |    54496     3975     96 |  0.112 % |
18.46/18.53	c |      4162 |   28495   163247   552574 |    54496     4122     93 |  0.112 % |
18.46/18.54	c |      4322 |   28495   163247   552574 |    54496     4282     90 |  0.112 % |
18.46/18.56	c |      4499 |   28495   163247   552574 |    54496     4459     87 |  0.112 % |
18.66/18.75	c |      4692 |   28495   163247   552574 |    54496     4652     84 |  0.112 % |
19.06/19.10	c |      4792 |   28495   163247   552574 |    54496     4752     83 |  0.112 % |
19.86/19.90	c |      4902 |   28495   163247   552574 |    54496     4862     85 |  0.112 % |
20.76/20.81	c |      5024 |   28493   163237   552550 |    54496     4980     86 |  0.119 % |
21.46/21.52	c |      5159 |   28493   163237   552550 |    54496     5115     85 |  0.119 % |
22.65/22.72	c |      5305 |   28493   163237   552550 |    54496     5261     87 |  0.119 % |
23.56/23.67	c |      5465 |   28493   163237   552550 |    54496     5421     87 |  0.119 % |
24.07/24.13	c |      5642 |   28493   163237   552550 |    54496     5598     85 |  0.119 % |
25.86/25.94	c |      5836 |   28493   163237   552550 |    54496     5792     88 |  0.119 % |
26.66/26.77	c |      6051 |   28493   163237   552550 |    54496     6007     88 |  0.119 % |
27.37/27.48	c |      6151 |   28493   163237   552550 |    54496     6107     89 |  0.119 % |
28.06/28.18	c |      6261 |   28493   163237   552550 |    54496     6217     88 |  0.119 % |
28.56/28.66	c |      6382 |   28493   163237   552550 |    54496     6338     88 |  0.119 % |
29.46/29.53	c |      6515 |   28493   163237   552550 |    54496     6471     89 |  0.119 % |
29.86/29.93	c |      6662 |   28493   163237   552550 |    54496     6618     87 |  0.119 % |
30.76/30.84	c |      6824 |   28493   163237   552550 |    54496     6780     88 |  0.119 % |
32.06/32.11	c |      7001 |   28493   163237   552550 |    54496     6957     90 |  0.119 % |
33.06/33.17	c |      7194 |   28491   163232   552538 |    54496     7147     89 |  0.126 % |
34.45/34.58	c |      7406 |   28491   163232   552538 |    54496     7359     91 |  0.126 % |
36.05/36.15	c |      7640 |   28491   163227   552526 |    54496     7593     91 |  0.126 % |
36.65/36.74	c |      7740 |   28491   163227   552526 |    54496     7693     91 |  0.126 % |
37.45/37.53	c |      7850 |   28491   163227   552526 |    54496     7803     92 |  0.126 % |
38.15/38.27	c |      7972 |   28490   163222   552514 |    54496     7924     91 |  0.130 % |
39.05/39.10	c |      8105 |   28490   163222   552514 |    54496     8057     92 |  0.130 % |
39.95/40.08	c |      8251 |   28490   163222   552514 |    54496     8203     91 |  0.130 % |
40.85/40.96	c |      8411 |   28490   163222   552514 |    54496     8363     91 |  0.130 % |
42.64/42.73	c |      8587 |   28490   163222   552514 |    54496     8539     93 |  0.130 % |
44.04/44.11	c |      8782 |   28490   163222   552514 |    54496     8734     94 |  0.130 % |
44.95/45.06	c |      8994 |   28490   163222   552514 |    54496     8946     93 |  0.130 % |
45.94/46.04	c |      9228 |   28490   163222   552514 |    54496     9180     93 |  0.130 % |
47.64/47.73	c |      9485 |   28490   163222   552514 |    54496     9437     94 |  0.130 % |
48.24/48.39	c |      9586 |   28490   163222   552514 |    54496     9538     94 |  0.130 % |
49.05/49.11	c |      9696 |   28490   163222   552514 |    54496     9648     95 |  0.130 % |
50.05/50.16	c |      9817 |   28490   163222   552514 |    54496     9769     95 |  0.130 % |
51.05/51.14	c |      9950 |   28490   163222   552514 |    54496     9902     95 |  0.130 % |
52.15/52.25	c |     10096 |   28490   163222   552514 | 2147483647    10048     96 |  0.130 % |
53.55/53.63	c |     10257 |   28490   163222   552514 | 2147483647    10209     94 |  0.130 % |
54.44/54.55	c |     10434 |   28490   163222   552514 | 2147483647    10386     95 |  0.130 % |
54.74/54.84	c |     10627 |   28490   163222   552514 | 2147483647    10579     94 |  0.130 % |
56.44/56.50	c |     10840 |   28490   163222   552514 | 2147483647    10792     95 |  0.130 % |
57.44/57.53	c |     11073 |   28486   163199   552450 | 2147483647    11014     95 |  0.144 % |
57.94/58.07	c |     11329 |   28486   163199   552450 | 2147483647    11270     95 |  0.144 % |
59.54/59.61	c |     11611 |   28486   163199   552450 | 2147483647    11552     95 |  0.144 % |
60.14/60.23	c |     11711 |   28486   163199   552450 | 2147483647    11652     96 |  0.144 % |
60.64/60.79	c |     11823 |   28486   163199   552450 | 2147483647    11764     96 |  0.144 % |
61.14/61.28	c |     11944 |   28486   163199   552450 | 2147483647    11885     96 |  0.144 % |
62.04/62.11	c |     12077 |   28486   163199   552450 | 2147483647    12018     96 |  0.144 % |
62.74/62.88	c |     12223 |   28486   163199   552450 | 2147483647    12164     96 |  0.144 % |
63.34/63.49	c |     12384 |   28486   163199   552450 | 2147483647    12325     96 |  0.144 % |
64.64/64.75	c |     12561 |   28486   163199   552450 | 2147483647    12502     97 |  0.144 % |
66.04/66.16	c |     12754 |   28486   163199   552450 | 2147483647    12695     96 |  0.144 % |
67.24/67.34	c |     12967 |   28486   163199   552450 | 2147483647    12908     96 |  0.144 % |
68.54/68.60	c |     13201 |   28486   163199   552450 | 2147483647    13142     97 |  0.144 % |
70.03/70.12	c |     13458 |   28486   163199   552450 | 2147483647    13399     98 |  0.144 % |
70.93/71.09	c |     13740 |   28486   163199   552450 | 2147483647    13681     98 |  0.144 % |
72.44/72.53	c |     14050 |   28485   163191   552422 | 2147483647    13989     96 |  0.147 % |
73.03/73.12	c |     14151 |   28485   163191   552422 | 2147483647    14090     97 |  0.147 % |
73.64/73.71	c |     14261 |   28485   163191   552422 | 2147483647    14200     96 |  0.147 % |
74.33/74.49	c |     14383 |   28485   163191   552422 | 2147483647    14322     96 |  0.147 % |
74.93/75.08	c |     14516 |   28485   163191   552422 | 2147483647    14455     96 |  0.147 % |
75.74/75.90	c |     14663 |   28485   163191   552422 | 2147483647    14602     97 |  0.147 % |
76.44/76.51	c |     14824 |   28485   163191   552422 | 2147483647    14763     96 |  0.147 % |
77.24/77.34	c |     15000 |   28485   163191   552422 | 2147483647    14939     96 |  0.147 % |
78.34/78.46	c |     15193 |   28485   163191   552422 | 2147483647    15132     96 |  0.147 % |
79.84/79.90	c |     15406 |   28485   163191   552422 | 2147483647    15345     97 |  0.147 % |
80.93/81.00	c |     15640 |   28485   163191   552422 | 2147483647    15579     97 |  0.147 % |
83.54/83.61	c |     15896 |   28485   163191   552422 | 2147483647    15835     98 |  0.147 % |
85.83/85.90	c |     16177 |   28485   163191   552422 | 2147483647    16116     97 |  0.147 % |
87.83/87.99	c |     16487 |   28485   163191   552422 | 2147483647    16426     98 |  0.147 % |
89.43/89.56	c |     16827 |   28485   163191   552422 | 2147483647    16766     98 |  0.147 % |
90.13/90.26	c |     16927 |   28485   163191   552422 | 2147483647    16866     98 |  0.147 % |
90.73/90.83	c |     17038 |   28485   163191   552422 | 2147483647    16977     98 |  0.147 % |
91.53/91.62	c |     17160 |   28485   163191   552422 | 2147483647    17099     98 |  0.147 % |
92.03/92.13	c |     17293 |   28485   163191   552422 | 2147483647    17232     97 |  0.147 % |
92.73/92.88	c |     17439 |   28484   163174   552363 | 2147483647    17365     97 |  0.151 % |
92.93/93.00	c |     17600 |   28484   163174   552363 | 2147483647    17526     96 |  0.151 % |
93.63/93.74	c |     17777 |   28484   163174   552363 | 2147483647    17703     95 |  0.151 % |
94.63/94.75	c |     17970 |   28484   163174   552363 | 2147483647    17896     95 |  0.151 % |
95.23/95.32	c |     18182 |   28484   163174   552363 | 2147483647    18108     95 |  0.151 % |
96.74/96.85	c |     18416 |   28484   163174   552363 | 2147483647    18342     95 |  0.151 % |
98.43/98.59	c |     18672 |   28484   163174   552363 | 2147483647    18598     96 |  0.151 % |
101.04/101.12	c |     18954 |   28484   163174   552363 | 2147483647    18880     97 |  0.151 % |
102.24/102.39	c |     19264 |   28484   163174   552363 | 2147483647    19190     96 |  0.151 % |
103.24/103.34	c |     19603 |   28484   163174   552363 | 2147483647    19529     96 |  0.151 % |
105.23/105.39	c |     19976 |   28483   163166   552335 | 2147483647    19900     96 |  0.154 % |
105.63/105.79	c |     20076 |   28483   163166   552335 | 2147483647    20000     96 |  0.154 % |
105.93/106.02	c |     20186 |   28483   163166   552335 | 2147483647    20110     96 |  0.154 % |
106.33/106.49	c |     20308 |   28483   163166   552335 | 2147483647    20232     96 |  0.154 % |
106.73/106.80	c |     20442 |   28483   163166   552335 | 2147483647    20366     96 |  0.154 % |
107.82/107.94	c |     20589 |   28483   163166   552335 | 2147483647    20513     96 |  0.154 % |
108.83/108.96	c |     20749 |   28483   163166   552335 | 2147483647    20673     96 |  0.154 % |
110.22/110.38	c |     20925 |   28483   163166   552335 | 2147483647    20849     96 |  0.154 % |
111.42/111.50	c |     21118 |   28483   163166   552335 | 2147483647    21042     97 |  0.154 % |
112.13/112.27	c |     21331 |   28483   163166   552335 | 2147483647    21255     96 |  0.154 % |
113.23/113.35	c |     21564 |   28483   163166   552335 | 2147483647    21488     95 |  0.154 % |
115.33/115.41	c |     21821 |   28483   163166   552335 | 2147483647    21745     96 |  0.154 % |
116.73/116.86	c |     22102 |   28483   163166   552335 | 2147483647    22026     96 |  0.154 % |
118.13/118.22	c |     22412 |   28483   163166   552335 | 2147483647    22336     96 |  0.154 % |
120.13/120.27	c |     22752 |   28483   163166   552335 | 2147483647    22676     95 |  0.154 % |
122.23/122.30	c |     23124 |   28483   163166   552335 | 2147483647    23048     95 |  0.154 % |
124.23/124.35	c |     23533 |   28483   163166   552335 | 2147483647    23457     96 |  0.154 % |
124.23/124.36	c |     23633 |   28483   163166   552335 | 2147483647    23557     96 |  0.154 % |
124.23/124.37	c |     23743 |   28483   163166   552335 | 2147483647    23667     95 |  0.154 % |
125.02/125.11	c |     23865 |   28483   163166   552335 | 2147483647    23789     96 |  0.154 % |
125.02/125.18	c |     23998 |   28483   163166   552335 | 2147483647    23922     95 |  0.154 % |
125.12/125.24	c |     24145 |   28483   163166   552335 | 2147483647    24069     95 |  0.154 % |
126.12/126.21	c |     24305 |   28483   163166   552335 | 2147483647    24229     94 |  0.154 % |
126.33/126.46	c |     24482 |   28483   163166   552335 | 2147483647    24406     94 |  0.154 % |
127.43/127.60	c |     24675 |   28483   163166   552335 | 2147483647    24599     93 |  0.154 % |
129.02/129.15	c |     24887 |   28483   163166   552335 | 2147483647    24811     94 |  0.154 % |
130.62/130.78	c |     25120 |   28483   163166   552335 | 2147483647    25044     94 |  0.154 % |
132.02/132.16	c |     25377 |   28483   163166   552335 | 2147483647    25301     94 |  0.154 % |
133.52/133.67	c |     25660 |   28483   163166   552335 | 2147483647    25584     94 |  0.154 % |
135.42/135.60	c |     25970 |   28483   163166   552335 | 2147483647    25894     94 |  0.154 % |
137.72/137.80	c |     26311 |   28483   163166   552335 | 2147483647    26235     94 |  0.154 % |
139.82/139.94	c |     26683 |   28483   163166   552335 | 2147483647    26607     94 |  0.154 % |
142.82/142.91	c |     27095 |   28483   163166   552335 | 2147483647    27019     93 |  0.154 % |
145.71/145.84	c |     27544 |   28483   163166   552335 | 2147483647    27468     94 |  0.154 % |
146.12/146.23	c |     27644 |   28483   163166   552335 | 2147483647    27568     93 |  0.154 % |
146.51/146.61	c |     27755 |   28483   163166   552335 | 2147483647    27679     93 |  0.154 % |
147.32/147.47	c |     27876 |   28483   163166   552335 | 2147483647    27800     94 |  0.154 % |
148.42/148.55	c |     28010 |   28483   163166   552335 | 2147483647    27934     93 |  0.154 % |
149.41/149.52	c |     28159 |   28483   163166   552335 | 2147483647    28083     94 |  0.154 % |
150.21/150.36	c |     28319 |   28483   163166   552335 | 2147483647    28243     94 |  0.154 % |
151.22/151.36	c |     28495 |   28483   163166   552335 | 2147483647    28419     94 |  0.154 % |
151.92/152.03	c |     28689 |   28483   163166   552335 | 2147483647    28613     93 |  0.154 % |
152.92/153.00	c |     28903 |   28483   163166   552335 | 2147483647    28827     93 |  0.154 % |
154.32/154.44	c |     29136 |   28483   163166   552335 | 2147483647    29060     94 |  0.154 % |
155.72/155.84	c |     29393 |   28483   163166   552335 | 2147483647    29317     94 |  0.154 % |
157.12/157.29	c |     29674 |   28483   163166   552335 | 2147483647    29598     93 |  0.154 % |
158.72/158.84	c |     29983 |   28483   163166   552335 | 2147483647    29907     93 |  0.154 % |
159.81/159.94	c |     30322 |   28483   163166   552335 | 2147483647    30246     93 |  0.154 % |
161.52/161.68	c |     30695 |   28483   163166   552335 | 2147483647    30619     93 |  0.154 % |
163.82/163.93	c |     31107 |   28483   163166   552335 | 2147483647    31031     93 |  0.154 % |
166.71/166.84	c |     31556 |   28483   163166   552335 | 2147483647    31480     92 |  0.154 % |
170.21/170.36	c |     32049 |   28483   163166   552335 | 2147483647    31973     93 |  0.154 % |
170.81/170.94	c |     32149 |   28483   163166   552335 | 2147483647    32073     93 |  0.154 % |
171.51/171.69	c |     32259 |   28483   163166   552335 | 2147483647    32183     93 |  0.154 % |
172.61/172.72	c |     32380 |   28483   163166   552335 | 2147483647    32304     93 |  0.154 % |
173.21/173.30	c |     32514 |   28483   163166   552335 | 2147483647    32438     93 |  0.154 % |
173.91/174.00	c |     32660 |   28483   163166   552335 | 2147483647    32584     93 |  0.154 % |
174.91/175.07	c |     32820 |   28483   163166   552335 | 2147483647    32744     93 |  0.154 % |
176.00/176.19	c |     32997 |   28483   163166   552335 | 2147483647    32921     93 |  0.154 % |
177.31/177.48	c |     33192 |   28483   163166   552335 | 2147483647    33116     93 |  0.154 % |
178.91/179.06	c |     33405 |   28483   163166   552335 | 2147483647    33329     94 |  0.154 % |
180.81/180.92	c |     33638 |   28483   163166   552335 | 2147483647    33562     93 |  0.154 % |
181.91/182.00	c |     33895 |   28483   163166   552335 | 2147483647    33819     94 |  0.154 % |
182.91/183.09	c |     34176 |   28483   163166   552335 | 2147483647    34100     93 |  0.154 % |
185.31/185.40	c |     34486 |   28483   163166   552335 | 2147483647    34410     94 |  0.154 % |
187.51/187.62	c |     34825 |   28483   163166   552335 | 2147483647    34749     93 |  0.154 % |
189.40/189.59	c |     35198 |   28483   163166   552335 | 2147483647    35122     93 |  0.154 % |
191.71/191.88	c |     35607 |   28483   163166   552335 | 2147483647    35531     92 |  0.154 % |
194.10/194.24	c |     36058 |   28483   163166   552335 | 2147483647    35982     93 |  0.154 % |
197.50/197.66	c |     36551 |   28483   163166   552335 | 2147483647    36475     93 |  0.154 % |
201.00/201.14	c |     37094 |   28483   163166   552335 | 2147483647    37018     93 |  0.154 % |
201.70/201.81	c |     37194 |   28483   163166   552335 | 2147483647    37118     93 |  0.154 % |
202.50/202.66	c |     37305 |   28483   163166   552335 | 2147483647    37229     94 |  0.154 % |
203.30/203.41	c |     37426 |   28483   163166   552335 | 2147483647    37350     94 |  0.154 % |
204.20/204.36	c |     37561 |   28483   163166   552335 | 2147483647    37485     94 |  0.154 % |
205.40/205.54	c |     37707 |   28483   163166   552335 | 2147483647    37631     93 |  0.154 % |
206.30/206.49	c |     37867 |   28483   163166   552335 | 2147483647    37791     94 |  0.154 % |
207.70/207.83	c |     38045 |   28483   163166   552335 | 2147483647    37969     93 |  0.154 % |
208.70/208.83	c |     38243 |   28483   163166   552335 | 2147483647    38167     93 |  0.154 % |
210.19/210.36	c |     38455 |   28483   163166   552335 | 2147483647    38379     94 |  0.154 % |
211.01/211.18	c |     38689 |   28483   163166   552335 | 2147483647    38613     94 |  0.154 % |
212.70/212.88	c |     38948 |   28483   163166   552335 | 2147483647    38872     93 |  0.154 % |
214.20/214.32	c |     39229 |   28483   163166   552335 | 2147483647    39153     93 |  0.154 % |
215.80/215.93	c |     39539 |   28483   163166   552335 | 2147483647    39463     93 |  0.154 % |
217.50/217.60	c |     39878 |   28483   163166   552335 | 2147483647    39802     93 |  0.154 % |
219.40/219.50	c |     40252 |   28483   163166   552335 | 2147483647    40176     93 |  0.154 % |
222.10/222.28	c |     40661 |   28483   163166   552335 | 2147483647    40585     92 |  0.154 % |
224.70/224.81	c |     41110 |   28483   163166   552335 | 2147483647    41034     93 |  0.154 % |
228.70/228.80	c |     41604 |   28483   163166   552335 | 2147483647    41528     92 |  0.154 % |
231.69/231.84	c |     42146 |   28483   163166   552335 | 2147483647    42070     92 |  0.154 % |
233.59/233.77	c |     42742 |   28483   163166   552335 | 2147483647    42666     91 |  0.154 % |
234.19/234.32	c |     42843 |   28483   163166   552335 | 2147483647    42767     91 |  0.154 % |
234.69/234.86	c |     42955 |   28483   163166   552335 | 2147483647    42879     91 |  0.154 % |
235.39/235.52	c |     43077 |   28483   163166   552335 | 2147483647    43001     91 |  0.154 % |
236.19/236.30	c |     43212 |   28483   163166   552335 | 2147483647    43136     91 |  0.154 % |
237.19/237.31	c |     43358 |   28483   163166   552335 | 2147483647    43282     91 |  0.154 % |
238.49/238.60	c |     43519 |   28483   163166   552335 | 2147483647    43443     92 |  0.154 % |
239.69/239.82	c |     43695 |   28483   163166   552335 | 2147483647    43619     92 |  0.154 % |
241.39/241.55	c |     43889 |   28483   163166   552335 | 2147483647    43813     91 |  0.154 % |
242.89/243.05	c |     44102 |   28483   163166   552335 | 2147483647    44026     92 |  0.154 % |
244.99/245.10	c |     44335 |   28483   163166   552335 | 2147483647    44259     92 |  0.154 % |
246.69/246.80	c |     44592 |   28483   163166   552335 | 2147483647    44516     92 |  0.154 % |
247.78/247.98	c |     44874 |   28483   163166   552335 | 2147483647    44798     92 |  0.154 % |
249.29/249.47	c |     45184 |   28483   163166   552335 | 2147483647    45108     92 |  0.154 % |
251.09/251.23	c |     45524 |   28483   163166   552335 | 2147483647    45448     92 |  0.154 % |
254.00/254.10	c |     45896 |   28483   163166   552335 | 2147483647    45820     92 |  0.154 % |
256.99/257.10	c |     46306 |   28483   163166   552335 | 2147483647    46230     92 |  0.154 % |
259.49/259.61	c |     46756 |   28483   163166   552335 | 2147483647    46680     92 |  0.154 % |
261.79/261.96	c |     47249 |   28483   163166   552335 | 2147483647    47173     92 |  0.154 % |
264.69/264.88	c |     47791 |   28483   163166   552335 | 2147483647    47715     92 |  0.154 % |
268.89/269.04	c |     48390 |   28483   163166   552335 | 2147483647    48314     92 |  0.154 % |
272.08/272.27	c |     49046 |   28483   163166   552335 | 2147483647    48970     93 |  0.154 % |
272.78/272.92	c |     49147 |   28483   163166   552335 | 2147483647    49071     93 |  0.154 % |
273.38/273.59	c |     49259 |   28483   163166   552335 | 2147483647    49183     93 |  0.154 % |
274.08/274.23	c |     49380 |   28483   163166   552335 | 2147483647    49304     93 |  0.154 % |
274.98/275.13	c |     49514 |   28483   163166   552335 | 2147483647    49438     93 |  0.154 % |
275.89/276.05	c |     49660 |   28483   163166   552335 | 2147483647    49584     93 |  0.154 % |
276.68/276.88	c |     49821 |   28483   163166   552335 | 2147483647    49745     93 |  0.154 % |
278.28/278.44	c |     49997 |   28483   163166   552335 | 2147483647    49921     93 |  0.154 % |
279.38/279.59	c |     50191 |   28483   163166   552335 | 2147483647    50115     93 |  0.154 % |
280.88/281.06	c |     50403 |   28483   163166   552335 | 2147483647    50327     93 |  0.154 % |
282.58/282.70	c |     50636 |   28483   163166   552335 | 2147483647    50560     93 |  0.154 % |
283.69/283.80	c |     50893 |   28483   163166   552335 | 2147483647    50817     93 |  0.154 % |
286.18/286.34	c |     51174 |   28483   163166   552335 | 2147483647    51098     93 |  0.154 % |
288.18/288.31	c |     51483 |   28483   163166   552335 | 2147483647    51407     93 |  0.154 % |
289.38/289.54	c |     51823 |   28483   163166   552335 | 2147483647    51747     93 |  0.154 % |
291.08/291.21	c |     52196 |   28483   163166   552335 | 2147483647    52120     93 |  0.154 % |
292.78/292.97	c |     52608 |   28483   163166   552335 | 2147483647    52532     93 |  0.154 % |
295.68/295.81	c |     53057 |   28483   163166   552335 | 2147483647    52981     93 |  0.154 % |
298.98/299.15	c |     53550 |   28483   163166   552335 | 2147483647    53474     94 |  0.154 % |
302.67/302.88	c |     54092 |   28483   163166   552335 | 2147483647    54016     93 |  0.154 % |
308.48/308.60	c |     54688 |   28483   163166   552335 | 2147483647    54612     94 |  0.154 % |
311.97/312.19	c |     55343 |   28483   163166   552335 | 2147483647    55267     94 |  0.154 % |
318.47/318.63	c |     56065 |   28483   163166   552335 | 2147483647    55989     95 |  0.154 % |
318.97/319.14	c |     56165 |   28483   163166   552335 | 2147483647    56089     94 |  0.154 % |
319.47/319.65	c |     56275 |   28483   163166   552335 | 2147483647    56199     94 |  0.154 % |
320.27/320.41	c |     56397 |   28483   163166   552335 | 2147483647    56321     95 |  0.154 % |
320.97/321.19	c |     56530 |   28483   163166   552335 | 2147483647    56454     95 |  0.154 % |
321.77/321.97	c |     56677 |   28483   163166   552335 | 2147483647    56601     94 |  0.154 % |
323.37/323.51	c |     56838 |   28483   163166   552335 | 2147483647    56762     95 |  0.154 % |
324.47/324.60	c |     57015 |   28483   163166   552335 | 2147483647    56939     94 |  0.154 % |
325.57/325.78	c |     57209 |   28483   163166   552335 | 2147483647    57133     95 |  0.154 % |
326.77/326.97	c |     57421 |   28483   163166   552335 | 2147483647    57345     94 |  0.154 % |
328.07/328.22	c |     57654 |   28483   163166   552335 | 2147483647    57578     94 |  0.154 % |
329.67/329.84	c |     57910 |   28483   163166   552335 | 2147483647    57834     94 |  0.154 % |
331.06/331.25	c |     58192 |   28483   163166   552335 | 2147483647    58116     94 |  0.154 % |
332.07/332.23	c |     58502 |   28483   163166   552335 | 2147483647    58426     94 |  0.154 % |
333.96/334.10	c |     58841 |   28483   163166   552335 | 2147483647    58765     94 |  0.154 % |
335.86/336.00	c |     59214 |   28483   163166   552335 | 2147483647    59138     94 |  0.154 % |
338.67/338.83	c |     59625 |   28483   163166   552335 | 2147483647    59549     94 |  0.154 % |
340.86/341.07	c |     60075 |   28483   163166   552335 | 2147483647    59999     94 |  0.154 % |
343.86/344.09	c |     60568 |   28483   163166   552335 | 2147483647    60492     95 |  0.154 % |
347.96/348.16	c |     61110 |   28483   163166   552335 | 2147483647    61034     94 |  0.154 % |
351.25/351.43	c |     61707 |   28483   163166   552335 | 2147483647    61631     94 |  0.154 % |
355.96/356.19	c |     62362 |   28483   163166   552335 | 2147483647    62286     93 |  0.154 % |
359.26/359.49	c |     63083 |   28483   163166   552335 | 2147483647    63007     94 |  0.154 % |
363.26/363.40	c |     63876 |   28483   163166   552335 | 2147483647    63800     93 |  0.154 % |
364.05/364.27	c |     63976 |   28483   163166   552335 | 2147483647    63900     93 |  0.154 % |
365.06/365.21	c |     64086 |   28483   163166   552335 | 2147483647    64010     93 |  0.154 % |
365.85/366.07	c |     64209 |   28483   163166   552335 | 2147483647    64133     93 |  0.154 % |
367.16/367.35	c |     64342 |   28483   163166   552335 | 2147483647    64266     93 |  0.154 % |
368.15/368.31	c |     64488 |   28483   163166   552335 | 2147483647    64412     93 |  0.154 % |
369.46/369.66	c |     64648 |   28483   163166   552335 | 2147483647    64572     93 |  0.154 % |
370.25/370.47	c |     64824 |   28483   163166   552335 | 2147483647    64748     93 |  0.154 % |
371.45/371.64	c |     65017 |   28483   163166   552335 | 2147483647    64941     93 |  0.154 % |
372.55/372.70	c |     65230 |   28483   163166   552335 | 2147483647    65154     93 |  0.154 % |
374.55/374.74	c |     65463 |   28483   163166   552335 | 2147483647    65387     93 |  0.154 % |
376.06/376.25	c |     65719 |   28483   163166   552335 | 2147483647    65643     93 |  0.154 % |
378.86/379.00	c |     66001 |   28483   163166   552335 | 2147483647    65925     93 |  0.154 % |
380.86/381.02	c |     66311 |   28483   163166   552335 | 2147483647    66235     93 |  0.154 % |
381.96/382.16	c |     66650 |   28483   163166   552335 | 2147483647    66574     93 |  0.154 % |
384.66/384.90	c |     67022 |   28483   163166   552335 | 2147483647    66946     93 |  0.154 % |
386.05/386.22	c |     67432 |   28483   163166   552335 | 2147483647    67356     93 |  0.154 % |
388.06/388.22	c |     67881 |   28483   163166   552335 | 2147483647    67805     92 |  0.154 % |
391.15/391.31	c |     68374 |   28483   163166   552335 | 2147483647    68298     93 |  0.154 % |
393.45/393.65	c |     68916 |   28483   163166   552335 | 2147483647    68840     92 |  0.154 % |
397.75/397.95	c |     69514 |   28483   163166   552335 | 2147483647    69438     92 |  0.154 % |
403.74/403.99	c |     70169 |   28483   163166   552335 | 2147483647    70093     93 |  0.154 % |
407.95/408.12	c |     70889 |   28483   163166   552335 | 2147483647    70813     93 |  0.154 % |
413.14/413.37	c |     71681 |   28483   163166   552335 | 2147483647    71605     93 |  0.154 % |
418.14/418.33	c |     72553 |   28483   163166   552335 | 2147483647    72477     93 |  0.154 % |
418.95/419.10	c |     72655 |   28483   163166   552335 | 2147483647    72579     93 |  0.154 % |
419.64/419.89	c |     72766 |   28483   163166   552335 | 2147483647    72690     93 |  0.154 % |
420.54/420.74	c |     72887 |   28483   163166   552335 | 2147483647    72811     93 |  0.154 % |
421.34/421.58	c |     73020 |   28483   163166   552335 | 2147483647    72944     93 |  0.154 % |
422.34/422.51	c |     73166 |   28483   163166   552335 | 2147483647    73090     93 |  0.154 % |
423.24/423.45	c |     73326 |   28483   163166   552335 | 2147483647    73250     93 |  0.154 % |
424.54/424.73	c |     73502 |   28483   163166   552335 | 2147483647    73426     93 |  0.154 % |
425.94/426.12	c |     73695 |   28483   163166   552335 | 2147483647    73619     93 |  0.154 % |
427.14/427.37	c |     73907 |   28483   163166   552335 | 2147483647    73831     93 |  0.154 % |
428.94/429.16	c |     74141 |   28483   163166   552335 | 2147483647    74065     93 |  0.154 % |
431.14/431.31	c |     74398 |   28483   163166   552335 | 2147483647    74322     93 |  0.154 % |
433.43/433.62	c |     74679 |   28483   163166   552335 | 2147483647    74603     94 |  0.154 % |
435.93/436.12	c |     74989 |   28483   163166   552335 | 2147483647    74913     94 |  0.154 % |
438.64/438.84	c |     75328 |   28483   163166   552335 | 2147483647    75252     94 |  0.154 % |
440.83/441.04	c |     75700 |   28483   163166   552335 | 2147483647    75624     94 |  0.154 % |
443.43/443.69	c |     76109 |   28483   163166   552335 | 2147483647    76033     94 |  0.154 % |
446.14/446.37	c |     76559 |   28483   163166   552335 | 2147483647    76483     94 |  0.154 % |
449.23/449.49	c |     77052 |   28483   163166   552335 | 2147483647    76976     94 |  0.154 % |
452.43/452.67	c |     77594 |   28483   163166   552335 | 2147483647    77518     94 |  0.154 % |
455.43/455.61	c |     78191 |   28483   163166   552335 | 2147483647    78115     94 |  0.154 % |
458.23/458.48	c |     78847 |   28483   163166   552335 | 2147483647    78771     94 |  0.154 % |
462.13/462.38	c |     79567 |   28483   163166   552335 | 2147483647    79491     94 |  0.154 % |
467.23/467.44	c |     80361 |   28483   163166   552335 | 2147483647    80285     94 |  0.154 % |
473.42/473.63	c |     81233 |   28483   163166   552335 | 2147483647    81157     94 |  0.154 % |
479.32/479.51	c |     82191 |   28483   163166   552335 | 2147483647    82115     94 |  0.154 % |
479.62/479.81	c |     82294 |   28483   163166   552335 | 2147483647    82218     94 |  0.154 % |
480.42/480.67	c |     82407 |   28483   163166   552335 | 2147483647    82331     94 |  0.154 % |
480.92/481.20	c |     82529 |   28483   163166   552335 | 2147483647    82453     94 |  0.154 % |
481.42/481.65	c |     82663 |   28483   163166   552335 | 2147483647    82587     94 |  0.154 % |
482.02/482.27	c |     82812 |   28483   163166   552335 | 2147483647    82736     94 |  0.154 % |
482.12/482.34	c |     82972 |   28483   163166   552335 | 2147483647    82896     94 |  0.154 % |
482.21/482.43	c |     83150 |   28483   163166   552335 | 2147483647    83074     94 |  0.154 % |
482.91/483.11	c |     83344 |   28483   163166   552335 | 2147483647    83268     93 |  0.154 % |
484.31/484.59	c |     83556 |   28483   163166   552335 | 2147483647    83480     94 |  0.154 % |
485.81/486.08	c |     83789 |   28483   163166   552335 | 2147483647    83713     94 |  0.154 % |
487.61/487.82	c |     84046 |   28483   163166   552335 | 2147483647    83970     94 |  0.154 % |
489.41/489.70	c |     84327 |   28483   163166   552335 | 2147483647    84251     94 |  0.154 % |
491.22/491.42	c |     84637 |   28483   163166   552335 | 2147483647    84561     93 |  0.154 % |
494.62/494.87	c |     84976 |   28483   163166   552335 | 2147483647    84900     94 |  0.154 % |
497.22/497.42	c |     85350 |   28483   163166   552335 | 2147483647    85274     94 |  0.154 % |
499.52/499.79	c |     85760 |   28483   163166   552335 | 2147483647    85684     94 |  0.154 % |
502.92/503.15	c |     86210 |   28483   163166   552335 | 2147483647    86134     94 |  0.154 % |
505.72/505.92	c |     86703 |   28483   163166   552335 | 2147483647    86627     94 |  0.154 % |
509.31/509.56	c |     87246 |   28483   163166   552335 | 2147483647    87170     93 |  0.154 % |
512.11/512.32	c |     87842 |   28483   163166   552335 | 2147483647    87766     93 |  0.154 % |
516.61/516.84	c |     88498 |   28483   163166   552335 | 2147483647    88422     93 |  0.154 % |
521.51/521.72	c |     89218 |   28483   163166   552335 | 2147483647    89142     94 |  0.154 % |
527.30/527.52	c |     90010 |   28483   163166   552335 | 2147483647    89934     94 |  0.154 % |
531.90/532.11	c |     90881 |   28483   163166   552335 | 2147483647    90805     94 |  0.154 % |
538.20/538.48	c |     91839 |   28483   163166   552335 | 2147483647    91763     95 |  0.154 % |
544.60/544.87	c |     92894 |   28483   163166   552335 | 2147483647    92818     95 |  0.154 % |
545.70/545.95	c |     92994 |   28483   163166   552335 | 2147483647    92918     95 |  0.154 % |
546.40/546.66	c |     93105 |   28483   163166   552335 | 2147483647    93029     95 |  0.154 % |
547.10/547.38	c |     93227 |   28483   163166   552335 | 2147483647    93151     95 |  0.154 % |
548.10/548.36	c |     93361 |   28483   163166   552335 | 2147483647    93285     95 |  0.154 % |
548.90/549.16	c |     93510 |   28483   163166   552335 | 2147483647    93434     95 |  0.154 % |
550.00/550.25	c |     93672 |   28483   163166   552335 | 2147483647    93596     95 |  0.154 % |
551.30/551.53	c |     93848 |   28483   163166   552335 | 2147483647    93772     95 |  0.154 % |
552.40/552.62	c |     94042 |   28483   163166   552335 | 2147483647    93966     95 |  0.154 % |
553.50/553.72	c |     94256 |   28483   163166   552335 | 2147483647    94180     95 |  0.154 % |
555.20/555.47	c |     94491 |   28483   163166   552335 | 2147483647    94415     95 |  0.154 % |
556.70/556.96	c |     94747 |   28483   163166   552335 | 2147483647    94671     95 |  0.154 % |
558.29/558.57	c |     95028 |   28483   163166   552335 | 2147483647    94952     95 |  0.154 % |
560.89/561.12	c |     95338 |   28483   163166   552335 | 2147483647    95262     95 |  0.154 % |
563.29/563.52	c |     95677 |   28483   163166   552335 | 2147483647    95601     96 |  0.154 % |
565.99/566.28	c |     96050 |   28483   163166   552335 | 2147483647    95974     95 |  0.154 % |
567.19/567.41	c |     96459 |   28483   163166   552335 | 2147483647    96383     95 |  0.154 % |
569.49/569.77	c |     96908 |   28483   163166   552335 | 2147483647    96832     95 |  0.154 % |
572.59/572.80	c |     97403 |   28483   163166   552335 | 2147483647    97327     95 |  0.154 % |
576.39/576.63	c |     97945 |   28483   163166   552335 | 2147483647    97869     95 |  0.154 % |
580.49/580.74	c |     98541 |   28483   163166   552335 | 2147483647    98465     95 |  0.154 % |
584.99/585.26	c |     99196 |   28483   163166   552335 | 2147483647    99120     95 |  0.154 % |
588.89/589.19	c |     99916 |   28483   163166   552335 | 2147483647    99840     95 |  0.154 % |
589.69/589.99	c |    100709 |   28483   163166   552335 | 2147483647   100633     95 |  0.154 % |
591.59/591.83	c |    101580 |   28483   163166   552335 | 2147483647   101504     94 |  0.154 % |
598.09/598.38	c |    102539 |   28483   163166   552335 | 2147483647   102463     95 |  0.154 % |
605.08/605.33	c |    103592 |   28483   163166   552335 | 2147483647   103516     94 |  0.154 % |
610.88/611.18	c |    104750 |   28483   163166   552335 | 2147483647   104674     94 |  0.154 % |
611.68/611.94	c |    104850 |   28483   163166   552335 | 2147483647   104774     95 |  0.154 % |
612.58/612.85	c |    104960 |   28483   163166   552335 | 2147483647   104884     95 |  0.154 % |
613.58/613.85	c |    105081 |   28483   163166   552335 | 2147483647   105005     95 |  0.154 % |
614.47/614.74	c |    105214 |   28483   163166   552335 | 2147483647   105138     95 |  0.154 % |
615.47/615.75	c |    105360 |   28483   163166   552335 | 2147483647   105284     95 |  0.154 % |
616.68/616.94	c |    105520 |   28483   163166   552335 | 2147483647   105444     95 |  0.154 % |
618.48/618.74	c |    105697 |   28483   163166   552335 | 2147483647   105621     95 |  0.154 % |
620.48/620.72	c |    105890 |   28483   163166   552335 | 2147483647   105814     95 |  0.154 % |
621.28/621.51	c |    106103 |   28483   163166   552335 | 2147483647   106027     95 |  0.154 % |
623.17/623.46	c |    106337 |   28483   163166   552335 | 2147483647   106261     95 |  0.154 % |
625.07/625.38	c |    106594 |   28483   163166   552335 | 2147483647   106518     95 |  0.154 % |
626.37/626.63	c |    106876 |   28483   163166   552335 | 2147483647   106800     95 |  0.154 % |
629.17/629.43	c |    107185 |   28483   163166   552335 | 2147483647   107109     95 |  0.154 % |
631.46/631.77	c |    107524 |   28483   163166   552335 | 2147483647   107448     95 |  0.154 % |
634.37/634.67	c |    107896 |   28483   163166   552335 | 2147483647   107820     95 |  0.154 % |
638.06/638.36	c |    108305 |   28483   163166   552335 | 2147483647   108229     95 |  0.154 % |
640.26/640.53	c |    108754 |   28483   163166   552335 | 2147483647   108678     95 |  0.154 % |
643.56/643.81	c |    109247 |   28483   163166   552335 | 2147483647   109171     95 |  0.154 % |
647.06/647.34	c |    109789 |   28483   163166   552335 | 2147483647   109713     95 |  0.154 % |
651.16/651.46	c |    110385 |   28483   163166   552335 | 2147483647   110309     95 |  0.154 % |
655.76/656.00	c |    111040 |   28483   163166   552335 | 2147483647   110964     95 |  0.154 % |
662.75/663.03	c |    111760 |   28483   163166   552335 | 2147483647   111684     96 |  0.154 % |
668.56/668.86	c |    112553 |   28483   163166   552335 | 2147483647   112477     96 |  0.154 % |
671.86/672.11	c |    113424 |   28483   163166   552335 | 2147483647   113348     96 |  0.154 % |
677.96/678.21	c |    114382 |   28483   163166   552335 | 2147483647   114306     96 |  0.154 % |
684.75/685.00	c |    115436 |   28483   163166   552335 | 2147483647   115360     96 |  0.154 % |
692.05/692.38	c |    116594 |   28483   163166   552335 | 2147483647   116518     96 |  0.154 % |
698.64/698.97	c |    117867 |   28483   163166   552335 | 2147483647   117791     96 |  0.154 % |
699.14/699.46	c |    117969 |   28483   163166   552335 | 2147483647   117893     96 |  0.154 % |
699.74/700.03	c |    118080 |   28483   163166   552335 | 2147483647   118004     96 |  0.154 % |
700.35/700.64	c |    118201 |   28483   163166   552335 | 2147483647   118125     96 |  0.154 % |
701.34/701.65	c |    118335 |   28483   163166   552335 | 2147483647   118259     97 |  0.154 % |
702.65/702.93	c |    118481 |   28483   163166   552335 | 2147483647   118405     97 |  0.154 % |
703.44/703.74	c |    118641 |   28483   163166   552335 | 2147483647   118565     97 |  0.154 % |
704.34/704.65	c |    118817 |   28483   163166   552335 | 2147483647   118741     97 |  0.154 % |
705.64/705.95	c |    119011 |   28483   163166   552335 | 2147483647   118935     97 |  0.154 % |
707.25/707.55	c |    119224 |   28483   163166   552335 | 2147483647   119148     97 |  0.154 % |
708.75/709.05	c |    119458 |   28483   163166   552335 | 2147483647   119382     97 |  0.154 % |
710.25/710.53	c |    119714 |   28483   163166   552335 | 2147483647   119638     97 |  0.154 % |
712.45/712.77	c |    119997 |   28483   163166   552335 | 2147483647   119921     97 |  0.154 % |
714.65/714.99	c |    120306 |   28483   163166   552335 | 2147483647   120230     97 |  0.154 % |
717.44/717.80	c |    120646 |   28483   163166   552335 | 2147483647   120570     97 |  0.154 % |
720.34/720.62	c |    121019 |   28483   163166   552335 | 2147483647   120943     97 |  0.154 % |
724.04/724.33	c |    121429 |   28483   163166   552335 | 2147483647   121353     97 |  0.154 % |
727.23/727.51	c |    121879 |   28483   163166   552335 | 2147483647   121803     98 |  0.154 % |
729.94/730.26	c |    122372 |   28483   163166   552335 | 2147483647   122296     98 |  0.154 % |
733.94/734.29	c |    122915 |   28483   163166   552335 | 2147483647   122839     98 |  0.154 % |
738.24/738.59	c |    123511 |   28483   163166   552335 | 2147483647   123435     98 |  0.154 % |
743.03/743.34	c |    124166 |   28483   163166   552335 | 2147483647   124090     98 |  0.154 % |
749.43/749.73	c |    124886 |   28483   163166   552335 | 2147483647   124810     98 |  0.154 % |
756.43/756.76	c |    125678 |   28483   163166   552335 | 2147483647   125602     99 |  0.154 % |
762.72/763.01	c |    126550 |   28483   163166   552335 | 2147483647   126474     98 |  0.154 % |
768.73/769.01	c |    127508 |   28483   163166   552335 | 2147483647   127432     99 |  0.154 % |
777.23/777.59	c |    128561 |   28483   163166   552335 | 2147483647   128485     99 |  0.154 % |
785.92/786.26	c |    129719 |   28483   163166   552335 | 2147483647   129643     99 |  0.154 % |
795.82/796.10	c |    130992 |   28483   163166   552335 | 2147483647   130916     99 |  0.154 % |
804.82/805.19	c |    132394 |   28483   163166   552335 | 2147483647   132318    100 |  0.154 % |
805.31/805.61	c |    132494 |   28483   163166   552335 | 2147483647   132418     99 |  0.154 % |
805.41/805.79	c |    132606 |   28483   163166   552335 | 2147483647   132530     99 |  0.154 % |
806.31/806.67	c |    132728 |   28483   163166   552335 | 2147483647   132652     99 |  0.154 % |
806.81/807.16	c |    132862 |   28483   163166   552335 | 2147483647   132786     99 |  0.154 % |
807.21/807.51	c |    133009 |   28483   163166   552335 | 2147483647   132933     99 |  0.154 % |
808.41/808.72	c |    133170 |   28483   163166   552335 | 2147483647   133094     99 |  0.154 % |
809.71/810.01	c |    133346 |   28483   163166   552335 | 2147483647   133270     99 |  0.154 % |
811.41/811.75	c |    133539 |   28483   163166   552335 | 2147483647   133463     99 |  0.154 % |
812.62/812.97	c |    133751 |   28483   163166   552335 | 2147483647   133675     99 |  0.154 % |
815.12/815.42	c |    133984 |   28483   163166   552335 | 2147483647   133908    100 |  0.154 % |
817.12/817.47	c |    134240 |   28483   163166   552335 | 2147483647   134164    100 |  0.154 % |
820.42/820.72	c |    134521 |   28483   163166   552335 | 2147483647   134445    100 |  0.154 % |
822.42/822.75	c |    134830 |   28483   163166   552335 | 2147483647   134754    100 |  0.154 % |
824.81/825.19	c |    135170 |   28483   163166   552335 | 2147483647   135094    100 |  0.154 % |
828.41/828.72	c |    135543 |   28483   163166   552335 | 2147483647   135467    100 |  0.154 % |
831.61/831.90	c |    135952 |   28483   163166   552335 | 2147483647   135876    100 |  0.154 % |
832.91/833.27	c |    136401 |   28483   163166   552335 | 2147483647   136325    100 |  0.154 % |
836.81/837.14	c |    136895 |   28483   163166   552335 | 2147483647   136819    100 |  0.154 % |
840.70/841.00	c |    137438 |   28483   163166   552335 | 2147483647   137362    100 |  0.154 % |
844.81/845.14	c |    138035 |   28483   163166   552335 | 2147483647   137959    100 |  0.154 % |
850.11/850.41	c |    138691 |   28483   163166   552335 | 2147483647   138615    101 |  0.154 % |
856.40/856.79	c |    139412 |   28483   163166   552335 | 2147483647   139336    100 |  0.154 % |
861.20/861.51	c |    140204 |   28483   163166   552335 | 2147483647   140128    100 |  0.154 % |
868.70/869.06	c |    141076 |   28483   163166   552335 | 2147483647   141000    101 |  0.154 % |
872.00/872.33	c |    142037 |   28481   163159   552316 | 2147483647   141959    100 |  0.161 % |
881.49/881.80	c |    143090 |   28481   163159   552316 | 2147483647   143012    101 |  0.161 % |
889.69/890.03	c |    144249 |   28481   163159   552316 | 2147483647   144171    101 |  0.161 % |
900.39/900.70	c |    145523 |   28481   163159   552316 | 2147483647   145445    102 |  0.161 % |
910.28/910.63	c |    146925 |   28481   163159   552316 | 2147483647   146847    102 |  0.161 % |
922.28/922.64	c |    148466 |   28481   163159   552316 | 2147483647   148388    102 |  0.161 % |
922.88/923.25	c |    148566 |   28481   163159   552316 | 2147483647   148488    102 |  0.161 % |
923.58/923.97	c |    148676 |   28481   163159   552316 | 2147483647   148598    102 |  0.161 % |
924.88/925.26	c |    148797 |   28481   163159   552316 | 2147483647   148719    102 |  0.161 % |
926.08/926.46	c |    148931 |   28481   163159   552316 | 2147483647   148853    102 |  0.161 % |
927.18/927.53	c |    149077 |   28481   163159   552316 | 2147483647   148999    102 |  0.161 % |
928.68/929.02	c |    149237 |   28481   163159   552316 | 2147483647   149159    103 |  0.161 % |
929.88/930.27	c |    149414 |   28481   163159   552316 | 2147483647   149336    102 |  0.161 % |
931.48/931.87	c |    149607 |   28481   163159   552316 | 2147483647   149529    103 |  0.161 % |
932.78/933.17	c |    149819 |   28481   163159   552316 | 2147483647   149741    103 |  0.161 % |
934.68/935.05	c |    150053 |   28481   163159   552316 | 2147483647   149975    103 |  0.161 % |
936.57/936.90	c |    150309 |   28481   163159   552316 | 2147483647   150231    103 |  0.161 % |
938.87/939.27	c |    150591 |   28481   163159   552316 | 2147483647   150513    103 |  0.161 % |
941.07/941.40	c |    150901 |   28481   163159   552316 | 2147483647   150823    103 |  0.161 % |
943.47/943.81	c |    151240 |   28481   163159   552316 | 2147483647   151162    103 |  0.161 % |
945.58/945.95	c |    151612 |   28481   163159   552316 | 2147483647   151534    103 |  0.161 % |
948.98/949.37	c |    152022 |   28481   163159   552316 | 2147483647   151944    103 |  0.161 % |
952.37/952.78	c |    152472 |   28481   163159   552316 | 2147483647   152394    103 |  0.161 % |
956.58/956.92	c |    152966 |   28481   163159   552316 | 2147483647   152888    103 |  0.161 % |
961.37/961.72	c |    153508 |   28481   163159   552316 | 2147483647   153430    103 |  0.161 % |
965.27/965.62	c |    154106 |   28481   163159   552316 | 2147483647   154028    103 |  0.161 % |
969.97/970.37	c |    154762 |   28481   163159   552316 | 2147483647   154684    103 |  0.161 % |
975.76/976.12	c |    155483 |   28481   163159   552316 | 2147483647   155405    103 |  0.161 % |
981.36/981.71	c |    156276 |   28481   163159   552316 | 2147483647   156198    103 |  0.161 % |
987.86/988.25	c |    157147 |   28481   163159   552316 | 2147483647   157069    103 |  0.161 % |
994.76/995.20	c |    158106 |   28481   163159   552316 | 2147483647   158028    103 |  0.161 % |
1002.95/1003.33	c |    159160 |   28481   163159   552316 | 2147483647   159082    103 |  0.161 % |
1012.16/1012.59	c |    160318 |   28481   163159   552316 | 2147483647   160240    104 |  0.161 % |
1018.45/1018.89	c |    161591 |   28481   163159   552316 | 2147483647   161513    103 |  0.161 % |
1030.85/1031.27	c |    162991 |   28481   163159   552316 | 2147483647   162913    103 |  0.161 % |
1044.84/1045.22	c |    164531 |   28481   163159   552316 | 2147483647   164453    104 |  0.161 % |
1056.44/1056.83	c |    166225 |   28481   163159   552316 | 2147483647   166147    104 |  0.161 % |
1057.54/1057.94	c |    166326 |   28481   163159   552316 | 2147483647   166248    104 |  0.161 % |
1058.54/1058.90	c |    166436 |   28481   163159   552316 | 2147483647   166358    104 |  0.161 % |
1059.64/1060.09	c |    166557 |   28481   163159   552316 | 2147483647   166479    104 |  0.161 % |
1061.34/1061.71	c |    166691 |   28481   163159   552316 | 2147483647   166613    104 |  0.161 % |
1062.94/1063.37	c |    166838 |   28481   163159   552316 | 2147483647   166760    104 |  0.161 % |
1064.54/1065.00	c |    166998 |   28481   163159   552316 | 2147483647   166920    104 |  0.161 % |
1066.24/1066.63	c |    167176 |   28481   163159   552316 | 2147483647   167098    104 |  0.161 % |
1066.64/1067.02	c |    167370 |   28481   163159   552316 | 2147483647   167292    104 |  0.161 % |
1068.74/1069.16	c |    167582 |   28481   163159   552316 | 2147483647   167504    104 |  0.161 % |
1070.63/1071.04	c |    167816 |   28481   163159   552316 | 2147483647   167738    104 |  0.161 % |
1072.73/1073.17	c |    168073 |   28481   163159   552316 | 2147483647   167995    104 |  0.161 % |
1075.13/1075.52	c |    168354 |   28481   163159   552316 | 2147483647   168276    104 |  0.161 % |
1077.43/1077.85	c |    168664 |   28481   163159   552316 | 2147483647   168586    104 |  0.161 % |
1080.13/1080.57	c |    169004 |   28481   163159   552316 | 2147483647   168926    104 |  0.161 % |
1083.54/1083.93	c |    169377 |   28481   163159   552316 | 2147483647   169299    105 |  0.161 % |
1086.34/1086.79	c |    169786 |   28481   163159   552316 | 2147483647   169708    105 |  0.161 % |
1090.03/1090.46	c |    170236 |   28481   163159   552316 | 2147483647   170158    105 |  0.161 % |
1094.13/1094.53	c |    170731 |   28481   163159   552316 | 2147483647   170653    105 |  0.161 % |
1097.23/1097.62	c |    171273 |   28481   163159   552316 | 2147483647   171195    105 |  0.161 % |
1099.83/1100.21	c |    171869 |   28481   163159   552316 | 2147483647   171791    105 |  0.161 % |
1106.52/1106.90	c |    172524 |   28481   163159   552316 | 2147483647   172446    105 |  0.161 % |
1112.42/1112.85	c |    173244 |   28481   163159   552316 | 2147483647   173166    105 |  0.161 % |
1118.13/1118.57	c |    174037 |   28481   163159   552316 | 2147483647   173959    105 |  0.161 % |
1124.72/1125.11	c |    174909 |   28481   163159   552316 | 2147483647   174831    105 |  0.161 % |
1132.02/1132.41	c |    175867 |   28481   163159   552316 | 2147483647   175789    105 |  0.161 % |
1141.52/1141.93	c |    176920 |   28481   163159   552316 | 2147483647   176842    105 |  0.161 % |
1152.01/1152.44	c |    178078 |   28481   163159   552316 | 2147483647   178000    105 |  0.161 % |
1161.11/1161.57	c |    179351 |   28481   163159   552316 | 2147483647   179273    105 |  0.161 % |
1170.61/1171.03	c |    180754 |   28481   163159   552316 | 2147483647   180676    106 |  0.161 % |
1180.71/1181.17	c |    182294 |   28481   163159   552316 | 2147483647   182216    105 |  0.161 % |
1192.60/1193.01	c |    183988 |   28481   163159   552316 | 2147483647   183910    105 |  0.161 % |
1209.50/1209.91	c |    185852 |   28481   163159   552316 | 2147483647   185774    105 |  0.161 % |
1210.39/1210.84	c |    185953 |   28481   163159   552316 | 2147483647   185875    105 |  0.161 % |
1211.60/1212.02	c |    186063 |   28481   163159   552316 | 2147483647   185985    106 |  0.161 % |
1213.00/1213.44	c |    186184 |   28481   163159   552316 | 2147483647   186106    106 |  0.161 % |
1214.30/1214.75	c |    186317 |   28481   163159   552316 | 2147483647   186239    106 |  0.161 % |
1215.70/1216.18	c |    186463 |   28481   163159   552316 | 2147483647   186385    106 |  0.161 % |
1216.80/1217.27	c |    186623 |   28481   163159   552316 | 2147483647   186545    106 |  0.161 % |
1218.50/1218.92	c |    186801 |   28481   163159   552316 | 2147483647   186723    106 |  0.161 % |
1220.30/1220.74	c |    186996 |   28481   163159   552316 | 2147483647   186918    106 |  0.161 % |
1222.00/1222.42	c |    187208 |   28481   163159   552316 | 2147483647   187130    106 |  0.161 % |
1223.30/1223.73	c |    187442 |   28481   163159   552316 | 2147483647   187364    106 |  0.161 % |
1225.69/1226.17	c |    187698 |   28481   163159   552316 | 2147483647   187620    106 |  0.161 % |
1228.30/1228.72	c |    187980 |   28481   163159   552316 | 2147483647   187902    106 |  0.161 % |
1231.19/1231.64	c |    188290 |   28481   163159   552316 | 2147483647   188212    106 |  0.161 % |
1233.29/1233.80	c |    188630 |   28481   163159   552316 | 2147483647   188552    106 |  0.161 % |
1236.29/1236.72	c |    189002 |   28481   163159   552316 | 2147483647   188924    105 |  0.161 % |
1238.98/1239.49	c |    189412 |   28481   163159   552316 | 2147483647   189334    105 |  0.161 % |
1242.08/1242.56	c |    189862 |   28481   163159   552316 | 2147483647   189784    105 |  0.161 % |
1246.08/1246.53	c |    190355 |   28481   163159   552316 | 2147483647   190277    105 |  0.161 % |
1249.08/1249.59	c |    190898 |   28481   163159   552316 | 2147483647   190820    105 |  0.161 % |
1253.28/1253.79	c |    191494 |   28481   163159   552316 | 2147483647   191416    105 |  0.161 % |
1258.38/1258.84	c |    192149 |   28481   163159   552316 | 2147483647   192071    105 |  0.161 % |
1263.49/1263.94	c |    192869 |   28481   163159   552316 | 2147483647   192791    105 |  0.161 % |
1266.68/1267.16	c |    193662 |   28481   163159   552316 | 2147483647   193584    105 |  0.161 % |
1273.97/1274.46	c |    194534 |   28481   163159   552316 | 2147483647   194456    105 |  0.161 % |
1282.17/1282.63	c |    195493 |   28481   163159   552316 | 2147483647   195415    105 |  0.161 % |
1290.28/1290.70	c |    196546 |   28481   163159   552316 | 2147483647   196468    105 |  0.161 % |
1298.67/1299.14	c |    197705 |   28481   163159   552316 | 2147483647   197627    105 |  0.161 % |
1311.36/1311.86	c |    198979 |   28481   163159   552316 | 2147483647   198901    106 |  0.161 % |
1322.77/1323.27	c |    200379 |   28481   163159   552316 | 2147483647   200301    106 |  0.161 % |
1336.96/1337.47	c |    201920 |   28481   163159   552316 | 2147483647   201842    105 |  0.161 % |
1350.95/1351.47	c |    203616 |   28481   163159   552316 | 2147483647   203538    106 |  0.161 % |
1363.74/1364.24	c |    205479 |   28481   163159   552316 | 2147483647   205401    106 |  0.161 % |
1377.75/1378.23	c |    207529 |   28481   163159   552316 | 2147483647   207451    105 |  0.161 % |
1378.74/1379.28	c |    207629 |   28481   163159   552316 | 2147483647   207551    105 |  0.161 % |
1379.44/1379.99	c |    207739 |   28481   163159   552316 | 2147483647   207661    105 |  0.161 % |
1380.55/1381.05	c |    207860 |   28481   163159   552316 | 2147483647   207782    105 |  0.161 % |
1381.84/1382.39	c |    207994 |   28481   163159   552316 | 2147483647   207916    105 |  0.161 % |
1382.74/1383.21	c |    208140 |   28481   163159   552316 | 2147483647   208062    105 |  0.161 % |
1383.84/1384.30	c |    208300 |   28481   163159   552316 | 2147483647   208222    105 |  0.161 % |
1385.24/1385.75	c |    208477 |   28481   163159   552316 | 2147483647   208399    105 |  0.161 % |
1387.24/1387.79	c |    208671 |   28481   163159   552316 | 2147483647   208593    105 |  0.161 % |
1389.14/1389.66	c |    208884 |   28481   163159   552316 | 2147483647   208806    105 |  0.161 % |
1391.64/1392.15	c |    209117 |   28481   163159   552316 | 2147483647   209039    105 |  0.161 % |
1393.54/1394.08	c |    209373 |   28481   163159   552316 | 2147483647   209295    106 |  0.161 % |
1396.24/1396.76	c |    209655 |   28481   163159   552316 | 2147483647   209577    106 |  0.161 % |
1399.34/1399.82	c |    209964 |   28481   163159   552316 | 2147483647   209886    105 |  0.161 % |
1401.44/1401.90	c |    210303 |   28481   163159   552316 | 2147483647   210225    105 |  0.161 % |
1404.94/1405.45	c |    210675 |   28481   163159   552316 | 2147483647   210597    106 |  0.161 % |
1408.24/1408.78	c |    211084 |   28481   163159   552316 | 2147483647   211006    106 |  0.161 % |
1412.43/1412.94	c |    211534 |   28481   163159   552316 | 2147483647   211456    106 |  0.161 % |
1416.63/1417.19	c |    212029 |   28481   163159   552316 | 2147483647   211951    105 |  0.161 % |
1421.63/1422.14	c |    212571 |   28481   163159   552316 | 2147483647   212493    106 |  0.161 % |
1426.43/1426.95	c |    213168 |   28481   163159   552316 | 2147483647   213090    105 |  0.161 % |
1431.83/1432.39	c |    213824 |   28481   163159   552316 | 2147483647   213746    105 |  0.161 % |
1438.52/1439.08	c |    214546 |   28481   163159   552316 | 2147483647   214468    106 |  0.161 % |
1444.32/1444.81	c |    215338 |   28481   163159   552316 | 2147483647   215260    106 |  0.161 % |
1451.02/1451.52	c |    216210 |   28481   163159   552316 | 2147483647   216132    105 |  0.161 % |
1459.22/1459.75	c |    217168 |   28481   163159   552316 | 2147483647   217090    105 |  0.161 % |
1467.11/1467.67	c |    218221 |   28481   163159   552316 | 2147483647   218143    106 |  0.161 % |
1477.31/1477.84	c |    219381 |   28481   163159   552316 | 2147483647   219303    106 |  0.161 % |
1487.82/1488.33	c |    220656 |   28481   163159   552316 | 2147483647   220578    106 |  0.161 % |
1503.41/1503.91	c |    222058 |   28481   163159   552316 | 2147483647   221980    106 |  0.161 % |
1514.11/1514.65	c |    223601 |   28481   163159   552316 | 2147483647   223523    106 |  0.161 % |
1527.70/1528.29	c |    225296 |   28481   163159   552316 | 2147483647   225218    106 |  0.161 % |
1541.80/1542.32	c |    227160 |   28481   163159   552316 | 2147483647   227082    106 |  0.161 % |
1558.79/1559.31	c |    229211 |   28481   163159   552316 | 2147483647   229133    106 |  0.161 % |
1577.09/1577.69	c |    231464 |   28481   163159   552316 | 2147483647   231386    107 |  0.161 % |
1578.09/1578.63	c |    231566 |   28481   163159   552316 | 2147483647   231488    107 |  0.161 % |
1579.00/1579.51	c |    231677 |   28481   163159   552316 | 2147483647   231599    107 |  0.161 % |
1580.19/1580.79	c |    231798 |   28481   163159   552316 | 2147483647   231720    107 |  0.161 % |
1581.49/1582.01	c |    231932 |   28481   163159   552316 | 2147483647   231854    107 |  0.161 % |
1583.19/1583.73	c |    232079 |   28481   163159   552316 | 2147483647   232001    107 |  0.161 % |
1584.79/1585.35	c |    232240 |   28481   163159   552316 | 2147483647   232162    107 |  0.161 % |
1586.49/1587.06	c |    232416 |   28481   163159   552316 | 2147483647   232338    107 |  0.161 % |
1588.39/1588.91	c |    232610 |   28481   163159   552316 | 2147483647   232532    107 |  0.161 % |
1590.39/1590.93	c |    232822 |   28481   163159   552316 | 2147483647   232744    107 |  0.161 % |
1592.49/1593.08	c |    233056 |   28481   163159   552316 | 2147483647   232978    107 |  0.161 % |
1595.49/1596.05	c |    233313 |   28481   163159   552316 | 2147483647   233235    107 |  0.161 % |
1598.58/1599.10	c |    233595 |   28481   163159   552316 | 2147483647   233517    107 |  0.161 % |
1601.58/1602.11	c |    233905 |   28481   163159   552316 | 2147483647   233827    107 |  0.161 % |
1604.38/1604.98	c |    234246 |   28481   163159   552316 | 2147483647   234168    107 |  0.161 % |
1606.58/1607.17	c |    234618 |   28481   163159   552316 | 2147483647   234540    107 |  0.161 % |
1610.18/1610.72	c |    235029 |   28481   163159   552316 | 2147483647   234951    107 |  0.161 % |
1614.98/1615.56	c |    235480 |   28481   163159   552316 | 2147483647   235402    107 |  0.161 % |
1619.98/1620.55	c |    235973 |   28481   163159   552316 | 2147483647   235895    107 |  0.161 % |
1624.47/1625.01	c |    236518 |   28481   163159   552316 | 2147483647   236440    107 |  0.161 % |
1630.07/1630.65	c |    237114 |   28481   163159   552316 | 2147483647   237036    107 |  0.161 % |
1635.77/1636.38	c |    237769 |   28481   163159   552316 | 2147483647   237691    107 |  0.161 % |
1643.47/1644.08	c |    238489 |   28481   163159   552316 | 2147483647   238411    107 |  0.161 % |
1650.76/1651.37	c |    239283 |   28481   163159   552316 | 2147483647   239205    107 |  0.161 % |
1656.96/1657.60	c |    240156 |   28481   163159   552316 | 2147483647   240078    107 |  0.161 % |
1665.56/1666.12	c |    241114 |   28481   163159   552316 | 2147483647   241036    107 |  0.161 % |
1672.96/1673.52	c |    242167 |   28481   163159   552316 | 2147483647   242089    107 |  0.161 % |
1684.05/1684.64	c |    243325 |   28481   163159   552316 | 2147483647   243247    107 |  0.161 % |
1696.95/1697.51	c |    244598 |   28481   163159   552316 | 2147483647   244520    108 |  0.161 % |
1710.55/1711.12	c |    245998 |   28481   163159   552316 | 2147483647   245920    108 |  0.161 % |
1722.34/1722.96	c |    247540 |   28481   163159   552316 | 2147483647   247462    107 |  0.161 % |
1737.53/1738.11	c |    249236 |   28481   163159   552316 | 2147483647   249158    108 |  0.161 % |
1756.14/1756.72	c |    251099 |   28481   163159   552316 | 2147483647   251021    108 |  0.161 % |
1773.83/1774.48	c |    253148 |   28481   163159   552316 | 2147483647   253070    108 |  0.161 % |
1793.82/1794.43	c |    255404 |   28481   163159   552316 | 2147483647   255326    109 |  0.161 % |
1818.12/1818.74	c |    257882 |   28481   163159   552316 | 2147483647   257804    108 |  0.161 % |
1819.21/1819.87	c |    257983 |   28481   163159   552316 | 2147483647   257905    108 |  0.161 % |
1820.51/1821.18	c |    258094 |   28481   163159   552316 | 2147483647   258016    108 |  0.161 % |
1821.81/1822.46	c |    258216 |   28481   163159   552316 | 2147483647   258138    108 |  0.161 % |
1823.31/1823.92	c |    258350 |   28481   163159   552316 | 2147483647   258272    108 |  0.161 % |
1825.11/1825.70	c |    258497 |   28481   163159   552316 | 2147483647   258419    108 |  0.161 % |
1826.91/1827.56	c |    258657 |   28481   163159   552316 | 2147483647   258579    108 |  0.161 % |
1828.71/1829.31	c |    258833 |   28481   163159   552316 | 2147483647   258755    108 |  0.161 % |
1830.81/1831.44	c |    259026 |   28481   163159   552316 | 2147483647   258948    108 |  0.161 % |
1832.51/1833.17	c |    259239 |   28481   163159   552316 | 2147483647   259161    108 |  0.161 % |
1834.71/1835.38	c |    259473 |   28481   163159   552316 | 2147483647   259395    108 |  0.161 % |
1837.41/1838.05	c |    259729 |   28481   163159   552316 | 2147483647   259651    108 |  0.161 % |
1839.20/1839.87	c |    260010 |   28481   163159   552316 | 2147483647   259932    108 |  0.161 % |
1841.60/1842.25	c |    260319 |   28481   163159   552316 | 2147483647   260241    108 |  0.161 % |
1844.50/1845.13	c |    260658 |   28481   163159   552316 | 2147483647   260580    108 |  0.161 % |
1848.10/1848.77	c |    261030 |   28481   163159   552316 | 2147483647   260952    108 |  0.161 % |
1851.70/1852.32	c |    261440 |   28481   163159   552316 | 2147483647   261362    108 |  0.161 % |
1855.21/1855.81	c |    261891 |   28481   163159   552316 | 2147483647   261813    108 |  0.161 % |
1859.90/1860.54	c |    262385 |   28481   163159   552316 | 2147483647   262307    108 |  0.161 % |
1865.20/1865.86	c |    262928 |   28481   163159   552316 | 2147483647   262850    108 |  0.161 % |
1872.00/1872.69	c |    263525 |   28481   163159   552316 | 2147483647   263447    108 |  0.161 % |
1879.20/1879.85	c |    264181 |   28481   163159   552316 | 2147483647   264103    108 |  0.161 % |
1885.69/1886.37	c |    264901 |   28481   163159   552316 | 2147483647   264823    108 |  0.161 % |
1892.09/1892.78	c |    265693 |   28481   163159   552316 | 2147483647   265615    108 |  0.161 % |
1899.29/1899.94	c |    266565 |   28481   163159   552316 | 2147483647   266487    108 |  0.161 % |
1907.39/1908.05	c |    267523 |   28481   163159   552316 | 2147483647   267445    108 |  0.161 % |
1917.28/1918.00	c |    268576 |   28481   163159   552316 | 2147483647   268498    108 |  0.161 % |
1928.28/1928.99	c |    269734 |   28481   163159   552316 | 2147483647   269656    108 |  0.161 % |
1941.08/1941.73	c |    271011 |   28481   163159   552316 | 2147483647   270933    108 |  0.161 % |
1953.28/1953.97	c |    272413 |   28481   163159   552316 | 2147483647   272335    108 |  0.161 % |
1968.57/1969.24	c |    273954 |   28481   163159   552316 | 2147483647   273876    108 |  0.161 % |
1985.47/1986.12	c |    275649 |   28481   163159   552316 | 2147483647   275571    108 |  0.161 % |
1998.86/1999.53	c |    277512 |   28481   163159   552316 | 2147483647   277434    108 |  0.161 % |
2022.65/2023.33	c |    279562 |   28481   163159   552316 | 2147483647   279484    108 |  0.161 % |
2044.25/2044.98	c |    281815 |   28481   163159   552316 | 2147483647   281737    109 |  0.161 % |
2062.74/2063.41	c |    284293 |   28481   163159   552316 | 2147483647   284215    108 |  0.161 % |
2083.14/2083.83	c |    287019 |   28481   163159   552316 | 2147483647   286941    108 |  0.161 % |
2084.04/2084.72	c |    287121 |   28481   163159   552316 | 2147483647   287043    108 |  0.161 % |
2085.74/2086.43	c |    287232 |   28481   163159   552316 | 2147483647   287154    108 |  0.161 % |
2086.44/2087.15	c |    287353 |   28481   163159   552316 | 2147483647   287275    108 |  0.161 % |
2087.14/2087.84	c |    287487 |   28481   163159   552316 | 2147483647   287409    108 |  0.161 % |
2088.54/2089.23	c |    287633 |   28481   163159   552316 | 2147483647   287555    108 |  0.161 % |
2090.34/2091.09	c |    287794 |   28481   163159   552316 | 2147483647   287716    108 |  0.161 % |
2092.44/2093.20	c |    287970 |   28481   163159   552316 | 2147483647   287892    108 |  0.161 % |
2094.74/2095.47	c |    288164 |   28481   163159   552316 | 2147483647   288086    108 |  0.161 % |
2097.04/2097.73	c |    288377 |   28481   163159   552316 | 2147483647   288299    108 |  0.161 % |
2098.93/2099.60	c |    288610 |   28481   163159   552316 | 2147483647   288532    108 |  0.161 % |
2101.33/2102.02	c |    288867 |   28481   163159   552316 | 2147483647   288789    108 |  0.161 % |
2103.83/2104.57	c |    289148 |   28481   163159   552316 | 2147483647   289070    108 |  0.161 % |
2106.43/2107.12	c |    289458 |   28481   163159   552316 | 2147483647   289380    108 |  0.161 % |
2109.43/2110.17	c |    289797 |   28481   163159   552316 | 2147483647   289719    108 |  0.161 % |
2112.33/2113.03	c |    290170 |   28481   163159   552316 | 2147483647   290092    108 |  0.161 % |
2116.53/2117.27	c |    290581 |   28481   163159   552316 | 2147483647   290503    108 |  0.161 % |
2120.92/2121.60	c |    291030 |   28481   163159   552316 | 2147483647   290952    108 |  0.161 % |
2125.02/2125.73	c |    291525 |   28481   163159   552316 | 2147483647   291447    108 |  0.161 % |
2130.22/2130.97	c |    292068 |   28481   163159   552316 | 2147483647   291990    108 |  0.161 % |
2136.92/2137.66	c |    292665 |   28481   163159   552316 | 2147483647   292587    108 |  0.161 % |
2143.32/2144.07	c |    293321 |   28481   163159   552316 | 2147483647   293243    108 |  0.161 % |
2149.11/2149.85	c |    294041 |   28481   163159   552316 | 2147483647   293963    109 |  0.161 % |
2157.12/2157.82	c |    294835 |   28481   163159   552316 | 2147483647   294757    108 |  0.161 % |
2163.52/2164.21	c |    295707 |   28481   163159   552316 | 2147483647   295629    108 |  0.161 % |
2172.51/2173.24	c |    296666 |   28481   163159   552316 | 2147483647   296588    108 |  0.161 % |
2184.01/2184.76	c |    297720 |   28481   163159   552316 | 2147483647   297642    109 |  0.161 % |
2195.11/2195.84	c |    298878 |   28481   163159   552316 | 2147483647   298800    109 |  0.161 % |
2202.01/2202.73	c |    300152 |   28481   163159   552316 | 2147483647   300074    108 |  0.161 % |
2216.70/2217.42	c |    301554 |   28481   163159   552316 | 2147483647   301476    109 |  0.161 % |
2231.40/2232.16	c |    303094 |   28481   163159   552316 | 2147483647   303016    109 |  0.161 % |
2247.29/2248.01	c |    304789 |   28481   163159   552316 | 2147483647   304711    109 |  0.161 % |
2267.29/2268.08	c |    306652 |   28481   163159   552316 | 2147483647   306574    109 |  0.161 % |
2288.88/2289.67	c |    308702 |   28481   163159   552316 | 2147483647   308624    110 |  0.161 % |
2307.27/2308.03	c |    310955 |   28481   163159   552316 | 2147483647   310877    110 |  0.161 % |
2332.27/2333.08	c |    313435 |   28481   163159   552316 | 2147483647   313357    110 |  0.161 % |
2359.96/2360.71	c |    316161 |   28481   163159   552316 | 2147483647   316083    111 |  0.161 % |
2386.95/2387.73	c |    319158 |   28481   163159   552316 | 2147483647   319080    111 |  0.161 % |
2387.55/2388.34	c |    319258 |   28481   163159   552316 | 2147483647   319180    111 |  0.161 % |
2388.46/2389.22	c |    319369 |   28481   163159   552316 | 2147483647   319291    111 |  0.161 % |
2389.56/2390.34	c |    319490 |   28481   163159   552316 | 2147483647   319412    111 |  0.161 % |
2391.05/2391.81	c |    319623 |   28481   163159   552316 | 2147483647   319545    111 |  0.161 % |
2392.55/2393.34	c |    319769 |   28481   163159   552316 | 2147483647   319691    111 |  0.161 % |
2394.25/2395.05	c |    319929 |   28481   163159   552316 | 2147483647   319851    111 |  0.161 % |
2395.75/2396.50	c |    320105 |   28481   163159   552316 | 2147483647   320027    111 |  0.161 % |
2397.74/2398.51	c |    320300 |   28481   163159   552316 | 2147483647   320222    111 |  0.161 % |
2399.14/2399.91	c |    320513 |   28481   163159   552316 | 2147483647   320435    111 |  0.161 % |
2401.44/2402.29	c |    320747 |   28481   163159   552316 | 2147483647   320669    111 |  0.161 % |
2404.55/2405.32	c |    321005 |   28481   163159   552316 | 2147483647   320927    111 |  0.161 % |
2407.55/2408.32	c |    321287 |   28481   163159   552316 | 2147483647   321209    111 |  0.161 % |
2410.65/2411.40	c |    321598 |   28481   163159   552316 | 2147483647   321520    111 |  0.161 % |
2412.75/2413.55	c |    321938 |   28481   163159   552316 | 2147483647   321860    111 |  0.161 % |
2416.14/2416.98	c |    322311 |   28481   163159   552316 | 2147483647   322233    111 |  0.161 % |
2420.94/2421.78	c |    322720 |   28481   163159   552316 | 2147483647   322642    111 |  0.161 % |
2425.94/2426.73	c |    323170 |   28481   163159   552316 | 2147483647   323092    111 |  0.161 % |
2430.64/2431.47	c |    323665 |   28481   163159   552316 | 2147483647   323587    111 |  0.161 % |
2435.64/2436.42	c |    324207 |   28481   163159   552316 | 2147483647   324129    111 |  0.161 % |
2441.83/2442.64	c |    324805 |   28481   163159   552316 | 2147483647   324727    111 |  0.161 % |
2449.44/2450.27	c |    325460 |   28481   163159   552316 | 2147483647   325382    111 |  0.161 % |
2456.93/2457.73	c |    326181 |   28481   163159   552316 | 2147483647   326103    111 |  0.161 % |
2465.23/2466.04	c |    326973 |   28481   163159   552316 | 2147483647   326895    111 |  0.161 % |
2476.72/2477.56	c |    327844 |   28481   163159   552316 | 2147483647   327766    111 |  0.161 % |
2484.52/2485.31	c |    328802 |   28481   163159   552316 | 2147483647   328724    111 |  0.161 % |
2492.02/2492.85	c |    329856 |   28478   163147   552284 | 2147483647   329776    111 |  0.172 % |
2504.71/2505.55	c |    331014 |   28478   163147   552284 | 2147483647   330934    111 |  0.172 % |
2518.12/2518.93	c |    332287 |   28478   163147   552284 | 2147483647   332207    111 |  0.172 % |
2532.51/2533.34	c |    333688 |   28478   163147   552284 | 2147483647   333608    112 |  0.172 % |
2549.10/2549.90	c |    335229 |   28478   163147   552284 | 2147483647   335149    112 |  0.172 % |
2564.60/2565.44	c |    336923 |   28478   163147   552284 | 2147483647   336843    112 |  0.172 % |
2584.90/2585.70	c |    338786 |   28478   163147   552284 | 2147483647   338706    112 |  0.172 % |
2596.89/2597.76	c |    340835 |   28478   163147   552284 | 2147483647   340755    112 |  0.172 % |
2622.48/2623.38	c |    343090 |   28478   163147   552284 | 2147483647   343010    112 |  0.172 % |
2648.17/2649.01	c |    345568 |   28478   163147   552284 | 2147483647   345488    112 |  0.172 % |
2676.47/2677.37	c |    348294 |   28478   163147   552284 | 2147483647   348214    112 |  0.172 % |
2706.96/2707.86	c |    351292 |   28478   163147   552284 | 2147483647   351212    113 |  0.172 % |
2727.95/2728.87	c |    354588 |   28478   163147   552284 | 2147483647   354508    112 |  0.172 % |
2728.95/2729.85	c |    354688 |   28478   163147   552284 | 2147483647   354608    112 |  0.172 % |
2730.25/2731.11	c |    354798 |   28478   163147   552284 | 2147483647   354718    112 |  0.172 % |
2731.46/2732.38	c |    354919 |   28478   163147   552284 | 2147483647   354839    112 |  0.172 % |
2733.15/2734.07	c |    355053 |   28478   163147   552284 | 2147483647   354973    112 |  0.172 % |
2734.55/2735.45	c |    355199 |   28478   163147   552284 | 2147483647   355119    112 |  0.172 % |
2736.45/2737.37	c |    355360 |   28478   163147   552284 | 2147483647   355280    112 |  0.172 % |
2739.05/2739.90	c |    355536 |   28478   163147   552284 | 2147483647   355456    112 |  0.172 % |
2741.45/2742.36	c |    355729 |   28478   163147   552284 | 2147483647   355649    112 |  0.172 % |
2743.65/2744.53	c |    355942 |   28478   163147   552284 | 2147483647   355862    112 |  0.172 % |
2746.34/2747.22	c |    356175 |   28478   163147   552284 | 2147483647   356095    112 |  0.172 % |
2748.34/2749.24	c |    356431 |   28478   163147   552284 | 2147483647   356351    112 |  0.172 % |
2751.25/2752.20	c |    356712 |   28478   163147   552284 | 2147483647   356632    112 |  0.172 % |
2754.55/2755.45	c |    357021 |   28478   163147   552284 | 2147483647   356941    112 |  0.172 % |
2757.95/2758.90	c |    357360 |   28478   163147   552284 | 2147483647   357280    112 |  0.172 % |
2763.25/2764.19	c |    357733 |   28478   163147   552284 | 2147483647   357653    112 |  0.172 % |
2767.15/2768.07	c |    358142 |   28478   163147   552284 | 2147483647   358062    112 |  0.172 % |
2772.04/2772.98	c |    358591 |   28478   163147   552284 | 2147483647   358511    112 |  0.172 % |
2776.84/2777.74	c |    359086 |   28478   163147   552284 | 2147483647   359006    112 |  0.172 % |
2783.24/2784.10	c |    359628 |   28478   163147   552284 | 2147483647   359548    112 |  0.172 % |
2789.33/2790.22	c |    360225 |   28478   163147   552284 | 2147483647   360145    112 |  0.172 % |
2795.24/2796.11	c |    360881 |   28478   163147   552284 | 2147483647   360801    112 |  0.172 % |
2800.83/2801.75	c |    361603 |   28478   163147   552284 | 2147483647   361523    112 |  0.172 % |
2810.14/2811.06	c |    362396 |   28478   163147   552284 | 2147483647   362316    112 |  0.172 % |
2819.33/2820.22	c |    363267 |   28478   163147   552284 | 2147483647   363187    112 |  0.172 % |
2828.93/2829.85	c |    364225 |   28478   163147   552284 | 2147483647   364145    112 |  0.172 % |
2843.72/2844.69	c |    365278 |   28478   163147   552284 | 2147483647   365198    112 |  0.172 % |
2854.32/2855.28	c |    366436 |   28478   163147   552284 | 2147483647   366356    112 |  0.172 % |
2868.61/2869.58	c |    367711 |   28478   163147   552284 | 2147483647   367631    112 |  0.172 % |
2882.81/2883.76	c |    369112 |   28478   163147   552284 | 2147483647   369032    112 |  0.172 % |
2898.71/2899.67	c |    370653 |   28478   163147   552284 | 2147483647   370573    112 |  0.172 % |
2918.79/2919.72	c |    372347 |   28478   163147   552284 | 2147483647   372267    113 |  0.172 % |
2940.19/2941.10	c |    374210 |   28478   163147   552284 | 2147483647   374130    113 |  0.172 % |
2961.58/2962.58	c |    376260 |   28478   163147   552284 | 2147483647   376180    113 |  0.172 % |
2984.88/2985.80	c |    378514 |   28478   163147   552284 | 2147483647   378434    113 |  0.172 % |
3009.07/3010.00	c |    380993 |   28478   163147   552284 | 2147483647   380913    113 |  0.172 % |
3036.56/3037.55	c |    383721 |   28478   163147   552284 | 2147483647   383641    113 |  0.172 % |
3069.55/3070.51	c |    386718 |   28478   163147   552284 | 2147483647   386638    113 |  0.172 % |
3100.55/3101.54	c |    390015 |   28478   163147   552284 | 2147483647   389935    114 |  0.172 % |
3133.44/3134.47	c |    393640 |   28478   163147   552284 | 2147483647   393560    113 |  0.172 % |
3134.84/3135.84	c |    393740 |   28478   163147   552284 | 2147483647   393660    113 |  0.172 % |
3136.24/3137.29	c |    393850 |   28478   163147   552284 | 2147483647   393770    113 |  0.172 % |
3137.04/3138.02	c |    393971 |   28478   163147   552284 | 2147483647   393891    113 |  0.172 % |
3139.14/3140.11	c |    394105 |   28478   163147   552284 | 2147483647   394025    113 |  0.172 % |
3139.94/3140.91	c |    394253 |   28478   163147   552284 | 2147483647   394173    113 |  0.172 % |
3140.94/3141.98	c |    394413 |   28478   163147   552284 | 2147483647   394333    113 |  0.172 % |
3142.74/3143.77	c |    394590 |   28478   163147   552284 | 2147483647   394510    113 |  0.172 % |
3145.14/3146.11	c |    394784 |   28478   163147   552284 | 2147483647   394704    113 |  0.172 % |
3147.73/3148.77	c |    394999 |   28478   163147   552284 | 2147483647   394919    113 |  0.172 % |
3150.23/3151.29	c |    395232 |   28478   163147   552284 | 2147483647   395152    113 |  0.172 % |
3155.03/3156.06	c |    395488 |   28478   163147   552284 | 2147483647   395408    113 |  0.172 % |
3158.63/3159.64	c |    395769 |   28478   163147   552284 | 2147483647   395689    113 |  0.172 % |
3162.13/3163.13	c |    396080 |   28478   163147   552284 | 2147483647   396000    113 |  0.172 % |
3164.83/3165.83	c |    396422 |   28478   163147   552284 | 2147483647   396342    113 |  0.172 % |
3169.23/3170.24	c |    396794 |   28478   163147   552284 | 2147483647   396714    113 |  0.172 % |
3174.12/3175.12	c |    397203 |   28478   163147   552284 | 2147483647   397123    113 |  0.172 % |
3178.72/3179.76	c |    397655 |   28478   163147   552284 | 2147483647   397575    113 |  0.172 % |
3184.92/3185.96	c |    398149 |   28478   163147   552284 | 2147483647   398069    113 |  0.172 % |
3189.82/3190.85	c |    398691 |   28478   163147   552284 | 2147483647   398611    113 |  0.172 % |
3197.52/3198.51	c |    399288 |   28478   163147   552284 | 2147483647   399208    113 |  0.172 % |
3204.02/3205.02	c |    399944 |   28478   163147   552284 | 2147483647   399864    113 |  0.172 % |
3213.02/3214.03	c |    400664 |   28478   163147   552284 | 2147483647   400584    113 |  0.172 % |
3221.31/3222.32	c |    401458 |   28478   163147   552284 | 2147483647   401378    113 |  0.172 % |
3231.71/3232.73	c |    402329 |   28478   163147   552284 | 2147483647   402249    113 |  0.172 % |
3242.50/3243.56	c |    403287 |   28478   163147   552284 | 2147483647   403207    113 |  0.172 % |
3254.50/3255.50	c |    404340 |   28478   163147   552284 | 2147483647   404260    113 |  0.172 % |
3269.21/3270.28	c |    405498 |   28478   163147   552284 | 2147483647   405418    113 |  0.172 % |
3284.09/3285.12	c |    406772 |   28478   163147   552284 | 2147483647   406692    113 |  0.172 % |
3300.39/3301.43	c |    408176 |   28478   163147   552284 | 2147483647   408096    114 |  0.172 % |
3319.79/3320.87	c |    409716 |   28478   163147   552284 | 2147483647   409636    113 |  0.172 % |
3338.38/3339.42	c |    411411 |   28478   163147   552284 | 2147483647   411331    113 |  0.172 % |
3355.28/3356.33	c |    413276 |   28478   163147   552284 | 2147483647   413196    113 |  0.172 % |
3377.87/3378.96	c |    415325 |   28478   163147   552284 | 2147483647   415245    113 |  0.172 % |
3394.16/3395.23	c |    417578 |   28478   163147   552284 | 2147483647   417498    113 |  0.172 % |
3422.66/3423.70	c |    420059 |   28478   163147   552284 | 2147483647   419979    113 |  0.172 % |
3459.45/3460.56	c |    422784 |   28478   163147   552284 | 2147483647   422704    113 |  0.172 % |
3494.54/3495.62	c |    425783 |   28478   163147   552284 | 2147483647   425703    113 |  0.172 % |
3533.23/3534.34	c |    429079 |   28478   163147   552284 | 2147483647   428999    114 |  0.172 % |
3571.22/3572.40	c |    432705 |   28478   163147   552284 | 2147483647   432625    114 |  0.172 % |
3613.51/3614.66	c |    436693 |   28478   163147   552284 | 2147483647   436613    114 |  0.172 % |
3614.71/3615.85	c |    436793 |   28478   163147   552284 | 2147483647   436713    114 |  0.172 % |
3616.11/3617.28	c |    436904 |   28478   163147   552284 | 2147483647   436824    114 |  0.172 % |
3617.41/3618.55	c |    437028 |   28478   163147   552284 | 2147483647   436948    114 |  0.172 % |
3618.31/3619.40	c |    437161 |   28478   163147   552284 | 2147483647   437081    114 |  0.172 % |
3619.90/3621.06	c |    437307 |   28478   163147   552284 | 2147483647   437227    114 |  0.172 % |
3621.80/3622.92	c |    437468 |   28478   163147   552284 | 2147483647   437388    114 |  0.172 % |
3624.10/3625.27	c |    437644 |   28478   163147   552284 | 2147483647   437564    114 |  0.172 % |
3625.90/3627.02	c |    437837 |   28478   163147   552284 | 2147483647   437757    114 |  0.172 % |
3628.60/3629.75	c |    438050 |   28478   163147   552284 | 2147483647   437970    114 |  0.172 % |
3632.10/3633.24	c |    438284 |   28478   163147   552284 | 2147483647   438204    114 |  0.172 % |
3635.80/3636.94	c |    438541 |   28478   163147   552284 | 2147483647   438461    115 |  0.172 % |
3639.39/3640.50	c |    438823 |   28478   163147   552284 | 2147483647   438743    115 |  0.172 % |
3642.70/3643.87	c |    439133 |   28478   163147   552284 | 2147483647   439053    115 |  0.172 % |
3646.70/3647.82	c |    439472 |   28478   163147   552284 | 2147483647   439392    115 |  0.172 % |
3652.10/3653.22	c |    439844 |   28478   163147   552284 | 2147483647   439764    115 |  0.172 % |
3656.20/3657.34	c |    440253 |   28478   163147   552284 | 2147483647   440173    115 |  0.172 % |
3661.99/3663.11	c |    440702 |   28478   163147   552284 | 2147483647   440622    115 |  0.172 % |
3667.79/3668.98	c |    441197 |   28478   163147   552284 | 2147483647   441117    115 |  0.172 % |
3674.79/3675.95	c |    441740 |   28478   163147   552284 | 2147483647   441660    115 |  0.172 % |
3681.29/3682.43	c |    442336 |   28478   163147   552284 | 2147483647   442256    115 |  0.172 % |
3689.08/3690.29	c |    442992 |   28478   163147   552284 | 2147483647   442912    115 |  0.172 % |
3698.19/3699.35	c |    443712 |   28478   163147   552284 | 2147483647   443632    115 |  0.172 % |
3707.98/3709.14	c |    444504 |   28478   163147   552284 | 2147483647   444424    115 |  0.172 % |
3719.57/3720.78	c |    445377 |   28478   163147   552284 | 2147483647   445297    115 |  0.172 % |
3728.47/3729.67	c |    446335 |   28478   163147   552284 | 2147483647   446255    115 |  0.172 % |
3737.07/3738.27	c |    447389 |   28478   163147   552284 | 2147483647   447309    115 |  0.172 % |
3750.47/3751.65	c |    448547 |   28478   163147   552284 | 2147483647   448467    115 |  0.172 % |
3760.26/3761.45	c |    449820 |   28478   163147   552284 | 2147483647   449740    115 |  0.172 % |
3778.26/3779.42	c |    451221 |   28478   163147   552284 | 2147483647   451141    115 |  0.172 % |
3797.76/3798.99	c |    452761 |   28478   163147   552284 | 2147483647   452681    115 |  0.172 % |
3819.85/3821.01	c |    454455 |   28478   163147   552284 | 2147483647   454375    115 |  0.172 % |
3840.54/3841.80	c |    456319 |   28478   163147   552284 | 2147483647   456239    115 |  0.172 % |
3865.94/3867.20	c |    458368 |   28478   163147   552284 | 2147483647   458288    115 |  0.172 % |
3883.73/3884.98	c |    460621 |   28478   163147   552284 | 2147483647   460541    115 |  0.172 % |
3912.52/3913.72	c |    463101 |   28478   163147   552284 | 2147483647   463021    115 |  0.172 % |
3946.22/3947.41	c |    465826 |   28478   163147   552284 | 2147483647   465746    115 |  0.172 % |
3977.90/3979.20	c |    468823 |   28478   163147   552284 | 2147483647   468743    115 |  0.172 % |
3997.49/3998.75	c |    472119 |   28478   163147   552284 | 2147483647   472039    115 |  0.172 % |
4043.08/4044.36	c |    475744 |   28478   163147   552284 | 2147483647   475664    115 |  0.172 % |
4090.27/4091.57	c |    479731 |   28478   163147   552284 | 2147483647   479651    115 |  0.172 % |
4138.46/4139.77	c |    484119 |   28478   163147   552284 | 2147483647   484039    116 |  0.172 % |
4139.46/4140.74	c |    484220 |   28478   163147   552284 | 2147483647   484140    116 |  0.172 % |
4140.36/4141.67	c |    484330 |   28478   163147   552284 | 2147483647   484250    116 |  0.172 % |
4141.86/4143.11	c |    484452 |   28478   163147   552284 | 2147483647   484372    116 |  0.172 % |
4143.46/4144.71	c |    484586 |   28478   163147   552284 | 2147483647   484506    116 |  0.172 % |
4145.26/4146.57	c |    484733 |   28478   163147   552284 | 2147483647   484653    116 |  0.172 % |
4147.25/4148.56	c |    484894 |   28478   163147   552284 | 2147483647   484814    116 |  0.172 % |
4149.85/4151.13	c |    485070 |   28478   163147   552284 | 2147483647   484990    116 |  0.172 % |
4152.15/4153.49	c |    485263 |   28478   163147   552284 | 2147483647   485183    116 |  0.172 % |
4155.45/4156.70	c |    485476 |   28478   163147   552284 | 2147483647   485396    116 |  0.172 % |
4158.75/4160.09	c |    485709 |   28478   163147   552284 | 2147483647   485629    116 |  0.172 % |
4161.75/4163.02	c |    485967 |   28478   163147   552284 | 2147483647   485887    116 |  0.172 % |
4164.75/4166.10	c |    486248 |   28478   163147   552284 | 2147483647   486168    116 |  0.172 % |
4168.95/4170.23	c |    486558 |   28478   163147   552284 | 2147483647   486478    116 |  0.172 % |
4172.64/4173.95	c |    486897 |   28478   163147   552284 | 2147483647   486817    116 |  0.172 % |
4177.94/4179.29	c |    487270 |   28478   163147   552284 | 2147483647   487190    116 |  0.172 % |
4182.54/4183.85	c |    487679 |   28478   163147   552284 | 2147483647   487599    116 |  0.172 % |
4188.14/4189.49	c |    488128 |   28478   163147   552284 | 2147483647   488048    116 |  0.172 % |
4192.95/4194.28	c |    488621 |   28478   163147   552284 | 2147483647   488541    116 |  0.172 % |
4198.45/4199.71	c |    489163 |   28478   163147   552284 | 2147483647   489083    116 |  0.172 % |
4206.44/4207.70	c |    489760 |   28478   163147   552284 | 2147483647   489680    116 |  0.172 % |
4214.33/4215.60	c |    490415 |   28478   163147   552284 | 2147483647   490335    116 |  0.172 % |
4221.43/4222.80	c |    491137 |   28478   163147   552284 | 2147483647   491057    116 |  0.172 % |
4231.43/4232.72	c |    491931 |   28478   163147   552284 | 2147483647   491851    116 |  0.172 % |
4243.02/4244.31	c |    492803 |   28478   163147   552284 | 2147483647   492723    116 |  0.172 % |
4256.32/4257.69	c |    493762 |   28478   163147   552284 | 2147483647   493682    116 |  0.172 % |
4267.11/4268.49	c |    494816 |   28478   163147   552284 | 2147483647   494736    116 |  0.172 % |
4278.61/4279.90	c |    495974 |   28478   163147   552284 | 2147483647   495894    116 |  0.172 % |
4291.20/4292.60	c |    497251 |   28478   163147   552284 | 2147483647   497171    116 |  0.172 % |
4305.90/4307.36	c |    498651 |   28478   163147   552284 | 2147483647   498571    116 |  0.172 % |
4323.59/4325.04	c |    500191 |   28478   163147   552284 | 2147483647   500111    116 |  0.172 % |
4346.28/4347.73	c |    501885 |   28478   163147   552284 | 2147483647   501805    116 |  0.172 % |
4370.68/4372.19	c |    503749 |   28478   163147   552284 | 2147483647   503669    116 |  0.172 % |
4394.07/4395.52	c |    505798 |   28478   163147   552284 | 2147483647   505718    116 |  0.172 % |
4428.86/4430.39	c |    508053 |   28478   163147   552284 | 2147483647   507973    116 |  0.172 % |
4463.04/4464.58	c |    510532 |   28478   163147   552284 | 2147483647   510452    116 |  0.172 % |
4492.24/4493.72	c |    513258 |   28478   163147   552284 | 2147483647   513178    115 |  0.172 % |
4529.73/4531.24	c |    516256 |   28478   163147   552284 | 2147483647   516176    116 |  0.172 % |
4583.02/4584.60	c |    519553 |   28478   163147   552284 | 2147483647   519473    115 |  0.172 % |
4627.50/4629.07	c |    523178 |   28478   163147   552284 | 2147483647   523098    116 |  0.172 % |
4680.88/4682.40	c |    527167 |   28478   163147   552284 | 2147483647   527087    116 |  0.172 % |
4740.47/4742.09	c |    531552 |   28478   163147   552284 | 2147483647   531472    116 |  0.172 % |
4807.05/4808.64	c |    536376 |   28478   163147   552284 | 2147483647   536296    117 |  0.172 % |
4808.85/4810.42	c |    536478 |   28478   163147   552284 | 2147483647   536398    117 |  0.172 % |
4811.35/4812.90	c |    536589 |   28478   163147   552284 | 2147483647   536509    117 |  0.172 % |
4812.85/4814.43	c |    536711 |   28478   163147   552284 | 2147483647   536631    117 |  0.172 % |
4814.35/4815.97	c |    536844 |   28478   163147   552284 | 2147483647   536764    117 |  0.172 % |
4816.55/4818.18	c |    536990 |   28478   163147   552284 | 2147483647   536910    117 |  0.172 % |
4818.95/4820.54	c |    537151 |   28478   163147   552284 | 2147483647   537071    117 |  0.172 % |
4821.05/4822.62	c |    537328 |   28478   163147   552284 | 2147483647   537248    117 |  0.172 % |
4824.05/4825.64	c |    537521 |   28478   163147   552284 | 2147483647   537441    117 |  0.172 % |
4826.44/4828.05	c |    537735 |   28478   163147   552284 | 2147483647   537655    117 |  0.172 % |
4829.14/4830.79	c |    537969 |   28478   163147   552284 | 2147483647   537889    117 |  0.172 % |
4832.24/4833.83	c |    538225 |   28478   163147   552284 | 2147483647   538145    117 |  0.172 % |
4836.34/4837.90	c |    538507 |   28478   163147   552284 | 2147483647   538427    117 |  0.172 % |
4840.94/4842.54	c |    538818 |   28478   163147   552284 | 2147483647   538738    117 |  0.172 % |
4846.43/4848.08	c |    539157 |   28478   163147   552284 | 2147483647   539077    117 |  0.172 % |
4851.84/4853.47	c |    539530 |   28478   163147   552284 | 2147483647   539450    117 |  0.172 % |
4857.24/4858.80	c |    539940 |   28478   163147   552284 | 2147483647   539860    117 |  0.172 % |
4863.94/4865.50	c |    540390 |   28478   163147   552284 | 2147483647   540310    117 |  0.172 % |
4870.93/4872.54	c |    540883 |   28478   163147   552284 | 2147483647   540803    117 |  0.172 % |
4877.13/4878.78	c |    541426 |   28478   163147   552284 | 2147483647   541346    117 |  0.172 % |
4882.83/4884.44	c |    542022 |   28478   163147   552284 | 2147483647   541942    117 |  0.172 % |
4889.23/4890.85	c |    542677 |   28478   163147   552284 | 2147483647   542597    117 |  0.172 % |
4897.32/4898.92	c |    543398 |   28478   163147   552284 | 2147483647   543318    117 |  0.172 % |
4906.83/4908.40	c |    544190 |   28478   163147   552284 | 2147483647   544110    117 |  0.172 % |
4918.72/4920.33	c |    545063 |   28478   163147   552284 | 2147483647   544983    117 |  0.172 % |
4930.91/4932.57	c |    546022 |   28478   163147   552284 | 2147483647   545942    117 |  0.172 % |
4944.71/4946.36	c |    547076 |   28478   163147   552284 | 2147483647   546996    117 |  0.172 % |
4954.40/4956.07	c |    548234 |   28478   163147   552284 | 2147483647   548154    117 |  0.172 % |
4964.60/4966.28	c |    549508 |   28478   163147   552284 | 2147483647   549428    117 |  0.172 % |
4983.30/4984.97	c |    550909 |   28478   163147   552284 | 2147483647   550829    117 |  0.172 % |
5003.40/5005.00	c |    552449 |   28478   163147   552284 | 2147483647   552369    117 |  0.172 % |
5021.59/5023.23	c |    554144 |   28478   163147   552284 | 2147483647   554064    117 |  0.172 % |
5044.88/5046.56	c |    556008 |   28478   163147   552284 | 2147483647   555928    117 |  0.172 % |
5070.27/5071.94	c |    558057 |   28478   163147   552284 | 2147483647   557977    117 |  0.172 % |
5095.67/5097.35	c |    560310 |   28478   163147   552284 | 2147483647   560230    118 |  0.172 % |
5127.86/5129.50	c |    562790 |   28478   163147   552284 | 2147483647   562710    118 |  0.172 % |
5162.75/5164.46	c |    565518 |   28478   163147   552284 | 2147483647   565438    118 |  0.172 % |
5199.93/5201.65	c |    568516 |   28478   163147   552284 | 2147483647   568436    118 |  0.172 % |
5242.93/5244.68	c |    571813 |   28478   163147   552284 | 2147483647   571733    118 |  0.172 % |
5273.72/5275.45	c |    575438 |   28478   163147   552284 | 2147483647   575358    117 |  0.172 % |
5320.81/5322.50	c |    579426 |   28478   163147   552284 | 2147483647   579346    117 |  0.172 % |
5378.19/5379.94	c |    583811 |   28478   163147   552284 | 2147483647   583731    118 |  0.172 % |
5416.38/5418.17	c |    588635 |   28478   163147   552284 | 2147483647   588555    117 |  0.172 % |
5481.86/5483.63	c |    593940 |   28478   163147   552284 | 2147483647   593860    117 |  0.172 % |
5482.76/5484.55	c |    594041 |   28478   163147   552284 | 2147483647   593961    117 |  0.172 % |
5484.06/5485.82	c |    594151 |   28478   163147   552284 | 2147483647   594071    117 |  0.172 % |
5485.66/5487.45	c |    594273 |   28478   163147   552284 | 2147483647   594193    117 |  0.172 % |
5487.46/5489.21	c |    594406 |   28478   163147   552284 | 2147483647   594326    117 |  0.172 % |
5489.06/5490.84	c |    594554 |   28478   163147   552284 | 2147483647   594474    117 |  0.172 % |
5490.36/5492.14	c |    594714 |   28478   163147   552284 | 2147483647   594634    117 |  0.172 % |
5493.06/5494.90	c |    594890 |   28478   163147   552284 | 2147483647   594810    117 |  0.172 % |
5496.06/5497.89	c |    595084 |   28478   163147   552284 | 2147483647   595004    117 |  0.172 % |
5499.95/5501.73	c |    595297 |   28478   163147   552284 | 2147483647   595217    117 |  0.172 % |
5502.56/5504.36	c |    595530 |   28478   163147   552284 | 2147483647   595450    117 |  0.172 % |
5504.86/5506.63	c |    595787 |   28478   163147   552284 | 2147483647   595707    117 |  0.172 % |
5508.55/5510.31	c |    596069 |   28478   163147   552284 | 2147483647   595989    117 |  0.172 % |
5511.95/5513.73	c |    596379 |   28478   163147   552284 | 2147483647   596299    117 |  0.172 % |
5515.95/5517.78	c |    596718 |   28478   163147   552284 | 2147483647   596638    117 |  0.172 % |
5522.45/5524.29	c |    597090 |   28478   163147   552284 | 2147483647   597010    117 |  0.172 % |
5528.24/5530.07	c |    597499 |   28478   163147   552284 | 2147483647   597419    117 |  0.172 % |
5535.95/5537.70	c |    597948 |   28478   163147   552284 | 2147483647   597868    117 |  0.172 % |
5542.34/5544.17	c |    598442 |   28478   163147   552284 | 2147483647   598362    118 |  0.172 % |
5550.04/5551.89	c |    598984 |   28478   163147   552284 | 2147483647   598904    118 |  0.172 % |
5559.94/5561.72	c |    599580 |   28478   163147   552284 | 2147483647   599500    118 |  0.172 % |
5569.83/5571.66	c |    600235 |   28478   163147   552284 | 2147483647   600155    118 |  0.172 % |
5580.03/5581.86	c |    600957 |   28478   163147   552284 | 2147483647   600877    118 |  0.172 % |
5589.82/5591.65	c |    601749 |   28478   163147   552284 | 2147483647   601669    117 |  0.172 % |
5600.92/5602.70	c |    602622 |   28478   163147   552284 | 2147483647   602542    118 |  0.172 % |
5613.72/5615.57	c |    603580 |   28478   163147   552284 | 2147483647   603500    118 |  0.172 % |
5628.42/5630.23	c |    604633 |   28478   163147   552284 | 2147483647   604553    118 |  0.172 % |
5645.71/5647.53	c |    605791 |   28478   163147   552284 | 2147483647   605711    118 |  0.172 % |
5663.11/5664.96	c |    607065 |   28478   163147   552284 | 2147483647   606985    118 |  0.172 % |
5682.40/5684.20	c |    608466 |   28478   163147   552284 | 2147483647   608386    118 |  0.172 % |
5706.19/5708.03	c |    610007 |   28478   163147   552284 | 2147483647   609927    118 |  0.172 % |
5727.09/5728.99	c |    611701 |   28478   163147   552284 | 2147483647   611621    118 |  0.172 % |
5743.99/5745.87	c |    613565 |   28478   163147   552284 | 2147483647   613485    118 |  0.172 % |
5776.17/5778.08	c |    615616 |   28478   163147   552284 | 2147483647   615536    118 |  0.172 % |
5806.87/5808.78	c |    617869 |   28478   163147   552284 | 2147483647   617789    118 |  0.172 % |
5841.85/5843.72	c |    620347 |   28478   163147   552284 | 2147483647   620267    118 |  0.172 % |
5877.05/5878.95	c |    623072 |   28478   163147   552284 | 2147483647   622992    118 |  0.172 % |
5915.93/5917.82	c |    626069 |   28478   163147   552284 | 2147483647   625989    118 |  0.172 % |
5964.32/5966.26	c |    629365 |   28478   163147   552284 | 2147483647   629285    119 |  0.172 % |
6010.01/6011.91	c |    632990 |   28478   163147   552284 | 2147483647   632910    119 |  0.172 % |
6068.99/6070.97	c |    636977 |   28478   163147   552284 | 2147483647   636897    119 |  0.172 % |
6133.07/6135.03	c |    641362 |   28478   163147   552284 | 2147483647   641282    119 |  0.172 % |
6197.56/6199.54	c |    646185 |   28478   163147   552284 | 2147483647   646105    119 |  0.172 % |
6270.03/6272.05	c |    651490 |   28478   163147   552284 | 2147483647   651410    120 |  0.172 % |
6353.81/6355.87	c |    657325 |   28478   163147   552284 | 2147483647   657245    120 |  0.172 % |
6354.21/6356.23	c |    657425 |   28478   163147   552284 | 2147483647   657345    120 |  0.172 % |
6355.51/6357.59	c |    657535 |   28478   163147   552284 | 2147483647   657455    120 |  0.172 % |
6357.61/6359.61	c |    657657 |   28478   163147   552284 | 2147483647   657577    120 |  0.172 % |
6360.51/6362.58	c |    657791 |   28478   163147   552284 | 2147483647   657711    120 |  0.172 % |
6362.71/6364.74	c |    657938 |   28478   163147   552284 | 2147483647   657858    120 |  0.172 % |
6365.51/6367.52	c |    658098 |   28478   163147   552284 | 2147483647   658018    120 |  0.172 % |
6367.71/6369.74	c |    658274 |   28478   163147   552284 | 2147483647   658194    120 |  0.172 % |
6370.51/6372.57	c |    658467 |   28478   163147   552284 | 2147483647   658387    120 |  0.172 % |
6373.51/6375.51	c |    658679 |   28478   163147   552284 | 2147483647   658599    120 |  0.172 % |
6377.00/6379.01	c |    658912 |   28478   163147   552284 | 2147483647   658832    120 |  0.172 % |
6381.31/6383.31	c |    659168 |   28478   163147   552284 | 2147483647   659088    120 |  0.172 % |
6384.50/6386.57	c |    659449 |   28478   163147   552284 | 2147483647   659369    120 |  0.172 % |
6387.90/6389.97	c |    659758 |   28478   163147   552284 | 2147483647   659678    120 |  0.172 % |
6391.89/6393.91	c |    660098 |   28478   163147   552284 | 2147483647   660018    120 |  0.172 % |
6396.49/6398.58	c |    660471 |   28478   163147   552284 | 2147483647   660391    120 |  0.172 % |
6403.39/6405.49	c |    660881 |   28478   163147   552284 | 2147483647   660801    120 |  0.172 % |
6409.79/6411.87	c |    661331 |   28478   163147   552284 | 2147483647   661251    120 |  0.172 % |
6415.50/6417.51	c |    661824 |   28478   163147   552284 | 2147483647   661744    120 |  0.172 % |
6423.00/6425.04	c |    662366 |   28478   163147   552284 | 2147483647   662286    120 |  0.172 % |
6430.79/6432.85	c |    662963 |   28478   163147   552284 | 2147483647   662883    120 |  0.172 % |
6441.28/6443.39	c |    663619 |   28478   163147   552284 | 2147483647   663539    120 |  0.172 % |
6450.58/6452.69	c |    664339 |   28478   163147   552284 | 2147483647   664259    120 |  0.172 % |
6462.48/6464.58	c |    665131 |   28478   163147   552284 | 2147483647   665051    120 |  0.172 % |
6474.58/6476.64	c |    666003 |   28478   163147   552284 | 2147483647   665923    120 |  0.172 % |
6488.98/6491.10	c |    666962 |   28478   163147   552284 | 2147483647   666882    120 |  0.172 % |
6504.37/6506.48	c |    668015 |   28478   163147   552284 | 2147483647   667935    120 |  0.172 % |
6521.66/6523.79	c |    669174 |   28478   163147   552284 | 2147483647   669094    120 |  0.172 % |
6538.25/6540.33	c |    670448 |   28478   163147   552284 | 2147483647   670368    120 |  0.172 % |
6555.56/6557.69	c |    671848 |   28478   163147   552284 | 2147483647   671768    120 |  0.172 % |
6574.65/6576.79	c |    673389 |   28478   163147   552284 | 2147483647   673309    120 |  0.172 % |
6599.74/6601.80	c |    675083 |   28478   163147   552284 | 2147483647   675003    120 |  0.172 % |
6624.64/6626.78	c |    676947 |   28478   163147   552284 | 2147483647   676867    120 |  0.172 % |
6651.53/6653.61	c |    678996 |   28478   163147   552284 | 2147483647   678916    120 |  0.172 % |
6683.72/6685.85	c |    681249 |   28478   163147   552284 | 2147483647   681169    120 |  0.172 % |
6719.91/6722.09	c |    683727 |   28478   163147   552284 | 2147483647   683647    120 |  0.172 % |
6749.50/6751.62	c |    686453 |   28478   163147   552284 | 2147483647   686373    120 |  0.172 % |
6790.59/6792.73	c |    689451 |   28478   163147   552284 | 2147483647   689371    120 |  0.172 % |
6833.47/6835.67	c |    692747 |   28478   163147   552284 | 2147483647   692667    120 |  0.172 % |
6865.36/6867.52	c |    696372 |   28478   163147   552284 | 2147483647   696292    120 |  0.172 % |
6921.85/6924.08	c |    700361 |   28478   163147   552284 | 2147483647   700281    120 |  0.172 % |
6968.63/6970.89	c |    704747 |   28478   163147   552284 | 2147483647   704667    119 |  0.172 % |
7036.52/7038.70	c |    709572 |   28478   163147   552284 | 2147483647   709492    120 |  0.172 % |
7112.00/7114.28	c |    714878 |   28478   163147   552284 | 2147483647   714798    120 |  0.172 % |
7179.98/7182.24	c |    720714 |   28478   163147   552284 |   719921   720634    120 |  0.172 % |
7270.15/7272.47	c |    727132 |   28478   163147   552284 |   719921   633779    117 |  0.172 % |
7271.45/7273.77	c |    727233 |   28478   163147   552284 |   719921   633880    117 |  0.172 % |
7272.95/7275.21	c |    727344 |   28478   163147   552284 |   719921   633991    117 |  0.172 % |
7273.95/7276.28	c |    727466 |   28478   163147   552284 |   719921   634113    117 |  0.172 % |
7276.55/7278.82	c |    727599 |   28478   163147   552284 |   719921   634246    117 |  0.172 % |
7278.75/7281.00	c |    727745 |   28478   163147   552284 |   719921   634392    117 |  0.172 % |
7281.54/7283.85	c |    727906 |   28478   163147   552284 |   719921   634553    117 |  0.172 % |
7281.64/7283.98	c |    728082 |   28478   163147   552284 |   719921   634729    117 |  0.172 % |
7282.95/7285.27	c |    728276 |   28478   163147   552284 |   719921   634923    117 |  0.172 % |
7285.54/7287.87	c |    728488 |   28478   163147   552284 |   719921   635135    117 |  0.172 % |
7290.54/7292.88	c |    728721 |   28478   163147   552284 |   719921   635368    117 |  0.172 % |
7294.44/7296.79	c |    728978 |   28478   163147   552284 |   719921   635625    117 |  0.172 % |
7299.74/7302.02	c |    729259 |   28478   163147   552284 |   719921   635906    117 |  0.172 % |
7305.04/7307.36	c |    729568 |   28478   163147   552284 |   719921   636215    117 |  0.172 % |
7309.24/7311.57	c |    729907 |   28478   163147   552284 |   719921   636554    117 |  0.172 % |
7315.23/7317.54	c |    730279 |   28478   163147   552284 | 2147483647   636926    117 |  0.172 % |
7318.63/7320.90	c |    730688 |   28478   163147   552284 | 2147483647   637335    117 |  0.172 % |
7325.23/7327.51	c |    731138 |   28478   163147   552284 | 2147483647   637785    117 |  0.172 % |
7332.74/7335.02	c |    731631 |   28478   163147   552284 | 2147483647   638278    117 |  0.172 % |
7340.83/7343.10	c |    732173 |   28478   163147   552284 | 2147483647   638820    117 |  0.172 % |
7347.53/7349.86	c |    732770 |   28478   163147   552284 | 2147483647   639417    117 |  0.172 % |
7351.63/7353.93	c |    733426 |   28478   163147   552284 | 2147483647   640073    117 |  0.172 % |
7360.53/7362.89	c |    734147 |   28478   163147   552284 | 2147483647   640794    117 |  0.172 % |
7372.22/7374.53	c |    734940 |   28478   163147   552284 | 2147483647   641587    117 |  0.172 % |
7386.12/7388.49	c |    735812 |   28478   163147   552284 | 2147483647   642459    117 |  0.172 % |
7399.91/7402.21	c |    736771 |   28478   163147   552284 | 2147483647   643418    117 |  0.172 % |
7417.01/7419.35	c |    737825 |   28478   163147   552284 | 2147483647   644472    117 |  0.172 % |
7433.30/7435.67	c |    738984 |   28478   163147   552284 | 2147483647   645631    118 |  0.172 % |
7452.70/7455.06	c |    740257 |   28478   163147   552284 | 2147483647   646904    118 |  0.172 % |
7471.99/7474.34	c |    741657 |   28478   163147   552284 | 2147483647   648304    118 |  0.172 % |
7491.39/7493.70	c |    743197 |   28478   163147   552284 | 2147483647   649844    118 |  0.172 % |
7513.88/7516.26	c |    744891 |   28478   163147   552284 | 2147483647   651538    118 |  0.172 % |
7541.77/7544.14	c |    746756 |   28478   163147   552284 | 2147483647   653403    118 |  0.172 % |
7567.87/7570.24	c |    748805 |   28478   163147   552284 | 2147483647   655452    118 |  0.172 % |
7593.66/7596.06	c |    751061 |   28478   163147   552284 | 2147483647   657708    118 |  0.172 % |
7630.55/7632.98	c |    753540 |   28478   163147   552284 | 2147483647   660187    118 |  0.172 % |
7662.54/7664.98	c |    756266 |   28478   163147   552284 | 2147483647   662913    118 |  0.172 % |
7704.83/7707.26	c |    759264 |   28478   163147   552284 | 2147483647   665911    118 |  0.172 % |
7755.11/7757.51	c |    762561 |   28478   163147   552284 | 2147483647   669208    118 |  0.172 % |
7803.10/7805.50	c |    766186 |   28478   163147   552284 | 2147483647   672833    118 |  0.172 % |
7841.59/7844.04	c |    770175 |   28478   163147   552284 | 2147483647   676822    118 |  0.172 % |
7897.37/7899.83	c |    774560 |   28478   163147   552284 | 2147483647   681207    118 |  0.172 % |
7951.35/7953.80	c |    779383 |   28478   163147   552284 | 2147483647   686030    117 |  0.172 % |
8031.23/8033.72	c |    784688 |   28478   163147   552284 | 2147483647   691335    118 |  0.172 % |
8118.71/8121.26	c |    790524 |   28478   163147   552284 | 2147483647   697171    118 |  0.172 % |
8217.07/8219.60	c |    796943 |   28478   163147   552284 | 2147483647   703590    118 |  0.172 % |
8325.46/8328.00	c |    804003 |   28478   163147   552284 | 2147483647   710650    119 |  0.172 % |
8326.95/8329.53	c |    804105 |   28478   163147   552284 | 2147483647   710752    119 |  0.172 % |
8328.25/8330.84	c |    804215 |   28478   163147   552284 | 2147483647   710862    119 |  0.172 % |
8330.55/8333.12	c |    804336 |   28478   163147   552284 | 2147483647   710983    119 |  0.172 % |
8333.35/8335.90	c |    804470 |   28478   163147   552284 | 2147483647   711117    119 |  0.172 % |
8335.75/8338.34	c |    804617 |   28478   163147   552284 | 2147483647   711264    119 |  0.172 % |
8338.44/8341.07	c |    804777 |   28478   163147   552284 | 2147483647   711424    119 |  0.172 % |
8340.85/8343.40	c |    804954 |   28478   163147   552284 | 2147483647   711601    119 |  0.172 % |
8343.74/8346.31	c |    805147 |   28478   163147   552284 | 2147483647   711794    119 |  0.172 % |
8346.64/8349.28	c |    805359 |   28478   163147   552284 | 2147483647   712006    119 |  0.172 % |
8350.04/8352.68	c |    805592 |   28478   163147   552284 | 2147483647   712239    119 |  0.172 % |
8354.24/8356.87	c |    805848 |   28478   163147   552284 | 2147483647   712495    119 |  0.172 % |
8357.94/8360.56	c |    806129 |   28478   163147   552284 | 2147483647   712776    119 |  0.172 % |
8362.24/8364.87	c |    806440 |   28478   163147   552284 | 2147483647   713087    119 |  0.172 % |
8367.44/8370.04	c |    806779 |   28478   163147   552284 | 2147483647   713426    119 |  0.172 % |
8373.34/8375.96	c |    807152 |   28478   163147   552284 | 2147483647   713799    119 |  0.172 % |
8380.23/8382.87	c |    807561 |   28478   163147   552284 | 2147483647   714208    119 |  0.172 % |
8387.63/8390.22	c |    808010 |   28478   163147   552284 | 2147483647   714657    119 |  0.172 % |
8394.03/8396.68	c |    808503 |   28478   163147   552284 | 2147483647   715150    119 |  0.172 % |
8401.73/8404.33	c |    809046 |   28478   163147   552284 | 2147483647   715693    119 |  0.172 % |
8413.12/8415.70	c |    809643 |   28477   163142   552270 | 2147483647   716286    119 |  0.175 % |
8425.52/8428.16	c |    810298 |   28477   163142   552270 | 2147483647   716941    119 |  0.175 % |
8433.72/8436.36	c |    811018 |   28477   163142   552270 | 2147483647   717661    119 |  0.175 % |
8443.31/8445.98	c |    811811 |   28477   163142   552270 | 2147483647   718454    119 |  0.175 % |
8458.31/8460.93	c |    812683 |   28477   163142   552270 | 2147483647   719326    119 |  0.175 % |
8469.80/8472.43	c |    813642 |   28477   163142   552270 | 2147483647   720285    119 |  0.175 % |
8483.00/8485.66	c |    814695 |   28477   163142   552270 | 2147483647   721338    119 |  0.175 % |
8498.80/8501.49	c |    815854 |   28477   163142   552270 | 2147483647   722497    119 |  0.175 % |
8518.59/8521.24	c |    817129 |   28477   163142   552270 | 2147483647   723772    119 |  0.175 % |
8539.89/8542.57	c |    818529 |   28477   163142   552270 | 2147483647   725172    119 |  0.175 % |
8564.97/8567.62	c |    820070 |   28477   163142   552270 |   726643   726713    119 |  0.175 % |
8593.67/8596.36	c |    821765 |   28477   163142   552270 |   726643   650411    117 |  0.175 % |
8619.57/8622.20	c |    823629 |   28477   163142   552270 |   726643   652275    117 |  0.175 % |
8646.96/8649.66	c |    825681 |   28477   163142   552270 |   726643   654327    117 |  0.175 % |
8681.15/8683.87	c |    827935 |   28477   163142   552270 |   726643   656581    118 |  0.175 % |
8719.94/8722.69	c |    830413 |   28477   163142   552270 | 2147483647   659059    118 |  0.175 % |
8761.22/8763.96	c |    833138 |   28477   163142   552270 | 2147483647   661784    118 |  0.175 % |
8805.61/8808.30	c |    836135 |   28477   163142   552270 | 2147483647   664781    118 |  0.175 % |
8846.80/8849.57	c |    839431 |   28477   163142   552270 | 2147483647   668077    118 |  0.175 % |
8895.89/8898.63	c |    843057 |   28477   163142   552270 | 2147483647   671703    118 |  0.175 % |
8949.47/8952.25	c |    847046 |   28477   163142   552270 | 2147483647   675692    119 |  0.175 % |
9007.55/9010.39	c |    851432 |   28477   163142   552270 | 2147483647   680078    118 |  0.175 % |
9056.54/9059.38	c |    856256 |   28477   163142   552270 | 2147483647   684902    118 |  0.175 % |
9101.63/9104.45	c |    861561 |   28477   163142   552270 | 2147483647   690207    118 |  0.175 % |
9189.11/9191.92	c |    867397 |   28477   163142   552270 | 2147483647   696043    118 |  0.175 % |
9285.88/9288.76	c |    873815 |   28477   163142   552270 | 2147483647   702461    118 |  0.175 % |
9397.15/9400.08	c |    880875 |   28477   163142   552270 | 2147483647   709521    119 |  0.175 % |
9508.72/9511.67	c |    888640 |   28477   163142   552270 | 2147483647   717286    119 |  0.175 % |
9510.31/9513.24	c |    888740 |   28477   163142   552270 | 2147483647   717386    119 |  0.175 % |
9512.41/9515.35	c |    888850 |   28477   163142   552270 | 2147483647   717496    119 |  0.175 % |
9513.41/9516.37	c |    888974 |   28477   163142   552270 | 2147483647   717620    119 |  0.175 % |
9515.11/9518.00	c |    889108 |   28477   163142   552270 | 2147483647   717754    119 |  0.175 % |
9517.51/9520.49	c |    889254 |   28477   163142   552270 | 2147483647   717900    119 |  0.175 % |
9520.01/9522.93	c |    889414 |   28477   163142   552270 | 2147483647   718060    119 |  0.175 % |
9523.41/9526.31	c |    889590 |   28477   163142   552270 | 2147483647   718236    119 |  0.175 % |
9526.81/9529.75	c |    889784 |   28477   163142   552270 | 2147483647   718430    119 |  0.175 % |
9531.01/9533.93	c |    889997 |   28477   163142   552270 | 2147483647   718643    119 |  0.175 % |
9535.80/9538.73	c |    890231 |   28477   163142   552270 | 2147483647   718877    119 |  0.175 % |
9539.80/9542.72	c |    890488 |   28477   163142   552270 | 2147483647   719134    119 |  0.175 % |
9545.20/9548.13	c |    890769 |   28477   163142   552270 | 2147483647   719415    119 |  0.175 % |
9550.60/9553.60	c |    891080 |   28477   163142   552270 | 2147483647   719726    119 |  0.175 % |
9558.30/9561.23	c |    891419 |   28477   163142   552270 | 2147483647   720065    119 |  0.175 % |
9564.10/9567.08	c |    891791 |   28477   163142   552270 | 2147483647   720437    119 |  0.175 % |
9570.89/9573.80	c |    892201 |   28477   163142   552270 | 2147483647   720847    119 |  0.175 % |
9579.29/9582.20	c |    892650 |   28477   163142   552270 | 2147483647   721296    119 |  0.175 % |
9587.79/9590.72	c |    893144 |   28477   163142   552270 | 2147483647   721790    119 |  0.175 % |
9597.08/9600.00	c |    893686 |   28477   163142   552270 | 2147483647   722332    120 |  0.175 % |
9604.68/9607.69	c |    894283 |   28477   163142   552270 | 2147483647   722929    120 |  0.175 % |
9613.78/9616.71	c |    894938 |   28477   163142   552270 | 2147483647   723584    119 |  0.175 % |
9625.58/9628.56	c |    895658 |   28477   163142   552270 | 2147483647   724304    119 |  0.175 % |
9638.18/9641.13	c |    896450 |   28477   163142   552270 | 2147483647   725096    120 |  0.175 % |
9650.08/9653.00	c |    897322 |   28477   163142   552270 | 2147483647   725968    120 |  0.175 % |
9661.27/9664.29	c |    898280 |   28477   163142   552270 | 2147483647   726926    120 |  0.175 % |
9679.06/9682.06	c |    899334 |   28477   163142   552270 | 2147483647   727980    120 |  0.175 % |
9694.16/9697.12	c |    900492 |   28477   163142   552270 |   728646   729138    120 |  0.175 % |
9715.56/9718.51	c |    901765 |   28477   163142   552270 |   728646   649016    116 |  0.175 % |
9735.45/9738.44	c |    903165 |   28477   163142   552270 |   728646   650416    116 |  0.175 % |
9754.75/9757.70	c |    904706 |   28477   163142   552270 |   728646   651957    116 |  0.175 % |
9777.24/9780.27	c |    906400 |   28477   163142   552270 |   728646   653651    116 |  0.175 % |
9801.73/9804.75	c |    908264 |   28477   163142   552270 |   728646   655515    116 |  0.175 % |
9828.62/9831.62	c |    910313 |   28477   163142   552270 | 2147483647   657564    116 |  0.175 % |
9856.92/9859.94	c |    912567 |   28477   163142   552270 | 2147483647   659818    117 |  0.175 % |
9886.11/9889.16	c |    915045 |   28477   163142   552270 | 2147483647   662296    117 |  0.175 % |
9922.40/9925.46	c |    917770 |   28477   163142   552270 | 2147483647   665021    117 |  0.175 % |
9958.99/9962.08	c |    920769 |   28477   163142   552270 |   667252   668020    117 |  0.175 % |

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-1837302-1242867038/watcher-1837302-1242867038 -o /tmp/evaluation-result-1837302-1242867038/solver-1837302-1242867038 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837302-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.92 0.98 0.94 2/64 15561
/proc/meminfo: memFree=1790048/2055920 swapFree=4180316/4192956
[pid=15561] ppid=15559 vsize=5356 CPUtime=0
/proc/15561/stat : 15561 (SatELiteGTI) S 15559 15561 15524 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314737884 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15561/statm: 1339 237 197 169 0 50 0

[startup+0.0873129 s]
/proc/loadavg: 0.92 0.98 0.94 2/64 15561
/proc/meminfo: memFree=1790048/2055920 swapFree=4180316/4192956
[pid=15561] ppid=15559 vsize=5356 CPUtime=0
/proc/15561/stat : 15561 (SatELiteGTI) S 15559 15561 15524 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314737884 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15561/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101314 s]
/proc/loadavg: 0.92 0.98 0.94 2/64 15561
/proc/meminfo: memFree=1790048/2055920 swapFree=4180316/4192956
[pid=15561] ppid=15559 vsize=5356 CPUtime=0
/proc/15561/stat : 15561 (SatELiteGTI) S 15559 15561 15524 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314737884 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15561/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301334 s]
/proc/loadavg: 0.92 0.98 0.94 2/64 15561
/proc/meminfo: memFree=1790048/2055920 swapFree=4180316/4192956
[pid=15561] ppid=15559 vsize=5356 CPUtime=0
/proc/15561/stat : 15561 (SatELiteGTI) S 15559 15561 15524 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314737884 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15561/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701374 s]
/proc/loadavg: 0.92 0.98 0.94 2/64 15561
/proc/meminfo: memFree=1790048/2055920 swapFree=4180316/4192956
[pid=15561] ppid=15559 vsize=5356 CPUtime=0
/proc/15561/stat : 15561 (SatELiteGTI) S 15559 15561 15524 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314737884 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15561/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50147 s]
/proc/loadavg: 0.93 0.98 0.94 2/66 15566
/proc/meminfo: memFree=1750416/2055920 swapFree=4180316/4192956
[pid=15561] ppid=15559 vsize=5356 CPUtime=1.43
/proc/15561/stat : 15561 (SatELiteGTI) S 15559 15561 15524 0 -1 4194304 336 10134 0 0 0 0 136 7 16 0 1 0 314737884 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15561/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 5356

[startup+3.10261 s]
/proc/loadavg: 0.93 0.98 0.94 2/66 15567
/proc/meminfo: memFree=1770640/2055920 swapFree=4180316/4192956
[pid=15561] ppid=15559 vsize=5356 CPUtime=1.43
/proc/15561/stat : 15561 (SatELiteGTI) S 15559 15561 15524 0 -1 4194304 336 10134 0 0 0 0 136 7 16 0 1 0 314737884 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15561/statm: 1339 239 197 169 0 50 0
[pid=15567] ppid=15561 vsize=12872 CPUtime=1.63
/proc/15567/stat : 15567 (minisat_static) R 15561 15561 15524 0 -1 4194304 2981 0 0 0 162 1 0 0 25 0 1 0 314738030 13180928 2967 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/15567/statm: 3218 2967 77 171 0 3045 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 18228

[startup+6.30193 s]
/proc/loadavg: 0.93 0.98 0.94 2/66 15567
/proc/meminfo: memFree=1769832/2055920 swapFree=4180316/4192956
[pid=15561] ppid=15559 vsize=5356 CPUtime=1.43
/proc/15561/stat : 15561 (SatELiteGTI) S 15559 15561 15524 0 -1 4194304 336 10134 0 0 0 0 136 7 16 0 1 0 314737884 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15561/statm: 1339 239 197 169 0 50 0
[pid=15567] ppid=15561 vsize=13400 CPUtime=4.83
/proc/15567/stat : 15567 (minisat_static) R 15561 15561 15524 0 -1 4194304 3126 0 0 0 482 1 0 0 25 0 1 0 314738030 13721600 3112 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/15567/statm: 3350 3112 77 171 0 3177 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 18756

[startup+12.7016 s]
/proc/loadavg: 0.94 0.98 0.94 2/66 15567
/proc/meminfo: memFree=1769208/2055920 swapFree=4180316/4192956
[pid=15561] ppid=15559 vsize=5356 CPUtime=1.43
/proc/15561/stat : 15561 (SatELiteGTI) S 15559 15561 15524 0 -1 4194304 336 10134 0 0 0 0 136 7 16 0 1 0 314737884 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15561/statm: 1339 239 197 169 0 50 0
[pid=15567] ppid=15561 vsize=14060 CPUtime=11.23
/proc/15567/stat : 15567 (minisat_static) R 15561 15561 15524 0 -1 4194304 3295 0 0 0 1121 2 0 0 25 0 1 0 314738030 14397440 3281 1992294400 134512640 135215339 4294956240 18446744073709551615 134527419 0 0 4096 3 0 0 0 17 1 0 0
/proc/15567/statm: 3515 3281 77 171 0 3342 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 19416

[startup+25.5018 s]
/proc/loadavg: 0.95 0.98 0.94 2/66 15567
/proc/meminfo: memFree=1768056/2055920 swapFree=4180316/4192956
[pid=15561] ppid=15559 vsize=5356 CPUtime=1.43
/proc/15561/stat : 15561 (SatELiteGTI) S 15559 15561 15524 0 -1 4194304 336 10134 0 0 0 0 136 7 16 0 1 0 314737884 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15561/statm: 1339 239 197 169 0 50 0
[pid=15567] ppid=15561 vsize=15248 CPUtime=24.03
/proc/15567/stat : 15567 (minisat_static) R 15561 15561 15524 0 -1 4194304 3572 0 0 0 2400 3 0 0 25 0 1 0 314738030 15613952 3558 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/15567/statm: 3812 3558 77 171 0 3639 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 20604

[startup+51.1014 s]
/proc/loadavg: 0.97 0.98 0.94 2/66 15567
/proc/meminfo: memFree=1766264/2055920 swapFree=4180316/4192956
[pid=15561] ppid=15559 vsize=5356 CPUtime=1.43
/proc/15561/stat : 15561 (SatELiteGTI) S 15559 15561 15524 0 -1 4194304 336 10134 0 0 0 0 136 7 16 0 1 0 314737884 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15561/statm: 1339 239 197 169 0 50 0
[pid=15567] ppid=15561 vsize=17096 CPUtime=49.62
/proc/15567/stat : 15567 (minisat_static) R 15561 15561 15524 0 -1 4194304 4042 0 0 0 4958 4 0 0 25 0 1 0 314738030 17506304 4028 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15567/statm: 4274 4028 77 171 0 4101 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 22452

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.94 2/66 15567
/proc/meminfo: memFree=1762296/2055920 swapFree=4180316/4192956
[pid=15561] ppid=15559 vsize=5356 CPUtime=1.43
/proc/15561/stat : 15561 (SatELiteGTI) S 15559 15561 15524 0 -1 4194304 336 10134 0 0 0 0 136 7 16 0 1 0 314737884 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15561/statm: 1339 239 197 169 0 50 0
[pid=15567] ppid=15561 vsize=21076 CPUtime=100.81
/proc/15567/stat : 15567 (minisat_static) R 15561 15561 15524 0 -1 4194304 5015 0 0 0 10075 6 0 0 25 0 1 0 314738030 21581824 5001 1992294400 134512640 135215339 4294956240 18446744073709551615 134528866 0 0 4096 3 0 0 0 17 1 0 0
/proc/15567/statm: 5269 5001 77 171 0 5096 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 26432

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 15567
/proc/meminfo: memFree=1757880/2055920 swapFree=4180316/4192956
[pid=15561] ppid=15559 vsize=5356 CPUtime=1.43
/proc/15561/stat : 15561 (SatELiteGTI) S 15559 15561 15524 0 -1 4194304 336 10134 0 0 0 0 136 7 16 0 1 0 314737884 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15561/statm: 1339 239 197 169 0 50 0
[pid=15567] ppid=15561 vsize=25464 CPUtime=160.78
/proc/15567/stat : 15567 (minisat_static) R 15561 15561 15524 0 -1 4194304 6128 0 0 0 16070 8 0 0 25 0 1 0 314738030 26075136 6114 1992294400 134512640 135215339 4294956240 18446744073709551615 134532784 0 0 4096 3 0 0 0 17 1 0 0
/proc/15567/statm: 6366 6114 77 171 0 6193 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 30820

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 15567
/proc/meminfo: memFree=1753848/2055920 swapFree=4180316/4192956
[pid=15561] ppid=15559 vsize=5356 CPUtime=1.43
/proc/15561/stat : 15561 (SatELiteGTI) S 15559 15561 15524 0 -1 4194304 336 10134 0 0 0 0 136 7 16 0 1 0 314737884 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15561/statm: 1339 239 197 169 0 50 0
[pid=15567] ppid=15561 vsize=29292 CPUtime=220.77
/proc/15567/stat : 15567 (minisat_static) R 15561 15561 15524 0 -1 4194304 7092 0 0 0 22067 10 0 0 25 0 1 0 314738030 29995008 7078 1992294400 134512640 135215339 4294956240 18446744073709551615 134539287 0 0 4096 3 0 0 0 17 1 0 0
/proc/15567/statm: 7323 7078 77 171 0 7150 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 34648

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 15567
/proc/meminfo: memFree=1749624/2055920 swapFree=4180316/4192956
[pid=15561] ppid=15559 vsize=5356 CPUtime=1.43
/proc/15561/stat : 15561 (SatELiteGTI) S 15559 15561 15524 0 -1 4194304 336 10134 0 0 0 0 136 7 16 0 1 0 314737884 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15561/statm: 1339 239 197 169 0 50 0
[pid=15567] ppid=15561 vsize=33596 CPUtime=280.75
/proc/15567/stat : 15567 (minisat_static) R 15561 15561 15524 0 -1 4194304 8150 0 0 0 28064 11 0 0 25 0 1 0 314738030 34402304 8136 1992294400 134512640 135215339 4294956240 18446744073709551615 134532672 0 0 4096 3 0 0 0 17 1 0 0
/proc/15567/statm: 8399 8136 77 171 0 8226 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 38952

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 15567
/proc/meminfo: memFree=1745336/2055920 swapFree=4180316/4192956
[pid=15561] ppid=15559 vsize=5356 CPUtime=1.43
/proc/15561/stat : 15561 (SatELiteGTI) S 15559 15561 15524 0 -1 4194304 336 10134 0 0 0 0 136 7 16 0 1 0 314737884 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15561/statm: 1339 239 197 169 0 50 0
[pid=15567] ppid=15561 vsize=37696 CPUtime=340.73
/proc/15567/stat : 15567 (minisat_static) R 15561 15561 15524 0 -1 4194304 9202 0 0 0 34060 13 0 0 25 0 1 0 314738030 38600704 9188 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/15567/statm: 9424 9188 77 171 0 9251 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 43052

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 15567
/proc/meminfo: memFree=1741816/2055920 swapFree=4180316/4192956
[pid=15561] ppid=15559 vsize=5356 CPUtime=1.43
/proc/15561/stat : 15561 (SatELiteGTI) S 15559 15561 15524 0 -1 4194304 336 10134 0 0 0 0 136 7 16 0 1 0 314737884 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15561/statm: 1339 239 197 169 0 50 0
[pid=15567] ppid=15561 vsize=41380 CPUtime=400.71
/proc/15567/stat : 15567 (minisat_static) R 15561 15561 15524 0 -1 4194304 10085 0 0 0 40056 15 0 0 25 0 1 0 314738030 42373120 10071 1992294400 134512640 135215339 4294956240 18446744073709551615 134538249 0 0 4096 3 0 0 0 17 1 0 0
/proc/15567/statm: 10345 10071 77 171 0 10172 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 46736

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 15567
/proc/meminfo: memFree=1737464/2055920 swapFree=4180316/4192956
[pid=15561] ppid=15559 vsize=5356 CPUtime=1.43

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

/proc/15567/statm: 97219 96175 77 171 0 97046 0
Current children cumulated CPU time (s) 9399.45
Current children cumulated vsize (KiB) 394232

[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 16065
/proc/meminfo: memFree=1350264/2055920 swapFree=4180316/4192956
[pid=15561] ppid=15559 vsize=5356 CPUtime=1.43
/proc/15561/stat : 15561 (SatELiteGTI) S 15559 15561 15524 0 -1 4194304 336 10134 0 0 0 0 136 7 16 0 1 0 314737884 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15561/statm: 1339 239 197 169 0 50 0
[pid=15567] ppid=15561 vsize=388876 CPUtime=9458
/proc/15567/stat : 15567 (minisat_static) R 15561 15561 15524 0 -1 4194304 96190 0 0 0 945661 139 0 0 25 0 1 0 314738030 398209024 96176 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15567/statm: 97219 96176 77 171 0 97046 0
Current children cumulated CPU time (s) 9459.43
Current children cumulated vsize (KiB) 394232

[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 16065
/proc/meminfo: memFree=1350264/2055920 swapFree=4180316/4192956
[pid=15561] ppid=15559 vsize=5356 CPUtime=1.43
/proc/15561/stat : 15561 (SatELiteGTI) S 15559 15561 15524 0 -1 4194304 336 10134 0 0 0 0 136 7 16 0 1 0 314737884 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15561/statm: 1339 239 197 169 0 50 0
[pid=15567] ppid=15561 vsize=388876 CPUtime=9517.98
/proc/15567/stat : 15567 (minisat_static) R 15561 15561 15524 0 -1 4194304 96194 0 0 0 951659 139 0 0 25 0 1 0 314738030 398209024 96180 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/15567/statm: 97219 96180 77 171 0 97046 0
Current children cumulated CPU time (s) 9519.41
Current children cumulated vsize (KiB) 394232

[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 16065
/proc/meminfo: memFree=1350136/2055920 swapFree=4180316/4192956
[pid=15561] ppid=15559 vsize=5356 CPUtime=1.43
/proc/15561/stat : 15561 (SatELiteGTI) S 15559 15561 15524 0 -1 4194304 336 10134 0 0 0 0 136 7 16 0 1 0 314737884 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15561/statm: 1339 239 197 169 0 50 0
[pid=15567] ppid=15561 vsize=388996 CPUtime=9577.96
/proc/15567/stat : 15567 (minisat_static) R 15561 15561 15524 0 -1 4194304 96203 0 0 0 957657 139 0 0 25 0 1 0 314738030 398331904 96189 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/15567/statm: 97249 96189 77 171 0 97076 0
Current children cumulated CPU time (s) 9579.39
Current children cumulated vsize (KiB) 394352

[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 16065
/proc/meminfo: memFree=1349816/2055920 swapFree=4180316/4192956
[pid=15561] ppid=15559 vsize=5356 CPUtime=1.43
/proc/15561/stat : 15561 (SatELiteGTI) S 15559 15561 15524 0 -1 4194304 336 10134 0 0 0 0 136 7 16 0 1 0 314737884 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15561/statm: 1339 239 197 169 0 50 0
[pid=15567] ppid=15561 vsize=389260 CPUtime=9637.95
/proc/15567/stat : 15567 (minisat_static) R 15561 15561 15524 0 -1 4194304 96288 0 0 0 963655 140 0 0 25 0 1 0 314738030 398602240 96274 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/15567/statm: 97315 96274 77 171 0 97142 0
Current children cumulated CPU time (s) 9639.38
Current children cumulated vsize (KiB) 394616

[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 16065
/proc/meminfo: memFree=1347448/2055920 swapFree=4180316/4192956
[pid=15561] ppid=15559 vsize=5356 CPUtime=1.43
/proc/15561/stat : 15561 (SatELiteGTI) S 15559 15561 15524 0 -1 4194304 336 10134 0 0 0 0 136 7 16 0 1 0 314737884 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15561/statm: 1339 239 197 169 0 50 0
[pid=15567] ppid=15561 vsize=391504 CPUtime=9697.93
/proc/15567/stat : 15567 (minisat_static) R 15561 15561 15524 0 -1 4194304 96855 0 0 0 969652 141 0 0 25 0 1 0 314738030 400900096 96841 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15567/statm: 97876 96841 77 171 0 97703 0
Current children cumulated CPU time (s) 9699.36
Current children cumulated vsize (KiB) 396860

[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 16065
/proc/meminfo: memFree=1347448/2055920 swapFree=4180316/4192956
[pid=15561] ppid=15559 vsize=5356 CPUtime=1.43
/proc/15561/stat : 15561 (SatELiteGTI) S 15559 15561 15524 0 -1 4194304 336 10134 0 0 0 0 136 7 16 0 1 0 314737884 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15561/statm: 1339 239 197 169 0 50 0
[pid=15567] ppid=15561 vsize=391504 CPUtime=9757.91
/proc/15567/stat : 15567 (minisat_static) R 15561 15561 15524 0 -1 4194304 96859 0 0 0 975650 141 0 0 25 0 1 0 314738030 400900096 96845 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15567/statm: 97876 96845 77 171 0 97703 0
Current children cumulated CPU time (s) 9759.34
Current children cumulated vsize (KiB) 396860

[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 16065
/proc/meminfo: memFree=1347448/2055920 swapFree=4180316/4192956
[pid=15561] ppid=15559 vsize=5356 CPUtime=1.43
/proc/15561/stat : 15561 (SatELiteGTI) S 15559 15561 15524 0 -1 4194304 336 10134 0 0 0 0 136 7 16 0 1 0 314737884 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15561/statm: 1339 239 197 169 0 50 0
[pid=15567] ppid=15561 vsize=391504 CPUtime=9817.9
/proc/15567/stat : 15567 (minisat_static) R 15561 15561 15524 0 -1 4194304 96867 0 0 0 981649 141 0 0 25 0 1 0 314738030 400900096 96853 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/15567/statm: 97876 96853 77 171 0 97703 0
Current children cumulated CPU time (s) 9819.33
Current children cumulated vsize (KiB) 396860

[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 16065
/proc/meminfo: memFree=1347384/2055920 swapFree=4180316/4192956
[pid=15561] ppid=15559 vsize=5356 CPUtime=1.43
/proc/15561/stat : 15561 (SatELiteGTI) S 15559 15561 15524 0 -1 4194304 336 10134 0 0 0 0 136 7 16 0 1 0 314737884 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15561/statm: 1339 239 197 169 0 50 0
[pid=15567] ppid=15561 vsize=391504 CPUtime=9877.88
/proc/15567/stat : 15567 (minisat_static) R 15561 15561 15524 0 -1 4194304 96867 0 0 0 987647 141 0 0 25 0 1 0 314738030 400900096 96853 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15567/statm: 97876 96853 77 171 0 97703 0
Current children cumulated CPU time (s) 9879.31
Current children cumulated vsize (KiB) 396860

[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 16065
/proc/meminfo: memFree=1347384/2055920 swapFree=4180316/4192956
[pid=15561] ppid=15559 vsize=5356 CPUtime=1.43
/proc/15561/stat : 15561 (SatELiteGTI) S 15559 15561 15524 0 -1 4194304 336 10134 0 0 0 0 136 7 16 0 1 0 314737884 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15561/statm: 1339 239 197 169 0 50 0
[pid=15567] ppid=15561 vsize=391504 CPUtime=9937.86
/proc/15567/stat : 15567 (minisat_static) R 15561 15561 15524 0 -1 4194304 96867 0 0 0 993645 141 0 0 25 0 1 0 314738030 400900096 96853 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15567/statm: 97876 96853 77 171 0 97703 0
Current children cumulated CPU time (s) 9939.29
Current children cumulated vsize (KiB) 396860

[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 16065
/proc/meminfo: memFree=1347320/2055920 swapFree=4180316/4192956
[pid=15561] ppid=15559 vsize=5356 CPUtime=1.43
/proc/15561/stat : 15561 (SatELiteGTI) S 15559 15561 15524 0 -1 4194304 336 10134 0 0 0 0 136 7 16 0 1 0 314737884 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15561/statm: 1339 239 197 169 0 50 0
[pid=15567] ppid=15561 vsize=391504 CPUtime=9997.85
/proc/15567/stat : 15567 (minisat_static) R 15561 15561 15524 0 -1 4194304 96868 0 0 0 999644 141 0 0 25 0 1 0 314738030 400900096 96854 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/15567/statm: 97876 96854 77 171 0 97703 0
Current children cumulated CPU time (s) 9999.28
Current children cumulated vsize (KiB) 396860



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+10003.1 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 16065
/proc/meminfo: memFree=1347320/2055920 swapFree=4180316/4192956
[pid=15561] ppid=15559 vsize=5356 CPUtime=1.43
/proc/15561/stat : 15561 (SatELiteGTI) S 15559 15561 15524 0 -1 4194304 336 10134 0 0 0 0 136 7 16 0 1 0 314737884 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15561/statm: 1339 239 197 169 0 50 0
[pid=15567] ppid=15561 vsize=391504 CPUtime=9998.65
/proc/15567/stat : 15567 (minisat_static) R 15561 15561 15524 0 -1 4194304 96868 0 0 0 999724 141 0 0 25 0 1 0 314738030 400900096 96854 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15567/statm: 97876 96854 77 171 0 97703 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 396860

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

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

[startup+10003.1 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 16065
/proc/meminfo: memFree=1347320/2055920 swapFree=4180316/4192956
[pid=15561] ppid=15559 vsize=5356 CPUtime=1.43
/proc/15561/stat : 15561 (SatELiteGTI) S 15559 15561 15524 0 -1 4194304 336 10134 0 0 0 0 136 7 16 0 1 0 314737884 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15561/statm: 1339 239 197 169 0 50 0
[pid=15567] ppid=15561 vsize=391504 CPUtime=9998.65
/proc/15567/stat : 15567 (minisat_static) R 15561 15561 15524 0 -1 4194304 96868 0 0 0 999724 141 0 0 25 0 1 0 314738030 400900096 96854 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15567/statm: 97876 96854 77 171 0 97703 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 396860

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15561 and gives
#  childrusage.ru_utime.tv_sec=1
#  childrusage.ru_utime.tv_usec=371791
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=81987
# CPU time returned by wait4() is 1.45378
# 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.1
CPU time (s): 10000.1
CPU user time (s): 9998.6
CPU system time (s): 1.48
CPU usage (%): 99.9697
Max. virtual memory (cumulated for all children) (KiB): 396860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.37179
system time used= 0.081987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10470
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.9602 second user time and 24.2923 second system time

The end

Launcher Data 

Begin job on node12 at 2009-05-21 02:50:39
IDJOB=1837302
IDBENCH=70824
IDSOLVER=674
FILE ID=node12/1837302-1242867038
PBS_JOBID= 9328570
Free space on /tmp= 66216 MiB

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

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

MD5SUM BENCH= 5822cc7fe01f06c27406011d612b5e7d
RANDOM SEED=1829588682

node12.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.213
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.213
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:       1790592 kB
Buffers:         40128 kB
Cached:         186344 kB
SwapCached:       6768 kB
Active:          96356 kB
Inactive:       138264 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1790592 kB
SwapTotal:     4192956 kB
SwapFree:      4180316 kB
Dirty:            5792 kB
Writeback:           0 kB
Mapped:          13308 kB
Slab:            16884 kB
Committed_AS:  1183316 kB
PageTables:       1380 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= 66208 MiB
End job on node12 at 2009-05-21 05:37:24