Trace number 1821407

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr r-2009-03-18? (TO) 1200.09 1200.14

General information on the benchmark

NameAPPLICATIONS/c32sat/
post-cbmc-aes-d-r2-noholes.cnf
MD5SUM17bffac3a21734cf7ff7fa9ecba23d9d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1018.73
Satisfiable
(Un)Satisfiability was proved
Number of variables276895
Number of clauses1607567
Sum of the clauses size4321960
Maximum clause length184
Minimum clause length1
Number of clauses of size 140271
Number of clauses of size 21154041
Number of clauses of size 3332345
Number of clauses of size 410685
Number of clauses of size 50
Number of clauses of size over 570225

Solver Data 

0.00/0.00	c Parsing...
1.32/1.36	c ==============================================================================
1.32/1.36	c |           |     ORIGINAL     |              LEARNT              |          |
1.32/1.36	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
1.32/1.36	c ==============================================================================
1.32/1.36	c |         0 | 1356467  3708070 |  406940       0        0     nan |  0.000 % |
47.13/47.12	c |         0 |  255997  1816599 |      --       0       --      -- |     --   | -768336/-956869
47.13/47.13	c ==============================================================================
47.13/47.13	c Result  :   #vars: 4925   #clauses: 255997   #literals: 1816599
47.13/47.13	c CPU time:   46.86 s
47.13/47.13	c ==============================================================================
47.73/47.78	c This is MiniSat 2.0 beta
47.73/47.78	c WARNING: for repeatability, setting FPU to use double precision
47.73/47.78	c ============================[ Problem Statistics ]=============================
47.73/47.78	c |                                                                             |
47.73/47.78	c |  Number of variables:  4925                                                 |
47.73/47.78	c |  Number of clauses:    255997                                               |
47.78/48.03	c |  Parsing time:         0.24         s                                       |
47.78/48.05	c ============================[ Search Statistics ]==============================
47.78/48.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
47.78/48.05	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
47.78/48.05	c ===============================================================================
47.78/48.05	c |         0 |    4925   255997  1816599 |    85332        0    nan |  0.000 % |
47.78/48.11	c |       513 |    4908   255997  1816599 |    85332      496      9 |  0.345 % |
47.78/48.17	c |      1025 |    4907   255997  1816599 |    85332     1007      9 |  0.365 % |
47.78/48.27	c |      1538 |    4907   255997  1816599 |    85332     1520      9 |  0.365 % |
48.42/48.42	c |      2563 |    4907   255997  1816599 |    85332     2545     13 |  0.365 % |
48.42/48.50	c |      3077 |    4900   255997  1816599 |    85332     3052     13 |  0.508 % |
48.50/48.58	c |      3589 |    4899   255997  1816599 |    85332     3563     13 |  0.528 % |
48.80/48.82	c |      4613 |    4898   255997  1816599 |    85332     4586     13 |  0.548 % |
49.20/49.28	c |      6664 |    4896   255997  1816599 |    85332     6635     13 |  0.589 % |
49.30/49.35	c |      7177 |    4896   255997  1816599 |    85332     7148     14 |  0.589 % |
49.49/49.54	c |      7690 |    4896   255997  1816599 |    85332     7661     14 |  0.589 % |
49.69/49.81	c |      8715 |    4896   255997  1816599 |    85332     8686     14 |  0.589 % |
49.79/49.89	c |      9227 |    4895   255997  1816599 |    85332     9197     14 |  0.609 % |
49.89/49.97	c |      9740 |    4895   255997  1816599 |    85332     9710     14 |  0.609 % |
49.99/50.10	c |     10764 |    4892   255997  1816599 | 2147483647    10732     14 |  0.670 % |
50.39/50.44	c |     12812 |    4891   255997  1816599 | 2147483647    12779     14 |  0.690 % |
51.08/51.17	c |     16909 |    4887   255997  1816599 | 2147483647    16872     15 |  0.772 % |
51.08/51.20	c |     17421 |    4887   255997  1816599 | 2147483647    17384     15 |  0.772 % |
51.28/51.34	c |     17933 |    4887   255997  1816599 | 2147483647    17896     15 |  0.772 % |
51.28/51.41	c |     18957 |    4887   255997  1816599 | 2147483647    18920     16 |  0.772 % |
51.48/51.57	c |     19470 |    4887   255997  1816599 | 2147483647    19433     16 |  0.772 % |
51.48/51.61	c |     19982 |    4887   255997  1816599 | 2147483647    19945     16 |  0.772 % |
51.76/51.82	c |     21006 |    4886   255997  1816599 | 2147483647    20968     16 |  0.792 % |
52.16/52.24	c |     23054 |    4886   255997  1816599 | 2147483647    23016     16 |  0.792 % |
52.16/52.30	c |     23567 |    4886   255997  1816599 | 2147483647    23529     16 |  0.792 % |
52.36/52.43	c |     24080 |    4886   255997  1816599 | 2147483647    24042     16 |  0.792 % |
52.46/52.59	c |     25105 |    4886   255997  1816599 | 2147483647    25067     16 |  0.792 % |
52.56/52.66	c |     25618 |    4886   255997  1816599 | 2147483647    25580     16 |  0.792 % |
52.75/52.82	c |     26130 |    4886   255997  1816599 | 2147483647    26092     16 |  0.792 % |
52.84/52.92	c |     27155 |    4886   255997  1816599 | 2147483647    27117     16 |  0.792 % |
53.14/53.24	c |     29203 |    4886   255997  1816599 | 2147483647    29165     16 |  0.792 % |
54.54/54.70	c |     33300 |    4886   255997  1816599 | 2147483647    33262     16 |  0.792 % |
56.62/56.80	c |     41492 |    4885   255997  1816599 | 2147483647    41453     17 |  0.812 % |
56.82/56.96	c |     42005 |    4885   255678  1814935 | 2147483647    41959     17 |  0.812 % |
56.92/57.05	c |     42519 |    4885   255678  1814935 | 2147483647    42473     17 |  0.812 % |
57.02/57.16	c |     43544 |    4885   255678  1814935 | 2147483647    43498     17 |  0.812 % |
57.12/57.30	c |     44057 |    4885   255678  1814935 | 2147483647    44011     17 |  0.812 % |
57.22/57.34	c |     44570 |    4885   255678  1814935 | 2147483647    44524     17 |  0.812 % |
57.41/57.61	c |     45595 |    4885   255678  1814935 | 2147483647    45549     17 |  0.812 % |
57.71/57.90	c |     47644 |    4884   255678  1814935 | 2147483647    47597     17 |  0.833 % |
57.81/57.97	c |     48156 |    4884   255678  1814935 | 2147483647    48109     17 |  0.832 % |
57.91/58.07	c |     48668 |    4884   255678  1814935 | 2147483647    48621     17 |  0.832 % |
58.11/58.26	c |     49693 |    4884   255678  1814935 | 2147483647    49646     17 |  0.832 % |
58.19/58.33	c |     50206 |    4884   255678  1814935 | 2147483647    50159     17 |  0.832 % |
58.28/58.49	c |     50719 |    4884   255678  1814935 | 2147483647    50672     17 |  0.832 % |
58.48/58.62	c |     51744 |    4884   255678  1814935 | 2147483647    51697     17 |  0.832 % |
59.08/59.24	c |     53792 |    4884   255678  1814935 | 2147483647    53745     17 |  0.832 % |
59.78/59.95	c |     57889 |    4884   255678  1814935 | 2147483647    57842     17 |  0.832 % |
59.88/60.06	c |     58401 |    4884   255678  1814935 | 2147483647    58354     17 |  0.832 % |
59.98/60.12	c |     58914 |    4884   255678  1814935 | 2147483647    58867     17 |  0.832 % |
60.18/60.39	c |     59939 |    4884   255678  1814935 | 2147483647    59892     17 |  0.832 % |
60.28/60.47	c |     60452 |    4883   255678  1814935 | 2147483647    60404     17 |  0.853 % |
60.38/60.61	c |     60964 |    4883   255678  1814935 | 2147483647    60916     17 |  0.853 % |
60.48/60.71	c |     61988 |    4882   255678  1814935 | 2147483647    61939     17 |  0.873 % |
61.18/61.39	c |     64036 |    4882   255678  1814935 | 2147483647    63987     17 |  0.873 % |
61.28/61.43	c |     64548 |    4882   255678  1814935 | 2147483647    64499     17 |  0.873 % |
61.48/61.62	c |     65060 |    4882   255678  1814935 | 2147483647    65011     17 |  0.873 % |
61.48/61.70	c |     66084 |    4882   255678  1814935 | 2147483647    66035     17 |  0.873 % |
61.68/61.88	c |     66596 |    4882   255678  1814935 | 2147483647    66547     17 |  0.873 % |
61.78/61.92	c |     67108 |    4882   255678  1814935 | 2147483647    67059     17 |  0.873 % |
62.18/62.38	c |     68132 |    4882   255678  1814935 | 2147483647    68083     17 |  0.873 % |
62.58/62.78	c |     70182 |    4882   255678  1814935 | 2147483647    70133     17 |  0.873 % |
64.58/64.74	c |     74279 |    4882   255678  1814935 | 2147483647    74230     17 |  0.873 % |
68.78/68.94	c |     82472 |    4882   255678  1814935 | 2147483647    82423     17 |  0.873 % |
86.58/86.81	c |     98856 |    4882   255642  1814842 | 2147483647    98804     19 |  0.873 % |
86.68/86.92	c |     99369 |    4882   255642  1814842 | 2147483647    99317     19 |  0.873 % |
86.79/86.99	c |     99881 |    4881   255642  1814842 | 2147483647    99828     19 |  0.893 % |
86.88/87.07	c |    100906 |    4881   255642  1814842 | 2147483647   100853     19 |  0.893 % |
86.98/87.16	c |    101418 |    4881   255642  1814842 | 2147483647   101365     19 |  0.893 % |
87.08/87.30	c |    101931 |    4881   255630  1814811 | 2147483647   101878     19 |  0.893 % |
87.38/87.58	c |    102957 |    4881   255630  1814811 | 2147483647   102904     19 |  0.893 % |
87.78/88.02	c |    105006 |    4880   255630  1814811 | 2147483647   104952     19 |  0.914 % |
87.98/88.12	c |    105519 |    4880   255630  1814811 | 2147483647   105465     19 |  0.914 % |
88.08/88.22	c |    106031 |    4880   255630  1814811 | 2147483647   105977     19 |  0.914 % |
88.18/88.36	c |    107056 |    4880   255630  1814811 | 2147483647   107002     19 |  0.914 % |
88.38/88.55	c |    107568 |    4880   255630  1814811 | 2147483647   107514     19 |  0.914 % |
88.38/88.60	c |    108080 |    4880   255630  1814811 | 2147483647   108026     19 |  0.914 % |
88.78/89.01	c |    109106 |    4880   255630  1814811 | 2147483647   109052     19 |  0.914 % |
89.68/89.91	c |    111154 |    4880   255630  1814811 | 2147483647   111100     19 |  0.914 % |
91.08/91.31	c |    115251 |    4880   255630  1814811 | 2147483647   115197     19 |  0.914 % |
91.19/91.41	c |    115763 |    4880   255630  1814811 | 2147483647   115709     19 |  0.914 % |
91.28/91.46	c |    116276 |    4880   255630  1814811 | 2147483647   116222     19 |  0.914 % |
91.68/91.84	c |    117300 |    4880   255630  1814811 | 2147483647   117246     19 |  0.914 % |
91.68/91.89	c |    117812 |    4880   255630  1814811 | 2147483647   117758     19 |  0.914 % |
91.78/91.94	c |    118324 |    4880   255630  1814811 | 2147483647   118270     19 |  0.914 % |
92.18/92.39	c |    119348 |    4880   255630  1814811 | 2147483647   119294     19 |  0.914 % |
93.98/94.15	c |    121396 |    4880   255630  1814811 | 2147483647   121342     19 |  0.914 % |
94.08/94.26	c |    121911 |    4880   255630  1814811 | 2147483647   121857     19 |  0.914 % |
94.08/94.30	c |    122425 |    4880   255630  1814811 | 2147483647   122371     19 |  0.914 % |
94.28/94.47	c |    123450 |    4880   255630  1814811 | 2147483647   123396     19 |  0.914 % |
94.38/94.54	c |    123962 |    4879   255630  1814811 | 2147483647   123907     19 |  0.934 % |
94.49/94.63	c |    124474 |    4879   255630  1814811 | 2147483647   124419     19 |  0.934 % |
94.78/95.00	c |    125499 |    4879   255630  1814811 | 2147483647   125444     19 |  0.934 % |
95.38/95.61	c |    127547 |    4879   255630  1814811 | 2147483647   127492     19 |  0.934 % |
96.48/96.65	c |    131644 |    4879   255630  1814811 | 2147483647   131589     19 |  0.934 % |
98.78/99.01	c |    139836 |    4879   255630  1814811 | 2147483647   139781     19 |  0.934 % |
98.98/99.13	c |    140348 |    4879   255630  1814811 | 2147483647   140293     19 |  0.934 % |
99.28/99.42	c |    140860 |    4879   255630  1814811 | 2147483647   140805     19 |  0.934 % |
99.48/99.66	c |    141884 |    4879   255630  1814811 | 2147483647   141829     19 |  0.934 % |
99.68/99.83	c |    142397 |    4879   255630  1814811 | 2147483647   142342     19 |  0.934 % |
99.78/99.91	c |    142910 |    4879   255630  1814811 | 2147483647   142855     19 |  0.934 % |
99.88/100.05	c |    143935 |    4879   255630  1814811 | 2147483647   143880     19 |  0.934 % |
100.28/100.50	c |    145984 |    4878   255630  1814811 | 2147483647   145928     19 |  0.954 % |
100.38/100.57	c |    146496 |    4878   255630  1814811 | 2147483647   146440     19 |  0.954 % |
100.58/100.76	c |    147008 |    4878   255630  1814811 | 2147483647   146952     19 |  0.954 % |
100.78/100.96	c |    148033 |    4878   255630  1814811 | 2147483647   147977     19 |  0.954 % |
100.88/101.01	c |    148545 |    4878   255630  1814811 | 2147483647   148489     19 |  0.954 % |
100.88/101.09	c |    149058 |    4878   255630  1814811 | 2147483647   149002     19 |  0.954 % |
101.38/101.60	c |    150082 |    4878   255630  1814811 | 2147483647   150026     19 |  0.954 % |
102.19/102.35	c |    152130 |    4878   255630  1814811 | 2147483647   152074     19 |  0.954 % |
102.78/102.96	c |    156227 |    4878   255630  1814811 | 2147483647   156171     19 |  0.954 % |
102.88/103.09	c |    156739 |    4876   255630  1814811 | 2147483647   156682     19 |  0.995 % |
103.18/103.33	c |    157252 |    4876   255630  1814811 | 2147483647   157195     19 |  0.995 % |
103.58/103.72	c |    158276 |    4876   255630  1814811 | 2147483647   158219     19 |  0.995 % |
103.68/103.85	c |    158788 |    4876   255577  1814661 | 2147483647   158726     19 |  0.995 % |
103.78/103.94	c |    159300 |    4876   255577  1814661 | 2147483647   159238     19 |  0.995 % |
104.28/104.43	c |    160325 |    4876   255577  1814661 | 2147483647   160263     19 |  0.995 % |
104.58/104.75	c |    162373 |    4876   255577  1814661 | 2147483647   162311     19 |  0.995 % |
104.68/104.88	c |    162887 |    4876   255577  1814661 | 2147483647   162825     19 |  0.995 % |
104.78/104.98	c |    163400 |    4876   255577  1814661 | 2147483647   163338     19 |  0.995 % |
105.08/105.29	c |    164425 |    4876   255577  1814661 | 2147483647   164363     19 |  0.995 % |
105.18/105.35	c |    164937 |    4876   255577  1814661 | 2147483647   164875     19 |  0.995 % |
105.28/105.43	c |    165449 |    4876   255577  1814661 | 2147483647   165387     19 |  0.995 % |
105.68/105.85	c |    166473 |    4876   255577  1814661 | 2147483647   166411     19 |  0.995 % |
105.88/106.11	c |    168521 |    4876   255577  1814661 | 2147483647   168459     19 |  0.995 % |
107.48/107.65	c |    172617 |    4876   255577  1814661 | 2147483647   172555     19 |  0.995 % |
111.59/111.74	c |    180811 |    4876   255577  1814661 | 2147483647   180749     19 |  0.995 % |
117.59/117.78	c |    197195 |    4876   255577  1814661 | 2147483647   197133     20 |  0.995 % |
145.49/145.64	c |    229963 |    4875   255577  1814661 | 2147483647   229900     20 |  1.015 % |
145.69/145.86	c |    230475 |    4875   255565  1814630 | 2147483647   230412     20 |  1.015 % |
145.79/146.00	c |    230988 |    4875   255565  1814630 | 2147483647   230925     20 |  1.015 % |
146.49/146.65	c |    232012 |    4875   255565  1814630 | 2147483647   231949     20 |  1.015 % |
146.59/146.77	c |    232524 |    4875   255565  1814630 | 2147483647   232461     20 |  1.015 % |
147.19/147.33	c |    233036 |    4875   255565  1814630 | 2147483647   232973     20 |  1.015 % |
147.29/147.45	c |    234060 |    4875   255565  1814630 | 2147483647   233997     20 |  1.015 % |
148.09/148.29	c |    236109 |    4875   255565  1814630 | 2147483647   236046     20 |  1.015 % |
148.19/148.37	c |    236623 |    4875   255565  1814630 | 2147483647   236560     20 |  1.015 % |
148.39/148.54	c |    237135 |    4875   255565  1814630 | 2147483647   237072     20 |  1.015 % |
148.89/149.08	c |    238159 |    4874   255565  1814630 | 2147483647   238095     20 |  1.036 % |
149.09/149.30	c |    238671 |    4874   255565  1814630 | 2147483647   238607     20 |  1.036 % |
149.19/149.40	c |    239183 |    4874   255565  1814630 | 2147483647   239119     20 |  1.036 % |
149.79/149.98	c |    240208 |    4874   255565  1814630 | 2147483647   240144     20 |  1.036 % |
150.29/150.44	c |    242256 |    4874   255565  1814630 | 2147483647   242192     20 |  1.036 % |
151.59/151.74	c |    246353 |    4874   255565  1814630 | 2147483647   246289     20 |  1.036 % |
151.69/151.91	c |    246866 |    4873   255565  1814630 | 2147483647   246801     20 |  1.056 % |
152.09/152.27	c |    247379 |    4873   255565  1814630 | 2147483647   247314     20 |  1.056 % |
152.39/152.59	c |    248404 |    4873   255565  1814630 | 2147483647   248339     20 |  1.056 % |
152.69/152.84	c |    248916 |    4873   255565  1814630 | 2147483647   248851     20 |  1.056 % |
152.79/152.98	c |    249428 |    4873   255565  1814630 | 2147483647   249363     20 |  1.056 % |
153.29/153.45	c |    250453 |    4873   255565  1814630 | 2147483647   250388     20 |  1.056 % |
154.39/154.59	c |    252502 |    4873   255565  1814630 | 2147483647   252437     20 |  1.056 % |
154.69/154.88	c |    253014 |    4873   255565  1814630 | 2147483647   252949     20 |  1.056 % |
154.79/155.00	c |    253528 |    4873   255565  1814630 | 2147483647   253463     20 |  1.056 % |
155.39/155.57	c |    254554 |    4873   255565  1814630 | 2147483647   254489     20 |  1.056 % |
155.69/155.90	c |    255066 |    4873   255565  1814630 | 2147483647   255001     20 |  1.056 % |
156.09/156.29	c |    255578 |    4873   255565  1814630 | 2147483647   255513     20 |  1.056 % |
156.39/156.52	c |    256603 |    4873   255565  1814630 | 2147483647   256538     20 |  1.056 % |
156.99/157.15	c |    258652 |    4873   255565  1814630 | 2147483647   258587     20 |  1.056 % |
159.19/159.39	c |    262749 |    4873   255565  1814630 | 2147483647   262684     20 |  1.056 % |
168.89/169.06	c |    270942 |    4873   255565  1814630 | 2147483647   270877     20 |  1.056 % |
169.09/169.29	c |    271454 |    4873   255565  1814630 | 2147483647   271389     20 |  1.056 % |
169.39/169.55	c |    271966 |    4873   255565  1814630 | 2147483647   271901     20 |  1.056 % |
169.89/170.03	c |    272990 |    4873   255565  1814630 | 2147483647   272925     20 |  1.056 % |
170.19/170.34	c |    273502 |    4873   255565  1814630 | 2147483647   273437     20 |  1.056 % |
170.59/170.72	c |    274014 |    4873   255565  1814630 | 2147483647   273949     20 |  1.056 % |
170.79/170.95	c |    275038 |    4873   255565  1814630 | 2147483647   274973     20 |  1.056 % |
171.29/171.42	c |    277087 |    4873   255565  1814630 | 2147483647   277022     20 |  1.056 % |
171.59/171.71	c |    277599 |    4873   255565  1814630 | 2147483647   277534     20 |  1.056 % |
171.79/171.96	c |    278111 |    4873   255565  1814630 | 2147483647   278046     20 |  1.056 % |
172.29/172.51	c |    279136 |    4873   255565  1814630 | 2147483647   279071     20 |  1.056 % |
172.39/172.59	c |    279648 |    4873   255565  1814630 | 2147483647   279583     20 |  1.056 % |
172.69/172.83	c |    280162 |    4873   255565  1814630 | 2147483647   280097     20 |  1.056 % |
172.99/173.21	c |    281186 |    4873   255565  1814630 | 2147483647   281121     20 |  1.056 % |
175.69/175.85	c |    283235 |    4873   255565  1814630 | 2147483647   283170     20 |  1.056 % |
178.99/179.15	c |    287331 |    4873   255565  1814630 | 2147483647   287266     20 |  1.056 % |
179.20/179.37	c |    287843 |    4873   255565  1814630 | 2147483647   287778     20 |  1.056 % |
179.69/179.87	c |    288355 |    4873   255565  1814630 | 2147483647   288290     20 |  1.056 % |
179.89/180.07	c |    289380 |    4873   255565  1814630 | 2147483647   289315     20 |  1.056 % |
180.09/180.29	c |    289893 |    4873   255565  1814630 | 2147483647   289828     20 |  1.056 % |
180.59/180.74	c |    290405 |    4873   255565  1814630 | 2147483647   290340     20 |  1.056 % |
180.79/180.96	c |    291430 |    4873   255565  1814630 | 2147483647   291365     20 |  1.056 % |
183.19/183.36	c |    293478 |    4873   255565  1814630 | 2147483647   293413     20 |  1.056 % |
183.69/183.83	c |    293991 |    4873   255565  1814630 | 2147483647   293926     20 |  1.056 % |
183.79/183.95	c |    294503 |    4873   255565  1814630 | 2147483647   294438     20 |  1.056 % |
184.59/184.73	c |    295529 |    4873   255565  1814630 | 2147483647   295464     20 |  1.056 % |
184.79/184.96	c |    296041 |    4873   255565  1814630 | 2147483647   295976     20 |  1.056 % |
185.69/185.90	c |    296554 |    4873   255565  1814630 | 2147483647   296489     20 |  1.056 % |
185.99/186.11	c |    297579 |    4873   255565  1814630 | 2147483647   297514     20 |  1.056 % |
186.39/186.54	c |    299627 |    4873   255565  1814630 | 2147483647   299562     20 |  1.056 % |
190.29/190.49	c |    303724 |    4873   255565  1814630 | 2147483647   303659     20 |  1.056 % |
195.90/196.10	c |    311916 |    4873   255565  1814630 | 2147483647   311851     20 |  1.056 % |
207.90/208.10	c |    328300 |    4873   255541  1814568 | 2147483647   328235     21 |  1.056 % |
208.10/208.29	c |    328813 |    4873   255541  1814568 | 2147483647   328748     20 |  1.056 % |
208.30/208.48	c |    329325 |    4873   255541  1814568 | 2147483647   329260     20 |  1.056 % |
208.90/209.09	c |    330349 |    4872   255541  1814568 | 2147483647   330283     20 |  1.076 % |
209.00/209.22	c |    330862 |    4872   255541  1814568 | 2147483647   330796     20 |  1.076 % |
209.20/209.37	c |    331374 |    4872   255541  1814568 | 2147483647   331308     20 |  1.076 % |
210.20/210.41	c |    332398 |    4872   255541  1814568 | 2147483647   332332     20 |  1.076 % |
211.80/211.97	c |    334447 |    4872   255541  1814568 | 2147483647   334381     20 |  1.076 % |
212.10/212.24	c |    334960 |    4872   255541  1814568 | 2147483647   334894     20 |  1.076 % |
212.30/212.46	c |    335473 |    4872   255541  1814568 | 2147483647   335407     20 |  1.076 % |
213.10/213.30	c |    336497 |    4872   255541  1814568 | 2147483647   336431     20 |  1.076 % |
213.20/213.40	c |    337011 |    4872   255541  1814568 | 2147483647   336945     20 |  1.076 % |
213.50/213.70	c |    337525 |    4872   255541  1814568 | 2147483647   337459     20 |  1.076 % |
214.00/214.18	c |    338550 |    4872   255541  1814568 | 2147483647   338484     20 |  1.076 % |
217.10/217.24	c |    340598 |    4872   255541  1814568 | 2147483647   340532     20 |  1.076 % |
218.10/218.28	c |    344695 |    4872   255541  1814568 | 2147483647   344629     20 |  1.076 % |
218.60/218.74	c |    345207 |    4872   255541  1814568 | 2147483647   345141     20 |  1.076 % |
218.90/219.09	c |    345719 |    4872   255541  1814568 | 2147483647   345653     20 |  1.076 % |
219.30/219.52	c |    346744 |    4872   255541  1814568 | 2147483647   346678     20 |  1.076 % |
219.50/219.71	c |    347257 |    4872   255541  1814568 | 2147483647   347191     20 |  1.076 % |
219.70/219.86	c |    347769 |    4872   255541  1814568 | 2147483647   347703     20 |  1.076 % |
220.90/221.10	c |    348794 |    4872   255541  1814568 | 2147483647   348728     20 |  1.076 % |
222.30/222.44	c |    350842 |    4872   255541  1814568 | 2147483647   350776     20 |  1.076 % |
222.40/222.58	c |    351354 |    4872   255541  1814568 | 2147483647   351288     20 |  1.076 % |
222.70/222.88	c |    351866 |    4872   255541  1814568 | 2147483647   351800     20 |  1.076 % |
223.40/223.60	c |    352890 |    4872   255541  1814568 | 2147483647   352824     20 |  1.076 % |
223.50/223.68	c |    353402 |    4872   255541  1814568 | 2147483647   353336     20 |  1.076 % |
223.90/224.09	c |    353915 |    4872   255541  1814568 | 2147483647   353849     20 |  1.076 % |
224.40/224.55	c |    354939 |    4872   255541  1814568 | 2147483647   354873     20 |  1.076 % |
227.70/227.87	c |    356988 |    4872   255541  1814568 | 2147483647   356922     20 |  1.076 % |
230.20/230.33	c |    361084 |    4872   255541  1814568 | 2147483647   361018     20 |  1.076 % |
235.30/235.43	c |    369278 |    4871   255541  1814568 | 2147483647   369211     20 |  1.096 % |
235.40/235.53	c |    369791 |    4871   255541  1814568 | 2147483647   369724     20 |  1.096 % |
235.60/235.79	c |    370305 |    4871   255541  1814568 |   369933   370238     20 |  1.096 % |
236.30/236.47	c |    371330 |    4871   255541  1814568 |   369933   322221     20 |  1.096 % |
236.89/237.03	c |    371842 |    4871   255541  1814568 |   369933   322733     20 |  1.096 % |
237.29/237.44	c |    372355 |    4871   255541  1814568 |   369933   323246     20 |  1.096 % |
237.69/237.87	c |    373379 |    4871   255541  1814568 |   369933   324270     20 |  1.096 % |
238.19/238.40	c |    375430 |    4871   255541  1814568 |   369933   326321     20 |  1.096 % |
238.29/238.48	c |    375942 |    4871   255541  1814568 |   369933   326833     20 |  1.096 % |
238.99/239.11	c |    376455 |    4871   255541  1814568 |   369933   327346     20 |  1.096 % |
239.39/239.51	c |    377479 |    4871   255541  1814568 |   369933   328370     20 |  1.096 % |
240.09/240.21	c |    377991 |    4871   255541  1814568 |   369933   328882     20 |  1.096 % |
240.09/240.30	c |    378503 |    4871   255541  1814568 |   369933   329394     20 |  1.096 % |
241.29/241.49	c |    379527 |    4871   255541  1814568 |   369933   330418     20 |  1.096 % |
242.69/242.82	c |    381575 |    4871   255541  1814568 | 2147483647   332466     20 |  1.096 % |
245.89/246.02	c |    385671 |    4871   255541  1814568 | 2147483647   336562     20 |  1.096 % |
245.99/246.13	c |    386183 |    4871   255541  1814568 | 2147483647   337074     20 |  1.096 % |
246.39/246.52	c |    386696 |    4871   255541  1814568 | 2147483647   337587     20 |  1.096 % |
246.59/246.75	c |    387722 |    4871   255541  1814568 | 2147483647   338613     20 |  1.096 % |
246.89/247.07	c |    388235 |    4871   255541  1814568 | 2147483647   339126     20 |  1.096 % |
247.29/247.51	c |    388748 |    4871   255541  1814568 | 2147483647   339639     20 |  1.096 % |
247.89/248.02	c |    389772 |    4871   255541  1814568 | 2147483647   340663     20 |  1.096 % |
250.09/250.25	c |    391820 |    4871   255541  1814568 | 2147483647   342711     20 |  1.096 % |
250.49/250.61	c |    392332 |    4871   255541  1814568 | 2147483647   343223     20 |  1.096 % |
250.79/250.94	c |    392846 |    4871   255541  1814568 | 2147483647   343737     20 |  1.096 % |
250.99/251.12	c |    393872 |    4871   255541  1814568 | 2147483647   344763     20 |  1.096 % |
251.29/251.45	c |    394385 |    4871   255541  1814568 | 2147483647   345276     20 |  1.096 % |
251.39/251.55	c |    394897 |    4871   255541  1814568 | 2147483647   345788     20 |  1.096 % |
251.59/251.73	c |    395922 |    4871   255541  1814568 | 2147483647   346813     20 |  1.096 % |
253.59/253.78	c |    397971 |    4871   255541  1814568 | 2147483647   348862     20 |  1.096 % |
257.79/257.95	c |    402067 |    4871   255541  1814568 |   350892   309859     20 |  1.096 % |
268.39/268.55	c |    410259 |    4871   255541  1814568 | 2147483647   318051     20 |  1.096 % |
277.30/277.43	c |    426643 |    4871   255541  1814568 | 2147483647   334435     20 |  1.096 % |
343.70/343.87	c |    459411 |    4871   255541  1814568 | 2147483647   367203     21 |  1.096 % |
421.50/421.66	c |    524947 |    4871   255517  1814506 |   427790   332476     22 |  1.097 % |
421.70/421.88	c |    525459 |    4871   255517  1814506 |   427790   332988     22 |  1.096 % |
421.80/422.00	c |    525972 |    4871   255517  1814506 |   427790   333501     22 |  1.096 % |
423.20/423.36	c |    526997 |    4871   255517  1814506 |   427790   334526     22 |  1.096 % |
423.70/423.82	c |    527511 |    4871   255517  1814506 |   427790   335040     22 |  1.096 % |
423.90/424.03	c |    528025 |    4871   255517  1814506 |   427790   335554     22 |  1.096 % |
424.40/424.59	c |    529051 |    4871   255517  1814506 |   427790   336580     22 |  1.096 % |
424.80/424.96	c |    531100 |    4871   255517  1814506 |   337530   338629     22 |  1.096 % |
425.61/425.78	c |    531613 |    4871   255517  1814506 |   337530   277488     22 |  1.096 % |
426.20/426.37	c |    532127 |    4871   255517  1814506 |   337530   278002     22 |  1.096 % |
426.71/426.87	c |    533151 |    4871   255517  1814506 |   337530   279026     22 |  1.096 % |
427.00/427.17	c |    533665 |    4871   255517  1814506 |   337530   279540     22 |  1.096 % |
427.10/427.28	c |    534180 |    4871   255517  1814506 |   337530   280055     22 |  1.096 % |
427.40/427.53	c |    535204 |    4871   255517  1814506 |   337530   281079     22 |  1.096 % |
429.90/430.07	c |    537253 |    4871   255517  1814506 |   337530   283128     22 |  1.096 % |
432.50/432.65	c |    541350 |    4871   255517  1814506 |   285876   287225     22 |  1.096 % |
432.90/433.04	c |    541863 |    4871   255517  1814506 |   285876   259016     22 |  1.096 % |
433.10/433.27	c |    542377 |    4871   255517  1814506 |   285876   259530     22 |  1.096 % |
433.40/433.55	c |    543401 |    4871   255517  1814506 |   285876   260554     22 |  1.096 % |
433.90/434.10	c |    543914 |    4871   255517  1814506 |   285876   261067     22 |  1.096 % |
434.20/434.35	c |    544426 |    4871   255517  1814506 |   285876   261579     22 |  1.096 % |
434.60/434.74	c |    545451 |    4871   255517  1814506 |   285876   262604     22 |  1.096 % |
435.60/435.77	c |    547500 |    4871   255517  1814506 |   285876   264653     22 |  1.096 % |
436.00/436.20	c |    548012 |    4871   255517  1814506 |   285876   265165     22 |  1.097 % |
436.30/436.43	c |    548525 |    4871   255517  1814506 |   285876   265678     22 |  1.097 % |
437.71/437.88	c |    549551 |    4871   255517  1814506 |   285876   266704     22 |  1.096 % |
438.01/438.21	c |    550064 |    4871   255517  1814506 | 2147483647   267217     22 |  1.096 % |
438.31/438.47	c |    550577 |    4871   255517  1814506 | 2147483647   267730     22 |  1.096 % |
438.81/438.92	c |    551604 |    4871   255517  1814506 | 2147483647   268757     22 |  1.096 % |
439.31/439.42	c |    553653 |    4871   255517  1814506 | 2147483647   270806     22 |  1.096 % |
441.11/441.28	c |    557749 |    4871   255517  1814506 | 2147483647   274902     22 |  1.096 % |
448.01/448.12	c |    565942 |    4871   255517  1814506 | 2147483647   283095     22 |  1.096 % |
448.31/448.48	c |    566458 |    4871   255517  1814506 | 2147483647   283611     22 |  1.096 % |
448.51/448.70	c |    566971 |    4871   255517  1814506 | 2147483647   284124     22 |  1.096 % |
448.71/448.92	c |    567995 |    4871   255517  1814506 | 2147483647   285148     22 |  1.096 % |
448.91/449.10	c |    568508 |    4871   255517  1814506 | 2147483647   285661     22 |  1.096 % |
449.21/449.41	c |    569022 |    4870   255505  1814475 | 2147483647   286173     22 |  1.117 % |
449.81/449.96	c |    570046 |    4870   255505  1814475 | 2147483647   287197     22 |  1.117 % |
450.71/450.84	c |    572094 |    4870   255505  1814475 | 2147483647   289245     22 |  1.117 % |
451.01/451.14	c |    572608 |    4870   255505  1814475 | 2147483647   289759     22 |  1.117 % |
451.41/451.59	c |    573120 |    4870   255505  1814475 | 2147483647   290271     22 |  1.117 % |
451.71/451.85	c |    574146 |    4870   255505  1814475 | 2147483647   291297     22 |  1.117 % |
452.31/452.46	c |    574658 |    4870   255505  1814475 | 2147483647   291809     22 |  1.117 % |
452.71/452.86	c |    575170 |    4870   255505  1814475 | 2147483647   292321     22 |  1.117 % |
452.81/452.99	c |    576195 |    4870   255505  1814475 | 2147483647   293346     22 |  1.117 % |
455.91/456.03	c |    578243 |    4870   255505  1814475 | 2147483647   295394     22 |  1.117 % |
459.71/459.85	c |    582340 |    4870   255505  1814475 | 2147483647   299491     22 |  1.117 % |
459.91/460.07	c |    582852 |    4870   255505  1814475 | 2147483647   300003     22 |  1.117 % |
460.11/460.30	c |    583365 |    4870   255505  1814475 | 2147483647   300516     22 |  1.117 % |
460.31/460.51	c |    584390 |    4870   255505  1814475 | 2147483647   301541     22 |  1.117 % |
461.21/461.41	c |    584903 |    4870   255505  1814475 | 2147483647   302054     22 |  1.117 % |
461.41/461.55	c |    585417 |    4870   255505  1814475 | 2147483647   302568     22 |  1.117 % |
461.91/462.10	c |    586442 |    4870   255505  1814475 | 2147483647   303593     22 |  1.117 % |
464.01/464.13	c |    588490 |    4870   255505  1814475 | 2147483647   305641     22 |  1.117 % |
464.11/464.28	c |    589003 |    4870   255505  1814475 | 2147483647   306154     22 |  1.117 % |
464.31/464.42	c |    589515 |    4870   255505  1814475 | 2147483647   306666     22 |  1.117 % |
464.51/464.71	c |    590540 |    4870   255505  1814475 | 2147483647   307691     22 |  1.117 % |
464.71/464.84	c |    591052 |    4870   255505  1814475 | 2147483647   308203     22 |  1.117 % |
465.11/465.29	c |    591565 |    4870   255505  1814475 | 2147483647   308716     22 |  1.117 % |
465.41/465.56	c |    592591 |    4870   255505  1814475 | 2147483647   309742     22 |  1.117 % |
468.31/468.51	c |    594640 |    4870   255505  1814475 | 2147483647   311791     22 |  1.117 % |
469.11/469.24	c |    598737 |    4870   255505  1814475 | 2147483647   315888     22 |  1.117 % |
474.31/474.45	c |    606930 |    4870   255505  1814475 | 2147483647   324081     22 |  1.117 % |
486.31/486.51	c |    623314 |    4870   255505  1814475 | 2147483647   340465     22 |  1.117 % |
486.51/486.68	c |    623826 |    4870   255505  1814475 | 2147483647   340977     22 |  1.117 % |
486.81/486.94	c |    624338 |    4870   255505  1814475 | 2147483647   341489     22 |  1.117 % |
487.61/487.72	c |    625362 |    4870   255505  1814475 | 2147483647   342513     22 |  1.117 % |
488.11/488.25	c |    625874 |    4870   255505  1814475 | 2147483647   343025     22 |  1.117 % |
488.21/488.39	c |    626387 |    4870   255505  1814475 | 2147483647   343538     22 |  1.117 % |
488.71/488.88	c |    627412 |    4870   255505  1814475 | 2147483647   344563     22 |  1.117 % |
490.71/490.90	c |    629460 |    4870   255505  1814475 | 2147483647   346611     22 |  1.117 % |
491.21/491.41	c |    629974 |    4870   255505  1814475 | 2147483647   347125     22 |  1.117 % |
491.41/491.55	c |    630486 |    4870   255505  1814475 | 2147483647   347637     22 |  1.117 % |
492.61/492.77	c |    631510 |    4870   255505  1814475 | 2147483647   348661     22 |  1.117 % |
492.81/492.99	c |    632023 |    4870   255505  1814475 | 2147483647   349174     22 |  1.117 % |
492.91/493.11	c |    632535 |    4870   255505  1814475 | 2147483647   349686     22 |  1.117 % |
493.91/494.03	c |    633560 |    4870   255505  1814475 | 2147483647   350711     22 |  1.117 % |
494.71/494.89	c |    635610 |    4870   255505  1814475 | 2147483647   352761     22 |  1.117 % |
500.21/500.35	c |    639706 |    4870   255505  1814475 | 2147483647   356857     22 |  1.117 % |
500.71/500.86	c |    640218 |    4870   255505  1814475 | 2147483647   357369     22 |  1.117 % |
500.91/501.05	c |    640730 |    4870   255505  1814475 | 2147483647   357881     22 |  1.117 % |
501.52/501.62	c |    641754 |    4870   255505  1814475 | 2147483647   358905     22 |  1.117 % |
501.61/501.81	c |    642268 |    4870   255505  1814475 | 2147483647   359419     22 |  1.117 % |
501.81/501.97	c |    642781 |    4870   255505  1814475 | 2147483647   359932     22 |  1.117 % |
502.11/502.22	c |    643806 |    4870   255505  1814475 | 2147483647   360957     22 |  1.117 % |
502.41/502.60	c |    645854 |    4870   255505  1814475 | 2147483647   363005     22 |  1.117 % |
502.51/502.68	c |    646368 |    4870   255505  1814475 | 2147483647   363519     22 |  1.117 % |
502.91/503.06	c |    646881 |    4870   255505  1814475 | 2147483647   364032     22 |  1.117 % |
504.31/504.44	c |    647905 |    4870   255505  1814475 | 2147483647   365056     22 |  1.117 % |
504.61/504.79	c |    648418 |    4870   255505  1814475 | 2147483647   365569     22 |  1.117 % |
505.11/505.24	c |    648930 |    4870   255505  1814475 | 2147483647   366081     22 |  1.117 % |
505.41/505.60	c |    649954 |    4870   255505  1814475 | 2147483647   367105     22 |  1.117 % |
506.21/506.40	c |    652002 |    4870   255505  1814475 | 2147483647   369153     22 |  1.117 % |
509.61/509.72	c |    656099 |    4870   255505  1814475 | 2147483647   373250     22 |  1.117 % |
513.81/514.01	c |    664291 |    4870   255505  1814475 | 2147483647   381442     22 |  1.117 % |
514.01/514.17	c |    664803 |    4870   255505  1814475 | 2147483647   381954     22 |  1.117 % |
514.41/514.52	c |    665317 |    4870   255505  1814475 | 2147483647   382468     22 |  1.117 % |
515.21/515.38	c |    666342 |    4870   255505  1814475 | 2147483647   383493     22 |  1.117 % |
515.51/515.63	c |    666855 |    4870   255505  1814475 | 2147483647   384006     22 |  1.117 % |
515.61/515.72	c |    667369 |    4870   255505  1814475 | 2147483647   384520     22 |  1.117 % |
517.61/517.79	c |    668394 |    4870   255505  1814475 | 2147483647   385545     22 |  1.117 % |
517.91/518.03	c |    670442 |    4870   255505  1814475 |   387151   387593     22 |  1.117 % |
519.01/519.20	c |    670954 |    4870   255505  1814475 |   387151   343939     22 |  1.117 % |
519.21/519.40	c |    671467 |    4870   255505  1814475 |   387151   344452     22 |  1.117 % |
519.92/520.02	c |    672491 |    4870   255505  1814475 |   387151   345476     22 |  1.117 % |
520.42/520.56	c |    673003 |    4870   255505  1814475 |   387151   345988     22 |  1.117 % |
520.92/521.10	c |    673515 |    4870   255505  1814475 |   387151   346500     22 |  1.117 % |
521.52/521.62	c |    674540 |    4870   255505  1814475 |   387151   347525     22 |  1.117 % |
524.42/524.59	c |    676588 |    4870   255505  1814475 |   387151   349573     22 |  1.117 % |
526.92/527.11	c |    680685 |    4870   255505  1814475 | 2147483647   353670     22 |  1.117 % |
527.12/527.23	c |    681198 |    4870   255505  1814475 | 2147483647   354183     22 |  1.117 % |
527.22/527.34	c |    681711 |    4870   255505  1814475 | 2147483647   354696     22 |  1.117 % |
529.02/529.18	c |    682736 |    4870   255505  1814475 | 2147483647   355721     22 |  1.117 % |
529.42/529.52	c |    683251 |    4870   255505  1814475 | 2147483647   356236     22 |  1.117 % |
529.42/529.62	c |    683763 |    4870   255505  1814475 | 2147483647   356748     22 |  1.117 % |
529.82/529.98	c |    684787 |    4870   255505  1814475 | 2147483647   357772     22 |  1.117 % |
531.52/531.64	c |    686835 |    4870   255505  1814475 | 2147483647   359820     22 |  1.117 % |
531.72/531.91	c |    687347 |    4870   255505  1814475 | 2147483647   360332     22 |  1.117 % |
532.02/532.15	c |    687861 |    4870   255505  1814475 | 2147483647   360846     22 |  1.117 % |
532.22/532.39	c |    688885 |    4870   255505  1814475 | 2147483647   361870     22 |  1.117 % |
532.42/532.53	c |    689398 |    4870   255505  1814475 | 2147483647   362383     22 |  1.117 % |
532.62/532.74	c |    689911 |    4870   255505  1814475 | 2147483647   362896     22 |  1.117 % |
533.12/533.26	c |    690935 |    4870   255505  1814475 | 2147483647   363920     22 |  1.117 % |
534.82/534.99	c |    692983 |    4870   255505  1814475 | 2147483647   365968     22 |  1.117 % |
537.92/538.07	c |    697081 |    4870   255505  1814475 | 2147483647   370066     22 |  1.117 % |
545.82/545.93	c |    705274 |    4870   255505  1814475 |   372985   324887     22 |  1.117 % |
580.92/581.03	c |    721659 |    4870   255505  1814475 | 2147483647   304342     21 |  1.117 % |
616.82/616.96	c |    754428 |    4870   255505  1814475 |   332683   291995     21 |  1.117 % |
617.12/617.21	c |    754941 |    4870   255505  1814475 |   332683   292508     21 |  1.117 % |
617.42/617.54	c |    755453 |    4870   255505  1814475 |   332683   293020     21 |  1.117 % |
617.92/618.08	c |    756477 |    4870   255505  1814475 |   332683   294044     21 |  1.117 % |
618.32/618.44	c |    756989 |    4870   255505  1814475 |   332683   294556     21 |  1.117 % |
618.52/618.63	c |    757501 |    4870   255505  1814475 |   332683   295068     21 |  1.117 % |
618.82/618.94	c |    758525 |    4870   255505  1814475 |   332683   296092     21 |  1.117 % |
620.02/620.19	c |    760573 |    4870   255505  1814475 |   297568   298140     21 |  1.117 % |
620.72/620.89	c |    761086 |    4870   255505  1814475 |   297568   268839     21 |  1.117 % |
620.92/621.10	c |    761600 |    4870   255505  1814475 |   297568   269353     21 |  1.117 % |
621.42/621.54	c |    762625 |    4870   255505  1814475 |   297568   270378     21 |  1.117 % |
621.52/621.68	c |    763137 |    4870   255505  1814475 |   297568   270890     21 |  1.117 % |
621.92/622.04	c |    763649 |    4870   255505  1814475 |   297568   271402     21 |  1.117 % |
622.32/622.46	c |    764673 |    4870   255505  1814475 |   297568   272426     21 |  1.117 % |
624.22/624.31	c |    766723 |    4870   255505  1814475 |   297568   274476     21 |  1.117 % |
627.02/627.18	c |    770820 |    4870   255505  1814475 | 2147483647   278573     21 |  1.117 % |
627.42/627.51	c |    771333 |    4870   255505  1814475 | 2147483647   279086     21 |  1.117 % |
627.62/627.81	c |    771845 |    4870   255505  1814475 | 2147483647   279598     21 |  1.117 % |
628.22/628.38	c |    772869 |    4870   255505  1814475 | 2147483647   280622     21 |  1.117 % |
628.62/628.73	c |    773382 |    4870   255505  1814475 | 2147483647   281135     21 |  1.117 % |
628.72/628.86	c |    773896 |    4870   255505  1814475 | 2147483647   281649     21 |  1.117 % |
629.72/629.87	c |    774920 |    4870   255505  1814475 | 2147483647   282673     21 |  1.117 % |
633.82/633.92	c |    776968 |    4870   255505  1814475 | 2147483647   284721     21 |  1.117 % |
633.92/634.05	c |    777481 |    4870   255505  1814475 | 2147483647   285234     21 |  1.117 % |
634.32/634.44	c |    777993 |    4870   255505  1814475 | 2147483647   285746     21 |  1.117 % |
635.32/635.42	c |    779017 |    4870   255505  1814475 | 2147483647   286770     21 |  1.117 % |
635.72/635.82	c |    779530 |    4870   255505  1814475 | 2147483647   287283     21 |  1.117 % |
635.92/636.11	c |    780042 |    4870   255505  1814475 | 2147483647   287795     21 |  1.117 % |
636.42/636.55	c |    781067 |    4870   255505  1814475 | 2147483647   288820     21 |  1.117 % |
637.72/637.85	c |    783115 |    4870   255505  1814475 | 2147483647   290868     21 |  1.117 % |
641.12/641.25	c |    787212 |    4870   255505  1814475 | 2147483647   294965     21 |  1.117 % |
648.72/648.82	c |    795405 |    4870   255505  1814475 | 2147483647   303158     21 |  1.117 % |
648.92/649.01	c |    795917 |    4870   255505  1814475 | 2147483647   303670     21 |  1.117 % |
649.12/649.26	c |    796430 |    4870   255505  1814475 | 2147483647   304183     21 |  1.117 % |
650.22/650.41	c |    797454 |    4870   255505  1814475 | 2147483647   305207     21 |  1.117 % |
650.62/650.76	c |    797967 |    4870   255505  1814475 | 2147483647   305720     21 |  1.117 % |
650.72/650.90	c |    798479 |    4870   255505  1814475 | 2147483647   306232     21 |  1.117 % |
651.32/651.45	c |    799503 |    4870   255505  1814475 | 2147483647   307256     21 |  1.117 % |
653.52/653.62	c |    801551 |    4869   255493  1814444 | 2147483647   309302     21 |  1.137 % |
653.62/653.81	c |    802063 |    4869   255493  1814444 | 2147483647   309814     21 |  1.137 % |
653.82/653.98	c |    802575 |    4869   255493  1814444 | 2147483647   310326     21 |  1.137 % |
654.72/654.84	c |    803600 |    4869   255493  1814444 | 2147483647   311351     21 |  1.137 % |
655.32/655.49	c |    804113 |    4869   255493  1814444 | 2147483647   311864     21 |  1.137 % |
655.42/655.60	c |    804625 |    4869   255493  1814444 | 2147483647   312376     21 |  1.137 % |
656.12/656.29	c |    805651 |    4869   255493  1814444 | 2147483647   313402     21 |  1.137 % |
657.62/657.72	c |    807699 |    4869   255493  1814444 | 2147483647   315450     21 |  1.137 % |
658.52/658.68	c |    811796 |    4869   255493  1814444 | 2147483647   319547     21 |  1.137 % |
658.92/659.09	c |    812309 |    4869   255493  1814444 | 2147483647   320060     21 |  1.137 % |
659.02/659.18	c |    812822 |    4869   255493  1814444 | 2147483647   320573     21 |  1.137 % |
660.02/660.20	c |    813846 |    4869   255493  1814444 | 2147483647   321597     21 |  1.137 % |
660.32/660.50	c |    814360 |    4869   255493  1814444 | 2147483647   322111     21 |  1.137 % |
660.62/660.74	c |    814872 |    4869   255493  1814444 | 2147483647   322623     21 |  1.137 % |
661.52/661.63	c |    815898 |    4869   255493  1814444 | 2147483647   323649     21 |  1.137 % |
662.13/662.27	c |    817948 |    4869   255493  1814444 | 2147483647   325699     21 |  1.137 % |
662.52/662.65	c |    818461 |    4869   255493  1814444 | 2147483647   326212     21 |  1.137 % |
662.62/662.75	c |    818973 |    4869   255493  1814444 | 2147483647   326724     21 |  1.137 % |
662.82/662.96	c |    819997 |    4869   255493  1814444 | 2147483647   327748     21 |  1.137 % |
663.23/663.40	c |    820510 |    4869   255493  1814444 | 2147483647   328261     21 |  1.137 % |
663.52/663.62	c |    821022 |    4869   255493  1814444 | 2147483647   328773     21 |  1.137 % |
664.42/664.60	c |    822046 |    4869   255493  1814444 | 2147483647   329797     21 |  1.137 % |
665.02/665.16	c |    824094 |    4869   255493  1814444 | 2147483647   331845     21 |  1.137 % |
670.52/670.69	c |    828191 |    4869   255493  1814444 | 2147483647   335942     21 |  1.137 % |
679.22/679.33	c |    836385 |    4869   255493  1814444 | 2147483647   344136     21 |  1.137 % |
695.93/696.10	c |    852770 |    4869   255493  1814444 | 2147483647   360521     21 |  1.137 % |
696.13/696.25	c |    853283 |    4869   255493  1814444 | 2147483647   361034     21 |  1.137 % |
696.23/696.36	c |    853796 |    4869   255493  1814444 | 2147483647   361547     21 |  1.137 % |
696.83/696.95	c |    854822 |    4869   255493  1814444 | 2147483647   362573     21 |  1.137 % |
697.03/697.16	c |    855334 |    4869   255493  1814444 | 2147483647   363085     21 |  1.137 % |
697.23/697.33	c |    855846 |    4869   255493  1814444 | 2147483647   363597     21 |  1.137 % |
697.33/697.50	c |    856870 |    4869   255493  1814444 | 2147483647   364621     21 |  1.137 % |
698.73/698.82	c |    858920 |    4869   255493  1814444 | 2147483647   366671     21 |  1.137 % |
698.93/699.03	c |    859432 |    4869   255493  1814444 | 2147483647   367183     21 |  1.137 % |
699.33/699.48	c |    859944 |    4869   255493  1814444 | 2147483647   367695     21 |  1.137 % |
699.63/699.80	c |    860970 |    4869   255493  1814444 | 2147483647   368721     21 |  1.137 % |
700.03/700.14	c |    861482 |    4869   255493  1814444 | 2147483647   369233     21 |  1.137 % |
700.43/700.54	c |    861995 |    4869   255493  1814444 | 2147483647   369746     21 |  1.137 % |
700.73/700.86	c |    863019 |    4869   255493  1814444 | 2147483647   370770     21 |  1.137 % |
702.13/702.27	c |    865069 |    4869   255493  1814444 | 2147483647   372820     21 |  1.137 % |
704.43/704.54	c |    869165 |    4869   255493  1814444 | 2147483647   376916     21 |  1.137 % |
704.93/705.08	c |    869677 |    4869   255493  1814444 | 2147483647   377428     21 |  1.137 % |
705.13/705.28	c |    870189 |    4869   255493  1814444 | 2147483647   377940     21 |  1.137 % |
706.03/706.14	c |    871213 |    4869   255493  1814444 | 2147483647   378964     21 |  1.137 % |
706.33/706.44	c |    871726 |    4869   255493  1814444 | 2147483647   379477     21 |  1.137 % |
706.73/706.82	c |    872241 |    4869   255493  1814444 | 2147483647   379992     21 |  1.137 % |
707.03/707.16	c |    873265 |    4869   255493  1814444 | 2147483647   381016     21 |  1.137 % |
708.93/709.09	c |    875313 |    4869   255493  1814444 | 2147483647   383064     21 |  1.137 % |
709.23/709.35	c |    875827 |    4869   255493  1814444 | 2147483647   383578     21 |  1.137 % |
709.73/709.82	c |    876341 |    4869   255493  1814444 | 2147483647   384092     21 |  1.137 % |
710.13/710.30	c |    877365 |    4869   255493  1814444 | 2147483647   385116     21 |  1.137 % |
710.73/710.82	c |    877877 |    4869   255493  1814444 | 2147483647   385628     21 |  1.137 % |
710.83/710.97	c |    878390 |    4869   255493  1814444 | 2147483647   386141     21 |  1.137 % |
712.03/712.14	c |    879415 |    4869   255493  1814444 | 2147483647   387166     21 |  1.137 % |
714.53/714.63	c |    881464 |    4869   255493  1814444 | 2147483647   389215     21 |  1.137 % |
715.63/715.80	c |    885561 |    4869   255493  1814444 | 2147483647   393312     21 |  1.137 % |
723.73/723.81	c |    893753 |    4869   255493  1814444 | 2147483647   401504     21 |  1.137 % |
724.03/724.12	c |    894265 |    4869   255493  1814444 | 2147483647   402016     21 |  1.137 % |
724.73/724.86	c |    894778 |    4869   255493  1814444 | 2147483647   402529     21 |  1.137 % |
726.03/726.13	c |    895802 |    4869   255493  1814444 | 2147483647   403553     21 |  1.137 % |
726.43/726.60	c |    896315 |    4869   255493  1814444 | 2147483647   404066     21 |  1.137 % |
726.63/726.77	c |    896827 |    4869   255493  1814444 | 2147483647   404578     21 |  1.137 % |
727.33/727.48	c |    897852 |    4869   255493  1814444 | 2147483647   405603     21 |  1.137 % |
731.03/731.13	c |    899901 |    4869   255493  1814444 | 2147483647   407652     21 |  1.137 % |
731.33/731.42	c |    900414 |    4869   255493  1814444 | 2147483647   408165     21 |  1.137 % |
731.73/731.88	c |    900927 |    4869   255493  1814444 | 2147483647   408678     21 |  1.137 % |
732.03/732.14	c |    901951 |    4869   255493  1814444 | 2147483647   409702     21 |  1.137 % |
732.13/732.30	c |    902464 |    4869   255493  1814444 | 2147483647   410215     21 |  1.137 % |
732.43/732.60	c |    902976 |    4869   255493  1814444 | 2147483647   410727     21 |  1.137 % |
732.93/733.10	c |    904000 |    4869   255493  1814444 | 2147483647   411751     21 |  1.137 % |
734.63/734.79	c |    906048 |    4869   255493  1814444 | 2147483647   413799     21 |  1.137 % |
738.63/738.77	c |    910144 |    4869   255493  1814444 | 2147483647   417895     21 |  1.137 % |
739.14/739.30	c |    910657 |    4869   255493  1814444 | 2147483647   418408     21 |  1.137 % |
739.33/739.42	c |    911169 |    4869   255493  1814444 | 2147483647   418920     21 |  1.137 % |
740.93/741.08	c |    912193 |    4869   255493  1814444 | 2147483647   419944     21 |  1.137 % |
741.43/741.52	c |    912705 |    4869   255493  1814444 | 2147483647   420456     21 |  1.137 % |
741.53/741.69	c |    913217 |    4869   255493  1814444 | 2147483647   420968     21 |  1.137 % |
743.03/743.16	c |    914241 |    4869   255493  1814444 | 2147483647   421992     21 |  1.137 % |
743.54/743.69	c |    916291 |    4869   255493  1814444 | 2147483647   424042     21 |  1.137 % |
744.03/744.11	c |    916803 |    4869   255493  1814444 | 2147483647   424554     21 |  1.137 % |
744.13/744.27	c |    917316 |    4869   255493  1814444 | 2147483647   425067     21 |  1.137 % |
745.43/745.53	c |    918341 |    4869   255493  1814444 | 2147483647   426092     21 |  1.137 % |
745.93/746.03	c |    918854 |    4869   255493  1814444 | 2147483647   426605     21 |  1.137 % |
746.43/746.59	c |    919366 |    4869   255493  1814444 | 2147483647   427117     21 |  1.137 % |
747.63/747.78	c |    920390 |    4869   255493  1814444 |   427751   428141     21 |  1.137 % |
750.14/750.30	c |    922439 |    4869   255493  1814444 |   427751   387376     21 |  1.137 % |
755.23/755.34	c |    926537 |    4869   255493  1814444 |   427751   391474     21 |  1.137 % |
767.04/767.14	c |    934731 |    4869   255493  1814444 | 2147483647   399668     21 |  1.137 % |
779.14/779.24	c |    951115 |    4869   255493  1814444 |   414937   416052     21 |  1.137 % |
828.94/829.10	c |    983884 |    4869   255493  1814444 |   304633   261209     20 |  1.137 % |
909.15/909.30	c |   1049421 |    4869   255493  1814444 | 2147483647   299829     20 |  1.137 % |
990.25/990.34	c |   1180494 |    4867   255481  1814413 | 2147483647   276214     22 |  1.178 % |
990.45/990.58	c |   1181006 |    4867   255469  1814382 | 2147483647   276726     22 |  1.178 % |
990.85/990.99	c |   1181518 |    4867   255469  1814382 | 2147483647   277238     22 |  1.178 % |
991.06/991.20	c |   1182542 |    4867   255469  1814382 | 2147483647   278262     22 |  1.178 % |
991.45/991.51	c |   1183056 |    4867   255469  1814382 | 2147483647   278776     22 |  1.178 % |
991.55/991.62	c |   1183568 |    4867   255469  1814382 | 2147483647   279288     22 |  1.178 % |
992.55/992.67	c |   1184593 |    4867   255469  1814382 | 2147483647   280313     22 |  1.178 % |
993.45/993.59	c |   1186643 |    4867   255469  1814382 | 2147483647   282363     22 |  1.178 % |
993.65/993.77	c |   1187155 |    4867   255469  1814382 | 2147483647   282875     22 |  1.178 % |
993.85/993.92	c |   1187668 |    4867   255469  1814382 | 2147483647   283388     22 |  1.178 % |
993.95/994.05	c |   1188692 |    4867   255469  1814382 | 2147483647   284412     22 |  1.178 % |
994.25/994.36	c |   1189204 |    4867   255469  1814382 | 2147483647   284924     22 |  1.178 % |
994.36/994.44	c |   1189716 |    4867   255469  1814382 | 2147483647   285436     22 |  1.178 % |
994.95/995.01	c |   1190740 |    4867   255469  1814382 | 2147483647   286460     22 |  1.178 % |
995.65/995.75	c |   1192788 |    4866   255469  1814382 | 2147483647   288507     22 |  1.320 % |
1002.75/1002.83	c |   1196884 |    4866   255469  1814382 | 2147483647   292603     22 |  1.320 % |
1002.85/1002.95	c |   1197398 |    4866   255469  1814382 | 2147483647   293117     22 |  1.320 % |
1003.45/1003.55	c |   1197911 |    4866   255469  1814382 | 2147483647   293630     22 |  1.320 % |
1003.65/1003.79	c |   1198936 |    4866   255469  1814382 | 2147483647   294655     22 |  1.320 % |
1003.95/1004.08	c |   1199448 |    4866   255469  1814382 | 2147483647   295167     22 |  1.320 % |
1005.05/1005.18	c |   1199961 |    4866   255469  1814382 | 2147483647   295680     22 |  1.320 % |
1005.36/1005.46	c |   1200985 |    4866   255469  1814382 | 2147483647   296704     22 |  1.320 % |
1006.65/1006.78	c |   1203033 |    4866   255469  1814382 | 2147483647   298752     22 |  1.320 % |
1006.75/1006.90	c |   1203545 |    4866   255469  1814382 | 2147483647   299264     22 |  1.320 % |
1007.25/1007.40	c |   1204058 |    4866   255469  1814382 | 2147483647   299777     22 |  1.320 % |
1007.65/1007.77	c |   1205082 |    4866   255469  1814382 | 2147483647   300801     22 |  1.320 % |
1007.95/1008.06	c |   1205594 |    4866   255469  1814382 | 2147483647   301313     22 |  1.320 % |
1008.25/1008.38	c |   1206109 |    4866   255469  1814382 | 2147483647   301828     22 |  1.320 % |
1008.45/1008.56	c |   1207134 |    4866   255469  1814382 | 2147483647   302853     22 |  1.320 % |
1010.65/1010.71	c |   1209182 |    4866   255469  1814382 | 2147483647   304901     22 |  1.320 % |
1011.76/1011.85	c |   1213279 |    4863   255469  1814382 | 2147483647   308998     22 |  1.320 % |
1019.26/1019.39	c |   1221472 |    4863   255469  1814382 | 2147483647   317191     22 |  1.320 % |
1019.76/1019.86	c |   1221986 |    4863   255469  1814382 | 2147483647   317705     22 |  1.320 % |
1019.96/1020.01	c |   1222498 |    4863   255469  1814382 | 2147483647   318217     22 |  1.320 % |
1021.16/1021.28	c |   1223523 |    4863   255469  1814382 | 2147483647   319242     22 |  1.320 % |
1021.46/1021.53	c |   1224036 |    4862   255469  1814382 | 2147483647   319755     22 |  1.320 % |
1021.66/1021.77	c |   1224548 |    4861   255469  1814382 | 2147483647   320267     22 |  1.320 % |
1022.26/1022.33	c |   1225573 |    4861   255469  1814382 | 2147483647   321292     22 |  1.320 % |
1024.16/1024.23	c |   1227621 |    4861   255469  1814382 | 2147483647   323340     22 |  1.320 % |
1024.26/1024.38	c |   1228133 |    4861   255469  1814382 | 2147483647   323852     22 |  1.320 % |
1024.56/1024.70	c |   1228645 |    4861   255469  1814382 | 2147483647   324364     22 |  1.320 % |
1024.86/1024.98	c |   1229669 |    4861   255469  1814382 | 2147483647   325388     22 |  1.320 % |
1024.96/1025.06	c |   1230183 |    4861   255469  1814382 | 2147483647   325902     22 |  1.320 % |
1025.16/1025.25	c |   1230695 |    4861   255469  1814382 | 2147483647   326414     22 |  1.320 % |
1026.16/1026.26	c |   1231720 |    4861   255469  1814382 | 2147483647   327439     22 |  1.320 % |
1027.36/1027.44	c |   1233768 |    4861   255469  1814382 | 2147483647   329487     22 |  1.320 % |
1029.66/1029.77	c |   1237864 |    4861   255469  1814382 | 2147483647   333583     22 |  1.320 % |
1030.06/1030.21	c |   1238377 |    4861   255469  1814382 | 2147483647   334096     22 |  1.320 % |
1030.66/1030.79	c |   1238889 |    4861   255469  1814382 | 2147483647   334608     22 |  1.320 % |
1031.36/1031.45	c |   1239914 |    4861   255469  1814382 | 2147483647   335633     22 |  1.320 % |
1031.46/1031.59	c |   1240426 |    4861   255469  1814382 | 2147483647   336145     22 |  1.320 % |
1031.56/1031.70	c |   1240938 |    4861   255469  1814382 | 2147483647   336657     22 |  1.320 % |
1031.86/1031.96	c |   1241962 |    4860   255469  1814382 | 2147483647   337681     22 |  1.320 % |
1032.16/1032.25	c |   1244010 |    4860   255469  1814382 | 2147483647   339729     22 |  1.320 % |
1032.46/1032.52	c |   1244522 |    4860   255469  1814382 | 2147483647   340241     22 |  1.320 % |
1033.36/1033.45	c |   1245034 |    4860   255469  1814382 | 2147483647   340753     22 |  1.320 % |
1034.16/1034.22	c |   1246058 |    4860   255469  1814382 | 2147483647   341777     22 |  1.320 % |
1034.56/1034.63	c |   1246571 |    4860   255469  1814382 | 2147483647   342290     21 |  1.320 % |
1034.66/1034.74	c |   1247083 |    4860   255469  1814382 | 2147483647   342802     21 |  1.320 % |
1035.46/1035.59	c |   1248107 |    4860   255469  1814382 | 2147483647   343826     21 |  1.320 % |
1038.56/1038.66	c |   1250155 |    4860   255469  1814382 | 2147483647   345874     21 |  1.320 % |
1043.46/1043.59	c |   1254251 |    4860   255469  1814382 | 2147483647   349970     22 |  1.320 % |
1047.96/1048.09	c |   1262445 |    4859   255469  1814382 | 2147483647   358163     21 |  1.340 % |
1078.16/1078.26	c |   1278830 |    4859   255469  1814382 | 2147483647   374548     22 |  1.340 % |
1079.56/1079.65	c |   1279345 |    4859   255435  1814259 | 2147483647   344325     21 |  1.340 % |
1080.06/1080.16	c |   1279859 |    4859   255435  1814259 | 2147483647   344839     21 |  1.340 % |
1080.86/1080.91	c |   1280883 |    4859   255435  1814259 |   344980   345863     21 |  1.340 % |
1081.46/1081.53	c |   1281396 |    4859   255435  1814259 |   344980   311790     22 |  1.340 % |
1081.66/1081.71	c |   1281910 |    4859   255435  1814259 |   344980   312304     21 |  1.340 % |
1082.06/1082.11	c |   1282934 |    4859   255435  1814259 |   344980   313328     21 |  1.340 % |
1083.47/1083.57	c |   1284982 |    4859   255435  1814259 |   344980   315376     21 |  1.340 % |
1083.56/1083.69	c |   1285494 |    4859   255435  1814259 |   344980   315888     21 |  1.340 % |
1083.96/1084.07	c |   1286007 |    4859   255435  1814259 |   344980   316401     21 |  1.340 % |
1084.36/1084.42	c |   1287034 |    4859   255435  1814259 |   344980   317428     21 |  1.340 % |
1084.46/1084.57	c |   1287548 |    4859   255435  1814259 |   344980   317942     21 |  1.340 % |
1084.86/1084.93	c |   1288060 |    4858   255435  1814259 |   344980   318453     21 |  1.360 % |
1085.56/1085.64	c |   1289084 |    4858   255435  1814259 |   344980   319477     21 |  1.360 % |
1087.96/1088.07	c |   1291132 |    4858   255435  1814259 | 2147483647   321525     21 |  1.360 % |
1091.76/1091.89	c |   1295228 |    4858   255435  1814259 | 2147483647   325621     21 |  1.360 % |
1092.16/1092.24	c |   1295740 |    4858   255435  1814259 | 2147483647   326133     21 |  1.360 % |
1092.36/1092.50	c |   1296252 |    4858   255435  1814259 | 2147483647   326645     21 |  1.360 % |
1094.17/1094.29	c |   1297276 |    4858   255435  1814259 | 2147483647   327669     21 |  1.360 % |
1094.87/1094.94	c |   1297790 |    4858   255435  1814259 | 2147483647   328183     21 |  1.360 % |
1095.27/1095.31	c |   1298303 |    4858   255435  1814259 | 2147483647   328696     21 |  1.360 % |
1096.07/1096.15	c |   1299328 |    4858   255435  1814259 | 2147483647   329721     21 |  1.360 % |
1097.37/1097.43	c |   1301377 |    4858   255435  1814259 | 2147483647   331770     21 |  1.360 % |
1097.47/1097.56	c |   1301890 |    4858   255435  1814259 | 2147483647   332283     21 |  1.360 % |
1098.17/1098.22	c |   1302402 |    4858   255435  1814259 | 2147483647   332795     21 |  1.360 % |
1098.97/1099.05	c |   1303426 |    4858   255435  1814259 | 2147483647   333819     21 |  1.360 % |
1099.27/1099.35	c |   1303939 |    4858   255435  1814259 | 2147483647   334332     21 |  1.360 % |
1099.37/1099.51	c |   1304452 |    4858   255435  1814259 | 2147483647   334845     21 |  1.360 % |
1100.07/1100.17	c |   1305477 |    4858   255435  1814259 | 2147483647   335870     21 |  1.360 % |
1101.47/1101.56	c |   1307526 |    4858   255435  1814259 | 2147483647   337919     21 |  1.360 % |
1102.67/1102.79	c |   1311622 |    4858   255435  1814259 | 2147483647   342015     21 |  1.360 % |
1108.27/1108.32	c |   1319814 |    4858   255435  1814259 | 2147483647   350207     21 |  1.360 % |
1108.47/1108.56	c |   1320326 |    4858   255435  1814259 | 2147483647   350719     21 |  1.360 % |
1109.07/1109.13	c |   1320839 |    4858   255435  1814259 | 2147483647   351232     21 |  1.360 % |
1110.87/1110.93	c |   1321863 |    4858   255435  1814259 | 2147483647   352256     21 |  1.360 % |
1110.97/1111.07	c |   1322375 |    4858   255435  1814259 | 2147483647   352768     21 |  1.360 % |
1111.07/1111.20	c |   1322887 |    4858   255435  1814259 | 2147483647   353280     21 |  1.360 % |
1111.57/1111.63	c |   1323912 |    4858   255435  1814259 | 2147483647   354305     21 |  1.360 % |
1112.47/1112.56	c |   1325960 |    4858   255435  1814259 | 2147483647   356353     21 |  1.360 % |
1112.77/1112.90	c |   1326472 |    4858   255435  1814259 | 2147483647   356865     21 |  1.360 % |
1112.97/1113.07	c |   1326984 |    4858   255435  1814259 | 2147483647   357377     21 |  1.360 % |
1113.47/1113.59	c |   1328009 |    4858   255435  1814259 | 2147483647   358402     21 |  1.360 % |
1113.87/1113.99	c |   1328523 |    4858   255435  1814259 | 2147483647   358916     21 |  1.360 % |
1114.67/1114.80	c |   1329036 |    4858   255435  1814259 | 2147483647   359429     21 |  1.360 % |
1115.07/1115.14	c |   1330060 |    4858   255435  1814259 | 2147483647   360453     21 |  1.360 % |
1117.27/1117.38	c |   1332108 |    4858   255435  1814259 | 2147483647   362501     21 |  1.360 % |
1119.37/1119.42	c |   1336206 |    4858   255435  1814259 | 2147483647   366599     21 |  1.360 % |
1119.37/1119.51	c |   1336719 |    4858   255435  1814259 | 2147483647   367112     21 |  1.360 % |
1120.27/1120.39	c |   1337231 |    4858   255435  1814259 | 2147483647   367624     21 |  1.360 % |
1121.07/1121.16	c |   1338258 |    4858   255435  1814259 | 2147483647   368651     21 |  1.360 % |
1121.47/1121.54	c |   1338771 |    4858   255435  1814259 | 2147483647   369164     21 |  1.360 % |
1121.77/1121.82	c |   1339283 |    4858   255435  1814259 | 2147483647   369676     21 |  1.360 % |
1122.07/1122.12	c |   1340309 |    4858   255435  1814259 | 2147483647   370702     21 |  1.360 % |
1122.37/1122.46	c |   1342358 |    4858   255435  1814259 | 2147483647   372751     21 |  1.360 % |
1122.67/1122.80	c |   1342870 |    4858   255435  1814259 | 2147483647   373263     21 |  1.360 % |
1122.77/1122.85	c |   1343383 |    4858   255435  1814259 | 2147483647   373776     21 |  1.360 % |
1123.47/1123.52	c |   1344409 |    4858   255435  1814259 | 2147483647   374802     21 |  1.360 % |
1123.67/1123.80	c |   1344923 |    4858   255435  1814259 | 2147483647   375316     21 |  1.360 % |
1123.97/1124.03	c |   1345436 |    4858   255435  1814259 | 2147483647   375829     21 |  1.360 % |
1124.17/1124.29	c |   1346460 |    4858   255435  1814259 | 2147483647   376853     21 |  1.360 % |
1125.47/1125.52	c |   1348508 |    4858   255435  1814259 | 2147483647   378901     21 |  1.360 % |
1126.57/1126.69	c |   1352605 |    4858   255435  1814259 | 2147483647   382998     21 |  1.360 % |
1135.57/1135.63	c |   1360797 |    4858   255435  1814259 | 2147483647   391190     21 |  1.360 % |
1145.77/1145.90	c |   1377182 |    4858   255435  1814259 | 2147483647   407575     22 |  1.360 % |
1191.38/1191.42	c |   1409950 |    4858   255435  1814259 |   430395   350074     21 |  1.360 % |
1191.58/1191.67	c |   1410464 |    4858   255423  1814228 |   350125   350587     21 |  1.360 % |
1193.18/1193.29	c |   1410976 |    4858   255423  1814228 |   350125   276824     21 |  1.360 % |
1193.58/1193.70	c |   1412000 |    4858   255423  1814228 |   350125   277848     21 |  1.360 % |
1193.88/1193.92	c |   1412513 |    4858   255423  1814228 |   350125   278361     21 |  1.360 % |
1194.18/1194.28	c |   1413025 |    4858   255423  1814228 |   350125   278873     21 |  1.360 % |
1195.38/1195.51	c |   1414049 |    4858   255423  1814228 |   350125   279897     21 |  1.360 % |
1196.78/1196.81	c |   1416097 |    4858   255423  1814228 |   350125   281945     20 |  1.360 % |
1196.98/1197.07	c |   1416611 |    4858   255423  1814228 |   350125   282459     20 |  1.360 % |
1197.18/1197.24	c |   1417125 |    4858   255423  1814228 |   350125   282973     20 |  1.360 % |
1197.68/1197.74	c |   1418150 |    4858   255423  1814228 |   350125   283998     20 |  1.360 % |
1197.88/1197.95	c |   1418663 |    4858   255423  1814228 |   350125   284511     20 |  1.360 % |
1197.98/1198.05	c |   1419176 |    4858   255423  1814228 |   350125   285024     20 |  1.360 % |
1199.08/1199.13	c |   1420200 |    4858   255423  1814228 |   285848   286048     20 |  1.360 % |
1200.08/1200.12	HOME/SatELiteGTI: line 36: 30332 Terminated              $MS $TMP.cnf $TMP.result

