Trace number 1820938

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.1 1200.03

General information on the benchmark

NameAPPLICATIONS/bitverif/
countbitssrl/countbitssrl032.cnf
MD5SUM5bb6e70c95bda454f634cd586084908b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables18607
Number of clauses55724
Sum of the clauses size130020
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 237148
Number of clauses of size 318574
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.06/0.05	c ==============================================================================
0.06/0.05	c |           |     ORIGINAL     |              LEARNT              |          |
0.06/0.05	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.06/0.05	c ==============================================================================
0.06/0.05	c |         0 |   55722   130018 |   16716       0        0     nan |  0.000 % |
0.32/0.39	c |         0 |   34365   106362 |      --       0       --      -- |     --   | -21355/-23651
0.32/0.39	c ==============================================================================
0.32/0.39	c Result  :   #vars: 6781   #clauses: 34365   #literals: 106362
0.32/0.39	c CPU time:   0.38 s
0.32/0.39	c ==============================================================================
0.42/0.43	c This is MiniSat 2.0 beta
0.42/0.43	c WARNING: for repeatability, setting FPU to use double precision
0.42/0.43	c ============================[ Problem Statistics ]=============================
0.42/0.43	c |                                                                             |
0.42/0.43	c |  Number of variables:  6781                                                 |
0.42/0.43	c |  Number of clauses:    34365                                                |
0.42/0.45	c |  Parsing time:         0.03         s                                       |
0.42/0.45	c ============================[ Search Statistics ]==============================
0.42/0.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.42/0.45	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.42/0.45	c ===============================================================================
0.42/0.45	c |         0 |    6781    34365   106362 |    11455        0    nan |  0.000 % |
0.42/0.48	c |       103 |    6282    34365   106362 |    11455      101     22 |  9.025 % |
0.42/0.49	c |       204 |    6282    34365   106362 |    11455      202     17 |  9.025 % |
0.42/0.50	c |       305 |    6282    34365   106362 |    11455      303     18 |  9.025 % |
0.43/0.52	c |       416 |    6169    30106    95319 |    11455      413     18 |  9.025 % |
0.43/0.58	c |       518 |    6169    30106    95319 |    11455      515     31 |  9.025 % |
0.43/0.59	c |       629 |    6169    30106    95319 |    11455      626     29 |  9.025 % |
0.43/0.61	c |       751 |    6169    30106    95319 |    11455      748     29 |  9.025 % |
0.43/0.62	c |       852 |    6169    30106    95319 |    11455      849     28 |  9.025 % |
0.43/0.63	c |       962 |    6169    30106    95319 |    11455      959     26 |  9.025 % |
0.43/0.70	c |      1084 |    6169    30106    95319 |    11455     1081     34 |  9.025 % |
0.43/0.74	c |      1218 |    6163    30070    95217 |    11455     1214     34 |  9.114 % |
0.43/0.75	c |      1319 |    6163    30070    95217 |    11455     1315     33 |  9.114 % |
0.43/0.76	c |      1429 |    6163    30070    95217 |    11455     1425     31 |  9.114 % |
0.43/0.82	c |      1551 |    6163    30070    95217 |    11455     1547     35 |  9.114 % |
0.43/0.84	c |      1684 |    6163    30070    95217 |    11455     1680     33 |  9.114 % |
0.43/0.91	c |      1831 |    6163    30070    95217 |    11455     1827     36 |  9.114 % |
0.43/0.92	c |      1931 |    6163    30070    95217 |    11455     1927     36 |  9.114 % |
0.43/0.94	c |      2041 |    6163    30070    95217 |    11455     2037     36 |  9.114 % |
0.43/0.95	c |      2163 |    6163    30070    95217 |    11455     2159     36 |  9.114 % |
0.43/1.01	c |      2296 |    6163    30070    95217 |    11455     2292     38 |  9.114 % |
1.02/1.02	c |      2442 |    6163    30070    95217 |    11455     2438     37 |  9.114 % |
1.02/1.03	c |      2602 |    6163    30070    95217 |    11455     2598     36 |  9.114 % |
1.02/1.04	c |      2702 |    6163    30070    95217 |    11455     2698     35 |  9.114 % |
1.13/1.12	c |      2812 |    6163    30070    95217 |    11455     2808     38 |  9.114 % |
1.13/1.13	c |      2937 |    6163    30070    95217 |    11455     2933     37 |  9.114 % |
1.13/1.18	c |      3070 |    6163    30070    95217 |    11455     3066     38 |  9.114 % |
1.13/1.20	c |      3218 |    6163    30070    95217 |    11455     3214     37 |  9.114 % |
1.22/1.28	c |      3380 |    6163    30070    95217 |    11455     3376     39 |  9.114 % |
1.22/1.30	c |      3556 |    6163    30070    95217 |    11455     3552     38 |  9.114 % |
1.22/1.31	c |      3656 |    6163    30070    95217 |    11455     3652     37 |  9.114 % |
1.32/1.37	c |      3766 |    6163    30070    95217 |    11455     3762     39 |  9.114 % |
1.32/1.38	c |      3887 |    6163    30070    95217 |    11455     3883     38 |  9.114 % |
1.32/1.39	c |      4020 |    6163    30070    95217 |    11455     4016     37 |  9.114 % |
1.32/1.40	c |      4166 |    6163    30070    95217 |    11455     4162     36 |  9.114 % |
1.42/1.50	c |      4327 |    6163    30070    95217 |    11455     4323     39 |  9.114 % |
1.52/1.52	c |      4504 |    6163    30070    95217 |    11455     4500     38 |  9.114 % |
1.52/1.54	c |      4698 |    6163    30070    95217 |    11455     4694     37 |  9.114 % |
1.52/1.59	c |      4799 |    6163    30070    95217 |    11455     4795     37 |  9.114 % |
1.62/1.61	c |      4909 |    6163    30070    95217 |    11455     4905     37 |  9.114 % |
1.62/1.67	c |      5030 |    6163    30070    95217 |    11455     5026     38 |  9.114 % |
1.72/1.75	c |      5164 |    6094    29765    94305 |    11455     5157     39 | 10.249 % |
1.72/1.77	c |      5312 |    6094    29765    94305 |    11455     5305     38 | 10.249 % |
1.82/1.84	c |      5474 |    6094    29765    94305 |    11455     5467     39 | 10.249 % |
1.92/1.92	c |      5650 |    6094    29765    94305 |    11455     5643     39 | 10.249 % |
2.02/2.06	c |      5844 |    6086    29711    94141 |    11455     5836     41 | 10.249 % |
2.02/2.09	c |      6056 |    6086    29711    94141 |    11455     6048     40 | 10.249 % |
2.02/2.10	c |      6156 |    6086    29711    94141 |    11455     6148     40 | 10.249 % |
2.12/2.11	c |      6267 |    6086    29711    94141 |    11455     6259     40 | 10.249 % |
2.12/2.19	c |      6391 |    6086    29711    94141 |    11455     6383     40 | 10.249 % |
2.12/2.20	c |      6524 |    6086    29711    94141 |    11455     6516     40 | 10.249 % |
2.23/2.23	c |      6671 |    6086    29711    94141 |    11455     6663     40 | 10.249 % |
2.23/2.24	c |      6831 |    6086    29711    94141 |    11455     6823     39 | 10.249 % |
2.32/2.34	c |      7007 |    6086    29711    94141 |    11455     6999     40 | 10.249 % |
2.32/2.37	c |      7200 |    6082    29707    94133 |    11455     7189     40 | 10.338 % |
2.52/2.54	c |      7412 |    6082    29707    94133 |    11455     7401     41 | 10.338 % |
2.52/2.57	c |      7645 |    6082    29707    94133 |    11455     7634     41 | 10.338 % |
2.62/2.63	c |      7745 |    6080    29707    94133 |    11455     7732     41 | 10.367 % |
2.72/2.71	c |      7856 |    6078    29677    94055 |    11455     7842     41 | 10.367 % |
2.72/2.73	c |      7981 |    6078    29677    94055 |    11455     7966     41 | 11.400 % |
2.82/2.84	c |      8115 |    6077    29677    94055 |    11455     8100     41 | 11.400 % |
2.82/2.86	c |      8261 |    6077    29677    94055 |    11455     8246     41 | 11.400 % |
2.92/2.94	c |      8421 |    6077    29677    94055 |    11455     8406     41 | 11.400 % |
2.92/2.97	c |      8599 |    6008    29348    93069 |    11455     8576     41 | 11.400 % |
3.02/3.07	c |      8792 |    6008    29348    93069 |    11455     8769     41 | 11.400 % |
3.02/3.10	c |      9005 |    6008    29348    93069 |    11455     8982     41 | 11.400 % |
3.12/3.15	c |      9238 |    6008    29348    93069 |    11455     9215     41 | 11.400 % |
3.33/3.32	c |      9494 |    6008    29348    93069 |    11455     9471     42 | 11.400 % |
3.33/3.37	c |      9595 |    6008    29348    93069 |    11455     9572     42 | 11.401 % |
3.33/3.39	c |      9705 |    6008    29348    93069 |    11455     9682     42 | 11.400 % |
3.42/3.43	c |      9828 |    5847    28601    90831 |    11455     9789     41 | 13.774 % |
3.42/3.48	c |      9961 |    5847    28601    90831 |    11455     9922     42 | 13.774 % |
3.42/3.51	c |     10107 |    5847    28601    90831 | 2147483647    10068     41 | 13.774 % |
3.52/3.57	c |     10267 |    5847    28601    90831 | 2147483647    10228     41 | 13.774 % |
3.62/3.62	c |     10443 |    5847    28601    90831 | 2147483647    10404     41 | 13.774 % |
3.62/3.67	c |     10636 |    5847    28601    90831 | 2147483647    10597     41 | 13.774 % |
3.62/3.69	c |     10850 |    5847    28601    90831 | 2147483647    10811     41 | 13.774 % |
3.72/3.76	c |     11083 |    5847    28601    90831 | 2147483647    11044     41 | 13.774 % |
3.72/3.79	c |     11339 |    5847    28601    90831 | 2147483647    11300     40 | 13.774 % |
3.92/4.00	c |     11620 |    5847    28601    90831 | 2147483647    11581     42 | 13.774 % |
4.02/4.03	c |     11720 |    5847    28601    90831 | 2147483647    11681     42 | 13.774 % |
4.02/4.06	c |     11831 |    5845    28597    90823 | 2147483647    11790     42 | 13.803 % |
4.12/4.14	c |     11953 |    5845    28597    90823 | 2147483647    11912     42 | 13.803 % |
4.12/4.16	c |     12086 |    5845    28597    90823 | 2147483647    12045     42 | 13.803 % |
4.22/4.28	c |     12232 |    5845    28597    90823 | 2147483647    12191     42 | 13.803 % |
4.32/4.34	c |     12393 |    5845    28597    90823 | 2147483647    12352     42 | 13.803 % |
4.32/4.39	c |     12572 |    5845    28597    90823 | 2147483647    12531     42 | 13.803 % |
4.43/4.43	c |     12765 |    5845    28597    90823 | 2147483647    12724     42 | 13.803 % |
4.43/4.46	c |     12978 |    5845    28597    90823 | 2147483647    12937     42 | 13.803 % |
4.43/4.48	c |     13211 |    5845    28593    90815 | 2147483647    13170     41 | 13.803 % |
4.62/4.63	c |     13467 |    5845    28593    90815 | 2147483647    13426     42 | 13.803 % |
4.62/4.67	c |     13748 |    5845    28593    90815 | 2147483647    13707     42 | 13.803 % |
4.62/4.70	c |     14059 |    5845    28593    90815 | 2147483647    14018     41 | 13.803 % |
4.72/4.71	c |     14159 |    5845    28593    90815 | 2147483647    14118     41 | 13.803 % |
4.82/4.82	c |     14273 |    5845    28593    90815 | 2147483647    14232     42 | 13.803 % |
4.82/4.84	c |     14394 |    5845    28593    90815 | 2147483647    14353     41 | 13.803 % |
4.82/4.85	c |     14528 |    5845    28593    90815 | 2147483647    14487     41 | 13.803 % |
4.92/5.01	c |     14676 |    5845    28593    90815 | 2147483647    14635     42 | 13.803 % |
5.02/5.07	c |     14836 |    5844    28588    90800 | 2147483647    14793     42 | 13.818 % |
5.02/5.10	c |     15014 |    5844    28588    90800 | 2147483647    14971     42 | 13.818 % |
5.12/5.20	c |     15207 |    5844    28588    90800 | 2147483647    15164     42 | 13.818 % |
5.22/5.23	c |     15421 |    5844    28588    90800 | 2147483647    15378     42 | 13.818 % |
5.22/5.26	c |     15654 |    5844    28588    90800 | 2147483647    15611     42 | 13.818 % |
5.32/5.35	c |     15911 |    5844    28588    90800 | 2147483647    15868     42 | 13.818 % |
5.42/5.51	c |     16193 |    5844    28588    90800 | 2147483647    16150     42 | 13.818 % |
5.72/5.74	c |     16503 |    5844    28588    90800 | 2147483647    16460     43 | 13.818 % |
5.82/5.82	c |     16843 |    5844    28588    90800 | 2147483647    16800     43 | 13.818 % |
5.82/5.84	c |     16943 |    5844    28588    90800 | 2147483647    16900     43 | 13.818 % |
5.82/5.85	c |     17054 |    5844    28588    90800 | 2147483647    17011     43 | 13.818 % |
5.92/5.94	c |     17175 |    5844    28588    90800 | 2147483647    17132     43 | 13.818 % |
5.92/5.96	c |     17309 |    5844    28588    90800 | 2147483647    17266     43 | 13.818 % |
6.02/6.08	c |     17455 |    5844    28588    90800 | 2147483647    17412     43 | 13.818 % |
6.12/6.12	c |     17616 |    5844    28588    90800 | 2147483647    17573     43 | 13.818 % |
6.12/6.15	c |     17792 |    5844    28588    90800 | 2147483647    17749     43 | 13.818 % |
6.12/6.19	c |     17986 |    5844    28588    90800 | 2147483647    17943     43 | 13.818 % |
6.32/6.33	c |     18198 |    5844    28588    90800 | 2147483647    18155     43 | 13.818 % |
6.42/6.44	c |     18431 |    5844    28588    90800 | 2147483647    18388     43 | 13.818 % |
6.63/6.66	c |     18687 |    5844    28588    90800 | 2147483647    18644     44 | 13.818 % |
6.63/6.70	c |     18968 |    5844    28588    90800 | 2147483647    18925     44 | 13.818 % |
6.72/6.72	c |     19277 |    5844    28588    90800 | 2147483647    19234     43 | 13.818 % |
6.82/6.82	c |     19617 |    5844    28588    90800 | 2147483647    19574     43 | 13.818 % |
6.82/6.88	c |     19990 |    5844    28588    90800 | 2147483647    19947     43 | 13.818 % |
6.82/6.89	c |     20092 |    5844    28588    90800 | 2147483647    20049     43 | 13.818 % |
6.92/6.97	c |     20202 |    5844    28588    90800 | 2147483647    20159     43 | 13.818 % |
6.92/7.01	c |     20325 |    5844    28588    90800 | 2147483647    20282     43 | 13.818 % |
7.02/7.09	c |     20458 |    5844    28588    90800 | 2147483647    20415     43 | 13.818 % |
7.02/7.10	c |     20605 |    5844    28588    90800 | 2147483647    20562     43 | 13.818 % |
7.12/7.21	c |     20766 |    5844    28588    90800 | 2147483647    20723     43 | 13.818 % |
7.22/7.24	c |     20942 |    5844    28588    90800 | 2147483647    20899     43 | 13.818 % |
7.32/7.40	c |     21136 |    5844    28588    90800 | 2147483647    21093     44 | 13.818 % |
7.42/7.44	c |     21349 |    5844    28588    90800 | 2147483647    21306     44 | 13.818 % |
7.52/7.58	c |     21582 |    5844    28588    90800 | 2147483647    21539     44 | 13.818 % |
7.73/7.73	c |     21840 |    5844    28588    90800 | 2147483647    21797     44 | 13.818 % |
7.92/7.92	c |     22122 |    5844    28588    90800 | 2147483647    22079     45 | 13.818 % |
8.02/8.05	c |     22433 |    5844    28588    90800 | 2147483647    22390     45 | 13.818 % |
8.12/8.11	c |     22774 |    5844    28588    90800 | 2147483647    22731     45 | 13.818 % |
8.42/8.42	c |     23146 |    5844    28588    90800 | 2147483647    23103     46 | 13.818 % |
8.42/8.50	c |     23555 |    5844    28588    90800 | 2147483647    23512     45 | 13.818 % |
8.52/8.54	c |     23657 |    5844    28588    90800 | 2147483647    23614     45 | 13.818 % |
8.52/8.56	c |     23768 |    5844    28588    90800 | 2147483647    23725     45 | 13.818 % |
8.52/8.59	c |     23889 |    5844    28588    90800 | 2147483647    23846     45 | 13.818 % |
8.52/8.61	c |     24022 |    5844    28588    90800 | 2147483647    23979     45 | 13.818 % |
8.62/8.66	c |     24168 |    5844    28588    90800 | 2147483647    24125     45 | 13.818 % |
8.72/8.71	c |     24328 |    5844    28588    90800 | 2147483647    24285     45 | 13.818 % |
8.72/8.75	c |     24508 |    5844    28588    90800 | 2147483647    24465     45 | 13.818 % |
8.72/8.77	c |     24701 |    5844    28588    90800 | 2147483647    24658     45 | 13.818 % |
8.92/8.97	c |     24915 |    5844    28588    90800 | 2147483647    24872     45 | 13.818 % |
9.02/9.03	c |     25148 |    5844    28588    90800 | 2147483647    25105     45 | 13.818 % |
9.12/9.14	c |     25404 |    5844    28588    90800 | 2147483647    25361     45 | 13.818 % |
9.22/9.27	c |     25685 |    5844    28588    90800 | 2147483647    25642     45 | 13.818 % |
9.42/9.43	c |     25994 |    5844    28588    90800 | 2147483647    25951     45 | 13.818 % |
9.52/9.54	c |     26338 |    5844    28588    90800 | 2147483647    26295     45 | 13.818 % |
9.72/9.72	c |     26710 |    5844    28588    90800 | 2147483647    26667     45 | 13.818 % |
9.82/9.91	c |     27119 |    5844    28588    90800 | 2147483647    27076     45 | 13.818 % |
9.93/9.98	c |     27568 |    5844    28588    90800 | 2147483647    27525     45 | 13.818 % |
9.93/10.01	c |     27669 |    5844    28588    90800 | 2147483647    27626     45 | 13.818 % |
10.02/10.08	c |     27779 |    5844    28588    90800 | 2147483647    27736     45 | 13.818 % |
10.12/10.12	c |     27901 |    5840    28570    90746 | 2147483647    27852     45 | 13.877 % |
10.22/10.24	c |     28038 |    5840    28570    90746 | 2147483647    27989     45 | 13.877 % |
10.22/10.29	c |     28187 |    5840    28570    90746 | 2147483647    28138     45 | 13.877 % |
10.32/10.32	c |     28347 |    5840    28570    90746 | 2147483647    28298     45 | 13.877 % |
10.42/10.46	c |     28523 |    5840    28570    90746 | 2147483647    28474     45 | 13.877 % |
10.52/10.51	c |     28716 |    5840    28570    90746 | 2147483647    28667     45 | 13.877 % |
10.62/10.62	c |     28929 |    5840    28570    90746 | 2147483647    28880     45 | 13.877 % |
10.82/10.91	c |     29163 |    5840    28570    90746 | 2147483647    29114     46 | 13.877 % |
10.92/10.99	c |     29419 |    5840    28570    90746 | 2147483647    29370     46 | 13.877 % |
11.03/11.04	c |     29700 |    5840    28570    90746 | 2147483647    29651     46 | 13.877 % |
11.12/11.13	c |     30010 |    5840    28570    90746 | 2147483647    29961     45 | 13.877 % |
11.32/11.39	c |     30349 |    5840    28570    90746 | 2147483647    30300     46 | 13.877 % |
11.42/11.48	c |     30722 |    5840    28570    90746 | 2147483647    30673     46 | 13.877 % |
11.82/11.88	c |     31132 |    5840    28570    90746 | 2147483647    31083     47 | 13.877 % |
11.92/11.96	c |     31581 |    5840    28570    90746 | 2147483647    31532     47 | 13.877 % |
12.02/12.02	c |     32074 |    5840    28570    90746 | 2147483647    32025     46 | 13.877 % |
12.13/12.13	c |     32174 |    5840    28570    90746 | 2147483647    32125     46 | 13.877 % |
12.13/12.17	c |     32284 |    5840    28570    90746 | 2147483647    32235     46 | 13.877 % |
12.22/12.26	c |     32406 |    5840    28570    90746 | 2147483647    32357     46 | 13.877 % |
12.22/12.30	c |     32539 |    5840    28570    90746 | 2147483647    32490     46 | 13.877 % |
12.42/12.42	c |     32685 |    5840    28570    90746 | 2147483647    32636     47 | 13.877 % |
12.42/12.48	c |     32846 |    5840    28570    90746 | 2147483647    32797     47 | 13.877 % |
12.62/12.65	c |     33022 |    5840    28570    90746 | 2147483647    32973     47 | 13.877 % |
12.72/12.76	c |     33216 |    5837    28555    90701 | 2147483647    33165     47 | 13.921 % |
12.92/12.94	c |     33428 |    5837    28555    90701 | 2147483647    33377     47 | 13.921 % |
12.92/12.99	c |     33661 |    5837    28555    90701 | 2147483647    33610     47 | 13.921 % |
13.12/13.21	c |     33918 |    5837    28555    90701 | 2147483647    33867     47 | 13.921 % |
13.23/13.30	c |     34199 |    5837    28555    90701 | 2147483647    34148     47 | 13.921 % |
13.32/13.33	c |     34508 |    5837    28555    90701 | 2147483647    34457     47 | 13.921 % |
13.52/13.55	c |     34849 |    5837    28555    90701 | 2147483647    34798     47 | 13.921 % |
13.62/13.65	c |     35223 |    5837    28555    90701 | 2147483647    35172     47 | 13.921 % |
13.92/14.00	c |     35632 |    5837    28555    90701 | 2147483647    35581     47 | 13.921 % |
14.22/14.27	c |     36083 |    5837    28555    90701 | 2147483647    36032     48 | 13.921 % |
14.72/14.71	c |     36577 |    5837    28555    90701 | 2147483647    36526     48 | 13.921 % |
14.82/14.83	c |     37119 |    5837    28555    90701 | 2147483647    37068     48 | 13.921 % |
14.82/14.90	c |     37220 |    5837    28555    90701 | 2147483647    37169     48 | 13.921 % |
14.92/14.94	c |     37333 |    5837    28555    90701 | 2147483647    37282     48 | 13.921 % |
14.92/15.00	c |     37454 |    5837    28555    90701 | 2147483647    37403     48 | 13.921 % |
15.02/15.05	c |     37587 |    5837    28555    90701 | 2147483647    37536     48 | 13.921 % |
15.12/15.15	c |     37733 |    5837    28555    90701 | 2147483647    37682     48 | 13.921 % |
15.22/15.22	c |     37893 |    5837    28555    90701 | 2147483647    37842     48 | 13.921 % |
15.43/15.45	c |     38069 |    5837    28555    90701 | 2147483647    38018     48 | 13.921 % |
15.43/15.50	c |     38262 |    5837    28555    90701 | 2147483647    38211     48 | 13.921 % |
15.52/15.54	c |     38474 |    5837    28555    90701 | 2147483647    38423     48 | 13.921 % |
15.72/15.74	c |     38708 |    5837    28555    90701 | 2147483647    38657     48 | 13.921 % |
15.82/15.84	c |     38965 |    5837    28555    90701 | 2147483647    38914     48 | 13.921 % |
15.92/15.98	c |     39246 |    5837    28555    90701 | 2147483647    39195     48 | 13.921 % |
16.02/16.03	c |     39557 |    5837    28555    90701 | 2147483647    39506     48 | 13.921 % |
16.32/16.37	c |     39896 |    5829    28518    90591 | 2147483647    39843     48 | 14.039 % |
16.42/16.50	c |     40269 |    5829    28518    90591 | 2147483647    40216     48 | 14.039 % |
16.82/16.87	c |     40678 |    5829    28518    90591 | 2147483647    40625     49 | 14.039 % |
16.92/16.99	c |     41127 |    5829    28518    90591 | 2147483647    41074     48 | 14.039 % |
17.42/17.46	c |     41620 |    5829    28518    90591 | 2147483647    41567     49 | 14.039 % |
17.52/17.58	c |     42162 |    5829    28518    90591 | 2147483647    42109     49 | 14.039 % |
17.72/17.72	c |     42759 |    5829    28518    90591 | 2147483647    42706     48 | 14.039 % |
17.72/17.74	c |     42859 |    5829    28518    90591 | 2147483647    42806     48 | 14.039 % |
17.82/17.84	c |     42969 |    5829    28518    90591 | 2147483647    42916     48 | 14.039 % |
17.82/17.90	c |     43090 |    5829    28518    90591 | 2147483647    43037     48 | 14.039 % |
18.02/18.07	c |     43223 |    5829    28518    90591 | 2147483647    43170     48 | 14.039 % |
18.12/18.12	c |     43370 |    5829    28518    90591 | 2147483647    43317     48 | 14.039 % |
18.32/18.31	c |     43530 |    5829    28518    90591 | 2147483647    43477     49 | 14.039 % |
18.32/18.36	c |     43706 |    5829    28518    90591 | 2147483647    43653     48 | 14.039 % |
18.52/18.53	c |     43899 |    5829    28518    90591 | 2147483647    43846     49 | 14.039 % |
18.62/18.61	c |     44111 |    5829    28518    90591 | 2147483647    44058     49 | 14.039 % |
18.82/18.86	c |     44345 |    5829    28518    90591 | 2147483647    44292     49 | 14.039 % |
18.92/18.98	c |     44601 |    5829    28518    90591 | 2147483647    44548     49 | 14.039 % |
19.22/19.27	c |     44884 |    5829    28518    90591 | 2147483647    44831     49 | 14.039 % |
19.32/19.34	c |     45196 |    5829    28518    90591 | 2147483647    45143     49 | 14.039 % |
19.62/19.67	c |     45535 |    5822    28486    90495 | 2147483647    45476     49 | 14.142 % |
20.12/20.14	c |     45908 |    5822    28486    90495 | 2147483647    45849     49 | 14.142 % |
20.22/20.26	c |     46319 |    5822    28486    90495 | 2147483647    46260     49 | 14.142 % |
20.32/20.37	c |     46768 |    5822    28486    90495 | 2147483647    46709     49 | 14.142 % |
20.93/20.96	c |     47261 |    5822    28486    90495 | 2147483647    47202     50 | 14.142 % |
21.22/21.21	c |     47806 |    5822    28486    90495 | 2147483647    47747     50 | 14.142 % |
21.82/21.84	c |     48404 |    5822    28486    90495 | 2147483647    48345     50 | 14.143 % |
21.92/22.00	c |     49061 |    5822    28486    90495 | 2147483647    49002     50 | 14.142 % |
22.03/22.03	c |     49162 |    5822    28486    90495 | 2147483647    49103     50 | 14.142 % |
22.12/22.18	c |     49272 |    5822    28486    90495 | 2147483647    49213     50 | 14.142 % |
22.22/22.22	c |     49393 |    5822    28486    90495 | 2147483647    49334     50 | 14.142 % |
22.22/22.27	c |     49526 |    5822    28486    90495 | 2147483647    49467     50 | 14.143 % |
22.32/22.39	c |     49672 |    5822    28486    90495 | 2147483647    49613     50 | 14.142 % |
22.42/22.47	c |     49832 |    5822    28486    90495 | 2147483647    49773     50 | 14.142 % |
22.62/22.68	c |     50009 |    5822    28486    90495 | 2147483647    49950     50 | 14.142 % |
22.72/22.76	c |     50203 |    5822    28486    90495 | 2147483647    50144     50 | 14.142 % |
22.92/22.96	c |     50416 |    5822    28486    90495 | 2147483647    50357     50 | 14.142 % |
23.02/23.01	c |     50649 |    5822    28486    90495 | 2147483647    50590     50 | 14.142 % |
23.02/23.08	c |     50905 |    5822    28486    90495 | 2147483647    50846     50 | 14.142 % |
23.42/23.43	c |     51186 |    5822    28486    90495 | 2147483647    51127     50 | 14.142 % |
23.72/23.73	c |     51495 |    5822    28486    90495 | 2147483647    51436     51 | 14.142 % |
24.02/24.05	c |     51836 |    5822    28486    90495 | 2147483647    51777     51 | 14.142 % |
24.12/24.19	c |     52208 |    5822    28486    90495 | 2147483647    52149     51 | 14.142 % |
24.62/24.69	c |     52617 |    5822    28486    90495 | 2147483647    52558     51 | 14.142 % |
24.82/24.81	c |     53066 |    5822    28486    90495 | 2147483647    53007     51 | 14.142 % |
25.02/25.01	c |     53559 |    5822    28486    90495 | 2147483647    53500     51 | 14.142 % |
25.33/25.35	c |     54103 |    5822    28486    90495 | 2147483647    54044     51 | 14.142 % |
25.52/25.54	c |     54700 |    5822    28486    90495 | 2147483647    54641     51 | 14.142 % |
25.62/25.70	c |     55356 |    5822    28486    90495 | 2147483647    55297     51 | 14.142 % |
26.52/26.54	c |     56079 |    5822    28486    90495 | 2147483647    56020     51 | 14.143 % |
26.62/26.61	c |     56179 |    5822    28486    90495 | 2147483647    56119     51 | 14.172 % |
26.72/26.76	c |     56289 |    5820    28477    90468 | 2147483647    56225     52 | 14.172 % |
26.92/26.92	c |     56411 |    5820    28477    90468 | 2147483647    56347     52 | 14.172 % |
27.02/27.03	c |     56544 |    5820    28477    90468 | 2147483647    56480     52 | 14.172 % |
27.22/27.28	c |     56691 |    5820    28477    90468 | 2147483647    56627     52 | 14.172 % |
27.32/27.35	c |     56852 |    5820    28477    90468 | 2147483647    56788     52 | 14.172 % |
27.42/27.50	c |     57029 |    5820    28477    90468 | 2147483647    56965     52 | 14.172 % |
27.53/27.60	c |     57223 |    5820    28477    90468 | 2147483647    57159     52 | 14.172 % |
27.82/27.84	c |     57435 |    5818    28477    90468 | 2147483647    57370     52 | 14.305 % |
28.02/28.09	c |     57668 |    5818    28477    90468 | 2147483647    57603     52 | 14.305 % |
28.12/28.13	c |     57925 |    5818    28477    90468 | 2147483647    57860     52 | 14.305 % |
28.22/28.27	c |     58206 |    5818    28477    90468 | 2147483647    58141     52 | 14.305 % |
28.32/28.36	c |     58515 |    5818    28477    90468 | 2147483647    58450     52 | 14.305 % |
28.52/28.53	c |     58855 |    5818    28477    90468 | 2147483647    58790     52 | 14.305 % |
28.63/28.69	c |     59227 |    5818    28477    90468 | 2147483647    59162     52 | 14.305 % |
29.02/29.09	c |     59637 |    5818    28477    90468 | 2147483647    59572     52 | 14.305 % |
29.32/29.34	c |     60086 |    5818    28477    90468 | 2147483647    60021     52 | 14.305 % |
30.02/30.10	c |     60580 |    5818    28477    90468 | 2147483647    60515     52 | 14.305 % |
30.22/30.29	c |     61122 |    5818    28477    90468 | 2147483647    61057     52 | 14.305 % |
31.02/31.03	c |     61720 |    5818    28477    90468 | 2147483647    61655     52 | 14.305 % |
31.42/31.46	c |     62375 |    5818    28477    90468 | 2147483647    62310     52 | 14.305 % |
32.42/32.43	c |     63095 |    5818    28477    90468 | 2147483647    63030     53 | 14.305 % |
32.72/32.79	c |     63887 |    5811    28435    90342 | 2147483647    63814     53 | 14.305 % |
32.82/32.84	c |     63988 |    5811    28435    90342 | 2147483647    63915     53 | 14.305 % |
32.92/33.02	c |     64098 |    5811    28435    90342 | 2147483647    64025     53 | 14.305 % |
33.03/33.06	c |     64219 |    5811    28435    90342 | 2147483647    64146     53 | 14.305 % |
33.12/33.13	c |     64353 |    5811    28435    90342 | 2147483647    64280     53 | 14.305 % |
33.12/33.21	c |     64501 |    5811    28435    90342 | 2147483647    64428     52 | 14.305 % |
33.22/33.24	c |     64661 |    5811    28435    90342 | 2147483647    64588     52 | 14.305 % |
33.42/33.48	c |     64838 |    5811    28435    90342 | 2147483647    64765     53 | 14.305 % |
33.52/33.57	c |     65034 |    5811    28435    90342 | 2147483647    64961     53 | 14.305 % |
33.62/33.66	c |     65249 |    5811    28435    90342 | 2147483647    65176     52 | 14.305 % |
33.72/33.77	c |     65483 |    5811    28435    90342 | 2147483647    65410     52 | 14.305 % |
33.92/33.92	c |     65739 |    5811    28435    90342 | 2147483647    65666     52 | 14.305 % |
34.32/34.38	c |     66020 |    5811    28435    90342 | 2147483647    65947     53 | 14.305 % |
34.62/34.69	c |     66331 |    5811    28435    90342 | 2147483647    66258     52 | 14.305 % |
34.92/34.93	c |     66671 |    5811    28435    90342 | 2147483647    66598     52 | 14.305 % |
35.23/35.22	c |     67043 |    5811    28435    90342 | 2147483647    66970     52 | 14.305 % |
35.72/35.76	c |     67452 |    5811    28435    90342 | 2147483647    67379     53 | 14.305 % |
35.92/36.00	c |     67902 |    5811    28435    90342 | 2147483647    67829     53 | 14.305 % |
36.52/36.59	c |     68396 |    5811    28435    90342 | 2147483647    68323     53 | 14.305 % |
36.72/36.77	c |     68938 |    5811    28435    90342 | 2147483647    68865     53 | 14.305 % |
37.32/37.39	c |     69534 |    5811    28435    90342 | 2147483647    69461     53 | 14.305 % |
38.12/38.11	c |     70189 |    5811    28435    90342 | 2147483647    70116     53 | 14.305 % |
38.53/38.55	c |     70909 |    5811    28435    90342 | 2147483647    70836     53 | 14.305 % |
39.72/39.78	c |     71703 |    5811    28435    90342 | 2147483647    71630     53 | 14.305 % |
40.73/40.79	c |     72574 |    5811    28435    90342 | 2147483647    72501     53 | 14.305 % |
40.92/40.97	c |     72675 |    5811    28435    90342 | 2147483647    72602     54 | 14.305 % |
41.02/41.04	c |     72785 |    5811    28435    90342 | 2147483647    72712     54 | 14.305 % |
41.22/41.29	c |     72906 |    5811    28435    90342 | 2147483647    72833     54 | 14.305 % |
41.32/41.38	c |     73040 |    5811    28435    90342 | 2147483647    72967     54 | 14.305 % |
41.52/41.60	c |     73186 |    5811    28435    90342 | 2147483647    73113     54 | 14.305 % |
41.62/41.68	c |     73346 |    5811    28435    90342 | 2147483647    73273     54 | 14.305 % |
41.92/41.96	c |     73523 |    5811    28435    90342 | 2147483647    73450     54 | 14.305 % |
42.02/42.05	c |     73720 |    5811    28435    90342 | 2147483647    73647     54 | 14.305 % |
42.43/42.49	c |     73932 |    5811    28435    90342 | 2147483647    73859     54 | 14.305 % |
42.93/42.94	c |     74165 |    5799    28366    90141 | 2147483647    74090     54 | 14.482 % |
43.23/43.22	c |     74422 |    5799    28366    90141 | 2147483647    74347     54 | 14.482 % |
43.43/43.43	c |     74703 |    5799    28366    90141 | 2147483647    74628     54 | 14.482 % |
43.93/43.94	c |     75013 |    5799    28366    90141 | 2147483647    74938     54 | 14.482 % |
44.13/44.19	c |     75353 |    5799    28366    90141 | 2147483647    75278     54 | 14.482 % |
44.33/44.33	c |     75727 |    5799    28366    90141 | 2147483647    75652     54 | 14.482 % |
45.03/45.04	c |     76136 |    5799    28366    90141 | 2147483647    76061     54 | 14.482 % |
45.33/45.35	c |     76586 |    5798    28366    90141 | 2147483647    76510     54 | 14.806 % |
45.93/45.99	c |     77080 |    5797    28366    90141 | 2147483647    77003     54 | 15.131 % |
46.23/46.31	c |     77622 |    5797    28366    90141 | 2147483647    77545     54 | 15.131 % |
47.23/47.25	c |     78218 |    5797    28366    90141 | 2147483647    78141     54 | 15.131 % |
48.03/48.02	c |     78874 |    5797    28366    90141 | 2147483647    78797     54 | 15.131 % |
48.33/48.32	c |     79595 |    5797    28366    90141 | 2147483647    79518     54 | 15.131 % |
48.73/48.79	c |     80388 |    5797    28366    90141 | 2147483647    80311     54 | 15.131 % |
50.13/50.16	c |     81262 |    5797    28366    90141 | 2147483647    81185     55 | 15.131 % |
50.63/50.62	c |     82221 |    5797    28366    90141 | 2147483647    82144     54 | 15.131 % |
50.73/50.75	c |     82321 |    5797    28366    90141 | 2147483647    82244     54 | 15.131 % |
50.83/50.85	c |     82431 |    5797    28366    90141 | 2147483647    82354     54 | 15.131 % |
51.03/51.06	c |     82552 |    5797    28366    90141 | 2147483647    82475     54 | 15.131 % |
51.13/51.19	c |     82685 |    5797    28366    90141 | 2147483647    82608     54 | 15.131 % |
51.33/51.38	c |     82831 |    5797    28366    90141 | 2147483647    82754     54 | 15.131 % |
51.43/51.47	c |     82992 |    5797    28366    90141 | 2147483647    82915     54 | 15.131 % |
51.53/51.61	c |     83168 |    5797    28366    90141 | 2147483647    83091     54 | 15.131 % |
51.73/51.74	c |     83363 |    5797    28366    90141 | 2147483647    83286     54 | 15.131 % |
51.83/51.84	c |     83575 |    5797    28366    90141 | 2147483647    83498     54 | 15.131 % |
51.93/52.00	c |     83808 |    5755    28161    89527 | 2147483647    83726     54 | 15.131 % |
52.43/52.51	c |     84064 |    5755    28161    89527 | 2147483647    83982     54 | 15.131 % |
52.83/52.90	c |     84345 |    5755    28161    89527 | 2147483647    84263     54 | 15.131 % |
53.43/53.45	c |     84656 |    5755    28161    89527 | 2147483647    84574     54 | 15.131 % |
53.93/53.93	c |     84995 |    5755    28161    89527 | 2147483647    84913     54 | 15.131 % |
54.13/54.18	c |     85368 |    5755    28161    89527 | 2147483647    85286     54 | 15.131 % |
54.83/54.88	c |     85777 |    5755    28161    89527 | 2147483647    85695     54 | 15.131 % |
55.13/55.16	c |     86227 |    5755    28161    89527 | 2147483647    86145     54 | 15.131 % |
56.03/56.05	c |     86720 |    5755    28161    89527 | 2147483647    86638     55 | 15.131 % |
56.53/56.59	c |     87262 |    5755    28161    89527 | 2147483647    87180     54 | 15.131 % |
57.53/57.52	c |     87860 |    5755    28161    89527 | 2147483647    87778     55 | 15.131 % |
58.33/58.33	c |     88515 |    5755    28161    89527 | 2147483647    88433     55 | 15.131 % |
59.53/59.55	c |     89235 |    5755    28161    89527 | 2147483647    89153     55 | 15.131 % |
60.83/60.82	c |     90027 |    5755    28161    89527 | 2147483647    89945     56 | 15.131 % |
62.03/62.04	c |     90898 |    5755    28161    89527 | 2147483647    90816     56 | 15.131 % |
62.43/62.49	c |     91856 |    5755    28161    89527 | 2147483647    91774     56 | 15.131 % |
64.43/64.51	c |     92911 |    5755    28161    89527 | 2147483647    92829     56 | 15.131 % |
64.63/64.70	c |     93013 |    5755    28161    89527 | 2147483647    92931     56 | 15.131 % |
64.83/64.86	c |     93123 |    5755    28161    89527 | 2147483647    93041     56 | 15.131 % |
64.93/65.01	c |     93244 |    5755    28161    89527 | 2147483647    93162     56 | 15.131 % |
65.33/65.39	c |     93377 |    5755    28161    89527 | 2147483647    93295     56 | 15.131 % |
65.43/65.46	c |     93523 |    5755    28161    89527 | 2147483647    93441     56 | 15.131 % |
65.83/65.86	c |     93683 |    5755    28161    89527 | 2147483647    93601     57 | 15.131 % |
65.93/65.97	c |     93860 |    5755    28161    89527 | 2147483647    93778     56 | 15.131 % |
66.23/66.22	c |     94054 |    5755    28161    89527 | 2147483647    93972     57 | 15.131 % |
66.33/66.40	c |     94266 |    5755    28161    89527 | 2147483647    94184     56 | 15.131 % |
66.53/66.53	c |     94500 |    5755    28161    89527 | 2147483647    94418     56 | 15.131 % |
67.03/67.06	c |     94756 |    5755    28161    89527 | 2147483647    94674     57 | 15.131 % |
67.33/67.35	c |     95037 |    5755    28161    89527 | 2147483647    94955     57 | 15.131 % |
67.93/67.93	c |     95346 |    5755    28161    89527 | 2147483647    95264     57 | 15.131 % |
68.23/68.25	c |     95685 |    5755    28161    89527 | 2147483647    95603     57 | 15.131 % |
68.83/68.84	c |     96061 |    5755    28161    89527 | 2147483647    95979     57 | 15.131 % |
69.23/69.29	c |     96470 |    5755    28161    89527 | 2147483647    96388     57 | 15.131 % |
70.03/70.08	c |     96919 |    5755    28161    89527 | 2147483647    96837     57 | 15.131 % |
70.53/70.56	c |     97415 |    5755    28161    89527 | 2147483647    97333     57 | 15.131 % |
71.43/71.46	c |     97959 |    5755    28161    89527 | 2147483647    97877     57 | 15.131 % |
71.93/71.97	c |     98557 |    5755    28161    89527 | 2147483647    98475     57 | 15.131 % |
73.13/73.21	c |     99212 |    5755    28161    89527 | 2147483647    99130     58 | 15.131 % |
73.43/73.48	c |     99932 |    5755    28161    89527 | 2147483647    99850     57 | 15.131 % |
75.13/75.15	c |    100724 |    5755    28161    89527 | 2147483647   100642     58 | 15.131 % |
76.13/76.21	c |    101595 |    5755    28161    89527 | 2147483647   101513     58 | 15.131 % |
77.63/77.64	c |    102554 |    5755    28161    89527 | 2147483647   102472     58 | 15.131 % |
78.63/78.63	c |    103608 |    5755    28161    89527 | 2147483647   103526     58 | 15.131 % |
80.63/80.67	c |    104766 |    5755    28161    89527 | 2147483647   104684     59 | 15.131 % |
80.73/80.76	c |    104866 |    5755    28161    89527 | 2147483647   104784     59 | 15.131 % |
80.73/80.80	c |    104976 |    5755    28161    89527 | 2147483647   104894     59 | 15.131 % |
81.03/81.10	c |    105100 |    5755    28161    89527 | 2147483647   105018     59 | 15.131 % |
81.23/81.22	c |    105233 |    5755    28161    89527 | 2147483647   105151     59 | 15.131 % |
81.43/81.51	c |    105380 |    5755    28161    89527 | 2147483647   105298     59 | 15.131 % |
81.73/81.78	c |    105540 |    5755    28161    89527 | 2147483647   105458     59 | 15.131 % |
82.23/82.25	c |    105718 |    5755    28161    89527 | 2147483647   105636     59 | 15.131 % |
82.53/82.52	c |    105911 |    5755    28161    89527 | 2147483647   105829     59 | 15.131 % |
82.93/83.01	c |    106124 |    5755    28161    89527 | 2147483647   106042     59 | 15.131 % |
83.13/83.15	c |    106357 |    5755    28161    89527 | 2147483647   106275     59 | 15.131 % |
83.83/83.82	c |    106614 |    5755    28161    89527 | 2147483647   106532     59 | 15.131 % |
83.93/84.01	c |    106895 |    5755    28161    89527 | 2147483647   106813     59 | 15.131 % |
84.63/84.67	c |    107204 |    5755    28161    89527 | 2147483647   107122     59 | 15.131 % |
84.93/84.99	c |    107544 |    5755    28161    89527 | 2147483647   107462     59 | 15.131 % |
85.63/85.65	c |    107921 |    5755    28161    89527 | 2147483647   107839     59 | 15.131 % |
85.93/85.98	c |    108330 |    5755    28161    89527 | 2147483647   108248     59 | 15.131 % |
86.93/86.93	c |    108779 |    5755    28161    89527 | 2147483647   108697     59 | 15.131 % |
87.33/87.32	c |    109273 |    5755    28161    89527 | 2147483647   109191     59 | 15.131 % |
88.53/88.53	c |    109815 |    5755    28161    89527 | 2147483647   109733     60 | 15.131 % |
88.93/88.92	c |    110412 |    5755    28161    89527 |   109918   110330     59 | 15.131 % |
90.03/90.05	c |    111068 |    5755    28161    89527 |   109918   110986     60 | 15.131 % |
90.53/90.60	c |    111789 |    5755    28161    89527 |   109918   100609     59 | 15.131 % |
91.93/91.95	c |    112582 |    5755    28161    89527 |   109918   101402     59 | 15.131 % |
93.53/93.59	c |    113453 |    5755    28161    89527 |   109918   102273     60 | 15.131 % |
95.33/95.32	c |    114411 |    5755    28161    89527 |   109918   103231     60 | 15.131 % |
96.83/96.90	c |    115466 |    5755    28161    89527 |   109918   104286     60 | 15.131 % |
99.23/99.23	c |    116625 |    5755    28161    89527 |   109918   105445     60 | 15.131 % |
100.63/100.67	c |    117898 |    5755    28161    89527 |   109918   106718     60 | 15.131 % |
100.83/100.85	c |    117998 |    5755    28161    89527 |   109918   106818     60 | 15.131 % |
101.03/101.02	c |    118108 |    5755    28161    89527 |   109918   106928     60 | 15.131 % |
101.13/101.20	c |    118229 |    5755    28161    89527 |   109918   107049     60 | 15.131 % |
101.43/101.50	c |    118363 |    5755    28161    89527 |   109918   107183     60 | 15.131 % |
101.63/101.64	c |    118510 |    5755    28161    89527 |   109918   107330     60 | 15.131 % |
101.83/101.82	c |    118671 |    5755    28161    89527 |   109918   107491     60 | 15.131 % |
101.93/101.92	c |    118847 |    5755    28161    89527 |   109918   107667     60 | 15.131 % |
102.33/102.32	c |    119041 |    5755    28161    89527 |   109918   107861     60 | 15.131 % |
102.63/102.70	c |    119254 |    5755    28161    89527 |   109918   108074     60 | 15.131 % |
103.03/103.02	c |    119487 |    5755    28161    89527 |   109918   108307     60 | 15.131 % |
103.23/103.23	c |    119743 |    5755    28161    89527 |   109918   108563     60 | 15.131 % |
103.73/103.80	c |    120026 |    5736    28077    89274 |   108818   108844     60 | 15.411 % |
104.43/104.50	c |    120336 |    5736    28077    89274 |   108818   109154     60 | 15.411 % |
104.83/104.83	c |    120676 |    5736    28077    89274 |   108818   109494     60 | 15.411 % |
105.73/105.76	c |    121049 |    5736    28077    89274 |   108818   109867     61 | 15.411 % |
106.33/106.37	c |    121460 |    5736    28077    89274 |   108818    95068     60 | 15.411 % |
106.83/106.88	c |    121909 |    5736    28077    89274 |   108818    95517     60 | 15.411 % |
107.63/107.63	c |    122402 |    5736    28077    89274 |   108818    96010     60 | 15.411 % |
107.83/107.89	c |    122945 |    5736    28077    89274 |   108818    96553     60 | 15.411 % |
109.13/109.16	c |    123541 |    5736    28077    89274 |   108818    97149     60 | 15.411 % |
110.43/110.49	c |    124197 |    5734    28077    89274 |   108818    97803     60 | 15.529 % |
111.43/111.47	c |    124919 |    5734    28077    89274 |   108818    98525     60 | 15.529 % |
112.93/112.97	c |    125711 |    5734    28077    89274 |   108818    99317     61 | 15.529 % |
114.03/114.04	c |    126583 |    5734    28077    89274 |   108818   100189     61 | 15.529 % |
115.73/115.77	c |    127544 |    5734    28077    89274 |   108818   101150     61 | 15.529 % |
117.83/117.81	c |    128600 |    5734    28077    89274 |   108818   102206     61 | 15.529 % |
119.94/119.96	c |    129761 |    5734    28077    89274 |   108818   103367     61 | 15.529 % |
121.73/121.73	c |    131034 |    5734    28077    89274 |   103607   104640     61 | 15.529 % |
124.73/124.75	c |    132436 |    5734    28077    89274 |   103607   106042     62 | 15.529 % |
124.93/125.00	c |    132537 |    5728    28040    89164 |   103607    95096     61 | 15.529 % |
125.13/125.15	c |    132649 |    5728    28040    89164 |   103607    95208     61 | 15.529 % |
125.23/125.24	c |    132771 |    5728    28040    89164 |   103607    95330     61 | 15.529 % |
125.53/125.56	c |    132904 |    5728    28040    89164 |   103607    95463     61 | 15.529 % |
125.73/125.77	c |    133052 |    5728    28040    89164 |   103607    95611     61 | 15.529 % |
126.03/126.08	c |    133212 |    5728    28040    89164 |   103607    95771     62 | 15.529 % |
126.23/126.25	c |    133389 |    5728    28040    89164 |   103607    95948     61 | 15.529 % |
126.54/126.56	c |    133583 |    5728    28040    89164 |   103607    96142     61 | 15.529 % |
127.03/127.10	c |    133795 |    5728    28040    89164 |   103607    96354     62 | 15.529 % |
127.43/127.47	c |    134031 |    5728    28040    89164 |   103607    96590     62 | 15.529 % |
127.64/127.71	c |    134287 |    5728    28040    89164 |   103607    96846     62 | 15.529 % |
127.93/127.96	c |    134569 |    5728    28040    89164 |   103607    97128     62 | 15.529 % |
128.43/128.45	c |    134879 |    5728    28040    89164 |   103607    97438     62 | 15.529 % |
128.83/128.83	c |    135220 |    5728    28040    89164 |   103607    97779     62 | 15.529 % |
129.23/129.28	c |    135593 |    5728    28040    89164 |   103607    98152     62 | 15.529 % |
129.43/129.45	c |    136003 |    5728    28040    89164 |   103607    98562     62 | 15.529 % |
129.93/129.92	c |    136453 |    5728    28040    89164 |   103607    99012     62 | 15.529 % |
130.83/130.82	c |    136948 |    5728    28040    89164 |   103607    99507     62 | 15.529 % |
131.63/131.66	c |    137490 |    5728    28040    89164 |   103607   100049     62 | 15.529 % |
132.04/132.05	c |    138086 |    5728    28040    89164 |   103607   100645     62 | 15.529 % |
132.63/132.69	c |    138742 |    5728    28040    89164 |   103607   101301     61 | 15.529 % |
133.93/134.00	c |    139463 |    5728    28040    89164 |   103607   102022     62 | 15.529 % |
134.83/134.83	c |    140256 |    5728    28040    89164 |   102559   102815     62 | 15.529 % |
136.33/136.33	c |    141127 |    5728    28040    89164 |   102559   103686     62 | 15.529 % |
137.93/137.95	c |    142087 |    5728    28040    89164 |   102559    94278     62 | 15.529 % |
139.53/139.60	c |    143142 |    5727    28040    89164 |   102559    95332     62 | 15.647 % |
140.93/140.97	c |    144301 |    5727    28040    89164 |   102559    96491     62 | 15.647 % |
143.13/143.12	c |    145574 |    5727    28040    89164 |   102559    97764     62 | 15.647 % |
144.23/144.22	c |    146975 |    5727    28040    89164 |   102559    99165     62 | 15.647 % |
146.73/146.79	c |    148519 |    5727    28040    89164 |   102559   100709     62 | 15.647 % |
146.83/146.90	c |    148621 |    5720    27993    89028 |   102559   100804     62 | 15.647 % |
146.93/146.98	c |    148731 |    5720    27993    89028 |   102559   100914     62 | 15.647 % |
147.23/147.24	c |    148853 |    5720    27993    89028 |   102559   101036     62 | 15.647 % |
147.33/147.38	c |    148986 |    5720    27993    89028 |   102559   101169     62 | 15.647 % |
147.44/147.49	c |    149132 |    5720    27993    89028 |   102559   101315     62 | 15.647 % |
147.53/147.56	c |    149292 |    5720    27993    89028 |   102559   101475     62 | 15.647 % |
147.93/147.95	c |    149468 |    5720    27993    89028 |   102559   101651     62 | 15.647 % |
148.23/148.22	c |    149661 |    5720    27993    89028 |   102559   101844     62 | 15.647 % |
148.63/148.62	c |    149875 |    5720    27993    89028 |   102559   102058     62 | 15.647 % |
148.93/148.95	c |    150109 |    5720    27993    89028 | 2147483647   102292     62 | 15.647 % |
149.43/149.45	c |    150365 |    5720    27993    89028 | 2147483647   102548     62 | 15.647 % |
149.73/149.79	c |    150652 |    5720    27993    89028 | 2147483647   102835     62 | 15.647 % |
150.33/150.41	c |    150961 |    5720    27993    89028 | 2147483647   103144     63 | 15.647 % |
150.93/150.98	c |    151300 |    5720    27993    89028 | 2147483647   103483     63 | 15.647 % |
151.63/151.70	c |    151673 |    5720    27993    89028 | 2147483647   103856     63 | 15.647 % |
152.43/152.44	c |    152083 |    5720    27993    89028 | 2147483647   104266     63 | 15.647 % |
153.13/153.14	c |    152533 |    5720    27993    89028 | 2147483647   104716     63 | 15.647 % |
153.63/153.67	c |    153027 |    5720    27993    89028 | 2147483647   105210     63 | 15.647 % |
154.73/154.72	c |    153570 |    5720    27993    89028 | 2147483647   105753     63 | 15.647 % |
155.63/155.69	c |    154167 |    5720    27993    89028 | 2147483647   106350     63 | 15.647 % |
156.53/156.57	c |    154823 |    5720    27993    89028 | 2147483647   107006     63 | 15.647 % |
157.63/157.69	c |    155543 |    5720    27993    89028 | 2147483647   107726     63 | 15.647 % |
158.23/158.24	c |    156335 |    5720    27993    89028 | 2147483647   108518     63 | 15.647 % |
159.93/159.99	c |    157206 |    5720    27993    89028 | 2147483647   109389     63 | 15.647 % |
161.23/161.29	c |    158164 |    5720    27993    89028 | 2147483647   110347     63 | 15.647 % |
162.84/162.83	c |    159218 |    5720    27993    89028 | 2147483647   111401     63 | 15.647 % |
164.73/164.76	c |    160377 |    5720    27993    89028 |   112183   112560     63 | 15.647 % |
166.73/166.80	c |    161651 |    5720    27993    89028 |   112183   113834     63 | 15.647 % |
169.54/169.61	c |    163051 |    5720    27993    89028 |   112183    98828     62 | 15.647 % |
171.84/171.88	c |    164591 |    5720    27993    89028 |   112183   100368     62 | 15.647 % |
175.14/175.22	c |    166285 |    5720    27993    89028 |   112183   102062     63 | 15.647 % |
175.34/175.36	c |    166385 |    5720    27993    89028 |   112183   102162     63 | 15.647 % |
175.54/175.57	c |    166495 |    5720    27993    89028 |   112183   102272     63 | 15.647 % |
175.64/175.72	c |    166617 |    5720    27993    89028 |   112183   102394     63 | 15.647 % |
176.04/176.07	c |    166751 |    5720    27993    89028 |   112183   102528     63 | 15.647 % |
176.24/176.27	c |    166898 |    5720    27993    89028 |   112183   102675     63 | 15.647 % |
176.54/176.56	c |    167059 |    5720    27993    89028 |   112183   102836     63 | 15.647 % |
176.94/176.94	c |    167239 |    5720    27993    89028 |   112183   103016     63 | 15.647 % |
177.14/177.17	c |    167432 |    5720    27993    89028 |   112183   103209     63 | 15.647 % |
177.74/177.74	c |    167644 |    5720    27993    89028 |   112183   103421     63 | 15.647 % |
177.94/178.00	c |    167877 |    5720    27993    89028 |   112183   103654     63 | 15.647 % |
178.64/178.65	c |    168133 |    5720    27993    89028 |   112183   103910     64 | 15.647 % |
179.04/179.04	c |    168414 |    5720    27993    89028 |   112183   104191     64 | 15.647 % |
179.64/179.70	c |    168723 |    5720    27993    89028 |   112183   104500     64 | 15.647 % |
180.14/180.19	c |    169065 |    5720    27993    89028 |   112183   104842     64 | 15.647 % |
181.04/181.12	c |    169438 |    5720    27993    89028 |   112183   105215     64 | 15.647 % |
181.74/181.74	c |    169848 |    5720    27993    89028 |   112183   105625     64 | 15.647 % |
182.44/182.51	c |    170298 |    5720    27993    89028 |   105777   106075     64 | 15.647 % |
183.34/183.33	c |    170791 |    5720    27993    89028 |   105777   106568     64 | 15.647 % |
184.34/184.32	c |    171333 |    5720    27993    89028 |   105777   107110     64 | 15.647 % |
185.34/185.34	c |    171929 |    5720    27993    89028 |   105777    96995     62 | 15.647 % |
186.44/186.50	c |    172584 |    5720    27993    89028 |   105777    97650     62 | 15.647 % |
187.44/187.50	c |    173304 |    5720    27993    89028 |   105777    98370     62 | 15.647 % |
188.84/188.91	c |    174096 |    5720    27993    89028 |   105777    99162     62 | 15.647 % |
190.54/190.59	c |    174967 |    5720    27993    89028 |   105777   100033     63 | 15.647 % |
192.04/192.11	c |    175925 |    5720    27993    89028 |   105777   100991     63 | 15.647 % |
194.04/194.04	c |    176981 |    5720    27993    89028 |   105777   102047     63 | 15.647 % |
195.24/195.28	c |    178140 |    5720    27993    89028 |   105777   103206     63 | 15.647 % |
197.94/197.98	c |    179416 |    5720    27993    89028 |   105777   104482     63 | 15.647 % |
200.24/200.28	c |    180817 |    5720    27993    89028 |   105067   105883     63 | 15.647 % |
202.04/202.11	c |    182357 |    5720    27993    89028 |   105067    90732     60 | 15.647 % |
205.14/205.19	c |    184052 |    5720    27993    89028 |   105067    92427     60 | 15.647 % |
208.24/208.23	c |    185915 |    5720    27993    89028 |   105067    94290     61 | 15.647 % |
208.34/208.39	c |    186016 |    5720    27993    89028 |   105067    94391     61 | 15.647 % |
208.64/208.63	c |    186126 |    5720    27993    89028 |   105067    94501     61 | 15.647 % |
208.74/208.77	c |    186249 |    5720    27993    89028 |   105067    94624     61 | 15.647 % |
208.84/208.85	c |    186382 |    5720    27993    89028 |   105067    94757     61 | 15.647 % |
209.14/209.20	c |    186530 |    5720    27993    89028 |   105067    94905     61 | 15.647 % |
209.54/209.59	c |    186691 |    5687    27875    88673 |   105067    95060     61 | 16.163 % |
209.84/209.91	c |    186868 |    5687    27875    88673 |   105067    95237     61 | 16.163 % |
210.14/210.13	c |    187061 |    5687    27875    88673 |   105067    95430     61 | 16.163 % |
210.54/210.59	c |    187273 |    5687    27875    88673 |   105067    95642     61 | 16.163 % |
210.84/210.86	c |    187506 |    5687    27875    88673 |   105067    95875     61 | 16.163 % |
211.34/211.35	c |    187762 |    5687    27875    88673 |   105067    96131     61 | 16.163 % |
211.44/211.50	c |    188043 |    5687    27875    88673 |   105067    96412     61 | 16.163 % |
211.94/211.94	c |    188352 |    5687    27875    88673 |   105067    96721     61 | 16.163 % |
212.44/212.49	c |    188692 |    5687    27875    88673 |   105067    97061     61 | 16.163 % |
212.94/212.99	c |    189064 |    5687    27875    88673 |   105067    97433     61 | 16.163 % |
213.94/213.93	c |    189473 |    5687    27875    88673 |   105067    97842     62 | 16.163 % |
214.44/214.50	c |    189922 |    5687    27875    88673 |   105067    98291     62 | 16.163 % |
215.34/215.34	c |    190416 |    5687    27875    88673 |    98370    98785     62 | 16.163 % |
216.44/216.46	c |    190959 |    5687    27875    88673 |    98370    99328     62 | 16.163 % |
217.34/217.41	c |    191556 |    5687    27875    88673 |    98370    99925     62 | 16.163 % |
218.74/218.73	c |    192212 |    5687    27875    88673 |    98370    88964     60 | 16.163 % |
219.64/219.63	c |    192933 |    5687    27875    88673 |    98370    89685     60 | 16.163 % |
220.74/220.79	c |    193725 |    5687    27875    88673 |    98370    90477     60 | 16.163 % |
221.54/221.59	c |    194596 |    5687    27875    88673 |    98370    91348     60 | 16.163 % |
223.64/223.70	c |    195554 |    5687    27875    88673 |    98370    92306     61 | 16.163 % |
224.34/224.39	c |    196609 |    5687    27875    88673 |    98370    93361     61 | 16.163 % |
225.04/225.04	c |    197768 |    5687    27875    88673 |    98370    94520     60 | 16.163 % |
226.04/226.04	c |    199042 |    5687    27875    88673 |    98370    95794     60 | 16.163 % |
228.74/228.75	c |    200443 |    5685    27834    88551 | 2147483647    97192     61 | 16.163 % |
229.74/229.73	c |    201983 |    5685    27834    88551 | 2147483647    98732     60 | 16.163 % |
231.94/231.93	c |    203677 |    5685    27834    88551 | 2147483647   100426     61 | 16.163 % |
232.94/232.94	c |    205542 |    5685    27834    88551 | 2147483647   102291     60 | 16.163 % |
236.74/236.72	c |    207591 |    5685    27834    88551 | 2147483647   104340     61 | 16.163 % |
236.84/236.86	c |    207693 |    5685    27834    88551 | 2147483647   104442     61 | 16.163 % |
237.04/237.10	c |    207803 |    5685    27834    88551 | 2147483647   104552     61 | 16.163 % |
237.24/237.22	c |    207925 |    5685    27834    88551 | 2147483647   104674     61 | 16.163 % |
237.44/237.51	c |    208058 |    5685    27834    88551 | 2147483647   104807     61 | 16.163 % |
237.84/237.85	c |    208205 |    5685    27834    88551 | 2147483647   104954     61 | 16.163 % |
238.24/238.23	c |    208365 |    5685    27834    88551 | 2147483647   105114     61 | 16.163 % |
238.44/238.44	c |    208541 |    5685    27834    88551 | 2147483647   105290     61 | 16.163 % |
238.54/238.58	c |    208735 |    5685    27834    88551 | 2147483647   105484     61 | 16.163 % |
238.84/238.85	c |    208949 |    5685    27834    88551 | 2147483647   105698     61 | 16.163 % |
238.94/239.00	c |    209182 |    5685    27834    88551 | 2147483647   105931     61 | 16.163 % |
239.44/239.46	c |    209438 |    5685    27834    88551 | 2147483647   106187     61 | 16.163 % |
239.64/239.65	c |    209720 |    5685    27834    88551 | 2147483647   106469     61 | 16.163 % |
240.24/240.25	c |    210029 |    5685    27834    88551 | 2147483647   106778     61 | 16.163 % |
240.84/240.90	c |    210368 |    5685    27834    88551 | 2147483647   107117     61 | 16.163 % |
241.64/241.68	c |    210740 |    5685    27834    88551 | 2147483647   107489     62 | 16.163 % |
242.34/242.33	c |    211152 |    5685    27834    88551 | 2147483647   107901     62 | 16.163 % |
243.15/243.13	c |    211601 |    5685    27834    88551 | 2147483647   108350     62 | 16.163 % |
243.94/243.97	c |    212094 |    5685    27834    88551 | 2147483647   108843     62 | 16.163 % |
245.24/245.30	c |    212640 |    5685    27834    88551 | 2147483647   109389     62 | 16.163 % |
245.64/245.65	c |    213237 |    5685    27834    88551 | 2147483647   109986     62 | 16.163 % |
246.45/246.46	c |    213893 |    5685    27834    88551 | 2147483647   110642     62 | 16.163 % |
247.83/247.88	c |    214615 |    5685    27834    88551 | 2147483647   111364     62 | 16.163 % |
249.43/249.42	c |    215407 |    5685    27834    88551 | 2147483647   112156     62 | 16.163 % |
251.23/251.21	c |    216279 |    5681    27817    88500 | 2147483647   113025     62 | 16.222 % |
253.53/253.58	c |    217237 |    5681    27817    88500 | 2147483647   113983     62 | 16.222 % |
255.53/255.55	c |    218290 |    5681    27817    88500 | 2147483647   115036     62 | 16.222 % |
257.93/257.99	c |    219448 |    5681    27817    88500 | 2147483647   116194     63 | 16.222 % |
259.53/259.52	c |    220722 |    5681    27817    88500 |   116747   117468     62 | 16.222 % |
262.23/262.29	c |    222122 |    5681    27817    88500 |   116747   118868     63 | 16.222 % |
264.63/264.69	c |    223663 |    5681    27817    88500 |   116747   102282     60 | 16.222 % |
268.63/268.70	c |    225357 |    5681    27817    88500 |   116747   103976     60 | 16.222 % |
271.63/271.69	c |    227221 |    5681    27817    88500 |   116747   105840     60 | 16.222 % |
274.73/274.72	c |    229272 |    5681    27817    88500 |   116747   107891     60 | 16.222 % |
276.33/276.34	c |    231525 |    5681    27817    88500 |   108620   110144     59 | 16.222 % |
276.63/276.64	c |    231626 |    5681    27817    88500 |   108620    89957     54 | 16.222 % |
276.73/276.79	c |    231736 |    5681    27817    88500 |   108620    90067     54 | 16.222 % |
277.03/277.01	c |    231858 |    5681    27817    88500 |   108620    90189     54 | 16.222 % |
277.13/277.11	c |    231991 |    5681    27817    88500 |   108620    90322     54 | 16.222 % |
277.33/277.39	c |    232137 |    5681    27817    88500 |   108620    90468     54 | 16.222 % |
277.53/277.56	c |    232297 |    5681    27817    88500 |   108620    90628     54 | 16.222 % |
277.83/277.84	c |    232474 |    5681    27817    88500 |   108620    90805     54 | 16.222 % |
277.93/277.97	c |    232668 |    5681    27817    88500 |   108620    90999     54 | 16.222 % |
278.34/278.34	c |    232880 |    5681    27817    88500 |   108620    91211     54 | 16.222 % |
278.63/278.64	c |    233113 |    5681    27817    88500 |   108620    91444     54 | 16.222 % |
279.13/279.15	c |    233369 |    5681    27817    88500 |   108620    91700     54 | 16.222 % |
279.53/279.51	c |    233650 |    5681    27817    88500 |   108620    91981     54 | 16.222 % |
280.13/280.14	c |    233959 |    5681    27817    88500 |   108620    92290     55 | 16.222 % |
280.63/280.61	c |    234301 |    5681    27817    88500 |   108620    92632     55 | 16.222 % |
281.33/281.33	c |    234674 |    5681    27817    88500 |   108620    93005     55 | 16.222 % |
281.64/281.69	c |    235085 |    5681    27817    88500 |   108620    93416     55 | 16.222 % |
282.43/282.48	c |    235535 |    5681    27817    88500 |   108620    93866     55 | 16.222 % |
282.74/282.76	c |    236031 |    5681    27817    88500 |   108620    94362     55 | 16.222 % |
283.23/283.30	c |    236574 |    5681    27817    88500 |   108620    94905     55 | 16.222 % |
283.93/283.93	c |    237171 |    5681    27817    88500 |   108620    95502     55 | 16.222 % |
285.23/285.24	c |    237826 |    5681    27817    88500 |   108620    96157     55 | 16.222 % |
286.63/286.66	c |    238546 |    5681    27817    88500 |   108620    96877     56 | 16.222 % |
287.73/287.74	c |    239338 |    5681    27817    88500 |   108620    97669     56 | 16.222 % |
289.63/289.62	c |    240209 |    5681    27817    88500 |    98332    98540     56 | 16.222 % |
291.13/291.19	c |    241169 |    5681    27817    88500 |    98332    99500     56 | 16.222 % |
293.14/293.19	c |    242222 |    5681    27817    88500 |    98332    87195     53 | 16.222 % |
294.74/294.77	c |    243382 |    5681    27817    88500 |    98332    88355     54 | 16.222 % |
296.34/296.36	c |    244656 |    5681    27817    88500 |    98332    89629     54 | 16.222 % |
298.24/298.31	c |    246057 |    5681    27817    88500 |    98332    91030     54 | 16.222 % |
300.74/300.78	c |    247597 |    5681    27817    88500 |    98332    92570     54 | 16.222 % |
303.44/303.43	c |    249293 |    5681    27817    88500 |    98332    94266     54 | 16.222 % |
306.84/306.82	c |    251156 |    5681    27817    88500 |    94973    96129     55 | 16.222 % |
310.54/310.60	c |    253205 |    5681    27817    88500 |    94973    88405     53 | 16.222 % |
313.84/313.87	c |    255458 |    5681    27817    88500 |    94973    90658     54 | 16.222 % |
317.14/317.15	c |    257938 |    5681    27817    88500 |    94973    93138     54 | 16.222 % |
317.24/317.28	c |    258039 |    5681    27817    88500 |    94973    93239     54 | 16.222 % |
317.54/317.61	c |    258151 |    5681    27817    88500 |    94973    93351     54 | 16.222 % |
317.74/317.79	c |    258272 |    5681    27817    88500 |    94973    93472     54 | 16.222 % |
318.04/318.07	c |    258405 |    5681    27817    88500 |    94973    93605     55 | 16.222 % |
318.14/318.17	c |    258553 |    5681    27817    88500 |    94973    93753     55 | 16.222 % |
318.44/318.41	c |    258715 |    5681    27817    88500 |    94973    93915     55 | 16.222 % |
318.54/318.60	c |    258893 |    5681    27817    88500 |    94973    94093     55 | 16.222 % |
318.84/318.88	c |    259086 |    5681    27817    88500 |    94973    94286     55 | 16.222 % |
319.24/319.21	c |    259299 |    5681    27817    88500 |    94973    94499     55 | 16.222 % |
319.64/319.68	c |    259534 |    5681    27817    88500 |    94973    94734     55 | 16.222 % |
320.04/320.03	c |    259790 |    5678    27805    88463 |    94973    94989     55 | 16.266 % |
320.44/320.46	c |    260071 |    5678    27805    88463 | 2147483647    95270     55 | 16.266 % |
321.04/321.09	c |    260380 |    5678    27805    88463 | 2147483647    95579     55 | 16.266 % |
321.64/321.69	c |    260720 |    5678    27805    88463 | 2147483647    95919     55 | 16.266 % |
322.34/322.36	c |    261096 |    5678    27805    88463 | 2147483647    96295     55 | 16.266 % |
322.64/322.65	c |    261505 |    5678    27805    88463 | 2147483647    96704     55 | 16.266 % |
323.34/323.34	c |    261955 |    5678    27805    88463 | 2147483647    97154     55 | 16.266 % |
324.24/324.25	c |    262451 |    5678    27805    88463 | 2147483647    97650     55 | 16.266 % |
325.04/325.04	c |    262994 |    5678    27805    88463 | 2147483647    98193     55 | 16.266 % |
325.94/325.97	c |    263590 |    5678    27805    88463 | 2147483647    98789     56 | 16.266 % |
327.44/327.50	c |    264250 |    5678    27805    88463 | 2147483647    99449     56 | 16.266 % |
327.94/327.96	c |    264973 |    5678    27805    88463 | 2147483647   100172     56 | 16.266 % |
329.84/329.86	c |    265765 |    5678    27805    88463 | 2147483647   100964     56 | 16.266 % |
331.34/331.41	c |    266637 |    5678    27805    88463 | 2147483647   101836     56 | 16.266 % |
333.24/333.26	c |    267595 |    5678    27805    88463 | 2147483647   102794     56 | 16.266 % |
334.94/334.96	c |    268649 |    5678    27805    88463 | 2147483647   103848     57 | 16.266 % |
336.74/336.73	c |    269808 |    5678    27805    88463 | 2147483647   105007     57 | 16.266 % |
339.34/339.33	c |    271081 |    5678    27805    88463 | 2147483647   106280     57 | 16.266 % |
341.94/341.94	c |    272483 |    5678    27805    88463 | 2147483647   107682     58 | 16.266 % |
342.74/342.80	c |    274023 |    5678    27805    88463 | 2147483647   109222     57 | 16.266 % |
344.54/344.59	c |    275717 |    5678    27805    88463 | 2147483647   110916     57 | 16.266 % |
348.34/348.39	c |    277581 |    5678    27805    88463 | 2147483647   112780     58 | 16.266 % |
352.04/352.05	c |    279630 |    5678    27805    88463 | 2147483647   114829     58 | 16.266 % |
356.64/356.66	c |    281885 |    5678    27805    88463 |   115200   117084     58 | 16.266 % |
359.74/359.73	c |    284363 |    5678    27805    88463 |   115200   102934     56 | 16.266 % |
365.44/365.43	c |    287088 |    5678    27805    88463 |   115200   105659     57 | 16.266 % |
365.54/365.52	c |    287189 |    5678    27805    88463 |   115200   105760     57 | 16.266 % |
365.74/365.78	c |    287301 |    5678    27805    88463 |   115200   105872     57 | 16.266 % |
366.04/366.02	c |    287422 |    5678    27805    88463 |   115200   105993     57 | 16.266 % |
366.14/366.19	c |    287555 |    5678    27805    88463 |   115200   106126     57 | 16.266 % |
366.44/366.47	c |    287701 |    5678    27805    88463 |   115200   106272     57 | 16.266 % |
366.64/366.62	c |    287861 |    5678    27805    88463 |   115200   106432     57 | 16.266 % |
366.94/366.97	c |    288037 |    5678    27805    88463 |   115200   106608     57 | 16.266 % |
367.24/367.31	c |    288231 |    5678    27805    88463 |   115200   106802     57 | 16.266 % |
367.74/367.71	c |    288443 |    5678    27805    88463 |   115200   107014     57 | 16.266 % |
368.24/368.26	c |    288676 |    5678    27805    88463 |   115200   107247     57 | 16.266 % |
368.74/368.73	c |    288932 |    5678    27805    88463 |   115200   107503     57 | 16.266 % |
369.24/369.27	c |    289214 |    5678    27805    88463 |   115200   107785     57 | 16.266 % |
369.74/369.80	c |    289524 |    5678    27805    88463 |   115200   108095     57 | 16.266 % |
370.54/370.56	c |    289863 |    5672    27785    88399 |   115200   108432     57 | 16.355 % |
371.14/371.19	c |    290235 |    5672    27785    88399 | 2147483647   108804     57 | 16.355 % |
372.04/372.01	c |    290644 |    5672    27785    88399 | 2147483647   109213     57 | 16.355 % |
372.95/372.96	c |    291095 |    5672    27785    88399 | 2147483647   109664     58 | 16.355 % |
373.24/373.29	c |    291589 |    5672    27785    88399 | 2147483647   110158     58 | 16.355 % |
374.14/374.17	c |    292132 |    5672    27785    88399 | 2147483647   110701     58 | 16.355 % |
374.64/374.68	c |    292728 |    5672    27785    88399 | 2147483647   111297     58 | 16.355 % |
376.25/376.24	c |    293385 |    5672    27785    88399 | 2147483647   111954     58 | 16.355 % |
377.74/377.71	c |    294105 |    5672    27785    88399 | 2147483647   112674     58 | 16.355 % |
379.34/379.40	c |    294899 |    5672    27785    88399 | 2147483647   113468     58 | 16.355 % |
380.94/380.94	c |    295770 |    5672    27785    88399 | 2147483647   114339     59 | 16.355 % |
382.85/382.90	c |    296728 |    5672    27785    88399 | 2147483647   115297     59 | 16.355 % |
385.05/385.07	c |    297781 |    5672    27785    88399 | 2147483647   116350     59 | 16.355 % |
387.14/387.13	c |    298939 |    5672    27785    88399 | 2147483647   117508     59 | 16.355 % |
390.04/390.09	c |    300212 |    5672    27785    88399 |   118569   118781     59 | 16.355 % |
392.75/392.74	c |    301614 |    5672    27785    88399 |   118569   120183     59 | 16.355 % |
395.44/395.47	c |    303155 |    5672    27785    88399 |   118569   102771     57 | 16.355 % |
398.04/398.01	c |    304849 |    5672    27785    88399 |   118569   104465     57 | 16.355 % |
401.74/401.72	c |    306712 |    5672    27785    88399 |   118569   106328     57 | 16.355 % |
404.74/404.74	c |    308762 |    5672    27785    88399 |   118569   108378     57 | 16.355 % |
408.94/408.99	c |    311015 |    5672    27785    88399 |   109617   110631     58 | 16.355 % |
411.45/411.47	c |    313496 |    5672    27785    88399 |   109617    97224     55 | 16.355 % |
416.24/416.29	c |    316222 |    5672    27785    88399 |   109617    99950     56 | 16.355 % |
421.35/421.37	c |    319219 |    5672    27785    88399 |   109617   102947     56 | 16.355 % |
421.65/421.64	c |    319319 |    5672    27785    88399 |   109617   103047     56 | 16.355 % |
421.85/421.85	c |    319432 |    5672    27785    88399 |   109617   103160     56 | 16.355 % |
422.05/422.03	c |    319553 |    5672    27785    88399 |   109617   103281     56 | 16.355 % |
422.15/422.19	c |    319686 |    5672    27785    88399 |   109617   103414     56 | 16.355 % |
422.65/422.62	c |    319834 |    5672    27785    88399 |   109617   103562     56 | 16.355 % |
422.85/422.82	c |    319994 |    5672    27785    88399 |   109617   103722     56 | 16.355 % |
423.15/423.20	c |    320170 |    5672    27785    88399 |   103729   103898     56 | 16.355 % |
423.55/423.57	c |    320365 |    5672    27785    88399 |   103729   104093     56 | 16.355 % |
423.95/423.92	c |    320577 |    5672    27785    88399 |   103729   104305     56 | 16.355 % |
424.25/424.24	c |    320810 |    5672    27785    88399 |   103729   104538     56 | 16.355 % |
424.65/424.69	c |    321066 |    5672    27785    88399 |   103729   104794     56 | 16.355 % |
425.15/425.15	c |    321348 |    5672    27785    88399 |   103729   105076     56 | 16.355 % |
425.65/425.67	c |    321657 |    5672    27785    88399 |   103729    88501     53 | 16.355 % |
426.25/426.25	c |    321996 |    5672    27785    88399 |   103729    88840     53 | 16.355 % |
426.75/426.75	c |    322369 |    5672    27785    88399 |   103729    89213     53 | 16.355 % |
427.25/427.29	c |    322779 |    5672    27785    88399 |   103729    89623     53 | 16.355 % |
427.95/428.00	c |    323228 |    5672    27785    88399 |   103729    90072     53 | 16.355 % |
428.65/428.70	c |    323721 |    5672    27785    88399 |   103729    90565     53 | 16.355 % |
429.55/429.54	c |    324263 |    5672    27785    88399 |   103729    91107     53 | 16.355 % |
430.45/430.51	c |    324860 |    5672    27785    88399 |   103729    91704     54 | 16.355 % |
431.55/431.58	c |    325515 |    5672    27785    88399 |   103729    92359     54 | 16.355 % |
432.85/432.84	c |    326235 |    5672    27785    88399 |   103729    93079     54 | 16.355 % |
433.95/433.93	c |    327027 |    5672    27785    88399 |   103729    93871     54 | 16.355 % |
435.35/435.36	c |    327898 |    5672    27785    88399 |   103729    94742     54 | 16.355 % |
437.15/437.19	c |    328856 |    5672    27785    88399 |   103729    95700     54 | 16.355 % |
438.85/438.83	c |    329909 |    5672    27785    88399 |   103729    96753     54 | 16.355 % |
441.45/441.44	c |    331068 |    5672    27785    88399 |    96844    97912     55 | 16.355 % |
443.65/443.62	c |    332343 |    5672    27785    88399 |    96844    99187     55 | 16.355 % |
445.65/445.69	c |    333745 |    5672    27785    88399 |    96844    87766     52 | 16.355 % |
448.05/448.05	c |    335288 |    5672    27785    88399 |    96844    89309     53 | 16.355 % |
450.95/450.99	c |    336983 |    5672    27785    88399 |    96844    91004     54 | 16.355 % |
454.25/454.25	c |    338847 |    5672    27785    88399 |    96844    92868     54 | 16.355 % |
457.95/457.96	c |    340896 |    5672    27785    88399 | 2147483647    94917     55 | 16.355 % |
461.85/461.90	c |    343150 |    5672    27785    88399 | 2147483647    97171     56 | 16.355 % |
466.35/466.39	c |    345628 |    5672    27785    88399 | 2147483647    99649     56 | 16.355 % |
471.15/471.12	c |    348355 |    5672    27785    88399 | 2147483647   102376     58 | 16.355 % |
476.55/476.57	c |    351352 |    5672    27785    88399 | 2147483647   105373     58 | 16.355 % |
482.35/482.31	c |    354650 |    5672    27785    88399 | 2147483647   108671     59 | 16.355 % |
482.45/482.48	c |    354750 |    5672    27785    88399 | 2147483647   108771     59 | 16.355 % |
482.65/482.66	c |    354860 |    5672    27785    88399 | 2147483647   108881     59 | 16.355 % |
482.75/482.79	c |    354981 |    5672    27785    88399 | 2147483647   109002     59 | 16.355 % |
483.15/483.12	c |    355114 |    5672    27785    88399 | 2147483647   109135     59 | 16.355 % |
483.35/483.34	c |    355261 |    5672    27785    88399 | 2147483647   109282     59 | 16.355 % |
483.65/483.66	c |    355422 |    5672    27785    88399 | 2147483647   109443     59 | 16.355 % |
484.25/484.23	c |    355598 |    5672    27785    88399 | 2147483647   109619     59 | 16.355 % |
484.55/484.51	c |    355792 |    5672    27785    88399 | 2147483647   109813     59 | 16.355 % |
484.85/484.88	c |    356004 |    5672    27785    88399 | 2147483647   110025     59 | 16.355 % |
485.25/485.29	c |    356237 |    5672    27785    88399 | 2147483647   110258     59 | 16.355 % |
485.85/485.85	c |    356494 |    5672    27785    88399 | 2147483647   110515     59 | 16.355 % |
486.35/486.33	c |    356775 |    5672    27785    88399 | 2147483647   110796     59 | 16.355 % |
487.05/487.06	c |    357085 |    5672    27785    88399 | 2147483647   111106     59 | 16.355 % |
487.65/487.64	c |    357425 |    5672    27785    88399 | 2147483647   111446     59 | 16.355 % |
488.35/488.32	c |    357797 |    5672    27785    88399 | 2147483647   111818     59 | 16.355 % |
489.05/489.05	c |    358206 |    5672    27785    88399 | 2147483647   112227     59 | 16.355 % |
490.35/490.33	c |    358655 |    5672    27785    88399 | 2147483647   112676     60 | 16.355 % |
490.75/490.79	c |    359149 |    5672    27785    88399 | 2147483647   113170     60 | 16.355 % |
491.76/491.74	c |    359692 |    5672    27785    88399 | 2147483647   113713     60 | 16.355 % |
493.05/493.02	c |    360288 |    5672    27785    88399 |   114022   114309     60 | 16.355 % |
494.15/494.20	c |    360943 |    5672    27785    88399 |   114022   114964     60 | 16.355 % |
495.75/495.72	c |    361664 |    5672    27785    88399 |   114022   115685     60 | 16.355 % |
496.55/496.59	c |    362456 |    5672    27785    88399 |   114022    98120     57 | 16.355 % |
497.65/497.70	c |    363329 |    5672    27785    88399 |   114022    98993     57 | 16.355 % |
499.65/499.67	c |    364290 |    5672    27785    88399 |   114022    99954     57 | 16.355 % |
501.75/501.74	c |    365346 |    5672    27785    88399 |   114022   101010     57 | 16.355 % |
503.75/503.73	c |    366505 |    5672    27785    88399 |   114022   102169     57 | 16.355 % |
506.35/506.37	c |    367779 |    5672    27785    88399 |   114022   103443     58 | 16.355 % |
508.95/508.93	c |    369179 |    5672    27785    88399 |   114022   104843     58 | 16.355 % |
512.05/512.05	c |    370720 |    5672    27785    88399 |   105664   106384     59 | 16.355 % |
513.45/513.45	c |    372414 |    5672    27785    88399 |   105664    94564     56 | 16.355 % |
516.55/516.55	c |    374278 |    5672    27785    88399 |   105664    96428     57 | 16.355 % |
519.95/520.01	c |    376327 |    5672    27785    88399 |   105664    98477     57 | 16.355 % |
524.05/524.08	c |    378580 |    5672    27785    88399 |   105664   100730     58 | 16.355 % |
528.45/528.49	c |    381060 |    5672    27785    88399 |   102150   103210     57 | 16.355 % |
533.45/533.46	c |    383787 |    5672    27785    88399 |   102150    91183     54 | 16.355 % |
538.65/538.66	c |    386785 |    5672    27785    88399 |   102150    94181     55 | 16.355 % |
544.26/544.26	c |    390081 |    5672    27785    88399 |    97399    97477     55 | 16.355 % |
550.36/550.40	c |    393707 |    5672    27785    88399 |    97399    91160     53 | 16.355 % |
550.46/550.46	c |    393809 |    5672    27785    88399 |    97399    91262     53 | 16.355 % |
550.56/550.59	c |    393919 |    5672    27785    88399 |    97399    91372     53 | 16.355 % |
550.76/550.79	c |    394040 |    5672    27785    88399 |    97399    91493     53 | 16.355 % |
550.96/550.96	c |    394173 |    5672    27785    88399 |    97399    91626     53 | 16.355 % |
551.36/551.32	c |    394319 |    5672    27785    88399 |    97399    91772     53 | 16.355 % |
551.46/551.51	c |    394479 |    5672    27785    88399 |    97399    91932     53 | 16.355 % |
551.96/551.94	c |    394655 |    5672    27785    88399 |    97399    92108     54 | 16.355 % |
552.26/552.23	c |    394848 |    5672    27785    88399 |    97399    92301     54 | 16.355 % |
552.56/552.60	c |    395060 |    5672    27785    88399 |    97399    92513     54 | 16.355 % |
552.76/552.79	c |    395293 |    5672    27785    88399 |    97399    92746     54 | 16.355 % |
553.36/553.36	c |    395550 |    5672    27785    88399 |    97399    93003     54 | 16.355 % |
553.66/553.66	c |    395833 |    5672    27785    88399 |    97399    93286     54 | 16.355 % |
553.86/553.83	c |    396143 |    5672    27785    88399 |    97399    93596     54 | 16.355 % |
554.06/554.03	c |    396482 |    5672    27785    88399 |    97399    93935     54 | 16.355 % |
554.26/554.23	c |    396854 |    5672    27785    88399 |    97399    94307     54 | 16.355 % |
554.66/554.69	c |    397263 |    5672    27785    88399 |    97399    94716     54 | 16.355 % |
555.36/555.38	c |    397712 |    5672    27785    88399 |    97399    95165     54 | 16.355 % |
556.36/556.37	c |    398205 |    5672    27785    88399 |    97399    95658     54 | 16.355 % |
557.16/557.19	c |    398747 |    5672    27785    88399 |    97399    96200     54 | 16.355 % |
558.56/558.53	c |    399343 |    5672    27785    88399 |    97399    96796     54 | 16.355 % |
559.66/559.62	c |    399998 |    5672    27785    88399 |    97399    97451     55 | 16.355 % |
561.06/561.04	c |    400718 |    5672    27785    88399 | 2147483647    98171     55 | 16.355 % |
562.36/562.38	c |    401510 |    5672    27785    88399 | 2147483647    98963     55 | 16.355 % |
563.76/563.80	c |    402382 |    5672    27785    88399 | 2147483647    99835     55 | 16.355 % |
565.36/565.34	c |    403340 |    5672    27785    88399 | 2147483647   100793     55 | 16.355 % |
566.96/566.95	c |    404393 |    5672    27785    88399 | 2147483647   101846     55 | 16.356 % |
568.66/568.71	c |    405552 |    5672    27785    88399 | 2147483647   103005     56 | 16.355 % |
569.96/569.99	c |    406827 |    5672    27785    88399 | 2147483647   104280     56 | 16.355 % |
572.76/572.80	c |    408227 |    5672    27785    88399 | 2147483647   105680     56 | 16.355 % |
575.26/575.30	c |    409768 |    5672    27785    88399 | 2147483647   107221     57 | 16.355 % |
578.56/578.59	c |    411462 |    5672    27785    88399 |   107454   108915     57 | 16.355 % |
581.66/581.68	c |    413325 |    5672    27785    88399 |   107454    87763     53 | 16.355 % |
584.16/584.21	c |    415374 |    5672    27785    88399 |   107454    89812     53 | 16.355 % |
588.16/588.18	c |    417628 |    5672    27785    88399 |   107454    92066     54 | 16.355 % |
592.56/592.53	c |    420107 |    5672    27785    88399 | 2147483647    94545     55 | 16.355 % |
596.46/596.46	c |    422832 |    5672    27785    88399 | 2147483647    97270     55 | 16.355 % |
601.76/601.80	c |    425832 |    5672    27785    88399 | 2147483647   100270     57 | 16.355 % |
608.05/608.01	c |    429128 |    5672    27785    88399 | 2147483647   103566     58 | 16.355 % |
613.85/613.87	c |    432753 |    5672    27785    88399 | 2147483647   107191     58 | 16.355 % |
621.95/621.92	c |    436741 |    5672    27785    88399 | 2147483647   111179     59 | 16.355 % |
622.15/622.13	c |    436842 |    5672    27785    88399 | 2147483647   111280     60 | 16.355 % |
622.25/622.28	c |    436953 |    5672    27785    88399 | 2147483647   111391     59 | 16.355 % |
622.55/622.52	c |    437074 |    5672    27785    88399 | 2147483647   111512     60 | 16.355 % |
622.85/622.84	c |    437208 |    5672    27785    88399 | 2147483647   111646     60 | 16.355 % |
623.15/623.19	c |    437356 |    5672    27785    88399 | 2147483647   111794     60 | 16.355 % |
623.35/623.38	c |    437518 |    5672    27785    88399 | 2147483647   111956     60 | 16.355 % |
623.76/623.73	c |    437694 |    5672    27785    88399 | 2147483647   112132     60 | 16.355 % |
624.25/624.28	c |    437887 |    5672    27785    88399 | 2147483647   112325     60 | 16.355 % |
624.65/624.62	c |    438099 |    5672    27785    88399 | 2147483647   112537     60 | 16.355 % |
625.05/625.10	c |    438332 |    5672    27785    88399 | 2147483647   112770     60 | 16.355 % |
625.55/625.52	c |    438591 |    5672    27785    88399 | 2147483647   113029     60 | 16.355 % |
626.35/626.32	c |    438872 |    5672    27785    88399 | 2147483647   113310     60 | 16.355 % |
626.95/627.00	c |    439181 |    5672    27785    88399 | 2147483647   113619     60 | 16.355 % |
627.35/627.34	c |    439520 |    5672    27785    88399 | 2147483647   113958     60 | 16.355 % |
628.05/628.10	c |    439892 |    5672    27785    88399 | 2147483647   114330     60 | 16.355 % |
628.85/628.88	c |    440301 |    5672    27785    88399 |   114439   114739     60 | 16.355 % |
629.65/629.63	c |    440751 |    5672    27785    88399 |   114439   115189     60 | 16.355 % |
630.95/630.96	c |    441246 |    5672    27785    88399 |   114439   115684     61 | 16.355 % |
631.65/631.67	c |    441788 |    5672    27785    88399 |   114439   100112     58 | 16.355 % |
633.15/633.11	c |    442389 |    5672    27785    88399 |   114439   100713     59 | 16.355 % |
633.95/633.91	c |    443045 |    5672    27785    88399 |   114439   101369     59 | 16.355 % |
634.95/634.92	c |    443765 |    5672    27785    88399 |   114439   102089     59 | 16.355 % |
635.86/635.89	c |    444560 |    5672    27785    88399 |   114439   102884     59 | 16.355 % |
637.45/637.50	c |    445431 |    5672    27785    88399 |   114439   103755     59 | 16.355 % |
639.55/639.56	c |    446389 |    5672    27785    88399 |   114439   104713     59 | 16.355 % |
641.85/641.81	c |    447444 |    5672    27785    88399 |   114439   105768     60 | 16.355 % |
643.75/643.80	c |    448603 |    5672    27785    88399 |   114439   106927     60 | 16.355 % |
646.15/646.17	c |    449876 |    5672    27785    88399 |   114439   108200     60 | 16.355 % |
648.25/648.25	c |    451277 |    5672    27785    88399 |   108326   109601     60 | 16.355 % |
651.35/651.40	c |    452817 |    5672    27785    88399 |   108326    93730     58 | 16.355 % |
654.05/654.02	c |    454512 |    5672    27785    88399 |   108326    95425     58 | 16.355 % |
657.95/657.92	c |    456375 |    5672    27785    88399 |   108326    97288     58 | 16.355 % |
661.35/661.30	c |    458424 |    5672    27785    88399 |   108326    99337     59 | 16.355 % |
665.85/665.83	c |    460677 |    5672    27785    88399 |   100913   101590     60 | 16.355 % |
669.86/669.85	c |    463155 |    5672    27785    88399 |   100913    91900     57 | 16.355 % |
674.96/674.94	c |    465881 |    5672    27785    88399 |   100913    94626     59 | 16.355 % |
679.56/679.56	c |    468878 |    5672    27785    88399 |   100913    97623     58 | 16.355 % |
684.86/684.89	c |    472174 |    5672    27785    88399 |    98748    85009     53 | 16.355 % |
691.76/691.75	c |    475802 |    5672    27785    88399 |    98748    88637     53 | 16.355 % |
699.06/699.10	c |    479789 |    5672    27785    88399 |    98748    92624     54 | 16.355 % |
705.66/705.64	c |    484175 |    5672    27785    88399 |    92835    87507     52 | 16.355 % |
705.86/705.84	c |    484277 |    5672    27785    88399 |    92835    87609     52 | 16.355 % |
705.96/705.98	c |    484390 |    5672    27785    88399 |    92835    87722     52 | 16.355 % |
706.36/706.31	c |    484513 |    5672    27785    88399 |    92835    87845     52 | 16.355 % |
706.36/706.40	c |    484649 |    5672    27785    88399 |    92835    87981     52 | 16.355 % |
706.56/706.51	c |    484795 |    5672    27785    88399 |    92835    88127     52 | 16.355 % |
706.66/706.63	c |    484955 |    5672    27785    88399 |    92835    88287     52 | 16.355 % |
706.96/707.00	c |    485131 |    5672    27785    88399 |    92835    88463     52 | 16.355 % |
707.26/707.24	c |    485324 |    5672    27785    88399 |    92835    88656     52 | 16.355 % |
707.56/707.60	c |    485539 |    5672    27785    88399 |    92835    88871     52 | 16.355 % |
708.06/708.04	c |    485772 |    5672    27785    88399 |    92835    89104     53 | 16.355 % |
708.36/708.38	c |    486029 |    5672    27785    88399 |    92835    89361     52 | 16.355 % |
709.06/709.02	c |    486311 |    5672    27785    88399 |    92835    89643     53 | 16.355 % |
709.56/709.51	c |    486622 |    5672    27785    88399 |    92835    89954     53 | 16.355 % |
710.06/710.01	c |    486961 |    5672    27785    88399 |    92835    90293     53 | 16.355 % |
710.76/710.76	c |    487333 |    5672    27785    88399 |    92835    90665     53 | 16.355 % |
711.36/711.35	c |    487743 |    5672    27785    88399 |    92835    91075     53 | 16.355 % |
712.16/712.19	c |    488194 |    5672    27785    88399 |    92835    91526     54 | 16.355 % |
712.96/712.94	c |    488688 |    5672    27785    88399 |    92835    92020     54 | 16.355 % |
714.16/714.19	c |    489230 |    5672    27785    88399 |    92835    92562     54 | 16.355 % |
715.06/715.03	c |    489827 |    5672    27785    88399 |    92835    93159     54 | 16.355 % |
715.96/715.97	c |    490482 |    5672    27785    88399 | 2147483647    93814     54 | 16.355 % |
717.36/717.32	c |    491202 |    5672    27785    88399 | 2147483647    94534     54 | 16.355 % |
718.56/718.55	c |    491994 |    5672    27785    88399 | 2147483647    95326     55 | 16.355 % |
720.26/720.28	c |    492866 |    5672    27785    88399 | 2147483647    96198     55 | 16.355 % |
721.86/721.90	c |    493824 |    5672    27785    88399 | 2147483647    97156     56 | 16.355 % |
723.46/723.41	c |    494877 |    5672    27785    88399 | 2147483647    98209     55 | 16.355 % |
725.96/725.91	c |    496037 |    5672    27785    88399 | 2147483647    99369     56 | 16.355 % |
728.16/728.15	c |    497310 |    5672    27785    88399 | 2147483647   100642     56 | 16.355 % |
730.36/730.37	c |    498712 |    5672    27785    88399 | 2147483647   102044     57 | 16.355 % |
732.86/732.88	c |    500253 |    5672    27785    88399 |   103333   103585     57 | 16.355 % |
736.06/736.10	c |    501948 |    5672    27785    88399 |   103333   105280     57 | 16.355 % |
739.26/739.22	c |    503813 |    5672    27785    88399 |   103333    96181     54 | 16.355 % |
742.96/742.97	c |    505864 |    5672    27785    88399 |   103333    98232     55 | 16.355 % |
747.26/747.27	c |    508117 |    5672    27785    88399 |   103333   100485     55 | 16.355 % |
751.56/751.56	c |    510597 |    5672    27785    88399 |   102369   102965     56 | 16.355 % |
755.36/755.33	c |    513323 |    5672    27785    88399 |   102369    90230     51 | 16.355 % |
759.86/759.83	c |    516320 |    5672    27785    88399 |   102369    93227     51 | 16.355 % |
765.86/765.82	c |    519616 |    5672    27785    88399 |   102369    96523     53 | 16.355 % |
772.56/772.53	c |    523242 |    5672    27785    88399 |    96908    88448     51 | 16.355 % |
779.26/779.24	c |    527229 |    5672    27785    88399 |    96908    92435     53 | 16.355 % |
786.06/786.10	c |    531615 |    5672    27785    88399 | 2147483647    96821     53 | 16.355 % |
794.07/794.06	c |    536438 |    5672    27785    88399 | 2147483647   101644     54 | 16.355 % |
794.27/794.24	c |    536539 |    5672    27785    88399 | 2147483647   101745     54 | 16.355 % |
794.37/794.36	c |    536650 |    5672    27785    88399 | 2147483647   101856     54 | 16.355 % |
794.57/794.59	c |    536772 |    5672    27785    88399 | 2147483647   101978     54 | 16.355 % |
794.87/794.83	c |    536905 |    5672    27785    88399 | 2147483647   102111     54 | 16.355 % |
795.07/795.11	c |    537051 |    5672    27785    88399 | 2147483647   102257     54 | 16.355 % |
795.37/795.37	c |    537213 |    5672    27785    88399 | 2147483647   102419     54 | 16.355 % |
795.97/795.97	c |    537392 |    5672    27785    88399 | 2147483647   102598     54 | 16.355 % |
796.17/796.20	c |    537585 |    5672    27785    88399 | 2147483647   102791     54 | 16.355 % |
796.57/796.55	c |    537797 |    5672    27785    88399 | 2147483647   103003     54 | 16.355 % |
796.87/796.88	c |    538031 |    5672    27785    88399 | 2147483647   103237     54 | 16.355 % |
797.27/797.22	c |    538287 |    5672    27785    88399 | 2147483647   103493     54 | 16.355 % |
797.77/797.76	c |    538568 |    5672    27785    88399 | 2147483647   103774     54 | 16.355 % |
798.27/798.23	c |    538877 |    5672    27785    88399 | 2147483647   104083     54 | 16.355 % |
798.97/798.95	c |    539217 |    5672    27785    88399 | 2147483647   104423     55 | 16.355 % |
799.77/799.74	c |    539593 |    5672    27785    88399 | 2147483647   104799     55 | 16.355 % |
800.67/800.64	c |    540002 |    5672    27785    88399 |   105206   105208     55 | 16.355 % |
801.37/801.34	c |    540452 |    5672    27785    88399 |   105206   105658     55 | 16.355 % |
802.27/802.22	c |    540945 |    5672    27785    88399 |   105206   106151     55 | 16.355 % |
803.07/803.04	c |    541489 |    5672    27785    88399 |   105206   106695     55 | 16.355 % |
804.37/804.40	c |    542085 |    5672    27785    88399 |   105206    91502     51 | 16.355 % |
804.77/804.77	c |    542742 |    5672    27785    88399 |   105206    92159     51 | 16.355 % |
806.17/806.17	c |    543462 |    5672    27785    88399 |   105206    92879     52 | 16.355 % |
807.47/807.50	c |    544255 |    5672    27785    88399 |   105206    93672     52 | 16.355 % |
808.77/808.76	c |    545128 |    5672    27785    88399 |   105206    94545     52 | 16.355 % |
810.47/810.48	c |    546087 |    5672    27785    88399 |   105206    95504     52 | 16.355 % |
812.47/812.49	c |    547140 |    5672    27785    88399 |   105206    96557     52 | 16.355 % |
814.87/814.85	c |    548299 |    5672    27785    88399 |   105206    97716     53 | 16.355 % |
816.67/816.62	c |    549572 |    5672    27785    88399 |   105206    98989     53 | 16.355 % |
819.57/819.60	c |    550974 |    5672    27785    88399 |    99418   100391     53 | 16.355 % |
821.47/821.43	c |    552514 |    5672    27785    88399 |    99418    90829     50 | 16.355 % |
824.77/824.74	c |    554208 |    5672    27785    88399 |    99418    92523     52 | 16.355 % |
827.87/827.88	c |    556073 |    5672    27785    88399 |    99418    94388     52 | 16.355 % |
831.67/831.68	c |    558122 |    5672    27785    88399 |    99418    96437     52 | 16.355 % |
835.57/835.59	c |    560376 |    5672    27785    88399 | 2147483647    98691     53 | 16.355 % |
839.87/839.88	c |    562855 |    5672    27785    88399 | 2147483647   101170     54 | 16.355 % |
844.87/844.87	c |    565580 |    5672    27785    88399 | 2147483647   103895     55 | 16.355 % |
848.47/848.41	c |    568577 |    5672    27785    88399 | 2147483647   106892     55 | 16.355 % |
855.27/855.28	c |    571873 |    5672    27785    88399 | 2147483647   110188     55 | 16.355 % |
861.97/861.96	c |    575498 |    5672    27785    88399 | 2147483647   113813     56 | 16.355 % |
868.87/868.84	c |    579485 |    5672    27785    88399 | 2147483647   117800     56 | 16.355 % |
877.47/877.47	c |    583870 |    5672    27785    88399 |   118316   110056     56 | 16.355 % |
886.68/886.68	c |    588694 |    5672    27785    88399 |   118316   114880     57 | 16.355 % |
896.97/896.96	c |    593999 |    5672    27785    88399 |   116186   103345     54 | 16.355 % |
897.17/897.18	c |    594099 |    5672    27785    88399 |   116186   103445     54 | 16.355 % |
897.37/897.36	c |    594209 |    5672    27785    88399 |   116186   103555     54 | 16.355 % |
897.57/897.58	c |    594332 |    5672    27785    88399 |   116186   103678     54 | 16.355 % |
897.87/897.90	c |    594467 |    5672    27785    88399 |   116186   103813     54 | 16.355 % |
898.17/898.14	c |    594614 |    5672    27785    88399 |   116186   103960     54 | 16.355 % |
898.47/898.47	c |    594775 |    5672    27785    88399 |   116186   104121     54 | 16.355 % |
898.78/898.77	c |    594952 |    5672    27785    88399 |   116186   104298     54 | 16.355 % |
899.37/899.34	c |    595148 |    5672    27785    88399 |   116186   104494     54 | 16.355 % |
899.77/899.75	c |    595360 |    5672    27785    88399 |   116186   104706     54 | 16.355 % |
900.27/900.28	c |    595593 |    5672    27785    88399 |   116186   104939     54 | 16.355 % |
900.87/900.84	c |    595850 |    5672    27785    88399 |   116186   105196     54 | 16.355 % |
901.37/901.35	c |    596134 |    5672    27785    88399 |   116186   105480     54 | 16.355 % |
901.97/901.96	c |    596443 |    5672    27785    88399 |   116186   105789     54 | 16.355 % |
902.77/902.74	c |    596782 |    5672    27785    88399 |   116186   106128     54 | 16.355 % |
903.27/903.22	c |    597156 |    5672    27785    88399 |   116186   106502     54 | 16.355 % |
904.07/904.11	c |    597568 |    5672    27785    88399 |   116186   106914     55 | 16.355 % |
904.77/904.78	c |    598018 |    5672    27785    88399 |   116186   107364     55 | 16.355 % |
905.87/905.84	c |    598511 |    5672    27785    88399 |   116186   107857     55 | 16.355 % |
906.67/906.68	c |    599053 |    5672    27785    88399 |   116186   108399     55 | 16.355 % |
907.87/907.86	c |    599650 |    5672    27785    88399 |   116186   108996     55 | 16.355 % |
908.57/908.56	c |    600306 |    5672    27785    88399 |   109347   109652     55 | 16.355 % |
910.27/910.27	c |    601026 |    5672    27785    88399 |   109347   110372     56 | 16.355 % |
911.57/911.51	c |    601819 |    5672    27785    88399 |   109347   111165     56 | 16.355 % |
913.37/913.40	c |    602693 |    5672    27785    88399 |   109347    95871     53 | 16.355 % |
914.87/914.82	c |    603652 |    5672    27785    88399 |   109347    96830     53 | 16.355 % |
917.27/917.21	c |    604705 |    5672    27785    88399 |   109347    97883     54 | 16.355 % |
919.08/919.06	c |    605864 |    5672    27785    88399 |   109347    99042     54 | 16.355 % |
921.58/921.61	c |    607137 |    5672    27785    88399 |   109347   100315     55 | 16.355 % |
923.68/923.62	c |    608537 |    5672    27785    88399 |   109347   101715     54 | 16.355 % |
927.08/927.05	c |    610079 |    5672    27785    88399 |   103178   103257     55 | 16.355 % |
928.68/928.72	c |    611774 |    5672    27785    88399 |   103178   104952     55 | 16.355 % |
932.38/932.39	c |    613637 |    5672    27785    88399 |   103178    93002     53 | 16.355 % |
936.18/936.20	c |    615687 |    5672    27785    88399 |   103178    95052     54 | 16.355 % |
939.18/939.15	c |    617940 |    5672    27785    88399 |   103178    97305     54 | 16.355 % |
943.88/943.86	c |    620419 |    5672    27785    88399 | 2147483647    99784     55 | 16.355 % |
948.18/948.13	c |    623145 |    5672    27785    88399 | 2147483647   102510     54 | 16.355 % |
953.88/953.89	c |    626144 |    5672    27785    88399 | 2147483647   105509     55 | 16.355 % |
959.18/959.18	c |    629441 |    5672    27785    88399 | 2147483647   108806     54 | 16.355 % |
966.57/966.54	c |    633066 |    5672    27785    88399 |   109365   101243     54 | 16.355 % |
971.17/971.14	c |    637053 |    5672    27785    88399 |   109365   105230     54 | 16.355 % |
980.87/980.88	c |    641438 |    5672    27785    88399 |   108178   109615     56 | 16.355 % |
988.07/988.09	c |    646263 |    5672    27785    88399 |   108178   101506     54 | 16.355 % |
998.37/998.38	c |    651571 |    5672    27785    88399 |   105243   106814     56 | 16.355 % |
1007.57/1007.54	c |    657406 |    5672    27785    88399 |   105243    96695     52 | 16.355 % |
1007.68/1007.68	c |    657506 |    5672    27785    88399 |   105243    96795     52 | 16.355 % |
1007.97/1008.00	c |    657617 |    5672    27785    88399 |   105243    96906     52 | 16.355 % |
1008.17/1008.17	c |    657739 |    5672    27785    88399 |   105243    97028     52 | 16.355 % |
1008.47/1008.43	c |    657872 |    5672    27785    88399 |   105243    97161     52 | 16.355 % |
1008.67/1008.68	c |    658019 |    5672    27785    88399 |   105243    97308     52 | 16.355 % |
1009.07/1009.03	c |    658180 |    5672    27785    88399 |   105243    97469     52 | 16.355 % |
1009.37/1009.32	c |    658357 |    5672    27785    88399 |   105243    97646     52 | 16.355 % |
1009.67/1009.63	c |    658550 |    5672    27785    88399 |   105243    97839     52 | 16.355 % |
1010.17/1010.16	c |    658762 |    5672    27785    88399 |   105243    98051     52 | 16.355 % |
1010.47/1010.41	c |    658996 |    5672    27785    88399 |   105243    98285     52 | 16.355 % |
1010.98/1010.94	c |    659254 |    5672    27785    88399 |   105243    98543     53 | 16.355 % |
1011.37/1011.40	c |    659537 |    5672    27785    88399 |   105243    98826     53 | 16.355 % |
1012.17/1012.13	c |    659846 |    5672    27785    88399 |   105243    99135     53 | 16.355 % |
1012.57/1012.54	c |    660185 |    5672    27785    88399 |    99291    99474     53 | 16.355 % |
1013.47/1013.45	c |    660557 |    5672    27785    88399 |    99291    99846     53 | 16.355 % |
1014.17/1014.11	c |    660966 |    5672    27785    88399 |    99291   100255     53 | 16.355 % |
1014.77/1014.77	c |    661416 |    5672    27785    88399 |    99291   100705     53 | 16.355 % |
1015.97/1015.93	c |    661909 |    5672    27785    88399 |    99291    87981     51 | 16.355 % |
1016.97/1016.92	c |    662451 |    5672    27785    88399 |    99291    88523     51 | 16.355 % |
1017.97/1017.98	c |    663048 |    5672    27785    88399 |    99291    89120     51 | 16.355 % |
1018.87/1018.86	c |    663706 |    5672    27785    88399 |    99291    89778     51 | 16.355 % |
1020.17/1020.10	c |    664426 |    5672    27785    88399 |    99291    90498     52 | 16.355 % |
1021.47/1021.46	c |    665218 |    5672    27785    88399 |    99291    91290     52 | 16.355 % |
1023.17/1023.17	c |    666090 |    5672    27785    88399 |    99291    92162     52 | 16.355 % |
1024.67/1024.68	c |    667052 |    5672    27785    88399 |    99291    93124     52 | 16.355 % |
1026.07/1026.07	c |    668106 |    5672    27785    88399 |    99291    94178     52 | 16.355 % |
1028.07/1028.00	c |    669264 |    5672    27785    88399 |    99291    95336     53 | 16.355 % |
1030.37/1030.34	c |    670537 |    5672    27785    88399 | 2147483647    96609     53 | 16.355 % |
1031.47/1031.43	c |    671940 |    5672    27785    88399 | 2147483647    98012     53 | 16.355 % |
1033.97/1033.94	c |    673480 |    5672    27785    88399 | 2147483647    99552     54 | 16.355 % |
1036.97/1036.93	c |    675174 |    5672    27785    88399 | 2147483647   101246     54 | 16.355 % |
1040.37/1040.34	c |    677037 |    5672    27785    88399 | 2147483647   103109     54 | 16.355 % |
1044.38/1044.36	c |    679086 |    5672    27785    88399 | 2147483647   105158     55 | 16.355 % |
1046.98/1046.97	c |    681342 |    5672    27785    88399 | 2147483647   107414     54 | 16.355 % |
1050.18/1050.12	c |    683822 |    5672    27785    88399 | 2147483647   109894     54 | 16.355 % |
1055.68/1055.63	c |    686547 |    5672    27785    88399 | 2147483647   112619     56 | 16.355 % |
1060.48/1060.50	c |    689546 |    5672    27785    88399 | 2147483647   115618     55 | 16.355 % |
1066.78/1066.71	c |    692843 |    5672    27785    88399 |   116072   100062     51 | 16.355 % |
1072.68/1072.65	c |    696468 |    5672    27785    88399 |   116072   103687     52 | 16.355 % |
1079.68/1079.66	c |    700455 |    5672    27785    88399 |   107221   107674     52 | 16.355 % |
1087.18/1087.17	c |    704841 |    5672    27785    88399 |   107221    98884     50 | 16.355 % |
1095.48/1095.48	c |    709664 |    5672    27785    88399 |   107221   103707     50 | 16.355 % |
1104.18/1104.13	c |    714970 |    5672    27785    88399 |   104043    97756     48 | 16.355 % |
1111.68/1111.65	c |    720805 |    5672    27785    88399 |   102786   103591     48 | 16.355 % |
1122.09/1122.05	c |    727224 |    5672    27785    88399 |   102786    93867     45 | 16.355 % |
1122.28/1122.22	c |    727325 |    5672    27785    88399 |   102786    93968     45 | 16.355 % |
1122.48/1122.43	c |    727436 |    5672    27785    88399 |   102786    94079     45 | 16.355 % |
1122.58/1122.59	c |    727559 |    5672    27785    88399 |   102786    94202     45 | 16.355 % |
1122.78/1122.74	c |    727692 |    5672    27785    88399 |   102786    94335     45 | 16.355 % |
1122.98/1122.92	c |    727840 |    5672    27785    88399 |   102786    94483     45 | 16.355 % |
1123.28/1123.27	c |    728002 |    5672    27785    88399 |   102786    94645     46 | 16.355 % |
1123.48/1123.42	c |    728180 |    5672    27785    88399 |   102786    94823     46 | 16.355 % |
1123.88/1123.81	c |    728374 |    5672    27785    88399 |   102786    95017     46 | 16.355 % |
1124.08/1124.11	c |    728586 |    5672    27785    88399 |   102786    95229     46 | 16.355 % |
1124.38/1124.32	c |    728819 |    5672    27785    88399 |   102786    95462     46 | 16.355 % |
1124.98/1124.96	c |    729078 |    5672    27785    88399 |   102786    95721     46 | 16.355 % |
1125.58/1125.53	c |    729363 |    5672    27785    88399 |   102786    96006     46 | 16.355 % |
1125.98/1126.00	c |    729672 |    5672    27785    88399 |   102786    96315     46 | 16.355 % |
1126.78/1126.72	c |    730011 |    5672    27785    88399 |    96643    96654     46 | 16.355 % |
1127.59/1127.53	c |    730383 |    5672    27785    88399 |    96643    97026     47 | 16.355 % |
1128.38/1128.31	c |    730793 |    5672    27785    88399 |    96643    97436     47 | 16.355 % |
1129.18/1129.16	c |    731242 |    5672    27785    88399 |    96643    97885     47 | 16.355 % |
1129.98/1129.93	c |    731739 |    5672    27785    88399 |    96643    88594     45 | 16.355 % |
1130.78/1130.76	c |    732282 |    5672    27785    88399 |    96643    89137     45 | 16.355 % |
1131.78/1131.74	c |    732878 |    5672    27785    88399 |    96643    89733     45 | 16.355 % |
1132.78/1132.77	c |    733534 |    5672    27785    88399 |    96643    90389     45 | 16.355 % |
1134.19/1134.17	c |    734255 |    5672    27785    88399 |    96643    91110     46 | 16.355 % |
1135.38/1135.35	c |    735047 |    5672    27785    88399 |    96643    91902     46 | 16.355 % |
1136.88/1136.81	c |    735919 |    5672    27785    88399 |    96643    92774     46 | 16.355 % |
1137.98/1137.95	c |    736877 |    5672    27785    88399 |    96643    93732     46 | 16.355 % |
1139.98/1139.95	c |    737930 |    5672    27785    88399 |    96643    94785     47 | 16.355 % |
1141.78/1141.80	c |    739090 |    5672    27785    88399 |    96643    95945     47 | 16.355 % |
1143.98/1143.97	c |    740364 |    5672    27785    88399 | 2147483647    97219     48 | 16.355 % |
1146.08/1146.03	c |    741767 |    5672    27785    88399 | 2147483647    98622     48 | 16.355 % |
1149.38/1149.34	c |    743307 |    5672    27785    88399 | 2147483647   100162     49 | 16.355 % |
1152.38/1152.36	c |    745001 |    5672    27785    88399 | 2147483647   101856     50 | 16.355 % |
1156.48/1156.41	c |    746864 |    5672    27785    88399 | 2147483647   103719     51 | 16.355 % |
1159.68/1159.63	c |    748914 |    5672    27785    88399 | 2147483647   105769     51 | 16.355 % |
1163.68/1163.66	c |    751169 |    5672    27785    88399 |   106856   108024     52 | 16.355 % |
1168.29/1168.28	c |    753650 |    5672    27785    88399 |   106856    93828     50 | 16.355 % |
1172.49/1172.50	c |    756375 |    5672    27785    88399 |   106856    96553     50 | 16.355 % |
1176.99/1177.00	c |    759373 |    5672    27785    88399 |   106856    99551     51 | 16.355 % |
1183.49/1183.47	c |    762669 |    5672    27785    88399 |   100178    92590     50 | 16.355 % |
1190.59/1190.54	c |    766294 |    5672    27785    88399 |   100178    96215     53 | 16.355 % |
1197.29/1197.29	c |    770281 |    5672    27785    88399 | 2147483647   100202     54 | 16.355 % |
1200.09/1200.02	HOME/SatELiteGTI: line 36:  8721 Terminated              $MS $TMP.cnf $TMP.result

