Trace number 1821982

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 150.05 150.056

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 benchmark144.03
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.32/0.37	c ==============================================================================
0.32/0.37	c |           |     ORIGINAL     |              LEARNT              |          |
0.32/0.37	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.32/0.37	c ==============================================================================
0.32/0.37	c |         0 |  387840   904960 |  116351       0        0     nan |  0.000 % |
2.42/2.44	c |         0 |  169202   659445 |      --       0       --      -- |     --   | -218636/-245510
2.42/2.44	c ==============================================================================
2.42/2.44	c Result  :   #vars: 22468   #clauses: 169202   #literals: 659445
2.42/2.44	c CPU time:   2.32 s
2.42/2.44	c ==============================================================================
2.62/2.67	c This is MiniSat 2.0 beta
2.62/2.67	c WARNING: for repeatability, setting FPU to use double precision
2.62/2.67	c ============================[ Problem Statistics ]=============================
2.62/2.67	c |                                                                             |
2.62/2.68	c |  Number of variables:  22468                                                |
2.62/2.68	c |  Number of clauses:    169202                                               |
2.67/2.81	c |  Parsing time:         0.11         s                                       |
2.67/2.82	c ============================[ Search Statistics ]==============================
2.67/2.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.67/2.82	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2.67/2.82	c ===============================================================================
2.67/2.82	c |         0 |   22468   169202   659445 |    56400        0    nan |  0.000 % |
2.67/2.85	c |       100 |   22455   169202   659445 |    56400       98     13 |  0.214 % |
2.67/2.86	c |       202 |   22446   169202   659445 |    56400      199     11 |  0.285 % |
2.67/2.90	c |       303 |   22446   169202   659445 |    56400      300     10 |  0.285 % |
2.67/2.93	c |       413 |   22443   169202   659445 |    56400      410     10 |  0.285 % |
2.67/2.96	c |       513 |   22432   169202   659445 |    56400      509     10 |  0.347 % |
2.67/2.97	c |       623 |   22432   169202   659445 |    56400      619     12 |  0.347 % |
2.67/3.00	c |       745 |   22431   169202   659445 |    56400      741     13 |  0.347 % |
2.67/3.02	c |       845 |   22426   169202   659445 |    56400      840     13 |  0.410 % |
2.67/3.05	c |       956 |   22422   169202   659445 |    56400      951     13 |  0.409 % |
2.67/3.09	c |      1077 |   22422   169202   659445 |    56400     1072     13 |  0.409 % |
2.67/3.14	c |      1211 |   22422   169202   659445 |    56400     1206     13 |  0.409 % |
2.67/3.16	c |      1311 |   22422   169202   659445 |    56400     1306     13 |  0.409 % |
2.67/3.21	c |      1422 |   22422   169202   659445 |    56400     1417     13 |  0.409 % |
3.22/3.22	c |      1543 |   22422   169202   659445 |    56400     1538     13 |  0.409 % |
3.22/3.28	c |      1676 |   22422   169202   659445 |    56400     1671     12 |  0.409 % |
3.22/3.31	c |      1823 |   22422   169202   659445 |    56400     1818     12 |  0.409 % |
3.32/3.34	c |      1923 |   22422   169202   659445 |    56400     1918     12 |  0.409 % |
3.32/3.36	c |      2034 |   22376   166808   650292 |    56400     2012     13 |  0.410 % |
3.32/3.39	c |      2156 |   22376   166808   650292 |    56400     2134     14 |  0.409 % |
3.42/3.43	c |      2289 |   22369   166808   650292 |    56400     2266     14 |  0.467 % |
3.42/3.43	c |      2436 |   22369   166808   650292 |    56400     2413     14 |  0.467 % |
3.42/3.48	c |      2596 |   22345   166808   650292 |    56400     2572     14 |  1.037 % |
3.42/3.49	c |      2697 |   22345   166808   650292 |    56400     2673     14 |  1.037 % |
3.52/3.53	c |      2807 |   22340   166808   650292 |    56400     2783     14 |  1.037 % |
3.52/3.56	c |      2929 |   22310   166808   650292 |    56400     2905     14 |  1.037 % |
3.52/3.60	c |      3062 |   22290   166808   650292 |    56400     3036     14 |  1.473 % |
3.52/3.61	c |      3208 |   22288   166808   650292 |    56400     3180     14 |  1.500 % |
3.62/3.64	c |      3368 |   22288   166808   650292 |    56400     3340     14 |  1.500 % |
3.62/3.68	c |      3545 |   22288   166808   650292 |    56400     3517     14 |  1.500 % |
3.72/3.72	c |      3646 |   22288   166808   650292 |    56400     3618     14 |  1.500 % |
3.72/3.75	c |      3756 |   22288   166808   650292 |    56400     3728     14 |  1.500 % |
3.72/3.77	c |      3877 |   22288   166808   650292 |    56400     3849     14 |  1.500 % |
3.72/3.81	c |      4011 |   22288   166808   650292 |    56400     3983     14 |  1.500 % |
3.82/3.83	c |      4158 |   22288   166808   650292 |    56400     4130     15 |  1.500 % |
3.92/3.94	c |      4318 |   22240   166808   650292 |    56400     4290     15 |  1.500 % |
3.92/3.97	c |      4494 |   22131   161762   631029 |    56400     4375     15 |  1.500 % |
3.92/3.99	c |      4687 |   22131   161762   631029 |    56400     4568     16 |  1.500 % |
4.02/4.05	c |      4788 |   22131   161762   631029 |    56400     4669     16 |  1.500 % |
4.12/4.19	c |      4898 |   22131   161762   631029 |    56400     4779     16 |  1.500 % |
4.12/4.19	c |      5020 |   22131   161762   631029 |    56400     4901     16 |  1.500 % |
4.22/4.23	c |      5153 |   22131   161762   631029 |    56400     5034     16 |  1.500 % |
4.22/4.28	c |      5299 |   22131   161762   631029 |    56400     5180     16 |  1.500 % |
4.32/4.36	c |      5460 |   22131   161762   631029 |    56400     5341     16 |  1.500 % |
4.32/4.39	c |      5637 |   22131   161762   631029 |    56400     5518     16 |  1.500 % |
4.42/4.43	c |      5830 |   22131   161762   631029 |    56400     5711     15 |  1.500 % |
4.52/4.52	c |      6043 |   22131   161762   631029 |    56400     5924     15 |  1.500 % |
4.52/4.54	c |      6144 |   22131   161762   631029 |    56400     6025     15 |  1.500 % |
4.52/4.59	c |      6255 |   22131   161762   631029 |    56400     6136     15 |  1.500 % |
4.62/4.62	c |      6376 |   22131   161762   631029 |    56400     6257     16 |  1.500 % |
4.62/4.63	c |      6509 |   22131   161762   631029 |    56400     6390     16 |  1.500 % |
4.62/4.65	c |      6655 |   22131   161762   631029 |    56400     6536     15 |  1.500 % |
4.62/4.67	c |      6815 |   22131   161762   631029 |    56400     6696     15 |  1.500 % |
4.62/4.71	c |      6991 |   22127   161739   630936 |    56400     6868     16 |  1.522 % |
4.72/4.73	c |      7184 |   22121   161739   630936 |    56400     7059     16 |  1.558 % |
4.72/4.76	c |      7396 |   22121   161739   630936 |    56400     7271     16 |  1.558 % |
4.72/4.77	c |      7630 |   22121   161739   630936 |    56400     7505     16 |  1.558 % |
4.72/4.81	c |      7732 |   22120   161739   630936 |    56400     7607     16 |  1.558 % |
4.82/4.83	c |      7842 |   22120   161739   630936 |    56400     7717     16 |  1.558 % |
4.82/4.87	c |      7963 |   22120   161739   630936 |    56400     7838     16 |  1.558 % |
4.82/4.89	c |      8096 |   22120   161739   630936 |    56400     7971     16 |  1.558 % |
4.92/4.92	c |      8242 |   22120   161739   630936 |    56400     8117     16 |  1.558 % |
4.92/4.94	c |      8402 |   22120   161739   630936 |    56400     8277     16 |  1.558 % |
4.92/4.98	c |      8581 |   22120   161739   630936 |    56400     8456     16 |  1.558 % |
5.02/5.02	c |      8775 |   22120   161739   630936 |    56400     8650     16 |  1.558 % |
5.02/5.03	c |      8989 |   22120   161739   630936 |    56400     8864     16 |  1.558 % |
5.02/5.05	c |      9222 |   22120   161739   630936 |    56400     9097     16 |  1.558 % |
5.02/5.08	c |      9478 |   22120   161739   630936 |    56400     9353     16 |  1.558 % |
5.02/5.10	c |      9578 |   22120   161739   630936 |    56400     9453     16 |  1.558 % |
5.02/5.11	c |      9689 |   22120   161739   630936 |    56400     9564     16 |  1.558 % |
5.12/5.12	c |      9811 |   22120   161739   630936 |    56400     9686     16 |  1.558 % |
5.12/5.14	c |      9944 |   22120   161739   630936 |    56400     9819     16 |  1.558 % |
5.12/5.16	c |     10091 |   22120   161739   630936 | 2147483647     9966     16 |  1.558 % |
5.12/5.17	c |     10251 |   22120   161739   630936 | 2147483647    10126     16 |  1.558 % |
5.12/5.19	c |     10428 |   22120   161739   630936 | 2147483647    10303     17 |  1.558 % |
5.22/5.22	c |     10622 |   22120   161739   630936 | 2147483647    10497     17 |  1.558 % |
5.22/5.23	c |     10835 |   22120   161739   630936 | 2147483647    10710     17 |  1.558 % |
5.22/5.27	c |     11068 |   22120   161739   630936 | 2147483647    10943     17 |  1.558 % |
5.32/5.34	c |     11325 |   22118   161591   630467 | 2147483647    11197     17 |  1.558 % |
5.32/5.39	c |     11607 |   22115   161591   630467 | 2147483647    11478     17 |  1.584 % |
5.42/5.42	c |     11707 |   22115   161591   630467 | 2147483647    11578     17 |  1.585 % |
5.42/5.42	c |     11817 |   22115   161591   630467 | 2147483647    11688     17 |  1.584 % |
5.42/5.45	c |     11939 |   22115   161591   630467 | 2147483647    11810     16 |  1.584 % |
5.42/5.47	c |     12074 |   22115   161591   630467 | 2147483647    11945     16 |  1.584 % |
5.42/5.51	c |     12223 |   22115   161591   630467 | 2147483647    12094     16 |  1.584 % |
5.52/5.58	c |     12384 |   22111   161591   630467 | 2147483647    12254     17 |  1.593 % |
5.52/5.60	c |     12561 |   22111   161591   630467 | 2147483647    12431     17 |  1.593 % |
5.62/5.69	c |     12755 |   22111   161591   630467 | 2147483647    12625     17 |  1.593 % |
5.72/5.72	c |     12968 |   22111   161591   630467 | 2147483647    12838     16 |  1.593 % |
5.72/5.74	c |     13202 |   22111   161591   630467 | 2147483647    13072     16 |  1.593 % |
5.82/5.83	c |     13459 |   22111   161591   630467 | 2147483647    13329     16 |  1.593 % |
5.82/5.86	c |     13740 |   22111   161591   630467 | 2147483647    13610     16 |  1.593 % |
5.82/5.90	c |     14049 |   22111   161591   630467 | 2147483647    13919     17 |  1.593 % |
5.92/5.94	c |     14149 |   22111   161591   630467 | 2147483647    14019     17 |  1.593 % |
5.92/5.95	c |     14259 |   22111   161591   630467 | 2147483647    14129     17 |  1.593 % |
5.92/5.95	c |     14381 |   22111   161591   630467 | 2147483647    14251     17 |  1.593 % |
5.92/5.99	c |     14515 |   22111   161591   630467 | 2147483647    14385     17 |  1.593 % |
6.02/6.04	c |     14662 |   22110   161474   630123 | 2147483647    14526     17 |  1.593 % |
6.02/6.07	c |     14822 |   22108   161474   630123 | 2147483647    14685     17 |  1.607 % |
6.02/6.09	c |     14998 |   22108   161474   630123 | 2147483647    14861     17 |  1.607 % |
6.12/6.12	c |     15191 |   22108   161474   630123 | 2147483647    15054     17 |  1.607 % |
6.12/6.18	c |     15403 |   22107   161474   630123 | 2147483647    15265     17 |  1.611 % |
6.12/6.21	c |     15636 |   22104   161474   630123 | 2147483647    15497     17 |  1.625 % |
6.22/6.24	c |     15892 |   22104   161474   630123 | 2147483647    15753     17 |  1.625 % |
6.22/6.29	c |     16173 |   22104   161474   630123 | 2147483647    16034     17 |  1.625 % |
6.32/6.32	c |     16483 |   22104   161474   630123 | 2147483647    16344     17 |  1.625 % |
6.32/6.38	c |     16822 |   22102   161474   630123 | 2147483647    16682     17 |  1.651 % |
6.32/6.39	c |     16922 |   22102   161474   630123 | 2147483647    16782     17 |  1.651 % |
6.32/6.41	c |     17034 |   22098   161474   630123 | 2147483647    16894     17 |  1.651 % |
6.42/6.45	c |     17155 |   22098   161474   630123 | 2147483647    17015     17 |  1.651 % |
6.42/6.46	c |     17290 |   22098   161474   630123 | 2147483647    17150     18 |  1.651 % |
6.42/6.48	c |     17441 |   22098   161474   630123 | 2147483647    17301     17 |  1.651 % |
6.52/6.52	c |     17602 |   22097   161474   630123 | 2147483647    17461     17 |  1.660 % |
6.52/6.54	c |     17778 |   22097   161474   630123 | 2147483647    17637     17 |  1.660 % |
6.62/6.64	c |     17971 |   22095   161474   630123 | 2147483647    17830     17 |  1.660 % |
6.62/6.67	c |     18185 |   22095   161474   630123 | 2147483647    18044     18 |  1.660 % |
6.72/6.73	c |     18418 |   22095   161474   630123 | 2147483647    18277     18 |  1.660 % |
6.72/6.79	c |     18676 |   22095   161474   630123 | 2147483647    18535     18 |  1.660 % |
6.82/6.84	c |     18957 |   22095   161173   629140 | 2147483647    18809     18 |  1.660 % |
6.82/6.91	c |     19266 |   22095   161173   629140 | 2147483647    19118     18 |  1.660 % |
6.92/6.94	c |     19608 |   22095   161173   629140 | 2147483647    19460     18 |  1.660 % |
7.02/7.04	c |     19980 |   22095   161173   629140 | 2147483647    19832     18 |  1.660 % |
7.02/7.06	c |     20080 |   22095   161173   629140 | 2147483647    19932     18 |  1.660 % |
7.02/7.08	c |     20190 |   22095   161173   629140 | 2147483647    20042     18 |  1.660 % |
7.02/7.10	c |     20312 |   22095   161173   629140 | 2147483647    20164     18 |  1.660 % |
7.12/7.11	c |     20445 |   22095   161173   629140 | 2147483647    20297     18 |  1.660 % |
7.12/7.14	c |     20591 |   22095   161173   629140 | 2147483647    20443     18 |  1.660 % |
7.12/7.17	c |     20752 |   22095   161173   629140 | 2147483647    20604     18 |  1.660 % |
7.22/7.25	c |     20929 |   22095   161173   629140 | 2147483647    20781     18 |  1.660 % |
7.22/7.27	c |     21123 |   22095   161173   629140 | 2147483647    20975     18 |  1.660 % |
7.32/7.32	c |     21335 |   22095   161173   629140 | 2147483647    21187     18 |  1.660 % |
7.32/7.36	c |     21569 |   22094   161173   629140 | 2147483647    21420     18 |  1.883 % |
7.32/7.40	c |     21826 |   22094   161173   629140 | 2147483647    21677     19 |  1.883 % |
7.42/7.44	c |     22107 |   22094   161173   629140 | 2147483647    21958     18 |  1.883 % |
7.42/7.49	c |     22416 |   22094   161173   629140 | 2147483647    22267     19 |  1.883 % |
7.52/7.56	c |     22755 |   22092   161173   629140 | 2147483647    22605     19 |  1.914 % |
7.62/7.69	c |     23128 |   22065   161173   629140 | 2147483647    22978     18 |  1.914 % |
7.82/7.84	c |     23537 |   22038   159902   624488 | 2147483647    23334     18 |  1.914 % |
7.82/7.86	c |     23637 |   22038   159902   624488 | 2147483647    23434     18 |  1.914 % |
7.82/7.89	c |     23747 |   22038   159902   624488 | 2147483647    23544     18 |  1.914 % |
7.92/7.92	c |     23868 |   22038   159902   624488 | 2147483647    23665     18 |  1.914 % |
7.92/7.96	c |     24002 |   22038   159902   624488 | 2147483647    23799     18 |  1.914 % |
7.92/7.99	c |     24148 |   22036   159902   624488 | 2147483647    23944     18 |  1.927 % |
8.02/8.02	c |     24308 |   22036   159902   624488 | 2147483647    24104     18 |  1.927 % |
8.02/8.04	c |     24484 |   22036   159902   624488 | 2147483647    24280     18 |  1.927 % |
8.02/8.08	c |     24677 |   22035   159902   624488 | 2147483647    24473     18 |  1.927 % |
8.02/8.09	c |     24889 |   22035   159902   624488 | 2147483647    24685     18 |  1.927 % |
8.12/8.16	c |     25122 |   22035   159902   624488 | 2147483647    24918     18 |  1.927 % |
8.12/8.21	c |     25378 |   22035   159902   624488 | 2147483647    25174     18 |  1.927 % |
8.22/8.23	c |     25660 |   22035   159902   624488 | 2147483647    25456     18 |  1.927 % |
8.32/8.33	c |     25969 |   22035   159902   624488 | 2147483647    25765     18 |  1.927 % |
8.42/8.42	c |     26308 |   22035   159902   624488 | 2147483647    26104     18 |  1.927 % |
8.52/8.52	c |     26680 |   22035   159902   624488 | 2147483647    26476     18 |  1.927 % |
8.52/8.57	c |     27089 |   22032   159902   624488 | 2147483647    26884     18 |  1.972 % |
8.62/8.70	c |     27539 |   22027   159902   624488 | 2147483647    27334     18 |  1.972 % |
8.72/8.73	c |     27641 |   22027   159902   624488 | 2147483647    27436     18 |  1.972 % |
8.72/8.78	c |     27751 |   22025   159720   623757 | 2147483647    27541     18 |  1.972 % |
8.72/8.80	c |     27872 |   22025   159720   623757 | 2147483647    27662     18 |  1.972 % |
8.72/8.81	c |     28006 |   22025   159720   623757 | 2147483647    27796     18 |  1.972 % |
8.82/8.83	c |     28152 |   22025   159720   623757 | 2147483647    27942     18 |  1.972 % |
8.82/8.87	c |     28312 |   22025   159720   623757 | 2147483647    28102     18 |  1.972 % |
8.82/8.90	c |     28489 |   22025   159720   623757 | 2147483647    28279     18 |  1.972 % |
8.92/8.94	c |     28683 |   22025   159720   623757 | 2147483647    28473     18 |  1.972 % |
9.02/9.11	c |     28896 |   22025   159720   623757 | 2147483647    28686     18 |  1.972 % |
9.12/9.14	c |     29129 |   22025   159720   623757 | 2147483647    28919     18 |  1.972 % |
9.12/9.16	c |     29386 |   22025   159720   623757 | 2147483647    29176     18 |  1.972 % |
9.22/9.23	c |     29667 |   22025   159720   623757 | 2147483647    29457     18 |  1.972 % |
9.22/9.28	c |     29976 |   22025   159720   623757 | 2147483647    29766     18 |  1.972 % |
9.32/9.34	c |     30315 |   22025   159720   623757 | 2147483647    30105     18 |  1.972 % |
9.42/9.47	c |     30687 |   22025   159720   623757 | 2147483647    30477     18 |  1.972 % |
9.52/9.52	c |     31097 |   22025   159720   623757 | 2147483647    30887     18 |  1.972 % |
9.62/9.62	c |     31549 |   22025   159720   623757 | 2147483647    31339     18 |  1.972 % |
9.62/9.67	c |     32043 |   22025   159720   623757 | 2147483647    31833     19 |  1.972 % |
9.62/9.68	c |     32143 |   22025   159720   623757 | 2147483647    31933     19 |  1.972 % |
9.62/9.70	c |     32253 |   22025   159720   623757 | 2147483647    32043     19 |  1.972 % |
9.72/9.72	c |     32374 |   22025   159720   623757 | 2147483647    32164     19 |  1.972 % |
9.72/9.74	c |     32507 |   22025   159720   623757 | 2147483647    32297     19 |  1.972 % |
9.72/9.80	c |     32655 |   22025   159720   623757 | 2147483647    32445     19 |  1.972 % |
9.82/9.85	c |     32816 |   22025   159720   623757 | 2147483647    32606     19 |  1.972 % |
9.82/9.88	c |     32992 |   22025   159720   623757 | 2147483647    32782     18 |  1.972 % |
9.82/9.91	c |     33186 |   22025   159720   623757 | 2147483647    32976     18 |  1.972 % |
9.92/9.97	c |     33400 |   22025   159720   623757 | 2147483647    33190     18 |  1.972 % |
10.02/10.04	c |     33635 |   22025   159720   623757 | 2147483647    33425     18 |  1.972 % |
10.02/10.10	c |     33892 |   22025   159720   623757 | 2147483647    33682     18 |  1.972 % |
10.12/10.16	c |     34175 |   22025   159720   623757 | 2147483647    33965     18 |  1.972 % |
10.22/10.22	c |     34485 |   22025   159720   623757 | 2147483647    34275     18 |  1.972 % |
10.22/10.24	c |     34824 |   22025   159720   623757 | 2147483647    34614     18 |  1.972 % |
10.22/10.30	c |     35196 |   22025   159720   623757 | 2147483647    34986     19 |  1.972 % |
10.32/10.37	c |     35605 |   22025   159720   623757 | 2147483647    35395     19 |  1.972 % |
10.42/10.44	c |     36054 |   22025   159720   623757 | 2147483647    35844     19 |  1.972 % |
10.51/10.56	c |     36547 |   22025   159720   623757 | 2147483647    36337     19 |  1.972 % |
10.61/10.63	c |     37092 |   22025   159720   623757 | 2147483647    36882     19 |  1.972 % |
10.61/10.65	c |     37193 |   22025   159720   623757 | 2147483647    36983     19 |  1.972 % |
10.61/10.68	c |     37303 |   22025   159720   623757 | 2147483647    37093     19 |  1.972 % |
10.61/10.70	c |     37424 |   22025   159720   623757 | 2147483647    37214     19 |  1.972 % |
10.71/10.71	c |     37558 |   22025   159720   623757 | 2147483647    37348     19 |  1.972 % |
10.71/10.75	c |     37704 |   22025   159720   623757 | 2147483647    37494     19 |  1.972 % |
10.71/10.80	c |     37867 |   22025   159720   623757 | 2147483647    37657     19 |  1.972 % |
10.81/10.85	c |     38044 |   22025   159720   623757 | 2147483647    37834     19 |  1.972 % |
10.81/10.89	c |     38240 |   22025   159720   623757 | 2147483647    38030     19 |  1.972 % |
10.91/10.95	c |     38454 |   22025   159720   623757 | 2147483647    38244     19 |  1.972 % |
10.91/11.00	c |     38687 |   22025   159720   623757 | 2147483647    38477     19 |  1.972 % |
11.01/11.05	c |     38943 |   22025   159720   623757 | 2147483647    38733     19 |  1.972 % |
11.01/11.11	c |     39224 |   22025   159720   623757 | 2147483647    39014     19 |  1.972 % |
11.11/11.20	c |     39533 |   22025   159720   623757 | 2147483647    39323     19 |  1.972 % |
11.21/11.25	c |     39872 |   22024   159681   623592 | 2147483647    39661     19 |  1.976 % |
11.31/11.34	c |     40245 |   22024   159681   623592 | 2147483647    40034     19 |  1.976 % |
11.41/11.46	c |     40654 |   22024   159681   623592 | 2147483647    40443     19 |  1.976 % |
11.51/11.60	c |     41104 |   22024   159681   623592 | 2147483647    40893     19 |  1.976 % |
11.61/11.71	c |     41597 |   22024   159681   623592 | 2147483647    41386     19 |  1.976 % |
11.71/11.78	c |     42140 |   22024   159681   623592 | 2147483647    41929     19 |  1.976 % |
11.81/11.90	c |     42737 |   22024   159681   623592 | 2147483647    42526     19 |  1.976 % |
11.91/11.95	c |     42838 |   22024   159681   623592 | 2147483647    42627     19 |  1.976 % |
12.01/12.03	c |     42948 |   22024   159681   623592 | 2147483647    42737     19 |  1.976 % |
12.01/12.05	c |     43069 |   22024   159681   623592 | 2147483647    42858     19 |  1.976 % |
12.01/12.10	c |     43202 |   22024   159681   623592 | 2147483647    42991     19 |  1.976 % |
12.11/12.12	c |     43348 |   22024   159681   623592 | 2147483647    43137     19 |  1.976 % |
12.11/12.19	c |     43508 |   22024   159681   623592 | 2147483647    43297     19 |  1.976 % |
12.21/12.26	c |     43684 |   22024   159681   623592 | 2147483647    43473     19 |  1.976 % |
12.31/12.32	c |     43878 |   22024   159681   623592 | 2147483647    43667     19 |  1.976 % |
12.31/12.38	c |     44091 |   22024   159681   623592 | 2147483647    43880     19 |  1.976 % |
12.41/12.48	c |     44324 |   22024   159681   623592 | 2147483647    44113     19 |  1.976 % |
12.51/12.55	c |     44581 |   22017   159681   623592 | 2147483647    44368     19 |  2.016 % |
12.61/12.64	c |     44862 |   22017   159681   623592 | 2147483647    44649     19 |  2.016 % |
12.71/12.75	c |     45172 |   22017   159681   623592 | 2147483647    44959     19 |  2.016 % |
12.71/12.81	c |     45511 |   22017   159681   623592 | 2147483647    45298     19 |  2.016 % |
12.81/12.88	c |     45883 |   22017   159681   623592 | 2147483647    45670     19 |  2.016 % |
13.01/13.08	c |     46292 |   22015   159607   623318 | 2147483647    46077     19 |  2.016 % |
13.11/13.18	c |     46742 |   22015   159607   623318 | 2147483647    46527     19 |  2.016 % |
13.21/13.26	c |     47235 |   22015   159607   623318 | 2147483647    47020     19 |  2.016 % |
13.31/13.35	c |     47778 |   22015   159607   623318 | 2147483647    47563     19 |  2.016 % |
13.51/13.55	c |     48374 |   22015   159607   623318 | 2147483647    48159     19 |  2.016 % |
13.71/13.72	c |     49031 |   22015   159607   623318 | 2147483647    48816     19 |  2.016 % |
13.71/13.75	c |     49131 |   22015   159607   623318 | 2147483647    48916     19 |  2.016 % |
13.71/13.77	c |     49241 |   22015   159607   623318 | 2147483647    49026     19 |  2.016 % |
13.71/13.80	c |     49362 |   22015   159607   623318 | 2147483647    49147     19 |  2.016 % |
13.81/13.86	c |     49495 |   22015   159607   623318 | 2147483647    49280     19 |  2.016 % |
13.91/13.92	c |     49641 |   22015   159607   623318 | 2147483647    49426     19 |  2.016 % |
13.91/13.96	c |     49801 |   22015   159607   623318 | 2147483647    49586     19 |  2.016 % |
13.91/14.01	c |     49977 |   22015   159607   623318 | 2147483647    49762     19 |  2.016 % |
14.01/14.06	c |     50171 |   22015   159607   623318 | 2147483647    49956     19 |  2.016 % |
14.11/14.12	c |     50383 |   22015   159607   623318 | 2147483647    50168     19 |  2.016 % |
14.21/14.26	c |     50620 |   22015   159607   623318 | 2147483647    50405     19 |  2.016 % |
14.31/14.33	c |     50877 |   22015   159607   623318 | 2147483647    50662     19 |  2.016 % |
14.41/14.42	c |     51159 |   22015   159607   623318 | 2147483647    50944     19 |  2.016 % |
14.51/14.53	c |     51468 |   22015   159607   623318 | 2147483647    51253     19 |  2.016 % |
14.51/14.59	c |     51807 |   22015   159607   623318 | 2147483647    51592     19 |  2.016 % |
14.71/14.75	c |     52179 |   22015   159607   623318 | 2147483647    51964     19 |  2.016 % |
14.81/14.84	c |     52589 |   22015   159607   623318 | 2147483647    52374     19 |  2.016 % |
14.81/14.91	c |     53041 |   22015   159607   623318 | 2147483647    52826     19 |  2.016 % |
14.91/15.00	c |     53534 |   22015   159607   623318 | 2147483647    53319     19 |  2.016 % |
15.11/15.15	c |     54076 |   22015   159607   623318 | 2147483647    53861     19 |  2.016 % |
15.21/15.27	c |     54672 |   22015   159607   623318 | 2147483647    54457     19 |  2.016 % |
15.41/15.51	c |     55328 |   22015   159607   623318 | 2147483647    55113     19 |  2.016 % |
15.61/15.62	c |     56048 |   22015   159607   623318 | 2147483647    55833     19 |  2.016 % |
15.61/15.66	c |     56149 |   22015   159607   623318 | 2147483647    55934     19 |  2.016 % |
15.61/15.71	c |     56259 |   22015   159607   623318 | 2147483647    56044     19 |  2.016 % |
15.71/15.75	c |     56380 |   22015   159607   623318 | 2147483647    56165     19 |  2.016 % |
15.71/15.79	c |     56514 |   22015   159607   623318 | 2147483647    56299     19 |  2.016 % |
15.81/15.83	c |     56661 |   22015   159607   623318 | 2147483647    56446     19 |  2.016 % |
15.81/15.88	c |     56821 |   22015   159607   623318 | 2147483647    56606     19 |  2.016 % |
15.91/15.95	c |     56997 |   22015   159607   623318 | 2147483647    56782     19 |  2.016 % |
16.01/16.02	c |     57191 |   22015   159607   623318 | 2147483647    56976     19 |  2.016 % |
16.01/16.11	c |     57403 |   22015   159607   623318 | 2147483647    57188     19 |  2.016 % |
16.11/16.21	c |     57638 |   22012   159588   623240 | 2147483647    57422     19 |  2.030 % |
16.21/16.30	c |     57894 |   22012   159588   623240 | 2147483647    57678     19 |  2.030 % |
16.31/16.39	c |     58176 |   22012   159588   623240 | 2147483647    57960     19 |  2.030 % |
16.41/16.44	c |     58485 |   22012   159588   623240 | 2147483647    58269     19 |  2.030 % |
16.51/16.59	c |     58826 |   22012   159588   623240 | 2147483647    58610     19 |  2.030 % |
16.71/16.74	c |     59198 |   22012   159588   623240 | 2147483647    58982     19 |  2.030 % |
16.81/16.87	c |     59607 |   22012   159588   623240 | 2147483647    59391     19 |  2.030 % |
16.91/16.94	c |     60056 |   22012   159588   623240 | 2147483647    59840     19 |  2.030 % |
17.01/17.10	c |     60551 |   22012   159588   623240 | 2147483647    60335     19 |  2.030 % |
17.21/17.23	c |     61093 |   22010   159588   623240 | 2147483647    60876     19 |  2.043 % |
17.41/17.44	c |     61690 |   22010   159588   623240 | 2147483647    61473     19 |  2.043 % |
17.61/17.65	c |     62347 |   22010   159588   623240 | 2147483647    62130     19 |  2.043 % |
17.81/17.87	c |     63067 |   22010   159588   623240 | 2147483647    62850     19 |  2.043 % |
18.01/18.04	c |     63859 |   22010   159588   623240 | 2147483647    63642     19 |  2.043 % |
18.01/18.07	c |     63962 |   22010   159588   623240 | 2147483647    63745     19 |  2.043 % |
18.01/18.11	c |     64072 |   22010   159588   623240 | 2147483647    63855     19 |  2.043 % |
18.11/18.17	c |     64195 |   22010   159588   623240 | 2147483647    63978     19 |  2.043 % |
18.11/18.20	c |     64328 |   22010   159588   623240 | 2147483647    64111     19 |  2.043 % |
18.21/18.28	c |     64476 |   22010   159588   623240 | 2147483647    64259     19 |  2.043 % |
18.31/18.34	c |     64637 |   22010   159588   623240 | 2147483647    64420     19 |  2.043 % |
18.41/18.42	c |     64813 |   22010   159588   623240 | 2147483647    64596     19 |  2.043 % |
18.41/18.50	c |     65006 |   22010   159588   623240 | 2147483647    64789     19 |  2.043 % |
18.51/18.58	c |     65218 |   22010   159588   623240 | 2147483647    65001     19 |  2.043 % |
18.61/18.70	c |     65452 |   22009   159568   623157 | 2147483647    65232     19 |  2.043 % |
18.81/18.84	c |     65708 |   22009   159568   623157 | 2147483647    65488     19 |  2.043 % |
18.91/18.96	c |     65989 |   22009   159568   623157 | 2147483647    65769     19 |  2.043 % |
19.01/19.05	c |     66303 |   22009   159568   623157 | 2147483647    66083     19 |  2.043 % |
19.01/19.06	c |     66644 |   22009   159568   623157 | 2147483647    66424     19 |  2.043 % |
19.11/19.20	c |     67017 |   22009   159568   623157 | 2147483647    66797     19 |  2.043 % |
19.31/19.34	c |     67426 |   22009   159568   623157 | 2147483647    67206     19 |  2.043 % |
19.41/19.46	c |     67875 |   22009   159568   623157 | 2147483647    67655     19 |  2.043 % |
19.51/19.61	c |     68368 |   22009   159568   623157 | 2147483647    68148     19 |  2.043 % |
19.71/19.74	c |     68912 |   22009   159568   623157 | 2147483647    68692     19 |  2.043 % |
19.91/20.00	c |     69508 |   22009   159568   623157 | 2147483647    69288     19 |  2.043 % |
20.01/20.11	c |     70164 |   22009   159568   623157 | 2147483647    69944     19 |  2.043 % |
20.11/20.19	c |     70884 |   22007   159568   623157 | 2147483647    70663     19 |  2.056 % |
20.41/20.50	c |     71676 |   22007   159568   623157 | 2147483647    71455     19 |  2.056 % |
20.81/20.88	c |     72548 |   22007   159568   623157 | 2147483647    72327     19 |  2.056 % |
20.91/20.95	c |     72648 |   22007   159568   623157 | 2147483647    72427     19 |  2.056 % |
20.91/21.01	c |     72759 |   22007   159568   623157 | 2147483647    72538     19 |  2.056 % |
21.01/21.10	c |     72882 |   22007   159568   623157 | 2147483647    72661     19 |  2.056 % |
21.11/21.12	c |     73015 |   22007   159568   623157 | 2147483647    72794     19 |  2.056 % |
21.11/21.19	c |     73161 |   22007   159568   623157 | 2147483647    72940     19 |  2.056 % |
21.21/21.24	c |     73321 |   22007   159568   623157 | 2147483647    73100     19 |  2.056 % |
21.21/21.30	c |     73497 |   22007   159568   623157 | 2147483647    73276     19 |  2.056 % |
21.31/21.38	c |     73692 |   22007   159568   623157 | 2147483647    73471     19 |  2.056 % |
21.41/21.43	c |     73906 |   22007   159568   623157 | 2147483647    73685     19 |  2.056 % |
21.41/21.48	c |     74139 |   22007   159568   623157 | 2147483647    73918     19 |  2.056 % |
21.61/21.71	c |     74399 |   22007   159568   623157 | 2147483647    74178     19 |  2.056 % |
21.71/21.80	c |     74680 |   22006   159523   622991 | 2147483647    74457     19 |  2.056 % |
21.81/21.91	c |     74989 |   22006   159523   622991 | 2147483647    74766     19 |  2.056 % |
22.01/22.06	c |     75328 |   21973   159523   622991 | 2147483647    75104     19 |  2.559 % |
22.21/22.25	c |     75700 |   21973   159523   622991 | 2147483647    75476     19 |  2.559 % |
22.31/22.36	c |     76110 |   21971   159523   622991 | 2147483647    75886     19 |  2.559 % |
22.41/22.45	c |     76562 |   21971   159523   622991 | 2147483647    76338     19 |  2.559 % |
22.51/22.57	c |     77059 |   21971   159523   622991 | 2147483647    76835     19 |  2.559 % |
22.71/22.78	c |     77602 |   21971   159523   622991 | 2147483647    77378     19 |  2.559 % |
22.91/22.97	c |     78198 |   21971   159523   622991 | 2147483647    77974     19 |  2.559 % |
23.01/23.07	c |     78853 |   21971   159523   622991 | 2147483647    78629     19 |  2.559 % |
23.21/23.29	c |     79575 |   21971   159523   622991 | 2147483647    79351     19 |  2.559 % |
23.51/23.58	c |     80367 |   21971   159523   622991 | 2147483647    80143     19 |  2.559 % |
23.81/23.84	c |     81238 |   21971   159523   622991 | 2147483647    81014     19 |  2.559 % |
24.11/24.18	c |     82196 |   21971   159523   622991 | 2147483647    81972     19 |  2.559 % |
24.21/24.22	c |     82297 |   21971   159523   622991 | 2147483647    82073     19 |  2.559 % |
24.21/24.22	c |     82407 |   21971   159523   622991 | 2147483647    82183     19 |  2.559 % |
24.21/24.26	c |     82528 |   21971   159523   622991 | 2147483647    82304     19 |  2.559 % |
24.21/24.29	c |     82661 |   21956   159523   622991 | 2147483647    82436     19 |  3.351 % |
24.31/24.40	c |     82808 |   21950   159523   622991 | 2147483647    82583     19 |  3.351 % |
24.41/24.50	c |     82968 |   21715   154539   603570 | 2147483647    68677     16 |  3.351 % |
24.51/24.58	c |     83145 |   21715   154539   603570 | 2147483647    68854     16 |  3.351 % |
24.61/24.64	c |     83338 |   21715   154539   603570 | 2147483647    69047     16 |  3.351 % |
24.61/24.65	c |     83554 |   21715   154539   603570 | 2147483647    69263     16 |  3.351 % |
24.61/24.71	c |     83787 |   21715   154539   603570 | 2147483647    69496     16 |  3.351 % |
24.71/24.78	c |     84047 |   21715   154539   603570 | 2147483647    69756     16 |  3.351 % |
24.81/24.87	c |     84328 |   21715   154539   603570 | 2147483647    70037     16 |  3.351 % |
24.91/24.96	c |     84639 |   21715   154539   603570 | 2147483647    70348     17 |  3.351 % |
25.01/25.07	c |     84978 |   21715   154539   603570 | 2147483647    70687     17 |  3.351 % |
25.11/25.14	c |     85350 |   21715   154539   603570 | 2147483647    71059     17 |  3.351 % |
25.31/25.32	c |     85762 |   21715   154539   603570 | 2147483647    71471     17 |  3.351 % |
25.41/25.43	c |     86211 |   21715   154539   603570 | 2147483647    71920     17 |  3.351 % |
25.41/25.47	c |     86704 |   21715   154539   603570 | 2147483647    72413     17 |  3.351 % |
25.61/25.63	c |     87246 |   21715   154539   603570 | 2147483647    72955     17 |  3.351 % |
25.81/25.82	c |     87842 |   21715   154539   603570 | 2147483647    73551     17 |  3.351 % |
25.81/25.85	c |     88498 |   21715   154539   603570 | 2147483647    74207     17 |  3.351 % |
26.01/26.01	c |     89221 |   21715   154539   603570 | 2147483647    74930     17 |  3.351 % |
26.21/26.28	c |     90013 |   21715   154539   603570 | 2147483647    75722     17 |  3.351 % |
26.41/26.50	c |     90884 |   21715   154539   603570 | 2147483647    76593     17 |  3.351 % |
26.61/26.68	c |     91843 |   21715   154539   603570 | 2147483647    77552     17 |  3.351 % |
26.81/26.89	c |     92897 |   21715   154539   603570 | 2147483647    78606     17 |  3.352 % |
26.91/26.95	c |     92997 |   21715   154539   603570 | 2147483647    78706     17 |  3.351 % |
26.91/26.98	c |     93107 |   21715   154539   603570 | 2147483647    78816     17 |  3.351 % |
27.01/27.09	c |     93228 |   21715   154539   603570 | 2147483647    78937     17 |  3.351 % |
27.11/27.15	c |     93361 |   21715   154539   603570 | 2147483647    79070     17 |  3.351 % |
27.11/27.20	c |     93508 |   21715   154539   603570 | 2147483647    79217     17 |  3.351 % |
27.31/27.32	c |     93668 |   21715   154539   603570 | 2147483647    79377     17 |  3.351 % |
27.31/27.36	c |     93844 |   21715   154539   603570 | 2147483647    79553     17 |  3.351 % |
27.41/27.47	c |     94037 |   21715   154539   603570 | 2147483647    79746     17 |  3.351 % |
27.51/27.56	c |     94249 |   21714   154526   603531 | 2147483647    79957     17 |  3.356 % |
27.51/27.59	c |     94485 |   21714   154526   603531 | 2147483647    80193     17 |  3.356 % |
27.61/27.69	c |     94742 |   21714   154526   603531 | 2147483647    80450     17 |  3.356 % |
27.71/27.79	c |     95024 |   21714   154526   603531 | 2147483647    80732     17 |  3.356 % |
27.81/27.86	c |     95335 |   21714   154526   603531 | 2147483647    81043     17 |  3.356 % |
27.91/28.01	c |     95674 |   21714   154526   603531 | 2147483647    81382     17 |  3.356 % |
28.01/28.07	c |     96049 |   21714   154526   603531 | 2147483647    81757     17 |  3.356 % |
28.11/28.19	c |     96459 |   21714   154526   603531 | 2147483647    82167     17 |  3.356 % |
28.31/28.32	c |     96908 |   21714   154526   603531 | 2147483647    82616     17 |  3.356 % |
28.41/28.45	c |     97403 |   21713   154526   603531 | 2147483647    83110     17 |  3.360 % |
28.51/28.55	c |     97946 |   21713   154526   603531 | 2147483647    83653     17 |  3.360 % |
28.61/28.68	c |     98543 |   21713   154526   603531 | 2147483647    84250     17 |  3.360 % |
28.81/28.91	c |     99199 |   21713   154526   603531 | 2147483647    84906     17 |  3.360 % |
29.11/29.15	c |     99920 |   21709   154526   603531 | 2147483647    85626     17 |  3.445 % |
29.31/29.36	c |    100715 |   21709   154526   603531 | 2147483647    86421     17 |  3.445 % |
29.41/29.50	c |    101586 |   21709   154526   603531 | 2147483647    87292     17 |  3.445 % |
29.81/29.89	c |    102545 |   21709   154526   603531 | 2147483647    88251     17 |  3.445 % |
30.11/30.19	c |    103598 |   21709   154526   603531 | 2147483647    89304     17 |  3.445 % |
30.51/30.61	c |    104757 |   21694   154320   602724 | 2147483647    89360     17 |  3.445 % |
30.61/30.69	c |    104857 |   21694   154320   602724 | 2147483647    89460     17 |  3.445 % |
30.71/30.72	c |    104967 |   21694   154320   602724 | 2147483647    89570     17 |  3.445 % |
30.71/30.81	c |    105089 |   21694   154320   602724 | 2147483647    89692     17 |  3.445 % |
30.81/30.88	c |    105223 |   21694   154320   602724 | 2147483647    89826     17 |  3.445 % |
30.91/30.95	c |    105371 |   21694   154320   602724 | 2147483647    89974     17 |  3.445 % |
30.91/31.00	c |    105532 |   21694   154320   602724 | 2147483647    90135     17 |  3.445 % |
31.01/31.09	c |    105708 |   21694   154320   602724 | 2147483647    90311     17 |  3.445 % |
31.11/31.20	c |    105902 |   21694   154320   602724 | 2147483647    90505     17 |  3.445 % |
31.31/31.36	c |    106114 |   21694   154320   602724 | 2147483647    90717     17 |  3.445 % |
31.51/31.53	c |    106347 |   21694   154320   602724 | 2147483647    90950     17 |  3.445 % |
31.51/31.57	c |    106605 |   21694   154320   602724 | 2147483647    91208     17 |  3.445 % |
31.61/31.69	c |    106886 |   21694   154320   602724 | 2147483647    91489     17 |  3.445 % |
31.71/31.78	c |    107195 |   21694   154320   602724 | 2147483647    91798     17 |  3.445 % |
31.91/31.93	c |    107535 |   21694   154320   602724 | 2147483647    92138     17 |  3.445 % |
32.01/32.06	c |    107907 |   21692   154320   602724 | 2147483647    92509     17 |  3.458 % |
32.21/32.23	c |    108317 |   21692   154320   602724 | 2147483647    92919     17 |  3.458 % |
32.41/32.42	c |    108767 |   21692   154320   602724 | 2147483647    93369     17 |  3.458 % |
32.51/32.61	c |    109260 |   21692   154320   602724 | 2147483647    93862     17 |  3.458 % |
32.61/32.66	c |    109805 |   21692   154320   602724 | 2147483647    94407     17 |  3.458 % |
32.91/32.97	c |    110401 |   21691   154320   602724 | 2147483647    95002     17 |  3.463 % |
33.21/33.30	c |    111056 |   21691   154320   602724 | 2147483647    95657     17 |  3.463 % |
33.41/33.43	c |    111776 |   21690   154278   602578 | 2147483647    96308     17 |  3.463 % |
33.51/33.55	c |    112570 |   21690   154278   602578 | 2147483647    97102     17 |  3.463 % |
33.91/33.95	c |    113441 |   21690   154278   602578 | 2147483647    97973     17 |  3.463 % |
34.11/34.15	c |    114399 |   21690   154278   602578 | 2147483647    98931     17 |  3.463 % |
34.21/34.23	c |    115454 |   21690   154278   602578 | 2147483647    99986     17 |  3.463 % |
34.71/34.73	c |    116613 |   21690   154278   602578 | 2147483647   101145     17 |  3.463 % |
34.81/34.89	c |    117887 |   21690   154278   602578 | 2147483647   102419     17 |  3.463 % |
34.91/34.95	c |    117988 |   21690   154278   602578 | 2147483647   102520     17 |  3.463 % |
34.91/34.98	c |    118100 |   21690   154278   602578 | 2147483647   102632     17 |  3.463 % |
34.91/34.99	c |    118222 |   21690   154278   602578 | 2147483647   102754     17 |  3.463 % |
35.01/35.06	c |    118355 |   21690   154278   602578 | 2147483647   102887     17 |  3.463 % |
35.01/35.11	c |    118502 |   21690   154278   602578 | 2147483647   103034     17 |  3.463 % |
35.11/35.16	c |    118663 |   21690   154278   602578 | 2147483647   103195     17 |  3.463 % |
35.21/35.24	c |    118840 |   21690   154278   602578 | 2147483647   103372     17 |  3.463 % |
35.21/35.27	c |    119033 |   21690   154278   602578 | 2147483647   103565     17 |  3.463 % |
35.31/35.37	c |    119246 |   21690   154278   602578 | 2147483647   103778     17 |  3.463 % |
35.41/35.44	c |    119479 |   21690   154278   602578 | 2147483647   104011     17 |  3.463 % |
35.51/35.59	c |    119735 |   21690   154278   602578 | 2147483647   104267     17 |  3.463 % |
35.71/35.77	c |    120016 |   21690   154278   602578 | 2147483647   104548     17 |  3.463 % |
35.81/35.90	c |    120326 |   21689   154278   602578 | 2147483647   104857     17 |  3.467 % |
35.91/36.01	c |    120668 |   21689   154278   602578 | 2147483647   105199     17 |  3.467 % |
36.01/36.03	c |    121041 |   21689   154278   602578 | 2147483647   105572     17 |  3.467 % |
36.11/36.17	c |    121451 |   21686   154278   602578 | 2147483647   105981     17 |  3.481 % |
36.41/36.43	c |    121901 |   21686   154278   602578 | 2147483647   106431     17 |  3.481 % |
36.51/36.57	c |    122394 |   21686   154278   602578 | 2147483647   106924     17 |  3.481 % |
36.81/36.82	c |    122938 |   21686   154278   602578 | 2147483647   107468     17 |  3.481 % |
36.91/36.96	c |    123537 |   21686   154239   602437 | 2147483647   108056     17 |  3.481 % |
37.11/37.15	c |    124192 |   21686   154239   602437 | 2147483647   108711     17 |  3.481 % |
37.31/37.35	c |    124912 |   21686   154239   602437 | 2147483647   109431     17 |  3.481 % |
37.51/37.52	c |    125705 |   21686   154239   602437 | 2147483647   110224     17 |  3.481 % |
37.81/37.88	c |    126577 |   21686   154239   602437 | 2147483647   111096     18 |  3.481 % |
38.21/38.26	c |    127536 |   21686   154239   602437 | 2147483647   112055     18 |  3.481 % |
38.51/38.57	c |    128590 |   21682   154239   602437 | 2147483647   113108     18 |  3.703 % |
39.11/39.15	c |    129748 |   21682   154239   602437 | 2147483647   114266     18 |  3.703 % |
39.31/39.34	c |    131022 |   21682   154239   602437 | 2147483647   115540     18 |  3.703 % |
39.81/39.84	c |    132423 |   21681   154239   602437 | 2147483647   116941     18 |  3.703 % |
39.91/39.95	c |    132530 |   21679   154239   602437 | 2147483647   117047     18 |  4.006 % |
40.01/40.03	c |    132640 |   21664   154239   602437 | 2147483647   117157     18 |  4.006 % |
40.01/40.11	c |    132764 |   21660   154239   602437 | 2147483647   117281     18 |  4.006 % |
40.11/40.19	c |    132897 |   21660   154239   602437 | 2147483647   117414     18 |  4.006 % |
40.21/40.29	c |    133044 |   21660   154239   602437 | 2147483647   117561     18 |  4.006 % |
40.31/40.35	c |    133205 |   21660   154239   602437 | 2147483647   117722     18 |  4.006 % |
40.41/40.41	c |    133383 |   21660   154239   602437 | 2147483647   117900     18 |  4.006 % |
40.51/40.56	c |    133576 |   21657   154239   602437 | 2147483647   118092     18 |  4.019 % |
40.71/40.71	c |    133788 |   21657   154239   602437 | 2147483647   118304     18 |  4.019 % |
40.81/40.91	c |    134021 |   21565   152374   594922 | 2147483647   117658     18 |  4.019 % |
40.91/41.00	c |    134279 |   21565   152374   594922 | 2147483647   117916     18 |  4.019 % |
41.11/41.14	c |    134560 |   21565   152374   594922 | 2147483647   118197     18 |  4.019 % |
41.21/41.29	c |    134871 |   21565   152374   594922 | 2147483647   118508     18 |  4.019 % |
41.41/41.43	c |    135210 |   21565   152374   594922 | 2147483647   118847     18 |  4.019 % |
41.61/41.67	c |    135582 |   21565   152374   594922 | 2147483647   119219     18 |  4.019 % |
41.71/41.80	c |    135993 |   21565   152374   594922 | 2147483647   119630     18 |  4.019 % |
42.01/42.02	c |    136443 |   21564   152374   594922 | 2147483647   120079     18 |  4.032 % |
42.11/42.19	c |    136936 |   21564   152374   594922 | 2147483647   120572     18 |  4.032 % |
42.21/42.30	c |    137478 |   21564   152374   594922 | 2147483647   121114     18 |  4.032 % |
42.41/42.47	c |    138075 |   21564   152374   594922 | 2147483647   121711     18 |  4.032 % |
42.61/42.64	c |    138730 |   21564   152374   594922 | 2147483647   122366     18 |  4.032 % |
42.81/42.89	c |    139450 |   21564   152374   594922 | 2147483647   123086     18 |  4.032 % |
43.11/43.19	c |    140243 |   21564   152374   594922 | 2147483647   123879     18 |  4.032 % |
43.41/43.48	c |    141115 |   21564   152374   594922 | 2147483647   124751     18 |  4.032 % |
43.81/43.88	c |    142073 |   21564   152374   594922 | 2147483647   125709     18 |  4.032 % |
44.21/44.27	c |    143126 |   21564   152374   594922 | 2147483647   126762     18 |  4.032 % |
44.61/44.63	c |    144285 |   21564   152374   594922 | 2147483647   127921     18 |  4.032 % |
45.01/45.07	c |    145559 |   21564   152374   594922 | 2147483647   129195     18 |  4.032 % |
45.61/45.68	c |    146961 |   21562   152356   594865 | 2147483647   130596     18 |  4.032 % |
46.21/46.22	c |    148502 |   21562   152356   594865 | 2147483647   132137     18 |  4.032 % |
46.21/46.29	c |    148602 |   21562   152356   594865 | 2147483647   132237     18 |  4.032 % |
46.31/46.35	c |    148712 |   21561   152356   594865 | 2147483647   132346     18 |  4.037 % |
46.31/46.41	c |    148833 |   21561   152356   594865 | 2147483647   132467     18 |  4.037 % |
46.51/46.54	c |    148966 |   21561   152356   594865 | 2147483647   132600     18 |  4.037 % |
46.61/46.66	c |    149114 |   21561   152356   594865 | 2147483647   132748     18 |  4.037 % |
46.71/46.76	c |    149275 |   21561   152356   594865 | 2147483647   132909     18 |  4.037 % |
46.91/46.93	c |    149452 |   21561   152356   594865 | 2147483647   133086     18 |  4.037 % |
47.01/47.09	c |    149647 |   21561   152356   594865 | 2147483647   133281     18 |  4.037 % |
47.21/47.26	c |    149859 |   21561   152356   594865 | 2147483647   133493     18 |  4.037 % |
47.41/47.46	c |    150092 |   21561   152356   594865 | 2147483647   133726     18 |  4.037 % |
47.51/47.58	c |    150348 |   21561   152356   594865 | 2147483647   133982     18 |  4.037 % |
47.71/47.75	c |    150629 |   21561   152356   594865 | 2147483647   134263     18 |  4.037 % |
47.91/47.93	c |    150938 |   21561   152356   594865 | 2147483647   134572     18 |  4.037 % |
48.11/48.15	c |    151277 |   21561   152356   594865 | 2147483647   134911     18 |  4.037 % |
48.31/48.38	c |    151650 |   21561   152356   594865 | 2147483647   135284     18 |  4.037 % |
48.51/48.56	c |    152062 |   21561   152356   594865 | 2147483647   135696     18 |  4.037 % |
48.71/48.75	c |    152511 |   21558   152356   594865 | 2147483647   136144     18 |  4.081 % |
48.91/48.93	c |    153006 |   21558   152356   594865 | 2147483647   136639     18 |  4.081 % |
49.21/49.24	c |    153548 |   21558   152356   594865 | 2147483647   137181     18 |  4.081 % |
49.41/49.50	c |    154145 |   21558   152356   594865 | 2147483647   137778     18 |  4.081 % |
49.61/49.63	c |    154800 |   21558   152356   594865 | 2147483647   138433     18 |  4.081 % |
49.91/49.95	c |    155521 |   21558   152356   594865 | 2147483647   139154     18 |  4.081 % |
50.21/50.27	c |    156313 |   21556   152356   594865 | 2147483647   139946     18 |  4.081 % |
50.81/50.89	c |    157184 |   21551   152228   594402 | 2147483647   139209     18 |  4.081 % |
51.01/51.11	c |    158142 |   21551   152228   594402 | 2147483647   140167     18 |  4.081 % |
51.61/51.68	c |    159196 |   21551   152228   594402 | 2147483647   141221     18 |  4.081 % |
52.01/52.11	c |    160355 |   21551   152228   594402 | 2147483647   142380     18 |  4.081 % |
52.31/52.37	c |    161629 |   21548   152228   594402 | 2147483647   143653     19 |  4.095 % |
53.01/53.05	c |    163030 |   21548   152228   594402 | 2147483647   145054     19 |  4.095 % |
53.71/53.80	c |    164571 |   21548   152228   594402 | 2147483647   146595     19 |  4.095 % |
54.51/54.55	c |    166265 |   21548   152228   594402 | 2147483647   148289     19 |  4.095 % |
54.61/54.64	c |    166365 |   21548   152228   594402 | 2147483647   148389     19 |  4.095 % |
54.61/54.70	c |    166475 |   21548   152228   594402 | 2147483647   148499     19 |  4.095 % |
54.71/54.77	c |    166597 |   21548   152228   594402 | 2147483647   148621     19 |  4.095 % |
54.81/54.89	c |    166733 |   21548   152228   594402 | 2147483647   148757     19 |  4.095 % |
54.91/55.00	c |    166879 |   21548   152228   594402 | 2147483647   148903     19 |  4.095 % |
55.01/55.04	c |    167042 |   21548   152228   594402 | 2147483647   149066     19 |  4.095 % |
55.11/55.20	c |    167219 |   21548   152228   594402 | 2147483647   149243     19 |  4.095 % |
55.31/55.37	c |    167413 |   21548   152228   594402 | 2147483647   149437     19 |  4.095 % |
55.41/55.51	c |    167626 |   21548   152228   594402 | 2147483647   149650     19 |  4.095 % |
55.61/55.69	c |    167859 |   21548   152228   594402 | 2147483647   149883     19 |  4.095 % |
55.81/55.87	c |    168115 |   21548   152228   594402 | 2147483647   150139     19 |  4.095 % |
56.11/56.18	c |    168397 |   21548   152228   594402 | 2147483647   150421     19 |  4.095 % |
56.31/56.36	c |    168706 |   21548   152201   594295 | 2147483647   150727     19 |  4.095 % |
56.41/56.45	c |    169046 |   21548   152201   594295 | 2147483647   151067     19 |  4.095 % |
56.61/56.66	c |    169418 |   21548   152201   594295 | 2147483647   151439     19 |  4.095 % |
56.91/56.97	c |    169828 |   21548   152201   594295 | 2147483647   151849     19 |  4.095 % |
57.11/57.14	c |    170277 |   21548   152201   594295 | 2147483647   152298     19 |  4.095 % |
57.31/57.38	c |    170770 |   21548   152201   594295 | 2147483647   152791     19 |  4.095 % |
57.51/57.53	c |    171312 |   21548   152201   594295 | 2147483647   153333     19 |  4.095 % |
57.71/57.77	c |    171909 |   21548   152201   594295 | 2147483647   153930     19 |  4.095 % |
58.11/58.18	c |    172564 |   21548   152201   594295 | 2147483647   154585     19 |  4.095 % |
58.41/58.51	c |    173284 |   21548   152201   594295 | 2147483647   155305     19 |  4.095 % |
59.01/59.08	c |    174076 |   21548   152201   594295 | 2147483647   156097     19 |  4.095 % |
59.31/59.32	c |    174949 |   21548   152201   594295 | 2147483647   156970     19 |  4.095 % |
59.51/59.57	c |    175907 |   21548   152201   594295 | 2147483647   157928     19 |  4.095 % |
59.81/59.81	c |    176960 |   21548   152201   594295 | 2147483647   158981     19 |  4.095 % |
60.31/60.33	c |    178119 |   21548   152201   594295 | 2147483647   160140     19 |  4.095 % |
61.21/61.23	c |    179392 |   21548   152201   594295 | 2147483647   161413     19 |  4.095 % |
61.81/61.85	c |    180792 |   21548   152201   594295 | 2147483647   162813     19 |  4.095 % |
62.31/62.35	c |    182332 |   21548   152201   594295 | 2147483647   164353     19 |  4.095 % |
63.31/63.33	c |    184026 |   21548   152201   594295 | 2147483647   166047     19 |  4.095 % |
64.11/64.16	c |    185892 |   21548   152201   594295 | 2147483647   167913     19 |  4.095 % |
64.11/64.16	c |    185993 |   21548   152201   594295 | 2147483647   168014     19 |  4.095 % |
64.21/64.26	c |    186103 |   21548   152201   594295 | 2147483647   168124     19 |  4.095 % |
64.31/64.38	c |    186224 |   21548   152201   594295 | 2147483647   168245     19 |  4.095 % |
64.41/64.43	c |    186358 |   21548   152201   594295 | 2147483647   168379     19 |  4.095 % |
64.51/64.54	c |    186506 |   21548   152201   594295 | 2147483647   168527     19 |  4.095 % |
64.61/64.63	c |    186666 |   21548   152201   594295 | 2147483647   168687     19 |  4.095 % |
64.61/64.71	c |    186842 |   21548   152201   594295 | 2147483647   168863     19 |  4.095 % |
64.71/64.76	c |    187035 |   21548   152201   594295 | 2147483647   169056     19 |  4.095 % |
64.81/64.85	c |    187247 |   21548   152201   594295 | 2147483647   169268     19 |  4.095 % |
64.92/64.99	c |    187480 |   21548   152201   594295 | 2147483647   169501     19 |  4.095 % |
65.21/65.27	c |    187736 |   21542   152196   594273 | 2147483647   169696     19 |  4.126 % |
65.41/65.51	c |    188018 |   21542   152196   594273 | 2147483647   169978     19 |  4.126 % |
65.61/65.69	c |    188327 |   21542   152196   594273 | 2147483647   170287     19 |  4.126 % |
65.90/65.97	c |    188666 |   21542   152196   594273 | 2147483647   170626     19 |  4.126 % |
66.10/66.18	c |    189040 |   21542   152196   594273 | 2147483647   171000     20 |  4.126 % |
66.30/66.38	c |    189449 |   21542   152196   594273 | 2147483647   171409     20 |  4.126 % |
66.50/66.56	c |    189898 |   21542   152196   594273 | 2147483647   171858     20 |  4.126 % |
66.70/66.73	c |    190392 |   21542   152196   594273 | 2147483647   172352     20 |  4.126 % |
67.20/67.29	c |    190935 |   21541   152196   594273 | 2147483647   172894     20 |  4.139 % |
67.70/67.75	c |    191531 |   21541   152196   594273 | 2147483647   173490     20 |  4.139 % |
67.90/67.92	c |    192191 |   21541   152196   594273 | 2147483647   174150     20 |  4.139 % |
67.90/67.98	c |    192912 |   21541   152196   594273 | 2147483647   174871     20 |  4.139 % |
68.30/68.38	c |    193704 |   21541   152196   594273 | 2147483647   175663     20 |  4.139 % |
68.60/68.60	c |    194576 |   21541   152196   594273 | 2147483647   176535     20 |  4.139 % |
68.90/68.96	c |    195534 |   21541   152196   594273 | 2147483647   177493     20 |  4.139 % |
69.20/69.25	c |    196588 |   21541   152196   594273 | 2147483647   178547     20 |  4.139 % |
69.50/69.54	c |    197746 |   21541   152196   594273 | 2147483647   179705     20 |  4.139 % |
69.90/69.99	c |    199020 |   21541   152196   594273 | 2147483647   180979     20 |  4.139 % |
70.30/70.38	c |    200421 |   21541   152196   594273 | 2147483647   182380     20 |  4.139 % |
71.00/71.06	c |    201961 |   21541   152196   594273 | 2147483647   183920     20 |  4.139 % |
71.90/71.97	c |    203655 |   21541   152196   594273 | 2147483647   185614     20 |  4.139 % |
73.50/73.50	c |    205518 |   21536   151956   593545 | 2147483647   187425     20 |  4.148 % |
75.00/75.06	c |    207568 |   21536   151956   593545 | 2147483647   189475     20 |  4.148 % |
75.10/75.11	c |    207669 |   21536   151956   593545 | 2147483647   189576     20 |  4.148 % |
75.10/75.19	c |    207779 |   21536   151956   593545 | 2147483647   189686     20 |  4.148 % |
75.30/75.36	c |    207900 |   21536   151956   593545 | 2147483647   189807     20 |  4.148 % |
75.40/75.47	c |    208033 |   21536   151956   593545 | 2147483647   189940     20 |  4.148 % |
75.50/75.57	c |    208179 |   21536   151956   593545 | 2147483647   190086     20 |  4.148 % |
75.60/75.64	c |    208339 |   21536   151956   593545 | 2147483647   190246     20 |  4.148 % |
75.70/75.80	c |    208515 |   21536   151956   593545 | 2147483647   190422     20 |  4.148 % |
75.91/75.99	c |    208710 |   21536   151956   593545 | 2147483647   190617     20 |  4.148 % |
76.10/76.13	c |    208923 |   21536   151956   593545 | 2147483647   190830     20 |  4.148 % |
76.20/76.23	c |    209156 |   21536   151956   593545 | 2147483647   191063     20 |  4.148 % |
76.20/76.26	c |    209416 |   21536   151956   593545 | 2147483647   191323     20 |  4.148 % |
76.50/76.53	c |    209698 |   21536   151956   593545 | 2147483647   191605     20 |  4.148 % |
76.80/76.81	c |    210008 |   21536   151956   593545 | 2147483647   191915     20 |  4.148 % |
76.90/76.97	c |    210349 |   21536   151956   593545 | 2147483647   192256     20 |  4.148 % |
76.90/76.99	c |    210721 |   21536   151956   593545 | 2147483647   192628     20 |  4.148 % |
77.30/77.40	c |    211130 |   21536   151956   593545 | 2147483647   193037     20 |  4.148 % |
77.80/77.88	c |    211580 |   21536   151956   593545 | 2147483647   193487     20 |  4.148 % |
78.30/78.31	c |    212073 |   21536   151956   593545 | 2147483647   193980     20 |  4.148 % |
78.60/78.63	c |    212615 |   21536   151956   593545 | 2147483647   194522     20 |  4.148 % |
78.60/78.67	c |    213211 |   21536   151956   593545 | 2147483647   195118     20 |  4.148 % |
79.10/79.18	c |    213866 |   21536   151956   593545 | 2147483647   195773     20 |  4.148 % |
79.40/79.48	c |    214586 |   21536   151956   593545 | 2147483647   196493     20 |  4.148 % |
79.80/79.88	c |    215379 |   21536   151956   593545 | 2147483647   197286     20 |  4.148 % |
80.31/80.35	c |    216250 |   21536   151956   593545 | 2147483647   198157     20 |  4.148 % |
80.80/80.87	c |    217209 |   21536   151956   593545 | 2147483647   199116     20 |  4.148 % |
81.60/81.69	c |    218262 |   21536   151956   593545 | 2147483647   200169     20 |  4.148 % |
82.30/82.38	c |    219420 |   21536   151956   593545 | 2147483647   201327     20 |  4.148 % |
82.60/82.69	c |    220694 |   21536   151956   593545 | 2147483647   202601     20 |  4.148 % |
83.90/83.95	c |    222098 |   21536   151956   593545 | 2147483647   204005     20 |  4.148 % |
84.50/84.57	c |    223638 |   21536   151956   593545 | 2147483647   205545     20 |  4.148 % |
85.20/85.29	c |    225332 |   21536   151956   593545 | 2147483647   207239     20 |  4.148 % |
85.60/85.67	c |    227195 |   21536   151956   593545 | 2147483647   209102     21 |  4.148 % |
87.00/87.02	c |    229244 |   21536   151956   593545 | 2147483647   211151     21 |  4.148 % |
87.90/87.95	c |    231497 |   21536   151956   593545 | 2147483647   213404     21 |  4.148 % |
88.01/88.04	c |    231597 |   21536   151956   593545 | 2147483647   213504     21 |  4.148 % |
88.10/88.15	c |    231708 |   21536   151956   593545 | 2147483647   213615     21 |  4.148 % |
88.10/88.18	c |    231830 |   21536   151956   593545 | 2147483647   213737     21 |  4.148 % |
88.20/88.28	c |    231964 |   21536   151956   593545 | 2147483647   213871     21 |  4.148 % |
88.40/88.40	c |    232113 |   21536   151956   593545 | 2147483647   214020     21 |  4.148 % |
88.40/88.49	c |    232273 |   21536   151956   593545 | 2147483647   214180     21 |  4.148 % |
88.50/88.57	c |    232449 |   21536   151956   593545 | 2147483647   214356     21 |  4.148 % |
88.70/88.76	c |    232643 |   21536   151956   593545 | 2147483647   214550     21 |  4.148 % |
89.00/89.01	c |    232855 |   21536   151956   593545 | 2147483647   214762     21 |  4.148 % |
89.30/89.32	c |    233090 |   21536   151956   593545 | 2147483647   214997     21 |  4.148 % |
89.50/89.58	c |    233347 |   21536   151956   593545 | 2147483647   215254     21 |  4.148 % |
89.70/89.79	c |    233628 |   21536   151956   593545 | 2147483647   215535     21 |  4.148 % |
89.90/89.94	c |    233937 |   21536   151956   593545 | 2147483647   215844     21 |  4.148 % |
90.10/90.17	c |    234276 |   21536   151956   593545 | 2147483647   216183     21 |  4.148 % |
90.50/90.55	c |    234651 |   21536   151956   593545 | 2147483647   216558     21 |  4.148 % |
90.50/90.57	c |    235060 |   21536   151956   593545 | 2147483647   216967     21 |  4.148 % |
91.00/91.07	c |    235509 |   21536   151956   593545 | 2147483647   217416     21 |  4.148 % |
91.20/91.22	c |    236002 |   21536   151956   593545 | 2147483647   217909     21 |  4.148 % |
91.60/91.64	c |    236544 |   21536   151956   593545 | 2147483647   218451     21 |  4.148 % |
91.80/91.85	c |    237140 |   21536   151956   593545 | 2147483647   219047     21 |  4.148 % |
92.41/92.50	c |    237797 |   21536   151956   593545 | 2147483647   219704     21 |  4.148 % |
93.30/93.31	c |    238517 |   21536   151956   593545 | 2147483647   220424     21 |  4.148 % |
93.70/93.77	c |    239312 |   21536   151956   593545 | 2147483647   221219     21 |  4.148 % |
93.90/94.00	c |    240183 |   21536   151956   593545 | 2147483647   222090     21 |  4.148 % |
95.10/95.12	c |    241141 |   21536   151956   593545 | 2147483647   223048     21 |  4.148 % |
95.40/95.42	c |    242196 |   21536   151956   593545 | 2147483647   224103     21 |  4.148 % |
96.00/96.07	c |    243354 |   21536   151956   593545 | 2147483647   225261     21 |  4.148 % |
96.30/96.34	c |    244627 |   21536   151956   593545 | 2147483647   226534     21 |  4.148 % |
97.50/97.56	c |    246027 |   21536   151956   593545 | 2147483647   227934     21 |  4.148 % |
98.40/98.42	c |    247567 |   21536   151956   593545 | 2147483647   229474     21 |  4.148 % |
99.20/99.30	c |    249262 |   21536   151956   593545 | 2147483647   231169     21 |  4.148 % |
100.50/100.58	c |    251126 |   21536   151956   593545 | 2147483647   233033     21 |  4.148 % |
102.50/102.58	c |    253177 |   21536   151956   593545 | 2147483647   235084     21 |  4.148 % |
104.70/104.72	c |    255431 |   21536   151956   593545 | 2147483647   237338     21 |  4.148 % |
105.30/105.38	c |    257909 |   21536   151956   593545 | 2147483647   239816     21 |  4.148 % |
105.40/105.46	c |    258009 |   21536   151956   593545 | 2147483647   239916     21 |  4.148 % |
105.61/105.61	c |    258119 |   21536   151956   593545 | 2147483647   240026     21 |  4.148 % |
105.70/105.77	c |    258241 |   21536   151956   593545 | 2147483647   240148     21 |  4.148 % |
105.90/105.93	c |    258376 |   21536   151956   593545 | 2147483647   240283     21 |  4.148 % |
105.90/105.99	c |    258527 |   21536   151956   593545 | 2147483647   240434     21 |  4.148 % |
106.20/106.20	c |    258688 |   21536   151956   593545 | 2147483647   240595     21 |  4.148 % |
106.30/106.40	c |    258865 |   21536   151956   593545 | 2147483647   240772     21 |  4.148 % |
106.60/106.64	c |    259058 |   21536   151956   593545 | 2147483647   240965     21 |  4.148 % |
106.90/106.96	c |    259271 |   21535   151931   593465 | 2147483647   241176     21 |  4.153 % |
107.10/107.12	c |    259504 |   21535   151931   593465 | 2147483647   241409     21 |  4.153 % |
107.40/107.46	c |    259761 |   21535   151931   593465 | 2147483647   241666     21 |  4.153 % |
107.70/107.79	c |    260044 |   21535   151931   593465 | 2147483647   241949     21 |  4.153 % |
108.10/108.19	c |    260354 |   21535   151931   593465 | 2147483647   242259     21 |  4.153 % |
108.30/108.39	c |    260693 |   21535   151931   593465 | 2147483647   242598     21 |  4.153 % |
108.80/108.85	c |    261067 |   21535   151931   593465 | 2147483647   242972     21 |  4.153 % |
109.10/109.10	c |    261479 |   21535   151931   593465 | 2147483647   243384     21 |  4.153 % |
109.41/109.49	c |    261929 |   21535   151931   593465 | 2147483647   243834     21 |  4.153 % |
109.51/109.58	c |    262429 |   21535   151931   593465 | 2147483647   244334     21 |  4.153 % |
109.91/109.98	c |    262971 |   21535   151931   593465 | 2147483647   244876     21 |  4.153 % |
110.31/110.32	c |    263568 |   21535   151931   593465 | 2147483647   245473     21 |  4.153 % |
110.51/110.52	c |    264223 |   21535   151931   593465 | 2147483647   246128     21 |  4.153 % |
111.21/111.25	c |    264943 |   21535   151931   593465 | 2147483647   246848     21 |  4.153 % |
111.61/111.71	c |    265738 |   21535   151931   593465 | 2147483647   247643     21 |  4.153 % |
112.21/112.28	c |    266610 |   21535   151931   593465 | 2147483647   248515     21 |  4.153 % |
113.01/113.07	c |    267571 |   21535   151931   593465 | 2147483647   249476     21 |  4.153 % |
113.71/113.79	c |    268624 |   21535   151931   593465 | 2147483647   250529     21 |  4.153 % |
114.41/114.44	c |    269784 |   21535   151931   593465 | 2147483647   251689     22 |  4.153 % |
115.61/115.69	c |    271057 |   21535   151931   593465 | 2147483647   252962     22 |  4.153 % |
116.41/116.47	c |    272457 |   21535   151931   593465 | 2147483647   254362     22 |  4.153 % |
117.71/117.76	c |    273997 |   21535   151931   593465 | 2147483647   255902     22 |  4.153 % |
118.21/118.30	c |    275692 |   21535   151931   593465 | 2147483647   257597     22 |  4.153 % |
119.61/119.68	c |    277555 |   21535   151931   593465 | 2147483647   259460     22 |  4.153 % |
120.31/120.36	c |    279605 |   21535   151931   593465 | 2147483647   261510     22 |  4.153 % |
122.61/122.63	c |    281859 |   21535   151931   593465 | 2147483647   263764     22 |  4.153 % |
124.01/124.07	c |    284339 |   21535   151931   593465 | 2147483647   266244     22 |  4.153 % |
126.81/126.86	c |    287064 |   21535   151931   593465 | 2147483647   268969     22 |  4.153 % |
126.91/126.99	c |    287164 |   21535   151931   593465 | 2147483647   269069     22 |  4.153 % |
127.11/127.12	c |    287274 |   21535   151931   593465 | 2147483647   269179     22 |  4.153 % |
127.21/127.22	c |    287398 |   21535   151931   593465 | 2147483647   269303     22 |  4.153 % |
127.21/127.25	c |    287534 |   21535   151931   593465 | 2147483647   269439     22 |  4.153 % |
127.31/127.39	c |    287680 |   21535   151931   593465 | 2147483647   269585     22 |  4.153 % |
127.41/127.41	c |    287840 |   21535   151931   593465 | 2147483647   269745     22 |  4.153 % |
127.51/127.55	c |    288018 |   21535   151931   593465 | 2147483647   269923     22 |  4.153 % |
127.71/127.75	c |    288214 |   21535   151931   593465 | 2147483647   270119     22 |  4.153 % |
127.81/127.89	c |    288426 |   21535   151931   593465 | 2147483647   270331     22 |  4.153 % |
127.91/128.00	c |    288659 |   21535   151931   593465 | 2147483647   270564     22 |  4.153 % |
128.21/128.23	c |    288915 |   21535   151931   593465 | 2147483647   270820     22 |  4.153 % |
128.31/128.39	c |    289197 |   21535   151931   593465 | 2147483647   271102     22 |  4.153 % |
128.51/128.52	c |    289507 |   21535   151931   593465 | 2147483647   271412     22 |  4.153 % |
128.61/128.64	c |    289846 |   21535   151931   593465 | 2147483647   271751     22 |  4.153 % |
129.01/129.01	c |    290218 |   21535   151931   593465 | 2147483647   272123     22 |  4.153 % |
129.31/129.31	c |    290627 |   21535   151931   593465 | 2147483647   272532     22 |  4.153 % |
129.51/129.53	c |    291077 |   21535   151931   593465 | 2147483647   272982     22 |  4.153 % |
129.71/129.80	c |    291571 |   21535   151931   593465 | 2147483647   273476     22 |  4.153 % |
130.01/130.03	c |    292114 |   21535   151931   593465 | 2147483647   274019     22 |  4.153 % |
130.31/130.32	c |    292710 |   21535   151931   593465 | 2147483647   274615     22 |  4.153 % |
130.51/130.52	c |    293368 |   21535   151931   593465 | 2147483647   275273     22 |  4.153 % |
130.91/130.95	c |    294088 |   21535   151931   593465 | 2147483647   275993     22 |  4.153 % |
131.31/131.41	c |    294880 |   21535   151931   593465 | 2147483647   276785     22 |  4.153 % |
131.91/132.00	c |    295752 |   21535   151931   593465 | 2147483647   277657     22 |  4.153 % |
132.81/132.90	c |    296711 |   21535   151931   593465 | 2147483647   278616     22 |  4.153 % |
133.31/133.33	c |    297766 |   21535   151931   593465 | 2147483647   279671     22 |  4.153 % |
134.41/134.43	c |    298926 |   21535   151931   593465 | 2147483647   280831     22 |  4.153 % |
135.01/135.05	c |    300199 |   21535   151931   593465 |   281907   282104     22 |  4.153 % |
136.01/136.07	c |    301599 |   21535   151931   593465 |   281907   283504     22 |  4.153 % |
137.21/137.28	c |    303141 |   21535   151931   593465 |   281907   248194     22 |  4.153 % |
138.01/138.04	c |    304836 |   21535   151931   593465 |   281907   249889     22 |  4.153 % |
139.41/139.44	c |    306700 |   21535   151931   593465 |   281907   251753     22 |  4.153 % |
140.31/140.32	c |    308750 |   21535   151931   593465 |   281907   253803     22 |  4.153 % |
141.31/141.36	c |    311003 |   21535   151931   593465 |   255053   256056     22 |  4.153 % |
143.31/143.33	c |    313481 |   21535   151931   593465 |   255053   214188     23 |  4.153 % |
144.81/144.89	c |    316206 |   21535   151931   593465 |   255053   216913     23 |  4.153 % |
146.41/146.43	c |    319203 |   21535   151931   593465 |   255053   219910     23 |  4.153 % |
146.51/146.59	c |    319303 |   21535   151931   593465 |   255053   220010     23 |  4.153 % |
146.61/146.68	c |    319413 |   21535   151931   593465 |   255053   220120     23 |  4.153 % |
146.71/146.77	c |    319534 |   21535   151931   593465 |   255053   220241     23 |  4.153 % |
146.81/146.85	c |    319669 |   21535   151931   593465 |   255053   220376     23 |  4.153 % |
146.91/146.91	c |    319816 |   21535   151931   593465 |   255053   220523     23 |  4.153 % |
147.01/147.09	c |    319978 |   21535   151931   593465 |   255053   220685     23 |  4.153 % |
147.21/147.29	c |    320154 |   21535   151931   593465 |   220707   220861     23 |  4.153 % |
147.31/147.37	c |    320347 |   21535   151931   593465 |   220707   221054     23 |  4.153 % |
147.41/147.49	c |    320559 |   21535   151931   593465 |   220707   221266     23 |  4.153 % |
147.61/147.66	c |    320794 |   21535   151931   593465 |   220707   221501     23 |  4.153 % |
147.91/147.92	c |    321050 |   21535   151931   593465 |   220707   221757     23 |  4.153 % |
148.41/148.41	c |    321331 |   21535   151931   593465 |   220707   188701     23 |  4.153 % |
148.51/148.51	c |    321641 |   21535   151931   593465 |   220707   189011     23 |  4.153 % |
148.71/148.81	c |    321981 |   21534   151912   593415 |   220707   189000     23 |  4.157 % |
149.01/149.05	c |    322354 |   21534   151912   593415 |   220707   189373     23 |  4.157 % |
149.31/149.34	c |    322763 |   21534   151912   593415 |   220707   189782     23 |  4.157 % |
149.51/149.59	c |    323212 |   21534   151912   593415 |   220707   190231     23 |  4.157 % |
149.81/149.88	c |    323705 |   21533   151912   593415 |   220707   190723     23 |  4.161 % |
150.01/150.04	c ===============================================================================
150.01/150.04	c restarts              : 723
150.01/150.04	c conflicts             : 323925         (2201 /sec)
150.01/150.04	c decisions             : 1745433        (1.59 % random) (11858 /sec)
150.01/150.04	c propagations          : 75322072       (511699 /sec)
150.01/150.04	c conflict literals     : 7293475        (25.41 % deleted)
150.01/150.04	c Memory used           : 47.25 MB
150.01/150.04	c CPU time              : 147.2 s
150.01/150.04	c 
150.01/150.04	s UNSATISFIABLE
150.01/150.04	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.19 1.06 1.02 2/91 19840
/proc/meminfo: memFree=963812/2074464 swapFree=1953004/1959888
[pid=19840] ppid=19838 vsize=2412 CPUtime=0
/proc/19840/stat : 19840 (SatELiteGTI) R 19838 19840 9090 0 -1 4194304 359 649 0 0 0 0 0 0 25 0 1 0 1023034987 2469888 276 4294967295 134512640 135169312 3217190768 3217189328 134732834 0 65538 4 65536 0 0 0 17 2 0 0 0
/proc/19840/statm: 603 276 235 161 0 42 0
[pid=19844] ppid=19840 vsize=0 CPUtime=0
/proc/19844/stat : 19844 (SatELiteGTI) R 19840 19840 9090 0 -1 4194368 65 0 0 0 0 0 0 0 18 0 1 0 1023034987 0 0 4294967295 0 0 0 3217189396 3084982762 0 0 0 0 0 0 0 17 3 0 0 0
/proc/19844/statm: 204 2 0 0 0 29 0

