Trace number 1820843

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 r-2009-03-18UNSAT 895.32 895.239

General information on the benchmark

Namemanol-pipe-c10nid_i.cnf
MD5SUM5845608382cee59cce4973c50f16416c
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark626.92
Satisfiable
(Un)Satisfiability was proved
Number of variables252516
Number of clauses750877
Sum of the clauses size1752045
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2500584
Number of clauses of size 3250292
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data

0.00/0.00	c Parsing...
0.72/0.74	c ==============================================================================
0.72/0.74	c |           |     ORIGINAL     |              LEARNT              |          |
0.72/0.74	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.72/0.74	c ==============================================================================
0.72/0.74	c |         0 |  750876  1752044 |  225262       0        0     nan |  0.000 % |
5.02/5.10	c |         0 |  320735  1252421 |      --       0       --      -- |     --   | -430139/-499618
5.02/5.11	c ==============================================================================
5.02/5.11	c Result  :   #vars: 41437   #clauses: 320735   #literals: 1252421
5.02/5.11	c CPU time:   4.8 s
5.02/5.11	c ==============================================================================
5.52/5.55	c This is MiniSat 2.0 beta
5.52/5.55	c WARNING: for repeatability, setting FPU to use double precision
5.52/5.55	c ============================[ Problem Statistics ]=============================
5.52/5.55	c |                                                                             |
5.52/5.55	c |  Number of variables:  41437                                                |
5.52/5.55	c |  Number of clauses:    320735                                               |
5.55/5.80	c |  Parsing time:         0.23         s                                       |
5.55/5.82	c ============================[ Search Statistics ]==============================
5.55/5.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.55/5.82	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
5.55/5.82	c ===============================================================================
5.55/5.82	c |         0 |   41437   320735  1252421 |   106911        0    nan |  0.000 % |
5.55/6.01	c |       512 |   41434   320735  1252421 |   106911      510     11 |  0.010 % |
5.55/6.16	c |      1024 |   41434   320735  1252421 |   106911     1022     16 |  0.010 % |
5.55/6.30	c |      1538 |   41425   320735  1252421 |   106911     1534     20 |  0.036 % |
5.55/6.43	c |      2566 |   41425   320735  1252421 |   106911     2562     32 |  0.036 % |
5.55/6.59	c |      3081 |   41425   320735  1252421 |   106911     3077     32 |  0.036 % |
6.73/6.77	c |      3593 |   41416   320735  1252421 |   106911     3587     30 |  0.063 % |
6.92/6.93	c |      4617 |   41412   320735  1252421 |   106911     4609     32 |  0.244 % |
7.02/7.04	c |      6666 |   41336   318265  1243512 |   106911     6654     28 |  0.244 % |
7.22/7.26	c |      7179 |   41335   318265  1243512 |   106911     7166     27 |  0.343 % |
7.32/7.38	c |      7691 |   41335   318265  1243512 |   106911     7678     26 |  0.343 % |
7.52/7.53	c |      8717 |   41329   318265  1243512 |   106911     8700     25 |  0.401 % |
7.92/7.97	c |      9230 |   41304   318265  1243512 |   106911     9213     25 |  0.401 % |
8.02/8.07	c |      9744 |   41298   318265  1243512 |   106911     9725     25 |  0.415 % |
8.22/8.31	c |     10769 |   41298   318265  1243512 | 2147483647    10750     24 |  0.415 % |
8.72/8.79	c |     12817 |   41253   317207  1239419 | 2147483647    12708     26 |  0.461 % |
9.22/9.22	c |     16914 |   41250   317207  1239419 | 2147483647    16803     29 |  0.497 % |
9.52/9.57	c |     17426 |   41250   317207  1239419 | 2147483647    17315     30 |  0.497 % |
9.92/9.97	c |     17939 |   41231   316632  1237461 | 2147483647    17813     30 |  0.497 % |
10.12/10.13	c |     18964 |   41231   316632  1237461 | 2147483647    18838     29 |  0.497 % |
10.22/10.27	c |     19479 |   41231   316632  1237461 | 2147483647    19353     29 |  0.497 % |
10.32/10.37	c |     19992 |   41231   316632  1237461 | 2147483647    19866     29 |  0.497 % |
10.62/10.66	c |     21017 |   41230   316632  1237461 | 2147483647    20890     29 |  0.500 % |
11.22/11.22	c |     23065 |   41211   316632  1237461 | 2147483647    22936     28 |  0.557 % |
11.32/11.39	c |     23577 |   41191   316264  1235971 | 2147483647    23441     28 |  0.652 % |
11.42/11.43	c |     24089 |   41191   316264  1235971 | 2147483647    23953     28 |  0.652 % |
11.52/11.59	c |     25114 |   41191   316264  1235971 | 2147483647    24978     29 |  0.652 % |
11.62/11.65	c |     25627 |   41191   316264  1235971 | 2147483647    25491     29 |  0.652 % |
11.62/11.68	c |     26141 |   41191   316264  1235971 | 2147483647    26005     30 |  0.652 % |
12.02/12.03	c |     27165 |   41191   316264  1235971 | 2147483647    27029     32 |  0.652 % |
12.42/12.51	c |     29213 |   41184   316264  1235971 | 2147483647    29077     32 |  0.652 % |
13.33/13.33	c |     33310 |   41183   316264  1235971 | 2147483647    33173     34 |  0.654 % |
14.72/14.74	c |     41502 |   41159   315373  1232500 | 2147483647    41356     32 |  0.693 % |
14.82/14.85	c |     42014 |   41157   315373  1232500 | 2147483647    41866     32 |  0.697 % |
15.02/15.08	c |     42526 |   41156   315373  1232500 | 2147483647    42378     32 |  0.697 % |
15.32/15.35	c |     43552 |   41144   315373  1232500 | 2147483647    43397     32 |  0.746 % |
15.42/15.43	c |     44064 |   41144   315373  1232500 | 2147483647    43908     32 |  0.763 % |
15.53/15.55	c |     44576 |   41139   315373  1232500 | 2147483647    44420     32 |  0.763 % |
15.82/15.84	c |     45600 |   41108   314367  1228879 | 2147483647    45394     31 |  0.813 % |
16.32/16.37	c |     47648 |   41108   314367  1228879 | 2147483647    47442     31 |  0.813 % |
16.42/16.42	c |     48161 |   41108   314367  1228879 | 2147483647    47955     31 |  0.813 % |
16.63/16.65	c |     48674 |   41108   314367  1228879 | 2147483647    48468     31 |  0.813 % |
16.82/16.90	c |     49698 |   41108   314367  1228879 | 2147483647    49492     32 |  0.813 % |
16.92/16.94	c |     50211 |   41108   314367  1228879 | 2147483647    50005     32 |  0.813 % |
17.02/17.10	c |     50723 |   41108   314367  1228879 | 2147483647    50517     31 |  0.813 % |
17.22/17.22	c |     51747 |   41108   314367  1228879 | 2147483647    51541     31 |  0.813 % |
17.73/17.79	c |     53795 |   41108   314367  1228879 | 2147483647    53589     31 |  0.813 % |
18.42/18.43	c |     57893 |   41108   314367  1228879 | 2147483647    57687     31 |  0.813 % |
18.62/18.69	c |     58406 |   41100   313876  1226972 | 2147483647    58195     32 |  0.813 % |
18.92/18.93	c |     58918 |   41100   313876  1226972 | 2147483647    58707     32 |  0.813 % |
19.12/19.15	c |     59943 |   41100   313876  1226972 | 2147483647    59732     32 |  0.813 % |
19.22/19.25	c |     60456 |   41100   313876  1226972 | 2147483647    60245     32 |  0.813 % |
19.32/19.40	c |     60968 |   41100   313876  1226972 | 2147483647    60757     31 |  0.813 % |
19.52/19.55	c |     61992 |   41100   313876  1226972 | 2147483647    61781     31 |  0.813 % |
20.02/20.10	c |     64040 |   41100   313876  1226972 | 2147483647    63829     32 |  0.813 % |
20.12/20.19	c |     64554 |   41100   313876  1226972 | 2147483647    64343     32 |  0.813 % |
20.32/20.38	c |     65068 |   41100   313876  1226972 | 2147483647    64857     32 |  0.813 % |
20.62/20.65	c |     66093 |   41100   313876  1226972 | 2147483647    65882     32 |  0.813 % |
20.72/20.75	c |     66605 |   41100   313876  1226972 | 2147483647    66394     32 |  0.813 % |
20.92/20.95	c |     67118 |   41100   313876  1226972 | 2147483647    66907     32 |  0.813 % |
21.32/21.32	c |     68143 |   41100   313876  1226972 | 2147483647    67932     32 |  0.813 % |
22.02/22.11	c |     70193 |   41099   313876  1226972 | 2147483647    69981     32 |  0.833 % |
23.32/23.31	c |     74290 |   41092   313653  1226321 | 2147483647    74008     32 |  0.833 % |
24.62/24.67	c |     82486 |   41092   313653  1226321 | 2147483647    82204     32 |  0.833 % |
28.02/28.07	c |     98873 |   41092   313653  1226321 | 2147483647    98591     31 |  0.833 % |
28.32/28.33	c |     99385 |   41092   313653  1226321 | 2147483647    99103     31 |  0.833 % |
28.62/28.65	c |     99898 |   41092   313653  1226321 | 2147483647    99616     31 |  0.833 % |
29.03/29.03	c |    100922 |   41092   313653  1226321 | 2147483647   100640     30 |  0.833 % |
29.13/29.22	c |    101434 |   41092   313653  1226321 | 2147483647   101152     30 |  0.833 % |
29.33/29.38	c |    101947 |   41092   313653  1226321 | 2147483647   101665     30 |  0.833 % |
29.73/29.76	c |    102972 |   41092   313653  1226321 | 2147483647   102690     30 |  0.833 % |
30.03/30.08	c |    105020 |   41092   313653  1226321 | 2147483647   104738     30 |  0.833 % |
30.33/30.35	c |    105535 |   41092   313653  1226321 | 2147483647   105253     30 |  0.833 % |
30.43/30.49	c |    106047 |   41092   313653  1226321 | 2147483647   105765     30 |  0.833 % |
30.83/30.89	c |    107071 |   41092   313653  1226321 | 2147483647   106789     30 |  0.833 % |
31.13/31.12	c |    107589 |   41092   313653  1226321 | 2147483647   107307     30 |  0.833 % |
31.13/31.20	c |    108102 |   41092   313653  1226321 | 2147483647   107820     30 |  0.833 % |
31.63/31.67	c |    109126 |   41092   313653  1226321 | 2147483647   108844     30 |  0.833 % |
32.13/32.13	c |    111176 |   41092   313653  1226321 | 2147483647   110894     30 |  0.833 % |
34.43/34.43	c |    115273 |   41092   313653  1226321 | 2147483647   114991     31 |  0.833 % |
34.53/34.58	c |    115786 |   41092   313653  1226321 | 2147483647   115504     30 |  0.833 % |
34.83/34.85	c |    116298 |   41092   313653  1226321 | 2147483647   116016     30 |  0.833 % |
35.23/35.24	c |    117323 |   41092   313653  1226321 | 2147483647   117041     31 |  0.833 % |
35.43/35.45	c |    117837 |   41092   313653  1226321 | 2147483647   117555     31 |  0.833 % |
35.63/35.65	c |    118349 |   41092   313653  1226321 | 2147483647   118067     31 |  0.833 % |
35.83/35.84	c |    119373 |   41092   313653  1226321 | 2147483647   119091     30 |  0.833 % |
36.83/36.90	c |    121421 |   41092   313653  1226321 | 2147483647   121139     31 |  0.833 % |
37.13/37.13	c |    121936 |   41092   313653  1226321 | 2147483647   121654     31 |  0.833 % |
37.23/37.30	c |    122449 |   41092   313653  1226321 | 2147483647   122167     31 |  0.833 % |
37.73/37.82	c |    123473 |   41092   313653  1226321 | 2147483647   123191     31 |  0.833 % |
37.83/37.91	c |    123986 |   41092   313653  1226321 | 2147483647   123704     31 |  0.833 % |
37.93/37.93	c |    124498 |   41092   313653  1226321 | 2147483647   124216     31 |  0.833 % |
38.23/38.23	c |    125523 |   41092   313653  1226321 | 2147483647   125241     31 |  0.833 % |
38.63/38.65	c |    127572 |   41092   313653  1226321 | 2147483647   127290     30 |  0.833 % |
39.33/39.36	c |    131670 |   41092   313653  1226321 | 2147483647   131388     30 |  0.833 % |
41.53/41.56	c |    139864 |   41092   313653  1226321 | 2147483647   139582     31 |  0.833 % |
41.93/42.01	c |    140377 |   41092   313653  1226321 |   139718   140095     30 |  0.833 % |
42.23/42.30	c |    140891 |   41092   313653  1226321 |   139718   126600     29 |  0.833 % |
42.83/42.83	c |    141915 |   41092   313653  1226321 |   139718   127624     29 |  0.833 % |
42.93/42.99	c |    142429 |   41092   313653  1226321 |   139718   128138     29 |  0.833 % |
43.13/43.12	c |    142942 |   41092   313653  1226321 |   139718   128651     29 |  0.833 % |
43.43/43.51	c |    143967 |   41092   313653  1226321 |   139718   129676     29 |  0.833 % |
44.43/44.51	c |    146015 |   41092   313653  1226321 |   139718   131724     29 |  0.833 % |
44.73/44.73	c |    146529 |   41092   313653  1226321 |   139718   132238     29 |  0.833 % |
44.93/44.95	c |    147041 |   41092   313653  1226321 |   139718   132750     29 |  0.833 % |
45.13/45.18	c |    148066 |   41092   313653  1226321 |   139718   133775     29 |  0.833 % |
45.33/45.32	c |    148578 |   41092   313653  1226321 |   139718   134287     29 |  0.833 % |
45.53/45.53	c |    149090 |   41092   313653  1226321 |   139718   134799     29 |  0.833 % |
45.83/45.91	c |    150114 |   41086   313545  1226000 | 2147483647   135816     29 |  0.847 % |
46.73/46.72	c |    152162 |   41086   313545  1226000 | 2147483647   137864     29 |  0.847 % |
47.83/47.91	c |    156258 |   41086   313545  1226000 | 2147483647   141960     29 |  0.847 % |
48.53/48.54	c |    156770 |   41086   313545  1226000 | 2147483647   142472     29 |  0.847 % |
48.63/48.63	c |    157284 |   41086   313545  1226000 | 2147483647   142986     29 |  0.847 % |
49.13/49.20	c |    158308 |   41086   313545  1226000 | 2147483647   144010     29 |  0.847 % |
49.33/49.41	c |    158821 |   41086   313545  1226000 | 2147483647   144523     29 |  0.847 % |
49.43/49.50	c |    159333 |   41086   313545  1226000 | 2147483647   145035     29 |  0.847 % |
50.03/50.07	c |    160358 |   41086   313545  1226000 | 2147483647   146060     29 |  0.847 % |
50.73/50.72	c |    162406 |   41086   313545  1226000 | 2147483647   148108     29 |  0.847 % |
50.93/50.92	c |    162918 |   41086   313545  1226000 | 2147483647   148620     29 |  0.847 % |
51.03/51.06	c |    163432 |   41086   313545  1226000 | 2147483647   149134     29 |  0.847 % |
51.33/51.41	c |    164457 |   41083   313545  1226000 | 2147483647   150158     29 |  0.854 % |
51.63/51.69	c |    164969 |   41083   313545  1226000 | 2147483647   150670     29 |  0.854 % |
52.03/52.07	c |    165481 |   41083   313545  1226000 | 2147483647   151182     29 |  0.854 % |
52.33/52.38	c |    166505 |   41083   313545  1226000 | 2147483647   152206     29 |  0.854 % |
52.63/52.64	c |    168554 |   41083   313545  1226000 | 2147483647   154255     29 |  0.854 % |
54.33/54.38	c |    172650 |   41083   313545  1226000 |   155701   158351     29 |  0.854 % |
57.33/57.37	c |    180846 |   41083   313518  1225894 |   134699   135544     29 |  0.854 % |
63.23/63.30	c |    197230 |   41077   313518  1225894 |   122954   116119     28 |  0.871 % |
73.52/73.51	c |    229998 |   41076   313518  1225894 | 2147483647   148886     29 |  0.874 % |
73.82/73.82	c |    230510 |   41075   313310  1225251 | 2147483647   149394     29 |  0.874 % |
74.22/74.24	c |    231023 |   41075   313310  1225251 | 2147483647   149907     28 |  0.874 % |
74.72/74.70	c |    232048 |   41075   313310  1225251 | 2147483647   150932     29 |  0.874 % |
75.12/75.11	c |    232560 |   41075   313310  1225251 | 2147483647   151444     28 |  0.874 % |
75.42/75.47	c |    233072 |   41075   313310  1225251 | 2147483647   151956     28 |  0.874 % |
75.62/75.63	c |    234096 |   41075   313310  1225251 | 2147483647   152980     28 |  0.874 % |
76.82/76.90	c |    236144 |   40961   313310  1225251 | 2147483647   155027     29 |  1.274 % |
77.32/77.33	c |    236657 |   40939   313310  1225251 | 2147483647   155540     29 |  1.274 % |
77.42/77.47	c |    237170 |   40939   313310  1225251 | 2147483647   156053     29 |  1.274 % |
78.72/78.77	c |    238194 |   40935   313310  1225251 | 2147483647   157075     29 |  1.279 % |
78.92/78.96	c |    238707 |   40932   313310  1225251 | 2147483647   157588     28 |  1.279 % |
79.32/79.37	c |    239220 |   40932   313310  1225251 | 2147483647   158101     28 |  1.279 % |
79.72/79.72	c |    240244 |   40932   313310  1225251 | 2147483647   159125     28 |  1.279 % |
80.42/80.49	c |    242292 |   40925   313310  1225251 | 2147483647   161171     28 |  1.291 % |
81.72/81.76	c |    246388 |   40925   313310  1225251 | 2147483647   165267     28 |  1.291 % |
81.82/81.84	c |    246900 |   40925   313310  1225251 | 2147483647   165779     28 |  1.291 % |
81.92/81.94	c |    247414 |   40925   313310  1225251 | 2147483647   166293     28 |  1.291 % |
82.22/82.22	c |    248438 |   40925   313310  1225251 | 2147483647   167317     28 |  1.291 % |
82.52/82.53	c |    248953 |   40902   309471  1209109 | 2147483647   140326     24 |  1.291 % |
82.62/82.66	c |    249465 |   40902   309471  1209109 | 2147483647   140838     24 |  1.291 % |
83.02/83.04	c |    250491 |   40902   309471  1209109 | 2147483647   141864     24 |  1.291 % |
83.82/83.83	c |    252542 |   40896   309471  1209109 | 2147483647   143912     24 |  1.308 % |
84.02/84.01	c |    253056 |   40896   309471  1209109 | 2147483647   144426     24 |  1.308 % |
84.32/84.38	c |    253568 |   40896   309471  1209109 | 2147483647   144938     24 |  1.308 % |
84.82/84.90	c |    254592 |   40896   309471  1209109 | 2147483647   145962     24 |  1.308 % |
85.02/85.01	c |    255104 |   40896   309471  1209109 | 2147483647   146474     24 |  1.308 % |
85.22/85.22	c |    255616 |   40896   309471  1209109 | 2147483647   146986     24 |  1.308 % |
85.42/85.49	c |    256640 |   40895   309471  1209109 | 2147483647   148009     24 |  1.344 % |
86.32/86.39	c |    258689 |   40895   309471  1209109 | 2147483647   150058     24 |  1.344 % |
87.82/87.88	c |    262789 |   40888   309471  1209109 | 2147483647   154158     24 |  1.344 % |
90.52/90.55	c |    270982 |   40888   309471  1209109 | 2147483647   162351     25 |  1.344 % |
90.82/90.84	c |    271494 |   40880   309162  1207942 | 2147483647   162823     25 |  1.344 % |
91.02/91.08	c |    272006 |   40880   309162  1207942 | 2147483647   163335     25 |  1.344 % |
91.43/91.44	c |    273031 |   40879   309162  1207942 | 2147483647   164359     25 |  1.347 % |
91.62/91.61	c |    273544 |   40879   309162  1207942 | 2147483647   164872     25 |  1.347 % |
91.82/91.88	c |    274059 |   40842   309162  1207942 | 2147483647   165385     25 |  1.508 % |
92.42/92.45	c |    275083 |   40842   309162  1207942 | 2147483647   166409     25 |  1.508 % |
93.12/93.18	c |    277134 |   40820   309162  1207942 | 2147483647   168458     25 |  1.634 % |
93.42/93.49	c |    277647 |   40820   309162  1207942 | 2147483647   168971     25 |  1.634 % |
93.63/93.62	c |    278160 |   40820   309162  1207942 | 2147483647   169484     25 |  1.634 % |
93.92/93.98	c |    279184 |   40807   309162  1207942 | 2147483647   170508     25 |  1.634 % |
94.22/94.27	c |    279696 |   40803   309162  1207942 | 2147483647   171020     25 |  1.634 % |
94.62/94.68	c |    280210 |   40803   309162  1207942 | 2147483647   171534     25 |  1.634 % |
95.02/95.07	c |    281234 |   40803   309162  1207942 | 2147483647   172558     25 |  1.634 % |
96.12/96.15	c |    283282 |   40803   309162  1207942 | 2147483647   174606     25 |  1.634 % |
97.12/97.10	c |    287379 |   40803   309162  1207942 | 2147483647   178703     25 |  1.634 % |
97.22/97.27	c |    287892 |   40783   309162  1207942 | 2147483647   179211     25 |  1.689 % |
97.72/97.76	c |    288404 |   40783   309162  1207942 | 2147483647   179723     25 |  1.689 % |
97.82/97.89	c |    289428 |   40783   309162  1207942 | 2147483647   180747     25 |  1.689 % |
98.22/98.27	c |    289940 |   40736   306135  1196209 | 2147483647   178600     25 |  1.692 % |
98.42/98.46	c |    290452 |   40736   306135  1196209 | 2147483647   179112     25 |  1.692 % |
98.72/98.77	c |    291479 |   40736   306135  1196209 | 2147483647   180139     25 |  1.692 % |
98.92/98.93	c |    293530 |   40736   306135  1196209 | 2147483647   182190     25 |  1.692 % |
99.13/99.14	c |    294042 |   40736   306135  1196209 | 2147483647   182702     25 |  1.692 % |
99.42/99.41	c |    294554 |   40736   306135  1196209 | 2147483647   183214     25 |  1.692 % |
99.82/99.84	c |    295579 |   40727   306135  1196209 | 2147483647   184238     25 |  1.742 % |
100.12/100.12	c |    296092 |   40727   306135  1196209 | 2147483647   184751     25 |  1.742 % |
100.32/100.34	c |    296605 |   40720   306135  1196209 | 2147483647   185263     25 |  1.759 % |
100.72/100.80	c |    297629 |   40720   306135  1196209 | 2147483647   186287     25 |  1.759 % |
101.92/102.00	c |    299678 |   40719   306135  1196209 | 2147483647   188335     25 |  1.762 % |
103.53/103.58	c |    303774 |   40715   306135  1196209 | 2147483647   192431     25 |  1.762 % |
105.12/105.20	c |    311966 |   40713   306135  1196209 |   198658   200621     25 |  1.767 % |
110.82/110.83	c |    328351 |   40684   305499  1193700 |   181362   162972     25 |  1.846 % |
110.82/110.89	c |    328864 |   40684   305499  1193700 |   181362   163485     25 |  1.846 % |
111.12/111.17	c |    329376 |   40684   305499  1193700 |   181362   163997     25 |  1.846 % |
111.72/111.73	c |    330402 |   40678   305499  1193700 | 2147483647   165022     25 |  1.861 % |
112.12/112.16	c |    330916 |   40678   305499  1193700 | 2147483647   165536     25 |  1.861 % |
112.42/112.41	c |    331429 |   40678   305499  1193700 | 2147483647   166049     25 |  1.861 % |
112.72/112.72	c |    332453 |   40678   305499  1193700 | 2147483647   167073     25 |  1.861 % |
113.22/113.26	c |    334503 |   40677   305499  1193700 | 2147483647   169122     25 |  1.863 % |
113.52/113.50	c |    335015 |   40671   305499  1193700 | 2147483647   169630     25 |  1.878 % |
113.72/113.79	c |    335527 |   40662   305499  1193700 | 2147483647   170141     25 |  1.935 % |
114.02/114.08	c |    336551 |   40660   305499  1193700 | 2147483647   171164     25 |  1.938 % |
114.42/114.43	c |    337063 |   40656   305499  1193700 | 2147483647   171675     25 |  1.948 % |
114.72/114.71	c |    337575 |   40654   305499  1193700 | 2147483647   172186     25 |  1.962 % |
115.02/115.09	c |    338599 |   40651   305499  1193700 | 2147483647   173210     25 |  1.962 % |
116.32/116.39	c |    340649 |   40649   305499  1193700 | 2147483647   175258     25 |  1.967 % |
117.72/117.78	c |    344745 |   40621   304117  1188490 | 2147483647   176651     25 |  1.969 % |
118.12/118.17	c |    345257 |   40621   304117  1188490 | 2147483647   177163     25 |  1.969 % |
118.42/118.47	c |    345769 |   40621   304117  1188490 | 2147483647   177675     25 |  1.969 % |
119.22/119.29	c |    346793 |   40617   304117  1188490 | 2147483647   178698     25 |  1.979 % |
119.42/119.41	c |    347306 |   40617   304117  1188490 | 2147483647   179211     25 |  1.979 % |
119.72/119.73	c |    347818 |   40617   304117  1188490 | 2147483647   179723     25 |  1.979 % |
119.92/119.99	c |    348842 |   40617   304117  1188490 | 2147483647   180747     25 |  1.979 % |
121.42/121.47	c |    350890 |   40617   304117  1188490 | 2147483647   182795     25 |  1.979 % |
121.92/121.99	c |    351402 |   40617   304117  1188490 | 2147483647   183307     25 |  1.979 % |
122.23/122.28	c |    351915 |   40617   304117  1188490 | 2147483647   183820     25 |  1.979 % |
122.82/122.88	c |    352939 |   40617   304117  1188490 | 2147483647   184844     25 |  1.979 % |
123.12/123.10	c |    353453 |   40617   304117  1188490 | 2147483647   185358     25 |  1.979 % |
123.33/123.38	c |    353967 |   40617   304117  1188490 | 2147483647   185872     25 |  1.979 % |
123.82/123.84	c |    354992 |   40617   304117  1188490 | 2147483647   186897     25 |  1.979 % |
124.32/124.37	c |    357041 |   40617   304117  1188490 | 2147483647   188946     25 |  1.979 % |
126.42/126.42	c |    361137 |   40617   304117  1188490 | 2147483647   193042     25 |  1.979 % |
129.13/129.12	c |    369330 |   40617   303990  1187996 | 2147483647   201064     26 |  1.979 % |
129.33/129.32	c |    369845 |   40617   303990  1187996 | 2147483647   201579     26 |  1.979 % |
129.63/129.67	c |    370358 |   40617   303990  1187996 |   201735   202092     26 |  1.979 % |
130.13/130.12	c |    371383 |   40617   303990  1187996 |   201735   203117     27 |  1.979 % |
130.63/130.63	c |    371895 |   40617   303990  1187996 |   201735   183318     26 |  1.979 % |
130.73/130.75	c |    372408 |   40617   303990  1187996 |   201735   183831     26 |  1.979 % |
130.83/130.86	c |    373432 |   40617   303990  1187996 |   201735   184855     26 |  1.979 % |
132.03/132.04	c |    375481 |   40617   303990  1187996 |   201735   186904     26 |  1.979 % |
132.23/132.28	c |    375995 |   40617   303990  1187996 |   201735   187418     26 |  1.979 % |
132.73/132.73	c |    376508 |   40617   303990  1187996 |   201735   187931     27 |  1.979 % |
133.03/133.11	c |    377532 |   40614   303990  1187996 |   201735   188954     27 |  1.986 % |
133.33/133.32	c |    378044 |   40614   303990  1187996 |   201735   189466     27 |  1.986 % |
133.53/133.54	c |    378558 |   40614   303990  1187996 |   201735   189980     27 |  1.986 % |
134.03/134.05	c |    379582 |   40614   303990  1187996 |   201735   191004     27 |  1.986 % |
134.93/134.93	c |    381630 |   40605   303990  1187996 | 2147483647   193051     27 |  2.020 % |
135.43/135.41	c |    385728 |   40605   303990  1187996 | 2147483647   197149     27 |  2.020 % |
135.93/135.96	c |    386240 |   40605   303990  1187996 | 2147483647   197661     27 |  2.020 % |
136.23/136.27	c |    386752 |   40605   303990  1187996 | 2147483647   198173     26 |  2.020 % |
136.83/136.84	c |    387778 |   40600   303728  1186868 | 2147483647   196305     26 |  2.020 % |
137.23/137.30	c |    388290 |   40600   303728  1186868 | 2147483647   196817     26 |  2.020 % |
137.33/137.39	c |    388803 |   40600   303728  1186868 | 2147483647   197330     26 |  2.020 % |
137.83/137.85	c |    389827 |   40600   303728  1186868 | 2147483647   198354     26 |  2.020 % |
138.53/138.57	c |    391875 |   40600   303728  1186868 | 2147483647   200402     27 |  2.020 % |
138.83/138.88	c |    392387 |   40600   303728  1186868 | 2147483647   200914     27 |  2.020 % |
139.03/139.06	c |    392903 |   40600   303728  1186868 | 2147483647   201430     27 |  2.020 % |
139.83/139.90	c |    393927 |   40599   303728  1186868 | 2147483647   202453     27 |  2.022 % |
140.03/140.09	c |    394439 |   40598   303728  1186868 | 2147483647   202964     27 |  2.025 % |
140.23/140.28	c |    394953 |   40598   303728  1186868 | 2147483647   203478     27 |  2.025 % |
140.83/140.82	c |    395980 |   40598   303728  1186868 | 2147483647   204505     27 |  2.025 % |
142.03/142.08	c |    398029 |   40598   303728  1186868 | 2147483647   206554     27 |  2.025 % |
142.63/142.67	c |    402127 |   40598   303728  1186868 |   208526   210652     27 |  2.025 % |
143.93/143.94	c |    410319 |   40598   303728  1186868 |   183408   183727     27 |  2.025 % |
149.33/149.36	c |    426704 |   40598   303728  1186868 |   193408   157206     27 |  2.025 % |
161.53/161.56	c |    459473 |   40598   303636  1186594 | 2147483647   189975     29 |  2.025 % |
188.43/188.43	c |    525010 |   40598   303636  1186594 |    90097    95106     68 |  2.025 % |
188.83/188.84	c |    525522 |   40594   303555  1186237 |    90097    64160     86 |  2.034 % |
188.93/188.91	c |    526034 |   40594   303555  1186237 |    90097    64672     86 |  2.034 % |
189.13/189.12	c |    527058 |   40594   303555  1186237 |    90097    65696     84 |  2.034 % |
189.13/189.18	c |    527570 |   40594   303555  1186237 |    90097    66208     84 |  2.034 % |
189.53/189.59	c |    528082 |   40594   303555  1186237 |    90097    66720     84 |  2.034 % |
189.73/189.75	c |    529106 |   40594   303555  1186237 |    90097    67744     83 |  2.034 % |
190.33/190.35	c |    531154 |   40594   303555  1186237 |    68638    69792     81 |  2.034 % |
190.63/190.64	c |    531666 |   40594   303555  1186237 |    68638    60315     88 |  2.034 % |
190.83/190.84	c |    532178 |   40594   303555  1186237 |    68638    60827     88 |  2.034 % |
191.23/191.25	c |    533204 |   40594   303555  1186237 |    68638    61853     87 |  2.034 % |
191.33/191.34	c |    533716 |   40594   303555  1186237 |    68638    62365     86 |  2.034 % |
191.83/191.83	c |    534228 |   40594   303555  1186237 |    68638    62877     86 |  2.034 % |
192.13/192.17	c |    535253 |   40594   303555  1186237 |    68638    63902     84 |  2.034 % |
192.23/192.28	c |    537302 |   40594   303555  1186237 |    68638    65951     82 |  2.034 % |
192.93/192.93	c |    541398 |   40594   303555  1186237 | 2147483647    70047     79 |  2.034 % |
193.13/193.11	c |    541911 |   40594   303555  1186237 | 2147483647    70560     78 |  2.034 % |
193.53/193.51	c |    542424 |   40594   303555  1186237 | 2147483647    71073     78 |  2.034 % |
193.83/193.86	c |    543449 |   40594   303555  1186237 | 2147483647    72098     77 |  2.034 % |
194.13/194.17	c |    543961 |   40594   303555  1186237 | 2147483647    72610     77 |  2.034 % |
194.23/194.24	c |    544473 |   40594   303555  1186237 | 2147483647    73122     77 |  2.034 % |
194.63/194.61	c |    545497 |   40592   303555  1186237 | 2147483647    74145     76 |  2.039 % |
195.23/195.22	c |    547545 |   40592   303555  1186237 | 2147483647    76193     74 |  2.039 % |
195.53/195.56	c |    548057 |   40592   303545  1186189 | 2147483647    76654     74 |  2.039 % |
195.94/195.93	c |    548569 |   40592   303545  1186189 | 2147483647    77166     73 |  2.039 % |
196.33/196.35	c |    549594 |   40592   303545  1186189 | 2147483647    78191     73 |  2.039 % |
196.63/196.64	c |    550106 |   40592   303545  1186189 | 2147483647    78703     72 |  2.039 % |
196.73/196.73	c |    550619 |   40592   303545  1186189 | 2147483647    79216     72 |  2.039 % |
196.83/196.81	c |    551643 |   40592   303545  1186189 | 2147483647    80240     72 |  2.039 % |
197.13/197.12	c |    553692 |   40592   303545  1186189 | 2147483647    82289     70 |  2.039 % |
198.23/198.28	c |    557788 |   40592   303545  1186189 | 2147483647    86385     69 |  2.039 % |
200.13/200.16	c |    565980 |   40591   303545  1186189 | 2147483647    94576     66 |  2.044 % |
200.23/200.26	c |    566493 |   40591   303545  1186189 | 2147483647    95089     66 |  2.044 % |
200.34/200.36	c |    567006 |   40591   303545  1186189 | 2147483647    95602     66 |  2.044 % |
200.83/200.90	c |    568030 |   40590   303545  1186189 | 2147483647    96626     66 |  2.044 % |
201.23/201.23	c |    568542 |   40590   303545  1186189 | 2147483647    97138     65 |  2.044 % |
201.33/201.39	c |    569058 |   40590   303545  1186189 | 2147483647    97654     65 |  2.044 % |
202.03/202.03	c |    570082 |   40590   303545  1186189 | 2147483647    98678     65 |  2.044 % |
202.73/202.74	c |    572133 |   40589   303545  1186189 | 2147483647   100728     65 |  2.046 % |
203.13/203.14	c |    572645 |   40589   303505  1186012 | 2147483647   101234     64 |  2.046 % |
203.43/203.47	c |    573158 |   40589   303505  1186012 | 2147483647   101747     64 |  2.046 % |
203.93/203.92	c |    574183 |   40588   303505  1186012 | 2147483647   102771     64 |  2.054 % |
204.13/204.15	c |    574695 |   40588   303505  1186012 | 2147483647   103283     64 |  2.054 % |
204.53/204.58	c |    575208 |   40588   303505  1186012 | 2147483647   103796     63 |  2.054 % |
204.93/204.94	c |    576232 |   40588   303505  1186012 | 2147483647   104820     63 |  2.054 % |
205.43/205.47	c |    578281 |   40588   303505  1186012 | 2147483647   106869     62 |  2.054 % |
205.73/205.77	c |    582377 |   40588   303505  1186012 | 2147483647   110965     61 |  2.054 % |
206.03/206.07	c |    582890 |   40588   303505  1186012 | 2147483647   111478     61 |  2.054 % |
206.23/206.26	c |    583403 |   40588   303505  1186012 | 2147483647   111991     61 |  2.054 % |
206.63/206.66	c |    584429 |   40588   303505  1186012 | 2147483647   113017     61 |  2.054 % |
206.73/206.77	c |    584941 |   40588   303505  1186012 | 2147483647   113529     60 |  2.054 % |
206.94/206.95	c |    585453 |   40588   303505  1186012 | 2147483647   114041     60 |  2.054 % |
207.53/207.51	c |    586477 |   40588   303505  1186012 | 2147483647   115065     60 |  2.054 % |
208.13/208.13	c |    588527 |   40588   303505  1186012 | 2147483647   117115     60 |  2.054 % |
208.43/208.47	c |    589039 |   40588   303505  1186012 | 2147483647   117627     60 |  2.054 % |
208.83/208.81	c |    589551 |   40588   303505  1186012 | 2147483647   118139     59 |  2.054 % |
209.03/209.02	c |    590575 |   40588   303505  1186012 | 2147483647   119163     59 |  2.054 % |
209.23/209.25	c |    591087 |   40588   303505  1186012 | 2147483647   119675     59 |  2.054 % |
209.33/209.34	c |    591599 |   40588   303505  1186012 | 2147483647   120187     59 |  2.054 % |
209.43/209.42	c |    592624 |   40588   303505  1186012 | 2147483647   121212     59 |  2.054 % |
210.43/210.43	c |    594672 |   40588   303505  1186012 | 2147483647   123260     59 |  2.054 % |
211.13/211.13	c |    598768 |   40588   303505  1186012 | 2147483647   127356     58 |  2.054 % |
213.63/213.63	c |    606960 |   40588   303505  1186012 | 2147483647   135548     56 |  2.054 % |
216.23/216.30	c |    623344 |   40580   303494  1185983 |   148588   151930     54 |  2.075 % |
216.73/216.74	c |    623856 |   40579   303494  1185983 |   148588   114891     39 |  2.075 % |
217.13/217.16	c |    624368 |   40576   303494  1185983 |   148588   115401     39 |  2.080 % |
217.53/217.57	c |    625393 |   40576   303494  1185983 |   148588   116426     39 |  2.080 % |
217.63/217.63	c |    625905 |   40576   303494  1185983 |   148588   116938     39 |  2.080 % |
217.83/217.91	c |    626417 |   40576   303494  1185983 |   148588   117450     39 |  2.080 % |
217.94/217.97	c |    627441 |   40576   303494  1185983 |   148588   118474     39 |  2.080 % |
218.53/218.53	c |    629489 |   40576   303494  1185983 |   148588   120522     39 |  2.080 % |
218.93/218.91	c |    630001 |   40576   303494  1185983 | 2147483647   121034     39 |  2.080 % |
219.04/219.07	c |    630513 |   40576   303494  1185983 | 2147483647   121546     39 |  2.080 % |
219.33/219.31	c |    631538 |   40576   303494  1185983 | 2147483647   122571     38 |  2.080 % |
219.43/219.50	c |    632050 |   40571   303494  1185983 | 2147483647   123082     38 |  2.097 % |
219.73/219.76	c |    632562 |   40571   303494  1185983 | 2147483647   123594     38 |  2.097 % |
220.23/220.28	c |    633586 |   40570   303494  1185983 | 2147483647   124618     39 |  2.097 % |
221.53/221.56	c |    635634 |   40570   303494  1185983 | 2147483647   126666     38 |  2.097 % |
222.53/222.53	c |    639731 |   40570   303494  1185983 | 2147483647   130763     38 |  2.097 % |
222.63/222.69	c |    640243 |   40565   303494  1185983 | 2147483647   131274     38 |  2.109 % |
222.83/222.82	c |    640756 |   40565   303494  1185983 | 2147483647   131787     38 |  2.109 % |
223.03/223.04	c |    641780 |   40565   303494  1185983 | 2147483647   132811     38 |  2.109 % |
223.03/223.09	c |    642294 |   40565   303494  1185983 | 2147483647   133325     38 |  2.109 % |
223.23/223.29	c |    642807 |   40565   303494  1185983 | 2147483647   133838     38 |  2.109 % |
224.13/224.15	c |    643831 |   40564   303494  1185983 | 2147483647   134862     38 |  2.109 % |
225.34/225.36	c |    645880 |   40564   303494  1185983 | 2147483647   136911     38 |  2.109 % |
225.54/225.59	c |    646393 |   40563   303182  1184704 | 2147483647   137228     38 |  2.109 % |
225.64/225.70	c |    646906 |   40563   303182  1184704 | 2147483647   137741     37 |  2.109 % |
226.54/226.58	c |    647930 |   40563   303182  1184704 | 2147483647   138765     37 |  2.109 % |
226.74/226.72	c |    648442 |   40563   303182  1184704 | 2147483647   139277     37 |  2.109 % |
227.14/227.14	c |    648954 |   40563   303182  1184704 | 2147483647   139789     37 |  2.109 % |
227.14/227.21	c |    649978 |   40563   303182  1184704 | 2147483647   140813     37 |  2.109 % |
228.24/228.21	c |    652027 |   40563   303182  1184704 | 2147483647   142862     37 |  2.109 % |
228.84/228.87	c |    656123 |   40539   303182  1184704 | 2147483647   146957     37 |  2.223 % |
233.34/233.31	c |    664315 |   40537   303182  1184704 | 2147483647   155149     36 |  2.223 % |
233.64/233.68	c |    664827 |   40535   303182  1184704 | 2147483647   155660     36 |  2.227 % |
233.74/233.80	c |    665340 |   40514   302700  1182730 | 2147483647   156170     36 |  2.227 % |
234.34/234.41	c |    666364 |   40514   302700  1182730 | 2147483647   157194     36 |  2.227 % |
234.64/234.65	c |    666877 |   40514   302700  1182730 | 2147483647   157707     36 |  2.227 % |
234.84/234.91	c |    667390 |   40514   302700  1182730 | 2147483647   158220     36 |  2.227 % |
235.04/235.08	c |    668414 |   40514   302700  1182730 | 2147483647   159244     36 |  2.227 % |
235.24/235.31	c |    670462 |   40514   302700  1182730 | 2147483647   161292     36 |  2.227 % |
235.64/235.71	c |    670975 |   40514   302700  1182730 | 2147483647   161805     36 |  2.227 % |
236.04/236.10	c |    671487 |   40511   302700  1182730 | 2147483647   162315     36 |  2.237 % |
236.64/236.68	c |    672511 |   40511   302700  1182730 | 2147483647   163339     36 |  2.237 % |
236.74/236.74	c |    673025 |   40511   302700  1182730 | 2147483647   163853     36 |  2.237 % |
236.84/236.85	c |    673537 |   40509   302700  1182730 | 2147483647   164364     36 |  2.295 % |
237.44/237.51	c |    674563 |   40495   302700  1182730 | 2147483647   165390     35 |  2.295 % |
238.04/238.04	c |    676611 |   40494   302700  1182730 | 2147483647   167437     35 |  2.297 % |
240.24/240.29	c |    680708 |   40494   302700  1182730 | 2147483647   171534     36 |  2.297 % |
240.54/240.52	c |    681221 |   40494   302700  1182730 | 2147483647   172047     36 |  2.297 % |
240.74/240.80	c |    681733 |   40494   302700  1182730 | 2147483647   172559     36 |  2.297 % |
241.04/241.09	c |    682759 |   40494   302700  1182730 | 2147483647   173585     36 |  2.297 % |
241.34/241.32	c |    683272 |   40493   302700  1182730 | 2147483647   174098     36 |  2.297 % |
241.84/241.82	c |    683784 |   40492   302700  1182730 | 2147483647   174609     36 |  2.300 % |
242.54/242.54	c |    684808 |   40492   302700  1182730 | 2147483647   175633     35 |  2.300 % |
243.34/243.39	c |    686856 |   40492   302700  1182730 | 2147483647   177681     35 |  2.300 % |
243.84/243.89	c |    687368 |   40484   302005  1180291 | 2147483647   178179     35 |  2.300 % |
244.14/244.13	c |    687880 |   40484   302005  1180291 | 2147483647   178691     35 |  2.300 % |
244.34/244.35	c |    688905 |   40484   302005  1180291 | 2147483647   179716     35 |  2.300 % |
244.44/244.42	c |    689417 |   40483   302005  1180291 | 2147483647   180227     35 |  2.331 % |
244.44/244.49	c |    689929 |   40483   302005  1180291 | 2147483647   180739     35 |  2.331 % |
245.04/245.03	c |    690954 |   40483   302005  1180291 | 2147483647   181764     35 |  2.331 % |
245.44/245.43	c |    693003 |   40483   302005  1180291 | 2147483647   183813     35 |  2.331 % |
246.74/246.80	c |    697099 |   40481   302005  1180291 | 2147483647   187907     35 |  2.336 % |
248.04/248.03	c |    705295 |   40479   302005  1180291 | 2147483647   196102     36 |  2.338 % |
252.34/252.40	c |    721679 |   40478   302005  1180291 | 2147483647   169615     33 |  2.341 % |
263.04/263.10	c |    754447 |   40478   302005  1180291 |   197936   202383     33 |  2.341 % |
263.84/263.88	c |    754959 |   40467   301579  1178744 |   197936   128008     28 |  2.341 % |
264.14/264.11	c |    755471 |   40467   301579  1178744 |   197936   128520     28 |  2.341 % |
264.44/264.47	c |    756495 |   40467   301579  1178744 |   197936   129544     28 |  2.341 % |
264.54/264.56	c |    757007 |   40467   301579  1178744 |   197936   130056     28 |  2.341 % |
264.74/264.79	c |    757519 |   40467   301579  1178744 |   197936   130568     28 |  2.341 % |
264.94/265.00	c |    758549 |   40467   301579  1178744 |   197936   131598     29 |  2.341 % |
265.94/265.96	c |    760597 |   40467   301579  1178744 |   133049   133646     28 |  2.341 % |
266.44/266.44	c |    761109 |   40467   301579  1178744 |   133049   134158     28 |  2.341 % |
266.64/266.70	c |    761621 |   40467   301579  1178744 |   133049   117291     29 |  2.341 % |
267.14/267.12	c |    762646 |   40466   301579  1178744 |   133049   118315     29 |  2.343 % |
267.24/267.25	c |    763159 |   40466   301579  1178744 |   133049   118828     29 |  2.343 % |
267.44/267.46	c |    763671 |   40466   301579  1178744 |   133049   119340     29 |  2.343 % |
267.74/267.80	c |    764695 |   40465   301579  1178744 |   133049   120363     29 |  2.346 % |
268.04/268.07	c |    766743 |   40464   301579  1178744 |   133049   122410     29 |  2.348 % |
269.54/269.61	c |    770839 |   40464   301579  1178744 | 2147483647   126506     28 |  2.348 % |
269.84/269.90	c |    771353 |   40464   301579  1178744 | 2147483647   127020     28 |  2.348 % |
270.04/270.06	c |    771866 |   40464   301579  1178744 | 2147483647   127533     28 |  2.348 % |
270.64/270.61	c |    772890 |   40464   301579  1178744 | 2147483647   128557     28 |  2.348 % |
270.74/270.76	c |    773404 |   40464   301579  1178744 | 2147483647   129071     28 |  2.348 % |
270.94/271.00	c |    773917 |   40464   301579  1178744 | 2147483647   129584     28 |  2.348 % |
271.44/271.43	c |    774944 |   40464   301579  1178744 | 2147483647   130611     28 |  2.348 % |
272.74/272.74	c |    776993 |   40463   301445  1178313 | 2147483647   132638     28 |  2.351 % |
272.94/272.94	c |    777505 |   40463   301445  1178313 | 2147483647   133150     28 |  2.351 % |
273.14/273.13	c |    778018 |   40460   301445  1178313 | 2147483647   133662     28 |  2.358 % |
273.54/273.61	c |    779043 |   40460   301445  1178313 | 2147483647   134687     28 |  2.358 % |
273.74/273.80	c |    779555 |   40460   301445  1178313 | 2147483647   135199     28 |  2.358 % |
274.04/274.03	c |    780067 |   40460   301445  1178313 | 2147483647   135711     28 |  2.358 % |
274.34/274.39	c |    781092 |   40460   301445  1178313 | 2147483647   136736     28 |  2.358 % |
275.14/275.11	c |    783140 |   40460   301445  1178313 | 2147483647   138784     28 |  2.358 % |
276.94/276.95	c |    787238 |   40460   301445  1178313 | 2147483647   142882     29 |  2.358 % |
278.94/278.93	c |    795431 |   40459   301445  1178313 | 2147483647   151074     29 |  2.360 % |
279.34/279.32	c |    795943 |   40458   301382  1178077 | 2147483647   151546     29 |  2.363 % |
279.64/279.64	c |    796456 |   40458   301382  1178077 | 2147483647   152059     29 |  2.363 % |
279.94/280.00	c |    797482 |   40458   301382  1178077 | 2147483647   153085     29 |  2.363 % |
280.24/280.25	c |    797995 |   40458   301382  1178077 | 2147483647   153598     29 |  2.363 % |
280.44/280.44	c |    798507 |   40458   301382  1178077 | 2147483647   154110     29 |  2.363 % |
280.84/280.83	c |    799531 |   40453   301382  1178077 | 2147483647   155133     29 |  2.375 % |
281.24/281.28	c |    801579 |   40453   301382  1178077 | 2147483647   157181     29 |  2.375 % |
281.34/281.34	c |    802105 |   40453   301382  1178077 | 2147483647   157707     29 |  2.375 % |
281.44/281.50	c |    802618 |   40453   301382  1178077 | 2147483647   158220     29 |  2.375 % |
282.04/282.07	c |    803642 |   40453   301382  1178077 | 2147483647   159244     29 |  2.375 % |
282.24/282.21	c |    804155 |   40453   301382  1178077 | 2147483647   159757     29 |  2.375 % |
282.54/282.61	c |    804668 |   40441   301382  1178077 | 2147483647   160269     29 |  2.546 % |
283.04/283.01	c |    805692 |   40441   301382  1178077 | 2147483647   161293     29 |  2.546 % |
283.74/283.75	c |    807742 |   40441   301382  1178077 | 2147483647   163343     29 |  2.546 % |
284.74/284.77	c |    811838 |   40421   301382  1178077 | 2147483647   167439     29 |  2.546 % |
284.94/284.98	c |    812352 |   40421   301382  1178077 | 2147483647   167953     29 |  2.546 % |
285.34/285.31	c |    812866 |   40421   301382  1178077 | 2147483647   168467     29 |  2.546 % |
286.04/286.05	c |    813893 |   40421   301382  1178077 | 2147483647   169494     29 |  2.546 % |
286.44/286.50	c |    814408 |   40382   300116  1173348 | 2147483647   169988     29 |  2.546 % |
286.84/286.84	c |    814920 |   40382   300116  1173348 | 2147483647   170500     29 |  2.546 % |
287.34/287.36	c |    815944 |   40382   300116  1173348 | 2147483647   171524     29 |  2.546 % |
287.94/287.99	c |    817992 |   40382   300116  1173348 | 2147483647   173572     28 |  2.546 % |
288.24/288.28	c |    818504 |   40382   300116  1173348 | 2147483647   174084     28 |  2.546 % |
288.54/288.56	c |    819017 |   40382   300116  1173348 | 2147483647   174597     28 |  2.546 % |
289.24/289.26	c |    820041 |   40382   300116  1173348 | 2147483647   175621     28 |  2.546 % |
289.54/289.55	c |    820553 |   40382   300116  1173348 | 2147483647   176133     28 |  2.546 % |
289.84/289.82	c |    821065 |   40382   300116  1173348 | 2147483647   176645     28 |  2.546 % |
290.14/290.15	c |    822089 |   40382   300116  1173348 | 2147483647   177669     28 |  2.546 % |
290.84/290.85	c |    824137 |   40382   300116  1173348 | 2147483647   179717     28 |  2.546 % |
292.14/292.16	c |    828233 |   40382   300116  1173348 | 2147483647   183813     28 |  2.546 % |
294.14/294.12	c |    836425 |   40382   300116  1173348 | 2147483647   192005     29 |  2.546 % |
297.74/297.74	c |    852809 |   40381   300050  1173065 |   205543   208347     29 |  2.548 % |
298.25/298.26	c |    853322 |   40381   300050  1173065 |   205543   143491     28 |  2.548 % |
298.54/298.53	c |    853834 |   40381   300050  1173065 |   205543   144003     28 |  2.548 % |
299.14/299.11	c |    854860 |   40381   300050  1173065 |   205543   145029     28 |  2.548 % |
299.54/299.51	c |    855372 |   40381   300050  1173065 |   205543   145541     28 |  2.548 % |
299.84/299.86	c |    855884 |   40381   300050  1173065 |   205543   146053     28 |  2.548 % |
300.34/300.38	c |    856908 |   40380   300050  1173065 |   205543   147076     28 |  2.553 % |
300.74/300.75	c |    858956 |   40380   300050  1173065 |   205543   149124     28 |  2.553 % |
301.14/301.14	c |    859468 |   40380   300050  1173065 |   205543   149636     28 |  2.553 % |
301.24/301.28	c |    859980 |   40380   300050  1173065 |   205543   150148     28 |  2.553 % |
301.55/301.53	c |    861005 |   40379   300050  1173065 | 2147483647   151173     28 |  2.553 % |
301.74/301.78	c |    861517 |   40379   300050  1173065 | 2147483647   151685     28 |  2.553 % |
302.04/302.01	c |    862029 |   40373   300050  1173065 | 2147483647   152196     28 |  2.577 % |
302.44/302.41	c |    863054 |   40373   300050  1173065 | 2147483647   153221     28 |  2.577 % |
303.24/303.24	c |    865103 |   40373   300050  1173065 | 2147483647   155270     28 |  2.577 % |
304.54/304.51	c |    869199 |   40373   300050  1173065 | 2147483647   159366     28 |  2.577 % |
304.74/304.76	c |    869712 |   40369   299691  1171735 | 2147483647   159878     28 |  2.577 % |
304.94/304.91	c |    870224 |   40369   299691  1171735 | 2147483647   160390     28 |  2.577 % |
305.24/305.29	c |    871248 |   40369   299691  1171735 | 2147483647   161414     28 |  2.577 % |
305.54/305.55	c |    871763 |   40369   299691  1171735 | 2147483647   161929     28 |  2.577 % |
306.04/306.01	c |    872276 |   40369   299691  1171735 | 2147483647   162442     28 |  2.577 % |
306.44/306.42	c |    873300 |   40369   299691  1171735 | 2147483647   163466     28 |  2.577 % |
306.94/306.92	c |    875351 |   40369   299691  1171735 | 2147483647   165517     28 |  2.577 % |
307.24/307.28	c |    875863 |   40369   299691  1171735 | 2147483647   166029     28 |  2.577 % |
307.64/307.62	c |    876375 |   40369   299691  1171735 | 2147483647   166541     28 |  2.577 % |
308.64/308.70	c |    877399 |   40369   299691  1171735 | 2147483647   167565     28 |  2.577 % |
308.84/308.86	c |    877912 |   40369   299691  1171735 | 2147483647   168078     28 |  2.577 % |
309.04/309.03	c |    878424 |   40369   299691  1171735 | 2147483647   168590     28 |  2.577 % |
309.25/309.25	c |    879449 |   40369   299691  1171735 | 2147483647   169615     28 |  2.577 % |
310.14/310.12	c |    881498 |   40369   299691  1171735 | 2147483647   171664     28 |  2.577 % |
310.94/311.00	c |    885597 |   40369   299691  1171735 | 2147483647   175763     28 |  2.577 % |
312.64/312.68	c |    893791 |   40368   299645  1171576 | 2147483647   183955     28 |  2.580 % |
312.84/312.88	c |    894304 |   40368   299645  1171576 | 2147483647   184468     28 |  2.580 % |
313.34/313.36	c |    894816 |   40368   299645  1171576 | 2147483647   184980     28 |  2.580 % |
314.04/314.09	c |    895841 |   40368   299645  1171576 | 2147483647   186005     28 |  2.580 % |
314.34/314.31	c |    896354 |   40368   299645  1171576 | 2147483647   186518     28 |  2.580 % |
314.64/314.61	c |    896867 |   40368   299645  1171576 | 2147483647   187031     28 |  2.580 % |
314.94/314.93	c |    897891 |   40368   299645  1171576 | 2147483647   188055     28 |  2.580 % |
315.94/316.00	c |    899939 |   40368   299645  1171576 | 2147483647   190103     28 |  2.580 % |
316.34/316.37	c |    900451 |   40368   299645  1171576 | 2147483647   190615     28 |  2.580 % |
316.84/316.85	c |    900963 |   40368   299645  1171576 | 2147483647   191127     28 |  2.580 % |
317.54/317.59	c |    901987 |   40368   299645  1171576 | 2147483647   192151     28 |  2.580 % |
317.64/317.63	c |    902505 |   40368   299645  1171576 | 2147483647   192669     28 |  2.580 % |
317.74/317.74	c |    903017 |   40368   299645  1171576 | 2147483647   193181     28 |  2.580 % |
317.94/317.99	c |    904042 |   40368   299645  1171576 | 2147483647   194206     28 |  2.580 % |
318.34/318.38	c |    906090 |   40368   299645  1171576 | 2147483647   196254     28 |  2.580 % |
320.14/320.14	c |    910186 |   40368   299645  1171576 |   200165   200350     28 |  2.580 % |
320.54/320.55	c |    910699 |   40368   299645  1171576 |   200165   200863     28 |  2.580 % |
321.04/321.01	c |    911211 |   40368   299645  1171576 |   200165   201375     28 |  2.580 % |
321.74/321.74	c |    912237 |   40368   299645  1171576 |   200165   182264     28 |  2.580 % |
321.94/321.98	c |    912749 |   40368   299645  1171576 |   200165   182776     28 |  2.580 % |
322.14/322.17	c |    913261 |   40368   299645  1171576 |   200165   183288     28 |  2.580 % |
322.45/322.44	c |    914286 |   40368   299645  1171576 |   200165   184313     28 |  2.580 % |
324.15/324.19	c |    916334 |   40368   299645  1171576 |   200165   186361     28 |  2.580 % |
324.45/324.46	c |    916846 |   40368   299645  1171576 |   200165   186873     28 |  2.580 % |
324.55/324.60	c |    917359 |   40368   299645  1171576 |   200165   187386     28 |  2.580 % |
324.65/324.68	c |    918385 |   40368   299645  1171576 |   200165   188412     28 |  2.580 % |
324.85/324.90	c |    918897 |   40368   299645  1171576 |   200165   188924     28 |  2.580 % |
325.15/325.14	c |    919409 |   40368   299645  1171576 |   200165   189436     28 |  2.580 % |
325.75/325.80	c |    920433 |   40368   299645  1171576 | 2147483647   190460     28 |  2.580 % |
326.55/326.59	c |    922484 |   40368   299645  1171576 | 2147483647   192511     28 |  2.580 % |
327.25/327.28	c |    926580 |   40368   299645  1171576 | 2147483647   196607     28 |  2.580 % |
330.95/330.94	c |    934772 |   40368   299645  1171576 | 2147483647   204799     29 |  2.580 % |
338.45/338.51	c |    951156 |   40355   299597  1171283 | 2147483647   221098     29 |  2.614 % |
357.46/357.46	c |    983926 |   40350   299407  1170563 | 2147483647   230264     30 |  2.623 % |
385.66/385.68	c |   1049465 |   40349   299361  1170415 |   209202   174263     31 |  2.626 % |
415.76/415.77	c |   1180539 |   40348   299361  1170415 |    61271    61810     35 |  2.628 % |
416.06/416.02	c |   1181051 |   40348   299312  1170261 |    61271    62319     35 |  2.628 % |
416.16/416.12	c |   1181564 |   40348   299312  1170261 |    61271    62832     34 |  2.628 % |
416.46/416.45	c |   1182593 |   40348   299312  1170261 |    61271    57578     35 |  2.628 % |
416.66/416.66	c |   1183105 |   40348   299312  1170261 |    61271    58090     35 |  2.628 % |
416.76/416.78	c |   1183618 |   40348   299312  1170261 |    61271    58603     34 |  2.628 % |
417.16/417.14	c |   1184642 |   40348   299312  1170261 |    61271    59627     35 |  2.628 % |
417.56/417.60	c |   1186691 |   40348   299312  1170261 |    61271    61676     34 |  2.628 % |
417.76/417.79	c |   1187204 |   40348   299312  1170261 |    61271    62189     34 |  2.628 % |
418.06/418.08	c |   1187718 |   40348   299312  1170261 |    61271    62703     34 |  2.628 % |
418.26/418.28	c |   1188742 |   40348   299312  1170261 |    61271    57457     34 |  2.628 % |
418.56/418.53	c |   1189254 |   40348   299312  1170261 |    61271    57969     34 |  2.628 % |
418.76/418.78	c |   1189767 |   40348   299312  1170261 |    61271    58482     34 |  2.628 % |
418.96/418.98	c |   1190791 |   40348   299312  1170261 | 2147483647    59506     33 |  2.628 % |
419.36/419.33	c |   1192840 |   40348   299312  1170261 | 2147483647    61555     33 |  2.628 % |
420.16/420.17	c |   1196936 |   40347   299264  1170112 | 2147483647    65648     32 |  2.630 % |
420.26/420.27	c |   1197449 |   40347   299264  1170112 | 2147483647    66161     32 |  2.630 % |
420.57/420.53	c |   1197964 |   40347   299264  1170112 | 2147483647    66676     32 |  2.630 % |
420.67/420.66	c |   1198988 |   40347   299264  1170112 | 2147483647    67700     32 |  2.630 % |
420.77/420.73	c |   1199501 |   40347   299264  1170112 | 2147483647    68213     32 |  2.630 % |
420.87/420.88	c |   1200014 |   40347   299264  1170112 | 2147483647    68726     32 |  2.630 % |
420.87/420.92	c |   1201038 |   40347   299264  1170112 | 2147483647    69750     32 |  2.630 % |
421.37/421.42	c |   1203090 |   40347   299264  1170112 | 2147483647    71802     31 |  2.630 % |
421.67/421.63	c |   1203603 |   40347   299264  1170112 | 2147483647    72315     31 |  2.630 % |
421.77/421.78	c |   1204116 |   40347   299264  1170112 | 2147483647    72828     31 |  2.631 % |
422.17/422.20	c |   1205140 |   40347   299264  1170112 | 2147483647    73852     31 |  2.631 % |
422.37/422.33	c |   1205655 |   40347   299264  1170112 | 2147483647    74367     31 |  2.630 % |
422.57/422.60	c |   1206168 |   40347   299264  1170112 | 2147483647    74880     31 |  2.630 % |
423.07/423.03	c |   1207194 |   40347   299264  1170112 | 2147483647    75906     31 |  2.630 % |
423.37/423.33	c |   1209242 |   40347   299264  1170112 | 2147483647    77954     31 |  2.630 % |
424.37/424.39	c |   1213340 |   40347   299264  1170112 | 2147483647    82052     31 |  2.630 % |
426.46/426.48	c |   1221533 |   40347   299264  1170112 | 2147483647    90245     34 |  2.630 % |
426.66/426.64	c |   1222049 |   40347   299264  1170112 | 2147483647    90761     34 |  2.630 % |
426.96/426.93	c |   1222561 |   40347   299264  1170112 | 2147483647    91273     34 |  2.630 % |
426.96/427.00	c |   1223589 |   40347   299264  1170112 | 2147483647    92301     34 |  2.630 % |
427.16/427.18	c |   1224101 |   40347   299264  1170112 | 2147483647    92813     34 |  2.630 % |
427.16/427.21	c |   1224614 |   40347   299264  1170112 | 2147483647    93326     34 |  2.631 % |
427.36/427.36	c |   1225640 |   40347   299264  1170112 | 2147483647    94352     33 |  2.630 % |
427.86/427.90	c |   1227689 |   40347   299264  1170112 | 2147483647    96401     33 |  2.630 % |
427.96/427.99	c |   1228205 |   40347   299264  1170112 | 2147483647    96917     33 |  2.631 % |
428.16/428.17	c |   1228717 |   40346   299218  1169975 | 2147483647    97428     33 |  2.633 % |
428.46/428.45	c |   1229741 |   40346   299218  1169975 | 2147483647    98452     33 |  2.633 % |
428.66/428.68	c |   1230253 |   40343   299218  1169975 | 2147483647    98963     33 |  2.640 % |
428.76/428.79	c |   1230765 |   40343   299218  1169975 | 2147483647    99475     33 |  2.640 % |
429.06/429.11	c |   1231789 |   40343   299218  1169975 | 2147483647   100499     33 |  2.640 % |
429.66/429.67	c |   1233838 |   40343   299218  1169975 | 2147483647   102548     33 |  2.640 % |
430.96/430.96	c |   1237934 |   40343   299218  1169975 | 2147483647   106644     33 |  2.640 % |
431.16/431.14	c |   1238446 |   40343   299218  1169975 | 2147483647   107156     33 |  2.640 % |
431.26/431.25	c |   1238959 |   40343   299218  1169975 | 2147483647   107669     33 |  2.640 % |
431.76/431.72	c |   1239983 |   40343   299218  1169975 | 2147483647   108693     33 |  2.640 % |
432.06/432.04	c |   1240496 |   40343   299182  1169835 | 2147483647   109206     33 |  2.640 % |
432.26/432.25	c |   1241008 |   40343   299182  1169835 | 2147483647   109718     33 |  2.640 % |
432.66/432.70	c |   1242033 |   40343   299182  1169835 | 2147483647   110743     33 |  2.640 % |
432.96/432.92	c |   1244081 |   40343   299182  1169835 | 2147483647   112791     33 |  2.640 % |
433.06/433.07	c |   1244593 |   40343   299182  1169835 | 2147483647   113303     33 |  2.640 % |
433.26/433.27	c |   1245107 |   40343   299182  1169835 | 2147483647   113817     33 |  2.640 % |
433.56/433.53	c |   1246132 |   40343   299182  1169835 | 2147483647   114842     32 |  2.640 % |
433.56/433.56	c |   1246644 |   40343   299182  1169835 | 2147483647   115354     32 |  2.640 % |
433.86/433.90	c |   1247158 |   40339   299182  1169835 | 2147483647   115866     32 |  2.737 % |
434.26/434.21	c |   1248184 |   40339   299182  1169835 | 2147483647   116892     32 |  2.737 % |
434.66/434.71	c |   1250232 |   40339   299182  1169835 | 2147483647   118940     32 |  2.737 % |
435.66/435.62	c |   1254328 |   40336   299182  1169835 | 2147483647   123036     32 |  2.737 % |
438.36/438.40	c |   1262520 |   40336   299182  1169835 | 2147483647   131228     33 |  2.737 % |
442.76/442.79	c |   1278904 |   40303   298418  1166971 | 2147483647   147612     34 |  2.737 % |
442.96/443.01	c |   1279416 |   40303   298418  1166971 | 2147483647   148124     34 |  2.737 % |
443.26/443.24	c |   1279928 |   40303   298418  1166971 | 2147483647   148636     35 |  2.737 % |
443.26/443.31	c |   1280953 |   40303   298418  1166971 |   148709   149661     34 |  2.737 % |
443.66/443.65	c |   1281466 |   40302   298418  1166971 |   148709   150173     34 |  2.746 % |
444.16/444.16	c |   1281979 |   40302   298418  1166971 |   148709   135669     33 |  2.746 % |
444.36/444.38	c |   1283005 |   40301   298418  1166971 |   148709   136695     33 |  2.746 % |
444.86/444.83	c |   1285053 |   40301   298418  1166971 |   148709   138743     32 |  2.746 % |
444.96/444.92	c |   1285565 |   40301   298418  1166971 |   148709   139255     32 |  2.746 % |
445.26/445.22	c |   1286079 |   40301   298418  1166971 |   148709   139769     32 |  2.746 % |
445.66/445.66	c |   1287103 |   40299   298336  1166640 |   148709   140789     33 |  2.746 % |
446.06/446.10	c |   1287616 |   40299   298336  1166640 |   148709   141302     33 |  2.746 % |
446.26/446.24	c |   1288128 |   40299   298336  1166640 |   148709   141814     33 |  2.746 % |
446.46/446.41	c |   1289153 |   40299   298336  1166640 |   148709   142839     33 |  2.746 % |
446.86/446.85	c |   1291201 |   40289   298336  1166640 | 2147483647   144886     32 |  2.809 % |
447.66/447.67	c |   1295297 |   40281   298336  1166640 | 2147483647   148982     32 |  2.809 % |
447.96/447.93	c |   1295809 |   40281   298336  1166640 | 2147483647   149494     32 |  2.809 % |
448.06/448.02	c |   1296322 |   40281   298336  1166640 | 2147483647   150007     32 |  2.809 % |
448.56/448.58	c |   1297347 |   40280   298336  1166640 | 2147483647   151031     32 |  2.812 % |
448.86/448.84	c |   1297860 |   40280   298336  1166640 | 2147483647   151544     32 |  2.811 % |
448.96/448.99	c |   1298372 |   40280   298336  1166640 | 2147483647   152056     32 |  2.811 % |
449.26/449.29	c |   1299397 |   40280   298336  1166640 | 2147483647   153081     32 |  2.811 % |
449.66/449.71	c |   1301445 |   40280   298336  1166640 | 2147483647   155129     32 |  2.811 % |
449.76/449.78	c |   1301958 |   40280   298336  1166640 | 2147483647   155642     32 |  2.811 % |
450.06/450.03	c |   1302470 |   40280   298336  1166640 | 2147483647   156154     32 |  2.811 % |
450.26/450.27	c |   1303494 |   40280   298336  1166640 | 2147483647   157178     32 |  2.811 % |
450.56/450.53	c |   1304007 |   40280   298336  1166640 | 2147483647   157691     32 |  2.811 % |
450.66/450.69	c |   1304519 |   40280   298336  1166640 | 2147483647   158203     32 |  2.811 % |
451.16/451.11	c |   1305543 |   40280   298336  1166640 | 2147483647   159227     32 |  2.812 % |
451.66/451.70	c |   1307591 |   40267   297663  1164284 | 2147483647   161270     31 |  2.824 % |
452.46/452.50	c |   1311690 |   40267   297663  1164284 | 2147483647   165369     32 |  2.824 % |
456.26/456.31	c |   1319885 |   40267   297663  1164284 | 2147483647   173564     31 |  2.824 % |
456.46/456.51	c |   1320398 |   40267   297663  1164284 | 2147483647   174077     31 |  2.824 % |
456.76/456.77	c |   1320911 |   40267   297663  1164284 | 2147483647   174590     31 |  2.824 % |
457.26/457.21	c |   1321936 |   40267   297663  1164284 | 2147483647   175615     31 |  2.824 % |
457.46/457.47	c |   1322451 |   40267   297663  1164284 | 2147483647   176130     31 |  2.824 % |
457.66/457.63	c |   1322964 |   40267   297663  1164284 | 2147483647   176643     31 |  2.824 % |
458.06/458.06	c |   1323989 |   40267   297663  1164284 | 2147483647   177668     31 |  2.824 % |
458.66/458.64	c |   1326041 |   40267   297663  1164284 | 2147483647   179720     31 |  2.824 % |
458.96/458.94	c |   1326556 |   40266   297663  1164284 | 2147483647   180234     31 |  2.826 % |
459.36/459.35	c |   1327068 |   40266   297615  1164135 | 2147483647   180744     31 |  2.826 % |
459.86/459.89	c |   1328093 |   40266   297615  1164135 | 2147483647   181769     31 |  2.826 % |
460.16/460.14	c |   1328605 |   40266   297615  1164135 | 2147483647   182281     31 |  2.826 % |
460.46/460.43	c |   1329117 |   40266   297615  1164135 | 2147483647   182793     31 |  2.826 % |
460.76/460.77	c |   1330141 |   40266   297615  1164135 | 2147483647   183817     31 |  2.826 % |
461.46/461.43	c |   1332189 |   40266   297615  1164135 | 2147483647   185865     31 |  2.826 % |
462.26/462.26	c |   1336286 |   40266   297615  1164135 | 2147483647   189962     31 |  2.826 % |
462.46/462.50	c |   1336798 |   40266   297615  1164135 | 2147483647   190474     31 |  2.826 % |
462.66/462.65	c |   1337310 |   40266   297615  1164135 | 2147483647   190986     31 |  2.826 % |
463.06/463.10	c |   1338334 |   40266   297615  1164135 | 2147483647   192010     31 |  2.826 % |
463.26/463.31	c |   1338846 |   40266   297615  1164135 | 2147483647   192522     31 |  2.826 % |
463.46/463.48	c |   1339360 |   40266   297615  1164135 | 2147483647   193036     31 |  2.826 % |
463.86/463.89	c |   1340384 |   40266   297615  1164135 | 2147483647   194060     31 |  2.826 % |
464.56/464.52	c |   1342432 |   40266   297615  1164135 | 2147483647   196108     31 |  2.826 % |
464.56/464.56	c |   1342944 |   40266   297615  1164135 | 2147483647   196620     31 |  2.826 % |
464.66/464.70	c |   1343456 |   40266   297615  1164135 | 2147483647   197132     31 |  2.826 % |
464.96/464.92	c |   1344481 |   40266   297615  1164135 | 2147483647   198157     31 |  2.826 % |
464.96/464.99	c |   1344993 |   40266   297615  1164135 | 2147483647   198669     31 |  2.826 % |
465.06/465.03	c |   1345505 |   40266   297615  1164135 | 2147483647   199181     31 |  2.826 % |
465.66/465.70	c |   1346532 |   40266   297615  1164135 | 2147483647   200208     31 |  2.826 % |
466.36/466.37	c |   1348580 |   40266   297615  1164135 | 2147483647   202256     31 |  2.826 % |
468.16/468.13	c |   1352677 |   40266   297615  1164135 | 2147483647   206353     31 |  2.826 % |
470.56/470.51	c |   1360869 |   40266   297615  1164135 | 2147483647   214545     31 |  2.826 % |
476.16/476.20	c |   1377253 |   40264   297607  1164113 | 2147483647   230924     31 |  2.831 % |
490.26/490.29	c |   1410022 |   40264   297607  1164113 |   205545   205567     31 |  2.831 % |
490.46/490.44	c |   1410534 |   40264   297607  1164113 |   205545   206079     31 |  2.831 % |
490.66/490.61	c |   1411046 |   40264   297607  1164113 |   205545   206591     31 |  2.831 % |
491.16/491.13	c |   1412070 |   40264   297607  1164113 |   205545   207615     31 |  2.831 % |
491.66/491.63	c |   1412583 |   40264   297607  1164113 |   205545   183267     29 |  2.831 % |
492.06/492.02	c |   1413095 |   40264   297607  1164113 |   205545   183779     29 |  2.831 % |
492.26/492.23	c |   1414119 |   40264   297607  1164113 |   205545   184803     29 |  2.831 % |
493.06/493.11	c |   1416168 |   40264   297607  1164113 |   205545   186852     29 |  2.831 % |
493.46/493.41	c |   1416680 |   40264   297607  1164113 |   205545   187364     29 |  2.831 % |
493.56/493.58	c |   1417194 |   40264   297607  1164113 |   205545   187878     29 |  2.831 % |
493.96/493.94	c |   1418221 |   40264   297607  1164113 |   205545   188905     29 |  2.831 % |
494.46/494.49	c |   1418734 |   40264   297607  1164113 |   205545   189418     29 |  2.831 % |
494.66/494.64	c |   1419246 |   40264   297607  1164113 |   205545   189930     29 |  2.831 % |
495.17/495.17	c |   1420272 |   40264   297607  1164113 | 2147483647   190956     29 |  2.831 % |
496.46/496.44	c |   1422320 |   40264   297607  1164113 | 2147483647   193004     29 |  2.831 % |
497.66/497.66	c |   1426416 |   40263   297591  1164064 | 2147483647   197094     29 |  2.833 % |
497.96/498.00	c |   1426928 |   40263   297591  1164064 | 2147483647   197606     29 |  2.833 % |
498.06/498.03	c |   1427444 |   40263   297591  1164064 | 2147483647   198122     29 |  2.833 % |
498.47/498.46	c |   1428471 |   40263   297591  1164064 | 2147483647   199149     29 |  2.833 % |
498.76/498.78	c |   1428983 |   40263   297591  1164064 | 2147483647   199661     29 |  2.833 % |
499.06/499.03	c |   1429495 |   40263   297591  1164064 | 2147483647   200173     29 |  2.833 % |
499.57/499.55	c |   1430519 |   40263   297591  1164064 |   200678   201197     29 |  2.833 % |
499.96/499.97	c |   1432567 |   40263   297591  1164064 |   200678   203245     29 |  2.833 % |
500.36/500.33	c |   1433080 |   40263   297591  1164064 |   200678   182309     29 |  2.833 % |
500.46/500.46	c |   1433595 |   40263   297591  1164064 |   200678   182824     29 |  2.833 % |
500.56/500.61	c |   1434619 |   40263   297591  1164064 |   200678   183848     29 |  2.833 % |
501.06/501.07	c |   1435131 |   40263   297591  1164064 |   200678   184360     29 |  2.833 % |
501.46/501.47	c |   1435643 |   40263   297591  1164064 |   200678   184872     29 |  2.833 % |
501.77/501.72	c |   1436667 |   40263   297591  1164064 |   200678   185896     29 |  2.833 % |
503.26/503.29	c |   1438715 |   40263   297591  1164064 |   200678   187944     29 |  2.833 % |
503.86/503.82	c |   1442811 |   40263   297591  1164064 |   189229   192040     29 |  2.833 % |
505.76/505.75	c |   1451003 |   40263   297591  1164064 |   169032   170033     29 |  2.833 % |
506.06/506.03	c |   1451517 |   40263   297591  1164064 |   169032   170547     29 |  2.833 % |
506.46/506.49	c |   1452031 |   40263   297591  1164064 |   169032   144585     28 |  2.833 % |
506.86/506.81	c |   1453056 |   40262   297591  1164064 |   169032   145609     28 |  2.843 % |
507.06/507.07	c |   1453569 |   40259   297571  1163946 |   169032   146122     28 |  2.843 % |
507.27/507.28	c |   1454083 |   40259   297571  1163946 |   169032   146636     28 |  2.843 % |
507.76/507.78	c |   1455108 |   40259   297571  1163946 |   169032   147661     28 |  2.843 % |
508.26/508.28	c |   1457156 |   40259   297571  1163946 |   169032   149709     29 |  2.843 % |
508.46/508.46	c |   1457669 |   40259   297571  1163946 |   169032   150222     29 |  2.843 % |
508.76/508.71	c |   1458181 |   40259   297571  1163946 |   169032   150734     29 |  2.843 % |
509.06/509.08	c |   1459206 |   40259   297571  1163946 |   169032   151759     29 |  2.843 % |
509.26/509.21	c |   1459718 |   40259   297571  1163946 |   169032   152271     28 |  2.843 % |
509.56/509.56	c |   1460231 |   40259   297571  1163946 | 2147483647   152784     28 |  2.843 % |
509.86/509.83	c |   1461258 |   40259   297571  1163946 | 2147483647   153811     28 |  2.843 % |
510.26/510.26	c |   1463307 |   40259   297571  1163946 | 2147483647   155860     28 |  2.843 % |
511.96/511.99	c |   1467403 |   40259   297571  1163946 | 2147483647   159956     28 |  2.843 % |
512.26/512.23	c |   1467916 |   40259   297571  1163946 | 2147483647   160469     28 |  2.843 % |
512.36/512.34	c |   1468428 |   40259   297571  1163946 | 2147483647   160981     28 |  2.843 % |
512.77/512.79	c |   1469453 |   40259   297571  1163946 | 2147483647   162006     28 |  2.843 % |
513.06/513.04	c |   1469965 |   40259   297571  1163946 | 2147483647   162518     28 |  2.843 % |
513.26/513.22	c |   1470478 |   40259   297571  1163946 | 2147483647   163031     28 |  2.843 % |
513.96/513.92	c |   1471503 |   40259   297571  1163946 | 2147483647   164056     28 |  2.843 % |
514.86/514.85	c |   1473551 |   40256   297525  1163797 | 2147483647   166101     28 |  2.850 % |
515.06/515.09	c |   1474064 |   40256   297525  1163797 | 2147483647   166614     28 |  2.850 % |
515.46/515.44	c |   1474576 |   40256   297525  1163797 | 2147483647   167126     28 |  2.850 % |
515.86/515.83	c |   1475601 |   40256   297525  1163797 | 2147483647   168151     28 |  2.850 % |
515.96/515.99	c |   1476113 |   40256   297525  1163797 | 2147483647   168663     28 |  2.850 % |
516.36/516.38	c |   1476625 |   40256   297525  1163797 | 2147483647   169175     28 |  2.850 % |
516.86/516.89	c |   1477649 |   40256   297525  1163797 | 2147483647   170199     28 |  2.850 % |
517.86/517.89	c |   1479699 |   40256   297525  1163797 | 2147483647   172249     29 |  2.850 % |
518.37/518.36	c |   1483795 |   40256   297525  1163797 | 2147483647   176345     29 |  2.850 % |
520.17/520.12	c |   1491987 |   40256   297525  1163797 | 2147483647   184537     29 |  2.850 % |
524.27/524.27	c |   1508373 |   40256   297525  1163797 | 2147483647   200923     30 |  2.850 % |
524.47/524.49	c |   1508887 |   40256   297525  1163797 | 2147483647   201437     30 |  2.850 % |
524.77/524.78	c |   1509399 |   40256   297525  1163797 | 2147483647   201949     30 |  2.850 % |
525.17/525.21	c |   1510423 |   40256   297525  1163797 | 2147483647   202973     30 |  2.850 % |
525.37/525.38	c |   1510936 |   40256   297525  1163797 | 2147483647   203486     30 |  2.850 % |
525.77/525.72	c |   1511450 |   40256   297525  1163797 | 2147483647   204000     30 |  2.850 % |
526.27/526.29	c |   1512475 |   40256   297525  1163797 | 2147483647   205025     30 |  2.850 % |
526.77/526.73	c |   1514524 |   40256   297525  1163797 | 2147483647   207074     30 |  2.850 % |
526.97/526.92	c |   1515036 |   40256   297525  1163797 | 2147483647   207586     30 |  2.850 % |
527.07/527.04	c |   1515548 |   40256   297525  1163797 | 2147483647   208098     30 |  2.850 % |
527.47/527.42	c |   1516573 |   40256   297525  1163797 | 2147483647   209123     30 |  2.850 % |
527.77/527.77	c |   1517085 |   40256   297525  1163797 | 2147483647   209635     30 |  2.850 % |
527.97/527.92	c |   1517597 |   40256   297525  1163797 | 2147483647   210147     30 |  2.850 % |
528.67/528.63	c |   1518621 |   40256   297525  1163797 | 2147483647   211171     30 |  2.850 % |
529.77/529.78	c |   1520670 |   40256   297525  1163797 | 2147483647   213220     30 |  2.850 % |
530.77/530.74	c |   1524766 |   40256   297525  1163797 | 2147483647   217316     30 |  2.850 % |
531.17/531.13	c |   1525278 |   40256   297525  1163797 | 2147483647   217828     30 |  2.850 % |
531.27/531.29	c |   1525790 |   40256   297525  1163797 | 2147483647   218340     30 |  2.850 % |
531.87/531.85	c |   1526814 |   40256   297525  1163797 | 2147483647   219364     30 |  2.850 % |
532.27/532.24	c |   1527326 |   40256   297525  1163797 | 2147483647   219876     30 |  2.850 % |
532.37/532.34	c |   1527838 |   40256   297525  1163797 | 2147483647   220388     30 |  2.850 % |
532.67/532.71	c |   1528864 |   40256   297525  1163797 | 2147483647   221414     30 |  2.850 % |
533.47/533.49	c |   1530912 |   40256   297525  1163797 |   222550   223462     30 |  2.850 % |
533.57/533.56	c |   1531424 |   40256   297525  1163797 |   222550   223974     30 |  2.850 % |
533.97/533.96	c |   1531937 |   40256   297525  1163797 |   222550   199427     29 |  2.850 % |
534.27/534.21	c |   1532961 |   40256   297525  1163797 |   222550   200451     30 |  2.850 % |
534.47/534.45	c |   1533473 |   40256   297525  1163797 |   222550   200963     30 |  2.850 % |
534.57/534.58	c |   1533988 |   40256   297525  1163797 |   222550   201478     30 |  2.850 % |
535.17/535.18	c |   1535013 |   40256   297525  1163797 |   222550   202503     29 |  2.850 % |
535.97/535.99	c |   1537061 |   40256   297525  1163797 |   222550   204551     29 |  2.850 % |
537.77/537.75	c |   1541160 |   40256   297525  1163797 | 2147483647   208650     30 |  2.850 % |
540.87/540.86	c |   1549352 |   40239   297065  1162210 | 2147483647   216839     30 |  2.891 % |
541.07/541.07	c |   1549865 |   40239   297065  1162210 | 2147483647   217352     30 |  2.891 % |
541.57/541.52	c |   1550377 |   40239   297065  1162210 | 2147483647   217864     30 |  2.891 % |
541.87/541.91	c |   1551401 |   40239   297065  1162210 | 2147483647   218888     30 |  2.891 % |
542.17/542.16	c |   1551914 |   40239   297065  1162210 | 2147483647   219401     30 |  2.891 % |
542.37/542.35	c |   1552426 |   40239   297065  1162210 | 2147483647   219913     30 |  2.891 % |
542.87/542.91	c |   1553450 |   40239   297065  1162210 | 2147483647   220937     30 |  2.891 % |
543.97/544.00	c |   1555498 |   40239   297065  1162210 | 2147483647   222985     30 |  2.891 % |
544.07/544.08	c |   1556010 |   40239   297065  1162210 | 2147483647   223497     30 |  2.891 % |
544.17/544.19	c |   1556524 |   40239   297065  1162210 | 2147483647   224011     30 |  2.891 % |
544.97/545.01	c |   1557548 |   40239   297065  1162210 | 2147483647   225035     30 |  2.891 % |
545.37/545.34	c |   1558062 |   40239   297065  1162210 | 2147483647   225549     30 |  2.891 % |
545.57/545.55	c |   1558575 |   40239   297065  1162210 | 2147483647   226062     30 |  2.891 % |
546.47/546.46	c |   1559600 |   40239   297065  1162210 | 2147483647   227087     30 |  2.891 % |
547.47/547.49	c |   1561650 |   40239   297065  1162210 |   227489   229137     30 |  2.891 % |
548.87/548.84	c |   1565748 |   40239   297065  1162210 |   227489   203884     30 |  2.891 % |
548.97/548.92	c |   1566261 |   40239   297065  1162210 |   227489   204397     30 |  2.891 % |
549.17/549.15	c |   1566774 |   40239   297065  1162210 |   227489   204910     30 |  2.891 % |
549.67/549.65	c |   1567799 |   40239   297065  1162210 |   227489   205935     30 |  2.891 % |
549.77/549.76	c |   1568313 |   40239   297065  1162210 |   227489   206449     30 |  2.891 % |
550.17/550.19	c |   1568825 |   40239   297065  1162210 |   227489   206961     30 |  2.891 % |
550.77/550.72	c |   1569851 |   40239   297065  1162210 |   227489   207987     30 |  2.891 % |
551.77/551.75	c |   1571899 |   40239   297065  1162210 |   208136   210035     30 |  2.891 % |
552.07/552.08	c |   1572412 |   40239   297065  1162210 |   208136   187187     29 |  2.891 % |
552.37/552.31	c |   1572926 |   40239   297065  1162210 |   208136   187701     29 |  2.891 % |
552.67/552.66	c |   1573950 |   40239   297065  1162210 |   208136   188725     29 |  2.891 % |
552.87/552.86	c |   1574465 |   40239   297065  1162210 |   208136   189240     29 |  2.891 % |
552.97/552.94	c |   1574977 |   40239   297065  1162210 |   208136   189752     29 |  2.891 % |
553.37/553.32	c |   1576003 |   40239   297065  1162210 |   208136   190778     29 |  2.891 % |
553.87/553.90	c |   1578056 |   40239   297065  1162210 |   208136   192831     29 |  2.891 % |
555.37/555.38	c |   1582152 |   40239   297065  1162210 |   194777   196927     29 |  2.891 % |
558.67/558.66	c |   1590344 |   40239   297065  1162210 |   185083   185427     30 |  2.891 % |
565.67/565.68	c |   1606729 |   40239   297065  1162210 | 2147483647   177834     30 |  2.891 % |
579.17/579.20	c |   1639499 |   40239   297065  1162210 | 2147483647   210604     30 |  2.891 % |
604.57/604.57	c |   1705038 |   40239   297065  1162210 | 2147483647   174306     32 |  2.891 % |
604.87/604.85	c |   1705551 |   40239   297065  1162210 | 2147483647   174819     32 |  2.891 % |
605.07/605.09	c |   1706063 |   40239   297065  1162210 | 2147483647   175331     32 |  2.891 % |
605.77/605.79	c |   1707088 |   40233   296953  1161878 | 2147483647   176350     32 |  2.906 % |
606.07/606.06	c |   1707600 |   40233   296953  1161878 | 2147483647   176862     31 |  2.906 % |
606.17/606.21	c |   1708112 |   40233   296953  1161878 | 2147483647   177374     31 |  2.906 % |
606.37/606.36	c |   1709136 |   40233   296953  1161878 | 2147483647   178398     31 |  2.906 % |
607.67/607.67	c |   1711184 |   40233   296953  1161878 | 2147483647   180446     31 |  2.906 % |
607.87/607.90	c |   1711696 |   40233   296953  1161878 | 2147483647   180958     31 |  2.906 % |
608.27/608.21	c |   1712208 |   40233   296953  1161878 | 2147483647   181470     31 |  2.906 % |
608.87/608.85	c |   1713232 |   40221   296953  1161878 | 2147483647   182493     31 |  2.966 % |
609.27/609.28	c |   1713744 |   40221   296953  1161878 | 2147483647   183005     31 |  2.966 % |
609.58/609.58	c |   1714256 |   40221   296953  1161878 | 2147483647   183517     31 |  2.966 % |
609.77/609.78	c |   1715281 |   40221   296953  1161878 | 2147483647   184542     31 |  2.966 % |
611.07/611.11	c |   1717331 |   40209   296953  1161878 | 2147483647   186592     31 |  2.966 % |
612.57/612.56	c |   1721429 |   40209   296953  1161878 | 2147483647   190690     31 |  2.966 % |
612.97/612.92	c |   1721941 |   40209   296953  1161878 | 2147483647   191202     31 |  2.966 % |
613.17/613.19	c |   1722454 |   40209   296953  1161878 | 2147483647   191715     31 |  2.966 % |
613.67/613.67	c |   1723478 |   40209   296953  1161878 | 2147483647   192739     31 |  2.966 % |
614.07/614.02	c |   1723992 |   40209   296953  1161878 | 2147483647   193253     31 |  2.966 % |
614.37/614.39	c |   1724504 |   40208   296670  1160922 | 2147483647   193765     31 |  2.966 % |
614.87/614.85	c |   1725529 |   40208   296670  1160922 | 2147483647   194790     31 |  2.966 % |
615.97/616.00	c |   1727577 |   40208   296670  1160922 | 2147483647   196838     31 |  2.966 % |
616.27/616.29	c |   1728089 |   40208   296670  1160922 | 2147483647   197350     31 |  2.966 % |
616.68/616.66	c |   1728601 |   40208   296670  1160922 | 2147483647   197862     31 |  2.966 % |
617.28/617.26	c |   1729625 |   40208   296670  1160922 | 2147483647   198886     31 |  2.966 % |
617.38/617.40	c |   1730138 |   40208   296670  1160922 | 2147483647   199399     31 |  2.966 % |
617.68/617.67	c |   1730650 |   40208   296670  1160922 | 2147483647   199911     31 |  2.966 % |
618.28/618.26	c |   1731678 |   40207   296670  1160922 | 2147483647   200938     31 |  2.968 % |
619.48/619.49	c |   1733726 |   40207   296670  1160922 | 2147483647   202986     31 |  2.968 % |
621.68/621.70	c |   1737822 |   40207   296670  1160922 | 2147483647   207082     31 |  2.968 % |
624.88/624.86	c |   1746014 |   40207   296670  1160922 | 2147483647   215274     31 |  2.968 % |
625.28/625.30	c |   1746528 |   40207   296665  1160906 | 2147483647   215784     31 |  2.968 % |
625.78/625.77	c |   1747041 |   40207   296665  1160906 | 2147483647   216297     31 |  2.968 % |
626.48/626.51	c |   1748066 |   40207   296665  1160906 | 2147483647   217322     31 |  2.968 % |
626.88/626.84	c |   1748578 |   40207   296665  1160906 | 2147483647   217834     31 |  2.968 % |
627.48/627.42	c |   1749092 |   40207   296665  1160906 | 2147483647   218348     31 |  2.968 % |
628.18/628.21	c |   1750116 |   40207   296665  1160906 | 2147483647   219372     31 |  2.968 % |
628.58/628.55	c |   1752165 |   40207   296665  1160906 | 2147483647   221421     31 |  2.968 % |
628.98/628.95	c |   1752679 |   40207   296665  1160906 | 2147483647   221935     31 |  2.968 % |
629.28/629.26	c |   1753193 |   40207   296665  1160906 | 2147483647   222449     31 |  2.968 % |
629.58/629.56	c |   1754222 |   40207   296665  1160906 | 2147483647   223478     31 |  2.968 % |
630.28/630.23	c |   1754734 |   40207   296665  1160906 | 2147483647   223990     31 |  2.968 % |
630.58/630.52	c |   1755247 |   40207   296665  1160906 | 2147483647   224503     31 |  2.968 % |
631.38/631.32	c |   1756271 |   40207   296665  1160906 | 2147483647   225527     31 |  2.968 % |
632.28/632.31	c |   1758319 |   40207   296665  1160906 | 2147483647   227575     31 |  2.968 % |
634.68/634.69	c |   1762417 |   40207   296665  1160906 |   229256   231673     31 |  2.968 % |
635.28/635.31	c |   1762929 |   40207   296665  1160906 |   229256   200708     32 |  2.968 % |
635.58/635.54	c |   1763442 |   40207   296665  1160906 |   229256   201221     32 |  2.968 % |
635.98/635.98	c |   1764466 |   40207   296665  1160906 |   229256   202245     32 |  2.968 % |
635.98/636.01	c |   1764980 |   40207   296665  1160906 |   229256   202759     32 |  2.968 % |
636.08/636.07	c |   1765493 |   40207   296665  1160906 |   229256   203272     32 |  2.968 % |
636.88/636.87	c |   1766517 |   40200   296665  1160906 |   229256   204295     32 |  2.995 % |
637.48/637.44	c |   1768565 |   40200   296665  1160906 |   229256   206343     32 |  2.995 % |
637.88/637.91	c |   1769079 |   40196   296359  1159844 |   229256   206857     32 |  2.995 % |
638.18/638.15	c |   1769593 |   40196   296359  1159844 |   229256   207371     32 |  2.995 % |
638.48/638.45	c |   1770617 |   40196   296359  1159844 |   207779   208395     31 |  2.995 % |
638.78/638.81	c |   1771130 |   40196   296359  1159844 |   207779   208908     31 |  2.995 % |
638.98/638.97	c |   1771643 |   40196   296359  1159844 |   207779   209421     31 |  2.995 % |
639.38/639.40	c |   1772668 |   40196   296359  1159844 |   207779   186430     30 |  2.995 % |
640.88/640.86	c |   1774717 |   40196   296359  1159844 |   207779   188479     30 |  2.995 % |
643.18/643.13	c |   1778814 |   40196   296359  1159844 |   207779   192576     30 |  2.995 % |
645.78/645.78	c |   1787008 |   40196   296359  1159844 | 2147483647   200770     31 |  2.995 % |
653.28/653.25	c |   1803392 |   40196   296359  1159844 | 2147483647   217154     31 |  2.995 % |
653.48/653.42	c |   1803905 |   40196   296359  1159844 | 2147483647   217667     31 |  2.995 % |
653.78/653.75	c |   1804417 |   40196   296359  1159844 | 2147483647   218179     31 |  2.995 % |
654.48/654.42	c |   1805442 |   40196   296359  1159844 | 2147483647   219204     31 |  2.995 % |
654.78/654.73	c |   1805954 |   40196   296359  1159844 | 2147483647   219716     31 |  2.995 % |
655.28/655.25	c |   1806466 |   40196   296359  1159844 | 2147483647   220228     31 |  2.995 % |
655.98/655.98	c |   1807492 |   40196   296359  1159844 | 2147483647   221254     31 |  2.995 % |
657.08/657.08	c |   1809542 |   40196   296359  1159844 | 2147483647   223304     31 |  2.995 % |
657.58/657.59	c |   1810054 |   40196   296359  1159844 | 2147483647   223816     31 |  2.995 % |
657.88/657.86	c |   1810567 |   40196   296359  1159844 | 2147483647   224329     31 |  2.995 % |
658.28/658.29	c |   1811592 |   40196   296359  1159844 | 2147483647   225354     31 |  2.995 % |
658.58/658.53	c |   1812104 |   40196   296359  1159844 | 2147483647   225866     31 |  2.995 % |
658.78/658.78	c |   1812617 |   40196   296359  1159844 | 2147483647   226379     31 |  2.995 % |
659.58/659.53	c |   1813642 |   40196   296359  1159844 | 2147483647   227404     31 |  2.995 % |
660.48/660.44	c |   1815690 |   40196   296359  1159844 | 2147483647   229452     31 |  2.995 % |
662.08/662.08	c |   1819786 |   40196   296359  1159844 | 2147483647   233548     31 |  2.995 % |
662.38/662.34	c |   1820300 |   40196   296359  1159844 | 2147483647   234062     31 |  2.995 % |
662.48/662.51	c |   1820812 |   40196   296359  1159844 | 2147483647   234574     31 |  2.995 % |
663.48/663.47	c |   1821836 |   40196   296359  1159844 | 2147483647   235598     31 |  2.995 % |
663.68/663.71	c |   1822348 |   40196   296359  1159844 | 2147483647   236110     31 |  2.995 % |
664.18/664.13	c |   1822861 |   40196   296359  1159844 | 2147483647   236623     31 |  2.995 % |
664.98/664.94	c |   1823885 |   40196   296359  1159844 | 2147483647   237647     31 |  2.995 % |
665.48/665.51	c |   1825935 |   40196   296359  1159844 | 2147483647   239697     30 |  2.995 % |
666.08/666.09	c |   1826448 |   40196   296359  1159844 | 2147483647   240210     30 |  2.995 % |
666.48/666.50	c |   1826962 |   40196   296359  1159844 | 2147483647   240724     30 |  2.995 % |
667.18/667.17	c |   1827988 |   40196   296359  1159844 | 2147483647   241750     30 |  2.995 % |
667.58/667.58	c |   1828501 |   40196   296359  1159844 | 2147483647   242263     30 |  2.995 % |
667.88/667.85	c |   1829014 |   40196   296359  1159844 | 2147483647   242776     30 |  2.995 % |
668.58/668.54	c |   1830039 |   40196   296359  1159844 | 2147483647   243801     30 |  2.995 % |
669.88/669.89	c |   1832087 |   40196   296359  1159844 | 2147483647   245849     30 |  2.995 % |
671.78/671.75	c |   1836183 |   40196   296359  1159844 | 2147483647   249945     30 |  2.995 % |
675.08/675.03	c |   1844375 |   40196   296359  1159844 |   253764   258137     30 |  2.995 % |
675.88/675.81	c |   1844887 |   40196   296359  1159844 |   253764   210253     29 |  2.995 % |
676.38/676.37	c |   1845400 |   40193   296335  1159743 |   253764   210764     29 |  3.002 % |
677.18/677.12	c |   1846426 |   40192   296335  1159743 |   253764   211789     29 |  3.005 % |
677.48/677.42	c |   1846940 |   40192   296335  1159743 |   253764   212303     29 |  3.005 % |
677.88/677.81	c |   1847452 |   40192   296335  1159743 |   253764   212815     29 |  3.005 % |
678.48/678.42	c |   1848476 |   40192   296335  1159743 |   253764   213839     29 |  3.005 % |
679.99/680.01	c |   1850524 |   40192   296335  1159743 |   215363   215887     29 |  3.005 % |
680.58/680.53	c |   1851036 |   40192   296335  1159743 |   215363   216399     29 |  3.005 % |
681.28/681.26	c |   1851548 |   40192   296335  1159743 |   215363   193825     28 |  3.005 % |
681.58/681.60	c |   1852573 |   40192   296335  1159743 |   215363   194850     28 |  3.005 % |
682.08/682.05	c |   1853086 |   40192   296335  1159743 |   215363   195363     28 |  3.005 % |
682.88/682.87	c |   1853598 |   40192   296335  1159743 |   215363   195875     28 |  3.005 % |
683.68/683.63	c |   1854623 |   40192   296335  1159743 |   215363   196900     28 |  3.005 % |
684.58/684.57	c |   1856671 |   40192   296335  1159743 |   215363   198948     28 |  3.005 % |
686.48/686.44	c |   1860767 |   40192   296335  1159743 | 2147483647   203044     28 |  3.005 % |
686.78/686.73	c |   1861279 |   40192   296335  1159743 | 2147483647   203556     28 |  3.005 % |
687.28/687.24	c |   1861793 |   40192   296335  1159743 | 2147483647   204070     28 |  3.005 % |
687.98/687.96	c |   1862818 |   40192   296302  1159576 | 2147483647   205095     28 |  3.005 % |
688.38/688.39	c |   1863330 |   40192   296302  1159576 | 2147483647   205607     28 |  3.005 % |
688.68/688.71	c |   1863842 |   40192   296302  1159576 | 2147483647   206119     28 |  3.005 % |
689.18/689.17	c |   1864866 |   40192   296302  1159576 | 2147483647   207143     28 |  3.005 % |
690.68/690.62	c |   1866916 |   40192   296302  1159576 | 2147483647   209193     28 |  3.005 % |
690.99/691.01	c |   1867431 |   40192   296302  1159576 | 2147483647   209708     28 |  3.005 % |
691.48/691.49	c |   1867947 |   40192   296302  1159576 | 2147483647   210224     28 |  3.005 % |
692.38/692.39	c |   1868973 |   40192   296302  1159576 | 2147483647   211250     28 |  3.005 % |
692.78/692.74	c |   1869485 |   40192   296302  1159576 | 2147483647   211762     28 |  3.005 % |
693.19/693.20	c |   1869997 |   40192   296302  1159576 | 2147483647   212274     28 |  3.005 % |
693.78/693.79	c |   1871021 |   40192   296302  1159576 |   212277   213298     28 |  3.005 % |
694.18/694.18	c |   1873069 |   40192   296302  1159576 |   212277   215346     28 |  3.005 % |
697.78/697.71	c |   1877166 |   40192   296302  1159576 |   212277   190640     28 |  3.005 % |
704.68/704.66	c |   1885361 |   40192   296302  1159576 |   193475   174907     27 |  3.005 % |
715.19/715.19	c |   1901745 |   40192   296302  1159576 | 2147483647   191291     28 |  3.005 % |
733.09/733.10	c |   1934513 |   40192   296302  1159576 |   191005   195518     28 |  3.005 % |
734.09/734.11	c |   1935025 |   40192   296302  1159576 |   191005   167647     28 |  3.005 % |
734.49/734.49	c |   1935537 |   40192   296302  1159576 |   191005   168159     28 |  3.005 % |
734.99/735.00	c |   1936561 |   40192   296302  1159576 |   191005   169183     29 |  3.005 % |
735.49/735.51	c |   1937073 |   40192   296302  1159576 |   191005   169695     29 |  3.005 % |
735.99/735.95	c |   1937585 |   40192   296302  1159576 |   191005   170207     28 |  3.005 % |
737.19/737.16	c |   1938609 |   40192   296302  1159576 |   191005   171231     29 |  3.005 % |
738.59/738.53	c |   1940658 |   40192   296302  1159576 |   172623   173280     29 |  3.005 % |
738.89/738.89	c |   1941170 |   40192   296302  1159576 |   172623   173792     29 |  3.005 % |
739.29/739.24	c |   1941682 |   40192   296302  1159576 |   172623   174304     29 |  3.005 % |
740.59/740.56	c |   1942706 |   40192   296302  1159576 |   172623   157478     28 |  3.005 % |
740.89/740.91	c |   1943219 |   40192   296302  1159576 |   172623   157991     28 |  3.005 % |
741.49/741.42	c |   1943731 |   40192   296302  1159576 |   172623   158503     28 |  3.005 % |
742.09/742.10	c |   1944755 |   40192   296302  1159576 |   172623   159527     29 |  3.005 % |
743.79/743.73	c |   1946804 |   40192   296302  1159576 |   172623   161576     28 |  3.005 % |
747.19/747.13	c |   1950900 |   40192   296302  1159576 | 2147483647   165672     28 |  3.005 % |
747.39/747.36	c |   1951413 |   40192   296302  1159576 | 2147483647   166185     28 |  3.005 % |
747.69/747.64	c |   1951925 |   40192   296302  1159576 | 2147483647   166697     28 |  3.005 % |
748.29/748.30	c |   1952949 |   40192   296302  1159576 | 2147483647   167721     28 |  3.005 % |
748.69/748.65	c |   1953463 |   40192   296302  1159576 | 2147483647   168235     28 |  3.005 % |
749.09/749.11	c |   1953976 |   40192   296302  1159576 | 2147483647   168748     28 |  3.005 % |
749.89/749.87	c |   1955000 |   40192   296302  1159576 | 2147483647   169772     28 |  3.005 % |
751.49/751.48	c |   1957048 |   40192   296302  1159576 | 2147483647   171820     28 |  3.005 % |
751.89/751.85	c |   1957561 |   40192   296302  1159576 | 2147483647   172333     28 |  3.005 % |
752.39/752.41	c |   1958074 |   40192   296302  1159576 | 2147483647   172846     28 |  3.005 % |
752.89/752.83	c |   1959101 |   40192   296302  1159576 | 2147483647   173873     28 |  3.005 % |
753.19/753.21	c |   1959613 |   40192   296302  1159576 | 2147483647   174385     28 |  3.005 % |
753.79/753.78	c |   1960125 |   40192   296302  1159576 |   174772   174897     28 |  3.005 % |
754.79/754.79	c |   1961149 |   40192   296302  1159576 |   174772   175921     28 |  3.005 % |
756.59/756.55	c |   1963198 |   40192   296302  1159576 |   174772   177970     28 |  3.005 % |
761.09/761.04	c |   1967295 |   40192   296302  1159576 |   174772   160881     28 |  3.005 % |
769.49/769.49	c |   1975488 |   40192   296302  1159576 |   163587   142964     28 |  3.005 % |
770.09/770.02	c |   1976003 |   40192   296302  1159576 |   163587   143479     28 |  3.005 % |
770.49/770.45	c |   1976516 |   40192   296302  1159576 |   163587   143992     28 |  3.005 % |
771.19/771.16	c |   1977540 |   40192   296302  1159576 |   163587   145016     28 |  3.005 % |
771.69/771.66	c |   1978052 |   40192   296302  1159576 |   163587   145528     28 |  3.005 % |
772.19/772.14	c |   1978565 |   40192   296302  1159576 |   163587   146041     28 |  3.005 % |
772.89/772.86	c |   1979589 |   40192   296302  1159576 |   163587   147065     28 |  3.005 % |
774.19/774.12	c |   1981637 |   40192   296302  1159576 |   147477   149113     28 |  3.005 % |
775.19/775.19	c |   1982149 |   40191   296281  1159507 |   147477   130022     27 |  3.007 % |
775.70/775.69	c |   1982662 |   40191   296281  1159507 |   147477   130535     27 |  3.007 % |
776.49/776.50	c |   1983686 |   40191   296281  1159507 |   147477   131559     27 |  3.007 % |
776.69/776.62	c |   1984198 |   40191   296281  1159507 |   147477   132071     27 |  3.007 % |
776.89/776.83	c |   1984710 |   40191   296281  1159507 |   147477   132583     27 |  3.007 % |
777.69/777.67	c |   1985736 |   40191   296281  1159507 |   147477   133609     27 |  3.007 % |
779.09/779.06	c |   1987784 |   40191   296281  1159507 |   147477   135657     27 |  3.007 % |
782.09/782.04	c |   1991882 |   40191   296281  1159507 |   137873   139755     27 |  3.007 % |
782.78/782.70	c |   1992394 |   40191   296281  1159507 |   137873   126292     27 |  3.007 % |
783.28/783.28	c |   1992907 |   40191   296281  1159507 |   137873   126805     27 |  3.007 % |
784.18/784.13	c |   1993932 |   40191   296281  1159507 |   137873   127830     27 |  3.007 % |
784.68/784.67	c |   1994444 |   40191   296281  1159507 |   137873   128342     27 |  3.007 % |
785.28/785.23	c |   1994956 |   40191   296281  1159507 |   137873   128854     27 |  3.007 % |
786.28/786.28	c |   1995980 |   40191   296281  1159507 |   137873   129878     27 |  3.007 % |
788.08/788.04	c |   1998028 |   40191   296281  1159507 |   137873   131926     27 |  3.007 % |
788.58/788.59	c |   1998540 |   40191   296281  1159507 |   137873   132438     27 |  3.007 % |
789.08/789.04	c |   1999053 |   40191   296281  1159507 |   137873   132951     26 |  3.007 % |
789.38/789.40	c |   2000078 |   40191   296281  1159507 | 2147483647   133976     26 |  3.007 % |
789.58/789.56	c |   2000591 |   40191   296281  1159507 | 2147483647   134489     26 |  3.007 % |
789.99/789.99	c |   2001104 |   40191   296281  1159507 | 2147483647   135002     26 |  3.007 % |
790.28/790.23	c |   2002130 |   40191   296281  1159507 | 2147483647   136028     26 |  3.007 % |
791.98/791.92	c |   2004178 |   40191   296281  1159507 | 2147483647   138076     26 |  3.007 % |
793.58/793.54	c |   2008275 |   40191   296281  1159507 | 2147483647   142173     27 |  3.007 % |
798.38/798.34	c |   2016468 |   40191   296281  1159507 | 2147483647   150366     27 |  3.007 % |
803.48/803.42	c |   2032854 |   40191   296281  1159507 | 2147483647   166752     27 |  3.007 % |
803.78/803.79	c |   2033366 |   40191   296281  1159507 | 2147483647   167264     27 |  3.007 % |
804.38/804.35	c |   2033880 |   40191   296281  1159507 | 2147483647   167778     27 |  3.007 % |
805.28/805.28	c |   2034904 |   40191   296281  1159507 | 2147483647   168802     27 |  3.007 % |
805.88/805.86	c |   2035416 |   40191   296281  1159507 | 2147483647   169314     28 |  3.007 % |
806.38/806.31	c |   2035928 |   40191   296281  1159507 | 2147483647   169826     28 |  3.007 % |
807.08/807.06	c |   2036953 |   40191   296281  1159507 | 2147483647   170851     28 |  3.007 % |
808.78/808.72	c |   2039001 |   40191   296281  1159507 | 2147483647   172899     28 |  3.007 % |
809.18/809.15	c |   2039513 |   40191   296281  1159507 | 2147483647   173411     28 |  3.007 % |
809.48/809.49	c |   2040027 |   40191   296281  1159507 |   173898   173925     28 |  3.007 % |
810.48/810.48	c |   2041051 |   40191   296281  1159507 |   173898   174949     28 |  3.007 % |
810.98/810.98	c |   2041563 |   40191   296281  1159507 |   173898   175461     28 |  3.007 % |
811.68/811.67	c |   2042075 |   40191   296281  1159507 |   173898   156564     27 |  3.007 % |
812.59/812.57	c |   2043100 |   40191   296281  1159507 |   173898   157589     27 |  3.007 % |
814.79/814.72	c |   2045148 |   40191   296281  1159507 |   173898   159637     27 |  3.007 % |
818.69/818.65	c |   2049245 |   40191   296281  1159507 |   173898   163734     27 |  3.007 % |
818.99/819.00	c |   2049757 |   40191   296281  1159507 |   173898   164246     27 |  3.007 % |
819.59/819.59	c |   2050270 |   40191   296281  1159507 |   164489   164759     27 |  3.007 % |
820.49/820.47	c |   2051294 |   40191   296281  1159507 |   164489   165783     27 |  3.007 % |
820.89/820.87	c |   2051806 |   40191   296281  1159507 |   164489   147396     26 |  3.007 % |
821.09/821.07	c |   2052318 |   40191   296281  1159507 |   164489   147908     26 |  3.007 % |
821.89/821.83	c |   2053342 |   40191   296281  1159507 |   164489   148932     26 |  3.007 % |
823.69/823.69	c |   2055394 |   40191   296281  1159507 |   164489   150984     26 |  3.007 % |
824.19/824.15	c |   2055906 |   40191   296281  1159507 |   164489   151496     26 |  3.007 % |
824.69/824.63	c |   2056421 |   40191   296281  1159507 |   164489   152011     26 |  3.007 % |
825.49/825.48	c |   2057445 |   40191   296281  1159507 |   164489   153035     26 |  3.007 % |
825.99/826.00	c |   2057958 |   40191   296281  1159507 |   164489   153548     26 |  3.007 % |
826.49/826.44	c |   2058470 |   40191   296281  1159507 |   164489   154060     26 |  3.007 % |
827.49/827.48	c |   2059496 |   40191   296281  1159507 |   164489   155086     26 |  3.007 % |
829.09/829.05	c |   2061546 |   40191   296281  1159507 |   155590   157136     26 |  3.007 % |
832.09/832.05	c |   2065642 |   40188   296255  1159302 |   155590   139883     26 |  3.014 % |
837.49/837.44	c |   2073834 |   40188   296255  1159302 |   144241   148075     26 |  3.014 % |
838.29/838.26	c |   2074347 |   40188   296255  1159302 |   144241   129582     26 |  3.014 % |
838.49/838.49	c |   2074859 |   40188   296255  1159302 |   144241   130094     26 |  3.014 % |
839.59/839.52	c |   2075885 |   40188   296255  1159302 |   144241   131120     26 |  3.014 % |
840.09/840.01	c |   2076397 |   40188   296255  1159302 |   144241   131632     26 |  3.014 % |
840.59/840.52	c |   2076909 |   40188   296255  1159302 |   144241   132144     26 |  3.014 % |
841.49/841.48	c |   2077935 |   40188   296255  1159302 |   144241   133170     26 |  3.014 % |
843.19/843.16	c |   2079985 |   40188   296255  1159302 |   144241   135220     26 |  3.014 % |
843.59/843.54	c |   2080497 |   40188   296255  1159302 |   135237   135732     26 |  3.014 % |
844.09/844.10	c |   2081010 |   40188   296255  1159302 |   135237   136245     26 |  3.014 % |
844.99/844.93	c |   2082036 |   40188   296255  1159302 |   135237   137271     26 |  3.014 % |
845.59/845.58	c |   2082548 |   40188   296255  1159302 |   135237   116953     26 |  3.014 % |
846.19/846.12	c |   2083060 |   40188   296255  1159302 |   135237   117465     26 |  3.014 % |
846.79/846.79	c |   2084084 |   40188   296255  1159302 |   135237   118489     26 |  3.014 % |
848.89/848.84	c |   2086133 |   40188   296255  1159302 |   135237   120538     26 |  3.014 % |
852.09/852.11	c |   2090229 |   40188   296255  1159302 | 2147483647   124634     26 |  3.014 % |
852.49/852.48	c |   2090742 |   40188   296255  1159302 | 2147483647   125147     26 |  3.014 % |
853.09/853.09	c |   2091254 |   40188   296255  1159302 | 2147483647   125659     26 |  3.014 % |
853.79/853.79	c |   2092278 |   40188   296255  1159302 | 2147483647   126683     26 |  3.014 % |
854.09/854.06	c |   2092791 |   40188   296255  1159302 | 2147483647   127196     26 |  3.014 % |
854.69/854.64	c |   2093303 |   40188   296255  1159302 | 2147483647   127708     26 |  3.014 % |
855.69/855.64	c |   2094327 |   40188   296255  1159302 | 2147483647   128732     26 |  3.014 % |
856.49/856.48	c |   2096375 |   40188   296255  1159302 | 2147483647   130780     26 |  3.014 % |
856.79/856.72	c |   2096887 |   40188   296255  1159302 | 2147483647   131292     26 |  3.014 % |
856.79/856.78	c |   2097399 |   40188   296255  1159302 | 2147483647   131804     26 |  3.014 % |
857.69/857.64	c |   2098423 |   40188   296255  1159302 | 2147483647   132828     26 |  3.014 % |
858.09/858.09	c |   2098938 |   40188   296255  1159302 | 2147483647   133343     26 |  3.014 % |
858.59/858.58	c |   2099453 |   40188   296255  1159302 | 2147483647   133858     26 |  3.014 % |
859.49/859.48	c |   2100477 |   40188   296255  1159302 |   134405   134882     26 |  3.014 % |
861.59/861.55	c |   2102525 |   40188   296255  1159302 |   134405   122280     26 |  3.014 % |
863.79/863.78	c |   2106623 |   40188   296255  1159302 |   134405   126378     26 |  3.014 % |
865.49/865.41	c |   2114815 |   40188   296255  1159302 | 2147483647   134570     26 |  3.014 % |
868.59/868.52	c |   2131199 |   40188   296255  1159302 |   149755   150954     26 |  3.014 % |
881.59/881.56	c |   2163968 |   40188   296255  1159302 |   119646   111339     23 |  3.014 % |
895.29/895.21	c ===============================================================================
895.29/895.21	c restarts              : 1022
895.29/895.21	c conflicts             : 2197476        (2470 /sec)
895.29/895.21	c decisions             : 9162703        (1.50 % random) (10300 /sec)
895.29/895.21	c propagations          : 645272586      (725400 /sec)
895.29/895.21	c conflict literals     : 71932012       (22.78 % deleted)
895.29/895.21	c Memory used           : 74.93 MB
895.29/895.21	c CPU time              : 889.54 s
895.29/895.21	c 
895.29/895.21	s UNSATISFIABLE
895.29/895.22	s UNSATISFIABLE

