Trace number 1832407

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18UNSAT 719.67 719.944

General information on the benchmark

Namemanol-pipe-f9b.cnf
MD5SUMc3e7cb16bced9d54ce489b6e95d89943
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark286.744
Satisfiable
(Un)Satisfiability was proved
Number of variables183371
Number of clauses547078
Sum of the clauses size1276514
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2364718
Number of clauses of size 3182359
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data

0.00/0.00	c Parsing...
0.00/0.48	c ==============================================================================
0.00/0.48	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.48	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.48	c ==============================================================================
0.00/0.48	c |         0 |  547077  1276513 |  164123       0        0     nan |  0.000 % |
3.96/4.08	c |         0 |  222774   884637 |      --       0       --      -- |     --   | -324296/-391859
3.96/4.09	c ==============================================================================
3.96/4.09	c Result  :   #vars: 28754   #clauses: 222774   #literals: 884637
3.96/4.09	c CPU time:   3.87241 s
3.96/4.09	c ==============================================================================
4.37/4.41	c This is MiniSat 2.0 beta
4.37/4.41	c WARNING: for repeatability, setting FPU to use double precision
4.37/4.41	c ============================[ Problem Statistics ]=============================
4.37/4.41	c |                                                                             |
4.37/4.41	c |  Number of variables:  28754                                                |
4.37/4.41	c |  Number of clauses:    222774                                               |
4.38/4.57	c |  Parsing time:         0.14         s                                       |
4.38/4.58	c ============================[ Search Statistics ]==============================
4.38/4.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.38/4.58	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
4.38/4.58	c ===============================================================================
4.38/4.58	c |         0 |   28754   222774   884637 |    74258        0    nan |  0.000 % |
4.38/4.64	c |       100 |   28746   222774   884637 |    74258       96     17 |  0.063 % |
4.38/4.69	c |       200 |   28746   222774   884637 |    74258      196     18 |  0.063 % |
4.38/4.77	c |       301 |   28746   222774   884637 |    74258      297     20 |  0.063 % |
4.38/4.81	c |       411 |   28746   222774   884637 |    74258      407     20 |  0.063 % |
4.38/4.89	c |       512 |   28746   222774   884637 |    74258      508     21 |  0.063 % |
4.38/4.94	c |       624 |   28746   222774   884637 |    74258      620     23 |  0.063 % |
4.38/4.99	c |       745 |   28746   222774   884637 |    74258      741     22 |  0.063 % |
4.38/5.07	c |       845 |   28746   222774   884637 |    74258      841     22 |  0.063 % |
4.38/5.10	c |       956 |   28746   222774   884637 |    74258      952     22 |  0.063 % |
4.38/5.17	c |      1077 |   28743   222774   884637 |    74258     1069     21 |  0.167 % |
4.38/5.24	c |      1210 |   28694   222327   882814 |    74258     1197     21 |  0.209 % |
4.38/5.31	c |      1310 |   28694   222327   882814 |    74258     1297     21 |  0.209 % |
4.38/5.37	c |      1421 |   28694   222327   882814 |    74258     1408     21 |  0.209 % |
5.36/5.42	c |      1543 |   28694   222327   882814 |    74258     1530     21 |  0.209 % |
5.46/5.55	c |      1677 |   28694   222327   882814 |    74258     1664     21 |  0.209 % |
5.46/5.59	c |      1824 |   28694   222327   882814 |    74258     1811     21 |  0.209 % |
5.55/5.62	c |      1926 |   28694   222327   882814 |    74258     1913     21 |  0.209 % |
5.55/5.65	c |      2036 |   28694   222327   882814 |    74258     2023     22 |  0.209 % |
5.55/5.69	c |      2159 |   28692   222327   882814 |    74258     2145     22 |  0.233 % |
5.65/5.72	c |      2292 |   28692   222327   882814 |    74258     2278     22 |  0.233 % |
5.65/5.77	c |      2439 |   28686   222327   882814 |    74258     2421     24 |  0.247 % |
5.75/5.82	c |      2599 |   28686   222327   882814 |    74258     2581     23 |  0.247 % |
5.75/5.85	c |      2699 |   28685   222327   882814 |    74258     2680     23 |  0.254 % |
5.75/5.90	c |      2809 |   28678   221861   881256 |    74258     2788     23 |  0.264 % |
5.85/5.94	c |      2932 |   28678   221861   881256 |    74258     2911     24 |  0.264 % |
5.95/6.02	c |      3065 |   28678   221861   881256 |    74258     3044     23 |  0.264 % |
5.95/6.09	c |      3211 |   28678   221861   881256 |    74258     3190     24 |  0.264 % |
6.05/6.14	c |      3373 |   28678   221861   881256 |    74258     3352     24 |  0.264 % |
6.15/6.24	c |      3549 |   28678   221861   881256 |    74258     3528     24 |  0.264 % |
6.15/6.27	c |      3649 |   28678   221861   881256 |    74258     3628     24 |  0.264 % |
6.15/6.27	c |      3759 |   28678   221861   881256 |    74258     3738     24 |  0.264 % |
6.25/6.30	c |      3880 |   28673   221861   881256 |    74258     3857     24 |  0.292 % |
6.25/6.34	c |      4014 |   28673   221861   881256 |    74258     3991     24 |  0.292 % |
6.25/6.39	c |      4160 |   28670   221861   881256 |    74258     4136     25 |  0.344 % |
6.35/6.44	c |      4321 |   28666   221861   881256 |    74258     4297     25 |  0.344 % |
6.35/6.47	c |      4498 |   28666   221861   881256 |    74258     4474     24 |  0.344 % |
6.46/6.52	c |      4691 |   28666   221861   881256 |    74258     4667     25 |  0.344 % |
6.46/6.53	c |      4791 |   28666   221861   881256 |    74258     4767     25 |  0.344 % |
6.56/6.60	c |      4901 |   28655   221560   880254 |    74258     4870     25 |  0.344 % |
6.56/6.62	c |      5022 |   28655   221560   880254 |    74258     4991     25 |  0.344 % |
6.65/6.72	c |      5155 |   28654   221560   880254 |    74258     5123     25 |  0.369 % |
6.65/6.78	c |      5302 |   28654   221560   880254 |    74258     5270     25 |  0.369 % |
6.75/6.82	c |      5464 |   28654   221560   880254 |    74258     5432     25 |  0.369 % |
6.85/6.91	c |      5640 |   28654   221560   880254 |    74258     5608     25 |  0.369 % |
6.85/6.95	c |      5833 |   28654   221560   880254 |    74258     5801     26 |  0.369 % |
6.95/7.02	c |      6045 |   28651   221560   880254 |    74258     6012     25 |  0.410 % |
6.95/7.05	c |      6145 |   28651   221560   880254 |    74258     6112     25 |  0.410 % |
7.05/7.15	c |      6255 |   28651   221560   880254 |    74258     6222     25 |  0.410 % |
7.15/7.22	c |      6376 |   28651   221560   880254 |    74258     6343     25 |  0.410 % |
7.15/7.30	c |      6509 |   28636   221282   879232 |    74258     6472     25 |  0.410 % |
7.25/7.38	c |      6656 |   28636   221282   879232 |    74258     6619     25 |  0.410 % |
7.35/7.45	c |      6816 |   28636   221282   879232 |    74258     6779     25 |  0.410 % |
7.45/7.57	c |      6992 |   28636   221282   879232 |    74258     6955     25 |  0.410 % |
7.45/7.59	c |      7185 |   28636   221282   879232 |    74258     7148     25 |  0.410 % |
7.55/7.66	c |      7397 |   28636   221282   879232 |    74258     7360     25 |  0.410 % |
7.65/7.71	c |      7630 |   28636   221282   879232 |    74258     7593     25 |  0.410 % |
7.65/7.74	c |      7730 |   28636   221282   879232 |    74258     7693     25 |  0.410 % |
7.65/7.75	c |      7841 |   28633   221282   879232 |    74258     7802     25 |  0.442 % |
7.75/7.81	c |      7963 |   28633   221282   879232 |    74258     7924     25 |  0.442 % |
7.75/7.84	c |      8099 |   28633   221282   879232 |    74258     8060     25 |  0.442 % |
7.85/7.90	c |      8245 |   28633   221282   879232 |    74258     8206     25 |  0.442 % |
7.85/7.96	c |      8405 |   28633   221282   879232 |    74258     8366     25 |  0.442 % |
7.95/8.01	c |      8581 |   28627   220963   877994 |    74258     8532     25 |  0.442 % |
8.05/8.13	c |      8774 |   28627   220963   877994 |    74258     8725     25 |  0.442 % |
8.05/8.15	c |      8986 |   28627   220963   877994 |    74258     8937     25 |  0.442 % |
8.15/8.20	c |      9222 |   28627   220963   877994 |    74258     9173     25 |  0.442 % |
8.15/8.26	c |      9480 |   28627   220963   877994 |    74258     9431     26 |  0.442 % |
8.26/8.31	c |      9580 |   28625   220963   877994 |    74258     9530     26 |  0.456 % |
8.26/8.36	c |      9692 |   28625   220963   877994 |    74258     9642     26 |  0.456 % |
8.26/8.38	c |      9813 |   28625   220963   877994 |    74258     9763     25 |  0.456 % |
8.36/8.41	c |      9946 |   28625   220963   877994 |    74258     9896     25 |  0.456 % |
8.36/8.45	c |     10092 |   28625   220963   877994 | 2147483647    10042     25 |  0.456 % |
8.46/8.51	c |     10252 |   28625   220963   877994 | 2147483647    10202     25 |  0.456 % |
8.46/8.58	c |     10429 |   28624   220963   877994 | 2147483647    10378     25 |  0.459 % |
8.56/8.66	c |     10622 |   28624   220963   877994 | 2147483647    10571     26 |  0.459 % |
8.66/8.71	c |     10835 |   28624   220963   877994 | 2147483647    10784     26 |  0.459 % |
8.66/8.78	c |     11071 |   28624   220963   877994 | 2147483647    11020     25 |  0.459 % |
8.76/8.89	c |     11327 |   28622   220901   877776 | 2147483647    11271     26 |  0.459 % |
8.86/8.98	c |     11609 |   28622   220901   877776 | 2147483647    11553     26 |  0.459 % |
8.96/9.05	c |     11710 |   28622   220901   877776 | 2147483647    11654     26 |  0.459 % |
8.96/9.07	c |     11821 |   28622   220901   877776 | 2147483647    11765     26 |  0.459 % |
9.05/9.15	c |     11942 |   28622   220901   877776 | 2147483647    11886     26 |  0.459 % |
9.15/9.25	c |     12075 |   28622   220901   877776 | 2147483647    12019     26 |  0.459 % |
9.25/9.33	c |     12221 |   28622   220901   877776 | 2147483647    12165     26 |  0.459 % |
9.25/9.39	c |     12382 |   28622   220901   877776 | 2147483647    12326     26 |  0.459 % |
9.35/9.45	c |     12558 |   28622   220901   877776 | 2147483647    12502     26 |  0.459 % |
9.35/9.47	c |     12751 |   28622   220901   877776 | 2147483647    12695     26 |  0.459 % |
9.45/9.54	c |     12963 |   28622   220901   877776 | 2147483647    12907     26 |  0.459 % |
9.55/9.61	c |     13197 |   28622   220901   877776 | 2147483647    13141     26 |  0.459 % |
9.55/9.65	c |     13457 |   28622   220901   877776 | 2147483647    13401     26 |  0.459 % |
9.76/9.82	c |     13738 |   28622   220901   877776 | 2147483647    13682     26 |  0.459 % |
9.86/9.97	c |     14049 |   28622   220901   877776 | 2147483647    13993     27 |  0.459 % |
9.95/10.04	c |     14150 |   28622   220901   877776 | 2147483647    14094     27 |  0.459 % |
9.95/10.07	c |     14261 |   28622   220901   877776 | 2147483647    14205     26 |  0.459 % |
10.05/10.12	c |     14383 |   28622   220901   877776 | 2147483647    14327     26 |  0.459 % |
10.05/10.18	c |     14516 |   28622   220901   877776 | 2147483647    14460     27 |  0.459 % |
10.15/10.25	c |     14662 |   28622   220901   877776 | 2147483647    14606     27 |  0.459 % |
10.25/10.31	c |     14822 |   28622   220901   877776 | 2147483647    14766     27 |  0.459 % |
10.25/10.39	c |     14998 |   28622   220901   877776 | 2147483647    14942     27 |  0.459 % |
10.35/10.47	c |     15193 |   28622   220901   877776 | 2147483647    15137     27 |  0.459 % |
10.45/10.56	c |     15405 |   28622   220901   877776 | 2147483647    15349     27 |  0.459 % |
10.55/10.66	c |     15639 |   28622   220901   877776 | 2147483647    15583     27 |  0.459 % |
10.65/10.73	c |     15895 |   28622   220901   877776 | 2147483647    15839     27 |  0.459 % |
10.65/10.77	c |     16177 |   28622   220901   877776 | 2147483647    16121     27 |  0.459 % |
10.75/10.84	c |     16486 |   28622   220901   877776 | 2147483647    16430     27 |  0.459 % |
10.86/10.99	c |     16827 |   28622   220901   877776 | 2147483647    16771     27 |  0.459 % |
10.96/11.03	c |     16928 |   28622   220901   877776 | 2147483647    16872     27 |  0.459 % |
10.96/11.07	c |     17038 |   28622   220901   877776 | 2147483647    16982     27 |  0.459 % |
11.05/11.10	c |     17159 |   28622   220901   877776 | 2147483647    17103     27 |  0.459 % |
11.05/11.19	c |     17293 |   28622   220901   877776 | 2147483647    17237     27 |  0.459 % |
11.25/11.33	c |     17439 |   28622   220901   877776 | 2147483647    17383     27 |  0.459 % |
11.25/11.35	c |     17599 |   28622   220901   877776 | 2147483647    17543     27 |  0.459 % |
11.35/11.43	c |     17775 |   28622   220901   877776 | 2147483647    17719     27 |  0.459 % |
11.45/11.51	c |     17968 |   28622   220901   877776 | 2147483647    17912     27 |  0.459 % |
11.55/11.65	c |     18181 |   28621   220832   877545 | 2147483647    18121     27 |  0.463 % |
11.65/11.78	c |     18414 |   28621   220832   877545 | 2147483647    18354     28 |  0.463 % |
11.75/11.88	c |     18671 |   28621   220832   877545 | 2147483647    18611     28 |  0.463 % |
11.85/11.92	c |     18952 |   28621   220832   877545 | 2147483647    18892     28 |  0.463 % |
11.95/12.03	c |     19262 |   28621   220832   877545 | 2147483647    19202     28 |  0.463 % |
12.15/12.25	c |     19601 |   28621   220832   877545 | 2147483647    19541     28 |  0.463 % |
12.25/12.31	c |     19973 |   28621   220832   877545 | 2147483647    19913     28 |  0.463 % |
12.25/12.34	c |     20074 |   28621   220832   877545 | 2147483647    20014     28 |  0.463 % |
12.35/12.40	c |     20184 |   28621   220832   877545 | 2147483647    20124     28 |  0.463 % |
12.35/12.49	c |     20308 |   28621   220832   877545 | 2147483647    20248     28 |  0.463 % |
12.45/12.52	c |     20441 |   28621   220832   877545 | 2147483647    20381     28 |  0.463 % |
12.45/12.58	c |     20587 |   28621   220832   877545 | 2147483647    20527     28 |  0.463 % |
12.55/12.65	c |     20747 |   28621   220832   877545 | 2147483647    20687     28 |  0.463 % |
12.55/12.66	c |     20924 |   28621   220832   877545 | 2147483647    20864     28 |  0.463 % |
12.65/12.77	c |     21118 |   28621   220832   877545 | 2147483647    21058     28 |  0.463 % |
12.75/12.90	c |     21333 |   28621   220832   877545 | 2147483647    21273     28 |  0.463 % |
12.95/13.03	c |     21569 |   28621   220832   877545 | 2147483647    21509     28 |  0.463 % |
12.95/13.06	c |     21825 |   28621   220832   877545 | 2147483647    21765     28 |  0.463 % |
13.05/13.18	c |     22107 |   28621   220832   877545 | 2147483647    22047     29 |  0.463 % |
13.25/13.31	c |     22417 |   28621   220832   877545 | 2147483647    22357     29 |  0.463 % |
13.25/13.37	c |     22758 |   28621   220832   877545 | 2147483647    22698     29 |  0.463 % |
13.35/13.49	c |     23132 |   28621   220832   877545 | 2147483647    23072     29 |  0.463 % |
13.55/13.68	c |     23541 |   28621   220832   877545 | 2147483647    23481     30 |  0.463 % |
13.65/13.72	c |     23642 |   28621   220832   877545 | 2147483647    23582     30 |  0.463 % |
13.65/13.77	c |     23752 |   28621   220832   877545 | 2147483647    23692     30 |  0.463 % |
13.75/13.87	c |     23873 |   28621   220832   877545 | 2147483647    23813     30 |  0.463 % |
13.75/13.89	c |     24006 |   28621   220832   877545 | 2147483647    23946     30 |  0.463 % |
13.85/13.95	c |     24152 |   28621   220832   877545 | 2147483647    24092     30 |  0.463 % |
13.95/14.03	c |     24312 |   28621   220832   877545 | 2147483647    24252     30 |  0.463 % |
14.05/14.10	c |     24488 |   28621   220832   877545 | 2147483647    24428     30 |  0.463 % |
14.05/14.17	c |     24681 |   28621   220832   877545 | 2147483647    24621     30 |  0.463 % |
14.15/14.25	c |     24893 |   28621   220832   877545 | 2147483647    24833     30 |  0.463 % |
14.25/14.30	c |     25127 |   28621   220832   877545 | 2147483647    25067     29 |  0.463 % |
14.25/14.32	c |     25385 |   28621   220832   877545 | 2147483647    25325     29 |  0.463 % |
14.45/14.51	c |     25667 |   28621   220832   877545 | 2147483647    25607     29 |  0.463 % |
14.45/14.59	c |     25976 |   28621   220832   877545 | 2147483647    25916     30 |  0.463 % |
14.55/14.65	c |     26315 |   28621   220832   877545 | 2147483647    26255     30 |  0.463 % |
14.75/14.83	c |     26688 |   28621   220832   877545 | 2147483647    26628     30 |  0.463 % |
14.75/14.88	c |     27098 |   28621   220832   877545 | 2147483647    27038     30 |  0.463 % |
14.95/15.01	c |     27547 |   28621   220832   877545 | 2147483647    27487     31 |  0.463 % |
14.95/15.07	c |     27647 |   28621   220832   877545 | 2147483647    27587     31 |  0.463 % |
15.05/15.11	c |     27759 |   28621   220832   877545 | 2147483647    27699     31 |  0.463 % |
15.05/15.16	c |     27882 |   28621   220832   877545 | 2147483647    27822     31 |  0.463 % |
15.15/15.22	c |     28015 |   28614   220652   876926 | 2147483647    27946     31 |  0.574 % |
15.15/15.29	c |     28161 |   28614   220652   876926 | 2147483647    28092     31 |  0.574 % |
15.26/15.40	c |     28321 |   28614   220652   876926 | 2147483647    28252     31 |  0.574 % |
15.45/15.51	c |     28497 |   28614   220652   876926 | 2147483647    28428     31 |  0.574 % |
15.55/15.62	c |     28690 |   28614   220652   876926 | 2147483647    28621     31 |  0.574 % |
15.55/15.65	c |     28903 |   28614   220652   876926 | 2147483647    28834     31 |  0.574 % |
15.65/15.72	c |     29137 |   28614   220652   876926 | 2147483647    29068     31 |  0.574 % |
15.75/15.81	c |     29395 |   28614   220652   876926 | 2147483647    29326     31 |  0.574 % |
15.75/15.82	c |     29676 |   28614   220652   876926 | 2147483647    29607     31 |  0.574 % |
15.75/15.88	c |     29985 |   28614   220652   876926 | 2147483647    29916     31 |  0.574 % |
15.85/15.97	c |     30324 |   28614   220652   876926 | 2147483647    30255     31 |  0.574 % |
16.05/16.16	c |     30697 |   28614   220652   876926 | 2147483647    30628     32 |  0.574 % |
16.15/16.28	c |     31107 |   28614   220652   876926 | 2147483647    31038     32 |  0.574 % |
16.25/16.34	c |     31556 |   28614   220652   876926 | 2147483647    31487     32 |  0.574 % |
16.35/16.45	c |     32049 |   28614   220652   876926 | 2147483647    31980     32 |  0.574 % |
16.35/16.50	c |     32150 |   28614   220652   876926 | 2147483647    32081     32 |  0.574 % |
16.45/16.53	c |     32261 |   28614   220652   876926 | 2147483647    32192     32 |  0.574 % |
16.55/16.61	c |     32382 |   28614   220652   876926 | 2147483647    32313     32 |  0.574 % |
16.55/16.65	c |     32516 |   28614   220652   876926 | 2147483647    32447     32 |  0.574 % |
16.55/16.69	c |     32663 |   28614   220652   876926 | 2147483647    32594     32 |  0.574 % |
16.65/16.77	c |     32825 |   28614   220652   876926 | 2147483647    32756     32 |  0.574 % |
16.75/16.80	c |     33001 |   28614   220652   876926 | 2147483647    32932     32 |  0.574 % |
16.75/16.89	c |     33194 |   28614   220652   876926 | 2147483647    33125     32 |  0.574 % |
16.85/16.97	c |     33411 |   28589   220265   875545 | 2147483647    33324     32 |  0.574 % |
16.95/17.05	c |     33644 |   28589   220265   875545 | 2147483647    33557     32 |  0.574 % |
17.05/17.18	c |     33900 |   28589   220265   875545 | 2147483647    33813     32 |  0.574 % |
17.25/17.34	c |     34181 |   28589   220265   875545 | 2147483647    34094     32 |  0.574 % |
17.35/17.45	c |     34490 |   28589   220265   875545 | 2147483647    34403     33 |  0.574 % |
17.45/17.55	c |     34829 |   28589   220265   875545 | 2147483647    34742     33 |  0.574 % |
17.55/17.61	c |     35201 |   28589   220265   875545 | 2147483647    35114     33 |  0.574 % |
17.65/17.76	c |     35612 |   28588   220265   875545 | 2147483647    35524     33 |  0.577 % |
17.75/17.83	c |     36061 |   28588   220265   875545 | 2147483647    35973     33 |  0.577 % |
17.85/17.91	c |     36560 |   28588   220265   875545 | 2147483647    36472     33 |  0.577 % |
17.95/18.02	c |     37103 |   28588   220265   875545 | 2147483647    37015     33 |  0.577 % |
17.95/18.05	c |     37203 |   28588   220265   875545 | 2147483647    37115     33 |  0.577 % |
18.05/18.12	c |     37314 |   28588   220265   875545 | 2147483647    37226     33 |  0.577 % |
18.05/18.16	c |     37435 |   28588   220265   875545 | 2147483647    37347     33 |  0.577 % |
18.14/18.22	c |     37569 |   28588   220265   875545 | 2147483647    37481     33 |  0.577 % |
18.14/18.28	c |     37715 |   28588   220265   875545 | 2147483647    37627     33 |  0.577 % |
18.24/18.32	c |     37876 |   28588   220265   875545 | 2147483647    37788     33 |  0.577 % |
18.24/18.37	c |     38052 |   28588   220265   875545 | 2147483647    37964     33 |  0.577 % |
18.34/18.41	c |     38245 |   28588   220265   875545 | 2147483647    38157     33 |  0.577 % |
18.34/18.48	c |     38458 |   28588   220265   875545 | 2147483647    38370     33 |  0.577 % |
18.44/18.52	c |     38691 |   28588   220265   875545 | 2147483647    38603     33 |  0.577 % |
18.44/18.57	c |     38947 |   28588   220265   875545 | 2147483647    38859     33 |  0.577 % |
18.55/18.65	c |     39228 |   28588   220265   875545 | 2147483647    39140     33 |  0.577 % |
18.65/18.73	c |     39539 |   28588   220265   875545 | 2147483647    39451     33 |  0.577 % |
18.74/18.80	c |     39879 |   28588   220265   875545 | 2147483647    39791     33 |  0.577 % |
18.84/18.99	c |     40252 |   28588   220265   875545 | 2147483647    40164     33 |  0.577 % |
18.95/19.08	c |     40661 |   28588   220261   875537 | 2147483647    40573     33 |  0.577 % |
19.05/19.17	c |     41110 |   28588   220261   875537 | 2147483647    41022     33 |  0.577 % |
19.35/19.43	c |     41604 |   28588   220261   875537 | 2147483647    41516     33 |  0.577 % |
19.45/19.54	c |     42146 |   28588   220261   875537 | 2147483647    42058     33 |  0.577 % |
19.55/19.69	c |     42743 |   28588   220261   875537 | 2147483647    42655     34 |  0.577 % |
19.65/19.72	c |     42843 |   28588   220261   875537 | 2147483647    42755     34 |  0.577 % |
19.65/19.72	c |     42954 |   28588   220261   875537 | 2147483647    42866     34 |  0.577 % |
19.75/19.84	c |     43075 |   28578   220261   875537 | 2147483647    42986     33 |  0.668 % |
19.75/19.88	c |     43208 |   28578   220261   875537 | 2147483647    43119     34 |  0.668 % |
19.85/19.93	c |     43354 |   28578   220261   875537 | 2147483647    43265     34 |  0.668 % |
19.85/19.98	c |     43514 |   28578   220261   875537 | 2147483647    43425     34 |  0.668 % |
19.95/20.04	c |     43691 |   28489   220261   875537 | 2147483647    43601     34 |  1.391 % |
19.95/20.05	c |     43884 |   28489   220261   875537 | 2147483647    43794     34 |  1.391 % |
20.05/20.18	c |     44097 |   28466   220261   875537 | 2147483647    44007     34 |  1.391 % |
20.25/20.31	c |     44330 |   28466   220261   875537 | 2147483647    44240     34 |  1.391 % |
20.35/20.41	c |     44587 |   28466   220261   875537 | 2147483647    44497     34 |  1.391 % |
20.45/20.56	c |     44869 |   28466   220261   875537 | 2147483647    44779     34 |  1.391 % |
20.55/20.64	c |     45178 |   28466   220261   875537 | 2147483647    45088     34 |  1.391 % |
20.75/20.82	c |     45517 |   28463   220261   875537 | 2147483647    45426     34 |  1.402 % |
20.75/20.89	c |     45890 |   28463   220261   875537 | 2147483647    45799     34 |  1.402 % |
20.85/20.99	c |     46299 |   28463   220261   875537 | 2147483647    46208     34 |  1.402 % |
21.05/21.11	c |     46748 |   28463   220261   875537 | 2147483647    46657     34 |  1.402 % |
21.15/21.30	c |     47243 |   28463   220261   875537 | 2147483647    47152     34 |  1.402 % |
21.35/21.49	c |     47785 |   28463   220261   875537 | 2147483647    47694     34 |  1.402 % |
21.55/21.63	c |     48381 |   28351   216780   861744 | 2147483647    48194     35 |  1.402 % |
21.65/21.77	c |     49037 |   28351   216780   861744 | 2147483647    48850     35 |  1.402 % |
21.75/21.81	c |     49138 |   28351   216780   861744 | 2147483647    48951     35 |  1.402 % |
21.75/21.82	c |     49249 |   28351   216780   861744 | 2147483647    49062     35 |  1.402 % |
21.75/21.88	c |     49371 |   28351   216780   861744 | 2147483647    49184     35 |  1.402 % |
21.85/21.96	c |     49505 |   28351   216780   861744 | 2147483647    49318     35 |  1.402 % |
21.95/22.07	c |     49651 |   28351   216780   861744 | 2147483647    49464     35 |  1.402 % |
22.05/22.13	c |     49812 |   28351   216780   861744 | 2147483647    49625     35 |  1.402 % |
22.05/22.19	c |     49991 |   28351   216780   861744 | 2147483647    49804     35 |  1.402 % |
22.15/22.24	c |     50185 |   28351   216780   861744 | 2147483647    49998     35 |  1.402 % |
22.25/22.30	c |     50399 |   28351   216780   861744 | 2147483647    50212     35 |  1.402 % |
22.25/22.37	c |     50632 |   28351   216780   861744 | 2147483647    50445     35 |  1.402 % |
22.35/22.47	c |     50888 |   28351   216780   861744 | 2147483647    50701     35 |  1.402 % |
22.65/22.70	c |     51170 |   28351   216780   861744 | 2147483647    50983     35 |  1.402 % |
22.75/22.83	c |     51479 |   28351   216780   861744 | 2147483647    51292     35 |  1.402 % |
22.85/22.98	c |     51818 |   28351   216780   861744 | 2147483647    51631     35 |  1.402 % |
23.05/23.18	c |     52190 |   28351   216780   861744 | 2147483647    52003     35 |  1.402 % |
23.15/23.26	c |     52599 |   28351   216780   861744 | 2147483647    52412     35 |  1.402 % |
23.25/23.39	c |     53048 |   28351   216780   861744 | 2147483647    52861     35 |  1.402 % |
23.45/23.50	c |     53547 |   28351   216780   861744 | 2147483647    53360     35 |  1.402 % |
23.55/23.67	c |     54090 |   28351   216780   861744 | 2147483647    53903     35 |  1.402 % |
23.65/23.77	c |     54688 |   28351   216780   861744 | 2147483647    54501     35 |  1.402 % |
23.84/23.92	c |     55343 |   28351   216780   861744 | 2147483647    55156     35 |  1.402 % |
24.05/24.10	c |     56063 |   28351   216780   861744 | 2147483647    55876     35 |  1.402 % |
24.05/24.16	c |     56165 |   28351   216780   861744 | 2147483647    55978     35 |  1.402 % |
24.05/24.19	c |     56276 |   28351   216780   861744 | 2147483647    56089     35 |  1.402 % |
24.15/24.24	c |     56397 |   28351   216780   861744 | 2147483647    56210     35 |  1.402 % |
24.24/24.33	c |     56530 |   28351   216780   861744 | 2147483647    56343     35 |  1.402 % |
24.24/24.39	c |     56678 |   28351   216780   861744 | 2147483647    56491     35 |  1.402 % |
24.34/24.48	c |     56838 |   28351   216780   861744 | 2147483647    56651     35 |  1.402 % |
24.44/24.54	c |     57015 |   28351   216780   861744 | 2147483647    56828     35 |  1.402 % |
24.54/24.60	c |     57210 |   28351   216780   861744 | 2147483647    57023     35 |  1.402 % |
24.54/24.68	c |     57427 |   28351   216780   861744 | 2147483647    57240     35 |  1.402 % |
24.64/24.80	c |     57663 |   28351   216780   861744 | 2147483647    57476     35 |  1.402 % |
24.84/24.90	c |     57920 |   28351   216780   861744 | 2147483647    57733     35 |  1.402 % |
24.94/25.01	c |     58201 |   28351   216780   861744 | 2147483647    58014     35 |  1.402 % |
24.94/25.07	c |     58511 |   28351   216780   861744 | 2147483647    58324     35 |  1.402 % |
25.04/25.14	c |     58857 |   28351   216780   861744 | 2147483647    58670     35 |  1.402 % |
25.15/25.24	c |     59229 |   28351   216780   861744 | 2147483647    59042     35 |  1.402 % |
25.34/25.43	c |     59639 |   28351   216780   861744 | 2147483647    59452     35 |  1.402 % |
25.44/25.56	c |     60088 |   28351   216780   861744 | 2147483647    59901     35 |  1.402 % |
25.75/25.82	c |     60582 |   28351   216780   861744 | 2147483647    60395     35 |  1.402 % |
25.85/25.99	c |     61124 |   28351   216780   861744 | 2147483647    60937     35 |  1.402 % |
26.05/26.12	c |     61721 |   28351   216780   861744 | 2147483647    61534     35 |  1.402 % |
26.25/26.39	c |     62376 |   28351   216780   861744 | 2147483647    62189     36 |  1.402 % |
26.65/26.78	c |     63097 |   28351   216780   861744 | 2147483647    62910     36 |  1.402 % |
26.95/27.05	c |     63889 |   28351   216780   861744 | 2147483647    63702     36 |  1.402 % |
27.05/27.13	c |     63989 |   28351   216780   861744 | 2147483647    63802     36 |  1.402 % |
27.15/27.20	c |     64100 |   28351   216780   861744 | 2147483647    63913     36 |  1.402 % |
27.15/27.24	c |     64223 |   28351   216780   861744 | 2147483647    64036     36 |  1.402 % |
27.15/27.29	c |     64357 |   28351   216780   861744 | 2147483647    64170     36 |  1.402 % |
27.25/27.37	c |     64503 |   28351   216780   861744 | 2147483647    64316     36 |  1.402 % |
27.45/27.51	c |     64663 |   28351   216780   861744 | 2147483647    64476     36 |  1.402 % |
27.45/27.55	c |     64839 |   28351   216780   861744 | 2147483647    64652     36 |  1.402 % |
27.55/27.67	c |     65032 |   28351   216780   861744 | 2147483647    64845     36 |  1.402 % |
27.65/27.77	c |     65246 |   28351   216780   861744 | 2147483647    65059     36 |  1.402 % |
27.75/27.84	c |     65480 |   28351   216780   861744 | 2147483647    65293     36 |  1.402 % |
27.85/27.95	c |     65736 |   28351   216780   861744 | 2147483647    65549     36 |  1.402 % |
27.85/27.99	c |     66018 |   28351   216780   861744 | 2147483647    65831     36 |  1.402 % |
28.05/28.20	c |     66331 |   28351   216780   861744 | 2147483647    66144     36 |  1.402 % |
28.25/28.36	c |     66673 |   28351   216780   861744 | 2147483647    66486     36 |  1.402 % |
28.45/28.53	c |     67046 |   28351   216780   861744 | 2147483647    66859     36 |  1.402 % |
28.65/28.79	c |     67459 |   28351   216780   861744 | 2147483647    67272     36 |  1.402 % |
28.85/28.97	c |     67908 |   28351   216780   861744 | 2147483647    67721     36 |  1.402 % |
29.15/29.27	c |     68402 |   28351   216780   861744 | 2147483647    68215     36 |  1.402 % |
29.45/29.56	c |     68944 |   28351   216780   861744 | 2147483647    68757     36 |  1.402 % |
29.55/29.69	c |     69543 |   28351   216780   861744 | 2147483647    69356     36 |  1.402 % |
29.75/29.86	c |     70200 |   28351   216780   861744 | 2147483647    70013     36 |  1.402 % |
30.05/30.17	c |     70921 |   28351   216780   861744 | 2147483647    70734     37 |  1.402 % |
30.35/30.41	c |     71713 |   28351   216780   861744 | 2147483647    71526     37 |  1.402 % |
30.55/30.69	c |     72584 |   28351   216780   861744 | 2147483647    72397     37 |  1.402 % |
30.65/30.74	c |     72685 |   28351   216780   861744 | 2147483647    72498     37 |  1.402 % |
30.65/30.78	c |     72796 |   28351   216780   861744 | 2147483647    72609     37 |  1.402 % |
30.75/30.83	c |     72917 |   28351   216780   861744 | 2147483647    72730     37 |  1.402 % |
30.85/30.92	c |     73050 |   28351   216780   861744 | 2147483647    72863     37 |  1.402 % |
30.85/30.98	c |     73196 |   28351   216780   861744 | 2147483647    73009     37 |  1.402 % |
30.95/31.05	c |     73356 |   28351   216780   861744 | 2147483647    73169     37 |  1.402 % |
31.05/31.14	c |     73535 |   28351   216780   861744 | 2147483647    73348     37 |  1.402 % |
31.15/31.23	c |     73730 |   28351   216780   861744 | 2147483647    73543     37 |  1.402 % |
31.15/31.26	c |     73942 |   28351   216780   861744 | 2147483647    73755     37 |  1.402 % |
31.35/31.48	c |     74179 |   28351   216780   861744 | 2147483647    73992     37 |  1.402 % |
31.45/31.58	c |     74435 |   28351   216780   861744 | 2147483647    74248     37 |  1.402 % |
31.55/31.67	c |     74716 |   28351   216780   861744 | 2147483647    74529     37 |  1.402 % |
31.85/31.90	c |     75026 |   28351   216780   861744 | 2147483647    74839     37 |  1.402 % |
31.94/32.00	c |     75370 |   28351   216780   861744 | 2147483647    75183     37 |  1.402 % |
32.04/32.16	c |     75742 |   28351   216780   861744 | 2147483647    75555     37 |  1.402 % |
32.34/32.40	c |     76151 |   28351   216780   861744 | 2147483647    75964     37 |  1.402 % |
32.64/32.71	c |     76601 |   28351   216780   861744 | 2147483647    76414     37 |  1.402 % |
32.85/32.94	c |     77101 |   28351   216780   861744 | 2147483647    76914     37 |  1.402 % |
33.04/33.15	c |     77644 |   28351   216780   861744 | 2147483647    77457     37 |  1.402 % |
33.44/33.52	c |     78240 |   28351   216780   861744 | 2147483647    78053     37 |  1.402 % |
33.55/33.68	c |     78895 |   28351   216780   861744 | 2147483647    78708     37 |  1.402 % |
33.95/34.05	c |     79616 |   28351   216780   861744 | 2147483647    79429     37 |  1.402 % |
34.15/34.29	c |     80409 |   28351   216780   861744 | 2147483647    80222     37 |  1.402 % |
34.35/34.46	c |     81282 |   28351   216780   861744 | 2147483647    81095     37 |  1.402 % |
34.65/34.79	c |     82240 |   28351   216780   861744 | 2147483647    82053     37 |  1.402 % |
34.74/34.87	c |     82340 |   28351   216780   861744 | 2147483647    82153     37 |  1.402 % |
34.84/34.90	c |     82451 |   28351   216780   861744 | 2147483647    82264     37 |  1.402 % |
34.84/34.99	c |     82572 |   28351   216780   861744 | 2147483647    82385     37 |  1.402 % |
34.94/35.07	c |     82708 |   28351   216780   861744 | 2147483647    82521     37 |  1.402 % |
35.05/35.14	c |     82854 |   28351   216780   861744 | 2147483647    82667     37 |  1.402 % |
35.15/35.25	c |     83015 |   28351   216780   861744 | 2147483647    82828     37 |  1.402 % |
35.24/35.33	c |     83203 |   28351   216780   861744 | 2147483647    83016     37 |  1.402 % |
35.34/35.49	c |     83396 |   28344   216554   860852 | 2147483647    83201     37 |  1.426 % |
35.44/35.52	c |     83610 |   28344   216554   860852 | 2147483647    83415     37 |  1.426 % |
35.44/35.59	c |     83844 |   28344   216554   860852 | 2147483647    83649     37 |  1.426 % |
35.64/35.72	c |     84100 |   28344   216554   860852 | 2147483647    83905     37 |  1.426 % |
35.74/35.85	c |     84381 |   28344   216554   860852 | 2147483647    84186     37 |  1.426 % |
35.84/35.90	c |     84690 |   28344   216554   860852 | 2147483647    84495     37 |  1.426 % |
36.04/36.14	c |     85030 |   28344   216554   860852 | 2147483647    84835     37 |  1.426 % |
36.24/36.35	c |     85402 |   28317   216554   860852 | 2147483647    85206     37 |  1.586 % |
36.44/36.50	c |     85811 |   28317   216554   860852 | 2147483647    85615     37 |  1.586 % |
36.54/36.68	c |     86260 |   28317   216554   860852 | 2147483647    86064     37 |  1.586 % |
36.74/36.81	c |     86753 |   28317   216554   860852 | 2147483647    86557     37 |  1.586 % |
36.94/37.07	c |     87295 |   28315   216554   860852 | 2147483647    87099     37 |  1.586 % |
37.24/37.32	c |     87893 |   28315   216554   860852 | 2147483647    87697     37 |  1.586 % |
37.34/37.49	c |     88550 |   28315   216554   860852 | 2147483647    88354     37 |  1.586 % |
37.54/37.66	c |     89273 |   28315   216554   860852 | 2147483647    89077     37 |  1.586 % |
37.95/38.04	c |     90065 |   28315   216554   860852 | 2147483647    89869     37 |  1.586 % |
38.15/38.21	c |     90936 |   28315   216554   860852 | 2147483647    90740     37 |  1.586 % |
38.65/38.71	c |     91895 |   28315   216554   860852 | 2147483647    91699     37 |  1.586 % |
39.14/39.21	c |     92949 |   28315   216554   860852 | 2147483647    92753     37 |  1.586 % |
39.24/39.37	c |     93051 |   28315   216554   860852 | 2147483647    92855     37 |  1.586 % |
39.34/39.48	c |     93164 |   28314   216554   860852 | 2147483647    92967     37 |  1.589 % |
39.54/39.63	c |     93285 |   28314   216554   860852 | 2147483647    93088     37 |  1.589 % |
39.64/39.72	c |     93419 |   28314   216554   860852 | 2147483647    93222     37 |  1.589 % |
39.64/39.77	c |     93571 |   28314   216554   860852 | 2147483647    93374     37 |  1.589 % |
39.74/39.83	c |     93731 |   28314   216554   860852 | 2147483647    93534     37 |  1.589 % |
39.84/39.91	c |     93909 |   28314   216554   860852 | 2147483647    93712     37 |  1.589 % |
39.84/40.00	c |     94103 |   28314   216554   860852 | 2147483647    93906     37 |  1.589 % |
40.14/40.20	c |     94315 |   28314   216554   860852 | 2147483647    94118     37 |  1.589 % |
40.14/40.23	c |     94548 |   28314   216554   860852 | 2147483647    94351     37 |  1.589 % |
40.24/40.36	c |     94804 |   28314   216554   860852 | 2147483647    94607     37 |  1.589 % |
40.34/40.46	c |     95093 |   28314   216554   860852 | 2147483647    94896     37 |  1.589 % |
40.54/40.64	c |     95402 |   28314   216554   860852 | 2147483647    95205     37 |  1.589 % |
40.74/40.80	c |     95743 |   28314   216554   860852 | 2147483647    95546     37 |  1.589 % |
40.84/40.95	c |     96116 |   28314   216554   860852 | 2147483647    95919     37 |  1.589 % |
41.04/41.18	c |     96526 |   28314   216554   860852 | 2147483647    96329     37 |  1.589 % |
41.24/41.34	c |     96976 |   28314   216554   860852 | 2147483647    96779     37 |  1.589 % |
41.54/41.61	c |     97469 |   28314   216554   860852 | 2147483647    97272     37 |  1.589 % |
41.84/41.98	c |     98011 |   28314   216554   860852 | 2147483647    97814     37 |  1.589 % |
42.04/42.13	c |     98609 |   28297   215238   855355 | 2147483647    98379     37 |  1.589 % |
42.34/42.44	c |     99264 |   28297   215238   855355 | 2147483647    99034     37 |  1.589 % |
42.54/42.68	c |     99986 |   28297   215238   855355 | 2147483647    99756     37 |  1.589 % |
42.84/42.93	c |    100779 |   28297   215238   855355 | 2147483647   100549     37 |  1.589 % |
43.24/43.30	c |    101651 |   28297   215238   855355 | 2147483647   101421     37 |  1.589 % |
43.45/43.57	c |    102609 |   28297   215238   855355 | 2147483647   102379     37 |  1.589 % |
43.75/43.84	c |    103662 |   28297   215238   855355 | 2147483647   103432     37 |  1.589 % |
44.14/44.29	c |    104820 |   28297   215238   855355 | 2147483647   104590     38 |  1.589 % |
44.24/44.33	c |    104920 |   28297   215238   855355 | 2147483647   104690     38 |  1.589 % |
44.34/44.44	c |    105033 |   28297   215238   855355 | 2147483647   104803     38 |  1.589 % |
44.44/44.54	c |    105154 |   28296   215238   855355 | 2147483647   104923     38 |  1.607 % |
44.54/44.65	c |    105287 |   28295   215238   855355 | 2147483647   105055     38 |  1.617 % |
44.64/44.76	c |    105433 |   28295   215238   855355 | 2147483647   105201     38 |  1.617 % |
44.74/44.89	c |    105594 |   28295   215238   855355 | 2147483647   105362     38 |  1.617 % |
44.95/45.00	c |    105771 |   28295   215238   855355 | 2147483647   105539     38 |  1.617 % |
45.05/45.14	c |    105964 |   28295   215238   855355 | 2147483647   105732     38 |  1.617 % |
45.05/45.18	c |    106177 |   28295   215238   855355 | 2147483647   105945     38 |  1.617 % |
45.24/45.34	c |    106410 |   28295   215238   855355 | 2147483647   106178     38 |  1.617 % |
45.34/45.47	c |    106667 |   28295   215238   855355 | 2147483647   106435     38 |  1.617 % |
45.54/45.68	c |    106951 |   28295   215238   855355 | 2147483647   106719     38 |  1.617 % |
45.74/45.89	c |    107262 |   28295   215238   855355 | 2147483647   107030     38 |  1.617 % |
46.24/46.38	c |    107601 |   28295   215238   855355 | 2147483647   107369     38 |  1.617 % |
46.54/46.60	c |    107973 |   28295   215238   855355 | 2147483647   107741     38 |  1.617 % |
46.74/46.84	c |    108383 |   28295   215238   855355 | 2147483647   108151     38 |  1.617 % |
47.15/47.20	c |    108832 |   28295   215238   855355 | 2147483647   108600     38 |  1.617 % |
47.34/47.42	c |    109325 |   28295   215238   855355 | 2147483647   109093     38 |  1.617 % |
47.64/47.74	c |    109868 |   28295   215238   855355 | 2147483647   109636     38 |  1.617 % |
47.84/47.92	c |    110465 |   28295   215238   855355 | 2147483647   110233     38 |  1.617 % |
48.14/48.30	c |    111120 |   28295   215238   855355 | 2147483647   110888     38 |  1.617 % |
48.44/48.59	c |    111841 |   28295   215238   855355 | 2147483647   111609     38 |  1.617 % |
48.64/48.71	c |    112633 |   28295   215238   855355 | 2147483647   112401     38 |  1.617 % |
49.04/49.18	c |    113510 |   28295   215238   855355 | 2147483647   113278     38 |  1.617 % |
49.54/49.61	c |    114469 |   28295   215238   855355 | 2147483647   114237     38 |  1.617 % |
49.84/49.95	c |    115522 |   28295   215238   855355 | 2147483647   115290     38 |  1.617 % |
50.24/50.38	c |    116680 |   28295   215238   855355 | 2147483647   116448     38 |  1.617 % |
50.84/50.94	c |    117955 |   28289   215015   854565 | 2147483647   117702     38 |  1.617 % |
50.94/51.08	c |    118057 |   28289   215015   854565 | 2147483647   117804     38 |  1.617 % |
51.04/51.15	c |    118169 |   28289   215015   854565 | 2147483647   117916     38 |  1.617 % |
51.14/51.26	c |    118290 |   28289   215015   854565 | 2147483647   118037     38 |  1.617 % |
51.34/51.41	c |    118425 |   28289   215015   854565 | 2147483647   118172     38 |  1.617 % |
51.44/51.51	c |    118572 |   28289   215015   854565 | 2147483647   118319     38 |  1.617 % |
51.54/51.65	c |    118733 |   28289   215015   854565 | 2147483647   118480     38 |  1.617 % |
51.64/51.74	c |    118910 |   28289   215015   854565 | 2147483647   118657     38 |  1.617 % |
51.73/51.89	c |    119103 |   28289   215015   854565 | 2147483647   118850     38 |  1.617 % |
52.03/52.17	c |    119315 |   28289   215015   854565 | 2147483647   119062     38 |  1.617 % |
52.13/52.27	c |    119550 |   28289   215015   854565 | 2147483647   119297     38 |  1.617 % |
52.33/52.41	c |    119806 |   28289   215015   854565 | 2147483647   119553     38 |  1.617 % |
52.43/52.59	c |    120087 |   28289   215015   854565 | 2147483647   119834     38 |  1.617 % |
52.64/52.74	c |    120397 |   28289   215015   854565 | 2147483647   120144     38 |  1.617 % |
52.83/52.91	c |    120738 |   28289   215015   854565 | 2147483647   120485     38 |  1.617 % |
52.93/53.03	c |    121110 |   28289   215015   854565 | 2147483647   120857     38 |  1.617 % |
53.13/53.21	c |    121521 |   28289   215015   854565 | 2147483647   121268     38 |  1.617 % |
53.23/53.38	c |    121972 |   28289   215015   854565 | 2147483647   121719     38 |  1.617 % |
53.84/53.92	c |    122468 |   28289   215015   854565 | 2147483647   122215     38 |  1.617 % |
54.14/54.24	c |    123010 |   28289   215015   854565 | 2147483647   122757     38 |  1.617 % |
54.64/54.70	c |    123606 |   28289   215015   854565 | 2147483647   123353     38 |  1.617 % |
54.84/55.00	c |    124263 |   28289   215015   854565 | 2147483647   124010     38 |  1.617 % |
55.44/55.58	c |    124983 |   28289   215015   854565 | 2147483647   124730     38 |  1.617 % |
56.04/56.14	c |    125775 |   28289   215015   854565 | 2147483647   125522     38 |  1.617 % |
56.34/56.47	c |    126646 |   28289   215015   854565 | 2147483647   126393     38 |  1.617 % |
56.94/57.07	c |    127604 |   28289   215015   854565 | 2147483647   127351     38 |  1.617 % |
57.63/57.78	c |    128657 |   28289   215015   854565 | 2147483647   128404     38 |  1.617 % |
58.14/58.26	c |    129817 |   28289   215015   854565 | 2147483647   129564     38 |  1.617 % |
58.73/58.89	c |    131090 |   28289   215015   854565 | 2147483647   130837     38 |  1.617 % |
59.33/59.46	c |    132490 |   28289   215015   854565 | 2147483647   132237     38 |  1.617 % |
59.43/59.54	c |    132590 |   28289   215015   854565 | 2147483647   132337     38 |  1.617 % |
59.53/59.66	c |    132703 |   28289   215015   854565 | 2147483647   132450     38 |  1.617 % |
59.63/59.70	c |    132825 |   28289   215015   854565 | 2147483647   132572     38 |  1.617 % |
59.73/59.80	c |    132960 |   28289   215015   854565 | 2147483647   132707     38 |  1.617 % |
59.83/59.97	c |    133106 |   28289   215015   854565 | 2147483647   132853     38 |  1.617 % |
59.93/60.07	c |    133267 |   28289   215015   854565 | 2147483647   133014     38 |  1.617 % |
60.13/60.21	c |    133446 |   28289   215015   854565 | 2147483647   133193     38 |  1.617 % |
60.23/60.32	c |    133639 |   28288   215015   854565 | 2147483647   133385     38 |  1.628 % |
60.43/60.52	c |    133852 |   28288   215015   854565 | 2147483647   133598     38 |  1.628 % |
60.83/60.92	c |    134085 |   28288   215015   854565 | 2147483647   133831     38 |  1.628 % |
60.93/61.04	c |    134341 |   28288   215015   854565 | 2147483647   134087     38 |  1.628 % |
61.33/61.47	c |    134624 |   28288   215015   854565 | 2147483647   134370     38 |  1.628 % |
61.63/61.71	c |    134934 |   28288   215015   854565 | 2147483647   134680     38 |  1.628 % |
61.83/61.98	c |    135274 |   28286   214989   854491 | 2147483647   135020     38 |  1.628 % |
62.13/62.21	c |    135646 |   28286   214989   854491 | 2147483647   135392     38 |  1.628 % |
62.43/62.51	c |    136055 |   28286   214989   854491 | 2147483647   135801     38 |  1.628 % |
62.93/63.01	c |    136504 |   28286   214989   854491 | 2147483647   136250     38 |  1.628 % |
63.23/63.39	c |    136997 |   28286   214989   854491 | 2147483647   136743     38 |  1.628 % |
63.53/63.66	c |    137541 |   28286   214989   854491 | 2147483647   137287     38 |  1.628 % |
64.03/64.11	c |    138140 |   28286   214989   854491 | 2147483647   137886     38 |  1.628 % |
64.53/64.60	c |    138796 |   28286   214989   854491 | 2147483647   138542     38 |  1.628 % |
65.03/65.13	c |    139516 |   28286   214989   854491 | 2147483647   139262     38 |  1.628 % |
65.12/65.27	c |    140309 |   28286   214989   854491 | 2147483647   140055     38 |  1.628 % |
65.83/65.93	c |    141180 |   28286   214989   854491 | 2147483647   140926     38 |  1.628 % |
66.32/66.44	c |    142141 |   28286   214989   854491 | 2147483647   141887     38 |  1.628 % |
66.93/67.01	c |    143195 |   28286   214989   854491 | 2147483647   142941     38 |  1.628 % |
67.42/67.53	c |    144354 |   28286   214989   854491 | 2147483647   144100     38 |  1.628 % |
68.52/68.65	c |    145628 |   28286   214989   854491 | 2147483647   145374     38 |  1.628 % |
69.52/69.61	c |    147029 |   28286   214989   854491 | 2147483647   146775     38 |  1.628 % |
70.52/70.64	c |    148571 |   28286   214989   854491 | 2147483647   148317     39 |  1.628 % |
70.63/70.75	c |    148673 |   28286   214989   854491 | 2147483647   148419     39 |  1.628 % |
70.73/70.87	c |    148785 |   28286   214989   854491 | 2147483647   148531     39 |  1.628 % |
70.83/70.99	c |    148906 |   28286   214989   854491 | 2147483647   148652     39 |  1.628 % |
71.03/71.17	c |    149040 |   28286   214989   854491 | 2147483647   148786     39 |  1.628 % |
71.23/71.31	c |    149186 |   28286   214989   854491 | 2147483647   148932     39 |  1.628 % |
71.33/71.49	c |    149346 |   28286   214989   854491 | 2147483647   149092     39 |  1.628 % |
71.53/71.69	c |    149522 |   28286   214989   854491 | 2147483647   149268     39 |  1.628 % |
71.63/71.78	c |    149716 |   28286   214989   854491 | 2147483647   149462     39 |  1.628 % |
71.93/72.07	c |    149928 |   28286   214989   854491 | 2147483647   149674     39 |  1.628 % |
72.13/72.23	c |    150165 |   28286   214989   854491 | 2147483647   149911     39 |  1.628 % |
72.33/72.41	c |    150421 |   28286   214989   854491 | 2147483647   150167     39 |  1.628 % |
72.53/72.60	c |    150702 |   28286   214989   854491 | 2147483647   150448     39 |  1.628 % |
72.73/72.89	c |    151011 |   28286   214989   854491 | 2147483647   150757     39 |  1.628 % |
73.13/73.23	c |    151350 |   28285   214989   854491 | 2147483647   151095     39 |  1.631 % |
73.43/73.54	c |    151722 |   28285   214989   854491 | 2147483647   151467     39 |  1.631 % |
73.72/73.85	c |    152131 |   28285   214989   854491 | 2147483647   151876     39 |  1.631 % |
74.22/74.30	c |    152582 |   28285   214989   854491 | 2147483647   152327     39 |  1.631 % |
74.52/74.70	c |    153076 |   28285   214989   854491 | 2147483647   152821     39 |  1.631 % |
74.82/74.98	c |    153619 |   28285   214989   854491 | 2147483647   153364     39 |  1.631 % |
75.22/75.37	c |    154218 |   28285   214989   854491 | 2147483647   153963     38 |  1.631 % |
75.82/75.91	c |    154874 |   28285   214989   854491 | 2147483647   154619     38 |  1.631 % |
76.22/76.34	c |    155598 |   28285   214894   854065 | 2147483647   155341     38 |  1.631 % |
76.82/76.90	c |    156390 |   28285   214894   854065 | 2147483647   156133     38 |  1.631 % |
77.22/77.36	c |    157262 |   28285   214894   854065 | 2147483647   157005     38 |  1.631 % |
78.12/78.28	c |    158221 |   28285   214894   854065 | 2147483647   157964     38 |  1.631 % |
79.02/79.14	c |    159274 |   28285   214894   854065 | 2147483647   159017     38 |  1.631 % |
79.41/79.55	c |    160432 |   28285   214894   854065 | 2147483647   160175     38 |  1.631 % |
80.31/80.44	c |    161705 |   28285   214894   854065 | 2147483647   161448     39 |  1.631 % |
81.92/82.04	c |    163106 |   28285   214894   854065 | 2147483647   162849     39 |  1.631 % |
83.22/83.33	c |    164647 |   28285   214894   854065 | 2147483647   164390     39 |  1.631 % |
84.52/84.65	c |    166344 |   28285   214894   854065 | 2147483647   166087     39 |  1.631 % |
84.62/84.76	c |    166446 |   28285   214894   854065 | 2147483647   166189     39 |  1.631 % |
84.71/84.85	c |    166556 |   28285   214894   854065 | 2147483647   166299     39 |  1.631 % |
84.71/84.88	c |    166677 |   28285   214894   854065 | 2147483647   166420     39 |  1.631 % |
84.81/84.99	c |    166810 |   28285   214894   854065 | 2147483647   166553     39 |  1.631 % |
85.01/85.14	c |    166958 |   28285   214894   854065 | 2147483647   166701     39 |  1.631 % |
85.21/85.31	c |    167119 |   28285   214894   854065 | 2147483647   166862     39 |  1.631 % |
85.41/85.56	c |    167296 |   28285   214894   854065 | 2147483647   167039     39 |  1.631 % |
85.62/85.71	c |    167489 |   28285   214894   854065 | 2147483647   167232     39 |  1.631 % |
85.72/85.88	c |    167702 |   28285   214894   854065 | 2147483647   167445     39 |  1.631 % |
85.91/86.08	c |    167935 |   28285   214894   854065 | 2147483647   167678     39 |  1.631 % |
86.11/86.29	c |    168191 |   28285   214894   854065 | 2147483647   167934     39 |  1.631 % |
86.41/86.52	c |    168472 |   28285   214894   854065 | 2147483647   168215     39 |  1.631 % |
86.61/86.72	c |    168781 |   28285   214894   854065 | 2147483647   168524     39 |  1.631 % |
86.82/86.98	c |    169122 |   28285   214894   854065 | 2147483647   168865     39 |  1.631 % |
87.21/87.40	c |    169494 |   28285   214894   854065 | 2147483647   169237     39 |  1.631 % |
87.31/87.46	c |    169906 |   28285   214894   854065 | 2147483647   169649     39 |  1.631 % |
88.01/88.11	c |    170355 |   28285   214894   854065 | 2147483647   170098     39 |  1.631 % |
88.22/88.38	c |    170848 |   28285   214894   854065 | 2147483647   170591     39 |  1.631 % |
88.82/88.90	c |    171391 |   28285   214894   854065 | 2147483647   171134     39 |  1.631 % |
89.12/89.24	c |    171991 |   28285   214894   854065 | 2147483647   171734     39 |  1.631 % |
89.82/89.95	c |    172646 |   28285   214894   854065 | 2147483647   172389     38 |  1.631 % |
90.32/90.49	c |    173370 |   28285   214894   854065 | 2147483647   173113     38 |  1.631 % |
91.61/91.78	c |    174162 |   28285   214894   854065 | 2147483647   173905     39 |  1.631 % |
92.61/92.73	c |    175034 |   28285   214894   854065 | 2147483647   174777     39 |  1.631 % |
93.11/93.29	c |    175994 |   28285   214894   854065 | 2147483647   175737     39 |  1.631 % |
94.21/94.38	c |    177048 |   28284   214894   854065 | 2147483647   176790     38 |  1.635 % |
95.81/95.94	c |    178207 |   28284   214888   854045 | 2147483647   177949     38 |  1.635 % |
96.61/96.77	c |    179480 |   28284   214888   854045 | 2147483647   179222     38 |  1.635 % |
97.31/97.47	c |    180882 |   28284   214888   854045 | 2147483647   180624     38 |  1.635 % |
98.61/98.77	c |    182422 |   28284   214888   854045 | 2147483647   182164     38 |  1.635 % |
100.61/100.75	c |    184116 |   28284   214888   854045 | 2147483647   183858     38 |  1.635 % |
101.90/102.05	c |    185980 |   28284   214888   854045 | 2147483647   185722     38 |  1.635 % |
102.11/102.22	c |    186080 |   28284   214888   854045 | 2147483647   185822     38 |  1.635 % |
102.21/102.34	c |    186190 |   28284   214888   854045 | 2147483647   185932     38 |  1.635 % |
102.30/102.49	c |    186314 |   28284   214888   854045 | 2147483647   186056     38 |  1.635 % |
102.50/102.63	c |    186450 |   28283   214888   854045 | 2147483647   186191     38 |  1.638 % |
102.71/102.84	c |    186599 |   28283   214888   854045 | 2147483647   186340     38 |  1.638 % |
102.91/103.09	c |    186759 |   28283   214888   854045 | 2147483647   186500     38 |  1.638 % |
103.01/103.17	c |    186935 |   28283   214888   854045 | 2147483647   186676     38 |  1.638 % |
103.32/103.46	c |    187129 |   28283   214888   854045 | 2147483647   186870     38 |  1.638 % |
103.61/103.73	c |    187341 |   28283   214888   854045 | 2147483647   187082     38 |  1.638 % |
103.81/103.98	c |    187576 |   28283   214888   854045 | 2147483647   187317     38 |  1.638 % |
104.21/104.33	c |    187832 |   28283   214888   854045 | 2147483647   187573     38 |  1.638 % |
104.51/104.61	c |    188113 |   28283   214888   854045 | 2147483647   187854     38 |  1.638 % |
105.01/105.14	c |    188422 |   28283   214888   854045 | 2147483647   188163     38 |  1.638 % |
105.21/105.36	c |    188761 |   28283   214888   854045 | 2147483647   188502     38 |  1.638 % |
106.01/106.11	c |    189133 |   28283   214888   854045 | 2147483647   188874     38 |  1.638 % |
106.31/106.49	c |    189544 |   28283   214888   854045 | 2147483647   189285     38 |  1.638 % |
106.71/106.88	c |    189994 |   28283   214888   854045 | 2147483647   189735     38 |  1.638 % |
107.51/107.63	c |    190488 |   28283   214888   854045 | 2147483647   190229     38 |  1.638 % |
107.81/107.91	c |    191035 |   28283   214888   854045 | 2147483647   190776     38 |  1.638 % |
108.51/108.65	c |    191632 |   28283   214888   854045 | 2147483647   191373     38 |  1.638 % |
109.41/109.54	c |    192287 |   28282   214888   854045 | 2147483647   192027     38 |  1.655 % |
110.00/110.16	c |    193007 |   28282   214888   854045 | 2147483647   192747     38 |  1.655 % |
110.40/110.53	c |    193799 |   28282   214888   854045 | 2147483647   193539     38 |  1.655 % |
111.10/111.29	c |    194678 |   28282   214888   854045 | 2147483647   194418     38 |  1.655 % |
111.70/111.89	c |    195636 |   28282   214888   854045 | 2147483647   195376     39 |  1.655 % |
112.50/112.61	c |    196691 |   28282   214888   854045 | 2147483647   196431     39 |  1.655 % |
113.70/113.89	c |    197850 |   28282   214888   854045 | 2147483647   197590     39 |  1.655 % |
114.80/114.93	c |    199127 |   28282   214888   854045 | 2147483647   198867     39 |  1.655 % |
115.50/115.67	c |    200528 |   28282   214888   854045 | 2147483647   200268     39 |  1.655 % |
117.01/117.12	c |    202070 |   28282   214888   854045 | 2147483647   201810     39 |  1.655 % |
118.31/118.40	c |    203765 |   28282   214888   854045 | 2147483647   203505     39 |  1.655 % |
119.61/119.74	c |    205628 |   28278   214825   853824 | 2147483647   205368     39 |  1.655 % |
121.00/121.17	c |    207677 |   28278   214825   853824 | 2147483647   207417     39 |  1.655 % |
121.20/121.38	c |    207777 |   28278   214825   853824 | 2147483647   207517     39 |  1.655 % |
121.40/121.52	c |    207887 |   28278   214825   853824 | 2147483647   207627     39 |  1.655 % |
121.60/121.70	c |    208010 |   28278   214825   853824 | 2147483647   207750     39 |  1.655 % |
121.70/121.86	c |    208144 |   28278   214825   853824 | 2147483647   207884     39 |  1.655 % |
121.80/121.99	c |    208290 |   28278   214825   853824 | 2147483647   208030     39 |  1.655 % |
122.10/122.21	c |    208451 |   28278   214825   853824 | 2147483647   208191     39 |  1.655 % |
122.10/122.28	c |    208627 |   28278   214825   853824 | 2147483647   208367     39 |  1.655 % |
122.40/122.51	c |    208822 |   28278   214825   853824 | 2147483647   208562     39 |  1.655 % |
122.60/122.73	c |    209037 |   28278   214825   853824 | 2147483647   208777     39 |  1.655 % |
123.11/123.21	c |    209270 |   28278   214825   853824 | 2147483647   209010     39 |  1.655 % |
123.40/123.53	c |    209528 |   28278   214825   853824 | 2147483647   209268     39 |  1.655 % |
123.70/123.90	c |    209810 |   28278   214825   853824 | 2147483647   209550     39 |  1.655 % |
124.30/124.42	c |    210119 |   28278   214825   853824 |   209740   209859     39 |  1.655 % |
124.40/124.55	c |    210458 |   28278   214825   853824 |   209740   210198     39 |  1.655 % |
124.80/124.97	c |    210830 |   28278   214825   853824 |   209740   210570     39 |  1.655 % |
125.50/125.67	c |    211239 |   28278   214825   853824 |   209740   187249     37 |  1.655 % |
125.80/125.95	c |    211689 |   28278   214825   853824 |   209740   187699     37 |  1.655 % |
126.20/126.33	c |    212182 |   28278   214825   853824 |   209740   188192     37 |  1.655 % |
126.80/126.96	c |    212725 |   28278   214825   853824 |   209740   188735     37 |  1.655 % |
127.60/127.72	c |    213321 |   28278   214825   853824 |   209740   189331     37 |  1.655 % |
128.20/128.33	c |    213977 |   28278   214825   853824 |   209740   189987     37 |  1.655 % |
129.10/129.21	c |    214698 |   28278   214825   853824 |   209740   190708     37 |  1.655 % |
129.60/129.71	c |    215491 |   28278   214825   853824 |   209740   191501     37 |  1.655 % |
130.30/130.43	c |    216362 |   28278   214825   853824 |   209740   192372     38 |  1.655 % |
131.40/131.50	c |    217320 |   28278   214825   853824 |   209740   193330     38 |  1.655 % |
132.00/132.15	c |    218373 |   28278   214825   853824 |   209740   194383     38 |  1.655 % |
132.69/132.87	c |    219531 |   28278   214825   853824 |   209740   195541     38 |  1.656 % |
134.69/134.89	c |    220804 |   28278   214825   853824 | 2147483647   196814     38 |  1.655 % |
135.89/136.08	c |    222204 |   28278   214825   853824 | 2147483647   198214     38 |  1.655 % |
136.99/137.14	c |    223744 |   28278   214825   853824 | 2147483647   199754     38 |  1.655 % |
138.19/138.40	c |    225442 |   28278   214825   853824 | 2147483647   201452     38 |  1.655 % |
140.29/140.41	c |    227308 |   28278   214825   853824 | 2147483647   203318     38 |  1.655 % |
142.89/143.09	c |    229357 |   28278   214825   853824 | 2147483647   205367     38 |  1.655 % |
144.29/144.44	c |    231611 |   28278   214825   853824 | 2147483647   207621     38 |  1.655 % |
144.49/144.65	c |    231714 |   28278   214825   853824 | 2147483647   207724     38 |  1.655 % |
144.59/144.76	c |    231824 |   28278   214825   853824 | 2147483647   207834     38 |  1.655 % |
144.69/144.88	c |    231946 |   28278   214825   853824 | 2147483647   207956     38 |  1.655 % |
144.89/145.09	c |    232079 |   28278   214825   853824 | 2147483647   208089     38 |  1.655 % |
145.09/145.22	c |    232225 |   28278   214825   853824 | 2147483647   208235     38 |  1.655 % |
145.19/145.31	c |    232385 |   28278   214825   853824 | 2147483647   208395     38 |  1.655 % |
145.19/145.36	c |    232561 |   28278   214825   853824 | 2147483647   208571     38 |  1.655 % |
145.49/145.60	c |    232755 |   28278   214825   853824 | 2147483647   208765     38 |  1.655 % |
145.69/145.89	c |    232967 |   28278   214825   853824 | 2147483647   208977     38 |  1.655 % |
146.19/146.33	c |    233202 |   28278   214825   853824 | 2147483647   209212     38 |  1.655 % |
146.69/146.81	c |    233458 |   28278   214825   853824 | 2147483647   209468     38 |  1.655 % |
147.19/147.30	c |    233743 |   28278   214825   853824 | 2147483647   209753     38 |  1.656 % |
147.29/147.47	c |    234054 |   28278   214825   853824 | 2147483647   210064     38 |  1.655 % |
147.69/147.80	c |    234395 |   28278   214825   853824 | 2147483647   210405     38 |  1.655 % |
147.99/148.10	c |    234767 |   28278   214825   853824 | 2147483647   210777     38 |  1.655 % |
148.29/148.46	c |    235176 |   28278   214825   853824 | 2147483647   211186     38 |  1.655 % |
148.79/148.99	c |    235625 |   28278   214825   853824 | 2147483647   211635     38 |  1.655 % |
149.69/149.83	c |    236119 |   28278   214825   853824 | 2147483647   212129     38 |  1.655 % |
150.09/150.24	c |    236665 |   28278   214825   853824 | 2147483647   212675     38 |  1.655 % |
150.79/150.98	c |    237261 |   28278   214825   853824 | 2147483647   213271     38 |  1.655 % |
151.48/151.67	c |    237916 |   28278   214825   853824 | 2147483647   213926     38 |  1.655 % |
152.08/152.22	c |    238637 |   28278   214825   853824 | 2147483647   214647     38 |  1.655 % |
152.79/152.92	c |    239429 |   28278   214825   853824 | 2147483647   215439     38 |  1.655 % |
153.38/153.53	c |    240301 |   28278   214825   853824 | 2147483647   216311     38 |  1.655 % |
154.29/154.42	c |    241260 |   28278   214825   853824 | 2147483647   217270     38 |  1.655 % |
155.59/155.76	c |    242313 |   28278   214825   853824 | 2147483647   218323     38 |  1.655 % |
156.69/156.80	c |    243473 |   28278   214825   853824 | 2147483647   219483     38 |  1.655 % |
158.39/158.56	c |    244747 |   28278   214825   853824 | 2147483647   220757     38 |  1.655 % |
159.39/159.57	c |    246149 |   28278   214825   853824 | 2147483647   222159     38 |  1.655 % |
160.39/160.57	c |    247690 |   28278   214825   853824 | 2147483647   223700     38 |  1.655 % |
161.38/161.51	c |    249384 |   28278   214825   853824 | 2147483647   225394     38 |  1.655 % |
162.48/162.62	c |    251248 |   28278   214825   853824 |   226010   227258     38 |  1.655 % |
164.98/165.12	c |    253298 |   28214   213285   848536 |   226010   206580     38 |  1.878 % |
167.78/167.91	c |    255551 |   28214   213285   848536 |   226010   208833     38 |  1.878 % |
169.18/169.40	c |    258029 |   28214   213285   848536 |   226010   211311     38 |  1.878 % |
169.38/169.57	c |    258129 |   28214   213285   848536 |   226010   211411     38 |  1.878 % |
169.68/169.85	c |    258242 |   28214   213285   848536 |   226010   211523     38 |  1.899 % |
169.88/170.01	c |    258363 |   28212   213285   848536 |   226010   211644     38 |  1.899 % |
170.18/170.32	c |    258498 |   28212   213285   848536 |   226010   211779     38 |  1.899 % |
170.38/170.55	c |    258645 |   28212   213285   848536 |   226010   211926     38 |  1.899 % |
170.48/170.69	c |    258805 |   28212   213285   848536 |   226010   212086     38 |  1.899 % |
170.88/171.05	c |    258981 |   28212   213285   848536 |   226010   212262     38 |  1.899 % |
171.08/171.21	c |    259174 |   28212   213285   848536 |   226010   212455     38 |  1.899 % |
171.18/171.35	c |    259386 |   28212   213285   848536 |   226010   212667     38 |  1.899 % |
171.58/171.73	c |    259621 |   28212   213285   848536 |   226010   212902     38 |  1.899 % |
171.87/172.01	c |    259880 |   28212   213285   848536 |   226010   213161     38 |  1.899 % |
172.07/172.29	c |    260164 |   28212   213285   848536 | 2147483647   213445     38 |  1.899 % |
172.48/172.68	c |    260474 |   28212   213285   848536 | 2147483647   213755     38 |  1.899 % |
172.87/173.01	c |    260815 |   28212   213285   848536 | 2147483647   214096     38 |  1.899 % |
173.37/173.58	c |    261187 |   28212   213285   848536 | 2147483647   214468     38 |  1.899 % |
173.77/173.98	c |    261596 |   28212   213285   848536 | 2147483647   214877     38 |  1.899 % |
174.37/174.57	c |    262045 |   28212   213285   848536 | 2147483647   215326     38 |  1.899 % |
174.87/175.08	c |    262541 |   28212   213285   848536 | 2147483647   215822     38 |  1.899 % |
175.37/175.56	c |    263084 |   28212   213285   848536 | 2147483647   216365     38 |  1.899 % |
175.77/175.99	c |    263680 |   28212   213285   848536 | 2147483647   216961     38 |  1.899 % |
176.57/176.78	c |    264336 |   28212   213285   848536 | 2147483647   217617     39 |  1.899 % |
176.97/177.15	c |    265058 |   28212   213285   848536 | 2147483647   218339     39 |  1.899 % |
177.77/177.97	c |    265856 |   28212   213285   848536 | 2147483647   219137     39 |  1.899 % |
178.47/178.60	c |    266729 |   28212   213285   848536 | 2147483647   220010     39 |  1.899 % |
178.97/179.20	c |    267687 |   28212   213285   848536 | 2147483647   220968     39 |  1.899 % |
180.17/180.34	c |    268743 |   28212   213285   848536 | 2147483647   222024     39 |  1.899 % |
181.07/181.22	c |    269901 |   28212   213285   848536 | 2147483647   223182     39 |  1.899 % |
182.37/182.53	c |    271175 |   28212   213285   848536 |   223281   224456     39 |  1.899 % |
184.07/184.25	c |    272579 |   28212   213285   848536 |   223281   195040     38 |  1.899 % |
185.77/185.91	c |    274119 |   28212   213285   848536 |   223281   196580     38 |  1.899 % |
187.57/187.71	c |    275813 |   28212   213285   848536 |   223281   198274     38 |  1.899 % |
188.97/189.19	c |    277676 |   28212   213285   848536 |   223281   200137     38 |  1.899 % |
190.87/191.00	c |    279725 |   28212   213285   848536 |   223281   202186     38 |  1.899 % |
192.87/193.06	c |    281979 |   28208   213246   848417 | 2147483647   204440     38 |  1.899 % |
194.96/195.11	c |    284458 |   28208   213246   848417 | 2147483647   206919     38 |  1.899 % |
196.96/197.15	c |    287183 |   28208   213246   848417 | 2147483647   209644     38 |  1.899 % |
197.16/197.32	c |    287283 |   28208   213246   848417 | 2147483647   209744     38 |  1.899 % |
197.26/197.42	c |    287393 |   28208   213246   848417 | 2147483647   209854     38 |  1.899 % |
197.46/197.61	c |    287514 |   28208   213246   848417 | 2147483647   209975     38 |  1.899 % |
197.56/197.75	c |    287647 |   28208   213246   848417 | 2147483647   210108     38 |  1.899 % |
197.87/198.06	c |    287793 |   28208   213246   848417 | 2147483647   210254     38 |  1.899 % |
198.16/198.32	c |    287953 |   28208   213246   848417 | 2147483647   210414     38 |  1.899 % |
198.46/198.60	c |    288129 |   28208   213246   848417 | 2147483647   210590     38 |  1.899 % |
198.66/198.81	c |    288322 |   28208   213246   848417 | 2147483647   210783     38 |  1.899 % |
198.97/199.12	c |    288534 |   28208   213246   848417 | 2147483647   210995     38 |  1.899 % |
199.26/199.47	c |    288767 |   28208   213246   848417 | 2147483647   211228     38 |  1.899 % |
199.56/199.80	c |    289032 |   28208   213246   848417 | 2147483647   211493     38 |  1.899 % |
199.96/200.19	c |    289314 |   28208   213246   848417 | 2147483647   211775     38 |  1.899 % |
200.36/200.58	c |    289624 |   28208   213246   848417 | 2147483647   212085     38 |  1.899 % |
200.76/200.96	c |    289963 |   28208   213246   848417 | 2147483647   212424     38 |  1.899 % |
201.16/201.33	c |    290336 |   28208   213246   848417 | 2147483647   212797     38 |  1.899 % |
201.76/201.96	c |    290745 |   28208   213246   848417 | 2147483647   213206     38 |  1.899 % |
202.06/202.27	c |    291199 |   28208   213246   848417 | 2147483647   213660     38 |  1.899 % |
202.57/202.74	c |    291692 |   28208   213246   848417 | 2147483647   214153     38 |  1.899 % |
203.17/203.31	c |    292234 |   28208   213246   848417 | 2147483647   214695     38 |  1.899 % |
203.67/203.82	c |    292830 |   28208   213246   848417 | 2147483647   215291     38 |  1.899 % |
204.27/204.45	c |    293485 |   28208   213246   848417 | 2147483647   215946     38 |  1.899 % |
204.77/204.98	c |    294205 |   28208   213246   848417 | 2147483647   216666     38 |  1.899 % |
205.77/205.99	c |    294998 |   28208   213246   848417 | 2147483647   217459     39 |  1.899 % |
206.77/206.90	c |    295870 |   28208   213246   848417 | 2147483647   218331     39 |  1.899 % |
207.77/207.94	c |    296829 |   28208   213246   848417 | 2147483647   219290     39 |  1.899 % |
208.67/208.82	c |    297883 |   28208   213246   848417 | 2147483647   220344     39 |  1.899 % |
209.87/210.06	c |    299041 |   28208   213246   848417 | 2147483647   221502     39 |  1.899 % |
211.77/211.99	c |    300320 |   28208   213246   848417 | 2147483647   222781     39 |  1.899 % |
213.17/213.39	c |    301722 |   28208   213246   848417 | 2147483647   224183     39 |  1.899 % |
214.66/214.80	c |    303262 |   28208   213246   848417 | 2147483647   225723     39 |  1.899 % |
216.16/216.30	c |    304958 |   28208   213246   848417 | 2147483647   227419     39 |  1.899 % |
218.36/218.56	c |    306821 |   28208   213246   848417 | 2147483647   229282     39 |  1.899 % |
220.15/220.32	c |    308870 |   28208   213246   848417 | 2147483647   231331     39 |  1.899 % |
223.15/223.34	c |    311124 |   28208   213246   848417 |   232462   233585     39 |  1.899 % |
225.85/226.04	c |    313604 |   28208   213246   848417 |   232462   198204     39 |  1.899 % |
228.55/228.76	c |    316329 |   28208   213246   848417 |   232462   200929     39 |  1.899 % |
231.35/231.51	c |    319326 |   28208   213246   848417 |   232462   203926     40 |  1.899 % |
231.46/231.63	c |    319427 |   28208   213246   848417 |   232462   204027     40 |  1.899 % |
231.56/231.71	c |    319538 |   28208   213246   848417 |   232462   204138     40 |  1.899 % |
231.76/231.93	c |    319659 |   28208   213246   848417 |   232462   204259     40 |  1.899 % |
231.86/232.07	c |    319793 |   28208   213246   848417 |   232462   204393     40 |  1.899 % |
232.06/232.29	c |    319939 |   28208   213246   848417 |   232462   204539     40 |  1.899 % |
232.36/232.56	c |    320100 |   28208   213246   848417 |   204601   204700     40 |  1.899 % |
232.66/232.80	c |    320276 |   28208   213246   848417 |   204601   204876     40 |  1.899 % |
232.86/233.02	c |    320469 |   28208   213246   848417 |   204601   205069     40 |  1.899 % |
233.06/233.28	c |    320682 |   28208   213246   848417 |   204601   205282     40 |  1.899 % |
233.86/234.09	c |    320915 |   28208   213246   848417 |   204601   165177     39 |  1.899 % |
234.16/234.39	c |    321171 |   28208   213246   848417 |   204601   165433     39 |  1.899 % |
234.66/234.85	c |    321457 |   28208   213246   848417 |   204601   165719     39 |  1.899 % |
234.96/235.16	c |    321766 |   28208   213246   848417 |   204601   166028     39 |  1.899 % |
235.35/235.54	c |    322107 |   28208   213246   848417 |   204601   166369     39 |  1.899 % |
235.65/235.89	c |    322485 |   28208   213246   848417 |   204601   166747     39 |  1.899 % |
236.26/236.41	c |    322894 |   28208   213246   848417 |   204601   167156     39 |  1.899 % |
236.75/236.97	c |    323344 |   28208   213246   848417 |   204601   167606     39 |  1.899 % |
237.25/237.50	c |    323837 |   28208   213246   848417 |   204601   168099     39 |  1.899 % |
237.75/237.99	c |    324379 |   28208   213246   848417 |   204601   168641     39 |  1.899 % |
238.46/238.67	c |    324975 |   28208   213246   848417 |   204601   169237     39 |  1.899 % |
239.25/239.43	c |    325633 |   28208   213246   848417 |   204601   169895     39 |  1.899 % |
239.75/239.98	c |    326354 |   28208   213246   848417 |   204601   170616     39 |  1.899 % |
240.15/240.31	c |    327148 |   28208   213246   848417 |   204601   171410     39 |  1.899 % |
240.45/240.64	c |    328019 |   28208   213246   848417 |   204601   172281     39 |  1.899 % |
241.15/241.38	c |    328977 |   28208   213246   848417 |   204601   173239     39 |  1.899 % |
242.45/242.63	c |    330030 |   28208   213246   848417 | 2147483647   174292     39 |  1.899 % |
243.15/243.40	c |    331189 |   28208   213246   848417 | 2147483647   175451     39 |  1.899 % |
244.75/244.96	c |    332463 |   28208   213246   848417 | 2147483647   176725     39 |  1.899 % |
246.75/246.99	c |    333864 |   28208   213246   848417 | 2147483647   178126     39 |  1.899 % |
248.65/248.83	c |    335406 |   28208   213246   848417 | 2147483647   179668     39 |  1.899 % |
250.15/250.37	c |    337101 |   28208   213246   848417 | 2147483647   181363     39 |  1.899 % |
252.35/252.55	c |    338964 |   28208   213246   848417 | 2147483647   183226     39 |  1.899 % |
254.15/254.35	c |    341013 |   28208   213246   848417 | 2147483647   185275     40 |  1.899 % |
255.95/256.16	c |    343266 |   28208   213246   848417 | 2147483647   187528     40 |  1.899 % |
257.65/257.88	c |    345744 |   28208   213246   848417 | 2147483647   190006     40 |  1.899 % |
260.94/261.17	c |    348469 |   28208   213246   848417 | 2147483647   192731     40 |  1.899 % |
263.75/263.99	c |    351466 |   28208   213246   848417 |   194262   195728     41 |  1.899 % |
268.14/268.35	c |    354764 |   28208   213246   848417 |   194262   164931     41 |  1.899 % |
268.24/268.46	c |    354867 |   28208   213246   848417 |   194262   165034     41 |  1.899 % |
268.44/268.69	c |    354977 |   28208   213246   848417 |   194262   165144     41 |  1.899 % |
268.54/268.79	c |    355098 |   28208   213246   848417 |   194262   165265     41 |  1.899 % |
268.74/268.91	c |    355233 |   28208   213246   848417 |   194262   165400     41 |  1.899 % |
268.94/269.13	c |    355381 |   28208   213246   848417 |   194262   165548     41 |  1.899 % |
269.04/269.29	c |    355543 |   28208   213246   848417 |   194262   165710     41 |  1.899 % |
269.34/269.57	c |    355720 |   28208   213246   848417 |   194262   165887     41 |  1.899 % |
269.64/269.85	c |    355915 |   28208   213246   848417 |   194262   166082     41 |  1.899 % |
269.94/270.14	c |    356128 |   28208   213246   848417 |   194262   166295     41 |  1.899 % |
270.24/270.49	c |    356361 |   28208   213246   848417 |   194262   166528     41 |  1.899 % |
270.64/270.83	c |    356617 |   28208   213246   848417 |   194262   166784     41 |  1.899 % |
271.04/271.21	c |    356898 |   28208   213246   848417 |   194262   167065     41 |  1.899 % |
271.24/271.47	c |    357207 |   28208   213246   848417 |   194262   167374     41 |  1.899 % |
271.84/272.02	c |    357547 |   28208   213246   848417 |   194262   167714     41 |  1.899 % |
272.04/272.27	c |    357921 |   28208   213246   848417 |   194262   168088     41 |  1.899 % |
272.44/272.67	c |    358330 |   28208   213246   848417 |   194262   168497     41 |  1.899 % |
272.74/272.91	c |    358781 |   28208   213246   848417 |   194262   168948     41 |  1.899 % |
273.34/273.59	c |    359275 |   28208   213246   848417 |   194262   169442     41 |  1.899 % |
273.74/273.94	c |    359817 |   28208   213246   848417 |   194262   169984     41 |  1.899 % |
274.43/274.67	c |    360415 |   28208   213246   848417 |   170168   170582     41 |  1.899 % |
275.03/275.24	c |    361073 |   28208   213246   848417 |   170168   171240     41 |  1.899 % |
276.13/276.33	c |    361793 |   28208   213246   848417 |   170168   154836     40 |  1.899 % |
276.53/276.75	c |    362586 |   28208   213246   848417 |   170168   155629     40 |  1.899 % |
278.04/278.27	c |    363458 |   28208   213246   848417 |   170168   156501     40 |  1.899 % |
278.93/279.19	c |    364416 |   28208   213246   848417 |   170168   157459     40 |  1.899 % |
280.73/280.94	c |    365469 |   28208   213246   848417 |   170168   158512     40 |  1.899 % |
281.83/282.02	c |    366627 |   28208   213246   848417 |   170168   159670     40 |  1.899 % |
282.44/282.66	c |    367901 |   28208   213246   848417 |   170168   160944     40 |  1.899 % |
283.83/284.09	c |    369301 |   28208   213246   848417 |   170168   162344     40 |  1.899 % |
285.23/285.41	c |    370841 |   28208   213246   848417 | 2147483647   163884     40 |  1.899 % |
288.43/288.61	c |    372536 |   28208   213246   848417 | 2147483647   165579     40 |  1.899 % |
289.53/289.72	c |    374405 |   28208   213246   848417 | 2147483647   167448     40 |  1.899 % |
291.23/291.49	c |    376454 |   28208   213246   848417 | 2147483647   169497     40 |  1.899 % |
294.83/295.02	c |    378707 |   28208   213246   848417 | 2147483647   171750     40 |  1.899 % |
298.33/298.52	c |    381186 |   28208   213246   848417 | 2147483647   174229     40 |  1.899 % |
300.73/300.91	c |    383911 |   28208   213246   848417 | 2147483647   176954     40 |  1.899 % |
303.92/304.11	c |    386911 |   28208   213246   848417 | 2147483647   179954     41 |  1.899 % |
309.22/309.50	c |    390207 |   28208   213246   848417 | 2147483647   183250     41 |  1.899 % |
313.52/313.74	c |    393832 |   28208   213246   848417 | 2147483647   186875     41 |  1.899 % |
313.72/313.94	c |    393934 |   28208   213246   848417 | 2147483647   186977     41 |  1.899 % |
313.92/314.16	c |    394048 |   28208   213246   848417 | 2147483647   187091     41 |  1.899 % |
314.33/314.56	c |    394170 |   28208   213246   848417 | 2147483647   187213     41 |  1.899 % |
314.52/314.77	c |    394304 |   28208   213246   848417 | 2147483647   187347     41 |  1.899 % |
314.82/315.04	c |    394450 |   28208   213246   848417 | 2147483647   187493     41 |  1.899 % |
315.02/315.23	c |    394611 |   28208   213246   848417 | 2147483647   187654     41 |  1.899 % |
315.22/315.45	c |    394788 |   28208   213246   848417 | 2147483647   187831     41 |  1.899 % |
315.72/315.91	c |    394982 |   28207   213241   848401 | 2147483647   188024     41 |  1.902 % |
316.02/316.20	c |    395195 |   28207   213241   848401 | 2147483647   188237     41 |  1.902 % |
316.12/316.38	c |    395428 |   28207   213241   848401 | 2147483647   188470     41 |  1.902 % |
316.42/316.66	c |    395685 |   28207   213241   848401 | 2147483647   188727     41 |  1.902 % |
316.92/317.19	c |    395968 |   28207   213241   848401 | 2147483647   189010     41 |  1.902 % |
317.42/317.63	c |    396278 |   28207   213241   848401 | 2147483647   189320     41 |  1.902 % |
318.12/318.37	c |    396619 |   28207   213241   848401 | 2147483647   189661     41 |  1.902 % |
318.32/318.58	c |    396994 |   28207   213241   848401 | 2147483647   190036     41 |  1.902 % |
319.22/319.41	c |    397405 |   28207   213241   848401 | 2147483647   190447     41 |  1.902 % |
319.83/320.04	c |    397856 |   28207   213241   848401 | 2147483647   190898     41 |  1.902 % |
320.22/320.48	c |    398350 |   28207   213241   848401 | 2147483647   191392     41 |  1.902 % |
321.22/321.50	c |    398892 |   28207   213241   848401 | 2147483647   191934     41 |  1.902 % |
322.12/322.37	c |    399489 |   28207   213241   848401 | 2147483647   192531     41 |  1.902 % |
323.02/323.27	c |    400146 |   28207   213241   848401 | 2147483647   193188     41 |  1.902 % |
324.42/324.66	c |    400867 |   28207   213241   848401 | 2147483647   193909     41 |  1.902 % |
325.32/325.52	c |    401660 |   28207   213241   848401 | 2147483647   194702     41 |  1.902 % |
326.92/327.13	c |    402534 |   28207   213241   848401 | 2147483647   195576     41 |  1.902 % |
327.52/327.75	c |    403494 |   28207   213241   848401 | 2147483647   196536     41 |  1.902 % |
329.02/329.21	c |    404548 |   28207   213241   848401 | 2147483647   197590     41 |  1.902 % |
330.42/330.65	c |    405706 |   28207   213241   848401 | 2147483647   198748     41 |  1.902 % |
331.82/332.07	c |    406979 |   28207   213241   848401 | 2147483647   200021     41 |  1.902 % |
333.12/333.33	c |    408380 |   28207   213241   848401 | 2147483647   201422     41 |  1.902 % |
336.32/336.55	c |    409921 |   28207   213241   848401 | 2147483647   202963     41 |  1.902 % |
338.52/338.72	c |    411617 |   28207   213241   848401 |   203043   204659     42 |  1.902 % |
340.41/340.62	c |    413481 |   28207   213241   848401 |   203043   184469     40 |  1.902 % |
342.71/342.98	c |    415534 |   28207   213241   848401 |   203043   186522     41 |  1.902 % |
344.91/345.17	c |    417787 |   28203   213241   848401 |   203043   188774     41 |  1.989 % |
349.81/350.08	c |    420265 |   28203   213241   848401 |   190987   191252     41 |  1.989 % |
354.51/354.75	c |    422991 |   28182   212883   847079 |   190987   174721     40 |  1.989 % |
357.91/358.14	c |    425988 |   28182   212883   847079 |   190987   177718     40 |  1.989 % |
361.71/361.91	c |    429290 |   28182   212883   847079 |   190987   181020     40 |  1.989 % |
366.70/366.95	c |    432915 |   28182   212883   847079 |   181731   161585     39 |  1.989 % |
371.21/371.42	c |    436902 |   28182   212883   847079 |   181731   165572     40 |  1.989 % |
371.31/371.59	c |    437002 |   28182   212883   847079 |   181731   165672     40 |  1.989 % |
371.61/371.83	c |    437112 |   28182   212883   847079 |   181731   165782     40 |  1.989 % |
371.71/371.99	c |    437233 |   28182   212883   847079 |   181731   165903     40 |  1.989 % |
372.00/372.20	c |    437370 |   28182   212883   847079 |   181731   166040     40 |  1.989 % |
372.10/372.36	c |    437516 |   28182   212883   847079 |   181731   166186     40 |  1.989 % |
372.61/372.82	c |    437676 |   28182   212883   847079 |   181731   166346     40 |  1.989 % |
373.00/373.22	c |    437853 |   28177   212883   847079 |   181731   166522     40 |  2.549 % |
373.20/373.46	c |    438047 |   28177   212883   847079 |   181731   166716     40 |  2.549 % |
373.50/373.74	c |    438263 |   28177   212883   847079 |   181731   166932     40 |  2.549 % |
373.90/374.18	c |    438496 |   28177   212883   847079 |   181731   167165     40 |  2.549 % |
374.40/374.60	c |    438752 |   28177   212883   847079 |   181731   167421     40 |  2.549 % |
374.70/374.97	c |    439033 |   28177   212883   847079 |   181731   167702     40 |  2.549 % |
375.00/375.29	c |    439344 |   28177   212883   847079 |   181731   168013     40 |  2.549 % |
375.40/375.61	c |    439685 |   28177   212883   847079 |   181731   168354     40 |  2.549 % |
375.80/376.02	c |    440057 |   28177   212883   847079 |   168670   168726     40 |  2.549 % |
376.30/376.59	c |    440466 |   28177   212883   847079 |   168670   169135     40 |  2.549 % |
377.20/377.47	c |    440918 |   28177   212883   847079 |   168670   169587     40 |  2.549 % |
378.20/378.43	c |    441412 |   28177   212883   847079 |   168670   153123     39 |  2.549 % |
378.80/379.07	c |    441957 |   28177   212883   847079 |   168670   153668     39 |  2.549 % |
379.50/379.79	c |    442553 |   28177   212883   847079 |   168670   154264     39 |  2.549 % |
380.60/380.80	c |    443209 |   28177   212883   847079 |   168670   154920     39 |  2.549 % |
381.90/382.15	c |    443929 |   28021   209913   836345 |   168670   149401     39 |  2.549 % |
383.49/383.79	c |    444721 |   28021   209913   836345 |   168670   150193     39 |  2.549 % |
384.29/384.56	c |    445592 |   28021   209913   836345 |   168670   151064     39 |  2.549 % |
385.19/385.45	c |    446551 |   28021   209913   836345 |   168670   152023     39 |  2.549 % |
386.39/386.69	c |    447607 |   28021   209913   836345 |   168670   153079     39 |  2.549 % |
388.49/388.74	c |    448770 |   28021   209913   836345 |   168670   154242     39 |  2.549 % |
390.39/390.70	c |    450045 |   28021   209913   836345 | 2147483647   155517     39 |  2.549 % |
392.19/392.47	c |    451448 |   28021   209913   836345 | 2147483647   156920     39 |  2.549 % |
394.29/394.59	c |    452989 |   28021   209913   836345 | 2147483647   158461     40 |  2.549 % |
396.59/396.87	c |    454684 |   28021   209913   836345 | 2147483647   160156     40 |  2.549 % |
399.69/400.00	c |    456547 |   28021   209913   836345 | 2147483647   162019     40 |  2.549 % |
401.89/402.19	c |    458597 |   28021   209913   836345 | 2147483647   164069     40 |  2.549 % |
404.29/404.50	c |    460852 |   28021   209913   836345 | 2147483647   166324     40 |  2.549 % |
407.59/407.84	c |    463330 |   28021   209913   836345 | 2147483647   168802     40 |  2.549 % |
411.39/411.60	c |    466056 |   28021   209913   836345 | 2147483647   171528     40 |  2.549 % |
414.69/414.96	c |    469054 |   28021   209913   836345 | 2147483647   174526     41 |  2.549 % |
418.69/418.98	c |    472354 |   28021   209913   836345 |   175472   177826     41 |  2.549 % |
424.29/424.57	c |    475981 |   28021   209913   836345 |   175472   154512     40 |  2.549 % |
426.88/427.15	c |    479969 |   28021   209913   836345 |   175472   158500     40 |  2.549 % |
431.68/431.99	c |    484354 |   28020   209910   836339 |   158531   162884     40 |  2.553 % |
432.28/432.51	c |    484457 |   28020   209910   836339 |   158531   139662     40 |  2.553 % |
432.38/432.66	c |    484570 |   28020   209910   836339 |   158531   139775     40 |  2.553 % |
432.58/432.84	c |    484693 |   28020   209910   836339 |   158531   139898     40 |  2.553 % |
432.78/433.09	c |    484826 |   28020   209910   836339 |   158531   140031     40 |  2.553 % |
432.98/433.23	c |    484972 |   28020   209910   836339 |   158531   140177     40 |  2.553 % |
433.38/433.60	c |    485136 |   28020   209910   836339 |   158531   140341     40 |  2.553 % |
433.58/433.82	c |    485313 |   28020   209910   836339 |   158531   140518     40 |  2.553 % |
433.78/434.08	c |    485506 |   28020   209910   836339 |   158531   140711     40 |  2.553 % |
434.19/434.43	c |    485722 |   28020   209910   836339 |   158531   140927     40 |  2.553 % |
434.48/434.74	c |    485957 |   28020   209910   836339 |   158531   141162     40 |  2.553 % |
434.88/435.20	c |    486214 |   28020   209910   836339 |   158531   141419     40 |  2.553 % |
435.48/435.74	c |    486495 |   28020   209910   836339 |   158531   141700     40 |  2.553 % |
435.68/435.95	c |    486804 |   28020   209910   836339 |   158531   142009     40 |  2.553 % |
436.18/436.40	c |    487143 |   28020   209910   836339 |   158531   142348     40 |  2.553 % |
436.68/436.91	c |    487519 |   28020   209910   836339 |   158531   142724     40 |  2.553 % |
437.28/437.57	c |    487928 |   28020   209910   836339 |   158531   143133     40 |  2.553 % |
437.88/438.10	c |    488378 |   28020   209910   836339 |   158531   143583     40 |  2.553 % |
438.69/438.95	c |    488871 |   28020   209910   836339 |   158531   144076     40 |  2.553 % |
439.38/439.66	c |    489413 |   28020   209910   836339 |   158531   144618     40 |  2.553 % |
440.18/440.49	c |    490009 |   28020   209910   836339 | 2147483647   145214     40 |  2.553 % |
441.08/441.30	c |    490664 |   28020   209910   836339 | 2147483647   145869     40 |  2.553 % |
441.68/442.00	c |    491388 |   28020   209910   836339 | 2147483647   146593     40 |  2.553 % |
442.59/442.82	c |    492181 |   28020   209910   836339 | 2147483647   147386     40 |  2.553 % |
443.79/444.03	c |    493055 |   28020   209910   836339 | 2147483647   148260     40 |  2.553 % |
444.99/445.22	c |    494014 |   28019   209910   836339 | 2147483647   149218     40 |  2.556 % |
446.19/446.46	c |    495067 |   28019   209910   836339 | 2147483647   150271     41 |  2.556 % |
447.49/447.71	c |    496225 |   28019   209910   836339 | 2147483647   151429     41 |  2.556 % |
448.69/448.95	c |    497498 |   28019   209910   836339 | 2147483647   152702     41 |  2.556 % |
451.69/452.00	c |    498901 |   28019   209910   836339 | 2147483647   154105     41 |  2.556 % |
453.89/454.18	c |    500442 |   28019   209906   836329 | 2147483647   155646     41 |  2.556 % |
456.39/456.62	c |    502136 |   28019   209906   836329 | 2147483647   157340     41 |  2.556 % |
458.68/458.97	c |    503999 |   28019   209906   836329 | 2147483647   159203     41 |  2.556 % |
460.98/461.29	c |    506048 |   28019   209906   836329 | 2147483647   161252     41 |  2.556 % |
462.58/462.82	c |    508302 |   28019   209906   836329 | 2147483647   163506     41 |  2.556 % |
465.98/466.22	c |    510782 |   28019   209906   836329 | 2147483647   165986     41 |  2.556 % |
467.98/468.26	c |    513507 |   28019   209906   836329 | 2147483647   168711     42 |  2.556 % |
471.88/472.16	c |    516506 |   28019   209906   836329 | 2147483647   171710     41 |  2.556 % |
477.68/477.92	c |    519802 |   28019   209906   836329 | 2147483647   175006     41 |  2.556 % |
482.38/482.68	c |    523427 |   28018   209901   836316 | 2147483647   178630     41 |  2.560 % |
487.57/487.86	c |    527414 |   28018   209901   836316 | 2147483647   182617     41 |  2.560 % |
492.27/492.58	c |    531799 |   28018   209901   836316 | 2147483647   187002     42 |  2.560 % |
498.08/498.34	c |    536623 |   28018   209901   836316 | 2147483647   191826     42 |  2.560 % |
498.27/498.52	c |    536725 |   28018   209901   836316 | 2147483647   191928     42 |  2.560 % |
498.47/498.76	c |    536836 |   28018   209901   836316 | 2147483647   192039     42 |  2.560 % |
498.77/499.04	c |    536960 |   28018   209901   836316 | 2147483647   192163     42 |  2.560 % |
498.97/499.24	c |    537093 |   28018   209901   836316 | 2147483647   192296     42 |  2.560 % |
499.27/499.53	c |    537240 |   28018   209901   836316 | 2147483647   192443     42 |  2.560 % |
499.67/499.95	c |    537404 |   28018   209901   836316 | 2147483647   192607     42 |  2.560 % |
499.87/500.19	c |    537581 |   28018   209901   836316 | 2147483647   192784     42 |  2.560 % |
500.37/500.63	c |    537774 |   28018   209901   836316 | 2147483647   192977     42 |  2.560 % |
500.97/501.20	c |    537986 |   28018   209901   836316 | 2147483647   193189     42 |  2.560 % |
501.17/501.42	c |    538220 |   28018   209901   836316 | 2147483647   193423     42 |  2.560 % |
501.67/501.92	c |    538477 |   28018   209901   836316 | 2147483647   193680     42 |  2.560 % |
501.97/502.26	c |    538758 |   28018   209901   836316 | 2147483647   193961     42 |  2.560 % |
502.67/502.96	c |    539067 |   28018   209901   836316 | 2147483647   194270     42 |  2.560 % |
503.27/503.58	c |    539408 |   28018   209901   836316 | 2147483647   194611     42 |  2.560 % |
504.07/504.34	c |    539781 |   28018   209901   836316 | 2147483647   194984     42 |  2.560 % |
504.77/505.00	c |    540190 |   28018   209901   836316 |   195203   195393     42 |  2.560 % |
505.27/505.57	c |    540639 |   28018   209901   836316 |   195203   195842     42 |  2.560 % |
505.77/506.01	c |    541135 |   28018   209901   836316 |   195203   196338     42 |  2.560 % |
506.97/507.29	c |    541677 |   28018   209901   836316 |   195203   167286     41 |  2.560 % |
507.97/508.22	c |    542273 |   28018   209901   836316 |   195203   167882     41 |  2.560 % |
508.77/509.09	c |    542930 |   28018   209901   836316 |   195203   168539     41 |  2.560 % |
509.97/510.29	c |    543650 |   28018   209901   836316 |   195203   169259     41 |  2.560 % |
511.17/511.50	c |    544446 |   28018   209901   836316 |   195203   170055     41 |  2.560 % |
512.16/512.47	c |    545320 |   28018   209901   836316 |   195203   170929     41 |  2.560 % |
513.56/513.80	c |    546281 |   28018   209901   836316 |   195203   171890     41 |  2.560 % |
515.36/515.69	c |    547334 |   28018   209901   836316 |   195203   172943     41 |  2.560 % |
517.16/517.42	c |    548492 |   28018   209901   836316 |   195203   174101     41 |  2.560 % |
519.46/519.75	c |    549765 |   28018   209901   836316 |   195203   175374     41 |  2.560 % |
520.86/521.16	c |    551165 |   28018   209901   836316 | 2147483647   176774     41 |  2.560 % |
523.86/524.16	c |    552706 |   28018   209901   836316 | 2147483647   178315     41 |  2.560 % |
526.46/526.77	c |    554400 |   28018   209901   836316 | 2147483647   180009     41 |  2.560 % |
528.56/528.87	c |    556263 |   28018   209901   836316 | 2147483647   181872     41 |  2.560 % |
531.66/531.94	c |    558313 |   28018   209901   836316 | 2147483647   183922     41 |  2.560 % |
535.86/536.11	c |    560567 |   28018   209901   836316 |   185610   186176     41 |  2.560 % |
540.56/540.85	c |    563046 |   28018   209901   836316 |   185610   169773     41 |  2.560 % |
543.26/543.51	c |    565771 |   28018   209901   836316 |   185610   172498     41 |  2.560 % |
549.15/549.46	c |    568769 |   28018   209901   836316 |   185610   175496     41 |  2.560 % |
555.25/555.57	c |    572066 |   28018   209901   836316 | 2147483647   178793     41 |  2.560 % |
561.55/561.81	c |    575691 |   28018   209901   836316 | 2147483647   182418     41 |  2.560 % |
567.44/567.73	c |    579679 |   28018   209901   836316 | 2147483647   186406     41 |  2.560 % |
575.05/575.36	c |    584064 |   28018   209901   836316 |   186727   166210     39 |  2.560 % |
579.94/580.23	c |    588887 |   28018   209901   836316 |   186727   171033     40 |  2.560 % |
588.24/588.54	c |    594193 |   28018   209901   836316 |   172146   176339     40 |  2.560 % |
588.84/589.14	c |    594293 |   28018   209901   836316 |   172146   150913     38 |  2.560 % |
588.94/589.30	c |    594403 |   28018   209901   836316 |   172146   151023     38 |  2.560 % |
589.24/589.58	c |    594524 |   28018   209901   836316 |   172146   151144     38 |  2.560 % |
589.54/589.82	c |    594657 |   28018   209901   836316 |   172146   151277     38 |  2.560 % |
589.74/590.02	c |    594803 |   28018   209901   836316 |   172146   151423     38 |  2.560 % |
590.04/590.31	c |    594963 |   28018   209901   836316 |   172146   151583     38 |  2.560 % |
590.34/590.62	c |    595140 |   28018   209901   836316 |   172146   151760     38 |  2.560 % |
590.64/590.94	c |    595334 |   28018   209901   836316 |   172146   151954     38 |  2.560 % |
591.04/591.36	c |    595546 |   28018   209901   836316 |   172146   152166     38 |  2.560 % |
591.44/591.74	c |    595782 |   28018   209901   836316 |   172146   152402     38 |  2.560 % |
591.64/591.94	c |    596038 |   28018   209901   836316 |   172146   152658     38 |  2.560 % |
592.14/592.49	c |    596319 |   28018   209901   836316 |   172146   152939     38 |  2.560 % |
592.54/592.85	c |    596628 |   28018   209901   836316 |   172146   153248     38 |  2.560 % |
593.34/593.63	c |    596967 |   28018   209901   836316 |   172146   153587     38 |  2.560 % |
593.64/593.91	c |    597340 |   28018   209901   836316 |   172146   153960     38 |  2.560 % |
594.14/594.47	c |    597753 |   28018   209901   836316 |   172146   154373     38 |  2.560 % |
594.64/594.95	c |    598202 |   28018   209901   836316 |   172146   154822     38 |  2.560 % |
595.84/596.14	c |    598695 |   28018   209901   836316 |   172146   155315     38 |  2.560 % |
596.24/596.58	c |    599237 |   28018   209901   836316 |   172146   155857     38 |  2.560 % |
596.54/596.89	c |    599833 |   28018   209901   836316 |   172146   156453     38 |  2.560 % |
597.64/597.93	c |    600489 |   28018   209901   836316 |   156621   157109     38 |  2.560 % |
599.24/599.59	c |    601211 |   28018   209901   836316 |   156621   157831     38 |  2.560 % |
600.53/600.89	c |    602003 |   28018   209901   836316 |   156621   140475     37 |  2.560 % |
601.63/601.94	c |    602874 |   28018   209901   836316 |   156621   141346     37 |  2.560 % |
603.14/603.48	c |    603832 |   28018   209901   836316 |   156621   142304     37 |  2.560 % |
604.74/605.04	c |    604885 |   28018   209901   836316 |   156621   143357     37 |  2.560 % |
606.43/606.75	c |    606043 |   28018   209901   836316 |   156621   144515     37 |  2.560 % |
608.13/608.42	c |    607319 |   28018   209901   836316 |   156621   145791     37 |  2.560 % |
609.93/610.23	c |    608719 |   28018   209901   836316 |   156621   147191     37 |  2.560 % |
612.03/612.31	c |    610259 |   28018   209901   836316 |   148473   148731     37 |  2.560 % |
613.63/613.94	c |    611953 |   28018   209901   836316 |   148473   150425     37 |  2.560 % |
616.53/616.83	c |    613818 |   28018   209901   836316 |   148473   129003     35 |  2.560 % |
619.24/619.58	c |    615867 |   28018   209901   836316 |   148473   131052     35 |  2.560 % |
622.04/622.37	c |    618120 |   28018   209901   836316 |   148473   133305     35 |  2.560 % |
625.33/625.63	c |    620598 |   28018   209901   836316 | 2147483647   135783     35 |  2.560 % |
628.74/629.03	c |    623323 |   28018   209901   836316 | 2147483647   138508     35 |  2.560 % |
633.34/633.63	c |    626321 |   28018   209901   836316 | 2147483647   141506     35 |  2.560 % |
637.74/638.06	c |    629617 |   28018   209901   836316 | 2147483647   144802     35 |  2.560 % |
643.83/644.16	c |    633243 |   28018   209901   836316 | 2147483647   148428     35 |  2.560 % |
647.53/647.84	c |    637232 |   28018   209901   836316 | 2147483647   152417     35 |  2.560 % |
652.33/652.65	c |    641617 |   28018   209901   836316 | 2147483647   156802     35 |  2.560 % |
656.13/656.41	c |    646441 |   28018   209901   836316 | 2147483647   161626     35 |  2.560 % |
664.32/664.64	c |    651746 |   28018   209901   836316 | 2147483647   166931     35 |  2.560 % |
672.62/672.99	c |    657581 |   28018   209901   836316 | 2147483647   172766     35 |  2.560 % |
672.92/673.28	c |    657682 |   28018   209901   836316 | 2147483647   172867     35 |  2.560 % |
673.22/673.54	c |    657795 |   28018   209901   836316 | 2147483647   172980     35 |  2.560 % |
673.42/673.71	c |    657919 |   28018   209901   836316 | 2147483647   173104     35 |  2.560 % |
673.72/674.01	c |    658053 |   28018   209901   836316 | 2147483647   173238     35 |  2.560 % |
674.12/674.47	c |    658203 |   28018   209901   836316 | 2147483647   173388     35 |  2.560 % |
674.32/674.68	c |    658364 |   28018   209901   836316 | 2147483647   173549     35 |  2.560 % |
674.72/675.03	c |    658540 |   28018   209901   836316 | 2147483647   173725     35 |  2.560 % |
675.12/675.45	c |    658735 |   28018   209901   836316 | 2147483647   173920     35 |  2.560 % |
675.72/676.01	c |    658947 |   28018   209901   836316 | 2147483647   174132     35 |  2.560 % |
676.12/676.46	c |    659180 |   28018   209901   836316 | 2147483647   174365     35 |  2.560 % |
676.72/677.06	c |    659439 |   28018   209901   836316 | 2147483647   174624     35 |  2.560 % |
677.12/677.44	c |    659722 |   28018   209901   836316 | 2147483647   174907     35 |  2.560 % |
677.52/677.80	c |    660033 |   28018   209901   836316 | 2147483647   175218     35 |  2.560 % |
678.02/678.31	c |    660376 |   28018   209901   836316 | 2147483647   175561     35 |  2.560 % |
679.02/679.37	c |    660748 |   28018   209901   836316 | 2147483647   175933     35 |  2.560 % |
679.82/680.12	c |    661157 |   28018   209901   836316 | 2147483647   176342     35 |  2.560 % |
680.62/680.96	c |    661608 |   28018   209901   836316 | 2147483647   176793     35 |  2.560 % |
681.11/681.46	c |    662101 |   28018   209901   836316 | 2147483647   177286     35 |  2.560 % |
682.21/682.57	c |    662643 |   28018   209901   836316 | 2147483647   177828     35 |  2.560 % |
683.51/683.84	c |    663239 |   28018   209901   836316 | 2147483647   178424     35 |  2.560 % |
684.71/685.03	c |    663895 |   28018   209901   836316 | 2147483647   179080     35 |  2.560 % |
686.02/686.33	c |    664617 |   28018   209901   836316 | 2147483647   179802     35 |  2.560 % |
687.31/687.65	c |    665409 |   28018   209901   836316 | 2147483647   180594     35 |  2.560 % |
689.11/689.40	c |    666281 |   28018   209901   836316 | 2147483647   181466     35 |  2.560 % |
690.61/690.99	c |    667242 |   28018   209901   836316 | 2147483647   182427     35 |  2.560 % |
692.11/692.41	c |    668297 |   28018   209901   836316 | 2147483647   183482     35 |  2.560 % |
694.21/694.55	c |    669457 |   28018   209901   836316 | 2147483647   184642     35 |  2.560 % |
696.71/697.06	c |    670731 |   28018   209901   836316 |   185187   185916     35 |  2.560 % |
699.81/700.15	c |    672133 |   28018   209901   836316 |   185187   158926     33 |  2.560 % |
702.31/702.65	c |    673673 |   28018   209901   836316 |   185187   160466     33 |  2.560 % |
703.91/704.24	c |    675368 |   28018   209901   836316 |   185187   162161     33 |  2.560 % |
707.91/708.26	c |    677231 |   28018   209901   836316 |   185187   164024     33 |  2.560 % |
710.91/711.20	c |    679280 |   28017   209881   836256 |   185187   157384     33 |  2.563 % |
713.71/714.01	c |    681535 |   28017   209881   836256 |   158104   159639     33 |  2.563 % |
716.91/717.27	c |    684014 |   28017   209881   836256 |   158104   145204     32 |  2.563 % |
719.60/719.91	c ===============================================================================
719.60/719.91	c restarts              : 1027
719.60/719.91	c conflicts             : 685111         (958 /sec)
719.60/719.91	c decisions             : 1760257        (1.57 % random) (2462 /sec)
719.60/719.91	c propagations          : 250878319      (350863 /sec)
719.60/719.91	c conflict literals     : 29042342       (40.71 % deleted)
719.60/719.91	c Memory used           : 64.36 MB
719.60/719.91	c CPU time              : 715.032 s
719.60/719.91	c 
719.60/719.91	s UNSATISFIABLE
719.60/719.92	s UNSATISFIABLE

