Trace number 1833799

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 542.132 542.5

General information on the benchmark

NameAPPLICATIONS/bioinfo/
q_query_3_l44_lambda.cnf
MD5SUMa7bc41b32260e4459b2bee7c18cacba1
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark189.575
Satisfiable
(Un)Satisfiability was proved
Number of variables31540
Number of clauses157264
Sum of the clauses size453246
Maximum clause length9
Minimum clause length1
Number of clauses of size 14112
Number of clauses of size 239373
Number of clauses of size 392004
Number of clauses of size 415027
Number of clauses of size 56616
Number of clauses of size over 5132

Solver Data

0.00/0.00	c Parsing...
0.00/0.12	c ==============================================================================
0.00/0.12	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.12	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.12	c ==============================================================================
0.00/0.12	c |         0 |  147030   430190 |   44108       0        0     nan |  0.000 % |
0.00/0.98	c |         0 |   64819   218530 |      --       0       --      -- |     --   | -76809/-195446
0.00/0.98	c ==============================================================================
0.00/0.98	c Result  :   #vars: 7453   #clauses: 64819   #literals: 218530
0.00/0.98	c CPU time:   0.944856 s
0.00/0.98	c ==============================================================================
0.98/1.06	c This is MiniSat 2.0 beta
0.98/1.06	c WARNING: for repeatability, setting FPU to use double precision
0.98/1.06	c ============================[ Problem Statistics ]=============================
0.98/1.06	c |                                                                             |
0.98/1.06	c |  Number of variables:  7453                                                 |
0.98/1.06	c |  Number of clauses:    64819                                                |
0.98/1.10	c |  Parsing time:         0.04         s                                       |
0.98/1.10	c ============================[ Search Statistics ]==============================
0.98/1.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.98/1.10	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.98/1.10	c ===============================================================================
0.98/1.10	c |         0 |    7453    64819   218530 |    21606        0    nan |  0.000 % |
1.04/1.11	c |       101 |    7452    64819   218530 |    21606      100      8 |  0.013 % |
1.04/1.11	c |       203 |    7452    64819   218530 |    21606      202      9 |  0.013 % |
1.04/1.12	c |       304 |    7452    64819   218530 |    21606      303     10 |  0.013 % |
1.04/1.12	c |       415 |    7452    64819   218530 |    21606      414     11 |  0.013 % |
1.04/1.13	c |       515 |    7451    64819   218530 |    21606      513     11 |  0.040 % |
1.04/1.14	c |       626 |    7451    64819   218530 |    21606      624     12 |  0.040 % |
1.04/1.14	c |       747 |    7451    64819   218530 |    21606      745     12 |  0.040 % |
1.04/1.15	c |       847 |    7451    64819   218530 |    21606      845     12 |  0.040 % |
1.04/1.16	c |       960 |    7451    64819   218530 |    21606      958     12 |  0.040 % |
1.04/1.16	c |      1082 |    7451    64819   218530 |    21606     1080     12 |  0.040 % |
1.04/1.17	c |      1217 |    7451    64819   218530 |    21606     1215     12 |  0.040 % |
1.04/1.18	c |      1317 |    7451    64819   218530 |    21606     1315     12 |  0.040 % |
1.04/1.18	c |      1429 |    7451    64819   218530 |    21606     1427     12 |  0.040 % |
1.04/1.19	c |      1551 |    7451    64819   218530 |    21606     1549     12 |  0.040 % |
1.04/1.20	c |      1685 |    7451    64819   218530 |    21606     1683     12 |  0.040 % |
1.04/1.21	c |      1831 |    7451    64819   218530 |    21606     1829     12 |  0.040 % |
1.04/1.21	c |      1932 |    7451    64819   218530 |    21606     1930     12 |  0.040 % |
1.04/1.22	c |      2043 |    7451    64819   218530 |    21606     2041     12 |  0.040 % |
1.04/1.23	c |      2165 |    7450    64414   216553 |    21606     2161     12 |  0.040 % |
1.04/1.24	c |      2298 |    7450    64414   216553 |    21606     2294     12 |  0.040 % |
1.04/1.25	c |      2444 |    7450    64414   216553 |    21606     2440     12 |  0.040 % |
1.04/1.26	c |      2604 |    7450    64414   216553 |    21606     2600     12 |  0.040 % |
1.04/1.26	c |      2708 |    7450    64414   216553 |    21606     2704     12 |  0.040 % |
1.04/1.27	c |      2818 |    7450    64414   216553 |    21606     2814     12 |  0.040 % |
1.04/1.28	c |      2939 |    7450    64414   216553 |    21606     2935     12 |  0.040 % |
1.04/1.28	c |      3072 |    7450    64414   216553 |    21606     3068     12 |  0.040 % |
1.04/1.30	c |      3221 |    7450    64414   216553 |    21606     3217     13 |  0.040 % |
1.04/1.31	c |      3381 |    7450    64414   216553 |    21606     3377     13 |  0.040 % |
1.04/1.32	c |      3558 |    7450    64414   216553 |    21606     3554     13 |  0.040 % |
1.04/1.32	c |      3659 |    7450    64414   216553 |    21606     3655     13 |  0.040 % |
1.04/1.33	c |      3769 |    7450    64414   216553 |    21606     3765     13 |  0.040 % |
1.04/1.34	c |      3890 |    7450    64414   216553 |    21606     3886     13 |  0.040 % |
1.04/1.35	c |      4025 |    7450    64414   216553 |    21606     4021     13 |  0.040 % |
1.04/1.36	c |      4171 |    7450    64414   216553 |    21606     4167     13 |  0.040 % |
1.04/1.37	c |      4332 |    7450    64414   216553 |    21606     4328     13 |  0.040 % |
1.04/1.38	c |      4510 |    7450    64414   216553 |    21606     4506     13 |  0.040 % |
1.04/1.40	c |      4703 |    7450    64414   216553 |    21606     4699     13 |  0.040 % |
1.04/1.41	c |      4804 |    7450    64414   216553 |    21606     4800     13 |  0.040 % |
1.04/1.41	c |      4918 |    7450    64414   216553 |    21606     4914     13 |  0.040 % |
1.04/1.42	c |      5041 |    7450    64414   216553 |    21606     5037     13 |  0.040 % |
1.04/1.43	c |      5175 |    7450    64414   216553 |    21606     5171     13 |  0.040 % |
1.04/1.44	c |      5321 |    7450    64414   216553 |    21606     5317     13 |  0.040 % |
1.04/1.45	c |      5483 |    7450    64414   216553 |    21606     5479     13 |  0.040 % |
1.04/1.47	c |      5659 |    7450    64414   216553 |    21606     5655     13 |  0.040 % |
1.04/1.48	c |      5852 |    7450    64414   216553 |    21606     5848     13 |  0.040 % |
1.04/1.49	c |      6064 |    7450    64414   216553 |    21606     6060     13 |  0.040 % |
1.04/1.50	c |      6165 |    7450    64414   216553 |    21606     6161     13 |  0.040 % |
1.04/1.51	c |      6275 |    7450    64414   216553 |    21606     6271     13 |  0.040 % |
1.04/1.52	c |      6398 |    7450    64414   216553 |    21606     6394     13 |  0.040 % |
1.04/1.53	c |      6532 |    7450    64414   216553 |    21606     6528     13 |  0.040 % |
1.04/1.54	c |      6678 |    7450    64414   216553 |    21606     6674     13 |  0.040 % |
1.04/1.55	c |      6838 |    7450    64414   216553 |    21606     6834     13 |  0.040 % |
1.04/1.56	c |      7014 |    7450    64414   216553 |    21606     7010     13 |  0.040 % |
1.04/1.57	c |      7207 |    7450    64414   216553 |    21606     7203     13 |  0.040 % |
1.04/1.59	c |      7420 |    7450    64414   216553 |    21606     7416     13 |  0.040 % |
1.04/1.61	c |      7653 |    7450    64414   216553 |    21606     7649     13 |  0.040 % |
1.04/1.62	c |      7756 |    7450    64414   216553 |    21606     7752     13 |  0.040 % |
1.04/1.63	c |      7867 |    7450    64414   216553 |    21606     7863     13 |  0.040 % |
1.04/1.64	c |      7988 |    7450    64414   216553 |    21606     7984     13 |  0.040 % |
1.04/1.65	c |      8123 |    7450    64414   216553 |    21606     8119     13 |  0.040 % |
1.04/1.66	c |      8271 |    7450    64414   216553 |    21606     8267     13 |  0.040 % |
1.04/1.68	c |      8433 |    7450    64414   216553 |    21606     8429     13 |  0.040 % |
1.04/1.69	c |      8609 |    7450    64414   216553 |    21606     8605     13 |  0.040 % |
1.04/1.71	c |      8802 |    7450    64414   216553 |    21606     8798     13 |  0.040 % |
1.04/1.72	c |      9015 |    7450    64414   216553 |    21606     9011     13 |  0.040 % |
1.04/1.75	c |      9250 |    7450    64414   216553 |    21606     9246     13 |  0.040 % |
1.04/1.77	c |      9507 |    7450    64414   216553 |    21606     9503     13 |  0.040 % |
1.04/1.78	c |      9608 |    7450    64414   216553 |    21606     9604     13 |  0.040 % |
1.04/1.79	c |      9718 |    7450    64414   216553 |    21606     9714     13 |  0.040 % |
1.04/1.80	c |      9839 |    7450    64414   216553 |    21606     9835     13 |  0.040 % |
1.04/1.81	c |      9972 |    7450    64414   216553 |    21606     9968     13 |  0.040 % |
1.04/1.83	c |     10118 |    7450    64414   216553 | 2147483647    10114     13 |  0.040 % |
1.04/1.84	c |     10278 |    7450    64414   216553 | 2147483647    10274     13 |  0.040 % |
1.04/1.86	c |     10456 |    7450    64414   216553 | 2147483647    10452     14 |  0.040 % |
1.04/1.87	c |     10649 |    7450    64414   216553 | 2147483647    10645     14 |  0.040 % |
1.04/1.89	c |     10863 |    7450    64414   216553 | 2147483647    10859     14 |  0.040 % |
1.04/1.92	c |     11096 |    7450    64414   216553 | 2147483647    11092     14 |  0.040 % |
1.04/1.93	c |     11352 |    7449    64411   216547 | 2147483647    11346     14 |  0.054 % |
1.04/1.95	c |     11633 |    7449    64411   216547 | 2147483647    11627     14 |  0.054 % |
1.04/1.95	c |     11733 |    7449    64411   216547 | 2147483647    11727     14 |  0.054 % |
1.04/1.96	c |     11844 |    7449    64411   216547 | 2147483647    11838     14 |  0.054 % |
1.04/1.96	c |     11965 |    7449    64411   216547 | 2147483647    11959     13 |  0.054 % |
1.04/1.97	c |     12100 |    7449    64411   216547 | 2147483647    12094     13 |  0.054 % |
1.04/1.97	c |     12246 |    7449    64411   216547 | 2147483647    12240     13 |  0.054 % |
1.04/1.98	c |     12406 |    7449    64411   216547 | 2147483647    12400     13 |  0.054 % |
1.04/1.98	c |     12582 |    7449    64411   216547 | 2147483647    12576     13 |  0.054 % |
1.04/2.00	c |     12775 |    7449    64411   216547 | 2147483647    12769     13 |  0.054 % |
1.04/2.02	c |     12988 |    7449    64411   216547 | 2147483647    12982     13 |  0.054 % |
1.04/2.04	c |     13221 |    7449    64411   216547 | 2147483647    13215     13 |  0.054 % |
1.04/2.07	c |     13477 |    7449    64411   216547 | 2147483647    13471     13 |  0.054 % |
2.07/2.11	c |     13759 |    7449    64411   216547 | 2147483647    13753     14 |  0.054 % |
2.07/2.14	c |     14068 |    7449    64411   216547 | 2147483647    14062     14 |  0.054 % |
2.07/2.16	c |     14168 |    7449    64411   216547 | 2147483647    14162     14 |  0.054 % |
2.07/2.17	c |     14278 |    7449    64411   216547 | 2147483647    14272     14 |  0.054 % |
2.07/2.18	c |     14399 |    7449    64411   216547 | 2147483647    14393     13 |  0.054 % |
2.07/2.19	c |     14534 |    7449    64411   216547 | 2147483647    14528     13 |  0.054 % |
2.17/2.21	c |     14683 |    7449    64411   216547 | 2147483647    14677     13 |  0.054 % |
2.17/2.22	c |     14845 |    7449    64411   216547 | 2147483647    14839     14 |  0.054 % |
2.17/2.24	c |     15021 |    7449    64411   216547 | 2147483647    15015     14 |  0.054 % |
2.17/2.26	c |     15217 |    7449    64411   216547 | 2147483647    15211     14 |  0.054 % |
2.17/2.29	c |     15431 |    7449    64411   216547 | 2147483647    15425     14 |  0.054 % |
2.26/2.31	c |     15664 |    7449    64411   216547 | 2147483647    15658     14 |  0.054 % |
2.26/2.34	c |     15921 |    7449    64411   216547 | 2147483647    15915     14 |  0.054 % |
2.26/2.36	c |     16205 |    7449    64411   216547 | 2147483647    16199     14 |  0.054 % |
2.36/2.40	c |     16515 |    7449    64411   216547 | 2147483647    16509     14 |  0.054 % |
2.36/2.44	c |     16855 |    7449    64411   216547 | 2147483647    16849     14 |  0.054 % |
2.36/2.46	c |     16955 |    7449    64411   216547 | 2147483647    16949     14 |  0.054 % |
2.36/2.47	c |     17066 |    7449    64411   216547 | 2147483647    17060     14 |  0.054 % |
2.36/2.49	c |     17187 |    7449    64411   216547 | 2147483647    17181     14 |  0.054 % |
2.46/2.51	c |     17320 |    7449    64411   216547 | 2147483647    17314     14 |  0.054 % |
2.46/2.52	c |     17466 |    7449    64411   216547 | 2147483647    17460     14 |  0.054 % |
2.46/2.54	c |     17627 |    7449    64411   216547 | 2147483647    17621     14 |  0.054 % |
2.46/2.56	c |     17803 |    7449    64411   216547 | 2147483647    17797     14 |  0.054 % |
2.46/2.58	c |     17997 |    7449    64411   216547 | 2147483647    17991     14 |  0.054 % |
2.56/2.61	c |     18210 |    7449    64411   216547 | 2147483647    18204     14 |  0.054 % |
2.56/2.64	c |     18444 |    7449    64411   216547 | 2147483647    18438     14 |  0.054 % |
2.56/2.68	c |     18700 |    7449    64411   216547 | 2147483647    18694     14 |  0.054 % |
2.66/2.71	c |     18983 |    7449    64411   216547 | 2147483647    18977     14 |  0.054 % |
2.66/2.75	c |     19293 |    7449    64411   216547 | 2147483647    19287     14 |  0.054 % |
2.66/2.79	c |     19632 |    7449    64411   216547 | 2147483647    19626     14 |  0.054 % |
2.76/2.84	c |     20004 |    7449    64411   216547 | 2147483647    19998     14 |  0.054 % |
2.76/2.85	c |     20105 |    7449    64411   216547 | 2147483647    20099     14 |  0.054 % |
2.76/2.87	c |     20215 |    7449    64411   216547 | 2147483647    20209     14 |  0.054 % |
2.76/2.89	c |     20336 |    7449    64411   216547 | 2147483647    20330     14 |  0.054 % |
2.86/2.90	c |     20469 |    7449    64411   216547 | 2147483647    20463     14 |  0.054 % |
2.86/2.93	c |     20615 |    7449    64411   216547 | 2147483647    20609     14 |  0.054 % |
2.86/2.95	c |     20778 |    7449    64411   216547 | 2147483647    20772     14 |  0.054 % |
2.86/2.97	c |     20954 |    7449    64411   216547 | 2147483647    20948     14 |  0.054 % |
2.96/3.01	c |     21148 |    7449    64411   216547 | 2147483647    21142     14 |  0.054 % |
2.96/3.03	c |     21360 |    7449    64411   216547 | 2147483647    21354     14 |  0.054 % |
2.96/3.06	c |     21593 |    7449    64411   216547 | 2147483647    21587     14 |  0.054 % |
2.96/3.10	c |     21852 |    7449    64411   216547 | 2147483647    21846     14 |  0.054 % |
3.06/3.14	c |     22134 |    7449    64411   216547 | 2147483647    22128     14 |  0.054 % |
3.06/3.18	c |     22444 |    7449    64411   216547 | 2147483647    22438     14 |  0.054 % |
3.17/3.23	c |     22783 |    7449    64411   216547 | 2147483647    22777     14 |  0.054 % |
3.17/3.27	c |     23155 |    7449    64411   216547 | 2147483647    23149     14 |  0.054 % |
3.27/3.34	c |     23564 |    7449    64411   216547 | 2147483647    23558     15 |  0.054 % |
3.27/3.36	c |     23664 |    7449    64411   216547 | 2147483647    23658     15 |  0.054 % |
3.27/3.38	c |     23775 |    7449    64411   216547 | 2147483647    23769     15 |  0.054 % |
3.36/3.40	c |     23897 |    7449    64411   216547 | 2147483647    23891     15 |  0.054 % |
3.36/3.42	c |     24031 |    7449    64411   216547 | 2147483647    24025     15 |  0.054 % |
3.36/3.44	c |     24178 |    7449    64411   216547 | 2147483647    24172     15 |  0.054 % |
3.36/3.46	c |     24340 |    7449    64411   216547 | 2147483647    24334     15 |  0.054 % |
3.36/3.49	c |     24516 |    7449    64411   216547 | 2147483647    24510     15 |  0.054 % |
3.46/3.53	c |     24709 |    7449    64411   216547 | 2147483647    24703     15 |  0.054 % |
3.46/3.56	c |     24921 |    7449    64411   216547 | 2147483647    24915     15 |  0.054 % |
3.46/3.59	c |     25156 |    7449    64411   216547 | 2147483647    25150     15 |  0.054 % |
3.56/3.63	c |     25413 |    7449    64411   216547 | 2147483647    25407     15 |  0.054 % |
3.56/3.68	c |     25695 |    7449    64411   216547 | 2147483647    25689     15 |  0.054 % |
3.66/3.72	c |     26004 |    7449    64411   216547 | 2147483647    25998     15 |  0.054 % |
3.66/3.78	c |     26344 |    7449    64411   216547 | 2147483647    26338     15 |  0.054 % |
3.76/3.83	c |     26716 |    7449    64411   216547 | 2147483647    26710     15 |  0.054 % |
3.76/3.88	c |     27127 |    7449    64411   216547 | 2147483647    27121     15 |  0.054 % |
3.86/3.95	c |     27576 |    7449    64411   216547 | 2147483647    27570     15 |  0.054 % |
3.86/3.97	c |     27677 |    7449    64411   216547 | 2147483647    27671     15 |  0.054 % |
3.86/3.99	c |     27788 |    7449    64411   216547 | 2147483647    27782     15 |  0.054 % |
3.96/4.01	c |     27910 |    7449    64411   216547 | 2147483647    27904     15 |  0.054 % |
3.96/4.03	c |     28043 |    7449    64411   216547 | 2147483647    28037     15 |  0.054 % |
3.96/4.06	c |     28189 |    7449    64411   216547 | 2147483647    28183     15 |  0.054 % |
3.96/4.08	c |     28349 |    7449    64411   216547 | 2147483647    28343     15 |  0.054 % |
4.06/4.11	c |     28525 |    7449    64411   216547 | 2147483647    28519     15 |  0.054 % |
4.06/4.15	c |     28719 |    7449    64411   216547 | 2147483647    28713     15 |  0.054 % |
4.06/4.19	c |     28933 |    7449    64411   216547 | 2147483647    28927     15 |  0.054 % |
4.16/4.23	c |     29167 |    7449    64411   216547 | 2147483647    29161     15 |  0.054 % |
4.16/4.26	c |     29423 |    7449    64411   216547 | 2147483647    29417     15 |  0.054 % |
4.26/4.32	c |     29704 |    7449    64411   216547 | 2147483647    29698     15 |  0.054 % |
4.26/4.36	c |     30017 |    7449    64411   216547 | 2147483647    30011     15 |  0.054 % |
4.36/4.42	c |     30356 |    7449    64411   216547 | 2147483647    30350     15 |  0.054 % |
4.36/4.49	c |     30728 |    7449    64411   216547 | 2147483647    30722     15 |  0.054 % |
4.46/4.55	c |     31137 |    7449    64411   216547 | 2147483647    31131     15 |  0.054 % |
4.56/4.64	c |     31587 |    7449    64411   216547 | 2147483647    31581     15 |  0.054 % |
4.66/4.74	c |     32080 |    7449    64411   216547 | 2147483647    32074     15 |  0.054 % |
4.66/4.76	c |     32180 |    7449    64411   216547 | 2147483647    32174     15 |  0.054 % |
4.66/4.79	c |     32292 |    7449    64411   216547 | 2147483647    32286     15 |  0.054 % |
4.76/4.82	c |     32414 |    7449    64411   216547 | 2147483647    32408     15 |  0.054 % |
4.76/4.84	c |     32547 |    7449    64411   216547 | 2147483647    32541     15 |  0.054 % |
4.76/4.87	c |     32694 |    7449    64411   216547 | 2147483647    32688     15 |  0.054 % |
4.76/4.89	c |     32854 |    7449    64411   216547 | 2147483647    32848     15 |  0.054 % |
4.86/4.92	c |     33032 |    7449    64411   216547 | 2147483647    33026     15 |  0.054 % |
4.86/4.95	c |     33225 |    7449    64411   216547 | 2147483647    33219     15 |  0.054 % |
4.86/4.99	c |     33437 |    7449    64411   216547 | 2147483647    33431     15 |  0.054 % |
4.96/5.02	c |     33670 |    7449    64411   216547 | 2147483647    33664     15 |  0.054 % |
4.96/5.06	c |     33926 |    7449    64411   216547 | 2147483647    33920     15 |  0.054 % |
5.06/5.12	c |     34210 |    7449    64411   216547 | 2147483647    34204     15 |  0.054 % |
5.06/5.17	c |     34519 |    7449    64411   216547 | 2147483647    34513     15 |  0.054 % |
5.16/5.26	c |     34858 |    7449    64411   216547 | 2147483647    34852     15 |  0.054 % |
5.26/5.32	c |     35231 |    7449    64411   216547 | 2147483647    35225     15 |  0.054 % |
5.26/5.39	c |     35642 |    7449    64411   216547 | 2147483647    35636     15 |  0.054 % |
5.36/5.49	c |     36091 |    7449    64411   216547 | 2147483647    36085     15 |  0.054 % |
5.46/5.59	c |     36584 |    7449    64411   216547 | 2147483647    36578     15 |  0.054 % |
5.65/5.72	c |     37126 |    7449    64411   216547 | 2147483647    37120     15 |  0.054 % |
5.65/5.73	c |     37226 |    7449    64411   216547 | 2147483647    37220     15 |  0.054 % |
5.65/5.76	c |     37338 |    7449    64411   216547 | 2147483647    37332     16 |  0.054 % |
5.65/5.79	c |     37460 |    7449    64411   216547 | 2147483647    37454     16 |  0.054 % |
5.75/5.82	c |     37593 |    7449    64411   216547 | 2147483647    37587     16 |  0.054 % |
5.75/5.84	c |     37740 |    7449    64411   216547 | 2147483647    37734     16 |  0.054 % |
5.75/5.88	c |     37900 |    7449    64411   216547 | 2147483647    37894     16 |  0.054 % |
5.85/5.91	c |     38078 |    7449    64411   216547 | 2147483647    38072     16 |  0.054 % |
5.85/5.96	c |     38273 |    7449    64411   216547 | 2147483647    38267     16 |  0.054 % |
5.95/6.02	c |     38485 |    7449    64411   216547 | 2147483647    38479     16 |  0.054 % |
5.95/6.05	c |     38719 |    7449    64411   216547 | 2147483647    38713     16 |  0.054 % |
6.05/6.10	c |     38977 |    7449    64411   216547 | 2147483647    38971     16 |  0.054 % |
6.05/6.17	c |     39258 |    7449    64411   216547 | 2147483647    39252     16 |  0.054 % |
6.15/6.24	c |     39569 |    7449    64411   216547 | 2147483647    39563     16 |  0.054 % |
6.25/6.32	c |     39908 |    7449    64411   216547 | 2147483647    39902     16 |  0.054 % |
6.35/6.41	c |     40281 |    7449    64411   216547 | 2147483647    40275     16 |  0.054 % |
6.46/6.50	c |     40690 |    7449    64411   216547 | 2147483647    40684     16 |  0.054 % |
6.56/6.63	c |     41143 |    7449    64411   216547 | 2147483647    41137     16 |  0.054 % |
6.65/6.75	c |     41636 |    7449    64411   216547 | 2147483647    41630     16 |  0.054 % |
6.75/6.85	c |     42181 |    7449    64411   216547 | 2147483647    42175     16 |  0.054 % |
6.95/7.01	c |     42779 |    7449    64411   216547 | 2147483647    42773     16 |  0.054 % |
6.95/7.04	c |     42882 |    7449    64411   216547 | 2147483647    42876     16 |  0.054 % |
6.95/7.06	c |     42994 |    7449    64411   216547 | 2147483647    42988     16 |  0.054 % |
6.95/7.10	c |     43115 |    7449    64411   216547 | 2147483647    43109     16 |  0.054 % |
7.05/7.13	c |     43249 |    7449    64411   216547 | 2147483647    43243     16 |  0.054 % |
7.05/7.15	c |     43395 |    7449    64411   216547 | 2147483647    43389     16 |  0.054 % |
7.05/7.19	c |     43557 |    7449    64411   216547 | 2147483647    43551     16 |  0.054 % |
7.15/7.23	c |     43735 |    7449    64411   216547 | 2147483647    43729     16 |  0.054 % |
7.15/7.27	c |     43928 |    7449    64411   216547 | 2147483647    43922     16 |  0.054 % |
7.25/7.33	c |     44141 |    7449    64411   216547 | 2147483647    44135     16 |  0.054 % |
7.25/7.39	c |     44374 |    7449    64411   216547 | 2147483647    44368     16 |  0.054 % |
7.35/7.46	c |     44633 |    7449    64411   216547 | 2147483647    44627     16 |  0.054 % |
7.45/7.54	c |     44914 |    7449    64411   216547 | 2147483647    44908     16 |  0.054 % |
7.56/7.61	c |     45223 |    7449    64411   216547 | 2147483647    45217     16 |  0.054 % |
7.66/7.71	c |     45562 |    7449    64411   216547 | 2147483647    45556     16 |  0.054 % |
7.75/7.83	c |     45934 |    7449    64411   216547 | 2147483647    45928     16 |  0.054 % |
7.85/7.94	c |     46343 |    7449    64411   216547 | 2147483647    46337     16 |  0.054 % |
7.95/8.05	c |     46792 |    7449    64411   216547 | 2147483647    46786     16 |  0.054 % |
8.15/8.20	c |     47286 |    7449    64411   216547 | 2147483647    47280     16 |  0.054 % |
8.25/8.36	c |     47828 |    7449    64411   216547 | 2147483647    47822     16 |  0.054 % |
8.45/8.52	c |     48425 |    7449    64411   216547 | 2147483647    48419     16 |  0.054 % |
8.55/8.69	c |     49080 |    7449    64411   216547 | 2147483647    49074     16 |  0.054 % |
8.66/8.71	c |     49183 |    7449    64411   216547 | 2147483647    49177     17 |  0.054 % |
8.66/8.75	c |     49293 |    7449    64411   216547 | 2147483647    49287     17 |  0.054 % |
8.66/8.77	c |     49414 |    7449    64411   216547 | 2147483647    49408     17 |  0.054 % |
8.76/8.81	c |     49548 |    7449    64411   216547 | 2147483647    49542     17 |  0.054 % |
8.76/8.85	c |     49695 |    7449    64411   216547 | 2147483647    49689     17 |  0.054 % |
8.85/8.91	c |     49855 |    7449    64411   216547 | 2147483647    49849     17 |  0.054 % |
8.85/8.97	c |     50031 |    7449    64411   216547 | 2147483647    50025     17 |  0.054 % |
8.95/9.02	c |     50224 |    7449    64411   216547 | 2147483647    50218     17 |  0.054 % |
8.95/9.08	c |     50436 |    7449    64411   216547 | 2147483647    50430     17 |  0.054 % |
9.05/9.14	c |     50669 |    7449    64411   216547 | 2147483647    50663     17 |  0.054 % |
9.15/9.20	c |     50925 |    7449    64411   216547 | 2147483647    50919     17 |  0.054 % |
9.15/9.26	c |     51206 |    7449    64411   216547 | 2147483647    51200     17 |  0.054 % |
9.25/9.34	c |     51516 |    7449    64411   216547 | 2147483647    51510     17 |  0.054 % |
9.35/9.45	c |     51856 |    7449    64411   216547 | 2147483647    51850     17 |  0.054 % |
9.45/9.56	c |     52229 |    7449    64411   216547 | 2147483647    52223     17 |  0.054 % |
9.55/9.67	c |     52638 |    7449    64411   216547 | 2147483647    52632     17 |  0.054 % |
9.65/9.75	c |     53087 |    7449    64411   216547 | 2147483647    53081     17 |  0.054 % |
9.76/9.89	c |     53580 |    7449    64411   216547 | 2147483647    53574     17 |  0.054 % |
9.96/10.07	c |     54123 |    7449    64411   216547 | 2147483647    54117     17 |  0.054 % |
10.16/10.27	c |     54719 |    7449    64411   216547 | 2147483647    54713     17 |  0.054 % |
10.46/10.52	c |     55374 |    7449    64411   216547 | 2147483647    55368     17 |  0.054 % |
10.66/10.78	c |     56094 |    7449    64411   216547 | 2147483647    56088     17 |  0.054 % |
10.76/10.82	c |     56194 |    7449    64411   216547 | 2147483647    56188     17 |  0.054 % |
10.76/10.87	c |     56304 |    7449    64411   216547 | 2147483647    56298     17 |  0.054 % |
10.76/10.90	c |     56425 |    7449    64411   216547 | 2147483647    56419     17 |  0.054 % |
10.86/10.96	c |     56558 |    7449    64411   216547 | 2147483647    56552     17 |  0.054 % |
10.96/11.01	c |     56704 |    7449    64411   216547 | 2147483647    56698     17 |  0.054 % |
10.96/11.08	c |     56865 |    7449    64411   216547 | 2147483647    56859     17 |  0.054 % |
11.06/11.13	c |     57041 |    7449    64411   216547 | 2147483647    57035     17 |  0.054 % |
11.16/11.20	c |     57234 |    7449    64411   216547 | 2147483647    57228     17 |  0.054 % |
11.16/11.28	c |     57448 |    7449    64411   216547 | 2147483647    57442     17 |  0.054 % |
11.26/11.36	c |     57681 |    7449    64411   216547 | 2147483647    57675     17 |  0.054 % |
11.36/11.48	c |     57937 |    7449    64411   216547 | 2147483647    57931     17 |  0.054 % |
11.46/11.59	c |     58218 |    7449    64411   216547 | 2147483647    58212     17 |  0.054 % |
11.56/11.70	c |     58527 |    7449    64411   216547 | 2147483647    58521     17 |  0.054 % |
11.76/11.86	c |     58867 |    7449    64411   216547 | 2147483647    58861     17 |  0.054 % |
11.96/12.02	c |     59239 |    7449    64411   216547 | 2147483647    59233     17 |  0.054 % |
12.16/12.20	c |     59648 |    7449    64411   216547 | 2147483647    59642     17 |  0.054 % |
12.26/12.38	c |     60097 |    7449    64411   216547 | 2147483647    60091     17 |  0.054 % |
12.45/12.59	c |     60592 |    7449    64411   216547 | 2147483647    60586     17 |  0.054 % |
12.75/12.85	c |     61134 |    7449    64411   216547 | 2147483647    61128     17 |  0.054 % |
13.06/13.10	c |     61730 |    7449    64411   216547 | 2147483647    61724     17 |  0.054 % |
13.16/13.30	c |     62385 |    7449    64411   216547 | 2147483647    62379     17 |  0.054 % |
13.55/13.65	c |     63109 |    7449    64411   216547 | 2147483647    63103     17 |  0.054 % |
13.85/14.00	c |     63903 |    7449    64411   216547 | 2147483647    63897     17 |  0.054 % |
13.95/14.04	c |     64003 |    7449    64411   216547 | 2147483647    63997     17 |  0.054 % |
13.95/14.10	c |     64117 |    7449    64411   216547 | 2147483647    64111     17 |  0.054 % |
14.05/14.14	c |     64239 |    7449    64411   216547 | 2147483647    64233     17 |  0.054 % |
14.05/14.19	c |     64373 |    7449    64411   216547 | 2147483647    64367     17 |  0.054 % |
14.16/14.24	c |     64519 |    7449    64411   216547 | 2147483647    64513     17 |  0.054 % |
14.26/14.30	c |     64680 |    7449    64411   216547 | 2147483647    64674     17 |  0.054 % |
14.35/14.41	c |     64856 |    7449    64411   216547 | 2147483647    64850     17 |  0.054 % |
14.45/14.51	c |     65049 |    7449    64411   216547 | 2147483647    65043     17 |  0.054 % |
14.55/14.64	c |     65261 |    7449    64411   216547 | 2147483647    65255     17 |  0.054 % |
14.65/14.72	c |     65496 |    7449    64411   216547 | 2147483647    65490     17 |  0.054 % |
14.75/14.86	c |     65752 |    7449    64411   216547 | 2147483647    65746     17 |  0.054 % |
14.95/15.01	c |     66033 |    7449    64411   216547 | 2147483647    66027     17 |  0.054 % |
15.05/15.13	c |     66344 |    7449    64411   216547 | 2147483647    66338     17 |  0.054 % |
15.26/15.31	c |     66684 |    7449    64411   216547 | 2147483647    66678     18 |  0.054 % |
15.36/15.49	c |     67057 |    7449    64411   216547 | 2147483647    67051     18 |  0.054 % |
15.55/15.68	c |     67468 |    7449    64411   216547 | 2147483647    67462     18 |  0.054 % |
15.75/15.83	c |     67917 |    7449    64411   216547 | 2147483647    67911     18 |  0.054 % |
15.95/16.06	c |     68410 |    7449    64411   216547 | 2147483647    68404     18 |  0.054 % |
16.25/16.31	c |     68953 |    7449    64411   216547 | 2147483647    68947     18 |  0.054 % |
16.65/16.72	c |     69550 |    7449    64411   216547 | 2147483647    69544     18 |  0.054 % |
16.85/16.94	c |     70205 |    7449    64411   216547 | 2147483647    70199     18 |  0.054 % |
17.25/17.34	c |     70925 |    7449    64411   216547 | 2147483647    70919     18 |  0.054 % |
17.55/17.64	c |     71719 |    7449    64411   216547 | 2147483647    71713     18 |  0.054 % |
18.05/18.13	c |     72591 |    7449    64411   216547 | 2147483647    72585     18 |  0.054 % |
18.05/18.18	c |     72691 |    7449    64411   216547 | 2147483647    72685     18 |  0.054 % |
18.15/18.25	c |     72801 |    7449    64411   216547 | 2147483647    72795     18 |  0.054 % |
18.25/18.32	c |     72923 |    7449    64411   216547 | 2147483647    72917     18 |  0.054 % |
18.25/18.40	c |     73056 |    7449    64411   216547 | 2147483647    73050     18 |  0.054 % |
18.36/18.49	c |     73203 |    7449    64411   216547 | 2147483647    73197     18 |  0.054 % |
18.46/18.59	c |     73365 |    7449    64411   216547 | 2147483647    73359     18 |  0.054 % |
18.66/18.72	c |     73541 |    7449    64411   216547 | 2147483647    73535     18 |  0.054 % |
18.75/18.85	c |     73735 |    7449    64411   216547 | 2147483647    73729     18 |  0.054 % |
18.85/18.94	c |     73950 |    7449    64411   216547 | 2147483647    73944     18 |  0.054 % |
18.95/19.07	c |     74185 |    7449    64411   216547 | 2147483647    74179     18 |  0.054 % |
19.05/19.17	c |     74444 |    7449    64411   216547 | 2147483647    74438     18 |  0.054 % |
19.15/19.29	c |     74727 |    7449    64411   216547 | 2147483647    74721     18 |  0.054 % |
19.35/19.41	c |     75039 |    7449    64411   216547 | 2147483647    75033     18 |  0.054 % |
19.55/19.63	c |     75380 |    7449    64411   216547 | 2147483647    75374     18 |  0.054 % |
19.76/19.86	c |     75752 |    7449    64411   216547 | 2147483647    75746     18 |  0.054 % |
19.95/20.08	c |     76161 |    7449    64411   216547 | 2147483647    76155     18 |  0.054 % |
20.35/20.44	c |     76612 |    7449    64411   216547 | 2147483647    76606     18 |  0.054 % |
20.65/20.72	c |     77106 |    7449    64411   216547 | 2147483647    77100     18 |  0.054 % |
20.95/21.03	c |     77648 |    7449    64411   216547 | 2147483647    77642     18 |  0.054 % |
21.25/21.38	c |     78244 |    7449    64411   216547 | 2147483647    78238     18 |  0.054 % |
21.75/21.88	c |     78899 |    7449    64411   216547 | 2147483647    78893     18 |  0.054 % |
22.15/22.27	c |     79621 |    7449    64411   216547 | 2147483647    79615     18 |  0.054 % |
22.75/22.85	c |     80414 |    7449    64411   216547 | 2147483647    80408     18 |  0.054 % |
23.35/23.43	c |     81285 |    7449    64411   216547 | 2147483647    81279     18 |  0.054 % |
23.95/24.00	c |     82243 |    7449    64411   216547 | 2147483647    82237     18 |  0.054 % |
23.95/24.07	c |     82345 |    7449    64411   216547 | 2147483647    82339     18 |  0.054 % |
24.05/24.14	c |     82455 |    7449    64411   216547 | 2147483647    82449     18 |  0.054 % |
24.15/24.21	c |     82576 |    7449    64411   216547 | 2147483647    82570     18 |  0.054 % |
24.25/24.31	c |     82709 |    7449    64411   216547 | 2147483647    82703     18 |  0.054 % |
24.35/24.41	c |     82857 |    7449    64411   216547 | 2147483647    82851     18 |  0.054 % |
24.45/24.51	c |     83017 |    7449    64411   216547 | 2147483647    83011     18 |  0.054 % |
24.55/24.67	c |     83193 |    7449    64411   216547 | 2147483647    83187     18 |  0.054 % |
24.75/24.85	c |     83388 |    7449    64411   216547 | 2147483647    83382     18 |  0.054 % |
24.85/24.96	c |     83600 |    7449    64411   216547 | 2147483647    83594     18 |  0.054 % |
25.05/25.11	c |     83833 |    7449    64411   216547 | 2147483647    83827     18 |  0.054 % |
25.25/25.33	c |     84090 |    7449    64411   216547 | 2147483647    84084     18 |  0.054 % |
25.35/25.47	c |     84371 |    7449    64411   216547 | 2147483647    84365     18 |  0.054 % |
25.65/25.70	c |     84680 |    7449    64411   216547 | 2147483647    84674     18 |  0.054 % |
25.85/25.92	c |     85021 |    7449    64411   216547 | 2147483647    85015     18 |  0.054 % |
26.15/26.22	c |     85393 |    7449    64411   216547 | 2147483647    85387     18 |  0.054 % |
26.35/26.48	c |     85802 |    7449    64411   216547 | 2147483647    85796     18 |  0.054 % |
26.75/26.80	c |     86253 |    7449    64411   216547 | 2147483647    86247     18 |  0.054 % |
27.05/27.10	c |     86749 |    7449    64411   216547 | 2147483647    86743     18 |  0.054 % |
27.24/27.40	c |     87294 |    7449    64411   216547 | 2147483647    87288     18 |  0.054 % |
27.74/27.84	c |     87890 |    7447    64401   216524 | 2147483647    87883     18 |  0.081 % |
28.24/28.35	c |     88545 |    7447    64401   216524 | 2147483647    88538     18 |  0.081 % |
28.84/28.94	c |     89267 |    7447    64401   216524 | 2147483647    89260     19 |  0.081 % |
29.44/29.55	c |     90060 |    7447    64401   216524 |    89993    90053     19 |  0.081 % |
30.14/30.20	c |     90932 |    7447    64401   216524 |    89993    78246     19 |  0.081 % |
30.94/31.03	c |     91891 |    7447    64401   216524 |    89993    79205     19 |  0.081 % |
31.84/31.93	c |     92946 |    7447    64401   216524 |    89993    80260     19 |  0.081 % |
31.93/32.03	c |     93047 |    7447    64401   216524 |    89993    80361     19 |  0.081 % |
32.03/32.15	c |     93159 |    7447    64401   216524 |    89993    80473     19 |  0.081 % |
32.13/32.21	c |     93280 |    7447    64401   216524 |    89993    80594     19 |  0.081 % |
32.13/32.29	c |     93413 |    7447    64401   216524 |    89993    80727     19 |  0.081 % |
32.24/32.37	c |     93561 |    7447    64401   216524 |    89993    80875     19 |  0.081 % |
32.34/32.48	c |     93722 |    7447    64401   216524 |    89993    81036     19 |  0.081 % |
32.54/32.64	c |     93899 |    7447    64401   216524 |    89993    81213     19 |  0.081 % |
32.64/32.79	c |     94094 |    7447    64401   216524 |    89993    81408     19 |  0.081 % |
32.85/32.96	c |     94307 |    7447    64401   216524 |    89993    81621     19 |  0.081 % |
33.04/33.10	c |     94541 |    7447    64401   216524 |    89993    81855     19 |  0.081 % |
33.14/33.30	c |     94798 |    7447    64401   216524 |    89993    82112     19 |  0.081 % |
33.44/33.57	c |     95079 |    7447    64401   216524 |    89993    82393     19 |  0.081 % |
33.74/33.84	c |     95393 |    7447    64401   216524 |    89993    82707     19 |  0.081 % |
33.94/34.06	c |     95734 |    7447    64401   216524 |    89993    83048     19 |  0.081 % |
34.23/34.32	c |     96106 |    7447    64401   216524 |    89993    83420     19 |  0.081 % |
34.53/34.66	c |     96517 |    7447    64401   216524 |    89993    83831     19 |  0.081 % |
34.93/35.02	c |     96967 |    7447    64401   216524 |    89993    84281     19 |  0.081 % |
35.33/35.43	c |     97460 |    7447    64401   216524 |    89993    84774     19 |  0.081 % |
35.83/35.97	c |     98004 |    7447    64401   216524 |    89993    85318     19 |  0.081 % |
36.03/36.16	c |     98604 |    7447    64401   216524 |    89993    85918     19 |  0.081 % |
36.53/36.60	c |     99259 |    7447    64401   216524 |    89993    86573     19 |  0.081 % |
36.73/36.80	c |     99979 |    7447    64401   216524 |    89993    87293     19 |  0.081 % |
37.13/37.23	c |    100772 |    7447    64401   216524 |    87314    88086     19 |  0.081 % |
37.63/37.79	c |    101644 |    7447    64401   216524 |    87314    75560     19 |  0.081 % |
38.03/38.17	c |    102602 |    7447    64401   216524 |    87314    76518     19 |  0.081 % |
38.34/38.47	c |    103657 |    7447    64401   216524 |    87314    77573     19 |  0.081 % |
38.83/38.96	c |    104815 |    7447    64401   216524 |    87314    78731     19 |  0.081 % |
38.93/39.00	c |    104915 |    7447    64401   216524 |    87314    78831     19 |  0.081 % |
38.93/39.06	c |    105026 |    7447    64401   216524 |    87314    78942     19 |  0.081 % |
39.13/39.20	c |    105148 |    7447    64401   216524 |    87314    79064     19 |  0.081 % |
39.23/39.35	c |    105283 |    7447    64401   216524 |    87314    79199     19 |  0.081 % |
39.33/39.48	c |    105429 |    7447    64401   216524 |    87314    79345     19 |  0.081 % |
39.53/39.64	c |    105589 |    7447    64401   216524 |    87314    79505     19 |  0.081 % |
39.63/39.76	c |    105765 |    7447    64401   216524 |    87314    79681     19 |  0.081 % |
39.83/39.96	c |    105958 |    7447    64401   216524 |    87314    79874     19 |  0.081 % |
39.93/40.09	c |    106171 |    7447    64401   216524 |    87314    80087     19 |  0.081 % |
40.13/40.27	c |    106407 |    7447    64401   216524 |    87314    80323     19 |  0.081 % |
40.33/40.50	c |    106663 |    7447    64401   216524 |    87314    80579     19 |  0.081 % |
40.63/40.71	c |    106945 |    7447    64401   216524 |    87314    80861     19 |  0.081 % |
40.83/40.94	c |    107254 |    7447    64401   216524 |    87314    81170     19 |  0.081 % |
41.13/41.24	c |    107593 |    7447    64401   216524 |    87314    81509     19 |  0.081 % |
41.53/41.64	c |    107966 |    7447    64401   216524 |    87314    81882     19 |  0.081 % |
41.83/41.98	c |    108375 |    7447    64401   216524 |    87314    82291     19 |  0.081 % |
42.33/42.43	c |    108824 |    7447    64401   216524 |    87314    82740     19 |  0.081 % |
42.73/42.81	c |    109321 |    7447    64401   216524 |    87314    83237     19 |  0.081 % |
43.13/43.20	c |    109864 |    7447    64401   216524 |    87314    83780     19 |  0.081 % |
43.33/43.47	c |    110462 |    7447    64401   216524 |    83916    84378     20 |  0.081 % |
43.73/43.80	c |    111117 |    7447    64401   216524 |    83916    75288     19 |  0.081 % |
43.93/44.06	c |    111837 |    7447    64401   216524 |    83916    76008     19 |  0.081 % |
44.22/44.37	c |    112629 |    7447    64401   216524 |    83916    76800     19 |  0.081 % |
44.72/44.84	c |    113505 |    7436    63204   209874 |    83916    77621     19 |  0.228 % |
45.32/45.42	c |    114463 |    7436    63204   209874 |    83916    78579     19 |  0.228 % |
46.13/46.22	c |    115516 |    7436    63204   209874 |    83916    79632     19 |  0.228 % |
46.82/46.98	c |    116674 |    7436    63204   209874 |    83916    80790     19 |  0.228 % |
47.82/47.94	c |    117948 |    7436    63204   209874 |    83916    82064     19 |  0.228 % |
47.92/48.03	c |    118048 |    7436    63204   209874 |    83916    82164     19 |  0.228 % |
48.02/48.17	c |    118159 |    7436    63204   209874 |    83916    82275     19 |  0.228 % |
48.12/48.29	c |    118281 |    7436    63204   209874 |    83916    82397     19 |  0.228 % |
48.33/48.40	c |    118415 |    7436    63204   209874 |    83916    82531     19 |  0.228 % |
48.42/48.56	c |    118561 |    7436    63204   209874 |    83916    82677     19 |  0.228 % |
48.62/48.75	c |    118721 |    7436    63204   209874 |    83916    82837     19 |  0.228 % |
48.82/48.92	c |    118897 |    7436    63204   209874 |    83916    83013     19 |  0.228 % |
48.92/49.07	c |    119092 |    7436    63204   209874 |    83916    83208     19 |  0.228 % |
49.02/49.17	c |    119304 |    7436    63204   209874 |    83916    83420     19 |  0.228 % |
49.22/49.36	c |    119538 |    7436    63204   209874 |    83916    83654     19 |  0.228 % |
49.42/49.55	c |    119794 |    7436    63204   209874 |    83916    83910     19 |  0.228 % |
49.72/49.85	c |    120077 |    7436    63204   209874 |    84116    84193     19 |  0.228 % |
50.02/50.15	c |    120387 |    7436    63204   209874 |    84116    74122     19 |  0.228 % |
50.22/50.38	c |    120726 |    7436    63204   209874 |    84116    74461     19 |  0.228 % |
50.52/50.68	c |    121100 |    7436    63204   209874 |    84116    74835     19 |  0.228 % |
50.82/50.97	c |    121510 |    7436    63204   209874 |    84116    75245     19 |  0.228 % |
51.32/51.45	c |    121959 |    7436    63204   209874 |    84116    75694     19 |  0.228 % |
51.72/51.82	c |    122453 |    7436    63204   209874 |    84116    76188     19 |  0.228 % |
52.12/52.28	c |    122995 |    7436    63204   209874 |    84116    76730     19 |  0.228 % |
52.52/52.66	c |    123591 |    7436    63204   209874 |    84116    77326     19 |  0.228 % |
52.92/53.02	c |    124247 |    7436    63204   209874 |    84116    77982     19 |  0.228 % |
53.42/53.60	c |    124967 |    7436    63204   209874 |    84116    78702     19 |  0.228 % |
54.12/54.25	c |    125760 |    7436    63204   209874 |    84116    79495     19 |  0.228 % |
54.72/54.86	c |    126631 |    7436    63204   209874 |    84116    80366     19 |  0.228 % |
55.32/55.47	c |    127590 |    7436    63204   209874 |    84116    81325     19 |  0.228 % |
55.82/55.92	c |    128644 |    7436    63204   209874 |    84116    82379     19 |  0.228 % |
57.21/57.39	c |    129802 |    7434    62940   208829 |    84116    30816     15 |  0.255 % |
57.61/57.70	c |    131075 |    7434    62940   208829 |    31014    28921     16 |  0.255 % |
57.91/58.00	c |    132475 |    7434    62940   208829 |    31014    30321     16 |  0.255 % |
57.91/58.02	c |    132577 |    7434    62940   208829 |    31014    30423     16 |  0.255 % |
57.91/58.05	c |    132688 |    7434    62940   208829 |    31014    30534     16 |  0.255 % |
57.91/58.08	c |    132810 |    7434    62940   208829 |    31014    30656     16 |  0.255 % |
58.01/58.11	c |    132943 |    7434    62940   208829 |    31014    30789     16 |  0.255 % |
58.01/58.16	c |    133089 |    7434    62940   208829 |    31014    30935     16 |  0.255 % |
58.12/58.21	c |    133250 |    7434    62940   208829 |    31014    31096     16 |  0.255 % |
58.12/58.28	c |    133426 |    7434    62940   208829 |    31014    28163     16 |  0.255 % |
58.22/58.34	c |    133620 |    7434    62940   208829 |    31014    28357     16 |  0.255 % |
58.22/58.38	c |    133832 |    7434    62940   208829 |    31014    28569     16 |  0.255 % |
58.31/58.44	c |    134069 |    7434    62940   208829 |    31014    28806     16 |  0.255 % |
58.31/58.48	c |    134325 |    7434    62940   208829 |    31014    29062     16 |  0.255 % |
58.41/58.54	c |    134606 |    7434    62940   208829 |    31014    29343     16 |  0.255 % |
58.51/58.61	c |    134915 |    7434    62940   208829 |    31014    29652     16 |  0.255 % |
58.51/58.67	c |    135255 |    7434    62940   208829 |    31014    29992     16 |  0.255 % |
58.61/58.76	c |    135627 |    7434    62940   208829 |    31014    30364     16 |  0.255 % |
58.71/58.85	c |    136036 |    7434    62940   208829 |    31014    30773     16 |  0.255 % |
58.81/58.94	c |    136486 |    7434    62940   208829 |    31014    31223     16 |  0.255 % |
58.91/59.07	c |    136981 |    7434    62940   208829 |    31014    28596     16 |  0.255 % |
59.01/59.15	c |    137523 |    7434    62940   208829 |    31014    29138     16 |  0.255 % |
59.11/59.30	c |    138120 |    7434    62940   208829 |    31014    29735     16 |  0.255 % |
59.32/59.46	c |    138775 |    7434    62940   208829 |    31014    30390     16 |  0.255 % |
59.41/59.60	c |    139495 |    7434    62940   208829 |    31014    31110     16 |  0.255 % |
59.61/59.78	c |    140287 |    7434    62940   208829 | 2147483647    28791     16 |  0.255 % |
59.81/59.93	c |    141159 |    7434    62940   208829 | 2147483647    29663     16 |  0.255 % |
60.01/60.18	c |    142119 |    7434    62940   208829 | 2147483647    30623     16 |  0.255 % |
60.32/60.42	c |    143172 |    7434    62940   208829 | 2147483647    31676     16 |  0.255 % |
60.61/60.75	c |    144330 |    7434    62940   208829 | 2147483647    32834     17 |  0.255 % |
61.01/61.12	c |    145605 |    7434    62940   208829 | 2147483647    34109     17 |  0.255 % |
61.31/61.48	c |    147005 |    7434    62940   208829 | 2147483647    35509     17 |  0.255 % |
61.71/61.87	c |    148545 |    7434    62940   208829 | 2147483647    37049     17 |  0.255 % |
61.81/61.91	c |    148646 |    7434    62940   208829 | 2147483647    37150     17 |  0.255 % |
61.81/61.94	c |    148757 |    7434    62940   208829 | 2147483647    37261     17 |  0.255 % |
61.81/61.99	c |    148879 |    7434    62940   208829 | 2147483647    37383     17 |  0.255 % |
61.91/62.03	c |    149012 |    7434    62940   208829 | 2147483647    37516     17 |  0.255 % |
61.91/62.09	c |    149160 |    7434    62940   208829 | 2147483647    37664     17 |  0.255 % |
62.01/62.14	c |    149320 |    7434    62940   208829 | 2147483647    37824     17 |  0.255 % |
62.01/62.19	c |    149497 |    7434    62940   208829 | 2147483647    38001     17 |  0.255 % |
62.11/62.25	c |    149691 |    7434    62940   208829 | 2147483647    38195     17 |  0.255 % |
62.21/62.30	c |    149905 |    7434    62940   208829 | 2147483647    38409     17 |  0.255 % |
62.21/62.38	c |    150139 |    7434    62940   208829 | 2147483647    38643     17 |  0.255 % |
62.31/62.45	c |    150395 |    7434    62940   208829 | 2147483647    38899     17 |  0.255 % |
62.41/62.54	c |    150678 |    7434    62940   208829 | 2147483647    39182     17 |  0.255 % |
62.52/62.62	c |    150987 |    7434    62940   208829 | 2147483647    39491     17 |  0.255 % |
62.62/62.71	c |    151329 |    7434    62940   208829 | 2147483647    39833     17 |  0.255 % |
62.71/62.81	c |    151701 |    7434    62940   208829 | 2147483647    40205     17 |  0.255 % |
62.81/62.93	c |    152110 |    7434    62940   208829 | 2147483647    40614     17 |  0.255 % |
62.91/63.05	c |    152562 |    7434    62940   208829 | 2147483647    41066     17 |  0.255 % |
63.01/63.19	c |    153055 |    7434    62940   208829 | 2147483647    41559     17 |  0.255 % |
63.21/63.35	c |    153597 |    7434    62940   208829 | 2147483647    42101     18 |  0.255 % |
63.41/63.56	c |    154194 |    7434    62940   208829 | 2147483647    42698     18 |  0.255 % |
63.61/63.74	c |    154849 |    7434    62940   208829 | 2147483647    43353     18 |  0.255 % |
63.81/63.98	c |    155569 |    7434    62940   208829 | 2147483647    44073     18 |  0.255 % |
64.21/64.30	c |    156361 |    7434    62940   208829 | 2147483647    44865     18 |  0.255 % |
64.51/64.60	c |    157235 |    7434    62940   208829 | 2147483647    45739     18 |  0.255 % |
64.71/64.90	c |    158194 |    7434    62940   208829 | 2147483647    46698     18 |  0.255 % |
65.11/65.25	c |    159249 |    7434    62940   208829 | 2147483647    47753     18 |  0.255 % |
65.51/65.69	c |    160407 |    7434    62940   208829 | 2147483647    48911     18 |  0.255 % |
65.91/66.07	c |    161683 |    7434    62940   208829 | 2147483647    50187     18 |  0.255 % |
66.51/66.64	c |    163084 |    7434    62940   208829 | 2147483647    51588     18 |  0.255 % |
67.01/67.12	c |    164624 |    7434    62940   208829 | 2147483647    53128     19 |  0.255 % |
67.71/67.82	c |    166318 |    7434    62940   208829 | 2147483647    54822     19 |  0.255 % |
67.71/67.87	c |    166419 |    7434    62940   208829 | 2147483647    54923     19 |  0.255 % |
67.81/67.92	c |    166529 |    7434    62940   208829 | 2147483647    55033     19 |  0.255 % |
67.81/67.99	c |    166651 |    7434    62940   208829 | 2147483647    55155     19 |  0.255 % |
67.91/68.04	c |    166787 |    7434    62940   208829 | 2147483647    55291     19 |  0.255 % |
67.91/68.09	c |    166934 |    7434    62940   208829 | 2147483647    55438     19 |  0.255 % |
68.01/68.14	c |    167094 |    7434    62940   208829 | 2147483647    55598     19 |  0.255 % |
68.11/68.23	c |    167270 |    7434    62940   208829 | 2147483647    55774     19 |  0.255 % |
68.21/68.31	c |    167465 |    7434    62940   208829 | 2147483647    55969     19 |  0.255 % |
68.31/68.43	c |    167679 |    7434    62940   208829 | 2147483647    56183     19 |  0.255 % |
68.41/68.53	c |    167916 |    7434    62940   208829 | 2147483647    56420     19 |  0.255 % |
68.51/68.63	c |    168172 |    7434    62940   208829 | 2147483647    56676     19 |  0.255 % |
68.61/68.76	c |    168453 |    7434    62940   208829 | 2147483647    56957     19 |  0.255 % |
68.81/68.93	c |    168762 |    7434    62940   208829 | 2147483647    57266     19 |  0.255 % |
68.91/69.07	c |    169101 |    7434    62940   208829 | 2147483647    57605     19 |  0.255 % |
69.11/69.23	c |    169473 |    7434    62940   208829 | 2147483647    57977     19 |  0.255 % |
69.21/69.39	c |    169883 |    7434    62940   208829 | 2147483647    58387     19 |  0.255 % |
69.41/69.58	c |    170332 |    7434    62940   208829 | 2147483647    58836     19 |  0.255 % |
69.61/69.73	c |    170826 |    7434    62940   208829 | 2147483647    59330     19 |  0.255 % |
69.81/69.96	c |    171369 |    7434    62940   208829 | 2147483647    59873     19 |  0.255 % |
70.01/70.18	c |    171965 |    7434    62940   208829 | 2147483647    60469     19 |  0.255 % |
70.31/70.47	c |    172621 |    7434    62940   208829 | 2147483647    61125     19 |  0.255 % |
70.61/70.73	c |    173341 |    7434    62940   208829 | 2147483647    61845     19 |  0.255 % |
71.01/71.14	c |    174133 |    7434    62940   208829 | 2147483647    62637     19 |  0.255 % |
71.41/71.52	c |    175004 |    7434    62940   208829 | 2147483647    63508     19 |  0.255 % |
71.81/71.94	c |    175962 |    7434    62940   208829 | 2147483647    64466     19 |  0.255 % |
72.11/72.28	c |    177018 |    7434    62940   208829 | 2147483647    65522     19 |  0.255 % |
72.71/72.84	c |    178177 |    7434    62940   208829 | 2147483647    66681     19 |  0.255 % |
73.31/73.45	c |    179450 |    7434    62940   208829 | 2147483647    67954     19 |  0.255 % |
73.90/74.00	c |    180850 |    7434    62940   208829 | 2147483647    69354     20 |  0.255 % |
74.71/74.81	c |    182390 |    7434    62940   208829 | 2147483647    70894     20 |  0.255 % |
75.30/75.49	c |    184085 |    7434    62940   208829 | 2147483647    72589     20 |  0.255 % |
76.30/76.45	c |    185949 |    7434    62940   208829 | 2147483647    74453     20 |  0.255 % |
76.40/76.52	c |    186050 |    7434    62940   208829 | 2147483647    74554     20 |  0.255 % |
76.40/76.59	c |    186162 |    7434    62940   208829 | 2147483647    74666     20 |  0.255 % |
76.50/76.66	c |    186284 |    7434    62940   208829 | 2147483647    74788     20 |  0.255 % |
76.60/76.75	c |    186418 |    7434    62940   208829 | 2147483647    74922     20 |  0.255 % |
76.70/76.84	c |    186566 |    7434    62940   208829 | 2147483647    75070     20 |  0.255 % |
76.80/76.95	c |    186726 |    7434    62940   208829 | 2147483647    75230     20 |  0.255 % |
76.90/77.08	c |    186904 |    7434    62940   208829 | 2147483647    75408     20 |  0.255 % |
77.10/77.20	c |    187097 |    7434    62940   208829 | 2147483647    75601     20 |  0.255 % |
77.20/77.32	c |    187309 |    7434    62940   208829 | 2147483647    75813     20 |  0.255 % |
77.30/77.44	c |    187543 |    7434    62940   208829 | 2147483647    76047     20 |  0.255 % |
77.40/77.54	c |    187799 |    7434    62940   208829 | 2147483647    76303     20 |  0.255 % |
77.60/77.73	c |    188080 |    7434    62940   208829 | 2147483647    76584     20 |  0.255 % |
77.70/77.86	c |    188390 |    7434    62940   208829 | 2147483647    76894     20 |  0.255 % |
77.90/78.01	c |    188729 |    7434    62940   208829 | 2147483647    77233     20 |  0.255 % |
78.10/78.22	c |    189106 |    7434    62940   208829 | 2147483647    77610     20 |  0.255 % |
78.30/78.48	c |    189519 |    7434    62940   208829 | 2147483647    78023     20 |  0.255 % |
78.60/78.73	c |    189968 |    7434    62940   208829 | 2147483647    78472     20 |  0.255 % |
79.00/79.10	c |    190463 |    7434    62940   208829 | 2147483647    78967     20 |  0.255 % |
79.20/79.38	c |    191007 |    7434    62940   208829 | 2147483647    79511     20 |  0.255 % |
79.50/79.66	c |    191603 |    7434    62940   208829 | 2147483647    80107     20 |  0.255 % |
79.80/79.99	c |    192258 |    7434    62940   208829 | 2147483647    80762     20 |  0.255 % |
80.30/80.45	c |    192979 |    7434    62940   208829 | 2147483647    81483     20 |  0.255 % |
80.70/80.89	c |    193771 |    7434    62940   208829 | 2147483647    82275     20 |  0.255 % |
81.30/81.47	c |    194642 |    7434    62940   208829 | 2147483647    83146     20 |  0.255 % |
81.89/82.07	c |    195600 |    7434    62940   208829 | 2147483647    84104     20 |  0.255 % |
82.59/82.73	c |    196653 |    7434    62940   208829 | 2147483647    85157     20 |  0.255 % |
83.40/83.50	c |    197814 |    7434    62940   208829 | 2147483647    86318     20 |  0.255 % |
84.09/84.25	c |    199087 |    7434    62940   208829 | 2147483647    87591     20 |  0.255 % |
84.99/85.13	c |    200488 |    7434    62940   208829 | 2147483647    88992     20 |  0.255 % |
85.89/86.09	c |    202029 |    7434    62940   208829 | 2147483647    90533     20 |  0.255 % |
87.09/87.22	c |    203724 |    7434    62940   208829 | 2147483647    92228     20 |  0.255 % |
88.39/88.51	c |    205587 |    7434    62940   208829 | 2147483647    94091     21 |  0.255 % |
89.88/90.04	c |    207637 |    7434    62940   208829 | 2147483647    96141     21 |  0.255 % |
89.99/90.12	c |    207737 |    7434    62940   208829 | 2147483647    96241     21 |  0.255 % |
90.09/90.22	c |    207847 |    7434    62940   208829 | 2147483647    96351     21 |  0.255 % |
90.18/90.30	c |    207968 |    7434    62940   208829 | 2147483647    96472     21 |  0.255 % |
90.18/90.40	c |    208103 |    7434    62940   208829 | 2147483647    96607     21 |  0.255 % |
90.28/90.45	c |    208252 |    7434    62940   208829 | 2147483647    96756     21 |  0.255 % |
90.38/90.57	c |    208412 |    7434    62940   208829 | 2147483647    96916     21 |  0.255 % |
90.58/90.72	c |    208588 |    7434    62940   208829 | 2147483647    97092     21 |  0.255 % |
90.68/90.88	c |    208781 |    7434    62940   208829 | 2147483647    97285     21 |  0.255 % |
90.88/91.03	c |    208995 |    7434    62940   208829 | 2147483647    97499     21 |  0.255 % |
90.98/91.16	c |    209228 |    7434    62940   208829 | 2147483647    97732     21 |  0.255 % |
91.28/91.40	c |    209484 |    7434    62940   208829 | 2147483647    97988     21 |  0.255 % |
91.38/91.55	c |    209765 |    7434    62940   208829 | 2147483647    98269     21 |  0.255 % |
91.58/91.79	c |    210075 |    7434    62940   208829 | 2147483647    98579     21 |  0.255 % |
91.88/92.03	c |    210415 |    7434    62940   208829 | 2147483647    98919     21 |  0.255 % |
92.08/92.30	c |    210789 |    7434    62940   208829 | 2147483647    99293     21 |  0.255 % |
92.58/92.72	c |    211199 |    7434    62940   208829 | 2147483647    99703     21 |  0.255 % |
92.88/93.00	c |    211648 |    7434    62940   208829 | 2147483647   100152     21 |  0.255 % |
93.08/93.24	c |    212142 |    7434    62940   208829 | 2147483647   100646     21 |  0.255 % |
93.48/93.64	c |    212685 |    7434    62940   208829 | 2147483647   101189     21 |  0.255 % |
94.08/94.20	c |    213282 |    7434    62940   208829 | 2147483647   101786     21 |  0.255 % |
94.48/94.64	c |    213938 |    7434    62940   208829 | 2147483647   102442     21 |  0.255 % |
95.09/95.27	c |    214659 |    7434    62940   208829 | 2147483647   103163     21 |  0.255 % |
95.79/95.98	c |    215452 |    7434    62940   208829 | 2147483647   103956     21 |  0.255 % |
96.39/96.51	c |    216323 |    7434    62940   208829 | 2147483647   104827     21 |  0.255 % |
96.99/97.19	c |    217283 |    7434    62940   208829 | 2147483647   105787     21 |  0.255 % |
98.09/98.24	c |    218337 |    7434    62940   208829 | 2147483647   106841     21 |  0.255 % |
99.09/99.22	c |    219495 |    7434    62940   208829 | 2147483647   107999     21 |  0.255 % |
100.39/100.54	c |    220770 |    7434    62940   208829 |   108504    93524     21 |  0.255 % |
101.39/101.56	c |    222171 |    7434    62940   208829 |   108504    94925     21 |  0.255 % |
102.59/102.70	c |    223713 |    7434    62940   208829 |   108504    96467     21 |  0.255 % |
103.99/104.12	c |    225408 |    7434    62940   208829 |   108504    98162     21 |  0.255 % |
105.09/105.24	c |    227271 |    7433    62937   208823 |   108504   100023     21 |  0.268 % |
106.29/106.41	c |    229321 |    7433    62937   208823 |   108504   102073     21 |  0.268 % |
108.39/108.50	c |    231574 |    7433    62937   208823 |   102753    91046     20 |  0.268 % |
108.48/108.61	c |    231676 |    7433    62937   208823 |   102753    91148     20 |  0.268 % |
108.48/108.67	c |    231787 |    7433    62937   208823 |   102753    91259     20 |  0.268 % |
108.58/108.77	c |    231908 |    7433    62937   208823 |   102753    91380     20 |  0.268 % |
108.69/108.88	c |    232041 |    7433    62937   208823 |   102753    91513     20 |  0.268 % |
108.88/109.02	c |    232188 |    7433    62937   208823 |   102753    91660     20 |  0.268 % |
108.98/109.15	c |    232350 |    7433    62937   208823 |   102753    91822     20 |  0.268 % |
109.08/109.28	c |    232527 |    7433    62937   208823 |   102753    91999     20 |  0.268 % |
109.28/109.44	c |    232721 |    7433    62937   208823 |   102753    92193     20 |  0.268 % |
109.48/109.60	c |    232934 |    7433    62937   208823 |   102753    92406     20 |  0.268 % |
109.58/109.75	c |    233167 |    7433    62937   208823 |   102753    92639     20 |  0.268 % |
109.79/109.96	c |    233423 |    7433    62937   208823 |   102753    92895     20 |  0.268 % |
109.98/110.11	c |    233704 |    7433    62937   208823 |   102753    93176     20 |  0.268 % |
110.18/110.35	c |    234013 |    7433    62937   208823 |   102753    93485     21 |  0.268 % |
110.38/110.56	c |    234352 |    7433    62937   208823 |   102753    93824     21 |  0.268 % |
110.68/110.80	c |    234725 |    7433    62937   208823 |   102753    94197     21 |  0.268 % |
110.89/111.05	c |    235136 |    7433    62937   208823 |   102753    94608     21 |  0.268 % |
111.18/111.31	c |    235585 |    7433    62937   208823 |   102753    95057     21 |  0.268 % |
111.48/111.68	c |    236080 |    7433    62937   208823 |   102753    95552     21 |  0.268 % |
111.99/112.13	c |    236623 |    7433    62937   208823 |   102753    96095     21 |  0.268 % |
112.38/112.51	c |    237220 |    7433    62937   208823 |   102753    96692     21 |  0.268 % |
112.88/113.05	c |    237877 |    7433    62937   208823 |   102753    97349     21 |  0.268 % |
113.38/113.58	c |    238597 |    7433    62937   208823 |   102753    98069     21 |  0.268 % |
114.08/114.27	c |    239391 |    7433    62937   208823 |   102753    98863     21 |  0.268 % |
114.68/114.84	c |    240262 |    7433    62937   208823 |    99472    99734     21 |  0.268 % |
115.48/115.66	c |    241220 |    7433    62937   208823 |    99472    88289     20 |  0.268 % |
116.28/116.43	c |    242274 |    7433    62937   208823 |    99472    89343     20 |  0.268 % |
117.18/117.31	c |    243432 |    7433    62937   208823 |    99472    90501     20 |  0.268 % |
117.88/118.07	c |    244705 |    7433    62937   208823 |    99472    91774     20 |  0.268 % |
119.08/119.22	c |    246105 |    7433    62937   208823 |    99472    93174     20 |  0.268 % |
119.98/120.17	c |    247645 |    7433    62937   208823 |    99472    94714     20 |  0.268 % |
121.47/121.67	c |    249339 |    7433    62937   208823 |    99472    96408     20 |  0.268 % |
122.98/123.14	c |    251203 |    7433    62937   208823 |    97070    86128     20 |  0.268 % |
124.67/124.84	c |    253252 |    7433    62937   208823 |    97070    88177     20 |  0.268 % |
126.07/126.24	c |    255507 |    7433    62937   208823 |    97070    90432     20 |  0.268 % |
127.67/127.89	c |    257985 |    7433    62937   208823 |    97070    92910     20 |  0.268 % |
127.77/127.97	c |    258086 |    7433    62937   208823 |    97070    93011     20 |  0.268 % |
127.87/128.06	c |    258196 |    7433    62937   208823 |    97070    93121     20 |  0.268 % |
127.97/128.18	c |    258318 |    7433    62937   208823 |    97070    93243     20 |  0.268 % |
128.07/128.28	c |    258451 |    7433    62937   208823 |    97070    93376     20 |  0.268 % |
128.27/128.41	c |    258597 |    7433    62937   208823 |    97070    93522     20 |  0.268 % |
128.37/128.58	c |    258759 |    7433    62937   208823 |    97070    93684     20 |  0.268 % |
128.57/128.71	c |    258935 |    7433    62937   208823 |    97070    93860     20 |  0.268 % |
128.57/128.79	c |    259129 |    7433    62937   208823 |    97070    94054     20 |  0.268 % |
128.77/128.95	c |    259342 |    7433    62937   208823 |    97070    94267     20 |  0.268 % |
128.97/129.13	c |    259575 |    7433    62937   208823 |    97070    94500     20 |  0.268 % |
129.17/129.33	c |    259831 |    7433    62937   208823 |    97070    94756     20 |  0.268 % |
129.37/129.58	c |    260112 |    7433    62937   208823 |    94926    95037     20 |  0.268 % |
129.77/129.95	c |    260421 |    7433    62937   208823 |    94926    85574     20 |  0.268 % |
130.07/130.20	c |    260760 |    7433    62937   208823 |    94926    85913     20 |  0.268 % |
130.27/130.43	c |    261134 |    7433    62937   208823 |    94926    86287     20 |  0.268 % |
130.37/130.59	c |    261545 |    7433    62937   208823 |    94926    86698     20 |  0.268 % |
130.87/131.01	c |    261994 |    7433    62937   208823 |    94926    87147     20 |  0.268 % |
131.07/131.20	c |    262488 |    7433    62937   208823 |    94926    87641     20 |  0.268 % |
131.27/131.48	c |    263030 |    7433    62937   208823 |    94926    88183     20 |  0.268 % |
131.87/132.01	c |    263626 |    7433    62937   208823 |    94926    88779     20 |  0.268 % |
132.27/132.46	c |    264281 |    7433    62937   208823 |    94926    89434     20 |  0.268 % |
132.97/133.12	c |    265001 |    7433    62937   208823 |    94926    90154     20 |  0.268 % |
133.47/133.63	c |    265794 |    7433    62937   208823 |    94926    90947     20 |  0.268 % |
133.87/134.02	c |    266667 |    7433    62937   208823 |    94926    91820     20 |  0.268 % |
134.37/134.59	c |    267625 |    7433    62937   208823 |    94926    92778     20 |  0.268 % |
135.27/135.44	c |    268678 |    7433    62937   208823 |    94926    93831     20 |  0.268 % |
136.17/136.39	c |    269837 |    7433    62937   208823 |    94926    94990     20 |  0.268 % |
137.17/137.37	c |    271113 |    7433    62937   208823 | 2147483647    86767     20 |  0.268 % |
138.26/138.43	c |    272513 |    7433    62937   208823 | 2147483647    88167     20 |  0.268 % |
139.16/139.33	c |    274054 |    7433    62937   208823 | 2147483647    89708     20 |  0.268 % |
140.67/140.85	c |    275749 |    7433    62937   208823 | 2147483647    91403     20 |  0.268 % |
141.96/142.10	c |    277613 |    7433    62937   208823 | 2147483647    93267     20 |  0.268 % |
143.56/143.78	c |    279663 |    7433    62937   208823 | 2147483647    95317     20 |  0.268 % |
145.36/145.59	c |    281918 |    7432    62934   208817 | 2147483647    97571     20 |  0.282 % |
147.46/147.61	c |    284396 |    7432    62934   208817 | 2147483647   100049     20 |  0.282 % |
149.66/149.85	c |    287122 |    7432    62934   208817 | 2147483647   102775     20 |  0.282 % |
149.76/149.95	c |    287222 |    7432    62934   208817 | 2147483647   102875     20 |  0.282 % |
149.86/150.04	c |    287332 |    7432    62934   208817 | 2147483647   102985     20 |  0.282 % |
149.96/150.18	c |    287453 |    7432    62934   208817 | 2147483647   103106     20 |  0.282 % |
150.16/150.33	c |    287587 |    7432    62934   208817 | 2147483647   103240     20 |  0.282 % |
150.26/150.49	c |    287734 |    7432    62934   208817 | 2147483647   103387     20 |  0.282 % |
150.46/150.61	c |    287894 |    7432    62934   208817 | 2147483647   103547     20 |  0.282 % |
150.56/150.76	c |    288072 |    7432    62934   208817 | 2147483647   103725     20 |  0.282 % |
150.76/150.97	c |    288266 |    7432    62934   208817 | 2147483647   103919     20 |  0.282 % |
150.96/151.20	c |    288478 |    7432    62934   208817 | 2147483647   104131     20 |  0.282 % |
151.26/151.43	c |    288714 |    7432    62934   208817 | 2147483647   104367     20 |  0.282 % |
151.56/151.75	c |    288972 |    7432    62934   208817 | 2147483647   104625     20 |  0.282 % |
151.86/152.00	c |    289253 |    7432    62934   208817 | 2147483647   104906     20 |  0.282 % |
152.05/152.29	c |    289562 |    7432    62934   208817 | 2147483647   105215     20 |  0.282 % |
152.45/152.61	c |    289902 |    7432    62934   208817 | 2147483647   105555     20 |  0.282 % |
152.66/152.86	c |    290274 |    7432    62934   208817 |   105657   105927     20 |  0.282 % |
153.05/153.21	c |    290684 |    7432    62934   208817 |   105657    95101     20 |  0.282 % |
153.45/153.61	c |    291133 |    7432    62934   208817 |   105657    95550     20 |  0.282 % |
153.95/154.12	c |    291626 |    7432    62934   208817 |   105657    96043     20 |  0.282 % |
154.45/154.61	c |    292169 |    7432    62934   208817 |   105657    96586     20 |  0.282 % |
154.96/155.18	c |    292765 |    7432    62934   208817 |   105657    97182     20 |  0.282 % |
155.55/155.78	c |    293420 |    7432    62934   208817 |   105657    97837     20 |  0.282 % |
156.15/156.37	c |    294141 |    7432    62934   208817 |   105657    98558     20 |  0.282 % |
156.85/157.00	c |    294933 |    7432    62934   208817 |   105657    99350     20 |  0.282 % |
157.55/157.71	c |    295806 |    7432    62934   208817 |   105657   100223     20 |  0.282 % |
158.15/158.39	c |    296764 |    7432    62934   208817 |   105657   101181     20 |  0.282 % |
159.25/159.46	c |    297818 |    7432    62934   208817 |   105657   102235     20 |  0.282 % |
160.15/160.34	c |    298976 |    7432    62934   208817 |   105657   103393     20 |  0.282 % |
161.05/161.21	c |    300249 |    7432    62934   208817 |   104417   104666     20 |  0.282 % |
162.15/162.34	c |    301649 |    7432    62934   208817 |   104417    93266     20 |  0.282 % |
163.05/163.29	c |    303190 |    7432    62934   208817 |   104417    94807     20 |  0.282 % |
164.45/164.64	c |    304886 |    7432    62934   208817 |   104417    96503     20 |  0.282 % |
166.05/166.27	c |    306749 |    7432    62934   208817 |   104417    98366     20 |  0.282 % |
167.54/167.72	c |    308798 |    7432    62934   208817 |   104417   100415     20 |  0.282 % |
169.74/169.95	c |    311052 |    7432    62934   208817 |   101618    90844     20 |  0.282 % |
171.93/172.16	c |    313530 |    7432    62934   208817 |   101618    93322     20 |  0.282 % |
174.43/174.62	c |    316257 |    7432    62934   208817 |   101618    96049     20 |  0.282 % |
176.53/176.71	c |    319254 |    7432    62934   208817 |   101618    99046     20 |  0.282 % |
176.53/176.76	c |    319356 |    7432    62934   208817 |   101618    99148     20 |  0.282 % |
176.63/176.81	c |    319466 |    7432    62934   208817 |   101618    99258     20 |  0.282 % |
176.63/176.89	c |    319587 |    7432    62934   208817 |   101618    99379     20 |  0.282 % |
176.83/177.02	c |    319720 |    7432    62934   208817 |   101618    99512     20 |  0.282 % |
176.93/177.14	c |    319866 |    7432    62934   208817 |   101618    99658     20 |  0.282 % |
177.03/177.24	c |    320027 |    7432    62934   208817 |    99793    99819     20 |  0.282 % |
177.33/177.53	c |    320204 |    7432    62934   208817 |    99793    89032     19 |  0.282 % |
177.43/177.69	c |    320397 |    7432    62934   208817 |    99793    89225     19 |  0.282 % |
177.63/177.89	c |    320610 |    7432    62934   208817 |    99793    89438     19 |  0.282 % |
177.83/178.04	c |    320843 |    7432    62934   208817 |    99793    89671     19 |  0.282 % |
178.13/178.31	c |    321099 |    7432    62934   208817 |    99793    89927     19 |  0.282 % |
178.23/178.48	c |    321381 |    7432    62934   208817 |    99793    90209     19 |  0.282 % |
178.53/178.76	c |    321690 |    7432    62934   208817 |    99793    90518     19 |  0.282 % |
178.83/179.02	c |    322030 |    7432    62934   208817 |    99793    90858     19 |  0.282 % |
179.13/179.38	c |    322402 |    7432    62934   208817 |    99793    91230     19 |  0.282 % |
179.43/179.69	c |    322811 |    7432    62934   208817 |    99793    91639     19 |  0.282 % |
179.93/180.13	c |    323261 |    7432    62934   208817 |    99793    92089     19 |  0.282 % |
180.33/180.54	c |    323754 |    7432    62934   208817 |    99793    92582     19 |  0.282 % |
180.63/180.88	c |    324296 |    7432    62934   208817 |    99793    93124     20 |  0.282 % |
181.13/181.30	c |    324892 |    7432    62934   208817 |    99793    93720     20 |  0.282 % |
181.73/181.91	c |    325547 |    7432    62934   208817 |    99793    94375     20 |  0.282 % |
182.33/182.55	c |    326267 |    7432    62934   208817 |    99793    95095     20 |  0.282 % |
183.03/183.26	c |    327060 |    7432    62934   208817 |    99793    95888     20 |  0.282 % |
183.73/183.91	c |    327931 |    7432    62934   208817 |    99793    96759     20 |  0.282 % |
184.43/184.65	c |    328889 |    7432    62934   208817 |    99793    97717     20 |  0.282 % |
185.03/185.27	c |    329942 |    7432    62934   208817 |    99793    98770     20 |  0.282 % |
186.22/186.40	c |    331100 |    7432    62934   208817 |    98829    89014     19 |  0.282 % |
187.22/187.42	c |    332373 |    7432    62934   208817 |    98829    90287     20 |  0.282 % |
188.42/188.67	c |    333773 |    7432    62934   208817 |    98829    91687     20 |  0.282 % |
189.82/190.07	c |    335313 |    7432    62934   208817 |    98829    93227     20 |  0.282 % |
191.23/191.50	c |    337008 |    7432    62934   208817 |    98829    94922     20 |  0.282 % |
192.92/193.15	c |    338873 |    7432    62934   208817 |    98829    96787     20 |  0.282 % |
194.72/194.99	c |    340922 |    7432    62934   208817 |    97914    88034     19 |  0.282 % |
196.42/196.65	c |    343176 |    7432    62934   208817 |    97914    90288     19 |  0.282 % |
198.32/198.60	c |    345657 |    7432    62934   208817 |    97914    92769     19 |  0.282 % |
200.62/200.82	c |    348383 |    7432    62934   208817 |    97914    95495     20 |  0.282 % |
203.52/203.74	c |    351383 |    7432    62934   208817 | 2147483647    98495     20 |  0.282 % |
206.22/206.41	c |    354681 |    7432    62934   208817 | 2147483647   101793     20 |  0.282 % |
206.32/206.53	c |    354783 |    7432    62934   208817 | 2147483647   101895     20 |  0.282 % |
206.42/206.64	c |    354895 |    7432    62934   208817 | 2147483647   102007     20 |  0.282 % |
206.52/206.75	c |    355017 |    7432    62934   208817 | 2147483647   102129     20 |  0.282 % |
206.72/206.90	c |    355154 |    7432    62934   208817 | 2147483647   102266     20 |  0.282 % |
206.82/207.01	c |    355301 |    7432    62934   208817 | 2147483647   102413     20 |  0.282 % |
206.92/207.19	c |    355464 |    7432    62934   208817 | 2147483647   102576     20 |  0.282 % |
207.11/207.33	c |    355640 |    7432    62934   208817 | 2147483647   102752     20 |  0.282 % |
207.31/207.52	c |    355833 |    7432    62934   208817 | 2147483647   102945     20 |  0.282 % |
207.41/207.65	c |    356046 |    7432    62934   208817 | 2147483647   103158     20 |  0.282 % |
207.72/207.91	c |    356281 |    7432    62934   208817 | 2147483647   103393     20 |  0.282 % |
207.92/208.12	c |    356543 |    7432    62934   208817 | 2147483647   103655     20 |  0.282 % |
208.22/208.49	c |    356826 |    7432    62934   208817 | 2147483647   103938     20 |  0.282 % |
208.62/208.82	c |    357135 |    7432    62934   208817 | 2147483647   104247     20 |  0.282 % |
209.11/209.31	c |    357474 |    7432    62934   208817 | 2147483647   104586     20 |  0.282 % |
209.51/209.75	c |    357846 |    7432    62934   208817 | 2147483647   104958     20 |  0.282 % |
209.92/210.15	c |    358256 |    7432    62934   208817 | 2147483647   105368     20 |  0.282 % |
210.41/210.60	c |    358706 |    7432    62934   208817 | 2147483647   105818     20 |  0.282 % |
210.81/211.03	c |    359201 |    7432    62934   208817 | 2147483647   106313     20 |  0.282 % |
211.11/211.35	c |    359743 |    7432    62934   208817 | 2147483647   106855     20 |  0.282 % |
211.81/212.01	c |    360339 |    7432    62934   208817 |   107112    94709     19 |  0.282 % |
212.41/212.63	c |    360994 |    7432    62934   208817 |   107112    95364     19 |  0.282 % |
213.01/213.26	c |    361714 |    7432    62934   208817 |   107112    96084     19 |  0.282 % |
213.71/213.94	c |    362506 |    7432    62934   208817 |   107112    96876     19 |  0.282 % |
214.41/214.69	c |    363379 |    7432    62934   208817 |   107112    97749     20 |  0.282 % |
215.31/215.57	c |    364339 |    7432    62934   208817 |   107112    98709     20 |  0.282 % |
216.31/216.57	c |    365395 |    7432    62934   208817 |   107112    99765     20 |  0.282 % |
217.61/217.88	c |    366556 |    7432    62934   208817 |   107112   100926     20 |  0.282 % |
218.40/218.65	c |    367830 |    7432    62934   208817 |   107112   102200     20 |  0.282 % |
219.71/219.95	c |    369230 |    7432    62934   208817 |   107112   103600     20 |  0.282 % |
221.10/221.37	c |    370770 |    7432    62934   208817 |   104370    90420     19 |  0.282 % |
222.10/222.38	c |    372465 |    7432    62934   208817 |   104370    92115     19 |  0.282 % |
223.80/224.09	c |    374330 |    7432    62934   208817 |   104370    93980     19 |  0.282 % |
225.90/226.10	c |    376381 |    7432    62934   208817 |   104370    96031     19 |  0.282 % |
228.10/228.38	c |    378634 |    7432    62934   208817 |   104370    98284     19 |  0.282 % |
230.50/230.71	c |    381114 |    7432    62934   208817 |    99651    89969     19 |  0.282 % |
232.80/233.03	c |    383839 |    7432    62934   208817 |    99651    92694     19 |  0.282 % |
235.00/235.29	c |    386837 |    7432    62934   208817 |    99651    95692     19 |  0.282 % |
238.30/238.54	c |    390134 |    7432    62934   208817 |    98855    98989     19 |  0.282 % |
241.99/242.26	c |    393759 |    7432    62934   208817 |    98855    90460     19 |  0.282 % |
242.10/242.34	c |    393860 |    7432    62934   208817 |    98855    90561     19 |  0.282 % |
242.20/242.46	c |    393972 |    7432    62934   208817 |    98855    90673     19 |  0.282 % |
242.30/242.56	c |    394093 |    7432    62934   208817 |    98855    90794     19 |  0.282 % |
242.39/242.67	c |    394226 |    7432    62934   208817 |    98855    90927     19 |  0.282 % |
242.49/242.78	c |    394375 |    7432    62934   208817 |    98855    91076     19 |  0.282 % |
242.69/242.98	c |    394535 |    7432    62934   208817 |    98855    91236     19 |  0.282 % |
242.90/243.12	c |    394712 |    7432    62934   208817 |    98855    91413     19 |  0.282 % |
242.99/243.29	c |    394907 |    7432    62934   208817 |    98855    91608     19 |  0.282 % |
243.19/243.48	c |    395119 |    7432    62934   208817 |    98855    91820     19 |  0.282 % |
243.39/243.61	c |    395352 |    7432    62934   208817 |    98855    92053     19 |  0.282 % |
243.49/243.71	c |    395608 |    7432    62934   208817 |    98855    92309     19 |  0.282 % |
243.59/243.81	c |    395889 |    7432    62934   208817 |    98855    92590     19 |  0.282 % |
243.90/244.10	c |    396203 |    7432    62934   208817 |    98855    92904     19 |  0.282 % |
244.19/244.47	c |    396544 |    7432    62934   208817 |    98855    93245     19 |  0.282 % |
244.49/244.75	c |    396917 |    7432    62934   208817 |    98855    93618     19 |  0.282 % |
244.79/245.08	c |    397328 |    7432    62934   208817 |    98855    94029     19 |  0.282 % |
245.09/245.39	c |    397778 |    7432    62934   208817 |    98855    94479     19 |  0.282 % |
245.49/245.77	c |    398272 |    7432    62934   208817 |    98855    94973     19 |  0.282 % |
245.89/246.12	c |    398815 |    7432    62934   208817 |    98855    95516     19 |  0.282 % |
246.39/246.63	c |    399411 |    7432    62934   208817 |    98855    96112     19 |  0.282 % |
246.79/247.05	c |    400066 |    7432    62934   208817 |    96701    96767     19 |  0.282 % |
247.39/247.69	c |    400786 |    7432    62934   208817 |    96701    86974     19 |  0.282 % |
248.09/248.33	c |    401578 |    7432    62934   208817 |    96701    87766     19 |  0.282 % |
248.59/248.81	c |    402449 |    7432    62934   208817 |    96701    88637     19 |  0.282 % |
249.28/249.53	c |    403407 |    7432    62934   208817 |    96701    89595     19 |  0.282 % |
250.08/250.40	c |    404461 |    7432    62934   208817 |    96701    90649     19 |  0.282 % |
250.99/251.29	c |    405619 |    7432    62934   208817 |    96701    91807     19 |  0.282 % |
251.60/251.83	c |    406894 |    7432    62934   208817 |    96701    93082     19 |  0.282 % |
252.49/252.79	c |    408296 |    7432    62934   208817 |    96701    94484     19 |  0.282 % |
253.99/254.23	c |    409837 |    7432    62934   208817 |    96701    96025     19 |  0.282 % |
255.79/256.06	c |    411534 |    7432    62934   208817 | 2147483647    97722     19 |  0.282 % |
257.68/257.93	c |    413398 |    7432    62934   208817 | 2147483647    99586     19 |  0.282 % |
259.48/259.78	c |    415447 |    7432    62934   208817 | 2147483647   101635     19 |  0.282 % |
262.08/262.32	c |    417701 |    7432    62934   208817 | 2147483647   103889     20 |  0.282 % |
264.18/264.42	c |    420179 |    7432    62934   208817 |   106189   106367     20 |  0.282 % |
267.08/267.30	c |    422905 |    7432    62934   208817 |   106189    95538     19 |  0.282 % |
270.18/270.41	c |    425902 |    7432    62934   208817 |   106189    98535     19 |  0.282 % |
272.98/273.29	c |    429198 |    7432    62934   208817 |   106189   101831     19 |  0.282 % |
275.78/276.04	c |    432825 |    7432    62934   208817 |   102635    92443     19 |  0.282 % |
279.68/279.92	c |    436813 |    7432    62934   208817 |   102635    96431     19 |  0.282 % |
279.78/280.08	c |    436915 |    7432    62934   208817 |   102635    96533     19 |  0.282 % |
279.97/280.21	c |    437025 |    7432    62934   208817 |   102635    96643     19 |  0.282 % |
280.07/280.34	c |    437149 |    7432    62934   208817 |   102635    96767     19 |  0.282 % |
280.18/280.50	c |    437282 |    7432    62934   208817 |   102635    96900     19 |  0.282 % |
280.37/280.65	c |    437432 |    7432    62934   208817 |   102635    97050     19 |  0.282 % |
280.47/280.77	c |    437592 |    7432    62934   208817 |   102635    97210     19 |  0.282 % |
280.67/280.98	c |    437769 |    7432    62934   208817 |   102635    97387     19 |  0.282 % |
280.97/281.23	c |    437962 |    7432    62934   208817 |   102635    97580     19 |  0.282 % |
281.17/281.49	c |    438175 |    7432    62934   208817 |   102635    97793     19 |  0.282 % |
281.47/281.77	c |    438408 |    7432    62934   208817 |   102635    98026     19 |  0.282 % |
281.87/282.11	c |    438666 |    7432    62934   208817 |   102635    98284     19 |  0.282 % |
281.97/282.26	c |    438947 |    7432    62934   208817 |   102635    98565     19 |  0.282 % |
282.27/282.60	c |    439256 |    7432    62934   208817 |   102635    98874     19 |  0.282 % |
282.57/282.85	c |    439597 |    7432    62934   208817 |   102635    99215     19 |  0.282 % |
282.97/283.28	c |    439970 |    7432    62934   208817 |   102635    99588     19 |  0.282 % |
283.67/283.95	c |    440383 |    7432    62934   208817 |    99618    88515     19 |  0.282 % |
284.07/284.34	c |    440832 |    7432    62934   208817 |    99618    88964     19 |  0.282 % |
284.37/284.68	c |    441326 |    7432    62934   208817 |    99618    89458     19 |  0.282 % |
284.97/285.28	c |    441868 |    7432    62934   208817 |    99618    90000     19 |  0.282 % |
285.47/285.74	c |    442464 |    7432    62934   208817 |    99618    90596     19 |  0.282 % |
286.17/286.46	c |    443121 |    7432    62934   208817 |    99618    91253     19 |  0.282 % |
286.97/287.23	c |    443841 |    7432    62934   208817 |    99618    91973     19 |  0.282 % |
287.67/287.90	c |    444633 |    7432    62934   208817 |    99618    92765     19 |  0.282 % |
288.57/288.89	c |    445504 |    7432    62934   208817 |    99618    93636     19 |  0.282 % |
289.57/289.90	c |    446463 |    7432    62934   208817 |    99618    94595     19 |  0.282 % |
290.57/290.86	c |    447519 |    7432    62934   208817 |    99618    95651     19 |  0.282 % |
291.67/291.96	c |    448677 |    7432    62934   208817 |    99618    96809     19 |  0.282 % |
292.97/293.26	c |    449950 |    7432    62934   208817 |    99618    98082     19 |  0.282 % |
294.27/294.51	c |    451350 |    7432    62934   208817 |    98135    88058     19 |  0.282 % |
295.67/295.93	c |    452892 |    7432    62934   208817 |    98135    89600     19 |  0.282 % |
297.47/297.79	c |    454586 |    7432    62934   208817 |    98135    91294     19 |  0.282 % |
299.07/299.33	c |    456450 |    7432    62934   208817 |    98135    93158     19 |  0.282 % |
300.77/301.05	c |    458502 |    7432    62934   208817 |    98135    95210     19 |  0.282 % |
302.96/303.20	c |    460755 |    7432    62934   208817 |    96708    87531     19 |  0.282 % |
305.16/305.41	c |    463233 |    7432    62934   208817 |    96708    90009     19 |  0.282 % |
307.16/307.40	c |    465958 |    7432    62934   208817 |    96708    92734     20 |  0.282 % |
310.06/310.35	c |    468955 |    7432    62934   208817 |    96708    95731     20 |  0.282 % |
312.35/312.66	c |    472252 |    7431    62931   208811 | 2147483647    99027     20 |  0.295 % |
315.25/315.60	c |    475877 |    7431    62931   208811 | 2147483647   102652     20 |  0.295 % |
319.65/319.92	c |    479864 |    7431    62931   208811 | 2147483647   106639     20 |  0.295 % |
323.35/323.60	c |    484249 |    7431    62931   208811 |   106776    98595     20 |  0.295 % |
323.45/323.73	c |    484349 |    7431    62931   208811 |   106776    98695     20 |  0.295 % |
323.55/323.82	c |    484459 |    7431    62931   208811 |   106776    98805     20 |  0.295 % |
323.65/323.93	c |    484580 |    7431    62931   208811 |   106776    98926     20 |  0.295 % |
323.75/324.05	c |    484713 |    7431    62931   208811 |   106776    99059     20 |  0.295 % |
323.95/324.23	c |    484861 |    7431    62931   208811 |   106776    99207     20 |  0.295 % |
324.15/324.43	c |    485021 |    7431    62931   208811 |   106776    99367     20 |  0.295 % |
324.25/324.59	c |    485200 |    7431    62931   208811 |   106776    99546     20 |  0.295 % |
324.55/324.81	c |    485393 |    7431    62931   208811 |   106776    99739     20 |  0.295 % |
324.65/324.97	c |    485606 |    7431    62931   208811 |   106776    99952     20 |  0.295 % |
324.85/325.19	c |    485839 |    7431    62931   208811 |   106776   100185     20 |  0.295 % |
325.15/325.49	c |    486095 |    7431    62931   208811 |   106776   100441     20 |  0.295 % |
325.45/325.76	c |    486379 |    7431    62931   208811 |   106776   100725     20 |  0.295 % |
325.75/326.08	c |    486690 |    7431    62931   208811 |   106776   101036     20 |  0.295 % |
326.15/326.47	c |    487029 |    7431    62931   208811 |   106776   101375     20 |  0.295 % |
326.65/326.96	c |    487401 |    7431    62931   208811 |   106776   101747     20 |  0.295 % |
327.05/327.38	c |    487810 |    7431    62931   208811 |   106776   102156     20 |  0.295 % |
327.55/327.87	c |    488261 |    7431    62931   208811 |   106776   102607     20 |  0.295 % |
327.95/328.27	c |    488755 |    7431    62931   208811 |   106776   103101     20 |  0.295 % |
328.55/328.82	c |    489297 |    7431    62931   208811 |   106776   103643     20 |  0.295 % |
329.15/329.42	c |    489894 |    7431    62931   208811 |   106776   104240     20 |  0.295 % |
329.95/330.23	c |    490552 |    7431    62931   208811 |   104351    90121     19 |  0.295 % |
330.75/331.04	c |    491272 |    7431    62931   208811 |   104351    90841     19 |  0.295 % |
331.34/331.64	c |    492065 |    7431    62931   208811 |   104351    91634     20 |  0.295 % |
332.34/332.66	c |    492939 |    7431    62931   208811 |   104351    92508     20 |  0.295 % |
333.34/333.67	c |    493897 |    7431    62931   208811 |   104351    93466     20 |  0.295 % |
334.64/334.96	c |    494952 |    7431    62931   208811 |   104351    94521     20 |  0.295 % |
335.84/336.18	c |    496113 |    7431    62931   208811 |   104351    95682     20 |  0.295 % |
337.14/337.45	c |    497388 |    7431    62931   208811 |   104351    96957     20 |  0.295 % |
338.54/338.89	c |    498789 |    7431    62931   208811 |   104351    98358     20 |  0.295 % |
339.84/340.16	c |    500331 |    7431    62931   208811 |    99569    88895     19 |  0.295 % |
341.14/341.48	c |    502025 |    7431    62931   208811 |    99569    90589     20 |  0.295 % |
342.94/343.28	c |    503890 |    7431    62931   208811 |    99569    92454     20 |  0.295 % |
344.64/344.98	c |    505939 |    7431    62931   208811 |    99569    94503     20 |  0.295 % |
346.63/346.92	c |    508192 |    7431    62931   208811 |    99569    96756     20 |  0.295 % |
349.23/349.52	c |    510672 |    7431    62931   208811 | 2147483647    99236     20 |  0.295 % |
351.64/351.98	c |    513398 |    7431    62931   208811 | 2147483647   101962     20 |  0.295 % |
354.53/354.80	c |    516397 |    7431    62931   208811 | 2147483647   104961     20 |  0.295 % |
357.93/358.23	c |    519693 |    7431    62931   208811 | 2147483647   108257     20 |  0.295 % |
361.33/361.61	c |    523319 |    7431    62931   208811 |   108566    97659     20 |  0.295 % |
364.53/364.82	c |    527306 |    7431    62931   208811 |   108566   101646     20 |  0.295 % |
368.72/369.06	c |    531691 |    7431    62931   208811 | 2147483647   106031     20 |  0.295 % |
373.12/373.44	c |    536516 |    7431    62931   208811 | 2147483647   110856     20 |  0.295 % |
373.32/373.63	c |    536618 |    7431    62931   208811 | 2147483647   110958     20 |  0.295 % |
373.42/373.76	c |    536729 |    7431    62931   208811 | 2147483647   111069     20 |  0.295 % |
373.63/373.90	c |    536850 |    7431    62931   208811 | 2147483647   111190     20 |  0.295 % |
373.73/374.01	c |    536984 |    7431    62931   208811 | 2147483647   111324     20 |  0.295 % |
373.92/374.20	c |    537130 |    7431    62931   208811 | 2147483647   111470     20 |  0.295 % |
374.12/374.44	c |    537291 |    7431    62931   208811 | 2147483647   111631     20 |  0.295 % |
374.32/374.61	c |    537467 |    7431    62931   208811 | 2147483647   111807     20 |  0.295 % |
374.42/374.79	c |    537661 |    7431    62931   208811 | 2147483647   112001     20 |  0.295 % |
374.82/375.14	c |    537873 |    7431    62931   208811 | 2147483647   112213     20 |  0.295 % |
375.02/375.36	c |    538110 |    7431    62931   208811 | 2147483647   112450     20 |  0.295 % |
375.42/375.70	c |    538367 |    7431    62931   208811 | 2147483647   112707     20 |  0.295 % |
375.72/376.04	c |    538649 |    7431    62931   208811 | 2147483647   112989     20 |  0.295 % |
376.12/376.40	c |    538961 |    7431    62931   208811 | 2147483647   113301     20 |  0.295 % |
376.52/376.89	c |    539301 |    7431    62931   208811 | 2147483647   113641     20 |  0.295 % |
377.02/377.35	c |    539675 |    7431    62931   208811 | 2147483647   114015     20 |  0.295 % |
377.52/377.84	c |    540084 |    7431    62931   208811 |   114341   114424     20 |  0.295 % |
378.22/378.60	c |    540533 |    7431    62931   208811 |   114341    99016     20 |  0.295 % |
378.82/379.18	c |    541026 |    7431    62931   208811 |   114341    99509     20 |  0.295 % |
379.42/379.71	c |    541568 |    7431    62931   208811 |   114341   100051     20 |  0.295 % |
380.22/380.59	c |    542164 |    7431    62931   208811 |   114341   100647     20 |  0.295 % |
380.82/381.19	c |    542819 |    7431    62931   208811 |   114341   101302     20 |  0.295 % |
381.82/382.13	c |    543540 |    7431    62931   208811 |   114341   102023     20 |  0.295 % |
382.62/382.92	c |    544332 |    7431    62931   208811 |   114341   102815     20 |  0.295 % |
383.31/383.62	c |    545204 |    7431    62931   208811 |   114341   103687     20 |  0.295 % |
384.11/384.46	c |    546164 |    7431    62931   208811 |   114341   104647     20 |  0.295 % |
385.31/385.65	c |    547217 |    7431    62931   208811 |   114341   105700     20 |  0.295 % |
386.31/386.61	c |    548377 |    7431    62931   208811 |   114341   106860     20 |  0.295 % |
387.81/388.13	c |    549651 |    7431    62931   208811 |   114341   108134     20 |  0.295 % |
389.12/389.48	c |    551051 |    7431    62931   208811 |   108484    93996     19 |  0.295 % |
390.11/390.50	c |    552592 |    7431    62931   208811 |   108484    95537     19 |  0.295 % |
391.50/391.84	c |    554286 |    7431    62931   208811 |   108484    97231     19 |  0.295 % |
393.00/393.36	c |    556151 |    7431    62931   208811 |   108484    99096     20 |  0.295 % |
394.60/394.99	c |    558201 |    7431    62931   208811 |   108484   101146     20 |  0.295 % |
396.69/397.06	c |    560456 |    7431    62931   208811 |   102945    91481     19 |  0.295 % |
398.49/398.83	c |    562934 |    7431    62931   208811 |   102945    93959     19 |  0.295 % |
400.58/400.98	c |    565660 |    7431    62931   208811 |   102945    96685     19 |  0.295 % |
402.68/403.01	c |    568657 |    7431    62931   208811 |   102945    99682     20 |  0.295 % |
407.08/407.40	c |    571954 |    7431    62931   208811 |   101025    90931     19 |  0.295 % |
409.68/410.09	c |    575579 |    7431    62931   208811 |   101025    94556     19 |  0.295 % |
413.29/413.64	c |    579566 |    7431    62931   208811 |   101025    98543     19 |  0.295 % |
417.08/417.48	c |    583951 |    7429    62906   208751 | 2147483647   102926     20 |  0.322 % |
420.88/421.28	c |    588781 |    7429    62906   208751 | 2147483647   107756     20 |  0.322 % |
426.28/426.66	c |    594086 |    7428    62903   208745 |   108975   100262     19 |  0.335 % |
426.38/426.77	c |    594187 |    7428    62903   208745 |   108975   100363     19 |  0.335 % |
426.48/426.87	c |    594297 |    7428    62903   208745 |   108975   100473     19 |  0.335 % |
426.58/427.00	c |    594420 |    7428    62903   208745 |   108975   100596     19 |  0.335 % |
426.78/427.12	c |    594555 |    7428    62903   208745 |   108975   100731     19 |  0.335 % |
426.88/427.28	c |    594701 |    7428    62903   208745 |   108975   100877     19 |  0.335 % |
427.07/427.45	c |    594863 |    7428    62903   208745 |   108975   101039     19 |  0.335 % |
427.17/427.59	c |    595040 |    7428    62903   208745 |   108975   101216     19 |  0.335 % |
427.37/427.78	c |    595233 |    7428    62903   208745 |   108975   101409     19 |  0.335 % |
427.58/427.95	c |    595446 |    7428    62903   208745 |   108975   101622     19 |  0.335 % |
427.77/428.13	c |    595683 |    7428    62903   208745 |   108975   101859     19 |  0.335 % |
427.97/428.32	c |    595939 |    7428    62903   208745 |   108975   102115     19 |  0.335 % |
428.17/428.57	c |    596220 |    7428    62903   208745 |   108975   102396     19 |  0.335 % |
428.58/428.94	c |    596531 |    7428    62903   208745 |   108975   102707     19 |  0.335 % |
428.97/429.38	c |    596870 |    7428    62903   208745 |   108975   103046     19 |  0.335 % |
429.37/429.73	c |    597242 |    7428    62903   208745 |   108975   103418     19 |  0.335 % |
429.97/430.31	c |    597653 |    7428    62903   208745 |   108975   103829     19 |  0.335 % |
430.37/430.73	c |    598102 |    7428    62903   208745 |   108975   104278     19 |  0.335 % |
430.87/431.23	c |    598597 |    7428    62903   208745 |   108975   104773     19 |  0.335 % |
431.47/431.86	c |    599141 |    7428    62903   208745 |   108975   105317     19 |  0.335 % |
432.27/432.64	c |    599737 |    7428    62903   208745 |   108975   105913     19 |  0.335 % |
433.27/433.65	c |    600393 |    7428    62903   208745 |   106178    90565     19 |  0.335 % |
433.77/434.17	c |    601115 |    7428    62903   208745 |   106178    91287     19 |  0.335 % |
434.37/434.80	c |    601907 |    7428    62903   208745 |   106178    92079     19 |  0.335 % |
435.07/435.42	c |    602778 |    7428    62903   208745 |   106178    92950     19 |  0.335 % |
435.77/436.19	c |    603737 |    7428    62903   208745 |   106178    93909     19 |  0.335 % |
436.66/437.08	c |    604790 |    7428    62903   208745 |   106178    94962     19 |  0.335 % |
437.46/437.82	c |    605948 |    7428    62903   208745 |   106178    96120     19 |  0.335 % |
438.65/439.04	c |    607221 |    7428    62903   208745 |   106178    97393     19 |  0.335 % |
439.66/440.04	c |    608625 |    7428    62903   208745 |   106178    98797     19 |  0.335 % |
440.95/441.35	c |    610165 |    7428    62903   208745 |   100172    88375     19 |  0.335 % |
442.55/442.92	c |    611859 |    7428    62903   208745 |   100172    90069     19 |  0.335 % |
444.25/444.66	c |    613722 |    7428    62903   208745 |   100172    91932     19 |  0.335 % |
446.05/446.49	c |    615771 |    7428    62903   208745 |   100172    93981     19 |  0.335 % |
447.95/448.33	c |    618024 |    7428    62903   208745 |   100172    96234     19 |  0.335 % |
450.55/450.96	c |    620503 |    7428    62903   208745 | 2147483647    98713     19 |  0.335 % |
452.95/453.35	c |    623230 |    7428    62903   208745 | 2147483647   101440     19 |  0.335 % |
455.95/456.30	c |    626230 |    7428    62903   208745 | 2147483647   104440     19 |  0.335 % |
459.05/459.41	c |    629526 |    7428    62903   208745 | 2147483647   107736     20 |  0.335 % |
462.75/463.15	c |    633152 |    7428    62903   208745 |   108210    95735     19 |  0.335 % |
466.54/466.96	c |    637139 |    7427    62900   208739 |   108210    99721     19 |  0.349 % |
470.54/470.98	c |    641524 |    7427    62900   208739 |   102585    90095     19 |  0.362 % |
476.24/476.62	c |    646348 |    7427    62900   208739 |   102585    94919     19 |  0.362 % |
482.33/482.77	c |    651653 |    7426    62897   208733 |    98571    87502     19 |  0.362 % |
488.13/488.57	c |    657488 |    7426    62897   208733 |    98571    93337     19 |  0.362 % |
488.23/488.69	c |    657591 |    7426    62897   208733 |    98571    93440     19 |  0.362 % |
488.43/488.85	c |    657702 |    7426    62897   208733 |    98571    93551     19 |  0.362 % |
488.53/488.95	c |    657824 |    7426    62897   208733 |    98571    93673     19 |  0.362 % |
488.63/489.03	c |    657957 |    7426    62897   208733 |    98571    93806     19 |  0.362 % |
488.83/489.22	c |    658103 |    7425    62894   208727 |    98571    93951     19 |  0.376 % |
488.93/489.35	c |    658263 |    7425    62894   208727 |    98571    94111     19 |  0.376 % |
489.13/489.51	c |    658439 |    7425    62894   208727 |    98571    94287     19 |  0.376 % |
489.23/489.64	c |    658632 |    7425    62894   208727 |    98571    94480     19 |  0.376 % |
489.43/489.81	c |    658845 |    7425    62894   208727 |    98571    94693     19 |  0.376 % |
489.63/490.00	c |    659078 |    7425    62894   208727 |    98571    94926     19 |  0.376 % |
489.83/490.28	c |    659334 |    7425    62894   208727 |    98571    95182     19 |  0.376 % |
490.13/490.55	c |    659615 |    7425    62894   208727 |    98571    95463     19 |  0.376 % |
490.23/490.69	c |    659924 |    7425    62894   208727 |    98571    95772     19 |  0.376 % |
490.63/491.01	c |    660263 |    7425    62894   208727 | 2147483647    96111     19 |  0.376 % |
491.03/491.43	c |    660636 |    7425    62894   208727 | 2147483647    96484     19 |  0.376 % |
491.43/491.82	c |    661047 |    7425    62894   208727 | 2147483647    96895     19 |  0.376 % |
491.83/492.23	c |    661496 |    7425    62894   208727 | 2147483647    97344     19 |  0.376 % |
492.33/492.75	c |    661992 |    7425    62894   208727 | 2147483647    97840     19 |  0.376 % |
492.83/493.25	c |    662537 |    7425    62894   208727 | 2147483647    98385     19 |  0.376 % |
493.53/493.99	c |    663133 |    7425    62894   208727 | 2147483647    98981     19 |  0.376 % |
494.13/494.57	c |    663788 |    7425    62894   208727 | 2147483647    99636     19 |  0.376 % |
494.93/495.31	c |    664509 |    7425    62894   208727 | 2147483647   100357     19 |  0.376 % |
495.63/496.07	c |    665303 |    7425    62894   208727 | 2147483647   101151     19 |  0.376 % |
496.22/496.68	c |    666174 |    7425    62894   208727 | 2147483647   102022     19 |  0.376 % |
497.02/497.44	c |    667132 |    7425    62894   208727 | 2147483647   102980     19 |  0.376 % |
498.02/498.40	c |    668185 |    7425    62894   208727 | 2147483647   104033     19 |  0.376 % |
499.13/499.56	c |    669344 |    7425    62894   208727 | 2147483647   105192     19 |  0.376 % |
500.62/501.09	c |    670617 |    7425    62894   208727 |   105848    93115     18 |  0.376 % |
501.92/502.39	c |    672017 |    7425    62894   208727 |   105848    94515     18 |  0.376 % |
503.33/503.73	c |    673557 |    7424    62891   208721 |   105848    96051     18 |  0.389 % |
504.72/505.12	c |    675252 |    7424    62891   208721 |   105848    97746     18 |  0.389 % |
506.52/506.93	c |    677115 |    7424    62891   208721 |   105848    99609     18 |  0.389 % |
508.72/509.10	c |    679165 |    7424    62891   208721 |   105848   101659     18 |  0.389 % |
510.92/511.40	c |    681420 |    7424    62891   208721 |   102496    91006     18 |  0.389 % |
513.22/513.65	c |    683898 |    7424    62891   208721 |   102496    93484     18 |  0.389 % |
515.42/515.89	c |    686623 |    7424    62891   208721 |   102496    96209     18 |  0.389 % |
517.92/518.32	c |    689620 |    7423    62888   208715 |   102496    99205     18 |  0.403 % |
520.72/521.18	c |    692917 |    7423    62888   208715 |    99586    91970     18 |  0.403 % |
523.82/524.20	c |    696542 |    7423    62888   208715 |    99586    95595     18 |  0.403 % |
527.31/527.75	c |    700529 |    7423    62888   208715 |    99053    89072     18 |  0.403 % |
531.60/532.00	c |    704915 |    7423    62888   208715 |    99053    93458     18 |  0.403 % |
535.70/536.17	c |    709738 |    7423    62888   208715 |    99053    98281     18 |  0.403 % |
541.00/541.49	c |    715043 |    7420    62495   206513 |    98545    21181     11 |  0.443 % |
542.00/542.48	c ===============================================================================
542.00/542.48	c restarts              : 1035
542.00/542.48	c conflicts             : 720857         (1332 /sec)
542.00/542.48	c decisions             : 1037310        (1.80 % random) (1917 /sec)
542.00/542.48	c propagations          : 168366207      (311217 /sec)
542.00/542.48	c conflict literals     : 15738506       (36.55 % deleted)
542.00/542.48	c Memory used           : 20.95 MB
542.00/542.48	c CPU time              : 540.993 s
542.00/542.48	c 
542.00/542.48	s UNSATISFIABLE
542.00/542.49	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-1833799-1242825242/watcher-1833799-1242825242 -o /tmp/evaluation-result-1833799-1242825242/solver-1833799-1242825242 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833799-1242825242.cnf 

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


