Trace number 1833605

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.07 1200.51

General information on the benchmark

NameAPPLICATIONS/bitverif/
countbitssrl/countbitssrl032.cnf
MD5SUM5bb6e70c95bda454f634cd586084908b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark992.714
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.00/0.05	c ==============================================================================
0.00/0.05	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.05	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.05	c ==============================================================================
0.00/0.05	c |         0 |   55722   130018 |   16716       0        0     nan |  0.000 % |
0.00/0.45	c |         0 |   34365   106362 |      --       0       --      -- |     --   | -21355/-23651
0.00/0.45	c ==============================================================================
0.00/0.45	c Result  :   #vars: 6781   #clauses: 34365   #literals: 106362
0.00/0.45	c CPU time:   0.425935 s
0.00/0.45	c ==============================================================================
0.00/0.49	c This is MiniSat 2.0 beta
0.00/0.49	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.49	c ============================[ Problem Statistics ]=============================
0.00/0.49	c |                                                                             |
0.00/0.49	c |  Number of variables:  6781                                                 |
0.00/0.49	c |  Number of clauses:    34365                                                |
0.49/0.51	c |  Parsing time:         0.02         s                                       |
0.49/0.51	c ============================[ Search Statistics ]==============================
0.49/0.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.51	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.49/0.51	c ===============================================================================
0.49/0.51	c |         0 |    6781    34365   106362 |    11455        0    nan |  0.000 % |
0.49/0.53	c |       103 |    6282    34365   106362 |    11455      101     22 |  9.025 % |
0.49/0.54	c |       204 |    6282    34365   106362 |    11455      202     17 |  9.025 % |
0.49/0.56	c |       305 |    6282    34365   106362 |    11455      303     18 |  9.025 % |
0.49/0.57	c |       416 |    6169    30106    95319 |    11455      413     18 |  9.025 % |
0.49/0.63	c |       518 |    6169    30106    95319 |    11455      515     31 |  9.025 % |
0.49/0.63	c |       629 |    6169    30106    95319 |    11455      626     29 |  9.025 % |
0.49/0.65	c |       751 |    6169    30106    95319 |    11455      748     29 |  9.025 % |
0.49/0.66	c |       852 |    6169    30106    95319 |    11455      849     28 |  9.025 % |
0.49/0.67	c |       962 |    6169    30106    95319 |    11455      959     26 |  9.025 % |
0.49/0.73	c |      1084 |    6169    30106    95319 |    11455     1081     34 |  9.025 % |
0.49/0.77	c |      1218 |    6163    30070    95217 |    11455     1214     34 |  9.114 % |
0.49/0.78	c |      1319 |    6163    30070    95217 |    11455     1315     33 |  9.114 % |
0.49/0.79	c |      1429 |    6163    30070    95217 |    11455     1425     31 |  9.114 % |
0.49/0.85	c |      1551 |    6163    30070    95217 |    11455     1547     35 |  9.114 % |
0.49/0.86	c |      1684 |    6163    30070    95217 |    11455     1680     33 |  9.114 % |
0.49/0.92	c |      1831 |    6163    30070    95217 |    11455     1827     36 |  9.114 % |
0.49/0.94	c |      1931 |    6163    30070    95217 |    11455     1927     36 |  9.114 % |
0.49/0.95	c |      2041 |    6163    30070    95217 |    11455     2037     36 |  9.114 % |
0.49/0.96	c |      2163 |    6163    30070    95217 |    11455     2159     36 |  9.114 % |
0.99/1.02	c |      2296 |    6163    30070    95217 |    11455     2292     38 |  9.114 % |
0.99/1.04	c |      2442 |    6163    30070    95217 |    11455     2438     37 |  9.114 % |
0.99/1.05	c |      2602 |    6163    30070    95217 |    11455     2598     36 |  9.114 % |
0.99/1.06	c |      2702 |    6163    30070    95217 |    11455     2698     35 |  9.114 % |
1.09/1.13	c |      2812 |    6163    30070    95217 |    11455     2808     38 |  9.114 % |
1.09/1.14	c |      2937 |    6163    30070    95217 |    11455     2933     37 |  9.114 % |
1.09/1.20	c |      3070 |    6163    30070    95217 |    11455     3066     38 |  9.114 % |
1.19/1.21	c |      3218 |    6163    30070    95217 |    11455     3214     37 |  9.114 % |
1.19/1.29	c |      3380 |    6163    30070    95217 |    11455     3376     39 |  9.114 % |
1.29/1.31	c |      3556 |    6163    30070    95217 |    11455     3552     38 |  9.114 % |
1.29/1.31	c |      3656 |    6163    30070    95217 |    11455     3652     37 |  9.114 % |
1.29/1.37	c |      3766 |    6163    30070    95217 |    11455     3762     39 |  9.114 % |
1.29/1.39	c |      3887 |    6163    30070    95217 |    11455     3883     38 |  9.114 % |
1.29/1.40	c |      4020 |    6163    30070    95217 |    11455     4016     37 |  9.114 % |
1.39/1.41	c |      4166 |    6163    30070    95217 |    11455     4162     36 |  9.114 % |
1.39/1.50	c |      4327 |    6163    30070    95217 |    11455     4323     39 |  9.114 % |
1.49/1.52	c |      4504 |    6163    30070    95217 |    11455     4500     38 |  9.114 % |
1.49/1.54	c |      4698 |    6163    30070    95217 |    11455     4694     37 |  9.114 % |
1.49/1.59	c |      4799 |    6163    30070    95217 |    11455     4795     37 |  9.114 % |
1.59/1.60	c |      4909 |    6163    30070    95217 |    11455     4905     37 |  9.114 % |
1.59/1.66	c |      5030 |    6163    30070    95217 |    11455     5026     38 |  9.114 % |
1.69/1.73	c |      5164 |    6094    29765    94305 |    11455     5157     39 | 10.249 % |
1.69/1.75	c |      5312 |    6094    29765    94305 |    11455     5305     38 | 10.249 % |
1.79/1.82	c |      5474 |    6094    29765    94305 |    11455     5467     39 | 10.249 % |
1.79/1.89	c |      5650 |    6094    29765    94305 |    11455     5643     39 | 10.249 % |
1.99/2.01	c |      5844 |    6086    29711    94141 |    11455     5836     41 | 10.249 % |
1.99/2.04	c |      6056 |    6086    29711    94141 |    11455     6048     40 | 10.249 % |
1.99/2.06	c |      6156 |    6086    29711    94141 |    11455     6148     40 | 10.249 % |
1.99/2.07	c |      6267 |    6086    29711    94141 |    11455     6259     40 | 10.249 % |
2.09/2.14	c |      6391 |    6086    29711    94141 |    11455     6383     40 | 10.249 % |
2.09/2.16	c |      6524 |    6086    29711    94141 |    11455     6516     40 | 10.249 % |
2.09/2.18	c |      6671 |    6086    29711    94141 |    11455     6663     40 | 10.249 % |
2.09/2.19	c |      6831 |    6086    29711    94141 |    11455     6823     39 | 10.249 % |
2.19/2.29	c |      7007 |    6086    29711    94141 |    11455     6999     40 | 10.249 % |
2.29/2.32	c |      7200 |    6082    29707    94133 |    11455     7189     40 | 10.338 % |
2.39/2.47	c |      7412 |    6082    29707    94133 |    11455     7401     41 | 10.338 % |
2.39/2.50	c |      7645 |    6082    29707    94133 |    11455     7634     41 | 10.338 % |
2.49/2.55	c |      7745 |    6080    29707    94133 |    11455     7732     41 | 10.367 % |
2.58/2.62	c |      7856 |    6078    29677    94055 |    11455     7842     41 | 10.367 % |
2.58/2.64	c |      7981 |    6078    29677    94055 |    11455     7966     41 | 11.400 % |
2.68/2.74	c |      8115 |    6077    29677    94055 |    11455     8100     41 | 11.400 % |
2.68/2.76	c |      8261 |    6077    29677    94055 |    11455     8246     41 | 11.400 % |
2.78/2.83	c |      8421 |    6077    29677    94055 |    11455     8406     41 | 11.400 % |
2.78/2.87	c |      8599 |    6008    29348    93069 |    11455     8576     41 | 11.400 % |
2.88/2.96	c |      8792 |    6008    29348    93069 |    11455     8769     41 | 11.400 % |
2.88/2.99	c |      9005 |    6008    29348    93069 |    11455     8982     41 | 11.400 % |
2.98/3.04	c |      9238 |    6008    29348    93069 |    11455     9215     41 | 11.400 % |
3.18/3.20	c |      9494 |    6008    29348    93069 |    11455     9471     42 | 11.400 % |
3.18/3.25	c |      9595 |    6008    29348    93069 |    11455     9572     42 | 11.401 % |
3.18/3.26	c |      9705 |    6008    29348    93069 |    11455     9682     42 | 11.400 % |
3.28/3.30	c |      9828 |    5847    28601    90831 |    11455     9789     41 | 13.774 % |
3.28/3.35	c |      9961 |    5847    28601    90831 |    11455     9922     42 | 13.774 % |
3.28/3.38	c |     10107 |    5847    28601    90831 | 2147483647    10068     41 | 13.774 % |
3.38/3.44	c |     10267 |    5847    28601    90831 | 2147483647    10228     41 | 13.774 % |
3.38/3.49	c |     10443 |    5847    28601    90831 | 2147483647    10404     41 | 13.774 % |
3.48/3.54	c |     10636 |    5847    28601    90831 | 2147483647    10597     41 | 13.774 % |
3.48/3.57	c |     10850 |    5847    28601    90831 | 2147483647    10811     41 | 13.774 % |
3.58/3.64	c |     11083 |    5847    28601    90831 | 2147483647    11044     41 | 13.774 % |
3.58/3.67	c |     11339 |    5847    28601    90831 | 2147483647    11300     40 | 13.774 % |
3.78/3.86	c |     11620 |    5847    28601    90831 | 2147483647    11581     42 | 13.774 % |
3.78/3.89	c |     11720 |    5847    28601    90831 | 2147483647    11681     42 | 13.774 % |
3.88/3.92	c |     11831 |    5845    28597    90823 | 2147483647    11790     42 | 13.803 % |
3.88/3.99	c |     11953 |    5845    28597    90823 | 2147483647    11912     42 | 13.803 % |
3.98/4.01	c |     12086 |    5845    28597    90823 | 2147483647    12045     42 | 13.803 % |
4.08/4.13	c |     12232 |    5845    28597    90823 | 2147483647    12191     42 | 13.803 % |
4.08/4.19	c |     12393 |    5845    28597    90823 | 2147483647    12352     42 | 13.803 % |
4.18/4.24	c |     12572 |    5845    28597    90823 | 2147483647    12531     42 | 13.803 % |
4.18/4.28	c |     12765 |    5845    28597    90823 | 2147483647    12724     42 | 13.803 % |
4.28/4.31	c |     12978 |    5845    28597    90823 | 2147483647    12937     42 | 13.803 % |
4.28/4.34	c |     13211 |    5845    28593    90815 | 2147483647    13170     41 | 13.803 % |
4.38/4.48	c |     13467 |    5845    28593    90815 | 2147483647    13426     42 | 13.803 % |
4.48/4.52	c |     13748 |    5845    28593    90815 | 2147483647    13707     42 | 13.803 % |
4.48/4.55	c |     14059 |    5845    28593    90815 | 2147483647    14018     41 | 13.803 % |
4.48/4.56	c |     14159 |    5845    28593    90815 | 2147483647    14118     41 | 13.803 % |
4.58/4.66	c |     14273 |    5845    28593    90815 | 2147483647    14232     42 | 13.803 % |
4.58/4.68	c |     14394 |    5845    28593    90815 | 2147483647    14353     41 | 13.803 % |
4.68/4.70	c |     14528 |    5845    28593    90815 | 2147483647    14487     41 | 13.803 % |
4.78/4.84	c |     14676 |    5845    28593    90815 | 2147483647    14635     42 | 13.803 % |
4.88/4.90	c |     14836 |    5844    28588    90800 | 2147483647    14793     42 | 13.818 % |
4.88/4.94	c |     15014 |    5844    28588    90800 | 2147483647    14971     42 | 13.818 % |
4.98/5.03	c |     15207 |    5844    28588    90800 | 2147483647    15164     42 | 13.818 % |
4.98/5.07	c |     15421 |    5844    28588    90800 | 2147483647    15378     42 | 13.818 % |
5.09/5.11	c |     15654 |    5844    28588    90800 | 2147483647    15611     42 | 13.818 % |
5.09/5.19	c |     15911 |    5844    28588    90800 | 2147483647    15868     42 | 13.818 % |
5.29/5.35	c |     16193 |    5844    28588    90800 | 2147483647    16150     42 | 13.818 % |
5.49/5.55	c |     16503 |    5844    28588    90800 | 2147483647    16460     43 | 13.818 % |
5.58/5.64	c |     16843 |    5844    28588    90800 | 2147483647    16800     43 | 13.818 % |
5.58/5.66	c |     16943 |    5844    28588    90800 | 2147483647    16900     43 | 13.818 % |
5.58/5.67	c |     17054 |    5844    28588    90800 | 2147483647    17011     43 | 13.818 % |
5.68/5.75	c |     17175 |    5844    28588    90800 | 2147483647    17132     43 | 13.818 % |
5.68/5.77	c |     17309 |    5844    28588    90800 | 2147483647    17266     43 | 13.818 % |
5.78/5.89	c |     17455 |    5844    28588    90800 | 2147483647    17412     43 | 13.818 % |
5.88/5.93	c |     17616 |    5844    28588    90800 | 2147483647    17573     43 | 13.818 % |
5.88/5.96	c |     17792 |    5844    28588    90800 | 2147483647    17749     43 | 13.818 % |
5.98/6.00	c |     17986 |    5844    28588    90800 | 2147483647    17943     43 | 13.818 % |
6.08/6.15	c |     18198 |    5844    28588    90800 | 2147483647    18155     43 | 13.818 % |
6.18/6.25	c |     18431 |    5844    28588    90800 | 2147483647    18388     43 | 13.818 % |
6.38/6.46	c |     18687 |    5844    28588    90800 | 2147483647    18644     44 | 13.818 % |
6.49/6.51	c |     18968 |    5844    28588    90800 | 2147483647    18925     44 | 13.818 % |
6.49/6.53	c |     19277 |    5844    28588    90800 | 2147483647    19234     43 | 13.818 % |
6.59/6.63	c |     19617 |    5844    28588    90800 | 2147483647    19574     43 | 13.818 % |
6.68/6.70	c |     19990 |    5844    28588    90800 | 2147483647    19947     43 | 13.818 % |
6.68/6.71	c |     20092 |    5844    28588    90800 | 2147483647    20049     43 | 13.818 % |
6.68/6.78	c |     20202 |    5844    28588    90800 | 2147483647    20159     43 | 13.818 % |
6.78/6.82	c |     20325 |    5844    28588    90800 | 2147483647    20282     43 | 13.818 % |
6.88/6.90	c |     20458 |    5844    28588    90800 | 2147483647    20415     43 | 13.818 % |
6.88/6.92	c |     20605 |    5844    28588    90800 | 2147483647    20562     43 | 13.818 % |
6.98/7.02	c |     20766 |    5844    28588    90800 | 2147483647    20723     43 | 13.818 % |
6.98/7.05	c |     20942 |    5844    28588    90800 | 2147483647    20899     43 | 13.818 % |
7.18/7.21	c |     21136 |    5844    28588    90800 | 2147483647    21093     44 | 13.818 % |
7.18/7.25	c |     21349 |    5844    28588    90800 | 2147483647    21306     44 | 13.818 % |
7.28/7.39	c |     21582 |    5844    28588    90800 | 2147483647    21539     44 | 13.818 % |
7.48/7.54	c |     21840 |    5844    28588    90800 | 2147483647    21797     44 | 13.818 % |
7.69/7.74	c |     22122 |    5844    28588    90800 | 2147483647    22079     45 | 13.818 % |
7.78/7.86	c |     22433 |    5844    28588    90800 | 2147483647    22390     45 | 13.818 % |
7.88/7.94	c |     22774 |    5844    28588    90800 | 2147483647    22731     45 | 13.818 % |
8.18/8.24	c |     23146 |    5844    28588    90800 | 2147483647    23103     46 | 13.818 % |
8.28/8.32	c |     23555 |    5844    28588    90800 | 2147483647    23512     45 | 13.818 % |
8.28/8.36	c |     23657 |    5844    28588    90800 | 2147483647    23614     45 | 13.818 % |
8.28/8.39	c |     23768 |    5844    28588    90800 | 2147483647    23725     45 | 13.818 % |
8.38/8.41	c |     23889 |    5844    28588    90800 | 2147483647    23846     45 | 13.818 % |
8.38/8.43	c |     24022 |    5844    28588    90800 | 2147483647    23979     45 | 13.818 % |
8.38/8.49	c |     24168 |    5844    28588    90800 | 2147483647    24125     45 | 13.818 % |
8.48/8.55	c |     24328 |    5844    28588    90800 | 2147483647    24285     45 | 13.818 % |
8.48/8.58	c |     24508 |    5844    28588    90800 | 2147483647    24465     45 | 13.818 % |
8.58/8.61	c |     24701 |    5844    28588    90800 | 2147483647    24658     45 | 13.818 % |
8.78/8.81	c |     24915 |    5844    28588    90800 | 2147483647    24872     45 | 13.818 % |
8.78/8.87	c |     25148 |    5844    28588    90800 | 2147483647    25105     45 | 13.818 % |
8.88/8.98	c |     25404 |    5844    28588    90800 | 2147483647    25361     45 | 13.818 % |
9.08/9.11	c |     25685 |    5844    28588    90800 | 2147483647    25642     45 | 13.818 % |
9.18/9.26	c |     25994 |    5844    28588    90800 | 2147483647    25951     45 | 13.818 % |
9.28/9.39	c |     26338 |    5844    28588    90800 | 2147483647    26295     45 | 13.818 % |
9.48/9.56	c |     26710 |    5844    28588    90800 | 2147483647    26667     45 | 13.818 % |
9.68/9.75	c |     27119 |    5844    28588    90800 | 2147483647    27076     45 | 13.818 % |
9.78/9.83	c |     27568 |    5844    28588    90800 | 2147483647    27525     45 | 13.818 % |
9.78/9.86	c |     27669 |    5844    28588    90800 | 2147483647    27626     45 | 13.818 % |
9.88/9.93	c |     27779 |    5844    28588    90800 | 2147483647    27736     45 | 13.818 % |
9.88/9.98	c |     27901 |    5840    28570    90746 | 2147483647    27852     45 | 13.877 % |
10.08/10.10	c |     28038 |    5840    28570    90746 | 2147483647    27989     45 | 13.877 % |
10.08/10.15	c |     28187 |    5840    28570    90746 | 2147483647    28138     45 | 13.877 % |
10.08/10.18	c |     28347 |    5840    28570    90746 | 2147483647    28298     45 | 13.877 % |
10.28/10.32	c |     28523 |    5840    28570    90746 | 2147483647    28474     45 | 13.877 % |
10.28/10.38	c |     28716 |    5840    28570    90746 | 2147483647    28667     45 | 13.877 % |
10.38/10.49	c |     28929 |    5840    28570    90746 | 2147483647    28880     45 | 13.877 % |
10.68/10.77	c |     29163 |    5840    28570    90746 | 2147483647    29114     46 | 13.877 % |
10.78/10.85	c |     29419 |    5840    28570    90746 | 2147483647    29370     46 | 13.877 % |
10.88/10.91	c |     29700 |    5840    28570    90746 | 2147483647    29651     46 | 13.877 % |
10.88/11.00	c |     30010 |    5840    28570    90746 | 2147483647    29961     45 | 13.877 % |
11.18/11.26	c |     30349 |    5840    28570    90746 | 2147483647    30300     46 | 13.877 % |
11.28/11.37	c |     30722 |    5840    28570    90746 | 2147483647    30673     46 | 13.877 % |
11.68/11.76	c |     31132 |    5840    28570    90746 | 2147483647    31083     47 | 13.877 % |
11.78/11.85	c |     31581 |    5840    28570    90746 | 2147483647    31532     47 | 13.877 % |
11.88/11.92	c |     32074 |    5840    28570    90746 | 2147483647    32025     46 | 13.877 % |
11.98/12.02	c |     32174 |    5840    28570    90746 | 2147483647    32125     46 | 13.877 % |
11.98/12.06	c |     32284 |    5840    28570    90746 | 2147483647    32235     46 | 13.877 % |
12.08/12.16	c |     32406 |    5840    28570    90746 | 2147483647    32357     46 | 13.877 % |
12.18/12.20	c |     32539 |    5840    28570    90746 | 2147483647    32490     46 | 13.877 % |
12.28/12.32	c |     32685 |    5840    28570    90746 | 2147483647    32636     47 | 13.877 % |
12.28/12.38	c |     32846 |    5840    28570    90746 | 2147483647    32797     47 | 13.877 % |
12.48/12.54	c |     33022 |    5840    28570    90746 | 2147483647    32973     47 | 13.877 % |
12.58/12.67	c |     33216 |    5837    28555    90701 | 2147483647    33165     47 | 13.921 % |
12.78/12.84	c |     33428 |    5837    28555    90701 | 2147483647    33377     47 | 13.921 % |
12.88/12.90	c |     33661 |    5837    28555    90701 | 2147483647    33610     47 | 13.921 % |
13.08/13.12	c |     33918 |    5837    28555    90701 | 2147483647    33867     47 | 13.921 % |
13.18/13.21	c |     34199 |    5837    28555    90701 | 2147483647    34148     47 | 13.921 % |
13.18/13.26	c |     34508 |    5837    28555    90701 | 2147483647    34457     47 | 13.921 % |
13.38/13.48	c |     34849 |    5837    28555    90701 | 2147483647    34798     47 | 13.921 % |
13.48/13.59	c |     35223 |    5837    28555    90701 | 2147483647    35172     47 | 13.921 % |
13.88/13.94	c |     35632 |    5837    28555    90701 | 2147483647    35581     47 | 13.921 % |
14.18/14.21	c |     36083 |    5837    28555    90701 | 2147483647    36032     48 | 13.921 % |
14.57/14.65	c |     36577 |    5837    28555    90701 | 2147483647    36526     48 | 13.921 % |
14.67/14.79	c |     37119 |    5837    28555    90701 | 2147483647    37068     48 | 13.921 % |
14.77/14.85	c |     37220 |    5837    28555    90701 | 2147483647    37169     48 | 13.921 % |
14.87/14.90	c |     37333 |    5837    28555    90701 | 2147483647    37282     48 | 13.921 % |
14.87/14.96	c |     37454 |    5837    28555    90701 | 2147483647    37403     48 | 13.921 % |
14.97/15.02	c |     37587 |    5837    28555    90701 | 2147483647    37536     48 | 13.921 % |
15.07/15.12	c |     37733 |    5837    28555    90701 | 2147483647    37682     48 | 13.921 % |
15.07/15.19	c |     37893 |    5837    28555    90701 | 2147483647    37842     48 | 13.921 % |
15.39/15.43	c |     38069 |    5837    28555    90701 | 2147483647    38018     48 | 13.921 % |
15.39/15.48	c |     38262 |    5837    28555    90701 | 2147483647    38211     48 | 13.921 % |
15.48/15.53	c |     38474 |    5837    28555    90701 | 2147483647    38423     48 | 13.921 % |
15.68/15.73	c |     38708 |    5837    28555    90701 | 2147483647    38657     48 | 13.921 % |
15.78/15.83	c |     38965 |    5837    28555    90701 | 2147483647    38914     48 | 13.921 % |
15.88/15.98	c |     39246 |    5837    28555    90701 | 2147483647    39195     48 | 13.921 % |
15.98/16.04	c |     39557 |    5837    28555    90701 | 2147483647    39506     48 | 13.921 % |
16.28/16.38	c |     39896 |    5829    28518    90591 | 2147483647    39843     48 | 14.039 % |
16.48/16.51	c |     40269 |    5829    28518    90591 | 2147483647    40216     48 | 14.039 % |
16.78/16.88	c |     40678 |    5829    28518    90591 | 2147483647    40625     49 | 14.039 % |
16.98/17.01	c |     41127 |    5829    28518    90591 | 2147483647    41074     48 | 14.039 % |
17.38/17.48	c |     41620 |    5829    28518    90591 | 2147483647    41567     49 | 14.039 % |
17.58/17.62	c |     42162 |    5829    28518    90591 | 2147483647    42109     49 | 14.039 % |
17.68/17.77	c |     42759 |    5829    28518    90591 | 2147483647    42706     48 | 14.039 % |
17.68/17.79	c |     42859 |    5829    28518    90591 | 2147483647    42806     48 | 14.039 % |
17.78/17.89	c |     42969 |    5829    28518    90591 | 2147483647    42916     48 | 14.039 % |
17.88/17.95	c |     43090 |    5829    28518    90591 | 2147483647    43037     48 | 14.039 % |
18.08/18.12	c |     43223 |    5829    28518    90591 | 2147483647    43170     48 | 14.039 % |
18.08/18.17	c |     43370 |    5829    28518    90591 | 2147483647    43317     48 | 14.039 % |
18.28/18.36	c |     43530 |    5829    28518    90591 | 2147483647    43477     49 | 14.039 % |
18.38/18.42	c |     43706 |    5829    28518    90591 | 2147483647    43653     48 | 14.039 % |
18.48/18.59	c |     43899 |    5829    28518    90591 | 2147483647    43846     49 | 14.039 % |
18.58/18.67	c |     44111 |    5829    28518    90591 | 2147483647    44058     49 | 14.039 % |
18.88/18.92	c |     44345 |    5829    28518    90591 | 2147483647    44292     49 | 14.039 % |
18.98/19.04	c |     44601 |    5829    28518    90591 | 2147483647    44548     49 | 14.039 % |
19.28/19.33	c |     44884 |    5829    28518    90591 | 2147483647    44831     49 | 14.039 % |
19.38/19.41	c |     45196 |    5829    28518    90591 | 2147483647    45143     49 | 14.039 % |
19.68/19.73	c |     45535 |    5822    28486    90495 | 2147483647    45476     49 | 14.142 % |
20.17/20.21	c |     45908 |    5822    28486    90495 | 2147483647    45849     49 | 14.142 % |
20.27/20.34	c |     46319 |    5822    28486    90495 | 2147483647    46260     49 | 14.142 % |
20.37/20.46	c |     46768 |    5822    28486    90495 | 2147483647    46709     49 | 14.142 % |
20.97/21.05	c |     47261 |    5822    28486    90495 | 2147483647    47202     50 | 14.142 % |
21.27/21.32	c |     47806 |    5822    28486    90495 | 2147483647    47747     50 | 14.142 % |
21.87/21.93	c |     48404 |    5822    28486    90495 | 2147483647    48345     50 | 14.143 % |
22.07/22.11	c |     49061 |    5822    28486    90495 | 2147483647    49002     50 | 14.142 % |
22.07/22.14	c |     49162 |    5822    28486    90495 | 2147483647    49103     50 | 14.142 % |
22.17/22.28	c |     49272 |    5822    28486    90495 | 2147483647    49213     50 | 14.142 % |
22.28/22.33	c |     49393 |    5822    28486    90495 | 2147483647    49334     50 | 14.142 % |
22.28/22.38	c |     49526 |    5822    28486    90495 | 2147483647    49467     50 | 14.143 % |
22.48/22.51	c |     49672 |    5822    28486    90495 | 2147483647    49613     50 | 14.142 % |
22.48/22.59	c |     49832 |    5822    28486    90495 | 2147483647    49773     50 | 14.142 % |
22.78/22.80	c |     50009 |    5822    28486    90495 | 2147483647    49950     50 | 14.142 % |
22.78/22.89	c |     50203 |    5822    28486    90495 | 2147483647    50144     50 | 14.142 % |
22.98/23.10	c |     50416 |    5822    28486    90495 | 2147483647    50357     50 | 14.142 % |
23.08/23.15	c |     50649 |    5822    28486    90495 | 2147483647    50590     50 | 14.142 % |
23.18/23.22	c |     50905 |    5822    28486    90495 | 2147483647    50846     50 | 14.142 % |
23.48/23.58	c |     51186 |    5822    28486    90495 | 2147483647    51127     50 | 14.142 % |
23.78/23.88	c |     51495 |    5822    28486    90495 | 2147483647    51436     51 | 14.142 % |
24.08/24.20	c |     51836 |    5822    28486    90495 | 2147483647    51777     51 | 14.142 % |
24.28/24.35	c |     52208 |    5822    28486    90495 | 2147483647    52149     51 | 14.142 % |
24.78/24.84	c |     52617 |    5822    28486    90495 | 2147483647    52558     51 | 14.142 % |
24.88/24.98	c |     53066 |    5822    28486    90495 | 2147483647    53007     51 | 14.142 % |
25.08/25.18	c |     53559 |    5822    28486    90495 | 2147483647    53500     51 | 14.142 % |
25.48/25.53	c |     54103 |    5822    28486    90495 | 2147483647    54044     51 | 14.142 % |
25.68/25.73	c |     54700 |    5822    28486    90495 | 2147483647    54641     51 | 14.142 % |
25.88/25.91	c |     55356 |    5822    28486    90495 | 2147483647    55297     51 | 14.142 % |
26.67/26.74	c |     56079 |    5822    28486    90495 | 2147483647    56020     51 | 14.143 % |
26.77/26.81	c |     56179 |    5822    28486    90495 | 2147483647    56119     51 | 14.172 % |
26.87/26.96	c |     56289 |    5820    28477    90468 | 2147483647    56225     52 | 14.172 % |
27.07/27.12	c |     56411 |    5820    28477    90468 | 2147483647    56347     52 | 14.172 % |
27.17/27.23	c |     56544 |    5820    28477    90468 | 2147483647    56480     52 | 14.172 % |
27.38/27.49	c |     56691 |    5820    28477    90468 | 2147483647    56627     52 | 14.172 % |
27.48/27.56	c |     56852 |    5820    28477    90468 | 2147483647    56788     52 | 14.172 % |
27.67/27.72	c |     57029 |    5820    28477    90468 | 2147483647    56965     52 | 14.172 % |
27.77/27.83	c |     57223 |    5820    28477    90468 | 2147483647    57159     52 | 14.172 % |
27.97/28.08	c |     57435 |    5818    28477    90468 | 2147483647    57370     52 | 14.305 % |
28.27/28.33	c |     57668 |    5818    28477    90468 | 2147483647    57603     52 | 14.305 % |
28.27/28.38	c |     57925 |    5818    28477    90468 | 2147483647    57860     52 | 14.305 % |
28.47/28.54	c |     58206 |    5818    28477    90468 | 2147483647    58141     52 | 14.305 % |
28.57/28.63	c |     58515 |    5818    28477    90468 | 2147483647    58450     52 | 14.305 % |
28.77/28.81	c |     58855 |    5818    28477    90468 | 2147483647    58790     52 | 14.305 % |
28.87/28.98	c |     59227 |    5818    28477    90468 | 2147483647    59162     52 | 14.305 % |
29.27/29.39	c |     59637 |    5818    28477    90468 | 2147483647    59572     52 | 14.305 % |
29.57/29.64	c |     60086 |    5818    28477    90468 | 2147483647    60021     52 | 14.305 % |
30.37/30.43	c |     60580 |    5818    28477    90468 | 2147483647    60515     52 | 14.305 % |
30.57/30.64	c |     61122 |    5818    28477    90468 | 2147483647    61057     52 | 14.305 % |
31.27/31.39	c |     61720 |    5818    28477    90468 | 2147483647    61655     52 | 14.305 % |
31.78/31.83	c |     62375 |    5818    28477    90468 | 2147483647    62310     52 | 14.305 % |
32.78/32.82	c |     63095 |    5818    28477    90468 | 2147483647    63030     53 | 14.305 % |
33.18/33.22	c |     63887 |    5811    28435    90342 | 2147483647    63814     53 | 14.305 % |
33.18/33.28	c |     63988 |    5811    28435    90342 | 2147483647    63915     53 | 14.305 % |
33.38/33.46	c |     64098 |    5811    28435    90342 | 2147483647    64025     53 | 14.305 % |
33.47/33.50	c |     64219 |    5811    28435    90342 | 2147483647    64146     53 | 14.305 % |
33.47/33.58	c |     64353 |    5811    28435    90342 | 2147483647    64280     53 | 14.305 % |
33.57/33.66	c |     64501 |    5811    28435    90342 | 2147483647    64428     52 | 14.305 % |
33.67/33.71	c |     64661 |    5811    28435    90342 | 2147483647    64588     52 | 14.305 % |
33.87/33.95	c |     64838 |    5811    28435    90342 | 2147483647    64765     53 | 14.305 % |
33.98/34.04	c |     65034 |    5811    28435    90342 | 2147483647    64961     53 | 14.305 % |
34.08/34.14	c |     65249 |    5811    28435    90342 | 2147483647    65176     52 | 14.305 % |
34.17/34.26	c |     65483 |    5811    28435    90342 | 2147483647    65410     52 | 14.305 % |
34.37/34.41	c |     65739 |    5811    28435    90342 | 2147483647    65666     52 | 14.305 % |
34.77/34.88	c |     66020 |    5811    28435    90342 | 2147483647    65947     53 | 14.305 % |
35.18/35.23	c |     66331 |    5811    28435    90342 | 2147483647    66258     52 | 14.305 % |
35.37/35.47	c |     66671 |    5811    28435    90342 | 2147483647    66598     52 | 14.305 % |
35.67/35.78	c |     67043 |    5811    28435    90342 | 2147483647    66970     52 | 14.305 % |
36.27/36.33	c |     67452 |    5811    28435    90342 | 2147483647    67379     53 | 14.305 % |
36.47/36.58	c |     67902 |    5811    28435    90342 | 2147483647    67829     53 | 14.305 % |
37.07/37.18	c |     68396 |    5811    28435    90342 | 2147483647    68323     53 | 14.305 % |
37.27/37.38	c |     68938 |    5811    28435    90342 | 2147483647    68865     53 | 14.305 % |
37.97/38.00	c |     69534 |    5811    28435    90342 | 2147483647    69461     53 | 14.305 % |
38.67/38.73	c |     70189 |    5811    28435    90342 | 2147483647    70116     53 | 14.305 % |
39.07/39.17	c |     70909 |    5811    28435    90342 | 2147483647    70836     53 | 14.305 % |
40.37/40.40	c |     71703 |    5811    28435    90342 | 2147483647    71630     53 | 14.305 % |
41.37/41.43	c |     72574 |    5811    28435    90342 | 2147483647    72501     53 | 14.305 % |
41.57/41.61	c |     72675 |    5811    28435    90342 | 2147483647    72602     54 | 14.305 % |
41.57/41.68	c |     72785 |    5811    28435    90342 | 2147483647    72712     54 | 14.305 % |
41.87/41.93	c |     72906 |    5811    28435    90342 | 2147483647    72833     54 | 14.305 % |
41.97/42.03	c |     73040 |    5811    28435    90342 | 2147483647    72967     54 | 14.305 % |
42.17/42.24	c |     73186 |    5811    28435    90342 | 2147483647    73113     54 | 14.305 % |
42.27/42.34	c |     73346 |    5811    28435    90342 | 2147483647    73273     54 | 14.305 % |
42.57/42.62	c |     73523 |    5811    28435    90342 | 2147483647    73450     54 | 14.305 % |
42.67/42.72	c |     73720 |    5811    28435    90342 | 2147483647    73647     54 | 14.305 % |
43.07/43.16	c |     73932 |    5811    28435    90342 | 2147483647    73859     54 | 14.305 % |
43.57/43.61	c |     74165 |    5799    28366    90141 | 2147483647    74090     54 | 14.482 % |
43.77/43.89	c |     74422 |    5799    28366    90141 | 2147483647    74347     54 | 14.482 % |
44.07/44.11	c |     74703 |    5799    28366    90141 | 2147483647    74628     54 | 14.482 % |
44.57/44.63	c |     75013 |    5799    28366    90141 | 2147483647    74938     54 | 14.482 % |
44.77/44.89	c |     75353 |    5799    28366    90141 | 2147483647    75278     54 | 14.482 % |
44.97/45.04	c |     75727 |    5799    28366    90141 | 2147483647    75652     54 | 14.482 % |
45.67/45.75	c |     76136 |    5799    28366    90141 | 2147483647    76061     54 | 14.482 % |
45.97/46.07	c |     76586 |    5798    28366    90141 | 2147483647    76510     54 | 14.806 % |
46.66/46.70	c |     77080 |    5797    28366    90141 | 2147483647    77003     54 | 15.131 % |
46.96/47.03	c |     77622 |    5797    28366    90141 | 2147483647    77545     54 | 15.131 % |
47.96/48.00	c |     78218 |    5797    28366    90141 | 2147483647    78141     54 | 15.131 % |
48.66/48.78	c |     78874 |    5797    28366    90141 | 2147483647    78797     54 | 15.131 % |
49.06/49.10	c |     79595 |    5797    28366    90141 | 2147483647    79518     54 | 15.131 % |
49.47/49.58	c |     80388 |    5797    28366    90141 | 2147483647    80311     54 | 15.131 % |
50.87/50.98	c |     81262 |    5797    28366    90141 | 2147483647    81185     55 | 15.131 % |
51.37/51.48	c |     82221 |    5797    28366    90141 | 2147483647    82144     54 | 15.131 % |
51.57/51.62	c |     82321 |    5797    28366    90141 | 2147483647    82244     54 | 15.131 % |
51.67/51.73	c |     82431 |    5797    28366    90141 | 2147483647    82354     54 | 15.131 % |
51.87/51.94	c |     82552 |    5797    28366    90141 | 2147483647    82475     54 | 15.131 % |
51.97/52.08	c |     82685 |    5797    28366    90141 | 2147483647    82608     54 | 15.131 % |
52.17/52.28	c |     82831 |    5797    28366    90141 | 2147483647    82754     54 | 15.131 % |
52.27/52.37	c |     82992 |    5797    28366    90141 | 2147483647    82915     54 | 15.131 % |
52.47/52.52	c |     83168 |    5797    28366    90141 | 2147483647    83091     54 | 15.131 % |
52.57/52.65	c |     83363 |    5797    28366    90141 | 2147483647    83286     54 | 15.131 % |
52.67/52.76	c |     83575 |    5797    28366    90141 | 2147483647    83498     54 | 15.131 % |
52.87/52.92	c |     83808 |    5755    28161    89527 | 2147483647    83726     54 | 15.131 % |
53.37/53.45	c |     84064 |    5755    28161    89527 | 2147483647    83982     54 | 15.131 % |
53.77/53.88	c |     84345 |    5755    28161    89527 | 2147483647    84263     54 | 15.131 % |
54.36/54.42	c |     84656 |    5755    28161    89527 | 2147483647    84574     54 | 15.131 % |
54.87/54.90	c |     84995 |    5755    28161    89527 | 2147483647    84913     54 | 15.131 % |
55.06/55.17	c |     85368 |    5755    28161    89527 | 2147483647    85286     54 | 15.131 % |
55.76/55.89	c |     85777 |    5755    28161    89527 | 2147483647    85695     54 | 15.131 % |
56.07/56.19	c |     86227 |    5755    28161    89527 | 2147483647    86145     54 | 15.131 % |
57.07/57.11	c |     86720 |    5755    28161    89527 | 2147483647    86638     55 | 15.131 % |
57.56/57.66	c |     87262 |    5755    28161    89527 | 2147483647    87180     54 | 15.131 % |
58.56/58.60	c |     87860 |    5755    28161    89527 | 2147483647    87778     55 | 15.131 % |
59.37/59.41	c |     88515 |    5755    28161    89527 | 2147483647    88433     55 | 15.131 % |
60.56/60.64	c |     89235 |    5755    28161    89527 | 2147483647    89153     55 | 15.131 % |
61.86/61.90	c |     90027 |    5755    28161    89527 | 2147483647    89945     56 | 15.131 % |
63.06/63.13	c |     90898 |    5755    28161    89527 | 2147483647    90816     56 | 15.131 % |
63.46/63.60	c |     91856 |    5755    28161    89527 | 2147483647    91774     56 | 15.131 % |
65.56/65.64	c |     92911 |    5755    28161    89527 | 2147483647    92829     56 | 15.131 % |
65.76/65.82	c |     93013 |    5755    28161    89527 | 2147483647    92931     56 | 15.131 % |
65.87/65.99	c |     93123 |    5755    28161    89527 | 2147483647    93041     56 | 15.131 % |
66.06/66.15	c |     93244 |    5755    28161    89527 | 2147483647    93162     56 | 15.131 % |
66.46/66.53	c |     93377 |    5755    28161    89527 | 2147483647    93295     56 | 15.131 % |
66.56/66.61	c |     93523 |    5755    28161    89527 | 2147483647    93441     56 | 15.131 % |
66.97/67.02	c |     93683 |    5755    28161    89527 | 2147483647    93601     57 | 15.131 % |
67.07/67.14	c |     93860 |    5755    28161    89527 | 2147483647    93778     56 | 15.131 % |
67.36/67.40	c |     94054 |    5755    28161    89527 | 2147483647    93972     57 | 15.131 % |
67.56/67.61	c |     94266 |    5755    28161    89527 | 2147483647    94184     56 | 15.131 % |
67.66/67.74	c |     94500 |    5755    28161    89527 | 2147483647    94418     56 | 15.131 % |
68.16/68.29	c |     94756 |    5755    28161    89527 | 2147483647    94674     57 | 15.131 % |
68.46/68.60	c |     95037 |    5755    28161    89527 | 2147483647    94955     57 | 15.131 % |
69.06/69.18	c |     95346 |    5755    28161    89527 | 2147483647    95264     57 | 15.131 % |
69.46/69.51	c |     95685 |    5755    28161    89527 | 2147483647    95603     57 | 15.131 % |
70.06/70.13	c |     96061 |    5755    28161    89527 | 2147483647    95979     57 | 15.131 % |
70.46/70.59	c |     96470 |    5755    28161    89527 | 2147483647    96388     57 | 15.131 % |
71.26/71.37	c |     96919 |    5755    28161    89527 | 2147483647    96837     57 | 15.131 % |
71.75/71.86	c |     97415 |    5755    28161    89527 | 2147483647    97333     57 | 15.131 % |
72.66/72.78	c |     97959 |    5755    28161    89527 | 2147483647    97877     57 | 15.131 % |
73.26/73.32	c |     98557 |    5755    28161    89527 | 2147483647    98475     57 | 15.131 % |
74.46/74.59	c |     99212 |    5755    28161    89527 | 2147483647    99130     58 | 15.131 % |
74.77/74.89	c |     99932 |    5755    28161    89527 | 2147483647    99850     57 | 15.131 % |
76.46/76.57	c |    100724 |    5755    28161    89527 | 2147483647   100642     58 | 15.131 % |
77.56/77.63	c |    101595 |    5755    28161    89527 | 2147483647   101513     58 | 15.131 % |
78.96/79.09	c |    102554 |    5755    28161    89527 | 2147483647   102472     58 | 15.131 % |
79.95/80.08	c |    103608 |    5755    28161    89527 | 2147483647   103526     58 | 15.131 % |
82.05/82.14	c |    104766 |    5755    28161    89527 | 2147483647   104684     59 | 15.131 % |
82.15/82.24	c |    104866 |    5755    28161    89527 | 2147483647   104784     59 | 15.131 % |
82.15/82.28	c |    104976 |    5755    28161    89527 | 2147483647   104894     59 | 15.131 % |
82.45/82.59	c |    105100 |    5755    28161    89527 | 2147483647   105018     59 | 15.131 % |
82.65/82.72	c |    105233 |    5755    28161    89527 | 2147483647   105151     59 | 15.131 % |
82.95/83.01	c |    105380 |    5755    28161    89527 | 2147483647   105298     59 | 15.131 % |
83.15/83.29	c |    105540 |    5755    28161    89527 | 2147483647   105458     59 | 15.131 % |
83.65/83.77	c |    105718 |    5755    28161    89527 | 2147483647   105636     59 | 15.131 % |
83.95/84.04	c |    105911 |    5755    28161    89527 | 2147483647   105829     59 | 15.131 % |
84.46/84.55	c |    106124 |    5755    28161    89527 | 2147483647   106042     59 | 15.131 % |
84.56/84.69	c |    106357 |    5755    28161    89527 | 2147483647   106275     59 | 15.131 % |
85.26/85.39	c |    106614 |    5755    28161    89527 | 2147483647   106532     59 | 15.131 % |
85.46/85.59	c |    106895 |    5755    28161    89527 | 2147483647   106813     59 | 15.131 % |
86.16/86.26	c |    107204 |    5755    28161    89527 | 2147483647   107122     59 | 15.131 % |
86.56/86.60	c |    107544 |    5755    28161    89527 | 2147483647   107462     59 | 15.131 % |
87.16/87.27	c |    107921 |    5755    28161    89527 | 2147483647   107839     59 | 15.131 % |
87.56/87.62	c |    108330 |    5755    28161    89527 | 2147483647   108248     59 | 15.131 % |
88.56/88.60	c |    108779 |    5755    28161    89527 | 2147483647   108697     59 | 15.131 % |
88.96/89.02	c |    109273 |    5755    28161    89527 | 2147483647   109191     59 | 15.131 % |
90.16/90.26	c |    109815 |    5755    28161    89527 | 2147483647   109733     60 | 15.131 % |
90.55/90.69	c |    110412 |    5755    28161    89527 |   109918   110330     59 | 15.131 % |
91.75/91.82	c |    111068 |    5755    28161    89527 |   109918   110986     60 | 15.131 % |
92.36/92.42	c |    111789 |    5755    28161    89527 |   109918   100609     59 | 15.131 % |
93.75/93.80	c |    112582 |    5755    28161    89527 |   109918   101402     59 | 15.131 % |
95.35/95.43	c |    113453 |    5755    28161    89527 |   109918   102273     60 | 15.131 % |
97.05/97.17	c |    114411 |    5755    28161    89527 |   109918   103231     60 | 15.131 % |
98.65/98.74	c |    115466 |    5755    28161    89527 |   109918   104286     60 | 15.131 % |
100.95/101.09	c |    116625 |    5755    28161    89527 |   109918   105445     60 | 15.131 % |
102.55/102.63	c |    117898 |    5755    28161    89527 |   109918   106718     60 | 15.131 % |
102.75/102.82	c |    117998 |    5755    28161    89527 |   109918   106818     60 | 15.131 % |
102.85/103.00	c |    118108 |    5755    28161    89527 |   109918   106928     60 | 15.131 % |
103.05/103.19	c |    118229 |    5755    28161    89527 |   109918   107049     60 | 15.131 % |
103.35/103.49	c |    118363 |    5755    28161    89527 |   109918   107183     60 | 15.131 % |
103.55/103.64	c |    118510 |    5755    28161    89527 |   109918   107330     60 | 15.131 % |
103.75/103.83	c |    118671 |    5755    28161    89527 |   109918   107491     60 | 15.131 % |
103.85/103.95	c |    118847 |    5755    28161    89527 |   109918   107667     60 | 15.131 % |
104.25/104.35	c |    119041 |    5755    28161    89527 |   109918   107861     60 | 15.131 % |
104.65/104.75	c |    119254 |    5755    28161    89527 |   109918   108074     60 | 15.131 % |
104.95/105.08	c |    119487 |    5755    28161    89527 |   109918   108307     60 | 15.131 % |
105.24/105.30	c |    119743 |    5755    28161    89527 |   109918   108563     60 | 15.131 % |
105.74/105.88	c |    120026 |    5736    28077    89274 |   108818   108844     60 | 15.411 % |
106.55/106.60	c |    120336 |    5736    28077    89274 |   108818   109154     60 | 15.411 % |
106.84/106.96	c |    120676 |    5736    28077    89274 |   108818   109494     60 | 15.411 % |
107.84/107.91	c |    121049 |    5736    28077    89274 |   108818   109867     61 | 15.411 % |
108.44/108.53	c |    121460 |    5736    28077    89274 |   108818    95068     60 | 15.411 % |
108.94/109.06	c |    121909 |    5736    28077    89274 |   108818    95517     60 | 15.411 % |
109.74/109.80	c |    122402 |    5736    28077    89274 |   108818    96010     60 | 15.411 % |
109.95/110.08	c |    122945 |    5736    28077    89274 |   108818    96553     60 | 15.411 % |
111.24/111.39	c |    123541 |    5736    28077    89274 |   108818    97149     60 | 15.411 % |
112.64/112.75	c |    124197 |    5734    28077    89274 |   108818    97803     60 | 15.529 % |
113.64/113.75	c |    124919 |    5734    28077    89274 |   108818    98525     60 | 15.529 % |
115.24/115.30	c |    125711 |    5734    28077    89274 |   108818    99317     61 | 15.529 % |
116.34/116.42	c |    126583 |    5734    28077    89274 |   108818   100189     61 | 15.529 % |
118.04/118.16	c |    127544 |    5734    28077    89274 |   108818   101150     61 | 15.529 % |
120.14/120.24	c |    128600 |    5734    28077    89274 |   108818   102206     61 | 15.529 % |
122.24/122.39	c |    129761 |    5734    28077    89274 |   108818   103367     61 | 15.529 % |
124.15/124.23	c |    131034 |    5734    28077    89274 |   103607   104640     61 | 15.529 % |
127.15/127.25	c |    132436 |    5734    28077    89274 |   103607   106042     62 | 15.529 % |
127.45/127.52	c |    132537 |    5728    28040    89164 |   103607    95096     61 | 15.529 % |
127.55/127.68	c |    132649 |    5728    28040    89164 |   103607    95208     61 | 15.529 % |
127.65/127.77	c |    132771 |    5728    28040    89164 |   103607    95330     61 | 15.529 % |
128.04/128.11	c |    132904 |    5728    28040    89164 |   103607    95463     61 | 15.529 % |
128.24/128.32	c |    133052 |    5728    28040    89164 |   103607    95611     61 | 15.529 % |
128.55/128.64	c |    133212 |    5728    28040    89164 |   103607    95771     62 | 15.529 % |
128.74/128.83	c |    133389 |    5728    28040    89164 |   103607    95948     61 | 15.529 % |
129.05/129.14	c |    133583 |    5728    28040    89164 |   103607    96142     61 | 15.529 % |
129.65/129.70	c |    133795 |    5728    28040    89164 |   103607    96354     62 | 15.529 % |
129.94/130.08	c |    134031 |    5728    28040    89164 |   103607    96590     62 | 15.529 % |
130.24/130.33	c |    134287 |    5728    28040    89164 |   103607    96846     62 | 15.529 % |
130.54/130.61	c |    134569 |    5728    28040    89164 |   103607    97128     62 | 15.529 % |
131.04/131.12	c |    134879 |    5728    28040    89164 |   103607    97438     62 | 15.529 % |
131.44/131.53	c |    135220 |    5728    28040    89164 |   103607    97779     62 | 15.529 % |
131.85/131.99	c |    135593 |    5728    28040    89164 |   103607    98152     62 | 15.529 % |
132.04/132.18	c |    136003 |    5728    28040    89164 |   103607    98562     62 | 15.529 % |
132.54/132.69	c |    136453 |    5728    28040    89164 |   103607    99012     62 | 15.529 % |
133.54/133.60	c |    136948 |    5728    28040    89164 |   103607    99507     62 | 15.529 % |
134.34/134.48	c |    137490 |    5728    28040    89164 |   103607   100049     62 | 15.529 % |
134.84/134.91	c |    138086 |    5728    28040    89164 |   103607   100645     62 | 15.529 % |
135.44/135.58	c |    138742 |    5728    28040    89164 |   103607   101301     61 | 15.529 % |
136.84/136.90	c |    139463 |    5728    28040    89164 |   103607   102022     62 | 15.529 % |
137.64/137.79	c |    140256 |    5728    28040    89164 |   102559   102815     62 | 15.529 % |
139.14/139.29	c |    141127 |    5728    28040    89164 |   102559   103686     62 | 15.529 % |
140.84/140.92	c |    142087 |    5728    28040    89164 |   102559    94278     62 | 15.529 % |
142.44/142.56	c |    143142 |    5727    28040    89164 |   102559    95332     62 | 15.647 % |
143.84/143.97	c |    144301 |    5727    28040    89164 |   102559    96491     62 | 15.647 % |
146.04/146.14	c |    145574 |    5727    28040    89164 |   102559    97764     62 | 15.647 % |
147.14/147.30	c |    146975 |    5727    28040    89164 |   102559    99165     62 | 15.647 % |
149.84/149.93	c |    148519 |    5727    28040    89164 |   102559   100709     62 | 15.647 % |
149.94/150.05	c |    148621 |    5720    27993    89028 |   102559   100804     62 | 15.647 % |
150.04/150.15	c |    148731 |    5720    27993    89028 |   102559   100914     62 | 15.647 % |
150.34/150.41	c |    148853 |    5720    27993    89028 |   102559   101036     62 | 15.647 % |
150.44/150.56	c |    148986 |    5720    27993    89028 |   102559   101169     62 | 15.647 % |
150.54/150.68	c |    149132 |    5720    27993    89028 |   102559   101315     62 | 15.647 % |
150.64/150.75	c |    149292 |    5720    27993    89028 |   102559   101475     62 | 15.647 % |
151.03/151.16	c |    149468 |    5720    27993    89028 |   102559   101651     62 | 15.647 % |
151.33/151.44	c |    149661 |    5720    27993    89028 |   102559   101844     62 | 15.647 % |
151.74/151.86	c |    149875 |    5720    27993    89028 |   102559   102058     62 | 15.647 % |
152.03/152.19	c |    150109 |    5720    27993    89028 | 2147483647   102292     62 | 15.647 % |
152.63/152.71	c |    150365 |    5720    27993    89028 | 2147483647   102548     62 | 15.647 % |
152.93/153.07	c |    150652 |    5720    27993    89028 | 2147483647   102835     62 | 15.647 % |
153.63/153.70	c |    150961 |    5720    27993    89028 | 2147483647   103144     63 | 15.647 % |
154.23/154.30	c |    151300 |    5720    27993    89028 | 2147483647   103483     63 | 15.647 % |
154.94/155.04	c |    151673 |    5720    27993    89028 | 2147483647   103856     63 | 15.647 % |
155.63/155.79	c |    152083 |    5720    27993    89028 | 2147483647   104266     63 | 15.647 % |
156.43/156.51	c |    152533 |    5720    27993    89028 | 2147483647   104716     63 | 15.647 % |
156.93/157.09	c |    153027 |    5720    27993    89028 | 2147483647   105210     63 | 15.647 % |
158.03/158.14	c |    153570 |    5720    27993    89028 | 2147483647   105753     63 | 15.647 % |
159.03/159.14	c |    154167 |    5720    27993    89028 | 2147483647   106350     63 | 15.647 % |
159.93/160.04	c |    154823 |    5720    27993    89028 | 2147483647   107006     63 | 15.647 % |
161.03/161.19	c |    155543 |    5720    27993    89028 | 2147483647   107726     63 | 15.647 % |
161.73/161.80	c |    156335 |    5720    27993    89028 | 2147483647   108518     63 | 15.647 % |
163.43/163.55	c |    157206 |    5720    27993    89028 | 2147483647   109389     63 | 15.647 % |
164.83/164.95	c |    158164 |    5720    27993    89028 | 2147483647   110347     63 | 15.647 % |
166.42/166.54	c |    159218 |    5720    27993    89028 | 2147483647   111401     63 | 15.647 % |
168.42/168.53	c |    160377 |    5720    27993    89028 |   112183   112560     63 | 15.647 % |
170.53/170.61	c |    161651 |    5720    27993    89028 |   112183   113834     63 | 15.647 % |
173.33/173.49	c |    163051 |    5720    27993    89028 |   112183    98828     62 | 15.647 % |
175.73/175.85	c |    164591 |    5720    27993    89028 |   112183   100368     62 | 15.647 % |
179.13/179.26	c |    166285 |    5720    27993    89028 |   112183   102062     63 | 15.647 % |
179.32/179.40	c |    166385 |    5720    27993    89028 |   112183   102162     63 | 15.647 % |
179.52/179.62	c |    166495 |    5720    27993    89028 |   112183   102272     63 | 15.647 % |
179.62/179.78	c |    166617 |    5720    27993    89028 |   112183   102394     63 | 15.647 % |
180.02/180.15	c |    166751 |    5720    27993    89028 |   112183   102528     63 | 15.647 % |
180.23/180.36	c |    166898 |    5720    27993    89028 |   112183   102675     63 | 15.647 % |
180.52/180.66	c |    167059 |    5720    27993    89028 |   112183   102836     63 | 15.647 % |
180.92/181.05	c |    167239 |    5720    27993    89028 |   112183   103016     63 | 15.647 % |
181.22/181.30	c |    167432 |    5720    27993    89028 |   112183   103209     63 | 15.647 % |
181.72/181.88	c |    167644 |    5720    27993    89028 |   112183   103421     63 | 15.647 % |
182.02/182.16	c |    167877 |    5720    27993    89028 |   112183   103654     63 | 15.647 % |
182.72/182.83	c |    168133 |    5720    27993    89028 |   112183   103910     64 | 15.647 % |
183.12/183.23	c |    168414 |    5720    27993    89028 |   112183   104191     64 | 15.647 % |
183.72/183.90	c |    168723 |    5720    27993    89028 |   112183   104500     64 | 15.647 % |
184.32/184.40	c |    169065 |    5720    27993    89028 |   112183   104842     64 | 15.647 % |
185.22/185.35	c |    169438 |    5720    27993    89028 |   112183   105215     64 | 15.647 % |
185.92/186.01	c |    169848 |    5720    27993    89028 |   112183   105625     64 | 15.647 % |
186.62/186.78	c |    170298 |    5720    27993    89028 |   105777   106075     64 | 15.647 % |
187.52/187.60	c |    170791 |    5720    27993    89028 |   105777   106568     64 | 15.647 % |
188.52/188.61	c |    171333 |    5720    27993    89028 |   105777   107110     64 | 15.647 % |
189.62/189.70	c |    171929 |    5720    27993    89028 |   105777    96995     62 | 15.647 % |
190.72/190.89	c |    172584 |    5720    27993    89028 |   105777    97650     62 | 15.647 % |
191.82/191.94	c |    173304 |    5720    27993    89028 |   105777    98370     62 | 15.647 % |
193.22/193.37	c |    174096 |    5720    27993    89028 |   105777    99162     62 | 15.647 % |
194.92/195.07	c |    174967 |    5720    27993    89028 |   105777   100033     63 | 15.647 % |
196.52/196.64	c |    175925 |    5720    27993    89028 |   105777   100991     63 | 15.647 % |
198.42/198.58	c |    176981 |    5720    27993    89028 |   105777   102047     63 | 15.647 % |
199.71/199.89	c |    178140 |    5720    27993    89028 |   105777   103206     63 | 15.647 % |
202.51/202.63	c |    179416 |    5720    27993    89028 |   105777   104482     63 | 15.647 % |
204.91/205.02	c |    180817 |    5720    27993    89028 |   105067   105883     63 | 15.647 % |
206.81/206.94	c |    182357 |    5720    27993    89028 |   105067    90732     60 | 15.647 % |
210.02/210.14	c |    184052 |    5720    27993    89028 |   105067    92427     60 | 15.647 % |
213.11/213.27	c |    185915 |    5720    27993    89028 |   105067    94290     61 | 15.647 % |
213.31/213.44	c |    186016 |    5720    27993    89028 |   105067    94391     61 | 15.647 % |
213.51/213.70	c |    186126 |    5720    27993    89028 |   105067    94501     61 | 15.647 % |
213.71/213.84	c |    186249 |    5720    27993    89028 |   105067    94624     61 | 15.647 % |
213.81/213.94	c |    186382 |    5720    27993    89028 |   105067    94757     61 | 15.647 % |
214.11/214.29	c |    186530 |    5720    27993    89028 |   105067    94905     61 | 15.647 % |
214.61/214.70	c |    186691 |    5687    27875    88673 |   105067    95060     61 | 16.163 % |
214.91/215.04	c |    186868 |    5687    27875    88673 |   105067    95237     61 | 16.163 % |
215.11/215.28	c |    187061 |    5687    27875    88673 |   105067    95430     61 | 16.163 % |
215.61/215.76	c |    187273 |    5687    27875    88673 |   105067    95642     61 | 16.163 % |
215.91/216.05	c |    187506 |    5687    27875    88673 |   105067    95875     61 | 16.163 % |
216.41/216.55	c |    187762 |    5687    27875    88673 |   105067    96131     61 | 16.163 % |
216.61/216.73	c |    188043 |    5687    27875    88673 |   105067    96412     61 | 16.163 % |
217.01/217.18	c |    188352 |    5687    27875    88673 |   105067    96721     61 | 16.163 % |
217.61/217.74	c |    188692 |    5687    27875    88673 |   105067    97061     61 | 16.163 % |
218.11/218.23	c |    189064 |    5687    27875    88673 |   105067    97433     61 | 16.163 % |
219.11/219.21	c |    189473 |    5687    27875    88673 |   105067    97842     62 | 16.163 % |
219.71/219.82	c |    189922 |    5687    27875    88673 |   105067    98291     62 | 16.163 % |
220.51/220.69	c |    190416 |    5687    27875    88673 |    98370    98785     62 | 16.163 % |
221.71/221.83	c |    190959 |    5687    27875    88673 |    98370    99328     62 | 16.163 % |
222.71/222.82	c |    191556 |    5687    27875    88673 |    98370    99925     62 | 16.163 % |
224.01/224.15	c |    192212 |    5687    27875    88673 |    98370    88964     60 | 16.163 % |
224.90/225.08	c |    192933 |    5687    27875    88673 |    98370    89685     60 | 16.163 % |
226.10/226.29	c |    193725 |    5687    27875    88673 |    98370    90477     60 | 16.163 % |
227.00/227.15	c |    194596 |    5687    27875    88673 |    98370    91348     60 | 16.163 % |
229.20/229.32	c |    195554 |    5687    27875    88673 |    98370    92306     61 | 16.163 % |
229.90/230.08	c |    196609 |    5687    27875    88673 |    98370    93361     61 | 16.163 % |
230.60/230.80	c |    197768 |    5687    27875    88673 |    98370    94520     60 | 16.163 % |
231.80/231.91	c |    199042 |    5687    27875    88673 |    98370    95794     60 | 16.163 % |
234.60/234.70	c |    200443 |    5685    27834    88551 | 2147483647    97192     61 | 16.163 % |
235.70/235.81	c |    201983 |    5685    27834    88551 | 2147483647    98732     60 | 16.163 % |
237.90/238.07	c |    203677 |    5685    27834    88551 | 2147483647   100426     61 | 16.163 % |
239.00/239.15	c |    205542 |    5685    27834    88551 | 2147483647   102291     60 | 16.163 % |
242.80/242.99	c |    207591 |    5685    27834    88551 | 2147483647   104340     61 | 16.163 % |
243.00/243.14	c |    207693 |    5685    27834    88551 | 2147483647   104442     61 | 16.163 % |
243.20/243.38	c |    207803 |    5685    27834    88551 | 2147483647   104552     61 | 16.163 % |
243.40/243.52	c |    207925 |    5685    27834    88551 | 2147483647   104674     61 | 16.163 % |
243.70/243.82	c |    208058 |    5685    27834    88551 | 2147483647   104807     61 | 16.163 % |
244.00/244.17	c |    208205 |    5685    27834    88551 | 2147483647   104954     61 | 16.163 % |
244.40/244.54	c |    208365 |    5685    27834    88551 | 2147483647   105114     61 | 16.163 % |
244.60/244.75	c |    208541 |    5685    27834    88551 | 2147483647   105290     61 | 16.163 % |
244.80/244.91	c |    208735 |    5685    27834    88551 | 2147483647   105484     61 | 16.163 % |
245.00/245.19	c |    208949 |    5685    27834    88551 | 2147483647   105698     61 | 16.163 % |
245.20/245.34	c |    209182 |    5685    27834    88551 | 2147483647   105931     61 | 16.163 % |
245.70/245.81	c |    209438 |    5685    27834    88551 | 2147483647   106187     61 | 16.163 % |
245.90/246.02	c |    209720 |    5685    27834    88551 | 2147483647   106469     61 | 16.163 % |
246.49/246.62	c |    210029 |    5685    27834    88551 | 2147483647   106778     61 | 16.163 % |
247.19/247.30	c |    210368 |    5685    27834    88551 | 2147483647   107117     61 | 16.163 % |
247.99/248.10	c |    210740 |    5685    27834    88551 | 2147483647   107489     62 | 16.163 % |
248.59/248.79	c |    211152 |    5685    27834    88551 | 2147483647   107901     62 | 16.163 % |
249.50/249.64	c |    211601 |    5685    27834    88551 | 2147483647   108350     62 | 16.163 % |
250.39/250.53	c |    212094 |    5685    27834    88551 | 2147483647   108843     62 | 16.163 % |
251.70/251.88	c |    212640 |    5685    27834    88551 | 2147483647   109389     62 | 16.163 % |
252.09/252.27	c |    213237 |    5685    27834    88551 | 2147483647   109986     62 | 16.163 % |
252.99/253.12	c |    213893 |    5685    27834    88551 | 2147483647   110642     62 | 16.163 % |
254.49/254.60	c |    214615 |    5685    27834    88551 | 2147483647   111364     62 | 16.163 % |
255.99/256.19	c |    215407 |    5685    27834    88551 | 2147483647   112156     62 | 16.163 % |
257.89/258.05	c |    216279 |    5681    27817    88500 | 2147483647   113025     62 | 16.222 % |
260.39/260.50	c |    217237 |    5681    27817    88500 | 2147483647   113983     62 | 16.222 % |
262.29/262.46	c |    218290 |    5681    27817    88500 | 2147483647   115036     62 | 16.222 % |
264.79/264.95	c |    219448 |    5681    27817    88500 | 2147483647   116194     63 | 16.222 % |
266.39/266.52	c |    220722 |    5681    27817    88500 |   116747   117468     62 | 16.222 % |
269.19/269.36	c |    222122 |    5681    27817    88500 |   116747   118868     63 | 16.222 % |
271.69/271.88	c |    223663 |    5681    27817    88500 |   116747   102282     60 | 16.222 % |
275.79/275.98	c |    225357 |    5681    27817    88500 |   116747   103976     60 | 16.222 % |
278.99/279.12	c |    227221 |    5681    27817    88500 |   116747   105840     60 | 16.222 % |
282.08/282.27	c |    229272 |    5681    27817    88500 |   116747   107891     60 | 16.222 % |
283.88/284.06	c |    231525 |    5681    27817    88500 |   108620   110144     59 | 16.222 % |
284.18/284.37	c |    231626 |    5681    27817    88500 |   108620    89957     54 | 16.222 % |
284.38/284.53	c |    231736 |    5681    27817    88500 |   108620    90067     54 | 16.222 % |
284.58/284.76	c |    231858 |    5681    27817    88500 |   108620    90189     54 | 16.222 % |
284.69/284.87	c |    231991 |    5681    27817    88500 |   108620    90322     54 | 16.222 % |
284.98/285.16	c |    232137 |    5681    27817    88500 |   108620    90468     54 | 16.222 % |
285.18/285.34	c |    232297 |    5681    27817    88500 |   108620    90628     54 | 16.222 % |
285.48/285.64	c |    232474 |    5681    27817    88500 |   108620    90805     54 | 16.222 % |
285.58/285.78	c |    232668 |    5681    27817    88500 |   108620    90999     54 | 16.222 % |
285.98/286.16	c |    232880 |    5681    27817    88500 |   108620    91211     54 | 16.222 % |
286.28/286.48	c |    233113 |    5681    27817    88500 |   108620    91444     54 | 16.222 % |
286.89/287.01	c |    233369 |    5681    27817    88500 |   108620    91700     54 | 16.222 % |
287.18/287.39	c |    233650 |    5681    27817    88500 |   108620    91981     54 | 16.222 % |
287.88/288.04	c |    233959 |    5681    27817    88500 |   108620    92290     55 | 16.222 % |
288.38/288.54	c |    234301 |    5681    27817    88500 |   108620    92632     55 | 16.222 % |
289.19/289.31	c |    234674 |    5681    27817    88500 |   108620    93005     55 | 16.222 % |
289.48/289.67	c |    235085 |    5681    27817    88500 |   108620    93416     55 | 16.222 % |
290.28/290.48	c |    235535 |    5681    27817    88500 |   108620    93866     55 | 16.222 % |
290.68/290.80	c |    236031 |    5681    27817    88500 |   108620    94362     55 | 16.222 % |
291.18/291.37	c |    236574 |    5681    27817    88500 |   108620    94905     55 | 16.222 % |
291.88/292.04	c |    237171 |    5681    27817    88500 |   108620    95502     55 | 16.222 % |
293.18/293.39	c |    237826 |    5681    27817    88500 |   108620    96157     55 | 16.222 % |
294.68/294.85	c |    238546 |    5681    27817    88500 |   108620    96877     56 | 16.222 % |
295.78/295.97	c |    239338 |    5681    27817    88500 |   108620    97669     56 | 16.222 % |
297.78/297.91	c |    240209 |    5681    27817    88500 |    98332    98540     56 | 16.222 % |
299.38/299.55	c |    241169 |    5681    27817    88500 |    98332    99500     56 | 16.222 % |
301.48/301.60	c |    242222 |    5681    27817    88500 |    98332    87195     53 | 16.222 % |
303.08/303.24	c |    243382 |    5681    27817    88500 |    98332    88355     54 | 16.222 % |
304.67/304.89	c |    244656 |    5681    27817    88500 |    98332    89629     54 | 16.222 % |
306.68/306.90	c |    246057 |    5681    27817    88500 |    98332    91030     54 | 16.222 % |
309.27/309.46	c |    247597 |    5681    27817    88500 |    98332    92570     54 | 16.222 % |
312.07/312.22	c |    249293 |    5681    27817    88500 |    98332    94266     54 | 16.222 % |
315.58/315.77	c |    251156 |    5681    27817    88500 |    94973    96129     55 | 16.222 % |
319.47/319.63	c |    253205 |    5681    27817    88500 |    94973    88405     53 | 16.222 % |
322.87/323.04	c |    255458 |    5681    27817    88500 |    94973    90658     54 | 16.222 % |
326.27/326.41	c |    257938 |    5681    27817    88500 |    94973    93138     54 | 16.222 % |
326.37/326.56	c |    258039 |    5681    27817    88500 |    94973    93239     54 | 16.222 % |
326.77/326.90	c |    258151 |    5681    27817    88500 |    94973    93351     54 | 16.222 % |
326.87/327.09	c |    258272 |    5681    27817    88500 |    94973    93472     54 | 16.222 % |
327.17/327.38	c |    258405 |    5681    27817    88500 |    94973    93605     55 | 16.222 % |
327.27/327.49	c |    258553 |    5681    27817    88500 |    94973    93753     55 | 16.222 % |
327.57/327.76	c |    258715 |    5681    27817    88500 |    94973    93915     55 | 16.222 % |
327.77/327.96	c |    258893 |    5681    27817    88500 |    94973    94093     55 | 16.222 % |
328.07/328.25	c |    259086 |    5681    27817    88500 |    94973    94286     55 | 16.222 % |
328.37/328.59	c |    259299 |    5681    27817    88500 |    94973    94499     55 | 16.222 % |
328.87/329.07	c |    259534 |    5681    27817    88500 |    94973    94734     55 | 16.222 % |
329.27/329.45	c |    259790 |    5678    27805    88463 |    94973    94989     55 | 16.266 % |
329.77/329.90	c |    260071 |    5678    27805    88463 | 2147483647    95270     55 | 16.266 % |
330.36/330.55	c |    260380 |    5678    27805    88463 | 2147483647    95579     55 | 16.266 % |
331.06/331.20	c |    260720 |    5678    27805    88463 | 2147483647    95919     55 | 16.266 % |
331.66/331.88	c |    261096 |    5678    27805    88463 | 2147483647    96295     55 | 16.266 % |
332.07/332.21	c |    261505 |    5678    27805    88463 | 2147483647    96704     55 | 16.266 % |
332.76/332.93	c |    261955 |    5678    27805    88463 | 2147483647    97154     55 | 16.266 % |
333.66/333.87	c |    262451 |    5678    27805    88463 | 2147483647    97650     55 | 16.266 % |
334.46/334.69	c |    262994 |    5678    27805    88463 | 2147483647    98193     55 | 16.266 % |
335.46/335.65	c |    263590 |    5678    27805    88463 | 2147483647    98789     56 | 16.266 % |
337.06/337.24	c |    264250 |    5678    27805    88463 | 2147483647    99449     56 | 16.266 % |
337.57/337.75	c |    264973 |    5678    27805    88463 | 2147483647   100172     56 | 16.266 % |
339.46/339.65	c |    265765 |    5678    27805    88463 | 2147483647   100964     56 | 16.266 % |
341.06/341.28	c |    266637 |    5678    27805    88463 | 2147483647   101836     56 | 16.266 % |
342.96/343.17	c |    267595 |    5678    27805    88463 | 2147483647   102794     56 | 16.266 % |
344.66/344.89	c |    268649 |    5678    27805    88463 | 2147483647   103848     57 | 16.266 % |
346.56/346.73	c |    269808 |    5678    27805    88463 | 2147483647   105007     57 | 16.266 % |
349.25/349.41	c |    271081 |    5678    27805    88463 | 2147483647   106280     57 | 16.266 % |
351.95/352.10	c |    272483 |    5678    27805    88463 | 2147483647   107682     58 | 16.266 % |
352.86/353.05	c |    274023 |    5678    27805    88463 | 2147483647   109222     57 | 16.266 % |
354.75/354.93	c |    275717 |    5678    27805    88463 | 2147483647   110916     57 | 16.266 % |
358.65/358.80	c |    277581 |    5678    27805    88463 | 2147483647   112780     58 | 16.266 % |
362.35/362.51	c |    279630 |    5678    27805    88463 | 2147483647   114829     58 | 16.266 % |
367.05/367.24	c |    281885 |    5678    27805    88463 |   115200   117084     58 | 16.266 % |
370.25/370.49	c |    284363 |    5678    27805    88463 |   115200   102934     56 | 16.266 % |
376.14/376.37	c |    287088 |    5678    27805    88463 |   115200   105659     57 | 16.266 % |
376.24/376.47	c |    287189 |    5678    27805    88463 |   115200   105760     57 | 16.266 % |
376.54/376.74	c |    287301 |    5678    27805    88463 |   115200   105872     57 | 16.266 % |
376.84/377.00	c |    287422 |    5678    27805    88463 |   115200   105993     57 | 16.266 % |
376.94/377.19	c |    287555 |    5678    27805    88463 |   115200   106126     57 | 16.266 % |
377.24/377.47	c |    287701 |    5678    27805    88463 |   115200   106272     57 | 16.266 % |
377.44/377.65	c |    287861 |    5678    27805    88463 |   115200   106432     57 | 16.266 % |
377.84/378.00	c |    288037 |    5678    27805    88463 |   115200   106608     57 | 16.266 % |
378.15/378.35	c |    288231 |    5678    27805    88463 |   115200   106802     57 | 16.266 % |
378.54/378.77	c |    288443 |    5678    27805    88463 |   115200   107014     57 | 16.266 % |
379.14/379.34	c |    288676 |    5678    27805    88463 |   115200   107247     57 | 16.266 % |
379.64/379.83	c |    288932 |    5678    27805    88463 |   115200   107503     57 | 16.266 % |
380.15/380.38	c |    289214 |    5678    27805    88463 |   115200   107785     57 | 16.266 % |
380.75/380.91	c |    289524 |    5678    27805    88463 |   115200   108095     57 | 16.266 % |
381.55/381.70	c |    289863 |    5672    27785    88399 |   115200   108432     57 | 16.355 % |
382.15/382.34	c |    290235 |    5672    27785    88399 | 2147483647   108804     57 | 16.355 % |
383.05/383.21	c |    290644 |    5672    27785    88399 | 2147483647   109213     57 | 16.355 % |
383.95/384.19	c |    291095 |    5672    27785    88399 | 2147483647   109664     58 | 16.355 % |
384.35/384.56	c |    291589 |    5672    27785    88399 | 2147483647   110158     58 | 16.355 % |
385.25/385.45	c |    292132 |    5672    27785    88399 | 2147483647   110701     58 | 16.355 % |
385.85/386.05	c |    292728 |    5672    27785    88399 | 2147483647   111297     58 | 16.355 % |
387.45/387.65	c |    293385 |    5672    27785    88399 | 2147483647   111954     58 | 16.355 % |
388.94/389.15	c |    294105 |    5672    27785    88399 | 2147483647   112674     58 | 16.355 % |
390.64/390.89	c |    294899 |    5672    27785    88399 | 2147483647   113468     58 | 16.355 % |
392.24/392.47	c |    295770 |    5672    27785    88399 | 2147483647   114339     59 | 16.355 % |
394.24/394.45	c |    296728 |    5672    27785    88399 | 2147483647   115297     59 | 16.355 % |
396.54/396.70	c |    297781 |    5672    27785    88399 | 2147483647   116350     59 | 16.355 % |
398.64/398.82	c |    298939 |    5672    27785    88399 | 2147483647   117508     59 | 16.355 % |
401.64/401.82	c |    300212 |    5672    27785    88399 |   118569   118781     59 | 16.355 % |
404.34/404.58	c |    301614 |    5672    27785    88399 |   118569   120183     59 | 16.355 % |
407.24/407.48	c |    303155 |    5672    27785    88399 |   118569   102771     57 | 16.355 % |
409.83/410.10	c |    304849 |    5672    27785    88399 |   118569   104465     57 | 16.355 % |
413.73/413.93	c |    306712 |    5672    27785    88399 |   118569   106328     57 | 16.355 % |
416.83/417.07	c |    308762 |    5672    27785    88399 |   118569   108378     57 | 16.355 % |
421.14/421.33	c |    311015 |    5672    27785    88399 |   109617   110631     58 | 16.355 % |
423.73/423.92	c |    313496 |    5672    27785    88399 |   109617    97224     55 | 16.355 % |
428.63/428.85	c |    316222 |    5672    27785    88399 |   109617    99950     56 | 16.355 % |
433.83/434.05	c |    319219 |    5672    27785    88399 |   109617   102947     56 | 16.355 % |
434.13/434.34	c |    319319 |    5672    27785    88399 |   109617   103047     56 | 16.355 % |
434.33/434.56	c |    319432 |    5672    27785    88399 |   109617   103160     56 | 16.355 % |
434.52/434.75	c |    319553 |    5672    27785    88399 |   109617   103281     56 | 16.355 % |
434.72/434.93	c |    319686 |    5672    27785    88399 |   109617   103414     56 | 16.355 % |
435.12/435.37	c |    319834 |    5672    27785    88399 |   109617   103562     56 | 16.355 % |
435.33/435.58	c |    319994 |    5672    27785    88399 |   109617   103722     56 | 16.355 % |
435.72/435.97	c |    320170 |    5672    27785    88399 |   103729   103898     56 | 16.355 % |
436.12/436.36	c |    320365 |    5672    27785    88399 |   103729   104093     56 | 16.355 % |
436.53/436.73	c |    320577 |    5672    27785    88399 |   103729   104305     56 | 16.355 % |
436.82/437.08	c |    320810 |    5672    27785    88399 |   103729   104538     56 | 16.355 % |
437.32/437.54	c |    321066 |    5672    27785    88399 |   103729   104794     56 | 16.355 % |
437.82/438.04	c |    321348 |    5672    27785    88399 |   103729   105076     56 | 16.355 % |
438.32/438.57	c |    321657 |    5672    27785    88399 |   103729    88501     53 | 16.355 % |
438.92/439.16	c |    321996 |    5672    27785    88399 |   103729    88840     53 | 16.355 % |
439.42/439.68	c |    322369 |    5672    27785    88399 |   103729    89213     53 | 16.355 % |
440.02/440.25	c |    322779 |    5672    27785    88399 |   103729    89623     53 | 16.355 % |
440.72/440.96	c |    323228 |    5672    27785    88399 |   103729    90072     53 | 16.355 % |
441.42/441.69	c |    323721 |    5672    27785    88399 |   103729    90565     53 | 16.355 % |
442.32/442.55	c |    324263 |    5672    27785    88399 |   103729    91107     53 | 16.355 % |
443.32/443.57	c |    324860 |    5672    27785    88399 |   103729    91704     54 | 16.355 % |
444.42/444.69	c |    325515 |    5672    27785    88399 |   103729    92359     54 | 16.355 % |
445.72/445.98	c |    326235 |    5672    27785    88399 |   103729    93079     54 | 16.355 % |
446.92/447.13	c |    327027 |    5672    27785    88399 |   103729    93871     54 | 16.355 % |
448.42/448.60	c |    327898 |    5672    27785    88399 |   103729    94742     54 | 16.355 % |
450.32/450.52	c |    328856 |    5672    27785    88399 |   103729    95700     54 | 16.355 % |
452.01/452.24	c |    329909 |    5672    27785    88399 |   103729    96753     54 | 16.355 % |
454.71/454.99	c |    331068 |    5672    27785    88399 |    96844    97912     55 | 16.355 % |
457.01/457.20	c |    332343 |    5672    27785    88399 |    96844    99187     55 | 16.355 % |
459.11/459.37	c |    333745 |    5672    27785    88399 |    96844    87766     52 | 16.355 % |
461.51/461.79	c |    335288 |    5672    27785    88399 |    96844    89309     53 | 16.355 % |
464.51/464.78	c |    336983 |    5672    27785    88399 |    96844    91004     54 | 16.355 % |
467.91/468.13	c |    338847 |    5672    27785    88399 |    96844    92868     54 | 16.355 % |
471.81/472.01	c |    340896 |    5672    27785    88399 | 2147483647    94917     55 | 16.355 % |
475.81/476.04	c |    343150 |    5672    27785    88399 | 2147483647    97171     56 | 16.355 % |
480.51/480.75	c |    345628 |    5672    27785    88399 | 2147483647    99649     56 | 16.355 % |
485.30/485.53	c |    348355 |    5672    27785    88399 | 2147483647   102376     58 | 16.355 % |
490.90/491.19	c |    351352 |    5672    27785    88399 | 2147483647   105373     58 | 16.355 % |
496.70/496.97	c |    354650 |    5672    27785    88399 | 2147483647   108671     59 | 16.355 % |
496.90/497.14	c |    354750 |    5672    27785    88399 | 2147483647   108771     59 | 16.355 % |
497.10/497.34	c |    354860 |    5672    27785    88399 | 2147483647   108881     59 | 16.355 % |
497.20/497.48	c |    354981 |    5672    27785    88399 | 2147483647   109002     59 | 16.355 % |
497.60/497.82	c |    355114 |    5672    27785    88399 | 2147483647   109135     59 | 16.355 % |
497.80/498.06	c |    355261 |    5672    27785    88399 | 2147483647   109282     59 | 16.355 % |
498.10/498.38	c |    355422 |    5672    27785    88399 | 2147483647   109443     59 | 16.355 % |
498.70/498.97	c |    355598 |    5672    27785    88399 | 2147483647   109619     59 | 16.355 % |
499.00/499.28	c |    355792 |    5672    27785    88399 | 2147483647   109813     59 | 16.355 % |
499.40/499.65	c |    356004 |    5672    27785    88399 | 2147483647   110025     59 | 16.355 % |
499.80/500.09	c |    356237 |    5672    27785    88399 | 2147483647   110258     59 | 16.355 % |
500.40/500.67	c |    356494 |    5672    27785    88399 | 2147483647   110515     59 | 16.355 % |
500.90/501.20	c |    356775 |    5672    27785    88399 | 2147483647   110796     59 | 16.355 % |
501.70/501.92	c |    357085 |    5672    27785    88399 | 2147483647   111106     59 | 16.355 % |
502.30/502.53	c |    357425 |    5672    27785    88399 | 2147483647   111446     59 | 16.355 % |
502.99/503.25	c |    357797 |    5672    27785    88399 | 2147483647   111818     59 | 16.355 % |
503.79/504.02	c |    358206 |    5672    27785    88399 | 2147483647   112227     59 | 16.355 % |
505.09/505.32	c |    358655 |    5672    27785    88399 | 2147483647   112676     60 | 16.355 % |
505.59/505.84	c |    359149 |    5672    27785    88399 | 2147483647   113170     60 | 16.355 % |
506.59/506.83	c |    359692 |    5672    27785    88399 | 2147483647   113713     60 | 16.355 % |
507.90/508.11	c |    360288 |    5672    27785    88399 |   114022   114309     60 | 16.355 % |
509.09/509.32	c |    360943 |    5672    27785    88399 |   114022   114964     60 | 16.355 % |
510.59/510.89	c |    361664 |    5672    27785    88399 |   114022   115685     60 | 16.355 % |
511.59/511.81	c |    362456 |    5672    27785    88399 |   114022    98120     57 | 16.355 % |
512.79/513.00	c |    363329 |    5672    27785    88399 |   114022    98993     57 | 16.355 % |
514.79/515.06	c |    364290 |    5672    27785    88399 |   114022    99954     57 | 16.355 % |
516.99/517.21	c |    365346 |    5672    27785    88399 |   114022   101010     57 | 16.355 % |
518.99/519.23	c |    366505 |    5672    27785    88399 |   114022   102169     57 | 16.355 % |
521.69/521.90	c |    367779 |    5672    27785    88399 |   114022   103443     58 | 16.355 % |
524.29/524.51	c |    369179 |    5672    27785    88399 |   114022   104843     58 | 16.355 % |
527.48/527.70	c |    370720 |    5672    27785    88399 |   105664   106384     59 | 16.355 % |
528.98/529.24	c |    372414 |    5672    27785    88399 |   105664    94564     56 | 16.355 % |
532.19/532.47	c |    374278 |    5672    27785    88399 |   105664    96428     57 | 16.355 % |
535.88/536.15	c |    376327 |    5672    27785    88399 |   105664    98477     57 | 16.355 % |
540.08/540.37	c |    378580 |    5672    27785    88399 |   105664   100730     58 | 16.355 % |
544.59/544.84	c |    381060 |    5672    27785    88399 |   102150   103210     57 | 16.355 % |
549.69/549.96	c |    383787 |    5672    27785    88399 |   102150    91183     54 | 16.355 % |
555.08/555.34	c |    386785 |    5672    27785    88399 |   102150    94181     55 | 16.355 % |
560.78/561.09	c |    390081 |    5672    27785    88399 |    97399    97477     55 | 16.355 % |
567.08/567.30	c |    393707 |    5672    27785    88399 |    97399    91160     53 | 16.355 % |
567.08/567.36	c |    393809 |    5672    27785    88399 |    97399    91262     53 | 16.355 % |
567.28/567.50	c |    393919 |    5672    27785    88399 |    97399    91372     53 | 16.355 % |
567.48/567.70	c |    394040 |    5672    27785    88399 |    97399    91493     53 | 16.355 % |
567.58/567.88	c |    394173 |    5672    27785    88399 |    97399    91626     53 | 16.355 % |
567.98/568.27	c |    394319 |    5672    27785    88399 |    97399    91772     53 | 16.355 % |
568.18/568.47	c |    394479 |    5672    27785    88399 |    97399    91932     53 | 16.355 % |
568.68/568.91	c |    394655 |    5672    27785    88399 |    97399    92108     54 | 16.355 % |
568.98/569.22	c |    394848 |    5672    27785    88399 |    97399    92301     54 | 16.355 % |
569.38/569.61	c |    395060 |    5672    27785    88399 |    97399    92513     54 | 16.355 % |
569.58/569.83	c |    395293 |    5672    27785    88399 |    97399    92746     54 | 16.355 % |
570.18/570.41	c |    395550 |    5672    27785    88399 |    97399    93003     54 | 16.355 % |
570.48/570.76	c |    395833 |    5672    27785    88399 |    97399    93286     54 | 16.355 % |
570.68/570.95	c |    396143 |    5672    27785    88399 |    97399    93596     54 | 16.355 % |
570.88/571.17	c |    396482 |    5672    27785    88399 |    97399    93935     54 | 16.355 % |
571.08/571.39	c |    396854 |    5672    27785    88399 |    97399    94307     54 | 16.355 % |
571.58/571.88	c |    397263 |    5672    27785    88399 |    97399    94716     54 | 16.355 % |
572.37/572.62	c |    397712 |    5672    27785    88399 |    97399    95165     54 | 16.355 % |
573.37/573.65	c |    398205 |    5672    27785    88399 |    97399    95658     54 | 16.355 % |
574.27/574.53	c |    398747 |    5672    27785    88399 |    97399    96200     54 | 16.355 % |
575.67/575.95	c |    399343 |    5672    27785    88399 |    97399    96796     54 | 16.355 % |
576.77/577.07	c |    399998 |    5672    27785    88399 |    97399    97451     55 | 16.355 % |
578.28/578.54	c |    400718 |    5672    27785    88399 | 2147483647    98171     55 | 16.355 % |
579.57/579.86	c |    401510 |    5672    27785    88399 | 2147483647    98963     55 | 16.355 % |
581.07/581.32	c |    402382 |    5672    27785    88399 | 2147483647    99835     55 | 16.355 % |
582.57/582.87	c |    403340 |    5672    27785    88399 | 2147483647   100793     55 | 16.355 % |
584.27/584.54	c |    404393 |    5672    27785    88399 | 2147483647   101846     55 | 16.356 % |
586.07/586.36	c |    405552 |    5672    27785    88399 | 2147483647   103005     56 | 16.355 % |
587.47/587.76	c |    406827 |    5672    27785    88399 | 2147483647   104280     56 | 16.355 % |
590.27/590.57	c |    408227 |    5672    27785    88399 | 2147483647   105680     56 | 16.355 % |
592.87/593.12	c |    409768 |    5672    27785    88399 | 2147483647   107221     57 | 16.355 % |
596.27/596.51	c |    411462 |    5672    27785    88399 |   107454   108915     57 | 16.355 % |
599.36/599.68	c |    413325 |    5672    27785    88399 |   107454    87763     53 | 16.355 % |
602.06/602.38	c |    415374 |    5672    27785    88399 |   107454    89812     53 | 16.355 % |
606.16/606.43	c |    417628 |    5672    27785    88399 |   107454    92066     54 | 16.355 % |
610.66/610.98	c |    420107 |    5672    27785    88399 | 2147483647    94545     55 | 16.355 % |
614.76/615.04	c |    422832 |    5672    27785    88399 | 2147483647    97270     55 | 16.355 % |
620.25/620.57	c |    425832 |    5672    27785    88399 | 2147483647   100270     57 | 16.355 % |
626.65/626.91	c |    429128 |    5672    27785    88399 | 2147483647   103566     58 | 16.355 % |
632.64/632.93	c |    432753 |    5672    27785    88399 | 2147483647   107191     58 | 16.355 % |
640.95/641.21	c |    436741 |    5672    27785    88399 | 2147483647   111179     59 | 16.355 % |
641.14/641.43	c |    436842 |    5672    27785    88399 | 2147483647   111280     60 | 16.355 % |
641.34/641.60	c |    436953 |    5672    27785    88399 | 2147483647   111391     59 | 16.355 % |
641.54/641.85	c |    437074 |    5672    27785    88399 | 2147483647   111512     60 | 16.355 % |
641.84/642.19	c |    437208 |    5672    27785    88399 | 2147483647   111646     60 | 16.355 % |
642.24/642.55	c |    437356 |    5672    27785    88399 | 2147483647   111794     60 | 16.355 % |
642.44/642.77	c |    437518 |    5672    27785    88399 | 2147483647   111956     60 | 16.355 % |
642.84/643.12	c |    437694 |    5672    27785    88399 | 2147483647   112132     60 | 16.355 % |
643.34/643.69	c |    437887 |    5672    27785    88399 | 2147483647   112325     60 | 16.355 % |
643.74/644.05	c |    438099 |    5672    27785    88399 | 2147483647   112537     60 | 16.355 % |
644.24/644.56	c |    438332 |    5672    27785    88399 | 2147483647   112770     60 | 16.355 % |
644.64/644.99	c |    438591 |    5672    27785    88399 | 2147483647   113029     60 | 16.355 % |
645.54/645.82	c |    438872 |    5672    27785    88399 | 2147483647   113310     60 | 16.355 % |
646.24/646.51	c |    439181 |    5672    27785    88399 | 2147483647   113619     60 | 16.355 % |
646.54/646.89	c |    439520 |    5672    27785    88399 | 2147483647   113958     60 | 16.355 % |
647.34/647.68	c |    439892 |    5672    27785    88399 | 2147483647   114330     60 | 16.355 % |
648.14/648.48	c |    440301 |    5672    27785    88399 |   114439   114739     60 | 16.355 % |
648.94/649.24	c |    440751 |    5672    27785    88399 |   114439   115189     60 | 16.355 % |
650.34/650.62	c |    441246 |    5672    27785    88399 |   114439   115684     61 | 16.355 % |
651.04/651.38	c |    441788 |    5672    27785    88399 |   114439   100112     58 | 16.355 % |
652.54/652.88	c |    442389 |    5672    27785    88399 |   114439   100713     59 | 16.355 % |
653.43/653.75	c |    443045 |    5672    27785    88399 |   114439   101369     59 | 16.355 % |
654.43/654.79	c |    443765 |    5672    27785    88399 |   114439   102089     59 | 16.355 % |
655.43/655.78	c |    444560 |    5672    27785    88399 |   114439   102884     59 | 16.355 % |
657.13/657.46	c |    445431 |    5672    27785    88399 |   114439   103755     59 | 16.355 % |
659.23/659.58	c |    446389 |    5672    27785    88399 |   114439   104713     59 | 16.355 % |
661.53/661.86	c |    447444 |    5672    27785    88399 |   114439   105768     60 | 16.355 % |
663.63/663.91	c |    448603 |    5672    27785    88399 |   114439   106927     60 | 16.355 % |
666.03/666.32	c |    449876 |    5672    27785    88399 |   114439   108200     60 | 16.355 % |
668.13/668.49	c |    451277 |    5672    27785    88399 |   108326   109601     60 | 16.355 % |
671.43/671.73	c |    452817 |    5672    27785    88399 |   108326    93730     58 | 16.355 % |
674.13/674.43	c |    454512 |    5672    27785    88399 |   108326    95425     58 | 16.355 % |
678.23/678.55	c |    456375 |    5672    27785    88399 |   108326    97288     58 | 16.355 % |
681.63/681.96	c |    458424 |    5672    27785    88399 |   108326    99337     59 | 16.355 % |
686.22/686.57	c |    460677 |    5672    27785    88399 |   100913   101590     60 | 16.355 % |
690.43/690.73	c |    463155 |    5672    27785    88399 |   100913    91900     57 | 16.355 % |
695.72/696.02	c |    465881 |    5672    27785    88399 |   100913    94626     59 | 16.355 % |
700.52/700.82	c |    468878 |    5672    27785    88399 |   100913    97623     58 | 16.355 % |
706.02/706.34	c |    472174 |    5672    27785    88399 |    98748    85009     53 | 16.355 % |
713.21/713.54	c |    475802 |    5672    27785    88399 |    98748    88637     53 | 16.355 % |
720.71/721.05	c |    479789 |    5672    27785    88399 |    98748    92624     54 | 16.355 % |
727.51/727.87	c |    484175 |    5672    27785    88399 |    92835    87507     52 | 16.355 % |
727.71/728.08	c |    484277 |    5672    27785    88399 |    92835    87609     52 | 16.355 % |
727.91/728.23	c |    484390 |    5672    27785    88399 |    92835    87722     52 | 16.355 % |
728.21/728.57	c |    484513 |    5672    27785    88399 |    92835    87845     52 | 16.355 % |
728.31/728.68	c |    484649 |    5672    27785    88399 |    92835    87981     52 | 16.355 % |
728.51/728.81	c |    484795 |    5672    27785    88399 |    92835    88127     52 | 16.355 % |
728.61/728.95	c |    484955 |    5672    27785    88399 |    92835    88287     52 | 16.355 % |
729.01/729.31	c |    485131 |    5672    27785    88399 |    92835    88463     52 | 16.355 % |
729.21/729.55	c |    485324 |    5672    27785    88399 |    92835    88656     52 | 16.355 % |
729.61/729.92	c |    485539 |    5672    27785    88399 |    92835    88871     52 | 16.355 % |
730.01/730.38	c |    485772 |    5672    27785    88399 |    92835    89104     53 | 16.355 % |
730.41/730.75	c |    486029 |    5672    27785    88399 |    92835    89361     52 | 16.355 % |
731.11/731.41	c |    486311 |    5672    27785    88399 |    92835    89643     53 | 16.355 % |
731.60/731.92	c |    486622 |    5672    27785    88399 |    92835    89954     53 | 16.355 % |
732.10/732.42	c |    486961 |    5672    27785    88399 |    92835    90293     53 | 16.355 % |
732.80/733.19	c |    487333 |    5672    27785    88399 |    92835    90665     53 | 16.355 % |
733.51/733.80	c |    487743 |    5672    27785    88399 |    92835    91075     53 | 16.355 % |
734.30/734.67	c |    488194 |    5672    27785    88399 |    92835    91526     54 | 16.355 % |
735.10/735.48	c |    488688 |    5672    27785    88399 |    92835    92020     54 | 16.355 % |
736.40/736.77	c |    489230 |    5672    27785    88399 |    92835    92562     54 | 16.355 % |
737.30/737.64	c |    489827 |    5672    27785    88399 |    92835    93159     54 | 16.355 % |
738.30/738.64	c |    490482 |    5672    27785    88399 | 2147483647    93814     54 | 16.355 % |
739.70/740.01	c |    491202 |    5672    27785    88399 | 2147483647    94534     54 | 16.355 % |
740.90/741.24	c |    491994 |    5672    27785    88399 | 2147483647    95326     55 | 16.355 % |
742.70/743.02	c |    492866 |    5672    27785    88399 | 2147483647    96198     55 | 16.355 % |
744.30/744.67	c |    493824 |    5672    27785    88399 | 2147483647    97156     56 | 16.355 % |
746.00/746.30	c |    494877 |    5672    27785    88399 | 2147483647    98209     55 | 16.355 % |
748.50/748.87	c |    496037 |    5672    27785    88399 | 2147483647    99369     56 | 16.355 % |
750.90/751.22	c |    497310 |    5672    27785    88399 | 2147483647   100642     56 | 16.355 % |
753.10/753.49	c |    498712 |    5672    27785    88399 | 2147483647   102044     57 | 16.355 % |
755.70/756.09	c |    500253 |    5672    27785    88399 |   103333   103585     57 | 16.355 % |
759.00/759.31	c |    501948 |    5672    27785    88399 |   103333   105280     57 | 16.355 % |
762.19/762.59	c |    503813 |    5672    27785    88399 |   103333    96181     54 | 16.355 % |
766.10/766.44	c |    505864 |    5672    27785    88399 |   103333    98232     55 | 16.355 % |
770.60/770.95	c |    508117 |    5672    27785    88399 |   103333   100485     55 | 16.355 % |
775.00/775.39	c |    510597 |    5672    27785    88399 |   102369   102965     56 | 16.355 % |
779.00/779.35	c |    513323 |    5672    27785    88399 |   102369    90230     51 | 16.355 % |
783.69/784.03	c |    516320 |    5672    27785    88399 |   102369    93227     51 | 16.355 % |
789.89/790.28	c |    519616 |    5672    27785    88399 |   102369    96523     53 | 16.355 % |
796.89/797.25	c |    523242 |    5672    27785    88399 |    96908    88448     51 | 16.355 % |
803.79/804.13	c |    527229 |    5672    27785    88399 |    96908    92435     53 | 16.355 % |
810.78/811.18	c |    531615 |    5672    27785    88399 | 2147483647    96821     53 | 16.355 % |
818.88/819.28	c |    536438 |    5672    27785    88399 | 2147483647   101644     54 | 16.355 % |
819.09/819.46	c |    536539 |    5672    27785    88399 | 2147483647   101745     54 | 16.355 % |
819.28/819.60	c |    536650 |    5672    27785    88399 | 2147483647   101856     54 | 16.355 % |
819.48/819.84	c |    536772 |    5672    27785    88399 | 2147483647   101978     54 | 16.355 % |
819.68/820.09	c |    536905 |    5672    27785    88399 | 2147483647   102111     54 | 16.355 % |
819.98/820.38	c |    537051 |    5672    27785    88399 | 2147483647   102257     54 | 16.355 % |
820.29/820.64	c |    537213 |    5672    27785    88399 | 2147483647   102419     54 | 16.355 % |
820.88/821.27	c |    537392 |    5672    27785    88399 | 2147483647   102598     54 | 16.355 % |
821.18/821.52	c |    537585 |    5672    27785    88399 | 2147483647   102791     54 | 16.355 % |
821.48/821.88	c |    537797 |    5672    27785    88399 | 2147483647   103003     54 | 16.355 % |
821.88/822.24	c |    538031 |    5672    27785    88399 | 2147483647   103237     54 | 16.355 % |
822.28/822.62	c |    538287 |    5672    27785    88399 | 2147483647   103493     54 | 16.355 % |
822.78/823.18	c |    538568 |    5672    27785    88399 | 2147483647   103774     54 | 16.355 % |
823.28/823.67	c |    538877 |    5672    27785    88399 | 2147483647   104083     54 | 16.355 % |
824.08/824.40	c |    539217 |    5672    27785    88399 | 2147483647   104423     55 | 16.355 % |
824.88/825.21	c |    539593 |    5672    27785    88399 | 2147483647   104799     55 | 16.355 % |
825.78/826.14	c |    540002 |    5672    27785    88399 |   105206   105208     55 | 16.355 % |
826.48/826.85	c |    540452 |    5672    27785    88399 |   105206   105658     55 | 16.355 % |
827.38/827.75	c |    540945 |    5672    27785    88399 |   105206   106151     55 | 16.355 % |
828.28/828.60	c |    541489 |    5672    27785    88399 |   105206   106695     55 | 16.355 % |
829.68/830.02	c |    542085 |    5672    27785    88399 |   105206    91502     51 | 16.355 % |
830.08/830.44	c |    542742 |    5672    27785    88399 |   105206    92159     51 | 16.355 % |
831.48/831.87	c |    543462 |    5672    27785    88399 |   105206    92879     52 | 16.355 % |
832.88/833.26	c |    544255 |    5672    27785    88399 |   105206    93672     52 | 16.355 % |
834.18/834.56	c |    545128 |    5672    27785    88399 |   105206    94545     52 | 16.355 % |
835.98/836.31	c |    546087 |    5672    27785    88399 |   105206    95504     52 | 16.355 % |
837.97/838.32	c |    547140 |    5672    27785    88399 |   105206    96557     52 | 16.355 % |
840.37/840.72	c |    548299 |    5672    27785    88399 |   105206    97716     53 | 16.355 % |
842.18/842.55	c |    549572 |    5672    27785    88399 |   105206    98989     53 | 16.355 % |
845.27/845.62	c |    550974 |    5672    27785    88399 |    99418   100391     53 | 16.355 % |
847.17/847.56	c |    552514 |    5672    27785    88399 |    99418    90829     50 | 16.355 % |
850.57/850.98	c |    554208 |    5672    27785    88399 |    99418    92523     52 | 16.355 % |
853.97/854.36	c |    556073 |    5672    27785    88399 |    99418    94388     52 | 16.355 % |
857.97/858.33	c |    558122 |    5672    27785    88399 |    99418    96437     52 | 16.355 % |
862.07/862.43	c |    560376 |    5672    27785    88399 | 2147483647    98691     53 | 16.355 % |
866.37/866.78	c |    562855 |    5672    27785    88399 | 2147483647   101170     54 | 16.355 % |
871.56/871.96	c |    565580 |    5672    27785    88399 | 2147483647   103895     55 | 16.355 % |
875.26/875.63	c |    568577 |    5672    27785    88399 | 2147483647   106892     55 | 16.355 % |
882.16/882.57	c |    571873 |    5672    27785    88399 | 2147483647   110188     55 | 16.355 % |
889.05/889.40	c |    575498 |    5672    27785    88399 | 2147483647   113813     56 | 16.355 % |
896.06/896.43	c |    579485 |    5672    27785    88399 | 2147483647   117800     56 | 16.355 % |
904.75/905.11	c |    583870 |    5672    27785    88399 |   118316   110056     56 | 16.355 % |
914.25/914.61	c |    588694 |    5672    27785    88399 |   118316   114880     57 | 16.355 % |
924.84/925.21	c |    593999 |    5672    27785    88399 |   116186   103345     54 | 16.355 % |
925.04/925.45	c |    594099 |    5672    27785    88399 |   116186   103445     54 | 16.355 % |
925.24/925.64	c |    594209 |    5672    27785    88399 |   116186   103555     54 | 16.355 % |
925.44/925.86	c |    594332 |    5672    27785    88399 |   116186   103678     54 | 16.355 % |
925.75/926.18	c |    594467 |    5672    27785    88399 |   116186   103813     54 | 16.355 % |
926.04/926.44	c |    594614 |    5672    27785    88399 |   116186   103960     54 | 16.355 % |
926.34/926.78	c |    594775 |    5672    27785    88399 |   116186   104121     54 | 16.355 % |
926.64/927.09	c |    594952 |    5672    27785    88399 |   116186   104298     54 | 16.355 % |
927.24/927.69	c |    595148 |    5672    27785    88399 |   116186   104494     54 | 16.355 % |
927.74/928.13	c |    595360 |    5672    27785    88399 |   116186   104706     54 | 16.355 % |
928.24/928.68	c |    595593 |    5672    27785    88399 |   116186   104939     54 | 16.355 % |
928.84/929.25	c |    595850 |    5672    27785    88399 |   116186   105196     54 | 16.355 % |
929.34/929.79	c |    596134 |    5672    27785    88399 |   116186   105480     54 | 16.355 % |
930.04/930.41	c |    596443 |    5672    27785    88399 |   116186   105789     54 | 16.355 % |
930.84/931.23	c |    596782 |    5672    27785    88399 |   116186   106128     54 | 16.355 % |
931.34/931.73	c |    597156 |    5672    27785    88399 |   116186   106502     54 | 16.355 % |
932.24/932.66	c |    597568 |    5672    27785    88399 |   116186   106914     55 | 16.355 % |
932.94/933.35	c |    598018 |    5672    27785    88399 |   116186   107364     55 | 16.355 % |
934.04/934.43	c |    598511 |    5672    27785    88399 |   116186   107857     55 | 16.355 % |
934.94/935.33	c |    599053 |    5672    27785    88399 |   116186   108399     55 | 16.355 % |
936.14/936.53	c |    599650 |    5672    27785    88399 |   116186   108996     55 | 16.355 % |
936.84/937.28	c |    600306 |    5672    27785    88399 |   109347   109652     55 | 16.355 % |
938.64/939.03	c |    601026 |    5672    27785    88399 |   109347   110372     56 | 16.355 % |
939.84/940.28	c |    601819 |    5672    27785    88399 |   109347   111165     56 | 16.355 % |
941.84/942.24	c |    602693 |    5672    27785    88399 |   109347    95871     53 | 16.355 % |
943.34/943.71	c |    603652 |    5672    27785    88399 |   109347    96830     53 | 16.355 % |
945.73/946.18	c |    604705 |    5672    27785    88399 |   109347    97883     54 | 16.355 % |
947.63/948.04	c |    605864 |    5672    27785    88399 |   109347    99042     54 | 16.355 % |
950.23/950.68	c |    607137 |    5672    27785    88399 |   109347   100315     55 | 16.355 % |
952.43/952.83	c |    608537 |    5672    27785    88399 |   109347   101715     54 | 16.355 % |
955.93/956.36	c |    610079 |    5672    27785    88399 |   103178   103257     55 | 16.355 % |
957.73/958.10	c |    611774 |    5672    27785    88399 |   103178   104952     55 | 16.355 % |
961.53/961.92	c |    613637 |    5672    27785    88399 |   103178    93002     53 | 16.355 % |
965.33/965.72	c |    615687 |    5672    27785    88399 |   103178    95052     54 | 16.355 % |
968.32/968.77	c |    617940 |    5672    27785    88399 |   103178    97305     54 | 16.355 % |
973.22/973.62	c |    620419 |    5672    27785    88399 | 2147483647    99784     55 | 16.355 % |
977.53/977.96	c |    623145 |    5672    27785    88399 | 2147483647   102510     54 | 16.355 % |
983.52/983.91	c |    626144 |    5672    27785    88399 | 2147483647   105509     55 | 16.355 % |
989.02/989.45	c |    629441 |    5672    27785    88399 | 2147483647   108806     54 | 16.355 % |
996.61/997.09	c |    633066 |    5672    27785    88399 |   109365   101243     54 | 16.355 % |
1001.31/1001.76	c |    637053 |    5672    27785    88399 |   109365   105230     54 | 16.355 % |
1011.41/1011.85	c |    641438 |    5672    27785    88399 |   108178   109615     56 | 16.355 % |
1018.71/1019.13	c |    646263 |    5672    27785    88399 |   108178   101506     54 | 16.355 % |
1029.21/1029.68	c |    651571 |    5672    27785    88399 |   105243   106814     56 | 16.355 % |
1038.60/1039.02	c |    657406 |    5672    27785    88399 |   105243    96695     52 | 16.355 % |
1038.70/1039.16	c |    657506 |    5672    27785    88399 |   105243    96795     52 | 16.355 % |
1039.00/1039.50	c |    657617 |    5672    27785    88399 |   105243    96906     52 | 16.355 % |
1039.20/1039.69	c |    657739 |    5672    27785    88399 |   105243    97028     52 | 16.355 % |
1039.50/1039.95	c |    657872 |    5672    27785    88399 |   105243    97161     52 | 16.355 % |
1039.81/1040.23	c |    658019 |    5672    27785    88399 |   105243    97308     52 | 16.355 % |
1040.11/1040.59	c |    658180 |    5672    27785    88399 |   105243    97469     52 | 16.355 % |
1040.41/1040.89	c |    658357 |    5672    27785    88399 |   105243    97646     52 | 16.355 % |
1040.81/1041.20	c |    658550 |    5672    27785    88399 |   105243    97839     52 | 16.355 % |
1041.31/1041.76	c |    658762 |    5672    27785    88399 |   105243    98051     52 | 16.355 % |
1041.61/1042.03	c |    658996 |    5672    27785    88399 |   105243    98285     52 | 16.355 % |
1042.11/1042.56	c |    659254 |    5672    27785    88399 |   105243    98543     53 | 16.355 % |
1042.61/1043.05	c |    659537 |    5672    27785    88399 |   105243    98826     53 | 16.355 % |
1043.41/1043.81	c |    659846 |    5672    27785    88399 |   105243    99135     53 | 16.355 % |
1043.80/1044.25	c |    660185 |    5672    27785    88399 |    99291    99474     53 | 16.355 % |
1044.70/1045.19	c |    660557 |    5672    27785    88399 |    99291    99846     53 | 16.355 % |
1045.50/1045.90	c |    660966 |    5672    27785    88399 |    99291   100255     53 | 16.355 % |
1046.10/1046.57	c |    661416 |    5672    27785    88399 |    99291   100705     53 | 16.355 % |
1047.40/1047.80	c |    661909 |    5672    27785    88399 |    99291    87981     51 | 16.355 % |
1048.40/1048.83	c |    662451 |    5672    27785    88399 |    99291    88523     51 | 16.355 % |
1049.50/1049.92	c |    663048 |    5672    27785    88399 |    99291    89120     51 | 16.355 % |
1050.40/1050.84	c |    663706 |    5672    27785    88399 |    99291    89778     51 | 16.355 % |
1051.70/1052.12	c |    664426 |    5672    27785    88399 |    99291    90498     52 | 16.355 % |
1053.10/1053.53	c |    665218 |    5672    27785    88399 |    99291    91290     52 | 16.355 % |
1054.90/1055.31	c |    666090 |    5672    27785    88399 |    99291    92162     52 | 16.355 % |
1056.40/1056.88	c |    667052 |    5672    27785    88399 |    99291    93124     52 | 16.355 % |
1057.90/1058.36	c |    668106 |    5672    27785    88399 |    99291    94178     52 | 16.355 % |
1059.90/1060.34	c |    669264 |    5672    27785    88399 |    99291    95336     53 | 16.355 % |
1062.29/1062.77	c |    670537 |    5672    27785    88399 | 2147483647    96609     53 | 16.355 % |
1063.50/1063.98	c |    671940 |    5672    27785    88399 | 2147483647    98012     53 | 16.355 % |
1066.09/1066.55	c |    673480 |    5672    27785    88399 | 2147483647    99552     54 | 16.355 % |
1069.19/1069.66	c |    675174 |    5672    27785    88399 | 2147483647   101246     54 | 16.355 % |
1072.79/1073.29	c |    677037 |    5672    27785    88399 | 2147483647   103109     54 | 16.355 % |
1076.99/1077.49	c |    679086 |    5672    27785    88399 | 2147483647   105158     55 | 16.355 % |
1079.79/1080.27	c |    681342 |    5672    27785    88399 | 2147483647   107414     54 | 16.355 % |
1082.99/1083.45	c |    683822 |    5672    27785    88399 | 2147483647   109894     54 | 16.355 % |
1088.59/1089.09	c |    686547 |    5672    27785    88399 | 2147483647   112619     56 | 16.355 % |
1093.78/1094.27	c |    689546 |    5672    27785    88399 | 2147483647   115618     55 | 16.355 % |
1100.28/1100.72	c |    692843 |    5672    27785    88399 |   116072   100062     51 | 16.355 % |
1106.48/1106.90	c |    696468 |    5672    27785    88399 |   116072   103687     52 | 16.355 % |
1113.67/1114.11	c |    700455 |    5672    27785    88399 |   107221   107674     52 | 16.355 % |
1121.37/1121.83	c |    704841 |    5672    27785    88399 |   107221    98884     50 | 16.355 % |
1129.77/1130.27	c |    709664 |    5672    27785    88399 |   107221   103707     50 | 16.355 % |
1138.66/1139.18	c |    714970 |    5672    27785    88399 |   104043    97756     48 | 16.355 % |
1146.46/1146.99	c |    720805 |    5672    27785    88399 |   102786   103591     48 | 16.355 % |
1157.36/1157.80	c |    727224 |    5672    27785    88399 |   102786    93867     45 | 16.355 % |
1157.46/1157.98	c |    727325 |    5672    27785    88399 |   102786    93968     45 | 16.355 % |
1157.66/1158.19	c |    727436 |    5672    27785    88399 |   102786    94079     45 | 16.355 % |
1157.86/1158.36	c |    727559 |    5672    27785    88399 |   102786    94202     45 | 16.355 % |
1158.06/1158.53	c |    727692 |    5672    27785    88399 |   102786    94335     45 | 16.355 % |
1158.26/1158.72	c |    727840 |    5672    27785    88399 |   102786    94483     45 | 16.355 % |
1158.56/1159.07	c |    728002 |    5672    27785    88399 |   102786    94645     46 | 16.355 % |
1158.76/1159.25	c |    728180 |    5672    27785    88399 |   102786    94823     46 | 16.355 % |
1159.16/1159.65	c |    728374 |    5672    27785    88399 |   102786    95017     46 | 16.355 % |
1159.46/1159.96	c |    728586 |    5672    27785    88399 |   102786    95229     46 | 16.355 % |
1159.66/1160.19	c |    728819 |    5672    27785    88399 |   102786    95462     46 | 16.355 % |
1160.35/1160.83	c |    729078 |    5672    27785    88399 |   102786    95721     46 | 16.355 % |
1160.95/1161.42	c |    729363 |    5672    27785    88399 |   102786    96006     46 | 16.355 % |
1161.45/1161.93	c |    729672 |    5672    27785    88399 |   102786    96315     46 | 16.355 % |
1162.16/1162.68	c |    730011 |    5672    27785    88399 |    96643    96654     46 | 16.355 % |
1163.05/1163.52	c |    730383 |    5672    27785    88399 |    96643    97026     47 | 16.355 % |
1163.85/1164.30	c |    730793 |    5672    27785    88399 |    96643    97436     47 | 16.355 % |
1164.65/1165.19	c |    731242 |    5672    27785    88399 |    96643    97885     47 | 16.355 % |
1165.46/1166.00	c |    731739 |    5672    27785    88399 |    96643    88594     45 | 16.355 % |
1166.35/1166.89	c |    732282 |    5672    27785    88399 |    96643    89137     45 | 16.355 % |
1167.45/1167.91	c |    732878 |    5672    27785    88399 |    96643    89733     45 | 16.355 % |
1168.45/1169.00	c |    733534 |    5672    27785    88399 |    96643    90389     45 | 16.355 % |
1169.95/1170.44	c |    734255 |    5672    27785    88399 |    96643    91110     46 | 16.355 % |
1171.15/1171.68	c |    735047 |    5672    27785    88399 |    96643    91902     46 | 16.355 % |
1172.75/1173.21	c |    735919 |    5672    27785    88399 |    96643    92774     46 | 16.355 % |
1173.95/1174.45	c |    736877 |    5672    27785    88399 |    96643    93732     46 | 16.355 % |
1176.05/1176.50	c |    737930 |    5672    27785    88399 |    96643    94785     47 | 16.355 % |
1177.95/1178.46	c |    739090 |    5672    27785    88399 |    96643    95945     47 | 16.355 % |
1180.15/1180.67	c |    740364 |    5672    27785    88399 | 2147483647    97219     48 | 16.355 % |
1182.25/1182.79	c |    741767 |    5672    27785    88399 | 2147483647    98622     48 | 16.355 % |
1185.74/1186.24	c |    743307 |    5672    27785    88399 | 2147483647   100162     49 | 16.355 % |
1188.84/1189.30	c |    745001 |    5672    27785    88399 | 2147483647   101856     50 | 16.355 % |
1192.95/1193.45	c |    746864 |    5672    27785    88399 | 2147483647   103719     51 | 16.355 % |
1196.24/1196.78	c |    748914 |    5672    27785    88399 | 2147483647   105769     51 | 16.355 % |
1200.04/1200.51	HOME/SatELiteGTI: line 36:  6134 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:492) (c) roussel@cril.univ-artois.fr

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.03 3/64 6128
/proc/meminfo: memFree=1837160/2055920 swapFree=4180392/4192956
[pid=6128] ppid=6126 vsize=5356 CPUtime=0
/proc/6128/stat : 6128 (SatELiteGTI) S 6126 6128 6021 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310417846 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6128/statm: 1339 237 197 169 0 50 0

