Trace number 1837050

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? (MO) 5899.9 5901.52

General information on the benchmark

Nameindustrial/anbulagan/
hard-unsat/partial-5-17-u.cnf
MD5SUMb9de1594525a25a6c43932e2e172e913
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 variables252004
Number of clauses1178557
Sum of the clauses size2719782
Maximum clause length10
Minimum clause length1
Number of clauses of size 118836
Number of clauses of size 2918677
Number of clauses of size 3194224
Number of clauses of size 45200
Number of clauses of size 520800
Number of clauses of size over 520820

Solver Data 

0.00/0.00	c Parsing...
0.00/0.95	c ==============================================================================
0.00/0.95	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.95	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.95	c ==============================================================================
0.00/0.95	c |         0 | 1158473  2698320 |  347541       0        0     nan |  0.000 % |
8.69/8.77	c |         0 |  730398  2016040 |      --       0       --      -- |     --   | -221147/-216322
8.69/8.77	c ==============================================================================
8.69/8.77	c Result  :   #vars: 128393   #clauses: 730398   #literals: 2016040
8.69/8.77	c CPU time:   8.48771 s
8.69/8.77	c ==============================================================================
9.48/9.52	c This is MiniSat 2.0 beta
9.48/9.52	c WARNING: for repeatability, setting FPU to use double precision
9.48/9.52	c ============================[ Problem Statistics ]=============================
9.48/9.52	c |                                                                             |
9.48/9.52	c |  Number of variables:  128393                                               |
9.48/9.52	c |  Number of clauses:    730398                                               |
9.87/9.98	c |  Parsing time:         0.39         s                                       |
9.97/10.00	c ============================[ Search Statistics ]==============================
9.97/10.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.97/10.00	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
9.97/10.00	c ===============================================================================
9.97/10.00	c |         0 |  128393   730398  2016040 |   243466        0    nan |  0.000 % |
10.17/10.25	c |       101 |  128339   730398  2016040 |   243466       98     52 |  1.806 % |
10.27/10.38	c |       201 |  128339   730398  2016040 |   243466      198     83 |  1.806 % |
10.77/10.83	c |       301 |  128191   730398  2016040 |   243466      296     73 |  1.940 % |
11.07/11.14	c |       412 |  127987   730398  2016040 |   243466      406     93 |  2.530 % |
11.17/11.24	c |       512 |  127987   730398  2016040 |   243466      506     95 |  2.530 % |
11.47/11.52	c |       622 |  127987   730398  2016040 |   243466      616     97 |  2.530 % |
11.77/11.87	c |       743 |  124901   710605  1965154 |   243466      731     86 |  5.605 % |
12.37/12.44	c |       844 |  124879   710605  1965154 |   243466      832     91 |  5.605 % |
12.67/12.79	c |       954 |  124877   710605  1965154 |   243466      941     98 |  5.765 % |
13.27/13.34	c |      1075 |  124877   710605  1965154 |   243466     1062    118 |  5.765 % |
13.77/13.87	c |      1209 |  120938   685413  1900512 |   243466     1192    145 |  6.004 % |
13.97/14.04	c |      1309 |  120831   685413  1900512 |   243466     1290    138 |  9.666 % |
14.47/14.59	c |      1420 |  120560   685413  1900512 |   243466     1401    137 |  9.666 % |
14.77/14.84	c |      1542 |  120560   685413  1900512 |   243466     1523    133 |  9.666 % |
14.97/15.04	c |      1677 |  115983   654705  1821097 |   243466     1652    128 |  9.666 % |
15.17/15.25	c |      1823 |  115983   654705  1821097 |   243466     1798    124 |  9.666 % |
15.57/15.61	c |      1926 |  115956   654705  1821097 |   243466     1900    129 | 11.261 % |
15.77/15.86	c |      2037 |  115955   654705  1821097 |   243466     2009    127 | 11.318 % |
16.07/16.10	c |      2158 |  115932   654705  1821097 |   243466     2129    123 | 11.859 % |
16.17/16.26	c |      2296 |  115928   654705  1821097 |   243466     2266    120 | 11.872 % |
16.57/16.69	c |      2443 |  113026   638488  1781303 |   243466     2399    115 | 15.210 % |
16.87/16.99	c |      2604 |  112891   638488  1781303 |   243466     2557    111 | 16.071 % |
17.07/17.13	c |      2704 |  112890   638488  1781303 |   243466     2657    109 | 16.071 % |
17.27/17.31	c |      2814 |  112859   638488  1781303 |   243466     2766    107 | 16.081 % |
17.37/17.45	c |      2936 |  112858   638488  1781303 |   243466     2887    103 | 16.099 % |
17.47/17.56	c |      3069 |  112858   638488  1781303 |   243466     3020    100 | 16.099 % |
17.77/17.84	c |      3223 |  107715   605974  1699174 |   243466     3160     97 | 16.123 % |
18.17/18.21	c |      3383 |  107710   605974  1699174 |   243466     3320     96 | 16.123 % |
18.27/18.36	c |      3559 |  107710   605974  1699174 |   243466     3496     95 | 16.123 % |
18.47/18.59	c |      3659 |  107567   605974  1699174 |   243466     3594     94 | 17.353 % |
18.67/18.77	c |      3769 |  107567   605974  1699174 |   243466     3704     92 | 17.353 % |
18.77/18.85	c |      3891 |  107567   605974  1699174 |   243466     3826     91 | 17.353 % |
19.17/19.26	c |      4024 |  107567   605974  1699174 |   243466     3959     91 | 17.353 % |
19.47/19.52	c |      4170 |  105906   596229  1673895 |   243466     4091     90 | 17.686 % |
19.87/19.99	c |      4332 |  105738   596229  1673895 |   243466     4245     88 | 18.149 % |
20.47/20.50	c |      4509 |  105674   596229  1673895 |   243466     4418     88 | 19.584 % |
20.67/20.73	c |      4702 |  103128   578327  1628662 |   243466     4584     88 | 19.678 % |
20.97/21.02	c |      4802 |  103128   578327  1628662 |   243466     4684     88 | 19.678 % |
21.17/21.20	c |      4912 |  103128   578327  1628662 |   243466     4794     87 | 19.678 % |
21.37/21.40	c |      5035 |  103128   578327  1628662 |   243466     4917     87 | 19.678 % |
21.47/21.52	c |      5169 |  103063   578327  1628662 |   243466     5050     86 | 19.739 % |
21.67/21.78	c |      5318 |  103063   578327  1628662 |   243466     5199     86 | 19.739 % |
22.07/22.10	c |      5480 |  103031   578327  1628662 |   243466     5359     85 | 19.797 % |
22.17/22.29	c |      5657 |  102975   577603  1627214 |   243466     5528     85 | 19.797 % |
22.67/22.70	c |      5850 |  102968   577603  1627214 |   243466     5720     86 | 19.815 % |
23.37/23.44	c |      6064 |  102968   577603  1627214 |   243466     5934     90 | 19.815 % |
23.67/23.73	c |      6166 |  102965   577603  1627214 |   243466     6034     90 | 19.841 % |
23.77/23.85	c |      6276 |  102965   577603  1627214 |   243466     6144     91 | 19.841 % |
24.27/24.34	c |      6397 |  102917   577234  1626227 |   243466     6262     92 | 19.855 % |
24.56/24.60	c |      6530 |  102917   577234  1626227 |   243466     6395     92 | 19.855 % |
24.76/24.80	c |      6676 |  102917   577234  1626227 |   243466     6541     94 | 19.855 % |
24.86/24.99	c |      6836 |  102917   577234  1626227 |   243466     6701     93 | 19.855 % |
25.46/25.54	c |      7015 |  102914   577234  1626227 |   243466     6878     96 | 20.217 % |
26.06/26.10	c |      7208 |  102143   572424  1613537 |   243466     7066     96 | 20.584 % |
26.96/27.03	c |      7420 |  102128   572424  1613537 |   243466     7277    118 | 20.666 % |
27.56/27.60	c |      7654 |  102074   572424  1613537 |   243466     7508    118 | 21.021 % |
27.66/27.73	c |      7755 |  102073   572424  1613537 |   243466     7608    117 | 21.021 % |
27.96/28.04	c |      7865 |  101384   567875  1601957 |   243466     7706    117 | 21.475 % |
28.16/28.21	c |      7986 |  101379   567875  1601957 |   243466     7826    116 | 21.569 % |
28.26/28.38	c |      8119 |  101379   567875  1601957 |   243466     7959    116 | 21.569 % |
28.66/28.71	c |      8265 |  101375   567875  1601957 |   243466     8105    116 | 21.569 % |
28.96/29.09	c |      8425 |  101349   567875  1601957 |   243466     8261    117 | 21.707 % |
29.26/29.30	c |      8601 |  101349   567875  1601957 |   243466     8437    116 | 21.707 % |
29.86/29.98	c |      8796 |  100081   559615  1580086 |   243466     8588    116 | 22.064 % |
30.57/30.63	c |      9012 |  100079   559615  1580086 |   243466     8804    118 | 22.064 % |
31.06/31.19	c |      9245 |  100046   559615  1580086 |   243466     9036    124 | 22.715 % |
31.87/31.96	c |      9503 |  100046   559615  1580086 |   243466     9294    127 | 22.715 % |
32.16/32.26	c |      9604 |  100046   559615  1580086 |   243466     9395    126 | 22.715 % |
32.36/32.41	c |      9716 |   99229   554359  1566281 |   243466     9503    125 | 22.715 % |
32.56/32.62	c |      9840 |   99229   554359  1566281 |   243466     9626    125 | 22.717 % |
32.66/32.75	c |      9973 |   99229   554359  1566281 |   243466     9759    125 | 22.717 % |
32.87/32.99	c |     10122 |   99227   554359  1566281 | 2147483647     9907    124 | 22.718 % |
33.26/33.31	c |     10284 |   99220   554359  1566281 | 2147483647    10067    123 | 22.758 % |
33.66/33.75	c |     10460 |   99220   554359  1566281 | 2147483647    10243    126 | 22.758 % |
33.97/34.03	c |     10653 |   99220   554359  1566281 | 2147483647    10436    127 | 22.758 % |
34.36/34.47	c |     10866 |   99220   554359  1566281 | 2147483647    10649    127 | 22.758 % |
34.76/34.80	c |     11099 |   99065   554047  1565573 | 2147483647    10850    126 | 23.165 % |
35.06/35.14	c |     11356 |   99055   554047  1565573 | 2147483647    11105    126 | 23.192 % |
35.56/35.69	c |     11639 |   99055   554047  1565573 | 2147483647    11388    125 | 23.192 % |
35.85/35.94	c |     11739 |   99045   554047  1565573 | 2147483647    11485    125 | 23.229 % |
35.95/36.07	c |     11849 |   99045   554047  1565573 | 2147483647    11595    124 | 23.229 % |
36.26/36.34	c |     11970 |   99040   554047  1565573 | 2147483647    11716    123 | 23.229 % |
36.76/36.84	c |     12105 |   99040   554047  1565573 | 2147483647    11851    124 | 23.229 % |
37.46/37.51	c |     12253 |   98565   550333  1555719 | 2147483647    11958    126 | 23.247 % |
37.76/37.81	c |     12413 |   98565   550333  1555719 | 2147483647    12118    126 | 23.247 % |
37.96/38.05	c |     12589 |   98565   550333  1555719 | 2147483647    12294    127 | 23.247 % |
38.26/38.34	c |     12782 |   98565   550333  1555719 | 2147483647    12487    126 | 23.247 % |
38.76/38.83	c |     12998 |   98565   550333  1555719 | 2147483647    12703    126 | 23.247 % |
39.36/39.41	c |     13231 |   98544   550185  1555343 | 2147483647    12931    128 | 23.248 % |
40.35/40.43	c |     13487 |   98540   550185  1555343 | 2147483647    13186    132 | 23.261 % |
40.85/40.99	c |     13768 |   98520   550185  1555343 | 2147483647    13466    133 | 23.286 % |
42.65/42.71	c |     14078 |   98520   550185  1555343 | 2147483647    13776    144 | 23.286 % |
42.85/42.98	c |     14178 |   98496   549910  1554685 | 2147483647    13872    144 | 23.286 % |
43.35/43.47	c |     14288 |   98496   549910  1554685 | 2147483647    13982    145 | 23.286 % |
43.55/43.66	c |     14409 |   98496   549910  1554685 | 2147483647    14103    146 | 23.286 % |
43.75/43.80	c |     14542 |   98496   549910  1554685 | 2147483647    14236    146 | 23.286 % |
44.15/44.25	c |     14689 |   98496   549910  1554685 | 2147483647    14383    147 | 23.286 % |
44.55/44.63	c |     14850 |   98496   549910  1554685 | 2147483647    14544    147 | 23.286 % |
44.85/44.92	c |     15026 |   98496   549910  1554685 | 2147483647    14720    148 | 23.286 % |
45.15/45.21	c |     15220 |   98496   549910  1554685 | 2147483647    14914    147 | 23.286 % |
45.55/45.61	c |     15432 |   98488   549910  1554685 | 2147483647    15124    146 | 23.303 % |
46.05/46.12	c |     15666 |   98474   549776  1554344 | 2147483647    15357    147 | 23.303 % |
46.35/46.49	c |     15922 |   98474   549776  1554344 | 2147483647    15613    147 | 23.303 % |
46.95/47.02	c |     16203 |   98469   549776  1554344 | 2147483647    15893    147 | 23.316 % |
47.95/48.00	c |     16514 |   98465   549776  1554344 | 2147483647    16203    148 | 23.328 % |
48.45/48.50	c |     16853 |   98463   549776  1554344 | 2147483647    16541    147 | 23.345 % |
48.55/48.67	c |     16953 |   98349   549776  1554344 | 2147483647    16640    147 | 24.079 % |
48.85/48.92	c |     17066 |   98349   549776  1554344 | 2147483647    16753    147 | 24.079 % |
49.05/49.15	c |     17188 |   97476   543469  1538065 | 2147483647    16854    146 | 24.218 % |
49.54/49.61	c |     17323 |   97431   543469  1538065 | 2147483647    16987    146 | 24.233 % |
49.84/49.99	c |     17469 |   97421   543469  1538065 | 2147483647    17131    146 | 24.276 % |
50.14/50.22	c |     17629 |   97421   543469  1538065 | 2147483647    17291    145 | 24.276 % |
50.34/50.44	c |     17805 |   97421   543469  1538065 | 2147483647    17467    144 | 24.276 % |
50.64/50.72	c |     17998 |   97420   543469  1538065 | 2147483647    17659    144 | 24.277 % |
51.04/51.10	c |     18213 |   97420   543469  1538065 | 2147483647    17874    144 | 24.277 % |
52.04/52.17	c |     18447 |   97420   543469  1538065 | 2147483647    18108    151 | 24.277 % |
52.84/52.99	c |     18705 |   97223   541888  1533803 | 2147483647    18356    151 | 24.277 % |
53.64/53.73	c |     18986 |   97138   541888  1533803 | 2147483647    18631    151 | 24.522 % |
54.24/54.31	c |     19295 |   97110   541888  1533803 | 2147483647    18940    151 | 24.522 % |
54.74/54.83	c |     19634 |   97110   541888  1533803 | 2147483647    19279    150 | 24.522 % |
55.25/55.31	c |     20006 |   97110   541888  1533803 | 2147483647    19651    149 | 24.522 % |
55.35/55.43	c |     20110 |   97110   541888  1533803 | 2147483647    19755    149 | 24.522 % |
55.55/55.64	c |     20220 |   97110   541888  1533803 | 2147483647    19864    149 | 24.535 % |
55.75/55.85	c |     20342 |   96892   539961  1529018 | 2147483647    19948    149 | 24.535 % |
56.15/56.20	c |     20475 |   96892   539961  1529018 | 2147483647    20081    149 | 24.535 % |
56.35/56.47	c |     20621 |   96892   539961  1529018 | 2147483647    20227    148 | 24.535 % |
56.64/56.72	c |     20782 |   96892   539961  1529018 | 2147483647    20388    148 | 24.535 % |
56.84/56.95	c |     20959 |   96892   539961  1529018 | 2147483647    20565    148 | 24.535 % |
57.24/57.39	c |     21153 |   96892   539961  1529018 | 2147483647    20759    148 | 24.535 % |
57.94/58.09	c |     21368 |   96891   539961  1529018 | 2147483647    20973    148 | 24.547 % |
59.14/59.26	c |     21601 |   96891   539961  1529018 | 2147483647    21206    151 | 24.547 % |
59.64/59.75	c |     21858 |   96879   539961  1529018 | 2147483647    21462    150 | 24.582 % |
60.04/60.16	c |     22139 |   96832   539608  1528126 | 2147483647    21702    151 | 24.582 % |
60.74/60.86	c |     22449 |   96832   539608  1528126 | 2147483647    22012    151 | 24.582 % |
62.44/62.51	c |     22788 |   96832   539608  1528126 | 2147483647    22351    154 | 24.582 % |
63.14/63.26	c |     23161 |   96831   539608  1528126 | 2147483647    22723    154 | 24.666 % |
64.54/64.63	c |     23570 |   96830   539608  1528126 | 2147483647    23131    155 | 24.670 % |
64.64/64.74	c |     23670 |   96719   538881  1526228 | 2147483647    23230    155 | 24.670 % |
64.74/64.90	c |     23780 |   96709   538881  1526228 | 2147483647    23338    154 | 24.733 % |
65.04/65.17	c |     23903 |   96705   538881  1526228 | 2147483647    23461    154 | 24.733 % |
65.33/65.47	c |     24037 |   96667   538881  1526228 | 2147483647    23592    153 | 24.994 % |
65.64/65.70	c |     24186 |   96664   538881  1526228 | 2147483647    23740    153 | 24.995 % |
65.85/65.92	c |     24350 |   96663   538881  1526228 | 2147483647    23904    153 | 24.995 % |
66.24/66.34	c |     24526 |   96630   538881  1526228 | 2147483647    24076    152 | 25.089 % |
66.54/66.60	c |     24720 |   96630   538881  1526228 | 2147483647    24270    152 | 25.089 % |
66.94/67.03	c |     24933 |   96630   538881  1526228 | 2147483647    24483    152 | 25.089 % |
67.44/67.50	c |     25167 |   96628   538881  1526228 | 2147483647    24716    152 | 25.099 % |
68.14/68.22	c |     25423 |   96627   538881  1526228 | 2147483647    24971    152 | 25.099 % |
69.14/69.20	c |     25704 |   96627   538881  1526228 | 2147483647    25252    154 | 25.100 % |
70.34/70.42	c |     26014 |   96167   535325  1516895 | 2147483647    25436    157 | 25.100 % |
70.93/71.10	c |     26354 |   96167   535325  1516895 | 2147483647    25776    157 | 25.099 % |
72.43/72.57	c |     26726 |   96167   535325  1516895 | 2147483647    26148    160 | 25.099 % |
73.93/74.07	c |     27135 |   96150   535325  1516895 | 2147483647    26556    166 | 25.145 % |
75.93/76.05	c |     27587 |   96150   535325  1516895 | 2147483647    27008    171 | 25.145 % |
76.13/76.29	c |     27687 |   96109   535035  1516275 | 2147483647    27108    171 | 25.145 % |
76.53/76.64	c |     27799 |   96109   535035  1516275 | 2147483647    27220    171 | 25.145 % |
77.23/77.31	c |     27922 |   96109   535035  1516275 | 2147483647    27343    172 | 25.145 % |
77.53/77.70	c |     28055 |   96109   535035  1516275 | 2147483647    27476    172 | 25.145 % |
78.22/78.35	c |     28204 |   96105   535035  1516275 | 2147483647    27624    172 | 25.153 % |
79.04/79.11	c |     28365 |   96105   535035  1516275 | 2147483647    27785    174 | 25.153 % |
79.43/79.55	c |     28542 |   96089   535035  1516275 | 2147483647    27961    174 | 25.345 % |
79.83/79.92	c |     28735 |   96089   535035  1516275 | 2147483647    28154    174 | 25.345 % |
80.14/80.20	c |     28948 |   96087   535035  1516275 | 2147483647    28365    174 | 25.353 % |
80.43/80.55	c |     29183 |   96087   535035  1516275 | 2147483647    28600    173 | 25.353 % |
81.13/81.30	c |     29439 |   96083   535035  1516275 | 2147483647    28855    173 | 25.357 % |
82.33/82.40	c |     29720 |   96083   535035  1516275 | 2147483647    29136    175 | 25.357 % |
83.13/83.27	c |     30031 |   95837   533212  1511330 | 2147483647    29427    174 | 25.357 % |
83.93/84.07	c |     30370 |   95832   533212  1511330 | 2147483647    29764    174 | 25.370 % |
85.22/85.32	c |     30743 |   95825   533212  1511330 | 2147483647    30136    174 | 25.385 % |
86.52/86.69	c |     31153 |   95805   533212  1511330 | 2147483647    30544    176 | 25.466 % |
88.22/88.39	c |     31602 |   95805   533212  1511330 | 2147483647    30993    179 | 25.466 % |
90.72/90.83	c |     32097 |   95805   533212  1511330 | 2147483647    31488    186 | 25.466 % |
91.12/91.20	c |     32197 |   95695   532254  1508765 | 2147483647    31561    186 | 25.467 % |
91.62/91.76	c |     32307 |   95694   532254  1508765 | 2147483647    31670    186 | 25.468 % |
92.72/92.82	c |     32428 |   95694   532254  1508765 | 2147483647    31791    187 | 25.468 % |
93.32/93.45	c |     32563 |   95694   532254  1508765 | 2147483647    31926    187 | 25.468 % |
93.72/93.85	c |     32709 |   95690   532254  1508765 | 2147483647    32071    187 | 25.476 % |
94.52/94.61	c |     32873 |   95690   532254  1508765 | 2147483647    32235    188 | 25.476 % |
95.11/95.28	c |     33049 |   95690   532254  1508765 | 2147483647    32411    189 | 25.476 % |
95.62/95.78	c |     33242 |   95690   532254  1508765 | 2147483647    32604    189 | 25.476 % |
96.31/96.42	c |     33455 |   95688   532254  1508765 | 2147483647    32816    189 | 25.479 % |
96.72/96.82	c |     33688 |   95688   532254  1508765 | 2147483647    33049    189 | 25.479 % |
97.62/97.74	c |     33944 |   95688   532254  1508765 | 2147483647    33305    190 | 25.479 % |
98.32/98.45	c |     34225 |   95679   532140  1508499 | 2147483647    33572    191 | 25.484 % |
98.72/98.83	c |     34534 |   95543   532140  1508499 | 2147483647    33877    190 | 25.954 % |
99.12/99.21	c |     34874 |   95540   532140  1508499 | 2147483647    34214    189 | 25.956 % |
100.02/100.17	c |     35250 |   95534   532140  1508499 | 2147483647    34589    188 | 25.965 % |
101.72/101.83	c |     35659 |   95534   532140  1508499 | 2147483647    34998    192 | 25.965 % |
102.82/103.00	c |     36110 |   95533   532140  1508499 | 2147483647    35448    192 | 25.966 % |
104.61/104.70	c |     36603 |   95533   532140  1508499 | 2147483647    35941    194 | 25.966 % |
106.81/106.92	c |     37146 |   95533   532140  1508499 | 2147483647    36484    197 | 25.966 % |
107.31/107.49	c |     37248 |   95055   528294  1498449 | 2147483647    36563    198 | 25.966 % |
107.51/107.63	c |     37359 |   95055   528294  1498449 | 2147483647    36674    197 | 25.966 % |
108.01/108.14	c |     37482 |   95055   528294  1498449 | 2147483647    36797    197 | 25.966 % |
108.71/108.90	c |     37615 |   95052   528294  1498449 | 2147483647    36929    199 | 25.982 % |
109.20/109.38	c |     37761 |   95052   528294  1498449 | 2147483647    37075    199 | 25.982 % |
109.71/109.89	c |     37921 |   95052   528294  1498449 | 2147483647    37235    199 | 25.982 % |
110.11/110.24	c |     38098 |   95019   528294  1498449 | 2147483647    37411    199 | 26.216 % |
111.01/111.15	c |     38292 |   94966   528294  1498449 | 2147483647    37605    200 | 26.216 % |
112.21/112.31	c |     38505 |   94966   528294  1498449 | 2147483647    37818    200 | 26.216 % |
112.61/112.77	c |     38740 |   94962   528294  1498449 | 2147483647    38051    200 | 26.244 % |
113.11/113.27	c |     38996 |   94961   528294  1498449 | 2147483647    38306    199 | 26.245 % |
113.71/113.86	c |     39277 |   94959   528294  1498449 | 2147483647    38584    199 | 26.251 % |
114.31/114.45	c |     39586 |   94958   528294  1498449 | 2147483647    38893    198 | 26.251 % |
114.70/114.85	c |     39925 |   94958   528294  1498449 | 2147483647    39232    198 | 26.251 % |
115.31/115.41	c |     40301 |   94943   528294  1498449 | 2147483647    39605    197 | 26.283 % |
116.90/117.00	c |     40710 |   94648   526266  1493970 | 2147483647    39958    198 | 26.283 % |
118.71/118.82	c |     41160 |   94648   526266  1493970 | 2147483647    40408    203 | 26.283 % |
120.20/120.31	c |     41653 |   94648   526266  1493970 | 2147483647    40901    204 | 26.283 % |
121.00/121.18	c |     42195 |   94648   526266  1493970 | 2147483647    41443    204 | 26.283 % |
122.70/122.86	c |     42793 |   94648   526266  1493970 | 2147483647    42041    204 | 26.283 % |
123.30/123.40	c |     42893 |   94648   526266  1493970 | 2147483647    42141    204 | 26.283 % |
124.11/124.22	c |     43005 |   94648   526266  1493970 | 2147483647    42253    205 | 26.283 % |
124.40/124.58	c |     43127 |   94648   526266  1493970 | 2147483647    42375    205 | 26.283 % |
124.70/124.84	c |     43260 |   94648   526266  1493970 | 2147483647    42508    205 | 26.283 % |
125.30/125.41	c |     43409 |   94641   526266  1493970 | 2147483647    42656    205 | 26.291 % |
125.90/126.05	c |     43569 |   94637   526180  1493765 | 2147483647    42806    205 | 26.291 % |
126.60/126.72	c |     43746 |   94637   526180  1493765 | 2147483647    42983    207 | 26.291 % |
127.40/127.53	c |     43941 |   94637   526180  1493765 | 2147483647    43178    208 | 26.291 % |
127.60/127.79	c |     44153 |   94635   526180  1493765 | 2147483647    43389    208 | 26.303 % |
127.90/128.08	c |     44386 |   94635   526180  1493765 | 2147483647    43622    207 | 26.303 % |
128.19/128.32	c |     44642 |   94635   526180  1493765 | 2147483647    43878    207 | 26.303 % |
128.80/128.96	c |     44923 |   94635   526180  1493765 | 2147483647    44159    207 | 26.303 % |
130.30/130.46	c |     45232 |   94635   526180  1493765 | 2147483647    44468    210 | 26.303 % |
132.30/132.48	c |     45573 |   94635   526180  1493765 | 2147483647    44809    214 | 26.303 % |
133.60/133.79	c |     45945 |   94634   526180  1493765 | 2147483647    45180    214 | 26.304 % |
134.69/134.89	c |     46356 |   94631   526180  1493765 | 2147483647    45590    215 | 26.306 % |
137.10/137.29	c |     46808 |   94631   526180  1493765 | 2147483647    46042    217 | 26.306 % |
139.50/139.66	c |     47301 |   94618   526057  1493433 | 2147483647    46526    221 | 26.306 % |
142.50/142.63	c |     47843 |   94618   526057  1493433 | 2147483647    47068    223 | 26.306 % |
144.50/144.66	c |     48445 |   94615   526057  1493433 | 2147483647    47668    222 | 26.308 % |
147.99/148.18	c |     49102 |   94614   526057  1493433 | 2147483647    48324    228 | 26.309 % |
148.30/148.42	c |     49203 |   94614   526057  1493433 | 2147483647    48425    228 | 26.309 % |
148.49/148.62	c |     49313 |   94614   526057  1493433 | 2147483647    48535    228 | 26.309 % |
148.69/148.88	c |     49434 |   94614   526057  1493433 | 2147483647    48656    228 | 26.309 % |
148.89/149.01	c |     49567 |   94614   526057  1493433 | 2147483647    48789    227 | 26.309 % |
149.09/149.23	c |     49715 |   94614   526039  1493367 | 2147483647    48934    227 | 26.309 % |
149.89/150.01	c |     49875 |   94610   526039  1493367 | 2147483647    49092    227 | 26.315 % |
150.69/150.81	c |     50055 |   94604   526039  1493367 | 2147483647    49271    228 | 26.329 % |
151.49/151.62	c |     50250 |   94604   526039  1493367 | 2147483647    49466    228 | 26.329 % |
152.29/152.43	c |     50462 |   94604   526039  1493367 | 2147483647    49678    229 | 26.329 % |
153.40/153.55	c |     50696 |   94604   526039  1493367 | 2147483647    49912    231 | 26.329 % |
154.49/154.67	c |     50953 |   94604   526039  1493367 | 2147483647    50169    232 | 26.329 % |
155.09/155.26	c |     51234 |   94601   526039  1493367 | 2147483647    50449    231 | 26.341 % |
156.19/156.33	c |     51544 |   94596   526039  1493367 | 2147483647    50754    232 | 26.345 % |
157.39/157.53	c |     51883 |   94572   526039  1493367 | 2147483647    51091    233 | 26.373 % |
158.09/158.21	c |     52255 |   94562   526039  1493367 | 2147483647    51461    232 | 26.427 % |
160.19/160.35	c |     52666 |   94559   526039  1493367 | 2147483647    51872    232 | 26.427 % |
161.79/161.90	c |     53118 |   94558   526039  1493367 | 2147483647    52323    233 | 26.428 % |
162.69/162.80	c |     53613 |   94556   526039  1493367 | 2147483647    52817    232 | 26.436 % |
164.69/164.81	c |     54155 |   94556   526039  1493367 | 2147483647    53359    232 | 26.436 % |
166.49/166.61	c |     54752 |   94449   525117  1490959 | 2147483647    53932    232 | 26.438 % |
168.19/168.37	c |     55407 |   94444   525117  1490959 | 2147483647    54586    232 | 26.446 % |
171.39/171.52	c |     56128 |   94444   525117  1490959 | 2147483647    55307    233 | 26.446 % |
171.89/172.03	c |     56228 |   94444   525117  1490959 | 2147483647    55407    233 | 26.446 % |
172.39/172.60	c |     56341 |   94444   525117  1490959 | 2147483647    55520    233 | 26.446 % |
172.69/172.89	c |     56462 |   94444   525117  1490959 | 2147483647    55641    234 | 26.446 % |
173.49/173.70	c |     56595 |   94444   525117  1490959 | 2147483647    55774    234 | 26.446 % |
173.98/174.16	c |     56741 |   94436   525117  1490959 | 2147483647    55919    233 | 26.459 % |
174.88/175.02	c |     56901 |   94436   525117  1490959 | 2147483647    56079    234 | 26.459 % |
175.08/175.29	c |     57081 |   94436   525117  1490959 | 2147483647    56259    233 | 26.459 % |
175.98/176.18	c |     57274 |   94436   525117  1490959 | 2147483647    56452    233 | 26.459 % |
176.99/177.15	c |     57486 |   94436   525117  1490959 | 2147483647    56664    234 | 26.459 % |
177.69/177.87	c |     57719 |   94436   525117  1490959 | 2147483647    56897    234 | 26.459 % |
178.89/179.09	c |     57975 |   94436   525117  1490959 | 2147483647    57153    235 | 26.459 % |
179.69/179.86	c |     58258 |   94436   525117  1490959 | 2147483647    57436    235 | 26.459 % |
180.99/181.19	c |     58568 |   94315   525117  1490959 | 2147483647    57745    234 | 26.600 % |
182.39/182.57	c |     58907 |   94240   524076  1488754 | 2147483647    58059    235 | 26.600 % |
184.08/184.29	c |     59279 |   94240   524076  1488754 | 2147483647    58431    236 | 26.600 % |
186.19/186.30	c |     59690 |   94239   524076  1488754 | 2147483647    58841    238 | 26.601 % |
187.38/187.59	c |     60140 |   94208   524076  1488754 | 2147483647    59285    238 | 26.676 % |
189.28/189.46	c |     60636 |   94201   524076  1488754 | 2147483647    59779    239 | 26.677 % |
191.48/191.65	c |     61179 |   94201   524076  1488754 | 2147483647    60322    240 | 26.677 % |
194.08/194.27	c |     61778 |   94200   524076  1488754 | 2147483647    60920    242 | 26.678 % |
197.28/197.42	c |     62433 |   94198   524076  1488754 | 2147483647    61573    246 | 26.680 % |
198.48/198.67	c |     63153 |   94198   524076  1488754 | 2147483647    62293    244 | 26.680 % |
202.38/202.56	c |     63945 |   94137   523384  1486929 | 2147483647    63051    248 | 26.681 % |
202.98/203.15	c |     64048 |   94137   523384  1486929 | 2147483647    63154    248 | 26.681 % |
203.38/203.53	c |     64158 |   94136   523384  1486929 | 2147483647    63263    248 | 26.688 % |
203.68/203.89	c |     64280 |   94120   523384  1486929 | 2147483647    63383    248 | 26.812 % |
204.39/204.50	c |     64413 |   94050   523384  1486929 | 2147483647    63516    248 | 26.812 % |
204.68/204.85	c |     64559 |   94050   523384  1486929 | 2147483647    63662    248 | 26.812 % |
204.88/205.09	c |     64720 |   94048   523384  1486929 | 2147483647    63822    248 | 26.821 % |
205.38/205.56	c |     64896 |   94045   523384  1486929 | 2147483647    63998    247 | 26.821 % |
206.08/206.27	c |     65089 |   94045   523384  1486929 | 2147483647    64191    247 | 26.821 % |
207.08/207.26	c |     65301 |   94045   523384  1486929 | 2147483647    64403    248 | 26.821 % |
208.08/208.28	c |     65535 |   94045   523384  1486929 | 2147483647    64637    249 | 26.821 % |
208.68/208.80	c |     65794 |   94039   523384  1486929 | 2147483647    64895    248 | 26.830 % |
209.28/209.42	c |     66075 |   94022   523384  1486929 | 2147483647    65175    248 | 26.941 % |
210.48/210.61	c |     66387 |   94022   523384  1486929 | 2147483647    65487    248 | 26.941 % |
212.67/212.83	c |     66727 |   94022   523384  1486929 | 2147483647    65827    250 | 26.942 % |
214.38/214.55	c |     67099 |   94022   523384  1486929 | 2147483647    66199    251 | 26.941 % |
216.77/216.95	c |     67508 |   94022   523384  1486929 | 2147483647    66608    253 | 26.941 % |
217.98/218.14	c |     67961 |   94022   523384  1486929 | 2147483647    67061    253 | 26.941 % |
219.88/220.04	c |     68454 |   94022   523384  1486929 | 2147483647    67554    254 | 26.942 % |
222.57/222.74	c |     68998 |   93801   521233  1481305 | 2147483647    68042    255 | 26.945 % |
225.57/225.78	c |     69594 |   93800   521233  1481305 | 2147483647    68637    257 | 26.945 % |
227.67/227.85	c |     70249 |   93799   521233  1481305 | 2147483647    69291    257 | 26.946 % |
230.07/230.21	c |     70969 |   93797   521233  1481305 | 2147483647    70009    258 | 26.948 % |
234.67/234.88	c |     71761 |   93797   521233  1481305 | 2147483647    70801    262 | 26.948 % |
238.77/238.98	c |     72632 |   93797   521233  1481305 | 2147483647    71672    266 | 26.948 % |
239.27/239.42	c |     72733 |   93797   521233  1481305 | 2147483647    71773    266 | 26.948 % |
239.86/240.02	c |     72846 |   93797   521233  1481305 | 2147483647    71886    266 | 26.948 % |
240.47/240.69	c |     72967 |   93797   521233  1481305 | 2147483647    72007    266 | 26.948 % |
240.97/241.16	c |     73101 |   93796   521233  1481305 | 2147483647    72140    266 | 26.949 % |
241.37/241.51	c |     73247 |   93792   521233  1481305 | 2147483647    72285    266 | 26.956 % |
242.27/242.45	c |     73408 |   93791   521233  1481305 | 2147483647    72445    266 | 26.956 % |
242.87/243.05	c |     73585 |   93791   521233  1481305 | 2147483647    72622    266 | 26.956 % |
243.37/243.54	c |     73778 |   93783   521116  1481036 | 2147483647    72789    266 | 26.956 % |
243.97/244.20	c |     73990 |   93777   521116  1481036 | 2147483647    72999    266 | 26.996 % |
245.47/245.65	c |     74227 |   93777   521116  1481036 | 2147483647    73236    266 | 26.996 % |
246.76/246.90	c |     74488 |   93777   521116  1481036 | 2147483647    73497    267 | 26.996 % |
248.26/248.49	c |     74769 |   93777   521116  1481036 | 2147483647    73778    267 | 26.996 % |
249.47/249.66	c |     75080 |   93777   521116  1481036 | 2147483647    74089    267 | 26.996 % |
250.96/251.16	c |     75421 |   93777   521116  1481036 | 2147483647    74430    268 | 26.996 % |
252.46/252.68	c |     75793 |   93777   521116  1481036 | 2147483647    74802    270 | 26.996 % |
254.37/254.51	c |     76202 |   93777   521116  1481036 | 2147483647    75211    272 | 26.996 % |
255.17/255.30	c |     76651 |   93777   521116  1481036 | 2147483647    75660    271 | 26.996 % |
258.46/258.61	c |     77145 |   93777   521116  1481036 | 2147483647    76154    272 | 26.996 % |
261.36/261.59	c |     77687 |   93776   521116  1481036 | 2147483647    76695    273 | 26.997 % |
264.77/264.97	c |     78283 |   93770   521116  1481036 | 2147483647    77289    275 | 27.006 % |
268.56/268.78	c |     78938 |   93770   521116  1481036 | 2147483647    77944    277 | 27.006 % |
271.36/271.51	c |     79660 |   93770   521116  1481036 | 2147483647    78666    277 | 27.006 % |
273.46/273.60	c |     80452 |   93714   520678  1479866 | 2147483647    79431    276 | 27.019 % |
276.16/276.30	c |     81325 |   93713   520678  1479866 | 2147483647    80303    276 | 27.034 % |
281.26/281.41	c |     82284 |   93713   520678  1479866 | 2147483647    81262    277 | 27.034 % |
281.66/281.86	c |     82387 |   93713   520678  1479866 | 2147483647    81365    277 | 27.034 % |
282.26/282.46	c |     82501 |   93713   520678  1479866 | 2147483647    81479    277 | 27.034 % |
282.66/282.87	c |     82622 |   93713   520678  1479866 | 2147483647    81600    277 | 27.034 % |
283.45/283.63	c |     82755 |   93713   520678  1479866 | 2147483647    81733    277 | 27.034 % |
283.95/284.16	c |     82902 |   93713   520678  1479866 | 2147483647    81880    277 | 27.034 % |
284.66/284.88	c |     83063 |   93713   520678  1479866 | 2147483647    82041    277 | 27.034 % |
285.05/285.21	c |     83239 |   93712   520678  1479866 | 2147483647    82216    277 | 27.035 % |
285.25/285.42	c |     83432 |   93712   520678  1479866 | 2147483647    82409    277 | 27.035 % |
286.25/286.46	c |     83645 |   93712   520678  1479866 | 2147483647    82622    277 | 27.035 % |
287.35/287.57	c |     83878 |   93712   520678  1479866 | 2147483647    82855    277 | 27.035 % |
288.55/288.72	c |     84135 |   93712   520678  1479866 | 2147483647    83112    278 | 27.035 % |
290.16/290.31	c |     84416 |   93712   520678  1479866 | 2147483647    83393    278 | 27.035 % |
291.65/291.83	c |     84727 |   93711   520678  1479866 | 2147483647    83703    279 | 27.036 % |
292.55/292.80	c |     85070 |   93710   520678  1479866 | 2147483647    84045    278 | 27.037 % |
294.16/294.36	c |     85443 |   93710   520678  1479866 | 2147483647    84418    278 | 27.037 % |
295.96/296.12	c |     85852 |   93710   520678  1479866 | 2147483647    84827    279 | 27.037 % |
297.86/298.03	c |     86301 |   93709   520678  1479866 | 2147483647    85275    280 | 27.037 % |
300.75/300.99	c |     86795 |   93709   520678  1479866 | 2147483647    85769    284 | 27.037 % |
303.46/303.66	c |     87338 |   93708   520678  1479866 | 2147483647    86311    285 | 27.038 % |
304.95/305.15	c |     87934 |   93677   520423  1479198 | 2147483647    86895    284 | 27.039 % |
308.75/308.99	c |     88593 |   93676   520423  1479198 | 2147483647    87553    286 | 27.040 % |
309.95/310.14	c |     89314 |   93674   520423  1479198 | 2147483647    88272    285 | 27.041 % |
312.65/312.89	c |     90107 |   93674   520423  1479198 | 2147483647    89065    286 | 27.041 % |
317.65/317.83	c |     90979 |   93674   520423  1479198 | 2147483647    89937    287 | 27.041 % |
322.55/322.70	c |     91937 |   93674   520423  1479198 | 2147483647    90895    290 | 27.041 % |
327.34/327.50	c |     92993 |   93674   520423  1479198 | 2147483647    91951    293 | 27.041 % |
327.65/327.85	c |     93094 |   93674   520423  1479198 | 2147483647    92052    293 | 27.041 % |
327.94/328.16	c |     93204 |   93674   520423  1479198 | 2147483647    92162    293 | 27.041 % |
328.24/328.41	c |     93325 |   93674   520423  1479198 | 2147483647    92283    293 | 27.041 % |
328.75/328.90	c |     93460 |   93674   520423  1479198 | 2147483647    92418    293 | 27.041 % |
329.34/329.51	c |     93607 |   93674   520423  1479198 | 2147483647    92565    293 | 27.041 % |
330.05/330.23	c |     93767 |   93674   520423  1479198 | 2147483647    92725    293 | 27.041 % |
330.95/331.17	c |     93943 |   93673   520423  1479198 | 2147483647    92900    293 | 27.042 % |
331.95/332.13	c |     94138 |   93673   520423  1479198 | 2147483647    93095    293 | 27.042 % |
332.74/332.99	c |     94350 |   93673   520423  1479198 | 2147483647    93307    293 | 27.042 % |
333.24/333.49	c |     94583 |   93673   520423  1479198 | 2147483647    93540    292 | 27.042 % |
334.04/334.28	c |     94839 |   93672   520423  1479198 | 2147483647    93795    292 | 27.043 % |
335.04/335.25	c |     95120 |   93672   520423  1479198 | 2147483647    94076    292 | 27.043 % |
335.74/335.98	c |     95429 |   93672   520423  1479198 | 2147483647    94385    292 | 27.043 % |
337.34/337.59	c |     95769 |   93671   520423  1479198 | 2147483647    94724    292 | 27.044 % |
339.34/339.56	c |     96142 |   93671   520423  1479198 | 2147483647    95097    294 | 27.044 % |
341.54/341.79	c |     96553 |   93670   520395  1479142 | 2147483647    95500    295 | 27.055 % |
342.74/342.93	c |     97002 |   93668   520395  1479142 | 2147483647    95947    294 | 27.069 % |
344.54/344.72	c |     97495 |   93586   520395  1479142 | 2147483647    96433    294 | 27.267 % |
345.94/346.10	c |     98037 |   93576   520395  1479142 | 2147483647    96971    293 | 27.304 % |
348.04/348.29	c |     98633 |   93572   520395  1479142 | 2147483647    97566    294 | 27.307 % |
351.84/352.05	c |     99289 |   93572   520395  1479142 | 2147483647    98222    296 | 27.307 % |
357.14/357.32	c |    100010 |   93572   520395  1479142 | 2147483647    98943    300 | 27.307 % |
360.23/360.46	c |    100804 |   93570   520395  1479142 | 2147483647    99735    301 | 27.324 % |
363.94/364.16	c |    101675 |   93570   520395  1479142 | 2147483647   100606    302 | 27.324 % |
368.13/368.39	c |    102633 |   93567   520395  1479142 | 2147483647   101562    305 | 27.327 % |
373.84/374.01	c |    103688 |   93567   520395  1479142 | 2147483647   102616    306 | 27.328 % |
380.23/380.48	c |    104850 |   93567   520395  1479142 | 2147483647   103778    309 | 27.328 % |
381.03/381.24	c |    104950 |   93306   518381  1473823 | 2147483647   103820    310 | 27.328 % |
381.63/381.85	c |    105061 |   93306   518381  1473823 | 2147483647   103931    310 | 27.328 % |
382.03/382.22	c |    105185 |   93306   518381  1473823 | 2147483647   104055    310 | 27.328 % |
382.23/382.43	c |    105318 |   93306   518381  1473823 | 2147483647   104188    310 | 27.328 % |
383.03/383.29	c |    105465 |   93306   518381  1473823 | 2147483647   104335    310 | 27.328 % |
384.13/384.37	c |    105626 |   93306   518381  1473823 | 2147483647   104496    310 | 27.328 % |
384.83/385.04	c |    105802 |   93306   518381  1473823 | 2147483647   104672    310 | 27.328 % |
385.62/385.80	c |    105995 |   93306   518381  1473823 | 2147483647   104865    310 | 27.328 % |
387.23/387.46	c |    106208 |   93306   518381  1473823 | 2147483647   105078    310 | 27.328 % |
388.63/388.80	c |    106442 |   93306   518381  1473823 | 2147483647   105312    311 | 27.328 % |
390.12/390.34	c |    106698 |   93306   518381  1473823 | 2147483647   105568    312 | 27.328 % |
391.72/391.94	c |    106979 |   93306   518381  1473823 | 2147483647   105849    312 | 27.328 % |
393.73/393.91	c |    107288 |   93305   518381  1473823 | 2147483647   106157    313 | 27.329 % |
394.43/394.62	c |    107628 |   93305   518381  1473823 | 2147483647   106497    312 | 27.329 % |
396.03/396.25	c |    108000 |   93305   518381  1473823 | 2147483647   106869    313 | 27.329 % |
398.12/398.30	c |    108410 |   93305   518381  1473823 | 2147483647   107279    313 | 27.329 % |
400.42/400.61	c |    108866 |   93303   518381  1473823 | 2147483647   107733    313 | 27.330 % |
403.22/403.50	c |    109359 |   93303   518381  1473823 | 2147483647   108226    316 | 27.330 % |
405.63/405.89	c |    109901 |   93303   518381  1473823 | 2147483647   108768    316 | 27.330 % |
407.32/407.57	c |    110497 |   93284   518381  1473823 | 2147483647   109359    315 | 27.489 % |
408.92/409.17	c |    111152 |   93284   518381  1473823 | 2147483647   110014    315 | 27.489 % |
413.62/413.83	c |    111872 |   93284   518381  1473823 | 2147483647   110734    317 | 27.489 % |
418.52/418.71	c |    112664 |   93284   518381  1473823 | 2147483647   111526    322 | 27.489 % |
421.21/421.43	c |    113537 |   93278   518381  1473823 | 2147483647   112396    322 | 27.541 % |
425.11/425.38	c |    114500 |   93266   518381  1473823 | 2147483647   113354    321 | 27.561 % |
431.41/431.61	c |    115553 |   93266   518381  1473823 | 2147483647   114407    324 | 27.561 % |
437.42/437.66	c |    116711 |   93007   516535  1469059 | 2147483647   115517    325 | 27.561 % |
441.91/442.18	c |    117984 |   93007   516535  1469059 | 2147483647   116790    325 | 27.561 % |
442.31/442.56	c |    118084 |   93007   516535  1469059 | 2147483647   116890    325 | 27.561 % |
442.91/443.19	c |    118194 |   93007   516535  1469059 | 2147483647   117000    325 | 27.561 % |
443.81/444.03	c |    118315 |   93007   516535  1469059 | 2147483647   117121    325 | 27.561 % |
444.41/444.60	c |    118448 |   93007   516535  1469059 | 2147483647   117254    326 | 27.561 % |
445.01/445.27	c |    118595 |   93007   516535  1469059 | 2147483647   117401    326 | 27.561 % |
446.01/446.20	c |    118757 |   93007   516535  1469059 | 2147483647   117563    326 | 27.561 % |
447.31/447.53	c |    118933 |   93007   516535  1469059 | 2147483647   117739    326 | 27.561 % |
448.31/448.53	c |    119127 |   93007   516535  1469059 | 2147483647   117933    326 | 27.561 % |
449.81/450.07	c |    119339 |   93007   516535  1469059 | 2147483647   118145    326 | 27.561 % |
451.51/451.75	c |    119572 |   93007   516535  1469059 | 2147483647   118378    327 | 27.561 % |
452.81/453.04	c |    119828 |   92959   516535  1469059 | 2147483647   118632    327 | 27.815 % |
454.51/454.78	c |    120109 |   92959   516535  1469059 | 2147483647   118913    327 | 27.815 % |
456.51/456.71	c |    120418 |   92959   516535  1469059 | 2147483647   119222    328 | 27.815 % |
457.91/458.18	c |    120760 |   92959   516535  1469059 | 2147483647   119564    328 | 27.815 % |
460.21/460.43	c |    121132 |   92959   516535  1469059 | 2147483647   119936    329 | 27.815 % |
462.70/462.99	c |    121541 |   92959   516535  1469059 | 2147483647   120345    330 | 27.815 % |
464.60/464.81	c |    121991 |   92959   516535  1469059 | 2147483647   120795    330 | 27.815 % |
466.51/466.71	c |    122486 |   92959   516535  1469059 | 2147483647   121290    331 | 27.815 % |
469.80/470.09	c |    123029 |   92959   516535  1469059 | 2147483647   121833    332 | 27.815 % |
473.00/473.21	c |    123626 |   92959   516535  1469059 | 2147483647   122430    333 | 27.815 % |
476.20/476.49	c |    124284 |   92959   516535  1469059 | 2147483647   123088    334 | 27.815 % |
481.10/481.38	c |    125004 |   92959   516535  1469059 | 2147483647   123808    337 | 27.815 % |
485.30/485.58	c |    125797 |   92959   516535  1469059 | 2147483647   124601    338 | 27.815 % |
490.20/490.49	c |    126671 |   92956   516535  1469059 | 2147483647   125474    340 | 27.824 % |
497.00/497.21	c |    127633 |   92659   514681  1464868 | 2147483647   126418    341 | 27.832 % |
503.50/503.70	c |    128686 |   92659   514681  1464868 | 2147483647   127471    344 | 27.832 % |
509.20/509.48	c |    129848 |   92658   514681  1464868 | 2147483647   128632    346 | 27.833 % |
517.29/517.52	c |    131121 |   92657   514681  1464868 | 2147483647   129904    350 | 27.833 % |
521.29/521.56	c |    132521 |   92657   514681  1464868 | 2147483647   131303    349 | 27.836 % |
521.59/521.86	c |    132621 |   92654   514681  1464868 | 2147483647   131402    349 | 27.848 % |
522.20/522.44	c |    132731 |   92652   514681  1464868 | 2147483647   131512    349 | 27.848 % |
522.69/522.90	c |    132855 |   92652   514681  1464868 | 2147483647   131636    349 | 27.848 % |
522.99/523.29	c |    132991 |   92652   514681  1464868 | 2147483647   131772    348 | 27.848 % |
523.99/524.21	c |    133138 |   92651   514681  1464868 | 2147483647   131918    349 | 27.861 % |
524.59/524.86	c |    133298 |   92651   514681  1464868 | 2147483647   132078    349 | 27.861 % |
525.19/525.42	c |    133474 |   92650   514681  1464868 | 2147483647   132253    348 | 27.862 % |
526.20/526.45	c |    133667 |   92650   514681  1464868 | 2147483647   132446    349 | 27.862 % |
527.80/528.08	c |    133879 |   92649   514681  1464868 | 2147483647   132657    349 | 27.863 % |
529.29/529.51	c |    134116 |   92649   514681  1464868 | 2147483647   132894    350 | 27.863 % |
530.59/530.88	c |    134372 |   92649   514681  1464868 | 2147483647   133150    350 | 27.863 % |
532.09/532.33	c |    134653 |   92649   514681  1464868 | 2147483647   133431    351 | 27.863 % |
534.09/534.38	c |    134964 |   92649   514681  1464868 | 2147483647   133742    352 | 27.863 % |
536.39/536.67	c |    135305 |   92649   514681  1464868 | 2147483647   134083    352 | 27.863 % |
538.69/538.98	c |    135677 |   92649   514681  1464868 | 2147483647   134455    353 | 27.863 % |
541.68/541.98	c |    136086 |   92648   514681  1464868 | 2147483647   134863    355 | 27.864 % |
543.58/543.81	c |    136536 |   92648   514681  1464868 | 2147483647   135313    355 | 27.864 % |
545.79/546.03	c |    137029 |   92644   514681  1464868 | 2147483647   135804    355 | 27.872 % |
547.99/548.21	c |    137571 |   92644   514681  1464868 | 2147483647   136346    355 | 27.872 % |
549.59/549.89	c |    138169 |   92644   514681  1464868 | 2147483647   136944    354 | 27.872 % |
551.28/551.58	c |    138824 |   92644   514681  1464868 | 2147483647   137599    353 | 27.872 % |
559.09/559.30	c |    139546 |   92644   514681  1464868 | 2147483647   138321    355 | 27.872 % |
562.18/562.48	c |    140339 |   92643   514681  1464868 | 2147483647   139113    354 | 27.873 % |
567.18/567.46	c |    141210 |   92643   514681  1464868 | 2147483647   139984    356 | 27.873 % |
570.88/571.11	c |    142173 |   92643   514681  1464868 | 2147483647   140947    356 | 27.873 % |
576.77/577.07	c |    143226 |   92640   514681  1464868 | 2147483647   141999    358 | 27.876 % |
585.88/586.15	c |    144387 |   92600   514317  1463949 | 2147483647   143113    359 | 27.878 % |
594.67/594.96	c |    145661 |   92599   514317  1463949 | 2147483647   144386    360 | 27.878 % |
603.17/603.45	c |    147061 |   92594   514317  1463949 | 2147483647   145783    362 | 27.891 % |
611.57/611.82	c |    148601 |   92591   514317  1463949 | 2147483647   147320    362 | 27.922 % |
612.07/612.34	c |    148701 |   92591   514317  1463949 | 2147483647   147420    362 | 27.922 % |
612.77/613.09	c |    148814 |   92591   514317  1463949 | 2147483647   147533    362 | 27.922 % |
613.17/613.41	c |    148936 |   92591   514317  1463949 | 2147483647   147654    362 | 27.923 % |
613.77/614.01	c |    149069 |   92590   514317  1463949 | 2147483647   147787    362 | 27.923 % |
614.67/614.92	c |    149216 |   92590   514317  1463949 | 2147483647   147934    362 | 27.923 % |
615.46/615.72	c |    149376 |   92590   514317  1463949 | 2147483647   148094    362 | 27.923 % |
616.87/617.11	c |    149552 |   92590   514317  1463949 | 2147483647   148270    362 | 27.923 % |
617.87/618.18	c |    149745 |   92590   514317  1463949 | 2147483647   148463    362 | 27.923 % |
619.37/619.61	c |    149957 |   92589   514317  1463949 | 2147483647   148674    362 | 27.924 % |
620.07/620.36	c |    150191 |   92589   514317  1463949 | 2147483647   148908    362 | 27.924 % |
620.47/620.75	c |    150455 |   92589   514317  1463949 | 2147483647   149172    361 | 27.924 % |
621.67/621.92	c |    150737 |   92589   514317  1463949 | 2147483647   149454    361 | 27.924 % |
622.67/622.95	c |    151046 |   92585   514317  1463949 | 2147483647   149761    361 | 27.936 % |
623.56/623.87	c |    151386 |   92581   514317  1463949 | 2147483647   150100    361 | 27.948 % |
625.96/626.26	c |    151759 |   92581   514317  1463949 | 2147483647   150473    361 | 27.948 % |
628.56/628.86	c |    152168 |   92581   514317  1463949 | 2147483647   150882    362 | 27.948 % |
631.26/631.56	c |    152617 |   92581   514317  1463949 | 2147483647   151331    364 | 27.948 % |
634.47/634.73	c |    153111 |   92581   514317  1463949 | 2147483647   151825    365 | 27.948 % |
637.96/638.30	c |    153654 |   92581   514317  1463949 | 2147483647   152368    367 | 27.948 % |
641.56/641.81	c |    154251 |   92581   514317  1463949 | 2147483647   152965    369 | 27.948 % |
646.26/646.50	c |    154906 |   92581   514317  1463949 | 2147483647   153620    370 | 27.948 % |
650.05/650.33	c |    155627 |   92581   514317  1463949 | 2147483647   154341    371 | 27.948 % |
653.86/654.16	c |    156420 |   92580   514317  1463949 | 2147483647   155133    371 | 27.949 % |
659.25/659.50	c |    157293 |   92489   513596  1462073 | 2147483647   155931    372 | 27.964 % |
665.16/665.42	c |    158257 |   92488   513596  1462073 | 2147483647   156894    373 | 28.023 % |
671.95/672.26	c |    159310 |   92483   513596  1462073 | 2147483647   157944    374 | 28.030 % |
677.06/677.36	c |    160468 |   92483   513596  1462073 | 2147483647   159102    374 | 28.030 % |
684.75/685.06	c |    161741 |   92483   513596  1462073 | 2147483647   160375    375 | 28.030 % |
692.85/693.11	c |    163142 |   92483   513596  1462073 | 2147483647   161775    376 | 28.099 % |
701.55/701.84	c |    164683 |   92483   513596  1462073 | 2147483647   163315    379 | 28.111 % |
710.45/710.71	c |    166377 |   92481   513596  1462073 | 2147483647   165007    380 | 28.113 % |
711.15/711.47	c |    166479 |   92481   513596  1462073 | 2147483647   165109    380 | 28.113 % |
711.85/712.16	c |    166589 |   92481   513596  1462073 | 2147483647   165219    380 | 28.113 % |
712.35/712.66	c |    166710 |   92481   513596  1462073 | 2147483647   165340    380 | 28.113 % |
712.75/713.02	c |    166844 |   92481   513596  1462073 | 2147483647   165474    380 | 28.113 % |
713.95/714.26	c |    166991 |   92480   513596  1462073 | 2147483647   165620    380 | 28.114 % |
714.65/714.97	c |    167151 |   92463   513596  1462073 | 2147483647   165777    379 | 28.345 % |
715.25/715.58	c |    167327 |   92462   513596  1462073 | 2147483647   165953    379 | 28.345 % |
715.94/716.26	c |    167525 |   92462   513596  1462073 | 2147483647   166151    379 | 28.345 % |
717.44/717.71	c |    167737 |   92330   513596  1462073 | 2147483647   166363    379 | 28.345 % |
718.64/718.91	c |    167972 |   92330   513596  1462073 | 2147483647   166598    379 | 28.345 % |
719.15/719.49	c |    168229 |   92330   513596  1462073 | 2147483647   166855    379 | 28.345 % |
721.44/721.73	c |    168510 |   92325   513596  1462073 | 2147483647   167134    379 | 28.368 % |
722.94/723.29	c |    168820 |   92325   513596  1462073 | 2147483647   167444    380 | 28.368 % |
724.93/725.27	c |    169162 |   92323   513596  1462073 | 2147483647   167785    380 | 28.376 % |
727.13/727.49	c |    169534 |   92321   513596  1462073 | 2147483647   168157    380 | 28.376 % |
728.84/729.14	c |    169948 |   92321   513596  1462073 | 2147483647   168571    379 | 28.376 % |
732.54/732.83	c |    170398 |   92317   513596  1462073 | 2147483647   169020    380 | 28.388 % |
736.23/736.52	c |    170895 |   92316   513596  1462073 | 2147483647   169516    381 | 28.400 % |
739.33/739.66	c |    171437 |   92316   513596  1462073 | 2147483647   170058    382 | 28.400 % |
743.03/743.33	c |    172033 |   92315   513596  1462073 | 2147483647   170653    382 | 28.400 % |
745.93/746.28	c |    172691 |   92315   513596  1462073 | 2147483647   171311    383 | 28.400 % |
750.82/751.16	c |    173412 |   92314   513596  1462073 | 2147483647   172031    384 | 28.403 % |
756.83/757.11	c |    174204 |   92313   513596  1462073 | 2147483647   172822    386 | 28.404 % |
762.12/762.43	c |    175075 |   92311   513596  1462073 | 2147483647   173691    387 | 28.419 % |
768.83/769.13	c |    176036 |   91905   510541  1454829 | 2147483647   174454    389 | 28.419 % |
775.72/776.10	c |    177089 |   91905   510541  1454829 | 2147483647   175507    390 | 28.419 % |
782.63/782.92	c |    178247 |   91905   510541  1454829 | 2147483647   176665    392 | 28.419 % |
790.22/790.60	c |    179521 |   91898   510541  1454829 | 2147483647   177936    392 | 28.435 % |
800.81/801.19	c |    180921 |   91897   510541  1454829 | 2147483647   179335    394 | 28.435 % |
811.32/811.65	c |    182461 |   91897   510541  1454829 | 2147483647   180875    397 | 28.435 % |
821.91/822.28	c |    184156 |   91895   510541  1454829 | 2147483647   182568    400 | 28.473 % |
835.80/836.10	c |    186021 |   91895   510541  1454829 | 2147483647   184433    403 | 28.473 % |
836.61/836.95	c |    186121 |   91895   510541  1454829 | 2147483647   184533    403 | 28.473 % |
837.31/837.66	c |    186231 |   91895   510541  1454829 | 2147483647   184643    403 | 28.473 % |
838.01/838.39	c |    186352 |   91895   510541  1454829 | 2147483647   184764    403 | 28.473 % |
839.01/839.34	c |    186485 |   91895   510541  1454829 | 2147483647   184897    403 | 28.473 % |
839.31/839.69	c |    186631 |   91895   510541  1454829 | 2147483647   185043    403 | 28.473 % |
839.91/840.29	c |    186791 |   91895   510541  1454829 | 2147483647   185203    403 | 28.473 % |
840.61/840.99	c |    186969 |   91895   510541  1454829 | 2147483647   185381    403 | 28.473 % |
841.81/842.11	c |    187163 |   91895   510541  1454829 | 2147483647   185575    403 | 28.473 % |
843.41/843.77	c |    187376 |   91895   510541  1454829 | 2147483647   185788    403 | 28.473 % |
844.91/845.28	c |    187610 |   91895   510541  1454829 | 2147483647   186022    404 | 28.473 % |
846.61/846.91	c |    187869 |   91895   510541  1454829 | 2147483647   186281    404 | 28.473 % |
848.30/848.66	c |    188153 |   91895   510541  1454829 | 2147483647   186565    405 | 28.473 % |
850.40/850.75	c |    188464 |   91895   510541  1454829 | 2147483647   186876    405 | 28.473 % |
852.41/852.73	c |    188804 |   91895   510541  1454829 | 2147483647   187216    405 | 28.473 % |
854.81/855.15	c |    189177 |   91895   510541  1454829 | 2147483647   187589    405 | 28.473 % |
857.01/857.36	c |    189587 |   91887   510541  1454829 | 2147483647   187997    405 | 28.490 % |
860.00/860.33	c |    190036 |   91886   510541  1454829 | 2147483647   188445    406 | 28.491 % |
862.90/863.25	c |    190530 |   91886   510541  1454829 | 2147483647   188939    406 | 28.491 % |
866.30/866.61	c |    191073 |   91886   510541  1454829 | 2147483647   189482    406 | 28.491 % |
869.40/869.73	c |    191670 |   91886   510541  1454829 | 2147483647   190079    407 | 28.491 % |
874.80/875.18	c |    192327 |   91886   510541  1454829 | 2147483647   190736    408 | 28.491 % |
878.60/878.98	c |    193047 |   91886   510541  1454829 | 2147483647   191456    409 | 28.491 % |
883.50/883.81	c |    193840 |   91886   510541  1454829 | 2147483647   192249    409 | 28.491 % |
889.60/889.93	c |    194712 |   91886   510541  1454829 | 2147483647   193121    410 | 28.491 % |
896.09/896.44	c |    195671 |   91885   510541  1454829 | 2147483647   194079    410 | 28.494 % |
903.69/904.07	c |    196726 |   91808   509879  1453095 | 2147483647   195109    411 | 28.495 % |
909.39/909.74	c |    197884 |   91795   509879  1453095 | 2147483647   196264    410 | 28.513 % |
920.29/920.61	c |    199159 |   91795   509879  1453095 | 2147483647   197539    413 | 28.513 % |
930.09/930.48	c |    200559 |   91794   509879  1453095 | 2147483647   198938    416 | 28.514 % |
938.58/938.97	c |    202100 |   91794   509879  1453095 | 2147483647   200479    417 | 28.514 % |
949.58/949.92	c |    203797 |   91793   509879  1453095 | 2147483647   202175    418 | 28.515 % |
961.77/962.16	c |    205661 |   91793   509879  1453095 | 2147483647   204039    421 | 28.515 % |
974.28/974.67	c |    207713 |   91790   509879  1453095 | 2147483647   206090    421 | 28.528 % |
974.77/975.14	c |    207815 |   91790   509879  1453095 | 2147483647   206192    421 | 28.528 % |
975.38/975.78	c |    207925 |   91790   509879  1453095 | 2147483647   206302    421 | 28.528 % |
975.87/976.28	c |    208048 |   91790   509879  1453095 | 2147483647   206425    421 | 28.528 % |
976.47/976.81	c |    208181 |   91790   509879  1453095 | 2147483647   206558    421 | 28.528 % |
977.67/978.03	c |    208328 |   91790   509879  1453095 | 2147483647   206705    421 | 28.528 % |
978.78/979.12	c |    208488 |   91790   509879  1453095 | 2147483647   206865    421 | 28.528 % |
979.78/980.18	c |    208664 |   91790   509879  1453095 | 2147483647   207041    421 | 28.528 % |
981.17/981.59	c |    208857 |   91790   509879  1453095 | 2147483647   207234    421 | 28.528 % |
982.77/983.14	c |    209070 |   91790   509879  1453095 | 2147483647   207447    421 | 28.528 % |
984.47/984.89	c |    209305 |   91780   509879  1453095 | 2147483647   207681    421 | 28.558 % |
986.28/986.69	c |    209564 |   91780   509879  1453095 | 2147483647   207940    422 | 28.558 % |
987.77/988.14	c |    209852 |   91780   509879  1453095 | 2147483647   208228    421 | 28.558 % |
989.87/990.24	c |    210162 |   91780   509879  1453095 | 2147483647   208538    422 | 28.558 % |
992.47/992.81	c |    210501 |   91779   509879  1453095 | 2147483647   208876    422 | 28.558 % |
993.87/994.29	c |    210875 |   91779   509879  1453095 | 2147483647   209249    422 | 28.571 % |
996.77/997.14	c |    211285 |   91777   509879  1453095 | 2147483647   209659    422 | 28.571 % |
1000.16/1000.54	c |    211736 |   91777   509879  1453095 | 2147483647   210110    422 | 28.571 % |
1004.57/1004.92	c |    212229 |   91770   509879  1453095 | 2147483647   210601    422 | 28.584 % |
1008.06/1008.42	c |    212773 |   91769   509879  1453095 | 2147483647   211144    423 | 28.585 % |
1012.16/1012.58	c |    213369 |   91769   509879  1453095 | 2147483647   211740    424 | 28.585 % |
1017.86/1018.20	c |    214026 |   91767   509879  1453095 | 2147483647   212394    424 | 28.590 % |
1022.36/1022.74	c |    214746 |   91765   509879  1453095 | 2147483647   213112    425 | 28.591 % |
1027.56/1027.91	c |    215540 |   91765   509879  1453095 | 2147483647   213906    426 | 28.591 % |
1033.05/1033.46	c |    216412 |   91765   509879  1453095 | 2147483647   214778    425 | 28.591 % |
1042.76/1043.14	c |    217370 |   91765   509879  1453095 | 2147483647   215736    427 | 28.591 % |
1049.25/1049.60	c |    218423 |   91765   509879  1453095 | 2147483647   216789    428 | 28.591 % |
1057.54/1057.92	c |    219581 |   91682   509125  1451239 | 2147483647   217886    428 | 28.602 % |
1066.04/1066.46	c |    220854 |   91682   509125  1451239 | 2147483647   219159    430 | 28.602 % |
1078.15/1078.55	c |    222254 |   91682   509125  1451239 | 2147483647   220559    431 | 28.602 % |
1089.25/1089.66	c |    223795 |   91682   509125  1451239 | 2147483647   222100    433 | 28.602 % |
1104.43/1104.87	c |    225490 |   91675   509125  1451239 | 2147483647   223793    436 | 28.611 % |
1116.43/1116.88	c |    227355 |   91674   509125  1451239 | 2147483647   225657    438 | 28.618 % |
1132.03/1132.42	c |    229404 |   91674   509125  1451239 | 2147483647   227706    440 | 28.618 % |
1150.13/1150.59	c |    231657 |   91674   509125  1451239 | 2147483647   229959    444 | 28.618 % |
1151.23/1151.65	c |    231758 |   91674   509125  1451239 | 2147483647   230060    444 | 28.618 % |
1152.22/1152.66	c |    231870 |   91674   509125  1451239 | 2147483647   230172    444 | 28.618 % |
1153.12/1153.51	c |    231993 |   91674   509125  1451239 | 2147483647   230295    444 | 28.618 % |
1154.12/1154.58	c |    232128 |   91674   509125  1451239 | 2147483647   230430    444 | 28.618 % |
1155.22/1155.66	c |    232274 |   91674   509125  1451239 | 2147483647   230576    444 | 28.618 % |
1155.62/1156.10	c |    232437 |   91674   509125  1451239 | 2147483647   230739    444 | 28.618 % |
1157.93/1158.31	c |    232615 |   91674   509125  1451239 | 2147483647   230917    444 | 28.618 % |
1159.72/1160.11	c |    232810 |   91674   509125  1451239 | 2147483647   231112    444 | 28.618 % |
1161.12/1161.57	c |    233023 |   91674   509125  1451239 | 2147483647   231325    444 | 28.618 % |
1162.63/1163.09	c |    233256 |   91674   509125  1451239 | 2147483647   231558    445 | 28.618 % |
1164.63/1165.08	c |    233513 |   91674   509125  1451239 | 2147483647   231815    445 | 28.618 % |
1165.63/1166.01	c |    233794 |   91673   509125  1451239 | 2147483647   232095    444 | 28.619 % |
1168.52/1168.92	c |    234103 |   91673   509125  1451239 | 2147483647   232404    444 | 28.619 % |
1171.12/1171.52	c |    234442 |   91673   509125  1451239 | 2147483647   232743    445 | 28.619 % |
1174.02/1174.48	c |    234815 |   91673   509125  1451239 | 2147483647   233116    446 | 28.619 % |
1177.02/1177.43	c |    235226 |   91673   509125  1451239 | 2147483647   233527    447 | 28.619 % |
1179.92/1180.36	c |    235675 |   91673   509125  1451239 | 2147483647   233976    447 | 28.619 % |
1184.32/1184.73	c |    236171 |   91672   509125  1451239 | 2147483647   234471    448 | 28.620 % |
1186.62/1187.00	c |    236716 |   91672   509125  1451239 | 2147483647   235016    447 | 28.620 % |
1190.62/1191.02	c |    237313 |   91672   509125  1451239 | 2147483647   235613    448 | 28.620 % |
1194.82/1195.22	c |    237969 |   91671   509125  1451239 | 2147483647   236268    448 | 28.633 % |
1199.51/1200.00	c |    238690 |   91671   509125  1451239 | 2147483647   236989    448 | 28.633 % |
1205.11/1205.55	c |    239483 |   91671   509125  1451239 | 2147483647   237782    449 | 28.633 % |
1212.01/1212.42	c |    240355 |   91671   509125  1451239 | 2147483647   238654    450 | 28.633 % |
1219.42/1219.90	c |    241315 |   91671   509125  1451239 | 2147483647   239614    452 | 28.633 % |
1226.70/1227.14	c |    242369 |   91671   509125  1451239 | 2147483647   240668    451 | 28.633 % |
1235.10/1235.59	c |    243527 |   91579   509125  1451239 | 2147483647   241823    452 | 28.807 % |
1243.71/1244.19	c |    244800 |   91579   509125  1451239 | 2147483647   243095    454 | 28.810 % |
1255.10/1255.54	c |    246201 |   91579   509125  1451239 | 2147483647   244496    456 | 28.810 % |
1266.70/1267.11	c |    247741 |   91402   507692  1447830 | 2147483647   245962    457 | 28.813 % |
1277.69/1278.15	c |    249435 |   91393   507692  1447830 | 2147483647   247651    458 | 28.845 % |
1291.69/1292.17	c |    251299 |   91392   507692  1447830 | 2147483647   249514    461 | 28.846 % |
1307.49/1307.93	c |    253348 |   91392   507692  1447830 | 2147483647   251563    463 | 28.846 % |
1325.58/1326.08	c |    255603 |   91392   507692  1447830 | 2147483647   253818    467 | 28.846 % |
1345.98/1346.44	c |    258082 |   91392   507692  1447830 | 2147483647   256297    469 | 28.846 % |
1346.98/1347.46	c |    258182 |   91392   507692  1447830 | 2147483647   256397    469 | 28.846 % |
1347.88/1348.32	c |    258293 |   91392   507692  1447830 | 2147483647   256508    469 | 28.846 % |
1349.08/1349.51	c |    258417 |   91392   507692  1447830 | 2147483647   256632    469 | 28.846 % |
1350.28/1350.70	c |    258551 |   91392   507692  1447830 | 2147483647   256766    469 | 28.846 % |
1351.28/1351.78	c |    258697 |   91392   507692  1447830 | 2147483647   256912    469 | 28.846 % |
1352.67/1353.14	c |    258857 |   91392   507692  1447830 | 2147483647   257072    469 | 28.846 % |
1354.37/1354.87	c |    259036 |   91392   507692  1447830 | 2147483647   257251    470 | 28.846 % |
1355.78/1356.23	c |    259230 |   91392   507692  1447830 | 2147483647   257445    470 | 28.846 % |
1357.57/1358.03	c |    259443 |   91392   507692  1447830 | 2147483647   257658    470 | 28.846 % |
1359.47/1359.98	c |    259676 |   91392   507692  1447830 | 2147483647   257891    470 | 28.846 % |
1361.17/1361.68	c |    259932 |   91392   507692  1447830 | 2147483647   258147    470 | 28.846 % |
1363.96/1364.42	c |    260213 |   91392   507692  1447830 | 2147483647   258428    470 | 28.846 % |
1366.66/1367.10	c |    260524 |   91392   507692  1447830 | 2147483647   258739    470 | 28.846 % |
1369.07/1369.51	c |    260863 |   91391   507692  1447830 | 2147483647   259077    470 | 28.847 % |
1372.07/1372.59	c |    261237 |   91391   507692  1447830 | 2147483647   259451    470 | 28.847 % |
1374.26/1374.79	c |    261646 |   91391   507692  1447830 | 2147483647   259860    470 | 28.847 % |
1377.46/1377.97	c |    262095 |   91391   507692  1447830 | 2147483647   260309    470 | 28.847 % |
1381.36/1381.87	c |    262588 |   91391   507692  1447830 | 2147483647   260802    471 | 28.847 % |
1385.86/1386.33	c |    263131 |   91390   507692  1447830 | 2147483647   261344    471 | 28.849 % |
1389.46/1389.95	c |    263727 |   91390   507692  1447830 | 2147483647   261940    471 | 28.849 % |
1394.96/1395.44	c |    264385 |   91383   507692  1447830 | 2147483647   262597    472 | 28.858 % |
1400.76/1401.30	c |    265105 |   91382   507692  1447830 | 2147483647   263316    472 | 28.859 % |
1406.46/1406.91	c |    265898 |   91373   507692  1447830 | 2147483647   264108    472 | 28.875 % |
1412.86/1413.40	c |    266769 |   91373   507692  1447830 | 2147483647   264979    473 | 28.875 % |
1421.45/1421.93	c |    267733 |   91373   507692  1447830 | 2147483647   265943    475 | 28.875 % |
1427.55/1428.01	c |    268786 |   91373   507692  1447830 | 2147483647   266996    475 | 28.875 % |
1436.65/1437.16	c |    269944 |   91373   507692  1447830 | 2147483647   268154    477 | 28.875 % |
1447.45/1447.98	c |    271217 |   91373   507692  1447830 | 2147483647   269427    478 | 28.875 % |
1457.05/1457.59	c |    272618 |   91373   507692  1447830 | 2147483647   270828    479 | 28.875 % |
1468.34/1468.89	c |    274158 |   91373   507692  1447830 | 2147483647   272368    481 | 28.875 % |
1478.14/1478.60	c |    275852 |   91371   507692  1447830 | 2147483647   274060    480 | 28.885 % |
1495.64/1496.10	c |    277716 |   91367   507692  1447830 | 2147483647   275924    481 | 28.885 % |
1513.04/1513.58	c |    279768 |   91303   507095  1446259 | 2147483647   277911    482 | 28.888 % |
1532.02/1532.58	c |    282022 |   91303   507095  1446259 | 2147483647   280165    486 | 28.888 % |
1550.62/1551.18	c |    284503 |   91294   507095  1446259 | 2147483647   282643    488 | 28.974 % |
1567.12/1567.62	c |    287229 |   91294   507095  1446259 | 2147483647   285369    491 | 28.974 % |
1568.02/1568.56	c |    287330 |   91294   507095  1446259 | 2147483647   285470    491 | 28.974 % |
1568.82/1569.39	c |    287442 |   91294   507095  1446259 | 2147483647   285582    491 | 28.974 % |
1569.92/1570.40	c |    287569 |   91294   507095  1446259 | 2147483647   285709    491 | 28.974 % |
1570.71/1571.23	c |    287704 |   91294   507095  1446259 | 2147483647   285844    491 | 28.974 % |
1571.81/1572.39	c |    287853 |   91294   507095  1446259 | 2147483647   285993    491 | 28.974 % |
1573.11/1573.67	c |    288014 |   91294   507095  1446259 | 2147483647   286154    491 | 28.974 % |
1574.91/1575.46	c |    288191 |   91294   507095  1446259 | 2147483647   286331    491 | 28.974 % |
1576.92/1577.43	c |    288386 |   91294   507095  1446259 | 2147483647   286526    491 | 28.974 % |
1578.61/1579.18	c |    288599 |   91294   507095  1446259 | 2147483647   286739    491 | 28.974 % |
1580.31/1580.88	c |    288832 |   91291   507095  1446259 | 2147483647   286971    490 | 28.988 % |
1582.12/1582.60	c |    289089 |   91291   507095  1446259 | 2147483647   287228    490 | 28.988 % |
1584.52/1585.02	c |    289378 |   91287   507095  1446259 | 2147483647   287515    490 | 29.010 % |
1586.82/1587.31	c |    289687 |   91287   507095  1446259 | 2147483647   287823    490 | 29.011 % |
1590.01/1590.58	c |    290027 |   91287   507095  1446259 | 2147483647   288163    490 | 29.011 % |
1592.31/1592.82	c |    290399 |   91287   507095  1446259 | 2147483647   288535    490 | 29.011 % |
1595.91/1596.43	c |    290808 |   91287   507095  1446259 | 2147483647   288944    490 | 29.011 % |
1599.92/1600.40	c |    291257 |   91287   507095  1446259 | 2147483647   289393    490 | 29.011 % |
1603.81/1604.38	c |    291750 |   91287   507095  1446259 | 2147483647   289886    491 | 29.011 % |
1608.00/1608.51	c |    292293 |   91286   507095  1446259 | 2147483647   290428    491 | 29.012 % |
1612.71/1613.28	c |    292891 |   91286   507095  1446259 | 2147483647   291026    492 | 29.012 % |
1617.40/1618.00	c |    293547 |   91286   507095  1446259 | 2147483647   291682    492 | 29.012 % |
1623.01/1623.53	c |    294268 |   91286   507095  1446259 | 2147483647   292403    492 | 29.012 % |
1630.20/1630.71	c |    295060 |   91286   507095  1446259 | 2147483647   293195    493 | 29.012 % |
1635.40/1635.94	c |    295932 |   91284   507095  1446259 | 2147483647   294066    493 | 29.019 % |
1643.30/1643.81	c |    296891 |   91284   507095  1446259 | 2147483647   295025    493 | 29.019 % |
1653.19/1653.73	c |    297945 |   91284   507095  1446259 | 2147483647   296079    493 | 29.019 % |
1661.50/1662.02	c |    299103 |   91284   507095  1446259 | 2147483647   297237    494 | 29.019 % |
1670.89/1671.45	c |    300379 |   91284   507095  1446259 | 2147483647   298513    494 | 29.020 % |
1682.69/1683.26	c |    301779 |   91284   507095  1446259 | 2147483647   299913    496 | 29.019 % |
1692.48/1693.09	c |    303321 |   91284   507095  1446259 | 2147483647   301455    498 | 29.019 % |
1708.88/1709.43	c |    305024 |   91281   507095  1446259 | 2147483647   303157    499 | 29.027 % |
1722.17/1722.74	c |    306888 |   91281   507095  1446259 | 2147483647   305021    499 | 29.027 % |
1737.27/1737.87	c |    308941 |   91281   507095  1446259 | 2147483647   307074    501 | 29.027 % |
1756.97/1757.59	c |    311194 |   91281   507095  1446259 | 2147483647   309326    502 | 29.081 % |
1779.86/1780.41	c |    313672 |   91280   507095  1446259 | 2147483647   311803    504 | 29.082 % |
1799.95/1800.59	c |    316397 |   91272   507095  1446259 | 2147483647   314524    504 | 29.088 % |
1825.55/1826.15	c |    319394 |   91271   507095  1446259 | 2147483647   317520    506 | 29.089 % |
1827.25/1827.83	c |    319496 |   91045   505819  1442725 | 2147483647   317537    506 | 29.089 % |
1828.05/1828.69	c |    319606 |   91045   505819  1442725 | 2147483647   317647    506 | 29.089 % |
1829.44/1830.08	c |    319727 |   91045   505819  1442725 | 2147483647   317768    506 | 29.089 % |
1830.95/1831.52	c |    319860 |   91045   505819  1442725 | 2147483647   317901    506 | 29.089 % |
1832.44/1833.06	c |    320006 |   91045   505819  1442725 | 2147483647   318047    506 | 29.089 % |
1833.65/1834.26	c |    320166 |   91045   505819  1442725 | 2147483647   318207    506 | 29.089 % |
1835.75/1836.34	c |    320345 |   91045   505819  1442725 | 2147483647   318386    506 | 29.089 % |
1836.65/1837.22	c |    320538 |   91044   505819  1442725 | 2147483647   318578    506 | 29.090 % |
1837.75/1838.31	c |    320750 |   91044   505819  1442725 | 2147483647   318790    506 | 29.090 % |
1839.35/1839.92	c |    320983 |   91043   505819  1442725 | 2147483647   319022    506 | 29.090 % |
1840.85/1841.49	c |    321239 |   91043   505819  1442725 | 2147483647   319278    506 | 29.090 % |
1844.05/1844.68	c |    321522 |   91043   505819  1442725 | 2147483647   319561    506 | 29.090 % |
1847.04/1847.68	c |    321832 |   91042   505819  1442725 | 2147483647   319870    506 | 29.093 % |
1850.24/1850.84	c |    322172 |   91040   505819  1442725 | 2147483647   320209    506 | 29.095 % |
1853.64/1854.27	c |    322544 |   91039   505819  1442725 | 2147483647   320580    506 | 29.108 % |
1857.14/1857.72	c |    322953 |   91039   505819  1442725 | 2147483647   320989    506 | 29.108 % |
1861.44/1862.08	c |    323407 |   91039   505819  1442725 | 2147483647   321443    506 | 29.108 % |
1864.84/1865.42	c |    323900 |   91039   505819  1442725 | 2147483647   321936    506 | 29.108 % |
1869.13/1869.72	c |    324443 |   91039   505819  1442725 | 2147483647   322479    507 | 29.108 % |
1871.73/1872.36	c |    325039 |   91039   505819  1442725 | 2147483647   323075    506 | 29.108 % |
1877.34/1877.97	c |    325694 |   91039   505819  1442725 | 2147483647   323730    507 | 29.108 % |
1884.04/1884.64	c |    326414 |   91036   505819  1442725 | 2147483647   324449    507 | 29.136 % |
1890.53/1891.10	c |    327207 |   91036   505819  1442725 | 2147483647   325242    507 | 29.136 % |
1896.93/1897.51	c |    328078 |   91034   505819  1442725 | 2147483647   326111    507 | 29.137 % |
1903.44/1904.04	c |    329036 |   91034   505819  1442725 | 2147483647   327069    508 | 29.137 % |
1911.53/1912.19	c |    330095 |   91031   505819  1442725 | 2147483647   328127    508 | 29.140 % |
1922.33/1922.96	c |    331254 |   91031   505819  1442725 | 2147483647   329286    508 | 29.140 % |
1934.42/1935.01	c |    332528 |   91031   505819  1442725 | 2147483647   330560    508 | 29.140 % |
1946.02/1946.66	c |    333929 |   91031   505819  1442725 | 2147483647   331961    509 | 29.140 % |
1959.02/1959.68	c |    335470 |   91030   505819  1442725 | 2147483647   333501    510 | 29.141 % |
1972.01/1972.69	c |    337167 |   90998   505819  1442725 | 2147483647   335190    510 | 29.262 % |
1986.91/1987.52	c |    339031 |   90998   505819  1442725 | 2147483647   337054    511 | 29.262 % |
2003.61/2004.28	c |    341080 |   90991   505819  1442725 | 2147483647   339101    511 | 29.272 % |
2022.50/2023.10	c |    343334 |   90989   505819  1442725 | 2147483647   341354    512 | 29.275 % |
2044.40/2045.08	c |    345813 |   90988   505819  1442725 | 2147483647   343831    513 | 29.277 % |
2068.09/2068.73	c |    348539 |   90988   505819  1442725 | 2147483647   346557    515 | 29.277 % |
2092.38/2093.09	c |    351538 |   90979   505819  1442725 | 2147483647   349553    515 | 29.291 % |
2125.58/2126.23	c |    354836 |   90977   505819  1442725 | 2147483647   352849    518 | 29.293 % |
2126.47/2127.16	c |    354942 |   90977   505819  1442725 | 2147483647   352955    518 | 29.293 % |
2127.47/2128.17	c |    355052 |   90976   505819  1442725 | 2147483647   353064    518 | 29.294 % |
2128.27/2128.95	c |    355174 |   90976   505819  1442725 | 2147483647   353186    518 | 29.294 % |
2129.07/2129.77	c |    355307 |   90975   505819  1442725 | 2147483647   353318    518 | 29.297 % |
2131.07/2131.80	c |    355455 |   90975   505819  1442725 | 2147483647   353466    518 | 29.297 % |
2131.97/2132.68	c |    355615 |   90974   505819  1442725 | 2147483647   353625    517 | 29.298 % |
2133.67/2134.32	c |    355792 |   90974   505819  1442725 | 2147483647   353802    517 | 29.298 % |
2135.87/2136.54	c |    355985 |   90973   505819  1442725 | 2147483647   353994    517 | 29.298 % |
2137.67/2138.33	c |    356197 |   90973   505819  1442725 | 2147483647   354206    518 | 29.298 % |
2139.07/2139.79	c |    356430 |   90973   505819  1442725 | 2147483647   354439    517 | 29.298 % |
2140.07/2140.80	c |    356686 |   90973   505819  1442725 | 2147483647   354695    517 | 29.298 % |
2142.37/2143.03	c |    356967 |   90973   505819  1442725 | 2147483647   354976    517 | 29.298 % |
2145.16/2145.89	c |    357277 |   90973   505819  1442725 | 2147483647   355286    517 | 29.298 % |
2147.96/2148.69	c |    357616 |   90973   505819  1442725 | 2147483647   355625    517 | 29.298 % |
2150.87/2151.59	c |    357988 |   90973   505819  1442725 | 2147483647   355997    517 | 29.298 % |
2155.06/2155.72	c |    358402 |   90973   505819  1442725 | 2147483647   356411    518 | 29.298 % |
2158.46/2159.11	c |    358852 |   90972   505819  1442725 | 2147483647   356860    518 | 29.299 % |
2163.06/2163.75	c |    359345 |   90972   505819  1442725 | 2147483647   357353    518 | 29.299 % |
2167.26/2167.93	c |    359887 |   90972   505819  1442725 | 2147483647   357895    518 | 29.299 % |
2171.66/2172.37	c |    360486 |   90972   505819  1442725 | 2147483647   358494    518 | 29.299 % |
2175.86/2176.58	c |    361141 |   90972   505819  1442725 | 2147483647   359149    518 | 29.299 % |
2182.96/2183.60	c |    361862 |   90972   505819  1442725 | 2147483647   359870    518 | 29.299 % |
2189.95/2190.63	c |    362655 |   90968   505819  1442725 | 2147483647   360662    517 | 29.307 % |
2198.46/2199.15	c |    363527 |   90966   505819  1442725 | 2147483647   361532    518 | 29.308 % |
2206.46/2207.14	c |    364487 |   90966   505819  1442725 | 2147483647   362492    518 | 29.308 % |
2215.24/2215.92	c |    365541 |   90965   505819  1442725 | 2147483647   363545    519 | 29.309 % |
2222.95/2223.62	c |    366699 |   90965   505819  1442725 | 2147483647   364703    518 | 29.309 % |
2234.74/2235.47	c |    367973 |   90760   504012  1438076 | 2147483647   365480    519 | 29.323 % |
2247.54/2248.29	c |    369374 |   90759   504012  1438076 | 2147483647   366880    520 | 29.324 % |
2262.13/2262.80	c |    370918 |   90758   504012  1438076 | 2147483647   368423    521 | 29.325 % |
2277.03/2277.70	c |    372613 |   90757   504012  1438076 | 2147483647   370117    521 | 29.326 % |
2295.03/2295.78	c |    374479 |   90757   504012  1438076 | 2147483647   371983    521 | 29.326 % |
2312.72/2313.42	c |    376529 |   90757   504012  1438076 | 2147483647   374033    522 | 29.326 % |
2329.52/2330.29	c |    378783 |   90757   504012  1438076 | 2147483647   376287    521 | 29.326 % |
2360.31/2361.06	c |    381263 |   90753   504012  1438076 | 2147483647   378766    523 | 29.338 % |
2389.40/2390.14	c |    383989 |   90753   504012  1438076 | 2147483647   381492    525 | 29.338 % |
2416.90/2417.64	c |    386988 |   90752   504012  1438076 | 2147483647   384490    529 | 29.339 % |
2445.89/2446.69	c |    390287 |   90752   504012  1438076 | 2147483647   387789    533 | 29.339 % |
2481.38/2482.13	c |    393912 |   90750   504012  1438076 | 2147483647   391411    534 | 29.791 % |
2482.58/2483.39	c |    394013 |   90748   504012  1438076 | 2147483647   391511    534 | 29.804 % |
2483.18/2483.98	c |    394126 |   90748   504012  1438076 | 2147483647   391624    534 | 29.804 % |
2483.98/2484.71	c |    394247 |   90748   504012  1438076 | 2147483647   391745    534 | 29.804 % |
2485.38/2486.10	c |    394382 |   90743   504012  1438076 | 2147483647   391877    534 | 29.808 % |
2487.17/2487.92	c |    394530 |   90743   504012  1438076 | 2147483647   392025    534 | 29.808 % |
2488.87/2489.62	c |    394693 |   90743   504012  1438076 | 2147483647   392188    534 | 29.808 % |
2490.37/2491.14	c |    394870 |   90743   504012  1438076 | 2147483647   392365    534 | 29.808 % |
2492.67/2493.48	c |    395064 |   90743   504012  1438076 | 2147483647   392559    534 | 29.808 % |
2494.88/2495.60	c |    395277 |   90743   504012  1438076 | 2147483647   392772    534 | 29.808 % |
2497.18/2497.93	c |    395513 |   90739   504012  1438076 | 2147483647   393007    534 | 29.838 % |
2498.77/2499.57	c |    395771 |   90739   504012  1438076 | 2147483647   393265    534 | 29.838 % |
2501.78/2502.50	c |    396052 |   90739   504012  1438076 | 2147483647   393546    534 | 29.838 % |
2505.37/2506.18	c |    396361 |   90739   504012  1438076 | 2147483647   393855    534 | 29.838 % |
2508.87/2509.60	c |    396701 |   90739   504012  1438076 | 2147483647   394195    534 | 29.838 % |
2512.07/2512.86	c |    397074 |   90739   504012  1438076 | 2147483647   394568    534 | 29.838 % |
2515.77/2516.53	c |    397485 |   90739   504012  1438076 | 2147483647   394979    534 | 29.838 % |
2517.96/2518.78	c |    397934 |   90738   504012  1438076 | 2147483647   395427    534 | 29.847 % |
2523.17/2523.92	c |    398428 |   90738   504012  1438076 | 2147483647   395921    534 | 29.847 % |
2527.57/2528.32	c |    398970 |   90738   504012  1438076 | 2147483647   396463    534 | 29.847 % |
2534.36/2535.10	c |    399568 |   90738   504012  1438076 | 2147483647   397061    534 | 29.847 % |
2539.76/2540.57	c |    400223 |   90738   504012  1438076 | 2147483647   397716    534 | 29.847 % |
2547.06/2547.86	c |    400943 |   90738   504012  1438076 | 2147483647   398436    534 | 29.847 % |
2554.86/2555.62	c |    401735 |   90738   504012  1438076 | 2147483647   399228    534 | 29.847 % |
2563.75/2564.52	c |    402607 |   90737   504012  1438076 | 2147483647   400099    535 | 29.848 % |
2571.76/2572.51	c |    403565 |   90737   504012  1438076 | 2147483647   401057    536 | 29.848 % |
2582.05/2582.87	c |    404621 |   90737   504012  1438076 | 2147483647   402113    536 | 29.848 % |
2592.65/2593.46	c |    405779 |   90737   504012  1438076 | 2147483647   403271    537 | 29.848 % |
2603.85/2604.65	c |    407054 |   90737   504012  1438076 | 2147483647   404546    537 | 29.848 % |
2615.54/2616.38	c |    408455 |   90737   504012  1438076 | 2147483647   405947    539 | 29.848 % |
2627.14/2627.96	c |    409995 |   90731   504012  1438076 | 2147483647   407486    540 | 29.861 % |
2644.14/2644.95	c |    411689 |   90730   504012  1438076 | 2147483647   409179    540 | 29.861 % |
2660.04/2660.81	c |    413555 |   90730   504012  1438076 | 2147483647   411045    541 | 29.861 % |
2683.93/2684.78	c |    415609 |   90692   504012  1438076 | 2147483647   413088    542 | 29.900 % |
2709.92/2710.72	c |    417862 |   90691   504012  1438076 | 2147483647   415340    544 | 29.900 % |
2737.82/2738.61	c |    420342 |   90688   504012  1438076 | 2147483647   417819    544 | 29.908 % |
2764.71/2765.60	c |    423068 |   89989   499142  1424998 | 2147483647   420347    545 | 29.911 % |
2792.01/2792.82	c |    426066 |   89985   499142  1424998 | 2147483647   423341    546 | 29.925 % |
2821.19/2822.04	c |    429362 |   89983   499142  1424998 | 2147483647   426636    546 | 29.937 % |
2857.98/2858.87	c |    432987 |   89983   499142  1424998 | 2147483647   430261    549 | 29.937 % |
2905.68/2906.56	c |    436976 |   89981   499142  1424998 | 2147483647   434249    551 | 29.949 % |
2907.17/2908.01	c |    437077 |   89981   499142  1424998 | 2147483647   434350    551 | 29.949 % |
2908.47/2909.30	c |    437187 |   89981   499142  1424998 | 2147483647   434460    551 | 29.949 % |
2909.97/2910.80	c |    437314 |   89981   499142  1424998 | 2147483647   434587    551 | 29.949 % |
2911.57/2912.47	c |    437447 |   89981   499142  1424998 | 2147483647   434720    551 | 29.949 % |
2913.77/2914.69	c |    437593 |   89981   499142  1424998 | 2147483647   434866    551 | 29.949 % |
2914.67/2915.60	c |    437754 |   89980   499142  1424998 | 2147483647   435026    551 | 29.950 % |
2916.07/2916.98	c |    437930 |   89979   499142  1424998 | 2147483647   435202    551 | 29.950 % |
2918.48/2919.40	c |    438123 |   89979   499142  1424998 | 2147483647   435395    551 | 29.950 % |
2920.68/2921.51	c |    438336 |   89979   499142  1424998 | 2147483647   435608    551 | 29.950 % |
2922.87/2923.79	c |    438569 |   89979   499142  1424998 | 2147483647   435841    551 | 29.950 % |
2925.97/2926.81	c |    438825 |   89979   499142  1424998 | 2147483647   436097    551 | 29.950 % |
2927.87/2928.72	c |    439106 |   89979   499142  1424998 | 2147483647   436378    551 | 29.950 % |
2931.07/2931.98	c |    439417 |   89977   499142  1424998 | 2147483647   436688    551 | 29.953 % |
2934.56/2935.40	c |    439757 |   89977   499142  1424998 | 2147483647   437028    551 | 29.953 % |
2939.96/2940.81	c |    440131 |   89977   499142  1424998 | 2147483647   437402    551 | 29.953 % |
2943.87/2944.71	c |    440541 |   89977   499142  1424998 | 2147483647   437812    551 | 29.953 % |
2948.56/2949.47	c |    440991 |   89977   499142  1424998 | 2147483647   438261    551 | 29.956 % |
2954.96/2955.83	c |    441485 |   89976   499142  1424998 | 2147483647   438754    552 | 29.981 % |
2960.86/2961.77	c |    442030 |   89976   499142  1424998 | 2147483647   439299    552 | 29.981 % |
2966.66/2967.52	c |    442627 |   89976   499142  1424998 | 2147483647   439896    552 | 29.981 % |
2971.36/2972.26	c |    443282 |   89976   499142  1424998 | 2147483647   440551    552 | 29.981 % |
2976.16/2977.10	c |    444004 |   89976   499142  1424998 | 2147483647   441273    551 | 29.981 % |
2984.45/2985.32	c |    444799 |   89975   499142  1424998 | 2147483647   442067    551 | 29.982 % |
2992.75/2993.66	c |    445672 |   89974   499142  1424998 | 2147483647   442939    551 | 29.985 % |
3002.94/3003.87	c |    446630 |   89973   499142  1424998 | 2147483647   443896    552 | 29.986 % |
3013.65/3014.56	c |    447683 |   89973   499142  1424998 | 2147483647   444949    553 | 29.986 % |
3023.44/3024.33	c |    448841 |   89973   499142  1424998 | 2147483647   446107    553 | 29.986 % |
3036.74/3037.66	c |    450114 |   89972   499142  1424998 | 2147483647   447379    553 | 29.987 % |
3047.94/3048.86	c |    451517 |   89972   499142  1424998 | 2147483647   448782    554 | 29.987 % |
3061.63/3062.51	c |    453057 |   89972   499142  1424998 | 2147483647   450322    554 | 29.987 % |
3079.63/3080.59	c |    454752 |   89972   499142  1424998 | 2147483647   452017    556 | 29.987 % |
3097.12/3098.04	c |    456617 |   89972   499142  1424998 | 2147483647   453882    556 | 29.987 % |
3118.92/3119.89	c |    458667 |   89972   499142  1424998 | 2147483647   455932    556 | 29.987 % |
3141.52/3142.42	c |    460921 |   89972   499142  1424998 | 2147483647   458186    558 | 29.987 % |
3163.30/3164.28	c |    463399 |   89966   499142  1424998 | 2147483647   460662    558 | 30.013 % |
3191.40/3192.32	c |    466125 |   89966   499142  1424998 | 2147483647   463388    561 | 30.013 % |
3220.70/3221.66	c |    469123 |   89965   499142  1424998 | 2147483647   466384    563 | 30.014 % |
3253.18/3254.15	c |    472420 |   89964   499142  1424998 | 2147483647   469680    565 | 30.015 % |
3293.08/3294.03	c |    476046 |   89964   499142  1424998 | 2147483647   473306    567 | 30.015 % |
3330.77/3331.76	c |    480038 |   89951   499142  1424998 | 2147483647   477291    567 | 30.044 % |
3375.85/3376.86	c |    484423 |   89947   499142  1424998 | 2147483647   481673    569 | 30.053 % |
3377.25/3378.29	c |    484523 |   89947   499142  1424998 | 2147483647   481773    569 | 30.053 % |
3378.25/3379.24	c |    484633 |   89947   499142  1424998 | 2147483647   481883    569 | 30.053 % |
3379.75/3380.75	c |    484754 |   89947   499142  1424998 | 2147483647   482004    569 | 30.053 % |
3381.16/3382.13	c |    484887 |   89947   499142  1424998 | 2147483647   482137    569 | 30.053 % |
3382.96/3384.00	c |    485034 |   89947   499142  1424998 | 2147483647   482284    569 | 30.053 % |
3384.56/3385.52	c |    485194 |   89947   499142  1424998 | 2147483647   482444    569 | 30.053 % |
3387.25/3388.30	c |    485370 |   89947   499142  1424998 | 2147483647   482620    569 | 30.053 % |
3388.85/3389.85	c |    485564 |   89947   499142  1424998 | 2147483647   482814    569 | 30.053 % |
3389.45/3390.47	c |    485776 |   89947   499142  1424998 | 2147483647   483026    569 | 30.053 % |
3392.75/3393.73	c |    486009 |   89947   499142  1424998 | 2147483647   483259    569 | 30.053 % |
3395.05/3396.02	c |    486266 |   89947   499142  1424998 | 2147483647   483516    569 | 30.053 % |
3397.45/3398.42	c |    486551 |   89946   499142  1424998 | 2147483647   483800    569 | 30.054 % |
3398.85/3399.83	c |    486861 |   89946   499142  1424998 | 2147483647   484110    569 | 30.054 % |
3403.45/3404.46	c |    487200 |   89946   499142  1424998 | 2147483647   484449    569 | 30.054 % |
3406.45/3407.47	c |    487572 |   89946   499142  1424998 | 2147483647   484821    569 | 30.054 % |
3410.65/3411.62	c |    487982 |   89946   499142  1424998 | 2147483647   485231    569 | 30.054 % |
3415.15/3416.17	c |    488431 |   89946   499142  1424998 | 2147483647   485680    569 | 30.054 % |
3419.74/3420.76	c |    488924 |   89946   499142  1424998 | 2147483647   486173    569 | 30.054 % |
3424.24/3425.28	c |    489466 |   89946   499142  1424998 | 2147483647   486715    569 | 30.054 % |
3430.84/3431.84	c |    490062 |   89946   499142  1424998 | 2147483647   487311    569 | 30.054 % |
3438.64/3439.69	c |    490718 |   89946   499142  1424998 | 2147483647   487967    569 | 30.054 % |
3447.33/3448.34	c |    491438 |   89946   499142  1424998 | 2147483647   488687    569 | 30.054 % |
3455.32/3456.33	c |    492236 |   89946   499142  1424998 | 2147483647   489485    569 | 30.054 % |
3465.72/3466.78	c |    493107 |   89946   499142  1424998 | 2147483647   490356    569 | 30.054 % |
3477.62/3478.66	c |    494070 |   89806   497960  1422015 | 2147483647   491158    570 | 30.054 % |
3484.82/3485.83	c |    495123 |   89783   497960  1422015 | 2147483647   492209    570 | 30.230 % |
3493.12/3494.13	c |    496281 |   89752   497960  1422015 | 2147483647   493364    569 | 30.280 % |
3507.31/3508.33	c |    497554 |   89752   497960  1422015 | 2147483647   494637    570 | 30.280 % |
3522.01/3523.05	c |    498954 |   89745   497960  1422015 | 2147483647   496034    571 | 30.304 % |
3540.70/3541.72	c |    500494 |   89745   497960  1422015 | 2147483647   497572    571 | 30.309 % |
3557.90/3558.97	c |    502189 |   89745   497960  1422015 | 2147483647   499267    572 | 30.309 % |
3578.89/3579.93	c |    504058 |   89744   497960  1422015 | 2147483647   501135    572 | 30.310 % |
3603.48/3604.55	c |    506107 |   89744   497960  1422015 | 2147483647   503184    574 | 30.310 % |
3627.08/3628.14	c |    508360 |   89718   497960  1422015 | 2147483647   505434    574 | 30.352 % |
3653.08/3654.15	c |    510838 |   89718   497960  1422015 | 2147483647   507912    574 | 30.352 % |
3681.06/3682.16	c |    513563 |   89718   497960  1422015 | 2147483647   510637    576 | 30.352 % |
3712.86/3713.91	c |    516562 |   89718   497960  1422015 | 2147483647   513636    577 | 30.352 % |
3753.65/3754.71	c |    519859 |   89718   497960  1422015 | 2147483647   516933    579 | 30.352 % |
3799.54/3800.62	c |    523486 |   89718   497960  1422015 | 2147483647   520560    581 | 30.352 % |
3837.03/3838.10	c |    527473 |   89717   497960  1422015 | 2147483647   524546    582 | 30.353 % |
3885.12/3886.22	c |    531859 |   89717   497960  1422015 | 2147483647   528932    585 | 30.353 % |
3933.00/3934.11	c |    536687 |   89716   497960  1422015 | 2147483647   533759    587 | 30.354 % |
3933.90/3935.04	c |    536789 |   89716   497960  1422015 | 2147483647   533861    587 | 30.354 % |
3934.50/3935.66	c |    536900 |   89716   497960  1422015 | 2147483647   533972    587 | 30.354 % |
3935.10/3936.29	c |    537023 |   89716   497960  1422015 | 2147483647   534095    586 | 30.354 % |
3937.01/3938.11	c |    537161 |   89713   497960  1422015 | 2147483647   534232    586 | 30.356 % |
3938.51/3939.65	c |    537309 |   89712   497960  1422015 | 2147483647   534379    586 | 30.357 % |
3939.90/3941.04	c |    537469 |   89710   497960  1422015 | 2147483647   534537    586 | 30.359 % |
3942.20/3943.39	c |    537646 |   89710   497960  1422015 | 2147483647   534714    586 | 30.359 % |
3944.30/3945.47	c |    537840 |   89710   497960  1422015 | 2147483647   534908    586 | 30.359 % |
3945.71/3946.85	c |    538052 |   89710   497960  1422015 | 2147483647   535120    586 | 30.359 % |
3948.00/3949.12	c |    538285 |   89710   497960  1422015 | 2147483647   535353    586 | 30.359 % |
3951.40/3952.59	c |    538541 |   89710   497960  1422015 | 2147483647   535609    586 | 30.359 % |
3955.20/3956.31	c |    538822 |   89710   497960  1422015 | 2147483647   535890    586 | 30.359 % |
3959.00/3960.18	c |    539132 |   89710   497960  1422015 | 2147483647   536200    586 | 30.359 % |
3962.69/3963.84	c |    539474 |   89710   497960  1422015 | 2147483647   536542    586 | 30.359 % |
3966.90/3968.02	c |    539848 |   89710   497960  1422015 | 2147483647   536916    586 | 30.359 % |
3971.30/3972.42	c |    540260 |   89710   497960  1422015 | 2147483647   537328    586 | 30.359 % |
3977.50/3978.67	c |    540711 |   89710   497960  1422015 | 2147483647   537779    587 | 30.359 % |
3983.79/3984.99	c |    541205 |   89710   497960  1422015 | 2147483647   538273    587 | 30.359 % |
3989.69/3990.83	c |    541747 |   89710   497960  1422015 | 2147483647   538814    587 | 30.362 % |
3995.10/3996.26	c |    542343 |   89710   497960  1422015 | 2147483647   539410    587 | 30.362 % |
4004.79/4005.98	c |    542998 |   89710   497960  1422015 | 2147483647   540065    587 | 30.362 % |
4012.49/4013.62	c |    543719 |   89707   497960  1422015 | 2147483647   540784    587 | 30.379 % |
4020.18/4021.33	c |    544511 |   89706   497960  1422015 | 2147483647   541575    587 | 30.380 % |
4028.48/4029.67	c |    545384 |   89706   497960  1422015 | 2147483647   542448    587 | 30.380 % |
4039.58/4040.72	c |    546342 |   89706   497960  1422015 | 2147483647   543406    587 | 30.380 % |
4053.38/4054.55	c |    547401 |   89705   497960  1422015 | 2147483647   544464    588 | 30.396 % |
4061.38/4062.58	c |    548560 |   89705   497960  1422015 | 2147483647   545623    587 | 30.396 % |
4072.07/4073.28	c |    549833 |   89705   497960  1422015 | 2147483647   546896    588 | 30.396 % |
4086.17/4087.32	c |    551233 |   89705   497960  1422015 | 2147483647   548296    588 | 30.396 % |
4101.97/4103.16	c |    552773 |   89704   497960  1422015 | 2147483647   549835    588 | 30.397 % |
4121.16/4122.38	c |    554467 |   89703   497960  1422015 | 2147483647   551528    587 | 30.400 % |
4140.55/4141.75	c |    556330 |   89703   497960  1422015 | 2147483647   553391    587 | 30.400 % |
4160.45/4161.60	c |    558379 |   89703   497960  1422015 | 2147483647   555440    588 | 30.400 % |
4186.35/4187.57	c |    560632 |   89701   497960  1422015 | 2147483647   557691    588 | 30.402 % |
4214.14/4215.38	c |    563112 |   89700   497960  1422015 | 2147483647   560169    589 | 30.404 % |
4245.03/4246.24	c |    565837 |   89700   497960  1422015 | 2147483647   562894    590 | 30.404 % |
4280.22/4281.42	c |    568834 |   89700   497960  1422015 | 2147483647   565891    592 | 30.404 % |
4321.31/4322.54	c |    572130 |   89700   497960  1422015 | 2147483647   569187    594 | 30.404 % |
4362.60/4363.85	c |    575755 |   89700   497960  1422015 | 2147483647   572812    595 | 30.404 % |
4407.89/4409.15	c |    579744 |   89700   497960  1422015 | 2147483647   576801    595 | 30.404 % |
4461.48/4462.73	c |    584134 |   89357   495167  1414656 | 2147483647   580904    596 | 30.405 % |
4517.86/4519.15	c |    588957 |   89357   495167  1414656 | 2147483647   585727    600 | 30.405 % |
4569.95/4571.29	c |    594263 |   89357   495167  1414656 | 2147483647   591033    603 | 30.405 % |
4571.05/4572.32	c |    594363 |   89357   495167  1414656 | 2147483647   591133    603 | 30.405 % |
4572.25/4573.55	c |    594473 |   89357   495167  1414656 | 2147483647   591243    603 | 30.405 % |
4573.75/4575.09	c |    594594 |   89357   495167  1414656 | 2147483647   591364    603 | 30.405 % |
4574.55/4575.82	c |    594727 |   89357   495167  1414656 | 2147483647   591497    603 | 30.405 % |
4575.15/4576.44	c |    594873 |   89357   495167  1414656 | 2147483647   591643    603 | 30.405 % |
4575.55/4576.80	c |    595035 |   89357   495167  1414656 | 2147483647   591805    603 | 30.405 % |
4576.64/4577.93	c |    595212 |   89354   495167  1414656 | 2147483647   591979    603 | 30.409 % |
4579.05/4580.31	c |    595407 |   89354   495167  1414656 | 2147483647   592174    603 | 30.409 % |
4581.54/4582.82	c |    595621 |   89354   495167  1414656 | 2147483647   592388    603 | 30.409 % |
4584.75/4586.05	c |    595856 |   89354   495167  1414656 | 2147483647   592623    603 | 30.409 % |
4588.15/4589.41	c |    596119 |   89354   495167  1414656 | 2147483647   592886    603 | 30.409 % |
4591.64/4592.94	c |    596406 |   89354   495167  1414656 | 2147483647   593173    603 | 30.409 % |
4594.55/4595.83	c |    596715 |   89354   495167  1414656 | 2147483647   593482    603 | 30.409 % |
4598.95/4600.24	c |    597056 |   89354   495167  1414656 | 2147483647   593823    603 | 30.409 % |
4605.04/4606.34	c |    597433 |   89354   495167  1414656 | 2147483647   594200    603 | 30.409 % |
4610.13/4611.40	c |    597843 |   89351   495167  1414656 | 2147483647   594609    603 | 30.418 % |
4614.03/4615.39	c |    598294 |   89351   495167  1414656 | 2147483647   595060    603 | 30.418 % |
4620.43/4621.76	c |    598788 |   89351   495167  1414656 | 2147483647   595554    603 | 30.418 % |
4626.83/4628.18	c |    599331 |   89351   495167  1414656 | 2147483647   596097    603 | 30.418 % |
4633.64/4634.93	c |    599927 |   89351   495167  1414656 | 2147483647   596693    603 | 30.418 % |
4642.43/4643.78	c |    600582 |   89351   495167  1414656 | 2147483647   597348    603 | 30.418 % |
4649.33/4650.65	c |    601302 |   89351   495167  1414656 | 2147483647   598068    604 | 30.418 % |
4659.43/4660.77	c |    602095 |   89350   495167  1414656 | 2147483647   598860    604 | 30.421 % |
4668.83/4670.14	c |    602969 |   89350   495167  1414656 | 2147483647   599734    604 | 30.421 % |
4683.32/4684.61	c |    603927 |   89350   495167  1414656 | 2147483647   600692    604 | 30.421 % |
4694.21/4695.59	c |    604980 |   89350   495167  1414656 | 2147483647   601745    605 | 30.421 % |
4706.91/4708.28	c |    606139 |   89349   495167  1414656 | 2147483647   602903    605 | 30.434 % |
4718.71/4720.05	c |    607413 |   89349   495167  1414656 | 2147483647   604177    605 | 30.434 % |
4730.31/4731.67	c |    608814 |   89348   495167  1414656 | 2147483647   605577    605 | 30.435 % |
4746.40/4747.73	c |    610359 |   89348   495167  1414656 | 2147483647   607122    605 | 30.435 % |
4767.89/4769.20	c |    612054 |   89348   495167  1414656 | 2147483647   608817    605 | 30.435 % |
4797.49/4798.85	c |    613919 |   89348   495167  1414656 | 2147483647   610682    606 | 30.435 % |
4826.69/4828.04	c |    615970 |   89348   495167  1414656 | 2147483647   612733    607 | 30.435 % |
4851.07/4852.49	c |    618225 |   89346   495167  1414656 | 2147483647   614987    608 | 30.447 % |
4876.57/4877.92	c |    620703 |   89346   495167  1414656 | 2147483647   617465    609 | 30.447 % |
4905.16/4906.52	c |    623428 |   89346   495167  1414656 | 2147483647   620190    609 | 30.447 % |
4936.65/4938.03	c |    626425 |   89335   495167  1414656 | 2147483647   623184    608 | 30.488 % |
4976.65/4978.00	c |    629721 |   89335   495167  1414656 | 2147483647   626480    609 | 30.488 % |
5015.33/5016.77	c |    633346 |   89334   495167  1414656 | 2147483647   630104    609 | 30.489 % |
5059.12/5060.56	c |    637333 |   89334   495167  1414656 | 2147483647   634091    610 | 30.489 % |
5102.82/5104.25	c |    641719 |   89332   495167  1414656 | 2147483647   638475    611 | 30.491 % |
5164.80/5166.29	c |    646542 |   89332   495167  1414656 | 2147483647   643298    613 | 30.491 % |
5239.18/5240.61	c |    651847 |   89332   495167  1414656 | 2147483647   648603    617 | 30.491 % |
5308.66/5310.10	c |    657682 |   89330   495167  1414656 | 2147483647   654436    620 | 30.492 % |
5310.76/5312.23	c |    657783 |   89330   495167  1414656 | 2147483647   654537    620 | 30.492 % |
5312.57/5314.02	c |    657893 |   89330   495167  1414656 | 2147483647   654647    620 | 30.492 % |
5314.17/5315.60	c |    658014 |   89330   495167  1414656 | 2147483647   654768    620 | 30.492 % |
5315.97/5317.47	c |    658148 |   89330   495167  1414656 | 2147483647   654902    620 | 30.492 % |
5317.26/5318.73	c |    658295 |   89330   495167  1414656 | 2147483647   655049    620 | 30.492 % |
5319.36/5320.86	c |    658458 |   89330   495167  1414656 | 2147483647   655212    620 | 30.492 % |
5322.06/5323.55	c |    658638 |   89329   495167  1414656 | 2147483647   655391    620 | 30.493 % |
5325.06/5326.57	c |    658835 |   89329   495167  1414656 | 2147483647   655588    620 | 30.493 % |
5327.96/5329.43	c |    659047 |   89329   495167  1414656 | 2147483647   655800    620 | 30.493 % |
5329.95/5331.41	c |    659280 |   89329   495167  1414656 | 2147483647   656033    620 | 30.493 % |
5333.26/5334.75	c |    659538 |   89328   495167  1414656 | 2147483647   656290    620 | 30.505 % |
5335.16/5336.61	c |    659820 |   89328   495167  1414656 | 2147483647   656572    620 | 30.505 % |
5339.35/5340.87	c |    660129 |   89328   495167  1414656 | 2147483647   656881    620 | 30.505 % |
5343.85/5345.38	c |    660468 |   89328   495167  1414656 | 2147483647   657220    620 | 30.505 % |
5347.66/5349.13	c |    660841 |   89328   495167  1414656 | 2147483647   657593    620 | 30.505 % |
5352.35/5353.82	c |    661250 |   89328   495167  1414656 | 2147483647   658002    620 | 30.505 % |
5358.55/5360.03	c |    661699 |   89328   495167  1414656 | 2147483647   658451    620 | 30.505 % |
5365.05/5366.56	c |    662193 |   89328   495167  1414656 | 2147483647   658945    620 | 30.505 % |
5373.16/5374.66	c |    662735 |   89328   495167  1414656 | 2147483647   659487    621 | 30.505 % |
5380.54/5382.03	c |    663331 |   89328   495167  1414656 | 2147483647   660083    621 | 30.505 % |
5388.65/5390.15	c |    663986 |   89328   495167  1414656 | 2147483647   660738    621 | 30.505 % |
5397.74/5399.26	c |    664706 |   89328   495167  1414656 | 2147483647   661458    621 | 30.505 % |
5408.74/5410.23	c |    665499 |   89328   495167  1414656 | 2147483647   662251    621 | 30.505 % |
5420.93/5422.44	c |    666370 |   89328   495167  1414656 | 2147483647   663122    622 | 30.505 % |
5433.54/5435.01	c |    667330 |   89328   495167  1414656 | 2147483647   664082    622 | 30.505 % |
5447.93/5449.41	c |    668384 |   89328   495167  1414656 | 2147483647   665136    622 | 30.505 % |
5462.33/5463.80	c |    669543 |   89328   495167  1414656 | 2147483647   666295    623 | 30.505 % |
5477.42/5478.95	c |    670816 |   89328   495167  1414656 | 2147483647   667568    623 | 30.505 % |
5493.12/5494.66	c |    672216 |   89328   495167  1414656 | 2147483647   668968    623 | 30.505 % |
5509.71/5511.25	c |    673756 |   89327   495167  1414656 | 2147483647   670506    624 | 30.517 % |
5534.10/5535.61	c |    675451 |   89326   495167  1414656 | 2147483647   672200    623 | 30.518 % |
5561.00/5562.59	c |    677315 |   89326   495167  1414656 | 2147483647   674064    624 | 30.518 % |
5588.29/5589.87	c |    679364 |   89326   495167  1414656 | 2147483647   676113    625 | 30.518 % |
5618.59/5620.10	c |    681619 |   89210   494153  1411946 | 2147483647   678225    626 | 30.518 % |
5647.77/5649.37	c |    684099 |   89204   494153  1411946 | 2147483647   680703    627 | 30.534 % |
5685.47/5687.07	c |    686826 |   89203   494153  1411946 | 2147483647   683429    628 | 30.537 % |
5721.14/5722.79	c |    689823 |   89203   494153  1411946 | 2147483647   686426    629 | 30.537 % |
5769.83/5771.45	c |    693119 |   89202   494153  1411946 | 2147483647   689721    631 | 30.538 % |
5814.42/5816.07	c |    696744 |   89201   494153  1411946 | 2147483647   693345    633 | 30.539 % |
5863.10/5864.76	c |    700735 |   89201   494153  1411946 | 2147483647   697336    634 | 30.539 % |

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-1837050-1242857017/watcher-1837050-1242857017 -o /tmp/evaluation-result-1837050-1242857017/solver-1837050-1242857017 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837050-1242857017.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.00 0.00 0.00 3/67 7392
/proc/meminfo: memFree=1405136/2055920 swapFree=4177292/4192956
[pid=7392] ppid=7390 vsize=5356 CPUtime=0
/proc/7392/stat : 7392 (SatELiteGTI) S 7390 7392 7355 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 313728051 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7392/statm: 1339 237 197 169 0 50 0