Verifier Data

No possible verification on an UNSAT instance

Watcher Data

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1820843-1242482412/watcher-1820843-1242482412 -o /tmp/evaluation-result-1820843-1242482412/solver-1820843-1242482412 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820843-1242482412.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.01 1.01 1.00 2/93 17122
/proc/meminfo: memFree=562376/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2412 CPUtime=0
/proc/17122/stat : 17122 (SatELiteGTI) R 17120 17122 14060 0 -1 4194304 367 648 0 0 0 0 0 0 25 0 1 0 1012738432 2469888 277 4294967295 134512640 135169312 3214675216 3214673272 3085032408 0 65536 4 65538 0 0 0 17 2 0 0 0
/proc/17122/statm: 603 277 235 161 0 42 0
[pid=17126] ppid=17122 vsize=808 CPUtime=0
/proc/17126/stat : 17126 (SatELite_releas) R 17122 17122 14060 0 -1 4194304 66 0 0 0 0 0 0 0 18 0 1 0 1012738432 827392 2 4294967295 0 0 3214896226 3214673844 3085449706 0 0 0 0 0 0 0 17 3 0 0 0
/proc/17126/statm: 204 13 9 174 0 29 0

[startup+0.105579 s]
/proc/loadavg: 1.01 1.01 1.00 2/93 17122
/proc/meminfo: memFree=562376/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2412 CPUtime=0
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 367 648 0 0 0 0 0 0 25 0 1 0 1012738432 2469888 277 4294967295 134512640 135169312 3214675216 3214673752 3085446894 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/17122/statm: 603 277 235 161 0 42 0
[pid=17126] ppid=17122 vsize=17076 CPUtime=0.11
/proc/17126/stat : 17126 (SatELite_releas) R 17122 17122 14060 0 -1 4202496 3733 0 0 0 8 3 0 0 18 0 1 0 1012738432 17485824 3669 4294967295 134512640 135223648 3214894384 3214892968 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17126/statm: 4269 3669 46 174 0 4094 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 19488

