Trace number 1833811

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-18UNSAT 491.045 491.378

General information on the benchmark

NameAPPLICATIONS/bioinfo/
q_query_3_l47_lambda.cnf
MD5SUMed7689c65135a913d97feca3ab3874eb
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark302.814
Satisfiable
(Un)Satisfiability was proved
Number of variables33871
Number of clauses170161
Sum of the clauses size490938
Maximum clause length9
Minimum clause length1
Number of clauses of size 14346
Number of clauses of size 241947
Number of clauses of size 3100545
Number of clauses of size 416116
Number of clauses of size 57066
Number of clauses of size over 5141

Solver Data

0.00/0.00	c Parsing...
0.00/0.13	c ==============================================================================
0.00/0.13	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.13	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.13	c ==============================================================================
0.00/0.13	c |         0 |  159423   466748 |   47826       0        0     nan |  0.000 % |
1.09/1.10	c |         0 |   71082   239848 |      --       0       --      -- |     --   | -82705/-209984
1.09/1.10	c ==============================================================================
1.09/1.10	c Result  :   #vars: 8110   #clauses: 71082   #literals: 239848
1.09/1.10	c CPU time:   1.05584 s
1.09/1.10	c ==============================================================================
1.09/1.18	c This is MiniSat 2.0 beta
1.09/1.18	c WARNING: for repeatability, setting FPU to use double precision
1.09/1.18	c ============================[ Problem Statistics ]=============================
1.09/1.18	c |                                                                             |
1.09/1.19	c |  Number of variables:  8110                                                 |
1.09/1.19	c |  Number of clauses:    71082                                                |
1.17/1.23	c |  Parsing time:         0.04         s                                       |
1.17/1.23	c ============================[ Search Statistics ]==============================
1.17/1.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.17/1.23	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.17/1.23	c ===============================================================================
1.17/1.23	c |         0 |    8110    71082   239848 |    23694        0    nan |  0.000 % |
1.17/1.24	c |       100 |    8110    71082   239848 |    23694      100      9 |  0.000 % |
1.17/1.24	c |       200 |    8110    71082   239848 |    23694      200      9 |  0.000 % |
1.17/1.25	c |       300 |    8110    71082   239848 |    23694      300     10 |  0.000 % |
1.17/1.25	c |       410 |    8110    71082   239848 |    23694      410     11 |  0.000 % |
1.17/1.26	c |       510 |    8109    71082   239848 |    23694      509     11 |  0.012 % |
1.17/1.26	c |       620 |    8108    71082   239848 |    23694      618     12 |  0.037 % |
1.17/1.27	c |       741 |    8108    71082   239848 |    23694      739     12 |  0.037 % |
1.17/1.28	c |       841 |    8107    71082   239848 |    23694      839     12 |  0.037 % |
1.17/1.28	c |       951 |    8107    71082   239848 |    23694      949     13 |  0.037 % |
1.17/1.29	c |      1073 |    8107    71082   239848 |    23694     1071     13 |  0.037 % |
1.17/1.30	c |      1206 |    8107    71082   239848 |    23694     1204     13 |  0.037 % |
1.17/1.31	c |      1306 |    8107    71082   239848 |    23694     1304     12 |  0.037 % |
1.17/1.31	c |      1417 |    8107    71082   239848 |    23694     1415     12 |  0.037 % |
1.17/1.32	c |      1538 |    8107    71082   239848 |    23694     1536     12 |  0.037 % |
1.17/1.33	c |      1671 |    8107    71082   239848 |    23694     1669     12 |  0.037 % |
1.17/1.34	c |      1817 |    8107    71082   239848 |    23694     1815     12 |  0.037 % |
1.17/1.34	c |      1917 |    8107    71082   239848 |    23694     1915     12 |  0.037 % |
1.17/1.35	c |      2028 |    8107    71082   239848 |    23694     2026     12 |  0.037 % |
1.17/1.36	c |      2149 |    8107    71082   239848 |    23694     2147     12 |  0.037 % |
1.17/1.37	c |      2283 |    8107    71082   239848 |    23694     2281     12 |  0.037 % |
1.17/1.39	c |      2430 |    8107    70650   237736 |    23694     2427     12 |  0.037 % |
1.17/1.40	c |      2590 |    8107    70650   237736 |    23694     2587     12 |  0.037 % |
1.17/1.41	c |      2692 |    8107    70650   237736 |    23694     2689     12 |  0.037 % |
1.17/1.42	c |      2802 |    8107    70650   237736 |    23694     2799     12 |  0.037 % |
1.17/1.43	c |      2923 |    8107    70650   237736 |    23694     2920     12 |  0.037 % |
1.17/1.44	c |      3057 |    8107    70650   237736 |    23694     3054     13 |  0.037 % |
1.17/1.45	c |      3203 |    8107    70650   237736 |    23694     3200     13 |  0.037 % |
1.17/1.46	c |      3363 |    8107    70650   237736 |    23694     3360     13 |  0.037 % |
1.17/1.47	c |      3539 |    8107    70650   237736 |    23694     3536     13 |  0.037 % |
1.17/1.48	c |      3641 |    8107    70650   237736 |    23694     3638     13 |  0.037 % |
1.17/1.48	c |      3751 |    8107    70650   237736 |    23694     3748     13 |  0.037 % |
1.17/1.49	c |      3872 |    8107    70650   237736 |    23694     3869     13 |  0.037 % |
1.17/1.50	c |      4006 |    8107    70650   237736 |    23694     4003     13 |  0.037 % |
1.17/1.51	c |      4155 |    8107    70650   237736 |    23694     4152     13 |  0.037 % |
1.17/1.53	c |      4315 |    8107    70650   237736 |    23694     4312     13 |  0.037 % |
1.17/1.54	c |      4492 |    8107    70650   237736 |    23694     4489     13 |  0.037 % |
1.17/1.55	c |      4685 |    8107    70650   237736 |    23694     4682     13 |  0.037 % |
1.17/1.56	c |      4786 |    8107    70650   237736 |    23694     4783     13 |  0.037 % |
1.17/1.56	c |      4896 |    8107    70650   237736 |    23694     4893     13 |  0.037 % |
1.17/1.57	c |      5017 |    8107    70650   237736 |    23694     5014     13 |  0.037 % |
1.17/1.58	c |      5150 |    8107    70650   237736 |    23694     5147     13 |  0.037 % |
1.17/1.59	c |      5297 |    8107    70650   237736 |    23694     5294     13 |  0.037 % |
1.17/1.60	c |      5459 |    8107    70650   237736 |    23694     5456     13 |  0.037 % |
1.17/1.61	c |      5635 |    8107    70650   237736 |    23694     5632     13 |  0.037 % |
1.17/1.62	c |      5828 |    8107    70650   237736 |    23694     5825     13 |  0.037 % |
1.17/1.64	c |      6042 |    8107    70650   237736 |    23694     6039     13 |  0.037 % |
1.17/1.65	c |      6142 |    8107    70650   237736 |    23694     6139     13 |  0.037 % |
1.17/1.66	c |      6252 |    8107    70650   237736 |    23694     6249     13 |  0.037 % |
1.17/1.67	c |      6374 |    8107    70650   237736 |    23694     6371     13 |  0.037 % |
1.17/1.68	c |      6507 |    8107    70650   237736 |    23694     6504     13 |  0.037 % |
1.17/1.69	c |      6653 |    8107    70650   237736 |    23694     6650     13 |  0.037 % |
1.17/1.70	c |      6814 |    8107    70650   237736 |    23694     6811     13 |  0.037 % |
1.17/1.71	c |      6991 |    8107    70650   237736 |    23694     6988     13 |  0.037 % |
1.17/1.73	c |      7184 |    8107    70650   237736 |    23694     7181     13 |  0.037 % |
1.17/1.74	c |      7397 |    8107    70650   237736 |    23694     7394     13 |  0.037 % |
1.17/1.76	c |      7630 |    8107    70650   237736 |    23694     7627     13 |  0.037 % |
1.17/1.77	c |      7732 |    8107    70650   237736 |    23694     7729     13 |  0.037 % |
1.17/1.78	c |      7842 |    8107    70650   237736 |    23694     7839     13 |  0.037 % |
1.17/1.79	c |      7963 |    8107    70650   237736 |    23694     7960     14 |  0.037 % |
1.17/1.80	c |      8096 |    8107    70650   237736 |    23694     8093     14 |  0.037 % |
1.17/1.81	c |      8243 |    8107    70650   237736 |    23694     8240     14 |  0.037 % |
1.17/1.82	c |      8403 |    8107    70650   237736 |    23694     8400     14 |  0.037 % |
1.17/1.84	c |      8580 |    8107    70650   237736 |    23694     8577     14 |  0.037 % |
1.17/1.85	c |      8773 |    8107    70650   237736 |    23694     8770     14 |  0.037 % |
1.17/1.87	c |      8986 |    8107    70650   237736 |    23694     8983     14 |  0.037 % |
1.17/1.89	c |      9221 |    8107    70650   237736 |    23694     9218     14 |  0.037 % |
1.17/1.92	c |      9479 |    8107    70650   237736 |    23694     9476     14 |  0.037 % |
1.17/1.93	c |      9579 |    8107    70650   237736 |    23694     9576     14 |  0.037 % |
1.17/1.94	c |      9689 |    8107    70650   237736 |    23694     9686     14 |  0.037 % |
1.17/1.95	c |      9812 |    8107    70650   237736 |    23694     9809     14 |  0.037 % |
1.17/1.96	c |      9945 |    8107    70650   237736 |    23694     9942     14 |  0.037 % |
1.17/1.97	c |     10093 |    8107    70650   237736 | 2147483647    10090     14 |  0.037 % |
1.17/1.99	c |     10254 |    8107    70650   237736 | 2147483647    10251     14 |  0.037 % |
1.17/2.00	c |     10431 |    8107    70650   237736 | 2147483647    10428     14 |  0.037 % |
1.17/2.02	c |     10624 |    8107    70650   237736 | 2147483647    10621     14 |  0.037 % |
1.17/2.04	c |     10836 |    8107    70650   237736 | 2147483647    10833     14 |  0.037 % |
1.17/2.06	c |     11070 |    8107    70650   237736 | 2147483647    11067     14 |  0.037 % |
1.17/2.09	c |     11326 |    8107    70650   237736 | 2147483647    11323     14 |  0.037 % |
1.17/2.11	c |     11608 |    8107    70650   237736 | 2147483647    11605     14 |  0.037 % |
1.17/2.12	c |     11708 |    8107    70650   237736 | 2147483647    11705     14 |  0.037 % |
1.17/2.13	c |     11818 |    8107    70650   237736 | 2147483647    11815     14 |  0.037 % |
1.17/2.14	c |     11941 |    8107    70650   237736 | 2147483647    11938     14 |  0.037 % |
1.17/2.15	c |     12074 |    8107    70650   237736 | 2147483647    12071     14 |  0.037 % |
1.17/2.17	c |     12220 |    8107    70650   237736 | 2147483647    12217     14 |  0.037 % |
1.17/2.19	c |     12381 |    8107    70650   237736 | 2147483647    12378     14 |  0.037 % |
2.17/2.21	c |     12557 |    8107    70650   237736 | 2147483647    12554     14 |  0.037 % |
2.17/2.24	c |     12751 |    8107    70650   237736 | 2147483647    12748     14 |  0.037 % |
2.17/2.26	c |     12963 |    8107    70650   237736 | 2147483647    12960     14 |  0.037 % |
2.17/2.28	c |     13197 |    8107    70650   237736 | 2147483647    13194     14 |  0.037 % |
2.27/2.31	c |     13453 |    8107    70650   237736 | 2147483647    13450     14 |  0.037 % |
2.27/2.33	c |     13734 |    8107    70650   237736 | 2147483647    13731     14 |  0.037 % |
2.27/2.36	c |     14043 |    8107    70650   237736 | 2147483647    14040     14 |  0.037 % |
2.27/2.37	c |     14143 |    8107    70650   237736 | 2147483647    14140     14 |  0.037 % |
2.27/2.39	c |     14254 |    8107    70650   237736 | 2147483647    14251     14 |  0.037 % |
2.27/2.40	c |     14375 |    8107    70650   237736 | 2147483647    14372     14 |  0.037 % |
2.37/2.41	c |     14511 |    8107    70650   237736 | 2147483647    14508     14 |  0.037 % |
2.37/2.43	c |     14657 |    8107    70650   237736 | 2147483647    14654     14 |  0.037 % |
2.37/2.45	c |     14817 |    8107    70650   237736 | 2147483647    14814     14 |  0.037 % |
2.37/2.47	c |     14994 |    8107    70650   237736 | 2147483647    14991     14 |  0.037 % |
2.37/2.49	c |     15187 |    8107    70650   237736 | 2147483647    15184     14 |  0.037 % |
2.47/2.52	c |     15399 |    8107    70650   237736 | 2147483647    15396     14 |  0.037 % |
2.47/2.54	c |     15632 |    8107    70650   237736 | 2147483647    15629     14 |  0.037 % |
2.47/2.57	c |     15888 |    8107    70650   237736 | 2147483647    15885     14 |  0.037 % |
2.57/2.60	c |     16172 |    8107    70650   237736 | 2147483647    16169     14 |  0.037 % |
2.57/2.64	c |     16481 |    8107    70650   237736 | 2147483647    16478     14 |  0.037 % |
2.57/2.68	c |     16820 |    8107    70650   237736 | 2147483647    16817     14 |  0.037 % |
2.57/2.69	c |     16920 |    8107    70650   237736 | 2147483647    16917     14 |  0.037 % |
2.67/2.71	c |     17030 |    8107    70650   237736 | 2147483647    17027     14 |  0.037 % |
2.67/2.73	c |     17151 |    8107    70650   237736 | 2147483647    17148     14 |  0.037 % |
2.67/2.74	c |     17286 |    8107    70650   237736 | 2147483647    17283     14 |  0.037 % |
2.67/2.76	c |     17434 |    8107    70650   237736 | 2147483647    17431     14 |  0.037 % |
2.67/2.78	c |     17595 |    8107    70650   237736 | 2147483647    17592     14 |  0.037 % |
2.76/2.80	c |     17771 |    8107    70650   237736 | 2147483647    17768     14 |  0.037 % |
2.76/2.83	c |     17964 |    8107    70650   237736 | 2147483647    17961     14 |  0.037 % |
2.76/2.86	c |     18177 |    8107    70650   237736 | 2147483647    18174     14 |  0.037 % |
2.76/2.89	c |     18410 |    8107    70650   237736 | 2147483647    18407     14 |  0.037 % |
2.86/2.93	c |     18667 |    8107    70650   237736 | 2147483647    18664     14 |  0.037 % |
2.86/2.96	c |     18948 |    8107    70650   237736 | 2147483647    18945     14 |  0.037 % |
2.86/3.00	c |     19258 |    8107    70650   237736 | 2147483647    19255     14 |  0.037 % |
2.96/3.02	c |     19599 |    8107    70650   237736 | 2147483647    19596     14 |  0.037 % |
2.96/3.06	c |     19971 |    8107    70650   237736 | 2147483647    19968     14 |  0.037 % |
2.96/3.07	c |     20071 |    8107    70650   237736 | 2147483647    20068     14 |  0.037 % |
2.96/3.09	c |     20182 |    8107    70650   237736 | 2147483647    20179     14 |  0.037 % |
3.06/3.10	c |     20303 |    8107    70650   237736 | 2147483647    20300     14 |  0.037 % |
3.06/3.13	c |     20436 |    8096    69372   230627 | 2147483647    11919     13 |  0.173 % |
3.06/3.15	c |     20582 |    8096    69372   230627 | 2147483647    12065     13 |  0.173 % |
3.06/3.17	c |     20742 |    8096    69372   230627 | 2147483647    12225     13 |  0.173 % |
3.06/3.19	c |     20920 |    8096    69372   230627 | 2147483647    12403     13 |  0.173 % |
3.16/3.21	c |     21113 |    8096    69372   230627 | 2147483647    12596     14 |  0.173 % |
3.16/3.24	c |     21327 |    8096    69372   230627 | 2147483647    12810     14 |  0.173 % |
3.16/3.27	c |     21562 |    8096    69372   230627 | 2147483647    13045     14 |  0.173 % |
3.16/3.30	c |     21818 |    8096    69372   230627 | 2147483647    13301     14 |  0.173 % |
3.27/3.34	c |     22099 |    8096    69372   230627 | 2147483647    13582     14 |  0.173 % |
3.27/3.37	c |     22410 |    8096    69372   230627 | 2147483647    13893     14 |  0.173 % |
3.37/3.41	c |     22750 |    8096    69372   230627 | 2147483647    14233     14 |  0.173 % |
3.37/3.45	c |     23122 |    8096    69372   230627 | 2147483647    14605     14 |  0.173 % |
3.37/3.49	c |     23531 |    8096    69372   230627 | 2147483647    15014     14 |  0.173 % |
3.46/3.51	c |     23631 |    8096    69372   230627 | 2147483647    15114     14 |  0.173 % |
3.46/3.52	c |     23743 |    8096    69372   230627 | 2147483647    15226     14 |  0.173 % |
3.46/3.54	c |     23864 |    8096    69372   230627 | 2147483647    15347     14 |  0.173 % |
3.46/3.56	c |     23997 |    8096    69372   230627 | 2147483647    15480     14 |  0.173 % |
3.46/3.57	c |     24144 |    8096    69372   230627 | 2147483647    15627     14 |  0.173 % |
3.46/3.59	c |     24305 |    8096    69372   230627 | 2147483647    15788     14 |  0.173 % |
3.56/3.61	c |     24481 |    8096    69372   230627 | 2147483647    15964     14 |  0.173 % |
3.56/3.63	c |     24676 |    8096    69372   230627 | 2147483647    16159     14 |  0.173 % |
3.56/3.66	c |     24891 |    8096    69372   230627 | 2147483647    16374     14 |  0.173 % |
3.56/3.69	c |     25124 |    8096    69372   230627 | 2147483647    16607     14 |  0.173 % |
3.66/3.72	c |     25380 |    8096    69372   230627 | 2147483647    16863     14 |  0.173 % |
3.66/3.76	c |     25661 |    8096    69372   230627 | 2147483647    17144     14 |  0.173 % |
3.66/3.79	c |     25970 |    8096    69372   230627 | 2147483647    17453     15 |  0.173 % |
3.76/3.83	c |     26309 |    8096    69372   230627 | 2147483647    17792     15 |  0.173 % |
3.76/3.89	c |     26681 |    8096    69372   230627 | 2147483647    18164     15 |  0.173 % |
3.85/3.94	c |     27091 |    8096    69372   230627 | 2147483647    18574     15 |  0.173 % |
3.85/3.98	c |     27540 |    8096    69372   230627 | 2147483647    19023     15 |  0.173 % |
3.95/4.00	c |     27644 |    8096    69372   230627 | 2147483647    19127     15 |  0.173 % |
3.95/4.02	c |     27756 |    8096    69372   230627 | 2147483647    19239     15 |  0.173 % |
3.95/4.04	c |     27877 |    8096    69372   230627 | 2147483647    19360     15 |  0.173 % |
3.95/4.06	c |     28013 |    8096    69372   230627 | 2147483647    19496     15 |  0.173 % |
3.95/4.08	c |     28160 |    8096    69372   230627 | 2147483647    19643     15 |  0.173 % |
4.05/4.10	c |     28320 |    8096    69372   230627 | 2147483647    19803     15 |  0.173 % |
4.05/4.12	c |     28496 |    8096    69372   230627 | 2147483647    19979     15 |  0.173 % |
4.05/4.15	c |     28692 |    8096    69372   230627 | 2147483647    20175     15 |  0.173 % |
4.05/4.17	c |     28904 |    8096    69372   230627 | 2147483647    20387     15 |  0.173 % |
4.15/4.21	c |     29137 |    8096    69372   230627 | 2147483647    20620     15 |  0.173 % |
4.15/4.23	c |     29393 |    8096    69372   230627 | 2147483647    20876     15 |  0.173 % |
4.15/4.27	c |     29674 |    8096    69372   230627 | 2147483647    21157     15 |  0.173 % |
4.25/4.31	c |     29983 |    8096    69372   230627 | 2147483647    21466     15 |  0.173 % |
4.25/4.36	c |     30324 |    8096    69372   230627 | 2147483647    21807     15 |  0.173 % |
4.37/4.40	c |     30697 |    8096    69372   230627 | 2147483647    22180     15 |  0.173 % |
4.37/4.47	c |     31106 |    8096    69372   230627 | 2147483647    22589     15 |  0.173 % |
4.47/4.54	c |     31556 |    8096    69372   230627 | 2147483647    23039     15 |  0.173 % |
4.56/4.62	c |     32051 |    8096    69372   230627 | 2147483647    23534     15 |  0.173 % |
4.56/4.64	c |     32151 |    8096    69372   230627 | 2147483647    23634     15 |  0.173 % |
4.56/4.66	c |     32262 |    8096    69372   230627 | 2147483647    23745     15 |  0.173 % |
4.56/4.68	c |     32383 |    8096    69372   230627 | 2147483647    23866     15 |  0.173 % |
4.66/4.71	c |     32518 |    8096    69372   230627 | 2147483647    24001     15 |  0.173 % |
4.66/4.74	c |     32664 |    8096    69372   230627 | 2147483647    24147     15 |  0.173 % |
4.66/4.76	c |     32824 |    8096    69372   230627 | 2147483647    24307     15 |  0.173 % |
4.66/4.79	c |     33001 |    8096    69372   230627 | 2147483647    24484     15 |  0.173 % |
4.76/4.82	c |     33197 |    8096    69372   230627 | 2147483647    24680     15 |  0.173 % |
4.76/4.87	c |     33409 |    8096    69372   230627 | 2147483647    24892     15 |  0.173 % |
4.86/4.90	c |     33642 |    8096    69372   230627 | 2147483647    25125     15 |  0.173 % |
4.86/4.93	c |     33900 |    8096    69372   230627 | 2147483647    25383     15 |  0.173 % |
4.86/4.99	c |     34182 |    8096    69372   230627 | 2147483647    25665     15 |  0.173 % |
4.96/5.04	c |     34491 |    8096    69372   230627 | 2147483647    25974     15 |  0.173 % |
5.06/5.11	c |     34831 |    8096    69372   230627 | 2147483647    26314     16 |  0.173 % |
5.06/5.17	c |     35203 |    8096    69372   230627 | 2147483647    26686     16 |  0.173 % |
5.16/5.24	c |     35614 |    8096    69372   230627 | 2147483647    27097     16 |  0.173 % |
5.26/5.31	c |     36063 |    8096    69372   230627 | 2147483647    27546     16 |  0.173 % |
5.36/5.40	c |     36556 |    8096    69372   230627 | 2147483647    28039     16 |  0.173 % |
5.47/5.52	c |     37098 |    8096    69372   230627 | 2147483647    28581     16 |  0.173 % |
5.47/5.54	c |     37200 |    8096    69372   230627 | 2147483647    28683     16 |  0.173 % |
5.47/5.56	c |     37311 |    8096    69372   230627 | 2147483647    28794     16 |  0.173 % |
5.47/5.59	c |     37433 |    8096    69372   230627 | 2147483647    28916     16 |  0.173 % |
5.57/5.61	c |     37566 |    8096    69372   230627 | 2147483647    29049     16 |  0.173 % |
5.57/5.65	c |     37712 |    8096    69372   230627 | 2147483647    29195     16 |  0.173 % |
5.57/5.68	c |     37873 |    8096    69372   230627 | 2147483647    29356     16 |  0.173 % |
5.66/5.71	c |     38052 |    8096    69372   230627 | 2147483647    29535     16 |  0.173 % |
5.66/5.75	c |     38249 |    8096    69372   230627 | 2147483647    29732     16 |  0.173 % |
5.66/5.78	c |     38461 |    8096    69372   230627 | 2147483647    29944     16 |  0.173 % |
5.76/5.81	c |     38694 |    8096    69372   230627 | 2147483647    30177     16 |  0.173 % |
5.76/5.84	c |     38950 |    8096    69372   230627 | 2147483647    30433     16 |  0.173 % |
5.76/5.89	c |     39233 |    8096    69372   230627 | 2147483647    30716     16 |  0.173 % |
5.86/5.94	c |     39542 |    8096    69372   230627 | 2147483647    31025     16 |  0.173 % |
5.96/6.00	c |     39881 |    8096    69372   230627 | 2147483647    31364     16 |  0.173 % |
5.96/6.05	c |     40253 |    8096    69372   230627 | 2147483647    31736     16 |  0.173 % |
6.06/6.11	c |     40662 |    8096    69372   230627 | 2147483647    32145     16 |  0.173 % |
6.06/6.17	c |     41112 |    8096    69372   230627 | 2147483647    32595     16 |  0.173 % |
6.16/6.29	c |     41606 |    8096    69372   230627 | 2147483647    33089     16 |  0.173 % |
6.26/6.38	c |     42150 |    8096    69372   230627 | 2147483647    33633     16 |  0.173 % |
6.46/6.54	c |     42746 |    8096    69372   230627 | 2147483647    34229     16 |  0.173 % |
6.46/6.56	c |     42846 |    8096    69372   230627 | 2147483647    34329     16 |  0.173 % |
6.46/6.58	c |     42956 |    8096    69372   230627 | 2147483647    34439     16 |  0.173 % |
6.56/6.61	c |     43077 |    8096    69372   230627 | 2147483647    34560     16 |  0.173 % |
6.56/6.64	c |     43213 |    8096    69372   230627 | 2147483647    34696     16 |  0.173 % |
6.56/6.67	c |     43360 |    8096    69372   230627 | 2147483647    34843     16 |  0.173 % |
6.66/6.71	c |     43520 |    8096    69372   230627 | 2147483647    35003     16 |  0.173 % |
6.66/6.74	c |     43696 |    8096    69372   230627 | 2147483647    35179     16 |  0.173 % |
6.66/6.79	c |     43889 |    8096    69372   230627 | 2147483647    35372     16 |  0.173 % |
6.76/6.84	c |     44101 |    8096    69372   230627 | 2147483647    35584     16 |  0.173 % |
6.76/6.89	c |     44335 |    8096    69372   230627 | 2147483647    35818     16 |  0.173 % |
6.86/6.94	c |     44593 |    8096    69372   230627 | 2147483647    36076     16 |  0.173 % |
6.96/7.00	c |     44874 |    8096    69372   230627 | 2147483647    36357     16 |  0.173 % |
6.96/7.06	c |     45183 |    8096    69372   230627 | 2147483647    36666     16 |  0.173 % |
7.06/7.16	c |     45522 |    8096    69372   230627 | 2147483647    37005     16 |  0.173 % |
7.16/7.27	c |     45894 |    8096    69372   230627 | 2147483647    37377     16 |  0.173 % |
7.26/7.38	c |     46305 |    8096    69372   230627 | 2147483647    37788     16 |  0.173 % |
7.36/7.45	c |     46754 |    8096    69372   230627 | 2147483647    38237     16 |  0.173 % |
7.46/7.54	c |     47247 |    8096    69372   230627 | 2147483647    38730     16 |  0.173 % |
7.56/7.62	c |     47789 |    8096    69372   230627 | 2147483647    39272     16 |  0.173 % |
7.66/7.70	c |     48385 |    8096    69372   230627 | 2147483647    39868     16 |  0.173 % |
7.76/7.82	c |     49041 |    8096    69372   230627 | 2147483647    40524     16 |  0.173 % |
7.76/7.85	c |     49141 |    8096    69372   230627 | 2147483647    40624     16 |  0.173 % |
7.76/7.88	c |     49251 |    8096    69372   230627 | 2147483647    40734     16 |  0.173 % |
7.86/7.92	c |     49373 |    8096    69372   230627 | 2147483647    40856     16 |  0.173 % |
7.86/7.95	c |     49506 |    8096    69372   230627 | 2147483647    40989     16 |  0.173 % |
7.86/7.99	c |     49653 |    8096    69372   230627 | 2147483647    41136     16 |  0.173 % |
7.96/8.03	c |     49813 |    8096    69372   230627 | 2147483647    41296     16 |  0.173 % |
7.96/8.08	c |     49989 |    8096    69372   230627 | 2147483647    41472     16 |  0.173 % |
8.06/8.14	c |     50182 |    8096    69372   230627 | 2147483647    41665     16 |  0.173 % |
8.06/8.18	c |     50394 |    8096    69372   230627 | 2147483647    41877     16 |  0.173 % |
8.16/8.23	c |     50627 |    8096    69372   230627 | 2147483647    42110     16 |  0.173 % |
8.16/8.29	c |     50884 |    8096    69372   230627 | 2147483647    42367     16 |  0.173 % |
8.25/8.35	c |     51165 |    8096    69372   230627 | 2147483647    42648     16 |  0.173 % |
8.35/8.44	c |     51475 |    8096    69372   230627 | 2147483647    42958     16 |  0.173 % |
8.45/8.53	c |     51814 |    8096    69372   230627 | 2147483647    43297     16 |  0.173 % |
8.55/8.61	c |     52188 |    8096    69372   230627 | 2147483647    43671     16 |  0.173 % |
8.65/8.73	c |     52600 |    8096    69372   230627 | 2147483647    44083     17 |  0.173 % |
8.75/8.84	c |     53049 |    8096    69372   230627 | 2147483647    44532     17 |  0.173 % |
8.85/8.97	c |     53543 |    8096    69372   230627 | 2147483647    45026     17 |  0.173 % |
9.05/9.16	c |     54088 |    8096    69372   230627 | 2147483647    45571     17 |  0.173 % |
9.25/9.35	c |     54688 |    8096    69372   230627 | 2147483647    46171     17 |  0.173 % |
9.45/9.54	c |     55344 |    8096    69372   230627 | 2147483647    46827     17 |  0.173 % |
9.65/9.79	c |     56064 |    8096    69372   230627 | 2147483647    47547     17 |  0.173 % |
9.75/9.83	c |     56164 |    8096    69372   230627 | 2147483647    47647     17 |  0.173 % |
9.75/9.86	c |     56274 |    8096    69372   230627 | 2147483647    47757     17 |  0.173 % |
9.75/9.90	c |     56395 |    8096    69372   230627 | 2147483647    47878     17 |  0.173 % |
9.86/9.94	c |     56528 |    8096    69372   230627 | 2147483647    48011     17 |  0.173 % |
9.86/9.98	c |     56677 |    8096    69372   230627 | 2147483647    48160     17 |  0.173 % |
9.96/10.02	c |     56837 |    8096    69372   230627 | 2147483647    48320     17 |  0.173 % |
9.96/10.07	c |     57013 |    8096    69372   230627 | 2147483647    48496     17 |  0.173 % |
10.05/10.15	c |     57208 |    8096    69372   230627 | 2147483647    48691     17 |  0.173 % |
10.15/10.21	c |     57420 |    8096    69372   230627 | 2147483647    48903     17 |  0.173 % |
10.25/10.30	c |     57654 |    8096    69372   230627 | 2147483647    49137     17 |  0.173 % |
10.25/10.40	c |     57910 |    8096    69372   230627 | 2147483647    49393     17 |  0.173 % |
10.35/10.49	c |     58193 |    8096    69372   230627 | 2147483647    49676     17 |  0.173 % |
10.45/10.59	c |     58502 |    8096    69372   230627 | 2147483647    49985     17 |  0.173 % |
10.65/10.73	c |     58842 |    8096    69372   230627 | 2147483647    50325     17 |  0.173 % |
10.75/10.85	c |     59215 |    8096    69372   230627 | 2147483647    50698     17 |  0.173 % |
10.96/11.00	c |     59624 |    8096    69372   230627 | 2147483647    51107     17 |  0.173 % |
11.06/11.16	c |     60075 |    8096    69372   230627 | 2147483647    51558     17 |  0.173 % |
11.25/11.34	c |     60568 |    8096    69372   230627 | 2147483647    52051     17 |  0.173 % |
11.45/11.55	c |     61110 |    8096    69372   230627 | 2147483647    52593     17 |  0.173 % |
11.65/11.74	c |     61706 |    8096    69372   230627 | 2147483647    53189     17 |  0.173 % |
11.85/11.95	c |     62362 |    8096    69372   230627 | 2147483647    53845     17 |  0.173 % |
12.15/12.21	c |     63082 |    8096    69372   230627 | 2147483647    54565     17 |  0.173 % |
12.45/12.53	c |     63874 |    8096    69372   230627 | 2147483647    55357     17 |  0.173 % |
12.45/12.57	c |     63974 |    8096    69372   230627 | 2147483647    55457     17 |  0.173 % |
12.55/12.60	c |     64086 |    8096    69372   230627 | 2147483647    55569     17 |  0.173 % |
12.55/12.66	c |     64207 |    8096    69372   230627 | 2147483647    55690     17 |  0.173 % |
12.65/12.72	c |     64342 |    8096    69372   230627 | 2147483647    55825     17 |  0.173 % |
12.65/12.77	c |     64490 |    8096    69372   230627 | 2147483647    55973     17 |  0.173 % |
12.75/12.85	c |     64651 |    8096    69372   230627 | 2147483647    56134     17 |  0.173 % |
12.85/12.94	c |     64829 |    8096    69372   230627 | 2147483647    56312     17 |  0.173 % |
12.95/13.02	c |     65022 |    8096    69372   230627 | 2147483647    56505     17 |  0.173 % |
13.05/13.16	c |     65235 |    8096    69372   230627 | 2147483647    56718     17 |  0.173 % |
13.15/13.26	c |     65468 |    8096    69372   230627 | 2147483647    56951     17 |  0.173 % |
13.25/13.38	c |     65724 |    8096    69372   230627 | 2147483647    57207     17 |  0.173 % |
13.45/13.51	c |     66006 |    8096    69372   230627 | 2147483647    57489     17 |  0.173 % |
13.55/13.66	c |     66315 |    8096    69372   230627 | 2147483647    57798     17 |  0.173 % |
13.75/13.83	c |     66654 |    8096    69372   230627 | 2147483647    58137     17 |  0.173 % |
13.85/13.93	c |     67026 |    8096    69372   230627 | 2147483647    58509     17 |  0.173 % |
13.95/14.09	c |     67435 |    8096    69372   230627 | 2147483647    58918     17 |  0.173 % |
14.25/14.38	c |     67884 |    8096    69372   230627 | 2147483647    59367     17 |  0.173 % |
14.44/14.59	c |     68378 |    8096    69372   230627 | 2147483647    59861     17 |  0.173 % |
14.74/14.83	c |     68920 |    8096    69372   230627 | 2147483647    60403     17 |  0.173 % |
14.94/15.09	c |     69516 |    8096    69372   230627 | 2147483647    60999     18 |  0.173 % |
15.35/15.45	c |     70172 |    8096    69372   230627 | 2147483647    61655     18 |  0.173 % |
15.54/15.67	c |     70894 |    8096    69372   230627 | 2147483647    62377     18 |  0.173 % |
15.94/16.02	c |     71686 |    8096    69372   230627 | 2147483647    63169     18 |  0.173 % |
16.34/16.47	c |     72558 |    8096    69372   230627 | 2147483647    64041     18 |  0.173 % |
16.45/16.52	c |     72660 |    8096    69372   230627 | 2147483647    64143     18 |  0.173 % |
16.45/16.59	c |     72770 |    8096    69372   230627 | 2147483647    64253     18 |  0.173 % |
16.55/16.66	c |     72891 |    8096    69372   230627 | 2147483647    64374     18 |  0.173 % |
16.64/16.75	c |     73024 |    8096    69372   230627 | 2147483647    64507     18 |  0.173 % |
16.74/16.82	c |     73172 |    8096    69372   230627 | 2147483647    64655     18 |  0.173 % |
16.84/16.91	c |     73334 |    8096    69372   230627 | 2147483647    64817     18 |  0.173 % |
16.94/17.00	c |     73511 |    8096    69372   230627 | 2147483647    64994     18 |  0.173 % |
17.04/17.13	c |     73704 |    8096    69372   230627 | 2147483647    65187     18 |  0.173 % |
17.14/17.24	c |     73918 |    8096    69372   230627 | 2147483647    65401     18 |  0.173 % |
17.24/17.37	c |     74152 |    8096    69372   230627 | 2147483647    65635     18 |  0.173 % |
17.44/17.53	c |     74408 |    8096    69372   230627 | 2147483647    65891     18 |  0.173 % |
17.55/17.63	c |     74689 |    8096    69372   230627 | 2147483647    66172     18 |  0.173 % |
17.65/17.76	c |     74999 |    8096    69372   230627 | 2147483647    66482     18 |  0.173 % |
17.74/17.85	c |     75338 |    8096    69372   230627 | 2147483647    66821     18 |  0.173 % |
17.84/17.97	c |     75711 |    8096    69372   230627 | 2147483647    67194     18 |  0.173 % |
17.94/18.09	c |     76120 |    8096    69372   230627 | 2147483647    67603     18 |  0.173 % |
18.14/18.24	c |     76569 |    8096    69372   230627 | 2147483647    68052     18 |  0.173 % |
18.34/18.47	c |     77062 |    8096    69372   230627 | 2147483647    68545     18 |  0.173 % |
18.64/18.76	c |     77606 |    8096    69372   230627 | 2147483647    69089     18 |  0.173 % |
18.94/19.02	c |     78202 |    8096    69372   230627 | 2147483647    69685     18 |  0.173 % |
19.34/19.45	c |     78858 |    8096    69372   230627 | 2147483647    70341     18 |  0.173 % |
19.74/19.83	c |     79578 |    8096    69372   230627 | 2147483647    71061     18 |  0.173 % |
20.14/20.26	c |     80371 |    8096    69372   230627 | 2147483647    71854     18 |  0.173 % |
20.74/20.89	c |     81243 |    8096    69372   230627 | 2147483647    72726     18 |  0.173 % |
21.34/21.49	c |     82202 |    8096    69372   230627 | 2147483647    73685     18 |  0.173 % |
21.44/21.55	c |     82306 |    8096    69372   230627 | 2147483647    73789     18 |  0.173 % |
21.54/21.62	c |     82416 |    8096    69372   230627 | 2147483647    73899     18 |  0.173 % |
21.54/21.68	c |     82539 |    8096    69372   230627 | 2147483647    74022     18 |  0.173 % |
21.64/21.78	c |     82672 |    8096    69372   230627 | 2147483647    74155     18 |  0.173 % |
21.74/21.86	c |     82822 |    8096    69372   230627 | 2147483647    74305     18 |  0.173 % |
21.84/21.93	c |     82985 |    8096    69372   230627 | 2147483647    74468     18 |  0.173 % |
21.94/22.03	c |     83161 |    8096    69372   230627 | 2147483647    74644     18 |  0.173 % |
22.04/22.15	c |     83355 |    8096    69372   230627 | 2147483647    74838     18 |  0.173 % |
22.14/22.23	c |     83567 |    8096    69372   230627 | 2147483647    75050     18 |  0.173 % |
22.24/22.37	c |     83801 |    8096    69372   230627 | 2147483647    75284     18 |  0.173 % |
22.44/22.54	c |     84057 |    8096    69372   230627 | 2147483647    75540     18 |  0.173 % |
22.64/22.71	c |     84339 |    8096    69372   230627 | 2147483647    75822     18 |  0.173 % |
22.84/22.92	c |     84649 |    8096    69372   230627 | 2147483647    76132     18 |  0.173 % |
23.04/23.11	c |     84990 |    8096    69372   230627 | 2147483647    76473     18 |  0.173 % |
23.24/23.39	c |     85362 |    8096    69372   230627 | 2147483647    76845     18 |  0.173 % |
23.54/23.67	c |     85772 |    8096    69372   230627 | 2147483647    77255     18 |  0.173 % |
23.93/24.03	c |     86222 |    8096    69372   230627 | 2147483647    77705     18 |  0.173 % |
24.24/24.33	c |     86715 |    8096    69372   230627 | 2147483647    78198     18 |  0.173 % |
24.43/24.57	c |     87257 |    8096    69372   230627 | 2147483647    78740     18 |  0.173 % |
24.83/24.92	c |     87854 |    8096    69372   230627 | 2147483647    79337     18 |  0.173 % |
25.13/25.22	c |     88509 |    8096    69372   230627 | 2147483647    79992     18 |  0.173 % |
25.63/25.76	c |     89229 |    8096    69372   230627 | 2147483647    80712     18 |  0.173 % |
26.23/26.30	c |     90021 |    8096    69372   230627 |    81483    81504     18 |  0.173 % |
27.03/27.15	c |     90894 |    8096    69372   230627 |    81483    73123     18 |  0.173 % |
27.63/27.70	c |     91853 |    8096    69372   230627 |    81483    74082     18 |  0.173 % |
28.33/28.41	c |     92909 |    8096    69372   230627 |    81483    75138     18 |  0.173 % |
28.33/28.47	c |     93009 |    8096    69372   230627 |    81483    75238     18 |  0.173 % |
28.43/28.56	c |     93119 |    8096    69372   230627 |    81483    75348     18 |  0.173 % |
28.53/28.66	c |     93242 |    8096    69372   230627 |    81483    75471     18 |  0.173 % |
28.63/28.77	c |     93375 |    8096    69372   230627 |    81483    75604     18 |  0.173 % |
28.73/28.84	c |     93522 |    8096    69372   230627 |    81483    75751     18 |  0.173 % |
28.93/29.02	c |     93683 |    8096    69372   230627 |    81483    75912     18 |  0.173 % |
29.03/29.11	c |     93859 |    8096    69372   230627 |    81483    76088     18 |  0.173 % |
29.13/29.25	c |     94052 |    8096    69372   230627 |    81483    76281     18 |  0.173 % |
29.33/29.43	c |     94265 |    8096    69372   230627 |    81483    76494     19 |  0.173 % |
29.53/29.67	c |     94499 |    8096    69372   230627 |    81483    76728     19 |  0.173 % |
29.83/29.90	c |     94756 |    8096    69372   230627 |    81483    76985     19 |  0.173 % |
29.93/30.09	c |     95037 |    8096    69372   230627 |    81483    77266     19 |  0.173 % |
30.23/30.33	c |     95347 |    8096    69372   230627 |    81483    77576     19 |  0.173 % |
30.43/30.55	c |     95688 |    8096    69372   230627 |    81483    77917     19 |  0.173 % |
30.73/30.82	c |     96063 |    8096    69372   230627 |    81483    78292     19 |  0.173 % |
31.13/31.27	c |     96473 |    8096    69372   230627 |    81483    78702     19 |  0.173 % |
31.53/31.66	c |     96922 |    8096    69372   230627 |    81483    79151     19 |  0.173 % |
31.93/32.05	c |     97415 |    8096    69372   230627 |    81483    79644     19 |  0.173 % |
32.43/32.52	c |     97958 |    8096    69372   230627 |    81483    80187     19 |  0.173 % |
32.93/33.01	c |     98555 |    8096    69372   230627 |    81483    80784     19 |  0.173 % |
33.43/33.54	c |     99210 |    8096    69372   230627 |    81483    81439     19 |  0.173 % |
34.03/34.11	c |     99932 |    8096    69372   230627 |    81483    69638     18 |  0.173 % |
34.43/34.59	c |    100724 |    8096    69372   230627 |    69706    59936     18 |  0.173 % |
35.03/35.12	c |    101595 |    8096    69372   230627 |    69706    60807     18 |  0.173 % |
35.82/35.98	c |    102553 |    8096    69372   230627 |    69706    61765     18 |  0.173 % |
36.72/36.81	c |    103606 |    8096    69372   230627 |    69706    62818     18 |  0.173 % |
37.42/37.56	c |    104765 |    8096    69372   230627 |    69706    63977     18 |  0.173 % |
37.52/37.63	c |    104865 |    8096    69372   230627 |    69706    64077     18 |  0.173 % |
37.62/37.70	c |    104978 |    8096    69372   230627 |    69706    64190     18 |  0.173 % |
37.62/37.78	c |    105099 |    8096    69372   230627 |    69706    64311     18 |  0.173 % |
37.72/37.88	c |    105232 |    8096    69372   230627 |    69706    64444     18 |  0.173 % |
37.92/38.03	c |    105378 |    8096    69372   230627 |    69706    64590     18 |  0.173 % |
38.02/38.15	c |    105538 |    8096    69372   230627 |    69706    64750     18 |  0.173 % |
38.12/38.28	c |    105714 |    8096    69372   230627 |    69706    64926     18 |  0.173 % |
38.32/38.41	c |    105907 |    8096    69372   230627 |    69706    65119     18 |  0.173 % |
38.42/38.57	c |    106120 |    8096    69372   230627 |    69706    65332     18 |  0.173 % |
38.62/38.71	c |    106355 |    8096    69372   230627 |    69706    65567     18 |  0.173 % |
38.72/38.89	c |    106612 |    8096    69372   230627 |    69706    65824     18 |  0.173 % |
38.92/39.05	c |    106895 |    8096    69372   230627 |    69706    66107     18 |  0.173 % |
39.12/39.24	c |    107208 |    8096    69372   230627 |    69706    66420     18 |  0.173 % |
39.42/39.56	c |    107549 |    8096    69372   230627 |    69706    66761     18 |  0.173 % |
39.72/39.85	c |    107921 |    8096    69372   230627 |    69706    67133     18 |  0.173 % |
40.02/40.13	c |    108332 |    8096    69372   230627 |    69706    67544     18 |  0.173 % |
40.31/40.43	c |    108782 |    8096    69372   230627 |    69706    67994     18 |  0.173 % |
40.72/40.82	c |    109275 |    8096    69372   230627 |    69706    68487     18 |  0.173 % |
41.11/41.25	c |    109817 |    8096    69372   230627 |    69706    69029     18 |  0.173 % |
41.61/41.71	c |    110413 |    8096    69372   230627 |    69212    60566     18 |  0.173 % |
42.01/42.16	c |    111069 |    8096    69372   230627 |    69212    61222     18 |  0.173 % |
42.51/42.62	c |    111789 |    8096    69372   230627 |    69212    61942     18 |  0.173 % |
42.71/42.84	c |    112581 |    8096    69372   230627 |    69212    62734     18 |  0.173 % |
43.31/43.45	c |    113454 |    8096    69372   230627 |    69212    63607     18 |  0.173 % |
43.81/43.95	c |    114413 |    8096    69372   230627 |    69212    64566     18 |  0.173 % |
44.21/44.33	c |    115466 |    8096    69372   230627 |    69212    65619     18 |  0.173 % |
44.61/44.75	c |    116627 |    8096    69372   230627 |    69212    66780     18 |  0.173 % |
44.91/45.06	c |    117900 |    8096    69372   230627 |    69212    68053     18 |  0.173 % |
44.91/45.10	c |    118001 |    8096    69372   230627 |    69212    68154     18 |  0.173 % |
45.01/45.18	c |    118112 |    8096    69372   230627 |    69212    68265     18 |  0.173 % |
45.11/45.27	c |    118233 |    8096    69372   230627 |    69212    68386     18 |  0.173 % |
45.31/45.42	c |    118367 |    8096    69372   230627 |    69212    68520     18 |  0.173 % |
45.41/45.51	c |    118514 |    8096    69372   230627 |    69212    68667     18 |  0.173 % |
45.51/45.64	c |    118674 |    8096    69372   230627 |    69212    68827     18 |  0.173 % |
45.61/45.75	c |    118850 |    8096    69372   230627 |    69212    69003     18 |  0.173 % |
45.71/45.85	c |    119043 |    8096    69372   230627 |    69212    69196     18 |  0.173 % |
45.91/46.08	c |    119258 |    8096    69372   230627 |    69212    62481     18 |  0.173 % |
46.01/46.18	c |    119492 |    8096    69372   230627 |    69212    62715     18 |  0.173 % |
46.21/46.33	c |    119748 |    8096    69372   230627 |    69212    62971     18 |  0.173 % |
46.41/46.52	c |    120031 |    8096    69372   230627 | 2147483647    63254     18 |  0.173 % |
46.61/46.71	c |    120342 |    8096    69372   230627 | 2147483647    63565     18 |  0.173 % |
46.71/46.80	c |    120681 |    8096    69372   230627 | 2147483647    63904     18 |  0.173 % |
46.81/46.93	c |    121057 |    8096    69372   230627 | 2147483647    64280     18 |  0.173 % |
47.01/47.18	c |    121468 |    8096    69372   230627 | 2147483647    64691     18 |  0.173 % |
47.21/47.32	c |    121917 |    8096    69372   230627 | 2147483647    65140     18 |  0.173 % |
47.41/47.55	c |    122415 |    8096    69372   230627 | 2147483647    65638     18 |  0.173 % |
47.61/47.71	c |    122957 |    8096    69372   230627 | 2147483647    66180     18 |  0.173 % |
47.71/47.89	c |    123553 |    8096    69372   230627 | 2147483647    66776     18 |  0.173 % |
48.01/48.11	c |    124211 |    8096    69372   230627 | 2147483647    67434     18 |  0.173 % |
48.21/48.35	c |    124931 |    8096    69372   230627 | 2147483647    68154     18 |  0.173 % |
48.41/48.57	c |    125724 |    8096    69372   230627 | 2147483647    68947     18 |  0.173 % |
48.71/48.87	c |    126595 |    8096    69372   230627 | 2147483647    69818     18 |  0.173 % |
49.01/49.16	c |    127553 |    8096    69372   230627 | 2147483647    70776     18 |  0.173 % |
49.31/49.47	c |    128608 |    8096    69372   230627 | 2147483647    71831     18 |  0.173 % |
49.80/49.94	c |    129769 |    8096    69372   230627 | 2147483647    72992     18 |  0.173 % |
50.20/50.31	c |    131043 |    8096    69372   230627 | 2147483647    74266     18 |  0.173 % |
50.61/50.71	c |    132443 |    8096    69372   230627 | 2147483647    75666     18 |  0.173 % |
50.61/50.75	c |    132543 |    8096    69372   230627 | 2147483647    75766     18 |  0.173 % |
50.70/50.80	c |    132653 |    8096    69372   230627 | 2147483647    75876     18 |  0.173 % |
50.70/50.86	c |    132774 |    8096    69372   230627 | 2147483647    75997     18 |  0.173 % |
50.80/50.91	c |    132907 |    8096    69372   230627 | 2147483647    76130     18 |  0.173 % |
50.80/50.96	c |    133053 |    8096    69372   230627 | 2147483647    76276     18 |  0.173 % |
50.90/51.04	c |    133213 |    8096    69372   230627 | 2147483647    76436     18 |  0.173 % |
50.90/51.08	c |    133389 |    8096    69372   230627 | 2147483647    76612     18 |  0.173 % |
51.00/51.16	c |    133584 |    8096    69372   230627 | 2147483647    76807     18 |  0.173 % |
51.10/51.24	c |    133798 |    8096    69372   230627 | 2147483647    77021     18 |  0.173 % |
51.20/51.31	c |    134031 |    8096    69372   230627 | 2147483647    77254     18 |  0.173 % |
51.30/51.41	c |    134287 |    8096    69372   230627 | 2147483647    77510     18 |  0.173 % |
51.40/51.50	c |    134569 |    8096    69372   230627 | 2147483647    77792     18 |  0.173 % |
51.50/51.63	c |    134879 |    8096    69372   230627 | 2147483647    78102     18 |  0.173 % |
51.60/51.79	c |    135219 |    8096    69372   230627 | 2147483647    78442     18 |  0.173 % |
51.80/51.93	c |    135592 |    8096    69372   230627 | 2147483647    78815     18 |  0.173 % |
52.00/52.12	c |    136001 |    8096    69372   230627 | 2147483647    79224     18 |  0.173 % |
52.10/52.26	c |    136450 |    8096    69372   230627 | 2147483647    79673     18 |  0.173 % |
52.30/52.44	c |    136944 |    8096    69372   230627 | 2147483647    80167     18 |  0.173 % |
52.50/52.61	c |    137488 |    8096    69372   230627 | 2147483647    80711     18 |  0.173 % |
52.70/52.88	c |    138084 |    8096    69372   230627 | 2147483647    81307     18 |  0.173 % |
53.00/53.12	c |    138740 |    8096    69372   230627 | 2147483647    81963     18 |  0.173 % |
53.20/53.34	c |    139460 |    8096    69372   230627 | 2147483647    82683     18 |  0.173 % |
53.50/53.65	c |    140252 |    8096    69372   230627 | 2147483647    83475     18 |  0.173 % |
53.80/53.93	c |    141125 |    8096    69372   230627 | 2147483647    84348     18 |  0.173 % |
54.30/54.41	c |    142085 |    8096    69372   230627 | 2147483647    85308     18 |  0.173 % |
54.70/54.85	c |    143138 |    8096    69372   230627 | 2147483647    86361     18 |  0.173 % |
55.20/55.30	c |    144297 |    8096    69372   230627 | 2147483647    87520     18 |  0.173 % |
55.70/55.86	c |    145571 |    8096    69372   230627 | 2147483647    88794     18 |  0.173 % |
56.30/56.43	c |    146971 |    8096    69372   230627 | 2147483647    90194     18 |  0.173 % |
57.00/57.16	c |    148511 |    8096    69372   230627 | 2147483647    91734     18 |  0.173 % |
57.10/57.22	c |    148613 |    8096    69372   230627 | 2147483647    91836     18 |  0.173 % |
57.10/57.27	c |    148723 |    8096    69372   230627 | 2147483647    91946     18 |  0.173 % |
57.20/57.32	c |    148845 |    8096    69372   230627 | 2147483647    92068     18 |  0.173 % |
57.20/57.37	c |    148978 |    8096    69372   230627 | 2147483647    92201     18 |  0.173 % |
57.30/57.43	c |    149127 |    8096    69372   230627 | 2147483647    92350     18 |  0.173 % |
57.40/57.52	c |    149288 |    8096    69372   230627 | 2147483647    92511     18 |  0.173 % |
57.50/57.60	c |    149466 |    8096    69372   230627 | 2147483647    92689     18 |  0.173 % |
57.50/57.68	c |    149660 |    8096    69372   230627 | 2147483647    92883     18 |  0.173 % |
57.60/57.79	c |    149872 |    8096    69372   230627 | 2147483647    93095     18 |  0.173 % |
57.80/57.92	c |    150106 |    8096    69372   230627 | 2147483647    93329     18 |  0.173 % |
57.80/57.99	c |    150362 |    8096    69372   230627 | 2147483647    93585     18 |  0.173 % |
57.90/58.05	c |    150644 |    8096    69372   230627 | 2147483647    93867     18 |  0.173 % |
58.00/58.11	c |    150953 |    8096    69372   230627 | 2147483647    94176     18 |  0.173 % |
58.00/58.20	c |    151292 |    8096    69372   230627 | 2147483647    94515     18 |  0.173 % |
58.20/58.36	c |    151665 |    8096    69372   230627 | 2147483647    94888     18 |  0.173 % |
58.39/58.51	c |    152074 |    8096    69372   230627 | 2147483647    95297     19 |  0.173 % |
58.59/58.75	c |    152523 |    8096    69372   230627 | 2147483647    95746     19 |  0.173 % |
58.79/58.98	c |    153016 |    8096    69372   230627 | 2147483647    96239     19 |  0.173 % |
59.09/59.25	c |    153558 |    8096    69372   230627 | 2147483647    96781     19 |  0.173 % |
59.40/59.57	c |    154156 |    8096    69372   230627 | 2147483647    97379     19 |  0.173 % |
59.79/59.90	c |    154811 |    8096    69372   230627 | 2147483647    98034     19 |  0.173 % |
60.10/60.27	c |    155531 |    8096    69372   230627 | 2147483647    98754     19 |  0.173 % |
60.50/60.65	c |    156325 |    8096    69372   230627 | 2147483647    99548     19 |  0.173 % |
60.90/61.07	c |    157196 |    8096    69372   230627 | 2147483647   100419     19 |  0.173 % |
61.50/61.61	c |    158154 |    8096    69372   230627 | 2147483647   101377     19 |  0.173 % |
62.10/62.23	c |    159207 |    8096    69372   230627 | 2147483647   102430     19 |  0.173 % |
62.60/62.76	c |    160365 |    8096    69372   230627 | 2147483647   103588     19 |  0.173 % |
63.10/63.24	c |    161639 |    8096    69372   230627 | 2147483647   104862     19 |  0.173 % |
63.80/63.96	c |    163039 |    8096    69372   230627 | 2147483647   106262     19 |  0.173 % |
64.30/64.47	c |    164581 |    8096    69372   230627 | 2147483647   107804     19 |  0.173 % |
65.50/65.68	c |    166277 |    8096    69372   230627 | 2147483647   109500     19 |  0.173 % |
65.60/65.73	c |    166377 |    8096    69372   230627 | 2147483647   109600     19 |  0.173 % |
65.60/65.78	c |    166489 |    8096    69372   230627 | 2147483647   109712     19 |  0.173 % |
65.70/65.86	c |    166610 |    8096    69372   230627 | 2147483647   109833     19 |  0.173 % |
65.80/65.91	c |    166744 |    8096    69372   230627 | 2147483647   109967     19 |  0.173 % |
65.80/65.99	c |    166893 |    8096    69372   230627 | 2147483647   110116     19 |  0.173 % |
65.90/66.08	c |    167053 |    8096    69372   230627 | 2147483647   110276     19 |  0.173 % |
66.00/66.18	c |    167230 |    8096    69372   230627 | 2147483647   110453     19 |  0.173 % |
66.10/66.27	c |    167423 |    8096    69372   230627 | 2147483647   110646     19 |  0.173 % |
66.20/66.37	c |    167639 |    8096    69372   230627 | 2147483647   110862     19 |  0.173 % |
66.29/66.49	c |    167873 |    8096    69372   230627 | 2147483647   111096     19 |  0.173 % |
66.49/66.67	c |    168131 |    8096    69372   230627 | 2147483647   111354     19 |  0.173 % |
66.69/66.87	c |    168412 |    8096    69372   230627 | 2147483647   111635     19 |  0.173 % |
66.89/67.04	c |    168722 |    8096    69372   230627 | 2147483647   111945     19 |  0.173 % |
67.00/67.17	c |    169061 |    8096    69372   230627 | 2147483647   112284     19 |  0.173 % |
67.29/67.41	c |    169433 |    8096    69372   230627 | 2147483647   112656     19 |  0.173 % |
67.49/67.64	c |    169842 |    8096    69372   230627 | 2147483647   113065     19 |  0.173 % |
67.69/67.84	c |    170291 |    8096    69372   230627 | 2147483647   113514     19 |  0.173 % |
67.99/68.14	c |    170784 |    8096    69372   230627 | 2147483647   114007     19 |  0.173 % |
68.19/68.39	c |    171326 |    8096    69372   230627 | 2147483647   114549     19 |  0.173 % |
68.69/68.81	c |    171923 |    8096    69372   230627 | 2147483647   115146     19 |  0.173 % |
69.09/69.28	c |    172579 |    8096    69372   230627 | 2147483647   115802     19 |  0.173 % |
69.49/69.62	c |    173299 |    8096    69372   230627 | 2147483647   116522     19 |  0.173 % |
69.79/69.98	c |    174093 |    8096    69372   230627 | 2147483647   117316     19 |  0.173 % |
70.39/70.54	c |    174964 |    8096    69372   230627 | 2147483647   118187     19 |  0.173 % |
70.89/71.08	c |    175923 |    8096    69372   230627 | 2147483647   119146     19 |  0.173 % |
71.79/71.91	c |    176977 |    8096    69372   230627 | 2147483647   120200     19 |  0.173 % |
72.49/72.66	c |    178136 |    8096    69372   230627 | 2147483647   121359     19 |  0.173 % |
72.98/73.19	c |    179409 |    8096    69372   230627 | 2147483647   122632     19 |  0.173 % |
75.08/75.29	c |    180809 |    8096    69372   230627 |   123225   108901     19 |  0.173 % |
75.98/76.12	c |    182349 |    8096    69372   230627 |   123225   110441     19 |  0.173 % |
77.08/77.23	c |    184044 |    8096    69372   230627 |   123225   112136     19 |  0.173 % |
78.18/78.35	c |    185907 |    8096    69372   230627 |   123225   113999     19 |  0.173 % |
78.28/78.43	c |    186008 |    8096    69372   230627 |   123225   114100     19 |  0.173 % |
78.39/78.51	c |    186118 |    8096    69372   230627 |   123225   114210     19 |  0.173 % |
78.39/78.57	c |    186239 |    8096    69372   230627 |   123225   114331     19 |  0.173 % |
78.49/78.62	c |    186375 |    8096    69372   230627 |   123225   114467     19 |  0.173 % |
78.59/78.73	c |    186522 |    8096    69372   230627 |   123225   114614     19 |  0.173 % |
78.69/78.82	c |    186683 |    8096    69372   230627 |   123225   114775     19 |  0.173 % |
78.79/78.92	c |    186859 |    8096    69372   230627 |   123225   114951     19 |  0.173 % |
78.89/79.03	c |    187052 |    8096    69372   230627 |   123225   115144     19 |  0.173 % |
78.99/79.14	c |    187265 |    8096    69372   230627 |   123225   115357     19 |  0.173 % |
79.09/79.26	c |    187498 |    8096    69372   230627 |   123225   115590     19 |  0.173 % |
79.19/79.36	c |    187756 |    8096    69372   230627 |   123225   115848     19 |  0.173 % |
79.29/79.46	c |    188037 |    8096    69372   230627 |   123225   116129     19 |  0.173 % |
81.29/81.40	c |    188346 |    8094    69090   229510 |   123225    82710     20 |  0.197 % |
81.48/81.66	c |    188685 |    8094    69090   229510 |   123225    83049     20 |  0.197 % |
81.69/81.84	c |    189058 |    8094    69090   229510 |   123225    83422     20 |  0.197 % |
81.99/82.13	c |    189467 |    8094    69090   229510 |   123225    83831     20 |  0.197 % |
82.29/82.42	c |    189917 |    8094    69090   229510 |   123225    84281     20 |  0.197 % |
82.68/82.84	c |    190414 |    8094    69090   229510 |    84364    75259     20 |  0.197 % |
82.98/83.12	c |    190958 |    8094    69090   229510 |    84364    75803     20 |  0.197 % |
83.38/83.52	c |    191555 |    8094    69090   229510 |    84364    76400     20 |  0.197 % |
83.68/83.83	c |    192211 |    8094    69090   229510 |    84364    77056     20 |  0.197 % |
84.18/84.32	c |    192931 |    8094    69090   229510 |    84364    77776     20 |  0.197 % |
84.58/84.71	c |    193727 |    8094    69090   229510 |    84364    78572     20 |  0.197 % |
85.08/85.23	c |    194598 |    8094    69090   229510 |    84364    79443     20 |  0.197 % |
85.68/85.86	c |    195556 |    8094    69090   229510 |    84364    80401     20 |  0.197 % |
86.38/86.59	c |    196609 |    8094    69090   229510 |    84364    81454     20 |  0.197 % |
87.08/87.29	c |    197768 |    8094    69090   229510 |    84364    82613     20 |  0.197 % |
87.98/88.18	c |    199046 |    8094    69090   229510 |    84364    83891     20 |  0.197 % |
88.98/89.20	c |    200449 |    8094    69090   229510 | 2147483647    76834     20 |  0.197 % |
89.88/90.09	c |    201989 |    8094    69090   229510 | 2147483647    78374     20 |  0.197 % |
90.88/91.05	c |    203683 |    8094    69090   229510 | 2147483647    80068     20 |  0.197 % |
91.98/92.16	c |    205546 |    8094    69090   229510 | 2147483647    81931     20 |  0.197 % |
93.18/93.37	c |    207596 |    8094    69090   229510 | 2147483647    83981     20 |  0.197 % |
93.28/93.44	c |    207696 |    8094    69090   229510 | 2147483647    84081     20 |  0.197 % |
93.38/93.52	c |    207808 |    8094    69090   229510 | 2147483647    84193     20 |  0.197 % |
93.48/93.63	c |    207933 |    8094    69090   229510 | 2147483647    84318     20 |  0.197 % |
93.57/93.74	c |    208067 |    8094    69090   229510 | 2147483647    84452     20 |  0.197 % |
93.67/93.86	c |    208213 |    8094    69090   229510 | 2147483647    84598     20 |  0.197 % |
93.87/94.02	c |    208374 |    8094    69090   229510 | 2147483647    84759     20 |  0.197 % |
93.97/94.18	c |    208550 |    8094    69090   229510 | 2147483647    84935     20 |  0.197 % |
94.17/94.34	c |    208744 |    8094    69090   229510 | 2147483647    85129     20 |  0.197 % |
94.27/94.47	c |    208956 |    8094    69090   229510 | 2147483647    85341     20 |  0.197 % |
94.48/94.63	c |    209189 |    8094    69090   229510 | 2147483647    85574     20 |  0.197 % |
94.67/94.83	c |    209447 |    8094    69090   229510 | 2147483647    85832     20 |  0.197 % |
94.87/95.01	c |    209728 |    8094    69090   229510 | 2147483647    86113     20 |  0.197 % |
95.07/95.24	c |    210038 |    8094    69090   229510 | 2147483647    86423     20 |  0.197 % |
95.27/95.44	c |    210377 |    8094    69090   229510 | 2147483647    86762     20 |  0.197 % |
95.47/95.60	c |    210750 |    8094    69090   229510 | 2147483647    87135     20 |  0.197 % |
95.77/95.96	c |    211159 |    8094    69090   229510 | 2147483647    87544     20 |  0.197 % |
96.07/96.29	c |    211609 |    8094    69090   229510 | 2147483647    87994     20 |  0.197 % |
96.47/96.64	c |    212104 |    8094    69090   229510 | 2147483647    88489     20 |  0.197 % |
96.78/96.98	c |    212646 |    8094    69090   229510 | 2147483647    89031     20 |  0.197 % |
97.27/97.45	c |    213242 |    8094    69090   229510 | 2147483647    89627     20 |  0.197 % |
97.67/97.85	c |    213899 |    8094    69090   229510 | 2147483647    90284     20 |  0.197 % |
98.27/98.41	c |    214619 |    8094    69090   229510 | 2147483647    91004     20 |  0.197 % |
98.67/98.86	c |    215411 |    8094    69090   229510 | 2147483647    91796     20 |  0.197 % |
99.17/99.33	c |    216285 |    8094    69090   229510 | 2147483647    92670     20 |  0.197 % |
99.97/100.20	c |    217243 |    8094    69090   229510 | 2147483647    93628     20 |  0.197 % |
100.57/100.73	c |    218297 |    8094    69090   229510 | 2147483647    94682     20 |  0.197 % |
101.37/101.52	c |    219455 |    8094    69090   229510 | 2147483647    95840     20 |  0.197 % |
102.17/102.35	c |    220728 |    8094    69090   229510 |    96385    86388     20 |  0.197 % |
103.17/103.38	c |    222129 |    8094    69090   229510 |    96385    87789     20 |  0.197 % |
104.07/104.28	c |    223670 |    8094    69090   229510 |    96385    89330     20 |  0.197 % |
105.27/105.41	c |    225364 |    8094    69090   229510 |    96385    91024     20 |  0.197 % |
106.27/106.45	c |    227229 |    8094    69090   229510 |    96385    92889     20 |  0.197 % |
107.47/107.63	c |    229280 |    8094    69090   229510 |    96385    94940     20 |  0.197 % |
109.07/109.22	c |    231533 |    8094    69090   229510 |    95660    87567     20 |  0.197 % |
109.07/109.27	c |    231633 |    8094    69090   229510 |    95660    87667     20 |  0.197 % |
109.17/109.36	c |    231744 |    8094    69090   229510 |    95660    87778     20 |  0.197 % |
109.27/109.45	c |    231865 |    8094    69090   229510 |    95660    87899     20 |  0.197 % |
109.36/109.54	c |    231999 |    8094    69090   229510 |    95660    88033     20 |  0.197 % |
109.46/109.64	c |    232146 |    8094    69090   229510 |    95660    88180     20 |  0.197 % |
109.56/109.73	c |    232306 |    8094    69090   229510 |    95660    88340     20 |  0.197 % |
109.66/109.86	c |    232482 |    8094    69090   229510 |    95660    88516     20 |  0.197 % |
109.87/110.01	c |    232676 |    8094    69090   229510 |    95660    88710     20 |  0.197 % |
109.97/110.15	c |    232888 |    8094    69090   229510 |    95660    88922     20 |  0.197 % |
110.16/110.34	c |    233121 |    8094    69090   229510 |    95660    89155     20 |  0.197 % |
110.26/110.47	c |    233380 |    8094    69090   229510 |    95660    89414     20 |  0.197 % |
110.46/110.67	c |    233663 |    8094    69090   229510 |    95660    89697     20 |  0.197 % |
110.66/110.88	c |    233972 |    8094    69090   229510 |    95660    90006     20 |  0.197 % |
110.86/111.09	c |    234312 |    8094    69090   229510 |    95660    90346     20 |  0.197 % |
111.16/111.35	c |    234684 |    8094    69090   229510 |    95660    90718     20 |  0.197 % |
111.46/111.60	c |    235093 |    8094    69090   229510 |    95660    91127     20 |  0.197 % |
111.76/111.99	c |    235542 |    8094    69090   229510 |    95660    91576     20 |  0.197 % |
112.26/112.42	c |    236037 |    8094    69090   229510 |    95660    92071     20 |  0.197 % |
112.66/112.86	c |    236579 |    8094    69090   229510 |    95660    92613     20 |  0.197 % |
113.06/113.28	c |    237175 |    8094    69090   229510 |    95660    93209     20 |  0.197 % |
113.56/113.73	c |    237831 |    8094    69090   229510 |    95660    93865     20 |  0.197 % |
114.06/114.27	c |    238551 |    8094    69090   229510 |    95660    94585     20 |  0.197 % |
114.66/114.84	c |    239346 |    8094    69090   229510 |    95660    95380     20 |  0.197 % |
115.37/115.58	c |    240220 |    8094    69090   229510 |    96036    96254     20 |  0.197 % |
116.26/116.44	c |    241179 |    8094    69090   229510 |    96036    84478     20 |  0.197 % |
116.76/116.95	c |    242233 |    8094    69090   229510 |    96036    85532     20 |  0.197 % |
117.57/117.78	c |    243391 |    8094    69090   229510 |    96036    86690     20 |  0.197 % |
118.36/118.56	c |    244664 |    8094    69090   229510 |    96036    87963     20 |  0.197 % |
119.46/119.62	c |    246064 |    8094    69090   229510 |    96036    89363     20 |  0.197 % |
120.66/120.81	c |    247604 |    8094    69090   229510 |    96036    90903     20 |  0.197 % |
122.16/122.36	c |    249300 |    8094    69090   229510 |    96036    92599     20 |  0.197 % |
123.26/123.49	c |    251163 |    8094    69090   229510 |    93300    83952     20 |  0.197 % |
124.76/124.94	c |    253213 |    8094    69090   229510 |    93300    86002     20 |  0.197 % |
126.46/126.63	c |    255466 |    8094    69090   229510 |    93300    88255     20 |  0.197 % |
128.35/128.54	c |    257944 |    8094    69090   229510 |    93300    90733     20 |  0.197 % |
128.45/128.63	c |    258047 |    8094    69090   229510 |    93300    90836     20 |  0.197 % |
128.55/128.73	c |    258157 |    8094    69090   229510 |    93300    90946     20 |  0.197 % |
128.65/128.82	c |    258278 |    8094    69090   229510 |    93300    91067     20 |  0.197 % |
128.74/128.92	c |    258411 |    8094    69090   229510 |    93300    91200     20 |  0.197 % |
128.84/129.02	c |    258558 |    8094    69090   229510 |    93300    91347     20 |  0.197 % |
128.94/129.13	c |    258718 |    8094    69090   229510 |    93300    91507     20 |  0.197 % |
129.04/129.22	c |    258895 |    8094    69090   229510 |    93300    91684     20 |  0.197 % |
129.14/129.38	c |    259090 |    8094    69090   229510 |    93300    91879     20 |  0.197 % |
129.34/129.51	c |    259305 |    8094    69090   229510 |    93300    92094     20 |  0.197 % |
129.44/129.65	c |    259539 |    8094    69090   229510 |    93300    92328     20 |  0.197 % |
129.65/129.90	c |    259796 |    8094    69090   229510 |    93300    92585     20 |  0.197 % |
129.84/130.06	c |    260080 |    8094    69090   229510 |    92790    92869     20 |  0.197 % |
130.24/130.40	c |    260390 |    8094    69090   229510 |    92790    82465     20 |  0.197 % |
130.44/130.67	c |    260730 |    8094    69090   229510 |    92790    82805     20 |  0.197 % |
130.64/130.90	c |    261103 |    8094    69090   229510 |    92790    83178     20 |  0.197 % |
131.04/131.21	c |    261513 |    8094    69090   229510 |    92790    83588     20 |  0.197 % |
131.34/131.55	c |    261962 |    8094    69090   229510 |    92790    84037     20 |  0.197 % |
131.74/131.96	c |    262455 |    8094    69090   229510 |    92790    84530     20 |  0.197 % |
132.04/132.24	c |    263000 |    8094    69090   229510 |    92790    85075     20 |  0.197 % |
132.54/132.72	c |    263596 |    8094    69090   229510 |    92790    85671     20 |  0.197 % |
133.14/133.33	c |    264251 |    8094    69090   229510 |    92790    86326     20 |  0.197 % |
133.64/133.84	c |    264973 |    8094    69090   229510 |    92790    87048     20 |  0.197 % |
134.24/134.45	c |    265765 |    8094    69090   229510 |    92790    87840     20 |  0.197 % |
134.84/135.03	c |    266636 |    8094    69090   229510 |    92790    88711     20 |  0.197 % |
135.64/135.81	c |    267594 |    8094    69090   229510 |    92790    89669     20 |  0.197 % |
136.44/136.63	c |    268649 |    8094    69090   229510 |    92790    90724     20 |  0.197 % |
137.24/137.43	c |    269807 |    8094    69090   229510 |    92790    91882     20 |  0.197 % |
138.34/138.59	c |    271081 |    8094    69090   229510 |    92076    81269     20 |  0.197 % |
139.44/139.62	c |    272481 |    8094    69090   229510 |    92076    82669     20 |  0.197 % |
140.54/140.73	c |    274022 |    8094    69090   229510 |    92076    84210     20 |  0.197 % |
141.54/141.71	c |    275717 |    8094    69090   229510 |    92076    85905     20 |  0.197 % |
142.94/143.12	c |    277581 |    8094    69090   229510 |    92076    87769     20 |  0.197 % |
144.44/144.69	c |    279630 |    8094    69090   229510 |    92076    89818     20 |  0.197 % |
145.74/145.93	c |    281883 |    8094    69090   229510 |    90190    82049     20 |  0.197 % |
147.34/147.59	c |    284361 |    8094    69090   229510 |    90190    84527     20 |  0.197 % |
149.44/149.66	c |    287088 |    8094    69090   229510 |    90190    87254     20 |  0.197 % |
149.54/149.76	c |    287188 |    8094    69090   229510 |    90190    87354     20 |  0.197 % |
149.64/149.82	c |    287298 |    8094    69090   229510 |    90190    87464     20 |  0.197 % |
149.74/149.97	c |    287419 |    8094    69090   229510 |    90190    87585     20 |  0.197 % |
149.84/150.09	c |    287553 |    8094    69090   229510 |    90190    87719     20 |  0.197 % |
150.04/150.25	c |    287700 |    8094    69090   229510 |    90190    87866     20 |  0.197 % |
150.24/150.41	c |    287860 |    8094    69090   229510 |    90190    88026     20 |  0.197 % |
150.34/150.53	c |    288037 |    8094    69090   229510 |    90190    88203     20 |  0.197 % |
150.43/150.69	c |    288234 |    8094    69090   229510 |    90190    88400     20 |  0.197 % |
150.64/150.86	c |    288448 |    8094    69090   229510 |    90190    88614     20 |  0.197 % |
150.83/151.05	c |    288685 |    8094    69090   229510 |    90190    88851     20 |  0.197 % |
151.04/151.20	c |    288941 |    8094    69090   229510 |    90190    89107     20 |  0.197 % |
151.23/151.48	c |    289224 |    8094    69090   229510 |    90190    89390     20 |  0.197 % |
151.53/151.80	c |    289534 |    8094    69090   229510 |    90190    89700     20 |  0.197 % |
151.83/152.07	c |    289873 |    8094    69090   229510 |    90190    90039     20 |  0.197 % |
152.13/152.32	c |    290245 |    8094    69090   229510 |    90166    90411     20 |  0.197 % |
152.53/152.75	c |    290654 |    8094    69090   229510 |    90166    81779     20 |  0.197 % |
152.93/153.10	c |    291103 |    8094    69090   229510 |    90166    82228     20 |  0.197 % |
153.23/153.46	c |    291596 |    8094    69090   229510 |    90166    82721     20 |  0.197 % |
153.73/153.93	c |    292139 |    8094    69090   229510 |    90166    83264     20 |  0.197 % |
154.13/154.32	c |    292736 |    8094    69090   229510 |    90166    83861     20 |  0.197 % |
154.43/154.68	c |    293391 |    8094    69090   229510 |    90166    84516     20 |  0.197 % |
154.83/155.09	c |    294111 |    8094    69090   229510 |    90166    85236     20 |  0.197 % |
155.43/155.62	c |    294903 |    8094    69090   229510 |    90166    86028     20 |  0.197 % |
156.03/156.26	c |    295776 |    8094    69090   229510 |    90166    86901     20 |  0.197 % |
156.63/156.86	c |    296734 |    8094    69090   229510 |    90166    87859     20 |  0.197 % |
157.53/157.71	c |    297787 |    8094    69090   229510 |    90166    88912     20 |  0.197 % |
158.03/158.27	c |    298948 |    8094    69090   229510 |    90166    90073     20 |  0.197 % |
159.23/159.44	c |    300221 |    8094    69090   229510 | 2147483647    82292     20 |  0.197 % |
160.13/160.37	c |    301621 |    8094    69090   229510 | 2147483647    83692     20 |  0.197 % |
161.33/161.51	c |    303161 |    8094    69090   229510 | 2147483647    85232     20 |  0.197 % |
162.53/162.78	c |    304856 |    8094    69090   229510 | 2147483647    86927     20 |  0.197 % |
164.02/164.26	c |    306719 |    8094    69090   229510 | 2147483647    88790     20 |  0.197 % |
165.22/165.48	c |    308769 |    8094    69090   229510 | 2147483647    90840     20 |  0.197 % |
167.03/167.22	c |    311025 |    8094    69090   229510 | 2147483647    93096     20 |  0.197 % |
169.42/169.61	c |    313503 |    8094    69090   229510 | 2147483647    95574     20 |  0.197 % |
172.22/172.45	c |    316230 |    8094    69090   229510 | 2147483647    98301     20 |  0.197 % |
174.72/174.96	c |    319227 |    8094    69090   229510 | 2147483647   101298     20 |  0.197 % |
174.82/175.03	c |    319331 |    8094    69090   229510 | 2147483647   101402     20 |  0.197 % |
174.91/175.14	c |    319441 |    8094    69090   229510 | 2147483647   101512     20 |  0.197 % |
175.11/175.30	c |    319562 |    8094    69090   229510 | 2147483647   101633     20 |  0.197 % |
175.21/175.43	c |    319695 |    8094    69090   229510 | 2147483647   101766     20 |  0.197 % |
175.31/175.56	c |    319842 |    8094    69090   229510 | 2147483647   101913     20 |  0.197 % |
175.51/175.75	c |    320002 |    8094    69090   229510 | 2147483647   102073     20 |  0.197 % |
175.82/176.09	c |    320178 |    8094    69090   229510 |   102073    88016     20 |  0.197 % |
176.01/176.23	c |    320375 |    8094    69090   229510 |   102073    88213     20 |  0.197 % |
176.21/176.42	c |    320588 |    8094    69090   229510 |   102073    88426     20 |  0.197 % |
176.41/176.67	c |    320821 |    8094    69090   229510 |   102073    88659     20 |  0.197 % |
176.71/176.92	c |    321077 |    8094    69090   229510 |   102073    88915     20 |  0.197 % |
176.81/177.09	c |    321358 |    8094    69090   229510 |   102073    89196     20 |  0.197 % |
177.11/177.39	c |    321669 |    8094    69090   229510 |   102073    89507     20 |  0.197 % |
177.41/177.66	c |    322011 |    8094    69090   229510 |   102073    89849     20 |  0.197 % |
177.71/177.99	c |    322386 |    8094    69090   229510 |   102073    90224     20 |  0.197 % |
178.11/178.34	c |    322797 |    8094    69090   229510 |   102073    90635     20 |  0.197 % |
178.41/178.66	c |    323246 |    8094    69090   229510 |   102073    91084     20 |  0.197 % |
178.81/179.00	c |    323739 |    8094    69090   229510 |   102073    91577     20 |  0.197 % |
179.11/179.40	c |    324281 |    8094    69090   229510 |   102073    92119     20 |  0.197 % |
179.71/179.91	c |    324880 |    8094    69090   229510 |   102073    92718     20 |  0.197 % |
180.21/180.44	c |    325537 |    8094    69090   229510 |   102073    93375     20 |  0.197 % |
180.81/181.05	c |    326258 |    8094    69090   229510 |   102073    94096     20 |  0.197 % |
181.21/181.48	c |    327051 |    8094    69090   229510 |   102073    94889     20 |  0.197 % |
182.01/182.24	c |    327922 |    8094    69090   229510 |   102073    95760     20 |  0.197 % |
182.61/182.88	c |    328880 |    8094    69090   229510 |   102073    96718     20 |  0.197 % |
183.31/183.59	c |    329937 |    8094    69090   229510 |   102073    97775     20 |  0.197 % |
184.31/184.56	c |    331097 |    8094    69090   229510 |    97838    85684     20 |  0.197 % |
185.21/185.48	c |    332372 |    8094    69090   229510 |    97838    86959     20 |  0.197 % |
186.41/186.60	c |    333773 |    8094    69090   229510 |    97838    88360     20 |  0.197 % |
187.41/187.63	c |    335314 |    8094    69090   229510 |    97838    89901     20 |  0.197 % |
188.71/188.91	c |    337010 |    8094    69090   229510 |    97838    91597     20 |  0.197 % |
190.51/190.72	c |    338873 |    8094    69090   229510 |    97838    93460     20 |  0.197 % |
192.20/192.47	c |    340923 |    8094    69090   229510 |    94589    84119     20 |  0.197 % |
194.01/194.28	c |    343176 |    8094    69090   229510 |    94589    86372     20 |  0.197 % |
196.20/196.41	c |    345656 |    8094    69090   229510 |    94589    88852     20 |  0.197 % |
197.91/198.17	c |    348382 |    8094    69090   229510 |    94589    91578     20 |  0.197 % |
200.20/200.46	c |    351379 |    8094    69090   229510 | 2147483647    94575     20 |  0.197 % |
202.50/202.75	c |    354675 |    8094    69090   229510 | 2147483647    97871     20 |  0.197 % |
202.61/202.84	c |    354775 |    8094    69090   229510 | 2147483647    97971     20 |  0.197 % |
202.71/202.92	c |    354886 |    8094    69090   229510 | 2147483647    98082     20 |  0.197 % |
202.81/203.02	c |    355007 |    8094    69090   229510 | 2147483647    98203     20 |  0.197 % |
202.91/203.15	c |    355142 |    8094    69090   229510 | 2147483647    98338     20 |  0.197 % |
203.01/203.25	c |    355288 |    8094    69090   229510 | 2147483647    98484     20 |  0.197 % |
203.11/203.35	c |    355448 |    8094    69090   229510 | 2147483647    98644     20 |  0.197 % |
203.31/203.55	c |    355624 |    8094    69090   229510 | 2147483647    98820     20 |  0.197 % |
203.51/203.74	c |    355817 |    8094    69090   229510 | 2147483647    99013     20 |  0.197 % |
203.71/203.90	c |    356029 |    8094    69090   229510 | 2147483647    99225     20 |  0.197 % |
203.91/204.12	c |    356262 |    8094    69090   229510 | 2147483647    99458     20 |  0.197 % |
204.11/204.35	c |    356519 |    8094    69090   229510 | 2147483647    99715     20 |  0.197 % |
204.41/204.67	c |    356800 |    8094    69090   229510 | 2147483647    99996     20 |  0.197 % |
204.71/204.98	c |    357110 |    8094    69090   229510 | 2147483647   100306     20 |  0.197 % |
205.00/205.25	c |    357449 |    8094    69090   229510 | 2147483647   100645     20 |  0.197 % |
205.30/205.50	c |    357821 |    8094    69090   229510 | 2147483647   101017     20 |  0.197 % |
205.61/205.89	c |    358230 |    8094    69090   229510 | 2147483647   101426     20 |  0.197 % |
206.00/206.27	c |    358680 |    8094    69090   229510 | 2147483647   101876     21 |  0.197 % |
206.40/206.66	c |    359173 |    8094    69090   229510 | 2147483647   102369     21 |  0.197 % |
206.90/207.10	c |    359715 |    8094    69090   229510 | 2147483647   102911     21 |  0.197 % |
207.60/207.82	c |    360312 |    8094    69090   229510 |   103196    89204     20 |  0.197 % |
208.10/208.38	c |    360967 |    8094    69090   229510 |   103196    89859     20 |  0.197 % |
208.70/208.92	c |    361687 |    8094    69090   229510 |   103196    90579     20 |  0.197 % |
209.30/209.58	c |    362479 |    8094    69090   229510 |   103196    91371     20 |  0.197 % |
210.10/210.31	c |    363351 |    8094    69090   229510 |   103196    92243     20 |  0.197 % |
210.90/211.16	c |    364310 |    8094    69090   229510 |   103196    93202     20 |  0.197 % |
211.90/212.18	c |    365366 |    8094    69090   229510 |   103196    94258     20 |  0.197 % |
213.10/213.32	c |    366524 |    8094    69090   229510 |   103196    95416     20 |  0.197 % |
214.20/214.40	c |    367801 |    8094    69090   229510 |   103196    96693     20 |  0.197 % |
215.40/215.70	c |    369201 |    8094    69090   229510 |   103196    98093     20 |  0.197 % |
217.00/217.28	c |    370744 |    8094    69090   229510 |    98893    84056     20 |  0.197 % |
217.99/218.26	c |    372438 |    8094    69090   229510 |    98893    85750     20 |  0.197 % |
219.09/219.38	c |    374301 |    8094    69090   229510 |    98893    87613     20 |  0.197 % |
220.39/220.65	c |    376350 |    8094    69090   229510 |    98893    89662     20 |  0.197 % |
221.89/222.18	c |    378604 |    8094    69090   229510 |    98893    91916     20 |  0.197 % |
223.79/224.07	c |    381084 |    8094    69090   229510 | 2147483647    94396     20 |  0.197 % |
226.49/226.79	c |    383809 |    8094    69090   229510 | 2147483647    97121     20 |  0.197 % |
229.59/229.88	c |    386810 |    8094    69090   229510 | 2147483647   100122     20 |  0.197 % |
232.89/233.15	c |    390108 |    8094    69090   229510 |   103313   103420     20 |  0.197 % |
235.99/236.26	c |    393735 |    8094    69090   229510 |   103313    92682     20 |  0.197 % |
236.09/236.36	c |    393836 |    8094    69090   229510 |   103313    92783     20 |  0.197 % |
236.19/236.50	c |    393948 |    8094    69090   229510 |   103313    92895     20 |  0.197 % |
236.39/236.63	c |    394069 |    8094    69090   229510 |   103313    93016     20 |  0.197 % |
236.49/236.77	c |    394202 |    8094    69090   229510 |   103313    93149     20 |  0.197 % |
236.69/236.91	c |    394348 |    8094    69090   229510 |   103313    93295     20 |  0.197 % |
236.79/237.07	c |    394510 |    8094    69090   229510 |   103313    93457     20 |  0.197 % |
236.99/237.26	c |    394686 |    8094    69090   229510 |   103313    93633     20 |  0.197 % |
237.19/237.48	c |    394879 |    8094    69090   229510 |   103313    93826     20 |  0.197 % |
237.39/237.64	c |    395092 |    8094    69090   229510 |   103313    94039     20 |  0.197 % |
237.69/237.90	c |    395326 |    8094    69090   229510 |   103313    94273     20 |  0.197 % |
237.89/238.19	c |    395582 |    8094    69090   229510 |   103313    94529     20 |  0.197 % |
238.18/238.43	c |    395865 |    8094    69090   229510 |   103313    94812     20 |  0.197 % |
238.49/238.75	c |    396175 |    8094    69090   229510 |   103313    95122     20 |  0.197 % |
238.68/238.95	c |    396515 |    8094    69090   229510 |   103313    95462     20 |  0.197 % |
239.18/239.43	c |    396887 |    8094    69090   229510 |   103313    95834     20 |  0.197 % |
239.48/239.76	c |    397296 |    8094    69090   229510 |   103313    96243     20 |  0.197 % |
239.88/240.12	c |    397745 |    8094    69090   229510 |   103313    96692     20 |  0.197 % |
240.18/240.47	c |    398238 |    8094    69090   229510 |   103313    97185     20 |  0.197 % |
240.79/241.06	c |    398781 |    8094    69090   229510 |   103313    97728     20 |  0.197 % |
241.28/241.54	c |    399377 |    8094    69090   229510 |   103313    98324     20 |  0.197 % |
241.89/242.17	c |    400032 |    8094    69090   229510 |    98950    98979     20 |  0.197 % |
242.78/243.08	c |    400752 |    8094    69090   229510 |    98950    85216     20 |  0.197 % |
243.48/243.74	c |    401546 |    8094    69090   229510 |    98950    86010     20 |  0.197 % |
244.18/244.42	c |    402417 |    8094    69090   229510 |    98950    86881     20 |  0.197 % |
244.78/245.04	c |    403375 |    8094    69090   229510 |    98950    87839     20 |  0.197 % |
245.58/245.82	c |    404428 |    8093    69087   229504 |    98950    88889     20 |  0.210 % |
246.58/246.88	c |    405587 |    8093    69087   229504 |    98950    90048     20 |  0.210 % |
247.78/248.02	c |    406862 |    8093    69087   229504 |    98950    91323     20 |  0.210 % |
249.18/249.46	c |    408262 |    8093    69087   229504 |    98950    92723     20 |  0.210 % |
250.48/250.78	c |    409806 |    8093    69087   229504 |    98950    94267     20 |  0.210 % |
251.98/252.24	c |    411501 |    8093    69087   229504 |    94462    83361     19 |  0.210 % |
253.38/253.70	c |    413364 |    8093    69087   229504 |    94462    85224     19 |  0.210 % |
255.38/255.65	c |    415414 |    8093    69087   229504 |    94462    87274     19 |  0.210 % |
256.88/257.18	c |    417668 |    8093    69087   229504 |    94462    89528     19 |  0.210 % |
258.48/258.71	c |    420148 |    8093    69087   229504 |    91860    92008     19 |  0.210 % |
260.08/260.38	c |    422874 |    8093    69087   229504 |    91860    83013     19 |  0.210 % |
263.07/263.31	c |    425874 |    8093    69087   229504 |    91860    86013     19 |  0.210 % |
265.27/265.54	c |    429172 |    8093    69087   229504 |    91860    89311     20 |  0.210 % |
268.17/268.47	c |    432799 |    8093    69087   229504 |    90140    83116     19 |  0.210 % |
271.17/271.42	c |    436787 |    8093    69087   229504 |    90140    87104     19 |  0.210 % |
271.27/271.50	c |    436890 |    8093    69087   229504 |    90140    87207     19 |  0.210 % |
271.37/271.60	c |    437000 |    8093    69087   229504 |    90140    87317     19 |  0.210 % |
271.47/271.71	c |    437122 |    8093    69087   229504 |    90140    87439     19 |  0.210 % |
271.47/271.77	c |    437255 |    8093    69087   229504 |    90140    87572     19 |  0.210 % |
271.67/271.92	c |    437401 |    8093    69087   229504 |    90140    87718     19 |  0.210 % |
271.77/272.06	c |    437561 |    8093    69087   229504 |    90140    87878     19 |  0.210 % |
271.97/272.30	c |    437737 |    8093    69087   229504 |    90140    88054     19 |  0.210 % |
272.17/272.45	c |    437930 |    8093    69087   229504 |    90140    88247     19 |  0.210 % |
272.27/272.54	c |    438143 |    8093    69087   229504 |    90140    88460     19 |  0.210 % |
272.57/272.84	c |    438376 |    8093    69087   229504 |    90140    88693     19 |  0.210 % |
272.77/273.05	c |    438633 |    8093    69087   229504 |    90140    88950     19 |  0.210 % |
272.97/273.27	c |    438919 |    8093    69087   229504 |    90140    89236     19 |  0.210 % |
273.27/273.54	c |    439228 |    8093    69087   229504 |    90140    89545     19 |  0.210 % |
273.57/273.81	c |    439568 |    8093    69087   229504 |    90140    89885     19 |  0.210 % |
273.97/274.29	c |    439940 |    8093    69087   229504 |    90140    90257     19 |  0.210 % |
274.47/274.72	c |    440350 |    8093    69087   229504 |    80684    72933     19 |  0.210 % |
274.57/274.82	c |    440800 |    8093    69087   229504 |    80684    73383     19 |  0.210 % |
274.87/275.11	c |    441294 |    8093    69087   229504 |    80684    73877     19 |  0.210 % |
275.17/275.49	c |    441837 |    8093    69087   229504 |    80684    74420     19 |  0.210 % |
275.67/275.98	c |    442433 |    8093    69087   229504 |    80684    75016     19 |  0.210 % |
276.27/276.58	c |    443089 |    8093    69087   229504 |    80684    75672     19 |  0.210 % |
276.87/277.13	c |    443810 |    8093    69087   229504 |    80684    76393     19 |  0.210 % |
277.37/277.66	c |    444602 |    8093    69087   229504 |    80684    77185     19 |  0.210 % |
278.07/278.40	c |    445473 |    8093    69087   229504 |    80684    78056     19 |  0.210 % |
278.56/278.87	c |    446432 |    8093    69087   229504 |    80684    79015     19 |  0.210 % |
279.36/279.62	c |    447485 |    8093    69087   229504 |    80684    80068     19 |  0.210 % |
280.16/280.50	c |    448643 |    8093    69087   229504 |    80684    73136     19 |  0.210 % |
281.16/281.49	c |    449916 |    8093    69087   229504 |    80684    74409     19 |  0.210 % |
282.26/282.57	c |    451316 |    8093    69087   229504 | 2147483647    75809     19 |  0.210 % |
283.36/283.67	c |    452857 |    8093    69087   229504 | 2147483647    77350     19 |  0.210 % |
284.56/284.86	c |    454551 |    8093    69087   229504 | 2147483647    79044     19 |  0.210 % |
285.96/286.26	c |    456414 |    8093    69087   229504 | 2147483647    80907     19 |  0.210 % |
287.16/287.50	c |    458464 |    8093    69087   229504 | 2147483647    82957     19 |  0.210 % |
289.26/289.52	c |    460717 |    8093    69087   229504 | 2147483647    85210     19 |  0.210 % |
291.16/291.42	c |    463196 |    8093    69087   229504 | 2147483647    87689     19 |  0.210 % |
293.06/293.33	c |    465925 |    8093    69087   229504 | 2147483647    90418     20 |  0.210 % |
295.46/295.79	c |    468922 |    8093    69087   229504 | 2147483647    93415     20 |  0.210 % |
298.65/298.97	c |    472221 |    8093    69087   229504 | 2147483647    96714     20 |  0.210 % |
301.65/301.99	c |    475846 |    8093    69087   229504 | 2147483647   100339     20 |  0.210 % |
305.35/305.67	c |    479833 |    8093    69087   229504 | 2147483647   104326     20 |  0.210 % |
309.54/309.87	c |    484218 |    8093    69087   229504 |   104493    95946     20 |  0.210 % |
309.64/309.99	c |    484320 |    8093    69087   229504 |   104493    96048     20 |  0.210 % |
309.84/310.13	c |    484431 |    8093    69087   229504 |   104493    96159     20 |  0.210 % |
309.94/310.24	c |    484552 |    8093    69087   229504 |   104493    96280     20 |  0.210 % |
310.14/310.42	c |    484686 |    8093    69087   229504 |   104493    96414     20 |  0.210 % |
310.24/310.54	c |    484832 |    8093    69087   229504 |   104493    96560     20 |  0.210 % |
310.44/310.70	c |    484995 |    8093    69087   229504 |   104493    96723     20 |  0.210 % |
310.54/310.85	c |    485173 |    8093    69087   229504 |   104493    96901     20 |  0.210 % |
310.84/311.12	c |    485366 |    8093    69087   229504 |   104493    97094     20 |  0.210 % |
311.04/311.40	c |    485578 |    8093    69087   229504 |   104493    97306     20 |  0.210 % |
311.24/311.56	c |    485811 |    8093    69087   229504 |   104493    97539     20 |  0.210 % |
311.54/311.81	c |    486070 |    8093    69087   229504 |   104493    97798     20 |  0.210 % |
311.84/312.19	c |    486351 |    8093    69087   229504 |   104493    98079     20 |  0.210 % |
312.14/312.50	c |    486661 |    8093    69087   229504 |   104493    98389     20 |  0.210 % |
312.44/312.79	c |    487002 |    8093    69087   229504 |   104493    98730     20 |  0.210 % |
312.84/313.15	c |    487376 |    8093    69087   229504 |   104493    99104     20 |  0.210 % |
313.14/313.50	c |    487787 |    8093    69087   229504 |   104493    99515     20 |  0.210 % |
313.74/314.03	c |    488236 |    8093    69087   229504 |   104493    99964     20 |  0.210 % |
314.14/314.49	c |    488729 |    8093    69087   229504 |   104493   100457     20 |  0.210 % |
314.74/315.05	c |    489271 |    8093    69087   229504 |   104493   100999     20 |  0.210 % |
315.24/315.57	c |    489868 |    8093    69087   229504 |   104493   101596     20 |  0.210 % |
316.04/316.32	c |    490523 |    8093    69087   229504 |   101732    88987     19 |  0.210 % |
316.64/316.95	c |    491243 |    8093    69087   229504 |   101732    89707     19 |  0.210 % |
317.74/318.06	c |    492036 |    8093    69087   229504 |   101732    90500     19 |  0.210 % |
318.44/318.71	c |    492908 |    8093    69087   229504 |   101732    91372     19 |  0.210 % |
319.04/319.31	c |    493867 |    8093    69087   229504 |   101732    92331     20 |  0.210 % |
319.94/320.29	c |    494920 |    8093    69087   229504 |   101732    93384     20 |  0.210 % |
321.33/321.63	c |    496078 |    8093    69087   229504 |   101732    94542     20 |  0.210 % |
322.63/322.94	c |    497353 |    8093    69087   229504 |   101732    95817     20 |  0.210 % |
323.93/324.28	c |    498753 |    8093    69087   229504 |   101732    97217     20 |  0.210 % |
325.73/326.08	c |    500294 |    8093    69087   229504 |    98464    84058     19 |  0.210 % |
326.93/327.29	c |    501994 |    8093    69087   229504 |    98464    85758     19 |  0.210 % |
328.43/328.71	c |    503858 |    8093    69087   229504 |    98464    87622     19 |  0.210 % |
329.93/330.21	c |    505909 |    8093    69087   229504 |    98464    89673     19 |  0.210 % |
331.93/332.25	c |    508162 |    8093    69087   229504 |    98464    91926     19 |  0.210 % |
334.13/334.41	c |    510641 |    8093    69087   229504 |    93766    83411     19 |  0.210 % |
336.23/336.54	c |    513367 |    8093    69087   229504 |    93766    86137     19 |  0.210 % |
338.82/339.13	c |    516364 |    8093    69087   229504 |    93766    89134     20 |  0.210 % |
342.52/342.82	c |    519661 |    8093    69087   229504 |    93766    92431     20 |  0.210 % |
345.32/345.60	c |    523286 |    8093    69087   229504 |    92770    84357     19 |  0.210 % |
348.82/349.12	c |    527273 |    8093    69087   229504 |    92770    88344     19 |  0.210 % |
353.71/354.10	c |    531659 |    8093    69087   229504 |    91072    81630     19 |  0.210 % |
357.51/357.86	c |    536482 |    8093    69087   229504 |    91072    86453     19 |  0.210 % |
357.61/357.93	c |    536582 |    8093    69087   229504 |    91072    86553     19 |  0.210 % |
357.71/358.08	c |    536692 |    8093    69087   229504 |    91072    86663     19 |  0.210 % |
357.91/358.20	c |    536813 |    8093    69087   229504 |    91072    86784     19 |  0.210 % |
358.01/358.31	c |    536946 |    8093    69087   229504 |    91072    86917     19 |  0.210 % |
358.11/358.46	c |    537093 |    8093    69087   229504 |    91072    87064     19 |  0.210 % |
358.21/358.59	c |    537253 |    8093    69087   229504 |    91072    87224     19 |  0.210 % |
358.42/358.77	c |    537429 |    8093    69087   229504 |    91072    87400     19 |  0.210 % |
358.61/358.92	c |    537622 |    8093    69087   229504 |    91072    87593     19 |  0.210 % |
358.81/359.13	c |    537837 |    8093    69087   229504 |    91072    87808     19 |  0.210 % |
359.01/359.34	c |    538070 |    8093    69087   229504 |    91072    88041     19 |  0.210 % |
359.21/359.58	c |    538326 |    8093    69087   229504 |    91072    88297     19 |  0.210 % |
359.61/359.91	c |    538607 |    8093    69087   229504 |    91072    88578     19 |  0.210 % |
359.81/360.19	c |    538917 |    8093    69087   229504 |    91072    88888     19 |  0.210 % |
360.11/360.47	c |    539256 |    8093    69087   229504 |    91072    89227     19 |  0.210 % |
360.31/360.63	c |    539628 |    8093    69087   229504 |    91072    89599     19 |  0.210 % |
360.61/360.99	c |    540037 |    8093    69087   229504 |    89971    90008     19 |  0.210 % |
361.21/361.56	c |    540486 |    8093    69087   229504 |    89971    80557     19 |  0.210 % |
361.51/361.86	c |    540981 |    8093    69087   229504 |    89971    81052     19 |  0.210 % |
361.91/362.22	c |    541524 |    8093    69087   229504 |    89971    81595     19 |  0.210 % |
362.51/362.90	c |    542121 |    8093    69087   229504 |    89971    82192     19 |  0.210 % |
363.01/363.38	c |    542778 |    8093    69087   229504 |    89971    82849     19 |  0.210 % |
363.91/364.21	c |    543499 |    8093    69087   229504 |    89971    83570     19 |  0.210 % |
364.71/365.00	c |    544295 |    8093    69087   229504 |    89971    84366     19 |  0.210 % |
365.31/365.70	c |    545166 |    8093    69087   229504 |    89971    85237     19 |  0.210 % |
366.11/366.41	c |    546125 |    8093    69087   229504 |    89971    86196     19 |  0.210 % |
367.01/367.36	c |    547178 |    8093    69087   229504 |    89971    87249     19 |  0.210 % |
367.81/368.15	c |    548337 |    8093    69087   229504 |    89971    88408     19 |  0.210 % |
368.81/369.16	c |    549610 |    8093    69087   229504 |    89971    89681     19 |  0.210 % |
370.11/370.50	c |    551011 |    8093    69087   229504 |    90073    82049     19 |  0.210 % |
371.61/371.92	c |    552553 |    8093    69087   229504 |    90073    83591     19 |  0.210 % |
372.72/373.07	c |    554248 |    8093    69087   229504 |    90073    85286     19 |  0.210 % |
374.02/374.37	c |    556111 |    8093    69087   229504 |    90073    87149     19 |  0.210 % |
375.92/376.27	c |    558160 |    8093    69087   229504 |    90073    89198     19 |  0.210 % |
378.41/378.74	c |    560413 |    8093    69087   229504 |    80778    72103     18 |  0.210 % |
380.42/380.75	c |    562892 |    8093    69087   229504 |    80778    74582     18 |  0.210 % |
382.52/382.82	c |    565618 |    8093    69087   229504 |    80778    77308     19 |  0.210 % |
384.61/384.90	c |    568618 |    8093    69087   229504 |    80778    80308     19 |  0.210 % |
386.91/387.24	c |    571914 |    8093    69087   229504 | 2147483647    75466     19 |  0.210 % |
389.51/389.89	c |    575539 |    8093    69087   229504 | 2147483647    79091     19 |  0.210 % |
393.31/393.69	c |    579528 |    8093    69087   229504 | 2147483647    83080     19 |  0.210 % |
396.81/397.18	c |    583913 |    8093    69087   229504 | 2147483647    87465     19 |  0.210 % |
401.10/401.48	c |    588736 |    8093    69087   229504 | 2147483647    92288     19 |  0.210 % |
406.70/407.05	c |    594042 |    8093    69087   229504 | 2147483647    97594     20 |  0.210 % |
406.90/407.20	c |    594142 |    8093    69087   229504 | 2147483647    97694     20 |  0.210 % |
407.00/407.30	c |    594252 |    8093    69087   229504 | 2147483647    97804     20 |  0.210 % |
407.10/407.46	c |    594374 |    8093    69087   229504 | 2147483647    97926     20 |  0.210 % |
407.30/407.64	c |    594510 |    8093    69087   229504 | 2147483647    98062     20 |  0.210 % |
407.50/407.82	c |    594656 |    8093    69087   229504 | 2147483647    98208     20 |  0.210 % |
407.70/408.06	c |    594818 |    8093    69087   229504 | 2147483647    98370     20 |  0.210 % |
408.00/408.32	c |    594994 |    8093    69087   229504 | 2147483647    98546     20 |  0.210 % |
408.20/408.52	c |    595188 |    8093    69087   229504 | 2147483647    98740     20 |  0.210 % |
408.40/408.74	c |    595400 |    8093    69087   229504 | 2147483647    98952     20 |  0.210 % |
408.60/408.98	c |    595634 |    8093    69087   229504 | 2147483647    99186     20 |  0.210 % |
408.90/409.24	c |    595891 |    8093    69087   229504 | 2147483647    99443     20 |  0.210 % |
409.10/409.48	c |    596172 |    8093    69087   229504 | 2147483647    99724     20 |  0.210 % |
409.50/409.81	c |    596482 |    8093    69087   229504 | 2147483647   100034     20 |  0.210 % |
409.80/410.13	c |    596821 |    8093    69087   229504 | 2147483647   100373     20 |  0.210 % |
410.10/410.42	c |    597193 |    8093    69087   229504 | 2147483647   100745     20 |  0.210 % |
410.50/410.82	c |    597602 |    8093    69087   229504 | 2147483647   101154     20 |  0.210 % |
411.00/411.39	c |    598052 |    8093    69087   229504 | 2147483647   101604     20 |  0.210 % |
411.70/412.06	c |    598547 |    8093    69087   229504 | 2147483647   102099     20 |  0.210 % |
412.20/412.57	c |    599089 |    8093    69087   229504 | 2147483647   102641     20 |  0.210 % |
412.80/413.14	c |    599685 |    8093    69087   229504 | 2147483647   103237     20 |  0.210 % |
413.30/413.68	c |    600340 |    8093    69087   229504 |   103553   103892     20 |  0.210 % |
414.40/414.75	c |    601060 |    8093    69087   229504 |   103553    89965     19 |  0.210 % |
415.19/415.51	c |    601854 |    8093    69087   229504 |   103553    90759     19 |  0.210 % |
415.89/416.25	c |    602725 |    8093    69087   229504 |   103553    91630     19 |  0.210 % |
416.89/417.24	c |    603684 |    8093    69087   229504 |   103553    92589     19 |  0.210 % |
417.80/418.18	c |    604740 |    8093    69087   229504 |   103553    93645     19 |  0.210 % |
418.69/419.00	c |    605898 |    8093    69087   229504 |   103553    94803     19 |  0.210 % |
420.09/420.42	c |    607172 |    8093    69087   229504 |   103553    96077     19 |  0.210 % |
421.19/421.55	c |    608573 |    8093    69087   229504 |   103553    97478     20 |  0.210 % |
422.79/423.18	c |    610114 |    8093    69087   229504 |    98905    99019     20 |  0.210 % |
424.79/425.14	c |    611808 |    8093    69087   229504 |    98905    87066     19 |  0.210 % |
426.69/427.00	c |    613671 |    8093    69087   229504 |    98905    88929     19 |  0.210 % |
428.49/428.82	c |    615720 |    8093    69087   229504 |    98905    90978     19 |  0.210 % |
430.39/430.77	c |    617974 |    8093    69087   229504 |    98905    93232     19 |  0.210 % |
432.49/432.84	c |    620453 |    8093    69087   229504 |    95259    84916     19 |  0.210 % |
434.59/434.97	c |    623179 |    8093    69087   229504 |    95259    87642     19 |  0.210 % |
436.58/437.00	c |    626179 |    8093    69087   229504 |    95259    90642     19 |  0.210 % |
439.08/439.46	c |    629475 |    8093    69087   229504 |    95259    93938     19 |  0.210 % |
442.18/442.52	c |    633102 |    8093    69087   229504 |    94464    88073     19 |  0.210 % |
445.48/445.84	c |    637091 |    8093    69087   229504 |    94464    92062     19 |  0.210 % |
449.98/450.35	c |    641477 |    8093    69087   229504 |    84696    77090     18 |  0.210 % |
453.47/453.84	c |    646301 |    8093    69087   229504 |    84696    81914     18 |  0.210 % |
458.07/458.40	c |    651606 |    8093    69087   229504 | 2147483647    78722     18 |  0.210 % |
462.78/463.16	c |    657441 |    8093    69087   229504 | 2147483647    84557     18 |  0.210 % |
462.88/463.29	c |    657541 |    8093    69087   229504 | 2147483647    84657     18 |  0.210 % |
462.97/463.37	c |    657651 |    8093    69087   229504 | 2147483647    84767     18 |  0.210 % |
463.07/463.48	c |    657772 |    8093    69087   229504 | 2147483647    84888     18 |  0.210 % |
463.17/463.56	c |    657906 |    8093    69087   229504 | 2147483647    85022     18 |  0.210 % |
463.27/463.66	c |    658052 |    8093    69087   229504 | 2147483647    85168     18 |  0.210 % |
463.47/463.83	c |    658212 |    8093    69087   229504 | 2147483647    85328     18 |  0.210 % |
463.57/463.95	c |    658388 |    8093    69087   229504 | 2147483647    85504     18 |  0.210 % |
463.77/464.11	c |    658583 |    8093    69087   229504 | 2147483647    85699     18 |  0.210 % |
463.97/464.37	c |    658795 |    8093    69087   229504 | 2147483647    85911     18 |  0.210 % |
464.27/464.65	c |    659028 |    8093    69087   229504 | 2147483647    86144     18 |  0.210 % |
464.47/464.88	c |    659285 |    8093    69087   229504 | 2147483647    86401     18 |  0.210 % |
464.77/465.13	c |    659567 |    8093    69087   229504 | 2147483647    86683     18 |  0.210 % |
464.97/465.38	c |    659877 |    8093    69087   229504 | 2147483647    86993     18 |  0.210 % |
465.37/465.77	c |    660219 |    8093    69087   229504 | 2147483647    87335     18 |  0.210 % |
465.77/466.11	c |    660592 |    8093    69087   229504 | 2147483647    87708     18 |  0.210 % |
466.17/466.53	c |    661002 |    8093    69087   229504 | 2147483647    88118     18 |  0.210 % |
466.47/466.89	c |    661451 |    8093    69087   229504 | 2147483647    88567     18 |  0.210 % |
466.87/467.20	c |    661948 |    8093    69087   229504 | 2147483647    89064     19 |  0.210 % |
467.37/467.70	c |    662491 |    8093    69087   229504 | 2147483647    89607     19 |  0.210 % |
467.87/468.26	c |    663088 |    8093    69087   229504 | 2147483647    90204     19 |  0.210 % |
468.77/469.10	c |    663743 |    8093    69087   229504 | 2147483647    90859     19 |  0.210 % |
469.37/469.77	c |    664464 |    8093    69087   229504 | 2147483647    91580     19 |  0.210 % |
469.97/470.38	c |    665258 |    8093    69087   229504 | 2147483647    92374     19 |  0.210 % |
471.17/471.51	c |    666130 |    8093    69087   229504 | 2147483647    93246     19 |  0.210 % |
472.27/472.60	c |    667088 |    8093    69087   229504 | 2147483647    94204     19 |  0.210 % |
473.06/473.46	c |    668141 |    8093    69087   229504 | 2147483647    95257     19 |  0.210 % |
474.06/474.42	c |    669299 |    8093    69087   229504 | 2147483647    96415     19 |  0.210 % |
475.06/475.47	c |    670572 |    8093    69087   229504 |    97118    85736     18 |  0.210 % |
476.16/476.51	c |    671974 |    8093    69087   229504 |    97118    87138     18 |  0.210 % |
477.36/477.76	c |    673514 |    8093    69087   229504 |    97118    88678     18 |  0.210 % |
479.06/479.42	c |    675212 |    8093    69087   229504 |    97118    90376     18 |  0.210 % |
480.56/480.99	c |    677075 |    8093    69087   229504 |    97118    92239     18 |  0.210 % |
482.76/483.10	c |    679124 |    8093    69087   229504 |    97118    94288     18 |  0.210 % |
485.16/485.53	c |    681377 |    8093    69087   229504 |    95164    86042     18 |  0.210 % |
487.06/487.48	c |    683856 |    8093    69087   229504 |    95164    88521     18 |  0.210 % |
489.45/489.86	c |    686582 |    8093    69087   229504 |    95164    91247     18 |  0.210 % |
490.55/490.94	c |    689579 |    8089    68667   227149 |    95164    28417     12 |  0.296 % |
490.95/491.36	c ===============================================================================
490.95/491.36	c restarts              : 1029
490.95/491.36	c conflicts             : 691455         (1412 /sec)
490.95/491.36	c decisions             : 1001272        (1.81 % random) (2044 /sec)
490.95/491.36	c propagations          : 161603153      (329951 /sec)
490.95/491.36	c conflict literals     : 15107520       (36.47 % deleted)
490.95/491.36	c Memory used           : 21.60 MB
490.95/491.36	c CPU time              : 489.78 s
490.95/491.36	c 
490.95/491.36	s UNSATISFIABLE
490.95/491.37	s UNSATISFIABLE

