Trace number 1820711

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

General information on the benchmark

Namemizh-md5-47-3.cnf
MD5SUM3bb585fcdaeb772457dbcffd3371aab9
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark316.26
Satisfiable
(Un)Satisfiability was proved
Number of variables65604
Number of clauses273522
Sum of the clauses size814950
Maximum clause length4
Minimum clause length1
Number of clauses of size 1199
Number of clauses of size 2118260
Number of clauses of size 342021
Number of clauses of size 4113042
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Parsing...
0.22/0.24	c ==============================================================================
0.22/0.24	c |           |     ORIGINAL     |              LEARNT              |          |
0.22/0.24	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.22/0.24	c ==============================================================================
0.22/0.24	c |         0 |  234719   677266 |   70415       0        0     nan |  0.000 % |
1.01/1.09	c |         0 |  153779   520552 |      --       0       --      -- |     --   | -79667/-152304
1.01/1.09	c ==============================================================================
1.01/1.09	c Result  :   #vars: 26131   #clauses: 153779   #literals: 520552
1.01/1.09	c CPU time:   1.02 s
1.01/1.09	c ==============================================================================
1.21/1.27	c This is MiniSat 2.0 beta
1.21/1.27	c WARNING: for repeatability, setting FPU to use double precision
1.21/1.27	c ============================[ Problem Statistics ]=============================
1.21/1.27	c |                                                                             |
1.21/1.27	c |  Number of variables:  26131                                                |
1.21/1.27	c |  Number of clauses:    153779                                               |
1.26/1.38	c |  Parsing time:         0.11         s                                       |
1.26/1.38	c ============================[ Search Statistics ]==============================
1.26/1.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.26/1.38	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.26/1.38	c ===============================================================================
1.26/1.38	c |         0 |   26131   153779   520552 |    51259        0    nan |  0.000 % |
1.26/1.43	c |       512 |   26130   153779   520552 |    51259      511      5 |  0.004 % |
1.26/1.50	c |      1024 |   26130   153779   520552 |    51259     1023      5 |  0.004 % |
1.26/1.57	c |      1536 |   26130   153779   520552 |    51259     1535      5 |  0.004 % |
1.26/1.74	c |      2560 |   26130   153779   520552 |    51259     2559      6 |  0.004 % |
1.26/1.80	c |      3072 |   26130   153771   520530 |    51259     3071      6 |  0.004 % |
1.26/1.83	c |      3584 |   26130   153771   520530 |    51259     3583      6 |  0.004 % |
1.26/2.02	c |      4609 |   26130   153771   520530 |    51259     4608      7 |  0.004 % |
2.11/2.14	c |      6658 |   26130   153771   520530 |    51259     6657      8 |  0.004 % |
2.11/2.19	c |      7171 |   26130   153771   520530 |    51259     7170      8 |  0.004 % |
2.21/2.23	c |      7683 |   26130   153771   520530 |    51259     7682      8 |  0.004 % |
2.21/2.28	c |      8707 |   26130   153771   520530 |    51259     8706      8 |  0.004 % |
2.21/2.29	c |      9219 |   26130   153771   520530 |    51259     9218      8 |  0.004 % |
2.21/2.31	c |      9732 |   26130   153771   520530 |    51259     9731      8 |  0.004 % |
2.31/2.36	c |     10757 |   26130   153771   520530 | 2147483647    10756      9 |  0.004 % |
2.61/2.62	c |     12806 |   26130   153771   520530 | 2147483647    12805      9 |  0.004 % |
2.91/2.95	c |     16903 |   26130   153771   520530 | 2147483647    16902      9 |  0.004 % |
2.91/2.98	c |     17415 |   26130   153771   520530 | 2147483647    17414      9 |  0.004 % |
2.91/2.99	c |     17927 |   26130   153771   520530 | 2147483647    17926      9 |  0.004 % |
3.11/3.14	c |     18951 |   26130   153771   520530 | 2147483647    18950      9 |  0.004 % |
3.11/3.19	c |     19463 |   26130   153771   520530 | 2147483647    19462      9 |  0.004 % |
3.11/3.20	c |     19975 |   26130   153771   520530 | 2147483647    19974      9 |  0.004 % |
3.21/3.23	c |     21001 |   26130   153771   520530 | 2147483647    21000      9 |  0.004 % |
3.31/3.35	c |     23051 |   26130   153771   520530 | 2147483647    23050      9 |  0.004 % |
3.51/3.52	c |     23563 |   26130   153771   520530 | 2147483647    23562      9 |  0.004 % |
3.51/3.54	c |     24077 |   26130   153771   520530 | 2147483647    24076      9 |  0.004 % |
3.51/3.58	c |     25103 |   26130   153771   520530 | 2147483647    25102      9 |  0.004 % |
3.61/3.62	c |     25615 |   26130   153771   520530 | 2147483647    25614      9 |  0.004 % |
3.71/3.76	c |     26128 |   26112   153652   520178 | 2147483647    26092      9 |  0.073 % |
3.81/3.86	c |     27152 |   26112   153652   520178 | 2147483647    27116     10 |  0.073 % |
4.11/4.18	c |     29200 |   26112   153652   520178 | 2147483647    29164     10 |  0.073 % |
4.21/4.31	c |     33297 |   26112   153652   520178 | 2147483647    33261     10 |  0.073 % |
4.81/4.90	c |     41490 |   26111   153644   520152 | 2147483647    41451     10 |  0.077 % |
4.91/4.95	c |     42003 |   26111   153644   520152 | 2147483647    41964     10 |  0.077 % |
5.01/5.06	c |     42516 |   26111   153644   520152 | 2147483647    42477     10 |  0.077 % |
5.11/5.18	c |     43541 |   26111   153644   520152 | 2147483647    43502     10 |  0.077 % |
5.21/5.22	c |     44053 |   26111   153644   520152 | 2147483647    44014     10 |  0.077 % |
5.21/5.29	c |     44566 |   26108   153644   520152 | 2147483647    44526     10 |  0.088 % |
5.41/5.44	c |     45590 |   26108   153600   520006 | 2147483647    45546     10 |  0.088 % |
5.71/5.77	c |     47639 |   26101   153600   520006 | 2147483647    47594      9 |  0.119 % |
5.71/5.79	c |     48153 |   26101   153600   520006 | 2147483647    48108      9 |  0.119 % |
5.71/5.80	c |     48667 |   26101   153600   520006 | 2147483647    48622      9 |  0.119 % |
5.91/5.92	c |     49692 |   26101   153600   520006 | 2147483647    49647      9 |  0.119 % |
5.91/5.95	c |     50204 |   26101   153600   520006 | 2147483647    50159      9 |  0.119 % |
5.91/5.99	c |     50716 |   26101   153600   520006 | 2147483647    50671      9 |  0.119 % |
6.01/6.04	c |     51740 |   26101   153600   520006 | 2147483647    51695      9 |  0.119 % |
6.51/6.57	c |     53789 |   26101   153600   520006 | 2147483647    53744      9 |  0.119 % |
7.01/7.09	c |     57885 |   26094   153493   519641 | 2147483647    56729      9 |  0.145 % |
7.01/7.11	c |     58399 |   26094   153493   519641 | 2147483647    57243      9 |  0.145 % |
7.11/7.13	c |     58911 |   26094   153493   519641 | 2147483647    57755      9 |  0.145 % |
7.11/7.17	c |     59935 |   26094   153493   519641 | 2147483647    58779      9 |  0.145 % |
7.21/7.23	c |     60447 |   26093   153493   519641 | 2147483647    59290      9 |  0.149 % |
7.21/7.25	c |     60959 |   26093   153493   519641 | 2147483647    59802      9 |  0.149 % |
7.31/7.34	c |     61983 |   26092   153493   519641 | 2147483647    60826      9 |  0.149 % |
7.41/7.47	c |     64031 |   26092   153493   519641 | 2147483647    62874      9 |  0.149 % |
7.41/7.49	c |     64544 |   26092   153493   519641 | 2147483647    63387      9 |  0.149 % |
7.61/7.65	c |     65057 |   26092   153493   519641 | 2147483647    63900      9 |  0.149 % |
7.91/8.00	c |     66081 |   26092   153380   519250 | 2147483647    64424      9 |  0.149 % |
8.01/8.05	c |     66593 |   26092   153380   519250 | 2147483647    64936      9 |  0.149 % |
8.11/8.12	c |     67107 |   26092   153380   519250 | 2147483647    65450      9 |  0.149 % |
8.11/8.18	c |     68131 |   26085   153380   519250 | 2147483647    66472      9 |  0.214 % |
8.21/8.26	c |     70179 |   26085   153380   519250 | 2147483647    68520      9 |  0.214 % |
8.51/8.60	c |     74275 |   26085   153380   519250 | 2147483647    72616     10 |  0.214 % |
9.41/9.44	c |     82467 |   26063   153146   518528 | 2147483647    77633      9 |  0.260 % |
10.61/10.69	c |     98852 |   26013   152755   517310 | 2147483647    92604     10 |  0.452 % |
10.61/10.71	c |     99366 |   26013   152755   517310 | 2147483647    93118     10 |  0.452 % |
10.71/10.73	c |     99878 |   26011   152755   517310 | 2147483647    93629     10 |  0.459 % |
10.71/10.79	c |    100902 |   26011   152755   517310 | 2147483647    94653     10 |  0.459 % |
10.71/10.80	c |    101414 |   26011   152755   517310 | 2147483647    95165     10 |  0.459 % |
10.81/10.83	c |    101927 |   25996   152755   517310 | 2147483647    95674     10 |  0.543 % |
10.81/10.87	c |    102951 |   25996   152755   517310 | 2147483647    96698     10 |  0.543 % |
10.91/10.93	c |    104999 |   25996   152755   517310 | 2147483647    98746     10 |  0.543 % |
10.91/10.97	c |    105511 |   25994   152755   517310 | 2147483647    99258     10 |  0.543 % |
10.91/10.99	c |    106025 |   25994   152755   517310 | 2147483647    99772     10 |  0.543 % |
11.01/11.02	c |    107049 |   25994   152755   517310 | 2147483647   100796     10 |  0.543 % |
11.01/11.07	c |    107563 |   25993   152755   517310 | 2147483647   101310     10 |  0.543 % |
11.01/11.10	c |    108077 |   25993   152755   517310 | 2147483647   101824     10 |  0.543 % |
11.11/11.14	c |    109103 |   25992   152755   517310 | 2147483647   102849     10 |  0.547 % |
11.41/11.42	c |    111153 |   25990   152755   517310 |   103748    90790      9 |  0.547 % |
11.51/11.58	c |    115250 |   25989   152755   517310 |   103748    94886     10 |  0.551 % |
11.61/11.62	c |    115762 |   25989   152755   517310 |   103748    95398     10 |  0.551 % |
11.61/11.64	c |    116274 |   25989   152755   517310 |   103748    95910     10 |  0.551 % |
11.61/11.69	c |    117299 |   25989   152755   517310 |   103748    96935     10 |  0.551 % |
11.71/11.72	c |    117812 |   25989   152755   517310 |   103748    97448     10 |  0.551 % |
11.71/11.76	c |    118324 |   25989   152755   517310 |   103748    97960     10 |  0.551 % |
11.81/11.83	c |    119348 |   25989   152755   517310 |   103748    98984     10 |  0.551 % |
12.01/12.09	c |    121396 |   25989   152755   517310 |    99637    85352     10 |  0.551 % |
12.11/12.12	c |    121908 |   25989   152755   517310 |    99637    85864     10 |  0.551 % |
12.11/12.14	c |    122420 |   25989   152755   517310 |    99637    86376     10 |  0.551 % |
12.21/12.23	c |    123446 |   25982   152755   517310 |    99637    87401     10 |  0.589 % |
12.21/12.26	c |    123958 |   25982   152755   517310 |    99637    87913     10 |  0.589 % |
12.31/12.32	c |    124470 |   25976   152338   515931 |    99637    84815      9 |  0.593 % |
12.31/12.35	c |    125494 |   25976   152338   515931 |    99637    85839     10 |  0.593 % |
12.41/12.50	c |    127542 |   25975   152338   515931 |    99637    87886     10 |  0.597 % |
12.81/12.86	c |    131638 |   25968   152338   515931 |    90344    75397     10 |  0.624 % |
13.61/13.62	c |    139833 |   25964   152338   515931 |    90344    83591     10 |  0.639 % |
13.61/13.71	c |    140345 |   25964   152338   515931 |    83758    63402     10 |  0.639 % |
13.71/13.77	c |    140858 |   25958   152338   515931 |    83758    63913     10 |  0.696 % |
13.81/13.86	c |    141883 |   25958   152338   515931 |    83758    64938     10 |  0.696 % |
13.91/13.92	c |    142396 |   25953   152338   515931 |    83758    65451     10 |  0.696 % |
13.91/13.98	c |    142909 |   25952   152338   515931 |    83758    65962     10 |  0.788 % |
14.01/14.05	c |    143934 |   25935   152338   515931 |    83758    66986     10 |  0.815 % |
14.21/14.22	c |    145982 |   25928   152338   515931 |    83758    69034     10 |  0.815 % |
14.21/14.30	c |    146494 |   25928   152338   515931 |    83758    69546     10 |  0.815 % |
14.31/14.36	c |    147008 |   25918   151930   514717 |    83758    68003     10 |  0.815 % |
14.41/14.45	c |    148033 |   25918   151930   514717 |    83758    69028     10 |  0.815 % |
14.51/14.54	c |    148546 |   25916   151930   514717 |    83758    69540     10 |  0.846 % |
14.51/14.58	c |    149058 |   25907   151930   514717 |    83758    70048     10 |  0.903 % |
14.61/14.64	c |    150082 |   25905   151930   514717 |    70988    71070     10 |  0.934 % |
14.91/15.00	c |    152130 |   25900   151930   514717 |    70988    52835     10 |  0.945 % |
15.41/15.51	c |    156226 |   25899   151930   514717 |    70988    56930     10 |  0.949 % |
15.61/15.62	c |    156738 |   25899   151930   514717 |    70988    57442     10 |  0.949 % |
15.71/15.75	c |    157253 |   25899   151930   514717 |    70988    57957     10 |  0.949 % |
15.81/15.90	c |    158278 |   25898   151930   514717 |    70988    58981     10 |  0.953 % |
15.91/15.98	c |    158790 |   25882   151710   514046 |    70988    58704     10 |  0.953 % |
16.01/16.11	c |    159302 |   25882   151710   514046 |    70988    59216     10 |  0.953 % |
16.21/16.28	c |    160327 |   25881   151710   514046 |    59913    60240     10 |  0.957 % |
16.51/16.58	c |    162376 |   25877   151710   514046 |    59913    51829     10 |  0.972 % |
16.51/16.60	c |    162888 |   25847   151710   514046 |    59913    52339     10 |  1.194 % |
16.61/16.68	c |    163400 |   25828   151710   514046 |    59913    52851     10 |  1.194 % |
16.81/16.83	c |    164426 |   25821   151710   514046 |    59913    53876     10 |  1.209 % |
16.81/16.85	c |    164939 |   25816   151710   514046 |    59913    54387     10 |  1.397 % |
16.81/16.90	c |    165453 |   25807   151710   514046 |    59913    54899     10 |  1.473 % |
16.91/16.99	c |    166477 |   25807   151710   514046 |    59913    55923     10 |  1.473 % |
17.21/17.23	c |    168526 |   25737   150615   510520 |    59913    54644     10 |  1.508 % |
17.81/17.89	c |    172622 |   25737   150615   510520 | 2147483647    58740     10 |  1.508 % |
19.11/19.21	c |    180817 |   25722   150580   510414 | 2147483647    66929     10 |  1.569 % |
21.31/21.32	c |    197202 |   25473   149100   505622 | 2147483647    75208     11 |  2.763 % |
28.62/28.70	c |    229973 |   24692   143518   487481 | 2147483647    76906     11 |  5.507 % |
28.81/28.84	c |    230486 |   24692   143518   487481 | 2147483647    77419     11 |  5.507 % |
28.91/28.99	c |    231001 |   24692   143518   487481 | 2147483647    77934     11 |  5.507 % |
29.31/29.32	c |    232025 |   24655   143518   487481 | 2147483647    78953     11 |  5.844 % |
29.41/29.45	c |    232539 |   24646   143518   487481 | 2147483647    79465     11 |  5.966 % |
29.51/29.55	c |    233051 |   24636   143518   487481 | 2147483647    79975     11 |  6.004 % |
29.81/29.84	c |    234075 |   24612   143518   487481 | 2147483647    80994     11 |  6.177 % |
30.51/30.60	c |    236123 |   24498   142377   483752 | 2147483647    80077     12 |  6.249 % |
30.61/30.67	c |    236635 |   24498   142377   483752 | 2147483647    80589     12 |  6.249 % |
30.71/30.78	c |    237147 |   24498   142377   483752 | 2147483647    81101     12 |  6.249 % |
31.01/31.03	c |    238171 |   24493   142377   483752 | 2147483647    82123     12 |  6.425 % |
31.21/31.26	c |    238685 |   24477   142377   483752 | 2147483647    82637     12 |  6.425 % |
31.41/31.45	c |    239197 |   24471   142377   483752 | 2147483647    83147     12 |  6.456 % |
31.92/31.93	c |    240221 |   24466   142377   483752 | 2147483647    84170     12 |  6.475 % |
32.71/32.80	c |    242271 |   24427   142025   482585 | 2147483647    81887     13 |  6.578 % |
33.21/33.24	c |    246367 |   24424   142025   482585 | 2147483647    85981     12 |  6.617 % |
33.41/33.42	c |    246879 |   24399   141725   481570 | 2147483647    85773     12 |  6.628 % |
33.41/33.50	c |    247391 |   24397   141725   481570 | 2147483647    86284     12 |  6.640 % |
33.61/33.66	c |    248417 |   24397   141725   481570 | 2147483647    87310     12 |  6.640 % |
33.81/33.82	c |    248929 |   24396   141725   481570 | 2147483647    87821     12 |  6.643 % |
33.91/33.98	c |    249442 |   24391   141725   481570 | 2147483647    88332     12 |  6.663 % |
34.01/34.09	c |    250466 |   24389   141725   481570 | 2147483647    89355     12 |  6.670 % |
34.91/34.98	c |    252514 |   24387   141725   481570 | 2147483647    91402     13 |  6.678 % |
35.11/35.18	c |    253026 |   24387   141725   481570 | 2147483647    91914     13 |  6.678 % |
35.31/35.40	c |    253538 |   24386   141607   481172 | 2147483647    92179     13 |  6.678 % |
35.91/36.01	c |    254562 |   24385   141607   481172 | 2147483647    93202     13 |  6.682 % |
36.11/36.20	c |    255074 |   24385   141607   481172 | 2147483647    93714     13 |  6.682 % |
36.41/36.42	c |    255586 |   24367   141607   481172 | 2147483647    94222     13 |  6.973 % |
36.71/36.72	c |    256611 |   24364   141607   481172 | 2147483647    95247     13 |  6.973 % |
37.21/37.22	c |    258664 |   24364   141607   481172 | 2147483647    97300     13 |  6.973 % |
38.21/38.30	c |    262761 |   24309   141093   479441 | 2147483647    99720     13 |  6.973 % |
40.81/40.83	c |    270954 |   24306   141076   479384 | 2147483647   107876     13 |  6.984 % |
40.91/40.94	c |    271468 |   24306   141076   479384 | 2147483647   108390     13 |  6.984 % |
41.11/41.13	c |    271981 |   24306   141076   479384 | 2147483647   108903     13 |  6.984 % |
41.41/41.43	c |    273007 |   24306   141076   479384 | 2147483647   109929     13 |  6.984 % |
41.41/41.49	c |    273519 |   24306   141076   479384 | 2147483647   110441     13 |  6.984 % |
41.61/41.66	c |    274032 |   24306   141076   479384 | 2147483647   110954     13 |  6.984 % |
41.71/41.77	c |    275056 |   24306   141076   479384 | 2147483647   111978     13 |  6.984 % |
42.31/42.41	c |    277106 |   24300   141051   479301 | 2147483647   113963     13 |  7.007 % |
42.61/42.61	c |    277619 |   24300   141051   479301 | 2147483647   114476     13 |  7.007 % |
42.71/42.78	c |    278131 |   24300   141051   479301 | 2147483647   114988     13 |  7.007 % |
43.01/43.02	c |    279156 |   24293   141051   479301 | 2147483647   116012     13 |  7.045 % |
43.21/43.22	c |    279668 |   24290   141051   479301 | 2147483647   116524     13 |  7.045 % |
43.41/43.50	c |    280180 |   24290   141051   479301 | 2147483647   117036     13 |  7.045 % |
43.81/43.82	c |    281205 |   24290   141051   479301 | 2147483647   118061     13 |  7.045 % |
44.31/44.41	c |    283254 |   24289   140946   478943 | 2147483647   119410     13 |  7.049 % |
45.61/45.62	c |    287350 |   24289   140946   478943 | 2147483647   123506     13 |  7.049 % |
45.61/45.70	c |    287865 |   24286   140946   478943 | 2147483647   124020     13 |  7.064 % |
45.81/45.86	c |    288377 |   24285   140946   478943 | 2147483647   124531     13 |  7.068 % |
46.31/46.41	c |    289401 |   24271   140946   478943 | 2147483647   125554     13 |  7.164 % |
46.61/46.63	c |    289914 |   24271   140946   478943 | 2147483647   126067     13 |  7.164 % |
46.91/46.93	c |    290426 |   24271   140946   478943 | 2147483647   126579     13 |  7.164 % |
47.81/47.86	c |    291450 |   24259   140786   478389 | 2147483647   126251     13 |  7.164 % |
48.91/48.98	c |    293499 |   24259   140786   478389 | 2147483647   128300     14 |  7.164 % |
49.11/49.21	c |    294013 |   24259   140786   478389 | 2147483647   128814     14 |  7.164 % |
49.21/49.25	c |    294525 |   24257   140786   478389 | 2147483647   129325     14 |  7.179 % |
49.41/49.46	c |    295549 |   24257   140786   478389 | 2147483647   130349     14 |  7.179 % |
49.52/49.61	c |    296064 |   24252   140786   478389 | 2147483647   130861     14 |  7.214 % |
49.71/49.77	c |    296576 |   24252   140786   478389 | 2147483647   131373     14 |  7.214 % |
49.81/49.91	c |    297600 |   24243   140698   478085 | 2147483647   131457     14 |  7.225 % |
50.51/50.59	c |    299648 |   24236   140698   478085 | 2147483647   133501     14 |  7.252 % |
51.91/51.95	c |    303745 |   24236   140698   478085 | 2147483647   137598     14 |  7.252 % |
55.31/55.32	c |    311937 |   24232   140552   477605 | 2147483647   145568     14 |  7.267 % |
63.51/63.55	c |    328323 |   24228   140543   477574 |   153631   139481     17 |  7.286 % |
63.91/63.95	c |    328835 |   24228   140543   477574 |   153631   139993     17 |  7.286 % |
64.11/64.16	c |    329347 |   24228   140543   477574 |   153631   140505     17 |  7.286 % |
64.81/64.86	c |    330371 |   24228   140543   477574 |   141158   141529     18 |  7.286 % |
65.01/65.06	c |    330883 |   24228   140543   477574 |   141158   142041     18 |  7.286 % |
65.11/65.19	c |    331398 |   24228   140543   477574 |   141158   142556     18 |  7.286 % |
65.81/65.83	c |    332422 |   24228   140543   477574 |   141158   143580     18 |  7.286 % |
67.12/67.19	c |    334470 |   24228   140543   477574 |   141158   126830     19 |  7.286 % |
67.31/67.40	c |    334983 |   24228   140543   477574 |   141158   127343     19 |  7.286 % |
68.22/68.23	c |    335495 |   24227   140528   477521 |   141158   127853     19 |  7.286 % |
68.61/68.64	c |    336519 |   24227   140528   477521 |   141158   128877     19 |  7.286 % |
68.81/68.81	c |    337032 |   24227   140528   477521 |   141158   129390     19 |  7.286 % |
68.91/68.92	c |    337544 |   24220   140528   477521 |   141158   129900     19 |  7.317 % |
69.21/69.25	c |    338569 |   24220   140528   477521 |   141158   130925     19 |  7.317 % |
69.81/69.90	c |    340618 |   24219   140528   477521 | 2147483647   132973     19 |  7.321 % |
71.61/71.71	c |    344714 |   24219   140528   477521 | 2147483647   137069     19 |  7.321 % |
71.91/71.96	c |    345226 |   24218   140479   477360 | 2147483647   137419     19 |  7.321 % |
72.11/72.17	c |    345738 |   24218   140479   477360 | 2147483647   137931     19 |  7.321 % |
73.11/73.15	c |    346762 |   24218   140479   477360 | 2147483647   138955     20 |  7.321 % |
73.31/73.37	c |    347274 |   24218   140479   477360 | 2147483647   139467     20 |  7.321 % |
73.61/73.62	c |    347786 |   24218   140479   477360 | 2147483647   139979     20 |  7.321 % |
74.21/74.23	c |    348811 |   24218   140479   477360 | 2147483647   141004     20 |  7.321 % |
79.22/79.27	c |    350861 |   24218   140479   477360 |   142193   143054     23 |  7.321 % |
79.71/79.74	c |    351373 |   24218   140479   477360 |   142193   143566     23 |  7.321 % |
80.01/80.08	c |    351885 |   24218   140479   477360 |   142193   144078     23 |  7.321 % |
82.41/82.43	c |    352909 |   24218   140479   477360 |   142193   145102     25 |  7.321 % |
82.71/82.80	c |    353421 |   24218   140479   477360 |   142193   123352     25 |  7.321 % |
82.91/82.95	c |    353933 |   24213   140452   477277 |   142193   123670     25 |  7.340 % |
83.31/83.36	c |    354958 |   24213   140452   477277 |   142193   124695     25 |  7.340 % |
84.12/84.18	c |    357006 |   24213   140452   477277 |   142193   126743     25 |  7.340 % |
89.62/89.66	c |    361102 |   24213   140452   477277 |   129737   130839     30 |  7.340 % |
104.22/104.28	c |    369296 |   24211   140445   477256 |   129737   121813     44 |  7.348 % |
104.52/104.57	c |    369808 |   24211   140438   477235 |   129737   122323     44 |  7.348 % |
104.72/104.81	c |    370320 |   24211   140438   477235 |   122515   122835     44 |  7.348 % |
105.32/105.38	c |    371344 |   24211   140438   477235 |   122515   123859     44 |  7.348 % |
105.62/105.64	c |    371857 |   24211   140438   477235 |   122515   124372     44 |  7.348 % |
105.92/105.96	c |    372369 |   24211   140438   477235 |   122515   124884     44 |  7.348 % |
106.62/106.70	c |    373394 |   24207   140438   477235 |   122515   112217     46 |  7.363 % |
107.62/107.64	c |    375442 |   24207   140438   477235 |   122515   114265     45 |  7.363 % |
107.92/107.94	c |    375958 |   24207   140438   477235 |   122515   114781     45 |  7.363 % |
108.12/108.20	c |    376472 |   24207   140438   477235 |   122515   115295     45 |  7.363 % |
109.52/109.59	c |    377496 |   24207   140438   477235 |   122515   116319     46 |  7.363 % |
109.82/109.85	c |    378009 |   24207   140438   477235 |   122515   116832     46 |  7.363 % |
110.22/110.28	c |    378521 |   24207   140438   477235 |   122515   117344     47 |  7.363 % |
111.12/111.12	c |    379545 |   24207   140438   477235 |   122515   118368     47 |  7.363 % |
112.12/112.17	c |    381593 |   24207   140438   477235 | 2147483647   120416     47 |  7.363 % |
115.42/115.43	c |    385689 |   24207   140438   477235 | 2147483647   124512     48 |  7.363 % |
115.72/115.77	c |    386201 |   24207   140418   477184 | 2147483647   125015     48 |  7.363 % |
115.92/115.98	c |    386715 |   24207   140418   477184 | 2147483647   125529     48 |  7.363 % |
116.62/116.72	c |    387740 |   24207   140418   477184 | 2147483647   126554     49 |  7.363 % |
116.92/116.94	c |    388253 |   24207   140418   477184 | 2147483647   127067     49 |  7.363 % |
117.92/117.92	c |    388765 |   24207   140418   477184 | 2147483647   127579     49 |  7.363 % |
118.32/118.40	c |    389789 |   24207   140418   477184 | 2147483647   128603     49 |  7.363 % |
119.72/119.79	c |    391841 |   24207   140418   477184 | 2147483647   130655     49 |  7.363 % |
120.02/120.10	c |    392353 |   24207   140418   477184 | 2147483647   131167     49 |  7.363 % |
120.32/120.39	c |    392866 |   24207   140418   477184 | 2147483647   131680     49 |  7.363 % |
120.92/120.93	c |    393890 |   24207   140418   477184 | 2147483647   132704     49 |  7.363 % |
121.32/121.36	c |    394402 |   24207   140418   477184 | 2147483647   133216     49 |  7.363 % |
121.52/121.61	c |    394914 |   24207   140418   477184 | 2147483647   133728     49 |  7.363 % |
122.42/122.42	c |    395939 |   24207   140418   477184 | 2147483647   134753     49 |  7.363 % |
123.42/123.47	c |    397990 |   24207   140418   477184 | 2147483647   136804     49 |  7.363 % |
126.32/126.41	c |    402088 |   24207   140418   477184 |   138814   140902     49 |  7.363 % |
134.42/134.44	c |    410281 |   24207   140418   477184 |   131088   131369     56 |  7.363 % |
152.91/152.99	c |    426665 |   24206   140411   477160 |   127088   119906     60 |  7.367 % |
211.52/211.60	c |    459433 |   24204   140404   477139 |   128762   138195     91 |  7.374 % |
268.02/268.01	c |    524969 |   24197   140333   476880 |   143716   148685     88 |  7.401 % |
268.52/268.56	c |    525482 |   24197   140323   476846 |   143716   116311     57 |  7.401 % |
268.82/268.83	c |    525995 |   24196   140323   476846 |   143716   116823     57 |  7.405 % |
269.22/269.21	c |    527019 |   24196   140323   476846 |   143716   117847     56 |  7.405 % |
269.22/269.28	c |    527532 |   24196   140323   476846 |   143716   118360     56 |  7.405 % |
269.62/269.71	c |    528046 |   24196   140323   476846 |   143716   118874     56 |  7.405 % |
270.02/270.09	c |    529070 |   24196   140323   476846 |   143716   119898     56 |  7.405 % |
271.72/271.79	c |    531118 |   24196   140323   476846 |   120828   121945     57 |  7.409 % |
272.22/272.25	c |    531631 |   24195   140323   476846 |   120828   122458     57 |  7.409 % |
272.42/272.47	c |    532143 |   24195   140323   476846 |   120828   122970     56 |  7.409 % |
272.92/272.94	c |    533168 |   24195   140323   476846 |   120828   102087     52 |  7.409 % |
273.32/273.31	c |    533680 |   24195   140323   476846 |   120828   102599     52 |  7.409 % |
273.42/273.50	c |    534195 |   24195   140323   476846 |   120828   103114     52 |  7.409 % |
274.22/274.27	c |    535219 |   24195   140323   476846 |   120828   104138     52 |  7.409 % |
278.02/278.08	c |    537267 |   24193   140323   476846 |   120828   106185     55 |  7.416 % |
279.82/279.82	c |    541363 |   24193   140323   476846 |   108919   110281     54 |  7.416 % |
280.42/280.48	c |    541875 |   24193   140323   476846 |   108919   110793     55 |  7.416 % |
280.82/280.85	c |    542388 |   24193   140323   476846 |   108919    98703     57 |  7.416 % |
283.32/283.32	c |    543413 |   24193   140323   476846 |   108919    99728     59 |  7.416 % |
283.52/283.52	c |    543925 |   24193   140323   476846 |   108919   100240     59 |  7.416 % |
284.02/284.07	c |    544437 |   24193   140323   476846 |   108919   100752     59 |  7.416 % |
284.42/284.47	c |    545461 |   24193   140323   476846 |   108919   101776     59 |  7.416 % |
285.22/285.26	c |    547509 |   24193   140323   476846 |   108919   103824     58 |  7.416 % |
286.03/286.10	c |    548022 |   24193   140323   476846 |   108919   104337     59 |  7.416 % |
286.42/286.49	c |    548534 |   24193   140323   476846 |   108919   104849     59 |  7.416 % |
286.72/286.78	c |    549559 |   24193   140323   476846 |   108919   105874     58 |  7.416 % |
286.92/286.98	c |    550072 |   24193   140323   476846 | 2147483647   106387     58 |  7.416 % |
287.22/287.23	c |    550584 |   24193   140323   476846 | 2147483647   106899     58 |  7.416 % |
288.12/288.16	c |    551608 |   24193   140297   476754 | 2147483647   107909     58 |  7.416 % |
289.72/289.79	c |    553656 |   24193   140297   476754 | 2147483647   109957     58 |  7.416 % |
291.53/291.60	c |    557753 |   24193   140297   476754 | 2147483647   114054     58 |  7.416 % |
303.22/303.22	c |    565946 |   24193   140297   476754 | 2147483647   122247     65 |  7.416 % |
303.42/303.43	c |    566458 |   24193   140297   476754 | 2147483647   122759     64 |  7.416 % |
303.63/303.64	c |    566970 |   24193   140297   476754 | 2147483647   123271     64 |  7.416 % |
304.12/304.16	c |    567995 |   24193   140297   476754 | 2147483647   124296     64 |  7.416 % |
304.32/304.36	c |    568507 |   24193   140297   476754 | 2147483647   124808     64 |  7.416 % |
304.42/304.47	c |    569019 |   24193   140297   476754 | 2147483647   125320     63 |  7.416 % |
304.82/304.84	c |    570043 |   24192   140290   476730 |   126296   126339     63 |  7.420 % |
305.92/305.94	c |    572091 |   24192   140290   476730 |   126296   128387     63 |  7.420 % |
306.32/306.31	c |    572604 |   24192   140290   476730 |   126296   113809     63 |  7.420 % |
307.12/307.12	c |    573117 |   24192   140290   476730 |   126296   114322     64 |  7.420 % |
307.52/307.55	c |    574142 |   24192   140290   476730 |   126296   115347     63 |  7.420 % |
307.82/307.84	c |    574654 |   24192   140290   476730 |   126296   115859     63 |  7.420 % |
308.22/308.25	c |    575166 |   24192   140290   476730 |   126296   116371     63 |  7.420 % |
308.62/308.67	c |    576190 |   24192   140290   476730 |   126296   117395     63 |  7.420 % |
309.52/309.60	c |    578238 |   24192   140290   476730 |   126296   119443     62 |  7.420 % |
311.42/311.42	c |    582334 |   24192   140290   476730 | 2147483647   123539     61 |  7.420 % |
311.72/311.78	c |    582847 |   24192   140290   476730 | 2147483647   124052     61 |  7.420 % |
312.32/312.35	c |    583359 |   24192   140290   476730 | 2147483647   124564     61 |  7.420 % |
312.82/312.85	c |    584386 |   24192   140290   476730 | 2147483647   125591     61 |  7.420 % |
313.53/313.52	c |    584899 |   24192   140290   476730 | 2147483647   126104     62 |  7.420 % |
313.72/313.72	c |    585412 |   24192   140290   476730 | 2147483647   126617     62 |  7.420 % |
314.02/314.10	c |    586438 |   24192   140290   476730 | 2147483647   127643     61 |  7.420 % |
315.12/315.11	c |    588486 |   24192   140290   476730 | 2147483647   129691     61 |  7.420 % |
315.32/315.33	c |    588998 |   24192   140290   476730 | 2147483647   130203     61 |  7.420 % |
316.42/316.50	c |    589510 |   24192   140290   476730 | 2147483647   130715     61 |  7.420 % |
317.02/317.06	c |    590534 |   24192   140290   476730 |   131207   131739     61 |  7.420 % |
318.22/318.22	c |    591046 |   24192   140290   476730 |   131207   132251     62 |  7.420 % |
318.42/318.43	c |    591558 |   24192   140290   476730 |   131207   132763     61 |  7.420 % |
318.82/318.87	c |    592582 |   24192   140290   476730 |   131207   133787     61 |  7.420 % |
320.82/320.88	c |    594630 |   24192   140290   476730 |   131207   120565     40 |  7.420 % |
325.92/325.98	c |    598726 |   24192   140290   476730 |   131207   124661     44 |  7.420 % |
337.23/337.26	c |    606918 |   24192   140290   476730 |   125936   116280     45 |  7.420 % |
348.83/348.88	c |    623302 |   24192   140290   476730 | 2147483647   118705     43 |  7.420 % |
349.33/349.41	c |    623816 |   24192   140290   476730 | 2147483647   119219     43 |  7.420 % |
349.63/349.66	c |    624328 |   24192   140290   476730 | 2147483647   119731     43 |  7.420 % |
350.13/350.14	c |    625353 |   24192   140290   476730 | 2147483647   120756     43 |  7.420 % |
350.43/350.45	c |    625865 |   24192   140290   476730 | 2147483647   121268     43 |  7.420 % |
350.83/350.83	c |    626379 |   24192   140290   476730 | 2147483647   121782     43 |  7.420 % |
351.23/351.31	c |    627404 |   24192   140290   476730 | 2147483647   122807     43 |  7.420 % |
355.73/355.75	c |    629452 |   24192   140290   476730 | 2147483647   124855     46 |  7.420 % |
356.03/356.09	c |    629966 |   24192   140290   476730 | 2147483647   125369     46 |  7.420 % |
356.33/356.34	c |    630479 |   24192   140290   476730 |   125403   125882     46 |  7.420 % |
356.83/356.89	c |    631503 |   24192   140290   476730 |   125403   126906     46 |  7.420 % |
357.93/357.97	c |    632016 |   24192   140290   476730 |   125403   127419     47 |  7.420 % |
358.23/358.30	c |    632530 |   24192   140290   476730 |   125403   114014     45 |  7.420 % |
359.33/359.38	c |    633555 |   24192   140290   476730 |   125403   115039     46 |  7.420 % |
360.33/360.35	c |    635604 |   24192   140290   476730 |   125403   117088     46 |  7.420 % |
366.83/366.90	c |    639700 |   24192   140290   476730 |   125403   121184     50 |  7.420 % |
367.13/367.20	c |    640214 |   24192   140290   476730 |   121486   121698     50 |  7.420 % |
367.33/367.39	c |    640726 |   24192   140290   476730 |   121486   122210     50 |  7.420 % |
367.93/367.98	c |    641751 |   24192   140290   476730 |   121486   123235     50 |  7.420 % |
368.23/368.25	c |    642263 |   24192   140290   476730 |   121486   123747     50 |  7.420 % |
368.83/368.81	c |    642777 |   24192   140290   476730 |   121486   111887     49 |  7.420 % |
369.43/369.44	c |    643801 |   24191   140258   476614 |   121486   112908     49 |  7.424 % |
370.23/370.25	c |    645850 |   24191   140258   476614 |   121486   114957     49 |  7.424 % |
370.43/370.46	c |    646363 |   24191   140258   476614 |   121486   115470     49 |  7.424 % |
370.63/370.69	c |    646875 |   24191   140258   476614 |   121486   115982     48 |  7.424 % |
371.03/371.04	c |    647899 |   24191   140258   476614 |   121486   117006     48 |  7.424 % |
371.13/371.21	c |    648411 |   24191   140258   476614 |   121486   117518     48 |  7.424 % |
371.43/371.42	c |    648923 |   24191   140258   476614 |   121486   118030     48 |  7.424 % |
371.83/371.84	c |    649947 |   24191   140258   476614 |   121486   119054     48 |  7.424 % |
372.73/372.76	c |    651995 |   24191   140258   476614 | 2147483647   121102     47 |  7.424 % |
375.43/375.47	c |    656091 |   24191   140258   476614 | 2147483647   125198     48 |  7.424 % |
387.23/387.28	c |    664284 |   24191   140258   476614 |   129108   117163     46 |  7.424 % |
387.53/387.59	c |    664796 |   24191   140258   476614 |   129108   117675     46 |  7.424 % |
387.83/387.84	c |    665308 |   24191   140258   476614 |   129108   118187     45 |  7.424 % |
389.73/389.73	c |    666333 |   24191   140258   476614 |   129108   119212     47 |  7.424 % |
389.93/389.92	c |    666845 |   24191   140258   476614 |   129108   119724     47 |  7.424 % |
390.23/390.23	c |    667360 |   24191   140258   476614 |   129108   120239     47 |  7.424 % |
390.83/390.83	c |    668384 |   24191   140258   476614 |   129108   121263     47 |  7.424 % |
393.03/393.10	c |    670433 |   24191   140258   476614 |   122880   123312     48 |  7.424 % |
393.63/393.70	c |    670946 |   24191   140258   476614 |   122880   123825     48 |  7.424 % |
393.93/393.97	c |    671458 |   24191   140258   476614 |   122880   124337     48 |  7.424 % |
394.53/394.54	c |    672484 |   24191   140258   476614 |   122880   125363     48 |  7.424 % |
394.73/394.78	c |    672996 |   24191   140258   476614 |   122880   113339     46 |  7.424 % |
394.83/394.89	c |    673508 |   24191   140258   476614 |   122880   113851     45 |  7.424 % |
395.13/395.20	c |    674532 |   24191   140258   476614 |   122880   114875     45 |  7.424 % |
395.63/395.69	c |    676581 |   24191   140258   476614 |   122880   116924     44 |  7.424 % |
396.83/396.82	c |    680677 |   24191   140258   476614 | 2147483647   121020     43 |  7.424 % |
396.93/396.96	c |    681189 |   24191   140258   476614 | 2147483647   121532     43 |  7.424 % |
396.93/396.99	c |    681701 |   24191   140258   476614 | 2147483647   122044     43 |  7.424 % |
397.33/397.36	c |    682725 |   24191   140258   476614 | 2147483647   123068     43 |  7.424 % |
397.43/397.47	c |    683237 |   24191   140258   476614 | 2147483647   123580     43 |  7.424 % |
397.63/397.65	c |    683749 |   24191   140258   476614 | 2147483647   124092     43 |  7.424 % |
397.83/397.89	c |    684773 |   24191   140258   476614 | 2147483647   125116     42 |  7.424 % |
398.53/398.59	c |    686821 |   24191   140258   476614 | 2147483647   127164     42 |  7.424 % |
398.73/398.76	c |    687333 |   24191   140258   476614 | 2147483647   127676     42 |  7.424 % |
398.93/398.97	c |    687845 |   24191   140258   476614 | 2147483647   128188     42 |  7.424 % |
399.33/399.41	c |    688869 |   24191   140258   476614 | 2147483647   129212     42 |  7.424 % |
399.63/399.67	c |    689383 |   24191   140258   476614 | 2147483647   129726     42 |  7.424 % |
399.83/399.87	c |    689895 |   24191   140258   476614 | 2147483647   130238     42 |  7.424 % |
401.53/401.61	c |    690921 |   24191   140258   476614 | 2147483647   131264     43 |  7.424 % |
402.63/402.64	c |    692970 |   24191   140258   476614 | 2147483647   133313     43 |  7.424 % |
404.43/404.51	c |    697067 |   24191   140258   476614 | 2147483647   137410     43 |  7.424 % |
419.53/419.51	c |    705260 |   24191   140258   476614 | 2147483647   145603     53 |  7.424 % |
430.43/430.45	c |    721644 |   24190   140252   476596 |   138503   140147     48 |  7.428 % |
485.84/485.83	c |    754413 |   24190   140252   476596 |   112789   117202     83 |  7.428 % |
486.14/486.19	c |    754925 |   24190   140252   476596 |   112789   101313     78 |  7.428 % |
486.34/486.40	c |    755438 |   24190   140252   476596 |   112789   101826     78 |  7.428 % |
486.64/486.67	c |    756463 |   24190   140252   476596 |   112789   102851     77 |  7.428 % |
486.84/486.85	c |    756975 |   24190   140252   476596 |   112789   103363     77 |  7.428 % |
486.84/486.91	c |    757488 |   24190   140252   476596 |   112789   103876     77 |  7.428 % |
487.24/487.27	c |    758513 |   24190   140252   476596 |   112789   104901     76 |  7.428 % |
488.04/488.09	c |    760561 |   24190   140252   476596 |   106389   106949     75 |  7.428 % |
488.24/488.28	c |    761074 |   24190   140252   476596 |   106389   107462     75 |  7.428 % |
488.94/489.01	c |    761588 |   24190   140252   476596 |   106389   107976     75 |  7.428 % |
489.74/489.81	c |    762613 |   24190   140252   476596 |   106389    96802     76 |  7.428 % |
490.04/490.07	c |    763126 |   24190   140252   476596 |   106389    97315     76 |  7.428 % |
490.14/490.13	c |    763638 |   24190   140252   476596 |   106389    97827     75 |  7.428 % |
490.54/490.53	c |    764664 |   24190   140252   476596 |   106389    98853     75 |  7.428 % |
491.24/491.31	c |    766712 |   24190   140252   476596 |   106389   100901     74 |  7.428 % |
492.84/492.90	c |    770808 |   24187   140212   476452 | 2147483647   104988     71 |  7.439 % |
492.94/492.95	c |    771320 |   24187   140212   476452 | 2147483647   105500     71 |  7.439 % |
493.14/493.15	c |    771832 |   24187   140212   476452 | 2147483647   106012     71 |  7.439 % |
493.54/493.54	c |    772856 |   24187   140212   476452 | 2147483647   107036     70 |  7.439 % |
493.74/493.73	c |    773369 |   24187   140212   476452 | 2147483647   107549     70 |  7.439 % |
493.94/493.95	c |    773881 |   24187   140212   476452 | 2147483647   108061     70 |  7.439 % |
494.54/494.52	c |    774905 |   24187   140212   476452 | 2147483647   109085     70 |  7.439 % |
495.33/495.35	c |    776954 |   24187   140212   476452 | 2147483647   111134     69 |  7.439 % |
495.53/495.58	c |    777466 |   24187   140212   476452 | 2147483647   111646     68 |  7.439 % |
496.03/496.09	c |    777978 |   24187   140212   476452 | 2147483647   112158     69 |  7.439 % |
496.53/496.55	c |    779002 |   24187   140212   476452 | 2147483647   113182     68 |  7.439 % |
496.73/496.72	c |    779514 |   24187   140212   476452 | 2147483647   113694     68 |  7.439 % |
496.93/496.99	c |    780026 |   24187   140212   476452 | 2147483647   114206     68 |  7.439 % |
500.13/500.20	c |    781052 |   24187   140212   476452 | 2147483647   115232     69 |  7.439 % |
501.03/501.03	c |    783100 |   24187   140212   476452 | 2147483647   117280     69 |  7.439 % |
507.53/507.57	c |    787197 |   24187   140212   476452 | 2147483647   121377     72 |  7.439 % |
513.03/513.02	c |    795389 |   24187   140212   476452 |   124180   129569     73 |  7.439 % |
513.33/513.35	c |    795902 |   24187   140212   476452 |   124180   116370     58 |  7.439 % |
513.63/513.61	c |    796415 |   24187   140212   476452 |   124180   116883     58 |  7.439 % |
514.43/514.47	c |    797440 |   24187   140212   476452 |   124180   117908     58 |  7.439 % |
515.03/515.02	c |    797952 |   24187   140212   476452 |   124180   118420     58 |  7.439 % |
515.23/515.29	c |    798465 |   24187   140212   476452 |   124180   118933     58 |  7.439 % |
515.73/515.74	c |    799489 |   24187   140212   476452 |   124180   119957     58 |  7.439 % |
516.13/516.19	c |    801537 |   24187   140212   476452 | 2147483647   122005     57 |  7.439 % |
516.23/516.29	c |    802049 |   24187   140212   476452 | 2147483647   122517     57 |  7.439 % |
516.33/516.39	c |    802564 |   24187   140212   476452 | 2147483647   123032     56 |  7.439 % |
516.83/516.85	c |    803588 |   24187   140212   476452 | 2147483647   124056     56 |  7.439 % |
516.93/516.99	c |    804101 |   24187   140212   476452 | 2147483647   124569     56 |  7.439 % |
517.03/517.04	c |    804614 |   24187   140212   476452 | 2147483647   125082     56 |  7.439 % |
517.43/517.49	c |    805638 |   24187   140212   476452 | 2147483647   126106     56 |  7.439 % |
517.93/517.96	c |    807689 |   24187   140212   476452 | 2147483647   128157     55 |  7.439 % |
518.83/518.84	c |    811787 |   24187   140212   476452 | 2147483647   132255     54 |  7.439 % |
519.03/519.01	c |    812299 |   24187   140212   476452 | 2147483647   132767     53 |  7.439 % |
519.13/519.15	c |    812811 |   24187   140212   476452 | 2147483647   133279     53 |  7.439 % |
519.23/519.28	c |    813836 |   24187   140212   476452 | 2147483647   134304     53 |  7.439 % |
519.33/519.39	c |    814348 |   24187   140212   476452 | 2147483647   134816     53 |  7.439 % |
519.43/519.50	c |    814860 |   24187   140212   476452 | 2147483647   135328     53 |  7.439 % |
519.73/519.72	c |    815885 |   24187   140212   476452 | 2147483647   136353     52 |  7.439 % |
520.23/520.27	c |    817935 |   24187   140212   476452 | 2147483647   138403     52 |  7.439 % |
520.43/520.48	c |    818447 |   24185   140196   476396 | 2147483647   138640     52 |  7.447 % |
520.73/520.79	c |    818959 |   24185   140196   476396 | 2147483647   139152     52 |  7.447 % |
521.23/521.26	c |    819983 |   24185   140196   476396 | 2147483647   140176     51 |  7.447 % |
521.53/521.52	c |    820495 |   24185   140196   476396 | 2147483647   140688     51 |  7.447 % |
521.73/521.77	c |    821007 |   24185   140196   476396 | 2147483647   141200     51 |  7.447 % |
522.13/522.15	c |    822031 |   24185   140196   476396 | 2147483647   142224     51 |  7.447 % |
523.13/523.14	c |    824079 |   24185   140196   476396 | 2147483647   144272     51 |  7.447 % |
525.43/525.50	c |    828176 |   24184   140196   476396 | 2147483647   148368     51 |  7.451 % |
529.83/529.87	c |    836369 |   24184   140196   476396 | 2147483647   156561     50 |  7.451 % |
554.33/554.37	c |    852756 |   24184   140196   476396 |   139809   142565     43 |  7.451 % |
555.03/555.06	c |    853268 |   24184   140189   476371 |   139809   122305     37 |  7.451 % |
555.23/555.25	c |    853780 |   24184   140189   476371 |   139809   122817     37 |  7.451 % |
555.63/555.65	c |    854806 |   24184   140189   476371 |   139809   123843     37 |  7.451 % |
555.83/555.90	c |    855319 |   24184   140189   476371 |   139809   124356     37 |  7.451 % |
556.13/556.11	c |    855831 |   24184   140189   476371 |   139809   124868     37 |  7.451 % |
557.33/557.31	c |    856855 |   24184   140189   476371 |   139809   125892     38 |  7.451 % |
559.63/559.64	c |    858903 |   24184   140189   476371 |   139809   127940     39 |  7.451 % |
559.83/559.83	c |    859415 |   24184   140189   476371 |   139809   128452     39 |  7.451 % |
560.13/560.12	c |    859927 |   24184   140189   476371 |   139809   128964     39 |  7.451 % |
560.43/560.44	c |    860951 |   24184   140189   476371 |   129037   129988     38 |  7.451 % |
560.63/560.66	c |    861464 |   24184   140189   476371 |   129037   130501     38 |  7.451 % |
560.83/560.88	c |    861976 |   24184   140189   476371 |   129037   131013     38 |  7.451 % |
561.83/561.81	c |    863000 |   24184   140189   476371 |   129037   118026     37 |  7.451 % |
568.63/568.65	c |    865049 |   24184   140189   476371 |   129037   120075     42 |  7.451 % |
572.23/572.23	c |    869146 |   24184   140189   476371 |   129037   124172     44 |  7.451 % |
572.43/572.46	c |    869658 |   24184   140189   476371 |   129037   124684     44 |  7.451 % |
572.83/572.86	c |    870170 |   24184   140189   476371 |   125027   125196     44 |  7.451 % |
573.93/574.00	c |    871196 |   24184   140189   476371 |   125027   126222     45 |  7.451 % |
574.43/574.42	c |    871708 |   24184   140189   476371 |   125027   126734     45 |  7.451 % |
574.53/574.58	c |    872220 |   24184   140189   476371 |   125027   127246     45 |  7.451 % |
575.13/575.11	c |    873245 |   24184   140189   476371 |   125027   113426     48 |  7.451 % |
576.03/576.02	c |    875294 |   24184   140189   476371 |   125027   115475     48 |  7.451 % |
576.33/576.40	c |    875807 |   24184   140189   476371 |   125027   115988     48 |  7.451 % |
576.63/576.61	c |    876319 |   24184   140189   476371 |   125027   116500     48 |  7.451 % |
577.03/577.07	c |    877343 |   24184   140189   476371 |   125027   117524     48 |  7.451 % |
577.33/577.40	c |    877857 |   24184   140189   476371 |   125027   118038     48 |  7.451 % |
577.63/577.66	c |    878369 |   24184   140189   476371 |   125027   118550     48 |  7.451 % |
580.33/580.36	c |    879394 |   24184   140189   476371 |   125027   119575     49 |  7.451 % |
581.23/581.24	c |    881442 |   24184   140189   476371 |   120181   121623     49 |  7.451 % |
586.13/586.11	c |    885538 |   24184   140189   476371 |   120181   113400     52 |  7.451 % |
591.84/591.82	c |    893730 |   24184   140189   476371 | 2147483647   121592     53 |  7.451 % |
592.54/592.52	c |    894242 |   24184   140189   476371 | 2147483647   122104     53 |  7.451 % |
593.34/593.39	c |    894754 |   24184   140189   476371 | 2147483647   122616     54 |  7.451 % |
594.24/594.26	c |    895778 |   24184   140189   476371 | 2147483647   123640     54 |  7.451 % |
594.94/595.00	c |    896291 |   24184   140189   476371 | 2147483647   124153     54 |  7.451 % |
595.24/595.23	c |    896803 |   24184   140189   476371 | 2147483647   124665     54 |  7.451 % |
596.94/596.98	c |    897828 |   24184   140189   476371 | 2147483647   125690     55 |  7.451 % |
597.94/597.97	c |    899876 |   24184   140189   476371 | 2147483647   127738     55 |  7.451 % |
598.34/598.41	c |    900388 |   24184   140189   476371 |   127862   128250     55 |  7.451 % |
598.64/598.67	c |    900900 |   24184   140189   476371 |   127862   128762     55 |  7.451 % |
599.24/599.31	c |    901925 |   24184   140189   476371 |   127862   129787     55 |  7.451 % |
599.54/599.57	c |    902437 |   24184   140189   476371 |   127862   130299     54 |  7.451 % |
599.94/599.95	c |    902949 |   24184   140189   476371 |   127862   116435     40 |  7.451 % |
601.64/601.64	c |    903973 |   24184   140189   476371 |   127862   117459     42 |  7.451 % |
602.64/602.69	c |    906021 |   24184   140189   476371 |   127862   119507     42 |  7.451 % |
605.24/605.22	c |    910119 |   24184   140189   476371 |   123486   123605     42 |  7.451 % |
605.64/605.71	c |    910631 |   24184   140189   476371 |   123486   124117     42 |  7.451 % |
605.94/605.96	c |    911143 |   24184   140189   476371 |   123486   124629     42 |  7.451 % |
606.34/606.38	c |    912167 |   24184   140189   476371 |   123486   125653     42 |  7.451 % |
606.64/606.70	c |    912681 |   24184   140189   476371 |   123486   113094     37 |  7.451 % |
606.94/606.97	c |    913193 |   24184   140189   476371 |   123486   113606     37 |  7.451 % |
607.54/607.57	c |    914219 |   24178   140162   476295 |   123486   114628     37 |  7.474 % |
609.74/609.75	c |    916267 |   24178   140162   476295 |   123486   116676     39 |  7.474 % |
609.94/610.01	c |    916779 |   24178   140162   476295 |   123486   117188     39 |  7.474 % |
610.34/610.39	c |    917291 |   24178   140162   476295 |   123486   117700     39 |  7.474 % |
610.94/610.96	c |    918315 |   24178   140162   476295 |   123486   118724     39 |  7.474 % |
611.44/611.42	c |    918827 |   24178   140162   476295 |   123486   119236     39 |  7.474 % |
611.64/611.65	c |    919339 |   24178   140162   476295 |   123486   119748     39 |  7.474 % |
612.14/612.21	c |    920365 |   24178   140162   476295 | 2147483647   120774     39 |  7.474 % |
614.24/614.31	c |    922415 |   24178   140162   476295 | 2147483647   122824     40 |  7.474 % |
618.04/618.08	c |    926511 |   24178   140162   476295 | 2147483647   126920     42 |  7.474 % |
638.24/638.21	c |    934703 |   24178   140162   476295 |   130409   135112     57 |  7.474 % |
656.34/656.38	c |    951089 |   24178   140162   476295 |   110449   111537     59 |  7.474 % |
723.05/723.03	c |    983859 |   24178   140162   476295 |   113903   117761    105 |  7.474 % |
766.75/766.81	c |   1049395 |   24178   140162   476295 |   145305   126056     57 |  7.474 % |
1001.66/1001.66	c |   1180468 |   24173   140137   476224 | 2147483647   101169     89 |  7.493 % |
1001.86/1001.85	c |   1180980 |   24173   140137   476224 | 2147483647   101681     88 |  7.493 % |
1002.36/1002.34	c |   1181492 |   24173   140137   476224 | 2147483647   102193     88 |  7.493 % |
1002.76/1002.73	c |   1182516 |   24173   140137   476224 | 2147483647   103217     88 |  7.493 % |
1003.26/1003.30	c |   1183028 |   24173   140137   476224 | 2147483647   103729     88 |  7.493 % |
1003.56/1003.56	c |   1183541 |   24173   140137   476224 | 2147483647   104242     87 |  7.493 % |
1004.06/1004.04	c |   1184565 |   24172   140129   476194 | 2147483647   105263     87 |  7.497 % |
1005.06/1005.10	c |   1186613 |   24172   140129   476194 | 2147483647   107311     86 |  7.497 % |
1005.36/1005.33	c |   1187125 |   24172   140129   476194 | 2147483647   107823     85 |  7.497 % |
1005.56/1005.53	c |   1187638 |   24172   140129   476194 | 2147483647   108336     85 |  7.497 % |
1006.26/1006.29	c |   1188663 |   24172   140129   476194 | 2147483647   109361     85 |  7.497 % |
1006.46/1006.50	c |   1189176 |   24172   140129   476194 | 2147483647   109874     84 |  7.497 % |
1006.86/1006.83	c |   1189692 |   24172   140129   476194 | 2147483647   110390     84 |  7.497 % |
1007.26/1007.30	c |   1190716 |   24172   140129   476194 | 2147483647   111414     84 |  7.497 % |
1007.96/1007.92	c |   1192766 |   24172   140129   476194 | 2147483647   113464     82 |  7.497 % |
1009.46/1009.48	c |   1196862 |   24172   140129   476194 | 2147483647   117560     80 |  7.497 % |
1009.66/1009.67	c |   1197374 |   24172   140129   476194 | 2147483647   118072     80 |  7.497 % |
1010.46/1010.47	c |   1197886 |   24172   140129   476194 | 2147483647   118584     80 |  7.497 % |
1010.86/1010.87	c |   1198912 |   24172   140129   476194 | 2147483647   119610     80 |  7.497 % |
1011.06/1011.04	c |   1199425 |   24172   140129   476194 | 2147483647   120123     79 |  7.497 % |
1011.16/1011.19	c |   1199937 |   24172   140129   476194 | 2147483647   120635     79 |  7.497 % |
1011.66/1011.63	c |   1200961 |   24172   140129   476194 | 2147483647   121659     79 |  7.497 % |
1012.46/1012.50	c |   1203011 |   24172   140129   476194 | 2147483647   123709     78 |  7.497 % |
1014.36/1014.32	c |   1203524 |   24172   140129   476194 | 2147483647   124222     79 |  7.497 % |
1014.36/1014.41	c |   1204036 |   24172   140129   476194 | 2147483647   124734     78 |  7.497 % |
1014.86/1014.86	c |   1205060 |   24172   140129   476194 | 2147483647   125758     78 |  7.497 % |
1015.76/1015.72	c |   1205572 |   24172   140129   476194 | 2147483647   126270     78 |  7.497 % |
1015.86/1015.84	c |   1206085 |   24172   140129   476194 | 2147483647   126783     78 |  7.497 % |
1016.26/1016.29	c |   1207109 |   24172   140129   476194 | 2147483647   127807     77 |  7.497 % |
1020.16/1020.19	c |   1209158 |   24172   140129   476194 | 2147483647   129856     80 |  7.497 % |
1022.16/1022.12	c |   1213254 |   24172   140129   476194 |   130699   119587     57 |  7.497 % |
1026.06/1026.03	c |   1221446 |   24172   140129   476194 |   126333   127779     57 |  7.497 % |
1026.36/1026.31	c |   1221959 |   24172   140129   476194 |   126333   128292     57 |  7.497 % |
1026.66/1026.65	c |   1222471 |   24172   140129   476194 |   126333   115604     38 |  7.497 % |
1027.66/1027.67	c |   1223497 |   24172   140129   476194 |   126333   116630     38 |  7.497 % |
1028.06/1028.01	c |   1224011 |   24172   140129   476194 |   126333   117144     38 |  7.497 % |
1028.96/1028.95	c |   1224523 |   24172   140129   476194 |   126333   117656     39 |  7.497 % |
1029.36/1029.35	c |   1225548 |   24172   140129   476194 |   126333   118681     39 |  7.497 % |
1030.66/1030.61	c |   1227596 |   24172   140129   476194 |   126333   120729     39 |  7.497 % |
1030.76/1030.79	c |   1228109 |   24172   140129   476194 |   126333   121242     39 |  7.497 % |
1030.86/1030.91	c |   1228625 |   24172   140129   476194 |   126333   121758     39 |  7.497 % |
1031.56/1031.57	c |   1229649 |   24172   140129   476194 |   126333   122782     39 |  7.497 % |
1031.86/1031.85	c |   1230161 |   24172   140129   476194 | 2147483647   123294     39 |  7.497 % |
1032.16/1032.17	c |   1230673 |   24171   140122   476170 | 2147483647   123805     39 |  7.501 % |
1032.66/1032.67	c |   1231697 |   24170   140122   476170 | 2147483647   124828     38 |  7.504 % |
1037.46/1037.45	c |   1233746 |   24170   140122   476170 | 2147483647   126877     41 |  7.504 % |
1042.06/1042.01	c |   1237842 |   24170   140122   476170 | 2147483647   130973     43 |  7.504 % |
1042.36/1042.39	c |   1238355 |   24170   140115   476145 | 2147483647   131485     43 |  7.504 % |
1042.66/1042.69	c |   1238867 |   24170   140115   476145 | 2147483647   131997     43 |  7.504 % |
1043.56/1043.57	c |   1239891 |   24170   140115   476145 | 2147483647   133021     43 |  7.504 % |
1043.86/1043.89	c |   1240403 |   24170   140115   476145 |   133131   133533     43 |  7.504 % |
1044.06/1044.08	c |   1240915 |   24170   140115   476145 |   133131   134045     43 |  7.504 % |
1047.27/1047.25	c |   1241939 |   24170   140115   476145 |   133131   135069     45 |  7.504 % |
1048.16/1048.16	c |   1243987 |   24170   140115   476145 |   133131   119104     38 |  7.504 % |
1048.37/1048.41	c |   1244501 |   24170   140115   476145 |   133131   119618     38 |  7.504 % |
1048.66/1048.62	c |   1245014 |   24170   140115   476145 |   133131   120131     38 |  7.504 % |
1049.56/1049.53	c |   1246040 |   24170   140115   476145 |   133131   121157     38 |  7.504 % |
1050.16/1050.12	c |   1246553 |   24170   140115   476145 |   133131   121670     39 |  7.504 % |
1050.36/1050.40	c |   1247068 |   24170   140115   476145 |   133131   122185     39 |  7.504 % |
1050.86/1050.88	c |   1248092 |   24170   140115   476145 |   133131   123209     38 |  7.504 % |
1052.06/1052.01	c |   1250140 |   24169   140115   476145 |   125116   125256     38 |  7.508 % |
1054.26/1054.25	c |   1254238 |   24169   140107   476115 |   125116   116275     36 |  7.508 % |
1068.36/1068.36	c |   1262430 |   24169   140107   476115 |   122037   124467     47 |  7.508 % |
1078.76/1078.72	c |   1278815 |   24169   140107   476115 |   116901   113629     45 |  7.508 % |
1078.96/1078.94	c |   1279327 |   24169   140107   476115 |   116901   114141     45 |  7.508 % |
1079.17/1079.19	c |   1279839 |   24169   140107   476115 |   116901   114653     44 |  7.508 % |
1079.66/1079.62	c |   1280864 |   24169   140107   476115 | 2147483647   115678     44 |  7.508 % |
1080.16/1080.19	c |   1281378 |   24169   140107   476115 | 2147483647   116192     45 |  7.508 % |
1080.36/1080.39	c |   1281890 |   24169   140107   476115 | 2147483647   116704     44 |  7.508 % |
1081.76/1081.75	c |   1282914 |   24169   140107   476115 | 2147483647   117728     45 |  7.508 % |
1082.56/1082.57	c |   1284962 |   24169   140107   476115 | 2147483647   119776     45 |  7.508 % |
1083.06/1083.10	c |   1285474 |   24169   140107   476115 | 2147483647   120288     45 |  7.508 % |
1083.36/1083.34	c |   1285989 |   24169   140107   476115 | 2147483647   120803     45 |  7.508 % |
1084.46/1084.42	c |   1287013 |   24169   140107   476115 | 2147483647   121827     46 |  7.508 % |
1084.76/1084.72	c |   1287525 |   24169   140107   476115 | 2147483647   122339     45 |  7.508 % |
1084.96/1084.95	c |   1288038 |   24169   140107   476115 | 2147483647   122852     45 |  7.508 % |
1086.16/1086.15	c |   1289062 |   24169   140107   476115 | 2147483647   123876     46 |  7.508 % |
1087.16/1087.14	c |   1291110 |   24169   140107   476115 | 2147483647   125924     46 |  7.508 % |
1093.76/1093.80	c |   1295207 |   24169   140107   476115 | 2147483647   130021     50 |  7.508 % |
1094.16/1094.20	c |   1295719 |   24169   140107   476115 | 2147483647   130533     50 |  7.508 % |
1094.57/1094.59	c |   1296234 |   24169   140107   476115 | 2147483647   131048     50 |  7.508 % |
1095.46/1095.44	c |   1297259 |   24169   140107   476115 | 2147483647   132073     50 |  7.508 % |
1096.96/1096.95	c |   1297771 |   24169   140107   476115 | 2147483647   132585     50 |  7.508 % |
1097.26/1097.22	c |   1298283 |   24169   140107   476115 | 2147483647   133097     50 |  7.508 % |
1097.76/1097.76	c |   1299307 |   24169   140107   476115 | 2147483647   134121     50 |  7.508 % |
1100.37/1100.40	c |   1301355 |   24169   140107   476115 |   134814   136169     51 |  7.508 % |
1100.77/1100.72	c |   1301868 |   24169   140107   476115 |   134814   136682     51 |  7.508 % |
1101.37/1101.36	c |   1302381 |   24169   140107   476115 |   134814   137195     51 |  7.508 % |
1101.97/1101.99	c |   1303407 |   24169   140107   476115 |   134814   119822     44 |  7.508 % |
1102.17/1102.20	c |   1303919 |   24169   140107   476115 |   134814   120334     44 |  7.508 % |
1102.67/1102.70	c |   1304433 |   24169   140107   476115 |   134814   120848     44 |  7.508 % |
1103.37/1103.40	c |   1305458 |   24169   140107   476115 |   134814   121873     44 |  7.508 % |
1104.37/1104.40	c |   1307507 |   24169   140107   476115 |   134814   123922     44 |  7.508 % |
1111.97/1111.93	c |   1311603 |   24169   140107   476115 |   126415   128018     51 |  7.508 % |
1115.77/1115.80	c |   1319797 |   24169   140107   476115 |   126415   120120     40 |  7.508 % |
1116.27/1116.28	c |   1320310 |   24169   140107   476115 |   120323   120633     40 |  7.508 % |
1116.57/1116.55	c |   1320822 |   24169   140107   476115 |   120323   121145     40 |  7.508 % |
1117.07/1117.05	c |   1321848 |   24169   140107   476115 |   120323   122171     40 |  7.508 % |
1117.27/1117.22	c |   1322360 |   24169   140107   476115 |   120323   122683     40 |  7.508 % |
1117.47/1117.45	c |   1322874 |   24169   140107   476115 |   120323   110929     38 |  7.508 % |
1117.67/1117.62	c |   1323898 |   24169   140107   476115 |   120323   111953     38 |  7.508 % |
1118.17/1118.20	c |   1325946 |   24169   140107   476115 |   120323   114001     37 |  7.508 % |
1118.87/1118.82	c |   1326458 |   24169   140107   476115 |   120323   114513     37 |  7.508 % |
1119.07/1119.08	c |   1326972 |   24169   140107   476115 |   120323   115027     37 |  7.508 % |
1120.77/1120.74	c |   1327996 |   24169   140107   476115 |   120323   116051     39 |  7.508 % |
1121.07/1121.01	c |   1328509 |   24169   140107   476115 |   120323   116564     39 |  7.508 % |
1123.37/1123.35	c |   1329023 |   24169   140107   476115 |   120323   117078     40 |  7.508 % |
1123.87/1123.90	c |   1330048 |   24169   140107   476115 | 2147483647   118103     40 |  7.508 % |
1124.87/1124.82	c |   1332096 |   24169   140107   476115 | 2147483647   120151     40 |  7.508 % |
1131.67/1131.62	c |   1336194 |   24169   140107   476115 | 2147483647   124249     47 |  7.508 % |
1131.87/1131.89	c |   1336707 |   24169   140107   476115 | 2147483647   124762     47 |  7.508 % |
1132.07/1132.09	c |   1337219 |   24169   140107   476115 | 2147483647   125274     46 |  7.508 % |
1132.87/1132.89	c |   1338244 |   24169   140107   476115 | 2147483647   126299     47 |  7.508 % |
1133.77/1133.79	c |   1338757 |   24169   140107   476115 | 2147483647   126812     47 |  7.508 % |
1134.07/1134.02	c |   1339269 |   24169   140107   476115 | 2147483647   127324     47 |  7.508 % |
1135.37/1135.36	c |   1340294 |   24169   140107   476115 |   128056   128349     48 |  7.508 % |
1136.37/1136.32	c |   1342344 |   24169   140107   476115 |   128056   130399     47 |  7.508 % |
1136.67/1136.71	c |   1342857 |   24169   140107   476115 |   128056   116184     45 |  7.508 % |
1136.97/1136.93	c |   1343369 |   24169   140107   476115 |   128056   116696     45 |  7.508 % |
1137.67/1137.66	c |   1344393 |   24169   140107   476115 |   128056   117720     45 |  7.508 % |
1137.97/1137.93	c |   1344905 |   24169   140107   476115 |   128056   118232     45 |  7.508 % |
1139.07/1139.07	c |   1345418 |   24169   140107   476115 |   128056   118745     46 |  7.508 % |
1139.47/1139.49	c |   1346442 |   24169   140107   476115 |   128056   119769     46 |  7.508 % |
1143.37/1143.33	c |   1348492 |   24169   140107   476115 |   128056   121819     48 |  7.508 % |
1145.47/1145.49	c |   1352588 |   24169   140107   476115 |   123327   125915     47 |  7.508 % |
1179.57/1179.59	c |   1360781 |   24169   140107   476115 |   120200   120979     65 |  7.508 % |
1188.08/1188.08	c |   1377165 |   24169   140107   476115 |   114152   108014     65 |  7.508 % |
1200.07/1200.02	HOME/SatELiteGTI: line 36:  9772 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-1820711-1242471110/watcher-1820711-1242471110 -o /tmp/evaluation-result-1820711-1242471110/solver-1820711-1242471110 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820711-1242471110.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.91 0.98 0.99 3/96 9766
/proc/meminfo: memFree=1307852/2074464 swapFree=1950760/1959888
[pid=9766] ppid=9764 vsize=2412 CPUtime=0
/proc/9766/stat : 9766 (SatELiteGTI) S 9764 9766 11066 0 -1 4194304 368 645 0 0 0 0 0 0 19 0 1 0 1011609299 2469888 277 4294967295 134512640 135169312 3213130640 3213129176 3085749998 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/9766/statm: 603 277 235 161 0 42 0
[pid=9770] ppid=9766 vsize=956 CPUtime=0
/proc/9770/stat : 9770 (SatELite_releas) R 9766 9766 11066 0 -1 4202496 130 0 0 0 0 0 0 0 21 0 1 0 1011609299 978944 66 4294967295 134512640 135223648 3219831280 3219829876 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/9770/statm: 239 73 47 174 0 64 0