[startup+0.0516511 s]
/proc/loadavg: 0.00 0.00 0.00 3/67 7392
/proc/meminfo: memFree=1405136/2055920 swapFree=4177292/4192956
[pid=7392] ppid=7390 vsize=5356 CPUtime=0
/proc/7392/stat : 7392 (SatELiteGTI) S 7390 7392 7355 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 313728051 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7392/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101654 s]
/proc/loadavg: 0.00 0.00 0.00 3/67 7392
/proc/meminfo: memFree=1405136/2055920 swapFree=4177292/4192956
[pid=7392] ppid=7390 vsize=5356 CPUtime=0
/proc/7392/stat : 7392 (SatELiteGTI) S 7390 7392 7355 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 313728051 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7392/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301673 s]
/proc/loadavg: 0.00 0.00 0.00 3/67 7392
/proc/meminfo: memFree=1405136/2055920 swapFree=4177292/4192956
[pid=7392] ppid=7390 vsize=5356 CPUtime=0
/proc/7392/stat : 7392 (SatELiteGTI) S 7390 7392 7355 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 313728051 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7392/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701708 s]
/proc/loadavg: 0.00 0.00 0.00 3/67 7392
/proc/meminfo: memFree=1405136/2055920 swapFree=4177292/4192956
[pid=7392] ppid=7390 vsize=5356 CPUtime=0
/proc/7392/stat : 7392 (SatELiteGTI) S 7390 7392 7355 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 313728051 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7392/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50178 s]
/proc/loadavg: 0.00 0.00 0.00 2/69 7397
/proc/meminfo: memFree=1296320/2055920 swapFree=4177292/4192956
[pid=7392] ppid=7390 vsize=5356 CPUtime=0
/proc/7392/stat : 7392 (SatELiteGTI) S 7390 7392 7355 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 313728051 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7392/statm: 1339 237 197 169 0 50 0
[pid=7396] ppid=7392 vsize=124444 CPUtime=1.48
/proc/7396/stat : 7396 (SatELite_releas) R 7392 7392 7355 0 -1 4194304 31356 0 0 0 132 16 0 0 25 0 1 0 313728051 127430656 28599 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/7396/statm: 31111 28599 76 173 0 30936 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 129800