Verifier Data 

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

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.04 1.06 1.02 3/93 30135
/proc/meminfo: memFree=898844/2074464 swapFree=1951864/1959888
[pid=30135] ppid=30133 vsize=2412 CPUtime=0
/proc/30135/stat : 30135 (SatELiteGTI) S 30133 30135 20977 0 -1 4194304 366 646 0 0 0 0 0 0 18 0 1 0 1016960976 2469888 276 4294967295 134512640 135169312 3219511728 3219510264 3085799150 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30135/statm: 603 276 235 161 0 42 0
[pid=30139] ppid=30135 vsize=956 CPUtime=0
/proc/30139/stat : 30139 (SatELite_releas) R 30135 30135 20977 0 -1 4202496 120 0 0 0 0 0 0 0 20 0 1 0 1016960976 978944 56 4294967295 134512640 135223648 3216205424 3216204020 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30139/statm: 239 60 47 174 0 64 0

[startup+0.02567 s]
/proc/loadavg: 1.04 1.06 1.02 3/93 30135
/proc/meminfo: memFree=898844/2074464 swapFree=1951864/1959888
[pid=30135] ppid=30133 vsize=2412 CPUtime=0
/proc/30135/stat : 30135 (SatELiteGTI) S 30133 30135 20977 0 -1 4194304 366 646 0 0 0 0 0 0 18 0 1 0 1016960976 2469888 276 4294967295 134512640 135169312 3219511728 3219510264 3085799150 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30135/statm: 603 276 235 161 0 42 0
[pid=30139] ppid=30135 vsize=3332 CPUtime=0.03
/proc/30139/stat : 30139 (SatELite_releas) R 30135 30135 20977 0 -1 4202496 680 0 0 0 3 0 0 0 20 0 1 0 1016960976 3411968 616 4294967295 134512640 135223648 3216205424 3216204376 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30139/statm: 833 617 47 174 0 658 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5744

