Trace number 1820795

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.02 1199.94

General information on the benchmark

Namemizh-sha0-36-4.cnf
MD5SUMf43e1bf70d9ce8021bafd328efc83ae7
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables50073
Number of clauses210235
Sum of the clauses size628383
Maximum clause length4
Minimum clause length1
Number of clauses of size 1177
Number of clauses of size 286992
Number of clauses of size 338042
Number of clauses of size 485024
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Parsing...
0.11/0.19	c ==============================================================================
0.11/0.19	c |           |     ORIGINAL     |              LEARNT              |          |
0.11/0.19	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.11/0.19	c ==============================================================================
0.11/0.19	c |         0 |  180292   522218 |   54087       0        0     nan |  0.000 % |
0.80/0.83	c |         0 |  120343   408065 |      --       0       --      -- |     --   | -57260/-106174
0.80/0.84	c ==============================================================================
0.80/0.84	c Result  :   #vars: 20573   #clauses: 120343   #literals: 408065
0.80/0.84	c CPU time:   0.79 s
0.80/0.84	c ==============================================================================
0.90/0.98	c This is MiniSat 2.0 beta
0.90/0.98	c WARNING: for repeatability, setting FPU to use double precision
0.90/0.98	c ============================[ Problem Statistics ]=============================
0.90/0.98	c |                                                                             |
0.90/0.98	c |  Number of variables:  20573                                                |
0.90/0.98	c |  Number of clauses:    120343                                               |
0.97/1.06	c |  Parsing time:         0.09         s                                       |
0.97/1.07	c ============================[ Search Statistics ]==============================
0.97/1.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.97/1.07	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.97/1.07	c ===============================================================================
0.97/1.07	c |         0 |   20573   120343   408065 |    40114        0    nan |  0.000 % |
1.10/1.12	c |       512 |   20573   120343   408065 |    40114      512      5 |  0.000 % |
1.10/1.19	c |      1024 |   20556   120343   408065 |    40114     1018      6 |  0.126 % |
1.21/1.26	c |      1538 |   20556   120343   408065 |    40114     1532      7 |  0.126 % |
1.50/1.50	c |      2563 |   20556   120343   408065 |    40114     2557      7 |  0.126 % |
1.50/1.55	c |      3076 |   20536   120206   407679 |    40114     3062      8 |  0.214 % |
1.50/1.56	c |      3588 |   20534   120206   407679 |    40114     3573      8 |  0.228 % |
1.71/1.73	c |      4613 |   20533   120206   407679 |    40114     4598      8 |  0.228 % |
2.11/2.18	c |      6661 |   20512   119916   406792 |    40114     6371      9 |  0.297 % |
2.21/2.23	c |      7173 |   20511   119916   406792 |    40114     6882      9 |  0.301 % |
2.21/2.26	c |      7686 |   20511   119916   406792 |    40114     7395      9 |  0.301 % |
2.31/2.35	c |      8711 |   20502   119916   406792 |    40114     8419      9 |  0.374 % |
2.31/2.37	c |      9225 |   20502   119916   406792 |    40114     8933      9 |  0.374 % |
2.41/2.42	c |      9737 |   20501   119916   406792 |    40114     9444      9 |  0.379 % |
2.41/2.48	c |     10762 |   20501   119916   406792 | 2147483647    10469      9 |  0.379 % |
2.51/2.58	c |     12810 |   20492   119780   406362 | 2147483647    12412      9 |  0.394 % |
2.71/2.73	c |     16906 |   20489   119780   406362 | 2147483647    16506      9 |  0.408 % |
2.71/2.76	c |     17418 |   20486   119780   406362 | 2147483647    17017      9 |  0.437 % |
2.71/2.79	c |     17930 |   20485   119780   406362 | 2147483647    17528      9 |  0.442 % |
2.81/2.87	c |     18954 |   20482   119780   406362 | 2147483647    18551      9 |  0.471 % |
2.91/2.93	c |     19466 |   20476   119592   405756 | 2147483647    17490      9 |  0.471 % |
2.91/2.96	c |     19978 |   20476   119592   405756 | 2147483647    18002      9 |  0.471 % |
3.01/3.04	c |     21003 |   20475   119592   405756 | 2147483647    19026      9 |  0.476 % |
3.21/3.25	c |     23055 |   20468   119592   405756 | 2147483647    21075      9 |  0.530 % |
3.21/3.29	c |     23568 |   20464   119592   405756 | 2147483647    21587      9 |  0.593 % |
3.31/3.35	c |     24081 |   20464   119592   405756 | 2147483647    22100      9 |  0.593 % |
3.41/3.42	c |     25106 |   20439   119262   404687 | 2147483647    19916      9 |  0.651 % |
3.41/3.44	c |     25618 |   20439   119262   404687 | 2147483647    20428      9 |  0.651 % |
3.41/3.48	c |     26130 |   20439   119262   404687 | 2147483647    20940      9 |  0.651 % |
3.51/3.59	c |     27154 |   20423   119262   404687 | 2147483647    21962      9 |  0.778 % |
3.61/3.67	c |     29202 |   20417   119262   404687 | 2147483647    24009      9 |  0.831 % |
3.81/3.83	c |     33300 |   20392   119262   404687 | 2147483647    28101      9 |  0.987 % |
4.41/4.47	c |     41492 |   20360   118645   402635 | 2147483647    33472     10 |  1.035 % |
4.41/4.50	c |     42004 |   20360   118645   402635 | 2147483647    33984     10 |  1.035 % |
4.51/4.51	c |     42516 |   20360   118645   402635 | 2147483647    34496     10 |  1.035 % |
4.51/4.59	c |     43542 |   20353   118645   402635 | 2147483647    35520     10 |  1.103 % |
4.61/4.62	c |     44054 |   20348   118645   402635 | 2147483647    36030     10 |  1.147 % |
4.61/4.68	c |     44567 |   20340   118645   402635 | 2147483647    36543     10 |  1.147 % |
4.61/4.71	c |     45592 |   20340   118645   402635 | 2147483647    37568     10 |  1.147 % |
4.81/4.88	c |     47640 |   20336   118345   401685 | 2147483647    38505     10 |  1.152 % |
4.91/4.93	c |     48153 |   20336   118345   401685 | 2147483647    39018     10 |  1.152 % |
4.91/4.99	c |     48665 |   20335   118345   401685 | 2147483647    39529     10 |  1.157 % |
5.11/5.14	c |     49689 |   20335   118345   401685 | 2147483647    40553     10 |  1.157 % |
5.21/5.24	c |     50203 |   20335   118345   401685 | 2147483647    41067     10 |  1.157 % |
5.21/5.26	c |     50715 |   20335   118345   401685 | 2147483647    41579     10 |  1.157 % |
5.31/5.33	c |     51739 |   20334   118345   401685 | 2147483647    42602     10 |  1.162 % |
5.51/5.57	c |     53787 |   20330   118345   401685 | 2147483647    44649     10 |  1.181 % |
6.11/6.19	c |     57883 |   20322   118284   401473 | 2147483647    48052     10 |  1.264 % |
6.21/6.28	c |     58395 |   20322   118284   401473 | 2147483647    48564     10 |  1.264 % |
6.31/6.31	c |     58908 |   20322   118284   401473 | 2147483647    49077     10 |  1.264 % |
6.31/6.40	c |     59932 |   20319   118284   401473 | 2147483647    50100     10 |  1.298 % |
6.41/6.43	c |     60445 |   20319   118284   401473 | 2147483647    50613     10 |  1.298 % |
6.51/6.54	c |     60957 |   20313   118284   401473 | 2147483647    51125     10 |  1.298 % |
6.61/6.65	c |     61982 |   20300   118069   400765 | 2147483647    50999     10 |  1.356 % |
6.91/6.91	c |     64030 |   20294   118069   400765 | 2147483647    53047     10 |  1.356 % |
6.91/6.99	c |     64543 |   20294   118069   400765 | 2147483647    53560     10 |  1.356 % |
7.01/7.02	c |     65055 |   20294   118069   400765 | 2147483647    54072     10 |  1.356 % |
7.11/7.19	c |     66082 |   20290   118069   400765 | 2147483647    55098     10 |  1.405 % |
7.31/7.33	c |     66595 |   20285   118069   400765 | 2147483647    55611     10 |  1.405 % |
7.31/7.35	c |     67108 |   20285   118069   400765 | 2147483647    56124     10 |  1.405 % |
7.41/7.51	c |     68133 |   20285   118069   400765 | 2147483647    57149     10 |  1.405 % |
7.61/7.69	c |     70181 |   20285   118069   400765 | 2147483647    59197     11 |  1.405 % |
8.11/8.13	c |     74278 |   20284   117887   400200 | 2147483647    62482     11 |  1.405 % |
9.01/9.03	c |     82471 |   20273   117756   399764 | 2147483647    69609     11 |  1.458 % |
11.31/11.36	c |     98855 |   19786   115147   391566 | 2147483647    74254     11 |  3.923 % |
11.41/11.45	c |     99368 |   19786   115147   391566 | 2147483647    74767     11 |  3.923 % |
11.41/11.48	c |     99881 |   19776   115147   391566 | 2147483647    75278     11 |  4.088 % |
11.61/11.64	c |    100905 |   19748   115147   391566 | 2147483647    76300     11 |  4.234 % |
11.71/11.72	c |    101418 |   19714   115147   391566 | 2147483647    76808     11 |  4.584 % |
11.81/11.81	c |    101932 |   19714   115147   391566 | 2147483647    77322     11 |  4.584 % |
11.91/11.97	c |    102956 |   19714   115147   391566 | 2147483647    78346     11 |  4.584 % |
12.21/12.24	c |    105004 |   19600   113290   385574 | 2147483647    71585     11 |  4.968 % |
12.31/12.32	c |    105518 |   19600   113290   385574 | 2147483647    72099     11 |  4.968 % |
12.31/12.40	c |    106031 |   19597   113290   385574 | 2147483647    72611     11 |  4.987 % |
12.51/12.52	c |    107055 |   19578   113290   385574 | 2147483647    73633     11 |  5.104 % |
12.51/12.59	c |    107567 |   19520   113290   385574 | 2147483647    74143     11 |  5.697 % |
12.71/12.75	c |    108079 |   19445   113290   385574 | 2147483647    74654     11 |  6.052 % |
13.11/13.16	c |    109103 |   19445   113290   385574 | 2147483647    75678     11 |  6.052 % |
13.71/13.79	c |    111151 |   19320   111384   379470 | 2147483647    71220     11 |  6.091 % |
14.41/14.50	c |    115249 |   19294   111384   379470 | 2147483647    75309     11 |  6.280 % |
14.61/14.65	c |    115762 |   19276   111384   379470 | 2147483647    75817     11 |  6.382 % |
14.81/14.87	c |    116275 |   19276   111384   379470 | 2147483647    76330     11 |  6.382 % |
14.91/14.94	c |    117299 |   19272   111384   379470 | 2147483647    77353     11 |  6.411 % |
15.01/15.05	c |    117811 |   19270   111384   379470 | 2147483647    77865     11 |  6.411 % |
15.11/15.20	c |    118323 |   19254   110845   377738 | 2147483647    74932     11 |  6.411 % |
15.21/15.30	c |    119347 |   19252   110845   377738 | 2147483647    75955     11 |  6.421 % |
15.71/15.80	c |    121395 |   19247   110845   377738 | 2147483647    78000     11 |  6.450 % |
16.01/16.07	c |    121907 |   19247   110845   377738 | 2147483647    78512     11 |  6.450 % |
16.21/16.24	c |    122419 |   19245   110845   377738 | 2147483647    79023     11 |  6.460 % |
16.61/16.70	c |    123443 |   19245   110845   377738 | 2147483647    80047     11 |  6.460 % |
16.91/16.91	c |    123958 |   19244   110768   377514 | 2147483647    80337     11 |  6.460 % |
17.01/17.01	c |    124473 |   19238   110768   377514 | 2147483647    80850     11 |  6.504 % |
17.11/17.20	c |    125497 |   19238   110768   377514 | 2147483647    81874     11 |  6.504 % |
17.51/17.57	c |    127546 |   19227   110768   377514 | 2147483647    83920     11 |  6.572 % |
18.91/18.96	c |    131642 |   19219   110537   376754 | 2147483647    85337     11 |  6.581 % |
22.01/22.02	c |    139834 |   19212   110498   376631 | 2147483647    93440     14 |  6.615 % |
22.11/22.14	c |    140346 |   19194   110498   376631 | 2147483647    93949     14 |  6.732 % |
22.31/22.32	c |    140859 |   19194   110498   376631 | 2147483647    94462     14 |  6.732 % |
22.41/22.46	c |    141883 |   19194   110498   376631 | 2147483647    95486     14 |  6.732 % |
22.51/22.59	c |    142396 |   19188   110498   376631 | 2147483647    95998     14 |  6.781 % |
22.51/22.60	c |    142908 |   19188   110498   376631 | 2147483647    96510     14 |  6.781 % |
22.91/23.00	c |    143932 |   19169   110498   376631 | 2147483647    97533     14 |  6.859 % |
24.11/24.13	c |    145981 |   19169   110498   376631 | 2147483647    99582     15 |  6.859 % |
24.21/24.29	c |    146493 |   19162   110140   375451 | 2147483647    98720     15 |  6.859 % |
24.31/24.34	c |    147005 |   19162   110140   375451 | 2147483647    99231     15 |  6.863 % |
24.91/24.92	c |    148029 |   19160   110140   375451 | 2147483647   100254     15 |  6.878 % |
24.91/24.99	c |    148542 |   19158   110140   375451 | 2147483647   100766     15 |  6.897 % |
25.01/25.10	c |    149054 |   19158   110140   375451 | 2147483647   101278     15 |  6.897 % |
25.11/25.21	c |    150079 |   19149   110140   375451 |   102224   102301     15 |  7.033 % |
26.21/26.27	c |    152127 |   19142   110140   375451 |   102224    92302     17 |  7.087 % |
28.11/28.19	c |    156224 |   19082   109629   373716 |   102224    94055     18 |  7.247 % |
28.41/28.47	c |    156736 |   19082   109629   373716 |   102224    94567     18 |  7.247 % |
28.51/28.60	c |    157248 |   19082   109629   373716 |   102224    95079     18 |  7.247 % |
28.81/28.87	c |    158273 |   19082   109629   373716 |   102224    96104     18 |  7.247 % |
29.01/29.07	c |    158787 |   19082   109629   373716 |   102224    96618     18 |  7.247 % |
29.31/29.34	c |    159299 |   19082   109629   373716 |   102224    97130     18 |  7.247 % |
29.71/29.80	c |    160325 |   19082   109629   373716 |    97831    98156     18 |  7.247 % |
30.81/30.88	c |    162373 |   19082   109619   373684 |    97831   100197     20 |  7.247 % |
31.01/31.03	c |    162886 |   19082   109619   373684 |    97831    90691     21 |  7.247 % |
31.01/31.08	c |    163398 |   19078   109619   373684 |    97831    91202     21 |  7.267 % |
31.41/31.48	c |    164423 |   19078   109619   373684 |    97831    92227     21 |  7.267 % |
31.61/31.62	c |    164936 |   19078   109619   373684 |    97831    92740     21 |  7.267 % |
31.81/31.83	c |    165449 |   19078   109619   373684 |    97831    93253     21 |  7.267 % |
32.31/32.35	c |    166473 |   19078   109619   373684 |    97831    94277     21 |  7.267 % |
33.31/33.32	c |    168522 |   19078   109619   373684 |    97831    96326     22 |  7.267 % |
37.31/37.34	c |    172618 |   19078   109573   373530 |    96008    98624     28 |  7.267 % |
43.71/43.76	c |    180810 |   19078   109573   373530 | 2147483647    95869     37 |  7.267 % |
59.12/59.13	c |    197194 |   19078   109573   373530 |   105059   112253     56 |  7.267 % |
85.82/85.92	c |    229963 |   19067   109503   373304 |    86624    84335     99 |  7.320 % |
86.02/86.11	c |    230475 |   19067   109503   373304 |    84372    84847     99 |  7.320 % |
86.22/86.27	c |    230988 |   19067   109503   373304 |    84372    85360     98 |  7.320 % |
86.32/86.35	c |    232012 |   19067   109503   373304 |    84372    76204     98 |  7.320 % |
86.42/86.44	c |    232525 |   19067   109503   373304 |    84372    76717     97 |  7.320 % |
86.42/86.51	c |    233038 |   19067   109503   373304 |    84372    77230     96 |  7.320 % |
86.82/86.86	c |    234062 |   19067   109503   373304 |    84372    78254     95 |  7.320 % |
87.52/87.56	c |    236110 |   19061   109493   373280 |    84372    80293     94 |  7.349 % |
87.62/87.67	c |    236623 |   19061   109493   373280 |    84372    80806     93 |  7.349 % |
87.92/87.96	c |    237136 |   19061   109493   373280 |    84372    81319     93 |  7.349 % |
88.32/88.38	c |    238160 |   19061   109493   373280 |    84372    82342     92 |  7.359 % |
88.62/88.64	c |    238672 |   19060   109493   373280 |    84372    82854     92 |  7.359 % |
88.82/88.91	c |    239184 |   19060   109493   373280 |    84372    83366     92 |  7.359 % |
89.42/89.48	c |    240208 |   19060   109493   373280 |    84182    84390     91 |  7.359 % |
90.82/90.88	c |    242257 |   19060   109493   373280 |    84182    86439     91 |  7.359 % |
92.22/92.30	c |    246353 |   19060   109493   373280 |    84182    81729     87 |  7.359 % |
92.32/92.40	c |    246866 |   19060   109493   373280 |    84182    82242     86 |  7.359 % |
92.62/92.69	c |    247378 |   19060   109493   373280 |    84182    82754     86 |  7.359 % |
93.12/93.19	c |    248402 |   19060   109493   373280 |    84182    83778     86 |  7.359 % |
93.32/93.38	c |    248914 |   19060   109493   373280 |    84182    84290     86 |  7.359 % |
93.63/93.64	c |    249428 |   19060   109493   373280 |    84182    84804     85 |  7.359 % |
94.62/94.68	c |    250453 |   19060   109493   373280 |    85376    85829     86 |  7.359 % |
96.42/96.46	c |    252501 |   19060   109493   373280 |    85376    87877     87 |  7.359 % |
96.72/96.73	c |    253013 |   19060   109493   373280 |    85376    77719     73 |  7.359 % |
97.02/97.08	c |    253525 |   19060   109493   373280 |    85376    78231     73 |  7.359 % |
97.92/97.95	c |    254549 |   19060   109493   373280 |    85376    79255     74 |  7.359 % |
98.32/98.33	c |    255061 |   19060   109493   373280 |    85376    79767     74 |  7.359 % |
98.42/98.42	c |    255573 |   19059   109493   373280 |    85376    80278     74 |  7.364 % |
98.62/98.65	c |    256597 |   19058   109493   373280 |    85376    81301     73 |  7.369 % |
100.42/100.44	c |    258645 |   19058   109493   373280 |    85376    83349     75 |  7.369 % |
103.72/103.74	c |    262742 |   19057   109412   373005 |    83993    86732     78 |  7.369 % |
110.13/110.15	c |    270935 |   19057   109412   373005 |    84500    85434     80 |  7.369 % |
110.42/110.42	c |    271448 |   19057   109412   373005 |    84500    85947     80 |  7.369 % |
110.62/110.62	c |    271961 |   19057   109412   373005 |    84500    86460     80 |  7.369 % |
111.12/111.16	c |    272985 |   19057   109412   373005 |    84500    77599     72 |  7.369 % |
111.52/111.52	c |    273497 |   19057   109412   373005 |    84500    78111     72 |  7.369 % |
111.72/111.80	c |    274009 |   19057   109412   373005 |    84500    78623     72 |  7.369 % |
112.62/112.65	c |    275034 |   19057   109412   373005 |    84500    79648     73 |  7.369 % |
113.62/113.64	c |    277084 |   19051   109352   372813 |    84500    80499     73 |  7.398 % |
113.82/113.86	c |    277597 |   19051   109352   372813 |    84500    81012     73 |  7.398 % |
114.12/114.12	c |    278110 |   19051   109352   372813 |    84500    81525     73 |  7.398 % |
114.72/114.74	c |    279134 |   19051   109352   372813 |    84500    82549     72 |  7.398 % |
115.02/115.05	c |    279647 |   19051   109352   372813 |    84500    83062     72 |  7.398 % |
115.12/115.19	c |    280159 |   19051   109352   372813 |    83415    83574     72 |  7.398 % |
115.72/115.71	c |    281183 |   19051   109352   372813 |    83415    84598     72 |  7.398 % |
117.12/117.15	c |    283231 |   19051   109352   372813 |    83415    76891     62 |  7.398 % |
119.72/119.75	c |    287328 |   19051   109352   372813 |    83415    80988     64 |  7.398 % |
119.92/119.96	c |    287840 |   19051   109352   372813 |    83415    81500     64 |  7.398 % |
120.03/120.04	c |    288352 |   19051   109352   372813 |    83415    82012     63 |  7.398 % |
120.82/120.87	c |    289376 |   19050   109352   372813 |    83415    83035     64 |  7.403 % |
121.02/121.09	c |    289889 |   19050   109352   372813 |    83415    83548     64 |  7.403 % |
121.32/121.36	c |    290401 |   19050   109352   372813 |    83659    84060     64 |  7.403 % |
122.32/122.40	c |    291426 |   19050   109347   372801 |    83659    85085     65 |  7.403 % |
123.22/123.26	c |    293476 |   19050   109347   372801 |    83659    77181     64 |  7.403 % |
123.62/123.70	c |    293988 |   19050   109347   372801 |    83659    77693     65 |  7.403 % |
123.92/123.91	c |    294502 |   19050   109347   372801 |    83659    78207     64 |  7.403 % |
124.52/124.59	c |    295526 |   19050   109347   372801 |    83659    79231     64 |  7.403 % |
124.82/124.86	c |    296040 |   19050   109347   372801 |    83659    79745     64 |  7.403 % |
125.12/125.15	c |    296553 |   19050   109347   372801 |    83659    80258     64 |  7.403 % |
125.72/125.78	c |    297577 |   19050   109347   372801 |    83659    81282     64 |  7.403 % |
127.22/127.23	c |    299625 |   19050   109347   372801 |    83659    83330     65 |  7.403 % |
130.12/130.15	c |    303721 |   19050   109347   372801 |    83709    87426     68 |  7.403 % |
138.03/138.03	c |    311914 |   19050   109347   372801 |    82998    84912     77 |  7.403 % |
152.63/152.64	c |    328298 |   19050   109347   372801 | 2147483647    87340     86 |  7.403 % |
153.03/153.06	c |    328810 |   19050   109347   372801 | 2147483647    87852     86 |  7.403 % |
153.33/153.39	c |    329325 |   19050   109347   372801 | 2147483647    88367     86 |  7.403 % |
154.23/154.24	c |    330349 |   19050   109347   372801 | 2147483647    89391     87 |  7.403 % |
154.53/154.53	c |    330863 |   19050   109347   372801 | 2147483647    89905     86 |  7.403 % |
154.83/154.91	c |    331375 |   19050   109347   372801 | 2147483647    90417     86 |  7.403 % |
155.93/155.95	c |    332401 |   19050   109347   372801 | 2147483647    91443     87 |  7.403 % |
157.52/157.58	c |    334449 |   19050   109347   372801 | 2147483647    93491     87 |  7.403 % |
157.92/157.96	c |    334962 |   19050   109347   372801 | 2147483647    94004     87 |  7.403 % |
158.32/158.41	c |    335474 |   19050   109347   372801 | 2147483647    94516     87 |  7.403 % |
159.12/159.20	c |    336499 |   19050   109347   372801 | 2147483647    95541     87 |  7.403 % |
159.52/159.56	c |    337011 |   19050   109347   372801 | 2147483647    96053     87 |  7.403 % |
160.02/160.06	c |    337523 |   19050   109347   372801 | 2147483647    96565     87 |  7.403 % |
160.92/160.97	c |    338547 |   19050   109347   372801 | 2147483647    97589     88 |  7.403 % |
162.72/162.77	c |    340595 |   19050   109347   372801 |    99042    99637     88 |  7.403 % |
165.22/165.25	c |    344692 |   19050   109347   372801 |    99042    90191     87 |  7.403 % |
165.42/165.44	c |    345204 |   19050   109347   372801 |    99042    90703     87 |  7.403 % |
165.42/165.48	c |    345717 |   19050   109347   372801 |    99042    91216     87 |  7.403 % |
166.02/166.05	c |    346741 |   19050   109347   372801 |    99042    92240     87 |  7.403 % |
166.32/166.37	c |    347255 |   19050   109347   372801 |    99042    92754     87 |  7.403 % |
166.72/166.77	c |    347767 |   19050   109347   372801 |    99042    93266     86 |  7.403 % |
167.12/167.17	c |    348793 |   19050   109347   372801 |    99042    94292     86 |  7.403 % |
168.32/168.40	c |    350841 |   19050   109347   372801 |    95500    96340     86 |  7.403 % |
168.82/168.83	c |    351353 |   19050   109347   372801 |    95500    96852     86 |  7.403 % |
169.12/169.17	c |    351865 |   19050   109347   372801 |    95500    97364     86 |  7.403 % |
169.72/169.76	c |    352889 |   19050   109347   372801 |    95500    84293     85 |  7.403 % |
169.92/169.91	c |    353401 |   19050   109347   372801 |    95500    84805     84 |  7.403 % |
170.22/170.24	c |    353913 |   19050   109347   372801 |    95500    85317     84 |  7.403 % |
170.82/170.87	c |    354937 |   19050   109347   372801 |    95500    86341     84 |  7.403 % |
172.72/172.80	c |    356985 |   19050   109347   372801 |    95500    88389     86 |  7.403 % |
176.32/176.33	c |    361081 |   19050   109347   372801 |    91404    92485     87 |  7.403 % |
184.22/184.23	c |    369274 |   19050   109347   372801 |    91404    87876     87 |  7.403 % |
184.52/184.58	c |    369789 |   19050   109347   372801 |    91404    88391     87 |  7.403 % |
184.92/184.95	c |    370301 |   19050   109347   372801 |    88602    88903     87 |  7.403 % |
185.52/185.54	c |    371326 |   19050   109347   372801 |    88602    89928     87 |  7.403 % |
185.82/185.86	c |    371840 |   19050   109347   372801 |    88602    90442     86 |  7.403 % |
186.12/186.15	c |    372354 |   19050   109347   372801 |    88602    79265     76 |  7.403 % |
187.02/187.07	c |    373379 |   19050   109347   372801 |    88602    80290     77 |  7.403 % |
188.32/188.38	c |    375429 |   19050   109347   372801 |    88602    82340     77 |  7.403 % |
188.82/188.84	c |    375942 |   19050   109347   372801 |    88602    82853     77 |  7.403 % |
189.22/189.24	c |    376455 |   19050   109347   372801 |    88602    83366     78 |  7.403 % |
189.92/189.99	c |    377480 |   19050   109347   372801 |    88602    84391     78 |  7.403 % |
190.22/190.24	c |    377992 |   19050   109347   372801 |    88602    84903     77 |  7.403 % |
190.52/190.54	c |    378506 |   19050   109347   372801 |    88602    85417     77 |  7.403 % |
191.32/191.36	c |    379531 |   19050   109347   372801 |    88602    86442     78 |  7.403 % |
193.12/193.11	c |    381580 |   19050   109347   372801 |    86912    88491     79 |  7.403 % |
196.22/196.21	c |    385676 |   19050   109347   372801 |    86912    82752     73 |  7.403 % |
196.62/196.61	c |    386189 |   19050   109347   372801 |    86912    83265     73 |  7.403 % |
197.02/197.10	c |    386702 |   19050   109347   372801 |    86912    83778     73 |  7.403 % |
197.92/197.95	c |    387728 |   19050   109347   372801 |    86912    84804     74 |  7.403 % |
198.22/198.23	c |    388240 |   19050   109347   372801 |    86912    85316     74 |  7.403 % |
198.52/198.60	c |    388753 |   19050   109347   372801 |    86912    85829     74 |  7.403 % |
199.12/199.15	c |    389780 |   19050   109347   372801 |    86912    86856     74 |  7.403 % |
200.82/200.82	c |    391828 |   19050   109347   372801 |    87077    88904     75 |  7.403 % |
201.12/201.13	c |    392344 |   19050   109347   372801 |    87077    78864     71 |  7.403 % |
201.52/201.51	c |    392856 |   19050   109347   372801 |    87077    79376     71 |  7.403 % |
202.42/202.45	c |    393880 |   19050   109347   372801 |    87077    80400     72 |  7.403 % |
202.72/202.77	c |    394392 |   19050   109347   372801 |    87077    80912     72 |  7.403 % |
202.92/203.00	c |    394905 |   19050   109347   372801 |    87077    81425     72 |  7.403 % |
203.92/203.99	c |    395931 |   19050   109347   372801 |    87077    82451     73 |  7.403 % |
205.72/205.76	c |    397981 |   19050   109347   372801 |    87077    84501     74 |  7.403 % |
209.52/209.55	c |    402079 |   19050   109347   372801 |    86520    88599     78 |  7.403 % |
217.42/217.42	c |    410271 |   19050   109347   372801 |    86187    86458     88 |  7.403 % |
235.72/235.73	c |    426656 |   19050   109347   372801 |    86332    81821    102 |  7.403 % |
269.23/269.27	c |    459425 |   19050   109347   372801 |    76349    70324    135 |  7.403 % |
326.53/326.51	c |    524961 |   19050   109347   372801 |    89706    79989    120 |  7.403 % |
326.73/326.80	c |    525473 |   19050   109347   372801 |    89706    80501    119 |  7.403 % |
327.33/327.35	c |    525986 |   19050   109347   372801 |    89706    81014    119 |  7.403 % |
327.73/327.73	c |    527011 |   19050   109347   372801 |    89706    82039    118 |  7.403 % |
327.93/327.95	c |    527523 |   19050   109347   372801 |    89706    82551    118 |  7.403 % |
328.13/328.16	c |    528036 |   19050   109347   372801 |    89706    83064    117 |  7.403 % |
329.03/329.05	c |    529060 |   19050   109347   372801 |    89706    84088    117 |  7.403 % |
329.93/329.97	c |    531108 |   19050   109347   372801 |    85029    86136    115 |  7.403 % |
330.43/330.42	c |    531620 |   19050   109347   372801 |    85029    86648    115 |  7.403 % |
330.83/330.89	c |    532132 |   19050   109347   372801 |    85029    76592    115 |  7.403 % |
331.73/331.79	c |    533157 |   19050   109347   372801 |    85029    77617    115 |  7.403 % |
331.93/332.00	c |    533669 |   19050   109347   372801 |    85029    78129    115 |  7.403 % |
332.33/332.32	c |    534182 |   19050   109347   372801 |    85029    78642    114 |  7.403 % |
332.93/332.97	c |    535207 |   19050   109347   372801 |    85029    79667    113 |  7.403 % |
334.73/334.80	c |    537256 |   19050   109347   372801 |    85029    81716    114 |  7.403 % |
337.43/337.48	c |    541352 |   19050   109347   372801 | 2147483647    85812    112 |  7.403 % |
337.73/337.75	c |    541864 |   19050   109347   372801 | 2147483647    86324    112 |  7.403 % |
338.13/338.16	c |    542376 |   19050   109347   372801 | 2147483647    86836    112 |  7.403 % |
338.73/338.75	c |    543402 |   19050   109347   372801 | 2147483647    87862    111 |  7.403 % |
339.03/339.02	c |    543915 |   19050   109347   372801 | 2147483647    88375    111 |  7.403 % |
339.33/339.40	c |    544429 |   19050   109347   372801 | 2147483647    88889    110 |  7.403 % |
339.93/340.00	c |    545453 |   19050   109347   372801 | 2147483647    89913    110 |  7.403 % |
341.43/341.44	c |    547502 |   19050   109347   372801 | 2147483647    91962    110 |  7.403 % |
341.73/341.79	c |    548014 |   19050   109347   372801 | 2147483647    92474    109 |  7.403 % |
342.23/342.28	c |    548527 |   19050   109347   372801 | 2147483647    92987    109 |  7.403 % |
342.73/342.77	c |    549551 |   19050   109347   372801 | 2147483647    94011    109 |  7.403 % |
343.03/343.03	c |    550063 |   19050   109347   372801 |    94460    94523    108 |  7.403 % |
343.43/343.41	c |    550575 |   19050   109347   372801 |    94460    95035    108 |  7.403 % |
344.03/344.06	c |    551599 |   19050   109347   372801 |    94460    96059    108 |  7.403 % |
345.54/345.53	c |    553647 |   19050   109347   372801 |    94460    84590     93 |  7.403 % |
349.03/349.07	c |    557745 |   19050   109347   372801 |    94460    88688     95 |  7.403 % |
357.93/357.94	c |    565937 |   19050   109347   372801 |    90943    86298     96 |  7.403 % |
358.23/358.21	c |    566449 |   19050   109347   372801 |    90943    86810     96 |  7.403 % |
358.53/358.53	c |    566962 |   19050   109347   372801 |    90943    87323     95 |  7.403 % |
359.43/359.44	c |    567988 |   19050   109347   372801 |    90943    88349     96 |  7.403 % |
359.73/359.73	c |    568500 |   19050   109347   372801 |    90943    88861     95 |  7.403 % |
359.93/359.97	c |    569012 |   19050   109347   372801 |    90943    89373     95 |  7.403 % |
360.83/360.83	c |    570038 |   19050   109347   372801 |    90362    90399     95 |  7.403 % |
362.53/362.59	c |    572087 |   19050   109347   372801 |    90362    92448     96 |  7.403 % |
362.83/362.90	c |    572599 |   19050   109347   372801 |    90362    83105     78 |  7.403 % |
363.23/363.22	c |    573111 |   19050   109347   372801 |    90362    83617     78 |  7.403 % |
364.03/364.08	c |    574136 |   19050   109347   372801 |    90362    84642     79 |  7.403 % |
364.43/364.46	c |    574648 |   19050   109347   372801 |    90362    85154     79 |  7.403 % |
364.73/364.73	c |    575160 |   19050   109347   372801 |    90362    85666     78 |  7.403 % |
365.23/365.27	c |    576185 |   19050   109347   372801 |    90362    86691     78 |  7.403 % |
366.53/366.50	c |    578234 |   19050   109347   372801 |    90362    88740     78 |  7.403 % |
369.83/369.90	c |    582330 |   19050   109347   372801 |    90507    92836     80 |  7.403 % |
370.23/370.29	c |    582844 |   19050   109347   372801 |    90507    84067     74 |  7.403 % |
370.53/370.52	c |    583357 |   19050   109347   372801 |    90507    84580     74 |  7.403 % |
371.13/371.20	c |    584381 |   19050   109347   372801 |    90507    85604     74 |  7.403 % |
371.53/371.55	c |    584893 |   19050   109347   372801 |    90507    86116     74 |  7.403 % |
371.83/371.88	c |    585407 |   19050   109347   372801 |    90507    86630     74 |  7.403 % |
372.53/372.57	c |    586431 |   19050   109347   372801 |    90507    87654     75 |  7.403 % |
374.43/374.45	c |    588479 |   19050   109347   372801 |    90507    89702     76 |  7.403 % |
374.83/374.85	c |    588991 |   19050   109347   372801 |    90507    90214     76 |  7.403 % |
375.13/375.14	c |    589505 |   19050   109347   372801 |    90507    90728     76 |  7.403 % |
375.73/375.71	c |    590529 |   19050   109347   372801 |    91224    91752     76 |  7.403 % |
376.13/376.16	c |    591041 |   19050   109347   372801 |    91224    92264     76 |  7.403 % |
376.63/376.66	c |    591555 |   19050   109347   372801 |    91224    92778     76 |  7.403 % |
377.13/377.18	c |    592579 |   19050   109347   372801 |    91224    82716     75 |  7.403 % |
378.83/378.83	c |    594627 |   19050   109347   372801 |    91224    84764     76 |  7.403 % |
383.13/383.13	c |    598723 |   19050   109347   372801 |    91224    88860     82 |  7.403 % |
390.23/390.26	c |    606915 |   19049   109340   372778 |    90137    83879     87 |  7.408 % |
408.65/408.63	c |    623300 |   19049   109340   372778 |    83262    86561     96 |  7.408 % |
408.85/408.89	c |    623812 |   19049   109340   372778 |    83262    73051     98 |  7.408 % |
409.15/409.13	c |    624325 |   19049   109340   372778 |    83262    73564     98 |  7.408 % |
409.35/409.41	c |    625353 |   19049   109340   372778 |    83262    74592     97 |  7.408 % |
409.75/409.77	c |    625866 |   19049   109340   372778 |    83262    75105     97 |  7.408 % |
409.95/409.96	c |    626378 |   19049   109340   372778 |    83262    75617     96 |  7.408 % |
410.35/410.33	c |    627403 |   19048   109330   372742 |    83262    76637     95 |  7.413 % |
412.35/412.34	c |    629451 |   19048   109330   372742 |    83262    78685     98 |  7.413 % |
412.75/412.78	c |    629963 |   19048   109330   372742 |    83262    79197     98 |  7.413 % |
412.95/413.00	c |    630475 |   19048   109330   372742 |    79236    79709     98 |  7.413 % |
413.95/414.01	c |    631499 |   19048   109330   372742 |    79236    80733     98 |  7.413 % |
414.15/414.19	c |    632011 |   19048   109330   372742 |    79236    81245     98 |  7.413 % |
414.55/414.61	c |    632524 |   19048   109330   372742 |    79236    72006     98 |  7.413 % |
415.75/415.72	c |    633548 |   19048   109330   372742 |    79236    73030    100 |  7.413 % |
416.75/416.77	c |    635596 |   19048   109330   372742 |    79236    75078     98 |  7.413 % |
420.25/420.28	c |    639692 |   19048   109330   372742 |    79236    79174    101 |  7.413 % |
420.65/420.65	c |    640204 |   19048   109330   372742 | 2147483647    79686    101 |  7.413 % |
421.05/421.08	c |    640717 |   19048   109330   372742 | 2147483647    80199    101 |  7.413 % |
421.55/421.61	c |    641743 |   19048   109330   372742 | 2147483647    81225    100 |  7.413 % |
421.95/421.96	c |    642256 |   19048   109330   372742 | 2147483647    81738    100 |  7.413 % |
422.05/422.09	c |    642769 |   19048   109330   372742 | 2147483647    82251    100 |  7.413 % |
422.85/422.83	c |    643794 |   19048   109330   372742 | 2147483647    83276    100 |  7.413 % |
424.95/424.99	c |    645842 |   19048   109330   372742 | 2147483647    85324    102 |  7.413 % |
425.25/425.24	c |    646354 |   19048   109330   372742 | 2147483647    85836    101 |  7.413 % |
425.45/425.47	c |    646867 |   19048   109330   372742 | 2147483647    86349    101 |  7.413 % |
426.15/426.20	c |    647895 |   19048   109330   372742 | 2147483647    87377    101 |  7.413 % |
426.55/426.62	c |    648407 |   19048   109330   372742 | 2147483647    87889    100 |  7.413 % |
427.15/427.19	c |    648919 |   19048   109330   372742 | 2147483647    88401    101 |  7.413 % |
427.75/427.79	c |    649947 |   19048   109330   372742 | 2147483647    89429    100 |  7.413 % |
429.95/430.00	c |    651997 |   19048   109330   372742 | 2147483647    91479    102 |  7.413 % |
433.75/433.73	c |    656093 |   19047   109322   372714 | 2147483647    95572    104 |  7.417 % |
440.25/440.28	c |    664286 |   19047   109322   372714 |    99480   103765    106 |  7.417 % |
440.55/440.55	c |    664798 |   19047   109322   372714 |    99480    88041     99 |  7.417 % |
440.65/440.69	c |    665310 |   19047   109322   372714 |    99480    88553     98 |  7.417 % |
441.25/441.31	c |    666335 |   19047   109322   372714 |    99480    89578     98 |  7.417 % |
441.65/441.71	c |    666849 |   19047   109322   372714 |    99480    90092     98 |  7.417 % |
441.95/441.93	c |    667362 |   19047   109322   372714 |    99480    90605     98 |  7.417 % |
442.85/442.86	c |    668387 |   19047   109322   372714 |    99480    91630     98 |  7.417 % |
443.95/443.98	c |    670437 |   19047   109322   372714 |    93243    93680     97 |  7.417 % |
444.35/444.34	c |    670950 |   19047   109322   372714 |    93243    94193     97 |  7.417 % |
444.65/444.68	c |    671462 |   19047   109322   372714 |    93243    94705     97 |  7.417 % |
445.85/445.86	c |    672489 |   19047   109322   372714 |    93243    95732     98 |  7.417 % |
446.15/446.21	c |    673002 |   19047   109322   372714 |    93243    82108     86 |  7.417 % |
446.45/446.51	c |    673514 |   19047   109322   372714 |    93243    82620     86 |  7.417 % |
447.25/447.25	c |    674539 |   19047   109322   372714 |    93243    83645     86 |  7.417 % |
448.95/448.93	c |    676588 |   19047   109322   372714 |    93243    85694     87 |  7.417 % |
452.45/452.45	c |    680686 |   19047   109322   372714 |    89107    89792     90 |  7.417 % |
452.75/452.75	c |    681198 |   19047   109322   372714 |    89107    90304     90 |  7.417 % |
453.15/453.13	c |    681712 |   19047   109322   372714 |    89107    90818     90 |  7.417 % |
453.85/453.82	c |    682737 |   19047   109322   372714 |    89107    78123     76 |  7.417 % |
454.05/454.07	c |    683249 |   19047   109322   372714 |    89107    78635     76 |  7.417 % |
454.55/454.60	c |    683762 |   19047   109322   372714 |    89107    79148     76 |  7.417 % |
455.55/455.58	c |    684786 |   19047   109322   372714 |    89107    80172     77 |  7.417 % |
456.55/456.57	c |    686834 |   19047   109322   372714 |    89107    82220     77 |  7.417 % |
456.85/456.87	c |    687347 |   19047   109322   372714 |    89107    82733     76 |  7.417 % |
457.45/457.45	c |    687859 |   19047   109322   372714 |    89107    83245     77 |  7.417 % |
458.05/458.08	c |    688883 |   19047   109322   372714 |    89107    84269     77 |  7.417 % |
458.55/458.61	c |    689395 |   19047   109322   372714 |    89107    84781     77 |  7.417 % |
458.95/458.94	c |    689907 |   19047   109322   372714 |    89107    85293     77 |  7.417 % |
459.45/459.48	c |    690931 |   19047   109322   372714 |    85386    86317     77 |  7.417 % |
461.35/461.36	c |    692980 |   19047   109322   372714 |    85386    88366     79 |  7.417 % |
466.55/466.60	c |    697078 |   19047   109322   372714 |    85386    82258     82 |  7.417 % |
475.25/475.32	c |    705271 |   19047   109322   372714 |    85182    90451     93 |  7.417 % |
495.35/495.35	c |    721655 |   19047   109322   372714 |    96136    97790    115 |  7.417 % |
535.25/535.27	c |    754423 |   19047   109322   372714 |    79204    67407    158 |  7.417 % |
535.45/535.49	c |    754935 |   19047   109322   372714 |    79204    67919    157 |  7.417 % |
535.85/535.83	c |    755447 |   19047   109322   372714 |    79204    68431    156 |  7.417 % |
536.65/536.62	c |    756472 |   19047   109322   372714 |    79204    69456    156 |  7.417 % |
536.95/537.00	c |    756985 |   19047   109322   372714 |    79204    69969    155 |  7.417 % |
537.45/537.48	c |    757498 |   19047   109322   372714 |    79204    70482    155 |  7.417 % |
538.05/538.09	c |    758523 |   19047   109322   372714 |    79204    71507    153 |  7.417 % |
539.15/539.17	c |    760571 |   19047   109322   372714 |    72986    73555    150 |  7.417 % |
539.35/539.32	c |    761083 |   19047   109322   372714 |    72986    74067    149 |  7.417 % |
539.55/539.61	c |    761595 |   19047   109322   372714 |    72986    74579    149 |  7.417 % |
540.05/540.05	c |    762620 |   19047   109322   372714 |    72986    64844    127 |  7.417 % |
540.25/540.29	c |    763134 |   19047   109322   372714 |    72986    65358    126 |  7.417 % |
540.45/540.51	c |    763646 |   19047   109322   372714 |    72986    65870    125 |  7.417 % |
540.85/540.87	c |    764670 |   19047   109322   372714 |    72986    66894    124 |  7.417 % |
543.25/543.30	c |    766718 |   19047   109322   372714 |    72986    68942    126 |  7.417 % |
546.45/546.44	c |    770814 |   19047   109322   372714 |    72224    73038    124 |  7.417 % |
546.65/546.62	c |    771326 |   19047   109322   372714 |    72224    73550    124 |  7.417 % |
546.95/547.00	c |    771839 |   19047   109322   372714 |    72224    74063    123 |  7.417 % |
547.65/547.65	c |    772866 |   19047   109322   372714 |    72224    67672    118 |  7.417 % |
547.95/547.93	c |    773379 |   19047   109322   372714 |    72224    68185    117 |  7.417 % |
548.25/548.30	c |    773891 |   19045   109317   372701 |    72224    68695    117 |  7.427 % |
548.75/548.73	c |    774915 |   19045   109317   372701 |    72224    69719    116 |  7.427 % |
550.35/550.38	c |    776964 |   19045   109317   372701 |    72224    71768    116 |  7.427 % |
550.85/550.89	c |    777477 |   19045   109317   372701 |    72224    72281    116 |  7.427 % |
551.25/551.23	c |    777990 |   19045   109317   372701 |    72224    72794    116 |  7.427 % |
551.85/551.82	c |    779014 |   19045   109317   372701 |    72224    73818    115 |  7.427 % |
552.15/552.16	c |    779526 |   19045   109317   372701 |    72224    66949    102 |  7.427 % |
552.65/552.62	c |    780039 |   19045   109317   372701 | 2147483647    67462    102 |  7.427 % |
553.25/553.25	c |    781064 |   19045   109317   372701 | 2147483647    68487    102 |  7.427 % |
554.25/554.30	c |    783112 |   19045   109317   372701 | 2147483647    70535    100 |  7.427 % |
557.65/557.65	c |    787208 |   19045   109317   372701 | 2147483647    74631    102 |  7.427 % |
567.95/567.96	c |    795401 |   19045   109317   372701 | 2147483647    82824    112 |  7.427 % |
568.25/568.30	c |    795914 |   19045   109312   372689 | 2147483647    83337    112 |  7.427 % |
568.65/568.67	c |    796426 |   19045   109312   372689 | 2147483647    83849    111 |  7.427 % |
569.15/569.19	c |    797451 |   19045   109312   372689 | 2147483647    84874    111 |  7.427 % |
569.55/569.56	c |    797963 |   19045   109312   372689 | 2147483647    85386    110 |  7.427 % |
569.85/569.87	c |    798475 |   19045   109312   372689 | 2147483647    85898    110 |  7.427 % |
570.55/570.59	c |    799499 |   19045   109312   372689 | 2147483647    86922    110 |  7.427 % |
572.45/572.47	c |    801547 |   19045   109312   372689 |    87423    88970    110 |  7.427 % |
572.75/572.78	c |    802060 |   19045   109312   372689 |    87423    78976     94 |  7.427 % |
573.05/573.10	c |    802572 |   19045   109312   372689 |    87423    79488     94 |  7.427 % |
574.15/574.19	c |    803597 |   19045   109312   372689 |    87423    80513     95 |  7.427 % |
574.45/574.49	c |    804109 |   19045   109312   372689 |    87423    81025     95 |  7.427 % |
574.95/574.92	c |    804621 |   19045   109312   372689 |    87423    81537     95 |  7.427 % |
575.55/575.57	c |    805648 |   19045   109312   372689 |    87423    82564     95 |  7.427 % |
576.75/576.74	c |    807697 |   19045   109312   372689 |    87423    84613     94 |  7.427 % |
581.35/581.37	c |    811793 |   19045   109312   372689 |    86918    88709    100 |  7.427 % |
581.65/581.63	c |    812306 |   19045   109312   372689 |    86918    75051     82 |  7.427 % |
581.95/582.01	c |    812819 |   19045   109312   372689 |    86918    75564     82 |  7.427 % |
582.55/582.52	c |    813843 |   19045   109312   372689 |    86918    76588     82 |  7.427 % |
582.95/582.92	c |    814355 |   19045   109312   372689 |    86918    77100     82 |  7.427 % |
583.25/583.28	c |    814867 |   19045   109312   372689 |    86918    77612     82 |  7.427 % |
583.85/583.87	c |    815892 |   19045   109312   372689 |    86918    78637     82 |  7.427 % |
584.85/584.89	c |    817940 |   19045   109312   372689 |    86918    80685     81 |  7.427 % |
585.15/585.21	c |    818452 |   19045   109312   372689 |    86918    81197     81 |  7.427 % |
585.45/585.42	c |    818966 |   19045   109312   372689 |    86918    81711     81 |  7.427 % |
586.05/586.05	c |    819990 |   19045   109312   372689 |    86918    82735     81 |  7.427 % |
586.35/586.32	c |    820502 |   19045   109312   372689 |    82745    83247     81 |  7.427 % |
586.55/586.51	c |    821014 |   19045   109312   372689 |    82745    83759     81 |  7.427 % |
587.25/587.22	c |    822038 |   19045   109312   372689 |    82745    84783     81 |  7.427 % |
589.45/589.41	c |    824088 |   19045   109312   372689 |    82745    77091     81 |  7.427 % |
593.25/593.27	c |    828185 |   19045   109312   372689 |    82745    81188     85 |  7.427 % |
598.85/598.87	c |    836378 |   19045   109312   372689 | 2147483647    89381     88 |  7.427 % |
612.75/612.75	c |    852762 |   19045   109312   372689 |    85395    88155     96 |  7.427 % |
613.05/613.06	c |    853274 |   19045   109312   372689 |    85395    74438     85 |  7.427 % |
613.15/613.20	c |    853786 |   19045   109312   372689 |    85395    74950     84 |  7.427 % |
613.85/613.89	c |    854814 |   19045   109312   372689 |    85395    75978     84 |  7.427 % |
614.25/614.28	c |    855331 |   19045   109312   372689 |    85395    76495     84 |  7.427 % |
614.65/614.65	c |    855843 |   19045   109312   372689 |    85395    77007     84 |  7.427 % |
615.15/615.13	c |    856868 |   19045   109312   372689 |    85395    78032     83 |  7.427 % |
616.45/616.50	c |    858916 |   19045   109312   372689 |    85395    80080     84 |  7.427 % |
616.65/616.69	c |    859429 |   19045   109312   372689 |    85395    80593     84 |  7.427 % |
617.05/617.05	c |    859942 |   19045   109312   372689 |    85395    81106     84 |  7.427 % |
617.45/617.49	c |    860966 |   19045   109312   372689 |    81166    82130     83 |  7.427 % |
617.85/617.83	c |    861479 |   19045   109312   372689 |    81166    82643     84 |  7.427 % |
618.05/618.07	c |    861991 |   19045   109312   372689 |    81166    83155     83 |  7.427 % |
618.95/618.98	c |    863017 |   19045   109312   372689 |    81166    72347     79 |  7.427 % |
620.35/620.36	c |    865068 |   19045   109312   372689 |    81166    74398     80 |  7.427 % |
623.35/623.33	c |    869164 |   19045   109312   372689 |    81166    78494     82 |  7.427 % |
623.55/623.55	c |    869679 |   19045   109312   372689 |    81166    79009     81 |  7.427 % |
623.95/623.99	c |    870192 |   19045   109312   372689 |    79330    79522     81 |  7.427 % |
624.75/624.78	c |    871216 |   19045   109312   372689 |    79330    80546     82 |  7.427 % |
625.05/625.03	c |    871730 |   19045   109312   372689 |    79330    81060     82 |  7.427 % |
625.45/625.42	c |    872242 |   19045   109312   372689 |    79330    72933     81 |  7.427 % |
626.25/626.28	c |    873267 |   19045   109312   372689 |    79330    73958     81 |  7.427 % |
627.25/627.27	c |    875315 |   19045   109312   372689 |    79330    76006     81 |  7.427 % |
627.65/627.65	c |    875828 |   19045   109312   372689 |    79330    76519     81 |  7.427 % |
628.15/628.14	c |    876341 |   19045   109312   372689 |    79330    77032     82 |  7.427 % |
628.85/628.89	c |    877369 |   19045   109312   372689 |    79330    78060     82 |  7.427 % |
629.15/629.16	c |    877884 |   19045   109312   372689 |    79330    78575     82 |  7.427 % |
629.45/629.42	c |    878396 |   19045   109312   372689 |    79330    79087     82 |  7.427 % |
629.75/629.78	c |    879422 |   19045   109312   372689 |    79330    80113     81 |  7.427 % |
631.35/631.37	c |    881471 |   19045   109312   372689 | 2147483647    82162     82 |  7.427 % |
634.65/634.66	c |    885567 |   19045   109312   372689 | 2147483647    86258     86 |  7.427 % |
647.55/647.56	c |    893763 |   19045   109312   372689 |    90691    94454    104 |  7.427 % |
647.85/647.86	c |    894275 |   19045   109312   372689 |    90691    77085     97 |  7.427 % |
648.25/648.24	c |    894787 |   19045   109312   372689 |    90691    77597     96 |  7.427 % |
648.95/648.91	c |    895811 |   19045   109312   372689 |    90691    78621     96 |  7.427 % |
649.25/649.21	c |    896325 |   19045   109312   372689 |    90691    79135     96 |  7.427 % |
649.55/649.53	c |    896838 |   19045   109312   372689 |    90691    79648     96 |  7.427 % |
650.05/650.00	c |    897862 |   19045   109312   372689 |    90691    80672     95 |  7.427 % |
651.55/651.52	c |    899911 |   19045   109312   372689 |    90691    82721     96 |  7.427 % |
651.95/651.92	c |    900423 |   19045   109312   372689 |    82810    83233     96 |  7.427 % |
652.25/652.27	c |    900935 |   19044   109305   372668 |    82810    83742     96 |  7.432 % |
653.65/653.61	c |    901959 |   19044   109305   372668 |    82810    84766     97 |  7.432 % |
653.85/653.90	c |    902473 |   19044   109305   372668 |    82810    71057     91 |  7.432 % |
654.15/654.17	c |    902986 |   19044   109305   372668 |    82810    71570     90 |  7.432 % |
655.15/655.17	c |    904012 |   19044   109305   372668 |    82810    72596     92 |  7.432 % |
656.95/656.94	c |    906061 |   19044   109305   372668 |    82810    74645     93 |  7.432 % |
659.75/659.72	c |    910157 |   19044   109305   372668 |    78584    78741     94 |  7.432 % |
660.16/660.19	c |    910671 |   19044   109305   372668 |    78584    79255     95 |  7.432 % |
660.56/660.60	c |    911183 |   19044   109305   372668 |    78584    79767     94 |  7.432 % |
661.26/661.22	c |    912207 |   19044   109305   372668 |    78584    80791     94 |  7.432 % |
661.66/661.64	c |    912720 |   19044   109305   372668 |    78584    72317     93 |  7.432 % |
661.86/661.84	c |    913232 |   19044   109305   372668 |    78584    72829     93 |  7.432 % |
662.76/662.78	c |    914258 |   19044   109305   372668 |    78584    73855     94 |  7.432 % |
664.26/664.30	c |    916306 |   19044   109305   372668 |    78584    75903     96 |  7.432 % |
664.66/664.61	c |    916818 |   19044   109305   372668 |    78584    76415     95 |  7.432 % |
664.76/664.81	c |    917330 |   19044   109305   372668 |    78584    76927     95 |  7.432 % |
665.36/665.41	c |    918355 |   19044   109305   372668 |    78584    77952     95 |  7.432 % |
665.66/665.68	c |    918868 |   19044   109305   372668 |    78584    78465     94 |  7.432 % |
666.06/666.01	c |    919380 |   19044   109305   372668 |    78584    78977     94 |  7.432 % |
666.76/666.78	c |    920405 |   19044   109305   372668 |    79598    80002     94 |  7.432 % |
668.46/668.49	c |    922455 |   19044   109305   372668 |    79598    82052     95 |  7.432 % |
671.76/671.80	c |    926552 |   19044   109305   372668 |    79598    77944     96 |  7.432 % |
678.46/678.46	c |    934746 |   19044   109305   372668 | 2147483647    86138    100 |  7.432 % |
695.26/695.28	c |    951130 |   19044   109305   372668 |   101393   102522    118 |  7.432 % |
729.86/729.85	c |    983898 |   19044   109305   372668 |    81415    85313    132 |  7.432 % |
796.28/796.31	c |   1049434 |   19043   109300   372655 |    81290    76419    155 |  7.437 % |
985.98/985.96	c |   1180506 |   19035   109255   372498 | 2147483647    49854    146 |  7.476 % |
986.18/986.13	c |   1181019 |   19035   109255   372498 | 2147483647    50367    144 |  7.476 % |
986.48/986.43	c |   1181532 |   19035   109255   372498 | 2147483647    50880    144 |  7.476 % |
986.88/986.82	c |   1182556 |   19035   109255   372498 | 2147483647    51904    141 |  7.476 % |
986.98/986.98	c |   1183068 |   19035   109255   372498 | 2147483647    52416    140 |  7.476 % |
987.18/987.15	c |   1183580 |   19035   109255   372498 | 2147483647    52928    139 |  7.476 % |
987.78/987.73	c |   1184605 |   19035   109255   372498 | 2147483647    53953    138 |  7.476 % |
989.18/989.14	c |   1186653 |   19035   109255   372498 | 2147483647    56001    136 |  7.476 % |
989.48/989.47	c |   1187166 |   19035   109255   372498 | 2147483647    56514    136 |  7.476 % |
989.68/989.64	c |   1187678 |   19035   109255   372498 | 2147483647    57026    135 |  7.476 % |
990.18/990.16	c |   1188702 |   19035   109255   372498 | 2147483647    58050    134 |  7.476 % |
990.48/990.46	c |   1189217 |   19035   109255   372498 | 2147483647    58565    134 |  7.476 % |
990.78/990.75	c |   1189729 |   19035   109255   372498 | 2147483647    59077    133 |  7.476 % |
991.18/991.20	c |   1190754 |   19035   109255   372498 | 2147483647    60102    131 |  7.476 % |
992.28/992.29	c |   1192802 |   19035   109255   372498 | 2147483647    62150    128 |  7.476 % |
994.08/994.03	c |   1196900 |   19035   109255   372498 | 2147483647    66248    123 |  7.476 % |
994.18/994.15	c |   1197412 |   19035   109255   372498 | 2147483647    66760    122 |  7.476 % |
994.38/994.37	c |   1197925 |   19035   109255   372498 | 2147483647    67273    121 |  7.476 % |
995.08/995.02	c |   1198950 |   19035   109255   372498 | 2147483647    68298    120 |  7.476 % |
995.48/995.44	c |   1199463 |   19035   109255   372498 | 2147483647    68811    120 |  7.476 % |
995.78/995.78	c |   1199975 |   19035   109255   372498 | 2147483647    69323    120 |  7.476 % |
996.48/996.47	c |   1200999 |   19035   109255   372498 | 2147483647    70347    120 |  7.476 % |
997.68/997.70	c |   1203047 |   19035   109255   372498 | 2147483647    72395    119 |  7.476 % |
997.88/997.89	c |   1203559 |   19035   109255   372498 | 2147483647    72907    118 |  7.476 % |
998.38/998.32	c |   1204072 |   19035   109255   372498 | 2147483647    73420    118 |  7.476 % |
998.88/998.90	c |   1205097 |   19035   109255   372498 | 2147483647    74445    117 |  7.476 % |
999.08/999.10	c |   1205609 |   19035   109255   372498 | 2147483647    74957    116 |  7.476 % |
999.28/999.22	c |   1206123 |   19035   109255   372498 | 2147483647    75471    115 |  7.476 % |
999.88/999.83	c |   1207149 |   19035   109255   372498 | 2147483647    76497    115 |  7.476 % |
1001.48/1001.45	c |   1209197 |   19035   109255   372498 | 2147483647    78545    115 |  7.476 % |
1004.08/1004.03	c |   1213293 |   19035   109255   372498 | 2147483647    82641    112 |  7.476 % |
1010.18/1010.18	c |   1221485 |   19035   109255   372498 |    89348    90833    115 |  7.476 % |
1010.48/1010.43	c |   1221997 |   19035   109255   372498 |    89348    91345    114 |  7.476 % |
1010.88/1010.88	c |   1222510 |   19035   109255   372498 |    89348    81808     90 |  7.476 % |
1011.68/1011.65	c |   1223534 |   19034   109247   372470 |    89348    82830     89 |  7.481 % |
1012.19/1012.13	c |   1224046 |   19034   109247   372470 |    89348    83342     90 |  7.481 % |
1012.38/1012.38	c |   1224559 |   19034   109247   372470 |    89348    83855     89 |  7.481 % |
1012.88/1012.90	c |   1225583 |   19034   109247   372470 |    89348    84879     89 |  7.481 % |
1013.58/1013.55	c |   1227632 |   19031   109247   372470 |    89348    86926     87 |  7.515 % |
1013.88/1013.82	c |   1228146 |   19031   109247   372470 |    89348    87440     87 |  7.515 % |
1014.08/1014.08	c |   1228658 |   19031   109247   372470 |    89348    87952     87 |  7.515 % |
1014.58/1014.51	c |   1229682 |   19031   109247   372470 |    89348    88976     86 |  7.515 % |
1015.08/1015.08	c |   1230194 |   19031   109247   372470 |    89295    89488     86 |  7.515 % |
1015.28/1015.26	c |   1230706 |   19031   109247   372470 |    89295    90000     86 |  7.515 % |
1015.98/1015.91	c |   1231730 |   19031   109247   372470 |    89295    91024     86 |  7.515 % |
1017.28/1017.22	c |   1233778 |   19031   109247   372470 |    89295    82266     65 |  7.515 % |
1020.28/1020.23	c |   1237874 |   19031   109247   372470 |    89295    86362     67 |  7.515 % |
1020.58/1020.52	c |   1238386 |   19031   109247   372470 |    89295    86874     68 |  7.515 % |
1020.88/1020.82	c |   1238900 |   19031   109247   372470 |    89295    87388     68 |  7.515 % |
1021.68/1021.67	c |   1239924 |   19031   109247   372470 |    89295    88412     68 |  7.515 % |
1022.09/1022.09	c |   1240436 |   19031   109247   372470 |    88490    88924     68 |  7.515 % |
1022.48/1022.45	c |   1240949 |   19027   109221   372393 |    88490    89435     68 |  7.515 % |
1022.98/1022.94	c |   1241974 |   19027   109221   372393 |    88490    90460     68 |  7.515 % |
1024.48/1024.44	c |   1244022 |   19027   109221   372393 |    88490    82422     64 |  7.515 % |
1024.68/1024.62	c |   1244535 |   19027   109221   372393 |    88490    82935     63 |  7.515 % |
1024.88/1024.88	c |   1245047 |   19027   109221   372393 |    88490    83447     63 |  7.515 % |
1025.39/1025.40	c |   1246071 |   19027   109221   372393 |    88490    84471     63 |  7.515 % |
1025.68/1025.64	c |   1246584 |   19027   109221   372393 |    88490    84984     63 |  7.515 % |
1025.98/1025.98	c |   1247096 |   19027   109221   372393 |    88490    85496     63 |  7.515 % |
1026.68/1026.64	c |   1248120 |   19027   109221   372393 |    88490    86520     63 |  7.515 % |
1028.58/1028.56	c |   1250168 |   19027   109221   372393 |    88401    88568     65 |  7.515 % |
1031.48/1031.42	c |   1254264 |   19027   109221   372393 |    88401    83213     64 |  7.515 % |
1039.58/1039.60	c |   1262456 |   19027   109221   372393 |    88949    91405     72 |  7.515 % |
1062.69/1062.65	c |   1278840 |   19027   109221   372393 |    87829    96669     99 |  7.515 % |
1062.99/1062.94	c |   1279352 |   19027   109221   372393 |    87829    77828     97 |  7.515 % |
1063.49/1063.50	c |   1279864 |   19027   109221   372393 |    87829    78340     97 |  7.515 % |
1063.99/1063.96	c |   1280889 |   19027   109221   372393 |    78476    79365     96 |  7.515 % |
1064.29/1064.25	c |   1281401 |   19027   109221   372393 |    78476    79877     96 |  7.515 % |
1064.49/1064.46	c |   1281913 |   19027   109221   372393 |    78476    80389     95 |  7.515 % |
1065.59/1065.55	c |   1282937 |   19027   109221   372393 |    78476    67525    100 |  7.515 % |
1066.89/1066.88	c |   1284985 |   19027   109221   372393 |    78476    69573    100 |  7.515 % |
1067.19/1067.16	c |   1285497 |   19027   109221   372393 |    78476    70085    100 |  7.515 % |
1067.39/1067.40	c |   1286009 |   19027   109221   372393 |    78476    70597     99 |  7.515 % |
1067.99/1067.95	c |   1287033 |   19027   109221   372393 |    78476    71621     99 |  7.515 % |
1068.29/1068.30	c |   1287545 |   19027   109221   372393 |    78476    72133     99 |  7.515 % |
1068.59/1068.60	c |   1288057 |   19027   109221   372393 |    78476    72645     99 |  7.515 % |
1069.19/1069.12	c |   1289082 |   19027   109221   372393 |    78476    73670     98 |  7.515 % |
1070.99/1070.92	c |   1291130 |   19027   109221   372393 |    74588    75718    100 |  7.515 % |
1075.39/1075.32	c |   1295227 |   19027   109221   372393 |    74588    79815    107 |  7.515 % |
1075.59/1075.57	c |   1295739 |   19027   109221   372393 |    74588    72346    110 |  7.515 % |
1075.99/1075.93	c |   1296251 |   19027   109221   372393 |    74588    72858    110 |  7.515 % |
1076.49/1076.45	c |   1297275 |   19027   109221   372393 |    74588    73882    110 |  7.515 % |
1076.99/1076.96	c |   1297787 |   19027   109221   372393 |    74588    74394    110 |  7.515 % |
1077.19/1077.17	c |   1298300 |   19027   109221   372393 |    74588    74907    109 |  7.515 % |
1077.79/1077.76	c |   1299325 |   19026   109214   372369 |    74588    75930    109 |  7.520 % |
1078.99/1078.97	c |   1301374 |   19026   109214   372369 | 2147483647    77979    108 |  7.520 % |
1079.29/1079.24	c |   1301888 |   19026   109214   372369 | 2147483647    78493    108 |  7.520 % |
1079.69/1079.61	c |   1302400 |   19026   109214   372369 | 2147483647    79005    107 |  7.520 % |
1080.19/1080.14	c |   1303424 |   19026   109214   372369 | 2147483647    80029    107 |  7.520 % |
1080.39/1080.37	c |   1303936 |   19026   109214   372369 | 2147483647    80541    106 |  7.520 % |
1080.79/1080.77	c |   1304448 |   19026   109214   372369 | 2147483647    81053    106 |  7.520 % |
1081.49/1081.43	c |   1305472 |   19026   109214   372369 | 2147483647    82077    106 |  7.520 % |
1082.79/1082.74	c |   1307520 |   19026   109214   372369 | 2147483647    84125    106 |  7.520 % |
1086.89/1086.83	c |   1311617 |   19026   109214   372369 | 2147483647    88222    108 |  7.520 % |
1095.69/1095.64	c |   1319809 |   19026   109214   372369 | 2147483647    96414    116 |  7.520 % |
1095.89/1095.90	c |   1320322 |   19026   109214   372369 | 2147483647    96927    116 |  7.520 % |
1096.39/1096.32	c |   1320835 |   19026   109214   372369 | 2147483647    97440    116 |  7.520 % |
1096.99/1096.93	c |   1321861 |   19026   109214   372369 | 2147483647    98466    115 |  7.520 % |
1097.29/1097.23	c |   1322374 |   19026   109214   372369 | 2147483647    98979    115 |  7.520 % |
1097.69/1097.68	c |   1322890 |   19026   109214   372369 | 2147483647    99495    115 |  7.520 % |
1098.29/1098.28	c |   1323917 |   19026   109214   372369 | 2147483647   100522    114 |  7.520 % |
1099.49/1099.51	c |   1325966 |   19026   109214   372369 | 2147483647   102571    114 |  7.520 % |
1099.79/1099.73	c |   1326479 |   19026   109214   372369 | 2147483647   103084    113 |  7.520 % |
1099.99/1099.96	c |   1326991 |   19026   109214   372369 | 2147483647   103596    113 |  7.520 % |
1100.69/1100.70	c |   1328016 |   19026   109214   372369 | 2147483647   104621    113 |  7.520 % |
1101.29/1101.26	c |   1328528 |   19026   109214   372369 | 2147483647   105133    113 |  7.520 % |
1101.59/1101.54	c |   1329041 |   19026   109214   372369 | 2147483647   105646    113 |  7.520 % |
1102.69/1102.66	c |   1330065 |   19026   109214   372369 |   106605   106670    113 |  7.520 % |
1105.39/1105.34	c |   1332114 |   19026   109214   372369 |   106605   108719    114 |  7.520 % |
1107.99/1107.95	c |   1336212 |   19026   109214   372369 |   106605    97822    110 |  7.520 % |
1108.29/1108.28	c |   1336724 |   19026   109214   372369 |   106605    98334    110 |  7.520 % |
1108.59/1108.52	c |   1337236 |   19026   109214   372369 |   106605    98846    110 |  7.520 % |
1109.59/1109.53	c |   1338261 |   19026   109214   372369 |   106605    99871    110 |  7.520 % |
1109.89/1109.83	c |   1338773 |   19026   109214   372369 |   106605   100383    110 |  7.520 % |
1110.09/1110.10	c |   1339287 |   19026   109214   372369 |   106605   100897    110 |  7.520 % |
1110.99/1110.94	c |   1340312 |   19026   109214   372369 |   101610   101922    109 |  7.520 % |
1112.20/1112.13	c |   1342361 |   19026   109214   372369 |   101610   103971    108 |  7.520 % |
1112.70/1112.71	c |   1342875 |   19026   109214   372369 |   101610    88777     86 |  7.520 % |
1112.90/1112.90	c |   1343387 |   19026   109214   372369 |   101610    89289     85 |  7.520 % |
1113.60/1113.59	c |   1344412 |   19026   109214   372369 |   101610    90314     85 |  7.520 % |
1114.10/1114.11	c |   1344924 |   19026   109214   372369 |   101610    90826     86 |  7.520 % |
1114.60/1114.60	c |   1345436 |   19026   109214   372369 |   101610    91338     86 |  7.520 % |
1115.40/1115.32	c |   1346460 |   19026   109214   372369 |   101610    92362     86 |  7.520 % |
1117.80/1117.73	c |   1348508 |   19026   109214   372369 |   101610    94410     88 |  7.520 % |
1121.00/1120.95	c |   1352607 |   19026   109214   372369 |    95902    98509     89 |  7.520 % |
1129.40/1129.40	c |   1360799 |   19026   109214   372369 |    91674    92472     88 |  7.520 % |
1141.90/1141.88	c |   1377184 |   19026   109214   372369 |   101674    86391     86 |  7.520 % |
1181.70/1181.68	c |   1409953 |   19024   109207   372350 |    78536    76977    136 |  7.529 % |
1182.10/1182.10	c |   1410467 |   19024   109207   372350 |    77024    77491    136 |  7.529 % |
1182.40/1182.33	c |   1410979 |   19024   109207   372350 |    77024    78003    135 |  7.529 % |
1182.71/1182.63	c |   1412003 |   19024   109207   372350 |    77024    79027    134 |  7.529 % |
1183.10/1183.04	c |   1412515 |   19024   109207   372350 |    77024    70752    133 |  7.529 % |
1183.30/1183.22	c |   1413029 |   19024   109207   372350 |    77024    71266    132 |  7.529 % |
1184.20/1184.21	c |   1414054 |   19024   109207   372350 |    77024    72291    132 |  7.529 % |
1185.90/1185.83	c |   1416102 |   19024   109207   372350 |    77024    74339    132 |  7.529 % |
1186.01/1186.01	c |   1416614 |   19024   109207   372350 |    77024    74851    131 |  7.529 % |
1186.60/1186.51	c |   1417126 |   19024   109207   372350 |    77024    75363    131 |  7.529 % |
1187.01/1186.97	c |   1418150 |   19024   109207   372350 |    77024    76387    130 |  7.529 % |
1187.21/1187.18	c |   1418662 |   19024   109207   372350 |    77024    76899    129 |  7.529 % |
1187.51/1187.42	c |   1419175 |   19024   109207   372350 |    77024    77412    129 |  7.529 % |
1188.31/1188.27	c |   1420199 |   19024   109207   372350 |    78237    78436    129 |  7.529 % |
1190.11/1190.09	c |   1422247 |   19024   109207   372350 |    78237    80484    129 |  7.529 % |
1192.51/1192.44	c |   1426345 |   19024   109207   372350 |    78237    75139    122 |  7.529 % |
1192.81/1192.75	c |   1426857 |   19024   109207   372350 |    78237    75651    121 |  7.529 % |
1193.11/1193.03	c |   1427369 |   19024   109207   372350 |    78237    76163    121 |  7.529 % |
1193.61/1193.60	c |   1428393 |   19024   109207   372350 |    78237    77187    120 |  7.529 % |
1194.01/1193.95	c |   1428906 |   19024   109207   372350 |    78237    77700    120 |  7.529 % |
1194.31/1194.24	c |   1429419 |   19024   109207   372350 |    78237    78213    120 |  7.529 % |
1194.91/1194.85	c |   1430443 |   19024   109207   372350 | 2147483647    79237    118 |  7.529 % |
1196.91/1196.89	c |   1432491 |   19024   109207   372350 | 2147483647    81285    119 |  7.529 % |
1197.31/1197.24	c |   1433003 |   19024   109207   372350 | 2147483647    81797    119 |  7.529 % |
1197.41/1197.41	c |   1433515 |   19024   109207   372350 | 2147483647    82309    118 |  7.529 % |
1198.31/1198.23	c |   1434539 |   19024   109207   372350 | 2147483647    83333    118 |  7.529 % |
1198.51/1198.50	c |   1435051 |   19024   109207   372350 | 2147483647    83845    117 |  7.529 % |
1198.91/1198.84	c |   1435563 |   19024   109207   372350 | 2147483647    84357    117 |  7.529 % |
1199.71/1199.67	c |   1436588 |   19024   109207   372350 | 2147483647    85382    116 |  7.529 % |
1200.01/1199.93	HOME/SatELiteGTI: line 36:  1366 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-1820795-1242477214/watcher-1820795-1242477214 -o /tmp/evaluation-result-1820795-1242477214/solver-1820795-1242477214 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820795-1242477214.cnf 

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/91 1360
/proc/meminfo: memFree=1612080/2074464 swapFree=1952056/1959888
[pid=1360] ppid=1358 vsize=2412 CPUtime=0
/proc/1360/stat : 1360 (SatELiteGTI) S 1358 1360 15108 0 -1 4194304 365 644 0 0 0 0 0 0 25 0 1 0 1012219515 2469888 275 4294967295 134512640 135169312 3220431504 3220430040 3085479662 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1360/statm: 603 275 235 161 0 42 0
[pid=1364] ppid=1360 vsize=952 CPUtime=0
/proc/1364/stat : 1364 (SatELite_releas) R 1360 1360 15108 0 -1 4202496 137 0 0 0 0 0 0 0 25 0 1 0 1012219515 974848 73 4294967295 134512640 135223648 3212942176 3212940772 134719062 0 0 0 3 0 0 0 17 1 0 0 0
/proc/1364/statm: 238 79 47 174 0 63 0

