Trace number 1837296

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

General information on the benchmark

NameAPPLICATIONS/crypto/
md5gen/gus-md5-16.cnf
MD5SUM3cb14750de2495357cf28b8ab826b9e3
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 variables70139
Number of clauses228634
Sum of the clauses size592458
Maximum clause length3
Minimum clause length1
Number of clauses of size 1129
Number of clauses of size 293186
Number of clauses of size 3135319
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.18	c ==============================================================================
0.00/0.18	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.18	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.18	c ==============================================================================
0.00/0.18	c |         0 |  227991   590788 |   68397       0        0     nan |  0.000 % |
1.09/1.18	c |         0 |  164401   556548 |      --       0       --      -- |     --   | -63590/-34240
1.09/1.18	c ==============================================================================
1.09/1.18	c Result  :   #vars: 28657   #clauses: 164401   #literals: 556548
1.09/1.18	c CPU time:   1.12583 s
1.09/1.18	c ==============================================================================
1.28/1.38	c This is MiniSat 2.0 beta
1.28/1.38	c WARNING: for repeatability, setting FPU to use double precision
1.28/1.38	c ============================[ Problem Statistics ]=============================
1.28/1.38	c |                                                                             |
1.28/1.38	c |  Number of variables:  28657                                                |
1.28/1.38	c |  Number of clauses:    164401                                               |
1.36/1.49	c |  Parsing time:         0.09         s                                       |
1.36/1.49	c ============================[ Search Statistics ]==============================
1.36/1.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.36/1.49	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.36/1.49	c ===============================================================================
1.36/1.49	c |         0 |   28657   164401   556548 |    54800        0    nan |  0.000 % |
1.36/1.53	c |       100 |   28656   164401   556548 |    54800       99      8 |  0.035 % |
1.36/1.66	c |       201 |   28655   164401   556548 |    54800      200     12 |  0.035 % |
1.36/1.68	c |       303 |   28655   164401   556548 |    54800      302     10 |  0.035 % |
1.36/1.70	c |       414 |   28655   164401   556548 |    54800      413     26 |  0.035 % |
1.36/1.71	c |       515 |   28655   164401   556548 |    54800      514     23 |  0.035 % |
1.36/1.72	c |       625 |   28655   164401   556548 |    54800      624     20 |  0.035 % |
1.36/1.73	c |       746 |   28655   164401   556548 |    54800      745     18 |  0.035 % |
1.36/2.07	c |       847 |   28655   164401   556548 |    54800      846     17 |  0.035 % |
2.07/2.14	c |       958 |   28647   164305   556254 |    54800      957     17 |  0.035 % |
2.07/2.16	c |      1079 |   28647   164305   556254 |    54800     1078     15 |  0.035 % |
2.56/2.65	c |      1212 |   28647   164305   556254 |    54800     1210     16 |  0.042 % |
2.56/2.69	c |      1312 |   28645   164276   556159 |    54800     1309     15 |  0.042 % |
4.16/4.27	c |      1422 |   28645   164276   556159 |    54800     1419     16 |  0.042 % |
4.26/4.30	c |      1543 |   28645   164276   556159 |    54800     1540     15 |  0.042 % |
4.76/4.88	c |      1677 |   28645   164276   556159 |    54800     1674     15 |  0.042 % |
5.26/5.30	c |      1824 |   28645   164276   556159 |    54800     1821     21 |  0.042 % |
5.56/5.70	c |      1924 |   28645   164276   556159 |    54800     1921     21 |  0.042 % |
5.86/5.98	c |      2035 |   28645   164276   556159 |    54800     2032     23 |  0.042 % |
6.76/6.89	c |      2157 |   28645   164276   556159 |    54800     2154     30 |  0.042 % |
7.46/7.55	c |      2291 |   28645   164276   556159 |    54800     2288     36 |  0.042 % |
8.46/8.54	c |      2437 |   28645   164276   556159 |    54800     2434     35 |  0.042 % |
9.16/9.29	c |      2597 |   28645   164276   556159 |    54800     2594     41 |  0.042 % |
9.36/9.43	c |      2697 |   28645   164276   556159 |    54800     2694     41 |  0.042 % |
9.96/10.01	c |      2807 |   28630   164271   556147 |    54800     2801     44 |  0.126 % |
10.46/10.54	c |      2928 |   28630   164271   556147 |    54800     2922     48 |  0.126 % |
10.96/11.01	c |      3062 |   28617   164094   555614 |    54800     3052     50 |  0.140 % |
11.06/11.18	c |      3210 |   28615   164094   555614 |    54800     3199     50 |  0.150 % |
11.45/11.50	c |      3371 |   28615   164094   555614 |    54800     3360     51 |  0.150 % |
11.85/11.97	c |      3548 |   28607   164038   555440 |    54800     3531     52 |  0.177 % |
12.25/12.35	c |      3649 |   28607   164038   555440 |    54800     3632     51 |  0.174 % |
12.75/12.81	c |      3760 |   28607   163988   555296 |    54800     3738     53 |  0.174 % |
13.06/13.13	c |      3881 |   28607   163988   555296 |    54800     3859     52 |  0.174 % |
13.65/13.75	c |      4014 |   28607   163988   555296 |    54800     3992     54 |  0.174 % |
14.35/14.40	c |      4161 |   28605   163963   555217 |    54800     4137     56 |  0.181 % |
14.75/14.88	c |      4322 |   28605   163963   555217 |    54800     4298     57 |  0.181 % |
15.95/16.09	c |      4499 |   28605   163963   555217 |    54800     4475     61 |  0.181 % |
16.36/16.45	c |      4693 |   28605   163963   555217 |    54800     4669     60 |  0.181 % |
17.05/17.11	c |      4794 |   28605   163963   555217 |    54800     4770     61 |  0.181 % |
17.47/17.56	c |      4904 |   28600   163940   555147 |    54800     4879     61 |  0.199 % |
17.96/18.03	c |      5025 |   28600   163940   555147 |    54800     5000     63 |  0.199 % |
18.56/18.61	c |      5159 |   28600   163940   555147 |    54800     5134     63 |  0.199 % |
19.26/19.33	c |      5306 |   28587   163868   554938 |    54800     5275     64 |  0.262 % |
20.16/20.30	c |      5467 |   28582   163868   554938 |    54800     5436     67 |  0.262 % |
21.26/21.34	c |      5644 |   28582   163826   554814 |    54800     5612     67 |  0.262 % |
22.96/23.04	c |      5837 |   28582   163826   554814 |    54800     5805     70 |  0.262 % |
25.06/25.13	c |      6049 |   28582   163826   554814 |    54800     6017     75 |  0.262 % |
25.46/25.56	c |      6149 |   28582   163826   554814 |    54800     6117     75 |  0.262 % |
25.76/25.82	c |      6260 |   28582   163826   554814 |    54800     6228     75 |  0.262 % |
26.46/26.55	c |      6382 |   28582   163826   554814 |    54800     6350     76 |  0.262 % |
27.56/27.66	c |      6515 |   28582   163826   554814 |    54800     6483     78 |  0.262 % |
28.05/28.14	c |      6662 |   28582   163826   554814 |    54800     6630     77 |  0.262 % |
28.85/28.93	c |      6825 |   28582   163826   554814 |    54800     6793     78 |  0.262 % |
30.05/30.18	c |      7002 |   28582   163826   554814 |    54800     6970     76 |  0.262 % |
31.15/31.26	c |      7196 |   28582   163826   554814 |    54800     7164     78 |  0.262 % |
32.25/32.37	c |      7409 |   28582   163826   554814 |    54800     7377     80 |  0.262 % |
32.55/32.69	c |      7642 |   28582   163826   554814 |    54800     7610     79 |  0.262 % |
33.25/33.38	c |      7743 |   28582   163826   554814 |    54800     7711     79 |  0.262 % |
33.65/33.72	c |      7854 |   28582   163826   554814 |    54800     7822     79 |  0.262 % |
34.05/34.14	c |      7976 |   28581   163821   554801 |    54800     7943     78 |  0.265 % |
34.84/34.91	c |      8110 |   28579   163821   554801 |    54800     8075     79 |  0.293 % |
35.24/35.34	c |      8257 |   28569   163821   554801 |    54800     8221     79 |  0.328 % |
35.84/35.99	c |      8417 |   28544   163704   554449 |    54800     8374     80 |  0.398 % |
36.84/36.90	c |      8593 |   28544   163704   554449 |    54800     8550     78 |  0.398 % |
38.04/38.17	c |      8787 |   28542   163596   554102 |    54800     8737     79 |  0.401 % |
39.84/39.92	c |      9000 |   28541   163587   554070 |    54800     8946     81 |  0.408 % |
42.45/42.55	c |      9234 |   28540   163569   554011 |    54800     9180     84 |  0.408 % |
43.15/43.24	c |      9491 |   28539   163561   553983 |    54800     9435     84 |  0.412 % |
43.35/43.48	c |      9593 |   28539   163561   553983 |    54800     9537     83 |  0.412 % |
44.35/44.44	c |      9704 |   28539   163561   553983 |    54800     9648     85 |  0.412 % |
44.55/44.66	c |      9826 |   28539   163561   553983 |    54800     9770     84 |  0.412 % |
44.55/44.67	c |      9959 |   28539   163561   553983 |    54800     9903     83 |  0.412 % |
44.55/44.68	c |     10105 |   28539   163561   553983 | 2147483647    10049     82 |  0.412 % |
44.55/44.69	c |     10265 |   28539   163561   553983 | 2147483647    10209     81 |  0.412 % |
44.75/44.82	c |     10443 |   28539   163561   553983 | 2147483647    10387     80 |  0.412 % |
44.75/44.83	c |     10636 |   28539   163561   553983 | 2147483647    10580     79 |  0.412 % |
45.05/45.15	c |     10850 |   28539   163561   553983 | 2147483647    10794     78 |  0.412 % |
45.35/45.42	c |     11083 |   28539   163561   553983 | 2147483647    11027     77 |  0.412 % |
46.05/46.10	c |     11340 |   28539   163561   553983 | 2147483647    11284     76 |  0.412 % |
47.25/47.34	c |     11622 |   28539   163561   553983 | 2147483647    11566     77 |  0.412 % |
47.74/47.87	c |     11722 |   28539   163561   553983 | 2147483647    11666     77 |  0.412 % |
48.25/48.39	c |     11833 |   28539   163561   553983 | 2147483647    11777     78 |  0.412 % |
48.94/49.02	c |     11957 |   28539   163561   553983 | 2147483647    11901     78 |  0.412 % |
49.84/49.92	c |     12090 |   28539   163561   553983 | 2147483647    12034     79 |  0.412 % |
50.55/50.64	c |     12237 |   28519   163435   553575 | 2147483647    12173     79 |  0.482 % |
51.34/51.42	c |     12397 |   28518   163435   553575 | 2147483647    12332     79 |  0.485 % |
52.14/52.23	c |     12573 |   28518   163435   553575 | 2147483647    12508     80 |  0.485 % |
53.44/53.59	c |     12767 |   28518   163427   553547 | 2147483647    12701     81 |  0.485 % |
54.34/54.49	c |     12980 |   28518   163427   553547 | 2147483647    12914     80 |  0.485 % |
55.64/55.74	c |     13213 |   28518   163427   553547 | 2147483647    13147     81 |  0.485 % |
56.24/56.31	c |     13470 |   28518   163427   553547 | 2147483647    13404     81 |  0.485 % |
58.14/58.28	c |     13752 |   28518   163427   553547 | 2147483647    13686     82 |  0.485 % |
60.74/60.87	c |     14062 |   28518   163427   553547 | 2147483647    13996     81 |  0.485 % |
60.84/60.95	c |     14163 |   28518   163427   553547 | 2147483647    14097     80 |  0.485 % |
61.34/61.40	c |     14273 |   28518   163427   553547 | 2147483647    14207     81 |  0.485 % |
61.64/61.76	c |     14394 |   28518   163427   553547 | 2147483647    14328     81 |  0.485 % |
62.24/62.30	c |     14528 |   28518   163427   553547 | 2147483647    14462     81 |  0.485 % |
62.54/62.68	c |     14674 |   28518   163427   553547 | 2147483647    14608     81 |  0.485 % |
63.44/63.54	c |     14835 |   28518   163427   553547 | 2147483647    14769     81 |  0.485 % |
64.34/64.40	c |     15011 |   28517   163419   553519 | 2147483647    14941     82 |  0.489 % |
64.94/65.05	c |     15204 |   28517   163419   553519 | 2147483647    15134     82 |  0.489 % |
65.94/66.09	c |     15416 |   28517   163419   553519 | 2147483647    15346     83 |  0.489 % |
66.33/66.48	c |     15650 |   28517   163419   553519 | 2147483647    15580     82 |  0.489 % |
67.53/67.67	c |     15906 |   28517   163419   553519 | 2147483647    15836     83 |  0.489 % |
68.23/68.31	c |     16189 |   28517   163419   553519 | 2147483647    16119     83 |  0.489 % |
70.13/70.30	c |     16498 |   28517   163419   553519 | 2147483647    16428     85 |  0.489 % |
71.93/72.07	c |     16837 |   28517   163419   553519 | 2147483647    16767     86 |  0.489 % |
72.93/73.01	c |     16937 |   28517   163419   553519 | 2147483647    16867     86 |  0.489 % |
73.33/73.46	c |     17047 |   28517   163419   553519 | 2147483647    16977     86 |  0.489 % |
73.93/74.07	c |     17168 |   28517   163419   553519 | 2147483647    17098     86 |  0.489 % |
74.43/74.53	c |     17302 |   28517   163419   553519 | 2147483647    17232     87 |  0.489 % |
74.93/75.04	c |     17448 |   28517   163419   553519 | 2147483647    17378     86 |  0.489 % |
75.63/75.79	c |     17608 |   28517   163419   553519 | 2147483647    17538     87 |  0.489 % |
76.43/76.54	c |     17785 |   28517   163419   553519 | 2147483647    17715     87 |  0.489 % |
77.73/77.84	c |     17978 |   28517   163419   553519 | 2147483647    17908     87 |  0.489 % |
78.03/78.15	c |     18190 |   28517   163419   553519 | 2147483647    18120     87 |  0.489 % |
78.13/78.29	c |     18423 |   28517   163419   553519 | 2147483647    18353     86 |  0.489 % |
78.33/78.41	c |     18679 |   28517   163419   553519 | 2147483647    18609     85 |  0.489 % |
79.33/79.43	c |     18962 |   28517   163419   553519 | 2147483647    18892     86 |  0.489 % |
81.23/81.31	c |     19271 |   28517   163419   553519 | 2147483647    19201     85 |  0.489 % |
83.03/83.17	c |     19610 |   28517   163419   553519 | 2147483647    19540     86 |  0.489 % |
85.63/85.73	c |     19983 |   28517   163419   553519 | 2147483647    19913     87 |  0.489 % |
86.33/86.48	c |     20083 |   28517   163419   553519 | 2147483647    20013     86 |  0.489 % |
87.13/87.29	c |     20195 |   28517   163419   553519 | 2147483647    20125     87 |  0.489 % |
87.23/87.37	c |     20316 |   28517   163419   553519 | 2147483647    20246     86 |  0.489 % |
88.23/88.37	c |     20450 |   28517   163419   553519 | 2147483647    20380     87 |  0.489 % |
89.33/89.42	c |     20597 |   28517   163419   553519 | 2147483647    20527     86 |  0.489 % |
89.83/89.99	c |     20757 |   28517   163419   553519 | 2147483647    20687     86 |  0.489 % |
91.24/91.38	c |     20933 |   28517   163419   553519 | 2147483647    20863     87 |  0.489 % |
91.54/91.69	c |     21126 |   28517   163419   553519 | 2147483647    21056     87 |  0.489 % |
92.93/93.06	c |     21339 |   28517   163419   553519 | 2147483647    21269     88 |  0.489 % |
94.13/94.24	c |     21572 |   28517   163419   553519 | 2147483647    21502     88 |  0.489 % |
96.53/96.62	c |     21830 |   28517   163419   553519 | 2147483647    21760     89 |  0.489 % |
97.74/97.87	c |     22111 |   28517   163419   553519 | 2147483647    22041     89 |  0.489 % |
98.84/98.99	c |     22421 |   28517   163419   553519 | 2147483647    22351     89 |  0.489 % |
99.33/99.41	c |     22761 |   28517   163419   553519 | 2147483647    22691     89 |  0.489 % |
101.33/101.42	c |     23134 |   28517   163419   553519 | 2147483647    23064     88 |  0.489 % |
104.03/104.16	c |     23544 |   28517   163419   553519 | 2147483647    23474     89 |  0.489 % |
104.23/104.39	c |     23645 |   28517   163419   553519 | 2147483647    23575     88 |  0.489 % |
105.43/105.56	c |     23755 |   28517   163419   553519 | 2147483647    23685     89 |  0.489 % |
106.03/106.11	c |     23876 |   28517   163419   553519 | 2147483647    23806     89 |  0.489 % |
107.43/107.51	c |     24009 |   28517   163419   553519 | 2147483647    23939     89 |  0.489 % |
108.23/108.34	c |     24156 |   28517   163419   553519 | 2147483647    24086     90 |  0.489 % |
109.03/109.13	c |     24316 |   28517   163419   553519 | 2147483647    24246     90 |  0.489 % |
110.23/110.35	c |     24492 |   28517   163419   553519 | 2147483647    24422     90 |  0.489 % |
111.13/111.22	c |     24686 |   28517   163419   553519 | 2147483647    24616     90 |  0.489 % |
111.73/111.84	c |     24899 |   28517   163419   553519 | 2147483647    24829     90 |  0.489 % |
112.82/112.95	c |     25134 |   28517   163419   553519 | 2147483647    25064     90 |  0.489 % |
114.12/114.20	c |     25390 |   28517   163419   553519 | 2147483647    25320     90 |  0.489 % |
115.52/115.65	c |     25671 |   28517   163419   553519 | 2147483647    25601     91 |  0.489 % |
117.12/117.28	c |     25983 |   28517   163419   553519 | 2147483647    25913     90 |  0.489 % |
118.72/118.84	c |     26325 |   28517   163419   553519 | 2147483647    26255     90 |  0.489 % |
120.62/120.77	c |     26698 |   28517   163419   553519 | 2147483647    26628     91 |  0.489 % |
122.82/122.98	c |     27107 |   28517   163419   553519 | 2147483647    27037     91 |  0.489 % |
125.32/125.46	c |     27558 |   28517   163419   553519 | 2147483647    27488     92 |  0.489 % |
125.82/125.94	c |     27658 |   28516   163411   553491 | 2147483647    27582     92 |  0.492 % |
126.22/126.34	c |     27768 |   28516   163411   553491 | 2147483647    27692     92 |  0.492 % |
126.72/126.87	c |     27890 |   28516   163411   553491 | 2147483647    27814     92 |  0.492 % |
127.22/127.36	c |     28024 |   28516   163411   553491 | 2147483647    27948     92 |  0.492 % |
128.12/128.23	c |     28170 |   28516   163411   553491 | 2147483647    28094     92 |  0.492 % |
128.81/128.94	c |     28331 |   28516   163411   553491 | 2147483647    28255     92 |  0.492 % |
130.01/130.18	c |     28507 |   28516   163411   553491 | 2147483647    28431     92 |  0.492 % |
131.31/131.47	c |     28702 |   28516   163411   553491 | 2147483647    28626     93 |  0.492 % |
132.71/132.89	c |     28915 |   28516   163411   553491 | 2147483647    28839     92 |  0.492 % |
134.51/134.62	c |     29149 |   28516   163411   553491 | 2147483647    29073     93 |  0.492 % |
136.51/136.66	c |     29405 |   28516   163411   553491 | 2147483647    29329     94 |  0.492 % |
138.11/138.20	c |     29688 |   28516   163411   553491 | 2147483647    29612     94 |  0.492 % |
140.41/140.59	c |     29999 |   28516   163411   553491 | 2147483647    29923     93 |  0.492 % |
142.41/142.58	c |     30338 |   28516   163411   553491 | 2147483647    30262     94 |  0.492 % |
144.12/144.22	c |     30710 |   28516   163411   553491 | 2147483647    30634     93 |  0.492 % |
146.12/146.27	c |     31119 |   28516   163411   553491 | 2147483647    31043     93 |  0.492 % |
147.72/147.84	c |     31568 |   28516   163411   553491 | 2147483647    31492     93 |  0.492 % |
150.32/150.49	c |     32061 |   28516   163411   553491 | 2147483647    31985     94 |  0.492 % |
150.81/150.92	c |     32161 |   28514   163393   553432 | 2147483647    32084     93 |  0.499 % |
151.21/151.30	c |     32271 |   28514   163393   553432 | 2147483647    32194     93 |  0.499 % |
151.51/151.70	c |     32393 |   28514   163393   553432 | 2147483647    32316     93 |  0.499 % |
152.21/152.39	c |     32526 |   28514   163393   553432 | 2147483647    32449     93 |  0.499 % |
152.31/152.40	c |     32672 |   28514   163393   553432 | 2147483647    32595     93 |  0.499 % |
152.31/152.42	c |     32832 |   28514   163393   553432 | 2147483647    32755     93 |  0.499 % |
152.61/152.71	c |     33009 |   28514   163393   553432 | 2147483647    32932     92 |  0.499 % |
153.41/153.59	c |     33202 |   28514   163393   553432 | 2147483647    33125     92 |  0.499 % |
154.61/154.78	c |     33414 |   28514   163393   553432 | 2147483647    33337     93 |  0.499 % |
155.02/155.12	c |     33647 |   28514   163393   553432 | 2147483647    33570     92 |  0.499 % |
155.61/155.71	c |     33903 |   28514   163393   553432 | 2147483647    33826     92 |  0.499 % |
156.51/156.61	c |     34184 |   28514   163393   553432 | 2147483647    34107     92 |  0.499 % |
157.21/157.33	c |     34494 |   28514   163393   553432 | 2147483647    34417     92 |  0.499 % |
158.81/158.91	c |     34833 |   28514   163393   553432 | 2147483647    34756     92 |  0.499 % |
161.31/161.41	c |     35205 |   28514   163393   553432 | 2147483647    35128     92 |  0.499 % |
163.91/164.02	c |     35615 |   28514   163393   553432 | 2147483647    35538     92 |  0.499 % |
166.11/166.28	c |     36064 |   28514   163393   553432 | 2147483647    35987     92 |  0.499 % |
168.31/168.45	c |     36557 |   28514   163393   553432 | 2147483647    36480     92 |  0.499 % |
172.51/172.64	c |     37099 |   28514   163393   553432 | 2147483647    37022     91 |  0.499 % |
172.70/172.88	c |     37199 |   28514   163393   553432 | 2147483647    37122     91 |  0.499 % |
173.10/173.28	c |     37309 |   28514   163393   553432 | 2147483647    37232     91 |  0.499 % |
173.30/173.41	c |     37430 |   28514   163393   553432 | 2147483647    37353     91 |  0.499 % |
173.90/174.06	c |     37564 |   28514   163393   553432 | 2147483647    37487     91 |  0.499 % |
174.30/174.42	c |     37711 |   28514   163393   553432 | 2147483647    37634     91 |  0.499 % |
174.90/175.01	c |     37873 |   28514   163393   553432 | 2147483647    37796     91 |  0.499 % |
175.81/175.95	c |     38051 |   28514   163393   553432 | 2147483647    37974     91 |  0.499 % |
176.60/176.70	c |     38244 |   28514   163393   553432 | 2147483647    38167     91 |  0.499 % |
177.01/177.16	c |     38456 |   28514   163393   553432 | 2147483647    38379     91 |  0.499 % |
178.20/178.37	c |     38690 |   28514   163393   553432 | 2147483647    38613     91 |  0.499 % |
179.10/179.29	c |     38946 |   28514   163393   553432 | 2147483647    38869     91 |  0.499 % |
180.50/180.67	c |     39228 |   28514   163393   553432 | 2147483647    39151     91 |  0.499 % |
182.10/182.21	c |     39538 |   28514   163393   553432 | 2147483647    39461     91 |  0.499 % |
183.70/183.80	c |     39877 |   28514   163393   553432 | 2147483647    39800     91 |  0.499 % |
185.40/185.59	c |     40249 |   28514   163393   553432 | 2147483647    40172     91 |  0.499 % |
187.70/187.81	c |     40658 |   28514   163393   553432 | 2147483647    40581     92 |  0.499 % |
190.00/190.19	c |     41110 |   28514   163393   553432 | 2147483647    41033     92 |  0.499 % |
193.59/193.75	c |     41603 |   28514   163393   553432 | 2147483647    41526     93 |  0.499 % |
196.99/197.13	c |     42146 |   28514   163393   553432 | 2147483647    42069     92 |  0.499 % |
200.00/200.12	c |     42743 |   28514   163393   553432 | 2147483647    42666     92 |  0.499 % |
200.80/200.93	c |     42843 |   28514   163393   553432 | 2147483647    42766     92 |  0.499 % |
201.30/201.47	c |     42953 |   28514   163393   553432 | 2147483647    42876     92 |  0.499 % |
202.10/202.29	c |     43076 |   28514   163393   553432 | 2147483647    42999     92 |  0.499 % |
203.20/203.33	c |     43209 |   28514   163393   553432 | 2147483647    43132     92 |  0.499 % |
204.70/204.80	c |     43355 |   28514   163393   553432 | 2147483647    43278     93 |  0.499 % |
205.50/205.60	c |     43515 |   28514   163393   553432 | 2147483647    43438     93 |  0.499 % |
206.90/207.03	c |     43692 |   28514   163393   553432 | 2147483647    43615     93 |  0.499 % |
207.50/207.63	c |     43889 |   28514   163393   553432 | 2147483647    43812     93 |  0.499 % |
208.20/208.32	c |     44103 |   28514   163393   553432 | 2147483647    44026     93 |  0.499 % |
209.19/209.34	c |     44336 |   28514   163393   553432 | 2147483647    44259     93 |  0.499 % |
210.49/210.62	c |     44593 |   28514   163393   553432 | 2147483647    44516     93 |  0.499 % |
211.49/211.60	c |     44875 |   28514   163393   553432 | 2147483647    44798     93 |  0.499 % |
213.49/213.61	c |     45184 |   28514   163393   553432 | 2147483647    45107     93 |  0.499 % |
214.59/214.72	c |     45524 |   28514   163393   553432 | 2147483647    45447     93 |  0.499 % |
215.09/215.22	c |     45896 |   28514   163393   553432 | 2147483647    45819     93 |  0.499 % |
217.99/218.11	c |     46305 |   28514   163393   553432 | 2147483647    46228     93 |  0.499 % |
220.59/220.73	c |     46754 |   28514   163393   553432 | 2147483647    46677     94 |  0.499 % |
223.59/223.73	c |     47247 |   28514   163393   553432 | 2147483647    47170     94 |  0.499 % |
227.28/227.49	c |     47789 |   28514   163393   553432 | 2147483647    47712     93 |  0.499 % |
231.28/231.40	c |     48386 |   28514   163393   553432 | 2147483647    48309     94 |  0.499 % |
234.28/234.45	c |     49042 |   28514   163393   553432 | 2147483647    48965     94 |  0.499 % |
234.78/234.93	c |     49144 |   28514   163393   553432 | 2147483647    49067     94 |  0.499 % |
235.38/235.52	c |     49255 |   28514   163393   553432 | 2147483647    49178     94 |  0.499 % |
236.18/236.40	c |     49377 |   28514   163393   553432 | 2147483647    49300     94 |  0.499 % |
237.28/237.48	c |     49510 |   28514   163393   553432 | 2147483647    49433     94 |  0.499 % |
238.28/238.42	c |     49657 |   28514   163393   553432 | 2147483647    49580     94 |  0.499 % |
239.98/240.12	c |     49817 |   28514   163393   553432 | 2147483647    49740     95 |  0.499 % |
241.19/241.33	c |     49994 |   28514   163393   553432 | 2147483647    49917     95 |  0.499 % |
241.29/241.49	c |     50187 |   28514   163393   553432 | 2147483647    50110     95 |  0.499 % |
242.39/242.54	c |     50399 |   28514   163393   553432 | 2147483647    50322     95 |  0.499 % |
242.99/243.12	c |     50632 |   28514   163393   553432 | 2147483647    50555     95 |  0.499 % |
244.49/244.61	c |     50889 |   28514   163393   553432 | 2147483647    50812     95 |  0.499 % |
246.08/246.30	c |     51172 |   28514   163393   553432 | 2147483647    51095     94 |  0.499 % |
248.39/248.57	c |     51481 |   28514   163393   553432 | 2147483647    51404     95 |  0.499 % |
250.78/250.97	c |     51821 |   28514   163393   553432 | 2147483647    51744     94 |  0.499 % |
252.38/252.51	c |     52194 |   28514   163393   553432 | 2147483647    52117     94 |  0.499 % |
255.08/255.26	c |     52604 |   28514   163393   553432 | 2147483647    52527     94 |  0.499 % |
257.08/257.26	c |     53054 |   28514   163393   553432 | 2147483647    52977     94 |  0.499 % |
259.68/259.86	c |     53548 |   28514   163393   553432 | 2147483647    53471     94 |  0.499 % |
262.58/262.74	c |     54091 |   28514   163393   553432 | 2147483647    54014     94 |  0.499 % |
266.67/266.86	c |     54687 |   28514   163393   553432 | 2147483647    54610     93 |  0.499 % |
270.57/270.78	c |     55342 |   28514   163393   553432 | 2147483647    55265     94 |  0.499 % |
274.77/274.94	c |     56062 |   28514   163393   553432 | 2147483647    55985     93 |  0.499 % |
274.97/275.19	c |     56162 |   28514   163393   553432 | 2147483647    56085     93 |  0.499 % |
275.77/275.91	c |     56273 |   28514   163393   553432 | 2147483647    56196     93 |  0.499 % |
276.47/276.61	c |     56396 |   28514   163393   553432 | 2147483647    56319     93 |  0.499 % |
276.87/277.10	c |     56530 |   28514   163393   553432 | 2147483647    56453     93 |  0.499 % |
277.77/277.99	c |     56676 |   28514   163393   553432 | 2147483647    56599     93 |  0.499 % |
278.87/279.03	c |     56837 |   28514   163393   553432 | 2147483647    56760     93 |  0.499 % |
280.37/280.54	c |     57014 |   28514   163393   553432 | 2147483647    56937     93 |  0.499 % |
281.67/281.88	c |     57207 |   28514   163393   553432 | 2147483647    57130     93 |  0.499 % |
283.57/283.77	c |     57419 |   28514   163393   553432 | 2147483647    57342     93 |  0.499 % |
285.37/285.58	c |     57653 |   28514   163393   553432 | 2147483647    57576     93 |  0.499 % |
287.07/287.28	c |     57909 |   28514   163393   553432 | 2147483647    57832     93 |  0.499 % |
288.47/288.60	c |     58190 |   28514   163393   553432 | 2147483647    58113     93 |  0.499 % |
290.76/290.93	c |     58499 |   28514   163393   553432 | 2147483647    58422     93 |  0.499 % |
292.27/292.47	c |     58838 |   28514   163393   553432 | 2147483647    58761     93 |  0.499 % |
294.97/295.19	c |     59211 |   28514   163393   553432 | 2147483647    59134     93 |  0.499 % |
298.07/298.23	c |     59620 |   28514   163393   553432 | 2147483647    59543     93 |  0.499 % |
300.96/301.17	c |     60070 |   28514   163393   553432 | 2147483647    59993     93 |  0.499 % |
304.26/304.43	c |     60564 |   28514   163393   553432 | 2147483647    60487     92 |  0.499 % |
306.26/306.49	c |     61106 |   28514   163393   553432 | 2147483647    61029     92 |  0.499 % |
306.66/306.86	c |     61703 |   28514   163393   553432 | 2147483647    61626     92 |  0.499 % |
310.26/310.49	c |     62359 |   28514   163393   553432 | 2147483647    62282     91 |  0.499 % |
313.96/314.16	c |     63080 |   28514   163393   553432 | 2147483647    63003     91 |  0.499 % |
316.67/316.87	c |     63872 |   28514   163393   553432 | 2147483647    63795     91 |  0.499 % |
317.16/317.36	c |     63973 |   28514   163393   553432 | 2147483647    63896     91 |  0.499 % |
317.46/317.66	c |     64084 |   28514   163393   553432 | 2147483647    64007     91 |  0.499 % |
317.96/318.15	c |     64205 |   28514   163393   553432 | 2147483647    64128     91 |  0.499 % |
318.46/318.63	c |     64338 |   28514   163393   553432 | 2147483647    64261     91 |  0.499 % |
319.16/319.36	c |     64485 |   28514   163393   553432 | 2147483647    64408     91 |  0.499 % |
320.16/320.39	c |     64646 |   28514   163393   553432 | 2147483647    64569     91 |  0.499 % |
321.07/321.29	c |     64822 |   28514   163393   553432 | 2147483647    64745     91 |  0.499 % |
322.36/322.59	c |     65015 |   28514   163393   553432 | 2147483647    64938     91 |  0.499 % |
323.76/323.95	c |     65228 |   28514   163393   553432 | 2147483647    65151     91 |  0.499 % |
325.56/325.79	c |     65461 |   28514   163393   553432 | 2147483647    65384     92 |  0.499 % |
327.36/327.55	c |     65718 |   28514   163393   553432 | 2147483647    65641     91 |  0.499 % |
328.86/329.06	c |     65999 |   28514   163393   553432 | 2147483647    65922     92 |  0.499 % |
331.06/331.27	c |     66308 |   28514   163393   553432 | 2147483647    66231     92 |  0.499 % |
332.16/332.37	c |     66647 |   28514   163393   553432 | 2147483647    66570     92 |  0.499 % |
333.66/333.82	c |     67020 |   28514   163393   553432 | 2147483647    66943     91 |  0.499 % |
336.05/336.25	c |     67431 |   28514   163393   553432 | 2147483647    67354     92 |  0.499 % |
339.25/339.40	c |     67881 |   28514   163393   553432 | 2147483647    67804     92 |  0.499 % |
341.65/341.82	c |     68374 |   28514   163393   553432 | 2147483647    68297     92 |  0.499 % |
343.95/344.18	c |     68917 |   28514   163393   553432 | 2147483647    68840     92 |  0.499 % |
349.05/349.23	c |     69514 |   28514   163393   553432 | 2147483647    69437     92 |  0.499 % |
351.64/351.87	c |     70171 |   28514   163393   553432 | 2147483647    70094     92 |  0.499 % |
355.05/355.20	c |     70891 |   28514   163393   553432 | 2147483647    70814     92 |  0.499 % |
360.14/360.32	c |     71685 |   28514   163393   553432 | 2147483647    71608     91 |  0.499 % |
365.15/365.30	c |     72559 |   28514   163393   553432 | 2147483647    72482     92 |  0.499 % |
365.55/365.79	c |     72659 |   28514   163393   553432 | 2147483647    72582     92 |  0.499 % |
366.25/366.40	c |     72770 |   28514   163393   553432 | 2147483647    72693     92 |  0.499 % |
366.75/366.94	c |     72891 |   28514   163393   553432 | 2147483647    72814     92 |  0.499 % |
367.55/367.76	c |     73025 |   28514   163393   553432 | 2147483647    72948     92 |  0.499 % |
367.85/368.06	c |     73171 |   28514   163393   553432 | 2147483647    73094     92 |  0.499 % |
368.75/368.95	c |     73332 |   28514   163393   553432 | 2147483647    73255     92 |  0.499 % |
368.95/369.16	c |     73509 |   28514   163393   553432 | 2147483647    73432     91 |  0.499 % |
370.24/370.47	c |     73702 |   28514   163393   553432 | 2147483647    73625     91 |  0.499 % |
371.74/371.91	c |     73914 |   28514   163393   553432 | 2147483647    73837     91 |  0.499 % |
373.54/373.73	c |     74147 |   28514   163393   553432 | 2147483647    74070     92 |  0.499 % |
375.84/376.01	c |     74404 |   28514   163393   553432 | 2147483647    74327     91 |  0.499 % |
377.64/377.86	c |     74685 |   28514   163393   553432 | 2147483647    74608     92 |  0.499 % |
379.54/379.79	c |     74995 |   28514   163393   553432 | 2147483647    74918     92 |  0.499 % |
381.34/381.55	c |     75335 |   28514   163393   553432 | 2147483647    75258     92 |  0.499 % |
383.44/383.66	c |     75707 |   28514   163393   553432 | 2147483647    75630     92 |  0.499 % |
384.94/385.19	c |     76116 |   28514   163393   553432 | 2147483647    76039     92 |  0.499 % |
388.54/388.72	c |     76566 |   28514   163393   553432 | 2147483647    76489     92 |  0.499 % |
390.83/391.03	c |     77059 |   28514   163393   553432 | 2147483647    76982     92 |  0.499 % |
391.93/392.17	c |     77603 |   28514   163393   553432 | 2147483647    77526     92 |  0.499 % |
395.43/395.61	c |     78199 |   28514   163393   553432 | 2147483647    78122     92 |  0.499 % |
395.43/395.69	c |     78854 |   28514   163393   553432 | 2147483647    78777     91 |  0.499 % |
398.23/398.44	c |     79575 |   28514   163393   553432 | 2147483647    79498     91 |  0.499 % |
402.33/402.50	c |     80368 |   28514   163393   553432 | 2147483647    80291     91 |  0.499 % |
406.74/406.91	c |     81239 |   28514   163393   553432 | 2147483647    81162     91 |  0.499 % |
410.53/410.76	c |     82197 |   28514   163393   553432 | 2147483647    82120     92 |  0.499 % |
411.03/411.21	c |     82298 |   28514   163393   553432 | 2147483647    82221     92 |  0.499 % |
411.73/411.91	c |     82408 |   28514   163393   553432 | 2147483647    82331     92 |  0.499 % |
412.34/412.56	c |     82530 |   28514   163393   553432 | 2147483647    82453     92 |  0.499 % |
413.03/413.23	c |     82663 |   28514   163393   553432 | 2147483647    82586     92 |  0.499 % |
413.73/413.98	c |     82809 |   28514   163393   553432 | 2147483647    82732     92 |  0.499 % |
414.73/414.91	c |     82971 |   28514   163393   553432 | 2147483647    82894     92 |  0.499 % |
414.83/415.05	c |     83147 |   28514   163393   553432 | 2147483647    83070     92 |  0.499 % |
415.64/415.83	c |     83341 |   28514   163393   553432 | 2147483647    83264     92 |  0.499 % |
416.93/417.12	c |     83554 |   28514   163393   553432 | 2147483647    83477     92 |  0.499 % |
418.73/418.96	c |     83787 |   28514   163393   553432 | 2147483647    83710     92 |  0.499 % |
419.73/419.91	c |     84043 |   28514   163393   553432 | 2147483647    83966     92 |  0.499 % |
421.43/421.63	c |     84324 |   28514   163393   553432 | 2147483647    84247     91 |  0.499 % |
422.93/423.13	c |     84633 |   28514   163393   553432 | 2147483647    84556     91 |  0.499 % |
424.43/424.68	c |     84973 |   28514   163393   553432 | 2147483647    84896     92 |  0.499 % |
426.32/426.57	c |     85345 |   28514   163393   553432 | 2147483647    85268     92 |  0.499 % |
429.02/429.23	c |     85755 |   28514   163393   553432 | 2147483647    85678     91 |  0.499 % |
431.62/431.87	c |     86204 |   28514   163393   553432 | 2147483647    86127     92 |  0.499 % |
434.62/434.86	c |     86699 |   28514   163393   553432 | 2147483647    86622     92 |  0.499 % |
438.02/438.24	c |     87241 |   28514   163393   553432 | 2147483647    87164     92 |  0.499 % |
441.02/441.26	c |     87837 |   28514   163393   553432 | 2147483647    87760     92 |  0.499 % |
443.52/443.79	c |     88493 |   28514   163393   553432 | 2147483647    88416     92 |  0.499 % |
446.12/446.31	c |     89214 |   28514   163393   553432 | 2147483647    89137     92 |  0.499 % |
449.93/450.18	c |     90006 |   28514   163393   553432 | 2147483647    89929     92 |  0.499 % |
455.82/456.05	c |     90878 |   28514   163393   553432 | 2147483647    90801     92 |  0.499 % |
463.42/463.60	c |     91836 |   28514   163393   553432 | 2147483647    91759     91 |  0.499 % |
471.51/471.70	c |     92890 |   28514   163393   553432 | 2147483647    92813     92 |  0.499 % |
471.81/472.05	c |     92990 |   28514   163393   553432 | 2147483647    92913     92 |  0.499 % |
472.21/472.48	c |     93100 |   28514   163393   553432 | 2147483647    93023     92 |  0.499 % |
472.82/473.04	c |     93222 |   28514   163393   553432 | 2147483647    93145     92 |  0.499 % |
473.61/473.87	c |     93356 |   28514   163393   553432 | 2147483647    93279     92 |  0.499 % |
474.71/474.94	c |     93503 |   28514   163393   553432 | 2147483647    93426     92 |  0.499 % |
475.61/475.85	c |     93663 |   28514   163393   553432 | 2147483647    93586     92 |  0.499 % |
476.71/476.97	c |     93840 |   28514   163393   553432 | 2147483647    93763     92 |  0.499 % |
477.71/477.99	c |     94035 |   28514   163393   553432 | 2147483647    93958     92 |  0.499 % |
479.31/479.53	c |     94247 |   28514   163393   553432 | 2147483647    94170     92 |  0.499 % |
480.81/481.08	c |     94481 |   28514   163393   553432 | 2147483647    94404     92 |  0.499 % |
481.61/481.82	c |     94738 |   28514   163393   553432 | 2147483647    94661     92 |  0.499 % |
482.81/483.01	c |     95019 |   28514   163393   553432 | 2147483647    94942     92 |  0.499 % |
484.61/484.85	c |     95329 |   28514   163393   553432 | 2147483647    95252     92 |  0.499 % |
487.01/487.23	c |     95670 |   28514   163393   553432 | 2147483647    95593     92 |  0.499 % |
489.71/490.00	c |     96044 |   28514   163393   553432 | 2147483647    95967     92 |  0.499 % |
492.31/492.58	c |     96454 |   28514   163393   553432 | 2147483647    96377     92 |  0.499 % |
493.61/493.86	c |     96903 |   28514   163393   553432 | 2147483647    96826     92 |  0.499 % |
494.51/494.73	c |     97397 |   28514   163393   553432 | 2147483647    97320     92 |  0.499 % |
496.70/496.93	c |     97939 |   28514   163393   553432 | 2147483647    97862     92 |  0.499 % |
499.01/499.25	c |     98535 |   28514   163393   553432 | 2147483647    98458     91 |  0.499 % |
503.71/503.90	c |     99193 |   28514   163393   553432 | 2147483647    99116     92 |  0.499 % |
509.51/509.75	c |     99913 |   28514   163393   553432 | 2147483647    99836     91 |  0.499 % |
516.20/516.46	c |    100705 |   28514   163393   553432 | 2147483647   100628     92 |  0.499 % |
523.50/523.80	c |    101577 |   28514   163393   553432 | 2147483647   101500     91 |  0.499 % |
529.00/529.24	c |    102535 |   28514   163393   553432 | 2147483647   102458     91 |  0.499 % |
535.80/536.06	c |    103589 |   28514   163393   553432 | 2147483647   103512     92 |  0.499 % |
545.50/545.74	c |    104747 |   28514   163393   553432 | 2147483647   104670     91 |  0.499 % |
546.20/546.43	c |    104848 |   28514   163393   553432 | 2147483647   104771     91 |  0.499 % |
546.90/547.14	c |    104961 |   28514   163393   553432 | 2147483647   104884     91 |  0.499 % |
547.89/548.16	c |    105082 |   28514   163393   553432 | 2147483647   105005     91 |  0.499 % |
548.89/549.11	c |    105216 |   28514   163393   553432 | 2147483647   105139     91 |  0.499 % |
549.59/549.84	c |    105364 |   28514   163393   553432 | 2147483647   105287     91 |  0.499 % |
550.69/550.94	c |    105524 |   28514   163393   553432 | 2147483647   105447     91 |  0.499 % |
551.59/551.85	c |    105701 |   28514   163393   553432 | 2147483647   105624     91 |  0.499 % |
553.00/553.24	c |    105894 |   28514   163393   553432 | 2147483647   105817     91 |  0.499 % |
554.59/554.84	c |    106106 |   28514   163393   553432 | 2147483647   106029     91 |  0.499 % |
556.39/556.65	c |    106339 |   28514   163393   553432 | 2147483647   106262     91 |  0.499 % |
557.99/558.25	c |    106596 |   28514   163393   553432 | 2147483647   106519     91 |  0.499 % |
559.19/559.41	c |    106878 |   28514   163393   553432 | 2147483647   106801     91 |  0.499 % |
561.39/561.61	c |    107188 |   28514   163393   553432 | 2147483647   107111     91 |  0.499 % |
563.69/563.95	c |    107530 |   28514   163393   553432 | 2147483647   107453     91 |  0.499 % |
564.88/565.17	c |    107902 |   28514   163393   553432 | 2147483647   107825     91 |  0.499 % |
567.88/568.17	c |    108311 |   28514   163393   553432 | 2147483647   108234     91 |  0.499 % |
571.48/571.73	c |    108760 |   28514   163393   553432 | 2147483647   108683     91 |  0.499 % |
576.19/576.45	c |    109254 |   28514   163393   553432 | 2147483647   109177     91 |  0.499 % |
580.88/581.16	c |    109796 |   28514   163393   553432 | 2147483647   109719     92 |  0.499 % |
584.78/585.06	c |    110393 |   28514   163393   553432 | 2147483647   110316     92 |  0.499 % |
588.88/589.14	c |    111048 |   28514   163393   553432 | 2147483647   110971     92 |  0.499 % |
592.88/593.16	c |    111768 |   28514   163393   553432 | 2147483647   111691     91 |  0.499 % |
597.77/598.06	c |    112560 |   28514   163393   553432 | 2147483647   112483     92 |  0.499 % |
602.48/602.71	c |    113432 |   28514   163393   553432 | 2147483647   113355     91 |  0.499 % |
607.08/607.36	c |    114390 |   28514   163393   553432 | 2147483647   114313     91 |  0.499 % |
612.38/612.60	c |    115443 |   28514   163393   553432 | 2147483647   115366     92 |  0.499 % |
618.88/619.19	c |    116602 |   28514   163393   553432 | 2147483647   116525     92 |  0.499 % |
630.87/631.10	c |    117875 |   28514   163393   553432 | 2147483647   117798     91 |  0.499 % |
631.27/631.55	c |    117976 |   28514   163393   553432 | 2147483647   117899     91 |  0.499 % |
632.27/632.56	c |    118087 |   28514   163393   553432 | 2147483647   118010     91 |  0.499 % |
632.96/633.22	c |    118209 |   28514   163393   553432 | 2147483647   118132     91 |  0.499 % |
633.76/634.06	c |    118343 |   28514   163393   553432 | 2147483647   118266     91 |  0.499 % |
634.96/635.27	c |    118490 |   28514   163393   553432 | 2147483647   118413     91 |  0.499 % |
636.06/636.32	c |    118650 |   28514   163393   553432 | 2147483647   118573     91 |  0.499 % |
637.46/637.71	c |    118826 |   28514   163393   553432 | 2147483647   118749     92 |  0.499 % |
638.56/638.85	c |    119019 |   28514   163393   553432 | 2147483647   118942     91 |  0.499 % |
639.66/639.94	c |    119232 |   28514   163393   553432 | 2147483647   119155     91 |  0.499 % |
640.66/640.94	c |    119465 |   28514   163393   553432 | 2147483647   119388     91 |  0.499 % |
642.86/643.16	c |    119721 |   28514   163393   553432 | 2147483647   119644     92 |  0.499 % |
643.56/643.88	c |    120004 |   28514   163393   553432 | 2147483647   119927     91 |  0.499 % |
644.06/644.38	c |    120314 |   28514   163393   553432 | 2147483647   120237     91 |  0.499 % |
645.26/645.54	c |    120655 |   28514   163393   553432 | 2147483647   120578     91 |  0.499 % |
648.16/648.47	c |    121027 |   28514   163393   553432 | 2147483647   120950     91 |  0.499 % |
651.76/652.01	c |    121437 |   28514   163393   553432 | 2147483647   121360     92 |  0.499 % |
655.15/655.47	c |    121889 |   28514   163393   553432 | 2147483647   121812     92 |  0.499 % |
658.15/658.42	c |    122383 |   28514   163393   553432 | 2147483647   122306     91 |  0.499 % |
660.75/661.05	c |    122926 |   28514   163393   553432 | 2147483647   122849     92 |  0.499 % |
663.05/663.35	c |    123522 |   28514   163393   553432 | 2147483647   123445     92 |  0.499 % |
666.56/666.85	c |    124177 |   28514   163393   553432 | 2147483647   124100     92 |  0.499 % |
671.45/671.79	c |    124897 |   28514   163393   553432 | 2147483647   124820     92 |  0.499 % |
675.45/675.71	c |    125690 |   28514   163393   553432 | 2147483647   125613     92 |  0.499 % |
681.05/681.34	c |    126561 |   28514   163393   553432 | 2147483647   126484     92 |  0.499 % |
686.45/686.74	c |    127519 |   28514   163393   553432 | 2147483647   127442     92 |  0.499 % |
693.34/693.63	c |    128572 |   28514   163393   553432 | 2147483647   128495     92 |  0.499 % |
702.94/703.29	c |    129730 |   28514   163393   553432 | 2147483647   129653     93 |  0.499 % |
711.74/712.07	c |    131004 |   28514   163393   553432 | 2147483647   130927     92 |  0.499 % |
720.34/720.67	c |    132405 |   28514   163393   553432 | 2147483647   132328     91 |  0.499 % |
720.84/721.14	c |    132506 |   28514   163393   553432 | 2147483647   132429     91 |  0.499 % |
721.54/721.85	c |    132616 |   28514   163393   553432 | 2147483647   132539     91 |  0.499 % |
722.64/722.98	c |    132737 |   28514   163393   553432 | 2147483647   132660     91 |  0.499 % |
723.44/723.71	c |    132872 |   28514   163393   553432 | 2147483647   132795     92 |  0.499 % |
724.14/724.44	c |    133018 |   28514   163393   553432 | 2147483647   132941     91 |  0.499 % |
725.34/725.64	c |    133179 |   28514   163393   553432 | 2147483647   133102     92 |  0.499 % |
726.54/726.85	c |    133355 |   28514   163393   553432 | 2147483647   133278     92 |  0.499 % |
727.84/728.16	c |    133548 |   28514   163393   553432 | 2147483647   133471     92 |  0.499 % |
729.33/729.64	c |    133760 |   28514   163393   553432 | 2147483647   133683     92 |  0.499 % |
730.63/730.97	c |    133993 |   28514   163393   553432 | 2147483647   133916     92 |  0.499 % |
730.93/731.21	c |    134249 |   28514   163393   553432 | 2147483647   134172     92 |  0.499 % |
731.53/731.89	c |    134532 |   28514   163393   553432 | 2147483647   134455     92 |  0.499 % |
733.13/733.48	c |    134841 |   28514   163393   553432 | 2147483647   134764     92 |  0.499 % |
734.54/734.89	c |    135180 |   28514   163393   553432 | 2147483647   135103     92 |  0.499 % |
736.13/736.43	c |    135552 |   28514   163393   553432 | 2147483647   135475     92 |  0.499 % |
737.93/738.20	c |    135962 |   28514   163393   553432 | 2147483647   135885     91 |  0.499 % |
739.93/740.22	c |    136411 |   28514   163393   553432 | 2147483647   136334     92 |  0.499 % |
743.43/743.73	c |    136905 |   28514   163393   553432 | 2147483647   136828     92 |  0.499 % |
746.32/746.62	c |    137449 |   28514   163393   553432 | 2147483647   137372     92 |  0.499 % |
751.04/751.37	c |    138045 |   28514   163393   553432 | 2147483647   137968     92 |  0.499 % |
755.23/755.57	c |    138701 |   28514   163393   553432 | 2147483647   138624     92 |  0.499 % |
761.13/761.40	c |    139424 |   28514   163393   553432 | 2147483647   139347     92 |  0.499 % |
766.52/766.82	c |    140216 |   28514   163393   553432 | 2147483647   140139     92 |  0.499 % |
772.72/773.03	c |    141087 |   28514   163393   553432 | 2147483647   141010     93 |  0.499 % |
779.12/779.49	c |    142045 |   28514   163393   553432 | 2147483647   141968     93 |  0.499 % |
786.62/786.97	c |    143098 |   28514   163393   553432 | 2147483647   143021     93 |  0.499 % |
791.52/791.83	c |    144256 |   28514   163393   553432 | 2147483647   144179     93 |  0.499 % |
800.01/800.39	c |    145529 |   28514   163393   553432 | 2147483647   145452     93 |  0.499 % |
808.12/808.45	c |    146929 |   28514   163393   553432 | 2147483647   146852     94 |  0.499 % |
818.81/819.18	c |    148469 |   28514   163393   553432 | 2147483647   148392     94 |  0.499 % |
819.41/819.78	c |    148572 |   28514   163393   553432 | 2147483647   148495     94 |  0.499 % |
820.11/820.43	c |    148683 |   28514   163393   553432 | 2147483647   148606     94 |  0.499 % |
821.11/821.46	c |    148804 |   28514   163393   553432 | 2147483647   148727     94 |  0.499 % |
822.41/822.72	c |    148937 |   28514   163393   553432 | 2147483647   148860     94 |  0.499 % |
823.71/824.04	c |    149083 |   28514   163393   553432 | 2147483647   149006     94 |  0.499 % |
824.81/825.12	c |    149244 |   28514   163393   553432 | 2147483647   149167     94 |  0.499 % |
826.41/826.74	c |    149420 |   28514   163393   553432 | 2147483647   149343     94 |  0.499 % |
827.91/828.30	c |    149613 |   28514   163393   553432 | 2147483647   149536     94 |  0.499 % |
829.51/829.83	c |    149825 |   28514   163393   553432 | 2147483647   149748     94 |  0.499 % |
830.70/831.04	c |    150059 |   28514   163393   553432 | 2147483647   149982     94 |  0.499 % |
832.50/832.83	c |    150315 |   28514   163393   553432 | 2147483647   150238     94 |  0.499 % |
833.70/834.09	c |    150598 |   28514   163393   553432 | 2147483647   150521     94 |  0.499 % |
835.80/836.10	c |    150907 |   28514   163393   553432 | 2147483647   150830     94 |  0.499 % |
838.80/839.18	c |    151247 |   28514   163393   553432 | 2147483647   151170     95 |  0.499 % |
840.80/841.19	c |    151619 |   28514   163393   553432 | 2147483647   151542     95 |  0.499 % |
842.30/842.66	c |    152030 |   28514   163393   553432 | 2147483647   151953     94 |  0.499 % |
845.30/845.66	c |    152479 |   28514   163393   553432 | 2147483647   152402     95 |  0.499 % |
847.70/848.08	c |    152972 |   28514   163393   553432 | 2147483647   152895     94 |  0.499 % |
850.90/851.22	c |    153516 |   28513   163388   553420 | 2147483647   153436     95 |  0.502 % |
855.00/855.38	c |    154112 |   28513   163388   553420 | 2147483647   154032     94 |  0.502 % |
860.09/860.48	c |    154767 |   28513   163388   553420 | 2147483647   154687     95 |  0.502 % |
864.20/864.58	c |    155488 |   28513   163388   553420 | 2147483647   155408     95 |  0.502 % |
869.59/869.98	c |    156281 |   28513   163388   553420 | 2147483647   156201     95 |  0.502 % |
874.89/875.27	c |    157153 |   28513   163388   553420 | 2147483647   157073     95 |  0.502 % |
880.09/880.45	c |    158112 |   28513   163388   553420 | 2147483647   158032     95 |  0.502 % |
883.48/883.82	c |    159166 |   28513   163388   553420 | 2147483647   159086     95 |  0.502 % |
888.89/889.24	c |    160324 |   28513   163388   553420 | 2147483647   160244     95 |  0.502 % |
899.09/899.40	c |    161597 |   28513   163388   553420 | 2147483647   161517     95 |  0.502 % |
909.48/909.82	c |    162997 |   28513   163388   553420 | 2147483647   162917     95 |  0.502 % |
920.87/921.25	c |    164537 |   28513   163388   553420 | 2147483647   164457     95 |  0.502 % |
930.78/931.10	c |    166232 |   28513   163388   553420 | 2147483647   166152     96 |  0.502 % |
930.78/931.13	c |    166332 |   28513   163388   553420 | 2147483647   166252     96 |  0.502 % |
930.88/931.26	c |    166443 |   28513   163388   553420 | 2147483647   166363     96 |  0.502 % |
930.88/931.28	c |    166566 |   28513   163388   553420 | 2147483647   166486     95 |  0.502 % |
931.08/931.43	c |    166699 |   28513   163388   553420 | 2147483647   166619     95 |  0.502 % |
931.58/931.96	c |    166846 |   28513   163388   553420 | 2147483647   166766     95 |  0.502 % |
932.98/933.35	c |    167006 |   28513   163388   553420 | 2147483647   166926     95 |  0.502 % |
934.18/934.56	c |    167183 |   28513   163388   553420 | 2147483647   167103     95 |  0.502 % |
936.58/936.97	c |    167376 |   28513   163388   553420 | 2147483647   167296     95 |  0.502 % |
938.38/938.70	c |    167588 |   28513   163388   553420 | 2147483647   167508     95 |  0.502 % |
940.28/940.68	c |    167822 |   28513   163388   553420 | 2147483647   167742     95 |  0.502 % |
942.47/942.85	c |    168078 |   28513   163388   553420 | 2147483647   167998     95 |  0.502 % |
944.07/944.46	c |    168359 |   28513   163388   553420 | 2147483647   168279     95 |  0.502 % |
946.07/946.48	c |    168668 |   28513   163388   553420 | 2147483647   168588     95 |  0.502 % |
949.37/949.74	c |    169007 |   28513   163388   553420 | 2147483647   168927     96 |  0.502 % |
951.87/952.26	c |    169381 |   28513   163388   553420 | 2147483647   169301     96 |  0.502 % |
954.67/955.01	c |    169791 |   28513   163388   553420 | 2147483647   169711     96 |  0.502 % |
956.87/957.26	c |    170240 |   28513   163388   553420 | 2147483647   170160     96 |  0.502 % |
961.17/961.54	c |    170734 |   28513   163388   553420 | 2147483647   170654     96 |  0.502 % |
964.77/965.17	c |    171277 |   28513   163388   553420 | 2147483647   171197     96 |  0.502 % |
969.56/969.96	c |    171873 |   28513   163388   553420 | 2147483647   171793     96 |  0.502 % |
974.06/974.40	c |    172530 |   28513   163388   553420 | 2147483647   172450     96 |  0.502 % |
979.86/980.29	c |    173251 |   28513   163388   553420 | 2147483647   173171     96 |  0.502 % |
986.05/986.48	c |    174043 |   28513   163388   553420 | 2147483647   173963     96 |  0.502 % |
991.35/991.76	c |    174916 |   28513   163388   553420 | 2147483647   174836     96 |  0.502 % |
996.46/996.88	c |    175874 |   28513   163388   553420 | 2147483647   175794     96 |  0.502 % |
1001.76/1002.20	c |    176928 |   28513   163388   553420 | 2147483647   176848     96 |  0.502 % |
1011.66/1012.08	c |    178087 |   28513   163388   553420 | 2147483647   178007     96 |  0.502 % |
1021.15/1021.59	c |    179361 |   28513   163388   553420 | 2147483647   179281     96 |  0.502 % |
1031.05/1031.49	c |    180762 |   28513   163388   553420 | 2147483647   180682     96 |  0.502 % |
1043.04/1043.43	c |    182302 |   28513   163388   553420 | 2147483647   182222     96 |  0.502 % |
1055.94/1056.39	c |    183997 |   28513   163388   553420 | 2147483647   183917     96 |  0.502 % |
1069.63/1070.06	c |    185861 |   28513   163388   553420 | 2147483647   185781     96 |  0.502 % |
1070.63/1071.05	c |    185962 |   28513   163388   553420 | 2147483647   185882     96 |  0.502 % |
1071.13/1071.55	c |    186072 |   28513   163388   553420 | 2147483647   185992     96 |  0.502 % |
1072.14/1072.57	c |    186193 |   28513   163388   553420 | 2147483647   186113     96 |  0.502 % |
1073.13/1073.52	c |    186327 |   28513   163388   553420 | 2147483647   186247     96 |  0.502 % |
1074.33/1074.71	c |    186474 |   28513   163388   553420 | 2147483647   186394     96 |  0.502 % |
1075.94/1076.30	c |    186635 |   28513   163388   553420 | 2147483647   186555     96 |  0.502 % |
1077.24/1077.65	c |    186812 |   28513   163388   553420 | 2147483647   186732     96 |  0.502 % |
1078.84/1079.25	c |    187005 |   28513   163388   553420 | 2147483647   186925     96 |  0.502 % |
1080.84/1081.24	c |    187217 |   28513   163388   553420 | 2147483647   187137     96 |  0.502 % |
1082.83/1083.25	c |    187450 |   28513   163388   553420 | 2147483647   187370     96 |  0.502 % |
1084.63/1085.03	c |    187706 |   28513   163388   553420 | 2147483647   187626     96 |  0.502 % |
1086.93/1087.38	c |    187988 |   28513   163388   553420 | 2147483647   187908     96 |  0.502 % |
1088.73/1089.11	c |    188297 |   28513   163388   553420 | 2147483647   188217     96 |  0.502 % |
1092.03/1092.41	c |    188636 |   28513   163388   553420 | 2147483647   188556     96 |  0.502 % |
1093.93/1094.30	c |    189009 |   28513   163388   553420 | 2147483647   188929     96 |  0.502 % |
1097.23/1097.65	c |    189418 |   28513   163388   553420 | 2147483647   189338     96 |  0.502 % |
1100.03/1100.42	c |    189869 |   28513   163388   553420 | 2147483647   189789     96 |  0.502 % |
1102.83/1103.28	c |    190362 |   28513   163388   553420 | 2147483647   190282     96 |  0.502 % |
1106.52/1106.95	c |    190905 |   28513   163388   553420 | 2147483647   190825     96 |  0.502 % |
1113.12/1113.50	c |    191501 |   28513   163388   553420 | 2147483647   191421     96 |  0.502 % |
1116.92/1117.38	c |    192156 |   28513   163388   553420 | 2147483647   192076     96 |  0.502 % |
1122.82/1123.26	c |    192877 |   28513   163388   553420 | 2147483647   192797     96 |  0.502 % |
1129.42/1129.83	c |    193669 |   28513   163388   553420 | 2147483647   193589     96 |  0.502 % |
1135.32/1135.77	c |    194540 |   28513   163388   553420 | 2147483647   194460     96 |  0.502 % |
1143.52/1143.94	c |    195498 |   28513   163388   553420 | 2147483647   195418     96 |  0.502 % |
1153.21/1153.69	c |    196551 |   28513   163388   553420 | 2147483647   196471     96 |  0.502 % |
1161.31/1161.72	c |    197709 |   28513   163388   553420 | 2147483647   197629     96 |  0.502 % |
1170.41/1170.85	c |    198984 |   28513   163388   553420 | 2147483647   198904     97 |  0.502 % |
1181.51/1181.91	c |    200384 |   28513   163388   553420 | 2147483647   200304     96 |  0.502 % |
1192.10/1192.58	c |    201924 |   28513   163388   553420 | 2147483647   201844     96 |  0.502 % |
1203.90/1204.37	c |    203619 |   28513   163388   553420 | 2147483647   203539     96 |  0.502 % |
1216.99/1217.47	c |    205483 |   28513   163388   553420 | 2147483647   205403     96 |  0.502 % |
1227.20/1227.65	c |    207533 |   28513   163388   553420 | 2147483647   207453     96 |  0.502 % |
1227.99/1228.48	c |    207633 |   28513   163388   553420 | 2147483647   207553     96 |  0.502 % |
1229.19/1229.63	c |    207745 |   28513   163388   553420 | 2147483647   207665     96 |  0.502 % |
1230.40/1230.82	c |    207866 |   28513   163388   553420 | 2147483647   207786     96 |  0.502 % |
1231.60/1232.03	c |    208000 |   28513   163388   553420 | 2147483647   207920     96 |  0.502 % |
1232.49/1232.95	c |    208146 |   28513   163388   553420 | 2147483647   208066     96 |  0.502 % |
1234.09/1234.56	c |    208306 |   28513   163388   553420 | 2147483647   208226     96 |  0.502 % |
1236.00/1236.44	c |    208482 |   28513   163388   553420 | 2147483647   208402     96 |  0.502 % |
1237.59/1238.10	c |    208676 |   28513   163388   553420 | 2147483647   208596     96 |  0.502 % |
1239.49/1239.91	c |    208888 |   28513   163388   553420 | 2147483647   208808     96 |  0.502 % |
1241.79/1242.23	c |    209121 |   28513   163388   553420 | 2147483647   209041     96 |  0.502 % |
1244.29/1244.75	c |    209378 |   28513   163388   553420 | 2147483647   209298     96 |  0.502 % |
1246.69/1247.13	c |    209659 |   28513   163388   553420 | 2147483647   209579     96 |  0.502 % |
1248.29/1248.75	c |    209968 |   28513   163388   553420 | 2147483647   209888     96 |  0.502 % |
1250.78/1251.30	c |    210307 |   28513   163388   553420 | 2147483647   210227     96 |  0.502 % |
1253.49/1253.91	c |    210680 |   28513   163388   553420 | 2147483647   210600     96 |  0.502 % |
1256.58/1257.04	c |    211090 |   28513   163388   553420 | 2147483647   211010     96 |  0.502 % |
1258.58/1259.08	c |    211540 |   28513   163388   553420 | 2147483647   211460     96 |  0.502 % |
1261.68/1262.18	c |    212034 |   28513   163388   553420 | 2147483647   211954     96 |  0.502 % |
1265.88/1266.35	c |    212576 |   28513   163388   553420 | 2147483647   212496     96 |  0.502 % |
1270.49/1270.99	c |    213173 |   28513   163388   553420 | 2147483647   213093     96 |  0.502 % |
1276.38/1276.84	c |    213829 |   28513   163388   553420 | 2147483647   213749     96 |  0.502 % |
1280.28/1280.72	c |    214550 |   28513   163388   553420 | 2147483647   214470     96 |  0.502 % |
1287.88/1288.40	c |    215344 |   28513   163388   553420 | 2147483647   215264     96 |  0.502 % |
1293.68/1294.16	c |    216217 |   28513   163388   553420 | 2147483647   216137     96 |  0.502 % |
1301.88/1302.32	c |    217177 |   28513   163388   553420 | 2147483647   217097     96 |  0.502 % |
1307.87/1308.37	c |    218230 |   28513   163388   553420 | 2147483647   218150     96 |  0.502 % |
1317.76/1318.29	c |    219388 |   28513   163388   553420 | 2147483647   219308     96 |  0.502 % |
1325.26/1325.75	c |    220661 |   28513   163388   553420 | 2147483647   220581     96 |  0.502 % |
1333.56/1334.02	c |    222062 |   28513   163388   553420 | 2147483647   221982     96 |  0.502 % |
1345.76/1346.26	c |    223602 |   28513   163388   553420 | 2147483647   223522     96 |  0.502 % |
1358.46/1358.93	c |    225298 |   28513   163388   553420 | 2147483647   225218     96 |  0.502 % |
1370.95/1371.44	c |    227161 |   28513   163388   553420 | 2147483647   227081     96 |  0.502 % |
1380.25/1380.70	c |    229212 |   28513   163388   553420 | 2147483647   229132     95 |  0.502 % |
1395.35/1395.86	c |    231465 |   28513   163388   553420 | 2147483647   231385     96 |  0.502 % |
1396.24/1396.73	c |    231565 |   28513   163388   553420 | 2147483647   231485     96 |  0.502 % |
1397.45/1397.90	c |    231675 |   28513   163388   553420 | 2147483647   231595     96 |  0.502 % |
1398.35/1398.86	c |    231798 |   28513   163388   553420 | 2147483647   231718     96 |  0.502 % |
1399.35/1399.85	c |    231931 |   28513   163388   553420 | 2147483647   231851     96 |  0.502 % |
1400.65/1401.16	c |    232077 |   28513   163388   553420 | 2147483647   231997     96 |  0.502 % |
1401.95/1402.41	c |    232238 |   28513   163388   553420 | 2147483647   232158     96 |  0.502 % |
1401.95/1402.47	c |    232415 |   28513   163388   553420 | 2147483647   232335     96 |  0.502 % |
1402.45/1402.96	c |    232608 |   28513   163388   553420 | 2147483647   232528     96 |  0.502 % |
1403.95/1404.47	c |    232821 |   28513   163388   553420 | 2147483647   232741     96 |  0.502 % |
1405.95/1406.47	c |    233056 |   28513   163388   553420 | 2147483647   232976     96 |  0.502 % |
1407.45/1407.92	c |    233313 |   28513   163388   553420 | 2147483647   233233     96 |  0.502 % |
1409.65/1410.17	c |    233594 |   28513   163388   553420 | 2147483647   233514     96 |  0.502 % |
1412.05/1412.51	c |    233903 |   28513   163388   553420 | 2147483647   233823     96 |  0.502 % |
1413.95/1414.43	c |    234243 |   28513   163388   553420 | 2147483647   234163     96 |  0.502 % |
1416.04/1416.50	c |    234615 |   28513   163388   553420 | 2147483647   234535     96 |  0.502 % |
1419.85/1420.32	c |    235025 |   28513   163388   553420 | 2147483647   234945     96 |  0.502 % |
1424.24/1424.74	c |    235475 |   28513   163388   553420 | 2147483647   235395     96 |  0.502 % |
1428.14/1428.67	c |    235968 |   28513   163388   553420 | 2147483647   235888     96 |  0.502 % |
1433.24/1433.73	c |    236510 |   28513   163388   553420 | 2147483647   236430     96 |  0.502 % |
1439.94/1440.45	c |    237107 |   28513   163388   553420 | 2147483647   237027     96 |  0.502 % |
1445.43/1445.94	c |    237762 |   28513   163388   553420 | 2147483647   237682     96 |  0.502 % |
1450.23/1450.71	c |    238483 |   28513   163388   553420 | 2147483647   238403     96 |  0.502 % |
1456.23/1456.78	c |    239276 |   28513   163388   553420 | 2147483647   239196     96 |  0.502 % |
1465.93/1466.43	c |    240147 |   28513   163388   553420 | 2147483647   240067     96 |  0.502 % |
1472.83/1473.33	c |    241105 |   28513   163388   553420 | 2147483647   241025     96 |  0.502 % |
1481.43/1481.98	c |    242160 |   28513   163388   553420 | 2147483647   242080     97 |  0.502 % |
1489.72/1490.20	c |    243318 |   28513   163388   553420 | 2147483647   243238     97 |  0.502 % |
1499.82/1500.37	c |    244591 |   28513   163388   553420 | 2147483647   244511     97 |  0.502 % |
1513.51/1514.03	c |    245991 |   28513   163388   553420 | 2147483647   245911     97 |  0.502 % |
1523.22/1523.73	c |    247531 |   28513   163388   553420 | 2147483647   247451     97 |  0.502 % |
1539.61/1540.11	c |    249225 |   28513   163388   553420 | 2147483647   249145     97 |  0.502 % |
1555.20/1555.76	c |    251089 |   28513   163388   553420 | 2147483647   251009     97 |  0.502 % |
1569.70/1570.28	c |    253138 |   28513   163388   553420 | 2147483647   253058     98 |  0.502 % |
1589.70/1590.20	c |    255391 |   28513   163388   553420 | 2147483647   255311     98 |  0.502 % |
1609.79/1610.31	c |    257870 |   28513   163388   553420 | 2147483647   257790     98 |  0.502 % |
1610.79/1611.31	c |    257970 |   28513   163388   553420 | 2147483647   257890     98 |  0.502 % |
1611.59/1612.17	c |    258080 |   28513   163388   553420 | 2147483647   258000     98 |  0.502 % |
1612.39/1612.98	c |    258202 |   28513   163388   553420 | 2147483647   258122     98 |  0.502 % |
1613.38/1613.92	c |    258336 |   28513   163388   553420 | 2147483647   258256     98 |  0.502 % |
1614.78/1615.32	c |    258482 |   28513   163388   553420 | 2147483647   258402     98 |  0.502 % |
1615.99/1616.59	c |    258642 |   28513   163388   553420 | 2147483647   258562     98 |  0.502 % |
1616.98/1617.56	c |    258818 |   28513   163388   553420 | 2147483647   258738     98 |  0.502 % |
1618.69/1619.28	c |    259012 |   28513   163388   553420 | 2147483647   258932     98 |  0.502 % |
1620.28/1620.83	c |    259226 |   28513   163388   553420 | 2147483647   259146     98 |  0.502 % |
1622.28/1622.82	c |    259459 |   28513   163388   553420 | 2147483647   259379     98 |  0.502 % |
1624.99/1625.56	c |    259715 |   28513   163388   553420 | 2147483647   259635     98 |  0.502 % |
1626.79/1627.36	c |    259998 |   28513   163388   553420 | 2147483647   259918     98 |  0.502 % |
1629.99/1630.55	c |    260308 |   28513   163388   553420 | 2147483647   260228     98 |  0.502 % |
1633.09/1633.65	c |    260647 |   28513   163388   553420 | 2147483647   260567     98 |  0.502 % |
1636.29/1636.84	c |    261019 |   28513   163388   553420 | 2147483647   260939     98 |  0.502 % |
1639.18/1639.70	c |    261428 |   28513   163388   553420 | 2147483647   261348     98 |  0.502 % |
1643.78/1644.36	c |    261877 |   28513   163388   553420 | 2147483647   261797     99 |  0.502 % |
1647.48/1648.02	c |    262371 |   28513   163388   553420 | 2147483647   262291     99 |  0.502 % |
1651.38/1651.90	c |    262913 |   28513   163388   553420 | 2147483647   262833     99 |  0.502 % |
1656.78/1657.34	c |    263510 |   28513   163388   553420 | 2147483647   263430     99 |  0.502 % |
1661.48/1662.07	c |    264165 |   28513   163388   553420 | 2147483647   264085     99 |  0.502 % |
1668.17/1668.79	c |    264887 |   28513   163388   553420 | 2147483647   264807     99 |  0.502 % |
1673.77/1674.38	c |    265681 |   28513   163388   553420 | 2147483647   265601     99 |  0.502 % |
1681.77/1682.32	c |    266553 |   28513   163388   553420 | 2147483647   266473     99 |  0.502 % |
1688.16/1688.77	c |    267512 |   28513   163388   553420 | 2147483647   267432     99 |  0.502 % |
1697.06/1697.65	c |    268565 |   28513   163388   553420 | 2147483647   268485     99 |  0.502 % |
1710.07/1710.62	c |    269723 |   28513   163388   553420 | 2147483647   269643     99 |  0.502 % |
1720.56/1721.19	c |    270997 |   28513   163388   553420 | 2147483647   270917     99 |  0.502 % |
1729.16/1729.75	c |    272399 |   28513   163388   553420 | 2147483647   272319     99 |  0.502 % |
1740.45/1741.08	c |    273941 |   28513   163388   553420 | 2147483647   273861    100 |  0.502 % |
1749.85/1750.43	c |    275636 |   28513   163388   553420 | 2147483647   275556     99 |  0.502 % |
1768.94/1769.50	c |    277499 |   28513   163388   553420 | 2147483647   277419     99 |  0.502 % |
1787.04/1787.61	c |    279548 |   28513   163388   553420 | 2147483647   279468    100 |  0.503 % |
1802.64/1803.24	c |    281804 |   28513   163388   553420 | 2147483647   281724     99 |  0.502 % |
1824.33/1824.99	c |    284282 |   28513   163388   553420 | 2147483647   284202    100 |  0.502 % |
1846.72/1847.38	c |    287008 |   28513   163388   553420 | 2147483647   286928     99 |  0.502 % |
1847.52/1848.11	c |    287110 |   28513   163388   553420 | 2147483647   287030     99 |  0.502 % |
1848.82/1849.47	c |    287220 |   28513   163388   553420 | 2147483647   287140     99 |  0.502 % |
1850.22/1850.86	c |    287341 |   28513   163388   553420 | 2147483647   287261     99 |  0.502 % |
1851.92/1852.53	c |    287474 |   28513   163388   553420 | 2147483647   287394     99 |  0.502 % |
1852.92/1853.59	c |    287620 |   28513   163388   553420 | 2147483647   287540     99 |  0.502 % |
1854.72/1855.35	c |    287781 |   28513   163388   553420 | 2147483647   287701     99 |  0.502 % |
1856.03/1856.62	c |    287960 |   28513   163388   553420 | 2147483647   287880     99 |  0.502 % |
1857.92/1858.55	c |    288154 |   28513   163388   553420 | 2147483647   288074     99 |  0.502 % |
1859.82/1860.43	c |    288367 |   28513   163388   553420 | 2147483647   288287     99 |  0.502 % |
1861.92/1862.52	c |    288602 |   28513   163388   553420 | 2147483647   288522     99 |  0.502 % |
1863.52/1864.19	c |    288858 |   28513   163388   553420 | 2147483647   288778     99 |  0.502 % |
1865.32/1865.93	c |    289139 |   28513   163388   553420 | 2147483647   289059     99 |  0.502 % |
1868.02/1868.65	c |    289448 |   28513   163388   553420 | 2147483647   289368     99 |  0.502 % |
1869.52/1870.16	c |    289789 |   28513   163388   553420 | 2147483647   289709     99 |  0.502 % |
1872.92/1873.59	c |    290162 |   28513   163388   553420 | 2147483647   290082     99 |  0.502 % |
1876.22/1876.88	c |    290571 |   28513   163388   553420 | 2147483647   290491     99 |  0.502 % |
1880.42/1881.06	c |    291020 |   28513   163388   553420 | 2147483647   290940     99 |  0.502 % |
1884.82/1885.41	c |    291514 |   28513   163388   553420 | 2147483647   291434     99 |  0.502 % |
1890.01/1890.67	c |    292058 |   28513   163388   553420 | 2147483647   291978     99 |  0.502 % |
1894.11/1894.77	c |    292657 |   28513   163388   553420 | 2147483647   292577     99 |  0.502 % |
1899.11/1899.80	c |    293312 |   28513   163388   553420 | 2147483647   293232     99 |  0.502 % |
1905.31/1905.99	c |    294032 |   28513   163388   553420 | 2147483647   293952     99 |  0.502 % |
1910.01/1910.64	c |    294824 |   28513   163388   553420 | 2147483647   294744     99 |  0.502 % |
1911.80/1912.43	c |    295697 |   28513   163388   553420 | 2147483647   295617     99 |  0.502 % |
1920.70/1921.30	c |    296656 |   28513   163388   553420 | 2147483647   296576     99 |  0.502 % |
1931.19/1931.84	c |    297709 |   28513   163388   553420 | 2147483647   297629     99 |  0.502 % |
1941.49/1942.20	c |    298868 |   28513   163388   553420 | 2147483647   298788     99 |  0.502 % |
1951.50/1952.15	c |    300142 |   28513   163388   553420 | 2147483647   300062     99 |  0.502 % |
1960.39/1961.10	c |    301543 |   28513   163388   553420 | 2147483647   301463     99 |  0.502 % |
1973.49/1974.13	c |    303084 |   28513   163388   553420 | 2147483647   303004     99 |  0.502 % |
1991.18/1991.89	c |    304778 |   28513   163388   553420 | 2147483647   304698     99 |  0.502 % |
2007.77/2008.43	c |    306642 |   28513   163388   553420 | 2147483647   306562     99 |  0.502 % |
2026.88/2027.53	c |    308691 |   28513   163388   553420 | 2147483647   308611    100 |  0.502 % |
2044.18/2044.86	c |    310944 |   28513   163388   553420 | 2147483647   310864     99 |  0.502 % |
2067.96/2068.60	c |    313422 |   28513   163388   553420 | 2147483647   313342    100 |  0.502 % |
2097.06/2097.71	c |    316148 |   28513   163388   553420 | 2147483647   316068    100 |  0.502 % |
2124.84/2125.52	c |    319145 |   28513   163388   553420 | 2147483647   319065    100 |  0.502 % |
2125.04/2125.77	c |    319245 |   28513   163388   553420 | 2147483647   319165    100 |  0.502 % |
2125.14/2125.84	c |    319355 |   28513   163388   553420 | 2147483647   319275    100 |  0.502 % |
2126.34/2127.08	c |    319477 |   28513   163388   553420 | 2147483647   319397    100 |  0.502 % |
2127.04/2127.76	c |    319610 |   28513   163388   553420 | 2147483647   319530    100 |  0.502 % |
2127.24/2128.00	c |    319757 |   28513   163388   553420 | 2147483647   319677    100 |  0.502 % |
2128.94/2129.61	c |    319918 |   28513   163388   553420 | 2147483647   319838    100 |  0.502 % |
2131.04/2131.72	c |    320094 |   28513   163388   553420 | 2147483647   320014    100 |  0.502 % |
2133.14/2133.81	c |    320287 |   28513   163388   553420 | 2147483647   320207    100 |  0.502 % |
2135.64/2136.36	c |    320500 |   28513   163388   553420 | 2147483647   320420    100 |  0.502 % |
2137.24/2137.92	c |    320734 |   28513   163388   553420 | 2147483647   320654    100 |  0.502 % |
2138.24/2138.94	c |    320993 |   28513   163388   553420 | 2147483647   320913    100 |  0.502 % |
2141.74/2142.43	c |    321274 |   28513   163388   553420 | 2147483647   321194    100 |  0.502 % |
2145.65/2146.31	c |    321584 |   28513   163388   553420 | 2147483647   321504    100 |  0.502 % |
2149.94/2150.62	c |    321923 |   28513   163388   553420 | 2147483647   321843    100 |  0.502 % |
2153.84/2154.57	c |    322296 |   28513   163388   553420 | 2147483647   322216    100 |  0.502 % |
2157.04/2157.73	c |    322705 |   28513   163388   553420 | 2147483647   322625    100 |  0.502 % |
2162.14/2162.89	c |    323154 |   28513   163388   553420 | 2147483647   323074    100 |  0.502 % |
2165.74/2166.44	c |    323648 |   28513   163388   553420 | 2147483647   323568    100 |  0.502 % |
2172.13/2172.84	c |    324190 |   28513   163388   553420 | 2147483647   324110    100 |  0.502 % |
2179.03/2179.73	c |    324787 |   28513   163388   553420 | 2147483647   324707    100 |  0.502 % |
2185.33/2186.01	c |    325442 |   28513   163388   553420 | 2147483647   325362    100 |  0.502 % |
2189.03/2189.74	c |    326164 |   28513   163388   553420 | 2147483647   326084    100 |  0.502 % |
2194.42/2195.14	c |    326957 |   28513   163388   553420 | 2147483647   326877    100 |  0.502 % |
2203.02/2203.75	c |    327830 |   28513   163388   553420 | 2147483647   327750    100 |  0.502 % |
2211.62/2212.38	c |    328788 |   28513   163388   553420 | 2147483647   328708    100 |  0.502 % |
2217.62/2218.35	c |    329841 |   28513   163388   553420 | 2147483647   329761    100 |  0.502 % |
2227.71/2228.48	c |    330999 |   28513   163388   553420 | 2147483647   330919    100 |  0.502 % |
2238.72/2239.47	c |    332273 |   28513   163388   553420 | 2147483647   332193    100 |  0.502 % |
2247.02/2247.74	c |    333675 |   28513   163388   553420 | 2147483647   333595    100 |  0.502 % |
2255.32/2256.03	c |    335215 |   28513   163388   553420 | 2147483647   335135    100 |  0.502 % |
2265.51/2266.29	c |    336910 |   28513   163388   553420 | 2147483647   336830    100 |  0.502 % |
2282.31/2283.05	c |    338774 |   28513   163388   553420 | 2147483647   338694    100 |  0.502 % |
2303.60/2304.36	c |    340824 |   28513   163388   553420 | 2147483647   340744    100 |  0.502 % |
2325.29/2326.08	c |    343077 |   28513   163388   553420 | 2147483647   342997    100 |  0.502 % |
2345.28/2346.03	c |    345557 |   28513   163388   553420 | 2147483647   345477     99 |  0.502 % |
2368.38/2369.15	c |    348282 |   28513   163388   553420 | 2147483647   348202    100 |  0.502 % |
2386.67/2387.41	c |    351280 |   28513   163388   553420 | 2147483647   351200     99 |  0.502 % |
2414.47/2415.26	c |    354576 |   28513   163388   553420 | 2147483647   354496    100 |  0.502 % |
2415.27/2416.04	c |    354676 |   28513   163388   553420 | 2147483647   354596    100 |  0.502 % |
2416.67/2417.47	c |    354786 |   28513   163388   553420 | 2147483647   354706    100 |  0.502 % |
2418.07/2418.88	c |    354908 |   28513   163388   553420 | 2147483647   354828    100 |  0.502 % |
2419.87/2420.61	c |    355042 |   28513   163388   553420 | 2147483647   354962    100 |  0.503 % |
2421.67/2422.47	c |    355189 |   28513   163388   553420 | 2147483647   355109    100 |  0.502 % |
2423.57/2424.40	c |    355349 |   28513   163388   553420 | 2147483647   355269    100 |  0.502 % |
2425.87/2426.62	c |    355526 |   28513   163388   553420 | 2147483647   355446    100 |  0.502 % |
2427.66/2428.46	c |    355719 |   28513   163388   553420 | 2147483647   355639    100 |  0.502 % |
2430.27/2431.07	c |    355931 |   28513   163388   553420 | 2147483647   355851    100 |  0.502 % |
2432.96/2433.79	c |    356166 |   28513   163388   553420 | 2147483647   356086    100 |  0.502 % |
2436.16/2436.94	c |    356423 |   28513   163388   553420 | 2147483647   356343    100 |  0.502 % |
2436.77/2437.51	c |    356704 |   28513   163388   553420 | 2147483647   356624    100 |  0.502 % |
2438.26/2439.00	c |    357013 |   28513   163388   553420 | 2147483647   356933    100 |  0.502 % |
2441.86/2442.69	c |    357352 |   28513   163388   553420 | 2147483647   357272    100 |  0.502 % |
2446.16/2446.92	c |    357724 |   28513   163388   553420 | 2147483647   357644    100 |  0.502 % |
2450.56/2451.37	c |    358134 |   28513   163388   553420 | 2147483647   358054    100 |  0.502 % |
2454.46/2455.26	c |    358584 |   28513   163388   553420 | 2147483647   358504    100 |  0.502 % |
2459.55/2460.36	c |    359077 |   28513   163388   553420 | 2147483647   358997    100 |  0.502 % |
2465.65/2466.41	c |    359622 |   28513   163388   553420 | 2147483647   359542    100 |  0.502 % |
2471.15/2471.98	c |    360219 |   28513   163388   553420 | 2147483647   360139    100 |  0.502 % |
2476.74/2477.59	c |    360875 |   28513   163388   553420 | 2147483647   360795    100 |  0.502 % |
2483.84/2484.66	c |    361596 |   28513   163388   553420 | 2147483647   361516    100 |  0.502 % |
2491.54/2492.35	c |    362389 |   28513   163388   553420 | 2147483647   362309    100 |  0.502 % |
2499.74/2500.54	c |    363260 |   28512   163380   553392 | 2147483647   363173    100 |  0.506 % |
2508.34/2509.13	c |    364219 |   28512   163380   553392 | 2147483647   364132    100 |  0.506 % |
2520.94/2521.72	c |    365274 |   28512   163380   553392 | 2147483647   365187    100 |  0.506 % |
2531.03/2531.85	c |    366434 |   28512   163380   553392 | 2147483647   366347    100 |  0.506 % |
2540.63/2541.44	c |    367707 |   28512   163380   553392 | 2147483647   367620    100 |  0.506 % |
2552.82/2553.62	c |    369107 |   28512   163380   553392 | 2147483647   369020    100 |  0.506 % |
2569.22/2570.04	c |    370648 |   28512   163380   553392 | 2147483647   370561    101 |  0.506 % |
2583.72/2584.57	c |    372342 |   28512   163380   553392 | 2147483647   372255    101 |  0.506 % |
2604.02/2604.82	c |    374206 |   28512   163380   553392 | 2147483647   374119    100 |  0.506 % |
2627.81/2628.69	c |    376255 |   28512   163380   553392 | 2147483647   376168    101 |  0.506 % |
2649.20/2650.09	c |    378508 |   28512   163380   553392 | 2147483647   378421    101 |  0.506 % |
2674.10/2674.98	c |    380986 |   28512   163380   553392 | 2147483647   380899    101 |  0.506 % |
2697.99/2698.80	c |    383713 |   28512   163380   553392 | 2147483647   383626    101 |  0.506 % |
2731.29/2732.12	c |    386710 |   28512   163380   553392 | 2147483647   386623    102 |  0.506 % |
2762.58/2763.43	c |    390006 |   28512   163380   553392 | 2147483647   389919    101 |  0.506 % |
2795.06/2795.94	c |    393631 |   28512   163380   553392 | 2147483647   393544    102 |  0.506 % |
2796.07/2796.94	c |    393731 |   28512   163380   553392 | 2147483647   393644    102 |  0.506 % |
2796.96/2797.83	c |    393842 |   28512   163380   553392 | 2147483647   393755    102 |  0.506 % |
2798.67/2799.56	c |    393964 |   28512   163380   553392 | 2147483647   393877    102 |  0.506 % |
2799.67/2800.51	c |    394099 |   28512   163380   553392 | 2147483647   394012    102 |  0.506 % |
2801.26/2802.13	c |    394247 |   28512   163380   553392 | 2147483647   394160    102 |  0.506 % |
2802.97/2803.85	c |    394408 |   28512   163380   553392 | 2147483647   394321    102 |  0.506 % |
2805.17/2806.05	c |    394585 |   28512   163380   553392 | 2147483647   394498    102 |  0.506 % |
2807.36/2808.30	c |    394779 |   28512   163380   553392 | 2147483647   394692    102 |  0.506 % |
2809.96/2810.87	c |    394993 |   28512   163380   553392 | 2147483647   394906    102 |  0.506 % |
2812.06/2812.90	c |    395226 |   28512   163380   553392 | 2147483647   395139    102 |  0.506 % |
2814.26/2815.17	c |    395482 |   28512   163380   553392 | 2147483647   395395    102 |  0.506 % |
2817.26/2818.16	c |    395764 |   28512   163380   553392 | 2147483647   395677    102 |  0.506 % |
2820.36/2821.29	c |    396075 |   28512   163380   553392 | 2147483647   395988    102 |  0.506 % |
2824.35/2825.23	c |    396415 |   28512   163380   553392 | 2147483647   396328    102 |  0.506 % |
2829.05/2829.99	c |    396787 |   28512   163380   553392 | 2147483647   396700    102 |  0.506 % |
2832.66/2833.55	c |    397197 |   28512   163380   553392 | 2147483647   397110    102 |  0.506 % |
2836.45/2837.37	c |    397647 |   28512   163380   553392 | 2147483647   397560    102 |  0.506 % |
2840.55/2841.40	c |    398141 |   28512   163380   553392 | 2147483647   398054    102 |  0.506 % |
2846.65/2847.58	c |    398684 |   28512   163380   553392 | 2147483647   398597    102 |  0.506 % |
2852.56/2853.41	c |    399280 |   28512   163380   553392 | 2147483647   399193    102 |  0.506 % |
2858.45/2859.31	c |    399935 |   28512   163380   553392 | 2147483647   399848    102 |  0.506 % |
2866.15/2867.00	c |    400655 |   28512   163380   553392 | 2147483647   400568    102 |  0.506 % |
2871.35/2872.21	c |    401448 |   28512   163380   553392 | 2147483647   401361    102 |  0.506 % |
2879.84/2880.72	c |    402321 |   28512   163380   553392 | 2147483647   402234    102 |  0.506 % |
2888.74/2889.68	c |    403280 |   28512   163380   553392 | 2147483647   403193    101 |  0.506 % |
2900.43/2901.34	c |    404333 |   28512   163380   553392 | 2147483647   404246    102 |  0.506 % |
2912.53/2913.47	c |    405491 |   28512   163380   553392 | 2147483647   405404    102 |  0.506 % |
2923.02/2923.97	c |    406765 |   28512   163380   553392 | 2147483647   406678    102 |  0.506 % |
2939.82/2940.79	c |    408166 |   28512   163380   553392 | 2147483647   408079    101 |  0.506 % |
2955.32/2956.28	c |    409706 |   28512   163380   553392 | 2147483647   409619    101 |  0.506 % |
2970.62/2971.51	c |    411400 |   28512   163380   553392 | 2147483647   411313    102 |  0.506 % |
2989.01/2989.91	c |    413264 |   28512   163380   553392 | 2147483647   413177    102 |  0.506 % |
3010.11/3011.03	c |    415314 |   28512   163380   553392 | 2147483647   415227    102 |  0.506 % |
3028.40/3029.37	c |    417567 |   28512   163380   553392 | 2147483647   417480    102 |  0.506 % |
3050.80/3051.72	c |    420047 |   28512   163380   553392 | 2147483647   419960    102 |  0.506 % |
3072.99/3073.94	c |    422773 |   28512   163380   553392 | 2147483647   422686    102 |  0.506 % |
3105.39/3106.35	c |    425772 |   28512   163380   553392 | 2147483647   425685    102 |  0.506 % |
3134.17/3135.10	c |    429068 |   28512   163380   553392 | 2147483647   428981    103 |  0.506 % |
3168.16/3169.14	c |    432694 |   28512   163380   553392 | 2147483647   432607    102 |  0.506 % |
3195.75/3196.70	c |    436681 |   28512   163380   553392 | 2147483647   436594    102 |  0.506 % |
3197.15/3198.16	c |    436782 |   28512   163380   553392 | 2147483647   436695    102 |  0.506 % |
3198.55/3199.59	c |    436892 |   28512   163380   553392 | 2147483647   436805    102 |  0.506 % |
3199.95/3200.93	c |    437014 |   28512   163380   553392 | 2147483647   436927    102 |  0.506 % |
3201.55/3202.54	c |    437147 |   28512   163380   553392 | 2147483647   437060    102 |  0.506 % |
3203.55/3204.50	c |    437294 |   28512   163380   553392 | 2147483647   437207    102 |  0.506 % |
3205.06/3206.07	c |    437455 |   28512   163380   553392 | 2147483647   437368    102 |  0.506 % |
3206.76/3207.77	c |    437631 |   28512   163380   553392 | 2147483647   437544    102 |  0.506 % |
3208.66/3209.66	c |    437825 |   28512   163380   553392 | 2147483647   437738    102 |  0.506 % |
3211.25/3212.28	c |    438038 |   28512   163380   553392 | 2147483647   437951    102 |  0.506 % |
3213.16/3214.16	c |    438271 |   28512   163380   553392 | 2147483647   438184    102 |  0.506 % |
3216.95/3217.93	c |    438528 |   28512   163380   553392 | 2147483647   438441    102 |  0.506 % |
3220.55/3221.58	c |    438809 |   28512   163380   553392 | 2147483647   438722    102 |  0.506 % |
3224.64/3225.64	c |    439120 |   28512   163380   553392 | 2147483647   439033    102 |  0.506 % |
3229.24/3230.27	c |    439459 |   28512   163380   553392 | 2147483647   439372    102 |  0.506 % |
3234.64/3235.61	c |    439831 |   28512   163380   553392 | 2147483647   439744    102 |  0.506 % |
3237.44/3238.44	c |    440241 |   28512   163380   553392 | 2147483647   440154    102 |  0.506 % |
3239.54/3240.57	c |    440690 |   28512   163380   553392 | 2147483647   440603    102 |  0.506 % |
3245.14/3246.20	c |    441185 |   28512   163380   553392 | 2147483647   441098    102 |  0.506 % |
3252.13/3253.18	c |    441728 |   28512   163380   553392 | 2147483647   441641    102 |  0.506 % |
3257.43/3258.49	c |    442324 |   28512   163380   553392 | 2147483647   442237    102 |  0.506 % |
3264.13/3265.15	c |    442979 |   28512   163380   553392 | 2147483647   442892    102 |  0.506 % |
3269.63/3270.65	c |    443699 |   28512   163380   553392 | 2147483647   443612    102 |  0.506 % |
3275.73/3276.77	c |    444491 |   28512   163380   553392 | 2147483647   444404    102 |  0.506 % |
3286.03/3287.08	c |    445362 |   28512   163380   553392 | 2147483647   445275    102 |  0.506 % |
3294.02/3295.07	c |    446320 |   28512   163380   553392 | 2147483647   446233    102 |  0.506 % |
3297.02/3298.05	c |    447374 |   28512   163380   553392 | 2147483647   447287    102 |  0.506 % |
3309.02/3310.02	c |    448532 |   28512   163380   553392 | 2147483647   448445    102 |  0.506 % |
3323.52/3324.56	c |    449805 |   28512   163380   553392 | 2147483647   449718    102 |  0.506 % |
3336.51/3337.56	c |    451206 |   28512   163380   553392 | 2147483647   451119    102 |  0.506 % |
3349.41/3350.50	c |    452747 |   28512   163380   553392 | 2147483647   452660    102 |  0.506 % |
3370.60/3371.64	c |    454441 |   28512   163380   553392 | 2147483647   454354    102 |  0.506 % |
3389.60/3390.67	c |    456305 |   28512   163380   553392 | 2147483647   456218    102 |  0.506 % |
3413.40/3414.41	c |    458354 |   28512   163380   553392 | 2147483647   458267    102 |  0.506 % |
3429.79/3430.83	c |    460607 |   28512   163380   553392 | 2147483647   460520    102 |  0.506 % |
3451.78/3452.87	c |    463085 |   28512   163380   553392 | 2147483647   462998    102 |  0.506 % |
3478.87/3479.92	c |    465810 |   28512   163380   553392 | 2147483647   465723    102 |  0.506 % |
3509.37/3510.48	c |    468807 |   28512   163380   553392 | 2147483647   468720    102 |  0.506 % |
3537.96/3539.07	c |    472103 |   28512   163380   553392 | 2147483647   472016    102 |  0.506 % |
3572.55/3573.61	c |    475729 |   28512   163380   553392 | 2147483647   475642    102 |  0.506 % |
3609.64/3610.70	c |    479716 |   28512   163380   553392 | 2147483647   479629    101 |  0.506 % |
3647.03/3648.18	c |    484103 |   28512   163380   553392 | 2147483647   484016    102 |  0.506 % |
3648.23/3649.31	c |    484205 |   28512   163380   553392 | 2147483647   484118    102 |  0.506 % |
3648.93/3650.07	c |    484315 |   28512   163380   553392 | 2147483647   484228    102 |  0.506 % |
3650.43/3651.50	c |    484437 |   28512   163380   553392 | 2147483647   484350    102 |  0.506 % |
3652.13/3653.27	c |    484571 |   28512   163380   553392 | 2147483647   484484    102 |  0.506 % |
3653.22/3654.39	c |    484717 |   28512   163380   553392 | 2147483647   484630    102 |  0.506 % |
3655.23/3656.34	c |    484877 |   28512   163380   553392 | 2147483647   484790    102 |  0.506 % |
3657.12/3658.23	c |    485053 |   28512   163380   553392 | 2147483647   484966    102 |  0.506 % |
3659.02/3660.18	c |    485246 |   28512   163380   553392 | 2147483647   485159    102 |  0.506 % |
3661.32/3662.48	c |    485461 |   28512   163380   553392 | 2147483647   485374    102 |  0.506 % |
3665.13/3666.21	c |    485694 |   28512   163380   553392 | 2147483647   485607    102 |  0.506 % |
3668.02/3669.15	c |    485950 |   28512   163380   553392 | 2147483647   485863    102 |  0.506 % |
3671.02/3672.19	c |    486232 |   28512   163380   553392 | 2147483647   486145    102 |  0.506 % |
3675.02/3676.14	c |    486541 |   28512   163380   553392 | 2147483647   486454    102 |  0.506 % |
3679.11/3680.24	c |    486882 |   28512   163380   553392 | 2147483647   486795    102 |  0.506 % |
3684.71/3685.83	c |    487256 |   28512   163380   553392 | 2147483647   487169    102 |  0.506 % |
3690.51/3691.64	c |    487666 |   28512   163380   553392 | 2147483647   487579    102 |  0.506 % |
3696.02/3697.19	c |    488116 |   28512   163380   553392 | 2147483647   488029    102 |  0.506 % |
3703.12/3704.24	c |    488609 |   28512   163380   553392 | 2147483647   488522    102 |  0.506 % |
3710.01/3711.17	c |    489152 |   28512   163380   553392 | 2147483647   489065    102 |  0.506 % |
3718.11/3719.20	c |    489749 |   28512   163380   553392 | 2147483647   489662    102 |  0.506 % |
3726.61/3727.75	c |    490406 |   28512   163380   553392 | 2147483647   490319    102 |  0.506 % |
3734.21/3735.33	c |    491126 |   28512   163380   553392 | 2147483647   491039    102 |  0.506 % |
3740.60/3741.73	c |    491918 |   28512   163380   553392 | 2147483647   491831    102 |  0.506 % |
3747.10/3748.30	c |    492789 |   28512   163380   553392 | 2147483647   492702    102 |  0.506 % |
3758.49/3759.61	c |    493751 |   28512   163380   553392 | 2147483647   493664    102 |  0.506 % |
3767.09/3768.21	c |    494804 |   28512   163380   553392 | 2147483647   494717    102 |  0.506 % |
3775.89/3777.01	c |    495963 |   28512   163380   553392 | 2147483647   495876    102 |  0.506 % |
3792.09/3793.24	c |    497238 |   28512   163380   553392 | 2147483647   497151    102 |  0.506 % |
3804.49/3805.67	c |    498638 |   28512   163380   553392 | 2147483647   498551    102 |  0.506 % |
3823.28/3824.46	c |    500179 |   28512   163380   553392 | 2147483647   500092    102 |  0.506 % |
3844.47/3845.67	c |    501875 |   28512   163380   553392 | 2147483647   501788    102 |  0.506 % |
3865.47/3866.62	c |    503739 |   28512   163380   553392 | 2147483647   503652    102 |  0.506 % |
3887.07/3888.27	c |    505788 |   28512   163380   553392 | 2147483647   505701    102 |  0.506 % |
3906.86/3908.08	c |    508042 |   28512   163380   553392 | 2147483647   507955    102 |  0.506 % |
3932.55/3933.73	c |    510521 |   28512   163380   553392 | 2147483647   510434    102 |  0.506 % |
3952.74/3953.92	c |    513246 |   28512   163380   553392 | 2147483647   513159    102 |  0.506 % |
3981.04/3982.26	c |    516243 |   28512   163380   553392 | 2147483647   516156    102 |  0.506 % |
4025.93/4027.10	c |    519540 |   28512   163380   553392 | 2147483647   519453    102 |  0.506 % |
4063.81/4065.05	c |    523165 |   28512   163380   553392 | 2147483647   523078    102 |  0.506 % |
4108.41/4109.61	c |    527153 |   28512   163380   553392 | 2147483647   527066    103 |  0.506 % |
4130.80/4132.06	c |    531540 |   28512   163380   553392 | 2147483647   531453    102 |  0.506 % |
4179.59/4180.86	c |    536363 |   28512   163380   553392 | 2147483647   536276    103 |  0.506 % |
4180.89/4182.11	c |    536463 |   28512   163380   553392 | 2147483647   536376    103 |  0.506 % |
4182.69/4183.93	c |    536575 |   28512   163380   553392 | 2147483647   536488    103 |  0.506 % |
4184.69/4185.92	c |    536697 |   28512   163380   553392 | 2147483647   536610    103 |  0.506 % |
4186.78/4188.01	c |    536830 |   28512   163380   553392 | 2147483647   536743    103 |  0.506 % |
4188.69/4189.99	c |    536977 |   28512   163380   553392 | 2147483647   536890    103 |  0.506 % |
4191.58/4192.84	c |    537137 |   28512   163380   553392 | 2147483647   537050    103 |  0.506 % |
4193.68/4194.97	c |    537314 |   28512   163380   553392 | 2147483647   537227    103 |  0.506 % |
4196.18/4197.42	c |    537508 |   28512   163380   553392 | 2147483647   537421    103 |  0.506 % |
4198.48/4199.80	c |    537720 |   28512   163380   553392 | 2147483647   537633    103 |  0.506 % |
4201.98/4203.20	c |    537953 |   28512   163380   553392 | 2147483647   537866    103 |  0.506 % |
4204.08/4205.38	c |    538215 |   28512   163380   553392 | 2147483647   538128    103 |  0.506 % |
4207.18/4208.41	c |    538496 |   28512   163380   553392 | 2147483647   538409    103 |  0.506 % |
4211.78/4213.01	c |    538805 |   28512   163380   553392 | 2147483647   538718    103 |  0.506 % |
4215.38/4216.66	c |    539145 |   28512   163380   553392 | 2147483647   539058    103 |  0.506 % |
4221.08/4222.34	c |    539517 |   28512   163380   553392 | 2147483647   539430    103 |  0.506 % |
4226.37/4227.66	c |    539926 |   28512   163380   553392 | 2147483647   539839    103 |  0.506 % |
4232.27/4233.55	c |    540375 |   28512   163380   553392 | 2147483647   540288    103 |  0.506 % |
4238.87/4240.19	c |    540869 |   28512   163380   553392 | 2147483647   540782    103 |  0.506 % |
4242.87/4244.12	c |    541411 |   28512   163380   553392 | 2147483647   541324    103 |  0.506 % |
4247.67/4248.95	c |    542007 |   28512   163380   553392 | 2147483647   541920    103 |  0.506 % |
4256.06/4257.36	c |    542663 |   28512   163380   553392 | 2147483647   542576    103 |  0.506 % |
4265.36/4266.61	c |    543383 |   28512   163380   553392 | 2147483647   543296    103 |  0.506 % |
4276.75/4278.05	c |    544175 |   28512   163380   553392 | 2147483647   544088    103 |  0.506 % |
4286.32/4287.87	c |    545046 |   28512   163380   553392 | 2147483647   544959    103 |  0.506 % |
4298.33/4300.00	c |    546004 |   28512   163380   553392 | 2147483647   545917    103 |  0.506 % |
4309.62/4311.24	c |    547057 |   28512   163380   553392 | 2147483647   546970    103 |  0.506 % |
4321.42/4323.04	c |    548215 |   28512   163380   553392 | 2147483647   548128    103 |  0.506 % |
4331.01/4332.69	c |    549488 |   28512   163380   553392 | 2147483647   549401    103 |  0.506 % |
4342.31/4343.96	c |    550890 |   28512   163380   553392 | 2147483647   550803    103 |  0.506 % |
4343.41/4345.02	c |    552430 |   28512   163380   553392 | 2147483647   552343    102 |  0.506 % |
4357.70/4359.38	c |    554124 |   28512   163380   553392 | 2147483647   554037    102 |  0.506 % |
4381.70/4383.32	c |    555990 |   28512   163380   553392 | 2147483647   555903    102 |  0.506 % |
4408.59/4410.21	c |    558040 |   28512   163380   553392 | 2147483647   557953    103 |  0.506 % |
4422.98/4424.69	c |    560293 |   28512   163380   553392 | 2147483647   560206    102 |  0.506 % |
4452.28/4453.90	c |    562772 |   28512   163380   553392 | 2147483647   562685    103 |  0.506 % |
4474.87/4476.58	c |    565498 |   28512   163380   553392 | 2147483647   565411    102 |  0.506 % |
4509.46/4511.14	c |    568495 |   28512   163380   553392 | 2147483647   568408    103 |  0.506 % |
4547.16/4548.83	c |    571791 |   28512   163380   553392 | 2147483647   571704    102 |  0.506 % |
4580.04/4581.77	c |    575417 |   28512   163380   553392 | 2147483647   575330    102 |  0.506 % |
4632.33/4634.06	c |    579404 |   28512   163380   553392 | 2147483647   579317    102 |  0.506 % |
4685.12/4686.89	c |    583790 |   28512   163380   553392 | 2147483647   583703    103 |  0.506 % |
4733.41/4735.12	c |    588613 |   28512   163380   553392 | 2147483647   588526    102 |  0.506 % |
4794.79/4796.58	c |    593918 |   28512   163380   553392 | 2147483647   593831    102 |  0.506 % |
4796.29/4798.04	c |    594018 |   28512   163380   553392 | 2147483647   593931    102 |  0.506 % |
4797.89/4799.63	c |    594128 |   28512   163380   553392 | 2147483647   594041    102 |  0.506 % |
4799.59/4801.34	c |    594249 |   28512   163380   553392 | 2147483647   594162    102 |  0.506 % |
4801.49/4803.22	c |    594382 |   28512   163380   553392 | 2147483647   594295    102 |  0.506 % |
4802.59/4804.39	c |    594528 |   28512   163380   553392 | 2147483647   594441    102 |  0.506 % |
4804.69/4806.49	c |    594692 |   28512   163380   553392 | 2147483647   594605    102 |  0.506 % |
4806.79/4808.55	c |    594868 |   28512   163380   553392 | 2147483647   594781    102 |  0.506 % |
4809.99/4811.71	c |    595061 |   28512   163380   553392 | 2147483647   594974    102 |  0.506 % |
4812.78/4814.53	c |    595274 |   28512   163380   553392 | 2147483647   595187    102 |  0.506 % |
4816.38/4818.16	c |    595507 |   28512   163380   553392 | 2147483647   595420    102 |  0.506 % |
4821.08/4822.85	c |    595763 |   28512   163380   553392 | 2147483647   595676    102 |  0.506 % |
4824.18/4825.94	c |    596045 |   28512   163380   553392 | 2147483647   595958    102 |  0.506 % |
4828.88/4830.68	c |    596354 |   28512   163380   553392 | 2147483647   596267    103 |  0.506 % |
4835.18/4836.90	c |    596693 |   28512   163380   553392 | 2147483647   596606    102 |  0.506 % |
4841.17/4842.98	c |    597065 |   28512   163380   553392 | 2147483647   596978    103 |  0.506 % |
4846.98/4848.77	c |    597474 |   28512   163380   553392 | 2147483647   597387    102 |  0.506 % |
4852.97/4854.73	c |    597923 |   28512   163380   553392 | 2147483647   597836    102 |  0.506 % |
4860.77/4862.53	c |    598416 |   28512   163380   553392 | 2147483647   598329    102 |  0.506 % |
4867.56/4869.38	c |    598958 |   28512   163380   553392 | 2147483647   598871    102 |  0.506 % |
4874.47/4876.26	c |    599554 |   28512   163380   553392 | 2147483647   599467    102 |  0.506 % |
4882.56/4884.33	c |    600210 |   28512   163380   553392 | 2147483647   600123    102 |  0.506 % |
4892.36/4894.18	c |    600930 |   28512   163380   553392 | 2147483647   600843    102 |  0.506 % |
4903.06/4904.82	c |    601722 |   28512   163380   553392 | 2147483647   601635    102 |  0.506 % |
4917.36/4919.20	c |    602595 |   28512   163380   553392 | 2147483647   602508    103 |  0.506 % |
4923.96/4925.80	c |    603553 |   28512   163380   553392 | 2147483647   603466    103 |  0.506 % |
4937.65/4939.49	c |    604606 |   28512   163380   553392 | 2147483647   604519    102 |  0.506 % |
4951.85/4953.62	c |    605765 |   28512   163380   553392 | 2147483647   605678    103 |  0.506 % |
4967.84/4969.68	c |    607038 |   28512   163380   553392 | 2147483647   606951    102 |  0.506 % |
4988.73/4990.51	c |    608438 |   28512   163380   553392 | 2147483647   608351    102 |  0.506 % |
5013.22/5015.09	c |    609978 |   28512   163380   553392 | 2147483647   609891    103 |  0.506 % |
5037.72/5039.55	c |    611673 |   28512   163380   553392 | 2147483647   611586    103 |  0.506 % |
5063.81/5065.62	c |    613536 |   28512   163380   553392 | 2147483647   613449    103 |  0.506 % |
5091.41/5093.25	c |    615585 |   28512   163380   553392 | 2147483647   615498    103 |  0.506 % |
5123.60/5125.44	c |    617838 |   28512   163380   553392 | 2147483647   617751    103 |  0.506 % |
5155.49/5157.32	c |    620316 |   28512   163380   553392 | 2147483647   620229    103 |  0.506 % |
5193.28/5195.13	c |    623041 |   28512   163380   553392 | 2147483647   622954    103 |  0.506 % |
5243.76/5245.62	c |    626040 |   28512   163380   553392 | 2147483647   625953    103 |  0.506 % |
5275.95/5277.89	c |    629337 |   28512   163380   553392 | 2147483647   629250    103 |  0.506 % |
5316.45/5318.34	c |    632964 |   28512   163380   553392 | 2147483647   632877    103 |  0.506 % |
5372.93/5374.86	c |    636952 |   28512   163380   553392 | 2147483647   636865    103 |  0.506 % |
5433.01/5434.94	c |    641340 |   28512   163380   553392 | 2147483647   641253    103 |  0.506 % |
5489.10/5491.06	c |    646163 |   28512   163380   553392 | 2147483647   646076    103 |  0.506 % |
5558.98/5560.92	c |    651469 |   28512   163380   553392 | 2147483647   651382    103 |  0.506 % |
5636.46/5638.47	c |    657306 |   28512   163380   553392 | 2147483647   657219    103 |  0.506 % |
5638.36/5640.35	c |    657406 |   28512   163380   553392 | 2147483647   657319    103 |  0.506 % |
5640.16/5642.11	c |    657517 |   28512   163380   553392 | 2147483647   657430    103 |  0.506 % |
5640.66/5642.65	c |    657639 |   28512   163380   553392 | 2147483647   657552    103 |  0.506 % |
5641.06/5643.05	c |    657773 |   28512   163380   553392 | 2147483647   657686    103 |  0.506 % |
5643.46/5645.49	c |    657920 |   28512   163380   553392 | 2147483647   657833    103 |  0.506 % |
5645.96/5647.98	c |    658080 |   28512   163380   553392 | 2147483647   657993    103 |  0.506 % |
5647.46/5649.49	c |    658256 |   28512   163380   553392 | 2147483647   658169    103 |  0.506 % |
5647.56/5649.59	c |    658450 |   28512   163380   553392 | 2147483647   658363    103 |  0.506 % |
5649.35/5651.33	c |    658663 |   28512   163380   553392 | 2147483647   658576    103 |  0.506 % |
5653.45/5655.44	c |    658897 |   28512   163380   553392 | 2147483647   658810    103 |  0.506 % |
5657.75/5659.77	c |    659154 |   28512   163380   553392 | 2147483647   659067    103 |  0.506 % |
5661.15/5663.13	c |    659436 |   28512   163380   553392 | 2147483647   659349    103 |  0.506 % |
5665.05/5667.00	c |    659746 |   28512   163380   553392 | 2147483647   659659    103 |  0.506 % |
5669.85/5671.86	c |    660085 |   28512   163380   553392 | 2147483647   659998    103 |  0.506 % |
5674.75/5676.77	c |    660458 |   28512   163380   553392 | 2147483647   660371    103 |  0.506 % |
5677.85/5679.81	c |    660867 |   28512   163380   553392 | 2147483647   660780    103 |  0.506 % |
5684.95/5687.00	c |    661316 |   28512   163380   553392 | 2147483647   661229    103 |  0.506 % |
5692.44/5694.49	c |    661810 |   28512   163380   553392 | 2147483647   661723    103 |  0.506 % |
5700.53/5702.56	c |    662352 |   28512   163380   553392 | 2147483647   662265    103 |  0.506 % |
5707.04/5709.04	c |    662948 |   28512   163380   553392 | 2147483647   662861    103 |  0.506 % |
5717.03/5719.02	c |    663603 |   28512   163380   553392 | 2147483647   663516    103 |  0.506 % |
5725.53/5727.50	c |    664324 |   28512   163380   553392 | 2147483647   664237    103 |  0.506 % |
5735.93/5737.93	c |    665118 |   28512   163380   553392 | 2147483647   665031    103 |  0.506 % |
5744.03/5746.07	c |    665990 |   28512   163380   553392 | 2147483647   665903    103 |  0.506 % |
5755.83/5757.89	c |    666949 |   28512   163380   553392 | 2147483647   666862    103 |  0.506 % |
5770.52/5772.58	c |    668003 |   28512   163380   553392 | 2147483647   667916    103 |  0.506 % |
5787.32/5789.39	c |    669163 |   28512   163380   553392 | 2147483647   669076    103 |  0.506 % |
5803.11/5805.19	c |    670436 |   28512   163380   553392 | 2147483647   670349    103 |  0.506 % |
5814.81/5816.85	c |    671836 |   28512   163380   553392 | 2147483647   671749    103 |  0.506 % |
5829.40/5831.40	c |    673377 |   28512   163380   553392 | 2147483647   673290    103 |  0.506 % |
5844.60/5846.61	c |    675072 |   28512   163380   553392 | 2147483647   674985    103 |  0.506 % |
5869.29/5871.39	c |    676935 |   28512   163380   553392 | 2147483647   676848    103 |  0.506 % |
5892.48/5894.59	c |    678984 |   28512   163380   553392 | 2147483647   678897    103 |  0.506 % |
5927.38/5929.41	c |    681238 |   28512   163380   553392 | 2147483647   681151    103 |  0.506 % |
5961.27/5963.33	c |    683718 |   28512   163380   553392 | 2147483647   683631    103 |  0.506 % |
5995.26/5997.39	c |    686446 |   28512   163380   553392 | 2147483647   686359    103 |  0.506 % |
6033.05/6035.12	c |    689445 |   28512   163380   553392 | 2147483647   689358    103 |  0.506 % |
6070.84/6072.99	c |    692743 |   28512   163380   553392 | 2147483647   692656    103 |  0.506 % |
6114.83/6117.00	c |    696369 |   28512   163380   553392 | 2147483647   696282    103 |  0.506 % |
6148.22/6150.32	c |    700357 |   28512   163380   553392 | 2147483647   700270    103 |  0.506 % |
6205.31/6207.43	c |    704742 |   28512   163380   553392 | 2147483647   704655    103 |  0.506 % |
6240.99/6243.19	c |    709565 |   28512   163380   553392 | 2147483647   709478    103 |  0.506 % |
6310.87/6313.07	c |    714871 |   28512   163380   553392 | 2147483647   714784    103 |  0.506 % |
6382.16/6384.34	c |    720706 |   28512   163380   553392 | 2147483647   720619    104 |  0.506 % |
6454.94/6457.18	c |    727125 |   28512   163380   553392 | 2147483647   727038    103 |  0.506 % |
6456.54/6458.73	c |    727226 |   28512   163380   553392 | 2147483647   727139    103 |  0.506 % |
6457.74/6459.91	c |    727336 |   28512   163380   553392 | 2147483647   727249    103 |  0.506 % |
6460.34/6462.50	c |    727458 |   28512   163380   553392 | 2147483647   727371    103 |  0.506 % |
6462.14/6464.31	c |    727591 |   28512   163380   553392 | 2147483647   727504    103 |  0.506 % |
6464.74/6466.99	c |    727738 |   28512   163380   553392 | 2147483647   727651    103 |  0.506 % |
6467.74/6469.90	c |    727898 |   28512   163380   553392 | 2147483647   727811    103 |  0.506 % |
6470.14/6472.37	c |    728074 |   28512   163380   553392 | 2147483647   727987    103 |  0.506 % |
6472.83/6475.03	c |    728267 |   28512   163380   553392 | 2147483647   728180    103 |  0.506 % |
6475.53/6477.75	c |    728480 |   28512   163380   553392 | 2147483647   728393    103 |  0.506 % |
6479.43/6481.61	c |    728714 |   28512   163380   553392 | 2147483647   728627    103 |  0.506 % |
6483.53/6485.76	c |    728970 |   28512   163380   553392 | 2147483647   728883    103 |  0.506 % |
6488.83/6491.01	c |    729251 |   28512   163380   553392 | 2147483647   729164    103 |  0.506 % |
6493.42/6495.65	c |    729561 |   28512   163380   553392 | 2147483647   729474    103 |  0.506 % |
6499.42/6501.64	c |    729901 |   28512   163380   553392 | 2147483647   729814    103 |  0.506 % |
6504.92/6507.19	c |    730274 |   28512   163380   553392 | 2147483647   730187    103 |  0.506 % |
6511.01/6513.20	c |    730686 |   28512   163380   553392 | 2147483647   730599    103 |  0.506 % |
6519.22/6521.44	c |    731136 |   28512   163380   553392 | 2147483647   731049    103 |  0.506 % |
6525.72/6527.97	c |    731630 |   28512   163380   553392 | 2147483647   731543    103 |  0.506 % |
6537.01/6539.27	c |    732172 |   28512   163380   553392 | 2147483647   732085    103 |  0.506 % |
6547.51/6549.75	c |    732772 |   28512   163380   553392 | 2147483647   732685    103 |  0.506 % |
6557.01/6559.28	c |    733427 |   28512   163380   553392 | 2147483647   733340    103 |  0.506 % |
6565.50/6567.76	c |    734148 |   28512   163380   553392 | 2147483647   734061    103 |  0.506 % |
6579.10/6581.39	c |    734941 |   28512   163380   553392 | 2147483647   734854    103 |  0.506 % |
6592.00/6594.28	c |    735812 |   28512   163380   553392 | 2147483647   735725    103 |  0.506 % |
6604.60/6606.86	c |    736770 |   28512   163380   553392 | 2147483647   736683    103 |  0.506 % |
6621.19/6623.42	c |    737824 |   28512   163380   553392 | 2147483647   737737    103 |  0.506 % |
6637.89/6640.14	c |    738983 |   28512   163380   553392 | 2147483647   738896    103 |  0.506 % |
6655.58/6657.89	c |    740257 |   28512   163380   553392 | 2147483647   740170    104 |  0.506 % |
6672.88/6675.12	c |    741658 |   28512   163380   553392 | 2147483647   741571    104 |  0.506 % |
6689.87/6692.10	c |    743199 |   28512   163380   553392 | 2147483647   743112    104 |  0.506 % |
6708.47/6710.75	c |    744894 |   28512   163380   553392 | 2147483647   744807    103 |  0.506 % |
6730.36/6732.61	c |    746757 |   28512   163380   553392 | 2147483647   746670    104 |  0.506 % |
6756.46/6758.74	c |    748806 |   28512   163380   553392 | 2147483647   748719    104 |  0.506 % |
6770.85/6773.12	c |    751060 |   28512   163380   553392 | 2147483647   750973    104 |  0.506 % |
6811.14/6813.40	c |    753538 |   28512   163380   553392 | 2147483647   753451    104 |  0.506 % |
6852.03/6854.31	c |    756263 |   28512   163380   553392 | 2147483647   756176    103 |  0.506 % |
6898.22/6900.59	c |    759260 |   28512   163380   553392 | 2147483647   759173    104 |  0.506 % |
6945.81/6948.14	c |    762557 |   28512   163380   553392 | 2147483647   762470    103 |  0.506 % |
6997.49/6999.86	c |    766183 |   28512   163380   553392 | 2147483647   766096    104 |  0.506 % |
7046.57/7048.99	c |    770170 |   28512   163380   553392 | 2147483647   770083    104 |  0.506 % |
7093.27/7095.69	c |    774555 |   28512   163380   553392 | 2147483647   774468    103 |  0.506 % |
7173.65/7176.07	c |    779379 |   28512   163380   553392 | 2147483647   779292    104 |  0.506 % |
7247.92/7250.32	c |    784685 |   28512   163380   553392 | 2147483647   784598    104 |  0.506 % |
7312.01/7314.40	c |    790521 |   28512   163380   553392 | 2147483647   790434    104 |  0.506 % |
7410.39/7412.82	c |    796940 |   28512   163380   553392 | 2147483647   796853    104 |  0.506 % |
7515.45/7517.96	c |    803999 |   28512   163380   553392 | 2147483647   803912    103 |  0.506 % |
7517.55/7520.01	c |    804099 |   28512   163380   553392 | 2147483647   804012    103 |  0.506 % |
7518.55/7521.06	c |    804209 |   28512   163380   553392 | 2147483647   804122    103 |  0.506 % |
7519.55/7522.01	c |    804330 |   28512   163380   553392 | 2147483647   804243    103 |  0.506 % |
7521.85/7524.30	c |    804464 |   28512   163380   553392 | 2147483647   804377    103 |  0.506 % |
7524.45/7526.98	c |    804610 |   28512   163380   553392 | 2147483647   804523    103 |  0.506 % |
7526.75/7529.21	c |    804771 |   28512   163380   553392 | 2147483647   804684    103 |  0.506 % |
7529.65/7532.15	c |    804947 |   28512   163380   553392 | 2147483647   804860    103 |  0.506 % |
7533.24/7535.76	c |    805140 |   28512   163380   553392 | 2147483647   805053    103 |  0.506 % |
7537.04/7539.59	c |    805352 |   28512   163380   553392 | 2147483647   805265    103 |  0.506 % |
7540.74/7543.30	c |    805586 |   28512   163380   553392 | 2147483647   805499    103 |  0.506 % |
7546.44/7548.99	c |    805843 |   28512   163380   553392 | 2147483647   805756    103 |  0.506 % |
7552.14/7554.60	c |    806125 |   28512   163380   553392 | 2147483647   806038    104 |  0.506 % |
7558.23/7560.76	c |    806434 |   28512   163380   553392 | 2147483647   806347    103 |  0.506 % |
7564.64/7567.16	c |    806773 |   28512   163380   553392 | 2147483647   806686    104 |  0.506 % |
7571.14/7573.66	c |    807145 |   28512   163380   553392 | 2147483647   807058    104 |  0.506 % |
7578.53/7581.01	c |    807554 |   28512   163380   553392 | 2147483647   807467    104 |  0.506 % |
7587.54/7590.02	c |    808005 |   28512   163380   553392 | 2147483647   807918    104 |  0.506 % |
7594.73/7597.26	c |    808500 |   28512   163380   553392 | 2147483647   808413    104 |  0.506 % |
7603.83/7606.35	c |    809043 |   28512   163380   553392 | 2147483647   808956    104 |  0.506 % |
7614.32/7616.83	c |    809639 |   28512   163380   553392 | 2147483647   809552    104 |  0.506 % |
7627.12/7629.66	c |    810295 |   28512   163380   553392 | 2147483647   810208    104 |  0.506 % |
7638.71/7641.25	c |    811015 |   28512   163380   553392 | 2147483647   810928    104 |  0.506 % |
7653.41/7655.96	c |    811807 |   28512   163380   553392 | 2147483647   811720    104 |  0.506 % |
7667.50/7670.08	c |    812679 |   28512   163380   553392 | 2147483647   812592    104 |  0.506 % |
7676.20/7678.75	c |    813637 |   28512   163380   553392 | 2147483647   813550    104 |  0.506 % |
7688.20/7690.72	c |    814691 |   28512   163380   553392 | 2147483647   814604    104 |  0.506 % |
7702.29/7704.85	c |    815850 |   28512   163380   553392 | 2147483647   815763    104 |  0.506 % |
7721.80/7724.31	c |    817123 |   28512   163380   553392 | 2147483647   817036    104 |  0.506 % |
7741.19/7743.76	c |    818524 |   28512   163380   553392 | 2147483647   818437    104 |  0.506 % |
7767.08/7769.60	c |    820064 |   28512   163380   553392 |   819913   819977    104 |  0.506 % |
7788.48/7791.09	c |    821759 |   28512   163380   553392 |   819913   730122    102 |  0.506 % |
7814.07/7816.64	c |    823622 |   28512   163380   553392 |   819913   731985    102 |  0.506 % |
7841.57/7844.14	c |    825671 |   28512   163380   553392 |   819913   734034    102 |  0.506 % |
7871.05/7873.68	c |    827925 |   28512   163380   553392 |   819913   736288    102 |  0.506 % |
7900.45/7903.01	c |    830403 |   28512   163380   553392 | 2147483647   738766    102 |  0.506 % |
7927.64/7930.20	c |    833128 |   28512   163380   553392 | 2147483647   741491    102 |  0.506 % |
7970.73/7973.37	c |    836126 |   28512   163380   553392 | 2147483647   744489    102 |  0.506 % |
8023.61/8026.21	c |    839423 |   28512   163380   553392 | 2147483647   747786    102 |  0.506 % |
8065.50/8068.19	c |    843048 |   28512   163380   553392 | 2147483647   751411    102 |  0.506 % |
8116.49/8119.16	c |    847037 |   28512   163380   553392 | 2147483647   755400    102 |  0.506 % |
8182.38/8185.04	c |    851424 |   28512   163380   553392 | 2147483647   759787    102 |  0.506 % |
8243.96/8246.68	c |    856248 |   28512   163380   553392 | 2147483647   764611    102 |  0.506 % |
8310.44/8313.10	c |    861555 |   28512   163380   553392 | 2147483647   769918    102 |  0.506 % |
8400.61/8403.35	c |    867390 |   28512   163380   553392 | 2147483647   775753    102 |  0.506 % |
8494.19/8496.91	c |    873809 |   28511   163372   553364 |   778350   782159    103 |  0.509 % |
8591.16/8593.94	c |    880870 |   28511   163372   553364 |   691605   692472    101 |  0.509 % |
8685.84/8688.67	c |    888634 |   28511   163372   553364 |   691605   613981     98 |  0.509 % |
8686.24/8689.06	c |    888736 |   28511   163372   553364 |   691605   614083     98 |  0.509 % |
8687.84/8690.67	c |    888847 |   28511   163372   553364 |   691605   614194     98 |  0.509 % |
8689.84/8692.62	c |    888968 |   28511   163372   553364 |   691605   614315     98 |  0.509 % |
8691.74/8694.55	c |    889101 |   28511   163372   553364 |   691605   614448     98 |  0.509 % |
8693.53/8696.33	c |    889247 |   28511   163372   553364 |   691605   614594     98 |  0.509 % |
8696.23/8699.07	c |    889408 |   28511   163372   553364 |   691605   614755     98 |  0.509 % |
8698.53/8701.33	c |    889584 |   28511   163372   553364 |   691605   614931     98 |  0.509 % |
8701.23/8704.02	c |    889778 |   28511   163372   553364 |   691605   615125     98 |  0.509 % |
8704.33/8707.15	c |    889991 |   28511   163372   553364 |   691605   615338     98 |  0.509 % |
8708.23/8711.09	c |    890224 |   28511   163372   553364 | 2147483647   615571     98 |  0.509 % |
8712.03/8714.81	c |    890481 |   28511   163372   553364 | 2147483647   615828     98 |  0.509 % |
8716.23/8719.03	c |    890763 |   28511   163372   553364 | 2147483647   616110     98 |  0.509 % |
8720.13/8722.91	c |    891072 |   28511   163372   553364 | 2147483647   616419     98 |  0.509 % |
8724.13/8727.00	c |    891411 |   28511   163372   553364 | 2147483647   616758     98 |  0.509 % |
8728.43/8731.22	c |    891785 |   28511   163372   553364 | 2147483647   617132     98 |  0.509 % |
8734.72/8737.51	c |    892194 |   28511   163372   553364 | 2147483647   617541     98 |  0.509 % |
8740.62/8743.46	c |    892643 |   28511   163372   553364 | 2147483647   617990     98 |  0.509 % |
8745.72/8748.60	c |    893136 |   28511   163372   553364 | 2147483647   618483     98 |  0.509 % |
8751.82/8754.63	c |    893680 |   28511   163372   553364 | 2147483647   619027     98 |  0.509 % |
8760.72/8763.52	c |    894276 |   28511   163372   553364 | 2147483647   619623     98 |  0.509 % |
8769.52/8772.36	c |    894934 |   28511   163372   553364 | 2147483647   620281     98 |  0.509 % |
8778.11/8780.97	c |    895654 |   28511   163372   553364 | 2147483647   621001     98 |  0.509 % |
8790.31/8793.19	c |    896446 |   28511   163372   553364 | 2147483647   621793     98 |  0.509 % |
8798.21/8801.05	c |    897317 |   28511   163372   553364 | 2147483647   622664     98 |  0.509 % |
8811.30/8814.10	c |    898276 |   28511   163372   553364 | 2147483647   623623     98 |  0.509 % |
8826.70/8829.58	c |    899330 |   28511   163372   553364 | 2147483647   624677     98 |  0.509 % |
8839.60/8842.46	c |    900488 |   28511   163372   553364 | 2147483647   625835     98 |  0.509 % |
8855.50/8858.33	c |    901761 |   28511   163372   553364 | 2147483647   627108     98 |  0.509 % |
8872.99/8875.83	c |    903161 |   28511   163372   553364 | 2147483647   628508     98 |  0.509 % |
8890.78/8893.62	c |    904701 |   28511   163372   553364 | 2147483647   630048     98 |  0.509 % |
8908.98/8911.82	c |    906395 |   28511   163372   553364 | 2147483647   631742     98 |  0.509 % |
8933.67/8936.50	c |    908258 |   28511   163372   553364 | 2147483647   633605     98 |  0.509 % |
8957.67/8960.52	c |    910307 |   28511   163372   553364 | 2147483647   635654     98 |  0.509 % |
8983.46/8986.36	c |    912561 |   28511   163372   553364 | 2147483647   637908     98 |  0.509 % |
9016.15/9019.08	c |    915040 |   28511   163372   553364 | 2147483647   640387     98 |  0.509 % |
9052.94/9055.84	c |    917765 |   28511   163372   553364 | 2147483647   643112     98 |  0.509 % |
9089.63/9092.52	c |    920763 |   28511   163372   553364 | 2147483647   646110     99 |  0.509 % |
9135.32/9138.23	c |    924059 |   28511   163372   553364 | 2147483647   649406     99 |  0.509 % |
9175.30/9178.29	c |    927684 |   28511   163372   553364 | 2147483647   653031     99 |  0.509 % |
9226.10/9229.02	c |    931671 |   28511   163372   553364 | 2147483647   657018     99 |  0.509 % |
9280.68/9283.70	c |    936056 |   28511   163372   553364 | 2147483647   661403     98 |  0.509 % |
9341.66/9344.65	c |    940880 |   28511   163372   553364 | 2147483647   666227     99 |  0.509 % |
9409.75/9412.78	c |    946185 |   28511   163372   553364 | 2147483647   671532     99 |  0.509 % |
9465.83/9468.90	c |    952020 |   28511   163372   553364 | 2147483647   677367     98 |  0.509 % |
9542.61/9545.63	c |    958438 |   28511   163372   553364 | 2147483647   683785     99 |  0.509 % |
9634.48/9637.51	c |    965497 |   28511   163372   553364 | 2147483647   690844     99 |  0.509 % |
9731.06/9734.15	c |    973261 |   28511   163372   553364 |   695347   698608    100 |  0.509 % |
9849.03/9852.14	c |    981802 |   28511   163372   553364 |   623435   625237     98 |  0.509 % |
9852.43/9855.55	c |    981902 |   28511   163372   553364 |   623435   562814     94 |  0.509 % |
9853.83/9856.92	c |    982013 |   28511   163372   553364 |   623435   562925     94 |  0.509 % |
9856.03/9859.18	c |    982134 |   28511   163372   553364 |   623435   563046     94 |  0.509 % |
9858.33/9861.47	c |    982268 |   28511   163372   553364 |   623435   563180     94 |  0.509 % |
9860.63/9863.72	c |    982415 |   28511   163372   553364 |   623435   563327     94 |  0.509 % |
9863.32/9866.48	c |    982576 |   28511   163372   553364 |   623435   563488     94 |  0.509 % |
9865.42/9868.52	c |    982754 |   28511   163372   553364 |   623435   563666     94 |  0.509 % |
9869.02/9872.18	c |    982947 |   28511   163372   553364 |   623435   563859     94 |  0.509 % |
9872.62/9875.77	c |    983159 |   28511   163372   553364 |   623435   564071     94 |  0.509 % |
9874.92/9878.05	c |    983392 |   28511   163372   553364 |   623435   564304     94 |  0.509 % |
9877.72/9880.87	c |    983650 |   28511   163372   553364 |   623435   564562     94 |  0.509 % |
9880.52/9883.63	c |    983934 |   28511   163372   553364 |   623435   564846     94 |  0.509 % |
9886.02/9889.14	c |    984243 |   28511   163372   553364 |   623435   565155     94 |  0.509 % |
9890.12/9893.22	c |    984583 |   28511   163372   553364 |   623435   565495     94 |  0.509 % |
9893.12/9896.27	c |    984955 |   28511   163372   553364 |   623435   565867     94 |  0.509 % |
9896.02/9899.17	c |    985365 |   28511   163372   553364 |   623435   566277     94 |  0.509 % |
9899.51/9902.63	c |    985814 |   28511   163372   553364 |   623435   566726     94 |  0.509 % |
9904.41/9907.54	c |    986308 |   28511   163372   553364 |   623435   567220     94 |  0.509 % |
9911.51/9914.67	c |    986850 |   28511   163372   553364 |   623435   567762     94 |  0.509 % |
9919.61/9922.72	c |    987446 |   28511   163372   553364 |   623435   568358     94 |  0.509 % |
9927.61/9930.78	c |    988101 |   28511   163372   553364 |   623435   569013     94 |  0.509 % |
9938.00/9941.11	c |    988822 |   28511   163372   553364 |   623435   569734     94 |  0.509 % |
9949.30/9952.45	c |    989614 |   28511   163372   553364 |   623435   570526     94 |  0.509 % |
9960.70/9963.89	c |    990485 |   28511   163372   553364 | 2147483647   571397     95 |  0.509 % |
9973.59/9976.76	c |    991443 |   28511   163372   553364 | 2147483647   572355     95 |  0.509 % |
9991.29/9994.40	c |    992496 |   28511   163372   553364 | 2147483647   573408     95 |  0.509 % |

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-1837296-1242867038/watcher-1837296-1242867038 -o /tmp/evaluation-result-1837296-1242867038/solver-1837296-1242867038 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837296-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.85 0.97 0.90 2/65 984
/proc/meminfo: memFree=1816656/2055920 swapFree=4179928/4192956
[pid=984] ppid=982 vsize=5356 CPUtime=0
/proc/984/stat : 984 (SatELiteGTI) S 982 984 947 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 314733942 5484544 235 1992294400 4194304 4889804 548682068816 18446744073709551615 265674260562 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/984/statm: 1339 235 195 169 0 50 0
[pid=985] ppid=984 vsize=5356 CPUtime=0
/proc/985/stat : 985 (SatELiteGTI) S 984 984 947 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 314733942 5484544 238 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/985/statm: 1339 238 198 169 0 50 0
[pid=987] ppid=985 vsize=5356 CPUtime=0
/proc/987/stat : 987 (SatELiteGTI) R 985 984 947 0 -1 4194368 19 0 0 0 0 0 0 0 21 0 1 0 314733942 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 265674091815 0 0 4096 0 0 0 0 17 1 0 0
/proc/987/statm: 1339 239 199 169 0 50 0