[startup+0.070039 s]
/proc/loadavg: 0.91 0.98 0.99 3/96 9766
/proc/meminfo: memFree=1307852/2074464 swapFree=1950760/1959888
[pid=9766] ppid=9764 vsize=2412 CPUtime=0
/proc/9766/stat : 9766 (SatELiteGTI) S 9764 9766 11066 0 -1 4194304 368 645 0 0 0 0 0 0 19 0 1 0 1011609299 2469888 277 4294967295 134512640 135169312 3213130640 3213129176 3085749998 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/9766/statm: 603 277 235 161 0 42 0
[pid=9770] ppid=9766 vsize=9120 CPUtime=0.07
/proc/9770/stat : 9770 (SatELite_releas) R 9766 9766 11066 0 -1 4202496 1952 0 0 0 6 1 0 0 21 0 1 0 1011609299 9338880 1888 4294967295 134512640 135223648 3219831280 3219829864 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/9770/statm: 2280 1888 47 174 0 2105 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11532

[startup+0.120022 s]
/proc/loadavg: 0.91 0.98 0.99 3/96 9766
/proc/meminfo: memFree=1307852/2074464 swapFree=1950760/1959888
[pid=9766] ppid=9764 vsize=2412 CPUtime=0
/proc/9766/stat : 9766 (SatELiteGTI) S 9764 9766 11066 0 -1 4194304 368 645 0 0 0 0 0 0 19 0 1 0 1011609299 2469888 277 4294967295 134512640 135169312 3213130640 3213129176 3085749998 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/9766/statm: 603 277 235 161 0 42 0
[pid=9770] ppid=9766 vsize=16004 CPUtime=0.12
/proc/9770/stat : 9770 (SatELite_releas) R 9766 9766 11066 0 -1 4202496 3360 0 0 0 11 1 0 0 22 0 1 0 1011609299 16388096 3296 4294967295 134512640 135223648 3219831280 3219830232 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/9770/statm: 4001 3297 47 174 0 3826 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 18416

