Trace number 1832405

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-18? (TO) 1200.09 1200.71

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 benchmark832.877
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.39/1.49	c ==============================================================================
1.39/1.49	c |           |     ORIGINAL     |              LEARNT              |          |
1.39/1.49	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
1.39/1.49	c ==============================================================================
1.39/1.49	c |         0 | 1777028  4564454 |  533108       0        0     nan |  0.000 % |
14.78/14.80	c |         0 |  813247  2716333 |      --       0       --      -- |     --   | -937144/-1778230
14.78/14.81	c ==============================================================================
14.78/14.81	c Result  :   #vars: 151801   #clauses: 813247   #literals: 2716333
14.78/14.81	c CPU time:   14.2038 s
14.78/14.81	c ==============================================================================
15.68/15.79	c This is MiniSat 2.0 beta
15.68/15.79	c WARNING: for repeatability, setting FPU to use double precision
15.68/15.79	c ============================[ Problem Statistics ]=============================
15.68/15.79	c |                                                                             |
15.68/15.79	c |  Number of variables:  151801                                               |
15.68/15.79	c |  Number of clauses:    813247                                               |
15.77/16.32	c |  Parsing time:         0.49         s                                       |
15.77/16.36	c ============================[ Search Statistics ]==============================
15.77/16.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
15.77/16.36	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
15.77/16.36	c ===============================================================================
15.77/16.36	c |         0 |  151801   813247  2716333 |   271082        0    nan |  0.000 % |
16.47/16.51	c |       101 |  151801   813247  2716333 |   271082      101     56 |  0.000 % |
16.56/16.63	c |       201 |  151801   813247  2716333 |   271082      201     32 |  0.000 % |
16.86/16.90	c |       301 |  151801   813247  2716333 |   271082      301     26 |  0.000 % |
17.07/17.12	c |       411 |  151801   813247  2716333 |   271082      411     24 |  0.000 % |
17.47/17.51	c |       511 |  151800   813247  2716333 |   271082      510     22 |  0.001 % |
17.47/17.59	c |       621 |  151800   813247  2716333 |   271082      620     19 |  0.001 % |
17.67/17.75	c |       742 |  151799   813247  2716333 |   271082      740     17 |  0.001 % |
17.67/17.78	c |       842 |  151797   813247  2716333 |   271082      839     16 |  0.008 % |
17.77/17.87	c |       952 |  151795   813247  2716333 |   271082      949     15 |  0.008 % |
18.36/18.42	c |      1073 |  151795   813247  2716333 |   271082     1070     17 |  0.008 % |
18.46/18.57	c |      1207 |  151789   813158  2716046 |   271082     1202     17 |  0.008 % |
18.86/18.93	c |      1307 |  151788   813158  2716046 |   271082     1301     16 |  0.009 % |
19.56/19.63	c |      1418 |  151788   813158  2716046 |   271082     1412     23 |  0.009 % |
19.77/19.88	c |      1539 |  151788   813158  2716046 |   271082     1533     22 |  0.009 % |
20.16/20.21	c |      1675 |  151788   813158  2716046 |   271082     1669     22 |  0.009 % |
20.26/20.33	c |      1821 |  151788   813084  2715894 |   271082     1815     21 |  0.009 % |
20.46/20.55	c |      1923 |  151788   813084  2715894 |   271082     1917     21 |  0.009 % |
20.66/20.70	c |      2034 |  151788   813084  2715894 |   271082     2028     21 |  0.009 % |
20.86/20.92	c |      2155 |  151788   813084  2715894 |   271082     2149     20 |  0.009 % |
21.06/21.11	c |      2288 |  151788   813084  2715894 |   271082     2282     20 |  0.009 % |
21.36/21.42	c |      2435 |  151788   813084  2715894 |   271082     2429     19 |  0.009 % |
21.56/21.67	c |      2595 |  151771   813084  2715894 |   271082     2587     19 |  0.058 % |
21.66/21.71	c |      2698 |  151770   813084  2715894 |   271082     2689     19 |  0.059 % |
21.96/22.05	c |      2810 |  151619   811688  2711509 |   271082     2789     19 |  0.136 % |
22.46/22.58	c |      2933 |  151611   811688  2711509 |   271082     2911     23 |  0.138 % |
22.66/22.76	c |      3067 |  151611   811688  2711509 |   271082     3045     25 |  0.138 % |
23.26/23.31	c |      3214 |  151611   811688  2711509 |   271082     3192     24 |  0.138 % |
23.26/23.37	c |      3374 |  151611   811688  2711509 |   271082     3352     24 |  0.138 % |
23.36/23.48	c |      3550 |  151599   811688  2711509 |   271082     3524     23 |  0.248 % |
23.66/23.70	c |      3651 |  151554   811688  2711509 |   271082     3622     23 |  0.340 % |
24.06/24.12	c |      3761 |  151548   811688  2711509 |   271082     3729     24 |  0.639 % |
24.36/24.41	c |      3883 |  150831   805642  2689775 |   271082     3732     24 |  0.639 % |
24.46/24.58	c |      4016 |  150831   805642  2689775 |   271082     3865     23 |  0.639 % |
24.56/24.67	c |      4162 |  150831   805642  2689775 |   271082     4011     23 |  0.639 % |
24.66/24.80	c |      4322 |  150831   805642  2689775 |   271082     4171     22 |  0.639 % |
24.85/24.94	c |      4499 |  150831   805642  2689775 |   271082     4348     21 |  0.639 % |
25.46/25.53	c |      4693 |  150831   805642  2689775 |   271082     4542     22 |  0.639 % |
25.56/25.60	c |      4794 |  150831   805642  2689775 |   271082     4643     22 |  0.639 % |
25.76/25.85	c |      4907 |  150831   805642  2689775 |   271082     4756     22 |  0.639 % |
25.96/26.08	c |      5028 |  150831   805642  2689775 |   271082     4877     22 |  0.639 % |
26.16/26.27	c |      5161 |  150831   805642  2689775 |   271082     5010     22 |  0.639 % |
26.37/26.48	c |      5307 |  150831   805642  2689775 |   271082     5156     22 |  0.639 % |
26.76/26.84	c |      5467 |  150831   805642  2689775 |   271082     5316     21 |  0.639 % |
27.05/27.17	c |      5643 |  150825   805635  2689749 |   271082     5490     21 |  0.648 % |
27.25/27.38	c |      5836 |  150825   805635  2689749 |   271082     5683     21 |  0.648 % |
27.85/27.91	c |      6048 |  150789   805635  2689749 |   271082     5893     22 |  0.796 % |
27.95/28.04	c |      6148 |  150789   805635  2689749 |   271082     5993     22 |  0.796 % |
28.15/28.22	c |      6258 |  150789   805635  2689749 |   271082     6103     23 |  0.796 % |
28.35/28.42	c |      6379 |  150789   805635  2689749 |   271082     6224     22 |  0.796 % |
28.56/28.63	c |      6512 |  150789   805635  2689749 |   271082     6357     23 |  0.796 % |
28.76/28.80	c |      6660 |  150789   805635  2689749 |   271082     6505     23 |  0.796 % |
29.06/29.16	c |      6820 |  150593   804264  2685433 |   271082     6656     22 |  0.796 % |
29.26/29.30	c |      6996 |  150593   804264  2685433 |   271082     6832     22 |  0.796 % |
29.56/29.67	c |      7190 |  150593   804264  2685433 |   271082     7026     22 |  0.796 % |
29.76/29.86	c |      7402 |  150593   804264  2685433 |   271082     7238     22 |  0.796 % |
30.26/30.39	c |      7635 |  150593   804264  2685433 |   271082     7471     21 |  0.796 % |
30.95/31.06	c |      7736 |  150593   804264  2685433 |   271082     7572     21 |  0.796 % |
31.25/31.38	c |      7846 |  150593   804264  2685433 |   271082     7682     21 |  0.796 % |
31.86/31.97	c |      7967 |  150593   804264  2685433 |   271082     7803     22 |  0.796 % |
32.05/32.10	c |      8100 |  150593   804264  2685433 |   271082     7936     22 |  0.796 % |
32.05/32.17	c |      8246 |  150593   804264  2685433 |   271082     8082     21 |  0.796 % |
32.15/32.25	c |      8406 |  150593   804264  2685433 |   271082     8242     21 |  0.796 % |
32.35/32.42	c |      8582 |  150526   804001  2684596 |   271082     8414     21 |  0.840 % |
32.65/32.78	c |      8777 |  150526   804001  2684596 |   271082     8609     21 |  0.840 % |
33.15/33.22	c |      8989 |  150526   804001  2684596 |   271082     8821     21 |  0.840 % |
33.65/33.71	c |      9222 |  150526   804001  2684596 |   271082     9054     21 |  0.840 % |
34.15/34.20	c |      9478 |  150390   804001  2684596 |   271082     9304     22 |  1.204 % |
34.35/34.42	c |      9578 |  149974   800548  2673170 |   271082     9340     22 |  1.204 % |
34.55/34.60	c |      9688 |  149972   800548  2673170 |   271082     9448     22 |  1.209 % |
34.85/34.95	c |      9809 |  149972   800548  2673170 |   271082     9569     23 |  1.209 % |
34.95/35.10	c |      9943 |  149972   800548  2673170 |   271082     9703     23 |  1.209 % |
35.16/35.27	c |     10089 |  149972   800548  2673170 | 2147483647     9849     23 |  1.209 % |
35.45/35.57	c |     10249 |  149972   800548  2673170 | 2147483647    10009     24 |  1.209 % |
35.75/35.83	c |     10425 |  149972   800548  2673170 | 2147483647    10185     24 |  1.209 % |
35.85/35.97	c |     10619 |  149972   800548  2673170 | 2147483647    10379     24 |  1.209 % |
36.25/36.40	c |     10831 |  149972   800548  2673170 | 2147483647    10591     25 |  1.209 % |
36.65/36.79	c |     11064 |  149966   800478  2672912 | 2147483647    10816     26 |  1.209 % |
36.95/37.09	c |     11320 |  149966   800478  2672912 | 2147483647    11072     27 |  1.209 % |
37.25/37.35	c |     11602 |  149966   800478  2672912 | 2147483647    11354     26 |  1.209 % |
37.35/37.47	c |     11703 |  149966   800478  2672912 | 2147483647    11455     26 |  1.209 % |
37.54/37.69	c |     11814 |  149966   800478  2672912 | 2147483647    11566     26 |  1.209 % |
37.74/37.84	c |     11935 |  149966   800478  2672912 | 2147483647    11687     26 |  1.209 % |
37.94/38.09	c |     12068 |  149966   800478  2672912 | 2147483647    11820     27 |  1.209 % |
38.24/38.32	c |     12216 |  149966   800478  2672912 | 2147483647    11968     27 |  1.209 % |
38.84/38.92	c |     12376 |  149966   800478  2672912 | 2147483647    12128     27 |  1.209 % |
39.14/39.27	c |     12552 |  149966   800478  2672912 | 2147483647    12304     27 |  1.209 % |
39.64/39.72	c |     12745 |  149966   800478  2672912 | 2147483647    12497     27 |  1.209 % |
40.04/40.13	c |     12957 |  149966   800478  2672912 | 2147483647    12709     28 |  1.209 % |
40.44/40.51	c |     13191 |  149966   800478  2672912 | 2147483647    12943     29 |  1.209 % |
41.04/41.15	c |     13447 |  149966   800478  2672912 | 2147483647    13199     30 |  1.209 % |
41.54/41.67	c |     13728 |  149966   800478  2672912 | 2147483647    13480     30 |  1.209 % |
42.04/42.12	c |     14037 |  149966   800478  2672912 | 2147483647    13789     31 |  1.209 % |
42.14/42.30	c |     14137 |  149966   800478  2672912 | 2147483647    13889     31 |  1.209 % |
42.24/42.39	c |     14247 |  149966   800478  2672912 | 2147483647    13999     31 |  1.209 % |
42.44/42.58	c |     14368 |  149966   800478  2672912 | 2147483647    14120     30 |  1.209 % |
42.64/42.73	c |     14502 |  149966   800478  2672912 | 2147483647    14254     31 |  1.209 % |
42.84/42.99	c |     14652 |  149966   800478  2672912 | 2147483647    14404     31 |  1.209 % |
43.14/43.23	c |     14812 |  149966   800478  2672912 | 2147483647    14564     31 |  1.209 % |
43.84/43.90	c |     14990 |  149966   800478  2672912 | 2147483647    14742     33 |  1.209 % |
44.04/44.14	c |     15184 |  149966   800478  2672912 | 2147483647    14936     32 |  1.209 % |
44.14/44.22	c |     15396 |  149966   800478  2672912 | 2147483647    15148     32 |  1.209 % |
44.24/44.35	c |     15632 |  149966   800478  2672912 | 2147483647    15384     32 |  1.209 % |
44.64/44.76	c |     15888 |  149966   800478  2672912 | 2147483647    15640     33 |  1.209 % |
44.94/45.04	c |     16170 |  149966   800478  2672912 | 2147483647    15922     32 |  1.209 % |
45.34/45.44	c |     16480 |  149966   800478  2672912 | 2147483647    16232     33 |  1.209 % |
45.64/45.73	c |     16819 |  149966   800478  2672912 | 2147483647    16571     33 |  1.209 % |
45.84/45.91	c |     16919 |  149966   800478  2672912 | 2147483647    16671     33 |  1.209 % |
45.94/46.04	c |     17029 |  149966   800478  2672912 | 2147483647    16781     33 |  1.209 % |
46.14/46.24	c |     17151 |  149966   800478  2672912 | 2147483647    16903     33 |  1.209 % |
46.43/46.50	c |     17285 |  149966   800478  2672912 | 2147483647    17037     33 |  1.209 % |
46.63/46.75	c |     17431 |  149966   800478  2672912 | 2147483647    17183     33 |  1.209 % |
47.03/47.17	c |     17591 |  149966   800478  2672912 | 2147483647    17343     33 |  1.209 % |
47.43/47.54	c |     17768 |  149966   800478  2672912 | 2147483647    17520     34 |  1.209 % |
47.93/48.03	c |     17961 |  149966   800478  2672912 | 2147483647    17713     35 |  1.209 % |
48.13/48.25	c |     18173 |  149966   800478  2672912 | 2147483647    17925     36 |  1.209 % |
48.33/48.48	c |     18406 |  149966   800478  2672912 | 2147483647    18158     35 |  1.209 % |
49.22/49.32	c |     18662 |  149966   800478  2672912 | 2147483647    18414     35 |  1.209 % |
50.93/51.05	c |     18943 |  149966   800478  2672912 | 2147483647    18695     36 |  1.209 % |
51.83/51.96	c |     19252 |  149966   800478  2672912 | 2147483647    19004     36 |  1.209 % |
52.63/52.79	c |     19592 |  149966   800478  2672912 | 2147483647    19344     36 |  1.209 % |
53.22/53.33	c |     19964 |  149966   800478  2672912 | 2147483647    19716     36 |  1.209 % |
53.42/53.51	c |     20064 |  149966   800478  2672912 | 2147483647    19816     36 |  1.209 % |
53.83/53.97	c |     20174 |  149966   800478  2672912 | 2147483647    19926     36 |  1.209 % |
54.22/54.39	c |     20296 |  149966   800478  2672912 | 2147483647    20048     36 |  1.209 % |
54.42/54.58	c |     20429 |  149966   800478  2672912 | 2147483647    20181     36 |  1.209 % |
54.62/54.74	c |     20575 |  149966   800478  2672912 | 2147483647    20327     36 |  1.209 % |
55.43/55.51	c |     20737 |  149966   800478  2672912 | 2147483647    20489     36 |  1.209 % |
55.83/55.99	c |     20913 |  149966   800478  2672912 | 2147483647    20665     36 |  1.209 % |
56.13/56.23	c |     21107 |  149966   800478  2672912 | 2147483647    20859     36 |  1.209 % |
56.73/56.80	c |     21319 |  149966   800478  2672912 | 2147483647    21071     36 |  1.209 % |
57.23/57.34	c |     21552 |  149966   800478  2672912 | 2147483647    21304     36 |  1.209 % |
57.93/58.04	c |     21809 |  149966   800478  2672912 | 2147483647    21561     36 |  1.209 % |
58.63/58.76	c |     22090 |  149966   800478  2672912 | 2147483647    21842     36 |  1.209 % |
59.13/59.23	c |     22399 |  149966   800478  2672912 | 2147483647    22151     36 |  1.209 % |
59.92/60.07	c |     22738 |  149966   800478  2672912 | 2147483647    22490     36 |  1.209 % |
60.52/60.63	c |     23110 |  149966   800478  2672912 | 2147483647    22862     36 |  1.209 % |
61.92/62.01	c |     23521 |  149964   800474  2672904 | 2147483647    23270     36 |  1.214 % |
62.02/62.18	c |     23622 |  149963   800474  2672904 | 2147483647    23370     36 |  1.215 % |
62.42/62.50	c |     23732 |  149963   800474  2672904 | 2147483647    23480     36 |  1.215 % |
63.02/63.14	c |     23853 |  149963   800474  2672904 | 2147483647    23601     37 |  1.215 % |
63.42/63.59	c |     23986 |  149963   800474  2672904 | 2147483647    23734     36 |  1.215 % |
63.72/63.80	c |     24135 |  149963   800474  2672904 | 2147483647    23883     37 |  1.215 % |
63.92/64.01	c |     24295 |  149963   800474  2672904 | 2147483647    24043     37 |  1.215 % |
64.12/64.25	c |     24471 |  149957   800358  2672609 | 2147483647    24218     37 |  1.215 % |
64.42/64.59	c |     24664 |  149957   800358  2672609 | 2147483647    24411     36 |  1.215 % |
64.92/65.05	c |     24877 |  149957   800358  2672609 | 2147483647    24624     37 |  1.215 % |
65.42/65.54	c |     25111 |  149957   800358  2672609 | 2147483647    24858     37 |  1.215 % |
66.02/66.18	c |     25367 |  149957   800358  2672609 | 2147483647    25114     37 |  1.215 % |
66.41/66.56	c |     25648 |  149957   800358  2672609 | 2147483647    25395     37 |  1.215 % |
67.21/67.33	c |     25959 |  149957   800358  2672609 | 2147483647    25706     37 |  1.215 % |
68.02/68.18	c |     26299 |  149951   800336  2672534 | 2147483647    26044     37 |  1.219 % |
69.61/69.73	c |     26674 |  149951   800336  2672534 | 2147483647    26419     40 |  1.219 % |
71.32/71.42	c |     27084 |  149951   800336  2672534 | 2147483647    26829     40 |  1.219 % |
72.52/72.64	c |     27535 |  149950   800326  2672499 | 2147483647    27278     39 |  1.219 % |
72.91/73.05	c |     27635 |  149950   800326  2672499 | 2147483647    27378     39 |  1.219 % |
73.31/73.47	c |     27745 |  149950   800326  2672499 | 2147483647    27488     39 |  1.219 % |
73.81/73.94	c |     27870 |  149950   800326  2672499 | 2147483647    27613     40 |  1.219 % |
74.02/74.18	c |     28003 |  149950   800326  2672499 | 2147483647    27746     40 |  1.219 % |
74.52/74.61	c |     28150 |  149950   800316  2672460 | 2147483647    27893     40 |  1.219 % |
75.12/75.29	c |     28312 |  149950   800316  2672460 | 2147483647    28055     40 |  1.219 % |
75.92/76.06	c |     28488 |  149950   800316  2672460 | 2147483647    28231     40 |  1.219 % |
76.42/76.57	c |     28683 |  149950   800316  2672460 | 2147483647    28426     40 |  1.219 % |
77.12/77.22	c |     28895 |  149950   800316  2672460 | 2147483647    28638     40 |  1.219 % |
77.72/77.83	c |     29128 |  149950   800316  2672460 | 2147483647    28871     40 |  1.219 % |
78.32/78.49	c |     29384 |  149950   800316  2672460 | 2147483647    29127     40 |  1.219 % |
78.82/78.90	c |     29665 |  149950   800316  2672460 | 2147483647    29408     40 |  1.219 % |
79.62/79.72	c |     29975 |  149950   800316  2672460 | 2147483647    29718     41 |  1.219 % |
80.42/80.57	c |     30315 |  149950   800316  2672460 | 2147483647    30058     42 |  1.219 % |
81.22/81.32	c |     30687 |  149949   800306  2672421 | 2147483647    30429     42 |  1.220 % |
82.01/82.11	c |     31096 |  149949   800306  2672421 | 2147483647    30838     43 |  1.220 % |
83.61/83.70	c |     31545 |  149949   800306  2672421 | 2147483647    31287     42 |  1.220 % |
84.51/84.70	c |     32039 |  149949   800306  2672421 | 2147483647    31781     42 |  1.220 % |
84.71/84.89	c |     32139 |  149949   800306  2672421 | 2147483647    31881     42 |  1.220 % |
85.00/85.13	c |     32249 |  149949   800306  2672421 | 2147483647    31991     42 |  1.220 % |
85.81/85.92	c |     32373 |  149949   800306  2672421 | 2147483647    32115     43 |  1.220 % |
86.50/86.69	c |     32506 |  149949   800306  2672421 | 2147483647    32248     43 |  1.220 % |
87.30/87.40	c |     32652 |  149949   800306  2672421 | 2147483647    32394     43 |  1.220 % |
87.50/87.67	c |     32814 |  149949   800306  2672421 | 2147483647    32556     43 |  1.220 % |
87.91/88.09	c |     32990 |  149949   800306  2672421 | 2147483647    32732     43 |  1.220 % |
88.20/88.33	c |     33183 |  149949   800306  2672421 | 2147483647    32925     42 |  1.220 % |
88.70/88.82	c |     33395 |  149949   800306  2672421 | 2147483647    33137     42 |  1.220 % |
89.80/89.97	c |     33628 |  149949   800306  2672421 | 2147483647    33370     43 |  1.220 % |
90.60/90.70	c |     33885 |  149949   800306  2672421 | 2147483647    33627     43 |  1.220 % |
91.11/91.27	c |     34167 |  149949   800306  2672421 | 2147483647    33909     43 |  1.220 % |
92.00/92.15	c |     34476 |  149948   800296  2672382 | 2147483647    34217     43 |  1.221 % |
93.10/93.21	c |     34815 |  149947   800296  2672382 | 2147483647    34555     43 |  1.221 % |
93.60/93.77	c |     35187 |  149947   800296  2672382 | 2147483647    34927     42 |  1.221 % |
94.40/94.54	c |     35596 |  149947   800296  2672382 | 2147483647    35336     42 |  1.221 % |
95.40/95.51	c |     36045 |  149947   800286  2672343 | 2147483647    35785     42 |  1.221 % |
96.90/97.04	c |     36539 |  149947   800286  2672343 | 2147483647    36279     44 |  1.221 % |
97.90/98.01	c |     37081 |  149947   800286  2672343 | 2147483647    36821     44 |  1.221 % |
98.10/98.29	c |     37181 |  149947   800286  2672343 | 2147483647    36921     44 |  1.221 % |
98.40/98.50	c |     37291 |  149947   800286  2672343 | 2147483647    37031     44 |  1.221 % |
98.60/98.79	c |     37412 |  149947   800286  2672343 | 2147483647    37152     44 |  1.221 % |
99.00/99.12	c |     37545 |  149947   800286  2672343 | 2147483647    37285     44 |  1.221 % |
99.60/99.71	c |     37691 |  149947   800286  2672343 | 2147483647    37431     44 |  1.221 % |
100.00/100.11	c |     37852 |  149947   800286  2672343 | 2147483647    37592     44 |  1.221 % |
100.60/100.71	c |     38028 |  149947   800286  2672343 | 2147483647    37768     44 |  1.221 % |
101.30/101.46	c |     38222 |  149947   800286  2672343 | 2147483647    37962     44 |  1.221 % |
101.80/101.97	c |     38434 |  149947   800286  2672343 | 2147483647    38174     44 |  1.221 % |
102.60/102.75	c |     38667 |  149947   800286  2672343 | 2147483647    38407     44 |  1.221 % |
103.79/103.99	c |     38925 |  149947   800286  2672343 | 2147483647    38665     45 |  1.221 % |
104.19/104.39	c |     39210 |  149947   800286  2672343 | 2147483647    38950     46 |  1.221 % |
104.89/105.05	c |     39522 |  149947   800286  2672343 | 2147483647    39262     46 |  1.221 % |
105.69/105.83	c |     39861 |  149947   800286  2672343 | 2147483647    39601     46 |  1.221 % |
106.59/106.74	c |     40233 |  149947   800286  2672343 | 2147483647    39973     46 |  1.221 % |
107.99/108.16	c |     40642 |  149947   800286  2672343 | 2147483647    40382     46 |  1.221 % |
109.39/109.54	c |     41093 |  149947   800286  2672343 | 2147483647    40833     47 |  1.221 % |
111.59/111.76	c |     41588 |  149947   800286  2672343 | 2147483647    41328     49 |  1.221 % |
113.58/113.77	c |     42130 |  149947   800286  2672343 | 2147483647    41870     49 |  1.221 % |
114.19/114.38	c |     42727 |  149947   800286  2672343 | 2147483647    42467     48 |  1.221 % |
114.48/114.62	c |     42827 |  149947   800286  2672343 | 2147483647    42567     48 |  1.221 % |
115.19/115.34	c |     42941 |  149947   800286  2672343 | 2147483647    42681     49 |  1.221 % |
115.30/115.49	c |     43063 |  149947   800286  2672343 | 2147483647    42803     49 |  1.221 % |
115.69/115.84	c |     43196 |  149947   800286  2672343 | 2147483647    42936     49 |  1.221 % |
116.19/116.32	c |     43343 |  149947   800286  2672343 | 2147483647    43083     49 |  1.221 % |
116.49/116.64	c |     43505 |  149947   800286  2672343 | 2147483647    43245     49 |  1.221 % |
116.79/116.92	c |     43682 |  149947   800286  2672343 | 2147483647    43422     49 |  1.221 % |
117.29/117.42	c |     43875 |  149947   800286  2672343 | 2147483647    43615     49 |  1.221 % |
117.99/118.18	c |     44089 |  149947   800286  2672343 | 2147483647    43829     49 |  1.221 % |
118.29/118.41	c |     44323 |  149947   800286  2672343 | 2147483647    44063     49 |  1.221 % |
118.89/119.08	c |     44579 |  149947   800286  2672343 | 2147483647    44319     49 |  1.221 % |
119.89/120.10	c |     44860 |  149947   800286  2672343 | 2147483647    44600     49 |  1.221 % |
120.99/121.12	c |     45169 |  149947   800286  2672343 | 2147483647    44909     49 |  1.221 % |
121.69/121.88	c |     45508 |  149947   800286  2672343 | 2147483647    45248     50 |  1.221 % |
122.29/122.45	c |     45881 |  149947   800286  2672343 | 2147483647    45621     49 |  1.221 % |
123.99/124.13	c |     46290 |  149947   800286  2672343 | 2147483647    46030     50 |  1.221 % |
126.29/126.49	c |     46739 |  149947   800286  2672343 | 2147483647    46479     51 |  1.221 % |
127.69/127.83	c |     47233 |  149947   800286  2672343 | 2147483647    46973     51 |  1.221 % |
129.38/129.54	c |     47776 |  149947   800286  2672343 | 2147483647    47516     53 |  1.221 % |
130.68/130.82	c |     48372 |  149946   800276  2672304 | 2147483647    48111     53 |  1.222 % |
132.68/132.86	c |     49027 |  149945   800276  2672304 | 2147483647    48764     54 |  1.247 % |
133.08/133.28	c |     49128 |  149945   800276  2672304 | 2147483647    48865     54 |  1.247 % |
133.58/133.72	c |     49239 |  149945   800276  2672304 | 2147483647    48976     54 |  1.247 % |
133.88/134.04	c |     49361 |  149945   800276  2672304 | 2147483647    49098     54 |  1.247 % |
134.18/134.34	c |     49495 |  149945   800276  2672304 | 2147483647    49232     54 |  1.247 % |
134.58/134.78	c |     49641 |  149945   800276  2672304 | 2147483647    49378     53 |  1.247 % |
135.18/135.37	c |     49801 |  149908   800016  2671571 | 2147483647    49498     54 |  1.247 % |
135.88/136.04	c |     49977 |  149908   800016  2671571 | 2147483647    49674     54 |  1.247 % |
136.38/136.55	c |     50171 |  149908   800016  2671571 | 2147483647    49868     54 |  1.247 % |
136.78/136.95	c |     50383 |  149908   800016  2671571 | 2147483647    50080     54 |  1.247 % |
137.48/137.64	c |     50616 |  149908   800016  2671571 | 2147483647    50313     55 |  1.247 % |
137.88/138.09	c |     50872 |  149908   800016  2671571 | 2147483647    50569     55 |  1.247 % |
138.38/138.51	c |     51153 |  149908   800016  2671571 | 2147483647    50850     55 |  1.247 % |
139.68/139.84	c |     51462 |  149908   800016  2671571 | 2147483647    51159     56 |  1.247 % |
139.98/140.14	c |     51801 |  149908   800016  2671571 | 2147483647    51498     56 |  1.247 % |
140.69/140.87	c |     52173 |  149908   800016  2671571 | 2147483647    51870     56 |  1.247 % |
141.48/141.70	c |     52583 |  149908   800016  2671571 | 2147483647    52280     56 |  1.247 % |
142.58/142.76	c |     53032 |  149908   800016  2671571 | 2147483647    52729     55 |  1.247 % |
143.78/143.98	c |     53525 |  149908   800016  2671571 | 2147483647    53222     55 |  1.247 % |
147.28/147.45	c |     54067 |  149908   800016  2671571 | 2147483647    53764     57 |  1.247 % |
148.38/148.53	c |     54663 |  149908   800016  2671571 | 2147483647    54360     57 |  1.247 % |
150.97/151.16	c |     55318 |  149908   800016  2671571 | 2147483647    55015     57 |  1.247 % |
152.57/152.73	c |     56038 |  149908   800016  2671571 | 2147483647    55735     58 |  1.247 % |
152.78/152.92	c |     56138 |  149908   800016  2671571 | 2147483647    55835     58 |  1.247 % |
152.97/153.14	c |     56249 |  149908   800016  2671571 | 2147483647    55946     58 |  1.247 % |
153.27/153.44	c |     56370 |  149908   800016  2671571 | 2147483647    56067     58 |  1.247 % |
153.78/153.98	c |     56504 |  149908   800016  2671571 | 2147483647    56201     58 |  1.247 % |
154.27/154.46	c |     56653 |  149908   800016  2671571 | 2147483647    56350     58 |  1.247 % |
154.88/155.00	c |     56813 |  149908   800016  2671571 | 2147483647    56510     58 |  1.247 % |
155.47/155.66	c |     56990 |  149908   800016  2671571 | 2147483647    56687     58 |  1.247 % |
156.07/156.20	c |     57183 |  149908   800016  2671571 | 2147483647    56880     59 |  1.247 % |
156.37/156.58	c |     57395 |  149908   800016  2671571 | 2147483647    57092     59 |  1.247 % |
156.77/156.98	c |     57628 |  149908   800016  2671571 | 2147483647    57325     59 |  1.247 % |
157.27/157.42	c |     57884 |  149908   800016  2671571 | 2147483647    57581     60 |  1.247 % |
158.17/158.35	c |     58165 |  149908   800016  2671571 | 2147483647    57862     60 |  1.247 % |
158.97/159.11	c |     58475 |  149908   800016  2671571 | 2147483647    58172     60 |  1.247 % |
159.67/159.82	c |     58815 |  149908   800016  2671571 | 2147483647    58512     60 |  1.247 % |
160.27/160.45	c |     59187 |  149908   800016  2671571 | 2147483647    58884     60 |  1.247 % |
161.06/161.25	c |     59596 |  149908   800016  2671571 | 2147483647    59293     60 |  1.247 % |
161.96/162.14	c |     60046 |  149908   800016  2671571 | 2147483647    59743     61 |  1.247 % |
162.86/163.06	c |     60539 |  149908   800016  2671571 | 2147483647    60236     61 |  1.247 % |
164.16/164.33	c |     61082 |  149908   800016  2671571 | 2147483647    60779     61 |  1.247 % |
165.56/165.75	c |     61678 |  149908   800016  2671571 | 2147483647    61375     61 |  1.247 % |
166.97/167.12	c |     62333 |  149908   800016  2671571 | 2147483647    62030     61 |  1.247 % |
169.07/169.29	c |     63053 |  149908   800016  2671571 | 2147483647    62750     62 |  1.247 % |
172.97/173.18	c |     63845 |  149908   800016  2671571 | 2147483647    63542     62 |  1.247 % |
173.27/173.43	c |     63946 |  149908   800016  2671571 | 2147483647    63643     62 |  1.247 % |
173.37/173.59	c |     64056 |  149908   800016  2671571 | 2147483647    63753     62 |  1.247 % |
173.87/174.08	c |     64177 |  149908   800016  2671571 | 2147483647    63874     62 |  1.247 % |
174.47/174.65	c |     64310 |  149907   800006  2671532 | 2147483647    64006     62 |  1.248 % |
174.77/174.96	c |     64456 |  149907   800006  2671532 | 2147483647    64152     62 |  1.248 % |
174.97/175.18	c |     64616 |  149907   800006  2671532 | 2147483647    64312     62 |  1.248 % |
175.87/176.04	c |     64792 |  149907   800006  2671532 | 2147483647    64488     62 |  1.248 % |
176.17/176.32	c |     64986 |  149907   800006  2671532 | 2147483647    64682     62 |  1.248 % |
176.77/176.92	c |     65199 |  149907   800006  2671532 | 2147483647    64895     62 |  1.248 % |
177.86/178.06	c |     65432 |  149907   800006  2671532 | 2147483647    65128     62 |  1.248 % |
179.66/179.89	c |     65688 |  149906   800006  2671532 | 2147483647    65383     63 |  1.248 % |
180.46/180.64	c |     65970 |  149906   800006  2671532 | 2147483647    65665     64 |  1.248 % |
181.37/181.57	c |     66282 |  149906   799923  2671362 | 2147483647    65969     64 |  1.248 % |
182.06/182.28	c |     66623 |  149906   799923  2671362 | 2147483647    66310     64 |  1.248 % |
182.96/183.14	c |     66995 |  149906   799923  2671362 | 2147483647    66682     63 |  1.248 % |
183.86/184.02	c |     67404 |  149906   799923  2671362 | 2147483647    67091     64 |  1.248 % |
186.26/186.47	c |     67857 |  149906   799923  2671362 | 2147483647    67544     64 |  1.248 % |
187.46/187.69	c |     68350 |  149906   799923  2671362 | 2147483647    68037     63 |  1.248 % |
191.26/191.46	c |     68892 |  149906   799923  2671362 | 2147483647    68579     66 |  1.248 % |
193.36/193.60	c |     69488 |  149906   799923  2671362 | 2147483647    69175     67 |  1.248 % |
194.36/194.59	c |     70145 |  149906   799923  2671362 | 2147483647    69832     69 |  1.248 % |
196.35/196.53	c |     70867 |  149906   799923  2671362 | 2147483647    70554     68 |  1.248 % |
197.86/198.07	c |     71659 |  149906   799923  2671362 | 2147483647    71346     68 |  1.248 % |
199.75/199.98	c |     72530 |  149906   799923  2671362 | 2147483647    72217     68 |  1.248 % |
200.05/200.23	c |     72630 |  149906   799923  2671362 | 2147483647    72317     68 |  1.248 % |
200.55/200.78	c |     72740 |  149903   799845  2671202 | 2147483647    72424     68 |  1.250 % |
201.15/201.32	c |     72861 |  149903   799845  2671202 | 2147483647    72545     68 |  1.250 % |
201.55/201.79	c |     72995 |  149903   799845  2671202 | 2147483647    72679     68 |  1.250 % |
202.15/202.32	c |     73142 |  149903   799845  2671202 | 2147483647    72826     68 |  1.250 % |
202.35/202.57	c |     73302 |  149903   799845  2671202 | 2147483647    72986     68 |  1.250 % |
202.65/202.83	c |     73479 |  149903   799845  2671202 | 2147483647    73163     68 |  1.250 % |
203.15/203.37	c |     73674 |  149903   799845  2671202 | 2147483647    73358     68 |  1.250 % |
203.65/203.89	c |     73887 |  149903   799845  2671202 | 2147483647    73571     68 |  1.250 % |
204.55/204.72	c |     74120 |  149903   799845  2671202 | 2147483647    73804     68 |  1.250 % |
205.55/205.71	c |     74377 |  149903   799845  2671202 | 2147483647    74061     69 |  1.250 % |
206.05/206.29	c |     74659 |  149903   799845  2671202 | 2147483647    74343     69 |  1.250 % |
207.25/207.42	c |     74969 |  149903   799845  2671202 | 2147483647    74653     69 |  1.250 % |
208.15/208.32	c |     75308 |  149903   799680  2670864 | 2147483647    74974     69 |  1.250 % |
208.75/208.91	c |     75680 |  149903   799680  2670864 | 2147483647    75346     68 |  1.250 % |
209.95/210.12	c |     76090 |  149903   799680  2670864 | 2147483647    75756     69 |  1.250 % |
211.54/211.78	c |     76539 |  149903   799680  2670864 | 2147483647    76205     70 |  1.250 % |
212.74/212.95	c |     77032 |  149903   799680  2670864 | 2147483647    76698     70 |  1.250 % |
213.54/213.76	c |     77575 |  149903   799680  2670864 | 2147483647    77241     70 |  1.250 % |
215.45/215.63	c |     78172 |  149903   799680  2670864 | 2147483647    77838     70 |  1.250 % |
216.45/216.65	c |     78828 |  149903   799680  2670864 | 2147483647    78494     70 |  1.250 % |
218.85/219.03	c |     79550 |  149903   799680  2670864 | 2147483647    79216     71 |  1.250 % |
221.45/221.60	c |     80342 |  149903   799680  2670864 | 2147483647    80008     71 |  1.250 % |
223.74/223.99	c |     81215 |  149903   799680  2670864 | 2147483647    80881     71 |  1.250 % |
225.04/225.27	c |     82173 |  149903   799680  2670864 | 2147483647    81839     72 |  1.250 % |
225.25/225.49	c |     82275 |  149903   799680  2670864 | 2147483647    81941     72 |  1.250 % |
225.54/225.70	c |     82385 |  149903   799680  2670864 | 2147483647    82051     72 |  1.250 % |
225.74/225.95	c |     82507 |  149903   799680  2670864 | 2147483647    82173     72 |  1.250 % |
226.04/226.28	c |     82641 |  149903   799680  2670864 | 2147483647    82307     72 |  1.250 % |
226.35/226.60	c |     82787 |  149903   799680  2670864 | 2147483647    82453     72 |  1.250 % |
226.84/227.04	c |     82947 |  149903   799680  2670864 | 2147483647    82613     72 |  1.250 % |
227.44/227.68	c |     83126 |  149903   799680  2670864 | 2147483647    82792     72 |  1.250 % |
228.44/228.61	c |     83320 |  149903   799680  2670864 | 2147483647    82986     73 |  1.250 % |
228.84/229.05	c |     83534 |  149903   799680  2670864 | 2147483647    83200     73 |  1.250 % |
230.64/230.82	c |     83771 |  149903   799680  2670864 | 2147483647    83437     73 |  1.250 % |
232.34/232.54	c |     84027 |  149903   799680  2670864 | 2147483647    83693     73 |  1.250 % |
233.04/233.24	c |     84308 |  149903   799680  2670864 | 2147483647    83974     73 |  1.250 % |
235.24/235.49	c |     84618 |  149903   799680  2670864 | 2147483647    84284     73 |  1.250 % |
237.44/237.68	c |     84958 |  149903   799680  2670864 | 2147483647    84624     74 |  1.250 % |
238.54/238.79	c |     85331 |  149903   799680  2670864 | 2147483647    84997     74 |  1.250 % |
239.65/239.83	c |     85740 |  149903   799680  2670864 | 2147483647    85406     75 |  1.250 % |
240.93/241.17	c |     86189 |  149903   799680  2670864 | 2147483647    85855     75 |  1.250 % |
242.23/242.47	c |     86682 |  149903   799680  2670864 | 2147483647    86348     75 |  1.250 % |
243.33/243.55	c |     87228 |  149903   799680  2670864 | 2147483647    86894     75 |  1.250 % |
244.93/245.17	c |     87825 |  149903   799680  2670864 | 2147483647    87491     75 |  1.250 % |
246.33/246.59	c |     88482 |  149903   799680  2670864 | 2147483647    88148     75 |  1.250 % |
248.03/248.23	c |     89207 |  149903   799680  2670864 | 2147483647    88873     76 |  1.250 % |
250.53/250.71	c |     89999 |  149903   799680  2670864 | 2147483647    89665     76 |  1.250 % |
253.23/253.42	c |     90871 |  149903   799680  2670864 | 2147483647    90537     77 |  1.250 % |
254.52/254.73	c |     91829 |  149903   799680  2670864 | 2147483647    91495     79 |  1.250 % |
259.72/259.90	c |     92882 |  149903   799680  2670864 | 2147483647    92548     80 |  1.250 % |
259.92/260.11	c |     92982 |  149903   799680  2670864 | 2147483647    92648     80 |  1.250 % |
260.32/260.52	c |     93093 |  149903   799680  2670864 | 2147483647    92759     80 |  1.250 % |
261.12/261.37	c |     93214 |  149903   799680  2670864 | 2147483647    92880     80 |  1.250 % |
261.53/261.75	c |     93348 |  149903   799680  2670864 | 2147483647    93014     80 |  1.250 % |
262.22/262.46	c |     93494 |  149903   799680  2670864 | 2147483647    93160     80 |  1.250 % |
262.82/263.06	c |     93654 |  149903   799680  2670864 | 2147483647    93320     80 |  1.250 % |
263.42/263.63	c |     93830 |  149903   799680  2670864 | 2147483647    93496     80 |  1.250 % |
263.82/264.07	c |     94024 |  149903   799680  2670864 | 2147483647    93690     80 |  1.250 % |
264.92/265.14	c |     94237 |  149903   799680  2670864 | 2147483647    93903     80 |  1.250 % |
266.22/266.44	c |     94472 |  149903   799680  2670864 | 2147483647    94138     80 |  1.250 % |
266.92/267.12	c |     94728 |  149903   799680  2670864 | 2147483647    94394     80 |  1.250 % |
268.12/268.34	c |     95009 |  149903   799680  2670864 | 2147483647    94675     80 |  1.250 % |
269.02/269.27	c |     95319 |  149903   799680  2670864 | 2147483647    94985     80 |  1.250 % |
271.53/271.77	c |     95659 |  149902   799670  2670825 | 2147483647    95324     80 |  1.251 % |
273.52/273.79	c |     96032 |  149902   799670  2670825 | 2147483647    95697     80 |  1.251 % |
276.52/276.72	c |     96441 |  149902   799670  2670825 | 2147483647    96106     81 |  1.251 % |
277.72/277.91	c |     96892 |  149902   799670  2670825 | 2147483647    96557     82 |  1.251 % |
278.92/279.17	c |     97385 |  149902   799670  2670825 | 2147483647    97050     82 |  1.251 % |
280.72/280.96	c |     97928 |  149902   799670  2670825 | 2147483647    97593     82 |  1.251 % |
282.22/282.46	c |     98524 |  149902   799670  2670825 | 2147483647    98188     83 |  1.252 % |
284.02/284.24	c |     99179 |  149901   799660  2670786 | 2147483647    98843     83 |  1.252 % |
285.91/286.18	c |     99900 |  149901   799660  2670786 | 2147483647    99564     83 |  1.252 % |
289.91/290.19	c |    100692 |  149901   799660  2670786 | 2147483647   100356     83 |  1.252 % |
294.80/295.06	c |    101566 |  149901   799660  2670786 | 2147483647   101230     83 |  1.252 % |
300.31/300.55	c |    102525 |  149901   799660  2670786 | 2147483647   102189     83 |  1.252 % |
308.50/308.75	c |    103578 |  149900   799577  2670616 | 2147483647   103239     85 |  1.252 % |
312.40/312.60	c |    104737 |  149900   799577  2670616 | 2147483647   104398     85 |  1.252 % |
312.50/312.80	c |    104837 |  149900   799577  2670616 | 2147483647   104498     85 |  1.252 % |
313.10/313.32	c |    104949 |  149900   799577  2670616 | 2147483647   104610     85 |  1.252 % |
313.60/313.84	c |    105070 |  149900   799577  2670616 | 2147483647   104731     85 |  1.252 % |
313.80/314.05	c |    105203 |  149900   799577  2670616 | 2147483647   104864     85 |  1.252 % |
314.30/314.51	c |    105349 |  149900   799577  2670616 | 2147483647   105010     85 |  1.252 % |
315.50/315.73	c |    105510 |  149900   799577  2670616 | 2147483647   105171     85 |  1.252 % |
316.60/316.84	c |    105686 |  149900   799577  2670616 | 2147483647   105347     85 |  1.252 % |
316.90/317.14	c |    105879 |  149900   799577  2670616 | 2147483647   105540     85 |  1.252 % |
317.50/317.75	c |    106092 |  149900   799577  2670616 | 2147483647   105753     85 |  1.252 % |
318.30/318.50	c |    106326 |  149900   799577  2670616 | 2147483647   105987     85 |  1.252 % |
319.40/319.60	c |    106582 |  149900   799577  2670616 | 2147483647   106243     85 |  1.252 % |
320.00/320.27	c |    106863 |  149900   799577  2670616 | 2147483647   106524     85 |  1.252 % |
321.00/321.21	c |    107172 |  149900   799577  2670616 | 2147483647   106833     85 |  1.252 % |
322.30/322.52	c |    107511 |  149900   799577  2670616 | 2147483647   107172     85 |  1.252 % |
323.70/323.95	c |    107889 |  149900   799577  2670616 | 2147483647   107550     85 |  1.252 % |
324.50/324.76	c |    108299 |  149900   799577  2670616 | 2147483647   107960     85 |  1.252 % |
326.19/326.49	c |    108748 |  149900   799577  2670616 | 2147483647   108409     85 |  1.252 % |
327.60/327.81	c |    109243 |  149900   799577  2670616 | 2147483647   108904     85 |  1.252 % |
329.40/329.66	c |    109786 |  149900   799577  2670616 | 2147483647   109447     86 |  1.252 % |
331.69/331.93	c |    110382 |  149900   799577  2670616 | 2147483647   110043     86 |  1.252 % |
334.10/334.34	c |    111039 |  149900   799577  2670616 | 2147483647   110700     87 |  1.252 % |
338.19/338.46	c |    111759 |  149900   799577  2670616 | 2147483647   111420     87 |  1.252 % |
340.58/340.89	c |    112552 |  149900   799577  2670616 | 2147483647   112213     88 |  1.252 % |
343.99/344.30	c |    113423 |  149900   799577  2670616 | 2147483647   113084     88 |  1.252 % |
347.48/347.74	c |    114382 |  149900   799577  2670616 | 2147483647   114043     89 |  1.252 % |
352.99/353.28	c |    115437 |  149900   799577  2670616 | 2147483647   115098     89 |  1.252 % |
360.28/360.60	c |    116595 |  149668   798338  2666792 | 2147483647   116248     90 |  1.405 % |
364.08/364.38	c |    117868 |  149668   798338  2666792 | 2147483647   117521     90 |  1.405 % |
364.38/364.63	c |    117968 |  149668   798338  2666792 | 2147483647   117621     90 |  1.405 % |
364.68/364.94	c |    118079 |  149668   798338  2666792 | 2147483647   117732     90 |  1.405 % |
365.08/365.38	c |    118200 |  149668   798338  2666792 | 2147483647   117853     90 |  1.405 % |
366.18/366.40	c |    118333 |  149668   798338  2666792 | 2147483647   117986     90 |  1.405 % |
366.58/366.87	c |    118479 |  149667   798338  2666792 | 2147483647   118131     90 |  1.406 % |
367.08/367.40	c |    118640 |  149667   798338  2666792 | 2147483647   118292     90 |  1.406 % |
367.38/367.66	c |    118817 |  149667   798338  2666792 | 2147483647   118469     90 |  1.406 % |
367.98/368.24	c |    119011 |  149667   798338  2666792 | 2147483647   118663     90 |  1.406 % |
369.18/369.40	c |    119223 |  149667   798328  2666753 | 2147483647   118875     90 |  1.406 % |
370.19/370.44	c |    119458 |  149667   798328  2666753 | 2147483647   119110     90 |  1.406 % |
371.28/371.55	c |    119717 |  149667   798328  2666753 | 2147483647   119369     90 |  1.406 % |
372.08/372.32	c |    119998 |  149667   798328  2666753 | 2147483647   119650     90 |  1.406 % |
373.48/373.80	c |    120308 |  149666   798328  2666753 | 2147483647   119959     90 |  1.406 % |
374.88/375.17	c |    120647 |  149666   798328  2666753 | 2147483647   120298     91 |  1.406 % |
376.58/376.89	c |    121019 |  149666   798328  2666753 | 2147483647   120670     91 |  1.406 % |
377.97/378.21	c |    121428 |  149666   798328  2666753 | 2147483647   121079     91 |  1.406 % |
379.37/379.68	c |    121879 |  149666   798328  2666753 | 2147483647   121530     91 |  1.406 % |
381.48/381.76	c |    122372 |  149666   798328  2666753 | 2147483647   122023     92 |  1.406 % |
382.77/383.06	c |    122914 |  149666   798328  2666753 | 2147483647   122565     91 |  1.406 % |
385.97/386.23	c |    123511 |  149666   798318  2666714 | 2147483647   123162     92 |  1.406 % |
387.97/388.22	c |    124166 |  149666   798318  2666714 | 2147483647   123817     92 |  1.406 % |
390.77/391.02	c |    124886 |  149666   798318  2666714 | 2147483647   124537     92 |  1.406 % |
393.87/394.16	c |    125681 |  149666   798318  2666714 | 2147483647   125332     93 |  1.406 % |
395.87/396.16	c |    126554 |  149666   798318  2666714 | 2147483647   126205     94 |  1.406 % |
398.07/398.32	c |    127512 |  149666   798318  2666714 | 2147483647   127163     94 |  1.406 % |
407.36/407.69	c |    128565 |  149665   798239  2666552 | 2147483647   128214     95 |  1.407 % |
419.26/419.57	c |    129723 |  149665   798239  2666552 | 2147483647   129372     96 |  1.407 % |
423.86/424.17	c |    130998 |  149665   798239  2666552 | 2147483647   130647     96 |  1.407 % |
438.85/439.19	c |    132398 |  149665   798239  2666552 | 2147483647   132047     96 |  1.407 % |
439.55/439.83	c |    132500 |  149665   798239  2666552 | 2147483647   132149     96 |  1.407 % |
441.05/441.35	c |    132610 |  147741   780021  2601778 | 2147483647   131540     97 |  2.675 % |
442.35/442.61	c |    132731 |  147741   780021  2601778 | 2147483647   131661     97 |  2.675 % |
442.65/442.96	c |    132864 |  147741   780021  2601778 | 2147483647   131794     97 |  2.675 % |
443.25/443.54	c |    133012 |  147741   780021  2601778 | 2147483647   131942     97 |  2.675 % |
443.75/444.09	c |    133172 |  147740   780021  2601778 | 2147483647   132101     97 |  2.676 % |
444.55/444.82	c |    133348 |  147740   780021  2601778 | 2147483647   132277     97 |  2.676 % |
444.95/445.22	c |    133541 |  147740   780021  2601778 | 2147483647   132470     97 |  2.676 % |
445.65/445.97	c |    133755 |  147740   780021  2601778 | 2147483647   132684     97 |  2.676 % |
446.25/446.58	c |    133989 |  147740   780021  2601778 | 2147483647   132918     97 |  2.676 % |
447.15/447.49	c |    134245 |  147740   780021  2601778 | 2147483647   133174     97 |  2.676 % |
448.45/448.76	c |    134526 |  147740   780021  2601778 | 2147483647   133455     98 |  2.676 % |
449.35/449.61	c |    134836 |  147740   780021  2601778 | 2147483647   133765     97 |  2.676 % |
449.95/450.23	c |    135178 |  147740   780021  2601778 | 2147483647   134107     97 |  2.676 % |
451.95/452.20	c |    135553 |  147740   780021  2601778 | 2147483647   134482     98 |  2.676 % |
453.75/454.05	c |    135962 |  147740   780021  2601778 | 2147483647   134891     98 |  2.676 % |
456.44/456.76	c |    136413 |  147740   780021  2601778 | 2147483647   135342     98 |  2.676 % |
457.64/458.00	c |    136907 |  147740   780021  2601778 | 2147483647   135836     98 |  2.676 % |
460.14/460.45	c |    137449 |  147739   780007  2601719 | 2147483647   136378     99 |  2.676 % |
462.24/462.56	c |    138046 |  147739   780007  2601719 | 2147483647   136975     99 |  2.676 % |
464.84/465.11	c |    138703 |  147739   780007  2601719 | 2147483647   137632    100 |  2.676 % |
467.24/467.53	c |    139423 |  147739   780007  2601719 | 2147483647   138352    100 |  2.676 % |
470.03/470.38	c |    140215 |  147739   780007  2601719 | 2147483647   139144    100 |  2.676 % |
472.74/473.07	c |    141086 |  147739   780007  2601719 | 2147483647   140015    101 |  2.676 % |
476.14/476.44	c |    142044 |  147739   780007  2601719 | 2147483647   140973    101 |  2.676 % |
479.64/479.94	c |    143097 |  147739   780007  2601719 | 2147483647   142026    101 |  2.676 % |
485.33/485.65	c |    144255 |  147738   779924  2601549 | 2147483647   143165    101 |  2.677 % |
490.43/490.76	c |    145533 |  147738   779924  2601549 | 2147483647   144443    102 |  2.677 % |
494.93/495.20	c |    146935 |  147738   779924  2601549 | 2147483647   145845    103 |  2.677 % |
499.32/499.62	c |    148481 |  147738   779924  2601549 | 2147483647   147391    103 |  2.677 % |
499.62/499.93	c |    148581 |  147738   779924  2601549 | 2147483647   147491    103 |  2.677 % |
500.12/500.41	c |    148693 |  147738   779924  2601549 | 2147483647   147603    103 |  2.677 % |
500.32/500.69	c |    148814 |  147738   779924  2601549 | 2147483647   147724    103 |  2.677 % |
500.72/501.08	c |    148948 |  147738   779924  2601549 | 2147483647   147858    103 |  2.677 % |
501.13/501.49	c |    149094 |  147738   779924  2601549 | 2147483647   148004    103 |  2.677 % |
502.03/502.37	c |    149254 |  147737   779914  2601510 | 2147483647   148164    103 |  2.677 % |
502.63/502.98	c |    149431 |  147737   779914  2601510 | 2147483647   148341    103 |  2.677 % |
503.02/503.36	c |    149625 |  147737   779914  2601510 | 2147483647   148535    103 |  2.677 % |
503.53/503.80	c |    149838 |  147737   779914  2601510 | 2147483647   148748    104 |  2.677 % |
504.12/504.47	c |    150072 |  147737   779914  2601510 | 2147483647   148982    104 |  2.677 % |
506.52/506.86	c |    150328 |  147736   779914  2601510 | 2147483647   149237    104 |  2.678 % |
508.22/508.55	c |    150609 |  147736   779914  2601510 | 2147483647   149518    104 |  2.678 % |
509.82/510.10	c |    150921 |  147736   779914  2601510 | 2147483647   149830    104 |  2.678 % |
511.01/511.35	c |    151260 |  147736   779914  2601510 | 2147483647   150169    105 |  2.678 % |
512.32/512.63	c |    151633 |  147736   779914  2601510 | 2147483647   150542    105 |  2.678 % |
514.11/514.43	c |    152043 |  147736   779914  2601510 | 2147483647   150952    105 |  2.678 % |
518.21/518.59	c |    152493 |  147736   779914  2601510 | 2147483647   151402    105 |  2.678 % |
520.01/520.33	c |    152987 |  147736   779914  2601510 | 2147483647   151896    105 |  2.678 % |
521.41/521.77	c |    153529 |  147736   779914  2601510 | 2147483647   152438    106 |  2.678 % |
524.21/524.60	c |    154126 |  147736   779831  2601340 | 2147483647   153034    105 |  2.678 % |
527.51/527.80	c |    154783 |  147199   779831  2601340 | 2147483647   153688    106 |  5.684 % |
530.61/530.95	c |    155503 |  147199   779831  2601340 | 2147483647   154408    106 |  5.684 % |
533.31/533.65	c |    156297 |  147199   779831  2601340 | 2147483647   155202    106 |  5.684 % |
537.01/537.34	c |    157168 |  147199   779831  2601340 | 2147483647   156073    107 |  5.684 % |
540.41/540.71	c |    158126 |  147199   779831  2601340 | 2147483647   157031    106 |  5.684 % |
544.00/544.40	c |    159179 |  147199   779831  2601340 | 2147483647   158084    106 |  5.684 % |
548.30/548.63	c |    160339 |  143172   748725  2499984 | 2147483647   158495    107 |  5.684 % |
552.91/553.26	c |    161612 |  143172   748725  2499984 | 2147483647   159768    107 |  5.684 % |
557.30/557.63	c |    163012 |  143172   748725  2499984 | 2147483647   161168    106 |  5.684 % |
563.19/563.52	c |    164552 |  143172   748725  2499984 | 2147483647   162708    108 |  5.684 % |
571.09/571.45	c |    166250 |  143172   748725  2499984 | 2147483647   164406    109 |  5.684 % |
571.49/571.89	c |    166350 |  143172   748715  2499945 | 2147483647   164506    109 |  5.684 % |
571.89/572.24	c |    166460 |  143172   748715  2499945 | 2147483647   164616    109 |  5.684 % |
572.19/572.58	c |    166581 |  143172   748715  2499945 | 2147483647   164737    109 |  5.684 % |
572.79/573.19	c |    166714 |  143172   748715  2499945 | 2147483647   164870    109 |  5.684 % |
573.69/574.06	c |    166862 |  143172   748715  2499945 | 2147483647   165018    109 |  5.684 % |
574.69/575.01	c |    167022 |  143172   748715  2499945 | 2147483647   165178    109 |  5.684 % |
576.49/576.86	c |    167198 |  143172   748715  2499945 | 2147483647   165354    109 |  5.684 % |
577.49/577.85	c |    167391 |  143172   748715  2499945 | 2147483647   165547    108 |  5.684 % |
579.19/579.51	c |    167604 |  143172   748715  2499945 | 2147483647   165760    108 |  5.684 % |
580.39/580.75	c |    167837 |  143172   748715  2499945 | 2147483647   165993    109 |  5.684 % |
581.29/581.64	c |    168095 |  143172   748715  2499945 | 2147483647   166251    109 |  5.684 % |
582.49/582.83	c |    168376 |  143172   748715  2499945 | 2147483647   166532    109 |  5.684 % |
583.28/583.62	c |    168688 |  143172   748715  2499945 | 2147483647   166844    109 |  5.684 % |
584.48/584.82	c |    169027 |  143172   748715  2499945 | 2147483647   167183    109 |  5.684 % |
586.38/586.73	c |    169401 |  143172   748715  2499945 | 2147483647   167557    109 |  5.684 % |
587.68/588.01	c |    169810 |  143172   748715  2499945 | 2147483647   167966    109 |  5.684 % |
589.18/589.57	c |    170259 |  143172   748715  2499945 | 2147483647   168415    109 |  5.684 % |
590.68/591.01	c |    170753 |  143171   748715  2499945 | 2147483647   168908    109 |  5.685 % |
592.88/593.24	c |    171295 |  143171   748715  2499945 | 2147483647   169450    109 |  5.685 % |
594.88/595.22	c |    171891 |  143171   748715  2499945 | 2147483647   170046    109 |  5.685 % |
598.09/598.44	c |    172547 |  143171   748705  2499906 | 2147483647   170702    109 |  5.685 % |
605.97/606.30	c |    173267 |  143171   748705  2499906 | 2147483647   171422    109 |  5.685 % |
610.17/610.52	c |    174060 |  143171   748705  2499906 | 2147483647   172215    110 |  5.685 % |
616.86/617.24	c |    174931 |  143171   748705  2499906 | 2147483647   173086    110 |  5.685 % |
625.26/625.61	c |    175889 |  143171   748705  2499906 | 2147483647   174044    111 |  5.685 % |
629.56/629.98	c |    176943 |  143170   748695  2499867 | 2147483647   175097    111 |  5.686 % |
634.06/634.45	c |    178104 |  143170   748695  2499867 | 2147483647   176258    112 |  5.686 % |
638.15/638.56	c |    179378 |  143170   748695  2499867 | 2147483647   177532    112 |  5.686 % |
643.65/644.09	c |    180780 |  143170   748695  2499867 | 2147483647   178934    113 |  5.686 % |
649.15/649.52	c |    182322 |  143170   748695  2499867 | 2147483647   180476    113 |  5.686 % |
654.75/655.11	c |    184016 |  143170   748695  2499867 | 2147483647   182170    113 |  5.686 % |
663.64/664.07	c |    185883 |  143170   748695  2499867 | 2147483647   184037    113 |  5.686 % |
663.95/664.38	c |    185983 |  143170   748695  2499867 | 2147483647   184137    113 |  5.686 % |
664.44/664.87	c |    186093 |  143170   748695  2499867 | 2147483647   184247    113 |  5.686 % |
665.24/665.61	c |    186215 |  143170   748695  2499867 | 2147483647   184369    113 |  5.686 % |
665.74/666.16	c |    186350 |  143170   748695  2499867 | 2147483647   184504    113 |  5.686 % |
666.15/666.55	c |    186496 |  143170   748695  2499867 | 2147483647   184650    113 |  5.686 % |
666.84/667.24	c |    186662 |  143170   748695  2499867 | 2147483647   184816    113 |  5.686 % |
667.74/668.15	c |    186838 |  143170   748695  2499867 | 2147483647   184992    113 |  5.686 % |
668.34/668.77	c |    187032 |  143170   748695  2499867 | 2147483647   185186    113 |  5.686 % |
670.54/670.92	c |    187245 |  143169   748685  2499828 | 2147483647   185398    113 |  5.686 % |
672.04/672.42	c |    187480 |  143168   748685  2499828 | 2147483647   185631    113 |  5.772 % |
672.94/673.32	c |    187737 |  143168   748685  2499828 | 2147483647   185888    113 |  5.772 % |
673.84/674.29	c |    188018 |  143168   748685  2499828 | 2147483647   186169    113 |  5.772 % |
674.84/675.29	c |    188327 |  143168   748685  2499828 | 2147483647   186478    113 |  5.772 % |
676.23/676.65	c |    188666 |  143168   748685  2499828 | 2147483647   186816    113 |  5.773 % |
677.83/678.28	c |    189039 |  143168   748685  2499828 | 2147483647   187189    113 |  5.773 % |
679.34/679.72	c |    189449 |  143168   748685  2499828 | 2147483647   187599    113 |  5.773 % |
680.83/681.26	c |    189900 |  143168   748685  2499828 | 2147483647   188050    113 |  5.773 % |
682.83/683.22	c |    190393 |  143168   748685  2499828 | 2147483647   188543    113 |  5.773 % |
684.63/685.05	c |    190937 |  143168   748685  2499828 | 2147483647   189086    113 |  5.776 % |
687.93/688.38	c |    191533 |  143168   748685  2499828 | 2147483647   189682    113 |  5.776 % |
690.82/691.27	c |    192188 |  143168   748685  2499828 | 2147483647   190337    113 |  5.776 % |
694.32/694.70	c |    192911 |  143168   748685  2499828 | 2147483647   191060    113 |  5.776 % |
697.42/697.85	c |    193703 |  143168   748685  2499828 | 2147483647   191852    113 |  5.776 % |
701.52/702.00	c |    194574 |  143033   748048  2497395 | 2147483647   192711    113 |  5.776 % |
707.02/707.47	c |    195532 |  143033   748048  2497395 | 2147483647   193668    113 |  5.777 % |
712.12/712.58	c |    196586 |  143033   748048  2497395 | 2147483647   194722    113 |  5.777 % |
717.42/717.81	c |    197744 |  143033   748048  2497395 | 2147483647   195880    114 |  5.777 % |
725.71/726.15	c |    199017 |  143033   748048  2497395 | 2147483647   197153    113 |  5.777 % |
731.81/732.20	c |    200417 |  143032   748038  2497356 | 2147483647   198553    114 |  5.777 % |
738.90/739.38	c |    201960 |  143032   748038  2497356 | 2147483647   200096    115 |  5.777 % |
745.20/745.65	c |    203654 |  143032   748038  2497356 | 2147483647   201790    115 |  5.777 % |
753.70/754.14	c |    205517 |  143032   748038  2497356 | 2147483647   203653    115 |  5.777 % |
768.89/769.35	c |    207566 |  143023   748038  2497356 | 2147483647   205700    117 |  5.799 % |
769.69/770.11	c |    207667 |  142998   747594  2495714 | 2147483647   203425    117 |  5.799 % |
769.99/770.45	c |    207780 |  142998   747594  2495714 | 2147483647   203538    117 |  5.799 % |
770.29/770.75	c |    207903 |  142998   747594  2495714 | 2147483647   203661    117 |  5.799 % |
770.79/771.26	c |    208037 |  142998   747594  2495714 | 2147483647   203795    117 |  5.799 % |
771.69/772.19	c |    208185 |  142998   747594  2495714 | 2147483647   203943    117 |  5.799 % |
772.59/773.04	c |    208347 |  142998   747594  2495714 | 2147483647   204105    117 |  5.799 % |
773.29/773.70	c |    208525 |  142998   747594  2495714 | 2147483647   204283    117 |  5.799 % |
774.29/774.72	c |    208719 |  142998   747594  2495714 | 2147483647   204477    117 |  5.799 % |
775.19/775.65	c |    208933 |  142998   747594  2495714 | 2147483647   204691    118 |  5.799 % |
776.29/776.78	c |    209168 |  142998   747594  2495714 | 2147483647   204926    117 |  5.799 % |
777.39/777.89	c |    209428 |  142998   747594  2495714 | 2147483647   205186    118 |  5.799 % |
778.69/779.16	c |    209719 |  142998   747594  2495714 | 2147483647   205477    118 |  5.799 % |
781.08/781.52	c |    210029 |  142998   747594  2495714 | 2147483647   205787    118 |  5.799 % |
782.48/782.93	c |    210369 |  142998   747594  2495714 | 2147483647   206127    118 |  5.799 % |
783.89/784.34	c |    210742 |  142998   747594  2495714 | 2147483647   206500    118 |  5.799 % |
785.18/785.64	c |    211152 |  142998   747594  2495714 | 2147483647   206910    117 |  5.799 % |
787.18/787.62	c |    211601 |  142998   747594  2495714 | 2147483647   207359    117 |  5.799 % |
790.48/790.96	c |    212094 |  142998   747594  2495714 | 2147483647   207852    118 |  5.799 % |
795.78/796.21	c |    212637 |  142998   747594  2495714 | 2147483647   208395    118 |  5.799 % |
799.28/799.74	c |    213238 |  142998   747594  2495714 | 2147483647   208996    118 |  5.799 % |
805.57/806.04	c |    213894 |  142998   747594  2495714 | 2147483647   209652    119 |  5.799 % |
808.57/809.02	c |    214614 |  142998   747594  2495714 | 2147483647   210372    119 |  5.799 % |
811.47/811.95	c |    215406 |  142998   747594  2495714 | 2147483647   211164    119 |  5.799 % |
814.68/815.13	c |    216277 |  142998   747594  2495714 | 2147483647   212035    120 |  5.799 % |
825.56/826.02	c |    217235 |  142998   747594  2495714 | 2147483647   212993    120 |  5.799 % |
829.56/830.03	c |    218288 |  142998   747594  2495714 | 2147483647   214046    120 |  5.799 % |
834.15/834.69	c |    219446 |  142998   747594  2495714 | 2147483647   215204    121 |  5.799 % |
839.86/840.40	c |    220721 |  142998   747594  2495714 | 2147483647   216479    121 |  5.799 % |
846.96/847.43	c |    222121 |  142998   747594  2495714 | 2147483647   217879    121 |  5.799 % |
855.05/855.54	c |    223662 |  142998   747594  2495714 | 2147483647   219420    121 |  5.799 % |
861.95/862.45	c |    225356 |  142998   747594  2495714 | 2147483647   221114    122 |  5.799 % |
869.94/870.40	c |    227221 |  142998   747594  2495714 | 2147483647   222979    122 |  5.799 % |
881.04/881.51	c |    229270 |  142998   747594  2495714 | 2147483647   225028    122 |  5.799 % |
890.33/890.84	c |    231524 |  142998   747594  2495714 | 2147483647   227282    122 |  5.799 % |
890.83/891.30	c |    231624 |  142998   747594  2495714 | 2147483647   227382    122 |  5.799 % |
891.13/891.64	c |    231734 |  142998   747594  2495714 | 2147483647   227492    122 |  5.799 % |
891.63/892.19	c |    231857 |  142998   747594  2495714 | 2147483647   227615    122 |  5.799 % |
892.83/893.30	c |    231992 |  142998   747594  2495714 | 2147483647   227750    122 |  5.799 % |
894.83/895.33	c |    232141 |  142998   747594  2495714 | 2147483647   227899    122 |  5.799 % |
897.34/897.80	c |    232301 |  142998   747594  2495714 | 2147483647   228059    122 |  5.799 % |
898.44/899.00	c |    232479 |  142998   747594  2495714 | 2147483647   228237    122 |  5.799 % |
899.24/899.77	c |    232672 |  142998   747594  2495714 | 2147483647   228430    122 |  5.799 % |
900.13/900.62	c |    232886 |  142998   747594  2495714 | 2147483647   228644    122 |  5.799 % |
901.13/901.66	c |    233120 |  142998   747594  2495714 | 2147483647   228878    122 |  5.799 % |
902.03/902.55	c |    233376 |  142998   747594  2495714 | 2147483647   229134    122 |  5.799 % |
904.43/904.95	c |    233657 |  142998   747594  2495714 | 2147483647   229415    122 |  5.799 % |
905.23/905.72	c |    233966 |  142998   747594  2495714 | 2147483647   229724    122 |  5.799 % |
906.43/906.92	c |    234305 |  142998   747594  2495714 | 2147483647   230063    122 |  5.799 % |
907.63/908.18	c |    234677 |  142998   747594  2495714 | 2147483647   230435    122 |  5.799 % |
910.93/911.40	c |    235088 |  142998   747594  2495714 | 2147483647   230846    122 |  5.799 % |
913.53/914.04	c |    235539 |  142998   747594  2495714 | 2147483647   231297    122 |  5.799 % |
917.52/918.03	c |    236038 |  142998   747594  2495714 | 2147483647   231796    122 |  5.799 % |
919.72/920.22	c |    236580 |  142998   747594  2495714 | 2147483647   232338    122 |  5.799 % |
923.02/923.50	c |    237177 |  142998   747594  2495714 | 2147483647   232935    122 |  5.799 % |
930.61/931.12	c |    237833 |  142998   747594  2495714 | 2147483647   233591    122 |  5.799 % |
935.02/935.58	c |    238553 |  142998   747594  2495714 | 2147483647   234311    122 |  5.799 % |
944.32/944.89	c |    239345 |  142998   747594  2495714 | 2147483647   235103    122 |  5.799 % |
949.82/950.38	c |    240217 |  142998   747594  2495714 | 2147483647   235975    122 |  5.799 % |
956.11/956.60	c |    241175 |  142998   747594  2495714 | 2147483647   236933    123 |  5.799 % |
959.90/960.47	c |    242228 |  142998   747594  2495714 | 2147483647   237986    122 |  5.799 % |
979.09/979.63	c |    243386 |  142998   747594  2495714 | 2147483647   239144    123 |  5.799 % |
991.39/991.94	c |    244659 |  142998   747594  2495714 | 2147483647   240417    123 |  5.799 % |
998.39/998.96	c |    246061 |  142998   747594  2495714 | 2147483647   241819    123 |  5.799 % |
1008.08/1008.66	c |    247601 |  142998   747594  2495714 | 2147483647   243359    123 |  5.799 % |
1050.26/1050.81	c |    249295 |  142998   747594  2495714 | 2147483647   245053    124 |  5.799 % |
1062.45/1063.09	c |    251160 |  142998   747594  2495714 | 2147483647   246918    124 |  5.799 % |
1071.55/1072.10	c |    253209 |  142998   747594  2495714 | 2147483647   248967    124 |  5.799 % |
1088.55/1089.14	c |    255463 |  142998   747594  2495714 | 2147483647   251221    125 |  5.799 % |
1097.63/1098.23	c |    257942 |  142998   747594  2495714 | 2147483647   253700    125 |  5.799 % |
1098.04/1098.68	c |    258042 |  142998   747594  2495714 | 2147483647   253800    125 |  5.799 % |
1098.64/1099.26	c |    258152 |  142998   747594  2495714 | 2147483647   253910    125 |  5.799 % |
1099.35/1099.91	c |    258273 |  142998   747594  2495714 | 2147483647   254031    125 |  5.799 % |
1102.54/1103.10	c |    258407 |  142998   747594  2495714 | 2147483647   254165    125 |  5.799 % |
1103.64/1104.26	c |    258554 |  142998   747594  2495714 | 2147483647   254312    125 |  5.799 % |
1104.54/1105.16	c |    258715 |  142998   747594  2495714 | 2147483647   254473    125 |  5.799 % |
1107.24/1107.88	c |    258894 |  142998   747594  2495714 | 2147483647   254652    125 |  5.799 % |
1114.43/1115.07	c |    259088 |  142998   747594  2495714 | 2147483647   254846    125 |  5.799 % |
1116.53/1117.14	c |    259301 |  142998   747594  2495714 | 2147483647   255059    125 |  5.799 % |
1117.63/1118.21	c |    259535 |  142998   747594  2495714 | 2147483647   255293    125 |  5.799 % |
1122.53/1123.12	c |    259792 |  142998   747594  2495714 | 2147483647   255550    125 |  5.799 % |
1123.73/1124.38	c |    260073 |  142998   747594  2495714 | 2147483647   255831    125 |  5.799 % |
1126.53/1127.10	c |    260382 |  142998   747594  2495714 | 2147483647   256140    125 |  5.799 % |
1129.63/1130.26	c |    260726 |  142998   747594  2495714 | 2147483647   256484    125 |  5.799 % |
1135.72/1136.40	c |    261098 |  142998   747594  2495714 | 2147483647   256856    125 |  5.799 % |
1141.02/1141.67	c |    261510 |  142752   747534  2495509 | 2147483647   257194    125 | 16.685 % |
1143.02/1143.60	c |    261961 |  142752   747534  2495509 | 2147483647   257645    125 | 16.685 % |
1151.31/1152.00	c |    262458 |  142752   747534  2495509 | 2147483647   258142    126 | 16.685 % |
1158.61/1159.21	c |    263001 |  142751   747534  2495509 | 2147483647   258684    126 | 16.686 % |
1163.11/1163.78	c |    263597 |  142751   747534  2495509 | 2147483647   259280    126 | 16.686 % |
1170.81/1171.45	c |    264252 |  142751   747534  2495509 | 2147483647   259935    126 | 16.686 % |
1173.60/1174.26	c |    264973 |  142751   747534  2495509 | 2147483647   260656    126 | 16.686 % |
1183.30/1183.90	c |    265765 |  142751   747534  2495509 | 2147483647   261448    126 | 16.686 % |
1188.50/1189.19	c |    266636 |  142751   747534  2495509 | 2147483647   262319    127 | 16.686 % |
1191.70/1192.31	c |    267595 |  142751   747534  2495509 | 2147483647   263278    127 | 16.686 % |
1195.29/1195.92	c |    268649 |  142751   747534  2495509 | 2147483647   264332    127 | 16.686 % |

