Trace number 1821580

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 1200 1199.95

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UR-20-5p1.cnf
MD5SUMc530016627d60451f148c386bba0e9bf
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables224962
Number of clauses1204358
Sum of the clauses size2908547
Maximum clause length10
Minimum clause length1
Number of clauses of size 111403
Number of clauses of size 2851881
Number of clauses of size 3284354
Number of clauses of size 46300
Number of clauses of size 525200
Number of clauses of size over 525220

Solver Data 

0.00/0.00	c Parsing...
1.30/1.36	c ==============================================================================
1.30/1.36	c |           |     ORIGINAL     |              LEARNT              |          |
1.30/1.36	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
1.30/1.36	c ==============================================================================
1.30/1.36	c |         0 | 1192205  2895644 |  357661       0        0     nan |  0.000 % |
7.70/7.73	c |         0 |  835606  2338833 |      --       0       --      -- |     --   | -102935/18730
7.70/7.73	c ==============================================================================
7.70/7.73	c Result  :   #vars: 121213   #clauses: 835606   #literals: 2338833
7.70/7.73	c CPU time:   7.44 s
7.70/7.73	c ==============================================================================
8.50/8.60	c This is MiniSat 2.0 beta
8.50/8.60	c WARNING: for repeatability, setting FPU to use double precision
8.50/8.60	c ============================[ Problem Statistics ]=============================
8.50/8.60	c |                                                                             |
8.50/8.60	c |  Number of variables:  121213                                               |
8.50/8.60	c |  Number of clauses:    835606                                               |
9.10/9.19	c |  Parsing time:         0.51         s                                       |
9.20/9.23	c ============================[ Search Statistics ]==============================
9.20/9.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.20/9.23	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
9.20/9.23	c ===============================================================================
9.20/9.23	c |         0 |  121213   835606  2338833 |   278535        0    nan |  0.000 % |
9.40/9.50	c |       102 |  121183   835606  2338833 |   278535       98     94 |  0.337 % |
9.60/9.61	c |       202 |  121075   835606  2338833 |   278535      196     56 |  1.294 % |
9.80/9.84	c |       302 |  120985   835606  2338833 |   278535      288     41 |  3.299 % |
10.10/10.16	c |       413 |  120882   835606  2338833 |   278535      395     55 |  4.910 % |
10.20/10.30	c |       517 |  120827   835606  2338833 |   278535      497     87 |  6.380 % |
10.40/10.42	c |       627 |  120827   835606  2338833 |   278535      607     82 |  6.380 % |
10.50/10.60	c |       749 |  120696   835606  2338833 |   278535      727     77 |  9.314 % |
10.80/10.82	c |       850 |  109717   753605  2126987 |   278535      800     87 | 10.453 % |
10.80/10.87	c |       960 |  109717   753605  2126987 |   278535      910     80 | 10.453 % |
11.00/11.02	c |      1081 |  109717   753605  2126987 |   278535     1031     83 | 10.453 % |
11.20/11.25	c |      1215 |  109373   753605  2126987 |   278535     1164     81 | 11.335 % |
11.29/11.36	c |      1316 |  109373   753605  2126987 |   278535     1265     84 | 11.335 % |
11.39/11.41	c |      1426 |  109373   753605  2126987 |   278535     1374     89 | 11.346 % |
11.49/11.59	c |      1548 |  109372   753605  2126987 |   278535     1496     88 | 11.346 % |
11.79/11.84	c |      1684 |  109357   753605  2126987 |   278535     1630     88 | 11.380 % |
11.99/12.01	c |      1834 |  109353   753605  2126987 |   278535     1777     86 | 11.402 % |
12.09/12.14	c |      1934 |  109353   753605  2126987 |   278535     1877     86 | 11.402 % |
12.19/12.29	c |      2045 |  107391   734164  2075849 |   278535     1978     85 | 11.412 % |
12.29/12.40	c |      2166 |  107391   734164  2075849 |   278535     2099     83 | 11.412 % |
12.59/12.69	c |      2299 |  107385   734164  2075849 |   278535     2231     81 | 11.422 % |
12.79/12.87	c |      2445 |  107366   734164  2075849 |   278535     2375     79 | 11.457 % |
12.99/13.04	c |      2607 |  107074   734164  2075849 |   278535     2536     77 | 13.018 % |
13.09/13.13	c |      2710 |  107074   734164  2075849 |   278535     2638     77 | 13.027 % |
13.19/13.24	c |      2820 |  107072   734164  2075849 |   278535     2748     77 | 13.027 % |
13.29/13.32	c |      2941 |  107058   734164  2075849 |   278535     2869     76 | 13.027 % |
13.39/13.46	c |      3074 |  107007   734164  2075849 |   278535     3001     73 | 13.170 % |
13.59/13.62	c |      3222 |  105243   717993  2033497 |   278535     3139     72 | 13.254 % |
13.69/13.77	c |      3382 |  105176   717993  2033497 |   278535     3298     71 | 13.548 % |
13.89/13.97	c |      3559 |  105175   717993  2033497 |   278535     3474     72 | 13.549 % |
13.99/14.05	c |      3660 |  105175   717993  2033497 |   278535     3575     72 | 13.549 % |
14.09/14.16	c |      3770 |  105175   717993  2033497 |   278535     3685     73 | 13.549 % |
14.19/14.28	c |      3891 |  105175   717993  2033497 |   278535     3806     73 | 13.549 % |
14.29/14.39	c |      4026 |  105175   717993  2033497 |   278535     3941     73 | 13.549 % |
14.49/14.52	c |      4172 |  105175   717993  2033497 |   278535     4087     75 | 13.549 % |
14.79/14.86	c |      4332 |  105079   717993  2033497 |   278535     4247     75 | 13.549 % |
15.09/15.16	c |      4509 |  104721   714667  2025024 |   278535     4417     74 | 15.252 % |
15.79/15.84	c |      4702 |  104703   714667  2025024 |   278535     4607     73 | 16.672 % |
15.79/15.88	c |      4802 |  104685   714667  2025024 |   278535     4706     72 | 16.745 % |
15.99/16.07	c |      4912 |  104683   714667  2025024 |   278535     4815     72 | 16.754 % |
16.19/16.26	c |      5033 |  104683   714667  2025024 |   278535     4936     72 | 16.754 % |
16.49/16.51	c |      5168 |  100901   686975  1952312 |   278535     5061     71 | 16.757 % |
16.69/16.75	c |      5314 |  100894   686975  1952312 |   278535     5206     71 | 16.767 % |
16.99/17.03	c |      5480 |  100889   686975  1952312 |   278535     5372     71 | 16.767 % |
17.09/17.12	c |      5656 |  100889   686975  1952312 |   278535     5548     72 | 16.767 % |
17.29/17.36	c |      5849 |  100889   686975  1952312 |   278535     5741     72 | 16.767 % |
17.49/17.57	c |      6063 |  100889   686975  1952312 |   278535     5955     72 | 16.767 % |
17.69/17.77	c |      6163 |  100889   686975  1952312 |   278535     6055     72 | 16.767 % |
17.89/17.95	c |      6273 |  100889   686915  1952192 |   278535     6165     72 | 16.767 % |
18.09/18.13	c |      6395 |  100861   686915  1952192 |   278535     6286     71 | 16.803 % |
18.29/18.31	c |      6530 |  100860   686915  1952192 |   278535     6420     71 | 16.817 % |
18.39/18.45	c |      6676 |  100859   686915  1952192 |   278535     6566     70 | 16.817 % |
18.69/18.71	c |      6837 |  100855   686915  1952192 |   278535     6727     71 | 16.817 % |
18.79/18.89	c |      7013 |  100855   686915  1952192 |   278535     6903     72 | 16.817 % |
18.99/19.05	c |      7207 |  100855   686915  1952192 |   278535     7097     74 | 16.817 % |
19.29/19.34	c |      7419 |  100855   686915  1952192 |   278535     7309     74 | 16.817 % |
19.69/19.71	c |      7652 |  100618   686608  1951450 |   278535     7522     73 | 17.858 % |
19.69/19.80	c |      7752 |  100618   686608  1951450 |   278535     7622     73 | 17.858 % |
19.80/19.89	c |      7862 |  100618   686608  1951450 |   278535     7732     73 | 17.858 % |
19.99/20.02	c |      7987 |  100618   686608  1951450 |   278535     7857     74 | 17.858 % |
20.09/20.15	c |      8120 |  100618   686608  1951450 |   278535     7990     74 | 17.858 % |
20.19/20.26	c |      8266 |  100618   686608  1951450 |   278535     8136     74 | 17.858 % |
20.39/20.44	c |      8427 |  100616   686608  1951450 |   278535     8296     74 | 19.075 % |
20.59/20.61	c |      8603 |  100616   686608  1951450 |   278535     8472     74 | 19.075 % |
20.90/20.99	c |      8796 |  100300   686608  1951450 |   278535     8660     73 | 19.706 % |
21.39/21.45	c |      9008 |   96084   651718  1861125 |   278535     8830     73 | 20.731 % |
21.79/21.87	c |      9243 |   96082   651718  1861125 |   278535     9064     72 | 20.741 % |
22.09/22.18	c |      9499 |   96031   651718  1861125 |   278535     9318     72 | 21.146 % |
22.19/22.26	c |      9599 |   96031   651718  1861125 |   278535     9418     73 | 21.146 % |
22.29/22.33	c |      9710 |   96031   651718  1861125 |   278535     9529     72 | 21.146 % |
22.59/22.64	c |      9836 |   96024   651718  1861125 |   278535     9654     72 | 21.152 % |
22.89/22.91	c |      9969 |   96023   651718  1861125 |   278535     9786     73 | 21.154 % |
22.99/23.11	c |     10115 |   95572   649703  1856839 | 2147483647     9914     73 | 21.154 % |
23.19/23.29	c |     10276 |   95572   649703  1856839 | 2147483647    10075     73 | 21.154 % |
23.69/23.71	c |     10452 |   95427   649703  1856839 | 2147483647    10249     73 | 21.629 % |
23.79/23.83	c |     10646 |   95427   649703  1856839 | 2147483647    10443     74 | 21.629 % |
24.09/24.15	c |     10858 |   95397   649703  1856839 | 2147483647    10641     73 | 22.022 % |
24.59/24.61	c |     11091 |   95396   649703  1856839 | 2147483647    10873     73 | 22.033 % |
25.39/25.43	c |     11347 |   94485   642241  1837787 | 2147483647    11044     74 | 22.140 % |
25.59/25.66	c |     11631 |   94481   642241  1837787 | 2147483647    11328     74 | 22.140 % |
25.69/25.72	c |     11731 |   94481   642241  1837787 | 2147483647    11428     74 | 22.140 % |
25.89/25.91	c |     11841 |   94481   642241  1837787 | 2147483647    11538     73 | 22.140 % |
25.99/26.10	c |     11962 |   94372   642241  1837787 | 2147483647    11656     73 | 22.291 % |
26.19/26.23	c |     12101 |   94371   642241  1837787 | 2147483647    11794     73 | 22.296 % |
26.49/26.51	c |     12248 |   92550   627928  1801056 | 2147483647    11925     72 | 23.647 % |
26.69/26.76	c |     12410 |   92550   627928  1801056 | 2147483647    12087     72 | 23.647 % |
26.89/26.97	c |     12586 |   92544   627928  1801056 | 2147483647    12262     72 | 23.714 % |
27.39/27.43	c |     12779 |   92521   627928  1801056 | 2147483647    12454     72 | 23.714 % |
27.69/27.71	c |     12991 |   92521   627928  1801056 | 2147483647    12666     73 | 23.714 % |
28.09/28.13	c |     13224 |   92521   627928  1801056 | 2147483647    12899     72 | 23.714 % |
28.49/28.61	c |     13480 |   92519   627928  1801056 | 2147483647    13154     72 | 23.724 % |
28.89/28.96	c |     13762 |   92437   627412  1799838 | 2147483647    13434     73 | 23.784 % |
29.19/29.27	c |     14072 |   92437   627412  1799838 | 2147483647    13744     72 | 23.784 % |
29.39/29.41	c |     14172 |   92437   627412  1799838 | 2147483647    13844     72 | 23.784 % |
29.49/29.52	c |     14284 |   92437   627412  1799838 | 2147483647    13956     72 | 23.784 % |
29.59/29.63	c |     14405 |   92436   627412  1799838 | 2147483647    14076     72 | 23.785 % |
29.89/29.91	c |     14541 |   92436   627412  1799838 | 2147483647    14212     72 | 23.785 % |
29.99/30.04	c |     14687 |   92435   627412  1799838 | 2147483647    14356     72 | 23.957 % |
30.09/30.20	c |     14849 |   92421   627412  1799838 | 2147483647    14517     72 | 23.968 % |
30.29/30.38	c |     15031 |   92421   627412  1799838 | 2147483647    14699     72 | 23.968 % |
30.80/30.83	c |     15224 |   92144   625255  1794237 | 2147483647    14880     72 | 23.982 % |
31.29/31.33	c |     15436 |   92130   625255  1794237 | 2147483647    15091     72 | 24.077 % |
31.69/31.78	c |     15671 |   92102   625255  1794237 | 2147483647    15324     72 | 24.164 % |
32.09/32.16	c |     15928 |   92102   625255  1794237 | 2147483647    15581     72 | 24.164 % |
32.49/32.57	c |     16209 |   92017   625255  1794237 | 2147483647    15860     72 | 24.440 % |
33.00/33.10	c |     16518 |   91370   619761  1779940 | 2147483647    16144     73 | 24.620 % |
33.59/33.66	c |     16858 |   91351   619761  1779940 | 2147483647    16480     72 | 24.728 % |
33.69/33.80	c |     16961 |   91348   619761  1779940 | 2147483647    16582     72 | 24.739 % |
33.99/34.02	c |     17071 |   91324   619761  1779940 | 2147483647    16690     72 | 24.792 % |
34.19/34.22	c |     17192 |   91315   619761  1779940 | 2147483647    16807     72 | 24.827 % |
34.39/34.44	c |     17326 |   91314   619761  1779940 | 2147483647    16941     72 | 24.827 % |
34.49/34.56	c |     17473 |   91313   619761  1779940 | 2147483647    17088     72 | 24.827 % |
34.69/34.75	c |     17633 |   91313   619761  1779940 | 2147483647    17248     72 | 24.827 % |
34.79/34.87	c |     17809 |   91313   619761  1779940 | 2147483647    17424     71 | 24.827 % |
35.09/35.14	c |     18002 |   91311   619761  1779940 | 2147483647    17616     71 | 24.829 % |
35.39/35.41	c |     18214 |   91117   618256  1776335 | 2147483647    17812     71 | 24.829 % |
36.09/36.11	c |     18448 |   91116   618256  1776335 | 2147483647    18045     72 | 24.831 % |
36.30/36.37	c |     18704 |   91115   618256  1776335 | 2147483647    18300     72 | 24.841 % |
36.89/36.93	c |     18986 |   91114   618256  1776335 | 2147483647    18581     72 | 24.851 % |
37.40/37.49	c |     19298 |   91069   618256  1776335 | 2147483647    18891     72 | 25.020 % |
37.89/37.99	c |     19637 |   90885   616569  1771884 | 2147483647    19227     72 | 25.020 % |
38.50/38.58	c |     20009 |   90885   616569  1771884 | 2147483647    19599     72 | 25.020 % |
38.69/38.74	c |     20109 |   90885   616569  1771884 | 2147483647    19699     72 | 25.020 % |
38.89/38.92	c |     20219 |   90885   616569  1771884 | 2147483647    19809     72 | 25.020 % |
38.99/39.01	c |     20348 |   90885   616569  1771884 | 2147483647    19938     72 | 25.020 % |
39.09/39.20	c |     20481 |   90885   616569  1771884 | 2147483647    20071     72 | 25.020 % |
39.29/39.32	c |     20632 |   90884   616569  1771884 | 2147483647    20221     72 | 25.021 % |
39.69/39.71	c |     20792 |   90884   616569  1771884 | 2147483647    20381     72 | 25.021 % |
39.99/40.09	c |     20968 |   90884   616569  1771884 | 2147483647    20557     73 | 25.021 % |
40.49/40.56	c |     21161 |   90882   616562  1771870 | 2147483647    20748     73 | 25.027 % |
40.79/40.86	c |     21374 |   90882   616562  1771870 | 2147483647    20961     73 | 25.027 % |
41.09/41.11	c |     21607 |   90882   616562  1771870 | 2147483647    21194     74 | 25.027 % |
41.39/41.48	c |     21863 |   90882   616562  1771870 | 2147483647    21449     74 | 25.029 % |
41.99/42.01	c |     22147 |   90882   616562  1771870 | 2147483647    21733     75 | 25.029 % |
42.90/42.98	c |     22456 |   90877   616562  1771870 | 2147483647    22040     75 | 25.061 % |
43.49/43.55	c |     22795 |   90836   616180  1770905 | 2147483647    22373     76 | 25.061 % |
44.09/44.18	c |     23169 |   90836   616180  1770905 | 2147483647    22747     76 | 25.061 % |
44.59/44.63	c |     23580 |   90836   616180  1770905 | 2147483647    23158     76 | 25.061 % |
44.79/44.85	c |     23681 |   90792   616180  1770905 | 2147483647    23258     76 | 25.685 % |
44.89/44.98	c |     23793 |   90755   616180  1770905 | 2147483647    23369     76 | 25.719 % |
45.19/45.24	c |     23916 |   90755   616180  1770905 | 2147483647    23492     76 | 25.719 % |
45.49/45.54	c |     24049 |   90754   616180  1770905 | 2147483647    23624     76 | 26.161 % |
45.69/45.77	c |     24195 |   90754   616180  1770905 | 2147483647    23770     77 | 26.161 % |
45.89/45.93	c |     24355 |   90754   616180  1770905 | 2147483647    23930     77 | 26.161 % |
46.29/46.33	c |     24532 |   89422   605158  1741343 | 2147483647    24103     76 | 26.227 % |
46.59/46.64	c |     24725 |   89422   605158  1741343 | 2147483647    24296     77 | 26.227 % |
46.89/46.99	c |     24937 |   89422   605158  1741343 | 2147483647    24508     76 | 26.227 % |
47.39/47.45	c |     25171 |   89416   605158  1741343 | 2147483647    24739     77 | 26.269 % |
47.69/47.74	c |     25427 |   89347   605158  1741343 | 2147483647    24994     76 | 26.776 % |
48.69/48.79	c |     25708 |   89170   605158  1741343 | 2147483647    25275     77 | 26.776 % |
49.50/49.54	c |     26017 |   89089   605158  1741343 | 2147483647    25582     77 | 26.900 % |
50.09/50.12	c |     26356 |   88606   599623  1727091 | 2147483647    25858     79 | 26.901 % |
50.60/50.65	c |     26728 |   88550   599623  1727091 | 2147483647    26228     78 | 26.983 % |
51.29/51.39	c |     27137 |   88549   599623  1727091 | 2147483647    26636     78 | 26.984 % |
52.69/52.81	c |     27586 |   88549   599623  1727091 | 2147483647    27085     80 | 26.984 % |
52.99/53.05	c |     27686 |   88502   599181  1726099 | 2147483647    27181     80 | 27.001 % |
53.19/53.29	c |     27796 |   88499   599181  1726099 | 2147483647    27291     80 | 27.001 % |
53.39/53.43	c |     27917 |   88499   599181  1726099 | 2147483647    27412     80 | 27.001 % |
53.90/53.94	c |     28050 |   88498   599181  1726099 | 2147483647    27544     80 | 27.002 % |
53.99/54.08	c |     28200 |   88498   599181  1726099 | 2147483647    27694     80 | 27.002 % |
54.19/54.22	c |     28361 |   88498   599181  1726099 | 2147483647    27855     79 | 27.002 % |
54.39/54.41	c |     28542 |   88498   599181  1726099 | 2147483647    28036     80 | 27.002 % |
54.69/54.76	c |     28735 |   88497   599181  1726099 | 2147483647    28228     79 | 27.237 % |
55.09/55.15	c |     28947 |   88494   599181  1726099 | 2147483647    28439     80 | 27.273 % |
55.69/55.79	c |     29180 |   88470   599181  1726099 | 2147483647    28671     80 | 27.339 % |
55.99/56.09	c |     29436 |   88470   599181  1726099 | 2147483647    28927     80 | 27.339 % |
56.99/57.06	c |     29722 |   88073   595790  1717003 | 2147483647    29170     80 | 27.349 % |
57.69/57.79	c |     30032 |   88066   595790  1717003 | 2147483647    29476     80 | 27.370 % |
57.99/58.04	c |     30372 |   88066   595790  1717003 | 2147483647    29816     79 | 27.370 % |
58.59/58.68	c |     30744 |   88066   595790  1717003 | 2147483647    30188     80 | 27.370 % |
59.49/59.52	c |     31154 |   88066   595790  1717003 | 2147483647    30598     80 | 27.370 % |
60.79/60.83	c |     31604 |   88037   595493  1716198 | 2147483647    31043     81 | 27.370 % |
61.79/61.84	c |     32097 |   88036   595493  1716198 | 2147483647    31535     81 | 27.371 % |
62.09/62.11	c |     32203 |   88036   595493  1716198 | 2147483647    31641     81 | 27.371 % |
62.39/62.41	c |     32313 |   88036   595493  1716198 | 2147483647    31751     82 | 27.371 % |
62.79/62.85	c |     32435 |   88036   595493  1716198 | 2147483647    31873     82 | 27.371 % |
62.99/63.09	c |     32568 |   88036   595493  1716198 | 2147483647    32006     82 | 27.371 % |
63.89/63.91	c |     32714 |   87977   595281  1715744 | 2147483647    32123     82 | 27.420 % |
64.29/64.40	c |     32875 |   87977   595281  1715744 | 2147483647    32284     83 | 27.420 % |
64.69/64.74	c |     33053 |   87977   595281  1715744 | 2147483647    32462     82 | 27.420 % |
64.90/64.97	c |     33250 |   87977   595281  1715744 | 2147483647    32659     82 | 27.420 % |
65.59/65.65	c |     33465 |   87977   595281  1715744 | 2147483647    32874     83 | 27.420 % |
66.30/66.40	c |     33700 |   87977   595281  1715744 | 2147483647    33109     84 | 27.420 % |
66.90/66.93	c |     33956 |   87977   595281  1715744 | 2147483647    33365     84 | 27.420 % |
67.60/67.63	c |     34238 |   87977   595281  1715744 | 2147483647    33647     84 | 27.420 % |
68.50/68.54	c |     34547 |   87977   595281  1715744 | 2147483647    33956     85 | 27.420 % |
69.50/69.54	c |     34889 |   87977   595281  1715744 | 2147483647    34298     86 | 27.420 % |
70.40/70.47	c |     35266 |   87937   595150  1715466 | 2147483647    34672     86 | 27.453 % |
71.20/71.28	c |     35676 |   87937   595150  1715466 | 2147483647    35082     86 | 27.453 % |
72.40/72.46	c |     36126 |   87934   595150  1715466 | 2147483647    35530     87 | 27.467 % |
73.70/73.75	c |     36619 |   87878   595150  1715466 | 2147483647    36021     88 | 27.557 % |
74.30/74.40	c |     37163 |   87806   594361  1713775 | 2147483647    36538     88 | 27.567 % |
74.50/74.51	c |     37263 |   87806   594361  1713775 | 2147483647    36638     88 | 27.567 % |
74.60/74.66	c |     37373 |   87806   594361  1713775 | 2147483647    36748     88 | 27.567 % |
74.90/75.01	c |     37494 |   87806   594361  1713775 | 2147483647    36869     89 | 27.567 % |
75.30/75.35	c |     37627 |   87806   594361  1713775 | 2147483647    37001     89 | 27.574 % |
75.50/75.60	c |     37777 |   87806   594361  1713775 | 2147483647    37149     89 | 27.590 % |
75.90/75.93	c |     37937 |   87801   594361  1713775 | 2147483647    37309     89 | 27.590 % |
76.40/76.46	c |     38113 |   87801   594361  1713775 | 2147483647    37485     90 | 27.590 % |
76.70/76.78	c |     38307 |   87799   594361  1713775 | 2147483647    37678     90 | 27.600 % |
77.30/77.38	c |     38521 |   87754   594361  1713775 | 2147483647    37890     90 | 27.655 % |
77.80/77.83	c |     38756 |   87754   594361  1713775 | 2147483647    38124     90 | 27.655 % |
78.40/78.43	c |     39013 |   87753   594361  1713775 | 2147483647    38381     90 | 27.655 % |
79.00/79.05	c |     39296 |   87689   593452  1711460 | 2147483647    38639     90 | 27.666 % |
80.00/80.08	c |     39605 |   87686   593452  1711460 | 2147483647    38947     91 | 27.689 % |
80.90/80.99	c |     39949 |   87684   593452  1711460 | 2147483647    39290     92 | 27.756 % |
81.60/81.66	c |     40326 |   87684   593452  1711460 | 2147483647    39667     92 | 27.756 % |
82.70/82.76	c |     40737 |   87675   593452  1711460 | 2147483647    40076     92 | 27.767 % |
84.00/84.06	c |     41187 |   87673   593452  1711460 | 2147483647    40525     94 | 27.775 % |
85.40/85.43	c |     41680 |   87540   592633  1709555 | 2147483647    40991     96 | 27.787 % |
87.00/87.03	c |     42222 |   87539   592633  1709555 | 2147483647    41532     97 | 27.787 % |
88.40/88.46	c |     42818 |   87524   592633  1709555 | 2147483647    42126     98 | 27.819 % |
88.60/88.68	c |     42918 |   87518   592633  1709555 | 2147483647    42225     98 | 28.004 % |
88.90/88.99	c |     43028 |   87507   592633  1709555 | 2147483647    42332     98 | 28.193 % |
89.20/89.24	c |     43149 |   87039   590476  1704955 | 2147483647    42330     98 | 28.193 % |
89.70/89.73	c |     43283 |   87038   590476  1704955 | 2147483647    42463     98 | 28.201 % |
90.20/90.22	c |     43430 |   87038   590476  1704955 | 2147483647    42610     99 | 28.201 % |
90.30/90.36	c |     43590 |   87038   590476  1704955 | 2147483647    42770     99 | 28.201 % |
90.60/90.70	c |     43766 |   87038   590476  1704955 | 2147483647    42946     99 | 28.201 % |
91.00/91.09	c |     43960 |   87037   590476  1704955 | 2147483647    43139     99 | 28.207 % |
91.30/91.33	c |     44172 |   87037   590476  1704955 | 2147483647    43351     99 | 28.207 % |
91.50/91.56	c |     44407 |   87037   590476  1704955 | 2147483647    43586     99 | 28.207 % |
92.40/92.50	c |     44663 |   87037   590476  1704955 | 2147483647    43842     99 | 28.207 % |
93.00/93.02	c |     44944 |   87037   590476  1704955 | 2147483647    44123     99 | 28.207 % |
93.80/93.88	c |     45253 |   87033   590476  1704955 | 2147483647    44429    100 | 28.236 % |
94.30/94.39	c |     45592 |   87033   590476  1704955 | 2147483647    44768    100 | 28.236 % |
95.70/95.76	c |     45964 |   86985   590013  1703740 | 2147483647    45112    100 | 28.244 % |
96.90/96.96	c |     46374 |   86984   590013  1703740 | 2147483647    45521    101 | 28.254 % |
98.50/98.60	c |     46823 |   86934   590013  1703740 | 2147483647    45969    102 | 28.372 % |
100.10/100.20	c |     47317 |   86934   590013  1703740 | 2147483647    46463    103 | 28.372 % |
101.60/101.63	c |     47863 |   86934   590013  1703740 | 2147483647    47009    104 | 28.372 % |
103.60/103.63	c |     48460 |   86814   588974  1701174 | 2147483647    47566    105 | 28.508 % |
105.20/105.22	c |     49115 |   86777   588974  1701174 | 2147483647    48217    105 | 28.603 % |
105.40/105.41	c |     49220 |   86777   588974  1701174 | 2147483647    48322    105 | 28.603 % |
105.70/105.76	c |     49330 |   86777   588974  1701174 | 2147483647    48432    106 | 28.603 % |
106.30/106.36	c |     49452 |   86774   588974  1701174 | 2147483647    48552    106 | 28.622 % |
106.50/106.51	c |     49586 |   86774   588974  1701174 | 2147483647    48686    106 | 28.622 % |
107.10/107.17	c |     49732 |   86774   588974  1701174 | 2147483647    48832    106 | 28.622 % |
107.40/107.47	c |     49892 |   86774   588974  1701174 | 2147483647    48992    106 | 28.622 % |
108.30/108.35	c |     50074 |   86773   588974  1701174 | 2147483647    49173    106 | 28.872 % |
108.90/108.99	c |     50267 |   86216   583825  1687431 | 2147483647    49220    107 | 28.872 % |
109.60/109.65	c |     50480 |   86198   583825  1687431 | 2147483647    49427    107 | 28.980 % |
110.30/110.35	c |     50713 |   86198   583825  1687431 | 2147483647    49660    107 | 28.980 % |
110.70/110.77	c |     50969 |   86198   583825  1687431 | 2147483647    49916    108 | 28.980 % |
111.30/111.40	c |     51250 |   86198   583825  1687431 | 2147483647    50197    108 | 28.980 % |
112.40/112.50	c |     51560 |   86198   583825  1687431 | 2147483647    50507    109 | 28.980 % |
113.70/113.75	c |     51901 |   86198   583825  1687431 | 2147483647    50848    110 | 28.980 % |
114.40/114.42	c |     52273 |   86198   583825  1687431 | 2147483647    51220    110 | 28.980 % |
115.60/115.62	c |     52682 |   86198   583825  1687431 | 2147483647    51629    111 | 28.980 % |
117.30/117.34	c |     53131 |   86077   582772  1684572 | 2147483647    52068    112 | 29.385 % |
118.60/118.70	c |     53625 |   86077   582772  1684572 | 2147483647    52561    113 | 29.386 % |
120.50/120.52	c |     54169 |   86077   582772  1684572 | 2147483647    53105    114 | 29.386 % |
121.70/121.76	c |     54765 |   85939   582772  1684572 | 2147483647    53697    114 | 29.608 % |
124.50/124.53	c |     55422 |   85319   573592  1659910 | 2147483647    53155    117 | 29.637 % |
126.20/126.22	c |     56143 |   85317   573592  1659910 | 2147483647    53875    118 | 29.649 % |
126.50/126.59	c |     56245 |   85238   573592  1659910 | 2147483647    53970    118 | 29.734 % |
127.30/127.34	c |     56355 |   85238   573592  1659910 | 2147483647    54080    119 | 29.734 % |
127.60/127.66	c |     56479 |   85238   573592  1659910 | 2147483647    54204    119 | 29.734 % |
128.00/128.02	c |     56613 |   85238   573592  1659910 | 2147483647    54338    119 | 29.734 % |
128.50/128.58	c |     56759 |   85238   573592  1659910 | 2147483647    54483    120 | 29.736 % |
129.10/129.13	c |     56921 |   85238   573592  1659910 | 2147483647    54645    120 | 29.736 % |
129.60/129.68	c |     57097 |   85238   573592  1659910 | 2147483647    54821    120 | 29.736 % |
130.60/130.63	c |     57292 |   85236   573592  1659910 | 2147483647    55012    121 | 30.008 % |
131.50/131.52	c |     57505 |   85236   573592  1659910 | 2147483647    55225    121 | 30.008 % |
132.50/132.54	c |     57739 |   84838   566012  1638968 | 2147483647    55416    121 | 30.009 % |
133.30/133.31	c |     57997 |   84838   566012  1638968 | 2147483647    55674    122 | 30.009 % |
134.21/134.23	c |     58278 |   84837   566012  1638968 | 2147483647    55954    122 | 30.061 % |
135.60/135.62	c |     58587 |   84836   566012  1638968 | 2147483647    56262    123 | 30.071 % |
136.30/136.39	c |     58928 |   84836   566012  1638968 | 2147483647    56603    123 | 30.071 % |
137.10/137.12	c |     59300 |   84836   566012  1638968 | 2147483647    56975    123 | 30.071 % |
137.70/137.79	c |     59709 |   84836   566012  1638968 | 2147483647    57384    123 | 30.071 % |
138.90/138.92	c |     60159 |   84836   566012  1638968 | 2147483647    57834    124 | 30.071 % |
140.40/140.41	c |     60653 |   84831   566012  1638968 | 2147483647    58325    124 | 30.077 % |
142.10/142.18	c |     61195 |   84755   565483  1637662 | 2147483647    58783    126 | 30.078 % |
143.40/143.50	c |     61792 |   84753   565483  1637662 | 2147483647    59379    126 | 30.092 % |
145.60/145.61	c |     62447 |   84752   565483  1637662 | 2147483647    60033    127 | 30.299 % |
147.30/147.35	c |     63169 |   84745   565483  1637662 | 2147483647    60752    128 | 30.309 % |
149.80/149.83	c |     63961 |   84743   565483  1637662 | 2147483647    61542    128 | 30.353 % |
150.10/150.19	c |     64061 |   84421   563838  1633802 | 2147483647    61588    129 | 30.353 % |
150.40/150.41	c |     64172 |   84421   563838  1633802 | 2147483647    61699    129 | 30.353 % |
150.60/150.66	c |     64295 |   84415   563838  1633802 | 2147483647    61821    129 | 30.458 % |
151.30/151.33	c |     64428 |   84414   563838  1633802 | 2147483647    61954    129 | 30.458 % |
151.81/151.84	c |     64574 |   84414   563838  1633802 | 2147483647    62099    129 | 30.460 % |
152.20/152.26	c |     64734 |   84414   563838  1633802 | 2147483647    62259    130 | 30.460 % |
152.70/152.72	c |     64912 |   84414   563838  1633802 | 2147483647    62436    130 | 30.463 % |
153.00/153.09	c |     65105 |   84413   563838  1633802 | 2147483647    62628    130 | 30.464 % |
153.90/153.99	c |     65317 |   84412   563838  1633802 | 2147483647    62839    130 | 30.473 % |
154.40/154.42	c |     65554 |   84412   563838  1633802 | 2147483647    63076    130 | 30.473 % |
154.80/154.88	c |     65810 |   84412   563838  1633802 | 2147483647    63332    130 | 30.473 % |
155.20/155.26	c |     66091 |   84412   563838  1633802 | 2147483647    63613    130 | 30.473 % |
156.10/156.11	c |     66400 |   84411   563838  1633802 | 2147483647    63921    130 | 30.474 % |
157.10/157.11	c |     66739 |   84411   563838  1633802 | 2147483647    64260    130 | 30.474 % |
158.20/158.27	c |     67112 |   84409   563838  1633802 | 2147483647    64631    131 | 30.484 % |
159.30/159.36	c |     67525 |   84409   563838  1633802 | 2147483647    65044    131 | 30.484 % |
160.80/160.83	c |     67974 |   84260   563037  1631972 | 2147483647    65463    131 | 30.490 % |
161.80/161.88	c |     68467 |   84257   563037  1631972 | 2147483647    65954    132 | 30.498 % |
163.10/163.13	c |     69009 |   84256   563037  1631972 | 2147483647    66495    132 | 30.499 % |
165.60/165.68	c |     69605 |   84239   563037  1631972 | 2147483647    67089    133 | 30.531 % |
167.81/167.82	c |     70263 |   84233   563037  1631972 | 2147483647    67744    134 | 30.846 % |
169.11/169.21	c |     70986 |   84229   563037  1631972 | 2147483647    68465    134 | 30.855 % |
172.11/172.17	c |     71778 |   83808   560371  1625500 | 2147483647    69123    137 | 30.859 % |
176.11/176.12	c |     72653 |   83807   560371  1625500 | 2147483647    69997    139 | 30.867 % |
176.61/176.66	c |     72753 |   83807   560371  1625500 | 2147483647    70097    139 | 30.867 % |
177.21/177.22	c |     72864 |   83806   560371  1625500 | 2147483647    70207    140 | 30.868 % |
177.51/177.55	c |     72986 |   83806   560371  1625500 | 2147483647    70329    140 | 30.868 % |
178.01/178.04	c |     73121 |   83806   560371  1625500 | 2147483647    70464    140 | 30.868 % |
178.62/178.65	c |     73268 |   83806   560371  1625500 | 2147483647    70611    140 | 30.868 % |
179.42/179.52	c |     73428 |   83806   560371  1625500 | 2147483647    70771    141 | 30.868 % |
179.82/179.87	c |     73605 |   83806   560371  1625500 | 2147483647    70948    141 | 30.868 % |
180.12/180.15	c |     73799 |   83806   560371  1625500 | 2147483647    71142    141 | 30.868 % |
180.42/180.47	c |     74019 |   83806   560371  1625500 | 2147483647    71362    141 | 30.868 % |
180.62/180.68	c |     74253 |   83806   560371  1625500 | 2147483647    71596    141 | 30.868 % |
181.72/181.79	c |     74511 |   83797   560276  1625248 | 2147483647    71852    142 | 30.868 % |
182.42/182.52	c |     74794 |   83794   560276  1625248 | 2147483647    72133    142 | 30.877 % |
183.12/183.13	c |     75104 |   83794   560276  1625248 | 2147483647    72443    142 | 30.877 % |
184.52/184.56	c |     75443 |   83794   560276  1625248 | 2147483647    72782    143 | 30.877 % |
185.62/185.64	c |     75816 |   83788   560276  1625248 | 2147483647    73153    143 | 30.896 % |
186.92/186.94	c |     76228 |   83788   560276  1625248 | 2147483647    73565    143 | 30.896 % |
188.82/188.85	c |     76677 |   83784   560276  1625248 | 2147483647    74012    144 | 30.912 % |
190.52/190.55	c |     77170 |   83784   560276  1625248 | 2147483647    74505    145 | 30.912 % |
192.12/192.13	c |     77714 |   83782   560276  1625248 | 2147483647    75047    146 | 30.919 % |
194.32/194.40	c |     78310 |   83782   560276  1625248 | 2147483647    75643    147 | 30.919 % |
196.72/196.76	c |     78966 |   83735   559732  1623789 | 2147483647    76280    148 | 30.919 % |
199.42/199.43	c |     79691 |   83735   559732  1623789 | 2147483647    77005    149 | 30.919 % |
202.72/202.72	c |     80486 |   83733   559732  1623789 | 2147483647    77797    151 | 31.068 % |
206.72/206.74	c |     81367 |   83726   559732  1623789 | 2147483647    78677    152 | 31.393 % |
210.12/210.21	c |     82325 |   83157   556278  1613213 | 2147483647    79315    154 | 31.396 % |
210.82/210.83	c |     82427 |   83157   556278  1613213 | 2147483647    79417    154 | 31.396 % |
211.12/211.18	c |     82538 |   83157   556278  1613213 | 2147483647    79528    154 | 31.396 % |
211.72/211.78	c |     82661 |   83157   556278  1613213 | 2147483647    79651    154 | 31.396 % |
212.42/212.48	c |     82796 |   83157   556278  1613213 | 2147483647    79785    155 | 31.398 % |
213.12/213.14	c |     82943 |   83157   556278  1613213 | 2147483647    79931    155 | 31.407 % |
213.62/213.71	c |     83103 |   83157   556278  1613213 | 2147483647    80091    155 | 31.407 % |
214.62/214.68	c |     83282 |   83157   556278  1613213 | 2147483647    80270    155 | 31.407 % |
215.52/215.52	c |     83475 |   83156   556278  1613213 | 2147483647    80462    156 | 31.417 % |
216.12/216.21	c |     83687 |   83156   556278  1613213 | 2147483647    80674    156 | 31.417 % |
217.02/217.03	c |     83922 |   83156   556278  1613213 | 2147483647    80908    156 | 31.419 % |
217.92/217.95	c |     84179 |   83155   556278  1613213 | 2147483647    81164    156 | 31.431 % |
218.62/218.63	c |     84461 |   83155   556278  1613213 | 2147483647    81446    156 | 31.431 % |
219.92/219.96	c |     84770 |   83155   556278  1613213 | 2147483647    81754    157 | 31.437 % |
221.02/221.05	c |     85109 |   83153   556278  1613213 | 2147483647    82093    157 | 31.437 % |
221.62/221.66	c |     85485 |   83153   556278  1613213 | 2147483647    82469    157 | 31.437 % |
223.62/223.64	c |     85894 |   83153   556278  1613213 | 2147483647    82878    158 | 31.437 % |
225.72/225.76	c |     86343 |   83103   555841  1612030 | 2147483647    83308    158 | 31.484 % |
227.92/227.98	c |     86837 |   83097   555841  1612030 | 2147483647    83798    159 | 31.526 % |
230.32/230.34	c |     87379 |   83097   555841  1612030 | 2147483647    84340    160 | 31.526 % |
232.22/232.29	c |     87975 |   83095   555841  1612030 | 2147483647    84934    160 | 31.535 % |
234.52/234.57	c |     88630 |   83095   555841  1612030 | 2147483647    85589    161 | 31.535 % |
236.52/236.53	c |     89351 |   83089   555841  1612030 | 2147483647    86306    161 | 31.553 % |
238.92/238.94	c |     90144 |   83089   555841  1612030 | 2147483647    87099    163 | 31.553 % |
241.22/241.22	c |     91016 |   83088   555841  1612030 | 2147483647    87970    164 | 31.554 % |
243.32/243.39	c |     91974 |   82964   554780  1609242 | 2147483647    88854    164 | 31.563 % |
245.42/245.43	c |     93027 |   82961   554780  1609242 | 2147483647    89905    165 | 31.582 % |
245.52/245.60	c |     93127 |   82961   554780  1609242 | 2147483647    90005    165 | 31.582 % |
245.72/245.75	c |     93242 |   82952   554780  1609242 | 2147483647    90120    165 | 31.582 % |
245.92/245.95	c |     93364 |   82952   554780  1609242 | 2147483647    90242    165 | 31.582 % |
246.43/246.52	c |     93497 |   82945   554780  1609242 | 2147483647    90374    165 | 31.583 % |
246.82/246.90	c |     93643 |   82944   554780  1609242 | 2147483647    90519    165 | 31.590 % |
247.12/247.20	c |     93805 |   82944   554780  1609242 | 2147483647    90681    165 | 31.590 % |
247.53/247.55	c |     93983 |   82943   554780  1609242 | 2147483647    90858    165 | 31.599 % |
247.82/247.86	c |     94177 |   82943   554780  1609242 | 2147483647    91052    165 | 31.599 % |
248.12/248.14	c |     94389 |   82942   554780  1609242 | 2147483647    91263    165 | 31.600 % |
248.42/248.48	c |     94622 |   82940   554780  1609242 | 2147483647    91495    165 | 31.609 % |
248.92/248.96	c |     94878 |   82940   554780  1609242 | 2147483647    91751    165 | 31.609 % |
249.92/249.93	c |     95161 |   82934   554780  1609242 | 2147483647    92034    165 | 31.609 % |
250.83/250.88	c |     95470 |   82934   554780  1609242 | 2147483647    92343    166 | 31.609 % |
251.62/251.62	c |     95812 |   82934   554780  1609242 | 2147483647    92685    166 | 31.609 % |
253.12/253.14	c |     96187 |   82933   554780  1609242 | 2147483647    93059    166 | 31.610 % |
255.02/255.10	c |     96597 |   82931   554780  1609242 | 2147483647    93467    167 | 31.620 % |
256.62/256.68	c |     97048 |   82929   554780  1609242 | 2147483647    93917    167 | 31.631 % |
258.53/258.57	c |     97541 |   82869   553917  1606927 | 2147483647    94370    167 | 31.649 % |
260.42/260.44	c |     98084 |   82865   553917  1606927 | 2147483647    94910    168 | 31.926 % |
261.42/261.47	c |     98682 |   82863   553917  1606927 | 2147483647    95506    168 | 31.936 % |
263.92/263.97	c |     99337 |   82863   553917  1606927 | 2147483647    96160    168 | 31.978 % |
267.52/267.57	c |    100059 |   82862   553917  1606927 | 2147483647    96879    169 | 31.995 % |
270.02/270.08	c |    100855 |   82861   553917  1606927 | 2147483647    97672    170 | 32.020 % |
272.92/272.96	c |    101727 |   82859   553917  1606927 | 2147483647    98542    171 | 32.033 % |
277.62/277.71	c |    102686 |   82857   553917  1606927 | 2147483647    99499    172 | 32.043 % |
282.02/282.02	c |    103739 |   82372   551374  1600807 | 2147483647   100479    174 | 32.053 % |
287.13/287.18	c |    104900 |   82353   551374  1600807 | 2147483647   101633    175 | 32.228 % |
287.52/287.58	c |    105006 |   82353   551374  1600807 | 2147483647   101739    175 | 32.228 % |
288.11/288.17	c |    105117 |   82353   551374  1600807 | 2147483647   101850    175 | 32.228 % |
288.51/288.51	c |    105238 |   82353   551374  1600807 | 2147483647   101971    175 | 32.228 % |
289.01/289.05	c |    105371 |   82353   551374  1600807 | 2147483647   102104    176 | 32.228 % |
289.21/289.30	c |    105519 |   82353   551374  1600807 | 2147483647   102252    176 | 32.228 % |
289.51/289.56	c |    105680 |   82353   551374  1600807 | 2147483647   102413    176 | 32.228 % |
289.91/290.00	c |    105857 |   82353   551374  1600807 | 2147483647   102590    176 | 32.228 % |
290.42/290.46	c |    106050 |   82353   551374  1600807 | 2147483647   102783    176 | 32.228 % |
290.92/291.00	c |    106262 |   82352   551374  1600807 | 2147483647   102994    176 | 32.237 % |
291.52/291.60	c |    106497 |   82352   551374  1600807 | 2147483647   103229    176 | 32.237 % |
292.32/292.35	c |    106753 |   82352   551374  1600807 | 2147483647   103484    176 | 32.247 % |
292.82/292.89	c |    107038 |   82352   551374  1600807 | 2147483647   103769    175 | 32.247 % |
293.52/293.60	c |    107351 |   82352   551374  1600807 | 2147483647   104082    175 | 32.247 % |
294.02/294.09	c |    107690 |   82352   551374  1600807 | 2147483647   104421    175 | 32.247 % |
294.82/294.83	c |    108073 |   82352   551374  1600807 | 2147483647   104804    175 | 32.247 % |
295.52/295.58	c |    108483 |   82352   551374  1600807 | 2147483647   105213    175 | 32.249 % |
296.52/296.59	c |    108932 |   82352   551374  1600807 | 2147483647   105662    175 | 32.249 % |
297.62/297.69	c |    109426 |   82352   551374  1600807 | 2147483647   106155    175 | 32.255 % |
298.92/298.95	c |    109969 |   82115   549210  1594959 | 2147483647   106548    175 | 32.264 % |
302.12/302.11	c |    110569 |   82108   549210  1594959 | 2147483647   107144    175 | 32.308 % |
305.02/305.07	c |    111224 |   82106   549210  1594959 | 2147483647   107797    176 | 32.317 % |
307.82/307.81	c |    111948 |   82106   549210  1594959 | 2147483647   108521    176 | 32.317 % |
310.92/311.01	c |    112742 |   82102   549210  1594959 | 2147483647   109309    177 | 32.379 % |
312.92/312.97	c |    113614 |   82102   549210  1594959 | 2147483647   110181    177 | 32.379 % |
317.22/317.26	c |    114572 |   82102   549210  1594959 | 2147483647   111139    179 | 32.379 % |
321.72/321.73	c |    115627 |   81952   547712  1590895 | 2147483647   112094    180 | 32.390 % |
325.12/325.13	c |    116786 |   81951   547712  1590895 | 2147483647   113252    181 | 32.399 % |
329.32/329.40	c |    118060 |   81951   547712  1590895 | 2147483647   114526    182 | 32.399 % |
329.92/329.94	c |    118161 |   81951   547712  1590895 | 2147483647   114627    182 | 32.399 % |
330.62/330.70	c |    118272 |   81951   547712  1590895 | 2147483647   114738    183 | 32.399 % |
331.12/331.14	c |    118394 |   81950   547712  1590895 | 2147483647   114859    183 | 32.408 % |
331.72/331.74	c |    118527 |   81947   547712  1590895 | 2147483647   114990    183 | 32.415 % |
332.42/332.51	c |    118676 |   81947   547712  1590895 | 2147483647   115139    183 | 32.415 % |
333.12/333.17	c |    118836 |   81947   547712  1590895 | 2147483647   115299    183 | 32.415 % |
333.92/334.00	c |    119012 |   81947   547712  1590895 | 2147483647   115475    183 | 32.415 % |
334.72/334.72	c |    119206 |   81947   547712  1590895 | 2147483647   115669    183 | 32.415 % |
335.22/335.23	c |    119419 |   81947   547712  1590895 | 2147483647   115882    183 | 32.415 % |
336.12/336.14	c |    119653 |   81944   547712  1590895 | 2147483647   116114    183 | 32.440 % |
336.62/336.71	c |    119910 |   81944   547712  1590895 | 2147483647   116371    183 | 32.440 % |
338.12/338.16	c |    120191 |   81943   547712  1590895 | 2147483647   116651    184 | 32.441 % |
339.32/339.37	c |    120501 |   81942   547712  1590895 | 2147483647   116960    184 | 32.442 % |
340.52/340.61	c |    120840 |   81942   547712  1590895 | 2147483647   117299    184 | 32.442 % |
341.72/341.74	c |    121213 |   81942   547712  1590895 | 2147483647   117672    185 | 32.442 % |
344.12/344.14	c |    121622 |   81942   547712  1590895 | 2147483647   118081    185 | 32.442 % |
345.42/345.46	c |    122074 |   81889   547240  1589671 | 2147483647   118516    185 | 32.442 % |
347.32/347.35	c |    122568 |   81887   547240  1589671 | 2147483647   119008    186 | 32.444 % |
349.12/349.14	c |    123110 |   81884   547240  1589671 | 2147483647   119548    186 | 32.459 % |
351.92/351.96	c |    123708 |   81884   547240  1589671 | 2147483647   120146    187 | 32.459 % |
355.42/355.46	c |    124363 |   81866   547240  1589671 | 2147483647   120800    188 | 32.542 % |
358.22/358.28	c |    125085 |   81864   547240  1589671 | 2147483647   121521    189 | 32.552 % |
362.22/362.30	c |    125878 |   81863   547240  1589671 | 2147483647   122312    190 | 32.587 % |
366.12/366.12	c |    126749 |   81863   547240  1589671 | 2147483647   123183    191 | 32.587 % |
369.02/369.02	c |    127707 |   81863   547240  1589671 | 2147483647   124141    192 | 32.587 % |
373.92/373.95	c |    128763 |   81580   544675  1582695 | 2147483647   125057    193 | 32.713 % |
378.62/378.62	c |    129921 |   81580   544675  1582695 | 2147483647   126215    194 | 32.713 % |
383.42/383.48	c |    131194 |   81580   544675  1582695 | 2147483647   127488    195 | 32.713 % |
389.82/389.85	c |    132595 |   81575   544675  1582695 | 2147483647   128887    198 | 32.742 % |
390.12/390.18	c |    132696 |   81575   544675  1582695 | 2147483647   128988    198 | 32.742 % |
390.42/390.51	c |    132806 |   81575   544675  1582695 | 2147483647   129097    198 | 32.838 % |
391.22/391.30	c |    132927 |   81575   544675  1582695 | 2147483647   129218    198 | 32.838 % |
392.02/392.03	c |    133061 |   81575   544675  1582695 | 2147483647   129352    198 | 32.838 % |
392.32/392.33	c |    133212 |   81575   544675  1582695 | 2147483647   129503    198 | 32.838 % |
393.22/393.29	c |    133375 |   81575   544675  1582695 | 2147483647   129666    198 | 32.838 % |
394.12/394.15	c |    133552 |   81573   544675  1582695 | 2147483647   129842    198 | 32.857 % |
395.22/395.24	c |    133746 |   81573   544675  1582695 | 2147483647   130036    199 | 32.857 % |
395.92/395.99	c |    133959 |   81573   544675  1582695 | 2147483647   130249    199 | 32.857 % |
396.82/396.81	c |    134193 |   81573   544675  1582695 | 2147483647   130483    199 | 32.857 % |
397.62/397.67	c |    134451 |   81573   544675  1582695 | 2147483647   130741    199 | 32.857 % |
399.22/399.25	c |    134733 |   81569   544675  1582695 | 2147483647   131021    199 | 32.890 % |
400.82/400.88	c |    135044 |   81569   544675  1582695 | 2147483647   131332    200 | 32.890 % |
403.23/403.28	c |    135383 |   81568   544675  1582695 | 2147483647   131670    200 | 32.939 % |
405.13/405.18	c |    135755 |   81282   542137  1575755 | 2147483647   131920    201 | 32.949 % |
406.33/406.36	c |    136165 |   81282   542137  1575755 | 2147483647   132330    201 | 32.949 % |
409.03/409.02	c |    136614 |   81282   542137  1575755 | 2147483647   132779    202 | 32.949 % |
411.73/411.80	c |    137108 |   81282   542137  1575755 | 2147483647   133273    202 | 32.949 % |
414.53/414.56	c |    137651 |   81282   542137  1575755 | 2147483647   133816    203 | 32.949 % |
418.73/418.74	c |    138249 |   81279   542137  1575755 | 2147483647   134412    204 | 32.956 % |
421.43/421.50	c |    138905 |   81278   542137  1575755 | 2147483647   135067    204 | 32.957 % |
425.03/425.06	c |    139628 |   81275   542137  1575755 | 2147483647   135787    204 | 32.973 % |
428.53/428.51	c |    140422 |   81275   542137  1575755 | 2147483647   136581    205 | 32.973 % |
432.53/432.57	c |    141294 |   81274   542137  1575755 | 2147483647   137450    206 | 33.038 % |
439.93/439.93	c |    142252 |   81166   541174  1573178 | 2147483647   138358    208 | 33.039 % |
445.63/445.66	c |    143305 |   81166   541174  1573178 | 2147483647   139411    209 | 33.039 % |
450.83/450.81	c |    144463 |   81166   541174  1573178 | 2147483647   140568    210 | 33.048 % |
457.13/457.19	c |    145739 |   81165   541174  1573178 | 2147483647   141843    211 | 33.048 % |
464.63/464.62	c |    147140 |   81165   541174  1573178 | 2147483647   143244    212 | 33.048 % |
472.73/472.77	c |    148680 |   81161   541174  1573178 | 2147483647   144779    214 | 33.076 % |
473.23/473.29	c |    148780 |   81161   541174  1573178 | 2147483647   144879    214 | 33.076 % |
473.63/473.65	c |    148892 |   81161   541174  1573178 | 2147483647   144991    214 | 33.076 % |
474.63/474.65	c |    149016 |   81120   540749  1572015 | 2147483647   145073    214 | 33.076 % |
475.43/475.49	c |    149151 |   81120   540749  1572015 | 2147483647   145208    214 | 33.076 % |
476.13/476.21	c |    149298 |   81120   540749  1572015 | 2147483647   145355    214 | 33.076 % |
476.73/476.78	c |    149459 |   81120   540749  1572015 | 2147483647   145516    214 | 33.076 % |
477.13/477.14	c |    149637 |   81120   540749  1572015 | 2147483647   145694    214 | 33.076 % |
477.44/477.47	c |    149830 |   81120   540749  1572015 | 2147483647   145887    214 | 33.076 % |
478.63/478.66	c |    150048 |   81120   540749  1572015 | 2147483647   146105    214 | 33.076 % |
479.83/479.82	c |    150281 |   81111   540749  1572015 | 2147483647   146333    214 | 33.115 % |
480.83/480.90	c |    150540 |   81111   540749  1572015 | 2147483647   146592    214 | 33.115 % |
482.73/482.75	c |    150822 |   81110   540749  1572015 | 2147483647   146873    214 | 33.116 % |
484.23/484.25	c |    151131 |   81110   540749  1572015 | 2147483647   147182    215 | 33.116 % |
485.93/485.97	c |    151470 |   81110   540749  1572015 | 2147483647   147521    215 | 33.116 % |
487.83/487.90	c |    151842 |   81109   540749  1572015 | 2147483647   147892    215 | 33.152 % |
490.64/490.68	c |    152253 |   81108   540749  1572015 | 2147483647   148301    215 | 33.170 % |
492.84/492.89	c |    152702 |   81107   540749  1572015 | 2147483647   148749    215 | 33.171 % |
494.23/494.22	c |    153196 |   81099   540749  1572015 | 2147483647   149240    215 | 33.228 % |
497.24/497.23	c |    153739 |   81096   540749  1572015 | 2147483647   149778    216 | 33.274 % |
500.63/500.67	c |    154338 |   81095   540749  1572015 | 2147483647   150376    216 | 33.284 % |
502.23/502.21	c |    154997 |   81094   540749  1572015 | 2147483647   151034    216 | 33.305 % |
503.84/503.83	c |    155718 |   81093   540749  1572015 | 2147483647   151753    216 | 33.311 % |
506.43/506.43	c |    156510 |   81091   540749  1572015 | 2147483647   152543    216 | 33.322 % |
509.43/509.47	c |    157383 |   81084   540749  1572015 | 2147483647   153411    216 | 33.426 % |
513.63/513.68	c |    158341 |   81082   540749  1572015 | 2147483647   154367    217 | 33.428 % |
519.74/519.76	c |    159396 |   80692   537227  1562889 | 2147483647   155135    218 | 33.439 % |
525.84/525.90	c |    160555 |   80692   537227  1562889 | 2147483647   156293    220 | 33.439 % |
531.14/531.15	c |    161828 |   80690   537227  1562889 | 2147483647   157564    220 | 33.453 % |
537.54/537.61	c |    163229 |   80688   537227  1562889 | 2147483647   158963    221 | 33.476 % |
545.34/545.37	c |    164769 |   80687   537227  1562889 | 2147483647   160500    222 | 33.532 % |
553.34/553.31	c |    166464 |   80687   537227  1562889 | 2147483647   162195    223 | 33.532 % |
553.74/553.77	c |    166564 |   80687   537227  1562889 | 2147483647   162295    223 | 33.532 % |
554.14/554.15	c |    166674 |   80686   537227  1562889 | 2147483647   162403    223 | 33.538 % |
554.24/554.28	c |    166798 |   80686   537227  1562889 | 2147483647   162527    222 | 33.538 % |
554.84/554.87	c |    166931 |   80686   537227  1562889 | 2147483647   162660    222 | 33.538 % |
555.64/555.70	c |    167089 |   80686   537227  1562889 | 2147483647   162818    222 | 33.538 % |
556.64/556.63	c |    167256 |   80686   537227  1562889 | 2147483647   162985    222 | 33.538 % |
557.14/557.14	c |    167433 |   80686   537227  1562889 | 2147483647   163162    223 | 33.538 % |
558.24/558.22	c |    167627 |   80685   537227  1562889 | 2147483647   163355    223 | 33.547 % |
559.44/559.50	c |    167840 |   80527   535963  1559559 | 2147483647   163472    223 | 33.566 % |
561.04/561.02	c |    168073 |   80527   535963  1559559 | 2147483647   163705    223 | 33.566 % |
562.34/562.38	c |    168336 |   80259   535963  1559559 | 2147483647   163966    223 | 34.059 % |
563.84/563.88	c |    168617 |   80258   535963  1559559 | 2147483647   164247    223 | 34.059 % |
565.84/565.87	c |    168930 |   80258   535963  1559559 | 2147483647   164560    224 | 34.059 % |
567.54/567.57	c |    169271 |   80256   535963  1559559 | 2147483647   164899    224 | 34.062 % |
569.64/569.62	c |    169646 |   80253   535963  1559559 | 2147483647   165272    224 | 34.125 % |
572.14/572.19	c |    170056 |   80252   535963  1559559 | 2147483647   165681    225 | 34.126 % |
573.94/573.92	c |    170505 |   80252   535963  1559559 | 2147483647   166130    225 | 34.126 % |
576.64/576.69	c |    171001 |   80251   535963  1559559 | 2147483647   166625    226 | 34.127 % |
579.54/579.61	c |    171543 |   80251   535963  1559559 | 2147483647   167167    226 | 34.127 % |
583.44/583.50	c |    172139 |   80250   535963  1559559 | 2147483647   167762    227 | 34.135 % |
587.94/587.98	c |    172798 |   80248   535963  1559559 | 2147483647   168419    227 | 34.210 % |
592.54/592.60	c |    173518 |   80244   535963  1559559 | 2147483647   169137    227 | 34.288 % |
597.14/597.16	c |    174310 |   80238   535963  1559559 | 2147483647   169922    227 | 34.352 % |
602.44/602.48	c |    175181 |   80235   535963  1559559 | 2147483647   170791    229 | 34.368 % |
607.14/607.21	c |    176139 |   80234   535963  1559559 | 2147483647   171747    230 | 34.518 % |
613.34/613.35	c |    177192 |   80231   535963  1559559 | 2147483647   172798    231 | 34.533 % |
619.94/619.97	c |    178353 |   79350   528844  1541619 | 2147483647   173522    231 | 34.556 % |
627.75/627.72	c |    179626 |   79347   528844  1541619 | 2147483647   174792    232 | 34.564 % |
637.45/637.48	c |    181026 |   79347   528844  1541619 | 2147483647   176192    234 | 34.564 % |
648.24/648.30	c |    182584 |   79347   528844  1541619 | 2147483647   177748    235 | 34.584 % |
657.64/657.64	c |    184279 |   79345   528844  1541619 | 2147483647   179439    236 | 34.600 % |
670.15/670.19	c |    186142 |   79248   527859  1538948 | 2147483647   181217    238 | 34.621 % |
670.75/670.79	c |    186242 |   79248   527859  1538948 | 2147483647   181317    238 | 34.621 % |
671.45/671.47	c |    186352 |   79247   527859  1538948 | 2147483647   181426    239 | 34.627 % |
672.15/672.13	c |    186473 |   79247   527859  1538948 | 2147483647   181547    239 | 34.627 % |
672.65/672.69	c |    186606 |   79247   527859  1538948 | 2147483647   181680    239 | 34.627 % |
673.55/673.52	c |    186755 |   79247   527859  1538948 | 2147483647   181829    239 | 34.627 % |
674.65/674.68	c |    186920 |   79247   527859  1538948 | 2147483647   181994    239 | 34.627 % |
675.65/675.62	c |    187096 |   79246   527859  1538948 | 2147483647   182169    239 | 34.635 % |
676.65/676.63	c |    187294 |   79246   527859  1538948 | 2147483647   182367    239 | 34.635 % |
677.35/677.40	c |    187507 |   79246   527859  1538948 | 2147483647   182580    239 | 34.635 % |
679.05/679.06	c |    187749 |   79245   527859  1538948 | 2147483647   182821    239 | 34.636 % |
680.75/680.78	c |    188008 |   79245   527859  1538948 | 2147483647   183080    239 | 34.636 % |
682.15/682.20	c |    188291 |   79245   527859  1538948 | 2147483647   183363    239 | 34.636 % |
683.85/683.90	c |    188601 |   79245   527859  1538948 | 2147483647   183673    239 | 34.636 % |
685.35/685.40	c |    188940 |   79242   527859  1538948 | 2147483647   184011    239 | 34.646 % |
687.05/687.02	c |    189313 |   79242   527859  1538948 | 2147483647   184384    240 | 34.646 % |
689.25/689.23	c |    189723 |   79242   527859  1538948 | 2147483647   184794    240 | 34.646 % |
692.35/692.32	c |    190172 |   79242   527859  1538948 | 2147483647   185243    240 | 34.646 % |
694.65/694.71	c |    190665 |   79240   527859  1538948 | 2147483647   185734    240 | 34.698 % |
698.95/698.98	c |    191207 |   79240   527859  1538948 | 2147483647   186276    241 | 34.698 % |
703.75/703.75	c |    191810 |   79239   527859  1538948 | 2147483647   186878    242 | 34.698 % |
707.65/707.63	c |    192465 |   79239   527859  1538948 | 2147483647   187533    242 | 34.698 % |
711.65/711.68	c |    193185 |   79238   527859  1538948 | 2147483647   188251    242 | 34.727 % |
715.15/715.18	c |    193977 |   79238   527859  1538948 | 2147483647   189043    242 | 34.727 % |
719.75/719.75	c |    194848 |   79238   527859  1538948 | 2147483647   189914    242 | 34.727 % |
725.05/725.10	c |    195807 |   79223   527859  1538948 | 2147483647   190870    242 | 35.187 % |
731.05/731.10	c |    196861 |   79222   527859  1538948 | 2147483647   191923    243 | 35.192 % |
737.46/737.43	c |    198021 |   78556   522479  1524651 | 2147483647   192728    244 | 35.192 % |
745.46/745.46	c |    199294 |   78556   522479  1524651 | 2147483647   194001    245 | 35.192 % |
753.86/753.86	c |    200697 |   78556   522479  1524651 | 2147483647   195404    246 | 35.192 % |
762.46/762.47	c |    202237 |   78556   522479  1524651 | 2147483647   196944    247 | 35.192 % |
771.66/771.69	c |    203932 |   78556   522479  1524651 | 2147483647   198639    249 | 35.192 % |
779.76/779.80	c |    205795 |   78556   522479  1524651 | 2147483647   200501    249 | 35.200 % |
790.16/790.18	c |    207844 |   78556   522479  1524651 | 2147483647   202548    249 | 35.210 % |
790.86/790.90	c |    207944 |   78556   522479  1524651 | 2147483647   202648    249 | 35.210 % |
791.66/791.68	c |    208056 |   78556   522479  1524651 | 2147483647   202760    249 | 35.210 % |
792.66/792.66	c |    208177 |   78556   522479  1524651 | 2147483647   202881    249 | 35.210 % |
793.66/793.70	c |    208312 |   78556   522479  1524651 | 2147483647   203016    249 | 35.210 % |
794.66/794.68	c |    208458 |   78556   522479  1524651 | 2147483647   203162    249 | 35.210 % |
795.26/795.22	c |    208618 |   78556   522479  1524651 | 2147483647   203322    249 | 35.210 % |
796.86/796.86	c |    208796 |   78556   522479  1524651 | 2147483647   203500    249 | 35.210 % |
798.16/798.15	c |    208992 |   78556   522479  1524651 | 2147483647   203696    250 | 35.210 % |
799.16/799.12	c |    209204 |   78556   522479  1524651 | 2147483647   203908    250 | 35.210 % |
801.06/801.05	c |    209437 |   78534   522277  1524072 | 2147483647   204126    250 | 35.210 % |
802.66/802.67	c |    209693 |   78534   522277  1524072 | 2147483647   204382    250 | 35.210 % |
804.56/804.59	c |    209977 |   78534   522277  1524072 | 2147483647   204666    250 | 35.210 % |
806.56/806.52	c |    210286 |   78534   522277  1524072 | 2147483647   204975    250 | 35.210 % |
808.96/808.92	c |    210626 |   78534   522277  1524072 | 2147483647   205315    250 | 35.210 % |
811.46/811.44	c |    211000 |   78532   522277  1524072 | 2147483647   205687    250 | 35.212 % |
813.76/813.80	c |    211417 |   78532   522277  1524072 | 2147483647   206103    250 | 35.212 % |
816.76/816.79	c |    211866 |   78532   522277  1524072 | 2147483647   206552    250 | 35.212 % |
820.06/820.05	c |    212359 |   78532   522277  1524072 | 2147483647   207045    251 | 35.212 % |
823.86/823.83	c |    212904 |   78532   522277  1524072 | 2147483647   207590    251 | 35.212 % |
827.66/827.67	c |    213503 |   78532   522277  1524072 | 2147483647   208189    252 | 35.212 % |
830.66/830.65	c |    214158 |   78532   522277  1524072 | 2147483647   208844    252 | 35.212 % |
835.06/835.09	c |    214881 |   78532   522277  1524072 | 2147483647   209565    252 | 35.220 % |
840.86/840.83	c |    215677 |   78532   522277  1524072 | 2147483647   210360    252 | 35.223 % |
847.07/847.07	c |    216549 |   78532   522277  1524072 | 2147483647   211232    253 | 35.223 % |
852.87/852.85	c |    217509 |   78529   522277  1524072 | 2147483647   212187    252 | 35.278 % |
860.37/860.37	c |    218564 |   78529   522277  1524072 | 2147483647   213242    253 | 35.278 % |
868.27/868.26	c |    219728 |   78528   522277  1524072 | 2147483647   214405    253 | 35.278 % |
875.37/875.40	c |    221003 |   78528   522277  1524072 | 2147483647   215679    253 | 35.279 % |
883.97/883.93	c |    222405 |   78448   521740  1522753 | 2147483647   216985    255 | 35.291 % |
893.97/894.01	c |    223946 |   78447   521740  1522753 | 2147483647   218525    256 | 35.292 % |
902.57/902.61	c |    225640 |   78446   521740  1522753 | 2147483647   220216    257 | 35.345 % |
912.27/912.29	c |    227503 |   78443   521740  1522753 | 2147483647   222078    258 | 35.355 % |
925.07/925.07	c |    229552 |   78442   521740  1522753 | 2147483647   224126    259 | 35.356 % |
936.67/936.64	c |    231806 |   78442   521740  1522753 | 2147483647   226380    259 | 35.356 % |
937.67/937.62	c |    231907 |   78442   521740  1522753 | 2147483647   226481    259 | 35.356 % |
938.27/938.25	c |    232017 |   78442   521740  1522753 | 2147483647   226591    260 | 35.356 % |
938.77/938.78	c |    232138 |   78442   521740  1522753 | 2147483647   226711    259 | 35.358 % |
939.87/939.86	c |    232271 |   78442   521740  1522753 | 2147483647   226844    260 | 35.358 % |
940.27/940.27	c |    232417 |   78442   521740  1522753 | 2147483647   226990    260 | 35.358 % |
941.37/941.38	c |    232577 |   78442   521740  1522753 | 2147483647   227150    260 | 35.358 % |
942.97/942.96	c |    232758 |   78442   521740  1522753 | 2147483647   227331    260 | 35.358 % |
944.57/944.54	c |    232951 |   78442   521740  1522753 | 2147483647   227524    260 | 35.358 % |
945.87/945.81	c |    233163 |   78441   521740  1522753 | 2147483647   227735    260 | 35.359 % |
947.47/947.49	c |    233398 |   78441   521740  1522753 | 2147483647   227970    260 | 35.359 % |
949.47/949.45	c |    233655 |   78441   521740  1522753 | 2147483647   228226    260 | 35.360 % |
951.37/951.36	c |    233936 |   78441   521740  1522753 | 2147483647   228507    260 | 35.360 % |
953.57/953.58	c |    234250 |   78441   521740  1522753 | 2147483647   228821    260 | 35.360 % |
955.77/955.73	c |    234589 |   78441   521740  1522753 | 2147483647   229160    260 | 35.360 % |
958.27/958.24	c |    234966 |   78441   521740  1522753 | 2147483647   229537    260 | 35.360 % |
961.08/961.06	c |    235375 |   78441   521740  1522753 | 2147483647   229946    260 | 35.360 % |
964.78/964.77	c |    235824 |   78350   520870  1520279 | 2147483647   230281    260 | 35.372 % |
967.78/967.81	c |    236322 |   78347   520870  1520279 | 2147483647   230777    260 | 35.427 % |
971.88/971.87	c |    236866 |   78347   520870  1520279 | 2147483647   231321    260 | 35.427 % |
976.58/976.56	c |    237474 |   78347   520870  1520279 | 2147483647   231928    260 | 35.429 % |
981.48/981.49	c |    238133 |   78347   520870  1520279 | 2147483647   232587    261 | 35.429 % |
985.98/985.96	c |    238853 |   78347   520870  1520279 | 2147483647   233307    261 | 35.429 % |
990.48/990.42	c |    239645 |   78347   520870  1520279 | 2147483647   234099    262 | 35.429 % |
996.18/996.17	c |    240518 |   78346   520870  1520279 | 2147483647   234971    262 | 35.430 % |
1002.38/1002.41	c |    241478 |   78344   520870  1520279 | 2147483647   235929    262 | 35.433 % |
1007.87/1007.87	c |    242531 |   78344   520870  1520279 | 2147483647   236982    262 | 35.433 % |
1013.67/1013.66	c |    243689 |   78340   520870  1520279 | 2147483647   238136    262 | 35.450 % |
1021.67/1021.68	c |    244963 |   78339   520870  1520279 | 2147483647   239407    263 | 35.466 % |
1030.87/1030.82	c |    246366 |   78338   520870  1520279 | 2147483647   240808    263 | 35.478 % |
1038.17/1038.14	c |    247906 |   78257   520870  1520279 | 2147483647   242346    264 | 35.618 % |
1048.57/1048.59	c |    249604 |   78257   520870  1520279 | 2147483647   244044    264 | 35.618 % |
1060.27/1060.21	c |    251467 |   78027   519056  1515776 | 2147483647   245661    265 | 35.628 % |
1072.88/1072.87	c |    253517 |   78026   519056  1515776 | 2147483647   247709    266 | 35.647 % |
1087.38/1087.37	c |    255770 |   78026   519056  1515776 | 2147483647   249960    267 | 35.682 % |
1104.58/1104.58	c |    258248 |   78026   519056  1515776 | 2147483647   252438    267 | 35.682 % |
1105.38/1105.39	c |    258355 |   78026   519056  1515776 | 2147483647   252545    267 | 35.682 % |
1106.38/1106.31	c |    258465 |   78026   519056  1515776 | 2147483647   252655    267 | 35.682 % |
1106.98/1107.00	c |    258587 |   78026   519056  1515776 | 2147483647   252777    267 | 35.682 % |
1107.88/1107.87	c |    258720 |   78026   519056  1515776 | 2147483647   252910    267 | 35.682 % |
1109.08/1109.04	c |    258867 |   78026   519056  1515776 | 2147483647   253055    267 | 35.694 % |
1109.98/1109.94	c |    259030 |   78026   519056  1515776 | 2147483647   253218    267 | 35.694 % |
1110.98/1111.00	c |    259207 |   78026   519056  1515776 | 2147483647   253395    267 | 35.694 % |
1111.58/1111.56	c |    259400 |   78026   519056  1515776 | 2147483647   253588    267 | 35.694 % |
1113.18/1113.15	c |    259612 |   78025   519056  1515776 | 2147483647   253799    267 | 35.703 % |
1115.08/1115.03	c |    259848 |   78025   519056  1515776 | 2147483647   254035    267 | 35.703 % |
1117.28/1117.27	c |    260104 |   78025   519056  1515776 | 2147483647   254291    267 | 35.703 % |
1119.68/1119.64	c |    260386 |   78025   519056  1515776 | 2147483647   254573    268 | 35.703 % |
1122.68/1122.63	c |    260695 |   78024   519056  1515776 | 2147483647   254881    268 | 35.712 % |
1126.08/1126.07	c |    261037 |   78024   519056  1515776 | 2147483647   255223    268 | 35.712 % |
1128.88/1128.82	c |    261411 |   78024   519056  1515776 | 2147483647   255597    268 | 35.712 % |
1130.88/1130.81	c |    261820 |   78024   519056  1515776 | 2147483647   256004    268 | 35.725 % |
1134.58/1134.52	c |    262270 |   78024   519056  1515776 | 2147483647   256454    268 | 35.725 % |
1137.78/1137.80	c |    262765 |   78023   519056  1515776 | 2147483647   256947    268 | 35.726 % |
1140.78/1140.76	c |    263309 |   78023   519056  1515776 | 2147483647   257491    269 | 35.726 % |
1144.98/1144.90	c |    263907 |   78022   519056  1515776 | 2147483647   258088    269 | 35.736 % |
1148.88/1148.82	c |    264564 |   78022   519056  1515776 | 2147483647   258745    269 | 35.736 % |
1154.89/1154.84	c |    265284 |   78022   519056  1515776 | 2147483647   259465    269 | 35.736 % |
1161.89/1161.90	c |    266078 |   78022   519056  1515776 | 2147483647   260259    270 | 35.736 % |
1168.09/1168.08	c |    266949 |   77895   517957  1512766 | 2147483647   261058    270 | 35.737 % |
1175.09/1175.04	c |    267911 |   77894   517957  1512766 | 2147483647   262017    270 | 35.761 % |
1184.19/1184.16	c |    268964 |   77894   517957  1512766 | 2147483647   263069    270 | 35.762 % |
1193.00/1192.96	c |    270124 |   77894   517957  1512766 | 2147483647   264229    271 | 35.762 % |

