Trace number 1837198

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18UNSAT 1321.46 1321.98

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 benchmark856.068
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.49/1.57	c ==============================================================================
1.49/1.57	c |           |     ORIGINAL     |              LEARNT              |          |
1.49/1.57	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
1.49/1.57	c ==============================================================================
1.49/1.57	c |         0 | 1777028  4564454 |  533108       0        0     nan |  0.000 % |
15.67/15.74	c |         0 |  813247  2716333 |      --       0       --      -- |     --   | -937144/-1778230
15.67/15.75	c ==============================================================================
15.67/15.75	c Result  :   #vars: 151801   #clauses: 813247   #literals: 2716333
15.67/15.75	c CPU time:   15.1147 s
15.67/15.75	c ==============================================================================
16.67/16.78	c This is MiniSat 2.0 beta
16.67/16.78	c WARNING: for repeatability, setting FPU to use double precision
16.67/16.78	c ============================[ Problem Statistics ]=============================
16.67/16.78	c |                                                                             |
16.67/16.78	c |  Number of variables:  151801                                               |
16.67/16.78	c |  Number of clauses:    813247                                               |
16.76/17.31	c |  Parsing time:         0.47         s                                       |
16.76/17.35	c ============================[ Search Statistics ]==============================
16.76/17.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
16.76/17.35	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
16.76/17.35	c ===============================================================================
16.76/17.35	c |         0 |  151801   813247  2716333 |   271082        0    nan |  0.000 % |
17.47/17.50	c |       101 |  151801   813247  2716333 |   271082      101     56 |  0.000 % |
17.57/17.64	c |       201 |  151801   813247  2716333 |   271082      201     32 |  0.000 % |
17.87/17.91	c |       301 |  151801   813247  2716333 |   271082      301     26 |  0.000 % |
18.07/18.15	c |       411 |  151801   813247  2716333 |   271082      411     24 |  0.000 % |
18.47/18.55	c |       511 |  151800   813247  2716333 |   271082      510     22 |  0.001 % |
18.57/18.63	c |       621 |  151800   813247  2716333 |   271082      620     19 |  0.001 % |
18.67/18.79	c |       742 |  151799   813247  2716333 |   271082      740     17 |  0.001 % |
18.77/18.82	c |       842 |  151797   813247  2716333 |   271082      839     16 |  0.008 % |
18.87/18.91	c |       952 |  151795   813247  2716333 |   271082      949     15 |  0.008 % |
19.37/19.48	c |      1073 |  151795   813247  2716333 |   271082     1070     17 |  0.008 % |
19.57/19.64	c |      1207 |  151789   813158  2716046 |   271082     1202     17 |  0.008 % |
19.97/20.00	c |      1307 |  151788   813158  2716046 |   271082     1301     16 |  0.009 % |
20.66/20.72	c |      1418 |  151788   813158  2716046 |   271082     1412     23 |  0.009 % |
20.87/20.97	c |      1539 |  151788   813158  2716046 |   271082     1533     22 |  0.009 % |
21.26/21.31	c |      1675 |  151788   813158  2716046 |   271082     1669     22 |  0.009 % |
21.36/21.44	c |      1821 |  151788   813084  2715894 |   271082     1815     21 |  0.009 % |
21.57/21.67	c |      1923 |  151788   813084  2715894 |   271082     1917     21 |  0.009 % |
21.77/21.82	c |      2034 |  151788   813084  2715894 |   271082     2028     21 |  0.009 % |
21.97/22.04	c |      2155 |  151788   813084  2715894 |   271082     2149     20 |  0.009 % |
22.16/22.24	c |      2288 |  151788   813084  2715894 |   271082     2282     20 |  0.009 % |
22.46/22.57	c |      2435 |  151788   813084  2715894 |   271082     2429     19 |  0.009 % |
22.76/22.82	c |      2595 |  151771   813084  2715894 |   271082     2587     19 |  0.058 % |
22.76/22.86	c |      2698 |  151770   813084  2715894 |   271082     2689     19 |  0.059 % |
23.16/23.21	c |      2810 |  151619   811688  2711509 |   271082     2789     19 |  0.136 % |
23.66/23.78	c |      2933 |  151611   811688  2711509 |   271082     2911     23 |  0.138 % |
23.86/23.97	c |      3067 |  151611   811688  2711509 |   271082     3045     25 |  0.138 % |
24.46/24.53	c |      3214 |  151611   811688  2711509 |   271082     3192     24 |  0.138 % |
24.56/24.60	c |      3374 |  151611   811688  2711509 |   271082     3352     24 |  0.138 % |
24.66/24.72	c |      3550 |  151599   811688  2711509 |   271082     3524     23 |  0.248 % |
24.86/24.94	c |      3651 |  151554   811688  2711509 |   271082     3622     23 |  0.340 % |
25.26/25.38	c |      3761 |  151548   811688  2711509 |   271082     3729     24 |  0.639 % |
25.56/25.68	c |      3883 |  150831   805642  2689775 |   271082     3732     24 |  0.639 % |
25.76/25.86	c |      4016 |  150831   805642  2689775 |   271082     3865     23 |  0.639 % |
25.86/25.95	c |      4162 |  150831   805642  2689775 |   271082     4011     23 |  0.639 % |
25.96/26.09	c |      4322 |  150831   805642  2689775 |   271082     4171     22 |  0.639 % |
26.16/26.24	c |      4499 |  150831   805642  2689775 |   271082     4348     21 |  0.639 % |
26.76/26.85	c |      4693 |  150831   805642  2689775 |   271082     4542     22 |  0.639 % |
26.86/26.92	c |      4794 |  150831   805642  2689775 |   271082     4643     22 |  0.639 % |
27.06/27.19	c |      4907 |  150831   805642  2689775 |   271082     4756     22 |  0.639 % |
27.36/27.42	c |      5028 |  150831   805642  2689775 |   271082     4877     22 |  0.639 % |
27.56/27.62	c |      5161 |  150831   805642  2689775 |   271082     5010     22 |  0.639 % |
27.76/27.84	c |      5307 |  150831   805642  2689775 |   271082     5156     22 |  0.639 % |
28.16/28.22	c |      5467 |  150831   805642  2689775 |   271082     5316     21 |  0.639 % |
28.46/28.56	c |      5643 |  150825   805635  2689749 |   271082     5490     21 |  0.648 % |
28.66/28.78	c |      5836 |  150825   805635  2689749 |   271082     5683     21 |  0.648 % |
29.26/29.33	c |      6048 |  150789   805635  2689749 |   271082     5893     22 |  0.796 % |
29.36/29.46	c |      6148 |  150789   805635  2689749 |   271082     5993     22 |  0.796 % |
29.56/29.65	c |      6258 |  150789   805635  2689749 |   271082     6103     23 |  0.796 % |
29.76/29.87	c |      6379 |  150789   805635  2689749 |   271082     6224     22 |  0.796 % |
29.96/30.08	c |      6512 |  150789   805635  2689749 |   271082     6357     23 |  0.796 % |
30.16/30.26	c |      6660 |  150789   805635  2689749 |   271082     6505     23 |  0.796 % |
30.56/30.63	c |      6820 |  150593   804264  2685433 |   271082     6656     22 |  0.796 % |
30.66/30.78	c |      6996 |  150593   804264  2685433 |   271082     6832     22 |  0.796 % |
31.06/31.17	c |      7190 |  150593   804264  2685433 |   271082     7026     22 |  0.796 % |
31.26/31.37	c |      7402 |  150593   804264  2685433 |   271082     7238     22 |  0.796 % |
31.86/31.93	c |      7635 |  150593   804264  2685433 |   271082     7471     21 |  0.796 % |
32.56/32.62	c |      7736 |  150593   804264  2685433 |   271082     7572     21 |  0.796 % |
32.86/32.95	c |      7846 |  150593   804264  2685433 |   271082     7682     21 |  0.796 % |
33.46/33.55	c |      7967 |  150593   804264  2685433 |   271082     7803     22 |  0.796 % |
33.56/33.69	c |      8100 |  150593   804264  2685433 |   271082     7936     22 |  0.796 % |
33.66/33.75	c |      8246 |  150593   804264  2685433 |   271082     8082     21 |  0.796 % |
33.76/33.84	c |      8406 |  150593   804264  2685433 |   271082     8242     21 |  0.796 % |
33.96/34.01	c |      8582 |  150526   804001  2684596 |   271082     8414     21 |  0.840 % |
34.26/34.39	c |      8777 |  150526   804001  2684596 |   271082     8609     21 |  0.840 % |
34.75/34.84	c |      8989 |  150526   804001  2684596 |   271082     8821     21 |  0.840 % |
35.25/35.34	c |      9222 |  150526   804001  2684596 |   271082     9054     21 |  0.840 % |
35.75/35.85	c |      9478 |  150390   804001  2684596 |   271082     9304     22 |  1.204 % |
35.95/36.08	c |      9578 |  149974   800548  2673170 |   271082     9340     22 |  1.204 % |
36.16/36.27	c |      9688 |  149972   800548  2673170 |   271082     9448     22 |  1.209 % |
36.56/36.62	c |      9809 |  149972   800548  2673170 |   271082     9569     23 |  1.209 % |
36.66/36.78	c |      9943 |  149972   800548  2673170 |   271082     9703     23 |  1.209 % |
36.86/36.96	c |     10089 |  149972   800548  2673170 | 2147483647     9849     23 |  1.209 % |
37.16/37.27	c |     10249 |  149972   800548  2673170 | 2147483647    10009     24 |  1.209 % |
37.46/37.53	c |     10425 |  149972   800548  2673170 | 2147483647    10185     24 |  1.209 % |
37.56/37.68	c |     10619 |  149972   800548  2673170 | 2147483647    10379     24 |  1.209 % |
38.06/38.12	c |     10831 |  149972   800548  2673170 | 2147483647    10591     25 |  1.209 % |
38.46/38.54	c |     11064 |  149966   800478  2672912 | 2147483647    10816     26 |  1.209 % |
38.76/38.84	c |     11320 |  149966   800478  2672912 | 2147483647    11072     27 |  1.209 % |
39.06/39.11	c |     11602 |  149966   800478  2672912 | 2147483647    11354     26 |  1.209 % |
39.16/39.24	c |     11703 |  149966   800478  2672912 | 2147483647    11455     26 |  1.209 % |
39.36/39.46	c |     11814 |  149966   800478  2672912 | 2147483647    11566     26 |  1.209 % |
39.56/39.62	c |     11935 |  149966   800478  2672912 | 2147483647    11687     26 |  1.209 % |
39.76/39.88	c |     12068 |  149966   800478  2672912 | 2147483647    11820     27 |  1.209 % |
40.06/40.11	c |     12216 |  149966   800478  2672912 | 2147483647    11968     27 |  1.209 % |
40.66/40.73	c |     12376 |  149966   800478  2672912 | 2147483647    12128     27 |  1.209 % |
40.96/41.09	c |     12552 |  149966   800478  2672912 | 2147483647    12304     27 |  1.209 % |
41.46/41.56	c |     12745 |  149966   800478  2672912 | 2147483647    12497     27 |  1.209 % |
41.86/41.98	c |     12957 |  149966   800478  2672912 | 2147483647    12709     28 |  1.209 % |
42.26/42.38	c |     13191 |  149966   800478  2672912 | 2147483647    12943     29 |  1.209 % |
42.95/43.04	c |     13447 |  149966   800478  2672912 | 2147483647    13199     30 |  1.209 % |
43.45/43.59	c |     13728 |  149966   800478  2672912 | 2147483647    13480     30 |  1.209 % |
43.96/44.05	c |     14037 |  149966   800478  2672912 | 2147483647    13789     31 |  1.209 % |
44.15/44.24	c |     14137 |  149966   800478  2672912 | 2147483647    13889     31 |  1.209 % |
44.25/44.34	c |     14247 |  149966   800478  2672912 | 2147483647    13999     31 |  1.209 % |
44.45/44.54	c |     14368 |  149966   800478  2672912 | 2147483647    14120     30 |  1.209 % |
44.65/44.70	c |     14502 |  149966   800478  2672912 | 2147483647    14254     31 |  1.209 % |
44.85/44.97	c |     14652 |  149966   800478  2672912 | 2147483647    14404     31 |  1.209 % |
45.15/45.22	c |     14812 |  149966   800478  2672912 | 2147483647    14564     31 |  1.209 % |
45.85/45.93	c |     14990 |  149966   800478  2672912 | 2147483647    14742     33 |  1.209 % |
46.06/46.17	c |     15184 |  149966   800478  2672912 | 2147483647    14936     32 |  1.209 % |
46.16/46.26	c |     15396 |  149966   800478  2672912 | 2147483647    15148     32 |  1.209 % |
46.25/46.40	c |     15632 |  149966   800478  2672912 | 2147483647    15384     32 |  1.209 % |
46.75/46.83	c |     15888 |  149966   800478  2672912 | 2147483647    15640     33 |  1.209 % |
47.05/47.13	c |     16170 |  149966   800478  2672912 | 2147483647    15922     32 |  1.209 % |
47.46/47.56	c |     16480 |  149966   800478  2672912 | 2147483647    16232     33 |  1.209 % |
47.76/47.86	c |     16819 |  149966   800478  2672912 | 2147483647    16571     33 |  1.209 % |
47.96/48.05	c |     16919 |  149966   800478  2672912 | 2147483647    16671     33 |  1.209 % |
48.06/48.19	c |     17029 |  149966   800478  2672912 | 2147483647    16781     33 |  1.209 % |
48.36/48.40	c |     17151 |  149966   800478  2672912 | 2147483647    16903     33 |  1.209 % |
48.56/48.67	c |     17285 |  149966   800478  2672912 | 2147483647    17037     33 |  1.209 % |
48.86/48.93	c |     17431 |  149966   800478  2672912 | 2147483647    17183     33 |  1.209 % |
49.25/49.37	c |     17591 |  149966   800478  2672912 | 2147483647    17343     33 |  1.209 % |
49.65/49.75	c |     17768 |  149966   800478  2672912 | 2147483647    17520     34 |  1.209 % |
50.15/50.28	c |     17961 |  149966   800478  2672912 | 2147483647    17713     35 |  1.209 % |
50.46/50.51	c |     18173 |  149966   800478  2672912 | 2147483647    17925     36 |  1.209 % |
50.65/50.76	c |     18406 |  149966   800478  2672912 | 2147483647    18158     35 |  1.209 % |
51.56/51.64	c |     18662 |  149966   800478  2672912 | 2147483647    18414     35 |  1.209 % |
53.35/53.42	c |     18943 |  149966   800478  2672912 | 2147483647    18695     36 |  1.209 % |
54.25/54.36	c |     19252 |  149966   800478  2672912 | 2147483647    19004     36 |  1.209 % |
55.15/55.21	c |     19592 |  149966   800478  2672912 | 2147483647    19344     36 |  1.209 % |
55.65/55.78	c |     19964 |  149966   800478  2672912 | 2147483647    19716     36 |  1.209 % |
55.85/55.96	c |     20064 |  149966   800478  2672912 | 2147483647    19816     36 |  1.209 % |
56.35/56.43	c |     20174 |  149966   800478  2672912 | 2147483647    19926     36 |  1.209 % |
56.75/56.87	c |     20296 |  149966   800478  2672912 | 2147483647    20048     36 |  1.209 % |
56.95/57.06	c |     20429 |  149966   800478  2672912 | 2147483647    20181     36 |  1.209 % |
57.15/57.23	c |     20575 |  149966   800478  2672912 | 2147483647    20327     36 |  1.209 % |
57.95/58.02	c |     20737 |  149966   800478  2672912 | 2147483647    20489     36 |  1.209 % |
58.45/58.51	c |     20913 |  149966   800478  2672912 | 2147483647    20665     36 |  1.209 % |
58.65/58.76	c |     21107 |  149966   800478  2672912 | 2147483647    20859     36 |  1.209 % |
59.25/59.35	c |     21319 |  149966   800478  2672912 | 2147483647    21071     36 |  1.209 % |
59.85/59.91	c |     21552 |  149966   800478  2672912 | 2147483647    21304     36 |  1.209 % |
60.55/60.63	c |     21809 |  149966   800478  2672912 | 2147483647    21561     36 |  1.209 % |
61.25/61.37	c |     22090 |  149966   800478  2672912 | 2147483647    21842     36 |  1.209 % |
61.75/61.85	c |     22399 |  149966   800478  2672912 | 2147483647    22151     36 |  1.209 % |
62.65/62.71	c |     22738 |  149966   800478  2672912 | 2147483647    22490     36 |  1.209 % |
63.14/63.29	c |     23110 |  149966   800478  2672912 | 2147483647    22862     36 |  1.209 % |
64.64/64.73	c |     23521 |  149964   800474  2672904 | 2147483647    23270     36 |  1.214 % |
64.85/64.91	c |     23622 |  149963   800474  2672904 | 2147483647    23370     36 |  1.215 % |
65.14/65.24	c |     23732 |  149963   800474  2672904 | 2147483647    23480     36 |  1.215 % |
65.85/65.90	c |     23853 |  149963   800474  2672904 | 2147483647    23601     37 |  1.215 % |
66.24/66.38	c |     23986 |  149963   800474  2672904 | 2147483647    23734     36 |  1.215 % |
66.55/66.60	c |     24135 |  149963   800474  2672904 | 2147483647    23883     37 |  1.215 % |
66.75/66.81	c |     24295 |  149963   800474  2672904 | 2147483647    24043     37 |  1.215 % |
66.96/67.07	c |     24471 |  149957   800358  2672609 | 2147483647    24218     37 |  1.215 % |
67.35/67.42	c |     24664 |  149957   800358  2672609 | 2147483647    24411     36 |  1.215 % |
67.85/67.91	c |     24877 |  149957   800358  2672609 | 2147483647    24624     37 |  1.215 % |
68.35/68.44	c |     25111 |  149957   800358  2672609 | 2147483647    24858     37 |  1.215 % |
69.05/69.10	c |     25367 |  149957   800358  2672609 | 2147483647    25114     37 |  1.215 % |
69.45/69.51	c |     25648 |  149957   800358  2672609 | 2147483647    25395     37 |  1.215 % |
70.25/70.31	c |     25959 |  149957   800358  2672609 | 2147483647    25706     37 |  1.215 % |
71.15/71.20	c |     26299 |  149951   800336  2672534 | 2147483647    26044     37 |  1.219 % |
72.75/72.85	c |     26674 |  149951   800336  2672534 | 2147483647    26419     40 |  1.219 % |
74.45/74.59	c |     27084 |  149951   800336  2672534 | 2147483647    26829     40 |  1.219 % |
75.75/75.84	c |     27535 |  149950   800326  2672499 | 2147483647    27278     39 |  1.219 % |
76.15/76.27	c |     27635 |  149950   800326  2672499 | 2147483647    27378     39 |  1.219 % |
76.55/76.70	c |     27745 |  149950   800326  2672499 | 2147483647    27488     39 |  1.219 % |
77.05/77.18	c |     27870 |  149950   800326  2672499 | 2147483647    27613     40 |  1.219 % |
77.35/77.44	c |     28003 |  149950   800326  2672499 | 2147483647    27746     40 |  1.219 % |
77.75/77.87	c |     28150 |  149950   800316  2672460 | 2147483647    27893     40 |  1.219 % |
78.45/78.58	c |     28312 |  149950   800316  2672460 | 2147483647    28055     40 |  1.219 % |
79.24/79.37	c |     28488 |  149950   800316  2672460 | 2147483647    28231     40 |  1.219 % |
79.84/79.90	c |     28683 |  149950   800316  2672460 | 2147483647    28426     40 |  1.219 % |
80.44/80.56	c |     28895 |  149950   800316  2672460 | 2147483647    28638     40 |  1.219 % |
81.04/81.19	c |     29128 |  149950   800316  2672460 | 2147483647    28871     40 |  1.219 % |
81.74/81.86	c |     29384 |  149950   800316  2672460 | 2147483647    29127     40 |  1.219 % |
82.14/82.28	c |     29665 |  149950   800316  2672460 | 2147483647    29408     40 |  1.219 % |
83.04/83.13	c |     29975 |  149950   800316  2672460 | 2147483647    29718     41 |  1.219 % |
83.94/84.01	c |     30315 |  149950   800316  2672460 | 2147483647    30058     42 |  1.219 % |
84.65/84.79	c |     30687 |  149949   800306  2672421 | 2147483647    30429     42 |  1.220 % |
85.54/85.61	c |     31096 |  149949   800306  2672421 | 2147483647    30838     43 |  1.220 % |
87.14/87.27	c |     31545 |  149949   800306  2672421 | 2147483647    31287     42 |  1.220 % |
88.24/88.32	c |     32039 |  149949   800306  2672421 | 2147483647    31781     42 |  1.220 % |
88.44/88.53	c |     32139 |  149949   800306  2672421 | 2147483647    31881     42 |  1.220 % |
88.64/88.77	c |     32249 |  149949   800306  2672421 | 2147483647    31991     42 |  1.220 % |
89.54/89.61	c |     32373 |  149949   800306  2672421 | 2147483647    32115     43 |  1.220 % |
90.33/90.41	c |     32506 |  149949   800306  2672421 | 2147483647    32248     43 |  1.220 % |
91.03/91.14	c |     32652 |  149949   800306  2672421 | 2147483647    32394     43 |  1.220 % |
91.33/91.43	c |     32814 |  149949   800306  2672421 | 2147483647    32556     43 |  1.220 % |
91.73/91.87	c |     32990 |  149949   800306  2672421 | 2147483647    32732     43 |  1.220 % |
92.03/92.13	c |     33183 |  149949   800306  2672421 | 2147483647    32925     42 |  1.220 % |
92.53/92.64	c |     33395 |  149949   800306  2672421 | 2147483647    33137     42 |  1.220 % |
93.73/93.83	c |     33628 |  149949   800306  2672421 | 2147483647    33370     43 |  1.220 % |
94.44/94.60	c |     33885 |  149949   800306  2672421 | 2147483647    33627     43 |  1.220 % |
95.03/95.18	c |     34167 |  149949   800306  2672421 | 2147483647    33909     43 |  1.220 % |
95.93/96.09	c |     34476 |  149948   800296  2672382 | 2147483647    34217     43 |  1.221 % |
97.04/97.19	c |     34815 |  149947   800296  2672382 | 2147483647    34555     43 |  1.221 % |
97.64/97.76	c |     35187 |  149947   800296  2672382 | 2147483647    34927     42 |  1.221 % |
98.44/98.55	c |     35596 |  149947   800296  2672382 | 2147483647    35336     42 |  1.221 % |
99.44/99.56	c |     36045 |  149947   800286  2672343 | 2147483647    35785     42 |  1.221 % |
101.04/101.14	c |     36539 |  149947   800286  2672343 | 2147483647    36279     44 |  1.221 % |
102.04/102.15	c |     37081 |  149947   800286  2672343 | 2147483647    36821     44 |  1.221 % |
102.34/102.44	c |     37181 |  149947   800286  2672343 | 2147483647    36921     44 |  1.221 % |
102.53/102.65	c |     37291 |  149947   800286  2672343 | 2147483647    37031     44 |  1.221 % |
102.83/102.95	c |     37412 |  149947   800286  2672343 | 2147483647    37152     44 |  1.221 % |
103.13/103.29	c |     37545 |  149947   800286  2672343 | 2147483647    37285     44 |  1.221 % |
103.83/103.90	c |     37691 |  149947   800286  2672343 | 2147483647    37431     44 |  1.221 % |
104.23/104.32	c |     37852 |  149947   800286  2672343 | 2147483647    37592     44 |  1.221 % |
104.83/104.94	c |     38028 |  149947   800286  2672343 | 2147483647    37768     44 |  1.221 % |
105.63/105.72	c |     38222 |  149947   800286  2672343 | 2147483647    37962     44 |  1.221 % |
106.13/106.26	c |     38434 |  149947   800286  2672343 | 2147483647    38174     44 |  1.221 % |
106.93/107.08	c |     38667 |  149947   800286  2672343 | 2147483647    38407     44 |  1.221 % |
108.23/108.39	c |     38925 |  149947   800286  2672343 | 2147483647    38665     45 |  1.221 % |
108.73/108.81	c |     39210 |  149947   800286  2672343 | 2147483647    38950     46 |  1.221 % |
109.43/109.51	c |     39522 |  149947   800286  2672343 | 2147483647    39262     46 |  1.221 % |
110.23/110.31	c |     39861 |  149947   800286  2672343 | 2147483647    39601     46 |  1.221 % |
111.13/111.26	c |     40233 |  149947   800286  2672343 | 2147483647    39973     46 |  1.221 % |
112.63/112.76	c |     40642 |  149947   800286  2672343 | 2147483647    40382     46 |  1.221 % |
114.03/114.19	c |     41093 |  149947   800286  2672343 | 2147483647    40833     47 |  1.221 % |
116.44/116.53	c |     41588 |  149947   800286  2672343 | 2147483647    41328     49 |  1.221 % |
118.53/118.60	c |     42130 |  149947   800286  2672343 | 2147483647    41870     49 |  1.221 % |
119.13/119.23	c |     42727 |  149947   800286  2672343 | 2147483647    42467     48 |  1.221 % |
119.33/119.49	c |     42827 |  149947   800286  2672343 | 2147483647    42567     48 |  1.221 % |
120.13/120.23	c |     42941 |  149947   800286  2672343 | 2147483647    42681     49 |  1.221 % |
120.23/120.38	c |     43063 |  149947   800286  2672343 | 2147483647    42803     49 |  1.221 % |
120.63/120.75	c |     43196 |  149947   800286  2672343 | 2147483647    42936     49 |  1.221 % |
121.13/121.24	c |     43343 |  149947   800286  2672343 | 2147483647    43083     49 |  1.221 % |
121.43/121.58	c |     43505 |  149947   800286  2672343 | 2147483647    43245     49 |  1.221 % |
121.73/121.87	c |     43682 |  149947   800286  2672343 | 2147483647    43422     49 |  1.221 % |
122.23/122.39	c |     43875 |  149947   800286  2672343 | 2147483647    43615     49 |  1.221 % |
123.03/123.16	c |     44089 |  149947   800286  2672343 | 2147483647    43829     49 |  1.221 % |
123.33/123.41	c |     44323 |  149947   800286  2672343 | 2147483647    44063     49 |  1.221 % |
124.03/124.11	c |     44579 |  149947   800286  2672343 | 2147483647    44319     49 |  1.221 % |
125.03/125.17	c |     44860 |  149947   800286  2672343 | 2147483647    44600     49 |  1.221 % |
126.13/126.23	c |     45169 |  149947   800286  2672343 | 2147483647    44909     49 |  1.221 % |
126.92/127.03	c |     45508 |  149947   800286  2672343 | 2147483647    45248     50 |  1.221 % |
127.53/127.63	c |     45881 |  149947   800286  2672343 | 2147483647    45621     49 |  1.221 % |
129.22/129.39	c |     46290 |  149947   800286  2672343 | 2147483647    46030     50 |  1.221 % |
131.82/131.92	c |     46739 |  149947   800286  2672343 | 2147483647    46479     51 |  1.221 % |
133.22/133.32	c |     47233 |  149947   800286  2672343 | 2147483647    46973     51 |  1.221 % |
135.02/135.13	c |     47776 |  149947   800286  2672343 | 2147483647    47516     53 |  1.221 % |
136.32/136.48	c |     48372 |  149946   800276  2672304 | 2147483647    48111     53 |  1.222 % |
138.42/138.59	c |     49027 |  149945   800276  2672304 | 2147483647    48764     54 |  1.247 % |
138.92/139.01	c |     49128 |  149945   800276  2672304 | 2147483647    48865     54 |  1.247 % |
139.32/139.47	c |     49239 |  149945   800276  2672304 | 2147483647    48976     54 |  1.247 % |
139.62/139.79	c |     49361 |  149945   800276  2672304 | 2147483647    49098     54 |  1.247 % |
140.02/140.10	c |     49495 |  149945   800276  2672304 | 2147483647    49232     54 |  1.247 % |
140.42/140.56	c |     49641 |  149945   800276  2672304 | 2147483647    49378     53 |  1.247 % |
141.02/141.17	c |     49801 |  149908   800016  2671571 | 2147483647    49498     54 |  1.247 % |
141.73/141.86	c |     49977 |  149908   800016  2671571 | 2147483647    49674     54 |  1.247 % |
142.22/142.38	c |     50171 |  149908   800016  2671571 | 2147483647    49868     54 |  1.247 % |
142.62/142.80	c |     50383 |  149908   800016  2671571 | 2147483647    50080     54 |  1.247 % |
143.42/143.52	c |     50616 |  149908   800016  2671571 | 2147483647    50313     55 |  1.247 % |
143.82/143.99	c |     50872 |  149908   800016  2671571 | 2147483647    50569     55 |  1.247 % |
144.32/144.43	c |     51153 |  149908   800016  2671571 | 2147483647    50850     55 |  1.247 % |
145.72/145.82	c |     51462 |  149908   800016  2671571 | 2147483647    51159     56 |  1.247 % |
146.02/146.13	c |     51801 |  149908   800016  2671571 | 2147483647    51498     56 |  1.247 % |
146.82/146.90	c |     52173 |  149908   800016  2671571 | 2147483647    51870     56 |  1.247 % |
147.62/147.76	c |     52583 |  149908   800016  2671571 | 2147483647    52280     56 |  1.247 % |
148.72/148.88	c |     53032 |  149908   800016  2671571 | 2147483647    52729     55 |  1.247 % |
150.02/150.16	c |     53525 |  149908   800016  2671571 | 2147483647    53222     55 |  1.247 % |
153.72/153.84	c |     54067 |  149908   800016  2671571 | 2147483647    53764     57 |  1.247 % |
154.82/154.96	c |     54663 |  149908   800016  2671571 | 2147483647    54360     57 |  1.247 % |
157.51/157.69	c |     55318 |  149908   800016  2671571 | 2147483647    55015     57 |  1.247 % |
159.22/159.30	c |     56038 |  149908   800016  2671571 | 2147483647    55735     58 |  1.247 % |
159.32/159.50	c |     56138 |  149908   800016  2671571 | 2147483647    55835     58 |  1.247 % |
159.62/159.73	c |     56249 |  149908   800016  2671571 | 2147483647    55946     58 |  1.247 % |
159.92/160.04	c |     56370 |  149908   800016  2671571 | 2147483647    56067     58 |  1.247 % |
160.42/160.60	c |     56504 |  149908   800016  2671571 | 2147483647    56201     58 |  1.247 % |
160.92/161.08	c |     56653 |  149908   800016  2671571 | 2147483647    56350     58 |  1.247 % |
161.52/161.65	c |     56813 |  149908   800016  2671571 | 2147483647    56510     58 |  1.247 % |
162.22/162.33	c |     56990 |  149908   800016  2671571 | 2147483647    56687     58 |  1.247 % |
162.72/162.89	c |     57183 |  149908   800016  2671571 | 2147483647    56880     59 |  1.247 % |
163.11/163.28	c |     57395 |  149908   800016  2671571 | 2147483647    57092     59 |  1.247 % |
163.51/163.69	c |     57628 |  149908   800016  2671571 | 2147483647    57325     59 |  1.247 % |
164.01/164.16	c |     57884 |  149908   800016  2671571 | 2147483647    57581     60 |  1.247 % |
165.01/165.13	c |     58165 |  149908   800016  2671571 | 2147483647    57862     60 |  1.247 % |
165.81/165.93	c |     58475 |  149908   800016  2671571 | 2147483647    58172     60 |  1.247 % |
166.51/166.68	c |     58815 |  149908   800016  2671571 | 2147483647    58512     60 |  1.247 % |
167.21/167.34	c |     59187 |  149908   800016  2671571 | 2147483647    58884     60 |  1.247 % |
168.01/168.17	c |     59596 |  149908   800016  2671571 | 2147483647    59293     60 |  1.247 % |
169.01/169.12	c |     60046 |  149908   800016  2671571 | 2147483647    59743     61 |  1.247 % |
170.01/170.10	c |     60539 |  149908   800016  2671571 | 2147483647    60236     61 |  1.247 % |
171.31/171.42	c |     61082 |  149908   800016  2671571 | 2147483647    60779     61 |  1.247 % |
172.81/172.92	c |     61678 |  149908   800016  2671571 | 2147483647    61375     61 |  1.247 % |
174.21/174.35	c |     62333 |  149908   800016  2671571 | 2147483647    62030     61 |  1.247 % |
176.51/176.63	c |     63053 |  149908   800016  2671571 | 2147483647    62750     62 |  1.247 % |
180.51/180.67	c |     63845 |  149908   800016  2671571 | 2147483647    63542     62 |  1.247 % |
180.81/180.94	c |     63946 |  149908   800016  2671571 | 2147483647    63643     62 |  1.247 % |
180.91/181.10	c |     64056 |  149908   800016  2671571 | 2147483647    63753     62 |  1.247 % |
181.51/181.61	c |     64177 |  149908   800016  2671571 | 2147483647    63874     62 |  1.247 % |
182.01/182.19	c |     64310 |  149907   800006  2671532 | 2147483647    64006     62 |  1.248 % |
182.41/182.51	c |     64456 |  149907   800006  2671532 | 2147483647    64152     62 |  1.248 % |
182.61/182.74	c |     64616 |  149907   800006  2671532 | 2147483647    64312     62 |  1.248 % |
183.51/183.64	c |     64792 |  149907   800006  2671532 | 2147483647    64488     62 |  1.248 % |
183.80/183.92	c |     64986 |  149907   800006  2671532 | 2147483647    64682     62 |  1.248 % |
184.40/184.54	c |     65199 |  149907   800006  2671532 | 2147483647    64895     62 |  1.248 % |
185.60/185.74	c |     65432 |  149907   800006  2671532 | 2147483647    65128     62 |  1.248 % |
187.50/187.66	c |     65688 |  149906   800006  2671532 | 2147483647    65383     63 |  1.248 % |
188.30/188.45	c |     65970 |  149906   800006  2671532 | 2147483647    65665     64 |  1.248 % |
189.30/189.43	c |     66282 |  149906   799923  2671362 | 2147483647    65969     64 |  1.248 % |
190.00/190.17	c |     66623 |  149906   799923  2671362 | 2147483647    66310     64 |  1.248 % |
190.90/191.07	c |     66995 |  149906   799923  2671362 | 2147483647    66682     63 |  1.248 % |
191.90/192.00	c |     67404 |  149906   799923  2671362 | 2147483647    67091     64 |  1.248 % |
194.41/194.56	c |     67857 |  149906   799923  2671362 | 2147483647    67544     64 |  1.248 % |
195.71/195.82	c |     68350 |  149906   799923  2671362 | 2147483647    68037     63 |  1.248 % |
199.60/199.78	c |     68892 |  149906   799923  2671362 | 2147483647    68579     66 |  1.248 % |
201.80/201.99	c |     69488 |  149906   799923  2671362 | 2147483647    69175     67 |  1.248 % |
202.90/203.02	c |     70145 |  149906   799923  2671362 | 2147483647    69832     69 |  1.248 % |
204.90/205.02	c |     70867 |  149906   799923  2671362 | 2147483647    70554     68 |  1.248 % |
206.50/206.62	c |     71659 |  149906   799923  2671362 | 2147483647    71346     68 |  1.248 % |
208.50/208.61	c |     72530 |  149906   799923  2671362 | 2147483647    72217     68 |  1.248 % |
208.70/208.87	c |     72630 |  149906   799923  2671362 | 2147483647    72317     68 |  1.248 % |
209.30/209.45	c |     72740 |  149903   799845  2671202 | 2147483647    72424     68 |  1.250 % |
209.90/210.01	c |     72861 |  149903   799845  2671202 | 2147483647    72545     68 |  1.250 % |
210.40/210.51	c |     72995 |  149903   799845  2671202 | 2147483647    72679     68 |  1.250 % |
210.89/211.06	c |     73142 |  149903   799845  2671202 | 2147483647    72826     68 |  1.250 % |
211.19/211.32	c |     73302 |  149903   799845  2671202 | 2147483647    72986     68 |  1.250 % |
211.49/211.60	c |     73479 |  149903   799845  2671202 | 2147483647    73163     68 |  1.250 % |
211.99/212.16	c |     73674 |  149903   799845  2671202 | 2147483647    73358     68 |  1.250 % |
212.59/212.72	c |     73887 |  149903   799845  2671202 | 2147483647    73571     68 |  1.250 % |
213.39/213.59	c |     74120 |  149903   799845  2671202 | 2147483647    73804     68 |  1.250 % |
214.49/214.62	c |     74377 |  149903   799845  2671202 | 2147483647    74061     69 |  1.250 % |
215.09/215.23	c |     74659 |  149903   799845  2671202 | 2147483647    74343     69 |  1.250 % |
216.29/216.40	c |     74969 |  149903   799845  2671202 | 2147483647    74653     69 |  1.250 % |
217.19/217.33	c |     75308 |  149903   799680  2670864 | 2147483647    74974     69 |  1.250 % |
217.79/217.95	c |     75680 |  149903   799680  2670864 | 2147483647    75346     68 |  1.250 % |
219.09/219.21	c |     76090 |  149903   799680  2670864 | 2147483647    75756     69 |  1.250 % |
220.79/220.95	c |     76539 |  149903   799680  2670864 | 2147483647    76205     70 |  1.250 % |
222.00/222.16	c |     77032 |  149903   799680  2670864 | 2147483647    76698     70 |  1.250 % |
222.89/223.00	c |     77575 |  149903   799680  2670864 | 2147483647    77241     70 |  1.250 % |
224.79/224.94	c |     78172 |  149903   799680  2670864 | 2147483647    77838     70 |  1.250 % |
225.89/226.01	c |     78828 |  149903   799680  2670864 | 2147483647    78494     70 |  1.250 % |
228.29/228.49	c |     79550 |  149903   799680  2670864 | 2147483647    79216     71 |  1.250 % |
230.99/231.15	c |     80342 |  149903   799680  2670864 | 2147483647    80008     71 |  1.250 % |
233.48/233.66	c |     81215 |  149903   799680  2670864 | 2147483647    80881     71 |  1.250 % |
234.78/234.99	c |     82173 |  149903   799680  2670864 | 2147483647    81839     72 |  1.250 % |
235.08/235.22	c |     82275 |  149903   799680  2670864 | 2147483647    81941     72 |  1.250 % |
235.29/235.44	c |     82385 |  149903   799680  2670864 | 2147483647    82051     72 |  1.250 % |
235.58/235.70	c |     82507 |  149903   799680  2670864 | 2147483647    82173     72 |  1.250 % |
235.88/236.05	c |     82641 |  149903   799680  2670864 | 2147483647    82307     72 |  1.250 % |
236.18/236.38	c |     82787 |  149903   799680  2670864 | 2147483647    82453     72 |  1.250 % |
236.68/236.84	c |     82947 |  149903   799680  2670864 | 2147483647    82613     72 |  1.250 % |
237.39/237.51	c |     83126 |  149903   799680  2670864 | 2147483647    82792     72 |  1.250 % |
238.28/238.48	c |     83320 |  149903   799680  2670864 | 2147483647    82986     73 |  1.250 % |
238.78/238.94	c |     83534 |  149903   799680  2670864 | 2147483647    83200     73 |  1.250 % |
240.59/240.78	c |     83771 |  149903   799680  2670864 | 2147483647    83437     73 |  1.250 % |
242.39/242.56	c |     84027 |  149903   799680  2670864 | 2147483647    83693     73 |  1.250 % |
243.09/243.28	c |     84308 |  149903   799680  2670864 | 2147483647    83974     73 |  1.250 % |
245.49/245.63	c |     84618 |  149903   799680  2670864 | 2147483647    84284     73 |  1.250 % |
247.78/247.93	c |     84958 |  149903   799680  2670864 | 2147483647    84624     74 |  1.250 % |
248.98/249.10	c |     85331 |  149903   799680  2670864 | 2147483647    84997     74 |  1.250 % |
249.98/250.18	c |     85740 |  149903   799680  2670864 | 2147483647    85406     75 |  1.250 % |
251.38/251.57	c |     86189 |  149903   799680  2670864 | 2147483647    85855     75 |  1.250 % |
252.78/252.93	c |     86682 |  149903   799680  2670864 | 2147483647    86348     75 |  1.250 % |
253.89/254.06	c |     87228 |  149903   799680  2670864 | 2147483647    86894     75 |  1.250 % |
255.58/255.74	c |     87825 |  149903   799680  2670864 | 2147483647    87491     75 |  1.250 % |
257.08/257.23	c |     88482 |  149903   799680  2670864 | 2147483647    88148     75 |  1.250 % |
258.78/258.93	c |     89207 |  149903   799680  2670864 | 2147483647    88873     76 |  1.250 % |
261.38/261.51	c |     89999 |  149903   799680  2670864 | 2147483647    89665     76 |  1.250 % |
264.18/264.33	c |     90871 |  149903   799680  2670864 | 2147483647    90537     77 |  1.250 % |
265.58/265.70	c |     91829 |  149903   799680  2670864 | 2147483647    91495     79 |  1.250 % |
270.88/271.08	c |     92882 |  149903   799680  2670864 | 2147483647    92548     80 |  1.250 % |
271.08/271.29	c |     92982 |  149903   799680  2670864 | 2147483647    92648     80 |  1.250 % |
271.58/271.72	c |     93093 |  149903   799680  2670864 | 2147483647    92759     80 |  1.250 % |
272.48/272.61	c |     93214 |  149903   799680  2670864 | 2147483647    92880     80 |  1.250 % |
272.88/273.01	c |     93348 |  149903   799680  2670864 | 2147483647    93014     80 |  1.250 % |
273.57/273.75	c |     93494 |  149903   799680  2670864 | 2147483647    93160     80 |  1.250 % |
274.17/274.38	c |     93654 |  149903   799680  2670864 | 2147483647    93320     80 |  1.250 % |
274.78/274.97	c |     93830 |  149903   799680  2670864 | 2147483647    93496     80 |  1.250 % |
275.27/275.43	c |     94024 |  149903   799680  2670864 | 2147483647    93690     80 |  1.250 % |
276.37/276.54	c |     94237 |  149903   799680  2670864 | 2147483647    93903     80 |  1.250 % |
277.77/277.90	c |     94472 |  149903   799680  2670864 | 2147483647    94138     80 |  1.250 % |
278.47/278.60	c |     94728 |  149903   799680  2670864 | 2147483647    94394     80 |  1.250 % |
279.67/279.86	c |     95009 |  149903   799680  2670864 | 2147483647    94675     80 |  1.250 % |
280.67/280.83	c |     95319 |  149903   799680  2670864 | 2147483647    94985     80 |  1.250 % |
283.27/283.42	c |     95659 |  149902   799670  2670825 | 2147483647    95324     80 |  1.251 % |
285.37/285.51	c |     96032 |  149902   799670  2670825 | 2147483647    95697     80 |  1.251 % |
288.46/288.60	c |     96441 |  149902   799670  2670825 | 2147483647    96106     81 |  1.251 % |
289.66/289.85	c |     96892 |  149902   799670  2670825 | 2147483647    96557     82 |  1.251 % |
290.96/291.17	c |     97385 |  149902   799670  2670825 | 2147483647    97050     82 |  1.251 % |
292.86/293.03	c |     97928 |  149902   799670  2670825 | 2147483647    97593     82 |  1.251 % |
294.47/294.60	c |     98524 |  149902   799670  2670825 | 2147483647    98188     83 |  1.252 % |
296.27/296.46	c |     99179 |  149901   799660  2670786 | 2147483647    98843     83 |  1.252 % |
298.27/298.46	c |     99900 |  149901   799660  2670786 | 2147483647    99564     83 |  1.252 % |
302.46/302.60	c |    100692 |  149901   799660  2670786 | 2147483647   100356     83 |  1.252 % |
307.56/307.75	c |    101566 |  149901   799660  2670786 | 2147483647   101230     83 |  1.252 % |
313.26/313.44	c |    102525 |  149901   799660  2670786 | 2147483647   102189     83 |  1.252 % |
322.25/322.42	c |    103578 |  149900   799577  2670616 | 2147483647   103239     85 |  1.252 % |
326.25/326.41	c |    104737 |  149900   799577  2670616 | 2147483647   104398     85 |  1.252 % |
326.45/326.61	c |    104837 |  149900   799577  2670616 | 2147483647   104498     85 |  1.252 % |
326.95/327.16	c |    104949 |  149900   799577  2670616 | 2147483647   104610     85 |  1.252 % |
327.45/327.69	c |    105070 |  149900   799577  2670616 | 2147483647   104731     85 |  1.252 % |
327.75/327.91	c |    105203 |  149900   799577  2670616 | 2147483647   104864     85 |  1.252 % |
328.15/328.38	c |    105349 |  149900   799577  2670616 | 2147483647   105010     85 |  1.252 % |
329.46/329.67	c |    105510 |  149900   799577  2670616 | 2147483647   105171     85 |  1.252 % |
330.66/330.82	c |    105686 |  149900   799577  2670616 | 2147483647   105347     85 |  1.252 % |
330.96/331.14	c |    105879 |  149900   799577  2670616 | 2147483647   105540     85 |  1.252 % |
331.56/331.78	c |    106092 |  149900   799577  2670616 | 2147483647   105753     85 |  1.252 % |
332.35/332.55	c |    106326 |  149900   799577  2670616 | 2147483647   105987     85 |  1.252 % |
333.45/333.68	c |    106582 |  149900   799577  2670616 | 2147483647   106243     85 |  1.252 % |
334.16/334.37	c |    106863 |  149900   799577  2670616 | 2147483647   106524     85 |  1.252 % |
335.15/335.34	c |    107172 |  149900   799577  2670616 | 2147483647   106833     85 |  1.252 % |
336.55/336.70	c |    107511 |  149900   799577  2670616 | 2147483647   107172     85 |  1.252 % |
337.95/338.17	c |    107889 |  149900   799577  2670616 | 2147483647   107550     85 |  1.252 % |
338.85/339.02	c |    108299 |  149900   799577  2670616 | 2147483647   107960     85 |  1.252 % |
340.65/340.82	c |    108748 |  149900   799577  2670616 | 2147483647   108409     85 |  1.252 % |
341.95/342.18	c |    109243 |  149900   799577  2670616 | 2147483647   108904     85 |  1.252 % |
343.95/344.13	c |    109786 |  149900   799577  2670616 | 2147483647   109447     86 |  1.252 % |
346.35/346.50	c |    110382 |  149900   799577  2670616 | 2147483647   110043     86 |  1.252 % |
348.84/349.03	c |    111039 |  149900   799577  2670616 | 2147483647   110700     87 |  1.252 % |
353.04/353.29	c |    111759 |  149900   799577  2670616 | 2147483647   111420     87 |  1.252 % |
355.65/355.80	c |    112552 |  149900   799577  2670616 | 2147483647   112213     88 |  1.252 % |
359.14/359.33	c |    113423 |  149900   799577  2670616 | 2147483647   113084     88 |  1.252 % |
362.64/362.89	c |    114382 |  149900   799577  2670616 | 2147483647   114043     89 |  1.252 % |
368.54/368.74	c |    115437 |  149900   799577  2670616 | 2147483647   115098     89 |  1.252 % |
376.13/376.32	c |    116595 |  149668   798338  2666792 | 2147483647   116248     90 |  1.405 % |
380.03/380.28	c |    117868 |  149668   798338  2666792 | 2147483647   117521     90 |  1.405 % |
380.34/380.53	c |    117968 |  149668   798338  2666792 | 2147483647   117621     90 |  1.405 % |
380.63/380.86	c |    118079 |  149668   798338  2666792 | 2147483647   117732     90 |  1.405 % |
381.13/381.32	c |    118200 |  149668   798338  2666792 | 2147483647   117853     90 |  1.405 % |
382.13/382.38	c |    118333 |  149668   798338  2666792 | 2147483647   117986     90 |  1.405 % |
382.64/382.87	c |    118479 |  149667   798338  2666792 | 2147483647   118131     90 |  1.406 % |
383.23/383.41	c |    118640 |  149667   798338  2666792 | 2147483647   118292     90 |  1.406 % |
383.43/383.68	c |    118817 |  149667   798338  2666792 | 2147483647   118469     90 |  1.406 % |
384.03/384.29	c |    119011 |  149667   798338  2666792 | 2147483647   118663     90 |  1.406 % |
385.33/385.51	c |    119223 |  149667   798328  2666753 | 2147483647   118875     90 |  1.406 % |
386.43/386.60	c |    119458 |  149667   798328  2666753 | 2147483647   119110     90 |  1.406 % |
387.53/387.75	c |    119717 |  149667   798328  2666753 | 2147483647   119369     90 |  1.406 % |
388.33/388.54	c |    119998 |  149667   798328  2666753 | 2147483647   119650     90 |  1.406 % |
389.84/390.08	c |    120308 |  149666   798328  2666753 | 2147483647   119959     90 |  1.406 % |
391.23/391.50	c |    120647 |  149666   798328  2666753 | 2147483647   120298     91 |  1.406 % |
393.03/393.28	c |    121019 |  149666   798328  2666753 | 2147483647   120670     91 |  1.406 % |
394.43/394.63	c |    121428 |  149666   798328  2666753 | 2147483647   121079     91 |  1.406 % |
395.93/396.16	c |    121879 |  149666   798328  2666753 | 2147483647   121530     91 |  1.406 % |
398.13/398.33	c |    122372 |  149666   798328  2666753 | 2147483647   122023     92 |  1.406 % |
399.43/399.68	c |    122914 |  149666   798328  2666753 | 2147483647   122565     91 |  1.406 % |
402.72/402.98	c |    123511 |  149666   798318  2666714 | 2147483647   123162     92 |  1.406 % |
404.82/405.08	c |    124166 |  149666   798318  2666714 | 2147483647   123817     92 |  1.406 % |
407.72/408.00	c |    124886 |  149666   798318  2666714 | 2147483647   124537     92 |  1.406 % |
411.03/411.30	c |    125681 |  149666   798318  2666714 | 2147483647   125332     93 |  1.406 % |
413.12/413.36	c |    126554 |  149666   798318  2666714 | 2147483647   126205     94 |  1.406 % |
415.32/415.58	c |    127512 |  149666   798318  2666714 | 2147483647   127163     94 |  1.406 % |
425.21/425.44	c |    128565 |  149665   798239  2666552 | 2147483647   128214     95 |  1.407 % |
437.62/437.87	c |    129723 |  149665   798239  2666552 | 2147483647   129372     96 |  1.407 % |
442.41/442.61	c |    130998 |  149665   798239  2666552 | 2147483647   130647     96 |  1.407 % |
458.80/459.09	c |    132398 |  149665   798239  2666552 | 2147483647   132047     96 |  1.407 % |
459.51/459.75	c |    132500 |  149665   798239  2666552 | 2147483647   132149     96 |  1.407 % |
461.10/461.33	c |    132610 |  147741   780021  2601778 | 2147483647   131540     97 |  2.675 % |
462.40/462.65	c |    132731 |  147741   780021  2601778 | 2147483647   131661     97 |  2.675 % |
462.80/463.01	c |    132864 |  147741   780021  2601778 | 2147483647   131794     97 |  2.675 % |
463.40/463.62	c |    133012 |  147741   780021  2601778 | 2147483647   131942     97 |  2.675 % |
463.90/464.19	c |    133172 |  147740   780021  2601778 | 2147483647   132101     97 |  2.676 % |
464.70/464.95	c |    133348 |  147740   780021  2601778 | 2147483647   132277     97 |  2.676 % |
465.10/465.37	c |    133541 |  147740   780021  2601778 | 2147483647   132470     97 |  2.676 % |
465.90/466.17	c |    133755 |  147740   780021  2601778 | 2147483647   132684     97 |  2.676 % |
466.60/466.81	c |    133989 |  147740   780021  2601778 | 2147483647   132918     97 |  2.676 % |
467.51/467.76	c |    134245 |  147740   780021  2601778 | 2147483647   133174     97 |  2.676 % |
468.80/469.08	c |    134526 |  147740   780021  2601778 | 2147483647   133455     98 |  2.676 % |
469.70/469.98	c |    134836 |  147740   780021  2601778 | 2147483647   133765     97 |  2.676 % |
470.40/470.63	c |    135178 |  147740   780021  2601778 | 2147483647   134107     97 |  2.676 % |
472.40/472.69	c |    135553 |  147740   780021  2601778 | 2147483647   134482     98 |  2.676 % |
474.30/474.58	c |    135962 |  147740   780021  2601778 | 2147483647   134891     98 |  2.676 % |
477.10/477.40	c |    136413 |  147740   780021  2601778 | 2147483647   135342     98 |  2.676 % |
478.40/478.66	c |    136907 |  147740   780021  2601778 | 2147483647   135836     98 |  2.676 % |
480.90/481.20	c |    137449 |  147739   780007  2601719 | 2147483647   136378     99 |  2.676 % |
483.10/483.37	c |    138046 |  147739   780007  2601719 | 2147483647   136975     99 |  2.676 % |
485.79/486.05	c |    138703 |  147739   780007  2601719 | 2147483647   137632    100 |  2.676 % |
488.29/488.58	c |    139423 |  147739   780007  2601719 | 2147483647   138352    100 |  2.676 % |
491.29/491.56	c |    140215 |  147739   780007  2601719 | 2147483647   139144    100 |  2.676 % |
494.10/494.34	c |    141086 |  147739   780007  2601719 | 2147483647   140015    101 |  2.676 % |
497.59/497.82	c |    142044 |  147739   780007  2601719 | 2147483647   140973    101 |  2.676 % |
501.19/501.45	c |    143097 |  147739   780007  2601719 | 2147483647   142026    101 |  2.676 % |
507.19/507.45	c |    144255 |  147738   779924  2601549 | 2147483647   143165    101 |  2.677 % |
512.58/512.81	c |    145533 |  147738   779924  2601549 | 2147483647   144443    102 |  2.677 % |
517.18/517.44	c |    146935 |  147738   779924  2601549 | 2147483647   145845    103 |  2.677 % |
521.68/521.97	c |    148481 |  147738   779924  2601549 | 2147483647   147391    103 |  2.677 % |
521.98/522.29	c |    148581 |  147738   779924  2601549 | 2147483647   147491    103 |  2.677 % |
522.48/522.78	c |    148693 |  147738   779924  2601549 | 2147483647   147603    103 |  2.677 % |
522.78/523.08	c |    148814 |  147738   779924  2601549 | 2147483647   147724    103 |  2.677 % |
523.18/523.47	c |    148948 |  147738   779924  2601549 | 2147483647   147858    103 |  2.677 % |
523.68/523.91	c |    149094 |  147738   779924  2601549 | 2147483647   148004    103 |  2.677 % |
524.58/524.84	c |    149254 |  147737   779914  2601510 | 2147483647   148164    103 |  2.677 % |
525.18/525.47	c |    149431 |  147737   779914  2601510 | 2147483647   148341    103 |  2.677 % |
525.58/525.87	c |    149625 |  147737   779914  2601510 | 2147483647   148535    103 |  2.677 % |
526.07/526.34	c |    149838 |  147737   779914  2601510 | 2147483647   148748    104 |  2.677 % |
526.77/527.03	c |    150072 |  147737   779914  2601510 | 2147483647   148982    104 |  2.677 % |
529.27/529.56	c |    150328 |  147736   779914  2601510 | 2147483647   149237    104 |  2.678 % |
531.07/531.33	c |    150609 |  147736   779914  2601510 | 2147483647   149518    104 |  2.678 % |
532.68/532.95	c |    150921 |  147736   779914  2601510 | 2147483647   149830    104 |  2.678 % |
533.97/534.25	c |    151260 |  147736   779914  2601510 | 2147483647   150169    105 |  2.678 % |
535.27/535.56	c |    151633 |  147736   779914  2601510 | 2147483647   150542    105 |  2.678 % |
537.17/537.43	c |    152043 |  147736   779914  2601510 | 2147483647   150952    105 |  2.678 % |
541.47/541.73	c |    152493 |  147736   779914  2601510 | 2147483647   151402    105 |  2.678 % |
543.27/543.52	c |    152987 |  147736   779914  2601510 | 2147483647   151896    105 |  2.678 % |
544.78/545.02	c |    153529 |  147736   779914  2601510 | 2147483647   152438    106 |  2.678 % |
547.67/547.97	c |    154126 |  147736   779831  2601340 | 2147483647   153034    105 |  2.678 % |
551.07/551.33	c |    154783 |  147199   779831  2601340 | 2147483647   153688    106 |  5.684 % |
554.37/554.60	c |    155503 |  147199   779831  2601340 | 2147483647   154408    106 |  5.684 % |
557.07/557.39	c |    156297 |  147199   779831  2601340 | 2147483647   155202    106 |  5.684 % |
560.86/561.17	c |    157168 |  147199   779831  2601340 | 2147483647   156073    107 |  5.684 % |
564.36/564.63	c |    158126 |  147199   779831  2601340 | 2147483647   157031    106 |  5.684 % |
568.16/568.47	c |    159179 |  147199   779831  2601340 | 2147483647   158084    106 |  5.684 % |
572.65/572.93	c |    160339 |  143172   748725  2499984 | 2147483647   158495    107 |  5.684 % |
577.45/577.71	c |    161612 |  143172   748725  2499984 | 2147483647   159768    107 |  5.684 % |
581.86/582.20	c |    163012 |  143172   748725  2499984 | 2147483647   161168    106 |  5.684 % |
588.06/588.35	c |    164552 |  143172   748725  2499984 | 2147483647   162708    108 |  5.684 % |
596.65/596.92	c |    166250 |  143172   748725  2499984 | 2147483647   164406    109 |  5.684 % |
597.06/597.38	c |    166350 |  143172   748715  2499945 | 2147483647   164506    109 |  5.684 % |
597.45/597.74	c |    166460 |  143172   748715  2499945 | 2147483647   164616    109 |  5.684 % |
597.75/598.09	c |    166581 |  143172   748715  2499945 | 2147483647   164737    109 |  5.684 % |
598.45/598.71	c |    166714 |  143172   748715  2499945 | 2147483647   164870    109 |  5.684 % |
599.26/599.60	c |    166862 |  143172   748715  2499945 | 2147483647   165018    109 |  5.684 % |
600.26/600.59	c |    167022 |  143172   748715  2499945 | 2147483647   165178    109 |  5.684 % |
602.25/602.52	c |    167198 |  143172   748715  2499945 | 2147483647   165354    109 |  5.684 % |
603.25/603.59	c |    167391 |  143172   748715  2499945 | 2147483647   165547    108 |  5.684 % |
605.05/605.32	c |    167604 |  143172   748715  2499945 | 2147483647   165760    108 |  5.684 % |
606.35/606.62	c |    167837 |  143172   748715  2499945 | 2147483647   165993    109 |  5.684 % |
607.25/607.54	c |    168095 |  143172   748715  2499945 | 2147483647   166251    109 |  5.684 % |
608.45/608.78	c |    168376 |  143172   748715  2499945 | 2147483647   166532    109 |  5.684 % |
609.35/609.60	c |    168688 |  143172   748715  2499945 | 2147483647   166844    109 |  5.684 % |
610.54/610.85	c |    169027 |  143172   748715  2499945 | 2147483647   167183    109 |  5.684 % |
612.54/612.87	c |    169401 |  143172   748715  2499945 | 2147483647   167557    109 |  5.684 % |
613.84/614.19	c |    169810 |  143172   748715  2499945 | 2147483647   167966    109 |  5.684 % |
615.54/615.80	c |    170259 |  143172   748715  2499945 | 2147483647   168415    109 |  5.684 % |
616.94/617.29	c |    170753 |  143171   748715  2499945 | 2147483647   168908    109 |  5.685 % |
619.23/619.58	c |    171295 |  143171   748715  2499945 | 2147483647   169450    109 |  5.685 % |
621.33/621.62	c |    171891 |  143171   748715  2499945 | 2147483647   170046    109 |  5.685 % |
624.64/624.96	c |    172547 |  143171   748705  2499906 | 2147483647   170702    109 |  5.685 % |
633.24/633.54	c |    173267 |  143171   748705  2499906 | 2147483647   171422    109 |  5.685 % |
637.64/637.94	c |    174060 |  143171   748705  2499906 | 2147483647   172215    110 |  5.685 % |
644.63/644.99	c |    174931 |  143171   748705  2499906 | 2147483647   173086    110 |  5.685 % |
653.83/654.14	c |    175889 |  143171   748705  2499906 | 2147483647   174044    111 |  5.685 % |
658.32/658.68	c |    176943 |  143170   748695  2499867 | 2147483647   175097    111 |  5.686 % |
663.02/663.33	c |    178104 |  143170   748695  2499867 | 2147483647   176258    112 |  5.686 % |
667.23/667.57	c |    179378 |  143170   748695  2499867 | 2147483647   177532    112 |  5.686 % |
673.02/673.35	c |    180780 |  143170   748695  2499867 | 2147483647   178934    113 |  5.686 % |
678.62/678.96	c |    182322 |  143170   748695  2499867 | 2147483647   180476    113 |  5.686 % |
684.31/684.70	c |    184016 |  143170   748695  2499867 | 2147483647   182170    113 |  5.686 % |
693.91/694.26	c |    185883 |  143170   748695  2499867 | 2147483647   184037    113 |  5.686 % |
694.21/694.58	c |    185983 |  143170   748695  2499867 | 2147483647   184137    113 |  5.686 % |
694.71/695.08	c |    186093 |  143170   748695  2499867 | 2147483647   184247    113 |  5.686 % |
695.51/695.85	c |    186215 |  143170   748695  2499867 | 2147483647   184369    113 |  5.686 % |
696.11/696.42	c |    186350 |  143170   748695  2499867 | 2147483647   184504    113 |  5.686 % |
696.51/696.81	c |    186496 |  143170   748695  2499867 | 2147483647   184650    113 |  5.686 % |
697.21/697.54	c |    186662 |  143170   748695  2499867 | 2147483647   184816    113 |  5.686 % |
698.11/698.48	c |    186838 |  143170   748695  2499867 | 2147483647   184992    113 |  5.686 % |
698.81/699.11	c |    187032 |  143170   748695  2499867 | 2147483647   185186    113 |  5.686 % |
701.01/701.35	c |    187245 |  143169   748685  2499828 | 2147483647   185398    113 |  5.686 % |
702.51/702.89	c |    187480 |  143168   748685  2499828 | 2147483647   185631    113 |  5.772 % |
703.50/703.82	c |    187737 |  143168   748685  2499828 | 2147483647   185888    113 |  5.772 % |
704.51/704.82	c |    188018 |  143168   748685  2499828 | 2147483647   186169    113 |  5.772 % |
705.51/705.87	c |    188327 |  143168   748685  2499828 | 2147483647   186478    113 |  5.772 % |
706.91/707.26	c |    188666 |  143168   748685  2499828 | 2147483647   186816    113 |  5.773 % |
708.61/708.95	c |    189039 |  143168   748685  2499828 | 2147483647   187189    113 |  5.773 % |
710.11/710.45	c |    189449 |  143168   748685  2499828 | 2147483647   187599    113 |  5.773 % |
711.71/712.04	c |    189900 |  143168   748685  2499828 | 2147483647   188050    113 |  5.773 % |
713.70/714.08	c |    190393 |  143168   748685  2499828 | 2147483647   188543    113 |  5.773 % |
715.60/715.97	c |    190937 |  143168   748685  2499828 | 2147483647   189086    113 |  5.776 % |
719.10/719.41	c |    191533 |  143168   748685  2499828 | 2147483647   189682    113 |  5.776 % |
722.10/722.40	c |    192188 |  143168   748685  2499828 | 2147483647   190337    113 |  5.776 % |
725.60/725.96	c |    192911 |  143168   748685  2499828 | 2147483647   191060    113 |  5.776 % |
728.90/729.28	c |    193703 |  143168   748685  2499828 | 2147483647   191852    113 |  5.776 % |
733.29/733.67	c |    194574 |  143033   748048  2497395 | 2147483647   192711    113 |  5.776 % |
739.00/739.36	c |    195532 |  143033   748048  2497395 | 2147483647   193668    113 |  5.777 % |
744.30/744.63	c |    196586 |  143033   748048  2497395 | 2147483647   194722    113 |  5.777 % |
749.69/750.07	c |    197744 |  143033   748048  2497395 | 2147483647   195880    114 |  5.777 % |
758.38/758.77	c |    199017 |  143033   748048  2497395 | 2147483647   197153    113 |  5.777 % |
764.68/765.08	c |    200417 |  143032   748038  2497356 | 2147483647   198553    114 |  5.777 % |
772.18/772.57	c |    201960 |  143032   748038  2497356 | 2147483647   200096    115 |  5.777 % |
778.68/779.03	c |    203654 |  143032   748038  2497356 | 2147483647   201790    115 |  5.777 % |
787.47/787.85	c |    205517 |  143032   748038  2497356 | 2147483647   203653    115 |  5.777 % |
803.36/803.74	c |    207566 |  143023   748038  2497356 | 2147483647   205700    117 |  5.799 % |
804.16/804.53	c |    207667 |  142998   747594  2495714 | 2147483647   203425    117 |  5.799 % |
804.46/804.89	c |    207780 |  142998   747594  2495714 | 2147483647   203538    117 |  5.799 % |
804.87/805.21	c |    207903 |  142998   747594  2495714 | 2147483647   203661    117 |  5.799 % |
805.36/805.73	c |    208037 |  142998   747594  2495714 | 2147483647   203795    117 |  5.799 % |
806.36/806.70	c |    208185 |  142998   747594  2495714 | 2147483647   203943    117 |  5.799 % |
807.16/807.57	c |    208347 |  142998   747594  2495714 | 2147483647   204105    117 |  5.799 % |
807.86/808.25	c |    208525 |  142998   747594  2495714 | 2147483647   204283    117 |  5.799 % |
808.96/809.31	c |    208719 |  142998   747594  2495714 | 2147483647   204477    117 |  5.799 % |
809.86/810.28	c |    208933 |  142998   747594  2495714 | 2147483647   204691    118 |  5.799 % |
811.06/811.44	c |    209168 |  142998   747594  2495714 | 2147483647   204926    117 |  5.799 % |
812.16/812.58	c |    209428 |  142998   747594  2495714 | 2147483647   205186    118 |  5.799 % |
813.46/813.89	c |    209719 |  142998   747594  2495714 | 2147483647   205477    118 |  5.799 % |
815.96/816.31	c |    210029 |  142998   747594  2495714 | 2147483647   205787    118 |  5.799 % |
817.37/817.76	c |    210369 |  142998   747594  2495714 | 2147483647   206127    118 |  5.799 % |
818.87/819.22	c |    210742 |  142998   747594  2495714 | 2147483647   206500    118 |  5.799 % |
820.17/820.56	c |    211152 |  142998   747594  2495714 | 2147483647   206910    117 |  5.799 % |
822.26/822.70	c |    211601 |  142998   747594  2495714 | 2147483647   207359    117 |  5.799 % |
825.86/826.21	c |    212094 |  142998   747594  2495714 | 2147483647   207852    118 |  5.799 % |
831.45/831.84	c |    212637 |  142998   747594  2495714 | 2147483647   208395    118 |  5.799 % |
835.15/835.55	c |    213238 |  142998   747594  2495714 | 2147483647   208996    118 |  5.799 % |
841.76/842.15	c |    213894 |  142998   747594  2495714 | 2147483647   209652    119 |  5.799 % |
844.85/845.25	c |    214614 |  142998   747594  2495714 | 2147483647   210372    119 |  5.799 % |
847.85/848.29	c |    215406 |  142998   747594  2495714 | 2147483647   211164    119 |  5.799 % |
851.15/851.57	c |    216277 |  142998   747594  2495714 | 2147483647   212035    120 |  5.799 % |
863.35/863.70	c |    217235 |  142998   747594  2495714 | 2147483647   212993    120 |  5.799 % |
867.55/867.90	c |    218288 |  142998   747594  2495714 | 2147483647   214046    120 |  5.799 % |
872.34/872.72	c |    219446 |  142998   747594  2495714 | 2147483647   215204    121 |  5.799 % |
878.14/878.55	c |    220721 |  142998   747594  2495714 | 2147483647   216479    121 |  5.799 % |
885.53/885.96	c |    222121 |  142998   747594  2495714 | 2147483647   217879    121 |  5.799 % |
894.03/894.43	c |    223662 |  142998   747594  2495714 | 2147483647   219420    121 |  5.799 % |
901.13/901.54	c |    225356 |  142998   747594  2495714 | 2147483647   221114    122 |  5.799 % |
909.43/909.82	c |    227221 |  142998   747594  2495714 | 2147483647   222979    122 |  5.799 % |
920.82/921.24	c |    229270 |  142998   747594  2495714 | 2147483647   225028    122 |  5.799 % |
930.52/930.95	c |    231524 |  142998   747594  2495714 | 2147483647   227282    122 |  5.799 % |
931.02/931.43	c |    231624 |  142998   747594  2495714 | 2147483647   227382    122 |  5.799 % |
931.33/931.78	c |    231734 |  142998   747594  2495714 | 2147483647   227492    122 |  5.799 % |
931.92/932.34	c |    231857 |  142998   747594  2495714 | 2147483647   227615    122 |  5.799 % |
933.02/933.49	c |    231992 |  142998   747594  2495714 | 2147483647   227750    122 |  5.799 % |
935.22/935.68	c |    232141 |  142998   747594  2495714 | 2147483647   227899    122 |  5.799 % |
937.92/938.35	c |    232301 |  142998   747594  2495714 | 2147483647   228059    122 |  5.799 % |
939.12/939.58	c |    232479 |  142998   747594  2495714 | 2147483647   228237    122 |  5.799 % |
939.92/940.37	c |    232672 |  142998   747594  2495714 | 2147483647   228430    122 |  5.799 % |
940.82/941.24	c |    232886 |  142998   747594  2495714 | 2147483647   228644    122 |  5.799 % |
941.92/942.31	c |    233120 |  142998   747594  2495714 | 2147483647   228878    122 |  5.799 % |
942.82/943.23	c |    233376 |  142998   747594  2495714 | 2147483647   229134    122 |  5.799 % |
945.31/945.78	c |    233657 |  142998   747594  2495714 | 2147483647   229415    122 |  5.799 % |
946.11/946.59	c |    233966 |  142998   747594  2495714 | 2147483647   229724    122 |  5.799 % |
947.41/947.84	c |    234305 |  142998   747594  2495714 | 2147483647   230063    122 |  5.799 % |
948.71/949.15	c |    234677 |  142998   747594  2495714 | 2147483647   230435    122 |  5.799 % |
952.11/952.54	c |    235088 |  142998   747594  2495714 | 2147483647   230846    122 |  5.799 % |
954.91/955.32	c |    235539 |  142998   747594  2495714 | 2147483647   231297    122 |  5.799 % |
959.01/959.50	c |    236038 |  142998   747594  2495714 | 2147483647   231796    122 |  5.799 % |
961.30/961.76	c |    236580 |  142998   747594  2495714 | 2147483647   232338    122 |  5.799 % |
964.71/965.16	c |    237177 |  142998   747594  2495714 | 2147483647   232935    122 |  5.799 % |
973.40/973.84	c |    237833 |  142998   747594  2495714 | 2147483647   233591    122 |  5.799 % |
978.00/978.43	c |    238553 |  142998   747594  2495714 | 2147483647   234311    122 |  5.799 % |
988.19/988.61	c |    239345 |  142998   747594  2495714 | 2147483647   235103    122 |  5.799 % |
993.89/994.40	c |    240217 |  142998   747594  2495714 | 2147483647   235975    122 |  5.799 % |
1000.50/1000.95	c |    241175 |  142998   747594  2495714 | 2147483647   236933    123 |  5.799 % |
1004.49/1004.91	c |    242228 |  142998   747594  2495714 | 2147483647   237986    122 |  5.799 % |
1026.89/1027.31	c |    243386 |  142998   747594  2495714 | 2147483647   239144    123 |  5.799 % |
1040.08/1040.54	c |    244659 |  142998   747594  2495714 | 2147483647   240417    123 |  5.799 % |
1047.27/1047.77	c |    246061 |  142998   747594  2495714 | 2147483647   241819    123 |  5.799 % |
1057.87/1058.33	c |    247601 |  142998   747594  2495714 | 2147483647   243359    123 |  5.799 % |
1105.15/1105.67	c |    249295 |  142998   747594  2495714 | 2147483647   245053    124 |  5.799 % |
1118.05/1118.57	c |    251160 |  142998   747594  2495714 | 2147483647   246918    124 |  5.799 % |
1127.45/1127.90	c |    253209 |  142998   747594  2495714 | 2147483647   248967    124 |  5.799 % |
1145.13/1145.62	c |    255463 |  142998   747594  2495714 | 2147483647   251221    125 |  5.799 % |
1154.54/1155.03	c |    257942 |  142998   747594  2495714 | 2147483647   253700    125 |  5.799 % |
1154.94/1155.49	c |    258042 |  142998   747594  2495714 | 2147483647   253800    125 |  5.799 % |
1155.54/1156.08	c |    258152 |  142998   747594  2495714 | 2147483647   253910    125 |  5.799 % |
1156.24/1156.74	c |    258273 |  142998   747594  2495714 | 2147483647   254031    125 |  5.799 % |
1159.63/1160.19	c |    258407 |  142998   747594  2495714 | 2147483647   254165    125 |  5.799 % |
1160.83/1161.39	c |    258554 |  142998   747594  2495714 | 2147483647   254312    125 |  5.799 % |
1161.83/1162.33	c |    258715 |  142998   747594  2495714 | 2147483647   254473    125 |  5.799 % |
1164.73/1165.27	c |    258894 |  142998   747594  2495714 | 2147483647   254652    125 |  5.799 % |
1173.13/1173.66	c |    259088 |  142998   747594  2495714 | 2147483647   254846    125 |  5.799 % |
1175.22/1175.79	c |    259301 |  142998   747594  2495714 | 2147483647   255059    125 |  5.799 % |
1176.32/1176.89	c |    259535 |  142998   747594  2495714 | 2147483647   255293    125 |  5.799 % |
1181.72/1182.22	c |    259792 |  142998   747594  2495714 | 2147483647   255550    125 |  5.799 % |
1183.02/1183.52	c |    260073 |  142998   747594  2495714 | 2147483647   255831    125 |  5.799 % |
1185.92/1186.44	c |    260382 |  142998   747594  2495714 | 2147483647   256140    125 |  5.799 % |
1189.23/1189.79	c |    260726 |  142998   747594  2495714 | 2147483647   256484    125 |  5.799 % |
1195.72/1196.26	c |    261098 |  142998   747594  2495714 | 2147483647   256856    125 |  5.799 % |
1201.22/1201.71	c |    261510 |  142752   747534  2495509 | 2147483647   257194    125 | 16.685 % |
1203.22/1203.71	c |    261961 |  142752   747534  2495509 | 2147483647   257645    125 | 16.685 % |
1212.31/1212.86	c |    262458 |  142752   747534  2495509 | 2147483647   258142    126 | 16.685 % |
1219.91/1220.42	c |    263001 |  142751   747534  2495509 | 2147483647   258684    126 | 16.686 % |
1224.61/1225.15	c |    263597 |  142751   747534  2495509 | 2147483647   259280    126 | 16.686 % |
1232.80/1233.36	c |    264252 |  142751   747534  2495509 | 2147483647   259935    126 | 16.686 % |
1235.70/1236.25	c |    264973 |  142751   747534  2495509 | 2147483647   260656    126 | 16.686 % |
1245.90/1246.43	c |    265765 |  142751   747534  2495509 | 2147483647   261448    126 | 16.686 % |
1251.49/1252.01	c |    266636 |  142751   747534  2495509 | 2147483647   262319    127 | 16.686 % |
1254.69/1255.23	c |    267595 |  142751   747534  2495509 | 2147483647   263278    127 | 16.686 % |
1258.39/1258.92	c |    268649 |  142751   747534  2495509 | 2147483647   264332    127 | 16.686 % |
1276.09/1276.62	c |    269807 |  142751   747534  2495509 | 2147483647   265490    127 | 16.686 % |
1290.28/1290.82	c |    271081 |  126472   659973  2200882 | 2147483647   259888    129 | 16.686 % |
1317.57/1318.18	c |    272481 |  126471   659973  2200882 | 2147483647   261287    129 | 16.686 % |
1321.38/1321.90	c ===============================================================================
1321.38/1321.90	c restarts              : 661
1321.38/1321.90	c conflicts             : 272986         (209 /sec)
1321.38/1321.90	c decisions             : 1256976        (1.45 % random) (964 /sec)
1321.38/1321.90	c propagations          : 1065436229     (817004 /sec)
1321.38/1321.90	c conflict literals     : 34977591       (43.92 % deleted)
1321.38/1321.90	c Memory used           : 191.01 MB
1321.38/1321.90	c CPU time              : 1304.08 s
1321.38/1321.90	c 
1321.38/1321.90	s UNSATISFIABLE
1321.38/1321.94	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837198-1242861256/watcher-1837198-1242861256 -o /tmp/evaluation-result-1837198-1242861256/solver-1837198-1242861256 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837198-1242861256.cnf 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.91 3/64 16811
/proc/meminfo: memFree=1599264/2055920 swapFree=4178900/4192956
[pid=16811] ppid=16809 vsize=5356 CPUtime=0
/proc/16811/stat : 16811 (SatELiteGTI) S 16809 16811 16634 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314153902 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16811/statm: 1339 237 197 169 0 50 0