[startup+0.059411 s]
/proc/loadavg: 1.19 1.06 1.02 2/91 19840
/proc/meminfo: memFree=963812/2074464 swapFree=1953004/1959888
[pid=19840] ppid=19838 vsize=2412 CPUtime=0
/proc/19840/stat : 19840 (SatELiteGTI) S 19838 19840 9090 0 -1 4194304 366 649 0 0 0 0 0 0 25 0 1 0 1023034987 2469888 276 4294967295 134512640 135169312 3217190768 3217189304 3084979950 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/19840/statm: 603 276 235 161 0 42 0
[pid=19844] ppid=19840 vsize=9800 CPUtime=0.06
/proc/19844/stat : 19844 (SatELite_releas) R 19840 19840 9090 0 -1 4202496 2126 0 0 0 6 0 0 0 18 0 1 0 1023034987 10035200 2062 4294967295 134512640 135223648 3214771472 3214770040 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/19844/statm: 2450 2063 46 174 0 2275 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 12212

[startup+0.119408 s]
/proc/loadavg: 1.19 1.06 1.02 2/91 19840
/proc/meminfo: memFree=963812/2074464 swapFree=1953004/1959888
[pid=19840] ppid=19838 vsize=2412 CPUtime=0
/proc/19840/stat : 19840 (SatELiteGTI) S 19838 19840 9090 0 -1 4194304 366 649 0 0 0 0 0 0 25 0 1 0 1023034987 2469888 276 4294967295 134512640 135169312 3217190768 3217189304 3084979950 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/19840/statm: 603 276 235 161 0 42 0
[pid=19844] ppid=19840 vsize=18920 CPUtime=0.12
/proc/19844/stat : 19844 (SatELite_releas) R 19840 19840 9090 0 -1 4202496 4195 0 0 0 11 1 0 0 18 0 1 0 1023034987 19374080 4131 4294967295 134512640 135223648 3214771472 3214770056 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/19844/statm: 4730 4132 46 174 0 4555 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 21332

