Trace number 1821928

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.94

General information on the benchmark

Namevelev-vliw-uns-4.0-9C1.cnf
MD5SUM0c9a15d0f561e9d1bb438b04ae3c31af
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 variables96177
Number of clauses1814189
Sum of the clauses size5280501
Maximum clause length2216
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 21178665
Number of clauses of size 3560157
Number of clauses of size 45491
Number of clauses of size 54739
Number of clauses of size over 565136

Solver Data

0.00/0.00	c Parsing...
1.42/1.41	c ==============================================================================
1.42/1.41	c |           |     ORIGINAL     |              LEARNT              |          |
1.42/1.41	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
1.42/1.41	c ==============================================================================
1.42/1.41	c |         0 | 1814188  5280500 |  544256       0        0     nan |  0.000 % |
15.43/15.51	c |         0 | 1789068  5451065 |      --       0       --      -- |     --   | -25093/170622
15.43/15.51	c ==============================================================================
15.43/15.51	c Result  :   #vars: 84942   #clauses: 1789068   #literals: 5451065
15.43/15.51	c CPU time:   15.29 s
15.43/15.51	c ==============================================================================
17.33/17.32	c This is MiniSat 2.0 beta
17.33/17.32	c WARNING: for repeatability, setting FPU to use double precision
17.33/17.32	c ============================[ Problem Statistics ]=============================
17.33/17.32	c |                                                                             |
17.33/17.32	c |  Number of variables:  84942                                                |
17.33/17.32	c |  Number of clauses:    1789068                                              |
18.42/18.45	c |  Parsing time:         0.99         s                                       |
18.52/18.53	c ============================[ Search Statistics ]==============================
18.52/18.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
18.52/18.53	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
18.52/18.53	c ===============================================================================
18.52/18.53	c |         0 |   84942  1789068  5451065 |   596356        0    nan |  0.000 % |
19.02/19.08	c |       100 |   84942  1789068  5451065 |   596356      100     16 |  0.000 % |
19.22/19.25	c |       201 |   84942  1789068  5451065 |   596356      201     31 |  0.000 % |
19.52/19.60	c |       303 |   84942  1789068  5451065 |   596356      303     36 |  0.000 % |
20.22/20.25	c |       414 |   84942  1789068  5451065 |   596356      414     34 |  0.000 % |
21.12/21.14	c |       515 |   84942  1789068  5451065 |   596356      515     31 |  0.000 % |
21.42/21.43	c |       626 |   84942  1789068  5451065 |   596356      626     34 |  0.000 % |
21.52/21.60	c |       749 |   84942  1789068  5451065 |   596356      749     34 |  0.000 % |
21.72/21.78	c |       850 |   84942  1789068  5451065 |   596356      850     36 |  0.000 % |
21.92/21.94	c |       961 |   84942  1789068  5451065 |   596356      961     36 |  0.000 % |
22.02/22.11	c |      1083 |   84942  1789068  5451065 |   596356     1083     38 |  0.000 % |
22.22/22.27	c |      1216 |   84942  1789068  5451065 |   596356     1216     37 |  0.000 % |
22.52/22.54	c |      1317 |   84942  1789068  5451065 |   596356     1317     37 |  0.000 % |
22.62/22.70	c |      1428 |   84942  1789068  5451065 |   596356     1428     38 |  0.000 % |
22.92/22.93	c |      1550 |   84942  1789068  5451065 |   596356     1550     37 |  0.000 % |
23.42/23.42	c |      1683 |   84942  1789068  5451065 |   596356     1683     39 |  0.000 % |
23.52/23.58	c |      1829 |   84942  1789068  5451065 |   596356     1829     40 |  0.000 % |
23.72/23.74	c |      1929 |   84942  1789068  5451065 |   596356     1929     39 |  0.000 % |
24.02/24.02	c |      2042 |   84942  1789068  5451065 |   596356     2042     38 |  0.000 % |
24.42/24.42	c |      2164 |   84942  1789068  5451065 |   596356     2164     37 |  0.000 % |
24.62/24.67	c |      2297 |   84942  1789068  5451065 |   596356     2297     37 |  0.000 % |
24.92/24.97	c |      2444 |   84942  1789068  5451065 |   596356     2444     37 |  0.000 % |
25.22/25.25	c |      2605 |   84942  1789068  5451065 |   596356     2605     37 |  0.000 % |
25.42/25.48	c |      2706 |   84942  1789068  5451065 |   596356     2706     36 |  0.000 % |
25.52/25.60	c |      2816 |   84942  1789068  5451065 |   596356     2816     36 |  0.000 % |
25.72/25.80	c |      2937 |   84942  1789068  5451065 |   596356     2937     36 |  0.000 % |
25.92/25.96	c |      3071 |   84942  1789068  5451065 |   596356     3071     37 |  0.000 % |
26.12/26.18	c |      3217 |   84942  1789068  5451065 |   596356     3217     36 |  0.000 % |
26.32/26.37	c |      3377 |   84942  1789068  5451065 |   596356     3377     36 |  0.000 % |
26.62/26.67	c |      3556 |   84942  1789068  5451065 |   596356     3556     37 |  0.000 % |
26.82/26.82	c |      3656 |   84942  1789068  5451065 |   596356     3656     36 |  0.000 % |
26.92/26.98	c |      3767 |   84942  1789068  5451065 |   596356     3767     36 |  0.000 % |
27.12/27.18	c |      3888 |   84942  1789068  5451065 |   596356     3888     36 |  0.000 % |
27.22/27.24	c |      4022 |   84942  1789068  5451065 |   596356     4022     36 |  0.000 % |
27.52/27.54	c |      4169 |   84942  1789068  5451065 |   596356     4169     35 |  0.000 % |
27.82/27.82	c |      4332 |   84942  1789068  5451065 |   596356     4332     35 |  0.000 % |
28.12/28.16	c |      4512 |   84942  1789068  5451065 |   596356     4512     39 |  0.000 % |
28.32/28.38	c |      4705 |   84942  1789068  5451065 |   596356     4705     38 |  0.000 % |
28.42/28.48	c |      4805 |   84942  1789068  5451065 |   596356     4805     38 |  0.000 % |
28.62/28.67	c |      4915 |   84942  1789068  5451065 |   596356     4915     38 |  0.000 % |
28.62/28.71	c |      5039 |   84942  1789068  5451065 |   596356     5039     38 |  0.000 % |
28.92/28.93	c |      5172 |   84942  1789068  5451065 |   596356     5172     38 |  0.000 % |
28.92/29.00	c |      5318 |   84942  1789068  5451065 |   596356     5318     38 |  0.000 % |
29.12/29.13	c |      5479 |   84942  1789068  5451065 |   596356     5479     37 |  0.000 % |
29.72/29.73	c |      5656 |   84942  1789068  5451065 |   596356     5656     37 |  0.000 % |
30.12/30.14	c |      5850 |   84942  1789068  5451065 |   596356     5850     37 |  0.000 % |
30.72/30.78	c |      6066 |   84942  1789068  5451065 |   596356     6066     37 |  0.000 % |
31.22/31.23	c |      6166 |   84942  1789068  5451065 |   596356     6166     37 |  0.000 % |
31.72/31.74	c |      6276 |   84942  1789068  5451065 |   596356     6276     37 |  0.000 % |
32.12/32.16	c |      6398 |   84942  1789068  5451065 |   596356     6398     40 |  0.000 % |
32.22/32.26	c |      6531 |   84942  1789068  5451065 |   596356     6531     40 |  0.000 % |
32.52/32.52	c |      6678 |   84942  1789068  5451065 |   596356     6678     40 |  0.000 % |
32.92/32.92	c |      6840 |   84942  1789068  5451065 |   596356     6840     40 |  0.000 % |
33.02/33.03	c |      7016 |   84942  1789068  5451065 |   596356     7016     40 |  0.000 % |
33.52/33.56	c |      7209 |   84942  1789068  5451065 |   596356     7209     40 |  0.000 % |
33.82/33.89	c |      7423 |   84942  1789068  5451065 |   596356     7423     40 |  0.000 % |
34.12/34.20	c |      7656 |   84942  1789068  5451065 |   596356     7656     39 |  0.000 % |
34.22/34.29	c |      7757 |   84942  1789068  5451065 |   596356     7757     40 |  0.000 % |
34.32/34.35	c |      7869 |   84942  1789068  5451065 |   596356     7869     39 |  0.000 % |
34.42/34.46	c |      7990 |   84942  1789068  5451065 |   596356     7990     39 |  0.000 % |
34.52/34.57	c |      8123 |   84942  1789068  5451065 |   596356     8123     39 |  0.000 % |
34.72/34.73	c |      8269 |   84942  1789068  5451065 |   596356     8269     39 |  0.000 % |
34.92/35.00	c |      8430 |   84942  1789068  5451065 |   596356     8430     39 |  0.000 % |
35.12/35.14	c |      8609 |   84942  1789068  5451065 |   596356     8609     39 |  0.000 % |
35.22/35.29	c |      8802 |   84942  1789068  5451065 |   596356     8802     39 |  0.000 % |
35.52/35.57	c |      9016 |   84942  1789068  5451065 |   596356     9016     40 |  0.000 % |
35.82/35.88	c |      9249 |   84942  1789068  5451065 |   596356     9249     40 |  0.000 % |
36.02/36.11	c |      9506 |   84942  1789068  5451065 |   596356     9506     40 |  0.000 % |
36.22/36.27	c |      9606 |   84942  1789068  5451065 |   596356     9606     40 |  0.000 % |
36.62/36.62	c |      9716 |   84942  1789068  5451065 |   596356     9716     40 |  0.000 % |
36.72/36.77	c |      9839 |   84942  1789068  5451065 |   596356     9839     41 |  0.000 % |
37.12/37.13	c |      9972 |   84942  1789068  5451065 |   596356     9972     41 |  0.000 % |
37.52/37.61	c |     10119 |   84942  1789068  5451065 | 2147483647    10119     41 |  0.000 % |
37.82/37.89	c |     10283 |   84942  1789068  5451065 | 2147483647    10283     41 |  0.000 % |
38.02/38.08	c |     10459 |   84942  1789068  5451065 | 2147483647    10459     41 |  0.000 % |
38.12/38.21	c |     10653 |   84942  1789068  5451065 | 2147483647    10653     40 |  0.000 % |
38.52/38.58	c |     10867 |   84942  1789068  5451065 | 2147483647    10867     40 |  0.000 % |
38.92/38.93	c |     11101 |   84942  1789068  5451065 | 2147483647    11101     40 |  0.000 % |
39.32/39.34	c |     11358 |   84942  1789068  5451065 | 2147483647    11358     41 |  0.000 % |
39.42/39.51	c |     11640 |   84942  1789068  5451065 | 2147483647    11640     42 |  0.000 % |
39.51/39.60	c |     11742 |   84942  1789068  5451065 | 2147483647    11742     42 |  0.000 % |
39.71/39.73	c |     11852 |   84942  1789068  5451065 | 2147483647    11852     42 |  0.000 % |
39.81/39.91	c |     11974 |   84942  1789068  5451065 | 2147483647    11974     42 |  0.000 % |
40.01/40.03	c |     12108 |   84942  1789068  5451065 | 2147483647    12108     42 |  0.000 % |
40.21/40.26	c |     12256 |   84942  1789068  5451065 | 2147483647    12256     42 |  0.000 % |
40.51/40.56	c |     12417 |   84942  1789068  5451065 | 2147483647    12417     42 |  0.000 % |
40.71/40.74	c |     12596 |   84942  1789068  5451065 | 2147483647    12596     42 |  0.000 % |
41.21/41.22	c |     12790 |   84942  1789068  5451065 | 2147483647    12790     42 |  0.000 % |
41.91/41.94	c |     13003 |   84942  1789068  5451065 | 2147483647    13003     42 |  0.000 % |
42.41/42.51	c |     13236 |   84942  1789068  5451065 | 2147483647    13236     42 |  0.000 % |
42.81/42.86	c |     13494 |   84942  1789068  5451065 | 2147483647    13494     42 |  0.000 % |
43.51/43.52	c |     13775 |   84942  1789068  5451065 | 2147483647    13775     42 |  0.000 % |
43.81/43.87	c |     14084 |   84942  1789068  5451065 | 2147483647    14084     41 |  0.000 % |
44.21/44.25	c |     14185 |   84942  1789068  5451065 | 2147483647    14185     41 |  0.000 % |
44.31/44.36	c |     14295 |   84942  1789068  5451065 | 2147483647    14295     41 |  0.000 % |
44.51/44.60	c |     14417 |   84942  1789068  5451065 | 2147483647    14417     41 |  0.000 % |
45.01/45.03	c |     14550 |   84942  1789068  5451065 | 2147483647    14550     41 |  0.000 % |
45.21/45.30	c |     14701 |   84942  1789068  5451065 | 2147483647    14701     41 |  0.000 % |
45.61/45.64	c |     14861 |   84942  1789068  5451065 | 2147483647    14861     41 |  0.000 % |
45.81/45.84	c |     15037 |   84942  1789068  5451065 | 2147483647    15037     41 |  0.000 % |
46.01/46.09	c |     15230 |   84942  1789068  5451065 | 2147483647    15230     41 |  0.000 % |
46.31/46.40	c |     15442 |   84942  1789068  5451065 | 2147483647    15442     41 |  0.000 % |
46.51/46.55	c |     15675 |   84942  1789068  5451065 | 2147483647    15675     41 |  0.000 % |
47.11/47.15	c |     15933 |   84942  1789068  5451065 | 2147483647    15933     41 |  0.000 % |
47.21/47.31	c |     16216 |   84942  1789068  5451065 | 2147483647    16216     41 |  0.000 % |
47.51/47.52	c |     16525 |   84942  1789068  5451065 | 2147483647    16525     41 |  0.000 % |
48.21/48.27	c |     16864 |   84942  1789068  5451065 | 2147483647    16864     41 |  0.000 % |
48.41/48.43	c |     16964 |   84942  1789068  5451065 | 2147483647    16964     41 |  0.000 % |
48.51/48.54	c |     17074 |   84942  1789068  5451065 | 2147483647    17074     41 |  0.000 % |
48.61/48.61	c |     17196 |   84942  1789068  5451065 | 2147483647    17196     41 |  0.000 % |
48.81/48.88	c |     17329 |   84942  1789068  5451065 | 2147483647    17329     41 |  0.000 % |
49.41/49.42	c |     17475 |   84942  1789068  5451065 | 2147483647    17475     41 |  0.000 % |
49.81/49.88	c |     17636 |   84942  1789068  5451065 | 2147483647    17636     41 |  0.000 % |
50.01/50.08	c |     17812 |   84942  1789068  5451065 | 2147483647    17812     41 |  0.000 % |
50.31/50.37	c |     18005 |   84942  1789068  5451065 | 2147483647    18005     41 |  0.000 % |
50.51/50.59	c |     18222 |   84942  1789068  5451065 | 2147483647    18222     41 |  0.000 % |
50.61/50.70	c |     18455 |   84942  1789068  5451065 | 2147483647    18455     41 |  0.000 % |
50.81/50.87	c |     18711 |   84942  1789068  5451065 | 2147483647    18711     41 |  0.000 % |
51.01/51.10	c |     18993 |   84942  1789068  5451065 | 2147483647    18993     41 |  0.000 % |
51.61/51.69	c |     19304 |   84942  1789068  5451065 | 2147483647    19304     42 |  0.000 % |
52.01/52.08	c |     19644 |   84942  1789068  5451065 | 2147483647    19644     42 |  0.000 % |
52.41/52.49	c |     20018 |   84942  1789068  5451065 | 2147483647    20018     42 |  0.000 % |
52.51/52.57	c |     20119 |   84942  1789068  5451065 | 2147483647    20119     42 |  0.000 % |
52.71/52.80	c |     20229 |   84942  1789068  5451065 | 2147483647    20229     42 |  0.000 % |
53.11/53.11	c |     20351 |   84942  1789068  5451065 | 2147483647    20351     42 |  0.000 % |
53.31/53.40	c |     20485 |   84942  1789068  5451065 | 2147483647    20485     42 |  0.000 % |
53.61/53.62	c |     20633 |   84942  1789068  5451065 | 2147483647    20633     42 |  0.000 % |
53.71/53.73	c |     20793 |   84942  1789068  5451065 | 2147483647    20793     42 |  0.000 % |
53.81/53.83	c |     20972 |   84942  1789068  5451065 | 2147483647    20972     42 |  0.000 % |
54.21/54.23	c |     21165 |   84942  1789068  5451065 | 2147483647    21165     42 |  0.000 % |
54.31/54.32	c |     21378 |   84942  1789068  5451065 | 2147483647    21378     42 |  0.000 % |
54.61/54.70	c |     21612 |   84942  1789068  5451065 | 2147483647    21612     41 |  0.000 % |
55.11/55.14	c |     21872 |   84942  1789068  5451065 | 2147483647    21872     42 |  0.000 % |
55.31/55.37	c |     22153 |   84942  1789068  5451065 | 2147483647    22153     42 |  0.000 % |
56.01/56.08	c |     22462 |   84942  1789068  5451065 | 2147483647    22462     42 |  0.000 % |
56.31/56.34	c |     22805 |   84942  1789068  5451065 | 2147483647    22805     42 |  0.000 % |
56.71/56.77	c |     23177 |   84942  1789068  5451065 | 2147483647    23177     42 |  0.000 % |
57.71/57.72	c |     23586 |   84942  1789068  5451065 | 2147483647    23586     42 |  0.000 % |
58.01/58.03	c |     23686 |   84942  1789068  5451065 | 2147483647    23686     42 |  0.000 % |
58.41/58.51	c |     23796 |   84942  1789068  5451065 | 2147483647    23796     43 |  0.000 % |
58.51/58.58	c |     23918 |   84942  1789068  5451065 | 2147483647    23918     43 |  0.000 % |
58.71/58.73	c |     24052 |   84942  1789068  5451065 | 2147483647    24052     44 |  0.000 % |
58.91/59.00	c |     24199 |   84942  1789068  5451065 | 2147483647    24199     44 |  0.000 % |
59.21/59.29	c |     24363 |   84942  1789068  5451065 | 2147483647    24363     44 |  0.000 % |
59.51/59.51	c |     24540 |   84942  1789068  5451065 | 2147483647    24540     44 |  0.000 % |
60.21/60.21	c |     24733 |   84942  1789068  5451065 | 2147483647    24733     44 |  0.000 % |
60.51/60.61	c |     24945 |   84942  1789068  5451065 | 2147483647    24945     44 |  0.000 % |
60.91/60.93	c |     25179 |   84942  1789068  5451065 | 2147483647    25179     44 |  0.000 % |
61.31/61.33	c |     25435 |   84942  1789068  5451065 | 2147483647    25435     44 |  0.000 % |
61.71/61.77	c |     25717 |   84942  1789068  5451065 | 2147483647    25717     44 |  0.000 % |
62.61/62.62	c |     26027 |   84942  1789068  5451065 | 2147483647    26027     44 |  0.000 % |
63.21/63.27	c |     26366 |   84942  1789068  5451065 | 2147483647    26366     44 |  0.000 % |
63.81/63.85	c |     26738 |   84942  1789068  5451065 | 2147483647    26738     44 |  0.000 % |
64.41/64.42	c |     27149 |   84942  1789068  5451065 | 2147483647    27149     44 |  0.000 % |
64.81/64.83	c |     27600 |   84942  1789068  5451065 | 2147483647    27600     45 |  0.000 % |
64.91/64.97	c |     27702 |   84942  1789068  5451065 | 2147483647    27702     45 |  0.000 % |
65.11/65.14	c |     27813 |   84942  1789068  5451065 | 2147483647    27813     45 |  0.000 % |
65.21/65.25	c |     27934 |   84942  1789068  5451065 | 2147483647    27934     45 |  0.000 % |
65.31/65.33	c |     28067 |   84942  1789068  5451065 | 2147483647    28067     45 |  0.000 % |
65.51/65.52	c |     28215 |   84942  1789068  5451065 | 2147483647    28215     45 |  0.000 % |
65.61/65.69	c |     28377 |   84942  1789068  5451065 | 2147483647    28377     45 |  0.000 % |
65.81/65.82	c |     28556 |   84942  1789068  5451065 | 2147483647    28556     45 |  0.000 % |
66.11/66.14	c |     28750 |   84942  1789068  5451065 | 2147483647    28750     45 |  0.000 % |
66.21/66.26	c |     28962 |   84942  1789068  5451065 | 2147483647    28962     45 |  0.000 % |
66.61/66.62	c |     29197 |   84942  1789068  5451065 | 2147483647    29197     45 |  0.000 % |
66.91/66.92	c |     29455 |   84942  1789068  5451065 | 2147483647    29455     45 |  0.000 % |
67.11/67.14	c |     29738 |   84942  1789068  5451065 | 2147483647    29738     45 |  0.000 % |
67.61/67.61	c |     30048 |   84942  1789068  5451065 | 2147483647    30048     45 |  0.000 % |
68.11/68.17	c |     30387 |   84942  1789068  5451065 | 2147483647    30387     45 |  0.000 % |
68.51/68.52	c |     30761 |   84942  1789068  5451065 | 2147483647    30761     45 |  0.000 % |
68.91/68.95	c |     31171 |   84942  1789068  5451065 | 2147483647    31171     45 |  0.000 % |
69.01/69.04	c |     31621 |   84942  1789068  5451065 | 2147483647    31621     45 |  0.000 % |
69.11/69.20	c |     32115 |   84942  1789068  5451065 | 2147483647    32115     45 |  0.000 % |
69.21/69.30	c |     32216 |   84942  1789068  5451065 | 2147483647    32216     45 |  0.000 % |
69.31/69.37	c |     32327 |   84942  1789068  5451065 | 2147483647    32327     45 |  0.000 % |
69.41/69.51	c |     32449 |   84942  1789068  5451065 | 2147483647    32449     45 |  0.000 % |
69.61/69.69	c |     32582 |   84942  1789068  5451065 | 2147483647    32582     45 |  0.000 % |
69.91/69.92	c |     32730 |   84942  1789068  5451065 | 2147483647    32730     45 |  0.000 % |
70.01/70.09	c |     32893 |   84942  1789068  5451065 | 2147483647    32893     45 |  0.000 % |
70.31/70.33	c |     33069 |   84942  1789068  5451065 | 2147483647    33069     45 |  0.000 % |
70.51/70.61	c |     33262 |   84942  1789068  5451065 | 2147483647    33262     45 |  0.000 % |
70.81/70.85	c |     33474 |   84942  1789068  5451065 | 2147483647    33474     45 |  0.000 % |
71.01/71.07	c |     33707 |   84942  1789068  5451065 | 2147483647    33707     45 |  0.000 % |
71.21/71.26	c |     33964 |   84942  1789068  5451065 | 2147483647    33964     45 |  0.000 % |
71.52/71.61	c |     34246 |   84942  1789068  5451065 | 2147483647    34246     46 |  0.000 % |
71.91/71.96	c |     34555 |   84942  1789068  5451065 | 2147483647    34555     46 |  0.000 % |
72.41/72.42	c |     34894 |   84942  1789068  5451065 | 2147483647    34894     46 |  0.000 % |
72.62/72.68	c |     35266 |   84942  1789068  5451065 | 2147483647    35266     46 |  0.000 % |
73.21/73.28	c |     35679 |   84942  1789068  5451065 | 2147483647    35679     46 |  0.000 % |
73.51/73.60	c |     36129 |   84942  1789068  5451065 | 2147483647    36129     46 |  0.000 % |
74.21/74.22	c |     36624 |   84942  1789068  5451065 | 2147483647    36624     46 |  0.000 % |
74.91/74.99	c |     37168 |   84942  1789068  5451065 | 2147483647    37168     47 |  0.000 % |
75.11/75.12	c |     37271 |   84942  1789068  5451065 | 2147483647    37271     47 |  0.000 % |
75.21/75.23	c |     37381 |   84942  1789068  5451065 | 2147483647    37381     47 |  0.000 % |
75.41/75.48	c |     37503 |   84942  1789068  5451065 | 2147483647    37503     47 |  0.000 % |
75.71/75.71	c |     37636 |   84942  1789068  5451065 | 2147483647    37636     47 |  0.000 % |
75.81/75.89	c |     37782 |   84942  1789068  5451065 | 2147483647    37782     47 |  0.000 % |
76.11/76.15	c |     37942 |   84942  1789068  5451065 | 2147483647    37942     47 |  0.000 % |
76.41/76.41	c |     38118 |   84942  1789068  5451065 | 2147483647    38118     47 |  0.000 % |
76.61/76.61	c |     38311 |   84942  1789068  5451065 | 2147483647    38311     47 |  0.000 % |
76.71/76.76	c |     38523 |   84942  1789068  5451065 | 2147483647    38523     47 |  0.000 % |
77.31/77.35	c |     38756 |   84942  1789068  5451065 | 2147483647    38756     47 |  0.000 % |
77.51/77.55	c |     39013 |   84942  1789068  5451065 | 2147483647    39013     47 |  0.000 % |
78.21/78.28	c |     39294 |   84942  1789068  5451065 | 2147483647    39294     47 |  0.000 % |
78.41/78.45	c |     39603 |   84942  1789068  5451065 | 2147483647    39603     47 |  0.000 % |
78.71/78.80	c |     39943 |   84942  1789068  5451065 | 2147483647    39943     47 |  0.000 % |
79.01/79.07	c |     40316 |   84942  1789068  5451065 | 2147483647    40316     47 |  0.000 % |
79.61/79.65	c |     40725 |   84942  1789068  5451065 | 2147483647    40725     47 |  0.000 % |
80.11/80.20	c |     41176 |   84942  1789068  5451065 | 2147483647    41176     47 |  0.000 % |
80.61/80.67	c |     41669 |   84942  1789068  5451065 | 2147483647    41669     47 |  0.000 % |
81.11/81.20	c |     42212 |   84942  1789068  5451065 | 2147483647    42212     48 |  0.000 % |
81.42/81.49	c |     42810 |   84942  1789068  5451065 | 2147483647    42810     48 |  0.000 % |
81.81/81.83	c |     42910 |   84942  1789068  5451065 | 2147483647    42910     48 |  0.000 % |
82.01/82.08	c |     43020 |   84942  1789068  5451065 | 2147483647    43020     48 |  0.000 % |
82.31/82.32	c |     43142 |   84942  1789068  5451065 | 2147483647    43142     48 |  0.000 % |
82.52/82.52	c |     43278 |   84942  1789068  5451065 | 2147483647    43278     48 |  0.000 % |
82.61/82.70	c |     43427 |   84942  1789068  5451065 | 2147483647    43427     48 |  0.000 % |
82.81/82.86	c |     43588 |   84942  1789068  5451065 | 2147483647    43588     48 |  0.000 % |
83.11/83.16	c |     43765 |   84942  1789068  5451065 | 2147483647    43765     48 |  0.000 % |
83.31/83.32	c |     43959 |   84942  1789068  5451065 | 2147483647    43959     48 |  0.000 % |
83.71/83.79	c |     44172 |   84942  1789068  5451065 | 2147483647    44172     48 |  0.000 % |
84.11/84.14	c |     44406 |   84942  1789068  5451065 | 2147483647    44406     48 |  0.000 % |
84.81/84.87	c |     44662 |   84942  1789068  5451065 | 2147483647    44662     48 |  0.000 % |
84.91/85.00	c |     44944 |   84942  1789068  5451065 | 2147483647    44944     48 |  0.000 % |
85.31/85.40	c |     45254 |   84942  1789068  5451065 | 2147483647    45254     48 |  0.000 % |
85.91/85.95	c |     45601 |   84942  1789068  5451065 | 2147483647    45601     48 |  0.000 % |
86.01/86.08	c |     45974 |   84942  1789068  5451065 | 2147483647    45974     48 |  0.000 % |
86.92/86.96	c |     46384 |   84942  1789068  5451065 | 2147483647    46384     48 |  0.000 % |
87.21/87.27	c |     46834 |   84942  1789068  5451065 | 2147483647    46834     48 |  0.000 % |
87.61/87.63	c |     47328 |   84942  1789068  5451065 | 2147483647    47328     48 |  0.000 % |
88.02/88.04	c |     47873 |   84942  1789068  5451065 | 2147483647    47873     49 |  0.000 % |
88.31/88.40	c |     48469 |   84942  1789068  5451065 | 2147483647    48469     49 |  0.000 % |
89.12/89.19	c |     49124 |   84942  1789068  5451065 | 2147483647    49124     49 |  0.000 % |
89.21/89.28	c |     49225 |   84942  1789068  5451065 | 2147483647    49225     49 |  0.000 % |
89.41/89.48	c |     49335 |   84942  1789068  5451065 | 2147483647    49335     49 |  0.000 % |
89.51/89.60	c |     49456 |   84942  1789068  5451065 | 2147483647    49456     49 |  0.000 % |
89.81/89.83	c |     49589 |   84942  1789068  5451065 | 2147483647    49589     49 |  0.000 % |
90.11/90.15	c |     49735 |   84942  1789068  5451065 | 2147483647    49735     49 |  0.000 % |
90.31/90.34	c |     49895 |   84942  1789068  5451065 | 2147483647    49895     49 |  0.000 % |
90.61/90.66	c |     50071 |   84942  1789068  5451065 | 2147483647    50071     49 |  0.000 % |
90.91/90.98	c |     50268 |   84942  1789068  5451065 | 2147483647    50268     50 |  0.000 % |
91.01/91.11	c |     50481 |   84942  1789068  5451065 | 2147483647    50481     49 |  0.000 % |
91.51/91.59	c |     50714 |   84942  1789068  5451065 | 2147483647    50714     50 |  0.000 % |
91.71/91.79	c |     50970 |   84942  1789068  5451065 | 2147483647    50970     50 |  0.000 % |
92.01/92.04	c |     51251 |   84942  1789068  5451065 | 2147483647    51251     50 |  0.000 % |
92.21/92.26	c |     51560 |   84942  1789068  5451065 | 2147483647    51560     50 |  0.000 % |
92.81/92.82	c |     51900 |   84942  1789068  5451065 | 2147483647    51900     50 |  0.000 % |
93.01/93.05	c |     52276 |   84942  1789068  5451065 | 2147483647    52276     50 |  0.000 % |
93.31/93.34	c |     52685 |   84942  1789068  5451065 | 2147483647    52685     50 |  0.000 % |
93.61/93.63	c |     53135 |   84942  1789068  5451065 | 2147483647    53135     50 |  0.000 % |
94.11/94.16	c |     53629 |   84942  1789068  5451065 | 2147483647    53629     50 |  0.000 % |
94.51/94.54	c |     54171 |   84942  1789068  5451065 | 2147483647    54171     50 |  0.000 % |
94.71/94.76	c |     54767 |   84942  1789068  5451065 | 2147483647    54767     51 |  0.000 % |
95.01/95.01	c |     55422 |   84942  1789068  5451065 | 2147483647    55422     51 |  0.000 % |
95.61/95.63	c |     56142 |   84942  1789068  5451065 | 2147483647    56142     51 |  0.000 % |
95.61/95.71	c |     56243 |   84942  1789068  5451065 | 2147483647    56243     52 |  0.000 % |
95.81/95.87	c |     56358 |   84942  1789068  5451065 | 2147483647    56358     52 |  0.000 % |
95.91/95.93	c |     56480 |   84942  1789068  5451065 | 2147483647    56480     52 |  0.000 % |
96.01/96.11	c |     56613 |   84942  1789068  5451065 | 2147483647    56613     52 |  0.000 % |
96.51/96.51	c |     56759 |   84942  1789068  5451065 | 2147483647    56759     52 |  0.000 % |
96.71/96.78	c |     56920 |   84942  1789068  5451065 | 2147483647    56920     52 |  0.000 % |
96.91/96.94	c |     57100 |   84942  1789068  5451065 | 2147483647    57100     52 |  0.000 % |
97.11/97.20	c |     57293 |   84942  1789068  5451065 | 2147483647    57293     52 |  0.000 % |
97.41/97.41	c |     57508 |   84942  1789068  5451065 | 2147483647    57508     52 |  0.000 % |
97.71/97.77	c |     57741 |   84942  1789068  5451065 | 2147483647    57741     52 |  0.000 % |
97.92/97.98	c |     57998 |   84942  1789068  5451065 | 2147483647    57998     52 |  0.000 % |
98.21/98.28	c |     58281 |   84942  1789068  5451065 | 2147483647    58281     52 |  0.000 % |
98.61/98.62	c |     58590 |   84942  1789068  5451065 | 2147483647    58590     52 |  0.000 % |
99.51/99.53	c |     58929 |   84942  1789068  5451065 | 2147483647    58929     52 |  0.000 % |
100.01/100.03	c |     59304 |   84942  1789068  5451065 | 2147483647    59304     52 |  0.000 % |
100.31/100.31	c |     59713 |   84942  1789068  5451065 | 2147483647    59713     52 |  0.000 % |
100.61/100.61	c |     60163 |   84942  1789068  5451065 | 2147483647    60163     52 |  0.000 % |
100.91/100.92	c |     60658 |   84942  1789068  5451065 | 2147483647    60658     53 |  0.000 % |
101.51/101.57	c |     61201 |   84942  1789068  5451065 | 2147483647    61201     53 |  0.000 % |
101.91/101.96	c |     61798 |   84942  1789068  5451065 | 2147483647    61798     53 |  0.000 % |
102.51/102.57	c |     62453 |   84942  1789068  5451065 | 2147483647    62453     54 |  0.000 % |
103.11/103.16	c |     63177 |   84942  1789068  5451065 | 2147483647    63177     54 |  0.000 % |
103.71/103.75	c |     63969 |   84942  1789068  5451065 | 2147483647    63969     54 |  0.000 % |
103.81/103.90	c |     64070 |   84942  1789068  5451065 | 2147483647    64070     54 |  0.000 % |
104.01/104.07	c |     64181 |   84942  1789068  5451065 | 2147483647    64181     54 |  0.000 % |
104.11/104.18	c |     64302 |   84942  1789068  5451065 | 2147483647    64302     54 |  0.000 % |
104.31/104.40	c |     64436 |   84942  1789068  5451065 | 2147483647    64436     54 |  0.000 % |
104.41/104.50	c |     64582 |   84942  1789068  5451065 | 2147483647    64582     54 |  0.000 % |
104.81/104.82	c |     64743 |   84942  1789068  5451065 | 2147483647    64743     54 |  0.000 % |
104.91/104.96	c |     64920 |   84942  1789068  5451065 | 2147483647    64920     54 |  0.000 % |
105.01/105.10	c |     65114 |   84942  1789068  5451065 | 2147483647    65114     54 |  0.000 % |
105.21/105.30	c |     65327 |   84942  1789068  5451065 | 2147483647    65327     54 |  0.000 % |
105.41/105.44	c |     65561 |   84942  1789068  5451065 | 2147483647    65561     54 |  0.000 % |
105.62/105.64	c |     65817 |   84942  1789068  5451065 | 2147483647    65817     54 |  0.000 % |
105.81/105.89	c |     66099 |   84942  1789068  5451065 | 2147483647    66099     54 |  0.000 % |
106.11/106.19	c |     66409 |   84942  1789068  5451065 | 2147483647    66409     55 |  0.000 % |
106.31/106.40	c |     66749 |   84942  1789068  5451065 | 2147483647    66749     55 |  0.000 % |
106.61/106.67	c |     67123 |   84942  1789068  5451065 | 2147483647    67123     55 |  0.000 % |
107.11/107.17	c |     67532 |   84942  1789068  5451065 | 2147483647    67532     55 |  0.000 % |
107.51/107.58	c |     67981 |   84942  1789068  5451065 | 2147483647    67981     55 |  0.000 % |
108.01/108.08	c |     68474 |   84942  1789068  5451065 | 2147483647    68474     55 |  0.000 % |
108.41/108.43	c |     69016 |   84942  1789068  5451065 | 2147483647    69016     55 |  0.000 % |
109.41/109.44	c |     69613 |   84942  1789068  5451065 | 2147483647    69613     55 |  0.000 % |
109.81/109.91	c |     70269 |   84942  1789068  5451065 | 2147483647    70269     55 |  0.000 % |
110.51/110.55	c |     70989 |   84942  1789068  5451065 | 2147483647    70989     55 |  0.000 % |
110.81/110.89	c |     71783 |   84942  1789068  5451065 | 2147483647    71783     56 |  0.000 % |
111.41/111.44	c |     72654 |   84942  1789068  5451065 | 2147483647    72654     56 |  0.000 % |
111.51/111.58	c |     72756 |   84942  1789068  5451065 | 2147483647    72756     56 |  0.000 % |
111.71/111.71	c |     72869 |   84942  1789068  5451065 | 2147483647    72869     56 |  0.000 % |
111.71/111.79	c |     72990 |   84942  1789068  5451065 | 2147483647    72990     56 |  0.000 % |
111.92/111.96	c |     73128 |   84942  1789068  5451065 | 2147483647    73128     56 |  0.000 % |
112.02/112.12	c |     73274 |   84942  1789068  5451065 | 2147483647    73274     56 |  0.000 % |
112.22/112.22	c |     73435 |   84942  1789068  5451065 | 2147483647    73435     56 |  0.000 % |
112.32/112.41	c |     73614 |   84942  1789068  5451065 | 2147483647    73614     56 |  0.000 % |
112.62/112.63	c |     73807 |   84942  1789068  5451065 | 2147483647    73807     56 |  0.000 % |
112.82/112.84	c |     74019 |   84942  1789068  5451065 | 2147483647    74019     56 |  0.000 % |
113.32/113.34	c |     74252 |   84942  1789068  5451065 | 2147483647    74252     56 |  0.000 % |
113.52/113.58	c |     74509 |   84942  1789068  5451065 | 2147483647    74509     56 |  0.000 % |
114.02/114.03	c |     74791 |   84942  1789068  5451065 | 2147483647    74791     56 |  0.000 % |
114.22/114.31	c |     75100 |   84942  1789068  5451065 | 2147483647    75100     56 |  0.000 % |
114.82/114.84	c |     75447 |   84942  1789068  5451065 | 2147483647    75447     56 |  0.000 % |
115.52/115.54	c |     75820 |   84942  1789068  5451065 | 2147483647    75820     56 |  0.000 % |
115.92/116.00	c |     76229 |   84942  1789068  5451065 | 2147483647    76229     56 |  0.000 % |
116.32/116.37	c |     76678 |   84942  1789068  5451065 | 2147483647    76678     56 |  0.000 % |
116.92/116.99	c |     77173 |   84942  1789068  5451065 | 2147483647    77173     56 |  0.000 % |
117.32/117.39	c |     77715 |   84942  1789068  5451065 | 2147483647    77715     56 |  0.000 % |
117.92/117.94	c |     78312 |   84942  1789068  5451065 | 2147483647    78312     56 |  0.000 % |
118.22/118.30	c |     78967 |   84942  1789068  5451065 | 2147483647    78967     56 |  0.000 % |
119.12/119.20	c |     79687 |   84942  1789068  5451065 | 2147483647    79687     56 |  0.000 % |
119.82/119.89	c |     80479 |   84942  1789068  5451065 | 2147483647    80479     57 |  0.000 % |
120.32/120.33	c |     81352 |   84942  1789068  5451065 | 2147483647    81352     57 |  0.000 % |
121.22/121.22	c |     82311 |   84942  1789068  5451065 | 2147483647    82311     57 |  0.000 % |
121.42/121.44	c |     82411 |   84942  1789068  5451065 | 2147483647    82411     57 |  0.000 % |
121.52/121.60	c |     82522 |   84942  1789068  5451065 | 2147483647    82522     57 |  0.000 % |
121.82/121.87	c |     82643 |   84942  1789068  5451065 | 2147483647    82643     57 |  0.000 % |
122.12/122.12	c |     82776 |   84942  1789068  5451065 | 2147483647    82776     57 |  0.000 % |
122.22/122.28	c |     82922 |   84942  1789068  5451065 | 2147483647    82922     57 |  0.000 % |
122.42/122.42	c |     83082 |   84942  1789068  5451065 | 2147483647    83082     57 |  0.000 % |
122.72/122.72	c |     83260 |   84942  1789068  5451065 | 2147483647    83260     57 |  0.000 % |
122.92/122.93	c |     83453 |   84942  1789068  5451065 | 2147483647    83453     57 |  0.000 % |
123.02/123.12	c |     83667 |   84942  1789068  5451065 | 2147483647    83667     57 |  0.000 % |
123.42/123.43	c |     83900 |   84942  1789068  5451065 | 2147483647    83900     57 |  0.000 % |
123.82/123.86	c |     84157 |   84942  1789068  5451065 | 2147483647    84157     57 |  0.000 % |
124.02/124.09	c |     84439 |   84942  1789068  5451065 | 2147483647    84439     57 |  0.000 % |
124.32/124.35	c |     84749 |   84942  1789068  5451065 | 2147483647    84749     57 |  0.000 % |
124.82/124.87	c |     85088 |   84942  1789068  5451065 | 2147483647    85088     57 |  0.000 % |
125.32/125.32	c |     85462 |   84942  1789068  5451065 | 2147483647    85462     58 |  0.000 % |
125.52/125.56	c |     85872 |   84942  1789068  5451065 | 2147483647    85872     58 |  0.000 % |
125.82/125.84	c |     86323 |   84942  1789068  5451065 | 2147483647    86323     58 |  0.000 % |
126.32/126.32	c |     86819 |   84942  1789068  5451065 | 2147483647    86819     58 |  0.000 % |
126.92/126.94	c |     87362 |   84942  1789068  5451065 | 2147483647    87362     58 |  0.000 % |
127.22/127.31	c |     87959 |   84942  1789068  5451065 | 2147483647    87959     58 |  0.000 % |
127.72/127.79	c |     88614 |   84942  1789068  5451065 | 2147483647    88614     58 |  0.000 % |
128.32/128.35	c |     89335 |   84942  1789068  5451065 | 2147483647    89335     59 |  0.000 % |
128.92/128.93	c |     90127 |   84942  1789068  5451065 | 2147483647    90127     59 |  0.000 % |
129.62/129.72	c |     90998 |   84942  1789068  5451065 | 2147483647    90998     59 |  0.000 % |
130.52/130.56	c |     91957 |   84942  1789068  5451065 | 2147483647    91957     59 |  0.000 % |
131.22/131.29	c |     93010 |   84942  1789068  5451065 | 2147483647    93010     60 |  0.000 % |
131.42/131.51	c |     93110 |   84942  1789068  5451065 | 2147483647    93110     60 |  0.000 % |
131.62/131.63	c |     93221 |   84942  1789068  5451065 | 2147483647    93221     60 |  0.000 % |
131.92/131.99	c |     93342 |   84942  1789068  5451065 | 2147483647    93342     60 |  0.000 % |
132.22/132.24	c |     93475 |   84942  1789068  5451065 | 2147483647    93475     60 |  0.000 % |
132.52/132.53	c |     93621 |   84942  1789068  5451065 | 2147483647    93621     60 |  0.000 % |
132.62/132.71	c |     93782 |   84942  1789068  5451065 | 2147483647    93782     60 |  0.000 % |
132.82/132.84	c |     93959 |   84942  1789068  5451065 | 2147483647    93959     60 |  0.000 % |
132.92/132.92	c |     94152 |   84942  1789068  5451065 | 2147483647    94152     60 |  0.000 % |
133.12/133.16	c |     94371 |   84942  1789068  5451065 | 2147483647    94371     60 |  0.000 % |
133.32/133.37	c |     94605 |   84942  1789068  5451065 | 2147483647    94605     60 |  0.000 % |
133.52/133.56	c |     94861 |   84942  1789068  5451065 | 2147483647    94861     60 |  0.000 % |
133.82/133.81	c |     95145 |   84942  1789068  5451065 | 2147483647    95145     60 |  0.000 % |
134.02/134.10	c |     95454 |   84942  1789068  5451065 | 2147483647    95454     60 |  0.000 % |
134.42/134.51	c |     95797 |   84942  1789068  5451065 | 2147483647    95797     60 |  0.000 % |
134.72/134.77	c |     96171 |   84942  1789068  5451065 | 2147483647    96171     60 |  0.000 % |
134.92/134.93	c |     96580 |   84942  1789068  5451065 | 2147483647    96580     60 |  0.000 % |
135.32/135.32	c |     97029 |   84942  1789068  5451065 | 2147483647    97029     60 |  0.000 % |
135.72/135.81	c |     97524 |   84942  1789068  5451065 | 2147483647    97524     60 |  0.000 % |
136.22/136.26	c |     98066 |   84942  1789068  5451065 | 2147483647    98066     61 |  0.000 % |
136.92/136.97	c |     98662 |   84942  1789068  5451065 | 2147483647    98662     61 |  0.000 % |
137.32/137.37	c |     99317 |   84942  1789068  5451065 | 2147483647    99317     61 |  0.000 % |
138.22/138.25	c |    100038 |   84942  1789068  5451065 | 2147483647   100038     61 |  0.000 % |
139.72/139.75	c |    100830 |   84942  1789068  5451065 | 2147483647   100830     61 |  0.000 % |
140.42/140.42	c |    101701 |   84942  1789068  5451065 | 2147483647   101701     61 |  0.000 % |
141.52/141.60	c |    102662 |   84942  1789068  5451065 | 2147483647   102662     62 |  0.000 % |
142.62/142.65	c |    103715 |   84942  1789068  5451065 | 2147483647   103715     62 |  0.000 % |
143.42/143.47	c |    104873 |   84942  1789068  5451065 | 2147483647   104873     62 |  0.000 % |
143.52/143.58	c |    104973 |   84942  1789068  5451065 | 2147483647   104973     62 |  0.000 % |
143.62/143.69	c |    105087 |   84942  1789068  5451065 | 2147483647   105087     62 |  0.000 % |
143.92/143.99	c |    105211 |   84942  1789068  5451065 | 2147483647   105211     62 |  0.000 % |
144.12/144.15	c |    105345 |   84942  1789068  5451065 | 2147483647   105345     62 |  0.000 % |
144.52/144.60	c |    105492 |   84942  1789068  5451065 | 2147483647   105492     62 |  0.000 % |
144.72/144.75	c |    105652 |   84942  1789068  5451065 | 2147483647   105652     62 |  0.000 % |
144.92/144.93	c |    105828 |   84942  1789068  5451065 | 2147483647   105828     62 |  0.000 % |
145.02/145.07	c |    106024 |   84942  1789068  5451065 | 2147483647   106024     62 |  0.000 % |
145.52/145.60	c |    106236 |   84942  1789068  5451065 | 2147483647   106236     62 |  0.000 % |
145.72/145.75	c |    106471 |   84942  1789068  5451065 | 2147483647   106471     62 |  0.000 % |
146.12/146.14	c |    106727 |   84942  1789068  5451065 | 2147483647   106727     62 |  0.000 % |
147.12/147.17	c |    107010 |   84942  1789068  5451065 | 2147483647   107010     62 |  0.000 % |
148.42/148.46	c |    107319 |   84942  1789068  5451065 | 2147483647   107319     62 |  0.000 % |
149.12/149.17	c |    107658 |   84942  1789068  5451065 | 2147483647   107658     62 |  0.000 % |
149.72/149.77	c |    108031 |   84942  1789068  5451065 | 2147483647   108031     62 |  0.000 % |
151.02/151.01	c |    108442 |   84942  1789068  5451065 | 2147483647   108442     62 |  0.000 % |
151.72/151.76	c |    108892 |   84942  1789068  5451065 | 2147483647   108892     62 |  0.000 % |
152.22/152.28	c |    109386 |   84942  1789068  5451065 | 2147483647   109386     62 |  0.000 % |
152.72/152.81	c |    109928 |   84942  1789068  5451065 | 2147483647   109928     62 |  0.000 % |
154.12/154.16	c |    110524 |   84942  1789068  5451065 | 2147483647   110524     62 |  0.000 % |
154.92/154.97	c |    111179 |   84942  1789068  5451065 | 2147483647   111179     62 |  0.000 % |
155.62/155.66	c |    111901 |   84942  1789068  5451065 | 2147483647   111901     62 |  0.000 % |
156.82/156.91	c |    112693 |   84942  1789068  5451065 | 2147483647   112693     62 |  0.000 % |
157.82/157.84	c |    113565 |   84942  1789068  5451065 | 2147483647   113565     62 |  0.000 % |
158.72/158.75	c |    114525 |   84942  1789068  5451065 | 2147483647   114525     62 |  0.000 % |
160.02/160.10	c |    115578 |   84942  1789068  5451065 | 2147483647   115578     62 |  0.000 % |
161.32/161.35	c |    116736 |   84942  1789068  5451065 | 2147483647   116736     63 |  0.000 % |
163.42/163.42	c |    118010 |   84942  1789068  5451065 | 2147483647   118010     62 |  0.000 % |
163.52/163.56	c |    118110 |   84942  1789068  5451065 | 2147483647   118110     62 |  0.000 % |
163.72/163.73	c |    118220 |   84942  1789068  5451065 | 2147483647   118220     62 |  0.000 % |
163.82/163.88	c |    118341 |   84942  1789068  5451065 | 2147483647   118341     62 |  0.000 % |
164.12/164.11	c |    118475 |   84942  1789068  5451065 | 2147483647   118475     62 |  0.000 % |
164.32/164.34	c |    118622 |   84942  1789068  5451065 | 2147483647   118622     62 |  0.000 % |
164.42/164.49	c |    118784 |   84942  1789068  5451065 | 2147483647   118784     62 |  0.000 % |
164.62/164.69	c |    118960 |   84942  1789068  5451065 | 2147483647   118960     62 |  0.000 % |
164.82/164.90	c |    119154 |   84942  1789068  5451065 | 2147483647   119154     62 |  0.000 % |
165.02/165.06	c |    119369 |   84942  1789068  5451065 | 2147483647   119369     62 |  0.000 % |
165.22/165.23	c |    119603 |   84942  1789068  5451065 | 2147483647   119603     62 |  0.000 % |
165.62/165.62	c |    119859 |   84942  1789068  5451065 | 2147483647   119859     62 |  0.000 % |
165.82/165.83	c |    120140 |   84942  1789068  5451065 | 2147483647   120140     62 |  0.000 % |
166.22/166.26	c |    120451 |   84942  1789068  5451065 | 2147483647   120451     62 |  0.000 % |
166.42/166.50	c |    120790 |   84942  1789068  5451065 | 2147483647   120790     62 |  0.000 % |
166.82/166.89	c |    121164 |   84942  1789068  5451065 | 2147483647   121164     62 |  0.000 % |
167.22/167.21	c |    121573 |   84942  1789068  5451065 | 2147483647   121573     63 |  0.000 % |
167.62/167.66	c |    122022 |   84942  1789068  5451065 | 2147483647   122022     63 |  0.000 % |
168.12/168.11	c |    122519 |   84942  1789068  5451065 | 2147483647   122519     63 |  0.000 % |
168.62/168.67	c |    123061 |   84942  1789068  5451065 | 2147483647   123061     63 |  0.000 % |
169.12/169.17	c |    123661 |   84942  1789068  5451065 | 2147483647   123661     63 |  0.000 % |
169.62/169.63	c |    124317 |   84942  1789068  5451065 | 2147483647   124317     63 |  0.000 % |
170.12/170.14	c |    125037 |   84942  1789068  5451065 | 2147483647   125037     63 |  0.000 % |
170.72/170.73	c |    125834 |   84942  1789068  5451065 | 2147483647   125834     64 |  0.000 % |
171.22/171.31	c |    126705 |   84942  1789068  5451065 | 2147483647   126705     64 |  0.000 % |
171.92/171.99	c |    127663 |   84942  1789068  5451065 | 2147483647   127663     64 |  0.000 % |
172.92/172.97	c |    128716 |   84942  1789068  5451065 | 2147483647   128716     64 |  0.000 % |
173.72/173.77	c |    129875 |   84942  1789068  5451065 | 2147483647   129875     64 |  0.000 % |
174.93/174.99	c |    131148 |   84942  1789068  5451065 | 2147483647   131148     64 |  0.000 % |
176.12/176.18	c |    132548 |   84942  1789068  5451065 | 2147483647   132548     64 |  0.000 % |
176.32/176.39	c |    132648 |   84942  1789068  5451065 | 2147483647   132648     64 |  0.000 % |
176.52/176.54	c |    132758 |   84942  1789068  5451065 | 2147483647   132758     64 |  0.000 % |
176.62/176.69	c |    132882 |   84942  1789068  5451065 | 2147483647   132882     64 |  0.000 % |
176.82/176.85	c |    133018 |   84942  1789068  5451065 | 2147483647   133018     64 |  0.000 % |
176.92/177.01	c |    133167 |   84942  1789068  5451065 | 2147483647   133167     64 |  0.000 % |
177.13/177.21	c |    133327 |   84942  1789068  5451065 | 2147483647   133327     64 |  0.000 % |
177.32/177.38	c |    133504 |   84942  1789068  5451065 | 2147483647   133504     64 |  0.000 % |
177.62/177.67	c |    133697 |   84942  1789068  5451065 | 2147483647   133697     64 |  0.000 % |
177.82/177.89	c |    133911 |   84942  1789068  5451065 | 2147483647   133911     64 |  0.000 % |
178.23/178.25	c |    134147 |   84942  1789068  5451065 | 2147483647   134147     64 |  0.000 % |
178.52/178.55	c |    134403 |   84942  1789068  5451065 | 2147483647   134403     64 |  0.000 % |
178.82/178.90	c |    134684 |   84942  1789068  5451065 | 2147483647   134684     64 |  0.000 % |
179.22/179.27	c |    134997 |   84942  1789068  5451065 | 2147483647   134997     65 |  0.000 % |
179.72/179.76	c |    135336 |   84942  1789068  5451065 | 2147483647   135336     64 |  0.000 % |
180.52/180.52	c |    135708 |   84942  1789068  5451065 | 2147483647   135708     64 |  0.000 % |
181.12/181.12	c |    136119 |   84942  1789068  5451065 | 2147483647   136119     64 |  0.000 % |
181.62/181.62	c |    136568 |   84942  1789068  5451065 | 2147483647   136568     64 |  0.000 % |
182.22/182.26	c |    137061 |   84942  1789068  5451065 | 2147483647   137061     64 |  0.000 % |
183.82/183.83	c |    137605 |   84942  1789068  5451065 | 2147483647   137605     64 |  0.000 % |
184.52/184.55	c |    138201 |   84942  1789068  5451065 | 2147483647   138201     64 |  0.000 % |
185.72/185.75	c |    138857 |   84942  1789068  5451065 | 2147483647   138857     64 |  0.000 % |
186.22/186.24	c |    139578 |   84942  1789068  5451065 | 2147483647   139578     64 |  0.000 % |
187.82/187.83	c |    140370 |   84942  1789068  5451065 | 2147483647   140370     64 |  0.000 % |
188.92/188.92	c |    141242 |   84942  1789068  5451065 | 2147483647   141242     64 |  0.000 % |
189.62/189.61	c |    142200 |   84942  1789068  5451065 | 2147483647   142200     64 |  0.000 % |
190.52/190.53	c |    143253 |   84942  1789068  5451065 | 2147483647   143253     64 |  0.000 % |
191.32/191.37	c |    144412 |   84942  1789068  5451065 | 2147483647   144412     65 |  0.000 % |
192.62/192.62	c |    145685 |   84942  1789068  5451065 | 2147483647   145685     65 |  0.000 % |
193.32/193.36	c |    147090 |   84942  1789068  5451065 | 2147483647   147090     65 |  0.000 % |
194.73/194.73	c |    148630 |   84942  1789068  5451065 | 2147483647   148630     65 |  0.000 % |
194.82/194.91	c |    148730 |   84942  1789068  5451065 | 2147483647   148730     65 |  0.000 % |
195.12/195.12	c |    148840 |   84942  1789068  5451065 | 2147483647   148840     65 |  0.000 % |
195.32/195.32	c |    148961 |   84942  1789068  5451065 | 2147483647   148961     65 |  0.000 % |
195.52/195.56	c |    149094 |   84942  1789068  5451065 | 2147483647   149094     65 |  0.000 % |
195.72/195.75	c |    149240 |   84942  1789068  5451065 | 2147483647   149240     65 |  0.000 % |
195.92/195.91	c |    149400 |   84942  1789068  5451065 | 2147483647   149400     65 |  0.000 % |
196.02/196.11	c |    149576 |   84942  1789068  5451065 | 2147483647   149576     65 |  0.000 % |
196.42/196.50	c |    149769 |   84942  1789068  5451065 | 2147483647   149769     65 |  0.000 % |
197.32/197.37	c |    149981 |   84942  1789068  5451065 | 2147483647   149981     65 |  0.000 % |
197.62/197.69	c |    150216 |   84942  1789068  5451065 | 2147483647   150216     65 |  0.000 % |
198.32/198.41	c |    150473 |   84942  1789068  5451065 | 2147483647   150473     65 |  0.000 % |
199.22/199.22	c |    150756 |   84942  1789068  5451065 | 2147483647   150756     65 |  0.000 % |
200.23/200.25	c |    151065 |   84942  1789068  5451065 | 2147483647   151065     65 |  0.000 % |
200.42/200.49	c |    151406 |   84942  1789068  5451065 | 2147483647   151406     65 |  0.000 % |
201.02/201.02	c |    151778 |   84942  1789068  5451065 | 2147483647   151778     65 |  0.000 % |
201.62/201.69	c |    152187 |   84942  1789068  5451065 | 2147483647   152187     65 |  0.000 % |
202.02/202.04	c |    152636 |   84942  1789068  5451065 | 2147483647   152636     65 |  0.000 % |
202.82/202.88	c |    153129 |   84942  1789068  5451065 | 2147483647   153129     66 |  0.000 % |
203.32/203.32	c |    153671 |   84942  1789068  5451065 | 2147483647   153671     66 |  0.000 % |
203.92/203.94	c |    154267 |   84942  1789068  5451065 | 2147483647   154267     66 |  0.000 % |
204.52/204.54	c |    154923 |   84942  1789068  5451065 | 2147483647   154923     66 |  0.000 % |
205.12/205.18	c |    155643 |   84942  1789068  5451065 | 2147483647   155643     66 |  0.000 % |
205.82/205.89	c |    156436 |   84942  1789068  5451065 | 2147483647   156436     66 |  0.000 % |
206.72/206.72	c |    157307 |   84942  1789068  5451065 | 2147483647   157307     66 |  0.000 % |
207.62/207.61	c |    158265 |   84942  1789068  5451065 | 2147483647   158265     66 |  0.000 % |
208.52/208.60	c |    159319 |   84942  1789068  5451065 | 2147483647   159319     66 |  0.000 % |
209.22/209.22	c |    160477 |   84942  1789068  5451065 | 2147483647   160477     66 |  0.000 % |
210.33/210.39	c |    161751 |   84942  1789068  5451065 | 2147483647   161751     66 |  0.000 % |
211.93/211.97	c |    163151 |   84942  1789068  5451065 | 2147483647   163151     66 |  0.000 % |
213.13/213.19	c |    164692 |   84942  1789068  5451065 | 2147483647   164692     66 |  0.000 % |
214.83/214.91	c |    166386 |   84942  1789068  5451065 | 2147483647   166386     66 |  0.000 % |
215.03/215.03	c |    166490 |   84942  1789068  5451065 | 2147483647   166490     66 |  0.000 % |
215.13/215.17	c |    166600 |   84942  1789068  5451065 | 2147483647   166600     66 |  0.000 % |
215.23/215.26	c |    166721 |   84942  1789068  5451065 | 2147483647   166721     66 |  0.000 % |
215.43/215.43	c |    166854 |   84942  1789068  5451065 | 2147483647   166854     66 |  0.000 % |
215.73/215.75	c |    167000 |   84942  1789068  5451065 | 2147483647   167000     66 |  0.000 % |
216.03/216.08	c |    167160 |   84942  1789068  5451065 | 2147483647   167160     66 |  0.000 % |
216.23/216.29	c |    167337 |   84942  1789068  5451065 | 2147483647   167337     66 |  0.000 % |
216.53/216.58	c |    167530 |   84942  1789068  5451065 | 2147483647   167530     66 |  0.000 % |
216.83/216.88	c |    167742 |   84942  1789068  5451065 | 2147483647   167742     66 |  0.000 % |
217.13/217.13	c |    167976 |   84942  1789068  5451065 | 2147483647   167976     66 |  0.000 % |
217.43/217.42	c |    168232 |   84942  1789068  5451065 | 2147483647   168232     66 |  0.000 % |
217.73/217.77	c |    168513 |   84942  1789068  5451065 | 2147483647   168513     66 |  0.000 % |
218.13/218.19	c |    168822 |   84942  1789068  5451065 | 2147483647   168822     66 |  0.000 % |
218.53/218.53	c |    169162 |   84942  1789068  5451065 | 2147483647   169162     66 |  0.000 % |
218.73/218.74	c |    169534 |   84942  1789068  5451065 | 2147483647   169534     66 |  0.000 % |
219.13/219.13	c |    169943 |   84942  1789068  5451065 | 2147483647   169943     66 |  0.000 % |
219.53/219.61	c |    170392 |   84942  1789068  5451065 | 2147483647   170392     66 |  0.000 % |
220.13/220.13	c |    170889 |   84942  1789068  5451065 | 2147483647   170889     66 |  0.000 % |
220.63/220.63	c |    171431 |   84942  1789068  5451065 | 2147483647   171431     66 |  0.000 % |
221.03/221.03	c |    172027 |   84942  1789068  5451065 | 2147483647   172027     66 |  0.000 % |
221.63/221.67	c |    172683 |   84942  1789068  5451065 | 2147483647   172683     66 |  0.000 % |
222.23/222.30	c |    173403 |   84942  1789068  5451065 | 2147483647   173403     66 |  0.000 % |
223.13/223.12	c |    174195 |   84942  1789068  5451065 | 2147483647   174195     66 |  0.000 % |
223.83/223.91	c |    175066 |   84942  1789068  5451065 | 2147483647   175066     66 |  0.000 % |
224.63/224.68	c |    176026 |   84942  1789068  5451065 | 2147483647   176026     67 |  0.000 % |
225.53/225.53	c |    177079 |   84942  1789068  5451065 | 2147483647   177079     67 |  0.000 % |
226.43/226.51	c |    178238 |   84942  1789068  5451065 | 2147483647   178238     67 |  0.000 % |
227.63/227.69	c |    179511 |   84942  1789068  5451065 | 2147483647   179511     67 |  0.000 % |
229.03/229.04	c |    180911 |   84942  1789068  5451065 | 2147483647   180911     67 |  0.000 % |
230.63/230.65	c |    182452 |   84942  1789068  5451065 | 2147483647   182452     67 |  0.000 % |
232.23/232.31	c |    184147 |   84942  1789068  5451065 | 2147483647   184147     67 |  0.000 % |
233.43/233.51	c |    186010 |   84942  1789068  5451065 | 2147483647   186010     66 |  0.000 % |
233.73/233.73	c |    186110 |   84942  1789068  5451065 | 2147483647   186110     66 |  0.000 % |
233.83/233.87	c |    186220 |   84942  1789068  5451065 | 2147483647   186220     66 |  0.000 % |
234.03/234.05	c |    186342 |   84942  1789068  5451065 | 2147483647   186342     66 |  0.000 % |
234.23/234.23	c |    186476 |   84942  1789068  5451065 | 2147483647   186476     66 |  0.000 % |
234.43/234.44	c |    186625 |   84942  1789068  5451065 | 2147483647   186625     66 |  0.000 % |
234.53/234.60	c |    186785 |   84942  1789068  5451065 | 2147483647   186785     66 |  0.000 % |
234.73/234.79	c |    186961 |   84942  1789068  5451065 | 2147483647   186961     66 |  0.000 % |
234.93/234.99	c |    187154 |   84942  1789068  5451065 | 2147483647   187154     66 |  0.000 % |
235.13/235.19	c |    187366 |   84942  1789068  5451065 | 2147483647   187366     66 |  0.000 % |
235.33/235.38	c |    187599 |   84942  1789068  5451065 | 2147483647   187599     66 |  0.000 % |
235.63/235.63	c |    187855 |   84942  1789068  5451065 | 2147483647   187855     66 |  0.000 % |
235.93/235.96	c |    188136 |   84942  1789068  5451065 | 2147483647   188136     66 |  0.000 % |
236.23/236.24	c |    188445 |   84942  1789068  5451065 | 2147483647   188445     66 |  0.000 % |
236.63/236.65	c |    188785 |   84942  1789068  5451065 | 2147483647   188785     66 |  0.000 % |
237.13/237.13	c |    189157 |   84942  1789068  5451065 | 2147483647   189157     66 |  0.000 % |
237.43/237.45	c |    189568 |   84942  1789068  5451065 | 2147483647   189568     66 |  0.000 % |
237.93/237.98	c |    190017 |   84942  1789068  5451065 | 2147483647   190017     66 |  0.000 % |
238.63/238.69	c |    190510 |   84942  1789068  5451065 | 2147483647   190510     66 |  0.000 % |
239.23/239.26	c |    191052 |   84942  1789068  5451065 | 2147483647   191052     66 |  0.000 % |
239.83/239.85	c |    191648 |   84942  1789068  5451065 | 2147483647   191648     66 |  0.000 % |
240.43/240.45	c |    192303 |   84942  1789068  5451065 | 2147483647   192303     66 |  0.000 % |
241.03/241.05	c |    193023 |   84942  1789068  5451065 | 2147483647   193023     66 |  0.000 % |
241.83/241.88	c |    193816 |   84942  1789068  5451065 | 2147483647   193816     66 |  0.000 % |
242.43/242.47	c |    194689 |   84942  1789068  5451065 | 2147483647   194689     66 |  0.000 % |
243.53/243.59	c |    195647 |   84942  1789068  5451065 | 2147483647   195647     66 |  0.000 % |
244.33/244.39	c |    196700 |   84942  1789068  5451065 | 2147483647   196700     65 |  0.000 % |
245.23/245.27	c |    197860 |   84942  1789068  5451065 | 2147483647   197860     65 |  0.000 % |
246.83/246.82	c |    199136 |   84942  1789068  5451065 | 2147483647   199136     65 |  0.000 % |
248.13/248.17	c |    200536 |   84942  1789068  5451065 | 2147483647   200536     65 |  0.000 % |
249.63/249.66	c |    202076 |   84942  1789068  5451065 | 2147483647   202076     65 |  0.000 % |
251.33/251.34	c |    203773 |   84942  1789068  5451065 | 2147483647   203773     65 |  0.000 % |
253.13/253.19	c |    205637 |   84942  1789068  5451065 | 2147483647   205637     65 |  0.000 % |
255.63/255.62	c |    207686 |   84942  1789068  5451065 | 2147483647   207686     65 |  0.000 % |
255.63/255.71	c |    207787 |   84942  1789068  5451065 | 2147483647   207787     64 |  0.000 % |
255.93/255.93	c |    207897 |   84942  1789068  5451065 | 2147483647   207897     64 |  0.000 % |
256.03/256.10	c |    208018 |   84942  1789068  5451065 | 2147483647   208018     64 |  0.000 % |
256.33/256.32	c |    208153 |   84942  1789068  5451065 | 2147483647   208153     64 |  0.000 % |
256.53/256.53	c |    208300 |   84942  1789068  5451065 | 2147483647   208300     64 |  0.000 % |
256.73/256.75	c |    208461 |   84942  1789068  5451065 | 2147483647   208461     64 |  0.000 % |
256.93/256.95	c |    208637 |   84942  1789068  5451065 | 2147483647   208637     64 |  0.000 % |
257.23/257.21	c |    208832 |   84942  1789068  5451065 | 2147483647   208832     64 |  0.000 % |
257.43/257.45	c |    209046 |   84942  1789068  5451065 | 2147483647   209046     64 |  0.000 % |
257.73/257.72	c |    209279 |   84942  1789068  5451065 | 2147483647   209279     64 |  0.000 % |
258.13/258.18	c |    209535 |   84942  1789068  5451065 | 2147483647   209535     64 |  0.000 % |
258.53/258.57	c |    209816 |   84942  1789068  5451065 | 2147483647   209816     64 |  0.000 % |
259.03/259.07	c |    210126 |   84942  1789068  5451065 | 2147483647   210126     64 |  0.000 % |
259.33/259.40	c |    210465 |   84942  1789068  5451065 | 2147483647   210465     64 |  0.000 % |
259.83/259.84	c |    210838 |   84942  1789068  5451065 | 2147483647   210838     64 |  0.000 % |
260.13/260.19	c |    211248 |   84942  1789068  5451065 | 2147483647   211248     64 |  0.000 % |
261.13/261.15	c |    211698 |   84942  1789068  5451065 | 2147483647   211698     64 |  0.000 % |
261.53/261.52	c |    212191 |   84942  1789068  5451065 | 2147483647   212191     64 |  0.000 % |
262.23/262.22	c |    212735 |   84942  1789068  5451065 | 2147483647   212735     64 |  0.000 % |
262.93/263.01	c |    213332 |   84942  1789068  5451065 | 2147483647   213332     64 |  0.000 % |
263.73/263.80	c |    213988 |   84942  1789068  5451065 | 2147483647   213988     64 |  0.000 % |
264.73/264.72	c |    214708 |   84942  1789068  5451065 | 2147483647   214708     64 |  0.000 % |
265.43/265.47	c |    215500 |   84942  1789068  5451065 | 2147483647   215500     64 |  0.000 % |
266.93/266.92	c |    216372 |   84942  1789068  5451065 | 2147483647   216372     64 |  0.000 % |
268.33/268.41	c |    217330 |   84942  1789068  5451065 | 2147483647   217330     64 |  0.000 % |
269.43/269.43	c |    218392 |   84942  1789068  5451065 | 2147483647   218392     64 |  0.000 % |
270.03/270.03	c |    219550 |   84942  1789068  5451065 | 2147483647   219550     64 |  0.000 % |
271.43/271.51	c |    220824 |   84942  1789068  5451065 | 2147483647   220824     64 |  0.000 % |
272.73/272.73	c |    222225 |   84942  1789068  5451065 | 2147483647   222225     64 |  0.000 % |
274.43/274.42	c |    223767 |   84942  1789068  5451065 | 2147483647   223767     64 |  0.000 % |
276.03/276.06	c |    225462 |   84942  1789068  5451065 | 2147483647   225462     64 |  0.000 % |
277.83/277.88	c |    227325 |   84942  1789068  5451065 | 2147483647   227325     64 |  0.000 % |
280.33/280.35	c |    229374 |   84942  1789068  5451065 | 2147483647   229374     64 |  0.000 % |
282.93/282.91	c |    231627 |   84942  1789068  5451065 | 2147483647   231627     64 |  0.000 % |
283.13/283.13	c |    231728 |   84942  1789068  5451065 | 2147483647   231728     64 |  0.000 % |
283.33/283.32	c |    231840 |   84942  1789068  5451065 | 2147483647   231840     64 |  0.000 % |
283.53/283.52	c |    231961 |   84942  1789068  5451065 | 2147483647   231961     64 |  0.000 % |
283.63/283.71	c |    232096 |   84942  1789068  5451065 | 2147483647   232096     64 |  0.000 % |
283.93/283.96	c |    232245 |   84942  1789068  5451065 | 2147483647   232245     64 |  0.000 % |
284.63/284.62	c |    232405 |   84942  1789068  5451065 | 2147483647   232405     64 |  0.000 % |
284.83/284.86	c |    232581 |   84942  1789068  5451065 | 2147483647   232581     64 |  0.000 % |
285.23/285.26	c |    232774 |   84942  1789068  5451065 | 2147483647   232774     64 |  0.000 % |
285.53/285.58	c |    232987 |   84942  1789068  5451065 | 2147483647   232987     64 |  0.000 % |
285.93/285.98	c |    233220 |   84942  1789068  5451065 | 2147483647   233220     64 |  0.000 % |
286.33/286.32	c |    233476 |   84942  1789068  5451065 | 2147483647   233476     64 |  0.000 % |
286.73/286.79	c |    233758 |   84942  1789068  5451065 | 2147483647   233758     64 |  0.000 % |
287.14/287.13	c |    234067 |   84942  1789068  5451065 | 2147483647   234067     64 |  0.000 % |
287.73/287.76	c |    234406 |   84942  1789068  5451065 | 2147483647   234406     64 |  0.000 % |
288.33/288.38	c |    234778 |   84942  1789068  5451065 | 2147483647   234778     64 |  0.000 % |
288.83/288.81	c |    235187 |   84942  1789068  5451065 | 2147483647   235187     64 |  0.000 % |
289.43/289.46	c |    235636 |   84942  1789068  5451065 | 2147483647   235636     64 |  0.000 % |
290.13/290.15	c |    236129 |   84942  1789068  5451065 | 2147483647   236129     64 |  0.000 % |
290.73/290.72	c |    236672 |   84942  1789068  5451065 | 2147483647   236672     64 |  0.000 % |
291.54/291.57	c |    237269 |   84942  1789068  5451065 | 2147483647   237269     64 |  0.000 % |
292.33/292.34	c |    237924 |   84942  1789068  5451065 | 2147483647   237924     64 |  0.000 % |
293.13/293.16	c |    238645 |   84942  1789068  5451065 | 2147483647   238645     64 |  0.000 % |
293.83/293.85	c |    239437 |   84942  1789068  5451065 | 2147483647   239437     64 |  0.000 % |
294.84/294.83	c |    240308 |   84942  1789068  5451065 | 2147483647   240308     64 |  0.000 % |
295.63/295.64	c |    241266 |   84942  1789068  5451065 | 2147483647   241266     64 |  0.000 % |
296.83/296.89	c |    242320 |   84942  1789068  5451065 | 2147483647   242320     64 |  0.000 % |
298.14/298.17	c |    243479 |   84942  1789068  5451065 | 2147483647   243479     64 |  0.000 % |
299.73/299.71	c |    244752 |   84942  1789068  5451065 | 2147483647   244752     64 |  0.000 % |
301.13/301.20	c |    246153 |   84942  1789068  5451065 | 2147483647   246153     64 |  0.000 % |
302.83/302.88	c |    247693 |   84942  1789068  5451065 | 2147483647   247693     64 |  0.000 % |
304.13/304.14	c |    249388 |   84942  1789068  5451065 | 2147483647   249388     64 |  0.000 % |
306.23/306.23	c |    251251 |   84942  1789068  5451065 | 2147483647   251251     64 |  0.000 % |
308.64/308.71	c |    253301 |   84942  1789068  5451065 | 2147483647   253301     64 |  0.000 % |
311.64/311.65	c |    255554 |   84942  1789068  5451065 | 2147483647   255554     64 |  0.000 % |
316.94/316.93	c |    258032 |   84942  1789068  5451065 | 2147483647   258032     64 |  0.000 % |
317.14/317.21	c |    258132 |   84942  1789068  5451065 | 2147483647   258132     64 |  0.000 % |
317.44/317.46	c |    258246 |   84942  1789068  5451065 | 2147483647   258246     64 |  0.000 % |
317.64/317.69	c |    258367 |   84942  1789068  5451065 | 2147483647   258367     64 |  0.000 % |
317.84/317.91	c |    258501 |   84942  1789068  5451065 | 2147483647   258501     64 |  0.000 % |
318.24/318.26	c |    258647 |   84942  1789068  5451065 | 2147483647   258647     64 |  0.000 % |
318.54/318.53	c |    258807 |   84942  1789068  5451065 | 2147483647   258807     64 |  0.000 % |
318.74/318.75	c |    258983 |   84942  1789068  5451065 | 2147483647   258983     64 |  0.000 % |
319.04/319.02	c |    259177 |   84942  1789068  5451065 | 2147483647   259177     64 |  0.000 % |
319.34/319.35	c |    259390 |   84942  1789068  5451065 | 2147483647   259390     64 |  0.000 % |
319.54/319.58	c |    259625 |   84942  1789068  5451065 | 2147483647   259625     64 |  0.000 % |
319.84/319.91	c |    259883 |   84942  1789068  5451065 | 2147483647   259883     64 |  0.000 % |
320.44/320.45	c |    260164 |   84942  1789068  5451065 | 2147483647   260164     64 |  0.000 % |
320.74/320.79	c |    260473 |   84942  1789068  5451065 | 2147483647   260473     64 |  0.000 % |
321.44/321.42	c |    260812 |   84942  1789068  5451065 | 2147483647   260812     64 |  0.000 % |
321.94/321.98	c |    261185 |   84942  1789068  5451065 | 2147483647   261185     64 |  0.000 % |
322.44/322.46	c |    261594 |   84942  1789068  5451065 | 2147483647   261594     64 |  0.000 % |
323.14/323.17	c |    262043 |   84942  1789068  5451065 | 2147483647   262043     64 |  0.000 % |
324.14/324.16	c |    262537 |   84942  1789068  5451065 | 2147483647   262537     64 |  0.000 % |
325.24/325.24	c |    263079 |   84942  1789068  5451065 | 2147483647   263079     63 |  0.000 % |
326.14/326.16	c |    263680 |   84942  1789068  5451065 | 2147483647   263680     64 |  0.000 % |
326.94/326.98	c |    264335 |   84942  1789068  5451065 | 2147483647   264335     64 |  0.000 % |
327.64/327.69	c |    265055 |   84942  1789068  5451065 | 2147483647   265055     64 |  0.000 % |
328.93/328.99	c |    265848 |   84942  1789068  5451065 | 2147483647   265848     64 |  0.000 % |
329.83/329.91	c |    266720 |   84942  1789068  5451065 | 2147483647   266720     64 |  0.000 % |
331.23/331.25	c |    267680 |   84942  1789068  5451065 | 2147483647   267680     63 |  0.000 % |
332.63/332.61	c |    268737 |   84942  1789068  5451065 | 2147483647   268737     63 |  0.000 % |
333.93/333.97	c |    269896 |   84942  1789068  5451065 | 2147483647   269896     63 |  0.000 % |
335.13/335.19	c |    271170 |   84942  1789068  5451065 | 2147483647   271170     63 |  0.000 % |
337.03/337.02	c |    272570 |   84942  1789068  5451065 | 2147483647   272570     63 |  0.000 % |
339.23/339.28	c |    274114 |   84942  1789068  5451065 | 2147483647   274114     64 |  0.000 % |
341.33/341.34	c |    275808 |   84942  1789068  5451065 | 2147483647   275808     64 |  0.000 % |
343.73/343.72	c |    277671 |   84942  1789068  5451065 | 2147483647   277671     64 |  0.000 % |
346.43/346.44	c |    279720 |   84942  1789068  5451065 | 2147483647   279720     64 |  0.000 % |
349.53/349.51	c |    281974 |   84942  1789068  5451065 | 2147483647   281974     64 |  0.000 % |
352.33/352.35	c |    284453 |   84942  1789068  5451065 | 2147483647   284453     63 |  0.000 % |
355.93/355.99	c |    287178 |   84942  1789068  5451065 | 2147483647   287178     63 |  0.000 % |
356.03/356.10	c |    287278 |   84942  1789068  5451065 | 2147483647   287278     63 |  0.000 % |
356.23/356.24	c |    287388 |   84942  1789068  5451065 | 2147483647   287388     63 |  0.000 % |
356.33/356.40	c |    287509 |   84942  1789068  5451065 | 2147483647   287509     63 |  0.000 % |
356.73/356.75	c |    287642 |   84942  1789068  5451065 | 2147483647   287642     63 |  0.000 % |
357.03/357.05	c |    287788 |   84942  1789068  5451065 | 2147483647   287788     63 |  0.000 % |
357.23/357.30	c |    287950 |   84942  1789068  5451065 | 2147483647   287950     63 |  0.000 % |
357.53/357.51	c |    288126 |   84942  1789068  5451065 | 2147483647   288126     63 |  0.000 % |
357.73/357.75	c |    288320 |   84942  1789068  5451065 | 2147483647   288320     63 |  0.000 % |
358.03/358.05	c |    288534 |   84942  1789068  5451065 | 2147483647   288534     63 |  0.000 % |
358.33/358.39	c |    288767 |   84942  1789068  5451065 | 2147483647   288767     63 |  0.000 % |
358.83/358.82	c |    289023 |   84942  1789068  5451065 | 2147483647   289023     63 |  0.000 % |
359.23/359.24	c |    289304 |   84942  1789068  5451065 | 2147483647   289304     63 |  0.000 % |
359.53/359.61	c |    289613 |   84942  1789068  5451065 | 2147483647   289613     63 |  0.000 % |
360.63/360.62	c |    289953 |   84942  1789068  5451065 | 2147483647   289953     63 |  0.000 % |
361.23/361.21	c |    290325 |   84942  1789068  5451065 | 2147483647   290325     63 |  0.000 % |
361.73/361.77	c |    290734 |   84942  1789068  5451065 | 2147483647   290734     63 |  0.000 % |
362.53/362.52	c |    291183 |   84942  1789068  5451065 | 2147483647   291183     63 |  0.000 % |
363.53/363.59	c |    291678 |   84942  1789068  5451065 | 2147483647   291678     63 |  0.000 % |
364.23/364.26	c |    292221 |   84942  1789068  5451065 | 2147483647   292221     63 |  0.000 % |
365.03/365.11	c |    292817 |   84942  1789068  5451065 | 2147483647   292817     63 |  0.000 % |
366.03/366.03	c |    293473 |   84942  1789068  5451065 | 2147483647   293473     63 |  0.000 % |
366.73/366.80	c |    294194 |   84942  1789068  5451065 | 2147483647   294194     63 |  0.000 % |
368.13/368.19	c |    294987 |   84942  1789068  5451065 | 2147483647   294987     63 |  0.000 % |
369.33/369.38	c |    295859 |   84942  1789068  5451065 | 2147483647   295859     63 |  0.000 % |
370.63/370.64	c |    296817 |   84942  1789068  5451065 | 2147483647   296817     63 |  0.000 % |
372.33/372.38	c |    297870 |   84942  1789068  5451065 | 2147483647   297870     63 |  0.000 % |
374.73/374.80	c |    299028 |   84942  1789068  5451065 | 2147483647   299028     63 |  0.000 % |
376.03/376.09	c |    300301 |   84942  1789068  5451065 | 2147483647   300301     63 |  0.000 % |
378.03/378.02	c |    301702 |   84942  1789068  5451065 | 2147483647   301702     63 |  0.000 % |
379.33/379.32	c |    303242 |   84942  1789068  5451065 | 2147483647   303242     63 |  0.000 % |
381.63/381.71	c |    304937 |   84942  1789068  5451065 | 2147483647   304937     63 |  0.000 % |
383.94/383.92	c |    306800 |   84942  1789068  5451065 | 2147483647   306800     63 |  0.000 % |
386.63/386.63	c |    308849 |   84942  1789068  5451065 | 2147483647   308849     63 |  0.000 % |
389.23/389.29	c |    311102 |   84942  1789068  5451065 | 2147483647   311102     62 |  0.000 % |
391.93/391.93	c |    313581 |   84942  1789068  5451065 | 2147483647   313581     62 |  0.000 % |
394.94/394.94	c |    316306 |   84942  1789068  5451065 | 2147483647   316306     62 |  0.000 % |
399.03/399.06	c |    319303 |   84942  1789068  5451065 | 2147483647   319303     62 |  0.000 % |
399.23/399.23	c |    319404 |   84942  1789068  5451065 | 2147483647   319404     62 |  0.000 % |
399.43/399.41	c |    319514 |   84942  1789068  5451065 | 2147483647   319514     62 |  0.000 % |
399.63/399.69	c |    319635 |   84942  1789068  5451065 | 2147483647   319635     62 |  0.000 % |
399.83/399.83	c |    319768 |   84942  1789068  5451065 | 2147483647   319768     62 |  0.000 % |
400.13/400.12	c |    319914 |   84942  1789068  5451065 | 2147483647   319914     62 |  0.000 % |
400.33/400.38	c |    320074 |   84942  1789068  5451065 | 2147483647   320074     62 |  0.000 % |
401.03/401.02	c |    320250 |   84942  1789068  5451065 | 2147483647   320250     62 |  0.000 % |
401.63/401.64	c |    320443 |   84942  1789068  5451065 | 2147483647   320443     62 |  0.000 % |
401.93/402.00	c |    320657 |   84942  1789068  5451065 | 2147483647   320657     62 |  0.000 % |
402.33/402.33	c |    320890 |   84942  1789068  5451065 | 2147483647   320890     62 |  0.000 % |
402.53/402.58	c |    321147 |   84942  1789068  5451065 | 2147483647   321147     62 |  0.000 % |
402.93/402.92	c |    321429 |   84942  1789068  5451065 | 2147483647   321429     62 |  0.000 % |
403.23/403.29	c |    321739 |   84942  1789068  5451065 | 2147483647   321739     62 |  0.000 % |
403.74/403.79	c |    322078 |   84942  1789068  5451065 | 2147483647   322078     62 |  0.000 % |
404.23/404.30	c |    322450 |   84942  1789068  5451065 | 2147483647   322450     62 |  0.000 % |
404.73/404.75	c |    322861 |   84942  1789068  5451065 | 2147483647   322861     62 |  0.000 % |
405.54/405.56	c |    323310 |   84942  1789068  5451065 | 2147483647   323310     62 |  0.000 % |
406.04/406.04	c |    323803 |   84942  1789068  5451065 | 2147483647   323803     62 |  0.000 % |
406.84/406.91	c |    324346 |   84942  1789068  5451065 | 2147483647   324346     62 |  0.000 % |
407.74/407.72	c |    324942 |   84942  1789068  5451065 | 2147483647   324942     62 |  0.000 % |
408.54/408.51	c |    325597 |   84942  1789068  5451065 | 2147483647   325597     62 |  0.000 % |
409.54/409.61	c |    326317 |   84942  1789068  5451065 | 2147483647   326317     62 |  0.000 % |
410.54/410.51	c |    327110 |   84942  1789068  5451065 | 2147483647   327110     62 |  0.000 % |
411.54/411.56	c |    327981 |   84942  1789068  5451065 | 2147483647   327981     62 |  0.000 % |
412.74/412.78	c |    328940 |   84942  1789068  5451065 | 2147483647   328940     62 |  0.000 % |
413.74/413.72	c |    329994 |   84942  1789068  5451065 | 2147483647   329994     62 |  0.000 % |
415.14/415.20	c |    331156 |   84942  1789068  5451065 | 2147483647   331156     62 |  0.000 % |
416.74/416.72	c |    332430 |   84942  1789068  5451065 | 2147483647   332430     62 |  0.000 % |
418.64/418.70	c |    333831 |   84942  1789068  5451065 | 2147483647   333831     62 |  0.000 % |
420.34/420.35	c |    335371 |   84942  1789068  5451065 | 2147483647   335371     62 |  0.000 % |
422.04/422.07	c |    337065 |   84942  1789068  5451065 | 2147483647   337065     62 |  0.000 % |
423.54/423.59	c |    338929 |   84942  1789068  5451065 | 2147483647   338929     62 |  0.000 % |
425.64/425.64	c |    340978 |   84942  1789068  5451065 | 2147483647   340978     62 |  0.000 % |
428.24/428.23	c |    343232 |   84942  1789068  5451065 | 2147483647   343232     62 |  0.000 % |
430.84/430.86	c |    345712 |   84942  1789068  5451065 | 2147483647   345712     62 |  0.000 % |
433.24/433.22	c |    348437 |   84942  1789068  5451065 | 2147483647   348437     62 |  0.000 % |
437.44/437.42	c |    351434 |   84942  1789068  5451065 | 2147483647   351434     62 |  0.000 % |
440.94/440.99	c |    354730 |   84942  1789068  5451065 | 2147483647   354730     62 |  0.000 % |
441.14/441.19	c |    354831 |   84942  1789068  5451065 | 2147483647   354831     62 |  0.000 % |
441.34/441.34	c |    354941 |   84942  1789068  5451065 | 2147483647   354941     62 |  0.000 % |
441.54/441.60	c |    355064 |   84942  1789068  5451065 | 2147483647   355064     62 |  0.000 % |
441.84/441.83	c |    355198 |   84942  1789068  5451065 | 2147483647   355198     62 |  0.000 % |
442.04/442.10	c |    355344 |   84942  1789068  5451065 | 2147483647   355344     62 |  0.000 % |
442.44/442.43	c |    355504 |   84942  1789068  5451065 | 2147483647   355504     62 |  0.000 % |
442.64/442.63	c |    355680 |   84942  1789068  5451065 | 2147483647   355680     62 |  0.000 % |
442.94/442.98	c |    355873 |   84942  1789068  5451065 | 2147483647   355873     62 |  0.000 % |
443.24/443.28	c |    356085 |   84942  1789068  5451065 | 2147483647   356085     62 |  0.000 % |
443.54/443.54	c |    356318 |   84942  1789068  5451065 | 2147483647   356318     62 |  0.000 % |
443.84/443.85	c |    356574 |   84942  1789068  5451065 | 2147483647   356574     62 |  0.000 % |
444.24/444.23	c |    356855 |   84942  1789068  5451065 | 2147483647   356855     62 |  0.000 % |
444.84/444.82	c |    357165 |   84942  1789068  5451065 | 2147483647   357165     62 |  0.000 % |
445.34/445.38	c |    357504 |   84942  1789068  5451065 | 2147483647   357504     62 |  0.000 % |
446.04/446.06	c |    357876 |   84942  1789068  5451065 | 2147483647   357876     62 |  0.000 % |
446.74/446.76	c |    358286 |   84942  1789068  5451065 | 2147483647   358286     62 |  0.000 % |
447.24/447.25	c |    358735 |   84942  1789068  5451065 | 2147483647   358735     62 |  0.000 % |
447.84/447.82	c |    359228 |   84942  1789068  5451065 | 2147483647   359228     62 |  0.000 % |
448.34/448.37	c |    359770 |   84942  1789068  5451065 | 2147483647   359770     62 |  0.000 % |
448.94/448.97	c |    360367 |   84942  1789068  5451065 | 2147483647   360367     62 |  0.000 % |
449.94/449.93	c |    361023 |   84942  1789068  5451065 | 2147483647   361023     62 |  0.000 % |
450.64/450.65	c |    361744 |   84942  1789068  5451065 | 2147483647   361744     62 |  0.000 % |
451.44/451.46	c |    362537 |   84942  1789068  5451065 | 2147483647   362537     61 |  0.000 % |
452.44/452.42	c |    363408 |   84942  1789068  5451065 | 2147483647   363408     61 |  0.000 % |
454.44/454.47	c |    364371 |   84942  1789068  5451065 | 2147483647   364371     61 |  0.000 % |
456.24/456.22	c |    365424 |   84942  1789068  5451065 | 2147483647   365424     61 |  0.000 % |
458.14/458.14	c |    366584 |   84942  1789068  5451065 | 2147483647   366584     61 |  0.000 % |
460.04/460.02	c |    367857 |   84942  1789068  5451065 | 2147483647   367857     61 |  0.000 % |
461.94/461.96	c |    369257 |   84942  1789068  5451065 | 2147483647   369257     61 |  0.000 % |
464.25/464.27	c |    370797 |   84942  1789068  5451065 | 2147483647   370797     61 |  0.000 % |
467.04/467.10	c |    372492 |   84942  1789068  5451065 | 2147483647   372492     61 |  0.000 % |
469.54/469.52	c |    374355 |   84942  1789068  5451065 | 2147483647   374355     61 |  0.000 % |
472.24/472.24	c |    376404 |   84942  1789068  5451065 | 2147483647   376404     61 |  0.000 % |
476.14/476.18	c |    378657 |   84942  1789068  5451065 | 2147483647   378657     61 |  0.000 % |
479.04/479.05	c |    381137 |   84942  1789068  5451065 | 2147483647   381137     61 |  0.000 % |
482.95/482.96	c |    383864 |   84942  1789068  5451065 | 2147483647   383864     61 |  0.000 % |
487.35/487.39	c |    386863 |   84942  1789068  5451065 | 2147483647   386863     60 |  0.000 % |
493.44/493.43	c |    390159 |   84942  1789068  5451065 | 2147483647   390159     60 |  0.000 % |
498.94/498.95	c |    393785 |   84942  1789068  5451065 | 2147483647   393785     60 |  0.000 % |
499.14/499.12	c |    393885 |   84942  1789068  5451065 | 2147483647   393885     60 |  0.000 % |
499.34/499.32	c |    393995 |   84942  1789068  5451065 | 2147483647   393995     60 |  0.000 % |
499.54/499.55	c |    394117 |   84942  1789068  5451065 | 2147483647   394117     60 |  0.000 % |
499.84/499.81	c |    394251 |   84942  1789068  5451065 | 2147483647   394251     60 |  0.000 % |
500.04/500.08	c |    394398 |   84942  1789068  5451065 | 2147483647   394398     60 |  0.000 % |
500.55/500.60	c |    394558 |   84942  1789068  5451065 | 2147483647   394558     60 |  0.000 % |
500.84/500.85	c |    394734 |   84942  1789068  5451065 | 2147483647   394734     60 |  0.000 % |
501.14/501.12	c |    394927 |   84942  1789068  5451065 | 2147483647   394927     60 |  0.000 % |
501.44/501.46	c |    395146 |   84942  1789068  5451065 | 2147483647   395146     60 |  0.000 % |
501.94/501.95	c |    395379 |   84942  1789068  5451065 | 2147483647   395379     60 |  0.000 % |
502.75/502.75	c |    395635 |   84942  1789068  5451065 | 2147483647   395635     60 |  0.000 % |
503.65/503.62	c |    395917 |   84942  1789068  5451065 | 2147483647   395917     60 |  0.000 % |
504.15/504.16	c |    396226 |   84942  1789068  5451065 | 2147483647   396226     60 |  0.000 % |
504.75/504.78	c |    396565 |   84942  1789068  5451065 | 2147483647   396565     60 |  0.000 % |
505.35/505.38	c |    396937 |   84942  1789068  5451065 | 2147483647   396937     60 |  0.000 % |
506.15/506.14	c |    397347 |   84942  1789068  5451065 | 2147483647   397347     60 |  0.000 % |
506.75/506.72	c |    397796 |   84942  1789068  5451065 | 2147483647   397796     60 |  0.000 % |
507.25/507.26	c |    398289 |   84942  1789068  5451065 | 2147483647   398289     60 |  0.000 % |
508.05/508.03	c |    398832 |   84942  1789068  5451065 | 2147483647   398832     60 |  0.000 % |
508.95/509.01	c |    399428 |   84942  1789068  5451065 | 2147483647   399428     60 |  0.000 % |
510.05/510.04	c |    400083 |   84942  1789068  5451065 | 2147483647   400083     60 |  0.000 % |
510.95/510.95	c |    400803 |   84942  1789068  5451065 | 2147483647   400803     60 |  0.000 % |
512.15/512.13	c |    401595 |   84942  1789068  5451065 | 2147483647   401595     60 |  0.000 % |
513.45/513.50	c |    402466 |   84942  1789068  5451065 | 2147483647   402466     60 |  0.000 % |
515.05/515.02	c |    403425 |   84942  1789068  5451065 | 2147483647   403425     60 |  0.000 % |
516.45/516.46	c |    404478 |   84942  1789068  5451065 | 2147483647   404478     60 |  0.000 % |
518.25/518.25	c |    405636 |   84942  1789068  5451065 | 2147483647   405636     60 |  0.000 % |
520.05/520.02	c |    406909 |   84942  1789068  5451065 | 2147483647   406909     60 |  0.000 % |
522.75/522.80	c |    408309 |   84942  1789068  5451065 | 2147483647   408309     60 |  0.000 % |
524.95/524.97	c |    409849 |   84942  1789068  5451065 | 2147483647   409849     60 |  0.000 % |
527.25/527.26	c |    411544 |   84942  1789068  5451065 | 2147483647   411544     60 |  0.000 % |
529.85/529.89	c |    413407 |   84942  1789068  5451065 | 2147483647   413407     60 |  0.000 % |
532.65/532.67	c |    415456 |   84942  1789068  5451065 | 2147483647   415456     60 |  0.000 % |
535.25/535.28	c |    417709 |   84942  1789068  5451065 | 2147483647   417709     60 |  0.000 % |
538.25/538.29	c |    420187 |   84942  1789068  5451065 | 2147483647   420187     60 |  0.000 % |
542.95/542.98	c |    422912 |   84942  1789068  5451065 | 2147483647   422912     60 |  0.000 % |
547.35/547.34	c |    425909 |   84942  1789068  5451065 | 2147483647   425909     60 |  0.000 % |
552.05/552.04	c |    429205 |   84942  1789068  5451065 | 2147483647   429205     60 |  0.000 % |
558.85/558.82	c |    432830 |   84942  1789068  5451065 | 2147483647   432830     59 |  0.000 % |
566.25/566.26	c |    436818 |   84942  1789068  5451065 | 2147483647   436818     59 |  0.000 % |
566.56/566.52	c |    436923 |   84942  1789068  5451065 | 2147483647   436923     59 |  0.000 % |
566.75/566.75	c |    437033 |   84942  1789068  5451065 | 2147483647   437033     59 |  0.000 % |
567.05/567.03	c |    437154 |   84942  1789068  5451065 | 2147483647   437154     59 |  0.000 % |
567.25/567.27	c |    437288 |   84942  1789068  5451065 | 2147483647   437288     59 |  0.000 % |
567.55/567.53	c |    437435 |   84942  1789068  5451065 | 2147483647   437435     59 |  0.000 % |
567.75/567.76	c |    437595 |   84942  1789068  5451065 | 2147483647   437595     59 |  0.000 % |
568.05/568.07	c |    437772 |   84942  1789068  5451065 | 2147483647   437772     59 |  0.000 % |
568.35/568.38	c |    437966 |   84942  1789068  5451065 | 2147483647   437966     59 |  0.000 % |
568.65/568.70	c |    438178 |   84942  1789068  5451065 | 2147483647   438178     59 |  0.000 % |
569.05/569.04	c |    438411 |   84942  1789068  5451065 | 2147483647   438411     59 |  0.000 % |
569.45/569.49	c |    438669 |   84942  1789068  5451065 | 2147483647   438669     59 |  0.000 % |
569.95/569.98	c |    438950 |   84942  1789068  5451065 | 2147483647   438950     59 |  0.000 % |
570.55/570.58	c |    439261 |   84942  1789068  5451065 | 2147483647   439261     59 |  0.000 % |
571.15/571.11	c |    439602 |   84942  1789068  5451065 | 2147483647   439602     59 |  0.000 % |
571.65/571.62	c |    439975 |   84942  1789068  5451065 | 2147483647   439975     59 |  0.000 % |
572.45/572.42	c |    440387 |   84942  1789068  5451065 | 2147483647   440387     59 |  0.000 % |
573.05/573.10	c |    440836 |   84942  1789068  5451065 | 2147483647   440836     59 |  0.000 % |
574.75/574.78	c |    441329 |   84942  1789068  5451065 | 2147483647   441329     59 |  0.000 % |
576.35/576.33	c |    441872 |   84942  1789068  5451065 | 2147483647   441872     59 |  0.000 % |
577.75/577.73	c |    442468 |   84942  1789068  5451065 | 2147483647   442468     59 |  0.000 % |
579.45/579.49	c |    443124 |   84942  1789068  5451065 | 2147483647   443124     59 |  0.000 % |
580.55/580.51	c |    443846 |   84942  1789068  5451065 | 2147483647   443846     59 |  0.000 % |
581.65/581.62	c |    444639 |   84942  1789068  5451065 | 2147483647   444639     59 |  0.000 % |
582.85/582.88	c |    445514 |   84942  1789068  5451065 | 2147483647   445514     59 |  0.000 % |
585.85/585.87	c |    446474 |   84942  1789068  5451065 | 2147483647   446474     59 |  0.000 % |
587.65/587.69	c |    447527 |   84942  1789068  5451065 | 2147483647   447527     59 |  0.000 % |
589.95/589.94	c |    448688 |   84942  1789068  5451065 | 2147483647   448688     59 |  0.000 % |
591.75/591.73	c |    449963 |   84942  1789068  5451065 | 2147483647   449963     59 |  0.000 % |
593.95/594.01	c |    451363 |   84942  1789068  5451065 | 2147483647   451363     59 |  0.000 % |
596.15/596.21	c |    452903 |   84942  1789068  5451065 | 2147483647   452903     59 |  0.000 % |
597.74/597.79	c |    454597 |   84942  1789068  5451065 | 2147483647   454597     59 |  0.000 % |
600.44/600.44	c |    456460 |   84942  1789068  5451065 | 2147483647   456460     59 |  0.000 % |
603.75/603.81	c |    458509 |   84942  1789068  5451065 | 2147483647   458509     59 |  0.000 % |
606.75/606.79	c |    460762 |   84942  1789068  5451065 | 2147483647   460762     59 |  0.000 % |
610.05/610.11	c |    463240 |   84942  1789068  5451065 | 2147483647   463240     59 |  0.000 % |
613.25/613.26	c |    465965 |   84942  1789068  5451065 | 2147483647   465965     59 |  0.000 % |
617.25/617.30	c |    468964 |   84942  1789068  5451065 | 2147483647   468964     59 |  0.000 % |
621.05/621.10	c |    472260 |   84942  1789068  5451065 | 2147483647   472260     59 |  0.000 % |
626.15/626.12	c |    475887 |   84942  1789068  5451065 | 2147483647   475887     59 |  0.000 % |
631.66/631.70	c |    479874 |   84942  1789068  5451065 | 2147483647   479874     58 |  0.000 % |
637.26/637.30	c |    484260 |   84942  1789068  5451065 | 2147483647   484260     58 |  0.000 % |
637.56/637.52	c |    484360 |   84942  1789068  5451065 | 2147483647   484360     58 |  0.000 % |
637.86/637.87	c |    484470 |   84942  1789068  5451065 | 2147483647   484470     58 |  0.000 % |
638.06/638.03	c |    484591 |   84942  1789068  5451065 | 2147483647   484591     58 |  0.000 % |
638.26/638.22	c |    484725 |   84942  1789068  5451065 | 2147483647   484725     58 |  0.000 % |
638.36/638.40	c |    484871 |   84942  1789068  5451065 | 2147483647   484871     58 |  0.000 % |
638.76/638.78	c |    485032 |   84942  1789068  5451065 | 2147483647   485032     58 |  0.000 % |
639.16/639.14	c |    485208 |   84942  1789068  5451065 | 2147483647   485208     58 |  0.000 % |
639.46/639.46	c |    485402 |   84942  1789068  5451065 | 2147483647   485402     58 |  0.000 % |
639.76/639.74	c |    485616 |   84942  1789068  5451065 | 2147483647   485616     58 |  0.000 % |
640.06/640.06	c |    485852 |   84942  1789068  5451065 | 2147483647   485852     58 |  0.000 % |
640.56/640.53	c |    486108 |   84942  1789068  5451065 | 2147483647   486108     58 |  0.000 % |
640.96/640.98	c |    486391 |   84942  1789068  5451065 | 2147483647   486391     58 |  0.000 % |
641.36/641.40	c |    486700 |   84942  1789068  5451065 | 2147483647   486700     58 |  0.000 % |
642.26/642.29	c |    487042 |   84942  1789068  5451065 | 2147483647   487042     58 |  0.000 % |
643.16/643.13	c |    487415 |   84942  1789068  5451065 | 2147483647   487415     58 |  0.000 % |
643.86/643.90	c |    487824 |   84942  1789068  5451065 | 2147483647   487824     58 |  0.000 % |
645.26/645.30	c |    488273 |   84942  1789068  5451065 | 2147483647   488273     58 |  0.000 % |
646.06/646.08	c |    488766 |   84942  1789068  5451065 | 2147483647   488766     58 |  0.000 % |
647.06/647.04	c |    489308 |   84942  1789068  5451065 | 2147483647   489308     58 |  0.000 % |
647.66/647.68	c |    489904 |   84942  1789068  5451065 | 2147483647   489904     58 |  0.000 % |
648.46/648.43	c |    490560 |   84942  1789068  5451065 | 2147483647   490560     58 |  0.000 % |
650.26/650.26	c |    491280 |   84942  1789068  5451065 | 2147483647   491280     58 |  0.000 % |
651.76/651.72	c |    492072 |   84942  1789068  5451065 | 2147483647   492072     58 |  0.000 % |
653.76/653.82	c |    492943 |   84942  1789068  5451065 | 2147483647   492943     58 |  0.000 % |
656.86/656.84	c |    493903 |   84942  1789068  5451065 | 2147483647   493903     58 |  0.000 % |
658.76/658.80	c |    494956 |   84942  1789068  5451065 | 2147483647   494956     58 |  0.000 % |
660.66/660.62	c |    496114 |   84942  1789068  5451065 | 2147483647   496114     58 |  0.000 % |
662.66/662.63	c |    497387 |   84942  1789068  5451065 | 2147483647   497387     58 |  0.000 % |
665.16/665.14	c |    498787 |   84942  1789068  5451065 | 2147483647   498787     58 |  0.000 % |
667.56/667.60	c |    500328 |   84942  1789068  5451065 | 2147483647   500328     58 |  0.000 % |
669.56/669.52	c |    502022 |   84942  1789068  5451065 | 2147483647   502022     58 |  0.000 % |
672.26/672.30	c |    503885 |   84942  1789068  5451065 | 2147483647   503885     58 |  0.001 % |
675.06/675.07	c |    505934 |   84942  1789068  5451065 | 2147483647   505934     58 |  0.000 % |
678.26/678.26	c |    508190 |   84942  1789068  5451065 | 2147483647   508190     58 |  0.000 % |
681.76/681.77	c |    510668 |   84942  1789068  5451065 | 2147483647   510668     58 |  0.000 % |
685.37/685.34	c |    513393 |   84942  1789068  5451065 | 2147483647   513393     58 |  0.000 % |
693.55/693.51	c |    516390 |   84942  1789068  5451065 | 2147483647   516390     58 |  0.000 % |
697.15/697.17	c |    519686 |   84942  1789068  5451065 | 2147483647   519686     58 |  0.000 % |
699.46/699.45	c |    523311 |   84942  1789068  5451065 | 2147483647   523311     58 |  0.000 % |
703.06/703.05	c |    527299 |   84942  1789068  5451065 | 2147483647   527299     58 |  0.000 % |
708.56/708.56	c |    531685 |   84942  1789068  5451065 | 2147483647   531685     58 |  0.000 % |
713.16/713.16	c |    536508 |   84942  1789068  5451065 | 2147483647   536508     59 |  0.000 % |
713.56/713.56	c |    536609 |   84942  1789068  5451065 | 2147483647   536609     59 |  0.001 % |
713.76/713.78	c |    536719 |   84942  1789068  5451065 | 2147483647   536719     59 |  0.001 % |
713.96/713.99	c |    536840 |   84942  1789068  5451065 | 2147483647   536840     59 |  0.000 % |
714.26/714.22	c |    536974 |   84942  1789068  5451065 | 2147483647   536974     59 |  0.001 % |
714.36/714.39	c |    537120 |   84942  1789068  5451065 | 2147483647   537120     59 |  0.001 % |
714.76/714.72	c |    537280 |   84942  1789068  5451065 | 2147483647   537280     59 |  0.001 % |
714.96/714.93	c |    537457 |   84942  1789068  5451065 | 2147483647   537457     59 |  0.000 % |
793.86/793.82	c |    537652 |   74908  1604498  4923594 | 2147483647    85095     52 | 11.813 % |
794.46/794.48	c |    537864 |   74908  1604498  4923594 | 2147483647    85307     52 | 11.813 % |
794.76/794.77	c |    538098 |   74908  1604498  4923594 | 2147483647    85541     52 | 11.813 % |
794.96/794.99	c |    538355 |   74908  1604498  4923594 | 2147483647    85798     52 | 11.813 % |
795.46/795.46	c |    538636 |   74908  1604498  4923594 | 2147483647    86079     52 | 11.813 % |
795.86/795.88	c |    538945 |   74908  1604498  4923594 | 2147483647    86388     52 | 11.813 % |
796.16/796.12	c |    539284 |   74908  1604498  4923594 | 2147483647    86727     53 | 11.813 % |
796.36/796.31	c |    539658 |   74908  1604498  4923594 | 2147483647    87101     52 | 11.813 % |
796.56/796.60	c |    540067 |   74908  1604498  4923594 | 2147483647    87510     52 | 11.813 % |
797.37/797.38	c |    540516 |   74908  1604498  4923594 | 2147483647    87959     53 | 11.813 % |
797.77/797.78	c |    541009 |   74908  1604498  4923594 | 2147483647    88452     52 | 11.813 % |
798.67/798.67	c |    541551 |   74908  1604498  4923594 | 2147483647    88994     52 | 11.813 % |
799.07/799.08	c |    542148 |   74908  1604498  4923594 | 2147483647    89591     52 | 11.813 % |
800.07/800.04	c |    542804 |   74908  1604498  4923594 | 2147483647    90247     52 | 11.813 % |
800.27/800.24	c |    543525 |   74908  1604498  4923594 | 2147483647    90968     52 | 11.813 % |
800.87/800.83	c |    544318 |   74908  1604498  4923594 | 2147483647    91761     53 | 11.813 % |
801.77/801.72	c |    545191 |   74908  1604498  4923594 | 2147483647    92634     53 | 11.813 % |
802.57/802.59	c |    546149 |   74908  1604498  4923594 | 2147483647    93592     53 | 11.813 % |
803.37/803.33	c |    547203 |   74908  1604498  4923594 | 2147483647    94646     53 | 11.813 % |
804.27/804.28	c |    548361 |   74908  1604498  4923594 | 2147483647    95804     53 | 11.813 % |
804.77/804.80	c |    549634 |   74908  1604498  4923594 | 2147483647    97077     53 | 11.813 % |
805.77/805.73	c |    551035 |   74908  1604498  4923594 | 2147483647    98478     53 | 11.813 % |
807.57/807.58	c |    552576 |   74908  1604498  4923594 | 2147483647   100019     53 | 11.813 % |
809.57/809.55	c |    554270 |   74908  1604498  4923594 | 2147483647   101713     54 | 11.813 % |
810.77/810.78	c |    556134 |   74908  1604498  4923594 | 2147483647   103577     54 | 11.813 % |
811.97/812.00	c |    558183 |   74908  1604498  4923594 | 2147483647   105626     55 | 11.813 % |
813.47/813.46	c |    560437 |   74908  1604498  4923594 | 2147483647   107880     55 | 11.813 % |
814.67/814.62	c |    562915 |   74908  1604498  4923594 | 2147483647   110358     55 | 11.813 % |
817.07/817.10	c |    565640 |   74908  1604498  4923594 | 2147483647   113083     56 | 11.813 % |
819.47/819.43	c |    568637 |   74908  1604498  4923594 | 2147483647   116080     57 | 11.813 % |
822.27/822.28	c |    571933 |   74908  1604498  4923594 | 2147483647   119376     57 | 11.813 % |
825.47/825.43	c |    575559 |   74908  1604498  4923594 | 2147483647   123002     58 | 11.813 % |
828.47/828.45	c |    579546 |   74908  1604498  4923594 | 2147483647   126989     58 | 11.813 % |
832.87/832.91	c |    583931 |   74908  1604498  4923594 | 2147483647   131374     59 | 11.813 % |
837.37/837.36	c |    588755 |   74908  1604498  4923594 | 2147483647   136198     60 | 11.813 % |
840.57/840.56	c |    594060 |   74908  1604498  4923594 | 2147483647   141503     61 | 11.813 % |
840.77/840.78	c |    594160 |   74908  1604498  4923594 | 2147483647   141603     61 | 11.813 % |
840.87/840.89	c |    594271 |   74908  1604498  4923594 | 2147483647   141714     61 | 11.813 % |
841.27/841.29	c |    594393 |   74908  1604498  4923594 | 2147483647   141836     61 | 11.813 % |
841.57/841.55	c |    594529 |   74908  1604498  4923594 | 2147483647   141972     61 | 11.813 % |
841.67/841.69	c |    594676 |   74908  1604498  4923594 | 2147483647   142119     61 | 11.813 % |
841.77/841.81	c |    594837 |   74908  1604498  4923594 | 2147483647   142280     61 | 11.813 % |
842.17/842.14	c |    595013 |   74908  1604498  4923594 | 2147483647   142456     61 | 11.813 % |
842.57/842.56	c |    595206 |   74908  1604498  4923594 | 2147483647   142649     61 | 11.813 % |
842.77/842.75	c |    595419 |   74908  1604498  4923594 | 2147483647   142862     61 | 11.813 % |
843.17/843.11	c |    595653 |   74908  1604498  4923594 | 2147483647   143096     61 | 11.813 % |
843.37/843.34	c |    595910 |   74908  1604498  4923594 | 2147483647   143353     61 | 11.813 % |
843.67/843.66	c |    596191 |   74908  1604498  4923594 | 2147483647   143634     61 | 11.813 % |
843.87/843.86	c |    596500 |   74908  1604498  4923594 | 2147483647   143943     61 | 11.813 % |
844.47/844.49	c |    596839 |   74908  1604498  4923594 | 2147483647   144282     61 | 11.813 % |
844.87/844.84	c |    597212 |   74908  1604498  4923594 | 2147483647   144655     61 | 11.813 % |
845.07/845.06	c |    597621 |   74908  1604498  4923594 | 2147483647   145064     61 | 11.813 % |
845.67/845.64	c |    598072 |   74908  1604498  4923594 | 2147483647   145515     61 | 11.813 % |
846.27/846.29	c |    598566 |   74908  1604498  4923594 | 2147483647   146009     61 | 11.813 % |
846.87/846.88	c |    599109 |   74908  1604498  4923594 | 2147483647   146552     61 | 11.813 % |
847.77/847.80	c |    599705 |   74908  1604498  4923594 | 2147483647   147148     61 | 11.813 % |
848.27/848.28	c |    600361 |   74908  1604498  4923594 | 2147483647   147804     61 | 11.813 % |
848.87/848.87	c |    601086 |   74908  1604498  4923594 | 2147483647   148529     61 | 11.813 % |
849.67/849.62	c |    601878 |   74908  1604498  4923594 | 2147483647   149321     61 | 11.813 % |
850.77/850.81	c |    602750 |   74908  1604498  4923594 | 2147483647   150193     61 | 11.813 % |
851.57/851.61	c |    603709 |   74908  1604498  4923594 | 2147483647   151152     61 | 11.813 % |
852.87/852.82	c |    604762 |   74908  1604498  4923594 | 2147483647   152205     61 | 11.813 % |
854.37/854.31	c |    605921 |   74908  1604498  4923594 | 2147483647   153364     61 | 11.813 % |
855.67/855.68	c |    607194 |   74908  1604498  4923594 | 2147483647   154637     61 | 11.813 % |
857.37/857.31	c |    608594 |   74908  1604498  4923594 | 2147483647   156037     61 | 11.813 % |
858.57/858.60	c |    610134 |   74908  1604498  4923594 | 2147483647   157577     61 | 11.813 % |
860.17/860.18	c |    611828 |   74908  1604498  4923594 | 2147483647   159271     61 | 11.813 % |
861.57/861.61	c |    613691 |   74908  1604498  4923594 | 2147483647   161134     61 | 11.813 % |
863.87/863.89	c |    615742 |   74908  1604498  4923594 | 2147483647   163185     61 | 11.813 % |
866.37/866.31	c |    617996 |   74908  1604498  4923594 | 2147483647   165439     62 | 11.813 % |
869.47/869.45	c |    620475 |   74908  1604498  4923594 | 2147483647   167918     62 | 11.813 % |
872.77/872.76	c |    623204 |   74908  1604498  4923594 | 2147483647   170647     62 | 11.813 % |
876.37/876.37	c |    626202 |   74908  1604498  4923594 | 2147483647   173645     62 | 11.813 % |
879.77/879.72	c |    629498 |   74908  1604498  4923594 | 2147483647   176941     62 | 11.813 % |
883.97/883.93	c |    633123 |   74908  1604498  4923594 | 2147483647   180566     62 | 11.813 % |
887.57/887.60	c |    637111 |   74908  1604498  4923594 | 2147483647   184554     62 | 11.813 % |
892.18/892.19	c |    641496 |   74908  1604498  4923594 | 2147483647   188939     62 | 11.813 % |
897.98/897.99	c |    646319 |   74908  1604498  4923594 | 2147483647   193762     62 | 11.813 % |
903.68/903.71	c |    651624 |   74908  1604498  4923594 | 2147483647   199067     62 | 11.813 % |
909.88/909.91	c |    657460 |   74908  1604498  4923594 | 2147483647   204903     62 | 11.813 % |
909.98/910.00	c |    657560 |   74908  1604498  4923594 | 2147483647   205003     62 | 11.813 % |
910.18/910.14	c |    657670 |   74908  1604498  4923594 | 2147483647   205113     62 | 11.813 % |
910.28/910.26	c |    657792 |   74908  1604498  4923594 | 2147483647   205235     62 | 11.813 % |
910.78/910.80	c |    657925 |   74908  1604498  4923594 | 2147483647   205368     62 | 11.813 % |
910.98/910.98	c |    658071 |   74908  1604498  4923594 | 2147483647   205514     62 | 11.813 % |
911.28/911.26	c |    658231 |   74908  1604498  4923594 | 2147483647   205674     62 | 11.813 % |
911.48/911.48	c |    658408 |   74908  1604498  4923594 | 2147483647   205851     62 | 11.813 % |
911.68/911.64	c |    658602 |   74908  1604498  4923594 | 2147483647   206045     62 | 11.813 % |
912.08/912.02	c |    658814 |   74908  1604498  4923594 | 2147483647   206257     62 | 11.813 % |
912.28/912.24	c |    659047 |   74908  1604498  4923594 | 2147483647   206490     62 | 11.813 % |
912.58/912.52	c |    659303 |   74908  1604498  4923594 | 2147483647   206746     62 | 11.813 % |
912.98/912.95	c |    659585 |   74908  1604498  4923594 | 2147483647   207028     62 | 11.813 % |
913.48/913.52	c |    659894 |   74908  1604498  4923594 | 2147483647   207337     62 | 11.813 % |
914.08/914.08	c |    660235 |   74908  1604498  4923594 | 2147483647   207678     62 | 11.813 % |
914.68/914.68	c |    660607 |   74908  1604498  4923594 | 2147483647   208050     62 | 11.813 % |
915.18/915.22	c |    661016 |   74908  1604498  4923594 | 2147483647   208459     62 | 11.813 % |
915.58/915.58	c |    661465 |   74908  1604498  4923594 | 2147483647   208908     62 | 11.813 % |
916.18/916.16	c |    661959 |   74908  1604498  4923594 | 2147483647   209402     62 | 11.813 % |
916.68/916.63	c |    662501 |   74908  1604498  4923594 | 2147483647   209944     62 | 11.813 % |
917.28/917.23	c |    663097 |   74908  1604498  4923594 | 2147483647   210540     62 | 11.813 % |
918.38/918.33	c |    663753 |   74908  1604498  4923594 | 2147483647   211196     62 | 11.813 % |
919.28/919.29	c |    664473 |   74908  1604498  4923594 | 2147483647   211916     62 | 11.813 % |
920.38/920.32	c |    665266 |   74908  1604498  4923594 | 2147483647   212709     62 | 11.813 % |
921.08/921.09	c |    666138 |   74908  1604498  4923594 | 2147483647   213581     62 | 11.813 % |
921.98/922.01	c |    667096 |   74908  1604498  4923594 | 2147483647   214539     62 | 11.813 % |
922.98/922.98	c |    668149 |   74908  1604498  4923594 | 2147483647   215592     62 | 11.813 % |
924.38/924.37	c |    669307 |   74908  1604498  4923594 | 2147483647   216750     62 | 11.813 % |
926.18/926.20	c |    670581 |   74908  1604498  4923594 | 2147483647   218024     62 | 11.813 % |
927.98/927.96	c |    671981 |   74908  1604498  4923594 | 2147483647   219424     62 | 11.813 % |
929.58/929.59	c |    673521 |   74908  1604498  4923594 | 2147483647   220964     62 | 11.813 % |
931.78/931.81	c |    675217 |   74908  1604498  4923594 | 2147483647   222660     62 | 11.813 % |
933.68/933.67	c |    677080 |   74908  1604498  4923594 | 2147483647   224523     62 | 11.813 % |
936.38/936.37	c |    679130 |   74908  1604498  4923594 | 2147483647   226573     63 | 11.813 % |
938.28/938.27	c |    681383 |   74908  1604498  4923594 | 2147483647   228826     62 | 11.813 % |
941.98/941.97	c |    683861 |   74908  1604498  4923594 | 2147483647   231304     62 | 11.813 % |
945.58/945.54	c |    686586 |   74908  1604498  4923594 | 2147483647   234029     62 | 11.813 % |
949.58/949.54	c |    689583 |   74908  1604498  4923594 | 2147483647   237026     63 | 11.813 % |
953.79/953.80	c |    692879 |   74908  1604498  4923594 | 2147483647   240322     63 | 11.813 % |
958.68/958.63	c |    696504 |   74908  1604498  4923594 | 2147483647   243947     64 | 11.813 % |
963.78/963.73	c |    700491 |   74908  1604498  4923594 | 2147483647   247934     64 | 11.813 % |
969.68/969.70	c |    704876 |   74908  1604498  4923594 | 2147483647   252319     65 | 11.813 % |
975.68/975.66	c |    709699 |   74908  1604498  4923594 | 2147483647   257142     65 | 11.813 % |
982.58/982.57	c |    715005 |   74908  1604498  4923594 | 2147483647   262448     65 | 11.813 % |
992.38/992.40	c |    720842 |   74908  1604498  4923594 | 2147483647   268285     65 | 11.813 % |
1001.79/1001.75	c |    727261 |   74908  1604498  4923594 | 2147483647   274704     66 | 11.813 % |
1002.09/1002.05	c |    727362 |   74908  1604498  4923594 | 2147483647   274805     66 | 11.813 % |
1002.19/1002.21	c |    727472 |   74908  1604498  4923594 | 2147483647   274915     66 | 11.813 % |
1002.59/1002.52	c |    727593 |   74908  1604498  4923594 | 2147483647   275036     66 | 11.813 % |
1002.89/1002.82	c |    727726 |   74908  1604498  4923594 | 2147483647   275169     66 | 11.813 % |
1003.09/1003.04	c |    727872 |   74908  1604498  4923594 | 2147483647   275315     66 | 11.813 % |
1003.29/1003.29	c |    728032 |   74908  1604498  4923594 | 2147483647   275475     66 | 11.813 % |
1003.79/1003.81	c |    728209 |   74908  1604498  4923594 | 2147483647   275652     66 | 11.813 % |
1004.19/1004.14	c |    728402 |   74908  1604498  4923594 | 2147483647   275845     66 | 11.813 % |
1004.69/1004.66	c |    728614 |   74908  1604498  4923594 | 2147483647   276057     66 | 11.813 % |
1005.09/1005.04	c |    728847 |   74908  1604498  4923594 | 2147483647   276290     66 | 11.813 % |
1005.59/1005.57	c |    729103 |   74908  1604498  4923594 | 2147483647   276546     66 | 11.813 % |
1006.09/1006.07	c |    729385 |   74908  1604498  4923594 | 2147483647   276828     66 | 11.813 % |
1006.59/1006.58	c |    729695 |   74908  1604498  4923594 | 2147483647   277138     66 | 11.813 % |
1007.09/1007.02	c |    730034 |   74908  1604498  4923594 | 2147483647   277477     66 | 11.813 % |
1007.69/1007.66	c |    730407 |   74908  1604498  4923594 | 2147483647   277850     66 | 11.813 % |
1008.29/1008.23	c |    730816 |   74908  1604498  4923594 | 2147483647   278259     66 | 11.813 % |
1008.69/1008.65	c |    731265 |   74908  1604498  4923594 | 2147483647   278708     66 | 11.813 % |
1009.49/1009.44	c |    731759 |   74908  1604498  4923594 | 2147483647   279202     66 | 11.813 % |
1010.59/1010.54	c |    732301 |   74908  1604498  4923594 | 2147483647   279744     66 | 11.813 % |
1011.49/1011.48	c |    732897 |   74908  1604498  4923594 | 2147483647   280340     66 | 11.813 % |
1012.59/1012.54	c |    733552 |   74908  1604498  4923594 | 2147483647   280995     66 | 11.813 % |
1013.69/1013.62	c |    734272 |   74908  1604498  4923594 | 2147483647   281715     66 | 11.813 % |
1014.79/1014.73	c |    735064 |   74908  1604498  4923594 | 2147483647   282507     66 | 11.813 % |
1016.39/1016.40	c |    735935 |   74908  1604498  4923594 | 2147483647   283378     65 | 11.813 % |
1017.79/1017.78	c |    736893 |   74908  1604498  4923594 | 2147483647   284336     65 | 11.813 % |
1019.49/1019.47	c |    737946 |   74908  1604498  4923594 | 2147483647   285389     65 | 11.813 % |
1021.59/1021.58	c |    739105 |   74908  1604498  4923594 | 2147483647   286548     65 | 11.813 % |
1023.69/1023.69	c |    740378 |   74908  1604498  4923594 | 2147483647   287821     65 | 11.813 % |
1025.89/1025.91	c |    741778 |   74908  1604498  4923594 | 2147483647   289221     65 | 11.813 % |
1028.19/1028.17	c |    743318 |   74908  1604498  4923594 | 2147483647   290761     65 | 11.813 % |
1030.59/1030.55	c |    745012 |   74908  1604498  4923594 | 2147483647   292455     65 | 11.813 % |
1033.49/1033.42	c |    746875 |   74908  1604498  4923594 | 2147483647   294318     65 | 11.813 % |
1036.49/1036.47	c |    748926 |   74908  1604498  4923594 | 2147483647   296369     65 | 11.813 % |
1039.99/1039.94	c |    751179 |   74908  1604498  4923594 | 2147483647   298622     65 | 11.813 % |
1043.59/1043.58	c |    753657 |   74908  1604498  4923594 | 2147483647   301100     65 | 11.813 % |
1047.28/1047.25	c |    756382 |   74908  1604498  4923594 | 2147483647   303825     65 | 11.813 % |
1052.88/1052.84	c |    759380 |   74908  1604498  4923594 | 2147483647   306823     65 | 11.813 % |
1058.29/1058.28	c |    762676 |   74908  1604498  4923594 | 2147483647   310119     64 | 11.813 % |
1064.89/1064.90	c |    766301 |   74908  1604498  4923594 | 2147483647   313744     64 | 11.813 % |
1071.28/1071.27	c |    770289 |   74908  1604498  4923594 | 2147483647   317732     64 | 11.813 % |
1079.48/1079.48	c |    774676 |   74908  1604498  4923594 | 2147483647   322119     64 | 11.813 % |
1087.38/1087.33	c |    779499 |   74908  1604498  4923594 | 2147483647   326942     64 | 11.813 % |
1097.69/1097.68	c |    784805 |   74908  1604498  4923594 | 2147483647   332248     64 | 11.813 % |
1107.89/1107.81	c |    790640 |   74908  1604498  4923594 | 2147483647   338083     64 | 11.813 % |
1119.69/1119.61	c |    797058 |   74908  1604498  4923594 | 2147483647   344501     64 | 11.813 % |
1134.29/1134.28	c |    804117 |   74908  1604498  4923594 | 2147483647   351560     65 | 11.813 % |
1134.59/1134.55	c |    804217 |   74908  1604498  4923594 | 2147483647   351660     65 | 11.813 % |
1134.89/1134.82	c |    804328 |   74908  1604498  4923594 | 2147483647   351771     65 | 11.813 % |
1135.29/1135.21	c |    804449 |   74908  1604498  4923594 | 2147483647   351892     65 | 11.813 % |
1135.59/1135.52	c |    804582 |   74908  1604498  4923594 | 2147483647   352025     65 | 11.813 % |
1135.99/1136.00	c |    804731 |   74908  1604498  4923594 | 2147483647   352174     65 | 11.813 % |
1136.39/1136.36	c |    804891 |   74908  1604498  4923594 | 2147483647   352334     65 | 11.813 % |
1136.79/1136.72	c |    805068 |   74908  1604498  4923594 | 2147483647   352511     65 | 11.813 % |
1137.29/1137.30	c |    805263 |   74908  1604498  4923594 | 2147483647   352706     65 | 11.813 % |
1137.89/1137.83	c |    805476 |   74908  1604498  4923594 | 2147483647   352919     65 | 11.813 % |
1138.39/1138.37	c |    805710 |   74908  1604498  4923594 | 2147483647   353153     65 | 11.813 % |
1139.29/1139.22	c |    805966 |   74908  1604498  4923594 | 2147483647   353409     65 | 11.813 % |
1139.79/1139.71	c |    806248 |   74908  1604498  4923594 | 2147483647   353691     65 | 11.813 % |
1140.29/1140.27	c |    806557 |   74908  1604498  4923594 | 2147483647   354000     65 | 11.813 % |
1141.09/1141.06	c |    806896 |   74908  1604498  4923594 | 2147483647   354339     65 | 11.813 % |
1141.99/1141.99	c |    807268 |   74908  1604498  4923594 | 2147483647   354711     65 | 11.813 % |
1142.79/1142.77	c |    807678 |   74908  1604498  4923594 | 2147483647   355121     65 | 11.813 % |
1143.79/1143.78	c |    808127 |   74908  1604498  4923594 | 2147483647   355570     65 | 11.813 % |
1144.69/1144.64	c |    808621 |   74908  1604498  4923594 | 2147483647   356064     65 | 11.813 % |
1145.89/1145.86	c |    809163 |   74908  1604498  4923594 | 2147483647   356606     65 | 11.813 % |
1147.29/1147.24	c |    809760 |   74908  1604498  4923594 | 2147483647   357203     65 | 11.813 % |
1148.89/1148.85	c |    810416 |   74908  1604498  4923594 | 2147483647   357859     65 | 11.813 % |
1150.19/1150.11	c |    811136 |   74908  1604498  4923594 | 2147483647   358579     65 | 11.813 % |
1151.29/1151.26	c |    811928 |   74908  1604498  4923594 | 2147483647   359371     65 | 11.813 % |
1153.49/1153.50	c |    812801 |   74908  1604498  4923594 | 2147483647   360244     64 | 11.813 % |
1155.10/1155.03	c |    813759 |   74908  1604498  4923594 | 2147483647   361202     64 | 11.813 % |
1157.69/1157.62	c |    814812 |   74908  1604498  4923594 | 2147483647   362255     64 | 11.813 % |
1159.99/1159.97	c |    815970 |   74908  1604498  4923594 | 2147483647   363413     64 | 11.813 % |
1162.49/1162.48	c |    817244 |   74908  1604498  4923594 | 2147483647   364687     64 | 11.813 % |
1165.09/1165.09	c |    818645 |   74908  1604498  4923594 | 2147483647   366088     64 | 11.813 % |
1168.30/1168.25	c |    820186 |   74908  1604498  4923594 | 2147483647   367629     64 | 11.813 % |
1172.09/1172.07	c |    821880 |   74908  1604498  4923594 | 2147483647   369323     64 | 11.813 % |
1174.99/1174.91	c |    823743 |   74908  1604498  4923594 | 2147483647   371186     64 | 11.813 % |
1178.39/1178.34	c |    825793 |   74908  1604498  4923594 | 2147483647   373236     64 | 11.813 % |
1181.99/1181.94	c |    828046 |   74908  1604498  4923594 | 2147483647   375489     64 | 11.813 % |
1188.40/1188.36	c |    830525 |   74908  1604498  4923594 | 2147483647   377968     64 | 11.813 % |
1194.40/1194.39	c |    833250 |   74908  1604498  4923594 | 2147483647   380693     64 | 11.813 % |

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-1821928-1242579861/watcher-1821928-1242579861 -o /tmp/evaluation-result-1821928-1242579861/solver-1821928-1242579861 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821928-1242579861.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.86 0.97 0.99 2/93 6333
/proc/meminfo: memFree=733100/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2412 CPUtime=0.01
/proc/6333/stat : 6333 (SatELiteGTI) R 6331 6333 14060 0 -1 4194304 366 649 0 0 0 1 0 0 25 0 1 0 1022483544 2469888 277 4294967295 134512640 135169312 3214486752 3214485552 134655351 0 0 4 65536 0 0 0 17 2 0 0 0
/proc/6333/statm: 603 277 235 161 0 42 0
[pid=6337] ppid=6333 vsize=84 CPUtime=0
/proc/6337/stat : 6337 (SatELite_releas) R 6333 6333 14060 0 -1 4194304 65 0 0 0 0 0 0 0 18 0 1 0 1022483545 86016 0 4294967295 0 0 0 3214485380 3085654506 0 0 0 0 0 0 0 17 3 0 0 0
/proc/6337/statm: 203 5 2 174 0 28 0

