Trace number 1821394

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 565.26 565.244

General information on the benchmark

NameAPPLICATIONS/bioinfo/
q_query_3_l45_lambda.cnf
MD5SUM94aa7bdbcbe99c5b3082c395dc2384e9
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark553.39
Satisfiable
(Un)Satisfiability was proved
Number of variables32313
Number of clauses161529
Sum of the clauses size465707
Maximum clause length9
Minimum clause length1
Number of clauses of size 14190
Number of clauses of size 240231
Number of clauses of size 394818
Number of clauses of size 415389
Number of clauses of size 56766
Number of clauses of size over 5135

Solver Data

0.00/0.00	c Parsing...
0.12/0.14	c ==============================================================================
0.12/0.14	c |           |     ORIGINAL     |              LEARNT              |          |
0.12/0.14	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.12/0.14	c ==============================================================================
0.12/0.14	c |         0 |  151127   442273 |   45338       0        0     nan |  0.000 % |
1.02/1.06	c |         0 |   66882   225550 |      --       0       --      -- |     --   | -78765/-200275
1.02/1.06	c ==============================================================================
1.02/1.06	c Result  :   #vars: 7670   #clauses: 66882   #literals: 225550
1.02/1.06	c CPU time:   1.04 s
1.02/1.06	c ==============================================================================
1.12/1.14	c This is MiniSat 2.0 beta
1.12/1.14	c WARNING: for repeatability, setting FPU to use double precision
1.12/1.14	c ============================[ Problem Statistics ]=============================
1.12/1.14	c |                                                                             |
1.12/1.14	c |  Number of variables:  7670                                                 |
1.12/1.14	c |  Number of clauses:    66882                                                |
1.12/1.18	c |  Parsing time:         0.04         s                                       |
1.12/1.19	c ============================[ Search Statistics ]==============================
1.12/1.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.12/1.19	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.12/1.19	c ===============================================================================
1.12/1.19	c |         0 |    7670    66882   225550 |    22294        0    nan |  0.000 % |
1.12/1.19	c |       101 |    7670    66882   225550 |    22294      101      9 |  0.000 % |
1.12/1.20	c |       203 |    7669    66882   225550 |    22294      202     10 |  0.013 % |
1.12/1.20	c |       303 |    7669    66882   225550 |    22294      302     10 |  0.013 % |
1.12/1.21	c |       413 |    7669    66882   225550 |    22294      412     10 |  0.013 % |
1.12/1.21	c |       513 |    7669    66882   225550 |    22294      512     11 |  0.013 % |
1.14/1.22	c |       623 |    7668    66882   225550 |    22294      621     11 |  0.039 % |
1.14/1.22	c |       745 |    7668    66882   225550 |    22294      743     11 |  0.039 % |
1.14/1.23	c |       845 |    7667    66882   225550 |    22294      843     11 |  0.039 % |
1.14/1.24	c |       957 |    7667    66882   225550 |    22294      955     11 |  0.039 % |
1.14/1.25	c |      1079 |    7667    66882   225550 |    22294     1077     11 |  0.039 % |
1.14/1.25	c |      1213 |    7667    66882   225550 |    22294     1211     12 |  0.039 % |
1.14/1.26	c |      1314 |    7667    66882   225550 |    22294     1312     12 |  0.039 % |
1.14/1.26	c |      1425 |    7667    66882   225550 |    22294     1423     12 |  0.039 % |
1.14/1.27	c |      1546 |    7667    66882   225550 |    22294     1544     12 |  0.039 % |
1.14/1.28	c |      1679 |    7667    66882   225550 |    22294     1677     12 |  0.039 % |
1.14/1.29	c |      1827 |    7667    66882   225550 |    22294     1825     12 |  0.039 % |
1.14/1.29	c |      1927 |    7667    66882   225550 |    22294     1925     12 |  0.039 % |
1.14/1.30	c |      2037 |    7667    66882   225550 |    22294     2035     12 |  0.039 % |
1.14/1.31	c |      2160 |    7667    66882   225550 |    22294     2158     12 |  0.039 % |
1.14/1.32	c |      2294 |    7667    66468   223528 |    22294     2289     13 |  0.039 % |
1.14/1.33	c |      2440 |    7667    66468   223528 |    22294     2435     13 |  0.039 % |
1.14/1.34	c |      2600 |    7667    66468   223528 |    22294     2595     13 |  0.039 % |
1.14/1.35	c |      2700 |    7667    66468   223528 |    22294     2695     13 |  0.039 % |
1.14/1.35	c |      2811 |    7667    66468   223528 |    22294     2806     13 |  0.039 % |
1.14/1.36	c |      2933 |    7667    66468   223528 |    22294     2928     13 |  0.039 % |
1.14/1.36	c |      3066 |    7667    66468   223528 |    22294     3061     12 |  0.039 % |
1.14/1.37	c |      3213 |    7667    66468   223528 |    22294     3208     12 |  0.039 % |
1.14/1.38	c |      3375 |    7667    66468   223528 |    22294     3370     12 |  0.039 % |
1.14/1.39	c |      3552 |    7667    66468   223528 |    22294     3547     13 |  0.039 % |
1.14/1.40	c |      3653 |    7667    66468   223528 |    22294     3648     13 |  0.039 % |
1.14/1.41	c |      3763 |    7667    66468   223528 |    22294     3758     13 |  0.039 % |
1.14/1.42	c |      3884 |    7667    66468   223528 |    22294     3879     13 |  0.039 % |
1.14/1.43	c |      4019 |    7667    66468   223528 |    22294     4014     13 |  0.039 % |
1.14/1.44	c |      4166 |    7667    66468   223528 |    22294     4161     13 |  0.039 % |
1.14/1.45	c |      4328 |    7667    66468   223528 |    22294     4323     13 |  0.039 % |
1.14/1.46	c |      4504 |    7667    66468   223528 |    22294     4499     13 |  0.039 % |
1.14/1.48	c |      4699 |    7667    66468   223528 |    22294     4694     13 |  0.039 % |
1.14/1.49	c |      4800 |    7667    66468   223528 |    22294     4795     13 |  0.039 % |
1.14/1.49	c |      4910 |    7667    66468   223528 |    22294     4905     13 |  0.039 % |
1.14/1.50	c |      5032 |    7667    66468   223528 |    22294     5027     13 |  0.039 % |
1.14/1.51	c |      5165 |    7667    66468   223528 |    22294     5160     13 |  0.039 % |
1.14/1.53	c |      5311 |    7667    66468   223528 |    22294     5306     13 |  0.039 % |
1.14/1.54	c |      5473 |    7667    66468   223528 |    22294     5468     13 |  0.039 % |
1.14/1.56	c |      5651 |    7667    66468   223528 |    22294     5646     13 |  0.039 % |
1.14/1.57	c |      5845 |    7667    66468   223528 |    22294     5840     13 |  0.039 % |
1.14/1.59	c |      6058 |    7667    66468   223528 |    22294     6053     13 |  0.039 % |
1.14/1.59	c |      6159 |    7667    66468   223528 |    22294     6154     13 |  0.039 % |
1.14/1.60	c |      6269 |    7667    66468   223528 |    22294     6264     13 |  0.039 % |
1.14/1.61	c |      6390 |    7667    66468   223528 |    22294     6385     13 |  0.039 % |
1.14/1.63	c |      6525 |    7667    66468   223528 |    22294     6520     13 |  0.039 % |
1.14/1.64	c |      6672 |    7667    66468   223528 |    22294     6667     13 |  0.039 % |
1.14/1.65	c |      6833 |    7667    66468   223528 |    22294     6828     13 |  0.039 % |
1.14/1.66	c |      7009 |    7667    66468   223528 |    22294     7004     13 |  0.039 % |
1.14/1.68	c |      7203 |    7667    66468   223528 |    22294     7198     13 |  0.039 % |
1.14/1.69	c |      7415 |    7667    66468   223528 |    22294     7410     13 |  0.039 % |
1.14/1.71	c |      7649 |    7667    66468   223528 |    22294     7644     13 |  0.039 % |
1.14/1.72	c |      7750 |    7667    66468   223528 |    22294     7745     14 |  0.039 % |
1.14/1.73	c |      7861 |    7667    66468   223528 |    22294     7856     14 |  0.039 % |
1.14/1.74	c |      7983 |    7667    66468   223528 |    22294     7978     13 |  0.039 % |
1.14/1.75	c |      8117 |    7667    66468   223528 |    22294     8112     13 |  0.039 % |
1.14/1.76	c |      8263 |    7667    66468   223528 |    22294     8258     13 |  0.039 % |
1.14/1.78	c |      8425 |    7667    66468   223528 |    22294     8420     13 |  0.039 % |
1.14/1.79	c |      8603 |    7667    66468   223528 |    22294     8598     13 |  0.039 % |
1.14/1.81	c |      8797 |    7667    66468   223528 |    22294     8792     13 |  0.039 % |
1.14/1.82	c |      9009 |    7667    66468   223528 |    22294     9004     14 |  0.039 % |
1.14/1.85	c |      9242 |    7667    66468   223528 |    22294     9237     14 |  0.039 % |
1.14/1.87	c |      9501 |    7667    66468   223528 |    22294     9496     14 |  0.039 % |
1.14/1.88	c |      9601 |    7667    66468   223528 |    22294     9596     14 |  0.039 % |
1.14/1.88	c |      9712 |    7667    66468   223528 |    22294     9707     14 |  0.039 % |
1.14/1.89	c |      9833 |    7667    66468   223528 |    22294     9828     14 |  0.039 % |
1.14/1.90	c |      9966 |    7667    66468   223528 |    22294     9961     14 |  0.039 % |
1.14/1.91	c |     10113 |    7667    66468   223528 | 2147483647    10108     14 |  0.039 % |
1.14/1.93	c |     10275 |    7667    66468   223528 | 2147483647    10270     14 |  0.039 % |
1.14/1.95	c |     10451 |    7667    66468   223528 | 2147483647    10446     14 |  0.039 % |
1.14/1.97	c |     10645 |    7667    66468   223528 | 2147483647    10640     14 |  0.039 % |
1.14/1.99	c |     10859 |    7667    66468   223528 | 2147483647    10854     14 |  0.039 % |
1.14/2.02	c |     11092 |    7667    66468   223528 | 2147483647    11087     14 |  0.039 % |
1.14/2.04	c |     11348 |    7667    66468   223528 | 2147483647    11343     14 |  0.039 % |
1.14/2.08	c |     11629 |    7667    66468   223528 | 2147483647    11624     14 |  0.039 % |
1.14/2.09	c |     11729 |    7667    66468   223528 | 2147483647    11724     14 |  0.039 % |
1.14/2.10	c |     11840 |    7667    66468   223528 | 2147483647    11835     14 |  0.039 % |
1.14/2.11	c |     11961 |    7667    66468   223528 | 2147483647    11956     14 |  0.039 % |
2.12/2.12	c |     12094 |    7667    66468   223528 | 2147483647    12089     14 |  0.039 % |
2.12/2.14	c |     12240 |    7667    66468   223528 | 2147483647    12235     14 |  0.039 % |
2.12/2.16	c |     12400 |    7667    66468   223528 | 2147483647    12395     14 |  0.039 % |
2.12/2.18	c |     12578 |    7667    66468   223528 | 2147483647    12573     14 |  0.039 % |
2.12/2.19	c |     12771 |    7667    66468   223528 | 2147483647    12766     14 |  0.039 % |
2.12/2.21	c |     12984 |    7667    66468   223528 | 2147483647    12979     14 |  0.039 % |
2.22/2.23	c |     13217 |    7667    66468   223528 | 2147483647    13212     14 |  0.039 % |
2.22/2.25	c |     13473 |    7667    66468   223528 | 2147483647    13468     14 |  0.039 % |
2.22/2.27	c |     13754 |    7667    66468   223528 | 2147483647    13749     14 |  0.039 % |
2.22/2.29	c |     14064 |    7667    66468   223528 | 2147483647    14059     14 |  0.039 % |
2.22/2.30	c |     14165 |    7667    66468   223528 | 2147483647    14160     14 |  0.039 % |
2.22/2.31	c |     14275 |    7667    66468   223528 | 2147483647    14270     14 |  0.039 % |
2.32/2.33	c |     14397 |    7667    66468   223528 | 2147483647    14392     14 |  0.039 % |
2.32/2.34	c |     14530 |    7667    66468   223528 | 2147483647    14525     14 |  0.039 % |
2.32/2.36	c |     14677 |    7667    66468   223528 | 2147483647    14672     14 |  0.039 % |
2.32/2.38	c |     14837 |    7667    66468   223528 | 2147483647    14832     14 |  0.039 % |
2.32/2.40	c |     15013 |    7667    66468   223528 | 2147483647    15008     14 |  0.039 % |
2.42/2.43	c |     15206 |    7667    66468   223528 | 2147483647    15201     14 |  0.039 % |
2.42/2.46	c |     15419 |    7667    66468   223528 | 2147483647    15414     14 |  0.039 % |
2.42/2.48	c |     15652 |    7667    66468   223528 | 2147483647    15647     14 |  0.039 % |
2.42/2.51	c |     15908 |    7667    66468   223528 | 2147483647    15903     14 |  0.039 % |
2.52/2.53	c |     16189 |    7667    66468   223528 | 2147483647    16184     14 |  0.039 % |
2.52/2.57	c |     16498 |    7667    66468   223528 | 2147483647    16493     14 |  0.039 % |
2.62/2.62	c |     16839 |    7667    66468   223528 | 2147483647    16834     14 |  0.039 % |
2.62/2.63	c |     16942 |    7667    66468   223528 | 2147483647    16937     14 |  0.039 % |
2.62/2.64	c |     17053 |    7667    66468   223528 | 2147483647    17048     14 |  0.039 % |
2.62/2.65	c |     17174 |    7667    66468   223528 | 2147483647    17169     14 |  0.039 % |
2.62/2.67	c |     17307 |    7667    66468   223528 | 2147483647    17302     14 |  0.039 % |
2.62/2.69	c |     17453 |    7667    66468   223528 | 2147483647    17448     14 |  0.039 % |
2.62/2.70	c |     17613 |    7667    66468   223528 | 2147483647    17608     14 |  0.039 % |
2.72/2.72	c |     17790 |    7667    66468   223528 | 2147483647    17785     14 |  0.039 % |
2.72/2.74	c |     17984 |    7667    66468   223528 | 2147483647    17979     14 |  0.039 % |
2.72/2.76	c |     18196 |    7667    66468   223528 | 2147483647    18191     14 |  0.039 % |
2.72/2.79	c |     18429 |    7667    66468   223528 | 2147483647    18424     14 |  0.039 % |
2.82/2.82	c |     18685 |    7667    66468   223528 | 2147483647    18680     14 |  0.039 % |
2.82/2.85	c |     18969 |    7667    66468   223528 | 2147483647    18964     14 |  0.039 % |
2.82/2.88	c |     19278 |    7667    66468   223528 | 2147483647    19273     14 |  0.039 % |
2.82/2.91	c |     19619 |    7667    66468   223528 | 2147483647    19614     14 |  0.039 % |
2.91/2.96	c |     19993 |    7667    66468   223528 | 2147483647    19988     14 |  0.039 % |
2.91/2.97	c |     20093 |    7667    66468   223528 | 2147483647    20088     14 |  0.039 % |
2.91/2.99	c |     20206 |    7667    66468   223528 | 2147483647    20201     14 |  0.039 % |
2.91/3.00	c |     20327 |    7667    66468   223528 | 2147483647    20322     14 |  0.039 % |
3.01/3.02	c |     20461 |    7667    66468   223528 | 2147483647    20456     14 |  0.039 % |
3.01/3.04	c |     20608 |    7667    66468   223528 | 2147483647    20603     14 |  0.039 % |
3.01/3.06	c |     20768 |    7667    66468   223528 | 2147483647    20763     14 |  0.039 % |
3.01/3.08	c |     20945 |    7667    66468   223528 | 2147483647    20940     14 |  0.039 % |
3.01/3.11	c |     21138 |    7667    66468   223528 | 2147483647    21133     15 |  0.039 % |
3.11/3.14	c |     21350 |    7667    66468   223528 | 2147483647    21345     15 |  0.039 % |
3.11/3.18	c |     21585 |    7667    66468   223528 | 2147483647    21580     15 |  0.039 % |
3.21/3.22	c |     21841 |    7667    66468   223528 | 2147483647    21836     15 |  0.039 % |
3.21/3.26	c |     22124 |    7667    66468   223528 | 2147483647    22119     15 |  0.039 % |
3.21/3.30	c |     22433 |    7667    66468   223528 | 2147483647    22428     15 |  0.039 % |
3.31/3.33	c |     22772 |    7667    66468   223528 | 2147483647    22767     15 |  0.039 % |
3.31/3.38	c |     23144 |    7667    66468   223528 | 2147483647    23139     15 |  0.039 % |
3.41/3.43	c |     23555 |    7667    66468   223528 | 2147483647    23550     15 |  0.039 % |
3.41/3.44	c |     23655 |    7667    66468   223528 | 2147483647    23650     15 |  0.039 % |
3.41/3.46	c |     23765 |    7667    66468   223528 | 2147483647    23760     15 |  0.039 % |
3.41/3.47	c |     23887 |    7667    66468   223528 | 2147483647    23882     15 |  0.039 % |
3.41/3.50	c |     24020 |    7667    66468   223528 | 2147483647    24015     15 |  0.039 % |
3.51/3.52	c |     24171 |    7667    66468   223528 | 2147483647    24166     15 |  0.039 % |
3.51/3.55	c |     24332 |    7667    66468   223528 | 2147483647    24327     15 |  0.039 % |
3.51/3.57	c |     24508 |    7667    66468   223528 | 2147483647    24503     15 |  0.039 % |
3.51/3.60	c |     24701 |    7667    66468   223528 | 2147483647    24696     15 |  0.039 % |
3.61/3.63	c |     24914 |    7667    66468   223528 | 2147483647    24909     15 |  0.039 % |
3.61/3.67	c |     25147 |    7667    66468   223528 | 2147483647    25142     15 |  0.039 % |
3.61/3.71	c |     25403 |    7667    66468   223528 | 2147483647    25398     15 |  0.039 % |
3.71/3.75	c |     25684 |    7667    66468   223528 | 2147483647    25679     15 |  0.039 % |
3.71/3.80	c |     25994 |    7667    66468   223528 | 2147483647    25989     15 |  0.039 % |
3.81/3.85	c |     26336 |    7667    66468   223528 | 2147483647    26331     15 |  0.039 % |
3.81/3.91	c |     26709 |    7667    66468   223528 | 2147483647    26704     15 |  0.039 % |
3.91/3.98	c |     27118 |    7667    66468   223528 | 2147483647    27113     15 |  0.039 % |
4.01/4.04	c |     27567 |    7667    66468   223528 | 2147483647    27562     15 |  0.039 % |
4.01/4.06	c |     27668 |    7667    66468   223528 | 2147483647    27663     15 |  0.039 % |
4.01/4.08	c |     27779 |    7667    66468   223528 | 2147483647    27774     15 |  0.039 % |
4.01/4.10	c |     27900 |    7667    66468   223528 | 2147483647    27895     15 |  0.039 % |
4.11/4.13	c |     28033 |    7667    66468   223528 | 2147483647    28028     15 |  0.039 % |
4.11/4.16	c |     28179 |    7667    66468   223528 | 2147483647    28174     15 |  0.039 % |
4.11/4.17	c |     28339 |    7667    66468   223528 | 2147483647    28334     15 |  0.039 % |
4.11/4.20	c |     28515 |    7667    66468   223528 | 2147483647    28510     15 |  0.039 % |
4.21/4.24	c |     28708 |    7667    66468   223528 | 2147483647    28703     15 |  0.039 % |
4.21/4.28	c |     28920 |    7667    66468   223528 | 2147483647    28915     15 |  0.039 % |
4.31/4.32	c |     29154 |    7667    66468   223528 | 2147483647    29149     15 |  0.039 % |
4.31/4.36	c |     29411 |    7667    66468   223528 | 2147483647    29406     15 |  0.039 % |
4.31/4.41	c |     29695 |    7667    66468   223528 | 2147483647    29690     16 |  0.039 % |
4.41/4.46	c |     30006 |    7667    66468   223528 | 2147483647    30001     16 |  0.039 % |
4.51/4.52	c |     30347 |    7667    66468   223528 | 2147483647    30342     16 |  0.039 % |
4.51/4.59	c |     30719 |    7667    66468   223528 | 2147483647    30714     16 |  0.039 % |
4.61/4.65	c |     31128 |    7667    66468   223528 | 2147483647    31123     16 |  0.039 % |
4.71/4.72	c |     31577 |    7667    66468   223528 | 2147483647    31572     15 |  0.039 % |
4.71/4.80	c |     32072 |    7667    66468   223528 | 2147483647    32067     15 |  0.039 % |
4.71/4.81	c |     32172 |    7667    66468   223528 | 2147483647    32167     15 |  0.039 % |
4.81/4.83	c |     32283 |    7667    66468   223528 | 2147483647    32278     15 |  0.039 % |
4.81/4.84	c |     32406 |    7667    66468   223528 | 2147483647    32401     15 |  0.039 % |
4.81/4.86	c |     32540 |    7667    66468   223528 | 2147483647    32535     15 |  0.039 % |
4.81/4.88	c |     32687 |    7667    66468   223528 | 2147483647    32682     15 |  0.039 % |
4.91/4.96	c |     32847 |    7656    65244   216725 | 2147483647    25246     16 |  0.183 % |
4.91/4.98	c |     33024 |    7656    65244   216725 | 2147483647    25423     16 |  0.183 % |
4.91/5.01	c |     33218 |    7656    65244   216725 | 2147483647    25617     16 |  0.183 % |
5.01/5.05	c |     33431 |    7656    65244   216725 | 2147483647    25830     16 |  0.183 % |
5.01/5.08	c |     33665 |    7656    65244   216725 | 2147483647    26064     16 |  0.183 % |
5.11/5.13	c |     33923 |    7656    65244   216725 | 2147483647    26322     16 |  0.183 % |
5.11/5.16	c |     34204 |    7656    65244   216725 | 2147483647    26603     16 |  0.183 % |
5.21/5.22	c |     34514 |    7656    65244   216725 | 2147483647    26913     16 |  0.183 % |
5.21/5.27	c |     34855 |    7656    65244   216725 | 2147483647    27254     16 |  0.183 % |
5.31/5.35	c |     35228 |    7656    65244   216725 | 2147483647    27627     16 |  0.183 % |
5.41/5.43	c |     35637 |    7656    65244   216725 | 2147483647    28036     16 |  0.183 % |
5.51/5.52	c |     36087 |    7656    65244   216725 | 2147483647    28486     16 |  0.183 % |
5.61/5.62	c |     36580 |    7656    65244   216725 | 2147483647    28979     16 |  0.183 % |
5.61/5.71	c |     37124 |    7656    65244   216725 | 2147483647    29523     16 |  0.183 % |
5.71/5.73	c |     37224 |    7656    65244   216725 | 2147483647    29623     16 |  0.183 % |
5.71/5.76	c |     37335 |    7656    65244   216725 | 2147483647    29734     16 |  0.183 % |
5.71/5.79	c |     37456 |    7656    65244   216725 | 2147483647    29855     16 |  0.183 % |
5.81/5.82	c |     37589 |    7656    65244   216725 | 2147483647    29988     16 |  0.183 % |
5.81/5.85	c |     37736 |    7656    65244   216725 | 2147483647    30135     16 |  0.183 % |
5.81/5.88	c |     37896 |    7656    65244   216725 | 2147483647    30295     16 |  0.183 % |
5.81/5.91	c |     38074 |    7656    65244   216725 | 2147483647    30473     16 |  0.183 % |
5.91/5.96	c |     38267 |    7656    65244   216725 | 2147483647    30666     16 |  0.183 % |
5.91/6.00	c |     38480 |    7656    65244   216725 | 2147483647    30879     16 |  0.183 % |
6.01/6.04	c |     38713 |    7656    65244   216725 | 2147483647    31112     16 |  0.183 % |
6.01/6.07	c |     38971 |    7656    65244   216725 | 2147483647    31370     16 |  0.183 % |
6.11/6.12	c |     39254 |    7656    65244   216725 | 2147483647    31653     16 |  0.183 % |
6.11/6.17	c |     39563 |    7656    65244   216725 | 2147483647    31962     16 |  0.183 % |
6.11/6.21	c |     39902 |    7656    65244   216725 | 2147483647    32301     16 |  0.183 % |
6.21/6.30	c |     40277 |    7656    65244   216725 | 2147483647    32676     16 |  0.183 % |
6.31/6.38	c |     40688 |    7656    65244   216725 | 2147483647    33087     16 |  0.183 % |
6.41/6.46	c |     41137 |    7656    65244   216725 | 2147483647    33536     16 |  0.183 % |
6.51/6.58	c |     41630 |    7656    65244   216725 | 2147483647    34029     17 |  0.183 % |
6.61/6.70	c |     42173 |    7656    65244   216725 | 2147483647    34572     17 |  0.183 % |
6.81/6.84	c |     42769 |    7656    65244   216725 | 2147483647    35168     17 |  0.183 % |
6.81/6.86	c |     42873 |    7656    65244   216725 | 2147483647    35272     17 |  0.183 % |
6.81/6.88	c |     42984 |    7656    65244   216725 | 2147483647    35383     17 |  0.183 % |
6.81/6.91	c |     43105 |    7656    65244   216725 | 2147483647    35504     17 |  0.183 % |
6.91/6.94	c |     43239 |    7656    65244   216725 | 2147483647    35638     17 |  0.183 % |
6.91/6.97	c |     43388 |    7656    65244   216725 | 2147483647    35787     17 |  0.183 % |
6.91/7.01	c |     43548 |    7656    65244   216725 | 2147483647    35947     17 |  0.183 % |
7.01/7.06	c |     43726 |    7656    65244   216725 | 2147483647    36125     17 |  0.183 % |
7.11/7.12	c |     43919 |    7656    65244   216725 | 2147483647    36318     17 |  0.183 % |
7.11/7.16	c |     44131 |    7656    65244   216725 | 2147483647    36530     17 |  0.183 % |
7.21/7.22	c |     44366 |    7656    65244   216725 | 2147483647    36765     17 |  0.183 % |
7.21/7.27	c |     44622 |    7656    65244   216725 | 2147483647    37021     17 |  0.183 % |
7.31/7.35	c |     44904 |    7656    65244   216725 | 2147483647    37303     17 |  0.183 % |
7.41/7.42	c |     45215 |    7656    65244   216725 | 2147483647    37614     17 |  0.183 % |
7.51/7.52	c |     45554 |    7656    65244   216725 | 2147483647    37953     17 |  0.183 % |
7.61/7.64	c |     45926 |    7656    65244   216725 | 2147483647    38325     17 |  0.183 % |
7.71/7.78	c |     46337 |    7656    65244   216725 | 2147483647    38736     17 |  0.183 % |
7.91/7.92	c |     46786 |    7656    65244   216725 | 2147483647    39185     17 |  0.183 % |
8.01/8.08	c |     47279 |    7656    65244   216725 | 2147483647    39678     17 |  0.183 % |
8.21/8.27	c |     47821 |    7656    65244   216725 | 2147483647    40220     17 |  0.183 % |
8.31/8.40	c |     48420 |    7656    65244   216725 | 2147483647    40819     17 |  0.183 % |
8.51/8.57	c |     49075 |    7656    65244   216725 | 2147483647    41474     17 |  0.183 % |
8.51/8.61	c |     49177 |    7656    65244   216725 | 2147483647    41576     17 |  0.183 % |
8.61/8.65	c |     49287 |    7656    65244   216725 | 2147483647    41686     17 |  0.183 % |
8.61/8.69	c |     49410 |    7656    65244   216725 | 2147483647    41809     17 |  0.183 % |
8.71/8.73	c |     49543 |    7656    65244   216725 | 2147483647    41942     17 |  0.183 % |
8.71/8.78	c |     49689 |    7656    65244   216725 | 2147483647    42088     17 |  0.183 % |
8.81/8.82	c |     49852 |    7656    65244   216725 | 2147483647    42251     17 |  0.183 % |
8.81/8.87	c |     50028 |    7656    65244   216725 | 2147483647    42427     17 |  0.183 % |
8.91/8.93	c |     50222 |    7656    65244   216725 | 2147483647    42621     17 |  0.183 % |
8.91/8.99	c |     50434 |    7656    65244   216725 | 2147483647    42833     17 |  0.183 % |
9.01/9.04	c |     50668 |    7656    65244   216725 | 2147483647    43067     17 |  0.183 % |
9.11/9.13	c |     50924 |    7656    65244   216725 | 2147483647    43323     17 |  0.183 % |
9.11/9.20	c |     51209 |    7656    65244   216725 | 2147483647    43608     17 |  0.183 % |
9.21/9.30	c |     51522 |    7656    65244   216725 | 2147483647    43921     17 |  0.183 % |
9.31/9.40	c |     51861 |    7656    65244   216725 | 2147483647    44260     17 |  0.183 % |
9.51/9.52	c |     52234 |    7656    65244   216725 | 2147483647    44633     17 |  0.183 % |
9.61/9.63	c |     52643 |    7656    65244   216725 | 2147483647    45042     17 |  0.183 % |
9.71/9.76	c |     53094 |    7656    65244   216725 | 2147483647    45493     17 |  0.183 % |
9.91/9.96	c |     53587 |    7656    65244   216725 | 2147483647    45986     17 |  0.183 % |
10.11/10.13	c |     54130 |    7656    65244   216725 | 2147483647    46529     17 |  0.183 % |
10.31/10.35	c |     54726 |    7656    65244   216725 | 2147483647    47125     17 |  0.183 % |
10.51/10.54	c |     55381 |    7656    65244   216725 | 2147483647    47780     17 |  0.183 % |
10.71/10.75	c |     56102 |    7656    65244   216725 | 2147483647    48501     17 |  0.183 % |
10.71/10.78	c |     56204 |    7656    65244   216725 | 2147483647    48603     17 |  0.183 % |
10.81/10.81	c |     56314 |    7656    65244   216725 | 2147483647    48713     17 |  0.183 % |
10.81/10.86	c |     56436 |    7656    65244   216725 | 2147483647    48835     17 |  0.183 % |
10.91/10.92	c |     56572 |    7656    65244   216725 | 2147483647    48971     17 |  0.183 % |
10.91/10.98	c |     56720 |    7656    65244   216725 | 2147483647    49119     17 |  0.183 % |
11.01/11.04	c |     56881 |    7656    65244   216725 | 2147483647    49280     17 |  0.183 % |
11.01/11.11	c |     57057 |    7656    65244   216725 | 2147483647    49456     17 |  0.183 % |
11.11/11.20	c |     57250 |    7656    65244   216725 | 2147483647    49649     17 |  0.183 % |
11.21/11.28	c |     57462 |    7656    65244   216725 | 2147483647    49861     17 |  0.183 % |
11.31/11.37	c |     57696 |    7656    65244   216725 | 2147483647    50095     17 |  0.183 % |
11.41/11.45	c |     57952 |    7656    65244   216725 | 2147483647    50351     17 |  0.183 % |
11.51/11.58	c |     58233 |    7656    65244   216725 | 2147483647    50632     17 |  0.183 % |
11.61/11.62	c |     58543 |    7656    65244   216725 | 2147483647    50942     17 |  0.183 % |
11.71/11.78	c |     58882 |    7656    65244   216725 | 2147483647    51281     17 |  0.183 % |
11.91/11.91	c |     59254 |    7656    65244   216725 | 2147483647    51653     18 |  0.183 % |
12.01/12.05	c |     59663 |    7656    65244   216725 | 2147483647    52062     18 |  0.183 % |
12.21/12.24	c |     60112 |    7656    65244   216725 | 2147483647    52511     18 |  0.183 % |
12.41/12.45	c |     60605 |    7656    65244   216725 | 2147483647    53004     18 |  0.183 % |
12.61/12.68	c |     61149 |    7656    65244   216725 | 2147483647    53548     18 |  0.183 % |
12.91/12.94	c |     61745 |    7656    65244   216725 | 2147483647    54144     18 |  0.183 % |
13.21/13.22	c |     62401 |    7656    65244   216725 | 2147483647    54800     18 |  0.183 % |
13.41/13.51	c |     63123 |    7656    65244   216725 | 2147483647    55522     18 |  0.183 % |
13.81/13.85	c |     63921 |    7656    65244   216725 | 2147483647    56320     18 |  0.183 % |
13.81/13.89	c |     64021 |    7656    65244   216725 | 2147483647    56420     18 |  0.183 % |
13.91/13.93	c |     64131 |    7656    65244   216725 | 2147483647    56530     18 |  0.183 % |
13.91/14.00	c |     64255 |    7656    65244   216725 | 2147483647    56654     18 |  0.183 % |
14.01/14.04	c |     64388 |    7656    65244   216725 | 2147483647    56787     18 |  0.183 % |
14.01/14.09	c |     64536 |    7656    65244   216725 | 2147483647    56935     18 |  0.183 % |
14.11/14.17	c |     64696 |    7656    65244   216725 | 2147483647    57095     18 |  0.183 % |
14.21/14.27	c |     64873 |    7656    65244   216725 | 2147483647    57272     18 |  0.183 % |
14.31/14.37	c |     65068 |    7656    65244   216725 | 2147483647    57467     18 |  0.183 % |
14.41/14.50	c |     65282 |    7656    65244   216725 | 2147483647    57681     18 |  0.183 % |
14.51/14.59	c |     65516 |    7656    65244   216725 | 2147483647    57915     18 |  0.183 % |
14.61/14.68	c |     65772 |    7656    65244   216725 | 2147483647    58171     18 |  0.183 % |
14.71/14.81	c |     66056 |    7656    65244   216725 | 2147483647    58455     18 |  0.183 % |
14.91/14.94	c |     66366 |    7656    65244   216725 | 2147483647    58765     18 |  0.183 % |
15.01/15.10	c |     66705 |    7656    65244   216725 | 2147483647    59104     18 |  0.183 % |
15.21/15.27	c |     67077 |    7656    65244   216725 | 2147483647    59476     18 |  0.183 % |
15.41/15.51	c |     67489 |    7656    65244   216725 | 2147483647    59888     18 |  0.183 % |
15.61/15.69	c |     67938 |    7656    65244   216725 | 2147483647    60337     18 |  0.183 % |
15.91/15.96	c |     68434 |    7656    65244   216725 | 2147483647    60833     18 |  0.183 % |
16.11/16.18	c |     68976 |    7656    65244   216725 | 2147483647    61375     18 |  0.183 % |
16.41/16.49	c |     69572 |    7656    65244   216725 | 2147483647    61971     18 |  0.183 % |
16.71/16.77	c |     70227 |    7656    65244   216725 | 2147483647    62626     18 |  0.183 % |
17.01/17.11	c |     70947 |    7656    65244   216725 | 2147483647    63346     18 |  0.183 % |
17.51/17.60	c |     71739 |    7656    65244   216725 | 2147483647    64138     18 |  0.183 % |
18.21/18.23	c |     72612 |    7656    65244   216725 | 2147483647    65011     18 |  0.183 % |
18.21/18.31	c |     72714 |    7656    65244   216725 | 2147483647    65113     18 |  0.183 % |
18.31/18.37	c |     72824 |    7656    65244   216725 | 2147483647    65223     18 |  0.183 % |
18.41/18.44	c |     72945 |    7656    65244   216725 | 2147483647    65344     18 |  0.183 % |
18.41/18.49	c |     73078 |    7656    65244   216725 | 2147483647    65477     18 |  0.183 % |
18.51/18.56	c |     73224 |    7656    65244   216725 | 2147483647    65623     18 |  0.183 % |
18.61/18.65	c |     73384 |    7656    65244   216725 | 2147483647    65783     18 |  0.183 % |
18.71/18.75	c |     73561 |    7656    65244   216725 | 2147483647    65960     18 |  0.183 % |
18.81/18.87	c |     73755 |    7656    65244   216725 | 2147483647    66154     18 |  0.183 % |
18.91/19.00	c |     73968 |    7656    65244   216725 | 2147483647    66367     18 |  0.183 % |
19.11/19.13	c |     74201 |    7656    65244   216725 | 2147483647    66600     18 |  0.183 % |
19.21/19.27	c |     74457 |    7656    65244   216725 | 2147483647    66856     18 |  0.183 % |
19.41/19.42	c |     74738 |    7656    65244   216725 | 2147483647    67137     18 |  0.183 % |
19.51/19.54	c |     75047 |    7656    65244   216725 | 2147483647    67446     18 |  0.183 % |
19.71/19.74	c |     75388 |    7656    65244   216725 | 2147483647    67787     18 |  0.183 % |
19.81/19.89	c |     75760 |    7656    65244   216725 | 2147483647    68159     18 |  0.183 % |
20.11/20.14	c |     76171 |    7656    65244   216725 | 2147483647    68570     18 |  0.183 % |
20.31/20.37	c |     76620 |    7656    65244   216725 | 2147483647    69019     18 |  0.183 % |
20.41/20.45	c |     77115 |    7656    65244   216725 | 2147483647    69514     18 |  0.183 % |
20.71/20.80	c |     77658 |    7656    65244   216725 | 2147483647    70057     18 |  0.183 % |
21.11/21.18	c |     78254 |    7656    65244   216725 | 2147483647    70653     18 |  0.183 % |
21.61/21.62	c |     78909 |    7656    65244   216725 | 2147483647    71308     18 |  0.183 % |
21.91/21.92	c |     79632 |    7656    65244   216725 | 2147483647    72031     18 |  0.183 % |
22.31/22.37	c |     80424 |    7656    65244   216725 | 2147483647    72823     18 |  0.183 % |
22.81/22.90	c |     81295 |    7656    65244   216725 | 2147483647    73694     18 |  0.183 % |
23.41/23.45	c |     82255 |    7656    65244   216725 | 2147483647    74654     18 |  0.183 % |
23.51/23.53	c |     82358 |    7656    65244   216725 | 2147483647    74757     18 |  0.183 % |
23.51/23.59	c |     82471 |    7656    65244   216725 | 2147483647    74870     18 |  0.183 % |
23.61/23.65	c |     82592 |    7656    65244   216725 | 2147483647    74991     18 |  0.183 % |
23.71/23.76	c |     82727 |    7656    65244   216725 | 2147483647    75126     18 |  0.183 % |
23.81/23.87	c |     82874 |    7656    65244   216725 | 2147483647    75273     18 |  0.183 % |
23.91/23.99	c |     83035 |    7656    65244   216725 | 2147483647    75434     18 |  0.183 % |
24.11/24.14	c |     83211 |    7656    65244   216725 | 2147483647    75610     18 |  0.183 % |
24.21/24.30	c |     83404 |    7656    65244   216725 | 2147483647    75803     18 |  0.183 % |
24.41/24.46	c |     83620 |    7656    65244   216725 | 2147483647    76019     18 |  0.183 % |
24.61/24.66	c |     83853 |    7656    65244   216725 | 2147483647    76252     18 |  0.183 % |
24.81/24.85	c |     84111 |    7656    65244   216725 | 2147483647    76510     18 |  0.183 % |
25.01/25.10	c |     84392 |    7656    65244   216725 | 2147483647    76791     18 |  0.183 % |
25.21/25.27	c |     84703 |    7656    65244   216725 | 2147483647    77102     18 |  0.183 % |
25.31/25.40	c |     85043 |    7656    65244   216725 | 2147483647    77442     18 |  0.183 % |
25.61/25.70	c |     85416 |    7656    65244   216725 | 2147483647    77815     19 |  0.183 % |
25.91/25.98	c |     85827 |    7656    65244   216725 | 2147483647    78226     19 |  0.183 % |
26.31/26.37	c |     86276 |    7656    65244   216725 | 2147483647    78675     19 |  0.183 % |
26.71/26.72	c |     86769 |    7656    65244   216725 | 2147483647    79168     19 |  0.183 % |
27.01/27.10	c |     87311 |    7656    65244   216725 | 2147483647    79710     19 |  0.183 % |
27.51/27.60	c |     87909 |    7656    65244   216725 | 2147483647    80308     19 |  0.183 % |
27.91/27.99	c |     88565 |    7656    65244   216725 | 2147483647    80964     19 |  0.183 % |
28.51/28.55	c |     89285 |    7656    65244   216725 | 2147483647    81684     19 |  0.183 % |
29.01/29.09	c |     90077 |    7656    65244   216725 |    82400    82476     19 |  0.183 % |
29.71/29.79	c |     90949 |    7656    65244   216725 |    82400    72877     19 |  0.183 % |
30.41/30.47	c |     91907 |    7656    65244   216725 |    82400    73835     19 |  0.183 % |
31.01/31.04	c |     92962 |    7656    65244   216725 |    82400    74890     19 |  0.183 % |
31.11/31.11	c |     93063 |    7656    65244   216725 |    82400    74991     19 |  0.183 % |
31.11/31.20	c |     93173 |    7656    65244   216725 |    82400    75101     19 |  0.183 % |
31.21/31.27	c |     93294 |    7656    65244   216725 |    82400    75222     19 |  0.183 % |
31.31/31.34	c |     93427 |    7656    65244   216725 |    82400    75355     19 |  0.183 % |
31.41/31.47	c |     93573 |    7656    65244   216725 |    82400    75501     19 |  0.183 % |
31.51/31.60	c |     93733 |    7656    65244   216725 |    82400    75661     19 |  0.183 % |
31.71/31.73	c |     93909 |    7656    65244   216725 |    82400    75837     19 |  0.183 % |
31.81/31.85	c |     94102 |    7656    65244   216725 |    82400    76030     19 |  0.183 % |
31.92/32.00	c |     94314 |    7656    65244   216725 |    82400    76242     19 |  0.183 % |
32.11/32.17	c |     94551 |    7656    65244   216725 |    82400    76479     19 |  0.183 % |
32.21/32.31	c |     94808 |    7656    65244   216725 |    82400    76736     19 |  0.183 % |
32.51/32.58	c |     95089 |    7656    65244   216725 |    82400    77017     19 |  0.183 % |
32.81/32.82	c |     95398 |    7656    65244   216725 |    82400    77326     19 |  0.183 % |
33.11/33.15	c |     95737 |    7656    65244   216725 |    82400    77665     19 |  0.183 % |
33.31/33.36	c |     96109 |    7656    65244   216725 |    82400    78037     19 |  0.183 % |
33.51/33.58	c |     96518 |    7656    65244   216725 |    82400    78446     19 |  0.183 % |
33.91/34.01	c |     96967 |    7656    65244   216725 |    82400    78895     19 |  0.183 % |
34.41/34.42	c |     97460 |    7656    65244   216725 |    82400    79388     19 |  0.183 % |
34.81/34.86	c |     98002 |    7656    65244   216725 |    82400    79930     19 |  0.183 % |
35.31/35.39	c |     98599 |    7656    65244   216725 |    82400    80527     19 |  0.183 % |
35.81/35.89	c |     99257 |    7656    65244   216725 |    82400    81185     19 |  0.183 % |
36.51/36.57	c |     99978 |    7656    65244   216725 |    82400    81906     19 |  0.183 % |
37.42/37.47	c |    100770 |    7656    65244   216725 |    81930    69752     19 |  0.183 % |
38.01/38.09	c |    101643 |    7656    65244   216725 |    81930    70625     19 |  0.183 % |
38.71/38.75	c |    102602 |    7656    65244   216725 |    81930    71584     19 |  0.183 % |
39.41/39.47	c |    103655 |    7656    65244   216725 |    81930    72637     19 |  0.183 % |
39.91/39.95	c |    104815 |    7656    65244   216725 |    81930    73797     19 |  0.183 % |
39.91/40.01	c |    104918 |    7656    65244   216725 |    81930    73900     19 |  0.183 % |
40.01/40.05	c |    105028 |    7656    65244   216725 |    81930    74010     19 |  0.183 % |
40.11/40.13	c |    105149 |    7656    65244   216725 |    81930    74131     19 |  0.183 % |
40.11/40.19	c |    105282 |    7656    65244   216725 |    81930    74264     19 |  0.183 % |
40.21/40.25	c |    105429 |    7656    65244   216725 |    81930    74411     19 |  0.183 % |
40.21/40.31	c |    105589 |    7656    65244   216725 |    81930    74571     19 |  0.183 % |
40.41/40.49	c |    105765 |    7656    65244   216725 |    81930    74747     19 |  0.183 % |
40.51/40.58	c |    105958 |    7656    65244   216725 |    81930    74940     19 |  0.183 % |
40.61/40.72	c |    106171 |    7656    65244   216725 |    81930    75153     19 |  0.183 % |
40.81/40.89	c |    106405 |    7656    65244   216725 |    81930    75387     19 |  0.183 % |
41.01/41.11	c |    106662 |    7656    65244   216725 |    81930    75644     19 |  0.183 % |
41.31/41.36	c |    106943 |    7656    65244   216725 |    81930    75925     19 |  0.183 % |
41.51/41.56	c |    107254 |    7656    65244   216725 |    81930    76236     19 |  0.183 % |
41.82/41.88	c |    107593 |    7656    65244   216725 |    81930    76575     19 |  0.183 % |
42.21/42.30	c |    107966 |    7656    65244   216725 |    81930    76948     19 |  0.183 % |
42.61/42.64	c |    108377 |    7656    65244   216725 |    81930    77359     19 |  0.183 % |
42.81/42.92	c |    108827 |    7656    65244   216725 |    81930    77809     19 |  0.183 % |
43.11/43.12	c |    109321 |    7656    65244   216725 |    81930    78303     19 |  0.183 % |
43.31/43.32	c |    109864 |    7656    65244   216725 |    81930    78846     19 |  0.183 % |
43.91/43.94	c |    110460 |    7656    65244   216725 |    78982    69508     18 |  0.183 % |
44.11/44.16	c |    111115 |    7656    65244   216725 |    78982    70163     18 |  0.183 % |
44.31/44.39	c |    111835 |    7656    65244   216725 |    78982    70883     18 |  0.183 % |
44.51/44.55	c |    112629 |    7656    65244   216725 |    78982    71677     18 |  0.183 % |
44.91/44.97	c |    113500 |    7656    65244   216725 |    78982    72548     19 |  0.183 % |
45.12/45.18	c |    114458 |    7656    65244   216725 |    78982    73506     19 |  0.183 % |
45.51/45.59	c |    115513 |    7656    65244   216725 |    78982    74561     19 |  0.183 % |
46.22/46.31	c |    116672 |    7656    65244   216725 |    78982    75720     19 |  0.183 % |
46.81/46.87	c |    117945 |    7656    65244   216725 |    78982    76993     19 |  0.183 % |
46.81/46.91	c |    118045 |    7656    65244   216725 |    78982    77093     19 |  0.183 % |
46.91/46.97	c |    118160 |    7656    65244   216725 |    78982    77208     19 |  0.183 % |
46.91/47.01	c |    118284 |    7656    65244   216725 |    78982    77332     19 |  0.183 % |
47.01/47.04	c |    118418 |    7656    65244   216725 |    78982    77466     19 |  0.183 % |
47.11/47.11	c |    118566 |    7656    65244   216725 |    78982    77614     19 |  0.183 % |
47.11/47.15	c |    118726 |    7656    65244   216725 |    78982    77774     19 |  0.183 % |
47.21/47.25	c |    118903 |    7656    65244   216725 |    78982    77951     19 |  0.183 % |
47.21/47.32	c |    119096 |    7656    65244   216725 |    78982    78144     19 |  0.183 % |
47.41/47.50	c |    119308 |    7656    65244   216725 |    78982    78356     19 |  0.183 % |
47.61/47.71	c |    119544 |    7656    65244   216725 |    78982    78592     19 |  0.183 % |
47.91/47.96	c |    119801 |    7656    65244   216725 |    78982    78849     19 |  0.183 % |
48.21/48.23	c |    120082 |    7656    65244   216725 | 2147483647    79130     19 |  0.183 % |
48.51/48.52	c |    120391 |    7656    65244   216725 | 2147483647    79439     19 |  0.183 % |
48.81/48.86	c |    120731 |    7656    65244   216725 | 2147483647    79779     19 |  0.183 % |
49.11/49.14	c |    121103 |    7656    65244   216725 | 2147483647    80151     19 |  0.183 % |
49.21/49.30	c |    121512 |    7656    65244   216725 | 2147483647    80560     19 |  0.183 % |
49.52/49.58	c |    121963 |    7656    65244   216725 | 2147483647    81011     19 |  0.183 % |
50.01/50.08	c |    122456 |    7654    64974   215656 | 2147483647    28038     15 |  0.209 % |
50.11/50.19	c |    122998 |    7654    64974   215656 | 2147483647    28580     15 |  0.209 % |
50.21/50.30	c |    123597 |    7654    64974   215656 | 2147483647    29179     15 |  0.209 % |
50.41/50.44	c |    124254 |    7654    64974   215656 | 2147483647    29836     15 |  0.209 % |
50.51/50.57	c |    124974 |    7654    64974   215656 | 2147483647    30556     15 |  0.209 % |
50.71/50.76	c |    125767 |    7654    64974   215656 | 2147483647    31349     15 |  0.209 % |
50.91/50.94	c |    126639 |    7654    64974   215656 | 2147483647    32221     16 |  0.209 % |
51.11/51.12	c |    127598 |    7654    64974   215656 | 2147483647    33180     16 |  0.209 % |
51.31/51.35	c |    128651 |    7654    64974   215656 | 2147483647    34233     16 |  0.209 % |
51.51/51.61	c |    129809 |    7654    64974   215656 | 2147483647    35391     16 |  0.209 % |
51.81/51.90	c |    131082 |    7654    64974   215656 | 2147483647    36664     16 |  0.209 % |
52.21/52.28	c |    132483 |    7654    64974   215656 | 2147483647    38065     16 |  0.209 % |
52.21/52.30	c |    132584 |    7654    64974   215656 | 2147483647    38166     16 |  0.209 % |
52.31/52.34	c |    132697 |    7654    64974   215656 | 2147483647    38279     16 |  0.209 % |
52.31/52.36	c |    132820 |    7654    64974   215656 | 2147483647    38402     16 |  0.209 % |
52.31/52.40	c |    132953 |    7654    64974   215656 | 2147483647    38535     17 |  0.209 % |
52.41/52.43	c |    133099 |    7654    64974   215656 | 2147483647    38681     17 |  0.209 % |
52.41/52.48	c |    133261 |    7654    64974   215656 | 2147483647    38843     17 |  0.209 % |
52.51/52.52	c |    133437 |    7654    64974   215656 | 2147483647    39019     17 |  0.209 % |
52.51/52.57	c |    133630 |    7654    64974   215656 | 2147483647    39212     17 |  0.209 % |
52.61/52.63	c |    133842 |    7654    64974   215656 | 2147483647    39424     17 |  0.209 % |
52.61/52.70	c |    134075 |    7654    64974   215656 | 2147483647    39657     17 |  0.209 % |
52.71/52.76	c |    134331 |    7654    64974   215656 | 2147483647    39913     17 |  0.209 % |
52.82/52.84	c |    134613 |    7654    64974   215656 | 2147483647    40195     17 |  0.209 % |
52.91/52.92	c |    134924 |    7654    64974   215656 | 2147483647    40506     17 |  0.209 % |
52.91/53.00	c |    135263 |    7654    64974   215656 | 2147483647    40845     17 |  0.209 % |
53.01/53.10	c |    135636 |    7654    64974   215656 | 2147483647    41218     17 |  0.209 % |
53.11/53.19	c |    136045 |    7654    64974   215656 | 2147483647    41627     17 |  0.209 % |
53.21/53.29	c |    136495 |    7654    64974   215656 | 2147483647    42077     17 |  0.209 % |
53.41/53.42	c |    136988 |    7654    64974   215656 | 2147483647    42570     17 |  0.209 % |
53.51/53.55	c |    137531 |    7654    64974   215656 | 2147483647    43113     17 |  0.209 % |
53.71/53.73	c |    138127 |    7654    64974   215656 | 2147483647    43709     17 |  0.209 % |
53.92/53.92	c |    138782 |    7654    64974   215656 | 2147483647    44364     17 |  0.209 % |
54.11/54.13	c |    139503 |    7654    64974   215656 | 2147483647    45085     17 |  0.209 % |
54.31/54.36	c |    140295 |    7654    64974   215656 | 2147483647    45877     17 |  0.209 % |
54.51/54.59	c |    141167 |    7654    64974   215656 | 2147483647    46749     17 |  0.209 % |
54.91/54.96	c |    142126 |    7654    64974   215656 | 2147483647    47708     17 |  0.209 % |
55.21/55.28	c |    143179 |    7654    64974   215656 | 2147483647    48761     18 |  0.209 % |
55.71/55.76	c |    144341 |    7654    64974   215656 | 2147483647    49923     18 |  0.209 % |
56.21/56.25	c |    145614 |    7654    64974   215656 | 2147483647    51196     18 |  0.209 % |
56.71/56.73	c |    147014 |    7654    64974   215656 | 2147483647    52596     18 |  0.209 % |
57.22/57.24	c |    148555 |    7654    64974   215656 | 2147483647    54137     18 |  0.209 % |
57.22/57.28	c |    148657 |    7654    64974   215656 | 2147483647    54239     18 |  0.209 % |
57.31/57.33	c |    148767 |    7654    64974   215656 | 2147483647    54349     18 |  0.209 % |
57.31/57.37	c |    148888 |    7654    64974   215656 | 2147483647    54470     18 |  0.209 % |
57.31/57.41	c |    149022 |    7654    64974   215656 | 2147483647    54604     18 |  0.209 % |
57.41/57.47	c |    149168 |    7654    64974   215656 | 2147483647    54750     18 |  0.209 % |
57.51/57.53	c |    149329 |    7654    64974   215656 | 2147483647    54911     18 |  0.209 % |
57.51/57.60	c |    149507 |    7654    64974   215656 | 2147483647    55089     18 |  0.209 % |
57.61/57.68	c |    149700 |    7654    64974   215656 | 2147483647    55282     18 |  0.209 % |
57.71/57.75	c |    149916 |    7654    64974   215656 | 2147483647    55498     18 |  0.209 % |
57.81/57.82	c |    150149 |    7654    64974   215656 | 2147483647    55731     18 |  0.209 % |
57.91/57.92	c |    150405 |    7654    64974   215656 | 2147483647    55987     18 |  0.209 % |
58.01/58.02	c |    150686 |    7654    64974   215656 | 2147483647    56268     18 |  0.209 % |
58.11/58.13	c |    150995 |    7654    64974   215656 | 2147483647    56577     18 |  0.209 % |
58.21/58.26	c |    151334 |    7654    64974   215656 | 2147483647    56916     18 |  0.209 % |
58.41/58.43	c |    151707 |    7654    64974   215656 | 2147483647    57289     18 |  0.209 % |
58.61/58.62	c |    152116 |    7654    64974   215656 | 2147483647    57698     18 |  0.209 % |
58.71/58.76	c |    152566 |    7654    64974   215656 | 2147483647    58148     18 |  0.209 % |
58.91/58.96	c |    153060 |    7654    64974   215656 | 2147483647    58642     18 |  0.209 % |
59.11/59.20	c |    153603 |    7654    64974   215656 | 2147483647    59185     18 |  0.209 % |
59.42/59.42	c |    154199 |    7654    64974   215656 | 2147483647    59781     18 |  0.209 % |
59.61/59.69	c |    154855 |    7654    64974   215656 | 2147483647    60437     18 |  0.209 % |
60.01/60.06	c |    155575 |    7654    64974   215656 | 2147483647    61157     18 |  0.209 % |
60.31/60.38	c |    156368 |    7654    64974   215656 | 2147483647    61950     19 |  0.209 % |
60.71/60.73	c |    157240 |    7654    64974   215656 | 2147483647    62822     19 |  0.209 % |
61.21/61.28	c |    158199 |    7654    64974   215656 | 2147483647    63781     19 |  0.209 % |
61.81/61.82	c |    159253 |    7654    64974   215656 | 2147483647    64835     19 |  0.209 % |
62.31/62.34	c |    160411 |    7654    64974   215656 | 2147483647    65993     19 |  0.209 % |
62.91/62.92	c |    161685 |    7654    64974   215656 | 2147483647    67267     19 |  0.209 % |
63.41/63.51	c |    163086 |    7654    64974   215656 | 2147483647    68668     19 |  0.209 % |
64.11/64.12	c |    164626 |    7654    64974   215656 | 2147483647    70208     19 |  0.209 % |
65.11/65.18	c |    166321 |    7654    64974   215656 | 2147483647    71903     19 |  0.209 % |
65.21/65.22	c |    166421 |    7654    64974   215656 | 2147483647    72003     19 |  0.209 % |
65.21/65.27	c |    166531 |    7654    64974   215656 | 2147483647    72113     19 |  0.209 % |
65.31/65.33	c |    166652 |    7654    64974   215656 | 2147483647    72234     19 |  0.209 % |
65.31/65.40	c |    166786 |    7654    64974   215656 | 2147483647    72368     19 |  0.209 % |
65.41/65.46	c |    166932 |    7654    64974   215656 | 2147483647    72514     19 |  0.209 % |
65.51/65.55	c |    167092 |    7654    64974   215656 | 2147483647    72674     19 |  0.209 % |
65.61/65.66	c |    167268 |    7654    64974   215656 | 2147483647    72850     19 |  0.209 % |
65.71/65.76	c |    167461 |    7654    64974   215656 | 2147483647    73043     19 |  0.209 % |
65.81/65.87	c |    167673 |    7654    64974   215656 | 2147483647    73255     19 |  0.209 % |
65.91/65.97	c |    167906 |    7654    64974   215656 | 2147483647    73488     19 |  0.209 % |
66.11/66.13	c |    168162 |    7654    64974   215656 | 2147483647    73744     19 |  0.209 % |
66.21/66.25	c |    168444 |    7654    64974   215656 | 2147483647    74026     19 |  0.209 % |
66.41/66.45	c |    168754 |    7654    64974   215656 | 2147483647    74336     19 |  0.209 % |
66.61/66.64	c |    169093 |    7654    64974   215656 | 2147483647    74675     19 |  0.209 % |
66.71/66.79	c |    169466 |    7654    64974   215656 | 2147483647    75048     19 |  0.209 % |
66.91/66.98	c |    169877 |    7654    64974   215656 | 2147483647    75459     19 |  0.209 % |
67.21/67.28	c |    170327 |    7654    64974   215656 | 2147483647    75909     19 |  0.209 % |
67.51/67.54	c |    170820 |    7654    64974   215656 | 2147483647    76402     19 |  0.209 % |
67.71/67.79	c |    171362 |    7654    64974   215656 | 2147483647    76944     19 |  0.209 % |
68.11/68.18	c |    171961 |    7654    64974   215656 | 2147483647    77543     19 |  0.209 % |
68.51/68.60	c |    172616 |    7654    64974   215656 | 2147483647    78198     19 |  0.209 % |
69.01/69.09	c |    173337 |    7654    64974   215656 | 2147483647    78919     19 |  0.209 % |
69.51/69.57	c |    174131 |    7654    64974   215656 | 2147483647    79713     19 |  0.209 % |
70.11/70.18	c |    175004 |    7654    64974   215656 | 2147483647    80586     19 |  0.209 % |
70.71/70.75	c |    175962 |    7654    64974   215656 | 2147483647    81544     20 |  0.209 % |
71.41/71.44	c |    177016 |    7654    64974   215656 | 2147483647    82598     20 |  0.209 % |
72.11/72.14	c |    178174 |    7654    64974   215656 | 2147483647    83756     20 |  0.209 % |
73.01/73.02	c |    179447 |    7654    64974   215656 | 2147483647    85029     20 |  0.209 % |
73.81/73.82	c |    180848 |    7654    64974   215656 | 2147483647    86430     20 |  0.209 % |
74.71/74.75	c |    182389 |    7654    64974   215656 | 2147483647    87971     20 |  0.209 % |
75.92/75.98	c |    184085 |    7654    64974   215656 | 2147483647    89667     20 |  0.209 % |
77.11/77.12	c |    185948 |    7654    64974   215656 | 2147483647    91530     20 |  0.209 % |
77.11/77.19	c |    186048 |    7654    64974   215656 | 2147483647    91630     20 |  0.209 % |
77.21/77.27	c |    186159 |    7654    64974   215656 | 2147483647    91741     20 |  0.209 % |
77.31/77.35	c |    186280 |    7654    64974   215656 | 2147483647    91862     20 |  0.209 % |
77.41/77.43	c |    186413 |    7654    64974   215656 | 2147483647    91995     20 |  0.209 % |
77.51/77.55	c |    186561 |    7654    64974   215656 | 2147483647    92143     20 |  0.209 % |
77.61/77.70	c |    186721 |    7654    64974   215656 | 2147483647    92303     20 |  0.209 % |
77.81/77.85	c |    186898 |    7654    64974   215656 | 2147483647    92480     20 |  0.209 % |
77.91/78.00	c |    187091 |    7654    64974   215656 | 2147483647    92673     20 |  0.209 % |
78.12/78.16	c |    187303 |    7654    64974   215656 | 2147483647    92885     20 |  0.209 % |
78.31/78.33	c |    187536 |    7654    64974   215656 | 2147483647    93118     20 |  0.209 % |
78.51/78.54	c |    187792 |    7654    64974   215656 | 2147483647    93374     20 |  0.209 % |
78.71/78.72	c |    188073 |    7654    64974   215656 | 2147483647    93655     20 |  0.209 % |
78.91/79.00	c |    188383 |    7654    64974   215656 | 2147483647    93965     20 |  0.209 % |
79.22/79.23	c |    188722 |    7654    64974   215656 | 2147483647    94304     20 |  0.209 % |
79.41/79.46	c |    189095 |    7654    64974   215656 | 2147483647    94677     20 |  0.209 % |
79.71/79.75	c |    189504 |    7654    64974   215656 | 2147483647    95086     20 |  0.209 % |
80.01/80.08	c |    189954 |    7654    64974   215656 | 2147483647    95536     20 |  0.209 % |
80.32/80.41	c |    190447 |    7654    64974   215656 | 2147483647    96029     20 |  0.209 % |
80.71/80.78	c |    190989 |    7654    64974   215656 | 2147483647    96571     20 |  0.209 % |
81.21/81.22	c |    191585 |    7654    64974   215656 | 2147483647    97167     20 |  0.209 % |
81.61/81.66	c |    192240 |    7654    64974   215656 | 2147483647    97822     20 |  0.209 % |
82.21/82.23	c |    192960 |    7654    64974   215656 | 2147483647    98542     20 |  0.209 % |
82.71/82.73	c |    193752 |    7654    64974   215656 | 2147483647    99334     20 |  0.209 % |
83.31/83.36	c |    194624 |    7654    64974   215656 | 2147483647   100206     20 |  0.209 % |
83.91/84.00	c |    195583 |    7654    64974   215656 | 2147483647   101165     20 |  0.209 % |
84.72/84.77	c |    196637 |    7654    64974   215656 | 2147483647   102219     20 |  0.209 % |
85.52/85.56	c |    197795 |    7654    64974   215656 | 2147483647   103377     20 |  0.209 % |
86.42/86.42	c |    199068 |    7654    64974   215656 | 2147483647   104650     20 |  0.209 % |
87.72/87.78	c |    200468 |    7654    64974   215656 |   105583    92130     21 |  0.209 % |
88.92/89.01	c |    202012 |    7654    64974   215656 |   105583    93674     21 |  0.209 % |
90.32/90.41	c |    203707 |    7654    64974   215656 |   105583    95369     21 |  0.209 % |
91.62/91.63	c |    205570 |    7654    64974   215656 |   105583    97232     21 |  0.209 % |
93.22/93.31	c |    207620 |    7654    64974   215656 |   105583    99282     21 |  0.209 % |
93.32/93.38	c |    207720 |    7654    64974   215656 |   105583    99382     21 |  0.209 % |
93.42/93.43	c |    207833 |    7654    64974   215656 |   105583    99495     21 |  0.209 % |
93.52/93.53	c |    207956 |    7654    64974   215656 |   105583    99618     21 |  0.209 % |
93.62/93.63	c |    208092 |    7654    64974   215656 |   105583    99754     21 |  0.209 % |
93.72/93.75	c |    208238 |    7654    64974   215656 |   105583    99900     21 |  0.209 % |
93.82/93.90	c |    208399 |    7654    64974   215656 |   105583   100061     21 |  0.209 % |
94.02/94.06	c |    208575 |    7654    64974   215656 |   105583   100237     21 |  0.209 % |
94.22/94.26	c |    208768 |    7654    64974   215656 |   105583   100430     21 |  0.209 % |
94.32/94.41	c |    208981 |    7654    64974   215656 |   105583   100643     21 |  0.209 % |
94.52/94.62	c |    209214 |    7654    64974   215656 |   105583   100876     21 |  0.209 % |
94.82/94.86	c |    209475 |    7654    64974   215656 |   105583   101137     21 |  0.209 % |
95.02/95.06	c |    209758 |    7654    64974   215656 |   105583   101420     21 |  0.209 % |
95.32/95.36	c |    210067 |    7654    64974   215656 |   101662   101729     21 |  0.209 % |
95.72/95.74	c |    210407 |    7654    64974   215656 |   101662    86357     21 |  0.209 % |
95.92/95.98	c |    210780 |    7654    64974   215656 |   101662    86730     21 |  0.209 % |
96.32/96.35	c |    211192 |    7654    64974   215656 |   101662    87142     21 |  0.209 % |
96.62/96.66	c |    211641 |    7654    64974   215656 |   101662    87591     21 |  0.209 % |
96.92/96.94	c |    212134 |    7654    64974   215656 |   101662    88084     21 |  0.209 % |
97.32/97.38	c |    212677 |    7654    64974   215656 |   101662    88627     21 |  0.209 % |
97.82/97.83	c |    213273 |    7654    64974   215656 |   101662    89223     21 |  0.209 % |
98.32/98.36	c |    213928 |    7654    64974   215656 |   101662    89878     21 |  0.209 % |
98.82/98.90	c |    214648 |    7654    64974   215656 |   101662    90598     21 |  0.209 % |
99.52/99.56	c |    215441 |    7654    64974   215656 |   101662    91391     21 |  0.209 % |
100.12/100.14	c |    216314 |    7654    64974   215656 |   101662    92264     21 |  0.209 % |
100.82/100.88	c |    217272 |    7654    64974   215656 |   101662    93222     21 |  0.209 % |
101.72/101.80	c |    218325 |    7654    64974   215656 |   101662    94275     21 |  0.209 % |
102.62/102.67	c |    219484 |    7654    64974   215656 |   101662    95434     21 |  0.209 % |
103.92/104.00	c |    220757 |    7654    64974   215656 |    95952    84232     20 |  0.209 % |
104.72/104.80	c |    222157 |    7654    64974   215656 |    95952    85632     20 |  0.209 % |
105.82/105.91	c |    223697 |    7654    64974   215656 |    95952    87172     20 |  0.209 % |
106.42/106.52	c |    225392 |    7654    64974   215656 |    95952    88867     20 |  0.209 % |
107.92/107.96	c |    227257 |    7654    64974   215656 |    95952    90732     21 |  0.209 % |
109.62/109.63	c |    229306 |    7654    64974   215656 |    95952    92781     21 |  0.209 % |
111.32/111.40	c |    231559 |    7654    64974   215656 |    93475    84720     20 |  0.209 % |
111.42/111.47	c |    231659 |    7654    64974   215656 |    93475    84820     20 |  0.209 % |
111.52/111.52	c |    231771 |    7654    64974   215656 |    93475    84932     20 |  0.209 % |
111.62/111.62	c |    231895 |    7654    64974   215656 |    93475    85056     20 |  0.209 % |
111.62/111.71	c |    232028 |    7654    64974   215656 |    93475    85189     20 |  0.209 % |
111.82/111.85	c |    232174 |    7654    64974   215656 |    93475    85335     20 |  0.209 % |
111.92/111.98	c |    232334 |    7654    64974   215656 |    93475    85495     20 |  0.209 % |
112.12/112.14	c |    232511 |    7654    64974   215656 |    93475    85672     20 |  0.209 % |
112.32/112.32	c |    232704 |    7654    64974   215656 |    93475    85865     20 |  0.209 % |
112.42/112.49	c |    232917 |    7654    64974   215656 |    93475    86078     20 |  0.209 % |
112.62/112.67	c |    233150 |    7654    64974   215656 |    93475    86311     20 |  0.209 % |
112.82/112.90	c |    233407 |    7654    64974   215656 |    93475    86568     20 |  0.209 % |
113.02/113.03	c |    233688 |    7654    64974   215656 |    93475    86849     20 |  0.209 % |
113.22/113.29	c |    233997 |    7654    64974   215656 |    93475    87158     20 |  0.209 % |
113.42/113.43	c |    234336 |    7654    64974   215656 |    93475    87497     20 |  0.209 % |
113.72/113.75	c |    234709 |    7654    64974   215656 |    93475    87870     20 |  0.209 % |
113.92/113.95	c |    235119 |    7654    64974   215656 |    93475    88280     20 |  0.209 % |
114.02/114.11	c |    235571 |    7654    64974   215656 |    93475    88732     20 |  0.209 % |
114.52/114.58	c |    236064 |    7654    64974   215656 |    93475    89225     20 |  0.209 % |
114.82/114.89	c |    236607 |    7654    64974   215656 |    93475    89768     20 |  0.209 % |
115.32/115.34	c |    237204 |    7654    64974   215656 |    93475    90365     20 |  0.209 % |
115.72/115.77	c |    237859 |    7654    64974   215656 |    93475    91020     20 |  0.209 % |
116.41/116.44	c |    238580 |    7654    64974   215656 |    93475    91741     21 |  0.209 % |
117.01/117.07	c |    239377 |    7654    64974   215656 |    93475    92538     21 |  0.209 % |
117.51/117.60	c |    240248 |    7654    64974   215656 |    93162    93409     21 |  0.209 % |
118.21/118.25	c |    241207 |    7654    64974   215656 |    93162    83656     20 |  0.209 % |
118.91/118.94	c |    242260 |    7654    64974   215656 |    93162    84709     20 |  0.209 % |
119.81/119.85	c |    243418 |    7654    64974   215656 |    93162    85867     20 |  0.209 % |
120.71/120.71	c |    244692 |    7654    64974   215656 |    93162    87141     21 |  0.209 % |
122.01/122.01	c |    246093 |    7654    64974   215656 |    93162    88542     21 |  0.209 % |
122.81/122.88	c |    247633 |    7654    64974   215656 |    93162    90082     21 |  0.209 % |
124.31/124.37	c |    249329 |    7654    64974   215656 |    93162    91778     21 |  0.209 % |
125.51/125.57	c |    251193 |    7654    64974   215656 |    92451    83009     20 |  0.209 % |
126.61/126.69	c |    253242 |    7654    64974   215656 |    92451    85058     21 |  0.209 % |
128.51/128.55	c |    255495 |    7654    64974   215656 |    92451    87311     20 |  0.209 % |
130.21/130.25	c |    257973 |    7654    64974   215656 |    92451    89789     21 |  0.209 % |
130.31/130.33	c |    258074 |    7654    64974   215656 |    92451    89890     21 |  0.209 % |
130.41/130.45	c |    258184 |    7654    64974   215656 |    92451    90000     21 |  0.209 % |
130.51/130.53	c |    258305 |    7654    64974   215656 |    92451    90121     21 |  0.209 % |
130.61/130.63	c |    258438 |    7654    64974   215656 |    92451    90254     21 |  0.209 % |
130.61/130.70	c |    258585 |    7654    64974   215656 |    92451    90401     21 |  0.209 % |
130.81/130.83	c |    258745 |    7654    64974   215656 |    92451    90561     21 |  0.209 % |
130.91/130.91	c |    258924 |    7654    64974   215656 |    92451    90740     21 |  0.209 % |
131.01/131.01	c |    259117 |    7654    64974   215656 |    92451    90933     21 |  0.209 % |
131.21/131.22	c |    259329 |    7654    64974   215656 |    92451    91145     21 |  0.209 % |
131.21/131.27	c |    259563 |    7654    64974   215656 |    92451    91379     21 |  0.209 % |
131.41/131.45	c |    259820 |    7654    64974   215656 |    92451    91636     21 |  0.209 % |
131.61/131.65	c |    260102 |    7654    64974   215656 |    91817    91918     21 |  0.209 % |
131.81/131.90	c |    260413 |    7654    64974   215656 |    91817    82835     20 |  0.209 % |
132.01/132.08	c |    260754 |    7654    64974   215656 |    91817    83176     20 |  0.209 % |
132.21/132.29	c |    261129 |    7654    64974   215656 |    91817    83551     20 |  0.209 % |
132.41/132.51	c |    261542 |    7654    64974   215656 |    91817    83964     20 |  0.209 % |
132.81/132.84	c |    261993 |    7654    64974   215656 |    91817    84415     20 |  0.209 % |
133.21/133.25	c |    262486 |    7654    64974   215656 |    91817    84908     20 |  0.209 % |
133.51/133.59	c |    263029 |    7654    64974   215656 |    91817    85451     20 |  0.209 % |
133.91/133.99	c |    263628 |    7654    64974   215656 |    91817    86050     20 |  0.209 % |
134.51/134.58	c |    264285 |    7654    64974   215656 |    91817    86707     20 |  0.209 % |
135.11/135.16	c |    265006 |    7654    64974   215656 |    91817    87428     20 |  0.209 % |
135.51/135.60	c |    265799 |    7654    64974   215656 |    91817    88221     20 |  0.209 % |
136.21/136.26	c |    266672 |    7654    64974   215656 |    91817    89094     20 |  0.209 % |
137.01/137.08	c |    267633 |    7654    64974   215656 |    91817    90055     20 |  0.209 % |
137.71/137.75	c |    268686 |    7654    64974   215656 |    91817    91108     21 |  0.209 % |
138.61/138.65	c |    269846 |    7654    64974   215656 |    91817    83051     20 |  0.209 % |
139.41/139.50	c |    271119 |    7654    64974   215656 | 2147483647    84324     20 |  0.209 % |
140.21/140.22	c |    272519 |    7654    64974   215656 | 2147483647    85724     20 |  0.209 % |
141.51/141.56	c |    274059 |    7654    64974   215656 | 2147483647    87264     20 |  0.209 % |
142.81/142.81	c |    275754 |    7652    64949   215596 | 2147483647    88958     20 |  0.235 % |
144.21/144.25	c |    277618 |    7652    64949   215596 | 2147483647    90822     20 |  0.235 % |
145.41/145.50	c |    279668 |    7652    64949   215596 | 2147483647    92872     20 |  0.235 % |
147.01/147.08	c |    281921 |    7652    64949   215596 | 2147483647    95124     21 |  0.261 % |
148.71/148.81	c |    284402 |    7652    64949   215596 | 2147483647    97605     21 |  0.261 % |
150.91/150.94	c |    287127 |    7650    64924   215536 | 2147483647   100330     21 |  0.261 % |
151.01/151.03	c |    287227 |    7650    64924   215536 | 2147483647   100430     21 |  0.261 % |
151.11/151.12	c |    287337 |    7650    64924   215536 | 2147483647   100540     21 |  0.261 % |
151.21/151.22	c |    287459 |    7650    64924   215536 | 2147483647   100662     21 |  0.261 % |
151.31/151.31	c |    287592 |    7650    64924   215536 | 2147483647   100795     21 |  0.261 % |
151.41/151.43	c |    287739 |    7650    64924   215536 | 2147483647   100942     21 |  0.261 % |
151.61/151.62	c |    287901 |    7650    64924   215536 | 2147483647   101104     21 |  0.261 % |
151.71/151.72	c |    288077 |    7650    64924   215536 | 2147483647   101280     21 |  0.261 % |
151.91/151.93	c |    288272 |    7650    64924   215536 | 2147483647   101475     21 |  0.261 % |
152.01/152.10	c |    288485 |    7650    64924   215536 | 2147483647   101688     21 |  0.261 % |
152.31/152.37	c |    288720 |    7650    64924   215536 | 2147483647   101923     21 |  0.261 % |
152.51/152.59	c |    288976 |    7650    64924   215536 | 2147483647   102179     21 |  0.261 % |
152.91/152.91	c |    289258 |    7650    64924   215536 | 2147483647   102461     21 |  0.261 % |
153.21/153.23	c |    289570 |    7650    64924   215536 | 2147483647   102773     21 |  0.261 % |
153.51/153.54	c |    289910 |    7650    64924   215536 | 2147483647   103113     21 |  0.261 % |
153.91/154.00	c |    290282 |    7650    64924   215536 |   103203    91247     20 |  0.261 % |
154.21/154.28	c |    290691 |    7650    64924   215536 |   103203    91656     20 |  0.261 % |
154.61/154.62	c |    291140 |    7650    64924   215536 |   103203    92105     20 |  0.261 % |
154.91/155.00	c |    291634 |    7650    64924   215536 |   103203    92599     20 |  0.261 % |
155.31/155.40	c |    292176 |    7650    64924   215536 |   103203    93141     20 |  0.261 % |
155.81/155.88	c |    292774 |    7650    64924   215536 |   103203    93739     20 |  0.261 % |
156.31/156.34	c |    293429 |    7650    64924   215536 |   103203    94394     20 |  0.261 % |
156.71/156.79	c |    294149 |    7650    64924   215536 |   103203    95114     20 |  0.261 % |
157.41/157.44	c |    294941 |    7650    64924   215536 |   103203    95906     20 |  0.261 % |
158.21/158.24	c |    295815 |    7650    64924   215536 |   103203    96780     21 |  0.261 % |
158.81/158.91	c |    296774 |    7650    64924   215536 |   103203    97739     21 |  0.261 % |
159.61/159.70	c |    297827 |    7650    64924   215536 |   103203    98792     21 |  0.261 % |
160.51/160.54	c |    298986 |    7650    64924   215536 |   103203    99951     21 |  0.261 % |
161.81/161.82	c |    300260 |    7650    64924   215536 |   100966   101225     21 |  0.261 % |
162.82/162.88	c |    301660 |    7650    64924   215536 |   100966    89552     20 |  0.261 % |
164.01/164.04	c |    303204 |    7648    64899   215476 |   100966    91095     20 |  0.287 % |
165.41/165.46	c |    304899 |    7648    64899   215476 |   100966    92790     20 |  0.287 % |
167.11/167.13	c |    306762 |    7648    64899   215476 |   100966    94653     20 |  0.287 % |
168.61/168.69	c |    308811 |    7648    64899   215476 |   100966    96702     21 |  0.287 % |
171.01/171.04	c |    311066 |    7648    64899   215476 | 2147483647    98957     21 |  0.287 % |
173.41/173.46	c |    313544 |    7648    64899   215476 | 2147483647   101435     21 |  0.287 % |
176.21/176.28	c |    316270 |    7648    64899   215476 | 2147483647   104161     21 |  0.287 % |
179.01/179.08	c |    319267 |    7645    64874   215416 | 2147483647   107156     21 |  0.339 % |
179.11/179.15	c |    319367 |    7645    64874   215416 | 2147483647   107256     21 |  0.339 % |
179.21/179.27	c |    319477 |    7645    64874   215416 | 2147483647   107366     21 |  0.339 % |
179.32/179.36	c |    319598 |    7645    64874   215416 | 2147483647   107487     21 |  0.339 % |
179.41/179.44	c |    319731 |    7645    64874   215416 | 2147483647   107620     21 |  0.339 % |
179.51/179.56	c |    319877 |    7645    64874   215416 | 2147483647   107766     21 |  0.339 % |
179.71/179.73	c |    320037 |    7645    64874   215416 |   107889   107926     21 |  0.339 % |
180.01/180.07	c |    320217 |    7645    64874   215416 |   107889    92998     20 |  0.339 % |
180.21/180.27	c |    320411 |    7645    64874   215416 |   107889    93192     20 |  0.339 % |
180.51/180.52	c |    320623 |    7645    64874   215416 |   107889    93404     20 |  0.339 % |
180.71/180.77	c |    320856 |    7645    64874   215416 |   107889    93637     20 |  0.339 % |
181.01/181.01	c |    321116 |    7645    64874   215416 |   107889    93897     20 |  0.339 % |
181.21/181.23	c |    321397 |    7645    64874   215416 |   107889    94178     20 |  0.339 % |
181.41/181.48	c |    321706 |    7645    64874   215416 |   107889    94487     20 |  0.339 % |
181.71/181.74	c |    322045 |    7645    64874   215416 |   107889    94826     20 |  0.339 % |
182.11/182.17	c |    322418 |    7645    64874   215416 |   107889    95199     20 |  0.339 % |
182.51/182.58	c |    322827 |    7645    64874   215416 |   107889    95608     20 |  0.339 % |
183.01/183.04	c |    323277 |    7645    64874   215416 |   107889    96058     20 |  0.339 % |
183.41/183.44	c |    323770 |    7645    64874   215416 |   107889    96551     20 |  0.339 % |
183.81/183.88	c |    324312 |    7645    64874   215416 |   107889    97093     20 |  0.339 % |
184.41/184.50	c |    324908 |    7645    64874   215416 |   107889    97689     21 |  0.339 % |
185.11/185.11	c |    325566 |    7645    64874   215416 |   107889    98347     21 |  0.339 % |
185.61/185.65	c |    326287 |    7645    64874   215416 |   107889    99068     21 |  0.339 % |
186.41/186.43	c |    327079 |    7644    64874   215416 |   107889    99859     21 |  0.365 % |
187.21/187.28	c |    327951 |    7644    64874   215416 |   107889   100731     21 |  0.365 % |
188.12/188.20	c |    328910 |    7642    64824   215296 |   107889   101690     21 |  0.365 % |
189.31/189.33	c |    329965 |    7642    64824   215296 |   107889   102745     21 |  0.365 % |
190.32/190.38	c |    331123 |    7642    64824   215296 |   102780    89139     20 |  0.365 % |
191.51/191.59	c |    332396 |    7642    64824   215296 |   102780    90412     20 |  0.365 % |
193.01/193.01	c |    333798 |    7642    64824   215296 |   102780    91814     20 |  0.365 % |
194.51/194.57	c |    335339 |    7642    64824   215296 |   102780    93355     20 |  0.365 % |
196.01/196.09	c |    337034 |    7642    64824   215296 |   102780    95050     20 |  0.365 % |
197.61/197.65	c |    338899 |    7642    64824   215296 |   102780    96915     20 |  0.365 % |
199.21/199.25	c |    340949 |    7642    64824   215296 |    98018    87098     20 |  0.365 % |
201.21/201.23	c |    343203 |    7642    64824   215296 |    98018    89352     20 |  0.365 % |
203.11/203.18	c |    345683 |    7640    64799   215236 |    98018    91831     20 |  0.391 % |
205.31/205.34	c |    348408 |    7640    64799   215236 |    98018    94556     20 |  0.391 % |
208.31/208.36	c |    351406 |    7640    64799   215236 |    96149    85769     20 |  0.391 % |
210.91/210.97	c |    354703 |    7640    64799   215236 |    96149    89066     20 |  0.391 % |
211.01/211.10	c |    354803 |    7640    64799   215236 |    96149    89166     20 |  0.391 % |
211.11/211.21	c |    354913 |    7640    64799   215236 |    96149    89276     20 |  0.391 % |
211.31/211.34	c |    355034 |    7640    64799   215236 |    96149    89397     20 |  0.391 % |
211.41/211.49	c |    355168 |    7640    64799   215236 |    96149    89531     20 |  0.391 % |
211.61/211.62	c |    355315 |    7640    64799   215236 |    96149    89678     20 |  0.391 % |
211.71/211.75	c |    355476 |    7640    64799   215236 |    96149    89839     20 |  0.391 % |
211.82/211.90	c |    355652 |    7640    64799   215236 |    96149    90015     20 |  0.391 % |
212.02/212.03	c |    355846 |    7640    64799   215236 |    96149    90209     20 |  0.391 % |
212.12/212.18	c |    356058 |    7640    64799   215236 |    96149    90421     20 |  0.391 % |
212.32/212.41	c |    356292 |    7640    64799   215236 |    96149    90655     20 |  0.391 % |
212.62/212.64	c |    356550 |    7640    64799   215236 |    96149    90913     20 |  0.391 % |
212.92/212.95	c |    356832 |    7640    64799   215236 |    96149    91195     20 |  0.391 % |
213.22/213.26	c |    357142 |    7640    64799   215236 |    96149    91505     20 |  0.391 % |
213.42/213.51	c |    357482 |    7640    64799   215236 |    96149    91845     20 |  0.391 % |
213.82/213.84	c |    357855 |    7640    64799   215236 |    96149    92218     20 |  0.391 % |
214.02/214.04	c |    358264 |    7640    64799   215236 |    96149    92627     20 |  0.391 % |
214.32/214.41	c |    358713 |    7640    64799   215236 |    96149    93076     20 |  0.391 % |
214.62/214.63	c |    359207 |    7640    64799   215236 |    96149    93570     20 |  0.391 % |
215.02/215.11	c |    359750 |    7640    64799   215236 |    96149    94113     20 |  0.391 % |
215.72/215.78	c |    360346 |    7640    64799   215236 |    94363    84931     20 |  0.391 % |
216.32/216.32	c |    361002 |    7640    64799   215236 |    94363    85587     20 |  0.391 % |
217.02/217.08	c |    361723 |    7640    64799   215236 |    94363    86308     20 |  0.391 % |
217.82/217.82	c |    362517 |    7640    64799   215236 |    94363    87102     20 |  0.391 % |
218.82/218.88	c |    363388 |    7640    64799   215236 |    94363    87973     20 |  0.391 % |
219.62/219.69	c |    364346 |    7640    64799   215236 |    94363    88931     20 |  0.391 % |
220.72/220.74	c |    365399 |    7640    64799   215236 |    94363    89984     20 |  0.391 % |
221.72/221.81	c |    366561 |    7640    64799   215236 |    94363    91146     20 |  0.391 % |
223.12/223.13	c |    367834 |    7640    64799   215236 |    94363    92419     20 |  0.391 % |
224.32/224.39	c |    369236 |    7640    64799   215236 |    94363    93821     20 |  0.391 % |
225.72/225.74	c |    370776 |    7640    64799   215236 |    94587    85491     20 |  0.391 % |
227.02/227.10	c |    372471 |    7638    64774   215176 |    94587    87185     20 |  0.417 % |
228.42/228.49	c |    374335 |    7638    64774   215176 |    94587    89048     20 |  0.443 % |
230.42/230.46	c |    376384 |    7638    64774   215176 |    94587    91097     20 |  0.443 % |
232.92/232.94	c |    378638 |    7638    64774   215176 |    94587    93351     20 |  0.443 % |
235.32/235.40	c |    381116 |    7636    64749   215116 |    94713    86331     19 |  0.443 % |
237.82/237.82	c |    383841 |    7636    64749   215116 |    94713    89056     20 |  0.443 % |
240.72/240.76	c |    386838 |    7636    64749   215116 |    94713    92053     20 |  0.443 % |
243.12/243.12	c |    390134 |    7634    64724   215056 | 2147483647    85832     20 |  0.495 % |
245.82/245.85	c |    393761 |    7633    64724   215056 | 2147483647    89458     20 |  0.522 % |
245.92/245.95	c |    393861 |    7633    64724   215056 | 2147483647    89558     20 |  0.522 % |
246.02/246.07	c |    393971 |    7633    64724   215056 | 2147483647    89668     20 |  0.522 % |
246.12/246.18	c |    394092 |    7633    64724   215056 | 2147483647    89789     20 |  0.522 % |
246.22/246.28	c |    394225 |    7633    64724   215056 | 2147483647    89922     20 |  0.522 % |
246.32/246.39	c |    394371 |    7633    64724   215056 | 2147483647    90068     20 |  0.522 % |
246.42/246.48	c |    394531 |    7633    64724   215056 | 2147483647    90228     20 |  0.522 % |
246.62/246.64	c |    394708 |    7633    64724   215056 | 2147483647    90405     20 |  0.522 % |
246.82/246.84	c |    394903 |    7633    64724   215056 | 2147483647    90600     20 |  0.522 % |
247.02/247.08	c |    395115 |    7633    64724   215056 | 2147483647    90812     20 |  0.522 % |
247.32/247.33	c |    395348 |    7633    64724   215056 | 2147483647    91045     20 |  0.522 % |
247.42/247.50	c |    395605 |    7633    64724   215056 | 2147483647    91302     20 |  0.522 % |
247.72/247.74	c |    395887 |    7633    64724   215056 | 2147483647    91584     20 |  0.522 % |
247.92/247.94	c |    396196 |    7633    64724   215056 | 2147483647    91893     20 |  0.522 % |
248.32/248.35	c |    396535 |    7633    64724   215056 | 2147483647    92232     20 |  0.522 % |
248.62/248.67	c |    396907 |    7633    64724   215056 | 2147483647    92604     20 |  0.522 % |
248.92/249.00	c |    397318 |    7633    64724   215056 | 2147483647    93015     20 |  0.522 % |
249.32/249.39	c |    397767 |    7633    64724   215056 | 2147483647    93464     20 |  0.522 % |
249.72/249.73	c |    398261 |    7633    64724   215056 | 2147483647    93958     20 |  0.522 % |
250.02/250.03	c |    398803 |    7633    64724   215056 | 2147483647    94500     20 |  0.522 % |
250.72/250.75	c |    399401 |    7630    64674   214936 | 2147483647    95098     20 |  0.522 % |
251.12/251.18	c |    400057 |    7630    64674   214936 |    95697    95754     20 |  0.522 % |
252.02/252.05	c |    400777 |    7630    64674   214936 |    95697    86899     20 |  0.522 % |
252.52/252.55	c |    401569 |    7630    64674   214936 |    95697    87691     20 |  0.522 % |
253.22/253.25	c |    402440 |    7630    64674   214936 |    95697    88562     20 |  0.522 % |
254.42/254.45	c |    403398 |    7630    64674   214936 |    95697    89520     20 |  0.522 % |
255.12/255.12	c |    404451 |    7630    64674   214936 |    95697    90573     20 |  0.522 % |
256.32/256.36	c |    405609 |    7630    64674   214936 |    95697    91731     20 |  0.522 % |
257.22/257.31	c |    406883 |    7630    64674   214936 |    95697    93005     20 |  0.522 % |
258.62/258.63	c |    408283 |    7630    64674   214936 |    95697    94405     20 |  0.522 % |
260.22/260.27	c |    409823 |    7630    64674   214936 |    95697    84808     20 |  0.522 % |
261.62/261.66	c |    411517 |    7630    64674   214936 |    84986    76850     19 |  0.522 % |
263.22/263.30	c |    413383 |    7630    64674   214936 |    84986    78716     19 |  0.522 % |
265.22/265.25	c |    415433 |    7630    64674   214936 |    84986    80766     19 |  0.522 % |
267.12/267.15	c |    417686 |    7630    64674   214936 |    84986    83019     20 |  0.522 % |
269.62/269.68	c |    420166 |    7630    64674   214936 | 2147483647    76980     19 |  0.522 % |
272.12/272.17	c |    422893 |    7630    64674   214936 | 2147483647    79707     19 |  0.522 % |
275.32/275.33	c |    425892 |    7630    64674   214936 | 2147483647    82706     19 |  0.522 % |
277.82/277.88	c |    429190 |    7630    64674   214936 | 2147483647    86004     20 |  0.522 % |
280.92/281.00	c |    432815 |    7630    64674   214936 | 2147483647    89629     20 |  0.522 % |
284.72/284.72	c |    436802 |    7630    64674   214936 | 2147483647    93616     20 |  0.522 % |
284.82/284.82	c |    436903 |    7630    64674   214936 | 2147483647    93717     20 |  0.522 % |
284.93/284.97	c |    437014 |    7630    64674   214936 | 2147483647    93828     20 |  0.522 % |
285.02/285.07	c |    437136 |    7630    64674   214936 | 2147483647    93950     20 |  0.522 % |
285.22/285.23	c |    437269 |    7630    64674   214936 | 2147483647    94083     20 |  0.522 % |
285.32/285.37	c |    437417 |    7630    64674   214936 | 2147483647    94231     20 |  0.522 % |
285.52/285.59	c |    437577 |    7630    64674   214936 | 2147483647    94391     20 |  0.522 % |
285.82/285.82	c |    437754 |    7630    64674   214936 | 2147483647    94568     20 |  0.522 % |
286.03/286.02	c |    437948 |    7630    64674   214936 | 2147483647    94762     20 |  0.522 % |
286.22/286.21	c |    438161 |    7630    64674   214936 | 2147483647    94975     20 |  0.522 % |
286.42/286.50	c |    438396 |    7630    64674   214936 | 2147483647    95210     20 |  0.522 % |
286.72/286.78	c |    438653 |    7630    64674   214936 | 2147483647    95467     20 |  0.522 % |
287.02/287.11	c |    438934 |    7630    64674   214936 | 2147483647    95748     20 |  0.522 % |
287.42/287.50	c |    439245 |    7630    64674   214936 | 2147483647    96059     20 |  0.522 % |
287.92/287.93	c |    439584 |    7630    64674   214936 | 2147483647    96398     20 |  0.522 % |
288.23/288.30	c |    439956 |    7630    64674   214936 | 2147483647    96770     20 |  0.522 % |
288.62/288.67	c |    440365 |    7630    64674   214936 |    96816    97179     20 |  0.522 % |
289.33/289.37	c |    440820 |    7630    64674   214936 |    96816    87917     20 |  0.522 % |
289.82/289.83	c |    441313 |    7630    64674   214936 |    96816    88410     20 |  0.522 % |
290.43/290.47	c |    441856 |    7630    64674   214936 |    96816    88953     20 |  0.522 % |
290.92/290.99	c |    442452 |    7630    64674   214936 |    96816    89549     20 |  0.522 % |
291.62/291.63	c |    443108 |    7630    64674   214936 |    96816    90205     20 |  0.522 % |
292.22/292.27	c |    443832 |    7630    64674   214936 |    96816    90929     20 |  0.522 % |
292.92/292.96	c |    444627 |    7630    64674   214936 |    96816    91724     20 |  0.522 % |
293.62/293.70	c |    445499 |    7630    64674   214936 |    96816    92596     20 |  0.522 % |
294.72/294.72	c |    446457 |    7630    64674   214936 |    96816    93554     20 |  0.522 % |
295.93/295.93	c |    447512 |    7628    64649   214876 |    96816    94608     20 |  0.548 % |
296.92/296.99	c |    448670 |    7628    64649   214876 |    96816    95766     20 |  0.548 % |
297.82/297.83	c |    449943 |    7628    64649   214876 |    96816    97039     20 |  0.548 % |
298.92/298.94	c |    451344 |    7628    64649   214876 |    86860    79458     19 |  0.548 % |
299.82/299.87	c |    452884 |    7628    64649   214876 |    86860    80998     19 |  0.548 % |
300.82/300.89	c |    454581 |    7627    64649   214876 |    86860    82694     19 |  0.574 % |
302.22/302.26	c |    456446 |    7627    64649   214876 |    86860    84559     19 |  0.574 % |
303.92/303.97	c |    458495 |    7626    64624   214816 |    86860    86608     19 |  0.574 % |
305.72/305.73	c |    460748 |    7626    64624   214816 | 2147483647    80147     19 |  0.574 % |
308.03/308.05	c |    463227 |    7626    64624   214816 | 2147483647    82626     19 |  0.574 % |
309.72/309.80	c |    465953 |    7626    64624   214816 | 2147483647    85352     19 |  0.574 % |
311.82/311.86	c |    468950 |    7626    64624   214816 | 2147483647    88349     19 |  0.574 % |
314.52/314.57	c |    472246 |    7626    64624   214816 | 2147483647    91645     19 |  0.574 % |
317.12/317.19	c |    475871 |    7626    64624   214816 | 2147483647    95270     19 |  0.574 % |
320.72/320.73	c |    479858 |    7626    64624   214816 | 2147483647    99257     20 |  0.574 % |
324.02/324.07	c |    484243 |    7626    64624   214816 |    99399    93413     19 |  0.574 % |
324.12/324.16	c |    484343 |    7626    64624   214816 |    99399    93513     19 |  0.574 % |
324.22/324.29	c |    484455 |    7626    64624   214816 |    99399    93625     19 |  0.574 % |
324.32/324.41	c |    484576 |    7626    64624   214816 |    99399    93746     19 |  0.574 % |
324.53/324.52	c |    484710 |    7626    64624   214816 |    99399    93880     19 |  0.574 % |
324.62/324.63	c |    484856 |    7626    64624   214816 |    99399    94026     19 |  0.574 % |
324.72/324.76	c |    485016 |    7626    64624   214816 |    99399    94186     19 |  0.574 % |
324.92/324.97	c |    485194 |    7626    64624   214816 |    99399    94364     19 |  0.574 % |
325.12/325.15	c |    485387 |    7626    64624   214816 |    99399    94557     19 |  0.574 % |
325.32/325.35	c |    485600 |    7626    64624   214816 |    99399    94770     19 |  0.574 % |
325.52/325.51	c |    485833 |    7626    64624   214816 |    99399    95003     19 |  0.574 % |
325.63/325.66	c |    486089 |    7626    64624   214816 |    99399    95259     19 |  0.574 % |
326.02/326.03	c |    486370 |    7626    64624   214816 |    99399    95540     19 |  0.574 % |
326.22/326.30	c |    486679 |    7626    64624   214816 |    99399    95849     19 |  0.574 % |
326.82/326.81	c |    487018 |    7626    64624   214816 |    99399    96188     19 |  0.574 % |
327.02/327.07	c |    487391 |    7626    64624   214816 |    99399    96561     19 |  0.574 % |
327.42/327.50	c |    487802 |    7626    64624   214816 |    99399    96972     20 |  0.574 % |
327.92/327.97	c |    488251 |    7626    64624   214816 |    99399    97421     20 |  0.574 % |
328.32/328.35	c |    488745 |    7626    64624   214816 |    99399    97915     20 |  0.574 % |
328.72/328.80	c |    489287 |    7626    64624   214816 |    99399    98457     20 |  0.574 % |
329.22/329.25	c |    489886 |    7626    64624   214816 |    99399    99056     20 |  0.574 % |
330.03/330.02	c |    490542 |    7626    64624   214816 |    99171    88491     19 |  0.574 % |
330.62/330.63	c |    491262 |    7626    64624   214816 |    99171    89211     19 |  0.574 % |
331.13/331.16	c |    492054 |    7626    64624   214816 |    99171    90003     20 |  0.574 % |
332.02/332.06	c |    492926 |    7626    64624   214816 |    99171    90875     20 |  0.574 % |
332.82/332.86	c |    493884 |    7626    64624   214816 |    99171    91833     20 |  0.574 % |
334.02/334.04	c |    494938 |    7626    64624   214816 |    99171    92887     20 |  0.574 % |
334.72/334.75	c |    496097 |    7626    64624   214816 |    99171    94046     20 |  0.574 % |
336.02/336.03	c |    497370 |    7626    64624   214816 |    99171    95319     20 |  0.574 % |
337.62/337.66	c |    498770 |    7626    64624   214816 |    99171    96719     20 |  0.574 % |
339.43/339.45	c |    500310 |    7626    64624   214816 |    97949    87168     20 |  0.574 % |
340.73/340.79	c |    502006 |    7626    64624   214816 |    97949    88864     20 |  0.574 % |
342.63/342.70	c |    503870 |    7626    64624   214816 |    97949    90728     20 |  0.574 % |
344.23/344.23	c |    505919 |    7626    64624   214816 |    97949    92777     20 |  0.574 % |
346.23/346.25	c |    508172 |    7626    64624   214816 |    97949    95030     20 |  0.574 % |
348.53/348.52	c |    510651 |    7626    64624   214816 |    96858    85661     20 |  0.574 % |
350.63/350.71	c |    513377 |    7624    64599   214756 |    96858    88385     20 |  0.626 % |
352.73/352.75	c |    516374 |    7623    64599   214756 |    96858    91381     20 |  0.652 % |
355.53/355.53	c |    519670 |    7623    64599   214756 |    96858    94677     20 |  0.652 % |
358.73/358.78	c |    523296 |    7618    64524   214576 |    95007    87561     20 |  0.678 % |
362.83/362.85	c |    527284 |    7618    64524   214576 |    95007    91549     20 |  0.678 % |
367.03/367.04	c |    531669 |    7618    64524   214576 |    94266    85917     20 |  0.678 % |
370.43/370.45	c |    536492 |    7618    64524   214576 |    94266    90740     20 |  0.678 % |
370.53/370.53	c |    536592 |    7618    64524   214576 |    94266    90840     20 |  0.678 % |
370.63/370.62	c |    536703 |    7618    64524   214576 |    94266    90951     20 |  0.678 % |
370.63/370.69	c |    536824 |    7618    64524   214576 |    94266    91072     20 |  0.678 % |
370.73/370.80	c |    536958 |    7618    64524   214576 |    94266    91206     20 |  0.678 % |
370.83/370.91	c |    537106 |    7618    64524   214576 |    94266    91354     20 |  0.678 % |
370.93/371.01	c |    537267 |    7618    64524   214576 |    94266    91515     20 |  0.678 % |
371.13/371.13	c |    537444 |    7618    64524   214576 |    94266    91692     20 |  0.678 % |
371.23/371.28	c |    537639 |    7618    64524   214576 |    94266    91887     20 |  0.678 % |
371.43/371.47	c |    537851 |    7618    64524   214576 |    94266    92099     20 |  0.678 % |
371.63/371.70	c |    538084 |    7618    64524   214576 |    94266    92332     20 |  0.678 % |
371.93/371.96	c |    538342 |    7618    64524   214576 |    94266    92590     20 |  0.678 % |
372.13/372.15	c |    538624 |    7618    64524   214576 |    94266    92872     20 |  0.678 % |
372.33/372.39	c |    538934 |    7618    64524   214576 |    94266    93182     20 |  0.678 % |
372.63/372.71	c |    539274 |    7618    64524   214576 |    94266    93522     20 |  0.678 % |
372.83/372.89	c |    539647 |    7618    64524   214576 |    94266    93895     20 |  0.678 % |
373.13/373.19	c |    540058 |    7618    64524   214576 | 2147483647    94306     20 |  0.678 % |
373.63/373.65	c |    540508 |    7618    64524   214576 | 2147483647    94756     20 |  0.678 % |
374.13/374.17	c |    541001 |    7618    64524   214576 | 2147483647    95249     20 |  0.678 % |
374.63/374.67	c |    541543 |    7618    64524   214576 | 2147483647    95791     20 |  0.678 % |
375.03/375.06	c |    542139 |    7618    64524   214576 | 2147483647    96387     20 |  0.678 % |
375.53/375.60	c |    542794 |    7618    64524   214576 | 2147483647    97042     20 |  0.678 % |
376.33/376.37	c |    543517 |    7618    64524   214576 | 2147483647    97765     20 |  0.678 % |
377.33/377.34	c |    544309 |    7618    64524   214576 | 2147483647    98557     20 |  0.678 % |
377.93/377.97	c |    545180 |    7618    64524   214576 | 2147483647    99428     20 |  0.678 % |
378.63/378.71	c |    546138 |    7618    64524   214576 | 2147483647   100386     20 |  0.678 % |
379.93/379.92	c |    547191 |    7618    64524   214576 | 2147483647   101439     20 |  0.678 % |
380.83/380.85	c |    548350 |    7618    64524   214576 | 2147483647   102598     20 |  0.678 % |
382.33/382.33	c |    549623 |    7618    64524   214576 | 2147483647   103871     20 |  0.678 % |
383.93/383.98	c |    551023 |    7618    64524   214576 |   104251    89804     20 |  0.678 % |
385.33/385.38	c |    552564 |    7618    64524   214576 |   104251    91345     20 |  0.678 % |
386.83/386.85	c |    554258 |    7618    64524   214576 |   104251    93039     20 |  0.678 % |
389.23/389.26	c |    556121 |    7618    64524   214576 |   104251    94902     20 |  0.678 % |
391.03/391.05	c |    558172 |    7618    64524   214576 |   104251    96953     20 |  0.678 % |
393.63/393.62	c |    560426 |    7618    64524   214576 |    98782    86343     19 |  0.678 % |
395.73/395.80	c |    562904 |    7618    64524   214576 |    98782    88821     19 |  0.678 % |
397.93/397.99	c |    565629 |    7618    64524   214576 |    98782    91546     20 |  0.678 % |
400.33/400.32	c |    568626 |    7618    64524   214576 |    98782    94543     20 |  0.678 % |
403.13/403.19	c |    571922 |    7618    64524   214576 | 2147483647    97839     20 |  0.678 % |
406.33/406.33	c |    575547 |    7618    64524   214576 | 2147483647   101464     20 |  0.678 % |
410.53/410.54	c |    579534 |    7618    64524   214576 | 2147483647   105451     20 |  0.678 % |
415.23/415.29	c |    583920 |    7618    64524   214576 |   105917    94840     20 |  0.678 % |
420.93/420.94	c |    588745 |    7618    64524   214576 |   105917    99665     20 |  0.678 % |
425.03/425.06	c |    594050 |    7618    64524   214576 |   100921    90779     20 |  0.678 % |
425.13/425.19	c |    594150 |    7618    64524   214576 |   100921    90879     20 |  0.678 % |
425.33/425.34	c |    594262 |    7618    64524   214576 |   100921    90991     20 |  0.678 % |
425.43/425.47	c |    594383 |    7618    64524   214576 |   100921    91112     20 |  0.678 % |
425.53/425.59	c |    594517 |    7618    64524   214576 |   100921    91246     20 |  0.678 % |
425.74/425.76	c |    594664 |    7618    64524   214576 |   100921    91393     20 |  0.678 % |
425.93/425.99	c |    594824 |    7618    64524   214576 |   100921    91553     20 |  0.678 % |
426.13/426.12	c |    595000 |    7618    64524   214576 |   100921    91729     20 |  0.678 % |
426.33/426.35	c |    595194 |    7618    64524   214576 |   100921    91923     20 |  0.678 % |
426.53/426.58	c |    595406 |    7618    64524   214576 |   100921    92135     20 |  0.678 % |
426.73/426.75	c |    595640 |    7618    64524   214576 |   100921    92369     20 |  0.678 % |
427.03/427.04	c |    595896 |    7618    64524   214576 |   100921    92625     20 |  0.678 % |
427.23/427.24	c |    596177 |    7618    64524   214576 |   100921    92906     20 |  0.678 % |
427.53/427.56	c |    596486 |    7618    64524   214576 |   100921    93215     20 |  0.678 % |
427.83/427.89	c |    596825 |    7618    64524   214576 |   100921    93554     20 |  0.678 % |
428.23/428.23	c |    597198 |    7618    64524   214576 |   100921    93927     20 |  0.678 % |
428.53/428.51	c |    597608 |    7618    64524   214576 |   100921    94337     20 |  0.678 % |
428.93/428.98	c |    598057 |    7618    64524   214576 |   100921    94786     20 |  0.678 % |
429.53/429.58	c |    598551 |    7618    64524   214576 |   100921    95280     20 |  0.678 % |
430.23/430.25	c |    599095 |    7618    64524   214576 |   100921    95824     20 |  0.678 % |
430.83/430.84	c |    599691 |    7618    64524   214576 |   100921    96420     20 |  0.678 % |
431.33/431.32	c |    600347 |    7618    64524   214576 |    96729    97076     20 |  0.678 % |
432.23/432.26	c |    601067 |    7618    64524   214576 |    96729    87003     20 |  0.678 % |
432.93/432.98	c |    601859 |    7618    64524   214576 |    96729    87795     20 |  0.678 % |
433.73/433.76	c |    602731 |    7618    64524   214576 |    96729    88667     20 |  0.678 % |
434.54/434.56	c |    603689 |    7618    64524   214576 |    96729    89625     20 |  0.678 % |
435.43/435.44	c |    604743 |    7618    64524   214576 |    96729    90679     20 |  0.678 % |
436.33/436.40	c |    605901 |    7618    64524   214576 |    96729    91837     20 |  0.678 % |
438.03/438.06	c |    607175 |    7618    64524   214576 |    96729    93111     20 |  0.678 % |
439.23/439.25	c |    608576 |    7618    64524   214576 |    96729    94512     20 |  0.678 % |
440.63/440.66	c |    610116 |    7618    64524   214576 | 2147483647    96052     20 |  0.678 % |
441.63/441.62	c |    611810 |    7618    64524   214576 | 2147483647    97746     20 |  0.678 % |
443.03/443.07	c |    613674 |    7618    64524   214576 | 2147483647    99610     20 |  0.678 % |
445.43/445.44	c |    615723 |    7618    64524   214576 | 2147483647   101659     20 |  0.678 % |
447.83/447.90	c |    617976 |    7618    64524   214576 | 2147483647   103912     20 |  0.678 % |
450.03/450.03	c |    620455 |    7618    64524   214576 |   105937    93150     20 |  0.678 % |
452.03/452.11	c |    623180 |    7618    64524   214576 |   105937    95875     20 |  0.678 % |
454.73/454.78	c |    626177 |    7618    64524   214576 |   105937    98872     20 |  0.678 % |
457.53/457.57	c |    629473 |    7618    64524   214576 |   105937   102168     20 |  0.678 % |
460.53/460.53	c |    633100 |    7618    64524   214576 |   102695    94809     20 |  0.678 % |
463.93/463.98	c |    637088 |    7618    64524   214576 |   102695    98797     20 |  0.678 % |
468.84/468.87	c |    641473 |    7618    64524   214576 |   101712    91602     19 |  0.678 % |
473.14/473.18	c |    646296 |    7618    64524   214576 |   101712    96425     20 |  0.678 % |
478.33/478.35	c |    651601 |    7618    64524   214576 |   100130    90097     19 |  0.678 % |
483.43/483.45	c |    657436 |    7618    64524   214576 |   100130    95932     19 |  0.678 % |
483.53/483.52	c |    657536 |    7618    64524   214576 |   100130    96032     19 |  0.678 % |
483.63/483.66	c |    657647 |    7618    64524   214576 |   100130    96143     19 |  0.678 % |
483.73/483.74	c |    657769 |    7618    64524   214576 |   100130    96265     19 |  0.678 % |
483.83/483.87	c |    657902 |    7618    64524   214576 |   100130    96398     19 |  0.678 % |
484.03/484.04	c |    658048 |    7618    64524   214576 |   100130    96544     19 |  0.678 % |
484.23/484.24	c |    658208 |    7618    64524   214576 |   100130    96704     19 |  0.678 % |
484.43/484.47	c |    658384 |    7618    64524   214576 |   100130    96880     19 |  0.678 % |
484.63/484.69	c |    658583 |    7618    64524   214576 |   100130    97079     19 |  0.678 % |
485.03/485.03	c |    658796 |    7618    64524   214576 |   100130    97292     19 |  0.678 % |
485.33/485.32	c |    659029 |    7618    64524   214576 |   100130    97525     19 |  0.678 % |
485.53/485.52	c |    659285 |    7618    64524   214576 |   100130    97781     19 |  0.678 % |
485.73/485.73	c |    659568 |    7618    64524   214576 |   100130    98064     19 |  0.678 % |
486.03/486.09	c |    659877 |    7618    64524   214576 |   100130    98373     19 |  0.678 % |
486.43/486.42	c |    660217 |    7618    64524   214576 |    98499    98713     19 |  0.678 % |
486.83/486.90	c |    660591 |    7618    64524   214576 |    98499    86658     19 |  0.678 % |
487.23/487.29	c |    661000 |    7618    64524   214576 |    98499    87067     19 |  0.678 % |
487.73/487.72	c |    661451 |    7618    64524   214576 |    98499    87518     19 |  0.678 % |
488.13/488.13	c |    661945 |    7618    64524   214576 |    98499    88012     19 |  0.678 % |
488.53/488.56	c |    662488 |    7618    64524   214576 |    98499    88555     19 |  0.678 % |
489.33/489.38	c |    663084 |    7618    64524   214576 |    98499    89151     19 |  0.678 % |
490.03/490.01	c |    663741 |    7618    64524   214576 |    98499    89808     19 |  0.678 % |
490.73/490.72	c |    664462 |    7618    64524   214576 |    98499    90529     19 |  0.678 % |
491.33/491.31	c |    665254 |    7618    64524   214576 |    98499    91321     19 |  0.678 % |
491.93/491.95	c |    666127 |    7618    64524   214576 |    98499    92194     19 |  0.678 % |
492.73/492.77	c |    667085 |    7618    64524   214576 |    98499    93152     19 |  0.678 % |
493.73/493.72	c |    668141 |    7618    64524   214576 |    98499    94208     19 |  0.678 % |
495.23/495.24	c |    669300 |    7618    64524   214576 |    98499    95367     19 |  0.678 % |
496.73/496.77	c |    670573 |    7618    64524   214576 |    96068    85224     19 |  0.678 % |
497.73/497.74	c |    671973 |    7618    64524   214576 |    96068    86624     19 |  0.678 % |
499.23/499.25	c |    673513 |    7618    64524   214576 |    96068    88164     19 |  0.678 % |
501.03/501.06	c |    675208 |    7618    64524   214576 |    96068    89859     19 |  0.678 % |
502.63/502.68	c |    677073 |    7618    64524   214576 |    96068    91724     19 |  0.678 % |
505.13/505.12	c |    679122 |    7618    64524   214576 |    96068    93773     19 |  0.678 % |
507.33/507.39	c |    681376 |    7618    64524   214576 |    94651    83263     19 |  0.678 % |
509.93/509.92	c |    683855 |    7618    64524   214576 |    94651    85742     19 |  0.678 % |
512.23/512.25	c |    686580 |    7618    64524   214576 |    94651    88467     19 |  0.678 % |
515.03/515.09	c |    689577 |    7618    64524   214576 |    94651    91464     19 |  0.678 % |
517.83/517.85	c |    692874 |    7618    64524   214576 |    91887    84067     19 |  0.678 % |
520.53/520.60	c |    696502 |    7618    64524   214576 |    91887    87695     19 |  0.678 % |
524.23/524.24	c |    700489 |    7618    64524   214576 | 2147483647    91682     19 |  0.678 % |
528.13/528.20	c |    704874 |    7618    64524   214576 | 2147483647    96067     19 |  0.678 % |
533.33/533.34	c |    709697 |    7617    64521   214570 | 2147483647   100889     19 |  0.691 % |
538.13/538.17	c |    715002 |    7617    64521   214570 |   101194    94540     19 |  0.717 % |
544.83/544.89	c |    720838 |    7615    64496   214510 |    99539    87593     18 |  0.717 % |
550.33/550.34	c |    727256 |    7615    64496   214510 |    99539    94011     18 |  0.717 % |
550.43/550.43	c |    727358 |    7615    64496   214510 |    99539    94113     18 |  0.717 % |
550.53/550.53	c |    727468 |    7615    64496   214510 |    99539    94223     18 |  0.717 % |
550.63/550.63	c |    727589 |    7615    64496   214510 |    99539    94344     18 |  0.717 % |
550.73/550.72	c |    727722 |    7615    64496   214510 |    99539    94477     18 |  0.717 % |
550.83/550.82	c |    727869 |    7615    64496   214510 |    99539    94624     18 |  0.717 % |
550.93/550.93	c |    728029 |    7615    64496   214510 |    99539    94784     18 |  0.717 % |
551.03/551.09	c |    728206 |    7615    64496   214510 |    99539    94961     18 |  0.717 % |
551.23/551.25	c |    728399 |    7615    64496   214510 |    99539    95154     18 |  0.717 % |
551.43/551.43	c |    728612 |    7615    64496   214510 |    99539    95367     18 |  0.717 % |
551.63/551.61	c |    728846 |    7615    64496   214510 |    99539    95601     18 |  0.717 % |
551.83/551.89	c |    729104 |    7615    64496   214510 |    99539    95859     18 |  0.717 % |
552.13/552.13	c |    729386 |    7615    64496   214510 |    99539    96141     18 |  0.717 % |
552.24/552.26	c |    729695 |    7615    64496   214510 |    99539    96450     18 |  0.717 % |
552.53/552.57	c |    730035 |    7615    64496   214510 |    96755    96790     18 |  0.717 % |
553.23/553.28	c |    730407 |    7615    64496   214510 |    96755    86808     18 |  0.717 % |
553.53/553.56	c |    730817 |    7615    64496   214510 |    96755    87218     18 |  0.717 % |
553.83/553.84	c |    731267 |    7615    64496   214510 |    96755    87668     18 |  0.717 % |
554.13/554.17	c |    731760 |    7615    64496   214510 |    96755    88161     18 |  0.717 % |
554.53/554.51	c |    732302 |    7615    64496   214510 |    96755    88703     18 |  0.717 % |
554.93/554.99	c |    732898 |    7615    64496   214510 |    96755    89299     18 |  0.717 % |
555.54/555.52	c |    733555 |    7615    64496   214510 |    96755    89956     18 |  0.717 % |
556.03/556.10	c |    734275 |    7615    64496   214510 |    96755    90676     18 |  0.717 % |
556.83/556.83	c |    735069 |    7615    64496   214510 |    96755    91470     18 |  0.717 % |
557.53/557.55	c |    735941 |    7615    64496   214510 |    96755    92342     18 |  0.717 % |
558.13/558.17	c |    736900 |    7615    64496   214510 |    96755    93301     18 |  0.717 % |
559.03/559.10	c |    737955 |    7615    64496   214510 |    96755    94356     18 |  0.717 % |
560.23/560.22	c |    739113 |    7615    64496   214510 |    96755    95514     18 |  0.717 % |
561.04/561.09	c |    740386 |    7615    64496   214510 | 2147483647    96787     18 |  0.717 % |
563.24/563.26	c |    741787 |    7612    64094   212257 | 2147483647    22767     11 |  0.756 % |
563.43/563.50	c |    743328 |    7612    64094   212257 | 2147483647    24308     11 |  0.756 % |
563.83/563.82	c |    745023 |    7612    64094   212257 | 2147483647    26003     12 |  0.756 % |
564.13/564.13	c |    746886 |    7612    64094   212257 | 2147483647    27866     12 |  0.756 % |
564.53/564.54	c |    748935 |    7612    64094   212257 | 2147483647    29915     12 |  0.756 % |
565.13/565.11	c |    751189 |    7609    63936   211767 | 2147483647    30124     12 |  0.795 % |
565.23/565.23	c ===============================================================================
565.23/565.23	c restarts              : 1071
565.23/565.23	c conflicts             : 751664         (1333 /sec)
565.23/565.23	c decisions             : 1083465        (1.80 % random) (1921 /sec)
565.23/565.23	c propagations          : 175395846      (310958 /sec)
565.23/565.23	c conflict literals     : 16641316       (36.88 % deleted)
565.23/565.23	c Memory used           : 20.68 MB
565.23/565.23	c CPU time              : 564.05 s
565.23/565.23	c 
565.23/565.23	s UNSATISFIABLE
565.23/565.24	s UNSATISFIABLE

