Trace number 1820998

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-18UNSAT 203.27 203.291

General information on the benchmark

NameAPPLICATIONS/bitverif/countbitswegner/
countbitswegner064.cnf
MD5SUM1a0b22841159d2c84fdcb857229ffa08
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark203.27
Satisfiable
(Un)Satisfiability was proved
Number of variables24448
Number of clauses73151
Sum of the clauses size170683
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 248766
Number of clauses of size 324383
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.06	c ==============================================================================
0.00/0.06	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.06	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.06	c ==============================================================================
0.00/0.06	c |         0 |   73149   170681 |   21944       0        0     nan |  0.000 % |
0.72/0.72	c |         0 |   42312   121394 |      --       0       --      -- |     --   | -30835/-49282
0.72/0.72	c ==============================================================================
0.72/0.72	c Result  :   #vars: 9180   #clauses: 42312   #literals: 121394
0.72/0.72	c CPU time:   0.7 s
0.72/0.72	c ==============================================================================
0.72/0.76	c This is MiniSat 2.0 beta
0.72/0.76	c WARNING: for repeatability, setting FPU to use double precision
0.72/0.76	c ============================[ Problem Statistics ]=============================
0.72/0.76	c |                                                                             |
0.72/0.76	c |  Number of variables:  9180                                                 |
0.72/0.76	c |  Number of clauses:    42312                                                |
0.72/0.79	c |  Parsing time:         0.03         s                                       |
0.72/0.79	c ============================[ Search Statistics ]==============================
0.72/0.79	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.72/0.79	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.72/0.79	c ===============================================================================
0.72/0.79	c |         0 |    9180    42312   121394 |    14104        0    nan |  0.000 % |
0.77/0.82	c |       101 |    9177    42312   121394 |    14104       98     13 |  1.068 % |
0.77/0.84	c |       203 |    9177    42312   121394 |    14104      200     37 |  1.072 % |
0.77/0.89	c |       303 |    8902    40956   117261 |    14104      284     30 |  3.660 % |
0.77/0.91	c |       413 |    8902    40956   117261 |    14104      394     29 |  3.660 % |
0.77/0.94	c |       513 |    8729    40122   114772 |    14104      477     25 |  6.438 % |
0.77/0.97	c |       624 |    8728    40122   114772 |    14104      588     31 |  6.438 % |
0.77/0.98	c |       746 |    8728    40122   114772 |    14104      710     30 |  6.438 % |
0.77/1.00	c |       846 |    8728    40122   114772 |    14104      810     28 |  6.438 % |
0.77/1.01	c |       959 |    8589    39413   112648 |    14104      920     27 |  6.438 % |
0.77/1.05	c |      1080 |    8589    39413   112648 |    14104     1041     30 |  6.438 % |
0.77/1.08	c |      1214 |    8589    39413   112648 |    14104     1174     28 |  6.492 % |
0.77/1.11	c |      1316 |    8583    39383   112563 |    14104     1275     29 |  6.505 % |
1.12/1.13	c |      1426 |    8583    39383   112563 |    14104     1385     32 |  6.503 % |
1.12/1.15	c |      1551 |    8583    39383   112563 |    14104     1510     30 |  6.503 % |
1.12/1.20	c |      1684 |    8583    39383   112563 |    14104     1643     32 |  6.503 % |
1.23/1.22	c |      1830 |    8520    39378   112548 |    14104     1767     30 | 12.211 % |
1.23/1.25	c |      1930 |    8517    39378   112548 |    14104     1864     30 | 12.854 % |
1.23/1.25	c |      2041 |    8517    39378   112548 |    14104     1975     29 | 12.854 % |
1.23/1.28	c |      2163 |    8517    39378   112548 |    14104     2097     28 | 12.854 % |
1.32/1.32	c |      2296 |    7998    36553   104140 |    14104     2186     29 | 12.919 % |
1.32/1.33	c |      2442 |    7998    36553   104140 |    14104     2332     28 | 12.919 % |
1.32/1.35	c |      2602 |    7998    36553   104140 |    14104     2492     28 | 12.919 % |
1.32/1.37	c |      2702 |    7998    36553   104140 |    14104     2592     29 | 12.919 % |
1.32/1.38	c |      2814 |    7998    36553   104140 |    14104     2704     29 | 12.919 % |
1.32/1.39	c |      2938 |    7998    36553   104140 |    14104     2828     28 | 12.919 % |
1.42/1.41	c |      3071 |    7994    36526   104059 |    14104     2961     28 | 12.919 % |
1.42/1.43	c |      3218 |    7943    36526   104059 |    14104     3086     27 | 15.174 % |
1.42/1.44	c |      3380 |    7856    36526   104059 |    14104     3239     26 | 15.676 % |
1.42/1.47	c |      3557 |    7850    36526   104059 |    14104     3414     26 | 16.732 % |
1.42/1.48	c |      3657 |    7850    36526   104059 |    14104     3514     26 | 16.732 % |
1.42/1.51	c |      3767 |    7644    34699    98682 |    14104     3516     27 | 16.732 % |
1.52/1.51	c |      3889 |    7644    34699    98682 |    14104     3638     27 | 16.732 % |
1.52/1.54	c |      4026 |    7644    34699    98682 |    14104     3775     27 | 16.732 % |
1.52/1.56	c |      4172 |    7644    34699    98682 |    14104     3921     27 | 16.732 % |
1.52/1.58	c |      4332 |    7644    34699    98682 |    14104     4081     27 | 16.735 % |
1.62/1.64	c |      4509 |    7644    34699    98682 |    14104     4258     27 | 16.732 % |
1.62/1.69	c |      4702 |    7644    34699    98682 |    14104     4451     28 | 16.732 % |
1.62/1.70	c |      4805 |    7644    34699    98682 |    14104     4554     28 | 16.732 % |
1.72/1.72	c |      4917 |    7644    34699    98682 |    14104     4666     27 | 16.732 % |
1.72/1.75	c |      5038 |    7644    34699    98682 |    14104     4787     27 | 16.732 % |
1.72/1.80	c |      5171 |    7597    34498    98069 |    14104     4917     28 | 17.723 % |
1.81/1.82	c |      5318 |    7597    34498    98069 |    14104     5064     28 | 17.723 % |
1.81/1.83	c |      5479 |    7597    34498    98069 |    14104     5225     28 | 17.726 % |
1.81/1.89	c |      5655 |    7597    34498    98069 |    14104     5401     29 | 17.723 % |
1.91/1.91	c |      5848 |    7597    34498    98069 |    14104     5594     29 | 17.723 % |
1.91/1.96	c |      6060 |    7597    34498    98069 |    14104     5806     30 | 17.723 % |
1.91/1.99	c |      6160 |    7548    34308    97499 |    14104     5892     30 | 19.412 % |
1.91/2.00	c |      6271 |    7541    34308    97499 |    14104     6003     29 | 19.412 % |
1.91/2.00	c |      6393 |    7541    34308    97499 |    14104     6125     29 | 19.412 % |
2.01/2.02	c |      6526 |    7541    34308    97499 |    14104     6258     29 | 19.412 % |
2.01/2.06	c |      6673 |    7541    34308    97499 |    14104     6405     29 | 19.412 % |
2.01/2.09	c |      6833 |    7537    34308    97499 |    14104     6563     29 | 20.664 % |
2.11/2.16	c |      7010 |    7537    34308    97499 |    14104     6740     30 | 20.666 % |
2.21/2.22	c |      7204 |    7073    32467    92021 |    14104     6819     30 | 24.488 % |
2.21/2.28	c |      7416 |    7073    32467    92021 |    14104     7031     32 | 24.488 % |
2.21/2.30	c |      7662 |    7073    32467    92021 |    14104     7277     32 | 24.488 % |
2.32/2.33	c |      7763 |    7073    32467    92021 |    14104     7378     32 | 24.488 % |
2.32/2.34	c |      7873 |    7073    32467    92021 |    14104     7488     32 | 24.488 % |
2.32/2.35	c |      7996 |    7073    32467    92021 |    14104     7611     31 | 24.488 % |
2.32/2.36	c |      8130 |    7073    32467    92021 |    14104     7745     31 | 24.490 % |
2.32/2.36	c |      8276 |    7073    32467    92021 |    14104     7891     31 | 24.488 % |
2.32/2.40	c |      8437 |    7073    32467    92021 |    14104     8052     31 | 24.488 % |
2.41/2.43	c |      8614 |    6931    31300    88562 |    14104     8210     31 | 24.597 % |
2.41/2.45	c |      8811 |    6931    31300    88562 |    14104     8407     31 | 24.597 % |
2.41/2.51	c |      9023 |    6931    31300    88562 |    14104     8619     32 | 24.597 % |
2.51/2.54	c |      9256 |    6930    31300    88562 |    14104     8851     32 | 24.644 % |
2.61/2.67	c |      9516 |    6930    31300    88562 |    14104     9111     33 | 24.641 % |
2.61/2.69	c |      9616 |    6926    31300    88562 |    14104     9205     33 | 25.251 % |
2.71/2.71	c |      9728 |    6917    31300    88562 |    14104     9315     33 | 25.436 % |
2.71/2.74	c |      9849 |    6800    30921    87419 |    14104     9386     33 | 30.708 % |
2.71/2.75	c |      9982 |    6800    30921    87419 |    14104     9519     33 | 30.708 % |
2.71/2.77	c |     10128 |    6800    30921    87419 | 2147483647     9665     33 | 30.708 % |
2.71/2.79	c |     10289 |    6800    30921    87419 | 2147483647     9826     33 | 30.708 % |
2.71/2.80	c |     10465 |    6800    30921    87419 | 2147483647    10002     33 | 30.708 % |
2.81/2.87	c |     10658 |    6800    30921    87419 | 2147483647    10195     33 | 30.708 % |
2.91/2.93	c |     10871 |    6800    30921    87419 | 2147483647    10408     34 | 30.708 % |
2.91/2.95	c |     11105 |    6800    30921    87419 | 2147483647    10642     33 | 30.710 % |
3.01/3.01	c |     11361 |    6800    30921    87419 | 2147483647    10898     34 | 30.709 % |
3.01/3.04	c |     11643 |    6800    30921    87419 | 2147483647    11180     34 | 30.710 % |
3.01/3.05	c |     11743 |    6800    30921    87419 | 2147483647    11280     34 | 30.711 % |
3.01/3.05	c |     11855 |    6800    30921    87419 | 2147483647    11392     33 | 30.708 % |
3.11/3.11	c |     11976 |    6800    30921    87419 | 2147483647    11513     34 | 30.708 % |
3.11/3.12	c |     12110 |    6800    30921    87419 | 2147483647    11647     34 | 30.708 % |
3.11/3.17	c |     12256 |    6361    28689    80746 | 2147483647    11744     34 | 30.708 % |
3.11/3.19	c |     12420 |    6361    28689    80746 | 2147483647    11908     34 | 30.708 % |
3.11/3.20	c |     12597 |    6361    28689    80746 | 2147483647    12085     34 | 30.708 % |
3.21/3.29	c |     12791 |    6361    28689    80746 | 2147483647    12279     35 | 30.708 % |
3.31/3.31	c |     13006 |    6361    28689    80746 | 2147483647    12494     34 | 30.708 % |
3.31/3.39	c |     13239 |    6361    28689    80746 | 2147483647    12727     35 | 30.708 % |
3.42/3.42	c |     13495 |    6361    28689    80746 | 2147483647    12983     35 | 30.710 % |
3.42/3.47	c |     13776 |    6361    28689    80746 | 2147483647    13264     35 | 30.708 % |
3.51/3.53	c |     14087 |    6361    28689    80746 | 2147483647    13575     35 | 30.708 % |
3.51/3.56	c |     14188 |    6361    28689    80746 | 2147483647    13676     35 | 30.708 % |
3.51/3.58	c |     14298 |    6361    28689    80746 | 2147483647    13786     35 | 30.708 % |
3.51/3.60	c |     14419 |    6361    28689    80746 | 2147483647    13907     35 | 30.708 % |
3.61/3.61	c |     14552 |    6361    28689    80746 | 2147483647    14040     34 | 30.708 % |
3.61/3.66	c |     14698 |    6361    28689    80746 | 2147483647    14186     35 | 30.708 % |
3.61/3.69	c |     14858 |    6361    28689    80746 | 2147483647    14346     35 | 30.708 % |
3.71/3.74	c |     15037 |    6361    28689    80746 | 2147483647    14525     35 | 30.710 % |
3.71/3.77	c |     15230 |    6168    28480    80118 | 2147483647    14684     35 | 33.420 % |
3.81/3.84	c |     15444 |    6167    28480    80118 | 2147483647    14896     35 | 34.172 % |
3.81/3.89	c |     15677 |    6167    28480    80118 | 2147483647    15129     35 | 34.172 % |
3.91/3.94	c |     15933 |    6167    28480    80118 | 2147483647    15385     35 | 34.172 % |
4.01/4.07	c |     16214 |    6167    28480    80118 | 2147483647    15666     35 | 34.172 % |
4.11/4.14	c |     16524 |    6164    28480    80118 | 2147483647    15972     35 | 34.379 % |
4.21/4.27	c |     16863 |    6164    28480    80118 | 2147483647    16311     37 | 34.379 % |
4.21/4.29	c |     16964 |    6164    28480    80118 | 2147483647    16412     37 | 34.379 % |
4.31/4.32	c |     17077 |    6024    27079    75941 | 2147483647    16363     37 | 34.379 % |
4.31/4.34	c |     17198 |    5967    27079    75941 | 2147483647    16471     37 | 36.057 % |
4.31/4.36	c |     17332 |    5967    27079    75941 | 2147483647    16605     37 | 36.057 % |
4.31/4.41	c |     17478 |    5967    27079    75941 | 2147483647    16751     37 | 36.057 % |
4.41/4.42	c |     17640 |    5967    27079    75941 | 2147483647    16913     37 | 36.057 % |
4.41/4.44	c |     17816 |    5967    27079    75941 | 2147483647    17089     37 | 36.057 % |
4.41/4.50	c |     18010 |    5967    27079    75941 | 2147483647    17283     38 | 36.057 % |
4.52/4.57	c |     18222 |    5961    27079    75941 | 2147483647    17488     38 | 44.553 % |
4.52/4.59	c |     18455 |    5961    27079    75941 | 2147483647    17721     38 | 44.553 % |
4.61/4.67	c |     18715 |    5961    27079    75941 | 2147483647    17981     38 | 44.553 % |
4.71/4.78	c |     18998 |    5961    27079    75941 | 2147483647    18264     38 | 44.554 % |
4.81/4.83	c |     19310 |    5961    27079    75941 | 2147483647    18576     38 | 44.553 % |
4.91/4.92	c |     19649 |    5961    27079    75941 | 2147483647    18915     38 | 44.553 % |
4.91/4.97	c |     20024 |    5961    27079    75941 | 2147483647    19290     38 | 44.553 % |
5.01/5.02	c |     20124 |    5090    22909    63452 | 2147483647    19003     38 | 44.553 % |
5.01/5.03	c |     20234 |    5090    22909    63452 | 2147483647    19113     38 | 44.553 % |
5.01/5.06	c |     20355 |    5090    22909    63452 | 2147483647    19234     38 | 44.553 % |
5.01/5.08	c |     20489 |    5090    22909    63452 | 2147483647    19368     38 | 44.553 % |
5.01/5.09	c |     20635 |    5090    22909    63452 | 2147483647    19514     38 | 44.553 % |
5.11/5.14	c |     20797 |    5090    22909    63452 | 2147483647    19676     38 | 44.553 % |
5.11/5.19	c |     20974 |    5090    22909    63452 | 2147483647    19853     38 | 44.553 % |
5.21/5.21	c |     21169 |    5090    22909    63452 | 2147483647    20048     38 | 44.553 % |
5.21/5.27	c |     21382 |    5090    22909    63452 | 2147483647    20261     38 | 44.553 % |
5.31/5.32	c |     21616 |    5086    22909    63452 | 2147483647    20493     38 | 44.815 % |
5.31/5.39	c |     21875 |    5086    22909    63452 | 2147483647    20752     38 | 44.815 % |
5.41/5.45	c |     22159 |    5086    22909    63452 | 2147483647    21036     38 | 44.815 % |
5.51/5.52	c |     22470 |    5086    22909    63452 | 2147483647    21347     37 | 44.815 % |
5.51/5.60	c |     22809 |    5086    22909    63452 | 2147483647    21686     38 | 44.815 % |
5.62/5.68	c |     23181 |    5086    22909    63452 | 2147483647    22058     37 | 44.815 % |
5.71/5.79	c |     23590 |    5066    22802    63124 | 2147483647    22462     38 | 44.815 % |
5.81/5.82	c |     23690 |    5066    22802    63124 | 2147483647    22558     38 | 46.101 % |
5.81/5.85	c |     23803 |    5046    22802    63124 | 2147483647    22665     38 | 46.461 % |
5.81/5.87	c |     23924 |    5021    22802    63124 | 2147483647    22786     37 | 46.460 % |
5.81/5.91	c |     24057 |    5021    22802    63124 | 2147483647    22919     38 | 46.461 % |
5.91/5.95	c |     24206 |    4963    22802    63124 | 2147483647    23058     37 | 47.539 % |
6.01/6.01	c |     24366 |    4963    22802    63124 | 2147483647    23218     38 | 47.538 % |
6.01/6.04	c |     24543 |    4963    22802    63124 | 2147483647    23395     38 | 47.538 % |
6.11/6.11	c |     24736 |    4963    22802    63124 | 2147483647    23588     38 | 47.538 % |
6.11/6.14	c |     24948 |    4963    22802    63124 | 2147483647    23800     38 | 47.538 % |
6.11/6.17	c |     25181 |    4963    22802    63124 | 2147483647    24033     38 | 47.538 % |
6.21/6.26	c |     25437 |    4963    22802    63124 | 2147483647    24289     38 | 47.538 % |
6.31/6.31	c |     25719 |    4963    22802    63124 | 2147483647    24571     38 | 47.538 % |
6.41/6.42	c |     26028 |    4963    22802    63124 | 2147483647    24880     39 | 47.539 % |
6.51/6.57	c |     26368 |    4963    22802    63124 | 2147483647    25220     39 | 47.538 % |
6.61/6.65	c |     26741 |    4963    22802    63124 | 2147483647    25593     39 | 47.538 % |
6.72/6.74	c |     27150 |    4963    22802    63124 | 2147483647    26002     39 | 47.538 % |
6.81/6.90	c |     27599 |    4816    21761    59956 | 2147483647    26323     39 | 47.538 % |
6.91/6.93	c |     27703 |    4816    21761    59956 | 2147483647    26427     39 | 47.539 % |
6.91/7.00	c |     27814 |    4816    21761    59956 | 2147483647    26538     39 | 47.538 % |
7.01/7.03	c |     27935 |    4816    21761    59956 | 2147483647    26659     39 | 47.540 % |
7.01/7.08	c |     28068 |    4816    21761    59956 | 2147483647    26792     39 | 47.539 % |
7.11/7.13	c |     28215 |    4816    21761    59956 | 2147483647    26939     39 | 47.538 % |
7.11/7.16	c |     28376 |    4816    21761    59956 | 2147483647    27100     39 | 47.538 % |
7.11/7.20	c |     28552 |    4816    21761    59956 | 2147483647    27276     39 | 47.538 % |
7.21/7.29	c |     28746 |    4782    21761    59956 | 2147483647    27468     39 | 48.322 % |
7.31/7.36	c |     28958 |    4782    21761    59956 | 2147483647    27680     40 | 48.323 % |
7.41/7.42	c |     29192 |    4782    21761    59956 | 2147483647    27914     39 | 48.322 % |
7.41/7.49	c |     29448 |    4782    21761    59956 | 2147483647    28170     40 | 48.322 % |
7.51/7.56	c |     29730 |    4782    21761    59956 | 2147483647    28452     40 | 48.323 % |
7.61/7.67	c |     30040 |    4782    21761    59956 | 2147483647    28762     40 | 48.324 % |
7.71/7.79	c |     30380 |    4781    21761    59956 | 2147483647    29101     40 | 48.834 % |
7.82/7.88	c |     30752 |    4776    21761    59956 | 2147483647    29473     41 | 48.834 % |
7.91/7.93	c |     31161 |    4776    21761    59956 | 2147483647    29882     40 | 48.834 % |
8.01/8.06	c |     31612 |    4776    21761    59956 | 2147483647    30333     41 | 48.834 % |
8.11/8.13	c |     32107 |    4697    21236    58285 | 2147483647    30712     41 | 48.834 % |
8.11/8.15	c |     32207 |    4697    21236    58285 | 2147483647    30812     41 | 48.835 % |
8.11/8.16	c |     32318 |    4697    21236    58285 | 2147483647    30923     41 | 48.834 % |
8.11/8.21	c |     32441 |    4697    21236    58285 | 2147483647    31046     41 | 48.835 % |
8.21/8.23	c |     32575 |    4697    21236    58285 | 2147483647    31180     41 | 48.835 % |
8.21/8.26	c |     32721 |    4695    21236    58285 | 2147483647    31325     41 | 48.987 % |
8.21/8.29	c |     32881 |    4695    21236    58285 | 2147483647    31485     41 | 48.987 % |
8.31/8.31	c |     33057 |    4695    21236    58285 | 2147483647    31660     41 | 48.998 % |
8.31/8.40	c |     33251 |    4694    21236    58285 | 2147483647    31854     41 | 48.998 % |
8.41/8.44	c |     33463 |    4694    21236    58285 | 2147483647    32066     41 | 48.998 % |
8.51/8.53	c |     33696 |    4694    21236    58285 | 2147483647    32299     41 | 48.998 % |
8.51/8.56	c |     33952 |    4694    21236    58285 | 2147483647    32555     41 | 48.998 % |
8.61/8.65	c |     34235 |    4694    21236    58285 | 2147483647    32838     41 | 48.998 % |
8.71/8.71	c |     34545 |    4694    21236    58285 | 2147483647    33148     41 | 48.998 % |
8.71/8.80	c |     34884 |    4694    21236    58285 | 2147483647    33487     41 | 48.999 % |
8.81/8.87	c |     35257 |    4694    21236    58285 | 2147483647    33860     41 | 48.998 % |
8.92/8.94	c |     35667 |    4694    21236    58285 | 2147483647    34270     40 | 48.998 % |
9.01/9.05	c |     36117 |    4694    21236    58285 | 2147483647    34720     41 | 48.999 % |
9.11/9.14	c |     36610 |    4694    21236    58285 | 2147483647    35213     40 | 48.998 % |
9.31/9.31	c |     37153 |    4694    21236    58285 | 2147483647    35756     41 | 48.998 % |
9.31/9.33	c |     37253 |    4694    21236    58285 | 2147483647    35856     41 | 48.998 % |
9.31/9.38	c |     37363 |    4694    21236    58285 | 2147483647    35966     41 | 48.998 % |
9.31/9.40	c |     37484 |    4694    21236    58285 | 2147483647    36087     41 | 48.998 % |
9.41/9.46	c |     37623 |    4694    21236    58285 | 2147483647    36226     41 | 48.998 % |
9.41/9.49	c |     37770 |    4694    21236    58285 | 2147483647    36373     41 | 48.998 % |
9.51/9.55	c |     37930 |    4694    21236    58285 | 2147483647    36533     41 | 48.998 % |
9.51/9.59	c |     38106 |    4694    21236    58285 | 2147483647    36709     41 | 48.998 % |
9.61/9.62	c |     38299 |    4694    21236    58285 | 2147483647    36902     41 | 48.998 % |
9.61/9.66	c |     38512 |    4694    21236    58285 | 2147483647    37115     41 | 48.998 % |
9.71/9.79	c |     38746 |    4694    21236    58285 | 2147483647    37349     42 | 48.998 % |
9.81/9.83	c |     39003 |    4694    21236    58285 | 2147483647    37606     42 | 48.998 % |
9.91/9.98	c |     39285 |    4694    21236    58285 | 2147483647    37888     44 | 48.998 % |
10.02/10.05	c |     39595 |    4694    21236    58285 | 2147483647    38198     44 | 48.998 % |
10.21/10.26	c |     39934 |    4682    21178    58076 | 2147483647    38503     46 | 48.998 % |
10.21/10.31	c |     40307 |    4682    21178    58076 | 2147483647    38876     45 | 48.998 % |
10.41/10.49	c |     40718 |    4682    21178    58076 | 2147483647    39287     46 | 48.998 % |
10.61/10.61	c |     41169 |    4682    21178    58076 | 2147483647    39738     46 | 48.998 % |
10.81/10.82	c |     41662 |    4682    21178    58076 | 2147483647    40231     47 | 48.999 % |
10.81/10.89	c |     42205 |    4682    21178    58076 | 2147483647    40774     47 | 48.998 % |
10.91/10.98	c |     42802 |    4682    21178    58076 | 2147483647    41371     47 | 48.999 % |
10.91/11.00	c |     42902 |    4682    21178    58076 | 2147483647    41471     47 | 48.998 % |
11.01/11.07	c |     43013 |    4682    21178    58076 | 2147483647    41582     47 | 48.998 % |
11.12/11.19	c |     43136 |    4682    21178    58076 | 2147483647    41703     47 | 49.172 % |
11.21/11.25	c |     43270 |    4677    21178    58076 | 2147483647    41834     47 | 49.248 % |
11.31/11.32	c |     43416 |    4677    21178    58076 | 2147483647    41980     48 | 49.249 % |
11.31/11.35	c |     43576 |    4677    21178    58076 | 2147483647    42140     48 | 49.248 % |
11.41/11.47	c |     43753 |    4676    21178    58076 | 2147483647    42316     48 | 49.336 % |
11.51/11.54	c |     43946 |    4676    21178    58076 | 2147483647    42509     48 | 49.336 % |
11.51/11.57	c |     44158 |    4676    21178    58076 | 2147483647    42721     48 | 49.336 % |
11.61/11.70	c |     44392 |    4676    21178    58076 | 2147483647    42955     49 | 49.336 % |
11.71/11.73	c |     44648 |    4676    21178    58076 | 2147483647    43211     49 | 49.338 % |
11.81/11.87	c |     44930 |    4676    21178    58076 | 2147483647    43493     50 | 49.336 % |
11.91/11.93	c |     45240 |    4676    21178    58076 | 2147483647    43803     50 | 49.336 % |
12.11/12.18	c |     45579 |    4676    21178    58076 | 2147483647    44142     51 | 49.336 % |
12.22/12.28	c |     45951 |    4664    21178    58076 | 2147483647    44508     51 | 49.499 % |
12.51/12.52	c |     46360 |    4664    21178    58076 | 2147483647    44917     52 | 49.499 % |
12.61/12.63	c |     46809 |    4664    21178    58076 | 2147483647    45366     52 | 49.500 % |
12.81/12.85	c |     47302 |    4659    21178    58076 | 2147483647    45857     52 | 49.586 % |
13.01/13.08	c |     47844 |    4659    21178    58076 | 2147483647    46399     53 | 49.586 % |
13.21/13.29	c |     48441 |    4659    21178    58076 | 2147483647    46996     53 | 49.586 % |
13.41/13.49	c |     49098 |    4659    21178    58076 | 2147483647    47653     52 | 49.586 % |
13.51/13.55	c |     49198 |    4659    21178    58076 | 2147483647    47753     52 | 49.586 % |
13.51/13.57	c |     49308 |    4659    21178    58076 | 2147483647    47863     52 | 49.586 % |
13.61/13.64	c |     49430 |    4659    21178    58076 | 2147483647    47985     52 | 49.586 % |
13.61/13.67	c |     49563 |    4659    21178    58076 | 2147483647    48118     52 | 49.586 % |
13.71/13.77	c |     49709 |    4659    21178    58076 | 2147483647    48264     53 | 49.586 % |
13.71/13.80	c |     49871 |    4659    21178    58076 | 2147483647    48426     53 | 49.586 % |
13.91/13.91	c |     50047 |    4659    21178    58076 | 2147483647    48602     53 | 49.586 % |
14.11/14.14	c |     50240 |    4627    20925    57313 | 2147483647    48730     53 | 49.782 % |
14.21/14.22	c |     50452 |    4627    20925    57313 | 2147483647    48942     53 | 49.782 % |
14.21/14.30	c |     50686 |    4627    20925    57313 | 2147483647    49176     53 | 49.782 % |
14.31/14.41	c |     50946 |    4627    20925    57313 | 2147483647    49436     53 | 49.782 % |
14.51/14.52	c |     51227 |    4622    20925    57313 | 2147483647    49714     53 | 49.858 % |
14.71/14.71	c |     51536 |    4622    20925    57313 | 2147483647    50023     53 | 49.859 % |
14.81/14.84	c |     51875 |    4612    20925    57313 | 2147483647    50358     53 | 49.989 % |
15.01/15.09	c |     52247 |    4612    20925    57313 | 2147483647    50730     55 | 49.989 % |
15.11/15.19	c |     52656 |    4612    20925    57313 | 2147483647    51139     54 | 49.989 % |
15.41/15.49	c |     53110 |    4612    20925    57313 | 2147483647    51593     56 | 49.989 % |
15.52/15.60	c |     53604 |    4612    20925    57313 | 2147483647    52087     55 | 49.989 % |
15.81/15.88	c |     54146 |    4611    20925    57313 | 2147483647    52627     56 | 50.022 % |
16.01/16.01	c |     54742 |    4609    20925    57313 | 2147483647    53223     56 | 50.022 % |
16.42/16.50	c |     55397 |    4609    20925    57313 | 2147483647    53878     58 | 50.022 % |
16.52/16.61	c |     56118 |    4609    20925    57313 | 2147483647    54599     58 | 50.022 % |
16.62/16.65	c |     56218 |    4609    20925    57313 | 2147483647    54699     58 | 50.022 % |
16.62/16.71	c |     56329 |    4609    20925    57313 | 2147483647    54810     58 | 50.022 % |
16.72/16.73	c |     56450 |    4609    20925    57313 | 2147483647    54931     58 | 50.022 % |
16.82/16.85	c |     56586 |    4609    20925    57313 | 2147483647    55067     58 | 50.022 % |
16.92/16.96	c |     56732 |    4609    20925    57313 | 2147483647    55213     58 | 50.022 % |
16.92/17.01	c |     56892 |    4609    20925    57313 | 2147483647    55373     58 | 50.022 % |
17.02/17.08	c |     57069 |    4609    20925    57313 | 2147483647    55550     58 | 50.022 % |
17.12/17.15	c |     57262 |    4609    20925    57313 | 2147483647    55743     58 | 50.022 % |
17.22/17.25	c |     57474 |    4609    20925    57313 | 2147483647    55955     58 | 50.022 % |
17.32/17.32	c |     57707 |    4609    20925    57313 | 2147483647    56188     58 | 50.022 % |
17.42/17.42	c |     57964 |    4609    20925    57313 | 2147483647    56445     58 | 50.022 % |
17.52/17.56	c |     58245 |    4609    20925    57313 | 2147483647    56726     58 | 50.022 % |
17.62/17.69	c |     58554 |    4609    20925    57313 | 2147483647    57035     58 | 50.022 % |
17.82/17.87	c |     58893 |    4609    20925    57313 | 2147483647    57374     58 | 50.022 % |
18.02/18.02	c |     59265 |    4609    20925    57313 | 2147483647    57746     58 | 50.022 % |
18.12/18.15	c |     59674 |    4609    20925    57313 | 2147483647    58155     58 | 50.022 % |
18.32/18.39	c |     60123 |    4609    20925    57313 | 2147483647    58604     58 | 50.022 % |
18.52/18.55	c |     60617 |    4609    20925    57313 | 2147483647    59098     58 | 50.022 % |
18.92/18.93	c |     61161 |    4609    20925    57313 | 2147483647    59642     60 | 50.022 % |
19.02/19.10	c |     61757 |    4609    20925    57313 | 2147483647    60238     60 | 50.022 % |
19.52/19.57	c |     62412 |    4609    20925    57313 | 2147483647    60893     61 | 50.022 % |
19.82/19.84	c |     63134 |    4609    20925    57313 | 2147483647    61615     61 | 50.023 % |
20.42/20.42	c |     63926 |    4609    20925    57313 | 2147483647    62407     63 | 50.022 % |
20.42/20.45	c |     64026 |    4609    20925    57313 | 2147483647    62507     62 | 50.023 % |
20.42/20.51	c |     64136 |    4609    20925    57313 | 2147483647    62617     63 | 50.022 % |
20.52/20.57	c |     64259 |    4609    20925    57313 | 2147483647    62740     63 | 50.022 % |
20.62/20.63	c |     64392 |    4609    20925    57313 | 2147483647    62873     62 | 50.022 % |
20.72/20.73	c |     64538 |    4609    20925    57313 | 2147483647    63019     62 | 50.022 % |
20.72/20.80	c |     64700 |    4609    20925    57313 | 2147483647    63181     62 | 50.022 % |
20.82/20.86	c |     64878 |    4609    20925    57313 | 2147483647    63359     62 | 50.022 % |
21.02/21.06	c |     65072 |    4609    20925    57313 | 2147483647    63553     63 | 50.022 % |
21.22/21.24	c |     65285 |    4563    20708    56669 | 2147483647    63665     63 | 50.317 % |
21.42/21.47	c |     65518 |    4563    20708    56669 | 2147483647    63898     64 | 50.316 % |
21.72/21.72	c |     65774 |    4562    20708    56669 | 2147483647    64153     64 | 50.327 % |
21.82/21.85	c |     66055 |    4562    20708    56669 | 2147483647    64434     64 | 50.327 % |
22.02/22.02	c |     66365 |    4562    20708    56669 | 2147483647    64744     64 | 50.327 % |
22.12/22.19	c |     66705 |    4562    20708    56669 | 2147483647    65084     64 | 50.327 % |
22.22/22.31	c |     67077 |    4562    20708    56669 | 2147483647    65456     63 | 50.327 % |
22.52/22.57	c |     67486 |    4562    20708    56669 | 2147483647    65865     63 | 50.328 % |
22.72/22.74	c |     67935 |    4562    20708    56669 | 2147483647    66314     63 | 50.327 % |
22.92/22.98	c |     68431 |    4562    20708    56669 | 2147483647    66810     63 | 50.327 % |
23.22/23.22	c |     68973 |    4562    20708    56669 | 2147483647    67352     63 | 50.327 % |
23.52/23.54	c |     69569 |    4562    20708    56669 | 2147483647    67948     63 | 50.327 % |
23.82/23.84	c |     70224 |    4562    20708    56669 | 2147483647    68603     63 | 50.327 % |
24.32/24.36	c |     70946 |    4562    20708    56669 | 2147483647    69325     62 | 50.327 % |
24.82/24.82	c |     71738 |    4546    20708    56669 | 2147483647    70109     63 | 51.242 % |
25.02/25.10	c |     72609 |    4546    20708    56669 | 2147483647    70980     63 | 51.242 % |
25.12/25.19	c |     72710 |    4546    20708    56669 | 2147483647    71081     63 | 51.242 % |
25.22/25.22	c |     72825 |    4546    20708    56669 | 2147483647    71196     63 | 51.242 % |
25.22/25.26	c |     72946 |    4546    20708    56669 | 2147483647    71317     63 | 51.242 % |
25.22/25.30	c |     73079 |    4546    20708    56669 | 2147483647    71450     63 | 51.242 % |
25.42/25.43	c |     73225 |    4546    20708    56669 | 2147483647    71596     64 | 51.242 % |
25.42/25.50	c |     73385 |    4546    20708    56669 | 2147483647    71756     63 | 51.242 % |
25.62/25.63	c |     73561 |    4546    20708    56669 | 2147483647    71932     64 | 51.243 % |
25.72/25.81	c |     73754 |    4541    20708    56669 | 2147483647    72124     64 | 51.296 % |
25.92/25.97	c |     73966 |    4541    20708    56669 | 2147483647    72336     63 | 51.296 % |
26.12/26.14	c |     74201 |    4541    20708    56669 | 2147483647    72571     63 | 51.296 % |
26.22/26.28	c |     74457 |    4541    20708    56669 | 2147483647    72827     63 | 51.296 % |
26.42/26.49	c |     74739 |    4541    20708    56669 | 2147483647    73109     64 | 51.296 % |
26.52/26.59	c |     75051 |    4541    20708    56669 | 2147483647    73421     64 | 51.296 % |
26.82/26.85	c |     75391 |    4541    20708    56669 | 2147483647    73761     64 | 51.296 % |
26.92/27.01	c |     75763 |    4541    20708    56669 | 2147483647    74133     64 | 51.296 % |
27.22/27.27	c |     76174 |    4541    20708    56669 | 2147483647    74544     64 | 51.296 % |
27.42/27.47	c |     76623 |    4541    20708    56669 | 2147483647    74993     63 | 51.296 % |
27.72/27.81	c |     77118 |    4541    20708    56669 | 2147483647    75488     64 | 51.296 % |
27.92/28.01	c |     77660 |    4541    20708    56669 | 2147483647    76030     64 | 51.297 % |
28.32/28.35	c |     78257 |    4541    20708    56669 | 2147483647    76627     64 | 51.297 % |
28.52/28.61	c |     78913 |    4541    20708    56669 | 2147483647    77283     64 | 51.296 % |
29.02/29.11	c |     79633 |    4541    20708    56669 | 2147483647    78003     64 | 51.297 % |
29.52/29.58	c |     80425 |    4541    20708    56669 |    78372    78795     64 | 51.296 % |
30.12/30.18	c |     81296 |    4541    20708    56669 |    78372    79666     64 | 51.297 % |
30.92/30.92	c |     82257 |    4541    20708    56669 |    78372    80626     64 | 51.307 % |
30.92/30.99	c |     82357 |    4541    20708    56669 |    78372    80726     64 | 51.307 % |
31.02/31.03	c |     82467 |    4541    20708    56669 |    78372    80836     64 | 51.307 % |
31.12/31.15	c |     82589 |    4541    20708    56669 |    78372    80958     64 | 51.307 % |
31.22/31.23	c |     82723 |    4541    20708    56669 |    78372    81092     64 | 51.307 % |
31.22/31.29	c |     82869 |    4541    20708    56669 |    78372    81238     64 | 51.307 % |
31.42/31.43	c |     83029 |    4541    20708    56669 |    78372    81398     65 | 51.307 % |
31.52/31.57	c |     83205 |    4541    20708    56669 |    78372    81574     64 | 51.307 % |
31.62/31.69	c |     83401 |    4541    20708    56669 |    78372    81770     65 | 51.307 % |
31.72/31.74	c |     83613 |    4541    20708    56669 |    78372    81982     65 | 51.307 % |
31.82/31.91	c |     83848 |    4541    20708    56669 |    78372    82217     65 | 51.307 % |
31.92/31.98	c |     84105 |    4541    20708    56669 |    78372    82474     65 | 51.307 % |
32.02/32.10	c |     84390 |    4541    20708    56669 |    78372    82759     65 | 51.307 % |
32.22/32.22	c |     84701 |    4541    20708    56669 |    78372    83070     65 | 51.307 % |
32.42/32.48	c |     85041 |    4541    20708    56669 |    78372    83410     65 | 51.307 % |
32.82/32.84	c |     85413 |    4540    20708    56669 |    78372    70879     68 | 51.341 % |
33.02/33.10	c |     85822 |    4540    20708    56669 |    78372    71288     68 | 51.340 % |
33.22/33.26	c |     86271 |    4540    20708    56669 |    78372    71737     68 | 51.340 % |
33.62/33.63	c |     86766 |    4467    20212    55184 |    78372    71964     68 | 51.340 % |
33.82/33.84	c |     87311 |    4467    20212    55184 |    78372    72509     68 | 51.340 % |
34.12/34.12	c |     87908 |    4467    20212    55184 |    78372    73106     68 | 51.340 % |
34.62/34.69	c |     88564 |    4467    20212    55184 |    78372    73762     69 | 51.340 % |
35.42/35.47	c |     89287 |    4467    20212    55184 |    78372    74485     69 | 51.340 % |
35.92/36.00	c |     90080 |    4467    20212    55184 |    75198    75278     68 | 51.342 % |
36.42/36.47	c |     90951 |    4467    20212    55184 |    75198    76149     68 | 51.340 % |
37.12/37.14	c |     91909 |    4467    20212    55184 |    75198    77107     68 | 51.340 % |
37.62/37.67	c |     92963 |    4467    20212    55184 |    75198    78161     67 | 51.340 % |
37.72/37.80	c |     93063 |    4467    20212    55184 |    75198    78261     67 | 51.340 % |
37.82/37.86	c |     93173 |    4467    20212    55184 |    75198    78371     67 | 51.340 % |
37.92/37.99	c |     93295 |    4467    20212    55184 |    75198    78493     67 | 51.340 % |
38.02/38.06	c |     93428 |    4467    20212    55184 |    75198    78626     67 | 51.340 % |
38.22/38.23	c |     93574 |    4467    20212    55184 |    75198    78772     67 | 51.340 % |
38.22/38.31	c |     93734 |    4467    20212    55184 |    75198    78932     67 | 51.342 % |
38.32/38.39	c |     93910 |    4467    20212    55184 |    75198    79108     67 | 51.340 % |
38.42/38.50	c |     94106 |    4467    20212    55184 |    75198    79304     67 | 51.340 % |
38.62/38.61	c |     94319 |    4467    20212    55184 |    75198    79517     67 | 51.340 % |
38.72/38.81	c |     94553 |    4467    20212    55184 |    75198    79751     67 | 51.341 % |
38.92/38.95	c |     94810 |    4467    20212    55184 |    75198    80007     67 | 51.362 % |
39.12/39.21	c |     95092 |    4467    20212    55184 |    75198    68489     70 | 51.362 % |
39.32/39.39	c |     95401 |    4462    20212    55184 |    75198    68792     70 | 51.656 % |
39.62/39.66	c |     95744 |    4462    20212    55184 |    75198    69135     71 | 51.656 % |
39.72/39.75	c |     96117 |    4462    20212    55184 |    75198    69508     71 | 51.656 % |
40.02/40.08	c |     96526 |    4462    20212    55184 |    75198    69917     72 | 51.656 % |
40.52/40.52	c |     96976 |    4462    20212    55184 |    75198    70367     72 | 51.656 % |
40.82/40.86	c |     97469 |    4462    20212    55184 |    75198    70860     72 | 51.656 % |
41.12/41.20	c |     98011 |    4462    20212    55184 |    75198    71402     72 | 51.656 % |
41.72/41.72	c |     98607 |    4462    20212    55184 |    75198    71998     73 | 51.656 % |
41.92/41.93	c |     99262 |    4462    20212    55184 |    75198    72653     72 | 51.656 % |
42.52/42.54	c |     99982 |    4462    20212    55184 |    75198    73373     73 | 51.656 % |
42.92/42.95	c |    100774 |    4462    20212    55184 |    73391    74165     72 | 51.656 % |
43.62/43.63	c |    101648 |    4462    20212    55184 |    73391    75039     73 | 51.656 % |
44.22/44.24	c |    102609 |    4462    20212    55184 |    73391    76000     73 | 51.656 % |
44.91/44.98	c |    103663 |    4462    20212    55184 |    73391    77054     73 | 51.657 % |
45.51/45.58	c |    104823 |    4462    20212    55184 |    73391    78214     72 | 51.656 % |
45.61/45.68	c |    104925 |    4462    20212    55184 |    73391    65228     67 | 51.657 % |
45.71/45.78	c |    105035 |    4462    20212    55184 |    73391    65338     68 | 51.656 % |
45.81/45.89	c |    105158 |    4461    20212    55184 |    73391    65460     67 | 52.538 % |
45.91/45.98	c |    105293 |    4461    20212    55184 |    73391    65595     68 | 52.538 % |
46.01/46.05	c |    105441 |    4461    20212    55184 |    73391    65743     67 | 52.538 % |
46.11/46.15	c |    105601 |    4461    20212    55184 |    73391    65903     67 | 52.538 % |
46.21/46.25	c |    105777 |    4461    20212    55184 |    73391    66079     67 | 52.538 % |
46.31/46.34	c |    105970 |    4461    20212    55184 |    73391    66272     67 | 52.538 % |
46.41/46.47	c |    106182 |    4461    20212    55184 |    73391    66484     67 | 52.539 % |
46.51/46.57	c |    106415 |    4461    20212    55184 |    73391    66717     67 | 52.540 % |
46.71/46.76	c |    106673 |    4461    20212    55184 |    73391    66975     67 | 52.538 % |
46.81/46.87	c |    106954 |    4461    20212    55184 |    73391    67256     67 | 52.538 % |
46.91/47.00	c |    107263 |    4461    20212    55184 |    73391    67565     67 | 52.538 % |
47.11/47.11	c |    107602 |    4461    20212    55184 |    73391    67904     67 | 52.538 % |
47.31/47.39	c |    107975 |    4461    20212    55184 |    73391    68277     67 | 52.538 % |
47.61/47.62	c |    108384 |    4461    20212    55184 |    73391    68686     67 | 52.539 % |
47.81/47.85	c |    108835 |    4461    20212    55184 |    73391    69137     67 | 52.538 % |
48.21/48.25	c |    109328 |    4461    20212    55184 |    73391    69630     67 | 52.539 % |
48.51/48.54	c |    109870 |    4461    20212    55184 |    73391    70172     67 | 52.538 % |
48.71/48.73	c |    110467 |    4461    20212    55184 |    70303    70769     67 | 52.539 % |
49.31/49.32	c |    111125 |    4461    20212    55184 |    70303    71427     67 | 52.539 % |
49.81/49.85	c |    111846 |    4461    20212    55184 |    70303    72148     67 | 52.538 % |
50.51/50.54	c |    112638 |    4357    19552    53276 |    70303    72729     67 | 52.538 % |
51.01/51.08	c |    113510 |    4357    19552    53276 |    70303    73601     67 | 52.538 % |
51.91/51.92	c |    114468 |    4357    19552    53276 |    70303    74559     67 | 52.538 % |
52.51/52.53	c |    115522 |    4357    19552    53276 |    70303    75613     66 | 52.538 % |
53.11/53.12	c |    116680 |    4352    19552    53276 |    70303    63387     61 | 52.723 % |
53.91/53.99	c |    117953 |    4352    19552    53276 |    70303    64660     66 | 52.723 % |
54.01/54.02	c |    118053 |    4352    19552    53276 |    70303    64760     66 | 52.723 % |
54.11/54.11	c |    118169 |    4352    19552    53276 |    70303    64876     66 | 52.723 % |
54.11/54.14	c |    118291 |    4352    19552    53276 |    70303    64998     66 | 52.723 % |
54.11/54.20	c |    118424 |    4352    19552    53276 |    70303    65131     67 | 52.723 % |
54.21/54.23	c |    118571 |    4352    19552    53276 |    70303    65278     67 | 52.723 % |
54.31/54.33	c |    118731 |    4352    19552    53276 |    70303    65438     67 | 52.724 % |
54.31/54.39	c |    118908 |    4352    19552    53276 |    70303    65615     67 | 52.723 % |
54.41/54.50	c |    119101 |    4352    19552    53276 |    70303    65808     67 | 52.724 % |
54.61/54.66	c |    119313 |    4352    19552    53276 |    70303    66020     67 | 52.723 % |
54.71/54.79	c |    119547 |    4352    19552    53276 |    70303    66254     67 | 52.723 % |
54.91/54.97	c |    119803 |    4352    19552    53276 |    70303    66510     68 | 52.723 % |
55.01/55.03	c |    120084 |    4352    19552    53276 |    66707    66791     67 | 52.724 % |
55.21/55.25	c |    120394 |    4352    19552    53276 |    66707    67101     68 | 52.723 % |
55.31/55.39	c |    120733 |    4352    19552    53276 |    66707    67440     68 | 52.723 % |
55.71/55.71	c |    121105 |    4352    19552    53276 |    66707    67812     69 | 52.724 % |
55.81/55.82	c |    121514 |    4352    19552    53276 |    66707    68221     68 | 52.724 % |
56.11/56.12	c |    121965 |    4352    19552    53276 |    66707    68672     69 | 52.724 % |
56.21/56.24	c |    122458 |    4352    19552    53276 |    66707    69165     69 | 52.724 % |
56.61/56.69	c |    123002 |    4352    19552    53276 |    66707    69709     71 | 52.723 % |
57.21/57.28	c |    123600 |    4352    19552    53276 |    66707    70307     71 | 52.725 % |
57.61/57.68	c |    124257 |    4352    19552    53276 |    66707    70964     70 | 52.723 % |
58.11/58.16	c |    124977 |    4352    19552    53276 |    66707    71684     70 | 52.723 % |
58.51/58.56	c |    125770 |    4352    19552    53276 |    66707    61421     70 | 52.723 % |
59.11/59.14	c |    126641 |    4352    19552    53276 |    66707    62292     69 | 52.723 % |
59.71/59.73	c |    127599 |    4352    19552    53276 |    66707    63250     69 | 52.723 % |
60.31/60.39	c |    128652 |    4352    19552    53276 |    66707    64303     68 | 52.724 % |
61.11/61.17	c |    129811 |    4352    19552    53276 |    66707    65462     67 | 52.723 % |
62.01/62.04	c |    131085 |    4352    19552    53276 |    65651    66736     67 | 52.723 % |
62.71/62.73	c |    132485 |    4352    19552    53276 |    65651    68136     67 | 52.723 % |
62.71/62.80	c |    132586 |    4352    19552    53276 |    65651    68237     67 | 52.724 % |
62.81/62.88	c |    132697 |    4352    19552    53276 |    65651    68348     67 | 52.723 % |
62.91/62.92	c |    132819 |    4352    19552    53276 |    65651    68470     67 | 52.723 % |
63.01/63.01	c |    132952 |    4352    19552    53276 |    65651    68603     67 | 52.724 % |
63.01/63.05	c |    133098 |    4352    19552    53276 |    65651    68749     67 | 52.723 % |
63.11/63.18	c |    133258 |    4352    19552    53276 |    65651    68909     67 | 52.724 % |
63.21/63.27	c |    133434 |    4352    19552    53276 |    65651    69085     67 | 52.723 % |
63.31/63.40	c |    133628 |    4352    19552    53276 |    65651    69279     67 | 52.724 % |
63.41/63.46	c |    133840 |    4352    19552    53276 |    65651    69491     67 | 52.723 % |
63.61/63.64	c |    134073 |    4352    19552    53276 |    65651    69724     68 | 52.723 % |
63.71/63.80	c |    134331 |    4352    19552    53276 |    65651    69982     68 | 52.723 % |
64.01/64.09	c |    134612 |    4352    19552    53276 |    65651    70263     68 | 52.723 % |
64.21/64.28	c |    134923 |    4352    19552    53276 |    65651    70574     68 | 52.723 % |
64.51/64.55	c |    135262 |    4352    19552    53276 |    65651    60409     67 | 52.723 % |
64.81/64.82	c |    135634 |    4352    19552    53276 |    65651    60781     67 | 52.723 % |
65.01/65.01	c |    136043 |    4352    19552    53276 |    65651    61190     67 | 52.723 % |
65.31/65.30	c |    136493 |    4352    19552    53276 |    65651    61640     67 | 52.723 % |
65.61/65.61	c |    136988 |    4352    19552    53276 |    65651    62135     66 | 52.723 % |
66.01/66.02	c |    137530 |    4340    19467    53026 |    65651    62677     67 | 52.724 % |
66.41/66.50	c |    138128 |    4340    19467    53026 |    65651    63275     67 | 52.723 % |
66.81/66.88	c |    138785 |    4340    19467    53026 |    65651    63932     67 | 52.723 % |
67.31/67.34	c |    139506 |    4340    19467    53026 |    65651    64653     66 | 52.723 % |
67.91/67.97	c |    140298 |    4340    19467    53026 |    65147    65445     66 | 52.724 % |
68.51/68.56	c |    141170 |    4340    19467    53026 |    65147    66317     66 | 52.723 % |
69.21/69.29	c |    142129 |    4340    19467    53026 |    65147    67276     67 | 52.724 % |
69.51/69.53	c |    143182 |    4340    19467    53026 |    65147    68329     67 | 52.723 % |
70.11/70.13	c |    144340 |    4340    19467    53026 |    65147    69487     67 | 52.723 % |
71.22/71.25	c |    145616 |    4340    19467    53026 |    65147    70763     68 | 52.723 % |
72.12/72.12	c |    147016 |    4340    19467    53026 |    65147    61005     64 | 52.723 % |
73.12/73.15	c |    148557 |    4340    19467    53026 |    65147    62546     63 | 52.723 % |
73.22/73.23	c |    148659 |    4340    19467    53026 |    65147    62648     63 | 52.723 % |
73.32/73.32	c |    148769 |    4340    19467    53026 |    65147    62758     63 | 52.723 % |
73.42/73.44	c |    148891 |    4340    19467    53026 |    65147    62880     63 | 52.723 % |
73.52/73.53	c |    149026 |    4340    19467    53026 |    65147    63015     63 | 52.723 % |
73.62/73.67	c |    149173 |    4340    19467    53026 |    65147    63162     63 | 52.725 % |
73.82/73.82	c |    149333 |    4340    19467    53026 |    65147    63322     63 | 52.723 % |
73.92/73.94	c |    149510 |    4340    19467    53026 |    65147    63499     63 | 52.725 % |
74.12/74.18	c |    149707 |    4337    19467    53026 |    65147    63693     63 | 53.399 % |
74.22/74.30	c |    149922 |    4337    19467    53026 |    65147    63908     63 | 53.401 % |
74.42/74.47	c |    150156 |    4337    19467    53026 |    63987    64142     63 | 53.399 % |
74.62/74.61	c |    150413 |    4337    19467    53026 |    63987    64399     63 | 53.399 % |
74.72/74.80	c |    150696 |    4337    19467    53026 |    63987    64682     62 | 53.399 % |
74.92/75.01	c |    151007 |    4337    19467    53026 |    63987    64993     62 | 53.399 % |
75.32/75.40	c |    151347 |    4336    19467    53026 |    63987    65332     62 | 53.410 % |
75.62/75.66	c |    151719 |    4336    19467    53026 |    63987    65704     62 | 53.410 % |
76.02/76.03	c |    152130 |    4336    19467    53026 |    63987    66115     62 | 53.410 % |
76.22/76.26	c |    152579 |    4336    19467    53026 |    63987    66564     62 | 53.410 % |
76.62/76.65	c |    153072 |    4336    19467    53026 |    63987    67057     62 | 53.410 % |
77.12/77.18	c |    153615 |    4336    19467    53026 |    63987    67600     62 | 53.410 % |
77.52/77.57	c |    154211 |    4336    19467    53026 |    63987    68196     62 | 53.411 % |
78.02/78.04	c |    154866 |    4336    19467    53026 |    63987    68851     62 | 53.411 % |
78.52/78.55	c |    155586 |    4336    19467    53026 |    63987    69571     62 | 53.410 % |
79.02/79.06	c |    156378 |    4336    19467    53026 |    63987    59376     62 | 53.411 % |
79.72/79.72	c |    157250 |    4336    19467    53026 |    63987    60248     62 | 53.410 % |
80.32/80.40	c |    158209 |    4277    19203    52216 |    63987    60991     61 | 53.410 % |
81.12/81.18	c |    159263 |    4277    19203    52216 |    63987    62045     64 | 53.411 % |
81.32/81.36	c |    160422 |    4277    19203    52216 |    62782    63204     63 | 53.410 % |
82.42/82.43	c |    161695 |    4277    19203    52216 |    62782    64477     64 | 53.410 % |
83.12/83.19	c |    163095 |    4277    19203    52216 |    62782    65877     64 | 53.410 % |
84.22/84.27	c |    164636 |    4277    19203    52216 |    62782    67418     63 | 53.410 % |
85.72/85.71	c |    166330 |    4277    19203    52216 |    62782    69112     65 | 53.410 % |
85.82/85.86	c |    166430 |    4277    19203    52216 |    62782    57418     55 | 53.410 % |
85.82/85.89	c |    166542 |    4277    19203    52216 |    62782    57530     55 | 53.410 % |
85.93/85.97	c |    166664 |    4277    19203    52216 |    62782    57652     55 | 53.410 % |
86.02/86.05	c |    166797 |    4277    19203    52216 |    62782    57785     55 | 53.410 % |
86.12/86.17	c |    166944 |    4277    19203    52216 |    62782    57932     55 | 53.410 % |
86.22/86.30	c |    167104 |    4277    19203    52216 |    62782    58092     55 | 53.410 % |
86.32/86.36	c |    167280 |    4277    19203    52216 |    62782    58268     55 | 53.411 % |
86.42/86.44	c |    167473 |    4277    19203    52216 |    62782    58461     55 | 53.410 % |
86.52/86.57	c |    167687 |    4277    19203    52216 |    62782    58675     55 | 53.410 % |
86.52/86.59	c |    167921 |    4277    19203    52216 |    62782    58909     55 | 53.410 % |
86.72/86.77	c |    168177 |    4277    19203    52216 |    62782    59165     56 | 53.410 % |
86.82/86.87	c |    168458 |    4277    19203    52216 |    62782    59446     56 | 53.410 % |
87.03/87.10	c |    168770 |    4277    19203    52216 |    62782    59758     56 | 53.410 % |
87.12/87.15	c |    169109 |    4277    19203    52216 |    62782    60097     56 | 53.410 % |
87.32/87.38	c |    169483 |    4277    19203    52216 |    62782    60471     56 | 53.410 % |
87.52/87.52	c |    169898 |    4277    19203    52216 |    62782    60886     56 | 53.410 % |
87.62/87.66	c |    170351 |    4277    19203    52216 |    60988    61339     56 | 53.410 % |
87.72/87.79	c |    170844 |    4277    19203    52216 |    60988    61832     56 | 53.410 % |
87.82/87.84	c |    171386 |    4277    19203    52216 |    60988    62374     56 | 53.410 % |
88.22/88.29	c |    171984 |    4277    19203    52216 |    60988    62972     58 | 53.410 % |
88.42/88.41	c |    172639 |    4277    19203    52216 |    60988    63627     58 | 53.410 % |
88.82/88.86	c |    173359 |    4277    19203    52216 |    60988    64347     59 | 53.410 % |
89.12/89.17	c |    174151 |    4277    19203    52216 |    60988    65139     59 | 53.410 % |
89.62/89.65	c |    175022 |    4277    19203    52216 |    60988    66010     60 | 53.410 % |
90.22/90.29	c |    175981 |    4277    19203    52216 |    60988    57538     59 | 53.410 % |
91.02/91.11	c |    177034 |    4277    19203    52216 |    60988    58591     59 | 53.411 % |
91.62/91.66	c |    178193 |    4277    19203    52216 |    60988    59750     58 | 53.411 % |
92.62/92.63	c |    179466 |    4277    19203    52216 |    60988    61023     60 | 53.410 % |
93.02/93.07	c |    180870 |    4277    19203    52216 |    61557    62427     61 | 53.410 % |
94.22/94.22	c |    182410 |    4277    19203    52216 |    61557    63967     64 | 53.410 % |
94.82/94.87	c |    184105 |    4277    19203    52216 |    61557    65662     64 | 53.410 % |
95.32/95.37	c |    185968 |    4277    19203    52216 |    61557    67525     63 | 53.410 % |
95.42/95.48	c |    186068 |    4277    19203    52216 |    61557    58611     62 | 53.410 % |
95.52/95.55	c |    186178 |    4277    19203    52216 |    61557    58721     63 | 53.410 % |
95.62/95.64	c |    186300 |    4277    19203    52216 |    61557    58843     63 | 53.410 % |
95.62/95.69	c |    186435 |    4277    19203    52216 |    61557    58978     63 | 53.410 % |
95.72/95.78	c |    186583 |    4277    19203    52216 |    61557    59126     63 | 53.410 % |
95.92/95.93	c |    186743 |    4277    19203    52216 |    61557    59286     63 | 53.410 % |
95.92/96.01	c |    186919 |    4277    19203    52216 |    61557    59462     63 | 53.410 % |
96.12/96.18	c |    187112 |    4277    19203    52216 |    61557    59655     63 | 53.410 % |
96.22/96.28	c |    187325 |    4277    19203    52216 |    61557    59868     63 | 53.410 % |
96.32/96.37	c |    187558 |    4277    19203    52216 |    61557    60101     63 | 53.410 % |
96.62/96.66	c |    187814 |    4277    19203    52216 |    61557    60357     64 | 53.410 % |
96.72/96.73	c |    188096 |    4277    19203    52216 |    61557    60639     64 | 53.410 % |
96.93/96.94	c |    188406 |    4277    19203    52216 |    61557    60949     65 | 53.410 % |
96.93/97.01	c |    188745 |    4277    19203    52216 |    61557    61288     64 | 53.410 % |
97.22/97.28	c |    189118 |    4277    19203    52216 |    61557    61661     65 | 53.410 % |
97.32/97.37	c |    189528 |    4277    19203    52216 |    61557    62071     65 | 53.410 % |
97.62/97.70	c |    189977 |    4277    19203    52216 |    61557    62520     67 | 53.410 % |
97.82/97.91	c |    190470 |    4277    19203    52216 |    62543    63013     66 | 53.410 % |
98.32/98.35	c |    191015 |    4277    19203    52216 |    62543    63558     68 | 53.410 % |
98.92/98.96	c |    191612 |    4277    19203    52216 |    62543    64155     68 | 53.410 % |
99.42/99.45	c |    192268 |    4277    19203    52216 |    62543    64811     68 | 53.411 % |
99.72/99.79	c |    192989 |    4277    19203    52216 |    62543    65532     67 | 53.410 % |
100.42/100.46	c |    193782 |    4277    19203    52216 |    62543    66325     68 | 53.410 % |
101.12/101.14	c |    194654 |    4277    19203    52216 |    62543    67197     67 | 53.410 % |
101.92/102.01	c |    195612 |    4277    19203    52216 |    62543    68155     67 | 53.411 % |
102.72/102.73	c |    196665 |    4277    19203    52216 |    62543    58324     71 | 53.410 % |
103.53/103.55	c |    197823 |    4277    19203    52216 |    62543    59482     71 | 53.410 % |
104.12/104.15	c |    199096 |    4277    19203    52216 |    62543    60755     70 | 53.410 % |
105.22/105.28	c |    200496 |    4277    19203    52216 |    61660    62155     73 | 53.410 % |
106.52/106.55	c |    202036 |    4277    19203    52216 |    61660    63695     73 | 53.410 % |
108.02/108.09	c |    203734 |    4277    19203    52216 |    61660    65393     72 | 53.410 % |
109.42/109.42	c |    205598 |    4277    19203    52216 |    61660    67257     72 | 53.410 % |
111.12/111.19	c |    207647 |    4277    19203    52216 |    61660    59308     75 | 53.410 % |
111.23/111.23	c |    207747 |    4277    19203    52216 |    61660    59408     75 | 53.410 % |
111.32/111.32	c |    207859 |    4277    19203    52216 |    61660    59520     76 | 53.410 % |
111.32/111.36	c |    207980 |    4277    19203    52216 |    61660    59641     75 | 53.410 % |
111.42/111.44	c |    208114 |    4277    19203    52216 |    61660    59775     76 | 53.410 % |
111.42/111.50	c |    208260 |    4277    19203    52216 |    61660    59921     76 | 53.412 % |
111.62/111.66	c |    208420 |    4277    19203    52216 |    61660    60081     76 | 53.410 % |
111.72/111.71	c |    208596 |    4277    19203    52216 |    61660    60257     76 | 53.410 % |
111.82/111.86	c |    208789 |    4277    19203    52216 |    61660    60450     76 | 53.410 % |
111.92/111.92	c |    209001 |    4277    19203    52216 |    61660    60662     76 | 53.410 % |
112.12/112.16	c |    209235 |    4277    19203    52216 |    61660    60896     77 | 53.410 % |
112.33/112.36	c |    209491 |    4277    19203    52216 |    61660    61152     77 | 53.410 % |
112.42/112.47	c |    209773 |    4277    19203    52216 |    61660    61434     77 | 53.410 % |
112.72/112.77	c |    210082 |    4277    19203    52216 |    61661    61743     77 | 53.410 % |
113.02/113.05	c |    210426 |    4277    19203    52216 |    61661    62087     77 | 53.410 % |
113.32/113.31	c |    210799 |    4277    19203    52216 |    61661    62460     77 | 53.410 % |
113.62/113.65	c |    211209 |    4277    19203    52216 |    61661    62870     77 | 53.410 % |
113.92/113.98	c |    211659 |    4277    19203    52216 |    61661    63320     77 | 53.410 % |
114.32/114.35	c |    212155 |    4277    19203    52216 |    61661    63816     77 | 53.411 % |
114.92/114.95	c |    212700 |    4277    19203    52216 |    61661    64361     76 | 53.410 % |
115.42/115.43	c |    213296 |    4277    19203    52216 |    61661    64957     77 | 53.410 % |
116.02/116.02	c |    213952 |    4277    19203    52216 |    61661    65613     77 | 53.410 % |
116.32/116.38	c |    214675 |    4277    19203    52216 |    61661    66336     76 | 53.410 % |
117.12/117.13	c |    215467 |    4277    19203    52216 |    61661    67128     77 | 53.410 % |
117.72/117.79	c |    216338 |    4277    19203    52216 |    61661    56843     74 | 53.410 % |
118.42/118.46	c |    217298 |    4277    19203    52216 |    61661    57803     74 | 53.410 % |
119.12/119.15	c |    218352 |    4277    19203    52216 |    61661    58857     74 | 53.410 % |
119.62/119.68	c |    219510 |    4277    19203    52216 |    61661    60015     75 | 53.410 % |
120.92/120.91	c |    220786 |    4277    19203    52216 |    60506    61291     75 | 53.410 % |
121.82/121.85	c |    222186 |    4277    19203    52216 |    60506    62691     75 | 53.410 % |
122.72/122.79	c |    223726 |    4277    19203    52216 |    60506    64231     74 | 53.410 % |
124.02/124.04	c |    225420 |    4277    19203    52216 |    60506    65925     76 | 53.410 % |
125.62/125.69	c |    227283 |    4277    19203    52216 |    60506    57065     68 | 53.410 % |
127.22/127.21	c |    229333 |    4277    19203    52216 |    60506    59115     67 | 53.410 % |
129.13/129.14	c |    231586 |    4277    19203    52216 |    59782    61368     68 | 53.410 % |
129.23/129.24	c |    231688 |    4277    19203    52216 |    59782    61470     67 | 53.410 % |
129.33/129.33	c |    231799 |    4277    19203    52216 |    59782    61581     67 | 53.410 % |
129.43/129.44	c |    231920 |    4277    19203    52216 |    59782    61702     67 | 53.410 % |
129.53/129.60	c |    232055 |    4277    19203    52216 |    59782    61837     67 | 53.410 % |
129.73/129.77	c |    232202 |    4277    19203    52216 |    59782    61984     67 | 53.410 % |
129.83/129.90	c |    232363 |    4277    19203    52216 |    59782    62145     68 | 53.410 % |
129.93/130.00	c |    232539 |    4277    19203    52216 |    59782    62321     67 | 53.410 % |
130.13/130.16	c |    232732 |    4277    19203    52216 |    59782    62514     68 | 53.410 % |
130.33/130.37	c |    232945 |    4277    19203    52216 |    59782    62727     68 | 53.410 % |
130.63/130.62	c |    233178 |    4277    19203    52216 |    59782    62960     68 | 53.410 % |
130.83/130.88	c |    233434 |    4277    19203    52216 |    59782    63216     68 | 53.410 % |
131.03/131.03	c |    233715 |    4277    19203    52216 |    59782    63497     68 | 53.410 % |
131.23/131.28	c |    234026 |    4277    19203    52216 |    59782    63808     68 | 53.410 % |
131.43/131.51	c |    234366 |    4277    19203    52216 |    59782    64148     68 | 53.410 % |
131.83/131.83	c |    234738 |    4277    19203    52216 |    59782    64520     68 | 53.410 % |
132.03/132.04	c |    235147 |    4277    19203    52216 |    59782    64929     68 | 53.411 % |
132.53/132.52	c |    235597 |    4172    18678    50764 |    59782    56801     69 | 54.553 % |
132.83/132.82	c |    236090 |    4172    18678    50764 |    59782    57294     70 | 54.554 % |
133.13/133.16	c |    236632 |    4172    18678    50764 |    59782    57836     70 | 54.553 % |
133.53/133.53	c |    237228 |    4172    18678    50764 |    59782    58432     70 | 54.553 % |
134.03/134.03	c |    237887 |    4172    18678    50764 |    59782    59091     71 | 54.555 % |
134.43/134.45	c |    238607 |    4172    18678    50764 |    59782    59811     73 | 54.553 % |
134.63/134.70	c |    239400 |    4172    18678    50764 |    59782    60604     72 | 54.553 % |
135.43/135.52	c |    240272 |    4172    18678    50764 |    61204    61476     73 | 54.553 % |
135.83/135.89	c |    241230 |    4172    18678    50764 |    61204    62434     72 | 54.553 % |
136.73/136.81	c |    242285 |    4172    18678    50764 |    61204    63489     74 | 54.554 % |
137.63/137.65	c |    243444 |    4172    18678    50764 |    61204    64648     74 | 54.553 % |
138.53/138.59	c |    244718 |    4172    18678    50764 |    61204    65922     73 | 54.553 % |
139.73/139.77	c |    246118 |    4172    18678    50764 |    61204    58467     67 | 54.553 % |
140.43/140.47	c |    247659 |    4172    18678    50764 |    61204    60008     67 | 54.553 % |
141.63/141.70	c |    249353 |    4172    18678    50764 |    61204    61702     68 | 54.554 % |
143.53/143.57	c |    251216 |    4172    18678    50764 |    62350    63565     68 | 54.553 % |
144.73/144.78	c |    253265 |    4172    18678    50764 |    62350    65614     69 | 54.553 % |
146.93/146.95	c |    255518 |    4172    18678    50764 |    62350    67867     73 | 54.553 % |
149.23/149.23	c |    257998 |    4172    18678    50764 |    62350    58162     70 | 54.554 % |
149.33/149.34	c |    258098 |    4172    18678    50764 |    62350    58262     70 | 54.554 % |
149.43/149.44	c |    258208 |    4172    18678    50764 |    62350    58372     70 | 54.553 % |
149.43/149.51	c |    258329 |    4172    18678    50764 |    62350    58493     70 | 54.553 % |
149.53/149.61	c |    258463 |    4172    18678    50764 |    62350    58627     70 | 54.555 % |
149.63/149.69	c |    258609 |    4172    18678    50764 |    62350    58773     70 | 54.553 % |
149.83/149.84	c |    258769 |    4172    18678    50764 |    62350    58933     70 | 54.553 % |
149.93/149.91	c |    258945 |    4172    18678    50764 |    62350    59109     70 | 54.554 % |
150.03/150.07	c |    259138 |    4172    18678    50764 |    62350    59302     70 | 54.553 % |
150.13/150.20	c |    259350 |    4172    18678    50764 |    62350    59514     70 | 54.553 % |
150.33/150.41	c |    259584 |    4172    18678    50764 |    62350    59748     70 | 54.553 % |
150.63/150.63	c |    259844 |    4162    18629    50617 |    62350    60007     69 | 54.662 % |
150.83/150.90	c |    260125 |    4162    18629    50617 |    60164    60288     70 | 54.662 % |
151.03/151.06	c |    260438 |    4162    18629    50617 |    60164    60601     70 | 54.662 % |
151.43/151.42	c |    260779 |    4162    18629    50617 |    60164    60942     70 | 54.663 % |
151.53/151.57	c |    261152 |    4162    18629    50617 |    60164    61315     70 | 54.662 % |
151.93/151.97	c |    261562 |    4162    18629    50617 |    60164    61725     70 | 54.663 % |
152.23/152.25	c |    262012 |    4162    18629    50617 |    60164    62175     70 | 54.662 % |
152.63/152.68	c |    262505 |    4162    18629    50617 |    60164    62668     70 | 54.662 % |
153.13/153.19	c |    263048 |    4162    18629    50617 |    60164    63211     70 | 54.662 % |
153.73/153.79	c |    263645 |    4162    18629    50617 |    60164    63808     70 | 54.662 % |
154.53/154.51	c |    264300 |    4162    18629    50617 |    60164    64463     70 | 54.662 % |
154.83/154.86	c |    265023 |    4162    18629    50617 |    60164    65186     70 | 54.662 % |
155.43/155.50	c |    265815 |    4162    18629    50617 |    60164    55885     70 | 54.662 % |
155.83/155.85	c |    266687 |    4162    18629    50617 |    60164    56757     72 | 54.662 % |
156.53/156.56	c |    267646 |    4162    18629    50617 |    60164    57716     73 | 54.662 % |
156.93/157.00	c |    268699 |    4162    18629    50617 |    60164    58769     72 | 54.662 % |
158.03/158.07	c |    269858 |    4162    18629    50617 |    60164    59928     72 | 54.662 % |
158.93/159.00	c |    271131 |    4162    18629    50617 |    60071    61201     72 | 54.662 % |
160.23/160.23	c |    272531 |    4162    18629    50617 |    60071    62601     73 | 54.662 % |
161.93/162.01	c |    274072 |    4162    18629    50617 |    60071    64142     73 | 54.663 % |
163.73/163.81	c |    275766 |    4162    18629    50617 |    60071    65836     72 | 54.662 % |
164.13/164.17	c |    277629 |    4162    18629    50617 |    60071    57735     66 | 54.663 % |
165.63/165.70	c |    279678 |    4162    18629    50617 |    60071    59784     68 | 54.662 % |
167.43/167.51	c |    281932 |    4162    18629    50617 |    60110    62038     67 | 54.662 % |
169.53/169.54	c |    284410 |    4162    18629    50617 |    60110    64516     67 | 54.662 % |
172.03/172.06	c |    287136 |    4162    18629    50617 |    60110    55821     66 | 54.663 % |
172.13/172.16	c |    287236 |    4162    18629    50617 |    60110    55921     66 | 54.664 % |
172.23/172.23	c |    287347 |    4162    18629    50617 |    60110    56032     66 | 54.662 % |
172.23/172.30	c |    287468 |    4162    18629    50617 |    60110    56153     66 | 54.662 % |
172.43/172.42	c |    287601 |    4162    18629    50617 |    60110    56286     66 | 54.663 % |
172.53/172.52	c |    287749 |    4162    18629    50617 |    60110    56434     66 | 54.662 % |
172.63/172.63	c |    287909 |    4162    18629    50617 |    60110    56594     67 | 54.663 % |
172.73/172.74	c |    288086 |    4162    18629    50617 |    60110    56771     67 | 54.662 % |
172.93/172.97	c |    288279 |    4162    18629    50617 |    60110    56964     67 | 54.663 % |
173.03/173.09	c |    288491 |    4162    18629    50617 |    60110    57176     67 | 54.662 % |
173.13/173.16	c |    288724 |    4162    18629    50617 |    60110    57409     67 | 54.662 % |
173.33/173.31	c |    288981 |    4162    18629    50617 |    60110    57666     67 | 54.662 % |
173.33/173.41	c |    289262 |    4162    18629    50617 |    60110    57947     67 | 54.663 % |
173.63/173.66	c |    289571 |    4162    18629    50617 |    60110    58256     68 | 54.663 % |
174.03/174.02	c |    289911 |    4162    18629    50617 |    60110    58596     68 | 54.662 % |
174.33/174.40	c |    290284 |    4162    18629    50617 |    58686    58969     68 | 54.662 % |
174.83/174.88	c |    290693 |    4162    18629    50617 |    58686    59378     68 | 54.663 % |
175.43/175.42	c |    291142 |    4162    18629    50617 |    58686    59827     68 | 54.663 % |
175.83/175.86	c |    291637 |    4162    18629    50617 |    58686    60322     67 | 54.663 % |
176.53/176.57	c |    292179 |    3381    15020    41211 |    58686    46622     73 | 63.170 % |
176.83/176.84	c |    292776 |    3379    15020    41211 |    58686    47218     73 | 63.192 % |
177.03/177.03	c |    293432 |    3379    15020    41211 |    58686    47874     72 | 63.192 % |
177.13/177.13	c |    294153 |    3379    15020    41211 |    58686    48595     72 | 63.192 % |
177.33/177.32	c |    294946 |    3379    15020    41211 |    58686    49388     73 | 63.192 % |
177.53/177.55	c |    295818 |    3379    15020    41211 |    58686    50260     72 | 63.193 % |
177.83/177.90	c |    296777 |    3379    15020    41211 |    58686    51219     74 | 63.194 % |
178.23/178.24	c |    297830 |    3379    15020    41211 |    58686    52272     73 | 63.192 % |
178.63/178.65	c |    298989 |    3379    15020    41211 |    58686    53431     76 | 63.192 % |
178.93/178.96	c |    300262 |    3379    15020    41211 |    54442    54704     75 | 63.192 % |
179.52/179.60	c |    301663 |    3379    15020    41211 |    54442    56105     80 | 63.192 % |
180.40/180.47	c |    303204 |    3379    15020    41211 |    54442    57646     81 | 63.192 % |
181.00/181.03	c |    304898 |    3379    15020    41211 |    54442    59340     80 | 63.192 % |
181.40/181.45	c |    306761 |    3379    15020    41211 |    54442    53143     76 | 63.192 % |
182.20/182.30	c |    308810 |    3379    15020    41211 |    54442    55192     75 | 63.192 % |
183.40/183.47	c |    311065 |    3379    15020    41211 |    56382    57447     78 | 63.192 % |
184.70/184.77	c |    313543 |    3379    15020    41211 |    56382    59925     76 | 63.192 % |
186.10/186.20	c |    316268 |    3377    15020    41211 |    56382    62649     77 | 63.224 % |
187.20/187.28	c |    319265 |    3377    15020    41211 |    56382    54727     74 | 63.224 % |
187.30/187.36	c |    319365 |    3376    14989    41123 |    56382    54827     74 | 63.225 % |
187.40/187.42	c |    319477 |    3376    14989    41123 |    56382    54939     74 | 63.224 % |
187.40/187.47	c |    319599 |    3376    14989    41123 |    56382    55061     74 | 63.224 % |
187.50/187.57	c |    319732 |    3376    14989    41123 |    56382    55194     74 | 63.224 % |
187.60/187.66	c |    319881 |    3376    14989    41123 |    56382    55343     74 | 63.224 % |
187.70/187.78	c |    320041 |    3376    14989    41123 |    55462    55503     74 | 63.224 % |
187.80/187.89	c |    320217 |    3376    14989    41123 |    55462    55679     74 | 63.224 % |
188.00/188.01	c |    320411 |    3376    14989    41123 |    55462    55873     74 | 63.224 % |
188.10/188.18	c |    320623 |    3376    14989    41123 |    55462    56085     74 | 63.225 % |
188.20/188.29	c |    320858 |    3376    14989    41123 |    55462    56320     74 | 63.225 % |
188.40/188.44	c |    321114 |    3376    14989    41123 |    55462    56576     74 | 63.224 % |
188.50/188.61	c |    321395 |    3376    14989    41123 |    55462    56857     74 | 63.224 % |
188.70/188.74	c |    321704 |    3376    14989    41123 |    55462    57166     73 | 63.225 % |
188.90/188.92	c |    322044 |    3376    14989    41123 |    55462    57506     74 | 63.224 % |
189.20/189.28	c |    322417 |    3376    14989    41123 |    55462    57879     74 | 63.224 % |
189.50/189.53	c |    322827 |    3376    14989    41123 |    55462    58289     74 | 63.225 % |
189.70/189.78	c |    323276 |    3376    14989    41123 |    55462    58738     74 | 63.225 % |
189.90/189.99	c |    323769 |    3376    14989    41123 |    55462    59231     74 | 63.225 % |
190.20/190.30	c |    324311 |    3376    14989    41123 |    55462    59773     74 | 63.224 % |
190.60/190.64	c |    324908 |    3374    14989    41123 |    55462    60369     75 | 63.301 % |
191.00/191.05	c |    325564 |    3374    14989    41123 |    55462    61025     76 | 63.301 % |
191.50/191.56	c |    326284 |    3374    14989    41123 |    55462    61745     75 | 63.301 % |
192.00/192.04	c |    327076 |    3374    14989    41123 |    55462    51309     73 | 63.301 % |
192.50/192.61	c |    327948 |    3374    14989    41123 |    55462    52181     74 | 63.301 % |
193.00/193.08	c |    328906 |    3374    14989    41123 |    55462    53139     74 | 63.301 % |
193.60/193.64	c |    329959 |    3374    14989    41123 |    55462    54192     74 | 63.301 % |
194.30/194.39	c |    331118 |    3373    14989    41123 |    54233    55350     74 | 63.312 % |
195.00/195.09	c |    332392 |    3373    14989    41123 |    54233    56624     76 | 63.312 % |
195.91/196.01	c |    333792 |    3373    14989    41123 |    54233    58024     75 | 63.312 % |
196.80/196.90	c |    335332 |    3373    14989    41123 |    54233    59564     78 | 63.312 % |
198.00/198.08	c |    337026 |    3373    14989    41123 |    54233    50584     69 | 63.312 % |
199.00/199.01	c |    338889 |    3373    14989    41123 |    54233    52447     70 | 63.312 % |
200.20/200.28	c |    340939 |    3373    14989    41123 |    53558    54497     74 | 63.312 % |
201.41/201.48	c |    343192 |    3359    14885    40824 |    53558    56743     78 | 63.432 % |
202.90/202.91	c |    345670 |    3358    14885    40824 |    53558    59220     79 | 63.617 % |
203.20/203.28	c ===============================================================================
203.20/203.28	c restarts              : 740
203.20/203.28	c conflicts             : 346119         (1710 /sec)
203.20/203.28	c decisions             : 555935         (0.85 % random) (2747 /sec)
203.20/203.28	c propagations          : 68377900       (337852 /sec)
203.20/203.28	c conflict literals     : 27276062       (46.73 % deleted)
203.20/203.28	c Memory used           : 29.16 MB
203.20/203.28	c CPU time              : 202.39 s
203.20/203.28	c 
203.20/203.28	s UNSATISFIABLE
203.20/203.28	s UNSATISFIABLE