[startup+0.0255509 s]
/proc/loadavg: 1.00 1.00 0.91 3/64 16811
/proc/meminfo: memFree=1599264/2055920 swapFree=4178900/4192956
[pid=16811] ppid=16809 vsize=5356 CPUtime=0
/proc/16811/stat : 16811 (SatELiteGTI) S 16809 16811 16634 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314153902 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16811/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101565 s]
/proc/loadavg: 1.00 1.00 0.91 3/64 16811
/proc/meminfo: memFree=1599264/2055920 swapFree=4178900/4192956
[pid=16811] ppid=16809 vsize=5356 CPUtime=0
/proc/16811/stat : 16811 (SatELiteGTI) S 16809 16811 16634 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314153902 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16811/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301601 s]
/proc/loadavg: 1.00 1.00 0.91 3/64 16811
/proc/meminfo: memFree=1599264/2055920 swapFree=4178900/4192956
[pid=16811] ppid=16809 vsize=5356 CPUtime=0
/proc/16811/stat : 16811 (SatELiteGTI) S 16809 16811 16634 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314153902 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16811/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701675 s]
/proc/loadavg: 1.00 1.00 0.91 3/64 16811
/proc/meminfo: memFree=1599264/2055920 swapFree=4178900/4192956
[pid=16811] ppid=16809 vsize=5356 CPUtime=0
/proc/16811/stat : 16811 (SatELiteGTI) S 16809 16811 16634 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314153902 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16811/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50282 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 16816
/proc/meminfo: memFree=1462352/2055920 swapFree=4178900/4192956
[pid=16811] ppid=16809 vsize=5356 CPUtime=0
/proc/16811/stat : 16811 (SatELiteGTI) S 16809 16811 16634 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314153902 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16811/statm: 1339 237 197 169 0 50 0
[pid=16815] ppid=16811 vsize=251108 CPUtime=1.49
/proc/16815/stat : 16815 (SatELite_releas) R 16811 16811 16634 0 -1 4194304 51152 0 0 0 119 30 0 0 25 0 1 0 314153902 257134592 51138 1992294400 134512640 135223648 4294956128 18446744073709551615 134547538 0 0 4096 3 0 0 0 17 1 0 0
/proc/16815/statm: 62777 51138 50 173 0 62602 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 256464

