Trace number 1832659

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 1200.09 1200.81

General information on the benchmark

NameRANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S779309989-069.cnf
MD5SUMf790d28bf27d167da954318ad1a18e9d
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.838872
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of clauses8400
Sum of the clauses size25200
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 38400
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data

0.00/0.00	c Parsing...
0.00/0.01	c ==============================================================================
0.00/0.01	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.01	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.01	c ==============================================================================
0.00/0.01	c |         0 |    8400    25200 |    2519       0        0     nan |  0.000 % |
0.00/0.03	c |         0 |    8344    25317 |      --       0       --      -- |     --   | -56/117
0.00/0.03	c ==============================================================================
0.00/0.03	c Result  :   #vars: 1954   #clauses: 8344   #literals: 25317
0.00/0.03	c CPU time:   0.021996 s
0.00/0.03	c ==============================================================================
0.00/0.04	c This is MiniSat 2.0 beta
0.00/0.04	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04	c ============================[ Problem Statistics ]=============================
0.00/0.04	c |                                                                             |
0.00/0.04	c |  Number of variables:  1954                                                 |
0.00/0.04	c |  Number of clauses:    8344                                                 |
0.00/0.04	c |  Parsing time:         0.00         s                                       |
0.00/0.04	c ============================[ Search Statistics ]==============================
0.00/0.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.04	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.04	c ===============================================================================
0.00/0.04	c |         0 |    1954     8344    25317 |     2781        0    nan |  0.000 % |
0.00/0.05	c |       100 |    1954     8344    25317 |     2781      100     61 |  0.000 % |
0.00/0.06	c |       201 |    1954     8344    25317 |     2781      201     53 |  0.000 % |
0.03/0.07	c |       301 |    1954     8344    25317 |     2781      301     56 |  0.000 % |
0.03/0.07	c |       411 |    1954     8344    25317 |     2781      411     57 |  0.000 % |
0.03/0.08	c |       511 |    1954     8344    25317 |     2781      511     57 |  0.000 % |
0.03/0.09	c |       625 |    1954     8344    25317 |     2781      625     57 |  0.000 % |
0.03/0.10	c |       746 |    1954     8344    25317 |     2781      746     57 |  0.000 % |
0.03/0.11	c |       846 |    1954     8344    25317 |     2781      846     57 |  0.000 % |
0.03/0.12	c |       958 |    1954     8344    25317 |     2781      958     58 |  0.000 % |
0.03/0.13	c |      1079 |    1954     8344    25317 |     2781     1079     58 |  0.000 % |
0.03/0.14	c |      1213 |    1954     8344    25317 |     2781     1213     58 |  0.000 % |
0.03/0.15	c |      1313 |    1954     8344    25317 |     2781     1313     58 |  0.000 % |
0.03/0.16	c |      1423 |    1954     8344    25317 |     2781     1423     58 |  0.000 % |
0.03/0.17	c |      1544 |    1954     8344    25317 |     2781     1544     58 |  0.000 % |
0.03/0.18	c |      1678 |    1954     8344    25317 |     2781     1678     58 |  0.000 % |
0.03/0.19	c |      1825 |    1954     8344    25317 |     2781     1825     59 |  0.000 % |
0.03/0.20	c |      1925 |    1954     8344    25317 |     2781     1925     59 |  0.000 % |
0.03/0.21	c |      2035 |    1954     8344    25317 |     2781     2035     59 |  0.000 % |
0.03/0.22	c |      2157 |    1954     8344    25317 |     2781     2157     59 |  0.000 % |
0.03/0.23	c |      2290 |    1954     8344    25317 |     2781     2290     59 |  0.000 % |
0.03/0.24	c |      2438 |    1954     8344    25317 |     2781     2438     59 |  0.000 % |
0.03/0.26	c |      2600 |    1954     8344    25317 |     2781     2600     59 |  0.000 % |
0.03/0.26	c |      2701 |    1954     8344    25317 |     2781     2701     59 |  0.000 % |
0.03/0.27	c |      2812 |    1954     8344    25317 |     2781     2812     59 |  0.000 % |
0.03/0.28	c |      2933 |    1954     8344    25317 |     2781     2652     58 |  0.000 % |
0.03/0.30	c |      3069 |    1954     8344    25317 |     2781     2788     58 |  0.000 % |
0.03/0.31	c |      3215 |    1954     8344    25317 |     2781     2656     58 |  0.000 % |
0.03/0.32	c |      3375 |    1954     8344    25317 |     2781     2816     58 |  0.000 % |
0.03/0.34	c |      3553 |    1954     8344    25317 |     2781     2713     57 |  0.000 % |
0.03/0.35	c |      3655 |    1954     8344    25317 |     2781     2815     57 |  0.000 % |
0.03/0.36	c |      3765 |    1954     8344    25317 |     2781     2644     57 |  0.000 % |
0.03/0.37	c |      3886 |    1954     8344    25317 |     2781     2765     57 |  0.000 % |
0.03/0.38	c |      4019 |    1954     8344    25317 |     2781     2898     58 |  0.000 % |
0.03/0.39	c |      4167 |    1954     8344    25317 |     2781     2757     58 |  0.000 % |
0.03/0.41	c |      4327 |    1954     8344    25317 |     2781     2917     58 |  0.000 % |
0.03/0.42	c |      4504 |    1954     8344    25317 |     2781     2803     57 |  0.000 % |
0.03/0.44	c |      4698 |    1954     8344    25317 |     2781     2717     58 |  0.000 % |
0.03/0.45	c |      4799 |    1954     8344    25317 |     2781     2818     58 |  0.000 % |
0.03/0.46	c |      4909 |    1954     8344    25317 |     2781     2647     57 |  0.000 % |
0.03/0.47	c |      5031 |    1954     8344    25317 |     2781     2769     57 |  0.000 % |
0.03/0.48	c |      5165 |    1954     8344    25317 |     2781     2903     57 |  0.000 % |
0.03/0.49	c |      5311 |    1954     8344    25317 |     2781     2759     56 |  0.000 % |
0.03/0.51	c |      5472 |    1954     8344    25317 |     2781     2920     56 |  0.000 % |
0.03/0.52	c |      5649 |    1954     8344    25317 |     2781     2805     57 |  0.000 % |
0.03/0.54	c |      5842 |    1954     8344    25317 |     2781     2718     57 |  0.000 % |
0.03/0.56	c |      6056 |    1954     8344    25317 |     2781     2932     57 |  0.000 % |
0.03/0.57	c |      6158 |    1954     8344    25317 |     2781     2741     57 |  0.000 % |
0.03/0.58	c |      6269 |    1954     8344    25317 |     2781     2852     57 |  0.000 % |
0.03/0.59	c |      6393 |    1954     8344    25317 |     2781     2691     57 |  0.000 % |
0.03/0.60	c |      6528 |    1954     8344    25317 |     2781     2826     58 |  0.000 % |
0.03/0.61	c |      6674 |    1954     8344    25317 |     2781     2690     57 |  0.000 % |
0.03/0.63	c |      6834 |    1954     8344    25317 |     2781     2850     57 |  0.000 % |
0.03/0.64	c |      7010 |    1954     8344    25317 |     2781     2741     57 |  0.000 % |
0.03/0.66	c |      7204 |    1954     8344    25317 |     2781     2935     57 |  0.000 % |
0.03/0.68	c |      7420 |    1954     8344    25317 |     2781     2858     57 |  0.000 % |
0.03/0.70	c |      7654 |    1954     8344    25317 |     2781     2807     58 |  0.000 % |
0.03/0.71	c |      7754 |    1954     8344    25317 |     2781     2627     58 |  0.000 % |
0.03/0.72	c |      7864 |    1954     8344    25317 |     2781     2737     59 |  0.000 % |
0.03/0.73	c |      7986 |    1954     8344    25317 |     2781     2859     59 |  0.000 % |
0.03/0.74	c |      8119 |    1954     8344    25317 |     2781     2707     59 |  0.000 % |
0.03/0.76	c |      8265 |    1954     8344    25317 |     2781     2853     59 |  0.000 % |
0.03/0.77	c |      8425 |    1954     8344    25317 |     2781     2728     58 |  0.000 % |
0.03/0.79	c |      8601 |    1954     8344    25317 |     2781     2904     58 |  0.000 % |
0.03/0.81	c |      8797 |    1954     8344    25317 |     2781     2810     59 |  0.000 % |
0.03/0.83	c |      9012 |    1954     8344    25317 |     2781     2744     60 |  0.000 % |
0.03/0.85	c |      9247 |    1954     8344    25317 |     2781     2979     60 |  0.000 % |
0.03/0.87	c |      9503 |    1954     8344    25317 |     2781     2938     60 |  0.000 % |
0.03/0.88	c |      9603 |    1954     8344    25317 |     2781     2745     59 |  0.000 % |
0.03/0.89	c |      9715 |    1954     8344    25317 |     2781     2857     59 |  0.000 % |
0.03/0.90	c |      9838 |    1954     8344    25317 |     2781     2695     59 |  0.000 % |
0.03/0.91	c |      9971 |    1954     8344    25317 |     2781     2828     59 |  0.000 % |
0.03/0.92	c |     10118 |    1954     8344    25317 | 2147483647     2693     58 |  0.000 % |
0.03/0.94	c |     10278 |    1954     8344    25317 | 2147483647     2853     58 |  0.000 % |
0.03/0.95	c |     10455 |    1954     8344    25317 | 2147483647     3030     59 |  0.000 % |
0.03/0.97	c |     10648 |    1954     8344    25317 | 2147483647     3223     59 |  0.000 % |
0.03/0.99	c |     10860 |    1954     8344    25317 | 2147483647     3435     60 |  0.000 % |
0.98/1.01	c |     11094 |    1954     8344    25317 | 2147483647     3669     60 |  0.000 % |
0.98/1.03	c |     11352 |    1954     8344    25317 | 2147483647     3927     60 |  0.000 % |
0.98/1.06	c |     11634 |    1954     8344    25317 | 2147483647     4209     60 |  0.000 % |
0.98/1.07	c |     11735 |    1954     8344    25317 | 2147483647     4310     60 |  0.000 % |
0.98/1.08	c |     11846 |    1954     8344    25317 | 2147483647     4421     60 |  0.000 % |
0.98/1.09	c |     11968 |    1954     8344    25317 | 2147483647     4543     60 |  0.000 % |
1.08/1.11	c |     12103 |    1954     8344    25317 | 2147483647     4678     60 |  0.000 % |
1.08/1.12	c |     12250 |    1954     8344    25317 | 2147483647     4825     60 |  0.000 % |
1.08/1.14	c |     12411 |    1954     8344    25317 | 2147483647     4986     61 |  0.000 % |
1.08/1.15	c |     12587 |    1954     8344    25317 | 2147483647     5162     60 |  0.000 % |
1.08/1.17	c |     12781 |    1954     8344    25317 | 2147483647     5356     61 |  0.000 % |
1.08/1.19	c |     12996 |    1954     8344    25317 | 2147483647     5571     61 |  0.000 % |
1.17/1.21	c |     13230 |    1954     8344    25317 | 2147483647     5805     61 |  0.000 % |
1.17/1.24	c |     13488 |    1954     8344    25317 | 2147483647     6063     60 |  0.000 % |
1.17/1.27	c |     13769 |    1954     8344    25317 | 2147483647     6344     60 |  0.000 % |
1.27/1.30	c |     14078 |    1954     8344    25317 | 2147483647     6653     61 |  0.000 % |
1.27/1.31	c |     14181 |    1954     8344    25317 | 2147483647     6756     61 |  0.000 % |
1.27/1.32	c |     14293 |    1954     8344    25317 | 2147483647     6868     61 |  0.000 % |
1.27/1.33	c |     14414 |    1954     8344    25317 | 2147483647     6989     61 |  0.000 % |
1.27/1.35	c |     14548 |    1954     8344    25317 | 2147483647     7123     61 |  0.000 % |
1.27/1.36	c |     14694 |    1954     8344    25317 | 2147483647     7269     61 |  0.000 % |
1.27/1.38	c |     14854 |    1954     8344    25317 | 2147483647     7429     61 |  0.000 % |
1.37/1.40	c |     15030 |    1954     8344    25317 | 2147483647     7605     61 |  0.000 % |
1.37/1.42	c |     15223 |    1954     8344    25317 | 2147483647     7798     61 |  0.000 % |
1.37/1.44	c |     15435 |    1954     8344    25317 | 2147483647     8010     61 |  0.000 % |
1.37/1.47	c |     15668 |    1954     8344    25317 | 2147483647     8243     61 |  0.000 % |
1.47/1.50	c |     15925 |    1954     8344    25317 | 2147483647     8500     61 |  0.000 % |
1.47/1.53	c |     16206 |    1954     8344    25317 | 2147483647     8781     61 |  0.000 % |
1.47/1.57	c |     16515 |    1954     8344    25317 | 2147483647     9090     61 |  0.000 % |
1.57/1.61	c |     16856 |    1954     8344    25317 | 2147483647     9431     61 |  0.000 % |
1.57/1.62	c |     16957 |    1954     8344    25317 | 2147483647     9532     61 |  0.000 % |
1.57/1.63	c |     17068 |    1954     8344    25317 | 2147483647     9643     61 |  0.000 % |
1.57/1.65	c |     17189 |    1954     8344    25317 | 2147483647     9764     61 |  0.000 % |
1.57/1.67	c |     17324 |    1954     8344    25317 | 2147483647     9899     61 |  0.000 % |
1.57/1.68	c |     17470 |    1954     8344    25317 | 2147483647    10045     61 |  0.000 % |
1.67/1.70	c |     17631 |    1954     8344    25317 | 2147483647    10206     61 |  0.000 % |
1.67/1.72	c |     17809 |    1954     8344    25317 | 2147483647    10384     61 |  0.000 % |
1.67/1.75	c |     18002 |    1954     8344    25317 | 2147483647    10577     61 |  0.000 % |
1.67/1.78	c |     18214 |    1954     8344    25317 | 2147483647    10789     61 |  0.000 % |
1.77/1.81	c |     18447 |    1954     8344    25317 | 2147483647    11022     61 |  0.000 % |
1.77/1.84	c |     18704 |    1954     8344    25317 | 2147483647    11279     61 |  0.000 % |
1.77/1.88	c |     18989 |    1954     8344    25317 | 2147483647    11564     61 |  0.000 % |
1.87/1.92	c |     19299 |    1954     8344    25317 | 2147483647    11874     61 |  0.000 % |
1.87/1.97	c |     19639 |    1954     8344    25317 | 2147483647    12214     62 |  0.000 % |
1.97/2.02	c |     20011 |    1954     8344    25317 | 2147483647    12586     62 |  0.000 % |
1.97/2.04	c |     20113 |    1954     8344    25317 | 2147483647    12688     62 |  0.000 % |
1.97/2.05	c |     20223 |    1954     8344    25317 | 2147483647    12798     62 |  0.000 % |
1.97/2.07	c |     20344 |    1954     8344    25317 | 2147483647    12919     62 |  0.000 % |
1.97/2.09	c |     20479 |    1954     8344    25317 | 2147483647    13054     62 |  0.000 % |
2.07/2.11	c |     20625 |    1954     8344    25317 | 2147483647    13200     62 |  0.000 % |
2.07/2.13	c |     20787 |    1954     8344    25317 | 2147483647    13362     62 |  0.000 % |
2.07/2.16	c |     20963 |    1954     8344    25317 | 2147483647    13538     62 |  0.000 % |
2.07/2.18	c |     21156 |    1954     8344    25317 | 2147483647    13731     62 |  0.000 % |
2.17/2.22	c |     21369 |    1954     8344    25317 | 2147483647    13944     62 |  0.000 % |
2.17/2.25	c |     21604 |    1954     8344    25317 | 2147483647    14179     62 |  0.000 % |
2.17/2.29	c |     21860 |    1954     8344    25317 | 2147483647    14435     62 |  0.000 % |
2.27/2.33	c |     22143 |    1954     8344    25317 | 2147483647    14718     62 |  0.000 % |
2.27/2.37	c |     22452 |    1954     8344    25317 | 2147483647    15027     62 |  0.000 % |
2.37/2.42	c |     22791 |    1954     8344    25317 | 2147483647    15366     62 |  0.000 % |
2.37/2.48	c |     23164 |    1954     8344    25317 | 2147483647    15739     62 |  0.000 % |
2.46/2.54	c |     23573 |    1954     8344    25317 | 2147483647    16148     62 |  0.000 % |
2.46/2.56	c |     23674 |    1954     8344    25317 | 2147483647    16249     62 |  0.000 % |
2.46/2.58	c |     23784 |    1954     8344    25317 | 2147483647    16359     62 |  0.000 % |
2.57/2.60	c |     23905 |    1954     8344    25317 | 2147483647    16480     62 |  0.000 % |
2.57/2.62	c |     24039 |    1954     8344    25317 | 2147483647    16614     62 |  0.000 % |
2.57/2.65	c |     24185 |    1954     8344    25317 | 2147483647    16760     62 |  0.000 % |
2.57/2.68	c |     24345 |    1954     8344    25317 | 2147483647    16920     62 |  0.000 % |
2.67/2.71	c |     24521 |    1954     8344    25317 | 2147483647    17096     62 |  0.000 % |
2.67/2.74	c |     24717 |    1954     8344    25317 | 2147483647    17292     62 |  0.000 % |
2.67/2.78	c |     24929 |    1954     8344    25317 | 2147483647    17504     62 |  0.000 % |
2.77/2.82	c |     25162 |    1954     8344    25317 | 2147483647    17737     62 |  0.000 % |
2.77/2.86	c |     25418 |    1954     8344    25317 | 2147483647    17993     62 |  0.000 % |
2.87/2.91	c |     25702 |    1954     8344    25317 | 2147483647    18277     62 |  0.000 % |
2.87/2.96	c |     26012 |    1954     8344    25317 | 2147483647    18587     62 |  0.000 % |
2.97/3.02	c |     26351 |    1954     8344    25317 | 2147483647    18926     62 |  0.000 % |
2.97/3.08	c |     26723 |    1954     8344    25317 | 2147483647    19298     62 |  0.000 % |
3.07/3.16	c |     27133 |    1954     8344    25317 | 2147483647    19708     62 |  0.000 % |
3.18/3.24	c |     27584 |    1954     8344    25317 | 2147483647    20159     62 |  0.000 % |
3.18/3.26	c |     27686 |    1954     8344    25317 | 2147483647    20261     62 |  0.000 % |
3.18/3.28	c |     27798 |    1954     8344    25317 | 2147483647    20373     62 |  0.000 % |
3.28/3.31	c |     27921 |    1954     8344    25317 | 2147483647    20496     62 |  0.000 % |
3.28/3.33	c |     28054 |    1954     8344    25317 | 2147483647    20629     62 |  0.000 % |
3.28/3.36	c |     28200 |    1954     8344    25317 | 2147483647    20775     62 |  0.000 % |
3.28/3.39	c |     28360 |    1954     8344    25317 | 2147483647    20935     62 |  0.000 % |
3.37/3.43	c |     28537 |    1954     8344    25317 | 2147483647    21112     62 |  0.000 % |
3.37/3.47	c |     28731 |    1954     8344    25317 | 2147483647    21306     62 |  0.000 % |
3.47/3.51	c |     28943 |    1954     8344    25317 | 2147483647    21518     62 |  0.000 % |
3.47/3.56	c |     29177 |    1954     8344    25317 | 2147483647    21752     62 |  0.000 % |
3.57/3.61	c |     29435 |    1954     8344    25317 | 2147483647    22010     62 |  0.000 % |
3.57/3.66	c |     29716 |    1954     8344    25317 | 2147483647    22291     62 |  0.000 % |
3.67/3.73	c |     30025 |    1954     8344    25317 | 2147483647    22600     62 |  0.000 % |
3.77/3.80	c |     30364 |    1954     8344    25317 | 2147483647    22939     62 |  0.000 % |
3.77/3.88	c |     30736 |    1954     8344    25317 | 2147483647    23311     62 |  0.000 % |
3.87/3.97	c |     31145 |    1954     8344    25317 | 2147483647    23720     62 |  0.000 % |
3.97/4.06	c |     31596 |    1954     8344    25317 | 2147483647    24171     62 |  0.000 % |
4.07/4.17	c |     32089 |    1954     8344    25317 | 2147483647    24664     62 |  0.000 % |
4.07/4.19	c |     32189 |    1954     8344    25317 | 2147483647    24764     62 |  0.000 % |
4.17/4.22	c |     32300 |    1954     8344    25317 | 2147483647    24875     62 |  0.000 % |
4.17/4.25	c |     32421 |    1954     8344    25317 | 2147483647    24996     63 |  0.000 % |
4.17/4.28	c |     32556 |    1954     8344    25317 | 2147483647    25131     63 |  0.000 % |
4.27/4.31	c |     32704 |    1954     8344    25317 | 2147483647    25279     63 |  0.000 % |
4.27/4.35	c |     32864 |    1954     8344    25317 | 2147483647    25439     63 |  0.000 % |
4.27/4.39	c |     33040 |    1954     8344    25317 | 2147483647    25615     63 |  0.000 % |
4.37/4.44	c |     33234 |    1954     8344    25317 | 2147483647    25809     63 |  0.000 % |
4.37/4.48	c |     33446 |    1954     8344    25317 | 2147483647    26021     63 |  0.000 % |
4.47/4.54	c |     33680 |    1954     8344    25317 | 2147483647    26255     63 |  0.000 % |
4.47/4.59	c |     33939 |    1954     8344    25317 | 2147483647    26514     63 |  0.000 % |
4.57/4.66	c |     34223 |    1954     8344    25317 | 2147483647    26798     63 |  0.000 % |
4.67/4.73	c |     34537 |    1954     8344    25317 | 2147483647    27112     63 |  0.000 % |
4.76/4.80	c |     34878 |    1954     8344    25317 | 2147483647    27453     63 |  0.000 % |
4.76/4.89	c |     35250 |    1954     8344    25317 | 2147483647    27825     63 |  0.000 % |
4.96/5.00	c |     35660 |    1954     8344    25317 | 2147483647    28235     63 |  0.000 % |
5.06/5.11	c |     36109 |    1954     8344    25317 | 2147483647    28684     63 |  0.000 % |
5.16/5.23	c |     36602 |    1954     8344    25317 | 2147483647    29177     63 |  0.000 % |
5.26/5.35	c |     37144 |    1954     8344    25317 | 2147483647    29719     63 |  0.000 % |
5.26/5.38	c |     37247 |    1954     8344    25317 | 2147483647    29822     63 |  0.000 % |
5.37/5.41	c |     37359 |    1954     8344    25317 | 2147483647    29934     63 |  0.000 % |
5.37/5.44	c |     37480 |    1954     8344    25317 | 2147483647    30055     63 |  0.000 % |
5.37/5.48	c |     37613 |    1954     8344    25317 | 2147483647    30188     63 |  0.000 % |
5.47/5.52	c |     37761 |    1954     8344    25317 | 2147483647    30336     63 |  0.000 % |
5.47/5.56	c |     37921 |    1954     8344    25317 | 2147483647    30496     63 |  0.000 % |
5.56/5.61	c |     38099 |    1954     8344    25317 | 2147483647    30674     63 |  0.000 % |
5.56/5.66	c |     38293 |    1954     8344    25317 | 2147483647    30868     63 |  0.000 % |
5.66/5.72	c |     38505 |    1954     8344    25317 | 2147483647    31080     63 |  0.000 % |
5.66/5.79	c |     38738 |    1954     8344    25317 | 2147483647    31313     63 |  0.000 % |
5.76/5.86	c |     38995 |    1954     8344    25317 | 2147483647    31570     63 |  0.000 % |
5.86/5.94	c |     39277 |    1954     8344    25317 | 2147483647    31852     63 |  0.000 % |
5.96/6.02	c |     39586 |    1954     8344    25317 | 2147483647    32161     63 |  0.000 % |
6.06/6.11	c |     39925 |    1954     8344    25317 | 2147483647    32500     63 |  0.000 % |
6.16/6.21	c |     40298 |    1954     8344    25317 | 2147483647    32873     63 |  0.000 % |
6.26/6.33	c |     40709 |    1954     8344    25317 | 2147483647    33284     63 |  0.000 % |
6.36/6.46	c |     41158 |    1954     8344    25317 | 2147483647    33733     63 |  0.000 % |
6.46/6.59	c |     41651 |    1954     8344    25317 | 2147483647    34226     63 |  0.000 % |
6.66/6.74	c |     42194 |    1954     8344    25317 | 2147483647    34769     63 |  0.000 % |
6.86/6.92	c |     42791 |    1954     8344    25317 | 2147483647    35366     63 |  0.000 % |
6.86/6.95	c |     42893 |    1954     8344    25317 | 2147483647    35468     63 |  0.000 % |
6.86/6.98	c |     43004 |    1954     8344    25317 | 2147483647    35579     63 |  0.000 % |
6.96/7.03	c |     43125 |    1954     8344    25317 | 2147483647    35700     63 |  0.000 % |
6.96/7.06	c |     43258 |    1954     8344    25317 | 2147483647    35833     63 |  0.000 % |
7.05/7.11	c |     43405 |    1954     8344    25317 | 2147483647    35980     63 |  0.000 % |
7.05/7.16	c |     43565 |    1954     8344    25317 | 2147483647    36140     63 |  0.000 % |
7.16/7.22	c |     43742 |    1954     8344    25317 | 2147483647    36317     63 |  0.000 % |
7.16/7.28	c |     43936 |    1954     8344    25317 | 2147483647    36511     63 |  0.000 % |
7.26/7.34	c |     44149 |    1954     8344    25317 | 2147483647    36724     63 |  0.000 % |
7.36/7.42	c |     44382 |    1954     8344    25317 | 2147483647    36957     63 |  0.000 % |
7.46/7.50	c |     44638 |    1954     8344    25317 | 2147483647    37213     63 |  0.000 % |
7.46/7.59	c |     44919 |    1954     8344    25317 | 2147483647    37494     63 |  0.000 % |
7.56/7.69	c |     45229 |    1954     8344    25317 | 2147483647    37804     63 |  0.000 % |
7.66/7.79	c |     45569 |    1954     8344    25317 | 2147483647    38144     63 |  0.000 % |
7.86/7.91	c |     45941 |    1954     8344    25317 | 2147483647    38516     63 |  0.000 % |
7.96/8.03	c |     46350 |    1954     8344    25317 | 2147483647    38925     63 |  0.000 % |
8.06/8.18	c |     46800 |    1954     8344    25317 | 2147483647    39375     63 |  0.000 % |
8.26/8.35	c |     47293 |    1954     8344    25317 | 2147483647    39868     63 |  0.000 % |
8.46/8.51	c |     47835 |    1954     8344    25317 | 2147483647    40410     63 |  0.000 % |
8.56/8.70	c |     48431 |    1954     8344    25317 | 2147483647    41006     63 |  0.000 % |
8.86/8.91	c |     49086 |    1954     8344    25317 | 2147483647    41661     63 |  0.000 % |
8.86/8.96	c |     49186 |    1954     8344    25317 | 2147483647    41761     63 |  0.000 % |
8.96/9.00	c |     49296 |    1954     8344    25317 | 2147483647    41871     63 |  0.000 % |
8.96/9.04	c |     49417 |    1954     8344    25317 | 2147483647    41992     63 |  0.000 % |
8.96/9.09	c |     49550 |    1954     8344    25317 | 2147483647    42125     63 |  0.000 % |
9.06/9.14	c |     49697 |    1954     8344    25317 | 2147483647    42272     63 |  0.000 % |
9.06/9.19	c |     49857 |    1954     8344    25317 | 2147483647    42432     63 |  0.000 % |
9.16/9.26	c |     50033 |    1954     8344    25317 | 2147483647    42608     63 |  0.000 % |
9.26/9.34	c |     50226 |    1954     8344    25317 | 2147483647    42801     63 |  0.000 % |
9.35/9.42	c |     50441 |    1954     8344    25317 | 2147483647    43016     63 |  0.000 % |
9.45/9.51	c |     50674 |    1954     8344    25317 | 2147483647    43249     63 |  0.000 % |
9.45/9.59	c |     50932 |    1954     8344    25317 | 2147483647    43507     63 |  0.000 % |
9.65/9.70	c |     51213 |    1954     8344    25317 | 2147483647    43788     63 |  0.000 % |
9.76/9.80	c |     51523 |    1954     8344    25317 | 2147483647    44098     63 |  0.000 % |
9.86/9.93	c |     51862 |    1954     8344    25317 | 2147483647    44437     63 |  0.000 % |
9.95/10.07	c |     52235 |    1954     8344    25317 | 2147483647    44810     63 |  0.000 % |
10.15/10.21	c |     52644 |    1954     8344    25317 | 2147483647    45219     63 |  0.000 % |
10.25/10.38	c |     53093 |    1954     8344    25317 | 2147483647    45668     63 |  0.000 % |
10.46/10.56	c |     53586 |    1954     8344    25317 | 2147483647    46161     63 |  0.000 % |
10.66/10.76	c |     54129 |    1954     8344    25317 | 2147483647    46704     63 |  0.000 % |
10.86/10.99	c |     54725 |    1954     8344    25317 | 2147483647    47300     63 |  0.000 % |
11.15/11.22	c |     55380 |    1954     8344    25317 | 2147483647    47955     63 |  0.000 % |
11.45/11.50	c |     56100 |    1954     8344    25317 | 2147483647    48675     64 |  0.000 % |
11.45/11.55	c |     56204 |    1954     8344    25317 | 2147483647    48779     64 |  0.000 % |
11.45/11.59	c |     56315 |    1954     8344    25317 | 2147483647    48890     64 |  0.000 % |
11.55/11.63	c |     56436 |    1954     8344    25317 | 2147483647    49011     64 |  0.000 % |
11.55/11.69	c |     56570 |    1954     8344    25317 | 2147483647    49145     64 |  0.000 % |
11.65/11.76	c |     56718 |    1954     8344    25317 | 2147483647    49293     64 |  0.000 % |
11.75/11.83	c |     56879 |    1954     8344    25317 | 2147483647    49454     64 |  0.000 % |
11.85/11.91	c |     57058 |    1954     8344    25317 | 2147483647    49633     64 |  0.000 % |
11.95/12.01	c |     57253 |    1954     8344    25317 | 2147483647    49828     64 |  0.000 % |
11.95/12.10	c |     57465 |    1954     8344    25317 | 2147483647    50040     64 |  0.000 % |
12.15/12.21	c |     57698 |    1954     8344    25317 | 2147483647    50273     64 |  0.000 % |
12.26/12.32	c |     57955 |    1954     8344    25317 | 2147483647    50530     64 |  0.000 % |
12.36/12.43	c |     58237 |    1954     8344    25317 | 2147483647    50812     64 |  0.000 % |
12.45/12.56	c |     58547 |    1954     8344    25317 | 2147483647    51122     64 |  0.000 % |
12.65/12.71	c |     58887 |    1954     8344    25317 | 2147483647    51462     64 |  0.000 % |
12.75/12.87	c |     59260 |    1954     8344    25317 | 2147483647    51835     64 |  0.000 % |
12.95/13.03	c |     59669 |    1954     8344    25317 | 2147483647    52244     64 |  0.000 % |
13.15/13.23	c |     60121 |    1954     8344    25317 | 2147483647    52696     64 |  0.000 % |
13.35/13.43	c |     60615 |    1954     8344    25317 | 2147483647    53190     64 |  0.000 % |
13.55/13.65	c |     61159 |    1954     8344    25317 | 2147483647    53734     64 |  0.000 % |
13.75/13.89	c |     61755 |    1954     8344    25317 | 2147483647    54330     64 |  0.000 % |
14.05/14.17	c |     62410 |    1954     8344    25317 | 2147483647    54985     64 |  0.000 % |
14.35/14.48	c |     63130 |    1954     8344    25317 | 2147483647    55705     64 |  0.000 % |
14.75/14.86	c |     63922 |    1954     8344    25317 | 2147483647    56497     64 |  0.000 % |
14.84/14.91	c |     64022 |    1954     8344    25317 | 2147483647    56597     64 |  0.000 % |
14.84/14.97	c |     64136 |    1954     8344    25317 | 2147483647    56711     64 |  0.000 % |
14.95/15.03	c |     64257 |    1954     8344    25317 | 2147483647    56832     64 |  0.000 % |
14.95/15.09	c |     64390 |    1954     8344    25317 | 2147483647    56965     64 |  0.000 % |
15.05/15.17	c |     64538 |    1954     8344    25317 | 2147483647    57113     64 |  0.000 % |
15.15/15.26	c |     64698 |    1954     8344    25317 | 2147483647    57273     64 |  0.000 % |
15.25/15.34	c |     64875 |    1954     8344    25317 | 2147483647    57450     64 |  0.000 % |
15.35/15.44	c |     65068 |    1954     8344    25317 | 2147483647    57643     64 |  0.000 % |
15.45/15.55	c |     65283 |    1954     8344    25317 | 2147483647    57858     64 |  0.000 % |
15.55/15.68	c |     65517 |    1954     8344    25317 | 2147483647    58092     64 |  0.000 % |
15.75/15.82	c |     65776 |    1954     8344    25317 | 2147483647    58351     64 |  0.000 % |
15.85/15.95	c |     66059 |    1954     8344    25317 | 2147483647    58634     64 |  0.000 % |
16.05/16.11	c |     66370 |    1954     8344    25317 | 2147483647    58945     64 |  0.000 % |
16.15/16.29	c |     66709 |    1954     8344    25317 | 2147483647    59284     64 |  0.000 % |
16.35/16.45	c |     67082 |    1954     8344    25317 | 2147483647    59657     64 |  0.000 % |
16.54/16.67	c |     67491 |    1954     8344    25317 | 2147483647    60066     64 |  0.000 % |
16.74/16.89	c |     67940 |    1954     8344    25317 | 2147483647    60515     64 |  0.000 % |
17.04/17.11	c |     68433 |    1954     8344    25317 | 2147483647    61008     64 |  0.000 % |
17.24/17.40	c |     68976 |    1954     8344    25317 | 2147483647    61551     64 |  0.000 % |
17.55/17.65	c |     69572 |    1954     8344    25317 | 2147483647    62147     64 |  0.000 % |
17.84/17.99	c |     70227 |    1954     8344    25317 | 2147483647    62802     64 |  0.000 % |
18.25/18.35	c |     70947 |    1954     8344    25317 | 2147483647    63522     64 |  0.000 % |
18.65/18.75	c |     71741 |    1954     8344    25317 | 2147483647    64316     64 |  0.000 % |
19.05/19.18	c |     72612 |    1954     8344    25317 | 2147483647    65187     64 |  0.000 % |
19.15/19.23	c |     72712 |    1954     8344    25317 | 2147483647    65287     64 |  0.000 % |
19.15/19.28	c |     72822 |    1954     8344    25317 | 2147483647    65397     64 |  0.000 % |
19.25/19.35	c |     72943 |    1954     8344    25317 | 2147483647    65518     64 |  0.000 % |
19.35/19.43	c |     73076 |    1954     8344    25317 | 2147483647    65651     64 |  0.000 % |
19.45/19.52	c |     73222 |    1954     8344    25317 | 2147483647    65797     64 |  0.000 % |
19.55/19.62	c |     73383 |    1954     8344    25317 | 2147483647    65958     64 |  0.000 % |
19.65/19.71	c |     73560 |    1954     8344    25317 | 2147483647    66135     64 |  0.000 % |
19.75/19.85	c |     73753 |    1954     8344    25317 | 2147483647    66328     64 |  0.000 % |
19.84/19.96	c |     73967 |    1954     8344    25317 | 2147483647    66542     64 |  0.000 % |
19.94/20.08	c |     74202 |    1954     8344    25317 | 2147483647    66777     64 |  0.000 % |
20.14/20.20	c |     74458 |    1954     8344    25317 | 2147483647    67033     64 |  0.000 % |
20.24/20.35	c |     74740 |    1954     8344    25317 | 2147483647    67315     64 |  0.000 % |
20.44/20.50	c |     75049 |    1954     8344    25317 | 2147483647    67624     64 |  0.000 % |
20.54/20.69	c |     75388 |    1954     8344    25317 | 2147483647    67963     64 |  0.000 % |
20.75/20.89	c |     75761 |    1954     8344    25317 | 2147483647    68336     64 |  0.000 % |
21.04/21.10	c |     76171 |    1954     8344    25317 | 2147483647    68746     64 |  0.000 % |
21.24/21.36	c |     76620 |    1954     8344    25317 | 2147483647    69195     64 |  0.000 % |
21.54/21.64	c |     77113 |    1954     8344    25317 | 2147483647    69688     64 |  0.000 % |
21.84/21.93	c |     77655 |    1954     8344    25317 | 2147483647    70230     64 |  0.000 % |
22.15/22.26	c |     78252 |    1954     8344    25317 | 2147483647    70827     64 |  0.000 % |
22.54/22.63	c |     78908 |    1954     8344    25317 | 2147483647    71483     64 |  0.000 % |
22.95/23.01	c |     79628 |    1954     8344    25317 | 2147483647    72203     64 |  0.000 % |
23.24/23.39	c |     80420 |    1954     8344    25317 | 2147483647    72995     65 |  0.000 % |
23.74/23.85	c |     81291 |    1954     8344    25317 | 2147483647    73866     65 |  0.000 % |
24.24/24.34	c |     82250 |    1954     8344    25317 | 2147483647    74825     65 |  0.000 % |
24.34/24.41	c |     82352 |    1954     8344    25317 | 2147483647    74927     65 |  0.000 % |
24.34/24.48	c |     82463 |    1954     8344    25317 | 2147483647    75038     65 |  0.000 % |
24.44/24.57	c |     82584 |    1954     8344    25317 | 2147483647    75159     65 |  0.000 % |
24.54/24.66	c |     82718 |    1954     8344    25317 | 2147483647    75293     65 |  0.000 % |
24.64/24.76	c |     82864 |    1954     8344    25317 | 2147483647    75439     65 |  0.000 % |
24.74/24.85	c |     83025 |    1954     8344    25317 | 2147483647    75600     65 |  0.000 % |
24.84/24.97	c |     83202 |    1954     8344    25317 | 2147483647    75777     65 |  0.000 % |
24.94/25.09	c |     83398 |    1954     8344    25317 | 2147483647    75973     65 |  0.000 % |
25.14/25.22	c |     83611 |    1954     8344    25317 | 2147483647    76186     65 |  0.000 % |
25.24/25.37	c |     83845 |    1954     8344    25317 | 2147483647    76420     65 |  0.000 % |
25.44/25.53	c |     84101 |    1954     8344    25317 | 2147483647    76676     65 |  0.000 % |
25.64/25.71	c |     84382 |    1954     8344    25317 | 2147483647    76957     65 |  0.000 % |
25.74/25.89	c |     84691 |    1954     8344    25317 | 2147483647    77266     65 |  0.000 % |
25.93/26.09	c |     85030 |    1954     8344    25317 | 2147483647    77605     65 |  0.000 % |
26.24/26.33	c |     85403 |    1954     8344    25317 | 2147483647    77978     65 |  0.000 % |
26.43/26.59	c |     85812 |    1954     8344    25317 | 2147483647    78387     65 |  0.000 % |
26.73/26.87	c |     86263 |    1954     8344    25317 | 2147483647    78838     65 |  0.000 % |
27.03/27.19	c |     86756 |    1954     8344    25317 | 2147483647    79331     65 |  0.000 % |
27.44/27.56	c |     87298 |    1954     8344    25317 | 2147483647    79873     65 |  0.000 % |
27.83/27.93	c |     87894 |    1954     8344    25317 | 2147483647    80469     65 |  0.000 % |
28.23/28.37	c |     88549 |    1954     8344    25317 | 2147483647    81124     65 |  0.000 % |
28.73/28.81	c |     89269 |    1954     8344    25317 | 2147483647    81844     65 |  0.000 % |
29.14/29.30	c |     90061 |    1954     8344    25317 | 2147483647    82636     65 |  0.000 % |
29.74/29.86	c |     90932 |    1954     8344    25317 | 2147483647    83507     65 |  0.000 % |
30.34/30.48	c |     91892 |    1954     8344    25317 | 2147483647    84467     65 |  0.000 % |
31.04/31.16	c |     92945 |    1954     8344    25317 | 2147483647    85520     65 |  0.000 % |
31.14/31.24	c |     93045 |    1954     8344    25317 | 2147483647    85620     65 |  0.000 % |
31.24/31.32	c |     93155 |    1954     8344    25317 | 2147483647    85730     65 |  0.000 % |
31.34/31.42	c |     93276 |    1954     8344    25317 | 2147483647    85851     65 |  0.000 % |
31.44/31.52	c |     93410 |    1954     8344    25317 | 2147483647    85985     65 |  0.000 % |
31.54/31.64	c |     93556 |    1954     8344    25317 | 2147483647    86131     65 |  0.000 % |
31.64/31.78	c |     93718 |    1954     8344    25317 | 2147483647    86293     65 |  0.000 % |
31.84/31.92	c |     93896 |    1954     8344    25317 | 2147483647    86471     65 |  0.000 % |
31.94/32.05	c |     94091 |    1954     8344    25317 | 2147483647    86666     65 |  0.000 % |
32.14/32.22	c |     94303 |    1954     8344    25317 | 2147483647    86878     65 |  0.000 % |
32.24/32.39	c |     94537 |    1954     8344    25317 | 2147483647    87112     65 |  0.000 % |
32.44/32.57	c |     94793 |    1954     8344    25317 | 2147483647    87368     65 |  0.000 % |
32.63/32.77	c |     95075 |    1954     8344    25317 | 2147483647    87650     65 |  0.000 % |
32.84/32.97	c |     95384 |    1954     8344    25317 | 2147483647    87959     65 |  0.000 % |
33.13/33.21	c |     95723 |    1954     8344    25317 | 2147483647    88298     65 |  0.000 % |
33.33/33.48	c |     96095 |    1954     8344    25317 | 2147483647    88670     65 |  0.000 % |
33.63/33.76	c |     96504 |    1954     8344    25317 | 2147483647    89079     65 |  0.000 % |
33.93/34.09	c |     96953 |    1954     8344    25317 | 2147483647    89528     65 |  0.000 % |
34.33/34.45	c |     97449 |    1954     8344    25317 | 2147483647    90024     65 |  0.000 % |
34.73/34.84	c |     97991 |    1954     8344    25317 | 2147483647    90566     65 |  0.000 % |
35.13/35.24	c |     98587 |    1954     8344    25317 | 2147483647    91162     65 |  0.000 % |
35.63/35.72	c |     99242 |    1954     8344    25317 | 2147483647    91817     65 |  0.000 % |
36.13/36.21	c |     99964 |    1954     8344    25317 | 2147483647    92539     65 |  0.000 % |
36.62/36.74	c |    100758 |    1954     8344    25317 | 2147483647    93333     65 |  0.000 % |
37.13/37.28	c |    101629 |    1954     8344    25317 | 2147483647    94204     65 |  0.000 % |
37.83/37.93	c |    102589 |    1954     8344    25317 | 2147483647    95164     65 |  0.000 % |
38.63/38.72	c |    103642 |    1954     8344    25317 | 2147483647    96217     65 |  0.000 % |
39.43/39.52	c |    104800 |    1954     8344    25317 | 2147483647    97375     65 |  0.000 % |
39.53/39.62	c |    104902 |    1954     8344    25317 | 2147483647    97477     65 |  0.000 % |
39.63/39.73	c |    105013 |    1954     8344    25317 | 2147483647    97588     65 |  0.000 % |
39.73/39.84	c |    105135 |    1954     8344    25317 | 2147483647    97710     65 |  0.000 % |
39.83/39.96	c |    105268 |    1954     8344    25317 | 2147483647    97843     65 |  0.000 % |
39.93/40.08	c |    105415 |    1954     8344    25317 | 2147483647    97990     65 |  0.000 % |
40.13/40.21	c |    105575 |    1954     8344    25317 | 2147483647    98150     65 |  0.000 % |
40.23/40.37	c |    105751 |    1954     8344    25317 | 2147483647    98326     65 |  0.000 % |
40.43/40.52	c |    105944 |    1954     8344    25317 | 2147483647    98519     65 |  0.000 % |
40.53/40.67	c |    106157 |    1954     8344    25317 | 2147483647    98732     65 |  0.000 % |
40.73/40.85	c |    106390 |    1954     8344    25317 | 2147483647    98965     65 |  0.000 % |
40.92/41.05	c |    106646 |    1954     8344    25317 | 2147483647    99221     65 |  0.000 % |
41.12/41.29	c |    106931 |    1954     8344    25317 | 2147483647    99506     65 |  0.000 % |
41.42/41.53	c |    107240 |    1954     8344    25317 | 2147483647    99815     65 |  0.000 % |
41.63/41.78	c |    107579 |    1954     8344    25317 | 2147483647   100154     65 |  0.000 % |
41.92/42.08	c |    107951 |    1954     8344    25317 | 2147483647   100526     65 |  0.000 % |
42.22/42.37	c |    108361 |    1954     8344    25317 | 2147483647   100936     65 |  0.000 % |
42.62/42.71	c |    108811 |    1954     8344    25317 | 2147483647   101386     65 |  0.000 % |
42.92/43.09	c |    109304 |    1954     8344    25317 | 2147483647   101879     65 |  0.000 % |
43.42/43.54	c |    109847 |    1954     8344    25317 | 2147483647   102422     65 |  0.000 % |
43.92/44.06	c |    110443 |    1954     8344    25317 |   102580    90974     65 |  0.000 % |
44.42/44.50	c |    111099 |    1954     8344    25317 |   102580    91630     65 |  0.000 % |
44.82/45.00	c |    111819 |    1954     8344    25317 |   102580    92350     65 |  0.000 % |
45.42/45.57	c |    112612 |    1954     8344    25317 |   102580    93143     65 |  0.000 % |
46.02/46.15	c |    113483 |    1954     8344    25317 |   102580    94014     65 |  0.000 % |
46.62/46.80	c |    114441 |    1954     8344    25317 |   102580    94972     65 |  0.000 % |
47.42/47.54	c |    115494 |    1954     8344    25317 |   102580    96025     65 |  0.000 % |
48.12/48.28	c |    116652 |    1954     8344    25317 |   102580    97183     65 |  0.000 % |
49.02/49.16	c |    117926 |    1954     8344    25317 |   102580    98457     65 |  0.000 % |
49.12/49.24	c |    118026 |    1954     8344    25317 |   102580    98557     65 |  0.000 % |
49.22/49.35	c |    118137 |    1954     8344    25317 |   102580    98668     65 |  0.000 % |
49.32/49.46	c |    118259 |    1954     8344    25317 |   102580    98790     65 |  0.000 % |
49.42/49.56	c |    118392 |    1954     8344    25317 |   102580    98923     65 |  0.000 % |
49.62/49.70	c |    118538 |    1954     8344    25317 |   102580    99069     65 |  0.000 % |
49.72/49.84	c |    118698 |    1954     8344    25317 |   102580    99229     65 |  0.000 % |
49.82/49.99	c |    118874 |    1954     8344    25317 |   102580    99405     65 |  0.000 % |
50.02/50.15	c |    119067 |    1954     8344    25317 |   102580    99598     65 |  0.000 % |
50.22/50.34	c |    119280 |    1954     8344    25317 |   102580    99811     65 |  0.000 % |
50.42/50.56	c |    119513 |    1954     8344    25317 |   102580   100044     65 |  0.000 % |
50.62/50.78	c |    119769 |    1954     8344    25317 |   102580   100300     65 |  0.000 % |
50.92/51.01	c |    120050 |    1954     8344    25317 |   100532   100581     65 |  0.000 % |
51.12/51.29	c |    120360 |    1954     8344    25317 |   100532    88453     65 |  0.000 % |
51.42/51.52	c |    120700 |    1954     8344    25317 |   100532    88793     65 |  0.000 % |
51.62/51.75	c |    121072 |    1954     8344    25317 |   100532    89165     65 |  0.000 % |
51.92/52.05	c |    121481 |    1954     8344    25317 |   100532    89574     65 |  0.000 % |
52.22/52.36	c |    121931 |    1954     8344    25317 |   100532    90024     65 |  0.000 % |
52.52/52.68	c |    122425 |    1954     8344    25317 |   100532    90518     65 |  0.000 % |
52.91/53.06	c |    122968 |    1954     8344    25317 |   100532    91061     65 |  0.000 % |
53.31/53.49	c |    123565 |    1954     8344    25317 |   100532    91658     65 |  0.000 % |
53.82/53.97	c |    124222 |    1954     8344    25317 |   100532    92315     65 |  0.000 % |
54.41/54.50	c |    124942 |    1954     8344    25317 |   100532    93035     65 |  0.000 % |
54.92/55.02	c |    125735 |    1954     8344    25317 |   100532    93828     65 |  0.000 % |
55.51/55.69	c |    126608 |    1954     8344    25317 |   100532    94701     65 |  0.000 % |
56.31/56.40	c |    127567 |    1954     8344    25317 |   100532    95660     65 |  0.000 % |
57.01/57.19	c |    128620 |    1954     8344    25317 |   100532    96713     65 |  0.000 % |
57.81/57.99	c |    129780 |    1954     8344    25317 |   100532    97873     65 |  0.000 % |
58.81/58.96	c |    131053 |    1954     8344    25317 |    98095    87380     66 |  0.000 % |
59.81/59.98	c |    132453 |    1954     8344    25317 |    98095    88780     66 |  0.000 % |
59.91/60.05	c |    132553 |    1954     8344    25317 |    98095    88880     66 |  0.000 % |
60.01/60.15	c |    132666 |    1954     8344    25317 |    98095    88993     66 |  0.000 % |
60.11/60.25	c |    132788 |    1954     8344    25317 |    98095    89115     66 |  0.000 % |
60.21/60.36	c |    132921 |    1954     8344    25317 |    98095    89248     66 |  0.000 % |
60.31/60.48	c |    133067 |    1954     8344    25317 |    98095    89394     66 |  0.000 % |
60.51/60.61	c |    133229 |    1954     8344    25317 |    98095    89556     66 |  0.000 % |
60.61/60.74	c |    133405 |    1954     8344    25317 |    98095    89732     66 |  0.000 % |
60.71/60.88	c |    133599 |    1954     8344    25317 |    98095    89926     66 |  0.000 % |
60.91/61.03	c |    133811 |    1954     8344    25317 |    98095    90138     66 |  0.000 % |
61.11/61.20	c |    134044 |    1954     8344    25317 |    98095    90371     66 |  0.000 % |
61.31/61.41	c |    134300 |    1954     8344    25317 |    98095    90627     66 |  0.000 % |
61.51/61.62	c |    134585 |    1954     8344    25317 |    98095    90912     66 |  0.000 % |
61.71/61.86	c |    134895 |    1954     8344    25317 |    98095    91222     66 |  0.000 % |
61.91/62.09	c |    135235 |    1954     8344    25317 |    98095    91562     66 |  0.000 % |
62.21/62.33	c |    135607 |    1954     8344    25317 |    98095    91934     65 |  0.000 % |
62.51/62.63	c |    136019 |    1954     8344    25317 |    98095    92346     65 |  0.000 % |
62.81/62.96	c |    136468 |    1954     8344    25317 |    98095    92795     65 |  0.000 % |
63.20/63.30	c |    136964 |    1954     8344    25317 |    98095    93291     66 |  0.000 % |
63.50/63.70	c |    137507 |    1954     8344    25317 |    98095    93834     65 |  0.000 % |
64.00/64.15	c |    138103 |    1954     8344    25317 |    98095    94430     65 |  0.000 % |
64.50/64.60	c |    138760 |    1954     8344    25317 |    98095    95087     65 |  0.000 % |
65.00/65.14	c |    139482 |    1954     8344    25317 |    98095    95809     66 |  0.000 % |
65.60/65.77	c |    140274 |    1954     8344    25317 |    96328    84993     65 |  0.000 % |
66.20/66.35	c |    141145 |    1954     8344    25317 |    96328    85864     65 |  0.000 % |
66.80/66.95	c |    142103 |    1954     8344    25317 |    96328    86822     65 |  0.000 % |
67.50/67.66	c |    143157 |    1954     8344    25317 |    96328    87876     65 |  0.000 % |
68.30/68.40	c |    144317 |    1954     8344    25317 |    96328    89036     65 |  0.000 % |
69.00/69.17	c |    145592 |    1954     8344    25317 |    96328    90311     66 |  0.000 % |
70.00/70.18	c |    146992 |    1954     8344    25317 |    96328    91711     66 |  0.000 % |
71.00/71.11	c |    148536 |    1954     8344    25317 |    96328    93255     66 |  0.000 % |
71.10/71.20	c |    148638 |    1954     8344    25317 |    96328    93357     66 |  0.000 % |
71.10/71.28	c |    148748 |    1954     8344    25317 |    96328    93467     66 |  0.000 % |
71.20/71.36	c |    148871 |    1954     8344    25317 |    96328    93590     66 |  0.000 % |
71.30/71.46	c |    149004 |    1954     8344    25317 |    96328    93723     66 |  0.000 % |
71.50/71.60	c |    149150 |    1954     8344    25317 |    96328    93869     66 |  0.000 % |
71.60/71.72	c |    149310 |    1954     8344    25317 |    96328    94029     66 |  0.000 % |
71.70/71.87	c |    149486 |    1954     8344    25317 |    96328    94205     66 |  0.000 % |
71.90/72.03	c |    149679 |    1954     8344    25317 |    96328    94398     66 |  0.000 % |
72.00/72.19	c |    149892 |    1954     8344    25317 |    96328    94611     66 |  0.000 % |
72.20/72.35	c |    150125 |    1954     8344    25317 |    94721    94844     66 |  0.000 % |
72.40/72.57	c |    150381 |    1954     8344    25317 |    94721    85174     66 |  0.000 % |
72.60/72.76	c |    150662 |    1954     8344    25317 |    94721    85455     66 |  0.000 % |
72.80/72.97	c |    150971 |    1954     8344    25317 |    94721    85764     66 |  0.000 % |
73.00/73.19	c |    151310 |    1954     8344    25317 |    94721    86103     66 |  0.000 % |
73.30/73.42	c |    151682 |    1954     8344    25317 |    94721    86475     66 |  0.000 % |
73.50/73.67	c |    152091 |    1954     8344    25317 |    94721    86884     66 |  0.000 % |
73.90/74.03	c |    152540 |    1954     8344    25317 |    94721    87333     66 |  0.000 % |
74.20/74.38	c |    153034 |    1954     8344    25317 |    94721    87827     66 |  0.000 % |
74.60/74.75	c |    153576 |    1954     8344    25317 |    94721    88369     66 |  0.000 % |
75.00/75.16	c |    154172 |    1954     8344    25317 |    94721    88965     66 |  0.000 % |
75.50/75.62	c |    154828 |    1954     8344    25317 |    94721    89621     66 |  0.000 % |
76.00/76.13	c |    155550 |    1954     8344    25317 |    94721    90343     66 |  0.000 % |
76.50/76.64	c |    156343 |    1954     8344    25317 |    94721    91136     66 |  0.000 % |
77.10/77.22	c |    157215 |    1954     8344    25317 |    94721    92008     66 |  0.000 % |
77.70/77.86	c |    158173 |    1954     8344    25317 |    94721    92966     66 |  0.000 % |
78.49/78.60	c |    159226 |    1954     8344    25317 |    94721    94019     66 |  0.000 % |
79.29/79.41	c |    160384 |    1954     8344    25317 | 2147483647    95177     66 |  0.000 % |
80.10/80.29	c |    161658 |    1954     8344    25317 | 2147483647    96451     66 |  0.000 % |
81.09/81.26	c |    163060 |    1954     8344    25317 | 2147483647    97853     66 |  0.000 % |
82.30/82.50	c |    164600 |    1954     8344    25317 | 2147483647    99393     66 |  0.000 % |
83.59/83.76	c |    166296 |    1954     8344    25317 | 2147483647   101089     66 |  0.000 % |
83.69/83.83	c |    166396 |    1954     8344    25317 | 2147483647   101189     66 |  0.000 % |
83.79/83.93	c |    166506 |    1954     8344    25317 | 2147483647   101299     66 |  0.000 % |
83.89/84.05	c |    166628 |    1954     8344    25317 | 2147483647   101421     66 |  0.000 % |
83.99/84.19	c |    166762 |    1954     8344    25317 | 2147483647   101555     66 |  0.000 % |
84.20/84.33	c |    166909 |    1954     8344    25317 | 2147483647   101702     66 |  0.000 % |
84.30/84.46	c |    167069 |    1954     8344    25317 | 2147483647   101862     66 |  0.000 % |
84.50/84.65	c |    167248 |    1954     8344    25317 | 2147483647   102041     66 |  0.000 % |
84.70/84.82	c |    167441 |    1954     8344    25317 | 2147483647   102234     66 |  0.000 % |
84.90/85.01	c |    167653 |    1954     8344    25317 | 2147483647   102446     66 |  0.000 % |
85.10/85.21	c |    167888 |    1954     8344    25317 | 2147483647   102681     66 |  0.000 % |
85.30/85.41	c |    168144 |    1954     8344    25317 | 2147483647   102937     66 |  0.000 % |
85.50/85.63	c |    168425 |    1954     8344    25317 | 2147483647   103218     66 |  0.000 % |
85.70/85.90	c |    168734 |    1954     8344    25317 | 2147483647   103527     66 |  0.000 % |
86.00/86.18	c |    169074 |    1954     8344    25317 | 2147483647   103867     66 |  0.000 % |
86.40/86.54	c |    169447 |    1954     8344    25317 | 2147483647   104240     66 |  0.000 % |
86.80/86.91	c |    169856 |    1954     8344    25317 | 2147483647   104649     66 |  0.000 % |
87.19/87.33	c |    170305 |    1954     8344    25317 |   104795    89846     66 |  0.000 % |
87.49/87.64	c |    170798 |    1954     8344    25317 |   104795    90339     66 |  0.000 % |
87.90/88.03	c |    171342 |    1954     8344    25317 |   104795    90883     66 |  0.000 % |
88.29/88.42	c |    171942 |    1954     8344    25317 |   104795    91483     66 |  0.000 % |
88.69/88.88	c |    172598 |    1954     8344    25317 |   104795    92139     66 |  0.000 % |
89.29/89.42	c |    173319 |    1954     8344    25317 |   104795    92860     66 |  0.000 % |
89.79/89.97	c |    174112 |    1954     8344    25317 |   104795    93653     66 |  0.000 % |
90.39/90.56	c |    174984 |    1954     8344    25317 |   104795    94525     66 |  0.000 % |
91.20/91.32	c |    175943 |    1954     8344    25317 |   104795    95484     66 |  0.000 % |
91.89/92.07	c |    176999 |    1954     8344    25317 |   104795    96540     66 |  0.000 % |
92.79/92.94	c |    178161 |    1954     8344    25317 |   104795    97702     66 |  0.000 % |
93.79/93.90	c |    179436 |    1954     8344    25317 |   104795    98977     66 |  0.000 % |
94.99/95.12	c |    180839 |    1954     8344    25317 |    99542    88026     66 |  0.000 % |
95.99/96.15	c |    182379 |    1954     8344    25317 |    99542    89566     66 |  0.000 % |
97.09/97.26	c |    184073 |    1954     8344    25317 |    99542    91260     66 |  0.000 % |
98.39/98.50	c |    185936 |    1954     8344    25317 |    99542    93123     66 |  0.000 % |
98.39/98.57	c |    186036 |    1954     8344    25317 |    99542    93223     66 |  0.000 % |
98.49/98.67	c |    186146 |    1954     8344    25317 |    99542    93333     66 |  0.000 % |
98.59/98.77	c |    186269 |    1954     8344    25317 |    99542    93456     66 |  0.000 % |
98.69/98.87	c |    186402 |    1954     8344    25317 |    99542    93589     66 |  0.000 % |
98.79/98.96	c |    186548 |    1954     8344    25317 |    99542    93735     66 |  0.000 % |
98.98/99.11	c |    186708 |    1954     8344    25317 |    99542    93895     67 |  0.000 % |
99.08/99.23	c |    186884 |    1954     8344    25317 |    99542    94071     67 |  0.000 % |
99.18/99.39	c |    187077 |    1954     8344    25317 |    99542    94264     67 |  0.000 % |
99.38/99.58	c |    187291 |    1954     8344    25317 |    99542    94478     66 |  0.000 % |
99.58/99.79	c |    187524 |    1954     8344    25317 |    99542    94711     66 |  0.000 % |
99.89/100.01	c |    187780 |    1954     8344    25317 |    99542    94967     66 |  0.000 % |
100.08/100.24	c |    188063 |    1954     8344    25317 |    99542    95250     66 |  0.000 % |
100.38/100.51	c |    188372 |    1954     8344    25317 |    99542    95559     66 |  0.000 % |
100.58/100.76	c |    188712 |    1954     8344    25317 |    99542    95899     66 |  0.000 % |
100.88/101.07	c |    189085 |    1954     8344    25317 |    99542    96272     66 |  0.000 % |
101.18/101.38	c |    189495 |    1954     8344    25317 |    99542    96682     66 |  0.000 % |
101.58/101.73	c |    189947 |    1954     8344    25317 |    99542    97134     66 |  0.000 % |
101.98/102.15	c |    190440 |    1954     8344    25317 |    97190    86107     67 |  0.000 % |
102.28/102.47	c |    190983 |    1954     8344    25317 |    97190    86650     67 |  0.000 % |
102.68/102.83	c |    191579 |    1954     8344    25317 |    97190    87246     67 |  0.000 % |
103.08/103.25	c |    192234 |    1954     8344    25317 |    97190    87901     67 |  0.000 % |
103.58/103.74	c |    192954 |    1954     8344    25317 |    97190    88621     67 |  0.000 % |
104.08/104.26	c |    193747 |    1954     8344    25317 |    97190    89414     67 |  0.000 % |
104.68/104.82	c |    194619 |    1954     8344    25317 |    97190    90286     67 |  0.000 % |
105.28/105.41	c |    195577 |    1954     8344    25317 |    97190    91244     67 |  0.000 % |
105.98/106.15	c |    196630 |    1954     8344    25317 |    97190    92297     67 |  0.000 % |
106.78/106.92	c |    197790 |    1954     8344    25317 |    97190    93457     67 |  0.000 % |
107.58/107.78	c |    199064 |    1954     8344    25317 |    97190    94731     67 |  0.000 % |
108.69/108.88	c |    200469 |    1954     8344    25317 |    95669    85870     67 |  0.000 % |
109.68/109.86	c |    202011 |    1954     8344    25317 |    95669    87412     67 |  0.000 % |
110.78/110.93	c |    203705 |    1954     8344    25317 |    95669    89106     67 |  0.000 % |
111.88/112.09	c |    205569 |    1954     8344    25317 |    95669    90970     67 |  0.000 % |
113.28/113.48	c |    207618 |    1954     8344    25317 |    95669    93019     67 |  0.000 % |
113.38/113.56	c |    207718 |    1954     8344    25317 |    95669    93119     67 |  0.000 % |
113.48/113.65	c |    207828 |    1954     8344    25317 |    95669    93229     67 |  0.000 % |
113.58/113.76	c |    207950 |    1954     8344    25317 |    95669    93351     67 |  0.000 % |
113.68/113.87	c |    208086 |    1954     8344    25317 |    95669    93487     67 |  0.000 % |
113.88/114.00	c |    208233 |    1954     8344    25317 |    95669    93634     67 |  0.000 % |
113.98/114.13	c |    208394 |    1954     8344    25317 |    95669    93795     67 |  0.000 % |
114.08/114.27	c |    208571 |    1954     8344    25317 |    95669    93972     67 |  0.000 % |
114.28/114.44	c |    208765 |    1954     8344    25317 |    95669    94166     67 |  0.000 % |
114.48/114.61	c |    208977 |    1954     8344    25317 |    95669    94378     67 |  0.000 % |
114.68/114.80	c |    209210 |    1954     8344    25317 |    95669    94611     67 |  0.000 % |
114.78/114.98	c |    209466 |    1954     8344    25317 |    95669    94867     67 |  0.000 % |
115.08/115.21	c |    209747 |    1954     8344    25317 |    95669    95148     67 |  0.000 % |
115.28/115.44	c |    210058 |    1954     8344    25317 |    95402    95459     67 |  0.000 % |
115.58/115.74	c |    210398 |    1954     8344    25317 |    95402    85554     67 |  0.000 % |
115.88/116.01	c |    210770 |    1954     8344    25317 |    95402    85926     67 |  0.000 % |
116.18/116.30	c |    211180 |    1954     8344    25317 |    95402    86336     67 |  0.000 % |
116.48/116.60	c |    211629 |    1954     8344    25317 |    95402    86785     67 |  0.000 % |
116.78/116.92	c |    212123 |    1954     8344    25317 |    95402    87279     67 |  0.000 % |
117.08/117.28	c |    212665 |    1954     8344    25317 |    95402    87821     67 |  0.000 % |
117.58/117.71	c |    213261 |    1954     8344    25317 |    95402    88417     67 |  0.000 % |
117.97/118.13	c |    213916 |    1954     8344    25317 |    95402    89072     67 |  0.000 % |
118.47/118.64	c |    214636 |    1954     8344    25317 |    95402    89792     67 |  0.000 % |
119.07/119.21	c |    215429 |    1954     8344    25317 |    95402    90585     67 |  0.000 % |
119.68/119.83	c |    216301 |    1954     8344    25317 |    95402    91457     67 |  0.000 % |
120.37/120.53	c |    217260 |    1954     8344    25317 |    95402    92416     67 |  0.000 % |
121.07/121.26	c |    218314 |    1954     8344    25317 |    95402    93470     67 |  0.000 % |
121.87/122.08	c |    219473 |    1954     8344    25317 |    95402    94629     67 |  0.000 % |
122.77/122.96	c |    220746 |    1954     8344    25317 |    95156    85913     67 |  0.000 % |
123.67/123.82	c |    222147 |    1954     8344    25317 |    95156    87314     67 |  0.000 % |
124.67/124.82	c |    223687 |    1954     8344    25317 |    95156    88854     67 |  0.000 % |
125.77/125.92	c |    225382 |    1954     8344    25317 |    95156    90549     67 |  0.000 % |
126.97/127.16	c |    227245 |    1954     8344    25317 |    95156    92412     68 |  0.000 % |
128.37/128.52	c |    229295 |    1954     8344    25317 |    95156    94462     68 |  0.000 % |
129.87/130.08	c |    231548 |    1954     8344    25317 | 2147483647    96715     68 |  0.000 % |
129.97/130.20	c |    231650 |    1954     8344    25317 | 2147483647    96817     68 |  0.000 % |
130.07/130.28	c |    231760 |    1954     8344    25317 | 2147483647    96927     67 |  0.000 % |
130.17/130.38	c |    231882 |    1954     8344    25317 | 2147483647    97049     67 |  0.000 % |
130.27/130.48	c |    232015 |    1954     8344    25317 | 2147483647    97182     67 |  0.000 % |
130.47/130.63	c |    232161 |    1954     8344    25317 | 2147483647    97328     67 |  0.000 % |
130.57/130.76	c |    232321 |    1954     8344    25317 | 2147483647    97488     67 |  0.000 % |
130.77/130.92	c |    232498 |    1954     8344    25317 | 2147483647    97665     67 |  0.000 % |
130.86/131.07	c |    232693 |    1954     8344    25317 | 2147483647    97860     67 |  0.000 % |
131.06/131.25	c |    232905 |    1954     8344    25317 | 2147483647    98072     67 |  0.000 % |
131.26/131.44	c |    233138 |    1954     8344    25317 | 2147483647    98305     67 |  0.000 % |
131.46/131.64	c |    233394 |    1954     8344    25317 | 2147483647    98561     67 |  0.000 % |
131.66/131.86	c |    233675 |    1954     8344    25317 | 2147483647    98842     67 |  0.000 % |
131.96/132.12	c |    233985 |    1954     8344    25317 | 2147483647    99152     67 |  0.000 % |
132.26/132.40	c |    234325 |    1954     8344    25317 | 2147483647    99492     67 |  0.000 % |
132.46/132.67	c |    234697 |    1954     8344    25317 | 2147483647    99864     67 |  0.000 % |
132.76/132.97	c |    235107 |    1954     8344    25317 | 2147483647   100274     67 |  0.000 % |
133.16/133.31	c |    235556 |    1954     8344    25317 | 2147483647   100723     67 |  0.000 % |
133.56/133.71	c |    236049 |    1954     8344    25317 | 2147483647   101216     67 |  0.000 % |
133.96/134.15	c |    236593 |    1954     8344    25317 | 2147483647   101760     67 |  0.000 % |
134.46/134.63	c |    237189 |    1954     8344    25317 | 2147483647   102356     67 |  0.000 % |
134.96/135.20	c |    237846 |    1954     8344    25317 | 2147483647   103013     67 |  0.000 % |
135.56/135.77	c |    238566 |    1954     8344    25317 | 2147483647   103733     67 |  0.000 % |
136.26/136.45	c |    239359 |    1954     8344    25317 | 2147483647   104526     67 |  0.000 % |
136.96/137.15	c |    240231 |    1954     8344    25317 |   105168   105398     67 |  0.000 % |
137.76/137.91	c |    241189 |    1954     8344    25317 |   105168    91597     67 |  0.000 % |
138.46/138.65	c |    242242 |    1954     8344    25317 |   105168    92650     67 |  0.000 % |
139.25/139.47	c |    243400 |    1954     8344    25317 |   105168    93808     67 |  0.000 % |
140.15/140.36	c |    244677 |    1954     8344    25317 |   105168    95085     67 |  0.000 % |
141.15/141.31	c |    246078 |    1954     8344    25317 |   105168    96486     67 |  0.000 % |
142.25/142.41	c |    247618 |    1954     8344    25317 |   105168    98026     67 |  0.000 % |
143.35/143.59	c |    249312 |    1954     8344    25317 |   105168    99720     68 |  0.000 % |
144.65/144.84	c |    251176 |    1954     8344    25317 |   100408    88970     67 |  0.000 % |
145.95/146.14	c |    253225 |    1954     8344    25317 |   100408    91019     67 |  0.000 % |
147.35/147.56	c |    255479 |    1954     8344    25317 |   100408    93273     67 |  0.000 % |
149.05/149.21	c |    257957 |    1954     8344    25317 |   100408    95751     68 |  0.000 % |
149.05/149.29	c |    258057 |    1954     8344    25317 |   100408    95851     68 |  0.000 % |
149.15/149.39	c |    258169 |    1954     8344    25317 |   100408    95963     68 |  0.000 % |
149.25/149.49	c |    258291 |    1954     8344    25317 |   100408    96085     68 |  0.000 % |
149.35/149.59	c |    258424 |    1954     8344    25317 |   100408    96218     68 |  0.000 % |
149.55/149.73	c |    258573 |    1954     8344    25317 |   100408    96367     68 |  0.000 % |
149.65/149.87	c |    258734 |    1954     8344    25317 |   100408    96528     68 |  0.000 % |
149.75/150.00	c |    258910 |    1954     8344    25317 |   100408    96704     68 |  0.000 % |
149.95/150.18	c |    259103 |    1954     8344    25317 |   100408    96897     68 |  0.000 % |
150.15/150.36	c |    259317 |    1954     8344    25317 |   100408    97111     68 |  0.000 % |
150.35/150.54	c |    259551 |    1954     8344    25317 |   100408    97345     68 |  0.000 % |
150.55/150.77	c |    259807 |    1954     8344    25317 |   100408    97601     68 |  0.000 % |
150.75/150.99	c |    260088 |    1954     8344    25317 |    97796    97882     68 |  0.000 % |
151.05/151.28	c |    260397 |    1954     8344    25317 |    97796    87411     68 |  0.000 % |
151.25/151.50	c |    260739 |    1954     8344    25317 |    97796    87753     68 |  0.000 % |
151.55/151.74	c |    261111 |    1954     8344    25317 |    97796    88125     68 |  0.000 % |
151.85/152.02	c |    261520 |    1954     8344    25317 |    97796    88534     68 |  0.000 % |
152.15/152.34	c |    261973 |    1954     8344    25317 |    97796    88987     68 |  0.000 % |
152.45/152.67	c |    262466 |    1954     8344    25317 |    97796    89480     68 |  0.000 % |
152.85/153.05	c |    263008 |    1954     8344    25317 |    97796    90022     68 |  0.000 % |
153.35/153.53	c |    263604 |    1954     8344    25317 |    97796    90618     68 |  0.000 % |
153.85/154.00	c |    264259 |    1954     8344    25317 |    97796    91273     68 |  0.000 % |
154.25/154.47	c |    264979 |    1954     8344    25317 |    97796    91993     68 |  0.000 % |
154.85/155.01	c |    265772 |    1954     8344    25317 |    97796    92786     68 |  0.000 % |
155.35/155.57	c |    266645 |    1954     8344    25317 |    97796    93659     68 |  0.000 % |
156.05/156.21	c |    267603 |    1954     8344    25317 |    97796    94617     68 |  0.000 % |
156.74/156.96	c |    268656 |    1954     8344    25317 |    97796    95670     68 |  0.000 % |
157.54/157.78	c |    269814 |    1954     8344    25317 |    97796    96828     68 |  0.000 % |
158.54/158.75	c |    271087 |    1954     8344    25317 |    97014    87318     67 |  0.000 % |
159.54/159.70	c |    272488 |    1954     8344    25317 |    97014    88719     67 |  0.000 % |
160.54/160.73	c |    274028 |    1954     8344    25317 |    97014    90259     67 |  0.000 % |
161.64/161.87	c |    275724 |    1954     8344    25317 |    97014    91955     67 |  0.000 % |
162.94/163.12	c |    277587 |    1954     8344    25317 |    97014    93818     68 |  0.000 % |
164.34/164.55	c |    279636 |    1954     8344    25317 |    97014    95867     68 |  0.000 % |
165.84/166.00	c |    281889 |    1954     8344    25317 |    96231    87346     68 |  0.000 % |
167.34/167.56	c |    284368 |    1954     8344    25317 |    96231    89825     68 |  0.000 % |
169.14/169.30	c |    287094 |    1954     8344    25317 |    96231    92551     68 |  0.000 % |
169.24/169.41	c |    287197 |    1954     8344    25317 |    96231    92654     68 |  0.000 % |
169.24/169.49	c |    287307 |    1954     8344    25317 |    96231    92764     68 |  0.000 % |
169.34/169.59	c |    287428 |    1954     8344    25317 |    96231    92885     68 |  0.000 % |
169.54/169.70	c |    287561 |    1954     8344    25317 |    96231    93018     68 |  0.000 % |
169.64/169.82	c |    287707 |    1954     8344    25317 |    96231    93164     68 |  0.000 % |
169.74/169.94	c |    287871 |    1954     8344    25317 |    96231    93328     68 |  0.000 % |
169.84/170.07	c |    288047 |    1954     8344    25317 |    96231    93504     68 |  0.000 % |
170.04/170.26	c |    288240 |    1954     8344    25317 |    96231    93697     68 |  0.000 % |
170.24/170.42	c |    288452 |    1954     8344    25317 |    96231    93909     68 |  0.000 % |
170.34/170.59	c |    288685 |    1954     8344    25317 |    96231    94142     68 |  0.000 % |
170.54/170.76	c |    288941 |    1954     8344    25317 |    96231    94398     68 |  0.000 % |
170.74/170.97	c |    289224 |    1954     8344    25317 |    96231    94681     68 |  0.000 % |
170.95/171.19	c |    289534 |    1954     8344    25317 |    96231    94991     68 |  0.000 % |
171.25/171.46	c |    289873 |    1954     8344    25317 |    96231    95330     68 |  0.000 % |
171.55/171.73	c |    290245 |    1954     8344    25317 | 2147483647    95702     68 |  0.000 % |
171.85/172.03	c |    290654 |    1954     8344    25317 | 2147483647    96111     68 |  0.000 % |
172.14/172.39	c |    291103 |    1954     8344    25317 | 2147483647    96560     68 |  0.000 % |
172.55/172.74	c |    291597 |    1954     8344    25317 | 2147483647    97054     68 |  0.000 % |
172.94/173.17	c |    292139 |    1954     8344    25317 | 2147483647    97596     68 |  0.000 % |
173.44/173.65	c |    292736 |    1954     8344    25317 | 2147483647    98193     68 |  0.000 % |
173.94/174.18	c |    293393 |    1954     8344    25317 | 2147483647    98850     68 |  0.000 % |
174.55/174.72	c |    294115 |    1954     8344    25317 | 2147483647    99572     68 |  0.000 % |
175.14/175.33	c |    294908 |    1954     8344    25317 | 2147483647   100365     68 |  0.000 % |
175.75/176.00	c |    295780 |    1954     8344    25317 | 2147483647   101237     68 |  0.000 % |
176.44/176.68	c |    296738 |    1954     8344    25317 | 2147483647   102195     68 |  0.000 % |
177.34/177.52	c |    297792 |    1954     8344    25317 | 2147483647   103249     68 |  0.000 % |
178.14/178.39	c |    298950 |    1954     8344    25317 | 2147483647   104407     68 |  0.000 % |
179.24/179.40	c |    300225 |    1954     8344    25317 |   105457   105682     68 |  0.000 % |
180.24/180.42	c |    301626 |    1954     8344    25317 |   105457    92276     68 |  0.000 % |
181.14/181.40	c |    303166 |    1954     8344    25317 |   105457    93816     68 |  0.000 % |
182.44/182.60	c |    304861 |    1954     8344    25317 |   105457    95511     68 |  0.000 % |
183.74/183.91	c |    306724 |    1954     8344    25317 |   105457    97374     68 |  0.000 % |
185.14/185.38	c |    308775 |    1954     8344    25317 |   105457    99425     68 |  0.000 % |
186.74/186.98	c |    311029 |    1954     8344    25317 |   100651    89716     68 |  0.000 % |
188.54/188.75	c |    313507 |    1954     8344    25317 |   100651    92194     69 |  0.000 % |
190.34/190.50	c |    316232 |    1954     8344    25317 |   100651    94919     69 |  0.000 % |
192.43/192.61	c |    319229 |    1954     8344    25317 |   100651    97916     69 |  0.000 % |
192.43/192.68	c |    319330 |    1954     8344    25317 |   100651    98017     69 |  0.000 % |
192.53/192.76	c |    319440 |    1954     8344    25317 |   100651    98127     69 |  0.000 % |
192.63/192.88	c |    319563 |    1954     8344    25317 |   100651    98250     69 |  0.000 % |
192.83/193.02	c |    319696 |    1954     8344    25317 |   100651    98383     69 |  0.000 % |
192.93/193.14	c |    319843 |    1954     8344    25317 |   100651    98530     69 |  0.000 % |
193.03/193.28	c |    320003 |    1954     8344    25317 |    98689    98690     69 |  0.000 % |
193.34/193.52	c |    320179 |    1954     8344    25317 |    98689    87210     69 |  0.000 % |
193.44/193.66	c |    320373 |    1954     8344    25317 |    98689    87404     69 |  0.000 % |
193.63/193.83	c |    320585 |    1954     8344    25317 |    98689    87616     69 |  0.000 % |
193.83/194.02	c |    320818 |    1954     8344    25317 |    98689    87849     69 |  0.000 % |
193.93/194.20	c |    321075 |    1954     8344    25317 |    98689    88106     69 |  0.000 % |
194.23/194.41	c |    321357 |    1954     8344    25317 |    98689    88388     69 |  0.000 % |
194.44/194.63	c |    321666 |    1954     8344    25317 |    98689    88697     69 |  0.000 % |
194.63/194.86	c |    322005 |    1954     8344    25317 |    98689    89036     69 |  0.000 % |
194.93/195.14	c |    322380 |    1954     8344    25317 |    98689    89411     69 |  0.000 % |
195.23/195.48	c |    322790 |    1954     8344    25317 |    98689    89821     69 |  0.000 % |
195.64/195.82	c |    323239 |    1954     8344    25317 |    98689    90270     69 |  0.000 % |
195.93/196.18	c |    323735 |    1954     8344    25317 |    98689    90766     69 |  0.000 % |
196.33/196.58	c |    324278 |    1954     8344    25317 |    98689    91309     69 |  0.000 % |
196.73/196.98	c |    324877 |    1954     8344    25317 |    98689    91908     69 |  0.000 % |
197.23/197.47	c |    325533 |    1954     8344    25317 |    98689    92564     69 |  0.000 % |
197.73/197.97	c |    326253 |    1954     8344    25317 |    98689    93284     69 |  0.000 % |
198.33/198.55	c |    327045 |    1954     8344    25317 |    98689    94076     69 |  0.000 % |
198.93/199.17	c |    327917 |    1954     8344    25317 |    98689    94948     69 |  0.000 % |
199.63/199.87	c |    328875 |    1954     8344    25317 |    98689    95906     69 |  0.000 % |
200.33/200.60	c |    329928 |    1954     8344    25317 |    98689    96959     69 |  0.000 % |
201.23/201.40	c |    331087 |    1954     8344    25317 |    97031    86611     69 |  0.000 % |
202.03/202.27	c |    332362 |    1954     8344    25317 |    97031    87886     69 |  0.000 % |
203.03/203.25	c |    333763 |    1954     8344    25317 |    97031    89287     69 |  0.000 % |
204.03/204.26	c |    335303 |    1954     8344    25317 |    97031    90827     69 |  0.000 % |
205.13/205.34	c |    336998 |    1954     8344    25317 |    97031    92522     69 |  0.000 % |
206.23/206.46	c |    338861 |    1954     8344    25317 |    97031    94385     69 |  0.000 % |
207.62/207.86	c |    340911 |    1954     8344    25317 | 2147483647    96435     69 |  0.000 % |
209.02/209.29	c |    343165 |    1954     8344    25317 | 2147483647    98689     69 |  0.000 % |
210.92/211.12	c |    345646 |    1954     8344    25317 | 2147483647   101170     69 |  0.000 % |
212.92/213.10	c |    348371 |    1954     8344    25317 | 2147483647   103895     69 |  0.000 % |
215.12/215.34	c |    351369 |    1954     8344    25317 |   105524    93504     69 |  0.000 % |
217.31/217.52	c |    354665 |    1954     8344    25317 |   105524    96800     69 |  0.000 % |
217.41/217.61	c |    354767 |    1954     8344    25317 |   105524    96902     69 |  0.000 % |
217.41/217.69	c |    354877 |    1954     8344    25317 |   105524    97012     69 |  0.000 % |
217.52/217.78	c |    354998 |    1954     8344    25317 |   105524    97133     69 |  0.000 % |
217.71/217.90	c |    355134 |    1954     8344    25317 |   105524    97269     69 |  0.000 % |
217.81/218.00	c |    355282 |    1954     8344    25317 |   105524    97417     69 |  0.000 % |
217.91/218.13	c |    355444 |    1954     8344    25317 |   105524    97579     69 |  0.000 % |
218.01/218.29	c |    355620 |    1954     8344    25317 |   105524    97755     69 |  0.000 % |
218.21/218.45	c |    355813 |    1954     8344    25317 |   105524    97948     69 |  0.000 % |
218.41/218.63	c |    356025 |    1954     8344    25317 |   105524    98160     69 |  0.000 % |
218.62/218.82	c |    356259 |    1954     8344    25317 |   105524    98394     69 |  0.000 % |
218.81/219.02	c |    356516 |    1954     8344    25317 |   105524    98651     69 |  0.000 % |
219.01/219.22	c |    356797 |    1954     8344    25317 |   105524    98932     69 |  0.000 % |
219.21/219.48	c |    357106 |    1954     8344    25317 |   105524    99241     69 |  0.000 % |
219.51/219.77	c |    357445 |    1954     8344    25317 |   105524    99580     69 |  0.000 % |
219.82/220.04	c |    357817 |    1954     8344    25317 |   105524    99952     69 |  0.000 % |
220.11/220.36	c |    358231 |    1954     8344    25317 |   105524   100366     69 |  0.000 % |
220.41/220.69	c |    358680 |    1954     8344    25317 |   105524   100815     69 |  0.000 % |
220.81/221.09	c |    359174 |    1954     8344    25317 |   105524   101309     69 |  0.000 % |
221.31/221.50	c |    359718 |    1954     8344    25317 |   105524   101853     69 |  0.000 % |
221.81/222.02	c |    360314 |    1954     8344    25317 |   102135    88853     69 |  0.000 % |
222.21/222.49	c |    360971 |    1954     8344    25317 |   102135    89510     69 |  0.000 % |
222.71/222.96	c |    361691 |    1954     8344    25317 |   102135    90230     69 |  0.000 % |
223.31/223.53	c |    362486 |    1954     8344    25317 |   102135    91025     69 |  0.000 % |
223.81/224.10	c |    363358 |    1954     8344    25317 |   102135    91897     69 |  0.000 % |
224.50/224.78	c |    364316 |    1954     8344    25317 |   102135    92855     69 |  0.000 % |
225.31/225.55	c |    365369 |    1954     8344    25317 |   102135    93908     69 |  0.000 % |
226.10/226.38	c |    366527 |    1954     8344    25317 |   102135    95066     69 |  0.000 % |
227.10/227.32	c |    367801 |    1954     8344    25317 |   102135    96340     69 |  0.000 % |
228.10/228.33	c |    369201 |    1954     8344    25317 |   102135    97740     69 |  0.000 % |
229.20/229.49	c |    370741 |    1954     8344    25317 |    98539    87101     69 |  0.000 % |
230.30/230.52	c |    372436 |    1954     8344    25317 |    98539    88796     69 |  0.000 % |
231.50/231.78	c |    374299 |    1954     8344    25317 |    98539    90659     68 |  0.000 % |
232.80/233.08	c |    376348 |    1954     8344    25317 |    98539    92708     69 |  0.000 % |
234.50/234.77	c |    378601 |    1954     8344    25317 |    98539    94961     68 |  0.000 % |
236.20/236.49	c |    381080 |    1954     8344    25317 |    96360    87087     69 |  0.000 % |
238.10/238.32	c |    383805 |    1954     8344    25317 |    96360    89812     69 |  0.000 % |
240.00/240.25	c |    386804 |    1954     8344    25317 |    96360    92811     69 |  0.000 % |
242.19/242.43	c |    390100 |    1954     8344    25317 | 2147483647    96107     69 |  0.000 % |
244.79/245.02	c |    393725 |    1954     8344    25317 | 2147483647    99732     69 |  0.000 % |
244.89/245.11	c |    393825 |    1954     8344    25317 | 2147483647    99832     69 |  0.000 % |
245.00/245.20	c |    393935 |    1954     8344    25317 | 2147483647    99942     69 |  0.000 % |
245.00/245.30	c |    394056 |    1954     8344    25317 | 2147483647   100063     69 |  0.000 % |
245.19/245.42	c |    394189 |    1954     8344    25317 | 2147483647   100196     69 |  0.000 % |
245.29/245.53	c |    394335 |    1954     8344    25317 | 2147483647   100342     69 |  0.000 % |
245.39/245.64	c |    394495 |    1954     8344    25317 | 2147483647   100502     69 |  0.000 % |
245.49/245.79	c |    394672 |    1954     8344    25317 | 2147483647   100679     69 |  0.000 % |
245.69/245.97	c |    394865 |    1954     8344    25317 | 2147483647   100872     69 |  0.000 % |
245.89/246.15	c |    395078 |    1954     8344    25317 | 2147483647   101085     69 |  0.000 % |
246.09/246.35	c |    395313 |    1954     8344    25317 | 2147483647   101320     69 |  0.000 % |
246.29/246.56	c |    395569 |    1954     8344    25317 | 2147483647   101576     69 |  0.000 % |
246.59/246.80	c |    395850 |    1954     8344    25317 | 2147483647   101857     69 |  0.000 % |
246.79/247.04	c |    396159 |    1954     8344    25317 | 2147483647   102166     69 |  0.000 % |
247.09/247.31	c |    396498 |    1954     8344    25317 | 2147483647   102505     69 |  0.000 % |
247.39/247.60	c |    396871 |    1954     8344    25317 | 2147483647   102878     69 |  0.000 % |
247.69/247.92	c |    397280 |    1954     8344    25317 | 2147483647   103287     69 |  0.000 % |
247.99/248.28	c |    397729 |    1954     8344    25317 | 2147483647   103736     69 |  0.000 % |
248.39/248.68	c |    398222 |    1954     8344    25317 | 2147483647   104229     69 |  0.000 % |
248.89/249.13	c |    398765 |    1954     8344    25317 | 2147483647   104772     69 |  0.000 % |
249.29/249.59	c |    399363 |    1954     8344    25317 | 2147483647   105370     69 |  0.000 % |
249.89/250.12	c |    400018 |    1954     8344    25317 |   106008   106025     69 |  0.000 % |
250.39/250.70	c |    400739 |    1954     8344    25317 |   106008    92261     68 |  0.000 % |
250.99/251.24	c |    401531 |    1954     8344    25317 |   106008    93053     68 |  0.000 % |
251.69/251.92	c |    402404 |    1954     8344    25317 |   106008    93926     68 |  0.000 % |
252.29/252.54	c |    403362 |    1954     8344    25317 |   106008    94884     68 |  0.000 % |
252.99/253.28	c |    404415 |    1954     8344    25317 |   106008    95937     68 |  0.000 % |
253.79/254.03	c |    405577 |    1954     8344    25317 |   106008    97099     68 |  0.000 % |
254.69/254.94	c |    406852 |    1954     8344    25317 |   106008    98374     68 |  0.000 % |
255.79/256.01	c |    408252 |    1954     8344    25317 |   106008    99774     68 |  0.000 % |
256.79/257.07	c |    409794 |    1954     8344    25317 |   106008   101316     68 |  0.000 % |
258.09/258.35	c |    411490 |    1954     8344    25317 |   101523    90404     68 |  0.000 % |
259.29/259.60	c |    413353 |    1954     8344    25317 |   101523    92267     68 |  0.000 % |
260.69/260.99	c |    415402 |    1954     8344    25317 |   101523    94316     68 |  0.000 % |
262.28/262.59	c |    417655 |    1954     8344    25317 |   101523    96569     68 |  0.000 % |
264.08/264.33	c |    420135 |    1954     8344    25317 |    98914    99049     68 |  0.000 % |
265.89/266.14	c |    422860 |    1954     8344    25317 |    98914    91179     68 |  0.000 % |
267.78/268.06	c |    425857 |    1954     8344    25317 |    98914    94176     68 |  0.000 % |
270.08/270.30	c |    429154 |    1954     8344    25317 |    98914    97473     69 |  0.000 % |
272.58/272.82	c |    432781 |    1954     8344    25317 |    98319    90809     68 |  0.000 % |
275.38/275.69	c |    436768 |    1954     8344    25317 |    98319    94796     68 |  0.000 % |
275.48/275.75	c |    436868 |    1954     8344    25317 |    98319    94896     68 |  0.000 % |
275.58/275.84	c |    436978 |    1954     8344    25317 |    98319    95006     68 |  0.000 % |
275.68/275.95	c |    437099 |    1954     8344    25317 |    98319    95127     68 |  0.000 % |
275.78/276.06	c |    437234 |    1954     8344    25317 |    98319    95262     68 |  0.000 % |
275.88/276.18	c |    437381 |    1954     8344    25317 |    98319    95409     68 |  0.000 % |
276.08/276.31	c |    437543 |    1954     8344    25317 |    98319    95571     68 |  0.000 % |
276.18/276.48	c |    437720 |    1954     8344    25317 |    98319    95748     68 |  0.000 % |
276.38/276.63	c |    437914 |    1954     8344    25317 |    98319    95942     68 |  0.000 % |
276.57/276.81	c |    438126 |    1954     8344    25317 |    98319    96154     68 |  0.000 % |
276.67/276.96	c |    438359 |    1954     8344    25317 |    98319    96387     68 |  0.000 % |
276.88/277.17	c |    438616 |    1954     8344    25317 |    98319    96644     68 |  0.000 % |
277.17/277.42	c |    438898 |    1954     8344    25317 |    98319    96926     68 |  0.000 % |
277.37/277.67	c |    439208 |    1954     8344    25317 |    98319    97236     68 |  0.000 % |
277.67/277.94	c |    439547 |    1954     8344    25317 |    98319    97575     68 |  0.000 % |
277.98/278.24	c |    439919 |    1954     8344    25317 |    98319    97947     68 |  0.000 % |
278.37/278.61	c |    440328 |    1954     8344    25317 |    98028    86720     68 |  0.000 % |
278.67/278.90	c |    440779 |    1954     8344    25317 |    98028    87171     68 |  0.000 % |
278.97/279.21	c |    441272 |    1954     8344    25317 |    98028    87664     68 |  0.000 % |
279.27/279.57	c |    441815 |    1954     8344    25317 |    98028    88207     68 |  0.000 % |
279.67/279.97	c |    442411 |    1954     8344    25317 |    98028    88803     68 |  0.000 % |
280.18/280.43	c |    443068 |    1954     8344    25317 |    98028    89460     68 |  0.000 % |
280.67/280.91	c |    443788 |    1954     8344    25317 |    98028    90180     68 |  0.000 % |
281.17/281.46	c |    444580 |    1954     8344    25317 |    98028    90972     68 |  0.000 % |
281.77/282.05	c |    445453 |    1954     8344    25317 |    98028    91845     68 |  0.000 % |
282.47/282.73	c |    446414 |    1954     8344    25317 |    98028    92806     68 |  0.000 % |
283.17/283.46	c |    447468 |    1954     8344    25317 |    98028    93860     68 |  0.000 % |
283.97/284.26	c |    448626 |    1954     8344    25317 |    98028    95018     68 |  0.000 % |
284.97/285.23	c |    449901 |    1954     8344    25317 |    98028    96293     68 |  0.000 % |
285.97/286.24	c |    451301 |    1954     8344    25317 |    96392    87694     68 |  0.000 % |
286.97/287.24	c |    452842 |    1954     8344    25317 |    96392    89235     68 |  0.000 % |
288.07/288.36	c |    454536 |    1954     8344    25317 |    96392    90929     68 |  0.000 % |
289.37/289.61	c |    456400 |    1954     8344    25317 |    96392    92793     68 |  0.000 % |
290.67/290.95	c |    458449 |    1954     8344    25317 |    96392    94842     68 |  0.000 % |
292.07/292.39	c |    460702 |    1954     8344    25317 | 2147483647    97095     68 |  0.000 % |
293.86/294.12	c |    463180 |    1954     8344    25317 | 2147483647    99573     68 |  0.000 % |
295.76/296.01	c |    465905 |    1954     8344    25317 | 2147483647   102298     68 |  0.000 % |
297.87/298.16	c |    468904 |    1954     8344    25317 | 2147483647   105297     69 |  0.000 % |
300.26/300.55	c |    472200 |    1954     8344    25317 |   106396    95653     69 |  0.000 % |
302.86/303.11	c |    475825 |    1954     8344    25317 |   106396    99278     69 |  0.000 % |
305.56/305.86	c |    479813 |    1954     8344    25317 |   106396   103266     69 |  0.000 % |
308.56/308.86	c |    484199 |    1954     8344    25317 |   103453    95084     70 |  0.000 % |
308.66/308.94	c |    484299 |    1954     8344    25317 |   103453    95184     70 |  0.000 % |
308.76/309.03	c |    484410 |    1954     8344    25317 |   103453    95295     70 |  0.000 % |
308.87/309.13	c |    484533 |    1954     8344    25317 |   103453    95418     70 |  0.000 % |
308.97/309.25	c |    484666 |    1954     8344    25317 |   103453    95551     69 |  0.000 % |
309.07/309.36	c |    484812 |    1954     8344    25317 |   103453    95697     69 |  0.000 % |
309.17/309.49	c |    484973 |    1954     8344    25317 |   103453    95858     69 |  0.000 % |
309.37/309.64	c |    485149 |    1954     8344    25317 |   103453    96034     69 |  0.000 % |
309.47/309.78	c |    485343 |    1954     8344    25317 |   103453    96228     69 |  0.000 % |
309.67/309.93	c |    485557 |    1954     8344    25317 |   103453    96442     69 |  0.000 % |
309.87/310.15	c |    485790 |    1954     8344    25317 |   103453    96675     69 |  0.000 % |
310.07/310.34	c |    486047 |    1954     8344    25317 |   103453    96932     69 |  0.000 % |
310.27/310.58	c |    486328 |    1954     8344    25317 |   103453    97213     69 |  0.000 % |
310.56/310.81	c |    486639 |    1954     8344    25317 |   103453    97524     69 |  0.000 % |
310.76/311.09	c |    486978 |    1954     8344    25317 |   103453    97863     69 |  0.000 % |
311.07/311.38	c |    487350 |    1954     8344    25317 |   103453    98235     69 |  0.000 % |
311.36/311.69	c |    487760 |    1954     8344    25317 |   103453    98645     69 |  0.000 % |
311.76/312.04	c |    488209 |    1954     8344    25317 |   103453    99094     69 |  0.000 % |
312.17/312.42	c |    488702 |    1954     8344    25317 |   103453    99587     69 |  0.000 % |
312.56/312.86	c |    489244 |    1954     8344    25317 |   103453   100129     69 |  0.000 % |
313.06/313.32	c |    489840 |    1954     8344    25317 |   103453   100725     69 |  0.000 % |
313.56/313.87	c |    490495 |    1954     8344    25317 |   100886    88978     69 |  0.000 % |
314.06/314.34	c |    491215 |    1954     8344    25317 |   100886    89698     70 |  0.000 % |
314.56/314.83	c |    492007 |    1954     8344    25317 |   100886    90490     70 |  0.000 % |
315.16/315.46	c |    492880 |    1954     8344    25317 |   100886    91363     70 |  0.000 % |
315.86/316.13	c |    493842 |    1954     8344    25317 |   100886    92325     70 |  0.000 % |
316.57/316.86	c |    494895 |    1954     8344    25317 |   100886    93378     70 |  0.000 % |
317.36/317.64	c |    496053 |    1954     8344    25317 |   100886    94536     70 |  0.000 % |
318.36/318.62	c |    497327 |    1954     8344    25317 |   100886    95810     70 |  0.000 % |
319.36/319.60	c |    498727 |    1954     8344    25317 |   100886    97210     69 |  0.000 % |
320.36/320.69	c |    500268 |    1954     8344    25317 |    98483    98751     70 |  0.000 % |
321.56/321.86	c |    501963 |    1954     8344    25317 |    98483    88950     69 |  0.000 % |
322.86/323.14	c |    503826 |    1954     8344    25317 |    98483    90813     69 |  0.000 % |
324.26/324.51	c |    505876 |    1954     8344    25317 |    98483    92863     69 |  0.000 % |
325.65/325.98	c |    508129 |    1954     8344    25317 |    98483    95116     69 |  0.000 % |
327.25/327.55	c |    510608 |    1954     8344    25317 | 2147483647    97595     70 |  0.000 % |
329.15/329.47	c |    513333 |    1954     8344    25317 | 2147483647   100320     70 |  0.000 % |
331.15/331.49	c |    516330 |    1954     8344    25317 | 2147483647   103317     70 |  0.000 % |
333.65/333.91	c |    519627 |    1954     8344    25317 | 2147483647   106614     70 |  0.000 % |
336.15/336.46	c |    523253 |    1954     8344    25317 |   106987    97890     70 |  0.000 % |
339.05/339.35	c |    527240 |    1954     8344    25317 |   106987   101877     70 |  0.000 % |
342.64/342.92	c |    531625 |    1954     8344    25317 |   104641    92997     70 |  0.000 % |
346.04/346.40	c |    536449 |    1954     8344    25317 |   104641    97821     70 |  0.000 % |
346.14/346.48	c |    536549 |    1954     8344    25317 |   104641    97921     70 |  0.000 % |
346.25/346.58	c |    536660 |    1954     8344    25317 |   104641    98032     70 |  0.000 % |
346.34/346.67	c |    536781 |    1954     8344    25317 |   104641    98153     70 |  0.000 % |
346.44/346.80	c |    536914 |    1954     8344    25317 |   104641    98286     70 |  0.000 % |
346.64/346.90	c |    537063 |    1954     8344    25317 |   104641    98435     70 |  0.000 % |
346.74/347.05	c |    537223 |    1954     8344    25317 |   104641    98595     70 |  0.000 % |
346.84/347.19	c |    537399 |    1954     8344    25317 |   104641    98771     70 |  0.000 % |
347.04/347.36	c |    537592 |    1954     8344    25317 |   104641    98964     70 |  0.000 % |
347.25/347.56	c |    537805 |    1954     8344    25317 |   104641    99177     70 |  0.000 % |
347.44/347.74	c |    538038 |    1954     8344    25317 |   104641    99410     70 |  0.000 % |
347.64/347.96	c |    538294 |    1954     8344    25317 |   104641    99666     70 |  0.000 % |
347.84/348.16	c |    538575 |    1954     8344    25317 |   104641    99947     70 |  0.000 % |
348.14/348.41	c |    538885 |    1954     8344    25317 |   104641   100257     70 |  0.000 % |
348.34/348.68	c |    539224 |    1954     8344    25317 |   104641   100596     70 |  0.000 % |
348.64/348.95	c |    539596 |    1954     8344    25317 |   104641   100968     70 |  0.000 % |
348.94/349.29	c |    540005 |    1954     8344    25317 |   101373   101377     70 |  0.000 % |
349.34/349.66	c |    540454 |    1954     8344    25317 |   101373    87593     70 |  0.000 % |
349.64/349.98	c |    540948 |    1954     8344    25317 |   101373    88087     70 |  0.000 % |
350.04/350.34	c |    541491 |    1954     8344    25317 |   101373    88630     70 |  0.000 % |
350.44/350.76	c |    542090 |    1954     8344    25317 |   101373    89229     70 |  0.000 % |
350.94/351.20	c |    542746 |    1954     8344    25317 |   101373    89885     70 |  0.000 % |
351.44/351.73	c |    543466 |    1954     8344    25317 |   101373    90605     70 |  0.000 % |
351.94/352.29	c |    544258 |    1954     8344    25317 |   101373    91397     70 |  0.000 % |
352.54/352.88	c |    545129 |    1954     8344    25317 |   101373    92268     70 |  0.000 % |
353.24/353.58	c |    546088 |    1954     8344    25317 |   101373    93227     70 |  0.000 % |
354.04/354.33	c |    547141 |    1954     8344    25317 |   101373    94280     70 |  0.000 % |
354.84/355.18	c |    548299 |    1954     8344    25317 |   101373    95438     70 |  0.000 % |
355.73/356.04	c |    549572 |    1954     8344    25317 |   101373    96711     70 |  0.000 % |
356.83/357.19	c |    550973 |    1954     8344    25317 |    97139    86546     70 |  0.000 % |
357.93/358.25	c |    552513 |    1954     8344    25317 |    97139    88086     70 |  0.000 % |
359.03/359.37	c |    554207 |    1954     8344    25317 |    97139    89780     70 |  0.000 % |
360.23/360.58	c |    556071 |    1954     8344    25317 |    97139    91644     70 |  0.000 % |
361.73/362.04	c |    558124 |    1954     8344    25317 |    97139    93697     70 |  0.000 % |
363.23/363.59	c |    560379 |    1954     8344    25317 |    95573    86026     69 |  0.000 % |
364.83/365.14	c |    562857 |    1954     8344    25317 |    95573    88504     69 |  0.000 % |
366.52/366.84	c |    565582 |    1954     8344    25317 |    95573    91229     70 |  0.000 % |
368.42/368.76	c |    568579 |    1954     8344    25317 |    95573    94226     70 |  0.000 % |
370.62/370.92	c |    571879 |    1954     8344    25317 | 2147483647    97526     70 |  0.000 % |
373.22/373.55	c |    575505 |    1954     8344    25317 | 2147483647   101152     70 |  0.000 % |
375.92/376.22	c |    579493 |    1954     8344    25317 | 2147483647   105140     70 |  0.000 % |
379.02/379.36	c |    583879 |    1954     8344    25317 |   105647    96545     70 |  0.000 % |
382.62/382.90	c |    588702 |    1954     8344    25317 |   105647   101368     71 |  0.000 % |
386.21/386.57	c |    594011 |    1954     8344    25317 |   102666    95190     71 |  0.000 % |
386.31/386.68	c |    594113 |    1954     8344    25317 |   102666    95292     71 |  0.000 % |
386.41/386.77	c |    594223 |    1954     8344    25317 |   102666    95402     71 |  0.000 % |
386.51/386.87	c |    594344 |    1954     8344    25317 |   102666    95523     71 |  0.000 % |
386.61/386.98	c |    594477 |    1954     8344    25317 |   102666    95656     71 |  0.000 % |
386.71/387.10	c |    594623 |    1954     8344    25317 |   102666    95802     71 |  0.000 % |
386.92/387.23	c |    594787 |    1954     8344    25317 |   102666    95966     71 |  0.000 % |
387.01/387.37	c |    594963 |    1954     8344    25317 |   102666    96142     71 |  0.000 % |
387.21/387.52	c |    595158 |    1954     8344    25317 |   102666    96337     71 |  0.000 % |
387.31/387.69	c |    595370 |    1954     8344    25317 |   102666    96549     71 |  0.000 % |
387.51/387.88	c |    595605 |    1954     8344    25317 |   102666    96784     71 |  0.000 % |
387.71/388.06	c |    595861 |    1954     8344    25317 |   102666    97040     71 |  0.000 % |
387.92/388.27	c |    596143 |    1954     8344    25317 |   102666    97322     71 |  0.000 % |
388.11/388.48	c |    596452 |    1954     8344    25317 |   102666    97631     71 |  0.000 % |
388.41/388.77	c |    596792 |    1954     8344    25317 |   102666    97971     71 |  0.000 % |
388.71/389.06	c |    597164 |    1954     8344    25317 |   102666    98343     71 |  0.000 % |
389.01/389.37	c |    597574 |    1954     8344    25317 |   102666    98753     71 |  0.000 % |
389.41/389.74	c |    598026 |    1954     8344    25317 |   102666    99205     71 |  0.000 % |
389.81/390.14	c |    598519 |    1954     8344    25317 |   102666    99698     71 |  0.000 % |
390.21/390.56	c |    599062 |    1954     8344    25317 |   102666   100241     71 |  0.000 % |
390.71/391.05	c |    599658 |    1954     8344    25317 |   102666   100837     71 |  0.000 % |
391.21/391.52	c |    600314 |    1954     8344    25317 |   101180   101493     71 |  0.000 % |
391.81/392.12	c |    601034 |    1954     8344    25317 |   101180    89912     70 |  0.000 % |
392.41/392.71	c |    601826 |    1954     8344    25317 |   101180    90704     71 |  0.000 % |
393.01/393.34	c |    602697 |    1954     8344    25317 |   101180    91575     71 |  0.000 % |
393.71/394.02	c |    603655 |    1954     8344    25317 |   101180    92533     70 |  0.000 % |
394.41/394.76	c |    604709 |    1954     8344    25317 |   101180    93587     70 |  0.000 % |
395.31/395.60	c |    605867 |    1954     8344    25317 |   101180    94745     70 |  0.000 % |
396.11/396.48	c |    607140 |    1954     8344    25317 |   101180    96018     70 |  0.000 % |
397.10/397.46	c |    608540 |    1954     8344    25317 |   101180    97418     70 |  0.000 % |
398.30/398.64	c |    610080 |    1954     8344    25317 |    98882    98958     70 |  0.000 % |
399.40/399.78	c |    611774 |    1954     8344    25317 |    98882    89319     70 |  0.000 % |
400.60/400.96	c |    613637 |    1954     8344    25317 |    98882    91182     70 |  0.000 % |
402.00/402.34	c |    615687 |    1954     8344    25317 |    98882    93232     70 |  0.000 % |
403.50/403.84	c |    617940 |    1954     8344    25317 |    98882    95485     70 |  0.000 % |
405.20/405.52	c |    620418 |    1954     8344    25317 | 2147483647    97963     70 |  0.000 % |
407.20/407.50	c |    623143 |    1954     8344    25317 | 2147483647   100688     70 |  0.000 % |
409.29/409.62	c |    626141 |    1954     8344    25317 | 2147483647   103686     70 |  0.000 % |
411.69/412.06	c |    629437 |    1954     8344    25317 | 2147483647   106982     70 |  0.000 % |
414.29/414.66	c |    633062 |    1954     8344    25317 |   107545    96809     70 |  0.000 % |
417.39/417.73	c |    637049 |    1954     8344    25317 |   107545   100796     70 |  0.000 % |
420.69/421.07	c |    641434 |    1954     8344    25317 |   103750    90656     71 |  0.000 % |
423.99/424.34	c |    646258 |    1954     8344    25317 |   103750    95480     71 |  0.000 % |
427.68/428.05	c |    651563 |    1954     8344    25317 |    99222    89152     71 |  0.000 % |
431.58/431.97	c |    657398 |    1954     8344    25317 |    99222    94987     71 |  0.000 % |
431.68/432.05	c |    657500 |    1954     8344    25317 |    99222    95089     71 |  0.000 % |
431.78/432.14	c |    657613 |    1954     8344    25317 |    99222    95202     71 |  0.000 % |
431.89/432.25	c |    657734 |    1954     8344    25317 |    99222    95323     71 |  0.000 % |
431.99/432.36	c |    657867 |    1954     8344    25317 |    99222    95456     71 |  0.000 % |
432.08/432.48	c |    658014 |    1954     8344    25317 |    99222    95603     71 |  0.000 % |
432.28/432.65	c |    658175 |    1954     8344    25317 |    99222    95764     71 |  0.000 % |
432.48/432.80	c |    658352 |    1954     8344    25317 |    99222    95941     71 |  0.000 % |
432.58/432.95	c |    658546 |    1954     8344    25317 |    99222    96135     71 |  0.000 % |
432.78/433.14	c |    658760 |    1954     8344    25317 |    99222    96349     71 |  0.000 % |
432.99/433.32	c |    658993 |    1954     8344    25317 |    99222    96582     71 |  0.000 % |
433.18/433.52	c |    659250 |    1954     8344    25317 |    99222    96839     71 |  0.000 % |
433.38/433.74	c |    659531 |    1954     8344    25317 |    99222    97120     71 |  0.000 % |
433.68/434.00	c |    659840 |    1954     8344    25317 |    99222    97429     71 |  0.000 % |
433.88/434.29	c |    660181 |    1954     8344    25317 |    97592    97770     71 |  0.000 % |
434.28/434.60	c |    660553 |    1954     8344    25317 |    97592    85558     71 |  0.000 % |
434.58/434.91	c |    660962 |    1954     8344    25317 |    97592    85967     71 |  0.000 % |
434.88/435.24	c |    661414 |    1954     8344    25317 |    97592    86419     71 |  0.000 % |
435.18/435.57	c |    661907 |    1954     8344    25317 |    97592    86912     71 |  0.000 % |
435.58/435.91	c |    662449 |    1954     8344    25317 |    97592    87454     71 |  0.000 % |
435.98/436.37	c |    663045 |    1954     8344    25317 |    97592    88050     71 |  0.000 % |
436.48/436.85	c |    663700 |    1954     8344    25317 |    97592    88705     71 |  0.000 % |
436.98/437.31	c |    664420 |    1954     8344    25317 |    97592    89425     71 |  0.000 % |
437.48/437.87	c |    665212 |    1954     8344    25317 |    97592    90217     71 |  0.000 % |
438.08/438.44	c |    666083 |    1954     8344    25317 |    97592    91088     71 |  0.000 % |
438.78/439.10	c |    667042 |    1954     8344    25317 |    97592    92047     71 |  0.000 % |
439.48/439.82	c |    668096 |    1954     8344    25317 |    97592    93101     71 |  0.000 % |
440.18/440.59	c |    669255 |    1954     8344    25317 |    97592    94260     70 |  0.000 % |
441.07/441.48	c |    670528 |    1954     8344    25317 |    95005    85253     70 |  0.000 % |
442.07/442.45	c |    671929 |    1954     8344    25317 |    95005    86654     70 |  0.000 % |
443.18/443.52	c |    673469 |    1954     8344    25317 |    95005    88194     70 |  0.000 % |
444.27/444.61	c |    675164 |    1954     8344    25317 |    95005    89889     70 |  0.000 % |
445.47/445.85	c |    677028 |    1954     8344    25317 |    95005    91753     70 |  0.000 % |
446.87/447.25	c |    679077 |    1954     8344    25317 |    95005    93802     70 |  0.000 % |
448.37/448.79	c |    681331 |    1954     8344    25317 | 2147483647    96056     70 |  0.000 % |
450.07/450.45	c |    683810 |    1954     8344    25317 | 2147483647    98535     70 |  0.000 % |
451.97/452.34	c |    686535 |    1954     8344    25317 | 2147483647   101260     70 |  0.000 % |
454.16/454.50	c |    689532 |    1954     8344    25317 | 2147483647   104257     70 |  0.000 % |
456.46/456.84	c |    692828 |    1954     8344    25317 |   104726    94321     70 |  0.000 % |
458.97/459.36	c |    696454 |    1954     8344    25317 |   104726    97947     70 |  0.000 % |
462.07/462.44	c |    700443 |    1954     8344    25317 |   101496    89343     70 |  0.000 % |
464.97/465.33	c |    704829 |    1954     8344    25317 |   101496    93729     71 |  0.000 % |
468.47/468.84	c |    709652 |    1954     8344    25317 |   101496    98552     71 |  0.000 % |
472.07/472.50	c |    714958 |    1954     8344    25317 |    98900    92219     72 |  0.000 % |
476.36/476.79	c |    720793 |    1954     8344    25317 |    97262    86860     71 |  0.000 % |
480.96/481.33	c |    727211 |    1954     8344    25317 |    97262    93278     72 |  0.000 % |
481.06/481.40	c |    727311 |    1954     8344    25317 |    97262    93378     72 |  0.000 % |
481.06/481.49	c |    727424 |    1954     8344    25317 |    97262    93491     72 |  0.000 % |
481.16/481.59	c |    727546 |    1954     8344    25317 |    97262    93613     72 |  0.000 % |
481.36/481.71	c |    727679 |    1954     8344    25317 |    97262    93746     72 |  0.000 % |
481.46/481.82	c |    727828 |    1954     8344    25317 |    97262    93895     71 |  0.000 % |
481.56/481.94	c |    727989 |    1954     8344    25317 |    97262    94056     71 |  0.000 % |
481.66/482.08	c |    728165 |    1954     8344    25317 |    97262    94232     71 |  0.000 % |
481.86/482.22	c |    728359 |    1954     8344    25317 |    97262    94426     71 |  0.000 % |
481.96/482.36	c |    728571 |    1954     8344    25317 |    97262    94638     71 |  0.000 % |
482.16/482.57	c |    728804 |    1954     8344    25317 |    97262    94871     71 |  0.000 % |
482.36/482.75	c |    729060 |    1954     8344    25317 |    97262    95127     71 |  0.000 % |
482.66/483.00	c |    729343 |    1954     8344    25317 |    97262    95410     71 |  0.000 % |
482.86/483.26	c |    729653 |    1954     8344    25317 |    97262    95720     71 |  0.000 % |
483.16/483.50	c |    729995 |    1954     8344    25317 |    97262    96062     71 |  0.000 % |
483.36/483.78	c |    730367 |    1954     8344    25317 |    96068    96434     71 |  0.000 % |
483.76/484.10	c |    730776 |    1954     8344    25317 |    96068    85742     71 |  0.000 % |
483.96/484.39	c |    731225 |    1954     8344    25317 |    96068    86191     71 |  0.000 % |
484.26/484.69	c |    731718 |    1954     8344    25317 |    96068    86684     71 |  0.000 % |
484.66/485.04	c |    732260 |    1954     8344    25317 |    96068    87226     71 |  0.000 % |
485.06/485.41	c |    732856 |    1954     8344    25317 |    96068    87822     71 |  0.000 % |
485.46/485.84	c |    733511 |    1954     8344    25317 |    96068    88477     71 |  0.000 % |
485.96/486.35	c |    734231 |    1954     8344    25317 |    96068    89197     71 |  0.000 % |
486.55/486.93	c |    735023 |    1954     8344    25317 |    96068    89989     71 |  0.000 % |
487.15/487.58	c |    735896 |    1954     8344    25317 |    96068    90862     71 |  0.000 % |
487.85/488.24	c |    736855 |    1954     8344    25317 |    96068    91821     71 |  0.000 % |
488.55/488.99	c |    737908 |    1954     8344    25317 |    96068    92874     71 |  0.000 % |
489.35/489.79	c |    739066 |    1954     8344    25317 |    96068    94032     71 |  0.000 % |
490.35/490.77	c |    740339 |    1954     8344    25317 |    94967    85220     70 |  0.000 % |
491.35/491.78	c |    741739 |    1954     8344    25317 |    94967    86620     70 |  0.000 % |
492.45/492.83	c |    743279 |    1954     8344    25317 |    94967    88160     70 |  0.000 % |
493.64/494.01	c |    744973 |    1954     8344    25317 |    94967    89854     70 |  0.000 % |
494.74/495.19	c |    746836 |    1954     8344    25317 |    94967    91717     70 |  0.000 % |
496.04/496.48	c |    748885 |    1954     8344    25317 |    94967    93766     70 |  0.000 % |
497.64/498.04	c |    751139 |    1954     8344    25317 | 2147483647    96020     70 |  0.000 % |
499.44/499.87	c |    753617 |    1954     8344    25317 | 2147483647    98498     70 |  0.000 % |
501.34/501.73	c |    756344 |    1954     8344    25317 | 2147483647   101225     71 |  0.000 % |
503.64/504.09	c |    759341 |    1954     8344    25317 | 2147483647   104222     71 |  0.000 % |
505.84/506.26	c |    762638 |    1954     8344    25317 |   104882    95041     72 |  0.000 % |
508.44/508.81	c |    766263 |    1954     8344    25317 |   104882    98666     72 |  0.000 % |
511.34/511.79	c |    770251 |    1954     8344    25317 |   102406   102654     71 |  0.000 % |
514.44/514.82	c |    774636 |    1954     8344    25317 |   102406    94309     71 |  0.000 % |
517.74/518.19	c |    779459 |    1954     8344    25317 |   102406    99132     72 |  0.000 % |
521.73/522.13	c |    784764 |    1954     8344    25317 |    99673    92809     72 |  0.000 % |
525.93/526.34	c |    790600 |    1954     8344    25317 |    98045    87713     72 |  0.000 % |
530.03/530.49	c |    797019 |    1954     8344    25317 |    98045    94132     72 |  0.000 % |
534.63/535.07	c |    804079 |    1954     8344    25317 |    97116    91023     71 |  0.000 % |
534.73/535.17	c |    804179 |    1954     8344    25317 |    97116    91123     71 |  0.000 % |
534.83/535.26	c |    804289 |    1954     8344    25317 |    97116    91233     71 |  0.000 % |
534.93/535.35	c |    804410 |    1954     8344    25317 |    97116    91354     71 |  0.000 % |
535.03/535.46	c |    804545 |    1954     8344    25317 |    97116    91489     71 |  0.000 % |
535.13/535.59	c |    804694 |    1954     8344    25317 |    97116    91638     71 |  0.000 % |
535.33/535.73	c |    804854 |    1954     8344    25317 |    97116    91798     71 |  0.000 % |
535.42/535.87	c |    805030 |    1954     8344    25317 |    97116    91974     71 |  0.000 % |
535.62/536.03	c |    805224 |    1954     8344    25317 |    97116    92168     71 |  0.000 % |
535.82/536.20	c |    805436 |    1954     8344    25317 |    97116    92380     71 |  0.000 % |
535.92/536.39	c |    805670 |    1954     8344    25317 |    97116    92614     71 |  0.000 % |
536.12/536.58	c |    805926 |    1954     8344    25317 |    97116    92870     71 |  0.000 % |
536.33/536.79	c |    806211 |    1954     8344    25317 |    97116    93155     71 |  0.000 % |
536.62/537.03	c |    806520 |    1954     8344    25317 |    97116    93464     71 |  0.000 % |
536.82/537.29	c |    806859 |    1954     8344    25317 |    97116    93803     71 |  0.000 % |
537.12/537.58	c |    807232 |    1954     8344    25317 |    97116    94176     71 |  0.000 % |
537.43/537.87	c |    807641 |    1954     8344    25317 |    97116    94585     71 |  0.000 % |
537.72/538.19	c |    808090 |    1954     8344    25317 |    97116    95034     71 |  0.000 % |
538.12/538.55	c |    808583 |    1954     8344    25317 |    97116    95527     71 |  0.000 % |
538.53/538.95	c |    809128 |    1954     8344    25317 |    97116    96072     71 |  0.000 % |
539.02/539.42	c |    809726 |    1954     8344    25317 |    97116    96670     71 |  0.000 % |
539.52/539.96	c |    810381 |    1954     8344    25317 |    96945    85484     70 |  0.000 % |
540.02/540.49	c |    811101 |    1954     8344    25317 |    96945    86204     70 |  0.000 % |
540.62/541.02	c |    811894 |    1954     8344    25317 |    96945    86997     70 |  0.000 % |
541.22/541.62	c |    812765 |    1954     8344    25317 |    96945    87868     70 |  0.000 % |
541.82/542.28	c |    813724 |    1954     8344    25317 |    96945    88827     70 |  0.000 % |
542.52/542.97	c |    814777 |    1954     8344    25317 |    96945    89880     70 |  0.000 % |
543.32/543.76	c |    815937 |    1954     8344    25317 |    96945    91040     70 |  0.000 % |
544.22/544.62	c |    817211 |    1954     8344    25317 |    96945    92314     70 |  0.000 % |
545.12/545.52	c |    818613 |    1954     8344    25317 |    96945    93716     70 |  0.000 % |
546.12/546.55	c |    820153 |    1954     8344    25317 | 2147483647    95256     70 |  0.000 % |
547.32/547.74	c |    821847 |    1954     8344    25317 | 2147483647    96950     70 |  0.000 % |
548.72/549.10	c |    823711 |    1954     8344    25317 | 2147483647    98814     70 |  0.000 % |
550.22/550.66	c |    825762 |    1954     8344    25317 | 2147483647   100865     70 |  0.000 % |
551.82/552.28	c |    828015 |    1954     8344    25317 | 2147483647   103118     70 |  0.000 % |
553.92/554.32	c |    830493 |    1954     8344    25317 |   105103    92255     70 |  0.000 % |
555.71/556.20	c |    833219 |    1954     8344    25317 |   105103    94981     70 |  0.000 % |
557.91/558.31	c |    836217 |    1954     8344    25317 |   105103    97979     70 |  0.000 % |
560.21/560.62	c |    839513 |    1954     8344    25317 |   105103   101275     70 |  0.000 % |
562.61/563.07	c |    843140 |    1954     8344    25317 |   101764    92174     70 |  0.000 % |
565.21/565.65	c |    847127 |    1954     8344    25317 |   101764    96161     71 |  0.000 % |
568.41/568.86	c |    851513 |    1954     8344    25317 |    99036    89708     70 |  0.000 % |
571.81/572.24	c |    856337 |    1954     8344    25317 |    99036    94532     70 |  0.000 % |
575.71/576.14	c |    861643 |    1954     8344    25317 |    98197    86382     70 |  0.000 % |
579.70/580.11	c |    867478 |    1954     8344    25317 |    98197    92217     70 |  0.000 % |
584.30/584.72	c |    873897 |    1954     8344    25317 |    94739    87046     70 |  0.000 % |
589.00/589.46	c |    880957 |    1954     8344    25317 |    93151    84640     70 |  0.000 % |
594.00/594.48	c |    888723 |    1954     8344    25317 |    93151    92406     71 |  0.000 % |
594.10/594.56	c |    888823 |    1954     8344    25317 |    93151    92506     71 |  0.000 % |
594.20/594.64	c |    888933 |    1954     8344    25317 |    93151    92616     71 |  0.000 % |
594.30/594.74	c |    889055 |    1954     8344    25317 |    93151    92738     71 |  0.000 % |
594.39/594.85	c |    889188 |    1954     8344    25317 |    93151    92871     71 |  0.000 % |
594.49/594.96	c |    889336 |    1954     8344    25317 |    93151    93019     71 |  0.000 % |
594.60/595.08	c |    889497 |    1954     8344    25317 |    93151    93180     71 |  0.000 % |
594.79/595.27	c |    889674 |    1954     8344    25317 |    93151    84039     71 |  0.000 % |
594.99/595.41	c |    889868 |    1954     8344    25317 |    93151    84233     71 |  0.000 % |
595.09/595.57	c |    890081 |    1954     8344    25317 | 2147483647    84446     71 |  0.000 % |
595.29/595.75	c |    890314 |    1954     8344    25317 | 2147483647    84679     70 |  0.000 % |
595.49/595.94	c |    890572 |    1954     8344    25317 | 2147483647    84937     70 |  0.000 % |
595.70/596.16	c |    890853 |    1954     8344    25317 | 2147483647    85218     70 |  0.000 % |
595.89/596.35	c |    891163 |    1954     8344    25317 | 2147483647    85528     70 |  0.000 % |
596.09/596.55	c |    891503 |    1954     8344    25317 | 2147483647    85868     70 |  0.000 % |
596.39/596.85	c |    891876 |    1954     8344    25317 | 2147483647    86241     70 |  0.000 % |
596.69/597.15	c |    892285 |    1954     8344    25317 | 2147483647    86650     70 |  0.000 % |
596.99/597.45	c |    892734 |    1954     8344    25317 | 2147483647    87099     70 |  0.000 % |
597.29/597.77	c |    893227 |    1954     8344    25317 | 2147483647    87592     70 |  0.000 % |
597.69/598.14	c |    893769 |    1954     8344    25317 | 2147483647    88134     70 |  0.000 % |
598.09/598.50	c |    894365 |    1954     8344    25317 | 2147483647    88730     70 |  0.000 % |
598.49/598.94	c |    895020 |    1954     8344    25317 | 2147483647    89385     70 |  0.000 % |
598.99/599.46	c |    895741 |    1954     8344    25317 | 2147483647    90106     70 |  0.000 % |
599.49/599.97	c |    896535 |    1954     8344    25317 | 2147483647    90900     70 |  0.000 % |
600.09/600.57	c |    897406 |    1954     8344    25317 | 2147483647    91771     70 |  0.000 % |
600.79/601.21	c |    898365 |    1954     8344    25317 | 2147483647    92730     70 |  0.000 % |
601.59/602.02	c |    899419 |    1954     8344    25317 | 2147483647    93784     70 |  0.000 % |
602.39/602.88	c |    900577 |    1954     8344    25317 | 2147483647    94942     70 |  0.000 % |
603.29/603.76	c |    901850 |    1954     8344    25317 | 2147483647    96215     70 |  0.000 % |
604.29/604.74	c |    903251 |    1954     8344    25317 | 2147483647    97616     70 |  0.000 % |
605.29/605.75	c |    904792 |    1954     8344    25317 | 2147483647    99157     70 |  0.000 % |
606.49/606.96	c |    906486 |    1954     8344    25317 | 2147483647   100851     70 |  0.000 % |
607.89/608.40	c |    908351 |    1954     8344    25317 | 2147483647   102716     70 |  0.000 % |
609.59/610.04	c |    910400 |    1954     8344    25317 |   104365    91500     71 |  0.000 % |
611.09/611.60	c |    912653 |    1954     8344    25317 |   104365    93753     71 |  0.000 % |
612.88/613.33	c |    915132 |    1954     8344    25317 |   104365    96232     71 |  0.000 % |
614.88/615.34	c |    917857 |    1954     8344    25317 |   104365    98957     71 |  0.000 % |
617.38/617.87	c |    920856 |    1954     8344    25317 |   101100    88189     71 |  0.000 % |
619.68/620.19	c |    924154 |    1954     8344    25317 |   101100    91487     71 |  0.000 % |
622.18/622.63	c |    927780 |    1954     8344    25317 |   101100    95113     71 |  0.000 % |
624.88/625.31	c |    931767 |    1954     8344    25317 |    97336    88729     71 |  0.000 % |
627.68/628.17	c |    936154 |    1954     8344    25317 |    97336    93116     72 |  0.000 % |
630.98/631.49	c |    940978 |    1954     8344    25317 | 2147483647    97940     72 |  0.000 % |
634.97/635.43	c |    946283 |    1954     8344    25317 | 2147483647   103245     72 |  0.000 % |
639.57/640.09	c |    952119 |    1954     8344    25317 |   106963    93851     72 |  0.000 % |
644.37/644.89	c |    958537 |    1954     8344    25317 |   106963   100269     72 |  0.000 % |
648.97/649.40	c |    965596 |    1954     8344    25317 |   101733    91837     72 |  0.000 % |
654.27/654.74	c |    973362 |    1954     8344    25317 |    96243    86961     71 |  0.000 % |
660.36/660.87	c |    981903 |    1954     8344    25317 |    93600    84105     72 |  0.000 % |
660.46/660.93	c |    982004 |    1954     8344    25317 |    93600    84206     72 |  0.000 % |
660.57/661.04	c |    982114 |    1954     8344    25317 |    93600    84316     72 |  0.000 % |
660.67/661.12	c |    982236 |    1954     8344    25317 |    93600    84438     72 |  0.000 % |
660.76/661.20	c |    982369 |    1954     8344    25317 |    93600    84571     72 |  0.000 % |
660.76/661.30	c |    982517 |    1954     8344    25317 |    93600    84719     72 |  0.000 % |
660.96/661.42	c |    982677 |    1954     8344    25317 |    93600    84879     72 |  0.000 % |
661.06/661.55	c |    982853 |    1954     8344    25317 |    93600    85055     72 |  0.000 % |
661.16/661.67	c |    983046 |    1954     8344    25317 |    93600    85248     72 |  0.000 % |
661.36/661.84	c |    983258 |    1954     8344    25317 |    93600    85460     72 |  0.000 % |
661.47/661.99	c |    983493 |    1954     8344    25317 |    93600    85695     72 |  0.000 % |
661.67/662.18	c |    983751 |    1954     8344    25317 |    93600    85953     72 |  0.000 % |
661.87/662.39	c |    984032 |    1954     8344    25317 |    93600    86234     72 |  0.000 % |
662.16/662.60	c |    984341 |    1954     8344    25317 |    93600    86543     72 |  0.000 % |
662.36/662.84	c |    984680 |    1954     8344    25317 |    93600    86882     72 |  0.000 % |
662.56/663.08	c |    985055 |    1954     8344    25317 |    93600    87257     72 |  0.000 % |
662.96/663.41	c |    985465 |    1954     8344    25317 |    93600    87667     72 |  0.000 % |
663.26/663.76	c |    985914 |    1954     8344    25317 |    93600    88116     72 |  0.000 % |
663.66/664.13	c |    986407 |    1954     8344    25317 |    93600    88609     72 |  0.000 % |
663.97/664.48	c |    986950 |    1954     8344    25317 |    93600    89152     72 |  0.000 % |
664.46/664.90	c |    987546 |    1954     8344    25317 |    93600    89748     72 |  0.000 % |
664.86/665.38	c |    988201 |    1954     8344    25317 |    93600    90403     72 |  0.000 % |
665.46/665.93	c |    988922 |    1954     8344    25317 |    93600    91124     72 |  0.000 % |
665.96/666.44	c |    989714 |    1954     8344    25317 |    93600    91916     72 |  0.000 % |
666.56/667.09	c |    990585 |    1954     8344    25317 |    92205    82324     72 |  0.000 % |
667.27/667.74	c |    991545 |    1954     8344    25317 |    92205    83284     72 |  0.000 % |
667.86/668.37	c |    992598 |    1954     8344    25317 |    92205    84337     72 |  0.000 % |
668.56/669.09	c |    993758 |    1954     8344    25317 |    92205    85497     72 |  0.000 % |
669.46/669.92	c |    995031 |    1954     8344    25317 |    92205    86770     72 |  0.000 % |
670.36/670.86	c |    996432 |    1954     8344    25317 |    92205    88171     72 |  0.000 % |
671.36/671.82	c |    997973 |    1954     8344    25317 |    92205    89712     72 |  0.000 % |
672.46/672.91	c |    999667 |    1954     8344    25317 |    92205    91406     72 |  0.000 % |
673.76/674.24	c |   1001531 |    1954     8344    25317 | 2147483647    93270     72 |  0.000 % |
675.15/675.63	c |   1003581 |    1954     8344    25317 | 2147483647    95320     72 |  0.000 % |
676.86/677.32	c |   1005835 |    1954     8344    25317 | 2147483647    97574     71 |  0.000 % |
678.65/679.16	c |   1008315 |    1954     8344    25317 | 2147483647   100054     72 |  0.000 % |
680.65/681.16	c |   1011041 |    1954     8344    25317 |   101739    89587     71 |  0.000 % |
682.56/683.07	c |   1014039 |    1954     8344    25317 |   101739    92585     71 |  0.000 % |
684.75/685.25	c |   1017335 |    1954     8344    25317 |   101739    95881     71 |  0.000 % |
687.25/687.79	c |   1020960 |    1954     8344    25317 |    98546    88419     71 |  0.000 % |
689.95/690.44	c |   1024948 |    1954     8344    25317 |    98546    92407     71 |  0.000 % |
693.04/693.52	c |   1029334 |    1954     8344    25317 |    98546    96793     71 |  0.000 % |
696.34/696.82	c |   1034157 |    1954     8344    25317 |    97460    90722     71 |  0.000 % |
700.04/700.50	c |   1039462 |    1954     8344    25317 |    97460    96027     71 |  0.000 % |
703.94/704.49	c |   1045297 |    1954     8344    25317 |    96566    90490     71 |  0.000 % |
708.44/708.94	c |   1051716 |    1954     8344    25317 |    95193    86585     70 |  0.000 % |
713.34/713.80	c |   1058777 |    1954     8344    25317 |    95193    93646     71 |  0.000 % |
719.03/719.50	c |   1066541 |    1954     8344    25317 |    94871    90768     71 |  0.000 % |
724.34/724.83	c |   1075083 |    1954     8344    25317 |    94228    88008     71 |  0.000 % |
730.63/731.18	c |   1084477 |    1954     8344    25317 |    92925    86359     72 |  0.000 % |
730.73/731.26	c |   1084578 |    1954     8344    25317 |    92925    86460     72 |  0.000 % |
730.83/731.36	c |   1084688 |    1954     8344    25317 |    92925    86570     72 |  0.000 % |
730.93/731.45	c |   1084809 |    1954     8344    25317 |    92925    86691     72 |  0.000 % |
731.03/731.56	c |   1084943 |    1954     8344    25317 |    92925    86825     72 |  0.000 % |
731.13/731.67	c |   1085089 |    1954     8344    25317 |    92925    86971     72 |  0.000 % |
731.23/731.79	c |   1085250 |    1954     8344    25317 |    92925    87132     72 |  0.000 % |
731.43/731.93	c |   1085427 |    1954     8344    25317 |    92925    87309     72 |  0.000 % |
731.53/732.08	c |   1085620 |    1954     8344    25317 |    92925    87502     72 |  0.000 % |
731.73/732.23	c |   1085832 |    1954     8344    25317 |    92925    87714     72 |  0.000 % |
731.93/732.41	c |   1086065 |    1954     8344    25317 |    92925    87947     72 |  0.000 % |
732.13/732.61	c |   1086322 |    1954     8344    25317 |    92925    88204     72 |  0.000 % |
732.33/732.80	c |   1086605 |    1954     8344    25317 |    92925    88487     72 |  0.000 % |
732.53/733.01	c |   1086914 |    1954     8344    25317 |    92925    88796     71 |  0.000 % |
732.73/733.23	c |   1087254 |    1954     8344    25317 |    92925    89136     71 |  0.000 % |
732.93/733.49	c |   1087626 |    1954     8344    25317 |    92925    89508     71 |  0.000 % |
733.23/733.77	c |   1088036 |    1954     8344    25317 |    92925    89918     71 |  0.000 % |
733.63/734.12	c |   1088485 |    1954     8344    25317 |    92925    90367     71 |  0.000 % |
733.93/734.47	c |   1088978 |    1954     8344    25317 |    92925    90860     71 |  0.000 % |
734.33/734.85	c |   1089520 |    1954     8344    25317 |    92925    91402     71 |  0.000 % |
734.73/735.28	c |   1090116 |    1954     8344    25317 |    91883    91998     71 |  0.000 % |
735.23/735.79	c |   1090771 |    1954     8344    25317 |    91883    81534     72 |  0.000 % |
735.72/736.21	c |   1091491 |    1954     8344    25317 |    91883    82254     72 |  0.000 % |
736.22/736.76	c |   1092283 |    1954     8344    25317 |    91883    83046     71 |  0.000 % |
736.72/737.26	c |   1093154 |    1954     8344    25317 |    91883    83917     71 |  0.000 % |
737.32/737.82	c |   1094112 |    1954     8344    25317 |    91883    84875     71 |  0.000 % |
737.92/738.42	c |   1095166 |    1954     8344    25317 |    91883    85929     71 |  0.000 % |
738.62/739.13	c |   1096324 |    1954     8344    25317 |    91883    87087     71 |  0.000 % |
739.42/739.90	c |   1097597 |    1954     8344    25317 |    91883    88360     71 |  0.000 % |
740.32/740.87	c |   1098997 |    1954     8344    25317 |    91883    89760     71 |  0.000 % |
741.32/741.88	c |   1100537 |    1954     8344    25317 | 2147483647    91300     71 |  0.000 % |
742.52/743.03	c |   1102231 |    1954     8344    25317 | 2147483647    92994     71 |  0.000 % |
743.72/744.25	c |   1104094 |    1954     8344    25317 | 2147483647    94857     71 |  0.000 % |
745.02/745.58	c |   1106145 |    1954     8344    25317 | 2147483647    96908     71 |  0.000 % |
746.62/747.10	c |   1108398 |    1954     8344    25317 | 2147483647    99161     71 |  0.000 % |
748.32/748.83	c |   1110877 |    1954     8344    25317 |   100763    91238     71 |  0.000 % |
750.12/750.67	c |   1113603 |    1954     8344    25317 |   100763    93964     71 |  0.000 % |
752.11/752.66	c |   1116600 |    1954     8344    25317 |   100763    96961     71 |  0.000 % |
754.31/754.87	c |   1119896 |    1954     8344    25317 |   100763   100257     71 |  0.000 % |
756.81/757.37	c |   1123521 |    1954     8344    25317 | 2147483647   103882     72 |  0.000 % |
759.81/760.36	c |   1127508 |    1954     8344    25317 | 2147483647   107869     72 |  0.000 % |
763.30/763.82	c |   1131894 |    1954     8344    25317 |   110361    97105     71 |  0.000 % |
766.70/767.27	c |   1136718 |    1954     8344    25317 |   110361   101929     72 |  0.000 % |
770.51/771.09	c |   1142023 |    1954     8344    25317 |   105212    92275     72 |  0.000 % |
774.70/775.28	c |   1147858 |    1954     8344    25317 |   105212    98110     72 |  0.000 % |
779.30/779.86	c |   1154278 |    1954     8344    25317 |   100254    90280     71 |  0.000 % |
784.30/784.84	c |   1161337 |    1954     8344    25317 |    96002    85125     71 |  0.000 % |
789.59/790.19	c |   1169102 |    1954     8344    25317 |    96002    92890     72 |  0.000 % |
795.49/796.08	c |   1177643 |    1954     8344    25317 |    93788    90544     72 |  0.000 % |
801.89/802.49	c |   1187038 |    1954     8344    25317 |    92901    90072     74 |  0.000 % |
808.69/809.24	c |   1197373 |    1954     8344    25317 |    93034    89897     74 |  0.000 % |
808.79/809.32	c |   1197474 |    1954     8344    25317 |    93034    89998     74 |  0.000 % |
808.89/809.41	c |   1197584 |    1954     8344    25317 |    93034    90108     74 |  0.000 % |
808.99/809.52	c |   1197706 |    1954     8344    25317 |    93034    90230     74 |  0.000 % |
809.09/809.64	c |   1197839 |    1954     8344    25317 |    93034    90363     74 |  0.000 % |
809.19/809.76	c |   1197985 |    1954     8344    25317 |    93034    90509     74 |  0.000 % |
809.29/809.90	c |   1198148 |    1954     8344    25317 |    93034    90672     74 |  0.000 % |
809.48/810.04	c |   1198324 |    1954     8344    25317 |    93034    90848     74 |  0.000 % |
809.58/810.18	c |   1198518 |    1954     8344    25317 |    93034    91042     74 |  0.000 % |
809.78/810.37	c |   1198730 |    1954     8344    25317 |    93034    91254     74 |  0.000 % |
809.98/810.55	c |   1198963 |    1954     8344    25317 |    93034    91487     74 |  0.000 % |
810.19/810.75	c |   1199221 |    1954     8344    25317 |    93034    91745     74 |  0.000 % |
810.38/810.96	c |   1199504 |    1954     8344    25317 |    93034    92028     74 |  0.000 % |
810.68/811.23	c |   1199816 |    1954     8344    25317 |    93034    92340     74 |  0.000 % |
810.98/811.50	c |   1200156 |    1954     8344    25317 |    92524    92680     74 |  0.000 % |
811.29/811.83	c |   1200528 |    1954     8344    25317 |    92524    80957     74 |  0.000 % |
811.58/812.11	c |   1200938 |    1954     8344    25317 |    92524    81367     74 |  0.000 % |
811.88/812.43	c |   1201387 |    1954     8344    25317 |    92524    81816     74 |  0.000 % |
812.18/812.74	c |   1201880 |    1954     8344    25317 |    92524    82309     74 |  0.000 % |
812.58/813.10	c |   1202423 |    1954     8344    25317 |    92524    82852     74 |  0.000 % |
812.98/813.53	c |   1203019 |    1954     8344    25317 |    92524    83448     74 |  0.000 % |
813.39/813.98	c |   1203674 |    1954     8344    25317 |    92524    84103     74 |  0.000 % |
813.88/814.48	c |   1204395 |    1954     8344    25317 |    92524    84824     74 |  0.000 % |
814.49/815.02	c |   1205188 |    1954     8344    25317 |    92524    85617     74 |  0.000 % |
815.08/815.65	c |   1206060 |    1954     8344    25317 |    92524    86489     74 |  0.000 % |
815.78/816.37	c |   1207018 |    1954     8344    25317 |    92524    87447     73 |  0.000 % |
816.58/817.11	c |   1208072 |    1954     8344    25317 |    92524    88501     73 |  0.000 % |
817.38/817.90	c |   1209230 |    1954     8344    25317 |    92524    89659     73 |  0.000 % |
818.28/818.86	c |   1210504 |    1954     8344    25317 |    90429    81255     73 |  0.000 % |
819.28/819.84	c |   1211906 |    1954     8344    25317 |    90429    82657     73 |  0.000 % |
820.38/820.95	c |   1213446 |    1954     8344    25317 |    90429    84197     73 |  0.000 % |
821.58/822.10	c |   1215141 |    1954     8344    25317 |    90429    85892     73 |  0.000 % |
822.68/823.28	c |   1217004 |    1954     8344    25317 |    90429    87755     73 |  0.000 % |
824.08/824.65	c |   1219053 |    1954     8344    25317 |    90429    89804     72 |  0.000 % |
825.58/826.16	c |   1221306 |    1954     8344    25317 |    81383    74518     72 |  0.000 % |
826.98/827.51	c |   1223784 |    1954     8344    25317 |    81383    76996     72 |  0.000 % |
828.48/829.04	c |   1226510 |    1954     8344    25317 |    81383    79722     72 |  0.000 % |
830.27/830.86	c |   1229508 |    1954     8344    25317 |    81383    74550     72 |  0.000 % |
832.27/832.81	c |   1232804 |    1954     8344    25317 | 2147483647    77846     72 |  0.000 % |
834.38/834.98	c |   1236429 |    1954     8344    25317 | 2147483647    81471     72 |  0.000 % |
836.97/837.50	c |   1240417 |    1954     8344    25317 | 2147483647    85459     72 |  0.000 % |
839.78/840.35	c |   1244802 |    1954     8344    25317 | 2147483647    89844     72 |  0.000 % |
843.17/843.71	c |   1249626 |    1954     8344    25317 | 2147483647    94668     72 |  0.000 % |
846.97/847.51	c |   1254931 |    1954     8344    25317 | 2147483647    99973     72 |  0.000 % |
851.46/852.06	c |   1260767 |    1954     8344    25317 |   105042    91487     72 |  0.000 % |
855.95/856.58	c |   1267187 |    1954     8344    25317 |   105042    97907     72 |  0.000 % |
861.45/862.00	c |   1274247 |    1954     8344    25317 |   100720    92358     71 |  0.000 % |
867.05/867.67	c |   1282012 |    1954     8344    25317 |    98111    88687     70 |  0.000 % |
872.45/873.08	c |   1290552 |    1954     8344    25317 |    96675    86052     71 |  0.000 % |
878.35/878.93	c |   1299946 |    1954     8344    25317 |    96675    95446     71 |  0.000 % |
885.64/886.24	c |   1310279 |    1954     8344    25317 |    95120    84934     72 |  0.000 % |
893.84/894.45	c |   1321647 |    1954     8344    25317 |    94655    84330     73 |  0.000 % |
893.94/894.52	c |   1321751 |    1954     8344    25317 |    94655    84434     73 |  0.000 % |
894.04/894.61	c |   1321862 |    1954     8344    25317 |    94655    84545     73 |  0.000 % |
894.14/894.71	c |   1321985 |    1954     8344    25317 |    94655    84668     73 |  0.000 % |
894.24/894.82	c |   1322120 |    1954     8344    25317 |    94655    84803     73 |  0.000 % |
894.34/894.93	c |   1322266 |    1954     8344    25317 |    94655    84949     73 |  0.000 % |
894.44/895.05	c |   1322427 |    1954     8344    25317 |    94655    85110     73 |  0.000 % |
894.54/895.18	c |   1322603 |    1954     8344    25317 |    94655    85286     73 |  0.000 % |
894.74/895.32	c |   1322798 |    1954     8344    25317 |    94655    85481     73 |  0.000 % |
894.84/895.47	c |   1323010 |    1954     8344    25317 |    94655    85693     73 |  0.000 % |
895.04/895.67	c |   1323243 |    1954     8344    25317 |    94655    85926     73 |  0.000 % |
895.23/895.86	c |   1323499 |    1954     8344    25317 |    94655    86182     73 |  0.000 % |
895.43/896.05	c |   1323782 |    1954     8344    25317 |    94655    86465     73 |  0.000 % |
895.73/896.30	c |   1324091 |    1954     8344    25317 |    94655    86774     73 |  0.000 % |
895.94/896.58	c |   1324431 |    1954     8344    25317 |    94655    87114     73 |  0.000 % |
896.23/896.84	c |   1324804 |    1954     8344    25317 |    94655    87487     73 |  0.000 % |
896.53/897.15	c |   1325214 |    1954     8344    25317 |    94655    87897     73 |  0.000 % |
896.83/897.48	c |   1325664 |    1954     8344    25317 |    94655    88347     73 |  0.000 % |
897.23/897.80	c |   1326157 |    1954     8344    25317 |    94655    88840     73 |  0.000 % |
897.53/898.18	c |   1326700 |    1954     8344    25317 |    94655    89383     73 |  0.000 % |
898.03/898.60	c |   1327299 |    1954     8344    25317 |    94655    89982     73 |  0.000 % |
898.43/899.05	c |   1327954 |    1954     8344    25317 |    94655    90637     73 |  0.000 % |
898.93/899.51	c |   1328674 |    1954     8344    25317 |    94655    91357     73 |  0.000 % |
899.43/900.07	c |   1329466 |    1954     8344    25317 |    94655    92149     73 |  0.000 % |
900.13/900.73	c |   1330337 |    1954     8344    25317 |    92684    82461     72 |  0.000 % |
900.83/901.41	c |   1331296 |    1954     8344    25317 |    92684    83420     72 |  0.000 % |
901.53/902.11	c |   1332350 |    1954     8344    25317 |    92684    84474     72 |  0.000 % |
902.23/902.86	c |   1333510 |    1954     8344    25317 |    92684    85634     72 |  0.000 % |
903.13/903.77	c |   1334783 |    1954     8344    25317 |    92684    86907     72 |  0.000 % |
904.03/904.63	c |   1336184 |    1954     8344    25317 |    92684    88308     72 |  0.000 % |
905.03/905.64	c |   1337724 |    1954     8344    25317 |    92684    89848     72 |  0.000 % |
906.03/906.66	c |   1339419 |    1954     8344    25317 |    92684    91543     72 |  0.000 % |
907.22/907.90	c |   1341282 |    1954     8344    25317 | 2147483647    93406     72 |  0.000 % |
908.72/909.33	c |   1343332 |    1954     8344    25317 | 2147483647    95456     72 |  0.000 % |
910.22/910.82	c |   1345586 |    1954     8344    25317 | 2147483647    97710     72 |  0.000 % |
912.02/912.67	c |   1348065 |    1954     8344    25317 | 2147483647   100189     72 |  0.000 % |
914.02/914.68	c |   1350792 |    1954     8344    25317 |   102124    91385     72 |  0.000 % |
916.22/916.82	c |   1353790 |    1954     8344    25317 |   102124    94383     71 |  0.000 % |
918.62/919.29	c |   1357086 |    1954     8344    25317 |   102124    97679     71 |  0.000 % |
921.41/922.07	c |   1360711 |    1954     8344    25317 |   100593    88488     71 |  0.000 % |
924.21/924.86	c |   1364701 |    1954     8344    25317 |   100593    92478     71 |  0.000 % |
927.41/928.03	c |   1369087 |    1954     8344    25317 |   100593    96864     71 |  0.000 % |
930.61/931.28	c |   1373910 |    1954     8344    25317 |    97777    89944     71 |  0.000 % |
934.31/934.92	c |   1379217 |    1954     8344    25317 |    97777    95251     71 |  0.000 % |
938.51/939.13	c |   1385052 |    1954     8344    25317 |    96037    89666     72 |  0.000 % |
942.71/943.30	c |   1391473 |    1954     8344    25317 |    94614    85884     72 |  0.000 % |
947.40/948.09	c |   1398532 |    1954     8344    25317 |    94614    92943     72 |  0.000 % |
952.30/953.00	c |   1406296 |    1954     8344    25317 |    94412    89768     71 |  0.000 % |
958.40/959.00	c |   1414837 |    1954     8344    25317 |    93475    88255     73 |  0.000 % |
964.80/965.49	c |   1424231 |    1954     8344    25317 |    93422    87303     74 |  0.000 % |
971.99/972.69	c |   1434564 |    1954     8344    25317 |    93072    88040     74 |  0.000 % |
978.99/979.63	c |   1445931 |    1954     8344    25317 |    82346    78403     76 |  0.000 % |
986.98/987.68	c |   1458435 |    1954     8344    25317 | 2147483647    90907     76 |  0.000 % |
987.09/987.76	c |   1458537 |    1954     8344    25317 | 2147483647    91009     76 |  0.000 % |
987.19/987.87	c |   1458648 |    1954     8344    25317 | 2147483647    91120     76 |  0.000 % |
987.28/987.97	c |   1458770 |    1954     8344    25317 | 2147483647    91242     76 |  0.000 % |
987.38/988.05	c |   1458904 |    1954     8344    25317 | 2147483647    91376     76 |  0.000 % |
987.48/988.18	c |   1459050 |    1954     8344    25317 | 2147483647    91522     76 |  0.000 % |
987.68/988.31	c |   1459210 |    1954     8344    25317 | 2147483647    91682     76 |  0.000 % |
987.78/988.44	c |   1459386 |    1954     8344    25317 | 2147483647    91858     76 |  0.000 % |
987.98/988.62	c |   1459581 |    1954     8344    25317 | 2147483647    92053     76 |  0.000 % |
988.19/988.82	c |   1459794 |    1954     8344    25317 | 2147483647    92266     76 |  0.000 % |
988.29/988.99	c |   1460027 |    1954     8344    25317 |    92472    92499     76 |  0.000 % |
988.58/989.25	c |   1460283 |    1954     8344    25317 |    92472    80919     76 |  0.000 % |
988.78/989.46	c |   1460565 |    1954     8344    25317 |    92472    81201     76 |  0.000 % |
988.98/989.67	c |   1460875 |    1954     8344    25317 |    92472    81511     76 |  0.000 % |
989.29/989.91	c |   1461216 |    1954     8344    25317 |    92472    81852     76 |  0.000 % |
989.48/990.12	c |   1461588 |    1954     8344    25317 |    92472    82224     76 |  0.000 % |
989.78/990.41	c |   1461999 |    1954     8344    25317 |    92472    82635     76 |  0.000 % |
990.08/990.71	c |   1462451 |    1954     8344    25317 |    92472    83087     76 |  0.000 % |
990.38/991.00	c |   1462947 |    1954     8344    25317 |    92472    83583     76 |  0.000 % |
990.68/991.33	c |   1463489 |    1954     8344    25317 |    92472    84125     76 |  0.000 % |
991.08/991.71	c |   1464085 |    1954     8344    25317 |    92472    84721     76 |  0.000 % |
991.48/992.17	c |   1464741 |    1954     8344    25317 |    92472    85377     76 |  0.000 % |
991.88/992.59	c |   1465461 |    1954     8344    25317 |    92472    86097     76 |  0.000 % |
992.48/993.10	c |   1466255 |    1954     8344    25317 |    92472    86891     76 |  0.000 % |
993.08/993.71	c |   1467126 |    1954     8344    25317 |    92472    87762     76 |  0.000 % |
993.68/994.32	c |   1468084 |    1954     8344    25317 |    92472    88720     76 |  0.000 % |
994.38/995.04	c |   1469138 |    1954     8344    25317 |    92472    89774     76 |  0.000 % |
995.08/995.77	c |   1470296 |    1954     8344    25317 | 2147483647    90932     76 |  0.000 % |
995.88/996.56	c |   1471569 |    1954     8344    25317 | 2147483647    92205     76 |  0.000 % |
996.78/997.50	c |   1472969 |    1954     8344    25317 | 2147483647    93605     75 |  0.000 % |
997.87/998.59	c |   1474509 |    1954     8344    25317 | 2147483647    95145     75 |  0.000 % |
999.18/999.88	c |   1476204 |    1954     8344    25317 | 2147483647    96840     75 |  0.000 % |
1000.57/1001.27	c |   1478068 |    1954     8344    25317 | 2147483647    98704     75 |  0.000 % |
1002.17/1002.80	c |   1480117 |    1954     8344    25317 |   100637   100753     75 |  0.000 % |
1003.68/1004.31	c |   1482370 |    1954     8344    25317 |   100637    91931     74 |  0.000 % |
1005.37/1006.04	c |   1484850 |    1954     8344    25317 |   100637    94411     74 |  0.000 % |
1007.27/1007.90	c |   1487575 |    1954     8344    25317 |   100637    97136     74 |  0.000 % |
1009.47/1010.13	c |   1490573 |    1954     8344    25317 |    99561    89304     74 |  0.000 % |
1011.67/1012.34	c |   1493870 |    1954     8344    25317 |    99561    92601     74 |  0.000 % |
1014.27/1014.92	c |   1497495 |    1954     8344    25317 |    99561    96226     74 |  0.000 % |
1017.17/1017.89	c |   1501483 |    1954     8344    25317 |    98731    88631     73 |  0.000 % |
1020.26/1020.92	c |   1505870 |    1954     8344    25317 |    98731    93018     73 |  0.000 % |
1023.76/1024.46	c |   1510694 |    1954     8344    25317 |    97148    86001     72 |  0.000 % |
1027.26/1027.93	c |   1516000 |    1954     8344    25317 |    97148    91307     72 |  0.000 % |
1031.26/1031.92	c |   1521835 |    1954     8344    25317 |    95308    85620     71 |  0.000 % |
1035.46/1036.12	c |   1528253 |    1954     8344    25317 |    95308    92038     72 |  0.000 % |
1039.86/1040.56	c |   1535312 |    1954     8344    25317 |    93788    89374     71 |  0.000 % |
1045.46/1046.11	c |   1543077 |    1954     8344    25317 | 2147483647    97139     71 |  0.000 % |
1051.85/1052.57	c |   1551618 |    1954     8344    25317 |   104063    90216     71 |  0.000 % |
1058.45/1059.14	c |   1561012 |    1954     8344    25317 |    98598    85577     71 |  0.000 % |
1065.45/1066.13	c |   1571346 |    1954     8344    25317 |    94565    82276     72 |  0.000 % |
1073.04/1073.71	c |   1582713 |    1954     8344    25317 |    90930    82892     74 |  0.000 % |
1081.34/1082.02	c |   1595218 |    1954     8344    25317 |    90184    86048     74 |  0.000 % |
1091.13/1091.88	c |   1608971 |    1954     8344    25317 |    81420    73488     74 |  0.000 % |
1091.23/1091.94	c |   1609073 |    1954     8344    25317 |    81420    73590     74 |  0.000 % |
1091.33/1092.03	c |   1609183 |    1954     8344    25317 |    81420    73700     74 |  0.000 % |
1091.43/1092.11	c |   1609306 |    1954     8344    25317 |    81420    73823     74 |  0.000 % |
1091.43/1092.20	c |   1609439 |    1954     8344    25317 |    81420    73956     74 |  0.000 % |
1091.54/1092.29	c |   1609587 |    1954     8344    25317 |    81420    74104     74 |  0.000 % |
1091.73/1092.41	c |   1609748 |    1954     8344    25317 |    81420    74265     74 |  0.000 % |
1091.83/1092.51	c |   1609924 |    1954     8344    25317 |    81420    74441     74 |  0.000 % |
1091.93/1092.64	c |   1610117 |    1954     8344    25317 | 2147483647    74634     74 |  0.000 % |
1092.03/1092.77	c |   1610329 |    1954     8344    25317 | 2147483647    74846     74 |  0.000 % |
1092.23/1092.90	c |   1610564 |    1954     8344    25317 | 2147483647    75081     74 |  0.000 % |
1092.33/1093.08	c |   1610820 |    1954     8344    25317 | 2147483647    75337     74 |  0.000 % |
1092.53/1093.25	c |   1611104 |    1954     8344    25317 | 2147483647    75621     74 |  0.000 % |
1092.73/1093.45	c |   1611413 |    1954     8344    25317 | 2147483647    75930     74 |  0.000 % |
1092.93/1093.66	c |   1611753 |    1954     8344    25317 | 2147483647    76270     74 |  0.000 % |
1093.13/1093.89	c |   1612125 |    1954     8344    25317 | 2147483647    76642     74 |  0.000 % |
1093.43/1094.12	c |   1612536 |    1954     8344    25317 | 2147483647    77053     74 |  0.000 % |
1093.73/1094.42	c |   1612985 |    1954     8344    25317 | 2147483647    77502     74 |  0.000 % |
1094.03/1094.72	c |   1613479 |    1954     8344    25317 | 2147483647    77996     74 |  0.000 % |
1094.33/1095.02	c |   1614023 |    1954     8344    25317 | 2147483647    78540     74 |  0.000 % |
1094.73/1095.45	c |   1614621 |    1954     8344    25317 | 2147483647    79138     74 |  0.000 % |
1095.23/1095.90	c |   1615276 |    1954     8344    25317 | 2147483647    79793     74 |  0.000 % |
1095.63/1096.37	c |   1615997 |    1954     8344    25317 | 2147483647    80514     74 |  0.000 % |
1096.23/1096.92	c |   1616790 |    1954     8344    25317 | 2147483647    81307     74 |  0.000 % |
1096.73/1097.50	c |   1617661 |    1954     8344    25317 | 2147483647    82178     74 |  0.000 % |
1097.43/1098.15	c |   1618622 |    1954     8344    25317 | 2147483647    83139     74 |  0.000 % |
1098.03/1098.80	c |   1619675 |    1954     8344    25317 | 2147483647    84192     74 |  0.000 % |
1098.83/1099.54	c |   1620833 |    1954     8344    25317 | 2147483647    85350     74 |  0.000 % |
1099.63/1100.39	c |   1622107 |    1954     8344    25317 | 2147483647    86624     74 |  0.000 % |
1100.53/1101.24	c |   1623507 |    1954     8344    25317 | 2147483647    88024     74 |  0.000 % |
1101.73/1102.42	c |   1625049 |    1954     8344    25317 | 2147483647    89566     73 |  0.000 % |
1102.93/1103.67	c |   1626743 |    1954     8344    25317 | 2147483647    91260     73 |  0.000 % |
1104.23/1104.92	c |   1628607 |    1954     8344    25317 | 2147483647    93124     73 |  0.000 % |
1105.52/1106.27	c |   1630656 |    1954     8344    25317 | 2147483647    95173     73 |  0.000 % |
1107.12/1107.83	c |   1632911 |    1954     8344    25317 | 2147483647    97428     73 |  0.000 % |
1109.02/1109.76	c |   1635390 |    1954     8344    25317 | 2147483647    99907     73 |  0.000 % |
1110.92/1111.63	c |   1638116 |    1954     8344    25317 | 2147483647   102633     73 |  0.000 % |
1113.43/1114.12	c |   1641115 |    1954     8344    25317 |   104519    93322     73 |  0.000 % |
1115.73/1116.42	c |   1644412 |    1954     8344    25317 |   104519    96619     73 |  0.000 % |
1118.43/1119.15	c |   1648039 |    1954     8344    25317 |   104519   100246     73 |  0.000 % |
1121.23/1122.00	c |   1652026 |    1954     8344    25317 |   102208    90996     73 |  0.000 % |
1124.22/1124.95	c |   1656414 |    1954     8344    25317 |   102208    95384     73 |  0.000 % |
1127.62/1128.38	c |   1661237 |    1954     8344    25317 |    98970    88889     72 |  0.000 % |
1131.12/1131.87	c |   1666543 |    1954     8344    25317 |    98970    94195     72 |  0.000 % |
1135.42/1136.11	c |   1672381 |    1954     8344    25317 |    97653    88884     71 |  0.000 % |
1139.71/1140.44	c |   1678799 |    1954     8344    25317 |    97653    95302     71 |  0.000 % |
1144.91/1145.66	c |   1685860 |    1954     8344    25317 |    96503    91759     71 |  0.000 % |
1150.71/1151.48	c |   1693625 |    1954     8344    25317 |    95900    88280     70 |  0.000 % |
1157.21/1157.95	c |   1702165 |    1954     8344    25317 |    94655    84539     71 |  0.000 % |
1164.31/1165.01	c |   1711559 |    1954     8344    25317 |    92374    81719     71 |  0.000 % |
1170.59/1171.37	c |   1721895 |    1954     8344    25317 |    90160    80480     72 |  0.000 % |
1177.59/1178.38	c |   1733261 |    1954     8344    25317 |    88585    81683     73 |  0.000 % |
1185.59/1186.39	c |   1745763 |    1954     8344    25317 |    88423    83284     73 |  0.000 % |
1195.09/1195.80	c |   1759516 |    1954     8344    25317 |    87521    78465     74 |  0.000 % |

