Trace number 1837038

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) 5513.36 5515.81

General information on the benchmark

Nameindustrial/anbulagan/
hard-sat/partial-5-17-s.cnf
MD5SUMcd6cb5ea01688ce5beec6e625055ac90
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1230.26
Satisfiable
(Un)Satisfiability was proved
Number of variables252328
Number of clauses1189896
Sum of the clauses size2752826
Maximum clause length10
Minimum clause length1
Number of clauses of size 118837
Number of clauses of size 2919648
Number of clauses of size 3204591
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.90	c ==============================================================================
0.00/0.90	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.90	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.90	c ==============================================================================
0.00/0.90	c |         0 | 1169811  2731363 |  350943       0        0     nan |  0.000 % |
8.18/8.24	c |         0 |  742042  2048362 |      --       0       --      -- |     --   | -220822/-216972
8.18/8.25	c ==============================================================================
8.18/8.25	c Result  :   #vars: 129041   #clauses: 742042   #literals: 2048362
8.18/8.25	c CPU time:   7.97179 s
8.18/8.25	c ==============================================================================
8.88/8.96	c This is MiniSat 2.0 beta
8.88/8.96	c WARNING: for repeatability, setting FPU to use double precision
8.88/8.96	c ============================[ Problem Statistics ]=============================
8.88/8.96	c |                                                                             |
8.88/8.97	c |  Number of variables:  129041                                               |
8.88/8.97	c |  Number of clauses:    742042                                               |
8.96/9.41	c |  Parsing time:         0.39         s                                       |
8.96/9.43	c ============================[ Search Statistics ]==============================
8.96/9.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.96/9.43	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
8.96/9.43	c ===============================================================================
8.96/9.43	c |         0 |  129041   742042  2048362 |   247347        0    nan |  0.000 % |
8.96/9.77	c |       100 |  128962   742042  2048362 |   247347       97    131 |  2.443 % |
9.88/9.91	c |       200 |  128962   742042  2048362 |   247347      197     84 |  2.443 % |
9.98/10.09	c |       303 |  128962   742042  2048362 |   247347      300     68 |  2.443 % |
10.38/10.44	c |       415 |  128875   742042  2048362 |   247347      409     63 |  3.078 % |
10.67/10.70	c |       515 |  117766   673684  1873253 |   247347      500     62 |  8.738 % |
10.77/10.87	c |       625 |  117766   673684  1873253 |   247347      610     64 |  8.738 % |
10.98/11.07	c |       746 |  117728   673684  1873253 |   247347      730     68 |  9.201 % |
11.07/11.15	c |       846 |  117728   673684  1873253 |   247347      830     67 |  9.201 % |
11.37/11.41	c |       957 |  117728   673684  1873253 |   247347      941     71 |  9.201 % |
11.87/11.96	c |      1079 |  113078   647983  1808936 |   247347     1048     67 | 12.870 % |
12.17/12.24	c |      1214 |  112288   647983  1808936 |   247347     1180     62 | 14.829 % |
12.57/12.68	c |      1314 |  112265   647983  1808936 |   247347     1276     60 | 14.943 % |
12.87/12.91	c |      1424 |  112265   647983  1808936 |   247347     1386     60 | 14.943 % |
13.08/13.17	c |      1547 |  109759   626174  1753606 |   247347     1486     63 | 14.943 % |
13.37/13.48	c |      1680 |  109759   626174  1753606 |   247347     1619     63 | 14.943 % |
13.67/13.75	c |      1826 |  109759   626174  1753606 |   247347     1765     67 | 14.943 % |
13.77/13.83	c |      1929 |  109759   626174  1753606 |   247347     1868     68 | 14.943 % |
13.97/14.07	c |      2045 |  109759   626174  1753606 |   247347     1984     66 | 14.943 % |
14.18/14.29	c |      2166 |  109346   623538  1746664 |   247347     2102     65 | 15.507 % |
14.37/14.47	c |      2299 |  109336   623538  1746664 |   247347     2235     63 | 15.507 % |
14.68/14.76	c |      2445 |  109329   623538  1746664 |   247347     2379     61 | 15.526 % |
14.88/14.92	c |      2610 |  109329   623538  1746664 |   247347     2544     60 | 15.526 % |
14.88/15.00	c |      2711 |  109329   623538  1746664 |   247347     2645     61 | 15.526 % |
15.29/15.35	c |      2821 |  109284   623538  1746664 |   247347     2751     61 | 15.992 % |
15.58/15.66	c |      2942 |  108405   618325  1733741 |   247347     2869     60 | 15.992 % |
15.78/15.80	c |      3076 |  108405   618325  1733741 |   247347     3003     59 | 15.992 % |
16.08/16.15	c |      3222 |  108405   618325  1733741 |   247347     3149     59 | 15.992 % |
16.38/16.46	c |      3388 |  108296   618325  1733741 |   247347     3313     59 | 16.952 % |
16.58/16.67	c |      3565 |  108296   618325  1733741 |   247347     3490     65 | 16.952 % |
16.68/16.79	c |      3668 |  107166   610715  1713674 |   247347     3588     65 | 16.952 % |
16.88/16.98	c |      3778 |  107166   610715  1713674 |   247347     3698     65 | 16.952 % |
16.98/17.06	c |      3900 |  107164   610715  1713674 |   247347     3818     66 | 16.954 % |
17.08/17.11	c |      4033 |  107141   610715  1713674 |   247347     3946     64 | 17.022 % |
17.28/17.31	c |      4179 |  107139   610715  1713674 |   247347     4091     63 | 17.035 % |
17.48/17.50	c |      4339 |  107139   610715  1713674 |   247347     4251     64 | 17.035 % |
17.88/17.91	c |      4515 |  107114   610715  1713674 |   247347     4426     63 | 17.208 % |
18.18/18.29	c |      4711 |  106642   608620  1708145 |   247347     4616     63 | 19.136 % |
18.28/18.37	c |      4813 |  106642   608620  1708145 |   247347     4718     63 | 19.136 % |
18.58/18.64	c |      4925 |  106557   608620  1708145 |   247347     4827     64 | 20.644 % |
18.68/18.78	c |      5046 |  106556   608620  1708145 |   247347     4947     64 | 20.784 % |
18.88/18.91	c |      5179 |  106556   608620  1708145 |   247347     5080     66 | 20.784 % |
18.98/19.02	c |      5325 |  106556   608620  1708145 |   247347     5226     67 | 20.784 % |
19.28/19.38	c |      5485 |  106377   608620  1708145 |   247347     5384     67 | 21.181 % |
19.68/19.76	c |      5663 |  101657   576831  1625483 |   247347     5527     66 | 21.385 % |
20.08/20.18	c |      5856 |  101628   576831  1625483 |   247347     5717     67 | 21.441 % |
20.38/20.43	c |      6071 |  101627   576831  1625483 |   247347     5931     72 | 21.442 % |
20.48/20.60	c |      6171 |  101627   576831  1625483 |   247347     6031     72 | 21.442 % |
20.78/20.81	c |      6282 |  101372   575090  1621550 |   247347     6136     72 | 21.442 % |
20.98/21.00	c |      6403 |  101372   575090  1621550 |   247347     6257     73 | 21.442 % |
21.08/21.17	c |      6540 |  101372   575090  1621550 |   247347     6394     74 | 21.442 % |
21.28/21.34	c |      6687 |  101372   575090  1621550 |   247347     6541     74 | 21.442 % |
21.58/21.69	c |      6849 |  101372   575090  1621550 |   247347     6703     76 | 21.442 % |
21.88/21.91	c |      7028 |  101372   575090  1621550 |   247347     6882     79 | 21.442 % |
21.98/22.08	c |      7229 |  101372   575090  1621550 |   247347     7083     81 | 21.442 % |
22.28/22.34	c |      7444 |  100944   573142  1617654 |   247347     7272     80 | 21.774 % |
22.48/22.55	c |      7677 |  100944   573142  1617654 |   247347     7505     82 | 21.774 % |
22.58/22.63	c |      7778 |  100944   573142  1617654 |   247347     7606     82 | 21.774 % |
22.68/22.71	c |      7889 |  100944   573142  1617654 |   247347     7717     82 | 21.774 % |
22.78/22.85	c |      8010 |  100944   573142  1617654 |   247347     7838     82 | 21.774 % |
22.88/22.98	c |      8143 |  100944   573142  1617654 |   247347     7971     82 | 21.774 % |
23.08/23.19	c |      8290 |  100943   573142  1617654 |   247347     8117     82 | 21.869 % |
23.28/23.40	c |      8451 |  100938   573142  1617654 |   247347     8277     82 | 22.105 % |
23.48/23.56	c |      8629 |  100938   573142  1617654 |   247347     8455     83 | 22.105 % |
23.67/23.76	c |      8824 |  100516   571237  1613611 |   247347     8639     84 | 22.105 % |
23.87/23.96	c |      9042 |  100516   571237  1613611 |   247347     8857     84 | 22.105 % |
24.18/24.21	c |      9276 |  100516   571237  1613611 |   247347     9091     86 | 22.105 % |
24.47/24.53	c |      9533 |  100516   571237  1613611 |   247347     9348     87 | 22.105 % |
24.57/24.64	c |      9634 |  100516   571237  1613611 |   247347     9449     87 | 22.105 % |
24.67/24.77	c |      9744 |  100516   571237  1613611 |   247347     9559     88 | 22.105 % |
24.77/24.88	c |      9865 |  100516   571237  1613611 |   247347     9680     88 | 22.105 % |
24.97/25.05	c |      9998 |  100516   571237  1613611 |   247347     9813     88 | 22.105 % |
25.18/25.28	c |     10145 |  100499   571117  1613288 | 2147483647     9957     87 | 22.119 % |
25.37/25.45	c |     10305 |  100499   571117  1613288 | 2147483647    10117     87 | 22.119 % |
25.57/25.63	c |     10481 |  100499   571117  1613288 | 2147483647    10293     87 | 22.119 % |
25.87/25.93	c |     10674 |  100499   571117  1613288 | 2147483647    10486     87 | 22.119 % |
26.07/26.16	c |     10886 |  100499   571117  1613288 | 2147483647    10698     88 | 22.119 % |
26.38/26.49	c |     11119 |  100499   571117  1613288 | 2147483647    10931     87 | 22.119 % |
26.97/27.01	c |     11375 |  100498   571117  1613288 | 2147483647    11186     87 | 22.281 % |
27.77/27.84	c |     11656 |  100289   569805  1609850 | 2147483647    11467     88 | 22.281 % |
28.17/28.21	c |     11756 |  100289   569805  1609850 | 2147483647    11567     88 | 22.281 % |
28.27/28.30	c |     11866 |  100289   569805  1609850 | 2147483647    11677     88 | 22.281 % |
28.48/28.56	c |     11987 |  100276   569805  1609850 | 2147483647    11797     89 | 22.299 % |
28.77/28.80	c |     12120 |  100276   569805  1609850 | 2147483647    11930     89 | 22.299 % |
28.97/29.07	c |     12267 |  100276   569805  1609850 | 2147483647    12077     89 | 22.299 % |
29.17/29.28	c |     12427 |  100266   569656  1609470 | 2147483647    12228     89 | 22.299 % |
29.47/29.52	c |     12607 |  100266   569656  1609470 | 2147483647    12408     90 | 22.299 % |
30.07/30.11	c |     12801 |  100257   569656  1609470 | 2147483647    12599     90 | 22.692 % |
30.47/30.57	c |     13013 |  100257   569656  1609470 | 2147483647    12811     90 | 22.692 % |
30.97/31.05	c |     13246 |  100165   569656  1609470 | 2147483647    13041     90 | 22.832 % |
31.47/31.54	c |     13503 |   99499   565590  1599275 | 2147483647    13289     89 | 23.030 % |
31.78/31.84	c |     13784 |   99499   565590  1599275 | 2147483647    13570     89 | 23.030 % |
32.38/32.40	c |     14095 |   99290   565590  1599275 | 2147483647    13877     88 | 23.420 % |
32.68/32.71	c |     14196 |   99290   565590  1599275 | 2147483647    13978     89 | 23.420 % |
32.77/32.88	c |     14307 |   99285   565590  1599275 | 2147483647    14087     89 | 23.443 % |
32.98/33.09	c |     14428 |   99285   565590  1599275 | 2147483647    14208     89 | 23.443 % |
33.27/33.38	c |     14561 |   98790   560953  1587556 | 2147483647    14293     89 | 23.443 % |
33.47/33.57	c |     14707 |   98790   560953  1587556 | 2147483647    14439     90 | 23.443 % |
33.67/33.77	c |     14867 |   98790   560953  1587556 | 2147483647    14599     89 | 23.443 % |
33.87/33.98	c |     15043 |   98790   560953  1587556 | 2147483647    14775     90 | 23.443 % |
34.17/34.20	c |     15236 |   98768   560953  1587556 | 2147483647    14967     90 | 23.513 % |
34.77/34.87	c |     15451 |   98739   560953  1587556 | 2147483647    15182     91 | 23.513 % |
35.07/35.19	c |     15686 |   98732   560953  1587556 | 2147483647    15416     92 | 23.527 % |
35.47/35.50	c |     15942 |   98732   560953  1587556 | 2147483647    15672     92 | 23.527 % |
35.97/36.03	c |     16225 |   98681   560387  1586043 | 2147483647    15952     92 | 23.527 % |
36.47/36.51	c |     16534 |   98681   560387  1586043 | 2147483647    16261     91 | 23.527 % |
37.07/37.11	c |     16873 |   98592   560387  1586043 | 2147483647    16595     91 | 23.689 % |
37.27/37.34	c |     16974 |   98592   560387  1586043 | 2147483647    16696     91 | 23.689 % |
37.47/37.56	c |     17084 |   98592   560387  1586043 | 2147483647    16806     91 | 23.689 % |
37.67/37.80	c |     17205 |   98592   560387  1586043 | 2147483647    16927     92 | 23.689 % |
37.97/38.08	c |     17341 |   98472   558915  1582290 | 2147483647    16993     92 | 23.689 % |
38.27/38.34	c |     17487 |   98472   558915  1582290 | 2147483647    17139     92 | 23.689 % |
38.57/38.61	c |     17647 |   98472   558915  1582290 | 2147483647    17299     92 | 23.689 % |
38.77/38.84	c |     17829 |   98472   558915  1582290 | 2147483647    17481     91 | 23.689 % |
39.27/39.33	c |     18022 |   98472   558915  1582290 | 2147483647    17674     92 | 23.689 % |
39.66/39.72	c |     18234 |   98448   558915  1582290 | 2147483647    17882     92 | 23.762 % |
40.26/40.30	c |     18468 |   98441   558915  1582290 | 2147483647    18115     92 | 23.763 % |
41.06/41.19	c |     18724 |   98377   558381  1581025 | 2147483647    18344     93 | 23.763 % |
41.56/41.69	c |     19006 |   98377   558381  1581025 | 2147483647    18626     93 | 23.763 % |
42.16/42.25	c |     19315 |   98377   558381  1581025 | 2147483647    18935     93 | 23.763 % |
44.06/44.15	c |     19654 |   98377   558381  1581025 | 2147483647    19274     95 | 23.763 % |
44.86/44.92	c |     20029 |   98245   557634  1579128 | 2147483647    19643     95 | 23.890 % |
45.07/45.20	c |     20130 |   98243   557634  1579128 | 2147483647    19744     95 | 23.890 % |
45.36/45.45	c |     20240 |   98243   557634  1579128 | 2147483647    19854     95 | 23.890 % |
45.56/45.64	c |     20361 |   98243   557634  1579128 | 2147483647    19975     95 | 23.890 % |
45.66/45.77	c |     20495 |   98243   557634  1579128 | 2147483647    20109     95 | 23.890 % |
45.86/45.95	c |     20642 |   98243   557634  1579128 | 2147483647    20256     95 | 23.890 % |
46.66/46.70	c |     20802 |   98242   557634  1579128 | 2147483647    20415     96 | 23.891 % |
47.36/47.43	c |     20979 |   98186   557205  1578033 | 2147483647    20569     98 | 23.912 % |
47.76/47.80	c |     21172 |   98177   557205  1578033 | 2147483647    20761     98 | 23.921 % |
48.16/48.22	c |     21384 |   98176   557205  1578033 | 2147483647    20973     97 | 23.921 % |
48.66/48.74	c |     21617 |   98122   557205  1578033 | 2147483647    21204     97 | 24.236 % |
49.26/49.33	c |     21874 |   98122   557205  1578033 | 2147483647    21461     97 | 24.236 % |
49.86/49.91	c |     22155 |   98122   557205  1578033 | 2147483647    21742     97 | 24.236 % |
50.26/50.34	c |     22467 |   97767   554553  1571146 | 2147483647    22045     98 | 24.236 % |
50.86/50.92	c |     22808 |   97766   554553  1571146 | 2147483647    22385     99 | 24.247 % |
51.66/51.74	c |     23183 |   97726   554553  1571146 | 2147483647    22756     99 | 24.298 % |
53.06/53.14	c |     23594 |   97726   554553  1571146 | 2147483647    23167    102 | 24.298 % |
53.26/53.39	c |     23695 |   97687   554088  1570032 | 2147483647    23263    102 | 24.298 % |
53.56/53.61	c |     23805 |   97687   554088  1570032 | 2147483647    23373    102 | 24.298 % |
53.86/53.93	c |     23926 |   97687   554088  1570032 | 2147483647    23494    103 | 24.298 % |
54.36/54.47	c |     24061 |   97687   554088  1570032 | 2147483647    23629    104 | 24.298 % |
54.66/54.75	c |     24207 |   97687   554088  1570032 | 2147483647    23775    104 | 24.298 % |
55.26/55.32	c |     24368 |   97687   554088  1570032 | 2147483647    23936    105 | 24.298 % |
55.66/55.78	c |     24544 |   97683   554088  1570032 | 2147483647    24109    105 | 24.400 % |
56.15/56.23	c |     24737 |   97674   554088  1570032 | 2147483647    24300    105 | 24.494 % |
56.65/56.70	c |     24951 |   97674   554088  1570032 | 2147483647    24514    105 | 24.494 % |
57.56/57.69	c |     25186 |   97434   552594  1566050 | 2147483647    24744    106 | 24.494 % |
58.06/58.12	c |     25446 |   97433   552594  1566050 | 2147483647    25003    107 | 24.495 % |
58.86/58.94	c |     25727 |   97432   552594  1566050 | 2147483647    25283    108 | 24.495 % |
60.56/60.67	c |     26037 |   97429   552594  1566050 | 2147483647    25590    111 | 24.863 % |
61.36/61.45	c |     26377 |   96954   549516  1557763 | 2147483647    25929    112 | 24.874 % |
61.85/61.94	c |     26751 |   96947   549516  1557763 | 2147483647    26300    111 | 25.088 % |
62.56/62.64	c |     27160 |   96947   549516  1557763 | 2147483647    26709    111 | 25.088 % |
64.45/64.53	c |     27609 |   96936   549516  1557763 | 2147483647    27158    117 | 25.088 % |
64.55/64.69	c |     27712 |   96667   548135  1553825 | 2147483647    27247    117 | 25.088 % |
64.76/64.80	c |     27822 |   96667   548135  1553825 | 2147483647    27357    117 | 25.088 % |
65.06/65.15	c |     27943 |   96667   548135  1553825 | 2147483647    27478    117 | 25.088 % |
65.36/65.49	c |     28078 |   96667   548135  1553825 | 2147483647    27613    117 | 25.088 % |
65.86/65.99	c |     28226 |   96667   548135  1553825 | 2147483647    27761    118 | 25.088 % |
66.56/66.63	c |     28386 |   96666   548135  1553825 | 2147483647    27920    120 | 25.104 % |
67.36/67.46	c |     28562 |   96666   548135  1553825 | 2147483647    28096    122 | 25.104 % |
68.06/68.12	c |     28758 |   96666   548135  1553825 | 2147483647    28292    123 | 25.104 % |
68.26/68.39	c |     28972 |   96616   548135  1553825 | 2147483647    28505    123 | 25.569 % |
69.05/69.12	c |     29206 |   96601   548135  1553825 | 2147483647    28737    123 | 25.592 % |
70.15/70.26	c |     29464 |   96016   543940  1543033 | 2147483647    28974    130 | 25.593 % |
71.25/71.31	c |     29745 |   96011   543940  1543033 | 2147483647    29254    131 | 25.606 % |
71.95/72.02	c |     30055 |   96011   543940  1543033 | 2147483647    29564    133 | 25.606 % |
73.05/73.17	c |     30394 |   96004   543940  1543033 | 2147483647    29902    134 | 25.617 % |
74.65/74.74	c |     30766 |   96002   543940  1543033 | 2147483647    30272    136 | 25.618 % |
75.95/76.03	c |     31175 |   95983   543711  1542426 | 2147483647    30678    138 | 25.636 % |
77.15/77.29	c |     31624 |   95980   543711  1542426 | 2147483647    31125    139 | 25.701 % |
78.95/79.09	c |     32117 |   95980   543711  1542426 | 2147483647    31617    143 | 25.702 % |
79.55/79.67	c |     32217 |   95979   543711  1542426 | 2147483647    31716    144 | 25.710 % |
80.05/80.11	c |     32327 |   95977   543711  1542426 | 2147483647    31824    145 | 25.724 % |
80.35/80.40	c |     32448 |   95832   542571  1539443 | 2147483647    31909    145 | 25.735 % |
80.55/80.63	c |     32581 |   95832   542571  1539443 | 2147483647    32042    144 | 25.735 % |
80.95/81.06	c |     32727 |   95832   542571  1539443 | 2147483647    32188    145 | 25.735 % |
81.75/81.85	c |     32887 |   95830   542571  1539443 | 2147483647    32346    145 | 25.737 % |
82.35/82.42	c |     33063 |   95830   542571  1539443 | 2147483647    32522    146 | 25.737 % |
82.55/82.66	c |     33257 |   95818   542571  1539443 | 2147483647    32715    146 | 26.112 % |
83.25/83.37	c |     33469 |   95775   542571  1539443 | 2147483647    32924    146 | 26.127 % |
84.04/84.12	c |     33702 |   95775   542571  1539443 | 2147483647    33157    147 | 26.127 % |
84.95/85.09	c |     33958 |   95774   542571  1539443 | 2147483647    33411    148 | 26.242 % |
85.75/85.86	c |     34239 |   95770   542571  1539443 | 2147483647    33691    148 | 26.254 % |
86.55/86.69	c |     34548 |   95097   538160  1528243 | 2147483647    33972    149 | 26.313 % |
87.35/87.42	c |     34887 |   95096   538160  1528243 | 2147483647    34310    149 | 26.324 % |
88.44/88.51	c |     35261 |   95095   538160  1528243 | 2147483647    34684    150 | 26.324 % |
89.34/89.48	c |     35671 |   95094   538160  1528243 | 2147483647    35093    150 | 26.335 % |
90.44/90.55	c |     36122 |   95077   538160  1528243 | 2147483647    35540    150 | 26.360 % |
92.25/92.37	c |     36615 |   95010   537554  1526612 | 2147483647    36003    150 | 26.372 % |
94.25/94.39	c |     37157 |   95010   537554  1526612 | 2147483647    36545    153 | 26.372 % |
94.65/94.75	c |     37259 |   95010   537554  1526612 | 2147483647    36647    153 | 26.372 % |
94.85/94.97	c |     37369 |   95010   537554  1526612 | 2147483647    36757    153 | 26.372 % |
95.15/95.22	c |     37490 |   95008   537554  1526612 | 2147483647    36876    153 | 26.460 % |
95.25/95.38	c |     37628 |   95008   537554  1526612 | 2147483647    37014    153 | 26.460 % |
96.14/96.20	c |     37775 |   94970   537554  1526612 | 2147483647    37161    154 | 26.460 % |
97.34/97.42	c |     37935 |   94970   537554  1526612 | 2147483647    37321    156 | 26.460 % |
97.85/97.98	c |     38111 |   94970   537554  1526612 | 2147483647    37497    156 | 26.460 % |
98.54/98.61	c |     38304 |   94970   537554  1526612 | 2147483647    37690    156 | 26.460 % |
99.54/99.66	c |     38516 |   94970   537554  1526612 | 2147483647    37902    157 | 26.460 % |
100.14/100.20	c |     38749 |   94895   536724  1524463 | 2147483647    37975    157 | 26.468 % |
100.94/101.05	c |     39006 |   94895   536724  1524463 | 2147483647    38232    159 | 26.468 % |
101.44/101.55	c |     39287 |   94895   536724  1524463 | 2147483647    38513    159 | 26.468 % |
102.24/102.39	c |     39596 |   94895   536724  1524463 | 2147483647    38822    160 | 26.468 % |
102.84/102.95	c |     39936 |   94895   536724  1524463 | 2147483647    39162    160 | 26.468 % |
104.44/104.55	c |     40309 |   94895   536724  1524463 | 2147483647    39535    162 | 26.468 % |
105.84/105.97	c |     40718 |   94895   536724  1524463 | 2147483647    39943    164 | 26.476 % |
107.65/107.73	c |     41167 |   94894   536724  1524463 | 2147483647    40391    166 | 26.489 % |
109.84/109.95	c |     41661 |   94819   536223  1523145 | 2147483647    40875    169 | 26.740 % |
112.04/112.11	c |     42203 |   94819   536223  1523145 | 2147483647    41417    173 | 26.740 % |
113.44/113.59	c |     42800 |   94819   536223  1523145 | 2147483647    42014    173 | 26.740 % |
113.64/113.77	c |     42900 |   94819   536223  1523145 | 2147483647    42114    173 | 26.740 % |
114.14/114.28	c |     43011 |   94819   536223  1523145 | 2147483647    42225    173 | 26.740 % |
114.44/114.55	c |     43132 |   94819   536223  1523145 | 2147483647    42346    173 | 26.740 % |
114.84/114.94	c |     43265 |   94818   536223  1523145 | 2147483647    42478    172 | 26.740 % |
115.14/115.27	c |     43412 |   94815   536223  1523145 | 2147483647    42624    172 | 26.764 % |
115.64/115.72	c |     43573 |   94812   536223  1523145 | 2147483647    42782    172 | 26.774 % |
116.24/116.32	c |     43751 |   94809   536223  1523145 | 2147483647    42959    172 | 26.774 % |
116.94/117.03	c |     43944 |   94809   536223  1523145 | 2147483647    43152    174 | 26.774 % |
117.74/117.87	c |     44157 |   94491   534445  1519100 | 2147483647    43343    175 | 26.774 % |
118.74/118.84	c |     44391 |   94491   534445  1519100 | 2147483647    43577    176 | 26.774 % |
119.54/119.66	c |     44647 |   94490   534445  1519100 | 2147483647    43832    177 | 26.775 % |
120.04/120.19	c |     44934 |   94489   534445  1519100 | 2147483647    44118    176 | 26.776 % |
120.84/120.96	c |     45244 |   94489   534445  1519100 | 2147483647    44428    178 | 26.776 % |
122.13/122.21	c |     45583 |   94489   534445  1519100 | 2147483647    44767    179 | 26.776 % |
122.83/122.99	c |     45957 |   94488   534445  1519100 | 2147483647    45140    178 | 26.777 % |
123.64/123.76	c |     46367 |   94488   534445  1519100 | 2147483647    45550    177 | 26.777 % |
124.84/124.98	c |     46817 |   94488   534445  1519100 | 2147483647    46000    178 | 26.777 % |
126.44/126.58	c |     47310 |   94482   534445  1519100 | 2147483647    46489    178 | 26.790 % |
129.03/129.19	c |     47854 |   94470   534324  1518789 | 2147483647    47030    180 | 26.793 % |
132.02/132.14	c |     48450 |   94468   534324  1518789 | 2147483647    47624    182 | 26.795 % |
133.52/133.68	c |     49106 |   94445   534324  1518789 | 2147483647    48277    182 | 26.857 % |
133.92/134.01	c |     49206 |   94445   534324  1518789 | 2147483647    48377    182 | 26.857 % |
134.12/134.22	c |     49316 |   94445   534324  1518789 | 2147483647    48487    182 | 26.857 % |
134.32/134.40	c |     49437 |   94445   534324  1518789 | 2147483647    48608    182 | 26.857 % |
134.52/134.64	c |     49570 |   94445   534324  1518789 | 2147483647    48741    181 | 26.857 % |
134.82/134.92	c |     49716 |   94444   534324  1518789 | 2147483647    48886    181 | 26.858 % |
135.12/135.21	c |     49877 |   94391   534324  1518789 | 2147483647    49046    181 | 26.918 % |
135.72/135.86	c |     50053 |   94384   534324  1518789 | 2147483647    49222    181 | 26.918 % |
136.02/136.18	c |     50246 |   94384   534324  1518789 | 2147483647    49415    181 | 26.918 % |
136.72/136.86	c |     50460 |   94384   534324  1518789 | 2147483647    49629    182 | 26.918 % |
137.32/137.45	c |     50693 |   94306   533486  1516787 | 2147483647    49826    182 | 26.918 % |
137.62/137.78	c |     50953 |   94306   533486  1516787 | 2147483647    50086    182 | 26.918 % |
139.41/139.56	c |     51236 |   94306   533486  1516787 | 2147483647    50369    184 | 26.918 % |
141.32/141.41	c |     51545 |   94306   533486  1516787 | 2147483647    50678    187 | 26.918 % |
142.72/142.80	c |     51884 |   94306   533486  1516787 | 2147483647    51017    188 | 26.918 % |
143.22/143.35	c |     52257 |   94306   533486  1516787 | 2147483647    51390    187 | 26.918 % |
144.22/144.34	c |     52666 |   94277   533486  1516787 | 2147483647    51797    187 | 27.043 % |
146.22/146.35	c |     53115 |   94274   533486  1516787 | 2147483647    52245    190 | 27.344 % |
147.51/147.68	c |     53610 |   94273   533486  1516787 | 2147483647    52739    191 | 27.345 % |
150.22/150.34	c |     54152 |   94273   533486  1516787 | 2147483647    53281    194 | 27.345 % |
152.21/152.34	c |     54749 |   93755   529918  1507109 | 2147483647    53875    197 | 27.345 % |
154.41/154.56	c |     55404 |   93750   529918  1507109 | 2147483647    54529    199 | 27.368 % |
156.61/156.79	c |     56125 |   93749   529918  1507109 | 2147483647    55249    201 | 27.375 % |
157.12/157.28	c |     56225 |   93741   529918  1507109 | 2147483647    55346    201 | 27.457 % |
157.51/157.68	c |     56335 |   93741   529918  1507109 | 2147483647    55456    201 | 27.457 % |
157.81/157.92	c |     56456 |   93741   529918  1507109 | 2147483647    55577    200 | 27.457 % |
158.22/158.32	c |     56590 |   93741   529918  1507109 | 2147483647    55711    201 | 27.457 % |
158.81/158.97	c |     56738 |   93741   529918  1507109 | 2147483647    55859    201 | 27.457 % |
159.91/160.00	c |     56898 |   93741   529918  1507109 | 2147483647    56019    202 | 27.457 % |
160.11/160.28	c |     57074 |   93741   529918  1507109 | 2147483647    56195    202 | 27.457 % |
160.51/160.68	c |     57270 |   93741   529918  1507109 | 2147483647    56391    202 | 27.457 % |
160.81/160.92	c |     57483 |   93740   529918  1507109 | 2147483647    56603    201 | 27.458 % |
161.41/161.50	c |     57716 |   93740   529918  1507109 | 2147483647    56836    201 | 27.458 % |
162.72/162.84	c |     57972 |   93740   529918  1507109 | 2147483647    57092    202 | 27.458 % |
163.72/163.83	c |     58253 |   93738   529918  1507109 | 2147483647    57371    203 | 27.459 % |
164.92/165.01	c |     58563 |   93738   529918  1507109 | 2147483647    57681    203 | 27.459 % |
165.92/166.05	c |     58904 |   93606   529150  1505251 | 2147483647    58000    203 | 27.463 % |
166.91/167.07	c |     59278 |   93605   529150  1505251 | 2147483647    58373    204 | 27.466 % |
167.81/167.95	c |     59687 |   93605   529150  1505251 | 2147483647    58782    204 | 27.466 % |
169.71/169.82	c |     60139 |   93602   529150  1505251 | 2147483647    59232    206 | 27.478 % |
171.61/171.72	c |     60634 |   93596   529150  1505251 | 2147483647    59727    209 | 27.478 % |
172.62/172.79	c |     61176 |   93595   529150  1505251 | 2147483647    60268    209 | 27.479 % |
176.20/176.35	c |     61774 |   93595   529150  1505251 | 2147483647    60866    214 | 27.479 % |
178.21/178.36	c |     62429 |   93595   529150  1505251 | 2147483647    61521    215 | 27.479 % |
181.31/181.40	c |     63149 |   93592   529150  1505251 | 2147483647    62238    218 | 27.483 % |
183.70/183.89	c |     63942 |   93592   529150  1505251 | 2147483647    63031    220 | 27.483 % |
184.00/184.18	c |     64042 |   93577   528978  1504822 | 2147483647    63126    220 | 27.483 % |
184.30/184.46	c |     64154 |   93577   528978  1504822 | 2147483647    63238    220 | 27.483 % |
184.50/184.65	c |     64275 |   93577   528978  1504822 | 2147483647    63358    220 | 27.484 % |
185.00/185.12	c |     64408 |   93576   528978  1504822 | 2147483647    63491    219 | 27.484 % |
185.80/185.95	c |     64554 |   93576   528978  1504822 | 2147483647    63637    220 | 27.484 % |
186.40/186.54	c |     64714 |   93575   528978  1504822 | 2147483647    63796    220 | 27.484 % |
186.80/186.96	c |     64891 |   93575   528978  1504822 | 2147483647    63973    220 | 27.484 % |
187.70/187.89	c |     65084 |   93575   528978  1504822 | 2147483647    64166    221 | 27.484 % |
188.90/189.10	c |     65296 |   93575   528978  1504822 | 2147483647    64378    221 | 27.484 % |
190.11/190.22	c |     65529 |   93575   528978  1504822 | 2147483647    64611    222 | 27.484 % |
191.00/191.17	c |     65785 |   93574   528978  1504822 | 2147483647    64866    223 | 27.485 % |
192.10/192.24	c |     66066 |   93574   528978  1504822 | 2147483647    65147    223 | 27.485 % |
193.10/193.27	c |     66375 |   93574   528978  1504822 | 2147483647    65456    223 | 27.485 % |
194.60/194.73	c |     66715 |   93574   528978  1504822 | 2147483647    65796    224 | 27.485 % |
195.79/195.94	c |     67087 |   93574   528978  1504822 | 2147483647    66168    224 | 27.485 % |
196.81/196.95	c |     67497 |   93566   528978  1504822 | 2147483647    66573    224 | 27.501 % |
197.50/197.60	c |     67946 |   93565   528978  1504822 | 2147483647    67021    223 | 27.501 % |
199.30/199.41	c |     68440 |   93564   528978  1504822 | 2147483647    67515    224 | 27.501 % |
201.10/201.29	c |     68982 |   93564   528978  1504822 | 2147483647    68057    224 | 27.501 % |
203.49/203.69	c |     69580 |   93564   528978  1504822 | 2147483647    68655    226 | 27.501 % |
206.09/206.28	c |     70235 |   93553   528838  1504478 | 2147483647    69305    227 | 27.501 % |
209.90/210.04	c |     70959 |   93553   528838  1504478 | 2147483647    70029    234 | 27.501 % |
213.39/213.58	c |     71751 |   93553   528838  1504478 | 2147483647    70821    237 | 27.501 % |
217.30/217.45	c |     72622 |   93553   528838  1504478 | 2147483647    71692    239 | 27.501 % |
217.60/217.73	c |     72722 |   93553   528838  1504478 | 2147483647    71792    239 | 27.501 % |
217.80/217.94	c |     72832 |   93553   528838  1504478 | 2147483647    71902    238 | 27.501 % |
218.00/218.14	c |     72953 |   93553   528838  1504478 | 2147483647    72023    238 | 27.501 % |
218.59/218.72	c |     73088 |   93553   528838  1504478 | 2147483647    72158    238 | 27.501 % |
219.09/219.22	c |     73234 |   93553   528838  1504478 | 2147483647    72304    238 | 27.501 % |
219.89/220.02	c |     73396 |   93553   528838  1504478 | 2147483647    72466    239 | 27.501 % |
220.39/220.54	c |     73574 |   93553   528838  1504478 | 2147483647    72644    239 | 27.501 % |
220.79/220.95	c |     73770 |   93548   528838  1504478 | 2147483647    72838    239 | 27.961 % |
221.48/221.67	c |     73982 |   93548   528838  1504478 | 2147483647    73050    239 | 27.961 % |
222.28/222.48	c |     74217 |   93547   528838  1504478 | 2147483647    73284    239 | 27.962 % |
222.88/223.05	c |     74473 |   93543   528838  1504478 | 2147483647    73538    239 | 27.970 % |
224.29/224.45	c |     74755 |   93543   528838  1504478 | 2147483647    73820    239 | 27.970 % |
225.89/226.09	c |     75067 |   93543   528838  1504478 | 2147483647    74132    240 | 27.970 % |
226.78/226.95	c |     75406 |   92948   524920  1493843 | 2147483647    74464    240 | 27.970 % |
228.38/228.55	c |     75778 |   92945   524920  1493843 | 2147483647    74834    241 | 27.985 % |
230.09/230.27	c |     76188 |   92944   524920  1493843 | 2147483647    75243    241 | 27.986 % |
232.28/232.45	c |     76637 |   92942   524920  1493843 | 2147483647    75690    243 | 27.987 % |
235.08/235.27	c |     77130 |   92942   524920  1493843 | 2147483647    76183    246 | 27.987 % |
237.58/237.75	c |     77679 |   92937   524920  1493843 | 2147483647    76731    248 | 28.000 % |
238.88/239.07	c |     78275 |   92937   524920  1493843 | 2147483647    77327    248 | 28.000 % |
240.18/240.31	c |     78931 |   92937   524920  1493843 | 2147483647    77983    247 | 28.000 % |
243.68/243.82	c |     79651 |   92937   524920  1493843 | 2147483647    78703    250 | 28.000 % |
247.58/247.76	c |     80443 |   92937   524920  1493843 | 2147483647    79495    254 | 28.000 % |
251.88/252.09	c |     81315 |   92936   524920  1493843 | 2147483647    80366    257 | 28.000 % |
255.67/255.87	c |     82273 |   92909   524671  1493176 | 2147483647    81316    261 | 28.000 % |
256.37/256.59	c |     82373 |   92909   524671  1493176 | 2147483647    81416    261 | 28.000 % |
256.87/257.09	c |     82483 |   92909   524671  1493176 | 2147483647    81526    261 | 28.000 % |
257.18/257.32	c |     82604 |   92909   524671  1493176 | 2147483647    81647    261 | 28.000 % |
257.87/258.09	c |     82739 |   92855   524671  1493176 | 2147483647    81780    261 | 28.231 % |
258.67/258.84	c |     82885 |   92855   524671  1493176 | 2147483647    81926    261 | 28.231 % |
259.28/259.49	c |     83045 |   92855   524671  1493176 | 2147483647    82086    261 | 28.231 % |
259.88/260.02	c |     83224 |   92855   524671  1493176 | 2147483647    82265    261 | 28.231 % |
260.18/260.32	c |     83417 |   92855   524671  1493176 | 2147483647    82458    261 | 28.231 % |
260.78/260.99	c |     83630 |   92853   524671  1493176 | 2147483647    82669    260 | 28.242 % |
262.08/262.21	c |     83863 |   92849   524671  1493176 | 2147483647    82902    261 | 28.242 % |
263.38/263.58	c |     84119 |   92848   524671  1493176 | 2147483647    83157    262 | 28.243 % |
264.97/265.15	c |     84400 |   92848   524671  1493176 | 2147483647    83438    262 | 28.243 % |
266.46/266.60	c |     84710 |   92848   524671  1493176 | 2147483647    83748    263 | 28.243 % |
267.86/268.03	c |     85050 |   92847   524671  1493176 | 2147483647    84087    263 | 28.244 % |
268.86/269.07	c |     85423 |   92843   524671  1493176 | 2147483647    84457    263 | 28.414 % |
271.17/271.35	c |     85835 |   92799   524671  1493176 | 2147483647    84869    264 | 28.414 % |
273.47/273.65	c |     86284 |   92797   524671  1493176 | 2147483647    85316    265 | 28.416 % |
275.37/275.51	c |     86778 |   92797   524671  1493176 | 2147483647    85810    265 | 28.416 % |
278.26/278.44	c |     87322 |   92797   524671  1493176 | 2147483647    86354    268 | 28.416 % |
280.96/281.19	c |     87918 |   92796   524671  1493176 | 2147483647    86949    270 | 28.417 % |
284.76/284.95	c |     88574 |   92370   521725  1486123 | 2147483647    87513    272 | 28.418 % |
288.56/288.72	c |     89294 |   92370   521725  1486123 | 2147483647    88233    274 | 28.418 % |
292.36/292.59	c |     90087 |   92369   521725  1486123 | 2147483647    89025    276 | 28.419 % |
295.77/295.95	c |     90958 |   92369   521725  1486123 | 2147483647    89896    277 | 28.419 % |
300.96/301.15	c |     91916 |   92369   521725  1486123 | 2147483647    90854    280 | 28.419 % |
305.75/305.91	c |     92969 |   92366   521725  1486123 | 2147483647    91904    283 | 28.421 % |
306.36/306.55	c |     93069 |   92366   521725  1486123 | 2147483647    92004    284 | 28.421 % |
306.66/306.87	c |     93179 |   92365   521725  1486123 | 2147483647    92113    284 | 28.422 % |
307.26/307.50	c |     93300 |   92365   521725  1486123 | 2147483647    92234    284 | 28.422 % |
307.95/308.16	c |     93433 |   92365   521725  1486123 | 2147483647    92367    284 | 28.422 % |
308.55/308.78	c |     93579 |   92365   521725  1486123 | 2147483647    92513    284 | 28.422 % |
308.85/309.07	c |     93739 |   92365   521725  1486123 | 2147483647    92673    284 | 28.422 % |
309.75/309.93	c |     93915 |   92365   521725  1486123 | 2147483647    92849    284 | 28.422 % |
310.65/310.84	c |     94108 |   92365   521725  1486123 | 2147483647    93042    284 | 28.422 % |
311.15/311.30	c |     94320 |   92365   521725  1486123 | 2147483647    93254    284 | 28.422 % |
312.45/312.66	c |     94553 |   92364   521725  1486123 | 2147483647    93486    284 | 28.423 % |
313.25/313.43	c |     94809 |   92357   521725  1486123 | 2147483647    93740    284 | 28.488 % |
314.85/315.08	c |     95091 |   92357   521725  1486123 | 2147483647    94022    285 | 28.488 % |
316.25/316.42	c |     95401 |   92280   521136  1484543 | 2147483647    94323    286 | 28.488 % |
318.05/318.28	c |     95740 |   92280   521136  1484543 | 2147483647    94661    287 | 28.489 % |
319.74/319.90	c |     96112 |   92279   521136  1484543 | 2147483647    95032    287 | 28.489 % |
321.74/321.99	c |     96522 |   92279   521136  1484543 | 2147483647    95442    287 | 28.489 % |
323.74/323.92	c |     96971 |   92279   521136  1484543 | 2147483647    95891    288 | 28.489 % |
326.55/326.73	c |     97464 |   92279   521136  1484543 | 2147483647    96384    289 | 28.489 % |
329.34/329.55	c |     98007 |   92279   521136  1484543 | 2147483647    96927    290 | 28.489 % |
331.45/331.65	c |     98604 |   92279   521136  1484543 | 2147483647    97524    291 | 28.489 % |
334.74/334.97	c |     99259 |   92279   521136  1484543 | 2147483647    98179    295 | 28.489 % |
336.94/337.20	c |     99979 |   92278   521136  1484543 | 2147483647    98898    295 | 28.490 % |
340.34/340.54	c |    100771 |   92277   521136  1484543 | 2147483647    99689    295 | 28.491 % |
345.83/346.07	c |    101643 |   92277   521136  1484543 | 2147483647   100561    298 | 28.491 % |
350.84/351.08	c |    102601 |   92273   521136  1484543 | 2147483647   101515    300 | 28.494 % |
354.22/354.47	c |    103657 |   92273   521136  1484543 | 2147483647   102571    300 | 28.494 % |
359.73/359.94	c |    104816 |   92272   521136  1484543 | 2147483647   103729    303 | 28.497 % |
360.43/360.69	c |    104916 |   92268   521065  1484376 | 2147483647   103824    303 | 28.497 % |
361.23/361.42	c |    105028 |   92268   521065  1484376 | 2147483647   103936    303 | 28.497 % |
361.43/361.69	c |    105150 |   92268   521065  1484376 | 2147483647   104058    303 | 28.497 % |
362.03/362.25	c |    105283 |   92268   521065  1484376 | 2147483647   104191    303 | 28.497 % |
362.83/363.01	c |    105429 |   92268   521065  1484376 | 2147483647   104337    303 | 28.497 % |
363.62/363.82	c |    105591 |   92267   521065  1484376 | 2147483647   104498    304 | 28.498 % |
364.42/364.67	c |    105767 |   92267   521065  1484376 | 2147483647   104674    304 | 28.498 % |
365.52/365.74	c |    105960 |   92267   521065  1484376 | 2147483647   104867    304 | 28.498 % |
366.42/366.61	c |    106175 |   92265   521065  1484376 | 2147483647   105081    304 | 28.510 % |
367.63/367.85	c |    106410 |   92265   521065  1484376 | 2147483647   105316    305 | 28.510 % |
368.93/369.19	c |    106668 |   92265   521065  1484376 | 2147483647   105574    305 | 28.510 % |
370.43/370.65	c |    106949 |   92265   521065  1484376 | 2147483647   105855    305 | 28.510 % |
372.12/372.37	c |    107264 |   92265   521065  1484376 | 2147483647   106170    306 | 28.510 % |
374.12/374.32	c |    107606 |   92264   521065  1484376 | 2147483647   106511    307 | 28.511 % |
375.82/376.01	c |    107979 |   92264   521065  1484376 | 2147483647   106884    308 | 28.511 % |
377.62/377.87	c |    108388 |   92264   521065  1484376 | 2147483647   107293    309 | 28.511 % |
379.52/379.72	c |    108837 |   92263   521065  1484376 | 2147483647   107741    309 | 28.512 % |
381.71/381.92	c |    109330 |   92263   521065  1484376 | 2147483647   108233    309 | 28.513 % |
383.22/383.47	c |    109872 |   92263   521065  1484376 | 2147483647   108775    310 | 28.513 % |
386.32/386.58	c |    110471 |   92262   521065  1484376 | 2147483647   109373    311 | 28.513 % |
388.72/388.99	c |    111128 |   92261   521065  1484376 | 2147483647   110029    311 | 28.517 % |
392.11/392.32	c |    111848 |   92260   521065  1484376 | 2147483647   110748    312 | 28.517 % |
396.11/396.31	c |    112641 |   92259   521065  1484376 | 2147483647   111540    315 | 28.518 % |
400.81/401.03	c |    113515 |   92259   521065  1484376 | 2147483647   112414    317 | 28.518 % |
403.52/403.79	c |    114475 |   92254   521065  1484376 | 2147483647   113372    316 | 28.527 % |
410.21/410.46	c |    115529 |   92252   521065  1484376 | 2147483647   114426    319 | 28.527 % |
415.71/415.96	c |    116688 |   92252   521065  1484376 | 2147483647   115585    322 | 28.527 % |
422.90/423.11	c |    117964 |   92229   520804  1483722 | 2147483647   116799    326 | 28.527 % |
423.50/423.73	c |    118064 |   92229   520804  1483722 | 2147483647   116899    326 | 28.527 % |
424.20/424.47	c |    118175 |   92229   520804  1483722 | 2147483647   117010    326 | 28.527 % |
425.00/425.29	c |    118296 |   92229   520804  1483722 | 2147483647   117131    327 | 28.527 % |
425.80/426.07	c |    118430 |   92229   520804  1483722 | 2147483647   117265    327 | 28.527 % |
426.60/426.89	c |    118577 |   92229   520804  1483722 | 2147483647   117412    327 | 28.527 % |
427.50/427.73	c |    118741 |   92229   520804  1483722 | 2147483647   117576    327 | 28.527 % |
428.50/428.73	c |    118917 |   92229   520804  1483722 | 2147483647   117752    327 | 28.527 % |
429.80/430.08	c |    119110 |   92228   520804  1483722 | 2147483647   117944    328 | 28.528 % |
431.01/431.28	c |    119324 |   92228   520804  1483722 | 2147483647   118158    328 | 28.528 % |
432.20/432.48	c |    119557 |   92228   520804  1483722 | 2147483647   118391    329 | 28.528 % |
433.70/433.95	c |    119815 |   92228   520804  1483722 | 2147483647   118649    329 | 28.528 % |
435.10/435.33	c |    120096 |   92228   520804  1483722 | 2147483647   118930    330 | 28.528 % |
436.41/436.66	c |    120405 |   92228   520804  1483722 | 2147483647   119239    331 | 28.528 % |
438.00/438.28	c |    120745 |   92227   520804  1483722 | 2147483647   119578    331 | 28.529 % |
440.20/440.45	c |    121119 |   92227   520804  1483722 | 2147483647   119952    332 | 28.529 % |
442.29/442.56	c |    121534 |   92227   520804  1483722 | 2147483647   120367    333 | 28.529 % |
444.70/444.99	c |    121985 |   92226   520804  1483722 | 2147483647   120817    334 | 28.530 % |
445.80/446.02	c |    122478 |   92225   520804  1483722 | 2147483647   121309    333 | 28.530 % |
446.89/447.11	c |    123020 |   92149   520804  1483722 | 2147483647   121849    332 | 28.612 % |
449.89/450.11	c |    123618 |   92149   520804  1483722 | 2147483647   122447    333 | 28.612 % |
453.29/453.55	c |    124274 |   92147   520804  1483722 | 2147483647   123101    334 | 28.623 % |
455.99/456.30	c |    124995 |   92144   520804  1483722 | 2147483647   123820    334 | 28.641 % |
461.09/461.34	c |    125789 |   92144   520804  1483722 | 2147483647   124614    336 | 28.641 % |
466.89/467.12	c |    126663 |   92140   520804  1483722 | 2147483647   125486    336 | 28.666 % |
472.58/472.83	c |    127622 |   92140   520804  1483722 | 2147483647   126445    339 | 28.666 % |
479.39/479.61	c |    128675 |   92046   519832  1481506 | 2147483647   127463    340 | 28.689 % |
486.68/486.93	c |    129835 |   92044   519832  1481506 | 2147483647   128622    343 | 28.699 % |
493.38/493.63	c |    131113 |   92040   519832  1481506 | 2147483647   129898    344 | 28.713 % |
500.97/501.26	c |    132514 |   92040   519832  1481506 | 2147483647   131299    346 | 28.713 % |
501.37/501.61	c |    132614 |   92040   519832  1481506 | 2147483647   131399    346 | 28.713 % |
501.97/502.23	c |    132725 |   92040   519832  1481506 | 2147483647   131510    346 | 28.713 % |
502.67/502.95	c |    132847 |   92040   519832  1481506 | 2147483647   131632    346 | 28.713 % |
503.27/503.57	c |    132981 |   92040   519832  1481506 | 2147483647   131766    346 | 28.713 % |
503.67/503.92	c |    133128 |   92040   519832  1481506 | 2147483647   131913    346 | 28.713 % |
504.58/504.88	c |    133290 |   92040   519832  1481506 | 2147483647   132075    346 | 28.713 % |
505.78/506.01	c |    133466 |   92040   519832  1481506 | 2147483647   132251    347 | 28.713 % |
507.17/507.50	c |    133659 |   92039   519832  1481506 | 2147483647   132443    347 | 28.714 % |
508.37/508.66	c |    133871 |   92039   519832  1481506 | 2147483647   132655    347 | 28.714 % |
509.77/510.02	c |    134104 |   92039   519832  1481506 | 2147483647   132888    348 | 28.714 % |
510.97/511.29	c |    134360 |   92039   519832  1481506 | 2147483647   133144    348 | 28.714 % |
512.66/512.98	c |    134649 |   92039   519832  1481506 | 2147483647   133433    349 | 28.714 % |
514.87/515.11	c |    134961 |   92039   519832  1481506 | 2147483647   133745    350 | 28.714 % |
516.77/517.10	c |    135301 |   92038   519832  1481506 | 2147483647   134084    352 | 28.715 % |
518.77/519.07	c |    135673 |   92038   519832  1481506 | 2147483647   134456    353 | 28.715 % |
521.07/521.39	c |    136082 |   92038   519832  1481506 | 2147483647   134865    354 | 28.715 % |
522.56/522.86	c |    136531 |   92034   519832  1481506 | 2147483647   135312    353 | 28.725 % |
524.57/524.82	c |    137027 |   92034   519832  1481506 | 2147483647   135808    353 | 28.725 % |
527.67/527.99	c |    137569 |   92034   519832  1481506 | 2147483647   136350    354 | 28.725 % |
530.26/530.51	c |    138165 |   92034   519832  1481506 | 2147483647   136946    354 | 28.725 % |
534.76/535.03	c |    138822 |   92034   519832  1481506 | 2147483647   137603    356 | 28.725 % |
538.76/539.04	c |    139542 |   92034   519832  1481506 | 2147483647   138323    357 | 28.725 % |
542.55/542.81	c |    140334 |   92034   519832  1481506 | 2147483647   139115    358 | 28.725 % |
545.25/545.55	c |    141205 |   91944   519107  1479584 | 2147483647   139956    357 | 28.748 % |
552.54/552.89	c |    142163 |   91942   519107  1479584 | 2147483647   140912    360 | 28.750 % |
559.55/559.80	c |    143217 |   91942   519107  1479584 | 2147483647   141966    361 | 28.750 % |
565.55/565.85	c |    144377 |   91941   519107  1479584 | 2147483647   143125    364 | 28.751 % |
573.25/573.55	c |    145651 |   91941   519107  1479584 | 2147483647   144399    367 | 28.751 % |
581.33/581.63	c |    147051 |   91940   519107  1479584 | 2147483647   145798    368 | 28.751 % |
591.23/591.51	c |    148594 |   91938   519107  1479584 | 2147483647   147340    371 | 28.764 % |
591.73/592.03	c |    148694 |   91938   519107  1479584 | 2147483647   147440    371 | 28.764 % |
592.13/592.46	c |    148806 |   91938   519107  1479584 | 2147483647   147552    371 | 28.764 % |
592.73/593.06	c |    148928 |   91938   519107  1479584 | 2147483647   147674    371 | 28.764 % |
593.63/593.94	c |    149062 |   91938   519107  1479584 | 2147483647   147808    371 | 28.764 % |
594.43/594.79	c |    149208 |   91938   519107  1479584 | 2147483647   147954    371 | 28.764 % |
595.12/595.44	c |    149370 |   91938   519107  1479584 | 2147483647   148116    371 | 28.764 % |
596.43/596.79	c |    149546 |   91938   519107  1479584 | 2147483647   148292    371 | 28.764 % |
597.23/597.54	c |    149740 |   91938   519107  1479584 | 2147483647   148486    371 | 28.764 % |
598.93/599.21	c |    149952 |   91938   519107  1479584 | 2147483647   148698    372 | 28.764 % |
600.73/601.02	c |    150185 |   91938   519107  1479584 | 2147483647   148931    372 | 28.764 % |
602.23/602.51	c |    150443 |   91938   519107  1479584 | 2147483647   149189    372 | 28.764 % |
603.83/604.17	c |    150725 |   91938   519107  1479584 | 2147483647   149471    372 | 28.764 % |
605.63/605.98	c |    151034 |   91938   519107  1479584 | 2147483647   149780    373 | 28.764 % |
607.03/607.38	c |    151373 |   91936   519107  1479584 | 2147483647   150118    372 | 28.775 % |
609.03/609.39	c |    151745 |   91935   519107  1479584 | 2147483647   150489    372 | 28.776 % |
611.53/611.85	c |    152154 |   91935   519107  1479584 | 2147483647   150898    373 | 28.776 % |
614.43/614.73	c |    152605 |   91935   519107  1479584 | 2147483647   151349    374 | 28.776 % |
617.03/617.36	c |    153098 |   91935   519107  1479584 | 2147483647   151842    375 | 28.776 % |
619.22/619.54	c |    153640 |   91916   519107  1479584 | 2147483647   152383    376 | 28.882 % |
622.72/623.09	c |    154236 |   91915   519107  1479584 | 2147483647   152979    376 | 28.882 % |
627.02/627.31	c |    154893 |   91915   519107  1479584 | 2147483647   153636    377 | 28.882 % |
632.51/632.83	c |    155614 |   91761   518085  1476809 | 2147483647   153938    378 | 28.890 % |
637.22/637.50	c |    156406 |   91761   518085  1476809 | 2147483647   154730    379 | 28.890 % |
642.41/642.80	c |    157277 |   91754   518085  1476809 | 2147483647   155599    381 | 28.911 % |
649.01/649.35	c |    158235 |   91751   518085  1476809 | 2147483647   156554    381 | 28.913 % |
653.81/654.19	c |    159291 |   91751   518085  1476809 | 2147483647   157610    382 | 28.913 % |
660.81/661.17	c |    160449 |   91744   518085  1476809 | 2147483647   158767    384 | 28.940 % |
669.70/670.00	c |    161724 |   91743   518085  1476809 | 2147483647   160041    387 | 28.941 % |
677.59/677.95	c |    163125 |   91743   518085  1476809 | 2147483647   161442    388 | 28.941 % |
687.29/687.64	c |    164665 |   91741   518085  1476809 | 2147483647   162980    391 | 28.943 % |
697.49/697.87	c |    166359 |   91736   518085  1476809 | 2147483647   164672    393 | 28.948 % |
698.29/698.68	c |    166459 |   91736   518085  1476809 | 2147483647   164772    393 | 28.948 % |
698.99/699.34	c |    166569 |   91736   518085  1476809 | 2147483647   164882    393 | 28.948 % |
699.49/699.85	c |    166690 |   91736   518085  1476809 | 2147483647   165003    393 | 28.948 % |
699.89/700.22	c |    166823 |   91730   518085  1476809 | 2147483647   165135    393 | 28.957 % |
700.39/700.78	c |    166970 |   91730   518085  1476809 | 2147483647   165282    393 | 28.957 % |
700.89/701.25	c |    167131 |   91730   518085  1476809 | 2147483647   165443    392 | 28.957 % |
701.99/702.30	c |    167307 |   91730   518085  1476809 | 2147483647   165619    393 | 28.957 % |
702.89/703.29	c |    167500 |   91730   518085  1476809 | 2147483647   165812    393 | 28.957 % |
703.79/704.14	c |    167713 |   91730   518085  1476809 | 2147483647   166025    393 | 28.957 % |
705.59/705.93	c |    167946 |   91730   518085  1476809 | 2147483647   166258    393 | 28.957 % |
707.09/707.48	c |    168203 |   91730   518085  1476809 | 2147483647   166515    393 | 28.957 % |
708.78/709.18	c |    168484 |   91730   518085  1476809 | 2147483647   166796    393 | 28.957 % |
710.19/710.59	c |    168794 |   91730   518085  1476809 | 2147483647   167106    394 | 28.957 % |
712.18/712.56	c |    169133 |   91730   518085  1476809 | 2147483647   167445    394 | 28.957 % |
714.48/714.80	c |    169506 |   91730   518085  1476809 | 2147483647   167818    394 | 28.957 % |
716.18/716.57	c |    169917 |   91730   518085  1476809 | 2147483647   168229    395 | 28.957 % |
719.08/719.44	c |    170366 |   91730   518085  1476809 | 2147483647   168678    395 | 28.957 % |
723.28/723.61	c |    170861 |   91730   518085  1476809 | 2147483647   169173    396 | 28.957 % |
726.38/726.70	c |    171403 |   91730   518085  1476809 | 2147483647   169715    397 | 28.957 % |
729.47/729.84	c |    172003 |   91730   518085  1476809 | 2147483647   170315    397 | 28.957 % |
733.78/734.13	c |    172658 |   91730   518085  1476809 | 2147483647   170970    397 | 28.957 % |
738.98/739.35	c |    173379 |   91675   517512  1475295 | 2147483647   171654    398 | 28.957 % |
743.67/744.06	c |    174172 |   91675   517512  1475295 | 2147483647   172447    398 | 28.957 % |
748.27/748.63	c |    175043 |   91673   517512  1475295 | 2147483647   173316    398 | 28.961 % |
753.27/753.67	c |    176001 |   91673   517512  1475295 | 2147483647   174274    400 | 28.961 % |
761.36/761.77	c |    177055 |   91671   517512  1475295 | 2147483647   175326    402 | 28.962 % |
768.06/768.41	c |    178215 |   91642   517512  1475295 | 2147483647   176485    403 | 28.988 % |
777.46/777.88	c |    179488 |   91642   517512  1475295 | 2147483647   177758    406 | 28.988 % |
785.35/785.76	c |    180888 |   91642   517512  1475295 | 2147483647   179158    408 | 28.988 % |
793.85/794.22	c |    182430 |   91635   517512  1475295 | 2147483647   180698    410 | 29.000 % |
804.14/804.55	c |    184127 |   91635   517512  1475295 | 2147483647   182395    413 | 29.000 % |
814.04/814.47	c |    185991 |   91632   517512  1475295 | 2147483647   184258    414 | 29.030 % |
814.94/815.36	c |    186092 |   91632   517512  1475295 | 2147483647   184359    414 | 29.030 % |
815.74/816.12	c |    186202 |   91632   517512  1475295 | 2147483647   184469    414 | 29.030 % |
816.44/816.89	c |    186323 |   91632   517512  1475295 | 2147483647   184590    414 | 29.030 % |
817.34/817.71	c |    186457 |   91632   517512  1475295 | 2147483647   184724    414 | 29.030 % |
818.54/818.90	c |    186603 |   91632   517512  1475295 | 2147483647   184870    414 | 29.030 % |
819.44/819.81	c |    186763 |   91632   517512  1475295 | 2147483647   185030    414 | 29.030 % |
820.74/821.15	c |    186939 |   91632   517512  1475295 | 2147483647   185206    415 | 29.030 % |
821.83/822.25	c |    187133 |   91632   517512  1475295 | 2147483647   185400    415 | 29.030 % |
822.73/823.18	c |    187350 |   91632   517512  1475295 | 2147483647   185617    414 | 29.030 % |
824.23/824.60	c |    187585 |   91632   517512  1475295 | 2147483647   185852    414 | 29.030 % |
825.83/826.22	c |    187841 |   91630   517512  1475295 | 2147483647   186107    414 | 29.031 % |
827.74/828.15	c |    188122 |   91630   517512  1475295 | 2147483647   186388    415 | 29.031 % |
830.04/830.50	c |    188431 |   91630   517512  1475295 | 2147483647   186697    415 | 29.031 % |
832.43/832.85	c |    188770 |   91630   517512  1475295 | 2147483647   187036    416 | 29.031 % |
834.43/834.89	c |    189142 |   91630   517512  1475295 | 2147483647   187408    416 | 29.031 % |
837.23/837.66	c |    189553 |   91630   517512  1475295 | 2147483647   187819    416 | 29.031 % |
839.73/840.16	c |    190002 |   91630   517512  1475295 | 2147483647   188268    417 | 29.031 % |
842.33/842.73	c |    190495 |   91630   517512  1475295 | 2147483647   188761    417 | 29.031 % |
845.13/845.55	c |    191038 |   91628   517512  1475295 | 2147483647   189302    417 | 29.043 % |
848.33/848.78	c |    191634 |   91628   517512  1475295 | 2147483647   189898    417 | 29.043 % |
852.62/853.04	c |    192294 |   91624   517512  1475295 | 2147483647   190556    418 | 29.047 % |
858.42/858.81	c |    193016 |   91623   517512  1475295 | 2147483647   191277    419 | 29.058 % |
861.73/862.14	c |    193808 |   91623   517512  1475295 | 2147483647   192069    419 | 29.058 % |
866.32/866.79	c |    194680 |   91544   516683  1473217 | 2147483647   192910    420 | 29.058 % |
873.42/873.82	c |    195640 |   91544   516683  1473217 | 2147483647   193870    422 | 29.058 % |
879.62/880.04	c |    196693 |   91544   516683  1473217 | 2147483647   194923    423 | 29.058 % |
885.31/885.76	c |    197851 |   91544   516683  1473217 | 2147483647   196081    424 | 29.058 % |
893.11/893.58	c |    199124 |   91543   516683  1473217 | 2147483647   197353    425 | 29.059 % |
902.81/903.22	c |    200528 |   91529   516683  1473217 | 2147483647   198754    427 | 29.093 % |
914.60/915.00	c |    202069 |   91527   516683  1473217 | 2147483647   200292    429 | 29.098 % |
924.60/925.03	c |    203763 |   91527   516683  1473217 | 2147483647   201986    431 | 29.098 % |
938.59/939.06	c |    205626 |   91525   516683  1473217 | 2147483647   203847    433 | 29.099 % |
950.78/951.21	c |    207676 |   91523   516683  1473217 | 2147483647   205895    433 | 29.101 % |
951.58/952.01	c |    207777 |   91523   516683  1473217 | 2147483647   205996    434 | 29.101 % |
952.48/952.92	c |    207891 |   91523   516683  1473217 | 2147483647   206110    434 | 29.101 % |
953.48/953.95	c |    208012 |   91523   516683  1473217 | 2147483647   206231    434 | 29.101 % |
954.28/954.73	c |    208145 |   91523   516683  1473217 | 2147483647   206364    434 | 29.101 % |
955.38/955.86	c |    208292 |   91523   516683  1473217 | 2147483647   206511    434 | 29.101 % |
956.17/956.66	c |    208452 |   91523   516683  1473217 | 2147483647   206671    434 | 29.101 % |
957.38/957.87	c |    208629 |   91523   516683  1473217 | 2147483647   206848    434 | 29.101 % |
958.48/958.91	c |    208822 |   91523   516683  1473217 | 2147483647   207041    434 | 29.101 % |
959.97/960.43	c |    209034 |   91523   516683  1473217 | 2147483647   207253    434 | 29.101 % |
961.57/962.09	c |    209268 |   91523   516683  1473217 | 2147483647   207487    434 | 29.101 % |
963.27/963.79	c |    209524 |   91523   516683  1473217 | 2147483647   207743    434 | 29.101 % |
965.28/965.72	c |    209805 |   91523   516683  1473217 | 2147483647   208024    434 | 29.101 % |
967.78/968.23	c |    210114 |   91523   516683  1473217 | 2147483647   208333    435 | 29.101 % |
970.08/970.54	c |    210455 |   91521   516683  1473217 | 2147483647   208672    435 | 29.102 % |
973.08/973.52	c |    210828 |   91521   516683  1473217 | 2147483647   209045    436 | 29.102 % |
975.77/976.21	c |    211237 |   91520   516683  1473217 | 2147483647   209453    436 | 29.103 % |
978.27/978.70	c |    211687 |   91520   516683  1473217 | 2147483647   209903    436 | 29.103 % |
981.28/981.79	c |    212180 |   91520   516683  1473217 | 2147483647   210396    436 | 29.103 % |
984.87/985.34	c |    212724 |   91515   516683  1473217 | 2147483647   210938    436 | 29.107 % |
989.26/989.71	c |    213320 |   91515   516683  1473217 | 2147483647   211534    437 | 29.107 % |
992.46/992.96	c |    213977 |   91514   516683  1473217 | 2147483647   212190    437 | 29.108 % |
996.07/996.56	c |    214701 |   91514   516683  1473217 | 2147483647   212914    438 | 29.108 % |
1001.36/1001.87	c |    215493 |   91514   516683  1473217 | 2147483647   213706    440 | 29.108 % |
1006.36/1006.85	c |    216366 |   91513   516683  1473217 | 2147483647   214578    440 | 29.109 % |
1013.67/1014.17	c |    217324 |   91510   516683  1473217 | 2147483647   215535    441 | 29.112 % |
1022.56/1023.07	c |    218378 |   91509   516683  1473217 | 2147483647   216588    442 | 29.112 % |
1030.55/1031.07	c |    219539 |   91509   516683  1473217 | 2147483647   217749    444 | 29.112 % |
1037.74/1038.27	c |    220812 |   91470   516245  1472111 | 2147483647   218988    443 | 29.139 % |
1044.94/1045.40	c |    222212 |   91468   516245  1472111 | 2147483647   220386    444 | 29.140 % |
1054.05/1054.56	c |    223754 |   91468   516245  1472111 | 2147483647   221928    446 | 29.140 % |
1061.44/1061.95	c |    225449 |   91468   516245  1472111 | 2147483647   223623    447 | 29.140 % |
1074.53/1075.05	c |    227312 |   91468   516245  1472111 | 2147483647   225486    449 | 29.140 % |
1093.43/1093.91	c |    229361 |   91464   516245  1472111 | 2147483647   227534    453 | 29.154 % |
1106.72/1107.24	c |    231618 |   91464   516245  1472111 | 2147483647   229791    455 | 29.154 % |
1107.52/1108.02	c |    231718 |   91464   516245  1472111 | 2147483647   229891    455 | 29.154 % |
1108.42/1108.99	c |    231831 |   91464   516245  1472111 | 2147483647   230004    456 | 29.154 % |
1109.22/1109.72	c |    231952 |   91464   516245  1472111 | 2147483647   230125    456 | 29.154 % |
1110.22/1110.78	c |    232088 |   91464   516245  1472111 | 2147483647   230261    456 | 29.154 % |
1111.22/1111.71	c |    232234 |   91464   516245  1472111 | 2147483647   230407    456 | 29.154 % |
1112.52/1113.06	c |    232398 |   91464   516245  1472111 | 2147483647   230571    456 | 29.154 % |
1113.12/1113.61	c |    232575 |   91464   516245  1472111 | 2147483647   230748    455 | 29.154 % |
1114.12/1114.63	c |    232768 |   91464   516245  1472111 | 2147483647   230941    455 | 29.154 % |
1115.32/1115.90	c |    232980 |   91464   516245  1472111 | 2147483647   231153    455 | 29.154 % |
1116.32/1116.81	c |    233213 |   91464   516245  1472111 | 2147483647   231386    455 | 29.154 % |
1117.52/1118.00	c |    233469 |   91458   516245  1472111 | 2147483647   231640    455 | 29.168 % |
1118.92/1119.44	c |    233751 |   91458   516245  1472111 | 2147483647   231922    455 | 29.168 % |
1121.11/1121.69	c |    234060 |   91458   516245  1472111 | 2147483647   232231    455 | 29.168 % |
1123.11/1123.66	c |    234401 |   91458   516245  1472111 | 2147483647   232572    455 | 29.168 % |
1125.41/1125.91	c |    234775 |   91458   516245  1472111 | 2147483647   232946    455 | 29.168 % |
1128.41/1128.98	c |    235185 |   91457   516245  1472111 | 2147483647   233355    455 | 29.169 % |
1131.11/1131.67	c |    235637 |   91457   516245  1472111 | 2147483647   233807    456 | 29.169 % |
1134.81/1135.30	c |    236131 |   91456   516245  1472111 | 2147483647   234300    456 | 29.171 % |
1139.31/1139.87	c |    236673 |   91456   516245  1472111 | 2147483647   234842    458 | 29.171 % |
1143.80/1144.34	c |    237270 |   91455   516245  1472111 | 2147483647   235438    458 | 29.171 % |
1149.01/1149.52	c |    237925 |   91455   516245  1472111 | 2147483647   236093    459 | 29.171 % |
1152.90/1153.42	c |    238647 |   91454   516245  1472111 | 2147483647   236814    459 | 29.172 % |
1159.40/1159.94	c |    239441 |   91453   516245  1472111 | 2147483647   237607    459 | 29.173 % |
1165.19/1165.78	c |    240312 |   91453   516245  1472111 | 2147483647   238478    460 | 29.173 % |
1172.79/1173.38	c |    241270 |   91447   516245  1472111 | 2147483647   239435    461 | 29.185 % |
1180.99/1181.54	c |    242326 |   91446   516245  1472111 | 2147483647   240490    462 | 29.186 % |
1187.98/1188.55	c |    243486 |   91446   516245  1472111 | 2147483647   241650    461 | 29.186 % |
1197.58/1198.18	c |    244759 |   91446   516245  1472111 | 2147483647   242923    464 | 29.186 % |
1205.09/1205.67	c |    246160 |   91446   516245  1472111 | 2147483647   244324    465 | 29.186 % |
1214.67/1215.27	c |    247700 |   91441   516245  1472111 | 2147483647   245860    465 | 29.191 % |
1229.47/1230.03	c |    249394 |   91441   516245  1472111 | 2147483647   247554    467 | 29.191 % |
1244.96/1245.54	c |    251258 |   91441   516245  1472111 | 2147483647   249418    469 | 29.191 % |
1260.76/1261.38	c |    253308 |   91373   515559  1470308 | 2147483647   251412    469 | 29.191 % |
1273.75/1274.32	c |    255565 |   91373   515559  1470308 | 2147483647   253669    472 | 29.191 % |
1287.44/1288.06	c |    258045 |   91369   515559  1470308 | 2147483647   256148    473 | 29.198 % |
1288.54/1289.16	c |    258147 |   91368   515559  1470308 | 2147483647   256249    473 | 29.198 % |
1289.45/1290.05	c |    258257 |   91368   515559  1470308 | 2147483647   256359    473 | 29.198 % |
1290.34/1290.92	c |    258378 |   91368   515559  1470308 | 2147483647   256480    473 | 29.198 % |
1291.44/1292.00	c |    258511 |   91368   515559  1470308 | 2147483647   256613    473 | 29.198 % |
1292.84/1293.44	c |    258662 |   91368   515559  1470308 | 2147483647   256764    473 | 29.198 % |
1293.74/1294.30	c |    258827 |   91367   515559  1470308 | 2147483647   256928    473 | 29.199 % |
1294.94/1295.57	c |    259003 |   91367   515559  1470308 | 2147483647   257104    473 | 29.199 % |
1295.84/1296.50	c |    259197 |   91367   515559  1470308 | 2147483647   257298    473 | 29.199 % |
1297.34/1297.98	c |    259409 |   91366   515559  1470308 | 2147483647   257509    473 | 29.200 % |
1298.53/1299.15	c |    259642 |   91366   515559  1470308 | 2147483647   257742    473 | 29.200 % |
1300.23/1300.82	c |    259898 |   91366   515559  1470308 | 2147483647   257998    473 | 29.200 % |
1301.92/1302.58	c |    260180 |   91366   515559  1470308 | 2147483647   258280    473 | 29.200 % |
1303.83/1304.49	c |    260492 |   91366   515559  1470308 | 2147483647   258592    473 | 29.200 % |
1307.43/1308.06	c |    260832 |   91366   515559  1470308 | 2147483647   258932    474 | 29.200 % |
1310.13/1310.74	c |    261205 |   91366   515559  1470308 | 2147483647   259305    474 | 29.200 % |
1313.43/1314.03	c |    261614 |   91366   515559  1470308 | 2147483647   259714    474 | 29.200 % |
1317.33/1317.91	c |    262065 |   91366   515559  1470308 | 2147483647   260165    474 | 29.200 % |
1320.62/1321.29	c |    262558 |   91365   515559  1470308 | 2147483647   260657    474 | 29.215 % |
1323.92/1324.57	c |    263101 |   91364   515559  1470308 | 2147483647   261199    474 | 29.216 % |
1327.33/1327.98	c |    263699 |   91364   515559  1470308 | 2147483647   261797    474 | 29.216 % |
1332.82/1333.46	c |    264358 |   91364   515559  1470308 | 2147483647   262456    475 | 29.216 % |
1336.82/1337.48	c |    265078 |   91364   515559  1470308 | 2147483647   263176    475 | 29.216 % |
1342.42/1343.03	c |    265870 |   91362   515559  1470308 | 2147483647   263967    476 | 29.218 % |
1348.81/1349.42	c |    266742 |   91362   515559  1470308 | 2147483647   264839    477 | 29.218 % |
1356.11/1356.76	c |    267701 |   91362   515559  1470308 | 2147483647   265798    479 | 29.218 % |
1364.00/1364.60	c |    268754 |   91362   515559  1470308 | 2147483647   266851    480 | 29.218 % |
1372.80/1373.46	c |    269912 |   91361   515559  1470308 | 2147483647   268008    481 | 29.324 % |
1383.50/1384.12	c |    271185 |   91361   515559  1470308 | 2147483647   269281    482 | 29.324 % |
1395.79/1396.49	c |    272586 |   91361   515559  1470308 | 2147483647   270682    485 | 29.324 % |
1406.29/1406.93	c |    274126 |   91361   515559  1470308 | 2147483647   272222    486 | 29.324 % |
1418.59/1419.24	c |    275820 |   91361   515559  1470308 | 2147483647   273916    488 | 29.324 % |
1433.87/1434.57	c |    277686 |   91359   515559  1470308 | 2147483647   275781    491 | 29.333 % |
1450.27/1450.99	c |    279737 |   91339   515559  1470308 | 2147483647   277829    493 | 29.839 % |
1464.36/1465.01	c |    281990 |   91339   515559  1470308 | 2147483647   280082    494 | 29.839 % |
1484.85/1485.59	c |    284468 |   91339   515559  1470308 | 2147483647   282560    499 | 29.839 % |
1506.15/1506.87	c |    287196 |   91339   515559  1470308 | 2147483647   285288    504 | 29.839 % |
1507.05/1507.73	c |    287298 |   91339   515559  1470308 | 2147483647   285390    504 | 29.839 % |
1507.95/1508.69	c |    287411 |   91339   515559  1470308 | 2147483647   285503    504 | 29.839 % |
1508.95/1509.64	c |    287536 |   91339   515559  1470308 | 2147483647   285628    504 | 29.839 % |
1510.15/1510.86	c |    287669 |   91339   515559  1470308 | 2147483647   285761    504 | 29.839 % |
1511.14/1511.83	c |    287815 |   91339   515559  1470308 | 2147483647   285907    504 | 29.839 % |
1512.64/1513.33	c |    287978 |   91339   515559  1470308 | 2147483647   286070    504 | 29.839 % |
1513.64/1514.38	c |    288155 |   91339   515559  1470308 | 2147483647   286247    504 | 29.839 % |
1515.04/1515.76	c |    288348 |   91339   515559  1470308 | 2147483647   286440    504 | 29.839 % |
1516.94/1517.67	c |    288561 |   90536   510591  1457038 | 2147483647   286560    504 | 29.839 % |
1518.65/1519.37	c |    288795 |   90534   510591  1457038 | 2147483647   286792    504 | 29.866 % |
1519.05/1519.79	c |    289051 |   90534   510591  1457038 | 2147483647   287048    503 | 29.866 % |
1520.34/1521.07	c |    289333 |   90534   510591  1457038 | 2147483647   287330    503 | 29.866 % |
1523.04/1523.72	c |    289643 |   90534   510591  1457038 | 2147483647   287640    503 | 29.866 % |
1525.63/1526.39	c |    289984 |   90534   510591  1457038 | 2147483647   287981    503 | 29.866 % |
1528.83/1529.55	c |    290358 |   90534   510591  1457038 | 2147483647   288355    504 | 29.866 % |
1531.83/1532.59	c |    290770 |   90534   510591  1457038 | 2147483647   288767    504 | 29.866 % |
1534.43/1535.18	c |    291222 |   90534   510591  1457038 | 2147483647   289219    504 | 29.866 % |
1538.13/1538.87	c |    291717 |   90534   510591  1457038 | 2147483647   289714    504 | 29.866 % |
1542.73/1543.48	c |    292261 |   90534   510591  1457038 | 2147483647   290258    504 | 29.866 % |
1548.03/1548.77	c |    292859 |   90534   510591  1457038 | 2147483647   290856    505 | 29.866 % |
1553.93/1554.69	c |    293519 |   90534   510591  1457038 | 2147483647   291516    505 | 29.866 % |
1558.62/1559.32	c |    294240 |   90534   510591  1457038 | 2147483647   292237    505 | 29.866 % |
1563.92/1564.64	c |    295033 |   90534   510591  1457038 | 2147483647   293030    506 | 29.866 % |
1570.52/1571.22	c |    295904 |   90534   510591  1457038 | 2147483647   293901    506 | 29.866 % |
1578.41/1579.10	c |    296864 |   90534   510591  1457038 | 2147483647   294861    508 | 29.866 % |
1586.91/1587.66	c |    297917 |   90534   510591  1457038 | 2147483647   295914    509 | 29.866 % |
1591.21/1591.99	c |    299075 |   90533   510591  1457038 | 2147483647   297071    508 | 29.878 % |
1598.91/1599.69	c |    300348 |   90533   510591  1457038 | 2147483647   298344    508 | 29.878 % |
1610.60/1611.35	c |    301752 |   90533   510591  1457038 | 2147483647   299748    509 | 29.878 % |
1623.79/1624.55	c |    303293 |   90531   510591  1457038 | 2147483647   301287    511 | 29.880 % |
1636.29/1637.06	c |    304994 |   90530   510591  1457038 | 2147483647   302987    511 | 29.883 % |
1650.99/1651.77	c |    306857 |   90530   510591  1457038 | 2147483647   304850    512 | 29.883 % |
1668.06/1668.86	c |    308907 |   90530   510591  1457038 | 2147483647   306900    513 | 29.883 % |
1684.05/1684.88	c |    311160 |   90482   510591  1457038 | 2147483647   309148    513 | 29.931 % |
1701.85/1702.63	c |    313638 |   90477   510591  1457038 | 2147483647   311623    514 | 29.945 % |
1722.53/1723.33	c |    316364 |   90475   510591  1457038 | 2147483647   314347    514 | 29.946 % |
1747.42/1748.21	c |    319362 |   90475   510591  1457038 | 2147483647   317345    516 | 29.946 % |
1748.31/1749.10	c |    319462 |   90475   510591  1457038 | 2147483647   317445    516 | 29.946 % |
1749.22/1750.09	c |    319575 |   90475   510591  1457038 | 2147483647   317558    516 | 29.946 % |
1750.11/1750.92	c |    319696 |   90475   510591  1457038 | 2147483647   317679    515 | 29.946 % |
1751.21/1752.05	c |    319829 |   90475   510591  1457038 | 2147483647   317812    516 | 29.946 % |
1752.31/1753.11	c |    319976 |   90475   510591  1457038 | 2147483647   317959    516 | 29.946 % |
1752.81/1753.66	c |    320139 |   90475   510591  1457038 | 2147483647   318122    515 | 29.946 % |
1753.72/1754.57	c |    320315 |   90475   510591  1457038 | 2147483647   318298    515 | 29.946 % |
1754.11/1754.92	c |    320509 |   90475   510591  1457038 | 2147483647   318492    515 | 29.946 % |
1754.61/1755.40	c |    320723 |   90475   510591  1457038 | 2147483647   318706    515 | 29.946 % |
1756.71/1757.57	c |    320956 |   90474   510591  1457038 | 2147483647   318938    515 | 29.947 % |
1758.61/1759.40	c |    321213 |   90473   510591  1457038 | 2147483647   319194    515 | 29.949 % |
1761.22/1762.01	c |    321494 |   90473   510591  1457038 | 2147483647   319475    515 | 29.949 % |
1763.31/1764.18	c |    321806 |   90473   510591  1457038 | 2147483647   319787    515 | 29.949 % |
1765.91/1766.71	c |    322147 |   90473   510591  1457038 | 2147483647   320128    515 | 29.949 % |
1769.41/1770.28	c |    322520 |   90473   510591  1457038 | 2147483647   320501    516 | 29.949 % |
1772.61/1773.40	c |    322930 |   90465   510591  1457038 | 2147483647   320910    516 | 29.961 % |
1776.11/1776.98	c |    323380 |   90465   510591  1457038 | 2147483647   321360    516 | 29.961 % |
1781.11/1781.98	c |    323874 |   90465   510591  1457038 | 2147483647   321854    517 | 29.961 % |
1784.71/1785.58	c |    324418 |   90465   510591  1457038 | 2147483647   322398    517 | 29.961 % |
1789.40/1790.22	c |    325015 |   90456   510591  1457038 | 2147483647   322993    517 | 29.994 % |
1794.59/1795.49	c |    325671 |   90456   510591  1457038 | 2147483647   323649    517 | 29.994 % |
1799.29/1800.10	c |    326392 |   90456   510591  1457038 | 2147483647   324370    518 | 29.994 % |
1804.79/1805.68	c |    327186 |   90456   510591  1457038 | 2147483647   325163    519 | 29.994 % |
1811.79/1812.66	c |    328059 |   90453   510591  1457038 | 2147483647   326034    519 | 29.997 % |
1818.59/1819.48	c |    329017 |   90452   510591  1457038 | 2147483647   326991    519 | 29.999 % |
1827.18/1828.00	c |    330073 |   90452   510591  1457038 | 2147483647   328047    521 | 29.999 % |
1836.67/1837.53	c |    331231 |   90452   510591  1457038 | 2147483647   329205    522 | 29.999 % |
1849.97/1850.86	c |    332507 |   90452   510591  1457038 | 2147483647   330481    522 | 29.999 % |
1858.37/1859.29	c |    333907 |   90327   509242  1453383 | 2147483647   331726    522 | 30.011 % |
1870.46/1871.31	c |    335448 |   90327   509242  1453383 | 2147483647   333267    523 | 30.011 % |
1882.36/1883.29	c |    337142 |   90326   509242  1453383 | 2147483647   334960    523 | 30.011 % |
1898.35/1899.28	c |    339005 |   90325   509242  1453383 | 2147483647   336822    525 | 30.012 % |
1911.84/1912.76	c |    341054 |   90325   509242  1453383 | 2147483647   338871    528 | 30.012 % |
1930.13/1931.04	c |    343308 |   90325   509242  1453383 | 2147483647   341125    529 | 30.012 % |
1948.22/1949.15	c |    345786 |   90323   509242  1453383 | 2147483647   343601    529 | 30.014 % |
1969.23/1970.17	c |    348514 |   90322   509242  1453383 | 2147483647   346328    531 | 30.014 % |
1989.80/1990.76	c |    351513 |   90322   509242  1453383 | 2147483647   349327    531 | 30.014 % |
2016.60/2017.51	c |    354810 |   90320   509242  1453383 | 2147483647   352622    535 | 30.016 % |
2017.40/2018.33	c |    354911 |   90320   509242  1453383 | 2147483647   352723    535 | 30.016 % |
2018.40/2019.31	c |    355021 |   90320   509242  1453383 | 2147483647   352833    535 | 30.016 % |
2019.39/2020.38	c |    355142 |   90319   509242  1453383 | 2147483647   352953    535 | 30.017 % |
2020.69/2021.66	c |    355276 |   90319   509242  1453383 | 2147483647   353087    535 | 30.017 % |
2022.29/2023.27	c |    355422 |   90319   509242  1453383 | 2147483647   353233    535 | 30.017 % |
2023.49/2024.48	c |    355582 |   90319   509242  1453383 | 2147483647   353393    535 | 30.017 % |
2025.09/2026.00	c |    355761 |   90312   509242  1453383 | 2147483647   353571    535 | 30.028 % |
2026.29/2027.23	c |    355954 |   90312   509242  1453383 | 2147483647   353764    535 | 30.028 % |
2028.29/2029.24	c |    356166 |   90312   509242  1453383 | 2147483647   353976    535 | 30.028 % |
2029.99/2030.94	c |    356399 |   90312   509242  1453383 | 2147483647   354209    535 | 30.028 % |
2032.69/2033.67	c |    356656 |   90312   509242  1453383 | 2147483647   354466    535 | 30.028 % |
2034.89/2035.83	c |    356938 |   90312   509242  1453383 | 2147483647   354748    535 | 30.028 % |
2037.99/2038.96	c |    357247 |   90312   509242  1453383 | 2147483647   355057    535 | 30.028 % |
2039.68/2040.67	c |    357588 |   90312   509242  1453383 | 2147483647   355398    535 | 30.028 % |
2043.38/2044.36	c |    357963 |   90312   509242  1453383 | 2147483647   355773    535 | 30.028 % |
2046.59/2047.57	c |    358374 |   90312   509242  1453383 | 2147483647   356184    535 | 30.028 % |
2051.08/2052.03	c |    358823 |   90312   509242  1453383 | 2147483647   356633    535 | 30.028 % |
2054.68/2055.60	c |    359319 |   90312   509242  1453383 | 2147483647   357129    535 | 30.028 % |
2059.48/2060.49	c |    359866 |   90312   509242  1453383 | 2147483647   357676    536 | 30.028 % |
2064.47/2065.46	c |    360463 |   90312   509242  1453383 | 2147483647   358273    536 | 30.028 % |
2069.87/2070.85	c |    361121 |   90312   509242  1453383 | 2147483647   358931    536 | 30.028 % |
2075.27/2076.26	c |    361844 |   90312   509242  1453383 | 2147483647   359654    537 | 30.028 % |
2083.07/2084.07	c |    362636 |   90312   509242  1453383 | 2147483647   360446    537 | 30.028 % |
2089.67/2090.63	c |    363507 |   90312   509242  1453383 | 2147483647   361316    537 | 30.029 % |
2097.16/2098.18	c |    364465 |   90312   509242  1453383 | 2147483647   362274    538 | 30.029 % |
2106.06/2107.03	c |    365519 |   90312   509242  1453383 | 2147483647   363328    538 | 30.029 % |
2114.25/2115.23	c |    366677 |   90312   509242  1453383 | 2147483647   364486    539 | 30.029 % |
2124.65/2125.67	c |    367951 |   90311   509242  1453383 | 2147483647   365759    540 | 30.030 % |
2137.05/2138.01	c |    369353 |   90311   509242  1453383 | 2147483647   367161    541 | 30.030 % |
2149.84/2150.86	c |    370896 |   90311   509242  1453383 | 2147483647   368704    543 | 30.030 % |
2164.94/2165.95	c |    372592 |   90311   509242  1453383 | 2147483647   370400    543 | 30.030 % |
2181.03/2182.08	c |    374456 |   90311   509242  1453383 | 2147483647   372264    544 | 30.030 % |
2199.52/2200.54	c |    376505 |   90311   509242  1453383 | 2147483647   374313    546 | 30.030 % |
2218.81/2219.89	c |    378761 |   90310   509242  1453383 | 2147483647   376568    547 | 30.032 % |
2242.40/2243.49	c |    381239 |   90310   509242  1453383 | 2147483647   379046    548 | 30.032 % |
2267.29/2268.35	c |    383964 |   90310   509242  1453383 | 2147483647   381771    549 | 30.032 % |
2294.07/2295.12	c |    386962 |   90310   509242  1453383 | 2147483647   384768    551 | 30.033 % |
2323.27/2324.38	c |    390259 |   90284   508952  1452633 | 2147483647   388014    552 | 30.035 % |
2353.05/2354.14	c |    393884 |   90284   508952  1452633 | 2147483647   391639    553 | 30.035 % |
2353.95/2355.08	c |    393986 |   90284   508952  1452633 | 2147483647   391741    553 | 30.035 % |
2355.15/2356.26	c |    394099 |   90284   508952  1452633 | 2147483647   391854    553 | 30.035 % |
2355.85/2356.98	c |    394220 |   90284   508952  1452633 | 2147483647   391975    553 | 30.035 % |
2357.14/2358.27	c |    394355 |   90284   508952  1452633 | 2147483647   392110    553 | 30.035 % |
2358.55/2359.65	c |    394504 |   90284   508952  1452633 | 2147483647   392259    553 | 30.035 % |
2359.45/2360.60	c |    394664 |   90284   508952  1452633 | 2147483647   392419    553 | 30.035 % |
2361.25/2362.38	c |    394840 |   90284   508952  1452633 | 2147483647   392595    553 | 30.035 % |
2363.44/2364.51	c |    395034 |   90284   508952  1452633 | 2147483647   392789    553 | 30.035 % |
2364.95/2366.09	c |    395246 |   90284   508952  1452633 | 2147483647   393001    553 | 30.035 % |
2366.94/2368.09	c |    395480 |   90284   508952  1452633 | 2147483647   393235    553 | 30.035 % |
2369.24/2370.37	c |    395737 |   90284   508952  1452633 | 2147483647   393492    553 | 30.035 % |
2371.35/2372.44	c |    396019 |   90284   508952  1452633 | 2147483647   393774    553 | 30.035 % |
2374.65/2375.70	c |    396328 |   90284   508952  1452633 | 2147483647   394083    553 | 30.035 % |
2377.94/2379.05	c |    396668 |   90283   508952  1452633 | 2147483647   394422    553 | 30.035 % |
2381.32/2382.44	c |    397041 |   90283   508952  1452633 | 2147483647   394795    554 | 30.035 % |
2384.52/2385.61	c |    397451 |   90283   508952  1452633 | 2147483647   395205    554 | 30.035 % |
2388.42/2389.57	c |    397903 |   90283   508952  1452633 | 2147483647   395657    554 | 30.035 % |
2392.72/2393.80	c |    398401 |   90283   508952  1452633 | 2147483647   396155    555 | 30.035 % |
2398.52/2399.65	c |    398948 |   90283   508952  1452633 | 2147483647   396702    555 | 30.035 % |
2405.32/2406.46	c |    399544 |   90283   508952  1452633 | 2147483647   397297    555 | 30.036 % |
2410.92/2412.08	c |    400200 |   90283   508952  1452633 | 2147483647   397953    555 | 30.036 % |
2416.12/2417.29	c |    400920 |   90280   508952  1452633 | 2147483647   398672    555 | 30.094 % |
2424.00/2425.11	c |    401715 |   90276   508952  1452633 | 2147483647   399466    555 | 30.122 % |
2432.01/2433.11	c |    402591 |   90276   508952  1452633 | 2147483647   400342    556 | 30.122 % |
2440.51/2441.66	c |    403549 |   90276   508952  1452633 | 2147483647   401300    556 | 30.122 % |
2450.20/2451.30	c |    404605 |   90275   508952  1452633 | 2147483647   402355    557 | 30.123 % |
2460.50/2461.67	c |    405765 |   90275   508952  1452633 | 2147483647   403515    558 | 30.123 % |
2470.98/2472.18	c |    407038 |   90275   508952  1452633 | 2147483647   404788    559 | 30.123 % |
2481.08/2482.27	c |    408438 |   90269   508952  1452633 | 2147483647   406187    558 | 30.152 % |
2495.78/2496.96	c |    409978 |   90266   508952  1452633 | 2147483647   407724    559 | 30.162 % |
2511.37/2512.57	c |    411672 |   90261   508952  1452633 | 2147483647   409416    559 | 30.171 % |
2527.36/2528.57	c |    413535 |   90258   508952  1452633 | 2147483647   411276    559 | 30.195 % |
2546.46/2547.66	c |    415584 |   90257   508952  1452633 | 2147483647   413324    560 | 30.196 % |
2564.74/2565.98	c |    417837 |   90257   508952  1452633 | 2147483647   415577    562 | 30.196 % |
2588.94/2590.14	c |    420322 |   90257   508952  1452633 | 2147483647   418062    563 | 30.196 % |
2614.42/2615.70	c |    423047 |   90257   508952  1452633 | 2147483647   420787    565 | 30.196 % |
2640.91/2642.11	c |    426045 |   90239   508952  1452633 | 2147483647   423781    565 | 30.231 % |
2665.69/2666.97	c |    429341 |   90239   508952  1452633 | 2147483647   427077    568 | 30.231 % |
2696.48/2697.78	c |    432966 |   90239   508952  1452633 | 2147483647   430702    569 | 30.231 % |
2731.68/2732.91	c |    436956 |   90234   508952  1452633 | 2147483647   434687    572 | 30.246 % |
2732.78/2734.06	c |    437056 |   90234   508952  1452633 | 2147483647   434787    572 | 30.246 % |
2733.68/2734.92	c |    437166 |   90234   508952  1452633 | 2147483647   434897    572 | 30.246 % |
2734.08/2735.38	c |    437287 |   90234   508952  1452633 | 2147483647   435018    571 | 30.246 % |
2735.28/2736.52	c |    437420 |   90233   508952  1452633 | 2147483647   435150    571 | 30.247 % |
2736.97/2738.24	c |    437568 |   90233   508952  1452633 | 2147483647   435298    571 | 30.247 % |
2738.67/2739.99	c |    437733 |   90233   508952  1452633 | 2147483647   435463    571 | 30.247 % |
2740.77/2742.10	c |    437911 |   90233   508952  1452633 | 2147483647   435641    571 | 30.247 % |
2742.76/2744.00	c |    438104 |   90233   508952  1452633 | 2147483647   435834    571 | 30.247 % |
2745.06/2746.35	c |    438321 |   90233   508952  1452633 | 2147483647   436051    571 | 30.247 % |
2747.46/2748.73	c |    438555 |   90233   508952  1452633 | 2147483647   436285    571 | 30.247 % |
2748.46/2749.75	c |    438811 |   90233   508952  1452633 | 2147483647   436541    571 | 30.247 % |
2751.27/2752.59	c |    439094 |   90233   508952  1452633 | 2147483647   436824    571 | 30.247 % |
2753.56/2754.87	c |    439403 |   90233   508952  1452633 | 2147483647   437133    571 | 30.247 % |
2756.36/2757.62	c |    439742 |   90233   508952  1452633 | 2147483647   437472    571 | 30.247 % |
2760.16/2761.43	c |    440114 |   90232   508952  1452633 | 2147483647   437843    571 | 30.248 % |
2763.56/2764.84	c |    440523 |   90232   508952  1452633 | 2147483647   438252    571 | 30.248 % |
2768.36/2769.64	c |    440972 |   90232   508952  1452633 | 2147483647   438701    571 | 30.248 % |
2772.75/2774.03	c |    441466 |   90232   508952  1452633 | 2147483647   439195    571 | 30.248 % |
2778.06/2779.31	c |    442008 |   90232   508952  1452633 | 2147483647   439737    571 | 30.248 % |
2781.76/2783.02	c |    442605 |   90232   508952  1452633 | 2147483647   440334    571 | 30.248 % |
2787.25/2788.56	c |    443260 |   90228   508952  1452633 | 2147483647   440987    571 | 30.256 % |
2795.55/2796.82	c |    443980 |   90228   508952  1452633 | 2147483647   441707    571 | 30.256 % |
2802.25/2803.56	c |    444773 |   90228   508952  1452633 | 2147483647   442500    572 | 30.256 % |
2811.74/2813.01	c |    445644 |   90228   508952  1452633 | 2147483647   443371    572 | 30.256 % |
2821.03/2822.31	c |    446602 |   90228   508952  1452633 | 2147483647   444329    573 | 30.256 % |
2831.03/2832.36	c |    447655 |   90228   508952  1452633 | 2147483647   445382    573 | 30.256 % |
2839.62/2840.96	c |    448813 |   90228   508952  1452633 | 2147483647   446540    573 | 30.256 % |
2851.93/2853.21	c |    450087 |   90228   508952  1452633 | 2147483647   447814    574 | 30.256 % |
2864.72/2866.00	c |    451489 |   90228   508952  1452633 | 2147483647   449216    574 | 30.256 % |
2882.21/2883.55	c |    453031 |   90228   508952  1452633 | 2147483647   450758    575 | 30.256 % |
2897.61/2898.96	c |    454730 |   90228   508952  1452633 | 2147483647   452457    575 | 30.256 % |
2914.10/2915.44	c |    456593 |   90228   508952  1452633 | 2147483647   454319    575 | 30.257 % |
2931.19/2932.54	c |    458643 |   90228   508952  1452633 | 2147483647   456369    575 | 30.257 % |
2953.58/2954.96	c |    460899 |   90228   508952  1452633 | 2147483647   458625    575 | 30.257 % |
2977.26/2978.65	c |    463377 |   89981   507288  1448255 | 2147483647   460915    575 | 30.275 % |
2996.86/2998.29	c |    466105 |   89981   507288  1448255 | 2147483647   463643    575 | 30.275 % |
3022.45/3023.82	c |    469104 |   89978   507288  1448255 | 2147483647   466641    576 | 30.286 % |
3049.33/3050.79	c |    472402 |   89978   507288  1448255 | 2147483647   469938    577 | 30.287 % |
3083.32/3084.80	c |    476027 |   89978   507288  1448255 | 2147483647   473563    578 | 30.287 % |
3119.31/3120.71	c |    480014 |   89978   507288  1448255 | 2147483647   477550    579 | 30.287 % |
3154.58/3156.05	c |    484400 |   89972   507288  1448255 | 2147483647   481934    581 | 30.305 % |
3156.18/3157.63	c |    484501 |   89972   507288  1448255 | 2147483647   482035    581 | 30.305 % |
3157.38/3158.90	c |    484612 |   89972   507288  1448255 | 2147483647   482146    581 | 30.305 % |
3159.19/3160.63	c |    484733 |   89972   507288  1448255 | 2147483647   482267    581 | 30.305 % |
3160.59/3162.04	c |    484867 |   89972   507288  1448255 | 2147483647   482401    581 | 30.305 % |
3161.99/3163.41	c |    485013 |   89972   507288  1448255 | 2147483647   482547    581 | 30.305 % |
3163.89/3165.33	c |    485176 |   89972   507288  1448255 | 2147483647   482710    581 | 30.305 % |
3165.68/3167.17	c |    485356 |   89972   507288  1448255 | 2147483647   482890    581 | 30.305 % |
3167.88/3169.39	c |    485550 |   89972   507288  1448255 | 2147483647   483084    581 | 30.305 % |
3170.08/3171.57	c |    485762 |   89972   507288  1448255 | 2147483647   483296    581 | 30.305 % |
3173.38/3174.82	c |    485995 |   89972   507288  1448255 | 2147483647   483529    581 | 30.305 % |
3175.98/3177.44	c |    486253 |   89972   507288  1448255 | 2147483647   483787    581 | 30.305 % |
3179.08/3180.54	c |    486535 |   89972   507288  1448255 | 2147483647   484069    581 | 30.305 % |
3182.67/3184.16	c |    486847 |   89970   507288  1448255 | 2147483647   484379    581 | 30.307 % |
3185.58/3187.07	c |    487186 |   89970   507288  1448255 | 2147483647   484718    581 | 30.307 % |
3189.16/3190.62	c |    487558 |   89970   507288  1448255 | 2147483647   485090    581 | 30.307 % |
3192.26/3193.78	c |    487968 |   89970   507288  1448255 | 2147483647   485500    581 | 30.307 % |
3196.86/3198.35	c |    488419 |   89970   507288  1448255 | 2147483647   485951    582 | 30.307 % |
3201.67/3203.13	c |    488912 |   89970   507288  1448255 | 2147483647   486444    582 | 30.307 % |
3205.56/3207.05	c |    489454 |   89970   507288  1448255 | 2147483647   486986    582 | 30.307 % |
3208.86/3210.30	c |    490053 |   89968   507288  1448255 | 2147483647   487583    581 | 30.308 % |
3216.86/3218.32	c |    490709 |   89968   507288  1448255 | 2147483647   488239    581 | 30.308 % |
3223.25/3224.77	c |    491429 |   89968   507288  1448255 | 2147483647   488959    581 | 30.308 % |
3230.45/3231.92	c |    492223 |   89968   507288  1448255 | 2147483647   489753    581 | 30.308 % |
3237.75/3239.20	c |    493094 |   89968   507288  1448255 | 2147483647   490624    582 | 30.308 % |
3248.34/3249.85	c |    494055 |   89968   507288  1448255 | 2147483647   491585    582 | 30.308 % |
3258.85/3260.33	c |    495110 |   89968   507288  1448255 | 2147483647   492640    583 | 30.308 % |
3273.84/3275.36	c |    496268 |   89968   507288  1448255 | 2147483647   493798    583 | 30.308 % |
3284.93/3286.49	c |    497542 |   89968   507288  1448255 | 2147483647   495072    584 | 30.308 % |
3295.63/3297.20	c |    498943 |   89968   507288  1448255 | 2147483647   496473    584 | 30.308 % |
3311.51/3313.01	c |    500483 |   89968   507288  1448255 | 2147483647   498013    584 | 30.308 % |
3330.11/3331.67	c |    502177 |   89968   507288  1448255 | 2147483647   499707    585 | 30.308 % |
3347.41/3348.97	c |    504040 |   89968   507288  1448255 | 2147483647   501570    586 | 30.308 % |
3362.70/3364.28	c |    506089 |   89968   507288  1448255 | 2147483647   503619    587 | 30.308 % |
3382.09/3383.64	c |    508342 |   89968   507288  1448255 | 2147483647   505872    587 | 30.308 % |
3406.58/3408.11	c |    510822 |   89968   507288  1448255 | 2147483647   508352    588 | 30.308 % |
3430.06/3431.65	c |    513547 |   89967   507288  1448255 | 2147483647   511076    590 | 30.309 % |
3460.64/3462.23	c |    516545 |   89967   507288  1448255 | 2147483647   514074    591 | 30.309 % |
3488.13/3489.75	c |    519843 |   89967   507288  1448255 | 2147483647   517372    593 | 30.309 % |
3511.12/3512.71	c |    523469 |   89967   507288  1448255 | 2147483647   520998    594 | 30.309 % |
3550.70/3552.31	c |    527456 |   89966   507288  1448255 | 2147483647   524984    595 | 30.310 % |
3600.68/3602.33	c |    531841 |   89952   507288  1448255 | 2147483647   529368    596 | 30.335 % |
3642.46/3644.17	c |    536664 |   89952   507288  1448255 | 2147483647   534191    597 | 30.335 % |
3643.96/3645.64	c |    536766 |   89952   507288  1448255 | 2147483647   534293    597 | 30.335 % |
3644.96/3646.65	c |    536876 |   89952   507288  1448255 | 2147483647   534403    597 | 30.335 % |
3646.46/3648.15	c |    536999 |   89952   507288  1448255 | 2147483647   534526    597 | 30.335 % |
3647.66/3649.36	c |    537132 |   89952   507288  1448255 | 2147483647   534659    597 | 30.335 % |
3648.96/3650.65	c |    537278 |   89952   507288  1448255 | 2147483647   534805    597 | 30.335 % |
3651.16/3652.85	c |    537439 |   89952   507288  1448255 | 2147483647   534966    597 | 30.335 % |
3653.67/3655.38	c |    537616 |   89952   507288  1448255 | 2147483647   535143    597 | 30.335 % |
3655.46/3657.16	c |    537809 |   89952   507288  1448255 | 2147483647   535336    597 | 30.335 % |
3657.76/3659.46	c |    538021 |   89952   507288  1448255 | 2147483647   535548    597 | 30.335 % |
3660.06/3661.72	c |    538254 |   89952   507288  1448255 | 2147483647   535781    597 | 30.335 % |
3662.85/3664.53	c |    538510 |   89952   507288  1448255 | 2147483647   536037    597 | 30.335 % |
3666.16/3667.89	c |    538792 |   89952   507288  1448255 | 2147483647   536319    597 | 30.335 % |
3667.76/3669.46	c |    539101 |   89952   507288  1448255 | 2147483647   536628    597 | 30.335 % |
3671.16/3672.87	c |    539442 |   89952   507288  1448255 | 2147483647   536969    597 | 30.335 % |
3674.85/3676.53	c |    539814 |   89952   507288  1448255 | 2147483647   537341    597 | 30.335 % |
3680.05/3681.74	c |    540227 |   89951   507288  1448255 | 2147483647   537753    597 | 30.338 % |
3684.15/3685.82	c |    540676 |   89951   507288  1448255 | 2147483647   538202    597 | 30.338 % |
3689.45/3691.16	c |    541170 |   89951   507288  1448255 | 2147483647   538696    597 | 30.338 % |
3696.14/3697.89	c |    541715 |   89951   507288  1448255 | 2147483647   539241    597 | 30.338 % |
3702.54/3704.22	c |    542311 |   89951   507288  1448255 | 2147483647   539837    597 | 30.338 % |
3709.34/3711.04	c |    542966 |   89951   507288  1448255 | 2147483647   540492    597 | 30.338 % |
3717.73/3719.46	c |    543688 |   89951   507288  1448255 | 2147483647   541214    598 | 30.338 % |
3726.13/3727.86	c |    544482 |   89951   507288  1448255 | 2147483647   542008    598 | 30.338 % |
3736.43/3738.20	c |    545355 |   89951   507288  1448255 | 2147483647   542880    598 | 30.342 % |
3744.93/3746.67	c |    546313 |   89951   507288  1448255 | 2147483647   543838    598 | 30.342 % |
3756.22/3757.93	c |    547366 |   89951   507288  1448255 | 2147483647   544891    598 | 30.342 % |
3770.32/3772.01	c |    548524 |   89951   507288  1448255 | 2147483647   546049    599 | 30.342 % |
3783.51/3785.24	c |    549798 |   89951   507288  1448255 | 2147483647   547323    600 | 30.342 % |
3799.00/3800.71	c |    551198 |   89951   507288  1448255 | 2147483647   548723    600 | 30.342 % |
3814.40/3816.14	c |    552739 |   89951   507288  1448255 | 2147483647   550264    600 | 30.342 % |
3832.99/3834.71	c |    554433 |   89951   507288  1448255 | 2147483647   551958    601 | 30.342 % |
3853.08/3854.82	c |    556298 |   89950   507288  1448255 | 2147483647   553822    602 | 30.342 % |
3875.47/3877.27	c |    558347 |   89886   506556  1446369 | 2147483647   555767    602 | 30.343 % |
3899.36/3901.19	c |    560600 |   89886   506556  1446369 | 2147483647   558020    604 | 30.343 % |
3930.65/3932.50	c |    563079 |   89885   506556  1446369 | 2147483647   560498    606 | 30.344 % |
3955.33/3957.18	c |    565804 |   89885   506556  1446369 | 2147483647   563223    607 | 30.344 % |
3985.42/3987.28	c |    568801 |   89885   506556  1446369 | 2147483647   566220    608 | 30.344 % |
4026.11/4027.91	c |    572097 |   89884   506556  1446369 | 2147483647   569515    610 | 30.345 % |
4062.70/4064.58	c |    575722 |   89884   506556  1446369 | 2147483647   573140    610 | 30.345 % |
4106.97/4108.83	c |    579711 |   89883   506556  1446369 | 2147483647   577128    611 | 30.347 % |
4156.25/4158.15	c |    584096 |   89883   506556  1446369 | 2147483647   581513    612 | 30.347 % |
4205.03/4206.92	c |    588920 |   89882   506556  1446369 | 2147483647   586336    613 | 30.348 % |
4261.11/4263.02	c |    594226 |   89881   506556  1446369 | 2147483647   591641    616 | 30.348 % |
4262.31/4264.25	c |    594327 |   89881   506556  1446369 | 2147483647   591742    616 | 30.349 % |
4263.31/4265.25	c |    594437 |   89881   506556  1446369 | 2147483647   591852    616 | 30.348 % |
4264.91/4266.85	c |    594561 |   89881   506556  1446369 | 2147483647   591976    616 | 30.348 % |
4267.10/4269.02	c |    594694 |   89881   506556  1446369 | 2147483647   592109    616 | 30.348 % |
4267.90/4269.86	c |    594840 |   89881   506556  1446369 | 2147483647   592255    616 | 30.348 % |
4269.70/4271.62	c |    595000 |   89881   506556  1446369 | 2147483647   592415    616 | 30.348 % |
4271.20/4273.14	c |    595177 |   89881   506556  1446369 | 2147483647   592592    616 | 30.348 % |
4272.31/4274.20	c |    595375 |   89880   506556  1446369 | 2147483647   592789    616 | 30.349 % |
4275.50/4277.45	c |    595588 |   89880   506556  1446369 | 2147483647   593002    616 | 30.349 % |
4278.30/4280.22	c |    595821 |   89880   506556  1446369 | 2147483647   593235    616 | 30.349 % |
4281.70/4283.68	c |    596082 |   89880   506556  1446369 | 2147483647   593496    616 | 30.349 % |
4285.50/4287.44	c |    596366 |   89880   506556  1446369 | 2147483647   593780    616 | 30.349 % |
4289.00/4290.90	c |    596675 |   89880   506556  1446369 | 2147483647   594089    616 | 30.349 % |
4292.90/4294.81	c |    597014 |   89880   506556  1446369 | 2147483647   594428    616 | 30.349 % |
4296.90/4298.89	c |    597386 |   89880   506556  1446369 | 2147483647   594800    616 | 30.349 % |
4302.69/4304.64	c |    597795 |   89880   506556  1446369 | 2147483647   595209    616 | 30.349 % |
4307.69/4309.67	c |    598244 |   89880   506556  1446369 | 2147483647   595658    616 | 30.349 % |
4313.59/4315.54	c |    598738 |   89879   506556  1446369 | 2147483647   596150    616 | 30.351 % |
4319.18/4321.13	c |    599281 |   89879   506556  1446369 | 2147483647   596693    616 | 30.351 % |
4326.88/4328.80	c |    599879 |   89879   506556  1446369 | 2147483647   597291    616 | 30.351 % |
4334.08/4336.07	c |    600534 |   89879   506556  1446369 | 2147483647   597946    616 | 30.351 % |
4342.48/4344.40	c |    601254 |   89879   506556  1446369 | 2147483647   598666    616 | 30.351 % |
4352.37/4354.36	c |    602046 |   89879   506556  1446369 | 2147483647   599457    616 | 30.352 % |
4361.16/4363.17	c |    602917 |   89879   506556  1446369 | 2147483647   600328    617 | 30.352 % |
4371.17/4373.18	c |    603884 |   89879   506556  1446369 | 2147483647   601295    617 | 30.352 % |
4385.06/4387.07	c |    604939 |   89879   506556  1446369 | 2147483647   602350    617 | 30.352 % |
4398.16/4400.17	c |    606098 |   89879   506556  1446369 | 2147483647   603509    617 | 30.352 % |
4412.14/4414.16	c |    607371 |   89878   506556  1446369 | 2147483647   604781    617 | 30.352 % |
4427.04/4429.04	c |    608771 |   89877   506556  1446369 | 2147483647   606180    618 | 30.365 % |
4443.24/4445.25	c |    610311 |   89877   506556  1446369 | 2147483647   607720    618 | 30.365 % |
4462.52/4464.54	c |    612005 |   89866   506556  1446369 | 2147483647   609413    618 | 30.375 % |
4481.11/4483.14	c |    613869 |   89866   506556  1446369 | 2147483647   611277    619 | 30.375 % |
4504.11/4506.20	c |    615919 |   89865   506556  1446369 | 2147483647   613326    619 | 30.376 % |
4534.09/4536.18	c |    618172 |   89864   506556  1446369 | 2147483647   615578    620 | 30.376 % |
4554.38/4556.41	c |    620653 |   89864   506556  1446369 | 2147483647   618059    620 | 30.376 % |
4587.07/4589.20	c |    623379 |   89864   506556  1446369 | 2147483647   620785    620 | 30.376 % |
4624.15/4626.20	c |    626377 |   89862   506556  1446369 | 2147483647   623781    621 | 30.378 % |
4663.44/4665.51	c |    629673 |   89862   506556  1446369 | 2147483647   627077    622 | 30.378 % |
4701.63/4703.78	c |    633298 |   89861   506556  1446369 | 2147483647   630701    622 | 30.379 % |
4750.80/4752.98	c |    637285 |   89861   506556  1446369 | 2147483647   634688    624 | 30.379 % |
4803.59/4805.73	c |    641671 |   89861   506556  1446369 | 2147483647   639074    624 | 30.379 % |
4852.64/4854.85	c |    646496 |   89861   506556  1446369 | 2147483647   643899    627 | 30.379 % |
4916.32/4918.52	c |    651801 |   89861   506556  1446369 | 2147483647   649203    628 | 30.379 % |
4980.49/4982.74	c |    657637 |   89861   506556  1446369 | 2147483647   655039    629 | 30.379 % |
4983.00/4985.21	c |    657741 |   89839   506309  1445729 | 2147483647   655103    629 | 30.380 % |
4984.39/4986.66	c |    657854 |   89839   506309  1445729 | 2147483647   655216    629 | 30.380 % |
4986.09/4988.32	c |    657975 |   89839   506309  1445729 | 2147483647   655337    629 | 30.380 % |
4987.39/4989.64	c |    658108 |   89839   506309  1445729 | 2147483647   655470    629 | 30.379 % |
4989.08/4991.30	c |    658255 |   89839   506309  1445729 | 2147483647   655617    629 | 30.379 % |
4990.87/4993.12	c |    658415 |   89839   506309  1445729 | 2147483647   655777    629 | 30.379 % |
4993.87/4996.15	c |    658592 |   89839   506309  1445729 | 2147483647   655954    629 | 30.379 % |
4995.57/4997.84	c |    658785 |   89839   506309  1445729 | 2147483647   656147    629 | 30.379 % |
4999.18/5001.45	c |    658997 |   89839   506309  1445729 | 2147483647   656359    629 | 30.379 % |
5002.27/5004.60	c |    659230 |   89839   506309  1445729 | 2147483647   656592    629 | 30.379 % |
5004.67/5006.90	c |    659490 |   89838   506309  1445729 | 2147483647   656851    629 | 30.380 % |
5006.27/5008.59	c |    659771 |   89837   506309  1445729 | 2147483647   657131    629 | 30.381 % |
5011.26/5013.57	c |    660083 |   89837   506309  1445729 | 2147483647   657443    629 | 30.381 % |
5014.87/5017.17	c |    660423 |   89837   506309  1445729 | 2147483647   657783    629 | 30.381 % |
5019.97/5022.23	c |    660795 |   89836   506309  1445729 | 2147483647   658154    629 | 30.382 % |
5024.57/5026.82	c |    661206 |   89836   506309  1445729 | 2147483647   658565    629 | 30.382 % |
5028.76/5031.06	c |    661655 |   89836   506309  1445729 | 2147483647   659014    629 | 30.382 % |
5034.76/5037.07	c |    662150 |   89829   506309  1445729 | 2147483647   659507    629 | 30.408 % |
5040.65/5042.90	c |    662694 |   89829   506309  1445729 | 2147483647   660051    629 | 30.408 % |
5049.76/5052.07	c |    663290 |   89829   506309  1445729 | 2147483647   660647    629 | 30.408 % |
5057.55/5059.84	c |    663946 |   89829   506309  1445729 | 2147483647   661303    629 | 30.408 % |
5066.45/5068.72	c |    664667 |   89829   506309  1445729 | 2147483647   662024    629 | 30.408 % |
5075.75/5078.03	c |    665459 |   89828   506309  1445729 | 2147483647   662815    629 | 30.409 % |
5086.33/5088.67	c |    666330 |   89828   506309  1445729 | 2147483647   663686    629 | 30.409 % |
5096.33/5098.64	c |    667289 |   89828   506309  1445729 | 2147483647   664645    629 | 30.409 % |
5110.82/5113.15	c |    668343 |   89828   506309  1445729 | 2147483647   665699    630 | 30.409 % |
5127.21/5129.56	c |    669502 |   89828   506309  1445729 | 2147483647   666858    630 | 30.409 % |
5141.70/5144.09	c |    670775 |   89828   506309  1445729 | 2147483647   668131    630 | 30.409 % |
5161.10/5163.42	c |    672175 |   89828   506309  1445729 | 2147483647   669531    631 | 30.409 % |
5173.88/5176.21	c |    673715 |   89825   506309  1445729 | 2147483647   671068    630 | 30.411 % |
5192.88/5195.22	c |    675410 |   89825   506309  1445729 | 2147483647   672763    631 | 30.411 % |
5214.97/5217.31	c |    677274 |   89825   506309  1445729 | 2147483647   674627    632 | 30.411 % |
5241.56/5243.97	c |    679323 |   89822   506309  1445729 | 2147483647   676673    632 | 30.414 % |
5272.05/5274.46	c |    681576 |   89822   506309  1445729 | 2147483647   678926    633 | 30.414 % |
5298.94/5301.34	c |    684057 |   89822   506309  1445729 | 2147483647   681407    633 | 30.414 % |
5334.03/5336.42	c |    686782 |   89822   506309  1445729 | 2147483647   684132    634 | 30.414 % |
5371.41/5373.82	c |    689779 |   89822   506309  1445729 | 2147483647   687129    634 | 30.414 % |
5420.59/5423.02	c |    693076 |   89821   506309  1445729 | 2147483647   690425    636 | 30.414 % |
5461.28/5463.73	c |    696703 |   89821   506309  1445729 | 2147483647   694052    637 | 30.414 % |
5507.45/5509.91	c |    700691 |   89821   506309  1445729 | 2147483647   698040    637 | 30.414 % |

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-1837038-1242857003/watcher-1837038-1242857003 -o /tmp/evaluation-result-1837038-1242857003/solver-1837038-1242857003 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837038-1242857003.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.08 0.02 0.01 3/65 17714
/proc/meminfo: memFree=1696568/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=0
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 276 0 0 0 0 0 0 0 19 0 1 0 313729518 5484544 235 1992294400 4194304 4889804 548682068816 18446744073709551615 251601322066 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/17714/statm: 1339 235 195 169 0 50 0
[pid=17715] ppid=17714 vsize=5356 CPUtime=0
/proc/17715/stat : 17715 (SatELiteGTI) R 17714 17714 17677 0 -1 4194368 51 25 0 0 0 0 0 0 21 0 1 0 313729518 5484544 238 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4096 65538 0 0 0 17 1 0 0
/proc/17715/statm: 1339 238 198 169 0 50 0
[pid=17717] ppid=17715 vsize=0 CPUtime=0
/proc/17717/stat : 17717 (sed) Z 17715 17714 17677 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 313729519 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 0 0 0
/proc/17717/statm: 0 0 0 0 0 0 0