[startup+0.319398 s]
/proc/loadavg: 1.19 1.06 1.02 2/91 19840
/proc/meminfo: memFree=963812/2074464 swapFree=1953004/1959888
[pid=19840] ppid=19838 vsize=2412 CPUtime=0
/proc/19840/stat : 19840 (SatELiteGTI) S 19838 19840 9090 0 -1 4194304 366 649 0 0 0 0 0 0 25 0 1 0 1023034987 2469888 276 4294967295 134512640 135169312 3217190768 3217189304 3084979950 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/19840/statm: 603 276 235 161 0 42 0
[pid=19844] ppid=19840 vsize=44196 CPUtime=0.32
/proc/19844/stat : 19844 (SatELite_releas) R 19840 19840 9090 0 -1 4202496 10798 0 0 0 26 6 0 0 18 0 1 0 1023034987 45256704 10734 4294967295 134512640 135223648 3214771472 3214770056 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/19844/statm: 11049 10736 46 174 0 10874 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 46608

[startup+0.719379 s]
/proc/loadavg: 1.19 1.06 1.02 2/91 19840
/proc/meminfo: memFree=963812/2074464 swapFree=1953004/1959888
[pid=19840] ppid=19838 vsize=2412 CPUtime=0
/proc/19840/stat : 19840 (SatELiteGTI) S 19838 19840 9090 0 -1 4194304 366 649 0 0 0 0 0 0 25 0 1 0 1023034987 2469888 276 4294967295 134512640 135169312 3217190768 3217189304 3084979950 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/19840/statm: 603 276 235 161 0 42 0
[pid=19844] ppid=19840 vsize=56880 CPUtime=0.72
/proc/19844/stat : 19844 (SatELite_releas) R 19840 19840 9090 0 -1 4202496 14666 0 0 0 64 8 0 0 18 0 1 0 1023034987 58245120 13524 4294967295 134512640 135223648 3214771472 3214769568 134597535 0 0 0 3 0 0 0 17 3 0 0 0
/proc/19844/statm: 14220 13524 73 174 0 14045 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 59292