[startup+3.10192 s]
/proc/loadavg: 0.00 0.00 0.00 2/69 7397
/proc/meminfo: memFree=1282112/2055920 swapFree=4177292/4192956
[pid=7392] ppid=7390 vsize=5356 CPUtime=0
/proc/7392/stat : 7392 (SatELiteGTI) S 7390 7392 7355 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 313728051 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7392/statm: 1339 237 197 169 0 50 0
[pid=7396] ppid=7392 vsize=138852 CPUtime=3.08
/proc/7396/stat : 7396 (SatELite_releas) R 7392 7392 7355 0 -1 4194304 34011 0 0 0 289 19 0 0 25 0 1 0 313728051 142184448 31254 1992294400 134512640 135223648 4294956128 18446744073709551615 134586697 0 0 4096 3 0 0 0 17 1 0 0
/proc/7396/statm: 34713 31254 76 173 0 34538 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 144208

[startup+6.30121 s]
/proc/loadavg: 0.08 0.02 0.01 2/69 7397
/proc/meminfo: memFree=1266048/2055920 swapFree=4177292/4192956
[pid=7392] ppid=7390 vsize=5356 CPUtime=0
/proc/7392/stat : 7392 (SatELiteGTI) S 7390 7392 7355 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 313728051 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7392/statm: 1339 237 197 169 0 50 0
[pid=7396] ppid=7392 vsize=141060 CPUtime=6.29
/proc/7396/stat : 7396 (SatELite_releas) R 7392 7392 7355 0 -1 4194304 37921 0 0 0 606 23 0 0 25 0 1 0 313728051 144445440 31961 1992294400 134512640 135223648 4294956128 18446744073709551615 134586777 0 0 4096 3 0 0 0 17 1 0 0
/proc/7396/statm: 35265 31961 76 173 0 35090 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 146416