Verifier Data 

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

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.08 1.02 1.01 3/65 26913
/proc/meminfo: memFree=1846640/2055920 swapFree=4179976/4192956
[pid=26913] ppid=26911 vsize=5356 CPUtime=0
/proc/26913/stat : 26913 (SatELiteGTI) S 26911 26913 26564 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 305310879 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26913/statm: 1339 237 197 169 0 50 0
[pid=26917] ppid=26913 vsize=872 CPUtime=0
/proc/26917/stat : 26917 (SatELite_releas) R 26913 26913 26564 0 -1 4194304 79 0 0 0 0 0 0 0 20 0 1 0 305310880 892928 65 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 0 0 0
/proc/26917/statm: 218 69 50 173 0 43 0

[startup+0.0367559 s]
/proc/loadavg: 1.08 1.02 1.01 3/65 26913
/proc/meminfo: memFree=1846640/2055920 swapFree=4179976/4192956
[pid=26913] ppid=26911 vsize=5356 CPUtime=0
/proc/26913/stat : 26913 (SatELiteGTI) S 26911 26913 26564 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 305310879 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26913/statm: 1339 237 197 169 0 50 0
[pid=26917] ppid=26913 vsize=7520 CPUtime=0.02
/proc/26917/stat : 26917 (SatELite_releas) R 26913 26913 26564 0 -1 4194304 1498 0 0 0 1 1 0 0 20 0 1 0 305310880 7700480 1484 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 0 0 0
/proc/26917/statm: 1880 1485 50 173 0 1705 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12876