Verifier Data 

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

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 0.93 1.01 1.01 2/97 8715
/proc/meminfo: memFree=1787732/2074464 swapFree=1949244/1959888
[pid=8715] ppid=8713 vsize=2412 CPUtime=0.01
/proc/8715/stat : 8715 (SatELiteGTI) S 8713 8715 16367 0 -1 4194304 365 647 0 0 0 0 0 1 18 0 1 0 1013423279 2469888 276 4294967295 134512640 135169312 3216617184 3216615720 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/8715/statm: 603 276 235 161 0 42 0
[pid=8719] ppid=8715 vsize=956 CPUtime=0
/proc/8719/stat : 8719 (SatELite_releas) R 8715 8715 16367 0 -1 4202496 119 0 0 0 0 0 0 0 20 0 1 0 1013423279 978944 55 4294967295 134512640 135223648 3215328672 3215327576 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8719/statm: 239 58 45 174 0 64 0

[startup+0.053629 s]
/proc/loadavg: 0.93 1.01 1.01 2/97 8715
/proc/meminfo: memFree=1787732/2074464 swapFree=1949244/1959888
[pid=8715] ppid=8713 vsize=2412 CPUtime=0.01
/proc/8715/stat : 8715 (SatELiteGTI) S 8713 8715 16367 0 -1 4194304 365 647 0 0 0 0 0 1 18 0 1 0 1013423279 2469888 276 4294967295 134512640 135169312 3216617184 3216615720 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/8715/statm: 603 276 235 161 0 42 0
[pid=8719] ppid=8715 vsize=9112 CPUtime=0.05
/proc/8719/stat : 8719 (SatELite_releas) R 8715 8715 16367 0 -1 4202496 1890 0 0 0 5 0 0 0 20 0 1 0 1013423279 9330688 1826 4294967295 134512640 135223648 3215328672 3215327088 134576622 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8719/statm: 2278 1830 67 174 0 2103 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11524

