Trace number 1820758

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 1166.12 1166.06

General information on the benchmark

Nameschup-l2s-bc56s-1-k391.cnf
MD5SUM1f1dd0782ec95ee5e6d7a06f92fc0f12
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1166.12
Satisfiable
(Un)Satisfiability was proved
Number of variables561371
Number of clauses1778987
Sum of the clauses size4570195
Maximum clause length392
Minimum clause length1
Number of clauses of size 1142
Number of clauses of size 2843213
Number of clauses of size 3908640
Number of clauses of size 416428
Number of clauses of size 56651
Number of clauses of size over 53913

Solver Data 

0.00/0.00	c Parsing...
1.72/1.72	c ==============================================================================
1.72/1.72	c |           |     ORIGINAL     |              LEARNT              |          |
1.72/1.72	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
1.72/1.72	c ==============================================================================
1.72/1.72	c |         0 | 1777028  4564454 |  533108       0        0     nan |  0.000 % |
13.40/13.45	c |         0 |  813247  2716333 |      --       0       --      -- |     --   | -937144/-1778230
13.40/13.46	c ==============================================================================
13.40/13.46	c Result  :   #vars: 151801   #clauses: 813247   #literals: 2716333
13.40/13.46	c CPU time:   12.97 s
13.40/13.46	c ==============================================================================
14.39/14.51	c This is MiniSat 2.0 beta
14.39/14.51	c WARNING: for repeatability, setting FPU to use double precision
14.39/14.51	c ============================[ Problem Statistics ]=============================
14.39/14.51	c |                                                                             |
14.39/14.51	c |  Number of variables:  151801                                               |
14.39/14.51	c |  Number of clauses:    813247                                               |
14.47/15.10	c |  Parsing time:         0.55         s                                       |
14.47/15.15	c ============================[ Search Statistics ]==============================
14.47/15.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
14.47/15.15	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
14.47/15.15	c ===============================================================================
14.47/15.15	c |         0 |  151801   813247  2716333 |   271082        0    nan |  0.000 % |
14.47/15.29	c |       101 |  151801   813247  2716333 |   271082      101     56 |  0.000 % |
15.28/15.41	c |       201 |  151801   813247  2716333 |   271082      201     32 |  0.000 % |
15.58/15.66	c |       301 |  151801   813247  2716333 |   271082      301     26 |  0.000 % |
15.78/15.87	c |       411 |  151801   813247  2716333 |   271082      411     24 |  0.000 % |
16.18/16.24	c |       511 |  151800   813247  2716333 |   271082      510     22 |  0.001 % |
16.18/16.30	c |       621 |  151800   813247  2716333 |   271082      620     19 |  0.001 % |
16.38/16.46	c |       742 |  151799   813247  2716333 |   271082      740     17 |  0.001 % |
16.38/16.49	c |       842 |  151797   813247  2716333 |   271082      839     16 |  0.008 % |
16.49/16.57	c |       952 |  151795   813247  2716333 |   271082      949     15 |  0.008 % |
16.98/17.10	c |      1073 |  151795   813247  2716333 |   271082     1070     17 |  0.008 % |
17.18/17.26	c |      1207 |  151789   813158  2716046 |   271082     1202     17 |  0.008 % |
17.48/17.61	c |      1307 |  151788   813158  2716046 |   271082     1301     16 |  0.009 % |
18.18/18.25	c |      1418 |  151788   813158  2716046 |   271082     1412     23 |  0.009 % |
18.38/18.49	c |      1539 |  151788   813158  2716046 |   271082     1533     22 |  0.009 % |
18.69/18.78	c |      1675 |  151788   813158  2716046 |   271082     1669     22 |  0.009 % |
18.88/18.92	c |      1821 |  151788   813084  2715894 |   271082     1815     21 |  0.009 % |
19.08/19.13	c |      1923 |  151788   813084  2715894 |   271082     1917     21 |  0.009 % |
19.18/19.27	c |      2034 |  151788   813084  2715894 |   271082     2028     21 |  0.009 % |
19.38/19.46	c |      2155 |  151788   813084  2715894 |   271082     2149     20 |  0.009 % |
19.58/19.65	c |      2288 |  151788   813084  2715894 |   271082     2282     20 |  0.009 % |
19.88/19.95	c |      2435 |  151788   813084  2715894 |   271082     2429     19 |  0.009 % |
20.08/20.18	c |      2595 |  151771   813084  2715894 |   271082     2587     19 |  0.058 % |
20.18/20.23	c |      2698 |  151770   813084  2715894 |   271082     2689     19 |  0.059 % |
20.48/20.55	c |      2810 |  151619   811688  2711509 |   271082     2789     19 |  0.136 % |
20.98/21.07	c |      2933 |  151611   811688  2711509 |   271082     2911     23 |  0.138 % |
21.18/21.24	c |      3067 |  151611   811688  2711509 |   271082     3045     25 |  0.138 % |
21.68/21.78	c |      3214 |  151611   811688  2711509 |   271082     3192     24 |  0.138 % |
21.78/21.84	c |      3374 |  151611   811688  2711509 |   271082     3352     24 |  0.138 % |
21.88/21.95	c |      3550 |  151599   811688  2711509 |   271082     3524     23 |  0.248 % |
22.08/22.16	c |      3651 |  151554   811688  2711509 |   271082     3622     23 |  0.340 % |
22.48/22.54	c |      3761 |  151548   811688  2711509 |   271082     3729     24 |  0.639 % |
22.78/22.81	c |      3883 |  150831   805642  2689775 |   271082     3732     24 |  0.639 % |
22.88/22.98	c |      4016 |  150831   805642  2689775 |   271082     3865     23 |  0.639 % |
22.98/23.06	c |      4162 |  150831   805642  2689775 |   271082     4011     23 |  0.639 % |
23.09/23.18	c |      4322 |  150831   805642  2689775 |   271082     4171     22 |  0.639 % |
23.28/23.32	c |      4499 |  150831   805642  2689775 |   271082     4348     21 |  0.639 % |
23.78/23.85	c |      4693 |  150831   805642  2689775 |   271082     4542     22 |  0.639 % |
23.88/23.92	c |      4794 |  150831   805642  2689775 |   271082     4643     22 |  0.639 % |
24.08/24.16	c |      4907 |  150831   805642  2689775 |   271082     4756     22 |  0.639 % |
24.28/24.37	c |      5028 |  150831   805642  2689775 |   271082     4877     22 |  0.639 % |
24.48/24.55	c |      5161 |  150831   805642  2689775 |   271082     5010     22 |  0.639 % |
24.68/24.74	c |      5307 |  150831   805642  2689775 |   271082     5156     22 |  0.639 % |
24.98/25.09	c |      5467 |  150831   805642  2689775 |   271082     5316     21 |  0.639 % |
25.29/25.41	c |      5643 |  150825   805635  2689749 |   271082     5490     21 |  0.648 % |
25.48/25.61	c |      5836 |  150825   805635  2689749 |   271082     5683     21 |  0.648 % |
26.08/26.11	c |      6048 |  150789   805635  2689749 |   271082     5893     22 |  0.796 % |
26.18/26.23	c |      6148 |  150789   805635  2689749 |   271082     5993     22 |  0.796 % |
26.28/26.41	c |      6258 |  150789   805635  2689749 |   271082     6103     23 |  0.796 % |
26.48/26.61	c |      6379 |  150789   805635  2689749 |   271082     6224     22 |  0.796 % |
26.68/26.79	c |      6512 |  150789   805635  2689749 |   271082     6357     23 |  0.796 % |
26.88/26.95	c |      6660 |  150789   805635  2689749 |   271082     6505     23 |  0.796 % |
27.18/27.31	c |      6820 |  150593   804264  2685433 |   271082     6656     22 |  0.796 % |
27.38/27.44	c |      6996 |  150593   804264  2685433 |   271082     6832     22 |  0.796 % |
27.68/27.80	c |      7190 |  150593   804264  2685433 |   271082     7026     22 |  0.796 % |
27.88/27.98	c |      7402 |  150593   804264  2685433 |   271082     7238     22 |  0.796 % |
28.38/28.48	c |      7635 |  150593   804264  2685433 |   271082     7471     21 |  0.796 % |
29.08/29.12	c |      7736 |  150593   804264  2685433 |   271082     7572     21 |  0.796 % |
29.28/29.41	c |      7846 |  150593   804264  2685433 |   271082     7682     21 |  0.796 % |
29.88/29.96	c |      7967 |  150593   804264  2685433 |   271082     7803     22 |  0.796 % |
29.98/30.10	c |      8100 |  150593   804264  2685433 |   271082     7936     22 |  0.796 % |
30.08/30.16	c |      8246 |  150593   804264  2685433 |   271082     8082     21 |  0.796 % |
30.18/30.23	c |      8406 |  150593   804264  2685433 |   271082     8242     21 |  0.796 % |
30.28/30.40	c |      8582 |  150526   804001  2684596 |   271082     8414     21 |  0.840 % |
30.68/30.74	c |      8777 |  150526   804001  2684596 |   271082     8609     21 |  0.840 % |
31.08/31.17	c |      8989 |  150526   804001  2684596 |   271082     8821     21 |  0.840 % |
31.58/31.63	c |      9222 |  150526   804001  2684596 |   271082     9054     21 |  0.840 % |
31.98/32.09	c |      9478 |  150390   804001  2684596 |   271082     9304     22 |  1.204 % |
32.28/32.31	c |      9578 |  149974   800548  2673170 |   271082     9340     22 |  1.204 % |
32.38/32.48	c |      9688 |  149972   800548  2673170 |   271082     9448     22 |  1.209 % |
32.68/32.79	c |      9809 |  149972   800548  2673170 |   271082     9569     23 |  1.209 % |
32.88/32.93	c |      9943 |  149972   800548  2673170 |   271082     9703     23 |  1.209 % |
32.99/33.10	c |     10089 |  149972   800548  2673170 | 2147483647     9849     23 |  1.209 % |
33.28/33.37	c |     10249 |  149972   800548  2673170 | 2147483647    10009     24 |  1.209 % |
33.58/33.61	c |     10425 |  149972   800548  2673170 | 2147483647    10185     24 |  1.209 % |
33.68/33.75	c |     10619 |  149972   800548  2673170 | 2147483647    10379     24 |  1.209 % |
34.09/34.14	c |     10831 |  149972   800548  2673170 | 2147483647    10591     25 |  1.209 % |
34.48/34.53	c |     11064 |  149966   800478  2672912 | 2147483647    10816     26 |  1.209 % |
34.68/34.80	c |     11320 |  149966   800478  2672912 | 2147483647    11072     27 |  1.209 % |
34.98/35.05	c |     11602 |  149966   800478  2672912 | 2147483647    11354     26 |  1.209 % |
35.08/35.17	c |     11703 |  149966   800478  2672912 | 2147483647    11455     26 |  1.209 % |
35.28/35.37	c |     11814 |  149966   800478  2672912 | 2147483647    11566     26 |  1.209 % |
35.48/35.51	c |     11935 |  149966   800478  2672912 | 2147483647    11687     26 |  1.209 % |
35.68/35.74	c |     12068 |  149966   800478  2672912 | 2147483647    11820     27 |  1.209 % |
35.88/35.94	c |     12216 |  149966   800478  2672912 | 2147483647    11968     27 |  1.209 % |
36.38/36.50	c |     12376 |  149966   800478  2672912 | 2147483647    12128     27 |  1.209 % |
36.78/36.83	c |     12552 |  149966   800478  2672912 | 2147483647    12304     27 |  1.209 % |
37.18/37.25	c |     12745 |  149966   800478  2672912 | 2147483647    12497     27 |  1.209 % |
37.58/37.64	c |     12957 |  149966   800478  2672912 | 2147483647    12709     28 |  1.209 % |
37.88/37.97	c |     13191 |  149966   800478  2672912 | 2147483647    12943     29 |  1.209 % |
38.49/38.56	c |     13447 |  149966   800478  2672912 | 2147483647    13199     30 |  1.209 % |
38.98/39.04	c |     13728 |  149966   800478  2672912 | 2147483647    13480     30 |  1.209 % |
39.38/39.45	c |     14037 |  149966   800478  2672912 | 2147483647    13789     31 |  1.209 % |
39.48/39.62	c |     14137 |  149966   800478  2672912 | 2147483647    13889     31 |  1.209 % |
39.59/39.71	c |     14247 |  149966   800478  2672912 | 2147483647    13999     31 |  1.209 % |
39.78/39.89	c |     14368 |  149966   800478  2672912 | 2147483647    14120     30 |  1.209 % |
39.98/40.04	c |     14502 |  149966   800478  2672912 | 2147483647    14254     31 |  1.209 % |
40.18/40.29	c |     14652 |  149966   800478  2672912 | 2147483647    14404     31 |  1.209 % |
40.38/40.50	c |     14812 |  149966   800478  2672912 | 2147483647    14564     31 |  1.209 % |
41.08/41.12	c |     14990 |  149966   800478  2672912 | 2147483647    14742     33 |  1.209 % |
41.28/41.34	c |     15184 |  149966   800478  2672912 | 2147483647    14936     32 |  1.209 % |
41.38/41.41	c |     15396 |  149966   800478  2672912 | 2147483647    15148     32 |  1.209 % |
41.48/41.53	c |     15632 |  149966   800478  2672912 | 2147483647    15384     32 |  1.209 % |
41.88/41.92	c |     15888 |  149966   800478  2672912 | 2147483647    15640     33 |  1.209 % |
42.08/42.19	c |     16170 |  149966   800478  2672912 | 2147483647    15922     32 |  1.209 % |
42.48/42.55	c |     16480 |  149966   800478  2672912 | 2147483647    16232     33 |  1.209 % |
42.78/42.83	c |     16819 |  149966   800478  2672912 | 2147483647    16571     33 |  1.209 % |
42.89/43.01	c |     16919 |  149966   800478  2672912 | 2147483647    16671     33 |  1.209 % |
43.08/43.13	c |     17029 |  149966   800478  2672912 | 2147483647    16781     33 |  1.209 % |
43.28/43.33	c |     17151 |  149966   800478  2672912 | 2147483647    16903     33 |  1.209 % |
43.48/43.57	c |     17285 |  149966   800478  2672912 | 2147483647    17037     33 |  1.209 % |
43.68/43.81	c |     17431 |  149966   800478  2672912 | 2147483647    17183     33 |  1.209 % |
44.08/44.19	c |     17591 |  149966   800478  2672912 | 2147483647    17343     33 |  1.209 % |
44.48/44.52	c |     17768 |  149966   800478  2672912 | 2147483647    17520     34 |  1.209 % |
44.88/44.92	c |     17961 |  149966   800478  2672912 | 2147483647    17713     35 |  1.209 % |
45.09/45.13	c |     18173 |  149966   800478  2672912 | 2147483647    17925     36 |  1.209 % |
45.29/45.37	c |     18406 |  149966   800478  2672912 | 2147483647    18158     35 |  1.209 % |
46.09/46.14	c |     18662 |  149966   800478  2672912 | 2147483647    18414     35 |  1.209 % |
47.59/47.71	c |     18943 |  149966   800478  2672912 | 2147483647    18695     36 |  1.209 % |
48.49/48.53	c |     19252 |  149966   800478  2672912 | 2147483647    19004     36 |  1.209 % |
49.19/49.29	c |     19592 |  149966   800478  2672912 | 2147483647    19344     36 |  1.209 % |
49.69/49.79	c |     19964 |  149966   800478  2672912 | 2147483647    19716     36 |  1.209 % |
49.89/49.95	c |     20064 |  149966   800478  2672912 | 2147483647    19816     36 |  1.209 % |
50.29/50.36	c |     20174 |  149966   800478  2672912 | 2147483647    19926     36 |  1.209 % |
50.69/50.75	c |     20296 |  149966   800478  2672912 | 2147483647    20048     36 |  1.209 % |
50.89/50.93	c |     20429 |  149966   800478  2672912 | 2147483647    20181     36 |  1.209 % |
50.99/51.09	c |     20575 |  149966   800478  2672912 | 2147483647    20327     36 |  1.209 % |
51.69/51.80	c |     20737 |  149966   800478  2672912 | 2147483647    20489     36 |  1.209 % |
52.19/52.25	c |     20913 |  149966   800478  2672912 | 2147483647    20665     36 |  1.209 % |
52.39/52.48	c |     21107 |  149966   800478  2672912 | 2147483647    20859     36 |  1.209 % |
52.89/53.00	c |     21319 |  149966   800478  2672912 | 2147483647    21071     36 |  1.209 % |
53.39/53.51	c |     21552 |  149966   800478  2672912 | 2147483647    21304     36 |  1.209 % |
54.09/54.17	c |     21809 |  149966   800478  2672912 | 2147483647    21561     36 |  1.209 % |
54.79/54.83	c |     22090 |  149966   800478  2672912 | 2147483647    21842     36 |  1.209 % |
55.19/55.28	c |     22399 |  149966   800478  2672912 | 2147483647    22151     36 |  1.209 % |
55.99/56.06	c |     22738 |  149966   800478  2672912 | 2147483647    22490     36 |  1.209 % |
56.49/56.58	c |     23110 |  149966   800478  2672912 | 2147483647    22862     36 |  1.209 % |
57.79/57.85	c |     23521 |  149964   800474  2672904 | 2147483647    23270     36 |  1.214 % |
57.89/58.01	c |     23622 |  149963   800474  2672904 | 2147483647    23370     36 |  1.215 % |
58.19/58.29	c |     23732 |  149963   800474  2672904 | 2147483647    23480     36 |  1.215 % |
58.79/58.89	c |     23853 |  149963   800474  2672904 | 2147483647    23601     37 |  1.215 % |
59.19/59.31	c |     23986 |  149963   800474  2672904 | 2147483647    23734     36 |  1.215 % |
59.39/59.51	c |     24135 |  149963   800474  2672904 | 2147483647    23883     37 |  1.215 % |
59.59/59.70	c |     24295 |  149963   800474  2672904 | 2147483647    24043     37 |  1.215 % |
59.89/59.95	c |     24471 |  149957   800358  2672609 | 2147483647    24218     37 |  1.215 % |
60.19/60.27	c |     24664 |  149957   800358  2672609 | 2147483647    24411     36 |  1.215 % |
60.59/60.71	c |     24877 |  149957   800358  2672609 | 2147483647    24624     37 |  1.215 % |
61.09/61.12	c |     25111 |  149957   800358  2672609 | 2147483647    24858     37 |  1.215 % |
61.59/61.71	c |     25367 |  149957   800358  2672609 | 2147483647    25114     37 |  1.215 % |
61.99/62.07	c |     25648 |  149957   800358  2672609 | 2147483647    25395     37 |  1.215 % |
62.69/62.78	c |     25959 |  149957   800358  2672609 | 2147483647    25706     37 |  1.215 % |
63.49/63.61	c |     26299 |  149951   800336  2672534 | 2147483647    26044     37 |  1.219 % |
64.99/65.11	c |     26674 |  149951   800336  2672534 | 2147483647    26419     40 |  1.219 % |
66.59/66.68	c |     27084 |  149951   800336  2672534 | 2147483647    26829     40 |  1.219 % |
67.79/67.83	c |     27535 |  149950   800326  2672499 | 2147483647    27278     39 |  1.219 % |
68.09/68.21	c |     27635 |  149950   800326  2672499 | 2147483647    27378     39 |  1.219 % |
68.49/68.60	c |     27745 |  149950   800326  2672499 | 2147483647    27488     39 |  1.219 % |
68.99/69.04	c |     27870 |  149950   800326  2672499 | 2147483647    27613     40 |  1.219 % |
69.19/69.27	c |     28003 |  149950   800326  2672499 | 2147483647    27746     40 |  1.219 % |
69.59/69.67	c |     28150 |  149950   800316  2672460 | 2147483647    27893     40 |  1.219 % |
70.29/70.32	c |     28312 |  149950   800316  2672460 | 2147483647    28055     40 |  1.219 % |
70.99/71.03	c |     28488 |  149950   800316  2672460 | 2147483647    28231     40 |  1.219 % |
71.39/71.51	c |     28683 |  149950   800316  2672460 | 2147483647    28426     40 |  1.219 % |
71.99/72.11	c |     28895 |  149950   800316  2672460 | 2147483647    28638     40 |  1.219 % |
72.59/72.66	c |     29128 |  149950   800316  2672460 | 2147483647    28871     40 |  1.219 % |
73.19/73.28	c |     29384 |  149950   800316  2672460 | 2147483647    29127     40 |  1.219 % |
73.59/73.64	c |     29665 |  149950   800316  2672460 | 2147483647    29408     40 |  1.219 % |
74.29/74.38	c |     29975 |  149950   800316  2672460 | 2147483647    29718     41 |  1.219 % |
75.09/75.17	c |     30315 |  149950   800316  2672460 | 2147483647    30058     42 |  1.219 % |
75.79/75.88	c |     30687 |  149949   800306  2672421 | 2147483647    30429     42 |  1.220 % |
76.59/76.62	c |     31096 |  149949   800306  2672421 | 2147483647    30838     43 |  1.220 % |
77.99/78.08	c |     31545 |  149949   800306  2672421 | 2147483647    31287     42 |  1.220 % |
78.99/79.03	c |     32039 |  149949   800306  2672421 | 2147483647    31781     42 |  1.220 % |
79.09/79.21	c |     32139 |  149949   800306  2672421 | 2147483647    31881     42 |  1.220 % |
79.39/79.43	c |     32249 |  149949   800306  2672421 | 2147483647    31991     42 |  1.220 % |
80.09/80.17	c |     32373 |  149949   800306  2672421 | 2147483647    32115     43 |  1.220 % |
80.79/80.87	c |     32506 |  149949   800306  2672421 | 2147483647    32248     43 |  1.220 % |
81.49/81.52	c |     32652 |  149949   800306  2672421 | 2147483647    32394     43 |  1.220 % |
81.69/81.78	c |     32814 |  149949   800306  2672421 | 2147483647    32556     43 |  1.220 % |
82.09/82.18	c |     32990 |  149949   800306  2672421 | 2147483647    32732     43 |  1.220 % |
82.39/82.42	c |     33183 |  149949   800306  2672421 | 2147483647    32925     42 |  1.220 % |
82.79/82.88	c |     33395 |  149949   800306  2672421 | 2147483647    33137     42 |  1.220 % |
83.89/83.92	c |     33628 |  149949   800306  2672421 | 2147483647    33370     43 |  1.220 % |
84.59/84.62	c |     33885 |  149949   800306  2672421 | 2147483647    33627     43 |  1.220 % |
85.09/85.13	c |     34167 |  149949   800306  2672421 | 2147483647    33909     43 |  1.220 % |
85.89/85.99	c |     34476 |  149948   800296  2672382 | 2147483647    34217     43 |  1.221 % |
86.89/87.01	c |     34815 |  149947   800296  2672382 | 2147483647    34555     43 |  1.221 % |
87.49/87.54	c |     35187 |  149947   800296  2672382 | 2147483647    34927     42 |  1.221 % |
88.19/88.26	c |     35596 |  149947   800296  2672382 | 2147483647    35336     42 |  1.221 % |
89.09/89.20	c |     36045 |  149947   800286  2672343 | 2147483647    35785     42 |  1.221 % |
90.59/90.69	c |     36539 |  149947   800286  2672343 | 2147483647    36279     44 |  1.221 % |
91.49/91.60	c |     37081 |  149947   800286  2672343 | 2147483647    36821     44 |  1.221 % |
91.79/91.87	c |     37181 |  149947   800286  2672343 | 2147483647    36921     44 |  1.221 % |
91.99/92.06	c |     37291 |  149947   800286  2672343 | 2147483647    37031     44 |  1.221 % |
92.29/92.33	c |     37412 |  149947   800286  2672343 | 2147483647    37152     44 |  1.221 % |
92.59/92.62	c |     37545 |  149947   800286  2672343 | 2147483647    37285     44 |  1.221 % |
93.09/93.15	c |     37691 |  149947   800286  2672343 | 2147483647    37431     44 |  1.221 % |
93.39/93.51	c |     37852 |  149947   800286  2672343 | 2147483647    37592     44 |  1.221 % |
93.99/94.05	c |     38028 |  149947   800286  2672343 | 2147483647    37768     44 |  1.221 % |
94.69/94.73	c |     38222 |  149947   800286  2672343 | 2147483647    37962     44 |  1.221 % |
95.19/95.22	c |     38434 |  149947   800286  2672343 | 2147483647    38174     44 |  1.221 % |
95.89/95.96	c |     38667 |  149947   800286  2672343 | 2147483647    38407     44 |  1.221 % |
97.09/97.13	c |     38925 |  149947   800286  2672343 | 2147483647    38665     45 |  1.221 % |
97.49/97.53	c |     39210 |  149947   800286  2672343 | 2147483647    38950     46 |  1.221 % |
98.09/98.16	c |     39522 |  149947   800286  2672343 | 2147483647    39262     46 |  1.221 % |
98.79/98.86	c |     39861 |  149947   800286  2672343 | 2147483647    39601     46 |  1.221 % |
99.69/99.72	c |     40233 |  149947   800286  2672343 | 2147483647    39973     46 |  1.221 % |
100.99/101.02	c |     40642 |  149947   800286  2672343 | 2147483647    40382     46 |  1.221 % |
102.19/102.30	c |     41093 |  149947   800286  2672343 | 2147483647    40833     47 |  1.221 % |
104.29/104.35	c |     41588 |  149947   800286  2672343 | 2147483647    41328     49 |  1.221 % |
106.09/106.17	c |     42130 |  149947   800286  2672343 | 2147483647    41870     49 |  1.221 % |
106.70/106.73	c |     42727 |  149947   800286  2672343 | 2147483647    42467     48 |  1.221 % |
106.89/106.96	c |     42827 |  149947   800286  2672343 | 2147483647    42567     48 |  1.221 % |
107.59/107.67	c |     42941 |  149947   800286  2672343 | 2147483647    42681     49 |  1.221 % |
107.69/107.81	c |     43063 |  149947   800286  2672343 | 2147483647    42803     49 |  1.221 % |
108.09/108.13	c |     43196 |  149947   800286  2672343 | 2147483647    42936     49 |  1.221 % |
108.49/108.58	c |     43343 |  149947   800286  2672343 | 2147483647    43083     49 |  1.221 % |
108.79/108.87	c |     43505 |  149947   800286  2672343 | 2147483647    43245     49 |  1.221 % |
109.09/109.12	c |     43682 |  149947   800286  2672343 | 2147483647    43422     49 |  1.221 % |
109.49/109.58	c |     43875 |  149947   800286  2672343 | 2147483647    43615     49 |  1.221 % |
110.19/110.26	c |     44089 |  149947   800286  2672343 | 2147483647    43829     49 |  1.221 % |
110.39/110.49	c |     44323 |  149947   800286  2672343 | 2147483647    44063     49 |  1.221 % |
110.99/111.11	c |     44579 |  149947   800286  2672343 | 2147483647    44319     49 |  1.221 % |
111.99/112.04	c |     44860 |  149947   800286  2672343 | 2147483647    44600     49 |  1.221 % |
112.89/112.99	c |     45169 |  149947   800286  2672343 | 2147483647    44909     49 |  1.221 % |
113.59/113.67	c |     45508 |  149947   800286  2672343 | 2147483647    45248     50 |  1.221 % |
114.19/114.22	c |     45881 |  149947   800286  2672343 | 2147483647    45621     49 |  1.221 % |
115.69/115.74	c |     46290 |  149947   800286  2672343 | 2147483647    46030     50 |  1.221 % |
118.09/118.20	c |     46739 |  149947   800286  2672343 | 2147483647    46479     51 |  1.221 % |
119.39/119.42	c |     47233 |  149947   800286  2672343 | 2147483647    46973     51 |  1.221 % |
120.79/120.91	c |     47776 |  149947   800286  2672343 | 2147483647    47516     53 |  1.221 % |
121.99/122.12	c |     48372 |  149946   800276  2672304 | 2147483647    48111     53 |  1.222 % |
123.89/124.01	c |     49027 |  149945   800276  2672304 | 2147483647    48764     54 |  1.247 % |
124.30/124.38	c |     49128 |  149945   800276  2672304 | 2147483647    48865     54 |  1.247 % |
124.69/124.80	c |     49239 |  149945   800276  2672304 | 2147483647    48976     54 |  1.247 % |
124.99/125.09	c |     49361 |  149945   800276  2672304 | 2147483647    49098     54 |  1.247 % |
125.29/125.37	c |     49495 |  149945   800276  2672304 | 2147483647    49232     54 |  1.247 % |
125.69/125.79	c |     49641 |  149945   800276  2672304 | 2147483647    49378     53 |  1.247 % |
126.19/126.30	c |     49801 |  149908   800016  2671571 | 2147483647    49498     54 |  1.247 % |
126.79/126.91	c |     49977 |  149908   800016  2671571 | 2147483647    49674     54 |  1.247 % |
127.29/127.38	c |     50171 |  149908   800016  2671571 | 2147483647    49868     54 |  1.247 % |
127.69/127.75	c |     50383 |  149908   800016  2671571 | 2147483647    50080     54 |  1.247 % |
128.29/128.33	c |     50616 |  149908   800016  2671571 | 2147483647    50313     55 |  1.247 % |
128.70/128.76	c |     50872 |  149908   800016  2671571 | 2147483647    50569     55 |  1.247 % |
129.09/129.14	c |     51153 |  149908   800016  2671571 | 2147483647    50850     55 |  1.247 % |
130.29/130.36	c |     51462 |  149908   800016  2671571 | 2147483647    51159     56 |  1.247 % |
130.59/130.65	c |     51801 |  149908   800016  2671571 | 2147483647    51498     56 |  1.247 % |
131.29/131.32	c |     52173 |  149908   800016  2671571 | 2147483647    51870     56 |  1.247 % |
132.00/132.08	c |     52583 |  149908   800016  2671571 | 2147483647    52280     56 |  1.247 % |
132.99/133.06	c |     53032 |  149908   800016  2671571 | 2147483647    52729     55 |  1.247 % |
134.09/134.18	c |     53525 |  149908   800016  2671571 | 2147483647    53222     55 |  1.247 % |
137.29/137.41	c |     54067 |  149908   800016  2671571 | 2147483647    53764     57 |  1.247 % |
138.29/138.40	c |     54663 |  149908   800016  2671571 | 2147483647    54360     57 |  1.247 % |
140.69/140.78	c |     55318 |  149908   800016  2671571 | 2147483647    55015     57 |  1.247 % |
142.19/142.22	c |     56038 |  149908   800016  2671571 | 2147483647    55735     58 |  1.247 % |
142.29/142.40	c |     56138 |  149908   800016  2671571 | 2147483647    55835     58 |  1.247 % |
142.49/142.59	c |     56249 |  149908   800016  2671571 | 2147483647    55946     58 |  1.247 % |
142.79/142.86	c |     56370 |  149908   800016  2671571 | 2147483647    56067     58 |  1.247 % |
143.30/143.35	c |     56504 |  149908   800016  2671571 | 2147483647    56201     58 |  1.247 % |
143.70/143.76	c |     56653 |  149908   800016  2671571 | 2147483647    56350     58 |  1.247 % |
144.20/144.27	c |     56813 |  149908   800016  2671571 | 2147483647    56510     58 |  1.247 % |
144.80/144.85	c |     56990 |  149908   800016  2671571 | 2147483647    56687     58 |  1.247 % |
145.20/145.30	c |     57183 |  149908   800016  2671571 | 2147483647    56880     59 |  1.247 % |
145.60/145.66	c |     57395 |  149908   800016  2671571 | 2147483647    57092     59 |  1.247 % |
146.00/146.02	c |     57628 |  149908   800016  2671571 | 2147483647    57325     59 |  1.247 % |
146.30/146.40	c |     57884 |  149908   800016  2671571 | 2147483647    57581     60 |  1.247 % |
147.20/147.24	c |     58165 |  149908   800016  2671571 | 2147483647    57862     60 |  1.247 % |
147.90/147.96	c |     58475 |  149908   800016  2671571 | 2147483647    58172     60 |  1.247 % |
148.50/148.62	c |     58815 |  149908   800016  2671571 | 2147483647    58512     60 |  1.247 % |
149.10/149.19	c |     59187 |  149908   800016  2671571 | 2147483647    58884     60 |  1.247 % |
149.90/149.93	c |     59596 |  149908   800016  2671571 | 2147483647    59293     60 |  1.247 % |
150.60/150.71	c |     60046 |  149908   800016  2671571 | 2147483647    59743     61 |  1.247 % |
151.40/151.51	c |     60539 |  149908   800016  2671571 | 2147483647    60236     61 |  1.247 % |
152.60/152.69	c |     61082 |  149908   800016  2671571 | 2147483647    60779     61 |  1.247 % |
153.90/153.98	c |     61678 |  149908   800016  2671571 | 2147483647    61375     61 |  1.247 % |
155.20/155.24	c |     62333 |  149908   800016  2671571 | 2147483647    62030     61 |  1.247 % |
157.10/157.12	c |     63053 |  149908   800016  2671571 | 2147483647    62750     62 |  1.247 % |
160.69/160.76	c |     63845 |  149908   800016  2671571 | 2147483647    63542     62 |  1.247 % |
160.89/161.00	c |     63946 |  149908   800016  2671571 | 2147483647    63643     62 |  1.247 % |
161.09/161.14	c |     64056 |  149908   800016  2671571 | 2147483647    63753     62 |  1.247 % |
161.49/161.60	c |     64177 |  149908   800016  2671571 | 2147483647    63874     62 |  1.247 % |
162.09/162.15	c |     64310 |  149907   800006  2671532 | 2147483647    64006     62 |  1.248 % |
162.39/162.43	c |     64456 |  149907   800006  2671532 | 2147483647    64152     62 |  1.248 % |
162.59/162.64	c |     64616 |  149907   800006  2671532 | 2147483647    64312     62 |  1.248 % |
163.39/163.44	c |     64792 |  149907   800006  2671532 | 2147483647    64488     62 |  1.248 % |
163.59/163.71	c |     64986 |  149907   800006  2671532 | 2147483647    64682     62 |  1.248 % |
164.19/164.25	c |     65199 |  149907   800006  2671532 | 2147483647    64895     62 |  1.248 % |
165.19/165.28	c |     65432 |  149907   800006  2671532 | 2147483647    65128     62 |  1.248 % |
166.99/167.04	c |     65688 |  149906   800006  2671532 | 2147483647    65383     63 |  1.248 % |
167.59/167.69	c |     65970 |  149906   800006  2671532 | 2147483647    65665     64 |  1.248 % |
168.49/168.56	c |     66282 |  149906   799923  2671362 | 2147483647    65969     64 |  1.248 % |
169.09/169.20	c |     66623 |  149906   799923  2671362 | 2147483647    66310     64 |  1.248 % |
169.89/169.99	c |     66995 |  149906   799923  2671362 | 2147483647    66682     63 |  1.248 % |
170.69/170.76	c |     67404 |  149906   799923  2671362 | 2147483647    67091     64 |  1.248 % |
172.99/173.02	c |     67857 |  149906   799923  2671362 | 2147483647    67544     64 |  1.248 % |
174.09/174.14	c |     68350 |  149906   799923  2671362 | 2147483647    68037     63 |  1.248 % |
177.69/177.75	c |     68892 |  149906   799923  2671362 | 2147483647    68579     66 |  1.248 % |
179.59/179.65	c |     69488 |  149906   799923  2671362 | 2147483647    69175     67 |  1.248 % |
180.59/180.63	c |     70145 |  149906   799923  2671362 | 2147483647    69832     69 |  1.248 % |
182.39/182.41	c |     70867 |  149906   799923  2671362 | 2147483647    70554     68 |  1.248 % |
183.79/183.83	c |     71659 |  149906   799923  2671362 | 2147483647    71346     68 |  1.248 % |
185.49/185.60	c |     72530 |  149906   799923  2671362 | 2147483647    72217     68 |  1.248 % |
185.79/185.82	c |     72630 |  149906   799923  2671362 | 2147483647    72317     68 |  1.248 % |
186.29/186.34	c |     72740 |  149903   799845  2671202 | 2147483647    72424     68 |  1.250 % |
186.79/186.84	c |     72861 |  149903   799845  2671202 | 2147483647    72545     68 |  1.250 % |
187.19/187.29	c |     72995 |  149903   799845  2671202 | 2147483647    72679     68 |  1.250 % |
187.69/187.79	c |     73142 |  149903   799845  2671202 | 2147483647    72826     68 |  1.250 % |
187.99/188.03	c |     73302 |  149903   799845  2671202 | 2147483647    72986     68 |  1.250 % |
188.19/188.28	c |     73479 |  149903   799845  2671202 | 2147483647    73163     68 |  1.250 % |
188.69/188.76	c |     73674 |  149903   799845  2671202 | 2147483647    73358     68 |  1.250 % |
189.19/189.21	c |     73887 |  149903   799845  2671202 | 2147483647    73571     68 |  1.250 % |
189.89/189.95	c |     74120 |  149903   799845  2671202 | 2147483647    73804     68 |  1.250 % |
190.69/190.80	c |     74377 |  149903   799845  2671202 | 2147483647    74061     69 |  1.250 % |
191.29/191.35	c |     74659 |  149903   799845  2671202 | 2147483647    74343     69 |  1.250 % |
192.29/192.36	c |     74969 |  149903   799845  2671202 | 2147483647    74653     69 |  1.250 % |
193.19/193.22	c |     75308 |  149903   799680  2670864 | 2147483647    74974     69 |  1.250 % |
193.69/193.79	c |     75680 |  149903   799680  2670864 | 2147483647    75346     68 |  1.250 % |
194.79/194.86	c |     76090 |  149903   799680  2670864 | 2147483647    75756     69 |  1.250 % |
196.19/196.28	c |     76539 |  149903   799680  2670864 | 2147483647    76205     70 |  1.250 % |
197.19/197.27	c |     77032 |  149903   799680  2670864 | 2147483647    76698     70 |  1.250 % |
197.99/198.04	c |     77575 |  149903   799680  2670864 | 2147483647    77241     70 |  1.250 % |
199.69/199.77	c |     78172 |  149903   799680  2670864 | 2147483647    77838     70 |  1.250 % |
200.69/200.73	c |     78828 |  149903   799680  2670864 | 2147483647    78494     70 |  1.250 % |
202.79/202.89	c |     79550 |  149903   799680  2670864 | 2147483647    79216     71 |  1.250 % |
205.09/205.19	c |     80342 |  149903   799680  2670864 | 2147483647    80008     71 |  1.250 % |
207.29/207.35	c |     81215 |  149903   799680  2670864 | 2147483647    80881     71 |  1.250 % |
208.49/208.58	c |     82173 |  149903   799680  2670864 | 2147483647    81839     72 |  1.250 % |
208.69/208.78	c |     82275 |  149903   799680  2670864 | 2147483647    81941     72 |  1.250 % |
208.89/208.97	c |     82385 |  149903   799680  2670864 | 2147483647    82051     72 |  1.250 % |
209.09/209.20	c |     82507 |  149903   799680  2670864 | 2147483647    82173     72 |  1.250 % |
209.39/209.48	c |     82641 |  149903   799680  2670864 | 2147483647    82307     72 |  1.250 % |
209.69/209.77	c |     82787 |  149903   799680  2670864 | 2147483647    82453     72 |  1.250 % |
210.10/210.15	c |     82947 |  149903   799680  2670864 | 2147483647    82613     72 |  1.250 % |
210.69/210.73	c |     83126 |  149903   799680  2670864 | 2147483647    82792     72 |  1.250 % |
211.59/211.68	c |     83320 |  149903   799680  2670864 | 2147483647    82986     73 |  1.250 % |
211.99/212.09	c |     83534 |  149903   799680  2670864 | 2147483647    83200     73 |  1.250 % |
213.59/213.69	c |     83771 |  149903   799680  2670864 | 2147483647    83437     73 |  1.250 % |
215.19/215.30	c |     84027 |  149903   799680  2670864 | 2147483647    83693     73 |  1.250 % |
215.89/215.95	c |     84308 |  149903   799680  2670864 | 2147483647    83974     73 |  1.250 % |
217.99/218.02	c |     84618 |  149903   799680  2670864 | 2147483647    84284     73 |  1.250 % |
220.09/220.17	c |     84958 |  149903   799680  2670864 | 2147483647    84624     74 |  1.250 % |
221.10/221.13	c |     85331 |  149903   799680  2670864 | 2147483647    84997     74 |  1.250 % |
221.99/222.09	c |     85740 |  149903   799680  2670864 | 2147483647    85406     75 |  1.250 % |
223.19/223.28	c |     86189 |  149903   799680  2670864 | 2147483647    85855     75 |  1.250 % |
224.40/224.43	c |     86682 |  149903   799680  2670864 | 2147483647    86348     75 |  1.250 % |
225.39/225.44	c |     87228 |  149903   799680  2670864 | 2147483647    86894     75 |  1.250 % |
226.79/226.88	c |     87825 |  149903   799680  2670864 | 2147483647    87491     75 |  1.250 % |
228.09/228.12	c |     88482 |  149903   799680  2670864 | 2147483647    88148     75 |  1.250 % |
229.59/229.62	c |     89207 |  149903   799680  2670864 | 2147483647    88873     76 |  1.250 % |
231.79/231.89	c |     89999 |  149903   799680  2670864 | 2147483647    89665     76 |  1.250 % |
234.09/234.14	c |     90871 |  149903   799680  2670864 | 2147483647    90537     77 |  1.250 % |
235.29/235.40	c |     91829 |  149903   799680  2670864 | 2147483647    91495     79 |  1.250 % |
240.09/240.16	c |     92882 |  149903   799680  2670864 | 2147483647    92548     80 |  1.250 % |
240.29/240.35	c |     92982 |  149903   799680  2670864 | 2147483647    92648     80 |  1.250 % |
240.69/240.70	c |     93093 |  149903   799680  2670864 | 2147483647    92759     80 |  1.250 % |
241.40/241.47	c |     93214 |  149903   799680  2670864 | 2147483647    92880     80 |  1.250 % |
241.80/241.83	c |     93348 |  149903   799680  2670864 | 2147483647    93014     80 |  1.250 % |
242.40/242.43	c |     93494 |  149903   799680  2670864 | 2147483647    93160     80 |  1.250 % |
242.90/242.95	c |     93654 |  149903   799680  2670864 | 2147483647    93320     80 |  1.250 % |
243.40/243.45	c |     93830 |  149903   799680  2670864 | 2147483647    93496     80 |  1.250 % |
243.80/243.85	c |     94024 |  149903   799680  2670864 | 2147483647    93690     80 |  1.250 % |
244.80/244.82	c |     94237 |  149903   799680  2670864 | 2147483647    93903     80 |  1.250 % |
246.00/246.02	c |     94472 |  149903   799680  2670864 | 2147483647    94138     80 |  1.250 % |
246.60/246.64	c |     94728 |  149903   799680  2670864 | 2147483647    94394     80 |  1.250 % |
247.70/247.76	c |     95009 |  149903   799680  2670864 | 2147483647    94675     80 |  1.250 % |
248.60/248.61	c |     95319 |  149903   799680  2670864 | 2147483647    94985     80 |  1.250 % |
250.90/250.97	c |     95659 |  149902   799670  2670825 | 2147483647    95324     80 |  1.251 % |
252.80/252.81	c |     96032 |  149902   799670  2670825 | 2147483647    95697     80 |  1.251 % |
255.60/255.62	c |     96441 |  149902   799670  2670825 | 2147483647    96106     81 |  1.251 % |
256.60/256.68	c |     96892 |  149902   799670  2670825 | 2147483647    96557     82 |  1.251 % |
257.70/257.79	c |     97385 |  149902   799670  2670825 | 2147483647    97050     82 |  1.251 % |
259.30/259.37	c |     97928 |  149902   799670  2670825 | 2147483647    97593     82 |  1.251 % |
260.60/260.70	c |     98524 |  149902   799670  2670825 | 2147483647    98188     83 |  1.252 % |
262.20/262.28	c |     99179 |  149901   799660  2670786 | 2147483647    98843     83 |  1.252 % |
263.90/264.01	c |     99900 |  149901   799660  2670786 | 2147483647    99564     83 |  1.252 % |
267.60/267.63	c |    100692 |  149901   799660  2670786 | 2147483647   100356     83 |  1.252 % |
272.10/272.19	c |    101566 |  149901   799660  2670786 | 2147483647   101230     83 |  1.252 % |
277.20/277.21	c |    102525 |  149901   799660  2670786 | 2147483647   102189     83 |  1.252 % |
285.10/285.12	c |    103578 |  149900   799577  2670616 | 2147483647   103239     85 |  1.252 % |
288.50/288.57	c |    104737 |  149900   799577  2670616 | 2147483647   104398     85 |  1.252 % |
288.70/288.75	c |    104837 |  149900   799577  2670616 | 2147483647   104498     85 |  1.252 % |
289.20/289.23	c |    104949 |  149900   799577  2670616 | 2147483647   104610     85 |  1.252 % |
289.60/289.70	c |    105070 |  149900   799577  2670616 | 2147483647   104731     85 |  1.252 % |
289.80/289.90	c |    105203 |  149900   799577  2670616 | 2147483647   104864     85 |  1.252 % |
290.30/290.32	c |    105349 |  149900   799577  2670616 | 2147483647   105010     85 |  1.252 % |
291.40/291.45	c |    105510 |  149900   799577  2670616 | 2147483647   105171     85 |  1.252 % |
292.40/292.48	c |    105686 |  149900   799577  2670616 | 2147483647   105347     85 |  1.252 % |
292.70/292.76	c |    105879 |  149900   799577  2670616 | 2147483647   105540     85 |  1.252 % |
293.20/293.29	c |    106092 |  149900   799577  2670616 | 2147483647   105753     85 |  1.252 % |
293.90/293.98	c |    106326 |  149900   799577  2670616 | 2147483647   105987     85 |  1.252 % |
294.90/294.99	c |    106582 |  149900   799577  2670616 | 2147483647   106243     85 |  1.252 % |
295.50/295.59	c |    106863 |  149900   799577  2670616 | 2147483647   106524     85 |  1.252 % |
296.30/296.39	c |    107172 |  149900   799577  2670616 | 2147483647   106833     85 |  1.252 % |
297.50/297.60	c |    107511 |  149900   799577  2670616 | 2147483647   107172     85 |  1.252 % |
298.80/298.90	c |    107889 |  149900   799577  2670616 | 2147483647   107550     85 |  1.252 % |
299.60/299.66	c |    108299 |  149900   799577  2670616 | 2147483647   107960     85 |  1.252 % |
301.10/301.21	c |    108748 |  149900   799577  2670616 | 2147483647   108409     85 |  1.252 % |
302.30/302.40	c |    109243 |  149900   799577  2670616 | 2147483647   108904     85 |  1.252 % |
303.90/303.99	c |    109786 |  149900   799577  2670616 | 2147483647   109447     86 |  1.252 % |
306.00/306.06	c |    110382 |  149900   799577  2670616 | 2147483647   110043     86 |  1.252 % |
308.10/308.12	c |    111039 |  149900   799577  2670616 | 2147483647   110700     87 |  1.252 % |
311.70/311.76	c |    111759 |  149900   799577  2670616 | 2147483647   111420     87 |  1.252 % |
313.80/313.87	c |    112552 |  149900   799577  2670616 | 2147483647   112213     88 |  1.252 % |
316.90/316.93	c |    113423 |  149900   799577  2670616 | 2147483647   113084     88 |  1.252 % |
320.00/320.03	c |    114382 |  149900   799577  2670616 | 2147483647   114043     89 |  1.252 % |
325.10/325.12	c |    115437 |  149900   799577  2670616 | 2147483647   115098     89 |  1.252 % |
331.70/331.71	c |    116595 |  149668   798338  2666792 | 2147483647   116248     90 |  1.405 % |
334.90/334.93	c |    117868 |  149668   798338  2666792 | 2147483647   117521     90 |  1.405 % |
335.10/335.15	c |    117968 |  149668   798338  2666792 | 2147483647   117621     90 |  1.405 % |
335.40/335.42	c |    118079 |  149668   798338  2666792 | 2147483647   117732     90 |  1.405 % |
335.80/335.82	c |    118200 |  149668   798338  2666792 | 2147483647   117853     90 |  1.405 % |
336.70/336.74	c |    118333 |  149668   798338  2666792 | 2147483647   117986     90 |  1.405 % |
337.10/337.16	c |    118479 |  149667   798338  2666792 | 2147483647   118131     90 |  1.406 % |
337.60/337.64	c |    118640 |  149667   798338  2666792 | 2147483647   118292     90 |  1.406 % |
337.80/337.88	c |    118817 |  149667   798338  2666792 | 2147483647   118469     90 |  1.406 % |
338.40/338.43	c |    119011 |  149667   798338  2666792 | 2147483647   118663     90 |  1.406 % |
339.41/339.49	c |    119223 |  149667   798328  2666753 | 2147483647   118875     90 |  1.406 % |
340.41/340.44	c |    119458 |  149667   798328  2666753 | 2147483647   119110     90 |  1.406 % |
341.41/341.43	c |    119717 |  149667   798328  2666753 | 2147483647   119369     90 |  1.406 % |
342.11/342.12	c |    119998 |  149667   798328  2666753 | 2147483647   119650     90 |  1.406 % |
343.41/343.46	c |    120308 |  149666   798328  2666753 | 2147483647   119959     90 |  1.406 % |
344.61/344.68	c |    120647 |  149666   798328  2666753 | 2147483647   120298     91 |  1.406 % |
346.21/346.25	c |    121019 |  149666   798328  2666753 | 2147483647   120670     91 |  1.406 % |
347.41/347.44	c |    121428 |  149666   798328  2666753 | 2147483647   121079     91 |  1.406 % |
348.61/348.71	c |    121879 |  149666   798328  2666753 | 2147483647   121530     91 |  1.406 % |
350.41/350.47	c |    122372 |  149666   798328  2666753 | 2147483647   122023     92 |  1.406 % |
351.61/351.65	c |    122914 |  149666   798328  2666753 | 2147483647   122565     91 |  1.406 % |
354.41/354.47	c |    123511 |  149666   798318  2666714 | 2147483647   123162     92 |  1.406 % |
356.11/356.20	c |    124166 |  149666   798318  2666714 | 2147483647   123817     92 |  1.406 % |
358.71/358.76	c |    124886 |  149666   798318  2666714 | 2147483647   124537     92 |  1.406 % |
361.41/361.47	c |    125681 |  149666   798318  2666714 | 2147483647   125332     93 |  1.406 % |
363.31/363.32	c |    126554 |  149666   798318  2666714 | 2147483647   126205     94 |  1.406 % |
365.21/365.28	c |    127512 |  149666   798318  2666714 | 2147483647   127163     94 |  1.406 % |
374.91/374.92	c |    128565 |  149665   798239  2666552 | 2147483647   128214     95 |  1.407 % |
385.81/385.84	c |    129723 |  149665   798239  2666552 | 2147483647   129372     96 |  1.407 % |
390.01/390.06	c |    130998 |  149665   798239  2666552 | 2147483647   130647     96 |  1.407 % |
404.51/404.51	c |    132398 |  149665   798239  2666552 | 2147483647   132047     96 |  1.407 % |
405.01/405.10	c |    132500 |  149665   798239  2666552 | 2147483647   132149     96 |  1.407 % |
406.51/406.58	c |    132610 |  147741   780021  2601778 | 2147483647   131540     97 |  2.675 % |
407.71/407.75	c |    132731 |  147741   780021  2601778 | 2147483647   131661     97 |  2.675 % |
408.01/408.07	c |    132864 |  147741   780021  2601778 | 2147483647   131794     97 |  2.675 % |
408.51/408.60	c |    133012 |  147741   780021  2601778 | 2147483647   131942     97 |  2.675 % |
409.01/409.09	c |    133172 |  147740   780021  2601778 | 2147483647   132101     97 |  2.676 % |
409.71/409.76	c |    133348 |  147740   780021  2601778 | 2147483647   132277     97 |  2.676 % |
410.11/410.13	c |    133541 |  147740   780021  2601778 | 2147483647   132470     97 |  2.676 % |
410.71/410.76	c |    133755 |  147740   780021  2601778 | 2147483647   132684     97 |  2.676 % |
411.21/411.29	c |    133989 |  147740   780021  2601778 | 2147483647   132918     97 |  2.676 % |
412.11/412.12	c |    134245 |  147740   780021  2601778 | 2147483647   133174     97 |  2.676 % |
413.21/413.29	c |    134526 |  147740   780021  2601778 | 2147483647   133455     98 |  2.676 % |
414.01/414.07	c |    134836 |  147740   780021  2601778 | 2147483647   133765     97 |  2.676 % |
414.61/414.63	c |    135178 |  147740   780021  2601778 | 2147483647   134107     97 |  2.676 % |
416.31/416.37	c |    135553 |  147740   780021  2601778 | 2147483647   134482     98 |  2.676 % |
418.02/418.04	c |    135962 |  147740   780021  2601778 | 2147483647   134891     98 |  2.676 % |
420.61/420.63	c |    136413 |  147740   780021  2601778 | 2147483647   135342     98 |  2.676 % |
421.71/421.76	c |    136907 |  147740   780021  2601778 | 2147483647   135836     98 |  2.676 % |
423.91/423.99	c |    137449 |  147739   780007  2601719 | 2147483647   136378     99 |  2.676 % |
425.91/425.91	c |    138046 |  147739   780007  2601719 | 2147483647   136975     99 |  2.676 % |
428.01/428.09	c |    138703 |  147739   780007  2601719 | 2147483647   137632    100 |  2.676 % |
430.31/430.31	c |    139423 |  147739   780007  2601719 | 2147483647   138352    100 |  2.676 % |
432.81/432.85	c |    140215 |  147739   780007  2601719 | 2147483647   139144    100 |  2.676 % |
435.21/435.28	c |    141086 |  147739   780007  2601719 | 2147483647   140015    101 |  2.676 % |
438.22/438.24	c |    142044 |  147739   780007  2601719 | 2147483647   140973    101 |  2.676 % |
441.42/441.42	c |    143097 |  147739   780007  2601719 | 2147483647   142026    101 |  2.676 % |
446.92/446.92	c |    144255 |  147738   779924  2601549 | 2147483647   143165    101 |  2.677 % |
451.62/451.64	c |    145533 |  147738   779924  2601549 | 2147483647   144443    102 |  2.677 % |
455.32/455.36	c |    146935 |  147738   779924  2601549 | 2147483647   145845    103 |  2.677 % |
459.32/459.35	c |    148481 |  147738   779924  2601549 | 2147483647   147391    103 |  2.677 % |
459.62/459.63	c |    148581 |  147738   779924  2601549 | 2147483647   147491    103 |  2.677 % |
460.02/460.04	c |    148693 |  147738   779924  2601549 | 2147483647   147603    103 |  2.677 % |
460.22/460.30	c |    148814 |  147738   779924  2601549 | 2147483647   147724    103 |  2.677 % |
460.62/460.66	c |    148948 |  147738   779924  2601549 | 2147483647   147858    103 |  2.677 % |
461.02/461.03	c |    149094 |  147738   779924  2601549 | 2147483647   148004    103 |  2.677 % |
461.82/461.85	c |    149254 |  147737   779914  2601510 | 2147483647   148164    103 |  2.677 % |
462.32/462.41	c |    149431 |  147737   779914  2601510 | 2147483647   148341    103 |  2.677 % |
462.72/462.77	c |    149625 |  147737   779914  2601510 | 2147483647   148535    103 |  2.677 % |
463.12/463.18	c |    149838 |  147737   779914  2601510 | 2147483647   148748    104 |  2.677 % |
463.72/463.79	c |    150072 |  147737   779914  2601510 | 2147483647   148982    104 |  2.677 % |
465.92/465.97	c |    150328 |  147736   779914  2601510 | 2147483647   149237    104 |  2.678 % |
467.52/467.52	c |    150609 |  147736   779914  2601510 | 2147483647   149518    104 |  2.678 % |
468.82/468.91	c |    150921 |  147736   779914  2601510 | 2147483647   149830    104 |  2.678 % |
470.02/470.03	c |    151260 |  147736   779914  2601510 | 2147483647   150169    105 |  2.678 % |
471.12/471.18	c |    151633 |  147736   779914  2601510 | 2147483647   150542    105 |  2.678 % |
472.82/472.82	c |    152043 |  147736   779914  2601510 | 2147483647   150952    105 |  2.678 % |
476.62/476.62	c |    152493 |  147736   779914  2601510 | 2147483647   151402    105 |  2.678 % |
478.12/478.18	c |    152987 |  147736   779914  2601510 | 2147483647   151896    105 |  2.678 % |
479.42/479.46	c |    153529 |  147736   779914  2601510 | 2147483647   152438    106 |  2.678 % |
482.02/482.05	c |    154126 |  147736   779831  2601340 | 2147483647   153034    105 |  2.678 % |
485.12/485.12	c |    154783 |  147199   779831  2601340 | 2147483647   153688    106 |  5.684 % |
487.82/487.87	c |    155503 |  147199   779831  2601340 | 2147483647   154408    106 |  5.684 % |
490.12/490.18	c |    156297 |  147199   779831  2601340 | 2147483647   155202    106 |  5.684 % |
493.52/493.54	c |    157168 |  147199   779831  2601340 | 2147483647   156073    107 |  5.684 % |
496.52/496.58	c |    158126 |  147199   779831  2601340 | 2147483647   157031    106 |  5.684 % |
499.92/499.92	c |    159179 |  147199   779831  2601340 | 2147483647   158084    106 |  5.684 % |
503.62/503.65	c |    160339 |  143172   748725  2499984 | 2147483647   158495    107 |  5.684 % |
507.72/507.80	c |    161612 |  143172   748725  2499984 | 2147483647   159768    107 |  5.684 % |
511.72/511.76	c |    163012 |  143172   748725  2499984 | 2147483647   161168    106 |  5.684 % |
516.92/516.93	c |    164552 |  143172   748725  2499984 | 2147483647   162708    108 |  5.684 % |
524.31/524.36	c |    166250 |  143172   748725  2499984 | 2147483647   164406    109 |  5.684 % |
524.81/524.80	c |    166350 |  143172   748715  2499945 | 2147483647   164506    109 |  5.684 % |
525.11/525.11	c |    166460 |  143172   748715  2499945 | 2147483647   164616    109 |  5.684 % |
525.41/525.41	c |    166581 |  143172   748715  2499945 | 2147483647   164737    109 |  5.684 % |
525.91/525.95	c |    166714 |  143172   748715  2499945 | 2147483647   164870    109 |  5.684 % |
526.71/526.72	c |    166862 |  143172   748715  2499945 | 2147483647   165018    109 |  5.684 % |
527.51/527.59	c |    167022 |  143172   748715  2499945 | 2147483647   165178    109 |  5.684 % |
529.21/529.28	c |    167198 |  143172   748715  2499945 | 2147483647   165354    109 |  5.684 % |
530.11/530.21	c |    167391 |  143172   748715  2499945 | 2147483647   165547    108 |  5.684 % |
531.71/531.73	c |    167604 |  143172   748715  2499945 | 2147483647   165760    108 |  5.684 % |
532.81/532.88	c |    167837 |  143172   748715  2499945 | 2147483647   165993    109 |  5.684 % |
533.61/533.70	c |    168095 |  143172   748715  2499945 | 2147483647   166251    109 |  5.684 % |
534.71/534.77	c |    168376 |  143172   748715  2499945 | 2147483647   166532    109 |  5.684 % |
535.41/535.48	c |    168688 |  143172   748715  2499945 | 2147483647   166844    109 |  5.684 % |
536.52/536.55	c |    169027 |  143172   748715  2499945 | 2147483647   167183    109 |  5.684 % |
538.12/538.18	c |    169401 |  143172   748715  2499945 | 2147483647   167557    109 |  5.684 % |
539.32/539.36	c |    169810 |  143172   748715  2499945 | 2147483647   167966    109 |  5.684 % |
540.72/540.74	c |    170259 |  143172   748715  2499945 | 2147483647   168415    109 |  5.684 % |
542.02/542.03	c |    170753 |  143171   748715  2499945 | 2147483647   168908    109 |  5.685 % |
544.02/544.05	c |    171295 |  143171   748715  2499945 | 2147483647   169450    109 |  5.685 % |
545.82/545.83	c |    171891 |  143171   748715  2499945 | 2147483647   170046    109 |  5.685 % |
548.62/548.66	c |    172547 |  143171   748705  2499906 | 2147483647   170702    109 |  5.685 % |
555.92/555.99	c |    173267 |  143171   748705  2499906 | 2147483647   171422    109 |  5.685 % |
559.92/559.92	c |    174060 |  143171   748705  2499906 | 2147483647   172215    110 |  5.685 % |
566.12/566.13	c |    174931 |  143171   748705  2499906 | 2147483647   173086    110 |  5.685 % |
574.12/574.18	c |    175889 |  143171   748705  2499906 | 2147483647   174044    111 |  5.685 % |
578.12/578.13	c |    176943 |  143170   748695  2499867 | 2147483647   175097    111 |  5.686 % |
582.02/582.01	c |    178104 |  143170   748695  2499867 | 2147483647   176258    112 |  5.686 % |
585.72/585.77	c |    179378 |  143170   748695  2499867 | 2147483647   177532    112 |  5.686 % |
590.62/590.62	c |    180780 |  143170   748695  2499867 | 2147483647   178934    113 |  5.686 % |
595.42/595.49	c |    182322 |  143170   748695  2499867 | 2147483647   180476    113 |  5.686 % |
600.52/600.52	c |    184016 |  143170   748695  2499867 | 2147483647   182170    113 |  5.686 % |
608.63/608.70	c |    185883 |  143170   748695  2499867 | 2147483647   184037    113 |  5.686 % |
608.93/608.98	c |    185983 |  143170   748695  2499867 | 2147483647   184137    113 |  5.686 % |
609.33/609.42	c |    186093 |  143170   748695  2499867 | 2147483647   184247    113 |  5.686 % |
610.03/610.09	c |    186215 |  143170   748695  2499867 | 2147483647   184369    113 |  5.686 % |
610.54/610.59	c |    186350 |  143170   748695  2499867 | 2147483647   184504    113 |  5.686 % |
610.93/610.95	c |    186496 |  143170   748695  2499867 | 2147483647   184650    113 |  5.686 % |
611.53/611.55	c |    186662 |  143170   748695  2499867 | 2147483647   184816    113 |  5.686 % |
612.33/612.37	c |    186838 |  143170   748695  2499867 | 2147483647   184992    113 |  5.686 % |
612.93/612.93	c |    187032 |  143170   748695  2499867 | 2147483647   185186    113 |  5.686 % |
614.94/614.92	c |    187245 |  143169   748685  2499828 | 2147483647   185398    113 |  5.686 % |
616.23/616.29	c |    187480 |  143168   748685  2499828 | 2147483647   185631    113 |  5.772 % |
617.03/617.09	c |    187737 |  143168   748685  2499828 | 2147483647   185888    113 |  5.772 % |
617.93/617.97	c |    188018 |  143168   748685  2499828 | 2147483647   186169    113 |  5.772 % |
618.83/618.86	c |    188327 |  143168   748685  2499828 | 2147483647   186478    113 |  5.772 % |
620.03/620.08	c |    188666 |  143168   748685  2499828 | 2147483647   186816    113 |  5.773 % |
621.43/621.48	c |    189039 |  143168   748685  2499828 | 2147483647   187189    113 |  5.773 % |
622.73/622.78	c |    189449 |  143168   748685  2499828 | 2147483647   187599    113 |  5.773 % |
624.13/624.16	c |    189900 |  143168   748685  2499828 | 2147483647   188050    113 |  5.773 % |
625.94/625.93	c |    190393 |  143168   748685  2499828 | 2147483647   188543    113 |  5.773 % |
627.53/627.57	c |    190937 |  143168   748685  2499828 | 2147483647   189086    113 |  5.776 % |
630.53/630.60	c |    191533 |  143168   748685  2499828 | 2147483647   189682    113 |  5.776 % |
633.13/633.21	c |    192188 |  143168   748685  2499828 | 2147483647   190337    113 |  5.776 % |
636.24/636.31	c |    192911 |  143168   748685  2499828 | 2147483647   191060    113 |  5.776 % |
639.14/639.20	c |    193703 |  143168   748685  2499828 | 2147483647   191852    113 |  5.776 % |
643.04/643.08	c |    194574 |  143033   748048  2497395 | 2147483647   192711    113 |  5.776 % |
648.04/648.10	c |    195532 |  143033   748048  2497395 | 2147483647   193668    113 |  5.777 % |
652.74/652.75	c |    196586 |  143033   748048  2497395 | 2147483647   194722    113 |  5.777 % |
657.24/657.30	c |    197744 |  143033   748048  2497395 | 2147483647   195880    114 |  5.777 % |
665.04/665.03	c |    199017 |  143033   748048  2497395 | 2147483647   197153    113 |  5.777 % |
670.34/670.40	c |    200417 |  143032   748038  2497356 | 2147483647   198553    114 |  5.777 % |
676.54/676.52	c |    201960 |  143032   748038  2497356 | 2147483647   200096    115 |  5.777 % |
682.14/682.17	c |    203654 |  143032   748038  2497356 | 2147483647   201790    115 |  5.777 % |
689.75/689.80	c |    205517 |  143032   748038  2497356 | 2147483647   203653    115 |  5.777 % |
703.94/703.99	c |    207566 |  143023   748038  2497356 | 2147483647   205700    117 |  5.799 % |
704.74/704.72	c |    207667 |  142998   747594  2495714 | 2147483647   203425    117 |  5.799 % |
705.04/705.04	c |    207780 |  142998   747594  2495714 | 2147483647   203538    117 |  5.799 % |
705.24/705.31	c |    207903 |  142998   747594  2495714 | 2147483647   203661    117 |  5.799 % |
705.74/705.77	c |    208037 |  142998   747594  2495714 | 2147483647   203795    117 |  5.799 % |
706.54/706.60	c |    208185 |  142998   747594  2495714 | 2147483647   203943    117 |  5.799 % |
707.35/707.37	c |    208347 |  142998   747594  2495714 | 2147483647   204105    117 |  5.799 % |
707.94/707.98	c |    208525 |  142998   747594  2495714 | 2147483647   204283    117 |  5.799 % |
708.84/708.88	c |    208719 |  142998   747594  2495714 | 2147483647   204477    117 |  5.799 % |
709.74/709.74	c |    208933 |  142998   747594  2495714 | 2147483647   204691    118 |  5.799 % |
710.74/710.75	c |    209168 |  142998   747594  2495714 | 2147483647   204926    117 |  5.799 % |
711.75/711.75	c |    209428 |  142998   747594  2495714 | 2147483647   205186    118 |  5.799 % |
712.94/712.93	c |    209719 |  142998   747594  2495714 | 2147483647   205477    118 |  5.799 % |
715.05/715.05	c |    210029 |  142998   747594  2495714 | 2147483647   205787    118 |  5.799 % |
716.24/716.30	c |    210369 |  142998   747594  2495714 | 2147483647   206127    118 |  5.799 % |
717.54/717.58	c |    210742 |  142998   747594  2495714 | 2147483647   206500    118 |  5.799 % |
718.74/718.77	c |    211152 |  142998   747594  2495714 | 2147483647   206910    117 |  5.799 % |
720.64/720.65	c |    211601 |  142998   747594  2495714 | 2147483647   207359    117 |  5.799 % |
723.74/723.77	c |    212094 |  142998   747594  2495714 | 2147483647   207852    118 |  5.799 % |
728.64/728.69	c |    212637 |  142998   747594  2495714 | 2147483647   208395    118 |  5.799 % |
731.95/731.96	c |    213238 |  142998   747594  2495714 | 2147483647   208996    118 |  5.799 % |
738.05/738.08	c |    213894 |  142998   747594  2495714 | 2147483647   209652    119 |  5.799 % |
740.75/740.80	c |    214614 |  142998   747594  2495714 | 2147483647   210372    119 |  5.799 % |
743.45/743.46	c |    215406 |  142998   747594  2495714 | 2147483647   211164    119 |  5.799 % |
746.35/746.38	c |    216277 |  142998   747594  2495714 | 2147483647   212035    120 |  5.799 % |
757.05/757.09	c |    217235 |  142998   747594  2495714 | 2147483647   212993    120 |  5.799 % |
760.75/760.73	c |    218288 |  142998   747594  2495714 | 2147483647   214046    120 |  5.799 % |
765.05/765.04	c |    219446 |  142998   747594  2495714 | 2147483647   215204    121 |  5.799 % |
770.25/770.26	c |    220721 |  142998   747594  2495714 | 2147483647   216479    121 |  5.799 % |
776.85/776.82	c |    222121 |  142998   747594  2495714 | 2147483647   217879    121 |  5.799 % |
784.35/784.39	c |    223662 |  142998   747594  2495714 | 2147483647   219420    121 |  5.799 % |
790.55/790.53	c |    225356 |  142998   747594  2495714 | 2147483647   221114    122 |  5.799 % |
797.65/797.68	c |    227221 |  142998   747594  2495714 | 2147483647   222979    122 |  5.799 % |
807.85/807.86	c |    229270 |  142998   747594  2495714 | 2147483647   225028    122 |  5.799 % |
816.35/816.35	c |    231524 |  142998   747594  2495714 | 2147483647   227282    122 |  5.799 % |
816.75/816.77	c |    231624 |  142998   747594  2495714 | 2147483647   227382    122 |  5.799 % |
817.05/817.08	c |    231734 |  142998   747594  2495714 | 2147483647   227492    122 |  5.799 % |
817.55/817.57	c |    231857 |  142998   747594  2495714 | 2147483647   227615    122 |  5.799 % |
818.55/818.58	c |    231992 |  142998   747594  2495714 | 2147483647   227750    122 |  5.799 % |
820.55/820.54	c |    232141 |  142998   747594  2495714 | 2147483647   227899    122 |  5.799 % |
822.86/822.90	c |    232301 |  142998   747594  2495714 | 2147483647   228059    122 |  5.799 % |
823.96/823.97	c |    232479 |  142998   747594  2495714 | 2147483647   228237    122 |  5.799 % |
824.65/824.66	c |    232672 |  142998   747594  2495714 | 2147483647   228430    122 |  5.799 % |
825.45/825.42	c |    232886 |  142998   747594  2495714 | 2147483647   228644    122 |  5.799 % |
826.35/826.36	c |    233120 |  142998   747594  2495714 | 2147483647   228878    122 |  5.799 % |
827.15/827.18	c |    233376 |  142998   747594  2495714 | 2147483647   229134    122 |  5.799 % |
829.35/829.41	c |    233657 |  142998   747594  2495714 | 2147483647   229415    122 |  5.799 % |
830.16/830.12	c |    233966 |  142998   747594  2495714 | 2147483647   229724    122 |  5.799 % |
831.26/831.23	c |    234305 |  142998   747594  2495714 | 2147483647   230063    122 |  5.799 % |
832.36/832.35	c |    234677 |  142998   747594  2495714 | 2147483647   230435    122 |  5.799 % |
835.36/835.35	c |    235088 |  142998   747594  2495714 | 2147483647   230846    122 |  5.799 % |
837.76/837.82	c |    235539 |  142998   747594  2495714 | 2147483647   231297    122 |  5.799 % |
841.46/841.50	c |    236038 |  142998   747594  2495714 | 2147483647   231796    122 |  5.799 % |
843.46/843.51	c |    236580 |  142998   747594  2495714 | 2147483647   232338    122 |  5.799 % |
846.46/846.48	c |    237177 |  142998   747594  2495714 | 2147483647   232935    122 |  5.799 % |
854.16/854.14	c |    237833 |  142998   747594  2495714 | 2147483647   233591    122 |  5.799 % |
858.16/858.17	c |    238553 |  142998   747594  2495714 | 2147483647   234311    122 |  5.799 % |
867.16/867.15	c |    239345 |  142998   747594  2495714 | 2147483647   235103    122 |  5.799 % |
872.26/872.23	c |    240217 |  142998   747594  2495714 | 2147483647   235975    122 |  5.799 % |
878.05/878.06	c |    241175 |  142998   747594  2495714 | 2147483647   236933    123 |  5.799 % |
881.65/881.63	c |    242228 |  142998   747594  2495714 | 2147483647   237986    122 |  5.799 % |
901.45/901.43	c |    243386 |  142998   747594  2495714 | 2147483647   239144    123 |  5.799 % |
913.06/913.05	c |    244659 |  142998   747594  2495714 | 2147483647   240417    123 |  5.799 % |
919.45/919.43	c |    246061 |  142998   747594  2495714 | 2147483647   241819    123 |  5.799 % |
928.66/928.66	c |    247601 |  142998   747594  2495714 | 2147483647   243359    123 |  5.799 % |
971.86/971.85	c |    249295 |  142998   747594  2495714 | 2147483647   245053    124 |  5.799 % |
983.26/983.24	c |    251160 |  142998   747594  2495714 | 2147483647   246918    124 |  5.799 % |
991.56/991.51	c |    253209 |  142998   747594  2495714 | 2147483647   248967    124 |  5.799 % |
1007.26/1007.24	c |    255463 |  142998   747594  2495714 | 2147483647   251221    125 |  5.799 % |
1015.46/1015.47	c |    257942 |  142998   747594  2495714 | 2147483647   253700    125 |  5.799 % |
1015.86/1015.88	c |    258042 |  142998   747594  2495714 | 2147483647   253800    125 |  5.799 % |
1016.36/1016.40	c |    258152 |  142998   747594  2495714 | 2147483647   253910    125 |  5.799 % |
1016.96/1016.98	c |    258273 |  142998   747594  2495714 | 2147483647   254031    125 |  5.799 % |
1020.06/1020.06	c |    258407 |  142998   747594  2495714 | 2147483647   254165    125 |  5.799 % |
1021.16/1021.12	c |    258554 |  142998   747594  2495714 | 2147483647   254312    125 |  5.799 % |
1021.97/1021.94	c |    258715 |  142998   747594  2495714 | 2147483647   254473    125 |  5.799 % |
1024.56/1024.54	c |    258894 |  142998   747594  2495714 | 2147483647   254652    125 |  5.799 % |
1031.77/1031.78	c |    259088 |  142998   747594  2495714 | 2147483647   254846    125 |  5.799 % |
1033.67/1033.65	c |    259301 |  142998   747594  2495714 | 2147483647   255059    125 |  5.799 % |
1034.57/1034.61	c |    259535 |  142998   747594  2495714 | 2147483647   255293    125 |  5.799 % |
1039.37/1039.40	c |    259792 |  142998   747594  2495714 | 2147483647   255550    125 |  5.799 % |
1040.57/1040.54	c |    260073 |  142998   747594  2495714 | 2147483647   255831    125 |  5.799 % |
1043.17/1043.14	c |    260382 |  142998   747594  2495714 | 2147483647   256140    125 |  5.799 % |
1046.07/1046.08	c |    260726 |  142998   747594  2495714 | 2147483647   256484    125 |  5.799 % |
1051.77/1051.75	c |    261098 |  142998   747594  2495714 | 2147483647   256856    125 |  5.799 % |
1056.67/1056.66	c |    261510 |  142752   747534  2495509 | 2147483647   257194    125 | 16.685 % |
1058.47/1058.44	c |    261961 |  142752   747534  2495509 | 2147483647   257645    125 | 16.685 % |
1066.67/1066.64	c |    262458 |  142752   747534  2495509 | 2147483647   258142    126 | 16.685 % |
1073.77/1073.78	c |    263001 |  142751   747534  2495509 | 2147483647   258684    126 | 16.686 % |
1077.97/1077.94	c |    263597 |  142751   747534  2495509 | 2147483647   259280    126 | 16.686 % |
1085.27/1085.25	c |    264252 |  142751   747534  2495509 | 2147483647   259935    126 | 16.686 % |
1087.77/1087.81	c |    264973 |  142751   747534  2495509 | 2147483647   260656    126 | 16.686 % |
1097.07/1097.08	c |    265765 |  142751   747534  2495509 | 2147483647   261448    126 | 16.686 % |
1101.97/1101.98	c |    266636 |  142751   747534  2495509 | 2147483647   262319    127 | 16.686 % |
1104.77/1104.81	c |    267595 |  142751   747534  2495509 | 2147483647   263278    127 | 16.686 % |
1108.07/1108.08	c |    268649 |  142751   747534  2495509 | 2147483647   264332    127 | 16.686 % |
1124.38/1124.32	c |    269807 |  142751   747534  2495509 | 2147483647   265490    127 | 16.686 % |
1136.98/1136.96	c |    271081 |  126472   659973  2200882 | 2147483647   259888    129 | 16.686 % |
1162.68/1162.69	c |    272481 |  126471   659973  2200882 | 2147483647   261287    129 | 16.686 % |
1165.98/1166.00	c ===============================================================================
1165.98/1166.00	c restarts              : 661
1165.98/1166.00	c conflicts             : 272986         (237 /sec)
1165.98/1166.00	c decisions             : 1256976        (1.45 % random) (1092 /sec)
1165.98/1166.00	c propagations          : 1065436229     (925557 /sec)
1165.98/1166.00	c conflict literals     : 34977591       (43.92 % deleted)
1165.98/1166.00	c Memory used           : 191.03 MB
1165.98/1166.00	c CPU time              : 1151.13 s
1165.98/1166.00	c 
1165.98/1166.00	s UNSATISFIABLE
1166.08/1166.02	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.02 1.00 1.00 3/93 22816
/proc/meminfo: memFree=630020/2074464 swapFree=1949056/1959888
[pid=22816] ppid=22814 vsize=2416 CPUtime=0
/proc/22816/stat : 22816 (SatELiteGTI) S 22814 22816 14060 0 -1 4194304 365 645 0 0 0 0 0 0 25 0 1 0 1011905876 2473984 276 4294967295 134512640 135169312 3217568096 3217566632 3085631214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22816/statm: 604 276 235 161 0 43 0
[pid=22820] ppid=22816 vsize=948 CPUtime=0
/proc/22820/stat : 22820 (SatELite_releas) R 22816 22816 14060 0 -1 4202496 113 0 0 0 0 0 0 0 18 0 1 0 1011905876 970752 49 4294967295 134512640 135223648 3214003296 3214002200 134736942 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22820/statm: 238 54 44 174 0 63 0