[startup+12.7018 s]
/proc/loadavg: 0.15 0.03 0.01 2/69 7398
/proc/meminfo: memFree=1340928/2055920 swapFree=4177292/4192956
[pid=7392] ppid=7390 vsize=5356 CPUtime=9.51
/proc/7392/stat : 7392 (SatELiteGTI) S 7390 7392 7355 0 -1 4194304 336 48544 0 0 0 0 915 36 16 0 1 0 313728051 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7392/statm: 1339 239 197 169 0 50 0
[pid=7398] ppid=7392 vsize=43672 CPUtime=3.16
/proc/7398/stat : 7398 (minisat_static) R 7392 7392 7355 0 -1 4194304 10272 0 0 0 309 7 0 0 25 0 1 0 313729003 44720128 10221 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7398/statm: 10918 10221 77 171 0 10745 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 49028

[startup+25.5019 s]
/proc/loadavg: 0.34 0.08 0.02 2/69 7398
/proc/meminfo: memFree=1340416/2055920 swapFree=4177292/4192956
[pid=7392] ppid=7390 vsize=5356 CPUtime=9.51
/proc/7392/stat : 7392 (SatELiteGTI) S 7390 7392 7355 0 -1 4194304 336 48544 0 0 0 0 915 36 16 0 1 0 313728051 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7392/statm: 1339 239 197 169 0 50 0
[pid=7398] ppid=7392 vsize=44468 CPUtime=15.95
/proc/7398/stat : 7398 (minisat_static) R 7392 7392 7355 0 -1 4194304 10484 0 0 0 1588 7 0 0 25 0 1 0 313729003 45535232 10433 1992294400 134512640 135215339 4294956240 18446744073709551615 134525654 0 0 4096 3 0 0 0 17 1 0 0
/proc/7398/statm: 11117 10433 77 171 0 10944 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 49824