[startup+0.115661 s]
/proc/loadavg: 1.04 1.06 1.02 3/93 30135
/proc/meminfo: memFree=898844/2074464 swapFree=1951864/1959888
[pid=30135] ppid=30133 vsize=2412 CPUtime=0
/proc/30135/stat : 30135 (SatELiteGTI) S 30133 30135 20977 0 -1 4194304 366 646 0 0 0 0 0 0 18 0 1 0 1016960976 2469888 276 4294967295 134512640 135169312 3219511728 3219510264 3085799150 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30135/statm: 603 276 235 161 0 42 0
[pid=30139] ppid=30135 vsize=12264 CPUtime=0.12
/proc/30139/stat : 30139 (SatELite_releas) R 30135 30135 20977 0 -1 4202496 2571 0 0 0 11 1 0 0 21 0 1 0 1016960976 12558336 2507 4294967295 134512640 135223648 3216205424 3216204376 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30139/statm: 3066 2509 47 174 0 2891 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 14676

[startup+0.315641 s]
/proc/loadavg: 1.04 1.06 1.02 3/93 30135
/proc/meminfo: memFree=898844/2074464 swapFree=1951864/1959888
[pid=30135] ppid=30133 vsize=2412 CPUtime=0
/proc/30135/stat : 30135 (SatELiteGTI) S 30133 30135 20977 0 -1 4194304 366 646 0 0 0 0 0 0 18 0 1 0 1016960976 2469888 276 4294967295 134512640 135169312 3219511728 3219510264 3085799150 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30135/statm: 603 276 235 161 0 42 0
[pid=30139] ppid=30135 vsize=29320 CPUtime=0.32
/proc/30139/stat : 30139 (SatELite_releas) R 30135 30135 20977 0 -1 4202496 6836 0 0 0 31 1 0 0 21 0 1 0 1016960976 30023680 6772 4294967295 134512640 135223648 3216205424 3216204024 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30139/statm: 7330 6772 47 174 0 7155 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 31732

