Trace number 1821406

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 1200.01 1199.94

General information on the benchmark

NameAPPLICATIONS/c32sat/
post-cbmc-aes-d-r2-noholes.cnf
MD5SUM17bffac3a21734cf7ff7fa9ecba23d9d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1018.73
Satisfiable
(Un)Satisfiability was proved
Number of variables276895
Number of clauses1607567
Sum of the clauses size4321960
Maximum clause length184
Minimum clause length1
Number of clauses of size 140271
Number of clauses of size 21154041
Number of clauses of size 3332345
Number of clauses of size 410685
Number of clauses of size 50
Number of clauses of size over 570225

Solver Data

0.00/0.00	c Parsing...
1.22/1.29	c ==============================================================================
1.22/1.29	c |           |     ORIGINAL     |              LEARNT              |          |
1.22/1.29	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
1.22/1.29	c ==============================================================================
1.22/1.29	c |         0 | 1356467  3708070 |  406940       0        0     nan |  0.000 % |
46.62/46.70	c |         0 |  255997  1816599 |      --       0       --      -- |     --   | -768336/-956869
46.72/46.71	c ==============================================================================
46.72/46.71	c Result  :   #vars: 4925   #clauses: 255997   #literals: 1816599
46.72/46.71	c CPU time:   46.43 s
46.72/46.71	c ==============================================================================
47.32/47.34	c This is MiniSat 2.0 beta
47.32/47.34	c WARNING: for repeatability, setting FPU to use double precision
47.32/47.34	c ============================[ Problem Statistics ]=============================
47.32/47.34	c |                                                                             |
47.32/47.34	c |  Number of variables:  4925                                                 |
47.32/47.34	c |  Number of clauses:    255997                                               |
47.34/47.58	c |  Parsing time:         0.20         s                                       |
47.34/47.61	c ============================[ Search Statistics ]==============================
47.34/47.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
47.34/47.61	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
47.34/47.61	c ===============================================================================
47.34/47.61	c |         0 |    4925   255997  1816599 |    85332        0    nan |  0.000 % |
47.34/47.64	c |       101 |    4908   255997  1816599 |    85332       84      7 |  0.345 % |
47.34/47.65	c |       201 |    4908   255997  1816599 |    85332      184      7 |  0.345 % |
47.34/47.66	c |       301 |    4908   255997  1816599 |    85332      284      8 |  0.345 % |
47.34/47.68	c |       413 |    4908   255997  1816599 |    85332      396      9 |  0.345 % |
47.34/47.70	c |       514 |    4908   255997  1816599 |    85332      497      9 |  0.345 % |
47.34/47.74	c |       624 |    4908   255997  1816599 |    85332      607      8 |  0.345 % |
47.34/47.75	c |       745 |    4908   255997  1816599 |    85332      728      9 |  0.345 % |
47.34/47.78	c |       845 |    4908   255997  1816599 |    85332      828      9 |  0.345 % |
47.34/47.81	c |       955 |    4908   255997  1816599 |    85332      938      9 |  0.345 % |
47.34/47.85	c |      1076 |    4908   255997  1816599 |    85332     1059      9 |  0.345 % |
47.34/47.89	c |      1210 |    4908   255997  1816599 |    85332     1193      9 |  0.345 % |
47.34/47.93	c |      1310 |    4908   255997  1816599 |    85332     1293      9 |  0.345 % |
47.34/47.95	c |      1421 |    4908   255997  1816599 |    85332     1404      9 |  0.345 % |
47.34/47.97	c |      1542 |    4908   255997  1816599 |    85332     1525      9 |  0.345 % |
47.34/47.99	c |      1675 |    4908   255997  1816599 |    85332     1658      9 |  0.345 % |
47.34/48.10	c |      1821 |    4907   255997  1816599 |    85332     1803      9 |  0.365 % |
47.34/48.13	c |      1921 |    4907   255997  1816599 |    85332     1903      9 |  0.365 % |
47.34/48.15	c |      2031 |    4907   255997  1816599 |    85332     2012      9 |  0.386 % |
47.34/48.20	c |      2152 |    4902   255997  1816599 |    85332     2129      9 |  0.467 % |
47.34/48.22	c |      2285 |    4902   255997  1816599 |    85332     2262      9 |  0.467 % |
47.34/48.25	c |      2433 |    4902   255997  1816599 |    85332     2410      9 |  0.467 % |
47.34/48.29	c |      2594 |    4902   255997  1816599 |    85332     2571      9 |  0.467 % |
48.32/48.34	c |      2695 |    4902   255997  1816599 |    85332     2672      9 |  0.467 % |
48.32/48.36	c |      2806 |    4902   255997  1816599 |    85332     2783      9 |  0.467 % |
48.32/48.37	c |      2927 |    4902   255997  1816599 |    85332     2904     10 |  0.467 % |
48.32/48.41	c |      3061 |    4902   255997  1816599 |    85332     3038     10 |  0.467 % |
48.42/48.44	c |      3208 |    4902   255997  1816599 |    85332     3185     10 |  0.467 % |
48.42/48.50	c |      3370 |    4902   255997  1816599 |    85332     3347     10 |  0.467 % |
48.52/48.53	c |      3547 |    4902   255997  1816599 |    85332     3524     10 |  0.467 % |
48.52/48.54	c |      3648 |    4902   255997  1816599 |    85332     3625     10 |  0.467 % |
48.52/48.59	c |      3759 |    4902   255997  1816599 |    85332     3736     10 |  0.467 % |
48.62/48.61	c |      3881 |    4901   255997  1816599 |    85332     3857     10 |  0.487 % |
48.62/48.65	c |      4014 |    4901   255997  1816599 |    85332     3990     10 |  0.487 % |
48.62/48.67	c |      4160 |    4901   255997  1816599 |    85332     4136     10 |  0.487 % |
48.62/48.68	c |      4320 |    4900   255997  1816599 |    85332     4295     10 |  0.508 % |
48.62/48.70	c |      4497 |    4900   255997  1816599 |    85332     4472     10 |  0.508 % |
48.72/48.77	c |      4690 |    4899   255997  1816599 |    85332     4664     10 |  0.528 % |
48.72/48.79	c |      4790 |    4898   255997  1816599 |    85332     4763     11 |  0.548 % |
48.82/48.82	c |      4900 |    4898   255997  1816599 |    85332     4873     11 |  0.548 % |
48.82/48.83	c |      5022 |    4898   255997  1816599 |    85332     4995     11 |  0.548 % |
48.82/48.86	c |      5155 |    4898   255997  1816599 |    85332     5128     11 |  0.548 % |
48.82/48.88	c |      5302 |    4898   255997  1816599 |    85332     5275     11 |  0.548 % |
48.92/48.93	c |      5462 |    4898   255997  1816599 |    85332     5435     11 |  0.548 % |
48.92/48.95	c |      5638 |    4898   255997  1816599 |    85332     5611     11 |  0.548 % |
48.92/48.98	c |      5832 |    4898   255997  1816599 |    85332     5805     11 |  0.548 % |
49.02/49.01	c |      6045 |    4897   255997  1816599 |    85332     6017     11 |  0.569 % |
49.02/49.06	c |      6146 |    4897   255997  1816599 |    85332     6118     11 |  0.569 % |
49.02/49.09	c |      6256 |    4897   255997  1816599 |    85332     6228     11 |  0.569 % |
49.02/49.10	c |      6378 |    4897   255997  1816599 |    85332     6350     11 |  0.569 % |
49.12/49.17	c |      6511 |    4897   255997  1816599 |    85332     6483     11 |  0.569 % |
49.12/49.18	c |      6657 |    4897   255997  1816599 |    85332     6629     11 |  0.569 % |
49.22/49.22	c |      6818 |    4897   255997  1816599 |    85332     6790     11 |  0.569 % |
49.22/49.26	c |      6995 |    4897   255997  1816599 |    85332     6967     11 |  0.569 % |
49.22/49.27	c |      7189 |    4897   255997  1816599 |    85332     7161     11 |  0.569 % |
49.22/49.30	c |      7402 |    4897   255997  1816599 |    85332     7374     11 |  0.569 % |
49.32/49.33	c |      7637 |    4897   255997  1816599 |    85332     7609     11 |  0.569 % |
49.32/49.38	c |      7739 |    4897   255997  1816599 |    85332     7711     11 |  0.569 % |
49.32/49.40	c |      7849 |    4897   255997  1816599 |    85332     7821     11 |  0.569 % |
49.42/49.43	c |      7971 |    4896   255997  1816599 |    85332     7942     11 |  0.589 % |
49.42/49.46	c |      8104 |    4896   255997  1816599 |    85332     8075     11 |  0.589 % |
49.42/49.49	c |      8250 |    4896   255997  1816599 |    85332     8221     11 |  0.589 % |
49.52/49.55	c |      8411 |    4895   255997  1816599 |    85332     8381     11 |  0.609 % |
49.52/49.58	c |      8587 |    4895   255997  1816599 |    85332     8557     11 |  0.609 % |
49.62/49.61	c |      8781 |    4895   255997  1816599 |    85332     8751     11 |  0.609 % |
49.62/49.66	c |      8993 |    4894   255997  1816599 |    85332     8962     11 |  0.629 % |
49.62/49.69	c |      9226 |    4894   255997  1816599 |    85332     9195     12 |  0.629 % |
49.72/49.72	c |      9482 |    4894   255997  1816599 |    85332     9451     12 |  0.629 % |
49.72/49.74	c |      9584 |    4894   255997  1816599 |    85332     9553     12 |  0.629 % |
49.72/49.75	c |      9694 |    4894   255997  1816599 |    85332     9663     12 |  0.629 % |
49.72/49.77	c |      9816 |    4893   255997  1816599 |    85332     9784     12 |  0.650 % |
49.72/49.79	c |      9949 |    4893   255997  1816599 |    85332     9917     12 |  0.650 % |
49.72/49.80	c |     10095 |    4893   255997  1816599 | 2147483647    10063     12 |  0.650 % |
49.82/49.83	c |     10255 |    4892   255997  1816599 | 2147483647    10222     12 |  0.670 % |
49.82/49.86	c |     10433 |    4892   255997  1816599 | 2147483647    10400     12 |  0.670 % |
49.82/49.91	c |     10627 |    4892   255997  1816599 | 2147483647    10594     12 |  0.670 % |
49.92/49.94	c |     10839 |    4892   255997  1816599 | 2147483647    10806     12 |  0.670 % |
49.92/50.01	c |     11074 |    4891   255997  1816599 | 2147483647    11040     12 |  0.690 % |
50.02/50.04	c |     11332 |    4891   255997  1816599 | 2147483647    11298     12 |  0.690 % |
50.02/50.09	c |     11613 |    4889   255997  1816599 | 2147483647    11577     12 |  0.731 % |
50.12/50.11	c |     11713 |    4889   255997  1816599 | 2147483647    11677     12 |  0.731 % |
50.12/50.12	c |     11825 |    4889   255997  1816599 | 2147483647    11789     12 |  0.731 % |
50.12/50.14	c |     11947 |    4889   255997  1816599 | 2147483647    11911     12 |  0.731 % |
50.12/50.18	c |     12081 |    4889   255997  1816599 | 2147483647    12045     11 |  0.731 % |
50.12/50.20	c |     12228 |    4889   255997  1816599 | 2147483647    12192     11 |  0.731 % |
50.22/50.25	c |     12389 |    4889   255997  1816599 | 2147483647    12353     12 |  0.731 % |
50.22/50.29	c |     12566 |    4889   255997  1816599 | 2147483647    12530     12 |  0.731 % |
50.32/50.34	c |     12761 |    4889   255997  1816599 | 2147483647    12725     12 |  0.731 % |
50.32/50.37	c |     12974 |    4889   255997  1816599 | 2147483647    12938     12 |  0.731 % |
50.42/50.43	c |     13208 |    4889   255997  1816599 | 2147483647    13172     12 |  0.731 % |
50.42/50.45	c |     13464 |    4889   255997  1816599 | 2147483647    13428     12 |  0.731 % |
50.42/50.49	c |     13745 |    4888   255997  1816599 | 2147483647    13708     12 |  0.751 % |
50.52/50.53	c |     14057 |    4888   255997  1816599 | 2147483647    14020     12 |  0.751 % |
50.52/50.57	c |     14157 |    4888   255997  1816599 | 2147483647    14120     12 |  0.751 % |
50.52/50.59	c |     14267 |    4888   255997  1816599 | 2147483647    14230     12 |  0.751 % |
50.62/50.62	c |     14388 |    4887   255997  1816599 | 2147483647    14350     12 |  0.772 % |
50.62/50.64	c |     14522 |    4887   255997  1816599 | 2147483647    14484     12 |  0.772 % |
50.62/50.66	c |     14669 |    4887   255997  1816599 | 2147483647    14631     12 |  0.772 % |
50.62/50.71	c |     14830 |    4887   255997  1816599 | 2147483647    14792     12 |  0.772 % |
50.72/50.72	c |     15006 |    4887   255997  1816599 | 2147483647    14968     12 |  0.772 % |
50.72/50.78	c |     15199 |    4887   255997  1816599 | 2147483647    15161     12 |  0.772 % |
50.82/50.83	c |     15412 |    4887   255997  1816599 | 2147483647    15374     12 |  0.772 % |
50.82/50.88	c |     15646 |    4887   255997  1816599 | 2147483647    15608     12 |  0.772 % |
50.92/50.92	c |     15902 |    4887   255997  1816599 | 2147483647    15864     12 |  0.772 % |
50.92/50.96	c |     16184 |    4887   255997  1816599 | 2147483647    16146     12 |  0.772 % |
50.92/51.00	c |     16494 |    4887   255997  1816599 | 2147483647    16456     12 |  0.772 % |
51.02/51.09	c |     16833 |    4887   255997  1816599 | 2147483647    16795     12 |  0.772 % |
51.12/51.11	c |     16933 |    4887   255997  1816599 | 2147483647    16895     12 |  0.772 % |
51.12/51.15	c |     17043 |    4887   255997  1816599 | 2147483647    17005     12 |  0.772 % |
51.12/51.16	c |     17164 |    4887   255997  1816599 | 2147483647    17126     12 |  0.772 % |
51.12/51.18	c |     17297 |    4887   255997  1816599 | 2147483647    17259     12 |  0.772 % |
51.22/51.21	c |     17445 |    4887   255997  1816599 | 2147483647    17407     12 |  0.772 % |
51.22/51.24	c |     17606 |    4887   255997  1816599 | 2147483647    17568     12 |  0.772 % |
51.22/51.28	c |     17783 |    4887   255997  1816599 | 2147483647    17745     12 |  0.772 % |
51.32/51.35	c |     17978 |    4887   255997  1816599 | 2147483647    17940     12 |  0.772 % |
51.32/51.36	c |     18193 |    4887   255997  1816599 | 2147483647    18155     12 |  0.772 % |
51.42/51.45	c |     18427 |    4887   255997  1816599 | 2147483647    18389     12 |  0.772 % |
51.42/51.47	c |     18683 |    4887   255997  1816599 | 2147483647    18645     12 |  0.772 % |
51.52/51.51	c |     18964 |    4887   255997  1816599 | 2147483647    18926     12 |  0.772 % |
51.52/51.58	c |     19273 |    4887   255997  1816599 | 2147483647    19235     12 |  0.772 % |
51.62/51.64	c |     19613 |    4887   255997  1816599 | 2147483647    19575     12 |  0.772 % |
51.72/51.78	c |     19985 |    4887   255997  1816599 | 2147483647    19947     12 |  0.772 % |
51.72/51.80	c |     20085 |    4887   255997  1816599 | 2147483647    20047     12 |  0.772 % |
51.82/51.81	c |     20196 |    4887   255997  1816599 | 2147483647    20158     12 |  0.772 % |
51.82/51.84	c |     20319 |    4887   255997  1816599 | 2147483647    20281     12 |  0.772 % |
51.82/51.85	c |     20452 |    4887   255997  1816599 | 2147483647    20414     12 |  0.772 % |
51.82/51.88	c |     20599 |    4887   255997  1816599 | 2147483647    20561     12 |  0.772 % |
51.92/51.91	c |     20759 |    4887   255997  1816599 | 2147483647    20721     12 |  0.772 % |
51.92/51.96	c |     20936 |    4887   255997  1816599 | 2147483647    20898     12 |  0.772 % |
51.92/51.98	c |     21129 |    4887   255997  1816599 | 2147483647    21091     12 |  0.772 % |
51.92/52.00	c |     21343 |    4887   255997  1816599 | 2147483647    21305     12 |  0.772 % |
52.02/52.02	c |     21576 |    4887   255997  1816599 | 2147483647    21538     12 |  0.772 % |
52.02/52.06	c |     21833 |    4887   255997  1816599 | 2147483647    21795     12 |  0.772 % |
52.12/52.12	c |     22114 |    4887   255997  1816599 | 2147483647    22076     12 |  0.772 % |
52.22/52.22	c |     22425 |    4887   255997  1816599 | 2147483647    22387     12 |  0.772 % |
52.22/52.27	c |     22764 |    4887   255997  1816599 | 2147483647    22726     12 |  0.772 % |
52.32/52.32	c |     23138 |    4887   255997  1816599 | 2147483647    23100     12 |  0.772 % |
52.32/52.38	c |     23549 |    4884   255997  1816599 | 2147483647    23508     12 |  0.832 % |
52.32/52.41	c |     23650 |    4884   255997  1816599 | 2147483647    23609     12 |  0.832 % |
52.42/52.45	c |     23762 |    4884   255997  1816599 | 2147483647    23721     12 |  0.832 % |
52.42/52.49	c |     23883 |    4884   255997  1816599 | 2147483647    23842     12 |  0.832 % |
52.52/52.54	c |     24016 |    4884   255997  1816599 | 2147483647    23975     12 |  0.832 % |
52.52/52.57	c |     24163 |    4884   255997  1816599 | 2147483647    24122     12 |  0.832 % |
52.52/52.59	c |     24324 |    4884   255997  1816599 | 2147483647    24283     12 |  0.832 % |
52.52/52.60	c |     24500 |    4884   255997  1816599 | 2147483647    24459     12 |  0.832 % |
52.62/52.63	c |     24696 |    4884   255997  1816599 | 2147483647    24655     12 |  0.832 % |
52.72/52.72	c |     24908 |    4884   255997  1816599 | 2147483647    24867     12 |  0.832 % |
52.72/52.76	c |     25141 |    4884   255997  1816599 | 2147483647    25100     12 |  0.832 % |
52.72/52.81	c |     25397 |    4884   255997  1816599 | 2147483647    25356     13 |  0.832 % |
52.83/52.88	c |     25681 |    4884   255997  1816599 | 2147483647    25640     13 |  0.832 % |
52.92/52.93	c |     25991 |    4884   255997  1816599 | 2147483647    25950     13 |  0.832 % |
53.02/53.01	c |     26330 |    4884   255997  1816599 | 2147483647    26289     13 |  0.832 % |
53.02/53.10	c |     26704 |    4884   255997  1816599 | 2147483647    26663     13 |  0.832 % |
53.12/53.20	c |     27113 |    4884   255997  1816599 | 2147483647    27072     13 |  0.832 % |
53.22/53.27	c |     27562 |    4884   255997  1816599 | 2147483647    27521     13 |  0.832 % |
53.22/53.31	c |     27663 |    4884   255997  1816599 | 2147483647    27622     13 |  0.832 % |
53.32/53.36	c |     27774 |    4884   255997  1816599 | 2147483647    27733     13 |  0.832 % |
53.32/53.38	c |     27896 |    4884   255997  1816599 | 2147483647    27855     13 |  0.832 % |
53.42/53.41	c |     28030 |    4884   255997  1816599 | 2147483647    27989     13 |  0.832 % |
53.42/53.45	c |     28178 |    4884   255997  1816599 | 2147483647    28137     13 |  0.832 % |
53.42/53.47	c |     28338 |    4884   255997  1816599 | 2147483647    28297     13 |  0.832 % |
53.42/53.49	c |     28514 |    4884   255997  1816599 | 2147483647    28473     13 |  0.832 % |
53.52/53.53	c |     28707 |    4884   255997  1816599 | 2147483647    28666     13 |  0.832 % |
53.52/53.59	c |     28919 |    4884   255997  1816599 | 2147483647    28878     13 |  0.832 % |
53.62/53.66	c |     29152 |    4884   255997  1816599 | 2147483647    29111     13 |  0.832 % |
53.72/53.75	c |     29409 |    4884   255997  1816599 | 2147483647    29368     13 |  0.832 % |
53.72/53.80	c |     29691 |    4884   255997  1816599 | 2147483647    29650     13 |  0.832 % |
53.82/53.87	c |     30002 |    4884   255997  1816599 | 2147483647    29961     13 |  0.832 % |
53.93/53.95	c |     30341 |    4884   255997  1816599 | 2147483647    30300     13 |  0.832 % |
54.02/54.08	c |     30714 |    4884   255997  1816599 | 2147483647    30673     13 |  0.832 % |
54.12/54.14	c |     31123 |    4884   255997  1816599 | 2147483647    31082     13 |  0.832 % |
54.22/54.21	c |     31575 |    4884   255997  1816599 | 2147483647    31534     13 |  0.832 % |
54.22/54.30	c |     32068 |    4884   255997  1816599 | 2147483647    32027     13 |  0.832 % |
54.32/54.32	c |     32169 |    4884   255997  1816599 | 2147483647    32128     13 |  0.832 % |
54.32/54.34	c |     32280 |    4884   255997  1816599 | 2147483647    32239     13 |  0.832 % |
54.32/54.36	c |     32404 |    4884   255997  1816599 | 2147483647    32363     13 |  0.832 % |
54.32/54.38	c |     32539 |    4884   255997  1816599 | 2147483647    32498     13 |  0.832 % |
54.32/54.40	c |     32685 |    4884   255997  1816599 | 2147483647    32644     13 |  0.832 % |
54.42/54.45	c |     32845 |    4884   255997  1816599 | 2147483647    32804     13 |  0.832 % |
54.42/54.50	c |     33022 |    4884   255997  1816599 | 2147483647    32981     13 |  0.832 % |
54.52/54.53	c |     33216 |    4883   255997  1816599 | 2147483647    33174     13 |  0.853 % |
54.52/54.60	c |     33428 |    4883   255997  1816599 | 2147483647    33386     13 |  0.853 % |
54.63/54.63	c |     33663 |    4883   255997  1816599 | 2147483647    33621     13 |  0.853 % |
54.63/54.65	c |     33921 |    4883   255997  1816599 | 2147483647    33879     13 |  0.853 % |
54.63/54.67	c |     34203 |    4883   255997  1816599 | 2147483647    34161     13 |  0.853 % |
54.63/54.71	c |     34513 |    4883   255997  1816599 | 2147483647    34471     13 |  0.853 % |
54.83/54.82	c |     34852 |    4883   255997  1816599 | 2147483647    34810     13 |  0.853 % |
54.83/54.88	c |     35225 |    4883   255997  1816599 | 2147483647    35183     13 |  0.853 % |
54.93/54.94	c |     35634 |    4883   255997  1816599 | 2147483647    35592     13 |  0.853 % |
55.13/55.15	c |     36083 |    4883   255997  1816599 | 2147483647    36041     13 |  0.853 % |
55.23/55.25	c |     36577 |    4883   255651  1814873 | 2147483647    36529     13 |  0.853 % |
55.23/55.31	c |     37119 |    4883   255651  1814873 | 2147483647    37071     13 |  0.853 % |
55.33/55.34	c |     37219 |    4883   255651  1814873 | 2147483647    37171     13 |  0.853 % |
55.33/55.36	c |     37329 |    4883   255651  1814873 | 2147483647    37281     13 |  0.853 % |
55.33/55.39	c |     37450 |    4883   255651  1814873 | 2147483647    37402     13 |  0.853 % |
55.33/55.42	c |     37584 |    4883   255651  1814873 | 2147483647    37536     13 |  0.853 % |
55.43/55.47	c |     37731 |    4883   255651  1814873 | 2147483647    37683     13 |  0.853 % |
55.43/55.50	c |     37894 |    4883   255651  1814873 | 2147483647    37846     13 |  0.853 % |
55.53/55.54	c |     38072 |    4883   255651  1814873 | 2147483647    38024     13 |  0.853 % |
55.53/55.58	c |     38266 |    4883   255651  1814873 | 2147483647    38218     13 |  0.853 % |
55.63/55.65	c |     38478 |    4883   255651  1814873 | 2147483647    38430     13 |  0.853 % |
55.63/55.69	c |     38711 |    4883   255651  1814873 | 2147483647    38663     13 |  0.853 % |
55.73/55.79	c |     38968 |    4883   255651  1814873 | 2147483647    38920     13 |  0.853 % |
55.83/55.82	c |     39252 |    4883   255651  1814873 | 2147483647    39204     13 |  0.853 % |
55.83/55.90	c |     39561 |    4883   255651  1814873 | 2147483647    39513     13 |  0.853 % |
55.93/55.99	c |     39900 |    4883   255651  1814873 | 2147483647    39852     13 |  0.853 % |
56.03/56.07	c |     40272 |    4883   255651  1814873 | 2147483647    40224     13 |  0.853 % |
56.14/56.13	c |     40681 |    4883   255651  1814873 | 2147483647    40633     13 |  0.853 % |
56.14/56.20	c |     41132 |    4883   255651  1814873 | 2147483647    41084     13 |  0.853 % |
56.33/56.34	c |     41625 |    4883   255651  1814873 | 2147483647    41577     13 |  0.853 % |
56.43/56.45	c |     42168 |    4883   255651  1814873 | 2147483647    42120     13 |  0.853 % |
56.53/56.52	c |     42765 |    4883   255651  1814873 | 2147483647    42717     13 |  0.853 % |
56.53/56.54	c |     42865 |    4883   255651  1814873 | 2147483647    42817     13 |  0.853 % |
56.53/56.57	c |     42977 |    4883   255651  1814873 | 2147483647    42929     13 |  0.853 % |
56.53/56.59	c |     43099 |    4883   255651  1814873 | 2147483647    43051     13 |  0.853 % |
56.53/56.60	c |     43232 |    4883   255651  1814873 | 2147483647    43184     13 |  0.853 % |
56.63/56.65	c |     43379 |    4883   255651  1814873 | 2147483647    43331     13 |  0.853 % |
56.63/56.68	c |     43540 |    4883   255651  1814873 | 2147483647    43492     13 |  0.853 % |
56.73/56.73	c |     43716 |    4883   255651  1814873 | 2147483647    43668     13 |  0.853 % |
56.73/56.80	c |     43910 |    4883   255651  1814873 | 2147483647    43862     13 |  0.853 % |
56.83/56.84	c |     44123 |    4883   255651  1814873 | 2147483647    44075     13 |  0.853 % |
56.83/56.86	c |     44359 |    4883   255651  1814873 | 2147483647    44311     13 |  0.853 % |
56.93/56.94	c |     44615 |    4882   255651  1814873 | 2147483647    44566     13 |  0.873 % |
56.93/56.99	c |     44897 |    4882   255651  1814873 | 2147483647    44848     13 |  0.873 % |
57.03/57.03	c |     45206 |    4882   255651  1814873 | 2147483647    45157     13 |  0.873 % |
57.13/57.13	c |     45546 |    4882   255651  1814873 | 2147483647    45497     13 |  0.873 % |
57.13/57.21	c |     45918 |    4882   255651  1814873 | 2147483647    45869     13 |  0.873 % |
57.24/57.28	c |     46328 |    4882   255651  1814873 | 2147483647    46279     13 |  0.873 % |
57.33/57.33	c |     46778 |    4882   255651  1814873 | 2147483647    46729     13 |  0.873 % |
57.43/57.42	c |     47271 |    4882   255651  1814873 | 2147483647    47222     13 |  0.873 % |
57.43/57.49	c |     47813 |    4882   255651  1814873 | 2147483647    47764     13 |  0.873 % |
57.53/57.56	c |     48409 |    4882   255651  1814873 | 2147483647    48360     13 |  0.873 % |
57.63/57.71	c |     49064 |    4882   255651  1814873 | 2147483647    49015     13 |  0.873 % |
57.73/57.72	c |     49165 |    4882   255651  1814873 | 2147483647    49116     13 |  0.873 % |
57.73/57.76	c |     49277 |    4882   255651  1814873 | 2147483647    49228     13 |  0.873 % |
57.83/57.82	c |     49399 |    4882   255651  1814873 | 2147483647    49350     13 |  0.873 % |
57.83/57.84	c |     49533 |    4882   255651  1814873 | 2147483647    49484     13 |  0.873 % |
57.83/57.87	c |     49680 |    4882   255651  1814873 | 2147483647    49631     13 |  0.873 % |
57.83/57.90	c |     49840 |    4882   255651  1814873 | 2147483647    49791     13 |  0.873 % |
57.93/57.96	c |     50017 |    4882   255651  1814873 | 2147483647    49968     13 |  0.873 % |
58.03/58.03	c |     50211 |    4882   255651  1814873 | 2147483647    50162     13 |  0.873 % |
58.03/58.08	c |     50423 |    4882   255651  1814873 | 2147483647    50374     14 |  0.873 % |
58.13/58.12	c |     50656 |    4882   255651  1814873 | 2147483647    50607     14 |  0.873 % |
58.13/58.21	c |     50915 |    4882   255651  1814873 | 2147483647    50866     13 |  0.873 % |
58.23/58.25	c |     51198 |    4882   255651  1814873 | 2147483647    51149     13 |  0.873 % |
58.34/58.34	c |     51507 |    4882   255651  1814873 | 2147483647    51458     14 |  0.873 % |
58.43/58.45	c |     51846 |    4882   255651  1814873 | 2147483647    51797     14 |  0.873 % |
58.53/58.52	c |     52219 |    4882   255651  1814873 | 2147483647    52170     13 |  0.873 % |
58.63/58.66	c |     52628 |    4882   255651  1814873 | 2147483647    52579     14 |  0.873 % |
58.73/58.75	c |     53078 |    4882   255651  1814873 | 2147483647    53029     14 |  0.873 % |
58.83/58.87	c |     53573 |    4882   255651  1814873 | 2147483647    53524     14 |  0.873 % |
58.93/58.93	c |     54117 |    4882   255651  1814873 | 2147483647    54068     14 |  0.873 % |
59.03/59.02	c |     54713 |    4882   255651  1814873 | 2147483647    54664     14 |  0.873 % |
59.33/59.33	c |     55368 |    4882   255651  1814873 | 2147483647    55319     14 |  0.873 % |
59.33/59.40	c |     56090 |    4882   255651  1814873 | 2147483647    56041     14 |  0.873 % |
59.33/59.43	c |     56190 |    4882   255651  1814873 | 2147483647    56141     14 |  0.873 % |
59.44/59.45	c |     56301 |    4882   255651  1814873 | 2147483647    56252     14 |  0.873 % |
59.44/59.48	c |     56422 |    4882   255651  1814873 | 2147483647    56373     14 |  0.873 % |
59.44/59.50	c |     56557 |    4882   255651  1814873 | 2147483647    56508     14 |  0.873 % |
59.53/59.53	c |     56703 |    4882   255651  1814873 | 2147483647    56654     14 |  0.873 % |
59.53/59.60	c |     56863 |    4882   255651  1814873 | 2147483647    56814     14 |  0.873 % |
59.63/59.63	c |     57040 |    4882   255651  1814873 | 2147483647    56991     14 |  0.873 % |
59.63/59.68	c |     57233 |    4882   255651  1814873 | 2147483647    57184     14 |  0.873 % |
59.63/59.71	c |     57446 |    4882   255651  1814873 | 2147483647    57397     14 |  0.873 % |
59.73/59.77	c |     57680 |    4882   255651  1814873 | 2147483647    57631     14 |  0.873 % |
59.83/59.85	c |     57936 |    4882   255651  1814873 | 2147483647    57887     14 |  0.873 % |
59.93/59.95	c |     58217 |    4882   255651  1814873 | 2147483647    58168     14 |  0.873 % |
59.93/60.00	c |     58527 |    4882   255651  1814873 | 2147483647    58478     14 |  0.873 % |
60.13/60.14	c |     58866 |    4882   255651  1814873 | 2147483647    58817     14 |  0.873 % |
60.13/60.19	c |     59238 |    4882   255651  1814873 | 2147483647    59189     14 |  0.873 % |
60.23/60.30	c |     59648 |    4882   255651  1814873 | 2147483647    59599     14 |  0.873 % |
60.33/60.39	c |     60098 |    4882   255651  1814873 | 2147483647    60049     14 |  0.873 % |
60.43/60.47	c |     60591 |    4882   255651  1814873 | 2147483647    60542     14 |  0.873 % |
60.54/60.61	c |     61133 |    4882   255651  1814873 | 2147483647    61084     14 |  0.873 % |
60.63/60.71	c |     61730 |    4882   255651  1814873 | 2147483647    61681     14 |  0.873 % |
60.93/60.92	c |     62385 |    4882   255651  1814873 | 2147483647    62336     14 |  0.873 % |
61.03/61.05	c |     63106 |    4882   255651  1814873 | 2147483647    63057     14 |  0.873 % |
61.33/61.40	c |     63899 |    4882   255651  1814873 | 2147483647    63850     14 |  0.873 % |
61.33/61.41	c |     63999 |    4882   255651  1814873 | 2147483647    63950     14 |  0.873 % |
61.43/61.46	c |     64111 |    4882   255651  1814873 | 2147483647    64062     14 |  0.873 % |
61.43/61.51	c |     64232 |    4882   255651  1814873 | 2147483647    64183     14 |  0.873 % |
61.53/61.53	c |     64365 |    4882   255651  1814873 | 2147483647    64316     14 |  0.873 % |
61.53/61.57	c |     64511 |    4882   255651  1814873 | 2147483647    64462     14 |  0.873 % |
61.53/61.61	c |     64671 |    4882   255651  1814873 | 2147483647    64622     14 |  0.873 % |
61.64/61.68	c |     64848 |    4882   255651  1814873 | 2147483647    64799     14 |  0.873 % |
61.64/61.71	c |     65041 |    4882   255651  1814873 | 2147483647    64992     14 |  0.873 % |
61.73/61.75	c |     65254 |    4882   255651  1814873 | 2147483647    65205     14 |  0.873 % |
61.73/61.80	c |     65488 |    4882   255651  1814873 | 2147483647    65439     14 |  0.873 % |
61.83/61.83	c |     65744 |    4882   255651  1814873 | 2147483647    65695     14 |  0.873 % |
61.83/61.90	c |     66025 |    4882   255651  1814873 | 2147483647    65976     14 |  0.873 % |
61.93/61.94	c |     66334 |    4882   255651  1814873 | 2147483647    66285     14 |  0.873 % |
62.03/62.11	c |     66675 |    4882   255651  1814873 | 2147483647    66626     14 |  0.873 % |
62.13/62.18	c |     67048 |    4882   255651  1814873 | 2147483647    66999     14 |  0.873 % |
62.23/62.25	c |     67457 |    4882   255651  1814873 | 2147483647    67408     14 |  0.873 % |
62.43/62.42	c |     67906 |    4882   255651  1814873 | 2147483647    67857     14 |  0.873 % |
62.43/62.48	c |     68399 |    4882   255651  1814873 | 2147483647    68350     14 |  0.873 % |
62.63/62.68	c |     68942 |    4882   255651  1814873 | 2147483647    68893     14 |  0.873 % |
62.74/62.74	c |     69539 |    4882   255651  1814873 | 2147483647    69490     14 |  0.873 % |
62.83/62.85	c |     70194 |    4881   255651  1814873 | 2147483647    70144     14 |  0.893 % |
62.83/62.91	c |     70914 |    4881   255651  1814873 | 2147483647    70864     14 |  0.893 % |
63.03/63.06	c |     71706 |    4880   255651  1814873 | 2147483647    71655     14 |  0.914 % |
63.23/63.27	c |     72577 |    4879   255651  1814873 | 2147483647    72525     14 |  0.934 % |
63.23/63.29	c |     72677 |    4879   255651  1814873 | 2147483647    72625     14 |  0.934 % |
63.23/63.31	c |     72788 |    4879   255651  1814873 | 2147483647    72736     14 |  0.934 % |
63.33/63.33	c |     72910 |    4879   255651  1814873 | 2147483647    72858     14 |  0.934 % |
63.33/63.36	c |     73043 |    4879   255651  1814873 | 2147483647    72991     14 |  0.934 % |
63.33/63.38	c |     73189 |    4879   255651  1814873 | 2147483647    73137     14 |  0.934 % |
63.33/63.41	c |     73350 |    4879   255651  1814873 | 2147483647    73298     14 |  0.934 % |
63.43/63.46	c |     73526 |    4879   255651  1814873 | 2147483647    73474     14 |  0.934 % |
63.53/63.53	c |     73722 |    4879   255651  1814873 | 2147483647    73670     14 |  0.934 % |
63.53/63.57	c |     73934 |    4879   255651  1814873 | 2147483647    73882     14 |  0.934 % |
63.63/63.66	c |     74167 |    4879   255651  1814873 | 2147483647    74115     14 |  0.934 % |
63.63/63.69	c |     74423 |    4879   255651  1814873 | 2147483647    74371     14 |  0.934 % |
63.73/63.81	c |     74704 |    4879   255651  1814873 | 2147483647    74652     14 |  0.934 % |
63.84/63.84	c |     75014 |    4879   255651  1814873 | 2147483647    74962     14 |  0.934 % |
63.84/63.90	c |     75353 |    4879   255651  1814873 | 2147483647    75301     14 |  0.934 % |
63.93/64.01	c |     75726 |    4879   255651  1814873 | 2147483647    75674     14 |  0.934 % |
64.03/64.09	c |     76135 |    4879   255651  1814873 | 2147483647    76083     14 |  0.934 % |
64.13/64.17	c |     76584 |    4879   255651  1814873 | 2147483647    76532     14 |  0.934 % |
64.33/64.34	c |     77078 |    4879   255651  1814873 | 2147483647    77026     14 |  0.934 % |
64.43/64.47	c |     77620 |    4879   255651  1814873 | 2147483647    77568     15 |  0.934 % |
64.53/64.59	c |     78216 |    4879   255651  1814873 | 2147483647    78164     15 |  0.934 % |
64.73/64.78	c |     78871 |    4879   255651  1814873 | 2147483647    78819     15 |  0.934 % |
65.03/65.05	c |     79591 |    4879   255651  1814873 | 2147483647    79539     15 |  0.934 % |
65.13/65.16	c |     80384 |    4879   255651  1814873 | 2147483647    80332     15 |  0.934 % |
65.33/65.35	c |     81255 |    4879   255651  1814873 | 2147483647    81203     15 |  0.934 % |
65.93/65.95	c |     82213 |    4879   255651  1814873 | 2147483647    82161     15 |  0.934 % |
65.93/65.97	c |     82316 |    4879   255651  1814873 | 2147483647    82264     15 |  0.934 % |
65.93/66.01	c |     82427 |    4879   255651  1814873 | 2147483647    82375     15 |  0.934 % |
66.04/66.05	c |     82549 |    4879   255651  1814873 | 2147483647    82497     15 |  0.934 % |
66.04/66.11	c |     82684 |    4879   255651  1814873 | 2147483647    82632     15 |  0.934 % |
66.13/66.15	c |     82831 |    4879   255651  1814873 | 2147483647    82779     15 |  0.934 % |
66.23/66.23	c |     82991 |    4879   255651  1814873 | 2147483647    82939     15 |  0.934 % |
66.33/66.33	c |     83167 |    4879   255603  1814749 | 2147483647    83110     15 |  0.934 % |
66.33/66.38	c |     83361 |    4879   255603  1814749 | 2147483647    83304     15 |  0.934 % |
66.43/66.49	c |     83574 |    4879   255603  1814749 | 2147483647    83517     15 |  0.934 % |
66.53/66.57	c |     83807 |    4879   255603  1814749 | 2147483647    83750     15 |  0.934 % |
66.63/66.63	c |     84063 |    4879   255603  1814749 | 2147483647    84006     15 |  0.934 % |
66.73/66.73	c |     84346 |    4879   255603  1814749 | 2147483647    84289     15 |  0.934 % |
66.73/66.76	c |     84656 |    4879   255603  1814749 | 2147483647    84599     15 |  0.934 % |
66.83/66.82	c |     84995 |    4879   255603  1814749 | 2147483647    84938     15 |  0.934 % |
66.83/66.88	c |     85367 |    4879   255603  1814749 | 2147483647    85310     15 |  0.934 % |
66.93/67.01	c |     85778 |    4879   255603  1814749 | 2147483647    85721     15 |  0.934 % |
67.14/67.13	c |     86228 |    4879   255603  1814749 | 2147483647    86171     15 |  0.934 % |
67.23/67.27	c |     86722 |    4879   255603  1814749 | 2147483647    86665     15 |  0.934 % |
67.43/67.42	c |     87266 |    4879   255603  1814749 | 2147483647    87209     15 |  0.934 % |
67.53/67.53	c |     87862 |    4879   255603  1814749 | 2147483647    87805     15 |  0.934 % |
67.63/67.71	c |     88517 |    4879   255603  1814749 | 2147483647    88460     15 |  0.934 % |
67.83/67.88	c |     89238 |    4879   255603  1814749 | 2147483647    89181     15 |  0.934 % |
67.93/67.96	c |     90030 |    4879   255603  1814749 | 2147483647    89973     15 |  0.934 % |
68.03/68.07	c |     90901 |    4879   255603  1814749 | 2147483647    90844     15 |  0.934 % |
68.24/68.30	c |     91859 |    4879   255603  1814749 | 2147483647    91802     15 |  0.934 % |
68.53/68.57	c |     92912 |    4879   255603  1814749 | 2147483647    92855     15 |  0.934 % |
68.53/68.59	c |     93013 |    4879   255603  1814749 | 2147483647    92956     15 |  0.934 % |
68.53/68.60	c |     93124 |    4879   255603  1814749 | 2147483647    93067     15 |  0.934 % |
68.63/68.64	c |     93245 |    4879   255603  1814749 | 2147483647    93188     15 |  0.934 % |
68.63/68.69	c |     93378 |    4879   255603  1814749 | 2147483647    93321     15 |  0.934 % |
68.73/68.74	c |     93524 |    4879   255603  1814749 | 2147483647    93467     15 |  0.934 % |
68.73/68.77	c |     93685 |    4879   255603  1814749 | 2147483647    93628     15 |  0.934 % |
68.83/68.87	c |     93862 |    4879   255603  1814749 | 2147483647    93805     15 |  0.934 % |
68.83/68.92	c |     94057 |    4879   255603  1814749 | 2147483647    94000     15 |  0.934 % |
69.03/69.05	c |     94269 |    4879   255603  1814749 | 2147483647    94212     15 |  0.934 % |
69.03/69.10	c |     94503 |    4879   255603  1814749 | 2147483647    94446     15 |  0.934 % |
69.13/69.15	c |     94760 |    4879   255603  1814749 | 2147483647    94703     15 |  0.934 % |
69.23/69.22	c |     95042 |    4879   255603  1814749 | 2147483647    94985     15 |  0.934 % |
69.34/69.38	c |     95351 |    4879   255603  1814749 | 2147483647    95294     15 |  0.934 % |
69.43/69.46	c |     95691 |    4879   255603  1814749 | 2147483647    95634     15 |  0.934 % |
69.83/69.90	c |     96063 |    4879   255603  1814749 | 2147483647    96006     15 |  0.934 % |
69.93/69.99	c |     96473 |    4879   255603  1814749 | 2147483647    96416     15 |  0.934 % |
70.44/70.44	c |     96925 |    4879   255603  1814749 | 2147483647    96868     15 |  0.934 % |
70.53/70.55	c |     97419 |    4879   255603  1814749 | 2147483647    97362     15 |  0.934 % |
70.93/70.95	c |     97961 |    4879   255603  1814749 | 2147483647    97904     15 |  0.934 % |
71.03/71.08	c |     98557 |    4879   255603  1814749 | 2147483647    98500     15 |  0.934 % |
71.13/71.17	c |     99213 |    4879   255603  1814749 | 2147483647    99156     15 |  0.934 % |
71.43/71.43	c |     99933 |    4879   255603  1814749 | 2147483647    99876     15 |  0.934 % |
71.54/71.55	c |    100725 |    4879   255603  1814749 | 2147483647   100668     15 |  0.934 % |
71.82/71.82	c |    101596 |    4879   255603  1814749 | 2147483647   101539     15 |  0.934 % |
72.12/72.17	c |    102554 |    4879   255603  1814749 | 2147483647   102497     15 |  0.934 % |
72.22/72.29	c |    103607 |    4879   255603  1814749 | 2147483647   103550     15 |  0.934 % |
73.32/73.37	c |    104766 |    4879   255603  1814749 | 2147483647   104709     15 |  0.934 % |
73.32/73.39	c |    104866 |    4879   255603  1814749 | 2147483647   104809     15 |  0.934 % |
73.42/73.49	c |    104976 |    4879   255603  1814749 | 2147483647   104919     15 |  0.934 % |
73.52/73.53	c |    105097 |    4879   255603  1814749 | 2147483647   105040     15 |  0.934 % |
73.52/73.57	c |    105232 |    4879   255603  1814749 | 2147483647   105175     15 |  0.934 % |
73.62/73.62	c |    105379 |    4879   255603  1814749 | 2147483647   105322     15 |  0.934 % |
73.62/73.64	c |    105540 |    4879   255603  1814749 | 2147483647   105483     15 |  0.934 % |
73.62/73.69	c |    105717 |    4879   255603  1814749 | 2147483647   105660     15 |  0.934 % |
73.73/73.75	c |    105910 |    4879   255603  1814749 | 2147483647   105853     15 |  0.934 % |
73.82/73.89	c |    106123 |    4879   255603  1814749 | 2147483647   106066     15 |  0.934 % |
73.92/73.96	c |    106356 |    4879   255603  1814749 | 2147483647   106299     15 |  0.934 % |
74.02/74.05	c |    106614 |    4879   255603  1814749 | 2147483647   106557     15 |  0.934 % |
74.02/74.10	c |    106896 |    4879   255603  1814749 | 2147483647   106839     15 |  0.934 % |
74.32/74.32	c |    107205 |    4879   255603  1814749 | 2147483647   107148     15 |  0.934 % |
74.32/74.36	c |    107544 |    4879   255603  1814749 | 2147483647   107487     15 |  0.934 % |
74.52/74.52	c |    107916 |    4879   255603  1814749 | 2147483647   107859     15 |  0.934 % |
74.52/74.59	c |    108326 |    4879   255603  1814749 | 2147483647   108269     15 |  0.934 % |
74.72/74.74	c |    108777 |    4879   255603  1814749 | 2147483647   108720     15 |  0.934 % |
74.83/74.88	c |    109272 |    4879   255603  1814749 | 2147483647   109215     15 |  0.934 % |
75.12/75.14	c |    109814 |    4879   255603  1814749 | 2147483647   109757     15 |  0.934 % |
75.22/75.22	c |    110410 |    4879   255603  1814749 | 2147483647   110353     15 |  0.934 % |
75.32/75.37	c |    111065 |    4879   255603  1814749 | 2147483647   111008     15 |  0.934 % |
75.72/75.73	c |    111785 |    4879   255603  1814749 | 2147483647   111728     15 |  0.934 % |
75.82/75.83	c |    112577 |    4879   255603  1814749 | 2147483647   112520     16 |  0.934 % |
76.12/76.16	c |    113448 |    4879   255603  1814749 | 2147483647   113391     16 |  0.934 % |
76.32/76.38	c |    114406 |    4879   255603  1814749 | 2147483647   114349     16 |  0.934 % |
76.62/76.65	c |    115460 |    4879   255603  1814749 | 2147483647   115403     16 |  0.934 % |
76.82/76.88	c |    116619 |    4879   255603  1814749 | 2147483647   116562     16 |  0.934 % |
77.03/77.07	c |    117893 |    4879   255603  1814749 | 2147483647   117836     16 |  0.934 % |
77.12/77.11	c |    117993 |    4879   255603  1814749 | 2147483647   117936     16 |  0.934 % |
77.12/77.17	c |    118103 |    4878   255603  1814749 | 2147483647   118045     16 |  0.954 % |
77.12/77.20	c |    118225 |    4878   255603  1814749 | 2147483647   118167     16 |  0.954 % |
77.22/77.25	c |    118358 |    4878   255603  1814749 | 2147483647   118300     16 |  0.954 % |
77.32/77.35	c |    118504 |    4878   255603  1814749 | 2147483647   118446     16 |  0.954 % |
77.42/77.44	c |    118664 |    4878   255603  1814749 | 2147483647   118606     16 |  0.954 % |
77.42/77.47	c |    118840 |    4878   255603  1814749 | 2147483647   118782     16 |  0.954 % |
77.52/77.57	c |    119033 |    4878   255603  1814749 | 2147483647   118975     16 |  0.954 % |
77.52/77.60	c |    119246 |    4878   255603  1814749 | 2147483647   119188     16 |  0.954 % |
77.62/77.65	c |    119479 |    4878   255603  1814749 | 2147483647   119421     16 |  0.954 % |
77.62/77.70	c |    119736 |    4878   255603  1814749 | 2147483647   119678     16 |  0.954 % |
77.72/77.77	c |    120018 |    4878   255603  1814749 | 2147483647   119960     16 |  0.954 % |
77.92/77.94	c |    120328 |    4878   255603  1814749 | 2147483647   120270     16 |  0.954 % |
78.02/78.09	c |    120667 |    4878   255603  1814749 | 2147483647   120609     16 |  0.954 % |
78.13/78.14	c |    121039 |    4878   255603  1814749 | 2147483647   120981     16 |  0.954 % |
78.22/78.27	c |    121449 |    4878   255603  1814749 | 2147483647   121391     16 |  0.954 % |
78.32/78.37	c |    121898 |    4878   255603  1814749 | 2147483647   121840     16 |  0.954 % |
78.52/78.55	c |    122391 |    4878   255603  1814749 | 2147483647   122333     16 |  0.954 % |
78.62/78.62	c |    122934 |    4878   255603  1814749 | 2147483647   122876     16 |  0.954 % |
78.82/78.81	c |    123530 |    4878   255603  1814749 | 2147483647   123472     16 |  0.954 % |
79.12/79.20	c |    124185 |    4878   255603  1814749 | 2147483647   124127     16 |  0.954 % |
79.32/79.39	c |    124905 |    4878   255603  1814749 | 2147483647   124847     16 |  0.954 % |
79.82/79.86	c |    125698 |    4878   255603  1814749 | 2147483647   125640     16 |  0.954 % |
80.12/80.15	c |    126570 |    4878   255603  1814749 | 2147483647   126512     16 |  0.954 % |
80.22/80.30	c |    127528 |    4878   255603  1814749 | 2147483647   127470     16 |  0.954 % |
81.12/81.11	c |    128581 |    4878   255603  1814749 | 2147483647   128523     16 |  0.954 % |
81.32/81.31	c |    129739 |    4878   255603  1814749 | 2147483647   129681     16 |  0.954 % |
82.02/82.06	c |    131012 |    4878   255603  1814749 | 2147483647   130954     16 |  0.954 % |
82.72/82.79	c |    132412 |    4878   255603  1814749 | 2147483647   132354     16 |  0.954 % |
82.82/82.83	c |    132514 |    4878   255603  1814749 | 2147483647   132456     16 |  0.954 % |
82.82/82.86	c |    132625 |    4878   255603  1814749 | 2147483647   132567     16 |  0.954 % |
82.82/82.87	c |    132746 |    4878   255603  1814749 | 2147483647   132688     16 |  0.954 % |
82.92/82.99	c |    132880 |    4878   255603  1814749 | 2147483647   132822     16 |  0.954 % |
83.02/83.02	c |    133026 |    4878   255603  1814749 | 2147483647   132968     16 |  0.954 % |
83.12/83.16	c |    133186 |    4878   255603  1814749 | 2147483647   133128     16 |  0.954 % |
83.12/83.19	c |    133363 |    4878   255603  1814749 | 2147483647   133305     16 |  0.954 % |
83.22/83.22	c |    133556 |    4878   255603  1814749 | 2147483647   133498     16 |  0.954 % |
83.32/83.37	c |    133768 |    4878   255603  1814749 | 2147483647   133710     16 |  0.954 % |
83.42/83.41	c |    134002 |    4878   255603  1814749 | 2147483647   133944     16 |  0.954 % |
83.63/83.65	c |    134259 |    4878   255603  1814749 | 2147483647   134201     16 |  0.954 % |
83.72/83.80	c |    134540 |    4878   255591  1814718 | 2147483647   134482     16 |  0.954 % |
83.82/83.86	c |    134850 |    4878   255591  1814718 | 2147483647   134792     16 |  0.954 % |
83.92/83.98	c |    135189 |    4878   255591  1814718 | 2147483647   135131     16 |  0.954 % |
84.02/84.05	c |    135561 |    4878   255591  1814718 | 2147483647   135503     16 |  0.954 % |
84.22/84.31	c |    135970 |    4878   255591  1814718 | 2147483647   135912     16 |  0.954 % |
84.32/84.40	c |    136419 |    4878   255591  1814718 | 2147483647   136361     16 |  0.954 % |
84.42/84.50	c |    136913 |    4878   255591  1814718 | 2147483647   136855     16 |  0.954 % |
84.62/84.61	c |    137457 |    4878   255591  1814718 | 2147483647   137399     16 |  0.954 % |
84.82/84.88	c |    138054 |    4878   255591  1814718 | 2147483647   137996     16 |  0.954 % |
85.02/85.10	c |    138709 |    4878   255591  1814718 | 2147483647   138651     16 |  0.954 % |
85.22/85.25	c |    139429 |    4878   255591  1814718 | 2147483647   139371     16 |  0.954 % |
85.62/85.64	c |    140223 |    4878   255591  1814718 | 2147483647   140165     16 |  0.954 % |
86.02/86.07	c |    141095 |    4878   255591  1814718 | 2147483647   141037     16 |  0.954 % |
86.42/86.47	c |    142054 |    4877   255591  1814718 | 2147483647   141995     16 |  0.975 % |
86.72/86.75	c |    143107 |    4877   255591  1814718 | 2147483647   143048     16 |  0.975 % |
86.93/86.93	c |    144266 |    4876   255591  1814718 | 2147483647   144206     16 |  0.995 % |
87.22/87.24	c |    145540 |    4875   255591  1814718 | 2147483647   145479     16 |  1.015 % |
87.92/87.91	c |    146940 |    4875   255591  1814718 | 2147483647   146879     16 |  1.015 % |
88.42/88.48	c |    148480 |    4875   255591  1814718 | 2147483647   148419     16 |  1.015 % |
88.52/88.55	c |    148582 |    4875   255591  1814718 | 2147483647   148521     16 |  1.015 % |
88.52/88.59	c |    148692 |    4875   255591  1814718 | 2147483647   148631     16 |  1.015 % |
88.72/88.75	c |    148813 |    4875   255591  1814718 | 2147483647   148752     16 |  1.015 % |
88.72/88.80	c |    148946 |    4875   255591  1814718 | 2147483647   148885     16 |  1.015 % |
88.82/88.84	c |    149092 |    4875   255591  1814718 | 2147483647   149031     16 |  1.015 % |
88.82/88.89	c |    149253 |    4875   255591  1814718 | 2147483647   149192     16 |  1.015 % |
88.92/88.93	c |    149429 |    4875   255591  1814718 | 2147483647   149368     16 |  1.015 % |
89.02/89.07	c |    149622 |    4875   255591  1814718 | 2147483647   149561     16 |  1.015 % |
89.13/89.17	c |    149834 |    4875   255591  1814718 | 2147483647   149773     16 |  1.015 % |
89.22/89.28	c |    150067 |    4875   255591  1814718 | 2147483647   150006     16 |  1.015 % |
89.32/89.35	c |    150324 |    4875   255591  1814718 | 2147483647   150263     16 |  1.015 % |
89.42/89.43	c |    150607 |    4875   255591  1814718 | 2147483647   150546     16 |  1.015 % |
89.52/89.59	c |    150917 |    4875   255591  1814718 | 2147483647   150856     16 |  1.015 % |
89.72/89.74	c |    151257 |    4875   255591  1814718 | 2147483647   151196     16 |  1.015 % |
89.72/89.80	c |    151629 |    4875   255591  1814718 | 2147483647   151568     16 |  1.015 % |
89.92/89.97	c |    152038 |    4875   255591  1814718 | 2147483647   151977     16 |  1.015 % |
90.12/90.17	c |    152488 |    4875   255591  1814718 | 2147483647   152427     16 |  1.015 % |
90.23/90.24	c |    152981 |    4875   255591  1814718 | 2147483647   152920     16 |  1.015 % |
90.52/90.56	c |    153524 |    4875   255591  1814718 | 2147483647   153463     16 |  1.015 % |
90.72/90.71	c |    154120 |    4875   255591  1814718 | 2147483647   154059     16 |  1.015 % |
90.92/90.99	c |    154775 |    4875   255591  1814718 | 2147483647   154714     16 |  1.015 % |
91.22/91.23	c |    155496 |    4875   255591  1814718 | 2147483647   155435     16 |  1.015 % |
91.72/91.78	c |    156289 |    4875   255591  1814718 | 2147483647   156228     16 |  1.015 % |
91.82/91.88	c |    157160 |    4875   255591  1814718 | 2147483647   157099     16 |  1.015 % |
92.32/92.38	c |    158119 |    4875   255591  1814718 | 2147483647   158058     16 |  1.015 % |
92.92/93.00	c |    159173 |    4874   255591  1814718 | 2147483647   159111     16 |  1.036 % |
93.62/93.62	c |    160332 |    4874   255591  1814718 | 2147483647   160270     16 |  1.036 % |
93.72/93.74	c |    161605 |    4874   255591  1814718 | 2147483647   161543     16 |  1.036 % |
94.92/94.92	c |    163006 |    4874   255591  1814718 | 2147483647   162944     16 |  1.036 % |
95.52/95.52	c |    164546 |    4874   255591  1814718 | 2147483647   164484     16 |  1.036 % |
96.42/96.43	c |    166240 |    4874   255591  1814718 | 2147483647   166178     16 |  1.036 % |
96.42/96.47	c |    166340 |    4874   255591  1814718 | 2147483647   166278     16 |  1.036 % |
96.42/96.49	c |    166450 |    4874   255591  1814718 | 2147483647   166388     16 |  1.036 % |
96.52/96.54	c |    166572 |    4874   255591  1814718 | 2147483647   166510     16 |  1.036 % |
96.52/96.58	c |    166706 |    4874   255591  1814718 | 2147483647   166644     16 |  1.036 % |
96.62/96.61	c |    166854 |    4874   255591  1814718 | 2147483647   166792     16 |  1.036 % |
96.62/96.70	c |    167015 |    4874   255591  1814718 | 2147483647   166953     16 |  1.036 % |
96.72/96.81	c |    167192 |    4874   255591  1814718 | 2147483647   167130     16 |  1.036 % |
96.83/96.86	c |    167385 |    4874   255591  1814718 | 2147483647   167323     16 |  1.036 % |
96.92/96.92	c |    167598 |    4874   255591  1814718 | 2147483647   167536     16 |  1.036 % |
96.92/96.98	c |    167831 |    4874   255591  1814718 | 2147483647   167769     16 |  1.036 % |
97.12/97.12	c |    168088 |    4874   255591  1814718 | 2147483647   168026     16 |  1.036 % |
97.22/97.30	c |    168369 |    4874   255591  1814718 | 2147483647   168307     16 |  1.036 % |
97.32/97.38	c |    168678 |    4874   255591  1814718 | 2147483647   168616     16 |  1.036 % |
97.62/97.62	c |    169017 |    4874   255591  1814718 | 2147483647   168955     16 |  1.036 % |
97.62/97.68	c |    169389 |    4874   255591  1814718 | 2147483647   169327     16 |  1.036 % |
97.93/97.92	c |    169800 |    4874   255591  1814718 | 2147483647   169738     16 |  1.036 % |
97.93/97.99	c |    170250 |    4874   255591  1814718 | 2147483647   170188     16 |  1.036 % |
98.22/98.28	c |    170743 |    4874   255591  1814718 | 2147483647   170681     16 |  1.036 % |
98.42/98.49	c |    171285 |    4874   255591  1814718 | 2147483647   171223     16 |  1.036 % |
98.72/98.76	c |    171882 |    4874   255591  1814718 | 2147483647   171820     16 |  1.036 % |
98.82/98.87	c |    172538 |    4874   255591  1814718 | 2147483647   172476     16 |  1.036 % |
99.42/99.43	c |    173258 |    4874   255591  1814718 | 2147483647   173196     16 |  1.036 % |
99.62/99.70	c |    174050 |    4874   255591  1814718 | 2147483647   173988     16 |  1.036 % |
100.32/100.38	c |    174923 |    4874   255591  1814718 | 2147483647   174861     16 |  1.036 % |
100.52/100.60	c |    175882 |    4874   255591  1814718 | 2147483647   175820     16 |  1.036 % |
100.72/100.77	c |    176935 |    4874   255591  1814718 | 2147483647   176873     17 |  1.036 % |
102.12/102.18	c |    178095 |    4874   255591  1814718 | 2147483647   178033     17 |  1.036 % |
102.72/102.71	c |    179369 |    4874   255591  1814718 | 2147483647   179307     17 |  1.036 % |
103.43/103.44	c |    180769 |    4874   255591  1814718 | 2147483647   180707     17 |  1.036 % |
103.72/103.71	c |    182309 |    4874   255591  1814718 | 2147483647   182247     17 |  1.036 % |
103.92/103.99	c |    184003 |    4874   255591  1814718 | 2147483647   183941     17 |  1.036 % |
104.93/104.97	c |    185867 |    4874   255591  1814718 | 2147483647   185805     17 |  1.036 % |
104.93/105.01	c |    185967 |    4874   255591  1814718 | 2147483647   185905     17 |  1.036 % |
105.03/105.06	c |    186078 |    4874   255591  1814718 | 2147483647   186016     17 |  1.036 % |
105.13/105.20	c |    186199 |    4874   255591  1814718 | 2147483647   186137     17 |  1.036 % |
105.23/105.25	c |    186334 |    4874   255591  1814718 | 2147483647   186272     17 |  1.036 % |
105.23/105.31	c |    186481 |    4874   255591  1814718 | 2147483647   186419     17 |  1.036 % |
105.43/105.50	c |    186642 |    4874   255591  1814718 | 2147483647   186580     17 |  1.036 % |
105.53/105.52	c |    186818 |    4874   255591  1814718 | 2147483647   186756     17 |  1.036 % |
105.53/105.60	c |    187011 |    4874   255591  1814718 | 2147483647   186949     17 |  1.036 % |
105.63/105.67	c |    187223 |    4874   255591  1814718 | 2147483647   187161     17 |  1.036 % |
105.83/105.86	c |    187457 |    4874   255591  1814718 | 2147483647   187395     17 |  1.036 % |
105.93/105.93	c |    187714 |    4874   255591  1814718 | 2147483647   187652     17 |  1.036 % |
106.03/106.03	c |    187997 |    4874   255591  1814718 | 2147483647   187935     17 |  1.036 % |
106.03/106.09	c |    188307 |    4874   255591  1814718 | 2147483647   188245     17 |  1.036 % |
106.33/106.36	c |    188647 |    4874   255591  1814718 | 2147483647   188585     17 |  1.036 % |
106.43/106.45	c |    189020 |    4874   255591  1814718 | 2147483647   188958     17 |  1.036 % |
107.23/107.26	c |    189429 |    4874   255591  1814718 | 2147483647   189367     17 |  1.036 % |
107.43/107.43	c |    189878 |    4874   255591  1814718 | 2147483647   189816     17 |  1.036 % |
107.73/107.75	c |    190371 |    4874   255591  1814718 | 2147483647   190309     17 |  1.036 % |
107.83/107.84	c |    190913 |    4874   255591  1814718 | 2147483647   190851     17 |  1.036 % |
107.93/107.94	c |    191510 |    4873   255591  1814718 | 2147483647   191447     17 |  1.056 % |
108.83/108.88	c |    192166 |    4873   255591  1814718 | 2147483647   192103     17 |  1.056 % |
109.33/109.34	c |    192886 |    4873   255591  1814718 | 2147483647   192823     17 |  1.056 % |
109.73/109.72	c |    193678 |    4873   255591  1814718 | 2147483647   193615     17 |  1.056 % |
109.83/109.89	c |    194549 |    4873   255591  1814718 | 2147483647   194486     17 |  1.056 % |
110.13/110.19	c |    195507 |    4873   255591  1814718 | 2147483647   195444     17 |  1.056 % |
110.53/110.55	c |    196560 |    4873   255591  1814718 | 2147483647   196497     17 |  1.056 % |
110.93/110.92	c |    197718 |    4873   255591  1814718 | 2147483647   197655     17 |  1.056 % |
111.13/111.17	c |    198991 |    4873   255531  1814563 | 2147483647   198925     17 |  1.056 % |
111.83/111.88	c |    200391 |    4873   255531  1814563 | 2147483647   200325     17 |  1.056 % |
112.13/112.15	c |    201932 |    4873   255531  1814563 | 2147483647   201866     17 |  1.056 % |
113.03/113.06	c |    203627 |    4873   255531  1814563 | 2147483647   203561     17 |  1.056 % |
114.33/114.40	c |    205490 |    4873   255531  1814563 | 2147483647   205424     17 |  1.056 % |
117.13/117.12	c |    207539 |    4873   255531  1814563 | 2147483647   207473     17 |  1.056 % |
117.13/117.17	c |    207640 |    4873   255531  1814563 | 2147483647   207574     17 |  1.056 % |
117.13/117.21	c |    207750 |    4873   255531  1814563 | 2147483647   207684     17 |  1.056 % |
117.33/117.35	c |    207871 |    4873   255531  1814563 | 2147483647   207805     17 |  1.056 % |
117.33/117.38	c |    208005 |    4873   255531  1814563 | 2147483647   207939     17 |  1.056 % |
117.33/117.41	c |    208152 |    4873   255531  1814563 | 2147483647   208086     17 |  1.056 % |
117.43/117.50	c |    208312 |    4873   255531  1814563 | 2147483647   208246     17 |  1.056 % |
117.53/117.53	c |    208488 |    4873   255531  1814563 | 2147483647   208422     17 |  1.056 % |
117.53/117.57	c |    208681 |    4873   255531  1814563 | 2147483647   208615     17 |  1.056 % |
117.73/117.75	c |    208894 |    4873   255531  1814563 | 2147483647   208828     17 |  1.056 % |
117.83/117.83	c |    209127 |    4873   255531  1814563 | 2147483647   209061     17 |  1.056 % |
117.93/118.00	c |    209383 |    4873   255531  1814563 | 2147483647   209317     17 |  1.056 % |
118.03/118.07	c |    209665 |    4873   255531  1814563 | 2147483647   209599     17 |  1.056 % |
118.33/118.33	c |    209974 |    4873   255531  1814563 | 2147483647   209908     17 |  1.056 % |
118.33/118.38	c |    210313 |    4873   255531  1814563 | 2147483647   210247     17 |  1.056 % |
118.63/118.62	c |    210685 |    4873   255531  1814563 | 2147483647   210619     17 |  1.056 % |
118.63/118.68	c |    211095 |    4873   255531  1814563 | 2147483647   211029     17 |  1.056 % |
118.93/118.97	c |    211545 |    4873   255531  1814563 | 2147483647   211479     17 |  1.056 % |
119.53/119.52	c |    212038 |    4873   255531  1814563 | 2147483647   211972     17 |  1.056 % |
120.13/120.13	c |    212581 |    4873   255531  1814563 | 2147483647   212515     17 |  1.056 % |
120.23/120.25	c |    213178 |    4873   255531  1814563 | 2147483647   213112     17 |  1.056 % |
120.63/120.68	c |    213833 |    4873   255531  1814563 | 2147483647   213767     17 |  1.056 % |
120.73/120.78	c |    214554 |    4873   255531  1814563 | 2147483647   214488     17 |  1.056 % |
121.03/121.02	c |    215346 |    4873   255531  1814563 | 2147483647   215280     17 |  1.056 % |
121.13/121.15	c |    216217 |    4873   255531  1814563 | 2147483647   216151     17 |  1.056 % |
121.63/121.62	c |    217176 |    4873   255531  1814563 | 2147483647   217110     17 |  1.056 % |
121.83/121.85	c |    218230 |    4873   255531  1814563 | 2147483647   218164     17 |  1.056 % |
122.43/122.51	c |    219388 |    4873   255531  1814563 | 2147483647   219322     17 |  1.056 % |
123.13/123.14	c |    220662 |    4873   255531  1814563 | 2147483647   220596     17 |  1.056 % |
123.63/123.71	c |    222063 |    4873   255531  1814563 | 2147483647   221997     17 |  1.056 % |
124.43/124.42	c |    223604 |    4873   255531  1814563 | 2147483647   223538     17 |  1.056 % |
125.73/125.77	c |    225299 |    4873   255531  1814563 | 2147483647   225233     17 |  1.056 % |
128.63/128.63	c |    227162 |    4873   255531  1814563 | 2147483647   227096     17 |  1.056 % |
130.83/130.87	c |    229212 |    4873   255531  1814563 | 2147483647   229146     17 |  1.056 % |
132.03/132.02	c |    231467 |    4873   255531  1814563 | 2147483647   231401     17 |  1.056 % |
132.03/132.05	c |    231568 |    4873   255531  1814563 | 2147483647   231502     17 |  1.056 % |
132.13/132.12	c |    231678 |    4873   255531  1814563 | 2147483647   231612     17 |  1.056 % |
132.13/132.17	c |    231799 |    4873   255531  1814563 | 2147483647   231733     17 |  1.056 % |
132.23/132.28	c |    231934 |    4873   255531  1814563 | 2147483647   231868     17 |  1.056 % |
132.23/132.30	c |    232082 |    4873   255531  1814563 | 2147483647   232016     17 |  1.056 % |
132.33/132.41	c |    232242 |    4873   255531  1814563 | 2147483647   232176     17 |  1.056 % |
132.43/132.48	c |    232419 |    4873   255531  1814563 | 2147483647   232353     17 |  1.056 % |
132.53/132.55	c |    232613 |    4873   255531  1814563 | 2147483647   232547     17 |  1.056 % |
132.63/132.61	c |    232826 |    4873   255531  1814563 | 2147483647   232760     17 |  1.056 % |
132.83/132.83	c |    233059 |    4873   255531  1814563 | 2147483647   232993     17 |  1.056 % |
132.93/132.96	c |    233315 |    4873   255531  1814563 | 2147483647   233249     17 |  1.056 % |
133.03/133.05	c |    233596 |    4873   255531  1814563 | 2147483647   233530     17 |  1.056 % |
133.63/133.69	c |    233905 |    4873   255531  1814563 | 2147483647   233839     17 |  1.056 % |
133.73/133.80	c |    234244 |    4873   255531  1814563 | 2147483647   234178     17 |  1.056 % |
134.03/134.02	c |    234616 |    4873   255531  1814563 | 2147483647   234550     17 |  1.056 % |
134.13/134.12	c |    235025 |    4873   255531  1814563 | 2147483647   234959     17 |  1.056 % |
134.83/134.86	c |    235474 |    4873   255531  1814563 | 2147483647   235408     17 |  1.056 % |
135.53/135.53	c |    235967 |    4873   255531  1814563 | 2147483647   235901     17 |  1.056 % |
135.73/135.79	c |    236511 |    4873   255531  1814563 | 2147483647   236445     17 |  1.056 % |
135.93/135.94	c |    237107 |    4873   255531  1814563 | 2147483647   237041     17 |  1.056 % |
136.53/136.60	c |    237762 |    4873   255531  1814563 | 2147483647   237696     17 |  1.056 % |
136.73/136.78	c |    238483 |    4873   255531  1814563 | 2147483647   238417     17 |  1.056 % |
138.33/138.32	c |    239276 |    4873   255531  1814563 | 2147483647   239210     17 |  1.056 % |
139.03/139.04	c |    240149 |    4873   255531  1814563 | 2147483647   240083     17 |  1.056 % |
139.53/139.58	c |    241107 |    4873   255531  1814563 | 2147483647   241041     17 |  1.056 % |
140.23/140.29	c |    242160 |    4873   255531  1814563 | 2147483647   242094     17 |  1.056 % |
141.03/141.05	c |    243319 |    4873   255531  1814563 | 2147483647   243253     17 |  1.056 % |
142.53/142.57	c |    244594 |    4873   255531  1814563 | 2147483647   244528     17 |  1.056 % |
143.83/143.81	c |    245995 |    4873   255531  1814563 | 2147483647   245929     17 |  1.056 % |
144.73/144.79	c |    247535 |    4873   255531  1814563 | 2147483647   247469     17 |  1.056 % |
146.23/146.24	c |    249229 |    4873   255531  1814563 | 2147483647   249163     17 |  1.056 % |
146.53/146.53	c |    251093 |    4873   255531  1814563 | 2147483647   251027     17 |  1.056 % |
149.63/149.65	c |    253144 |    4873   255531  1814563 | 2147483647   253078     18 |  1.056 % |
151.53/151.57	c |    255397 |    4873   255531  1814563 | 2147483647   255331     18 |  1.056 % |
153.13/153.15	c |    257875 |    4873   255531  1814563 | 2147483647   257809     18 |  1.056 % |
153.13/153.18	c |    257977 |    4873   255531  1814563 | 2147483647   257911     18 |  1.056 % |
153.23/153.22	c |    258088 |    4873   255531  1814563 | 2147483647   258022     18 |  1.056 % |
153.23/153.28	c |    258209 |    4873   255531  1814563 | 2147483647   258143     18 |  1.056 % |
153.33/153.35	c |    258342 |    4873   255531  1814563 | 2147483647   258276     18 |  1.056 % |
153.33/153.41	c |    258489 |    4873   255531  1814563 | 2147483647   258423     18 |  1.056 % |
153.53/153.60	c |    258649 |    4873   255531  1814563 | 2147483647   258583     18 |  1.056 % |
153.63/153.65	c |    258827 |    4873   255531  1814563 | 2147483647   258761     18 |  1.056 % |
153.73/153.74	c |    259020 |    4873   255531  1814563 | 2147483647   258954     18 |  1.056 % |
153.93/153.93	c |    259234 |    4873   255531  1814563 | 2147483647   259168     18 |  1.056 % |
153.93/153.99	c |    259468 |    4873   255531  1814563 | 2147483647   259402     18 |  1.056 % |
154.23/154.30	c |    259725 |    4873   255531  1814563 | 2147483647   259659     18 |  1.056 % |
154.43/154.44	c |    260007 |    4873   255531  1814563 | 2147483647   259941     18 |  1.056 % |
154.63/154.69	c |    260316 |    4873   255531  1814563 | 2147483647   260250     18 |  1.056 % |
154.73/154.78	c |    260656 |    4873   255531  1814563 | 2147483647   260590     18 |  1.056 % |
155.03/155.02	c |    261029 |    4873   255531  1814563 | 2147483647   260963     18 |  1.056 % |
155.23/155.30	c |    261439 |    4873   255531  1814563 | 2147483647   261373     18 |  1.056 % |
155.43/155.44	c |    261888 |    4873   255531  1814563 | 2147483647   261822     18 |  1.056 % |
155.83/155.87	c |    262381 |    4873   255531  1814563 | 2147483647   262315     18 |  1.056 % |
156.03/156.09	c |    262924 |    4873   255531  1814563 | 2147483647   262858     18 |  1.056 % |
156.83/156.91	c |    263520 |    4873   255531  1814563 | 2147483647   263454     18 |  1.056 % |
157.03/157.04	c |    264175 |    4873   255531  1814563 | 2147483647   264109     18 |  1.056 % |
157.63/157.67	c |    264896 |    4873   255531  1814563 | 2147483647   264830     18 |  1.056 % |
158.63/158.63	c |    265688 |    4873   255531  1814563 | 2147483647   265622     18 |  1.056 % |
158.83/158.88	c |    266561 |    4873   255531  1814563 | 2147483647   266495     18 |  1.056 % |
160.23/160.29	c |    267520 |    4873   255531  1814563 | 2147483647   267454     18 |  1.056 % |
161.03/161.03	c |    268573 |    4873   255531  1814563 | 2147483647   268507     18 |  1.056 % |
162.53/162.55	c |    269732 |    4873   255531  1814563 | 2147483647   269666     18 |  1.056 % |
163.73/163.77	c |    271005 |    4873   255531  1814563 | 2147483647   270939     18 |  1.056 % |
164.63/164.63	c |    272406 |    4873   255531  1814563 | 2147483647   272340     18 |  1.056 % |
164.83/164.90	c |    273947 |    4873   255531  1814563 | 2147483647   273881     18 |  1.056 % |
166.23/166.30	c |    275641 |    4873   255531  1814563 | 2147483647   275575     18 |  1.056 % |
166.93/166.97	c |    277504 |    4873   255531  1814563 | 2147483647   277438     18 |  1.056 % |
168.13/168.14	c |    279553 |    4873   255531  1814563 | 2147483647   279487     18 |  1.056 % |
168.83/168.83	c |    281807 |    4873   255531  1814563 | 2147483647   281741     18 |  1.056 % |
171.03/171.11	c |    284286 |    4873   255531  1814563 | 2147483647   284220     18 |  1.056 % |
172.63/172.64	c |    287012 |    4873   255531  1814563 | 2147483647   286946     18 |  1.056 % |
172.73/172.73	c |    287113 |    4873   255531  1814563 | 2147483647   287047     18 |  1.056 % |
172.73/172.78	c |    287223 |    4873   255531  1814563 | 2147483647   287157     18 |  1.056 % |
172.83/172.87	c |    287344 |    4873   255531  1814563 | 2147483647   287278     18 |  1.056 % |
172.93/172.94	c |    287479 |    4873   255531  1814563 | 2147483647   287413     18 |  1.056 % |
172.93/172.98	c |    287625 |    4873   255531  1814563 | 2147483647   287559     18 |  1.056 % |
173.03/173.05	c |    287786 |    4873   255531  1814563 | 2147483647   287720     18 |  1.056 % |
173.23/173.21	c |    287962 |    4873   255531  1814563 | 2147483647   287896     18 |  1.056 % |
173.23/173.28	c |    288155 |    4873   255531  1814563 | 2147483647   288089     18 |  1.056 % |
173.33/173.36	c |    288367 |    4873   255531  1814563 | 2147483647   288301     18 |  1.056 % |
173.63/173.65	c |    288602 |    4873   255531  1814563 | 2147483647   288536     18 |  1.056 % |
173.63/173.70	c |    288859 |    4873   255531  1814563 | 2147483647   288793     18 |  1.056 % |
173.73/173.79	c |    289140 |    4873   255531  1814563 | 2147483647   289074     18 |  1.056 % |
173.93/174.00	c |    289450 |    4873   255531  1814563 | 2147483647   289384     18 |  1.056 % |
174.23/174.25	c |    289789 |    4873   255531  1814563 | 2147483647   289723     18 |  1.056 % |
174.43/174.44	c |    290162 |    4873   255531  1814563 | 2147483647   290096     18 |  1.056 % |
174.73/174.81	c |    290572 |    4873   255531  1814563 | 2147483647   290506     18 |  1.056 % |
174.93/174.91	c |    291021 |    4873   255531  1814563 | 2147483647   290955     18 |  1.056 % |
175.33/175.34	c |    291515 |    4873   255531  1814563 | 2147483647   291449     18 |  1.056 % |
175.43/175.46	c |    292057 |    4873   255531  1814563 | 2147483647   291991     18 |  1.056 % |
175.93/176.00	c |    292653 |    4873   255531  1814563 | 2147483647   292587     18 |  1.056 % |
176.43/176.50	c |    293310 |    4873   255531  1814563 | 2147483647   293244     18 |  1.056 % |
176.63/176.65	c |    294031 |    4873   255531  1814563 | 2147483647   293965     18 |  1.056 % |
177.43/177.41	c |    294823 |    4873   255531  1814563 | 2147483647   294757     18 |  1.056 % |
177.93/177.91	c |    295695 |    4873   255531  1814563 | 2147483647   295629     18 |  1.056 % |
178.83/178.89	c |    296655 |    4873   255531  1814563 | 2147483647   296589     18 |  1.056 % |
179.53/179.58	c |    297709 |    4873   255531  1814563 | 2147483647   297643     18 |  1.056 % |
179.73/179.78	c |    298867 |    4873   255531  1814563 | 2147483647   298801     18 |  1.056 % |
180.83/180.81	c |    300141 |    4873   255531  1814563 | 2147483647   300075     18 |  1.056 % |
181.63/181.69	c |    301541 |    4873   255531  1814563 | 2147483647   301475     18 |  1.056 % |
182.73/182.76	c |    303082 |    4873   255531  1814563 | 2147483647   303016     18 |  1.056 % |
182.93/182.97	c |    304776 |    4873   255531  1814563 | 2147483647   304710     18 |  1.056 % |
184.93/184.93	c |    306639 |    4873   255531  1814563 | 2147483647   306573     18 |  1.056 % |
186.33/186.33	c |    308689 |    4873   255531  1814563 | 2147483647   308623     18 |  1.056 % |
187.63/187.63	c |    310942 |    4873   255531  1814563 | 2147483647   310876     18 |  1.056 % |
189.13/189.20	c |    313420 |    4873   255531  1814563 | 2147483647   313354     18 |  1.056 % |
190.93/191.01	c |    316145 |    4873   255531  1814563 | 2147483647   316079     18 |  1.056 % |
193.53/193.55	c |    319144 |    4873   255531  1814563 | 2147483647   319078     18 |  1.056 % |
193.53/193.57	c |    319244 |    4873   255531  1814563 | 2147483647   319178     18 |  1.056 % |
193.64/193.62	c |    319355 |    4873   255531  1814563 | 2147483647   319289     18 |  1.056 % |
193.64/193.65	c |    319476 |    4873   255531  1814563 | 2147483647   319410     18 |  1.056 % |
193.73/193.74	c |    319609 |    4873   255531  1814563 | 2147483647   319543     18 |  1.056 % |
193.73/193.79	c |    319756 |    4873   255531  1814563 | 2147483647   319690     18 |  1.056 % |
193.93/193.91	c |    319917 |    4873   255531  1814563 | 2147483647   319851     18 |  1.056 % |
193.93/193.98	c |    320093 |    4873   255531  1814563 | 2147483647   320027     18 |  1.056 % |
194.13/194.21	c |    320286 |    4873   255531  1814563 | 2147483647   320220     18 |  1.056 % |
194.33/194.35	c |    320498 |    4873   255531  1814563 | 2147483647   320432     18 |  1.056 % |
194.74/194.73	c |    320732 |    4873   255531  1814563 | 2147483647   320666     18 |  1.056 % |
194.83/194.86	c |    320989 |    4873   255531  1814563 | 2147483647   320923     18 |  1.056 % |
195.03/195.08	c |    321271 |    4873   255531  1814563 | 2147483647   321205     18 |  1.056 % |
195.13/195.20	c |    321580 |    4873   255531  1814563 | 2147483647   321514     18 |  1.056 % |
195.43/195.42	c |    321919 |    4873   255531  1814563 | 2147483647   321853     18 |  1.056 % |
195.73/195.79	c |    322291 |    4873   255531  1814563 | 2147483647   322225     18 |  1.056 % |
195.93/196.00	c |    322700 |    4873   255531  1814563 | 2147483647   322634     18 |  1.056 % |
196.53/196.51	c |    323149 |    4873   255531  1814563 | 2147483647   323083     18 |  1.056 % |
196.94/196.93	c |    323642 |    4873   255531  1814563 | 2147483647   323576     18 |  1.056 % |
197.03/197.04	c |    324184 |    4873   255531  1814563 | 2147483647   324118     18 |  1.056 % |
197.53/197.52	c |    324780 |    4873   255531  1814563 | 2147483647   324714     18 |  1.056 % |
198.13/198.11	c |    325437 |    4873   255531  1814563 | 2147483647   325371     18 |  1.056 % |
198.53/198.56	c |    326157 |    4873   255531  1814563 | 2147483647   326091     18 |  1.056 % |
199.53/199.57	c |    326949 |    4873   255531  1814563 | 2147483647   326883     18 |  1.056 % |
201.23/201.21	c |    327821 |    4873   255531  1814563 | 2147483647   327755     18 |  1.056 % |
201.63/201.68	c |    328779 |    4873   255531  1814563 | 2147483647   328713     18 |  1.056 % |
202.53/202.56	c |    329832 |    4873   255531  1814563 | 2147483647   329766     18 |  1.056 % |
203.54/203.55	c |    330990 |    4873   255531  1814563 | 2147483647   330924     18 |  1.056 % |
205.93/205.98	c |    332263 |    4873   255531  1814563 | 2147483647   332197     18 |  1.056 % |
206.93/207.01	c |    333663 |    4873   255531  1814563 | 2147483647   333597     18 |  1.056 % |
209.33/209.40	c |    335203 |    4873   255531  1814563 | 2147483647   335137     18 |  1.056 % |
209.73/209.77	c |    336898 |    4873   255531  1814563 | 2147483647   336832     18 |  1.056 % |
211.03/211.05	c |    338762 |    4873   255531  1814563 | 2147483647   338696     18 |  1.056 % |
211.83/211.90	c |    340813 |    4873   255531  1814563 | 2147483647   340747     18 |  1.056 % |
214.33/214.39	c |    343066 |    4873   255531  1814563 | 2147483647   343000     18 |  1.056 % |
216.63/216.64	c |    345545 |    4873   255531  1814563 | 2147483647   345479     18 |  1.056 % |
219.03/219.08	c |    348271 |    4873   255531  1814563 | 2147483647   348205     18 |  1.056 % |
221.43/221.42	c |    351268 |    4873   255531  1814563 | 2147483647   351202     18 |  1.056 % |
226.83/226.89	c |    354566 |    4873   255531  1814563 | 2147483647   354500     18 |  1.056 % |
226.93/227.00	c |    354666 |    4873   255531  1814563 | 2147483647   354600     18 |  1.056 % |
227.13/227.14	c |    354778 |    4873   255531  1814563 | 2147483647   354712     18 |  1.056 % |
227.23/227.21	c |    354899 |    4873   255531  1814563 | 2147483647   354833     18 |  1.056 % |
227.33/227.33	c |    355034 |    4873   255531  1814563 | 2147483647   354968     18 |  1.056 % |
227.43/227.43	c |    355181 |    4873   255531  1814563 | 2147483647   355115     18 |  1.056 % |
227.63/227.63	c |    355342 |    4873   255531  1814563 | 2147483647   355276     18 |  1.056 % |
227.74/227.73	c |    355518 |    4873   255531  1814563 | 2147483647   355452     18 |  1.056 % |
227.83/227.89	c |    355712 |    4873   255531  1814563 | 2147483647   355646     18 |  1.056 % |
228.03/228.05	c |    355925 |    4873   255531  1814563 | 2147483647   355859     18 |  1.056 % |
228.13/228.16	c |    356158 |    4873   255531  1814563 | 2147483647   356092     18 |  1.056 % |
228.33/228.33	c |    356414 |    4873   255531  1814563 | 2147483647   356348     18 |  1.056 % |
228.53/228.56	c |    356695 |    4873   255531  1814563 | 2147483647   356629     18 |  1.056 % |
228.63/228.65	c |    357004 |    4873   255531  1814563 | 2147483647   356938     18 |  1.056 % |
229.03/229.03	c |    357344 |    4873   255531  1814563 | 2147483647   357278     18 |  1.056 % |
229.53/229.51	c |    357717 |    4873   255531  1814563 | 2147483647   357651     18 |  1.056 % |
229.94/229.96	c |    358126 |    4873   255531  1814563 | 2147483647   358060     18 |  1.056 % |
230.33/230.31	c |    358576 |    4873   255531  1814563 | 2147483647   358510     18 |  1.056 % |
230.83/230.86	c |    359070 |    4873   255531  1814563 | 2147483647   359004     18 |  1.056 % |
230.93/230.99	c |    359612 |    4873   255531  1814563 | 2147483647   359546     18 |  1.056 % |
231.73/231.71	c |    360208 |    4873   255531  1814563 | 2147483647   360142     18 |  1.056 % |
231.93/231.98	c |    360864 |    4873   255531  1814563 | 2147483647   360798     18 |  1.056 % |
232.43/232.49	c |    361584 |    4873   255531  1814563 | 2147483647   361518     18 |  1.056 % |
233.03/233.07	c |    362378 |    4873   255531  1814563 | 2147483647   362312     18 |  1.056 % |
234.23/234.23	c |    363249 |    4873   255531  1814563 | 2147483647   363183     18 |  1.056 % |
234.53/234.55	c |    364208 |    4873   255531  1814563 | 2147483647   364142     18 |  1.056 % |
235.33/235.40	c |    365262 |    4873   255531  1814563 | 2147483647   365196     18 |  1.056 % |
236.54/236.53	c |    366420 |    4873   255531  1814563 | 2147483647   366354     18 |  1.056 % |
237.34/237.38	c |    367694 |    4873   255531  1814563 | 2147483647   367628     18 |  1.056 % |
238.54/238.53	c |    369094 |    4873   255531  1814563 | 2147483647   369028     18 |  1.056 % |
239.14/239.12	c |    370634 |    4873   255531  1814563 | 2147483647   370568     18 |  1.056 % |
241.24/241.26	c |    372328 |    4873   255531  1814563 | 2147483647   372262     18 |  1.056 % |
242.94/242.94	c |    374192 |    4873   255531  1814563 | 2147483647   374126     18 |  1.056 % |
243.34/243.35	c |    376242 |    4873   255531  1814563 | 2147483647   376176     18 |  1.056 % |
247.44/247.47	c |    378495 |    4873   255531  1814563 | 2147483647   378429     18 |  1.056 % |
248.84/248.91	c |    380973 |    4873   255531  1814563 | 2147483647   380907     18 |  1.056 % |
251.74/251.80	c |    383698 |    4873   255531  1814563 | 2147483647   383632     18 |  1.056 % |
254.74/254.79	c |    386697 |    4873   255531  1814563 | 2147483647   386631     18 |  1.056 % |
259.64/259.66	c |    389995 |    4873   255531  1814563 | 2147483647   389929     18 |  1.056 % |
266.84/266.88	c |    393620 |    4873   255531  1814563 | 2147483647   393554     18 |  1.056 % |
266.94/266.92	c |    393722 |    4873   255531  1814563 | 2147483647   393656     18 |  1.056 % |
266.94/266.96	c |    393832 |    4873   255531  1814563 | 2147483647   393766     18 |  1.056 % |
267.04/267.09	c |    393953 |    4873   255531  1814563 | 2147483647   393887     18 |  1.056 % |
267.14/267.18	c |    394087 |    4873   255531  1814563 | 2147483647   394021     18 |  1.056 % |
267.44/267.45	c |    394234 |    4873   255531  1814563 | 2147483647   394168     18 |  1.056 % |
267.64/267.64	c |    394394 |    4873   255531  1814563 | 2147483647   394328     18 |  1.056 % |
267.74/267.71	c |    394572 |    4873   255531  1814563 | 2147483647   394506     18 |  1.056 % |
267.74/267.78	c |    394766 |    4873   255531  1814563 | 2147483647   394700     18 |  1.056 % |
267.94/267.91	c |    394978 |    4873   255531  1814563 | 2147483647   394912     18 |  1.056 % |
268.04/268.06	c |    395211 |    4873   255531  1814563 | 2147483647   395145     18 |  1.056 % |
268.14/268.17	c |    395468 |    4873   255531  1814563 | 2147483647   395402     18 |  1.056 % |
268.44/268.48	c |    395750 |    4873   255531  1814563 | 2147483647   395684     18 |  1.056 % |
268.54/268.55	c |    396060 |    4873   255531  1814563 | 2147483647   395994     18 |  1.056 % |
268.74/268.76	c |    396399 |    4873   255531  1814563 | 2147483647   396333     18 |  1.056 % |
269.04/269.08	c |    396771 |    4873   255531  1814563 | 2147483647   396705     18 |  1.056 % |
269.54/269.54	c |    397181 |    4873   255531  1814563 | 2147483647   397115     18 |  1.056 % |
269.64/269.65	c |    397630 |    4873   255531  1814563 | 2147483647   397564     18 |  1.056 % |
269.94/269.94	c |    398123 |    4873   255531  1814563 | 2147483647   398057     18 |  1.056 % |
270.44/270.47	c |    398666 |    4873   255531  1814563 | 2147483647   398600     18 |  1.056 % |
270.54/270.61	c |    399262 |    4873   255531  1814563 | 2147483647   399196     18 |  1.056 % |
271.04/271.03	c |    399917 |    4873   255531  1814563 | 2147483647   399851     18 |  1.056 % |
271.34/271.40	c |    400637 |    4873   255531  1814563 | 2147483647   400571     18 |  1.056 % |
271.54/271.60	c |    401430 |    4873   255531  1814563 | 2147483647   401364     18 |  1.056 % |
272.44/272.47	c |    402302 |    4873   255531  1814563 | 2147483647   402236     18 |  1.056 % |
272.74/272.75	c |    403260 |    4873   255531  1814563 | 2147483647   403194     18 |  1.056 % |
273.44/273.47	c |    404313 |    4873   255531  1814563 | 2147483647   404247     18 |  1.056 % |
273.74/273.75	c |    405471 |    4873   255531  1814563 | 2147483647   405405     18 |  1.056 % |
274.94/274.98	c |    406745 |    4872   255519  1814532 | 2147483647   406677     18 |  1.076 % |
275.94/275.96	c |    408146 |    4872   255519  1814532 | 2147483647   408078     18 |  1.076 % |
279.24/279.24	c |    409687 |    4872   255519  1814532 | 2147483647   409619     18 |  1.076 % |
280.34/280.37	c |    411383 |    4872   255519  1814532 | 2147483647   411315     18 |  1.076 % |
281.34/281.36	c |    413249 |    4872   255519  1814532 | 2147483647   413181     18 |  1.076 % |
281.74/281.76	c |    415298 |    4872   255519  1814532 | 2147483647   415230     18 |  1.076 % |
284.54/284.57	c |    417551 |    4872   255519  1814532 | 2147483647   417483     19 |  1.076 % |
286.14/286.12	c |    420031 |    4872   255519  1814532 | 2147483647   419963     19 |  1.076 % |
289.64/289.65	c |    422756 |    4872   255519  1814532 | 2147483647   422688     19 |  1.076 % |
292.14/292.13	c |    425753 |    4872   255519  1814532 | 2147483647   425685     19 |  1.076 % |
293.94/293.95	c |    429049 |    4872   255519  1814532 | 2147483647   428981     19 |  1.076 % |
298.94/298.93	c |    432675 |    4872   255519  1814532 | 2147483647   432607     19 |  1.076 % |
301.74/301.78	c |    436662 |    4872   255519  1814532 | 2147483647   436594     19 |  1.076 % |
301.84/301.84	c |    436763 |    4872   255519  1814532 | 2147483647   436695     19 |  1.076 % |
301.94/301.99	c |    436873 |    4872   255519  1814532 | 2147483647   436805     19 |  1.076 % |
302.04/302.03	c |    436994 |    4872   255519  1814532 | 2147483647   436926     19 |  1.076 % |
302.24/302.25	c |    437128 |    4872   255519  1814532 | 2147483647   437060     19 |  1.076 % |
302.24/302.30	c |    437274 |    4872   255519  1814532 | 2147483647   437206     19 |  1.076 % |
302.54/302.51	c |    437434 |    4872   255519  1814532 | 2147483647   437366     19 |  1.076 % |
302.64/302.62	c |    437611 |    4872   255519  1814532 | 2147483647   437543     19 |  1.076 % |
302.64/302.70	c |    437805 |    4872   255519  1814532 | 2147483647   437737     19 |  1.076 % |
302.74/302.80	c |    438017 |    4872   255519  1814532 | 2147483647   437949     19 |  1.076 % |
302.94/302.97	c |    438251 |    4872   255519  1814532 | 2147483647   438183     19 |  1.076 % |
303.34/303.35	c |    438508 |    4872   255519  1814532 | 2147483647   438440     19 |  1.076 % |
303.74/303.72	c |    438789 |    4872   255519  1814532 | 2147483647   438721     19 |  1.076 % |
303.94/303.92	c |    439098 |    4872   255519  1814532 | 2147483647   439030     19 |  1.076 % |
304.04/304.05	c |    439437 |    4872   255519  1814532 | 2147483647   439369     19 |  1.076 % |
304.54/304.56	c |    439809 |    4872   255519  1814532 | 2147483647   439741     19 |  1.076 % |
304.74/304.74	c |    440218 |    4872   255519  1814532 | 2147483647   440150     19 |  1.076 % |
304.94/304.92	c |    440667 |    4872   255519  1814532 | 2147483647   440599     19 |  1.076 % |
305.74/305.77	c |    441161 |    4872   255519  1814532 | 2147483647   441093     19 |  1.076 % |
306.04/306.05	c |    441704 |    4872   255519  1814532 | 2147483647   441636     19 |  1.076 % |
306.84/306.85	c |    442300 |    4872   255519  1814532 | 2147483647   442232     19 |  1.076 % |
306.94/307.00	c |    442956 |    4872   255519  1814532 | 2147483647   442888     19 |  1.076 % |
307.54/307.59	c |    443676 |    4872   255519  1814532 | 2147483647   443608     19 |  1.076 % |
307.94/307.98	c |    444468 |    4872   255519  1814532 | 2147483647   444400     19 |  1.076 % |
309.14/309.12	c |    445340 |    4872   255519  1814532 | 2147483647   445272     19 |  1.076 % |
310.74/310.76	c |    446299 |    4872   255519  1814532 | 2147483647   446231     19 |  1.076 % |
311.84/311.83	c |    447353 |    4872   255519  1814532 | 2147483647   447285     19 |  1.076 % |
313.24/313.23	c |    448512 |    4872   255519  1814532 | 2147483647   448444     19 |  1.076 % |
313.74/313.77	c |    449785 |    4872   255519  1814532 | 2147483647   449717     19 |  1.076 % |
314.84/314.87	c |    451185 |    4872   255519  1814532 | 2147483647   451117     19 |  1.076 % |
316.54/316.52	c |    452726 |    4872   255519  1814532 | 2147483647   452658     19 |  1.076 % |
319.64/319.68	c |    454421 |    4872   255519  1814532 | 2147483647   454353     19 |  1.076 % |
320.64/320.69	c |    456285 |    4872   255519  1814532 | 2147483647   456217     19 |  1.076 % |
323.24/323.29	c |    458334 |    4872   255519  1814532 | 2147483647   458266     19 |  1.076 % |
326.44/326.46	c |    460588 |    4872   255519  1814532 | 2147483647   460520     19 |  1.076 % |
327.14/327.20	c |    463067 |    4872   255519  1814532 | 2147483647   462999     19 |  1.076 % |
333.94/333.94	c |    465792 |    4872   255519  1814532 | 2147483647   465724     19 |  1.076 % |
338.14/338.17	c |    468790 |    4872   255519  1814532 | 2147483647   468722     19 |  1.076 % |
341.94/341.97	c |    472086 |    4872   255519  1814532 | 2147483647   472018     19 |  1.076 % |
348.04/348.09	c |    475711 |    4872   255519  1814532 | 2147483647   475643     19 |  1.076 % |
350.74/350.79	c |    479699 |    4872   255519  1814532 | 2147483647   479631     19 |  1.076 % |
355.04/355.08	c |    484084 |    4872   255519  1814532 | 2147483647   484016     19 |  1.076 % |
355.14/355.19	c |    484185 |    4872   255519  1814532 | 2147483647   484117     19 |  1.076 % |
355.44/355.50	c |    484295 |    4872   255519  1814532 | 2147483647   484227     19 |  1.076 % |
355.54/355.56	c |    484416 |    4872   255519  1814532 | 2147483647   484348     19 |  1.076 % |
355.74/355.73	c |    484551 |    4872   255519  1814532 | 2147483647   484483     19 |  1.076 % |
355.74/355.79	c |    484697 |    4872   255519  1814532 | 2147483647   484629     19 |  1.076 % |
355.84/355.88	c |    484857 |    4872   255519  1814532 | 2147483647   484789     19 |  1.076 % |
356.14/356.15	c |    485034 |    4872   255519  1814532 | 2147483647   484966     19 |  1.076 % |
356.34/356.31	c |    485229 |    4872   255519  1814532 | 2147483647   485161     19 |  1.076 % |
356.45/356.43	c |    485441 |    4872   255519  1814532 | 2147483647   485373     19 |  1.076 % |
356.74/356.77	c |    485674 |    4872   255519  1814532 | 2147483647   485606     19 |  1.076 % |
356.94/356.94	c |    485930 |    4872   255519  1814532 | 2147483647   485862     19 |  1.076 % |
357.24/357.24	c |    486211 |    4872   255519  1814532 | 2147483647   486143     19 |  1.076 % |
357.34/357.37	c |    486520 |    4872   255519  1814532 | 2147483647   486452     19 |  1.076 % |
358.54/358.52	c |    486861 |    4872   255519  1814532 | 2147483647   486793     19 |  1.076 % |
358.84/358.89	c |    487234 |    4872   255519  1814532 | 2147483647   487166     19 |  1.076 % |
359.04/359.07	c |    487645 |    4872   255519  1814532 | 2147483647   487577     19 |  1.076 % |
359.94/359.92	c |    488094 |    4872   255519  1814532 | 2147483647   488026     19 |  1.076 % |
360.04/360.09	c |    488587 |    4872   255519  1814532 | 2147483647   488519     19 |  1.076 % |
360.64/360.66	c |    489129 |    4872   255519  1814532 | 2147483647   489061     19 |  1.076 % |
360.74/360.78	c |    489725 |    4872   255519  1814532 | 2147483647   489657     19 |  1.076 % |
362.04/362.06	c |    490380 |    4872   255519  1814532 | 2147483647   490312     19 |  1.076 % |
362.84/362.88	c |    491100 |    4872   255519  1814532 | 2147483647   491032     19 |  1.076 % |
364.24/364.27	c |    491892 |    4872   255519  1814532 | 2147483647   491824     19 |  1.076 % |
364.54/364.59	c |    492764 |    4872   255519  1814532 | 2147483647   492696     19 |  1.076 % |
364.84/364.88	c |    493723 |    4872   255519  1814532 | 2147483647   493655     19 |  1.076 % |
366.35/366.34	c |    494776 |    4872   255519  1814532 | 2147483647   494708     19 |  1.076 % |
368.05/368.03	c |    495934 |    4872   255519  1814532 | 2147483647   495866     19 |  1.076 % |
369.15/369.18	c |    497207 |    4872   255519  1814532 | 2147483647   497139     19 |  1.076 % |
370.75/370.76	c |    498608 |    4872   255519  1814532 | 2147483647   498540     19 |  1.076 % |
372.15/372.14	c |    500148 |    4872   255519  1814532 | 2147483647   500080     19 |  1.076 % |
374.55/374.57	c |    501843 |    4872   255519  1814532 | 2147483647   501775     19 |  1.076 % |
376.65/376.63	c |    503706 |    4872   255519  1814532 | 2147483647   503638     19 |  1.076 % |
377.05/377.06	c |    505755 |    4872   255519  1814532 | 2147483647   505687     19 |  1.076 % |
379.35/379.41	c |    508009 |    4872   255519  1814532 | 2147483647   507941     19 |  1.076 % |
383.15/383.15	c |    510487 |    4872   255519  1814532 | 2147483647   510419     19 |  1.076 % |
386.75/386.74	c |    513213 |    4872   255519  1814532 | 2147483647   513145     19 |  1.076 % |
390.45/390.42	c |    516211 |    4872   255519  1814532 | 2147483647   516143     19 |  1.076 % |
392.65/392.62	c |    519507 |    4872   255519  1814532 | 2147483647   519439     19 |  1.076 % |
395.65/395.69	c |    523132 |    4872   255519  1814532 | 2147483647   523064     19 |  1.076 % |
402.15/402.19	c |    527119 |    4872   255519  1814532 | 2147483647   527051     19 |  1.076 % |
410.56/410.58	c |    531505 |    4872   255519  1814532 | 2147483647   531437     19 |  1.076 % |
415.86/415.83	c |    536329 |    4872   255519  1814532 | 2147483647   536261     19 |  1.076 % |
415.96/415.94	c |    536430 |    4872   255519  1814532 | 2147483647   536362     19 |  1.076 % |
416.06/416.06	c |    536540 |    4872   255519  1814532 | 2147483647   536472     19 |  1.076 % |
416.16/416.18	c |    536662 |    4872   255519  1814532 | 2147483647   536594     19 |  1.076 % |
416.26/416.31	c |    536795 |    4872   255519  1814532 | 2147483647   536727     19 |  1.076 % |
416.46/416.48	c |    536943 |    4872   255519  1814532 | 2147483647   536875     19 |  1.076 % |
416.56/416.59	c |    537103 |    4872   255519  1814532 | 2147483647   537035     19 |  1.076 % |
416.66/416.70	c |    537281 |    4872   255519  1814532 | 2147483647   537213     19 |  1.076 % |
416.76/416.79	c |    537474 |    4872   255519  1814532 | 2147483647   537406     19 |  1.076 % |
417.26/417.22	c |    537686 |    4872   255519  1814532 | 2147483647   537618     19 |  1.076 % |
417.36/417.41	c |    537919 |    4872   255519  1814532 | 2147483647   537851     19 |  1.076 % |
417.46/417.52	c |    538177 |    4872   255519  1814532 | 2147483647   538109     19 |  1.076 % |
418.06/418.06	c |    538458 |    4872   255519  1814532 | 2147483647   538390     19 |  1.076 % |
418.46/418.50	c |    538767 |    4872   255519  1814532 | 2147483647   538699     19 |  1.076 % |
418.56/418.62	c |    539107 |    4872   255519  1814532 | 2147483647   539039     19 |  1.076 % |
418.96/418.92	c |    539479 |    4872   255519  1814532 | 2147483647   539411     19 |  1.076 % |
419.06/419.06	c |    539888 |    4872   255519  1814532 | 2147483647   539820     19 |  1.076 % |
419.76/419.73	c |    540337 |    4872   255519  1814532 | 2147483647   540269     19 |  1.076 % |
419.96/419.96	c |    540830 |    4872   255519  1814532 | 2147483647   540762     19 |  1.076 % |
420.26/420.27	c |    541372 |    4872   255519  1814532 | 2147483647   541304     19 |  1.076 % |
421.06/421.02	c |    541968 |    4872   255519  1814532 | 2147483647   541900     19 |  1.076 % |
422.46/422.44	c |    542624 |    4872   255519  1814532 | 2147483647   542556     19 |  1.076 % |
422.96/423.00	c |    543344 |    4872   255519  1814532 | 2147483647   543276     19 |  1.076 % |
423.96/423.92	c |    544137 |    4872   255519  1814532 | 2147483647   544069     19 |  1.076 % |
424.26/424.29	c |    545009 |    4872   255519  1814532 | 2147483647   544941     19 |  1.076 % |
426.16/426.18	c |    545967 |    4872   255519  1814532 | 2147483647   545899     19 |  1.076 % |
427.06/427.10	c |    547021 |    4872   255519  1814532 | 2147483647   546953     19 |  1.076 % |
428.76/428.79	c |    548179 |    4872   255519  1814532 | 2147483647   548111     19 |  1.076 % |
429.26/429.29	c |    549453 |    4872   255519  1814532 | 2147483647   549385     19 |  1.076 % |
431.95/431.95	c |    550854 |    4872   255519  1814532 | 2147483647   550786     19 |  1.076 % |
433.65/433.70	c |    552396 |    4872   255519  1814532 | 2147483647   552328     19 |  1.076 % |
435.85/435.87	c |    554090 |    4872   255519  1814532 | 2147483647   554022     19 |  1.076 % |
437.95/437.98	c |    555955 |    4872   255519  1814532 | 2147483647   555887     19 |  1.076 % |
439.95/440.01	c |    558004 |    4872   255519  1814532 | 2147483647   557936     19 |  1.076 % |
444.15/444.14	c |    560257 |    4872   255519  1814532 | 2147483647   560189     19 |  1.076 % |
448.15/448.15	c |    562736 |    4872   255519  1814532 | 2147483647   562668     19 |  1.076 % |
451.25/451.28	c |    565462 |    4872   255519  1814532 | 2147483647   565394     19 |  1.076 % |
454.95/454.93	c |    568462 |    4872   255519  1814532 | 2147483647   568394     19 |  1.076 % |
457.05/457.01	c |    571760 |    4872   255519  1814532 | 2147483647   571692     19 |  1.076 % |
463.75/463.73	c |    575386 |    4872   255519  1814532 | 2147483647   575318     19 |  1.076 % |
468.25/468.21	c |    579374 |    4872   255519  1814532 | 2147483647   579306     19 |  1.076 % |
472.45/472.48	c |    583759 |    4871   255507  1814501 | 2147483647   583687     19 |  1.096 % |
475.65/475.63	c |    588582 |    4871   255507  1814501 | 2147483647   588510     19 |  1.096 % |
477.85/477.87	c |    593887 |    4871   255507  1814501 | 2147483647   593815     19 |  1.096 % |
477.95/478.00	c |    593987 |    4871   255507  1814501 | 2147483647   593915     19 |  1.096 % |
478.15/478.14	c |    594099 |    4871   255507  1814501 | 2147483647   594027     19 |  1.096 % |
478.45/478.41	c |    594220 |    4871   255507  1814501 | 2147483647   594148     19 |  1.096 % |
478.45/478.51	c |    594354 |    4871   255507  1814501 | 2147483647   594282     19 |  1.096 % |
478.65/478.62	c |    594500 |    4871   255507  1814501 | 2147483647   594428     19 |  1.096 % |
478.75/478.75	c |    594661 |    4871   255507  1814501 | 2147483647   594589     19 |  1.096 % |
479.05/479.04	c |    594838 |    4871   255507  1814501 | 2147483647   594766     19 |  1.096 % |
479.15/479.11	c |    595033 |    4871   255507  1814501 | 2147483647   594961     19 |  1.096 % |
479.55/479.55	c |    595247 |    4871   255507  1814501 | 2147483647   595175     19 |  1.096 % |
479.75/479.75	c |    595480 |    4871   255507  1814501 | 2147483647   595408     19 |  1.096 % |
479.85/479.87	c |    595738 |    4871   255507  1814501 | 2147483647   595666     19 |  1.096 % |
480.25/480.22	c |    596021 |    4871   255507  1814501 | 2147483647   595949     19 |  1.096 % |
480.35/480.37	c |    596330 |    4871   255507  1814501 | 2147483647   596258     19 |  1.096 % |
480.55/480.51	c |    596669 |    4871   255507  1814501 | 2147483647   596597     19 |  1.096 % |
480.95/480.95	c |    597041 |    4871   255507  1814501 | 2147483647   596969     19 |  1.096 % |
481.15/481.18	c |    597451 |    4871   255507  1814501 | 2147483647   597379     19 |  1.096 % |
481.86/481.87	c |    597900 |    4871   255507  1814501 | 2147483647   597828     19 |  1.096 % |
482.05/482.06	c |    598393 |    4871   255507  1814501 | 2147483647   598321     19 |  1.096 % |
483.05/483.07	c |    598936 |    4871   255507  1814501 | 2147483647   598864     19 |  1.096 % |
483.65/483.66	c |    599532 |    4871   255507  1814501 | 2147483647   599460     19 |  1.096 % |
484.55/484.53	c |    600188 |    4871   255507  1814501 | 2147483647   600116     19 |  1.096 % |
485.05/485.03	c |    600909 |    4871   255507  1814501 | 2147483647   600837     19 |  1.096 % |
486.35/486.35	c |    601703 |    4871   255507  1814501 | 2147483647   601631     19 |  1.096 % |
486.75/486.72	c |    602574 |    4871   255507  1814501 | 2147483647   602502     19 |  1.096 % |
491.05/491.03	c |    603533 |    4871   255507  1814501 | 2147483647   603461     19 |  1.096 % |
492.25/492.25	c |    604587 |    4871   255507  1814501 | 2147483647   604515     19 |  1.096 % |
493.75/493.71	c |    605745 |    4871   255507  1814501 | 2147483647   605673     19 |  1.096 % |
495.25/495.24	c |    607018 |    4871   255507  1814501 | 2147483647   606946     19 |  1.096 % |
495.55/495.51	c |    608419 |    4871   255507  1814501 | 2147483647   608347     19 |  1.096 % |
496.95/496.92	c |    609959 |    4871   255507  1814501 | 2147483647   609887     19 |  1.096 % |
498.96/498.94	c |    611654 |    4871   255507  1814501 | 2147483647   611582     19 |  1.096 % |
502.36/502.32	c |    613518 |    4871   255507  1814501 | 2147483647   613446     19 |  1.096 % |
504.16/504.21	c |    615568 |    4871   255507  1814501 | 2147483647   615496     19 |  1.096 % |
506.86/506.85	c |    617822 |    4871   255507  1814501 | 2147483647   617750     19 |  1.096 % |
509.96/510.01	c |    620301 |    4871   255507  1814501 | 2147483647   620229     19 |  1.096 % |
515.16/515.12	c |    623027 |    4871   255507  1814501 | 2147483647   622955     19 |  1.096 % |
520.06/520.03	c |    626024 |    4871   255507  1814501 | 2147483647   625952     19 |  1.096 % |
523.86/523.86	c |    629323 |    4871   255507  1814501 | 2147483647   629251     19 |  1.096 % |
528.76/528.77	c |    632948 |    4871   255507  1814501 | 2147483647   632876     19 |  1.096 % |
535.46/535.46	c |    636936 |    4871   255507  1814501 | 2147483647   636864     19 |  1.096 % |
540.76/540.72	c |    641321 |    4871   255507  1814501 | 2147483647   641249     19 |  1.096 % |
546.26/546.24	c |    646144 |    4871   255507  1814501 | 2147483647   646072     19 |  1.096 % |
556.86/556.89	c |    651449 |    4871   255507  1814501 | 2147483647   651377     19 |  1.096 % |
560.36/560.35	c |    657285 |    4871   255507  1814501 | 2147483647   657213     19 |  1.096 % |
560.36/560.40	c |    657386 |    4871   255507  1814501 | 2147483647   657314     19 |  1.096 % |
560.86/560.88	c |    657499 |    4871   255507  1814501 | 2147483647   657427     19 |  1.096 % |
561.06/561.02	c |    657621 |    4871   255507  1814501 | 2147483647   657549     19 |  1.096 % |
561.36/561.33	c |    657755 |    4871   255507  1814501 | 2147483647   657683     19 |  1.096 % |
561.36/561.40	c |    657901 |    4871   255507  1814501 | 2147483647   657829     19 |  1.096 % |
561.86/561.87	c |    658062 |    4871   255507  1814501 | 2147483647   657990     19 |  1.096 % |
562.36/562.32	c |    658239 |    4871   255507  1814501 | 2147483647   658167     19 |  1.096 % |
562.46/562.46	c |    658432 |    4871   255507  1814501 | 2147483647   658360     19 |  1.096 % |
563.06/563.08	c |    658644 |    4871   255507  1814501 | 2147483647   658572     19 |  1.096 % |
563.66/563.62	c |    658877 |    4871   255507  1814501 | 2147483647   658805     19 |  1.096 % |
563.66/563.71	c |    659134 |    4871   255507  1814501 | 2147483647   659062     19 |  1.096 % |
563.86/563.85	c |    659416 |    4871   255507  1814501 | 2147483647   659344     19 |  1.096 % |
564.56/564.58	c |    659725 |    4871   255507  1814501 | 2147483647   659653     19 |  1.096 % |
564.86/564.89	c |    660065 |    4871   255507  1814501 | 2147483647   659993     19 |  1.096 % |
565.46/565.47	c |    660438 |    4871   255507  1814501 | 2147483647   660366     19 |  1.096 % |
565.96/565.98	c |    660849 |    4871   255507  1814501 | 2147483647   660777     19 |  1.096 % |
566.46/566.41	c |    661299 |    4871   255507  1814501 | 2147483647   661227     19 |  1.096 % |
566.96/566.94	c |    661795 |    4871   255507  1814501 | 2147483647   661723     19 |  1.096 % |
567.16/567.19	c |    662337 |    4871   255507  1814501 | 2147483647   662265     19 |  1.096 % |
568.66/568.69	c |    662935 |    4871   255507  1814501 | 2147483647   662863     19 |  1.096 % |
569.56/569.52	c |    663591 |    4871   255507  1814501 | 2147483647   663519     19 |  1.096 % |
570.76/570.81	c |    664313 |    4871   255507  1814501 | 2147483647   664241     19 |  1.096 % |
571.66/571.68	c |    665105 |    4870   255507  1814501 | 2147483647   665032     19 |  1.117 % |
573.66/573.67	c |    665977 |    4870   255507  1814501 | 2147483647   665904     19 |  1.117 % |
575.56/575.60	c |    666935 |    4870   255507  1814501 | 2147483647   666862     19 |  1.117 % |
576.06/576.10	c |    667988 |    4870   255507  1814501 | 2147483647   667915     19 |  1.117 % |
577.16/577.18	c |    669147 |    4870   255507  1814501 | 2147483647   669074     19 |  1.117 % |
577.66/577.65	c |    670420 |    4870   255507  1814501 | 2147483647   670347     19 |  1.117 % |
579.86/579.85	c |    671820 |    4870   255507  1814501 | 2147483647   671747     19 |  1.117 % |
582.36/582.34	c |    673361 |    4870   255507  1814501 | 2147483647   673288     19 |  1.117 % |
583.66/583.62	c |    675056 |    4870   255507  1814501 | 2147483647   674983     19 |  1.117 % |
586.56/586.55	c |    676921 |    4870   255507  1814501 | 2147483647   676848     19 |  1.117 % |
588.16/588.20	c |    678970 |    4870   255507  1814501 | 2147483647   678897     19 |  1.117 % |
593.26/593.26	c |    681223 |    4870   255507  1814501 | 2147483647   681150     19 |  1.117 % |
595.56/595.54	c |    683701 |    4870   255507  1814501 | 2147483647   683628     19 |  1.117 % |
597.56/597.58	c |    686429 |    4870   255507  1814501 | 2147483647   686356     19 |  1.117 % |
604.76/604.75	c |    689426 |    4870   255507  1814501 | 2147483647   689353     19 |  1.117 % |
615.86/615.83	c |    692724 |    4870   255507  1814501 | 2147483647   692651     19 |  1.117 % |
620.86/620.89	c |    696351 |    4870   255507  1814501 | 2147483647   696278     19 |  1.117 % |
626.16/626.14	c |    700340 |    4870   255507  1814501 | 2147483647   700267     19 |  1.117 % |
633.87/633.89	c |    704728 |    4870   255507  1814501 | 2147483647   704655     19 |  1.117 % |
641.47/641.49	c |    709551 |    4870   255507  1814501 | 2147483647   709478     19 |  1.117 % |
648.17/648.18	c |    714857 |    4870   255507  1814501 | 2147483647   714784     19 |  1.117 % |
656.97/656.99	c |    720695 |    4868   255507  1814501 | 2147483647   720621     19 |  1.157 % |
666.27/666.28	c |    727113 |    4868   255507  1814501 | 2147483647   727039     19 |  1.157 % |
666.37/666.39	c |    727213 |    4868   255507  1814501 | 2147483647   727139     19 |  1.157 % |
666.57/666.57	c |    727323 |    4868   255507  1814501 | 2147483647   727249     19 |  1.157 % |
666.67/666.64	c |    727445 |    4868   255507  1814501 | 2147483647   727371     19 |  1.157 % |
666.67/666.70	c |    727579 |    4868   255507  1814501 | 2147483647   727505     19 |  1.157 % |
667.37/667.40	c |    727726 |    4868   255507  1814501 | 2147483647   727652     19 |  1.157 % |
667.57/667.53	c |    727887 |    4868   255507  1814501 | 2147483647   727813     19 |  1.157 % |
667.67/667.65	c |    728065 |    4868   255507  1814501 | 2147483647   727991     19 |  1.157 % |
668.07/668.10	c |    728259 |    4868   255507  1814501 | 2147483647   728185     19 |  1.157 % |
668.57/668.57	c |    728471 |    4868   255507  1814501 | 2147483647   728397     19 |  1.157 % |
668.67/668.68	c |    728705 |    4868   255507  1814501 | 2147483647   728631     19 |  1.157 % |
668.97/668.96	c |    728962 |    4868   255507  1814501 | 2147483647   728888     19 |  1.157 % |
669.07/669.10	c |    729243 |    4868   255507  1814501 | 2147483647   729169     19 |  1.157 % |
669.47/669.45	c |    729552 |    4868   255507  1814501 | 2147483647   729478     19 |  1.157 % |
669.77/669.73	c |    729891 |    4868   255507  1814501 | 2147483647   729817     19 |  1.157 % |
670.07/670.10	c |    730264 |    4868   255507  1814501 | 2147483647   730190     19 |  1.157 % |
670.67/670.66	c |    730673 |    4868   255507  1814501 | 2147483647   730599     19 |  1.157 % |
671.07/671.11	c |    731125 |    4868   255507  1814501 | 2147483647   731051     19 |  1.157 % |
671.37/671.37	c |    731619 |    4868   255507  1814501 | 2147483647   731545     19 |  1.157 % |
672.97/672.96	c |    732161 |    4868   255507  1814501 | 2147483647   732087     19 |  1.157 % |
674.17/674.15	c |    732757 |    4868   255507  1814501 | 2147483647   732683     19 |  1.157 % |
674.47/674.42	c |    733413 |    4868   255507  1814501 | 2147483647   733339     19 |  1.157 % |
675.77/675.75	c |    734134 |    4868   255507  1814501 | 2147483647   734060     19 |  1.157 % |
676.37/676.34	c |    734926 |    4868   255507  1814501 | 2147483647   734852     19 |  1.157 % |
677.97/677.98	c |    735797 |    4868   255507  1814501 | 2147483647   735723     19 |  1.157 % |
679.37/679.40	c |    736755 |    4868   255507  1814501 | 2147483647   736681     19 |  1.157 % |
681.47/681.46	c |    737809 |    4868   255507  1814501 | 2147483647   737735     19 |  1.157 % |
682.47/682.42	c |    738967 |    4868   255507  1814501 | 2147483647   738893     19 |  1.157 % |
683.87/683.83	c |    740241 |    4868   255507  1814501 | 2147483647   740167     19 |  1.157 % |
684.67/684.61	c |    741642 |    4868   255507  1814501 | 2147483647   741568     19 |  1.157 % |
689.17/689.20	c |    743183 |    4868   255507  1814501 | 2147483647   743109     19 |  1.157 % |
689.67/689.61	c |    744877 |    4868   255507  1814501 | 2147483647   744803     19 |  1.157 % |
691.67/691.71	c |    746741 |    4868   255507  1814501 | 2147483647   746667     19 |  1.157 % |
695.87/695.89	c |    748790 |    4868   255507  1814501 | 2147483647   748716     19 |  1.157 % |
702.17/702.13	c |    751043 |    4868   255507  1814501 | 2147483647   750969     19 |  1.157 % |
707.47/707.42	c |    753521 |    4868   255507  1814501 | 2147483647   753447     19 |  1.157 % |
711.97/712.01	c |    756247 |    4868   255507  1814501 | 2147483647   756173     19 |  1.157 % |
717.47/717.46	c |    759246 |    4868   255507  1814501 | 2147483647   759172     19 |  1.157 % |
729.27/729.25	c |    762542 |    4868   255481  1814413 | 2147483647   762465     19 |  1.157 % |
733.17/733.19	c |    766168 |    4868   255481  1814413 | 2147483647   766091     19 |  1.157 % |
739.37/739.31	c |    770156 |    4868   255481  1814413 | 2147483647   770079     19 |  1.157 % |
756.47/756.44	c |    774541 |    4868   255481  1814413 | 2147483647   774464     19 |  1.157 % |
769.69/769.68	c |    779365 |    4868   255481  1814413 | 2147483647   779288     20 |  1.157 % |
776.89/776.83	c |    784670 |    4868   255481  1814413 | 2147483647   784593     20 |  1.157 % |
801.38/801.36	c |    790505 |    4868   255481  1814413 | 2147483647   790428     20 |  1.157 % |
814.88/814.89	c |    796925 |    4868   255481  1814413 | 2147483647   796848     20 |  1.157 % |
822.28/822.29	c |    803985 |    4868   255481  1814413 | 2147483647   803908     20 |  1.157 % |
822.48/822.41	c |    804086 |    4868   255481  1814413 | 2147483647   804009     20 |  1.157 % |
822.58/822.51	c |    804198 |    4868   255481  1814413 | 2147483647   804121     20 |  1.157 % |
822.58/822.60	c |    804320 |    4868   255481  1814413 | 2147483647   804243     20 |  1.157 % |
822.68/822.70	c |    804453 |    4868   255481  1814413 | 2147483647   804376     20 |  1.157 % |
823.18/823.19	c |    804599 |    4868   255481  1814413 | 2147483647   804522     20 |  1.157 % |
823.38/823.36	c |    804759 |    4868   255481  1814413 | 2147483647   804682     20 |  1.157 % |
823.58/823.59	c |    804935 |    4868   255481  1814413 | 2147483647   804858     20 |  1.157 % |
823.78/823.76	c |    805130 |    4868   255481  1814413 | 2147483647   805053     20 |  1.157 % |
824.08/824.10	c |    805342 |    4868   255481  1814413 | 2147483647   805265     20 |  1.157 % |
824.38/824.36	c |    805575 |    4868   255481  1814413 | 2147483647   805498     20 |  1.157 % |
824.58/824.53	c |    805831 |    4868   255481  1814413 | 2147483647   805754     20 |  1.157 % |
824.68/824.70	c |    806113 |    4868   255481  1814413 | 2147483647   806036     20 |  1.157 % |
825.08/825.03	c |    806424 |    4868   255481  1814413 | 2147483647   806347     20 |  1.157 % |
825.18/825.18	c |    806763 |    4868   255481  1814413 | 2147483647   806686     20 |  1.157 % |
826.08/826.03	c |    807136 |    4868   255481  1814413 | 2147483647   807059     20 |  1.157 % |
826.68/826.65	c |    807545 |    4868   255481  1814413 | 2147483647   807468     20 |  1.157 % |
827.58/827.55	c |    807996 |    4868   255481  1814413 | 2147483647   807919     20 |  1.157 % |
828.48/828.49	c |    808489 |    4868   255481  1814413 | 2147483647   808412     20 |  1.157 % |
828.88/828.84	c |    809031 |    4868   255481  1814413 | 2147483647   808954     20 |  1.157 % |
829.98/829.93	c |    809629 |    4868   255481  1814413 | 2147483647   809552     20 |  1.157 % |
831.18/831.17	c |    810285 |    4868   255481  1814413 | 2147483647   810208     20 |  1.157 % |
831.58/831.57	c |    811006 |    4868   255481  1814413 | 2147483647   810929     20 |  1.157 % |
832.78/832.80	c |    811799 |    4868   255481  1814413 | 2147483647   811722     20 |  1.157 % |
833.68/833.65	c |    812671 |    4868   255481  1814413 | 2147483647   812594     20 |  1.157 % |
835.58/835.53	c |    813629 |    4868   255481  1814413 | 2147483647   813552     20 |  1.157 % |
836.18/836.12	c |    814683 |    4868   255481  1814413 | 2147483647   814606     20 |  1.157 % |
839.88/839.86	c |    815841 |    4868   255481  1814413 | 2147483647   815764     20 |  1.157 % |
843.48/843.48	c |    817115 |    4868   255481  1814413 | 2147483647   817038     20 |  1.157 % |
846.08/846.06	c |    818517 |    4868   255481  1814413 | 2147483647   818440     20 |  1.157 % |
848.28/848.24	c |    820058 |    4868   255481  1814413 | 2147483647   819981     20 |  1.157 % |
852.18/852.19	c |    821753 |    4868   255481  1814413 | 2147483647   821676     20 |  1.157 % |
854.68/854.67	c |    823617 |    4868   255481  1814413 | 2147483647   823540     20 |  1.157 % |
857.98/857.96	c |    825667 |    4868   255481  1814413 | 2147483647   825590     20 |  1.157 % |
860.88/860.83	c |    827920 |    4868   255481  1814413 | 2147483647   827843     20 |  1.157 % |
861.88/861.87	c |    830398 |    4868   255481  1814413 | 2147483647   830321     20 |  1.157 % |
865.88/865.82	c |    833123 |    4868   255481  1814413 | 2147483647   833046     20 |  1.157 % |
870.78/870.75	c |    836122 |    4868   255481  1814413 | 2147483647   836045     20 |  1.157 % |
877.98/877.96	c |    839419 |    4868   255481  1814413 | 2147483647   839342     20 |  1.157 % |
885.59/885.53	c |    843044 |    4868   255481  1814413 | 2147483647   842967     20 |  1.157 % |
891.19/891.12	c |    847031 |    4868   255481  1814413 | 2147483647   846954     20 |  1.157 % |
896.29/896.29	c |    851417 |    4868   255481  1814413 | 2147483647   851340     20 |  1.157 % |
905.59/905.55	c |    856241 |    4867   255481  1814413 | 2147483647   856163     20 |  1.178 % |
916.09/916.04	c |    861546 |    4867   255481  1814413 | 2147483647   861468     20 |  1.178 % |
926.99/926.92	c |    867381 |    4867   255481  1814413 | 2147483647   867303     20 |  1.178 % |
939.79/939.75	c |    873800 |    4867   255481  1814413 | 2147483647   873722     20 |  1.178 % |
956.09/956.03	c |    880859 |    4867   255481  1814413 | 2147483647   880781     20 |  1.178 % |
979.88/979.83	c |    888627 |    4867   255481  1814413 | 2147483647   888549     20 |  1.178 % |
979.98/979.99	c |    888727 |    4867   255481  1814413 | 2147483647   888649     20 |  1.178 % |
980.08/980.08	c |    888837 |    4867   255481  1814413 | 2147483647   888759     20 |  1.178 % |
980.48/980.47	c |    888959 |    4867   255481  1814413 | 2147483647   888881     20 |  1.178 % |
980.68/980.65	c |    889094 |    4867   255481  1814413 | 2147483647   889016     20 |  1.178 % |
980.98/980.98	c |    889240 |    4867   255481  1814413 | 2147483647   889162     20 |  1.178 % |
981.29/981.26	c |    889401 |    4867   255481  1814413 | 2147483647   889323     20 |  1.178 % |
981.58/981.55	c |    889577 |    4867   255481  1814413 | 2147483647   889499     20 |  1.178 % |
981.98/981.98	c |    889771 |    4867   255481  1814413 | 2147483647   889693     20 |  1.178 % |
982.48/982.42	c |    889984 |    4867   255481  1814413 | 2147483647   889906     20 |  1.178 % |
982.68/982.67	c |    890217 |    4867   255481  1814413 | 2147483647   890139     20 |  1.178 % |
983.78/983.74	c |    890473 |    4867   255481  1814413 | 2147483647   890395     20 |  1.178 % |
984.28/984.26	c |    890754 |    4867   255481  1814413 | 2147483647   890676     20 |  1.178 % |
984.88/984.84	c |    891063 |    4867   255481  1814413 | 2147483647   890985     20 |  1.178 % |
985.78/985.80	c |    891402 |    4867   255481  1814413 | 2147483647   891324     20 |  1.178 % |
986.18/986.18	c |    891775 |    4867   255481  1814413 | 2147483647   891697     20 |  1.178 % |
986.88/986.83	c |    892185 |    4867   255481  1814413 | 2147483647   892107     20 |  1.178 % |
988.08/988.01	c |    892636 |    4867   255481  1814413 | 2147483647   892558     20 |  1.178 % |
988.48/988.50	c |    893129 |    4867   255481  1814413 | 2147483647   893051     20 |  1.178 % |
989.38/989.39	c |    893671 |    4867   255481  1814413 | 2147483647   893593     20 |  1.178 % |
989.98/989.97	c |    894269 |    4867   255481  1814413 | 2147483647   894191     20 |  1.178 % |
992.38/992.37	c |    894924 |    4867   255481  1814413 | 2147483647   894846     20 |  1.178 % |
993.78/993.80	c |    895645 |    4867   255481  1814413 | 2147483647   895567     20 |  1.178 % |
995.88/995.81	c |    896438 |    4867   255481  1814413 | 2147483647   896360     20 |  1.178 % |
997.18/997.19	c |    897312 |    4867   255481  1814413 | 2147483647   897234     20 |  1.178 % |
999.68/999.69	c |    898270 |    4867   255481  1814413 | 2147483647   898192     20 |  1.178 % |
1000.48/1000.43	c |    899323 |    4867   255481  1814413 | 2147483647   899245     20 |  1.178 % |
1000.98/1000.91	c |    900482 |    4867   255481  1814413 | 2147483647   900404     20 |  1.178 % |
1002.68/1002.69	c |    901756 |    4867   255481  1814413 | 2147483647   901678     20 |  1.178 % |
1005.08/1005.04	c |    903157 |    4867   255481  1814413 | 2147483647   903079     20 |  1.178 % |
1007.08/1007.08	c |    904698 |    4867   255481  1814413 | 2147483647   904620     20 |  1.178 % |
1011.18/1011.18	c |    906392 |    4867   255481  1814413 | 2147483647   906314     20 |  1.178 % |
1012.09/1012.04	c |    908255 |    4867   255481  1814413 | 2147483647   908177     20 |  1.178 % |
1016.38/1016.39	c |    910304 |    4867   255481  1814413 |   909922   819226     20 |  1.178 % |
1021.09/1021.11	c |    912558 |    4867   255481  1814413 |   909922   821480     20 |  1.178 % |
1023.49/1023.51	c |    915036 |    4867   255481  1814413 |   909922   823958     20 |  1.178 % |
1029.39/1029.41	c |    917762 |    4867   255481  1814413 |   909922   826684     20 |  1.178 % |
1033.59/1033.60	c |    920760 |    4867   255481  1814413 | 2147483647   829682     20 |  1.178 % |
1039.29/1039.22	c |    924056 |    4867   255481  1814413 | 2147483647   832978     20 |  1.178 % |
1049.99/1050.01	c |    927681 |    4867   255481  1814413 | 2147483647   836603     20 |  1.178 % |
1056.19/1056.17	c |    931670 |    4867   255481  1814413 | 2147483647   840592     20 |  1.178 % |
1059.79/1059.77	c |    936055 |    4867   255481  1814413 | 2147483647   844977     20 |  1.178 % |
1069.39/1069.32	c |    940879 |    4867   255481  1814413 | 2147483647   849801     20 |  1.178 % |
1073.49/1073.45	c |    946185 |    4867   255469  1814382 | 2147483647   855106     19 |  1.178 % |
1081.89/1081.89	c |    952021 |    4867   255469  1814382 | 2147483647   860942     19 |  1.178 % |
1100.89/1100.90	c |    958439 |    4867   255469  1814382 | 2147483647   867360     19 |  1.178 % |
1116.80/1116.75	c |    965498 |    4867   255469  1814382 | 2147483647   874419     19 |  1.178 % |
1132.20/1132.16	c |    973263 |    4866   255469  1814382 | 2147483647   882183     20 |  1.198 % |
1150.59/1150.55	c |    981803 |    4866   255469  1814382 | 2147483647   890723     20 |  1.198 % |
1150.70/1150.65	c |    981904 |    4866   255469  1814382 | 2147483647   890824     20 |  1.198 % |
1150.80/1150.79	c |    982014 |    4866   255469  1814382 | 2147483647   890934     20 |  1.198 % |
1151.00/1151.00	c |    982135 |    4866   255469  1814382 | 2147483647   891055     20 |  1.198 % |
1151.20/1151.13	c |    982268 |    4866   255469  1814382 | 2147483647   891188     20 |  1.198 % |
1151.60/1151.53	c |    982415 |    4866   255469  1814382 | 2147483647   891335     20 |  1.198 % |
1151.80/1151.81	c |    982576 |    4866   255469  1814382 | 2147483647   891496     20 |  1.198 % |
1152.50/1152.51	c |    982752 |    4866   255469  1814382 | 2147483647   891672     20 |  1.198 % |
1152.80/1152.81	c |    982946 |    4866   255469  1814382 | 2147483647   891866     20 |  1.198 % |
1153.00/1152.95	c |    983158 |    4866   255469  1814382 | 2147483647   892078     20 |  1.198 % |
1153.40/1153.40	c |    983392 |    4866   255469  1814382 | 2147483647   892312     20 |  1.198 % |
1153.70/1153.70	c |    983648 |    4866   255469  1814382 | 2147483647   892568     20 |  1.198 % |
1154.50/1154.45	c |    983930 |    4866   255469  1814382 | 2147483647   892850     20 |  1.198 % |
1155.10/1155.10	c |    984240 |    4866   255469  1814382 | 2147483647   893160     20 |  1.198 % |
1155.60/1155.61	c |    984580 |    4866   255469  1814382 | 2147483647   893500     20 |  1.198 % |
1156.00/1155.98	c |    984952 |    4866   255469  1814382 | 2147483647   893872     20 |  1.198 % |
1156.60/1156.52	c |    985361 |    4866   255469  1814382 | 2147483647   894281     20 |  1.198 % |
1157.60/1157.61	c |    985810 |    4866   255469  1814382 | 2147483647   894730     20 |  1.198 % |
1159.10/1159.09	c |    986303 |    4866   255469  1814382 | 2147483647   895223     20 |  1.198 % |
1159.80/1159.79	c |    986845 |    4866   255469  1814382 | 2147483647   895765     20 |  1.198 % |
1160.20/1160.15	c |    987441 |    4866   255469  1814382 | 2147483647   896361     20 |  1.198 % |
1161.10/1161.05	c |    988098 |    4866   255469  1814382 | 2147483647   897018     20 |  1.198 % |
1162.30/1162.27	c |    988818 |    4866   255469  1814382 | 2147483647   897738     20 |  1.198 % |
1163.40/1163.38	c |    989610 |    4866   255469  1814382 | 2147483647   898530     20 |  1.198 % |
1165.20/1165.14	c |    990481 |    4866   255469  1814382 | 2147483647   899401     20 |  1.198 % |
1165.80/1165.76	c |    991439 |    4866   255469  1814382 | 2147483647   900359     20 |  1.198 % |
1167.50/1167.50	c |    992492 |    4866   255469  1814382 | 2147483647   901412     20 |  1.198 % |
1168.90/1168.86	c |    993650 |    4866   255469  1814382 | 2147483647   902570     20 |  1.198 % |
1172.50/1172.43	c |    994923 |    4866   255469  1814382 | 2147483647   903843     20 |  1.198 % |
1175.30/1175.27	c |    996323 |    4866   255469  1814382 | 2147483647   905243     20 |  1.198 % |
1179.70/1179.65	c |    997863 |    4866   255469  1814382 | 2147483647   906783     20 |  1.198 % |
1180.70/1180.68	c |    999557 |    4866   255469  1814382 | 2147483647   908477     20 |  1.198 % |
1181.60/1181.54	c |   1001421 |    4866   255469  1814382 | 2147483647   910341     20 |  1.198 % |
1185.00/1184.95	c |   1003472 |    4866   255469  1814382 | 2147483647   912392     20 |  1.198 % |
1188.10/1188.07	c |   1005726 |    4866   255469  1814382 | 2147483647   914646     20 |  1.198 % |
1192.00/1191.96	c |   1008204 |    4866   255469  1814382 | 2147483647   917124     20 |  1.198 % |
1195.60/1195.60	c |   1010930 |    4866   255469  1814382 | 2147483647   919850     20 |  1.198 % |
1200.00/1199.92	HOME/SatELiteGTI: line 36: 25571 Terminated              $MS $TMP.cnf $TMP.result