[startup+0.0628001 s]
/proc/loadavg: 0.85 0.97 0.90 2/65 984
/proc/meminfo: memFree=1816656/2055920 swapFree=4179928/4192956
[pid=984] ppid=982 vsize=5356 CPUtime=0
/proc/984/stat : 984 (SatELiteGTI) S 982 984 947 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314733942 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/984/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101801 s]
/proc/loadavg: 0.85 0.97 0.90 2/65 984
/proc/meminfo: memFree=1816656/2055920 swapFree=4179928/4192956
[pid=984] ppid=982 vsize=5356 CPUtime=0
/proc/984/stat : 984 (SatELiteGTI) S 982 984 947 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314733942 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/984/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301818 s]
/proc/loadavg: 0.85 0.97 0.90 2/65 984
/proc/meminfo: memFree=1816656/2055920 swapFree=4179928/4192956
[pid=984] ppid=982 vsize=5356 CPUtime=0
/proc/984/stat : 984 (SatELiteGTI) S 982 984 947 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314733942 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/984/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701862 s]
/proc/loadavg: 0.85 0.97 0.90 2/65 984
/proc/meminfo: memFree=1816656/2055920 swapFree=4179928/4192956
[pid=984] ppid=982 vsize=5356 CPUtime=0
/proc/984/stat : 984 (SatELiteGTI) S 982 984 947 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314733942 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/984/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50196 s]
/proc/loadavg: 0.85 0.97 0.90 2/67 989
/proc/meminfo: memFree=1776256/2055920 swapFree=4179928/4192956
[pid=984] ppid=982 vsize=5356 CPUtime=1.36
/proc/984/stat : 984 (SatELiteGTI) S 982 984 947 0 -1 4194304 336 10160 0 0 0 0 129 7 16 0 1 0 314733942 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/984/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 5356