[startup+0.030148 s]
/proc/loadavg: 0.86 0.97 0.99 2/93 6333
/proc/meminfo: memFree=733100/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2412 CPUtime=0.01
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 368 649 0 0 0 1 0 0 25 0 1 0 1022483544 2469888 277 4294967295 134512640 135169312 3214486752 3214485288 3085651694 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/6333/statm: 603 277 235 161 0 42 0
[pid=6337] ppid=6333 vsize=3780 CPUtime=0.03
/proc/6337/stat : 6337 (SatELite_releas) R 6333 6333 14060 0 -1 4202496 773 0 0 0 2 1 0 0 18 0 1 0 1022483545 3870720 709 4294967295 134512640 135223648 3216520896 3216519848 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6337/statm: 945 710 46 174 0 770 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 6192

[startup+0.110133 s]
/proc/loadavg: 0.86 0.97 0.99 2/93 6333
/proc/meminfo: memFree=733100/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2412 CPUtime=0.01
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 368 649 0 0 0 1 0 0 25 0 1 0 1022483544 2469888 277 4294967295 134512640 135169312 3214486752 3214485288 3085651694 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/6333/statm: 603 277 235 161 0 42 0
[pid=6337] ppid=6333 vsize=12052 CPUtime=0.11
/proc/6337/stat : 6337 (SatELite_releas) R 6333 6333 14060 0 -1 4202496 2497 0 0 0 8 3 0 0 18 0 1 0 1022483545 12341248 2433 4294967295 134512640 135223648 3216520896 3216519848 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6337/statm: 3013 2433 46 174 0 2838 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 14464