[startup+0.0476971 s]
/proc/loadavg: 0.08 0.02 0.01 3/65 17714
/proc/meminfo: memFree=1696568/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=0
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 313729518 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17714/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101701 s]
/proc/loadavg: 0.08 0.02 0.01 3/65 17714
/proc/meminfo: memFree=1696568/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=0
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 313729518 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17714/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301723 s]
/proc/loadavg: 0.08 0.02 0.01 3/65 17714
/proc/meminfo: memFree=1696568/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=0
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 313729518 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17714/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701768 s]
/proc/loadavg: 0.08 0.02 0.01 3/65 17714
/proc/meminfo: memFree=1696568/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=0
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 313729518 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17714/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50185 s]
/proc/loadavg: 0.08 0.02 0.01 2/67 17719
/proc/meminfo: memFree=1586600/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=0
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 313729518 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17714/statm: 1339 237 197 169 0 50 0
[pid=17719] ppid=17714 vsize=126308 CPUtime=1.49
/proc/17719/stat : 17719 (SatELite_releas) R 17714 17714 17677 0 -1 4194304 31699 0 0 0 132 17 0 0 25 0 1 0 313729519 129339392 28931 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 0 0 0
/proc/17719/statm: 31577 28931 76 173 0 31402 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 131664

[startup+3.10103 s]
/proc/loadavg: 0.08 0.02 0.01 2/67 17719
/proc/meminfo: memFree=1572008/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=0
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 313729518 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17714/statm: 1339 237 197 169 0 50 0
[pid=17719] ppid=17714 vsize=139428 CPUtime=3.09
/proc/17719/stat : 17719 (SatELite_releas) R 17714 17714 17677 0 -1 4194304 34181 0 0 0 290 19 0 0 25 0 1 0 313729519 142774272 31413 1992294400 134512640 135223648 4294956128 18446744073709551615 134586986 0 0 4096 3 0 0 0 17 0 0 0
/proc/17719/statm: 34857 31413 76 173 0 34682 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 144784