[startup+0.107312 s]
/proc/loadavg: 0.92 0.98 0.99 3/91 1360
/proc/meminfo: memFree=1612080/2074464 swapFree=1952056/1959888
[pid=1360] ppid=1358 vsize=2412 CPUtime=0
/proc/1360/stat : 1360 (SatELiteGTI) S 1358 1360 15108 0 -1 4194304 365 644 0 0 0 0 0 0 25 0 1 0 1012219515 2469888 275 4294967295 134512640 135169312 3220431504 3220430040 3085479662 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1360/statm: 603 275 235 161 0 42 0
[pid=1364] ppid=1360 vsize=11444 CPUtime=0.11
/proc/1364/stat : 1364 (SatELite_releas) R 1360 1360 15108 0 -1 4202496 2745 0 0 0 11 0 0 0 25 0 1 0 1012219515 11718656 2681 4294967295 134512640 135223648 3212942176 3212941056 134543504 0 0 0 3 0 0 0 17 1 0 0 0
/proc/1364/statm: 2861 2682 47 174 0 2686 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13856

[startup+0.207306 s]
/proc/loadavg: 0.92 0.98 0.99 3/91 1360
/proc/meminfo: memFree=1612080/2074464 swapFree=1952056/1959888
[pid=1360] ppid=1358 vsize=2412 CPUtime=0
/proc/1360/stat : 1360 (SatELiteGTI) S 1358 1360 15108 0 -1 4194304 365 644 0 0 0 0 0 0 25 0 1 0 1012219515 2469888 275 4294967295 134512640 135169312 3220431504 3220430040 3085479662 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1360/statm: 603 275 235 161 0 42 0
[pid=1364] ppid=1360 vsize=24620 CPUtime=0.2
/proc/1364/stat : 1364 (SatELite_releas) R 1360 1360 15108 0 -1 4202496 5479 0 0 0 18 2 0 0 25 0 1 0 1012219515 25210880 5415 4294967295 134512640 135223648 3212942176 3212940528 134610042 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1364/statm: 6155 5419 72 174 0 5980 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 27032