[startup+0.047742 s]
/proc/loadavg: 1.02 1.00 1.00 3/93 22816
/proc/meminfo: memFree=630020/2074464 swapFree=1949056/1959888
[pid=22816] ppid=22814 vsize=2416 CPUtime=0
/proc/22816/stat : 22816 (SatELiteGTI) S 22814 22816 14060 0 -1 4194304 365 645 0 0 0 0 0 0 25 0 1 0 1011905876 2473984 276 4294967295 134512640 135169312 3217568096 3217566632 3085631214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22816/statm: 604 276 235 161 0 43 0
[pid=22820] ppid=22816 vsize=8656 CPUtime=0.05
/proc/22820/stat : 22820 (SatELite_releas) R 22816 22816 14060 0 -1 4202496 1891 0 0 0 4 1 0 0 18 0 1 0 1011905876 8863744 1827 4294967295 134512640 135223648 3214003296 3214002248 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22820/statm: 2164 1828 47 174 0 1989 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11072

[startup+0.117734 s]
/proc/loadavg: 1.02 1.00 1.00 3/93 22816
/proc/meminfo: memFree=630020/2074464 swapFree=1949056/1959888
[pid=22816] ppid=22814 vsize=2416 CPUtime=0
/proc/22816/stat : 22816 (SatELiteGTI) S 22814 22816 14060 0 -1 4194304 365 645 0 0 0 0 0 0 25 0 1 0 1011905876 2473984 276 4294967295 134512640 135169312 3217568096 3217566632 3085631214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22816/statm: 604 276 235 161 0 43 0
[pid=22820] ppid=22816 vsize=18732 CPUtime=0.12
/proc/22820/stat : 22820 (SatELite_releas) R 22816 22816 14060 0 -1 4202496 4254 0 0 0 10 2 0 0 18 0 1 0 1011905876 19181568 4190 4294967295 134512640 135223648 3214003296 3214002248 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22820/statm: 4683 4191 47 174 0 4508 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 21148

