Trace number 1834227

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 137.841 137.963

General information on the benchmark

Namemanol-pipe-c7bidw_i.cnf
MD5SUM3eac71f4fca7132b74d6d27cfa83813f
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark92.107
Satisfiable
(Un)Satisfiability was proved
Number of variables131004
Number of clauses387841
Sum of the clauses size904961
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2258560
Number of clauses of size 3129280
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Parsing...
0.00/0.35	c ==============================================================================
0.00/0.35	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.35	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.35	c ==============================================================================
0.00/0.35	c |         0 |  387840   904960 |  116351       0        0     nan |  0.000 % |
2.78/2.86	c |         0 |  169202   659445 |      --       0       --      -- |     --   | -218636/-245510
2.78/2.86	c ==============================================================================
2.78/2.86	c Result  :   #vars: 22468   #clauses: 169202   #literals: 659445
2.78/2.86	c CPU time:   2.72358 s
2.78/2.86	c ==============================================================================
3.08/3.10	c This is MiniSat 2.0 beta
3.08/3.10	c WARNING: for repeatability, setting FPU to use double precision
3.08/3.10	c ============================[ Problem Statistics ]=============================
3.08/3.10	c |                                                                             |
3.08/3.10	c |  Number of variables:  22468                                                |
3.08/3.10	c |  Number of clauses:    169202                                               |
3.18/3.22	c |  Parsing time:         0.10         s                                       |
3.18/3.23	c ============================[ Search Statistics ]==============================
3.18/3.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.18/3.23	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
3.18/3.23	c ===============================================================================
3.18/3.23	c |         0 |   22468   169202   659445 |    56400        0    nan |  0.000 % |
3.18/3.26	c |       100 |   22455   169202   659445 |    56400       98     13 |  0.214 % |
3.18/3.27	c |       202 |   22446   169202   659445 |    56400      199     11 |  0.285 % |
3.27/3.31	c |       303 |   22446   169202   659445 |    56400      300     10 |  0.285 % |
3.27/3.34	c |       413 |   22443   169202   659445 |    56400      410     10 |  0.285 % |
3.27/3.37	c |       513 |   22432   169202   659445 |    56400      509     10 |  0.347 % |
3.27/3.38	c |       623 |   22432   169202   659445 |    56400      619     12 |  0.347 % |
3.37/3.41	c |       745 |   22431   169202   659445 |    56400      741     13 |  0.347 % |
3.37/3.42	c |       845 |   22426   169202   659445 |    56400      840     13 |  0.410 % |
3.37/3.44	c |       956 |   22422   169202   659445 |    56400      951     13 |  0.409 % |
3.37/3.49	c |      1077 |   22422   169202   659445 |    56400     1072     13 |  0.409 % |
3.47/3.53	c |      1211 |   22422   169202   659445 |    56400     1206     13 |  0.409 % |
3.47/3.54	c |      1311 |   22422   169202   659445 |    56400     1306     13 |  0.409 % |
3.47/3.59	c |      1422 |   22422   169202   659445 |    56400     1417     13 |  0.409 % |
3.57/3.61	c |      1543 |   22422   169202   659445 |    56400     1538     13 |  0.409 % |
3.57/3.65	c |      1676 |   22422   169202   659445 |    56400     1671     12 |  0.409 % |
3.57/3.68	c |      1823 |   22422   169202   659445 |    56400     1818     12 |  0.409 % |
3.67/3.71	c |      1923 |   22422   169202   659445 |    56400     1918     12 |  0.409 % |
3.67/3.73	c |      2034 |   22376   166808   650292 |    56400     2012     13 |  0.410 % |
3.67/3.75	c |      2156 |   22376   166808   650292 |    56400     2134     14 |  0.409 % |
3.67/3.78	c |      2289 |   22369   166808   650292 |    56400     2266     14 |  0.467 % |
3.67/3.79	c |      2436 |   22369   166808   650292 |    56400     2413     14 |  0.467 % |
3.77/3.83	c |      2596 |   22345   166808   650292 |    56400     2572     14 |  1.037 % |
3.77/3.85	c |      2697 |   22345   166808   650292 |    56400     2673     14 |  1.037 % |
3.77/3.88	c |      2807 |   22340   166808   650292 |    56400     2783     14 |  1.037 % |
3.87/3.91	c |      2929 |   22310   166808   650292 |    56400     2905     14 |  1.037 % |
3.87/3.94	c |      3062 |   22290   166808   650292 |    56400     3036     14 |  1.473 % |
3.87/3.95	c |      3208 |   22288   166808   650292 |    56400     3180     14 |  1.500 % |
3.87/3.98	c |      3368 |   22288   166808   650292 |    56400     3340     14 |  1.500 % |
3.97/4.02	c |      3545 |   22288   166808   650292 |    56400     3517     14 |  1.500 % |
3.97/4.06	c |      3646 |   22288   166808   650292 |    56400     3618     14 |  1.500 % |
3.97/4.08	c |      3756 |   22288   166808   650292 |    56400     3728     14 |  1.500 % |
4.07/4.10	c |      3877 |   22288   166808   650292 |    56400     3849     14 |  1.500 % |
4.07/4.14	c |      4011 |   22288   166808   650292 |    56400     3983     14 |  1.500 % |
4.07/4.15	c |      4158 |   22288   166808   650292 |    56400     4130     15 |  1.500 % |
4.17/4.25	c |      4318 |   22240   166808   650292 |    56400     4290     15 |  1.500 % |
4.17/4.28	c |      4494 |   22131   161762   631029 |    56400     4375     15 |  1.500 % |
4.27/4.30	c |      4687 |   22131   161762   631029 |    56400     4568     16 |  1.500 % |
4.27/4.35	c |      4788 |   22131   161762   631029 |    56400     4669     16 |  1.500 % |
4.37/4.46	c |      4898 |   22131   161762   631029 |    56400     4779     16 |  1.500 % |
4.37/4.47	c |      5020 |   22131   161762   631029 |    56400     4901     16 |  1.500 % |
4.47/4.50	c |      5153 |   22131   161762   631029 |    56400     5034     16 |  1.500 % |
4.47/4.55	c |      5299 |   22131   161762   631029 |    56400     5180     16 |  1.500 % |
4.57/4.62	c |      5460 |   22131   161762   631029 |    56400     5341     16 |  1.500 % |
4.57/4.65	c |      5637 |   22131   161762   631029 |    56400     5518     16 |  1.500 % |
4.57/4.69	c |      5830 |   22131   161762   631029 |    56400     5711     15 |  1.500 % |
4.67/4.76	c |      6043 |   22131   161762   631029 |    56400     5924     15 |  1.500 % |
4.67/4.78	c |      6144 |   22131   161762   631029 |    56400     6025     15 |  1.500 % |
4.77/4.83	c |      6255 |   22131   161762   631029 |    56400     6136     15 |  1.500 % |
4.77/4.85	c |      6376 |   22131   161762   631029 |    56400     6257     16 |  1.500 % |
4.77/4.87	c |      6509 |   22131   161762   631029 |    56400     6390     16 |  1.500 % |
4.77/4.89	c |      6655 |   22131   161762   631029 |    56400     6536     15 |  1.500 % |
4.87/4.90	c |      6815 |   22131   161762   631029 |    56400     6696     15 |  1.500 % |
4.87/4.94	c |      6991 |   22127   161739   630936 |    56400     6868     16 |  1.522 % |
4.87/4.96	c |      7184 |   22121   161739   630936 |    56400     7059     16 |  1.558 % |
4.87/4.98	c |      7396 |   22121   161739   630936 |    56400     7271     16 |  1.558 % |
4.97/5.00	c |      7630 |   22121   161739   630936 |    56400     7505     16 |  1.558 % |
4.97/5.04	c |      7732 |   22120   161739   630936 |    56400     7607     16 |  1.558 % |
4.97/5.05	c |      7842 |   22120   161739   630936 |    56400     7717     16 |  1.558 % |
4.97/5.09	c |      7963 |   22120   161739   630936 |    56400     7838     16 |  1.558 % |
5.07/5.11	c |      8096 |   22120   161739   630936 |    56400     7971     16 |  1.558 % |
5.07/5.13	c |      8242 |   22120   161739   630936 |    56400     8117     16 |  1.558 % |
5.07/5.15	c |      8402 |   22120   161739   630936 |    56400     8277     16 |  1.558 % |
5.07/5.19	c |      8581 |   22120   161739   630936 |    56400     8456     16 |  1.558 % |
5.17/5.22	c |      8775 |   22120   161739   630936 |    56400     8650     16 |  1.558 % |
5.17/5.24	c |      8989 |   22120   161739   630936 |    56400     8864     16 |  1.558 % |
5.17/5.25	c |      9222 |   22120   161739   630936 |    56400     9097     16 |  1.558 % |
5.17/5.28	c |      9478 |   22120   161739   630936 |    56400     9353     16 |  1.558 % |
5.27/5.31	c |      9578 |   22120   161739   630936 |    56400     9453     16 |  1.558 % |
5.27/5.32	c |      9689 |   22120   161739   630936 |    56400     9564     16 |  1.558 % |
5.27/5.33	c |      9811 |   22120   161739   630936 |    56400     9686     16 |  1.558 % |
5.27/5.34	c |      9944 |   22120   161739   630936 |    56400     9819     16 |  1.558 % |
5.27/5.36	c |     10091 |   22120   161739   630936 | 2147483647     9966     16 |  1.558 % |
5.27/5.38	c |     10251 |   22120   161739   630936 | 2147483647    10126     16 |  1.558 % |
5.27/5.40	c |     10428 |   22120   161739   630936 | 2147483647    10303     17 |  1.558 % |
5.37/5.42	c |     10622 |   22120   161739   630936 | 2147483647    10497     17 |  1.558 % |
5.37/5.43	c |     10835 |   22120   161739   630936 | 2147483647    10710     17 |  1.558 % |
5.37/5.47	c |     11068 |   22120   161739   630936 | 2147483647    10943     17 |  1.558 % |
5.47/5.53	c |     11325 |   22118   161591   630467 | 2147483647    11197     17 |  1.558 % |
5.47/5.58	c |     11607 |   22115   161591   630467 | 2147483647    11478     17 |  1.584 % |
5.57/5.60	c |     11707 |   22115   161591   630467 | 2147483647    11578     17 |  1.585 % |
5.57/5.61	c |     11817 |   22115   161591   630467 | 2147483647    11688     17 |  1.584 % |
5.57/5.64	c |     11939 |   22115   161591   630467 | 2147483647    11810     16 |  1.584 % |
5.57/5.66	c |     12074 |   22115   161591   630467 | 2147483647    11945     16 |  1.584 % |
5.57/5.69	c |     12223 |   22115   161591   630467 | 2147483647    12094     16 |  1.584 % |
5.66/5.75	c |     12384 |   22111   161591   630467 | 2147483647    12254     17 |  1.593 % |
5.66/5.77	c |     12561 |   22111   161591   630467 | 2147483647    12431     17 |  1.593 % |
5.76/5.86	c |     12755 |   22111   161591   630467 | 2147483647    12625     17 |  1.593 % |
5.76/5.88	c |     12968 |   22111   161591   630467 | 2147483647    12838     16 |  1.593 % |
5.86/5.90	c |     13202 |   22111   161591   630467 | 2147483647    13072     16 |  1.593 % |
5.86/5.98	c |     13459 |   22111   161591   630467 | 2147483647    13329     16 |  1.593 % |
5.96/6.00	c |     13740 |   22111   161591   630467 | 2147483647    13610     16 |  1.593 % |
5.96/6.05	c |     14049 |   22111   161591   630467 | 2147483647    13919     17 |  1.593 % |
5.96/6.08	c |     14149 |   22111   161591   630467 | 2147483647    14019     17 |  1.593 % |
5.96/6.09	c |     14259 |   22111   161591   630467 | 2147483647    14129     17 |  1.593 % |
5.96/6.09	c |     14381 |   22111   161591   630467 | 2147483647    14251     17 |  1.593 % |
6.06/6.13	c |     14515 |   22111   161591   630467 | 2147483647    14385     17 |  1.593 % |
6.06/6.17	c |     14662 |   22110   161474   630123 | 2147483647    14526     17 |  1.593 % |
6.16/6.20	c |     14822 |   22108   161474   630123 | 2147483647    14685     17 |  1.607 % |
6.16/6.22	c |     14998 |   22108   161474   630123 | 2147483647    14861     17 |  1.607 % |
6.16/6.26	c |     15191 |   22108   161474   630123 | 2147483647    15054     17 |  1.607 % |
6.26/6.31	c |     15403 |   22107   161474   630123 | 2147483647    15265     17 |  1.611 % |
6.26/6.34	c |     15636 |   22104   161474   630123 | 2147483647    15497     17 |  1.625 % |
6.26/6.37	c |     15892 |   22104   161474   630123 | 2147483647    15753     17 |  1.625 % |
6.37/6.41	c |     16173 |   22104   161474   630123 | 2147483647    16034     17 |  1.625 % |
6.37/6.44	c |     16483 |   22104   161474   630123 | 2147483647    16344     17 |  1.625 % |
6.37/6.49	c |     16822 |   22102   161474   630123 | 2147483647    16682     17 |  1.651 % |
6.47/6.50	c |     16922 |   22102   161474   630123 | 2147483647    16782     17 |  1.651 % |
6.47/6.53	c |     17034 |   22098   161474   630123 | 2147483647    16894     17 |  1.651 % |
6.47/6.56	c |     17155 |   22098   161474   630123 | 2147483647    17015     17 |  1.651 % |
6.47/6.57	c |     17290 |   22098   161474   630123 | 2147483647    17150     18 |  1.651 % |
6.47/6.59	c |     17441 |   22098   161474   630123 | 2147483647    17301     17 |  1.651 % |
6.57/6.63	c |     17602 |   22097   161474   630123 | 2147483647    17461     17 |  1.660 % |
6.57/6.65	c |     17778 |   22097   161474   630123 | 2147483647    17637     17 |  1.660 % |
6.67/6.73	c |     17971 |   22095   161474   630123 | 2147483647    17830     17 |  1.660 % |
6.67/6.77	c |     18185 |   22095   161474   630123 | 2147483647    18044     18 |  1.660 % |
6.77/6.82	c |     18418 |   22095   161474   630123 | 2147483647    18277     18 |  1.660 % |
6.77/6.88	c |     18676 |   22095   161474   630123 | 2147483647    18535     18 |  1.660 % |
6.87/6.93	c |     18957 |   22095   161173   629140 | 2147483647    18809     18 |  1.660 % |
6.87/6.99	c |     19266 |   22095   161173   629140 | 2147483647    19118     18 |  1.660 % |
6.97/7.02	c |     19608 |   22095   161173   629140 | 2147483647    19460     18 |  1.660 % |
7.07/7.11	c |     19980 |   22095   161173   629140 | 2147483647    19832     18 |  1.660 % |
7.07/7.13	c |     20080 |   22095   161173   629140 | 2147483647    19932     18 |  1.660 % |
7.07/7.15	c |     20190 |   22095   161173   629140 | 2147483647    20042     18 |  1.660 % |
7.07/7.17	c |     20312 |   22095   161173   629140 | 2147483647    20164     18 |  1.660 % |
7.07/7.18	c |     20445 |   22095   161173   629140 | 2147483647    20297     18 |  1.660 % |
7.17/7.21	c |     20591 |   22095   161173   629140 | 2147483647    20443     18 |  1.660 % |
7.17/7.24	c |     20752 |   22095   161173   629140 | 2147483647    20604     18 |  1.660 % |
7.27/7.31	c |     20929 |   22095   161173   629140 | 2147483647    20781     18 |  1.660 % |
7.27/7.33	c |     21123 |   22095   161173   629140 | 2147483647    20975     18 |  1.660 % |
7.27/7.38	c |     21335 |   22095   161173   629140 | 2147483647    21187     18 |  1.660 % |
7.37/7.41	c |     21569 |   22094   161173   629140 | 2147483647    21420     18 |  1.883 % |
7.37/7.45	c |     21826 |   22094   161173   629140 | 2147483647    21677     19 |  1.883 % |
7.37/7.49	c |     22107 |   22094   161173   629140 | 2147483647    21958     18 |  1.883 % |
7.47/7.53	c |     22416 |   22094   161173   629140 | 2147483647    22267     19 |  1.883 % |
7.47/7.60	c |     22755 |   22092   161173   629140 | 2147483647    22605     19 |  1.914 % |
7.67/7.72	c |     23128 |   22065   161173   629140 | 2147483647    22978     18 |  1.914 % |
7.77/7.85	c |     23537 |   22038   159902   624488 | 2147483647    23334     18 |  1.914 % |
7.77/7.87	c |     23637 |   22038   159902   624488 | 2147483647    23434     18 |  1.914 % |
7.86/7.90	c |     23747 |   22038   159902   624488 | 2147483647    23544     18 |  1.914 % |
7.86/7.92	c |     23868 |   22038   159902   624488 | 2147483647    23665     18 |  1.914 % |
7.86/7.96	c |     24002 |   22038   159902   624488 | 2147483647    23799     18 |  1.914 % |
7.86/7.98	c |     24148 |   22036   159902   624488 | 2147483647    23944     18 |  1.927 % |
7.96/8.01	c |     24308 |   22036   159902   624488 | 2147483647    24104     18 |  1.927 % |
7.96/8.04	c |     24484 |   22036   159902   624488 | 2147483647    24280     18 |  1.927 % |
7.96/8.07	c |     24677 |   22035   159902   624488 | 2147483647    24473     18 |  1.927 % |
7.96/8.08	c |     24889 |   22035   159902   624488 | 2147483647    24685     18 |  1.927 % |
8.06/8.14	c |     25122 |   22035   159902   624488 | 2147483647    24918     18 |  1.927 % |
8.06/8.19	c |     25378 |   22035   159902   624488 | 2147483647    25174     18 |  1.927 % |
8.16/8.21	c |     25660 |   22035   159902   624488 | 2147483647    25456     18 |  1.927 % |
8.26/8.30	c |     25969 |   22035   159902   624488 | 2147483647    25765     18 |  1.927 % |
8.26/8.38	c |     26308 |   22035   159902   624488 | 2147483647    26104     18 |  1.927 % |
8.36/8.48	c |     26680 |   22035   159902   624488 | 2147483647    26476     18 |  1.927 % |
8.46/8.52	c |     27089 |   22032   159902   624488 | 2147483647    26884     18 |  1.972 % |
8.56/8.64	c |     27539 |   22027   159902   624488 | 2147483647    27334     18 |  1.972 % |
8.56/8.66	c |     27641 |   22027   159902   624488 | 2147483647    27436     18 |  1.972 % |
8.66/8.71	c |     27751 |   22025   159720   623757 | 2147483647    27541     18 |  1.972 % |
8.66/8.73	c |     27872 |   22025   159720   623757 | 2147483647    27662     18 |  1.972 % |
8.66/8.74	c |     28006 |   22025   159720   623757 | 2147483647    27796     18 |  1.972 % |
8.66/8.77	c |     28152 |   22025   159720   623757 | 2147483647    27942     18 |  1.972 % |
8.66/8.80	c |     28312 |   22025   159720   623757 | 2147483647    28102     18 |  1.972 % |
8.76/8.83	c |     28489 |   22025   159720   623757 | 2147483647    28279     18 |  1.972 % |
8.76/8.86	c |     28683 |   22025   159720   623757 | 2147483647    28473     18 |  1.972 % |
8.96/9.01	c |     28896 |   22025   159720   623757 | 2147483647    28686     18 |  1.972 % |
8.96/9.04	c |     29129 |   22025   159720   623757 | 2147483647    28919     18 |  1.972 % |
8.96/9.06	c |     29386 |   22025   159720   623757 | 2147483647    29176     18 |  1.972 % |
9.06/9.12	c |     29667 |   22025   159720   623757 | 2147483647    29457     18 |  1.972 % |
9.06/9.17	c |     29976 |   22025   159720   623757 | 2147483647    29766     18 |  1.972 % |
9.16/9.22	c |     30315 |   22025   159720   623757 | 2147483647    30105     18 |  1.972 % |
9.26/9.34	c |     30687 |   22025   159720   623757 | 2147483647    30477     18 |  1.972 % |
9.26/9.38	c |     31097 |   22025   159720   623757 | 2147483647    30887     18 |  1.972 % |
9.36/9.48	c |     31549 |   22025   159720   623757 | 2147483647    31339     18 |  1.972 % |
9.46/9.52	c |     32043 |   22025   159720   623757 | 2147483647    31833     19 |  1.972 % |
9.46/9.54	c |     32143 |   22025   159720   623757 | 2147483647    31933     19 |  1.972 % |
9.46/9.56	c |     32253 |   22025   159720   623757 | 2147483647    32043     19 |  1.972 % |
9.46/9.58	c |     32374 |   22025   159720   623757 | 2147483647    32164     19 |  1.972 % |
9.46/9.59	c |     32507 |   22025   159720   623757 | 2147483647    32297     19 |  1.972 % |
9.56/9.64	c |     32655 |   22025   159720   623757 | 2147483647    32445     19 |  1.972 % |
9.56/9.68	c |     32816 |   22025   159720   623757 | 2147483647    32606     19 |  1.972 % |
9.67/9.71	c |     32992 |   22025   159720   623757 | 2147483647    32782     18 |  1.972 % |
9.67/9.74	c |     33186 |   22025   159720   623757 | 2147483647    32976     18 |  1.972 % |
9.67/9.80	c |     33400 |   22025   159720   623757 | 2147483647    33190     18 |  1.972 % |
9.77/9.86	c |     33635 |   22025   159720   623757 | 2147483647    33425     18 |  1.972 % |
9.87/9.92	c |     33892 |   22025   159720   623757 | 2147483647    33682     18 |  1.972 % |
9.87/9.98	c |     34175 |   22025   159720   623757 | 2147483647    33965     18 |  1.972 % |
9.96/10.03	c |     34485 |   22025   159720   623757 | 2147483647    34275     18 |  1.972 % |
9.96/10.06	c |     34824 |   22025   159720   623757 | 2147483647    34614     18 |  1.972 % |
10.06/10.11	c |     35196 |   22025   159720   623757 | 2147483647    34986     19 |  1.972 % |
10.06/10.17	c |     35605 |   22025   159720   623757 | 2147483647    35395     19 |  1.972 % |
10.16/10.23	c |     36054 |   22025   159720   623757 | 2147483647    35844     19 |  1.972 % |
10.26/10.34	c |     36547 |   22025   159720   623757 | 2147483647    36337     19 |  1.972 % |
10.36/10.42	c |     37092 |   22025   159720   623757 | 2147483647    36882     19 |  1.972 % |
10.36/10.43	c |     37193 |   22025   159720   623757 | 2147483647    36983     19 |  1.972 % |
10.36/10.46	c |     37303 |   22025   159720   623757 | 2147483647    37093     19 |  1.972 % |
10.36/10.48	c |     37424 |   22025   159720   623757 | 2147483647    37214     19 |  1.972 % |
10.36/10.49	c |     37558 |   22025   159720   623757 | 2147483647    37348     19 |  1.972 % |
10.46/10.53	c |     37704 |   22025   159720   623757 | 2147483647    37494     19 |  1.972 % |
10.46/10.57	c |     37867 |   22025   159720   623757 | 2147483647    37657     19 |  1.972 % |
10.56/10.61	c |     38044 |   22025   159720   623757 | 2147483647    37834     19 |  1.972 % |
10.56/10.65	c |     38240 |   22025   159720   623757 | 2147483647    38030     19 |  1.972 % |
10.66/10.71	c |     38454 |   22025   159720   623757 | 2147483647    38244     19 |  1.972 % |
10.66/10.76	c |     38687 |   22025   159720   623757 | 2147483647    38477     19 |  1.972 % |
10.76/10.80	c |     38943 |   22025   159720   623757 | 2147483647    38733     19 |  1.972 % |
10.76/10.86	c |     39224 |   22025   159720   623757 | 2147483647    39014     19 |  1.972 % |
10.86/10.93	c |     39533 |   22025   159720   623757 | 2147483647    39323     19 |  1.972 % |
10.86/10.99	c |     39872 |   22024   159681   623592 | 2147483647    39661     19 |  1.976 % |
10.96/11.08	c |     40245 |   22024   159681   623592 | 2147483647    40034     19 |  1.976 % |
11.06/11.18	c |     40654 |   22024   159681   623592 | 2147483647    40443     19 |  1.976 % |
11.26/11.31	c |     41104 |   22024   159681   623592 | 2147483647    40893     19 |  1.976 % |
11.36/11.41	c |     41597 |   22024   159681   623592 | 2147483647    41386     19 |  1.976 % |
11.36/11.48	c |     42140 |   22024   159681   623592 | 2147483647    41929     19 |  1.976 % |
11.46/11.59	c |     42737 |   22024   159681   623592 | 2147483647    42526     19 |  1.976 % |
11.56/11.63	c |     42838 |   22024   159681   623592 | 2147483647    42627     19 |  1.976 % |
11.66/11.70	c |     42948 |   22024   159681   623592 | 2147483647    42737     19 |  1.976 % |
11.66/11.72	c |     43069 |   22024   159681   623592 | 2147483647    42858     19 |  1.976 % |
11.66/11.76	c |     43202 |   22024   159681   623592 | 2147483647    42991     19 |  1.976 % |
11.66/11.78	c |     43348 |   22024   159681   623592 | 2147483647    43137     19 |  1.976 % |
11.76/11.84	c |     43508 |   22024   159681   623592 | 2147483647    43297     19 |  1.976 % |
11.86/11.90	c |     43684 |   22024   159681   623592 | 2147483647    43473     19 |  1.976 % |
11.86/11.96	c |     43878 |   22024   159681   623592 | 2147483647    43667     19 |  1.976 % |
11.96/12.02	c |     44091 |   22024   159681   623592 | 2147483647    43880     19 |  1.976 % |
11.96/12.10	c |     44324 |   22024   159681   623592 | 2147483647    44113     19 |  1.976 % |
12.06/12.17	c |     44581 |   22017   159681   623592 | 2147483647    44368     19 |  2.016 % |
12.16/12.25	c |     44862 |   22017   159681   623592 | 2147483647    44649     19 |  2.016 % |
12.26/12.35	c |     45172 |   22017   159681   623592 | 2147483647    44959     19 |  2.016 % |
12.36/12.40	c |     45511 |   22017   159681   623592 | 2147483647    45298     19 |  2.016 % |
12.36/12.47	c |     45883 |   22017   159681   623592 | 2147483647    45670     19 |  2.016 % |
12.55/12.65	c |     46292 |   22015   159607   623318 | 2147483647    46077     19 |  2.016 % |
12.65/12.75	c |     46742 |   22015   159607   623318 | 2147483647    46527     19 |  2.016 % |
12.75/12.82	c |     47235 |   22015   159607   623318 | 2147483647    47020     19 |  2.016 % |
12.85/12.90	c |     47778 |   22015   159607   623318 | 2147483647    47563     19 |  2.016 % |
12.95/13.08	c |     48374 |   22015   159607   623318 | 2147483647    48159     19 |  2.016 % |
13.15/13.23	c |     49031 |   22015   159607   623318 | 2147483647    48816     19 |  2.016 % |
13.15/13.26	c |     49131 |   22015   159607   623318 | 2147483647    48916     19 |  2.016 % |
13.15/13.28	c |     49241 |   22015   159607   623318 | 2147483647    49026     19 |  2.016 % |
13.26/13.31	c |     49362 |   22015   159607   623318 | 2147483647    49147     19 |  2.016 % |
13.26/13.36	c |     49495 |   22015   159607   623318 | 2147483647    49280     19 |  2.016 % |
13.36/13.41	c |     49641 |   22015   159607   623318 | 2147483647    49426     19 |  2.016 % |
13.36/13.45	c |     49801 |   22015   159607   623318 | 2147483647    49586     19 |  2.016 % |
13.46/13.50	c |     49977 |   22015   159607   623318 | 2147483647    49762     19 |  2.016 % |
13.46/13.54	c |     50171 |   22015   159607   623318 | 2147483647    49956     19 |  2.016 % |
13.46/13.59	c |     50383 |   22015   159607   623318 | 2147483647    50168     19 |  2.016 % |
13.66/13.71	c |     50620 |   22015   159607   623318 | 2147483647    50405     19 |  2.016 % |
13.66/13.78	c |     50877 |   22015   159607   623318 | 2147483647    50662     19 |  2.016 % |
13.76/13.86	c |     51159 |   22015   159607   623318 | 2147483647    50944     19 |  2.016 % |
13.86/13.96	c |     51468 |   22015   159607   623318 | 2147483647    51253     19 |  2.016 % |
13.96/14.01	c |     51807 |   22015   159607   623318 | 2147483647    51592     19 |  2.016 % |
14.06/14.15	c |     52179 |   22015   159607   623318 | 2147483647    51964     19 |  2.016 % |
14.16/14.24	c |     52589 |   22015   159607   623318 | 2147483647    52374     19 |  2.016 % |
14.26/14.30	c |     53041 |   22015   159607   623318 | 2147483647    52826     19 |  2.016 % |
14.26/14.39	c |     53534 |   22015   159607   623318 | 2147483647    53319     19 |  2.016 % |
14.46/14.53	c |     54076 |   22015   159607   623318 | 2147483647    53861     19 |  2.016 % |
14.56/14.63	c |     54672 |   22015   159607   623318 | 2147483647    54457     19 |  2.016 % |
14.75/14.85	c |     55328 |   22015   159607   623318 | 2147483647    55113     19 |  2.016 % |
14.85/14.96	c |     56048 |   22015   159607   623318 | 2147483647    55833     19 |  2.016 % |
14.95/15.00	c |     56149 |   22015   159607   623318 | 2147483647    55934     19 |  2.016 % |
14.95/15.04	c |     56259 |   22015   159607   623318 | 2147483647    56044     19 |  2.016 % |
14.95/15.08	c |     56380 |   22015   159607   623318 | 2147483647    56165     19 |  2.016 % |
15.05/15.12	c |     56514 |   22015   159607   623318 | 2147483647    56299     19 |  2.016 % |
15.05/15.16	c |     56661 |   22015   159607   623318 | 2147483647    56446     19 |  2.016 % |
15.15/15.20	c |     56821 |   22015   159607   623318 | 2147483647    56606     19 |  2.016 % |
15.15/15.27	c |     56997 |   22015   159607   623318 | 2147483647    56782     19 |  2.016 % |
15.26/15.33	c |     57191 |   22015   159607   623318 | 2147483647    56976     19 |  2.016 % |
15.36/15.41	c |     57403 |   22015   159607   623318 | 2147483647    57188     19 |  2.016 % |
15.45/15.50	c |     57638 |   22012   159588   623240 | 2147483647    57422     19 |  2.030 % |
15.45/15.58	c |     57894 |   22012   159588   623240 | 2147483647    57678     19 |  2.030 % |
15.55/15.66	c |     58176 |   22012   159588   623240 | 2147483647    57960     19 |  2.030 % |
15.65/15.72	c |     58485 |   22012   159588   623240 | 2147483647    58269     19 |  2.030 % |
15.75/15.84	c |     58826 |   22012   159588   623240 | 2147483647    58610     19 |  2.030 % |
15.85/15.98	c |     59198 |   22012   159588   623240 | 2147483647    58982     19 |  2.030 % |
15.95/16.10	c |     59607 |   22012   159588   623240 | 2147483647    59391     19 |  2.030 % |
16.05/16.16	c |     60056 |   22012   159588   623240 | 2147483647    59840     19 |  2.030 % |
16.25/16.31	c |     60551 |   22012   159588   623240 | 2147483647    60335     19 |  2.030 % |
16.36/16.43	c |     61093 |   22010   159588   623240 | 2147483647    60876     19 |  2.043 % |
16.55/16.62	c |     61690 |   22010   159588   623240 | 2147483647    61473     19 |  2.043 % |
16.75/16.81	c |     62347 |   22010   159588   623240 | 2147483647    62130     19 |  2.043 % |
16.95/17.01	c |     63067 |   22010   159588   623240 | 2147483647    62850     19 |  2.043 % |
17.05/17.16	c |     63859 |   22010   159588   623240 | 2147483647    63642     19 |  2.043 % |
17.05/17.19	c |     63962 |   22010   159588   623240 | 2147483647    63745     19 |  2.043 % |
17.15/17.23	c |     64072 |   22010   159588   623240 | 2147483647    63855     19 |  2.043 % |
17.15/17.28	c |     64195 |   22010   159588   623240 | 2147483647    63978     19 |  2.043 % |
17.25/17.31	c |     64328 |   22010   159588   623240 | 2147483647    64111     19 |  2.043 % |
17.25/17.39	c |     64476 |   22010   159588   623240 | 2147483647    64259     19 |  2.043 % |
17.35/17.43	c |     64637 |   22010   159588   623240 | 2147483647    64420     19 |  2.043 % |
17.45/17.51	c |     64813 |   22010   159588   623240 | 2147483647    64596     19 |  2.043 % |
17.45/17.58	c |     65006 |   22010   159588   623240 | 2147483647    64789     19 |  2.043 % |
17.55/17.66	c |     65218 |   22010   159588   623240 | 2147483647    65001     19 |  2.043 % |
17.65/17.76	c |     65452 |   22009   159568   623157 | 2147483647    65232     19 |  2.043 % |
17.75/17.89	c |     65708 |   22009   159568   623157 | 2147483647    65488     19 |  2.043 % |
17.85/18.00	c |     65989 |   22009   159568   623157 | 2147483647    65769     19 |  2.043 % |
17.95/18.08	c |     66303 |   22009   159568   623157 | 2147483647    66083     19 |  2.043 % |
17.95/18.09	c |     66644 |   22009   159568   623157 | 2147483647    66424     19 |  2.043 % |
18.15/18.22	c |     67017 |   22009   159568   623157 | 2147483647    66797     19 |  2.043 % |
18.25/18.35	c |     67426 |   22009   159568   623157 | 2147483647    67206     19 |  2.043 % |
18.35/18.46	c |     67875 |   22009   159568   623157 | 2147483647    67655     19 |  2.043 % |
18.45/18.59	c |     68368 |   22009   159568   623157 | 2147483647    68148     19 |  2.043 % |
18.65/18.71	c |     68912 |   22009   159568   623157 | 2147483647    68692     19 |  2.043 % |
18.85/18.94	c |     69508 |   22009   159568   623157 | 2147483647    69288     19 |  2.043 % |
18.95/19.06	c |     70164 |   22009   159568   623157 | 2147483647    69944     19 |  2.043 % |
19.05/19.14	c |     70884 |   22007   159568   623157 | 2147483647    70663     19 |  2.056 % |
19.34/19.42	c |     71676 |   22007   159568   623157 | 2147483647    71455     19 |  2.056 % |
19.65/19.76	c |     72548 |   22007   159568   623157 | 2147483647    72327     19 |  2.056 % |
19.75/19.82	c |     72648 |   22007   159568   623157 | 2147483647    72427     19 |  2.056 % |
19.75/19.87	c |     72759 |   22007   159568   623157 | 2147483647    72538     19 |  2.056 % |
19.84/19.95	c |     72882 |   22007   159568   623157 | 2147483647    72661     19 |  2.056 % |
19.84/19.97	c |     73015 |   22007   159568   623157 | 2147483647    72794     19 |  2.056 % |
19.94/20.03	c |     73161 |   22007   159568   623157 | 2147483647    72940     19 |  2.056 % |
19.94/20.08	c |     73321 |   22007   159568   623157 | 2147483647    73100     19 |  2.056 % |
20.04/20.14	c |     73497 |   22007   159568   623157 | 2147483647    73276     19 |  2.056 % |
20.14/20.21	c |     73692 |   22007   159568   623157 | 2147483647    73471     19 |  2.056 % |
20.14/20.25	c |     73906 |   22007   159568   623157 | 2147483647    73685     19 |  2.056 % |
20.24/20.31	c |     74139 |   22007   159568   623157 | 2147483647    73918     19 |  2.056 % |
20.44/20.50	c |     74399 |   22007   159568   623157 | 2147483647    74178     19 |  2.056 % |
20.44/20.58	c |     74680 |   22006   159523   622991 | 2147483647    74457     19 |  2.056 % |
20.54/20.68	c |     74989 |   22006   159523   622991 | 2147483647    74766     19 |  2.056 % |
20.75/20.81	c |     75328 |   21973   159523   622991 | 2147483647    75104     19 |  2.559 % |
20.86/20.98	c |     75700 |   21973   159523   622991 | 2147483647    75476     19 |  2.559 % |
20.95/21.08	c |     76110 |   21971   159523   622991 | 2147483647    75886     19 |  2.559 % |
21.05/21.16	c |     76562 |   21971   159523   622991 | 2147483647    76338     19 |  2.559 % |
21.15/21.27	c |     77059 |   21971   159523   622991 | 2147483647    76835     19 |  2.559 % |
21.35/21.45	c |     77602 |   21971   159523   622991 | 2147483647    77378     19 |  2.559 % |
21.55/21.63	c |     78198 |   21971   159523   622991 | 2147483647    77974     19 |  2.559 % |
21.65/21.73	c |     78853 |   21971   159523   622991 | 2147483647    78629     19 |  2.559 % |
21.85/21.92	c |     79575 |   21971   159523   622991 | 2147483647    79351     19 |  2.559 % |
22.05/22.18	c |     80367 |   21971   159523   622991 | 2147483647    80143     19 |  2.559 % |
22.35/22.42	c |     81238 |   21971   159523   622991 | 2147483647    81014     19 |  2.559 % |
22.65/22.72	c |     82196 |   21971   159523   622991 | 2147483647    81972     19 |  2.559 % |
22.65/22.75	c |     82297 |   21971   159523   622991 | 2147483647    82073     19 |  2.559 % |
22.65/22.76	c |     82407 |   21971   159523   622991 | 2147483647    82183     19 |  2.559 % |
22.65/22.79	c |     82528 |   21971   159523   622991 | 2147483647    82304     19 |  2.559 % |
22.75/22.82	c |     82661 |   21956   159523   622991 | 2147483647    82436     19 |  3.351 % |
22.85/22.92	c |     82808 |   21950   159523   622991 | 2147483647    82583     19 |  3.351 % |
22.95/23.01	c |     82968 |   21715   154539   603570 | 2147483647    68677     16 |  3.351 % |
22.95/23.08	c |     83145 |   21715   154539   603570 | 2147483647    68854     16 |  3.351 % |
23.05/23.13	c |     83338 |   21715   154539   603570 | 2147483647    69047     16 |  3.351 % |
23.05/23.15	c |     83554 |   21715   154539   603570 | 2147483647    69263     16 |  3.351 % |
23.14/23.20	c |     83787 |   21715   154539   603570 | 2147483647    69496     16 |  3.351 % |
23.14/23.26	c |     84047 |   21715   154539   603570 | 2147483647    69756     16 |  3.351 % |
23.24/23.34	c |     84328 |   21715   154539   603570 | 2147483647    70037     16 |  3.351 % |
23.34/23.43	c |     84639 |   21715   154539   603570 | 2147483647    70348     17 |  3.351 % |
23.44/23.53	c |     84978 |   21715   154539   603570 | 2147483647    70687     17 |  3.351 % |
23.44/23.59	c |     85350 |   21715   154539   603570 | 2147483647    71059     17 |  3.351 % |
23.64/23.75	c |     85762 |   21715   154539   603570 | 2147483647    71471     17 |  3.351 % |
23.74/23.85	c |     86211 |   21715   154539   603570 | 2147483647    71920     17 |  3.351 % |
23.74/23.89	c |     86704 |   21715   154539   603570 | 2147483647    72413     17 |  3.351 % |
23.94/24.04	c |     87246 |   21715   154539   603570 | 2147483647    72955     17 |  3.351 % |
24.15/24.21	c |     87842 |   21715   154539   603570 | 2147483647    73551     17 |  3.351 % |
24.15/24.24	c |     88498 |   21715   154539   603570 | 2147483647    74207     17 |  3.351 % |
24.24/24.39	c |     89221 |   21715   154539   603570 | 2147483647    74930     17 |  3.351 % |
24.54/24.63	c |     90013 |   21715   154539   603570 | 2147483647    75722     17 |  3.351 % |
24.74/24.83	c |     90884 |   21715   154539   603570 | 2147483647    76593     17 |  3.351 % |
24.84/24.99	c |     91843 |   21715   154539   603570 | 2147483647    77552     17 |  3.351 % |
25.04/25.19	c |     92897 |   21715   154539   603570 | 2147483647    78606     17 |  3.352 % |
25.14/25.23	c |     92997 |   21715   154539   603570 | 2147483647    78706     17 |  3.351 % |
25.14/25.27	c |     93107 |   21715   154539   603570 | 2147483647    78816     17 |  3.351 % |
25.24/25.36	c |     93228 |   21715   154539   603570 | 2147483647    78937     17 |  3.351 % |
25.34/25.41	c |     93361 |   21715   154539   603570 | 2147483647    79070     17 |  3.351 % |
25.34/25.46	c |     93508 |   21715   154539   603570 | 2147483647    79217     17 |  3.351 % |
25.44/25.57	c |     93668 |   21715   154539   603570 | 2147483647    79377     17 |  3.351 % |
25.54/25.60	c |     93844 |   21715   154539   603570 | 2147483647    79553     17 |  3.351 % |
25.54/25.70	c |     94037 |   21715   154539   603570 | 2147483647    79746     17 |  3.351 % |
25.64/25.78	c |     94249 |   21714   154526   603531 | 2147483647    79957     17 |  3.356 % |
25.74/25.81	c |     94485 |   21714   154526   603531 | 2147483647    80193     17 |  3.356 % |
25.84/25.90	c |     94742 |   21714   154526   603531 | 2147483647    80450     17 |  3.356 % |
25.84/25.99	c |     95024 |   21714   154526   603531 | 2147483647    80732     17 |  3.356 % |
25.94/26.05	c |     95335 |   21714   154526   603531 | 2147483647    81043     17 |  3.356 % |
26.04/26.19	c |     95674 |   21714   154526   603531 | 2147483647    81382     17 |  3.356 % |
26.14/26.24	c |     96049 |   21714   154526   603531 | 2147483647    81757     17 |  3.356 % |
26.24/26.36	c |     96459 |   21714   154526   603531 | 2147483647    82167     17 |  3.356 % |
26.34/26.47	c |     96908 |   21714   154526   603531 | 2147483647    82616     17 |  3.356 % |
26.44/26.59	c |     97403 |   21713   154526   603531 | 2147483647    83110     17 |  3.360 % |
26.54/26.68	c |     97946 |   21713   154526   603531 | 2147483647    83653     17 |  3.360 % |
26.74/26.81	c |     98543 |   21713   154526   603531 | 2147483647    84250     17 |  3.360 % |
26.94/27.01	c |     99199 |   21713   154526   603531 | 2147483647    84906     17 |  3.360 % |
27.14/27.23	c |     99920 |   21709   154526   603531 | 2147483647    85626     17 |  3.445 % |
27.34/27.42	c |    100715 |   21709   154526   603531 | 2147483647    86421     17 |  3.445 % |
27.44/27.56	c |    101586 |   21709   154526   603531 | 2147483647    87292     17 |  3.445 % |
27.74/27.89	c |    102545 |   21709   154526   603531 | 2147483647    88251     17 |  3.445 % |
28.04/28.16	c |    103598 |   21709   154526   603531 | 2147483647    89304     17 |  3.445 % |
28.44/28.54	c |    104757 |   21694   154320   602724 | 2147483647    89360     17 |  3.445 % |
28.54/28.60	c |    104857 |   21694   154320   602724 | 2147483647    89460     17 |  3.445 % |
28.54/28.63	c |    104967 |   21694   154320   602724 | 2147483647    89570     17 |  3.445 % |
28.64/28.71	c |    105089 |   21694   154320   602724 | 2147483647    89692     17 |  3.445 % |
28.64/28.77	c |    105223 |   21694   154320   602724 | 2147483647    89826     17 |  3.445 % |
28.73/28.83	c |    105371 |   21694   154320   602724 | 2147483647    89974     17 |  3.445 % |
28.73/28.88	c |    105532 |   21694   154320   602724 | 2147483647    90135     17 |  3.445 % |
28.83/28.95	c |    105708 |   21694   154320   602724 | 2147483647    90311     17 |  3.445 % |
28.93/29.05	c |    105902 |   21694   154320   602724 | 2147483647    90505     17 |  3.445 % |
29.03/29.19	c |    106114 |   21694   154320   602724 | 2147483647    90717     17 |  3.445 % |
29.23/29.33	c |    106347 |   21694   154320   602724 | 2147483647    90950     17 |  3.445 % |
29.23/29.37	c |    106605 |   21694   154320   602724 | 2147483647    91208     17 |  3.445 % |
29.33/29.47	c |    106886 |   21694   154320   602724 | 2147483647    91489     17 |  3.445 % |
29.43/29.55	c |    107195 |   21694   154320   602724 | 2147483647    91798     17 |  3.445 % |
29.54/29.68	c |    107535 |   21694   154320   602724 | 2147483647    92138     17 |  3.445 % |
29.73/29.80	c |    107907 |   21692   154320   602724 | 2147483647    92509     17 |  3.458 % |
29.83/29.95	c |    108317 |   21692   154320   602724 | 2147483647    92919     17 |  3.458 % |
30.03/30.12	c |    108767 |   21692   154320   602724 | 2147483647    93369     17 |  3.458 % |
30.13/30.29	c |    109260 |   21692   154320   602724 | 2147483647    93862     17 |  3.458 % |
30.23/30.34	c |    109805 |   21692   154320   602724 | 2147483647    94407     17 |  3.458 % |
30.53/30.61	c |    110401 |   21691   154320   602724 | 2147483647    95002     17 |  3.463 % |
30.74/30.90	c |    111056 |   21691   154320   602724 | 2147483647    95657     17 |  3.463 % |
30.94/31.02	c |    111776 |   21690   154278   602578 | 2147483647    96308     17 |  3.463 % |
31.04/31.14	c |    112570 |   21690   154278   602578 | 2147483647    97102     17 |  3.463 % |
31.34/31.48	c |    113441 |   21690   154278   602578 | 2147483647    97973     17 |  3.463 % |
31.54/31.66	c |    114399 |   21690   154278   602578 | 2147483647    98931     17 |  3.463 % |
31.63/31.74	c |    115454 |   21690   154278   602578 | 2147483647    99986     17 |  3.463 % |
32.03/32.18	c |    116613 |   21690   154278   602578 | 2147483647   101145     17 |  3.463 % |
32.23/32.33	c |    117887 |   21690   154278   602578 | 2147483647   102419     17 |  3.463 % |
32.23/32.39	c |    117988 |   21690   154278   602578 | 2147483647   102520     17 |  3.463 % |
32.33/32.42	c |    118100 |   21690   154278   602578 | 2147483647   102632     17 |  3.463 % |
32.33/32.43	c |    118222 |   21690   154278   602578 | 2147483647   102754     17 |  3.463 % |
32.33/32.49	c |    118355 |   21690   154278   602578 | 2147483647   102887     17 |  3.463 % |
32.43/32.53	c |    118502 |   21690   154278   602578 | 2147483647   103034     17 |  3.463 % |
32.43/32.58	c |    118663 |   21690   154278   602578 | 2147483647   103195     17 |  3.463 % |
32.53/32.65	c |    118840 |   21690   154278   602578 | 2147483647   103372     17 |  3.463 % |
32.53/32.68	c |    119033 |   21690   154278   602578 | 2147483647   103565     17 |  3.463 % |
32.63/32.77	c |    119246 |   21690   154278   602578 | 2147483647   103778     17 |  3.463 % |
32.73/32.83	c |    119479 |   21690   154278   602578 | 2147483647   104011     17 |  3.463 % |
32.83/32.97	c |    119735 |   21690   154278   602578 | 2147483647   104267     17 |  3.463 % |
33.03/33.12	c |    120016 |   21690   154278   602578 | 2147483647   104548     17 |  3.463 % |
33.13/33.23	c |    120326 |   21689   154278   602578 | 2147483647   104857     17 |  3.467 % |
33.23/33.33	c |    120668 |   21689   154278   602578 | 2147483647   105199     17 |  3.467 % |
33.23/33.35	c |    121041 |   21689   154278   602578 | 2147483647   105572     17 |  3.467 % |
33.33/33.47	c |    121451 |   21686   154278   602578 | 2147483647   105981     17 |  3.481 % |
33.62/33.70	c |    121901 |   21686   154278   602578 | 2147483647   106431     17 |  3.481 % |
33.72/33.82	c |    122394 |   21686   154278   602578 | 2147483647   106924     17 |  3.481 % |
33.93/34.04	c |    122938 |   21686   154278   602578 | 2147483647   107468     17 |  3.481 % |
34.03/34.18	c |    123537 |   21686   154239   602437 | 2147483647   108056     17 |  3.481 % |
34.22/34.35	c |    124192 |   21686   154239   602437 | 2147483647   108711     17 |  3.481 % |
34.42/34.52	c |    124912 |   21686   154239   602437 | 2147483647   109431     17 |  3.481 % |
34.52/34.68	c |    125705 |   21686   154239   602437 | 2147483647   110224     17 |  3.481 % |
34.82/34.99	c |    126577 |   21686   154239   602437 | 2147483647   111096     18 |  3.481 % |
35.23/35.33	c |    127536 |   21686   154239   602437 | 2147483647   112055     18 |  3.481 % |
35.53/35.61	c |    128590 |   21682   154239   602437 | 2147483647   113108     18 |  3.703 % |
36.03/36.11	c |    129748 |   21682   154239   602437 | 2147483647   114266     18 |  3.703 % |
36.13/36.29	c |    131022 |   21682   154239   602437 | 2147483647   115540     18 |  3.703 % |
36.63/36.73	c |    132423 |   21681   154239   602437 | 2147483647   116941     18 |  3.703 % |
36.73/36.82	c |    132530 |   21679   154239   602437 | 2147483647   117047     18 |  4.006 % |
36.83/36.90	c |    132640 |   21664   154239   602437 | 2147483647   117157     18 |  4.006 % |
36.83/36.97	c |    132764 |   21660   154239   602437 | 2147483647   117281     18 |  4.006 % |
36.92/37.04	c |    132897 |   21660   154239   602437 | 2147483647   117414     18 |  4.006 % |
37.02/37.13	c |    133044 |   21660   154239   602437 | 2147483647   117561     18 |  4.006 % |
37.02/37.18	c |    133205 |   21660   154239   602437 | 2147483647   117722     18 |  4.006 % |
37.12/37.24	c |    133383 |   21660   154239   602437 | 2147483647   117900     18 |  4.006 % |
37.23/37.37	c |    133576 |   21657   154239   602437 | 2147483647   118092     18 |  4.019 % |
37.42/37.50	c |    133788 |   21657   154239   602437 | 2147483647   118304     18 |  4.019 % |
37.52/37.67	c |    134021 |   21565   152374   594922 | 2147483647   117658     18 |  4.019 % |
37.62/37.76	c |    134279 |   21565   152374   594922 | 2147483647   117916     18 |  4.019 % |
37.72/37.89	c |    134560 |   21565   152374   594922 | 2147483647   118197     18 |  4.019 % |
37.92/38.01	c |    134871 |   21565   152374   594922 | 2147483647   118508     18 |  4.019 % |
38.02/38.13	c |    135210 |   21565   152374   594922 | 2147483647   118847     18 |  4.019 % |
38.22/38.34	c |    135582 |   21565   152374   594922 | 2147483647   119219     18 |  4.019 % |
38.32/38.45	c |    135993 |   21565   152374   594922 | 2147483647   119630     18 |  4.019 % |
38.52/38.65	c |    136443 |   21564   152374   594922 | 2147483647   120079     18 |  4.032 % |
38.62/38.80	c |    136936 |   21564   152374   594922 | 2147483647   120572     18 |  4.032 % |
38.72/38.90	c |    137478 |   21564   152374   594922 | 2147483647   121114     18 |  4.032 % |
38.92/39.05	c |    138075 |   21564   152374   594922 | 2147483647   121711     18 |  4.032 % |
39.12/39.21	c |    138730 |   21564   152374   594922 | 2147483647   122366     18 |  4.032 % |
39.32/39.43	c |    139450 |   21564   152374   594922 | 2147483647   123086     18 |  4.032 % |
39.52/39.69	c |    140243 |   21564   152374   594922 | 2147483647   123879     18 |  4.032 % |
39.81/39.97	c |    141115 |   21564   152374   594922 | 2147483647   124751     18 |  4.032 % |
40.21/40.32	c |    142073 |   21564   152374   594922 | 2147483647   125709     18 |  4.032 % |
40.52/40.67	c |    143126 |   21564   152374   594922 | 2147483647   126762     18 |  4.032 % |
40.81/40.99	c |    144285 |   21564   152374   594922 | 2147483647   127921     18 |  4.032 % |
41.21/41.38	c |    145559 |   21564   152374   594922 | 2147483647   129195     18 |  4.032 % |
41.81/41.93	c |    146961 |   21562   152356   594865 | 2147483647   130596     18 |  4.032 % |
42.31/42.40	c |    148502 |   21562   152356   594865 | 2147483647   132137     18 |  4.032 % |
42.31/42.46	c |    148602 |   21562   152356   594865 | 2147483647   132237     18 |  4.032 % |
42.41/42.51	c |    148712 |   21561   152356   594865 | 2147483647   132346     18 |  4.037 % |
42.41/42.57	c |    148833 |   21561   152356   594865 | 2147483647   132467     18 |  4.037 % |
42.51/42.68	c |    148966 |   21561   152356   594865 | 2147483647   132600     18 |  4.037 % |
42.61/42.78	c |    149114 |   21561   152356   594865 | 2147483647   132748     18 |  4.037 % |
42.71/42.87	c |    149275 |   21561   152356   594865 | 2147483647   132909     18 |  4.037 % |
42.91/43.01	c |    149452 |   21561   152356   594865 | 2147483647   133086     18 |  4.037 % |
43.00/43.15	c |    149647 |   21561   152356   594865 | 2147483647   133281     18 |  4.037 % |
43.20/43.30	c |    149859 |   21561   152356   594865 | 2147483647   133493     18 |  4.037 % |
43.30/43.47	c |    150092 |   21561   152356   594865 | 2147483647   133726     18 |  4.037 % |
43.40/43.57	c |    150348 |   21561   152356   594865 | 2147483647   133982     18 |  4.037 % |
43.60/43.72	c |    150629 |   21561   152356   594865 | 2147483647   134263     18 |  4.037 % |
43.71/43.88	c |    150938 |   21561   152356   594865 | 2147483647   134572     18 |  4.037 % |
43.92/44.07	c |    151277 |   21561   152356   594865 | 2147483647   134911     18 |  4.037 % |
44.11/44.27	c |    151650 |   21561   152356   594865 | 2147483647   135284     18 |  4.037 % |
44.31/44.42	c |    152062 |   21561   152356   594865 | 2147483647   135696     18 |  4.037 % |
44.41/44.59	c |    152511 |   21558   152356   594865 | 2147483647   136144     18 |  4.081 % |
44.61/44.75	c |    153006 |   21558   152356   594865 | 2147483647   136639     18 |  4.081 % |
44.92/45.02	c |    153548 |   21558   152356   594865 | 2147483647   137181     18 |  4.081 % |
45.11/45.24	c |    154145 |   21558   152356   594865 | 2147483647   137778     18 |  4.081 % |
45.21/45.37	c |    154800 |   21558   152356   594865 | 2147483647   138433     18 |  4.081 % |
45.51/45.64	c |    155521 |   21558   152356   594865 | 2147483647   139154     18 |  4.081 % |
45.81/45.91	c |    156313 |   21556   152356   594865 | 2147483647   139946     18 |  4.081 % |
46.31/46.45	c |    157184 |   21551   152228   594402 | 2147483647   139209     18 |  4.081 % |
46.51/46.65	c |    158142 |   21551   152228   594402 | 2147483647   140167     18 |  4.081 % |
47.01/47.13	c |    159196 |   21551   152228   594402 | 2147483647   141221     18 |  4.081 % |
47.41/47.50	c |    160355 |   21551   152228   594402 | 2147483647   142380     18 |  4.081 % |
47.61/47.75	c |    161629 |   21548   152228   594402 | 2147483647   143653     19 |  4.095 % |
48.21/48.34	c |    163030 |   21548   152228   594402 | 2147483647   145054     19 |  4.095 % |
48.80/48.98	c |    164571 |   21548   152228   594402 | 2147483647   146595     19 |  4.095 % |
49.50/49.63	c |    166265 |   21548   152228   594402 | 2147483647   148289     19 |  4.095 % |
49.60/49.71	c |    166365 |   21548   152228   594402 | 2147483647   148389     19 |  4.095 % |
49.60/49.77	c |    166475 |   21548   152228   594402 | 2147483647   148499     19 |  4.095 % |
49.70/49.83	c |    166597 |   21548   152228   594402 | 2147483647   148621     19 |  4.095 % |
49.80/49.93	c |    166733 |   21548   152228   594402 | 2147483647   148757     19 |  4.095 % |
49.90/50.03	c |    166879 |   21548   152228   594402 | 2147483647   148903     19 |  4.095 % |
49.90/50.06	c |    167042 |   21548   152228   594402 | 2147483647   149066     19 |  4.095 % |
50.00/50.19	c |    167219 |   21548   152228   594402 | 2147483647   149243     19 |  4.095 % |
50.20/50.33	c |    167413 |   21548   152228   594402 | 2147483647   149437     19 |  4.095 % |
50.30/50.46	c |    167626 |   21548   152228   594402 | 2147483647   149650     19 |  4.095 % |
50.50/50.61	c |    167859 |   21548   152228   594402 | 2147483647   149883     19 |  4.095 % |
50.60/50.77	c |    168115 |   21548   152228   594402 | 2147483647   150139     19 |  4.095 % |
50.90/51.03	c |    168397 |   21548   152228   594402 | 2147483647   150421     19 |  4.095 % |
51.00/51.19	c |    168706 |   21548   152201   594295 | 2147483647   150727     19 |  4.095 % |
51.10/51.27	c |    169046 |   21548   152201   594295 | 2147483647   151067     19 |  4.095 % |
51.30/51.46	c |    169418 |   21548   152201   594295 | 2147483647   151439     19 |  4.095 % |
51.60/51.73	c |    169828 |   21548   152201   594295 | 2147483647   151849     19 |  4.095 % |
51.70/51.88	c |    170277 |   21548   152201   594295 | 2147483647   152298     19 |  4.095 % |
51.90/52.09	c |    170770 |   21548   152201   594295 | 2147483647   152791     19 |  4.095 % |
52.10/52.23	c |    171312 |   21548   152201   594295 | 2147483647   153333     19 |  4.095 % |
52.30/52.44	c |    171909 |   21548   152201   594295 | 2147483647   153930     19 |  4.095 % |
52.61/52.78	c |    172564 |   21548   152201   594295 | 2147483647   154585     19 |  4.095 % |
52.90/53.07	c |    173284 |   21548   152201   594295 | 2147483647   155305     19 |  4.095 % |
53.40/53.56	c |    174076 |   21548   152201   594295 | 2147483647   156097     19 |  4.095 % |
53.60/53.77	c |    174949 |   21548   152201   594295 | 2147483647   156970     19 |  4.095 % |
53.81/54.00	c |    175907 |   21548   152201   594295 | 2147483647   157928     19 |  4.095 % |
54.10/54.21	c |    176960 |   21548   152201   594295 | 2147483647   158981     19 |  4.095 % |
54.50/54.66	c |    178119 |   21548   152201   594295 | 2147483647   160140     19 |  4.095 % |
55.30/55.44	c |    179392 |   21548   152201   594295 | 2147483647   161413     19 |  4.095 % |
55.80/56.00	c |    180792 |   21548   152201   594295 | 2147483647   162813     19 |  4.095 % |
56.30/56.44	c |    182332 |   21548   152201   594295 | 2147483647   164353     19 |  4.095 % |
57.10/57.28	c |    184026 |   21548   152201   594295 | 2147483647   166047     19 |  4.095 % |
57.89/58.01	c |    185892 |   21548   152201   594295 | 2147483647   167913     19 |  4.095 % |
57.89/58.02	c |    185993 |   21548   152201   594295 | 2147483647   168014     19 |  4.095 % |
57.99/58.11	c |    186103 |   21548   152201   594295 | 2147483647   168124     19 |  4.095 % |
58.10/58.21	c |    186224 |   21548   152201   594295 | 2147483647   168245     19 |  4.095 % |
58.10/58.25	c |    186358 |   21548   152201   594295 | 2147483647   168379     19 |  4.095 % |
58.20/58.35	c |    186506 |   21548   152201   594295 | 2147483647   168527     19 |  4.095 % |
58.29/58.44	c |    186666 |   21548   152201   594295 | 2147483647   168687     19 |  4.095 % |
58.39/58.50	c |    186842 |   21548   152201   594295 | 2147483647   168863     19 |  4.095 % |
58.39/58.55	c |    187035 |   21548   152201   594295 | 2147483647   169056     19 |  4.095 % |
58.49/58.63	c |    187247 |   21548   152201   594295 | 2147483647   169268     19 |  4.095 % |
58.59/58.76	c |    187480 |   21548   152201   594295 | 2147483647   169501     19 |  4.095 % |
58.89/59.01	c |    187736 |   21542   152196   594273 | 2147483647   169696     19 |  4.126 % |
59.09/59.21	c |    188018 |   21542   152196   594273 | 2147483647   169978     19 |  4.126 % |
59.20/59.37	c |    188327 |   21542   152196   594273 | 2147483647   170287     19 |  4.126 % |
59.49/59.62	c |    188666 |   21542   152196   594273 | 2147483647   170626     19 |  4.126 % |
59.59/59.79	c |    189040 |   21542   152196   594273 | 2147483647   171000     20 |  4.126 % |
59.79/59.96	c |    189449 |   21542   152196   594273 | 2147483647   171409     20 |  4.126 % |
59.99/60.13	c |    189898 |   21542   152196   594273 | 2147483647   171858     20 |  4.126 % |
60.09/60.28	c |    190392 |   21542   152196   594273 | 2147483647   172352     20 |  4.126 % |
60.59/60.76	c |    190935 |   21541   152196   594273 | 2147483647   172894     20 |  4.139 % |
60.99/61.15	c |    191531 |   21541   152196   594273 | 2147483647   173490     20 |  4.139 % |
61.19/61.30	c |    192191 |   21541   152196   594273 | 2147483647   174150     20 |  4.139 % |
61.19/61.37	c |    192912 |   21541   152196   594273 | 2147483647   174871     20 |  4.139 % |
61.59/61.72	c |    193704 |   21541   152196   594273 | 2147483647   175663     20 |  4.139 % |
61.79/61.92	c |    194576 |   21541   152196   594273 | 2147483647   176535     20 |  4.139 % |
62.09/62.24	c |    195534 |   21541   152196   594273 | 2147483647   177493     20 |  4.139 % |
62.39/62.51	c |    196588 |   21541   152196   594273 | 2147483647   178547     20 |  4.139 % |
62.59/62.78	c |    197746 |   21541   152196   594273 | 2147483647   179705     20 |  4.139 % |
62.99/63.18	c |    199020 |   21541   152196   594273 | 2147483647   180979     20 |  4.139 % |
63.39/63.54	c |    200421 |   21541   152196   594273 | 2147483647   182380     20 |  4.139 % |
63.99/64.12	c |    201961 |   21541   152196   594273 | 2147483647   183920     20 |  4.139 % |
64.80/64.90	c |    203655 |   21541   152196   594273 | 2147483647   185614     20 |  4.139 % |
66.10/66.26	c |    205518 |   21536   151956   593545 | 2147483647   187425     20 |  4.148 % |
67.50/67.63	c |    207568 |   21536   151956   593545 | 2147483647   189475     20 |  4.148 % |
67.50/67.67	c |    207669 |   21536   151956   593545 | 2147483647   189576     20 |  4.148 % |
67.60/67.74	c |    207779 |   21536   151956   593545 | 2147483647   189686     20 |  4.148 % |
67.70/67.89	c |    207900 |   21536   151956   593545 | 2147483647   189807     20 |  4.148 % |
67.79/67.98	c |    208033 |   21536   151956   593545 | 2147483647   189940     20 |  4.148 % |
67.89/68.08	c |    208179 |   21536   151956   593545 | 2147483647   190086     20 |  4.148 % |
68.00/68.14	c |    208339 |   21536   151956   593545 | 2147483647   190246     20 |  4.148 % |
68.10/68.26	c |    208515 |   21536   151956   593545 | 2147483647   190422     20 |  4.148 % |
68.29/68.43	c |    208710 |   21536   151956   593545 | 2147483647   190617     20 |  4.148 % |
68.39/68.56	c |    208923 |   21536   151956   593545 | 2147483647   190830     20 |  4.148 % |
68.49/68.64	c |    209156 |   21536   151956   593545 | 2147483647   191063     20 |  4.148 % |
68.49/68.67	c |    209416 |   21536   151956   593545 | 2147483647   191323     20 |  4.148 % |
68.79/68.91	c |    209698 |   21536   151956   593545 | 2147483647   191605     20 |  4.148 % |
68.99/69.15	c |    210008 |   21536   151956   593545 | 2147483647   191915     20 |  4.148 % |
69.09/69.29	c |    210349 |   21536   151956   593545 | 2147483647   192256     20 |  4.148 % |
69.19/69.31	c |    210721 |   21536   151956   593545 | 2147483647   192628     20 |  4.148 % |
69.49/69.65	c |    211130 |   21536   151956   593545 | 2147483647   193037     20 |  4.148 % |
69.89/70.05	c |    211580 |   21536   151956   593545 | 2147483647   193487     20 |  4.148 % |
70.29/70.42	c |    212073 |   21536   151956   593545 | 2147483647   193980     20 |  4.148 % |
70.49/70.69	c |    212615 |   21536   151956   593545 | 2147483647   194522     20 |  4.148 % |
70.59/70.74	c |    213211 |   21536   151956   593545 | 2147483647   195118     20 |  4.148 % |
70.99/71.17	c |    213866 |   21536   151956   593545 | 2147483647   195773     20 |  4.148 % |
71.29/71.44	c |    214586 |   21536   151956   593545 | 2147483647   196493     20 |  4.148 % |
71.59/71.79	c |    215379 |   21536   151956   593545 | 2147483647   197286     20 |  4.148 % |
71.99/72.19	c |    216250 |   21536   151956   593545 | 2147483647   198157     20 |  4.148 % |
72.49/72.65	c |    217209 |   21536   151956   593545 | 2147483647   199116     20 |  4.148 % |
73.19/73.32	c |    218262 |   21536   151956   593545 | 2147483647   200169     20 |  4.148 % |
73.79/73.94	c |    219420 |   21536   151956   593545 | 2147483647   201327     20 |  4.148 % |
74.09/74.22	c |    220694 |   21536   151956   593545 | 2147483647   202601     20 |  4.148 % |
75.09/75.28	c |    222098 |   21536   151956   593545 | 2147483647   204005     20 |  4.148 % |
75.69/75.82	c |    223638 |   21536   151956   593545 | 2147483647   205545     20 |  4.148 % |
76.29/76.45	c |    225332 |   21536   151956   593545 | 2147483647   207239     20 |  4.148 % |
76.69/76.82	c |    227195 |   21536   151956   593545 | 2147483647   209102     21 |  4.148 % |
77.78/77.97	c |    229244 |   21536   151956   593545 | 2147483647   211151     21 |  4.148 % |
78.58/78.79	c |    231497 |   21536   151956   593545 | 2147483647   213404     21 |  4.148 % |
78.68/78.87	c |    231597 |   21536   151956   593545 | 2147483647   213504     21 |  4.148 % |
78.78/78.97	c |    231708 |   21536   151956   593545 | 2147483647   213615     21 |  4.148 % |
78.78/78.99	c |    231830 |   21536   151956   593545 | 2147483647   213737     21 |  4.148 % |
78.88/79.08	c |    231964 |   21536   151956   593545 | 2147483647   213871     21 |  4.148 % |
78.99/79.19	c |    232113 |   21536   151956   593545 | 2147483647   214020     21 |  4.148 % |
79.09/79.27	c |    232273 |   21536   151956   593545 | 2147483647   214180     21 |  4.148 % |
79.18/79.33	c |    232449 |   21536   151956   593545 | 2147483647   214356     21 |  4.148 % |
79.38/79.50	c |    232643 |   21536   151956   593545 | 2147483647   214550     21 |  4.148 % |
79.58/79.72	c |    232855 |   21536   151956   593545 | 2147483647   214762     21 |  4.148 % |
79.78/79.98	c |    233090 |   21536   151956   593545 | 2147483647   214997     21 |  4.148 % |
80.08/80.21	c |    233347 |   21536   151956   593545 | 2147483647   215254     21 |  4.148 % |
80.18/80.39	c |    233628 |   21536   151956   593545 | 2147483647   215535     21 |  4.148 % |
80.38/80.52	c |    233937 |   21536   151956   593545 | 2147483647   215844     21 |  4.148 % |
80.58/80.73	c |    234276 |   21536   151956   593545 | 2147483647   216183     21 |  4.148 % |
80.88/81.06	c |    234651 |   21536   151956   593545 | 2147483647   216558     21 |  4.148 % |
80.88/81.08	c |    235060 |   21536   151956   593545 | 2147483647   216967     21 |  4.148 % |
81.38/81.50	c |    235509 |   21536   151956   593545 | 2147483647   217416     21 |  4.148 % |
81.48/81.64	c |    236002 |   21536   151956   593545 | 2147483647   217909     21 |  4.148 % |
81.88/82.00	c |    236544 |   21536   151956   593545 | 2147483647   218451     21 |  4.148 % |
81.98/82.19	c |    237140 |   21536   151956   593545 | 2147483647   219047     21 |  4.148 % |
82.58/82.76	c |    237797 |   21536   151956   593545 | 2147483647   219704     21 |  4.148 % |
83.28/83.46	c |    238517 |   21536   151956   593545 | 2147483647   220424     21 |  4.148 % |
83.69/83.88	c |    239312 |   21536   151956   593545 | 2147483647   221219     21 |  4.148 % |
83.89/84.09	c |    240183 |   21536   151956   593545 | 2147483647   222090     21 |  4.148 % |
84.89/85.05	c |    241141 |   21536   151956   593545 | 2147483647   223048     21 |  4.148 % |
85.19/85.32	c |    242196 |   21536   151956   593545 | 2147483647   224103     21 |  4.148 % |
85.69/85.88	c |    243354 |   21536   151956   593545 | 2147483647   225261     21 |  4.148 % |
85.98/86.13	c |    244627 |   21536   151956   593545 | 2147483647   226534     21 |  4.148 % |
86.98/87.19	c |    246027 |   21536   151956   593545 | 2147483647   227934     21 |  4.148 % |
87.79/87.96	c |    247567 |   21536   151956   593545 | 2147483647   229474     21 |  4.148 % |
88.58/88.72	c |    249262 |   21536   151956   593545 | 2147483647   231169     21 |  4.148 % |
89.68/89.86	c |    251126 |   21536   151956   593545 | 2147483647   233033     21 |  4.148 % |
91.48/91.61	c |    253177 |   21536   151956   593545 | 2147483647   235084     21 |  4.148 % |
93.28/93.41	c |    255431 |   21536   151956   593545 | 2147483647   237338     21 |  4.148 % |
93.88/94.01	c |    257909 |   21536   151956   593545 | 2147483647   239816     21 |  4.148 % |
93.88/94.08	c |    258009 |   21536   151956   593545 | 2147483647   239916     21 |  4.148 % |
94.07/94.21	c |    258119 |   21536   151956   593545 | 2147483647   240026     21 |  4.148 % |
94.17/94.36	c |    258241 |   21536   151956   593545 | 2147483647   240148     21 |  4.148 % |
94.38/94.50	c |    258376 |   21536   151956   593545 | 2147483647   240283     21 |  4.148 % |
94.38/94.55	c |    258527 |   21536   151956   593545 | 2147483647   240434     21 |  4.148 % |
94.57/94.74	c |    258688 |   21536   151956   593545 | 2147483647   240595     21 |  4.148 % |
94.77/94.92	c |    258865 |   21536   151956   593545 | 2147483647   240772     21 |  4.148 % |
94.97/95.13	c |    259058 |   21536   151956   593545 | 2147483647   240965     21 |  4.148 % |
95.27/95.43	c |    259271 |   21535   151931   593465 | 2147483647   241176     21 |  4.153 % |
95.37/95.57	c |    259504 |   21535   151931   593465 | 2147483647   241409     21 |  4.153 % |
95.67/95.86	c |    259761 |   21535   151931   593465 | 2147483647   241666     21 |  4.153 % |
95.97/96.14	c |    260044 |   21535   151931   593465 | 2147483647   241949     21 |  4.153 % |
96.27/96.48	c |    260354 |   21535   151931   593465 | 2147483647   242259     21 |  4.153 % |
96.48/96.65	c |    260693 |   21535   151931   593465 | 2147483647   242598     21 |  4.153 % |
96.88/97.05	c |    261067 |   21535   151931   593465 | 2147483647   242972     21 |  4.153 % |
97.08/97.27	c |    261479 |   21535   151931   593465 | 2147483647   243384     21 |  4.153 % |
97.48/97.61	c |    261929 |   21535   151931   593465 | 2147483647   243834     21 |  4.153 % |
97.48/97.70	c |    262429 |   21535   151931   593465 | 2147483647   244334     21 |  4.153 % |
97.88/98.05	c |    262971 |   21535   151931   593465 | 2147483647   244876     21 |  4.153 % |
98.18/98.36	c |    263568 |   21535   151931   593465 | 2147483647   245473     21 |  4.153 % |
98.38/98.54	c |    264223 |   21535   151931   593465 | 2147483647   246128     21 |  4.153 % |
98.98/99.16	c |    264943 |   21535   151931   593465 | 2147483647   246848     21 |  4.153 % |
99.38/99.55	c |    265738 |   21535   151931   593465 | 2147483647   247643     21 |  4.153 % |
99.88/100.07	c |    266610 |   21535   151931   593465 | 2147483647   248515     21 |  4.153 % |
100.57/100.78	c |    267571 |   21535   151931   593465 | 2147483647   249476     21 |  4.153 % |
101.27/101.41	c |    268624 |   21535   151931   593465 | 2147483647   250529     21 |  4.153 % |
101.77/101.98	c |    269784 |   21535   151931   593465 | 2147483647   251689     22 |  4.153 % |
102.87/103.06	c |    271057 |   21535   151931   593465 | 2147483647   252962     22 |  4.153 % |
103.57/103.74	c |    272457 |   21535   151931   593465 | 2147483647   254362     22 |  4.153 % |
104.67/104.86	c |    273997 |   21535   151931   593465 | 2147483647   255902     22 |  4.153 % |
105.17/105.34	c |    275692 |   21535   151931   593465 | 2147483647   257597     22 |  4.153 % |
106.37/106.53	c |    277555 |   21535   151931   593465 | 2147483647   259460     22 |  4.153 % |
106.98/107.14	c |    279605 |   21535   151931   593465 | 2147483647   261510     22 |  4.153 % |
108.87/109.09	c |    281859 |   21535   151931   593465 | 2147483647   263764     22 |  4.153 % |
110.17/110.35	c |    284339 |   21535   151931   593465 | 2147483647   266244     22 |  4.153 % |
112.57/112.77	c |    287064 |   21535   151931   593465 | 2147483647   268969     22 |  4.153 % |
112.67/112.88	c |    287164 |   21535   151931   593465 | 2147483647   269069     22 |  4.153 % |
112.87/113.01	c |    287274 |   21535   151931   593465 | 2147483647   269179     22 |  4.153 % |
112.87/113.09	c |    287398 |   21535   151931   593465 | 2147483647   269303     22 |  4.153 % |
112.97/113.12	c |    287534 |   21535   151931   593465 | 2147483647   269439     22 |  4.153 % |
113.07/113.24	c |    287680 |   21535   151931   593465 | 2147483647   269585     22 |  4.153 % |
113.07/113.27	c |    287840 |   21535   151931   593465 | 2147483647   269745     22 |  4.153 % |
113.27/113.40	c |    288018 |   21535   151931   593465 | 2147483647   269923     22 |  4.153 % |
113.37/113.58	c |    288214 |   21535   151931   593465 | 2147483647   270119     22 |  4.153 % |
113.57/113.70	c |    288426 |   21535   151931   593465 | 2147483647   270331     22 |  4.153 % |
113.67/113.80	c |    288659 |   21535   151931   593465 | 2147483647   270564     22 |  4.153 % |
113.87/114.02	c |    288915 |   21535   151931   593465 | 2147483647   270820     22 |  4.153 % |
113.97/114.19	c |    289197 |   21535   151931   593465 | 2147483647   271102     22 |  4.153 % |
114.17/114.33	c |    289507 |   21535   151931   593465 | 2147483647   271412     22 |  4.153 % |
114.27/114.46	c |    289846 |   21535   151931   593465 | 2147483647   271751     22 |  4.153 % |
114.66/114.87	c |    290218 |   21535   151931   593465 | 2147483647   272123     22 |  4.153 % |
115.06/115.20	c |    290627 |   21535   151931   593465 | 2147483647   272532     22 |  4.153 % |
115.27/115.43	c |    291077 |   21535   151931   593465 | 2147483647   272982     22 |  4.153 % |
115.56/115.73	c |    291571 |   21535   151931   593465 | 2147483647   273476     22 |  4.153 % |
115.76/115.97	c |    292114 |   21535   151931   593465 | 2147483647   274019     22 |  4.153 % |
116.06/116.29	c |    292710 |   21535   151931   593465 | 2147483647   274615     22 |  4.153 % |
116.37/116.50	c |    293368 |   21535   151931   593465 | 2147483647   275273     22 |  4.153 % |
116.77/116.98	c |    294088 |   21535   151931   593465 | 2147483647   275993     22 |  4.153 % |
117.27/117.47	c |    294880 |   21535   151931   593465 | 2147483647   276785     22 |  4.153 % |
117.87/118.08	c |    295752 |   21535   151931   593465 | 2147483647   277657     22 |  4.153 % |
118.87/119.08	c |    296711 |   21535   151931   593465 | 2147483647   278616     22 |  4.153 % |
119.37/119.55	c |    297766 |   21535   151931   593465 | 2147483647   279671     22 |  4.153 % |
120.57/120.75	c |    298926 |   21535   151931   593465 | 2147483647   280831     22 |  4.153 % |
121.27/121.42	c |    300199 |   21535   151931   593465 |   281907   282104     22 |  4.153 % |
122.36/122.56	c |    301599 |   21535   151931   593465 |   281907   283504     22 |  4.153 % |
123.66/123.89	c |    303141 |   21535   151931   593465 |   281907   248194     22 |  4.153 % |
124.56/124.73	c |    304836 |   21535   151931   593465 |   281907   249889     22 |  4.153 % |
126.06/126.25	c |    306700 |   21535   151931   593465 |   281907   251753     22 |  4.153 % |
127.06/127.21	c |    308750 |   21535   151931   593465 |   281907   253803     22 |  4.153 % |
128.16/128.32	c |    311003 |   21535   151931   593465 |   255053   256056     22 |  4.153 % |
130.26/130.49	c |    313481 |   21535   151931   593465 |   255053   214188     23 |  4.153 % |
132.06/132.21	c |    316206 |   21535   151931   593465 |   255053   216913     23 |  4.153 % |
133.66/133.86	c |    319203 |   21535   151931   593465 |   255053   219910     23 |  4.153 % |
133.86/134.03	c |    319303 |   21535   151931   593465 |   255053   220010     23 |  4.153 % |
133.96/134.13	c |    319413 |   21535   151931   593465 |   255053   220120     23 |  4.153 % |
134.06/134.24	c |    319534 |   21535   151931   593465 |   255053   220241     23 |  4.153 % |
134.16/134.32	c |    319669 |   21535   151931   593465 |   255053   220376     23 |  4.153 % |
134.26/134.40	c |    319816 |   21535   151931   593465 |   255053   220523     23 |  4.153 % |
134.36/134.58	c |    319978 |   21535   151931   593465 |   255053   220685     23 |  4.153 % |
134.66/134.81	c |    320154 |   21535   151931   593465 |   220707   220861     23 |  4.153 % |
134.76/134.90	c |    320347 |   21535   151931   593465 |   220707   221054     23 |  4.153 % |
134.86/135.02	c |    320559 |   21535   151931   593465 |   220707   221266     23 |  4.153 % |
135.06/135.22	c |    320794 |   21535   151931   593465 |   220707   221501     23 |  4.153 % |
135.36/135.51	c |    321050 |   21535   151931   593465 |   220707   221757     23 |  4.153 % |
135.86/136.09	c |    321331 |   21535   151931   593465 |   220707   188701     23 |  4.153 % |
136.06/136.20	c |    321641 |   21535   151931   593465 |   220707   189011     23 |  4.153 % |
136.36/136.54	c |    321981 |   21534   151912   593415 |   220707   189000     23 |  4.157 % |
136.66/136.82	c |    322354 |   21534   151912   593415 |   220707   189373     23 |  4.157 % |
136.96/137.14	c |    322763 |   21534   151912   593415 |   220707   189782     23 |  4.157 % |
137.26/137.41	c |    323212 |   21534   151912   593415 |   220707   190231     23 |  4.157 % |
137.56/137.76	c |    323705 |   21533   151912   593415 |   220707   190723     23 |  4.161 % |
137.76/137.94	c ===============================================================================
137.76/137.94	c restarts              : 723
137.76/137.94	c conflicts             : 323925         (2407 /sec)
137.76/137.94	c decisions             : 1745433        (1.59 % random) (12970 /sec)
137.76/137.94	c propagations          : 75322072       (559714 /sec)
137.76/137.94	c conflict literals     : 7293475        (25.41 % deleted)
137.76/137.94	c Memory used           : 47.24 MB
137.76/137.94	c CPU time              : 134.573 s
137.76/137.94	c 
137.76/137.94	s UNSATISFIABLE
137.76/137.95	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-1834227-1242828822/watcher-1834227-1242828822 -o /tmp/evaluation-result-1834227-1242828822/solver-1834227-1242828822 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834227-1242828822.cnf 

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