[startup+0.7156 s]
/proc/loadavg: 1.04 1.06 1.02 3/93 30135
/proc/meminfo: memFree=898844/2074464 swapFree=1951864/1959888
[pid=30135] ppid=30133 vsize=2412 CPUtime=0
/proc/30135/stat : 30135 (SatELiteGTI) S 30133 30135 20977 0 -1 4194304 366 646 0 0 0 0 0 0 18 0 1 0 1016960976 2469888 276 4294967295 134512640 135169312 3219511728 3219510264 3085799150 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30135/statm: 603 276 235 161 0 42 0
[pid=30139] ppid=30135 vsize=73384 CPUtime=0.72
/proc/30139/stat : 30139 (SatELite_releas) R 30135 30135 20977 0 -1 4202496 15600 0 0 0 64 8 0 0 22 0 1 0 1016960976 75145216 15536 4294967295 134512640 135223648 3216205424 3216204376 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30139/statm: 18346 15537 47 174 0 18171 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 75796

[startup+1.51552 s]
/proc/loadavg: 1.04 1.06 1.02 2/95 30140
/proc/meminfo: memFree=811392/2074464 swapFree=1951864/1959888
[pid=30135] ppid=30133 vsize=2412 CPUtime=0
/proc/30135/stat : 30135 (SatELiteGTI) S 30133 30135 20977 0 -1 4194304 366 646 0 0 0 0 0 0 18 0 1 0 1016960976 2469888 276 4294967295 134512640 135169312 3219511728 3219510264 3085799150 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30135/statm: 603 276 235 161 0 42 0
[pid=30139] ppid=30135 vsize=159472 CPUtime=1.52
/proc/30139/stat : 30139 (SatELite_releas) R 30135 30135 20977 0 -1 4202496 32305 0 0 0 134 18 0 0 25 0 1 0 1016960976 163299328 32219 4294967295 134512640 135223648 3216205424 3216203680 134578186 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30139/statm: 39868 32219 68 174 0 39693 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 161884

