Trace number 1821010

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameAPPLICATIONS/bitverif/
maxor/maxor128.cnf
MD5SUMe050fe11c7c50ba82ac7126f49db3c10
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 variables200308
Number of clauses598619
Sum of the clauses size1396775
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2399078
Number of clauses of size 3199539
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data

0.00/0.00	c Parsing...
0.00/0.56	c ==============================================================================
0.00/0.56	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.56	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.56	c ==============================================================================
0.00/0.56	c |         0 |  598617  1396773 |  179585       0        0     nan |  0.000 % |
8.02/8.09	c |         0 |  341039  1130857 |      --       0       --      -- |     --   | -257536/-265815
8.02/8.09	c ==============================================================================
8.02/8.09	c Result  :   #vars: 72981   #clauses: 341039   #literals: 1130857
8.02/8.09	c CPU time:   7.87 s
8.02/8.09	c ==============================================================================
8.42/8.50	c This is MiniSat 2.0 beta
8.42/8.50	c WARNING: for repeatability, setting FPU to use double precision
8.42/8.50	c ============================[ Problem Statistics ]=============================
8.42/8.50	c |                                                                             |
8.42/8.50	c |  Number of variables:  72981                                                |
8.42/8.50	c |  Number of clauses:    341039                                               |
8.72/8.75	c |  Parsing time:         0.22         s                                       |
8.72/8.77	c ============================[ Search Statistics ]==============================
8.72/8.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.72/8.77	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
8.72/8.77	c ===============================================================================
8.72/8.77	c |         0 |   72981   341039  1130857 |   113679        0    nan |  0.000 % |
9.32/9.33	c |       100 |   72981   341039  1130857 |   113679      100      7 |  0.000 % |
9.42/9.44	c |       200 |   72981   341039  1130857 |   113679      200     20 |  0.000 % |
9.52/9.59	c |       301 |   72981   341039  1130857 |   113679      301     31 |  0.000 % |
9.72/9.77	c |       412 |   72981   341039  1130857 |   113679      412     37 |  0.000 % |
10.12/10.18	c |       530 |   72981   341039  1130857 |   113679      530     30 |  0.000 % |
10.42/10.43	c |       640 |   72981   341039  1130857 |   113679      640     41 |  0.000 % |
10.52/10.56	c |       762 |   72981   341039  1130857 |   113679      762     37 |  0.000 % |
10.72/10.77	c |       862 |   72981   341039  1130857 |   113679      862     41 |  0.000 % |
10.92/10.98	c |       972 |   72981   341039  1130857 |   113679      972     49 |  0.000 % |
11.12/11.16	c |      1099 |   72981   341039  1130857 |   113679     1099     52 |  0.000 % |
11.22/11.26	c |      1232 |   72981   341039  1130857 |   113679     1232     54 |  0.000 % |
11.42/11.47	c |      1332 |   72981   341039  1130857 |   113679     1332     53 |  0.000 % |
11.62/11.64	c |      1445 |   72981   341039  1130857 |   113679     1445     50 |  0.000 % |
11.92/11.96	c |      1566 |   72981   341039  1130857 |   113679     1566     54 |  0.000 % |
12.32/12.32	c |      1700 |   72981   341039  1130857 |   113679     1700     61 |  0.000 % |
12.42/12.42	c |      1846 |   72981   341039  1130857 |   113679     1846     59 |  0.000 % |
13.02/13.10	c |      1978 |   72981   341039  1130857 |   113679     1978     61 |  0.000 % |
13.32/13.34	c |      2090 |   72981   341039  1130857 |   113679     2090     59 |  0.000 % |
13.62/13.65	c |      2211 |   72981   341039  1130857 |   113679     2211     63 |  0.000 % |
13.72/13.77	c |      2344 |   72981   341039  1130857 |   113679     2344     62 |  0.000 % |
14.42/14.44	c |      2524 |   72981   341039  1130857 |   113679     2524     60 |  0.000 % |
14.72/14.74	c |      2684 |   72981   341039  1130857 |   113679     2684     57 |  0.000 % |
14.82/14.82	c |      2785 |   72981   341039  1130857 |   113679     2785     56 |  0.000 % |
14.92/14.94	c |      2895 |   72981   341039  1130857 |   113679     2895     56 |  0.000 % |
15.02/15.08	c |      3018 |   72981   341039  1130857 |   113679     3018     55 |  0.000 % |
15.12/15.19	c |      3151 |   72981   341039  1130857 |   113679     3151     54 |  0.000 % |
15.32/15.32	c |      3298 |   72981   341039  1130857 |   113679     3298     54 |  0.000 % |
15.42/15.48	c |      3458 |   72981   341039  1130857 |   113679     3458     53 |  0.000 % |
16.02/16.10	c |      3649 |   72981   341039  1130857 |   113679     3649     53 |  0.000 % |
16.22/16.27	c |      3750 |   72981   341039  1130857 |   113679     3750     54 |  0.000 % |
16.32/16.33	c |      3861 |   72981   341039  1130857 |   113679     3861     53 |  0.000 % |
16.32/16.37	c |      3982 |   72981   341039  1130857 |   113679     3982     52 |  0.000 % |
16.42/16.51	c |      4115 |   72981   341039  1130857 |   113679     4115     52 |  0.000 % |
16.62/16.67	c |      4261 |   72981   341039  1130857 |   113679     4261     53 |  0.000 % |
16.92/16.97	c |      4421 |   72981   341039  1130857 |   113679     4421     54 |  0.000 % |
17.12/17.21	c |      4597 |   72981   341039  1130857 |   113679     4597     55 |  0.000 % |
17.62/17.64	c |      4790 |   72981   341039  1130857 |   113679     4790     54 |  0.000 % |
17.72/17.79	c |      4890 |   72981   341039  1130857 |   113679     4890     54 |  0.000 % |
17.92/17.95	c |      5001 |   72981   341039  1130857 |   113679     5001     53 |  0.000 % |
17.92/18.00	c |      5124 |   72981   341039  1130857 |   113679     5124     53 |  0.000 % |
18.22/18.29	c |      5260 |   72981   341039  1130857 |   113679     5260     53 |  0.000 % |
18.42/18.45	c |      5406 |   72981   341039  1130857 |   113679     5406     53 |  0.000 % |
18.52/18.57	c |      5571 |   72981   341039  1130857 |   113679     5571     52 |  0.000 % |
18.82/18.90	c |      5747 |   72981   341039  1130857 |   113679     5747     52 |  0.000 % |
19.22/19.25	c |      5942 |   72981   341039  1130857 |   113679     5942     57 |  0.000 % |
19.42/19.43	c |      6155 |   72981   341039  1130857 |   113679     6155     57 |  0.000 % |
20.42/20.48	c |      6255 |   72981   341039  1130857 |   113679     6255     57 |  0.000 % |
20.62/20.62	c |      6365 |   72981   341039  1130857 |   113679     6365     56 |  0.000 % |
20.72/20.78	c |      6486 |   72981   341039  1130857 |   113679     6486     56 |  0.000 % |
21.62/21.69	c |      6619 |   72981   341039  1130857 |   113679     6619     56 |  0.000 % |
21.82/21.82	c |      6766 |   72981   341039  1130857 |   113679     6766     56 |  0.000 % |
21.92/22.00	c |      6926 |   72981   341039  1130857 |   113679     6926     55 |  0.000 % |
22.12/22.13	c |      7102 |   72981   341039  1130857 |   113679     7102     55 |  0.000 % |
22.42/22.46	c |      7295 |   72981   341039  1130857 |   113679     7295     56 |  0.000 % |
22.52/22.60	c |      7508 |   72981   341039  1130857 |   113679     7508     57 |  0.000 % |
23.32/23.41	c |      7742 |   72981   341039  1130857 |   113679     7742     58 |  0.000 % |
23.42/23.51	c |      7843 |   72981   341039  1130857 |   113679     7843     58 |  0.000 % |
23.62/23.71	c |      7953 |   72981   341039  1130857 |   113679     7953     59 |  0.000 % |
23.92/23.92	c |      8076 |   72981   341039  1130857 |   113679     8076     59 |  0.000 % |
24.02/24.07	c |      8217 |   72979   340907  1130591 |   113679     8215     59 |  0.003 % |
24.32/24.33	c |      8365 |   72979   340907  1130591 |   113679     8363     60 |  0.003 % |
25.32/25.37	c |      8538 |   72979   340907  1130591 |   113679     8536     60 |  0.003 % |
26.22/26.29	c |      8716 |   72979   340775  1130323 |   113679     8712     61 |  0.003 % |
26.72/26.72	c |      8917 |   72979   340775  1130323 |   113679     8913     61 |  0.003 % |
27.02/27.03	c |      9129 |   72979   340775  1130323 |   113679     9125     61 |  0.003 % |
27.22/27.27	c |      9363 |   72979   340775  1130323 |   113679     9359     60 |  0.003 % |
27.82/27.88	c |      9620 |   72979   340775  1130323 |   113679     9616     62 |  0.003 % |
27.92/27.96	c |      9720 |   72979   340775  1130323 |   113679     9716     63 |  0.003 % |
28.92/28.97	c |      9838 |   72979   340775  1130323 |   113679     9834     63 |  0.003 % |
29.02/29.10	c |      9960 |   72979   340775  1130323 |   113679     9956     62 |  0.003 % |
29.22/29.29	c |     10094 |   72979   340775  1130323 | 2147483647    10090     62 |  0.003 % |
29.82/29.88	c |     10242 |   72978   340643  1130055 | 2147483647    10236     64 |  0.004 % |
30.02/30.03	c |     10402 |   72978   340643  1130055 | 2147483647    10396     63 |  0.004 % |
30.12/30.20	c |     10578 |   72978   340643  1130055 | 2147483647    10572     63 |  0.004 % |
30.42/30.49	c |     10771 |   72978   340643  1130055 | 2147483647    10765     65 |  0.004 % |
31.12/31.17	c |     10984 |   72978   340643  1130055 | 2147483647    10978     66 |  0.004 % |
32.92/32.99	c |     11227 |   72978   340643  1130055 | 2147483647    11221     68 |  0.004 % |
34.42/34.43	c |     11515 |   72978   340643  1130055 | 2147483647    11508     67 |  0.007 % |
34.82/34.86	c |     11796 |   72976   340626  1129967 | 2147483647    10776     63 |  0.007 % |
34.92/35.00	c |     11896 |   72976   340626  1129967 | 2147483647    10876     64 |  0.007 % |
35.72/35.73	c |     12065 |   72976   340626  1129967 | 2147483647    11045     66 |  0.007 % |
35.82/35.89	c |     12186 |   72976   340626  1129967 | 2147483647    11166     67 |  0.007 % |
36.02/36.04	c |     12319 |   72976   340626  1129967 | 2147483647    11299     67 |  0.007 % |
36.32/36.36	c |     12474 |   72976   340626  1129967 | 2147483647    11454     66 |  0.007 % |
36.42/36.46	c |     12634 |   72976   340626  1129967 | 2147483647    11614     66 |  0.007 % |
36.52/36.56	c |     12810 |   72976   340626  1129967 | 2147483647    11790     65 |  0.007 % |
36.72/36.81	c |     13004 |   72976   340626  1129967 | 2147483647    11984     65 |  0.007 % |
37.12/37.14	c |     13217 |   72976   340626  1129967 | 2147483647    12197     66 |  0.007 % |
37.32/37.36	c |     13450 |   72976   340626  1129967 | 2147483647    12430     66 |  0.007 % |
37.72/37.77	c |     13706 |   72976   340626  1129967 | 2147483647    12686     67 |  0.007 % |
38.22/38.26	c |     13990 |   72976   340626  1129967 | 2147483647    12970     67 |  0.007 % |
38.42/38.49	c |     14302 |   72976   340626  1129967 | 2147483647    13282     67 |  0.007 % |
38.62/38.65	c |     14405 |   72976   340626  1129967 | 2147483647    13385     66 |  0.007 % |
39.72/39.76	c |     14534 |   72976   340626  1129967 | 2147483647    13514     67 |  0.007 % |
39.92/39.94	c |     14655 |   72976   340626  1129967 | 2147483647    13635     67 |  0.007 % |
40.02/40.07	c |     14788 |   72976   340626  1129967 | 2147483647    13768     67 |  0.007 % |
40.12/40.16	c |     14935 |   72976   340626  1129967 | 2147483647    13915     68 |  0.007 % |
40.22/40.30	c |     15095 |   72976   340626  1129967 | 2147483647    14075     68 |  0.007 % |
40.42/40.48	c |     15271 |   72976   340626  1129967 | 2147483647    14251     68 |  0.007 % |
40.72/40.76	c |     15464 |   72976   340626  1129967 | 2147483647    14444     68 |  0.007 % |
40.92/40.96	c |     15676 |   72976   340626  1129967 | 2147483647    14656     68 |  0.007 % |
41.62/41.66	c |     15910 |   72976   340626  1129967 | 2147483647    14890     68 |  0.007 % |
41.72/41.76	c |     16166 |   72976   340626  1129967 | 2147483647    15146     67 |  0.007 % |
41.92/41.98	c |     16449 |   72976   340626  1129967 | 2147483647    15429     67 |  0.007 % |
42.02/42.08	c |     16760 |   72976   340626  1129967 | 2147483647    15740     66 |  0.007 % |
42.32/42.37	c |     17100 |   72976   340626  1129967 | 2147483647    16080     65 |  0.007 % |
42.42/42.47	c |     17200 |   72976   340626  1129967 | 2147483647    16180     65 |  0.007 % |
42.62/42.66	c |     17310 |   72976   340626  1129967 | 2147483647    16290     65 |  0.007 % |
42.72/42.80	c |     17432 |   72976   340626  1129967 | 2147483647    16412     65 |  0.007 % |
42.92/42.94	c |     17565 |   72976   340626  1129967 | 2147483647    16545     65 |  0.007 % |
43.02/43.11	c |     17715 |   72976   340626  1129967 | 2147483647    16695     65 |  0.007 % |
43.32/43.40	c |     17879 |   72976   340626  1129967 | 2147483647    16859     66 |  0.007 % |
43.62/43.67	c |     18055 |   72976   340626  1129967 | 2147483647    17035     66 |  0.007 % |
43.82/43.85	c |     18251 |   72976   340626  1129967 | 2147483647    17231     67 |  0.007 % |
44.12/44.20	c |     18464 |   72975   340493  1129695 | 2147483647    17443     68 |  0.008 % |
44.32/44.38	c |     18698 |   72975   340493  1129695 | 2147483647    17677     68 |  0.008 % |
44.62/44.64	c |     18954 |   72975   340493  1129695 | 2147483647    17933     68 |  0.008 % |
45.72/45.76	c |     19243 |   72975   340493  1129695 | 2147483647    18222     69 |  0.008 % |
46.12/46.12	c |     19552 |   72975   340493  1129695 | 2147483647    18531     68 |  0.008 % |
46.32/46.39	c |     19894 |   72975   340493  1129695 | 2147483647    18873     68 |  0.008 % |
46.62/46.62	c |     20266 |   72975   340493  1129695 | 2147483647    19245     67 |  0.008 % |
46.72/46.80	c |     20366 |   72975   340493  1129695 | 2147483647    19345     67 |  0.008 % |
47.12/47.19	c |     20489 |   72975   340493  1129695 | 2147483647    19468     68 |  0.008 % |
47.92/47.91	c |     20612 |   72975   340493  1129695 | 2147483647    19591     68 |  0.008 % |
48.02/48.06	c |     20745 |   72975   340493  1129695 | 2147483647    19724     68 |  0.008 % |
48.52/48.61	c |     20891 |   72975   340493  1129695 | 2147483647    19870     68 |  0.008 % |
48.92/48.98	c |     21053 |   72975   340493  1129695 | 2147483647    20032     69 |  0.008 % |
49.12/49.18	c |     21229 |   72975   340493  1129695 | 2147483647    20208     69 |  0.008 % |
49.32/49.38	c |     21422 |   72975   340493  1129695 | 2147483647    20401     69 |  0.008 % |
49.62/49.67	c |     21635 |   72975   340493  1129695 | 2147483647    20614     70 |  0.008 % |
49.72/49.80	c |     21870 |   72975   340493  1129695 | 2147483647    20849     70 |  0.008 % |
50.52/50.57	c |     22126 |   72975   340493  1129695 | 2147483647    21105     71 |  0.008 % |
50.72/50.81	c |     22407 |   72975   340493  1129695 | 2147483647    21386     71 |  0.008 % |
51.02/51.05	c |     22717 |   72975   340493  1129695 | 2147483647    21696     70 |  0.008 % |
51.82/51.85	c |     23057 |   72975   340493  1129695 | 2147483647    22036     71 |  0.008 % |
52.42/52.48	c |     23429 |   72975   340493  1129695 | 2147483647    22408     71 |  0.008 % |
52.72/52.74	c |     23838 |   72975   340493  1129695 | 2147483647    22817     70 |  0.008 % |
52.82/52.87	c |     23938 |   72975   340493  1129695 | 2147483647    22917     70 |  0.008 % |
53.02/53.08	c |     24048 |   72975   340493  1129695 | 2147483647    23027     70 |  0.008 % |
53.42/53.42	c |     24170 |   72975   340493  1129695 | 2147483647    23149     71 |  0.008 % |
54.02/54.04	c |     24304 |   72975   340493  1129695 | 2147483647    23283     71 |  0.008 % |
54.62/54.70	c |     24459 |   72975   340493  1129695 | 2147483647    23438     71 |  0.008 % |
55.12/55.19	c |     24621 |   72975   340493  1129695 | 2147483647    23600     71 |  0.008 % |
56.12/56.16	c |     24797 |   72975   340493  1129695 | 2147483647    23776     71 |  0.008 % |
56.52/56.60	c |     24990 |   72975   340493  1129695 | 2147483647    23969     72 |  0.008 % |
56.92/56.92	c |     25202 |   72975   340493  1129695 | 2147483647    24181     72 |  0.008 % |
57.22/57.23	c |     25437 |   72975   340493  1129695 | 2147483647    24416     72 |  0.008 % |
57.72/57.80	c |     25693 |   72975   340493  1129695 | 2147483647    24672     72 |  0.008 % |
58.72/58.81	c |     25983 |   72975   340493  1129695 | 2147483647    24962     73 |  0.008 % |
59.22/59.28	c |     26294 |   72975   340493  1129695 | 2147483647    25273     73 |  0.008 % |
59.52/59.56	c |     26636 |   72975   340493  1129695 | 2147483647    25615     73 |  0.008 % |
59.82/59.88	c |     27008 |   72975   340493  1129695 | 2147483647    25987     72 |  0.008 % |
60.12/60.19	c |     27417 |   72975   340493  1129695 | 2147483647    26396     72 |  0.008 % |
62.42/62.46	c |     27866 |   72975   340493  1129695 | 2147483647    26845     74 |  0.008 % |
62.62/62.64	c |     27966 |   72975   340493  1129695 | 2147483647    26945     74 |  0.008 % |
62.73/62.75	c |     28076 |   72975   340493  1129695 | 2147483647    27055     74 |  0.008 % |
62.82/62.89	c |     28197 |   72975   340493  1129695 | 2147483647    27176     74 |  0.008 % |
63.02/63.06	c |     28331 |   72975   340493  1129695 | 2147483647    27310     74 |  0.008 % |
63.22/63.27	c |     28477 |   72975   340493  1129695 | 2147483647    27456     75 |  0.008 % |
63.42/63.46	c |     28637 |   72975   340493  1129695 | 2147483647    27616     75 |  0.008 % |
63.72/63.74	c |     28815 |   72975   340493  1129695 | 2147483647    27794     75 |  0.008 % |
63.92/63.96	c |     29008 |   72975   340493  1129695 | 2147483647    27987     76 |  0.008 % |
64.22/64.22	c |     29221 |   72975   340493  1129695 | 2147483647    28200     76 |  0.008 % |
64.42/64.45	c |     29456 |   72975   340493  1129695 | 2147483647    28435     76 |  0.008 % |
64.82/64.82	c |     29712 |   72975   340493  1129695 | 2147483647    28691     77 |  0.008 % |
65.12/65.15	c |     29993 |   72975   340493  1129695 | 2147483647    28972     77 |  0.008 % |
65.31/65.39	c |     30302 |   72975   340493  1129695 | 2147483647    29281     77 |  0.008 % |
66.02/66.07	c |     30641 |   72975   340493  1129695 | 2147483647    29620     78 |  0.008 % |
66.61/66.61	c |     31013 |   72975   340493  1129695 | 2147483647    29992     79 |  0.008 % |
67.81/67.83	c |     31427 |   72975   340493  1129695 | 2147483647    30406     80 |  0.008 % |
68.31/68.39	c |     31877 |   72975   340493  1129695 | 2147483647    30856     81 |  0.008 % |
69.01/69.02	c |     32370 |   72975   340493  1129695 | 2147483647    31349     81 |  0.008 % |
69.11/69.16	c |     32473 |   72975   340493  1129695 | 2147483647    31452     81 |  0.008 % |
69.32/69.34	c |     32583 |   72975   340493  1129695 | 2147483647    31562     81 |  0.008 % |
69.41/69.45	c |     32704 |   72975   340493  1129695 | 2147483647    31683     81 |  0.008 % |
70.01/70.08	c |     32852 |   72975   340493  1129695 | 2147483647    31831     81 |  0.008 % |
70.31/70.31	c |     32999 |   72975   340493  1129695 | 2147483647    31978     81 |  0.008 % |
70.42/70.47	c |     33159 |   72975   340493  1129695 | 2147483647    32138     80 |  0.008 % |
70.51/70.60	c |     33337 |   72975   340493  1129695 | 2147483647    32316     80 |  0.008 % |
70.71/70.75	c |     33530 |   72975   340493  1129695 | 2147483647    32509     80 |  0.008 % |
70.91/70.94	c |     33743 |   72975   340493  1129695 | 2147483647    32722     80 |  0.008 % |
71.11/71.19	c |     33976 |   72975   340493  1129695 | 2147483647    32955     79 |  0.008 % |
72.11/72.11	c |     34233 |   72975   340493  1129695 | 2147483647    33212     80 |  0.008 % |
72.41/72.42	c |     34515 |   72975   340493  1129695 | 2147483647    33494     79 |  0.008 % |
73.01/73.08	c |     34825 |   72975   340493  1129695 | 2147483647    33804     80 |  0.008 % |
73.51/73.57	c |     35164 |   72975   340493  1129695 | 2147483647    34143     80 |  0.008 % |
74.01/74.01	c |     35537 |   72975   340493  1129695 | 2147483647    34516     80 |  0.008 % |
74.31/74.34	c |     35949 |   72975   340493  1129695 | 2147483647    34928     80 |  0.008 % |
75.01/75.09	c |     36402 |   72975   340493  1129695 | 2147483647    35381     81 |  0.008 % |
76.01/76.02	c |     36896 |   72975   340493  1129695 | 2147483647    35875     81 |  0.008 % |
76.51/76.59	c |     37439 |   72975   340493  1129695 | 2147483647    36418     81 |  0.008 % |
76.71/76.72	c |     37540 |   72975   340493  1129695 | 2147483647    36519     80 |  0.008 % |
76.81/76.86	c |     37650 |   72975   340493  1129695 | 2147483647    36629     81 |  0.008 % |
77.02/77.04	c |     37772 |   72975   340493  1129695 | 2147483647    36751     81 |  0.008 % |
77.11/77.20	c |     37905 |   72975   340493  1129695 | 2147483647    36884     81 |  0.008 % |
77.41/77.42	c |     38051 |   72975   340493  1129695 | 2147483647    37030     81 |  0.008 % |
77.51/77.55	c |     38213 |   72975   340493  1129695 | 2147483647    37192     81 |  0.008 % |
77.61/77.69	c |     38389 |   72975   340493  1129695 | 2147483647    37368     80 |  0.008 % |
78.01/78.10	c |     38583 |   72975   340493  1129695 | 2147483647    37562     81 |  0.008 % |
78.41/78.50	c |     38799 |   72975   340493  1129695 | 2147483647    37778     82 |  0.008 % |
78.81/78.81	c |     39032 |   72975   340493  1129695 | 2147483647    38011     82 |  0.008 % |
79.61/79.62	c |     39288 |   72975   340493  1129695 | 2147483647    38267     81 |  0.008 % |
79.91/79.90	c |     39569 |   72975   340493  1129695 | 2147483647    38548     81 |  0.009 % |
80.11/80.19	c |     39878 |   72975   340493  1129695 | 2147483647    38857     81 |  0.008 % |
80.61/80.65	c |     40221 |   72975   340493  1129695 | 2147483647    39200     83 |  0.008 % |
81.01/81.03	c |     40594 |   72975   340493  1129695 | 2147483647    39573     82 |  0.008 % |
81.31/81.36	c |     41005 |   72975   340493  1129695 | 2147483647    39984     82 |  0.008 % |
81.81/81.84	c |     41455 |   72975   340493  1129695 | 2147483647    40434     82 |  0.008 % |
82.31/82.38	c |     41949 |   72975   340493  1129695 | 2147483647    40928     82 |  0.008 % |
83.01/83.05	c |     42493 |   72975   340493  1129695 | 2147483647    41472     82 |  0.008 % |
84.21/84.26	c |     43090 |   72975   340493  1129695 | 2147483647    42069     83 |  0.008 % |
84.61/84.65	c |     43190 |   72974   340360  1129423 | 2147483647    42167     83 |  0.010 % |
84.81/84.81	c |     43304 |   72974   340360  1129423 | 2147483647    42281     83 |  0.010 % |
85.01/85.02	c |     43428 |   72974   340360  1129423 | 2147483647    42405     83 |  0.010 % |
85.11/85.17	c |     43562 |   72974   340360  1129423 | 2147483647    42539     83 |  0.010 % |
85.41/85.46	c |     43708 |   72974   340360  1129423 | 2147483647    42685     83 |  0.010 % |
85.71/85.74	c |     43868 |   72974   340360  1129423 | 2147483647    42845     84 |  0.010 % |
85.91/85.93	c |     44046 |   72974   340360  1129423 | 2147483647    43023     84 |  0.010 % |
86.31/86.39	c |     44240 |   72974   340360  1129423 | 2147483647    43217     84 |  0.010 % |
86.51/86.58	c |     44453 |   72974   340360  1129423 | 2147483647    43430     84 |  0.010 % |
88.21/88.23	c |     44718 |   72974   340360  1129423 | 2147483647    43695     84 |  0.010 % |
88.51/88.51	c |     44974 |   72974   340360  1129423 | 2147483647    43951     84 |  0.010 % |
88.81/88.83	c |     45256 |   72974   340360  1129423 | 2147483647    44233     84 |  0.010 % |
89.41/89.44	c |     45566 |   72974   340360  1129423 | 2147483647    44543     85 |  0.010 % |
90.01/90.02	c |     45906 |   72974   340360  1129423 | 2147483647    44883     85 |  0.010 % |
90.61/90.67	c |     46280 |   72974   340360  1129423 | 2147483647    45257     86 |  0.010 % |
91.01/91.08	c |     46691 |   72974   340360  1129423 | 2147483647    45668     85 |  0.010 % |
91.41/91.46	c |     47140 |   72974   340360  1129423 | 2147483647    46117     85 |  0.010 % |
91.91/91.98	c |     47633 |   72974   340360  1129423 | 2147483647    46610     85 |  0.010 % |
92.42/92.42	c |     48175 |   72974   340360  1129423 | 2147483647    47152     84 |  0.010 % |
93.11/93.12	c |     48775 |   72974   340360  1129423 | 2147483647    47752     85 |  0.010 % |
93.81/93.86	c |     49430 |   72974   340360  1129423 | 2147483647    48407     84 |  0.010 % |
93.91/93.95	c |     49530 |   72974   340360  1129423 | 2147483647    48507     84 |  0.010 % |
94.21/94.22	c |     49653 |   72974   340360  1129423 | 2147483647    48630     84 |  0.010 % |
94.31/94.39	c |     49775 |   72974   340360  1129423 | 2147483647    48752     84 |  0.010 % |
94.41/94.48	c |     49911 |   72974   340360  1129423 | 2147483647    48888     84 |  0.010 % |
94.71/94.72	c |     50058 |   72974   340360  1129423 | 2147483647    49035     84 |  0.010 % |
95.61/95.67	c |     50230 |   72974   340360  1129423 | 2147483647    49207     84 |  0.010 % |
95.81/95.83	c |     50406 |   72974   340360  1129423 | 2147483647    49383     84 |  0.010 % |
96.11/96.12	c |     50600 |   72974   340360  1129423 | 2147483647    49577     84 |  0.010 % |
96.41/96.44	c |     50812 |   72974   340360  1129423 | 2147483647    49789     84 |  0.010 % |
96.71/96.77	c |     51047 |   72974   340360  1129423 | 2147483647    50024     84 |  0.010 % |
97.21/97.24	c |     51303 |   72974   340360  1129423 | 2147483647    50280     85 |  0.010 % |
97.71/97.74	c |     51584 |   72974   340360  1129423 | 2147483647    50561     85 |  0.010 % |
98.41/98.41	c |     51893 |   72974   340360  1129423 | 2147483647    50870     86 |  0.010 % |
99.31/99.39	c |     52234 |   72974   340360  1129423 | 2147483647    51211     86 |  0.010 % |
99.61/99.66	c |     52608 |   72974   340360  1129423 | 2147483647    51585     86 |  0.010 % |
100.01/100.04	c |     53017 |   72974   340360  1129423 | 2147483647    51994     86 |  0.010 % |
100.81/100.83	c |     53466 |   72974   340360  1129423 | 2147483647    52443     86 |  0.010 % |
101.01/101.02	c |     53959 |   72974   340360  1129423 | 2147483647    52936     86 |  0.010 % |
101.71/101.74	c |     54503 |   72974   340360  1129423 | 2147483647    53480     87 |  0.010 % |
102.81/102.88	c |     55099 |   72974   340360  1129423 | 2147483647    54076     87 |  0.010 % |
104.01/104.09	c |     55754 |   72974   340360  1129423 | 2147483647    54731     87 |  0.010 % |
104.91/104.98	c |     56474 |   72974   340360  1129423 | 2147483647    55451     87 |  0.010 % |
105.11/105.13	c |     56575 |   72974   340360  1129423 | 2147483647    55552     87 |  0.010 % |
105.31/105.36	c |     56685 |   72974   340360  1129423 | 2147483647    55662     87 |  0.010 % |
105.62/105.67	c |     56809 |   72974   340360  1129423 | 2147483647    55786     88 |  0.010 % |
105.91/105.96	c |     56942 |   72974   340360  1129423 | 2147483647    55919     88 |  0.010 % |
106.21/106.22	c |     57090 |   72974   340360  1129423 | 2147483647    56067     88 |  0.010 % |
106.51/106.57	c |     57256 |   72974   340360  1129423 | 2147483647    56233     88 |  0.010 % |
106.81/106.85	c |     57432 |   72974   340360  1129423 | 2147483647    56409     88 |  0.010 % |
107.61/107.66	c |     57626 |   72974   340360  1129423 | 2147483647    56603     88 |  0.010 % |
108.01/108.02	c |     57838 |   72974   340360  1129423 | 2147483647    56815     88 |  0.010 % |
108.51/108.50	c |     58072 |   72974   340360  1129423 | 2147483647    57049     89 |  0.010 % |
108.92/108.92	c |     58329 |   72974   340360  1129423 | 2147483647    57306     89 |  0.010 % |
109.22/109.25	c |     58610 |   72974   340360  1129423 | 2147483647    57587     89 |  0.010 % |
109.72/109.71	c |     58919 |   72974   340360  1129423 | 2147483647    57896     89 |  0.010 % |
110.02/110.04	c |     59262 |   72974   340360  1129423 | 2147483647    58239     89 |  0.010 % |
111.22/111.28	c |     59635 |   72974   340360  1129423 | 2147483647    58612     90 |  0.010 % |
111.92/111.96	c |     60044 |   72974   340360  1129423 | 2147483647    59021     90 |  0.010 % |
112.52/112.51	c |     60494 |   72974   340360  1129423 | 2147483647    59471     90 |  0.010 % |
113.52/113.55	c |     60987 |   72974   340360  1129423 | 2147483647    59964     90 |  0.010 % |
114.42/114.51	c |     61530 |   72974   340360  1129423 | 2147483647    60507     90 |  0.010 % |
115.12/115.17	c |     62129 |   72974   340360  1129423 | 2147483647    61106     91 |  0.010 % |
116.22/116.23	c |     62786 |   72974   340360  1129423 | 2147483647    61763     92 |  0.010 % |
117.62/117.68	c |     63506 |   72974   340360  1129423 | 2147483647    62483     93 |  0.010 % |
118.82/118.82	c |     64299 |   72974   340360  1129423 | 2147483647    63276     94 |  0.010 % |
119.32/119.38	c |     64399 |   72974   340360  1129423 | 2147483647    63376     94 |  0.010 % |
119.42/119.47	c |     64509 |   72974   340360  1129423 | 2147483647    63486     94 |  0.010 % |
119.72/119.73	c |     64635 |   72974   340360  1129423 | 2147483647    63612     94 |  0.010 % |
120.02/120.10	c |     64772 |   72974   340360  1129423 | 2147483647    63749     94 |  0.010 % |
120.62/120.63	c |     64935 |   72974   340360  1129423 | 2147483647    63912     94 |  0.010 % |
120.72/120.75	c |     65095 |   72974   340360  1129423 | 2147483647    64072     94 |  0.010 % |
120.92/120.97	c |     65273 |   72974   340360  1129423 | 2147483647    64250     94 |  0.010 % |
121.22/121.27	c |     65468 |   72974   340360  1129423 | 2147483647    64445     94 |  0.010 % |
121.42/121.46	c |     65680 |   72974   340360  1129423 | 2147483647    64657     94 |  0.010 % |
121.72/121.79	c |     65915 |   72974   340360  1129423 | 2147483647    64892     94 |  0.010 % |
122.22/122.23	c |     66172 |   72974   340360  1129423 | 2147483647    65149     94 |  0.010 % |
122.52/122.60	c |     66453 |   72974   340360  1129423 | 2147483647    65430     94 |  0.010 % |
123.12/123.17	c |     66762 |   72974   340360  1129423 | 2147483647    65739     94 |  0.010 % |
124.02/124.04	c |     67102 |   72974   340360  1129423 | 2147483647    66079     94 |  0.010 % |
124.22/124.29	c |     67474 |   72974   340360  1129423 | 2147483647    66451     94 |  0.010 % |
124.42/124.48	c |     67883 |   72974   340360  1129423 | 2147483647    66860     94 |  0.010 % |
125.32/125.31	c |     68333 |   72974   340360  1129423 | 2147483647    67310     94 |  0.010 % |
126.02/126.10	c |     68827 |   72974   340360  1129423 | 2147483647    67804     95 |  0.010 % |
126.92/126.98	c |     69370 |   72974   340360  1129423 | 2147483647    68347     94 |  0.010 % |
128.22/128.24	c |     69966 |   72974   340360  1129423 | 2147483647    68943     95 |  0.010 % |
129.02/129.01	c |     70621 |   72974   340360  1129423 | 2147483647    69598     96 |  0.010 % |
130.12/130.13	c |     71341 |   72974   340360  1129423 | 2147483647    70318     97 |  0.010 % |
131.32/131.32	c |     72134 |   72974   340360  1129423 | 2147483647    71111     98 |  0.010 % |
132.32/132.39	c |     73005 |   72974   340360  1129423 | 2147483647    71982     98 |  0.010 % |
132.72/132.73	c |     73105 |   72974   340360  1129423 | 2147483647    72082     98 |  0.010 % |
132.82/132.90	c |     73215 |   72974   340360  1129423 | 2147483647    72192     98 |  0.010 % |
133.02/133.01	c |     73336 |   72974   340360  1129423 | 2147483647    72313     98 |  0.010 % |
133.12/133.15	c |     73469 |   72974   340360  1129423 | 2147483647    72446     98 |  0.010 % |
133.52/133.56	c |     73625 |   72974   340360  1129423 | 2147483647    72602     98 |  0.010 % |
133.82/133.83	c |     73790 |   72974   340360  1129423 | 2147483647    72767     98 |  0.010 % |
134.22/134.23	c |     73966 |   72974   340360  1129423 | 2147483647    72943     98 |  0.010 % |
134.62/134.66	c |     74159 |   72974   340360  1129423 | 2147483647    73136     98 |  0.010 % |
135.32/135.32	c |     74371 |   72974   340360  1129423 | 2147483647    73348     99 |  0.010 % |
135.52/135.57	c |     74605 |   72974   340360  1129423 | 2147483647    73582     99 |  0.010 % |
136.22/136.26	c |     74861 |   72974   340360  1129423 | 2147483647    73838     99 |  0.010 % |
136.52/136.58	c |     75143 |   72974   340360  1129423 | 2147483647    74120     99 |  0.010 % |
137.02/137.08	c |     75452 |   72974   340360  1129423 | 2147483647    74429     99 |  0.010 % |
137.82/137.84	c |     75792 |   72974   340360  1129423 | 2147483647    74769     99 |  0.010 % |
138.62/138.66	c |     76164 |   72974   340360  1129423 | 2147483647    75141     99 |  0.010 % |
139.02/139.09	c |     76574 |   72974   340360  1129423 | 2147483647    75551     98 |  0.010 % |
140.42/140.48	c |     77023 |   72974   340360  1129423 | 2147483647    76000     99 |  0.010 % |
141.12/141.14	c |     77516 |   72974   340360  1129423 | 2147483647    76493     99 |  0.010 % |
142.12/142.14	c |     78059 |   72974   340360  1129423 | 2147483647    77036     99 |  0.010 % |
143.12/143.14	c |     78655 |   72974   340360  1129423 | 2147483647    77632     99 |  0.010 % |
144.22/144.28	c |     79310 |   72974   340360  1129423 | 2147483647    78287    100 |  0.010 % |
145.62/145.65	c |     80030 |   72974   340360  1129423 | 2147483647    79007     99 |  0.010 % |
148.62/148.63	c |     80822 |   72974   340360  1129423 | 2147483647    79799    101 |  0.010 % |
149.92/149.97	c |     81693 |   72974   340360  1129423 | 2147483647    80670    101 |  0.010 % |
151.42/151.49	c |     82651 |   72974   340360  1129423 | 2147483647    81628    100 |  0.010 % |
151.62/151.67	c |     82751 |   72974   340360  1129423 | 2147483647    81728    100 |  0.010 % |
151.92/151.96	c |     82864 |   72974   340360  1129423 | 2147483647    81841    100 |  0.010 % |
152.32/152.35	c |     82987 |   72974   340360  1129423 | 2147483647    81964    100 |  0.010 % |
152.52/152.59	c |     83121 |   72974   340360  1129423 | 2147483647    82098    100 |  0.010 % |
152.92/152.94	c |     83268 |   72974   340360  1129423 | 2147483647    82245    100 |  0.010 % |
153.12/153.16	c |     83428 |   72974   340360  1129423 | 2147483647    82405    100 |  0.010 % |
153.42/153.47	c |     83605 |   72974   340360  1129423 | 2147483647    82582    100 |  0.010 % |
154.02/154.06	c |     83800 |   72974   340360  1129423 | 2147483647    82777    100 |  0.010 % |
155.12/155.11	c |     84013 |   72974   340360  1129423 | 2147483647    82990    100 |  0.010 % |
155.42/155.47	c |     84246 |   72974   340360  1129423 | 2147483647    83223    101 |  0.010 % |
155.72/155.78	c |     84502 |   72974   340360  1129423 | 2147483647    83479    101 |  0.010 % |
156.72/156.80	c |     84785 |   72974   340360  1129423 | 2147483647    83762    101 |  0.010 % |
157.52/157.54	c |     85095 |   72974   340360  1129423 | 2147483647    84072    101 |  0.010 % |
158.32/158.38	c |     85436 |   72974   340360  1129423 | 2147483647    84413    101 |  0.010 % |
158.92/158.91	c |     85809 |   72974   340360  1129423 | 2147483647    84786    101 |  0.010 % |
159.32/159.37	c |     86219 |   72974   340360  1129423 | 2147483647    85196    101 |  0.010 % |
160.22/160.27	c |     86669 |   72974   340360  1129423 | 2147483647    85646    102 |  0.010 % |
161.52/161.56	c |     87163 |   72974   340360  1129423 | 2147483647    86140    102 |  0.010 % |
162.02/162.10	c |     87705 |   72974   340360  1129423 | 2147483647    86682    102 |  0.010 % |
162.92/162.99	c |     88301 |   72974   340360  1129423 | 2147483647    87278    102 |  0.010 % |
164.62/164.63	c |     88956 |   72974   340360  1129423 | 2147483647    87933    103 |  0.010 % |
169.02/169.05	c |     89688 |   72974   340360  1129423 | 2147483647    88665    103 |  0.010 % |
173.52/173.55	c |     90480 |   72974   340360  1129423 | 2147483647    89457    104 |  0.010 % |
174.93/174.94	c |     91353 |   72974   340360  1129423 | 2147483647    90330    104 |  0.010 % |
177.22/177.27	c |     92312 |   72974   340360  1129423 | 2147483647    91289    105 |  0.010 % |
179.52/179.50	c |     93367 |   72974   340360  1129423 | 2147483647    92344    105 |  0.010 % |
179.72/179.77	c |     93468 |   72974   340360  1129423 | 2147483647    92445    104 |  0.010 % |
179.92/179.97	c |     93580 |   72974   340360  1129423 | 2147483647    92557    104 |  0.010 % |
181.12/181.15	c |     93701 |   72974   340360  1129423 | 2147483647    92678    105 |  0.010 % |
181.42/181.45	c |     93836 |   72974   340360  1129423 | 2147483647    92813    104 |  0.010 % |
181.62/181.64	c |     93982 |   72974   340360  1129423 | 2147483647    92959    104 |  0.010 % |
181.82/181.89	c |     94143 |   72974   340360  1129423 | 2147483647    93120    104 |  0.010 % |
182.02/182.03	c |     94320 |   72974   340360  1129423 | 2147483647    93297    104 |  0.010 % |
183.32/183.34	c |     94513 |   72974   340360  1129423 | 2147483647    93490    104 |  0.010 % |
183.62/183.67	c |     94725 |   72974   340360  1129423 | 2147483647    93702    104 |  0.010 % |
183.92/183.99	c |     94960 |   72974   340360  1129423 | 2147483647    93937    104 |  0.010 % |
184.52/184.52	c |     95217 |   72974   340360  1129423 | 2147483647    94194    105 |  0.010 % |
184.92/185.00	c |     95498 |   72974   340360  1129423 | 2147483647    94475    105 |  0.010 % |
185.42/185.45	c |     95809 |   72974   340360  1129423 | 2147483647    94786    104 |  0.010 % |
186.12/186.16	c |     96150 |   72974   340360  1129423 | 2147483647    95127    105 |  0.010 % |
186.62/186.63	c |     96523 |   72974   340360  1129423 | 2147483647    95500    104 |  0.010 % |
187.72/187.73	c |     96932 |   72974   340360  1129423 | 2147483647    95909    105 |  0.010 % |
188.82/188.90	c |     97383 |   72974   340360  1129423 | 2147483647    96360    105 |  0.010 % |
189.62/189.65	c |     97876 |   72974   340360  1129423 | 2147483647    96853    105 |  0.010 % |
191.22/191.20	c |     98418 |   72974   340360  1129423 | 2147483647    97395    106 |  0.010 % |
192.22/192.25	c |     99015 |   72974   340360  1129423 | 2147483647    97992    106 |  0.010 % |
193.52/193.61	c |     99670 |   72974   340360  1129423 | 2147483647    98647    106 |  0.010 % |
194.73/194.72	c |    100390 |   72974   340360  1129423 | 2147483647    99367    105 |  0.010 % |
196.32/196.33	c |    101185 |   72974   340360  1129423 | 2147483647   100162    105 |  0.010 % |
197.62/197.61	c |    102056 |   72974   340360  1129423 | 2147483647   101033    105 |  0.010 % |
200.02/200.04	c |    103014 |   72974   340360  1129423 | 2147483647   101991    106 |  0.010 % |
201.22/201.26	c |    104067 |   72974   340360  1129423 | 2147483647   103044    106 |  0.010 % |
205.22/205.25	c |    105225 |   72974   340360  1129423 | 2147483647   104202    107 |  0.010 % |
205.52/205.51	c |    105329 |   72974   340360  1129423 | 2147483647   104306    107 |  0.010 % |
205.62/205.71	c |    105439 |   72974   340360  1129423 | 2147483647   104416    107 |  0.010 % |
205.82/205.83	c |    105560 |   72974   340360  1129423 | 2147483647   104537    107 |  0.010 % |
206.02/206.04	c |    105694 |   72974   340360  1129423 | 2147483647   104671    107 |  0.010 % |
206.22/206.25	c |    105840 |   72974   340360  1129423 | 2147483647   104817    107 |  0.010 % |
206.22/206.29	c |    106000 |   72974   340360  1129423 | 2147483647   104977    107 |  0.010 % |
206.83/206.84	c |    106176 |   72974   340360  1129423 | 2147483647   105153    107 |  0.010 % |
207.12/207.15	c |    106369 |   72974   340360  1129423 | 2147483647   105346    107 |  0.010 % |
207.32/207.37	c |    106583 |   72974   340360  1129423 | 2147483647   105560    106 |  0.010 % |
207.72/207.71	c |    106817 |   72974   340360  1129423 | 2147483647   105794    107 |  0.010 % |
208.32/208.33	c |    107073 |   72974   340360  1129423 | 2147483647   106050    107 |  0.010 % |
208.82/208.87	c |    107354 |   72974   340360  1129423 | 2147483647   106331    107 |  0.010 % |
209.22/209.22	c |    107665 |   72974   340360  1129423 | 2147483647   106642    106 |  0.010 % |
210.92/210.92	c |    108006 |   72974   340360  1129423 | 2147483647   106983    107 |  0.010 % |
211.52/211.52	c |    108379 |   72974   340360  1129423 | 2147483647   107356    107 |  0.010 % |
212.02/212.10	c |    108789 |   72974   340360  1129423 | 2147483647   107766    107 |  0.010 % |
212.82/212.87	c |    109238 |   72974   340360  1129423 | 2147483647   108215    107 |  0.010 % |
213.22/213.28	c |    109732 |   72974   340360  1129423 | 2147483647   108709    107 |  0.010 % |
213.52/213.59	c |    110278 |   72974   340360  1129423 | 2147483647   109255    106 |  0.010 % |
214.82/214.84	c |    110874 |   72974   340360  1129423 | 2147483647   109851    106 |  0.010 % |
215.42/215.42	c |    111529 |   72974   340360  1129423 | 2147483647   110506    106 |  0.010 % |
216.52/216.51	c |    112249 |   72974   340360  1129423 | 2147483647   111226    107 |  0.010 % |
217.92/217.98	c |    113044 |   72974   340360  1129423 | 2147483647   112021    107 |  0.010 % |
218.93/218.97	c |    113915 |   72974   340360  1129423 | 2147483647   112892    107 |  0.010 % |
220.93/220.98	c |    114873 |   72974   340360  1129423 | 2147483647   113850    107 |  0.010 % |
224.64/224.72	c |    115929 |   72974   340360  1129423 | 2147483647   114906    108 |  0.010 % |
230.04/230.08	c |    117088 |   72974   340360  1129423 | 2147483647   116065    109 |  0.010 % |
233.14/233.14	c |    118363 |   72974   340360  1129423 | 2147483647   117340    110 |  0.010 % |
233.34/233.36	c |    118464 |   72974   340360  1129423 | 2147483647   117441    110 |  0.010 % |
233.44/233.49	c |    118580 |   72974   340360  1129423 | 2147483647   117557    110 |  0.010 % |
233.54/233.55	c |    118703 |   72974   340360  1129423 | 2147483647   117680    110 |  0.010 % |
233.64/233.71	c |    118836 |   72974   340360  1129423 | 2147483647   117813    109 |  0.010 % |
234.04/234.08	c |    118982 |   72974   340360  1129423 | 2147483647   117959    109 |  0.010 % |
234.94/234.92	c |    119142 |   72974   340360  1129423 | 2147483647   118119    109 |  0.010 % |
235.14/235.12	c |    119320 |   72974   340360  1129423 | 2147483647   118297    109 |  0.010 % |
235.14/235.19	c |    119515 |   72974   340360  1129423 | 2147483647   118492    109 |  0.010 % |
235.54/235.58	c |    119727 |   72974   340360  1129423 | 2147483647   118704    109 |  0.010 % |
236.14/236.16	c |    119960 |   72974   340360  1129423 | 2147483647   118937    110 |  0.010 % |
236.54/236.60	c |    120219 |   72974   340360  1129423 | 2147483647   119196    110 |  0.010 % |
237.04/237.03	c |    120501 |   72974   340360  1129423 | 2147483647   119478    110 |  0.010 % |
238.04/238.03	c |    120810 |   72974   340360  1129423 | 2147483647   119787    110 |  0.010 % |
238.64/238.68	c |    121149 |   72974   340360  1129423 | 2147483647   120126    110 |  0.010 % |
239.34/239.40	c |    121522 |   72974   340360  1129423 | 2147483647   120499    110 |  0.010 % |
240.44/240.46	c |    121934 |   72974   340360  1129423 | 2147483647   120911    110 |  0.010 % |
241.14/241.19	c |    122385 |   72974   340360  1129423 | 2147483647   121362    110 |  0.010 % |
242.34/242.36	c |    122878 |   72974   340360  1129423 | 2147483647   121855    110 |  0.010 % |
243.14/243.21	c |    123420 |   72974   340360  1129423 | 2147483647   122397    110 |  0.010 % |
244.04/244.06	c |    124016 |   72974   340360  1129423 | 2147483647   122993    109 |  0.010 % |
246.04/246.08	c |    124673 |   72974   340360  1129423 | 2147483647   123650    109 |  0.010 % |
247.14/247.13	c |    125393 |   72974   340360  1129423 | 2147483647   124370    109 |  0.010 % |
249.44/249.45	c |    126185 |   72974   340360  1129423 | 2147483647   125162    110 |  0.010 % |
251.64/251.71	c |    127056 |   72974   340360  1129423 | 2147483647   126033    110 |  0.010 % |
253.34/253.36	c |    128014 |   72974   340360  1129423 | 2147483647   126991    110 |  0.010 % |
257.34/257.35	c |    129067 |   72974   340360  1129423 | 2147483647   128044    110 |  0.010 % |
259.44/259.44	c |    130225 |   72974   340360  1129423 | 2147483647   129202    110 |  0.010 % |
260.24/260.22	c |    131498 |   72974   340360  1129423 | 2147483647   130475    110 |  0.010 % |
262.44/262.46	c |    132899 |   72974   340360  1129423 | 2147483647   131876    110 |  0.010 % |
262.54/262.58	c |    132999 |   72974   340360  1129423 | 2147483647   131976    110 |  0.010 % |
263.14/263.13	c |    133109 |   72974   340360  1129423 | 2147483647   132086    110 |  0.010 % |
263.54/263.54	c |    133231 |   72974   340360  1129423 | 2147483647   132208    110 |  0.010 % |
263.74/263.74	c |    133364 |   72974   340360  1129423 | 2147483647   132341    110 |  0.010 % |
263.84/263.88	c |    133510 |   72974   340360  1129423 | 2147483647   132487    110 |  0.010 % |
264.14/264.21	c |    133670 |   72974   340360  1129423 | 2147483647   132647    110 |  0.010 % |
264.34/264.41	c |    133847 |   72974   340360  1129423 | 2147483647   132824    110 |  0.010 % |
264.74/264.76	c |    134040 |   72974   340360  1129423 | 2147483647   133017    110 |  0.010 % |
265.54/265.61	c |    134252 |   72974   340360  1129423 | 2147483647   133229    110 |  0.010 % |
266.04/266.05	c |    134485 |   72974   340360  1129423 | 2147483647   133462    110 |  0.010 % |
266.24/266.22	c |    134741 |   72974   340360  1129423 | 2147483647   133718    110 |  0.010 % |
266.54/266.61	c |    135043 |   72974   340360  1129423 | 2147483647   134020    109 |  0.010 % |
267.24/267.24	c |    135352 |   72974   340360  1129423 | 2147483647   134329    109 |  0.010 % |
268.24/268.23	c |    135691 |   72974   340360  1129423 | 2147483647   134668    109 |  0.010 % |
268.64/268.65	c |    136063 |   72974   340360  1129423 | 2147483647   135040    109 |  0.010 % |
269.44/269.45	c |    136474 |   72974   340360  1129423 | 2147483647   135451    109 |  0.010 % |
270.34/270.40	c |    136923 |   72974   340360  1129423 | 2147483647   135900    109 |  0.010 % |
270.84/270.88	c |    137417 |   72974   340360  1129423 | 2147483647   136394    109 |  0.010 % |
271.64/271.70	c |    137959 |   72974   340360  1129423 | 2147483647   136936    109 |  0.010 % |
273.14/273.21	c |    138556 |   72974   340360  1129423 | 2147483647   137533    109 |  0.010 % |
274.74/274.73	c |    139211 |   72974   340360  1129423 | 2147483647   138188    110 |  0.010 % |
275.94/276.00	c |    139932 |   72974   340360  1129423 | 2147483647   138909    110 |  0.010 % |
278.44/278.44	c |    140725 |   72974   340360  1129423 | 2147483647   139702    110 |  0.010 % |
281.64/281.66	c |    141596 |   72974   340360  1129423 | 2147483647   140573    110 |  0.010 % |
283.04/283.03	c |    142554 |   72974   340360  1129423 | 2147483647   141531    111 |  0.010 % |
284.84/284.87	c |    143607 |   72974   340360  1129423 | 2147483647   142584    112 |  0.010 % |
287.04/287.11	c |    144765 |   72974   340360  1129423 | 2147483647   143742    112 |  0.010 % |
289.54/289.59	c |    146038 |   72974   340360  1129423 | 2147483647   145015    112 |  0.010 % |
293.54/293.56	c |    147438 |   72974   340360  1129423 | 2147483647   146415    113 |  0.010 % |
296.84/296.91	c |    148978 |   72974   340360  1129423 | 2147483647   147955    114 |  0.010 % |
297.14/297.12	c |    149078 |   72974   340360  1129423 | 2147483647   148055    114 |  0.010 % |
298.04/298.05	c |    149192 |   72974   340360  1129423 | 2147483647   148169    114 |  0.010 % |
298.24/298.31	c |    149316 |   72974   340360  1129423 | 2147483647   148293    114 |  0.010 % |
298.44/298.51	c |    149449 |   72974   340360  1129423 | 2147483647   148426    114 |  0.010 % |
298.84/298.85	c |    149600 |   72974   340360  1129423 | 2147483647   148577    114 |  0.010 % |
299.14/299.14	c |    149760 |   72974   340360  1129423 | 2147483647   148737    114 |  0.010 % |
299.54/299.54	c |    149936 |   72974   340360  1129423 | 2147483647   148913    114 |  0.010 % |
300.04/300.02	c |    150130 |   72974   340360  1129423 | 2147483647   149107    114 |  0.010 % |
300.64/300.64	c |    150343 |   72974   340360  1129423 | 2147483647   149320    114 |  0.010 % |
301.14/301.18	c |    150576 |   72974   340360  1129423 | 2147483647   149553    113 |  0.010 % |
302.04/302.02	c |    150841 |   72974   340360  1129423 | 2147483647   149818    114 |  0.010 % |
302.44/302.46	c |    151122 |   72974   340360  1129423 | 2147483647   150099    114 |  0.010 % |
302.84/302.83	c |    151431 |   72974   340360  1129423 | 2147483647   150408    114 |  0.010 % |
303.34/303.37	c |    151770 |   72974   340360  1129423 | 2147483647   150747    114 |  0.010 % |
304.24/304.31	c |    152142 |   72974   340360  1129423 | 2147483647   151119    114 |  0.010 % |
304.64/304.72	c |    152551 |   72974   340360  1129423 | 2147483647   151528    114 |  0.010 % |
309.15/309.18	c |    153001 |   72974   340360  1129423 | 2147483647   151978    114 |  0.010 % |
310.44/310.48	c |    153496 |   72974   340360  1129423 | 2147483647   152473    114 |  0.010 % |
311.44/311.41	c |    154042 |   72974   340360  1129423 | 2147483647   153019    114 |  0.010 % |
314.84/314.88	c |    154638 |   72974   340360  1129423 | 2147483647   153615    114 |  0.010 % |
315.84/315.88	c |    155295 |   72974   340360  1129423 | 2147483647   154272    114 |  0.010 % |
316.24/316.25	c |    156016 |   72974   340360  1129423 | 2147483647   154993    114 |  0.010 % |
318.74/318.71	c |    156808 |   72974   340360  1129423 | 2147483647   155785    114 |  0.010 % |
319.24/319.24	c |    157679 |   72974   340360  1129423 | 2147483647   156656    114 |  0.010 % |
320.64/320.63	c |    158639 |   72974   340360  1129423 | 2147483647   157616    114 |  0.010 % |
322.24/322.27	c |    159693 |   72974   340360  1129423 | 2147483647   158670    114 |  0.010 % |
327.94/327.98	c |    160853 |   72974   340360  1129423 | 2147483647   159830    115 |  0.010 % |
333.05/333.03	c |    162126 |   72974   340360  1129423 | 2147483647   161103    115 |  0.010 % |
334.65/334.66	c |    163526 |   72974   340360  1129423 | 2147483647   162503    115 |  0.010 % |
338.25/338.31	c |    165066 |   72974   340360  1129423 | 2147483647   164043    116 |  0.010 % |
339.25/339.27	c |    166761 |   72974   340360  1129423 | 2147483647   165738    115 |  0.010 % |
339.25/339.31	c |    166862 |   72974   340360  1129423 | 2147483647   165839    115 |  0.010 % |
339.65/339.67	c |    166972 |   72974   340360  1129423 | 2147483647   165949    115 |  0.010 % |
339.85/339.92	c |    167093 |   72974   340360  1129423 | 2147483647   166070    115 |  0.010 % |
340.25/340.25	c |    167226 |   72974   340360  1129423 | 2147483647   166203    115 |  0.010 % |
340.65/340.67	c |    167372 |   72974   340360  1129423 | 2147483647   166349    115 |  0.010 % |
340.95/341.01	c |    167532 |   72974   340360  1129423 | 2147483647   166509    115 |  0.010 % |
341.35/341.37	c |    167708 |   72974   340360  1129423 | 2147483647   166685    116 |  0.010 % |
341.75/341.75	c |    167901 |   72974   340360  1129423 | 2147483647   166878    115 |  0.010 % |
342.25/342.28	c |    168114 |   72974   340360  1129423 | 2147483647   167091    115 |  0.010 % |
342.85/342.82	c |    168347 |   72974   340360  1129423 | 2147483647   167324    115 |  0.010 % |
343.35/343.33	c |    168603 |   72974   340360  1129423 | 2147483647   167580    115 |  0.010 % |
343.95/344.01	c |    168884 |   72974   340360  1129423 | 2147483647   167861    115 |  0.010 % |
344.55/344.61	c |    169193 |   72974   340360  1129423 | 2147483647   168170    115 |  0.010 % |
345.45/345.50	c |    169535 |   72974   340360  1129423 | 2147483647   168512    115 |  0.010 % |
346.35/346.41	c |    169908 |   72974   340360  1129423 | 2147483647   168885    115 |  0.010 % |
347.05/347.03	c |    170317 |   72974   340360  1129423 | 2147483647   169294    115 |  0.010 % |
348.55/348.55	c |    170771 |   72974   340360  1129423 | 2147483647   169748    115 |  0.010 % |
349.35/349.41	c |    171264 |   72974   340360  1129423 | 2147483647   170241    116 |  0.010 % |
350.55/350.53	c |    171807 |   72974   340360  1129423 | 2147483647   170784    115 |  0.010 % |
351.35/351.33	c |    172408 |   72974   340360  1129423 | 2147483647   171385    116 |  0.010 % |
352.45/352.47	c |    173064 |   72974   340360  1129423 | 2147483647   172041    115 |  0.010 % |
353.85/353.85	c |    173785 |   72974   340360  1129423 | 2147483647   172762    116 |  0.010 % |
355.85/355.89	c |    174577 |   72974   340360  1129423 | 2147483647   173554    116 |  0.010 % |
356.85/356.90	c |    175449 |   72974   340360  1129423 | 2147483647   174426    116 |  0.010 % |
359.25/359.28	c |    176407 |   72974   340360  1129423 | 2147483647   175384    116 |  0.010 % |
362.15/362.18	c |    177461 |   72974   340360  1129423 | 2147483647   176438    116 |  0.010 % |
365.85/365.89	c |    178620 |   72974   340360  1129423 | 2147483647   177597    117 |  0.010 % |
367.75/367.81	c |    179893 |   72974   340360  1129423 | 2147483647   178870    116 |  0.010 % |
372.75/372.74	c |    181294 |   72974   340360  1129423 | 2147483647   180271    116 |  0.010 % |
375.15/375.18	c |    182834 |   72974   340360  1129423 | 2147483647   181811    116 |  0.010 % |
377.65/377.69	c |    184528 |   72974   340360  1129423 | 2147483647   183505    116 |  0.010 % |
379.35/379.37	c |    186391 |   72974   340360  1129423 | 2147483647   185368    116 |  0.010 % |
379.65/379.70	c |    186491 |   72974   340360  1129423 | 2147483647   185468    116 |  0.010 % |
379.85/379.85	c |    186601 |   72974   340360  1129423 | 2147483647   185578    115 |  0.010 % |
379.95/379.95	c |    186722 |   72974   340360  1129423 | 2147483647   185699    115 |  0.010 % |
380.35/380.39	c |    186856 |   72974   340360  1129423 | 2147483647   185833    115 |  0.010 % |
380.75/380.75	c |    187002 |   72974   340360  1129423 | 2147483647   185979    116 |  0.010 % |
381.35/381.36	c |    187163 |   72974   340360  1129423 | 2147483647   186140    116 |  0.010 % |
381.95/381.98	c |    187339 |   72974   340360  1129423 | 2147483647   186316    116 |  0.010 % |
382.45/382.47	c |    187532 |   72974   340360  1129423 | 2147483647   186509    116 |  0.010 % |
383.25/383.29	c |    187746 |   72974   340360  1129423 | 2147483647   186723    116 |  0.010 % |
383.75/383.76	c |    187979 |   72974   340360  1129423 | 2147483647   186956    116 |  0.010 % |
384.35/384.36	c |    188237 |   72974   340360  1129423 | 2147483647   187214    116 |  0.010 % |
386.35/386.32	c |    188518 |   72974   340360  1129423 | 2147483647   187495    116 |  0.010 % |
387.05/387.02	c |    188827 |   72974   340360  1129423 | 2147483647   187804    116 |  0.010 % |
387.35/387.40	c |    189167 |   72974   340360  1129423 | 2147483647   188144    116 |  0.010 % |
387.85/387.87	c |    189540 |   72974   340360  1129423 | 2147483647   188517    116 |  0.010 % |
389.25/389.24	c |    189950 |   72974   340360  1129423 | 2147483647   188927    116 |  0.010 % |
390.15/390.16	c |    190400 |   72974   340360  1129423 | 2147483647   189377    116 |  0.010 % |
391.05/391.07	c |    190894 |   72974   340360  1129423 | 2147483647   189871    115 |  0.010 % |
392.15/392.13	c |    191437 |   72974   340360  1129423 | 2147483647   190414    116 |  0.010 % |
394.65/394.66	c |    192034 |   72974   340360  1129423 | 2147483647   191011    115 |  0.010 % |
397.55/397.56	c |    192689 |   72974   340360  1129423 | 2147483647   191666    116 |  0.010 % |
399.75/399.72	c |    193409 |   72974   340360  1129423 | 2147483647   192386    116 |  0.010 % |
402.75/402.73	c |    194201 |   72974   340360  1129423 | 2147483647   193178    116 |  0.010 % |
404.25/404.29	c |    195072 |   72974   340360  1129423 | 2147483647   194049    116 |  0.010 % |
409.35/409.34	c |    196031 |   72974   340360  1129423 | 2147483647   195008    116 |  0.010 % |
410.95/410.95	c |    197084 |   72974   340360  1129423 | 2147483647   196061    116 |  0.010 % |
411.85/411.86	c |    198243 |   72974   340360  1129423 | 2147483647   197220    115 |  0.010 % |
414.05/414.05	c |    199516 |   72974   340360  1129423 | 2147483647   198493    115 |  0.010 % |
417.75/417.73	c |    200916 |   72974   340360  1129423 | 2147483647   199893    116 |  0.010 % |
419.55/419.59	c |    202456 |   72974   340360  1129423 | 2147483647   201433    115 |  0.010 % |
420.75/420.76	c |    204150 |   72974   340360  1129423 | 2147483647   203127    115 |  0.010 % |
423.94/423.96	c |    206014 |   72974   340360  1129423 | 2147483647   204991    115 |  0.010 % |
429.54/429.59	c |    208065 |   72974   340360  1129423 | 2147483647   207042    115 |  0.010 % |
429.74/429.77	c |    208165 |   72974   340360  1129423 | 2147483647   207142    115 |  0.010 % |
430.15/430.17	c |    208275 |   72974   340360  1129423 | 2147483647   207252    115 |  0.010 % |
430.44/430.48	c |    208396 |   72974   340360  1129423 | 2147483647   207373    115 |  0.010 % |
430.74/430.72	c |    208529 |   72974   340360  1129423 | 2147483647   207506    115 |  0.010 % |
431.54/431.57	c |    208675 |   72974   340360  1129423 | 2147483647   207652    115 |  0.010 % |
432.14/432.13	c |    208836 |   72974   340360  1129423 | 2147483647   207813    115 |  0.010 % |
432.54/432.59	c |    209015 |   72974   340360  1129423 | 2147483647   207992    115 |  0.010 % |
433.04/433.04	c |    209208 |   72974   340360  1129423 | 2147483647   208185    115 |  0.010 % |
433.45/433.43	c |    209421 |   72974   340360  1129423 | 2147483647   208398    115 |  0.010 % |
433.84/433.85	c |    209654 |   72974   340360  1129423 | 2147483647   208631    115 |  0.010 % |
434.44/434.50	c |    209912 |   72974   340360  1129423 | 2147483647   208889    115 |  0.010 % |
435.04/435.06	c |    210193 |   72974   340360  1129423 | 2147483647   209170    115 |  0.010 % |
435.84/435.81	c |    210504 |   72974   340360  1129423 | 2147483647   209481    115 |  0.010 % |
436.94/437.00	c |    210843 |   72974   340360  1129423 | 2147483647   209820    115 |  0.010 % |
438.64/438.69	c |    211215 |   72974   340360  1129423 | 2147483647   210192    115 |  0.010 % |
440.64/440.70	c |    211624 |   72974   340360  1129423 | 2147483647   210601    115 |  0.010 % |
442.65/442.63	c |    212075 |   72974   340360  1129423 | 2147483647   211052    115 |  0.010 % |
443.45/443.47	c |    212568 |   72974   340360  1129423 | 2147483647   211545    115 |  0.010 % |
444.65/444.71	c |    213112 |   72974   340360  1129423 | 2147483647   212089    116 |  0.010 % |
445.55/445.59	c |    213712 |   72974   340360  1129423 | 2147483647   212689    116 |  0.010 % |
445.95/445.99	c |    214367 |   72974   340360  1129423 | 2147483647   213344    115 |  0.010 % |
446.15/446.18	c |    215087 |   72974   340360  1129423 | 2147483647   214064    115 |  0.010 % |
448.35/448.35	c |    215880 |   72974   340360  1129423 | 2147483647   214857    115 |  0.010 % |
449.55/449.57	c |    216751 |   72974   340360  1129423 | 2147483647   215728    115 |  0.010 % |
451.05/451.02	c |    217709 |   72974   340360  1129423 | 2147483647   216686    115 |  0.010 % |
452.05/452.03	c |    218762 |   72974   340360  1129423 | 2147483647   217739    115 |  0.010 % |
453.65/453.63	c |    219922 |   72974   340360  1129423 | 2147483647   218899    114 |  0.010 % |
456.85/456.86	c |    221197 |   72974   340360  1129423 | 2147483647   220174    115 |  0.010 % |
459.95/459.92	c |    222597 |   72974   340360  1129423 | 2147483647   221574    114 |  0.010 % |
463.05/463.07	c |    224140 |   72974   340360  1129423 | 2147483647   223117    115 |  0.010 % |
465.35/465.31	c |    225834 |   72974   340360  1129423 | 2147483647   224811    114 |  0.010 % |
467.25/467.24	c |    227697 |   72974   340360  1129423 | 2147483647   226674    114 |  0.010 % |
474.15/474.12	c |    229746 |   72974   340360  1129423 | 2147483647   228723    115 |  0.010 % |
478.95/479.01	c |    231999 |   72974   340360  1129423 | 2147483647   230976    114 |  0.010 % |
479.25/479.27	c |    232099 |   72974   340360  1129423 | 2147483647   231076    114 |  0.010 % |
479.75/479.76	c |    232209 |   72974   340360  1129423 | 2147483647   231186    114 |  0.010 % |
480.15/480.21	c |    232330 |   72974   340360  1129423 | 2147483647   231307    114 |  0.010 % |
480.65/480.63	c |    232463 |   72974   340360  1129423 | 2147483647   231440    114 |  0.010 % |
481.05/481.05	c |    232610 |   72974   340360  1129423 | 2147483647   231587    114 |  0.010 % |
481.25/481.30	c |    232771 |   72974   340360  1129423 | 2147483647   231748    114 |  0.010 % |
481.75/481.81	c |    232948 |   72974   340360  1129423 | 2147483647   231925    114 |  0.010 % |
482.35/482.38	c |    233141 |   72974   340360  1129423 | 2147483647   232118    115 |  0.010 % |
482.85/482.82	c |    233353 |   72974   340360  1129423 | 2147483647   232330    115 |  0.010 % |
483.35/483.37	c |    233586 |   72974   340360  1129423 | 2147483647   232563    115 |  0.010 % |
483.95/483.98	c |    233843 |   72974   340360  1129423 | 2147483647   232820    115 |  0.010 % |
484.75/484.72	c |    234124 |   72974   340360  1129423 | 2147483647   233101    115 |  0.010 % |
485.45/485.41	c |    234433 |   72974   340360  1129423 | 2147483647   233410    115 |  0.010 % |
486.45/486.43	c |    234772 |   72974   340360  1129423 | 2147483647   233749    115 |  0.010 % |
488.15/488.12	c |    235144 |   72974   340360  1129423 | 2147483647   234121    115 |  0.010 % |
488.85/488.89	c |    235553 |   72974   340360  1129423 | 2147483647   234530    115 |  0.010 % |
489.65/489.70	c |    236002 |   72974   340360  1129423 | 2147483647   234979    115 |  0.010 % |
491.85/491.85	c |    236496 |   72974   340360  1129423 | 2147483647   235473    115 |  0.010 % |
493.25/493.22	c |    237038 |   72974   340360  1129423 | 2147483647   236015    115 |  0.010 % |
495.25/495.23	c |    237634 |   72974   340360  1129423 | 2147483647   236611    115 |  0.010 % |
496.35/496.38	c |    238289 |   72974   340360  1129423 | 2147483647   237266    115 |  0.010 % |
500.15/500.20	c |    239011 |   72974   340360  1129423 | 2147483647   237988    116 |  0.010 % |
501.95/501.96	c |    239804 |   72974   340360  1129423 | 2147483647   238781    116 |  0.010 % |
502.85/502.87	c |    240676 |   72974   340360  1129423 | 2147483647   239653    116 |  0.010 % |
505.75/505.71	c |    241636 |   72974   340360  1129423 | 2147483647   240613    116 |  0.010 % |
507.15/507.15	c |    242689 |   72974   340360  1129423 | 2147483647   241666    116 |  0.010 % |
510.46/510.43	c |    243848 |   72974   340360  1129423 | 2147483647   242825    116 |  0.010 % |
513.95/513.91	c |    245121 |   72974   340360  1129423 | 2147483647   244098    117 |  0.010 % |
516.35/516.33	c |    246521 |   72974   340360  1129423 | 2147483647   245498    116 |  0.010 % |
524.76/524.75	c |    248064 |   72974   340360  1129423 | 2147483647   247041    117 |  0.010 % |
527.35/527.35	c |    249759 |   72974   340360  1129423 | 2147483647   248736    117 |  0.010 % |
531.85/531.86	c |    251622 |   72974   340360  1129423 | 2147483647   250599    118 |  0.010 % |
535.45/535.45	c |    253671 |   72974   340360  1129423 | 2147483647   252648    117 |  0.010 % |
543.55/543.56	c |    255924 |   72974   340360  1129423 | 2147483647   254901    118 |  0.010 % |
548.25/548.30	c |    258402 |   72974   340360  1129423 | 2147483647   257379    118 |  0.010 % |
548.65/548.69	c |    258502 |   72974   340360  1129423 | 2147483647   257479    118 |  0.010 % |
549.15/549.17	c |    258612 |   72974   340360  1129423 | 2147483647   257589    118 |  0.010 % |
549.65/549.61	c |    258735 |   72974   340360  1129423 | 2147483647   257712    118 |  0.010 % |
550.06/550.08	c |    258879 |   72974   340360  1129423 | 2147483647   257856    118 |  0.010 % |
550.45/550.43	c |    259026 |   72974   340360  1129423 | 2147483647   258003    118 |  0.010 % |
551.85/551.81	c |    259190 |   72974   340360  1129423 | 2147483647   258167    118 |  0.010 % |
553.76/553.76	c |    259382 |   72974   340360  1129423 | 2147483647   258359    118 |  0.010 % |
554.06/554.04	c |    259575 |   72974   340360  1129423 | 2147483647   258552    118 |  0.010 % |
554.66/554.68	c |    259788 |   72974   340360  1129423 | 2147483647   258765    118 |  0.010 % |
555.46/555.46	c |    260023 |   72974   340360  1129423 | 2147483647   259000    118 |  0.010 % |
556.06/556.02	c |    260280 |   72974   340360  1129423 | 2147483647   259257    118 |  0.010 % |
556.76/556.81	c |    260561 |   72974   340360  1129423 | 2147483647   259538    119 |  0.010 % |
559.36/559.36	c |    260870 |   72974   340360  1129423 | 2147483647   259847    118 |  0.010 % |
559.66/559.62	c |    261209 |   72974   340360  1129423 | 2147483647   260186    118 |  0.010 % |
560.16/560.21	c |    261581 |   72974   340360  1129423 | 2147483647   260558    118 |  0.010 % |
561.26/561.25	c |    261991 |   72974   340360  1129423 | 2147483647   260968    118 |  0.010 % |
561.86/561.84	c |    262440 |   72974   340360  1129423 | 2147483647   261417    118 |  0.010 % |
562.86/562.87	c |    262933 |   72974   340360  1129423 | 2147483647   261910    118 |  0.010 % |
564.86/564.84	c |    263475 |   72974   340360  1129423 | 2147483647   262452    118 |  0.010 % |
566.46/566.46	c |    264072 |   72974   340360  1129423 | 2147483647   263049    119 |  0.010 % |
567.86/567.88	c |    264727 |   72974   340360  1129423 | 2147483647   263704    119 |  0.010 % |
568.66/568.67	c |    265450 |   72974   340360  1129423 | 2147483647   264427    118 |  0.010 % |
570.86/570.82	c |    266243 |   72974   340360  1129423 | 2147483647   265220    119 |  0.010 % |
572.96/572.94	c |    267116 |   72974   340360  1129423 | 2147483647   266093    119 |  0.010 % |
578.56/578.56	c |    268075 |   72974   340360  1129423 | 2147483647   267052    119 |  0.010 % |
580.56/580.57	c |    269128 |   72974   340360  1129423 | 2147483647   268105    119 |  0.010 % |
585.26/585.29	c |    270286 |   72974   340360  1129423 | 2147483647   269263    120 |  0.010 % |
588.46/588.46	c |    271559 |   72974   340360  1129423 | 2147483647   270536    119 |  0.010 % |
592.86/592.86	c |    272961 |   72974   340360  1129423 | 2147483647   271938    120 |  0.010 % |
594.36/594.36	c |    274502 |   72974   340360  1129423 | 2147483647   273479    120 |  0.010 % |
605.56/605.58	c |    276196 |   72974   340360  1129423 | 2147483647   275173    120 |  0.010 % |
608.66/608.70	c |    278062 |   72974   340360  1129423 | 2147483647   277039    120 |  0.010 % |
617.06/617.06	c |    280111 |   72974   340360  1129423 | 2147483647   279088    121 |  0.010 % |
624.76/624.72	c |    282364 |   72974   340360  1129423 | 2147483647   281341    121 |  0.010 % |
627.36/627.36	c |    284843 |   72974   340360  1129423 | 2147483647   283820    120 |  0.010 % |
631.26/631.25	c |    287569 |   72974   340360  1129423 | 2147483647   286546    121 |  0.010 % |
631.96/631.95	c |    287669 |   72974   340360  1129423 | 2147483647   286646    121 |  0.010 % |
632.26/632.24	c |    287779 |   72974   340360  1129423 | 2147483647   286756    121 |  0.010 % |
632.76/632.79	c |    287900 |   72974   340360  1129423 | 2147483647   286877    121 |  0.010 % |
633.16/633.19	c |    288034 |   72974   340360  1129423 | 2147483647   287011    121 |  0.010 % |
633.76/633.76	c |    288180 |   72974   340360  1129423 | 2147483647   287157    121 |  0.010 % |
633.96/633.92	c |    288342 |   72974   340360  1129423 | 2147483647   287319    121 |  0.010 % |
634.16/634.18	c |    288518 |   72974   340360  1129423 | 2147483647   287495    121 |  0.010 % |
635.06/635.01	c |    288712 |   72974   340360  1129423 | 2147483647   287689    121 |  0.010 % |
635.46/635.46	c |    288925 |   72974   340360  1129423 | 2147483647   287902    121 |  0.010 % |
636.16/636.16	c |    289159 |   72974   340360  1129423 | 2147483647   288136    121 |  0.010 % |
636.56/636.56	c |    289416 |   72974   340360  1129423 | 2147483647   288393    121 |  0.010 % |
637.66/637.64	c |    289697 |   72974   340360  1129423 | 2147483647   288674    121 |  0.010 % |
638.46/638.49	c |    290006 |   72974   340360  1129423 | 2147483647   288983    121 |  0.010 % |
639.26/639.21	c |    290347 |   72974   340360  1129423 | 2147483647   289324    121 |  0.010 % |
640.36/640.40	c |    290719 |   72974   340360  1129423 | 2147483647   289696    121 |  0.010 % |
642.26/642.24	c |    291128 |   72974   340360  1129423 | 2147483647   290105    121 |  0.010 % |
644.67/644.67	c |    291581 |   72974   340360  1129423 | 2147483647   290558    121 |  0.010 % |
645.77/645.72	c |    292074 |   72974   340360  1129423 | 2147483647   291051    121 |  0.010 % |
648.26/648.23	c |    292616 |   72974   340360  1129423 | 2147483647   291593    121 |  0.010 % |
649.86/649.87	c |    293212 |   72974   340360  1129423 | 2147483647   292189    121 |  0.010 % |
651.06/651.03	c |    293867 |   72974   340360  1129423 | 2147483647   292844    121 |  0.010 % |
652.86/652.90	c |    294587 |   72974   340360  1129423 | 2147483647   293564    121 |  0.010 % |
654.66/654.63	c |    295379 |   72974   340360  1129423 | 2147483647   294356    121 |  0.010 % |
656.96/656.96	c |    296253 |   72974   340360  1129423 | 2147483647   295230    121 |  0.010 % |
662.36/662.32	c |    297212 |   72974   340360  1129423 | 2147483647   296189    121 |  0.010 % |
664.67/664.71	c |    298267 |   72974   340360  1129423 | 2147483647   297244    121 |  0.010 % |
668.07/668.05	c |    299427 |   72974   340360  1129423 | 2147483647   298404    122 |  0.010 % |
672.77/672.75	c |    300700 |   72974   340360  1129423 | 2147483647   299677    122 |  0.010 % |
676.27/676.27	c |    302100 |   72974   340360  1129423 | 2147483647   301077    122 |  0.010 % |
678.87/678.89	c |    303640 |   72974   340360  1129423 | 2147483647   302617    122 |  0.010 % |
682.57/682.54	c |    305337 |   72974   340360  1129423 | 2147483647   304314    122 |  0.010 % |
686.47/686.48	c |    307200 |   72974   340360  1129423 | 2147483647   306177    122 |  0.010 % |
691.87/691.84	c |    309251 |   72974   340360  1129423 | 2147483647   308228    123 |  0.010 % |
697.67/697.62	c |    311504 |   72974   340360  1129423 | 2147483647   310481    123 |  0.010 % |
703.37/703.35	c |    313983 |   72974   340360  1129423 | 2147483647   312960    123 |  0.010 % |
706.47/706.44	c |    316708 |   72974   340360  1129423 | 2147483647   315685    123 |  0.010 % |
712.97/712.97	c |    319706 |   72974   340360  1129423 | 2147483647   318683    123 |  0.010 % |
713.07/713.10	c |    319806 |   72974   340360  1129423 | 2147483647   318783    123 |  0.010 % |
713.27/713.24	c |    319918 |   72974   340360  1129423 | 2147483647   318895    123 |  0.010 % |
713.37/713.34	c |    320041 |   72974   340360  1129423 | 2147483647   319018    123 |  0.010 % |
713.97/713.99	c |    320174 |   72974   340360  1129423 | 2147483647   319151    123 |  0.010 % |
714.17/714.17	c |    320320 |   72974   340360  1129423 | 2147483647   319297    123 |  0.010 % |
714.77/714.77	c |    320480 |   72974   340360  1129423 | 2147483647   319457    123 |  0.010 % |
715.17/715.17	c |    320656 |   72974   340360  1129423 | 2147483647   319633    123 |  0.010 % |
715.67/715.61	c |    320849 |   72974   340360  1129423 | 2147483647   319826    123 |  0.010 % |
716.07/716.07	c |    321061 |   72974   340360  1129423 | 2147483647   320038    123 |  0.010 % |
717.18/717.18	c |    321294 |   72974   340360  1129423 | 2147483647   320271    123 |  0.010 % |
718.18/718.17	c |    321551 |   72974   340360  1129423 | 2147483647   320528    123 |  0.010 % |
720.28/720.24	c |    321839 |   72974   340360  1129423 | 2147483647   320816    123 |  0.010 % |
721.88/721.89	c |    322148 |   72974   340360  1129423 | 2147483647   321125    123 |  0.010 % |
722.08/722.12	c |    322487 |   72974   340360  1129423 | 2147483647   321464    123 |  0.010 % |
723.28/723.25	c |    322859 |   72974   340360  1129423 | 2147483647   321836    123 |  0.010 % |
724.38/724.35	c |    323269 |   72974   340360  1129423 | 2147483647   322246    123 |  0.010 % |
724.88/724.84	c |    323718 |   72974   340360  1129423 | 2147483647   322695    123 |  0.010 % |
727.28/727.26	c |    324211 |   72974   340360  1129423 | 2147483647   323188    123 |  0.010 % |
729.68/729.62	c |    324753 |   72974   340360  1129423 | 2147483647   323730    123 |  0.010 % |
731.38/731.41	c |    325350 |   72974   340360  1129423 | 2147483647   324327    123 |  0.010 % |
732.88/732.89	c |    326006 |   72974   340360  1129423 | 2147483647   324983    123 |  0.010 % |
734.18/734.13	c |    326728 |   72974   340360  1129423 | 2147483647   325705    123 |  0.010 % |
736.38/736.40	c |    327522 |   72974   340360  1129423 | 2147483647   326499    123 |  0.010 % |
739.68/739.62	c |    328395 |   72974   340360  1129423 | 2147483647   327372    123 |  0.010 % |
741.68/741.68	c |    329354 |   72974   340360  1129423 | 2147483647   328331    123 |  0.010 % |
744.28/744.24	c |    330408 |   72974   340360  1129423 | 2147483647   329385    123 |  0.010 % |
746.58/746.60	c |    331567 |   72974   340360  1129423 | 2147483647   330544    123 |  0.010 % |
751.18/751.12	c |    332845 |   72974   340360  1129423 | 2147483647   331822    123 |  0.010 % |
757.78/757.79	c |    334248 |   72974   340360  1129423 | 2147483647   333225    123 |  0.010 % |
761.88/761.87	c |    335790 |   72974   340360  1129423 | 2147483647   334767    124 |  0.010 % |
764.28/764.22	c |    337485 |   72974   340360  1129423 | 2147483647   336462    124 |  0.010 % |
767.78/767.73	c |    339348 |   72974   340360  1129423 | 2147483647   338325    124 |  0.010 % |
769.88/769.86	c |    341397 |   72974   340360  1129423 | 2147483647   340374    124 |  0.010 % |
773.18/773.13	c |    343650 |   72974   340360  1129423 | 2147483647   342627    123 |  0.010 % |
776.89/776.92	c |    346130 |   72974   340360  1129423 | 2147483647   345107    123 |  0.010 % |
785.48/785.42	c |    348856 |   72974   340360  1129423 | 2147483647   347833    124 |  0.010 % |
794.98/794.94	c |    351855 |   72974   340360  1129423 | 2147483647   350832    124 |  0.010 % |
804.08/804.04	c |    355155 |   72974   340360  1129423 | 2147483647   354132    123 |  0.010 % |
804.38/804.41	c |    355255 |   72974   340360  1129423 | 2147483647   354232    123 |  0.010 % |
804.98/804.94	c |    355366 |   72974   340360  1129423 | 2147483647   354343    123 |  0.010 % |
805.18/805.12	c |    355489 |   72974   340360  1129423 | 2147483647   354466    123 |  0.010 % |
805.18/805.21	c |    355622 |   72974   340360  1129423 | 2147483647   354599    123 |  0.010 % |
805.48/805.43	c |    355768 |   72974   340360  1129423 | 2147483647   354745    123 |  0.010 % |
806.08/806.09	c |    355930 |   72974   340360  1129423 | 2147483647   354907    123 |  0.010 % |
806.88/806.86	c |    356106 |   72974   340360  1129423 | 2147483647   355083    123 |  0.010 % |
807.38/807.39	c |    356299 |   72974   340360  1129423 | 2147483647   355276    123 |  0.010 % |
807.88/807.88	c |    356513 |   72974   340360  1129423 | 2147483647   355490    123 |  0.010 % |
808.58/808.59	c |    356747 |   72974   340360  1129423 | 2147483647   355724    123 |  0.010 % |
809.68/809.70	c |    357003 |   72974   340360  1129423 | 2147483647   355980    123 |  0.010 % |
810.98/810.91	c |    357287 |   72974   340360  1129423 | 2147483647   356264    123 |  0.010 % |
811.68/811.66	c |    357598 |   72974   340360  1129423 | 2147483647   356575    123 |  0.010 % |
812.98/812.99	c |    357938 |   72974   340360  1129423 | 2147483647   356915    123 |  0.010 % |
815.38/815.37	c |    358310 |   72974   340360  1129423 | 2147483647   357287    124 |  0.010 % |
818.08/818.09	c |    358720 |   72974   340360  1129423 | 2147483647   357697    124 |  0.010 % |
819.48/819.44	c |    359169 |   72974   340360  1129423 | 2147483647   358146    123 |  0.010 % |
820.78/820.77	c |    359662 |   72974   340360  1129423 | 2147483647   358639    124 |  0.010 % |
822.58/822.52	c |    360204 |   72974   340360  1129423 | 2147483647   359181    124 |  0.010 % |
823.98/824.01	c |    360800 |   72974   340360  1129423 | 2147483647   359777    124 |  0.010 % |
825.48/825.50	c |    361458 |   72974   340360  1129423 | 2147483647   360435    124 |  0.010 % |
828.28/828.28	c |    362181 |   72974   340360  1129423 | 2147483647   361158    124 |  0.010 % |
829.68/829.65	c |    362973 |   72974   340360  1129423 | 2147483647   361950    124 |  0.010 % |
831.88/831.90	c |    363845 |   72974   340360  1129423 | 2147483647   362822    124 |  0.010 % |
834.98/834.99	c |    364804 |   72974   340360  1129423 | 2147483647   363781    124 |  0.010 % |
839.38/839.34	c |    365857 |   72974   340360  1129423 | 2147483647   364834    124 |  0.010 % |
840.88/840.88	c |    367015 |   72974   340360  1129423 | 2147483647   365992    124 |  0.010 % |
844.08/844.07	c |    368288 |   72974   340360  1129423 | 2147483647   367265    125 |  0.010 % |
847.48/847.49	c |    369688 |   72974   340360  1129423 | 2147483647   368665    125 |  0.010 % |
852.88/852.84	c |    371230 |   72974   340360  1129423 | 2147483647   370207    125 |  0.010 % |
857.18/857.11	c |    372925 |   72974   340360  1129423 | 2147483647   371902    125 |  0.010 % |
861.28/861.25	c |    374788 |   72974   340360  1129423 | 2147483647   373765    125 |  0.010 % |
867.99/867.95	c |    376838 |   72974   340360  1129423 | 2147483647   375815    125 |  0.010 % |
873.28/873.26	c |    379091 |   72974   340360  1129423 | 2147483647   378068    126 |  0.010 % |
883.58/883.57	c |    381569 |   72974   340360  1129423 | 2147483647   380546    126 |  0.010 % |
888.59/888.57	c |    384295 |   72974   340360  1129423 | 2147483647   383272    126 |  0.010 % |
896.39/896.36	c |    387293 |   72974   340360  1129423 | 2147483647   386270    127 |  0.010 % |
904.79/904.74	c |    390589 |   72974   340360  1129423 | 2147483647   389566    127 |  0.010 % |
926.99/926.92	c |    394215 |   72974   340360  1129423 | 2147483647   393192    127 |  0.010 % |
927.29/927.22	c |    394320 |   72974   340360  1129423 | 2147483647   393297    127 |  0.010 % |
927.59/927.54	c |    394430 |   72974   340360  1129423 | 2147483647   393407    127 |  0.010 % |
927.89/927.87	c |    394551 |   72974   340360  1129423 | 2147483647   393528    127 |  0.010 % |
928.89/928.88	c |    394684 |   72974   340360  1129423 | 2147483647   393661    127 |  0.010 % |
929.49/929.47	c |    394831 |   72974   340360  1129423 | 2147483647   393808    127 |  0.010 % |
930.39/930.32	c |    394991 |   72974   340360  1129423 | 2147483647   393968    127 |  0.010 % |
930.99/930.98	c |    395167 |   72974   340360  1129423 | 2147483647   394144    127 |  0.010 % |
931.69/931.70	c |    395360 |   72974   340360  1129423 | 2147483647   394337    127 |  0.010 % |
932.19/932.14	c |    395575 |   72974   340360  1129423 | 2147483647   394552    127 |  0.010 % |
934.49/934.42	c |    395808 |   72974   340360  1129423 | 2147483647   394785    127 |  0.010 % |
935.19/935.20	c |    396064 |   72974   340360  1129423 | 2147483647   395041    127 |  0.010 % |
936.39/936.35	c |    396345 |   72974   340360  1129423 | 2147483647   395322    127 |  0.010 % |
936.99/936.98	c |    396657 |   72974   340360  1129423 | 2147483647   395634    127 |  0.010 % |
938.39/938.38	c |    396996 |   72974   340360  1129423 | 2147483647   395973    127 |  0.010 % |
939.09/939.05	c |    397368 |   72974   340360  1129423 | 2147483647   396345    127 |  0.010 % |
940.29/940.26	c |    397778 |   72974   340360  1129423 | 2147483647   396755    127 |  0.010 % |
941.99/941.99	c |    398228 |   72974   340360  1129423 | 2147483647   397205    127 |  0.010 % |
943.19/943.13	c |    398723 |   72974   340360  1129423 | 2147483647   397700    127 |  0.010 % |
945.89/945.82	c |    399268 |   72974   340360  1129423 | 2147483647   398245    127 |  0.010 % |
949.29/949.28	c |    399864 |   72974   340360  1129423 | 2147483647   398841    127 |  0.010 % |
951.29/951.27	c |    400520 |   72974   340360  1129423 | 2147483647   399497    127 |  0.010 % |
952.79/952.81	c |    401240 |   72974   340360  1129423 | 2147483647   400217    127 |  0.010 % |
955.59/955.60	c |    402033 |   72974   340360  1129423 | 2147483647   401010    127 |  0.010 % |
959.99/959.96	c |    402906 |   72974   340360  1129423 | 2147483647   401883    127 |  0.010 % |
963.59/963.55	c |    403864 |   72974   340360  1129423 | 2147483647   402841    127 |  0.010 % |
965.49/965.47	c |    404917 |   72974   340360  1129423 | 2147483647   403894    127 |  0.010 % |
966.49/966.42	c |    406076 |   72974   340360  1129423 | 2147483647   405053    127 |  0.010 % |
969.89/969.89	c |    407351 |   72974   340360  1129423 | 2147483647   406328    127 |  0.010 % |
975.99/975.94	c |    408751 |   72974   340360  1129423 | 2147483647   407728    127 |  0.010 % |
979.29/979.24	c |    410291 |   72974   340360  1129423 | 2147483647   409268    127 |  0.010 % |
984.89/984.88	c |    411987 |   72974   340360  1129423 | 2147483647   410964    128 |  0.010 % |
987.79/987.72	c |    413850 |   72974   340360  1129423 | 2147483647   412827    128 |  0.010 % |
993.19/993.13	c |    415899 |   72974   340360  1129423 | 2147483647   414876    128 |  0.010 % |
998.70/998.68	c |    418153 |   72974   340360  1129423 | 2147483647   417130    128 |  0.010 % |
1005.60/1005.55	c |    420632 |   72974   340360  1129423 | 2147483647   419609    128 |  0.010 % |
1011.70/1011.63	c |    423359 |   72974   340360  1129423 | 2147483647   422336    128 |  0.010 % |
1021.50/1021.44	c |    426359 |   72974   340360  1129423 | 2147483647   425336    127 |  0.010 % |
1030.50/1030.49	c |    429659 |   72974   340360  1129423 | 2147483647   428636    127 |  0.010 % |
1041.20/1041.16	c |    433284 |   72974   340360  1129423 | 2147483647   432261    128 |  0.010 % |
1052.50/1052.46	c |    437271 |   72974   340360  1129423 | 2147483647   436248    128 |  0.010 % |
1052.90/1052.87	c |    437371 |   72974   340360  1129423 | 2147483647   436348    128 |  0.010 % |
1053.30/1053.28	c |    437482 |   72974   340360  1129423 | 2147483647   436459    128 |  0.010 % |
1053.90/1053.85	c |    437603 |   72974   340360  1129423 | 2147483647   436580    128 |  0.010 % |
1054.40/1054.33	c |    437737 |   72974   340360  1129423 | 2147483647   436714    128 |  0.010 % |
1054.90/1054.82	c |    437885 |   72974   340360  1129423 | 2147483647   436862    128 |  0.010 % |
1055.40/1055.34	c |    438046 |   72974   340360  1129423 | 2147483647   437023    128 |  0.010 % |
1056.40/1056.34	c |    438223 |   72974   340360  1129423 | 2147483647   437200    128 |  0.010 % |
1056.90/1056.91	c |    438416 |   72974   340360  1129423 | 2147483647   437393    128 |  0.010 % |
1057.90/1057.87	c |    438630 |   72974   340360  1129423 | 2147483647   437607    128 |  0.010 % |
1058.40/1058.36	c |    438864 |   72974   340360  1129423 | 2147483647   437841    128 |  0.010 % |
1059.20/1059.18	c |    439120 |   72974   340360  1129423 | 2147483647   438097    128 |  0.010 % |
1059.60/1059.60	c |    439401 |   72974   340360  1129423 | 2147483647   438378    128 |  0.010 % |
1060.80/1060.79	c |    439710 |   72974   340360  1129423 | 2147483647   438687    128 |  0.010 % |
1061.70/1061.68	c |    440049 |   72974   340360  1129423 | 2147483647   439026    128 |  0.010 % |
1063.30/1063.31	c |    440422 |   72974   340360  1129423 | 2147483647   439399    128 |  0.010 % |
1065.40/1065.33	c |    440832 |   72974   340360  1129423 | 2147483647   439809    128 |  0.010 % |
1066.20/1066.15	c |    441283 |   72974   340360  1129423 | 2147483647   440260    128 |  0.010 % |
1067.80/1067.75	c |    441776 |   72974   340360  1129423 | 2147483647   440753    128 |  0.010 % |
1069.31/1069.26	c |    442319 |   72974   340360  1129423 | 2147483647   441296    128 |  0.010 % |
1070.90/1070.83	c |    442915 |   72974   340360  1129423 | 2147483647   441892    128 |  0.010 % |
1073.20/1073.20	c |    443570 |   72974   340360  1129423 | 2147483647   442547    128 |  0.010 % |
1074.70/1074.65	c |    444290 |   72974   340360  1129423 | 2147483647   443267    128 |  0.010 % |
1077.80/1077.79	c |    445082 |   72974   340360  1129423 | 2147483647   444059    128 |  0.010 % |
1080.90/1080.84	c |    445953 |   72974   340360  1129423 | 2147483647   444930    128 |  0.010 % |
1082.00/1081.98	c |    446912 |   72974   340360  1129423 | 2147483647   445889    128 |  0.010 % |
1084.71/1084.70	c |    447965 |   72974   340360  1129423 | 2147483647   446942    128 |  0.010 % |
1086.50/1086.44	c |    449126 |   72974   340360  1129423 | 2147483647   448103    128 |  0.010 % |
1088.20/1088.11	c |    450399 |   72974   340360  1129423 | 2147483647   449376    128 |  0.010 % |
1092.30/1092.23	c |    451800 |   72974   340360  1129423 | 2147483647   450777    128 |  0.010 % |
1096.10/1096.03	c |    453341 |   72974   340360  1129423 | 2147483647   452318    128 |  0.010 % |
1102.90/1102.85	c |    455036 |   72974   340360  1129423 | 2147483647   454013    128 |  0.010 % |
1108.10/1108.09	c |    456900 |   72974   340360  1129423 | 2147483647   455877    129 |  0.010 % |
1114.51/1114.50	c |    458950 |   72974   340360  1129423 | 2147483647   457927    129 |  0.010 % |
1122.01/1121.95	c |    461203 |   72974   340360  1129423 | 2147483647   460180    129 |  0.010 % |
1129.21/1129.17	c |    463682 |   72974   340360  1129423 | 2147483647   462659    129 |  0.010 % |
1136.01/1135.93	c |    466408 |   72974   340360  1129423 | 2147483647   465385    129 |  0.010 % |
1142.30/1142.25	c |    469408 |   72974   340360  1129423 | 2147483647   468385    129 |  0.010 % |
1153.10/1153.03	c |    472706 |   72974   340360  1129423 | 2147483647   471683    130 |  0.010 % |
1161.10/1161.09	c |    476331 |   72974   340360  1129423 | 2147483647   475308    130 |  0.010 % |
1169.20/1169.20	c |    480319 |   72974   340360  1129423 | 2147483647   479296    130 |  0.010 % |
1180.70/1180.69	c |    484704 |   72974   340360  1129423 | 2147483647   483681    130 |  0.010 % |
1181.00/1180.97	c |    484804 |   72974   340360  1129423 | 2147483647   483781    130 |  0.010 % |
1181.30/1181.26	c |    484914 |   72974   340360  1129423 | 2147483647   483891    130 |  0.010 % |
1181.60/1181.51	c |    485037 |   72974   340360  1129423 | 2147483647   484014    130 |  0.010 % |
1182.30/1182.24	c |    485171 |   72974   340360  1129423 | 2147483647   484148    130 |  0.010 % |
1182.80/1182.71	c |    485317 |   72974   340360  1129423 | 2147483647   484294    130 |  0.010 % |
1183.71/1183.69	c |    485478 |   72974   340360  1129423 | 2147483647   484455    130 |  0.010 % |
1184.20/1184.13	c |    485655 |   72974   340360  1129423 | 2147483647   484632    130 |  0.010 % |
1184.81/1184.77	c |    485848 |   72974   340360  1129423 | 2147483647   484825    130 |  0.010 % |
1185.50/1185.47	c |    486060 |   72974   340360  1129423 | 2147483647   485037    130 |  0.010 % |
1186.80/1186.72	c |    486294 |   72974   340360  1129423 | 2147483647   485271    130 |  0.010 % |
1187.30/1187.29	c |    486551 |   72974   340360  1129423 | 2147483647   485528    130 |  0.010 % |
1189.70/1189.67	c |    486832 |   72974   340360  1129423 | 2147483647   485809    130 |  0.010 % |
1191.10/1191.02	c |    487142 |   72974   340360  1129423 | 2147483647   486119    130 |  0.010 % |
1191.50/1191.50	c |    487481 |   72974   340360  1129423 | 2147483647   486458    130 |  0.010 % |
1193.70/1193.67	c |    487854 |   72974   340360  1129423 | 2147483647   486831    130 |  0.010 % |
1195.81/1195.78	c |    488264 |   72974   340360  1129423 | 2147483647   487241    130 |  0.010 % |