Verifier Data

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

Watcher Data

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1821406-1242524543/watcher-1821406-1242524543 -o /tmp/evaluation-result-1821406-1242524543/solver-1821406-1242524543 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821406-1242524543.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.03 1.05 1.00 3/91 25380
/proc/meminfo: memFree=1354504/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2412 CPUtime=0
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 367 643 0 0 0 0 0 0 25 0 1 0 1016952720 2469888 276 4294967295 134512640 135169312 3215455696 3215454232 3085356782 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25380/statm: 603 276 235 161 0 42 0
[pid=25384] ppid=25380 vsize=816 CPUtime=0
/proc/25384/stat : 25384 (SatELite_releas) R 25380 25380 15108 0 -1 4194304 69 0 0 0 0 0 0 0 25 0 1 0 1016952721 835584 4 4294967295 134512640 135223648 3213249440 3213249440 134512976 0 0 0 0 0 0 0 17 3 0 0 0
/proc/25384/statm: 205 16 10 174 0 30 0

[startup+0.05768 s]
/proc/loadavg: 1.03 1.05 1.00 3/91 25380
/proc/meminfo: memFree=1354504/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2412 CPUtime=0
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 367 643 0 0 0 0 0 0 25 0 1 0 1016952720 2469888 276 4294967295 134512640 135169312 3215455696 3215454232 3085356782 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25380/statm: 603 276 235 161 0 42 0
[pid=25384] ppid=25380 vsize=6756 CPUtime=0.06
/proc/25384/stat : 25384 (SatELite_releas) R 25380 25380 15108 0 -1 4202496 1432 0 0 0 6 0 0 0 25 0 1 0 1016952721 6918144 1367 4294967295 134512640 135223648 3213249440 3213248392 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25384/statm: 1689 1368 47 174 0 1514 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9168