[startup+6.30138 s]
/proc/loadavg: 0.23 0.05 0.02 2/67 17719
/proc/meminfo: memFree=1565224/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=0
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 313729518 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17714/statm: 1339 237 197 169 0 50 0
[pid=17719] ppid=17714 vsize=141580 CPUtime=6.29
/proc/17719/stat : 17719 (SatELite_releas) R 17714 17714 17677 0 -1 4194304 38232 0 0 0 607 22 0 0 25 0 1 0 313729519 144977920 32124 1992294400 134512640 135223648 4294956128 18446744073709551615 134586989 0 0 4096 3 0 0 0 17 0 0 0
/proc/17719/statm: 35395 32124 76 173 0 35220 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 146936

[startup+12.7021 s]
/proc/loadavg: 0.37 0.08 0.03 2/67 17720
/proc/meminfo: memFree=1630632/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=8.96
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 336 48904 0 0 0 0 862 34 16 0 1 0 313729518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17714/statm: 1339 239 197 169 0 50 0
[pid=17720] ppid=17714 vsize=43744 CPUtime=3.71
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 17677 0 -1 4194304 10327 0 0 0 366 5 0 0 25 0 1 0 313730415 44793856 10276 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17720/statm: 10936 10276 77 171 0 10763 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 49100

[startup+25.5015 s]
/proc/loadavg: 0.73 0.18 0.06 2/67 17720
/proc/meminfo: memFree=1629224/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=8.96
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 336 48904 0 0 0 0 862 34 16 0 1 0 313729518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17714/statm: 1339 239 197 169 0 50 0
[pid=17720] ppid=17714 vsize=45600 CPUtime=16.51
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 17677 0 -1 4194304 10791 0 0 0 1645 6 0 0 25 0 1 0 313730415 46694400 10740 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/17720/statm: 11400 10740 77 171 0 11227 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 50956