Verifier Data

No possible verification on an UNSAT instance

Watcher Data

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833811-1242825296/watcher-1833811-1242825296 -o /tmp/evaluation-result-1833811-1242825296/solver-1833811-1242825296 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833811-1242825296.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.15 1.03 1.01 3/65 10228
/proc/meminfo: memFree=1758152/2055924 swapFree=4157864/4192956
[pid=10228] ppid=10226 vsize=5356 CPUtime=0
/proc/10228/stat : 10228 (SatELiteGTI) S 10226 10228 10050 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310558987 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 230266994770 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/10228/statm: 1339 235 195 169 0 50 0
[pid=10229] ppid=10228 vsize=5356 CPUtime=0
/proc/10229/stat : 10229 (SatELiteGTI) S 10228 10228 10050 0 -1 4194368 51 25 0 0 0 0 0 0 19 0 1 0 310558987 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/10229/statm: 1339 238 198 169 0 50 0
[pid=10231] ppid=10229 vsize=192 CPUtime=0
/proc/10231/stat : 10231 (sed) R 10229 10228 10050 0 -1 4194304 42 0 0 0 0 0 0 0 22 0 1 0 310558987 196608 23 1992294400 4194304 4240196 548682069056 18446744073709551615 230264206729 0 0 4096 0 0 0 0 17 0 0 0
/proc/10231/statm: 48 23 16 11 0 11 0

