Trace number 1833879

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.08 1200.51

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.18/1.25	c ==============================================================================
1.18/1.25	c |           |     ORIGINAL     |              LEARNT              |          |
1.18/1.25	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
1.18/1.25	c ==============================================================================
1.18/1.25	c |         0 | 1192205  2895644 |  357661       0        0     nan |  0.000 % |
8.39/8.45	c |         0 |  835606  2338833 |      --       0       --      -- |     --   | -102935/18730
8.39/8.45	c ==============================================================================
8.39/8.45	c Result  :   #vars: 121213   #clauses: 835606   #literals: 2338833
8.39/8.45	c CPU time:   8.18876 s
8.39/8.45	c ==============================================================================
9.28/9.33	c This is MiniSat 2.0 beta
9.28/9.33	c WARNING: for repeatability, setting FPU to use double precision
9.28/9.33	c ============================[ Problem Statistics ]=============================
9.28/9.33	c |                                                                             |
9.28/9.33	c |  Number of variables:  121213                                               |
9.28/9.33	c |  Number of clauses:    835606                                               |
9.77/9.87	c |  Parsing time:         0.48         s                                       |
9.77/9.89	c ============================[ Search Statistics ]==============================
9.77/9.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.77/9.89	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
9.77/9.89	c ===============================================================================
9.77/9.89	c |         0 |  121213   835606  2338833 |   278535        0    nan |  0.000 % |
10.06/10.16	c |       102 |  121183   835606  2338833 |   278535       98     94 |  0.337 % |
10.16/10.27	c |       202 |  121075   835606  2338833 |   278535      196     56 |  1.294 % |
10.46/10.52	c |       302 |  120985   835606  2338833 |   278535      288     41 |  3.299 % |
10.76/10.84	c |       413 |  120882   835606  2338833 |   278535      395     55 |  4.910 % |
10.87/10.98	c |       517 |  120827   835606  2338833 |   278535      497     87 |  6.380 % |
11.06/11.12	c |       627 |  120827   835606  2338833 |   278535      607     82 |  6.380 % |
11.16/11.30	c |       749 |  120696   835606  2338833 |   278535      727     77 |  9.314 % |
11.46/11.50	c |       850 |  109717   753605  2126987 |   278535      800     87 | 10.453 % |
11.46/11.56	c |       960 |  109717   753605  2126987 |   278535      910     80 | 10.453 % |
11.66/11.72	c |      1081 |  109717   753605  2126987 |   278535     1031     83 | 10.453 % |
11.86/11.95	c |      1215 |  109373   753605  2126987 |   278535     1164     81 | 11.335 % |
11.96/12.06	c |      1316 |  109373   753605  2126987 |   278535     1265     84 | 11.335 % |
12.06/12.11	c |      1426 |  109373   753605  2126987 |   278535     1374     89 | 11.346 % |
12.16/12.30	c |      1548 |  109372   753605  2126987 |   278535     1496     88 | 11.346 % |
12.46/12.55	c |      1684 |  109357   753605  2126987 |   278535     1630     88 | 11.380 % |
12.66/12.74	c |      1834 |  109353   753605  2126987 |   278535     1777     86 | 11.402 % |
12.76/12.88	c |      1934 |  109353   753605  2126987 |   278535     1877     86 | 11.402 % |
12.96/13.02	c |      2045 |  107391   734164  2075849 |   278535     1978     85 | 11.412 % |
13.06/13.14	c |      2166 |  107391   734164  2075849 |   278535     2099     83 | 11.412 % |
13.36/13.45	c |      2299 |  107385   734164  2075849 |   278535     2231     81 | 11.422 % |
13.56/13.63	c |      2445 |  107366   734164  2075849 |   278535     2375     79 | 11.457 % |
13.77/13.82	c |      2607 |  107074   734164  2075849 |   278535     2536     77 | 13.018 % |
13.87/13.92	c |      2710 |  107074   734164  2075849 |   278535     2638     77 | 13.027 % |
13.96/14.03	c |      2820 |  107072   734164  2075849 |   278535     2748     77 | 13.027 % |
14.06/14.12	c |      2941 |  107058   734164  2075849 |   278535     2869     76 | 13.027 % |
14.17/14.25	c |      3074 |  107007   734164  2075849 |   278535     3001     73 | 13.170 % |
14.36/14.40	c |      3222 |  105243   717993  2033497 |   278535     3139     72 | 13.254 % |
14.46/14.56	c |      3382 |  105176   717993  2033497 |   278535     3298     71 | 13.548 % |
14.66/14.77	c |      3559 |  105175   717993  2033497 |   278535     3474     72 | 13.549 % |
14.76/14.85	c |      3660 |  105175   717993  2033497 |   278535     3575     72 | 13.549 % |
14.86/14.97	c |      3770 |  105175   717993  2033497 |   278535     3685     73 | 13.549 % |
15.06/15.10	c |      3891 |  105175   717993  2033497 |   278535     3806     73 | 13.549 % |
15.16/15.22	c |      4026 |  105175   717993  2033497 |   278535     3941     73 | 13.549 % |
15.26/15.35	c |      4172 |  105175   717993  2033497 |   278535     4087     75 | 13.549 % |
15.56/15.68	c |      4332 |  105079   717993  2033497 |   278535     4247     75 | 13.549 % |
15.86/15.97	c |      4509 |  104721   714667  2025024 |   278535     4417     74 | 15.252 % |
16.56/16.67	c |      4702 |  104703   714667  2025024 |   278535     4607     73 | 16.672 % |
16.66/16.71	c |      4802 |  104685   714667  2025024 |   278535     4706     72 | 16.745 % |
16.86/16.90	c |      4912 |  104683   714667  2025024 |   278535     4815     72 | 16.754 % |
17.06/17.10	c |      5033 |  104683   714667  2025024 |   278535     4936     72 | 16.754 % |
17.26/17.35	c |      5168 |  100901   686975  1952312 |   278535     5061     71 | 16.757 % |
17.46/17.59	c |      5314 |  100894   686975  1952312 |   278535     5206     71 | 16.767 % |
17.76/17.88	c |      5480 |  100889   686975  1952312 |   278535     5372     71 | 16.767 % |
17.86/17.97	c |      5656 |  100889   686975  1952312 |   278535     5548     72 | 16.767 % |
18.16/18.23	c |      5849 |  100889   686975  1952312 |   278535     5741     72 | 16.767 % |
18.36/18.46	c |      6063 |  100889   686975  1952312 |   278535     5955     72 | 16.767 % |
18.56/18.67	c |      6163 |  100889   686975  1952312 |   278535     6055     72 | 16.767 % |
18.76/18.85	c |      6273 |  100889   686915  1952192 |   278535     6165     72 | 16.767 % |
18.96/19.05	c |      6395 |  100861   686915  1952192 |   278535     6286     71 | 16.803 % |
19.16/19.23	c |      6530 |  100860   686915  1952192 |   278535     6420     71 | 16.817 % |
19.26/19.38	c |      6676 |  100859   686915  1952192 |   278535     6566     70 | 16.817 % |
19.56/19.64	c |      6837 |  100855   686915  1952192 |   278535     6727     71 | 16.817 % |
19.76/19.83	c |      7013 |  100855   686915  1952192 |   278535     6903     72 | 16.817 % |
19.96/20.00	c |      7207 |  100855   686915  1952192 |   278535     7097     74 | 16.817 % |
20.16/20.30	c |      7419 |  100855   686915  1952192 |   278535     7309     74 | 16.817 % |
20.56/20.68	c |      7652 |  100618   686608  1951450 |   278535     7522     73 | 17.858 % |
20.66/20.76	c |      7752 |  100618   686608  1951450 |   278535     7622     73 | 17.858 % |
20.76/20.86	c |      7862 |  100618   686608  1951450 |   278535     7732     73 | 17.858 % |
20.86/20.99	c |      7987 |  100618   686608  1951450 |   278535     7857     74 | 17.858 % |
21.06/21.13	c |      8120 |  100618   686608  1951450 |   278535     7990     74 | 17.858 % |
21.16/21.24	c |      8266 |  100618   686608  1951450 |   278535     8136     74 | 17.858 % |
21.36/21.43	c |      8427 |  100616   686608  1951450 |   278535     8296     74 | 19.075 % |
21.56/21.60	c |      8603 |  100616   686608  1951450 |   278535     8472     74 | 19.075 % |
21.86/21.99	c |      8796 |  100300   686608  1951450 |   278535     8660     73 | 19.706 % |
22.36/22.45	c |      9008 |   96084   651718  1861125 |   278535     8830     73 | 20.731 % |
22.76/22.88	c |      9243 |   96082   651718  1861125 |   278535     9064     72 | 20.741 % |
23.16/23.22	c |      9499 |   96031   651718  1861125 |   278535     9318     72 | 21.146 % |
23.26/23.30	c |      9599 |   96031   651718  1861125 |   278535     9418     73 | 21.146 % |
23.26/23.37	c |      9710 |   96031   651718  1861125 |   278535     9529     72 | 21.146 % |
23.56/23.69	c |      9836 |   96024   651718  1861125 |   278535     9654     72 | 21.152 % |
23.86/23.97	c |      9969 |   96023   651718  1861125 |   278535     9786     73 | 21.154 % |
24.06/24.16	c |     10115 |   95572   649703  1856839 | 2147483647     9914     73 | 21.154 % |
24.25/24.36	c |     10276 |   95572   649703  1856839 | 2147483647    10075     73 | 21.154 % |
24.65/24.79	c |     10452 |   95427   649703  1856839 | 2147483647    10249     73 | 21.629 % |
24.85/24.93	c |     10646 |   95427   649703  1856839 | 2147483647    10443     74 | 21.629 % |
25.16/25.26	c |     10858 |   95397   649703  1856839 | 2147483647    10641     73 | 22.022 % |
25.65/25.73	c |     11091 |   95396   649703  1856839 | 2147483647    10873     73 | 22.033 % |
26.45/26.55	c |     11347 |   94485   642241  1837787 | 2147483647    11044     74 | 22.140 % |
26.65/26.77	c |     11631 |   94481   642241  1837787 | 2147483647    11328     74 | 22.140 % |
26.75/26.83	c |     11731 |   94481   642241  1837787 | 2147483647    11428     74 | 22.140 % |
26.95/27.04	c |     11841 |   94481   642241  1837787 | 2147483647    11538     73 | 22.140 % |
27.15/27.23	c |     11962 |   94372   642241  1837787 | 2147483647    11656     73 | 22.291 % |
27.25/27.37	c |     12101 |   94371   642241  1837787 | 2147483647    11794     73 | 22.296 % |
27.55/27.65	c |     12248 |   92550   627928  1801056 | 2147483647    11925     72 | 23.647 % |
27.85/27.91	c |     12410 |   92550   627928  1801056 | 2147483647    12087     72 | 23.647 % |
28.05/28.13	c |     12586 |   92544   627928  1801056 | 2147483647    12262     72 | 23.714 % |
28.46/28.60	c |     12779 |   92521   627928  1801056 | 2147483647    12454     72 | 23.714 % |
28.76/28.87	c |     12991 |   92521   627928  1801056 | 2147483647    12666     73 | 23.714 % |
29.16/29.29	c |     13224 |   92521   627928  1801056 | 2147483647    12899     72 | 23.714 % |
29.66/29.78	c |     13480 |   92519   627928  1801056 | 2147483647    13154     72 | 23.724 % |
30.06/30.12	c |     13762 |   92437   627412  1799838 | 2147483647    13434     73 | 23.784 % |
30.36/30.44	c |     14072 |   92437   627412  1799838 | 2147483647    13744     72 | 23.784 % |
30.46/30.59	c |     14172 |   92437   627412  1799838 | 2147483647    13844     72 | 23.784 % |
30.66/30.71	c |     14284 |   92437   627412  1799838 | 2147483647    13956     72 | 23.784 % |
30.76/30.82	c |     14405 |   92436   627412  1799838 | 2147483647    14076     72 | 23.785 % |
31.06/31.11	c |     14541 |   92436   627412  1799838 | 2147483647    14212     72 | 23.785 % |
31.16/31.25	c |     14687 |   92435   627412  1799838 | 2147483647    14356     72 | 23.957 % |
31.36/31.41	c |     14849 |   92421   627412  1799838 | 2147483647    14517     72 | 23.968 % |
31.46/31.59	c |     15031 |   92421   627412  1799838 | 2147483647    14699     72 | 23.968 % |
31.96/32.04	c |     15224 |   92144   625255  1794237 | 2147483647    14880     72 | 23.982 % |
32.46/32.56	c |     15436 |   92130   625255  1794237 | 2147483647    15091     72 | 24.077 % |
32.96/33.02	c |     15671 |   92102   625255  1794237 | 2147483647    15324     72 | 24.164 % |
33.26/33.39	c |     15928 |   92102   625255  1794237 | 2147483647    15581     72 | 24.164 % |
33.76/33.80	c |     16209 |   92017   625255  1794237 | 2147483647    15860     72 | 24.440 % |
34.25/34.33	c |     16518 |   91370   619761  1779940 | 2147483647    16144     73 | 24.620 % |
34.85/34.90	c |     16858 |   91351   619761  1779940 | 2147483647    16480     72 | 24.728 % |
34.95/35.04	c |     16961 |   91348   619761  1779940 | 2147483647    16582     72 | 24.739 % |
35.16/35.28	c |     17071 |   91324   619761  1779940 | 2147483647    16690     72 | 24.792 % |
35.35/35.49	c |     17192 |   91315   619761  1779940 | 2147483647    16807     72 | 24.827 % |
35.65/35.71	c |     17326 |   91314   619761  1779940 | 2147483647    16941     72 | 24.827 % |
35.75/35.83	c |     17473 |   91313   619761  1779940 | 2147483647    17088     72 | 24.827 % |
35.95/36.03	c |     17633 |   91313   619761  1779940 | 2147483647    17248     72 | 24.827 % |
36.05/36.15	c |     17809 |   91313   619761  1779940 | 2147483647    17424     71 | 24.827 % |
36.35/36.43	c |     18002 |   91311   619761  1779940 | 2147483647    17616     71 | 24.829 % |
36.55/36.69	c |     18214 |   91117   618256  1776335 | 2147483647    17812     71 | 24.829 % |
37.26/37.40	c |     18448 |   91116   618256  1776335 | 2147483647    18045     72 | 24.831 % |
37.55/37.67	c |     18704 |   91115   618256  1776335 | 2147483647    18300     72 | 24.841 % |
38.15/38.24	c |     18986 |   91114   618256  1776335 | 2147483647    18581     72 | 24.851 % |
38.75/38.81	c |     19298 |   91069   618256  1776335 | 2147483647    18891     72 | 25.020 % |
39.25/39.33	c |     19637 |   90885   616569  1771884 | 2147483647    19227     72 | 25.020 % |
39.85/39.93	c |     20009 |   90885   616569  1771884 | 2147483647    19599     72 | 25.020 % |
39.95/40.09	c |     20109 |   90885   616569  1771884 | 2147483647    19699     72 | 25.020 % |
40.16/40.28	c |     20219 |   90885   616569  1771884 | 2147483647    19809     72 | 25.020 % |
40.26/40.37	c |     20348 |   90885   616569  1771884 | 2147483647    19938     72 | 25.020 % |
40.46/40.56	c |     20481 |   90885   616569  1771884 | 2147483647    20071     72 | 25.020 % |
40.56/40.69	c |     20632 |   90884   616569  1771884 | 2147483647    20221     72 | 25.021 % |
40.96/41.08	c |     20792 |   90884   616569  1771884 | 2147483647    20381     72 | 25.021 % |
41.36/41.47	c |     20968 |   90884   616569  1771884 | 2147483647    20557     73 | 25.021 % |
41.86/41.94	c |     21161 |   90882   616562  1771870 | 2147483647    20748     73 | 25.027 % |
42.16/42.24	c |     21374 |   90882   616562  1771870 | 2147483647    20961     73 | 25.027 % |
42.46/42.53	c |     21607 |   90882   616562  1771870 | 2147483647    21194     74 | 25.027 % |
42.86/42.92	c |     21863 |   90882   616562  1771870 | 2147483647    21449     74 | 25.029 % |
43.36/43.45	c |     22147 |   90882   616562  1771870 | 2147483647    21733     75 | 25.029 % |
44.35/44.45	c |     22456 |   90877   616562  1771870 | 2147483647    22040     75 | 25.061 % |
44.96/45.01	c |     22795 |   90836   616180  1770905 | 2147483647    22373     76 | 25.061 % |
45.55/45.63	c |     23169 |   90836   616180  1770905 | 2147483647    22747     76 | 25.061 % |
45.95/46.09	c |     23580 |   90836   616180  1770905 | 2147483647    23158     76 | 25.061 % |
46.25/46.33	c |     23681 |   90792   616180  1770905 | 2147483647    23258     76 | 25.685 % |
46.35/46.47	c |     23793 |   90755   616180  1770905 | 2147483647    23369     76 | 25.719 % |
46.65/46.73	c |     23916 |   90755   616180  1770905 | 2147483647    23492     76 | 25.719 % |
46.95/47.05	c |     24049 |   90754   616180  1770905 | 2147483647    23624     76 | 26.161 % |
47.16/47.28	c |     24195 |   90754   616180  1770905 | 2147483647    23770     77 | 26.161 % |
47.35/47.45	c |     24355 |   90754   616180  1770905 | 2147483647    23930     77 | 26.161 % |
47.75/47.85	c |     24532 |   89422   605158  1741343 | 2147483647    24103     76 | 26.227 % |
48.05/48.17	c |     24725 |   89422   605158  1741343 | 2147483647    24296     77 | 26.227 % |
48.45/48.52	c |     24937 |   89422   605158  1741343 | 2147483647    24508     76 | 26.227 % |
48.85/48.99	c |     25171 |   89416   605158  1741343 | 2147483647    24739     77 | 26.269 % |
49.15/49.29	c |     25427 |   89347   605158  1741343 | 2147483647    24994     76 | 26.776 % |
50.25/50.38	c |     25708 |   89170   605158  1741343 | 2147483647    25275     77 | 26.776 % |
51.05/51.14	c |     26017 |   89089   605158  1741343 | 2147483647    25582     77 | 26.900 % |
51.65/51.72	c |     26356 |   88606   599623  1727091 | 2147483647    25858     79 | 26.901 % |
52.15/52.28	c |     26728 |   88550   599623  1727091 | 2147483647    26228     78 | 26.983 % |
52.95/53.05	c |     27137 |   88549   599623  1727091 | 2147483647    26636     78 | 26.984 % |
54.34/54.47	c |     27586 |   88549   599623  1727091 | 2147483647    27085     80 | 26.984 % |
54.64/54.71	c |     27686 |   88502   599181  1726099 | 2147483647    27181     80 | 27.001 % |
54.85/54.97	c |     27796 |   88499   599181  1726099 | 2147483647    27291     80 | 27.001 % |
55.04/55.11	c |     27917 |   88499   599181  1726099 | 2147483647    27412     80 | 27.001 % |
55.55/55.62	c |     28050 |   88498   599181  1726099 | 2147483647    27544     80 | 27.002 % |
55.65/55.77	c |     28200 |   88498   599181  1726099 | 2147483647    27694     80 | 27.002 % |
55.85/55.92	c |     28361 |   88498   599181  1726099 | 2147483647    27855     79 | 27.002 % |
56.06/56.12	c |     28542 |   88498   599181  1726099 | 2147483647    28036     80 | 27.002 % |
56.35/56.48	c |     28735 |   88497   599181  1726099 | 2147483647    28228     79 | 27.237 % |
56.75/56.88	c |     28947 |   88494   599181  1726099 | 2147483647    28439     80 | 27.273 % |
57.45/57.52	c |     29180 |   88470   599181  1726099 | 2147483647    28671     80 | 27.339 % |
57.75/57.82	c |     29436 |   88470   599181  1726099 | 2147483647    28927     80 | 27.339 % |
58.75/58.82	c |     29722 |   88073   595790  1717003 | 2147483647    29170     80 | 27.349 % |
59.45/59.57	c |     30032 |   88066   595790  1717003 | 2147483647    29476     80 | 27.370 % |
59.75/59.85	c |     30372 |   88066   595790  1717003 | 2147483647    29816     79 | 27.370 % |
60.35/60.49	c |     30744 |   88066   595790  1717003 | 2147483647    30188     80 | 27.370 % |
61.25/61.34	c |     31154 |   88066   595790  1717003 | 2147483647    30598     80 | 27.370 % |
62.55/62.66	c |     31604 |   88037   595493  1716198 | 2147483647    31043     81 | 27.370 % |
63.55/63.68	c |     32097 |   88036   595493  1716198 | 2147483647    31535     81 | 27.371 % |
63.85/63.96	c |     32203 |   88036   595493  1716198 | 2147483647    31641     81 | 27.371 % |
64.15/64.28	c |     32313 |   88036   595493  1716198 | 2147483647    31751     82 | 27.371 % |
64.65/64.72	c |     32435 |   88036   595493  1716198 | 2147483647    31873     82 | 27.371 % |
64.85/64.97	c |     32568 |   88036   595493  1716198 | 2147483647    32006     82 | 27.371 % |
65.75/65.81	c |     32714 |   87977   595281  1715744 | 2147483647    32123     82 | 27.420 % |
66.25/66.31	c |     32875 |   87977   595281  1715744 | 2147483647    32284     83 | 27.420 % |
66.55/66.67	c |     33053 |   87977   595281  1715744 | 2147483647    32462     82 | 27.420 % |
66.85/66.91	c |     33250 |   87977   595281  1715744 | 2147483647    32659     82 | 27.420 % |
67.45/67.59	c |     33465 |   87977   595281  1715744 | 2147483647    32874     83 | 27.420 % |
68.25/68.38	c |     33700 |   87977   595281  1715744 | 2147483647    33109     84 | 27.420 % |
68.84/68.94	c |     33956 |   87977   595281  1715744 | 2147483647    33365     84 | 27.420 % |
69.54/69.63	c |     34238 |   87977   595281  1715744 | 2147483647    33647     84 | 27.420 % |
70.44/70.56	c |     34547 |   87977   595281  1715744 | 2147483647    33956     85 | 27.420 % |
71.44/71.57	c |     34889 |   87977   595281  1715744 | 2147483647    34298     86 | 27.420 % |
72.44/72.52	c |     35266 |   87937   595150  1715466 | 2147483647    34672     86 | 27.453 % |
73.24/73.35	c |     35676 |   87937   595150  1715466 | 2147483647    35082     86 | 27.453 % |
74.45/74.52	c |     36126 |   87934   595150  1715466 | 2147483647    35530     87 | 27.467 % |
75.75/75.84	c |     36619 |   87878   595150  1715466 | 2147483647    36021     88 | 27.557 % |
76.34/76.49	c |     37163 |   87806   594361  1713775 | 2147483647    36538     88 | 27.567 % |
76.54/76.62	c |     37263 |   87806   594361  1713775 | 2147483647    36638     88 | 27.567 % |
76.64/76.77	c |     37373 |   87806   594361  1713775 | 2147483647    36748     88 | 27.567 % |
77.04/77.12	c |     37494 |   87806   594361  1713775 | 2147483647    36869     89 | 27.567 % |
77.34/77.48	c |     37627 |   87806   594361  1713775 | 2147483647    37001     89 | 27.574 % |
77.64/77.75	c |     37777 |   87806   594361  1713775 | 2147483647    37149     89 | 27.590 % |
77.94/78.09	c |     37937 |   87801   594361  1713775 | 2147483647    37309     89 | 27.590 % |
78.54/78.62	c |     38113 |   87801   594361  1713775 | 2147483647    37485     90 | 27.590 % |
78.84/78.95	c |     38307 |   87799   594361  1713775 | 2147483647    37678     90 | 27.600 % |
79.44/79.56	c |     38521 |   87754   594361  1713775 | 2147483647    37890     90 | 27.655 % |
79.94/80.05	c |     38756 |   87754   594361  1713775 | 2147483647    38124     90 | 27.655 % |
80.54/80.66	c |     39013 |   87753   594361  1713775 | 2147483647    38381     90 | 27.655 % |
81.14/81.28	c |     39296 |   87689   593452  1711460 | 2147483647    38639     90 | 27.666 % |
82.24/82.31	c |     39605 |   87686   593452  1711460 | 2147483647    38947     91 | 27.689 % |
83.14/83.22	c |     39949 |   87684   593452  1711460 | 2147483647    39290     92 | 27.756 % |
83.84/83.96	c |     40326 |   87684   593452  1711460 | 2147483647    39667     92 | 27.756 % |
84.94/85.10	c |     40737 |   87675   593452  1711460 | 2147483647    40076     92 | 27.767 % |
86.34/86.41	c |     41187 |   87673   593452  1711460 | 2147483647    40525     94 | 27.775 % |
87.64/87.78	c |     41680 |   87540   592633  1709555 | 2147483647    40991     96 | 27.787 % |
89.33/89.45	c |     42222 |   87539   592633  1709555 | 2147483647    41532     97 | 27.787 % |
90.84/90.93	c |     42818 |   87524   592633  1709555 | 2147483647    42126     98 | 27.819 % |
91.04/91.16	c |     42918 |   87518   592633  1709555 | 2147483647    42225     98 | 28.004 % |
91.34/91.50	c |     43028 |   87507   592633  1709555 | 2147483647    42332     98 | 28.193 % |
91.64/91.73	c |     43149 |   87039   590476  1704955 | 2147483647    42330     98 | 28.193 % |
92.14/92.24	c |     43283 |   87038   590476  1704955 | 2147483647    42463     98 | 28.201 % |
92.64/92.75	c |     43430 |   87038   590476  1704955 | 2147483647    42610     99 | 28.201 % |
92.84/92.90	c |     43590 |   87038   590476  1704955 | 2147483647    42770     99 | 28.201 % |
93.14/93.26	c |     43766 |   87038   590476  1704955 | 2147483647    42946     99 | 28.201 % |
93.54/93.66	c |     43960 |   87037   590476  1704955 | 2147483647    43139     99 | 28.207 % |
93.84/93.92	c |     44172 |   87037   590476  1704955 | 2147483647    43351     99 | 28.207 % |
94.04/94.17	c |     44407 |   87037   590476  1704955 | 2147483647    43586     99 | 28.207 % |
94.94/95.09	c |     44663 |   87037   590476  1704955 | 2147483647    43842     99 | 28.207 % |
95.54/95.63	c |     44944 |   87037   590476  1704955 | 2147483647    44123     99 | 28.207 % |
96.43/96.50	c |     45253 |   87033   590476  1704955 | 2147483647    44429    100 | 28.236 % |
96.93/97.02	c |     45592 |   87033   590476  1704955 | 2147483647    44768    100 | 28.236 % |
98.23/98.38	c |     45964 |   86985   590013  1703740 | 2147483647    45112    100 | 28.244 % |
99.54/99.63	c |     46374 |   86984   590013  1703740 | 2147483647    45521    101 | 28.254 % |
101.23/101.30	c |     46823 |   86934   590013  1703740 | 2147483647    45969    102 | 28.372 % |
102.84/102.93	c |     47317 |   86934   590013  1703740 | 2147483647    46463    103 | 28.372 % |
104.24/104.39	c |     47863 |   86934   590013  1703740 | 2147483647    47009    104 | 28.372 % |
106.33/106.40	c |     48460 |   86814   588974  1701174 | 2147483647    47566    105 | 28.508 % |
107.93/108.05	c |     49115 |   86777   588974  1701174 | 2147483647    48217    105 | 28.603 % |
108.13/108.24	c |     49220 |   86777   588974  1701174 | 2147483647    48322    105 | 28.603 % |
108.53/108.60	c |     49330 |   86777   588974  1701174 | 2147483647    48432    106 | 28.603 % |
109.13/109.20	c |     49452 |   86774   588974  1701174 | 2147483647    48552    106 | 28.622 % |
109.23/109.35	c |     49586 |   86774   588974  1701174 | 2147483647    48686    106 | 28.622 % |
109.94/110.05	c |     49732 |   86774   588974  1701174 | 2147483647    48832    106 | 28.622 % |
110.23/110.35	c |     49892 |   86774   588974  1701174 | 2147483647    48992    106 | 28.622 % |
111.13/111.26	c |     50074 |   86773   588974  1701174 | 2147483647    49173    106 | 28.872 % |
111.83/111.91	c |     50267 |   86216   583825  1687431 | 2147483647    49220    107 | 28.872 % |
112.53/112.60	c |     50480 |   86198   583825  1687431 | 2147483647    49427    107 | 28.980 % |
113.24/113.31	c |     50713 |   86198   583825  1687431 | 2147483647    49660    107 | 28.980 % |
113.63/113.74	c |     50969 |   86198   583825  1687431 | 2147483647    49916    108 | 28.980 % |
114.33/114.42	c |     51250 |   86198   583825  1687431 | 2147483647    50197    108 | 28.980 % |
115.43/115.52	c |     51560 |   86198   583825  1687431 | 2147483647    50507    109 | 28.980 % |
116.63/116.78	c |     51901 |   86198   583825  1687431 | 2147483647    50848    110 | 28.980 % |
117.33/117.45	c |     52273 |   86198   583825  1687431 | 2147483647    51220    110 | 28.980 % |
118.64/118.71	c |     52682 |   86198   583825  1687431 | 2147483647    51629    111 | 28.980 % |
120.33/120.47	c |     53131 |   86077   582772  1684572 | 2147483647    52068    112 | 29.385 % |
121.73/121.87	c |     53625 |   86077   582772  1684572 | 2147483647    52561    113 | 29.386 % |
123.53/123.67	c |     54169 |   86077   582772  1684572 | 2147483647    53105    114 | 29.386 % |
124.83/124.98	c |     54765 |   85939   582772  1684572 | 2147483647    53697    114 | 29.608 % |
127.63/127.79	c |     55422 |   85319   573592  1659910 | 2147483647    53155    117 | 29.637 % |
129.43/129.58	c |     56143 |   85317   573592  1659910 | 2147483647    53875    118 | 29.649 % |
129.83/129.98	c |     56245 |   85238   573592  1659910 | 2147483647    53970    118 | 29.734 % |
130.63/130.74	c |     56355 |   85238   573592  1659910 | 2147483647    54080    119 | 29.734 % |
130.93/131.07	c |     56479 |   85238   573592  1659910 | 2147483647    54204    119 | 29.734 % |
131.33/131.44	c |     56613 |   85238   573592  1659910 | 2147483647    54338    119 | 29.734 % |
131.93/132.02	c |     56759 |   85238   573592  1659910 | 2147483647    54483    120 | 29.736 % |
132.42/132.59	c |     56921 |   85238   573592  1659910 | 2147483647    54645    120 | 29.736 % |
133.03/133.17	c |     57097 |   85238   573592  1659910 | 2147483647    54821    120 | 29.736 % |
134.03/134.16	c |     57292 |   85236   573592  1659910 | 2147483647    55012    121 | 30.008 % |
134.93/135.06	c |     57505 |   85236   573592  1659910 | 2147483647    55225    121 | 30.008 % |
135.93/136.09	c |     57739 |   84838   566012  1638968 | 2147483647    55416    121 | 30.009 % |
136.73/136.87	c |     57997 |   84838   566012  1638968 | 2147483647    55674    122 | 30.009 % |
137.73/137.82	c |     58278 |   84837   566012  1638968 | 2147483647    55954    122 | 30.061 % |
139.03/139.16	c |     58587 |   84836   566012  1638968 | 2147483647    56262    123 | 30.071 % |
139.83/139.97	c |     58928 |   84836   566012  1638968 | 2147483647    56603    123 | 30.071 % |
140.63/140.72	c |     59300 |   84836   566012  1638968 | 2147483647    56975    123 | 30.071 % |
141.32/141.43	c |     59709 |   84836   566012  1638968 | 2147483647    57384    123 | 30.071 % |
142.52/142.61	c |     60159 |   84836   566012  1638968 | 2147483647    57834    124 | 30.071 % |
144.02/144.17	c |     60653 |   84831   566012  1638968 | 2147483647    58325    124 | 30.077 % |
145.82/145.99	c |     61195 |   84755   565483  1637662 | 2147483647    58783    126 | 30.078 % |
147.22/147.34	c |     61792 |   84753   565483  1637662 | 2147483647    59379    126 | 30.092 % |
149.42/149.53	c |     62447 |   84752   565483  1637662 | 2147483647    60033    127 | 30.299 % |
151.22/151.35	c |     63169 |   84745   565483  1637662 | 2147483647    60752    128 | 30.309 % |
153.72/153.90	c |     63961 |   84743   565483  1637662 | 2147483647    61542    128 | 30.353 % |
154.12/154.25	c |     64061 |   84421   563838  1633802 | 2147483647    61588    129 | 30.353 % |
154.32/154.49	c |     64172 |   84421   563838  1633802 | 2147483647    61699    129 | 30.353 % |
154.62/154.75	c |     64295 |   84415   563838  1633802 | 2147483647    61821    129 | 30.458 % |
155.32/155.43	c |     64428 |   84414   563838  1633802 | 2147483647    61954    129 | 30.458 % |
155.82/155.97	c |     64574 |   84414   563838  1633802 | 2147483647    62099    129 | 30.460 % |
156.32/156.41	c |     64734 |   84414   563838  1633802 | 2147483647    62259    130 | 30.460 % |
156.72/156.89	c |     64912 |   84414   563838  1633802 | 2147483647    62436    130 | 30.463 % |
157.12/157.29	c |     65105 |   84413   563838  1633802 | 2147483647    62628    130 | 30.464 % |
158.11/158.22	c |     65317 |   84412   563838  1633802 | 2147483647    62839    130 | 30.473 % |
158.51/158.68	c |     65554 |   84412   563838  1633802 | 2147483647    63076    130 | 30.473 % |
159.01/159.14	c |     65810 |   84412   563838  1633802 | 2147483647    63332    130 | 30.473 % |
159.42/159.53	c |     66091 |   84412   563838  1633802 | 2147483647    63613    130 | 30.473 % |
160.32/160.41	c |     66400 |   84411   563838  1633802 | 2147483647    63921    130 | 30.474 % |
161.32/161.47	c |     66739 |   84411   563838  1633802 | 2147483647    64260    130 | 30.474 % |
162.52/162.68	c |     67112 |   84409   563838  1633802 | 2147483647    64631    131 | 30.484 % |
163.62/163.80	c |     67525 |   84409   563838  1633802 | 2147483647    65044    131 | 30.484 % |
165.21/165.34	c |     67974 |   84260   563037  1631972 | 2147483647    65463    131 | 30.490 % |
166.31/166.44	c |     68467 |   84257   563037  1631972 | 2147483647    65954    132 | 30.498 % |
167.61/167.74	c |     69009 |   84256   563037  1631972 | 2147483647    66495    132 | 30.499 % |
170.32/170.41	c |     69605 |   84239   563037  1631972 | 2147483647    67089    133 | 30.531 % |
172.52/172.66	c |     70263 |   84233   563037  1631972 | 2147483647    67744    134 | 30.846 % |
174.01/174.14	c |     70986 |   84229   563037  1631972 | 2147483647    68465    134 | 30.855 % |
177.01/177.15	c |     71778 |   83808   560371  1625500 | 2147483647    69123    137 | 30.859 % |
181.01/181.11	c |     72653 |   83807   560371  1625500 | 2147483647    69997    139 | 30.867 % |
181.51/181.67	c |     72753 |   83807   560371  1625500 | 2147483647    70097    139 | 30.867 % |
182.11/182.27	c |     72864 |   83806   560371  1625500 | 2147483647    70207    140 | 30.868 % |
182.52/182.63	c |     72986 |   83806   560371  1625500 | 2147483647    70329    140 | 30.868 % |
183.01/183.12	c |     73121 |   83806   560371  1625500 | 2147483647    70464    140 | 30.868 % |
183.62/183.78	c |     73268 |   83806   560371  1625500 | 2147483647    70611    140 | 30.868 % |
184.51/184.68	c |     73428 |   83806   560371  1625500 | 2147483647    70771    141 | 30.868 % |
184.91/185.06	c |     73605 |   83806   560371  1625500 | 2147483647    70948    141 | 30.868 % |
185.21/185.37	c |     73799 |   83806   560371  1625500 | 2147483647    71142    141 | 30.868 % |
185.61/185.73	c |     74019 |   83806   560371  1625500 | 2147483647    71362    141 | 30.868 % |
185.81/185.96	c |     74253 |   83806   560371  1625500 | 2147483647    71596    141 | 30.868 % |
186.91/187.08	c |     74511 |   83797   560276  1625248 | 2147483647    71852    142 | 30.868 % |
187.71/187.86	c |     74794 |   83794   560276  1625248 | 2147483647    72133    142 | 30.877 % |
188.31/188.50	c |     75104 |   83794   560276  1625248 | 2147483647    72443    142 | 30.877 % |
189.81/189.97	c |     75443 |   83794   560276  1625248 | 2147483647    72782    143 | 30.877 % |
191.01/191.12	c |     75816 |   83788   560276  1625248 | 2147483647    73153    143 | 30.896 % |
192.31/192.48	c |     76228 |   83788   560276  1625248 | 2147483647    73565    143 | 30.896 % |
194.40/194.50	c |     76677 |   83784   560276  1625248 | 2147483647    74012    144 | 30.912 % |
196.11/196.26	c |     77170 |   83784   560276  1625248 | 2147483647    74505    145 | 30.912 % |
197.81/197.92	c |     77714 |   83782   560276  1625248 | 2147483647    75047    146 | 30.919 % |
200.11/200.27	c |     78310 |   83782   560276  1625248 | 2147483647    75643    147 | 30.919 % |
202.60/202.71	c |     78966 |   83735   559732  1623789 | 2147483647    76280    148 | 30.919 % |
205.40/205.53	c |     79691 |   83735   559732  1623789 | 2147483647    77005    149 | 30.919 % |
208.81/208.94	c |     80486 |   83733   559732  1623789 | 2147483647    77797    151 | 31.068 % |
213.10/213.22	c |     81367 |   83726   559732  1623789 | 2147483647    78677    152 | 31.393 % |
216.60/216.75	c |     82325 |   83157   556278  1613213 | 2147483647    79315    154 | 31.396 % |
217.20/217.38	c |     82427 |   83157   556278  1613213 | 2147483647    79417    154 | 31.396 % |
217.60/217.76	c |     82538 |   83157   556278  1613213 | 2147483647    79528    154 | 31.396 % |
218.20/218.37	c |     82661 |   83157   556278  1613213 | 2147483647    79651    154 | 31.396 % |
219.00/219.12	c |     82796 |   83157   556278  1613213 | 2147483647    79785    155 | 31.398 % |
219.70/219.82	c |     82943 |   83157   556278  1613213 | 2147483647    79931    155 | 31.407 % |
220.29/220.42	c |     83103 |   83157   556278  1613213 | 2147483647    80091    155 | 31.407 % |
221.29/221.41	c |     83282 |   83157   556278  1613213 | 2147483647    80270    155 | 31.407 % |
222.10/222.29	c |     83475 |   83156   556278  1613213 | 2147483647    80462    156 | 31.417 % |
222.89/223.02	c |     83687 |   83156   556278  1613213 | 2147483647    80674    156 | 31.417 % |
223.69/223.88	c |     83922 |   83156   556278  1613213 | 2147483647    80908    156 | 31.419 % |
224.69/224.83	c |     84179 |   83155   556278  1613213 | 2147483647    81164    156 | 31.431 % |
225.39/225.56	c |     84461 |   83155   556278  1613213 | 2147483647    81446    156 | 31.431 % |
226.80/226.98	c |     84770 |   83155   556278  1613213 | 2147483647    81754    157 | 31.437 % |
228.00/228.14	c |     85109 |   83153   556278  1613213 | 2147483647    82093    157 | 31.437 % |
228.70/228.81	c |     85485 |   83153   556278  1613213 | 2147483647    82469    157 | 31.437 % |
230.69/230.85	c |     85894 |   83153   556278  1613213 | 2147483647    82878    158 | 31.437 % |
232.89/233.01	c |     86343 |   83103   555841  1612030 | 2147483647    83308    158 | 31.484 % |
235.19/235.34	c |     86837 |   83097   555841  1612030 | 2147483647    83798    159 | 31.526 % |
237.69/237.80	c |     87379 |   83097   555841  1612030 | 2147483647    84340    160 | 31.526 % |
239.70/239.83	c |     87975 |   83095   555841  1612030 | 2147483647    84934    160 | 31.535 % |
241.99/242.15	c |     88630 |   83095   555841  1612030 | 2147483647    85589    161 | 31.535 % |
243.99/244.15	c |     89351 |   83089   555841  1612030 | 2147483647    86306    161 | 31.553 % |
246.48/246.68	c |     90144 |   83089   555841  1612030 | 2147483647    87099    163 | 31.553 % |
248.89/249.08	c |     91016 |   83088   555841  1612030 | 2147483647    87970    164 | 31.554 % |
251.29/251.40	c |     91974 |   82964   554780  1609242 | 2147483647    88854    164 | 31.563 % |
253.48/253.62	c |     93027 |   82961   554780  1609242 | 2147483647    89905    165 | 31.582 % |
253.68/253.81	c |     93127 |   82961   554780  1609242 | 2147483647    90005    165 | 31.582 % |
253.78/253.96	c |     93242 |   82952   554780  1609242 | 2147483647    90120    165 | 31.582 % |
253.98/254.17	c |     93364 |   82952   554780  1609242 | 2147483647    90242    165 | 31.582 % |
254.58/254.77	c |     93497 |   82945   554780  1609242 | 2147483647    90374    165 | 31.583 % |
254.98/255.17	c |     93643 |   82944   554780  1609242 | 2147483647    90519    165 | 31.590 % |
255.38/255.50	c |     93805 |   82944   554780  1609242 | 2147483647    90681    165 | 31.590 % |
255.68/255.88	c |     93983 |   82943   554780  1609242 | 2147483647    90858    165 | 31.599 % |
256.08/256.22	c |     94177 |   82943   554780  1609242 | 2147483647    91052    165 | 31.599 % |
256.38/256.53	c |     94389 |   82942   554780  1609242 | 2147483647    91263    165 | 31.600 % |
256.78/256.90	c |     94622 |   82940   554780  1609242 | 2147483647    91495    165 | 31.609 % |
257.28/257.43	c |     94878 |   82940   554780  1609242 | 2147483647    91751    165 | 31.609 % |
258.29/258.43	c |     95161 |   82934   554780  1609242 | 2147483647    92034    165 | 31.609 % |
259.28/259.43	c |     95470 |   82934   554780  1609242 | 2147483647    92343    166 | 31.609 % |
260.08/260.21	c |     95812 |   82934   554780  1609242 | 2147483647    92685    166 | 31.609 % |
261.58/261.78	c |     96187 |   82933   554780  1609242 | 2147483647    93059    166 | 31.610 % |
263.67/263.86	c |     96597 |   82931   554780  1609242 | 2147483647    93467    167 | 31.620 % |
265.37/265.53	c |     97048 |   82929   554780  1609242 | 2147483647    93917    167 | 31.631 % |
267.37/267.52	c |     97541 |   82869   553917  1606927 | 2147483647    94370    167 | 31.649 % |
269.38/269.58	c |     98084 |   82865   553917  1606927 | 2147483647    94910    168 | 31.926 % |
270.58/270.70	c |     98682 |   82863   553917  1606927 | 2147483647    95506    168 | 31.936 % |
273.17/273.33	c |     99337 |   82863   553917  1606927 | 2147483647    96160    168 | 31.978 % |
276.98/277.11	c |    100059 |   82862   553917  1606927 | 2147483647    96879    169 | 31.995 % |
279.67/279.82	c |    100855 |   82861   553917  1606927 | 2147483647    97672    170 | 32.020 % |
282.57/282.78	c |    101727 |   82859   553917  1606927 | 2147483647    98542    171 | 32.033 % |
287.57/287.73	c |    102686 |   82857   553917  1606927 | 2147483647    99499    172 | 32.043 % |
291.97/292.19	c |    103739 |   82372   551374  1600807 | 2147483647   100479    174 | 32.053 % |
297.37/297.55	c |    104900 |   82353   551374  1600807 | 2147483647   101633    175 | 32.228 % |
297.77/297.97	c |    105006 |   82353   551374  1600807 | 2147483647   101739    175 | 32.228 % |
298.37/298.59	c |    105117 |   82353   551374  1600807 | 2147483647   101850    175 | 32.228 % |
298.77/298.94	c |    105238 |   82353   551374  1600807 | 2147483647   101971    175 | 32.228 % |
299.37/299.50	c |    105371 |   82353   551374  1600807 | 2147483647   102104    176 | 32.228 % |
299.56/299.77	c |    105519 |   82353   551374  1600807 | 2147483647   102252    176 | 32.228 % |
299.86/300.06	c |    105680 |   82353   551374  1600807 | 2147483647   102413    176 | 32.228 % |
300.36/300.54	c |    105857 |   82353   551374  1600807 | 2147483647   102590    176 | 32.228 % |
300.86/301.05	c |    106050 |   82353   551374  1600807 | 2147483647   102783    176 | 32.228 % |
301.46/301.65	c |    106262 |   82352   551374  1600807 | 2147483647   102994    176 | 32.237 % |
302.06/302.30	c |    106497 |   82352   551374  1600807 | 2147483647   103229    176 | 32.237 % |
302.96/303.13	c |    106753 |   82352   551374  1600807 | 2147483647   103484    176 | 32.247 % |
303.56/303.73	c |    107038 |   82352   551374  1600807 | 2147483647   103769    175 | 32.247 % |
304.36/304.52	c |    107351 |   82352   551374  1600807 | 2147483647   104082    175 | 32.247 % |
304.86/305.05	c |    107690 |   82352   551374  1600807 | 2147483647   104421    175 | 32.247 % |
305.67/305.85	c |    108073 |   82352   551374  1600807 | 2147483647   104804    175 | 32.247 % |
306.46/306.68	c |    108483 |   82352   551374  1600807 | 2147483647   105213    175 | 32.249 % |
307.56/307.79	c |    108932 |   82352   551374  1600807 | 2147483647   105662    175 | 32.249 % |
308.76/309.00	c |    109426 |   82352   551374  1600807 | 2147483647   106155    175 | 32.255 % |
310.16/310.33	c |    109969 |   82115   549210  1594959 | 2147483647   106548    175 | 32.264 % |
313.45/313.64	c |    110569 |   82108   549210  1594959 | 2147483647   107144    175 | 32.308 % |
316.66/316.82	c |    111224 |   82106   549210  1594959 | 2147483647   107797    176 | 32.317 % |
319.55/319.73	c |    111948 |   82106   549210  1594959 | 2147483647   108521    176 | 32.317 % |
322.95/323.12	c |    112742 |   82102   549210  1594959 | 2147483647   109309    177 | 32.379 % |
325.05/325.28	c |    113614 |   82102   549210  1594959 | 2147483647   110181    177 | 32.379 % |
329.65/329.80	c |    114572 |   82102   549210  1594959 | 2147483647   111139    179 | 32.379 % |
334.35/334.51	c |    115627 |   81952   547712  1590895 | 2147483647   112094    180 | 32.390 % |
337.95/338.11	c |    116786 |   81951   547712  1590895 | 2147483647   113252    181 | 32.399 % |
342.35/342.59	c |    118060 |   81951   547712  1590895 | 2147483647   114526    182 | 32.399 % |
342.95/343.19	c |    118161 |   81951   547712  1590895 | 2147483647   114627    182 | 32.399 % |
343.75/343.98	c |    118272 |   81951   547712  1590895 | 2147483647   114738    183 | 32.399 % |
344.25/344.46	c |    118394 |   81950   547712  1590895 | 2147483647   114859    183 | 32.408 % |
344.95/345.11	c |    118527 |   81947   547712  1590895 | 2147483647   114990    183 | 32.415 % |
345.74/345.95	c |    118676 |   81947   547712  1590895 | 2147483647   115139    183 | 32.415 % |
346.44/346.68	c |    118836 |   81947   547712  1590895 | 2147483647   115299    183 | 32.415 % |
347.35/347.55	c |    119012 |   81947   547712  1590895 | 2147483647   115475    183 | 32.415 % |
348.14/348.34	c |    119206 |   81947   547712  1590895 | 2147483647   115669    183 | 32.415 % |
348.64/348.89	c |    119419 |   81947   547712  1590895 | 2147483647   115882    183 | 32.415 % |
349.64/349.85	c |    119653 |   81944   547712  1590895 | 2147483647   116114    183 | 32.440 % |
350.24/350.45	c |    119910 |   81944   547712  1590895 | 2147483647   116371    183 | 32.440 % |
351.74/352.00	c |    120191 |   81943   547712  1590895 | 2147483647   116651    184 | 32.441 % |
353.14/353.31	c |    120501 |   81942   547712  1590895 | 2147483647   116960    184 | 32.442 % |
354.34/354.59	c |    120840 |   81942   547712  1590895 | 2147483647   117299    184 | 32.442 % |
355.64/355.80	c |    121213 |   81942   547712  1590895 | 2147483647   117672    185 | 32.442 % |
358.14/358.32	c |    121622 |   81942   547712  1590895 | 2147483647   118081    185 | 32.442 % |
359.44/359.69	c |    122074 |   81889   547240  1589671 | 2147483647   118516    185 | 32.442 % |
361.43/361.67	c |    122568 |   81887   547240  1589671 | 2147483647   119008    186 | 32.444 % |
363.33/363.59	c |    123110 |   81884   547240  1589671 | 2147483647   119548    186 | 32.459 % |
366.34/366.52	c |    123708 |   81884   547240  1589671 | 2147483647   120146    187 | 32.459 % |
370.04/370.27	c |    124363 |   81866   547240  1589671 | 2147483647   120800    188 | 32.542 % |
373.03/373.25	c |    125085 |   81864   547240  1589671 | 2147483647   121521    189 | 32.552 % |
377.23/377.41	c |    125878 |   81863   547240  1589671 | 2147483647   122312    190 | 32.587 % |
381.23/381.41	c |    126749 |   81863   547240  1589671 | 2147483647   123183    191 | 32.587 % |
384.23/384.41	c |    127707 |   81863   547240  1589671 | 2147483647   124141    192 | 32.587 % |
389.33/389.55	c |    128763 |   81580   544675  1582695 | 2147483647   125057    193 | 32.713 % |
394.12/394.34	c |    129921 |   81580   544675  1582695 | 2147483647   126215    194 | 32.713 % |
399.22/399.42	c |    131194 |   81580   544675  1582695 | 2147483647   127488    195 | 32.713 % |
405.83/406.09	c |    132595 |   81575   544675  1582695 | 2147483647   128887    198 | 32.742 % |
406.22/406.44	c |    132696 |   81575   544675  1582695 | 2147483647   128988    198 | 32.742 % |
406.62/406.81	c |    132806 |   81575   544675  1582695 | 2147483647   129097    198 | 32.838 % |
407.42/407.64	c |    132927 |   81575   544675  1582695 | 2147483647   129218    198 | 32.838 % |
408.22/408.41	c |    133061 |   81575   544675  1582695 | 2147483647   129352    198 | 32.838 % |
408.52/408.73	c |    133212 |   81575   544675  1582695 | 2147483647   129503    198 | 32.838 % |
409.52/409.73	c |    133375 |   81575   544675  1582695 | 2147483647   129666    198 | 32.838 % |
410.42/410.66	c |    133552 |   81573   544675  1582695 | 2147483647   129842    198 | 32.857 % |
411.62/411.80	c |    133746 |   81573   544675  1582695 | 2147483647   130036    199 | 32.857 % |
412.32/412.59	c |    133959 |   81573   544675  1582695 | 2147483647   130249    199 | 32.857 % |
413.22/413.48	c |    134193 |   81573   544675  1582695 | 2147483647   130483    199 | 32.857 % |
414.22/414.40	c |    134451 |   81573   544675  1582695 | 2147483647   130741    199 | 32.857 % |
415.92/416.11	c |    134733 |   81569   544675  1582695 | 2147483647   131021    199 | 32.890 % |
417.62/417.88	c |    135044 |   81569   544675  1582695 | 2147483647   131332    200 | 32.890 % |
420.22/420.41	c |    135383 |   81568   544675  1582695 | 2147483647   131670    200 | 32.939 % |
422.12/422.34	c |    135755 |   81282   542137  1575755 | 2147483647   131920    201 | 32.949 % |
423.33/423.58	c |    136165 |   81282   542137  1575755 | 2147483647   132330    201 | 32.949 % |
426.22/426.42	c |    136614 |   81282   542137  1575755 | 2147483647   132779    202 | 32.949 % |
429.22/429.44	c |    137108 |   81282   542137  1575755 | 2147483647   133273    202 | 32.949 % |
432.21/432.40	c |    137651 |   81282   542137  1575755 | 2147483647   133816    203 | 32.949 % |
436.51/436.73	c |    138249 |   81279   542137  1575755 | 2147483647   134412    204 | 32.956 % |
439.52/439.73	c |    138905 |   81278   542137  1575755 | 2147483647   135067    204 | 32.957 % |
443.41/443.60	c |    139628 |   81275   542137  1575755 | 2147483647   135787    204 | 32.973 % |
447.01/447.21	c |    140422 |   81275   542137  1575755 | 2147483647   136581    205 | 32.973 % |
451.41/451.62	c |    141294 |   81274   542137  1575755 | 2147483647   137450    206 | 33.038 % |
458.81/459.07	c |    142252 |   81166   541174  1573178 | 2147483647   138358    208 | 33.039 % |
464.80/465.06	c |    143305 |   81166   541174  1573178 | 2147483647   139411    209 | 33.039 % |
470.31/470.53	c |    144463 |   81166   541174  1573178 | 2147483647   140568    210 | 33.048 % |
477.00/477.28	c |    145739 |   81165   541174  1573178 | 2147483647   141843    211 | 33.048 % |
484.80/485.03	c |    147140 |   81165   541174  1573178 | 2147483647   143244    212 | 33.048 % |
493.50/493.71	c |    148680 |   81161   541174  1573178 | 2147483647   144779    214 | 33.076 % |
494.00/494.26	c |    148780 |   81161   541174  1573178 | 2147483647   144879    214 | 33.076 % |
494.40/494.65	c |    148892 |   81161   541174  1573178 | 2147483647   144991    214 | 33.076 % |
495.40/495.62	c |    149016 |   81120   540749  1572015 | 2147483647   145073    214 | 33.076 % |
496.30/496.52	c |    149151 |   81120   540749  1572015 | 2147483647   145208    214 | 33.076 % |
497.00/497.27	c |    149298 |   81120   540749  1572015 | 2147483647   145355    214 | 33.076 % |
497.59/497.87	c |    149459 |   81120   540749  1572015 | 2147483647   145516    214 | 33.076 % |
498.00/498.28	c |    149637 |   81120   540749  1572015 | 2147483647   145694    214 | 33.076 % |
498.39/498.64	c |    149830 |   81120   540749  1572015 | 2147483647   145887    214 | 33.076 % |
499.59/499.86	c |    150048 |   81120   540749  1572015 | 2147483647   146105    214 | 33.076 % |
500.89/501.10	c |    150281 |   81111   540749  1572015 | 2147483647   146333    214 | 33.115 % |
501.99/502.24	c |    150540 |   81111   540749  1572015 | 2147483647   146592    214 | 33.115 % |
503.99/504.21	c |    150822 |   81110   540749  1572015 | 2147483647   146873    214 | 33.116 % |
505.49/505.77	c |    151131 |   81110   540749  1572015 | 2147483647   147182    215 | 33.116 % |
507.39/507.62	c |    151470 |   81110   540749  1572015 | 2147483647   147521    215 | 33.116 % |
509.39/509.65	c |    151842 |   81109   540749  1572015 | 2147483647   147892    215 | 33.152 % |
512.39/512.68	c |    152253 |   81108   540749  1572015 | 2147483647   148301    215 | 33.170 % |
514.69/514.97	c |    152702 |   81107   540749  1572015 | 2147483647   148749    215 | 33.171 % |
516.19/516.42	c |    153196 |   81099   540749  1572015 | 2147483647   149240    215 | 33.228 % |
519.29/519.57	c |    153739 |   81096   540749  1572015 | 2147483647   149778    216 | 33.274 % |
522.98/523.20	c |    154338 |   81095   540749  1572015 | 2147483647   150376    216 | 33.284 % |
524.69/524.91	c |    154997 |   81094   540749  1572015 | 2147483647   151034    216 | 33.305 % |
526.48/526.72	c |    155718 |   81093   540749  1572015 | 2147483647   151753    216 | 33.311 % |
529.28/529.50	c |    156510 |   81091   540749  1572015 | 2147483647   152543    216 | 33.322 % |
532.48/532.77	c |    157383 |   81084   540749  1572015 | 2147483647   153411    216 | 33.426 % |
536.98/537.20	c |    158341 |   81082   540749  1572015 | 2147483647   154367    217 | 33.428 % |
543.28/543.52	c |    159396 |   80692   537227  1562889 | 2147483647   155135    218 | 33.439 % |
549.87/550.11	c |    160555 |   80692   537227  1562889 | 2147483647   156293    220 | 33.439 % |
555.37/555.66	c |    161828 |   80690   537227  1562889 | 2147483647   157564    220 | 33.453 % |
562.07/562.38	c |    163229 |   80688   537227  1562889 | 2147483647   158963    221 | 33.476 % |
570.37/570.61	c |    164769 |   80687   537227  1562889 | 2147483647   160500    222 | 33.532 % |
578.77/579.01	c |    166464 |   80687   537227  1562889 | 2147483647   162195    223 | 33.532 % |
579.17/579.48	c |    166564 |   80687   537227  1562889 | 2147483647   162295    223 | 33.532 % |
579.67/579.90	c |    166674 |   80686   537227  1562889 | 2147483647   162403    223 | 33.538 % |
579.77/580.05	c |    166798 |   80686   537227  1562889 | 2147483647   162527    222 | 33.538 % |
580.37/580.67	c |    166931 |   80686   537227  1562889 | 2147483647   162660    222 | 33.538 % |
581.27/581.56	c |    167089 |   80686   537227  1562889 | 2147483647   162818    222 | 33.538 % |
582.27/582.54	c |    167256 |   80686   537227  1562889 | 2147483647   162985    222 | 33.538 % |
582.77/583.08	c |    167433 |   80686   537227  1562889 | 2147483647   163162    223 | 33.538 % |
583.96/584.25	c |    167627 |   80685   537227  1562889 | 2147483647   163355    223 | 33.547 % |
585.26/585.53	c |    167840 |   80527   535963  1559559 | 2147483647   163472    223 | 33.566 % |
586.86/587.15	c |    168073 |   80527   535963  1559559 | 2147483647   163705    223 | 33.566 % |
588.27/588.60	c |    168336 |   80259   535963  1559559 | 2147483647   163966    223 | 34.059 % |
589.86/590.17	c |    168617 |   80258   535963  1559559 | 2147483647   164247    223 | 34.059 % |
592.06/592.33	c |    168930 |   80258   535963  1559559 | 2147483647   164560    224 | 34.059 % |
593.86/594.11	c |    169271 |   80256   535963  1559559 | 2147483647   164899    224 | 34.062 % |
596.06/596.32	c |    169646 |   80253   535963  1559559 | 2147483647   165272    224 | 34.125 % |
598.76/599.02	c |    170056 |   80252   535963  1559559 | 2147483647   165681    225 | 34.126 % |
600.46/600.78	c |    170505 |   80252   535963  1559559 | 2147483647   166130    225 | 34.126 % |
603.45/603.70	c |    171001 |   80251   535963  1559559 | 2147483647   166625    226 | 34.127 % |
606.45/606.74	c |    171543 |   80251   535963  1559559 | 2147483647   167167    226 | 34.127 % |
610.66/610.92	c |    172139 |   80250   535963  1559559 | 2147483647   167762    227 | 34.135 % |
615.36/615.65	c |    172798 |   80248   535963  1559559 | 2147483647   168419    227 | 34.210 % |
620.25/620.52	c |    173518 |   80244   535963  1559559 | 2147483647   169137    227 | 34.288 % |
625.15/625.40	c |    174310 |   80238   535963  1559559 | 2147483647   169922    227 | 34.352 % |
630.75/631.00	c |    175181 |   80235   535963  1559559 | 2147483647   170791    229 | 34.368 % |
635.74/636.03	c |    176139 |   80234   535963  1559559 | 2147483647   171747    230 | 34.518 % |
642.24/642.52	c |    177192 |   80231   535963  1559559 | 2147483647   172798    231 | 34.533 % |
649.15/649.49	c |    178353 |   79350   528844  1541619 | 2147483647   173522    231 | 34.556 % |
657.45/657.73	c |    179626 |   79347   528844  1541619 | 2147483647   174792    232 | 34.564 % |
667.44/667.75	c |    181026 |   79347   528844  1541619 | 2147483647   176192    234 | 34.564 % |
678.74/679.06	c |    182584 |   79347   528844  1541619 | 2147483647   177748    235 | 34.584 % |
688.63/688.96	c |    184279 |   79345   528844  1541619 | 2147483647   179439    236 | 34.600 % |
701.63/701.98	c |    186142 |   79248   527859  1538948 | 2147483647   181217    238 | 34.621 % |
702.32/702.64	c |    186242 |   79248   527859  1538948 | 2147483647   181317    238 | 34.621 % |
703.02/703.36	c |    186352 |   79247   527859  1538948 | 2147483647   181426    239 | 34.627 % |
703.73/704.04	c |    186473 |   79247   527859  1538948 | 2147483647   181547    239 | 34.627 % |
704.32/704.63	c |    186606 |   79247   527859  1538948 | 2147483647   181680    239 | 34.627 % |
705.22/705.52	c |    186755 |   79247   527859  1538948 | 2147483647   181829    239 | 34.627 % |
706.42/706.72	c |    186920 |   79247   527859  1538948 | 2147483647   181994    239 | 34.627 % |
707.42/707.73	c |    187096 |   79246   527859  1538948 | 2147483647   182169    239 | 34.635 % |
708.52/708.84	c |    187294 |   79246   527859  1538948 | 2147483647   182367    239 | 34.635 % |
709.32/709.66	c |    187507 |   79246   527859  1538948 | 2147483647   182580    239 | 34.635 % |
711.12/711.48	c |    187749 |   79245   527859  1538948 | 2147483647   182821    239 | 34.636 % |
712.92/713.25	c |    188008 |   79245   527859  1538948 | 2147483647   183080    239 | 34.636 % |
714.43/714.78	c |    188291 |   79245   527859  1538948 | 2147483647   183363    239 | 34.636 % |
716.32/716.61	c |    188601 |   79245   527859  1538948 | 2147483647   183673    239 | 34.636 % |
717.93/718.22	c |    188940 |   79242   527859  1538948 | 2147483647   184011    239 | 34.646 % |
719.62/719.93	c |    189313 |   79242   527859  1538948 | 2147483647   184384    240 | 34.646 % |
722.02/722.30	c |    189723 |   79242   527859  1538948 | 2147483647   184794    240 | 34.646 % |
725.22/725.56	c |    190172 |   79242   527859  1538948 | 2147483647   185243    240 | 34.646 % |
727.82/728.11	c |    190665 |   79240   527859  1538948 | 2147483647   185734    240 | 34.698 % |
732.22/732.57	c |    191207 |   79240   527859  1538948 | 2147483647   186276    241 | 34.698 % |
737.41/737.70	c |    191810 |   79239   527859  1538948 | 2147483647   186878    242 | 34.698 % |
741.51/741.83	c |    192465 |   79239   527859  1538948 | 2147483647   187533    242 | 34.698 % |
745.81/746.16	c |    193185 |   79238   527859  1538948 | 2147483647   188251    242 | 34.727 % |
749.61/749.91	c |    193977 |   79238   527859  1538948 | 2147483647   189043    242 | 34.727 % |
754.51/754.80	c |    194848 |   79238   527859  1538948 | 2147483647   189914    242 | 34.727 % |
760.30/760.60	c |    195807 |   79223   527859  1538948 | 2147483647   190870    242 | 35.187 % |
766.51/766.87	c |    196861 |   79222   527859  1538948 | 2147483647   191923    243 | 35.192 % |
773.10/773.43	c |    198021 |   78556   522479  1524651 | 2147483647   192728    244 | 35.192 % |
781.60/781.99	c |    199294 |   78556   522479  1524651 | 2147483647   194001    245 | 35.192 % |
790.70/791.04	c |    200697 |   78556   522479  1524651 | 2147483647   195404    246 | 35.192 % |
799.60/799.93	c |    202237 |   78556   522479  1524651 | 2147483647   196944    247 | 35.192 % |
809.09/809.47	c |    203932 |   78556   522479  1524651 | 2147483647   198639    249 | 35.192 % |
817.59/817.95	c |    205795 |   78556   522479  1524651 | 2147483647   200501    249 | 35.200 % |
828.78/829.14	c |    207844 |   78556   522479  1524651 | 2147483647   202548    249 | 35.210 % |
829.58/829.93	c |    207944 |   78556   522479  1524651 | 2147483647   202648    249 | 35.210 % |
830.38/830.76	c |    208056 |   78556   522479  1524651 | 2147483647   202760    249 | 35.210 % |
831.48/831.87	c |    208177 |   78556   522479  1524651 | 2147483647   202881    249 | 35.210 % |
832.58/832.99	c |    208312 |   78556   522479  1524651 | 2147483647   203016    249 | 35.210 % |
833.69/834.01	c |    208458 |   78556   522479  1524651 | 2147483647   203162    249 | 35.210 % |
834.19/834.57	c |    208618 |   78556   522479  1524651 | 2147483647   203322    249 | 35.210 % |
835.89/836.23	c |    208796 |   78556   522479  1524651 | 2147483647   203500    249 | 35.210 % |
837.19/837.58	c |    208992 |   78556   522479  1524651 | 2147483647   203696    250 | 35.210 % |
838.28/838.60	c |    209204 |   78556   522479  1524651 | 2147483647   203908    250 | 35.210 % |
840.18/840.52	c |    209437 |   78534   522277  1524072 | 2147483647   204126    250 | 35.210 % |
841.78/842.18	c |    209693 |   78534   522277  1524072 | 2147483647   204382    250 | 35.210 % |
843.78/844.17	c |    209977 |   78534   522277  1524072 | 2147483647   204666    250 | 35.210 % |
845.88/846.26	c |    210286 |   78534   522277  1524072 | 2147483647   204975    250 | 35.210 % |
848.48/848.88	c |    210626 |   78534   522277  1524072 | 2147483647   205315    250 | 35.210 % |
851.18/851.50	c |    211000 |   78532   522277  1524072 | 2147483647   205687    250 | 35.212 % |
853.57/853.98	c |    211417 |   78532   522277  1524072 | 2147483647   206103    250 | 35.212 % |
856.68/857.03	c |    211866 |   78532   522277  1524072 | 2147483647   206552    250 | 35.212 % |
860.08/860.41	c |    212359 |   78532   522277  1524072 | 2147483647   207045    251 | 35.212 % |
864.07/864.43	c |    212904 |   78532   522277  1524072 | 2147483647   207590    251 | 35.212 % |
867.98/868.37	c |    213503 |   78532   522277  1524072 | 2147483647   208189    252 | 35.212 % |
871.17/871.53	c |    214158 |   78532   522277  1524072 | 2147483647   208844    252 | 35.212 % |
875.87/876.21	c |    214881 |   78532   522277  1524072 | 2147483647   209565    252 | 35.220 % |
881.87/882.24	c |    215677 |   78532   522277  1524072 | 2147483647   210360    252 | 35.223 % |
888.47/888.82	c |    216549 |   78532   522277  1524072 | 2147483647   211232    253 | 35.223 % |
894.56/894.90	c |    217509 |   78529   522277  1524072 | 2147483647   212187    252 | 35.278 % |
902.36/902.70	c |    218564 |   78529   522277  1524072 | 2147483647   213242    253 | 35.278 % |
910.86/911.21	c |    219728 |   78528   522277  1524072 | 2147483647   214405    253 | 35.278 % |
918.25/918.64	c |    221003 |   78528   522277  1524072 | 2147483647   215679    253 | 35.279 % |
926.86/927.24	c |    222405 |   78448   521740  1522753 | 2147483647   216985    255 | 35.291 % |
937.25/937.63	c |    223946 |   78447   521740  1522753 | 2147483647   218525    256 | 35.292 % |
946.25/946.64	c |    225640 |   78446   521740  1522753 | 2147483647   220216    257 | 35.345 % |
956.14/956.53	c |    227503 |   78443   521740  1522753 | 2147483647   222078    258 | 35.355 % |
969.24/969.68	c |    229552 |   78442   521740  1522753 | 2147483647   224126    259 | 35.356 % |
981.14/981.54	c |    231806 |   78442   521740  1522753 | 2147483647   226380    259 | 35.356 % |
982.14/982.56	c |    231907 |   78442   521740  1522753 | 2147483647   226481    259 | 35.356 % |
982.84/983.22	c |    232017 |   78442   521740  1522753 | 2147483647   226591    260 | 35.356 % |
983.44/983.80	c |    232138 |   78442   521740  1522753 | 2147483647   226711    259 | 35.358 % |
984.54/984.93	c |    232271 |   78442   521740  1522753 | 2147483647   226844    260 | 35.358 % |
984.94/985.36	c |    232417 |   78442   521740  1522753 | 2147483647   226990    260 | 35.358 % |
986.14/986.53	c |    232577 |   78442   521740  1522753 | 2147483647   227150    260 | 35.358 % |
987.74/988.15	c |    232758 |   78442   521740  1522753 | 2147483647   227331    260 | 35.358 % |
989.43/989.80	c |    232951 |   78442   521740  1522753 | 2147483647   227524    260 | 35.358 % |
990.74/991.13	c |    233163 |   78441   521740  1522753 | 2147483647   227735    260 | 35.359 % |
992.44/992.89	c |    233398 |   78441   521740  1522753 | 2147483647   227970    260 | 35.359 % |
994.54/994.97	c |    233655 |   78441   521740  1522753 | 2147483647   228226    260 | 35.360 % |
996.64/997.01	c |    233936 |   78441   521740  1522753 | 2147483647   228507    260 | 35.360 % |
998.93/999.34	c |    234250 |   78441   521740  1522753 | 2147483647   228821    260 | 35.360 % |
1001.23/1001.64	c |    234589 |   78441   521740  1522753 | 2147483647   229160    260 | 35.360 % |
1003.83/1004.25	c |    234966 |   78441   521740  1522753 | 2147483647   229537    260 | 35.360 % |
1006.83/1007.29	c |    235375 |   78441   521740  1522753 | 2147483647   229946    260 | 35.360 % |
1010.73/1011.16	c |    235824 |   78350   520870  1520279 | 2147483647   230281    260 | 35.372 % |
1013.93/1014.33	c |    236322 |   78347   520870  1520279 | 2147483647   230777    260 | 35.427 % |
1018.13/1018.54	c |    236866 |   78347   520870  1520279 | 2147483647   231321    260 | 35.427 % |
1022.93/1023.34	c |    237474 |   78347   520870  1520279 | 2147483647   231928    260 | 35.429 % |
1028.13/1028.52	c |    238133 |   78347   520870  1520279 | 2147483647   232587    261 | 35.429 % |
1032.82/1033.25	c |    238853 |   78347   520870  1520279 | 2147483647   233307    261 | 35.429 % |
1037.32/1037.78	c |    239645 |   78347   520870  1520279 | 2147483647   234099    262 | 35.429 % |
1043.42/1043.82	c |    240518 |   78346   520870  1520279 | 2147483647   234971    262 | 35.430 % |
1049.92/1050.37	c |    241478 |   78344   520870  1520279 | 2147483647   235929    262 | 35.433 % |
1055.52/1055.95	c |    242531 |   78344   520870  1520279 | 2147483647   236982    262 | 35.433 % |
1061.52/1061.99	c |    243689 |   78340   520870  1520279 | 2147483647   238136    262 | 35.450 % |
1069.91/1070.39	c |    244963 |   78339   520870  1520279 | 2147483647   239407    263 | 35.466 % |
1079.51/1079.96	c |    246366 |   78338   520870  1520279 | 2147483647   240808    263 | 35.478 % |
1087.10/1087.58	c |    247906 |   78257   520870  1520279 | 2147483647   242346    264 | 35.618 % |
1098.00/1098.44	c |    249604 |   78257   520870  1520279 | 2147483647   244044    264 | 35.618 % |
1109.80/1110.22	c |    251467 |   78027   519056  1515776 | 2147483647   245661    265 | 35.628 % |
1122.70/1123.18	c |    253517 |   78026   519056  1515776 | 2147483647   247709    266 | 35.647 % |
1137.79/1138.21	c |    255770 |   78026   519056  1515776 | 2147483647   249960    267 | 35.682 % |
1155.69/1156.16	c |    258248 |   78026   519056  1515776 | 2147483647   252438    267 | 35.682 % |
1156.59/1157.03	c |    258355 |   78026   519056  1515776 | 2147483647   252545    267 | 35.682 % |
1157.49/1157.95	c |    258465 |   78026   519056  1515776 | 2147483647   252655    267 | 35.682 % |
1158.19/1158.68	c |    258587 |   78026   519056  1515776 | 2147483647   252777    267 | 35.682 % |
1159.19/1159.60	c |    258720 |   78026   519056  1515776 | 2147483647   252910    267 | 35.682 % |
1160.39/1160.87	c |    258867 |   78026   519056  1515776 | 2147483647   253055    267 | 35.694 % |
1161.28/1161.79	c |    259030 |   78026   519056  1515776 | 2147483647   253218    267 | 35.694 % |
1162.38/1162.89	c |    259207 |   78026   519056  1515776 | 2147483647   253395    267 | 35.694 % |
1162.98/1163.45	c |    259400 |   78026   519056  1515776 | 2147483647   253588    267 | 35.694 % |
1164.68/1165.17	c |    259612 |   78025   519056  1515776 | 2147483647   253799    267 | 35.703 % |
1166.68/1167.11	c |    259848 |   78025   519056  1515776 | 2147483647   254035    267 | 35.703 % |
1168.98/1169.43	c |    260104 |   78025   519056  1515776 | 2147483647   254291    267 | 35.703 % |
1171.48/1171.94	c |    260386 |   78025   519056  1515776 | 2147483647   254573    268 | 35.703 % |
1174.58/1175.08	c |    260695 |   78024   519056  1515776 | 2147483647   254881    268 | 35.712 % |
1178.18/1178.61	c |    261037 |   78024   519056  1515776 | 2147483647   255223    268 | 35.712 % |
1180.98/1181.40	c |    261411 |   78024   519056  1515776 | 2147483647   255597    268 | 35.712 % |
1182.97/1183.49	c |    261820 |   78024   519056  1515776 | 2147483647   256004    268 | 35.725 % |
1186.77/1187.29	c |    262270 |   78024   519056  1515776 | 2147483647   256454    268 | 35.725 % |
1190.28/1190.73	c |    262765 |   78023   519056  1515776 | 2147483647   256947    268 | 35.726 % |
1193.17/1193.69	c |    263309 |   78023   519056  1515776 | 2147483647   257491    269 | 35.726 % |
1197.57/1198.03	c |    263907 |   78022   519056  1515776 | 2147483647   258088    269 | 35.736 % |