[startup+0.215569 s]
/proc/loadavg: 1.01 1.01 1.00 2/93 17122
/proc/meminfo: memFree=562376/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2412 CPUtime=0
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 367 648 0 0 0 0 0 0 25 0 1 0 1012738432 2469888 277 4294967295 134512640 135169312 3214675216 3214673752 3085446894 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/17122/statm: 603 277 235 161 0 42 0
[pid=17126] ppid=17122 vsize=33672 CPUtime=0.22
/proc/17126/stat : 17126 (SatELite_releas) R 17122 17122 14060 0 -1 4202496 7362 0 0 0 17 5 0 0 18 0 1 0 1012738432 34480128 7298 4294967295 134512640 135223648 3214894384 3214892968 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17126/statm: 8418 7298 46 174 0 8243 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 36084

[startup+0.31556 s]
/proc/loadavg: 1.01 1.01 1.00 2/93 17122
/proc/meminfo: memFree=562376/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2412 CPUtime=0
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 367 648 0 0 0 0 0 0 25 0 1 0 1012738432 2469888 277 4294967295 134512640 135169312 3214675216 3214673752 3085446894 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/17122/statm: 603 277 235 161 0 42 0
[pid=17126] ppid=17122 vsize=43412 CPUtime=0.32
/proc/17126/stat : 17126 (SatELite_releas) R 17122 17122 14060 0 -1 4202496 10518 0 0 0 25 7 0 0 18 0 1 0 1012738432 44453888 10454 4294967295 134512640 135223648 3214894384 3214892968 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17126/statm: 10853 10455 46 174 0 10678 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 45824