[startup+0.317717 s]
/proc/loadavg: 1.02 1.00 1.00 3/93 22816
/proc/meminfo: memFree=630020/2074464 swapFree=1949056/1959888
[pid=22816] ppid=22814 vsize=2416 CPUtime=0
/proc/22816/stat : 22816 (SatELiteGTI) S 22814 22816 14060 0 -1 4194304 365 645 0 0 0 0 0 0 25 0 1 0 1011905876 2473984 276 4294967295 134512640 135169312 3217568096 3217566632 3085631214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22816/statm: 604 276 235 161 0 43 0
[pid=22820] ppid=22816 vsize=54976 CPUtime=0.32
/proc/22820/stat : 22820 (SatELite_releas) R 22816 22816 14060 0 -1 4202496 10600 0 0 0 28 4 0 0 18 0 1 0 1011905876 56295424 10536 4294967295 134512640 135223648 3214003296 3214002248 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22820/statm: 13744 10537 47 174 0 13569 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 57392

[startup+0.717682 s]
/proc/loadavg: 1.02 1.00 1.00 3/93 22816
/proc/meminfo: memFree=630020/2074464 swapFree=1949056/1959888
[pid=22816] ppid=22814 vsize=2416 CPUtime=0
/proc/22816/stat : 22816 (SatELiteGTI) S 22814 22816 14060 0 -1 4194304 365 645 0 0 0 0 0 0 25 0 1 0 1011905876 2473984 276 4294967295 134512640 135169312 3217568096 3217566632 3085631214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22816/statm: 604 276 235 161 0 43 0
[pid=22820] ppid=22816 vsize=114352 CPUtime=0.72
/proc/22820/stat : 22820 (SatELite_releas) R 22816 22816 14060 0 -1 4202496 22897 0 0 0 63 9 0 0 18 0 1 0 1011905876 117096448 22834 4294967295 134512640 135223648 3214003296 3214001880 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22820/statm: 28588 22835 47 174 0 28413 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 116768