[startup+0.113556 s]
/proc/loadavg: 0.93 1.01 1.01 2/97 8715
/proc/meminfo: memFree=1787732/2074464 swapFree=1949244/1959888
[pid=8715] ppid=8713 vsize=2412 CPUtime=0.01
/proc/8715/stat : 8715 (SatELiteGTI) S 8713 8715 16367 0 -1 4194304 365 647 0 0 0 0 0 1 18 0 1 0 1013423279 2469888 276 4294967295 134512640 135169312 3216617184 3216615720 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/8715/statm: 603 276 235 161 0 42 0
[pid=8719] ppid=8715 vsize=10096 CPUtime=0.11
/proc/8719/stat : 8719 (SatELite_releas) R 8715 8715 16367 0 -1 4202496 2279 0 0 0 11 0 0 0 20 0 1 0 1013423279 10338304 2068 4294967295 134512640 135223648 3215328672 3215326768 134597694 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8719/statm: 2524 2068 73 174 0 2349 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 12508

[startup+0.313544 s]
/proc/loadavg: 0.93 1.01 1.01 2/97 8715
/proc/meminfo: memFree=1787732/2074464 swapFree=1949244/1959888
[pid=8715] ppid=8713 vsize=2412 CPUtime=0.01
/proc/8715/stat : 8715 (SatELiteGTI) S 8713 8715 16367 0 -1 4194304 365 647 0 0 0 0 0 1 18 0 1 0 1013423279 2469888 276 4294967295 134512640 135169312 3216617184 3216615720 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/8715/statm: 603 276 235 161 0 42 0
[pid=8719] ppid=8715 vsize=11496 CPUtime=0.31
/proc/8719/stat : 8719 (SatELite_releas) R 8715 8715 16367 0 -1 4202496 2599 0 0 0 31 0 0 0 21 0 1 0 1013423279 11771904 2388 4294967295 134512640 135223648 3215328672 3215326768 134585529 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8719/statm: 2874 2388 73 174 0 2699 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 13908