Verifier Data

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

Watcher Data

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 0.90 0.97 0.99 3/96 24826
/proc/meminfo: memFree=1376232/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2416 CPUtime=0
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 338 0 0 0 0 0 0 0 25 0 1 0 1014111843 2473984 272 4294967295 134512640 135169312 3220849392 3220846984 3085775790 0 0 4 65536 3222620697 0 0 17 2 0 0 0
/proc/24823/statm: 604 272 230 161 0 43 0
[pid=24824] ppid=24823 vsize=2416 CPUtime=0
/proc/24824/stat : 24824 (SatELiteGTI) R 24823 24823 10436 0 -1 4194368 102 0 0 0 0 0 0 0 25 0 1 0 1014111843 2473984 115 4294967295 134512640 135169312 3220849392 3220845612 3085584244 0 65538 0 65538 0 0 0 17 2 0 0 0
/proc/24824/statm: 604 115 72 161 0 43 0
[pid=24825] ppid=24824 vsize=0 CPUtime=0
/proc/24825/stat : 24825 (SatELiteGTI) Z 24824 24823 10436 0 -1 4194380 143 0 0 0 0 0 0 0 25 0 1 0 1014111843 0 0 4294967295 0 0 0 0 0 0 0 0 65538 3222378830 0 0 17 2 0 0 0
/proc/24825/statm: 0 0 0 0 0 0 0
[pid=24826] ppid=24824 vsize=2416 CPUtime=0
/proc/24826/stat : 24826 (SatELiteGTI) R 24824 24823 10436 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 1 0 1014111843 2473984 43 4294967295 134512640 135169312 3220849392 3220845612 3085584244 0 65538 0 65538 0 0 0 17 2 0 0 0
/proc/24826/statm: 604 43 0 161 0 43 0