[startup+0.307297 s]
/proc/loadavg: 0.92 0.98 0.99 3/91 1360
/proc/meminfo: memFree=1612080/2074464 swapFree=1952056/1959888
[pid=1360] ppid=1358 vsize=2412 CPUtime=0
/proc/1360/stat : 1360 (SatELiteGTI) S 1358 1360 15108 0 -1 4194304 365 644 0 0 0 0 0 0 25 0 1 0 1012219515 2469888 275 4294967295 134512640 135169312 3220431504 3220430040 3085479662 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1360/statm: 603 275 235 161 0 42 0
[pid=1364] ppid=1360 vsize=27140 CPUtime=0.3
/proc/1364/stat : 1364 (SatELite_releas) R 1360 1360 15108 0 -1 4202496 6424 0 0 0 28 2 0 0 25 0 1 0 1012219515 27791360 5909 4294967295 134512640 135223648 3212942176 3212939844 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1364/statm: 6785 5909 73 174 0 6610 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 29552

[startup+0.707267 s]
/proc/loadavg: 0.92 0.98 0.99 3/91 1360
/proc/meminfo: memFree=1612080/2074464 swapFree=1952056/1959888
[pid=1360] ppid=1358 vsize=2412 CPUtime=0
/proc/1360/stat : 1360 (SatELiteGTI) S 1358 1360 15108 0 -1 4194304 365 644 0 0 0 0 0 0 25 0 1 0 1012219515 2469888 275 4294967295 134512640 135169312 3220431504 3220430040 3085479662 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1360/statm: 603 275 235 161 0 42 0
[pid=1364] ppid=1360 vsize=30064 CPUtime=0.7
/proc/1364/stat : 1364 (SatELite_releas) R 1360 1360 15108 0 -1 4202496 7666 0 0 0 66 4 0 0 25 0 1 0 1012219515 30785536 6608 4294967295 134512640 135223648 3212942176 3212939880 134717052 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1364/statm: 7516 6608 73 174 0 7341 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 32476

