Trace number 1833893

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.01 1200.71

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UTI-20-10p0.cnf
MD5SUM209f7789e3588d11f275f2003f2c6a67
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 variables259616
Number of clauses1374599
Sum of the clauses size3310772
Maximum clause length10
Minimum clause length1
Number of clauses of size 113149
Number of clauses of size 2982807
Number of clauses of size 3313283
Number of clauses of size 47260
Number of clauses of size 529040
Number of clauses of size over 529060

Solver Data 

0.00/0.00	c Parsing...
1.38/1.42	c ==============================================================================
1.38/1.42	c |           |     ORIGINAL     |              LEARNT              |          |
1.38/1.42	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
1.38/1.42	c ==============================================================================
1.38/1.42	c |         0 | 1360580  3295883 |  408173       0        0     nan |  0.000 % |
8.97/9.03	c |         0 |  942285  2636352 |      --       0       --      -- |     --   | -116200/27697
8.97/9.04	c ==============================================================================
8.97/9.04	c Result  :   #vars: 138309   #clauses: 942285   #literals: 2636352
8.97/9.04	c CPU time:   8.71368 s
8.97/9.04	c ==============================================================================
9.87/9.99	c This is MiniSat 2.0 beta
9.87/9.99	c WARNING: for repeatability, setting FPU to use double precision
9.87/9.99	c ============================[ Problem Statistics ]=============================
9.87/9.99	c |                                                                             |
9.87/9.99	c |  Number of variables:  138309                                               |
9.87/9.99	c |  Number of clauses:    942285                                               |
9.96/10.63	c |  Parsing time:         0.57         s                                       |
9.96/10.66	c ============================[ Search Statistics ]==============================
9.96/10.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.96/10.66	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
9.96/10.66	c ===============================================================================
9.96/10.66	c |         0 |  138309   942285  2636352 |   314095        0    nan |  0.000 % |
10.96/11.06	c |       102 |  138298   942285  2636352 |   314095      101     45 |  0.512 % |
11.16/11.24	c |       202 |  138218   942285  2636352 |   314095      198     56 |  1.469 % |
11.36/11.44	c |       303 |  138211   942285  2636352 |   314095      296     69 |  1.645 % |
11.46/11.54	c |       414 |  138211   942285  2636352 |   314095      407     98 |  1.645 % |
11.66/11.77	c |       514 |  138209   942285  2636352 |   314095      506    101 |  1.654 % |
11.76/11.89	c |       624 |  138185   942285  2636352 |   314095      614     92 |  2.029 % |
12.06/12.15	c |       746 |  138095   942285  2636352 |   314095      735     81 |  2.038 % |
12.26/12.33	c |       846 |  138095   942285  2636352 |   314095      835     78 |  2.038 % |
12.56/12.65	c |       957 |  135490   917936  2573440 |   314095      940     75 |  2.038 % |
12.96/13.03	c |      1078 |  135335   917936  2573440 |   314095     1057     71 |  3.403 % |
13.16/13.22	c |      1212 |  135303   917936  2573440 |   314095     1191     66 |  3.403 % |
13.56/13.60	c |      1312 |  135062   917936  2573440 |   314095     1288     66 |  3.713 % |
13.56/13.68	c |      1422 |  135062   917936  2573440 |   314095     1398     73 |  3.713 % |
13.86/13.90	c |      1544 |  134932   917936  2573440 |   314095     1519     77 |  3.978 % |
13.96/14.03	c |      1677 |  134932   917936  2573440 |   314095     1652     77 |  3.978 % |
14.06/14.18	c |      1823 |  134932   917936  2573440 |   314095     1798     74 |  3.978 % |
14.36/14.41	c |      1923 |  132807   900317  2530875 |   314095     1894     73 |  3.978 % |
14.46/14.59	c |      2033 |  132807   900317  2530875 |   314095     2004     70 |  3.978 % |
14.86/14.91	c |      2154 |  132799   900317  2530875 |   314095     2124     68 |  4.048 % |
15.06/15.15	c |      2291 |  132799   900317  2530875 |   314095     2261     68 |  4.048 % |
15.36/15.44	c |      2438 |  132799   900317  2530875 |   314095     2408     68 |  4.048 % |
15.76/15.83	c |      2598 |  132525   900317  2530875 |   314095     2567     70 |  4.408 % |
15.86/15.92	c |      2699 |  132525   900317  2530875 |   314095     2668     75 |  4.408 % |
15.96/16.08	c |      2810 |  132525   900317  2530875 |   314095     2779     74 |  4.408 % |
16.16/16.23	c |      2931 |  132525   900317  2530875 |   314095     2900     73 |  4.408 % |
16.36/16.44	c |      3065 |  132212   897464  2525021 |   314095     3029     72 |  4.408 % |
16.65/16.78	c |      3211 |  132203   897464  2525021 |   314095     3173     71 |  4.425 % |
17.05/17.10	c |      3371 |  132200   897464  2525021 |   314095     3332     72 |  4.773 % |
17.25/17.35	c |      3547 |  132200   897464  2525021 |   314095     3508     73 |  4.773 % |
17.46/17.57	c |      3647 |  132200   897464  2525021 |   314095     3608     72 |  4.773 % |
17.65/17.78	c |      3760 |  132170   897464  2525021 |   314095     3718     71 |  5.201 % |
17.85/17.94	c |      3881 |  132170   897464  2525021 |   314095     3839     71 |  5.201 % |
18.05/18.11	c |      4015 |  131925   897464  2525021 |   314095     3970     71 |  5.903 % |
18.15/18.27	c |      4161 |  130145   883984  2491843 |   314095     4107     71 |  5.903 % |
18.66/18.72	c |      4321 |  130145   883984  2491843 |   314095     4267     75 |  5.903 % |
18.85/18.98	c |      4497 |  129960   883984  2491843 |   314095     4442     77 |  6.107 % |
19.25/19.35	c |      4690 |  129912   883984  2491843 |   314095     4635     76 |  6.107 % |
19.66/19.71	c |      4792 |  129799   883984  2491843 |   314095     4734     76 |  6.569 % |
19.95/20.00	c |      4902 |  129798   883984  2491843 |   314095     4843     76 |  6.572 % |
20.25/20.35	c |      5024 |  129664   883984  2491843 |   314095     4962     75 |  7.152 % |
20.45/20.56	c |      5158 |  128416   870410  2457929 |   314095     5049     75 |  7.156 % |
20.55/20.69	c |      5304 |  128416   870410  2457929 |   314095     5195     75 |  7.156 % |
20.76/20.87	c |      5466 |  128414   870410  2457929 |   314095     5356     76 |  7.173 % |
21.05/21.10	c |      5644 |  128413   870410  2457929 |   314095     5533     76 |  7.177 % |
21.25/21.37	c |      5837 |  128408   870410  2457929 |   314095     5725     75 |  7.182 % |
21.75/21.84	c |      6050 |  128379   870410  2457929 |   314095     5935     73 |  7.659 % |
21.96/22.04	c |      6151 |  128257   870410  2457929 |   314095     6035     73 |  7.841 % |
22.05/22.18	c |      6261 |  127464   864711  2444810 |   314095     6128     73 |  7.841 % |
22.35/22.41	c |      6382 |  127464   864711  2444810 |   314095     6249     72 |  7.841 % |
22.75/22.81	c |      6516 |  127464   864711  2444810 |   314095     6383     74 |  7.841 % |
23.06/23.12	c |      6662 |  127463   864711  2444810 |   314095     6528     75 |  7.850 % |
23.25/23.35	c |      6822 |  127441   864711  2444810 |   314095     6684     75 |  7.893 % |
23.35/23.49	c |      6999 |  127440   864711  2444810 |   314095     6860     76 |  7.894 % |
23.55/23.63	c |      7192 |  127440   864711  2444810 |   314095     7053     75 |  7.894 % |
23.95/24.00	c |      7404 |  127305   864711  2444810 |   314095     7264     75 |  8.078 % |
24.25/24.34	c |      7637 |  127127   862417  2439056 |   314095     7473     75 |  8.085 % |
24.45/24.54	c |      7740 |  127127   862417  2439056 |   314095     7576     75 |  8.085 % |
24.75/24.80	c |      7850 |  127127   862417  2439056 |   314095     7686     74 |  8.085 % |
25.05/25.10	c |      7971 |  127097   862417  2439056 |   314095     7805     74 |  8.383 % |
25.25/25.36	c |      8104 |  127097   862417  2439056 |   314095     7938     74 |  8.383 % |
25.55/25.60	c |      8250 |  127097   862417  2439056 |   314095     8084     74 |  8.383 % |
25.75/25.84	c |      8414 |  127091   862417  2439056 |   314095     8246     74 |  8.605 % |
26.05/26.12	c |      8590 |  126868   862417  2439056 |   314095     8419     74 |  8.882 % |
26.35/26.48	c |      8783 |  126844   862417  2439056 |   314095     8612     74 |  8.882 % |
26.75/26.86	c |      8995 |  126844   862417  2439056 |   314095     8824     75 |  8.882 % |
27.45/27.53	c |      9228 |  126025   856584  2425439 |   314095     9044     75 |  8.882 % |
28.05/28.11	c |      9484 |  126025   856584  2425439 |   314095     9300     75 |  8.882 % |
28.15/28.22	c |      9584 |  126025   856584  2425439 |   314095     9400     75 |  8.882 % |
28.25/28.32	c |      9694 |  126025   856584  2425439 |   314095     9510     76 |  8.882 % |
28.45/28.52	c |      9815 |  126018   856584  2425439 |   314095     9630     75 |  8.906 % |
28.55/28.68	c |      9951 |  126017   856584  2425439 |   314095     9766     75 |  8.906 % |
28.95/29.08	c |     10099 |  126017   856584  2425439 | 2147483647     9914     78 |  8.906 % |
29.25/29.30	c |     10259 |  126009   856584  2425439 | 2147483647    10073     78 |  9.015 % |
29.35/29.47	c |     10437 |  125839   855235  2421963 | 2147483647    10208     78 |  9.016 % |
29.75/29.81	c |     10630 |  125831   855235  2421963 | 2147483647    10397     77 |  9.383 % |
30.15/30.30	c |     10843 |  125684   855235  2421963 | 2147483647    10607     77 |  9.637 % |
30.66/30.73	c |     11078 |  125574   855235  2421963 | 2147483647    10841     76 | 10.043 % |
31.05/31.15	c |     11335 |  125574   855235  2421963 | 2147483647    11098     78 | 10.043 % |
32.05/32.13	c |     11630 |  125491   855235  2421963 | 2147483647    11392     81 | 10.187 % |
32.25/32.32	c |     11731 |  124219   845804  2399339 | 2147483647    11479     81 | 10.190 % |
32.45/32.56	c |     11841 |  124218   845804  2399339 | 2147483647    11589     82 | 10.190 % |
32.65/32.75	c |     11962 |  124218   845804  2399339 | 2147483647    11710     82 | 10.190 % |
32.95/33.06	c |     12095 |  124218   845804  2399339 | 2147483647    11843     82 | 10.190 % |
33.24/33.30	c |     12241 |  124191   845804  2399339 | 2147483647    11988     82 | 10.213 % |
33.44/33.58	c |     12401 |  124184   845804  2399339 | 2147483647    12147     82 | 10.231 % |
33.64/33.79	c |     12577 |  124183   845804  2399339 | 2147483647    12323     83 | 10.231 % |
34.04/34.17	c |     12770 |  124181   845804  2399339 | 2147483647    12514     83 | 10.234 % |
34.63/34.77	c |     12982 |  124177   845804  2399339 | 2147483647    12724     83 | 10.380 % |
35.04/35.19	c |     13215 |  123941   844477  2396298 | 2147483647    12927     84 | 10.665 % |
35.43/35.53	c |     13471 |  123921   844477  2396298 | 2147483647    13177     83 | 10.919 % |
35.73/35.82	c |     13753 |  123921   844477  2396298 | 2147483647    13459     83 | 10.919 % |
36.23/36.36	c |     14062 |  123919   844477  2396298 | 2147483647    13766     85 | 10.931 % |
36.33/36.47	c |     14164 |  123919   844477  2396298 | 2147483647    13868     85 | 10.931 % |
36.53/36.64	c |     14275 |  123917   844477  2396298 | 2147483647    13978     85 | 10.936 % |
36.63/36.75	c |     14396 |  123917   844477  2396298 | 2147483647    14099     85 | 10.936 % |
36.83/36.90	c |     14529 |  123917   844477  2396298 | 2147483647    14232     85 | 10.936 % |
36.93/37.07	c |     14675 |  123917   844477  2396298 | 2147483647    14378     85 | 10.936 % |
37.23/37.33	c |     14838 |  123917   844477  2396298 | 2147483647    14541     85 | 10.936 % |
37.53/37.62	c |     15014 |  123181   840790  2387870 | 2147483647    14630     85 | 10.942 % |
38.03/38.15	c |     15208 |  123179   840790  2387870 | 2147483647    14824     85 | 10.942 % |
38.53/38.60	c |     15420 |  122953   840790  2387870 | 2147483647    15029     85 | 12.191 % |
39.13/39.29	c |     15653 |  122549   840790  2387870 | 2147483647    15254     84 | 13.451 % |
39.83/39.99	c |     15912 |  122253   840790  2387870 | 2147483647    15510     83 | 13.724 % |
40.33/40.43	c |     16193 |  119270   818095  2333622 | 2147483647    15769     83 | 13.802 % |
40.73/40.80	c |     16502 |  119270   818095  2333622 | 2147483647    16078     82 | 13.802 % |
41.42/41.54	c |     16841 |  119200   818095  2333622 | 2147483647    16412     83 | 14.140 % |
41.52/41.64	c |     16946 |  119200   818095  2333622 | 2147483647    16517     84 | 14.140 % |
41.82/41.96	c |     17057 |  119159   818095  2333622 | 2147483647    16625     83 | 14.314 % |
42.42/42.51	c |     17178 |  119158   818095  2333622 | 2147483647    16745     85 | 14.335 % |
42.62/42.73	c |     17313 |  119150   818095  2333622 | 2147483647    16880     85 | 14.335 % |
43.01/43.16	c |     17462 |  119149   818095  2333622 | 2147483647    17029     86 | 14.335 % |
43.51/43.68	c |     17622 |  118481   813533  2323062 | 2147483647    17162     86 | 14.337 % |
43.81/43.96	c |     17808 |  118392   813533  2323062 | 2147483647    17346     85 | 14.940 % |
44.31/44.49	c |     18001 |  118389   813533  2323062 | 2147483647    17538     86 | 14.949 % |
44.81/44.94	c |     18216 |  118389   813533  2323062 | 2147483647    17753     86 | 14.949 % |
45.51/45.66	c |     18449 |  118387   813533  2323062 | 2147483647    17984     86 | 14.952 % |
46.01/46.14	c |     18707 |  118363   813533  2323062 | 2147483647    18241     87 | 15.227 % |
46.71/46.87	c |     18989 |  118279   813533  2323062 | 2147483647    18523     87 | 15.227 % |
47.51/47.69	c |     19299 |  117249   801869  2292279 | 2147483647    18794     88 | 15.227 % |
48.40/48.51	c |     19643 |  117249   801869  2292279 | 2147483647    19138     89 | 15.227 % |
49.42/49.55	c |     20016 |  117249   801869  2292279 | 2147483647    19511     91 | 15.227 % |
49.61/49.73	c |     20117 |  117249   801869  2292279 | 2147483647    19612     91 | 15.227 % |
49.81/49.96	c |     20228 |  117249   801869  2292279 | 2147483647    19723     91 | 15.227 % |
50.11/50.21	c |     20349 |  117249   801869  2292279 | 2147483647    19844     91 | 15.227 % |
50.41/50.52	c |     20484 |  117249   801869  2292279 | 2147483647    19979     91 | 15.227 % |
50.81/50.99	c |     20630 |  117232   801769  2292009 | 2147483647    20121     91 | 15.288 % |
51.21/51.30	c |     20790 |  117229   801769  2292009 | 2147483647    20281     91 | 15.288 % |
51.91/52.03	c |     20966 |  117166   801769  2292009 | 2147483647    20455     91 | 15.345 % |
52.41/52.52	c |     21159 |  116980   801769  2292009 | 2147483647    20643     90 | 15.874 % |
53.01/53.16	c |     21371 |  116959   801769  2292009 | 2147483647    20852     90 | 16.245 % |
53.71/53.85	c |     21604 |  115802   794230  2274938 | 2147483647    21051     90 | 16.273 % |
54.21/54.34	c |     21861 |  115791   794230  2274938 | 2147483647    21304     90 | 16.315 % |
54.71/54.80	c |     22142 |  115701   794230  2274938 | 2147483647    21579     90 | 16.573 % |
55.30/55.44	c |     22451 |  115698   794230  2274938 | 2147483647    21887     89 | 16.584 % |
56.00/56.14	c |     22790 |  115694   794230  2274938 | 2147483647    22224     89 | 16.597 % |
56.60/56.73	c |     23163 |  115694   794230  2274938 | 2147483647    22597     89 | 16.597 % |
57.89/58.00	c |     23579 |  115163   791247  2267879 | 2147483647    22994     89 | 16.812 % |
58.20/58.32	c |     23681 |  115159   791247  2267879 | 2147483647    23094     89 | 16.830 % |
58.39/58.54	c |     23791 |  115156   791247  2267879 | 2147483647    23204     89 | 16.830 % |
58.59/58.72	c |     23915 |  115155   791247  2267879 | 2147483647    23328     89 | 16.830 % |
58.99/59.17	c |     24048 |  115154   791247  2267879 | 2147483647    23460     89 | 16.839 % |
59.39/59.51	c |     24195 |  115154   791247  2267879 | 2147483647    23607     90 | 16.839 % |
59.79/59.98	c |     24356 |  115153   791247  2267879 | 2147483647    23766     91 | 16.873 % |
60.39/60.55	c |     24536 |  115153   791247  2267879 | 2147483647    23946     91 | 16.873 % |
60.88/61.03	c |     24731 |  114972   789731  2264245 | 2147483647    24129     91 | 16.873 % |
61.28/61.46	c |     24943 |  114971   789731  2264245 | 2147483647    24340     92 | 16.874 % |
61.78/61.94	c |     25180 |  114971   789731  2264245 | 2147483647    24577     93 | 16.874 % |
62.28/62.48	c |     25436 |  114968   789731  2264245 | 2147483647    24830     94 | 16.877 % |
63.17/63.34	c |     25718 |  114968   789731  2264245 | 2147483647    25112     97 | 16.877 % |
63.68/63.82	c |     26029 |  114963   789731  2264245 | 2147483647    25422     98 | 16.883 % |
64.47/64.61	c |     26368 |  114962   789731  2264245 | 2147483647    25760     99 | 16.890 % |
65.68/65.83	c |     26740 |  114932   789415  2263415 | 2147483647    26119    101 | 16.902 % |
66.28/66.46	c |     27150 |  114932   789415  2263415 | 2147483647    26529    101 | 16.902 % |
67.47/67.61	c |     27599 |  114932   789415  2263415 | 2147483647    26978    102 | 16.902 % |
67.57/67.78	c |     27699 |  114932   789415  2263415 | 2147483647    27078    103 | 16.902 % |
67.87/68.09	c |     27809 |  114932   789415  2263415 | 2147483647    27188    103 | 16.902 % |
68.07/68.26	c |     27930 |  114932   789415  2263415 | 2147483647    27309    102 | 16.902 % |
68.67/68.82	c |     28064 |  114924   789415  2263415 | 2147483647    27442    102 | 16.952 % |
69.17/69.31	c |     28210 |  114923   789415  2263415 | 2147483647    27587    103 | 16.953 % |
69.66/69.82	c |     28370 |  114923   789415  2263415 | 2147483647    27747    103 | 16.953 % |
70.36/70.53	c |     28547 |  114861   789171  2262927 | 2147483647    27922    104 | 16.953 % |
70.76/70.98	c |     28742 |  114859   789171  2262927 | 2147483647    28115    104 | 16.966 % |
71.16/71.39	c |     28954 |  114857   789171  2262927 | 2147483647    28326    104 | 16.967 % |
71.86/72.05	c |     29188 |  114856   789171  2262927 | 2147483647    28559    104 | 16.974 % |
72.26/72.40	c |     29448 |  114856   789171  2262927 | 2147483647    28819    105 | 16.974 % |
72.76/72.90	c |     29729 |  114856   789171  2262927 | 2147483647    29100    105 | 16.974 % |
73.36/73.58	c |     30040 |  114854   789171  2262927 | 2147483647    29410    105 | 16.976 % |
73.96/74.14	c |     30380 |  114851   789171  2262927 | 2147483647    29749    105 | 16.983 % |
75.15/75.35	c |     30755 |  114820   788840  2262040 | 2147483647    30110    106 | 16.983 % |
75.76/75.98	c |     31165 |  114818   788840  2262040 | 2147483647    30519    106 | 16.993 % |
76.55/76.72	c |     31614 |  114818   788840  2262040 | 2147483647    30968    107 | 16.993 % |
77.45/77.69	c |     32107 |  114814   788840  2262040 | 2147483647    31461    108 | 16.993 % |
77.65/77.81	c |     32208 |  114814   788840  2262040 | 2147483647    31562    109 | 16.993 % |
77.85/78.04	c |     32318 |  114814   788840  2262040 | 2147483647    31672    109 | 16.993 % |
78.15/78.30	c |     32440 |  114813   788840  2262040 | 2147483647    31793    109 | 17.001 % |
78.46/78.62	c |     32574 |  114813   788840  2262040 | 2147483647    31927    109 | 17.001 % |
78.76/78.99	c |     32720 |  114813   788840  2262040 | 2147483647    32073    109 | 17.001 % |
79.26/79.46	c |     32880 |  114811   788840  2262040 | 2147483647    32232    110 | 17.007 % |
79.56/79.79	c |     33056 |  114786   788604  2261429 | 2147483647    32396    110 | 17.559 % |
80.06/80.25	c |     33249 |  114669   788604  2261429 | 2147483647    32588    110 | 17.687 % |
80.76/81.00	c |     33461 |  114669   788604  2261429 | 2147483647    32800    110 | 17.687 % |
81.35/81.50	c |     33694 |  114669   788604  2261429 | 2147483647    33033    111 | 17.687 % |
81.85/82.04	c |     33951 |  114649   788604  2261429 | 2147483647    33289    111 | 17.719 % |
82.45/82.63	c |     34233 |  114649   788604  2261429 | 2147483647    33571    111 | 17.719 % |
83.15/83.34	c |     34542 |  114640   788604  2261429 | 2147483647    33874    111 | 18.112 % |
83.95/84.15	c |     34882 |  114636   788604  2261429 | 2147483647    34212    111 | 18.160 % |
85.15/85.36	c |     35256 |  112983   769957  2212182 | 2147483647    34529    112 | 18.311 % |
86.44/86.61	c |     35666 |  112983   769957  2212182 | 2147483647    34939    115 | 18.311 % |
87.44/87.69	c |     36116 |  112983   769957  2212182 | 2147483647    35389    116 | 18.311 % |
88.84/89.08	c |     36609 |  112983   769957  2212182 | 2147483647    35882    117 | 18.311 % |
90.24/90.40	c |     37157 |  112983   769957  2212182 | 2147483647    36430    118 | 18.311 % |
90.44/90.67	c |     37258 |  112983   769957  2212182 | 2147483647    36531    118 | 18.311 % |
90.94/91.10	c |     37368 |  112983   769957  2212182 | 2147483647    36641    119 | 18.311 % |
91.34/91.55	c |     37491 |  112983   769957  2212182 | 2147483647    36764    120 | 18.311 % |
91.94/92.12	c |     37624 |  112983   769957  2212182 | 2147483647    36897    120 | 18.311 % |
92.14/92.38	c |     37775 |  112974   769875  2211987 | 2147483647    37047    120 | 18.318 % |
92.74/92.93	c |     37938 |  112974   769875  2211987 | 2147483647    37210    120 | 18.318 % |
93.24/93.47	c |     38114 |  112974   769875  2211987 | 2147483647    37386    121 | 18.318 % |
93.83/94.02	c |     38308 |  112973   769875  2211987 | 2147483647    37579    121 | 18.318 % |
94.23/94.50	c |     38520 |  112972   769875  2211987 | 2147483647    37790    121 | 18.326 % |
94.53/94.73	c |     38754 |  112972   769875  2211987 | 2147483647    38024    122 | 18.326 % |
95.23/95.46	c |     39013 |  112972   769875  2211987 | 2147483647    38283    122 | 18.326 % |
95.93/96.11	c |     39296 |  112972   769875  2211987 | 2147483647    38566    123 | 18.326 % |
96.64/96.86	c |     39605 |  112968   769875  2211987 | 2147483647    38874    123 | 18.336 % |
97.43/97.64	c |     39944 |  112967   769875  2211987 | 2147483647    39212    123 | 18.342 % |
98.74/98.90	c |     40316 |  112951   769875  2211987 | 2147483647    39582    124 | 18.423 % |
100.13/100.31	c |     40725 |  112949   769875  2211987 | 2147483647    39990    125 | 18.425 % |
101.23/101.41	c |     41176 |  112824   768476  2208377 | 2147483647    40370    126 | 18.430 % |
102.53/102.72	c |     41675 |  112822   768476  2208377 | 2147483647    40868    127 | 18.436 % |
103.24/103.49	c |     42218 |  112822   768476  2208377 | 2147483647    41411    127 | 18.436 % |
104.83/105.01	c |     42814 |  112822   768476  2208377 | 2147483647    42007    129 | 18.436 % |
105.03/105.21	c |     42917 |  112822   768476  2208377 | 2147483647    42110    129 | 18.436 % |
105.23/105.44	c |     43027 |  112822   768476  2208377 | 2147483647    42220    129 | 18.436 % |
105.53/105.79	c |     43150 |  112808   768476  2208377 | 2147483647    42341    129 | 18.465 % |
105.73/105.90	c |     43291 |  112808   768476  2208377 | 2147483647    42482    129 | 18.465 % |
105.83/106.07	c |     43437 |  112808   768476  2208377 | 2147483647    42628    129 | 18.465 % |
106.33/106.54	c |     43597 |  112808   768476  2208377 | 2147483647    42788    129 | 18.465 % |
106.93/107.10	c |     43774 |  112808   768476  2208377 | 2147483647    42965    130 | 18.465 % |
107.43/107.67	c |     43967 |  112807   768476  2208377 | 2147483647    43157    130 | 18.466 % |
108.03/108.27	c |     44182 |  112807   768476  2208377 | 2147483647    43372    130 | 18.466 % |
108.53/108.78	c |     44416 |  112769   768060  2207335 | 2147483647    43593    131 | 18.466 % |
109.23/109.45	c |     44672 |  112769   768060  2207335 | 2147483647    43848    131 | 18.569 % |
110.23/110.48	c |     44953 |  112747   768060  2207335 | 2147483647    44126    132 | 18.604 % |
110.93/111.13	c |     45264 |  112737   768060  2207335 | 2147483647    44436    132 | 18.835 % |
112.03/112.26	c |     45607 |  112737   768060  2207335 | 2147483647    44779    133 | 18.835 % |
112.63/112.87	c |     45981 |  112736   768060  2207335 | 2147483647    45152    133 | 18.840 % |
113.92/114.16	c |     46390 |  112735   768060  2207335 | 2147483647    45560    133 | 18.841 % |
115.52/115.70	c |     46839 |  112735   768060  2207335 | 2147483647    46009    134 | 18.841 % |
117.03/117.22	c |     47333 |  112735   768060  2207335 | 2147483647    46503    136 | 18.841 % |
118.63/118.83	c |     47875 |  112246   759860  2184748 | 2147483647    46969    137 | 18.879 % |
120.23/120.45	c |     48472 |  112243   759860  2184748 | 2147483647    47565    140 | 18.879 % |
121.73/121.98	c |     49128 |  112242   759860  2184748 | 2147483647    48220    141 | 18.897 % |
122.03/122.20	c |     49228 |  112242   759860  2184748 | 2147483647    48320    141 | 18.897 % |
122.43/122.64	c |     49339 |  112242   759860  2184748 | 2147483647    48431    142 | 18.897 % |
122.62/122.87	c |     49462 |  112242   759860  2184748 | 2147483647    48554    142 | 18.897 % |
122.93/123.11	c |     49595 |  112242   759860  2184748 | 2147483647    48687    142 | 18.897 % |
123.32/123.58	c |     49745 |  112242   759860  2184748 | 2147483647    48837    142 | 18.897 % |
123.92/124.16	c |     49907 |  112242   759860  2184748 | 2147483647    48999    143 | 18.897 % |
124.13/124.39	c |     50083 |  112242   759860  2184748 | 2147483647    49175    143 | 18.897 % |
124.72/124.93	c |     50278 |  112241   759860  2184748 | 2147483647    49369    144 | 18.898 % |
125.13/125.31	c |     50490 |  112241   759860  2184748 | 2147483647    49581    144 | 18.898 % |
125.72/125.97	c |     50725 |  112239   759860  2184748 | 2147483647    49815    144 | 18.906 % |
126.42/126.61	c |     50982 |  112237   759860  2184748 | 2147483647    50071    144 | 18.914 % |
127.12/127.33	c |     51263 |  112212   759860  2184748 | 2147483647    50350    145 | 18.964 % |
127.52/127.75	c |     51578 |  112080   758660  2181625 | 2147483647    50615    145 | 18.964 % |
128.42/128.67	c |     51918 |  112073   758660  2181625 | 2147483647    50953    145 | 19.007 % |
129.43/129.67	c |     52294 |  112071   758660  2181625 | 2147483647    51328    146 | 19.011 % |
130.63/130.87	c |     52703 |  112071   758660  2181625 | 2147483647    51737    147 | 19.011 % |
131.32/131.56	c |     53154 |  112071   758660  2181625 | 2147483647    52188    147 | 19.011 % |
132.62/132.90	c |     53648 |  112069   758660  2181625 | 2147483647    52680    147 | 19.020 % |
133.82/134.09	c |     54190 |  112068   758660  2181625 | 2147483647    53221    147 | 19.023 % |
134.82/135.08	c |     54786 |  112068   758660  2181625 | 2147483647    53817    147 | 19.023 % |
137.23/137.48	c |     55443 |  111904   756973  2177153 | 2147483647    54359    149 | 19.091 % |
139.12/139.35	c |     56166 |  111904   756973  2177153 | 2147483647    55082    150 | 19.091 % |
139.42/139.63	c |     56266 |  111904   756973  2177153 | 2147483647    55182    150 | 19.091 % |
139.82/140.03	c |     56378 |  111904   756973  2177153 | 2147483647    55294    150 | 19.091 % |
140.02/140.23	c |     56499 |  111903   756973  2177153 | 2147483647    55414    150 | 19.092 % |
140.32/140.58	c |     56634 |  111900   756973  2177153 | 2147483647    55548    150 | 19.099 % |
140.82/141.07	c |     56790 |  111900   756973  2177153 | 2147483647    55704    150 | 19.099 % |
141.22/141.47	c |     56951 |  111731   756973  2177153 | 2147483647    55863    150 | 19.531 % |
141.72/141.96	c |     57128 |  111731   756973  2177153 | 2147483647    56040    150 | 19.531 % |
142.51/142.75	c |     57323 |  111731   756973  2177153 | 2147483647    56235    150 | 19.531 % |
143.41/143.61	c |     57536 |  111730   756973  2177153 | 2147483647    56447    151 | 19.532 % |
144.01/144.25	c |     57770 |  111730   756973  2177153 | 2147483647    56681    151 | 19.532 % |
144.72/144.96	c |     58028 |  111729   756973  2177153 | 2147483647    56938    152 | 19.532 % |
146.51/146.73	c |     58309 |  111729   756973  2177153 | 2147483647    57219    153 | 19.532 % |
147.31/147.53	c |     58618 |  111729   756973  2177153 | 2147483647    57528    154 | 19.532 % |
148.91/149.10	c |     58957 |  111729   756973  2177153 | 2147483647    57867    156 | 19.532 % |
149.71/149.98	c |     59330 |  111729   756973  2177153 | 2147483647    58240    156 | 19.532 % |
150.80/151.06	c |     59739 |  111294   753446  2169147 | 2147483647    58631    157 | 19.532 % |
151.80/152.09	c |     60188 |  111294   753446  2169147 | 2147483647    59080    157 | 19.532 % |
152.81/153.04	c |     60683 |  111294   753446  2169147 | 2147483647    59575    157 | 19.532 % |
154.21/154.46	c |     61226 |  111293   753446  2169147 | 2147483647    60117    158 | 19.533 % |
156.21/156.41	c |     61823 |  111290   753446  2169147 | 2147483647    60711    158 | 19.560 % |
157.70/157.90	c |     62480 |  111280   753446  2169147 | 2147483647    61368    159 | 19.560 % |
159.21/159.50	c |     63204 |  111280   753446  2169147 | 2147483647    62092    160 | 19.560 % |
161.90/162.13	c |     63996 |  111280   753446  2169147 | 2147483647    62884    161 | 19.560 % |
162.20/162.40	c |     64096 |  111280   753446  2169147 | 2147483647    62984    161 | 19.560 % |
162.70/162.91	c |     64206 |  111280   753446  2169147 | 2147483647    63094    162 | 19.560 % |
163.30/163.56	c |     64327 |  111256   753229  2168601 | 2147483647    63198    162 | 19.560 % |
163.90/164.17	c |     64460 |  111256   753229  2168601 | 2147483647    63331    162 | 19.560 % |
164.30/164.52	c |     64610 |  111256   753229  2168601 | 2147483647    63481    162 | 19.560 % |
164.90/165.17	c |     64775 |  111256   753229  2168601 | 2147483647    63646    163 | 19.560 % |
165.30/165.56	c |     64951 |  111256   753229  2168601 | 2147483647    63822    163 | 19.560 % |
165.60/165.88	c |     65144 |  111235   753229  2168601 | 2147483647    64013    162 | 20.078 % |
166.31/166.59	c |     65359 |  111235   753229  2168601 | 2147483647    64228    162 | 20.078 % |
167.20/167.43	c |     65592 |  111235   753229  2168601 | 2147483647    64461    162 | 20.078 % |
167.80/168.01	c |     65850 |  111235   753229  2168601 | 2147483647    64719    162 | 20.078 % |
168.40/168.67	c |     66131 |  111218   753229  2168601 | 2147483647    64999    163 | 20.148 % |
169.70/169.90	c |     66440 |  111217   753229  2168601 | 2147483647    65306    163 | 20.165 % |
170.20/170.47	c |     66779 |  111217   753229  2168601 | 2147483647    65645    163 | 20.165 % |
170.90/171.11	c |     67153 |  111210   753229  2168601 | 2147483647    66016    164 | 20.178 % |
172.80/173.00	c |     67563 |  111210   753229  2168601 | 2147483647    66426    165 | 20.178 % |
173.40/173.64	c |     68017 |  111210   753229  2168601 | 2147483647    66880    165 | 20.178 % |
173.79/174.03	c |     68513 |  111210   753229  2168601 | 2147483647    67376    164 | 20.178 % |
175.49/175.73	c |     69055 |  111210   753229  2168601 | 2147483647    67918    165 | 20.178 % |
178.60/178.86	c |     69653 |  110398   742289  2138734 | 2147483647    68465    167 | 20.188 % |
180.00/180.20	c |     70309 |  110398   742289  2138734 | 2147483647    69121    168 | 20.188 % |
182.10/182.39	c |     71033 |  110398   742289  2138734 | 2147483647    69845    170 | 20.188 % |
186.30/186.50	c |     71826 |  110397   742289  2138734 | 2147483647    70637    172 | 20.189 % |
188.79/189.04	c |     72698 |  110397   742289  2138734 | 2147483647    71509    174 | 20.189 % |
189.00/189.30	c |     72799 |  110397   742289  2138734 | 2147483647    71610    174 | 20.189 % |
189.60/189.88	c |     72909 |  110397   742289  2138734 | 2147483647    71719    175 | 20.191 % |
190.00/190.21	c |     73030 |  110396   742289  2138734 | 2147483647    71840    175 | 20.191 % |
190.49/190.72	c |     73169 |  110396   742289  2138734 | 2147483647    71979    175 | 20.191 % |
190.99/191.21	c |     73315 |  110395   742289  2138734 | 2147483647    72124    175 | 20.192 % |
191.49/191.75	c |     73478 |  110395   742289  2138734 | 2147483647    72287    175 | 20.192 % |
191.99/192.20	c |     73655 |  110395   742289  2138734 | 2147483647    72463    175 | 20.571 % |
192.39/192.62	c |     73849 |  110389   742289  2138734 | 2147483647    72655    175 | 20.583 % |
193.49/193.74	c |     74065 |  110389   742289  2138734 | 2147483647    72871    176 | 20.583 % |
194.59/194.80	c |     74300 |  109841   732571  2111850 | 2147483647    73062    176 | 20.583 % |
194.98/195.28	c |     74556 |  109841   732571  2111850 | 2147483647    73317    176 | 20.617 % |
196.18/196.48	c |     74837 |  109841   732571  2111850 | 2147483647    73598    176 | 20.617 % |
196.98/197.21	c |     75147 |  109841   732571  2111850 | 2147483647    73907    176 | 20.618 % |
197.80/198.01	c |     75487 |  109841   732571  2111850 | 2147483647    74246    176 | 20.628 % |
198.69/198.97	c |     75860 |  109838   732571  2111850 | 2147483647    74619    176 | 20.628 % |
199.69/199.91	c |     76269 |  109837   732571  2111850 | 2147483647    75027    176 | 21.060 % |
201.09/201.39	c |     76718 |  109837   732571  2111850 | 2147483647    75476    178 | 21.060 % |
202.29/202.57	c |     77212 |  109833   732571  2111850 | 2147483647    75969    178 | 21.069 % |
204.39/204.64	c |     77754 |  109833   732571  2111850 | 2147483647    76511    179 | 21.069 % |
205.98/206.25	c |     78351 |  109833   732571  2111850 | 2147483647    77108    180 | 21.069 % |
207.28/207.58	c |     79006 |  109830   732571  2111850 | 2147483647    77760    179 | 21.072 % |
209.28/209.52	c |     79736 |  109824   732571  2111850 | 2147483647    78488    180 | 21.252 % |
210.89/211.14	c |     80533 |  109822   732571  2111850 | 2147483647    79284    181 | 21.258 % |
213.58/213.85	c |     81404 |  108904   719140  2075216 | 2147483647    79856    183 | 21.268 % |
216.28/216.50	c |     82366 |  108904   719140  2075216 | 2147483647    80818    185 | 21.268 % |
216.58/216.86	c |     82469 |  108904   719140  2075216 | 2147483647    80921    185 | 21.268 % |
216.88/217.18	c |     82582 |  108904   719140  2075216 | 2147483647    81034    185 | 21.268 % |
217.18/217.43	c |     82704 |  108904   719140  2075216 | 2147483647    81156    185 | 21.268 % |
217.78/218.07	c |     82837 |  108904   719140  2075216 | 2147483647    81289    185 | 21.268 % |
218.38/218.61	c |     82985 |  108904   719140  2075216 | 2147483647    81437    185 | 21.268 % |
218.48/218.80	c |     83145 |  108904   719140  2075216 | 2147483647    81597    185 | 21.268 % |
219.28/219.51	c |     83322 |  108904   719140  2075216 | 2147483647    81774    185 | 21.268 % |
219.87/220.17	c |     83516 |  108904   719140  2075216 | 2147483647    81968    185 | 21.268 % |
220.17/220.40	c |     83728 |  108904   719140  2075216 | 2147483647    82180    185 | 21.268 % |
220.68/220.94	c |     83965 |  108904   719140  2075216 | 2147483647    82417    185 | 21.268 % |
221.48/221.71	c |     84225 |  108886   719140  2075216 | 2147483647    82676    185 | 21.281 % |
222.88/223.13	c |     84509 |  108886   719140  2075216 | 2147483647    82960    186 | 21.281 % |
224.08/224.32	c |     84819 |  108885   719140  2075216 | 2147483647    83269    187 | 21.285 % |
225.58/225.80	c |     85159 |  108880   719140  2075216 | 2147483647    83606    187 | 21.295 % |
226.87/227.15	c |     85532 |  108824   719140  2075216 | 2147483647    83977    188 | 21.412 % |
228.57/228.88	c |     85945 |  108824   719140  2075216 | 2147483647    84390    189 | 21.412 % |
229.98/230.20	c |     86394 |  108824   719140  2075216 | 2147483647    84839    189 | 21.412 % |
231.38/231.69	c |     86888 |  108824   719140  2075216 | 2147483647    85333    189 | 21.412 % |
233.78/234.07	c |     87432 |  108694   717880  2072423 | 2147483647    85790    190 | 21.412 % |
235.47/235.72	c |     88028 |  108689   717880  2072423 | 2147483647    86383    189 | 21.424 % |
238.97/239.28	c |     88683 |  108689   717880  2072423 | 2147483647    87038    192 | 21.424 % |
241.67/241.93	c |     89407 |  108687   717880  2072423 | 2147483647    87761    193 | 21.433 % |
246.17/246.42	c |     90205 |  108687   717880  2072423 | 2147483647    88559    198 | 21.433 % |
248.26/248.53	c |     91077 |  108687   717880  2072423 | 2147483647    89431    198 | 21.433 % |
251.27/251.58	c |     92035 |  108685   717880  2072423 | 2147483647    90388    200 | 21.439 % |
255.67/255.95	c |     93088 |  108685   717880  2072423 | 2147483647    91439    202 | 21.441 % |
256.07/256.34	c |     93188 |  108685   717880  2072423 | 2147483647    91539    202 | 21.441 % |
256.27/256.55	c |     93298 |  108685   717880  2072423 | 2147483647    91649    202 | 21.441 % |
256.57/256.83	c |     93420 |  108685   717880  2072423 | 2147483647    91771    202 | 21.441 % |
256.97/257.22	c |     93554 |  108685   717880  2072423 | 2147483647    91905    202 | 21.441 % |
257.37/257.62	c |     93704 |  108685   717880  2072423 | 2147483647    92055    202 | 21.441 % |
257.67/257.92	c |     93865 |  108685   717880  2072423 | 2147483647    92216    202 | 21.441 % |
257.97/258.24	c |     94041 |  108654   717608  2071755 | 2147483647    92382    202 | 21.441 % |
258.27/258.55	c |     94238 |  108654   717608  2071755 | 2147483647    92579    202 | 21.441 % |
259.86/260.16	c |     94451 |  108654   717608  2071755 | 2147483647    92792    203 | 21.441 % |
260.46/260.72	c |     94685 |  108654   717608  2071755 | 2147483647    93026    203 | 21.441 % |
261.56/261.89	c |     94941 |  108653   717608  2071755 | 2147483647    93281    203 | 21.443 % |
262.56/262.83	c |     95222 |  108653   717608  2071755 | 2147483647    93562    204 | 21.443 % |
263.45/263.71	c |     95531 |  108653   717608  2071755 | 2147483647    93871    203 | 21.443 % |
265.25/265.57	c |     95871 |  108653   717608  2071755 | 2147483647    94211    204 | 21.443 % |
267.46/267.77	c |     96244 |  108644   717608  2071755 | 2147483647    94582    206 | 21.509 % |
269.26/269.54	c |     96653 |  108641   717608  2071755 | 2147483647    94990    207 | 21.518 % |
271.05/271.34	c |     97102 |  108641   717608  2071755 | 2147483647    95439    208 | 21.518 % |
272.65/272.93	c |     97597 |  108641   717608  2071755 | 2147483647    95934    209 | 21.518 % |
274.05/274.31	c |     98139 |  108641   717608  2071755 | 2147483647    96476    210 | 21.518 % |
275.55/275.83	c |     98739 |  108641   717608  2071755 | 2147483647    97076    210 | 21.518 % |
277.26/277.51	c |     99394 |  108641   717608  2071755 | 2147483647    97731    210 | 21.518 % |
279.45/279.76	c |    100114 |  108637   717608  2071755 | 2147483647    98449    211 | 21.525 % |
281.75/282.03	c |    100907 |  108616   717608  2071755 | 2147483647    99241    212 | 21.646 % |
283.95/284.29	c |    101778 |  108606   717608  2071755 | 2147483647   100107    212 | 21.800 % |
287.44/287.79	c |    102737 |  108605   717608  2071755 | 2147483647   101065    212 | 21.801 % |
290.14/290.41	c |    103791 |  108156   714111  2063324 | 2147483647   102095    214 | 21.801 % |
294.45/294.71	c |    104951 |  108152   714111  2063324 | 2147483647   103254    214 | 21.808 % |
294.55/294.87	c |    105052 |  108152   714111  2063324 | 2147483647   103355    214 | 21.808 % |
294.84/295.16	c |    105163 |  108152   714111  2063324 | 2147483647   103466    214 | 21.808 % |
295.34/295.69	c |    105284 |  108152   714111  2063324 | 2147483647   103587    215 | 21.808 % |
295.55/295.89	c |    105417 |  108152   714111  2063324 | 2147483647   103720    215 | 21.808 % |
296.04/296.37	c |    105569 |  108152   714111  2063324 | 2147483647   103872    215 | 21.808 % |
296.75/297.06	c |    105732 |  108152   714111  2063324 | 2147483647   104035    215 | 21.808 % |
297.04/297.39	c |    105908 |  108152   714111  2063324 | 2147483647   104211    215 | 21.808 % |
297.84/298.17	c |    106101 |  108152   714111  2063324 | 2147483647   104404    215 | 21.808 % |
298.64/298.95	c |    106313 |  108152   714111  2063324 | 2147483647   104616    215 | 21.808 % |
299.24/299.52	c |    106546 |  108152   714111  2063324 | 2147483647   104849    215 | 21.808 % |
299.74/300.07	c |    106802 |  108151   714111  2063324 | 2147483647   105104    215 | 21.961 % |
300.04/300.31	c |    107084 |  108151   714111  2063324 | 2147483647   105386    215 | 21.961 % |
301.84/302.11	c |    107393 |  108151   714111  2063324 | 2147483647   105695    215 | 21.961 % |
302.73/303.00	c |    107732 |  108151   714111  2063324 | 2147483647   106034    216 | 21.961 % |
305.13/305.48	c |    108104 |  108151   714111  2063324 | 2147483647   106406    217 | 21.961 % |
306.44/306.73	c |    108514 |  108151   714111  2063324 | 2147483647   106816    217 | 21.961 % |
307.74/308.03	c |    108964 |  108149   714111  2063324 | 2147483647   107264    217 | 21.968 % |
309.94/310.30	c |    109457 |  108149   714111  2063324 | 2147483647   107756    218 | 21.969 % |
310.94/311.23	c |    110001 |  108149   714111  2063324 | 2147483647   108300    219 | 21.969 % |
311.93/312.27	c |    110598 |  108148   714111  2063324 | 2147483647   108896    219 | 21.970 % |
313.33/313.68	c |    111253 |  108148   714111  2063324 | 2147483647   109551    219 | 21.970 % |
315.33/315.69	c |    111975 |  108119   714111  2063324 | 2147483647   110270    218 | 22.087 % |
318.93/319.28	c |    112768 |  107751   711758  2057523 | 2147483647   110958    219 | 22.103 % |
322.23/322.52	c |    113639 |  107749   711758  2057523 | 2147483647   111827    220 | 22.105 % |
324.03/324.32	c |    114598 |  107747   711758  2057523 | 2147483647   112785    220 | 22.111 % |
327.92/328.26	c |    115651 |  107747   711758  2057523 | 2147483647   113838    220 | 22.111 % |
331.53/331.83	c |    116809 |  107747   711758  2057523 | 2147483647   114996    222 | 22.111 % |
334.72/335.09	c |    118086 |  107743   711758  2057523 | 2147483647   116270    223 | 22.178 % |
335.13/335.42	c |    118187 |  107743   711758  2057523 | 2147483647   116371    223 | 22.178 % |
335.42/335.76	c |    118300 |  107742   711758  2057523 | 2147483647   116483    222 | 22.184 % |
335.62/335.94	c |    118423 |  107742   711758  2057523 | 2147483647   116606    222 | 22.184 % |
336.52/336.81	c |    118558 |  107742   711758  2057523 | 2147483647   116741    223 | 22.184 % |
337.02/337.40	c |    118705 |  107742   711758  2057523 | 2147483647   116888    222 | 22.184 % |
337.62/337.92	c |    118865 |  107739   711758  2057523 | 2147483647   117047    222 | 22.201 % |
338.12/338.47	c |    119042 |  107739   711758  2057523 | 2147483647   117224    222 | 22.201 % |
339.12/339.41	c |    119236 |  107739   711758  2057523 | 2147483647   117418    223 | 22.201 % |
340.22/340.54	c |    119449 |  107739   711758  2057523 | 2147483647   117631    224 | 22.201 % |
340.92/341.28	c |    119682 |  107719   711758  2057523 | 2147483647   117861    224 | 22.603 % |
342.12/342.47	c |    119941 |  107719   711758  2057523 | 2147483647   118120    224 | 22.603 % |
343.31/343.62	c |    120222 |  107718   711758  2057523 | 2147483647   118400    224 | 22.604 % |
344.12/344.45	c |    120533 |  107715   711758  2057523 | 2147483647   118708    224 | 22.610 % |
344.72/345.04	c |    120872 |  107714   711758  2057523 | 2147483647   119046    224 | 22.615 % |
346.22/346.58	c |    121244 |  107713   711758  2057523 | 2147483647   119418    224 | 22.615 % |
347.42/347.75	c |    121653 |  107712   711758  2057523 | 2147483647   119826    224 | 22.620 % |
348.32/348.68	c |    122102 |  107712   711758  2057523 | 2147483647   120275    224 | 22.620 % |
351.11/351.42	c |    122597 |  107712   711758  2057523 | 2147483647   120770    225 | 22.620 % |
353.92/354.24	c |    123141 |  107712   711758  2057523 | 2147483647   121314    227 | 22.620 % |
355.82/356.17	c |    123737 |  106996   700405  2026188 | 2147483647   120635    228 | 22.915 % |
357.52/357.82	c |    124394 |  106995   700405  2026188 | 2147483647   121291    228 | 22.915 % |
360.71/361.02	c |    125114 |  106995   700405  2026188 | 2147483647   122011    229 | 22.915 % |
364.11/364.43	c |    125906 |  106993   700405  2026188 | 2147483647   122801    229 | 22.922 % |
367.51/367.81	c |    126781 |  106989   700405  2026188 | 2147483647   123671    229 | 22.970 % |
371.80/372.18	c |    127739 |  106963   700405  2026188 | 2147483647   124624    230 | 23.142 % |
374.70/375.10	c |    128793 |  106962   700405  2026188 | 2147483647   125676    231 | 23.147 % |
377.01/377.38	c |    129955 |  106961   700405  2026188 | 2147483647   126837    232 | 23.148 % |
382.10/382.46	c |    131231 |  106957   700405  2026188 | 2147483647   128109    234 | 23.160 % |
387.50/387.87	c |    132631 |  106954   700405  2026188 | 2147483647   129507    235 | 23.168 % |
387.91/388.25	c |    132731 |  106954   700405  2026188 | 2147483647   129607    235 | 23.168 % |
388.10/388.48	c |    132841 |  106954   700405  2026188 | 2147483647   129717    235 | 23.168 % |
388.50/388.85	c |    132963 |  106954   700405  2026188 | 2147483647   129839    235 | 23.168 % |
389.10/389.46	c |    133097 |  106954   700405  2026188 | 2147483647   129973    235 | 23.168 % |
389.60/389.94	c |    133243 |  106954   700405  2026188 | 2147483647   130119    235 | 23.168 % |
390.10/390.48	c |    133405 |  106954   700405  2026188 | 2147483647   130281    235 | 23.168 % |
390.90/391.21	c |    133581 |  106954   700405  2026188 | 2147483647   130457    236 | 23.168 % |
391.60/391.99	c |    133777 |  106954   700405  2026188 | 2147483647   130653    236 | 23.168 % |
392.49/392.87	c |    133994 |  106954   700405  2026188 | 2147483647   130870    236 | 23.168 % |
393.29/393.63	c |    134228 |  106954   700405  2026188 | 2147483647   131104    236 | 23.168 % |
394.30/394.68	c |    134489 |  106954   700405  2026188 | 2147483647   131364    236 | 23.332 % |
395.40/395.78	c |    134770 |  106945   700405  2026188 | 2147483647   131645    237 | 23.332 % |
396.30/396.63	c |    135079 |  106944   700405  2026188 | 2147483647   131953    237 | 23.333 % |
397.60/397.97	c |    135418 |  106944   700405  2026188 | 2147483647   132292    237 | 23.333 % |
399.19/399.51	c |    135794 |  106038   693582  2008685 | 2147483647   132405    238 | 23.333 % |
400.59/400.95	c |    136203 |  106034   693582  2008685 | 2147483647   132812    238 | 23.763 % |
402.09/402.45	c |    136652 |  106034   693582  2008685 | 2147483647   133261    239 | 23.763 % |
404.40/404.71	c |    137146 |  106034   693582  2008685 | 2147483647   133755    239 | 23.763 % |
407.30/407.70	c |    137688 |  105998   693582  2008685 | 2147483647   134296    240 | 23.867 % |
409.09/409.40	c |    138286 |  105998   693582  2008685 | 2147483647   134894    240 | 23.867 % |
411.39/411.71	c |    138942 |  105997   693582  2008685 | 2147483647   135549    241 | 23.868 % |
413.59/413.93	c |    139662 |  105996   693582  2008685 | 2147483647   136267    241 | 23.870 % |
416.98/417.40	c |    140455 |  105994   693582  2008685 | 2147483647   137060    242 | 23.870 % |
420.59/420.92	c |    141327 |  105994   693582  2008685 | 2147483647   137932    242 | 23.870 % |
425.98/426.33	c |    142290 |  105992   693582  2008685 | 2147483647   138894    244 | 23.876 % |
430.38/430.77	c |    143344 |  105990   693582  2008685 | 2147483647   139946    244 | 23.882 % |
432.68/433.05	c |    144503 |  105990   693582  2008685 | 2147483647   141105    245 | 23.882 % |
436.98/437.35	c |    145776 |  105986   693582  2008685 | 2147483647   142374    245 | 23.885 % |
443.37/443.74	c |    147176 |  105986   693582  2008685 | 2147483647   143774    247 | 23.885 % |
450.07/450.48	c |    148726 |  105984   693582  2008685 | 2147483647   145321    247 | 23.896 % |
450.68/451.05	c |    148831 |  105259   682456  1978157 | 2147483647   144796    248 | 23.896 % |
451.27/451.62	c |    148941 |  105259   682456  1978157 | 2147483647   144906    248 | 23.896 % |
451.57/451.98	c |    149062 |  105259   682456  1978157 | 2147483647   145027    248 | 23.896 % |
452.17/452.53	c |    149198 |  105258   682456  1978157 | 2147483647   145162    248 | 23.896 % |
452.88/453.29	c |    149344 |  105258   682456  1978157 | 2147483647   145308    248 | 23.896 % |
453.47/453.88	c |    149504 |  105258   682456  1978157 | 2147483647   145468    248 | 23.896 % |
454.37/454.73	c |    149680 |  105258   682456  1978157 | 2147483647   145644    248 | 23.896 % |
455.07/455.47	c |    149873 |  105257   682456  1978157 | 2147483647   145836    248 | 23.915 % |
456.07/456.42	c |    150085 |  105257   682456  1978157 | 2147483647   146048    248 | 23.915 % |
456.77/457.15	c |    150318 |  105257   682456  1978157 | 2147483647   146281    248 | 23.915 % |
457.86/458.24	c |    150574 |  105256   682456  1978157 | 2147483647   146536    248 | 23.915 % |
458.76/459.13	c |    150858 |  105256   682456  1978157 | 2147483647   146820    248 | 23.915 % |
460.27/460.67	c |    151167 |  105255   682456  1978157 | 2147483647   147128    248 | 23.923 % |
461.37/461.71	c |    151512 |  105255   682456  1978157 | 2147483647   147473    248 | 23.923 % |
463.07/463.40	c |    151884 |  105255   682456  1978157 | 2147483647   147845    248 | 23.923 % |
464.46/464.80	c |    152299 |  105255   682456  1978157 | 2147483647   148260    248 | 23.923 % |
465.26/465.63	c |    152748 |  105254   682456  1978157 | 2147483647   148708    248 | 23.928 % |
467.16/467.55	c |    153242 |  105254   682456  1978157 | 2147483647   149202    248 | 23.928 % |
469.27/469.65	c |    153784 |  105254   682456  1978157 | 2147483647   149744    249 | 23.928 % |
471.27/471.61	c |    154380 |  105254   682456  1978157 | 2147483647   150340    249 | 23.928 % |
474.96/475.38	c |    155039 |  105251   682456  1978157 | 2147483647   150998    250 | 23.934 % |
477.36/477.75	c |    155759 |  105250   682456  1978157 | 2147483647   151717    250 | 23.935 % |
479.56/479.95	c |    156557 |  105250   682456  1978157 | 2147483647   152515    250 | 23.935 % |
483.67/484.02	c |    157429 |  105248   682456  1978157 | 2147483647   153385    250 | 23.942 % |
486.76/487.10	c |    158391 |  105247   682456  1978157 | 2147483647   154346    250 | 23.951 % |
489.35/489.75	c |    159444 |  105239   682456  1978157 | 2147483647   155396    250 | 24.003 % |
492.76/493.19	c |    160602 |  105239   682456  1978157 | 2147483647   156554    250 | 24.003 % |
498.56/499.00	c |    161878 |  105239   682456  1978157 | 2147483647   157830    251 | 24.003 % |
504.45/504.88	c |    163278 |  105097   680562  1973007 | 2147483647   158678    251 | 24.013 % |
509.35/509.74	c |    164821 |  105094   680562  1973007 | 2147483647   160217    252 | 24.031 % |
515.45/515.85	c |    166515 |  105062   680562  1973007 | 2147483647   161901    252 | 24.305 % |
515.75/516.19	c |    166616 |  105062   680562  1973007 | 2147483647   162002    252 | 24.305 % |
516.14/516.52	c |    166728 |  105062   680562  1973007 | 2147483647   162114    252 | 24.305 % |
517.04/517.49	c |    166852 |  105062   680562  1973007 | 2147483647   162238    252 | 24.305 % |
517.84/518.24	c |    166985 |  105062   680562  1973007 | 2147483647   162371    252 | 24.305 % |
518.24/518.62	c |    167131 |  105062   680562  1973007 | 2147483647   162517    252 | 24.305 % |
518.34/518.79	c |    167295 |  105062   680562  1973007 | 2147483647   162681    252 | 24.305 % |
519.04/519.47	c |    167475 |  105062   680562  1973007 | 2147483647   162861    252 | 24.305 % |
519.64/520.00	c |    167669 |  105062   680562  1973007 | 2147483647   163055    252 | 24.305 % |
520.44/520.83	c |    167881 |  105052   680562  1973007 | 2147483647   163264    252 | 24.734 % |
521.84/522.29	c |    168116 |  105052   680562  1973007 | 2147483647   163499    252 | 24.734 % |
522.54/522.98	c |    168373 |  105052   680562  1973007 | 2147483647   163756    252 | 24.734 % |
523.15/523.60	c |    168654 |  105052   680562  1973007 | 2147483647   164037    252 | 24.734 % |
524.95/525.31	c |    168964 |  105052   680562  1973007 | 2147483647   164347    253 | 24.734 % |
527.05/527.43	c |    169304 |  105052   680562  1973007 | 2147483647   164686    253 | 24.740 % |
528.54/528.96	c |    169676 |  105052   680562  1973007 | 2147483647   165058    253 | 24.740 % |
530.14/530.54	c |    170087 |  105052   680562  1973007 | 2147483647   165469    253 | 24.740 % |
533.04/533.42	c |    170536 |  105052   680562  1973007 | 2147483647   165918    254 | 24.740 % |
534.94/535.30	c |    171029 |  105052   680562  1973007 | 2147483647   166411    254 | 24.740 % |
537.94/538.34	c |    171571 |  105052   680562  1973007 | 2147483647   166953    254 | 24.740 % |
539.93/540.32	c |    172167 |  105026   680562  1973007 | 2147483647   167548    255 | 24.759 % |
543.34/543.79	c |    172826 |  105024   680562  1973007 | 2147483647   168206    255 | 24.766 % |
547.44/547.88	c |    173549 |  105024   680562  1973007 | 2147483647   168929    256 | 24.766 % |
550.43/550.81	c |    174345 |  105024   680562  1973007 | 2147483647   169725    257 | 24.766 % |
553.14/553.57	c |    175216 |  105024   680562  1973007 | 2147483647   170596    257 | 24.766 % |
556.33/556.77	c |    176174 |  105024   680562  1973007 | 2147483647   171554    258 | 24.766 % |
561.53/561.93	c |    177231 |  105023   680562  1973007 | 2147483647   172610    260 | 24.767 % |
565.73/566.13	c |    178394 |  104049   665252  1930772 | 2147483647   168094    259 | 24.771 % |
570.13/570.51	c |    179667 |  104049   665252  1930772 | 2147483647   169366    260 | 24.771 % |
577.43/577.81	c |    181067 |  104048   665252  1930772 | 2147483647   170765    262 | 24.776 % |
582.42/582.84	c |    182608 |  104046   665252  1930772 | 2147483647   172304    263 | 24.779 % |
588.62/589.08	c |    184303 |  104032   665252  1930772 | 2147483647   173998    263 | 24.897 % |
593.62/594.07	c |    186167 |  104031   665252  1930772 | 2147483647   175861    264 | 24.903 % |
593.92/594.32	c |    186269 |  104031   665252  1930772 | 2147483647   175963    264 | 24.903 % |
594.12/594.51	c |    186379 |  104031   665252  1930772 | 2147483647   176073    264 | 24.903 % |
594.62/595.04	c |    186500 |  104031   665252  1930772 | 2147483647   176194    264 | 24.903 % |
595.41/595.83	c |    186639 |  104031   665252  1930772 | 2147483647   176333    264 | 24.903 % |
596.11/596.53	c |    186785 |  104031   665252  1930772 | 2147483647   176479    264 | 24.903 % |
596.71/597.16	c |    186946 |  104031   665252  1930772 | 2147483647   176640    264 | 24.903 % |
597.31/597.72	c |    187122 |  104031   665252  1930772 | 2147483647   176816    264 | 24.903 % |
598.51/598.96	c |    187315 |  104031   665252  1930772 | 2147483647   177009    265 | 24.903 % |
599.82/600.26	c |    187528 |  104031   665252  1930772 | 2147483647   177222    265 | 24.903 % |
600.72/601.15	c |    187761 |  104030   665252  1930772 | 2147483647   177454    265 | 24.904 % |
601.41/601.81	c |    188019 |  104030   665252  1930772 | 2147483647   177712    265 | 24.904 % |
603.41/603.81	c |    188302 |  104030   665252  1930772 | 2147483647   177994    265 | 24.905 % |
604.41/604.85	c |    188614 |  104026   665252  1930772 | 2147483647   178305    265 | 24.911 % |
606.81/607.24	c |    188955 |  104025   665252  1930772 | 2147483647   178645    266 | 24.912 % |
607.81/608.26	c |    189332 |  104025   665252  1930772 | 2147483647   179022    266 | 24.912 % |
608.91/609.34	c |    189741 |  104025   665252  1930772 | 2147483647   179430    266 | 24.914 % |
609.70/610.13	c |    190192 |  104024   665252  1930772 | 2147483647   179879    265 | 24.916 % |
611.11/611.51	c |    190685 |  104023   665252  1930772 | 2147483647   180372    265 | 24.916 % |
614.31/614.76	c |    191229 |  104022   665252  1930772 | 2147483647   180915    266 | 24.920 % |
616.61/617.09	c |    191826 |  104022   665252  1930772 | 2147483647   181512    266 | 24.920 % |
619.70/620.17	c |    192481 |  104022   665252  1930772 | 2147483647   182166    267 | 24.921 % |
622.00/622.41	c |    193202 |  104022   665252  1930772 | 2147483647   182887    267 | 24.921 % |
626.61/627.09	c |    193997 |  104022   665252  1930772 | 2147483647   183682    268 | 24.921 % |
629.90/630.35	c |    194869 |  104022   665252  1930772 | 2147483647   184554    269 | 24.921 % |
632.20/632.65	c |    195827 |  104022   665252  1930772 | 2147483647   185512    269 | 24.921 % |
637.50/637.99	c |    196882 |  103838   664271  1928560 | 2147483647   183794    270 | 24.923 % |
639.20/639.63	c |    198040 |  103838   664271  1928560 | 2147483647   184952    270 | 24.923 % |
644.29/644.72	c |    199313 |  103838   664271  1928560 | 2147483647   186225    271 | 24.923 % |
651.08/651.50	c |    200713 |  103836   664271  1928560 | 2147483647   187623    271 | 24.930 % |
658.39/658.85	c |    202258 |  103834   664271  1928560 | 2147483647   189163    271 | 24.948 % |
666.18/666.66	c |    203953 |  103830   664271  1928560 | 2147483647   190853    271 | 24.977 % |
676.09/676.59	c |    205817 |  103787   664271  1928560 | 2147483647   192715    271 | 25.081 % |
685.17/685.67	c |    207868 |  103786   664271  1928560 | 2147483647   194764    271 | 25.082 % |
685.57/686.05	c |    207969 |  103786   664271  1928560 | 2147483647   194865    271 | 25.082 % |
686.17/686.62	c |    208081 |  103786   664271  1928560 | 2147483647   194977    271 | 25.082 % |
686.87/687.40	c |    208202 |  103786   664271  1928560 | 2147483647   195098    271 | 25.082 % |
687.56/688.06	c |    208335 |  103786   664271  1928560 | 2147483647   195231    271 | 25.082 % |
688.07/688.57	c |    208482 |  103786   664271  1928560 | 2147483647   195378    271 | 25.082 % |
688.76/689.28	c |    208644 |  103786   664271  1928560 | 2147483647   195540    271 | 25.082 % |
689.16/689.69	c |    208822 |  103786   664271  1928560 | 2147483647   195718    271 | 25.082 % |
690.06/690.54	c |    209015 |  103786   664271  1928560 | 2147483647   195911    271 | 25.082 % |
691.06/691.59	c |    209227 |  103786   664271  1928560 | 2147483647   196123    272 | 25.082 % |
692.17/692.61	c |    209462 |  103786   664271  1928560 | 2147483647   196358    272 | 25.082 % |
692.87/693.35	c |    209720 |  103786   664271  1928560 | 2147483647   196616    272 | 25.082 % |
693.67/694.11	c |    210002 |  103786   664271  1928560 | 2147483647   196898    272 | 25.082 % |
694.36/694.87	c |    210311 |  103786   664271  1928560 | 2147483647   197207    272 | 25.082 % |
695.16/695.63	c |    210650 |  103778   664271  1928560 | 2147483647   197544    271 | 25.125 % |
697.76/698.28	c |    211023 |  103778   664271  1928560 | 2147483647   197917    272 | 25.125 % |
700.16/700.62	c |    211433 |  103778   664271  1928560 | 2147483647   198327    272 | 25.125 % |
702.05/702.57	c |    211883 |  103777   664271  1928560 | 2147483647   198776    272 | 25.126 % |
703.57/704.03	c |    212377 |  103777   664271  1928560 | 2147483647   199270    272 | 25.126 % |
707.36/707.80	c |    212920 |  103558   662662  1924680 | 2147483647   198722    273 | 25.126 % |
710.16/710.65	c |    213519 |  103558   662662  1924680 | 2147483647   199321    274 | 25.126 % |
713.16/713.64	c |    214174 |  103558   662662  1924680 | 2147483647   199976    275 | 25.126 % |
715.56/716.05	c |    214896 |  103558   662662  1924680 | 2147483647   200698    276 | 25.126 % |
719.56/720.09	c |    215688 |  103558   662662  1924680 | 2147483647   201489    276 | 25.126 % |
724.05/724.55	c |    216559 |  103558   662662  1924680 | 2147483647   202360    277 | 25.126 % |
727.46/727.96	c |    217521 |  103557   662662  1924680 | 2147483647   203321    277 | 25.127 % |
730.84/731.34	c |    218575 |  103557   662662  1924680 | 2147483647   204375    277 | 25.127 % |
736.84/737.33	c |    219733 |  103557   662662  1924680 | 2147483647   205533    277 | 25.127 % |
742.05/742.51	c |    221006 |  103553   662662  1924680 | 2147483647   206803    277 | 26.027 % |
748.44/748.91	c |    222408 |  103552   662662  1924680 | 2147483647   208204    278 | 26.027 % |
755.54/756.08	c |    223950 |  103552   662662  1924680 | 2147483647   209746    279 | 26.027 % |
765.04/765.55	c |    225644 |  103550   662662  1924680 | 2147483647   211438    280 | 26.029 % |
773.54/774.01	c |    227507 |  103549   662662  1924680 | 2147483647   213299    281 | 26.030 % |
784.02/784.58	c |    229556 |  103545   662662  1924680 | 2147483647   215345    282 | 26.097 % |
796.31/796.85	c |    231810 |  103542   662662  1924680 | 2147483647   217596    283 | 26.105 % |
796.92/797.49	c |    231912 |  102202   640687  1863359 | 2147483647   217207    283 | 26.106 % |
797.42/797.91	c |    232025 |  102202   640687  1863359 | 2147483647   217320    283 | 26.106 % |
798.12/798.62	c |    232147 |  102201   640687  1863359 | 2147483647   217441    283 | 26.115 % |
798.71/799.20	c |    232281 |  102201   640687  1863359 | 2147483647   217575    283 | 26.115 % |
799.71/800.27	c |    232427 |  102200   640687  1863359 | 2147483647   217720    283 | 26.121 % |
801.02/801.54	c |    232587 |  102200   640687  1863359 | 2147483647   217880    283 | 26.121 % |
802.12/802.66	c |    232763 |  102200   640687  1863359 | 2147483647   218056    283 | 26.121 % |
803.22/803.73	c |    232956 |  102200   640687  1863359 | 2147483647   218249    283 | 26.121 % |
804.02/804.55	c |    233169 |  102198   640687  1863359 | 2147483647   218460    283 | 26.123 % |
804.72/805.29	c |    233403 |  102198   640687  1863359 | 2147483647   218694    283 | 26.123 % |
806.11/806.66	c |    233659 |  102198   640687  1863359 | 2147483647   218950    283 | 26.123 % |
807.31/807.84	c |    233941 |  102198   640687  1863359 | 2147483647   219232    283 | 26.123 % |
808.21/808.73	c |    234250 |  102198   640687  1863359 | 2147483647   219541    283 | 26.123 % |
808.92/809.45	c |    234589 |  102197   640687  1863359 | 2147483647   219879    283 | 26.132 % |
810.42/810.92	c |    234963 |  102197   640687  1863359 | 2147483647   220253    283 | 26.132 % |
812.02/812.58	c |    235375 |  102197   640687  1863359 | 2147483647   220665    283 | 26.132 % |
814.11/814.67	c |    235824 |  102196   640687  1863359 | 2147483647   221113    283 | 26.133 % |
815.71/816.27	c |    236318 |  102196   640687  1863359 | 2147483647   221607    284 | 26.133 % |
818.31/818.84	c |    236862 |  102196   640687  1863359 | 2147483647   222151    284 | 26.133 % |
821.50/822.09	c |    237459 |  102192   640687  1863359 | 2147483647   222744    284 | 26.146 % |
823.40/823.96	c |    238116 |  102192   640687  1863359 | 2147483647   223401    284 | 26.146 % |
827.90/828.45	c |    238838 |  102192   640687  1863359 | 2147483647   224123    286 | 26.146 % |
832.21/832.73	c |    239630 |  102191   640687  1863359 | 2147483647   224914    286 | 26.152 % |
836.40/836.90	c |    240505 |  102191   640687  1863359 | 2147483647   225789    287 | 26.152 % |
840.90/841.44	c |    241465 |  102186   640687  1863359 | 2147483647   226747    286 | 26.158 % |
847.30/847.85	c |    242518 |  102186   640687  1863359 | 2147483647   227800    287 | 26.158 % |
853.39/853.98	c |    243680 |  102183   640687  1863359 | 2147483647   228959    287 | 26.160 % |
859.20/859.72	c |    244953 |  102182   640687  1863359 | 2147483647   230231    288 | 26.161 % |
863.79/864.34	c |    246353 |  102182   640687  1863359 | 2147483647   231631    288 | 26.161 % |
871.48/872.01	c |    247894 |  102182   640687  1863359 | 2147483647   233172    289 | 26.161 % |
874.08/874.64	c |    249590 |  102181   640687  1863359 | 2147483647   234867    288 | 26.162 % |
883.37/883.91	c |    251456 |  102180   640687  1863359 | 2147483647   236731    289 | 26.652 % |
890.67/891.26	c |    253506 |  102177   640687  1863359 | 2147483647   238778    290 | 26.658 % |
901.67/902.25	c |    255762 |  102177   640687  1863359 | 2147483647   241034    293 | 26.658 % |
911.96/912.59	c |    258242 |  101437   629315  1831653 | 2147483647   243389    293 | 26.659 % |
912.76/913.36	c |    258346 |  101437   629315  1831653 | 2147483647   243493    294 | 26.659 % |
913.36/913.97	c |    258457 |  101437   629315  1831653 | 2147483647   243604    294 | 26.659 % |
913.66/914.25	c |    258578 |  101437   629315  1831653 | 2147483647   243725    294 | 26.659 % |
914.06/914.64	c |    258713 |  101437   629315  1831653 | 2147483647   243860    293 | 26.659 % |
914.56/915.10	c |    258859 |  101437   629315  1831653 | 2147483647   244006    293 | 26.659 % |
916.06/916.69	c |    259020 |  101437   629315  1831653 | 2147483647   244167    293 | 26.659 % |
916.96/917.60	c |    259196 |  101437   629315  1831653 | 2147483647   244343    294 | 26.659 % |
917.96/918.57	c |    259393 |  101437   629315  1831653 | 2147483647   244540    294 | 26.659 % |
919.25/919.86	c |    259605 |  101437   629315  1831653 | 2147483647   244752    294 | 26.659 % |
920.35/920.97	c |    259838 |  101437   629315  1831653 | 2147483647   244985    294 | 26.659 % |
921.26/921.84	c |    260094 |  101437   629315  1831653 | 2147483647   245241    294 | 26.659 % |
922.45/923.08	c |    260381 |  101435   629315  1831653 | 2147483647   245526    294 | 26.661 % |
924.56/925.10	c |    260693 |  101435   629315  1831653 | 2147483647   245838    294 | 26.661 % |
926.45/927.07	c |    261033 |  101435   629315  1831653 | 2147483647   246178    295 | 26.661 % |
929.15/929.78	c |    261407 |  101427   629315  1831653 | 2147483647   246551    295 | 26.677 % |
931.25/931.89	c |    261817 |  101427   629315  1831653 | 2147483647   246961    295 | 26.677 % |
933.86/934.48	c |    262266 |  101427   629315  1831653 | 2147483647   247410    295 | 26.677 % |
935.65/936.20	c |    262759 |  101427   629315  1831653 | 2147483647   247903    295 | 26.677 % |
938.75/939.38	c |    263301 |  101427   629315  1831653 | 2147483647   248445    295 | 26.677 % |
941.35/941.93	c |    263898 |  101427   629315  1831653 | 2147483647   249042    296 | 26.677 % |
943.64/944.27	c |    264556 |  101427   629315  1831653 | 2147483647   249700    296 | 26.677 % |
947.65/948.21	c |    265278 |  101427   629315  1831653 | 2147483647   250422    296 | 26.677 % |
951.25/951.84	c |    266078 |  101427   629315  1831653 | 2147483647   251222    296 | 26.677 % |
955.53/956.11	c |    266950 |  101427   629315  1831653 | 2147483647   252094    296 | 26.677 % |
960.94/961.51	c |    267912 |  101425   629315  1831653 | 2147483647   253054    297 | 26.683 % |
967.93/968.60	c |    268965 |  101424   629315  1831653 | 2147483647   254106    298 | 26.710 % |
973.43/974.10	c |    270124 |  101424   629315  1831653 | 2147483647   255265    298 | 26.710 % |
979.03/979.69	c |    271401 |  101424   629315  1831653 | 2147483647   256542    299 | 26.710 % |
984.93/985.59	c |    272813 |  101424   629315  1831653 | 2147483647   257954    300 | 26.710 % |
994.43/995.06	c |    274359 |  101424   629315  1831653 | 2147483647   259500    300 | 26.710 % |
1001.81/1002.50	c |    276056 |  101424   629315  1831653 | 2147483647   261197    300 | 26.710 % |
1012.71/1013.39	c |    277921 |  101422   629315  1831653 | 2147483647   263060    300 | 26.718 % |
1022.41/1023.06	c |    279970 |  101420   629315  1831653 | 2147483647   265106    301 | 26.720 % |
1032.91/1033.56	c |    282225 |  101418   629315  1831653 | 2147483647   267359    301 | 26.835 % |
1043.20/1043.83	c |    284703 |  101406   629315  1831653 | 2147483647   269834    301 | 26.854 % |
1061.89/1062.55	c |    287434 |  101166   627480  1826880 | 2147483647   272477    304 | 26.855 % |
1062.89/1063.51	c |    287538 |  101166   627480  1826880 | 2147483647   272581    304 | 26.855 % |
1063.49/1064.19	c |    287648 |  101166   627480  1826880 | 2147483647   272691    304 | 26.855 % |
1063.99/1064.66	c |    287770 |  101166   627480  1826880 | 2147483647   272813    304 | 26.855 % |
1064.68/1065.32	c |    287903 |  101166   627480  1826880 | 2147483647   272946    304 | 26.855 % |
1065.19/1065.86	c |    288049 |  101166   627480  1826880 | 2147483647   273092    304 | 26.855 % |
1065.48/1066.11	c |    288210 |  101166   627480  1826880 | 2147483647   273253    304 | 26.855 % |
1066.29/1066.91	c |    288389 |  101166   627480  1826880 | 2147483647   273432    304 | 26.855 % |
1067.49/1068.12	c |    288586 |  101166   627480  1826880 | 2147483647   273629    304 | 26.855 % |
1068.68/1069.30	c |    288799 |  101166   627480  1826880 | 2147483647   273842    304 | 26.855 % |
1069.48/1070.14	c |    289032 |  101165   627480  1826880 | 2147483647   274074    304 | 26.877 % |
1071.08/1071.76	c |    289292 |  101165   627480  1826880 | 2147483647   274334    304 | 26.877 % |
1072.78/1073.45	c |    289582 |  101165   627480  1826880 | 2147483647   274624    304 | 26.877 % |
1074.88/1075.52	c |    289896 |  101165   627480  1826880 | 2147483647   274938    304 | 26.877 % |
1077.38/1078.01	c |    290236 |  101165   627480  1826880 | 2147483647   275278    304 | 26.877 % |
1079.28/1079.98	c |    290609 |  101163   627480  1826880 | 2147483647   275649    304 | 26.883 % |
1080.58/1081.26	c |    291018 |  101163   627480  1826880 | 2147483647   276058    304 | 26.883 % |
1083.98/1084.65	c |    291467 |  101163   627480  1826880 | 2147483647   276507    305 | 26.883 % |
1085.37/1086.09	c |    291962 |  101163   627480  1826880 | 2147483647   277002    305 | 26.883 % |
1087.17/1087.88	c |    292506 |  101162   627480  1826880 | 2147483647   277545    305 | 26.888 % |
1090.26/1090.99	c |    293102 |  101162   627480  1826880 | 2147483647   278140    305 | 26.890 % |
1094.26/1094.94	c |    293757 |  101162   627480  1826880 | 2147483647   278795    305 | 26.890 % |
1099.06/1099.71	c |    294484 |  101162   627480  1826880 | 2147483647   279522    305 | 26.890 % |
1104.06/1104.70	c |    295276 |  101162   627480  1826880 | 2147483647   280314    306 | 26.890 % |
1110.76/1111.46	c |    296147 |  101162   627480  1826880 | 2147483647   281185    306 | 26.890 % |
1115.05/1115.73	c |    297106 |  101162   627480  1826880 | 2147483647   282144    306 | 26.890 % |
1120.75/1121.41	c |    298159 |  101162   627480  1826880 | 2147483647   283197    306 | 26.890 % |
1128.36/1129.03	c |    299317 |  101162   627480  1826880 | 2147483647   284355    306 | 26.890 % |
1136.14/1136.89	c |    300591 |  101161   627480  1826880 | 2147483647   285628    306 | 26.895 % |
1143.23/1143.92	c |    301992 |  101160   627480  1826880 | 2147483647   287028    307 | 26.896 % |
1152.73/1153.49	c |    303533 |  101159   627480  1826880 | 2147483647   288568    307 | 26.896 % |
1161.52/1162.29	c |    305229 |  101150   627480  1826880 | 2147483647   290261    307 | 27.628 % |
1171.72/1172.50	c |    307092 |  101148   627480  1826880 | 2147483647   292122    306 | 27.640 % |
1186.51/1187.29	c |    309142 |  101123   627480  1826880 | 2147483647   294170    306 | 27.890 % |
1197.21/1197.97	c |    311396 |   99732   610039  1778470 | 2147483647   288030    308 | 27.897 % |

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-1833893-1242825889/watcher-1833893-1242825889 -o /tmp/evaluation-result-1833893-1242825889/solver-1833893-1242825889 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833893-1242825889.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: 0.99 0.97 0.99 3/64 5606
/proc/meminfo: memFree=1933792/2055920 swapFree=4180380/4192956
[pid=5606] ppid=5604 vsize=5356 CPUtime=0
/proc/5606/stat : 5606 (SatELiteGTI) S 5604 5606 5401 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310622611 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5606/statm: 1339 237 197 169 0 50 0