[startup+0.052672 s]
/proc/loadavg: 0.90 0.97 0.99 3/96 24826
/proc/meminfo: memFree=1376232/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2416 CPUtime=0
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1014111843 2473984 277 4294967295 134512640 135169312 3220849392 3220847928 3085582062 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24823/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2416

[startup+0.122633 s]
/proc/loadavg: 0.90 0.97 0.99 3/96 24826
/proc/meminfo: memFree=1376232/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2416 CPUtime=0
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1014111843 2473984 277 4294967295 134512640 135169312 3220849392 3220847928 3085582062 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24823/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2416

[startup+0.322616 s]
/proc/loadavg: 0.90 0.97 0.99 3/96 24826
/proc/meminfo: memFree=1376232/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2416 CPUtime=0
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1014111843 2473984 277 4294967295 134512640 135169312 3220849392 3220847928 3085582062 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24823/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2416

[startup+0.722585 s]
/proc/loadavg: 0.90 0.97 0.99 3/96 24826
/proc/meminfo: memFree=1376232/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2416 CPUtime=0
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1014111843 2473984 277 4294967295 134512640 135169312 3220849392 3220847928 3085582062 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24823/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2416

[startup+1.52252 s]
/proc/loadavg: 0.90 0.97 0.99 3/95 24828
/proc/meminfo: memFree=1293136/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2416 CPUtime=0
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1014111843 2473984 277 4294967295 134512640 135169312 3220849392 3220847928 3085582062 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24823/statm: 604 277 235 161 0 43 0
[pid=24828] ppid=24823 vsize=93004 CPUtime=1.52
/proc/24828/stat : 24828 (SatELite_releas) R 24823 24823 10436 0 -1 4202496 22289 0 0 0 141 11 0 0 25 0 1 0 1014111844 95236096 20565 4294967295 134512640 135223648 3219075376 3219073152 134585540 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24828/statm: 23251 20565 73 174 0 23076 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 95420