[startup+3.11537 s]
/proc/loadavg: 1.04 1.06 1.02 2/95 30140
/proc/meminfo: memFree=770100/2074464 swapFree=1951864/1959888
[pid=30135] ppid=30133 vsize=2412 CPUtime=0
/proc/30135/stat : 30135 (SatELiteGTI) S 30133 30135 20977 0 -1 4194304 366 646 0 0 0 0 0 0 18 0 1 0 1016960976 2469888 276 4294967295 134512640 135169312 3219511728 3219510264 3085799150 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30135/statm: 603 276 235 161 0 42 0
[pid=30139] ppid=30135 vsize=159984 CPUtime=3.12
/proc/30139/stat : 30139 (SatELite_releas) R 30135 30135 20977 0 -1 4202496 32405 0 0 0 294 18 0 0 25 0 1 0 1016960976 163823616 32319 4294967295 134512640 135223648 3216205424 3216203872 134564734 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30139/statm: 39996 32319 68 174 0 39821 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 162396

[startup+6.31505 s]
/proc/loadavg: 1.03 1.06 1.02 2/95 30140
/proc/meminfo: memFree=758568/2074464 swapFree=1951864/1959888
[pid=30135] ppid=30133 vsize=2412 CPUtime=0
/proc/30135/stat : 30135 (SatELiteGTI) S 30133 30135 20977 0 -1 4194304 366 646 0 0 0 0 0 0 18 0 1 0 1016960976 2469888 276 4294967295 134512640 135169312 3219511728 3219510264 3085799150 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30135/statm: 603 276 235 161 0 42 0
[pid=30139] ppid=30135 vsize=176148 CPUtime=6.32
/proc/30139/stat : 30139 (SatELite_releas) R 30135 30135 20977 0 -1 4202496 38509 0 0 0 610 22 0 0 25 0 1 0 1016960976 180375552 34703 4294967295 134512640 135223648 3216205424 3216203424 134549042 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30139/statm: 44037 34703 73 174 0 43862 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 178560