Verifier Data 

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

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833879-1242825735/watcher-1833879-1242825735 -o /tmp/evaluation-result-1833879-1242825735/solver-1833879-1242825735 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833879-1242825735.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: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.01 0.99 1.00 3/65 19056
/proc/meminfo: memFree=1849840/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=0
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310606814 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19056/statm: 1339 237 197 169 0 50 0

[startup+0.0952129 s]
/proc/loadavg: 1.01 0.99 1.00 3/65 19056
/proc/meminfo: memFree=1849840/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=0
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310606814 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19056/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101214 s]
/proc/loadavg: 1.01 0.99 1.00 3/65 19056
/proc/meminfo: memFree=1849840/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=0
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310606814 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19056/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301236 s]
/proc/loadavg: 1.01 0.99 1.00 3/65 19056
/proc/meminfo: memFree=1849840/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=0
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310606814 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19056/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701281 s]
/proc/loadavg: 1.01 0.99 1.00 3/65 19056
/proc/meminfo: memFree=1849840/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=0
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310606814 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19056/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50137 s]
/proc/loadavg: 1.01 0.99 1.00 2/67 19061
/proc/meminfo: memFree=1749152/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=0
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310606814 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19056/statm: 1339 237 197 169 0 50 0
[pid=19060] ppid=19056 vsize=116028 CPUtime=1.49
/proc/19060/stat : 19060 (SatELite_releas) R 19056 19056 18811 0 -1 4194304 26760 0 0 0 133 16 0 0 25 0 1 0 310606815 118812672 26578 1992294400 134512640 135223648 4294956128 18446744073709551615 134546390 0 0 4096 3 0 0 0 17 1 0 0
/proc/19060/statm: 29007 26578 70 173 0 28832 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 121384