[startup+0.713521 s]
/proc/loadavg: 0.93 1.01 1.01 2/97 8715
/proc/meminfo: memFree=1787732/2074464 swapFree=1949244/1959888
[pid=8715] ppid=8713 vsize=2416 CPUtime=0.43
/proc/8715/stat : 8715 (SatELiteGTI) S 8713 8715 16367 0 -1 4194304 385 3467 0 0 0 0 42 1 15 0 1 0 1013423279 2473984 278 4294967295 134512640 135169312 3216617184 3216613400 3085815534 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8715/statm: 604 278 235 161 0 43 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 2416

[startup+1.51348 s]
/proc/loadavg: 0.93 1.01 1.01 3/99 8721
/proc/meminfo: memFree=1782360/2074464 swapFree=1949244/1959888
[pid=8715] ppid=8713 vsize=2416 CPUtime=0.43
/proc/8715/stat : 8715 (SatELiteGTI) S 8713 8715 16367 0 -1 4194304 385 3467 0 0 0 0 42 1 15 0 1 0 1013423279 2473984 278 4294967295 134512640 135169312 3216617184 3216613400 3085815534 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8715/statm: 604 278 235 161 0 43 0
[pid=8721] ppid=8715 vsize=4908 CPUtime=1.09
/proc/8721/stat : 8721 (minisat_static) R 8715 8715 16367 0 -1 4202496 1035 0 0 0 109 0 0 0 20 0 1 0 1013423322 5025792 969 4294967295 134512640 135215339 3219093904 3219092192 134528742 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8721/statm: 1227 969 73 172 0 1054 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 7324