Verifier Data 

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

Watcher Data 

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1821580-1242539914/watcher-1821580-1242539914 -o /tmp/evaluation-result-1821580-1242539914/solver-1821580-1242539914 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821580-1242539914.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 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: 8192 KiB


[startup+0 s]
/proc/loadavg: 0.92 1.00 0.99 2/93 3951
/proc/meminfo: memFree=962212/2074464 swapFree=1948616/1959888
[pid=3951] ppid=3949 vsize=2412 CPUtime=0.01
/proc/3951/stat : 3951 (SatELiteGTI) S 3949 3951 10436 0 -1 4194304 367 645 0 0 1 0 0 0 18 0 1 0 1018492130 2469888 277 4294967295 134512640 135169312 3213290432 3213288968 3085217518 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3951/statm: 603 277 235 161 0 42 0
[pid=3955] ppid=3951 vsize=952 CPUtime=0
/proc/3955/stat : 3955 (SatELite_releas) R 3951 3951 10436 0 -1 4202496 132 0 0 0 0 0 0 0 20 0 1 0 1018492131 974848 68 4294967295 134512640 135223648 3221005072 3221003792 134734703 0 0 0 3 0 0 0 17 1 0 0 0
/proc/3955/statm: 238 71 46 174 0 63 0

[startup+0.021368 s]
/proc/loadavg: 0.92 1.00 0.99 2/93 3951
/proc/meminfo: memFree=962212/2074464 swapFree=1948616/1959888
[pid=3951] ppid=3949 vsize=2412 CPUtime=0.01
/proc/3951/stat : 3951 (SatELiteGTI) S 3949 3951 10436 0 -1 4194304 367 645 0 0 1 0 0 0 18 0 1 0 1018492130 2469888 277 4294967295 134512640 135169312 3213290432 3213288968 3085217518 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3951/statm: 603 277 235 161 0 42 0
[pid=3955] ppid=3951 vsize=7320 CPUtime=0.02
/proc/3955/stat : 3955 (SatELite_releas) R 3951 3951 10436 0 -1 4202496 1415 0 0 0 1 1 0 0 20 0 1 0 1018492131 7495680 1312 4294967295 134512640 135223648 3221005072 3221003952 134543108 0 0 0 3 0 0 0 17 1 0 0 0
/proc/3955/statm: 1830 1314 46 174 0 1655 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9732