[startup+51.1012 s]
/proc/loadavg: 0.56 0.15 0.05 2/69 7398
/proc/meminfo: memFree=1332992/2055920 swapFree=4177292/4192956
[pid=7392] ppid=7390 vsize=5356 CPUtime=9.51
/proc/7392/stat : 7392 (SatELiteGTI) S 7390 7392 7355 0 -1 4194304 336 48544 0 0 0 0 915 36 16 0 1 0 313728051 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7392/statm: 1339 239 197 169 0 50 0
[pid=7398] ppid=7392 vsize=52204 CPUtime=41.53
/proc/7398/stat : 7398 (minisat_static) R 7392 7392 7355 0 -1 4194304 12413 0 0 0 4143 10 0 0 25 0 1 0 313729003 53456896 12362 1992294400 134512640 135215339 4294956240 18446744073709551615 134525115 0 0 4096 3 0 0 0 17 1 0 0
/proc/7398/statm: 13051 12362 77 171 0 12878 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 57560

[startup+102.306 s]
/proc/loadavg: 0.81 0.28 0.10 2/69 7398
/proc/meminfo: memFree=1314944/2055920 swapFree=4177292/4192956
[pid=7392] ppid=7390 vsize=5356 CPUtime=9.51
/proc/7392/stat : 7392 (SatELiteGTI) S 7390 7392 7355 0 -1 4194304 336 48544 0 0 0 0 915 36 16 0 1 0 313728051 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7392/statm: 1339 239 197 169 0 50 0
[pid=7398] ppid=7392 vsize=69900 CPUtime=92.71
/proc/7398/stat : 7398 (minisat_static) R 7392 7392 7355 0 -1 4194304 16824 0 0 0 9255 16 0 0 25 0 1 0 313729003 71577600 16773 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/7398/statm: 17475 16773 77 171 0 17302 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 75256