Verifier Data

No possible verification on an UNSAT instance

Watcher Data

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

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

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


[startup+0 s]
/proc/loadavg: 1.09 1.04 1.01 3/96 15591
/proc/meminfo: memFree=941392/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2416 CPUtime=0
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 367 648 0 0 0 0 0 0 20 0 1 0 1016837205 2473984 277 4294967295 134512640 135169312 3214740768 3214739304 3085000430 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/15591/statm: 604 277 235 161 0 43 0
[pid=15595] ppid=15591 vsize=952 CPUtime=0
/proc/15595/stat : 15595 (SatELite_releas) R 15591 15591 11066 0 -1 4202496 126 0 0 0 0 0 0 0 18 0 1 0 1016837206 974848 62 4294967295 134512640 135223648 3214605552 3214604148 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15595/statm: 238 63 47 174 0 63 0

[startup+0.029789 s]
/proc/loadavg: 1.09 1.04 1.01 3/96 15591
/proc/meminfo: memFree=941392/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2416 CPUtime=0
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 367 648 0 0 0 0 0 0 20 0 1 0 1016837205 2473984 277 4294967295 134512640 135169312 3214740768 3214739304 3085000430 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/15591/statm: 604 277 235 161 0 43 0
[pid=15595] ppid=15591 vsize=4572 CPUtime=0.03
/proc/15595/stat : 15595 (SatELite_releas) R 15591 15591 11066 0 -1 4202496 877 0 0 0 3 0 0 0 18 0 1 0 1016837206 4681728 813 4294967295 134512640 135223648 3214605552 3214604504 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15595/statm: 1143 813 47 174 0 968 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 6988