[startup+51.1013 s]
/proc/loadavg: 1.14 0.32 0.11 2/67 17720
/proc/meminfo: memFree=1624488/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=8.96
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 336 48904 0 0 0 0 862 34 16 0 1 0 313729518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17714/statm: 1339 239 197 169 0 50 0
[pid=17720] ppid=17714 vsize=51456 CPUtime=42.1
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 17677 0 -1 4194304 12245 0 0 0 4202 8 0 0 25 0 1 0 313730415 52690944 12194 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17720/statm: 12864 12194 77 171 0 12691 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 56812

[startup+102.306 s]
/proc/loadavg: 1.06 0.42 0.15 2/67 17720
/proc/meminfo: memFree=1607976/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=8.96
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 336 48904 0 0 0 0 862 34 16 0 1 0 313729518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17714/statm: 1339 239 197 169 0 50 0
[pid=17720] ppid=17714 vsize=67904 CPUtime=93.28
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 17677 0 -1 4194304 16387 0 0 0 9315 13 0 0 25 0 1 0 313730415 69533696 16336 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17720/statm: 16976 16336 77 171 0 16803 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 73260

[startup+162.302 s]
/proc/loadavg: 1.02 0.52 0.20 2/67 17720
/proc/meminfo: memFree=1586096/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=8.96
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 336 48904 0 0 0 0 862 34 16 0 1 0 313729518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17714/statm: 1339 239 197 169 0 50 0
[pid=17720] ppid=17714 vsize=89936 CPUtime=153.25
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 17677 0 -1 4194304 21888 0 0 0 15305 20 0 0 25 0 1 0 313730415 92094464 21837 1992294400 134512640 135215339 4294956240 18446744073709551615 134532650 0 0 4096 3 0 0 0 17 0 0 0
/proc/17720/statm: 22484 21837 77 171 0 22311 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 95292