[startup+3.12239 s]
/proc/loadavg: 0.91 0.97 0.99 3/95 25012
/proc/meminfo: memFree=1284060/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2416 CPUtime=0
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1014111843 2473984 277 4294967295 134512640 135169312 3220849392 3220847928 3085582062 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24823/statm: 604 277 235 161 0 43 0
[pid=24828] ppid=24823 vsize=96800 CPUtime=3.12
/proc/24828/stat : 24828 (SatELite_releas) R 24823 24823 10436 0 -1 4202496 23172 0 0 0 297 15 0 0 25 0 1 0 1014111844 99123200 21448 4294967295 134512640 135223648 3219075376 3219073392 134587334 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24828/statm: 24200 21448 73 174 0 24025 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 99216

[startup+6.32212 s]
/proc/loadavg: 0.91 0.97 0.99 3/95 25012
/proc/meminfo: memFree=1264500/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2416 CPUtime=0
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1014111843 2473984 277 4294967295 134512640 135169312 3220849392 3220847928 3085582062 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24823/statm: 604 277 235 161 0 43 0
[pid=24828] ppid=24823 vsize=102460 CPUtime=6.32
/proc/24828/stat : 24828 (SatELite_releas) R 24823 24823 10436 0 -1 4202496 24656 0 0 0 610 22 0 0 25 0 1 0 1014111844 104919040 22932 4294967295 134512640 135223648 3219075376 3219073464 134586609 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24828/statm: 25615 22932 73 174 0 25440 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 104876