[startup+0.0185399 s]
/proc/loadavg: 1.00 1.00 1.03 3/64 6128
/proc/meminfo: memFree=1837160/2055920 swapFree=4180392/4192956
[pid=6128] ppid=6126 vsize=5356 CPUtime=0
/proc/6128/stat : 6128 (SatELiteGTI) S 6126 6128 6021 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310417846 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6128/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101555 s]
/proc/loadavg: 1.00 1.00 1.03 3/64 6128
/proc/meminfo: memFree=1837160/2055920 swapFree=4180392/4192956
[pid=6128] ppid=6126 vsize=5356 CPUtime=0
/proc/6128/stat : 6128 (SatELiteGTI) S 6126 6128 6021 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310417846 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6128/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.30159 s]
/proc/loadavg: 1.00 1.00 1.03 3/64 6128
/proc/meminfo: memFree=1837160/2055920 swapFree=4180392/4192956
[pid=6128] ppid=6126 vsize=5356 CPUtime=0
/proc/6128/stat : 6128 (SatELiteGTI) S 6126 6128 6021 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310417846 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6128/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701665 s]
/proc/loadavg: 1.00 1.00 1.03 3/64 6128
/proc/meminfo: memFree=1837160/2055920 swapFree=4180392/4192956
[pid=6128] ppid=6126 vsize=5356 CPUtime=0.49
/proc/6128/stat : 6128 (SatELiteGTI) S 6126 6128 6021 0 -1 4194304 336 3022 0 0 0 0 46 3 16 0 1 0 310417846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6128/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 5356