[startup+0.111359 s]
/proc/loadavg: 0.92 1.00 0.99 2/93 3951
/proc/meminfo: memFree=962212/2074464 swapFree=1948616/1959888
[pid=3951] ppid=3949 vsize=2412 CPUtime=0.01
/proc/3951/stat : 3951 (SatELiteGTI) S 3949 3951 10436 0 -1 4194304 367 645 0 0 1 0 0 0 18 0 1 0 1018492130 2469888 277 4294967295 134512640 135169312 3213290432 3213288968 3085217518 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3951/statm: 603 277 235 161 0 42 0
[pid=3955] ppid=3951 vsize=29096 CPUtime=0.11
/proc/3955/stat : 3955 (SatELite_releas) R 3951 3951 10436 0 -1 4202496 5701 0 0 0 9 2 0 0 21 0 1 0 1018492131 29794304 5470 4294967295 134512640 135223648 3221005072 3221004024 134737310 0 0 0 3 0 0 0 17 1 0 0 0
/proc/3955/statm: 7274 5470 46 174 0 7099 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 31508

[startup+0.311343 s]
/proc/loadavg: 0.92 1.00 0.99 2/93 3951
/proc/meminfo: memFree=962212/2074464 swapFree=1948616/1959888
[pid=3951] ppid=3949 vsize=2412 CPUtime=0.01
/proc/3951/stat : 3951 (SatELiteGTI) S 3949 3951 10436 0 -1 4194304 367 645 0 0 1 0 0 0 18 0 1 0 1018492130 2469888 277 4294967295 134512640 135169312 3213290432 3213288968 3085217518 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3951/statm: 603 277 235 161 0 42 0
[pid=3955] ppid=3951 vsize=48972 CPUtime=0.31
/proc/3955/stat : 3955 (SatELite_releas) R 3951 3951 10436 0 -1 4202496 10419 0 0 0 28 3 0 0 21 0 1 0 1018492131 50147328 10188 4294967295 134512640 135223648 3221005072 3221004024 134737310 0 0 0 3 0 0 0 17 1 0 0 0
/proc/3955/statm: 12243 10189 46 174 0 12068 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 51384