[startup+3.11339 s]
/proc/loadavg: 0.93 1.01 1.01 3/99 8721
/proc/meminfo: memFree=1781368/2074464 swapFree=1949244/1959888
[pid=8715] ppid=8713 vsize=2416 CPUtime=0.43
/proc/8715/stat : 8715 (SatELiteGTI) S 8713 8715 16367 0 -1 4194304 385 3467 0 0 0 0 42 1 15 0 1 0 1013423279 2473984 278 4294967295 134512640 135169312 3216617184 3216613400 3085815534 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8715/statm: 604 278 235 161 0 43 0
[pid=8721] ppid=8715 vsize=5840 CPUtime=2.69
/proc/8721/stat : 8721 (minisat_static) R 8715 8715 16367 0 -1 4202496 1281 0 0 0 269 0 0 0 25 0 1 0 1013423322 5980160 1215 4294967295 134512640 135215339 3219093904 3219092120 134721382 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8721/statm: 1460 1215 73 172 0 1287 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 8256

[startup+6.31321 s]
/proc/loadavg: 0.94 1.01 1.01 3/99 8721
/proc/meminfo: memFree=1779292/2074464 swapFree=1949244/1959888
[pid=8715] ppid=8713 vsize=2416 CPUtime=0.43
/proc/8715/stat : 8715 (SatELiteGTI) S 8713 8715 16367 0 -1 4194304 385 3467 0 0 0 0 42 1 15 0 1 0 1013423279 2473984 278 4294967295 134512640 135169312 3216617184 3216613400 3085815534 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8715/statm: 604 278 235 161 0 43 0
[pid=8721] ppid=8715 vsize=7820 CPUtime=5.89
/proc/8721/stat : 8721 (minisat_static) R 8715 8715 16367 0 -1 4202496 1772 0 0 0 589 0 0 0 25 0 1 0 1013423322 8007680 1706 4294967295 134512640 135215339 3219093904 3219091904 134532596 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8721/statm: 1955 1706 73 172 0 1782 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 10236