[startup+0.320012 s]
/proc/loadavg: 0.91 0.98 0.99 3/96 9766
/proc/meminfo: memFree=1307852/2074464 swapFree=1950760/1959888
[pid=9766] ppid=9764 vsize=2412 CPUtime=0
/proc/9766/stat : 9766 (SatELiteGTI) S 9764 9766 11066 0 -1 4194304 368 645 0 0 0 0 0 0 19 0 1 0 1011609299 2469888 277 4294967295 134512640 135169312 3213130640 3213129176 3085749998 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/9766/statm: 603 277 235 161 0 42 0
[pid=9770] ppid=9766 vsize=36284 CPUtime=0.32
/proc/9770/stat : 9770 (SatELite_releas) R 9766 9766 11066 0 -1 4202496 8077 0 0 0 28 4 0 0 22 0 1 0 1011609299 37154816 7366 4294967295 134512640 135223648 3219831280 3219829296 134587016 0 0 0 3 0 0 0 17 2 0 0 0
/proc/9770/statm: 9071 7366 73 174 0 8896 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 38696

[startup+0.719988 s]
/proc/loadavg: 0.91 0.98 0.99 3/96 9766
/proc/meminfo: memFree=1307852/2074464 swapFree=1950760/1959888
[pid=9766] ppid=9764 vsize=2412 CPUtime=0
/proc/9766/stat : 9766 (SatELiteGTI) S 9764 9766 11066 0 -1 4194304 368 645 0 0 0 0 0 0 19 0 1 0 1011609299 2469888 277 4294967295 134512640 135169312 3213130640 3213129176 3085749998 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/9766/statm: 603 277 235 161 0 42 0
[pid=9770] ppid=9766 vsize=43908 CPUtime=0.72
/proc/9770/stat : 9770 (SatELite_releas) R 9766 9766 11066 0 -1 4202496 9835 0 0 0 67 5 0 0 25 0 1 0 1011609299 44961792 9006 4294967295 134512640 135223648 3219831280 3219829632 134602396 0 0 0 3 0 0 0 17 2 0 0 0
/proc/9770/statm: 10977 9006 73 174 0 10802 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 46320