[startup+0.71131 s]
/proc/loadavg: 0.92 1.00 0.99 2/93 3951
/proc/meminfo: memFree=962212/2074464 swapFree=1948616/1959888
[pid=3951] ppid=3949 vsize=2412 CPUtime=0.01
/proc/3951/stat : 3951 (SatELiteGTI) S 3949 3951 10436 0 -1 4194304 367 645 0 0 1 0 0 0 18 0 1 0 1018492130 2469888 277 4294967295 134512640 135169312 3213290432 3213288968 3085217518 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3951/statm: 603 277 235 161 0 42 0
[pid=3955] ppid=3951 vsize=70292 CPUtime=0.71
/proc/3955/stat : 3955 (SatELite_releas) R 3951 3951 10436 0 -1 4202496 15663 0 0 0 60 11 0 0 22 0 1 0 1018492131 71979008 15432 4294967295 134512640 135223648 3221005072 3221004024 134737310 0 0 0 3 0 0 0 17 1 0 0 0
/proc/3955/statm: 17573 15434 46 174 0 17398 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 72704

[startup+1.51125 s]
/proc/loadavg: 0.93 1.00 0.99 3/95 3956
/proc/meminfo: memFree=880836/2074464 swapFree=1948616/1959888
[pid=3951] ppid=3949 vsize=2412 CPUtime=0.01
/proc/3951/stat : 3951 (SatELiteGTI) S 3949 3951 10436 0 -1 4194304 367 645 0 0 1 0 0 0 18 0 1 0 1018492130 2469888 277 4294967295 134512640 135169312 3213290432 3213288968 3085217518 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3951/statm: 603 277 235 161 0 42 0
[pid=3955] ppid=3951 vsize=115340 CPUtime=1.49
/proc/3955/stat : 3955 (SatELite_releas) R 3951 3951 10436 0 -1 4202496 26367 0 0 0 131 18 0 0 25 0 1 0 1018492131 118108160 26136 4294967295 134512640 135223648 3221005072 3221003664 134548879 0 0 0 3 0 0 0 17 1 0 0 0
/proc/3955/statm: 28835 26136 67 174 0 28660 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 117752