[startup+0.0598831 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 5606
/proc/meminfo: memFree=1933792/2055920 swapFree=4180380/4192956
[pid=5606] ppid=5604 vsize=5356 CPUtime=0
/proc/5606/stat : 5606 (SatELiteGTI) S 5604 5606 5401 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310622611 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5606/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101887 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 5606
/proc/meminfo: memFree=1933792/2055920 swapFree=4180380/4192956
[pid=5606] ppid=5604 vsize=5356 CPUtime=0
/proc/5606/stat : 5606 (SatELiteGTI) S 5604 5606 5401 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310622611 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5606/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301912 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 5606
/proc/meminfo: memFree=1933792/2055920 swapFree=4180380/4192956
[pid=5606] ppid=5604 vsize=5356 CPUtime=0
/proc/5606/stat : 5606 (SatELiteGTI) S 5604 5606 5401 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310622611 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5606/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701965 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 5606
/proc/meminfo: memFree=1933792/2055920 swapFree=4180380/4192956
[pid=5606] ppid=5604 vsize=5356 CPUtime=0
/proc/5606/stat : 5606 (SatELiteGTI) S 5604 5606 5401 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310622611 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5606/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50207 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 5611
/proc/meminfo: memFree=1841936/2055920 swapFree=4180380/4192956
[pid=5606] ppid=5604 vsize=5356 CPUtime=0
/proc/5606/stat : 5606 (SatELiteGTI) S 5604 5606 5401 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310622611 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5606/statm: 1339 237 197 169 0 50 0
[pid=5610] ppid=5606 vsize=126692 CPUtime=1.48
/proc/5610/stat : 5610 (SatELite_releas) R 5606 5606 5401 0 -1 4194304 29930 0 0 0 129 19 0 0 25 0 1 0 310622612 129732608 29748 1992294400 134512640 135223648 4294956128 18446744073709551615 134546390 0 0 4096 3 0 0 0 17 0 0 0
/proc/5610/statm: 31673 29748 70 173 0 31498 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 132048

[startup+3.10128 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 5611
/proc/meminfo: memFree=1805648/2055920 swapFree=4180380/4192956
[pid=5606] ppid=5604 vsize=5356 CPUtime=0
/proc/5606/stat : 5606 (SatELiteGTI) S 5604 5606 5401 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310622611 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5606/statm: 1339 237 197 169 0 50 0
[pid=5610] ppid=5606 vsize=148720 CPUtime=3.07
/proc/5610/stat : 5610 (SatELite_releas) R 5606 5606 5401 0 -1 4194304 38552 0 0 0 282 25 0 0 25 0 1 0 310622612 152289280 35077 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 0 0 0
/proc/5610/statm: 37180 35077 76 173 0 37005 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 154076

[startup+6.3017 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 5611
/proc/meminfo: memFree=1775376/2055920 swapFree=4180380/4192956
[pid=5606] ppid=5604 vsize=5356 CPUtime=0
/proc/5606/stat : 5606 (SatELiteGTI) S 5604 5606 5401 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310622611 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5606/statm: 1339 237 197 169 0 50 0
[pid=5610] ppid=5606 vsize=151232 CPUtime=6.27
/proc/5610/stat : 5610 (SatELite_releas) R 5606 5606 5401 0 -1 4194304 42605 0 0 0 599 28 0 0 25 0 1 0 310622612 154861568 35861 1992294400 134512640 135223648 4294956128 18446744073709551615 134587368 0 0 4096 3 0 0 0 17 0 0 0
/proc/5610/statm: 37808 35861 76 173 0 37633 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 156588

[startup+12.7015 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 5612
/proc/meminfo: memFree=1854944/2055920 swapFree=4180380/4192956
[pid=5606] ppid=5604 vsize=5356 CPUtime=9.96
/proc/5606/stat : 5606 (SatELiteGTI) S 5604 5606 5401 0 -1 4194304 336 48169 0 0 0 0 957 39 16 0 1 0 310622611 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5606/statm: 1339 239 197 169 0 50 0
[pid=5612] ppid=5606 vsize=53500 CPUtime=2.7
/proc/5612/stat : 5612 (minisat_static) R 5606 5606 5401 0 -1 4194304 12548 0 0 0 263 7 0 0 25 0 1 0 310623610 54784000 12484 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/5612/statm: 13375 12484 77 171 0 13202 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 58856

[startup+25.5012 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 5612
/proc/meminfo: memFree=1852896/2055920 swapFree=4180380/4192956
[pid=5606] ppid=5604 vsize=5356 CPUtime=9.96
/proc/5606/stat : 5606 (SatELiteGTI) S 5604 5606 5401 0 -1 4194304 336 48169 0 0 0 0 957 39 16 0 1 0 310622611 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5606/statm: 1339 239 197 169 0 50 0
[pid=5612] ppid=5606 vsize=55748 CPUtime=15.49
/proc/5612/stat : 5612 (minisat_static) R 5606 5606 5401 0 -1 4194304 13110 0 0 0 1542 7 0 0 25 0 1 0 310623610 57085952 13046 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/5612/statm: 13937 13046 77 171 0 13764 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 61104

[startup+51.1016 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 5612
/proc/meminfo: memFree=1847840/2055920 swapFree=4180380/4192956
[pid=5606] ppid=5604 vsize=5356 CPUtime=9.96
/proc/5606/stat : 5606 (SatELiteGTI) S 5604 5606 5401 0 -1 4194304 336 48169 0 0 0 0 957 39 16 0 1 0 310622611 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5606/statm: 1339 239 197 169 0 50 0
[pid=5612] ppid=5606 vsize=60840 CPUtime=41.05
/proc/5612/stat : 5612 (minisat_static) R 5606 5606 5401 0 -1 4194304 14399 0 0 0 4096 9 0 0 25 0 1 0 310623610 62300160 14335 1992294400 134512640 135215339 4294956240 18446744073709551615 134537869 0 0 4096 3 0 0 0 17 0 0 0
/proc/5612/statm: 15210 14335 77 171 0 15037 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 66196

[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 5612
/proc/meminfo: memFree=1833376/2055920 swapFree=4180380/4192956
[pid=5606] ppid=5604 vsize=5356 CPUtime=9.96
/proc/5606/stat : 5606 (SatELiteGTI) S 5604 5606 5401 0 -1 4194304 336 48169 0 0 0 0 957 39 16 0 1 0 310622611 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5606/statm: 1339 239 197 169 0 50 0
[pid=5612] ppid=5606 vsize=75012 CPUtime=92.18
/proc/5612/stat : 5612 (minisat_static) R 5606 5606 5401 0 -1 4194304 17958 0 0 0 9206 12 0 0 25 0 1 0 310623610 76812288 17894 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5612/statm: 18753 17894 77 171 0 18580 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 80368

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 5612
/proc/meminfo: memFree=1812576/2055920 swapFree=4180380/4192956
[pid=5606] ppid=5604 vsize=5356 CPUtime=9.96
/proc/5606/stat : 5606 (SatELiteGTI) S 5604 5606 5401 0 -1 4194304 336 48169 0 0 0 0 957 39 16 0 1 0 310622611 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5606/statm: 1339 239 197 169 0 50 0
[pid=5612] ppid=5606 vsize=96212 CPUtime=152.14
/proc/5612/stat : 5612 (minisat_static) R 5606 5606 5401 0 -1 4194304 23220 0 0 0 15197 17 0 0 25 0 1 0 310623610 98521088 23156 1992294400 134512640 135215339 4294956240 18446744073709551615 134525064 0 0 4096 3 0 0 0 17 0 0 0
/proc/5612/statm: 24053 23156 77 171 0 23880 0
Current children cumulated CPU time (s) 162.1
Current children cumulated vsize (KiB) 101568

[startup+222.301 s]
/proc/loadavg: 1.04 0.99 1.00 2/66 5612
/proc/meminfo: memFree=1790816/2055920 swapFree=4180380/4192956
[pid=5606] ppid=5604 vsize=5356 CPUtime=9.96
/proc/5606/stat : 5606 (SatELiteGTI) S 5604 5606 5401 0 -1 4194304 336 48169 0 0 0 0 957 39 16 0 1 0 310622611 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5606/statm: 1339 239 197 169 0 50 0
[pid=5612] ppid=5606 vsize=117652 CPUtime=212.12
/proc/5612/stat : 5612 (minisat_static) R 5606 5606 5401 0 -1 4194304 28591 0 0 0 21189 23 0 0 25 0 1 0 310623610 120475648 28527 1992294400 134512640 135215339 4294956240 18446744073709551615 134532769 0 0 4096 3 0 0 0 17 0 0 0
/proc/5612/statm: 29413 28527 77 171 0 29240 0
Current children cumulated CPU time (s) 222.08
Current children cumulated vsize (KiB) 123008

[startup+282.301 s]
/proc/loadavg: 1.01 0.99 1.00 2/66 5612
/proc/meminfo: memFree=1767776/2055920 swapFree=4180380/4192956
[pid=5606] ppid=5604 vsize=5356 CPUtime=9.96
/proc/5606/stat : 5606 (SatELiteGTI) S 5604 5606 5401 0 -1 4194304 336 48169 0 0 0 0 957 39 16 0 1 0 310622611 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5606/statm: 1339 239 197 169 0 50 0
[pid=5612] ppid=5606 vsize=140860 CPUtime=272.09
/proc/5612/stat : 5612 (minisat_static) R 5606 5606 5401 0 -1 4194304 34381 0 0 0 27179 30 0 0 25 0 1 0 310623610 144240640 34317 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5612/statm: 35215 34317 77 171 0 35042 0
Current children cumulated CPU time (s) 282.05
Current children cumulated vsize (KiB) 146216

[startup+342.302 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 5612
/proc/meminfo: memFree=1744864/2055920 swapFree=4180380/4192956
[pid=5606] ppid=5604 vsize=5356 CPUtime=9.96
/proc/5606/stat : 5606 (SatELiteGTI) S 5604 5606 5401 0 -1 4194304 336 48169 0 0 0 0 957 39 16 0 1 0 310622611 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5606/statm: 1339 239 197 169 0 50 0
[pid=5612] ppid=5606 vsize=163356 CPUtime=332.05
/proc/5612/stat : 5612 (minisat_static) R 5606 5606 5401 0 -1 4194304 40008 0 0 0 33171 34 0 0 25 0 1 0 310623610 167276544 39944 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/5612/statm: 40839 39944 77 171 0 40666 0
Current children cumulated CPU time (s) 342.01
Current children cumulated vsize (KiB) 168712

[startup+402.302 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 5612
/proc/meminfo: memFree=1723296/2055920 swapFree=4180380/4192956
[pid=5606] ppid=5604 vsize=5356 CPUtime=9.96
/proc/5606/stat : 5606 (SatELiteGTI) S 5604 5606 5401 0 -1 4194304 336 48169 0 0 0 0 957 39 16 0 1 0 310622611 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5606/statm: 1339 239 197 169 0 50 0
[pid=5612] ppid=5606 vsize=185056 CPUtime=392.03
/proc/5612/stat : 5612 (minisat_static) R 5606 5606 5401 0 -1 4194304 45435 0 0 0 39163 40 0 0 25 0 1 0 310623610 189497344 45371 1992294400 134512640 135215339 4294956240 18446744073709551615 134538574 0 0 4096 3 0 0 0 17 0 0 0
/proc/5612/statm: 46264 45371 77 171 0 46091 0
Current children cumulated CPU time (s) 401.99
Current children cumulated vsize (KiB) 190412

[startup+462.302 s]

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

/proc/5612/statm: 60105 59191 77 171 0 59932 0
Current children cumulated CPU time (s) 581.92
Current children cumulated vsize (KiB) 245776

[startup+642.303 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 5612
/proc/meminfo: memFree=1646880/2055920 swapFree=4180380/4192956
[pid=5606] ppid=5604 vsize=5356 CPUtime=9.96
/proc/5606/stat : 5606 (SatELiteGTI) S 5604 5606 5401 0 -1 4194304 336 48169 0 0 0 0 957 39 16 0 1 0 310622611 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5606/statm: 1339 239 197 169 0 50 0
[pid=5612] ppid=5606 vsize=260640 CPUtime=631.93
/proc/5612/stat : 5612 (minisat_static) R 5606 5606 5401 0 -1 4194304 64319 0 0 0 63135 58 0 0 25 0 1 0 310623610 266895360 64255 1992294400 134512640 135215339 4294956240 18446744073709551615 134532672 0 0 4096 3 0 0 0 17 0 0 0
/proc/5612/statm: 65160 64255 77 171 0 64987 0
Current children cumulated CPU time (s) 641.89
Current children cumulated vsize (KiB) 265996

[startup+702.301 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 5612
/proc/meminfo: memFree=1630240/2055920 swapFree=4180380/4192956
[pid=5606] ppid=5604 vsize=5356 CPUtime=9.96
/proc/5606/stat : 5606 (SatELiteGTI) S 5604 5606 5401 0 -1 4194304 336 48169 0 0 0 0 957 39 16 0 1 0 310622611 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5606/statm: 1339 239 197 169 0 50 0
[pid=5612] ppid=5606 vsize=277324 CPUtime=691.89
/proc/5612/stat : 5612 (minisat_static) R 5606 5606 5401 0 -1 4194304 68495 0 0 0 69127 62 0 0 25 0 1 0 310623610 283979776 68431 1992294400 134512640 135215339 4294956240 18446744073709551615 134532752 0 0 4096 3 0 0 0 17 0 0 0
/proc/5612/statm: 69331 68431 77 171 0 69158 0
Current children cumulated CPU time (s) 701.85
Current children cumulated vsize (KiB) 282680

[startup+762.306 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 5612
/proc/meminfo: memFree=1610272/2055920 swapFree=4180380/4192956
[pid=5606] ppid=5604 vsize=5356 CPUtime=9.96
/proc/5606/stat : 5606 (SatELiteGTI) S 5604 5606 5401 0 -1 4194304 336 48169 0 0 0 0 957 39 16 0 1 0 310622611 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5606/statm: 1339 239 197 169 0 50 0
[pid=5612] ppid=5606 vsize=297320 CPUtime=751.88
/proc/5612/stat : 5612 (minisat_static) R 5606 5606 5401 0 -1 4194304 73406 0 0 0 75119 69 0 0 25 0 1 0 310623610 304455680 73342 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5612/statm: 74330 73342 77 171 0 74157 0
Current children cumulated CPU time (s) 761.84
Current children cumulated vsize (KiB) 302676

[startup+822.301 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 5612
/proc/meminfo: memFree=1592480/2055920 swapFree=4180380/4192956
[pid=5606] ppid=5604 vsize=5356 CPUtime=9.96
/proc/5606/stat : 5606 (SatELiteGTI) S 5604 5606 5401 0 -1 4194304 336 48169 0 0 0 0 957 39 16 0 1 0 310622611 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5606/statm: 1339 239 197 169 0 50 0
[pid=5612] ppid=5606 vsize=315052 CPUtime=811.84
/proc/5612/stat : 5612 (minisat_static) R 5606 5606 5401 0 -1 4194304 77856 0 0 0 81111 73 0 0 25 0 1 0 310623610 322613248 77792 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/5612/statm: 78763 77792 77 171 0 78590 0
Current children cumulated CPU time (s) 821.8
Current children cumulated vsize (KiB) 320408

[startup+882.301 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 5612
/proc/meminfo: memFree=1572384/2055920 swapFree=4180380/4192956
[pid=5606] ppid=5604 vsize=5356 CPUtime=9.96
/proc/5606/stat : 5606 (SatELiteGTI) S 5604 5606 5401 0 -1 4194304 336 48169 0 0 0 0 957 39 16 0 1 0 310622611 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5606/statm: 1339 239 197 169 0 50 0
[pid=5612] ppid=5606 vsize=334900 CPUtime=871.81
/proc/5612/stat : 5612 (minisat_static) R 5606 5606 5401 0 -1 4194304 82841 0 0 0 87102 79 0 0 25 0 1 0 310623610 342937600 82777 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/5612/statm: 83725 82777 77 171 0 83552 0
Current children cumulated CPU time (s) 881.77
Current children cumulated vsize (KiB) 340256

[startup+942.302 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 5612
/proc/meminfo: memFree=1550496/2055920 swapFree=4180380/4192956
[pid=5606] ppid=5604 vsize=5356 CPUtime=9.96
/proc/5606/stat : 5606 (SatELiteGTI) S 5604 5606 5401 0 -1 4194304 336 48169 0 0 0 0 957 39 16 0 1 0 310622611 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5606/statm: 1339 239 197 169 0 50 0
[pid=5612] ppid=5606 vsize=356756 CPUtime=931.79
/proc/5612/stat : 5612 (minisat_static) R 5606 5606 5401 0 -1 4194304 88320 0 0 0 93095 84 0 0 25 0 1 0 310623610 365318144 88256 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5612/statm: 89189 88256 77 171 0 89016 0
Current children cumulated CPU time (s) 941.75
Current children cumulated vsize (KiB) 362112

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 5612
/proc/meminfo: memFree=1531360/2055920 swapFree=4180380/4192956
[pid=5606] ppid=5604 vsize=5356 CPUtime=9.96
/proc/5606/stat : 5606 (SatELiteGTI) S 5604 5606 5401 0 -1 4194304 336 48169 0 0 0 0 957 39 16 0 1 0 310622611 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5606/statm: 1339 239 197 169 0 50 0
[pid=5612] ppid=5606 vsize=375672 CPUtime=991.75
/proc/5612/stat : 5612 (minisat_static) R 5606 5606 5401 0 -1 4194304 93050 0 0 0 99086 89 0 0 25 0 1 0 310623610 384688128 92986 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5612/statm: 93918 92986 77 171 0 93745 0
Current children cumulated CPU time (s) 1001.71
Current children cumulated vsize (KiB) 381028

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 5612
/proc/meminfo: memFree=1514080/2055920 swapFree=4180380/4192956
[pid=5606] ppid=5604 vsize=5356 CPUtime=9.96
/proc/5606/stat : 5606 (SatELiteGTI) S 5604 5606 5401 0 -1 4194304 336 48169 0 0 0 0 957 39 16 0 1 0 310622611 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5606/statm: 1339 239 197 169 0 50 0
[pid=5612] ppid=5606 vsize=393108 CPUtime=1051.72
/proc/5612/stat : 5612 (minisat_static) R 5606 5606 5401 0 -1 4194304 97419 0 0 0 105078 94 0 0 25 0 1 0 310623610 402542592 97355 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/5612/statm: 98277 97355 77 171 0 98104 0
Current children cumulated CPU time (s) 1061.68
Current children cumulated vsize (KiB) 398464

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 5612
/proc/meminfo: memFree=1497504/2055920 swapFree=4180380/4192956
[pid=5606] ppid=5604 vsize=5356 CPUtime=9.96
/proc/5606/stat : 5606 (SatELiteGTI) S 5604 5606 5401 0 -1 4194304 336 48169 0 0 0 0 957 39 16 0 1 0 310622611 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5606/statm: 1339 239 197 169 0 50 0
[pid=5612] ppid=5606 vsize=409236 CPUtime=1111.69
/proc/5612/stat : 5612 (minisat_static) R 5606 5606 5401 0 -1 4194304 101446 0 0 0 111071 98 0 0 25 0 1 0 310623610 419057664 101382 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5612/statm: 102309 101382 77 171 0 102136 0
Current children cumulated CPU time (s) 1121.65
Current children cumulated vsize (KiB) 414592

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 5614
/proc/meminfo: memFree=1484896/2055920 swapFree=4180380/4192956
[pid=5606] ppid=5604 vsize=5356 CPUtime=9.96
/proc/5606/stat : 5606 (SatELiteGTI) S 5604 5606 5401 0 -1 4194304 336 48169 0 0 0 0 957 39 16 0 1 0 310622611 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5606/statm: 1339 239 197 169 0 50 0
[pid=5612] ppid=5606 vsize=421808 CPUtime=1171.65
/proc/5612/stat : 5612 (minisat_static) R 5606 5606 5401 0 -1 4194304 104605 0 0 0 117063 102 0 0 25 0 1 0 310623610 431931392 104541 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/5612/statm: 105452 104541 77 171 0 105279 0
Current children cumulated CPU time (s) 1181.61
Current children cumulated vsize (KiB) 427164



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.7 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 5614
/proc/meminfo: memFree=1483808/2055920 swapFree=4180380/4192956
[pid=5606] ppid=5604 vsize=5356 CPUtime=9.96
/proc/5606/stat : 5606 (SatELiteGTI) S 5604 5606 5401 0 -1 4194304 336 48169 0 0 0 0 957 39 16 0 1 0 310622611 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5606/statm: 1339 239 197 169 0 50 0
[pid=5612] ppid=5606 vsize=422600 CPUtime=1190.05
/proc/5612/stat : 5612 (minisat_static) R 5606 5606 5401 0 -1 4194304 104821 0 0 0 118903 102 0 0 25 0 1 0 310623610 432742400 104757 1992294400 134512640 135215339 4294956240 18446744073709551615 134528769 0 0 4096 3 0 0 0 17 0 0 0
/proc/5612/statm: 105650 104757 77 171 0 105477 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 427956

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

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

[startup+1200.7 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 5614
/proc/meminfo: memFree=1483808/2055920 swapFree=4180380/4192956
[pid=5606] ppid=5604 vsize=5356 CPUtime=9.96
/proc/5606/stat : 5606 (SatELiteGTI) S 5604 5606 5401 0 -1 4194304 336 48169 0 0 0 0 957 39 16 0 1 0 310622611 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5606/statm: 1339 239 197 169 0 50 0
[pid=5612] ppid=5606 vsize=422600 CPUtime=1190.05
/proc/5612/stat : 5612 (minisat_static) R 5606 5606 5401 0 -1 4194304 104821 0 0 0 118903 102 0 0 25 0 1 0 310623610 432742400 104757 1992294400 134512640 135215339 4294956240 18446744073709551615 134528769 0 0 4096 3 0 0 0 17 0 0 0
/proc/5612/statm: 105650 104757 77 171 0 105477 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 427956

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1200.71
CPU time (s): 1200.01
CPU user time (s): 1198.6
CPU system time (s): 1.41
CPU usage (%): 99.9416
Max. virtual memory (cumulated for all children) (KiB): 427956

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

runsolver used 1.09583 second user time and 3.33449 second system time

The end

Launcher Data 

Begin job on node13 at 2009-05-20 15:24:51
IDJOB=1833893
IDBENCH=71037
IDSOLVER=671
FILE ID=node13/1833893-1242825889
PBS_JOBID= 9322477
Free space on /tmp= 66400 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UTI-20-10p0.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833893-1242825889/watcher-1833893-1242825889 -o /tmp/evaluation-result-1833893-1242825889/solver-1833893-1242825889 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1833893-1242825889.cnf

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

MD5SUM BENCH= 209f7789e3588d11f275f2003f2c6a67
RANDOM SEED=1337544906

node13.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.227
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.227
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:       1934272 kB
Buffers:         17624 kB
Cached:          66428 kB
SwapCached:       6864 kB
Active:          55456 kB
Inactive:        37572 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1934272 kB
SwapTotal:     4192956 kB
SwapFree:      4180380 kB
Dirty:           27580 kB
Writeback:           0 kB
Mapped:          13920 kB
Slab:            14580 kB
Committed_AS:   957136 kB
PageTables:       1460 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66368 MiB
End job on node13 at 2009-05-20 15:44:54