[startup+1.51934 s]
/proc/loadavg: 1.19 1.06 1.02 2/93 19845
/proc/meminfo: memFree=903920/2074464 swapFree=1953004/1959888
[pid=19840] ppid=19838 vsize=2412 CPUtime=0
/proc/19840/stat : 19840 (SatELiteGTI) S 19838 19840 9090 0 -1 4194304 366 649 0 0 0 0 0 0 25 0 1 0 1023034987 2469888 276 4294967295 134512640 135169312 3217190768 3217189304 3084979950 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/19840/statm: 603 276 235 161 0 42 0
[pid=19844] ppid=19840 vsize=60660 CPUtime=1.52
/proc/19844/stat : 19844 (SatELite_releas) R 19840 19840 9090 0 -1 4202496 15573 0 0 0 142 10 0 0 20 0 1 0 1023034987 62115840 14431 4294967295 134512640 135223648 3214771472 3214769568 134598221 0 0 0 3 0 0 0 17 3 0 0 0
/proc/19844/statm: 15165 14431 73 174 0 14990 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 63072

[startup+3.11926 s]
/proc/loadavg: 1.19 1.06 1.02 3/93 19845
/proc/meminfo: memFree=894372/2074464 swapFree=1953004/1959888
[pid=19840] ppid=19838 vsize=2416 CPUtime=2.67
/proc/19840/stat : 19840 (SatELiteGTI) S 19838 19840 9090 0 -1 4194304 386 17888 0 0 0 0 254 13 18 0 1 0 1023034987 2473984 278 4294967295 134512640 135169312 3217190768 3217186984 3084979950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/19840/statm: 604 278 235 161 0 43 0
Current children cumulated CPU time (s) 2.67
Current children cumulated vsize (KiB) 2416