[startup+222.301 s]
/proc/loadavg: 1.01 0.61 0.25 2/67 17720
/proc/meminfo: memFree=1561072/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=8.96
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 336 48904 0 0 0 0 862 34 16 0 1 0 313729518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17714/statm: 1339 239 197 169 0 50 0
[pid=17720] ppid=17714 vsize=114836 CPUtime=213.22
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 17677 0 -1 4194304 28077 0 0 0 21295 27 0 0 25 0 1 0 313730415 117592064 28026 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/17720/statm: 28709 28026 77 171 0 28536 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 120192

[startup+282.302 s]
/proc/loadavg: 1.00 0.68 0.29 2/67 17720
/proc/meminfo: memFree=1536368/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=8.96
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 336 48904 0 0 0 0 862 34 16 0 1 0 313729518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17714/statm: 1339 239 197 169 0 50 0
[pid=17720] ppid=17714 vsize=139660 CPUtime=273.2
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 17677 0 -1 4194304 34315 0 0 0 27287 33 0 0 25 0 1 0 313730415 143011840 34264 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17720/statm: 34915 34264 77 171 0 34742 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 145016

[startup+342.301 s]
/proc/loadavg: 1.00 0.73 0.33 2/67 17720
/proc/meminfo: memFree=1511536/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=8.96
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 336 48904 0 0 0 0 862 34 16 0 1 0 313729518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17714/statm: 1339 239 197 169 0 50 0
[pid=17720] ppid=17714 vsize=164344 CPUtime=333.18
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 17677 0 -1 4194304 40445 0 0 0 33278 40 0 0 25 0 1 0 313730415 168288256 40394 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17720/statm: 41086 40394 77 171 0 40913 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 169700