[startup+0.104761 s]
/proc/loadavg: 1.15 1.03 1.01 3/65 10228
/proc/meminfo: memFree=1758152/2055924 swapFree=4157864/4192956
[pid=10228] ppid=10226 vsize=5356 CPUtime=0
/proc/10228/stat : 10228 (SatELiteGTI) S 10226 10228 10050 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310558987 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10228/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.201768 s]
/proc/loadavg: 1.15 1.03 1.01 3/65 10228
/proc/meminfo: memFree=1758152/2055924 swapFree=4157864/4192956
[pid=10228] ppid=10226 vsize=5356 CPUtime=0
/proc/10228/stat : 10228 (SatELiteGTI) S 10226 10228 10050 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310558987 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10228/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301779 s]
/proc/loadavg: 1.15 1.03 1.01 3/65 10228
/proc/meminfo: memFree=1758152/2055924 swapFree=4157864/4192956
[pid=10228] ppid=10226 vsize=5356 CPUtime=0
/proc/10228/stat : 10228 (SatELiteGTI) S 10226 10228 10050 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310558987 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10228/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701822 s]
/proc/loadavg: 1.15 1.03 1.01 3/65 10228
/proc/meminfo: memFree=1758152/2055924 swapFree=4157864/4192956
[pid=10228] ppid=10226 vsize=5356 CPUtime=0
/proc/10228/stat : 10228 (SatELiteGTI) S 10226 10228 10050 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310558987 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10228/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.5019 s]
/proc/loadavg: 1.15 1.03 1.01 2/67 10233
/proc/meminfo: memFree=1737528/2055924 swapFree=4157864/4192956
[pid=10228] ppid=10226 vsize=5356 CPUtime=1.17
/proc/10228/stat : 10228 (SatELiteGTI) S 10226 10228 10050 0 -1 4194304 336 5727 0 0 0 0 112 5 16 0 1 0 310558987 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10228/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 5356