[startup+6.31911 s]
/proc/loadavg: 1.18 1.06 1.01 3/93 19846
/proc/meminfo: memFree=936292/2074464 swapFree=1953004/1959888
[pid=19840] ppid=19838 vsize=2416 CPUtime=2.67
/proc/19840/stat : 19840 (SatELiteGTI) S 19838 19840 9090 0 -1 4194304 386 17888 0 0 0 0 254 13 18 0 1 0 1023034987 2473984 278 4294967295 134512640 135169312 3217190768 3217186984 3084979950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/19840/statm: 604 278 235 161 0 43 0
[pid=19846] ppid=19840 vsize=14008 CPUtime=3.65
/proc/19846/stat : 19846 (minisat_static) R 19840 19840 9090 0 -1 4202496 3341 0 0 0 362 3 0 0 25 0 1 0 1023035254 14344192 3275 4294967295 134512640 135215339 3214996912 3214995200 134528734 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19846/statm: 3502 3275 73 172 0 3329 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 16424

[startup+12.7188 s]
/proc/loadavg: 1.16 1.06 1.01 2/93 19846
/proc/meminfo: memFree=932832/2074464 swapFree=1953004/1959888
[pid=19840] ppid=19838 vsize=2416 CPUtime=2.67
/proc/19840/stat : 19840 (SatELiteGTI) S 19838 19840 9090 0 -1 4194304 386 17888 0 0 0 0 254 13 18 0 1 0 1023034987 2473984 278 4294967295 134512640 135169312 3217190768 3217186984 3084979950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/19840/statm: 604 278 235 161 0 43 0
[pid=19846] ppid=19840 vsize=17312 CPUtime=10.04
/proc/19846/stat : 19846 (minisat_static) R 19840 19840 9090 0 -1 4202496 4143 0 0 0 998 6 0 0 25 0 1 0 1023035254 17727488 4077 4294967295 134512640 135215339 3214996912 3214995200 134528691 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19846/statm: 4328 4077 73 172 0 4155 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 19728