[startup+3.10155 s]
/proc/loadavg: 1.01 0.99 1.00 2/67 19061
/proc/meminfo: memFree=1732000/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=0
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310606814 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19056/statm: 1339 237 197 169 0 50 0
[pid=19060] ppid=19056 vsize=136104 CPUtime=3.08
/proc/19060/stat : 19060 (SatELite_releas) R 19056 19056 18811 0 -1 4194304 34143 0 0 0 288 20 0 0 25 0 1 0 310606815 139370496 31081 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 1 0 0
/proc/19060/statm: 34026 31081 76 173 0 33851 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 141460

[startup+6.30292 s]
/proc/loadavg: 1.01 0.99 1.00 2/67 19061
/proc/meminfo: memFree=1718752/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=0
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310606814 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19056/statm: 1339 237 197 169 0 50 0
[pid=19060] ppid=19056 vsize=137084 CPUtime=6.28
/proc/19060/stat : 19060 (SatELite_releas) R 19056 19056 18811 0 -1 4194304 36938 0 0 0 606 22 0 0 25 0 1 0 310606815 140374016 31426 1992294400 134512640 135223648 4294956128 18446744073709551615 134586715 0 0 4096 3 0 0 0 17 1 0 0
/proc/19060/statm: 34271 31426 76 173 0 34096 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 142440