[startup+0 s]
/proc/loadavg: 1.07 1.00 1.00 3/65 2079
/proc/meminfo: memFree=1770664/2055920 swapFree=4180344/4192956
[pid=2079] ppid=2077 vsize=5356 CPUtime=0
/proc/2079/stat : 2079 (SatELiteGTI) S 2077 2079 1203 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310553365 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 270187331666 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/2079/statm: 1339 235 195 169 0 50 0
[pid=2080] ppid=2079 vsize=5356 CPUtime=0
/proc/2080/stat : 2080 (SatELiteGTI) S 2079 2079 1203 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 310553365 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/2080/statm: 1339 238 198 169 0 50 0
[pid=2082] ppid=2080 vsize=2492 CPUtime=0
/proc/2082/stat : 2082 (sed) R 2080 2079 1203 0 -1 4194304 49 0 0 0 0 0 0 0 21 0 1 0 310553365 2551808 30 1992294400 4194304 4240196 548682069056 18446744073709551615 270184544393 0 0 4096 0 0 0 0 17 0 0 0
/proc/2082/statm: 624 37 28 11 0 16 0

[startup+0.081626 s]
/proc/loadavg: 1.07 1.00 1.00 3/65 2079
/proc/meminfo: memFree=1770664/2055920 swapFree=4180344/4192956
[pid=2079] ppid=2077 vsize=5356 CPUtime=0
/proc/2079/stat : 2079 (SatELiteGTI) S 2077 2079 1203 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310553365 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2079/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101628 s]
/proc/loadavg: 1.07 1.00 1.00 3/65 2079
/proc/meminfo: memFree=1770664/2055920 swapFree=4180344/4192956
[pid=2079] ppid=2077 vsize=5356 CPUtime=0
/proc/2079/stat : 2079 (SatELiteGTI) S 2077 2079 1203 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310553365 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2079/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301649 s]
/proc/loadavg: 1.07 1.00 1.00 3/65 2079
/proc/meminfo: memFree=1770664/2055920 swapFree=4180344/4192956
[pid=2079] ppid=2077 vsize=5356 CPUtime=0
/proc/2079/stat : 2079 (SatELiteGTI) S 2077 2079 1203 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310553365 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2079/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701695 s]
/proc/loadavg: 1.07 1.00 1.00 3/65 2079
/proc/meminfo: memFree=1770664/2055920 swapFree=4180344/4192956
[pid=2079] ppid=2077 vsize=5356 CPUtime=0
/proc/2079/stat : 2079 (SatELiteGTI) S 2077 2079 1203 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310553365 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2079/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50178 s]
/proc/loadavg: 1.07 1.00 1.00 2/67 2084
/proc/meminfo: memFree=1751640/2055920 swapFree=4180344/4192956
[pid=2079] ppid=2077 vsize=5356 CPUtime=1.04
/proc/2079/stat : 2079 (SatELiteGTI) S 2077 2079 1203 0 -1 4194304 336 5221 0 0 0 0 100 4 16 0 1 0 310553365 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2079/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 5356