[startup+25.5182 s]
/proc/loadavg: 1.19 1.07 1.02 3/93 19847
/proc/meminfo: memFree=928432/2074464 swapFree=1953004/1959888
[pid=19840] ppid=19838 vsize=2416 CPUtime=2.67
/proc/19840/stat : 19840 (SatELiteGTI) S 19838 19840 9090 0 -1 4194304 386 17888 0 0 0 0 254 13 18 0 1 0 1023034987 2473984 278 4294967295 134512640 135169312 3217190768 3217186984 3084979950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/19840/statm: 604 278 235 161 0 43 0
[pid=19846] ppid=19840 vsize=21656 CPUtime=22.84
/proc/19846/stat : 19846 (minisat_static) R 19840 19840 9090 0 -1 4202496 5233 0 0 0 2278 6 0 0 25 0 1 0 1023035254 22175744 5167 4294967295 134512640 135215339 3214996912 3214995200 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19846/statm: 5414 5167 73 172 0 5241 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 24072

[startup+51.117 s]
/proc/loadavg: 1.19 1.08 1.02 2/93 19849
/proc/meminfo: memFree=922396/2074464 swapFree=1953004/1959888
[pid=19840] ppid=19838 vsize=2416 CPUtime=2.67
/proc/19840/stat : 19840 (SatELiteGTI) S 19838 19840 9090 0 -1 4194304 386 17888 0 0 0 0 254 13 18 0 1 0 1023034987 2473984 278 4294967295 134512640 135169312 3217190768 3217186984 3084979950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/19840/statm: 604 278 235 161 0 43 0
[pid=19846] ppid=19840 vsize=27916 CPUtime=48.44
/proc/19846/stat : 19846 (minisat_static) R 19840 19840 9090 0 -1 4202496 6758 0 0 0 4835 9 0 0 25 0 1 0 1023035254 28585984 6692 4294967295 134512640 135215339 3214996912 3214995008 134527372 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19846/statm: 6979 6692 73 172 0 6806 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 30332