Verifier Data

No possible verification on an UNSAT instance

Watcher Data

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 23577
/proc/meminfo: memFree=1389880/2074464 swapFree=1948616/1959888
[pid=23577] ppid=23575 vsize=2412 CPUtime=0.01
/proc/23577/stat : 23577 (SatELiteGTI) S 23575 23577 10436 0 -1 4194304 364 645 0 0 0 0 0 1 25 0 1 0 1014078139 2469888 275 4294967295 134512640 135169312 3219587520 3219586056 3085102830 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/23577/statm: 603 275 235 161 0 42 0
[pid=23581] ppid=23577 vsize=956 CPUtime=0
/proc/23581/stat : 23581 (SatELite_releas) R 23577 23577 10436 0 -1 4202496 119 0 0 0 0 0 0 0 25 0 1 0 1014078139 978944 55 4294967295 134512640 135223648 3214439616 3214438548 134737406 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23581/statm: 239 57 45 174 0 64 0

[startup+0.111754 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 23577
/proc/meminfo: memFree=1389880/2074464 swapFree=1948616/1959888
[pid=23577] ppid=23575 vsize=2412 CPUtime=0.01
/proc/23577/stat : 23577 (SatELiteGTI) S 23575 23577 10436 0 -1 4194304 364 645 0 0 0 0 0 1 25 0 1 0 1014078139 2469888 275 4294967295 134512640 135169312 3219587520 3219586056 3085102830 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/23577/statm: 603 275 235 161 0 42 0
[pid=23581] ppid=23577 vsize=12236 CPUtime=0.11
/proc/23581/stat : 23581 (SatELite_releas) R 23577 23577 10436 0 -1 4202496 2821 0 0 0 10 1 0 0 25 0 1 0 1014078139 12529664 2613 4294967295 134512640 135223648 3214439616 3214437632 134567437 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23581/statm: 3059 2613 73 174 0 2884 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 14648

[startup+0.211745 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 23577
/proc/meminfo: memFree=1389880/2074464 swapFree=1948616/1959888
[pid=23577] ppid=23575 vsize=2412 CPUtime=0.01
/proc/23577/stat : 23577 (SatELiteGTI) S 23575 23577 10436 0 -1 4194304 364 645 0 0 0 0 0 1 25 0 1 0 1014078139 2469888 275 4294967295 134512640 135169312 3219587520 3219586056 3085102830 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/23577/statm: 603 275 235 161 0 42 0
[pid=23581] ppid=23577 vsize=12236 CPUtime=0.21
/proc/23581/stat : 23581 (SatELite_releas) R 23577 23577 10436 0 -1 4202496 2851 0 0 0 20 1 0 0 25 0 1 0 1014078139 12529664 2643 4294967295 134512640 135223648 3214439616 3214437544 134715321 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23581/statm: 3059 2643 73 174 0 2884 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 14648

[startup+0.311737 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 23577
/proc/meminfo: memFree=1389880/2074464 swapFree=1948616/1959888
[pid=23577] ppid=23575 vsize=2412 CPUtime=0.01
/proc/23577/stat : 23577 (SatELiteGTI) S 23575 23577 10436 0 -1 4194304 364 645 0 0 0 0 0 1 25 0 1 0 1014078139 2469888 275 4294967295 134512640 135169312 3219587520 3219586056 3085102830 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/23577/statm: 603 275 235 161 0 42 0
[pid=23581] ppid=23577 vsize=13484 CPUtime=0.31
/proc/23581/stat : 23581 (SatELite_releas) R 23577 23577 10436 0 -1 4202496 3137 0 0 0 29 2 0 0 25 0 1 0 1014078139 13807616 2929 4294967295 134512640 135223648 3214439616 3214437284 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23581/statm: 3371 2929 73 174 0 3196 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 15896

[startup+0.711704 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 23577
/proc/meminfo: memFree=1389880/2074464 swapFree=1948616/1959888
[pid=23577] ppid=23575 vsize=2412 CPUtime=0.01
/proc/23577/stat : 23577 (SatELiteGTI) S 23575 23577 10436 0 -1 4194304 364 645 0 0 0 0 0 1 25 0 1 0 1014078139 2469888 275 4294967295 134512640 135169312 3219587520 3219586056 3085102830 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/23577/statm: 603 275 235 161 0 42 0
[pid=23581] ppid=23577 vsize=15380 CPUtime=0.71
/proc/23581/stat : 23581 (SatELite_releas) R 23577 23577 10436 0 -1 4202496 3551 0 0 0 69 2 0 0 25 0 1 0 1014078139 15749120 3271 4294967295 134512640 135223648 3214439616 3214437968 134601497 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23581/statm: 3845 3271 73 174 0 3670 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 17792

[startup+1.51164 s]
/proc/loadavg: 0.92 0.98 0.99 2/95 23583
/proc/meminfo: memFree=1383896/2074464 swapFree=1948616/1959888
[pid=23577] ppid=23575 vsize=2416 CPUtime=0.77
/proc/23577/stat : 23577 (SatELiteGTI) S 23575 23577 10436 0 -1 4194304 382 4200 0 0 0 0 74 3 18 0 1 0 1014078139 2473984 276 4294967295 134512640 135169312 3219587520 3219583736 3085102830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23577/statm: 604 276 235 161 0 43 0
[pid=23583] ppid=23577 vsize=5004 CPUtime=0.75
/proc/23583/stat : 23583 (minisat_static) R 23577 23577 10436 0 -1 4202496 1081 0 0 0 73 2 0 0 25 0 1 0 1014078216 5124096 1016 4294967295 134512640 135215339 3220767536 3220765824 134528896 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23583/statm: 1251 1016 73 172 0 1078 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 7420

[startup+3.11151 s]
/proc/loadavg: 0.92 0.98 0.99 2/95 23583
/proc/meminfo: memFree=1383276/2074464 swapFree=1948616/1959888
[pid=23577] ppid=23575 vsize=2416 CPUtime=0.77
/proc/23577/stat : 23577 (SatELiteGTI) S 23575 23577 10436 0 -1 4194304 382 4200 0 0 0 0 74 3 18 0 1 0 1014078139 2473984 276 4294967295 134512640 135169312 3219587520 3219583736 3085102830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23577/statm: 604 276 235 161 0 43 0
[pid=23583] ppid=23577 vsize=6364 CPUtime=2.34
/proc/23583/stat : 23583 (minisat_static) R 23577 23577 10436 0 -1 4202496 1422 0 0 0 232 2 0 0 25 0 1 0 1014078216 6516736 1357 4294967295 134512640 135215339 3220767536 3220765536 134532775 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23583/statm: 1591 1357 73 172 0 1418 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 8780

[startup+6.31124 s]
/proc/loadavg: 0.93 0.98 0.99 2/95 23585
/proc/meminfo: memFree=1380796/2074464 swapFree=1948616/1959888
[pid=23577] ppid=23575 vsize=2416 CPUtime=0.77
/proc/23577/stat : 23577 (SatELiteGTI) S 23575 23577 10436 0 -1 4194304 382 4200 0 0 0 0 74 3 18 0 1 0 1014078139 2473984 276 4294967295 134512640 135169312 3219587520 3219583736 3085102830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23577/statm: 604 276 235 161 0 43 0
[pid=23583] ppid=23577 vsize=8896 CPUtime=5.54
/proc/23583/stat : 23583 (minisat_static) R 23577 23577 10436 0 -1 4202496 2041 0 0 0 551 3 0 0 25 0 1 0 1014078216 9109504 1976 4294967295 134512640 135215339 3220767536 3220765824 134528802 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23583/statm: 2224 1976 73 172 0 2051 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 11312

[startup+12.7107 s]
/proc/loadavg: 0.93 0.98 0.99 2/95 23585
/proc/meminfo: memFree=1374500/2074464 swapFree=1948616/1959888
[pid=23577] ppid=23575 vsize=2416 CPUtime=0.77
/proc/23577/stat : 23577 (SatELiteGTI) S 23575 23577 10436 0 -1 4194304 382 4200 0 0 0 0 74 3 18 0 1 0 1014078139 2473984 276 4294967295 134512640 135169312 3219587520 3219583736 3085102830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23577/statm: 604 276 235 161 0 43 0
[pid=23583] ppid=23577 vsize=15344 CPUtime=11.94
/proc/23583/stat : 23583 (minisat_static) R 23577 23577 10436 0 -1 4202496 3619 0 0 0 1190 4 0 0 25 0 1 0 1014078216 15712256 3554 4294967295 134512640 135215339 3220767536 3220765536 134532636 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23583/statm: 3836 3554 73 172 0 3663 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 17760

[startup+25.5197 s]
/proc/loadavg: 0.95 0.98 0.99 2/95 23586
/proc/meminfo: memFree=1364552/2074464 swapFree=1948616/1959888
[pid=23577] ppid=23575 vsize=2416 CPUtime=0.77
/proc/23577/stat : 23577 (SatELiteGTI) S 23575 23577 10436 0 -1 4194304 382 4200 0 0 0 0 74 3 18 0 1 0 1014078139 2473984 276 4294967295 134512640 135169312 3219587520 3219583736 3085102830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23577/statm: 604 276 235 161 0 43 0
[pid=23583] ppid=23577 vsize=24972 CPUtime=24.75
/proc/23583/stat : 23583 (minisat_static) R 23577 23577 10436 0 -1 4202496 6028 0 0 0 2471 4 0 0 25 0 1 0 1014078216 25571328 5963 4294967295 134512640 135215339 3220767536 3220765632 134527481 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23583/statm: 6243 5963 73 172 0 6070 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 27388

[startup+51.1075 s]
/proc/loadavg: 0.96 0.98 0.99 2/95 23771
/proc/meminfo: memFree=1358612/2074464 swapFree=1948616/1959888
[pid=23577] ppid=23575 vsize=2416 CPUtime=0.77
/proc/23577/stat : 23577 (SatELiteGTI) S 23575 23577 10436 0 -1 4194304 382 4200 0 0 0 0 74 3 18 0 1 0 1014078139 2473984 276 4294967295 134512640 135169312 3219587520 3219583736 3085102830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23577/statm: 604 276 235 161 0 43 0
[pid=23583] ppid=23577 vsize=29856 CPUtime=50.34
/proc/23583/stat : 23583 (minisat_static) R 23577 23577 10436 0 -1 4202496 7264 0 0 0 5027 7 0 0 25 0 1 0 1014078216 30572544 7199 4294967295 134512640 135215339 3220767536 3220765824 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23583/statm: 7464 7199 73 172 0 7291 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 32272

[startup+102.313 s]
/proc/loadavg: 1.09 1.01 1.00 2/95 23958
/proc/meminfo: memFree=1358360/2074464 swapFree=1948616/1959888
[pid=23577] ppid=23575 vsize=2416 CPUtime=0.77
/proc/23577/stat : 23577 (SatELiteGTI) S 23575 23577 10436 0 -1 4194304 382 4200 0 0 0 0 74 3 18 0 1 0 1014078139 2473984 276 4294967295 134512640 135169312 3219587520 3219583736 3085102830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23577/statm: 604 276 235 161 0 43 0
[pid=23583] ppid=23577 vsize=29856 CPUtime=101.55
/proc/23583/stat : 23583 (minisat_static) R 23577 23577 10436 0 -1 4202496 7264 0 0 0 10146 9 0 0 25 0 1 0 1014078216 30572544 7199 4294967295 134512640 135215339 3220767536 3220765824 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23583/statm: 7464 7199 73 172 0 7291 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 32272

[startup+162.318 s]
/proc/loadavg: 1.15 1.04 1.01 2/95 24146
/proc/meminfo: memFree=1358608/2074464 swapFree=1948616/1959888
[pid=23577] ppid=23575 vsize=2416 CPUtime=0.77
/proc/23577/stat : 23577 (SatELiteGTI) S 23575 23577 10436 0 -1 4194304 382 4200 0 0 0 0 74 3 18 0 1 0 1014078139 2473984 276 4294967295 134512640 135169312 3219587520 3219583736 3085102830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23577/statm: 604 276 235 161 0 43 0
[pid=23583] ppid=23577 vsize=29856 CPUtime=161.56
/proc/23583/stat : 23583 (minisat_static) R 23577 23577 10436 0 -1 4202496 7264 0 0 0 16147 9 0 0 25 0 1 0 1014078216 30572544 7199 4294967295 134512640 135215339 3220767536 3220765824 134528691 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23583/statm: 7464 7199 73 172 0 7291 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 32272

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

[startup+179.217 s]
/proc/loadavg: 1.11 1.04 1.01 2/95 24147
/proc/meminfo: memFree=1358892/2074464 swapFree=1948616/1959888
[pid=23577] ppid=23575 vsize=2416 CPUtime=0.77
/proc/23577/stat : 23577 (SatELiteGTI) S 23575 23577 10436 0 -1 4194304 382 4200 0 0 0 0 74 3 18 0 1 0 1014078139 2473984 276 4294967295 134512640 135169312 3219587520 3219583736 3085102830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23577/statm: 604 276 235 161 0 43 0
[pid=23583] ppid=23577 vsize=29856 CPUtime=178.46
/proc/23583/stat : 23583 (minisat_static) R 23577 23577 10436 0 -1 4202496 7264 0 0 0 17836 10 0 0 25 0 1 0 1014078216 30572544 7199 4294967295 134512640 135215339 3220767536 3220765824 134528721 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23583/statm: 7464 7199 73 172 0 7291 0
Current children cumulated CPU time (s) 179.23
Current children cumulated vsize (KiB) 32272

[startup+192.016 s]
/proc/loadavg: 1.09 1.04 1.00 2/95 24148
/proc/meminfo: memFree=1358972/2074464 swapFree=1948616/1959888
[pid=23577] ppid=23575 vsize=2416 CPUtime=0.77
/proc/23577/stat : 23577 (SatELiteGTI) S 23575 23577 10436 0 -1 4194304 382 4200 0 0 0 0 74 3 18 0 1 0 1014078139 2473984 276 4294967295 134512640 135169312 3219587520 3219583736 3085102830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23577/statm: 604 276 235 161 0 43 0
[pid=23583] ppid=23577 vsize=29856 CPUtime=191.23
/proc/23583/stat : 23583 (minisat_static) R 23577 23577 10436 0 -1 4202496 7264 0 0 0 19112 11 0 0 25 0 1 0 1014078216 30572544 7199 4294967295 134512640 135215339 3220767536 3220765824 134528784 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23583/statm: 7464 7199 73 172 0 7291 0
Current children cumulated CPU time (s) 192
Current children cumulated vsize (KiB) 32272

[startup+198.415 s]
/proc/loadavg: 1.08 1.03 1.00 2/95 24149
/proc/meminfo: memFree=1358972/2074464 swapFree=1948616/1959888
[pid=23577] ppid=23575 vsize=2416 CPUtime=0.77
/proc/23577/stat : 23577 (SatELiteGTI) S 23575 23577 10436 0 -1 4194304 382 4200 0 0 0 0 74 3 18 0 1 0 1014078139 2473984 276 4294967295 134512640 135169312 3219587520 3219583736 3085102830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23577/statm: 604 276 235 161 0 43 0
[pid=23583] ppid=23577 vsize=29856 CPUtime=197.63
/proc/23583/stat : 23583 (minisat_static) R 23577 23577 10436 0 -1 4202496 7264 0 0 0 19752 11 0 0 25 0 1 0 1014078216 30572544 7199 4294967295 134512640 135215339 3220767536 3220765824 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23583/statm: 7464 7199 73 172 0 7291 0
Current children cumulated CPU time (s) 198.4
Current children cumulated vsize (KiB) 32272

[startup+201.615 s]
/proc/loadavg: 1.08 1.03 1.00 2/95 24150
/proc/meminfo: memFree=1358972/2074464 swapFree=1948616/1959888
[pid=23577] ppid=23575 vsize=2416 CPUtime=0.77
/proc/23577/stat : 23577 (SatELiteGTI) S 23575 23577 10436 0 -1 4194304 382 4200 0 0 0 0 74 3 18 0 1 0 1014078139 2473984 276 4294967295 134512640 135169312 3219587520 3219583736 3085102830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23577/statm: 604 276 235 161 0 43 0
[pid=23583] ppid=23577 vsize=29856 CPUtime=200.83
/proc/23583/stat : 23583 (minisat_static) R 23577 23577 10436 0 -1 4202496 7264 0 0 0 20072 11 0 0 25 0 1 0 1014078216 30572544 7199 4294967295 134512640 135215339 3220767536 3220765536 134532672 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23583/statm: 7464 7199 73 172 0 7291 0
Current children cumulated CPU time (s) 201.6
Current children cumulated vsize (KiB) 32272

[startup+202.415 s]
/proc/loadavg: 1.08 1.03 1.00 2/95 24150
/proc/meminfo: memFree=1358972/2074464 swapFree=1948616/1959888
[pid=23577] ppid=23575 vsize=2416 CPUtime=0.77
/proc/23577/stat : 23577 (SatELiteGTI) S 23575 23577 10436 0 -1 4194304 382 4200 0 0 0 0 74 3 18 0 1 0 1014078139 2473984 276 4294967295 134512640 135169312 3219587520 3219583736 3085102830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23577/statm: 604 276 235 161 0 43 0
[pid=23583] ppid=23577 vsize=29856 CPUtime=201.63
/proc/23583/stat : 23583 (minisat_static) R 23577 23577 10436 0 -1 4202496 7264 0 0 0 20152 11 0 0 25 0 1 0 1014078216 30572544 7199 4294967295 134512640 135215339 3220767536 3220765824 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23583/statm: 7464 7199 73 172 0 7291 0
Current children cumulated CPU time (s) 202.4
Current children cumulated vsize (KiB) 32272

[startup+202.815 s]
/proc/loadavg: 1.08 1.03 1.00 2/95 24150
/proc/meminfo: memFree=1358972/2074464 swapFree=1948616/1959888
[pid=23577] ppid=23575 vsize=2416 CPUtime=0.77
/proc/23577/stat : 23577 (SatELiteGTI) S 23575 23577 10436 0 -1 4194304 382 4200 0 0 0 0 74 3 18 0 1 0 1014078139 2473984 276 4294967295 134512640 135169312 3219587520 3219583736 3085102830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23577/statm: 604 276 235 161 0 43 0
[pid=23583] ppid=23577 vsize=29856 CPUtime=202.03
/proc/23583/stat : 23583 (minisat_static) R 23577 23577 10436 0 -1 4202496 7264 0 0 0 20192 11 0 0 25 0 1 0 1014078216 30572544 7199 4294967295 134512640 135215339 3220767536 3220765536 134532590 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23583/statm: 7464 7199 73 172 0 7291 0
Current children cumulated CPU time (s) 202.8
Current children cumulated vsize (KiB) 32272

[startup+203.215 s]
/proc/loadavg: 1.08 1.03 1.00 2/95 24150
/proc/meminfo: memFree=1358972/2074464 swapFree=1948616/1959888
[pid=23577] ppid=23575 vsize=2416 CPUtime=0.77
/proc/23577/stat : 23577 (SatELiteGTI) S 23575 23577 10436 0 -1 4194304 382 4200 0 0 0 0 74 3 18 0 1 0 1014078139 2473984 276 4294967295 134512640 135169312 3219587520 3219583736 3085102830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23577/statm: 604 276 235 161 0 43 0
[pid=23583] ppid=23577 vsize=29856 CPUtime=202.43
/proc/23583/stat : 23583 (minisat_static) R 23577 23577 10436 0 -1 4202496 7264 0 0 0 20232 11 0 0 25 0 1 0 1014078216 30572544 7199 4294967295 134512640 135215339 3220767536 3220765824 134529148 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23583/statm: 7464 7199 73 172 0 7291 0
Current children cumulated CPU time (s) 203.2
Current children cumulated vsize (KiB) 32272

Child status: 20
Real time (s): 203.291
CPU time (s): 203.27
CPU user time (s): 203.13
CPU system time (s): 0.14
CPU usage (%): 99.9897
Max. virtual memory (cumulated for all children) (KiB): 32272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 203.13
system time used= 0.14
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12128
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21
involuntary context switches= 1015

runsolver used 0.03 second user time and 0.01 second system time

The end

Launcher Data

Begin job on tipi16 at 2009-05-16 19:42:56
IDJOB=1820998
IDBENCH=70800
IDSOLVER=657
FILE ID=tipi16/1820998-1242495776
PBS_JOBID=
Free space on /tmp= 5005 MiB

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

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

MD5SUM BENCH= 1a0b22841159d2c84fdcb857229ffa08
RANDOM SEED= 577789693

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

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

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

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

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


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:       1390284 kB
Buffers:         36076 kB
Cached:         568824 kB
SwapCached:       5940 kB
Active:          70388 kB
Inactive:       544312 kB
HighTotal:     1178688 kB
HighFree:       647160 kB
LowTotal:       895776 kB
LowFree:        743124 kB
SwapTotal:     1959888 kB
SwapFree:      1948616 kB
Dirty:            2900 kB
Writeback:           0 kB
AnonPages:        9428 kB
Mapped:           3368 kB
Slab:            61352 kB
PageTables:        380 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    90760 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 5005 MiB
End job on tipi16 at 2009-05-16 19:46:20