[startup+162.301 s]
/proc/loadavg: 0.93 0.41 0.15 2/69 7398
/proc/meminfo: memFree=1292360/2055920 swapFree=4177292/4192956
[pid=7392] ppid=7390 vsize=5356 CPUtime=9.51
/proc/7392/stat : 7392 (SatELiteGTI) S 7390 7392 7355 0 -1 4194304 336 48544 0 0 0 0 915 36 16 0 1 0 313728051 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7392/statm: 1339 239 197 169 0 50 0
[pid=7398] ppid=7392 vsize=92468 CPUtime=152.68
/proc/7398/stat : 7398 (minisat_static) R 7392 7392 7355 0 -1 4194304 22481 0 0 0 15245 23 0 0 25 0 1 0 313729003 94687232 22430 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7398/statm: 23117 22430 77 171 0 22944 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 97824

[startup+222.301 s]
/proc/loadavg: 0.97 0.51 0.20 2/69 7398
/proc/meminfo: memFree=1270984/2055920 swapFree=4177292/4192956
[pid=7392] ppid=7390 vsize=5356 CPUtime=9.51
/proc/7392/stat : 7392 (SatELiteGTI) S 7390 7392 7355 0 -1 4194304 336 48544 0 0 0 0 915 36 16 0 1 0 313728051 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7392/statm: 1339 239 197 169 0 50 0
[pid=7398] ppid=7392 vsize=113884 CPUtime=212.66
/proc/7398/stat : 7398 (minisat_static) R 7392 7392 7355 0 -1 4194304 27810 0 0 0 21238 28 0 0 25 0 1 0 313729003 116617216 27759 1992294400 134512640 135215339 4294956240 18446744073709551615 134529426 0 0 4096 3 0 0 0 17 1 0 0
/proc/7398/statm: 28471 27759 77 171 0 28298 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 119240