[startup+3.10107 s]
/proc/loadavg: 1.15 1.03 1.01 2/67 10234
/proc/meminfo: memFree=1748792/2055924 swapFree=4157864/4192956
[pid=10228] ppid=10226 vsize=5356 CPUtime=1.17
/proc/10228/stat : 10228 (SatELiteGTI) S 10226 10228 10050 0 -1 4194304 336 5727 0 0 0 0 112 5 16 0 1 0 310558987 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10228/statm: 1339 239 197 169 0 50 0
[pid=10234] ppid=10228 vsize=7476 CPUtime=1.89
/proc/10234/stat : 10234 (minisat_static) R 10228 10228 10050 0 -1 4194304 1729 0 0 0 189 0 0 0 25 0 1 0 310559105 7655424 1715 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/10234/statm: 1869 1715 76 171 0 1696 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 12832

[startup+6.30239 s]
/proc/loadavg: 1.21 1.05 1.02 2/67 10234
/proc/meminfo: memFree=1747000/2055924 swapFree=4157864/4192956
[pid=10228] ppid=10226 vsize=5356 CPUtime=1.17
/proc/10228/stat : 10228 (SatELiteGTI) S 10226 10228 10050 0 -1 4194304 336 5727 0 0 0 0 112 5 16 0 1 0 310558987 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10228/statm: 1339 239 197 169 0 50 0
[pid=10234] ppid=10228 vsize=8972 CPUtime=5.09
/proc/10234/stat : 10234 (minisat_static) R 10228 10228 10050 0 -1 4194304 2101 0 0 0 508 1 0 0 25 0 1 0 310559105 9187328 2087 1992294400 134512640 135215339 4294956240 18446744073709551615 134528899 0 0 4096 3 0 0 0 17 0 0 0
/proc/10234/statm: 2243 2087 76 171 0 2070 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 14328