[startup+0.119783 s]
/proc/loadavg: 1.09 1.04 1.01 3/96 15591
/proc/meminfo: memFree=941392/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2416 CPUtime=0
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 367 648 0 0 0 0 0 0 20 0 1 0 1016837205 2473984 277 4294967295 134512640 135169312 3214740768 3214739304 3085000430 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/15591/statm: 604 277 235 161 0 43 0
[pid=15595] ppid=15591 vsize=13784 CPUtime=0.12
/proc/15595/stat : 15595 (SatELite_releas) R 15591 15591 11066 0 -1 4202496 3191 0 0 0 11 1 0 0 18 0 1 0 1016837206 14114816 3127 4294967295 134512640 135223648 3214605552 3214604504 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15595/statm: 3446 3128 47 174 0 3271 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 16200

[startup+0.319771 s]
/proc/loadavg: 1.09 1.04 1.01 3/96 15591
/proc/meminfo: memFree=941392/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2416 CPUtime=0
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 367 648 0 0 0 0 0 0 20 0 1 0 1016837205 2473984 277 4294967295 134512640 135169312 3214740768 3214739304 3085000430 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/15591/statm: 604 277 235 161 0 43 0
[pid=15595] ppid=15591 vsize=18560 CPUtime=0.32
/proc/15595/stat : 15595 (SatELite_releas) R 15591 15591 11066 0 -1 4202496 4326 0 0 0 31 1 0 0 18 0 1 0 1016837206 19005440 4262 4294967295 134512640 135223648 3214605552 3214603632 134548337 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15595/statm: 4640 4262 72 174 0 4465 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 20976