[startup+12.7016 s]
/proc/loadavg: 1.01 0.99 1.00 2/67 19062
/proc/meminfo: memFree=1779808/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=9.31
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 336 42851 0 0 0 0 897 34 16 0 1 0 310606814 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19056/statm: 1339 239 197 169 0 50 0
[pid=19062] ppid=19056 vsize=47004 CPUtime=3.35
/proc/19062/stat : 19062 (minisat_static) R 19056 19056 18811 0 -1 4194304 11132 0 0 0 330 5 0 0 25 0 1 0 310607748 48132096 11085 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/19062/statm: 11751 11085 77 171 0 11578 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 52360

[startup+25.5011 s]
/proc/loadavg: 1.01 0.99 1.00 2/67 19062
/proc/meminfo: memFree=1778720/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=9.31
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 336 42851 0 0 0 0 897 34 16 0 1 0 310606814 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19056/statm: 1339 239 197 169 0 50 0
[pid=19062] ppid=19056 vsize=48508 CPUtime=16.14
/proc/19062/stat : 19062 (minisat_static) R 19056 19056 18811 0 -1 4194304 11481 0 0 0 1608 6 0 0 25 0 1 0 310607748 49672192 11434 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/19062/statm: 12127 11434 77 171 0 11954 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 53864

[startup+51.102 s]
/proc/loadavg: 1.00 0.99 1.00 2/67 19062
/proc/meminfo: memFree=1774048/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=9.31
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 336 42851 0 0 0 0 897 34 16 0 1 0 310606814 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19056/statm: 1339 239 197 169 0 50 0
[pid=19062] ppid=19056 vsize=53260 CPUtime=41.74
/proc/19062/stat : 19062 (minisat_static) R 19056 19056 18811 0 -1 4194304 12662 0 0 0 4166 8 0 0 25 0 1 0 310607748 54538240 12615 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/19062/statm: 13315 12615 77 171 0 13142 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 58616