[startup+1.51995 s]
/proc/loadavg: 0.91 0.98 0.99 2/98 9771
/proc/meminfo: memFree=1271232/2074464 swapFree=1950760/1959888
[pid=9766] ppid=9764 vsize=2416 CPUtime=1.26
/proc/9766/stat : 9766 (SatELiteGTI) S 9764 9766 11066 0 -1 4194304 387 11310 0 0 0 0 119 7 20 0 1 0 1011609299 2473984 278 4294967295 134512640 135169312 3213130640 3213126856 3085749998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/9766/statm: 604 278 235 161 0 43 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 2416

[startup+3.11986 s]
/proc/loadavg: 0.91 0.98 0.99 2/98 9774
/proc/meminfo: memFree=1291072/2074464 swapFree=1950760/1959888
[pid=9766] ppid=9764 vsize=2416 CPUtime=1.26
/proc/9766/stat : 9766 (SatELiteGTI) S 9764 9766 11066 0 -1 4194304 387 11310 0 0 0 0 119 7 20 0 1 0 1011609299 2473984 278 4294967295 134512640 135169312 3213130640 3213126856 3085749998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/9766/statm: 604 278 235 161 0 43 0
[pid=9772] ppid=9766 vsize=12380 CPUtime=1.85
/proc/9772/stat : 9772 (minisat_static) R 9766 9766 11066 0 -1 4202496 2963 0 0 0 182 3 0 0 20 0 1 0 1011609426 12677120 2898 4294967295 134512640 135216591 3215095232 3215093424 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/9772/statm: 3095 2898 75 172 0 2922 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 14796