[startup+1.51761 s]
/proc/loadavg: 1.02 1.00 1.00 2/95 22821
/proc/meminfo: memFree=502788/2074464 swapFree=1949056/1959888
[pid=22816] ppid=22814 vsize=2416 CPUtime=0
/proc/22816/stat : 22816 (SatELiteGTI) S 22814 22816 14060 0 -1 4194304 365 645 0 0 0 0 0 0 25 0 1 0 1011905876 2473984 276 4294967295 134512640 135169312 3217568096 3217566632 3085631214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22816/statm: 604 276 235 161 0 43 0
[pid=22820] ppid=22816 vsize=234028 CPUtime=1.52
/proc/22820/stat : 22820 (SatELite_releas) R 22816 22816 14060 0 -1 4202496 46929 0 0 0 131 21 0 0 20 0 1 0 1011905876 239644672 46865 4294967295 134512640 135223648 3214003296 3214002136 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22820/statm: 58507 46867 47 174 0 58332 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 236444

[startup+3.11748 s]
/proc/loadavg: 1.02 1.00 1.00 2/95 22821
/proc/meminfo: memFree=404704/2074464 swapFree=1949056/1959888
[pid=22816] ppid=22814 vsize=2416 CPUtime=0
/proc/22816/stat : 22816 (SatELiteGTI) S 22814 22816 14060 0 -1 4194304 365 645 0 0 0 0 0 0 25 0 1 0 1011905876 2473984 276 4294967295 134512640 135169312 3217568096 3217566632 3085631214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22816/statm: 604 276 235 161 0 43 0
[pid=22820] ppid=22816 vsize=294880 CPUtime=3.12
/proc/22820/stat : 22820 (SatELite_releas) R 22816 22816 14060 0 -1 4202496 64279 0 0 0 278 34 0 0 25 0 1 0 1011905876 301957120 59339 4294967295 134512640 135223648 3214003296 3214001248 134563594 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22820/statm: 73720 59339 73 174 0 73545 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 297296