[startup+3.10112 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 16816
/proc/meminfo: memFree=1371024/2055920 swapFree=4178900/4192956
[pid=16811] ppid=16809 vsize=5356 CPUtime=0
/proc/16811/stat : 16811 (SatELiteGTI) S 16809 16811 16634 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314153902 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16811/statm: 1339 237 197 169 0 50 0
[pid=16815] ppid=16811 vsize=293876 CPUtime=3.09
/proc/16815/stat : 16815 (SatELite_releas) R 16811 16811 16634 0 -1 4194304 63942 0 0 0 271 38 0 0 25 0 1 0 314153902 300929024 59052 1992294400 134512640 135223648 4294956128 18446744073709551615 134586890 0 0 4096 3 0 0 0 17 0 0 0
/proc/16815/statm: 73469 59052 76 173 0 73294 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 299232

[startup+6.3017 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 16816
/proc/meminfo: memFree=1333584/2055920 swapFree=4178900/4192956
[pid=16811] ppid=16809 vsize=5356 CPUtime=0
/proc/16811/stat : 16811 (SatELiteGTI) S 16809 16811 16634 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314153902 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16811/statm: 1339 237 197 169 0 50 0
[pid=16815] ppid=16811 vsize=304868 CPUtime=6.27
/proc/16815/stat : 16815 (SatELite_releas) R 16811 16811 16634 0 -1 4194304 66553 0 0 0 580 47 0 0 25 0 1 0 314153902 312184832 61663 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/16815/statm: 76217 61663 76 173 0 76042 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 310224

[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 16816
/proc/meminfo: memFree=1314608/2055920 swapFree=4178900/4192956
[pid=16811] ppid=16809 vsize=5356 CPUtime=0
/proc/16811/stat : 16811 (SatELiteGTI) S 16809 16811 16634 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314153902 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16811/statm: 1339 237 197 169 0 50 0
[pid=16815] ppid=16811 vsize=307868 CPUtime=12.67
/proc/16815/stat : 16815 (SatELite_releas) R 16811 16811 16634 0 -1 4194304 70893 0 0 0 1214 53 0 0 25 0 1 0 314153902 315256832 62685 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/16815/statm: 76967 62685 76 173 0 76792 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 313224

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 16817
/proc/meminfo: memFree=1492720/2055920 swapFree=4178900/4192956
[pid=16811] ppid=16809 vsize=5356 CPUtime=16.76
/proc/16811/stat : 16811 (SatELiteGTI) S 16809 16811 16634 0 -1 4194304 336 86687 0 0 0 0 1601 75 16 0 1 0 314153902 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16811/statm: 1339 239 197 169 0 50 0
[pid=16817] ppid=16811 vsize=51576 CPUtime=8.7
/proc/16817/stat : 16817 (minisat_static) R 16811 16811 16634 0 -1 4194304 12060 0 0 0 863 7 0 0 25 0 1 0 314155580 52813824 12046 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/16817/statm: 12894 12046 77 171 0 12721 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 56932

[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 16817
/proc/meminfo: memFree=1490032/2055920 swapFree=4178900/4192956
[pid=16811] ppid=16809 vsize=5356 CPUtime=16.76
/proc/16811/stat : 16811 (SatELiteGTI) S 16809 16811 16634 0 -1 4194304 336 86687 0 0 0 0 1601 75 16 0 1 0 314153902 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16811/statm: 1339 239 197 169 0 50 0
[pid=16817] ppid=16811 vsize=54680 CPUtime=34.29
/proc/16817/stat : 16817 (minisat_static) R 16811 16811 16634 0 -1 4194304 12805 0 0 0 3420 9 0 0 25 0 1 0 314155580 55992320 12791 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/16817/statm: 13670 12791 77 171 0 13497 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 60036

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 16817
/proc/meminfo: memFree=1484976/2055920 swapFree=4178900/4192956
[pid=16811] ppid=16809 vsize=5356 CPUtime=16.76
/proc/16811/stat : 16811 (SatELiteGTI) S 16809 16811 16634 0 -1 4194304 336 86687 0 0 0 0 1601 75 16 0 1 0 314153902 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16811/statm: 1339 239 197 169 0 50 0
[pid=16817] ppid=16811 vsize=59332 CPUtime=85.48
/proc/16817/stat : 16817 (minisat_static) R 16811 16811 16634 0 -1 4194304 14003 0 0 0 8537 11 0 0 25 0 1 0 314155580 60755968 13989 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16817/statm: 14833 13989 77 171 0 14660 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 64688

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 16817
/proc/meminfo: memFree=1477488/2055920 swapFree=4178900/4192956
[pid=16811] ppid=16809 vsize=5356 CPUtime=16.76
/proc/16811/stat : 16811 (SatELiteGTI) S 16809 16811 16634 0 -1 4194304 336 86687 0 0 0 0 1601 75 16 0 1 0 314153902 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16811/statm: 1339 239 197 169 0 50 0
[pid=16817] ppid=16811 vsize=66936 CPUtime=145.46
/proc/16817/stat : 16817 (minisat_static) R 16811 16811 16634 0 -1 4194304 15887 0 0 0 14532 14 0 0 25 0 1 0 314155580 68542464 15873 1992294400 134512640 135215339 4294956240 18446744073709551615 134528903 0 0 4096 3 0 0 0 17 1 0 0
/proc/16817/statm: 16734 15873 77 171 0 16561 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 72292

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 16817
/proc/meminfo: memFree=1468272/2055920 swapFree=4178900/4192956
[pid=16811] ppid=16809 vsize=5356 CPUtime=16.76
/proc/16811/stat : 16811 (SatELiteGTI) S 16809 16811 16634 0 -1 4194304 336 86687 0 0 0 0 1601 75 16 0 1 0 314153902 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16811/statm: 1339 239 197 169 0 50 0
[pid=16817] ppid=16811 vsize=76036 CPUtime=205.43
/proc/16817/stat : 16817 (minisat_static) R 16811 16811 16634 0 -1 4194304 18153 0 0 0 20526 17 0 0 25 0 1 0 314155580 77860864 18139 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16817/statm: 19009 18139 77 171 0 18836 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 81392

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 16817
/proc/meminfo: memFree=1458672/2055920 swapFree=4178900/4192956
[pid=16811] ppid=16809 vsize=5356 CPUtime=16.76
/proc/16811/stat : 16811 (SatELiteGTI) S 16809 16811 16634 0 -1 4194304 336 86687 0 0 0 0 1601 75 16 0 1 0 314153902 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16811/statm: 1339 239 197 169 0 50 0
[pid=16817] ppid=16811 vsize=85720 CPUtime=265.41
/proc/16817/stat : 16817 (minisat_static) R 16811 16811 16634 0 -1 4194304 20534 0 0 0 26521 20 0 0 25 0 1 0 314155580 87777280 20520 1992294400 134512640 135215339 4294956240 18446744073709551615 134525937 0 0 4096 3 0 0 0 17 1 0 0
/proc/16817/statm: 21430 20520 77 171 0 21257 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 91076

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 16817
/proc/meminfo: memFree=1451184/2055920 swapFree=4178900/4192956
[pid=16811] ppid=16809 vsize=5356 CPUtime=16.76
/proc/16811/stat : 16811 (SatELiteGTI) S 16809 16811 16634 0 -1 4194304 336 86687 0 0 0 0 1601 75 16 0 1 0 314153902 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16811/statm: 1339 239 197 169 0 50 0
[pid=16817] ppid=16811 vsize=93004 CPUtime=325.39
/proc/16817/stat : 16817 (minisat_static) R 16811 16811 16634 0 -1 4194304 22379 0 0 0 32517 22 0 0 25 0 1 0 314155580 95236096 22365 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16817/statm: 23251 22365 77 171 0 23078 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 98360

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 16817
/proc/meminfo: memFree=1442736/2055920 swapFree=4178900/4192956
[pid=16811] ppid=16809 vsize=5356 CPUtime=16.76
/proc/16811/stat : 16811 (SatELiteGTI) S 16809 16811 16634 0 -1 4194304 336 86687 0 0 0 0 1601 75 16 0 1 0 314153902 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16811/statm: 1339 239 197 169 0 50 0
[pid=16817] ppid=16811 vsize=101464 CPUtime=385.36
/proc/16817/stat : 16817 (minisat_static) R 16811 16811 16634 0 -1 4194304 24497 0 0 0 38512 24 0 0 25 0 1 0 314155580 103899136 24483 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16817/statm: 25366 24483 77 171 0 25193 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 106820

[startup+462.302 s]

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


[startup+942.302 s]
/proc/loadavg: 1.02 1.01 0.91 2/66 16817
/proc/meminfo: memFree=1372848/2055920 swapFree=4178900/4192956
[pid=16811] ppid=16809 vsize=5356 CPUtime=16.76
/proc/16811/stat : 16811 (SatELiteGTI) S 16809 16811 16634 0 -1 4194304 336 86687 0 0 0 0 1601 75 16 0 1 0 314153902 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16811/statm: 1339 239 197 169 0 50 0
[pid=16817] ppid=16811 vsize=170676 CPUtime=925.16
/proc/16817/stat : 16817 (minisat_static) R 16811 16811 16634 0 -1 4194304 41727 0 0 0 92470 46 0 0 25 0 1 0 314155580 174772224 41713 1992294400 134512640 135215339 4294956240 18446744073709551615 134528583 0 0 4096 3 0 0 0 17 1 0 0
/proc/16817/statm: 42669 41713 77 171 0 42496 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 176032

[startup+1002.3 s]
/proc/loadavg: 1.05 1.02 0.92 2/66 16817
/proc/meminfo: memFree=1367920/2055920 swapFree=4178900/4192956
[pid=16811] ppid=16809 vsize=5356 CPUtime=16.76
/proc/16811/stat : 16811 (SatELiteGTI) S 16809 16811 16634 0 -1 4194304 336 86687 0 0 0 0 1601 75 16 0 1 0 314153902 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16811/statm: 1339 239 197 169 0 50 0
[pid=16817] ppid=16811 vsize=175308 CPUtime=985.14
/proc/16817/stat : 16817 (minisat_static) R 16811 16811 16634 0 -1 4194304 42915 0 0 0 98466 48 0 0 25 0 1 0 314155580 179515392 42901 1992294400 134512640 135215339 4294956240 18446744073709551615 134538556 0 0 4096 3 0 0 0 17 1 0 0
/proc/16817/statm: 43827 42901 77 171 0 43654 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 180664

[startup+1062.3 s]
/proc/loadavg: 1.06 1.03 0.93 2/66 16817
/proc/meminfo: memFree=1364016/2055920 swapFree=4178900/4192956
[pid=16811] ppid=16809 vsize=5356 CPUtime=16.76
/proc/16811/stat : 16811 (SatELiteGTI) S 16809 16811 16634 0 -1 4194304 336 86687 0 0 0 0 1601 75 16 0 1 0 314153902 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16811/statm: 1339 239 197 169 0 50 0
[pid=16817] ppid=16811 vsize=179144 CPUtime=1045.11
/proc/16817/stat : 16817 (minisat_static) R 16811 16811 16634 0 -1 4194304 43870 0 0 0 104462 49 0 0 25 0 1 0 314155580 183443456 43856 1992294400 134512640 135215339 4294956240 18446744073709551615 134532704 0 0 4096 3 0 0 0 17 1 0 0
/proc/16817/statm: 44786 43856 77 171 0 44613 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 184500

[startup+1122.3 s]
/proc/loadavg: 1.06 1.03 0.93 2/66 16817
/proc/meminfo: memFree=1360944/2055920 swapFree=4178900/4192956
[pid=16811] ppid=16809 vsize=5356 CPUtime=16.76
/proc/16811/stat : 16811 (SatELiteGTI) S 16809 16811 16634 0 -1 4194304 336 86687 0 0 0 0 1601 75 16 0 1 0 314153902 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16811/statm: 1339 239 197 169 0 50 0
[pid=16817] ppid=16811 vsize=182116 CPUtime=1105.09
/proc/16817/stat : 16817 (minisat_static) R 16811 16811 16634 0 -1 4194304 44624 0 0 0 110459 50 0 0 25 0 1 0 314155580 186486784 44610 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16817/statm: 45529 44610 77 171 0 45356 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 187472

[startup+1182.3 s]
/proc/loadavg: 1.34 1.10 0.96 2/66 16817
/proc/meminfo: memFree=1355696/2055920 swapFree=4178900/4192956
[pid=16811] ppid=16809 vsize=5356 CPUtime=16.76
/proc/16811/stat : 16811 (SatELiteGTI) S 16809 16811 16634 0 -1 4194304 336 86687 0 0 0 0 1601 75 16 0 1 0 314153902 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16811/statm: 1339 239 197 169 0 50 0
[pid=16817] ppid=16811 vsize=187264 CPUtime=1165.06
/proc/16817/stat : 16817 (minisat_static) R 16811 16811 16634 0 -1 4194304 45924 0 0 0 116455 51 0 0 25 0 1 0 314155580 191758336 45910 1992294400 134512640 135215339 4294956240 18446744073709551615 134538302 0 0 4096 3 0 0 0 17 1 0 0
/proc/16817/statm: 46816 45910 77 171 0 46643 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 192620

[startup+1242.3 s]
/proc/loadavg: 1.20 1.11 0.97 2/66 16817
/proc/meminfo: memFree=1351280/2055920 swapFree=4178900/4192956
[pid=16811] ppid=16809 vsize=5356 CPUtime=16.76
/proc/16811/stat : 16811 (SatELiteGTI) S 16809 16811 16634 0 -1 4194304 336 86687 0 0 0 0 1601 75 16 0 1 0 314153902 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16811/statm: 1339 239 197 169 0 50 0
[pid=16817] ppid=16811 vsize=191628 CPUtime=1225.04
/proc/16817/stat : 16817 (minisat_static) R 16811 16811 16634 0 -1 4194304 46997 0 0 0 122451 53 0 0 25 0 1 0 314155580 196227072 46983 1992294400 134512640 135215339 4294956240 18446744073709551615 134528688 0 0 4096 3 0 0 0 17 1 0 0
/proc/16817/statm: 47907 46983 77 171 0 47734 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 196984

[startup+1302.3 s]
/proc/loadavg: 1.10 1.10 0.97 2/66 16817
/proc/meminfo: memFree=1348016/2055920 swapFree=4178900/4192956
[pid=16811] ppid=16809 vsize=5356 CPUtime=16.76
/proc/16811/stat : 16811 (SatELiteGTI) S 16809 16811 16634 0 -1 4194304 336 86687 0 0 0 0 1601 75 16 0 1 0 314153902 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16811/statm: 1339 239 197 169 0 50 0
[pid=16817] ppid=16811 vsize=194800 CPUtime=1285.02
/proc/16817/stat : 16817 (minisat_static) R 16811 16811 16634 0 -1 4194304 47795 0 0 0 128448 54 0 0 25 0 1 0 314155580 199475200 47781 1992294400 134512640 135215339 4294956240 18446744073709551615 134532672 0 0 4096 3 0 0 0 17 1 0 0
/proc/16817/statm: 48700 47781 77 171 0 48527 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 200156

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

[startup+1305.5 s]
/proc/loadavg: 1.10 1.10 0.97 2/66 16817
/proc/meminfo: memFree=1347952/2055920 swapFree=4178900/4192956
[pid=16811] ppid=16809 vsize=5356 CPUtime=16.76
/proc/16811/stat : 16811 (SatELiteGTI) S 16809 16811 16634 0 -1 4194304 336 86687 0 0 0 0 1601 75 16 0 1 0 314153902 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16811/statm: 1339 239 197 169 0 50 0
[pid=16817] ppid=16811 vsize=194800 CPUtime=1288.21
/proc/16817/stat : 16817 (minisat_static) R 16811 16811 16634 0 -1 4194304 47810 0 0 0 128767 54 0 0 25 0 1 0 314155580 199475200 47796 1992294400 134512640 135215339 4294956240 18446744073709551615 134532672 0 0 4096 3 0 0 0 17 1 0 0
/proc/16817/statm: 48700 47796 77 171 0 48527 0
Current children cumulated CPU time (s) 1304.97
Current children cumulated vsize (KiB) 200156

[startup+1311.9 s]
/proc/loadavg: 1.09 1.10 0.97 2/66 16817
/proc/meminfo: memFree=1347760/2055920 swapFree=4178900/4192956
[pid=16811] ppid=16809 vsize=5356 CPUtime=16.76
/proc/16811/stat : 16811 (SatELiteGTI) S 16809 16811 16634 0 -1 4194304 336 86687 0 0 0 0 1601 75 16 0 1 0 314153902 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16811/statm: 1339 239 197 169 0 50 0
[pid=16817] ppid=16811 vsize=194932 CPUtime=1294.61
/proc/16817/stat : 16817 (minisat_static) R 16811 16811 16634 0 -1 4194304 47853 0 0 0 129407 54 0 0 25 0 1 0 314155580 199610368 47839 1992294400 134512640 135215339 4294956240 18446744073709551615 134532956 0 0 4096 3 0 0 0 17 1 0 0
/proc/16817/statm: 48733 47839 77 171 0 48560 0
Current children cumulated CPU time (s) 1311.37
Current children cumulated vsize (KiB) 200288

[startup+1318.3 s]
/proc/loadavg: 1.08 1.10 0.97 2/66 16817
/proc/meminfo: memFree=1347504/2055920 swapFree=4178900/4192956
[pid=16811] ppid=16809 vsize=5356 CPUtime=16.76
/proc/16811/stat : 16811 (SatELiteGTI) S 16809 16811 16634 0 -1 4194304 336 86687 0 0 0 0 1601 75 16 0 1 0 314153902 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16811/statm: 1339 239 197 169 0 50 0
[pid=16817] ppid=16811 vsize=195328 CPUtime=1301.01
/proc/16817/stat : 16817 (minisat_static) R 16811 16811 16634 0 -1 4194304 47924 0 0 0 130047 54 0 0 25 0 1 0 314155580 200015872 47910 1992294400 134512640 135215339 4294956240 18446744073709551615 134528899 0 0 4096 3 0 0 0 17 1 0 0
/proc/16817/statm: 48832 47910 77 171 0 48659 0
Current children cumulated CPU time (s) 1317.77
Current children cumulated vsize (KiB) 200684

[startup+1319.9 s]
/proc/loadavg: 1.08 1.10 0.97 2/66 16817
/proc/meminfo: memFree=1347376/2055920 swapFree=4178900/4192956
[pid=16811] ppid=16809 vsize=5356 CPUtime=16.76
/proc/16811/stat : 16811 (SatELiteGTI) S 16809 16811 16634 0 -1 4194304 336 86687 0 0 0 0 1601 75 16 0 1 0 314153902 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16811/statm: 1339 239 197 169 0 50 0
[pid=16817] ppid=16811 vsize=195328 CPUtime=1302.62
/proc/16817/stat : 16817 (minisat_static) R 16811 16811 16634 0 -1 4194304 47950 0 0 0 130207 55 0 0 25 0 1 0 314155580 200015872 47936 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/16817/statm: 48832 47936 77 171 0 48659 0
Current children cumulated CPU time (s) 1319.38
Current children cumulated vsize (KiB) 200684

[startup+1320.7 s]
/proc/loadavg: 1.08 1.10 0.97 2/66 16817
/proc/meminfo: memFree=1347376/2055920 swapFree=4178900/4192956
[pid=16811] ppid=16809 vsize=5356 CPUtime=16.76
/proc/16811/stat : 16811 (SatELiteGTI) S 16809 16811 16634 0 -1 4194304 336 86687 0 0 0 0 1601 75 16 0 1 0 314153902 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16811/statm: 1339 239 197 169 0 50 0
[pid=16817] ppid=16811 vsize=195592 CPUtime=1303.42
/proc/16817/stat : 16817 (minisat_static) R 16811 16811 16634 0 -1 4194304 47989 0 0 0 130287 55 0 0 25 0 1 0 314155580 200286208 47975 1992294400 134512640 135215339 4294956240 18446744073709551615 134532672 0 0 4096 3 0 0 0 17 1 0 0
/proc/16817/statm: 48898 47975 77 171 0 48725 0
Current children cumulated CPU time (s) 1320.18
Current children cumulated vsize (KiB) 200948

[startup+1321.5 s]
/proc/loadavg: 1.07 1.09 0.97 2/66 16817
/proc/meminfo: memFree=1347184/2055920 swapFree=4178900/4192956
[pid=16811] ppid=16809 vsize=5356 CPUtime=16.76
/proc/16811/stat : 16811 (SatELiteGTI) S 16809 16811 16634 0 -1 4194304 336 86687 0 0 0 0 1601 75 16 0 1 0 314153902 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16811/statm: 1339 239 197 169 0 50 0
[pid=16817] ppid=16811 vsize=195592 CPUtime=1304.22
/proc/16817/stat : 16817 (minisat_static) R 16811 16811 16634 0 -1 4194304 48006 0 0 0 130367 55 0 0 25 0 1 0 314155580 200286208 47992 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/16817/statm: 48898 47992 77 171 0 48725 0
Current children cumulated CPU time (s) 1320.98
Current children cumulated vsize (KiB) 200948

[startup+1321.9 s]
/proc/loadavg: 1.07 1.09 0.97 2/66 16817
/proc/meminfo: memFree=1347184/2055920 swapFree=4178900/4192956
[pid=16811] ppid=16809 vsize=5356 CPUtime=16.76
/proc/16811/stat : 16811 (SatELiteGTI) S 16809 16811 16634 0 -1 4194304 336 86687 0 0 0 0 1601 75 16 0 1 0 314153902 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16811/statm: 1339 239 197 169 0 50 0
[pid=16817] ppid=16811 vsize=195592 CPUtime=1304.62
/proc/16817/stat : 16817 (minisat_static) R 16811 16811 16634 0 -1 4194304 48010 0 0 0 130407 55 0 0 25 0 1 0 314155580 200286208 47996 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16817/statm: 48898 47996 77 171 0 48725 0
Current children cumulated CPU time (s) 1321.38
Current children cumulated vsize (KiB) 200948

Child status: 20
Real time (s): 1321.98
CPU time (s): 1321.46
CPU user time (s): 1320.09
CPU system time (s): 1.37079
CPU usage (%): 99.9611
Max. virtual memory (cumulated for all children) (KiB): 340284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1320.09
system time used= 1.37079
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135194
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= 47
involuntary context switches= 2359

runsolver used 1.49577 second user time and 3.33049 second system time

The end

Launcher Data 

Begin job on node44 at 2009-05-21 01:14:19
IDJOB=1837198
IDBENCH=69581
IDSOLVER=674
FILE ID=node44/1837198-1242861256
PBS_JOBID= 9328472
Free space on /tmp= 66280 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-1837198-1242861256/watcher-1837198-1242861256 -o /tmp/evaluation-result-1837198-1242861256/solver-1837198-1242861256 -C 10000 -W 12000 -M 1800  SatELiteGTI HOME/instance-1837198-1242861256.cnf

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

MD5SUM BENCH= 1f1dd0782ec95ee5e6d7a06f92fc0f12
RANDOM SEED=362242359

node44.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.267
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	: 5931.00
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.267
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1599808 kB
Buffers:         19356 kB
Cached:         397324 kB
SwapCached:       8252 kB
Active:          61556 kB
Inactive:       364952 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1599808 kB
SwapTotal:     4192956 kB
SwapFree:      4178900 kB
Dirty:           37628 kB
Writeback:           0 kB
Mapped:          14024 kB
Slab:            15552 kB
Committed_AS:  1051400 kB
PageTables:       1384 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= 66280 MiB
End job on node44 at 2009-05-21 01:36:21