[startup+12.7011 s]
/proc/loadavg: 1.28 1.06 1.02 2/67 10234
/proc/meminfo: memFree=1744056/2055924 swapFree=4157864/4192956
[pid=10228] ppid=10226 vsize=5356 CPUtime=1.17
/proc/10228/stat : 10228 (SatELiteGTI) S 10226 10228 10050 0 -1 4194304 336 5727 0 0 0 0 112 5 16 0 1 0 310558987 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10228/statm: 1339 239 197 169 0 50 0
[pid=10234] ppid=10228 vsize=11564 CPUtime=11.48
/proc/10234/stat : 10234 (minisat_static) R 10228 10228 10050 0 -1 4194304 2748 0 0 0 1146 2 0 0 25 0 1 0 310559105 11841536 2734 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10234/statm: 2891 2734 76 171 0 2718 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 16920

[startup+25.5014 s]
/proc/loadavg: 1.22 1.06 1.02 2/67 10234
/proc/meminfo: memFree=1740984/2055924 swapFree=4157864/4192956
[pid=10228] ppid=10226 vsize=5356 CPUtime=1.17
/proc/10228/stat : 10228 (SatELiteGTI) S 10226 10228 10050 0 -1 4194304 336 5727 0 0 0 0 112 5 16 0 1 0 310558987 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10228/statm: 1339 239 197 169 0 50 0
[pid=10234] ppid=10228 vsize=14636 CPUtime=24.26
/proc/10234/stat : 10234 (minisat_static) R 10228 10228 10050 0 -1 4194304 3513 0 0 0 2424 2 0 0 25 0 1 0 310559105 14987264 3499 1992294400 134512640 135215339 4294956240 18446744073709551615 134528711 0 0 4096 3 0 0 0 17 0 0 0
/proc/10234/statm: 3659 3499 76 171 0 3486 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 19992