[startup+1.50721 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 1366
/proc/meminfo: memFree=1599928/2074464 swapFree=1952056/1959888
[pid=1360] ppid=1358 vsize=2416 CPUtime=0.97
/proc/1360/stat : 1360 (SatELiteGTI) S 1358 1360 15108 0 -1 4194304 384 8693 0 0 0 0 91 6 18 0 1 0 1012219515 2473984 276 4294967295 134512640 135169312 3220431504 3220427720 3085479662 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1360/statm: 604 276 235 161 0 43 0
[pid=1366] ppid=1360 vsize=9312 CPUtime=0.53
/proc/1366/stat : 1366 (minisat_static) R 1360 1360 15108 0 -1 4202496 2171 0 0 0 53 0 0 0 23 0 1 0 1012219613 9535488 2106 4294967295 134512640 135216591 3212995536 3212993728 134528842 0 0 0 3 0 0 0 17 1 0 0 0
/proc/1366/statm: 2328 2106 75 172 0 2155 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 11728

[startup+3.11708 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 1366
/proc/meminfo: memFree=1598936/2074464 swapFree=1952056/1959888
[pid=1360] ppid=1358 vsize=2416 CPUtime=0.97
/proc/1360/stat : 1360 (SatELiteGTI) S 1358 1360 15108 0 -1 4194304 384 8693 0 0 0 0 91 6 18 0 1 0 1012219515 2473984 276 4294967295 134512640 135169312 3220431504 3220427720 3085479662 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1360/statm: 604 276 235 161 0 43 0
[pid=1366] ppid=1360 vsize=10816 CPUtime=2.14
/proc/1366/stat : 1366 (minisat_static) R 1360 1360 15108 0 -1 4202496 2526 0 0 0 214 0 0 0 25 0 1 0 1012219613 11075584 2461 4294967295 134512640 135216591 3212995536 3212993728 134528842 0 0 0 3 0 0 0 17 1 0 0 0
/proc/1366/statm: 2704 2461 75 172 0 2531 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 13232

[startup+6.31684 s]
/proc/loadavg: 0.93 0.98 0.99 2/93 1366
/proc/meminfo: memFree=1595992/2074464 swapFree=1952056/1959888
[pid=1360] ppid=1358 vsize=2416 CPUtime=0.97
/proc/1360/stat : 1360 (SatELiteGTI) S 1358 1360 15108 0 -1 4194304 384 8693 0 0 0 0 91 6 18 0 1 0 1012219515 2473984 276 4294967295 134512640 135169312 3220431504 3220427720 3085479662 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1360/statm: 604 276 235 161 0 43 0
[pid=1366] ppid=1360 vsize=13304 CPUtime=5.34
/proc/1366/stat : 1366 (minisat_static) R 1360 1360 15108 0 -1 4202496 3144 0 0 0 533 1 0 0 25 0 1 0 1012219613 13623296 3079 4294967295 134512640 135216591 3212995536 3212993440 134532929 0 0 0 3 0 0 0 17 1 0 0 0
/proc/1366/statm: 3326 3079 75 172 0 3153 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 15720

[startup+12.7163 s]
/proc/loadavg: 0.93 0.98 0.99 3/93 1366
/proc/meminfo: memFree=1592552/2074464 swapFree=1952056/1959888
[pid=1360] ppid=1358 vsize=2416 CPUtime=0.97
/proc/1360/stat : 1360 (SatELiteGTI) S 1358 1360 15108 0 -1 4194304 384 8693 0 0 0 0 91 6 18 0 1 0 1012219515 2473984 276 4294967295 134512640 135169312 3220431504 3220427720 3085479662 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1360/statm: 604 276 235 161 0 43 0
[pid=1366] ppid=1360 vsize=16196 CPUtime=11.74
/proc/1366/stat : 1366 (minisat_static) R 1360 1360 15108 0 -1 4202496 3878 0 0 0 1172 2 0 0 25 0 1 0 1012219613 16584704 3813 4294967295 134512640 135216591 3212995536 3212993728 134528842 0 0 0 3 0 0 0 17 1 0 0 0
/proc/1366/statm: 4049 3813 75 172 0 3876 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 18612

[startup+25.5154 s]
/proc/loadavg: 0.95 0.98 0.99 2/93 1367
/proc/meminfo: memFree=1588828/2074464 swapFree=1952056/1959888
[pid=1360] ppid=1358 vsize=2416 CPUtime=0.97
/proc/1360/stat : 1360 (SatELiteGTI) S 1358 1360 15108 0 -1 4194304 384 8693 0 0 0 0 91 6 18 0 1 0 1012219515 2473984 276 4294967295 134512640 135169312 3220431504 3220427720 3085479662 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1360/statm: 604 276 235 161 0 43 0
[pid=1366] ppid=1360 vsize=20336 CPUtime=24.54
/proc/1366/stat : 1366 (minisat_static) R 1360 1360 15108 0 -1 4202496 4876 0 0 0 2449 5 0 0 25 0 1 0 1012219613 20824064 4811 4294967295 134512640 135216591 3212995536 3212993728 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1366/statm: 5084 4811 75 172 0 4911 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 22752

[startup+51.1134 s]
/proc/loadavg: 0.96 0.98 0.99 2/93 1556
/proc/meminfo: memFree=1575488/2074464 swapFree=1952056/1959888
[pid=1360] ppid=1358 vsize=2416 CPUtime=0.97
/proc/1360/stat : 1360 (SatELiteGTI) S 1358 1360 15108 0 -1 4194304 384 8693 0 0 0 0 91 6 18 0 1 0 1012219515 2473984 276 4294967295 134512640 135169312 3220431504 3220427720 3085479662 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1360/statm: 604 276 235 161 0 43 0
[pid=1366] ppid=1360 vsize=33140 CPUtime=50.14
/proc/1366/stat : 1366 (minisat_static) R 1360 1360 15108 0 -1 4202496 8076 0 0 0 5009 5 0 0 25 0 1 0 1012219613 33935360 8011 4294967295 134512640 135216591 3212995536 3212993504 134538678 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1366/statm: 8285 8011 75 172 0 8112 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 35556

[startup+102.32 s]
/proc/loadavg: 0.98 0.98 0.99 2/93 1560
/proc/meminfo: memFree=1556828/2074464 swapFree=1952056/1959888
[pid=1360] ppid=1358 vsize=2416 CPUtime=0.97
/proc/1360/stat : 1360 (SatELiteGTI) S 1358 1360 15108 0 -1 4194304 384 8693 0 0 0 0 91 6 18 0 1 0 1012219515 2473984 276 4294967295 134512640 135169312 3220431504 3220427720 3085479662 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1360/statm: 604 276 235 161 0 43 0
[pid=1366] ppid=1360 vsize=51700 CPUtime=101.35
/proc/1366/stat : 1366 (minisat_static) R 1360 1360 15108 0 -1 4202496 12730 0 0 0 10127 8 0 0 25 0 1 0 1012219613 52940800 12665 4294967295 134512640 135216591 3212995536 3212993728 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1366/statm: 12925 12665 75 172 0 12752 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 54116

[startup+162.315 s]
/proc/loadavg: 0.99 0.98 0.99 2/93 1748
/proc/meminfo: memFree=1556712/2074464 swapFree=1952056/1959888
[pid=1360] ppid=1358 vsize=2416 CPUtime=0.97
/proc/1360/stat : 1360 (SatELiteGTI) S 1358 1360 15108 0 -1 4194304 384 8693 0 0 0 0 91 6 18 0 1 0 1012219515 2473984 276 4294967295 134512640 135169312 3220431504 3220427720 3085479662 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1360/statm: 604 276 235 161 0 43 0
[pid=1366] ppid=1360 vsize=51692 CPUtime=161.35
/proc/1366/stat : 1366 (minisat_static) R 1360 1360 15108 0 -1 4202496 12730 0 0 0 16127 8 0 0 25 0 1 0 1012219613 52932608 12665 4294967295 134512640 135216591 3212995536 3212993712 134525227 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1366/statm: 12923 12665 75 172 0 12750 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 54108

[startup+222.32 s]
/proc/loadavg: 0.99 0.98 0.99 2/93 1937
/proc/meminfo: memFree=1555696/2074464 swapFree=1952056/1959888
[pid=1360] ppid=1358 vsize=2416 CPUtime=0.97
/proc/1360/stat : 1360 (SatELiteGTI) S 1358 1360 15108 0 -1 4194304 384 8693 0 0 0 0 91 6 18 0 1 0 1012219515 2473984 276 4294967295 134512640 135169312 3220431504 3220427720 3085479662 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1360/statm: 604 276 235 161 0 43 0
[pid=1366] ppid=1360 vsize=52748 CPUtime=221.36
/proc/1366/stat : 1366 (minisat_static) R 1360 1360 15108 0 -1 4202496 12973 0 0 0 22128 8 0 0 25 0 1 0 1012219613 54013952 12908 4294967295 134512640 135216591 3212995536 3212993440 134532864 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1366/statm: 13187 12908 75 172 0 13014 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 55164

[startup+282.316 s]
/proc/loadavg: 0.99 0.98 0.99 3/93 2123
/proc/meminfo: memFree=1546420/2074464 swapFree=1952056/1959888
[pid=1360] ppid=1358 vsize=2416 CPUtime=0.97
/proc/1360/stat : 1360 (SatELiteGTI) S 1358 1360 15108 0 -1 4194304 384 8693 0 0 0 0 91 6 18 0 1 0 1012219515 2473984 276 4294967295 134512640 135169312 3220431504 3220427720 3085479662 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1360/statm: 604 276 235 161 0 43 0
[pid=1366] ppid=1360 vsize=61988 CPUtime=281.36
/proc/1366/stat : 1366 (minisat_static) R 1360 1360 15108 0 -1 4202496 15307 0 0 0 28127 9 0 0 25 0 1 0 1012219613 63475712 15242 4294967295 134512640 135216591 3212995536 3212993728 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1366/statm: 15497 15242 75 172 0 15324 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 64404

[startup+342.311 s]
/proc/loadavg: 0.99 0.98 0.99 3/93 2311
/proc/meminfo: memFree=1529804/2074464 swapFree=1952056/1959888
[pid=1360] ppid=1358 vsize=2416 CPUtime=0.97
/proc/1360/stat : 1360 (SatELiteGTI) S 1358 1360 15108 0 -1 4194304 384 8693 0 0 0 0 91 6 18 0 1 0 1012219515 2473984 276 4294967295 134512640 135169312 3220431504 3220427720 3085479662 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1360/statm: 604 276 235 161 0 43 0
[pid=1366] ppid=1360 vsize=78752 CPUtime=341.36
/proc/1366/stat : 1366 (minisat_static) R 1360 1360 15108 0 -1 4202496 19495 0 0 0 34123 13 0 0 25 0 1 0 1012219613 80642048 19430 4294967295 134512640 135216591 3212995536 3212993728 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1366/statm: 19688 19430 75 172 0 19515 0
Current children cumulated CPU time (s) 342.33

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

/proc/1360/statm: 604 276 235 161 0 43 0
[pid=1366] ppid=1360 vsize=78752 CPUtime=461.38
/proc/1366/stat : 1366 (minisat_static) R 1360 1360 15108 0 -1 4202496 19495 0 0 0 46125 13 0 0 25 0 1 0 1012219613 80642048 19430 4294967295 134512640 135216591 3212995536 3212993728 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1366/statm: 19688 19430 75 172 0 19515 0
Current children cumulated CPU time (s) 462.35
Current children cumulated vsize (KiB) 81168

[startup+522.307 s]
/proc/loadavg: 0.99 0.98 0.99 2/93 2898
/proc/meminfo: memFree=1530036/2074464 swapFree=1952056/1959888
[pid=1360] ppid=1358 vsize=2416 CPUtime=0.97
/proc/1360/stat : 1360 (SatELiteGTI) S 1358 1360 15108 0 -1 4194304 384 8693 0 0 0 0 91 6 18 0 1 0 1012219515 2473984 276 4294967295 134512640 135169312 3220431504 3220427720 3085479662 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1360/statm: 604 276 235 161 0 43 0
[pid=1366] ppid=1360 vsize=78752 CPUtime=521.37
/proc/1366/stat : 1366 (minisat_static) R 1360 1360 15108 0 -1 4202496 19495 0 0 0 52124 13 0 0 25 0 1 0 1012219613 80642048 19430 4294967295 134512640 135216591 3212995536 3212993728 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1366/statm: 19688 19430 75 172 0 19515 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 81168

[startup+582.313 s]
/proc/loadavg: 0.99 0.98 0.99 2/93 3085
/proc/meminfo: memFree=1530152/2074464 swapFree=1952056/1959888
[pid=1360] ppid=1358 vsize=2416 CPUtime=0.97
/proc/1360/stat : 1360 (SatELiteGTI) S 1358 1360 15108 0 -1 4194304 384 8693 0 0 0 0 91 6 18 0 1 0 1012219515 2473984 276 4294967295 134512640 135169312 3220431504 3220427720 3085479662 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1360/statm: 604 276 235 161 0 43 0
[pid=1366] ppid=1360 vsize=78752 CPUtime=581.38
/proc/1366/stat : 1366 (minisat_static) R 1360 1360 15108 0 -1 4202496 19495 0 0 0 58125 13 0 0 25 0 1 0 1012219613 80642048 19430 4294967295 134512640 135216591 3212995536 3212993728 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1366/statm: 19688 19430 75 172 0 19515 0
Current children cumulated CPU time (s) 582.35
Current children cumulated vsize (KiB) 81168

[startup+642.308 s]
/proc/loadavg: 0.99 0.98 0.99 3/93 3275
/proc/meminfo: memFree=1530036/2074464 swapFree=1952056/1959888
[pid=1360] ppid=1358 vsize=2416 CPUtime=0.97
/proc/1360/stat : 1360 (SatELiteGTI) S 1358 1360 15108 0 -1 4194304 384 8693 0 0 0 0 91 6 18 0 1 0 1012219515 2473984 276 4294967295 134512640 135169312 3220431504 3220427720 3085479662 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1360/statm: 604 276 235 161 0 43 0
[pid=1366] ppid=1360 vsize=78752 CPUtime=641.38
/proc/1366/stat : 1366 (minisat_static) R 1360 1360 15108 0 -1 4202496 19495 0 0 0 64125 13 0 0 25 0 1 0 1012219613 80642048 19430 4294967295 134512640 135216591 3212995536 3212993728 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1366/statm: 19688 19430 75 172 0 19515 0
Current children cumulated CPU time (s) 642.35
Current children cumulated vsize (KiB) 81168

[startup+702.314 s]
/proc/loadavg: 0.99 0.98 0.99 2/93 3488
/proc/meminfo: memFree=1530276/2074464 swapFree=1952056/1959888
[pid=1360] ppid=1358 vsize=2416 CPUtime=0.97
/proc/1360/stat : 1360 (SatELiteGTI) S 1358 1360 15108 0 -1 4194304 384 8693 0 0 0 0 91 6 18 0 1 0 1012219515 2473984 276 4294967295 134512640 135169312 3220431504 3220427720 3085479662 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1360/statm: 604 276 235 161 0 43 0
[pid=1366] ppid=1360 vsize=78752 CPUtime=701.39
/proc/1366/stat : 1366 (minisat_static) R 1360 1360 15108 0 -1 4202496 19495 0 0 0 70126 13 0 0 25 0 1 0 1012219613 80642048 19430 4294967295 134512640 135216591 3212995536 3212993728 134529240 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1366/statm: 19688 19430 75 172 0 19515 0
Current children cumulated CPU time (s) 702.36
Current children cumulated vsize (KiB) 81168

[startup+762.319 s]
/proc/loadavg: 0.99 0.98 0.99 3/93 3677
/proc/meminfo: memFree=1530168/2074464 swapFree=1952056/1959888
[pid=1360] ppid=1358 vsize=2416 CPUtime=0.97
/proc/1360/stat : 1360 (SatELiteGTI) S 1358 1360 15108 0 -1 4194304 384 8693 0 0 0 0 91 6 18 0 1 0 1012219515 2473984 276 4294967295 134512640 135169312 3220431504 3220427720 3085479662 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1360/statm: 604 276 235 161 0 43 0
[pid=1366] ppid=1360 vsize=78752 CPUtime=761.4
/proc/1366/stat : 1366 (minisat_static) R 1360 1360 15108 0 -1 4202496 19495 0 0 0 76127 13 0 0 25 0 1 0 1012219613 80642048 19430 4294967295 134512640 135216591 3212995536 3212993728 134528826 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1366/statm: 19688 19430 75 172 0 19515 0
Current children cumulated CPU time (s) 762.37
Current children cumulated vsize (KiB) 81168

[startup+822.325 s]
/proc/loadavg: 1.11 1.01 1.00 3/93 3870
/proc/meminfo: memFree=1530292/2074464 swapFree=1952056/1959888
[pid=1360] ppid=1358 vsize=2416 CPUtime=0.97
/proc/1360/stat : 1360 (SatELiteGTI) S 1358 1360 15108 0 -1 4194304 384 8693 0 0 0 0 91 6 18 0 1 0 1012219515 2473984 276 4294967295 134512640 135169312 3220431504 3220427720 3085479662 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1360/statm: 604 276 235 161 0 43 0
[pid=1366] ppid=1360 vsize=78752 CPUtime=821.41
/proc/1366/stat : 1366 (minisat_static) R 1360 1360 15108 0 -1 4202496 19495 0 0 0 82128 13 0 0 25 0 1 0 1012219613 80642048 19430 4294967295 134512640 135216591 3212995536 3212993728 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1366/statm: 19688 19430 75 172 0 19515 0
Current children cumulated CPU time (s) 822.38
Current children cumulated vsize (KiB) 81168

[startup+882.32 s]
/proc/loadavg: 1.09 1.03 1.00 2/93 4056
/proc/meminfo: memFree=1530152/2074464 swapFree=1952056/1959888
[pid=1360] ppid=1358 vsize=2416 CPUtime=0.97
/proc/1360/stat : 1360 (SatELiteGTI) S 1358 1360 15108 0 -1 4194304 384 8693 0 0 0 0 91 6 18 0 1 0 1012219515 2473984 276 4294967295 134512640 135169312 3220431504 3220427720 3085479662 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1360/statm: 604 276 235 161 0 43 0
[pid=1366] ppid=1360 vsize=78752 CPUtime=881.41
/proc/1366/stat : 1366 (minisat_static) R 1360 1360 15108 0 -1 4202496 19495 0 0 0 88128 13 0 0 25 0 1 0 1012219613 80642048 19430 4294967295 134512640 135216591 3212995536 3212993728 134528776 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1366/statm: 19688 19430 75 172 0 19515 0
Current children cumulated CPU time (s) 882.38
Current children cumulated vsize (KiB) 81168

[startup+942.315 s]
/proc/loadavg: 1.03 1.02 1.00 3/93 4244
/proc/meminfo: memFree=1520232/2074464 swapFree=1952056/1959888
[pid=1360] ppid=1358 vsize=2416 CPUtime=0.97
/proc/1360/stat : 1360 (SatELiteGTI) S 1358 1360 15108 0 -1 4194304 384 8693 0 0 0 0 91 6 18 0 1 0 1012219515 2473984 276 4294967295 134512640 135169312 3220431504 3220427720 3085479662 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1360/statm: 604 276 235 161 0 43 0
[pid=1366] ppid=1360 vsize=88400 CPUtime=941.41
/proc/1366/stat : 1366 (minisat_static) R 1360 1360 15108 0 -1 4202496 21908 0 0 0 94128 13 0 0 25 0 1 0 1012219613 90521600 21843 4294967295 134512640 135216591 3212995536 3212993728 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1366/statm: 22100 21843 75 172 0 21927 0
Current children cumulated CPU time (s) 942.38
Current children cumulated vsize (KiB) 90816

[startup+1002.31 s]
/proc/loadavg: 1.01 1.01 1.00 3/93 4432
/proc/meminfo: memFree=1519620/2074464 swapFree=1952056/1959888
[pid=1360] ppid=1358 vsize=2416 CPUtime=0.97
/proc/1360/stat : 1360 (SatELiteGTI) S 1358 1360 15108 0 -1 4194304 384 8693 0 0 0 0 91 6 18 0 1 0 1012219515 2473984 276 4294967295 134512640 135169312 3220431504 3220427720 3085479662 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1360/statm: 604 276 235 161 0 43 0
[pid=1366] ppid=1360 vsize=89060 CPUtime=1001.41
/proc/1366/stat : 1366 (minisat_static) R 1360 1360 15108 0 -1 4202496 22074 0 0 0 100128 13 0 0 25 0 1 0 1012219613 91197440 22009 4294967295 134512640 135216591 3212995536 3212993728 134528826 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1366/statm: 22265 22009 75 172 0 22092 0
Current children cumulated CPU time (s) 1002.38
Current children cumulated vsize (KiB) 91476

[startup+1062.32 s]
/proc/loadavg: 1.00 1.01 1.00 3/93 4620
/proc/meminfo: memFree=1519744/2074464 swapFree=1952056/1959888
[pid=1360] ppid=1358 vsize=2416 CPUtime=0.97
/proc/1360/stat : 1360 (SatELiteGTI) S 1358 1360 15108 0 -1 4194304 384 8693 0 0 0 0 91 6 18 0 1 0 1012219515 2473984 276 4294967295 134512640 135169312 3220431504 3220427720 3085479662 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1360/statm: 604 276 235 161 0 43 0
[pid=1366] ppid=1360 vsize=89060 CPUtime=1061.42
/proc/1366/stat : 1366 (minisat_static) R 1360 1360 15108 0 -1 4202496 22074 0 0 0 106129 13 0 0 25 0 1 0 1012219613 91197440 22009 4294967295 134512640 135216591 3212995536 3212993728 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1366/statm: 22265 22009 75 172 0 22092 0
Current children cumulated CPU time (s) 1062.39
Current children cumulated vsize (KiB) 91476

[startup+1122.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 4809
/proc/meminfo: memFree=1519736/2074464 swapFree=1952056/1959888
[pid=1360] ppid=1358 vsize=2416 CPUtime=0.97
/proc/1360/stat : 1360 (SatELiteGTI) S 1358 1360 15108 0 -1 4194304 384 8693 0 0 0 0 91 6 18 0 1 0 1012219515 2473984 276 4294967295 134512640 135169312 3220431504 3220427720 3085479662 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1360/statm: 604 276 235 161 0 43 0
[pid=1366] ppid=1360 vsize=89060 CPUtime=1121.43
/proc/1366/stat : 1366 (minisat_static) R 1360 1360 15108 0 -1 4202496 22074 0 0 0 112128 15 0 0 25 0 1 0 1012219613 91197440 22009 4294967295 134512640 135216591 3212995536 3212993728 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1366/statm: 22265 22009 75 172 0 22092 0
Current children cumulated CPU time (s) 1122.4
Current children cumulated vsize (KiB) 91476

[startup+1182.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 4999
/proc/meminfo: memFree=1519628/2074464 swapFree=1952056/1959888
[pid=1360] ppid=1358 vsize=2416 CPUtime=0.97
/proc/1360/stat : 1360 (SatELiteGTI) S 1358 1360 15108 0 -1 4194304 384 8693 0 0 0 0 91 6 18 0 1 0 1012219515 2473984 276 4294967295 134512640 135169312 3220431504 3220427720 3085479662 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1360/statm: 604 276 235 161 0 43 0
[pid=1366] ppid=1360 vsize=89060 CPUtime=1181.43
/proc/1366/stat : 1366 (minisat_static) R 1360 1360 15108 0 -1 4202496 22074 0 0 0 118128 15 0 0 25 0 1 0 1012219613 91197440 22009 4294967295 134512640 135216591 3212995536 3212993728 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1366/statm: 22265 22009 75 172 0 22092 0
Current children cumulated CPU time (s) 1182.4
Current children cumulated vsize (KiB) 91476



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1199.93 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 5185
/proc/meminfo: memFree=1519468/2074464 swapFree=1952056/1959888
[pid=1360] ppid=1358 vsize=2416 CPUtime=0.97
/proc/1360/stat : 1360 (SatELiteGTI) S 1358 1360 15108 0 -1 4194304 384 8693 0 0 0 0 91 6 18 0 1 0 1012219515 2473984 276 4294967295 134512640 135169312 3220431504 3220427720 3085479662 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1360/statm: 604 276 235 161 0 43 0
[pid=1366] ppid=1360 vsize=89060 CPUtime=1199.04
/proc/1366/stat : 1366 (minisat_static) R 1360 1360 15108 0 -1 4202496 22074 0 0 0 119889 15 0 0 25 0 1 0 1012219613 91197440 22009 4294967295 134512640 135216591 3212995536 3212993728 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1366/statm: 22265 22009 75 172 0 22092 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 91476

Sending SIGTERM to process tree (bottom up)

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

Child status: 143
Real time (s): 1199.94
CPU time (s): 1200.02
CPU user time (s): 1199.8
CPU system time (s): 0.22
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 91476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.8
system time used= 0.22
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31430
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= 23
involuntary context switches= 2218

runsolver used 0.01 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on tipi24 at 2009-05-16 14:33:34
IDJOB=1820795
IDBENCH=69598
IDSOLVER=658
FILE ID=tipi24/1820795-1242477214
PBS_JOBID=
Free space on /tmp= 10101 MiB

SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT_RACE08/cnf/mizh-sha0-36-4.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1820795-1242477214/watcher-1820795-1242477214 -o /tmp/evaluation-result-1820795-1242477214/solver-1820795-1242477214 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1820795-1242477214.cnf

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

MD5SUM BENCH= f43e1bf70d9ce8021bafd328efc83ae7
RANDOM SEED= 1474519946

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

processor	: 1
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.461
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.75

processor	: 2
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.461
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.461
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:       1611956 kB
Buffers:         23148 kB
Cached:         358204 kB
SwapCached:       3828 kB
Active:          45132 kB
Inactive:       345612 kB
HighTotal:     1178688 kB
HighFree:       900716 kB
LowTotal:       895776 kB
LowFree:        711240 kB
SwapTotal:     1959888 kB
SwapFree:      1952056 kB
Dirty:            5744 kB
Writeback:           0 kB
AnonPages:        8816 kB
Mapped:           3172 kB
Slab:            62704 kB
PageTables:        616 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    87804 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 10101 MiB
End job on tipi24 at 2009-05-16 14:53:34