Trace number 1834197

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 163.27 163.616

General information on the benchmark

Namemanol-pipe-c7nidw.cnf
MD5SUMcddc29f8f256e39e02d9b418f68e802c
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark115.078
Satisfiable
(Un)Satisfiability was proved
Number of variables169072
Number of clauses501421
Sum of the clauses size1169981
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2334280
Number of clauses of size 3167140
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Parsing...
0.00/0.42	c ==============================================================================
0.00/0.42	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.42	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.42	c ==============================================================================
0.00/0.42	c |         0 |  501420  1169980 |  150425       0        0     nan |  0.000 % |
3.48/3.54	c |         0 |  215779   849690 |      --       0       --      -- |     --   | -285639/-320285
3.48/3.54	c ==============================================================================
3.48/3.54	c Result  :   #vars: 28036   #clauses: 215779   #literals: 849690
3.48/3.54	c CPU time:   3.36749 s
3.48/3.54	c ==============================================================================
3.77/3.83	c This is MiniSat 2.0 beta
3.77/3.83	c WARNING: for repeatability, setting FPU to use double precision
3.77/3.83	c ============================[ Problem Statistics ]=============================
3.77/3.83	c |                                                                             |
3.77/3.83	c |  Number of variables:  28036                                                |
3.77/3.83	c |  Number of clauses:    215779                                               |
3.81/3.98	c |  Parsing time:         0.13         s                                       |
3.81/3.99	c ============================[ Search Statistics ]==============================
3.81/3.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.81/3.99	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
3.81/3.99	c ===============================================================================
3.81/3.99	c |         0 |   28036   215779   849690 |    71926        0    nan |  0.000 % |
3.81/4.02	c |       100 |   28036   215779   849690 |    71926       99      9 |  0.032 % |
3.81/4.05	c |       201 |   28030   215779   849690 |    71926      200     12 |  0.032 % |
3.81/4.11	c |       302 |   28030   215779   849690 |    71926      301     13 |  0.032 % |
3.81/4.14	c |       413 |   28025   215779   849690 |    71926      411     13 |  0.107 % |
3.81/4.15	c |       513 |   28025   215779   849690 |    71926      511     12 |  0.107 % |
3.81/4.20	c |       624 |   28009   215779   849690 |    71926      620     12 |  0.118 % |
3.81/4.24	c |       746 |   28009   215779   849690 |    71926      742     12 |  0.118 % |
3.81/4.25	c |       847 |   28007   215779   849690 |    71926      842     12 |  0.171 % |
3.81/4.28	c |       958 |   28006   215779   849690 |    71926      953     12 |  0.171 % |
3.81/4.29	c |      1080 |   28006   215779   849690 |    71926     1075     13 |  0.171 % |
4.27/4.33	c |      1215 |   28000   215779   849690 |    71926     1209     13 |  0.182 % |
4.27/4.35	c |      1316 |   27998   215779   849690 |    71926     1309     13 |  0.214 % |
4.27/4.36	c |      1427 |   27998   215779   849690 |    71926     1420     13 |  0.214 % |
4.37/4.40	c |      1550 |   27996   215779   849690 |    71926     1543     13 |  0.214 % |
4.47/4.51	c |      1683 |   27996   215779   849690 |    71926     1676     13 |  0.214 % |
4.47/4.59	c |      1829 |   27992   215779   849690 |    71926     1822     13 |  0.214 % |
4.56/4.63	c |      1930 |   27987   215779   849690 |    71926     1923     13 |  0.214 % |
4.56/4.66	c |      2040 |   27976   213789   841792 |    71926     2029     14 |  0.214 % |
4.56/4.69	c |      2162 |   27963   213789   841792 |    71926     2150     13 |  0.342 % |
4.66/4.72	c |      2295 |   27963   213789   841792 |    71926     2283     14 |  0.342 % |
4.66/4.75	c |      2443 |   27963   213789   841792 |    71926     2431     16 |  0.342 % |
4.66/4.77	c |      2603 |   27963   213789   841792 |    71926     2591     16 |  0.342 % |
4.66/4.78	c |      2703 |   27963   213789   841792 |    71926     2691     17 |  0.342 % |
4.76/4.81	c |      2813 |   27963   213789   841792 |    71926     2801     16 |  0.342 % |
4.76/4.86	c |      2934 |   27963   213789   841792 |    71926     2922     16 |  0.342 % |
4.76/4.88	c |      3067 |   27963   213789   841792 |    71926     3055     16 |  0.342 % |
4.86/4.94	c |      3214 |   27963   213789   841792 |    71926     3202     16 |  0.342 % |
4.86/4.98	c |      3374 |   27963   213789   841792 |    71926     3362     16 |  0.342 % |
4.96/5.00	c |      3551 |   27963   213789   841792 |    71926     3539     16 |  0.342 % |
4.96/5.04	c |      3651 |   27963   213789   841792 |    71926     3639     16 |  0.342 % |
4.96/5.05	c |      3762 |   27963   213789   841792 |    71926     3750     16 |  0.342 % |
4.96/5.06	c |      3884 |   27963   213789   841792 |    71926     3872     16 |  0.342 % |
4.96/5.08	c |      4018 |   27963   213789   841792 |    71926     4006     16 |  0.342 % |
4.96/5.10	c |      4164 |   27956   213789   841792 |    71926     4151     17 |  0.492 % |
5.06/5.10	c |      4324 |   27956   213789   841792 |    71926     4311     17 |  0.492 % |
5.06/5.12	c |      4500 |   27955   213789   841792 |    71926     4486     17 |  0.496 % |
5.06/5.15	c |      4693 |   27942   213789   841792 |    71926     4678     17 |  0.685 % |
5.06/5.19	c |      4793 |   27920   213789   841792 |    71926     4778     17 |  0.685 % |
5.16/5.23	c |      4905 |   27919   213789   841792 |    71926     4889     17 |  0.742 % |
5.16/5.28	c |      5026 |   27826   211195   831366 |    71926     4860     17 |  0.749 % |
5.26/5.30	c |      5159 |   27816   211195   831366 |    71926     4990     17 |  0.785 % |
5.26/5.32	c |      5306 |   27816   211195   831366 |    71926     5137     17 |  0.785 % |
5.26/5.35	c |      5467 |   27816   211195   831366 |    71926     5298     17 |  0.785 % |
5.26/5.37	c |      5643 |   27812   211195   831366 |    71926     5472     17 |  0.799 % |
5.36/5.41	c |      5836 |   27812   211195   831366 |    71926     5665     17 |  0.799 % |
5.36/5.45	c |      6048 |   27811   211195   831366 |    71926     5876     16 |  0.803 % |
5.36/5.46	c |      6149 |   27811   211195   831366 |    71926     5977     16 |  0.803 % |
5.36/5.47	c |      6260 |   27811   211195   831366 |    71926     6088     17 |  0.803 % |
5.36/5.48	c |      6382 |   27811   211195   831366 |    71926     6210     17 |  0.803 % |
5.36/5.48	c |      6516 |   27811   211195   831366 |    71926     6344     18 |  0.803 % |
5.46/5.51	c |      6663 |   27811   211195   831366 |    71926     6491     18 |  0.803 % |
5.46/5.55	c |      6824 |   27811   211195   831366 |    71926     6652     19 |  0.803 % |
5.46/5.57	c |      7002 |   27811   211195   831366 |    71926     6830     19 |  0.803 % |
5.56/5.60	c |      7198 |   27805   211195   831366 |    71926     7025     18 |  0.824 % |
5.66/5.70	c |      7411 |   27804   211195   831366 |    71926     7237     18 |  0.828 % |
5.66/5.76	c |      7644 |   27804   211195   831366 |    71926     7470     19 |  0.828 % |
5.66/5.79	c |      7744 |   27804   211195   831366 |    71926     7570     19 |  0.828 % |
5.76/5.81	c |      7856 |   27797   211195   831366 |    71926     7680     18 |  0.885 % |
5.76/5.83	c |      7977 |   27797   211195   831366 |    71926     7801     18 |  0.885 % |
5.76/5.85	c |      8111 |   27793   211195   831366 |    71926     7935     18 |  0.885 % |
5.76/5.87	c |      8257 |   27793   211195   831366 |    71926     8081     18 |  0.885 % |
5.76/5.89	c |      8417 |   27793   211195   831366 |    71926     8241     18 |  0.885 % |
5.85/5.93	c |      8593 |   27790   211195   831366 |    71926     8417     18 |  0.885 % |
5.85/5.96	c |      8787 |   27787   210462   828848 |    71926     8570     18 |  0.888 % |
5.95/6.05	c |      8999 |   27787   210462   828848 |    71926     8782     18 |  0.888 % |
5.95/6.09	c |      9232 |   27787   210462   828848 |    71926     9015     18 |  0.888 % |
6.05/6.11	c |      9489 |   27786   210462   828848 |    71926     9271     18 |  0.899 % |
6.05/6.11	c |      9589 |   27786   210462   828848 |    71926     9371     18 |  0.899 % |
6.05/6.15	c |      9701 |   27786   210462   828848 |    71926     9483     18 |  0.899 % |
6.05/6.17	c |      9822 |   27786   210462   828848 |    71926     9604     18 |  0.899 % |
6.15/6.25	c |      9956 |   27785   210462   828848 |    71926     9738     18 |  0.899 % |
6.25/6.35	c |     10102 |   27785   210462   828848 | 2147483647     9884     18 |  0.899 % |
6.25/6.38	c |     10263 |   27785   210462   828848 | 2147483647    10045     18 |  0.899 % |
6.35/6.40	c |     10440 |   27785   210462   828848 | 2147483647    10222     18 |  0.899 % |
6.35/6.45	c |     10633 |   27767   210462   828848 | 2147483647    10410     18 |  1.259 % |
6.35/6.50	c |     10846 |   27767   210462   828848 | 2147483647    10623     18 |  1.259 % |
6.46/6.55	c |     11079 |   27763   210462   828848 | 2147483647    10856     18 |  1.259 % |
6.46/6.57	c |     11336 |   27762   210462   828848 | 2147483647    11112     18 |  1.263 % |
6.56/6.60	c |     11618 |   27762   210462   828848 | 2147483647    11394     18 |  1.263 % |
6.56/6.62	c |     11718 |   27762   210462   828848 | 2147483647    11494     18 |  1.263 % |
6.56/6.64	c |     11828 |   27762   210462   828848 | 2147483647    11604     18 |  1.263 % |
6.66/6.71	c |     11949 |   27762   210462   828848 | 2147483647    11725     18 |  1.263 % |
6.66/6.75	c |     12082 |   27682   207729   817870 | 2147483647    11818     18 |  1.263 % |
6.76/6.85	c |     12229 |   27682   207729   817870 | 2147483647    11965     18 |  1.263 % |
6.76/6.87	c |     12389 |   27682   207729   817870 | 2147483647    12125     18 |  1.263 % |
6.86/6.90	c |     12567 |   27673   207729   817870 | 2147483647    12302     18 |  1.345 % |
6.86/6.94	c |     12760 |   27673   207729   817870 | 2147483647    12495     18 |  1.345 % |
6.96/7.04	c |     12973 |   27659   207729   817870 | 2147483647    12708     18 |  1.345 % |
6.96/7.05	c |     13209 |   27659   207729   817870 | 2147483647    12944     18 |  1.345 % |
6.96/7.08	c |     13465 |   27659   207729   817870 | 2147483647    13200     17 |  1.345 % |
7.06/7.12	c |     13746 |   27659   207729   817870 | 2147483647    13481     17 |  1.345 % |
7.06/7.16	c |     14055 |   27659   207729   817870 | 2147483647    13790     17 |  1.345 % |
7.06/7.17	c |     14157 |   27659   207729   817870 | 2147483647    13892     17 |  1.345 % |
7.06/7.18	c |     14267 |   27659   207729   817870 | 2147483647    14002     17 |  1.345 % |
7.16/7.20	c |     14389 |   27659   207729   817870 | 2147483647    14124     17 |  1.345 % |
7.16/7.22	c |     14522 |   27659   207729   817870 | 2147483647    14257     17 |  1.345 % |
7.16/7.25	c |     14668 |   27659   207729   817870 | 2147483647    14403     17 |  1.345 % |
7.16/7.26	c |     14829 |   27659   207729   817870 | 2147483647    14564     17 |  1.345 % |
7.16/7.29	c |     15007 |   27659   207729   817870 | 2147483647    14742     17 |  1.345 % |
7.26/7.33	c |     15201 |   27655   207729   817870 | 2147483647    14935     17 |  1.391 % |
7.26/7.39	c |     15413 |   27650   207729   817870 | 2147483647    15147     17 |  1.391 % |
7.36/7.46	c |     15647 |   27633   207729   817870 | 2147483647    15377     17 |  2.033 % |
7.36/7.49	c |     15903 |   27631   207729   817870 | 2147483647    15633     17 |  2.033 % |
7.46/7.52	c |     16185 |   27631   207729   817870 | 2147483647    15915     17 |  2.033 % |
7.46/7.57	c |     16495 |   27466   202405   796662 | 2147483647    16171     17 |  2.033 % |
7.56/7.62	c |     16835 |   27466   202405   796662 | 2147483647    16511     17 |  2.033 % |
7.56/7.62	c |     16935 |   27466   202405   796662 | 2147483647    16611     17 |  2.033 % |
7.56/7.66	c |     17047 |   27466   202405   796662 | 2147483647    16723     17 |  2.033 % |
7.56/7.68	c |     17168 |   27466   202405   796662 | 2147483647    16844     17 |  2.033 % |
7.66/7.70	c |     17302 |   27466   202405   796662 | 2147483647    16978     17 |  2.033 % |
7.66/7.75	c |     17448 |   27466   202405   796662 | 2147483647    17124     17 |  2.033 % |
7.66/7.78	c |     17608 |   27466   202405   796662 | 2147483647    17284     17 |  2.033 % |
7.66/7.79	c |     17784 |   27466   202405   796662 | 2147483647    17460     17 |  2.033 % |
7.76/7.83	c |     17979 |   27446   202405   796662 | 2147483647    17648     17 |  2.233 % |
7.76/7.86	c |     18191 |   27446   202405   796662 | 2147483647    17860     17 |  2.233 % |
7.76/7.87	c |     18425 |   27446   202405   796662 | 2147483647    18094     17 |  2.233 % |
7.86/7.91	c |     18682 |   27446   202405   796662 | 2147483647    18351     17 |  2.233 % |
7.86/7.97	c |     18963 |   27446   202405   796662 | 2147483647    18632     17 |  2.233 % |
7.96/8.02	c |     19273 |   27442   202405   796662 | 2147483647    18940     17 |  2.254 % |
8.06/8.10	c |     19612 |   27442   202405   796662 | 2147483647    19279     17 |  2.254 % |
8.06/8.19	c |     19985 |   27442   202405   796662 | 2147483647    19652     18 |  2.254 % |
8.16/8.21	c |     20085 |   27436   202405   796662 | 2147483647    19752     18 |  2.254 % |
8.16/8.22	c |     20196 |   27436   202405   796662 | 2147483647    19863     18 |  2.254 % |
8.16/8.23	c |     20318 |   27436   202405   796662 | 2147483647    19985     18 |  2.254 % |
8.16/8.26	c |     20451 |   27436   202405   796662 | 2147483647    20118     18 |  2.254 % |
8.16/8.28	c |     20597 |   27436   202405   796662 | 2147483647    20264     18 |  2.254 % |
8.26/8.35	c |     20758 |   27429   202405   796662 | 2147483647    20425     18 |  2.254 % |
8.36/8.41	c |     20934 |   27419   202405   796662 | 2147483647    20601     18 |  2.254 % |
8.36/8.46	c |     21129 |   27404   201025   791190 | 2147483647    20751     18 |  2.254 % |
8.46/8.51	c |     21341 |   27404   201025   791190 | 2147483647    20963     18 |  2.254 % |
8.46/8.57	c |     21575 |   27404   201025   791190 | 2147483647    21197     18 |  2.254 % |
8.56/8.61	c |     21832 |   27404   201025   791190 | 2147483647    21454     18 |  2.254 % |
8.66/8.71	c |     22114 |   27404   201025   791190 | 2147483647    21736     18 |  2.254 % |
8.66/8.73	c |     22423 |   27404   201025   791190 | 2147483647    22045     18 |  2.254 % |
8.66/8.78	c |     22762 |   27404   201025   791190 | 2147483647    22384     18 |  2.254 % |
8.76/8.84	c |     23134 |   27404   201025   791190 | 2147483647    22756     18 |  2.254 % |
8.85/8.91	c |     23543 |   27404   201025   791190 | 2147483647    23165     18 |  2.254 % |
8.85/8.95	c |     23643 |   27404   201025   791190 | 2147483647    23265     18 |  2.254 % |
8.95/9.00	c |     23753 |   27404   201025   791190 | 2147483647    23375     18 |  2.254 % |
8.95/9.02	c |     23875 |   27404   201025   791190 | 2147483647    23497     18 |  2.254 % |
8.95/9.04	c |     24008 |   27404   201025   791190 | 2147483647    23630     18 |  2.254 % |
9.05/9.14	c |     24154 |   27404   201025   791190 | 2147483647    23776     18 |  2.254 % |
9.15/9.26	c |     24315 |   27404   201025   791190 | 2147483647    23937     18 |  2.254 % |
9.25/9.31	c |     24491 |   27404   201025   791190 | 2147483647    24113     18 |  2.254 % |
9.25/9.35	c |     24684 |   27404   201025   791190 | 2147483647    24306     18 |  2.254 % |
9.35/9.40	c |     24897 |   27404   201025   791190 | 2147483647    24519     18 |  2.254 % |
9.35/9.44	c |     25130 |   27404   201025   791190 | 2147483647    24752     17 |  2.254 % |
9.35/9.47	c |     25386 |   27404   201025   791190 | 2147483647    25008     17 |  2.254 % |
9.45/9.53	c |     25668 |   27399   201007   791117 | 2147483647    25288     17 |  2.279 % |
9.55/9.61	c |     25978 |   27399   201007   791117 | 2147483647    25598     17 |  2.279 % |
9.55/9.67	c |     26319 |   27399   201007   791117 | 2147483647    25939     18 |  2.279 % |
9.65/9.71	c |     26692 |   27399   201007   791117 | 2147483647    26312     18 |  2.279 % |
9.75/9.87	c |     27101 |   27399   201007   791117 | 2147483647    26721     18 |  2.279 % |
9.85/9.94	c |     27550 |   27399   201007   791117 | 2147483647    27170     18 |  2.279 % |
9.85/9.98	c |     27652 |   27399   201007   791117 | 2147483647    27272     18 |  2.279 % |
9.85/9.99	c |     27763 |   27399   201007   791117 | 2147483647    27383     18 |  2.279 % |
9.95/10.00	c |     27884 |   27399   201007   791117 | 2147483647    27504     18 |  2.279 % |
9.95/10.05	c |     28017 |   27399   201007   791117 | 2147483647    27637     18 |  2.279 % |
9.95/10.08	c |     28163 |   27396   201007   791117 | 2147483647    27781     18 |  2.340 % |
10.05/10.15	c |     28324 |   27394   201007   791117 | 2147483647    27942     18 |  2.340 % |
10.05/10.17	c |     28501 |   27394   201007   791117 | 2147483647    28119     18 |  2.340 % |
10.15/10.22	c |     28695 |   27389   201007   791117 | 2147483647    28311     18 |  2.368 % |
10.15/10.26	c |     28907 |   27389   201007   791117 | 2147483647    28523     18 |  2.368 % |
10.25/10.30	c |     29140 |   27389   201007   791117 | 2147483647    28756     18 |  2.368 % |
10.25/10.35	c |     29397 |   27389   201007   791117 | 2147483647    29013     18 |  2.368 % |
10.35/10.41	c |     29678 |   27385   201007   791117 | 2147483647    29293     18 |  2.650 % |
10.35/10.46	c |     29987 |   27353   201007   791117 | 2147483647    29602     18 |  2.650 % |
10.44/10.52	c |     30327 |   27353   201007   791117 | 2147483647    29942     18 |  2.650 % |
10.44/10.58	c |     30700 |   27353   201007   791117 | 2147483647    30315     18 |  2.650 % |
10.54/10.68	c |     31109 |   27293   199688   785650 | 2147483647    29145     18 |  2.650 % |
10.74/10.85	c |     31558 |   27293   199688   785650 | 2147483647    29594     18 |  2.650 % |
10.85/10.99	c |     32052 |   27293   199688   785650 | 2147483647    30088     18 |  2.650 % |
10.95/11.03	c |     32155 |   27293   199688   785650 | 2147483647    30191     18 |  2.650 % |
10.95/11.08	c |     32265 |   27293   199688   785650 | 2147483647    30301     18 |  2.650 % |
11.04/11.11	c |     32386 |   27293   199688   785650 | 2147483647    30422     18 |  2.650 % |
11.04/11.14	c |     32519 |   27293   199688   785650 | 2147483647    30555     18 |  2.650 % |
11.04/11.19	c |     32665 |   27293   199688   785650 | 2147483647    30701     18 |  2.650 % |
11.14/11.24	c |     32825 |   27293   199688   785650 | 2147483647    30861     18 |  2.650 % |
11.14/11.26	c |     33001 |   27293   199688   785650 | 2147483647    31037     18 |  2.650 % |
11.24/11.32	c |     33195 |   27293   199688   785650 | 2147483647    31231     18 |  2.650 % |
11.24/11.35	c |     33407 |   27293   199688   785650 | 2147483647    31443     18 |  2.650 % |
11.34/11.42	c |     33641 |   27288   199688   785650 | 2147483647    31675     18 |  2.729 % |
11.34/11.46	c |     33897 |   27288   199688   785650 | 2147483647    31931     18 |  2.729 % |
11.44/11.53	c |     34178 |   27288   199688   785650 | 2147483647    32212     18 |  2.729 % |
11.54/11.67	c |     34488 |   27281   199688   785650 | 2147483647    32522     18 |  2.729 % |
11.64/11.76	c |     34828 |   27281   199688   785650 | 2147483647    32862     18 |  2.729 % |
11.74/11.86	c |     35201 |   27271   199530   784843 | 2147483647    32619     18 |  2.729 % |
11.84/11.97	c |     35610 |   27271   199530   784843 | 2147483647    33028     18 |  2.729 % |
11.95/12.03	c |     36060 |   27271   199530   784843 | 2147483647    33478     18 |  2.729 % |
11.95/12.09	c |     36553 |   27271   199530   784843 | 2147483647    33971     18 |  2.729 % |
12.05/12.14	c |     37097 |   27271   199530   784843 | 2147483647    34515     18 |  2.729 % |
12.05/12.18	c |     37197 |   27271   199530   784843 | 2147483647    34615     18 |  2.729 % |
12.05/12.19	c |     37309 |   27271   199530   784843 | 2147483647    34727     18 |  2.729 % |
12.14/12.25	c |     37430 |   27271   199530   784843 | 2147483647    34848     18 |  2.729 % |
12.24/12.31	c |     37564 |   27271   199530   784843 | 2147483647    34982     18 |  2.729 % |
12.24/12.34	c |     37711 |   27271   199530   784843 | 2147483647    35129     18 |  2.729 % |
12.24/12.38	c |     37872 |   27271   199530   784843 | 2147483647    35290     18 |  2.729 % |
12.34/12.44	c |     38049 |   27271   199530   784843 | 2147483647    35467     18 |  2.729 % |
12.44/12.52	c |     38242 |   27271   199530   784843 | 2147483647    35660     18 |  2.729 % |
12.44/12.59	c |     38456 |   27271   199530   784843 | 2147483647    35874     18 |  2.729 % |
12.54/12.61	c |     38689 |   27271   199530   784843 | 2147483647    36107     18 |  2.729 % |
12.74/12.83	c |     38946 |   27271   199530   784843 | 2147483647    36364     18 |  2.729 % |
12.84/12.91	c |     39228 |   27271   199530   784843 | 2147483647    36646     18 |  2.729 % |
12.84/12.99	c |     39538 |   27271   199530   784843 | 2147483647    36956     18 |  2.729 % |
12.94/13.03	c |     39878 |   27271   199530   784843 | 2147483647    37296     18 |  2.729 % |
12.94/13.08	c |     40250 |   27271   199530   784843 | 2147483647    37668     18 |  2.729 % |
13.04/13.18	c |     40659 |   27271   199530   784843 | 2147483647    38077     18 |  2.729 % |
13.14/13.27	c |     41109 |   27271   199530   784843 | 2147483647    38527     18 |  2.729 % |
13.24/13.34	c |     41604 |   27271   199530   784843 | 2147483647    39022     18 |  2.729 % |
13.34/13.46	c |     42146 |   27271   199530   784843 | 2147483647    39564     19 |  2.729 % |
13.44/13.56	c |     42742 |   27271   199530   784843 | 2147483647    40160     19 |  2.729 % |
13.44/13.58	c |     42842 |   27271   199530   784843 | 2147483647    40260     19 |  2.729 % |
13.54/13.61	c |     42953 |   27271   199530   784843 | 2147483647    40371     19 |  2.729 % |
13.54/13.65	c |     43074 |   27271   199530   784843 | 2147483647    40492     19 |  2.729 % |
13.54/13.68	c |     43208 |   27271   199530   784843 | 2147483647    40626     19 |  2.729 % |
13.64/13.73	c |     43354 |   27271   199530   784843 | 2147483647    40772     19 |  2.729 % |
13.64/13.75	c |     43514 |   27271   199530   784843 | 2147483647    40932     19 |  2.729 % |
13.74/13.82	c |     43690 |   27271   199530   784843 | 2147483647    41108     19 |  2.729 % |
13.84/13.91	c |     43883 |   27271   199530   784843 | 2147483647    41301     19 |  2.729 % |
13.84/13.98	c |     44098 |   27268   199509   784765 | 2147483647    41515     19 |  2.739 % |
13.94/14.01	c |     44334 |   27268   199509   784765 | 2147483647    41751     18 |  2.739 % |
13.94/14.04	c |     44599 |   27268   199509   784765 | 2147483647    42016     18 |  2.739 % |
13.94/14.09	c |     44881 |   27268   199509   784765 | 2147483647    42298     18 |  2.739 % |
14.04/14.18	c |     45190 |   27268   199509   784765 | 2147483647    42607     18 |  2.739 % |
14.14/14.25	c |     45530 |   27268   199509   784765 | 2147483647    42947     18 |  2.739 % |
14.24/14.33	c |     45902 |   27268   199509   784765 | 2147483647    43319     18 |  2.739 % |
14.24/14.39	c |     46312 |   27268   199509   784765 | 2147483647    43729     18 |  2.739 % |
14.33/14.48	c |     46761 |   27268   199509   784765 | 2147483647    44178     19 |  2.739 % |
14.43/14.56	c |     47257 |   27268   199509   784765 | 2147483647    44674     19 |  2.739 % |
14.54/14.65	c |     47800 |   27268   199509   784765 | 2147483647    45217     19 |  2.739 % |
14.64/14.76	c |     48396 |   27268   199509   784765 | 2147483647    45813     19 |  2.739 % |
14.84/14.91	c |     49052 |   27268   199509   784765 | 2147483647    46469     19 |  2.739 % |
14.84/14.94	c |     49154 |   27268   199509   784765 | 2147483647    46571     19 |  2.739 % |
14.84/14.98	c |     49265 |   27268   199509   784765 | 2147483647    46682     19 |  2.739 % |
14.94/15.01	c |     49390 |   27268   199509   784765 | 2147483647    46807     19 |  2.739 % |
14.94/15.03	c |     49523 |   27268   199509   784765 | 2147483647    46940     19 |  2.739 % |
14.94/15.06	c |     49670 |   27268   199509   784765 | 2147483647    47087     19 |  2.739 % |
14.94/15.09	c |     49830 |   27268   199509   784765 | 2147483647    47247     19 |  2.739 % |
15.04/15.13	c |     50007 |   27268   199509   784765 | 2147483647    47424     19 |  2.739 % |
15.04/15.16	c |     50203 |   27268   199509   784765 | 2147483647    47620     19 |  2.739 % |
15.04/15.19	c |     50415 |   27268   199509   784765 | 2147483647    47832     19 |  2.739 % |
15.14/15.25	c |     50649 |   27268   199509   784765 | 2147483647    48066     19 |  2.739 % |
15.14/15.28	c |     50905 |   27268   199509   784765 | 2147483647    48322     19 |  2.739 % |
15.24/15.37	c |     51186 |   27268   199509   784765 | 2147483647    48603     19 |  2.739 % |
15.34/15.43	c |     51496 |   27268   199509   784765 | 2147483647    48913     19 |  2.739 % |
15.34/15.49	c |     51836 |   27268   199509   784765 | 2147483647    49253     19 |  2.739 % |
15.44/15.57	c |     52209 |   27268   199509   784765 | 2147483647    49626     19 |  2.739 % |
15.54/15.66	c |     52618 |   27268   199509   784765 | 2147483647    50035     19 |  2.739 % |
15.64/15.75	c |     53067 |   27268   199509   784765 | 2147483647    50484     19 |  2.739 % |
15.74/15.86	c |     53560 |   27268   199509   784765 | 2147483647    50977     19 |  2.739 % |
15.84/15.96	c |     54102 |   27268   199509   784765 | 2147483647    51519     20 |  2.739 % |
15.94/16.06	c |     54700 |   27268   199509   784765 | 2147483647    52117     20 |  2.739 % |
16.14/16.25	c |     55356 |   27268   199509   784765 | 2147483647    52773     20 |  2.739 % |
16.24/16.38	c |     56076 |   27268   199509   784765 | 2147483647    53493     20 |  2.739 % |
16.34/16.41	c |     56176 |   27268   199509   784765 | 2147483647    53593     20 |  2.739 % |
16.34/16.44	c |     56286 |   27268   199509   784765 | 2147483647    53703     20 |  2.739 % |
16.34/16.46	c |     56407 |   27268   199509   784765 | 2147483647    53824     20 |  2.739 % |
16.34/16.49	c |     56540 |   27268   199509   784765 | 2147483647    53957     20 |  2.739 % |
16.44/16.54	c |     56686 |   27268   199509   784765 | 2147483647    54103     20 |  2.739 % |
16.44/16.56	c |     56847 |   27268   199509   784765 | 2147483647    54264     20 |  2.739 % |
16.54/16.61	c |     57024 |   27268   199509   784765 | 2147483647    54441     20 |  2.739 % |
16.54/16.67	c |     57218 |   27268   199509   784765 | 2147483647    54635     20 |  2.739 % |
16.63/16.72	c |     57430 |   27268   199509   784765 | 2147483647    54847     20 |  2.739 % |
16.63/16.76	c |     57665 |   27268   199509   784765 | 2147483647    55082     20 |  2.739 % |
16.73/16.83	c |     57921 |   27268   199509   784765 | 2147483647    55338     20 |  2.739 % |
16.73/16.89	c |     58202 |   27268   199509   784765 | 2147483647    55619     20 |  2.739 % |
16.93/17.00	c |     58512 |   27268   199509   784765 | 2147483647    55929     20 |  2.739 % |
16.93/17.07	c |     58854 |   27268   199509   784765 | 2147483647    56271     20 |  2.739 % |
17.03/17.19	c |     59226 |   27268   199509   784765 | 2147483647    56643     20 |  2.739 % |
17.13/17.26	c |     59635 |   27268   199509   784765 | 2147483647    57052     20 |  2.739 % |
17.23/17.34	c |     60086 |   27268   199509   784765 | 2147483647    57503     20 |  2.739 % |
17.33/17.42	c |     60580 |   27268   199509   784765 | 2147483647    57997     20 |  2.739 % |
17.44/17.59	c |     61122 |   27268   199509   784765 | 2147483647    58539     20 |  2.739 % |
17.63/17.73	c |     61719 |   27268   199509   784765 | 2147483647    59136     20 |  2.739 % |
17.83/17.95	c |     62374 |   27268   199509   784765 | 2147483647    59791     20 |  2.739 % |
17.93/18.09	c |     63094 |   27268   199509   784765 | 2147483647    60511     20 |  2.739 % |
18.23/18.36	c |     63886 |   27268   199509   784765 | 2147483647    61303     20 |  2.739 % |
18.33/18.41	c |     63987 |   27268   199509   784765 | 2147483647    61404     20 |  2.739 % |
18.33/18.47	c |     64097 |   27268   199509   784765 | 2147483647    61514     20 |  2.739 % |
18.43/18.52	c |     64218 |   27268   199509   784765 | 2147483647    61635     20 |  2.739 % |
18.43/18.56	c |     64352 |   27268   199509   784765 | 2147483647    61769     20 |  2.739 % |
18.53/18.62	c |     64498 |   27268   199509   784765 | 2147483647    61915     20 |  2.739 % |
18.63/18.71	c |     64658 |   27268   199509   784765 | 2147483647    62075     20 |  2.739 % |
18.63/18.78	c |     64834 |   27268   199509   784765 | 2147483647    62251     20 |  2.739 % |
18.73/18.85	c |     65029 |   27268   199509   784765 | 2147483647    62446     20 |  2.739 % |
18.83/18.91	c |     65241 |   27268   199509   784765 | 2147483647    62658     20 |  2.739 % |
18.83/18.99	c |     65474 |   27268   199509   784765 | 2147483647    62891     20 |  2.739 % |
19.03/19.16	c |     65730 |   27268   199509   784765 | 2147483647    63147     20 |  2.739 % |
19.13/19.25	c |     66012 |   27268   199509   784765 | 2147483647    63429     20 |  2.739 % |
19.23/19.31	c |     66322 |   27268   199509   784765 | 2147483647    63739     20 |  2.739 % |
19.33/19.43	c |     66662 |   27268   199509   784765 | 2147483647    64079     20 |  2.739 % |
19.43/19.54	c |     67034 |   27268   199509   784765 | 2147483647    64451     20 |  2.739 % |
19.53/19.67	c |     67443 |   27268   199509   784765 | 2147483647    64860     20 |  2.739 % |
19.63/19.79	c |     67893 |   27268   199509   784765 | 2147483647    65310     20 |  2.739 % |
19.83/19.98	c |     68386 |   27268   199509   784765 | 2147483647    65803     20 |  2.739 % |
19.93/20.04	c |     68929 |   27268   199509   784765 | 2147483647    66346     20 |  2.739 % |
20.03/20.12	c |     69526 |   27268   199509   784765 | 2147483647    66943     20 |  2.739 % |
20.23/20.35	c |     70181 |   27268   199509   784765 | 2147483647    67598     20 |  2.739 % |
20.43/20.59	c |     70904 |   27268   199509   784765 | 2147483647    68321     20 |  2.739 % |
20.73/20.84	c |     71697 |   27268   199509   784765 | 2147483647    69114     20 |  2.739 % |
20.93/21.06	c |     72568 |   27268   199509   784765 | 2147483647    69985     20 |  2.739 % |
21.03/21.14	c |     72669 |   27268   199509   784765 | 2147483647    70086     20 |  2.739 % |
21.03/21.19	c |     72779 |   27268   199509   784765 | 2147483647    70196     20 |  2.739 % |
21.13/21.27	c |     72901 |   27268   199509   784765 | 2147483647    70318     20 |  2.739 % |
21.23/21.34	c |     73035 |   27268   199509   784765 | 2147483647    70452     20 |  2.739 % |
21.33/21.45	c |     73181 |   27267   199461   784624 | 2147483647    70597     20 |  2.743 % |
21.43/21.51	c |     73341 |   27267   199461   784624 | 2147483647    70757     20 |  2.743 % |
21.43/21.58	c |     73517 |   27267   199461   784624 | 2147483647    70933     20 |  2.743 % |
21.53/21.66	c |     73711 |   27267   199461   784624 | 2147483647    71127     20 |  2.743 % |
21.62/21.74	c |     73923 |   27262   199461   784624 | 2147483647    71338     20 |  2.771 % |
21.72/21.83	c |     74159 |   27261   199461   784624 | 2147483647    71574     20 |  2.771 % |
21.93/22.05	c |     74416 |   27261   199461   784624 | 2147483647    71831     20 |  2.771 % |
22.02/22.13	c |     74698 |   27261   199461   784624 | 2147483647    72113     20 |  2.771 % |
22.02/22.16	c |     75009 |   27260   199461   784624 | 2147483647    72423     20 |  2.789 % |
22.12/22.24	c |     75349 |   27173   199461   784624 | 2147483647    72762     20 |  3.674 % |
22.32/22.40	c |     75721 |   27171   199461   784624 | 2147483647    73133     20 |  3.688 % |
22.32/22.49	c |     76130 |   27171   199461   784624 | 2147483647    73542     20 |  3.688 % |
22.52/22.63	c |     76579 |   27171   199461   784624 | 2147483647    73991     20 |  3.688 % |
22.62/22.70	c |     77072 |   27171   199461   784624 | 2147483647    74484     20 |  3.688 % |
22.72/22.88	c |     77614 |   27171   199461   784624 | 2147483647    75026     20 |  3.688 % |
22.82/22.93	c |     78210 |   27171   199461   784624 | 2147483647    75622     20 |  3.688 % |
22.93/23.05	c |     78865 |   27171   199461   784624 | 2147483647    76277     20 |  3.688 % |
22.93/23.10	c |     79587 |   27171   199461   784624 | 2147483647    76999     20 |  3.688 % |
23.02/23.17	c |     80379 |   27169   199461   784624 | 2147483647    77791     20 |  3.688 % |
23.12/23.22	c |     81252 |   27169   199461   784624 | 2147483647    78664     20 |  3.688 % |
23.32/23.47	c |     82211 |   27111   199461   784624 | 2147483647    79623     20 |  3.688 % |
23.42/23.53	c |     82311 |   27111   199461   784624 | 2147483647    79723     20 |  3.688 % |
23.42/23.55	c |     82422 |   27111   199461   784624 | 2147483647    79834     20 |  3.688 % |
23.52/23.60	c |     82543 |   27111   199461   784624 | 2147483647    79955     20 |  3.688 % |
23.52/23.64	c |     82676 |   27111   199461   784624 | 2147483647    80088     19 |  3.688 % |
23.52/23.68	c |     82822 |   27111   199461   784624 | 2147483647    80234     20 |  3.688 % |
23.52/23.69	c |     82982 |   27111   199461   784624 | 2147483647    80394     20 |  3.688 % |
23.62/23.75	c |     83158 |   27111   199461   784624 | 2147483647    80570     19 |  3.688 % |
23.72/23.82	c |     83351 |   27111   199461   784624 | 2147483647    80763     19 |  3.688 % |
23.72/23.89	c |     83564 |   27111   199461   784624 | 2147483647    80976     19 |  3.688 % |
23.82/23.98	c |     83797 |   27002   195606   769275 | 2147483647    68783     17 |  3.688 % |
23.92/24.03	c |     84053 |   27002   195606   769275 | 2147483647    69039     17 |  3.688 % |
24.02/24.20	c |     84334 |   27002   195606   769275 | 2147483647    69320     17 |  3.688 % |
24.22/24.32	c |     84643 |   27002   195606   769275 | 2147483647    69629     17 |  3.688 % |
24.32/24.47	c |     84983 |   27002   195606   769275 | 2147483647    69969     17 |  3.688 % |
24.42/24.53	c |     85355 |   27002   195606   769275 | 2147483647    70341     17 |  3.688 % |
24.52/24.67	c |     85764 |   27002   195606   769275 | 2147483647    70750     17 |  3.688 % |
24.62/24.79	c |     86213 |   27002   195606   769275 | 2147483647    71199     17 |  3.688 % |
24.72/24.84	c |     86706 |   26999   195606   769275 | 2147483647    71690     17 |  3.724 % |
24.82/24.97	c |     87248 |   26998   195606   769275 | 2147483647    72232     17 |  3.724 % |
24.92/25.07	c |     87844 |   26996   195606   769275 | 2147483647    72827     17 |  3.731 % |
25.12/25.23	c |     88500 |   26996   195606   769275 | 2147483647    73483     17 |  3.731 % |
25.22/25.34	c |     89221 |   26996   195606   769275 | 2147483647    74204     17 |  3.731 % |
25.31/25.41	c |     90014 |   26996   195606   769275 | 2147483647    74997     17 |  3.731 % |
25.41/25.55	c |     90889 |   26996   195606   769275 | 2147483647    75872     17 |  3.731 % |
25.61/25.79	c |     91848 |   26996   195606   769275 | 2147483647    76831     17 |  3.731 % |
25.91/26.02	c |     92904 |   26963   195234   767816 | 2147483647    76765     17 |  3.849 % |
25.91/26.07	c |     93005 |   26963   195234   767816 | 2147483647    76866     17 |  3.849 % |
25.91/26.08	c |     93116 |   26963   195234   767816 | 2147483647    76977     17 |  3.849 % |
26.01/26.12	c |     93237 |   26963   195234   767816 | 2147483647    77098     17 |  3.849 % |
26.01/26.16	c |     93371 |   26963   195234   767816 | 2147483647    77232     17 |  3.849 % |
26.11/26.26	c |     93518 |   26958   195234   767816 | 2147483647    77379     17 |  3.849 % |
26.21/26.31	c |     93678 |   26958   195234   767816 | 2147483647    77539     17 |  3.849 % |
26.21/26.38	c |     93854 |   26958   195234   767816 | 2147483647    77715     17 |  3.849 % |
26.31/26.45	c |     94048 |   26958   195234   767816 | 2147483647    77909     17 |  3.849 % |
26.51/26.65	c |     94261 |   26957   195234   767816 | 2147483647    78121     17 |  3.852 % |
26.61/26.74	c |     94495 |   26957   195234   767816 | 2147483647    78355     17 |  3.852 % |
26.71/26.85	c |     94751 |   26953   195234   767816 | 2147483647    78610     17 |  3.920 % |
26.81/26.93	c |     95033 |   26953   195234   767816 | 2147483647    78892     17 |  3.920 % |
26.81/26.95	c |     95342 |   26953   195234   767816 | 2147483647    79201     17 |  3.920 % |
26.91/27.02	c |     95681 |   26953   195234   767816 | 2147483647    79540     17 |  3.920 % |
27.01/27.13	c |     96055 |   26953   195234   767816 | 2147483647    79914     17 |  3.920 % |
27.11/27.22	c |     96464 |   26951   195234   767816 | 2147483647    80321     17 |  3.948 % |
27.21/27.33	c |     96913 |   26951   195234   767816 | 2147483647    80770     17 |  3.948 % |
27.31/27.48	c |     97406 |   26951   195234   767816 | 2147483647    81263     17 |  3.948 % |
27.51/27.64	c |     97948 |   26950   195234   767816 | 2147483647    81805     17 |  3.948 % |
27.61/27.79	c |     98547 |   26947   195234   767816 | 2147483647    82403     17 |  3.959 % |
27.81/27.97	c |     99205 |   26947   195234   767816 | 2147483647    83061     17 |  3.959 % |
28.01/28.19	c |     99925 |   26947   195234   767816 | 2147483647    83781     17 |  3.959 % |
28.31/28.43	c |    100717 |   26947   195234   767816 | 2147483647    84573     17 |  3.959 % |
28.71/28.81	c |    101588 |   26926   194681   765572 | 2147483647    83332     17 |  3.959 % |
28.81/28.96	c |    102550 |   26926   194681   765572 | 2147483647    84294     17 |  3.959 % |
29.01/29.19	c |    103607 |   26926   194681   765572 | 2147483647    85351     17 |  3.959 % |
29.41/29.53	c |    104766 |   26926   194681   765572 | 2147483647    86510     17 |  3.959 % |
29.41/29.57	c |    104867 |   26926   194681   765572 | 2147483647    86611     17 |  3.959 % |
29.51/29.61	c |    104977 |   26924   194681   765572 | 2147483647    86720     17 |  3.966 % |
29.51/29.62	c |    105099 |   26924   194681   765572 | 2147483647    86842     17 |  3.966 % |
29.51/29.67	c |    105233 |   26924   194681   765572 | 2147483647    86976     17 |  3.966 % |
29.61/29.74	c |    105379 |   26924   194681   765572 | 2147483647    87122     17 |  3.966 % |
29.61/29.78	c |    105539 |   26924   194681   765572 | 2147483647    87282     17 |  3.966 % |
29.71/29.83	c |    105718 |   26924   194681   765572 | 2147483647    87461     17 |  3.966 % |
29.71/29.89	c |    105911 |   26924   194681   765572 | 2147483647    87654     17 |  3.966 % |
29.81/29.97	c |    106124 |   26924   194681   765572 | 2147483647    87867     17 |  3.966 % |
29.90/30.05	c |    106357 |   26924   194681   765572 | 2147483647    88100     17 |  3.966 % |
29.90/30.07	c |    106615 |   26924   194681   765572 | 2147483647    88358     17 |  3.966 % |
30.00/30.20	c |    106896 |   26924   194681   765572 | 2147483647    88639     17 |  3.966 % |
30.20/30.31	c |    107207 |   26924   194681   765572 | 2147483647    88950     17 |  3.966 % |
30.30/30.49	c |    107546 |   26924   194681   765572 | 2147483647    89289     17 |  3.966 % |
30.50/30.70	c |    107918 |   26924   194681   765572 | 2147483647    89661     17 |  3.966 % |
30.71/30.81	c |    108329 |   26923   194681   765572 | 2147483647    90071     17 |  3.970 % |
30.90/31.02	c |    108778 |   26923   194636   765439 | 2147483647    90476     17 |  3.970 % |
31.00/31.14	c |    109272 |   26923   194636   765439 | 2147483647    90970     17 |  3.970 % |
31.10/31.26	c |    109816 |   26923   194636   765439 | 2147483647    91514     17 |  3.970 % |
31.41/31.52	c |    110413 |   26923   194636   765439 | 2147483647    92111     18 |  3.970 % |
31.71/31.81	c |    111068 |   26923   194636   765439 | 2147483647    92766     18 |  3.970 % |
31.91/32.03	c |    111789 |   26923   194636   765439 | 2147483647    93487     18 |  3.970 % |
32.11/32.22	c |    112581 |   26923   194636   765439 | 2147483647    94279     18 |  3.970 % |
32.31/32.50	c |    113452 |   26923   194636   765439 | 2147483647    95150     18 |  3.970 % |
32.51/32.61	c |    114410 |   26923   194636   765439 | 2147483647    96108     18 |  3.970 % |
32.71/32.84	c |    115465 |   26923   194636   765439 | 2147483647    97163     18 |  3.970 % |
33.10/33.25	c |    116625 |   26918   194636   765439 | 2147483647    98322     18 |  4.009 % |
33.50/33.63	c |    117899 |   26918   194636   765439 | 2147483647    99596     18 |  4.009 % |
33.60/33.72	c |    117999 |   26912   194535   765033 | 2147483647    98819     18 |  4.009 % |
33.60/33.79	c |    118111 |   26912   194535   765033 | 2147483647    98931     18 |  4.009 % |
33.70/33.84	c |    118232 |   26912   194535   765033 | 2147483647    99052     18 |  4.009 % |
33.80/33.92	c |    118365 |   26912   194535   765033 | 2147483647    99185     18 |  4.009 % |
33.80/33.98	c |    118511 |   26912   194535   765033 | 2147483647    99331     18 |  4.009 % |
33.90/34.05	c |    118672 |   26912   194535   765033 | 2147483647    99492     18 |  4.009 % |
34.00/34.11	c |    118848 |   26912   194535   765033 | 2147483647    99668     18 |  4.009 % |
34.10/34.23	c |    119042 |   26912   194535   765033 | 2147483647    99862     18 |  4.009 % |
34.20/34.32	c |    119255 |   26912   194535   765033 | 2147483647   100075     18 |  4.009 % |
34.30/34.44	c |    119488 |   26912   194535   765033 | 2147483647   100308     18 |  4.009 % |
34.30/34.45	c |    119745 |   26912   194535   765033 | 2147483647   100565     18 |  4.009 % |
34.40/34.54	c |    120027 |   26912   194535   765033 | 2147483647   100847     18 |  4.009 % |
34.40/34.58	c |    120339 |   26912   194535   765033 | 2147483647   101159     18 |  4.009 % |
34.50/34.61	c |    120678 |   26912   194535   765033 | 2147483647   101498     18 |  4.009 % |
34.50/34.65	c |    121050 |   26912   194535   765033 | 2147483647   101870     18 |  4.009 % |
34.80/34.91	c |    121460 |   26912   194535   765033 | 2147483647   102280     18 |  4.009 % |
34.90/35.05	c |    121910 |   26912   194535   765033 | 2147483647   102730     18 |  4.009 % |
35.00/35.14	c |    122404 |   26912   194535   765033 | 2147483647   103224     18 |  4.009 % |
35.19/35.31	c |    122947 |   26912   194535   765033 | 2147483647   103767     18 |  4.009 % |
35.39/35.53	c |    123543 |   26911   194535   765033 | 2147483647   104362     18 |  4.013 % |
35.49/35.61	c |    124198 |   26911   194535   765033 | 2147483647   105017     18 |  4.013 % |
35.59/35.74	c |    124918 |   26911   194535   765033 | 2147483647   105737     18 |  4.013 % |
35.99/36.13	c |    125710 |   26911   194535   765033 | 2147483647   106529     18 |  4.013 % |
36.19/36.39	c |    126581 |   26911   194535   765033 | 2147483647   107400     18 |  4.013 % |
36.59/36.76	c |    127540 |   26911   194535   765033 | 2147483647   108359     18 |  4.013 % |
36.88/37.03	c |    128593 |   26911   194502   764937 | 2147483647   109412     18 |  4.013 % |
37.08/37.28	c |    129751 |   26911   194502   764937 | 2147483647   110570     18 |  4.013 % |
37.58/37.74	c |    131024 |   26911   194502   764937 | 2147483647   111843     18 |  4.013 % |
37.88/38.02	c |    132427 |   26908   194502   764937 | 2147483647   113245     18 |  4.023 % |
37.88/38.03	c |    132527 |   26908   194502   764937 | 2147483647   113345     18 |  4.023 % |
37.88/38.05	c |    132638 |   26908   194502   764937 | 2147483647   113456     18 |  4.023 % |
37.88/38.06	c |    132760 |   26908   194502   764937 | 2147483647   113578     18 |  4.023 % |
37.88/38.08	c |    132895 |   26908   194502   764937 | 2147483647   113713     18 |  4.023 % |
37.99/38.16	c |    133041 |   26908   194502   764937 | 2147483647   113859     18 |  4.023 % |
38.19/38.31	c |    133203 |   26908   194502   764937 | 2147483647   114021     18 |  4.023 % |
38.29/38.42	c |    133380 |   26908   194502   764937 | 2147483647   114198     18 |  4.023 % |
38.39/38.56	c |    133573 |   26908   194502   764937 | 2147483647   114391     18 |  4.023 % |
38.58/38.75	c |    133785 |   26908   194502   764937 | 2147483647   114603     18 |  4.023 % |
38.68/38.85	c |    134018 |   26908   194502   764937 | 2147483647   114836     18 |  4.023 % |
38.78/38.97	c |    134274 |   26908   194502   764937 | 2147483647   115092     18 |  4.023 % |
38.88/39.03	c |    134555 |   26908   194502   764937 | 2147483647   115373     18 |  4.023 % |
39.08/39.23	c |    134864 |   26908   194502   764937 | 2147483647   115682     18 |  4.023 % |
39.18/39.34	c |    135205 |   26905   194502   764937 | 2147483647   116022     18 |  4.034 % |
39.38/39.52	c |    135579 |   26899   194502   764937 | 2147483647   116394     18 |  4.145 % |
39.48/39.65	c |    135988 |   26895   194502   764937 | 2147483647   116803     18 |  4.145 % |
39.58/39.78	c |    136437 |   26895   194502   764937 | 2147483647   117252     18 |  4.145 % |
39.78/39.91	c |    136930 |   26895   194502   764937 | 2147483647   117745     18 |  4.145 % |
39.88/40.10	c |    137472 |   26893   194502   764937 | 2147483647   118286     18 |  4.148 % |
40.18/40.36	c |    138068 |   26893   194502   764937 | 2147483647   118882     18 |  4.148 % |
40.48/40.62	c |    138723 |   26873   193677   761630 | 2147483647   119498     18 |  4.148 % |
40.58/40.72	c |    139443 |   26873   193677   761630 | 2147483647   120218     18 |  4.148 % |
40.77/40.90	c |    140235 |   26873   193677   761630 | 2147483647   121010     18 |  4.148 % |
40.97/41.14	c |    141106 |   26873   193677   761630 | 2147483647   121881     18 |  4.148 % |
41.07/41.23	c |    142071 |   26873   193677   761630 | 2147483647   122846     18 |  4.148 % |
41.17/41.33	c |    143125 |   26873   193677   761630 | 2147483647   123900     18 |  4.148 % |
41.57/41.79	c |    144283 |   26872   193677   761630 | 2147483647   125057     18 |  4.152 % |
41.87/42.08	c |    145558 |   26872   193677   761630 | 2147483647   126332     18 |  4.152 % |
42.37/42.59	c |    146958 |   26872   193677   761630 | 2147483647   127732     19 |  4.152 % |
42.97/43.13	c |    148498 |   26872   193677   761630 | 2147483647   129272     18 |  4.152 % |
42.97/43.17	c |    148598 |   26872   193677   761630 | 2147483647   129372     18 |  4.152 % |
43.07/43.24	c |    148708 |   26872   193677   761630 | 2147483647   129482     18 |  4.152 % |
43.17/43.30	c |    148830 |   26872   193677   761630 | 2147483647   129604     18 |  4.152 % |
43.17/43.39	c |    148965 |   26872   193677   761630 | 2147483647   129739     18 |  4.152 % |
43.27/43.43	c |    149113 |   26872   193677   761630 | 2147483647   129887     19 |  4.152 % |
43.27/43.45	c |    149273 |   26872   193677   761630 | 2147483647   130047     19 |  4.152 % |
43.27/43.48	c |    149450 |   26872   193677   761630 | 2147483647   130224     19 |  4.152 % |
43.47/43.61	c |    149644 |   26872   193677   761630 | 2147483647   130418     19 |  4.152 % |
43.47/43.70	c |    149857 |   26872   193677   761630 | 2147483647   130631     19 |  4.152 % |
43.56/43.74	c |    150093 |   26872   193677   761630 | 2147483647   130867     19 |  4.152 % |
43.66/43.84	c |    150349 |   26872   193677   761630 | 2147483647   131123     19 |  4.152 % |
43.76/43.99	c |    150630 |   26872   193677   761630 | 2147483647   131404     19 |  4.152 % |
43.86/44.06	c |    150939 |   26872   193666   761600 | 2147483647   131713     19 |  4.152 % |
43.96/44.16	c |    151278 |   26872   193666   761600 | 2147483647   132052     19 |  4.152 % |
44.06/44.27	c |    151650 |   26872   193666   761600 | 2147483647   132424     19 |  4.152 % |
44.16/44.38	c |    152060 |   26872   193666   761600 | 2147483647   132834     19 |  4.152 % |
44.26/44.45	c |    152509 |   26872   193666   761600 | 2147483647   133283     19 |  4.152 % |
44.36/44.53	c |    153003 |   26872   193666   761600 | 2147483647   133777     19 |  4.152 % |
44.56/44.75	c |    153546 |   26872   193666   761600 | 2147483647   134320     19 |  4.152 % |
44.76/44.93	c |    154144 |   26872   193666   761600 | 2147483647   134918     19 |  4.152 % |
45.05/45.20	c |    154800 |   26866   193666   761600 | 2147483647   135572     19 |  4.198 % |
45.25/45.50	c |    155522 |   26866   193666   761600 | 2147483647   136294     19 |  4.198 % |
45.45/45.63	c |    156314 |   26866   193666   761600 | 2147483647   137086     19 |  4.198 % |
45.85/46.07	c |    157185 |   26863   193666   761600 | 2147483647   137957     19 |  4.198 % |
46.35/46.58	c |    158145 |   26863   193666   761600 | 2147483647   138917     19 |  4.198 % |
46.65/46.84	c |    159199 |   26863   193666   761600 | 2147483647   139971     19 |  4.198 % |
47.26/47.45	c |    160357 |   26863   193666   761600 | 2147483647   141129     19 |  4.198 % |
47.66/47.84	c |    161630 |   26863   193666   761600 | 2147483647   142402     19 |  4.198 % |
48.26/48.41	c |    163030 |   26863   193666   761600 | 2147483647   143802     19 |  4.198 % |
48.96/49.14	c |    164571 |   26854   193463   760933 | 2147483647   145330     19 |  4.298 % |
49.26/49.41	c |    166265 |   26853   193463   760933 | 2147483647   147024     19 |  4.298 % |
49.26/49.46	c |    166365 |   26853   193463   760933 | 2147483647   147124     19 |  4.298 % |
49.36/49.54	c |    166475 |   26853   193463   760933 | 2147483647   147234     19 |  4.298 % |
49.46/49.65	c |    166597 |   26853   193463   760933 | 2147483647   147356     19 |  4.298 % |
49.46/49.67	c |    166732 |   26853   193463   760933 | 2147483647   147491     19 |  4.298 % |
49.56/49.76	c |    166878 |   26853   193463   760933 | 2147483647   147637     19 |  4.298 % |
49.76/49.90	c |    167040 |   26847   193463   760933 | 2147483647   147799     19 |  4.298 % |
49.86/50.04	c |    167216 |   26846   193463   760933 | 2147483647   147974     19 |  4.302 % |
49.86/50.09	c |    167409 |   26846   193463   760933 | 2147483647   148167     19 |  4.302 % |
49.96/50.19	c |    167623 |   26846   193463   760933 | 2147483647   148381     19 |  4.302 % |
50.06/50.27	c |    167856 |   26846   193463   760933 | 2147483647   148614     19 |  4.302 % |
50.16/50.39	c |    168112 |   26846   193463   760933 | 2147483647   148870     19 |  4.302 % |
50.26/50.45	c |    168395 |   26846   193463   760933 | 2147483647   149153     19 |  4.302 % |
50.26/50.49	c |    168704 |   26846   193463   760933 | 2147483647   149462     19 |  4.302 % |
50.56/50.72	c |    169044 |   26846   193463   760933 | 2147483647   149802     19 |  4.302 % |
50.66/50.87	c |    169417 |   26846   193463   760933 | 2147483647   150175     19 |  4.302 % |
50.75/50.99	c |    169826 |   26846   193463   760933 | 2147483647   150584     19 |  4.302 % |
50.95/51.19	c |    170275 |   26846   193463   760933 | 2147483647   151033     19 |  4.302 % |
51.25/51.48	c |    170771 |   26846   193463   760933 | 2147483647   151529     19 |  4.302 % |
51.46/51.67	c |    171314 |   26846   193463   760933 | 2147483647   152072     19 |  4.302 % |
51.75/51.91	c |    171913 |   26846   193463   760933 | 2147483647   152671     19 |  4.302 % |
52.15/52.30	c |    172568 |   26846   193463   760933 | 2147483647   153326     19 |  4.302 % |
52.25/52.44	c |    173288 |   26846   193463   760933 | 2147483647   154046     19 |  4.302 % |
52.35/52.58	c |    174082 |   26846   193463   760933 | 2147483647   154840     19 |  4.302 % |
52.65/52.89	c |    174954 |   26846   193463   760933 | 2147483647   155712     19 |  4.302 % |
52.95/53.19	c |    175914 |   26846   193463   760933 | 2147483647   156672     19 |  4.302 % |
53.25/53.40	c |    176967 |   26846   193463   760933 | 2147483647   157725     19 |  4.302 % |
53.55/53.74	c |    178125 |   26846   193463   760933 | 2147483647   158883     19 |  4.302 % |
53.75/53.99	c |    179398 |   26830   193167   759763 | 2147483647   159646     19 |  4.302 % |
54.55/54.72	c |    180798 |   26830   193167   759763 | 2147483647   161046     20 |  4.302 % |
54.85/55.03	c |    182340 |   26830   193167   759763 | 2147483647   162588     20 |  4.302 % |
55.14/55.32	c |    184034 |   26830   193167   759763 | 2147483647   164282     20 |  4.302 % |
56.04/56.21	c |    185899 |   26830   193167   759763 | 2147483647   166147     20 |  4.302 % |
56.04/56.27	c |    186001 |   26830   193167   759763 | 2147483647   166249     20 |  4.302 % |
56.14/56.34	c |    186111 |   26830   193167   759763 | 2147483647   166359     20 |  4.302 % |
56.24/56.47	c |    186232 |   26830   193167   759763 | 2147483647   166480     20 |  4.302 % |
56.34/56.54	c |    186366 |   26830   193167   759763 | 2147483647   166614     20 |  4.302 % |
56.44/56.67	c |    186512 |   26830   193167   759763 | 2147483647   166760     20 |  4.302 % |
56.54/56.74	c |    186673 |   26830   193167   759763 | 2147483647   166921     20 |  4.302 % |
56.65/56.89	c |    186849 |   26830   193167   759763 | 2147483647   167097     20 |  4.302 % |
56.85/57.08	c |    187042 |   26830   193167   759763 | 2147483647   167290     20 |  4.302 % |
57.06/57.23	c |    187255 |   26830   193167   759763 | 2147483647   167503     20 |  4.302 % |
57.15/57.36	c |    187489 |   26830   193167   759763 | 2147483647   167737     20 |  4.302 % |
57.35/57.53	c |    187746 |   26830   193167   759763 | 2147483647   167994     20 |  4.302 % |
57.45/57.62	c |    188030 |   26830   193167   759763 | 2147483647   168278     20 |  4.302 % |
57.55/57.71	c |    188340 |   26830   193167   759763 | 2147483647   168588     20 |  4.302 % |
57.75/57.98	c |    188681 |   26830   193167   759763 | 2147483647   168929     20 |  4.302 % |
57.95/58.14	c |    189054 |   26830   193167   759763 | 2147483647   169302     20 |  4.302 % |
58.15/58.35	c |    189464 |   26830   193167   759763 | 2147483647   169712     20 |  4.302 % |
58.55/58.73	c |    189915 |   26830   193167   759763 | 2147483647   170163     20 |  4.302 % |
58.75/58.95	c |    190409 |   26830   193167   759763 | 2147483647   170657     20 |  4.302 % |
59.05/59.29	c |    190951 |   26830   193167   759763 | 2147483647   171199     20 |  4.302 % |
59.35/59.55	c |    191550 |   26830   193167   759763 | 2147483647   171798     20 |  4.302 % |
59.65/59.81	c |    192208 |   26830   193167   759763 | 2147483647   172456     20 |  4.302 % |
59.65/59.86	c |    192928 |   26830   193167   759763 | 2147483647   173176     20 |  4.302 % |
59.95/60.17	c |    193720 |   26830   193167   759763 | 2147483647   173968     20 |  4.302 % |
60.15/60.36	c |    194592 |   26830   193167   759763 | 2147483647   174840     20 |  4.302 % |
60.25/60.49	c |    195551 |   26830   193167   759763 | 2147483647   175799     20 |  4.302 % |
60.85/61.02	c |    196604 |   26830   193167   759763 | 2147483647   176852     20 |  4.302 % |
61.75/61.93	c |    197763 |   26830   193167   759763 | 2147483647   178011     20 |  4.302 % |
61.85/62.07	c |    199040 |   26830   193167   759763 | 2147483647   179288     20 |  4.302 % |
62.45/62.69	c |    200440 |   26830   193167   759763 | 2147483647   180688     20 |  4.302 % |
63.24/63.46	c |    201981 |   26830   193167   759763 | 2147483647   182229     20 |  4.302 % |
63.84/64.00	c |    203675 |   26830   193167   759763 | 2147483647   183923     20 |  4.302 % |
64.64/64.84	c |    205539 |   26830   193167   759763 | 2147483647   185787     20 |  4.302 % |
65.75/65.96	c |    207589 |   26830   193167   759763 | 2147483647   187837     20 |  4.302 % |
65.85/66.06	c |    207689 |   26830   193167   759763 | 2147483647   187937     20 |  4.302 % |
65.95/66.11	c |    207799 |   26830   193167   759763 | 2147483647   188047     20 |  4.302 % |
66.05/66.26	c |    207922 |   26830   193167   759763 | 2147483647   188170     20 |  4.302 % |
66.15/66.36	c |    208058 |   26830   193167   759763 | 2147483647   188306     20 |  4.302 % |
66.25/66.45	c |    208204 |   26830   193167   759763 | 2147483647   188452     20 |  4.302 % |
66.35/66.53	c |    208368 |   26830   193167   759763 | 2147483647   188616     20 |  4.302 % |
66.45/66.64	c |    208544 |   26830   193167   759763 | 2147483647   188792     20 |  4.302 % |
66.55/66.76	c |    208738 |   26830   193167   759763 | 2147483647   188986     20 |  4.302 % |
66.64/66.88	c |    208950 |   26830   193167   759763 | 2147483647   189198     20 |  4.302 % |
66.85/67.10	c |    209183 |   26830   193167   759763 | 2147483647   189431     20 |  4.302 % |
67.14/67.36	c |    209439 |   26826   193150   759681 | 2147483647   189609     20 |  4.316 % |
67.24/67.46	c |    209720 |   26826   193150   759681 | 2147483647   189890     20 |  4.316 % |
67.44/67.62	c |    210029 |   26826   193150   759681 | 2147483647   190199     20 |  4.316 % |
67.54/67.75	c |    210369 |   26826   193150   759681 | 2147483647   190539     20 |  4.316 % |
67.64/67.89	c |    210741 |   26826   193150   759681 | 2147483647   190911     20 |  4.316 % |
67.84/68.02	c |    211150 |   26826   193150   759681 | 2147483647   191320     20 |  4.316 % |
68.05/68.28	c |    211599 |   26826   193150   759681 | 2147483647   191769     20 |  4.316 % |
68.34/68.50	c |    212093 |   26826   193150   759681 | 2147483647   192263     20 |  4.316 % |
68.54/68.79	c |    212635 |   26825   193150   759681 | 2147483647   192804     20 |  4.327 % |
68.74/69.00	c |    213231 |   26819   193150   759681 | 2147483647   193399     20 |  4.348 % |
68.94/69.13	c |    213886 |   26819   193150   759681 | 2147483647   194054     20 |  4.348 % |
69.24/69.44	c |    214609 |   26819   193150   759681 | 2147483647   194777     20 |  4.348 % |
69.94/70.16	c |    215401 |   26819   193150   759681 | 2147483647   195569     20 |  4.348 % |
70.24/70.42	c |    216273 |   26819   193150   759681 | 2147483647   196441     20 |  4.348 % |
70.64/70.81	c |    217232 |   26819   193150   759681 | 2147483647   197400     21 |  4.348 % |
71.04/71.24	c |    218285 |   26819   193150   759681 | 2147483647   198453     21 |  4.348 % |
71.34/71.59	c |    219444 |   26819   193150   759681 | 2147483647   199612     21 |  4.348 % |
71.73/71.92	c |    220719 |   26819   193150   759681 | 2147483647   200887     21 |  4.348 % |
72.33/72.52	c |    222120 |   26819   193150   759681 | 2147483647   202288     21 |  4.348 % |
73.14/73.38	c |    223660 |   26819   193150   759681 | 2147483647   203828     21 |  4.348 % |
73.44/73.70	c |    225356 |   26819   193150   759681 | 2147483647   205524     21 |  4.348 % |
74.14/74.31	c |    227220 |   26819   193150   759681 | 2147483647   207388     21 |  4.348 % |
75.14/75.33	c |    229269 |   26819   193150   759681 | 2147483647   209437     21 |  4.348 % |
76.14/76.37	c |    231522 |   26817   193003   759236 | 2147483647   211674     21 |  4.348 % |
76.24/76.47	c |    231623 |   26817   193003   759236 | 2147483647   211775     21 |  4.348 % |
76.34/76.53	c |    231733 |   26817   193003   759236 | 2147483647   211885     21 |  4.348 % |
76.44/76.66	c |    231856 |   26817   193003   759236 | 2147483647   212008     21 |  4.348 % |
76.54/76.74	c |    231989 |   26817   193003   759236 | 2147483647   212141     21 |  4.348 % |
76.64/76.85	c |    232136 |   26817   193003   759236 | 2147483647   212288     21 |  4.348 % |
76.74/76.98	c |    232297 |   26817   193003   759236 | 2147483647   212449     21 |  4.348 % |
76.84/77.09	c |    232473 |   26817   193003   759236 | 2147483647   212625     21 |  4.348 % |
77.04/77.20	c |    232668 |   26817   193003   759236 | 2147483647   212820     21 |  4.348 % |
77.04/77.28	c |    232880 |   26817   193003   759236 | 2147483647   213032     21 |  4.348 % |
77.24/77.44	c |    233113 |   26817   193003   759236 | 2147483647   213265     21 |  4.348 % |
77.44/77.65	c |    233369 |   26817   193003   759236 | 2147483647   213521     21 |  4.348 % |
77.64/77.81	c |    233650 |   26817   193003   759236 | 2147483647   213802     21 |  4.348 % |
77.74/77.97	c |    233959 |   26817   193003   759236 | 2147483647   214111     21 |  4.348 % |
78.14/78.31	c |    234299 |   26817   193003   759236 | 2147483647   214451     21 |  4.348 % |
78.44/78.66	c |    234673 |   26817   193003   759236 | 2147483647   214825     21 |  4.348 % |
78.74/78.93	c |    235082 |   26817   193003   759236 | 2147483647   215234     21 |  4.348 % |
78.84/79.06	c |    235531 |   26817   193003   759236 | 2147483647   215683     21 |  4.348 % |
79.04/79.30	c |    236024 |   26817   193003   759236 | 2147483647   216176     21 |  4.348 % |
79.43/79.61	c |    236566 |   26817   193003   759236 | 2147483647   216718     21 |  4.348 % |
79.83/80.00	c |    237162 |   26817   193003   759236 | 2147483647   217314     21 |  4.348 % |
80.23/80.48	c |    237817 |   26817   193003   759236 | 2147483647   217969     21 |  4.348 % |
80.63/80.89	c |    238537 |   26817   193003   759236 | 2147483647   218689     21 |  4.348 % |
80.83/81.07	c |    239329 |   26817   193003   759236 | 2147483647   219481     21 |  4.348 % |
81.24/81.48	c |    240201 |   26817   193003   759236 | 2147483647   220353     21 |  4.348 % |
81.53/81.77	c |    241160 |   26817   193003   759236 | 2147483647   221312     21 |  4.348 % |
82.13/82.38	c |    242213 |   26817   193003   759236 | 2147483647   222365     21 |  4.348 % |
83.23/83.42	c |    243371 |   26817   193003   759236 | 2147483647   223523     21 |  4.348 % |
84.23/84.46	c |    244645 |   26817   193003   759236 | 2147483647   224797     21 |  4.348 % |
85.53/85.74	c |    246046 |   26816   192990   759194 | 2147483647   226196     21 |  4.352 % |
85.93/86.18	c |    247586 |   26806   192990   759194 | 2147483647   227735     21 |  4.444 % |
86.53/86.78	c |    249282 |   26806   192990   759194 | 2147483647   229431     21 |  4.444 % |
87.02/87.27	c |    251145 |   26806   192990   759194 | 2147483647   231294     21 |  4.444 % |
88.12/88.38	c |    253196 |   26804   192990   759194 | 2147483647   233345     21 |  4.444 % |
88.83/89.05	c |    255450 |   26796   192990   759194 | 2147483647   235597     21 |  4.473 % |
89.63/89.84	c |    257930 |   26796   192990   759194 | 2147483647   238077     22 |  4.473 % |
89.73/89.95	c |    258030 |   26796   192990   759194 | 2147483647   238177     22 |  4.473 % |
89.83/90.06	c |    258143 |   26796   192990   759194 | 2147483647   238290     22 |  4.473 % |
89.93/90.18	c |    258265 |   26796   192990   759194 | 2147483647   238412     22 |  4.473 % |
90.03/90.29	c |    258399 |   26796   192990   759194 | 2147483647   238546     22 |  4.473 % |
90.23/90.42	c |    258545 |   26796   192990   759194 | 2147483647   238692     22 |  4.473 % |
90.43/90.62	c |    258706 |   26796   192990   759194 | 2147483647   238853     22 |  4.473 % |
90.53/90.77	c |    258883 |   26796   192990   759194 | 2147483647   239030     22 |  4.473 % |
90.73/90.98	c |    259076 |   26796   192990   759194 | 2147483647   239223     22 |  4.473 % |
90.93/91.10	c |    259288 |   26796   192990   759194 | 2147483647   239435     22 |  4.473 % |
91.13/91.31	c |    259521 |   26796   192990   759194 | 2147483647   239668     22 |  4.473 % |
91.23/91.43	c |    259778 |   26796   192990   759194 | 2147483647   239925     22 |  4.473 % |
91.43/91.67	c |    260061 |   26796   192990   759194 | 2147483647   240208     22 |  4.473 % |
91.63/91.84	c |    260370 |   26796   192990   759194 | 2147483647   240517     22 |  4.473 % |
91.83/92.10	c |    260709 |   26796   192990   759194 | 2147483647   240856     22 |  4.473 % |
92.23/92.47	c |    261082 |   26796   192990   759194 | 2147483647   241229     22 |  4.473 % |
92.33/92.57	c |    261491 |   26796   192990   759194 | 2147483647   241638     22 |  4.473 % |
92.53/92.79	c |    261940 |   26796   192990   759194 | 2147483647   242087     22 |  4.473 % |
92.83/93.03	c |    262434 |   26796   192990   759194 | 2147483647   242581     22 |  4.473 % |
92.83/93.09	c |    262977 |   26796   192990   759194 | 2147483647   243124     22 |  4.473 % |
93.33/93.54	c |    263577 |   26795   192990   759194 | 2147483647   243724     22 |  4.473 % |
93.72/93.92	c |    264232 |   26795   192990   759194 | 2147483647   244379     22 |  4.473 % |
93.92/94.11	c |    264954 |   26795   192990   759194 | 2147483647   245101     22 |  4.473 % |
93.92/94.17	c |    265748 |   26795   192990   759194 | 2147483647   245895     22 |  4.473 % |
94.33/94.52	c |    266620 |   26795   192990   759194 | 2147483647   246767     22 |  4.473 % |
95.53/95.76	c |    267578 |   26795   192990   759194 | 2147483647   247725     22 |  4.473 % |
96.32/96.56	c |    268632 |   26782   192325   756790 | 2147483647   248257     22 |  4.473 % |
96.72/96.97	c |    269790 |   26782   192325   756790 | 2147483647   249415     22 |  4.473 % |
97.12/97.40	c |    271073 |   26782   192325   756790 | 2147483647   250698     22 |  4.473 % |
98.22/98.42	c |    272476 |   26782   192325   756790 | 2147483647   252101     22 |  4.473 % |
98.72/99.00	c |    274016 |   26782   192325   756790 | 2147483647   253641     22 |  4.473 % |
99.82/100.10	c |    275710 |   26782   192325   756790 | 2147483647   255335     22 |  4.473 % |
100.42/100.67	c |    277576 |   26782   192325   756790 | 2147483647   257201     22 |  4.473 % |
102.32/102.54	c |    279626 |   26782   192325   756790 | 2147483647   259251     22 |  4.473 % |
103.51/103.73	c |    281880 |   26782   192325   756790 | 2147483647   261505     22 |  4.473 % |
105.01/105.22	c |    284358 |   26779   192325   756790 | 2147483647   263982     22 |  4.484 % |
106.12/106.33	c |    287091 |   26779   192325   756790 | 2147483647   266715     22 |  4.484 % |
106.22/106.42	c |    287193 |   26779   192325   756790 | 2147483647   266817     22 |  4.484 % |
106.32/106.59	c |    287303 |   26779   192325   756790 | 2147483647   266927     22 |  4.484 % |
106.52/106.72	c |    287425 |   26779   192325   756790 | 2147483647   267049     22 |  4.484 % |
106.72/106.93	c |    287559 |   26779   192325   756790 | 2147483647   267183     22 |  4.484 % |
106.92/107.10	c |    287706 |   26779   192325   756790 | 2147483647   267330     22 |  4.484 % |
107.02/107.29	c |    287866 |   26779   192325   756790 | 2147483647   267490     22 |  4.484 % |
107.22/107.49	c |    288043 |   26779   192325   756790 | 2147483647   267667     22 |  4.484 % |
107.42/107.67	c |    288236 |   26779   192325   756790 | 2147483647   267860     22 |  4.484 % |
107.72/107.92	c |    288449 |   26779   192325   756790 | 2147483647   268073     22 |  4.484 % |
107.92/108.19	c |    288684 |   26779   192325   756790 | 2147483647   268308     22 |  4.484 % |
108.22/108.44	c |    288944 |   26779   192325   756790 | 2147483647   268568     22 |  4.484 % |
108.52/108.71	c |    289225 |   26779   192325   756790 | 2147483647   268849     22 |  4.484 % |
108.72/108.98	c |    289534 |   26779   192325   756790 | 2147483647   269158     22 |  4.484 % |
109.12/109.33	c |    289873 |   26779   192325   756790 | 2147483647   269497     22 |  4.484 % |
109.51/109.71	c |    290245 |   26779   192297   756672 | 2147483647   269867     22 |  4.484 % |
109.82/110.05	c |    290654 |   26779   192297   756672 | 2147483647   270276     22 |  4.484 % |
110.31/110.52	c |    291103 |   26779   192297   756672 | 2147483647   270725     22 |  4.484 % |
110.51/110.71	c |    291599 |   26779   192297   756672 | 2147483647   271221     22 |  4.484 % |
110.82/111.04	c |    292141 |   26779   192297   756672 | 2147483647   271763     22 |  4.484 % |
111.41/111.62	c |    292739 |   26778   192297   756672 | 2147483647   272360     22 |  4.487 % |
111.92/112.15	c |    293394 |   26778   192297   756672 | 2147483647   273015     22 |  4.487 % |
112.71/112.95	c |    294114 |   26778   192297   756672 | 2147483647   273735     22 |  4.487 % |
113.31/113.53	c |    294906 |   26778   192297   756672 | 2147483647   274527     22 |  4.487 % |
113.81/114.01	c |    295777 |   26778   192297   756672 | 2147483647   275398     22 |  4.487 % |
114.11/114.35	c |    296735 |   26778   192297   756672 | 2147483647   276356     22 |  4.487 % |
114.91/115.10	c |    297788 |   26778   192297   756672 | 2147483647   277409     22 |  4.487 % |
115.11/115.33	c |    298946 |   26778   192297   756672 | 2147483647   278567     22 |  4.487 % |
116.30/116.51	c |    300220 |   26778   192297   756672 | 2147483647   279841     22 |  4.487 % |
116.60/116.89	c |    301620 |   26778   192297   756672 | 2147483647   281241     22 |  4.487 % |
117.70/117.96	c |    303161 |   26778   192297   756672 | 2147483647   282782     22 |  4.487 % |
119.70/119.99	c |    304855 |   26778   192297   756672 | 2147483647   284475     22 |  4.498 % |
121.10/121.33	c |    306718 |   26775   192297   756672 | 2147483647   286338     22 |  4.498 % |
122.70/122.90	c |    308768 |   26772   192297   756672 | 2147483647   288387     22 |  4.509 % |
124.60/124.87	c |    311024 |   26772   192297   756672 | 2147483647   290643     22 |  4.508 % |
125.80/126.00	c |    313502 |   26772   192251   756423 | 2147483647   292262     22 |  4.508 % |
127.41/127.61	c |    316227 |   26772   192251   756423 | 2147483647   294987     22 |  4.509 % |
128.51/128.71	c |    319224 |   26772   192251   756423 | 2147483647   297984     22 |  4.508 % |
128.60/128.89	c |    319325 |   26772   192251   756423 | 2147483647   298085     22 |  4.508 % |
128.80/129.05	c |    319435 |   26772   192251   756423 | 2147483647   298195     22 |  4.509 % |
129.00/129.20	c |    319556 |   26772   192251   756423 | 2147483647   298316     22 |  4.508 % |
129.10/129.35	c |    319689 |   26772   192251   756423 | 2147483647   298449     22 |  4.508 % |
129.10/129.37	c |    319836 |   26772   192251   756423 | 2147483647   298596     22 |  4.508 % |
129.30/129.56	c |    319996 |   26772   192251   756423 | 2147483647   298756     22 |  4.508 % |
129.50/129.78	c |    320173 |   26772   192251   756423 | 2147483647   298933     22 |  4.508 % |
129.70/129.91	c |    320366 |   26772   192251   756423 | 2147483647   299126     22 |  4.509 % |
129.90/130.10	c |    320581 |   26772   192251   756423 | 2147483647   299341     22 |  4.508 % |
130.10/130.31	c |    320814 |   26772   192251   756423 | 2147483647   299574     22 |  4.508 % |
130.40/130.62	c |    321070 |   26772   192251   756423 | 2147483647   299830     22 |  4.508 % |
130.50/130.72	c |    321353 |   26772   192251   756423 | 2147483647   300113     22 |  4.509 % |
130.90/131.15	c |    321662 |   26772   192251   756423 | 2147483647   300422     22 |  4.508 % |
131.00/131.26	c |    322008 |   26772   192251   756423 | 2147483647   300768     22 |  4.509 % |
131.40/131.64	c |    322380 |   26772   192251   756423 | 2147483647   301140     22 |  4.508 % |
131.50/131.77	c |    322789 |   26772   192251   756423 | 2147483647   301549     22 |  4.509 % |
131.90/132.18	c |    323243 |   26772   192251   756423 | 2147483647   302003     22 |  4.508 % |
132.40/132.69	c |    323736 |   26772   192251   756423 | 2147483647   302496     22 |  4.508 % |
132.90/133.15	c |    324278 |   26772   192251   756423 | 2147483647   303038     22 |  4.509 % |
133.60/133.83	c |    324875 |   26772   192251   756423 | 2147483647   303635     23 |  4.508 % |
134.00/134.23	c |    325530 |   26772   192251   756423 | 2147483647   304290     22 |  4.508 % |
134.89/135.15	c |    326252 |   26772   192251   756423 | 2147483647   305012     23 |  4.508 % |
135.10/135.39	c |    327046 |   26772   192251   756423 | 2147483647   305806     23 |  4.509 % |
135.69/135.92	c |    327917 |   26772   192251   756423 | 2147483647   306677     23 |  4.508 % |
136.39/136.60	c |    328875 |   26772   192251   756423 | 2147483647   307635     23 |  4.508 % |
136.59/136.87	c |    329930 |   26772   192251   756423 | 2147483647   308690     23 |  4.508 % |
137.79/138.00	c |    331088 |   26772   192251   756423 | 2147483647   309848     23 |  4.508 % |
138.19/138.48	c |    332363 |   26772   192251   756423 | 2147483647   311123     23 |  4.509 % |
140.09/140.38	c |    333764 |   26772   192251   756423 | 2147483647   312524     23 |  4.508 % |
141.19/141.49	c |    335304 |   26772   192251   756423 | 2147483647   314064     23 |  4.508 % |
143.09/143.32	c |    337002 |   26772   192251   756423 | 2147483647   315762     23 |  4.508 % |
144.68/144.98	c |    338867 |   26772   192251   756423 | 2147483647   317627     23 |  4.509 % |
146.39/146.66	c |    340916 |   26772   192251   756423 | 2147483647   319676     23 |  4.508 % |
147.39/147.63	c |    343170 |   26772   192251   756423 | 2147483647   321930     23 |  4.508 % |
149.79/150.08	c |    345651 |   26770   192230   756354 | 2147483647   324409     23 |  4.516 % |
152.99/153.29	c |    348376 |   26770   192230   756354 | 2147483647   327134     23 |  4.516 % |
154.39/154.62	c |    351373 |   26759   192230   756354 | 2147483647   330130     23 |  4.591 % |
158.58/158.86	c |    354669 |   26759   192230   756354 | 2147483647   333426     23 |  4.591 % |
158.68/158.96	c |    354771 |   26759   192230   756354 | 2147483647   333528     23 |  4.591 % |
158.88/159.12	c |    354882 |   26759   192230   756354 | 2147483647   333639     23 |  4.591 % |
158.98/159.27	c |    355003 |   26759   192230   756354 | 2147483647   333760     23 |  4.591 % |
159.19/159.45	c |    355137 |   26759   192230   756354 | 2147483647   333894     23 |  4.591 % |
159.38/159.60	c |    355284 |   26750   192230   756354 | 2147483647   334040     23 |  5.657 % |
159.38/159.68	c |    355444 |   26750   192230   756354 | 2147483647   334200     23 |  5.657 % |
159.68/159.94	c |    355620 |   26750   192230   756354 | 2147483647   334376     23 |  5.657 % |
159.98/160.22	c |    355813 |   26750   192230   756354 | 2147483647   334569     23 |  5.657 % |
160.08/160.32	c |    356028 |   26750   192230   756354 | 2147483647   334784     23 |  5.657 % |
160.38/160.62	c |    356261 |   26750   192230   756354 | 2147483647   335017     23 |  5.657 % |
160.57/160.89	c |    356517 |   26750   192230   756354 | 2147483647   335273     23 |  5.657 % |
160.97/161.24	c |    356798 |   26750   192230   756354 | 2147483647   335554     23 |  5.657 % |
161.27/161.52	c |    357107 |   26750   192230   756354 | 2147483647   335863     23 |  5.657 % |
161.48/161.78	c |    357446 |   26750   192230   756354 | 2147483647   336202     23 |  5.657 % |
161.87/162.10	c |    357819 |   26750   192230   756354 | 2147483647   336575     23 |  5.657 % |
162.17/162.43	c |    358228 |   26748   192230   756354 | 2147483647   336983     23 |  5.664 % |
162.58/162.84	c |    358677 |   26746   192230   756354 | 2147483647   337431     23 |  5.671 % |
162.97/163.21	c |    359172 |   26745   192230   756354 | 2147483647   337925     23 |  5.678 % |
163.27/163.59	c ===============================================================================
163.27/163.59	c restarts              : 761
163.27/163.59	c conflicts             : 359556         (2255 /sec)
163.27/163.59	c decisions             : 1883362        (1.56 % random) (11814 /sec)
163.27/163.59	c propagations          : 96847707       (607520 /sec)
163.27/163.59	c conflict literals     : 8295069        (25.81 % deleted)
163.27/163.59	c Memory used           : 57.67 MB
163.27/163.59	c CPU time              : 159.415 s
163.27/163.59	c 
163.27/163.59	s UNSATISFIABLE
163.27/163.60	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-1834197-1242828622/watcher-1834197-1242828622 -o /tmp/evaluation-result-1834197-1242828622/solver-1834197-1242828622 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834197-1242828622.cnf 

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