[startup+6.31968 s]
/proc/loadavg: 0.92 0.98 0.99 2/98 9775
/proc/meminfo: memFree=1287972/2074464 swapFree=1950760/1959888
[pid=9766] ppid=9764 vsize=2416 CPUtime=1.26
/proc/9766/stat : 9766 (SatELiteGTI) S 9764 9766 11066 0 -1 4194304 387 11310 0 0 0 0 119 7 20 0 1 0 1011609299 2473984 278 4294967295 134512640 135169312 3213130640 3213126856 3085749998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/9766/statm: 604 278 235 161 0 43 0
[pid=9772] ppid=9766 vsize=15132 CPUtime=5.05
/proc/9772/stat : 9772 (minisat_static) R 9766 9766 11066 0 -1 4202496 3629 0 0 0 502 3 0 0 25 0 1 0 1011609426 15495168 3564 4294967295 134512640 135216591 3215095232 3215093424 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/9772/statm: 3783 3564 75 172 0 3610 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 17548

[startup+12.7193 s]
/proc/loadavg: 0.93 0.98 0.99 3/98 9775
/proc/meminfo: memFree=1282952/2074464 swapFree=1950760/1959888
[pid=9766] ppid=9764 vsize=2416 CPUtime=1.26
/proc/9766/stat : 9766 (SatELiteGTI) S 9764 9766 11066 0 -1 4194304 387 11310 0 0 0 0 119 7 20 0 1 0 1011609299 2473984 278 4294967295 134512640 135169312 3213130640 3213126856 3085749998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/9766/statm: 604 278 235 161 0 43 0
[pid=9772] ppid=9766 vsize=19392 CPUtime=11.45
/proc/9772/stat : 9772 (minisat_static) R 9766 9766 11066 0 -1 4202496 4689 0 0 0 1142 3 0 0 25 0 1 0 1011609426 19857408 4624 4294967295 134512640 135216591 3215095232 3215093232 134546232 0 0 0 3 0 0 0 17 3 0 0 0
/proc/9772/statm: 4848 4624 75 172 0 4675 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 21808