[startup+0.117652 s]
/proc/loadavg: 1.03 1.05 1.00 3/91 25380
/proc/meminfo: memFree=1354504/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2412 CPUtime=0
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 367 643 0 0 0 0 0 0 25 0 1 0 1016952720 2469888 276 4294967295 134512640 135169312 3215455696 3215454232 3085356782 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25380/statm: 603 276 235 161 0 42 0
[pid=25384] ppid=25380 vsize=12660 CPUtime=0.12
/proc/25384/stat : 25384 (SatELite_releas) R 25380 25380 15108 0 -1 4202496 2703 0 0 0 11 1 0 0 25 0 1 0 1016952721 12963840 2638 4294967295 134512640 135223648 3213249440 3213248008 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25384/statm: 3165 2640 47 174 0 2990 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 15072

[startup+0.317636 s]
/proc/loadavg: 1.03 1.05 1.00 3/91 25380
/proc/meminfo: memFree=1354504/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2412 CPUtime=0
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 367 643 0 0 0 0 0 0 25 0 1 0 1016952720 2469888 276 4294967295 134512640 135169312 3215455696 3215454232 3085356782 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25380/statm: 603 276 235 161 0 42 0
[pid=25384] ppid=25380 vsize=30640 CPUtime=0.32
/proc/25384/stat : 25384 (SatELite_releas) R 25380 25380 15108 0 -1 4202496 7288 0 0 0 27 5 0 0 25 0 1 0 1016952721 31375360 7223 4294967295 134512640 135223648 3213249440 3213248392 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25384/statm: 7660 7224 47 174 0 7485 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 33052