[startup+0.102763 s]
/proc/loadavg: 1.08 1.02 1.01 3/65 26913
/proc/meminfo: memFree=1846640/2055920 swapFree=4179976/4192956
[pid=26913] ppid=26911 vsize=5356 CPUtime=0
/proc/26913/stat : 26913 (SatELiteGTI) S 26911 26913 26564 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 305310879 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26913/statm: 1339 237 197 169 0 50 0
[pid=26917] ppid=26913 vsize=18124 CPUtime=0.09
/proc/26917/stat : 26917 (SatELite_releas) R 26913 26913 26564 0 -1 4194304 4007 0 0 0 7 2 0 0 20 0 1 0 305310880 18558976 3993 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 0 0 0
/proc/26917/statm: 4531 3994 50 173 0 4356 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23480

[startup+0.302785 s]
/proc/loadavg: 1.08 1.02 1.01 3/65 26913
/proc/meminfo: memFree=1846640/2055920 swapFree=4179976/4192956
[pid=26913] ppid=26911 vsize=5356 CPUtime=0
/proc/26913/stat : 26913 (SatELiteGTI) S 26911 26913 26564 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 305310879 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26913/statm: 1339 237 197 169 0 50 0
[pid=26917] ppid=26913 vsize=56612 CPUtime=0.29
/proc/26917/stat : 26917 (SatELite_releas) R 26913 26913 26564 0 -1 4194304 11192 0 0 0 23 6 0 0 21 0 1 0 305310880 57970688 11178 1992294400 134512640 135223648 4294956128 18446744073709551615 134737310 0 0 4096 3 0 0 0 17 0 0 0
/proc/26917/statm: 14153 11179 50 173 0 13978 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 61968