[startup+0.71975 s]
/proc/loadavg: 1.09 1.04 1.01 3/96 15591
/proc/meminfo: memFree=941392/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2416 CPUtime=0
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 367 648 0 0 0 0 0 0 20 0 1 0 1016837205 2473984 277 4294967295 134512640 135169312 3214740768 3214739304 3085000430 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/15591/statm: 604 277 235 161 0 43 0
[pid=15595] ppid=15591 vsize=18768 CPUtime=0.72
/proc/15595/stat : 15595 (SatELite_releas) R 15591 15591 11066 0 -1 4202496 4762 0 0 0 70 2 0 0 18 0 1 0 1016837206 19218432 4338 4294967295 134512640 135223648 3214605552 3214603568 134586808 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15595/statm: 4692 4339 73 174 0 4517 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 21184

[startup+1.51972 s]
/proc/loadavg: 1.09 1.04 1.01 2/98 15596
/proc/meminfo: memFree=921924/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2420 CPUtime=1.14
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 387 5781 0 0 0 0 112 2 18 0 1 0 1016837205 2478080 278 4294967295 134512640 135169312 3214740768 3214736984 3085000430 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15591/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 2420

[startup+3.11962 s]
/proc/loadavg: 1.09 1.04 1.01 2/98 15597
/proc/meminfo: memFree=932960/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2420 CPUtime=1.14
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 387 5781 0 0 0 0 112 2 18 0 1 0 1016837205 2478080 278 4294967295 134512640 135169312 3214740768 3214736984 3085000430 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15591/statm: 605 278 235 161 0 44 0
[pid=15597] ppid=15591 vsize=7352 CPUtime=1.97
/proc/15597/stat : 15597 (minisat_static) R 15591 15591 11066 0 -1 4202496 1747 0 0 0 196 1 0 0 25 0 1 0 1016837320 7528448 1682 4294967295 134512640 135215339 3219403232 3219401520 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15597/statm: 1838 1682 73 172 0 1665 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 9772