[startup+6.3172 s]
/proc/loadavg: 1.02 1.00 1.00 2/95 22821
/proc/meminfo: memFree=351136/2074464 swapFree=1949056/1959888
[pid=22816] ppid=22814 vsize=2416 CPUtime=0
/proc/22816/stat : 22816 (SatELiteGTI) S 22814 22816 14060 0 -1 4194304 365 645 0 0 0 0 0 0 25 0 1 0 1011905876 2473984 276 4294967295 134512640 135169312 3217568096 3217566632 3085631214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22816/statm: 604 276 235 161 0 43 0
[pid=22820] ppid=22816 vsize=312404 CPUtime=6.32
/proc/22820/stat : 22820 (SatELite_releas) R 22816 22816 14060 0 -1 4202496 68134 0 0 0 596 36 0 0 25 0 1 0 1011905876 319901696 63194 4294967295 134512640 135223648 3214003296 3214001312 134586715 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22820/statm: 78101 63194 73 174 0 77926 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 314820

[startup+12.7167 s]
/proc/loadavg: 1.01 1.00 1.00 2/95 22821
/proc/meminfo: memFree=327888/2074464 swapFree=1949056/1959888
[pid=22816] ppid=22814 vsize=2416 CPUtime=0
/proc/22816/stat : 22816 (SatELiteGTI) S 22814 22816 14060 0 -1 4194304 365 645 0 0 0 0 0 0 25 0 1 0 1011905876 2473984 276 4294967295 134512640 135169312 3217568096 3217566632 3085631214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22816/statm: 604 276 235 161 0 43 0
[pid=22820] ppid=22816 vsize=307700 CPUtime=12.7
/proc/22820/stat : 22820 (SatELite_releas) R 22816 22816 14060 0 -1 4202496 75097 0 0 0 1226 44 0 0 25 0 1 0 1011905876 315084800 62630 4294967295 134512640 135223648 3214003296 3214001312 134586881 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22820/statm: 76925 62630 73 174 0 76750 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 310116