[startup+0.717605 s]
/proc/loadavg: 1.03 1.05 1.00 3/91 25380
/proc/meminfo: memFree=1354504/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2412 CPUtime=0
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 367 643 0 0 0 0 0 0 25 0 1 0 1016952720 2469888 276 4294967295 134512640 135169312 3215455696 3215454232 3085356782 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25380/statm: 603 276 235 161 0 42 0
[pid=25384] ppid=25380 vsize=75760 CPUtime=0.72
/proc/25384/stat : 25384 (SatELite_releas) R 25380 25380 15108 0 -1 4202496 16505 0 0 0 61 11 0 0 25 0 1 0 1016952721 77578240 16440 4294967295 134512640 135223648 3213249440 3213248008 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25384/statm: 18940 16440 47 174 0 18765 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 78172

[startup+1.51754 s]
/proc/loadavg: 1.03 1.05 1.00 3/93 25385
/proc/meminfo: memFree=1262340/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2412 CPUtime=0
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 367 643 0 0 0 0 0 0 25 0 1 0 1016952720 2469888 276 4294967295 134512640 135169312 3215455696 3215454232 3085356782 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25380/statm: 603 276 235 161 0 42 0
[pid=25384] ppid=25380 vsize=159472 CPUtime=1.52
/proc/25384/stat : 25384 (SatELite_releas) R 25380 25380 15108 0 -1 4202496 32314 0 0 0 133 19 0 0 25 0 1 0 1016952721 163299328 32227 4294967295 134512640 135223648 3213249440 3213247936 134549042 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25384/statm: 39868 32227 68 174 0 39693 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 161884