[startup+0.715525 s]
/proc/loadavg: 1.01 1.01 1.00 2/93 17122
/proc/meminfo: memFree=562376/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2412 CPUtime=0
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 367 648 0 0 0 0 0 0 25 0 1 0 1012738432 2469888 277 4294967295 134512640 135169312 3214675216 3214673752 3085446894 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/17122/statm: 603 277 235 161 0 42 0
[pid=17126] ppid=17122 vsize=95232 CPUtime=0.72
/proc/17126/stat : 17126 (SatELite_releas) R 17122 17122 14060 0 -1 4202496 23191 0 0 0 56 16 0 0 18 0 1 0 1012738432 97517568 23127 4294967295 134512640 135223648 3214894384 3214893392 134547591 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17126/statm: 23808 23128 47 174 0 23633 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 97644

[startup+1.51546 s]
/proc/loadavg: 1.01 1.01 1.00 3/95 17127
/proc/meminfo: memFree=458448/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2412 CPUtime=0
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 367 648 0 0 0 0 0 0 25 0 1 0 1012738432 2469888 277 4294967295 134512640 135169312 3214675216 3214673752 3085446894 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/17122/statm: 603 277 235 161 0 42 0
[pid=17126] ppid=17122 vsize=110056 CPUtime=1.52
/proc/17126/stat : 17126 (SatELite_releas) R 17122 17122 14060 0 -1 4202496 28178 0 0 0 132 20 0 0 20 0 1 0 1012738432 112697344 26028 4294967295 134512640 135223648 3214894384 3214892384 134548984 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17126/statm: 27514 26028 73 174 0 27339 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 112468