[startup+12.7128 s]
/proc/loadavg: 0.94 1.01 1.01 2/99 8723
/proc/meminfo: memFree=1775620/2074464 swapFree=1949244/1959888
[pid=8715] ppid=8713 vsize=2416 CPUtime=0.43
/proc/8715/stat : 8715 (SatELiteGTI) S 8713 8715 16367 0 -1 4194304 385 3467 0 0 0 0 42 1 15 0 1 0 1013423279 2473984 278 4294967295 134512640 135169312 3216617184 3216613400 3085815534 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8715/statm: 604 278 235 161 0 43 0
[pid=8721] ppid=8715 vsize=11444 CPUtime=12.29
/proc/8721/stat : 8721 (minisat_static) R 8715 8715 16367 0 -1 4202496 2676 0 0 0 1227 2 0 0 25 0 1 0 1013423322 11718656 2610 4294967295 134512640 135215339 3219093904 3219091904 134532964 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8721/statm: 2861 2610 73 172 0 2688 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 13860

[startup+25.5121 s]
/proc/loadavg: 0.95 1.01 1.01 2/99 8906
/proc/meminfo: memFree=1769316/2074464 swapFree=1949244/1959888
[pid=8715] ppid=8713 vsize=2416 CPUtime=0.43
/proc/8715/stat : 8715 (SatELiteGTI) S 8713 8715 16367 0 -1 4194304 385 3467 0 0 0 0 42 1 15 0 1 0 1013423279 2473984 278 4294967295 134512640 135169312 3216617184 3216613400 3085815534 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8715/statm: 604 278 235 161 0 43 0
[pid=8721] ppid=8715 vsize=17200 CPUtime=25.09
/proc/8721/stat : 8721 (minisat_static) R 8715 8715 16367 0 -1 4202496 4106 0 0 0 2505 4 0 0 25 0 1 0 1013423322 17612800 4040 4294967295 134512640 135215339 3219093904 3219092120 134721382 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8721/statm: 4300 4040 73 172 0 4127 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 19616