[startup+12.7216 s]
/proc/loadavg: 0.92 0.97 0.99 3/95 25014
/proc/meminfo: memFree=1320552/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2420 CPUtime=8.49
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 386 27700 0 0 0 0 825 24 20 0 1 0 1014111843 2478080 278 4294967295 134512640 135169312 3220849392 3220845608 3085582062 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24823/statm: 605 278 235 161 0 44 0
[pid=25014] ppid=24823 vsize=25304 CPUtime=4.23
/proc/25014/stat : 25014 (minisat_static) R 24823 24823 10436 0 -1 4202496 5819 0 0 0 418 5 0 0 25 0 1 0 1014112693 25911296 5749 4294967295 134512640 135215339 3216940928 3216939216 134528666 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25014/statm: 6326 5749 73 172 0 6153 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 27724

[startup+25.5205 s]
/proc/loadavg: 0.93 0.97 0.99 3/95 25017
/proc/meminfo: memFree=1318276/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2420 CPUtime=8.49
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 386 27700 0 0 0 0 825 24 20 0 1 0 1014111843 2478080 278 4294967295 134512640 135169312 3220849392 3220845608 3085582062 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24823/statm: 605 278 235 161 0 44 0
[pid=25014] ppid=24823 vsize=27420 CPUtime=17.03
/proc/25014/stat : 25014 (minisat_static) R 24823 24823 10436 0 -1 4202496 6358 0 0 0 1698 5 0 0 25 0 1 0 1014112693 28078080 6288 4294967295 134512640 135215339 3216940928 3216939216 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25014/statm: 6855 6288 73 172 0 6682 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 29840