[startup+3.11111 s]
/proc/loadavg: 0.93 1.00 0.99 2/95 3956
/proc/meminfo: memFree=845372/2074464 swapFree=1948616/1959888
[pid=3951] ppid=3949 vsize=2412 CPUtime=0.01
/proc/3951/stat : 3951 (SatELiteGTI) S 3949 3951 10436 0 -1 4194304 367 645 0 0 1 0 0 0 18 0 1 0 1018492130 2469888 277 4294967295 134512640 135169312 3213290432 3213288968 3085217518 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3951/statm: 603 277 235 161 0 42 0
[pid=3955] ppid=3951 vsize=136972 CPUtime=3.09
/proc/3955/stat : 3955 (SatELite_releas) R 3951 3951 10436 0 -1 4202496 34400 0 0 0 284 25 0 0 25 0 1 0 1018492131 140259328 31289 4294967295 134512640 135223648 3221005072 3221003168 134598323 0 0 0 3 0 0 0 17 1 0 0 0
/proc/3955/statm: 34243 31289 73 174 0 34068 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 139384

[startup+6.31085 s]
/proc/loadavg: 0.93 1.00 0.99 2/95 3956
/proc/meminfo: memFree=830780/2074464 swapFree=1948616/1959888
[pid=3951] ppid=3949 vsize=2412 CPUtime=0.01
/proc/3951/stat : 3951 (SatELiteGTI) S 3949 3951 10436 0 -1 4194304 367 645 0 0 1 0 0 0 18 0 1 0 1018492130 2469888 277 4294967295 134512640 135169312 3213290432 3213288968 3085217518 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3951/statm: 603 277 235 161 0 42 0
[pid=3955] ppid=3951 vsize=148108 CPUtime=6.29
/proc/3955/stat : 3955 (SatELite_releas) R 3951 3951 10436 0 -1 4202496 38727 0 0 0 604 25 0 0 25 0 1 0 1018492131 151662592 33098 4294967295 134512640 135223648 3221005072 3221003424 134602348 0 0 0 3 0 0 0 17 1 0 0 0
/proc/3955/statm: 37027 33098 73 174 0 36852 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 150520