[startup+3.10296 s]
/proc/loadavg: 1.07 1.00 1.00 2/67 2085
/proc/meminfo: memFree=1761688/2055920 swapFree=4180344/4192956
[pid=2079] ppid=2077 vsize=5356 CPUtime=1.04
/proc/2079/stat : 2079 (SatELiteGTI) S 2077 2079 1203 0 -1 4194304 336 5221 0 0 0 0 100 4 16 0 1 0 310553365 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2079/statm: 1339 239 197 169 0 50 0
[pid=2085] ppid=2079 vsize=7380 CPUtime=2.02
/proc/2085/stat : 2085 (minisat_static) R 2079 2079 1203 0 -1 4194304 1693 0 0 0 201 1 0 0 25 0 1 0 310553471 7557120 1679 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2085/statm: 1845 1679 77 171 0 1672 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 12736

[startup+6.30132 s]
/proc/loadavg: 1.07 1.00 1.00 2/67 2085
/proc/meminfo: memFree=1759256/2055920 swapFree=4180344/4192956
[pid=2079] ppid=2077 vsize=5356 CPUtime=1.04
/proc/2079/stat : 2079 (SatELiteGTI) S 2077 2079 1203 0 -1 4194304 336 5221 0 0 0 0 100 4 16 0 1 0 310553365 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2079/statm: 1339 239 197 169 0 50 0
[pid=2085] ppid=2079 vsize=9268 CPUtime=5.21
/proc/2085/stat : 2085 (minisat_static) R 2079 2079 1203 0 -1 4194304 2175 0 0 0 520 1 0 0 25 0 1 0 310553471 9490432 2161 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/2085/statm: 2317 2161 77 171 0 2144 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 14624