[startup+0.702829 s]
/proc/loadavg: 1.08 1.02 1.01 3/65 26913
/proc/meminfo: memFree=1846640/2055920 swapFree=4179976/4192956
[pid=26913] ppid=26911 vsize=5356 CPUtime=0
/proc/26913/stat : 26913 (SatELiteGTI) S 26911 26913 26564 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 305310879 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26913/statm: 1339 237 197 169 0 50 0
[pid=26917] ppid=26913 vsize=121268 CPUtime=0.68
/proc/26917/stat : 26917 (SatELite_releas) R 26913 26913 26564 0 -1 4194304 25443 0 0 0 54 14 0 0 25 0 1 0 305310880 124178432 25429 1992294400 134512640 135223648 4294956128 18446744073709551615 134737310 0 0 4096 3 0 0 0 17 0 0 0
/proc/26917/statm: 30317 25430 50 173 0 30142 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 126624

[startup+1.50192 s]
/proc/loadavg: 1.08 1.02 1.01 2/67 26918
/proc/meminfo: memFree=1702048/2055920 swapFree=4179976/4192956
[pid=26913] ppid=26911 vsize=5356 CPUtime=0
/proc/26913/stat : 26913 (SatELiteGTI) S 26911 26913 26564 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 305310879 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26913/statm: 1339 237 197 169 0 50 0
[pid=26917] ppid=26913 vsize=260452 CPUtime=1.48
/proc/26917/stat : 26917 (SatELite_releas) R 26913 26913 26564 0 -1 4194304 52764 0 0 0 121 27 0 0 25 0 1 0 305310880 266702848 52750 1992294400 134512640 135223648 4294956128 18446744073709551615 134566837 0 0 4096 3 0 0 0 17 0 0 0
/proc/26917/statm: 65113 52750 71 173 0 64938 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 265808