[startup+12.7103 s]
/proc/loadavg: 0.94 1.00 0.99 2/95 3959
/proc/meminfo: memFree=891788/2074464 swapFree=1948616/1959888
[pid=3951] ppid=3949 vsize=2416 CPUtime=8.59
/proc/3951/stat : 3951 (SatELiteGTI) S 3949 3951 10436 0 -1 4194304 386 43291 0 0 1 0 828 30 19 0 1 0 1018492130 2473984 278 4294967295 134512640 135169312 3213290432 3213286648 3085217518 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3951/statm: 604 278 235 161 0 43 0
[pid=3959] ppid=3951 vsize=47016 CPUtime=4.1
/proc/3959/stat : 3959 (minisat_static) R 3951 3951 10436 0 -1 4202496 11179 0 0 0 402 8 0 0 25 0 1 0 1018492990 48144384 11082 4294967295 134512640 135215339 3219694128 3219692416 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3959/statm: 11754 11082 73 172 0 11581 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49432

[startup+25.5093 s]
/proc/loadavg: 0.95 1.00 0.99 2/95 3961
/proc/meminfo: memFree=890396/2074464 swapFree=1948616/1959888
[pid=3951] ppid=3949 vsize=2416 CPUtime=8.59
/proc/3951/stat : 3951 (SatELiteGTI) S 3949 3951 10436 0 -1 4194304 386 43291 0 0 1 0 828 30 19 0 1 0 1018492130 2473984 278 4294967295 134512640 135169312 3213290432 3213286648 3085217518 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3951/statm: 604 278 235 161 0 43 0
[pid=3959] ppid=3951 vsize=48520 CPUtime=16.9
/proc/3959/stat : 3959 (minisat_static) R 3951 3951 10436 0 -1 4202496 11551 0 0 0 1681 9 0 0 25 0 1 0 1018492990 49684480 11454 4294967295 134512640 135215339 3219694128 3219692416 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3959/statm: 12130 11454 73 172 0 11957 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 50936