[startup+51.1207 s]
/proc/loadavg: 0.97 1.00 1.00 2/99 8910
/proc/meminfo: memFree=1761580/2074464 swapFree=1949244/1959888
[pid=8715] ppid=8713 vsize=2416 CPUtime=0.43
/proc/8715/stat : 8715 (SatELiteGTI) S 8713 8715 16367 0 -1 4194304 385 3467 0 0 0 0 42 1 15 0 1 0 1013423279 2473984 278 4294967295 134512640 135169312 3216617184 3216613400 3085815534 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8715/statm: 604 278 235 161 0 43 0
[pid=8721] ppid=8715 vsize=25112 CPUtime=50.7
/proc/8721/stat : 8721 (minisat_static) R 8715 8715 16367 0 -1 4202496 6079 0 0 0 5064 6 0 0 25 0 1 0 1013423322 25714688 6013 4294967295 134512640 135215339 3219093904 3219092192 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8721/statm: 6278 6013 73 172 0 6105 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 27528

[startup+102.318 s]
/proc/loadavg: 0.98 1.00 1.00 2/99 9100
/proc/meminfo: memFree=1751612/2074464 swapFree=1949244/1959888
[pid=8715] ppid=8713 vsize=2416 CPUtime=0.43
/proc/8715/stat : 8715 (SatELiteGTI) S 8713 8715 16367 0 -1 4194304 385 3467 0 0 0 0 42 1 15 0 1 0 1013423279 2473984 278 4294967295 134512640 135169312 3216617184 3216613400 3085815534 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8715/statm: 604 278 235 161 0 43 0
[pid=8721] ppid=8715 vsize=34824 CPUtime=101.9
/proc/8721/stat : 8721 (minisat_static) R 8715 8715 16367 0 -1 4202496 8485 0 0 0 10178 12 0 0 25 0 1 0 1013423322 35659776 8419 4294967295 134512640 135215339 3219093904 3219092192 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8721/statm: 8706 8419 73 172 0 8533 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 37240