[startup+3.1011 s]
/proc/loadavg: 1.08 1.02 1.01 2/67 26918
/proc/meminfo: memFree=1616224/2055920 swapFree=4179976/4192956
[pid=26913] ppid=26911 vsize=5356 CPUtime=0
/proc/26913/stat : 26913 (SatELiteGTI) S 26911 26913 26564 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 305310879 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26913/statm: 1339 237 197 169 0 50 0
[pid=26917] ppid=26913 vsize=294272 CPUtime=3.09
/proc/26917/stat : 26917 (SatELite_releas) R 26913 26913 26564 0 -1 4194304 64060 0 0 0 273 36 0 0 25 0 1 0 305310880 301334528 59170 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 0 0 0
/proc/26917/statm: 73568 59170 76 173 0 73393 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 299628

[startup+6.30145 s]
/proc/loadavg: 1.15 1.03 1.01 2/67 26918
/proc/meminfo: memFree=1578080/2055920 swapFree=4179976/4192956
[pid=26913] ppid=26911 vsize=5356 CPUtime=0
/proc/26913/stat : 26913 (SatELiteGTI) S 26911 26913 26564 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 305310879 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26913/statm: 1339 237 197 169 0 50 0
[pid=26917] ppid=26913 vsize=305924 CPUtime=6.28
/proc/26917/stat : 26917 (SatELite_releas) R 26913 26913 26564 0 -1 4194304 66879 0 0 0 583 45 0 0 25 0 1 0 305310880 313266176 61989 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 0 0 0
/proc/26917/statm: 76481 61989 76 173 0 76306 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 311280