[startup+0.310115 s]
/proc/loadavg: 0.86 0.97 0.99 2/93 6333
/proc/meminfo: memFree=733100/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2412 CPUtime=0.01
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 368 649 0 0 0 1 0 0 25 0 1 0 1022483544 2469888 277 4294967295 134512640 135169312 3214486752 3214485288 3085651694 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/6333/statm: 603 277 235 161 0 42 0
[pid=6337] ppid=6333 vsize=28820 CPUtime=0.31
/proc/6337/stat : 6337 (SatELite_releas) R 6333 6333 14060 0 -1 4202496 6530 0 0 0 25 6 0 0 18 0 1 0 1022483545 29511680 6466 4294967295 134512640 135223648 3216520896 3216519464 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6337/statm: 7205 6468 46 174 0 7030 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 31232

[startup+0.71008 s]
/proc/loadavg: 0.86 0.97 0.99 2/93 6333
/proc/meminfo: memFree=733100/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2412 CPUtime=0.01
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 368 649 0 0 0 1 0 0 25 0 1 0 1022483544 2469888 277 4294967295 134512640 135169312 3214486752 3214485288 3085651694 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/6333/statm: 603 277 235 161 0 42 0
[pid=6337] ppid=6333 vsize=61032 CPUtime=0.71
/proc/6337/stat : 6337 (SatELite_releas) R 6333 6333 14060 0 -1 4202496 13889 0 0 0 61 10 0 0 18 0 1 0 1022483545 62496768 13825 4294967295 134512640 135223648 3216520896 3216519480 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6337/statm: 15258 13825 46 174 0 15083 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 63444