[startup+1.5018 s]
/proc/loadavg: 1.00 1.00 1.03 2/66 6134
/proc/meminfo: memFree=1831640/2055920 swapFree=4180392/4192956
[pid=6128] ppid=6126 vsize=5356 CPUtime=0.49
/proc/6128/stat : 6128 (SatELiteGTI) S 6126 6128 6021 0 -1 4194304 336 3022 0 0 0 0 46 3 16 0 1 0 310417846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6128/statm: 1339 239 197 169 0 50 0
[pid=6134] ppid=6128 vsize=4772 CPUtime=1
/proc/6134/stat : 6134 (minisat_static) R 6128 6128 6021 0 -1 4194304 984 0 0 0 100 0 0 0 25 0 1 0 310417895 4886528 970 1992294400 134512640 135215339 4294956240 18446744073709551615 134743406 0 0 4096 3 0 0 0 17 1 0 0
/proc/6134/statm: 1193 970 77 171 0 1020 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10128

[startup+3.10108 s]
/proc/loadavg: 1.00 1.00 1.03 2/66 6134
/proc/meminfo: memFree=1830744/2055920 swapFree=4180392/4192956
[pid=6128] ppid=6126 vsize=5356 CPUtime=0.49
/proc/6128/stat : 6128 (SatELiteGTI) S 6126 6128 6021 0 -1 4194304 336 3022 0 0 0 0 46 3 16 0 1 0 310417846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6128/statm: 1339 239 197 169 0 50 0
[pid=6134] ppid=6128 vsize=5836 CPUtime=2.59
/proc/6134/stat : 6134 (minisat_static) R 6128 6128 6021 0 -1 4194304 1249 0 0 0 259 0 0 0 25 0 1 0 310417895 5976064 1235 1992294400 134512640 135215339 4294956240 18446744073709551615 134528776 0 0 4096 3 0 0 0 17 1 0 0
/proc/6134/statm: 1459 1235 77 171 0 1286 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 11192