[startup+12.7012 s]
/proc/loadavg: 1.22 1.05 1.02 2/67 26918
/proc/meminfo: memFree=1558824/2055920 swapFree=4179976/4192956
[pid=26913] ppid=26911 vsize=5356 CPUtime=0
/proc/26913/stat : 26913 (SatELiteGTI) S 26911 26913 26564 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 305310879 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26913/statm: 1339 237 197 169 0 50 0
[pid=26917] ppid=26913 vsize=307868 CPUtime=12.68
/proc/26917/stat : 26917 (SatELite_releas) R 26913 26913 26564 0 -1 4194304 70922 0 0 0 1216 52 0 0 25 0 1 0 305310880 315256832 62714 1992294400 134512640 135223648 4294956128 18446744073709551615 134586715 0 0 4096 3 0 0 0 17 0 0 0
/proc/26917/statm: 76967 62714 76 173 0 76792 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 313224

[startup+25.5016 s]
/proc/loadavg: 1.39 1.09 1.03 2/67 26919
/proc/meminfo: memFree=1739112/2055920 swapFree=4179976/4192956
[pid=26913] ppid=26911 vsize=5356 CPUtime=15.77
/proc/26913/stat : 26913 (SatELiteGTI) S 26911 26913 26564 0 -1 4194304 336 86687 0 0 0 0 1504 73 16 0 1 0 305310879 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26913/statm: 1339 239 197 169 0 50 0
[pid=26919] ppid=26913 vsize=51576 CPUtime=9.69
/proc/26919/stat : 26919 (minisat_static) R 26913 26913 26564 0 -1 4194304 12069 0 0 0 963 6 0 0 25 0 1 0 305312458 52813824 12055 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/26919/statm: 12894 12055 77 171 0 12721 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 56932