[startup+3.11742 s]
/proc/loadavg: 1.03 1.05 1.00 3/93 25385
/proc/meminfo: memFree=1226132/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2412 CPUtime=0
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 367 643 0 0 0 0 0 0 25 0 1 0 1016952720 2469888 276 4294967295 134512640 135169312 3215455696 3215454232 3085356782 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25380/statm: 603 276 235 161 0 42 0
[pid=25384] ppid=25380 vsize=159984 CPUtime=3.12
/proc/25384/stat : 25384 (SatELite_releas) R 25380 25380 15108 0 -1 4202496 32415 0 0 0 293 19 0 0 25 0 1 0 1016952721 163823616 32328 4294967295 134512640 135223648 3213249440 3213247936 134549033 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25384/statm: 39996 32328 68 174 0 39821 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 162396

[startup+6.31717 s]
/proc/loadavg: 1.03 1.05 1.00 3/93 25385
/proc/meminfo: memFree=1213112/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2412 CPUtime=0
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 367 643 0 0 0 0 0 0 25 0 1 0 1016952720 2469888 276 4294967295 134512640 135169312 3215455696 3215454232 3085356782 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25380/statm: 603 276 235 161 0 42 0
[pid=25384] ppid=25380 vsize=178128 CPUtime=6.32
/proc/25384/stat : 25384 (SatELite_releas) R 25380 25380 15108 0 -1 4202496 39034 0 0 0 610 22 0 0 25 0 1 0 1016952721 182403072 35227 4294967295 134512640 135223648 3213249440 3213247440 134547929 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25384/statm: 44532 35227 73 174 0 44357 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 180540