[startup+51.1184 s]
/proc/loadavg: 0.95 0.97 0.99 3/95 25019
/proc/meminfo: memFree=1313612/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2420 CPUtime=8.49
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 386 27700 0 0 0 0 825 24 20 0 1 0 1014111843 2478080 278 4294967295 134512640 135169312 3220849392 3220845608 3085582062 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24823/statm: 605 278 235 161 0 44 0
[pid=25014] ppid=24823 vsize=32416 CPUtime=42.63
/proc/25014/stat : 25014 (minisat_static) R 24823 24823 10436 0 -1 4202496 7580 0 0 0 4257 6 0 0 25 0 1 0 1014112693 33193984 7510 4294967295 134512640 135215339 3216940928 3216939216 134528700 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25014/statm: 8104 7510 73 172 0 7931 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 34836

[startup+102.314 s]
/proc/loadavg: 0.98 0.97 0.99 2/95 25206
/proc/meminfo: memFree=1298972/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2420 CPUtime=8.49
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 386 27700 0 0 0 0 825 24 20 0 1 0 1014111843 2478080 278 4294967295 134512640 135169312 3220849392 3220845608 3085582062 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24823/statm: 605 278 235 161 0 44 0
[pid=25014] ppid=24823 vsize=46812 CPUtime=93.83
/proc/25014/stat : 25014 (minisat_static) R 24823 24823 10436 0 -1 4202496 11191 0 0 0 9375 8 0 0 25 0 1 0 1014112693 47935488 11121 4294967295 134512640 135215339 3216940928 3216939216 134528624 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25014/statm: 11703 11121 73 172 0 11530 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 49232