[startup+51.1014 s]
/proc/loadavg: 1.44 1.13 1.04 2/67 26919
/proc/meminfo: memFree=1737576/2055920 swapFree=4179976/4192956
[pid=26913] ppid=26911 vsize=5356 CPUtime=15.77
/proc/26913/stat : 26913 (SatELiteGTI) S 26911 26913 26564 0 -1 4194304 336 86687 0 0 0 0 1504 73 16 0 1 0 305310879 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26913/statm: 1339 239 197 169 0 50 0
[pid=26919] ppid=26913 vsize=54680 CPUtime=35.25
/proc/26919/stat : 26919 (minisat_static) R 26913 26913 26564 0 -1 4194304 12821 0 0 0 3518 7 0 0 25 0 1 0 305312458 55992320 12807 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/26919/statm: 13670 12807 77 171 0 13497 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 60036

[startup+102.305 s]
/proc/loadavg: 1.19 1.11 1.04 2/67 26919
/proc/meminfo: memFree=1732392/2055920 swapFree=4179976/4192956
[pid=26913] ppid=26911 vsize=5356 CPUtime=15.77
/proc/26913/stat : 26913 (SatELiteGTI) S 26911 26913 26564 0 -1 4194304 336 86687 0 0 0 0 1504 73 16 0 1 0 305310879 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26913/statm: 1339 239 197 169 0 50 0
[pid=26919] ppid=26913 vsize=59728 CPUtime=86.43
/proc/26919/stat : 26919 (minisat_static) R 26913 26913 26564 0 -1 4194304 14101 0 0 0 8634 9 0 0 25 0 1 0 305312458 61161472 14087 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 0 0 0
/proc/26919/statm: 14932 14087 77 171 0 14759 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 65084

[startup+162.302 s]
/proc/loadavg: 1.07 1.09 1.03 2/67 26919
/proc/meminfo: memFree=1724072/2055920 swapFree=4179976/4192956
[pid=26913] ppid=26911 vsize=5356 CPUtime=15.77
/proc/26913/stat : 26913 (SatELiteGTI) S 26911 26913 26564 0 -1 4194304 336 86687 0 0 0 0 1504 73 16 0 1 0 305310879 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26913/statm: 1339 239 197 169 0 50 0
[pid=26919] ppid=26913 vsize=68388 CPUtime=146.39
/proc/26919/stat : 26919 (minisat_static) R 26913 26913 26564 0 -1 4194304 16262 0 0 0 14627 12 0 0 25 0 1 0 305312458 70029312 16248 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/26919/statm: 17097 16248 77 171 0 16924 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 73744

[startup+222.301 s]
/proc/loadavg: 1.02 1.07 1.03 2/67 26919
/proc/meminfo: memFree=1714600/2055920 swapFree=4179976/4192956
[pid=26913] ppid=26911 vsize=5356 CPUtime=15.77
/proc/26913/stat : 26913 (SatELiteGTI) S 26911 26913 26564 0 -1 4194304 336 86687 0 0 0 0 1504 73 16 0 1 0 305310879 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26913/statm: 1339 239 197 169 0 50 0
[pid=26919] ppid=26913 vsize=77488 CPUtime=206.37
/proc/26919/stat : 26919 (minisat_static) R 26913 26913 26564 0 -1 4194304 18528 0 0 0 20622 15 0 0 25 0 1 0 305312458 79347712 18514 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/26919/statm: 19372 18514 77 171 0 19199 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 82844

[startup+282.302 s]
/proc/loadavg: 1.01 1.05 1.02 2/67 26921
/proc/meminfo: memFree=1704424/2055920 swapFree=4179976/4192956
[pid=26913] ppid=26911 vsize=5356 CPUtime=15.77
/proc/26913/stat : 26913 (SatELiteGTI) S 26911 26913 26564 0 -1 4194304 336 86687 0 0 0 0 1504 73 16 0 1 0 305310879 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26913/statm: 1339 239 197 169 0 50 0
[pid=26919] ppid=26913 vsize=87836 CPUtime=266.35
/proc/26919/stat : 26919 (minisat_static) R 26913 26913 26564 0 -1 4194304 21078 0 0 0 26618 17 0 0 25 0 1 0 305312458 89944064 21064 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/26919/statm: 21959 21064 77 171 0 21786 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 93192

[startup+342.303 s]
/proc/loadavg: 1.00 1.04 1.02 2/67 26921
/proc/meminfo: memFree=1696296/2055920 swapFree=4179976/4192956
[pid=26913] ppid=26911 vsize=5356 CPUtime=15.77
/proc/26913/stat : 26913 (SatELiteGTI) S 26911 26913 26564 0 -1 4194304 336 86687 0 0 0 0 1504 73 16 0 1 0 305310879 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26913/statm: 1339 239 197 169 0 50 0
[pid=26919] ppid=26913 vsize=95644 CPUtime=326.32
/proc/26919/stat : 26919 (minisat_static) R 26913 26913 26564 0 -1 4194304 23030 0 0 0 32613 19 0 0 25 0 1 0 305312458 97939456 23016 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/26919/statm: 23911 23016 77 171 0 23738 0
Current children cumulated CPU time (s) 342.09

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