[startup+25.5155 s]
/proc/loadavg: 1.01 1.00 1.00 2/95 22822
/proc/meminfo: memFree=524044/2074464 swapFree=1949056/1959888
[pid=22816] ppid=22814 vsize=2420 CPUtime=14.47
/proc/22816/stat : 22816 (SatELiteGTI) S 22814 22816 14060 0 -1 4194304 383 87129 0 0 0 0 1392 55 18 0 1 0 1011905876 2478080 277 4294967295 134512640 135169312 3217568096 3217564312 3085631214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22816/statm: 605 277 235 161 0 44 0
[pid=22822] ppid=22816 vsize=51724 CPUtime=11.01
/proc/22822/stat : 22822 (minisat_static) R 22816 22816 14060 0 -1 4202496 12134 0 0 0 1095 6 0 0 25 0 1 0 1011907327 52965376 12069 4294967295 134512640 135215339 3216809840 3216808128 134528691 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22822/statm: 12931 12069 73 172 0 12758 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 54144

[startup+51.1233 s]
/proc/loadavg: 1.01 1.00 1.00 2/95 23007
/proc/meminfo: memFree=520528/2074464 swapFree=1949056/1959888
[pid=22816] ppid=22814 vsize=2420 CPUtime=14.47
/proc/22816/stat : 22816 (SatELiteGTI) S 22814 22816 14060 0 -1 4194304 383 87129 0 0 0 0 1392 55 18 0 1 0 1011905876 2478080 277 4294967295 134512640 135169312 3217568096 3217564312 3085631214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22816/statm: 605 277 235 161 0 44 0
[pid=22822] ppid=22816 vsize=54960 CPUtime=36.62
/proc/22822/stat : 22822 (minisat_static) R 22816 22816 14060 0 -1 4202496 12949 0 0 0 3656 6 0 0 25 0 1 0 1011907327 56279040 12884 4294967295 134512640 135215339 3216809840 3216808128 134528728 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22822/statm: 13740 12884 73 172 0 13567 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 57380