[startup+51.1011 s]
/proc/loadavg: 1.14 1.05 1.02 2/67 10234
/proc/meminfo: memFree=1740152/2055924 swapFree=4157864/4192956
[pid=10228] ppid=10226 vsize=5356 CPUtime=1.17
/proc/10228/stat : 10228 (SatELiteGTI) S 10226 10228 10050 0 -1 4194304 336 5727 0 0 0 0 112 5 16 0 1 0 310558987 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10228/statm: 1339 239 197 169 0 50 0
[pid=10234] ppid=10228 vsize=15684 CPUtime=49.83
/proc/10234/stat : 10234 (minisat_static) R 10228 10228 10050 0 -1 4194304 3750 0 0 0 4980 3 0 0 25 0 1 0 310559105 16060416 3736 1992294400 134512640 135215339 4294956240 18446744073709551615 134528700 0 0 4096 3 0 0 0 17 0 0 0
/proc/10234/statm: 3921 3736 76 171 0 3748 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 21040

[startup+102.301 s]
/proc/loadavg: 1.06 1.04 1.01 2/67 10234
/proc/meminfo: memFree=1735352/2055924 swapFree=4157864/4192956
[pid=10228] ppid=10226 vsize=5356 CPUtime=1.17
/proc/10228/stat : 10228 (SatELiteGTI) S 10226 10228 10050 0 -1 4194304 336 5727 0 0 0 0 112 5 16 0 1 0 310558987 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10228/statm: 1339 239 197 169 0 50 0
[pid=10234] ppid=10228 vsize=20520 CPUtime=101
/proc/10234/stat : 10234 (minisat_static) R 10228 10228 10050 0 -1 4194304 4919 0 0 0 10095 5 0 0 25 0 1 0 310559105 21012480 4905 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/10234/statm: 5130 4905 76 171 0 4957 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 25876