[startup+6.30165 s]
/proc/loadavg: 1.00 1.00 1.03 2/66 6134
/proc/meminfo: memFree=1828520/2055920 swapFree=4180392/4192956
[pid=6128] ppid=6126 vsize=5356 CPUtime=0.49
/proc/6128/stat : 6128 (SatELiteGTI) S 6126 6128 6021 0 -1 4194304 336 3022 0 0 0 0 46 3 16 0 1 0 310417846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6128/statm: 1339 239 197 169 0 50 0
[pid=6134] ppid=6128 vsize=7976 CPUtime=5.79
/proc/6134/stat : 6134 (minisat_static) R 6128 6128 6021 0 -1 4194304 1746 0 0 0 578 1 0 0 25 0 1 0 310417895 8167424 1732 1992294400 134512640 135215339 4294956240 18446744073709551615 134528583 0 0 4096 3 0 0 0 17 1 0 0
/proc/6134/statm: 1994 1732 77 171 0 1821 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 13332

[startup+12.7028 s]
/proc/loadavg: 1.00 1.00 1.03 2/66 6134
/proc/meminfo: memFree=1824744/2055920 swapFree=4180392/4192956
[pid=6128] ppid=6126 vsize=5356 CPUtime=0.49
/proc/6128/stat : 6128 (SatELiteGTI) S 6126 6128 6021 0 -1 4194304 336 3022 0 0 0 0 46 3 16 0 1 0 310417846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6128/statm: 1339 239 197 169 0 50 0
[pid=6134] ppid=6128 vsize=11440 CPUtime=12.19
/proc/6134/stat : 6134 (minisat_static) R 6128 6128 6021 0 -1 4194304 2635 0 0 0 1218 1 0 0 25 0 1 0 310417895 11714560 2621 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6134/statm: 2860 2621 77 171 0 2687 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 16796