[startup+6.31944 s]
/proc/loadavg: 1.08 1.04 1.01 2/98 15597
/proc/meminfo: memFree=930636/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2420 CPUtime=1.14
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 387 5781 0 0 0 0 112 2 18 0 1 0 1016837205 2478080 278 4294967295 134512640 135169312 3214740768 3214736984 3085000430 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15591/statm: 605 278 235 161 0 44 0
[pid=15597] ppid=15591 vsize=8836 CPUtime=5.17
/proc/15597/stat : 15597 (minisat_static) R 15591 15591 11066 0 -1 4202496 2100 0 0 0 516 1 0 0 25 0 1 0 1016837320 9048064 2035 4294967295 134512640 135215339 3219403232 3219401520 134528624 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15597/statm: 2209 2035 73 172 0 2036 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 11256

[startup+12.7191 s]
/proc/loadavg: 1.07 1.04 1.01 2/98 15598
/proc/meminfo: memFree=928244/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2420 CPUtime=1.14
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 387 5781 0 0 0 0 112 2 18 0 1 0 1016837205 2478080 278 4294967295 134512640 135169312 3214740768 3214736984 3085000430 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15591/statm: 605 278 235 161 0 44 0
[pid=15597] ppid=15591 vsize=11160 CPUtime=11.57
/proc/15597/stat : 15597 (minisat_static) R 15591 15591 11066 0 -1 4202496 2704 0 0 0 1156 1 0 0 25 0 1 0 1016837320 11427840 2639 4294967295 134512640 135215339 3219403232 3219401520 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15597/statm: 2790 2639 73 172 0 2617 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 13580