[startup+162.302 s]
/proc/loadavg: 1.02 1.03 1.01 2/67 10234
/proc/meminfo: memFree=1734840/2055924 swapFree=4157864/4192956
[pid=10228] ppid=10226 vsize=5356 CPUtime=1.17
/proc/10228/stat : 10228 (SatELiteGTI) S 10226 10228 10050 0 -1 4194304 336 5727 0 0 0 0 112 5 16 0 1 0 310558987 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10228/statm: 1339 239 197 169 0 50 0
[pid=10234] ppid=10228 vsize=20984 CPUtime=160.96
/proc/10234/stat : 10234 (minisat_static) R 10228 10228 10050 0 -1 4194304 5027 0 0 0 16091 5 0 0 25 0 1 0 310559105 21487616 5013 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10234/statm: 5246 5013 76 171 0 5073 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 26340

[startup+222.306 s]
/proc/loadavg: 1.01 1.02 1.00 2/67 10234
/proc/meminfo: memFree=1734584/2055924 swapFree=4157864/4192956
[pid=10228] ppid=10226 vsize=5356 CPUtime=1.17
/proc/10228/stat : 10228 (SatELiteGTI) S 10226 10228 10050 0 -1 4194304 336 5727 0 0 0 0 112 5 16 0 1 0 310558987 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10228/statm: 1339 239 197 169 0 50 0
[pid=10234] ppid=10228 vsize=21128 CPUtime=220.93
/proc/10234/stat : 10234 (minisat_static) R 10228 10228 10050 0 -1 4194304 5082 0 0 0 22087 6 0 0 25 0 1 0 310559105 21635072 5068 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/10234/statm: 5282 5068 76 171 0 5109 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 26484

