Trace number 1832347

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.02 1200.81

General information on the benchmark

Namecrafted/Difficult/contest05/others/
sgp_6-6-10.sat05-2670.reshuffled-07.cnf
MD5SUM080b0eee741469a320509f7827afc538
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark83.3303
Satisfiable
(Un)Satisfiability was proved
Number of variables131400
Number of clauses1827900
Sum of the clauses size4134930
Maximum clause length60
Minimum clause length1
Number of clauses of size 1120
Number of clauses of size 21403970
Number of clauses of size 3419490
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 54320

Solver Data 

0.00/0.00	c Parsing...
2.88/2.90	c ==============================================================================
2.88/2.90	c |           |     ORIGINAL     |              LEARNT              |          |
2.88/2.90	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
2.88/2.90	c ==============================================================================
2.88/2.90	c |         0 | 1645483  3756347 |  493644       0        0     nan |  0.000 % |
7.88/7.99	c |         0 | 1153770  2713868 |      --       0       --      -- |     --   | -16170/103358
7.88/7.99	c ==============================================================================
7.88/7.99	c Result  :   #vars: 46226   #clauses: 1153770   #literals: 2713868
7.88/7.99	c CPU time:   7.67983 s
7.88/7.99	c ==============================================================================
8.98/9.01	c This is MiniSat 2.0 beta
8.98/9.01	c WARNING: for repeatability, setting FPU to use double precision
8.98/9.01	c ============================[ Problem Statistics ]=============================
8.98/9.01	c |                                                                             |
8.98/9.01	c |  Number of variables:  46226                                                |
8.98/9.01	c |  Number of clauses:    1153770                                              |
9.86/9.99	c |  Parsing time:         0.88         s                                       |
9.96/10.06	c ============================[ Search Statistics ]==============================
9.96/10.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.96/10.06	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
9.96/10.06	c ===============================================================================
9.96/10.06	c |         0 |   46226  1153770  2713868 |   384590        0    nan |  0.000 % |
10.06/10.16	c |       100 |   46226  1153770  2713868 |   384590      100      6 |  0.000 % |
10.35/10.42	c |       201 |   46226  1153770  2713868 |   384590      201     15 |  0.000 % |
10.56/10.63	c |       301 |   46226  1153770  2713868 |   384590      301     26 |  0.000 % |
10.66/10.74	c |       411 |   46226  1153770  2713868 |   384590      411     24 |  0.000 % |
10.76/10.89	c |       511 |   46226  1153770  2713868 |   384590      511     33 |  0.000 % |
10.97/11.06	c |       622 |   46226  1153770  2713868 |   384590      622     30 |  0.000 % |
11.26/11.34	c |       746 |   46226  1153770  2713868 |   384590      746     30 |  0.000 % |
11.46/11.53	c |       847 |   46226  1153770  2713868 |   384590      847     36 |  0.000 % |
11.66/11.76	c |       957 |   46226  1153770  2713868 |   384590      957     44 |  0.000 % |
12.07/12.13	c |      1079 |   46226  1153770  2713868 |   384590     1079     44 |  0.000 % |
12.36/12.46	c |      1212 |   46226  1153770  2713868 |   384590     1212     47 |  0.000 % |
12.46/12.56	c |      1313 |   46226  1153770  2713868 |   384590     1313     51 |  0.000 % |
12.76/12.84	c |      1423 |   46226  1153770  2713868 |   384590     1423     51 |  0.000 % |
13.16/13.21	c |      1544 |   46226  1153770  2713868 |   384590     1544     51 |  0.000 % |
13.46/13.59	c |      1677 |   46226  1153770  2713868 |   384590     1677     50 |  0.000 % |
13.86/13.92	c |      1823 |   46226  1153770  2713868 |   384590     1823     54 |  0.000 % |
13.96/14.08	c |      1924 |   46226  1153770  2713868 |   384590     1924     56 |  0.000 % |
14.26/14.35	c |      2034 |   46226  1153770  2713868 |   384590     2034     56 |  0.000 % |
14.56/14.62	c |      2155 |   46226  1153770  2713868 |   384590     2155     54 |  0.000 % |
14.76/14.86	c |      2288 |   46226  1153770  2713868 |   384590     2288     59 |  0.000 % |
15.05/15.16	c |      2434 |   46226  1153770  2713868 |   384590     2434     60 |  0.000 % |
15.26/15.39	c |      2594 |   46226  1153770  2713868 |   384590     2594     64 |  0.000 % |
15.45/15.58	c |      2694 |   46226  1153770  2713868 |   384590     2694     64 |  0.000 % |
15.55/15.64	c |      2805 |   46226  1153770  2713868 |   384590     2805     62 |  0.000 % |
15.85/15.92	c |      2926 |   46226  1153770  2713868 |   384590     2926     64 |  0.000 % |
16.05/16.13	c |      3063 |   46226  1153770  2713868 |   384590     3063     66 |  0.000 % |
16.15/16.29	c |      3209 |   46226  1153770  2713868 |   384590     3209     67 |  0.000 % |
16.45/16.51	c |      3370 |   46226  1153770  2713868 |   384590     3370     70 |  0.000 % |
16.65/16.72	c |      3546 |   46226  1153770  2713868 |   384590     3546     73 |  0.000 % |
16.85/16.98	c |      3646 |   46226  1153770  2713868 |   384590     3646     72 |  0.000 % |
17.05/17.19	c |      3756 |   46226  1153770  2713868 |   384590     3756     73 |  0.000 % |
17.35/17.50	c |      3877 |   46226  1153770  2713868 |   384590     3877     72 |  0.000 % |
17.65/17.70	c |      4013 |   46226  1153770  2713868 |   384590     4013     74 |  0.000 % |
17.95/18.02	c |      4161 |   46226  1153770  2713868 |   384590     4161     72 |  0.000 % |
18.15/18.30	c |      4322 |   46226  1153770  2713868 |   384590     4322     73 |  0.000 % |
18.55/18.64	c |      4498 |   46226  1153770  2713868 |   384590     4498     74 |  0.000 % |
18.85/18.94	c |      4693 |   46226  1153770  2713868 |   384590     4693     75 |  0.000 % |
19.04/19.19	c |      4793 |   46226  1153770  2713868 |   384590     4793     75 |  0.000 % |
19.44/19.53	c |      4903 |   46226  1153770  2713868 |   384590     4903     74 |  0.000 % |
19.75/19.81	c |      5024 |   46226  1153770  2713868 |   384590     5024     74 |  0.000 % |
19.94/20.06	c |      5158 |   46226  1153770  2713868 |   384590     5158     74 |  0.000 % |
20.14/20.25	c |      5304 |   46226  1153770  2713868 |   384590     5304     76 |  0.000 % |
20.54/20.62	c |      5466 |   46226  1153770  2713868 |   384590     5466     77 |  0.000 % |
20.94/21.09	c |      5642 |   46226  1153770  2713868 |   384590     5642     76 |  0.000 % |
21.14/21.23	c |      5835 |   46226  1153770  2713868 |   384590     5835     79 |  0.000 % |
21.34/21.42	c |      6047 |   46226  1153770  2713868 |   384590     6047     81 |  0.000 % |
21.44/21.59	c |      6147 |   46226  1153770  2713868 |   384590     6147     80 |  0.000 % |
21.64/21.78	c |      6257 |   46226  1153770  2713868 |   384590     6257     79 |  0.000 % |
21.64/21.80	c |      6378 |   46226  1153770  2713868 |   384590     6378     78 |  0.000 % |
21.94/22.06	c |      6511 |   46226  1153770  2713868 |   384590     6511     78 |  0.000 % |
22.24/22.39	c |      6657 |   46226  1153770  2713868 |   384590     6657     77 |  0.000 % |
22.64/22.77	c |      6817 |   46226  1153770  2713868 |   384590     6817     77 |  0.000 % |
22.94/23.09	c |      6993 |   46226  1153770  2713868 |   384590     6993     78 |  0.000 % |
23.44/23.50	c |      7186 |   46226  1153770  2713868 |   384590     7186     79 |  0.000 % |
23.64/23.77	c |      7399 |   46226  1153770  2713868 |   384590     7399     79 |  0.000 % |
23.95/24.10	c |      7632 |   46226  1153770  2713868 |   384590     7632     78 |  0.000 % |
24.25/24.36	c |      7732 |   46226  1153770  2713868 |   384590     7732     78 |  0.000 % |
24.45/24.57	c |      7842 |   46226  1153770  2713868 |   384590     7842     78 |  0.000 % |
24.75/24.81	c |      7966 |   46226  1153770  2713868 |   384590     7966     79 |  0.000 % |
24.95/25.06	c |      8099 |   46226  1153770  2713868 |   384590     8099     78 |  0.000 % |
25.15/25.29	c |      8247 |   46226  1153770  2713868 |   384590     8247     80 |  0.000 % |
25.34/25.48	c |      8407 |   46226  1153770  2713868 |   384590     8407     82 |  0.000 % |
25.74/25.81	c |      8583 |   46226  1153770  2713868 |   384590     8583     81 |  0.000 % |
26.14/26.23	c |      8780 |   46226  1153770  2713868 |   384590     8780     81 |  0.000 % |
26.34/26.42	c |      8993 |   46226  1153770  2713868 |   384590     8993     83 |  0.000 % |
26.64/26.79	c |      9226 |   46226  1153770  2713868 |   384590     9226     83 |  0.000 % |
26.94/27.00	c |      9483 |   46226  1153770  2713868 |   384590     9483     85 |  0.000 % |
27.14/27.22	c |      9584 |   46226  1153770  2713868 |   384590     9584     84 |  0.000 % |
27.14/27.25	c |      9694 |   46226  1153770  2713868 |   384590     9694     83 |  0.000 % |
27.34/27.48	c |      9815 |   46226  1153770  2713868 |   384590     9815     83 |  0.000 % |
27.64/27.74	c |      9948 |   46226  1153770  2713868 |   384590     9948     83 |  0.000 % |
28.04/28.11	c |     10094 |   46226  1153770  2713868 | 2147483647    10094     83 |  0.000 % |
28.24/28.36	c |     10255 |   46226  1153770  2713868 | 2147483647    10255     84 |  0.000 % |
28.44/28.55	c |     10431 |   46226  1153770  2713868 | 2147483647    10431     86 |  0.000 % |
28.84/28.95	c |     10625 |   46226  1153770  2713868 | 2147483647    10625     86 |  0.000 % |
29.24/29.35	c |     10839 |   46226  1153770  2713868 | 2147483647    10839     86 |  0.000 % |
29.74/29.80	c |     11072 |   46226  1153770  2713868 | 2147483647    11072     86 |  0.000 % |
30.23/30.31	c |     11329 |   46226  1153770  2713868 | 2147483647    11329     86 |  0.000 % |
30.63/30.78	c |     11610 |   46226  1153770  2713868 | 2147483647    11610     86 |  0.000 % |
30.93/31.06	c |     11710 |   46226  1153770  2713868 | 2147483647    11710     86 |  0.000 % |
31.33/31.41	c |     11821 |   46226  1153770  2713868 | 2147483647    11821     87 |  0.000 % |
31.53/31.64	c |     11943 |   46226  1153770  2713868 | 2147483647    11943     87 |  0.000 % |
31.83/31.94	c |     12076 |   46226  1153770  2713868 | 2147483647    12076     86 |  0.000 % |
32.22/32.31	c |     12222 |   46226  1153770  2713868 | 2147483647    12222     86 |  0.000 % |
32.42/32.52	c |     12385 |   46226  1153770  2713868 | 2147483647    12385     86 |  0.000 % |
32.72/32.84	c |     12561 |   46226  1153770  2713868 | 2147483647    12561     86 |  0.000 % |
33.02/33.13	c |     12755 |   46226  1153770  2713868 | 2147483647    12755     85 |  0.000 % |
33.52/33.63	c |     12967 |   46226  1153770  2713868 | 2147483647    12967     85 |  0.000 % |
34.03/34.14	c |     13200 |   46226  1153770  2713868 | 2147483647    13200     86 |  0.000 % |
34.62/34.70	c |     13456 |   46226  1153770  2713868 | 2147483647    13456     85 |  0.000 % |
35.02/35.19	c |     13737 |   46226  1153770  2713868 | 2147483647    13737     87 |  0.000 % |
35.72/35.89	c |     14048 |   46226  1153770  2713868 | 2147483647    14048     86 |  0.000 % |
36.02/36.14	c |     14148 |   46226  1153770  2713868 | 2147483647    14148     86 |  0.000 % |
36.22/36.35	c |     14258 |   46226  1153770  2713868 | 2147483647    14258     87 |  0.000 % |
36.52/36.65	c |     14379 |   46226  1153770  2713868 | 2147483647    14379     87 |  0.000 % |
36.72/36.83	c |     14513 |   46226  1153770  2713868 | 2147483647    14513     87 |  0.000 % |
36.92/37.09	c |     14659 |   46226  1153770  2713868 | 2147483647    14659     86 |  0.000 % |
37.32/37.47	c |     14819 |   46226  1153770  2713868 | 2147483647    14819     86 |  0.000 % |
37.72/37.88	c |     14996 |   46226  1153770  2713868 | 2147483647    14996     86 |  0.000 % |
37.82/37.95	c |     15189 |   46226  1153770  2713868 | 2147483647    15189     85 |  0.000 % |
38.32/38.46	c |     15401 |   46226  1153770  2713868 | 2147483647    15401     85 |  0.000 % |
38.82/38.98	c |     15634 |   46226  1153770  2713868 | 2147483647    15634     85 |  0.000 % |
39.32/39.47	c |     15890 |   46226  1153770  2713868 | 2147483647    15890     84 |  0.000 % |
39.62/39.76	c |     16172 |   46226  1153770  2713868 | 2147483647    16172     85 |  0.000 % |
40.02/40.17	c |     16484 |   46226  1153770  2713868 | 2147483647    16484     86 |  0.000 % |
40.31/40.49	c |     16823 |   46226  1153770  2713868 | 2147483647    16823     86 |  0.000 % |
40.62/40.71	c |     16923 |   46226  1153770  2713868 | 2147483647    16923     86 |  0.000 % |
40.92/41.08	c |     17036 |   46226  1153770  2713868 | 2147483647    17036     86 |  0.000 % |
41.32/41.44	c |     17157 |   46226  1153770  2713868 | 2147483647    17157     86 |  0.000 % |
41.62/41.80	c |     17290 |   46226  1153770  2713868 | 2147483647    17290     86 |  0.000 % |
41.91/42.08	c |     17436 |   46226  1153770  2713868 | 2147483647    17436     87 |  0.000 % |
42.21/42.38	c |     17596 |   46226  1153770  2713868 | 2147483647    17596     87 |  0.000 % |
42.61/42.71	c |     17772 |   46226  1153770  2713868 | 2147483647    17772     87 |  0.000 % |
42.72/42.88	c |     17966 |   46226  1153770  2713868 | 2147483647    17966     88 |  0.000 % |
42.91/43.02	c |     18178 |   46226  1153770  2713868 | 2147483647    18178     88 |  0.000 % |
43.21/43.32	c |     18413 |   46226  1153770  2713868 | 2147483647    18413     90 |  0.000 % |
43.71/43.82	c |     18670 |   46226  1153770  2713868 | 2147483647    18670     90 |  0.000 % |
44.21/44.30	c |     18952 |   46226  1153770  2713868 | 2147483647    18952     90 |  0.000 % |
44.61/44.75	c |     19262 |   46226  1153770  2713868 | 2147483647    19262     91 |  0.000 % |
45.21/45.39	c |     19601 |   46226  1153770  2713868 | 2147483647    19601     92 |  0.000 % |
45.71/45.87	c |     19974 |   46226  1153770  2713868 | 2147483647    19974     95 |  0.000 % |
46.01/46.19	c |     20074 |   46226  1153770  2713868 | 2147483647    20074     95 |  0.000 % |
46.21/46.39	c |     20184 |   46226  1153770  2713868 | 2147483647    20184     94 |  0.000 % |
46.51/46.60	c |     20305 |   46226  1153770  2713868 | 2147483647    20305     94 |  0.000 % |
46.71/46.86	c |     20438 |   46226  1153770  2713868 | 2147483647    20438     95 |  0.000 % |
47.01/47.20	c |     20584 |   46226  1153770  2713868 | 2147483647    20584     95 |  0.000 % |
47.61/47.75	c |     20744 |   46226  1153770  2713868 | 2147483647    20744     94 |  0.000 % |
48.01/48.14	c |     20920 |   46226  1153770  2713868 | 2147483647    20920     94 |  0.000 % |
48.31/48.47	c |     21113 |   46226  1153770  2713868 | 2147483647    21113     94 |  0.000 % |
48.70/48.89	c |     21325 |   46226  1153770  2713868 | 2147483647    21325     95 |  0.000 % |
49.10/49.22	c |     21558 |   46226  1153770  2713868 | 2147483647    21558     94 |  0.000 % |
49.70/49.83	c |     21818 |   46226  1153770  2713868 | 2147483647    21818     95 |  0.000 % |
50.30/50.42	c |     22099 |   46226  1153770  2713868 | 2147483647    22099     95 |  0.000 % |
51.00/51.12	c |     22408 |   46226  1153770  2713868 | 2147483647    22408     95 |  0.000 % |
51.40/51.52	c |     22747 |   46226  1153770  2713868 | 2147483647    22747     96 |  0.000 % |
52.00/52.13	c |     23119 |   46226  1153770  2713868 | 2147483647    23119     96 |  0.000 % |
52.30/52.45	c |     23530 |   46226  1153770  2713868 | 2147483647    23530     97 |  0.000 % |
52.60/52.74	c |     23630 |   46226  1153770  2713868 | 2147483647    23630     97 |  0.000 % |
53.00/53.12	c |     23740 |   46226  1153770  2713868 | 2147483647    23740     97 |  0.000 % |
53.20/53.39	c |     23861 |   46226  1153770  2713868 | 2147483647    23861     97 |  0.000 % |
53.60/53.79	c |     23994 |   46226  1153770  2713868 | 2147483647    23994     97 |  0.000 % |
53.90/54.02	c |     24142 |   46226  1153770  2713868 | 2147483647    24142     97 |  0.000 % |
54.00/54.15	c |     24303 |   46226  1153770  2713868 | 2147483647    24303     97 |  0.000 % |
54.00/54.19	c |     24480 |   46226  1153770  2713868 | 2147483647    24480     96 |  0.000 % |
54.40/54.50	c |     24673 |   46226  1153770  2713868 | 2147483647    24673     96 |  0.000 % |
54.80/54.94	c |     24885 |   46226  1153770  2713868 | 2147483647    24885     96 |  0.000 % |
55.10/55.23	c |     25118 |   46226  1153770  2713868 | 2147483647    25118     96 |  0.000 % |
55.79/55.95	c |     25374 |   46226  1153770  2713868 | 2147483647    25374     96 |  0.000 % |
56.19/56.32	c |     25655 |   46226  1153770  2713868 | 2147483647    25655     96 |  0.000 % |
56.39/56.55	c |     25965 |   46226  1153770  2713868 | 2147483647    25965     96 |  0.000 % |
57.39/57.51	c |     26306 |   46226  1153770  2713868 | 2147483647    26306    101 |  0.000 % |
57.39/57.59	c |     26679 |   46226  1153770  2713868 | 2147483647    26679    102 |  0.000 % |
58.19/58.34	c |     27088 |   46226  1153770  2713868 | 2147483647    27088    102 |  0.000 % |
58.69/58.80	c |     27537 |   46226  1153770  2713868 | 2147483647    27537    101 |  0.000 % |
58.99/59.10	c |     27637 |   46226  1153770  2713868 | 2147483647    27637    101 |  0.000 % |
59.09/59.29	c |     27748 |   46226  1153770  2713868 | 2147483647    27748    101 |  0.000 % |
59.59/59.77	c |     27870 |   46226  1153770  2713868 | 2147483647    27870    101 |  0.000 % |
59.89/60.08	c |     28003 |   46226  1153770  2713868 | 2147483647    28003    101 |  0.000 % |
60.29/60.44	c |     28152 |   46226  1153770  2713868 | 2147483647    28152    101 |  0.000 % |
60.49/60.69	c |     28313 |   46226  1153770  2713868 | 2147483647    28313    101 |  0.000 % |
60.59/60.78	c |     28489 |   46226  1153770  2713868 | 2147483647    28489    101 |  0.000 % |
61.09/61.23	c |     28684 |   46226  1153770  2713868 | 2147483647    28684    100 |  0.000 % |
61.29/61.49	c |     28896 |   46226  1153770  2713868 | 2147483647    28896    101 |  0.000 % |
62.29/62.40	c |     29129 |   46226  1153770  2713868 | 2147483647    29129    100 |  0.000 % |
62.69/62.81	c |     29385 |   46226  1153770  2713868 | 2147483647    29385    101 |  0.000 % |
63.39/63.55	c |     29668 |   46226  1153770  2713868 | 2147483647    29668    101 |  0.000 % |
63.89/64.09	c |     29977 |   46226  1153770  2713868 | 2147483647    29977    102 |  0.000 % |
64.09/64.26	c |     30316 |   46226  1153770  2713868 | 2147483647    30316    103 |  0.000 % |
64.59/64.73	c |     30688 |   46226  1153770  2713868 | 2147483647    30688    102 |  0.000 % |
65.29/65.41	c |     31097 |   46226  1153770  2713868 | 2147483647    31097    103 |  0.000 % |
66.58/66.72	c |     31547 |   46226  1153770  2713868 | 2147483647    31547    105 |  0.000 % |
67.68/67.89	c |     32042 |   46226  1153770  2713868 | 2147483647    32042    105 |  0.000 % |
68.18/68.33	c |     32145 |   46226  1153770  2713868 | 2147483647    32145    105 |  0.000 % |
68.37/68.59	c |     32255 |   46226  1153770  2713868 | 2147483647    32255    105 |  0.000 % |
68.57/68.75	c |     32376 |   46226  1153770  2713868 | 2147483647    32376    105 |  0.000 % |
68.77/68.94	c |     32509 |   46226  1153770  2713868 | 2147483647    32509    105 |  0.000 % |
69.08/69.28	c |     32655 |   46226  1153770  2713868 | 2147483647    32655    105 |  0.000 % |
69.27/69.47	c |     32815 |   46226  1153770  2713868 | 2147483647    32815    105 |  0.000 % |
69.47/69.60	c |     32991 |   46226  1153770  2713868 | 2147483647    32991    105 |  0.000 % |
69.97/70.11	c |     33184 |   46226  1153770  2713868 | 2147483647    33184    105 |  0.000 % |
70.18/70.38	c |     33397 |   46226  1153770  2713868 | 2147483647    33397    105 |  0.000 % |
70.28/70.47	c |     33630 |   46226  1153770  2713868 | 2147483647    33630    106 |  0.000 % |
70.47/70.63	c |     33886 |   46226  1153770  2713868 | 2147483647    33886    107 |  0.000 % |
70.57/70.77	c |     34168 |   46226  1153770  2713868 | 2147483647    34168    107 |  0.000 % |
70.97/71.15	c |     34477 |   46226  1153770  2713868 | 2147483647    34477    107 |  0.000 % |
71.77/71.98	c |     34816 |   46226  1153770  2713868 | 2147483647    34816    107 |  0.000 % |
71.97/72.18	c |     35190 |   46226  1153770  2713868 | 2147483647    35190    107 |  0.000 % |
72.58/72.76	c |     35599 |   46226  1153770  2713868 | 2147483647    35599    107 |  0.000 % |
73.38/73.50	c |     36048 |   46226  1153770  2713868 | 2147483647    36048    111 |  0.000 % |
74.68/74.88	c |     36541 |   46226  1153770  2713868 | 2147483647    36541    111 |  0.000 % |
75.27/75.46	c |     37083 |   46226  1153770  2713868 | 2147483647    37083    111 |  0.000 % |
75.47/75.65	c |     37184 |   46226  1153770  2713868 | 2147483647    37184    111 |  0.000 % |
75.57/75.75	c |     37295 |   46226  1153770  2713868 | 2147483647    37295    111 |  0.000 % |
75.87/76.01	c |     37416 |   46226  1153770  2713868 | 2147483647    37416    111 |  0.000 % |
76.27/76.45	c |     37549 |   46226  1153770  2713868 | 2147483647    37549    110 |  0.000 % |
76.67/76.81	c |     37695 |   46226  1153770  2713868 | 2147483647    37695    110 |  0.000 % |
76.77/76.92	c |     37860 |   46226  1153770  2713868 | 2147483647    37860    111 |  0.000 % |
77.17/77.39	c |     38037 |   46226  1153770  2713868 | 2147483647    38037    111 |  0.000 % |
77.57/77.77	c |     38232 |   46226  1153770  2713868 | 2147483647    38232    110 |  0.000 % |
77.87/78.07	c |     38444 |   46226  1153770  2713868 | 2147483647    38444    110 |  0.000 % |
78.57/78.72	c |     38677 |   46226  1153770  2713868 | 2147483647    38677    110 |  0.000 % |
78.67/78.88	c |     38933 |   46226  1153770  2713868 | 2147483647    38933    110 |  0.000 % |
79.37/79.58	c |     39215 |   46226  1153770  2713868 | 2147483647    39215    110 |  0.000 % |
79.97/80.12	c |     39524 |   46226  1153770  2713868 | 2147483647    39524    110 |  0.000 % |
80.57/80.73	c |     39863 |   46226  1153770  2713868 | 2147483647    39863    110 |  0.000 % |
80.97/81.10	c |     40237 |   46226  1153770  2713868 | 2147483647    40237    111 |  0.000 % |
81.47/81.60	c |     40647 |   46226  1153770  2713868 | 2147483647    40647    110 |  0.000 % |
82.07/82.23	c |     41096 |   46226  1153770  2713868 | 2147483647    41096    110 |  0.000 % |
82.47/82.62	c |     41589 |   46226  1153770  2713868 | 2147483647    41589    110 |  0.000 % |
82.77/82.93	c |     42133 |   46226  1153770  2713868 | 2147483647    42133    111 |  0.000 % |
83.87/84.02	c |     42730 |   46226  1153770  2713868 | 2147483647    42730    111 |  0.000 % |
84.17/84.36	c |     42830 |   46226  1153770  2713868 | 2147483647    42830    111 |  0.000 % |
84.47/84.62	c |     42940 |   46226  1153770  2713868 | 2147483647    42940    111 |  0.000 % |
84.86/85.05	c |     43062 |   46226  1153770  2713868 | 2147483647    43062    111 |  0.000 % |
85.06/85.26	c |     43195 |   46226  1153770  2713868 | 2147483647    43195    110 |  0.000 % |
85.56/85.72	c |     43342 |   46226  1153770  2713868 | 2147483647    43342    110 |  0.000 % |
85.66/85.90	c |     43504 |   46226  1153770  2713868 | 2147483647    43504    111 |  0.000 % |
86.05/86.22	c |     43680 |   46226  1153770  2713868 | 2147483647    43680    111 |  0.000 % |
86.55/86.78	c |     43876 |   46226  1153770  2713868 | 2147483647    43876    111 |  0.000 % |
87.25/87.41	c |     44091 |   46226  1153770  2713868 | 2147483647    44091    111 |  0.000 % |
87.65/87.86	c |     44325 |   46226  1153770  2713868 | 2147483647    44325    111 |  0.000 % |
87.86/88.04	c |     44582 |   46226  1153770  2713868 | 2147483647    44582    111 |  0.000 % |
88.15/88.32	c |     44863 |   46226  1153770  2713868 | 2147483647    44863    111 |  0.000 % |
88.55/88.71	c |     45172 |   46226  1153770  2713868 | 2147483647    45172    111 |  0.000 % |
88.96/89.13	c |     45511 |   46226  1153770  2713868 | 2147483647    45511    112 |  0.000 % |
89.26/89.42	c |     45883 |   46226  1153770  2713868 | 2147483647    45883    111 |  0.000 % |
89.76/89.92	c |     46293 |   46226  1153770  2713868 | 2147483647    46293    111 |  0.000 % |
90.16/90.30	c |     46743 |   46226  1153770  2713868 | 2147483647    46743    111 |  0.000 % |
90.46/90.67	c |     47239 |   46226  1153770  2713868 | 2147483647    47239    112 |  0.000 % |
91.36/91.57	c |     47782 |   46226  1153770  2713868 | 2147483647    47782    112 |  0.000 % |
92.95/93.12	c |     48379 |   46226  1153770  2713868 | 2147483647    48379    114 |  0.000 % |
93.36/93.51	c |     49036 |   46226  1153770  2713868 | 2147483647    49036    114 |  0.000 % |
93.65/93.85	c |     49136 |   46226  1153770  2713868 | 2147483647    49136    114 |  0.000 % |
93.75/93.96	c |     49247 |   46226  1153770  2713868 | 2147483647    49247    114 |  0.000 % |
93.85/94.01	c |     49368 |   46226  1153770  2713868 | 2147483647    49368    114 |  0.000 % |
94.05/94.24	c |     49502 |   46226  1153770  2713868 | 2147483647    49502    114 |  0.000 % |
94.36/94.56	c |     49649 |   46226  1153770  2713868 | 2147483647    49649    114 |  0.000 % |
94.65/94.80	c |     49810 |   46226  1153770  2713868 | 2147483647    49810    114 |  0.000 % |
95.15/95.38	c |     49987 |   46226  1153770  2713868 | 2147483647    49987    115 |  0.000 % |
95.65/95.88	c |     50180 |   46226  1153770  2713868 | 2147483647    50180    114 |  0.000 % |
95.85/96.03	c |     50392 |   46226  1153770  2713868 | 2147483647    50392    114 |  0.000 % |
96.35/96.54	c |     50625 |   46226  1153770  2713868 | 2147483647    50625    114 |  0.000 % |
96.65/96.86	c |     50883 |   46226  1153770  2713868 | 2147483647    50883    115 |  0.000 % |
97.05/97.29	c |     51166 |   46226  1153770  2713868 | 2147483647    51166    115 |  0.000 % |
97.65/97.88	c |     51476 |   46226  1153770  2713868 | 2147483647    51476    115 |  0.000 % |
98.15/98.31	c |     51817 |   46226  1153770  2713868 | 2147483647    51817    115 |  0.000 % |
98.46/98.61	c |     52189 |   46226  1153770  2713868 | 2147483647    52189    115 |  0.000 % |
99.16/99.39	c |     52599 |   46226  1153770  2713868 | 2147483647    52599    115 |  0.000 % |
100.06/100.20	c |     53048 |   46226  1153770  2713868 | 2147483647    53048    116 |  0.000 % |
100.86/101.04	c |     53541 |   46226  1153770  2713868 | 2147483647    53541    116 |  0.000 % |
101.45/101.63	c |     54083 |   46226  1153770  2713868 | 2147483647    54083    116 |  0.000 % |
102.95/103.19	c |     54679 |   46226  1153770  2713868 | 2147483647    54679    117 |  0.000 % |
103.74/103.96	c |     55334 |   46226  1153770  2713868 | 2147483647    55334    118 |  0.000 % |
105.14/105.36	c |     56054 |   46226  1153770  2713868 | 2147483647    56054    118 |  0.000 % |
105.63/105.85	c |     56154 |   46226  1153770  2713868 | 2147483647    56154    118 |  0.000 % |
105.73/105.96	c |     56264 |   46226  1153770  2713868 | 2147483647    56264    118 |  0.000 % |
105.93/106.14	c |     56386 |   46226  1153770  2713868 | 2147483647    56386    118 |  0.000 % |
106.23/106.47	c |     56519 |   46226  1153770  2713868 | 2147483647    56519    118 |  0.000 % |
106.73/106.92	c |     56665 |   46226  1153770  2713868 | 2147483647    56665    118 |  0.000 % |
107.33/107.53	c |     56825 |   46226  1153770  2713868 | 2147483647    56825    118 |  0.000 % |
107.43/107.66	c |     57001 |   46226  1153770  2713868 | 2147483647    57001    118 |  0.000 % |
108.03/108.23	c |     57194 |   46226  1153770  2713868 | 2147483647    57194    118 |  0.000 % |
108.23/108.48	c |     57406 |   46226  1153770  2713868 | 2147483647    57406    118 |  0.000 % |
108.93/109.11	c |     57639 |   46226  1153770  2713868 | 2147483647    57639    118 |  0.000 % |
109.13/109.37	c |     57897 |   46226  1153770  2713868 | 2147483647    57897    118 |  0.000 % |
109.83/110.09	c |     58178 |   46226  1153770  2713868 | 2147483647    58178    118 |  0.000 % |
110.53/110.72	c |     58488 |   46226  1153770  2713868 | 2147483647    58488    119 |  0.000 % |
111.33/111.55	c |     58827 |   46226  1153770  2713868 | 2147483647    58827    118 |  0.000 % |
111.93/112.17	c |     59199 |   46226  1153770  2713868 | 2147483647    59199    118 |  0.000 % |
112.33/112.51	c |     59608 |   46226  1153770  2713868 | 2147483647    59608    119 |  0.000 % |
113.33/113.58	c |     60058 |   46226  1153770  2713868 | 2147483647    60058    119 |  0.000 % |
114.14/114.39	c |     60552 |   46226  1153770  2713868 | 2147483647    60552    119 |  0.000 % |
114.93/115.18	c |     61094 |   46226  1153770  2713868 | 2147483647    61094    120 |  0.000 % |
115.33/115.59	c |     61692 |   46226  1153770  2713868 | 2147483647    61692    121 |  0.000 % |
116.23/116.42	c |     62348 |   46226  1153770  2713868 | 2147483647    62348    121 |  0.000 % |
117.83/118.02	c |     63068 |   46226  1153770  2713868 | 2147483647    63068    120 |  0.000 % |
119.03/119.20	c |     63860 |   46226  1153770  2713868 | 2147483647    63860    120 |  0.000 % |
119.32/119.50	c |     63962 |   46226  1153770  2713868 | 2147483647    63962    119 |  0.000 % |
119.52/119.78	c |     64072 |   46226  1153770  2713868 | 2147483647    64072    119 |  0.000 % |
119.92/120.11	c |     64195 |   46226  1153770  2713868 | 2147483647    64195    119 |  0.000 % |
120.12/120.36	c |     64328 |   46226  1153770  2713868 | 2147483647    64328    119 |  0.000 % |
120.73/120.96	c |     64474 |   46226  1153770  2713868 | 2147483647    64474    119 |  0.000 % |
121.22/121.42	c |     64634 |   46226  1153770  2713868 | 2147483647    64634    119 |  0.000 % |
121.62/121.89	c |     64811 |   46226  1153770  2713868 | 2147483647    64811    119 |  0.000 % |
122.02/122.25	c |     65004 |   46226  1153770  2713868 | 2147483647    65004    119 |  0.000 % |
122.62/122.89	c |     65216 |   46226  1153770  2713868 | 2147483647    65216    119 |  0.000 % |
123.03/123.23	c |     65450 |   46226  1153770  2713868 | 2147483647    65450    119 |  0.000 % |
123.42/123.68	c |     65706 |   46226  1153770  2713868 | 2147483647    65706    119 |  0.000 % |
123.82/124.09	c |     65988 |   46226  1153770  2713868 | 2147483647    65988    119 |  0.000 % |
124.62/124.88	c |     66299 |   46226  1153770  2713868 | 2147483647    66299    119 |  0.000 % |
125.32/125.52	c |     66640 |   46226  1153770  2713868 | 2147483647    66640    119 |  0.000 % |
125.62/125.82	c |     67012 |   46226  1153770  2713868 | 2147483647    67012    119 |  0.000 % |
126.23/126.43	c |     67422 |   46226  1153770  2713868 | 2147483647    67422    119 |  0.000 % |
126.83/127.00	c |     67871 |   46226  1153770  2713868 | 2147483647    67871    119 |  0.000 % |
126.93/127.17	c |     68364 |   46226  1153770  2713868 | 2147483647    68364    120 |  0.000 % |
127.33/127.54	c |     68906 |   46226  1153770  2713868 | 2147483647    68906    120 |  0.000 % |
128.32/128.55	c |     69502 |   46226  1153770  2713868 | 2147483647    69502    121 |  0.000 % |
129.02/129.28	c |     70158 |   46226  1153770  2713868 | 2147483647    70158    121 |  0.000 % |
130.42/130.63	c |     70879 |   46226  1153770  2713868 | 2147483647    70879    121 |  0.000 % |
131.72/131.97	c |     71671 |   46226  1153770  2713868 | 2147483647    71671    120 |  0.000 % |
132.51/132.75	c |     72543 |   46226  1153770  2713868 | 2147483647    72543    121 |  0.000 % |
132.83/133.00	c |     72643 |   46226  1153770  2713868 | 2147483647    72643    121 |  0.000 % |
133.02/133.27	c |     72754 |   46226  1153770  2713868 | 2147483647    72754    121 |  0.000 % |
133.32/133.57	c |     72877 |   46226  1153770  2713868 | 2147483647    72877    121 |  0.000 % |
133.62/133.89	c |     73011 |   46226  1153770  2713868 | 2147483647    73011    121 |  0.000 % |
134.12/134.36	c |     73157 |   46226  1153770  2713868 | 2147483647    73157    121 |  0.000 % |
134.42/134.65	c |     73318 |   46226  1153770  2713868 | 2147483647    73318    121 |  0.000 % |
134.82/135.07	c |     73494 |   46226  1153770  2713868 | 2147483647    73494    121 |  0.000 % |
135.51/135.70	c |     73687 |   46226  1153770  2713868 | 2147483647    73687    121 |  0.000 % |
135.71/135.91	c |     73899 |   46226  1153770  2713868 | 2147483647    73899    121 |  0.000 % |
136.41/136.65	c |     74132 |   46226  1153770  2713868 | 2147483647    74132    120 |  0.000 % |
137.22/137.47	c |     74389 |   46226  1153770  2713868 | 2147483647    74389    120 |  0.000 % |
137.61/137.83	c |     74671 |   46226  1153770  2713868 | 2147483647    74671    120 |  0.000 % |
138.21/138.41	c |     74980 |   46226  1153770  2713868 | 2147483647    74980    120 |  0.000 % |
138.91/139.16	c |     75321 |   46226  1153770  2713868 | 2147483647    75321    120 |  0.000 % |
139.21/139.49	c |     75693 |   46226  1153770  2713868 | 2147483647    75693    121 |  0.000 % |
139.61/139.86	c |     76102 |   46226  1153770  2713868 | 2147483647    76102    121 |  0.000 % |
141.11/141.34	c |     76551 |   46226  1153770  2713868 | 2147483647    76551    121 |  0.000 % |
142.31/142.56	c |     77044 |   46226  1153770  2713868 | 2147483647    77044    121 |  0.000 % |
143.11/143.33	c |     77586 |   46226  1153770  2713868 | 2147483647    77586    121 |  0.000 % |
144.42/144.61	c |     78183 |   46226  1153770  2713868 | 2147483647    78183    121 |  0.000 % |
144.61/144.86	c |     78839 |   46226  1153770  2713868 | 2147483647    78839    122 |  0.000 % |
145.71/145.90	c |     79559 |   46226  1153770  2713868 | 2147483647    79559    122 |  0.000 % |
147.22/147.46	c |     80351 |   46226  1153770  2713868 | 2147483647    80351    122 |  0.000 % |
147.81/148.04	c |     81223 |   46226  1153770  2713868 | 2147483647    81223    122 |  0.000 % |
148.51/148.78	c |     82181 |   46226  1153770  2713868 | 2147483647    82181    123 |  0.000 % |
148.81/149.04	c |     82282 |   46226  1153770  2713868 | 2147483647    82282    123 |  0.000 % |
149.01/149.21	c |     82395 |   46226  1153770  2713868 | 2147483647    82395    123 |  0.000 % |
149.11/149.37	c |     82516 |   46226  1153770  2713868 | 2147483647    82516    123 |  0.000 % |
149.71/149.94	c |     82649 |   46226  1153770  2713868 | 2147483647    82649    123 |  0.000 % |
149.91/150.15	c |     82795 |   46226  1153770  2713868 | 2147483647    82795    123 |  0.000 % |
150.11/150.36	c |     82957 |   46226  1153770  2713868 | 2147483647    82957    123 |  0.000 % |
150.81/151.04	c |     83133 |   46226  1153770  2713868 | 2147483647    83133    123 |  0.000 % |
151.21/151.47	c |     83328 |   46226  1153770  2713868 | 2147483647    83328    123 |  0.000 % |
151.61/151.90	c |     83540 |   46226  1153770  2713868 | 2147483647    83540    123 |  0.000 % |
152.41/152.60	c |     83773 |   46226  1153770  2713868 | 2147483647    83773    123 |  0.000 % |
152.91/153.14	c |     84029 |   46226  1153770  2713868 | 2147483647    84029    123 |  0.000 % |
153.71/153.91	c |     84310 |   46226  1153770  2713868 | 2147483647    84310    123 |  0.000 % |
154.30/154.58	c |     84619 |   46226  1153770  2713868 | 2147483647    84619    123 |  0.000 % |
154.91/155.15	c |     84959 |   46226  1153770  2713868 | 2147483647    84959    123 |  0.000 % |
155.91/156.17	c |     85331 |   46226  1153770  2713868 | 2147483647    85331    123 |  0.000 % |
156.80/157.05	c |     85741 |   46226  1153770  2713868 | 2147483647    85741    123 |  0.000 % |
157.30/157.54	c |     86192 |   46226  1153770  2713868 | 2147483647    86192    123 |  0.000 % |
157.50/157.71	c |     86686 |   46226  1153770  2713868 | 2147483647    86686    123 |  0.000 % |
158.30/158.60	c |     87228 |   46226  1153770  2713868 | 2147483647    87228    124 |  0.000 % |
158.80/159.04	c |     87824 |   46226  1153770  2713868 | 2147483647    87824    124 |  0.000 % |
159.70/159.91	c |     88479 |   46226  1153770  2713868 | 2147483647    88479    124 |  0.000 % |
159.99/160.24	c |     89199 |   46226  1153770  2713868 | 2147483647    89199    125 |  0.000 % |
160.41/160.61	c |     89991 |   46226  1153770  2713868 | 2147483647    89991    125 |  0.000 % |
162.40/162.64	c |     90862 |   46226  1153770  2713868 | 2147483647    90862    127 |  0.000 % |
163.60/163.84	c |     91820 |   46226  1153770  2713868 | 2147483647    91820    127 |  0.000 % |
164.70/164.94	c |     92874 |   46226  1153770  2713868 | 2147483647    92874    127 |  0.000 % |
165.20/165.40	c |     92975 |   46226  1153770  2713868 | 2147483647    92975    127 |  0.000 % |
165.49/165.72	c |     93085 |   46226  1153770  2713868 | 2147483647    93085    127 |  0.000 % |
165.90/166.19	c |     93206 |   46226  1153770  2713868 | 2147483647    93206    127 |  0.000 % |
166.29/166.57	c |     93340 |   46226  1153770  2713868 | 2147483647    93340    127 |  0.000 % |
166.39/166.68	c |     93486 |   46226  1153770  2713868 | 2147483647    93486    127 |  0.000 % |
167.09/167.35	c |     93646 |   46226  1153770  2713868 | 2147483647    93646    127 |  0.000 % |
167.49/167.71	c |     93824 |   46226  1153770  2713868 | 2147483647    93824    127 |  0.000 % |
167.79/168.01	c |     94018 |   46226  1153770  2713868 | 2147483647    94018    127 |  0.000 % |
168.39/168.63	c |     94230 |   46226  1153770  2713868 | 2147483647    94230    126 |  0.000 % |
168.59/168.83	c |     94464 |   46226  1153770  2713868 | 2147483647    94464    126 |  0.000 % |
168.79/169.01	c |     94721 |   46226  1153770  2713868 | 2147483647    94721    127 |  0.000 % |
168.89/169.14	c |     95003 |   46226  1153770  2713868 | 2147483647    95003    127 |  0.000 % |
169.69/169.93	c |     95313 |   46226  1153770  2713868 | 2147483647    95313    127 |  0.000 % |
170.99/171.25	c |     95652 |   46226  1153770  2713868 | 2147483647    95652    127 |  0.000 % |
171.69/171.96	c |     96027 |   46226  1153770  2713868 | 2147483647    96027    127 |  0.000 % |
172.39/172.65	c |     96437 |   46226  1153770  2713868 | 2147483647    96437    127 |  0.000 % |
173.50/173.80	c |     96886 |   46226  1153770  2713868 | 2147483647    96886    127 |  0.000 % |
174.29/174.50	c |     97379 |   46226  1153770  2713868 | 2147483647    97379    127 |  0.000 % |
174.39/174.69	c |     97921 |   46226  1153770  2713868 | 2147483647    97921    127 |  0.000 % |
175.09/175.33	c |     98517 |   46226  1153770  2713868 | 2147483647    98517    127 |  0.000 % |
176.09/176.31	c |     99174 |   46226  1153770  2713868 | 2147483647    99174    127 |  0.000 % |
177.49/177.72	c |     99894 |   46226  1153770  2713868 | 2147483647    99894    128 |  0.000 % |
178.29/178.59	c |    100686 |   46226  1153770  2713868 | 2147483647   100686    128 |  0.000 % |
178.69/178.95	c |    101557 |   46226  1153770  2713868 | 2147483647   101557    128 |  0.000 % |
179.19/179.46	c |    102515 |   46226  1153770  2713868 | 2147483647   102515    128 |  0.000 % |
181.08/181.32	c |    103568 |   46226  1153770  2713868 | 2147483647   103568    129 |  0.000 % |
182.98/183.20	c |    104727 |   46226  1153770  2713868 | 2147483647   104727    129 |  0.000 % |
183.08/183.31	c |    104827 |   46226  1153770  2713868 | 2147483647   104827    129 |  0.000 % |
183.38/183.61	c |    104939 |   46226  1153770  2713868 | 2147483647   104939    129 |  0.000 % |
183.48/183.71	c |    105061 |   46226  1153770  2713868 | 2147483647   105061    129 |  0.000 % |
183.88/184.15	c |    105195 |   46226  1153770  2713868 | 2147483647   105195    129 |  0.000 % |
184.28/184.50	c |    105342 |   46226  1153770  2713868 | 2147483647   105342    129 |  0.000 % |
184.58/184.89	c |    105502 |   46226  1153770  2713868 | 2147483647   105502    129 |  0.000 % |
185.08/185.33	c |    105679 |   46226  1153770  2713868 | 2147483647   105679    128 |  0.000 % |
185.58/185.86	c |    105874 |   46226  1153770  2713868 | 2147483647   105874    128 |  0.000 % |
185.88/186.16	c |    106086 |   46226  1153770  2713868 | 2147483647   106086    128 |  0.000 % |
186.39/186.64	c |    106319 |   46226  1153770  2713868 | 2147483647   106319    128 |  0.000 % |
186.99/187.26	c |    106575 |   46226  1153770  2713868 | 2147483647   106575    128 |  0.000 % |
187.69/187.93	c |    106856 |   46226  1153770  2713868 | 2147483647   106856    128 |  0.000 % |
188.08/188.36	c |    107165 |   46226  1153770  2713868 | 2147483647   107165    128 |  0.000 % |
188.99/189.25	c |    107505 |   46226  1153770  2713868 | 2147483647   107505    128 |  0.000 % |
189.98/190.23	c |    107877 |   46226  1153770  2713868 | 2147483647   107877    128 |  0.000 % |
190.68/190.96	c |    108286 |   46226  1153770  2713868 | 2147483647   108286    128 |  0.000 % |
191.48/191.76	c |    108736 |   46226  1153770  2713868 | 2147483647   108736    128 |  0.000 % |
192.38/192.62	c |    109229 |   46226  1153770  2713868 | 2147483647   109229    128 |  0.000 % |
192.98/193.24	c |    109771 |   46226  1153770  2713868 | 2147483647   109771    128 |  0.000 % |
193.38/193.62	c |    110367 |   46226  1153770  2713868 | 2147483647   110367    128 |  0.000 % |
194.87/195.17	c |    111022 |   46226  1153770  2713868 | 2147483647   111022    129 |  0.000 % |
196.18/196.44	c |    111746 |   46226  1153770  2713868 | 2147483647   111746    129 |  0.000 % |
197.08/197.35	c |    112538 |   46226  1153770  2713868 | 2147483647   112538    129 |  0.000 % |
198.78/199.03	c |    113410 |   46226  1153770  2713868 | 2147483647   113410    130 |  0.000 % |
199.67/199.95	c |    114368 |   46226  1153770  2713868 | 2147483647   114368    130 |  0.000 % |
200.27/200.52	c |    115423 |   46226  1153770  2713868 | 2147483647   115423    130 |  0.000 % |
201.17/201.42	c |    116581 |   46226  1153770  2713868 | 2147483647   116581    131 |  0.000 % |
203.37/203.62	c |    117854 |   46226  1153770  2713868 | 2147483647   117854    131 |  0.000 % |
203.67/203.90	c |    117954 |   46226  1153770  2713868 | 2147483647   117954    131 |  0.000 % |
203.77/204.03	c |    118065 |   46226  1153770  2713868 | 2147483647   118065    131 |  0.000 % |
204.18/204.43	c |    118186 |   46226  1153770  2713868 | 2147483647   118186    131 |  0.000 % |
204.48/204.70	c |    118319 |   46226  1153770  2713868 | 2147483647   118319    131 |  0.000 % |
204.68/204.91	c |    118466 |   46226  1153770  2713868 | 2147483647   118466    131 |  0.000 % |
205.17/205.48	c |    118626 |   46226  1153770  2713868 | 2147483647   118626    130 |  0.000 % |
205.67/205.97	c |    118804 |   46226  1153770  2713868 | 2147483647   118804    130 |  0.000 % |
206.07/206.32	c |    118997 |   46226  1153770  2713868 | 2147483647   118997    130 |  0.000 % |
206.37/206.62	c |    119209 |   46226  1153770  2713868 | 2147483647   119209    130 |  0.000 % |
206.87/207.17	c |    119442 |   46226  1153770  2713868 | 2147483647   119442    130 |  0.000 % |
207.77/208.06	c |    119700 |   46226  1153770  2713868 | 2147483647   119700    130 |  0.000 % |
208.27/208.55	c |    119982 |   46226  1153770  2713868 | 2147483647   119982    130 |  0.000 % |
209.17/209.42	c |    120292 |   46226  1153770  2713868 | 2147483647   120292    130 |  0.000 % |
210.07/210.35	c |    120631 |   46226  1153770  2713868 | 2147483647   120631    130 |  0.000 % |
210.67/210.91	c |    121003 |   46226  1153770  2713868 | 2147483647   121003    130 |  0.000 % |
211.87/212.15	c |    121414 |   46226  1153770  2713868 | 2147483647   121414    130 |  0.000 % |
212.37/212.69	c |    121864 |   46226  1153770  2713868 | 2147483647   121864    130 |  0.000 % |
213.47/213.75	c |    122359 |   46226  1153770  2713868 | 2147483647   122359    130 |  0.000 % |
213.77/214.08	c |    122903 |   46226  1153770  2713868 | 2147483647   122903    131 |  0.000 % |
215.86/216.20	c |    123499 |   46226  1153770  2713868 | 2147483647   123499    131 |  0.000 % |
217.47/217.74	c |    124155 |   46226  1153770  2713868 | 2147483647   124155    131 |  0.000 % |
217.76/218.07	c |    124875 |   46226  1153770  2713868 | 2147483647   124875    131 |  0.000 % |
219.16/219.49	c |    125667 |   46226  1153770  2713868 | 2147483647   125667    131 |  0.000 % |
220.76/221.02	c |    126538 |   46226  1153770  2713868 | 2147483647   126538    131 |  0.000 % |
222.97/223.22	c |    127496 |   46226  1153770  2713868 | 2147483647   127496    131 |  0.000 % |
224.57/224.82	c |    128549 |   46226  1153770  2713868 | 2147483647   128549    131 |  0.000 % |
225.96/226.28	c |    129708 |   46226  1153770  2713868 | 2147483647   129708    131 |  0.000 % |
227.06/227.30	c |    130982 |   46226  1153770  2713868 | 2147483647   130982    132 |  0.000 % |
228.76/229.09	c |    132383 |   46226  1153770  2713868 | 2147483647   132383    132 |  0.000 % |
229.26/229.56	c |    132483 |   46226  1153770  2713868 | 2147483647   132483    132 |  0.000 % |
229.86/230.16	c |    132593 |   46226  1153770  2713868 | 2147483647   132593    132 |  0.000 % |
230.46/230.78	c |    132714 |   46226  1153770  2713868 | 2147483647   132714    132 |  0.000 % |
230.76/231.02	c |    132847 |   46226  1153770  2713868 | 2147483647   132847    132 |  0.000 % |
230.86/231.14	c |    132994 |   46226  1153770  2713868 | 2147483647   132994    132 |  0.000 % |
231.46/231.73	c |    133155 |   46226  1153770  2713868 | 2147483647   133155    132 |  0.000 % |
231.76/232.05	c |    133332 |   46226  1153770  2713868 | 2147483647   133332    132 |  0.000 % |
232.46/232.73	c |    133526 |   46226  1153770  2713868 | 2147483647   133526    132 |  0.000 % |
233.36/233.65	c |    133738 |   46226  1153770  2713868 | 2147483647   133738    132 |  0.000 % |
233.86/234.12	c |    133972 |   46226  1153770  2713868 | 2147483647   133972    132 |  0.000 % |
234.07/234.34	c |    134228 |   46226  1153770  2713868 | 2147483647   134228    132 |  0.000 % |
234.26/234.56	c |    134510 |   46226  1153770  2713868 | 2147483647   134510    132 |  0.000 % |
235.36/235.67	c |    134819 |   46226  1153770  2713868 | 2147483647   134819    132 |  0.000 % |
236.36/236.68	c |    135158 |   46226  1153770  2713868 | 2147483647   135158    132 |  0.000 % |
236.86/237.17	c |    135530 |   46226  1153770  2713868 | 2147483647   135530    132 |  0.000 % |
237.56/237.80	c |    135940 |   46226  1153770  2713868 | 2147483647   135940    132 |  0.000 % |
238.55/238.80	c |    136390 |   46226  1153770  2713868 | 2147483647   136390    132 |  0.000 % |
239.85/240.10	c |    136883 |   46226  1153770  2713868 | 2147483647   136883    132 |  0.000 % |
241.35/241.69	c |    137425 |   46226  1153770  2713868 | 2147483647   137425    132 |  0.000 % |
242.25/242.55	c |    138021 |   46226  1153770  2713868 | 2147483647   138021    132 |  0.000 % |
243.05/243.34	c |    138677 |   46226  1153770  2713868 | 2147483647   138677    132 |  0.000 % |
244.65/244.93	c |    139397 |   46226  1153770  2713868 | 2147483647   139397    132 |  0.000 % |
245.65/245.94	c |    140189 |   46226  1153770  2713868 | 2147483647   140189    132 |  0.000 % |
247.44/247.77	c |    141061 |   46226  1153770  2713868 | 2147483647   141061    133 |  0.000 % |
249.15/249.43	c |    142019 |   46226  1153770  2713868 | 2147483647   142019    133 |  0.000 % |
251.15/251.41	c |    143074 |   46226  1153770  2713868 | 2147483647   143074    133 |  0.000 % |
253.95/254.22	c |    144232 |   46226  1153770  2713868 | 2147483647   144232    133 |  0.000 % |
255.95/256.30	c |    145505 |   46226  1153770  2713868 | 2147483647   145505    133 |  0.000 % |
259.15/259.46	c |    146905 |   46226  1153770  2713868 | 2147483647   146905    135 |  0.000 % |
262.04/262.33	c |    148447 |   46226  1153770  2713868 | 2147483647   148447    135 |  0.000 % |
262.14/262.48	c |    148547 |   46226  1153770  2713868 | 2147483647   148547    135 |  0.000 % |
262.65/262.99	c |    148658 |   46226  1153770  2713868 | 2147483647   148658    135 |  0.000 % |
263.24/263.56	c |    148779 |   46226  1153770  2713868 | 2147483647   148779    135 |  0.000 % |
263.44/263.77	c |    148912 |   46226  1153770  2713868 | 2147483647   148912    135 |  0.000 % |
263.65/263.90	c |    149058 |   46226  1153770  2713868 | 2147483647   149058    135 |  0.000 % |
264.14/264.43	c |    149219 |   46226  1153770  2713868 | 2147483647   149219    135 |  0.000 % |
264.64/264.94	c |    149395 |   46226  1153770  2713868 | 2147483647   149395    135 |  0.000 % |
265.04/265.40	c |    149588 |   46226  1153770  2713868 | 2147483647   149588    135 |  0.000 % |
265.74/266.03	c |    149800 |   46226  1153770  2713868 | 2147483647   149800    135 |  0.000 % |
266.24/266.50	c |    150034 |   46226  1153770  2713868 | 2147483647   150034    135 |  0.000 % |
266.84/267.17	c |    150291 |   46226  1153770  2713868 | 2147483647   150291    135 |  0.000 % |
267.84/268.17	c |    150572 |   46226  1153770  2713868 | 2147483647   150572    135 |  0.000 % |
268.54/268.90	c |    150881 |   46226  1153770  2713868 | 2147483647   150881    135 |  0.000 % |
268.93/269.24	c |    151222 |   46226  1153770  2713868 | 2147483647   151222    135 |  0.000 % |
269.83/270.12	c |    151594 |   46226  1153770  2713868 | 2147483647   151594    135 |  0.000 % |
270.73/271.07	c |    152003 |   46226  1153770  2713868 | 2147483647   152003    135 |  0.000 % |
272.03/272.36	c |    152452 |   46226  1153770  2713868 | 2147483647   152452    135 |  0.000 % |
273.44/273.71	c |    152946 |   46226  1153770  2713868 | 2147483647   152946    135 |  0.000 % |
274.24/274.57	c |    153489 |   46226  1153770  2713868 | 2147483647   153489    135 |  0.000 % |
275.84/276.12	c |    154086 |   46226  1153770  2713868 | 2147483647   154086    135 |  0.000 % |
277.24/277.55	c |    154741 |   46226  1153770  2713868 | 2147483647   154741    135 |  0.000 % |
278.44/278.78	c |    155463 |   46226  1153770  2713868 | 2147483647   155463    135 |  0.000 % |
278.83/279.19	c |    156256 |   46226  1153770  2713868 | 2147483647   156256    135 |  0.000 % |
280.93/281.29	c |    157127 |   46226  1153770  2713868 | 2147483647   157127    135 |  0.000 % |
281.83/282.14	c |    158085 |   46226  1153770  2713868 | 2147483647   158085    135 |  0.000 % |
283.33/283.67	c |    159138 |   46226  1153770  2713868 | 2147483647   159138    136 |  0.000 % |
285.92/286.21	c |    160296 |   46226  1153770  2713868 | 2147483647   160296    136 |  0.000 % |
288.12/288.45	c |    161570 |   46226  1153770  2713868 | 2147483647   161570    136 |  0.000 % |
290.92/291.28	c |    162971 |   46226  1153770  2713868 | 2147483647   162971    137 |  0.000 % |
294.52/294.83	c |    164511 |   46226  1153770  2713868 | 2147483647   164511    136 |  0.000 % |
297.12/297.48	c |    166205 |   46226  1153770  2713868 | 2147483647   166205    137 |  0.000 % |
297.52/297.85	c |    166305 |   46226  1153770  2713868 | 2147483647   166305    137 |  0.000 % |
297.82/298.15	c |    166416 |   46226  1153770  2713868 | 2147483647   166416    137 |  0.000 % |
298.42/298.76	c |    166537 |   46226  1153770  2713868 | 2147483647   166537    137 |  0.000 % |
299.12/299.43	c |    166671 |   46226  1153770  2713868 | 2147483647   166671    137 |  0.000 % |
299.51/299.80	c |    166817 |   46226  1153770  2713868 | 2147483647   166817    137 |  0.000 % |
299.81/300.17	c |    166980 |   46226  1153770  2713868 | 2147483647   166980    137 |  0.000 % |
300.41/300.70	c |    167156 |   46226  1153770  2713868 | 2147483647   167156    137 |  0.000 % |
300.81/301.11	c |    167349 |   46226  1153770  2713868 | 2147483647   167349    137 |  0.000 % |
301.31/301.61	c |    167561 |   46226  1153770  2713868 | 2147483647   167561    137 |  0.000 % |
301.91/302.21	c |    167794 |   46226  1153770  2713868 | 2147483647   167794    137 |  0.000 % |
302.22/302.51	c |    168050 |   46226  1153770  2713868 | 2147483647   168050    137 |  0.000 % |
302.62/302.94	c |    168332 |   46226  1153770  2713868 | 2147483647   168332    137 |  0.000 % |
303.62/303.96	c |    168644 |   46226  1153770  2713868 | 2147483647   168644    137 |  0.000 % |
303.92/304.28	c |    168985 |   46226  1153770  2713868 | 2147483647   168985    137 |  0.000 % |
304.82/305.16	c |    169358 |   46226  1153770  2713868 | 2147483647   169358    137 |  0.000 % |
305.92/306.22	c |    169768 |   46226  1153770  2713868 | 2147483647   169768    137 |  0.000 % |
306.42/306.71	c |    170218 |   46226  1153770  2713868 | 2147483647   170218    137 |  0.000 % |
307.02/307.38	c |    170711 |   46226  1153770  2713868 | 2147483647   170711    137 |  0.000 % |
307.72/308.06	c |    171254 |   46226  1153770  2713868 | 2147483647   171254    137 |  0.000 % |
308.92/309.20	c |    171852 |   46226  1153770  2713868 | 2147483647   171852    137 |  0.000 % |
310.21/310.57	c |    172508 |   46226  1153770  2713868 | 2147483647   172508    137 |  0.000 % |
312.02/312.38	c |    173228 |   46226  1153770  2713868 | 2147483647   173228    137 |  0.000 % |
312.71/313.08	c |    174021 |   46226  1153770  2713868 | 2147483647   174021    137 |  0.000 % |
314.81/315.15	c |    174892 |   46226  1153770  2713868 | 2147483647   174892    137 |  0.000 % |
316.30/316.63	c |    175852 |   46226  1153770  2713868 | 2147483647   175852    137 |  0.000 % |
317.52/317.88	c |    176905 |   46226  1153770  2713868 | 2147483647   176905    138 |  0.000 % |
319.41/319.73	c |    178063 |   46226  1153770  2713868 | 2147483647   178063    138 |  0.000 % |
321.80/322.14	c |    179336 |   46226  1153770  2713868 | 2147483647   179336    138 |  0.000 % |
325.21/325.56	c |    180736 |   46226  1153770  2713868 | 2147483647   180736    138 |  0.000 % |
328.01/328.31	c |    182277 |   46226  1153770  2713868 | 2147483647   182277    138 |  0.000 % |
331.90/332.21	c |    183974 |   46226  1153770  2713868 | 2147483647   183974    139 |  0.000 % |
335.40/335.77	c |    185837 |   46226  1153770  2713868 | 2147483647   185837    140 |  0.000 % |
335.79/336.18	c |    185938 |   46226  1153770  2713868 | 2147483647   185938    140 |  0.000 % |
336.09/336.41	c |    186049 |   46226  1153770  2713868 | 2147483647   186049    140 |  0.000 % |
336.49/336.89	c |    186170 |   46226  1153770  2713868 | 2147483647   186170    140 |  0.000 % |
336.99/337.34	c |    186305 |   46226  1153770  2713868 | 2147483647   186305    140 |  0.000 % |
337.49/337.85	c |    186451 |   46226  1153770  2713868 | 2147483647   186451    140 |  0.000 % |
337.79/338.15	c |    186612 |   46226  1153770  2713868 | 2147483647   186612    140 |  0.000 % |
337.99/338.35	c |    186788 |   46226  1153770  2713868 | 2147483647   186788    140 |  0.000 % |
338.40/338.71	c |    186981 |   46226  1153770  2713868 | 2147483647   186981    140 |  0.000 % |
338.79/339.17	c |    187193 |   46226  1153770  2713868 | 2147483647   187193    140 |  0.000 % |
339.19/339.58	c |    187426 |   46226  1153770  2713868 | 2147483647   187426    140 |  0.000 % |
339.89/340.24	c |    187682 |   46226  1153770  2713868 | 2147483647   187682    140 |  0.000 % |
340.70/341.05	c |    187963 |   46226  1153770  2713868 | 2147483647   187963    140 |  0.000 % |
340.99/341.37	c |    188272 |   46226  1153770  2713868 | 2147483647   188272    140 |  0.000 % |
342.19/342.53	c |    188612 |   46226  1153770  2713868 | 2147483647   188612    140 |  0.000 % |
342.69/343.01	c |    188985 |   46226  1153770  2713868 | 2147483647   188985    140 |  0.000 % |
344.10/344.46	c |    189394 |   46226  1153770  2713868 | 2147483647   189394    139 |  0.000 % |
345.40/345.73	c |    189845 |   46226  1153770  2713868 | 2147483647   189845    139 |  0.000 % |
346.59/346.91	c |    190338 |   46226  1153770  2713868 | 2147483647   190338    139 |  0.000 % |
347.49/347.88	c |    190882 |   46226  1153770  2713868 | 2147483647   190882    140 |  0.000 % |
348.19/348.56	c |    191478 |   46226  1153770  2713868 | 2147483647   191478    140 |  0.000 % |
349.59/349.99	c |    192134 |   46226  1153770  2713868 | 2147483647   192134    140 |  0.000 % |
349.99/350.35	c |    192854 |   46226  1153770  2713868 | 2147483647   192854    140 |  0.000 % |
351.49/351.88	c |    193647 |   46226  1153770  2713868 | 2147483647   193647    140 |  0.000 % |
353.09/353.48	c |    194518 |   46226  1153770  2713868 | 2147483647   194518    140 |  0.000 % |
355.68/356.06	c |    195477 |   46226  1153770  2713868 | 2147483647   195477    140 |  0.000 % |
358.49/358.80	c |    196530 |   46226  1153770  2713868 | 2147483647   196530    141 |  0.000 % |
362.09/362.41	c |    197688 |   46226  1153770  2713868 | 2147483647   197688    141 |  0.000 % |
365.08/365.49	c |    198961 |   46226  1153770  2713868 | 2147483647   198961    141 |  0.000 % |
368.09/368.47	c |    200361 |   46226  1153770  2713868 | 2147483647   200361    141 |  0.000 % |
370.08/370.40	c |    201902 |   46226  1153770  2713868 | 2147483647   201902    141 |  0.000 % |
374.28/374.62	c |    203596 |   46226  1153770  2713868 | 2147483647   203596    142 |  0.000 % |
376.88/377.20	c |    205459 |   46226  1153770  2713868 | 2147483647   205459    142 |  0.000 % |
379.97/380.31	c |    207508 |   46226  1153770  2713868 | 2147483647   207508    143 |  0.000 % |
380.47/380.89	c |    207608 |   46226  1153770  2713868 | 2147483647   207608    143 |  0.000 % |
380.87/381.29	c |    207720 |   46226  1153770  2713868 | 2147483647   207720    143 |  0.000 % |
381.37/381.73	c |    207841 |   46226  1153770  2713868 | 2147483647   207841    143 |  0.000 % |
381.87/382.28	c |    207974 |   46226  1153770  2713868 | 2147483647   207974    143 |  0.000 % |
382.67/383.05	c |    208120 |   46226  1153770  2713868 | 2147483647   208120    143 |  0.000 % |
383.17/383.50	c |    208280 |   46226  1153770  2713868 | 2147483647   208280    142 |  0.000 % |
383.87/384.27	c |    208456 |   46226  1153770  2713868 | 2147483647   208456    142 |  0.000 % |
384.77/385.11	c |    208649 |   46226  1153770  2713868 | 2147483647   208649    142 |  0.000 % |
385.37/385.71	c |    208863 |   46226  1153770  2713868 | 2147483647   208863    142 |  0.000 % |
386.16/386.52	c |    209096 |   46226  1153770  2713868 | 2147483647   209096    142 |  0.000 % |
386.77/387.15	c |    209352 |   46226  1153770  2713868 | 2147483647   209352    142 |  0.000 % |
387.66/388.05	c |    209633 |   46226  1153770  2713868 | 2147483647   209633    142 |  0.000 % |
388.46/388.86	c |    209944 |   46226  1153770  2713868 | 2147483647   209944    142 |  0.000 % |
389.96/390.34	c |    210283 |   46226  1153770  2713868 | 2147483647   210283    142 |  0.000 % |
390.66/391.04	c |    210655 |   46226  1153770  2713868 | 2147483647   210655    142 |  0.000 % |
391.67/392.04	c |    211066 |   46226  1153770  2713868 | 2147483647   211066    142 |  0.000 % |
393.07/393.40	c |    211516 |   46226  1153770  2713868 | 2147483647   211516    142 |  0.000 % |
394.07/394.44	c |    212010 |   46226  1153770  2713868 | 2147483647   212010    142 |  0.000 % |
395.37/395.75	c |    212552 |   46226  1153770  2713868 | 2147483647   212552    142 |  0.000 % |
396.77/397.17	c |    213152 |   46226  1153770  2713868 | 2147483647   213152    142 |  0.000 % |
397.27/397.69	c |    213808 |   46226  1153770  2713868 | 2147483647   213808    142 |  0.000 % |
398.76/399.13	c |    214531 |   46226  1153770  2713868 | 2147483647   214531    142 |  0.000 % |
399.96/400.40	c |    215323 |   46226  1153770  2713868 | 2147483647   215323    142 |  0.000 % |
401.36/401.70	c |    216195 |   46226  1153770  2713868 | 2147483647   216195    142 |  0.000 % |
402.66/403.07	c |    217155 |   46226  1153770  2713868 | 2147483647   217155    143 |  0.000 % |
405.26/405.70	c |    218208 |   46226  1153770  2713868 | 2147483647   218208    143 |  0.000 % |
406.96/407.37	c |    219366 |   46226  1153770  2713868 | 2147483647   219366    143 |  0.000 % |
409.36/409.76	c |    220639 |   46226  1153770  2713868 | 2147483647   220639    143 |  0.000 % |
411.35/411.78	c |    222039 |   46226  1153770  2713868 | 2147483647   222039    143 |  0.000 % |
415.76/416.13	c |    223582 |   46226  1153770  2713868 | 2147483647   223582    144 |  0.000 % |
419.95/420.39	c |    225277 |   46226  1153770  2713868 | 2147483647   225277    144 |  0.000 % |
423.55/423.94	c |    227140 |   46226  1153770  2713868 | 2147483647   227140    145 |  0.000 % |
426.25/426.68	c |    229189 |   46226  1153770  2713868 | 2147483647   229189    145 |  0.000 % |
431.04/431.47	c |    231442 |   46226  1153770  2713868 | 2147483647   231442    145 |  0.000 % |
431.24/431.61	c |    231544 |   46226  1153770  2713868 | 2147483647   231544    145 |  0.000 % |
431.84/432.30	c |    231655 |   46226  1153770  2713868 | 2147483647   231655    145 |  0.000 % |
432.04/432.45	c |    231777 |   46226  1153770  2713868 | 2147483647   231777    145 |  0.000 % |
432.24/432.62	c |    231910 |   46226  1153770  2713868 | 2147483647   231910    145 |  0.000 % |
432.94/433.35	c |    232056 |   46226  1153770  2713868 | 2147483647   232056    145 |  0.000 % |
433.64/434.09	c |    232216 |   46226  1153770  2713868 | 2147483647   232216    145 |  0.000 % |
434.15/434.57	c |    232392 |   46226  1153770  2713868 | 2147483647   232392    145 |  0.000 % |
434.55/434.95	c |    232585 |   46226  1153770  2713868 | 2147483647   232585    145 |  0.000 % |
435.05/435.44	c |    232799 |   46226  1153770  2713868 | 2147483647   232799    145 |  0.000 % |
435.65/436.03	c |    233033 |   46226  1153770  2713868 | 2147483647   233033    145 |  0.000 % |
437.04/437.42	c |    233289 |   46226  1153770  2713868 | 2147483647   233289    145 |  0.000 % |
437.84/438.29	c |    233570 |   46226  1153770  2713868 | 2147483647   233570    145 |  0.000 % |
438.45/438.84	c |    233880 |   46226  1153770  2713868 | 2147483647   233880    145 |  0.000 % |
439.55/439.96	c |    234220 |   46226  1153770  2713868 | 2147483647   234220    145 |  0.000 % |
440.34/440.79	c |    234595 |   46226  1153770  2713868 | 2147483647   234595    145 |  0.000 % |
441.54/441.90	c |    235004 |   46226  1153770  2713868 | 2147483647   235004    145 |  0.000 % |
442.74/443.11	c |    235453 |   46226  1153770  2713868 | 2147483647   235453    145 |  0.000 % |
443.24/443.68	c |    235948 |   46226  1153770  2713868 | 2147483647   235948    145 |  0.000 % |
443.64/444.07	c |    236491 |   46226  1153770  2713868 | 2147483647   236491    145 |  0.000 % |
445.04/445.43	c |    237087 |   46226  1153770  2713868 | 2147483647   237087    145 |  0.000 % |
446.44/446.88	c |    237743 |   46226  1153770  2713868 | 2147483647   237743    145 |  0.000 % |
448.24/448.65	c |    238464 |   46226  1153770  2713868 | 2147483647   238464    145 |  0.000 % |
450.03/450.48	c |    239256 |   46226  1153770  2713868 | 2147483647   239256    145 |  0.000 % |
451.64/452.02	c |    240127 |   46226  1153770  2713868 | 2147483647   240127    145 |  0.000 % |
453.63/454.08	c |    241085 |   46226  1153770  2713868 | 2147483647   241085    145 |  0.000 % |
457.74/458.12	c |    242138 |   46226  1153770  2713868 | 2147483647   242138    145 |  0.000 % |
461.33/461.72	c |    243296 |   46226  1153770  2713868 | 2147483647   243296    145 |  0.000 % |
462.43/462.86	c |    244569 |   46226  1153770  2713868 | 2147483647   244569    145 |  0.000 % |
465.22/465.61	c |    245970 |   46226  1153770  2713868 | 2147483647   245970    145 |  0.000 % |
468.72/469.13	c |    247511 |   46226  1153770  2713868 | 2147483647   247511    146 |  0.000 % |
470.22/470.62	c |    249205 |   46226  1153770  2713868 | 2147483647   249205    146 |  0.000 % |
475.82/476.21	c |    251068 |   46226  1153770  2713868 | 2147483647   251068    146 |  0.000 % |
477.02/477.44	c |    253117 |   46226  1153770  2713868 | 2147483647   253117    147 |  0.000 % |
484.92/485.32	c |    255371 |   46226  1153770  2713868 | 2147483647   255371    147 |  0.000 % |
491.31/491.72	c |    257849 |   46226  1153770  2713868 | 2147483647   257849    147 |  0.000 % |
491.51/491.95	c |    257950 |   46226  1153770  2713868 | 2147483647   257950    147 |  0.000 % |
492.11/492.56	c |    258060 |   46226  1153770  2713868 | 2147483647   258060    147 |  0.000 % |
492.71/493.13	c |    258181 |   46226  1153770  2713868 | 2147483647   258181    147 |  0.000 % |
493.11/493.53	c |    258314 |   46226  1153770  2713868 | 2147483647   258314    147 |  0.000 % |
493.71/494.12	c |    258461 |   46226  1153770  2713868 | 2147483647   258461    147 |  0.000 % |
494.81/495.21	c |    258621 |   46226  1153770  2713868 | 2147483647   258621    147 |  0.000 % |
495.31/495.79	c |    258797 |   46226  1153770  2713868 | 2147483647   258797    147 |  0.000 % |
495.81/496.25	c |    258990 |   46226  1153770  2713868 | 2147483647   258990    147 |  0.000 % |
496.91/497.39	c |    259203 |   46226  1153770  2713868 | 2147483647   259203    147 |  0.000 % |
497.61/498.08	c |    259437 |   46226  1153770  2713868 | 2147483647   259437    147 |  0.000 % |
498.91/499.33	c |    259693 |   46226  1153770  2713868 | 2147483647   259693    147 |  0.000 % |
499.81/500.24	c |    259974 |   46226  1153770  2713868 | 2147483647   259974    147 |  0.000 % |
501.00/501.44	c |    260283 |   46226  1153770  2713868 | 2147483647   260283    147 |  0.000 % |
501.71/502.13	c |    260622 |   46226  1153770  2713868 | 2147483647   260622    147 |  0.000 % |
502.32/502.78	c |    260994 |   46226  1153770  2713868 | 2147483647   260994    147 |  0.000 % |
502.91/503.36	c |    261403 |   46226  1153770  2713868 | 2147483647   261403    147 |  0.000 % |
504.20/504.63	c |    261852 |   46226  1153770  2713868 | 2147483647   261852    147 |  0.000 % |
504.51/504.91	c |    262345 |   46226  1153770  2713868 | 2147483647   262345    147 |  0.000 % |
505.30/505.75	c |    262887 |   46226  1153770  2713868 | 2147483647   262887    147 |  0.000 % |
506.50/506.92	c |    263483 |   46226  1153770  2713868 | 2147483647   263483    147 |  0.000 % |
508.20/508.69	c |    264138 |   46226  1153770  2713868 | 2147483647   264138    147 |  0.000 % |
510.10/510.57	c |    264858 |   46226  1153770  2713868 | 2147483647   264858    147 |  0.000 % |
512.90/513.32	c |    265650 |   46226  1153770  2713868 | 2147483647   265650    147 |  0.000 % |
513.40/513.85	c |    266522 |   46226  1153770  2713868 | 2147483647   266522    147 |  0.000 % |
515.40/515.84	c |    267480 |   46226  1153770  2713868 | 2147483647   267480    147 |  0.000 % |
517.70/518.10	c |    268534 |   46226  1153770  2713868 | 2147483647   268534    148 |  0.000 % |
520.59/521.06	c |    269693 |   46226  1153770  2713868 | 2147483647   269693    148 |  0.000 % |
523.39/523.85	c |    270968 |   46226  1153770  2713868 | 2147483647   270968    148 |  0.000 % |
524.29/524.78	c |    272368 |   46226  1153770  2713868 | 2147483647   272368    148 |  0.000 % |
526.20/526.63	c |    273908 |   46226  1153770  2713868 | 2147483647   273908    148 |  0.000 % |
530.49/530.97	c |    275603 |   46226  1153770  2713868 | 2147483647   275603    148 |  0.000 % |
534.79/535.23	c |    277467 |   46226  1153770  2713868 | 2147483647   277467    149 |  0.000 % |
537.98/538.44	c |    279516 |   46226  1153770  2713868 | 2147483647   279516    149 |  0.000 % |
547.87/548.32	c |    281769 |   46226  1153770  2713868 | 2147483647   281769    149 |  0.000 % |
553.66/554.19	c |    284247 |   46226  1153770  2713868 | 2147483647   284247    149 |  0.000 % |
556.46/556.99	c |    286974 |   46226  1153770  2713868 | 2147483647   286974    149 |  0.000 % |
556.96/557.41	c |    287075 |   46226  1153770  2713868 | 2147483647   287075    149 |  0.000 % |
556.96/557.47	c |    287185 |   46226  1153770  2713868 | 2147483647   287185    149 |  0.000 % |
557.56/558.05	c |    287306 |   46226  1153770  2713868 | 2147483647   287306    149 |  0.000 % |
557.86/558.31	c |    287440 |   46226  1153770  2713868 | 2147483647   287440    149 |  0.000 % |
558.56/559.08	c |    287586 |   46226  1153770  2713868 | 2147483647   287586    149 |  0.000 % |
558.76/559.22	c |    287746 |   46226  1153770  2713868 | 2147483647   287746    149 |  0.000 % |
559.66/560.11	c |    287922 |   46226  1153770  2713868 | 2147483647   287922    149 |  0.000 % |
560.86/561.32	c |    288116 |   46226  1153770  2713868 | 2147483647   288116    149 |  0.000 % |
561.66/562.13	c |    288329 |   46226  1153770  2713868 | 2147483647   288329    149 |  0.000 % |
562.46/562.91	c |    288563 |   46226  1153770  2713868 | 2147483647   288563    149 |  0.000 % |
563.36/563.81	c |    288819 |   46226  1153770  2713868 | 2147483647   288819    149 |  0.000 % |
564.16/564.63	c |    289100 |   46226  1153770  2713868 | 2147483647   289100    149 |  0.000 % |
565.15/565.68	c |    289410 |   46226  1153770  2713868 | 2147483647   289410    149 |  0.000 % |
567.06/567.55	c |    289750 |   46226  1153770  2713868 | 2147483647   289750    149 |  0.000 % |
567.76/568.22	c |    290124 |   46226  1153770  2713868 | 2147483647   290124    149 |  0.000 % |
569.26/569.70	c |    290533 |   46226  1153770  2713868 | 2147483647   290533    149 |  0.000 % |
572.05/572.51	c |    290982 |   46226  1153770  2713868 | 2147483647   290982    150 |  0.000 % |
573.35/573.88	c |    291476 |   46226  1153770  2713868 | 2147483647   291476    150 |  0.000 % |
576.35/576.88	c |    292019 |   46226  1153770  2713868 | 2147483647   292019    150 |  0.000 % |
579.45/579.91	c |    292615 |   46226  1153770  2713868 | 2147483647   292615    150 |  0.000 % |
582.95/583.42	c |    293272 |   46226  1153770  2713868 | 2147483647   293272    151 |  0.000 % |
583.35/583.89	c |    293993 |   46226  1153770  2713868 | 2147483647   293993    151 |  0.000 % |
585.45/585.96	c |    294787 |   46226  1153770  2713868 | 2147483647   294787    151 |  0.000 % |
587.85/588.36	c |    295658 |   46226  1153770  2713868 | 2147483647   295658    151 |  0.000 % |
589.15/589.64	c |    296616 |   46226  1153770  2713868 | 2147483647   296616    151 |  0.000 % |
594.15/594.66	c |    297669 |   46226  1153770  2713868 | 2147483647   297669    152 |  0.000 % |
596.94/597.48	c |    298828 |   46226  1153770  2713868 | 2147483647   298828    152 |  0.000 % |
600.73/601.28	c |    300101 |   46226  1153770  2713868 | 2147483647   300101    152 |  0.000 % |
605.84/606.31	c |    301501 |   46226  1153770  2713868 | 2147483647   301501    152 |  0.000 % |
613.73/614.30	c |    303042 |   46226  1153770  2713868 | 2147483647   303042    154 |  0.000 % |
620.13/620.62	c |    304738 |   46226  1153770  2713868 | 2147483647   304738    155 |  0.000 % |
622.13/622.69	c |    306602 |   46226  1153770  2713868 | 2147483647   306602    155 |  0.000 % |
626.72/627.23	c |    308652 |   46226  1153770  2713868 | 2147483647   308652    156 |  0.000 % |
635.92/636.40	c |    310905 |   46226  1153770  2713868 | 2147483647   310905    158 |  0.000 % |
640.93/641.42	c |    313383 |   46226  1153770  2713868 | 2147483647   313383    158 |  0.000 % |
646.11/646.69	c |    316108 |   46226  1153770  2713868 | 2147483647   316108    159 |  0.000 % |
662.01/662.52	c |    319106 |   46226  1153770  2713868 | 2147483647   319106    162 |  0.000 % |
662.71/663.20	c |    319206 |   46226  1153770  2713868 | 2147483647   319206    162 |  0.000 % |
663.51/664.06	c |    319318 |   46226  1153770  2713868 | 2147483647   319318    162 |  0.000 % |
664.11/664.63	c |    319439 |   46226  1153770  2713868 | 2147483647   319439    162 |  0.000 % |
664.71/665.26	c |    319572 |   46226  1153770  2713868 | 2147483647   319572    162 |  0.000 % |
665.61/666.19	c |    319719 |   46226  1153770  2713868 | 2147483647   319719    162 |  0.000 % |
666.20/666.77	c |    319880 |   46226  1153770  2713868 | 2147483647   319880    162 |  0.000 % |
666.60/667.11	c |    320057 |   46226  1153770  2713868 | 2147483647   320057    162 |  0.000 % |
667.30/667.83	c |    320250 |   46226  1153770  2713868 | 2147483647   320250    162 |  0.000 % |
667.70/668.22	c |    320465 |   46226  1153770  2713868 | 2147483647   320465    162 |  0.000 % |
668.70/669.24	c |    320700 |   46226  1153770  2713868 | 2147483647   320700    162 |  0.000 % |
670.00/670.51	c |    320957 |   46226  1153770  2713868 | 2147483647   320957    162 |  0.000 % |
671.40/671.94	c |    321238 |   46226  1153770  2713868 | 2147483647   321238    162 |  0.000 % |
672.70/673.24	c |    321548 |   46226  1153770  2713868 | 2147483647   321548    162 |  0.000 % |
674.30/674.87	c |    321889 |   46226  1153770  2713868 | 2147483647   321889    162 |  0.000 % |
676.11/676.64	c |    322262 |   46226  1153770  2713868 | 2147483647   322262    162 |  0.000 % |
677.30/677.88	c |    322671 |   46226  1153770  2713868 | 2147483647   322671    162 |  0.000 % |
678.00/678.50	c |    323121 |   46226  1153770  2713868 | 2147483647   323121    162 |  0.000 % |
679.00/679.51	c |    323614 |   46226  1153770  2713868 | 2147483647   323614    162 |  0.000 % |
679.80/680.30	c |    324158 |   46226  1153770  2713868 | 2147483647   324158    162 |  0.000 % |
681.90/682.45	c |    324756 |   46226  1153770  2713868 | 2147483647   324756    162 |  0.000 % |
684.40/684.99	c |    325412 |   46226  1153770  2713868 | 2147483647   325412    162 |  0.000 % |
688.69/689.22	c |    326132 |   46226  1153770  2713868 | 2147483647   326132    162 |  0.000 % |
689.49/690.01	c |    326924 |   46226  1153770  2713868 | 2147483647   326924    163 |  0.000 % |
690.98/691.56	c |    327797 |   46226  1153770  2713868 | 2147483647   327797    163 |  0.000 % |
695.49/696.01	c |    328756 |   46226  1153770  2713868 | 2147483647   328756    163 |  0.000 % |
700.28/700.88	c |    329810 |   46226  1153770  2713868 | 2147483647   329810    164 |  0.000 % |
704.89/705.45	c |    330968 |   46226  1153770  2713868 | 2147483647   330968    164 |  0.000 % |
707.98/708.56	c |    332241 |   46226  1153770  2713868 | 2147483647   332241    164 |  0.000 % |
712.78/713.35	c |    333643 |   46226  1153770  2713868 | 2147483647   333643    164 |  0.000 % |
715.28/715.82	c |    335183 |   46226  1153770  2713868 | 2147483647   335183    164 |  0.000 % |
721.68/722.27	c |    336877 |   46226  1153770  2713868 | 2147483647   336877    165 |  0.000 % |
725.78/726.36	c |    338741 |   46226  1153770  2713868 | 2147483647   338741    166 |  0.000 % |
731.57/732.19	c |    340793 |   46226  1153770  2713868 | 2147483647   340793    166 |  0.000 % |
736.17/736.74	c |    343046 |   46226  1153770  2713868 | 2147483647   343046    167 |  0.000 % |
742.46/743.04	c |    345525 |   46226  1153770  2713868 | 2147483647   345525    167 |  0.000 % |
750.87/751.41	c |    348251 |   46226  1153770  2713868 | 2147483647   348251    168 |  0.000 % |
756.17/756.77	c |    351248 |   46226  1153770  2713868 | 2147483647   351248    169 |  0.000 % |
772.85/773.46	c |    354545 |   46226  1153770  2713868 | 2147483647   354545    171 |  0.000 % |
773.45/774.03	c |    354646 |   46226  1153770  2713868 | 2147483647   354646    171 |  0.000 % |
774.05/774.62	c |    354756 |   46226  1153770  2713868 | 2147483647   354756    171 |  0.000 % |
774.55/775.13	c |    354880 |   46226  1153770  2713868 | 2147483647   354880    171 |  0.000 % |
775.25/775.82	c |    355014 |   46226  1153770  2713868 | 2147483647   355014    171 |  0.000 % |
776.15/776.74	c |    355160 |   46226  1153770  2713868 | 2147483647   355160    171 |  0.000 % |
776.75/777.33	c |    355323 |   46226  1153770  2713868 | 2147483647   355323    171 |  0.000 % |
777.85/778.41	c |    355500 |   46226  1153770  2713868 | 2147483647   355500    171 |  0.000 % |
779.14/779.73	c |    355693 |   46226  1153770  2713868 | 2147483647   355693    171 |  0.000 % |
780.14/780.76	c |    355905 |   46226  1153770  2713868 | 2147483647   355905    171 |  0.000 % |
781.45/782.06	c |    356140 |   46226  1153770  2713868 | 2147483647   356140    171 |  0.000 % |
782.45/783.09	c |    356397 |   46226  1153770  2713868 | 2147483647   356397    171 |  0.000 % |
784.04/784.61	c |    356679 |   46226  1153770  2713868 | 2147483647   356679    171 |  0.000 % |
784.85/785.47	c |    356989 |   46226  1153770  2713868 | 2147483647   356989    171 |  0.000 % |
785.85/786.50	c |    357329 |   46226  1153770  2713868 | 2147483647   357329    171 |  0.000 % |
788.05/788.69	c |    357702 |   46226  1153770  2713868 | 2147483647   357702    171 |  0.000 % |
789.04/789.65	c |    358112 |   46226  1153770  2713868 | 2147483647   358112    171 |  0.000 % |
791.04/791.64	c |    358561 |   46226  1153770  2713868 | 2147483647   358561    171 |  0.000 % |
792.24/792.80	c |    359054 |   46226  1153770  2713868 | 2147483647   359054    172 |  0.000 % |
794.74/795.36	c |    359598 |   46226  1153770  2713868 | 2147483647   359598    172 |  0.000 % |
797.13/797.71	c |    360196 |   46226  1153770  2713868 | 2147483647   360196    172 |  0.000 % |
798.04/798.62	c |    360851 |   46226  1153770  2713868 | 2147483647   360851    172 |  0.000 % |
800.14/800.78	c |    361571 |   46226  1153770  2713868 | 2147483647   361571    172 |  0.000 % |
801.83/802.43	c |    362363 |   46226  1153770  2713868 | 2147483647   362363    172 |  0.000 % |
805.14/805.76	c |    363234 |   46226  1153770  2713868 | 2147483647   363234    172 |  0.000 % |
806.54/807.12	c |    364193 |   46226  1153770  2713868 | 2147483647   364193    172 |  0.000 % |
809.54/810.13	c |    365247 |   46226  1153770  2713868 | 2147483647   365247    172 |  0.000 % |
811.03/811.63	c |    366405 |   46226  1153770  2713868 | 2147483647   366405    172 |  0.000 % |
812.73/813.37	c |    367680 |   46226  1153770  2713868 | 2147483647   367680    172 |  0.000 % |
817.23/817.88	c |    369083 |   46226  1153770  2713868 | 2147483647   369083    172 |  0.000 % |
822.53/823.18	c |    370623 |   46226  1153770  2713868 | 2147483647   370623    173 |  0.000 % |
830.01/830.63	c |    372318 |   46226  1153770  2713868 | 2147483647   372318    173 |  0.000 % |
835.22/835.82	c |    374181 |   46226  1153770  2713868 | 2147483647   374181    174 |  0.000 % |
839.21/839.80	c |    376230 |   46226  1153770  2713868 | 2147483647   376230    174 |  0.000 % |
841.81/842.46	c |    378485 |   46226  1153770  2713868 | 2147483647   378485    174 |  0.000 % |
847.31/847.96	c |    380964 |   46226  1153770  2713868 | 2147483647   380964    174 |  0.000 % |
857.21/857.90	c |    383691 |   46226  1153770  2713868 | 2147483647   383691    175 |  0.000 % |
872.30/872.91	c |    386691 |   46226  1153770  2713868 | 2147483647   386691    177 |  0.000 % |
878.39/879.03	c |    389987 |   46226  1153770  2713868 | 2147483647   389987    177 |  0.000 % |
888.39/889.01	c |    393613 |   46226  1153770  2713868 | 2147483647   393613    178 |  0.000 % |
888.99/889.62	c |    393715 |   46226  1153770  2713868 | 2147483647   393715    178 |  0.000 % |
889.29/889.96	c |    393825 |   46226  1153770  2713868 | 2147483647   393825    178 |  0.000 % |
889.99/890.68	c |    393946 |   46226  1153770  2713868 | 2147483647   393946    178 |  0.000 % |
890.58/891.21	c |    394081 |   46226  1153770  2713868 | 2147483647   394081    178 |  0.000 % |
891.49/892.16	c |    394227 |   46226  1153770  2713868 | 2147483647   394227    178 |  0.000 % |
891.68/892.35	c |    394387 |   46226  1153770  2713868 | 2147483647   394387    178 |  0.000 % |
892.69/893.35	c |    394563 |   46226  1153770  2713868 | 2147483647   394563    178 |  0.000 % |
894.19/894.82	c |    394756 |   46226  1153770  2713868 | 2147483647   394756    178 |  0.000 % |
894.99/895.65	c |    394970 |   46226  1153770  2713868 | 2147483647   394970    178 |  0.000 % |
896.19/896.83	c |    395203 |   46226  1153770  2713868 | 2147483647   395203    178 |  0.000 % |
896.69/897.33	c |    395459 |   46226  1153770  2713868 | 2147483647   395459    178 |  0.000 % |
897.99/898.63	c |    395741 |   46226  1153770  2713868 | 2147483647   395741    178 |  0.000 % |
899.28/899.96	c |    396050 |   46226  1153770  2713868 | 2147483647   396050    178 |  0.000 % |
900.48/901.13	c |    396389 |   46226  1153770  2713868 | 2147483647   396389    178 |  0.000 % |
901.18/901.88	c |    396763 |   46226  1153770  2713868 | 2147483647   396763    178 |  0.000 % |
902.38/903.10	c |    397173 |   46226  1153770  2713868 | 2147483647   397173    178 |  0.000 % |
904.38/905.02	c |    397624 |   46226  1153770  2713868 | 2147483647   397624    178 |  0.000 % |
906.08/906.74	c |    398119 |   46226  1153770  2713868 | 2147483647   398119    178 |  0.000 % |
909.18/909.87	c |    398662 |   46226  1153770  2713868 | 2147483647   398662    178 |  0.000 % |
910.18/910.88	c |    399258 |   46226  1153770  2713868 | 2147483647   399258    178 |  0.000 % |
912.67/913.31	c |    399913 |   46226  1153770  2713868 | 2147483647   399913    178 |  0.000 % |
915.96/916.65	c |    400633 |   46226  1153770  2713868 | 2147483647   400633    178 |  0.000 % |
919.26/919.98	c |    401426 |   46226  1153770  2713868 | 2147483647   401426    178 |  0.000 % |
922.16/922.87	c |    402302 |   46226  1153770  2713868 | 2147483647   402302    178 |  0.000 % |
924.86/925.57	c |    403262 |   46226  1153770  2713868 | 2147483647   403262    178 |  0.000 % |
926.16/926.86	c |    404316 |   46226  1153770  2713868 | 2147483647   404316    178 |  0.000 % |
931.65/932.34	c |    405476 |   46226  1153770  2713868 | 2147483647   405476    179 |  0.000 % |
934.85/935.57	c |    406749 |   46226  1153770  2713868 | 2147483647   406749    179 |  0.000 % |
941.65/942.32	c |    408150 |   46226  1153770  2713868 | 2147483647   408150    180 |  0.000 % |
944.55/945.29	c |    409690 |   46226  1153770  2713868 | 2147483647   409690    180 |  0.000 % |
947.24/947.92	c |    411384 |   46226  1153770  2713868 | 2147483647   411384    180 |  0.000 % |
954.75/955.45	c |    413251 |   46226  1153770  2713868 | 2147483647   413251    181 |  0.000 % |
959.25/959.92	c |    415302 |   46226  1153770  2713868 | 2147483647   415302    181 |  0.000 % |
966.14/966.83	c |    417555 |   46226  1153770  2713868 | 2147483647   417555    181 |  0.000 % |
975.24/975.92	c |    420034 |   46226  1153770  2713868 | 2147483647   420034    181 |  0.000 % |
983.03/983.73	c |    422761 |   46226  1153770  2713868 | 2147483647   422761    182 |  0.000 % |
991.53/992.29	c |    425759 |   46226  1153770  2713868 | 2147483647   425759    182 |  0.000 % |
1004.72/1005.48	c |    429055 |   46226  1153770  2713868 | 2147483647   429055    183 |  0.000 % |
1020.11/1020.81	c |    432682 |   46226  1153770  2713868 | 2147483647   432682    185 |  0.000 % |
1028.71/1029.44	c |    436671 |   46226  1153770  2713868 | 2147483647   436671    185 |  0.000 % |
1029.41/1030.15	c |    436772 |   46226  1153770  2713868 | 2147483647   436772    185 |  0.000 % |
1030.31/1031.00	c |    436882 |   46226  1153770  2713868 | 2147483647   436882    185 |  0.000 % |
1030.91/1031.66	c |    437003 |   46226  1153770  2713868 | 2147483647   437003    185 |  0.000 % |
1031.71/1032.40	c |    437136 |   46226  1153770  2713868 | 2147483647   437136    185 |  0.000 % |
1032.60/1033.34	c |    437282 |   46226  1153770  2713868 | 2147483647   437282    185 |  0.000 % |
1033.50/1034.27	c |    437442 |   46226  1153770  2713868 | 2147483647   437442    185 |  0.000 % |
1034.31/1035.03	c |    437618 |   46226  1153770  2713868 | 2147483647   437618    185 |  0.000 % |
1035.30/1036.00	c |    437811 |   46226  1153770  2713868 | 2147483647   437811    185 |  0.000 % |
1036.40/1037.13	c |    438025 |   46226  1153770  2713868 | 2147483647   438025    185 |  0.000 % |
1037.60/1038.34	c |    438258 |   46226  1153770  2713868 | 2147483647   438258    185 |  0.000 % |
1038.30/1039.00	c |    438514 |   46226  1153770  2713868 | 2147483647   438514    185 |  0.000 % |
1040.00/1040.77	c |    438795 |   46226  1153770  2713868 | 2147483647   438795    185 |  0.000 % |
1040.50/1041.26	c |    439105 |   46226  1153770  2713868 | 2147483647   439105    185 |  0.000 % |
1042.21/1042.93	c |    439447 |   46226  1153770  2713868 | 2147483647   439447    185 |  0.000 % |
1044.21/1044.97	c |    439822 |   46226  1153770  2713868 | 2147483647   439822    185 |  0.000 % |
1045.90/1046.66	c |    440232 |   46226  1153770  2713868 | 2147483647   440232    185 |  0.000 % |
1048.29/1049.01	c |    440681 |   46226  1153770  2713868 | 2147483647   440681    185 |  0.000 % |
1049.49/1050.23	c |    441174 |   46226  1153770  2713868 | 2147483647   441174    185 |  0.000 % |
1049.79/1050.59	c |    441716 |   46226  1153770  2713868 | 2147483647   441716    185 |  0.000 % |
1050.39/1051.11	c |    442312 |   46226  1153770  2713868 | 2147483647   442312    185 |  0.000 % |
1053.19/1053.90	c |    442969 |   46226  1153770  2713868 | 2147483647   442969    185 |  0.000 % |
1056.29/1057.07	c |    443689 |   46226  1153770  2713868 | 2147483647   443689    185 |  0.000 % |
1059.49/1060.29	c |    444481 |   46226  1153770  2713868 | 2147483647   444481    185 |  0.000 % |
1063.38/1064.11	c |    445353 |   46226  1153770  2713868 | 2147483647   445353    185 |  0.000 % |
1068.19/1068.90	c |    446314 |   46226  1153770  2713868 | 2147483647   446314    185 |  0.000 % |
1073.18/1073.91	c |    447367 |   46226  1153770  2713868 | 2147483647   447367    185 |  0.000 % |
1076.78/1077.57	c |    448525 |   46226  1153770  2713868 | 2147483647   448525    185 |  0.000 % |
1081.28/1082.07	c |    449799 |   46226  1153770  2713868 | 2147483647   449799    185 |  0.000 % |
1085.27/1086.04	c |    451200 |   46226  1153770  2713868 | 2147483647   451200    185 |  0.000 % |
1088.38/1089.13	c |    452740 |   46226  1153770  2713868 | 2147483647   452740    185 |  0.000 % |
1094.07/1094.82	c |    454434 |   46226  1153770  2713868 | 2147483647   454434    185 |  0.000 % |
1100.07/1100.89	c |    456297 |   46226  1153770  2713868 | 2147483647   456297    186 |  0.000 % |
1104.87/1105.68	c |    458346 |   46226  1153770  2713868 | 2147483647   458346    186 |  0.000 % |
1120.17/1120.92	c |    460601 |   46226  1153770  2713868 | 2147483647   460601    188 |  0.000 % |
1128.86/1129.63	c |    463079 |   46226  1153770  2713868 | 2147483647   463079    188 |  0.000 % |
1140.04/1140.84	c |    465804 |   46226  1153770  2713868 | 2147483647   465804    188 |  0.000 % |
1151.44/1152.25	c |    468801 |   46226  1153770  2713868 | 2147483647   468801    189 |  0.000 % |
1164.54/1165.37	c |    472097 |   46226  1153770  2713868 | 2147483647   472097    191 |  0.000 % |
1171.53/1172.37	c |    475723 |   46226  1153770  2713868 | 2147483647   475723    191 |  0.000 % |
1182.23/1183.03	c |    479711 |   46226  1153770  2713868 | 2147483647   479711    191 |  0.000 % |
1194.71/1195.57	c |    484096 |   46226  1153770  2713868 | 2147483647   484096    192 |  0.000 % |
1195.71/1196.51	c |    484197 |   46226  1153770  2713868 | 2147483647   484197    192 |  0.000 % |
1196.21/1197.06	c |    484308 |   46226  1153770  2713868 | 2147483647   484308    192 |  0.000 % |
1197.21/1198.07	c |    484429 |   46226  1153770  2713868 | 2147483647   484429    192 |  0.000 % |
1197.51/1198.37	c |    484562 |   46226  1153770  2713868 | 2147483647   484562    192 |  0.000 % |
1198.32/1199.16	c |    484708 |   46226  1153770  2713868 | 2147483647   484708    192 |  0.000 % |
1199.62/1200.43	c |    484868 |   46226  1153770  2713868 | 2147483647   484868    192 |  0.000 % |