Verifier Data

No possible verification on an UNSAT instance

Watcher Data

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17258
/proc/meminfo: memFree=1619744/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=0
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305308543 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17258/statm: 1339 237 197 169 0 50 0

[startup+0.0983881 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17258
/proc/meminfo: memFree=1619744/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=0
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305308543 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17258/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101387 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17258
/proc/meminfo: memFree=1619744/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=0
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305308543 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17258/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301405 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17258
/proc/meminfo: memFree=1619744/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=0
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305308543 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17258/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701441 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17258
/proc/meminfo: memFree=1619744/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=0
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305308543 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17258/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50151 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17263
/proc/meminfo: memFree=1541648/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=0
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305308543 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17258/statm: 1339 237 197 169 0 50 0
[pid=17262] ppid=17258 vsize=89212 CPUtime=1.48
/proc/17262/stat : 17262 (SatELite_releas) R 17258 17258 17030 0 -1 4194304 20753 0 0 0 137 11 0 0 25 0 1 0 305308544 91353088 19220 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/17262/statm: 22303 19220 76 173 0 22128 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 94568

[startup+3.10165 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17263
/proc/meminfo: memFree=1531280/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=0
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305308543 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17258/statm: 1339 237 197 169 0 50 0
[pid=17262] ppid=17258 vsize=94824 CPUtime=3.07
/proc/17262/stat : 17262 (SatELite_releas) R 17258 17258 17030 0 -1 4194304 21942 0 0 0 289 18 0 0 25 0 1 0 305308544 97099776 20409 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/17262/statm: 23706 20409 76 173 0 23531 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 100180

[startup+6.30193 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17264
/proc/meminfo: memFree=1582480/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=4.38
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 336 24189 0 0 0 0 414 24 16 0 1 0 305308543 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17258/statm: 1339 239 197 169 0 50 0
[pid=17264] ppid=17258 vsize=16440 CPUtime=1.87
/proc/17264/stat : 17264 (minisat_static) R 17258 17258 17030 0 -1 4194304 3855 0 0 0 185 2 0 0 25 0 1 0 305308985 16834560 3841 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/17264/statm: 4110 3841 77 171 0 3937 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 21796

[startup+12.7025 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17264
/proc/meminfo: memFree=1579856/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=4.38
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 336 24189 0 0 0 0 414 24 16 0 1 0 305308543 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17258/statm: 1339 239 197 169 0 50 0
[pid=17264] ppid=17258 vsize=19060 CPUtime=8.27
/proc/17264/stat : 17264 (minisat_static) R 17258 17258 17030 0 -1 4194304 4515 0 0 0 824 3 0 0 25 0 1 0 305308985 19517440 4501 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17264/statm: 4765 4501 77 171 0 4592 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 24416

[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17264
/proc/meminfo: memFree=1572368/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=4.38
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 336 24189 0 0 0 0 414 24 16 0 1 0 305308543 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17258/statm: 1339 239 197 169 0 50 0
[pid=17264] ppid=17258 vsize=26572 CPUtime=21.06
/proc/17264/stat : 17264 (minisat_static) R 17258 17258 17030 0 -1 4194304 6365 0 0 0 2101 5 0 0 25 0 1 0 305308985 27209728 6351 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/17264/statm: 6643 6351 77 171 0 6470 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 31928

[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17264
/proc/meminfo: memFree=1560720/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=4.38
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 336 24189 0 0 0 0 414 24 16 0 1 0 305308543 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17258/statm: 1339 239 197 169 0 50 0
[pid=17264] ppid=17258 vsize=38404 CPUtime=46.66
/proc/17264/stat : 17264 (minisat_static) R 17258 17258 17030 0 -1 4194304 9311 0 0 0 4657 9 0 0 25 0 1 0 305308985 39325696 9297 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17264/statm: 9601 9297 77 171 0 9428 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 43760

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17264
/proc/meminfo: memFree=1547024/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=4.38
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 336 24189 0 0 0 0 414 24 16 0 1 0 305308543 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17258/statm: 1339 239 197 169 0 50 0
[pid=17264] ppid=17258 vsize=51768 CPUtime=97.83
/proc/17264/stat : 17264 (minisat_static) R 17258 17258 17030 0 -1 4194304 12629 0 0 0 9769 14 0 0 25 0 1 0 305308985 53010432 12615 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/17264/statm: 12942 12615 77 171 0 12769 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 57124

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17266
/proc/meminfo: memFree=1538832/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=4.38
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 336 24189 0 0 0 0 414 24 16 0 1 0 305308543 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17258/statm: 1339 239 197 169 0 50 0
[pid=17264] ppid=17258 vsize=60180 CPUtime=157.8
/proc/17264/stat : 17264 (minisat_static) R 17258 17258 17030 0 -1 4194304 14656 0 0 0 15763 17 0 0 25 0 1 0 305308985 61624320 14642 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/17264/statm: 15045 14642 77 171 0 14872 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 65536

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17266
/proc/meminfo: memFree=1535760/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=4.38
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 336 24189 0 0 0 0 414 24 16 0 1 0 305308543 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17258/statm: 1339 239 197 169 0 50 0
[pid=17264] ppid=17258 vsize=63160 CPUtime=217.77
/proc/17264/stat : 17264 (minisat_static) R 17258 17258 17030 0 -1 4194304 15414 0 0 0 21759 18 0 0 25 0 1 0 305308985 64675840 15400 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17264/statm: 15790 15400 77 171 0 15617 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 68516

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17266
/proc/meminfo: memFree=1535120/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=4.38
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 336 24189 0 0 0 0 414 24 16 0 1 0 305308543 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17258/statm: 1339 239 197 169 0 50 0
[pid=17264] ppid=17258 vsize=63736 CPUtime=277.75
/proc/17264/stat : 17264 (minisat_static) R 17258 17258 17030 0 -1 4194304 15555 0 0 0 27756 19 0 0 25 0 1 0 305308985 65265664 15541 1992294400 134512640 135215339 4294956240 18446744073709551615 134529426 0 0 4096 3 0 0 0 17 1 0 0
/proc/17264/statm: 15934 15541 77 171 0 15761 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 69092

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17266
/proc/meminfo: memFree=1534416/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=4.38
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 336 24189 0 0 0 0 414 24 16 0 1 0 305308543 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17258/statm: 1339 239 197 169 0 50 0
[pid=17264] ppid=17258 vsize=64340 CPUtime=337.73
/proc/17264/stat : 17264 (minisat_static) R 17258 17258 17030 0 -1 4194304 15701 0 0 0 33754 19 0 0 25 0 1 0 305308985 65884160 15687 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17264/statm: 16085 15687 77 171 0 15912 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 69696

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17266
/proc/meminfo: memFree=1534160/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=4.38
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 336 24189 0 0 0 0 414 24 16 0 1 0 305308543 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17258/statm: 1339 239 197 169 0 50 0
[pid=17264] ppid=17258 vsize=64480 CPUtime=397.71
/proc/17264/stat : 17264 (minisat_static) R 17258 17258 17030 0 -1 4194304 15731 0 0 0 39752 19 0 0 25 0 1 0 305308985 66027520 15717 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17264/statm: 16120 15717 77 171 0 15947 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 69836

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17266
/proc/meminfo: memFree=1533776/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=4.38
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 336 24189 0 0 0 0 414 24 16 0 1 0 305308543 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17258/statm: 1339 239 197 169 0 50 0
[pid=17264] ppid=17258 vsize=64920 CPUtime=457.7
/proc/17264/stat : 17264 (minisat_static) R 17258 17258 17030 0 -1 4194304 15812 0 0 0 45750 20 0 0 25 0 1 0 305308985 66478080 15798 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17264/statm: 16230 15798 77 171 0 16057 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 70276

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17266
/proc/meminfo: memFree=1533456/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=4.38
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 336 24189 0 0 0 0 414 24 16 0 1 0 305308543 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17258/statm: 1339 239 197 169 0 50 0
[pid=17264] ppid=17258 vsize=65088 CPUtime=517.68
/proc/17264/stat : 17264 (minisat_static) R 17258 17258 17030 0 -1 4194304 15872 0 0 0 51748 20 0 0 25 0 1 0 305308985 66650112 15858 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/17264/statm: 16272 15858 77 171 0 16099 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 70444

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17266
/proc/meminfo: memFree=1533200/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=4.38
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 336 24189 0 0 0 0 414 24 16 0 1 0 305308543 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17258/statm: 1339 239 197 169 0 50 0
[pid=17264] ppid=17258 vsize=65396 CPUtime=577.66
/proc/17264/stat : 17264 (minisat_static) R 17258 17258 17030 0 -1 4194304 15919 0 0 0 57746 20 0 0 25 0 1 0 305308985 66965504 15905 1992294400 134512640 135215339 4294956240 18446744073709551615 134528795 0 0 4096 3 0 0 0 17 1 0 0
/proc/17264/statm: 16349 15905 77 171 0 16176 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 70752

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17266
/proc/meminfo: memFree=1532944/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=4.38
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 336 24189 0 0 0 0 414 24 16 0 1 0 305308543 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17258/statm: 1339 239 197 169 0 50 0
[pid=17264] ppid=17258 vsize=65396 CPUtime=637.66
/proc/17264/stat : 17264 (minisat_static) R 17258 17258 17030 0 -1 4194304 15936 0 0 0 63745 21 0 0 25 0 1 0 305308985 66965504 15922 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/17264/statm: 16349 15922 77 171 0 16176 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 70752

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17266
/proc/meminfo: memFree=1532368/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=4.38
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 336 24189 0 0 0 0 414 24 16 0 1 0 305308543 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17258/statm: 1339 239 197 169 0 50 0
[pid=17264] ppid=17258 vsize=65904 CPUtime=697.63
/proc/17264/stat : 17264 (minisat_static) R 17258 17258 17030 0 -1 4194304 16059 0 0 0 69742 21 0 0 25 0 1 0 305308985 67485696 16045 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/17264/statm: 16476 16045 77 171 0 16303 0
Current children cumulated CPU time (s) 702.01
Current children cumulated vsize (KiB) 71260

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

[startup+703.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17266
/proc/meminfo: memFree=1532368/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=4.38
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 336 24189 0 0 0 0 414 24 16 0 1 0 305308543 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17258/statm: 1339 239 197 169 0 50 0
[pid=17264] ppid=17258 vsize=65904 CPUtime=699.23
/proc/17264/stat : 17264 (minisat_static) R 17258 17258 17030 0 -1 4194304 16060 0 0 0 69902 21 0 0 25 0 1 0 305308985 67485696 16046 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/17264/statm: 16476 16046 77 171 0 16303 0
Current children cumulated CPU time (s) 703.61
Current children cumulated vsize (KiB) 71260

[startup+710.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17266
/proc/meminfo: memFree=1532368/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=4.38
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 336 24189 0 0 0 0 414 24 16 0 1 0 305308543 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17258/statm: 1339 239 197 169 0 50 0
[pid=17264] ppid=17258 vsize=65904 CPUtime=705.63
/proc/17264/stat : 17264 (minisat_static) R 17258 17258 17030 0 -1 4194304 16060 0 0 0 70542 21 0 0 25 0 1 0 305308985 67485696 16046 1992294400 134512640 135215339 4294956240 18446744073709551615 134528776 0 0 4096 3 0 0 0 17 1 0 0
/proc/17264/statm: 16476 16046 77 171 0 16303 0
Current children cumulated CPU time (s) 710.01
Current children cumulated vsize (KiB) 71260

[startup+716.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17266
/proc/meminfo: memFree=1532304/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=4.38
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 336 24189 0 0 0 0 414 24 16 0 1 0 305308543 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17258/statm: 1339 239 197 169 0 50 0
[pid=17264] ppid=17258 vsize=65904 CPUtime=712.02
/proc/17264/stat : 17264 (minisat_static) R 17258 17258 17030 0 -1 4194304 16060 0 0 0 71181 21 0 0 25 0 1 0 305308985 67485696 16046 1992294400 134512640 135215339 4294956240 18446744073709551615 134528697 0 0 4096 3 0 0 0 17 1 0 0
/proc/17264/statm: 16476 16046 77 171 0 16303 0
Current children cumulated CPU time (s) 716.4
Current children cumulated vsize (KiB) 71260

[startup+718.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17266
/proc/meminfo: memFree=1532304/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=4.38
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 336 24189 0 0 0 0 414 24 16 0 1 0 305308543 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17258/statm: 1339 239 197 169 0 50 0
[pid=17264] ppid=17258 vsize=65904 CPUtime=713.63
/proc/17264/stat : 17264 (minisat_static) R 17258 17258 17030 0 -1 4194304 16060 0 0 0 71342 21 0 0 25 0 1 0 305308985 67485696 16046 1992294400 134512640 135215339 4294956240 18446744073709551615 134538283 0 0 4096 3 0 0 0 17 1 0 0
/proc/17264/statm: 16476 16046 77 171 0 16303 0
Current children cumulated CPU time (s) 718.01
Current children cumulated vsize (KiB) 71260

[startup+719.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17266
/proc/meminfo: memFree=1532304/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=4.38
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 336 24189 0 0 0 0 414 24 16 0 1 0 305308543 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17258/statm: 1339 239 197 169 0 50 0
[pid=17264] ppid=17258 vsize=65904 CPUtime=714.42
/proc/17264/stat : 17264 (minisat_static) R 17258 17258 17030 0 -1 4194304 16060 0 0 0 71421 21 0 0 25 0 1 0 305308985 67485696 16046 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17264/statm: 16476 16046 77 171 0 16303 0
Current children cumulated CPU time (s) 718.8
Current children cumulated vsize (KiB) 71260

[startup+719.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17266
/proc/meminfo: memFree=1532304/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=4.38
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 336 24189 0 0 0 0 414 24 16 0 1 0 305308543 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17258/statm: 1339 239 197 169 0 50 0
[pid=17264] ppid=17258 vsize=65904 CPUtime=714.82
/proc/17264/stat : 17264 (minisat_static) R 17258 17258 17030 0 -1 4194304 16060 0 0 0 71461 21 0 0 25 0 1 0 305308985 67485696 16046 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/17264/statm: 16476 16046 77 171 0 16303 0
Current children cumulated CPU time (s) 719.2
Current children cumulated vsize (KiB) 71260

[startup+719.902 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17266
/proc/meminfo: memFree=1532304/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=4.38
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 336 24189 0 0 0 0 414 24 16 0 1 0 305308543 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17258/statm: 1339 239 197 169 0 50 0
[pid=17264] ppid=17258 vsize=65904 CPUtime=715.22
/proc/17264/stat : 17264 (minisat_static) R 17258 17258 17030 0 -1 4194304 16060 0 0 0 71501 21 0 0 25 0 1 0 305308985 67485696 16046 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17264/statm: 16476 16046 77 171 0 16303 0
Current children cumulated CPU time (s) 719.6
Current children cumulated vsize (KiB) 71260

Child status: 20
Real time (s): 719.944
CPU time (s): 719.67
CPU user time (s): 719.178
CPU system time (s): 0.491925
CPU usage (%): 99.9619
Max. virtual memory (cumulated for all children) (KiB): 101132

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

runsolver used 0.860869 second user time and 1.85972 second system time

The end

Launcher Data

Begin job on node58 at 2009-05-20 00:40:13
IDJOB=1832407
IDBENCH=69586
IDSOLVER=671
FILE ID=node58/1832407-1242772812
PBS_JOBID= 9322243
Free space on /tmp= 66068 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT_RACE08/cnf/manol-pipe-f9b.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832407-1242772812/watcher-1832407-1242772812 -o /tmp/evaluation-result-1832407-1242772812/solver-1832407-1242772812 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832407-1242772812.cnf

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

MD5SUM BENCH= c3e7cb16bced9d54ce489b6e95d89943
RANDOM SEED=597974570

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1620160 kB
Buffers:         16188 kB
Cached:         374616 kB
SwapCached:       7540 kB
Active:         104832 kB
Inactive:       295200 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1620160 kB
SwapTotal:     4192956 kB
SwapFree:      4179476 kB
Dirty:           11120 kB
Writeback:           0 kB
Mapped:          14492 kB
Slab:            21764 kB
Committed_AS:   981644 kB
PageTables:       1364 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66064 MiB
End job on node58 at 2009-05-20 00:52:13