[startup+3.11532 s]
/proc/loadavg: 1.01 1.01 1.00 3/95 17127
/proc/meminfo: memFree=446172/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2412 CPUtime=0
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 367 648 0 0 0 0 0 0 25 0 1 0 1012738432 2469888 277 4294967295 134512640 135169312 3214675216 3214673752 3085446894 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/17122/statm: 603 277 235 161 0 42 0
[pid=17126] ppid=17122 vsize=116988 CPUtime=3.12
/proc/17126/stat : 17126 (SatELite_releas) R 17122 17122 14060 0 -1 4202496 29794 0 0 0 287 25 0 0 25 0 1 0 1012738432 119795712 27644 4294967295 134512640 135223648 3214894384 3214892336 134563559 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17126/statm: 29247 27644 73 174 0 29072 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 119400

[startup+6.31504 s]
/proc/loadavg: 1.00 1.01 1.00 4/95 17127
/proc/meminfo: memFree=420008/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2416 CPUtime=5.55
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 387 33927 0 0 0 0 521 34 20 0 1 0 1012738432 2473984 278 4294967295 134512640 135169312 3214675216 3214671432 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17122/statm: 604 278 235 161 0 43 0
Current children cumulated CPU time (s) 5.55
Current children cumulated vsize (KiB) 2416