[startup+1.51001 s]
/proc/loadavg: 0.87 0.97 0.99 3/95 6338
/proc/meminfo: memFree=656824/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2412 CPUtime=0.01
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 368 649 0 0 0 1 0 0 25 0 1 0 1022483544 2469888 277 4294967295 134512640 135169312 3214486752 3214485288 3085651694 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/6333/statm: 603 277 235 161 0 42 0
[pid=6337] ppid=6333 vsize=131640 CPUtime=1.51
/proc/6337/stat : 6337 (SatELite_releas) R 6333 6333 14060 0 -1 4202496 33849 0 0 0 136 15 0 0 20 0 1 0 1022483545 134799360 31058 4294967295 134512640 135223648 3216520896 3216518564 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6337/statm: 32910 31058 73 174 0 32735 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 134052

[startup+3.10987 s]
/proc/loadavg: 0.87 0.97 0.99 3/95 6338
/proc/meminfo: memFree=603132/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2412 CPUtime=0.01
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 368 649 0 0 0 1 0 0 25 0 1 0 1022483544 2469888 277 4294967295 134512640 135169312 3214486752 3214485288 3085651694 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/6333/statm: 603 277 235 161 0 42 0
[pid=6337] ppid=6333 vsize=148432 CPUtime=3.11
/proc/6337/stat : 6337 (SatELite_releas) R 6333 6333 14060 0 -1 4202496 36380 0 0 0 294 17 0 0 25 0 1 0 1022483545 151994368 33589 4294967295 134512640 135223648 3216520896 3216518912 134586733 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6337/statm: 37108 33589 73 174 0 36933 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 150844