[startup+102.306 s]
/proc/loadavg: 1.00 0.99 1.00 2/67 19062
/proc/meminfo: memFree=1762016/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=9.31
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 336 42851 0 0 0 0 897 34 16 0 1 0 310606814 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19056/statm: 1339 239 197 169 0 50 0
[pid=19062] ppid=19056 vsize=65260 CPUtime=92.92
/proc/19062/stat : 19062 (minisat_static) R 19056 19056 18811 0 -1 4194304 15645 0 0 0 9281 11 0 0 25 0 1 0 310607748 66826240 15598 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/19062/statm: 16315 15598 77 171 0 16142 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 70616

[startup+162.302 s]
/proc/loadavg: 1.00 0.99 1.00 2/67 19062
/proc/meminfo: memFree=1746656/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=9.31
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 336 42851 0 0 0 0 897 34 16 0 1 0 310606814 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19056/statm: 1339 239 197 169 0 50 0
[pid=19062] ppid=19056 vsize=80692 CPUtime=152.91
/proc/19062/stat : 19062 (minisat_static) R 19056 19056 18811 0 -1 4194304 19503 0 0 0 15275 16 0 0 25 0 1 0 310607748 82628608 19456 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/19062/statm: 20173 19456 77 171 0 20000 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 86048

[startup+222.301 s]
/proc/loadavg: 1.00 0.99 1.00 2/67 19062
/proc/meminfo: memFree=1729440/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=9.31
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 336 42851 0 0 0 0 897 34 16 0 1 0 310606814 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19056/statm: 1339 239 197 169 0 50 0
[pid=19062] ppid=19056 vsize=97604 CPUtime=212.88
/proc/19062/stat : 19062 (minisat_static) R 19056 19056 18811 0 -1 4194304 23752 0 0 0 21267 21 0 0 25 0 1 0 310607748 99946496 23705 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/19062/statm: 24401 23705 77 171 0 24228 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 102960