[startup+51.1072 s]
/proc/loadavg: 0.96 1.00 0.99 4/95 4146
/proc/meminfo: memFree=885100/2074464 swapFree=1948616/1959888
[pid=3951] ppid=3949 vsize=2416 CPUtime=8.59
/proc/3951/stat : 3951 (SatELiteGTI) S 3949 3951 10436 0 -1 4194304 386 43291 0 0 1 0 828 30 19 0 1 0 1018492130 2473984 278 4294967295 134512640 135169312 3213290432 3213286648 3085217518 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3951/statm: 604 278 235 161 0 43 0
[pid=3959] ppid=3951 vsize=53528 CPUtime=42.5
/proc/3959/stat : 3959 (minisat_static) R 3951 3951 10436 0 -1 4202496 12797 0 0 0 4241 9 0 0 25 0 1 0 1018492990 54812672 12700 4294967295 134512640 135215339 3219694128 3219692416 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3959/statm: 13382 12700 73 172 0 13209 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 55944

[startup+102.313 s]
/proc/loadavg: 0.98 1.00 0.99 2/95 4337
/proc/meminfo: memFree=872180/2074464 swapFree=1948616/1959888
[pid=3951] ppid=3949 vsize=2416 CPUtime=8.59
/proc/3951/stat : 3951 (SatELiteGTI) S 3949 3951 10436 0 -1 4194304 386 43291 0 0 1 0 828 30 19 0 1 0 1018492130 2473984 278 4294967295 134512640 135169312 3213290432 3213286648 3085217518 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3951/statm: 604 278 235 161 0 43 0
[pid=3959] ppid=3951 vsize=66052 CPUtime=93.71
/proc/3959/stat : 3959 (minisat_static) R 3951 3951 10436 0 -1 4202496 15889 0 0 0 9360 11 0 0 25 0 1 0 1018492990 67637248 15792 4294967295 134512640 135215339 3219694128 3219692128 134532672 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3959/statm: 16513 15792 73 172 0 16340 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 68468

[startup+162.308 s]
/proc/loadavg: 0.99 1.00 0.99 3/95 4524
/proc/meminfo: memFree=856588/2074464 swapFree=1948616/1959888
[pid=3951] ppid=3949 vsize=2416 CPUtime=8.59
/proc/3951/stat : 3951 (SatELiteGTI) S 3949 3951 10436 0 -1 4194304 386 43291 0 0 1 0 828 30 19 0 1 0 1018492130 2473984 278 4294967295 134512640 135169312 3213290432 3213286648 3085217518 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3951/statm: 604 278 235 161 0 43 0
[pid=3959] ppid=3951 vsize=81884 CPUtime=153.71
/proc/3959/stat : 3959 (minisat_static) R 3951 3951 10436 0 -1 4202496 19854 0 0 0 15356 15 0 0 25 0 1 0 1018492990 83849216 19757 4294967295 134512640 135215339 3219694128 3219692416 134528863 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3959/statm: 20471 19757 73 172 0 20298 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 84300