[startup+402.302 s]
/proc/loadavg: 1.00 0.78 0.37 2/67 17720
/proc/meminfo: memFree=1486448/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=8.96
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 336 48904 0 0 0 0 862 34 16 0 1 0 313729518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17714/statm: 1339 239 197 169 0 50 0
[pid=17720] ppid=17714 vsize=189392 CPUtime=393.15

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

/proc/17720/statm: 416725 415897 77 171 0 416552 0
Current children cumulated CPU time (s) 4840.15
Current children cumulated vsize (KiB) 1672256

[startup+4902.3 s]
/proc/loadavg: 1.02 0.99 0.91 2/67 17728
/proc/meminfo: memFree=16240/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=8.96
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 336 48904 0 0 0 0 862 34 16 0 1 0 313729518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17714/statm: 1339 239 197 169 0 50 0
[pid=17720] ppid=17714 vsize=1684168 CPUtime=4891.16
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 17677 0 -1 4194304 420274 0 0 0 488743 373 0 0 25 0 1 0 313730415 1724588032 420223 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 0 0 0
/proc/17720/statm: 421042 420223 77 171 0 420869 0
Current children cumulated CPU time (s) 4900.12
Current children cumulated vsize (KiB) 1689524

[startup+4962.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 17728
/proc/meminfo: memFree=16048/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=8.96
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 336 48904 0 0 0 0 862 34 16 0 1 0 313729518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17714/statm: 1339 239 197 169 0 50 0
[pid=17720] ppid=17714 vsize=1698164 CPUtime=4951.13
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 17677 0 -1 4194304 423782 0 0 0 494736 377 0 0 25 0 1 0 313730415 1738919936 423731 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/17720/statm: 424541 423731 77 171 0 424368 0
Current children cumulated CPU time (s) 4960.09
Current children cumulated vsize (KiB) 1703520

[startup+5022.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 17728
/proc/meminfo: memFree=15792/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=8.96
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 336 48904 0 0 0 0 862 34 16 0 1 0 313729518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17714/statm: 1339 239 197 169 0 50 0
[pid=17720] ppid=17714 vsize=1710780 CPUtime=5011.11
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 17677 0 -1 4194304 426924 0 0 0 500730 381 0 0 25 0 1 0 313730415 1751838720 426873 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/17720/statm: 427695 426873 77 171 0 427522 0
Current children cumulated CPU time (s) 5020.07
Current children cumulated vsize (KiB) 1716136

[startup+5082.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 17728
/proc/meminfo: memFree=15600/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=8.96
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 336 48904 0 0 0 0 862 34 16 0 1 0 313729518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17714/statm: 1339 239 197 169 0 50 0
[pid=17720] ppid=17714 vsize=1724716 CPUtime=5071.07
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 17677 0 -1 4194304 430391 0 0 0 506724 383 0 0 25 0 1 0 313730415 1766109184 430340 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17720/statm: 431179 430340 77 171 0 431006 0
Current children cumulated CPU time (s) 5080.03
Current children cumulated vsize (KiB) 1730072

[startup+5142.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 17728
/proc/meminfo: memFree=15024/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=8.96
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 336 48904 0 0 0 0 862 34 16 0 1 0 313729518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17714/statm: 1339 239 197 169 0 50 0
[pid=17720] ppid=17714 vsize=1740724 CPUtime=5131.04
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 17677 0 -1 4194304 434400 0 0 0 512718 386 0 0 25 0 1 0 313730415 1782501376 434349 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17720/statm: 435181 434349 77 171 0 435008 0
Current children cumulated CPU time (s) 5140
Current children cumulated vsize (KiB) 1746080

[startup+5202.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 17728
/proc/meminfo: memFree=16048/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=8.96
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 336 48904 0 0 0 0 862 34 16 0 1 0 313729518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17714/statm: 1339 239 197 169 0 50 0
[pid=17720] ppid=17714 vsize=1756292 CPUtime=5191.02
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 17677 0 -1 4194304 438308 0 0 0 518713 389 0 0 25 0 1 0 313730415 1798443008 438257 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17720/statm: 439073 438257 77 171 0 438900 0
Current children cumulated CPU time (s) 5199.98
Current children cumulated vsize (KiB) 1761648

[startup+5262.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 17728
/proc/meminfo: memFree=16176/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=8.96
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 336 48904 0 0 0 0 862 34 16 0 1 0 313729518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17714/statm: 1339 239 197 169 0 50 0
[pid=17720] ppid=17714 vsize=1772988 CPUtime=5250.99
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 17677 0 -1 4194304 442484 0 0 0 524707 392 0 0 25 0 1 0 313730415 1815539712 442433 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/17720/statm: 443247 442433 77 171 0 443074 0
Current children cumulated CPU time (s) 5259.95
Current children cumulated vsize (KiB) 1778344

[startup+5322.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 17728
/proc/meminfo: memFree=15408/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=8.96
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 336 48904 0 0 0 0 862 34 16 0 1 0 313729518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17714/statm: 1339 239 197 169 0 50 0
[pid=17720] ppid=17714 vsize=1787884 CPUtime=5310.97
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 17677 0 -1 4194304 446197 0 0 0 530701 396 0 0 25 0 1 0 313730415 1830793216 446146 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17720/statm: 446971 446146 77 171 0 446798 0
Current children cumulated CPU time (s) 5319.93
Current children cumulated vsize (KiB) 1793240

[startup+5382.31 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 17728
/proc/meminfo: memFree=15408/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=8.96
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 336 48904 0 0 0 0 862 34 16 0 1 0 313729518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17714/statm: 1339 239 197 169 0 50 0
[pid=17720] ppid=17714 vsize=1802072 CPUtime=5370.95
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 17677 0 -1 4194304 449749 0 0 0 536696 399 0 0 25 0 1 0 313730415 1845321728 449698 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 0 0 0
/proc/17720/statm: 450518 449698 77 171 0 450345 0
Current children cumulated CPU time (s) 5379.91
Current children cumulated vsize (KiB) 1807428

[startup+5442.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 17728
/proc/meminfo: memFree=16048/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=8.96
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 336 48904 0 0 0 0 862 34 16 0 1 0 313729518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17714/statm: 1339 239 197 169 0 50 0
[pid=17720] ppid=17714 vsize=1816840 CPUtime=5430.92
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 17677 0 -1 4194304 453448 0 0 0 542689 403 0 0 25 0 1 0 313730415 1860444160 453397 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17720/statm: 454210 453397 77 171 0 454037 0
Current children cumulated CPU time (s) 5439.88
Current children cumulated vsize (KiB) 1822196

[startup+5502.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 17728
/proc/meminfo: memFree=15792/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=8.96
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 336 48904 0 0 0 0 862 34 16 0 1 0 313729518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17714/statm: 1339 239 197 169 0 50 0
[pid=17720] ppid=17714 vsize=1833848 CPUtime=5490.89
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 17677 0 -1 4194304 457701 0 0 0 548682 407 0 0 25 0 1 0 313730415 1877860352 457650 1992294400 134512640 135215339 4294956240 18446744073709551615 134529148 0 0 4096 3 0 0 0 17 0 0 0
/proc/17720/statm: 458462 457650 77 171 0 458289 0
Current children cumulated CPU time (s) 5499.85
Current children cumulated vsize (KiB) 1839204



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+5515.8 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 17728
/proc/meminfo: memFree=14832/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=8.96
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 336 48904 0 0 0 0 862 34 16 0 1 0 313729518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17714/statm: 1339 239 197 169 0 50 0
[pid=17720] ppid=17714 vsize=1837848 CPUtime=5504.4
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 17677 0 -1 4194304 458684 0 0 0 550032 408 0 0 25 0 1 0 313730415 1881956352 458633 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/17720/statm: 459462 458633 77 171 0 459289 0
Current children cumulated CPU time (s) 5513.36
Current children cumulated vsize (KiB) 1843204

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17714 and gives
#  childrusage.ru_utime.tv_sec=8
#  childrusage.ru_utime.tv_usec=621689
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=343947
# CPU time returned by wait4() is 8.96564
# while last known CPU time is 5513.36
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 5515.81
CPU time (s): 5513.36
CPU user time (s): 5508.94
CPU system time (s): 4.42
CPU usage (%): 99.9555
Max. virtual memory (cumulated for all children) (KiB): 1843204

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

runsolver used 5.43117 second user time and 14.6838 second system time

The end

Launcher Data 

Begin job on node91 at 2009-05-21 00:03:25
IDJOB=1837038
IDBENCH=20348
IDSOLVER=674
FILE ID=node91/1837038-1242857003
PBS_JOBID= 9328428
Free space on /tmp= 66272 MiB

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

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

MD5SUM BENCH= cd6cb5ea01688ce5beec6e625055ac90
RANDOM SEED=1240015634

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1697112 kB
Buffers:         34320 kB
Cached:         282728 kB
SwapCached:      10576 kB
Active:         215812 kB
Inactive:       113044 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1697112 kB
SwapTotal:     4192956 kB
SwapFree:      4175964 kB
Dirty:           23368 kB
Writeback:           0 kB
Mapped:          17028 kB
Slab:            15836 kB
Committed_AS:   946012 kB
PageTables:       1368 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= 66248 MiB
End job on node91 at 2009-05-21 01:35:23