[startup+12.7167 s]
/proc/loadavg: 1.02 1.05 1.00 4/93 25385
/proc/meminfo: memFree=1169560/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2412 CPUtime=0
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 367 643 0 0 0 0 0 0 25 0 1 0 1016952720 2469888 276 4294967295 134512640 135169312 3215455696 3215454232 3085356782 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25380/statm: 603 276 235 161 0 42 0
[pid=25384] ppid=25380 vsize=204552 CPUtime=12.72
/proc/25384/stat : 25384 (SatELite_releas) R 25380 25380 15108 0 -1 4202496 45990 0 0 0 1247 25 0 0 25 0 1 0 1016952721 209461248 41869 4294967295 134512640 135223648 3213249440 3213247456 134549024 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25384/statm: 51138 41869 73 174 0 50963 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 206964

[startup+25.5157 s]
/proc/loadavg: 1.02 1.04 1.00 3/93 25386
/proc/meminfo: memFree=1169656/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2412 CPUtime=0
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 367 643 0 0 0 0 0 0 25 0 1 0 1016952720 2469888 276 4294967295 134512640 135169312 3215455696 3215454232 3085356782 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25380/statm: 603 276 235 161 0 42 0
[pid=25384] ppid=25380 vsize=204808 CPUtime=25.52
/proc/25384/stat : 25384 (SatELite_releas) R 25380 25380 15108 0 -1 4202496 46057 0 0 0 2527 25 0 0 25 0 1 0 1016952721 209723392 41936 4294967295 134512640 135223648 3213249440 3213247456 134549024 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25384/statm: 51202 41936 73 174 0 51027 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 207220