[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 2271
/proc/meminfo: memFree=1750784/2055920 swapFree=4180344/4192956
[pid=2271] ppid=2269 vsize=5356 CPUtime=0
/proc/2271/stat : 2271 (SatELiteGTI) S 2269 2271 1203 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310891455 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 270187331666 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/2271/statm: 1339 235 195 169 0 50 0
[pid=2272] ppid=2271 vsize=5356 CPUtime=0
/proc/2272/stat : 2272 (SatELiteGTI) R 2271 2271 1203 0 -1 4194368 61 188 0 0 0 0 0 0 21 0 1 0 310891455 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 270186997137 0 0 4096 65538 0 0 0 17 0 0 0
/proc/2272/statm: -- couldn't open statm file --
[startup+0.084935 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 2271
/proc/meminfo: memFree=1750784/2055920 swapFree=4180344/4192956
[pid=2271] ppid=2269 vsize=5356 CPUtime=0
/proc/2271/stat : 2271 (SatELiteGTI) S 2269 2271 1203 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310891455 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2271/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.102936 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 2271
/proc/meminfo: memFree=1750784/2055920 swapFree=4180344/4192956
[pid=2271] ppid=2269 vsize=5356 CPUtime=0
/proc/2271/stat : 2271 (SatELiteGTI) S 2269 2271 1203 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310891455 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2271/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301958 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 2271
/proc/meminfo: memFree=1750784/2055920 swapFree=4180344/4192956
[pid=2271] ppid=2269 vsize=5356 CPUtime=0
/proc/2271/stat : 2271 (SatELiteGTI) S 2269 2271 1203 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310891455 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2271/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.702003 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 2271
/proc/meminfo: memFree=1750784/2055920 swapFree=4180344/4192956
[pid=2271] ppid=2269 vsize=5356 CPUtime=0
/proc/2271/stat : 2271 (SatELiteGTI) S 2269 2271 1203 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310891455 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2271/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50208 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 2276
/proc/meminfo: memFree=1677160/2055920 swapFree=4180344/4192956
[pid=2271] ppid=2269 vsize=5356 CPUtime=0
/proc/2271/stat : 2271 (SatELiteGTI) S 2269 2271 1203 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310891455 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2271/statm: 1339 237 197 169 0 50 0
[pid=2275] ppid=2271 vsize=83116 CPUtime=1.49
/proc/2275/stat : 2275 (SatELite_releas) R 2271 2271 1203 0 -1 4194304 19320 0 0 0 138 11 0 0 25 0 1 0 310891455 85110784 17912 1992294400 134512640 135223648 4294956128 18446744073709551615 134715459 0 0 4096 3 0 0 0 17 0 0 0
/proc/2275/statm: 20779 17912 76 173 0 20604 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 88472

[startup+3.10128 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 2276
/proc/meminfo: memFree=1666344/2055920 swapFree=4180344/4192956
[pid=2271] ppid=2269 vsize=5356 CPUtime=0
/proc/2271/stat : 2271 (SatELiteGTI) S 2269 2271 1203 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310891455 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2271/statm: 1339 237 197 169 0 50 0
[pid=2275] ppid=2271 vsize=88148 CPUtime=3.08
/proc/2275/stat : 2275 (SatELite_releas) R 2271 2271 1203 0 -1 4194304 20443 0 0 0 293 15 0 0 25 0 1 0 310891455 90263552 18869 1992294400 134512640 135223648 4294956128 18446744073709551615 134586986 0 0 4096 3 0 0 0 17 1 0 0
/proc/2275/statm: 22037 18869 76 173 0 21862 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 93504

[startup+6.30163 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 2277
/proc/meminfo: memFree=1715048/2055920 swapFree=4180344/4192956
[pid=2271] ppid=2269 vsize=5356 CPUtime=3.81
/proc/2271/stat : 2271 (SatELiteGTI) S 2269 2271 1203 0 -1 4194304 336 22411 0 0 0 0 362 19 16 0 1 0 310891455 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2271/statm: 1339 239 197 169 0 50 0
[pid=2277] ppid=2271 vsize=16640 CPUtime=2.44
/proc/2277/stat : 2277 (minisat_static) R 2271 2271 1203 0 -1 4194304 3883 0 0 0 242 2 0 0 25 0 1 0 310891838 17039360 3856 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/2277/statm: 4160 3856 77 171 0 3987 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 21996

[startup+12.7014 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 2277
/proc/meminfo: memFree=1712432/2055920 swapFree=4180344/4192956
[pid=2271] ppid=2269 vsize=5356 CPUtime=3.81
/proc/2271/stat : 2271 (SatELiteGTI) S 2269 2271 1203 0 -1 4194304 336 22411 0 0 0 0 362 19 16 0 1 0 310891455 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2271/statm: 1339 239 197 169 0 50 0
[pid=2277] ppid=2271 vsize=19204 CPUtime=8.83
/proc/2277/stat : 2277 (minisat_static) R 2271 2271 1203 0 -1 4194304 4547 0 0 0 880 3 0 0 25 0 1 0 310891838 19664896 4520 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2277/statm: 4801 4520 77 171 0 4628 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 24560

[startup+25.5018 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 2277
/proc/meminfo: memFree=1706992/2055920 swapFree=4180344/4192956
[pid=2271] ppid=2269 vsize=5356 CPUtime=3.81
/proc/2271/stat : 2271 (SatELiteGTI) S 2269 2271 1203 0 -1 4194304 336 22411 0 0 0 0 362 19 16 0 1 0 310891455 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2271/statm: 1339 239 197 169 0 50 0
[pid=2277] ppid=2271 vsize=24588 CPUtime=21.6
/proc/2277/stat : 2277 (minisat_static) R 2271 2271 1203 0 -1 4194304 5860 0 0 0 2156 4 0 0 25 0 1 0 310891838 25178112 5833 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2277/statm: 6147 5833 77 171 0 5974 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 29944

[startup+51.1017 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 2277
/proc/meminfo: memFree=1699376/2055920 swapFree=4180344/4192956
[pid=2271] ppid=2269 vsize=5356 CPUtime=3.81
/proc/2271/stat : 2271 (SatELiteGTI) S 2269 2271 1203 0 -1 4194304 336 22411 0 0 0 0 362 19 16 0 1 0 310891455 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2271/statm: 1339 239 197 169 0 50 0
[pid=2277] ppid=2271 vsize=32692 CPUtime=47.14
/proc/2277/stat : 2277 (minisat_static) R 2271 2271 1203 0 -1 4194304 7857 0 0 0 4707 7 0 0 25 0 1 0 310891838 33476608 7830 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/2277/statm: 8173 7830 77 171 0 8000 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 38048

[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 2277
/proc/meminfo: memFree=1684016/2055920 swapFree=4180344/4192956
[pid=2271] ppid=2269 vsize=5356 CPUtime=3.81
/proc/2271/stat : 2271 (SatELiteGTI) S 2269 2271 1203 0 -1 4194304 336 22411 0 0 0 0 362 19 16 0 1 0 310891455 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2271/statm: 1339 239 197 169 0 50 0
[pid=2277] ppid=2271 vsize=47632 CPUtime=98.31
/proc/2277/stat : 2277 (minisat_static) R 2271 2271 1203 0 -1 4194304 11588 0 0 0 9820 11 0 0 25 0 1 0 310891838 48775168 11561 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/2277/statm: 11908 11561 77 171 0 11735 0
Current children cumulated CPU time (s) 102.12
Current children cumulated vsize (KiB) 52988

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 2277
/proc/meminfo: memFree=1673072/2055920 swapFree=4180344/4192956
[pid=2271] ppid=2269 vsize=5356 CPUtime=3.81
/proc/2271/stat : 2271 (SatELiteGTI) S 2269 2271 1203 0 -1 4194304 336 22411 0 0 0 0 362 19 16 0 1 0 310891455 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2271/statm: 1339 239 197 169 0 50 0
[pid=2277] ppid=2271 vsize=59052 CPUtime=158.26
/proc/2277/stat : 2277 (minisat_static) R 2271 2271 1203 0 -1 4194304 14325 0 0 0 15812 14 0 0 25 0 1 0 310891838 60469248 14298 1992294400 134512640 135215339 4294956240 18446744073709551615 134529426 0 0 4096 3 0 0 0 17 0 0 0
/proc/2277/statm: 14763 14298 77 171 0 14590 0
Current children cumulated CPU time (s) 162.07
Current children cumulated vsize (KiB) 64408

############
# WARNING:
# current cumulated CPU time (3.81 s) is less than in the last sample (163.27 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (159.46 s) to the 'lost time'.

[startup+163.502 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 2277
/proc/meminfo: memFree=1672944/2055920 swapFree=4180344/4192956
[pid=2271] ppid=2269 vsize=5356 CPUtime=3.81
/proc/2271/stat : 2271 (SatELiteGTI) S 2269 2271 1203 0 -1 4194304 336 22411 0 0 0 0 362 19 16 0 1 0 310891455 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2271/statm: 1339 239 197 169 0 50 0
[pid=2277] ppid=2271 vsize=59052 CPUtime=159.46
/proc/2277/stat : 2277 (minisat_static) R 2271 2271 1203 0 -1 4194304 14355 0 0 0 15932 14 0 0 25 0 1 0 310891838 60469248 14328 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2277/statm: 14763 14328 77 171 0 14590 0
Current children cumulated CPU time (s) 163.27
Current children cumulated vsize (KiB) 64408

[startup+163.602 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 2277
/proc/meminfo: memFree=1672944/2055920 swapFree=4180344/4192956
[pid=2271] ppid=2269 vsize=5356 CPUtime=3.81
/proc/2271/stat : 2271 (SatELiteGTI) S 2269 2271 1203 0 -1 4194304 336 22411 0 0 0 0 362 19 16 0 1 0 310891455 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2271/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 5356
#
############


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

[startup+163.102 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 2277
/proc/meminfo: memFree=1672944/2055920 swapFree=4180344/4192956
[pid=2271] ppid=2269 vsize=5356 CPUtime=3.81
/proc/2271/stat : 2271 (SatELiteGTI) S 2269 2271 1203 0 -1 4194304 336 22411 0 0 0 0 362 19 16 0 1 0 310891455 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2271/statm: 1339 239 197 169 0 50 0
[pid=2277] ppid=2271 vsize=59052 CPUtime=159.06
/proc/2277/stat : 2277 (minisat_static) R 2271 2271 1203 0 -1 4194304 14342 0 0 0 15892 14 0 0 25 0 1 0 310891838 60469248 14315 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2277/statm: 14763 14315 77 171 0 14590 0
Current children cumulated CPU time (s) 162.87
Current children cumulated vsize (KiB) 64408

[startup+163.502 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 2277
/proc/meminfo: memFree=1672944/2055920 swapFree=4180344/4192956
[pid=2271] ppid=2269 vsize=5356 CPUtime=3.81
/proc/2271/stat : 2271 (SatELiteGTI) S 2269 2271 1203 0 -1 4194304 336 22411 0 0 0 0 362 19 16 0 1 0 310891455 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2271/statm: 1339 239 197 169 0 50 0
[pid=2277] ppid=2271 vsize=59052 CPUtime=159.46
/proc/2277/stat : 2277 (minisat_static) R 2271 2271 1203 0 -1 4194304 14355 0 0 0 15932 14 0 0 25 0 1 0 310891838 60469248 14328 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2277/statm: 14763 14328 77 171 0 14590 0
Current children cumulated CPU time (s) 163.27
Current children cumulated vsize (KiB) 64408

[startup+163.602 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 2277
/proc/meminfo: memFree=1672944/2055920 swapFree=4180344/4192956
[pid=2271] ppid=2269 vsize=5356 CPUtime=3.81
/proc/2271/stat : 2271 (SatELiteGTI) S 2269 2271 1203 0 -1 4194304 336 22411 0 0 0 0 362 19 16 0 1 0 310891455 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2271/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 5356

Child status: 20

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2271 and gives
#  childrusage.ru_utime.tv_sec=163
#  childrusage.ru_utime.tv_usec=43213
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=360945
# CPU time returned by wait4() is 163.404
# while last known CPU time is 3.81
#
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 159.46
#  lost CPU user time (s): 159.32
#  lost CPU system time (s): 0.14

Real time (s): 163.616
CPU time (s): 163.27
CPU user time (s): 162.94
CPU system time (s): 0.33
CPU usage (%): 99.7884
Max. virtual memory (cumulated for all children) (KiB): 95268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 163.043
system time used= 0.360945
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37262
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= 46
involuntary context switches= 2118

runsolver used 0.168974 second user time and 0.514921 second system time

The end

Launcher Data 

Begin job on node88 at 2009-05-20 16:10:23
IDJOB=1834197
IDBENCH=71715
IDSOLVER=671
FILE ID=node88/1834197-1242828622
PBS_JOBID= 9322542
Free space on /tmp= 66128 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT_RACE06/manol-pipe-c7nidw.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834197-1242828622/watcher-1834197-1242828622 -o /tmp/evaluation-result-1834197-1242828622/solver-1834197-1242828622 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1834197-1242828622.cnf

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

MD5SUM BENCH= cddc29f8f256e39e02d9b418f68e802c
RANDOM SEED=965407706

node88.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.229
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.229
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:      2055920 kB
MemFree:       1751328 kB
Buffers:         54764 kB
Cached:         200292 kB
SwapCached:       6880 kB
Active:          82448 kB
Inactive:       181484 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1751328 kB
SwapTotal:     4192956 kB
SwapFree:      4180344 kB
Dirty:           10324 kB
Writeback:           0 kB
Mapped:          14056 kB
Slab:            26604 kB
Committed_AS:   888876 kB
PageTables:       1456 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= 66124 MiB
End job on node88 at 2009-05-20 16:13:07