[startup+12.7145 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 17311
/proc/meminfo: memFree=506564/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2416 CPUtime=5.55
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 387 33927 0 0 0 0 521 34 20 0 1 0 1012738432 2473984 278 4294967295 134512640 135169312 3214675216 3214671432 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17122/statm: 604 278 235 161 0 43 0
[pid=17128] ppid=17122 vsize=27276 CPUtime=7.17
/proc/17128/stat : 17128 (minisat_static) R 17122 17122 14060 0 -1 4202496 6452 0 0 0 711 6 0 0 25 0 1 0 1012738987 27930624 6374 4294967295 134512640 135216591 3217608752 3217606752 134527556 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17128/statm: 6819 6374 75 172 0 6646 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 29692

[startup+25.5134 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 17311
/proc/meminfo: memFree=497448/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2416 CPUtime=5.55
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 387 33927 0 0 0 0 521 34 20 0 1 0 1012738432 2473984 278 4294967295 134512640 135169312 3214675216 3214671432 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17122/statm: 604 278 235 161 0 43 0
[pid=17128] ppid=17122 vsize=36192 CPUtime=19.97
/proc/17128/stat : 17128 (minisat_static) R 17122 17122 14060 0 -1 4202496 8687 0 0 0 1990 7 0 0 25 0 1 0 1012738987 37060608 8609 4294967295 134512640 135216591 3217608752 3217606752 134527568 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17128/statm: 9048 8609 75 172 0 8875 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 38608

[startup+51.1212 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 17313
/proc/meminfo: memFree=488576/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2416 CPUtime=5.55
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 387 33927 0 0 0 0 521 34 20 0 1 0 1012738432 2473984 278 4294967295 134512640 135169312 3214675216 3214671432 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17122/statm: 604 278 235 161 0 43 0
[pid=17128] ppid=17122 vsize=45436 CPUtime=45.58
/proc/17128/stat : 17128 (minisat_static) R 17122 17122 14060 0 -1 4202496 10941 0 0 0 4548 10 0 0 25 0 1 0 1012738987 46526464 10863 4294967295 134512640 135216591 3217608752 3217606928 134525748 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17128/statm: 11359 10863 75 172 0 11186 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 47852

[startup+102.307 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 17500
/proc/meminfo: memFree=484004/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2416 CPUtime=5.55
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 387 33927 0 0 0 0 521 34 20 0 1 0 1012738432 2473984 278 4294967295 134512640 135169312 3214675216 3214671432 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17122/statm: 604 278 235 161 0 43 0
[pid=17128] ppid=17122 vsize=49660 CPUtime=96.77
/proc/17128/stat : 17128 (minisat_static) R 17122 17122 14060 0 -1 4202496 12015 0 0 0 9666 11 0 0 25 0 1 0 1012738987 50851840 11937 4294967295 134512640 135216591 3217608752 3217606944 134528851 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17128/statm: 12415 11937 75 172 0 12242 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 52076

[startup+162.312 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 17689
/proc/meminfo: memFree=478316/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2416 CPUtime=5.55
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 387 33927 0 0 0 0 521 34 20 0 1 0 1012738432 2473984 278 4294967295 134512640 135169312 3214675216 3214671432 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17122/statm: 604 278 235 161 0 43 0
[pid=17128] ppid=17122 vsize=55884 CPUtime=156.78
/proc/17128/stat : 17128 (minisat_static) R 17122 17122 14060 0 -1 4202496 13490 0 0 0 15663 15 0 0 25 0 1 0 1012738987 57225216 13412 4294967295 134512640 135216591 3217608752 3217606656 134532786 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17128/statm: 13971 13412 75 172 0 13798 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 58300

[startup+222.316 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 17878
/proc/meminfo: memFree=466760/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2416 CPUtime=5.55
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 387 33927 0 0 0 0 521 34 20 0 1 0 1012738432 2473984 278 4294967295 134512640 135169312 3214675216 3214671432 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17122/statm: 604 278 235 161 0 43 0
[pid=17128] ppid=17122 vsize=67592 CPUtime=216.79
/proc/17128/stat : 17128 (minisat_static) R 17122 17122 14060 0 -1 4202496 16395 0 0 0 21663 16 0 0 25 0 1 0 1012738987 69214208 16317 4294967295 134512640 135216591 3217608752 3217606752 134527562 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17128/statm: 16898 16317 75 172 0 16725 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 70008

[startup+282.311 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 18067
/proc/meminfo: memFree=466496/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2416 CPUtime=5.55
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 387 33927 0 0 0 0 521 34 20 0 1 0 1012738432 2473984 278 4294967295 134512640 135169312 3214675216 3214671432 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17122/statm: 604 278 235 161 0 43 0
[pid=17128] ppid=17122 vsize=67588 CPUtime=276.79
/proc/17128/stat : 17128 (minisat_static) R 17122 17122 14060 0 -1 4202496 16395 0 0 0 27663 16 0 0 25 0 1 0 1012738987 69210112 16317 4294967295 134512640 135216591 3217608752 3217606944 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17128/statm: 16897 16317 75 172 0 16724 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 70004

[startup+342.316 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 18255
/proc/meminfo: memFree=466388/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2416 CPUtime=5.55
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 387 33927 0 0 0 0 521 34 20 0 1 0 1012738432 2473984 278 4294967295 134512640 135169312 3214675216 3214671432 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17122/statm: 604 278 235 161 0 43 0
[pid=17128] ppid=17122 vsize=67588 CPUtime=336.8
/proc/17128/stat : 17128 (minisat_static) R 17122 17122 14060 0 -1 4202496 16412 0 0 0 33664 16 0 0 25 0 1 0 1012738987 69210112 16334 4294967295 134512640 135216591 3217608752 3217606944 134528948 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17128/statm: 16897 16334 75 172 0 16724 0
Current children cumulated CPU time (s) 342.35
Current children cumulated vsize (KiB) 70004

[startup+402.321 s]

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


[startup+462.316 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 18635
/proc/meminfo: memFree=463420/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2416 CPUtime=5.55
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 387 33927 0 0 0 0 521 34 20 0 1 0 1012738432 2473984 278 4294967295 134512640 135169312 3214675216 3214671432 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17122/statm: 604 278 235 161 0 43 0
[pid=17128] ppid=17122 vsize=70908 CPUtime=456.81
/proc/17128/stat : 17128 (minisat_static) R 17122 17122 14060 0 -1 4202496 17266 0 0 0 45662 19 0 0 25 0 1 0 1012738987 72609792 17188 4294967295 134512640 135216591 3217608752 3217606944 134528948 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17128/statm: 17727 17188 75 172 0 17554 0
Current children cumulated CPU time (s) 462.36
Current children cumulated vsize (KiB) 73324

[startup+522.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 18824
/proc/meminfo: memFree=461644/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2416 CPUtime=5.55
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 387 33927 0 0 0 0 521 34 20 0 1 0 1012738432 2473984 278 4294967295 134512640 135169312 3214675216 3214671432 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17122/statm: 604 278 235 161 0 43 0
[pid=17128] ppid=17122 vsize=72672 CPUtime=516.82
/proc/17128/stat : 17128 (minisat_static) R 17122 17122 14060 0 -1 4202496 17697 0 0 0 51663 19 0 0 25 0 1 0 1012738987 74416128 17619 4294967295 134512640 135216591 3217608752 3217606928 134525873 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17128/statm: 18168 17619 75 172 0 17995 0
Current children cumulated CPU time (s) 522.37
Current children cumulated vsize (KiB) 75088

[startup+582.315 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 19009
/proc/meminfo: memFree=461660/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2416 CPUtime=5.55
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 387 33927 0 0 0 0 521 34 20 0 1 0 1012738432 2473984 278 4294967295 134512640 135169312 3214675216 3214671432 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17122/statm: 604 278 235 161 0 43 0
[pid=17128] ppid=17122 vsize=72804 CPUtime=576.82
/proc/17128/stat : 17128 (minisat_static) R 17122 17122 14060 0 -1 4202496 17735 0 0 0 57663 19 0 0 25 0 1 0 1012738987 74551296 17657 4294967295 134512640 135216591 3217608752 3217606944 134528860 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17128/statm: 18201 17657 75 172 0 18028 0
Current children cumulated CPU time (s) 582.37
Current children cumulated vsize (KiB) 75220

[startup+642.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 19197
/proc/meminfo: memFree=460932/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2416 CPUtime=5.55
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 387 33927 0 0 0 0 521 34 20 0 1 0 1012738432 2473984 278 4294967295 134512640 135169312 3214675216 3214671432 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17122/statm: 604 278 235 161 0 43 0
[pid=17128] ppid=17122 vsize=73332 CPUtime=636.83
/proc/17128/stat : 17128 (minisat_static) R 17122 17122 14060 0 -1 4202496 17860 0 0 0 63664 19 0 0 25 0 1 0 1012738987 75091968 17782 4294967295 134512640 135216591 3217608752 3217606944 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17128/statm: 18333 17782 75 172 0 18160 0
Current children cumulated CPU time (s) 642.38
Current children cumulated vsize (KiB) 75748

[startup+702.315 s]
/proc/loadavg: 1.07 1.03 1.01 2/95 19389
/proc/meminfo: memFree=458088/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2416 CPUtime=5.55
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 387 33927 0 0 0 0 521 34 20 0 1 0 1012738432 2473984 278 4294967295 134512640 135169312 3214675216 3214671432 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17122/statm: 604 278 235 161 0 43 0
[pid=17128] ppid=17122 vsize=76376 CPUtime=696.83
/proc/17128/stat : 17128 (minisat_static) R 17122 17122 14060 0 -1 4202496 18647 0 0 0 69663 20 0 0 25 0 1 0 1012738987 78209024 18569 4294967295 134512640 135216591 3217608752 3217606944 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17128/statm: 19094 18569 75 172 0 18921 0
Current children cumulated CPU time (s) 702.38
Current children cumulated vsize (KiB) 78792

[startup+762.32 s]
/proc/loadavg: 1.02 1.02 1.00 2/95 19578
/proc/meminfo: memFree=457328/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2416 CPUtime=5.55
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 387 33927 0 0 0 0 521 34 20 0 1 0 1012738432 2473984 278 4294967295 134512640 135169312 3214675216 3214671432 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17122/statm: 604 278 235 161 0 43 0
[pid=17128] ppid=17122 vsize=76568 CPUtime=756.84
/proc/17128/stat : 17128 (minisat_static) R 17122 17122 14060 0 -1 4202496 18672 0 0 0 75664 20 0 0 25 0 1 0 1012738987 78405632 18594 4294967295 134512640 135216591 3217608752 3217606944 134529023 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17128/statm: 19142 18594 75 172 0 18969 0
Current children cumulated CPU time (s) 762.39
Current children cumulated vsize (KiB) 78984

[startup+822.314 s]
/proc/loadavg: 1.01 1.02 1.00 2/95 19767
/proc/meminfo: memFree=457436/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2416 CPUtime=5.55
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 387 33927 0 0 0 0 521 34 20 0 1 0 1012738432 2473984 278 4294967295 134512640 135169312 3214675216 3214671432 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17122/statm: 604 278 235 161 0 43 0
[pid=17128] ppid=17122 vsize=76568 CPUtime=816.84
/proc/17128/stat : 17128 (minisat_static) R 17122 17122 14060 0 -1 4202496 18673 0 0 0 81664 20 0 0 25 0 1 0 1012738987 78405632 18595 4294967295 134512640 135216591 3217608752 3217606720 134538210 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17128/statm: 19142 18595 75 172 0 18969 0
Current children cumulated CPU time (s) 822.39
Current children cumulated vsize (KiB) 78984

[startup+882.319 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 19952
/proc/meminfo: memFree=457560/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2416 CPUtime=5.55
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 387 33927 0 0 0 0 521 34 20 0 1 0 1012738432 2473984 278 4294967295 134512640 135169312 3214675216 3214671432 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17122/statm: 604 278 235 161 0 43 0
[pid=17128] ppid=17122 vsize=76728 CPUtime=876.85
/proc/17128/stat : 17128 (minisat_static) R 17122 17122 14060 0 -1 4202496 18723 0 0 0 87665 20 0 0 25 0 1 0 1012738987 78569472 18645 4294967295 134512640 135216591 3217608752 3217606944 134528888 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17128/statm: 19182 18645 75 172 0 19009 0
Current children cumulated CPU time (s) 882.4
Current children cumulated vsize (KiB) 79144

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

[startup+883.209 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 19952
/proc/meminfo: memFree=457560/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2416 CPUtime=5.55
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 387 33927 0 0 0 0 521 34 20 0 1 0 1012738432 2473984 278 4294967295 134512640 135169312 3214675216 3214671432 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17122/statm: 604 278 235 161 0 43 0
[pid=17128] ppid=17122 vsize=76728 CPUtime=877.74
/proc/17128/stat : 17128 (minisat_static) R 17122 17122 14060 0 -1 4202496 18723 0 0 0 87754 20 0 0 25 0 1 0 1012738987 78569472 18645 4294967295 134512640 135216591 3217608752 3217606944 134529343 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17128/statm: 19182 18645 75 172 0 19009 0
Current children cumulated CPU time (s) 883.29
Current children cumulated vsize (KiB) 79144

[startup+889.609 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 19953
/proc/meminfo: memFree=457584/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2416 CPUtime=5.55
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 387 33927 0 0 0 0 521 34 20 0 1 0 1012738432 2473984 278 4294967295 134512640 135169312 3214675216 3214671432 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17122/statm: 604 278 235 161 0 43 0
[pid=17128] ppid=17122 vsize=76728 CPUtime=884.14
/proc/17128/stat : 17128 (minisat_static) R 17122 17122 14060 0 -1 4202496 18723 0 0 0 88394 20 0 0 25 0 1 0 1012738987 78569472 18645 4294967295 134512640 135216591 3217608752 3217606944 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17128/statm: 19182 18645 75 172 0 19009 0
Current children cumulated CPU time (s) 889.69
Current children cumulated vsize (KiB) 79144

[startup+892.808 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 19953
/proc/meminfo: memFree=457592/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2416 CPUtime=5.55
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 387 33927 0 0 0 0 521 34 20 0 1 0 1012738432 2473984 278 4294967295 134512640 135169312 3214675216 3214671432 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17122/statm: 604 278 235 161 0 43 0
[pid=17128] ppid=17122 vsize=76728 CPUtime=887.34
/proc/17128/stat : 17128 (minisat_static) R 17122 17122 14060 0 -1 4202496 18723 0 0 0 88714 20 0 0 25 0 1 0 1012738987 78569472 18645 4294967295 134512640 135216591 3217608752 3217606944 134529243 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17128/statm: 19182 18645 75 172 0 19009 0
Current children cumulated CPU time (s) 892.89
Current children cumulated vsize (KiB) 79144

[startup+894.418 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 19956
/proc/meminfo: memFree=457328/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2416 CPUtime=5.55
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 387 33927 0 0 0 0 521 34 20 0 1 0 1012738432 2473984 278 4294967295 134512640 135169312 3214675216 3214671432 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17122/statm: 604 278 235 161 0 43 0
[pid=17128] ppid=17122 vsize=76728 CPUtime=888.95
/proc/17128/stat : 17128 (minisat_static) R 17122 17122 14060 0 -1 4202496 18723 0 0 0 88875 20 0 0 25 0 1 0 1012738987 78569472 18645 4294967295 134512640 135216591 3217608752 3217606944 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17128/statm: 19182 18645 75 172 0 19009 0
Current children cumulated CPU time (s) 894.5
Current children cumulated vsize (KiB) 79144

[startup+894.808 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 19956
/proc/meminfo: memFree=457328/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2416 CPUtime=5.55
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 387 33927 0 0 0 0 521 34 20 0 1 0 1012738432 2473984 278 4294967295 134512640 135169312 3214675216 3214671432 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17122/statm: 604 278 235 161 0 43 0
[pid=17128] ppid=17122 vsize=76728 CPUtime=889.34
/proc/17128/stat : 17128 (minisat_static) R 17122 17122 14060 0 -1 4202496 18723 0 0 0 88914 20 0 0 25 0 1 0 1012738987 78569472 18645 4294967295 134512640 135216591 3217608752 3217606720 134539535 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17128/statm: 19182 18645 75 172 0 19009 0
Current children cumulated CPU time (s) 894.89
Current children cumulated vsize (KiB) 79144

[startup+895.208 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 19956
/proc/meminfo: memFree=457328/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2416 CPUtime=5.55
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 387 33927 0 0 0 0 521 34 20 0 1 0 1012738432 2473984 278 4294967295 134512640 135169312 3214675216 3214671432 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17122/statm: 604 278 235 161 0 43 0
[pid=17128] ppid=17122 vsize=76728 CPUtime=889.74
/proc/17128/stat : 17128 (minisat_static) R 17122 17122 14060 0 -1 4202496 18723 0 0 0 88954 20 0 0 25 0 1 0 1012738987 78569472 18645 4294967295 134512640 135216591 3217608752 3217606944 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17128/statm: 19182 18645 75 172 0 19009 0
Current children cumulated CPU time (s) 895.29
Current children cumulated vsize (KiB) 79144

Child status: 20
Real time (s): 895.239
CPU time (s): 895.32
CPU user time (s): 894.75
CPU system time (s): 0.57
CPU usage (%): 100.009
Max. virtual memory (cumulated for all children) (KiB): 124988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 894.75
system time used= 0.57
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53322
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= 22
involuntary context switches= 2355

runsolver used 0.01 second user time and 0.02 second system time

The end

Launcher Data

Begin job on tipi27 at 2009-05-16 16:00:12
IDJOB=1820843
IDBENCH=69630
IDSOLVER=658
FILE ID=tipi27/1820843-1242482412
PBS_JOBID=
Free space on /tmp= 9275 MiB

SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT_RACE08/cnf/manol-pipe-c10nid_i.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1820843-1242482412/watcher-1820843-1242482412 -o /tmp/evaluation-result-1820843-1242482412/solver-1820843-1242482412 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1820843-1242482412.cnf

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

MD5SUM BENCH= 5845608382cee59cce4973c50f16416c
RANDOM SEED= 1887122446

Linux tipi27 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.389
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.389
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.79

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


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:        562392 kB
Buffers:         60904 kB
Cached:        1324352 kB
SwapCached:       5508 kB
Active:         853956 kB
Inactive:       541324 kB
HighTotal:     1178688 kB
HighFree:       327108 kB
LowTotal:       895776 kB
LowFree:        235284 kB
SwapTotal:     1959888 kB
SwapFree:      1949056 kB
Dirty:           15204 kB
Writeback:           0 kB
AnonPages:        9132 kB
Mapped:           3424 kB
Slab:           107900 kB
PageTables:        596 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    90632 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 9275 MiB
End job on tipi27 at 2009-05-16 16:15:08