[startup+12.7011 s]
/proc/loadavg: 1.06 1.00 1.00 2/67 2085
/proc/meminfo: memFree=1756632/2055920 swapFree=4180344/4192956
[pid=2079] ppid=2077 vsize=5356 CPUtime=1.04
/proc/2079/stat : 2079 (SatELiteGTI) S 2077 2079 1203 0 -1 4194304 336 5221 0 0 0 0 100 4 16 0 1 0 310553365 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2079/statm: 1339 239 197 169 0 50 0
[pid=2085] ppid=2079 vsize=11728 CPUtime=11.61
/proc/2085/stat : 2085 (minisat_static) R 2079 2079 1203 0 -1 4194304 2790 0 0 0 1159 2 0 0 25 0 1 0 310553471 12009472 2776 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2085/statm: 2932 2776 77 171 0 2759 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 17084

[startup+25.5015 s]
/proc/loadavg: 1.05 1.00 1.00 2/67 2085
/proc/meminfo: memFree=1753752/2055920 swapFree=4180344/4192956
[pid=2079] ppid=2077 vsize=5356 CPUtime=1.04
/proc/2079/stat : 2079 (SatELiteGTI) S 2077 2079 1203 0 -1 4194304 336 5221 0 0 0 0 100 4 16 0 1 0 310553365 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2079/statm: 1339 239 197 169 0 50 0
[pid=2085] ppid=2079 vsize=14656 CPUtime=24.41
/proc/2085/stat : 2085 (minisat_static) R 2079 2079 1203 0 -1 4194304 3524 0 0 0 2438 3 0 0 25 0 1 0 310553471 15007744 3510 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2085/statm: 3664 3510 77 171 0 3491 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 20012