[startup+25.502 s]
/proc/loadavg: 1.00 1.00 1.03 2/66 6134
/proc/meminfo: memFree=1818920/2055920 swapFree=4180392/4192956
[pid=6128] ppid=6126 vsize=5356 CPUtime=0.49
/proc/6128/stat : 6128 (SatELiteGTI) S 6126 6128 6021 0 -1 4194304 336 3022 0 0 0 0 46 3 16 0 1 0 310417846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6128/statm: 1339 239 197 169 0 50 0
[pid=6134] ppid=6128 vsize=17064 CPUtime=24.99
/proc/6134/stat : 6134 (minisat_static) R 6128 6128 6021 0 -1 4194304 4034 0 0 0 2496 3 0 0 25 0 1 0 310417895 17473536 4020 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/6134/statm: 4266 4020 77 171 0 4093 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 22420

[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.02 2/66 6134
/proc/meminfo: memFree=1811240/2055920 swapFree=4180392/4192956
[pid=6128] ppid=6126 vsize=5356 CPUtime=0.49
/proc/6128/stat : 6128 (SatELiteGTI) S 6126 6128 6021 0 -1 4194304 336 3022 0 0 0 0 46 3 16 0 1 0 310417846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6128/statm: 1339 239 197 169 0 50 0
[pid=6134] ppid=6128 vsize=24844 CPUtime=50.58
/proc/6134/stat : 6134 (minisat_static) R 6128 6128 6021 0 -1 4194304 5974 0 0 0 5052 6 0 0 25 0 1 0 310417895 25440256 5960 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6134/statm: 6211 5960 77 171 0 6038 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 30200

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.02 2/66 6134
/proc/meminfo: memFree=1801256/2055920 swapFree=4180392/4192956
[pid=6128] ppid=6126 vsize=5356 CPUtime=0.49
/proc/6128/stat : 6128 (SatELiteGTI) S 6126 6128 6021 0 -1 4194304 336 3022 0 0 0 0 46 3 16 0 1 0 310417846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6128/statm: 1339 239 197 169 0 50 0
[pid=6134] ppid=6128 vsize=34680 CPUtime=101.76
/proc/6134/stat : 6134 (minisat_static) R 6128 6128 6021 0 -1 4194304 8431 0 0 0 10167 9 0 0 25 0 1 0 310417895 35512320 8417 1992294400 134512640 135215339 4294956240 18446744073709551615 134528846 0 0 4096 3 0 0 0 17 1 0 0
/proc/6134/statm: 8670 8417 77 171 0 8497 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 40036

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.01 2/66 6134
/proc/meminfo: memFree=1799976/2055920 swapFree=4180392/4192956
[pid=6128] ppid=6126 vsize=5356 CPUtime=0.49
/proc/6128/stat : 6128 (SatELiteGTI) S 6126 6128 6021 0 -1 4194304 336 3022 0 0 0 0 46 3 16 0 1 0 310417846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6128/statm: 1339 239 197 169 0 50 0
[pid=6134] ppid=6128 vsize=36144 CPUtime=161.74
/proc/6134/stat : 6134 (minisat_static) R 6128 6128 6021 0 -1 4194304 8779 0 0 0 16164 10 0 0 25 0 1 0 310417895 37011456 8765 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6134/statm: 9036 8765 77 171 0 8863 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 41500

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.01 2/66 6134
/proc/meminfo: memFree=1798248/2055920 swapFree=4180392/4192956
[pid=6128] ppid=6126 vsize=5356 CPUtime=0.49
/proc/6128/stat : 6128 (SatELiteGTI) S 6126 6128 6021 0 -1 4194304 336 3022 0 0 0 0 46 3 16 0 1 0 310417846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6128/statm: 1339 239 197 169 0 50 0
[pid=6134] ppid=6128 vsize=37728 CPUtime=221.72
/proc/6134/stat : 6134 (minisat_static) R 6128 6128 6021 0 -1 4194304 9174 0 0 0 22161 11 0 0 25 0 1 0 310417895 38633472 9160 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6134/statm: 9432 9160 77 171 0 9259 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 43084

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6134
/proc/meminfo: memFree=1796584/2055920 swapFree=4180392/4192956
[pid=6128] ppid=6126 vsize=5356 CPUtime=0.49
/proc/6128/stat : 6128 (SatELiteGTI) S 6126 6128 6021 0 -1 4194304 336 3022 0 0 0 0 46 3 16 0 1 0 310417846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6128/statm: 1339 239 197 169 0 50 0
[pid=6134] ppid=6128 vsize=39180 CPUtime=281.69
/proc/6134/stat : 6134 (minisat_static) R 6128 6128 6021 0 -1 4194304 9563 0 0 0 28157 12 0 0 25 0 1 0 310417895 40120320 9549 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/6134/statm: 9795 9549 77 171 0 9622 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 44536

[startup+342.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6134
/proc/meminfo: memFree=1796392/2055920 swapFree=4180392/4192956
[pid=6128] ppid=6126 vsize=5356 CPUtime=0.49
/proc/6128/stat : 6128 (SatELiteGTI) S 6126 6128 6021 0 -1 4194304 336 3022 0 0 0 0 46 3 16 0 1 0 310417846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6128/statm: 1339 239 197 169 0 50 0
[pid=6134] ppid=6128 vsize=39328 CPUtime=341.67
/proc/6134/stat : 6134 (minisat_static) R 6128 6128 6021 0 -1 4194304 9592 0 0 0 34155 12 0 0 25 0 1 0 310417895 40271872 9578 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/6134/statm: 9832 9578 77 171 0 9659 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 44684

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6134
/proc/meminfo: memFree=1796200/2055920 swapFree=4180392/4192956
[pid=6128] ppid=6126 vsize=5356 CPUtime=0.49
/proc/6128/stat : 6128 (SatELiteGTI) S 6126 6128 6021 0 -1 4194304 336 3022 0 0 0 0 46 3 16 0 1 0 310417846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6128/statm: 1339 239 197 169 0 50 0
[pid=6134] ppid=6128 vsize=39476 CPUtime=401.65
/proc/6134/stat : 6134 (minisat_static) R 6128 6128 6021 0 -1 4194304 9630 0 0 0 40152 13 0 0 25 0 1 0 310417895 40423424 9616 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/6134/statm: 9869 9616 77 171 0 9696 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 44832

[startup+462.302 s]

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

[pid=6134] ppid=6128 vsize=39656 CPUtime=521.6
/proc/6134/stat : 6134 (minisat_static) R 6128 6128 6021 0 -1 4194304 9647 0 0 0 52147 13 0 0 25 0 1 0 310417895 40607744 9633 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6134/statm: 9914 9633 77 171 0 9741 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 45012

[startup+582.301 s]
/proc/loadavg: 1.10 1.03 1.00 2/66 6134
/proc/meminfo: memFree=1796072/2055920 swapFree=4180392/4192956
[pid=6128] ppid=6126 vsize=5356 CPUtime=0.49
/proc/6128/stat : 6128 (SatELiteGTI) S 6126 6128 6021 0 -1 4194304 336 3022 0 0 0 0 46 3 16 0 1 0 310417846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6128/statm: 1339 239 197 169 0 50 0
[pid=6134] ppid=6128 vsize=39656 CPUtime=581.58
/proc/6134/stat : 6134 (minisat_static) R 6128 6128 6021 0 -1 4194304 9648 0 0 0 58144 14 0 0 25 0 1 0 310417895 40607744 9634 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/6134/statm: 9914 9634 77 171 0 9741 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 45012

[startup+642.303 s]
/proc/loadavg: 1.22 1.07 1.01 2/66 6140
/proc/meminfo: memFree=1795752/2055920 swapFree=4180392/4192956
[pid=6128] ppid=6126 vsize=5356 CPUtime=0.49
/proc/6128/stat : 6128 (SatELiteGTI) S 6126 6128 6021 0 -1 4194304 336 3022 0 0 0 0 46 3 16 0 1 0 310417846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6128/statm: 1339 239 197 169 0 50 0
[pid=6134] ppid=6128 vsize=39656 CPUtime=641.56
/proc/6134/stat : 6134 (minisat_static) R 6128 6128 6021 0 -1 4194304 9668 0 0 0 64142 14 0 0 25 0 1 0 310417895 40607744 9654 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/6134/statm: 9914 9654 77 171 0 9741 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 45012

[startup+702.301 s]
/proc/loadavg: 1.15 1.07 1.01 2/66 6140
/proc/meminfo: memFree=1795752/2055920 swapFree=4180392/4192956
[pid=6128] ppid=6126 vsize=5356 CPUtime=0.49
/proc/6128/stat : 6128 (SatELiteGTI) S 6126 6128 6021 0 -1 4194304 336 3022 0 0 0 0 46 3 16 0 1 0 310417846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6128/statm: 1339 239 197 169 0 50 0
[pid=6134] ppid=6128 vsize=39656 CPUtime=701.53
/proc/6134/stat : 6134 (minisat_static) R 6128 6128 6021 0 -1 4194304 9668 0 0 0 70139 14 0 0 25 0 1 0 310417895 40607744 9654 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/6134/statm: 9914 9654 77 171 0 9741 0
Current children cumulated CPU time (s) 702.02
Current children cumulated vsize (KiB) 45012

[startup+762.306 s]
/proc/loadavg: 1.05 1.05 1.01 2/66 6140
/proc/meminfo: memFree=1795752/2055920 swapFree=4180392/4192956
[pid=6128] ppid=6126 vsize=5356 CPUtime=0.49
/proc/6128/stat : 6128 (SatELiteGTI) S 6126 6128 6021 0 -1 4194304 336 3022 0 0 0 0 46 3 16 0 1 0 310417846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6128/statm: 1339 239 197 169 0 50 0
[pid=6134] ppid=6128 vsize=39656 CPUtime=761.51
/proc/6134/stat : 6134 (minisat_static) R 6128 6128 6021 0 -1 4194304 9668 0 0 0 76137 14 0 0 25 0 1 0 310417895 40607744 9654 1992294400 134512640 135215339 4294956240 18446744073709551615 134532721 0 0 4096 3 0 0 0 17 1 0 0
/proc/6134/statm: 9914 9654 77 171 0 9741 0
Current children cumulated CPU time (s) 762
Current children cumulated vsize (KiB) 45012

[startup+822.301 s]
/proc/loadavg: 1.02 1.04 1.00 2/66 6140
/proc/meminfo: memFree=1795752/2055920 swapFree=4180392/4192956
[pid=6128] ppid=6126 vsize=5356 CPUtime=0.49
/proc/6128/stat : 6128 (SatELiteGTI) S 6126 6128 6021 0 -1 4194304 336 3022 0 0 0 0 46 3 16 0 1 0 310417846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6128/statm: 1339 239 197 169 0 50 0
[pid=6134] ppid=6128 vsize=39656 CPUtime=821.49
/proc/6134/stat : 6134 (minisat_static) R 6128 6128 6021 0 -1 4194304 9668 0 0 0 82134 15 0 0 25 0 1 0 310417895 40607744 9654 1992294400 134512640 135215339 4294956240 18446744073709551615 134528858 0 0 4096 3 0 0 0 17 1 0 0
/proc/6134/statm: 9914 9654 77 171 0 9741 0
Current children cumulated CPU time (s) 821.98
Current children cumulated vsize (KiB) 45012

[startup+882.302 s]
/proc/loadavg: 1.00 1.03 1.00 2/66 6140
/proc/meminfo: memFree=1795752/2055920 swapFree=4180392/4192956
[pid=6128] ppid=6126 vsize=5356 CPUtime=0.49
/proc/6128/stat : 6128 (SatELiteGTI) S 6126 6128 6021 0 -1 4194304 336 3022 0 0 0 0 46 3 16 0 1 0 310417846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6128/statm: 1339 239 197 169 0 50 0
[pid=6134] ppid=6128 vsize=39656 CPUtime=881.47
/proc/6134/stat : 6134 (minisat_static) R 6128 6128 6021 0 -1 4194304 9678 0 0 0 88132 15 0 0 25 0 1 0 310417895 40607744 9664 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/6134/statm: 9914 9664 77 171 0 9741 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 45012

[startup+942.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 6140
/proc/meminfo: memFree=1795624/2055920 swapFree=4180392/4192956
[pid=6128] ppid=6126 vsize=5356 CPUtime=0.49
/proc/6128/stat : 6128 (SatELiteGTI) S 6126 6128 6021 0 -1 4194304 336 3022 0 0 0 0 46 3 16 0 1 0 310417846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6128/statm: 1339 239 197 169 0 50 0
[pid=6134] ppid=6128 vsize=39856 CPUtime=941.45
/proc/6134/stat : 6134 (minisat_static) R 6128 6128 6021 0 -1 4194304 9697 0 0 0 94130 15 0 0 25 0 1 0 310417895 40812544 9683 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6134/statm: 9964 9683 77 171 0 9791 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 45212

[startup+1002.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 6140
/proc/meminfo: memFree=1795624/2055920 swapFree=4180392/4192956
[pid=6128] ppid=6126 vsize=5356 CPUtime=0.49
/proc/6128/stat : 6128 (SatELiteGTI) S 6126 6128 6021 0 -1 4194304 336 3022 0 0 0 0 46 3 16 0 1 0 310417846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6128/statm: 1339 239 197 169 0 50 0
[pid=6134] ppid=6128 vsize=39856 CPUtime=1001.42
/proc/6134/stat : 6134 (minisat_static) R 6128 6128 6021 0 -1 4194304 9697 0 0 0 100127 15 0 0 25 0 1 0 310417895 40812544 9683 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6134/statm: 9964 9683 77 171 0 9791 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 45212

[startup+1062.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 6140
/proc/meminfo: memFree=1795624/2055920 swapFree=4180392/4192956
[pid=6128] ppid=6126 vsize=5356 CPUtime=0.49
/proc/6128/stat : 6128 (SatELiteGTI) S 6126 6128 6021 0 -1 4194304 336 3022 0 0 0 0 46 3 16 0 1 0 310417846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6128/statm: 1339 239 197 169 0 50 0
[pid=6134] ppid=6128 vsize=39856 CPUtime=1061.4
/proc/6134/stat : 6134 (minisat_static) R 6128 6128 6021 0 -1 4194304 9697 0 0 0 106124 16 0 0 25 0 1 0 310417895 40812544 9683 1992294400 134512640 135215339 4294956240 18446744073709551615 134532596 0 0 4096 3 0 0 0 17 1 0 0
/proc/6134/statm: 9964 9683 77 171 0 9791 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 45212

[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 6140
/proc/meminfo: memFree=1795624/2055920 swapFree=4180392/4192956
[pid=6128] ppid=6126 vsize=5356 CPUtime=0.49
/proc/6128/stat : 6128 (SatELiteGTI) S 6126 6128 6021 0 -1 4194304 336 3022 0 0 0 0 46 3 16 0 1 0 310417846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6128/statm: 1339 239 197 169 0 50 0
[pid=6134] ppid=6128 vsize=39856 CPUtime=1121.38
/proc/6134/stat : 6134 (minisat_static) R 6128 6128 6021 0 -1 4194304 9697 0 0 0 112122 16 0 0 25 0 1 0 310417895 40812544 9683 1992294400 134512640 135215339 4294956240 18446744073709551615 134538130 0 0 4096 3 0 0 0 17 1 0 0
/proc/6134/statm: 9964 9683 77 171 0 9791 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 45212

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6140
/proc/meminfo: memFree=1795496/2055920 swapFree=4180392/4192956
[pid=6128] ppid=6126 vsize=5356 CPUtime=0.49
/proc/6128/stat : 6128 (SatELiteGTI) S 6126 6128 6021 0 -1 4194304 336 3022 0 0 0 0 46 3 16 0 1 0 310417846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6128/statm: 1339 239 197 169 0 50 0
[pid=6134] ppid=6128 vsize=39856 CPUtime=1181.36
/proc/6134/stat : 6134 (minisat_static) R 6128 6128 6021 0 -1 4194304 9697 0 0 0 118120 16 0 0 25 0 1 0 310417895 40812544 9683 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/6134/statm: 9964 9683 77 171 0 9791 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 45212



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6140
/proc/meminfo: memFree=1795496/2055920 swapFree=4180392/4192956
[pid=6128] ppid=6126 vsize=5356 CPUtime=0.49
/proc/6128/stat : 6128 (SatELiteGTI) S 6126 6128 6021 0 -1 4194304 336 3022 0 0 0 0 46 3 16 0 1 0 310417846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6128/statm: 1339 239 197 169 0 50 0
[pid=6134] ppid=6128 vsize=39856 CPUtime=1199.55
/proc/6134/stat : 6134 (minisat_static) R 6128 6128 6021 0 -1 4194304 9697 0 0 0 119939 16 0 0 25 0 1 0 310417895 40812544 9683 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/6134/statm: 9964 9683 77 171 0 9791 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 45212

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

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

[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6140
/proc/meminfo: memFree=1795496/2055920 swapFree=4180392/4192956
[pid=6128] ppid=6126 vsize=5356 CPUtime=0.49
/proc/6128/stat : 6128 (SatELiteGTI) S 6126 6128 6021 0 -1 4194304 336 3022 0 0 0 0 46 3 16 0 1 0 310417846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6128/statm: 1339 239 197 169 0 50 0
[pid=6134] ppid=6128 vsize=39856 CPUtime=1199.55
/proc/6134/stat : 6134 (minisat_static) R 6128 6128 6021 0 -1 4194304 9697 0 0 0 119939 16 0 0 25 0 1 0 310417895 40812544 9683 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/6134/statm: 9964 9683 77 171 0 9791 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 45212

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.51
CPU time (s): 1200.07
CPU user time (s): 1199.86
CPU system time (s): 0.205968
CPU usage (%): 99.9627
Max. virtual memory (cumulated for all children) (KiB): 45212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.86
system time used= 0.205968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13064
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= 26
involuntary context switches= 2840

runsolver used 1.40479 second user time and 3.03454 second system time

The end

Launcher Data 

Begin job on node18 at 2009-05-20 14:50:46
IDJOB=1833605
IDBENCH=70780
IDSOLVER=671
FILE ID=node18/1833605-1242823846
PBS_JOBID= 9322496
Free space on /tmp= 66236 MiB

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

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

MD5SUM BENCH= 5bb6e70c95bda454f634cd586084908b
RANDOM SEED=1002462073

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1837640 kB
Buffers:         48652 kB
Cached:         122012 kB
SwapCached:       6680 kB
Active:          76688 kB
Inactive:       102248 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1837640 kB
SwapTotal:     4192956 kB
SwapFree:      4180392 kB
Dirty:            2456 kB
Writeback:           0 kB
Mapped:          13560 kB
Slab:            25408 kB
Committed_AS:  1088688 kB
PageTables:       1376 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66232 MiB
End job on node18 at 2009-05-20 15:10:48