[startup+282.301 s]
/proc/loadavg: 1.00 0.99 1.00 2/67 19062
/proc/meminfo: memFree=1711648/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=9.31
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 336 42851 0 0 0 0 897 34 16 0 1 0 310606814 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19056/statm: 1339 239 197 169 0 50 0
[pid=19062] ppid=19056 vsize=115616 CPUtime=272.86
/proc/19062/stat : 19062 (minisat_static) R 19056 19056 18811 0 -1 4194304 28215 0 0 0 27260 26 0 0 25 0 1 0 310607748 118390784 28168 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/19062/statm: 28904 28168 77 171 0 28731 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 120972

[startup+342.302 s]
/proc/loadavg: 1.00 0.99 1.00 2/67 19062
/proc/meminfo: memFree=1694624/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=9.31
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 336 42851 0 0 0 0 897 34 16 0 1 0 310606814 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19056/statm: 1339 239 197 169 0 50 0
[pid=19062] ppid=19056 vsize=132252 CPUtime=332.84
/proc/19062/stat : 19062 (minisat_static) R 19056 19056 18811 0 -1 4194304 32405 0 0 0 33252 32 0 0 25 0 1 0 310607748 135426048 32358 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/19062/statm: 33063 32358 77 171 0 32890 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 137608

[startup+402.302 s]
/proc/loadavg: 1.00 0.99 1.00 2/67 19062
/proc/meminfo: memFree=1676960/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=9.31
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 336 42851 0 0 0 0 897 34 16 0 1 0 310606814 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19056/statm: 1339 239 197 169 0 50 0
[pid=19062] ppid=19056 vsize=149948 CPUtime=392.82
/proc/19062/stat : 19062 (minisat_static) R 19056 19056 18811 0 -1 4194304 36824 0 0 0 39245 37 0 0 25 0 1 0 310607748 153546752 36777 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/19062/statm: 37487 36777 77 171 0 37314 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 155304