[startup+282.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/67 10234
/proc/meminfo: memFree=1734200/2055924 swapFree=4157864/4192956
[pid=10228] ppid=10226 vsize=5356 CPUtime=1.17
/proc/10228/stat : 10228 (SatELiteGTI) S 10226 10228 10050 0 -1 4194304 336 5727 0 0 0 0 112 5 16 0 1 0 310558987 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10228/statm: 1339 239 197 169 0 50 0
[pid=10234] ppid=10228 vsize=21576 CPUtime=280.89
/proc/10234/stat : 10234 (minisat_static) R 10228 10228 10050 0 -1 4194304 5164 0 0 0 28083 6 0 0 25 0 1 0 310559105 22093824 5150 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/10234/statm: 5394 5150 76 171 0 5221 0
Current children cumulated CPU time (s) 282.06
Current children cumulated vsize (KiB) 26932

[startup+342.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 10234
/proc/meminfo: memFree=1733944/2055924 swapFree=4157864/4192956
[pid=10228] ppid=10226 vsize=5356 CPUtime=1.17
/proc/10228/stat : 10228 (SatELiteGTI) S 10226 10228 10050 0 -1 4194304 336 5727 0 0 0 0 112 5 16 0 1 0 310558987 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10228/statm: 1339 239 197 169 0 50 0
[pid=10234] ppid=10228 vsize=21720 CPUtime=340.85
/proc/10234/stat : 10234 (minisat_static) R 10228 10228 10050 0 -1 4194304 5224 0 0 0 34079 6 0 0 25 0 1 0 310559105 22241280 5210 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/10234/statm: 5430 5210 76 171 0 5257 0
Current children cumulated CPU time (s) 342.02
Current children cumulated vsize (KiB) 27076

[startup+402.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 10234
/proc/meminfo: memFree=1733816/2055924 swapFree=4157864/4192956
[pid=10228] ppid=10226 vsize=5356 CPUtime=1.17
/proc/10228/stat : 10228 (SatELiteGTI) S 10226 10228 10050 0 -1 4194304 336 5727 0 0 0 0 112 5 16 0 1 0 310558987 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10228/statm: 1339 239 197 169 0 50 0
[pid=10234] ppid=10228 vsize=21884 CPUtime=400.83
/proc/10234/stat : 10234 (minisat_static) R 10228 10228 10050 0 -1 4194304 5236 0 0 0 40076 7 0 0 25 0 1 0 310559105 22409216 5222 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10234/statm: 5471 5222 76 171 0 5298 0
Current children cumulated CPU time (s) 402
Current children cumulated vsize (KiB) 27240

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10234
/proc/meminfo: memFree=1733624/2055924 swapFree=4157864/4192956
[pid=10228] ppid=10226 vsize=5356 CPUtime=1.17
/proc/10228/stat : 10228 (SatELiteGTI) S 10226 10228 10050 0 -1 4194304 336 5727 0 0 0 0 112 5 16 0 1 0 310558987 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10228/statm: 1339 239 197 169 0 50 0
[pid=10234] ppid=10228 vsize=22112 CPUtime=460.8
/proc/10234/stat : 10234 (minisat_static) R 10228 10228 10050 0 -1 4194304 5294 0 0 0 46073 7 0 0 25 0 1 0 310559105 22642688 5280 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/10234/statm: 5528 5280 76 171 0 5355 0
Current children cumulated CPU time (s) 461.97
Current children cumulated vsize (KiB) 27468

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

[startup+473.601 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10234
/proc/meminfo: memFree=1733624/2055924 swapFree=4157864/4192956
[pid=10228] ppid=10226 vsize=5356 CPUtime=1.17
/proc/10228/stat : 10228 (SatELiteGTI) S 10226 10228 10050 0 -1 4194304 336 5727 0 0 0 0 112 5 16 0 1 0 310558987 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10228/statm: 1339 239 197 169 0 50 0
[pid=10234] ppid=10228 vsize=22112 CPUtime=472.09
/proc/10234/stat : 10234 (minisat_static) R 10228 10228 10050 0 -1 4194304 5294 0 0 0 47202 7 0 0 25 0 1 0 310559105 22642688 5280 1992294400 134512640 135215339 4294956240 18446744073709551615 134528884 0 0 4096 3 0 0 0 17 0 0 0
/proc/10234/statm: 5528 5280 76 171 0 5355 0
Current children cumulated CPU time (s) 473.26
Current children cumulated vsize (KiB) 27468

[startup+480.002 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10234
/proc/meminfo: memFree=1733560/2055924 swapFree=4157864/4192956
[pid=10228] ppid=10226 vsize=5356 CPUtime=1.17
/proc/10228/stat : 10228 (SatELiteGTI) S 10226 10228 10050 0 -1 4194304 336 5727 0 0 0 0 112 5 16 0 1 0 310558987 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10228/statm: 1339 239 197 169 0 50 0
[pid=10234] ppid=10228 vsize=22112 CPUtime=478.49
/proc/10234/stat : 10234 (minisat_static) R 10228 10228 10050 0 -1 4194304 5294 0 0 0 47842 7 0 0 25 0 1 0 310559105 22642688 5280 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10234/statm: 5528 5280 76 171 0 5355 0
Current children cumulated CPU time (s) 479.66
Current children cumulated vsize (KiB) 27468

[startup+486.401 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10234
/proc/meminfo: memFree=1733560/2055924 swapFree=4157864/4192956
[pid=10228] ppid=10226 vsize=5356 CPUtime=1.17
/proc/10228/stat : 10228 (SatELiteGTI) S 10226 10228 10050 0 -1 4194304 336 5727 0 0 0 0 112 5 16 0 1 0 310558987 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10228/statm: 1339 239 197 169 0 50 0
[pid=10234] ppid=10228 vsize=22112 CPUtime=484.89
/proc/10234/stat : 10234 (minisat_static) R 10228 10228 10050 0 -1 4194304 5294 0 0 0 48482 7 0 0 25 0 1 0 310559105 22642688 5280 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10234/statm: 5528 5280 76 171 0 5355 0
Current children cumulated CPU time (s) 486.06
Current children cumulated vsize (KiB) 27468

[startup+489.606 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10234
/proc/meminfo: memFree=1733560/2055924 swapFree=4157864/4192956
[pid=10228] ppid=10226 vsize=5356 CPUtime=1.17
/proc/10228/stat : 10228 (SatELiteGTI) S 10226 10228 10050 0 -1 4194304 336 5727 0 0 0 0 112 5 16 0 1 0 310558987 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10228/statm: 1339 239 197 169 0 50 0
[pid=10234] ppid=10228 vsize=22112 CPUtime=488.09
/proc/10234/stat : 10234 (minisat_static) R 10228 10228 10050 0 -1 4194304 5294 0 0 0 48802 7 0 0 25 0 1 0 310559105 22642688 5280 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10234/statm: 5528 5280 76 171 0 5355 0
Current children cumulated CPU time (s) 489.26
Current children cumulated vsize (KiB) 27468

[startup+490.402 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10234
/proc/meminfo: memFree=1733560/2055924 swapFree=4157864/4192956
[pid=10228] ppid=10226 vsize=5356 CPUtime=1.17
/proc/10228/stat : 10228 (SatELiteGTI) S 10226 10228 10050 0 -1 4194304 336 5727 0 0 0 0 112 5 16 0 1 0 310558987 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10228/statm: 1339 239 197 169 0 50 0
[pid=10234] ppid=10228 vsize=22112 CPUtime=488.88
/proc/10234/stat : 10234 (minisat_static) R 10228 10228 10050 0 -1 4194304 5294 0 0 0 48881 7 0 0 25 0 1 0 310559105 22642688 5280 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10234/statm: 5528 5280 76 171 0 5355 0
Current children cumulated CPU time (s) 490.05
Current children cumulated vsize (KiB) 27468

[startup+490.802 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10234
/proc/meminfo: memFree=1733560/2055924 swapFree=4157864/4192956
[pid=10228] ppid=10226 vsize=5356 CPUtime=1.17
/proc/10228/stat : 10228 (SatELiteGTI) S 10226 10228 10050 0 -1 4194304 336 5727 0 0 0 0 112 5 16 0 1 0 310558987 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10228/statm: 1339 239 197 169 0 50 0
[pid=10234] ppid=10228 vsize=22112 CPUtime=489.28
/proc/10234/stat : 10234 (minisat_static) R 10228 10228 10050 0 -1 4194304 5294 0 0 0 48921 7 0 0 25 0 1 0 310559105 22642688 5280 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/10234/statm: 5528 5280 76 171 0 5355 0
Current children cumulated CPU time (s) 490.45
Current children cumulated vsize (KiB) 27468

[startup+491.202 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10234
/proc/meminfo: memFree=1733560/2055924 swapFree=4157864/4192956
[pid=10228] ppid=10226 vsize=5356 CPUtime=1.17
/proc/10228/stat : 10228 (SatELiteGTI) S 10226 10228 10050 0 -1 4194304 336 5727 0 0 0 0 112 5 16 0 1 0 310558987 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10228/statm: 1339 239 197 169 0 50 0
[pid=10234] ppid=10228 vsize=22112 CPUtime=489.68
/proc/10234/stat : 10234 (minisat_static) R 10228 10228 10050 0 -1 4194304 5294 0 0 0 48961 7 0 0 25 0 1 0 310559105 22642688 5280 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10234/statm: 5528 5280 76 171 0 5355 0
Current children cumulated CPU time (s) 490.85
Current children cumulated vsize (KiB) 27468

[startup+491.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10234
/proc/meminfo: memFree=1733560/2055924 swapFree=4157864/4192956
[pid=10228] ppid=10226 vsize=5356 CPUtime=1.17
/proc/10228/stat : 10228 (SatELiteGTI) S 10226 10228 10050 0 -1 4194304 336 5727 0 0 0 0 112 5 16 0 1 0 310558987 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10228/statm: 1339 239 197 169 0 50 0
[pid=10234] ppid=10228 vsize=22112 CPUtime=489.78
/proc/10234/stat : 10234 (minisat_static) R 10228 10228 10050 0 -1 4194304 5294 0 0 0 48971 7 0 0 25 0 1 0 310559105 22642688 5280 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10234/statm: 5528 5280 76 171 0 5355 0
Current children cumulated CPU time (s) 490.95
Current children cumulated vsize (KiB) 27468

Child status: 20
Real time (s): 491.378
CPU time (s): 491.045
CPU user time (s): 490.903
CPU system time (s): 0.141978
CPU usage (%): 99.9323
Max. virtual memory (cumulated for all children) (KiB): 27968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 490.903
system time used= 0.141978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11518
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= 47
involuntary context switches= 3494

runsolver used 0.463929 second user time and 1.41878 second system time

The end

Launcher Data

Begin job on node83 at 2009-05-20 15:14:57
IDJOB=1833811
IDBENCH=70946
IDSOLVER=671
FILE ID=node83/1833811-1242825296
PBS_JOBID= 9322518
Free space on /tmp= 66216 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_l47_lambda.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833811-1242825296/watcher-1833811-1242825296 -o /tmp/evaluation-result-1833811-1242825296/solver-1833811-1242825296 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1833811-1242825296.cnf

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

MD5SUM BENCH= ed7689c65135a913d97feca3ab3874eb
RANDOM SEED=75286502

node83.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.222
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.222
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055924 kB
MemFree:       1758696 kB
Buffers:         48440 kB
Cached:         176520 kB
SwapCached:      29496 kB
Active:          75400 kB
Inactive:       181132 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1758696 kB
SwapTotal:     4192956 kB
SwapFree:      4157864 kB
Dirty:            4884 kB
Writeback:           0 kB
Mapped:          15564 kB
Slab:            26652 kB
Committed_AS:  1061412 kB
PageTables:       1392 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= 66216 MiB
End job on node83 at 2009-05-20 15:23:08