[startup+51.1014 s]
/proc/loadavg: 1.03 1.00 1.00 2/67 2085
/proc/meminfo: memFree=1752344/2055920 swapFree=4180344/4192956
[pid=2079] ppid=2077 vsize=5356 CPUtime=1.04
/proc/2079/stat : 2079 (SatELiteGTI) S 2077 2079 1203 0 -1 4194304 336 5221 0 0 0 0 100 4 16 0 1 0 310553365 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2079/statm: 1339 239 197 169 0 50 0
[pid=2085] ppid=2079 vsize=16080 CPUtime=49.98
/proc/2085/stat : 2085 (minisat_static) R 2079 2079 1203 0 -1 4194304 3856 0 0 0 4994 4 0 0 25 0 1 0 310553471 16465920 3842 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/2085/statm: 4020 3842 77 171 0 3847 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 21436

[startup+102.305 s]
/proc/loadavg: 1.01 1.00 1.00 2/67 2085
/proc/meminfo: memFree=1748952/2055920 swapFree=4180344/4192956
[pid=2079] ppid=2077 vsize=5356 CPUtime=1.04
/proc/2079/stat : 2079 (SatELiteGTI) S 2077 2079 1203 0 -1 4194304 336 5221 0 0 0 0 100 4 16 0 1 0 310553365 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2079/statm: 1339 239 197 169 0 50 0
[pid=2085] ppid=2079 vsize=19480 CPUtime=101.15
/proc/2085/stat : 2085 (minisat_static) R 2079 2079 1203 0 -1 4194304 4685 0 0 0 10110 5 0 0 25 0 1 0 310553471 19947520 4671 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2085/statm: 4870 4671 77 171 0 4697 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 24836

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 2085
/proc/meminfo: memFree=1748440/2055920 swapFree=4180344/4192956
[pid=2079] ppid=2077 vsize=5356 CPUtime=1.04
/proc/2079/stat : 2079 (SatELiteGTI) S 2077 2079 1203 0 -1 4194304 336 5221 0 0 0 0 100 4 16 0 1 0 310553365 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2079/statm: 1339 239 197 169 0 50 0
[pid=2085] ppid=2079 vsize=19916 CPUtime=161.11
/proc/2085/stat : 2085 (minisat_static) R 2079 2079 1203 0 -1 4194304 4782 0 0 0 16106 5 0 0 25 0 1 0 310553471 20393984 4768 1992294400 134512640 135215339 4294956240 18446744073709551615 134528936 0 0 4096 3 0 0 0 17 0 0 0
/proc/2085/statm: 4979 4768 77 171 0 4806 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 25272

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 2085
/proc/meminfo: memFree=1747928/2055920 swapFree=4180344/4192956
[pid=2079] ppid=2077 vsize=5356 CPUtime=1.04
/proc/2079/stat : 2079 (SatELiteGTI) S 2077 2079 1203 0 -1 4194304 336 5221 0 0 0 0 100 4 16 0 1 0 310553365 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2079/statm: 1339 239 197 169 0 50 0
[pid=2085] ppid=2079 vsize=20364 CPUtime=221.06
/proc/2085/stat : 2085 (minisat_static) R 2079 2079 1203 0 -1 4194304 4890 0 0 0 22101 5 0 0 25 0 1 0 310553471 20852736 4876 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2085/statm: 5091 4876 77 171 0 4918 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 25720

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 2085
/proc/meminfo: memFree=1747608/2055920 swapFree=4180344/4192956
[pid=2079] ppid=2077 vsize=5356 CPUtime=1.04
/proc/2079/stat : 2079 (SatELiteGTI) S 2077 2079 1203 0 -1 4194304 336 5221 0 0 0 0 100 4 16 0 1 0 310553365 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2079/statm: 1339 239 197 169 0 50 0
[pid=2085] ppid=2079 vsize=20684 CPUtime=281.03
/proc/2085/stat : 2085 (minisat_static) R 2079 2079 1203 0 -1 4194304 4968 0 0 0 28097 6 0 0 25 0 1 0 310553471 21180416 4954 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/2085/statm: 5171 4954 77 171 0 4998 0
Current children cumulated CPU time (s) 282.07
Current children cumulated vsize (KiB) 26040

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 2085
/proc/meminfo: memFree=1747416/2055920 swapFree=4180344/4192956
[pid=2079] ppid=2077 vsize=5356 CPUtime=1.04
/proc/2079/stat : 2079 (SatELiteGTI) S 2077 2079 1203 0 -1 4194304 336 5221 0 0 0 0 100 4 16 0 1 0 310553365 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2079/statm: 1339 239 197 169 0 50 0
[pid=2085] ppid=2079 vsize=20864 CPUtime=341
/proc/2085/stat : 2085 (minisat_static) R 2079 2079 1203 0 -1 4194304 5001 0 0 0 34094 6 0 0 25 0 1 0 310553471 21364736 4987 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2085/statm: 5216 4987 77 171 0 5043 0
Current children cumulated CPU time (s) 342.04
Current children cumulated vsize (KiB) 26220

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 2085
/proc/meminfo: memFree=1747032/2055920 swapFree=4180344/4192956
[pid=2079] ppid=2077 vsize=5356 CPUtime=1.04
/proc/2079/stat : 2079 (SatELiteGTI) S 2077 2079 1203 0 -1 4194304 336 5221 0 0 0 0 100 4 16 0 1 0 310553365 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2079/statm: 1339 239 197 169 0 50 0
[pid=2085] ppid=2079 vsize=21136 CPUtime=400.94
/proc/2085/stat : 2085 (minisat_static) R 2079 2079 1203 0 -1 4194304 5094 0 0 0 40088 6 0 0 25 0 1 0 310553471 21643264 5080 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2085/statm: 5284 5080 77 171 0 5111 0
Current children cumulated CPU time (s) 401.98
Current children cumulated vsize (KiB) 26492

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 2085
/proc/meminfo: memFree=1746840/2055920 swapFree=4180344/4192956
[pid=2079] ppid=2077 vsize=5356 CPUtime=1.04
/proc/2079/stat : 2079 (SatELiteGTI) S 2077 2079 1203 0 -1 4194304 336 5221 0 0 0 0 100 4 16 0 1 0 310553365 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2079/statm: 1339 239 197 169 0 50 0
[pid=2085] ppid=2079 vsize=21296 CPUtime=460.9
/proc/2085/stat : 2085 (minisat_static) R 2079 2079 1203 0 -1 4194304 5120 0 0 0 46084 6 0 0 25 0 1 0 310553471 21807104 5106 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2085/statm: 5324 5106 77 171 0 5151 0
Current children cumulated CPU time (s) 461.94
Current children cumulated vsize (KiB) 26652

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 2085
/proc/meminfo: memFree=1746712/2055920 swapFree=4180344/4192956
[pid=2079] ppid=2077 vsize=5356 CPUtime=1.04
/proc/2079/stat : 2079 (SatELiteGTI) S 2077 2079 1203 0 -1 4194304 336 5221 0 0 0 0 100 4 16 0 1 0 310553365 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2079/statm: 1339 239 197 169 0 50 0
[pid=2085] ppid=2079 vsize=21448 CPUtime=520.88
/proc/2085/stat : 2085 (minisat_static) R 2079 2079 1203 0 -1 4194304 5140 0 0 0 52082 6 0 0 25 0 1 0 310553471 21962752 5126 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/2085/statm: 5362 5126 77 171 0 5189 0
Current children cumulated CPU time (s) 521.92
Current children cumulated vsize (KiB) 26804

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