[startup+462.302 s]

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

/proc/19062/statm: 48887 48154 77 171 0 48714 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 200904

[startup+642.302 s]
/proc/loadavg: 1.00 0.99 1.00 2/67 19062
/proc/meminfo: memFree=1616096/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=9.31
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 336 42851 0 0 0 0 897 34 16 0 1 0 310606814 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19056/statm: 1339 239 197 169 0 50 0
[pid=19062] ppid=19056 vsize=210232 CPUtime=632.74
/proc/19062/stat : 19062 (minisat_static) R 19056 19056 18811 0 -1 4194304 51863 0 0 0 63220 54 0 0 25 0 1 0 310607748 215277568 51816 1992294400 134512640 135215339 4294956240 18446744073709551615 134738079 0 0 4096 3 0 0 0 17 1 0 0
/proc/19062/statm: 52558 51816 77 171 0 52385 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 215588

[startup+702.302 s]
/proc/loadavg: 1.00 0.99 1.00 2/67 19062
/proc/meminfo: memFree=1602400/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=9.31
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 336 42851 0 0 0 0 897 34 16 0 1 0 310606814 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19056/statm: 1339 239 197 169 0 50 0
[pid=19062] ppid=19056 vsize=223836 CPUtime=692.71
/proc/19062/stat : 19062 (minisat_static) R 19056 19056 18811 0 -1 4194304 55283 0 0 0 69212 59 0 0 25 0 1 0 310607748 229208064 55236 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/19062/statm: 55959 55236 77 171 0 55786 0
Current children cumulated CPU time (s) 702.02
Current children cumulated vsize (KiB) 229192