[startup+25.5186 s]
/proc/loadavg: 0.94 0.98 0.99 3/98 9958
/proc/meminfo: memFree=1282140/2074464 swapFree=1950760/1959888
[pid=9766] ppid=9764 vsize=2416 CPUtime=1.26
/proc/9766/stat : 9766 (SatELiteGTI) S 9764 9766 11066 0 -1 4194304 387 11310 0 0 0 0 119 7 20 0 1 0 1011609299 2473984 278 4294967295 134512640 135169312 3213130640 3213126856 3085749998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/9766/statm: 604 278 235 161 0 43 0
[pid=9772] ppid=9766 vsize=20052 CPUtime=24.25
/proc/9772/stat : 9772 (minisat_static) R 9766 9766 11066 0 -1 4202496 4831 0 0 0 2422 3 0 0 25 0 1 0 1011609426 20533248 4766 4294967295 134512640 135216591 3215095232 3215093424 134529023 0 0 0 3 0 0 0 17 3 0 0 0
/proc/9772/statm: 5013 4766 75 172 0 4840 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 22468

[startup+51.1172 s]
/proc/loadavg: 0.96 0.98 0.99 3/98 9958
/proc/meminfo: memFree=1276436/2074464 swapFree=1950760/1959888
[pid=9766] ppid=9764 vsize=2416 CPUtime=1.26
/proc/9766/stat : 9766 (SatELiteGTI) S 9764 9766 11066 0 -1 4194304 387 11310 0 0 0 0 119 7 20 0 1 0 1011609299 2473984 278 4294967295 134512640 135169312 3213130640 3213126856 3085749998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/9766/statm: 604 278 235 161 0 43 0
[pid=9772] ppid=9766 vsize=26044 CPUtime=49.85
/proc/9772/stat : 9772 (minisat_static) R 9766 9766 11066 0 -1 4202496 6369 0 0 0 4981 4 0 0 25 0 1 0 1011609426 26669056 6304 4294967295 134512640 135216591 3215095232 3215093424 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/9772/statm: 6511 6304 75 172 0 6338 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 28460