[startup+12.7144 s]
/proc/loadavg: 1.03 1.05 1.02 2/95 30140
/proc/meminfo: memFree=712504/2074464 swapFree=1951864/1959888
[pid=30135] ppid=30133 vsize=2412 CPUtime=0
/proc/30135/stat : 30135 (SatELiteGTI) S 30133 30135 20977 0 -1 4194304 366 646 0 0 0 0 0 0 18 0 1 0 1016960976 2469888 276 4294967295 134512640 135169312 3219511728 3219510264 3085799150 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30135/statm: 603 276 235 161 0 42 0
[pid=30139] ppid=30135 vsize=204552 CPUtime=12.72
/proc/30139/stat : 30139 (SatELite_releas) R 30135 30135 20977 0 -1 4202496 45988 0 0 0 1246 26 0 0 25 0 1 0 1016960976 209461248 41868 4294967295 134512640 135223648 3216205424 3216203440 134548987 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30139/statm: 51138 41868 73 174 0 50963 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 206964

[startup+25.5132 s]
/proc/loadavg: 1.02 1.05 1.01 3/95 30325
/proc/meminfo: memFree=712220/2074464 swapFree=1951864/1959888
[pid=30135] ppid=30133 vsize=2412 CPUtime=0
/proc/30135/stat : 30135 (SatELiteGTI) S 30133 30135 20977 0 -1 4194304 366 646 0 0 0 0 0 0 18 0 1 0 1016960976 2469888 276 4294967295 134512640 135169312 3219511728 3219510264 3085799150 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30135/statm: 603 276 235 161 0 42 0
[pid=30139] ppid=30135 vsize=204808 CPUtime=25.52
/proc/30139/stat : 30139 (SatELite_releas) R 30135 30135 20977 0 -1 4202496 46053 0 0 0 2526 26 0 0 25 0 1 0 1016960976 209723392 41933 4294967295 134512640 135223648 3216205424 3216203632 134593129 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30139/statm: 51202 41933 73 174 0 51027 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 207220