[startup+25.5184 s]
/proc/loadavg: 1.06 1.04 1.00 2/98 15600
/proc/meminfo: memFree=925364/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2420 CPUtime=1.14
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 387 5781 0 0 0 0 112 2 18 0 1 0 1016837205 2478080 278 4294967295 134512640 135169312 3214740768 3214736984 3085000430 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15591/statm: 605 278 235 161 0 44 0
[pid=15597] ppid=15591 vsize=14196 CPUtime=24.37
/proc/15597/stat : 15597 (minisat_static) R 15591 15591 11066 0 -1 4202496 3434 0 0 0 2434 3 0 0 25 0 1 0 1016837320 14536704 3369 4294967295 134512640 135215339 3219403232 3219401520 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15597/statm: 3549 3369 73 172 0 3376 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 16616

[startup+51.117 s]
/proc/loadavg: 1.04 1.03 1.00 2/98 15600
/proc/meminfo: memFree=923976/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2420 CPUtime=1.14
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 387 5781 0 0 0 0 112 2 18 0 1 0 1016837205 2478080 278 4294967295 134512640 135169312 3214740768 3214736984 3085000430 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15591/statm: 605 278 235 161 0 44 0
[pid=15597] ppid=15591 vsize=15472 CPUtime=49.97
/proc/15597/stat : 15597 (minisat_static) R 15591 15591 11066 0 -1 4202496 3741 0 0 0 4994 3 0 0 25 0 1 0 1016837320 15843328 3676 4294967295 134512640 135215339 3219403232 3219401520 134528849 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15597/statm: 3868 3676 73 172 0 3695 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 17892