[startup+6.3096 s]
/proc/loadavg: 0.87 0.97 0.99 3/95 6338
/proc/meminfo: memFree=584656/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2412 CPUtime=0.01
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 368 649 0 0 0 1 0 0 25 0 1 0 1022483544 2469888 277 4294967295 134512640 135169312 3214486752 3214485288 3085651694 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/6333/statm: 603 277 235 161 0 42 0
[pid=6337] ppid=6333 vsize=172676 CPUtime=6.31
/proc/6337/stat : 6337 (SatELite_releas) R 6333 6333 14060 0 -1 4202496 39878 0 0 0 613 18 0 0 25 0 1 0 1022483545 176820224 36824 4294967295 134512640 135223648 3216520896 3216519248 134602102 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6337/statm: 43169 36824 91 174 0 42994 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 175088

[startup+12.709 s]
/proc/loadavg: 0.89 0.97 0.99 3/95 6338
/proc/meminfo: memFree=583860/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2412 CPUtime=0.01
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 368 649 0 0 0 1 0 0 25 0 1 0 1022483544 2469888 277 4294967295 134512640 135169312 3214486752 3214485288 3085651694 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/6333/statm: 603 277 235 161 0 42 0
[pid=6337] ppid=6333 vsize=173700 CPUtime=12.71
/proc/6337/stat : 6337 (SatELite_releas) R 6333 6333 14060 0 -1 4202496 40098 0 0 0 1253 18 0 0 25 0 1 0 1022483545 177868800 37026 4294967295 134512640 135223648 3216520896 3216518704 134548993 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6337/statm: 43425 37026 73 174 0 43250 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 176112