Verifier Data 

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

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 3620
/proc/meminfo: memFree=1912160/2055920 swapFree=4180384/4192956
[pid=3620] ppid=3618 vsize=5356 CPUtime=0
/proc/3620/stat : 3620 (SatELiteGTI) S 3618 3620 3236 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 305276401 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 227848978514 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/3620/statm: 1339 235 195 169 0 50 0
[pid=3621] ppid=3620 vsize=5356 CPUtime=0
/proc/3621/stat : 3621 (SatELiteGTI) S 3620 3620 3236 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 305276402 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/3621/statm: 1339 238 198 169 0 50 0
[pid=3623] ppid=3621 vsize=5356 CPUtime=0
/proc/3623/stat : 3623 (SatELiteGTI) R 3621 3620 3236 0 -1 4194368 19 0 0 0 0 0 0 0 18 0 1 0 305276402 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848809767 0 0 4096 0 0 0 0 17 1 0 0
/proc/3623/statm: 1339 239 199 169 0 50 0

[startup+0.0689119 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 3620
/proc/meminfo: memFree=1912160/2055920 swapFree=4180384/4192956
[pid=3620] ppid=3618 vsize=5356 CPUtime=0
/proc/3620/stat : 3620 (SatELiteGTI) S 3618 3620 3236 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305276401 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3620/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101917 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 3620
/proc/meminfo: memFree=1912160/2055920 swapFree=4180384/4192956
[pid=3620] ppid=3618 vsize=5356 CPUtime=0
/proc/3620/stat : 3620 (SatELiteGTI) S 3618 3620 3236 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305276401 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3620/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301951 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 3620
/proc/meminfo: memFree=1912160/2055920 swapFree=4180384/4192956
[pid=3620] ppid=3618 vsize=5356 CPUtime=0
/proc/3620/stat : 3620 (SatELiteGTI) S 3618 3620 3236 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305276401 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3620/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.702009 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 3620
/proc/meminfo: memFree=1912160/2055920 swapFree=4180384/4192956
[pid=3620] ppid=3618 vsize=5356 CPUtime=0
/proc/3620/stat : 3620 (SatELiteGTI) S 3618 3620 3236 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305276401 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3620/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50115 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 3625
/proc/meminfo: memFree=1858320/2055920 swapFree=4180384/4192956
[pid=3620] ppid=3618 vsize=5356 CPUtime=0
/proc/3620/stat : 3620 (SatELiteGTI) S 3618 3620 3236 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305276401 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3620/statm: 1339 237 197 169 0 50 0
[pid=3625] ppid=3620 vsize=87064 CPUtime=1.48
/proc/3625/stat : 3625 (SatELite_releas) R 3620 3620 3236 0 -1 4194304 17884 0 0 0 134 14 0 0 25 0 1 0 305276402 89153536 17723 1992294400 134512640 135223648 4294956128 18446744073709551615 134737310 0 0 4096 3 0 0 0 17 0 0 0
/proc/3625/statm: 21766 17723 50 173 0 21591 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 92420

[startup+3.10143 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 3625
/proc/meminfo: memFree=1817232/2055920 swapFree=4180384/4192956
[pid=3620] ppid=3618 vsize=5356 CPUtime=0
/proc/3620/stat : 3620 (SatELiteGTI) S 3618 3620 3236 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305276401 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3620/statm: 1339 237 197 169 0 50 0
[pid=3625] ppid=3620 vsize=130208 CPUtime=3.08
/proc/3625/stat : 3625 (SatELite_releas) R 3620 3620 3236 0 -1 4194304 29168 0 0 0 286 22 0 0 25 0 1 0 305276402 133332992 29007 1992294400 134512640 135223648 4294956128 18446744073709551615 134549098 0 0 4096 3 0 0 0 17 0 0 0
/proc/3625/statm: 32552 29007 70 173 0 32377 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 135564

[startup+6.30199 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 3625
/proc/meminfo: memFree=1778768/2055920 swapFree=4180384/4192956
[pid=3620] ppid=3618 vsize=5356 CPUtime=0
/proc/3620/stat : 3620 (SatELiteGTI) S 3618 3620 3236 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305276401 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3620/statm: 1339 237 197 169 0 50 0
[pid=3625] ppid=3620 vsize=155556 CPUtime=6.28
/proc/3625/stat : 3625 (SatELite_releas) R 3620 3620 3236 0 -1 4194304 37205 0 0 0 599 29 0 0 25 0 1 0 305276402 159289344 33508 1992294400 134512640 135223648 4294956128 18446744073709551615 134586662 0 0 4096 3 0 0 0 17 0 0 0
/proc/3625/statm: 38889 33508 76 173 0 38714 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 160912

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 3626
/proc/meminfo: memFree=1839376/2055920 swapFree=4180384/4192956
[pid=3620] ppid=3618 vsize=5356 CPUtime=8.99
/proc/3620/stat : 3620 (SatELiteGTI) S 3618 3620 3236 0 -1 4194304 336 41155 0 0 0 0 860 39 16 0 1 0 305276401 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3620/statm: 1339 239 197 169 0 50 0
[pid=3626] ppid=3620 vsize=53812 CPUtime=3.67
/proc/3626/stat : 3626 (minisat_static) R 3620 3620 3236 0 -1 4194304 12699 0 0 0 358 9 0 0 25 0 1 0 305277303 55103488 12670 1992294400 134512640 135215339 4294956240 18446744073709551615 134529065 0 0 4096 3 0 0 0 17 0 0 0
/proc/3626/statm: 13453 12670 77 171 0 13280 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 59168

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 0.95 3/66 3626
/proc/meminfo: memFree=1836112/2055920 swapFree=4180384/4192956
[pid=3620] ppid=3618 vsize=5356 CPUtime=8.99
/proc/3620/stat : 3620 (SatELiteGTI) S 3618 3620 3236 0 -1 4194304 336 41155 0 0 0 0 860 39 16 0 1 0 305276401 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3620/statm: 1339 239 197 169 0 50 0
[pid=3626] ppid=3620 vsize=57256 CPUtime=16.45
/proc/3626/stat : 3626 (minisat_static) R 3620 3620 3236 0 -1 4194304 13571 0 0 0 1635 10 0 0 25 0 1 0 305277303 58630144 13542 1992294400 134512640 135215339 4294956240 18446744073709551615 134529157 0 0 4096 3 0 0 0 17 0 0 0
/proc/3626/statm: 14314 13542 77 171 0 14141 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 62612

[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 3626
/proc/meminfo: memFree=1828944/2055920 swapFree=4180384/4192956
[pid=3620] ppid=3618 vsize=5356 CPUtime=8.99
/proc/3620/stat : 3620 (SatELiteGTI) S 3618 3620 3236 0 -1 4194304 336 41155 0 0 0 0 860 39 16 0 1 0 305276401 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3620/statm: 1339 239 197 169 0 50 0
[pid=3626] ppid=3620 vsize=64460 CPUtime=42.01
/proc/3626/stat : 3626 (minisat_static) R 3620 3620 3236 0 -1 4194304 15372 0 0 0 4190 11 0 0 25 0 1 0 305277303 66007040 15343 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3626/statm: 16115 15343 77 171 0 15942 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 69816

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 3626
/proc/meminfo: memFree=1809488/2055920 swapFree=4180384/4192956
[pid=3620] ppid=3618 vsize=5356 CPUtime=8.99
/proc/3620/stat : 3620 (SatELiteGTI) S 3618 3620 3236 0 -1 4194304 336 41155 0 0 0 0 860 39 16 0 1 0 305276401 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3620/statm: 1339 239 197 169 0 50 0
[pid=3626] ppid=3620 vsize=83448 CPUtime=93.17
/proc/3626/stat : 3626 (minisat_static) R 3620 3620 3236 0 -1 4194304 20123 0 0 0 9302 15 0 0 25 0 1 0 305277303 85450752 20094 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/3626/statm: 20862 20094 77 171 0 20689 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 88804

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 3626
/proc/meminfo: memFree=1787024/2055920 swapFree=4180384/4192956
[pid=3620] ppid=3618 vsize=5356 CPUtime=8.99
/proc/3620/stat : 3620 (SatELiteGTI) S 3618 3620 3236 0 -1 4194304 336 41155 0 0 0 0 860 39 16 0 1 0 305276401 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3620/statm: 1339 239 197 169 0 50 0
[pid=3626] ppid=3620 vsize=106272 CPUtime=153.11
/proc/3626/stat : 3626 (minisat_static) R 3620 3620 3236 0 -1 4194304 25843 0 0 0 15291 20 0 0 25 0 1 0 305277303 108822528 25814 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/3626/statm: 26568 25814 77 171 0 26395 0
Current children cumulated CPU time (s) 162.1
Current children cumulated vsize (KiB) 111628

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 3626
/proc/meminfo: memFree=1763472/2055920 swapFree=4180384/4192956
[pid=3620] ppid=3618 vsize=5356 CPUtime=8.99
/proc/3620/stat : 3620 (SatELiteGTI) S 3618 3620 3236 0 -1 4194304 336 41155 0 0 0 0 860 39 16 0 1 0 305276401 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3620/statm: 1339 239 197 169 0 50 0
[pid=3626] ppid=3620 vsize=129424 CPUtime=213.07
/proc/3626/stat : 3626 (minisat_static) R 3620 3620 3236 0 -1 4194304 31614 0 0 0 21283 24 0 0 25 0 1 0 305277303 132530176 31585 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3626/statm: 32356 31585 77 171 0 32183 0
Current children cumulated CPU time (s) 222.06
Current children cumulated vsize (KiB) 134780

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 3626
/proc/meminfo: memFree=1742160/2055920 swapFree=4180384/4192956
[pid=3620] ppid=3618 vsize=5356 CPUtime=8.99
/proc/3620/stat : 3620 (SatELiteGTI) S 3618 3620 3236 0 -1 4194304 336 41155 0 0 0 0 860 39 16 0 1 0 305276401 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3620/statm: 1339 239 197 169 0 50 0
[pid=3626] ppid=3620 vsize=151216 CPUtime=273.04
/proc/3626/stat : 3626 (minisat_static) R 3620 3620 3236 0 -1 4194304 37028 0 0 0 27275 29 0 0 25 0 1 0 305277303 154845184 36999 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3626/statm: 37804 36999 77 171 0 37631 0
Current children cumulated CPU time (s) 282.03
Current children cumulated vsize (KiB) 156572

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 3626
/proc/meminfo: memFree=1719184/2055920 swapFree=4180384/4192956
[pid=3620] ppid=3618 vsize=5356 CPUtime=8.99
/proc/3620/stat : 3620 (SatELiteGTI) S 3618 3620 3236 0 -1 4194304 336 41155 0 0 0 0 860 39 16 0 1 0 305276401 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3620/statm: 1339 239 197 169 0 50 0
[pid=3626] ppid=3620 vsize=173400 CPUtime=333
/proc/3626/stat : 3626 (minisat_static) R 3620 3620 3236 0 -1 4194304 42599 0 0 0 33267 33 0 0 25 0 1 0 305277303 177561600 42570 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3626/statm: 43350 42570 77 171 0 43177 0
Current children cumulated CPU time (s) 341.99
Current children cumulated vsize (KiB) 178756

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 3626
/proc/meminfo: memFree=1699088/2055920 swapFree=4180384/4192956
[pid=3620] ppid=3618 vsize=5356 CPUtime=8.99
/proc/3620/stat : 3620 (SatELiteGTI) S 3618 3620 3236 0 -1 4194304 336 41155 0 0 0 0 860 39 16 0 1 0 305276401 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3620/statm: 1339 239 197 169 0 50 0
[pid=3626] ppid=3620 vsize=194132 CPUtime=392.97

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

/proc/3626/statm: 58569 57762 77 171 0 58396 0
Current children cumulated CPU time (s) 521.89
Current children cumulated vsize (KiB) 239632

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 3628
/proc/meminfo: memFree=1639504/2055920 swapFree=4180384/4192956
[pid=3620] ppid=3618 vsize=5356 CPUtime=8.99
/proc/3620/stat : 3620 (SatELiteGTI) S 3618 3620 3236 0 -1 4194304 336 41155 0 0 0 0 860 39 16 0 1 0 305276401 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3620/statm: 1339 239 197 169 0 50 0
[pid=3626] ppid=3620 vsize=252644 CPUtime=572.86
/proc/3626/stat : 3626 (minisat_static) R 3620 3620 3236 0 -1 4194304 62418 0 0 0 57236 50 0 0 25 0 1 0 305277303 258707456 62389 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3626/statm: 63161 62389 77 171 0 62988 0
Current children cumulated CPU time (s) 581.85
Current children cumulated vsize (KiB) 258000

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 3628
/proc/meminfo: memFree=1615824/2055920 swapFree=4180384/4192956
[pid=3620] ppid=3618 vsize=5356 CPUtime=8.99
/proc/3620/stat : 3620 (SatELiteGTI) S 3618 3620 3236 0 -1 4194304 336 41155 0 0 0 0 860 39 16 0 1 0 305276401 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3620/statm: 1339 239 197 169 0 50 0
[pid=3626] ppid=3620 vsize=276632 CPUtime=632.84
/proc/3626/stat : 3626 (minisat_static) R 3620 3620 3236 0 -1 4194304 68257 0 0 0 63228 56 0 0 25 0 1 0 305277303 283271168 68228 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3626/statm: 69158 68228 77 171 0 68985 0
Current children cumulated CPU time (s) 641.83
Current children cumulated vsize (KiB) 281988

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 3628
/proc/meminfo: memFree=1597968/2055920 swapFree=4180384/4192956
[pid=3620] ppid=3618 vsize=5356 CPUtime=8.99
/proc/3620/stat : 3620 (SatELiteGTI) S 3618 3620 3236 0 -1 4194304 336 41155 0 0 0 0 860 39 16 0 1 0 305276401 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3620/statm: 1339 239 197 169 0 50 0
[pid=3626] ppid=3620 vsize=294208 CPUtime=692.8
/proc/3626/stat : 3626 (minisat_static) R 3620 3620 3236 0 -1 4194304 72694 0 0 0 69219 61 0 0 25 0 1 0 305277303 301268992 72665 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/3626/statm: 73552 72665 77 171 0 73379 0
Current children cumulated CPU time (s) 701.79
Current children cumulated vsize (KiB) 299564

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 3628
/proc/meminfo: memFree=1574288/2055920 swapFree=4180384/4192956
[pid=3620] ppid=3618 vsize=5356 CPUtime=8.99
/proc/3620/stat : 3620 (SatELiteGTI) S 3618 3620 3236 0 -1 4194304 336 41155 0 0 0 0 860 39 16 0 1 0 305276401 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3620/statm: 1339 239 197 169 0 50 0
[pid=3626] ppid=3620 vsize=317604 CPUtime=752.77
/proc/3626/stat : 3626 (minisat_static) R 3620 3620 3236 0 -1 4194304 78562 0 0 0 75212 65 0 0 25 0 1 0 305277303 325226496 78533 1992294400 134512640 135215339 4294956240 18446744073709551615 134528613 0 0 4096 3 0 0 0 17 0 0 0
/proc/3626/statm: 79401 78533 77 171 0 79228 0
Current children cumulated CPU time (s) 761.76
Current children cumulated vsize (KiB) 322960

[startup+822.303 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 3628
/proc/meminfo: memFree=1557072/2055920 swapFree=4180384/4192956
[pid=3620] ppid=3618 vsize=5356 CPUtime=8.99
/proc/3620/stat : 3620 (SatELiteGTI) S 3618 3620 3236 0 -1 4194304 336 41155 0 0 0 0 860 39 16 0 1 0 305276401 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3620/statm: 1339 239 197 169 0 50 0
[pid=3626] ppid=3620 vsize=334904 CPUtime=812.74
/proc/3626/stat : 3626 (minisat_static) R 3620 3620 3236 0 -1 4194304 82885 0 0 0 81205 69 0 0 25 0 1 0 305277303 342941696 82856 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/3626/statm: 83726 82856 77 171 0 83553 0
Current children cumulated CPU time (s) 821.73
Current children cumulated vsize (KiB) 340260

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 3628
/proc/meminfo: memFree=1534800/2055920 swapFree=4180384/4192956
[pid=3620] ppid=3618 vsize=5356 CPUtime=8.99
/proc/3620/stat : 3620 (SatELiteGTI) S 3618 3620 3236 0 -1 4194304 336 41155 0 0 0 0 860 39 16 0 1 0 305276401 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3620/statm: 1339 239 197 169 0 50 0
[pid=3626] ppid=3620 vsize=356816 CPUtime=872.7
/proc/3626/stat : 3626 (minisat_static) R 3620 3620 3236 0 -1 4194304 88398 0 0 0 87196 74 0 0 25 0 1 0 305277303 365379584 88369 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3626/statm: 89204 88369 77 171 0 89031 0
Current children cumulated CPU time (s) 881.69
Current children cumulated vsize (KiB) 362172

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 3628
/proc/meminfo: memFree=1517712/2055920 swapFree=4180384/4192956
[pid=3620] ppid=3618 vsize=5356 CPUtime=8.99
/proc/3620/stat : 3620 (SatELiteGTI) S 3618 3620 3236 0 -1 4194304 336 41155 0 0 0 0 860 39 16 0 1 0 305276401 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3620/statm: 1339 239 197 169 0 50 0
[pid=3626] ppid=3620 vsize=373984 CPUtime=932.66
/proc/3626/stat : 3626 (minisat_static) R 3620 3620 3236 0 -1 4194304 92711 0 0 0 93188 78 0 0 25 0 1 0 305277303 382959616 92682 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3626/statm: 93496 92682 77 171 0 93323 0
Current children cumulated CPU time (s) 941.65
Current children cumulated vsize (KiB) 379340

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 3628
/proc/meminfo: memFree=1496144/2055920 swapFree=4180384/4192956
[pid=3620] ppid=3618 vsize=5356 CPUtime=8.99
/proc/3620/stat : 3620 (SatELiteGTI) S 3618 3620 3236 0 -1 4194304 336 41155 0 0 0 0 860 39 16 0 1 0 305276401 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3620/statm: 1339 239 197 169 0 50 0
[pid=3626] ppid=3620 vsize=395124 CPUtime=992.64
/proc/3626/stat : 3626 (minisat_static) R 3620 3620 3236 0 -1 4194304 98001 0 0 0 99182 82 0 0 25 0 1 0 305277303 404606976 97972 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3626/statm: 98781 97972 77 171 0 98608 0
Current children cumulated CPU time (s) 1001.63
Current children cumulated vsize (KiB) 400480

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 3628
/proc/meminfo: memFree=1479632/2055920 swapFree=4180384/4192956
[pid=3620] ppid=3618 vsize=5356 CPUtime=8.99
/proc/3620/stat : 3620 (SatELiteGTI) S 3618 3620 3236 0 -1 4194304 336 41155 0 0 0 0 860 39 16 0 1 0 305276401 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3620/statm: 1339 239 197 169 0 50 0
[pid=3626] ppid=3620 vsize=411516 CPUtime=1052.59
/proc/3626/stat : 3626 (minisat_static) R 3620 3620 3236 0 -1 4194304 102129 0 0 0 105174 85 0 0 25 0 1 0 305277303 421392384 102100 1992294400 134512640 135215339 4294956240 18446744073709551615 134529088 0 0 4096 3 0 0 0 17 0 0 0
/proc/3626/statm: 102879 102100 77 171 0 102706 0
Current children cumulated CPU time (s) 1061.58
Current children cumulated vsize (KiB) 416872

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 3628
/proc/meminfo: memFree=1462416/2055920 swapFree=4180384/4192956
[pid=3620] ppid=3618 vsize=5356 CPUtime=8.99
/proc/3620/stat : 3620 (SatELiteGTI) S 3618 3620 3236 0 -1 4194304 336 41155 0 0 0 0 860 39 16 0 1 0 305276401 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3620/statm: 1339 239 197 169 0 50 0
[pid=3626] ppid=3620 vsize=428564 CPUtime=1112.57
/proc/3626/stat : 3626 (minisat_static) R 3620 3620 3236 0 -1 4194304 106397 0 0 0 111167 90 0 0 25 0 1 0 305277303 438849536 106368 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3626/statm: 107141 106368 77 171 0 106968 0
Current children cumulated CPU time (s) 1121.56
Current children cumulated vsize (KiB) 433920

[startup+1182.3 s]
/proc/loadavg: 1.04 1.01 0.95 2/66 3628
/proc/meminfo: memFree=1440848/2055920 swapFree=4180384/4192956
[pid=3620] ppid=3618 vsize=5356 CPUtime=8.99
/proc/3620/stat : 3620 (SatELiteGTI) S 3618 3620 3236 0 -1 4194304 336 41155 0 0 0 0 860 39 16 0 1 0 305276401 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3620/statm: 1339 239 197 169 0 50 0
[pid=3626] ppid=3620 vsize=451132 CPUtime=1172.54
/proc/3626/stat : 3626 (minisat_static) R 3620 3620 3236 0 -1 4194304 111845 0 0 0 117160 94 0 0 25 0 1 0 305277303 461959168 111816 1992294400 134512640 135215339 4294956240 18446744073709551615 134528782 0 0 4096 3 0 0 0 17 0 0 0
/proc/3626/statm: 112783 111816 77 171 0 112610 0
Current children cumulated CPU time (s) 1181.53
Current children cumulated vsize (KiB) 456488



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.8 s]
/proc/loadavg: 1.09 1.03 0.96 2/66 3628
/proc/meminfo: memFree=1434704/2055920 swapFree=4180384/4192956
[pid=3620] ppid=3618 vsize=5356 CPUtime=8.99
/proc/3620/stat : 3620 (SatELiteGTI) S 3618 3620 3236 0 -1 4194304 336 41155 0 0 0 0 860 39 16 0 1 0 305276401 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3620/statm: 1339 239 197 169 0 50 0
[pid=3626] ppid=3620 vsize=456812 CPUtime=1191.03
/proc/3626/stat : 3626 (minisat_static) R 3620 3620 3236 0 -1 4194304 113255 0 0 0 119007 96 0 0 25 0 1 0 305277303 467775488 113226 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3626/statm: 114203 113226 77 171 0 114030 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 462168

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1200.81
CPU time (s): 1200.02
CPU user time (s): 1198.67
CPU system time (s): 1.35
CPU usage (%): 99.934
Max. virtual memory (cumulated for all children) (KiB): 462168

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

runsolver used 1.11283 second user time and 3.35549 second system time

The end

Launcher Data 

Begin job on node18 at 2009-05-20 00:33:51
IDJOB=1832347
IDBENCH=24734
IDSOLVER=671
FILE ID=node18/1832347-1242772426
PBS_JOBID= 9322280
Free space on /tmp= 66232 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/crafted/Difficult/contest05/others/sgp_6-6-10.sat05-2670.reshuffled-07.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832347-1242772426/watcher-1832347-1242772426 -o /tmp/evaluation-result-1832347-1242772426/solver-1832347-1242772426 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832347-1242772426.cnf

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

MD5SUM BENCH= 080b0eee741469a320509f7827afc538
RANDOM SEED=1355298058

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1912640 kB
Buffers:         14036 kB
Cached:          91188 kB
SwapCached:       6636 kB
Active:          62828 kB
Inactive:        50636 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1912640 kB
SwapTotal:     4192956 kB
SwapFree:      4180384 kB
Dirty:           32076 kB
Writeback:           0 kB
Mapped:          13464 kB
Slab:            15944 kB
Committed_AS:  1072436 kB
PageTables:       1376 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66208 MiB
End job on node18 at 2009-05-20 00:53:54