[startup+762.305 s]
/proc/loadavg: 1.00 0.99 1.00 2/67 19062
/proc/meminfo: memFree=1589408/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=9.31
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 336 42851 0 0 0 0 897 34 16 0 1 0 310606814 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19056/statm: 1339 239 197 169 0 50 0
[pid=19062] ppid=19056 vsize=236528 CPUtime=752.7
/proc/19062/stat : 19062 (minisat_static) R 19056 19056 18811 0 -1 4194304 58469 0 0 0 75208 62 0 0 25 0 1 0 310607748 242204672 58422 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/19062/statm: 59132 58422 77 171 0 58959 0
Current children cumulated CPU time (s) 762.01
Current children cumulated vsize (KiB) 241884

[startup+822.301 s]
/proc/loadavg: 1.00 0.99 1.00 2/67 19062
/proc/meminfo: memFree=1573920/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=9.31
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 336 42851 0 0 0 0 897 34 16 0 1 0 310606814 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19056/statm: 1339 239 197 169 0 50 0
[pid=19062] ppid=19056 vsize=251996 CPUtime=812.68
/proc/19062/stat : 19062 (minisat_static) R 19056 19056 18811 0 -1 4194304 62359 0 0 0 81202 66 0 0 25 0 1 0 310607748 258043904 62312 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/19062/statm: 62999 62312 77 171 0 62826 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 257352

[startup+882.301 s]
/proc/loadavg: 1.00 0.99 1.00 2/67 19062
/proc/meminfo: memFree=1561632/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=9.31
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 336 42851 0 0 0 0 897 34 16 0 1 0 310606814 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19056/statm: 1339 239 197 169 0 50 0
[pid=19062] ppid=19056 vsize=264444 CPUtime=872.66
/proc/19062/stat : 19062 (minisat_static) R 19056 19056 18811 0 -1 4194304 65378 0 0 0 87196 70 0 0 25 0 1 0 310607748 270790656 65331 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/19062/statm: 66111 65331 77 171 0 65938 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 269800

[startup+942.302 s]
/proc/loadavg: 1.00 0.99 1.00 2/67 19062
/proc/meminfo: memFree=1548896/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=9.31
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 336 42851 0 0 0 0 897 34 16 0 1 0 310606814 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19056/statm: 1339 239 197 169 0 50 0
[pid=19062] ppid=19056 vsize=277256 CPUtime=932.64
/proc/19062/stat : 19062 (minisat_static) R 19056 19056 18811 0 -1 4194304 68586 0 0 0 93190 74 0 0 25 0 1 0 310607748 283910144 68539 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/19062/statm: 69314 68539 77 171 0 69141 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 282612

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 1.00 2/67 19062
/proc/meminfo: memFree=1535392/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=9.31
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 336 42851 0 0 0 0 897 34 16 0 1 0 310606814 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19056/statm: 1339 239 197 169 0 50 0
[pid=19062] ppid=19056 vsize=290592 CPUtime=992.62
/proc/19062/stat : 19062 (minisat_static) R 19056 19056 18811 0 -1 4194304 71907 0 0 0 99184 78 0 0 25 0 1 0 310607748 297566208 71860 1992294400 134512640 135215339 4294956240 18446744073709551615 134529148 0 0 4096 3 0 0 0 17 1 0 0
/proc/19062/statm: 72648 71860 77 171 0 72475 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 295948

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 1.00 2/67 19062
/proc/meminfo: memFree=1523424/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=9.31
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 336 42851 0 0 0 0 897 34 16 0 1 0 310606814 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19056/statm: 1339 239 197 169 0 50 0
[pid=19062] ppid=19056 vsize=302488 CPUtime=1052.61
/proc/19062/stat : 19062 (minisat_static) R 19056 19056 18811 0 -1 4194304 74910 0 0 0 105179 82 0 0 25 0 1 0 310607748 309747712 74863 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/19062/statm: 75622 74863 77 171 0 75449 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 307844

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 1.00 2/67 19062
/proc/meminfo: memFree=1509344/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=9.31
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 336 42851 0 0 0 0 897 34 16 0 1 0 310606814 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19056/statm: 1339 239 197 169 0 50 0
[pid=19062] ppid=19056 vsize=316380 CPUtime=1112.59
/proc/19062/stat : 19062 (minisat_static) R 19056 19056 18811 0 -1 4194304 78376 0 0 0 111174 85 0 0 25 0 1 0 310607748 323973120 78329 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/19062/statm: 79095 78329 77 171 0 78922 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 321736

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 1.00 2/67 19062
/proc/meminfo: memFree=1498336/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=9.31
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 336 42851 0 0 0 0 897 34 16 0 1 0 310606814 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19056/statm: 1339 239 197 169 0 50 0
[pid=19062] ppid=19056 vsize=327356 CPUtime=1172.57
/proc/19062/stat : 19062 (minisat_static) R 19056 19056 18811 0 -1 4194304 81123 0 0 0 117169 88 0 0 25 0 1 0 310607748 335212544 81076 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/19062/statm: 81839 81076 77 171 0 81666 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 332712



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.5 s]
/proc/loadavg: 1.00 0.99 1.00 2/67 19062
/proc/meminfo: memFree=1493984/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=9.31
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 336 42851 0 0 0 0 897 34 16 0 1 0 310606814 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19056/statm: 1339 239 197 169 0 50 0
[pid=19062] ppid=19056 vsize=331452 CPUtime=1190.77
/proc/19062/stat : 19062 (minisat_static) R 19056 19056 18811 0 -1 4194304 82148 0 0 0 118987 90 0 0 25 0 1 0 310607748 339406848 82101 1992294400 134512640 135215339 4294956240 18446744073709551615 134532915 0 0 4096 3 0 0 0 17 1 0 0
/proc/19062/statm: 82863 82101 77 171 0 82690 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 336808

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

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

[startup+1200.5 s]
/proc/loadavg: 1.00 0.99 1.00 2/67 19062
/proc/meminfo: memFree=1493984/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=9.31
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 336 42851 0 0 0 0 897 34 16 0 1 0 310606814 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19056/statm: 1339 239 197 169 0 50 0
[pid=19062] ppid=19056 vsize=331452 CPUtime=1190.77
/proc/19062/stat : 19062 (minisat_static) R 19056 19056 18811 0 -1 4194304 82148 0 0 0 118987 90 0 0 25 0 1 0 310607748 339406848 82101 1992294400 134512640 135215339 4294956240 18446744073709551615 134532915 0 0 4096 3 0 0 0 17 1 0 0
/proc/19062/statm: 82863 82101 77 171 0 82690 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 336808

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1200.51
CPU time (s): 1200.08
CPU user time (s): 1198.84
CPU system time (s): 1.24
CPU usage (%): 99.964
Max. virtual memory (cumulated for all children) (KiB): 336808

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

runsolver used 1.14582 second user time and 3.2925 second system time

The end

Launcher Data 

Begin job on node32 at 2009-05-20 15:22:17
IDJOB=1833879
IDBENCH=71013
IDSOLVER=671
FILE ID=node32/1833879-1242825735
PBS_JOBID= 9322548
Free space on /tmp= 66228 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= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833879-1242825735/watcher-1833879-1242825735 -o /tmp/evaluation-result-1833879-1242825735/solver-1833879-1242825735 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1833879-1242825735.cnf

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

MD5SUM BENCH= c530016627d60451f148c386bba0e9bf
RANDOM SEED=1655602596

node32.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.216
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.216
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1850320 kB
Buffers:         26564 kB
Cached:         106464 kB
SwapCached:       8548 kB
Active:          43168 kB
Inactive:        99940 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1850320 kB
SwapTotal:     4192956 kB
SwapFree:      4177460 kB
Dirty:           24268 kB
Writeback:           0 kB
Mapped:          14288 kB
Slab:            48272 kB
Committed_AS:  1133652 kB
PageTables:       1492 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66200 MiB
End job on node32 at 2009-05-20 15:42:19