[startup+25.5179 s]
/proc/loadavg: 0.91 0.97 0.99 2/95 6339
/proc/meminfo: memFree=610832/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2416 CPUtime=17.33
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 388 46509 0 0 0 1 1695 37 24 0 1 0 1022483544 2473984 278 4294967295 134512640 135169312 3214486752 3214482968 3085651694 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6333/statm: 604 278 235 161 0 43 0
[pid=6339] ppid=6333 vsize=86048 CPUtime=8.19
/proc/6339/stat : 6339 (minisat_static) R 6333 6333 14060 0 -1 4202496 20652 0 0 0 806 13 0 0 25 0 1 0 1022485277 88113152 20587 4294967295 134512640 135215339 3213870240 3213868528 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/6339/statm: 21512 20587 73 172 0 21339 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 88464

[startup+51.1157 s]
/proc/loadavg: 1.00 0.99 0.99 3/95 6523
/proc/meminfo: memFree=606180/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2416 CPUtime=17.33
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 388 46509 0 0 0 1 1695 37 24 0 1 0 1022483544 2473984 278 4294967295 134512640 135169312 3214486752 3214482968 3085651694 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6333/statm: 604 278 235 161 0 43 0
[pid=6339] ppid=6333 vsize=89904 CPUtime=33.78
/proc/6339/stat : 6339 (minisat_static) R 6333 6333 14060 0 -1 4202496 21642 0 0 0 3361 17 0 0 25 0 1 0 1022485277 92061696 21577 4294967295 134512640 135215339 3213870240 3213868528 134528666 0 0 0 3 0 0 0 17 0 0 0 0
/proc/6339/statm: 22476 21577 73 172 0 22303 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 92320