[startup+102.324 s]
/proc/loadavg: 0.98 0.98 0.99 2/98 10147
/proc/meminfo: memFree=1261236/2074464 swapFree=1950760/1959888
[pid=9766] ppid=9764 vsize=2416 CPUtime=1.26
/proc/9766/stat : 9766 (SatELiteGTI) S 9764 9766 11066 0 -1 4194304 387 11310 0 0 0 0 119 7 20 0 1 0 1011609299 2473984 278 4294967295 134512640 135169312 3213130640 3213126856 3085749998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/9766/statm: 604 278 235 161 0 43 0
[pid=9772] ppid=9766 vsize=40964 CPUtime=101.06
/proc/9772/stat : 9772 (minisat_static) R 9766 9766 11066 0 -1 4202496 10060 0 0 0 10100 6 0 0 25 0 1 0 1011609426 41947136 9995 4294967295 134512640 135216591 3215095232 3215093136 134532866 0 0 0 3 0 0 0 17 3 0 0 0
/proc/9772/statm: 10241 9995 75 172 0 10068 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 43380

[startup+162.311 s]
/proc/loadavg: 1.09 1.02 1.00 3/98 10336
/proc/meminfo: memFree=1249712/2074464 swapFree=1950760/1959888
[pid=9766] ppid=9764 vsize=2416 CPUtime=1.26
/proc/9766/stat : 9766 (SatELiteGTI) S 9764 9766 11066 0 -1 4194304 387 11310 0 0 0 0 119 7 20 0 1 0 1011609299 2473984 278 4294967295 134512640 135169312 3213130640 3213126856 3085749998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/9766/statm: 604 278 235 161 0 43 0
[pid=9772] ppid=9766 vsize=52584 CPUtime=161.05
/proc/9772/stat : 9772 (minisat_static) R 9766 9766 11066 0 -1 4202496 12960 0 0 0 16098 7 0 0 25 0 1 0 1011609426 53846016 12895 4294967295 134512640 135216591 3215095232 3215093136 134533124 0 0 0 3 0 0 0 17 3 0 0 0
/proc/9772/statm: 13146 12895 75 172 0 12973 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 55000

[startup+222.318 s]
/proc/loadavg: 1.03 1.01 1.00 3/98 10523
/proc/meminfo: memFree=1232096/2074464 swapFree=1950760/1959888
[pid=9766] ppid=9764 vsize=2416 CPUtime=1.26
/proc/9766/stat : 9766 (SatELiteGTI) S 9764 9766 11066 0 -1 4194304 387 11310 0 0 0 0 119 7 20 0 1 0 1011609299 2473984 278 4294967295 134512640 135169312 3213130640 3213126856 3085749998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/9766/statm: 604 278 235 161 0 43 0
[pid=9772] ppid=9766 vsize=70288 CPUtime=221.06
/proc/9772/stat : 9772 (minisat_static) R 9766 9766 11066 0 -1 4202496 17385 0 0 0 22092 14 0 0 25 0 1 0 1011609426 71974912 17320 4294967295 134512640 135216591 3215095232 3215093232 134527556 0 0 0 3 0 0 0 17 3 0 0 0
/proc/9772/statm: 17572 17320 75 172 0 17399 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 72704

[startup+282.314 s]
/proc/loadavg: 1.23 1.06 1.02 4/98 10708
/proc/meminfo: memFree=1228656/2074464 swapFree=1950760/1959888
[pid=9766] ppid=9764 vsize=2416 CPUtime=1.26
/proc/9766/stat : 9766 (SatELiteGTI) S 9764 9766 11066 0 -1 4194304 387 11310 0 0 0 0 119 7 20 0 1 0 1011609299 2473984 278 4294967295 134512640 135169312 3213130640 3213126856 3085749998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/9766/statm: 604 278 235 161 0 43 0
[pid=9772] ppid=9766 vsize=73720 CPUtime=281.06
/proc/9772/stat : 9772 (minisat_static) R 9766 9766 11066 0 -1 4202496 18246 0 0 0 28092 14 0 0 25 0 1 0 1011609426 75489280 18181 4294967295 134512640 135216591 3215095232 3215093232 134527678 0 0 0 3 0 0 0 17 3 0 0 0
/proc/9772/statm: 18430 18181 75 172 0 18257 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 76136

[startup+342.321 s]
/proc/loadavg: 1.23 1.08 1.02 3/98 10897
/proc/meminfo: memFree=1228764/2074464 swapFree=1950760/1959888
[pid=9766] ppid=9764 vsize=2416 CPUtime=1.26
/proc/9766/stat : 9766 (SatELiteGTI) S 9764 9766 11066 0 -1 4194304 387 11310 0 0 0 0 119 7 20 0 1 0 1011609299 2473984 278 4294967295 134512640 135169312 3213130640 3213126856 3085749998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/9766/statm: 604 278 235 161 0 43 0
[pid=9772] ppid=9766 vsize=73720 CPUtime=341.07
/proc/9772/stat : 9772 (minisat_static) R 9766 9766 11066 0 -1 4202496 18246 0 0 0 34093 14 0 0 25 0 1 0 1011609426 75489280 18181 4294967295 134512640 135216591 3215095232 3215093200 134538249 0 0 0 3 0 0 0 17 3 0 0 0
/proc/9772/statm: 18430 18181 75 172 0 18257 0
Current children cumulated CPU time (s) 342.33
Current children cumulated vsize (KiB) 76136

[startup+402.318 s]

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

[pid=9772] ppid=9766 vsize=73720 CPUtime=461.07
/proc/9772/stat : 9772 (minisat_static) R 9766 9766 11066 0 -1 4202496 18246 0 0 0 46084 23 0 0 25 0 1 0 1011609426 75489280 18181 4294967295 134512640 135216591 3215095232 3215093424 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/9772/statm: 18430 18181 75 172 0 18257 0
Current children cumulated CPU time (s) 462.33
Current children cumulated vsize (KiB) 76136

[startup+522.311 s]
/proc/loadavg: 1.63 1.26 1.09 2/98 11471
/proc/meminfo: memFree=1228772/2074464 swapFree=1950760/1959888
[pid=9766] ppid=9764 vsize=2416 CPUtime=1.26
/proc/9766/stat : 9766 (SatELiteGTI) S 9764 9766 11066 0 -1 4194304 387 11310 0 0 0 0 119 7 20 0 1 0 1011609299 2473984 278 4294967295 134512640 135169312 3213130640 3213126856 3085749998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/9766/statm: 604 278 235 161 0 43 0
[pid=9772] ppid=9766 vsize=73720 CPUtime=521.07
/proc/9772/stat : 9772 (minisat_static) R 9766 9766 11066 0 -1 4202496 18246 0 0 0 52084 23 0 0 25 0 1 0 1011609426 75489280 18181 4294967295 134512640 135216591 3215095232 3215093424 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/9772/statm: 18430 18181 75 172 0 18257 0
Current children cumulated CPU time (s) 522.33
Current children cumulated vsize (KiB) 76136

[startup+582.308 s]
/proc/loadavg: 1.59 1.32 1.12 3/98 11656
/proc/meminfo: memFree=1228632/2074464 swapFree=1950760/1959888
[pid=9766] ppid=9764 vsize=2416 CPUtime=1.26
/proc/9766/stat : 9766 (SatELiteGTI) S 9764 9766 11066 0 -1 4194304 387 11310 0 0 0 0 119 7 20 0 1 0 1011609299 2473984 278 4294967295 134512640 135169312 3213130640 3213126856 3085749998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/9766/statm: 604 278 235 161 0 43 0
[pid=9772] ppid=9766 vsize=73720 CPUtime=581.07
/proc/9772/stat : 9772 (minisat_static) R 9766 9766 11066 0 -1 4202496 18246 0 0 0 58084 23 0 0 25 0 1 0 1011609426 75489280 18181 4294967295 134512640 135216591 3215095232 3215093200 134538481 0 0 0 3 0 0 0 17 3 0 0 0
/proc/9772/statm: 18430 18181 75 172 0 18257 0
Current children cumulated CPU time (s) 582.33
Current children cumulated vsize (KiB) 76136

[startup+642.314 s]
/proc/loadavg: 1.55 1.35 1.14 3/98 11845
/proc/meminfo: memFree=1228748/2074464 swapFree=1950760/1959888
[pid=9766] ppid=9764 vsize=2416 CPUtime=1.26
/proc/9766/stat : 9766 (SatELiteGTI) S 9764 9766 11066 0 -1 4194304 387 11310 0 0 0 0 119 7 20 0 1 0 1011609299 2473984 278 4294967295 134512640 135169312 3213130640 3213126856 3085749998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/9766/statm: 604 278 235 161 0 43 0
[pid=9772] ppid=9766 vsize=73720 CPUtime=641.08
/proc/9772/stat : 9772 (minisat_static) R 9766 9766 11066 0 -1 4202496 18246 0 0 0 64085 23 0 0 25 0 1 0 1011609426 75489280 18181 4294967295 134512640 135216591 3215095232 3215093136 134533112 0 0 0 3 0 0 0 17 3 0 0 0
/proc/9772/statm: 18430 18181 75 172 0 18257 0
Current children cumulated CPU time (s) 642.34
Current children cumulated vsize (KiB) 76136