[startup+162.309 s]
/proc/loadavg: 0.99 0.97 0.99 2/95 25394
/proc/meminfo: memFree=1280520/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2420 CPUtime=8.49
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 386 27700 0 0 0 0 825 24 20 0 1 0 1014111843 2478080 278 4294967295 134512640 135169312 3220849392 3220845608 3085582062 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24823/statm: 605 278 235 161 0 44 0
[pid=25014] ppid=24823 vsize=65356 CPUtime=153.83
/proc/25014/stat : 25014 (minisat_static) R 24823 24823 10436 0 -1 4202496 15812 0 0 0 15368 15 0 0 25 0 1 0 1014112693 66924544 15742 4294967295 134512640 135215339 3216940928 3216939216 134528795 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25014/statm: 16339 15742 73 172 0 16166 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 67776

[startup+222.314 s]
/proc/loadavg: 0.99 0.97 0.99 3/95 25581
/proc/meminfo: memFree=1264532/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2420 CPUtime=8.49
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 386 27700 0 0 0 0 825 24 20 0 1 0 1014111843 2478080 278 4294967295 134512640 135169312 3220849392 3220845608 3085582062 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24823/statm: 605 278 235 161 0 44 0
[pid=25014] ppid=24823 vsize=81528 CPUtime=213.84
/proc/25014/stat : 25014 (minisat_static) R 24823 24823 10436 0 -1 4202496 19793 0 0 0 21359 25 0 0 25 0 1 0 1014112693 83484672 19723 4294967295 134512640 135215339 3216940928 3216939216 134528666 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25014/statm: 20382 19723 73 172 0 20209 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 83948