[startup+102.321 s]
/proc/loadavg: 1.00 0.99 0.99 3/95 6711
/proc/meminfo: memFree=593764/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2416 CPUtime=17.33
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 388 46509 0 0 0 1 1695 37 24 0 1 0 1022483544 2473984 278 4294967295 134512640 135169312 3214486752 3214482968 3085651694 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6333/statm: 604 278 235 161 0 43 0
[pid=6339] ppid=6333 vsize=102368 CPUtime=84.99
/proc/6339/stat : 6339 (minisat_static) R 6333 6333 14060 0 -1 4202496 24731 0 0 0 8479 20 0 0 25 0 1 0 1022485277 104824832 24666 4294967295 134512640 135215339 3213870240 3213868528 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/6339/statm: 25592 24666 73 172 0 25419 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 104784

[startup+162.316 s]
/proc/loadavg: 1.13 1.02 1.00 3/95 6900
/proc/meminfo: memFree=575156/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2416 CPUtime=17.33
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 388 46509 0 0 0 1 1695 37 24 0 1 0 1022483544 2473984 278 4294967295 134512640 135169312 3214486752 3214482968 3085651694 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6333/statm: 604 278 235 161 0 43 0
[pid=6339] ppid=6333 vsize=121176 CPUtime=144.99
/proc/6339/stat : 6339 (minisat_static) R 6333 6333 14060 0 -1 4202496 29409 0 0 0 14477 22 0 0 25 0 1 0 1022485277 124084224 29344 4294967295 134512640 135215339 3213870240 3213868528 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/6339/statm: 30294 29344 73 172 0 30121 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 123592