[startup+3.10113 s]
/proc/loadavg: 0.85 0.97 0.90 2/67 990
/proc/meminfo: memFree=1797120/2055920 swapFree=4179928/4192956
[pid=984] ppid=982 vsize=5356 CPUtime=1.36
/proc/984/stat : 984 (SatELiteGTI) S 982 984 947 0 -1 4194304 336 10160 0 0 0 0 129 7 16 0 1 0 314733942 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/984/statm: 1339 239 197 169 0 50 0
[pid=990] ppid=984 vsize=12776 CPUtime=1.7
/proc/990/stat : 990 (minisat_static) R 984 984 947 0 -1 4194304 2968 0 0 0 169 1 0 0 25 0 1 0 314734080 13082624 2939 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/990/statm: 3194 2939 77 171 0 3021 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 18132

[startup+6.30148 s]
/proc/loadavg: 0.86 0.97 0.90 2/67 990
/proc/meminfo: memFree=1796160/2055920 swapFree=4179928/4192956
[pid=984] ppid=982 vsize=5356 CPUtime=1.36
/proc/984/stat : 984 (SatELiteGTI) S 982 984 947 0 -1 4194304 336 10160 0 0 0 0 129 7 16 0 1 0 314733942 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/984/statm: 1339 239 197 169 0 50 0
[pid=990] ppid=984 vsize=13340 CPUtime=4.9
/proc/990/stat : 990 (minisat_static) R 984 984 947 0 -1 4194304 3089 0 0 0 489 1 0 0 25 0 1 0 314734080 13660160 3060 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/990/statm: 3335 3060 77 171 0 3162 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 18696