[startup+282.319 s]
/proc/loadavg: 0.99 0.97 0.99 2/95 25769
/proc/meminfo: memFree=1249760/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2420 CPUtime=8.49
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 386 27700 0 0 0 0 825 24 20 0 1 0 1014111843 2478080 278 4294967295 134512640 135169312 3220849392 3220845608 3085582062 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24823/statm: 605 278 235 161 0 44 0
[pid=25014] ppid=24823 vsize=96752 CPUtime=273.85
/proc/25014/stat : 25014 (minisat_static) R 24823 24823 10436 0 -1 4202496 23511 0 0 0 27357 28 0 0 25 0 1 0 1014112693 99074048 23441 4294967295 134512640 135215339 3216940928 3216939216 134528849 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25014/statm: 24188 23441 73 172 0 24015 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 99172

[startup+342.324 s]
/proc/loadavg: 0.99 0.97 0.99 3/95 25962
/proc/meminfo: memFree=1233144/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2420 CPUtime=8.49
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 386 27700 0 0 0 0 825 24 20 0 1 0 1014111843 2478080 278 4294967295 134512640 135169312 3220849392 3220845608 3085582062 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24823/statm: 605 278 235 161 0 44 0
[pid=25014] ppid=24823 vsize=113204 CPUtime=333.86
/proc/25014/stat : 25014 (minisat_static) R 24823 24823 10436 0 -1 4202496 27628 0 0 0 33351 35 0 0 25 0 1 0 1014112693 115920896 27558 4294967295 134512640 135215339 3216940928 3216939216 134528884 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25014/statm: 28301 27558 73 172 0 28128 0
Current children cumulated CPU time (s) 342.35
Current children cumulated vsize (KiB) 115624

[startup+402.319 s]
/proc/loadavg: 0.99 0.97 0.99 3/95 26149
/proc/meminfo: memFree=1219520/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2420 CPUtime=8.49

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

/proc/25014/statm: 43004 42060 73 172 0 42831 0
Current children cumulated CPU time (s) 582.36
Current children cumulated vsize (KiB) 174436

[startup+642.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/95 26905
/proc/meminfo: memFree=1160976/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2420 CPUtime=8.49
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 386 27700 0 0 0 0 825 24 20 0 1 0 1014111843 2478080 278 4294967295 134512640 135169312 3220849392 3220845608 3085582062 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24823/statm: 605 278 235 161 0 44 0
[pid=25014] ppid=24823 vsize=186464 CPUtime=633.87
/proc/25014/stat : 25014 (minisat_static) R 24823 24823 10436 0 -1 4202496 45710 0 0 0 63339 48 0 0 25 0 1 0 1014112693 190939136 45640 4294967295 134512640 135215339 3216940928 3216939216 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25014/statm: 46616 45640 73 172 0 46443 0
Current children cumulated CPU time (s) 642.36
Current children cumulated vsize (KiB) 188884

[startup+702.315 s]
/proc/loadavg: 0.99 0.97 0.99 2/95 27092
/proc/meminfo: memFree=1146856/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2420 CPUtime=8.49
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 386 27700 0 0 0 0 825 24 20 0 1 0 1014111843 2478080 278 4294967295 134512640 135169312 3220849392 3220845608 3085582062 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24823/statm: 605 278 235 161 0 44 0
[pid=25014] ppid=24823 vsize=201484 CPUtime=693.88
/proc/25014/stat : 25014 (minisat_static) R 24823 24823 10436 0 -1 4202496 49314 0 0 0 69337 51 0 0 25 0 1 0 1014112693 206319616 49244 4294967295 134512640 135215339 3216940928 3216939216 134529083 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25014/statm: 50371 49244 73 172 0 50198 0
Current children cumulated CPU time (s) 702.37
Current children cumulated vsize (KiB) 203904

[startup+762.33 s]
/proc/loadavg: 0.99 0.97 0.99 2/95 27280
/proc/meminfo: memFree=1133340/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2420 CPUtime=8.49
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 386 27700 0 0 0 0 825 24 20 0 1 0 1014111843 2478080 278 4294967295 134512640 135169312 3220849392 3220845608 3085582062 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24823/statm: 605 278 235 161 0 44 0
[pid=25014] ppid=24823 vsize=214892 CPUtime=753.9
/proc/25014/stat : 25014 (minisat_static) R 24823 24823 10436 0 -1 4202496 52631 0 0 0 75335 55 0 0 25 0 1 0 1014112693 220049408 52561 4294967295 134512640 135215339 3216940928 3216939216 134528571 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25014/statm: 53723 52561 73 172 0 53550 0
Current children cumulated CPU time (s) 762.39
Current children cumulated vsize (KiB) 217312

[startup+822.315 s]
/proc/loadavg: 0.99 0.97 0.99 3/95 27467
/proc/meminfo: memFree=1120940/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2420 CPUtime=8.49
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 386 27700 0 0 0 0 825 24 20 0 1 0 1014111843 2478080 278 4294967295 134512640 135169312 3220849392 3220845608 3085582062 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24823/statm: 605 278 235 161 0 44 0
[pid=25014] ppid=24823 vsize=227464 CPUtime=813.89
/proc/25014/stat : 25014 (minisat_static) R 24823 24823 10436 0 -1 4202496 55763 0 0 0 81330 59 0 0 25 0 1 0 1014112693 232923136 55693 4294967295 134512640 135215339 3216940928 3216939216 134528630 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25014/statm: 56866 55693 73 172 0 56693 0
Current children cumulated CPU time (s) 822.38
Current children cumulated vsize (KiB) 229884

[startup+882.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/95 27655
/proc/meminfo: memFree=1105440/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2420 CPUtime=8.49
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 386 27700 0 0 0 0 825 24 20 0 1 0 1014111843 2478080 278 4294967295 134512640 135169312 3220849392 3220845608 3085582062 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24823/statm: 605 278 235 161 0 44 0
[pid=25014] ppid=24823 vsize=243112 CPUtime=873.89
/proc/25014/stat : 25014 (minisat_static) R 24823 24823 10436 0 -1 4202496 59655 0 0 0 87326 63 0 0 25 0 1 0 1014112693 248946688 59585 4294967295 134512640 135215339 3216940928 3216939216 134528788 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25014/statm: 60778 59585 73 172 0 60605 0
Current children cumulated CPU time (s) 882.38
Current children cumulated vsize (KiB) 245532

[startup+942.315 s]
/proc/loadavg: 0.99 0.97 0.99 2/95 27842
/proc/meminfo: memFree=1094032/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2420 CPUtime=8.49
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 386 27700 0 0 0 0 825 24 20 0 1 0 1014111843 2478080 278 4294967295 134512640 135169312 3220849392 3220845608 3085582062 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24823/statm: 605 278 235 161 0 44 0
[pid=25014] ppid=24823 vsize=254940 CPUtime=933.9
/proc/25014/stat : 25014 (minisat_static) R 24823 24823 10436 0 -1 4202496 62533 0 0 0 93326 64 0 0 25 0 1 0 1014112693 261058560 62463 4294967295 134512640 135215339 3216940928 3216939216 134528721 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25014/statm: 63735 62463 73 172 0 63562 0
Current children cumulated CPU time (s) 942.39
Current children cumulated vsize (KiB) 257360

[startup+1002.32 s]
/proc/loadavg: 0.99 0.97 0.99 3/95 28035
/proc/meminfo: memFree=1082004/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2420 CPUtime=8.49
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 386 27700 0 0 0 0 825 24 20 0 1 0 1014111843 2478080 278 4294967295 134512640 135169312 3220849392 3220845608 3085582062 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24823/statm: 605 278 235 161 0 44 0
[pid=25014] ppid=24823 vsize=266988 CPUtime=993.91
/proc/25014/stat : 25014 (minisat_static) R 24823 24823 10436 0 -1 4202496 65574 0 0 0 99325 66 0 0 25 0 1 0 1014112693 273395712 65504 4294967295 134512640 135215339 3216940928 3216939216 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25014/statm: 66747 65504 73 172 0 66574 0
Current children cumulated CPU time (s) 1002.4
Current children cumulated vsize (KiB) 269408

[startup+1062.32 s]
/proc/loadavg: 0.99 0.97 0.99 2/95 28223
/proc/meminfo: memFree=1071084/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2420 CPUtime=8.49
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 386 27700 0 0 0 0 825 24 20 0 1 0 1014111843 2478080 278 4294967295 134512640 135169312 3220849392 3220845608 3085582062 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24823/statm: 605 278 235 161 0 44 0
[pid=25014] ppid=24823 vsize=278844 CPUtime=1053.91
/proc/25014/stat : 25014 (minisat_static) R 24823 24823 10436 0 -1 4202496 68551 0 0 0 105322 69 0 0 25 0 1 0 1014112693 285536256 68481 4294967295 134512640 135215339 3216940928 3216939216 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/25014/statm: 69711 68481 73 172 0 69538 0
Current children cumulated CPU time (s) 1062.4
Current children cumulated vsize (KiB) 281264

[startup+1122.32 s]
/proc/loadavg: 0.99 0.97 0.99 3/95 28410
/proc/meminfo: memFree=1057700/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2420 CPUtime=8.49
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 386 27700 0 0 0 0 825 24 20 0 1 0 1014111843 2478080 278 4294967295 134512640 135169312 3220849392 3220845608 3085582062 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24823/statm: 605 278 235 161 0 44 0
[pid=25014] ppid=24823 vsize=291892 CPUtime=1113.92
/proc/25014/stat : 25014 (minisat_static) R 24823 24823 10436 0 -1 4202496 71826 0 0 0 111319 73 0 0 25 0 1 0 1014112693 298897408 71756 4294967295 134512640 135215339 3216940928 3216939216 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/25014/statm: 72973 71756 73 172 0 72800 0
Current children cumulated CPU time (s) 1122.41
Current children cumulated vsize (KiB) 294312

[startup+1182.31 s]
/proc/loadavg: 0.99 0.97 0.99 3/95 28598
/proc/meminfo: memFree=1042572/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2420 CPUtime=8.49
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 386 27700 0 0 0 0 825 24 20 0 1 0 1014111843 2478080 278 4294967295 134512640 135169312 3220849392 3220845608 3085582062 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24823/statm: 605 278 235 161 0 44 0
[pid=25014] ppid=24823 vsize=307956 CPUtime=1173.91
/proc/25014/stat : 25014 (minisat_static) R 24823 24823 10436 0 -1 4202496 75601 0 0 0 117316 75 0 0 25 0 1 0 1014112693 315346944 75531 4294967295 134512640 135215339 3216940928 3216939216 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/25014/statm: 76989 75531 73 172 0 76816 0
Current children cumulated CPU time (s) 1182.4
Current children cumulated vsize (KiB) 310376



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1199.9 s]
/proc/loadavg: 0.99 0.97 0.99 3/95 28599
/proc/meminfo: memFree=1039596/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2420 CPUtime=8.49
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 386 27700 0 0 0 0 825 24 20 0 1 0 1014111843 2478080 278 4294967295 134512640 135169312 3220849392 3220845608 3085582062 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24823/statm: 605 278 235 161 0 44 0
[pid=25014] ppid=24823 vsize=310772 CPUtime=1191.51
/proc/25014/stat : 25014 (minisat_static) R 24823 24823 10436 0 -1 4202496 76286 0 0 0 119076 75 0 0 25 0 1 0 1014112693 318230528 76216 4294967295 134512640 135215339 3216940928 3216939216 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/25014/statm: 77693 76216 73 172 0 77520 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 313192

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

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

[startup+1199.9 s]
/proc/loadavg: 0.99 0.97 0.99 3/95 28599
/proc/meminfo: memFree=1039596/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2420 CPUtime=8.49
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 386 27700 0 0 0 0 825 24 20 0 1 0 1014111843 2478080 278 4294967295 134512640 135169312 3220849392 3220845608 3085582062 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24823/statm: 605 278 235 161 0 44 0
[pid=25014] ppid=24823 vsize=310772 CPUtime=1191.51
/proc/25014/stat : 25014 (minisat_static) R 24823 24823 10436 0 -1 4202496 76286 0 0 0 119076 75 0 0 25 0 1 0 1014112693 318230528 76216 4294967295 134512640 135215339 3216940928 3216939216 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/25014/statm: 77693 76216 73 172 0 77520 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 313192

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1199.92
CPU time (s): 1200
CPU user time (s): 1199.01
CPU system time (s): 0.99
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 313192

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

runsolver used 0.01 second user time and 0.04 second system time

The end

Launcher Data

Begin job on tipi16 at 2009-05-16 19:48:32
IDJOB=1821010
IDBENCH=70808
IDSOLVER=657
FILE ID=tipi16/1821010-1242496112
PBS_JOBID=
Free space on /tmp= 4996 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxor/maxor128.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1821010-1242496112/watcher-1821010-1242496112 -o /tmp/evaluation-result-1821010-1242496112/solver-1821010-1242496112 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1821010-1242496112.cnf

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

MD5SUM BENCH= e050fe11c7c50ba82ac7126f49db3c10
RANDOM SEED= 365338789

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

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

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

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

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


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:       1376660 kB
Buffers:         36192 kB
Cached:         581148 kB
SwapCached:       5940 kB
Active:          80080 kB
Inactive:       547220 kB
HighTotal:     1178688 kB
HighFree:       634304 kB
LowTotal:       895776 kB
LowFree:        742356 kB
SwapTotal:     1959888 kB
SwapFree:      1948616 kB
Dirty:           12508 kB
Writeback:           0 kB
AnonPages:        9444 kB
Mapped:           3272 kB
Slab:            61584 kB
PageTables:        592 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    90752 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 4964 MiB
End job on tipi16 at 2009-05-16 20:08:35