[startup+282.302 s]
/proc/loadavg: 0.99 0.60 0.25 2/69 7398
/proc/meminfo: memFree=1249544/2055920 swapFree=4177292/4192956
[pid=7392] ppid=7390 vsize=5356 CPUtime=9.51
/proc/7392/stat : 7392 (SatELiteGTI) S 7390 7392 7355 0 -1 4194304 336 48544 0 0 0 0 915 36 16 0 1 0 313728051 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7392/statm: 1339 239 197 169 0 50 0
[pid=7398] ppid=7392 vsize=135344 CPUtime=272.65
/proc/7398/stat : 7398 (minisat_static) R 7392 7392 7355 0 -1 4194304 33195 0 0 0 27232 33 0 0 25 0 1 0 313729003 138592256 33144 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7398/statm: 33836 33144 77 171 0 33663 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 140700

[startup+342.301 s]
/proc/loadavg: 0.99 0.67 0.29 2/69 7398
/proc/meminfo: memFree=1226120/2055920 swapFree=4177292/4192956
[pid=7392] ppid=7390 vsize=5356 CPUtime=9.51
/proc/7392/stat : 7392 (SatELiteGTI) S 7390 7392 7355 0 -1 4194304 336 48544 0 0 0 0 915 36 16 0 1 0 313728051 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7392/statm: 1339 239 197 169 0 50 0
[pid=7398] ppid=7392 vsize=158692 CPUtime=332.63
/proc/7398/stat : 7398 (minisat_static) R 7392 7392 7355 0 -1 4194304 38994 0 0 0 33224 39 0 0 25 0 1 0 313729003 162500608 38943 1992294400 134512640 135215339 4294956240 18446744073709551615 134532792 0 0 4096 3 0 0 0 17 1 0 0
/proc/7398/statm: 39673 38943 77 171 0 39500 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 164048