[startup+222.323 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 4711
/proc/meminfo: memFree=838764/2074464 swapFree=1948616/1959888
[pid=3951] ppid=3949 vsize=2416 CPUtime=8.59
/proc/3951/stat : 3951 (SatELiteGTI) S 3949 3951 10436 0 -1 4194304 386 43291 0 0 1 0 828 30 19 0 1 0 1018492130 2473984 278 4294967295 134512640 135169312 3213290432 3213286648 3085217518 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3951/statm: 604 278 235 161 0 43 0
[pid=3959] ppid=3951 vsize=99588 CPUtime=213.73
/proc/3959/stat : 3959 (minisat_static) R 3951 3951 10436 0 -1 4202496 24287 0 0 0 21357 16 0 0 25 0 1 0 1018492990 101978112 24190 4294967295 134512640 135215339 3219694128 3219692128 134532704 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3959/statm: 24897 24190 73 172 0 24724 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 102004

[startup+282.318 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 4901
/proc/meminfo: memFree=820396/2074464 swapFree=1948616/1959888
[pid=3951] ppid=3949 vsize=2416 CPUtime=8.59
/proc/3951/stat : 3951 (SatELiteGTI) S 3949 3951 10436 0 -1 4194304 386 43291 0 0 1 0 828 30 19 0 1 0 1018492130 2473984 278 4294967295 134512640 135169312 3213290432 3213286648 3085217518 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3951/statm: 604 278 235 161 0 43 0
[pid=3959] ppid=3951 vsize=118392 CPUtime=273.73
/proc/3959/stat : 3959 (minisat_static) R 3951 3951 10436 0 -1 4202496 28955 0 0 0 27353 20 0 0 25 0 1 0 1018492990 121233408 28858 4294967295 134512640 135215339 3219694128 3219692192 134538552 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3959/statm: 29598 28858 73 172 0 29425 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 120808

[startup+342.313 s]
/proc/loadavg: 0.99 1.00 0.99 3/95 5091
/proc/meminfo: memFree=802308/2074464 swapFree=1948616/1959888
[pid=3951] ppid=3949 vsize=2416 CPUtime=8.59
/proc/3951/stat : 3951 (SatELiteGTI) S 3949 3951 10436 0 -1 4194304 386 43291 0 0 1 0 828 30 19 0 1 0 1018492130 2473984 278 4294967295 134512640 135169312 3213290432 3213286648 3085217518 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3951/statm: 604 278 235 161 0 43 0
[pid=3959] ppid=3951 vsize=136096 CPUtime=333.73
/proc/3959/stat : 3959 (minisat_static) R 3951 3951 10436 0 -1 4202496 33410 0 0 0 33349 24 0 0 25 0 1 0 1018492990 139362304 33313 4294967295 134512640 135215339 3219694128 3219692416 134528679 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3959/statm: 34024 33313 73 172 0 33851 0
Current children cumulated CPU time (s) 342.32

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

/proc/3959/statm: 50612 49866 73 172 0 50439 0
Current children cumulated CPU time (s) 582.34
Current children cumulated vsize (KiB) 204864

[startup+642.319 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 6034
/proc/meminfo: memFree=721956/2074464 swapFree=1948616/1959888
[pid=3951] ppid=3949 vsize=2416 CPUtime=8.59
/proc/3951/stat : 3951 (SatELiteGTI) S 3949 3951 10436 0 -1 4194304 386 43291 0 0 1 0 828 30 19 0 1 0 1018492130 2473984 278 4294967295 134512640 135169312 3213290432 3213286648 3085217518 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3951/statm: 604 278 235 161 0 43 0
[pid=3959] ppid=3951 vsize=216584 CPUtime=633.76
/proc/3959/stat : 3959 (minisat_static) R 3951 3951 10436 0 -1 4202496 53502 0 0 0 63336 40 0 0 25 0 1 0 1018492990 221782016 53405 4294967295 134512640 135215339 3219694128 3219692224 134527279 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3959/statm: 54146 53405 73 172 0 53973 0
Current children cumulated CPU time (s) 642.35
Current children cumulated vsize (KiB) 219000

[startup+702.314 s]
/proc/loadavg: 0.99 1.00 0.99 3/95 6223
/proc/meminfo: memFree=707144/2074464 swapFree=1948616/1959888
[pid=3951] ppid=3949 vsize=2416 CPUtime=8.59
/proc/3951/stat : 3951 (SatELiteGTI) S 3949 3951 10436 0 -1 4194304 386 43291 0 0 1 0 828 30 19 0 1 0 1018492130 2473984 278 4294967295 134512640 135169312 3213290432 3213286648 3085217518 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3951/statm: 604 278 235 161 0 43 0
[pid=3959] ppid=3951 vsize=231520 CPUtime=693.76
/proc/3959/stat : 3959 (minisat_static) R 3951 3951 10436 0 -1 4202496 57255 0 0 0 69333 43 0 0 25 0 1 0 1018492990 237076480 57158 4294967295 134512640 135215339 3219694128 3219692416 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3959/statm: 57880 57158 73 172 0 57707 0
Current children cumulated CPU time (s) 702.35
Current children cumulated vsize (KiB) 233936

[startup+762.319 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 6415
/proc/meminfo: memFree=692264/2074464 swapFree=1948616/1959888
[pid=3951] ppid=3949 vsize=2416 CPUtime=8.59
/proc/3951/stat : 3951 (SatELiteGTI) S 3949 3951 10436 0 -1 4194304 386 43291 0 0 1 0 828 30 19 0 1 0 1018492130 2473984 278 4294967295 134512640 135169312 3213290432 3213286648 3085217518 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3951/statm: 604 278 235 161 0 43 0
[pid=3959] ppid=3951 vsize=246196 CPUtime=753.77
/proc/3959/stat : 3959 (minisat_static) R 3951 3951 10436 0 -1 4202496 60940 0 0 0 75331 46 0 0 25 0 1 0 1018492990 252104704 60843 4294967295 134512640 135215339 3219694128 3219692416 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3959/statm: 61549 60843 73 172 0 61376 0
Current children cumulated CPU time (s) 762.36
Current children cumulated vsize (KiB) 248612

[startup+822.314 s]
/proc/loadavg: 0.99 1.00 0.99 3/95 6601
/proc/meminfo: memFree=678928/2074464 swapFree=1948616/1959888
[pid=3951] ppid=3949 vsize=2416 CPUtime=8.59
/proc/3951/stat : 3951 (SatELiteGTI) S 3949 3951 10436 0 -1 4194304 386 43291 0 0 1 0 828 30 19 0 1 0 1018492130 2473984 278 4294967295 134512640 135169312 3213290432 3213286648 3085217518 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3951/statm: 604 278 235 161 0 43 0
[pid=3959] ppid=3951 vsize=259688 CPUtime=813.77
/proc/3959/stat : 3959 (minisat_static) R 3951 3951 10436 0 -1 4202496 64319 0 0 0 81324 53 0 0 25 0 1 0 1018492990 265920512 64222 4294967295 134512640 135215339 3219694128 3219692192 134538574 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3959/statm: 64922 64222 73 172 0 64749 0
Current children cumulated CPU time (s) 822.36
Current children cumulated vsize (KiB) 262104

[startup+882.319 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 6790
/proc/meminfo: memFree=666016/2074464 swapFree=1948616/1959888
[pid=3951] ppid=3949 vsize=2416 CPUtime=8.59
/proc/3951/stat : 3951 (SatELiteGTI) S 3949 3951 10436 0 -1 4194304 386 43291 0 0 1 0 828 30 19 0 1 0 1018492130 2473984 278 4294967295 134512640 135169312 3213290432 3213286648 3085217518 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3951/statm: 604 278 235 161 0 43 0
[pid=3959] ppid=3951 vsize=272776 CPUtime=873.78
/proc/3959/stat : 3959 (minisat_static) R 3951 3951 10436 0 -1 4202496 67485 0 0 0 87322 56 0 0 25 0 1 0 1018492990 279322624 67388 4294967295 134512640 135215339 3219694128 3219692416 134529157 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3959/statm: 68194 67388 73 172 0 68021 0
Current children cumulated CPU time (s) 882.37
Current children cumulated vsize (KiB) 275192

[startup+942.314 s]
/proc/loadavg: 0.99 1.00 0.99 4/95 6977
/proc/meminfo: memFree=650152/2074464 swapFree=1948616/1959888
[pid=3951] ppid=3949 vsize=2416 CPUtime=8.59
/proc/3951/stat : 3951 (SatELiteGTI) S 3949 3951 10436 0 -1 4194304 386 43291 0 0 1 0 828 30 19 0 1 0 1018492130 2473984 278 4294967295 134512640 135169312 3213290432 3213286648 3085217518 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3951/statm: 604 278 235 161 0 43 0
[pid=3959] ppid=3951 vsize=288500 CPUtime=933.78
/proc/3959/stat : 3959 (minisat_static) R 3951 3951 10436 0 -1 4202496 71444 0 0 0 93319 59 0 0 25 0 1 0 1018492990 295424000 71347 4294967295 134512640 135215339 3219694128 3219692416 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3959/statm: 72125 71347 73 172 0 71952 0
Current children cumulated CPU time (s) 942.37
Current children cumulated vsize (KiB) 290916

[startup+1002.32 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 7166
/proc/meminfo: memFree=638440/2074464 swapFree=1948616/1959888
[pid=3951] ppid=3949 vsize=2416 CPUtime=8.59
/proc/3951/stat : 3951 (SatELiteGTI) S 3949 3951 10436 0 -1 4194304 386 43291 0 0 1 0 828 30 19 0 1 0 1018492130 2473984 278 4294967295 134512640 135169312 3213290432 3213286648 3085217518 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3951/statm: 604 278 235 161 0 43 0
[pid=3959] ppid=3951 vsize=300048 CPUtime=993.79
/proc/3959/stat : 3959 (minisat_static) R 3951 3951 10436 0 -1 4202496 74331 0 0 0 99312 67 0 0 25 0 1 0 1018492990 307249152 74234 4294967295 134512640 135215339 3219694128 3219692128 134532672 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3959/statm: 75012 74234 73 172 0 74839 0
Current children cumulated CPU time (s) 1002.38
Current children cumulated vsize (KiB) 302464

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 0.99 3/95 7353
/proc/meminfo: memFree=624816/2074464 swapFree=1948616/1959888
[pid=3951] ppid=3949 vsize=2416 CPUtime=8.59
/proc/3951/stat : 3951 (SatELiteGTI) S 3949 3951 10436 0 -1 4194304 386 43291 0 0 1 0 828 30 19 0 1 0 1018492130 2473984 278 4294967295 134512640 135169312 3213290432 3213286648 3085217518 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3951/statm: 604 278 235 161 0 43 0
[pid=3959] ppid=3951 vsize=313724 CPUtime=1053.78
/proc/3959/stat : 3959 (minisat_static) R 3951 3951 10436 0 -1 4202496 77762 0 0 0 105309 69 0 0 25 0 1 0 1018492990 321253376 77665 4294967295 134512640 135215339 3219694128 3219692416 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3959/statm: 78431 77665 73 172 0 78258 0
Current children cumulated CPU time (s) 1062.37
Current children cumulated vsize (KiB) 316140

[startup+1122.31 s]
/proc/loadavg: 0.99 1.00 0.99 3/95 7543
/proc/meminfo: memFree=612572/2074464 swapFree=1948616/1959888
[pid=3951] ppid=3949 vsize=2416 CPUtime=8.59
/proc/3951/stat : 3951 (SatELiteGTI) S 3949 3951 10436 0 -1 4194304 386 43291 0 0 1 0 828 30 19 0 1 0 1018492130 2473984 278 4294967295 134512640 135169312 3213290432 3213286648 3085217518 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3951/statm: 604 278 235 161 0 43 0
[pid=3959] ppid=3951 vsize=326024 CPUtime=1113.79
/proc/3959/stat : 3959 (minisat_static) R 3951 3951 10436 0 -1 4202496 80829 0 0 0 111307 72 0 0 25 0 1 0 1018492990 333848576 80732 4294967295 134512640 135215339 3219694128 3219692416 134528917 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3959/statm: 81506 80732 73 172 0 81333 0
Current children cumulated CPU time (s) 1122.38
Current children cumulated vsize (KiB) 328440

[startup+1182.31 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 7736
/proc/meminfo: memFree=600768/2074464 swapFree=1948616/1959888
[pid=3951] ppid=3949 vsize=2416 CPUtime=8.59
/proc/3951/stat : 3951 (SatELiteGTI) S 3949 3951 10436 0 -1 4194304 386 43291 0 0 1 0 828 30 19 0 1 0 1018492130 2473984 278 4294967295 134512640 135169312 3213290432 3213286648 3085217518 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3951/statm: 604 278 235 161 0 43 0
[pid=3959] ppid=3951 vsize=337548 CPUtime=1173.8
/proc/3959/stat : 3959 (minisat_static) R 3951 3951 10436 0 -1 4202496 83726 0 0 0 117305 75 0 0 25 0 1 0 1018492990 345649152 83629 4294967295 134512640 135215339 3219694128 3219692416 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3959/statm: 84387 83629 73 172 0 84214 0
Current children cumulated CPU time (s) 1182.39
Current children cumulated vsize (KiB) 339964



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1199.92 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 7736
/proc/meminfo: memFree=596564/2074464 swapFree=1948616/1959888
[pid=3951] ppid=3949 vsize=2416 CPUtime=8.59
/proc/3951/stat : 3951 (SatELiteGTI) S 3949 3951 10436 0 -1 4194304 386 43291 0 0 1 0 828 30 19 0 1 0 1018492130 2473984 278 4294967295 134512640 135169312 3213290432 3213286648 3085217518 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3951/statm: 604 278 235 161 0 43 0
[pid=3959] ppid=3951 vsize=341672 CPUtime=1191.41
/proc/3959/stat : 3959 (minisat_static) R 3951 3951 10436 0 -1 4202496 84768 0 0 0 119066 75 0 0 25 0 1 0 1018492990 349872128 84671 4294967295 134512640 135215339 3219694128 3219692416 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3959/statm: 85418 84671 73 172 0 85245 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 344088

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

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

[startup+1199.92 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 7736
/proc/meminfo: memFree=596564/2074464 swapFree=1948616/1959888
[pid=3951] ppid=3949 vsize=2416 CPUtime=8.59
/proc/3951/stat : 3951 (SatELiteGTI) S 3949 3951 10436 0 -1 4194304 386 43291 0 0 1 0 828 30 19 0 1 0 1018492130 2473984 278 4294967295 134512640 135169312 3213290432 3213286648 3085217518 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3951/statm: 604 278 235 161 0 43 0
[pid=3959] ppid=3951 vsize=341672 CPUtime=1191.41
/proc/3959/stat : 3959 (minisat_static) R 3951 3951 10436 0 -1 4202496 84768 0 0 0 119066 75 0 0 25 0 1 0 1018492990 349872128 84671 4294967295 134512640 135215339 3219694128 3219692416 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3959/statm: 85418 84671 73 172 0 85245 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 344088

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1199.95
CPU time (s): 1200
CPU user time (s): 1198.95
CPU system time (s): 1.05
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 344088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.29
system time used= 0.3
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43677
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= 50

runsolver used 0.03 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on tipi16 at 2009-05-17 07:58:34
IDJOB=1821580
IDBENCH=71013
IDSOLVER=657
FILE ID=tipi16/1821580-1242539914
PBS_JOBID=
Free space on /tmp= 4781 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UR-20-5p1.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1821580-1242539914/watcher-1821580-1242539914 -o /tmp/evaluation-result-1821580-1242539914/solver-1821580-1242539914 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1821580-1242539914.cnf

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

MD5SUM BENCH= c530016627d60451f148c386bba0e9bf
RANDOM SEED= 1146238197

Linux tipi16 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.457
cache size	: 1024 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3618.37

processor	: 1
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.457
cache size	: 1024 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.78

processor	: 2
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.457
cache size	: 1024 KB
physical id	: 1
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.78

processor	: 3
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.457
cache size	: 1024 KB
physical id	: 1
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.78


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:        962220 kB
Buffers:         56552 kB
Cached:         950688 kB
SwapCached:       5940 kB
Active:         204080 kB
Inactive:       813108 kB
HighTotal:     1178688 kB
HighFree:       264936 kB
LowTotal:       895776 kB
LowFree:        697284 kB
SwapTotal:     1959888 kB
SwapFree:      1948616 kB
Dirty:           24664 kB
Writeback:           0 kB
AnonPages:        9144 kB
Mapped:           3260 kB
Slab:            86120 kB
PageTables:        656 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    90760 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 4756 MiB
End job on tipi16 at 2009-05-17 08:18:38