[startup+524.705 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 2085
/proc/meminfo: memFree=1746712/2055920 swapFree=4180344/4192956
[pid=2079] ppid=2077 vsize=5356 CPUtime=1.04
/proc/2079/stat : 2079 (SatELiteGTI) S 2077 2079 1203 0 -1 4194304 336 5221 0 0 0 0 100 4 16 0 1 0 310553365 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2079/statm: 1339 239 197 169 0 50 0
[pid=2085] ppid=2079 vsize=21448 CPUtime=523.28
/proc/2085/stat : 2085 (minisat_static) R 2079 2079 1203 0 -1 4194304 5140 0 0 0 52322 6 0 0 25 0 1 0 310553471 21962752 5126 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/2085/statm: 5362 5126 77 171 0 5189 0
Current children cumulated CPU time (s) 524.32
Current children cumulated vsize (KiB) 26804

[startup+531.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 2085
/proc/meminfo: memFree=1746712/2055920 swapFree=4180344/4192956
[pid=2079] ppid=2077 vsize=5356 CPUtime=1.04
/proc/2079/stat : 2079 (SatELiteGTI) S 2077 2079 1203 0 -1 4194304 336 5221 0 0 0 0 100 4 16 0 1 0 310553365 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2079/statm: 1339 239 197 169 0 50 0
[pid=2085] ppid=2079 vsize=21448 CPUtime=529.66
/proc/2085/stat : 2085 (minisat_static) R 2079 2079 1203 0 -1 4194304 5142 0 0 0 52960 6 0 0 25 0 1 0 310553471 21962752 5128 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/2085/statm: 5362 5128 77 171 0 5189 0
Current children cumulated CPU time (s) 530.7
Current children cumulated vsize (KiB) 26804

[startup+537.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 2085
/proc/meminfo: memFree=1746712/2055920 swapFree=4180344/4192956
[pid=2079] ppid=2077 vsize=5356 CPUtime=1.04
/proc/2079/stat : 2079 (SatELiteGTI) S 2077 2079 1203 0 -1 4194304 336 5221 0 0 0 0 100 4 16 0 1 0 310553365 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2079/statm: 1339 239 197 169 0 50 0
[pid=2085] ppid=2079 vsize=21448 CPUtime=536.06
/proc/2085/stat : 2085 (minisat_static) R 2079 2079 1203 0 -1 4194304 5147 0 0 0 53600 6 0 0 25 0 1 0 310553471 21962752 5133 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/2085/statm: 5362 5133 77 171 0 5189 0
Current children cumulated CPU time (s) 537.1
Current children cumulated vsize (KiB) 26804

[startup+540.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 2085
/proc/meminfo: memFree=1746712/2055920 swapFree=4180344/4192956
[pid=2079] ppid=2077 vsize=5356 CPUtime=1.04
/proc/2079/stat : 2079 (SatELiteGTI) S 2077 2079 1203 0 -1 4194304 336 5221 0 0 0 0 100 4 16 0 1 0 310553365 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2079/statm: 1339 239 197 169 0 50 0
[pid=2085] ppid=2079 vsize=21448 CPUtime=539.26
/proc/2085/stat : 2085 (minisat_static) R 2079 2079 1203 0 -1 4194304 5156 0 0 0 53920 6 0 0 25 0 1 0 310553471 21962752 5142 1992294400 134512640 135215339 4294956240 18446744073709551615 134526123 0 0 4096 3 0 0 0 17 0 0 0
/proc/2085/statm: 5362 5142 77 171 0 5189 0
Current children cumulated CPU time (s) 540.3
Current children cumulated vsize (KiB) 26804

[startup+541.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 2085
/proc/meminfo: memFree=1746648/2055920 swapFree=4180344/4192956
[pid=2079] ppid=2077 vsize=5356 CPUtime=1.04
/proc/2079/stat : 2079 (SatELiteGTI) S 2077 2079 1203 0 -1 4194304 336 5221 0 0 0 0 100 4 16 0 1 0 310553365 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2079/statm: 1339 239 197 169 0 50 0
[pid=2085] ppid=2079 vsize=21448 CPUtime=540.06
/proc/2085/stat : 2085 (minisat_static) R 2079 2079 1203 0 -1 4194304 5156 0 0 0 54000 6 0 0 25 0 1 0 310553471 21962752 5142 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/2085/statm: 5362 5142 77 171 0 5189 0
Current children cumulated CPU time (s) 541.1
Current children cumulated vsize (KiB) 26804

[startup+541.902 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 2085
/proc/meminfo: memFree=1746648/2055920 swapFree=4180344/4192956
[pid=2079] ppid=2077 vsize=5356 CPUtime=1.04
/proc/2079/stat : 2079 (SatELiteGTI) S 2077 2079 1203 0 -1 4194304 336 5221 0 0 0 0 100 4 16 0 1 0 310553365 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2079/statm: 1339 239 197 169 0 50 0
[pid=2085] ppid=2079 vsize=21448 CPUtime=540.46
/proc/2085/stat : 2085 (minisat_static) R 2079 2079 1203 0 -1 4194304 5156 0 0 0 54040 6 0 0 25 0 1 0 310553471 21962752 5142 1992294400 134512640 135215339 4294956240 18446744073709551615 134528811 0 0 4096 3 0 0 0 17 0 0 0
/proc/2085/statm: 5362 5142 77 171 0 5189 0
Current children cumulated CPU time (s) 541.5
Current children cumulated vsize (KiB) 26804

[startup+542.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 2085
/proc/meminfo: memFree=1746648/2055920 swapFree=4180344/4192956
[pid=2079] ppid=2077 vsize=5356 CPUtime=1.04
/proc/2079/stat : 2079 (SatELiteGTI) S 2077 2079 1203 0 -1 4194304 336 5221 0 0 0 0 100 4 16 0 1 0 310553365 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2079/statm: 1339 239 197 169 0 50 0
[pid=2085] ppid=2079 vsize=21448 CPUtime=540.87
/proc/2085/stat : 2085 (minisat_static) R 2079 2079 1203 0 -1 4194304 5156 0 0 0 54081 6 0 0 25 0 1 0 310553471 21962752 5142 1992294400 134512640 135215339 4294956240 18446744073709551615 134528772 0 0 4096 3 0 0 0 17 0 0 0
/proc/2085/statm: 5362 5142 77 171 0 5189 0
Current children cumulated CPU time (s) 541.91
Current children cumulated vsize (KiB) 26804

[startup+542.402 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 2085
/proc/meminfo: memFree=1746648/2055920 swapFree=4180344/4192956
[pid=2079] ppid=2077 vsize=5356 CPUtime=1.04
/proc/2079/stat : 2079 (SatELiteGTI) S 2077 2079 1203 0 -1 4194304 336 5221 0 0 0 0 100 4 16 0 1 0 310553365 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2079/statm: 1339 239 197 169 0 50 0
[pid=2085] ppid=2079 vsize=21448 CPUtime=540.96
/proc/2085/stat : 2085 (minisat_static) R 2079 2079 1203 0 -1 4194304 5156 0 0 0 54090 6 0 0 25 0 1 0 310553471 21962752 5142 1992294400 134512640 135215339 4294956240 18446744073709551615 134528714 0 0 4096 3 0 0 0 17 0 0 0
/proc/2085/statm: 5362 5142 77 171 0 5189 0
Current children cumulated CPU time (s) 542
Current children cumulated vsize (KiB) 26804

Child status: 20
Real time (s): 542.5
CPU time (s): 542.132
CPU user time (s): 542.005
CPU system time (s): 0.12698
CPU usage (%): 99.932
Max. virtual memory (cumulated for all children) (KiB): 26804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 542.005
system time used= 0.12698
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10873
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47
involuntary context switches= 4125

runsolver used 0.499924 second user time and 1.59276 second system time

The end

Launcher Data

Begin job on node88 at 2009-05-20 15:14:02
IDJOB=1833799
IDBENCH=70940
IDSOLVER=671
FILE ID=node88/1833799-1242825242
PBS_JOBID= 9322542
Free space on /tmp= 66136 MiB

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

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

MD5SUM BENCH= a7bc41b32260e4459b2bee7c18cacba1
RANDOM SEED=452343616

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:       1771144 kB
Buffers:         52588 kB
Cached:         182884 kB
SwapCached:       6880 kB
Active:          67456 kB
Inactive:       176868 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1771144 kB
SwapTotal:     4192956 kB
SwapFree:      4180344 kB
Dirty:            4684 kB
Writeback:           0 kB
Mapped:          14056 kB
Slab:            26396 kB
Committed_AS:   883596 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= 66136 MiB
End job on node88 at 2009-05-20 15:23:05