[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 10578
/proc/meminfo: memFree=1768696/2055920 swapFree=4180072/4192956
[pid=10578] ppid=10576 vsize=5356 CPUtime=0
/proc/10578/stat : 10578 (SatELiteGTI) S 10576 10578 10257 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310915714 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10578/statm: 1339 237 197 169 0 50 0

[startup+0.045825 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 10578
/proc/meminfo: memFree=1768696/2055920 swapFree=4180072/4192956
[pid=10578] ppid=10576 vsize=5356 CPUtime=0
/proc/10578/stat : 10578 (SatELiteGTI) S 10576 10578 10257 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310915714 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10578/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.10183 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 10578
/proc/meminfo: memFree=1768696/2055920 swapFree=4180072/4192956
[pid=10578] ppid=10576 vsize=5356 CPUtime=0
/proc/10578/stat : 10578 (SatELiteGTI) S 10576 10578 10257 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310915714 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10578/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301853 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 10578
/proc/meminfo: memFree=1768696/2055920 swapFree=4180072/4192956
[pid=10578] ppid=10576 vsize=5356 CPUtime=0
/proc/10578/stat : 10578 (SatELiteGTI) S 10576 10578 10257 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310915714 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10578/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701898 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 10578
/proc/meminfo: memFree=1768696/2055920 swapFree=4180072/4192956
[pid=10578] ppid=10576 vsize=5356 CPUtime=0
/proc/10578/stat : 10578 (SatELiteGTI) S 10576 10578 10257 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310915714 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10578/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50199 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10583
/proc/meminfo: memFree=1709992/2055920 swapFree=4180072/4192956
[pid=10578] ppid=10576 vsize=5356 CPUtime=0
/proc/10578/stat : 10578 (SatELiteGTI) S 10576 10578 10257 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310915714 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10578/statm: 1339 237 197 169 0 50 0
[pid=10582] ppid=10578 vsize=59656 CPUtime=1.48
/proc/10582/stat : 10582 (SatELite_releas) R 10578 10578 10257 0 -1 4194304 15235 0 0 0 139 9 0 0 25 0 1 0 310915715 61087744 14143 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/10582/statm: 14914 14143 76 173 0 14739 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 65012

[startup+3.10117 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10583
/proc/meminfo: memFree=1699560/2055920 swapFree=4180072/4192956
[pid=10578] ppid=10576 vsize=5356 CPUtime=0
/proc/10578/stat : 10578 (SatELiteGTI) S 10576 10578 10257 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310915714 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10578/statm: 1339 237 197 169 0 50 0
[pid=10582] ppid=10578 vsize=0 CPUtime=3.08
/proc/10582/stat : 10582 (SatELite_releas) R 10578 10578 10257 0 -1 4194308 17192 0 0 0 293 15 0 0 25 0 1 0 310915715 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/10582/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 5356

[startup+6.30154 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10584
/proc/meminfo: memFree=1740392/2055920 swapFree=4180072/4192956
[pid=10578] ppid=10576 vsize=5356 CPUtime=3.09
/proc/10578/stat : 10578 (SatELiteGTI) S 10576 10578 10257 0 -1 4194304 336 17441 0 0 0 0 293 16 16 0 1 0 310915714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10578/statm: 1339 239 197 169 0 50 0
[pid=10584] ppid=10578 vsize=13996 CPUtime=3.17
/proc/10584/stat : 10584 (minisat_static) R 10578 10578 10257 0 -1 4194304 3268 0 0 0 316 1 0 0 25 0 1 0 310916025 14331904 3254 1992294400 134512640 135215339 4294956240 18446744073709551615 134527417 0 0 4096 3 0 0 0 17 1 0 0
/proc/10584/statm: 3499 3254 77 171 0 3326 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 19352

[startup+12.7013 s]
/proc/loadavg: 1.07 1.00 1.00 2/66 10584
/proc/meminfo: memFree=1736624/2055920 swapFree=4180072/4192956
[pid=10578] ppid=10576 vsize=5356 CPUtime=3.09
/proc/10578/stat : 10578 (SatELiteGTI) S 10576 10578 10257 0 -1 4194304 336 17441 0 0 0 0 293 16 16 0 1 0 310915714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10578/statm: 1339 239 197 169 0 50 0
[pid=10584] ppid=10578 vsize=17436 CPUtime=9.56
/proc/10584/stat : 10584 (minisat_static) R 10578 10578 10257 0 -1 4194304 4137 0 0 0 953 3 0 0 25 0 1 0 310916025 17854464 4123 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/10584/statm: 4359 4123 77 171 0 4186 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 22792

[startup+25.5017 s]
/proc/loadavg: 1.06 1.00 1.00 2/66 10584
/proc/meminfo: memFree=1732208/2055920 swapFree=4180072/4192956
[pid=10578] ppid=10576 vsize=5356 CPUtime=3.09
/proc/10578/stat : 10578 (SatELiteGTI) S 10576 10578 10257 0 -1 4194304 336 17441 0 0 0 0 293 16 16 0 1 0 310915714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10578/statm: 1339 239 197 169 0 50 0
[pid=10584] ppid=10578 vsize=21656 CPUtime=22.35
/proc/10584/stat : 10584 (minisat_static) R 10578 10578 10257 0 -1 4194304 5187 0 0 0 2230 5 0 0 25 0 1 0 310916025 22175744 5173 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10584/statm: 5414 5173 77 171 0 5241 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 27012

[startup+51.1016 s]
/proc/loadavg: 1.04 1.00 1.00 2/66 10584
/proc/meminfo: memFree=1724848/2055920 swapFree=4180072/4192956
[pid=10578] ppid=10576 vsize=5356 CPUtime=3.09
/proc/10578/stat : 10578 (SatELiteGTI) S 10576 10578 10257 0 -1 4194304 336 17441 0 0 0 0 293 16 16 0 1 0 310915714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10578/statm: 1339 239 197 169 0 50 0
[pid=10584] ppid=10578 vsize=29380 CPUtime=47.91
/proc/10584/stat : 10584 (minisat_static) R 10578 10578 10257 0 -1 4194304 7062 0 0 0 4783 8 0 0 25 0 1 0 310916025 30085120 7048 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10584/statm: 7345 7048 77 171 0 7172 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 34736

[startup+102.305 s]
/proc/loadavg: 1.06 1.01 1.00 2/66 10584
/proc/meminfo: memFree=1710448/2055920 swapFree=4180072/4192956
[pid=10578] ppid=10576 vsize=5356 CPUtime=3.09
/proc/10578/stat : 10578 (SatELiteGTI) S 10576 10578 10257 0 -1 4194304 336 17441 0 0 0 0 293 16 16 0 1 0 310915714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10578/statm: 1339 239 197 169 0 50 0
[pid=10584] ppid=10578 vsize=43708 CPUtime=99.08
/proc/10584/stat : 10584 (minisat_static) R 10578 10578 10257 0 -1 4194304 10644 0 0 0 9896 12 0 0 25 0 1 0 310916025 44756992 10630 1992294400 134512640 135215339 4294956240 18446744073709551615 134527410 0 0 4096 3 0 0 0 17 1 0 0
/proc/10584/statm: 10927 10630 77 171 0 10754 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 49064

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

[startup+115.102 s]
/proc/loadavg: 1.05 1.01 1.00 2/66 10584
/proc/meminfo: memFree=1707568/2055920 swapFree=4180072/4192956
[pid=10578] ppid=10576 vsize=5356 CPUtime=3.09
/proc/10578/stat : 10578 (SatELiteGTI) S 10576 10578 10257 0 -1 4194304 336 17441 0 0 0 0 293 16 16 0 1 0 310915714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10578/statm: 1339 239 197 169 0 50 0
[pid=10584] ppid=10578 vsize=46496 CPUtime=111.87
/proc/10584/stat : 10584 (minisat_static) R 10578 10578 10257 0 -1 4194304 11381 0 0 0 11174 13 0 0 25 0 1 0 310916025 47611904 11367 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10584/statm: 11624 11367 77 171 0 11451 0
Current children cumulated CPU time (s) 114.96
Current children cumulated vsize (KiB) 51852

[startup+127.901 s]
/proc/loadavg: 1.11 1.03 1.00 2/66 10584
/proc/meminfo: memFree=1705776/2055920 swapFree=4180072/4192956
[pid=10578] ppid=10576 vsize=5356 CPUtime=3.09
/proc/10578/stat : 10578 (SatELiteGTI) S 10576 10578 10257 0 -1 4194304 336 17441 0 0 0 0 293 16 16 0 1 0 310915714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10578/statm: 1339 239 197 169 0 50 0
[pid=10584] ppid=10578 vsize=48232 CPUtime=124.67
/proc/10584/stat : 10584 (minisat_static) R 10578 10578 10257 0 -1 4194304 11818 0 0 0 12453 14 0 0 25 0 1 0 310916025 49389568 11804 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/10584/statm: 12058 11804 77 171 0 11885 0
Current children cumulated CPU time (s) 127.76
Current children cumulated vsize (KiB) 53588

[startup+134.301 s]
/proc/loadavg: 1.09 1.03 1.00 2/66 10584
/proc/meminfo: memFree=1705712/2055920 swapFree=4180072/4192956
[pid=10578] ppid=10576 vsize=5356 CPUtime=3.09
/proc/10578/stat : 10578 (SatELiteGTI) S 10576 10578 10257 0 -1 4194304 336 17441 0 0 0 0 293 16 16 0 1 0 310915714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10578/statm: 1339 239 197 169 0 50 0
[pid=10584] ppid=10578 vsize=48368 CPUtime=131.07
/proc/10584/stat : 10584 (minisat_static) R 10578 10578 10257 0 -1 4194304 11833 0 0 0 13093 14 0 0 25 0 1 0 310916025 49528832 11819 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10584/statm: 12092 11819 77 171 0 11919 0
Current children cumulated CPU time (s) 134.16
Current children cumulated vsize (KiB) 53724

[startup+135.902 s]
/proc/loadavg: 1.09 1.03 1.00 2/66 10584
/proc/meminfo: memFree=1705648/2055920 swapFree=4180072/4192956
[pid=10578] ppid=10576 vsize=5356 CPUtime=3.09
/proc/10578/stat : 10578 (SatELiteGTI) S 10576 10578 10257 0 -1 4194304 336 17441 0 0 0 0 293 16 16 0 1 0 310915714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10578/statm: 1339 239 197 169 0 50 0
[pid=10584] ppid=10578 vsize=48368 CPUtime=132.67
/proc/10584/stat : 10584 (minisat_static) R 10578 10578 10257 0 -1 4194304 11839 0 0 0 13253 14 0 0 25 0 1 0 310916025 49528832 11825 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/10584/statm: 12092 11825 77 171 0 11919 0
Current children cumulated CPU time (s) 135.76
Current children cumulated vsize (KiB) 53724

[startup+136.701 s]
/proc/loadavg: 1.09 1.03 1.00 2/66 10584
/proc/meminfo: memFree=1705648/2055920 swapFree=4180072/4192956
[pid=10578] ppid=10576 vsize=5356 CPUtime=3.09
/proc/10578/stat : 10578 (SatELiteGTI) S 10576 10578 10257 0 -1 4194304 336 17441 0 0 0 0 293 16 16 0 1 0 310915714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10578/statm: 1339 239 197 169 0 50 0
[pid=10584] ppid=10578 vsize=48368 CPUtime=133.47
/proc/10584/stat : 10584 (minisat_static) R 10578 10578 10257 0 -1 4194304 11840 0 0 0 13333 14 0 0 25 0 1 0 310916025 49528832 11826 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10584/statm: 12092 11826 77 171 0 11919 0
Current children cumulated CPU time (s) 136.56
Current children cumulated vsize (KiB) 53724

[startup+137.505 s]
/proc/loadavg: 1.09 1.03 1.00 2/66 10584
/proc/meminfo: memFree=1705648/2055920 swapFree=4180072/4192956
[pid=10578] ppid=10576 vsize=5356 CPUtime=3.09
/proc/10578/stat : 10578 (SatELiteGTI) S 10576 10578 10257 0 -1 4194304 336 17441 0 0 0 0 293 16 16 0 1 0 310915714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10578/statm: 1339 239 197 169 0 50 0
[pid=10584] ppid=10578 vsize=48368 CPUtime=134.27
/proc/10584/stat : 10584 (minisat_static) R 10578 10578 10257 0 -1 4194304 11846 0 0 0 13413 14 0 0 25 0 1 0 310916025 49528832 11832 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/10584/statm: 12092 11832 77 171 0 11919 0
Current children cumulated CPU time (s) 137.36
Current children cumulated vsize (KiB) 53724

[startup+137.902 s]
/proc/loadavg: 1.09 1.03 1.00 2/66 10584
/proc/meminfo: memFree=1705648/2055920 swapFree=4180072/4192956
[pid=10578] ppid=10576 vsize=5356 CPUtime=3.09
/proc/10578/stat : 10578 (SatELiteGTI) S 10576 10578 10257 0 -1 4194304 336 17441 0 0 0 0 293 16 16 0 1 0 310915714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10578/statm: 1339 239 197 169 0 50 0
[pid=10584] ppid=10578 vsize=48368 CPUtime=134.67
/proc/10584/stat : 10584 (minisat_static) R 10578 10578 10257 0 -1 4194304 11846 0 0 0 13453 14 0 0 25 0 1 0 310916025 49528832 11832 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10584/statm: 12092 11832 77 171 0 11919 0
Current children cumulated CPU time (s) 137.76
Current children cumulated vsize (KiB) 53724

Child status: 20
Real time (s): 137.963
CPU time (s): 137.841
CPU user time (s): 137.51
CPU system time (s): 0.330949
CPU usage (%): 99.9115
Max. virtual memory (cumulated for all children) (KiB): 69208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 137.51
system time used= 0.330949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29784
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= 45
involuntary context switches= 1680

runsolver used 0.167974 second user time and 0.407937 second system time

The end

Launcher Data 

Begin job on node23 at 2009-05-20 16:13:42
IDJOB=1834227
IDBENCH=71766
IDSOLVER=671
FILE ID=node23/1834227-1242828822
PBS_JOBID= 9322539
Free space on /tmp= 66424 MiB

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

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

MD5SUM BENCH= 3eac71f4fca7132b74d6d27cfa83813f
RANDOM SEED=386866823

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.238
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:       1769176 kB
Buffers:         56804 kB
Cached:         159524 kB
SwapCached:       7120 kB
Active:          74056 kB
Inactive:       151176 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1769176 kB
SwapTotal:     4192956 kB
SwapFree:      4180072 kB
Dirty:            8160 kB
Writeback:           0 kB
Mapped:          14064 kB
Slab:            47560 kB
Committed_AS:  1038416 kB
PageTables:       1392 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= 66424 MiB
End job on node23 at 2009-05-20 16:16:00