[startup+102.329 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 23194
/proc/meminfo: memFree=514388/2074464 swapFree=1949056/1959888
[pid=22816] ppid=22814 vsize=2420 CPUtime=14.47
/proc/22816/stat : 22816 (SatELiteGTI) S 22814 22816 14060 0 -1 4194304 383 87129 0 0 0 0 1392 55 18 0 1 0 1011905876 2478080 277 4294967295 134512640 135169312 3217568096 3217564312 3085631214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22816/statm: 605 277 235 161 0 44 0
[pid=22822] ppid=22816 vsize=60804 CPUtime=87.83
/proc/22822/stat : 22822 (minisat_static) R 22816 22816 14060 0 -1 4202496 14404 0 0 0 8773 10 0 0 25 0 1 0 1011907327 62263296 14339 4294967295 134512640 135215339 3216809840 3216808128 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22822/statm: 15201 14339 73 172 0 15028 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 63224

[startup+162.314 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 23387
/proc/meminfo: memFree=504916/2074464 swapFree=1949056/1959888
[pid=22816] ppid=22814 vsize=2420 CPUtime=14.47
/proc/22816/stat : 22816 (SatELiteGTI) S 22814 22816 14060 0 -1 4194304 383 87129 0 0 0 0 1392 55 18 0 1 0 1011905876 2478080 277 4294967295 134512640 135169312 3217568096 3217564312 3085631214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22816/statm: 605 277 235 161 0 44 0
[pid=22822] ppid=22816 vsize=70020 CPUtime=147.82
/proc/22822/stat : 22822 (minisat_static) R 22816 22816 14060 0 -1 4202496 16684 0 0 0 14769 13 0 0 25 0 1 0 1011907327 71700480 16619 4294967295 134512640 135215339 3216809840 3216808128 134529157 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22822/statm: 17505 16619 73 172 0 17332 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 72440

[startup+222.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 23576
/proc/meminfo: memFree=494548/2074464 swapFree=1949056/1959888
[pid=22816] ppid=22814 vsize=2420 CPUtime=14.47
/proc/22816/stat : 22816 (SatELiteGTI) S 22814 22816 14060 0 -1 4194304 383 87129 0 0 0 0 1392 55 18 0 1 0 1011905876 2478080 277 4294967295 134512640 135169312 3217568096 3217564312 3085631214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22816/statm: 605 277 235 161 0 44 0
[pid=22822] ppid=22816 vsize=80316 CPUtime=207.82
/proc/22822/stat : 22822 (minisat_static) R 22816 22816 14060 0 -1 4202496 19287 0 0 0 20768 14 0 0 25 0 1 0 1011907327 82243584 19222 4294967295 134512640 135215339 3216809840 3216808128 134528691 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22822/statm: 20079 19222 73 172 0 19906 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 82736

[startup+282.313 s]
/proc/loadavg: 1.00 1.00 1.00 4/95 23761
/proc/meminfo: memFree=485380/2074464 swapFree=1949056/1959888
[pid=22816] ppid=22814 vsize=2420 CPUtime=14.47
/proc/22816/stat : 22816 (SatELiteGTI) S 22814 22816 14060 0 -1 4194304 383 87129 0 0 0 0 1392 55 18 0 1 0 1011905876 2478080 277 4294967295 134512640 135169312 3217568096 3217564312 3085631214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22816/statm: 605 277 235 161 0 44 0
[pid=22822] ppid=22816 vsize=89872 CPUtime=267.83
/proc/22822/stat : 22822 (minisat_static) R 22816 22816 14060 0 -1 4202496 21644 0 0 0 26763 20 0 0 25 0 1 0 1011907327 92028928 21579 4294967295 134512640 135215339 3216809840 3216807840 134532900 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22822/statm: 22468 21579 73 172 0 22295 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 92292

[startup+342.318 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 23951
/proc/meminfo: memFree=475576/2074464 swapFree=1949056/1959888
[pid=22816] ppid=22814 vsize=2420 CPUtime=14.47
/proc/22816/stat : 22816 (SatELiteGTI) S 22814 22816 14060 0 -1 4194304 383 87129 0 0 0 0 1392 55 18 0 1 0 1011905876 2478080 277 4294967295 134512640 135169312 3217568096 3217564312 3085631214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22816/statm: 605 277 235 161 0 44 0
[pid=22822] ppid=22816 vsize=99376 CPUtime=327.84
/proc/22822/stat : 22822 (minisat_static) R 22816 22816 14060 0 -1 4202496 24012 0 0 0 32762 22 0 0 25 0 1 0 1011907327 101761024 23947 4294967295 134512640 135215339 3216809840 3216808128 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22822/statm: 24844 23947 73 172 0 24671 0
Current children cumulated CPU time (s) 342.31

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


[startup+882.311 s]
/proc/loadavg: 1.20 1.05 1.01 3/95 25649
/proc/meminfo: memFree=399100/2074464 swapFree=1949056/1959888
[pid=22816] ppid=22814 vsize=2420 CPUtime=14.47
/proc/22816/stat : 22816 (SatELiteGTI) S 22814 22816 14060 0 -1 4194304 383 87129 0 0 0 0 1392 55 18 0 1 0 1011905876 2478080 277 4294967295 134512640 135169312 3217568096 3217564312 3085631214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22816/statm: 605 277 235 161 0 44 0
[pid=22822] ppid=22816 vsize=175716 CPUtime=867.88
/proc/22822/stat : 22822 (minisat_static) R 22816 22816 14060 0 -1 4202496 43051 0 0 0 86746 42 0 0 25 0 1 0 1011907327 179933184 42986 4294967295 134512640 135215339 3216809840 3216807904 134538272 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22822/statm: 43929 42986 73 172 0 43756 0
Current children cumulated CPU time (s) 882.35
Current children cumulated vsize (KiB) 178136

[startup+942.316 s]
/proc/loadavg: 1.19 1.07 1.02 3/95 25837
/proc/meminfo: memFree=394952/2074464 swapFree=1949056/1959888
[pid=22816] ppid=22814 vsize=2420 CPUtime=14.47
/proc/22816/stat : 22816 (SatELiteGTI) S 22814 22816 14060 0 -1 4194304 383 87129 0 0 0 0 1392 55 18 0 1 0 1011905876 2478080 277 4294967295 134512640 135169312 3217568096 3217564312 3085631214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22816/statm: 605 277 235 161 0 44 0
[pid=22822] ppid=22816 vsize=179692 CPUtime=927.89
/proc/22822/stat : 22822 (minisat_static) R 22816 22816 14060 0 -1 4202496 44054 0 0 0 92746 43 0 0 25 0 1 0 1011907327 184004608 43989 4294967295 134512640 135215339 3216809840 3216808128 134528742 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22822/statm: 44923 43989 73 172 0 44750 0
Current children cumulated CPU time (s) 942.36
Current children cumulated vsize (KiB) 182112

[startup+1002.31 s]
/proc/loadavg: 1.07 1.06 1.01 2/95 26025
/proc/meminfo: memFree=390628/2074464 swapFree=1949056/1959888
[pid=22816] ppid=22814 vsize=2420 CPUtime=14.47
/proc/22816/stat : 22816 (SatELiteGTI) S 22814 22816 14060 0 -1 4194304 383 87129 0 0 0 0 1392 55 18 0 1 0 1011905876 2478080 277 4294967295 134512640 135169312 3217568096 3217564312 3085631214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22816/statm: 605 277 235 161 0 44 0
[pid=22822] ppid=22816 vsize=183984 CPUtime=987.89
/proc/22822/stat : 22822 (minisat_static) R 22816 22816 14060 0 -1 4202496 45138 0 0 0 98744 45 0 0 25 0 1 0 1011907327 188399616 45073 4294967295 134512640 135215339 3216809840 3216808128 134528666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22822/statm: 45996 45073 73 172 0 45823 0
Current children cumulated CPU time (s) 1002.36
Current children cumulated vsize (KiB) 186404

[startup+1062.32 s]
/proc/loadavg: 1.02 1.05 1.00 2/95 26214
/proc/meminfo: memFree=385560/2074464 swapFree=1949056/1959888
[pid=22816] ppid=22814 vsize=2420 CPUtime=14.47
/proc/22816/stat : 22816 (SatELiteGTI) S 22814 22816 14060 0 -1 4194304 383 87129 0 0 0 0 1392 55 18 0 1 0 1011905876 2478080 277 4294967295 134512640 135169312 3217568096 3217564312 3085631214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22816/statm: 605 277 235 161 0 44 0
[pid=22822] ppid=22816 vsize=188876 CPUtime=1047.9
/proc/22822/stat : 22822 (minisat_static) R 22816 22816 14060 0 -1 4202496 46358 0 0 0 104744 46 0 0 25 0 1 0 1011907327 193409024 46293 4294967295 134512640 135215339 3216809840 3216807840 134532646 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22822/statm: 47219 46293 73 172 0 47046 0
Current children cumulated CPU time (s) 1062.37
Current children cumulated vsize (KiB) 191296

[startup+1122.31 s]
/proc/loadavg: 1.01 1.03 1.00 2/95 26403
/proc/meminfo: memFree=379964/2074464 swapFree=1949056/1959888
[pid=22816] ppid=22814 vsize=2420 CPUtime=14.47
/proc/22816/stat : 22816 (SatELiteGTI) S 22814 22816 14060 0 -1 4194304 383 87129 0 0 0 0 1392 55 18 0 1 0 1011905876 2478080 277 4294967295 134512640 135169312 3217568096 3217564312 3085631214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22816/statm: 605 277 235 161 0 44 0
[pid=22822] ppid=22816 vsize=194292 CPUtime=1107.9
/proc/22822/stat : 22822 (minisat_static) R 22816 22816 14060 0 -1 4202496 47738 0 0 0 110743 47 0 0 25 0 1 0 1011907327 198955008 47673 4294967295 134512640 135215339 3216809840 3216807840 134532898 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22822/statm: 48573 47673 73 172 0 48400 0
Current children cumulated CPU time (s) 1122.37
Current children cumulated vsize (KiB) 196712

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

[startup+1126.32 s]
/proc/loadavg: 1.01 1.03 1.00 2/95 26403
/proc/meminfo: memFree=379920/2074464 swapFree=1949056/1959888
[pid=22816] ppid=22814 vsize=2420 CPUtime=14.47
/proc/22816/stat : 22816 (SatELiteGTI) S 22814 22816 14060 0 -1 4194304 383 87129 0 0 0 0 1392 55 18 0 1 0 1011905876 2478080 277 4294967295 134512640 135169312 3217568096 3217564312 3085631214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22816/statm: 605 277 235 161 0 44 0
[pid=22822] ppid=22816 vsize=194424 CPUtime=1111.91
/proc/22822/stat : 22822 (minisat_static) R 22816 22816 14060 0 -1 4202496 47755 0 0 0 111144 47 0 0 25 0 1 0 1011907327 199090176 47690 4294967295 134512640 135215339 3216809840 3216807840 134532626 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22822/statm: 48606 47690 73 172 0 48433 0
Current children cumulated CPU time (s) 1126.38
Current children cumulated vsize (KiB) 196844

[startup+1151.92 s]
/proc/loadavg: 1.00 1.03 1.00 2/95 26403
/proc/meminfo: memFree=379700/2074464 swapFree=1949056/1959888
[pid=22816] ppid=22814 vsize=2420 CPUtime=14.47
/proc/22816/stat : 22816 (SatELiteGTI) S 22814 22816 14060 0 -1 4194304 383 87129 0 0 0 0 1392 55 18 0 1 0 1011905876 2478080 277 4294967295 134512640 135169312 3217568096 3217564312 3085631214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22816/statm: 605 277 235 161 0 44 0
[pid=22822] ppid=22816 vsize=194820 CPUtime=1137.51
/proc/22822/stat : 22822 (minisat_static) R 22816 22816 14060 0 -1 4202496 47867 0 0 0 113704 47 0 0 25 0 1 0 1011907327 199495680 47802 4294967295 134512640 135215339 3216809840 3216807840 134532650 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22822/statm: 48705 47802 73 172 0 48532 0
Current children cumulated CPU time (s) 1151.98
Current children cumulated vsize (KiB) 197240

[startup+1158.32 s]
/proc/loadavg: 1.00 1.03 1.00 2/95 26403
/proc/meminfo: memFree=379452/2074464 swapFree=1949056/1959888
[pid=22816] ppid=22814 vsize=2420 CPUtime=14.47
/proc/22816/stat : 22816 (SatELiteGTI) S 22814 22816 14060 0 -1 4194304 383 87129 0 0 0 0 1392 55 18 0 1 0 1011905876 2478080 277 4294967295 134512640 135169312 3217568096 3217564312 3085631214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22816/statm: 605 277 235 161 0 44 0
[pid=22822] ppid=22816 vsize=195084 CPUtime=1143.91
/proc/22822/stat : 22822 (minisat_static) R 22816 22816 14060 0 -1 4202496 47918 0 0 0 114344 47 0 0 25 0 1 0 1011907327 199766016 47853 4294967295 134512640 135215339 3216809840 3216807840 134532687 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22822/statm: 48771 47853 73 172 0 48598 0
Current children cumulated CPU time (s) 1158.38
Current children cumulated vsize (KiB) 197504

[startup+1161.52 s]
/proc/loadavg: 1.00 1.03 1.00 2/95 26403
/proc/meminfo: memFree=379328/2074464 swapFree=1949056/1959888
[pid=22816] ppid=22814 vsize=2420 CPUtime=14.47
/proc/22816/stat : 22816 (SatELiteGTI) S 22814 22816 14060 0 -1 4194304 383 87129 0 0 0 0 1392 55 18 0 1 0 1011905876 2478080 277 4294967295 134512640 135169312 3217568096 3217564312 3085631214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22816/statm: 605 277 235 161 0 44 0
[pid=22822] ppid=22816 vsize=195216 CPUtime=1147.11
/proc/22822/stat : 22822 (minisat_static) R 22816 22816 14060 0 -1 4202496 47961 0 0 0 114664 47 0 0 25 0 1 0 1011907327 199901184 47896 4294967295 134512640 135215339 3216809840 3216807840 134532664 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22822/statm: 48804 47896 73 172 0 48631 0
Current children cumulated CPU time (s) 1161.58
Current children cumulated vsize (KiB) 197636

[startup+1163.12 s]
/proc/loadavg: 1.00 1.03 1.00 2/95 26403
/proc/meminfo: memFree=379204/2074464 swapFree=1949056/1959888
[pid=22816] ppid=22814 vsize=2420 CPUtime=14.47
/proc/22816/stat : 22816 (SatELiteGTI) S 22814 22816 14060 0 -1 4194304 383 87129 0 0 0 0 1392 55 18 0 1 0 1011905876 2478080 277 4294967295 134512640 135169312 3217568096 3217564312 3085631214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22816/statm: 605 277 235 161 0 44 0
[pid=22822] ppid=22816 vsize=195348 CPUtime=1148.71
/proc/22822/stat : 22822 (minisat_static) R 22816 22816 14060 0 -1 4202496 47972 0 0 0 114824 47 0 0 25 0 1 0 1011907327 200036352 47907 4294967295 134512640 135215339 3216809840 3216808128 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22822/statm: 48837 47907 73 172 0 48664 0
Current children cumulated CPU time (s) 1163.18
Current children cumulated vsize (KiB) 197768

[startup+1164.72 s]
/proc/loadavg: 1.00 1.03 1.00 2/95 26403
/proc/meminfo: memFree=379204/2074464 swapFree=1949056/1959888
[pid=22816] ppid=22814 vsize=2420 CPUtime=14.47
/proc/22816/stat : 22816 (SatELiteGTI) S 22814 22816 14060 0 -1 4194304 383 87129 0 0 0 0 1392 55 18 0 1 0 1011905876 2478080 277 4294967295 134512640 135169312 3217568096 3217564312 3085631214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22816/statm: 605 277 235 161 0 44 0
[pid=22822] ppid=22816 vsize=195480 CPUtime=1150.31
/proc/22822/stat : 22822 (minisat_static) R 22816 22816 14060 0 -1 4202496 48023 0 0 0 114984 47 0 0 25 0 1 0 1011907327 200171520 47958 4294967295 134512640 135215339 3216809840 3216807840 134532976 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22822/statm: 48870 47958 73 172 0 48697 0
Current children cumulated CPU time (s) 1164.78
Current children cumulated vsize (KiB) 197900

[startup+1165.52 s]
/proc/loadavg: 1.00 1.03 1.00 2/95 26404
/proc/meminfo: memFree=378948/2074464 swapFree=1949056/1959888
[pid=22816] ppid=22814 vsize=2420 CPUtime=14.47
/proc/22816/stat : 22816 (SatELiteGTI) S 22814 22816 14060 0 -1 4194304 383 87129 0 0 0 0 1392 55 18 0 1 0 1011905876 2478080 277 4294967295 134512640 135169312 3217568096 3217564312 3085631214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22816/statm: 605 277 235 161 0 44 0
[pid=22822] ppid=22816 vsize=195612 CPUtime=1151.11
/proc/22822/stat : 22822 (minisat_static) R 22816 22816 14060 0 -1 4202496 48048 0 0 0 115064 47 0 0 25 0 1 0 1011907327 200306688 47983 4294967295 134512640 135215339 3216809840 3216808128 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22822/statm: 48903 47983 73 172 0 48730 0
Current children cumulated CPU time (s) 1165.58
Current children cumulated vsize (KiB) 198032

[startup+1165.92 s]
/proc/loadavg: 1.00 1.03 1.00 2/95 26404
/proc/meminfo: memFree=378824/2074464 swapFree=1949056/1959888
[pid=22816] ppid=22814 vsize=2420 CPUtime=14.47
/proc/22816/stat : 22816 (SatELiteGTI) S 22814 22816 14060 0 -1 4194304 383 87129 0 0 0 0 1392 55 18 0 1 0 1011905876 2478080 277 4294967295 134512640 135169312 3217568096 3217564312 3085631214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22816/statm: 605 277 235 161 0 44 0
[pid=22822] ppid=22816 vsize=195612 CPUtime=1151.51
/proc/22822/stat : 22822 (minisat_static) R 22816 22816 14060 0 -1 4202496 48058 0 0 0 115104 47 0 0 25 0 1 0 1011907327 200306688 47993 4294967295 134512640 135215339 3216809840 3216808112 134525713 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22822/statm: 48903 47993 73 172 0 48730 0
Current children cumulated CPU time (s) 1165.98
Current children cumulated vsize (KiB) 198032

[startup+1166.02 s]
/proc/loadavg: 1.00 1.03 1.00 2/95 26404
/proc/meminfo: memFree=378824/2074464 swapFree=1949056/1959888
[pid=22816] ppid=22814 vsize=2420 CPUtime=14.47
/proc/22816/stat : 22816 (SatELiteGTI) S 22814 22816 14060 0 -1 4194304 383 87129 0 0 0 0 1392 55 18 0 1 0 1011905876 2478080 277 4294967295 134512640 135169312 3217568096 3217564312 3085631214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22816/statm: 605 277 235 161 0 44 0
[pid=22822] ppid=22816 vsize=0 CPUtime=1151.61
/proc/22822/stat : 22822 (minisat_static) R 22816 22816 14060 0 -1 4202500 48065 0 0 0 115113 48 0 0 25 0 1 0 1011907327 0 0 4294967295 0 0 0 0 0 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22822/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1166.08
Current children cumulated vsize (KiB) 2420

Child status: 20
Real time (s): 1166.06
CPU time (s): 1166.12
CPU user time (s): 1165.05
CPU system time (s): 1.07
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 337416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1165.05
system time used= 1.07
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135852
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= 27
involuntary context switches= 1086

runsolver used 0.01 second user time and 0.02 second system time

The end

Launcher Data 

Begin job on tipi27 at 2009-05-16 13:41:24
IDJOB=1820758
IDBENCH=69581
IDSOLVER=657
FILE ID=tipi27/1820758-1242474084
PBS_JOBID=
Free space on /tmp= 9303 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT_RACE08/cnf/schup-l2s-bc56s-1-k391.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1820758-1242474084/watcher-1820758-1242474084 -o /tmp/evaluation-result-1820758-1242474084/solver-1820758-1242474084 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1820758-1242474084.cnf

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

MD5SUM BENCH= 1f1dd0782ec95ee5e6d7a06f92fc0f12
RANDOM SEED= 807061355

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

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

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

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

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


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:        629896 kB
Buffers:         53992 kB
Cached:        1264800 kB
SwapCached:       5508 kB
Active:         847064 kB
Inactive:       481512 kB
HighTotal:     1178688 kB
HighFree:       386444 kB
LowTotal:       895776 kB
LowFree:        243452 kB
SwapTotal:     1959888 kB
SwapFree:      1949056 kB
Dirty:           38236 kB
Writeback:           0 kB
AnonPages:        9180 kB
Mapped:           3552 kB
Slab:           106872 kB
PageTables:        620 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    90632 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 9303 MiB
End job on tipi27 at 2009-05-16 14:00:54