[startup+162.314 s]
/proc/loadavg: 0.99 1.00 1.00 2/99 9288
/proc/meminfo: memFree=1749628/2074464 swapFree=1949244/1959888
[pid=8715] ppid=8713 vsize=2416 CPUtime=0.43
/proc/8715/stat : 8715 (SatELiteGTI) S 8713 8715 16367 0 -1 4194304 385 3467 0 0 0 0 42 1 15 0 1 0 1013423279 2473984 278 4294967295 134512640 135169312 3216617184 3216613400 3085815534 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8715/statm: 604 278 235 161 0 43 0
[pid=8721] ppid=8715 vsize=36804 CPUtime=161.9
/proc/8721/stat : 8721 (minisat_static) R 8715 8715 16367 0 -1 4202496 8994 0 0 0 16176 14 0 0 25 0 1 0 1013423322 37687296 8928 4294967295 134512640 135215339 3219093904 3219091904 134532964 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8721/statm: 9201 8929 73 172 0 9028 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 39220

[startup+222.321 s]
/proc/loadavg: 1.06 1.03 1.01 3/99 9477
/proc/meminfo: memFree=1748784/2074464 swapFree=1949244/1959888
[pid=8715] ppid=8713 vsize=2416 CPUtime=0.43
/proc/8715/stat : 8715 (SatELiteGTI) S 8713 8715 16367 0 -1 4194304 385 3467 0 0 0 0 42 1 15 0 1 0 1013423279 2473984 278 4294967295 134512640 135169312 3216617184 3216613400 3085815534 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8715/statm: 604 278 235 161 0 43 0
[pid=8721] ppid=8715 vsize=37728 CPUtime=221.91
/proc/8721/stat : 8721 (minisat_static) R 8715 8715 16367 0 -1 4202496 9222 0 0 0 22177 14 0 0 25 0 1 0 1013423322 38633472 9156 4294967295 134512640 135215339 3219093904 3219092192 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8721/statm: 9432 9156 73 172 0 9259 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 40144

[startup+282.308 s]
/proc/loadavg: 1.02 1.02 1.00 2/99 9666
/proc/meminfo: memFree=1747140/2074464 swapFree=1949244/1959888
[pid=8715] ppid=8713 vsize=2416 CPUtime=0.43
/proc/8715/stat : 8715 (SatELiteGTI) S 8713 8715 16367 0 -1 4194304 385 3467 0 0 0 0 42 1 15 0 1 0 1013423279 2473984 278 4294967295 134512640 135169312 3216617184 3216613400 3085815534 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8715/statm: 604 278 235 161 0 43 0
[pid=8721] ppid=8715 vsize=39312 CPUtime=281.9
/proc/8721/stat : 8721 (minisat_static) R 8715 8715 16367 0 -1 4202496 9612 0 0 0 28175 15 0 0 25 0 1 0 1013423322 40255488 9546 4294967295 134512640 135215339 3219093904 3219092192 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8721/statm: 9828 9546 73 172 0 9655 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 41728

[startup+342.314 s]
/proc/loadavg: 1.01 1.01 1.00 3/99 9854
/proc/meminfo: memFree=1746900/2074464 swapFree=1949244/1959888
[pid=8715] ppid=8713 vsize=2416 CPUtime=0.43
/proc/8715/stat : 8715 (SatELiteGTI) S 8713 8715 16367 0 -1 4194304 385 3467 0 0 0 0 42 1 15 0 1 0 1013423279 2473984 278 4294967295 134512640 135169312 3216617184 3216613400 3085815534 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8715/statm: 604 278 235 161 0 43 0
[pid=8721] ppid=8715 vsize=39460 CPUtime=341.91
/proc/8721/stat : 8721 (minisat_static) R 8715 8715 16367 0 -1 4202496 9647 0 0 0 34176 15 0 0 25 0 1 0 1013423322 40407040 9581 4294967295 134512640 135215339 3219093904 3219091968 134539363 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8721/statm: 9865 9581 73 172 0 9692 0
Current children cumulated CPU time (s) 342.34
Current children cumulated vsize (KiB) 41876

[startup+402.311 s]

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

/proc/8715/statm: 604 278 235 161 0 43 0
[pid=8721] ppid=8715 vsize=39592 CPUtime=461.92
/proc/8721/stat : 8721 (minisat_static) R 8715 8715 16367 0 -1 4202496 9692 0 0 0 46174 18 0 0 25 0 1 0 1013423322 40542208 9626 4294967295 134512640 135215339 3219093904 3219092192 134528734 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8721/statm: 9898 9626 73 172 0 9725 0
Current children cumulated CPU time (s) 462.35
Current children cumulated vsize (KiB) 42008

[startup+522.314 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 10420
/proc/meminfo: memFree=1746652/2074464 swapFree=1949244/1959888
[pid=8715] ppid=8713 vsize=2416 CPUtime=0.43
/proc/8715/stat : 8715 (SatELiteGTI) S 8713 8715 16367 0 -1 4194304 385 3467 0 0 0 0 42 1 15 0 1 0 1013423279 2473984 278 4294967295 134512640 135169312 3216617184 3216613400 3085815534 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8715/statm: 604 278 235 161 0 43 0
[pid=8721] ppid=8715 vsize=39592 CPUtime=521.92
/proc/8721/stat : 8721 (minisat_static) R 8715 8715 16367 0 -1 4202496 9695 0 0 0 52172 20 0 0 25 0 1 0 1013423322 40542208 9629 4294967295 134512640 135215339 3219093904 3219092192 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8721/statm: 9898 9629 73 172 0 9725 0
Current children cumulated CPU time (s) 522.35
Current children cumulated vsize (KiB) 42008

[startup+582.321 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 10609
/proc/meminfo: memFree=1746784/2074464 swapFree=1949244/1959888
[pid=8715] ppid=8713 vsize=2416 CPUtime=0.43
/proc/8715/stat : 8715 (SatELiteGTI) S 8713 8715 16367 0 -1 4194304 385 3467 0 0 0 0 42 1 15 0 1 0 1013423279 2473984 278 4294967295 134512640 135169312 3216617184 3216613400 3085815534 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8715/statm: 604 278 235 161 0 43 0
[pid=8721] ppid=8715 vsize=39592 CPUtime=581.93
/proc/8721/stat : 8721 (minisat_static) R 8715 8715 16367 0 -1 4202496 9704 0 0 0 58173 20 0 0 25 0 1 0 1013423322 40542208 9638 4294967295 134512640 135215339 3219093904 3219092192 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8721/statm: 9898 9638 73 172 0 9725 0
Current children cumulated CPU time (s) 582.36
Current children cumulated vsize (KiB) 42008

[startup+642.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 10797
/proc/meminfo: memFree=1746644/2074464 swapFree=1949244/1959888
[pid=8715] ppid=8713 vsize=2416 CPUtime=0.43
/proc/8715/stat : 8715 (SatELiteGTI) S 8713 8715 16367 0 -1 4194304 385 3467 0 0 0 0 42 1 15 0 1 0 1013423279 2473984 278 4294967295 134512640 135169312 3216617184 3216613400 3085815534 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8715/statm: 604 278 235 161 0 43 0
[pid=8721] ppid=8715 vsize=39740 CPUtime=641.92
/proc/8721/stat : 8721 (minisat_static) R 8715 8715 16367 0 -1 4202496 9716 0 0 0 64172 20 0 0 25 0 1 0 1013423322 40693760 9650 4294967295 134512640 135215339 3219093904 3219092192 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8721/statm: 9935 9650 73 172 0 9762 0
Current children cumulated CPU time (s) 642.35
Current children cumulated vsize (KiB) 42156

[startup+702.314 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 10984
/proc/meminfo: memFree=1746404/2074464 swapFree=1949244/1959888
[pid=8715] ppid=8713 vsize=2416 CPUtime=0.43
/proc/8715/stat : 8715 (SatELiteGTI) S 8713 8715 16367 0 -1 4194304 385 3467 0 0 0 0 42 1 15 0 1 0 1013423279 2473984 278 4294967295 134512640 135169312 3216617184 3216613400 3085815534 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8715/statm: 604 278 235 161 0 43 0
[pid=8721] ppid=8715 vsize=39740 CPUtime=701.93
/proc/8721/stat : 8721 (minisat_static) R 8715 8715 16367 0 -1 4202496 9716 0 0 0 70173 20 0 0 25 0 1 0 1013423322 40693760 9650 4294967295 134512640 135215339 3219093904 3219092192 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8721/statm: 9935 9650 73 172 0 9762 0
Current children cumulated CPU time (s) 702.36
Current children cumulated vsize (KiB) 42156

[startup+762.321 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 11172
/proc/meminfo: memFree=1746396/2074464 swapFree=1949244/1959888
[pid=8715] ppid=8713 vsize=2416 CPUtime=0.43
/proc/8715/stat : 8715 (SatELiteGTI) S 8713 8715 16367 0 -1 4194304 385 3467 0 0 0 0 42 1 15 0 1 0 1013423279 2473984 278 4294967295 134512640 135169312 3216617184 3216613400 3085815534 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8715/statm: 604 278 235 161 0 43 0
[pid=8721] ppid=8715 vsize=39740 CPUtime=761.94
/proc/8721/stat : 8721 (minisat_static) R 8715 8715 16367 0 -1 4202496 9716 0 0 0 76174 20 0 0 25 0 1 0 1013423322 40693760 9650 4294967295 134512640 135215339 3219093904 3219092192 134528721 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8721/statm: 9935 9650 73 172 0 9762 0
Current children cumulated CPU time (s) 762.37
Current children cumulated vsize (KiB) 42156

[startup+822.317 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 11359
/proc/meminfo: memFree=1746396/2074464 swapFree=1949244/1959888
[pid=8715] ppid=8713 vsize=2416 CPUtime=0.43
/proc/8715/stat : 8715 (SatELiteGTI) S 8713 8715 16367 0 -1 4194304 385 3467 0 0 0 0 42 1 15 0 1 0 1013423279 2473984 278 4294967295 134512640 135169312 3216617184 3216613400 3085815534 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8715/statm: 604 278 235 161 0 43 0
[pid=8721] ppid=8715 vsize=39740 CPUtime=821.94
/proc/8721/stat : 8721 (minisat_static) R 8715 8715 16367 0 -1 4202496 9716 0 0 0 82174 20 0 0 25 0 1 0 1013423322 40693760 9650 4294967295 134512640 135215339 3219093904 3219092192 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8721/statm: 9935 9650 73 172 0 9762 0
Current children cumulated CPU time (s) 822.37
Current children cumulated vsize (KiB) 42156

[startup+882.314 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 11552
/proc/meminfo: memFree=1746404/2074464 swapFree=1949244/1959888
[pid=8715] ppid=8713 vsize=2416 CPUtime=0.43
/proc/8715/stat : 8715 (SatELiteGTI) S 8713 8715 16367 0 -1 4194304 385 3467 0 0 0 0 42 1 15 0 1 0 1013423279 2473984 278 4294967295 134512640 135169312 3216617184 3216613400 3085815534 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8715/statm: 604 278 235 161 0 43 0
[pid=8721] ppid=8715 vsize=39740 CPUtime=881.94
/proc/8721/stat : 8721 (minisat_static) R 8715 8715 16367 0 -1 4202496 9744 0 0 0 88174 20 0 0 25 0 1 0 1013423322 40693760 9678 4294967295 134512640 135215339 3219093904 3219092192 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8721/statm: 9935 9678 73 172 0 9762 0
Current children cumulated CPU time (s) 882.37
Current children cumulated vsize (KiB) 42156

[startup+942.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 11740
/proc/meminfo: memFree=1746636/2074464 swapFree=1949244/1959888
[pid=8715] ppid=8713 vsize=2416 CPUtime=0.43
/proc/8715/stat : 8715 (SatELiteGTI) S 8713 8715 16367 0 -1 4194304 385 3467 0 0 0 0 42 1 15 0 1 0 1013423279 2473984 278 4294967295 134512640 135169312 3216617184 3216613400 3085815534 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8715/statm: 604 278 235 161 0 43 0
[pid=8721] ppid=8715 vsize=39740 CPUtime=941.95
/proc/8721/stat : 8721 (minisat_static) R 8715 8715 16367 0 -1 4202496 9744 0 0 0 94175 20 0 0 25 0 1 0 1013423322 40693760 9678 4294967295 134512640 135215339 3219093904 3219092192 134528700 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8721/statm: 9935 9678 73 172 0 9762 0
Current children cumulated CPU time (s) 942.38
Current children cumulated vsize (KiB) 42156

[startup+1002.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 11927
/proc/meminfo: memFree=1746636/2074464 swapFree=1949244/1959888
[pid=8715] ppid=8713 vsize=2416 CPUtime=0.43
/proc/8715/stat : 8715 (SatELiteGTI) S 8713 8715 16367 0 -1 4194304 385 3467 0 0 0 0 42 1 15 0 1 0 1013423279 2473984 278 4294967295 134512640 135169312 3216617184 3216613400 3085815534 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8715/statm: 604 278 235 161 0 43 0
[pid=8721] ppid=8715 vsize=39740 CPUtime=1001.94
/proc/8721/stat : 8721 (minisat_static) R 8715 8715 16367 0 -1 4202496 9744 0 0 0 100174 20 0 0 25 0 1 0 1013423322 40693760 9678 4294967295 134512640 135215339 3219093904 3219092192 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8721/statm: 9935 9678 73 172 0 9762 0
Current children cumulated CPU time (s) 1002.37
Current children cumulated vsize (KiB) 42156

[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 12115
/proc/meminfo: memFree=1746496/2074464 swapFree=1949244/1959888
[pid=8715] ppid=8713 vsize=2416 CPUtime=0.43
/proc/8715/stat : 8715 (SatELiteGTI) S 8713 8715 16367 0 -1 4194304 385 3467 0 0 0 0 42 1 15 0 1 0 1013423279 2473984 278 4294967295 134512640 135169312 3216617184 3216613400 3085815534 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8715/statm: 604 278 235 161 0 43 0
[pid=8721] ppid=8715 vsize=39740 CPUtime=1061.95
/proc/8721/stat : 8721 (minisat_static) R 8715 8715 16367 0 -1 4202496 9744 0 0 0 106175 20 0 0 25 0 1 0 1013423322 40693760 9678 4294967295 134512640 135215339 3219093904 3219092192 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8721/statm: 9935 9678 73 172 0 9762 0
Current children cumulated CPU time (s) 1062.38
Current children cumulated vsize (KiB) 42156

[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 12302
/proc/meminfo: memFree=1746644/2074464 swapFree=1949244/1959888
[pid=8715] ppid=8713 vsize=2416 CPUtime=0.43
/proc/8715/stat : 8715 (SatELiteGTI) S 8713 8715 16367 0 -1 4194304 385 3467 0 0 0 0 42 1 15 0 1 0 1013423279 2473984 278 4294967295 134512640 135169312 3216617184 3216613400 3085815534 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8715/statm: 604 278 235 161 0 43 0
[pid=8721] ppid=8715 vsize=39740 CPUtime=1121.95
/proc/8721/stat : 8721 (minisat_static) R 8715 8715 16367 0 -1 4202496 9744 0 0 0 112174 21 0 0 25 0 1 0 1013423322 40693760 9678 4294967295 134512640 135215339 3219093904 3219092192 134528881 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8721/statm: 9935 9678 73 172 0 9762 0
Current children cumulated CPU time (s) 1122.38
Current children cumulated vsize (KiB) 42156

[startup+1182.32 s]
/proc/loadavg: 1.13 1.03 1.01 2/99 12491
/proc/meminfo: memFree=1746544/2074464 swapFree=1949244/1959888
[pid=8715] ppid=8713 vsize=2416 CPUtime=0.43
/proc/8715/stat : 8715 (SatELiteGTI) S 8713 8715 16367 0 -1 4194304 385 3467 0 0 0 0 42 1 15 0 1 0 1013423279 2473984 278 4294967295 134512640 135169312 3216617184 3216613400 3085815534 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8715/statm: 604 278 235 161 0 43 0
[pid=8721] ppid=8715 vsize=39740 CPUtime=1181.96
/proc/8721/stat : 8721 (minisat_static) R 8715 8715 16367 0 -1 4202496 9744 0 0 0 118175 21 0 0 25 0 1 0 1013423322 40693760 9678 4294967295 134512640 135215339 3219093904 3219092192 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8721/statm: 9935 9678 73 172 0 9762 0
Current children cumulated CPU time (s) 1182.39
Current children cumulated vsize (KiB) 42156



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.02 s]
/proc/loadavg: 1.10 1.03 1.01 2/99 12491
/proc/meminfo: memFree=1746584/2074464 swapFree=1949244/1959888
[pid=8715] ppid=8713 vsize=2416 CPUtime=0.43
/proc/8715/stat : 8715 (SatELiteGTI) S 8713 8715 16367 0 -1 4194304 385 3467 0 0 0 0 42 1 15 0 1 0 1013423279 2473984 278 4294967295 134512640 135169312 3216617184 3216613400 3085815534 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8715/statm: 604 278 235 161 0 43 0
[pid=8721] ppid=8715 vsize=39740 CPUtime=1199.66
/proc/8721/stat : 8721 (minisat_static) R 8715 8715 16367 0 -1 4202496 9744 0 0 0 119945 21 0 0 25 0 1 0 1013423322 40693760 9678 4294967295 134512640 135215339 3219093904 3219092192 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8721/statm: 9935 9678 73 172 0 9762 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 42156

Sending SIGTERM to process tree (bottom up)

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

Child status: 143
Real time (s): 1200.03
CPU time (s): 1200.1
CPU user time (s): 1199.87
CPU system time (s): 0.23
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 42156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.87
system time used= 0.23
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13871
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22
involuntary context switches= 1337

runsolver used 0.06 second user time and 0.02 second system time

The end

Launcher Data 

Begin job on tipi11 at 2009-05-16 17:53:43
IDJOB=1820938
IDBENCH=70780
IDSOLVER=657
FILE ID=tipi11/1820938-1242489223
PBS_JOBID=
Free space on /tmp= 9918 MiB

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

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

MD5SUM BENCH= 5bb6e70c95bda454f634cd586084908b
RANDOM SEED= 493195816

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

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

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

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

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


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:       1787756 kB
Buffers:         23380 kB
Cached:         193248 kB
SwapCached:       5224 kB
Active:          55028 kB
Inactive:       173328 kB
HighTotal:     1178688 kB
HighFree:      1005636 kB
LowTotal:       895776 kB
LowFree:        782120 kB
SwapTotal:     1959888 kB
SwapFree:      1949244 kB
Dirty:            2856 kB
Writeback:           0 kB
AnonPages:       11292 kB
Mapped:           5096 kB
Slab:            49808 kB
PageTables:        436 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    97132 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 9917 MiB
End job on tipi11 at 2009-05-16 18:13:43