[startup+102.315 s]
/proc/loadavg: 1.21 1.11 1.03 3/93 20040
/proc/meminfo: memFree=908972/2074464 swapFree=1953004/1959888
[pid=19840] ppid=19838 vsize=2416 CPUtime=2.67
/proc/19840/stat : 19840 (SatELiteGTI) S 19838 19840 9090 0 -1 4194304 386 17888 0 0 0 0 254 13 18 0 1 0 1023034987 2473984 278 4294967295 134512640 135169312 3217190768 3217186984 3084979950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/19840/statm: 604 278 235 161 0 43 0
[pid=19846] ppid=19840 vsize=41032 CPUtime=99.64
/proc/19846/stat : 19846 (minisat_static) R 19840 19840 9090 0 -1 4202496 10020 0 0 0 9951 13 0 0 25 0 1 0 1023035254 42016768 9954 4294967295 134512640 135215339 3214996912 3214995200 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19846/statm: 10258 9954 73 172 0 10085 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 43448

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

[startup+127.913 s]
/proc/loadavg: 1.14 1.10 1.03 2/93 20226
/proc/meminfo: memFree=903552/2074464 swapFree=1953004/1959888
[pid=19840] ppid=19838 vsize=2416 CPUtime=2.67
/proc/19840/stat : 19840 (SatELiteGTI) S 19838 19840 9090 0 -1 4194304 386 17888 0 0 0 0 254 13 18 0 1 0 1023034987 2473984 278 4294967295 134512640 135169312 3217190768 3217186984 3084979950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/19840/statm: 604 278 235 161 0 43 0
[pid=19846] ppid=19840 vsize=46244 CPUtime=125.24
/proc/19846/stat : 19846 (minisat_static) R 19840 19840 9090 0 -1 4202496 11363 0 0 0 12510 14 0 0 25 0 1 0 1023035254 47353856 11297 4294967295 134512640 135215339 3214996912 3214995200 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19846/statm: 11561 11297 73 172 0 11388 0
Current children cumulated CPU time (s) 127.91
Current children cumulated vsize (KiB) 48660