/proc/26919/statm: 32333 31433 77 171 0 32160 0
Current children cumulated CPU time (s) 581.99
Current children cumulated vsize (KiB) 134688

[startup+642.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 26921
/proc/meminfo: memFree=1653928/2055920 swapFree=4179976/4192956
[pid=26913] ppid=26911 vsize=5356 CPUtime=15.77
/proc/26913/stat : 26913 (SatELiteGTI) S 26911 26913 26564 0 -1 4194304 336 86687 0 0 0 0 1504 73 16 0 1 0 305310879 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26913/statm: 1339 239 197 169 0 50 0
[pid=26919] ppid=26913 vsize=137516 CPUtime=626.19
/proc/26919/stat : 26919 (minisat_static) R 26913 26913 26564 0 -1 4194304 33499 0 0 0 62589 30 0 0 25 0 1 0 305312458 140816384 33485 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/26919/statm: 34379 33485 77 171 0 34206 0
Current children cumulated CPU time (s) 641.96
Current children cumulated vsize (KiB) 142872

[startup+702.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26921
/proc/meminfo: memFree=1646888/2055920 swapFree=4179976/4192956
[pid=26913] ppid=26911 vsize=5356 CPUtime=15.77
/proc/26913/stat : 26913 (SatELiteGTI) S 26911 26913 26564 0 -1 4194304 336 86687 0 0 0 0 1504 73 16 0 1 0 305310879 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26913/statm: 1339 239 197 169 0 50 0
[pid=26919] ppid=26913 vsize=144380 CPUtime=686.15
/proc/26919/stat : 26919 (minisat_static) R 26913 26913 26564 0 -1 4194304 35234 0 0 0 68583 32 0 0 25 0 1 0 305312458 147845120 35220 1992294400 134512640 135215339 4294956240 18446744073709551615 134527491 0 0 4096 3 0 0 0 17 0 0 0
/proc/26919/statm: 36095 35220 77 171 0 35922 0
Current children cumulated CPU time (s) 701.92
Current children cumulated vsize (KiB) 149736

[startup+762.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26921
/proc/meminfo: memFree=1638120/2055920 swapFree=4179976/4192956
[pid=26913] ppid=26911 vsize=5356 CPUtime=15.77
/proc/26913/stat : 26913 (SatELiteGTI) S 26911 26913 26564 0 -1 4194304 336 86687 0 0 0 0 1504 73 16 0 1 0 305310879 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26913/statm: 1339 239 197 169 0 50 0
[pid=26919] ppid=26913 vsize=152968 CPUtime=746.13
/proc/26919/stat : 26919 (minisat_static) R 26913 26913 26564 0 -1 4194304 37385 0 0 0 74578 35 0 0 25 0 1 0 305312458 156639232 37371 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/26919/statm: 38242 37371 77 171 0 38069 0
Current children cumulated CPU time (s) 761.9
Current children cumulated vsize (KiB) 158324

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26921
/proc/meminfo: memFree=1630952/2055920 swapFree=4179976/4192956
[pid=26913] ppid=26911 vsize=5356 CPUtime=15.77
/proc/26913/stat : 26913 (SatELiteGTI) S 26911 26913 26564 0 -1 4194304 336 86687 0 0 0 0 1504 73 16 0 1 0 305310879 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26913/statm: 1339 239 197 169 0 50 0
[pid=26919] ppid=26913 vsize=160380 CPUtime=806.1
/proc/26919/stat : 26919 (minisat_static) R 26913 26913 26564 0 -1 4194304 39145 0 0 0 80573 37 0 0 25 0 1 0 305312458 164229120 39131 1992294400 134512640 135215339 4294956240 18446744073709551615 134532684 0 0 4096 3 0 0 0 17 0 0 0
/proc/26919/statm: 40095 39131 77 171 0 39922 0
Current children cumulated CPU time (s) 821.87
Current children cumulated vsize (KiB) 165736

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26921
/proc/meminfo: memFree=1622184/2055920 swapFree=4179976/4192956
[pid=26913] ppid=26911 vsize=5356 CPUtime=15.77
/proc/26913/stat : 26913 (SatELiteGTI) S 26911 26913 26564 0 -1 4194304 336 86687 0 0 0 0 1504 73 16 0 1 0 305310879 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26913/statm: 1339 239 197 169 0 50 0
[pid=26919] ppid=26913 vsize=169092 CPUtime=866.07
/proc/26919/stat : 26919 (minisat_static) R 26913 26913 26564 0 -1 4194304 41322 0 0 0 86568 39 0 0 25 0 1 0 305312458 173150208 41308 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/26919/statm: 42273 41308 77 171 0 42100 0
Current children cumulated CPU time (s) 881.84
Current children cumulated vsize (KiB) 174448

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26921
/proc/meminfo: memFree=1617000/2055920 swapFree=4179976/4192956
[pid=26913] ppid=26911 vsize=5356 CPUtime=15.77
/proc/26913/stat : 26913 (SatELiteGTI) S 26911 26913 26564 0 -1 4194304 336 86687 0 0 0 0 1504 73 16 0 1 0 305310879 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26913/statm: 1339 239 197 169 0 50 0
[pid=26919] ppid=26913 vsize=174120 CPUtime=926.05
/proc/26919/stat : 26919 (minisat_static) R 26913 26913 26564 0 -1 4194304 42590 0 0 0 92564 41 0 0 25 0 1 0 305312458 178298880 42576 1992294400 134512640 135215339 4294956240 18446744073709551615 134528782 0 0 4096 3 0 0 0 17 0 0 0
/proc/26919/statm: 43530 42576 77 171 0 43357 0
Current children cumulated CPU time (s) 941.82
Current children cumulated vsize (KiB) 179476

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26921
/proc/meminfo: memFree=1612456/2055920 swapFree=4179976/4192956
[pid=26913] ppid=26911 vsize=5356 CPUtime=15.77
/proc/26913/stat : 26913 (SatELiteGTI) S 26911 26913 26564 0 -1 4194304 336 86687 0 0 0 0 1504 73 16 0 1 0 305310879 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26913/statm: 1339 239 197 169 0 50 0
[pid=26919] ppid=26913 vsize=178484 CPUtime=986.01
/proc/26919/stat : 26919 (minisat_static) R 26913 26913 26564 0 -1 4194304 43720 0 0 0 98559 42 0 0 25 0 1 0 305312458 182767616 43706 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/26919/statm: 44621 43706 77 171 0 44448 0
Current children cumulated CPU time (s) 1001.78
Current children cumulated vsize (KiB) 183840

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26921
/proc/meminfo: memFree=1609320/2055920 swapFree=4179976/4192956
[pid=26913] ppid=26911 vsize=5356 CPUtime=15.77
/proc/26913/stat : 26913 (SatELiteGTI) S 26911 26913 26564 0 -1 4194304 336 86687 0 0 0 0 1504 73 16 0 1 0 305310879 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26913/statm: 1339 239 197 169 0 50 0
[pid=26919] ppid=26913 vsize=181720 CPUtime=1045.99
/proc/26919/stat : 26919 (minisat_static) R 26913 26913 26564 0 -1 4194304 44521 0 0 0 104555 44 0 0 25 0 1 0 305312458 186081280 44507 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/26919/statm: 45430 44507 77 171 0 45257 0
Current children cumulated CPU time (s) 1061.76
Current children cumulated vsize (KiB) 187076

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26921
/proc/meminfo: memFree=1603496/2055920 swapFree=4179976/4192956
[pid=26913] ppid=26911 vsize=5356 CPUtime=15.77
/proc/26913/stat : 26913 (SatELiteGTI) S 26911 26913 26564 0 -1 4194304 336 86687 0 0 0 0 1504 73 16 0 1 0 305310879 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26913/statm: 1339 239 197 169 0 50 0
[pid=26919] ppid=26913 vsize=187264 CPUtime=1105.96
/proc/26919/stat : 26919 (minisat_static) R 26913 26913 26564 0 -1 4194304 45913 0 0 0 110550 46 0 0 25 0 1 0 305312458 191758336 45899 1992294400 134512640 135215339 4294956240 18446744073709551615 134529323 0 0 4096 3 0 0 0 17 0 0 0
/proc/26919/statm: 46816 45899 77 171 0 46643 0
Current children cumulated CPU time (s) 1121.73
Current children cumulated vsize (KiB) 192620

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26921
/proc/meminfo: memFree=1599080/2055920 swapFree=4179976/4192956
[pid=26913] ppid=26911 vsize=5356 CPUtime=15.77
/proc/26913/stat : 26913 (SatELiteGTI) S 26911 26913 26564 0 -1 4194304 336 86687 0 0 0 0 1504 73 16 0 1 0 305310879 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26913/statm: 1339 239 197 169 0 50 0
[pid=26919] ppid=26913 vsize=191628 CPUtime=1165.93
/proc/26919/stat : 26919 (minisat_static) R 26913 26913 26564 0 -1 4194304 47011 0 0 0 116546 47 0 0 25 0 1 0 305312458 196227072 46997 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 0 0 0
/proc/26919/statm: 47907 46997 77 171 0 47734 0
Current children cumulated CPU time (s) 1181.7
Current children cumulated vsize (KiB) 196984



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26921
/proc/meminfo: memFree=1596776/2055920 swapFree=4179976/4192956
[pid=26913] ppid=26911 vsize=5356 CPUtime=15.77
/proc/26913/stat : 26913 (SatELiteGTI) S 26911 26913 26564 0 -1 4194304 336 86687 0 0 0 0 1504 73 16 0 1 0 305310879 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26913/statm: 1339 239 197 169 0 50 0
[pid=26919] ppid=26913 vsize=193876 CPUtime=1184.32
/proc/26919/stat : 26919 (minisat_static) R 26913 26913 26564 0 -1 4194304 47565 0 0 0 118384 48 0 0 25 0 1 0 305312458 198529024 47551 1992294400 134512640 135215339 4294956240 18446744073709551615 134525025 0 0 4096 3 0 0 0 17 0 0 0
/proc/26919/statm: 48469 47551 77 171 0 48296 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 199232

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

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

[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26921
/proc/meminfo: memFree=1596776/2055920 swapFree=4179976/4192956
[pid=26913] ppid=26911 vsize=5356 CPUtime=15.77
/proc/26913/stat : 26913 (SatELiteGTI) S 26911 26913 26564 0 -1 4194304 336 86687 0 0 0 0 1504 73 16 0 1 0 305310879 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26913/statm: 1339 239 197 169 0 50 0
[pid=26919] ppid=26913 vsize=193876 CPUtime=1184.32
/proc/26919/stat : 26919 (minisat_static) R 26913 26913 26564 0 -1 4194304 47565 0 0 0 118384 48 0 0 25 0 1 0 305312458 198529024 47551 1992294400 134512640 135215339 4294956240 18446744073709551615 134525025 0 0 4096 3 0 0 0 17 0 0 0
/proc/26919/statm: 48469 47551 77 171 0 48296 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 199232

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26913 and gives
#  childrusage.ru_utime.tv_sec=15
#  childrusage.ru_utime.tv_usec=46712
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=735888
# CPU time returned by wait4() is 15.7826
# while last known CPU time is 1200.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1200.71
CPU time (s): 1200.09
CPU user time (s): 1198.88
CPU system time (s): 1.21
CPU usage (%): 99.9482
Max. virtual memory (cumulated for all children) (KiB): 340284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.0467
system time used= 0.735888
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87023
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= 13
involuntary context switches= 81

runsolver used 1.11983 second user time and 3.3115 second system time

The end

Launcher Data 

Begin job on node76 at 2009-05-20 00:40:08
IDJOB=1832405
IDBENCH=69581
IDSOLVER=671
FILE ID=node76/1832405-1242772803
PBS_JOBID= 9322227
Free space on /tmp= 66204 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= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832405-1242772803/watcher-1832405-1242772803 -o /tmp/evaluation-result-1832405-1242772803/solver-1832405-1242772803 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832405-1242772803.cnf

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

MD5SUM BENCH= 1f1dd0782ec95ee5e6d7a06f92fc0f12
RANDOM SEED=321001485

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1847056 kB
Buffers:         14732 kB
Cached:         155396 kB
SwapCached:       7284 kB
Active:          91960 kB
Inactive:        87032 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1847056 kB
SwapTotal:     4192956 kB
SwapFree:      4179976 kB
Dirty:           37544 kB
Writeback:           0 kB
Mapped:          13928 kB
Slab:            15676 kB
Committed_AS:  1003052 kB
PageTables:       1436 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66144 MiB
End job on node76 at 2009-05-20 01:00:10