[startup+51.1137 s]
/proc/loadavg: 1.01 1.04 1.00 3/93 25571
/proc/meminfo: memFree=1305084/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2416 CPUtime=47.34
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 385 54513 0 0 0 0 4702 32 25 0 1 0 1016952720 2473984 277 4294967295 134512640 135169312 3215455696 3215451912 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25380/statm: 604 277 235 161 0 43 0
[pid=25571] ppid=25380 vsize=21972 CPUtime=3.78
/proc/25571/stat : 25571 (minisat_static) R 25380 25380 15108 0 -1 4202496 5362 0 0 0 373 5 0 0 25 0 1 0 1016957454 22499328 5297 4294967295 134512640 135215339 3220261552 3220259840 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25571/statm: 5493 5297 73 172 0 5320 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 24388

[startup+102.32 s]
/proc/loadavg: 1.16 1.07 1.01 2/93 25759
/proc/meminfo: memFree=1286216/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2416 CPUtime=47.34
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 385 54513 0 0 0 0 4702 32 25 0 1 0 1016952720 2473984 277 4294967295 134512640 135169312 3215455696 3215451912 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25380/statm: 604 277 235 161 0 43 0
[pid=25571] ppid=25380 vsize=40104 CPUtime=54.99
/proc/25571/stat : 25571 (minisat_static) R 25380 25380 15108 0 -1 4202496 9885 0 0 0 5488 11 0 0 25 0 1 0 1016957454 41066496 9820 4294967295 134512640 135215339 3220261552 3220259840 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25571/statm: 10026 9820 73 172 0 9853 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 42520