[startup+402.301 s]
/proc/loadavg: 0.99 0.73 0.33 2/69 7398
/proc/meminfo: memFree=1202696/2055920 swapFree=4177292/4192956
[pid=7392] ppid=7390 vsize=5356 CPUtime=9.51
/proc/7392/stat : 7392 (SatELiteGTI) S 7390 7392 7355 0 -1 4194304 336 48544 0 0 0 0 915 36 16 0 1 0 313728051 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7392/statm: 1339 239 197 169 0 50 0
[pid=7398] ppid=7392 vsize=182420 CPUtime=392.62
/proc/7398/stat : 7398 (minisat_static) R 7392 7392 7355 0 -1 4194304 44937 0 0 0 39215 47 0 0 25 0 1 0 313729003 186798080 44886 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/7398/statm: 45605 44886 77 171 0 45432 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 187776

[startup+462.302 s]

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

/proc/7398/statm: 416072 415197 77 171 0 415899 0
Current children cumulated CPU time (s) 5260.88
Current children cumulated vsize (KiB) 1669644

[startup+5322.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/69 7406
/proc/meminfo: memFree=15816/2055920 swapFree=4177292/4192956
[pid=7392] ppid=7390 vsize=5356 CPUtime=9.51
/proc/7392/stat : 7392 (SatELiteGTI) S 7390 7392 7355 0 -1 4194304 336 48544 0 0 0 0 915 36 16 0 1 0 313728051 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7392/statm: 1339 239 197 169 0 50 0
[pid=7398] ppid=7392 vsize=1682416 CPUtime=5311.35
/proc/7398/stat : 7398 (minisat_static) R 7392 7392 7355 0 -1 4194304 419795 0 0 0 530756 379 0 0 25 0 1 0 313729003 1722793984 419744 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/7398/statm: 420604 419744 77 171 0 420431 0
Current children cumulated CPU time (s) 5320.86
Current children cumulated vsize (KiB) 1687772

[startup+5382.31 s]
/proc/loadavg: 1.00 1.00 0.94 2/69 7406
/proc/meminfo: memFree=15944/2055920 swapFree=4177292/4192956
[pid=7392] ppid=7390 vsize=5356 CPUtime=9.51
/proc/7392/stat : 7392 (SatELiteGTI) S 7390 7392 7355 0 -1 4194304 336 48544 0 0 0 0 915 36 16 0 1 0 313728051 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7392/statm: 1339 239 197 169 0 50 0
[pid=7398] ppid=7392 vsize=1697624 CPUtime=5371.34
/proc/7398/stat : 7398 (minisat_static) R 7392 7392 7355 0 -1 4194304 423592 0 0 0 536752 382 0 0 25 0 1 0 313729003 1738366976 423541 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/7398/statm: 424406 423541 77 171 0 424233 0
Current children cumulated CPU time (s) 5380.85
Current children cumulated vsize (KiB) 1702980

[startup+5442.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/69 7406
/proc/meminfo: memFree=15240/2055920 swapFree=4177292/4192956
[pid=7392] ppid=7390 vsize=5356 CPUtime=9.51
/proc/7392/stat : 7392 (SatELiteGTI) S 7390 7392 7355 0 -1 4194304 336 48544 0 0 0 0 915 36 16 0 1 0 313728051 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7392/statm: 1339 239 197 169 0 50 0
[pid=7398] ppid=7392 vsize=1712308 CPUtime=5431.32
/proc/7398/stat : 7398 (minisat_static) R 7392 7392 7355 0 -1 4194304 427269 0 0 0 542746 386 0 0 25 0 1 0 313729003 1753403392 427218 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/7398/statm: 428077 427218 77 171 0 427904 0
Current children cumulated CPU time (s) 5440.83
Current children cumulated vsize (KiB) 1717664

[startup+5502.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/69 7406
/proc/meminfo: memFree=16200/2055920 swapFree=4177292/4192956
[pid=7392] ppid=7390 vsize=5356 CPUtime=9.51
/proc/7392/stat : 7392 (SatELiteGTI) S 7390 7392 7355 0 -1 4194304 336 48544 0 0 0 0 915 36 16 0 1 0 313728051 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7392/statm: 1339 239 197 169 0 50 0
[pid=7398] ppid=7392 vsize=1728052 CPUtime=5491.3
/proc/7398/stat : 7398 (minisat_static) R 7392 7392 7355 0 -1 4194304 431198 0 0 0 548741 389 0 0 25 0 1 0 313729003 1769525248 431147 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7398/statm: 432013 431147 77 171 0 431840 0
Current children cumulated CPU time (s) 5500.81
Current children cumulated vsize (KiB) 1733408

[startup+5562.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/69 7406
/proc/meminfo: memFree=15368/2055920 swapFree=4177292/4192956
[pid=7392] ppid=7390 vsize=5356 CPUtime=9.51
/proc/7392/stat : 7392 (SatELiteGTI) S 7390 7392 7355 0 -1 4194304 336 48544 0 0 0 0 915 36 16 0 1 0 313728051 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7392/statm: 1339 239 197 169 0 50 0
[pid=7398] ppid=7392 vsize=1741356 CPUtime=5551.29
/proc/7398/stat : 7398 (minisat_static) R 7392 7392 7355 0 -1 4194304 434521 0 0 0 554737 392 0 0 25 0 1 0 313729003 1783148544 434470 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7398/statm: 435339 434470 77 171 0 435166 0
Current children cumulated CPU time (s) 5560.8
Current children cumulated vsize (KiB) 1746712

[startup+5622.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/69 7406
/proc/meminfo: memFree=14856/2055920 swapFree=4177292/4192956
[pid=7392] ppid=7390 vsize=5356 CPUtime=9.51
/proc/7392/stat : 7392 (SatELiteGTI) S 7390 7392 7355 0 -1 4194304 336 48544 0 0 0 0 915 36 16 0 1 0 313728051 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7392/statm: 1339 239 197 169 0 50 0
[pid=7398] ppid=7392 vsize=1758700 CPUtime=5611.27
/proc/7398/stat : 7398 (minisat_static) R 7392 7392 7355 0 -1 4194304 438841 0 0 0 560732 395 0 0 25 0 1 0 313729003 1800908800 438790 1992294400 134512640 135215339 4294956240 18446744073709551615 134528772 0 0 4096 3 0 0 0 17 1 0 0
/proc/7398/statm: 439675 438790 77 171 0 439502 0
Current children cumulated CPU time (s) 5620.78
Current children cumulated vsize (KiB) 1764056

[startup+5682.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/69 7406
/proc/meminfo: memFree=15816/2055920 swapFree=4177380/4192956
[pid=7392] ppid=7390 vsize=5356 CPUtime=9.51
/proc/7392/stat : 7392 (SatELiteGTI) S 7390 7392 7355 0 -1 4194304 336 48544 0 0 0 0 915 36 16 0 1 0 313728051 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7392/statm: 1339 239 197 169 0 50 0
[pid=7398] ppid=7392 vsize=1773452 CPUtime=5671.26
/proc/7398/stat : 7398 (minisat_static) R 7392 7392 7355 0 -1 4194304 442534 0 0 0 566727 399 0 0 25 0 1 0 313729003 1816014848 442483 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/7398/statm: 443363 442483 77 171 0 443190 0
Current children cumulated CPU time (s) 5680.77
Current children cumulated vsize (KiB) 1778808

[startup+5742.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/69 7435
/proc/meminfo: memFree=15880/2055920 swapFree=4177380/4192956
[pid=7392] ppid=7390 vsize=5356 CPUtime=9.51
/proc/7392/stat : 7392 (SatELiteGTI) S 7390 7392 7355 0 -1 4194304 336 48544 0 0 0 0 915 36 16 0 1 0 313728051 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7392/statm: 1339 239 197 169 0 50 0
[pid=7398] ppid=7392 vsize=1791748 CPUtime=5731.23
/proc/7398/stat : 7398 (minisat_static) R 7392 7392 7355 0 -1 4194304 447116 0 0 0 572720 403 0 0 25 0 1 0 313729003 1834749952 447065 1992294400 134512640 135215339 4294956240 18446744073709551615 134532956 0 0 4096 3 0 0 0 17 1 0 0
/proc/7398/statm: 447937 447065 77 171 0 447764 0
Current children cumulated CPU time (s) 5740.74
Current children cumulated vsize (KiB) 1797104

[startup+5802.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/69 7435
/proc/meminfo: memFree=16328/2055920 swapFree=4177380/4192956
[pid=7392] ppid=7390 vsize=5356 CPUtime=9.51
/proc/7392/stat : 7392 (SatELiteGTI) S 7390 7392 7355 0 -1 4194304 336 48544 0 0 0 0 915 36 16 0 1 0 313728051 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7392/statm: 1339 239 197 169 0 50 0
[pid=7398] ppid=7392 vsize=1808504 CPUtime=5791.21
/proc/7398/stat : 7398 (minisat_static) R 7392 7392 7355 0 -1 4194304 451299 0 0 0 578715 406 0 0 25 0 1 0 313729003 1851908096 451248 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7398/statm: 452126 451248 77 171 0 451953 0
Current children cumulated CPU time (s) 5800.72
Current children cumulated vsize (KiB) 1813860

[startup+5862.3 s]
/proc/loadavg: 1.06 1.01 0.94 2/69 7435
/proc/meminfo: memFree=15112/2055920 swapFree=4177380/4192956
[pid=7392] ppid=7390 vsize=5356 CPUtime=9.51
/proc/7392/stat : 7392 (SatELiteGTI) S 7390 7392 7355 0 -1 4194304 336 48544 0 0 0 0 915 36 16 0 1 0 313728051 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7392/statm: 1339 239 197 169 0 50 0
[pid=7398] ppid=7392 vsize=1825024 CPUtime=5851.2
/proc/7398/stat : 7398 (minisat_static) R 7392 7392 7355 0 -1 4194304 455445 0 0 0 584709 411 0 0 25 0 1 0 313729003 1868824576 455394 1992294400 134512640 135215339 4294956240 18446744073709551615 134528830 0 0 4096 3 0 0 0 17 1 0 0
/proc/7398/statm: 456256 455394 77 171 0 456083 0
Current children cumulated CPU time (s) 5860.71
Current children cumulated vsize (KiB) 1830380



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+5901.51 s]
/proc/loadavg: 1.03 1.01 0.94 2/69 7435
/proc/meminfo: memFree=15048/2055920 swapFree=4177380/4192956
[pid=7392] ppid=7390 vsize=5356 CPUtime=9.51
/proc/7392/stat : 7392 (SatELiteGTI) S 7390 7392 7355 0 -1 4194304 336 48544 0 0 0 0 915 36 16 0 1 0 313728051 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7392/statm: 1339 239 197 169 0 50 0
[pid=7398] ppid=7392 vsize=1837960 CPUtime=5890.39
/proc/7398/stat : 7398 (minisat_static) R 7392 7392 7355 0 -1 4194304 458324 0 0 0 588626 413 0 0 25 0 1 0 313729003 1882071040 458273 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/7398/statm: 459490 458273 77 171 0 459317 0
Current children cumulated CPU time (s) 5899.9
Current children cumulated vsize (KiB) 1843316

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

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

[startup+5901.51 s]
/proc/loadavg: 1.03 1.01 0.94 2/69 7435
/proc/meminfo: memFree=15048/2055920 swapFree=4177380/4192956
[pid=7392] ppid=7390 vsize=5356 CPUtime=9.51
/proc/7392/stat : 7392 (SatELiteGTI) S 7390 7392 7355 0 -1 4194304 336 48544 0 0 0 0 915 36 16 0 1 0 313728051 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7392/statm: 1339 239 197 169 0 50 0
[pid=7398] ppid=7392 vsize=1837960 CPUtime=5890.39
/proc/7398/stat : 7398 (minisat_static) R 7392 7392 7355 0 -1 4194304 458324 0 0 0 588626 413 0 0 25 0 1 0 313729003 1882071040 458273 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/7398/statm: 459490 458273 77 171 0 459317 0
Current children cumulated CPU time (s) 5899.9
Current children cumulated vsize (KiB) 1843316

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7392 and gives
#  childrusage.ru_utime.tv_sec=9
#  childrusage.ru_utime.tv_usec=154608
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=371943
# CPU time returned by wait4() is 9.52655
# while last known CPU time is 5899.9
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 5901.52
CPU time (s): 5899.9
CPU user time (s): 5895.41
CPU system time (s): 4.49
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (KiB): 1843316

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

runsolver used 5.71813 second user time and 15.8496 second system time

The end

Launcher Data 

Begin job on node68 at 2009-05-21 00:03:39
IDJOB=1837050
IDBENCH=20366
IDSOLVER=674
FILE ID=node68/1837050-1242857017
PBS_JOBID= 9328450
Free space on /tmp= 66096 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/partial-5-17-u.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837050-1242857017/watcher-1837050-1242857017 -o /tmp/evaluation-result-1837050-1242857017/solver-1837050-1242857017 -C 10000 -W 12000 -M 1800  SatELiteGTI HOME/instance-1837050-1242857017.cnf

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

MD5SUM BENCH= b9de1594525a25a6c43932e2e172e913
RANDOM SEED=639663243

node68.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.223
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.223
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1405616 kB
Buffers:         67992 kB
Cached:         503872 kB
SwapCached:       7632 kB
Active:         182824 kB
Inactive:       398088 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1405616 kB
SwapTotal:     4192956 kB
SwapFree:      4177292 kB
Dirty:           23072 kB
Writeback:           0 kB
Mapped:          14668 kB
Slab:            55036 kB
Committed_AS:   935040 kB
PageTables:       1564 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66072 MiB
End job on node68 at 2009-05-21 01:42:02