[startup+51.1206 s]
/proc/loadavg: 1.01 1.05 1.01 2/95 30332
/proc/meminfo: memFree=847696/2074464 swapFree=1951864/1959888
[pid=30135] ppid=30133 vsize=2416 CPUtime=47.78
/proc/30135/stat : 30135 (SatELiteGTI) S 30133 30135 20977 0 -1 4194304 385 54515 0 0 0 0 4744 34 18 0 1 0 1016960976 2473984 277 4294967295 134512640 135169312 3219511728 3219507944 3085799150 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30135/statm: 604 277 235 161 0 43 0
[pid=30332] ppid=30135 vsize=21904 CPUtime=3.3
/proc/30332/stat : 30332 (minisat_static) R 30135 30135 20977 0 -1 4202496 5345 0 0 0 327 3 0 0 25 0 1 0 1016965754 22429696 5280 4294967295 134512640 135216591 3217694784 3217692976 134529006 0 0 0 3 0 0 0 17 1 0 0 0
/proc/30332/statm: 5476 5280 75 172 0 5303 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 24320

[startup+102.326 s]
/proc/loadavg: 1.00 1.04 1.01 3/95 30519
/proc/meminfo: memFree=830604/2074464 swapFree=1951864/1959888
[pid=30135] ppid=30133 vsize=2416 CPUtime=47.78
/proc/30135/stat : 30135 (SatELiteGTI) S 30133 30135 20977 0 -1 4194304 385 54515 0 0 0 0 4744 34 18 0 1 0 1016960976 2473984 277 4294967295 134512640 135169312 3219511728 3219507944 3085799150 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30135/statm: 604 277 235 161 0 43 0
[pid=30332] ppid=30135 vsize=38992 CPUtime=54.41
/proc/30332/stat : 30332 (minisat_static) R 30135 30135 20977 0 -1 4202496 9569 0 0 0 5434 7 0 0 25 0 1 0 1016965754 39927808 9504 4294967295 134512640 135216591 3217694784 3217692976 134528826 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30332/statm: 9748 9504 75 172 0 9575 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 41408

[startup+162.32 s]
/proc/loadavg: 1.00 1.03 1.00 2/95 30706
/proc/meminfo: memFree=816624/2074464 swapFree=1951864/1959888
[pid=30135] ppid=30133 vsize=2416 CPUtime=47.78
/proc/30135/stat : 30135 (SatELiteGTI) S 30133 30135 20977 0 -1 4194304 385 54515 0 0 0 0 4744 34 18 0 1 0 1016960976 2473984 277 4294967295 134512640 135169312 3219511728 3219507944 3085799150 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30135/statm: 604 277 235 161 0 43 0
[pid=30332] ppid=30135 vsize=53200 CPUtime=114.41
/proc/30332/stat : 30332 (minisat_static) R 30135 30135 20977 0 -1 4202496 13112 0 0 0 11433 8 0 0 25 0 1 0 1016965754 54476800 13047 4294967295 134512640 135216591 3217694784 3217692976 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30332/statm: 13300 13047 75 172 0 13127 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 55616

[startup+222.324 s]
/proc/loadavg: 1.00 1.02 1.00 2/95 30895
/proc/meminfo: memFree=805976/2074464 swapFree=1951864/1959888
[pid=30135] ppid=30133 vsize=2416 CPUtime=47.78
/proc/30135/stat : 30135 (SatELiteGTI) S 30133 30135 20977 0 -1 4194304 385 54515 0 0 0 0 4744 34 18 0 1 0 1016960976 2473984 277 4294967295 134512640 135169312 3219511728 3219507944 3085799150 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30135/statm: 604 277 235 161 0 43 0
[pid=30332] ppid=30135 vsize=64300 CPUtime=174.42
/proc/30332/stat : 30332 (minisat_static) R 30135 30135 20977 0 -1 4202496 15815 0 0 0 17427 15 0 0 25 0 1 0 1016965754 65843200 15750 4294967295 134512640 135216591 3217694784 3217692976 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30332/statm: 16075 15750 75 172 0 15902 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 66716

[startup+282.318 s]
/proc/loadavg: 1.00 1.02 1.00 3/95 31082
/proc/meminfo: memFree=803116/2074464 swapFree=1951864/1959888
[pid=30135] ppid=30133 vsize=2416 CPUtime=47.78
/proc/30135/stat : 30135 (SatELiteGTI) S 30133 30135 20977 0 -1 4194304 385 54515 0 0 0 0 4744 34 18 0 1 0 1016960976 2473984 277 4294967295 134512640 135169312 3219511728 3219507944 3085799150 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30135/statm: 604 277 235 161 0 43 0
[pid=30332] ppid=30135 vsize=67060 CPUtime=234.42
/proc/30332/stat : 30332 (minisat_static) R 30135 30135 20977 0 -1 4202496 16503 0 0 0 23424 18 0 0 25 0 1 0 1016965754 68669440 16438 4294967295 134512640 135216591 3217694784 3217692976 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30332/statm: 16765 16438 75 172 0 16592 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 69476