[startup+162.315 s]
/proc/loadavg: 1.16 1.10 1.02 2/93 25951
/proc/meminfo: memFree=1275300/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2416 CPUtime=47.34
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 385 54513 0 0 0 0 4702 32 25 0 1 0 1016952720 2473984 277 4294967295 134512640 135169312 3215455696 3215451912 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25380/statm: 604 277 235 161 0 43 0
[pid=25571] ppid=25380 vsize=51200 CPUtime=114.99
/proc/25571/stat : 25571 (minisat_static) R 25380 25380 15108 0 -1 4202496 12620 0 0 0 11482 17 0 0 25 0 1 0 1016957454 52428800 12555 4294967295 134512640 135215339 3220261552 3220259840 134528884 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25571/statm: 12800 12555 73 172 0 12627 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 53616

[startup+222.311 s]
/proc/loadavg: 1.09 1.09 1.02 2/93 26139
/proc/meminfo: memFree=1265496/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2416 CPUtime=47.34
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 385 54513 0 0 0 0 4702 32 25 0 1 0 1016952720 2473984 277 4294967295 134512640 135169312 3215455696 3215451912 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25380/statm: 604 277 235 161 0 43 0
[pid=25571] ppid=25380 vsize=61292 CPUtime=174.99
/proc/25571/stat : 25571 (minisat_static) R 25380 25380 15108 0 -1 4202496 15066 0 0 0 17481 18 0 0 25 0 1 0 1016957454 62763008 15001 4294967295 134512640 135215339 3220261552 3220259840 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25571/statm: 15323 15001 73 172 0 15150 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 63708

[startup+282.316 s]
/proc/loadavg: 1.03 1.07 1.02 2/93 26325
/proc/meminfo: memFree=1258288/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2416 CPUtime=47.34
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 385 54513 0 0 0 0 4702 32 25 0 1 0 1016952720 2473984 277 4294967295 134512640 135169312 3215455696 3215451912 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25380/statm: 604 277 235 161 0 43 0
[pid=25571] ppid=25380 vsize=69056 CPUtime=235
/proc/25571/stat : 25571 (minisat_static) R 25380 25380 15108 0 -1 4202496 17042 0 0 0 23480 20 0 0 25 0 1 0 1016957454 70713344 16977 4294967295 134512640 135215339 3220261552 3220259840 134528802 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25571/statm: 17264 16977 73 172 0 17091 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 71472

[startup+342.311 s]
/proc/loadavg: 1.01 1.06 1.01 3/93 26516
/proc/meminfo: memFree=1250716/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2416 CPUtime=47.34
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 385 54513 0 0 0 0 4702 32 25 0 1 0 1016952720 2473984 277 4294967295 134512640 135169312 3215455696 3215451912 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25380/statm: 604 277 235 161 0 43 0
[pid=25571] ppid=25380 vsize=76680 CPUtime=295
/proc/25571/stat : 25571 (minisat_static) R 25380 25380 15108 0 -1 4202496 18778 0 0 0 29480 20 0 0 25 0 1 0 1016957454 78520320 18713 4294967295 134512640 135215339 3220261552 3220259840 134528721 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25571/statm: 19170 18713 73 172 0 18997 0
Current children cumulated CPU time (s) 342.34

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

[pid=25571] ppid=25380 vsize=94508 CPUtime=475.02
/proc/25571/stat : 25571 (minisat_static) R 25380 25380 15108 0 -1 4202496 23344 0 0 0 47479 23 0 0 25 0 1 0 1016957454 96776192 23279 4294967295 134512640 135215339 3220261552 3220259840 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25571/statm: 23627 23279 73 172 0 23454 0
Current children cumulated CPU time (s) 522.36
Current children cumulated vsize (KiB) 96924

[startup+582.313 s]
/proc/loadavg: 1.00 1.02 1.00 3/93 27270
/proc/meminfo: memFree=1226132/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2416 CPUtime=47.34
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 385 54513 0 0 0 0 4702 32 25 0 1 0 1016952720 2473984 277 4294967295 134512640 135169312 3215455696 3215451912 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25380/statm: 604 277 235 161 0 43 0
[pid=25571] ppid=25380 vsize=100112 CPUtime=535.02
/proc/25571/stat : 25571 (minisat_static) R 25380 25380 15108 0 -1 4202496 24784 0 0 0 53477 25 0 0 25 0 1 0 1016957454 102514688 24719 4294967295 134512640 135215339 3220261552 3220259840 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25571/statm: 25028 24719 73 172 0 24855 0
Current children cumulated CPU time (s) 582.36
Current children cumulated vsize (KiB) 102528

[startup+642.318 s]
/proc/loadavg: 1.00 1.01 1.00 3/93 27459
/proc/meminfo: memFree=1221536/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2416 CPUtime=47.34
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 385 54513 0 0 0 0 4702 32 25 0 1 0 1016952720 2473984 277 4294967295 134512640 135169312 3215455696 3215451912 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25380/statm: 604 277 235 161 0 43 0
[pid=25571] ppid=25380 vsize=106052 CPUtime=595.03
/proc/25571/stat : 25571 (minisat_static) R 25380 25380 15108 0 -1 4202496 25935 0 0 0 59477 26 0 0 25 0 1 0 1016957454 108597248 25870 4294967295 134512640 135215339 3220261552 3220259840 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25571/statm: 26513 25870 73 172 0 26340 0
Current children cumulated CPU time (s) 642.37
Current children cumulated vsize (KiB) 108468

[startup+702.314 s]
/proc/loadavg: 1.00 1.01 1.00 3/93 27648
/proc/meminfo: memFree=1216584/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2416 CPUtime=47.34
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 385 54513 0 0 0 0 4702 32 25 0 1 0 1016952720 2473984 277 4294967295 134512640 135169312 3215455696 3215451912 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25380/statm: 604 277 235 161 0 43 0
[pid=25571] ppid=25380 vsize=110760 CPUtime=655.03
/proc/25571/stat : 25571 (minisat_static) R 25380 25380 15108 0 -1 4202496 27153 0 0 0 65476 27 0 0 25 0 1 0 1016957454 113418240 27088 4294967295 134512640 135215339 3220261552 3220259840 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25571/statm: 27690 27088 73 172 0 27517 0
Current children cumulated CPU time (s) 702.37
Current children cumulated vsize (KiB) 113176

[startup+762.329 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 27836
/proc/meminfo: memFree=1213228/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2416 CPUtime=47.34
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 385 54513 0 0 0 0 4702 32 25 0 1 0 1016952720 2473984 277 4294967295 134512640 135169312 3215455696 3215451912 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25380/statm: 604 277 235 161 0 43 0
[pid=25571] ppid=25380 vsize=113968 CPUtime=715.05
/proc/25571/stat : 25571 (minisat_static) R 25380 25380 15108 0 -1 4202496 28003 0 0 0 71478 27 0 0 25 0 1 0 1016957454 116703232 27938 4294967295 134512640 135215339 3220261552 3220259840 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25571/statm: 28492 27938 73 172 0 28319 0
Current children cumulated CPU time (s) 762.39
Current children cumulated vsize (KiB) 116384

[startup+822.314 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 28024
/proc/meminfo: memFree=1209400/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2416 CPUtime=47.34
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 385 54513 0 0 0 0 4702 32 25 0 1 0 1016952720 2473984 277 4294967295 134512640 135169312 3215455696 3215451912 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25380/statm: 604 277 235 161 0 43 0
[pid=25571] ppid=25380 vsize=117876 CPUtime=775.04
/proc/25571/stat : 25571 (minisat_static) R 25380 25380 15108 0 -1 4202496 28976 0 0 0 77476 28 0 0 25 0 1 0 1016957454 120705024 28911 4294967295 134512640 135215339 3220261552 3220259840 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25571/statm: 29469 28911 73 172 0 29296 0
Current children cumulated CPU time (s) 822.38
Current children cumulated vsize (KiB) 120292

[startup+882.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 28210
/proc/meminfo: memFree=1204688/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2416 CPUtime=47.34
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 385 54513 0 0 0 0 4702 32 25 0 1 0 1016952720 2473984 277 4294967295 134512640 135169312 3215455696 3215451912 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25380/statm: 604 277 235 161 0 43 0
[pid=25571] ppid=25380 vsize=122608 CPUtime=835.04
/proc/25571/stat : 25571 (minisat_static) R 25380 25380 15108 0 -1 4202496 30169 0 0 0 83474 30 0 0 25 0 1 0 1016957454 125550592 30104 4294967295 134512640 135215339 3220261552 3220259840 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25571/statm: 30652 30104 73 172 0 30479 0
Current children cumulated CPU time (s) 882.38
Current children cumulated vsize (KiB) 125024

[startup+942.315 s]
/proc/loadavg: 1.19 1.05 1.01 2/93 28403
/proc/meminfo: memFree=1200720/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2416 CPUtime=47.34
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 385 54513 0 0 0 0 4702 32 25 0 1 0 1016952720 2473984 277 4294967295 134512640 135169312 3215455696 3215451912 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25380/statm: 604 277 235 161 0 43 0
[pid=25571] ppid=25380 vsize=126520 CPUtime=895.05
/proc/25571/stat : 25571 (minisat_static) R 25380 25380 15108 0 -1 4202496 31156 0 0 0 89474 31 0 0 25 0 1 0 1016957454 129556480 31091 4294967295 134512640 135215339 3220261552 3220259840 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25571/statm: 31630 31091 73 172 0 31457 0
Current children cumulated CPU time (s) 942.39
Current children cumulated vsize (KiB) 128936

[startup+1002.31 s]
/proc/loadavg: 1.10 1.05 1.01 3/93 28591
/proc/meminfo: memFree=1197224/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2416 CPUtime=47.34
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 385 54513 0 0 0 0 4702 32 25 0 1 0 1016952720 2473984 277 4294967295 134512640 135169312 3215455696 3215451912 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25380/statm: 604 277 235 161 0 43 0
[pid=25571] ppid=25380 vsize=129672 CPUtime=955.04
/proc/25571/stat : 25571 (minisat_static) R 25380 25380 15108 0 -1 4202496 31994 0 0 0 95469 35 0 0 25 0 1 0 1016957454 132784128 31929 4294967295 134512640 135215339 3220261552 3220259840 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25571/statm: 32418 31929 73 172 0 32245 0
Current children cumulated CPU time (s) 1002.38
Current children cumulated vsize (KiB) 132088

[startup+1062.32 s]
/proc/loadavg: 1.03 1.04 1.01 3/93 28779
/proc/meminfo: memFree=1196356/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2416 CPUtime=47.34
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 385 54513 0 0 0 0 4702 32 25 0 1 0 1016952720 2473984 277 4294967295 134512640 135169312 3215455696 3215451912 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25380/statm: 604 277 235 161 0 43 0
[pid=25571] ppid=25380 vsize=130908 CPUtime=1015.05
/proc/25571/stat : 25571 (minisat_static) R 25380 25380 15108 0 -1 4202496 32281 0 0 0 101469 36 0 0 25 0 1 0 1016957454 134049792 32216 4294967295 134512640 135215339 3220261552 3220259840 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25571/statm: 32727 32216 73 172 0 32554 0
Current children cumulated CPU time (s) 1062.39
Current children cumulated vsize (KiB) 133324

[startup+1122.32 s]
/proc/loadavg: 1.08 1.04 1.01 3/93 28967
/proc/meminfo: memFree=1195612/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2416 CPUtime=47.34
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 385 54513 0 0 0 0 4702 32 25 0 1 0 1016952720 2473984 277 4294967295 134512640 135169312 3215455696 3215451912 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25380/statm: 604 277 235 161 0 43 0
[pid=25571] ppid=25380 vsize=131332 CPUtime=1075.06
/proc/25571/stat : 25571 (minisat_static) R 25380 25380 15108 0 -1 4202496 32386 0 0 0 107469 37 0 0 25 0 1 0 1016957454 134483968 32321 4294967295 134512640 135215339 3220261552 3220259840 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25571/statm: 32833 32321 73 172 0 32660 0
Current children cumulated CPU time (s) 1122.4
Current children cumulated vsize (KiB) 133748

[startup+1182.32 s]
/proc/loadavg: 1.03 1.03 1.00 3/93 29153
/proc/meminfo: memFree=1195132/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2416 CPUtime=47.34
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 385 54513 0 0 0 0 4702 32 25 0 1 0 1016952720 2473984 277 4294967295 134512640 135169312 3215455696 3215451912 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25380/statm: 604 277 235 161 0 43 0
[pid=25571] ppid=25380 vsize=131784 CPUtime=1135.06
/proc/25571/stat : 25571 (minisat_static) R 25380 25380 15108 0 -1 4202496 32521 0 0 0 113469 37 0 0 25 0 1 0 1016957454 134946816 32456 4294967295 134512640 135215339 3220261552 3220259840 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25571/statm: 32946 32456 73 172 0 32773 0
Current children cumulated CPU time (s) 1182.4
Current children cumulated vsize (KiB) 134200



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1199.92 s]
/proc/loadavg: 1.02 1.03 1.00 2/93 29157
/proc/meminfo: memFree=1194484/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2416 CPUtime=47.34
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 385 54513 0 0 0 0 4702 32 25 0 1 0 1016952720 2473984 277 4294967295 134512640 135169312 3215455696 3215451912 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25380/statm: 604 277 235 161 0 43 0
[pid=25571] ppid=25380 vsize=132716 CPUtime=1152.66
/proc/25571/stat : 25571 (minisat_static) R 25380 25380 15108 0 -1 4202496 32752 0 0 0 115228 38 0 0 25 0 1 0 1016957454 135901184 32687 4294967295 134512640 135215339 3220261552 3220259840 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25571/statm: 33179 32687 73 172 0 33006 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 135132

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

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

[startup+1199.92 s]
/proc/loadavg: 1.02 1.03 1.00 2/93 29157
/proc/meminfo: memFree=1194484/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2416 CPUtime=47.34
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 385 54513 0 0 0 0 4702 32 25 0 1 0 1016952720 2473984 277 4294967295 134512640 135169312 3215455696 3215451912 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25380/statm: 604 277 235 161 0 43 0
[pid=25571] ppid=25380 vsize=132716 CPUtime=1152.66
/proc/25571/stat : 25571 (minisat_static) R 25380 25380 15108 0 -1 4202496 32752 0 0 0 115228 38 0 0 25 0 1 0 1016957454 135901184 32687 4294967295 134512640 135215339 3220261552 3220259840 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25571/statm: 33179 32687 73 172 0 33006 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 135132

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1199.94
CPU time (s): 1200.01
CPU user time (s): 1199.3
CPU system time (s): 0.71
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 222688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.3
system time used= 0.71
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87741
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= 21
involuntary context switches= 961

runsolver used 0.04 second user time and 0.01 second system time

The end

Launcher Data

Begin job on tipi24 at 2009-05-17 03:42:23
IDJOB=1821406
IDBENCH=70951
IDSOLVER=657
FILE ID=tipi24/1821406-1242524543
PBS_JOBID=
Free space on /tmp= 9914 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/c32sat/post-cbmc-aes-d-r2-noholes.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1821406-1242524543/watcher-1821406-1242524543 -o /tmp/evaluation-result-1821406-1242524543/solver-1821406-1242524543 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1821406-1242524543.cnf

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

MD5SUM BENCH= 17bffac3a21734cf7ff7fa9ecba23d9d
RANDOM SEED= 1121402324

Linux tipi24 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.461
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.40

processor	: 1
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.461
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.75

processor	: 2
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.461
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.77

processor	: 3
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.461
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.77


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:       1354768 kB
Buffers:         30444 kB
Cached:         608364 kB
SwapCached:       3828 kB
Active:         126480 kB
Inactive:       521668 kB
HighTotal:     1178688 kB
HighFree:       651144 kB
LowTotal:       895776 kB
LowFree:        703624 kB
SwapTotal:     1959888 kB
SwapFree:      1952056 kB
Dirty:           35288 kB
Writeback:           0 kB
AnonPages:        8896 kB
Mapped:           3172 kB
Slab:            63316 kB
PageTables:        340 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    87796 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 9896 MiB
End job on tipi24 at 2009-05-17 04:02:28