[startup+702.311 s]
/proc/loadavg: 1.20 1.28 1.12 3/98 12036
/proc/meminfo: memFree=1228640/2074464 swapFree=1950760/1959888
[pid=9766] ppid=9764 vsize=2416 CPUtime=1.26
/proc/9766/stat : 9766 (SatELiteGTI) S 9764 9766 11066 0 -1 4194304 387 11310 0 0 0 0 119 7 20 0 1 0 1011609299 2473984 278 4294967295 134512640 135169312 3213130640 3213126856 3085749998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/9766/statm: 604 278 235 161 0 43 0
[pid=9772] ppid=9766 vsize=73720 CPUtime=701.08
/proc/9772/stat : 9772 (minisat_static) R 9766 9766 11066 0 -1 4202496 18246 0 0 0 70082 26 0 0 25 0 1 0 1011609426 75489280 18181 4294967295 134512640 135216591 3215095232 3215093200 134538032 0 0 0 3 0 0 0 17 3 0 0 0
/proc/9772/statm: 18430 18181 75 172 0 18257 0
Current children cumulated CPU time (s) 702.34
Current children cumulated vsize (KiB) 76136

[startup+762.318 s]
/proc/loadavg: 1.07 1.23 1.11 2/98 12229
/proc/meminfo: memFree=1228516/2074464 swapFree=1950760/1959888
[pid=9766] ppid=9764 vsize=2416 CPUtime=1.26
/proc/9766/stat : 9766 (SatELiteGTI) S 9764 9766 11066 0 -1 4194304 387 11310 0 0 0 0 119 7 20 0 1 0 1011609299 2473984 278 4294967295 134512640 135169312 3213130640 3213126856 3085749998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/9766/statm: 604 278 235 161 0 43 0
[pid=9772] ppid=9766 vsize=73720 CPUtime=761.09
/proc/9772/stat : 9772 (minisat_static) R 9766 9766 11066 0 -1 4202496 18246 0 0 0 76082 27 0 0 25 0 1 0 1011609426 75489280 18181 4294967295 134512640 135216591 3215095232 3215093424 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/9772/statm: 18430 18181 75 172 0 18257 0
Current children cumulated CPU time (s) 762.35
Current children cumulated vsize (KiB) 76136

[startup+822.315 s]
/proc/loadavg: 1.02 1.18 1.10 3/98 12416
/proc/meminfo: memFree=1228384/2074464 swapFree=1950760/1959888
[pid=9766] ppid=9764 vsize=2416 CPUtime=1.26
/proc/9766/stat : 9766 (SatELiteGTI) S 9764 9766 11066 0 -1 4194304 387 11310 0 0 0 0 119 7 20 0 1 0 1011609299 2473984 278 4294967295 134512640 135169312 3213130640 3213126856 3085749998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/9766/statm: 604 278 235 161 0 43 0
[pid=9772] ppid=9766 vsize=73720 CPUtime=821.09
/proc/9772/stat : 9772 (minisat_static) R 9766 9766 11066 0 -1 4202496 18246 0 0 0 82077 32 0 0 25 0 1 0 1011609426 75489280 18181 4294967295 134512640 135216591 3215095232 3215093424 134529251 0 0 0 3 0 0 0 17 3 0 0 0
/proc/9772/statm: 18430 18181 75 172 0 18257 0
Current children cumulated CPU time (s) 822.35
Current children cumulated vsize (KiB) 76136

[startup+882.311 s]
/proc/loadavg: 1.01 1.15 1.09 3/98 12601
/proc/meminfo: memFree=1228376/2074464 swapFree=1950760/1959888
[pid=9766] ppid=9764 vsize=2416 CPUtime=1.26
/proc/9766/stat : 9766 (SatELiteGTI) S 9764 9766 11066 0 -1 4194304 387 11310 0 0 0 0 119 7 20 0 1 0 1011609299 2473984 278 4294967295 134512640 135169312 3213130640 3213126856 3085749998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/9766/statm: 604 278 235 161 0 43 0
[pid=9772] ppid=9766 vsize=73852 CPUtime=881.09
/proc/9772/stat : 9772 (minisat_static) R 9766 9766 11066 0 -1 4202496 18279 0 0 0 88077 32 0 0 25 0 1 0 1011609426 75624448 18214 4294967295 134512640 135216591 3215095232 3215093424 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/9772/statm: 18463 18214 75 172 0 18290 0
Current children cumulated CPU time (s) 882.35
Current children cumulated vsize (KiB) 76268

[startup+942.308 s]
/proc/loadavg: 1.00 1.12 1.08 3/98 12790
/proc/meminfo: memFree=1222448/2074464 swapFree=1950760/1959888
[pid=9766] ppid=9764 vsize=2416 CPUtime=1.26
/proc/9766/stat : 9766 (SatELiteGTI) S 9764 9766 11066 0 -1 4194304 387 11310 0 0 0 0 119 7 20 0 1 0 1011609299 2473984 278 4294967295 134512640 135169312 3213130640 3213126856 3085749998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/9766/statm: 604 278 235 161 0 43 0
[pid=9772] ppid=9766 vsize=79664 CPUtime=941.09
/proc/9772/stat : 9772 (minisat_static) R 9766 9766 11066 0 -1 4202496 19742 0 0 0 94077 32 0 0 25 0 1 0 1011609426 81575936 19677 4294967295 134512640 135216591 3215095232 3215093136 134533075 0 0 0 3 0 0 0 17 3 0 0 0
/proc/9772/statm: 19916 19677 75 172 0 19743 0
Current children cumulated CPU time (s) 942.35
Current children cumulated vsize (KiB) 82080

[startup+1002.31 s]
/proc/loadavg: 1.00 1.09 1.08 2/98 12979
/proc/meminfo: memFree=1222556/2074464 swapFree=1950760/1959888
[pid=9766] ppid=9764 vsize=2416 CPUtime=1.26
/proc/9766/stat : 9766 (SatELiteGTI) S 9764 9766 11066 0 -1 4194304 387 11310 0 0 0 0 119 7 20 0 1 0 1011609299 2473984 278 4294967295 134512640 135169312 3213130640 3213126856 3085749998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/9766/statm: 604 278 235 161 0 43 0
[pid=9772] ppid=9766 vsize=79664 CPUtime=1001.1
/proc/9772/stat : 9772 (minisat_static) R 9766 9766 11066 0 -1 4202496 19742 0 0 0 100078 32 0 0 25 0 1 0 1011609426 81575936 19677 4294967295 134512640 135216591 3215095232 3215093232 134527579 0 0 0 3 0 0 0 17 3 0 0 0
/proc/9772/statm: 19916 19677 75 172 0 19743 0
Current children cumulated CPU time (s) 1002.36
Current children cumulated vsize (KiB) 82080

[startup+1062.31 s]
/proc/loadavg: 1.00 1.07 1.07 3/98 13168
/proc/meminfo: memFree=1224284/2074464 swapFree=1950760/1959888
[pid=9766] ppid=9764 vsize=2416 CPUtime=1.26
/proc/9766/stat : 9766 (SatELiteGTI) S 9764 9766 11066 0 -1 4194304 387 11310 0 0 0 0 119 7 20 0 1 0 1011609299 2473984 278 4294967295 134512640 135169312 3213130640 3213126856 3085749998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/9766/statm: 604 278 235 161 0 43 0
[pid=9772] ppid=9766 vsize=77056 CPUtime=1061.1
/proc/9772/stat : 9772 (minisat_static) R 9766 9766 11066 0 -1 4202496 19742 0 0 0 106077 33 0 0 25 0 1 0 1011609426 78905344 19038 4294967295 134512640 135216591 3215095232 3215093424 134528833 0 0 0 3 0 0 0 17 3 0 0 0
/proc/9772/statm: 19264 19038 75 172 0 19091 0
Current children cumulated CPU time (s) 1062.36
Current children cumulated vsize (KiB) 79472

[startup+1122.32 s]
/proc/loadavg: 1.00 1.06 1.07 3/98 13355
/proc/meminfo: memFree=1224408/2074464 swapFree=1950760/1959888
[pid=9766] ppid=9764 vsize=2416 CPUtime=1.26
/proc/9766/stat : 9766 (SatELiteGTI) S 9764 9766 11066 0 -1 4194304 387 11310 0 0 0 0 119 7 20 0 1 0 1011609299 2473984 278 4294967295 134512640 135169312 3213130640 3213126856 3085749998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/9766/statm: 604 278 235 161 0 43 0
[pid=9772] ppid=9766 vsize=77056 CPUtime=1121.11
/proc/9772/stat : 9772 (minisat_static) R 9766 9766 11066 0 -1 4202496 19742 0 0 0 112078 33 0 0 25 0 1 0 1011609426 78905344 19038 4294967295 134512640 135216591 3215095232 3215093136 134532956 0 0 0 3 0 0 0 17 3 0 0 0
/proc/9772/statm: 19264 19038 75 172 0 19091 0
Current children cumulated CPU time (s) 1122.37
Current children cumulated vsize (KiB) 79472

[startup+1182.31 s]
/proc/loadavg: 1.03 1.06 1.07 2/98 13544
/proc/meminfo: memFree=1224540/2074464 swapFree=1950760/1959888
[pid=9766] ppid=9764 vsize=2416 CPUtime=1.26
/proc/9766/stat : 9766 (SatELiteGTI) S 9764 9766 11066 0 -1 4194304 387 11310 0 0 0 0 119 7 20 0 1 0 1011609299 2473984 278 4294967295 134512640 135169312 3213130640 3213126856 3085749998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/9766/statm: 604 278 235 161 0 43 0
[pid=9772] ppid=9766 vsize=77056 CPUtime=1181.11
/proc/9772/stat : 9772 (minisat_static) R 9766 9766 11066 0 -1 4202496 19742 0 0 0 118078 33 0 0 25 0 1 0 1011609426 78905344 19038 4294967295 134512640 135216591 3215095232 3215093424 134529023 0 0 0 3 0 0 0 17 3 0 0 0
/proc/9772/statm: 19264 19038 75 172 0 19091 0
Current children cumulated CPU time (s) 1182.37
Current children cumulated vsize (KiB) 79472



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.01 s]
/proc/loadavg: 1.02 1.05 1.06 2/98 13548
/proc/meminfo: memFree=1224736/2074464 swapFree=1950760/1959888
[pid=9766] ppid=9764 vsize=2416 CPUtime=1.26
/proc/9766/stat : 9766 (SatELiteGTI) S 9764 9766 11066 0 -1 4194304 387 11310 0 0 0 0 119 7 20 0 1 0 1011609299 2473984 278 4294967295 134512640 135169312 3213130640 3213126856 3085749998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/9766/statm: 604 278 235 161 0 43 0
[pid=9772] ppid=9766 vsize=77056 CPUtime=1198.81
/proc/9772/stat : 9772 (minisat_static) R 9766 9766 11066 0 -1 4202496 19742 0 0 0 119848 33 0 0 25 0 1 0 1011609426 78905344 19038 4294967295 134512640 135216591 3215095232 3215093424 134529262 0 0 0 3 0 0 0 17 3 0 0 0
/proc/9772/statm: 19264 19038 75 172 0 19091 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 79472

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

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

Child status: 143
Real time (s): 1200.03
CPU time (s): 1200.08
CPU user time (s): 1199.67
CPU system time (s): 0.41
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 82080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.67
system time used= 0.41
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31715
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= 1113

runsolver used 0.01 second user time and 0.03 second system time

The end

Launcher Data 

Begin job on tipi23 at 2009-05-16 12:51:50
IDJOB=1820711
IDBENCH=69562
IDSOLVER=658
FILE ID=tipi23/1820711-1242471110
PBS_JOBID=
Free space on /tmp= 9087 MiB

SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT_RACE08/cnf/mizh-md5-47-3.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1820711-1242471110/watcher-1820711-1242471110 -o /tmp/evaluation-result-1820711-1242471110/solver-1820711-1242471110 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1820711-1242471110.cnf

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

MD5SUM BENCH= 3bb585fcdaeb772457dbcffd3371aab9
RANDOM SEED= 642985377

Linux tipi23 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.377
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.38

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

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

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


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:       1308116 kB
Buffers:         25188 kB
Cached:         646552 kB
SwapCached:       3660 kB
Active:         343940 kB
Inactive:       339636 kB
HighTotal:     1178688 kB
HighFree:       655712 kB
LowTotal:       895776 kB
LowFree:        652404 kB
SwapTotal:     1959888 kB
SwapFree:      1950760 kB
Dirty:           40408 kB
Writeback:           0 kB
AnonPages:       10972 kB
Mapped:           4504 kB
Slab:            74096 kB
PageTables:        508 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    96892 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 9087 MiB
End job on tipi23 at 2009-05-16 13:11:50