[startup+342.312 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 31269
/proc/meminfo: memFree=801008/2074464 swapFree=1951864/1959888
[pid=30135] ppid=30133 vsize=2416 CPUtime=47.78
/proc/30135/stat : 30135 (SatELiteGTI) S 30133 30135 20977 0 -1 4194304 385 54515 0 0 0 0 4744 34 18 0 1 0 1016960976 2473984 277 4294967295 134512640 135169312 3219511728 3219507944 3085799150 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30135/statm: 604 277 235 161 0 43 0
[pid=30332] ppid=30135 vsize=69044 CPUtime=294.42
/proc/30332/stat : 30332 (minisat_static) R 30135 30135 20977 0 -1 4202496 16989 0 0 0 29424 18 0 0 25 0 1 0 1016965754 70701056 16924 4294967295 134512640 135216591 3217694784 3217692976 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30332/statm: 17261 16924 75 172 0 17088 0
Current children cumulated CPU time (s) 342.2

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

[pid=30332] ppid=30135 vsize=77632 CPUtime=474.44
/proc/30332/stat : 30332 (minisat_static) R 30135 30135 20977 0 -1 4202496 19163 0 0 0 47424 20 0 0 25 0 1 0 1016965754 79495168 19098 4294967295 134512640 135216591 3217694784 3217692976 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30332/statm: 19408 19098 75 172 0 19235 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 80048

[startup+582.318 s]
/proc/loadavg: 1.02 1.02 1.00 2/95 32027
/proc/meminfo: memFree=792592/2074464 swapFree=1951864/1959888
[pid=30135] ppid=30133 vsize=2416 CPUtime=47.78
/proc/30135/stat : 30135 (SatELiteGTI) S 30133 30135 20977 0 -1 4194304 385 54515 0 0 0 0 4744 34 18 0 1 0 1016960976 2473984 277 4294967295 134512640 135169312 3219511728 3219507944 3085799150 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30135/statm: 604 277 235 161 0 43 0
[pid=30332] ppid=30135 vsize=77632 CPUtime=534.44
/proc/30332/stat : 30332 (minisat_static) R 30135 30135 20977 0 -1 4202496 19174 0 0 0 53421 23 0 0 25 0 1 0 1016965754 79495168 19109 4294967295 134512640 135216591 3217694784 3217692976 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30332/statm: 19408 19109 75 172 0 19235 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 80048

[startup+642.312 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 32214
/proc/meminfo: memFree=792236/2074464 swapFree=1951864/1959888
[pid=30135] ppid=30133 vsize=2416 CPUtime=47.78
/proc/30135/stat : 30135 (SatELiteGTI) S 30133 30135 20977 0 -1 4194304 385 54515 0 0 0 0 4744 34 18 0 1 0 1016960976 2473984 277 4294967295 134512640 135169312 3219511728 3219507944 3085799150 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30135/statm: 604 277 235 161 0 43 0
[pid=30332] ppid=30135 vsize=78216 CPUtime=594.44
/proc/30332/stat : 30332 (minisat_static) R 30135 30135 20977 0 -1 4202496 19293 0 0 0 59421 23 0 0 25 0 1 0 1016965754 80093184 19228 4294967295 134512640 135216591 3217694784 3217692976 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30332/statm: 19554 19228 75 172 0 19381 0
Current children cumulated CPU time (s) 642.22
Current children cumulated vsize (KiB) 80632

[startup+702.317 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 32403
/proc/meminfo: memFree=791964/2074464 swapFree=1951864/1959888
[pid=30135] ppid=30133 vsize=2416 CPUtime=47.78
/proc/30135/stat : 30135 (SatELiteGTI) S 30133 30135 20977 0 -1 4194304 385 54515 0 0 0 0 4744 34 18 0 1 0 1016960976 2473984 277 4294967295 134512640 135169312 3219511728 3219507944 3085799150 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30135/statm: 604 277 235 161 0 43 0
[pid=30332] ppid=30135 vsize=78216 CPUtime=654.45
/proc/30332/stat : 30332 (minisat_static) R 30135 30135 20977 0 -1 4202496 19315 0 0 0 65422 23 0 0 25 0 1 0 1016965754 80093184 19250 4294967295 134512640 135216591 3217694784 3217692976 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30332/statm: 19554 19250 75 172 0 19381 0
Current children cumulated CPU time (s) 702.23
Current children cumulated vsize (KiB) 80632

[startup+762.321 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 32590
/proc/meminfo: memFree=789856/2074464 swapFree=1951864/1959888
[pid=30135] ppid=30133 vsize=2416 CPUtime=47.78
/proc/30135/stat : 30135 (SatELiteGTI) S 30133 30135 20977 0 -1 4194304 385 54515 0 0 0 0 4744 34 18 0 1 0 1016960976 2473984 277 4294967295 134512640 135169312 3219511728 3219507944 3085799150 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30135/statm: 604 277 235 161 0 43 0
[pid=30332] ppid=30135 vsize=80260 CPUtime=714.46
/proc/30332/stat : 30332 (minisat_static) R 30135 30135 20977 0 -1 4202496 19801 0 0 0 71422 24 0 0 25 0 1 0 1016965754 82186240 19736 4294967295 134512640 135216591 3217694784 3217692976 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30332/statm: 20065 19736 75 172 0 19892 0
Current children cumulated CPU time (s) 762.24
Current children cumulated vsize (KiB) 82676

[startup+822.315 s]
/proc/loadavg: 1.00 1.00 1.00 4/95 315
/proc/meminfo: memFree=789220/2074464 swapFree=1951864/1959888
[pid=30135] ppid=30133 vsize=2416 CPUtime=47.78
/proc/30135/stat : 30135 (SatELiteGTI) S 30133 30135 20977 0 -1 4194304 385 54515 0 0 0 0 4744 34 18 0 1 0 1016960976 2473984 277 4294967295 134512640 135169312 3219511728 3219507944 3085799150 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30135/statm: 604 277 235 161 0 43 0
[pid=30332] ppid=30135 vsize=80964 CPUtime=774.46
/proc/30332/stat : 30332 (minisat_static) R 30135 30135 20977 0 -1 4202496 19973 0 0 0 77416 30 0 0 25 0 1 0 1016965754 82907136 19908 4294967295 134512640 135216591 3217694784 3217692976 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30332/statm: 20241 19908 75 172 0 20068 0
Current children cumulated CPU time (s) 822.24
Current children cumulated vsize (KiB) 83380

[startup+882.319 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 502
/proc/meminfo: memFree=788748/2074464 swapFree=1951864/1959888
[pid=30135] ppid=30133 vsize=2416 CPUtime=47.78
/proc/30135/stat : 30135 (SatELiteGTI) S 30133 30135 20977 0 -1 4194304 385 54515 0 0 0 0 4744 34 18 0 1 0 1016960976 2473984 277 4294967295 134512640 135169312 3219511728 3219507944 3085799150 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30135/statm: 604 277 235 161 0 43 0
[pid=30332] ppid=30135 vsize=81456 CPUtime=834.47
/proc/30332/stat : 30332 (minisat_static) R 30135 30135 20977 0 -1 4202496 20078 0 0 0 83417 30 0 0 25 0 1 0 1016965754 83410944 20013 4294967295 134512640 135216591 3217694784 3217692976 134528966 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30332/statm: 20364 20013 75 172 0 20191 0
Current children cumulated CPU time (s) 882.25
Current children cumulated vsize (KiB) 83872

[startup+942.323 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 689
/proc/meminfo: memFree=788360/2074464 swapFree=1951864/1959888
[pid=30135] ppid=30133 vsize=2416 CPUtime=47.78
/proc/30135/stat : 30135 (SatELiteGTI) S 30133 30135 20977 0 -1 4194304 385 54515 0 0 0 0 4744 34 18 0 1 0 1016960976 2473984 277 4294967295 134512640 135169312 3219511728 3219507944 3085799150 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30135/statm: 604 277 235 161 0 43 0
[pid=30332] ppid=30135 vsize=81928 CPUtime=894.48
/proc/30332/stat : 30332 (minisat_static) R 30135 30135 20977 0 -1 4202496 20197 0 0 0 89418 30 0 0 25 0 1 0 1016965754 83894272 20132 4294967295 134512640 135216591 3217694784 3217692976 134528888 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30332/statm: 20482 20132 75 172 0 20309 0
Current children cumulated CPU time (s) 942.26
Current children cumulated vsize (KiB) 84344

[startup+1002.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 879
/proc/meminfo: memFree=787112/2074464 swapFree=1951864/1959888
[pid=30135] ppid=30133 vsize=2416 CPUtime=47.78
/proc/30135/stat : 30135 (SatELiteGTI) S 30133 30135 20977 0 -1 4194304 385 54515 0 0 0 0 4744 34 18 0 1 0 1016960976 2473984 277 4294967295 134512640 135169312 3219511728 3219507944 3085799150 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30135/statm: 604 277 235 161 0 43 0
[pid=30332] ppid=30135 vsize=82924 CPUtime=954.47
/proc/30332/stat : 30332 (minisat_static) R 30135 30135 20977 0 -1 4202496 20442 0 0 0 95414 33 0 0 25 0 1 0 1016965754 84914176 20377 4294967295 134512640 135216591 3217694784 3217692976 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30332/statm: 20731 20377 75 172 0 20558 0
Current children cumulated CPU time (s) 1002.25
Current children cumulated vsize (KiB) 85340

[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 1078
/proc/meminfo: memFree=787128/2074464 swapFree=1951864/1959888
[pid=30135] ppid=30133 vsize=2416 CPUtime=47.78
/proc/30135/stat : 30135 (SatELiteGTI) S 30133 30135 20977 0 -1 4194304 385 54515 0 0 0 0 4744 34 18 0 1 0 1016960976 2473984 277 4294967295 134512640 135169312 3219511728 3219507944 3085799150 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30135/statm: 604 277 235 161 0 43 0
[pid=30332] ppid=30135 vsize=83340 CPUtime=1014.48
/proc/30332/stat : 30332 (minisat_static) R 30135 30135 20977 0 -1 4202496 20525 0 0 0 101406 42 0 0 25 0 1 0 1016965754 85340160 20460 4294967295 134512640 135216591 3217694784 3217692976 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30332/statm: 20835 20460 75 172 0 20662 0
Current children cumulated CPU time (s) 1062.26
Current children cumulated vsize (KiB) 85756

[startup+1122.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 1268
/proc/meminfo: memFree=786244/2074464 swapFree=1951864/1959888
[pid=30135] ppid=30133 vsize=2416 CPUtime=47.78
/proc/30135/stat : 30135 (SatELiteGTI) S 30133 30135 20977 0 -1 4194304 385 54515 0 0 0 0 4744 34 18 0 1 0 1016960976 2473984 277 4294967295 134512640 135169312 3219511728 3219507944 3085799150 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30135/statm: 604 277 235 161 0 43 0
[pid=30332] ppid=30135 vsize=83776 CPUtime=1074.49
/proc/30332/stat : 30332 (minisat_static) R 30135 30135 20977 0 -1 4202496 20636 0 0 0 107407 42 0 0 25 0 1 0 1016965754 85786624 20571 4294967295 134512640 135216591 3217694784 3217692976 134528851 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30332/statm: 20944 20571 75 172 0 20771 0
Current children cumulated CPU time (s) 1122.27
Current children cumulated vsize (KiB) 86192

[startup+1182.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 1459
/proc/meminfo: memFree=783516/2074464 swapFree=1951864/1959888
[pid=30135] ppid=30133 vsize=2416 CPUtime=47.78
/proc/30135/stat : 30135 (SatELiteGTI) S 30133 30135 20977 0 -1 4194304 385 54515 0 0 0 0 4744 34 18 0 1 0 1016960976 2473984 277 4294967295 134512640 135169312 3219511728 3219507944 3085799150 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30135/statm: 604 277 235 161 0 43 0
[pid=30332] ppid=30135 vsize=86972 CPUtime=1134.5
/proc/30332/stat : 30332 (minisat_static) R 30135 30135 20977 0 -1 4202496 21439 0 0 0 113405 45 0 0 25 0 1 0 1016965754 89059328 21374 4294967295 134512640 135216591 3217694784 3217692896 134534710 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30332/statm: 21743 21374 75 172 0 21570 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 89388



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.12 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 1461
/proc/meminfo: memFree=783248/2074464 swapFree=1951864/1959888
[pid=30135] ppid=30133 vsize=2416 CPUtime=47.78
/proc/30135/stat : 30135 (SatELiteGTI) S 30133 30135 20977 0 -1 4194304 385 54515 0 0 0 0 4744 34 18 0 1 0 1016960976 2473984 277 4294967295 134512640 135169312 3219511728 3219507944 3085799150 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30135/statm: 604 277 235 161 0 43 0
[pid=30332] ppid=30135 vsize=87140 CPUtime=1152.3
/proc/30332/stat : 30332 (minisat_static) R 30135 30135 20977 0 -1 4202496 21481 0 0 0 115185 45 0 0 25 0 1 0 1016965754 89231360 21416 4294967295 134512640 135216591 3217694784 3217692752 134539802 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30332/statm: 21785 21416 75 172 0 21612 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 89556

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

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

[startup+1200.12 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 1461
/proc/meminfo: memFree=783248/2074464 swapFree=1951864/1959888
[pid=30135] ppid=30133 vsize=2416 CPUtime=47.78
/proc/30135/stat : 30135 (SatELiteGTI) S 30133 30135 20977 0 -1 4194304 385 54515 0 0 0 0 4744 34 18 0 1 0 1016960976 2473984 277 4294967295 134512640 135169312 3219511728 3219507944 3085799150 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30135/statm: 604 277 235 161 0 43 0
[pid=30332] ppid=30135 vsize=87140 CPUtime=1152.3
/proc/30332/stat : 30332 (minisat_static) R 30135 30135 20977 0 -1 4202496 21481 0 0 0 115185 45 0 0 25 0 1 0 1016965754 89231360 21416 4294967295 134512640 135216591 3217694784 3217692752 134539802 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30332/statm: 21785 21416 75 172 0 21612 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 89556

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.14
CPU time (s): 1200.09
CPU user time (s): 1199.29
CPU system time (s): 0.8
CPU usage (%): 99.996
Max. virtual memory (cumulated for all children) (KiB): 234136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.29
system time used= 0.8
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76472
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= 18
involuntary context switches= 2074

runsolver used 0.02 second user time and 0.02 second system time

The end

Launcher Data 

Begin job on tipi10 at 2009-05-17 03:43:17
IDJOB=1821407
IDBENCH=70951
IDSOLVER=658
FILE ID=tipi10/1821407-1242524597
PBS_JOBID=
Free space on /tmp= 4136 MiB

SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/c32sat/post-cbmc-aes-d-r2-noholes.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1821407-1242524597/watcher-1821407-1242524597 -o /tmp/evaluation-result-1821407-1242524597/solver-1821407-1242524597 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1821407-1242524597.cnf

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

MD5SUM BENCH= 17bffac3a21734cf7ff7fa9ecba23d9d
RANDOM SEED= 1826157817

Linux tipi10 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.367
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.367
cache size	: 1024 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.77

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

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


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:        898852 kB
Buffers:         25512 kB
Cached:        1035652 kB
SwapCached:       2732 kB
Active:         500100 kB
Inactive:       570964 kB
HighTotal:     1178688 kB
HighFree:       287900 kB
LowTotal:       895776 kB
LowFree:        610952 kB
SwapTotal:     1959888 kB
SwapFree:      1951864 kB
Dirty:           35344 kB
Writeback:           0 kB
AnonPages:        9244 kB
Mapped:           3276 kB
Slab:            95364 kB
PageTables:        484 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    90592 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 4136 MiB
End job on tipi10 at 2009-05-17 04:03:21