[startup+222.321 s]
/proc/loadavg: 1.05 1.01 1.00 2/95 7089
/proc/meminfo: memFree=556400/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2416 CPUtime=17.33
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 388 46509 0 0 0 1 1695 37 24 0 1 0 1022483544 2473984 278 4294967295 134512640 135169312 3214486752 3214482968 3085651694 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6333/statm: 604 278 235 161 0 43 0
[pid=6339] ppid=6333 vsize=139944 CPUtime=205
/proc/6339/stat : 6339 (minisat_static) R 6333 6333 14060 0 -1 4202496 34083 0 0 0 20475 25 0 0 25 0 1 0 1022485277 143302656 34018 4294967295 134512640 135215339 3213870240 3213868528 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/6339/statm: 34986 34018 73 172 0 34813 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 142360

[startup+282.316 s]
/proc/loadavg: 1.02 1.01 1.00 2/95 7273
/proc/meminfo: memFree=540940/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2416 CPUtime=17.33
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 388 46509 0 0 0 1 1695 37 24 0 1 0 1022483544 2473984 278 4294967295 134512640 135169312 3214486752 3214482968 3085651694 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6333/statm: 604 278 235 161 0 43 0
[pid=6339] ppid=6333 vsize=156016 CPUtime=265
/proc/6339/stat : 6339 (minisat_static) R 6333 6333 14060 0 -1 4202496 38001 0 0 0 26471 29 0 0 25 0 1 0 1022485277 159760384 37936 4294967295 134512640 135215339 3213870240 3213868528 134528691 0 0 0 3 0 0 0 17 0 0 0 0
/proc/6339/statm: 39004 37936 73 172 0 38831 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 158432

[startup+342.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 7468
/proc/meminfo: memFree=528516/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2416 CPUtime=17.33
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 388 46509 0 0 0 1 1695 37 24 0 1 0 1022483544 2473984 278 4294967295 134512640 135169312 3214486752 3214482968 3085651694 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6333/statm: 604 278 235 161 0 43 0
[pid=6339] ppid=6333 vsize=168216 CPUtime=325
/proc/6339/stat : 6339 (minisat_static) R 6333 6333 14060 0 -1 4202496 41074 0 0 0 32462 38 0 0 25 0 1 0 1022485277 172253184 41009 4294967295 134512640 135215339 3213870240 3213868528 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/6339/statm: 42054 41009 73 172 0 41881 0
Current children cumulated CPU time (s) 342.33

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

/proc/6339/statm: 52710 51459 73 172 0 52537 0
Current children cumulated CPU time (s) 582.35
Current children cumulated vsize (KiB) 213256

[startup+642.324 s]
/proc/loadavg: 1.01 1.02 1.00 3/95 8411
/proc/meminfo: memFree=476808/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2416 CPUtime=17.33
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 388 46509 0 0 0 1 1695 37 24 0 1 0 1022483544 2473984 278 4294967295 134512640 135169312 3214486752 3214482968 3085651694 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6333/statm: 604 278 235 161 0 43 0
[pid=6339] ppid=6333 vsize=220900 CPUtime=625.03
/proc/6339/stat : 6339 (minisat_static) R 6333 6333 14060 0 -1 4202496 53929 0 0 0 62451 52 0 0 25 0 1 0 1022485277 226201600 53864 4294967295 134512640 135215339 3213870240 3213868528 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6339/statm: 55225 53864 73 172 0 55052 0
Current children cumulated CPU time (s) 642.36
Current children cumulated vsize (KiB) 223316

[startup+702.319 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 8599
/proc/meminfo: memFree=466416/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2416 CPUtime=17.33
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 388 46509 0 0 0 1 1695 37 24 0 1 0 1022483544 2473984 278 4294967295 134512640 135169312 3214486752 3214482968 3085651694 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6333/statm: 604 278 235 161 0 43 0
[pid=6339] ppid=6333 vsize=231620 CPUtime=685.03
/proc/6339/stat : 6339 (minisat_static) R 6333 6333 14060 0 -1 4202496 56574 0 0 0 68451 52 0 0 25 0 1 0 1022485277 237178880 56509 4294967295 134512640 135215339 3213870240 3213868528 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6339/statm: 57905 56509 73 172 0 57732 0
Current children cumulated CPU time (s) 702.36
Current children cumulated vsize (KiB) 234036

[startup+762.324 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 8791
/proc/meminfo: memFree=462788/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2416 CPUtime=17.33
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 388 46509 0 0 0 1 1695 37 24 0 1 0 1022483544 2473984 278 4294967295 134512640 135169312 3214486752 3214482968 3085651694 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6333/statm: 604 278 235 161 0 43 0
[pid=6339] ppid=6333 vsize=234920 CPUtime=745.04
/proc/6339/stat : 6339 (minisat_static) R 6333 6333 14060 0 -1 4202496 57420 0 0 0 74448 56 0 0 25 0 1 0 1022485277 240558080 57355 4294967295 134512640 135215339 3213870240 3213868448 134526318 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6339/statm: 58730 57355 73 172 0 58557 0
Current children cumulated CPU time (s) 762.37
Current children cumulated vsize (KiB) 237336

[startup+822.319 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 8980
/proc/meminfo: memFree=463292/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2416 CPUtime=17.33
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 388 46509 0 0 0 1 1695 37 24 0 1 0 1022483544 2473984 278 4294967295 134512640 135169312 3214486752 3214482968 3085651694 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6333/statm: 604 278 235 161 0 43 0
[pid=6339] ppid=6333 vsize=234920 CPUtime=805.04
/proc/6339/stat : 6339 (minisat_static) R 6333 6333 14060 0 -1 4202496 57421 0 0 0 80448 56 0 0 25 0 1 0 1022485277 240558080 57356 4294967295 134512640 135215339 3213870240 3213868528 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6339/statm: 58730 57356 73 172 0 58557 0
Current children cumulated CPU time (s) 822.37
Current children cumulated vsize (KiB) 237336

[startup+882.314 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 9164
/proc/meminfo: memFree=463184/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2416 CPUtime=17.33
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 388 46509 0 0 0 1 1695 37 24 0 1 0 1022483544 2473984 278 4294967295 134512640 135169312 3214486752 3214482968 3085651694 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6333/statm: 604 278 235 161 0 43 0
[pid=6339] ppid=6333 vsize=234920 CPUtime=865.04
/proc/6339/stat : 6339 (minisat_static) R 6333 6333 14060 0 -1 4202496 57424 0 0 0 86448 56 0 0 25 0 1 0 1022485277 240558080 57359 4294967295 134512640 135215339 3213870240 3213868528 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6339/statm: 58730 57359 73 172 0 58557 0
Current children cumulated CPU time (s) 882.37
Current children cumulated vsize (KiB) 237336

[startup+942.318 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 9353
/proc/meminfo: memFree=463160/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2416 CPUtime=17.33
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 388 46509 0 0 0 1 1695 37 24 0 1 0 1022483544 2473984 278 4294967295 134512640 135169312 3214486752 3214482968 3085651694 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6333/statm: 604 278 235 161 0 43 0
[pid=6339] ppid=6333 vsize=234920 CPUtime=925.05
/proc/6339/stat : 6339 (minisat_static) R 6333 6333 14060 0 -1 4202496 57426 0 0 0 92449 56 0 0 25 0 1 0 1022485277 240558080 57361 4294967295 134512640 135215339 3213870240 3213868528 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6339/statm: 58730 57361 73 172 0 58557 0
Current children cumulated CPU time (s) 942.38
Current children cumulated vsize (KiB) 237336

[startup+1002.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 9545
/proc/meminfo: memFree=463168/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2416 CPUtime=17.33
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 388 46509 0 0 0 1 1695 37 24 0 1 0 1022483544 2473984 278 4294967295 134512640 135169312 3214486752 3214482968 3085651694 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6333/statm: 604 278 235 161 0 43 0
[pid=6339] ppid=6333 vsize=234920 CPUtime=985.06
/proc/6339/stat : 6339 (minisat_static) R 6333 6333 14060 0 -1 4202496 57432 0 0 0 98450 56 0 0 25 0 1 0 1022485277 240558080 57367 4294967295 134512640 135215339 3213870240 3213868528 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6339/statm: 58730 57367 73 172 0 58557 0
Current children cumulated CPU time (s) 1002.39
Current children cumulated vsize (KiB) 237336

[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 9734
/proc/meminfo: memFree=462820/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2416 CPUtime=17.33
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 388 46509 0 0 0 1 1695 37 24 0 1 0 1022483544 2473984 278 4294967295 134512640 135169312 3214486752 3214482968 3085651694 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6333/statm: 604 278 235 161 0 43 0
[pid=6339] ppid=6333 vsize=235324 CPUtime=1045.05
/proc/6339/stat : 6339 (minisat_static) R 6333 6333 14060 0 -1 4202496 57503 0 0 0 104449 56 0 0 25 0 1 0 1022485277 240971776 57438 4294967295 134512640 135215339 3213870240 3213868528 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6339/statm: 58831 57438 73 172 0 58658 0
Current children cumulated CPU time (s) 1062.38
Current children cumulated vsize (KiB) 237740

[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 9923
/proc/meminfo: memFree=462316/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2416 CPUtime=17.33
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 388 46509 0 0 0 1 1695 37 24 0 1 0 1022483544 2473984 278 4294967295 134512640 135169312 3214486752 3214482968 3085651694 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6333/statm: 604 278 235 161 0 43 0
[pid=6339] ppid=6333 vsize=236108 CPUtime=1105.06
/proc/6339/stat : 6339 (minisat_static) R 6333 6333 14060 0 -1 4202496 57658 0 0 0 110450 56 0 0 25 0 1 0 1022485277 241774592 57593 4294967295 134512640 135215339 3213870240 3213868528 134528721 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6339/statm: 59027 57593 73 172 0 58854 0
Current children cumulated CPU time (s) 1122.39
Current children cumulated vsize (KiB) 238524

[startup+1182.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 10107
/proc/meminfo: memFree=462084/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2416 CPUtime=17.33
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 388 46509 0 0 0 1 1695 37 24 0 1 0 1022483544 2473984 278 4294967295 134512640 135169312 3214486752 3214482968 3085651694 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6333/statm: 604 278 235 161 0 43 0
[pid=6339] ppid=6333 vsize=236376 CPUtime=1165.06
/proc/6339/stat : 6339 (minisat_static) R 6333 6333 14060 0 -1 4202496 57711 0 0 0 116449 57 0 0 25 0 1 0 1022485277 242049024 57646 4294967295 134512640 135215339 3213870240 3213868240 134532626 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6339/statm: 59094 57646 73 172 0 58921 0
Current children cumulated CPU time (s) 1182.39
Current children cumulated vsize (KiB) 238792



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1199.92 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 10112
/proc/meminfo: memFree=462072/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2416 CPUtime=17.33
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 388 46509 0 0 0 1 1695 37 24 0 1 0 1022483544 2473984 278 4294967295 134512640 135169312 3214486752 3214482968 3085651694 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6333/statm: 604 278 235 161 0 43 0
[pid=6339] ppid=6333 vsize=236556 CPUtime=1182.67
/proc/6339/stat : 6339 (minisat_static) R 6333 6333 14060 0 -1 4202496 57731 0 0 0 118209 58 0 0 25 0 1 0 1022485277 242233344 57666 4294967295 134512640 135215339 3213870240 3213868528 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6339/statm: 59139 57666 73 172 0 58966 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 238972

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

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

[startup+1199.92 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 10112
/proc/meminfo: memFree=462072/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2416 CPUtime=17.33
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 388 46509 0 0 0 1 1695 37 24 0 1 0 1022483544 2473984 278 4294967295 134512640 135169312 3214486752 3214482968 3085651694 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6333/statm: 604 278 235 161 0 43 0
[pid=6339] ppid=6333 vsize=236556 CPUtime=1182.67
/proc/6339/stat : 6339 (minisat_static) R 6333 6333 14060 0 -1 4202496 57731 0 0 0 118209 58 0 0 25 0 1 0 1022485277 242233344 57666 4294967295 134512640 135215339 3213870240 3213868528 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6339/statm: 59139 57666 73 172 0 58966 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 238972

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6333 and gives
#  childrusage.ru_utime.tv_sec=16
#  childrusage.ru_utime.tv_usec=950000
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=380000
# CPU time returned by wait4() is 17.33
# 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.94
CPU time (s): 1200
CPU user time (s): 1199.04
CPU system time (s): 0.96
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 238972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.95
system time used= 0.38
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46897
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= 15
involuntary context switches= 17

runsolver used 0 second user time and 0.01 second system time

The end

Launcher Data

Begin job on tipi27 at 2009-05-17 19:04:21
IDJOB=1821928
IDBENCH=71736
IDSOLVER=657
FILE ID=tipi27/1821928-1242579861
PBS_JOBID=
Free space on /tmp= 8421 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT_RACE06/velev-vliw-uns-4.0-9C1.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1821928-1242579861/watcher-1821928-1242579861 -o /tmp/evaluation-result-1821928-1242579861/solver-1821928-1242579861 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1821928-1242579861.cnf

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

MD5SUM BENCH= 0c9a15d0f561e9d1bb438b04ae3c31af
RANDOM SEED= 144644200

Linux tipi27 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.389
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.40

processor	: 1
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.389
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.79

processor	: 2
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.389
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.77

processor	: 3
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.389
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:        733348 kB
Buffers:         63148 kB
Cached:        1162944 kB
SwapCached:       5456 kB
Active:         444008 kB
Inactive:       791916 kB
HighTotal:     1178688 kB
HighFree:       331008 kB
LowTotal:       895776 kB
LowFree:        402340 kB
SwapTotal:     1959888 kB
SwapFree:      1949056 kB
Dirty:           38064 kB
Writeback:           4 kB
AnonPages:        9024 kB
Mapped:           3260 kB
Slab:            96960 kB
PageTables:        496 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    90624 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 8383 MiB
End job on tipi27 at 2009-05-17 19:24:26