[startup+102.324 s]
/proc/loadavg: 1.01 1.03 1.00 2/98 15789
/proc/meminfo: memFree=920636/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2420 CPUtime=1.14
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 387 5781 0 0 0 0 112 2 18 0 1 0 1016837205 2478080 278 4294967295 134512640 135169312 3214740768 3214736984 3085000430 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15591/statm: 605 278 235 161 0 44 0
[pid=15597] ppid=15591 vsize=18984 CPUtime=101.18
/proc/15597/stat : 15597 (minisat_static) R 15591 15591 11066 0 -1 4202496 4610 0 0 0 10115 3 0 0 25 0 1 0 1016837320 19439616 4545 4294967295 134512640 135215339 3219403232 3219401520 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15597/statm: 4746 4545 73 172 0 4573 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 21404

[startup+162.311 s]
/proc/loadavg: 1.00 1.02 1.00 2/98 15976
/proc/meminfo: memFree=920156/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2420 CPUtime=1.14
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 387 5781 0 0 0 0 112 2 18 0 1 0 1016837205 2478080 278 4294967295 134512640 135169312 3214740768 3214736984 3085000430 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15591/statm: 605 278 235 161 0 44 0
[pid=15597] ppid=15591 vsize=19408 CPUtime=161.17
/proc/15597/stat : 15597 (minisat_static) R 15591 15591 11066 0 -1 4202496 4699 0 0 0 16112 5 0 0 25 0 1 0 1016837320 19873792 4634 4294967295 134512640 135215339 3219403232 3219401520 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15597/statm: 4852 4634 73 172 0 4679 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 21828