[startup+12.7012 s]
/proc/loadavg: 0.95 0.98 0.91 2/67 990
/proc/meminfo: memFree=1795720/2055920 swapFree=4179928/4192956
[pid=984] ppid=982 vsize=5356 CPUtime=1.36
/proc/984/stat : 984 (SatELiteGTI) S 982 984 947 0 -1 4194304 336 10160 0 0 0 0 129 7 16 0 1 0 314733942 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/984/statm: 1339 239 197 169 0 50 0
[pid=990] ppid=984 vsize=14000 CPUtime=11.29
/proc/990/stat : 990 (minisat_static) R 984 984 947 0 -1 4194304 3253 0 0 0 1128 1 0 0 25 0 1 0 314734080 14336000 3224 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/990/statm: 3500 3224 77 171 0 3327 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 19356

[startup+25.5026 s]
/proc/loadavg: 0.96 0.98 0.91 2/67 990
/proc/meminfo: memFree=1794632/2055920 swapFree=4179928/4192956
[pid=984] ppid=982 vsize=5356 CPUtime=1.36
/proc/984/stat : 984 (SatELiteGTI) S 982 984 947 0 -1 4194304 336 10160 0 0 0 0 129 7 16 0 1 0 314733942 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/984/statm: 1339 239 197 169 0 50 0
[pid=990] ppid=984 vsize=15056 CPUtime=24.1
/proc/990/stat : 990 (minisat_static) R 984 984 947 0 -1 4194304 3537 0 0 0 2408 2 0 0 25 0 1 0 314734080 15417344 3508 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/990/statm: 3764 3508 77 171 0 3591 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 20412