[startup+140.713 s]
/proc/loadavg: 1.11 1.09 1.03 2/93 20228
/proc/meminfo: memFree=901988/2074464 swapFree=1953004/1959888
[pid=19840] ppid=19838 vsize=2416 CPUtime=2.67
/proc/19840/stat : 19840 (SatELiteGTI) S 19838 19840 9090 0 -1 4194304 386 17888 0 0 0 0 254 13 18 0 1 0 1023034987 2473984 278 4294967295 134512640 135169312 3217190768 3217186984 3084979950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/19840/statm: 604 278 235 161 0 43 0
[pid=19846] ppid=19840 vsize=48244 CPUtime=138.04
/proc/19846/stat : 19846 (minisat_static) R 19840 19840 9090 0 -1 4202496 11867 0 0 0 13787 17 0 0 25 0 1 0 1023035254 49401856 11801 4294967295 134512640 135215339 3214996912 3214995200 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/19846/statm: 12061 11801 73 172 0 11888 0
Current children cumulated CPU time (s) 140.71
Current children cumulated vsize (KiB) 50660

[startup+143.913 s]
/proc/loadavg: 1.10 1.09 1.03 2/93 20228
/proc/meminfo: memFree=901988/2074464 swapFree=1953004/1959888
[pid=19840] ppid=19838 vsize=2416 CPUtime=2.67
/proc/19840/stat : 19840 (SatELiteGTI) S 19838 19840 9090 0 -1 4194304 386 17888 0 0 0 0 254 13 18 0 1 0 1023034987 2473984 278 4294967295 134512640 135169312 3217190768 3217186984 3084979950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/19840/statm: 604 278 235 161 0 43 0
[pid=19846] ppid=19840 vsize=48244 CPUtime=141.24
/proc/19846/stat : 19846 (minisat_static) R 19840 19840 9090 0 -1 4202496 11868 0 0 0 14107 17 0 0 25 0 1 0 1023035254 49401856 11802 4294967295 134512640 135215339 3214996912 3214995200 134528884 0 0 0 3 0 0 0 17 3 0 0 0
/proc/19846/statm: 12061 11802 73 172 0 11888 0
Current children cumulated CPU time (s) 143.91
Current children cumulated vsize (KiB) 50660

[startup+147.112 s]
/proc/loadavg: 1.10 1.09 1.03 2/93 20228
/proc/meminfo: memFree=902028/2074464 swapFree=1953004/1959888
[pid=19840] ppid=19838 vsize=2416 CPUtime=2.67
/proc/19840/stat : 19840 (SatELiteGTI) S 19838 19840 9090 0 -1 4194304 386 17888 0 0 0 0 254 13 18 0 1 0 1023034987 2473984 278 4294967295 134512640 135169312 3217190768 3217186984 3084979950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/19840/statm: 604 278 235 161 0 43 0
[pid=19846] ppid=19840 vsize=48380 CPUtime=144.44
/proc/19846/stat : 19846 (minisat_static) R 19840 19840 9090 0 -1 4202496 11882 0 0 0 14427 17 0 0 25 0 1 0 1023035254 49541120 11816 4294967295 134512640 135215339 3214996912 3214995200 134528830 0 0 0 3 0 0 0 17 3 0 0 0
/proc/19846/statm: 12095 11816 73 172 0 11922 0
Current children cumulated CPU time (s) 147.11
Current children cumulated vsize (KiB) 50796

[startup+148.712 s]
/proc/loadavg: 1.09 1.09 1.03 2/93 20228
/proc/meminfo: memFree=902060/2074464 swapFree=1953004/1959888
[pid=19840] ppid=19838 vsize=2416 CPUtime=2.67
/proc/19840/stat : 19840 (SatELiteGTI) S 19838 19840 9090 0 -1 4194304 386 17888 0 0 0 0 254 13 18 0 1 0 1023034987 2473984 278 4294967295 134512640 135169312 3217190768 3217186984 3084979950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/19840/statm: 604 278 235 161 0 43 0
[pid=19846] ppid=19840 vsize=48380 CPUtime=146.04
/proc/19846/stat : 19846 (minisat_static) R 19840 19840 9090 0 -1 4202496 11889 0 0 0 14587 17 0 0 25 0 1 0 1023035254 49541120 11823 4294967295 134512640 135215339 3214996912 3214995200 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/19846/statm: 12095 11823 73 172 0 11922 0
Current children cumulated CPU time (s) 148.71
Current children cumulated vsize (KiB) 50796

[startup+149.512 s]
/proc/loadavg: 1.09 1.09 1.03 2/93 20228
/proc/meminfo: memFree=901936/2074464 swapFree=1953004/1959888
[pid=19840] ppid=19838 vsize=2416 CPUtime=2.67
/proc/19840/stat : 19840 (SatELiteGTI) S 19838 19840 9090 0 -1 4194304 386 17888 0 0 0 0 254 13 18 0 1 0 1023034987 2473984 278 4294967295 134512640 135169312 3217190768 3217186984 3084979950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/19840/statm: 604 278 235 161 0 43 0
[pid=19846] ppid=19840 vsize=48380 CPUtime=146.84
/proc/19846/stat : 19846 (minisat_static) R 19840 19840 9090 0 -1 4202496 11895 0 0 0 14667 17 0 0 25 0 1 0 1023035254 49541120 11829 4294967295 134512640 135215339 3214996912 3214995200 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/19846/statm: 12095 11829 73 172 0 11922 0
Current children cumulated CPU time (s) 149.51
Current children cumulated vsize (KiB) 50796

[startup+149.912 s]
/proc/loadavg: 1.09 1.09 1.03 2/93 20228
/proc/meminfo: memFree=901936/2074464 swapFree=1953004/1959888
[pid=19840] ppid=19838 vsize=2416 CPUtime=2.67
/proc/19840/stat : 19840 (SatELiteGTI) S 19838 19840 9090 0 -1 4194304 386 17888 0 0 0 0 254 13 18 0 1 0 1023034987 2473984 278 4294967295 134512640 135169312 3217190768 3217186984 3084979950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/19840/statm: 604 278 235 161 0 43 0
[pid=19846] ppid=19840 vsize=48380 CPUtime=147.24
/proc/19846/stat : 19846 (minisat_static) R 19840 19840 9090 0 -1 4202496 11895 0 0 0 14707 17 0 0 25 0 1 0 1023035254 49541120 11829 4294967295 134512640 135215339 3214996912 3214995200 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/19846/statm: 12095 11829 73 172 0 11922 0
Current children cumulated CPU time (s) 149.91
Current children cumulated vsize (KiB) 50796

[startup+150.012 s]
/proc/loadavg: 1.09 1.09 1.03 2/93 20228
/proc/meminfo: memFree=901936/2074464 swapFree=1953004/1959888
[pid=19840] ppid=19838 vsize=2416 CPUtime=2.67
/proc/19840/stat : 19840 (SatELiteGTI) S 19838 19840 9090 0 -1 4194304 386 17888 0 0 0 0 254 13 18 0 1 0 1023034987 2473984 278 4294967295 134512640 135169312 3217190768 3217186984 3084979950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/19840/statm: 604 278 235 161 0 43 0
[pid=19846] ppid=19840 vsize=48380 CPUtime=147.34
/proc/19846/stat : 19846 (minisat_static) R 19840 19840 9090 0 -1 4202496 11895 0 0 0 14717 17 0 0 25 0 1 0 1023035254 49541120 11829 4294967295 134512640 135215339 3214996912 3214995200 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/19846/statm: 12095 11829 73 172 0 11922 0
Current children cumulated CPU time (s) 150.01
Current children cumulated vsize (KiB) 50796

Child status: 20
Real time (s): 150.056
CPU time (s): 150.05
CPU user time (s): 149.74
CPU system time (s): 0.31
CPU usage (%): 99.996
Max. virtual memory (cumulated for all children) (KiB): 66348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 149.74
system time used= 0.31
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30448
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= 23
involuntary context switches= 1480

runsolver used 0.01 second user time and 0.02 second system time

The end

Launcher Data 

Begin job on tipi19 at 2009-05-17 20:35:46
IDJOB=1821982
IDBENCH=71766
IDSOLVER=657
FILE ID=tipi19/1821982-1242585346
PBS_JOBID=
Free space on /tmp= 8798 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= runsolver --timestamp  -w /tmp/evaluation-result-1821982-1242585346/watcher-1821982-1242585346 -o /tmp/evaluation-result-1821982-1242585346/solver-1821982-1242585346 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1821982-1242585346.cnf

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

MD5SUM BENCH= 3eac71f4fca7132b74d6d27cfa83813f
RANDOM SEED= 1482622917

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

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

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

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

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


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:        963936 kB
Buffers:         49696 kB
Cached:         943316 kB
SwapCached:       2904 kB
Active:         202492 kB
Inactive:       800036 kB
HighTotal:     1178688 kB
HighFree:       341552 kB
LowTotal:       895776 kB
LowFree:        622384 kB
SwapTotal:     1959888 kB
SwapFree:      1953004 kB
Dirty:            8336 kB
Writeback:           0 kB
AnonPages:        8944 kB
Mapped:           3448 kB
Slab:            99296 kB
PageTables:        416 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    87780 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 8798 MiB
End job on tipi19 at 2009-05-17 20:38:17