[startup+222.317 s]
/proc/loadavg: 1.00 1.01 1.00 2/98 16164
/proc/meminfo: memFree=919280/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2420 CPUtime=1.14
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 387 5781 0 0 0 0 112 2 18 0 1 0 1016837205 2478080 278 4294967295 134512640 135169312 3214740768 3214736984 3085000430 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15591/statm: 605 278 235 161 0 44 0
[pid=15597] ppid=15591 vsize=20256 CPUtime=221.18
/proc/15597/stat : 15597 (minisat_static) R 15591 15591 11066 0 -1 4202496 4908 0 0 0 22113 5 0 0 25 0 1 0 1016837320 20742144 4843 4294967295 134512640 135215339 3219403232 3219401520 134528802 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15597/statm: 5064 4843 73 172 0 4891 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 22676

[startup+282.314 s]
/proc/loadavg: 1.00 1.01 1.00 2/98 16354
/proc/meminfo: memFree=919024/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2420 CPUtime=1.14
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 387 5781 0 0 0 0 112 2 18 0 1 0 1016837205 2478080 278 4294967295 134512640 135169312 3214740768 3214736984 3085000430 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15591/statm: 605 278 235 161 0 44 0
[pid=15597] ppid=15591 vsize=20420 CPUtime=281.18
/proc/15597/stat : 15597 (minisat_static) R 15591 15591 11066 0 -1 4202496 4957 0 0 0 28113 5 0 0 25 0 1 0 1016837320 20910080 4892 4294967295 134512640 135215339 3219403232 3219401520 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15597/statm: 5105 4892 73 172 0 4932 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 22840

[startup+342.321 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 16545
/proc/meminfo: memFree=918528/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2420 CPUtime=1.14
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 387 5781 0 0 0 0 112 2 18 0 1 0 1016837205 2478080 278 4294967295 134512640 135169312 3214740768 3214736984 3085000430 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15591/statm: 605 278 235 161 0 44 0
[pid=15597] ppid=15591 vsize=20744 CPUtime=341.19
/proc/15597/stat : 15597 (minisat_static) R 15591 15591 11066 0 -1 4202496 5026 0 0 0 34114 5 0 0 25 0 1 0 1016837320 21241856 4961 4294967295 134512640 135215339 3219403232 3219401520 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15597/statm: 5186 4961 73 172 0 5013 0
Current children cumulated CPU time (s) 342.33
Current children cumulated vsize (KiB) 23164

[startup+402.317 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 16734
/proc/meminfo: memFree=918404/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2420 CPUtime=1.14
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 387 5781 0 0 0 0 112 2 18 0 1 0 1016837205 2478080 278 4294967295 134512640 135169312 3214740768 3214736984 3085000430 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15591/statm: 605 278 235 161 0 44 0
[pid=15597] ppid=15591 vsize=21032 CPUtime=401.19
/proc/15597/stat : 15597 (minisat_static) R 15591 15591 11066 0 -1 4202496 5076 0 0 0 40114 5 0 0 25 0 1 0 1016837320 21536768 5011 4294967295 134512640 135215339 3219403232 3219401520 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15597/statm: 5258 5011 73 172 0 5085 0
Current children cumulated CPU time (s) 402.33
Current children cumulated vsize (KiB) 23452

[startup+462.314 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 16921
/proc/meminfo: memFree=918280/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2420 CPUtime=1.14
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 387 5781 0 0 0 0 112 2 18 0 1 0 1016837205 2478080 278 4294967295 134512640 135169312 3214740768 3214736984 3085000430 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15591/statm: 605 278 235 161 0 44 0
[pid=15597] ppid=15591 vsize=21032 CPUtime=461.19
/proc/15597/stat : 15597 (minisat_static) R 15591 15591 11066 0 -1 4202496 5102 0 0 0 46113 6 0 0 25 0 1 0 1016837320 21536768 5037 4294967295 134512640 135215339 3219403232 3219401520 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15597/statm: 5258 5037 73 172 0 5085 0
Current children cumulated CPU time (s) 462.33
Current children cumulated vsize (KiB) 23452

[startup+522.311 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 17109
/proc/meminfo: memFree=918304/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2420 CPUtime=1.14
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 387 5781 0 0 0 0 112 2 18 0 1 0 1016837205 2478080 278 4294967295 134512640 135169312 3214740768 3214736984 3085000430 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15591/statm: 605 278 235 161 0 44 0
[pid=15597] ppid=15591 vsize=21032 CPUtime=521.19
/proc/15597/stat : 15597 (minisat_static) R 15591 15591 11066 0 -1 4202496 5103 0 0 0 52113 6 0 0 25 0 1 0 1016837320 21536768 5038 4294967295 134512640 135215339 3219403232 3219401520 134528726 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15597/statm: 5258 5038 73 172 0 5085 0
Current children cumulated CPU time (s) 522.33
Current children cumulated vsize (KiB) 23452

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

[startup+537.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 17110
/proc/meminfo: memFree=918304/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2420 CPUtime=1.14
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 387 5781 0 0 0 0 112 2 18 0 1 0 1016837205 2478080 278 4294967295 134512640 135169312 3214740768 3214736984 3085000430 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15591/statm: 605 278 235 161 0 44 0
[pid=15597] ppid=15591 vsize=21032 CPUtime=536.39
/proc/15597/stat : 15597 (minisat_static) R 15591 15591 11066 0 -1 4202496 5103 0 0 0 53633 6 0 0 25 0 1 0 1016837320 21536768 5038 4294967295 134512640 135215339 3219403232 3219401520 134528858 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15597/statm: 5258 5038 73 172 0 5085 0
Current children cumulated CPU time (s) 537.53
Current children cumulated vsize (KiB) 23452

[startup+550.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 17295
/proc/meminfo: memFree=917928/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2420 CPUtime=1.14
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 387 5781 0 0 0 0 112 2 18 0 1 0 1016837205 2478080 278 4294967295 134512640 135169312 3214740768 3214736984 3085000430 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15591/statm: 605 278 235 161 0 44 0
[pid=15597] ppid=15591 vsize=21172 CPUtime=549.19
/proc/15597/stat : 15597 (minisat_static) R 15591 15591 11066 0 -1 4202496 5135 0 0 0 54913 6 0 0 25 0 1 0 1016837320 21680128 5070 4294967295 134512640 135215339 3219403232 3219401520 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15597/statm: 5293 5070 73 172 0 5120 0
Current children cumulated CPU time (s) 550.33
Current children cumulated vsize (KiB) 23592

[startup+556.709 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 17295
/proc/meminfo: memFree=918116/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2420 CPUtime=1.14
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 387 5781 0 0 0 0 112 2 18 0 1 0 1016837205 2478080 278 4294967295 134512640 135169312 3214740768 3214736984 3085000430 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15591/statm: 605 278 235 161 0 44 0
[pid=15597] ppid=15591 vsize=21172 CPUtime=555.59
/proc/15597/stat : 15597 (minisat_static) R 15591 15591 11066 0 -1 4202496 5138 0 0 0 55553 6 0 0 25 0 1 0 1016837320 21680128 5073 4294967295 134512640 135215339 3219403232 3219401520 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15597/statm: 5293 5073 73 172 0 5120 0
Current children cumulated CPU time (s) 556.73
Current children cumulated vsize (KiB) 23592

[startup+559.919 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 17295
/proc/meminfo: memFree=918148/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2420 CPUtime=1.14
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 387 5781 0 0 0 0 112 2 18 0 1 0 1016837205 2478080 278 4294967295 134512640 135169312 3214740768 3214736984 3085000430 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15591/statm: 605 278 235 161 0 44 0
[pid=15597] ppid=15591 vsize=21172 CPUtime=558.8
/proc/15597/stat : 15597 (minisat_static) R 15591 15591 11066 0 -1 4202496 5138 0 0 0 55874 6 0 0 25 0 1 0 1016837320 21680128 5073 4294967295 134512640 135215339 3219403232 3219401520 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15597/statm: 5293 5073 73 172 0 5120 0
Current children cumulated CPU time (s) 559.94
Current children cumulated vsize (KiB) 23592

[startup+563.109 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 17295
/proc/meminfo: memFree=918180/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2420 CPUtime=1.14
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 387 5781 0 0 0 0 112 2 18 0 1 0 1016837205 2478080 278 4294967295 134512640 135169312 3214740768 3214736984 3085000430 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15591/statm: 605 278 235 161 0 44 0
[pid=15597] ppid=15591 vsize=21172 CPUtime=561.99
/proc/15597/stat : 15597 (minisat_static) R 15591 15591 11066 0 -1 4202496 5138 0 0 0 56193 6 0 0 25 0 1 0 1016837320 21680128 5073 4294967295 134512640 135215339 3219403232 3219401440 134526030 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15597/statm: 5293 5073 73 172 0 5120 0
Current children cumulated CPU time (s) 563.13
Current children cumulated vsize (KiB) 23592

[startup+563.909 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 17295
/proc/meminfo: memFree=918180/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2420 CPUtime=1.14
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 387 5781 0 0 0 0 112 2 18 0 1 0 1016837205 2478080 278 4294967295 134512640 135169312 3214740768 3214736984 3085000430 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15591/statm: 605 278 235 161 0 44 0
[pid=15597] ppid=15591 vsize=21172 CPUtime=562.79
/proc/15597/stat : 15597 (minisat_static) R 15591 15591 11066 0 -1 4202496 5138 0 0 0 56273 6 0 0 25 0 1 0 1016837320 21680128 5073 4294967295 134512640 135215339 3219403232 3219401520 134528691 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15597/statm: 5293 5073 73 172 0 5120 0
Current children cumulated CPU time (s) 563.93
Current children cumulated vsize (KiB) 23592

[startup+564.708 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 17295
/proc/meminfo: memFree=918180/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2420 CPUtime=1.14
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 387 5781 0 0 0 0 112 2 18 0 1 0 1016837205 2478080 278 4294967295 134512640 135169312 3214740768 3214736984 3085000430 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15591/statm: 605 278 235 161 0 44 0
[pid=15597] ppid=15591 vsize=21172 CPUtime=563.59
/proc/15597/stat : 15597 (minisat_static) R 15591 15591 11066 0 -1 4202496 5138 0 0 0 56353 6 0 0 25 0 1 0 1016837320 21680128 5073 4294967295 134512640 135215339 3219403232 3219401520 134528734 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15597/statm: 5293 5073 73 172 0 5120 0
Current children cumulated CPU time (s) 564.73
Current children cumulated vsize (KiB) 23592

[startup+565.108 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 17295
/proc/meminfo: memFree=918180/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2420 CPUtime=1.14
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 387 5781 0 0 0 0 112 2 18 0 1 0 1016837205 2478080 278 4294967295 134512640 135169312 3214740768 3214736984 3085000430 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15591/statm: 605 278 235 161 0 44 0
[pid=15597] ppid=15591 vsize=21172 CPUtime=563.99
/proc/15597/stat : 15597 (minisat_static) R 15591 15591 11066 0 -1 4202496 5138 0 0 0 56393 6 0 0 25 0 1 0 1016837320 21680128 5073 4294967295 134512640 135215339 3219403232 3219401520 134528700 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15597/statm: 5293 5073 73 172 0 5120 0
Current children cumulated CPU time (s) 565.13
Current children cumulated vsize (KiB) 23592

[startup+565.208 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 17295
/proc/meminfo: memFree=918180/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2420 CPUtime=1.14
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 387 5781 0 0 0 0 112 2 18 0 1 0 1016837205 2478080 278 4294967295 134512640 135169312 3214740768 3214736984 3085000430 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15591/statm: 605 278 235 161 0 44 0
[pid=15597] ppid=15591 vsize=21172 CPUtime=564.09
/proc/15597/stat : 15597 (minisat_static) R 15591 15591 11066 0 -1 4202496 5138 0 0 0 56403 6 0 0 25 0 1 0 1016837320 21680128 5073 4294967295 134512640 135215339 3219403232 3219401296 134538543 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15597/statm: 5293 5073 73 172 0 5120 0
Current children cumulated CPU time (s) 565.23
Current children cumulated vsize (KiB) 23592

Child status: 20
Real time (s): 565.244
CPU time (s): 565.26
CPU user time (s): 565.18
CPU system time (s): 0.08
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 23800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 565.18
system time used= 0.08
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11585
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= 24
involuntary context switches= 304

runsolver used 0.03 second user time and 0.02 second system time

The end

Launcher Data

Begin job on tipi23 at 2009-05-17 03:23:09
IDJOB=1821394
IDBENCH=70949
IDSOLVER=657
FILE ID=tipi23/1821394-1242523389
PBS_JOBID=
Free space on /tmp= 8811 MiB

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

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

MD5SUM BENCH= 94aa7bdbcbe99c5b3082c395dc2384e9
RANDOM SEED= 1442154151

Linux tipi23 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.377
cache size	: 1024 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3618.38

processor	: 1
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.377
cache size	: 1024 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.78

processor	: 2
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.377
cache size	: 1024 KB
physical id	: 1
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.79

processor	: 3
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.377
cache size	: 1024 KB
physical id	: 1
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.78


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:        941516 kB
Buffers:         34096 kB
Cached:         997244 kB
SwapCached:       3660 kB
Active:         478924 kB
Inactive:       564164 kB
HighTotal:     1178688 kB
HighFree:       304972 kB
LowTotal:       895776 kB
LowFree:        636544 kB
SwapTotal:     1959888 kB
SwapFree:      1950760 kB
Dirty:            4820 kB
Writeback:           0 kB
AnonPages:       10928 kB
Mapped:           4472 kB
Slab:            81696 kB
PageTables:        568 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    96888 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 8811 MiB
End job on tipi23 at 2009-05-17 03:32:35