[startup+51.1025 s]
/proc/loadavg: 0.97 0.98 0.91 2/67 990
/proc/meminfo: memFree=1792456/2055920 swapFree=4179928/4192956
[pid=984] ppid=982 vsize=5356 CPUtime=1.36
/proc/984/stat : 984 (SatELiteGTI) S 982 984 947 0 -1 4194304 336 10160 0 0 0 0 129 7 16 0 1 0 314733942 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/984/statm: 1339 239 197 169 0 50 0
[pid=990] ppid=984 vsize=17360 CPUtime=49.69
/proc/990/stat : 990 (minisat_static) R 984 984 947 0 -1 4194304 4093 0 0 0 4966 3 0 0 25 0 1 0 314734080 17776640 4064 1992294400 134512640 135215339 4294956240 18446744073709551615 134537869 0 0 4096 3 0 0 0 17 1 0 0
/proc/990/statm: 4340 4064 77 171 0 4167 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 22716

[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 990
/proc/meminfo: memFree=1787848/2055920 swapFree=4179928/4192956
[pid=984] ppid=982 vsize=5356 CPUtime=1.36
/proc/984/stat : 984 (SatELiteGTI) S 982 984 947 0 -1 4194304 336 10160 0 0 0 0 129 7 16 0 1 0 314733942 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/984/statm: 1339 239 197 169 0 50 0
[pid=990] ppid=984 vsize=21876 CPUtime=100.88
/proc/990/stat : 990 (minisat_static) R 984 984 947 0 -1 4194304 5241 0 0 0 10084 4 0 0 25 0 1 0 314734080 22401024 5212 1992294400 134512640 135215339 4294956240 18446744073709551615 134538368 0 0 4096 3 0 0 0 17 1 0 0
/proc/990/statm: 5469 5212 77 171 0 5296 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 27232

[startup+162.303 s]
/proc/loadavg: 0.99 0.98 0.91 3/67 990
/proc/meminfo: memFree=1782664/2055920 swapFree=4179928/4192956
[pid=984] ppid=982 vsize=5356 CPUtime=1.36
/proc/984/stat : 984 (SatELiteGTI) S 982 984 947 0 -1 4194304 336 10160 0 0 0 0 129 7 16 0 1 0 314733942 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/984/statm: 1339 239 197 169 0 50 0
[pid=990] ppid=984 vsize=27060 CPUtime=160.85
/proc/990/stat : 990 (minisat_static) R 984 984 947 0 -1 4194304 6534 0 0 0 16080 5 0 0 25 0 1 0 314734080 27709440 6505 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/990/statm: 6765 6505 77 171 0 6592 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 32416

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 990
/proc/meminfo: memFree=1777608/2055920 swapFree=4179928/4192956
[pid=984] ppid=982 vsize=5356 CPUtime=1.36
/proc/984/stat : 984 (SatELiteGTI) S 982 984 947 0 -1 4194304 336 10160 0 0 0 0 129 7 16 0 1 0 314733942 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/984/statm: 1339 239 197 169 0 50 0
[pid=990] ppid=984 vsize=32160 CPUtime=220.83
/proc/990/stat : 990 (minisat_static) R 984 984 947 0 -1 4194304 7779 0 0 0 22077 6 0 0 25 0 1 0 314734080 32931840 7750 1992294400 134512640 135215339 4294956240 18446744073709551615 134537869 0 0 4096 3 0 0 0 17 1 0 0
/proc/990/statm: 8040 7750 77 171 0 7867 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 37516

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 990
/proc/meminfo: memFree=1773512/2055920 swapFree=4179928/4192956
[pid=984] ppid=982 vsize=5356 CPUtime=1.36
/proc/984/stat : 984 (SatELiteGTI) S 982 984 947 0 -1 4194304 336 10160 0 0 0 0 129 7 16 0 1 0 314733942 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/984/statm: 1339 239 197 169 0 50 0
[pid=990] ppid=984 vsize=36120 CPUtime=280.81
/proc/990/stat : 990 (minisat_static) R 984 984 947 0 -1 4194304 8794 0 0 0 28074 7 0 0 25 0 1 0 314734080 36986880 8765 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/990/statm: 9030 8765 77 171 0 8857 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 41476

[startup+342.303 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 990
/proc/meminfo: memFree=1769160/2055920 swapFree=4179928/4192956
[pid=984] ppid=982 vsize=5356 CPUtime=1.36
/proc/984/stat : 984 (SatELiteGTI) S 982 984 947 0 -1 4194304 336 10160 0 0 0 0 129 7 16 0 1 0 314733942 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/984/statm: 1339 239 197 169 0 50 0
[pid=990] ppid=984 vsize=40468 CPUtime=340.79
/proc/990/stat : 990 (minisat_static) R 984 984 947 0 -1 4194304 9869 0 0 0 34070 9 0 0 25 0 1 0 314734080 41439232 9840 1992294400 134512640 135215339 4294956240 18446744073709551615 134538302 0 0 4096 3 0 0 0 17 1 0 0
/proc/990/statm: 10117 9840 77 171 0 9944 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 45824

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 990
/proc/meminfo: memFree=1764808/2055920 swapFree=4179928/4192956
[pid=984] ppid=982 vsize=5356 CPUtime=1.36
/proc/984/stat : 984 (SatELiteGTI) S 982 984 947 0 -1 4194304 336 10160 0 0 0 0 129 7 16 0 1 0 314733942 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/984/statm: 1339 239 197 169 0 50 0
[pid=990] ppid=984 vsize=44824 CPUtime=400.77
/proc/990/stat : 990 (minisat_static) R 984 984 947 0 -1 4194304 10965 0 0 0 40067 10 0 0 25 0 1 0 314734080 45899776 10936 1992294400 134512640 135215339 4294956240 18446744073709551615 134538101 0 0 4096 3 0 0 0 17 1 0 0
/proc/990/statm: 11206 10936 77 171 0 11033 0
Current children cumulated CPU time (s) 402.13

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

/proc/990/statm: 96462 95508 77 171 0 96289 0
Current children cumulated CPU time (s) 9339.37
Current children cumulated vsize (KiB) 391204

[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 1491
/proc/meminfo: memFree=1379336/2055920 swapFree=4179928/4192956
[pid=984] ppid=982 vsize=5356 CPUtime=1.36
/proc/984/stat : 984 (SatELiteGTI) S 982 984 947 0 -1 4194304 336 10160 0 0 0 0 129 7 16 0 1 0 314733942 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/984/statm: 1339 239 197 169 0 50 0
[pid=990] ppid=984 vsize=385848 CPUtime=9397.99
/proc/990/stat : 990 (minisat_static) R 984 984 947 0 -1 4194304 95537 0 0 0 939691 108 0 0 25 0 1 0 314734080 395108352 95508 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/990/statm: 96462 95508 77 171 0 96289 0
Current children cumulated CPU time (s) 9399.35
Current children cumulated vsize (KiB) 391204

[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 1491
/proc/meminfo: memFree=1379336/2055920 swapFree=4179928/4192956
[pid=984] ppid=982 vsize=5356 CPUtime=1.36
/proc/984/stat : 984 (SatELiteGTI) S 982 984 947 0 -1 4194304 336 10160 0 0 0 0 129 7 16 0 1 0 314733942 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/984/statm: 1339 239 197 169 0 50 0
[pid=990] ppid=984 vsize=385848 CPUtime=9457.97
/proc/990/stat : 990 (minisat_static) R 984 984 947 0 -1 4194304 95537 0 0 0 945689 108 0 0 25 0 1 0 314734080 395108352 95508 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/990/statm: 96462 95508 77 171 0 96289 0
Current children cumulated CPU time (s) 9459.33
Current children cumulated vsize (KiB) 391204

[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 1491
/proc/meminfo: memFree=1379336/2055920 swapFree=4179928/4192956
[pid=984] ppid=982 vsize=5356 CPUtime=1.36
/proc/984/stat : 984 (SatELiteGTI) S 982 984 947 0 -1 4194304 336 10160 0 0 0 0 129 7 16 0 1 0 314733942 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/984/statm: 1339 239 197 169 0 50 0
[pid=990] ppid=984 vsize=385848 CPUtime=9517.96
/proc/990/stat : 990 (minisat_static) R 984 984 947 0 -1 4194304 95537 0 0 0 951688 108 0 0 25 0 1 0 314734080 395108352 95508 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/990/statm: 96462 95508 77 171 0 96289 0
Current children cumulated CPU time (s) 9519.32
Current children cumulated vsize (KiB) 391204

[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 1491
/proc/meminfo: memFree=1379336/2055920 swapFree=4179928/4192956
[pid=984] ppid=982 vsize=5356 CPUtime=1.36
/proc/984/stat : 984 (SatELiteGTI) S 982 984 947 0 -1 4194304 336 10160 0 0 0 0 129 7 16 0 1 0 314733942 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/984/statm: 1339 239 197 169 0 50 0
[pid=990] ppid=984 vsize=385848 CPUtime=9577.94
/proc/990/stat : 990 (minisat_static) R 984 984 947 0 -1 4194304 95537 0 0 0 957686 108 0 0 25 0 1 0 314734080 395108352 95508 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/990/statm: 96462 95508 77 171 0 96289 0
Current children cumulated CPU time (s) 9579.3
Current children cumulated vsize (KiB) 391204

[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 1491
/proc/meminfo: memFree=1379272/2055920 swapFree=4179928/4192956
[pid=984] ppid=982 vsize=5356 CPUtime=1.36
/proc/984/stat : 984 (SatELiteGTI) S 982 984 947 0 -1 4194304 336 10160 0 0 0 0 129 7 16 0 1 0 314733942 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/984/statm: 1339 239 197 169 0 50 0
[pid=990] ppid=984 vsize=385848 CPUtime=9637.92
/proc/990/stat : 990 (minisat_static) R 984 984 947 0 -1 4194304 95537 0 0 0 963684 108 0 0 25 0 1 0 314734080 395108352 95508 1992294400 134512640 135215339 4294956240 18446744073709551615 134528619 0 0 4096 3 0 0 0 17 1 0 0
/proc/990/statm: 96462 95508 77 171 0 96289 0
Current children cumulated CPU time (s) 9639.28
Current children cumulated vsize (KiB) 391204

[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 1491
/proc/meminfo: memFree=1379272/2055920 swapFree=4179928/4192956
[pid=984] ppid=982 vsize=5356 CPUtime=1.36
/proc/984/stat : 984 (SatELiteGTI) S 982 984 947 0 -1 4194304 336 10160 0 0 0 0 129 7 16 0 1 0 314733942 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/984/statm: 1339 239 197 169 0 50 0
[pid=990] ppid=984 vsize=385848 CPUtime=9697.91
/proc/990/stat : 990 (minisat_static) R 984 984 947 0 -1 4194304 95538 0 0 0 969683 108 0 0 25 0 1 0 314734080 395108352 95509 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/990/statm: 96462 95509 77 171 0 96289 0
Current children cumulated CPU time (s) 9699.27
Current children cumulated vsize (KiB) 391204

[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 1491
/proc/meminfo: memFree=1379272/2055920 swapFree=4179928/4192956
[pid=984] ppid=982 vsize=5356 CPUtime=1.36
/proc/984/stat : 984 (SatELiteGTI) S 982 984 947 0 -1 4194304 336 10160 0 0 0 0 129 7 16 0 1 0 314733942 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/984/statm: 1339 239 197 169 0 50 0
[pid=990] ppid=984 vsize=385848 CPUtime=9757.89
/proc/990/stat : 990 (minisat_static) R 984 984 947 0 -1 4194304 95538 0 0 0 975681 108 0 0 25 0 1 0 314734080 395108352 95509 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/990/statm: 96462 95509 77 171 0 96289 0
Current children cumulated CPU time (s) 9759.25
Current children cumulated vsize (KiB) 391204

[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 1491
/proc/meminfo: memFree=1379272/2055920 swapFree=4179928/4192956
[pid=984] ppid=982 vsize=5356 CPUtime=1.36
/proc/984/stat : 984 (SatELiteGTI) S 982 984 947 0 -1 4194304 336 10160 0 0 0 0 129 7 16 0 1 0 314733942 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/984/statm: 1339 239 197 169 0 50 0
[pid=990] ppid=984 vsize=385848 CPUtime=9817.88
/proc/990/stat : 990 (minisat_static) R 984 984 947 0 -1 4194304 95539 0 0 0 981680 108 0 0 25 0 1 0 314734080 395108352 95510 1992294400 134512640 135215339 4294956240 18446744073709551615 134528782 0 0 4096 3 0 0 0 17 1 0 0
/proc/990/statm: 96462 95510 77 171 0 96289 0
Current children cumulated CPU time (s) 9819.24
Current children cumulated vsize (KiB) 391204

[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 1491
/proc/meminfo: memFree=1379272/2055920 swapFree=4179928/4192956
[pid=984] ppid=982 vsize=5356 CPUtime=1.36
/proc/984/stat : 984 (SatELiteGTI) S 982 984 947 0 -1 4194304 336 10160 0 0 0 0 129 7 16 0 1 0 314733942 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/984/statm: 1339 239 197 169 0 50 0
[pid=990] ppid=984 vsize=385848 CPUtime=9877.86
/proc/990/stat : 990 (minisat_static) R 984 984 947 0 -1 4194304 95539 0 0 0 987678 108 0 0 25 0 1 0 314734080 395108352 95510 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/990/statm: 96462 95510 77 171 0 96289 0
Current children cumulated CPU time (s) 9879.22
Current children cumulated vsize (KiB) 391204

[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 1491
/proc/meminfo: memFree=1379272/2055920 swapFree=4179928/4192956
[pid=984] ppid=982 vsize=5356 CPUtime=1.36
/proc/984/stat : 984 (SatELiteGTI) S 982 984 947 0 -1 4194304 336 10160 0 0 0 0 129 7 16 0 1 0 314733942 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/984/statm: 1339 239 197 169 0 50 0
[pid=990] ppid=984 vsize=385848 CPUtime=9937.84
/proc/990/stat : 990 (minisat_static) R 984 984 947 0 -1 4194304 95539 0 0 0 993676 108 0 0 25 0 1 0 314734080 395108352 95510 1992294400 134512640 135215339 4294956240 18446744073709551615 134539403 0 0 4096 3 0 0 0 17 1 0 0
/proc/990/statm: 96462 95510 77 171 0 96289 0
Current children cumulated CPU time (s) 9939.2
Current children cumulated vsize (KiB) 391204

[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 1491
/proc/meminfo: memFree=1379272/2055920 swapFree=4179928/4192956
[pid=984] ppid=982 vsize=5356 CPUtime=1.36
/proc/984/stat : 984 (SatELiteGTI) S 982 984 947 0 -1 4194304 336 10160 0 0 0 0 129 7 16 0 1 0 314733942 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/984/statm: 1339 239 197 169 0 50 0
[pid=990] ppid=984 vsize=385848 CPUtime=9997.83
/proc/990/stat : 990 (minisat_static) R 984 984 947 0 -1 4194304 95539 0 0 0 999675 108 0 0 25 0 1 0 314734080 395108352 95510 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/990/statm: 96462 95510 77 171 0 96289 0
Current children cumulated CPU time (s) 9999.19
Current children cumulated vsize (KiB) 391204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+10003.2 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 1491
/proc/meminfo: memFree=1379272/2055920 swapFree=4179928/4192956
[pid=984] ppid=982 vsize=5356 CPUtime=1.36
/proc/984/stat : 984 (SatELiteGTI) S 982 984 947 0 -1 4194304 336 10160 0 0 0 0 129 7 16 0 1 0 314733942 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/984/statm: 1339 239 197 169 0 50 0
[pid=990] ppid=984 vsize=385848 CPUtime=9998.73
/proc/990/stat : 990 (minisat_static) R 984 984 947 0 -1 4194304 95539 0 0 0 999765 108 0 0 25 0 1 0 314734080 395108352 95510 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/990/statm: 96462 95510 77 171 0 96289 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 391204

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 984 and gives
#  childrusage.ru_utime.tv_sec=1
#  childrusage.ru_utime.tv_usec=299802
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=80987
# CPU time returned by wait4() is 1.38079
# 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.2
CPU time (s): 10000.1
CPU user time (s): 9998.94
CPU system time (s): 1.15
CPU usage (%): 99.9688
Max. virtual memory (cumulated for all children) (KiB): 391204

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

runsolver used 9.16961 second user time and 27.3078 second system time

The end

Launcher Data 

Begin job on node76 at 2009-05-21 02:50:38
IDJOB=1837296
IDBENCH=70820
IDSOLVER=674
FILE ID=node76/1837296-1242867038
PBS_JOBID= 9328561
Free space on /tmp= 66140 MiB

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

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

MD5SUM BENCH= 3cb14750de2495357cf28b8ab826b9e3
RANDOM SEED=900857511

node76.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.220
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.220
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1817136 kB
Buffers:         42136 kB
Cached:         158116 kB
SwapCached:       7352 kB
Active:          65392 kB
Inactive:       143544 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1817136 kB
SwapTotal:     4192956 kB
SwapFree:      4179928 kB
Dirty:            5956 kB
Writeback:           0 kB
Mapped:          13780 kB
Slab:            15828 kB
Committed_AS:  1038064 kB
PageTables:       1436 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= 66132 MiB
End job on node76 at 2009-05-21 05:37:23