Verifier Data

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

Watcher Data

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 21692
/proc/meminfo: memFree=1814432/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306628228 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 266890608722 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/21692/statm: 1339 235 195 169 0 50 0
[pid=21693] ppid=21692 vsize=5356 CPUtime=0
/proc/21693/stat : 21693 (SatELiteGTI) R 21692 21692 21067 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 306628229 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4096 65538 0 0 0 17 0 0 0
/proc/21693/statm: 1339 238 198 169 0 50 0
[pid=21695] ppid=21693 vsize=0 CPUtime=0
/proc/21695/stat : 21695 (sed) Z 21693 21692 21067 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 306628229 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/21695/statm: 0 0 0 0 0 0 0

[startup+0.071103 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 21692
/proc/meminfo: memFree=1814432/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356

[startup+0.101105 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 21692
/proc/meminfo: memFree=1814432/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356

[startup+0.301144 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 21692
/proc/meminfo: memFree=1814432/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356

[startup+0.70122 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 21692
/proc/meminfo: memFree=1814432/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356

[startup+1.50137 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 21698
/proc/meminfo: memFree=1812176/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
[pid=21698] ppid=21692 vsize=4844 CPUtime=1.44
/proc/21698/stat : 21698 (minisat_static) R 21692 21692 21067 0 -1 4194304 870 0 0 0 144 0 0 0 25 0 1 0 306628233 4960256 856 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21698/statm: 1211 856 77 171 0 1038 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10200

[startup+3.10168 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 21698
/proc/meminfo: memFree=1809360/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
[pid=21698] ppid=21692 vsize=7956 CPUtime=3.04
/proc/21698/stat : 21698 (minisat_static) R 21692 21692 21067 0 -1 4194304 1643 0 0 0 303 1 0 0 25 0 1 0 306628233 8146944 1629 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21698/statm: 1989 1629 77 171 0 1816 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 13312

[startup+6.30129 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 21698
/proc/meminfo: memFree=1804368/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
[pid=21698] ppid=21692 vsize=11948 CPUtime=6.23
/proc/21698/stat : 21698 (minisat_static) R 21692 21692 21067 0 -1 4194304 2641 0 0 0 622 1 0 0 25 0 1 0 306628233 12234752 2627 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/21698/statm: 2987 2627 77 171 0 2814 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 17304

[startup+12.7015 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 21698
/proc/meminfo: memFree=1798552/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
[pid=21698] ppid=21692 vsize=17308 CPUtime=12.62
/proc/21698/stat : 21698 (minisat_static) R 21692 21692 21067 0 -1 4194304 3980 0 0 0 1258 4 0 0 25 0 1 0 306628233 17723392 3966 1992294400 134512640 135215339 4294956240 18446744073709551615 134528700 0 0 4096 3 0 0 0 17 0 0 0
/proc/21698/statm: 4327 3966 77 171 0 4154 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 22664

[startup+25.502 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 21698
/proc/meminfo: memFree=1790680/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
[pid=21698] ppid=21692 vsize=24952 CPUtime=25.41
/proc/21698/stat : 21698 (minisat_static) R 21692 21692 21067 0 -1 4194304 5888 0 0 0 2534 7 0 0 25 0 1 0 306628233 25550848 5874 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21698/statm: 6238 5874 77 171 0 6065 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 30308

[startup+51.1019 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 21698
/proc/meminfo: memFree=1782744/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
[pid=21698] ppid=21692 vsize=32788 CPUtime=50.99
/proc/21698/stat : 21698 (minisat_static) R 21692 21692 21067 0 -1 4194304 7830 0 0 0 5090 9 0 0 25 0 1 0 306628233 33574912 7816 1992294400 134512640 135215339 4294956240 18446744073709551615 134528688 0 0 4096 3 0 0 0 17 0 0 0
/proc/21698/statm: 8197 7816 77 171 0 8024 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 38144

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 21698
/proc/meminfo: memFree=1781080/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
[pid=21698] ppid=21692 vsize=34240 CPUtime=102.16
/proc/21698/stat : 21698 (minisat_static) R 21692 21692 21067 0 -1 4194304 8211 0 0 0 10206 10 0 0 25 0 1 0 306628233 35061760 8197 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21698/statm: 8560 8197 77 171 0 8387 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 39596

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 21698
/proc/meminfo: memFree=1779928/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
[pid=21698] ppid=21692 vsize=35296 CPUtime=162.11
/proc/21698/stat : 21698 (minisat_static) R 21692 21692 21067 0 -1 4194304 8462 0 0 0 16201 10 0 0 25 0 1 0 306628233 36143104 8448 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/21698/statm: 8824 8448 77 171 0 8651 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 40652

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 21698
/proc/meminfo: memFree=1778392/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
[pid=21698] ppid=21692 vsize=36748 CPUtime=222.08
/proc/21698/stat : 21698 (minisat_static) R 21692 21692 21067 0 -1 4194304 8818 0 0 0 22197 11 0 0 25 0 1 0 306628233 37629952 8804 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21698/statm: 9187 8804 77 171 0 9014 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 42104

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 21698
/proc/meminfo: memFree=1778264/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
[pid=21698] ppid=21692 vsize=36748 CPUtime=282.04
/proc/21698/stat : 21698 (minisat_static) R 21692 21692 21067 0 -1 4194304 8818 0 0 0 28193 11 0 0 25 0 1 0 306628233 37629952 8804 1992294400 134512640 135215339 4294956240 18446744073709551615 134529091 0 0 4096 3 0 0 0 17 0 0 0
/proc/21698/statm: 9187 8804 77 171 0 9014 0
Current children cumulated CPU time (s) 282.07
Current children cumulated vsize (KiB) 42104

[startup+342.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 21698
/proc/meminfo: memFree=1776928/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
[pid=21698] ppid=21692 vsize=37992 CPUtime=342.02
/proc/21698/stat : 21698 (minisat_static) R 21692 21692 21067 0 -1 4194304 9150 0 0 0 34190 12 0 0 25 0 1 0 306628233 38903808 9136 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/21698/statm: 9498 9136 77 171 0 9325 0
Current children cumulated CPU time (s) 342.05
Current children cumulated vsize (KiB) 43348

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 21698
/proc/meminfo: memFree=1776736/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
[pid=21698] ppid=21692 vsize=37992 CPUtime=401.97

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

/proc/21698/statm: 9663 9306 77 171 0 9490 0
Current children cumulated CPU time (s) 521.93
Current children cumulated vsize (KiB) 44008

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 21698
/proc/meminfo: memFree=1775840/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
[pid=21698] ppid=21692 vsize=38652 CPUtime=581.87
/proc/21698/stat : 21698 (minisat_static) R 21692 21692 21067 0 -1 4194304 9320 0 0 0 58174 13 0 0 25 0 1 0 306628233 39579648 9306 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21698/statm: 9663 9306 77 171 0 9490 0
Current children cumulated CPU time (s) 581.9
Current children cumulated vsize (KiB) 44008

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 21698
/proc/meminfo: memFree=1774112/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
[pid=21698] ppid=21692 vsize=40368 CPUtime=641.85
/proc/21698/stat : 21698 (minisat_static) R 21692 21692 21067 0 -1 4194304 9726 0 0 0 64171 14 0 0 25 0 1 0 306628233 41336832 9712 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21698/statm: 10092 9712 77 171 0 9919 0
Current children cumulated CPU time (s) 641.88
Current children cumulated vsize (KiB) 45724

[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 21698
/proc/meminfo: memFree=1773984/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
[pid=21698] ppid=21692 vsize=40368 CPUtime=701.81
/proc/21698/stat : 21698 (minisat_static) R 21692 21692 21067 0 -1 4194304 9730 0 0 0 70167 14 0 0 25 0 1 0 306628233 41336832 9716 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21698/statm: 10092 9716 77 171 0 9919 0
Current children cumulated CPU time (s) 701.84
Current children cumulated vsize (KiB) 45724

[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 21698
/proc/meminfo: memFree=1772512/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
[pid=21698] ppid=21692 vsize=41688 CPUtime=761.78
/proc/21698/stat : 21698 (minisat_static) R 21692 21692 21067 0 -1 4194304 10076 0 0 0 76164 14 0 0 25 0 1 0 306628233 42688512 10062 1992294400 134512640 135215339 4294956240 18446744073709551615 134538130 0 0 4096 3 0 0 0 17 0 0 0
/proc/21698/statm: 10422 10062 77 171 0 10249 0
Current children cumulated CPU time (s) 761.81
Current children cumulated vsize (KiB) 47044

[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 21698
/proc/meminfo: memFree=1772256/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
[pid=21698] ppid=21692 vsize=41820 CPUtime=821.75
/proc/21698/stat : 21698 (minisat_static) R 21692 21692 21067 0 -1 4194304 10110 0 0 0 82161 14 0 0 25 0 1 0 306628233 42823680 10096 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21698/statm: 10455 10096 77 171 0 10282 0
Current children cumulated CPU time (s) 821.78
Current children cumulated vsize (KiB) 47176

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 21698
/proc/meminfo: memFree=1772192/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
[pid=21698] ppid=21692 vsize=41820 CPUtime=881.71
/proc/21698/stat : 21698 (minisat_static) R 21692 21692 21067 0 -1 4194304 10110 0 0 0 88157 14 0 0 25 0 1 0 306628233 42823680 10096 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21698/statm: 10455 10096 77 171 0 10282 0
Current children cumulated CPU time (s) 881.74
Current children cumulated vsize (KiB) 47176

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 21698
/proc/meminfo: memFree=1772064/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
[pid=21698] ppid=21692 vsize=41820 CPUtime=941.68
/proc/21698/stat : 21698 (minisat_static) R 21692 21692 21067 0 -1 4194304 10110 0 0 0 94154 14 0 0 25 0 1 0 306628233 42823680 10096 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21698/statm: 10455 10096 77 171 0 10282 0
Current children cumulated CPU time (s) 941.71
Current children cumulated vsize (KiB) 47176

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 21698
/proc/meminfo: memFree=1771936/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
[pid=21698] ppid=21692 vsize=41820 CPUtime=1001.64
/proc/21698/stat : 21698 (minisat_static) R 21692 21692 21067 0 -1 4194304 10110 0 0 0 100150 14 0 0 25 0 1 0 306628233 42823680 10096 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/21698/statm: 10455 10096 77 171 0 10282 0
Current children cumulated CPU time (s) 1001.67
Current children cumulated vsize (KiB) 47176

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 21698
/proc/meminfo: memFree=1771872/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
[pid=21698] ppid=21692 vsize=41820 CPUtime=1061.62
/proc/21698/stat : 21698 (minisat_static) R 21692 21692 21067 0 -1 4194304 10110 0 0 0 106148 14 0 0 25 0 1 0 306628233 42823680 10096 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21698/statm: 10455 10096 77 171 0 10282 0
Current children cumulated CPU time (s) 1061.65
Current children cumulated vsize (KiB) 47176

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 21698
/proc/meminfo: memFree=1771488/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
[pid=21698] ppid=21692 vsize=42216 CPUtime=1121.59
/proc/21698/stat : 21698 (minisat_static) R 21692 21692 21067 0 -1 4194304 10189 0 0 0 112144 15 0 0 25 0 1 0 306628233 43229184 10175 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21698/statm: 10554 10175 77 171 0 10381 0
Current children cumulated CPU time (s) 1121.62
Current children cumulated vsize (KiB) 47572

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 21698
/proc/meminfo: memFree=1771360/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
[pid=21698] ppid=21692 vsize=42216 CPUtime=1181.56
/proc/21698/stat : 21698 (minisat_static) R 21692 21692 21067 0 -1 4194304 10189 0 0 0 118141 15 0 0 25 0 1 0 306628233 43229184 10175 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/21698/statm: 10554 10175 77 171 0 10381 0
Current children cumulated CPU time (s) 1181.59
Current children cumulated vsize (KiB) 47572



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.8 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 21698
/proc/meminfo: memFree=1771360/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
[pid=21698] ppid=21692 vsize=42216 CPUtime=1200.06
/proc/21698/stat : 21698 (minisat_static) R 21692 21692 21067 0 -1 4194304 10189 0 0 0 119991 15 0 0 25 0 1 0 306628233 43229184 10175 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21698/statm: 10554 10175 77 171 0 10381 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 47572

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21692 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=30995
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=8998
# CPU time returned by wait4() is 0.039993
# while last known CPU time is 1200.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1200.81
CPU time (s): 1200.09
CPU user time (s): 1199.94
CPU system time (s): 0.15
CPU usage (%): 99.9397
Max. virtual memory (cumulated for all children) (KiB): 47572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.030995
system time used= 0.008998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 954
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= 14
involuntary context switches= 6

runsolver used 1.07484 second user time and 3.44448 second system time

The end

Launcher Data

Begin job on node38 at 2009-05-20 04:19:58
IDJOB=1832659
IDBENCH=70293
IDSOLVER=671
FILE ID=node38/1832659-1242785998
PBS_JOBID= 9322327
Free space on /tmp= 66200 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/2000/unif-k3-r4.2-v2000-c8400-S779309989-069.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832659-1242785998/watcher-1832659-1242785998 -o /tmp/evaluation-result-1832659-1242785998/solver-1832659-1242785998 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832659-1242785998.cnf

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

MD5SUM BENCH= f790d28bf27d167da954318ad1a18e9d
RANDOM SEED=1726153238

node38.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.265
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.265
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1814912 kB
Buffers:         33236 kB
Cached:         155572 kB
SwapCached:      10024 kB
Active:          87004 kB
Inactive:       114456 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1814912 kB
SwapTotal:     4192956 kB
SwapFree:      4177160 kB
Dirty:            1716 kB
Writeback:           0 kB
Mapped:          14128 kB
Slab:            25544 kB
Committed_AS:  1086480 kB
PageTables:       1456 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66200 MiB
End job on node38 at 2009-05-20 04:40:01