Trace number 1820788

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 166.09 166.084

General information on the benchmark

Namemanol-pipe-g10nid.cnf
MD5SUMd46e452956bc993f202d3b06fd3e858e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark166.09
Satisfiable
(Un)Satisfiability was proved
Number of variables217725
Number of clauses646228
Sum of the clauses size1507864
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2430818
Number of clauses of size 3215409
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.63/0.63	c ==============================================================================
0.63/0.63	c |           |     ORIGINAL     |              LEARNT              |          |
0.63/0.63	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.63/0.63	c ==============================================================================
0.63/0.63	c |         0 |  646227  1507863 |  193868       0        0     nan |  0.000 % |
4.12/4.18	c |         0 |  276775  1085434 |      --       0       --      -- |     --   | -369450/-422424
4.12/4.18	c ==============================================================================
4.12/4.18	c Result  :   #vars: 35740   #clauses: 276775   #literals: 1085434
4.12/4.18	c CPU time:   3.97 s
4.12/4.18	c ==============================================================================
4.52/4.57	c This is MiniSat 2.0 beta
4.52/4.57	c WARNING: for repeatability, setting FPU to use double precision
4.52/4.57	c ============================[ Problem Statistics ]=============================
4.52/4.57	c |                                                                             |
4.52/4.57	c |  Number of variables:  35740                                                |
4.52/4.57	c |  Number of clauses:    276775                                               |
4.56/4.78	c |  Parsing time:         0.20         s                                       |
4.56/4.80	c ============================[ Search Statistics ]==============================
4.56/4.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.56/4.80	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
4.56/4.80	c ===============================================================================
4.56/4.80	c |         0 |   35740   276775  1085434 |    92258        0    nan |  0.000 % |
4.56/4.85	c |       100 |   35722   276775  1085434 |    92258       96      7 |  0.171 % |
4.56/4.88	c |       202 |   35719   276775  1085434 |    92258      198      9 |  0.171 % |
4.56/4.93	c |       303 |   35719   276775  1085434 |    92258      299      9 |  0.171 % |
4.56/4.96	c |       415 |   35710   276775  1085434 |    92258      411     10 |  0.171 % |
4.56/5.00	c |       515 |   35709   276775  1085434 |    92258      510     11 |  0.173 % |
4.56/5.06	c |       625 |   35709   276775  1085434 |    92258      620     12 |  0.173 % |
4.56/5.08	c |       746 |   35708   276775  1085434 |    92258      741     12 |  0.173 % |
4.56/5.19	c |       846 |   35702   276775  1085434 |    92258      841     13 |  0.173 % |
4.56/5.23	c |       957 |   35698   276775  1085434 |    92258      952     15 |  0.173 % |
4.56/5.28	c |      1079 |   35698   276775  1085434 |    92258     1074     16 |  0.173 % |
4.56/5.37	c |      1212 |   35696   276775  1085434 |    92258     1206     16 |  0.185 % |
5.42/5.49	c |      1312 |   35692   276775  1085434 |    92258     1306     17 |  0.185 % |
5.52/5.58	c |      1422 |   35686   276775  1085434 |    92258     1416     17 |  0.185 % |
5.62/5.65	c |      1545 |   35686   276775  1085434 |    92258     1539     18 |  0.185 % |
5.62/5.69	c |      1679 |   35661   275228  1079817 |    92258     1666     17 |  0.271 % |
5.72/5.77	c |      1825 |   35656   275228  1079817 |    92258     1812     17 |  0.271 % |
5.72/5.80	c |      1925 |   35656   275228  1079817 |    92258     1912     18 |  0.271 % |
5.82/5.83	c |      2035 |   35654   275228  1079817 |    92258     2021     17 |  0.277 % |
5.82/5.91	c |      2158 |   35654   275228  1079817 |    92258     2144     17 |  0.277 % |
6.02/6.10	c |      2292 |   35641   275228  1079817 |    92258     2278     18 |  0.277 % |
6.12/6.15	c |      2438 |   35641   275228  1079817 |    92258     2424     20 |  0.277 % |
6.12/6.21	c |      2598 |   35641   275228  1079817 |    92258     2584     20 |  0.277 % |
6.22/6.27	c |      2698 |   35641   275228  1079817 |    92258     2684     19 |  0.277 % |
6.32/6.33	c |      2808 |   35641   275228  1079817 |    92258     2794     20 |  0.277 % |
6.32/6.39	c |      2931 |   35641   275228  1079817 |    92258     2917     20 |  0.277 % |
6.42/6.44	c |      3064 |   35641   275228  1079817 |    92258     3050     19 |  0.277 % |
6.42/6.46	c |      3211 |   35626   275228  1079817 |    92258     3192     19 |  0.327 % |
6.52/6.56	c |      3373 |   35623   274288  1076295 |    92258     3330     19 |  0.327 % |
6.52/6.58	c |      3549 |   35615   274288  1076295 |    92258     3504     19 |  0.358 % |
6.62/6.65	c |      3650 |   35612   274288  1076295 |    92258     3605     19 |  0.358 % |
6.62/6.71	c |      3761 |   35612   274288  1076295 |    92258     3716     19 |  0.358 % |
6.72/6.81	c |      3882 |   35612   274288  1076295 |    92258     3837     19 |  0.358 % |
6.82/6.85	c |      4015 |   35612   274288  1076295 |    92258     3970     19 |  0.358 % |
6.82/6.91	c |      4162 |   35612   274288  1076295 |    92258     4117     19 |  0.358 % |
7.02/7.04	c |      4322 |   35612   274288  1076295 |    92258     4277     19 |  0.358 % |
7.12/7.15	c |      4498 |   35609   274288  1076295 |    92258     4452     19 |  0.375 % |
7.12/7.19	c |      4691 |   35609   274288  1076295 |    92258     4645     19 |  0.375 % |
7.22/7.22	c |      4792 |   35587   274288  1076295 |    92258     4744     19 |  0.529 % |
7.22/7.27	c |      4903 |   35567   274288  1076295 |    92258     4854     19 |  0.680 % |
7.22/7.32	c |      5025 |   35566   274288  1076295 |    92258     4975     19 |  0.686 % |
7.42/7.44	c |      5158 |   35495   271314  1064898 |    92258     5063     19 |  0.686 % |
7.42/7.44	c |      5304 |   35495   271314  1064898 |    92258     5209     19 |  0.686 % |
7.52/7.55	c |      5464 |   35470   271314  1064898 |    92258     5368     18 |  0.828 % |
7.52/7.59	c |      5641 |   35470   271314  1064898 |    92258     5545     18 |  0.828 % |
7.62/7.65	c |      5835 |   35467   271314  1064898 |    92258     5737     18 |  0.873 % |
7.62/7.69	c |      6047 |   35463   271314  1064898 |    92258     5947     17 |  0.884 % |
7.62/7.72	c |      6148 |   35455   271314  1064898 |    92258     6045     17 |  0.932 % |
7.72/7.75	c |      6259 |   35388   271314  1064898 |    92258     6155     17 |  1.153 % |
7.72/7.79	c |      6381 |   35388   271314  1064898 |    92258     6277     17 |  1.153 % |
7.82/7.84	c |      6515 |   35388   271314  1064898 |    92258     6411     17 |  1.153 % |
7.82/7.88	c |      6662 |   35374   271314  1064898 |    92258     6555     17 |  1.172 % |
7.92/7.92	c |      6822 |   35374   271314  1064898 |    92258     6715     17 |  1.172 % |
7.92/7.96	c |      6999 |   35360   271314  1064898 |    92258     6887     17 |  1.226 % |
7.92/7.99	c |      7192 |   35360   271314  1064898 |    92258     7080     17 |  1.226 % |
8.02/8.06	c |      7406 |   35360   271314  1064898 |    92258     7294     17 |  1.226 % |
8.02/8.11	c |      7639 |   35359   271314  1064898 |    92258     7527     18 |  1.226 % |
8.12/8.15	c |      7740 |   35302   266760  1047220 |    92258     6830     18 |  1.226 % |
8.12/8.19	c |      7850 |   35302   266760  1047220 |    92258     6940     18 |  1.226 % |
8.12/8.22	c |      7971 |   35302   266760  1047220 |    92258     7061     18 |  1.226 % |
8.22/8.27	c |      8105 |   35302   266760  1047220 |    92258     7195     18 |  1.226 % |
8.32/8.35	c |      8253 |   35302   266760  1047220 |    92258     7343     19 |  1.226 % |
8.32/8.39	c |      8413 |   35301   266760  1047220 |    92258     7502     19 |  1.234 % |
8.42/8.44	c |      8590 |   35300   266760  1047220 |    92258     7678     18 |  1.315 % |
8.42/8.48	c |      8783 |   35297   266760  1047220 |    92258     7871     19 |  1.315 % |
8.52/8.54	c |      8995 |   35297   266760  1047220 |    92258     8083     19 |  1.315 % |
8.52/8.59	c |      9228 |   35297   266760  1047220 |    92258     8316     19 |  1.315 % |
8.62/8.71	c |      9485 |   35286   266760  1047220 |    92258     8571     19 |  1.399 % |
8.72/8.74	c |      9587 |   35285   266760  1047220 |    92258     8672     19 |  1.402 % |
8.72/8.77	c |      9697 |   35277   266760  1047220 |    92258     8779     19 |  1.438 % |
8.72/8.78	c |      9818 |   35277   266760  1047220 |    92258     8900     19 |  1.438 % |
8.72/8.81	c |      9953 |   35277   266760  1047220 |    92258     9035     19 |  1.438 % |
8.82/8.82	c |     10099 |   35277   266760  1047220 | 2147483647     9181     19 |  1.438 % |
8.82/8.87	c |     10260 |   35277   266760  1047220 | 2147483647     9342     19 |  1.438 % |
8.92/8.94	c |     10437 |   35267   266760  1047220 | 2147483647     9518     19 |  1.452 % |
9.02/9.05	c |     10632 |   35221   265716  1043298 | 2147483647     9624     20 |  1.452 % |
9.02/9.10	c |     10845 |   35216   265716  1043298 | 2147483647     9836     20 |  1.533 % |
9.12/9.18	c |     11079 |   35216   265716  1043298 | 2147483647    10070     20 |  1.533 % |
9.22/9.23	c |     11337 |   35216   265716  1043298 | 2147483647    10328     20 |  1.533 % |
9.22/9.29	c |     11618 |   35214   265716  1043298 | 2147483647    10609     21 |  1.533 % |
9.22/9.31	c |     11720 |   35196   265716  1043298 | 2147483647    10708     21 |  1.634 % |
9.32/9.39	c |     11830 |   35192   265716  1043298 | 2147483647    10817     21 |  1.659 % |
9.42/9.42	c |     11951 |   35192   265716  1043298 | 2147483647    10938     21 |  1.659 % |
9.42/9.42	c |     12085 |   35192   265716  1043298 | 2147483647    11072     21 |  1.659 % |
9.42/9.48	c |     12231 |   35189   265716  1043298 | 2147483647    11217     21 |  1.670 % |
9.52/9.52	c |     12391 |   35189   265716  1043298 | 2147483647    11377     21 |  1.670 % |
9.52/9.58	c |     12568 |   35186   265716  1043298 | 2147483647    11551     21 |  1.679 % |
9.62/9.64	c |     12762 |   35186   265716  1043298 | 2147483647    11745     20 |  1.679 % |
9.62/9.68	c |     12974 |   35186   265716  1043298 | 2147483647    11957     20 |  1.679 % |
9.72/9.75	c |     13207 |   35176   265716  1043298 | 2147483647    12190     20 |  1.679 % |
9.72/9.82	c |     13464 |   35174   265716  1043298 | 2147483647    12446     20 |  1.729 % |
9.82/9.88	c |     13745 |   35122   264121  1037500 | 2147483647    12707     20 |  1.729 % |
9.92/9.97	c |     14055 |   35122   264121  1037500 | 2147483647    13017     21 |  1.729 % |
9.92/9.99	c |     14155 |   35122   264121  1037500 | 2147483647    13117     21 |  1.729 % |
10.02/10.02	c |     14266 |   35122   264121  1037500 | 2147483647    13228     21 |  1.729 % |
10.02/10.08	c |     14387 |   35122   264121  1037500 | 2147483647    13349     21 |  1.729 % |
10.02/10.10	c |     14521 |   35117   264121  1037500 | 2147483647    13480     21 |  1.766 % |
10.02/10.12	c |     14668 |   35117   264121  1037500 | 2147483647    13627     21 |  1.766 % |
10.12/10.14	c |     14828 |   35116   264121  1037500 | 2147483647    13787     21 |  1.766 % |
10.12/10.18	c |     15005 |   35115   264121  1037500 | 2147483647    13963     21 |  1.782 % |
10.22/10.22	c |     15198 |   35112   264121  1037500 | 2147483647    14156     21 |  1.782 % |
10.22/10.31	c |     15410 |   35112   264121  1037500 | 2147483647    14368     21 |  1.782 % |
10.32/10.38	c |     15643 |   35112   264121  1037500 | 2147483647    14601     21 |  1.782 % |
10.42/10.49	c |     15902 |   35112   264121  1037500 | 2147483647    14860     21 |  1.782 % |
10.52/10.58	c |     16184 |   35104   264121  1037500 | 2147483647    15139     21 |  1.810 % |
10.62/10.66	c |     16493 |   35104   264121  1037500 | 2147483647    15448     21 |  1.810 % |
10.72/10.75	c |     16835 |   35104   264121  1037500 | 2147483647    15790     22 |  1.810 % |
10.72/10.79	c |     16937 |   35093   263517  1035373 | 2147483647    15875     21 |  1.810 % |
10.72/10.80	c |     17048 |   35093   263517  1035373 | 2147483647    15986     22 |  1.810 % |
10.82/10.84	c |     17170 |   35093   263517  1035373 | 2147483647    16108     22 |  1.810 % |
10.82/10.86	c |     17305 |   35093   263517  1035373 | 2147483647    16243     21 |  1.810 % |
10.82/10.89	c |     17451 |   35093   263517  1035373 | 2147483647    16389     21 |  1.810 % |
10.92/10.92	c |     17615 |   35093   263517  1035373 | 2147483647    16553     21 |  1.810 % |
10.92/10.97	c |     17792 |   35093   263517  1035373 | 2147483647    16730     21 |  1.810 % |
11.02/11.02	c |     17987 |   35093   263517  1035373 | 2147483647    16925     22 |  1.810 % |
11.02/11.07	c |     18199 |   35089   263517  1035373 | 2147483647    17136     22 |  1.886 % |
11.12/11.15	c |     18432 |   35089   263517  1035373 | 2147483647    17369     22 |  1.886 % |
11.22/11.29	c |     18688 |   35087   263517  1035373 | 2147483647    17624     22 |  1.889 % |
11.32/11.35	c |     18969 |   35086   263517  1035373 | 2147483647    17904     21 |  1.891 % |
11.42/11.43	c |     19278 |   35086   263517  1035373 | 2147483647    18213     22 |  1.891 % |
11.52/11.54	c |     19617 |   35086   263517  1035373 | 2147483647    18552     22 |  1.891 % |
11.52/11.61	c |     19989 |   35086   263517  1035373 | 2147483647    18924     22 |  1.891 % |
11.62/11.64	c |     20090 |   35070   263517  1035373 | 2147483647    19023     22 |  2.015 % |
11.62/11.66	c |     20201 |   35069   263517  1035373 | 2147483647    19133     22 |  2.020 % |
11.62/11.70	c |     20322 |   35068   263517  1035373 | 2147483647    19254     22 |  2.020 % |
11.72/11.78	c |     20457 |   35068   263517  1035373 | 2147483647    19389     22 |  2.020 % |
11.82/11.83	c |     20603 |   35015   261920  1029244 | 2147483647    19521     22 |  2.031 % |
11.82/11.86	c |     20763 |   35015   261920  1029244 | 2147483647    19681     22 |  2.031 % |
11.82/11.90	c |     20941 |   35015   261920  1029244 | 2147483647    19859     22 |  2.031 % |
11.92/11.99	c |     21134 |   35015   261920  1029244 | 2147483647    20052     22 |  2.031 % |
12.02/12.10	c |     21346 |   35008   261920  1029244 | 2147483647    20261     21 |  2.241 % |
12.12/12.16	c |     21579 |   34998   261920  1029244 | 2147483647    20494     21 |  2.241 % |
12.22/12.22	c |     21837 |   34998   261920  1029244 | 2147483647    20752     21 |  2.241 % |
12.32/12.38	c |     22118 |   34995   261920  1029244 | 2147483647    21032     21 |  2.250 % |
12.42/12.47	c |     22428 |   34990   261920  1029244 | 2147483647    21342     21 |  2.250 % |
12.52/12.57	c |     22768 |   34990   261920  1029244 | 2147483647    21682     21 |  2.250 % |
12.62/12.67	c |     23144 |   34980   261920  1029244 | 2147483647    22058     22 |  2.250 % |
12.82/12.86	c |     23554 |   34968   261920  1029244 | 2147483647    22467     22 |  2.264 % |
12.92/12.93	c |     23655 |   34945   261920  1029244 | 2147483647    22565     22 |  2.406 % |
13.02/13.03	c |     23765 |   34880   258077  1015535 | 2147483647    22610     22 |  2.406 % |
13.02/13.05	c |     23886 |   34880   258077  1015535 | 2147483647    22731     22 |  2.406 % |
13.02/13.08	c |     24019 |   34880   258077  1015535 | 2147483647    22864     22 |  2.406 % |
13.02/13.12	c |     24165 |   34880   258077  1015535 | 2147483647    23010     22 |  2.406 % |
13.12/13.20	c |     24327 |   34880   258077  1015535 | 2147483647    23172     22 |  2.406 % |
13.22/13.31	c |     24504 |   34880   258077  1015535 | 2147483647    23349     22 |  2.406 % |
13.32/13.36	c |     24697 |   34880   258077  1015535 | 2147483647    23542     22 |  2.406 % |
13.32/13.37	c |     24910 |   34880   258077  1015535 | 2147483647    23755     22 |  2.406 % |
13.42/13.47	c |     25144 |   34880   258077  1015535 | 2147483647    23989     22 |  2.406 % |
13.52/13.56	c |     25400 |   34880   258077  1015535 | 2147483647    24245     22 |  2.406 % |
13.62/13.66	c |     25681 |   34880   258077  1015535 | 2147483647    24526     22 |  2.406 % |
13.72/13.75	c |     25990 |   34880   258077  1015535 | 2147483647    24835     22 |  2.406 % |
13.82/13.88	c |     26329 |   34880   258077  1015535 | 2147483647    25174     22 |  2.406 % |
13.82/13.92	c |     26703 |   34880   258077  1015535 | 2147483647    25548     22 |  2.406 % |
13.92/13.94	c |     27112 |   34880   258077  1015535 | 2147483647    25957     22 |  2.406 % |
13.92/14.00	c |     27564 |   34880   258077  1015535 | 2147483647    26409     23 |  2.406 % |
14.02/14.04	c |     27664 |   34856   258077  1015535 | 2147483647    26508     23 |  2.532 % |
14.02/14.10	c |     27776 |   34856   258077  1015535 | 2147483647    26620     23 |  2.532 % |
14.12/14.16	c |     27897 |   34835   257110  1011877 | 2147483647    26682     23 |  2.532 % |
14.12/14.21	c |     28031 |   34835   257110  1011877 | 2147483647    26816     23 |  2.532 % |
14.22/14.26	c |     28182 |   34829   257110  1011877 | 2147483647    26963     23 |  2.555 % |
14.22/14.29	c |     28343 |   34829   257110  1011877 | 2147483647    27124     23 |  2.555 % |
14.32/14.34	c |     28519 |   34829   257110  1011877 | 2147483647    27300     23 |  2.555 % |
14.32/14.40	c |     28713 |   34822   257110  1011877 | 2147483647    27493     23 |  2.574 % |
14.42/14.49	c |     28926 |   34822   257110  1011877 | 2147483647    27706     23 |  2.574 % |
14.42/14.51	c |     29159 |   34822   257110  1011877 | 2147483647    27939     23 |  2.574 % |
14.62/14.66	c |     29416 |   34822   257110  1011877 | 2147483647    28196     23 |  2.574 % |
14.72/14.77	c |     29699 |   34822   257110  1011877 | 2147483647    28479     23 |  2.574 % |
14.82/14.84	c |     30008 |   34822   257110  1011877 | 2147483647    28788     23 |  2.574 % |
14.92/14.94	c |     30349 |   34820   257110  1011877 | 2147483647    29128     23 |  2.585 % |
14.92/15.01	c |     30721 |   34820   257110  1011877 | 2147483647    29500     23 |  2.585 % |
15.02/15.11	c |     31130 |   34820   257110  1011877 | 2147483647    29909     23 |  2.585 % |
15.12/15.21	c |     31579 |   34820   257110  1011877 | 2147483647    30358     23 |  2.585 % |
15.22/15.29	c |     32072 |   34820   257110  1011877 | 2147483647    30851     23 |  2.585 % |
15.32/15.34	c |     32172 |   34818   257110  1011877 | 2147483647    30950     23 |  2.591 % |
15.42/15.42	c |     32282 |   34814   256828  1010895 | 2147483647    31046     23 |  2.591 % |
15.42/15.43	c |     32403 |   34814   256828  1010895 | 2147483647    31167     23 |  2.591 % |
15.42/15.50	c |     32536 |   34814   256828  1010895 | 2147483647    31300     23 |  2.591 % |
15.52/15.59	c |     32688 |   34814   256828  1010895 | 2147483647    31452     23 |  2.591 % |
15.62/15.64	c |     32849 |   34813   256828  1010895 | 2147483647    31612     23 |  2.697 % |
15.62/15.71	c |     33026 |   34811   256828  1010895 | 2147483647    31789     23 |  2.697 % |
15.72/15.79	c |     33220 |   34802   256828  1010895 | 2147483647    31983     23 |  2.697 % |
15.82/15.86	c |     33433 |   34802   256828  1010895 | 2147483647    32196     23 |  2.697 % |
15.92/15.96	c |     33667 |   34802   256828  1010895 | 2147483647    32430     23 |  2.697 % |
16.02/16.04	c |     33926 |   34802   256828  1010895 | 2147483647    32689     23 |  2.697 % |
16.02/16.10	c |     34209 |   34802   256828  1010895 | 2147483647    32972     23 |  2.697 % |
16.12/16.20	c |     34521 |   34802   256828  1010895 | 2147483647    33284     23 |  2.697 % |
16.22/16.29	c |     34860 |   34802   256828  1010895 | 2147483647    33623     23 |  2.697 % |
16.32/16.32	c |     35232 |   34802   256828  1010895 | 2147483647    33995     23 |  2.697 % |
16.32/16.41	c |     35641 |   34802   256828  1010895 | 2147483647    34404     23 |  2.697 % |
16.42/16.49	c |     36090 |   34800   256828  1010895 | 2147483647    34852     23 |  2.706 % |
16.62/16.63	c |     36584 |   34800   256828  1010895 | 2147483647    35346     23 |  2.706 % |
16.72/16.73	c |     37126 |   34772   256828  1010895 | 2147483647    35885     24 |  2.809 % |
16.72/16.80	c |     37226 |   34736   255233  1004770 | 2147483647    35827     24 |  2.809 % |
16.82/16.85	c |     37339 |   34736   255233  1004770 | 2147483647    35940     24 |  2.809 % |
16.82/16.89	c |     37461 |   34736   255233  1004770 | 2147483647    36062     24 |  2.809 % |
16.92/16.95	c |     37596 |   34736   255233  1004770 | 2147483647    36197     24 |  2.809 % |
16.92/17.01	c |     37743 |   34735   255233  1004770 | 2147483647    36343     24 |  2.815 % |
17.02/17.12	c |     37903 |   34735   255233  1004770 | 2147483647    36503     24 |  2.815 % |
17.12/17.17	c |     38079 |   34735   255233  1004770 | 2147483647    36679     24 |  2.815 % |
17.22/17.25	c |     38272 |   34735   255233  1004770 | 2147483647    36872     24 |  2.815 % |
17.22/17.31	c |     38486 |   34735   255233  1004770 | 2147483647    37086     24 |  2.815 % |
17.32/17.37	c |     38721 |   34735   255233  1004770 | 2147483647    37321     24 |  2.815 % |
17.32/17.40	c |     38977 |   34733   255233  1004770 | 2147483647    37576     24 |  2.826 % |
17.42/17.50	c |     39258 |   34733   255233  1004770 | 2147483647    37857     24 |  2.826 % |
17.52/17.58	c |     39567 |   34733   255233  1004770 | 2147483647    38166     24 |  2.826 % |
17.62/17.64	c |     39906 |   34733   255233  1004770 | 2147483647    38505     24 |  2.826 % |
17.62/17.69	c |     40280 |   34733   255233  1004770 | 2147483647    38879     24 |  2.826 % |
17.62/17.71	c |     40689 |   34733   255233  1004770 | 2147483647    39288     24 |  2.826 % |
17.82/17.86	c |     41139 |   34733   255233  1004770 | 2147483647    39738     24 |  2.826 % |
17.92/17.98	c |     41632 |   34733   255233  1004770 | 2147483647    40231     24 |  2.826 % |
18.02/18.08	c |     42176 |   34733   255233  1004770 | 2147483647    40775     24 |  2.826 % |
18.12/18.20	c |     42772 |   34733   255233  1004770 | 2147483647    41371     24 |  2.826 % |
18.22/18.24	c |     42872 |   34733   255233  1004770 | 2147483647    41471     24 |  2.826 % |
18.22/18.26	c |     42983 |   34733   255233  1004770 | 2147483647    41582     24 |  2.826 % |
18.22/18.31	c |     43105 |   34733   255233  1004770 | 2147483647    41704     24 |  2.826 % |
18.32/18.39	c |     43238 |   34730   255156  1004473 | 2147483647    41814     24 |  2.826 % |
18.42/18.45	c |     43388 |   34730   255156  1004473 | 2147483647    41964     24 |  2.826 % |
18.52/18.52	c |     43548 |   34730   255156  1004473 | 2147483647    42124     24 |  2.826 % |
18.52/18.57	c |     43724 |   34730   255156  1004473 | 2147483647    42300     24 |  2.826 % |
18.62/18.66	c |     43917 |   34730   255156  1004473 | 2147483647    42493     24 |  2.826 % |
18.73/18.73	c |     44129 |   34730   255156  1004473 | 2147483647    42705     24 |  2.826 % |
18.73/18.79	c |     44363 |   34730   255156  1004473 | 2147483647    42939     24 |  2.826 % |
18.82/18.86	c |     44627 |   34730   255156  1004473 | 2147483647    43203     24 |  2.826 % |
18.92/18.98	c |     44909 |   34730   255156  1004473 | 2147483647    43485     24 |  2.826 % |
19.02/19.09	c |     45218 |   34730   255156  1004473 | 2147483647    43794     24 |  2.826 % |
19.12/19.20	c |     45557 |   34730   255156  1004473 | 2147483647    44133     24 |  2.826 % |
19.22/19.27	c |     45929 |   34730   255156  1004473 | 2147483647    44505     24 |  2.826 % |
19.32/19.40	c |     46338 |   34730   255156  1004473 | 2147483647    44914     24 |  2.826 % |
19.52/19.57	c |     46787 |   34730   255156  1004473 | 2147483647    45363     24 |  2.826 % |
19.62/19.71	c |     47281 |   34729   255156  1004473 | 2147483647    45856     24 |  2.829 % |
19.83/19.89	c |     47823 |   34729   255156  1004473 | 2147483647    46397     25 |  2.843 % |
19.92/19.99	c |     48420 |   34724   255156  1004473 | 2147483647    46993     24 |  2.851 % |
20.12/20.17	c |     49075 |   34724   255156  1004473 | 2147483647    47648     24 |  2.851 % |
20.22/20.23	c |     49176 |   34718   255020  1003965 | 2147483647    47745     24 |  2.860 % |
20.22/20.26	c |     49288 |   34718   255020  1003965 | 2147483647    47857     24 |  2.860 % |
20.22/20.31	c |     49409 |   34715   255020  1003965 | 2147483647    47977     24 |  2.868 % |
20.32/20.35	c |     49542 |   34715   255020  1003965 | 2147483647    48110     24 |  2.868 % |
20.32/20.39	c |     49689 |   34715   255020  1003965 | 2147483647    48257     24 |  2.868 % |
20.42/20.47	c |     49850 |   34714   255020  1003965 | 2147483647    48417     24 |  2.871 % |
20.52/20.52	c |     50027 |   34714   255020  1003965 | 2147483647    48594     24 |  2.871 % |
20.52/20.57	c |     50220 |   34714   255020  1003965 | 2147483647    48787     24 |  2.871 % |
20.62/20.66	c |     50432 |   34714   255020  1003965 | 2147483647    48999     24 |  2.871 % |
20.62/20.71	c |     50665 |   34714   255020  1003965 | 2147483647    49232     24 |  2.871 % |
20.72/20.76	c |     50921 |   34697   255020  1003965 | 2147483647    49486     24 |  3.075 % |
20.72/20.80	c |     51202 |   34697   255020  1003965 | 2147483647    49767     24 |  3.075 % |
20.82/20.86	c |     51511 |   34695   255020  1003965 | 2147483647    50076     24 |  3.075 % |
20.93/20.94	c |     51852 |   34695   255020  1003965 | 2147483647    50417     25 |  3.075 % |
21.02/21.02	c |     52224 |   34692   255020  1003965 | 2147483647    50788     25 |  3.083 % |
21.12/21.12	c |     52635 |   34692   255020  1003965 | 2147483647    51199     25 |  3.083 % |
21.12/21.21	c |     53085 |   34692   255020  1003965 | 2147483647    51649     25 |  3.083 % |
21.22/21.28	c |     53579 |   34692   255020  1003965 | 2147483647    52143     25 |  3.083 % |
21.32/21.35	c |     54126 |   34692   255020  1003965 | 2147483647    52690     25 |  3.083 % |
21.42/21.44	c |     54722 |   34692   255020  1003965 | 2147483647    53286     25 |  3.083 % |
21.62/21.64	c |     55377 |   34692   255020  1003965 | 2147483647    53941     26 |  3.083 % |
21.72/21.73	c |     56097 |   34692   255020  1003965 | 2147483647    54661     26 |  3.083 % |
21.72/21.78	c |     56198 |   34689   255020  1003965 | 2147483647    54761     26 |  3.092 % |
21.82/21.84	c |     56308 |   34689   255020  1003965 | 2147483647    54871     26 |  3.092 % |
21.82/21.87	c |     56430 |   34689   255020  1003965 | 2147483647    54993     26 |  3.092 % |
21.92/21.95	c |     56563 |   34689   255020  1003965 | 2147483647    55126     26 |  3.092 % |
21.92/22.03	c |     56710 |   34689   255020  1003965 | 2147483647    55273     26 |  3.092 % |
22.03/22.11	c |     56871 |   34689   255020  1003965 | 2147483647    55434     26 |  3.092 % |
22.12/22.19	c |     57048 |   34689   255020  1003965 | 2147483647    55611     26 |  3.092 % |
22.22/22.30	c |     57241 |   34635   253814   999244 | 2147483647    55611     26 |  3.092 % |
22.32/22.35	c |     57454 |   34635   253814   999244 | 2147483647    55824     26 |  3.092 % |
22.42/22.42	c |     57687 |   34635   253814   999244 | 2147483647    56057     26 |  3.092 % |
22.42/22.50	c |     57943 |   34635   253814   999244 | 2147483647    56313     26 |  3.092 % |
22.52/22.60	c |     58224 |   34635   253814   999244 | 2147483647    56594     26 |  3.092 % |
22.62/22.65	c |     58533 |   34635   253814   999244 | 2147483647    56903     26 |  3.092 % |
22.72/22.75	c |     58874 |   34633   253814   999244 | 2147483647    57243     26 |  3.106 % |
22.82/22.88	c |     59248 |   34633   253814   999244 | 2147483647    57617     26 |  3.106 % |
22.92/23.00	c |     59657 |   34633   253814   999244 | 2147483647    58026     26 |  3.106 % |
23.13/23.16	c |     60107 |   34626   253814   999244 | 2147483647    58473     26 |  3.131 % |
23.22/23.28	c |     60601 |   34625   253814   999244 | 2147483647    58967     26 |  3.131 % |
23.42/23.45	c |     61144 |   34625   253814   999244 | 2147483647    59510     26 |  3.131 % |
23.62/23.65	c |     61743 |   34624   253814   999244 | 2147483647    60109     26 |  3.131 % |
23.92/23.92	c |     62398 |   34624   253814   999244 | 2147483647    60764     26 |  3.131 % |
24.02/24.07	c |     63118 |   34624   253814   999244 | 2147483647    61484     26 |  3.131 % |
24.23/24.25	c |     63910 |   34624   253814   999244 | 2147483647    62276     26 |  3.131 % |
24.23/24.28	c |     64010 |   34619   253814   999244 | 2147483647    62374     26 |  3.148 % |
24.32/24.34	c |     64121 |   34619   253814   999244 | 2147483647    62485     26 |  3.148 % |
24.32/24.40	c |     64242 |   34619   253814   999244 | 2147483647    62606     26 |  3.148 % |
24.42/24.50	c |     64375 |   34619   253814   999244 | 2147483647    62739     26 |  3.148 % |
24.52/24.56	c |     64525 |   34615   253642   998597 | 2147483647    62884     26 |  3.148 % |
24.52/24.61	c |     64685 |   34615   253642   998597 | 2147483647    63044     26 |  3.148 % |
24.62/24.66	c |     64861 |   34615   253642   998597 | 2147483647    63220     26 |  3.148 % |
24.62/24.67	c |     65054 |   34612   253642   998597 | 2147483647    63411     26 |  3.165 % |
24.72/24.75	c |     65267 |   34612   253642   998597 | 2147483647    63624     26 |  3.165 % |
24.72/24.79	c |     65501 |   34609   253642   998597 | 2147483647    63857     26 |  3.173 % |
24.82/24.91	c |     65757 |   34607   253642   998597 | 2147483647    64112     26 |  3.179 % |
24.92/24.99	c |     66038 |   34607   253642   998597 | 2147483647    64393     26 |  3.179 % |
25.02/25.07	c |     66348 |   34601   253642   998597 | 2147483647    64701     26 |  3.198 % |
25.12/25.20	c |     66689 |   34601   253642   998597 | 2147483647    65042     26 |  3.198 % |
25.33/25.34	c |     67062 |   34600   253642   998597 | 2147483647    65414     26 |  3.201 % |
25.42/25.45	c |     67471 |   34600   253642   998597 | 2147483647    65823     26 |  3.201 % |
25.52/25.57	c |     67922 |   34600   253642   998597 | 2147483647    66274     26 |  3.201 % |
25.62/25.66	c |     68415 |   34600   253642   998597 | 2147483647    66767     26 |  3.201 % |
25.82/25.90	c |     68958 |   34600   253642   998597 | 2147483647    67310     26 |  3.201 % |
26.02/26.03	c |     69555 |   34600   253642   998597 | 2147483647    67907     26 |  3.201 % |
26.12/26.15	c |     70210 |   34600   253642   998597 | 2147483647    68562     26 |  3.201 % |
26.22/26.24	c |     70933 |   34600   253642   998597 | 2147483647    69285     27 |  3.201 % |
26.43/26.47	c |     71725 |   34600   253642   998597 | 2147483647    70077     27 |  3.201 % |
26.52/26.59	c |     72599 |   34600   253642   998597 | 2147483647    70951     27 |  3.201 % |
26.62/26.63	c |     72701 |   34600   253642   998597 | 2147483647    71053     27 |  3.201 % |
26.62/26.68	c |     72812 |   34600   253642   998597 | 2147483647    71164     27 |  3.201 % |
26.62/26.69	c |     72933 |   34600   253642   998597 | 2147483647    71285     27 |  3.201 % |
26.62/26.71	c |     73067 |   34600   253642   998597 | 2147483647    71419     27 |  3.201 % |
26.72/26.76	c |     73213 |   34600   253642   998597 | 2147483647    71565     27 |  3.201 % |
26.72/26.81	c |     73374 |   34600   253642   998597 | 2147483647    71726     27 |  3.201 % |
26.82/26.88	c |     73550 |   34600   253642   998597 | 2147483647    71902     27 |  3.201 % |
26.92/27.00	c |     73743 |   34600   253642   998597 | 2147483647    72095     27 |  3.201 % |
27.02/27.08	c |     73963 |   34600   253642   998597 | 2147483647    72315     27 |  3.201 % |
27.02/27.12	c |     74196 |   34600   253642   998597 | 2147483647    72548     27 |  3.201 % |
27.12/27.20	c |     74452 |   34593   253363   997614 | 2147483647    72797     27 |  3.209 % |
27.22/27.30	c |     74734 |   34593   253363   997614 | 2147483647    73079     27 |  3.209 % |
27.32/27.39	c |     75043 |   34593   253363   997614 | 2147483647    73388     27 |  3.209 % |
27.42/27.45	c |     75382 |   34593   253363   997614 | 2147483647    73727     27 |  3.209 % |
27.53/27.56	c |     75754 |   34593   253363   997614 | 2147483647    74099     27 |  3.209 % |
27.62/27.65	c |     76163 |   34593   253363   997614 | 2147483647    74508     27 |  3.209 % |
27.82/27.82	c |     76615 |   34593   253363   997614 | 2147483647    74960     27 |  3.209 % |
27.92/27.98	c |     77108 |   34593   253363   997614 | 2147483647    75453     27 |  3.209 % |
28.02/28.11	c |     77650 |   34593   253363   997614 | 2147483647    75995     27 |  3.209 % |
28.22/28.27	c |     78246 |   34593   253363   997614 | 2147483647    76591     27 |  3.209 % |
28.52/28.53	c |     78901 |   34593   253363   997614 | 2147483647    77246     27 |  3.209 % |
28.72/28.81	c |     79621 |   34593   253363   997614 | 2147483647    77966     28 |  3.209 % |
28.92/29.00	c |     80413 |   34593   253363   997614 | 2147483647    78758     28 |  3.209 % |
29.12/29.12	c |     81285 |   34593   253363   997614 | 2147483647    79630     28 |  3.209 % |
29.32/29.36	c |     82244 |   34593   253363   997614 | 2147483647    80589     28 |  3.209 % |
29.42/29.42	c |     82346 |   34592   253363   997614 | 2147483647    80690     28 |  3.215 % |
29.42/29.44	c |     82458 |   34587   253363   997614 | 2147483647    80800     28 |  3.243 % |
29.42/29.47	c |     82582 |   34587   253363   997614 | 2147483647    80924     28 |  3.243 % |
29.52/29.53	c |     82715 |   34587   253363   997614 | 2147483647    81057     28 |  3.243 % |
29.52/29.55	c |     82861 |   34587   253363   997614 | 2147483647    81203     28 |  3.243 % |
29.52/29.59	c |     83021 |   34587   253363   997614 | 2147483647    81363     28 |  3.243 % |
29.62/29.70	c |     83198 |   34587   253363   997614 | 2147483647    81540     28 |  3.243 % |
29.73/29.76	c |     83397 |   34587   253363   997614 | 2147483647    81739     28 |  3.243 % |
29.82/29.82	c |     83610 |   34587   253363   997614 | 2147483647    81952     28 |  3.243 % |
29.82/29.89	c |     83844 |   34587   253363   997614 | 2147483647    82186     28 |  3.243 % |
30.02/30.05	c |     84100 |   34587   253363   997614 | 2147483647    82442     28 |  3.243 % |
30.12/30.13	c |     84386 |   34587   253363   997614 | 2147483647    82728     28 |  3.243 % |
30.22/30.23	c |     84697 |   34587   253363   997614 | 2147483647    83039     28 |  3.243 % |
30.32/30.34	c |     85039 |   34581   253048   996494 | 2147483647    83340     28 |  3.243 % |
30.42/30.45	c |     85413 |   34581   253048   996494 | 2147483647    83714     29 |  3.243 % |
30.42/30.48	c |     85824 |   34581   253048   996494 | 2147483647    84125     29 |  3.243 % |
30.52/30.58	c |     86273 |   34581   253048   996494 | 2147483647    84574     29 |  3.243 % |
30.62/30.65	c |     86767 |   34581   253048   996494 | 2147483647    85068     29 |  3.243 % |
30.92/30.93	c |     87309 |   34581   253048   996494 | 2147483647    85610     29 |  3.243 % |
31.12/31.18	c |     87906 |   34581   253048   996494 | 2147483647    86207     29 |  3.243 % |
31.32/31.39	c |     88561 |   34581   253048   996494 | 2147483647    86862     29 |  3.243 % |
31.62/31.68	c |     89282 |   34574   253048   996494 | 2147483647    87581     29 |  3.262 % |
31.82/31.84	c |     90075 |   34574   253048   996494 | 2147483647    88374     29 |  3.262 % |
32.02/32.02	c |     90946 |   34571   253048   996494 | 2147483647    89243     29 |  3.279 % |
32.12/32.19	c |     91905 |   34571   253048   996494 | 2147483647    90202     29 |  3.279 % |
32.62/32.62	c |     92959 |   34571   253048   996494 | 2147483647    91256     29 |  3.279 % |
32.62/32.66	c |     93061 |   34571   253048   996494 | 2147483647    91358     29 |  3.279 % |
32.62/32.71	c |     93172 |   34571   253048   996494 | 2147483647    91469     29 |  3.279 % |
32.72/32.74	c |     93294 |   34571   253048   996494 | 2147483647    91591     29 |  3.279 % |
32.72/32.78	c |     93428 |   34571   253048   996494 | 2147483647    91725     29 |  3.279 % |
32.82/32.84	c |     93575 |   34571   253048   996494 | 2147483647    91872     29 |  3.279 % |
32.82/32.89	c |     93735 |   34571   253048   996494 | 2147483647    92032     29 |  3.279 % |
32.92/32.93	c |     93914 |   34571   253048   996494 | 2147483647    92211     29 |  3.279 % |
32.92/33.03	c |     94107 |   34571   253048   996494 | 2147483647    92404     29 |  3.279 % |
33.12/33.12	c |     94319 |   34571   253048   996494 | 2147483647    92616     29 |  3.279 % |
33.12/33.19	c |     94555 |   34571   253048   996494 | 2147483647    92852     29 |  3.279 % |
33.22/33.28	c |     94815 |   34571   253048   996494 | 2147483647    93112     29 |  3.279 % |
33.32/33.41	c |     95096 |   34571   253048   996494 | 2147483647    93393     29 |  3.279 % |
33.42/33.51	c |     95405 |   34571   253048   996494 | 2147483647    93702     29 |  3.279 % |
33.52/33.60	c |     95752 |   34571   253048   996494 | 2147483647    94049     29 |  3.279 % |
33.62/33.68	c |     96124 |   34571   253048   996494 | 2147483647    94421     30 |  3.279 % |
33.72/33.79	c |     96533 |   34571   253048   996494 | 2147483647    94830     30 |  3.279 % |
33.92/33.92	c |     96990 |   34571   253048   996494 | 2147483647    95287     30 |  3.279 % |
34.13/34.15	c |     97484 |   34571   253048   996494 | 2147483647    95781     30 |  3.279 % |
34.32/34.41	c |     98026 |   34568   252868   995875 | 2147483647    96276     30 |  3.279 % |
34.62/34.70	c |     98622 |   34567   252868   995875 | 2147483647    96871     30 |  3.282 % |
34.72/34.80	c |     99277 |   34567   252868   995875 | 2147483647    97526     30 |  3.282 % |
34.82/34.90	c |     99998 |   34567   252868   995875 | 2147483647    98247     30 |  3.282 % |
35.02/35.07	c |    100792 |   34567   252868   995875 | 2147483647    99041     30 |  3.282 % |
35.23/35.25	c |    101663 |   34567   252868   995875 | 2147483647    99912     30 |  3.282 % |
35.42/35.46	c |    102621 |   34567   252868   995875 | 2147483647   100870     30 |  3.282 % |
35.52/35.60	c |    103676 |   34567   252868   995875 | 2147483647   101925     30 |  3.282 % |
35.82/35.84	c |    104834 |   34567   252868   995875 | 2147483647   103083     31 |  3.282 % |
35.82/35.86	c |    104934 |   34567   252868   995875 | 2147483647   103183     31 |  3.282 % |
35.82/35.91	c |    105046 |   34567   252868   995875 | 2147483647   103295     31 |  3.282 % |
35.92/35.96	c |    105168 |   34567   252868   995875 | 2147483647   103417     31 |  3.282 % |
35.92/36.01	c |    105301 |   34567   252868   995875 | 2147483647   103550     31 |  3.282 % |
36.02/36.10	c |    105447 |   34567   252868   995875 | 2147483647   103696     31 |  3.282 % |
36.12/36.18	c |    105607 |   34567   252868   995875 | 2147483647   103856     31 |  3.282 % |
36.22/36.26	c |    105783 |   34567   252868   995875 | 2147483647   104032     31 |  3.282 % |
36.33/36.36	c |    105976 |   34567   252868   995875 | 2147483647   104225     31 |  3.282 % |
36.42/36.44	c |    106191 |   34567   252868   995875 | 2147483647   104440     31 |  3.282 % |
36.52/36.54	c |    106424 |   34567   252868   995875 | 2147483647   104673     31 |  3.282 % |
36.62/36.69	c |    106680 |   34567   252868   995875 | 2147483647   104929     31 |  3.282 % |
36.72/36.81	c |    106962 |   34567   252868   995875 | 2147483647   105211     31 |  3.282 % |
36.92/36.96	c |    107275 |   34567   252868   995875 | 2147483647   105524     31 |  3.282 % |
37.02/37.10	c |    107616 |   34567   252868   995875 | 2147483647   105865     31 |  3.282 % |
37.12/37.18	c |    107989 |   34567   252868   995875 | 2147483647   106238     31 |  3.282 % |
37.22/37.30	c |    108398 |   34567   252868   995875 | 2147483647   106647     31 |  3.282 % |
37.43/37.43	c |    108847 |   34567   252868   995875 | 2147483647   107096     31 |  3.282 % |
37.52/37.52	c |    109341 |   34567   252868   995875 | 2147483647   107590     31 |  3.282 % |
37.52/37.60	c |    109884 |   34567   252868   995875 | 2147483647   108133     31 |  3.282 % |
37.72/37.72	c |    110480 |   34567   252868   995875 | 2147483647   108729     31 |  3.282 % |
37.92/37.99	c |    111136 |   34553   252868   995875 | 2147483647   109383     31 |  3.369 % |
38.02/38.08	c |    111856 |   34553   252868   995875 | 2147483647   110103     31 |  3.369 % |
38.22/38.24	c |    112648 |   34553   252868   995875 | 2147483647   110895     31 |  3.369 % |
38.32/38.39	c |    113525 |   34553   252868   995875 | 2147483647   111772     31 |  3.369 % |
38.62/38.65	c |    114484 |   34553   252868   995875 | 2147483647   112731     32 |  3.369 % |
38.82/38.90	c |    115542 |   34536   252395   994035 | 2147483647   113749     32 |  3.369 % |
39.12/39.15	c |    116700 |   34536   252395   994035 | 2147483647   114907     32 |  3.369 % |
39.42/39.46	c |    117977 |   34536   252395   994035 | 2147483647   116184     32 |  3.369 % |
39.42/39.50	c |    118078 |   34536   252395   994035 | 2147483647   116285     32 |  3.369 % |
39.52/39.59	c |    118189 |   34536   252395   994035 | 2147483647   116396     32 |  3.369 % |
39.63/39.68	c |    118310 |   34536   252395   994035 | 2147483647   116517     32 |  3.369 % |
39.72/39.79	c |    118443 |   34533   252395   994035 | 2147483647   116649     32 |  3.377 % |
39.82/39.85	c |    118589 |   34533   252395   994035 | 2147483647   116795     32 |  3.377 % |
39.92/39.94	c |    118749 |   34533   252395   994035 | 2147483647   116955     32 |  3.377 % |
39.92/40.01	c |    118925 |   34533   252395   994035 | 2147483647   117131     32 |  3.377 % |
40.02/40.10	c |    119120 |   34533   252395   994035 | 2147483647   117326     32 |  3.377 % |
40.12/40.19	c |    119332 |   34533   252395   994035 | 2147483647   117538     32 |  3.377 % |
40.22/40.26	c |    119565 |   34533   252395   994035 | 2147483647   117771     32 |  3.377 % |
40.42/40.44	c |    119822 |   34533   252395   994035 | 2147483647   118028     32 |  3.377 % |
40.52/40.54	c |    120103 |   34533   252395   994035 | 2147483647   118309     32 |  3.377 % |
40.52/40.61	c |    120413 |   34533   252395   994035 | 2147483647   118619     32 |  3.377 % |
40.62/40.72	c |    120752 |   34533   252395   994035 | 2147483647   118958     32 |  3.377 % |
40.92/40.96	c |    121124 |   34533   252395   994035 | 2147483647   119330     32 |  3.377 % |
41.12/41.14	c |    121534 |   34533   252395   994035 | 2147483647   119740     32 |  3.377 % |
41.22/41.24	c |    121989 |   34533   252395   994035 | 2147483647   120195     32 |  3.377 % |
41.42/41.51	c |    122483 |   34529   252395   994035 | 2147483647   120688     32 |  3.481 % |
41.83/41.83	c |    123026 |   34514   252395   994035 | 2147483647   121231     32 |  3.481 % |
41.92/41.92	c |    123622 |   34513   252395   994035 | 2147483647   121826     32 |  3.576 % |
42.02/42.11	c |    124277 |   34513   252395   994035 | 2147483647   122481     32 |  3.576 % |
42.22/42.23	c |    124997 |   34513   252395   994035 | 2147483647   123201     32 |  3.576 % |
42.32/42.39	c |    125798 |   34513   252395   994035 | 2147483647   124002     32 |  3.576 % |
42.62/42.64	c |    126669 |   34513   252395   994035 | 2147483647   124873     32 |  3.576 % |
42.82/42.83	c |    127631 |   34513   252395   994035 | 2147483647   125835     32 |  3.576 % |
42.93/42.98	c |    128684 |   34513   252395   994035 | 2147483647   126888     32 |  3.576 % |
43.22/43.24	c |    129846 |   34513   252395   994035 | 2147483647   128050     32 |  3.576 % |
43.42/43.47	c |    131119 |   34513   252395   994035 | 2147483647   129323     32 |  3.576 % |
43.82/43.89	c |    132519 |   34503   252395   994035 | 2147483647   130719     32 |  3.612 % |
43.92/43.98	c |    132622 |   34503   252395   994035 | 2147483647   130822     32 |  3.612 % |
43.92/44.01	c |    132733 |   34503   252395   994035 | 2147483647   130933     32 |  3.612 % |
44.03/44.08	c |    132856 |   34503   252395   994035 | 2147483647   131056     32 |  3.612 % |
44.12/44.14	c |    132989 |   34503   252395   994035 | 2147483647   131189     32 |  3.612 % |
44.12/44.16	c |    133137 |   34503   252395   994035 | 2147483647   131337     32 |  3.612 % |
44.22/44.23	c |    133297 |   34503   252395   994035 | 2147483647   131497     32 |  3.612 % |
44.22/44.29	c |    133474 |   34503   252395   994035 | 2147483647   131674     33 |  3.612 % |
44.42/44.43	c |    133668 |   34503   252395   994035 | 2147483647   131868     32 |  3.612 % |
44.52/44.57	c |    133883 |   34502   252395   994035 | 2147483647   132083     32 |  3.612 % |
44.62/44.65	c |    134117 |   34502   252395   994035 | 2147483647   132317     33 |  3.612 % |
44.72/44.77	c |    134374 |   34449   250192   985821 | 2147483647   132485     33 |  3.612 % |
44.82/44.91	c |    134657 |   34449   250192   985821 | 2147483647   132768     33 |  3.612 % |
44.92/44.97	c |    134966 |   34449   250192   985821 | 2147483647   133077     33 |  3.612 % |
45.02/45.11	c |    135305 |   34449   250192   985821 | 2147483647   133416     33 |  3.612 % |
45.22/45.23	c |    135680 |   34449   250192   985821 | 2147483647   133791     33 |  3.612 % |
45.32/45.34	c |    136089 |   34449   250192   985821 | 2147483647   134200     33 |  3.612 % |
45.52/45.61	c |    136538 |   34449   250192   985821 | 2147483647   134649     32 |  3.612 % |
45.72/45.74	c |    137033 |   34449   250192   985821 | 2147483647   135144     32 |  3.612 % |
45.92/45.98	c |    137575 |   34449   250192   985821 | 2147483647   135686     32 |  3.612 % |
46.12/46.21	c |    138175 |   34449   250192   985821 | 2147483647   136286     32 |  3.612 % |
46.32/46.35	c |    138830 |   34449   250192   985821 | 2147483647   136941     32 |  3.612 % |
46.52/46.53	c |    139552 |   34448   250192   985821 | 2147483647   137662     33 |  3.618 % |
46.62/46.71	c |    140347 |   34448   250192   985821 | 2147483647   138457     33 |  3.618 % |
46.92/46.95	c |    141218 |   34442   250192   985821 | 2147483647   139326     33 |  3.635 % |
47.22/47.29	c |    142176 |   34442   250192   985821 | 2147483647   140284     33 |  3.635 % |
47.52/47.53	c |    143229 |   34442   250192   985821 | 2147483647   141337     33 |  3.635 % |
47.72/47.77	c |    144389 |   34442   250192   985821 | 2147483647   142497     33 |  3.635 % |
48.02/48.04	c |    145664 |   34442   250192   985821 | 2147483647   143772     33 |  3.635 % |
48.32/48.38	c |    147065 |   34442   250192   985821 | 2147483647   145173     33 |  3.635 % |
49.22/49.26	c |    148607 |   34442   250192   985821 | 2147483647   146715     33 |  3.635 % |
49.32/49.33	c |    148707 |   34442   250192   985821 | 2147483647   146815     33 |  3.635 % |
49.32/49.37	c |    148818 |   34442   250192   985821 | 2147483647   146926     33 |  3.635 % |
49.42/49.42	c |    148940 |   34442   250192   985821 | 2147483647   147048     33 |  3.635 % |
49.42/49.52	c |    149076 |   34442   250192   985821 | 2147483647   147184     33 |  3.635 % |
49.62/49.64	c |    149223 |   34442   250192   985821 | 2147483647   147331     33 |  3.635 % |
49.62/49.69	c |    149383 |   34442   250192   985821 | 2147483647   147491     33 |  3.635 % |
49.72/49.77	c |    149559 |   34442   250192   985821 | 2147483647   147667     33 |  3.635 % |
49.82/49.84	c |    149752 |   34442   250192   985821 | 2147483647   147860     33 |  3.635 % |
49.92/49.94	c |    149964 |   34442   250192   985821 | 2147483647   148072     33 |  3.635 % |
50.02/50.02	c |    150198 |   34442   250192   985821 | 2147483647   148306     33 |  3.635 % |
50.02/50.10	c |    150454 |   34442   250192   985821 | 2147483647   148562     33 |  3.635 % |
50.12/50.18	c |    150738 |   34442   250192   985821 | 2147483647   148846     33 |  3.635 % |
50.22/50.27	c |    151049 |   34442   250192   985821 | 2147483647   149157     33 |  3.635 % |
50.32/50.36	c |    151388 |   34442   250192   985821 | 2147483647   149495     33 |  3.643 % |
50.42/50.45	c |    151760 |   34439   250192   985821 | 2147483647   149867     33 |  3.643 % |
50.52/50.57	c |    152171 |   34439   250192   985821 | 2147483647   150278     33 |  3.643 % |
50.72/50.73	c |    152621 |   34439   250192   985821 | 2147483647   150728     33 |  3.643 % |
50.82/50.87	c |    153114 |   34439   250192   985821 | 2147483647   151221     34 |  3.643 % |
51.02/51.03	c |    153656 |   34439   250192   985821 | 2147483647   151763     34 |  3.643 % |
51.22/51.25	c |    154253 |   34439   250192   985821 | 2147483647   152360     34 |  3.643 % |
51.42/51.48	c |    154909 |   34436   250192   985821 | 2147483647   153015     34 |  3.651 % |
51.82/51.84	c |    155631 |   34436   250192   985821 | 2147483647   153737     34 |  3.651 % |
52.02/52.07	c |    156423 |   34436   250192   985821 | 2147483647   154529     34 |  3.651 % |
52.23/52.31	c |    157295 |   34436   250192   985821 | 2147483647   155401     34 |  3.651 % |
52.53/52.54	c |    158254 |   34436   250192   985821 | 2147483647   156360     34 |  3.651 % |
53.13/53.21	c |    159307 |   34436   250192   985821 | 2147483647   157413     34 |  3.651 % |
53.63/53.65	c |    160467 |   34435   250055   985308 | 2147483647   158554     34 |  3.651 % |
53.93/54.00	c |    161740 |   34435   250055   985308 | 2147483647   159827     34 |  3.651 % |
54.43/54.44	c |    163142 |   34435   250055   985308 | 2147483647   161229     34 |  3.651 % |
55.03/55.09	c |    164682 |   34435   250055   985308 | 2147483647   162769     34 |  3.651 % |
55.33/55.40	c |    166377 |   34435   250055   985308 | 2147483647   164464     34 |  3.651 % |
55.43/55.46	c |    166477 |   34435   250055   985308 | 2147483647   164564     34 |  3.651 % |
55.43/55.48	c |    166587 |   34435   250055   985308 | 2147483647   164674     34 |  3.651 % |
55.53/55.57	c |    166708 |   34435   250055   985308 | 2147483647   164795     34 |  3.651 % |
55.63/55.64	c |    166842 |   34435   250055   985308 | 2147483647   164929     34 |  3.651 % |
55.63/55.72	c |    166988 |   34435   250055   985308 | 2147483647   165075     34 |  3.651 % |
55.73/55.81	c |    167148 |   34435   250055   985308 | 2147483647   165235     34 |  3.651 % |
55.83/55.89	c |    167324 |   34435   250055   985308 | 2147483647   165411     34 |  3.651 % |
55.93/55.95	c |    167518 |   34435   250055   985308 | 2147483647   165605     34 |  3.651 % |
56.03/56.04	c |    167730 |   34435   250055   985308 | 2147483647   165817     34 |  3.651 % |
56.13/56.14	c |    167964 |   34435   250055   985308 | 2147483647   166051     34 |  3.651 % |
56.23/56.30	c |    168220 |   34435   250055   985308 | 2147483647   166307     34 |  3.651 % |
56.43/56.48	c |    168501 |   34435   250055   985308 | 2147483647   166588     34 |  3.651 % |
56.63/56.69	c |    168810 |   34435   250055   985308 | 2147483647   166897     34 |  3.651 % |
56.83/56.91	c |    169149 |   34435   250055   985308 | 2147483647   167236     34 |  3.651 % |
57.03/57.10	c |    169521 |   34435   250055   985308 | 2147483647   167608     34 |  3.651 % |
57.13/57.18	c |    169930 |   34435   250055   985308 | 2147483647   168017     34 |  3.651 % |
57.33/57.35	c |    170380 |   34435   250055   985308 | 2147483647   168467     34 |  3.651 % |
57.43/57.47	c |    170873 |   34435   250055   985308 | 2147483647   168960     34 |  3.651 % |
57.63/57.70	c |    171425 |   34435   250055   985308 | 2147483647   169512     34 |  3.651 % |
57.83/57.89	c |    172022 |   34435   250055   985308 | 2147483647   170109     34 |  3.651 % |
58.13/58.15	c |    172678 |   34435   250055   985308 | 2147483647   170765     34 |  3.651 % |
58.33/58.36	c |    173399 |   34435   250055   985308 | 2147483647   171486     34 |  3.651 % |
58.53/58.59	c |    174191 |   34435   250055   985308 | 2147483647   172278     35 |  3.651 % |
58.83/58.88	c |    175063 |   34435   250055   985308 | 2147483647   173150     35 |  3.651 % |
59.12/59.15	c |    176022 |   34435   250055   985308 | 2147483647   174109     35 |  3.651 % |
59.42/59.48	c |    177077 |   34435   250055   985308 | 2147483647   175164     35 |  3.651 % |
59.72/59.78	c |    178236 |   34435   250055   985308 | 2147483647   176323     35 |  3.651 % |
60.12/60.15	c |    179510 |   34435   250055   985308 | 2147483647   177597     35 |  3.651 % |
60.52/60.58	c |    180917 |   34435   250055   985308 | 2147483647   179004     35 |  3.651 % |
61.42/61.44	c |    182458 |   34435   250055   985308 | 2147483647   180545     35 |  3.651 % |
61.82/61.90	c |    184152 |   34435   250055   985308 | 2147483647   182239     35 |  3.651 % |
62.42/62.42	c |    186015 |   34435   250055   985308 | 2147483647   184102     35 |  3.651 % |
62.42/62.50	c |    186115 |   34435   250055   985308 | 2147483647   184202     35 |  3.651 % |
62.52/62.59	c |    186225 |   34435   250055   985308 | 2147483647   184312     35 |  3.651 % |
62.62/62.62	c |    186346 |   34435   250055   985308 | 2147483647   184433     35 |  3.651 % |
62.62/62.70	c |    186479 |   34435   250055   985308 | 2147483647   184566     35 |  3.651 % |
62.72/62.74	c |    186629 |   34435   250055   985308 | 2147483647   184716     35 |  3.651 % |
62.82/62.81	c |    186789 |   34435   250055   985308 | 2147483647   184876     35 |  3.651 % |
62.82/62.89	c |    186966 |   34435   250055   985308 | 2147483647   185053     35 |  3.651 % |
63.02/63.05	c |    187160 |   34435   250055   985308 | 2147483647   185247     35 |  3.651 % |
63.12/63.13	c |    187374 |   34435   250055   985308 | 2147483647   185461     35 |  3.651 % |
63.22/63.22	c |    187607 |   34435   250055   985308 | 2147483647   185694     35 |  3.651 % |
63.22/63.27	c |    187865 |   34435   250055   985308 | 2147483647   185952     35 |  3.651 % |
63.42/63.43	c |    188150 |   34435   250055   985308 | 2147483647   186237     35 |  3.651 % |
63.42/63.48	c |    188463 |   34435   250055   985308 | 2147483647   186550     35 |  3.651 % |
63.52/63.58	c |    188802 |   34435   250055   985308 | 2147483647   186889     35 |  3.651 % |
63.62/63.71	c |    189175 |   34435   250055   985308 | 2147483647   187262     35 |  3.651 % |
63.82/63.87	c |    189584 |   34435   250055   985308 | 2147483647   187671     35 |  3.651 % |
64.02/64.11	c |    190033 |   34435   250055   985308 | 2147483647   188120     35 |  3.651 % |
64.22/64.30	c |    190528 |   34435   250055   985308 | 2147483647   188615     35 |  3.651 % |
64.52/64.61	c |    191073 |   34435   250055   985308 | 2147483647   189160     35 |  3.651 % |
64.82/64.88	c |    191669 |   34435   250055   985308 | 2147483647   189756     35 |  3.651 % |
65.02/65.08	c |    192325 |   34435   250055   985308 | 2147483647   190412     35 |  3.651 % |
65.32/65.35	c |    193047 |   34435   250055   985308 | 2147483647   191134     35 |  3.651 % |
65.82/65.83	c |    193839 |   34435   250055   985308 | 2147483647   191926     35 |  3.651 % |
66.12/66.16	c |    194711 |   34435   250055   985308 | 2147483647   192798     35 |  3.651 % |
66.42/66.49	c |    195669 |   34435   250055   985308 | 2147483647   193756     35 |  3.651 % |
66.72/66.78	c |    196724 |   34435   250055   985308 | 2147483647   194811     35 |  3.651 % |
67.22/67.25	c |    197884 |   34435   250055   985308 | 2147483647   195971     35 |  3.651 % |
67.52/67.58	c |    199158 |   34435   250055   985308 | 2147483647   197245     35 |  3.651 % |
67.92/67.96	c |    200558 |   34435   250055   985308 | 2147483647   198645     36 |  3.651 % |
68.52/68.53	c |    202098 |   34435   250055   985308 | 2147483647   200185     36 |  3.651 % |
69.22/69.26	c |    203793 |   34435   250055   985308 | 2147483647   201880     36 |  3.651 % |
69.52/69.57	c |    205659 |   34435   250055   985308 | 2147483647   203746     35 |  3.651 % |
70.02/70.09	c |    207708 |   34435   250055   985308 | 2147483647   205795     35 |  3.651 % |
70.12/70.14	c |    207808 |   34435   250055   985308 | 2147483647   205895     35 |  3.651 % |
70.12/70.21	c |    207918 |   34435   250055   985308 | 2147483647   206005     35 |  3.651 % |
70.22/70.27	c |    208039 |   34435   250055   985308 | 2147483647   206126     35 |  3.651 % |
70.32/70.34	c |    208172 |   34435   250055   985308 | 2147483647   206259     35 |  3.651 % |
70.42/70.47	c |    208319 |   34435   250055   985308 | 2147483647   206406     35 |  3.651 % |
70.52/70.55	c |    208479 |   34435   250055   985308 | 2147483647   206566     35 |  3.651 % |
70.62/70.69	c |    208656 |   34435   250055   985308 | 2147483647   206743     36 |  3.651 % |
70.72/70.75	c |    208849 |   34435   250055   985308 | 2147483647   206936     36 |  3.651 % |
70.92/70.93	c |    209061 |   34435   250055   985308 | 2147483647   207148     36 |  3.651 % |
71.12/71.20	c |    209294 |   34433   250046   985247 | 2147483647   207378     36 |  3.657 % |
71.32/71.38	c |    209553 |   34433   250046   985247 | 2147483647   207637     36 |  3.657 % |
71.52/71.56	c |    209834 |   34433   250046   985247 | 2147483647   207918     36 |  3.657 % |
71.62/71.66	c |    210143 |   34433   250046   985247 | 2147483647   208227     36 |  3.657 % |
71.92/71.97	c |    210482 |   34433   250046   985247 | 2147483647   208566     36 |  3.657 % |
72.12/72.15	c |    210854 |   34433   250046   985247 | 2147483647   208938     36 |  3.657 % |
72.22/72.26	c |    211263 |   34433   250046   985247 | 2147483647   209347     36 |  3.657 % |
72.52/72.54	c |    211712 |   34433   250046   985247 | 2147483647   209796     36 |  3.657 % |
72.82/72.90	c |    212205 |   34433   250046   985247 | 2147483647   210289     36 |  3.657 % |
73.12/73.18	c |    212747 |   34433   250046   985247 | 2147483647   210831     36 |  3.657 % |
73.42/73.50	c |    213343 |   34433   250046   985247 | 2147483647   211427     36 |  3.657 % |
73.82/73.85	c |    214000 |   34433   250046   985247 | 2147483647   212084     36 |  3.657 % |
74.02/74.08	c |    214721 |   34433   250046   985247 | 2147483647   212805     36 |  3.657 % |
74.22/74.27	c |    215514 |   34433   250046   985247 | 2147483647   213598     36 |  3.657 % |
74.52/74.54	c |    216393 |   34433   250046   985247 | 2147483647   214477     36 |  3.657 % |
74.82/74.87	c |    217357 |   34433   250046   985247 | 2147483647   215441     36 |  3.657 % |
75.12/75.19	c |    218410 |   34433   250046   985247 | 2147483647   216494     36 |  3.657 % |
75.82/75.83	c |    219568 |   34433   250046   985247 | 2147483647   217652     36 |  3.657 % |
76.32/76.39	c |    220842 |   34427   250046   985247 | 2147483647   218925     36 |  3.674 % |
76.92/76.93	c |    222242 |   34427   250046   985247 | 2147483647   220325     36 |  3.674 % |
77.22/77.25	c |    223782 |   34427   250046   985247 | 2147483647   221865     36 |  3.674 % |
78.22/78.25	c |    225477 |   34427   250046   985247 | 2147483647   223560     36 |  3.674 % |
78.82/78.86	c |    227340 |   34427   250046   985247 | 2147483647   225423     36 |  3.674 % |
79.42/79.41	c |    229389 |   34427   250046   985247 | 2147483647   227472     36 |  3.674 % |
79.92/80.01	c |    231647 |   34427   250046   985247 |   228084   229730     36 |  3.674 % |
80.42/80.48	c |    231749 |   34427   250046   985247 |   228084   187456     35 |  3.674 % |
80.52/80.53	c |    231860 |   34427   250046   985247 |   228084   187567     35 |  3.674 % |
80.52/80.60	c |    231982 |   34427   250046   985247 |   228084   187689     35 |  3.674 % |
80.62/80.69	c |    232115 |   34427   250046   985247 |   228084   187822     35 |  3.674 % |
80.72/80.75	c |    232262 |   34427   250046   985247 |   228084   187969     35 |  3.674 % |
80.82/80.85	c |    232423 |   34427   250046   985247 |   228084   188130     35 |  3.674 % |
80.92/80.93	c |    232602 |   34427   250046   985247 |   228084   188309     35 |  3.674 % |
80.92/81.01	c |    232796 |   34427   250046   985247 |   228084   188503     35 |  3.674 % |
81.12/81.13	c |    233009 |   34427   250046   985247 |   228084   188716     35 |  3.674 % |
81.12/81.20	c |    233244 |   34427   250046   985247 |   228084   188951     35 |  3.674 % |
81.22/81.31	c |    233500 |   34427   250046   985247 |   228084   189207     35 |  3.674 % |
81.52/81.55	c |    233781 |   34427   250046   985247 |   228084   189488     35 |  3.674 % |
81.62/81.65	c |    234096 |   34427   250046   985247 |   228084   189803     35 |  3.674 % |
81.92/81.97	c |    234435 |   34427   250046   985247 |   228084   190142     35 |  3.674 % |
82.02/82.10	c |    234807 |   34427   250046   985247 |   228084   190514     35 |  3.674 % |
82.32/82.31	c |    235216 |   34427   250046   985247 |   228084   190923     35 |  3.674 % |
82.42/82.47	c |    235665 |   34427   250046   985247 |   228084   191372     35 |  3.674 % |
82.52/82.61	c |    236164 |   34427   250046   985247 |   228084   191871     35 |  3.674 % |
82.62/82.71	c |    236706 |   34427   250046   985247 |   228084   192413     35 |  3.674 % |
83.02/83.03	c |    237302 |   34427   250046   985247 |   228084   193009     35 |  3.674 % |
83.22/83.22	c |    237957 |   34427   250046   985247 |   228084   193664     35 |  3.674 % |
83.62/83.69	c |    238677 |   34427   250046   985247 |   228084   194384     35 |  3.674 % |
84.02/84.02	c |    239470 |   34427   250046   985247 |   228084   195177     35 |  3.674 % |
84.32/84.34	c |    240347 |   34427   250046   985247 |   195707   196054     36 |  3.674 % |
84.62/84.62	c |    241305 |   34427   250046   985247 |   195707   197012     36 |  3.674 % |
84.82/84.85	c |    242359 |   34427   250046   985247 |   195707   198066     36 |  3.674 % |
85.32/85.39	c |    243524 |   34427   250046   985247 |   195707   172539     37 |  3.674 % |
85.82/85.87	c |    244799 |   34427   250046   985247 |   195707   173814     37 |  3.674 % |
86.12/86.13	c |    246201 |   34427   250046   985247 |   195707   175216     37 |  3.674 % |
86.82/86.82	c |    247741 |   34427   250046   985247 |   195707   176756     37 |  3.674 % |
87.62/87.66	c |    249435 |   34427   250046   985247 |   195707   178450     37 |  3.674 % |
88.32/88.40	c |    251298 |   34425   250046   985247 | 2147483647   180312     37 |  3.679 % |
88.82/88.89	c |    253347 |   34425   250046   985247 | 2147483647   182361     37 |  3.679 % |
90.02/90.04	c |    255603 |   34425   250046   985247 | 2147483647   184617     37 |  3.679 % |
90.62/90.63	c |    258081 |   34425   250046   985247 | 2147483647   187095     37 |  3.679 % |
90.72/90.76	c |    258187 |   34425   250046   985247 | 2147483647   187201     37 |  3.679 % |
90.72/90.80	c |    258297 |   34425   250046   985247 | 2147483647   187311     37 |  3.679 % |
90.82/90.84	c |    258420 |   34425   250046   985247 | 2147483647   187434     37 |  3.679 % |
90.82/90.91	c |    258553 |   34425   250046   985247 | 2147483647   187567     37 |  3.679 % |
91.02/91.03	c |    258701 |   34425   250046   985247 | 2147483647   187715     37 |  3.679 % |
91.02/91.10	c |    258861 |   34425   250046   985247 | 2147483647   187875     37 |  3.679 % |
91.12/91.20	c |    259037 |   34425   250046   985247 | 2147483647   188051     37 |  3.679 % |
91.22/91.28	c |    259234 |   34425   250046   985247 | 2147483647   188248     37 |  3.679 % |
91.32/91.39	c |    259449 |   34425   250046   985247 | 2147483647   188463     37 |  3.679 % |
91.42/91.47	c |    259682 |   34425   250046   985247 | 2147483647   188696     37 |  3.679 % |
91.62/91.69	c |    259942 |   34425   250046   985247 | 2147483647   188956     37 |  3.679 % |
91.82/91.84	c |    260225 |   34425   250046   985247 |   189014   189239     37 |  3.679 % |
91.92/91.94	c |    260535 |   34425   250046   985247 |   189014   189549     37 |  3.679 % |
92.12/92.14	c |    260874 |   34425   250046   985247 |   189014   189888     37 |  3.679 % |
92.32/92.35	c |    261246 |   34425   249939   984800 |   189014   187972     37 |  3.679 % |
92.62/92.62	c |    261655 |   34425   249939   984800 |   189014   188381     37 |  3.679 % |
92.72/92.79	c |    262112 |   34425   249939   984800 |   189014   188838     37 |  3.679 % |
92.92/92.93	c |    262606 |   34425   249939   984800 |   189014   189332     37 |  3.679 % |
93.02/93.08	c |    263148 |   34425   249939   984800 |   189014   189874     37 |  3.679 % |
93.22/93.26	c |    263745 |   34425   249939   984800 |   189014   190471     37 |  3.679 % |
93.52/93.60	c |    264405 |   34425   249939   984800 |   189014   172084     38 |  3.679 % |
93.82/93.88	c |    265125 |   34425   249939   984800 |   189014   172804     38 |  3.679 % |
94.02/94.06	c |    265918 |   34425   249939   984800 |   189014   173597     38 |  3.679 % |
94.62/94.64	c |    266791 |   34425   249939   984800 |   189014   174470     38 |  3.679 % |
94.92/94.92	c |    267749 |   34425   249939   984800 |   189014   175428     38 |  3.679 % |
95.42/95.43	c |    268802 |   34425   249939   984800 |   189014   176481     38 |  3.679 % |
95.82/95.84	c |    269964 |   34425   249939   984800 |   189014   177643     38 |  3.679 % |
96.52/96.55	c |    271237 |   34425   249939   984800 | 2147483647   178916     38 |  3.679 % |
97.22/97.27	c |    272637 |   34425   249939   984800 | 2147483647   180316     38 |  3.679 % |
97.82/97.88	c |    274177 |   34425   249939   984800 | 2147483647   181856     38 |  3.679 % |
98.12/98.19	c |    275872 |   34425   249939   984800 | 2147483647   183551     38 |  3.679 % |
98.82/98.84	c |    277738 |   34425   249939   984800 | 2147483647   185417     38 |  3.679 % |
99.22/99.30	c |    279790 |   34425   249939   984800 | 2147483647   187469     38 |  3.679 % |
100.62/100.65	c |    282043 |   34425   249939   984800 |   187680   189722     38 |  3.679 % |
101.62/101.62	c |    284522 |   34425   249939   984800 |   187680   173229     37 |  3.679 % |
102.72/102.71	c |    287247 |   34425   249939   984800 |   187680   175954     37 |  3.679 % |
102.72/102.74	c |    287347 |   34425   249939   984800 |   187680   176054     37 |  3.679 % |
102.82/102.82	c |    287458 |   34425   249939   984800 |   187680   176165     37 |  3.679 % |
102.82/102.88	c |    287584 |   34425   249939   984800 |   187680   176291     37 |  3.679 % |
102.92/102.95	c |    287718 |   34425   249939   984800 |   187680   176425     37 |  3.679 % |
103.02/103.02	c |    287867 |   34425   249939   984800 |   187680   176574     37 |  3.679 % |
103.12/103.15	c |    288027 |   34425   249939   984800 |   187680   176734     37 |  3.679 % |
103.22/103.23	c |    288203 |   34425   249939   984800 |   187680   176910     37 |  3.679 % |
103.32/103.33	c |    288396 |   34425   249939   984800 |   187680   177103     37 |  3.679 % |
103.43/103.43	c |    288608 |   34425   249939   984800 |   187680   177315     37 |  3.679 % |
103.52/103.53	c |    288845 |   34425   249939   984800 |   187680   177552     37 |  3.679 % |
103.62/103.66	c |    289101 |   34425   249939   984800 |   187680   177808     37 |  3.679 % |
103.72/103.78	c |    289382 |   34425   249939   984800 |   187680   178089     37 |  3.679 % |
103.92/103.95	c |    289694 |   34425   249939   984800 |   187680   178401     37 |  3.679 % |
104.12/104.17	c |    290034 |   34425   249939   984800 | 2147483647   178741     37 |  3.679 % |
104.32/104.35	c |    290410 |   34425   249939   984800 | 2147483647   179117     37 |  3.679 % |
104.42/104.50	c |    290827 |   34425   249939   984800 | 2147483647   179534     37 |  3.679 % |
104.62/104.69	c |    291276 |   34425   249939   984800 | 2147483647   179983     37 |  3.679 % |
104.92/104.99	c |    291769 |   34425   249939   984800 | 2147483647   180476     37 |  3.679 % |
105.32/105.37	c |    292313 |   34423   249939   984800 | 2147483647   181019     37 |  3.685 % |
105.52/105.53	c |    292911 |   34423   249939   984800 | 2147483647   181617     37 |  3.685 % |
105.72/105.78	c |    293569 |   34423   249939   984800 | 2147483647   182275     37 |  3.685 % |
106.02/106.04	c |    294290 |   34423   249939   984800 | 2147483647   182996     37 |  3.685 % |
106.22/106.28	c |    295088 |   34423   249939   984800 | 2147483647   183794     37 |  3.685 % |
106.52/106.55	c |    295959 |   34423   249939   984800 | 2147483647   184665     37 |  3.685 % |
106.82/106.86	c |    296920 |   34423   249939   984800 | 2147483647   185626     37 |  3.685 % |
107.12/107.20	c |    297974 |   34423   249939   984800 | 2147483647   186680     37 |  3.685 % |
107.52/107.57	c |    299135 |   34423   249939   984800 | 2147483647   187841     37 |  3.685 % |
108.12/108.20	c |    300408 |   34423   249939   984800 |   188706   189114     37 |  3.685 % |
108.52/108.55	c |    301808 |   34423   249939   984800 |   188706   190514     37 |  3.685 % |
109.42/109.46	c |    303350 |   34423   249939   984800 |   188706   173005     38 |  3.685 % |
109.62/109.69	c |    305047 |   34423   249939   984800 |   188706   174702     38 |  3.685 % |
110.42/110.44	c |    306912 |   34423   249939   984800 |   188706   176567     38 |  3.685 % |
111.02/111.06	c |    308961 |   34423   249939   984800 |   188706   178616     38 |  3.685 % |
111.62/111.62	c |    311214 |   34423   249939   984800 |   179655   180869     38 |  3.685 % |
113.02/113.08	c |    313697 |   34423   249939   984800 |   179655   183352     38 |  3.685 % |
114.32/114.35	c |    316424 |   34423   249785   984276 |   179655   167742     38 |  3.685 % |
115.32/115.37	c |    319421 |   34423   249785   984276 |   179655   170739     38 |  3.685 % |
115.42/115.43	c |    319522 |   34423   249785   984276 |   179655   170840     38 |  3.685 % |
115.42/115.52	c |    319634 |   34423   249785   984276 |   179655   170952     38 |  3.685 % |
115.62/115.61	c |    319755 |   34422   249785   984276 |   179655   171072     38 |  3.688 % |
115.62/115.69	c |    319888 |   34422   249785   984276 |   179655   171205     38 |  3.688 % |
115.72/115.78	c |    320035 |   34422   249785   984276 |   171317   171352     38 |  3.688 % |
115.82/115.87	c |    320197 |   34422   249785   984276 |   171317   171514     38 |  3.688 % |
116.02/116.01	c |    320373 |   34422   249785   984276 |   171317   171690     38 |  3.688 % |
116.12/116.12	c |    320566 |   34422   249785   984276 |   171317   171883     38 |  3.688 % |
116.22/116.28	c |    320782 |   34422   249785   984276 |   171317   172099     38 |  3.688 % |
116.42/116.42	c |    321015 |   34422   249785   984276 |   171317   172332     38 |  3.688 % |
116.52/116.59	c |    321271 |   34422   249785   984276 |   171317   172588     38 |  3.688 % |
116.72/116.76	c |    321552 |   34422   249785   984276 |   171317   172869     38 |  3.688 % |
117.22/117.30	c |    321862 |   34422   249785   984276 |   171317   155893     37 |  3.688 % |
117.42/117.44	c |    322203 |   34422   249785   984276 |   171317   156234     37 |  3.688 % |
117.62/117.64	c |    322578 |   34422   249785   984276 |   171317   156609     37 |  3.688 % |
117.82/117.83	c |    322989 |   34422   249785   984276 |   171317   157020     37 |  3.688 % |
118.02/118.02	c |    323438 |   34422   249785   984276 |   171317   157469     37 |  3.688 % |
118.32/118.36	c |    323931 |   34422   249785   984276 |   171317   157962     37 |  3.688 % |
118.52/118.61	c |    324473 |   34422   249785   984276 |   171317   158504     37 |  3.688 % |
119.02/119.07	c |    325069 |   34422   249785   984276 |   171317   159100     37 |  3.688 % |
119.32/119.33	c |    325726 |   34422   249785   984276 |   171317   159757     37 |  3.688 % |
119.62/119.65	c |    326446 |   34422   249785   984276 |   171317   160477     37 |  3.688 % |
120.12/120.15	c |    327239 |   34422   249785   984276 |   171317   161270     37 |  3.688 % |
120.22/120.30	c |    328114 |   34422   249785   984276 |   171317   162145     37 |  3.688 % |
120.72/120.75	c |    329073 |   34422   249785   984276 |   171317   163104     37 |  3.688 % |
121.03/121.06	c |    330126 |   34422   249785   984276 | 2147483647   164157     37 |  3.688 % |
121.52/121.56	c |    331284 |   34422   249785   984276 | 2147483647   165315     37 |  3.688 % |
122.02/122.09	c |    332562 |   34422   249785   984276 | 2147483647   166593     37 |  3.688 % |
122.62/122.66	c |    333963 |   34422   249785   984276 | 2147483647   167994     37 |  3.688 % |
123.32/123.37	c |    335503 |   34404   249785   984276 | 2147483647   169532     37 |  3.744 % |
124.22/124.31	c |    337198 |   34404   249785   984276 | 2147483647   171227     37 |  3.744 % |
124.92/124.93	c |    339061 |   34402   249785   984276 | 2147483647   173090     37 |  3.744 % |
126.12/126.12	c |    341111 |   34401   249785   984276 | 2147483647   175139     37 |  3.747 % |
127.22/127.27	c |    343364 |   34401   249785   984276 | 2147483647   177392     37 |  3.747 % |
127.72/127.77	c |    345844 |   34401   249785   984276 | 2147483647   179872     37 |  3.747 % |
129.02/129.10	c |    348573 |   34401   249785   984276 | 2147483647   182601     38 |  3.747 % |
130.02/130.03	c |    351570 |   34401   249785   984276 | 2147483647   185598     38 |  3.747 % |
131.82/131.89	c |    354867 |   34401   249785   984276 | 2147483647   188895     38 |  3.747 % |
132.03/132.04	c |    354968 |   34401   249434   983051 | 2147483647   188973     38 |  3.747 % |
132.12/132.14	c |    355080 |   34401   249434   983051 | 2147483647   189085     38 |  3.747 % |
132.22/132.23	c |    355202 |   34401   249434   983051 | 2147483647   189207     38 |  3.747 % |
132.32/132.36	c |    355337 |   34401   249434   983051 | 2147483647   189342     38 |  3.747 % |
132.42/132.48	c |    355483 |   34401   249434   983051 | 2147483647   189488     38 |  3.747 % |
132.52/132.56	c |    355644 |   34401   249434   983051 | 2147483647   189649     38 |  3.747 % |
132.72/132.75	c |    355820 |   34401   249434   983051 | 2147483647   189825     38 |  3.747 % |
133.02/133.01	c |    356015 |   34401   249434   983051 | 2147483647   190020     38 |  3.747 % |
133.13/133.16	c |    356227 |   34401   249434   983051 | 2147483647   190232     38 |  3.747 % |
133.32/133.31	c |    356460 |   34401   249434   983051 | 2147483647   190465     38 |  3.747 % |
133.42/133.46	c |    356717 |   34401   249434   983051 | 2147483647   190722     38 |  3.747 % |
133.62/133.68	c |    356998 |   34401   249434   983051 | 2147483647   191003     38 |  3.747 % |
133.82/133.91	c |    357308 |   34401   249434   983051 | 2147483647   191313     38 |  3.747 % |
134.02/134.09	c |    357649 |   34401   249434   983051 | 2147483647   191654     38 |  3.747 % |
134.32/134.40	c |    358021 |   34401   249434   983051 | 2147483647   192026     38 |  3.747 % |
134.63/134.65	c |    358431 |   34401   249434   983051 | 2147483647   192436     38 |  3.747 % |
134.93/135.01	c |    358881 |   34401   249434   983051 | 2147483647   192886     38 |  3.747 % |
135.23/135.24	c |    359374 |   34397   249434   983051 | 2147483647   193378     38 |  3.758 % |
135.43/135.47	c |    359919 |   34397   249434   983051 | 2147483647   193923     38 |  3.758 % |
135.93/135.99	c |    360516 |   34397   249434   983051 | 2147483647   194520     38 |  3.758 % |
136.33/136.37	c |    361172 |   34397   249434   983051 | 2147483647   195176     38 |  3.758 % |
136.73/136.74	c |    361893 |   34397   249434   983051 | 2147483647   195897     38 |  3.758 % |
137.03/137.12	c |    362685 |   34397   249434   983051 | 2147483647   196689     38 |  3.758 % |
137.63/137.65	c |    363556 |   34397   249434   983051 | 2147483647   197560     37 |  3.758 % |
138.23/138.26	c |    364514 |   34397   249434   983051 | 2147483647   198518     38 |  3.758 % |
138.93/138.98	c |    365567 |   34397   249434   983051 | 2147483647   199571     37 |  3.758 % |
139.83/139.89	c |    366725 |   34397   249434   983051 | 2147483647   200729     38 |  3.758 % |
140.43/140.45	c |    367999 |   34397   249434   983051 | 2147483647   202003     37 |  3.758 % |
141.23/141.26	c |    369400 |   34397   249434   983051 | 2147483647   203404     37 |  3.758 % |
142.33/142.35	c |    370940 |   34397   249434   983051 | 2147483647   204944     37 |  3.758 % |
143.33/143.35	c |    372635 |   34397   249434   983051 | 2147483647   206639     37 |  3.758 % |
144.13/144.18	c |    374499 |   34397   249434   983051 | 2147483647   208503     37 |  3.758 % |
146.13/146.19	c |    376548 |   34396   249434   983051 | 2147483647   210551     37 |  3.772 % |
147.73/147.81	c |    378801 |   34393   249434   983051 | 2147483647   212804     37 |  3.772 % |
149.33/149.33	c |    381280 |   34392   249434   983051 | 2147483647   215283     37 |  3.772 % |
151.83/151.82	c |    384005 |   34392   249382   982801 | 2147483647   204181     37 |  3.772 % |
154.23/154.25	c |    387002 |   34392   249382   982801 | 2147483647   207178     37 |  3.772 % |
156.93/156.99	c |    390298 |   34392   249382   982801 | 2147483647   210474     37 |  3.772 % |
161.63/161.62	c |    393924 |   34390   249382   982801 | 2147483647   214099     36 |  3.777 % |
161.73/161.72	c |    394025 |   34390   249382   982801 | 2147483647   214200     36 |  3.777 % |
161.83/161.84	c |    394135 |   34390   249382   982801 | 2147483647   214310     36 |  3.777 % |
161.93/161.95	c |    394257 |   34390   249382   982801 | 2147483647   214432     36 |  3.777 % |
162.03/162.07	c |    394391 |   34390   249382   982801 | 2147483647   214566     36 |  3.777 % |
162.13/162.18	c |    394537 |   34390   249382   982801 | 2147483647   214712     36 |  3.777 % |
162.43/162.46	c |    394697 |   34390   249382   982801 | 2147483647   214872     36 |  3.777 % |
162.63/162.62	c |    394874 |   34390   249382   982801 | 2147483647   215049     36 |  3.777 % |
162.83/162.86	c |    395068 |   34389   249382   982801 | 2147483647   215242     36 |  3.780 % |
163.03/163.09	c |    395280 |   34389   249382   982801 | 2147483647   215454     36 |  3.780 % |
163.23/163.31	c |    395514 |   34389   249382   982801 | 2147483647   215688     36 |  3.780 % |
163.53/163.52	c |    395773 |   34389   249382   982801 | 2147483647   215947     36 |  3.780 % |
163.73/163.74	c |    396055 |   34389   249382   982801 | 2147483647   216229     36 |  3.780 % |
163.93/164.00	c |    396365 |   34389   249382   982801 | 2147483647   216539     36 |  3.780 % |
164.23/164.23	c |    396705 |   34389   249382   982801 | 2147483647   216879     36 |  3.780 % |
164.43/164.49	c |    397078 |   34389   249382   982801 | 2147483647   217252     36 |  3.780 % |
164.83/164.82	c |    397489 |   34389   249382   982801 | 2147483647   217663     36 |  3.780 % |
165.13/165.16	c |    397938 |   34389   249382   982801 | 2147483647   218112     36 |  3.780 % |
165.43/165.49	c |    398431 |   34389   249382   982801 | 2147483647   218605     36 |  3.780 % |
165.93/165.92	c |    398973 |   34374   249382   982801 | 2147483647   219145     36 |  3.872 % |
166.03/166.06	c ===============================================================================
166.03/166.06	c restarts              : 801
166.03/166.06	c conflicts             : 399141         (2474 /sec)
166.03/166.06	c decisions             : 2028954        (1.63 % random) (12574 /sec)
166.03/166.06	c propagations          : 96313242       (596884 /sec)
166.03/166.06	c conflict literals     : 14480629       (22.70 % deleted)
166.03/166.06	c Memory used           : 62.64 MB
166.03/166.06	c CPU time              : 161.36 s
166.03/166.06	c 
166.03/166.06	s UNSATISFIABLE
166.03/166.06	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-1820788-1242476815/watcher-1820788-1242476815 -o /tmp/evaluation-result-1820788-1242476815/solver-1820788-1242476815 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820788-1242476815.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.11 1.01 1.00 3/93 5730
/proc/meminfo: memFree=1163420/2074464 swapFree=1951864/1959888
[pid=5730] ppid=5728 vsize=2412 CPUtime=0
/proc/5730/stat : 5730 (SatELiteGTI) R 5728 5730 20977 0 -1 4194304 353 648 0 0 0 0 0 0 18 0 1 0 1012182661 2469888 276 4294967295 134512640 135169312 3217096544 3217095020 3085530996 0 65538 4 65536 0 0 0 17 1 0 0 0
/proc/5730/statm: 603 276 235 161 0 42 0
[pid=5734] ppid=5730 vsize=2412 CPUtime=0
/proc/5734/stat : 5734 (SatELiteGTI) R 5730 5730 20977 0 -1 4194368 65 0 0 0 0 0 0 0 20 0 1 0 1012182662 2469888 94 4294967295 134512640 135169312 3217096544 3217095172 3085531626 0 0 0 0 0 0 0 17 2 0 0 0
/proc/5734/statm: 0 0 0 0 0 0 0

[startup+0.084726 s]
/proc/loadavg: 1.11 1.01 1.00 3/93 5730
/proc/meminfo: memFree=1163420/2074464 swapFree=1951864/1959888
[pid=5730] ppid=5728 vsize=2412 CPUtime=0
/proc/5730/stat : 5730 (SatELiteGTI) S 5728 5730 20977 0 -1 4194304 366 648 0 0 0 0 0 0 18 0 1 0 1012182661 2469888 276 4294967295 134512640 135169312 3217096544 3217095080 3085528814 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/5730/statm: 603 276 235 161 0 42 0
[pid=5734] ppid=5730 vsize=15052 CPUtime=0.09
/proc/5734/stat : 5734 (SatELite_releas) R 5730 5730 20977 0 -1 4202496 3013 0 0 0 5 4 0 0 20 0 1 0 1012182662 15413248 2949 4294967295 134512640 135223648 3216930592 3216929544 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5734/statm: 3763 2952 46 174 0 3588 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17464

[startup+0.124721 s]
/proc/loadavg: 1.11 1.01 1.00 3/93 5730
/proc/meminfo: memFree=1163420/2074464 swapFree=1951864/1959888
[pid=5730] ppid=5728 vsize=2412 CPUtime=0
/proc/5730/stat : 5730 (SatELiteGTI) S 5728 5730 20977 0 -1 4194304 366 648 0 0 0 0 0 0 18 0 1 0 1012182661 2469888 276 4294967295 134512640 135169312 3217096544 3217095080 3085528814 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/5730/statm: 603 276 235 161 0 42 0
[pid=5734] ppid=5730 vsize=19392 CPUtime=0.13
/proc/5734/stat : 5734 (SatELite_releas) R 5730 5730 20977 0 -1 4202496 4382 0 0 0 9 4 0 0 21 0 1 0 1012182662 19857408 4318 4294967295 134512640 135223648 3216930592 3216929176 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5734/statm: 4848 4319 46 174 0 4673 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 21804

[startup+0.324702 s]
/proc/loadavg: 1.11 1.01 1.00 3/93 5730
/proc/meminfo: memFree=1163420/2074464 swapFree=1951864/1959888
[pid=5730] ppid=5728 vsize=2412 CPUtime=0
/proc/5730/stat : 5730 (SatELiteGTI) S 5728 5730 20977 0 -1 4194304 366 648 0 0 0 0 0 0 18 0 1 0 1012182661 2469888 276 4294967295 134512640 135169312 3217096544 3217095080 3085528814 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/5730/statm: 603 276 235 161 0 42 0
[pid=5734] ppid=5730 vsize=56728 CPUtime=0.33
/proc/5734/stat : 5734 (SatELite_releas) R 5730 5730 20977 0 -1 4202496 10980 0 0 0 21 12 0 0 21 0 1 0 1012182662 58089472 10916 4294967295 134512640 135223648 3216930592 3216929544 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5734/statm: 14182 10916 46 174 0 14007 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 59140

[startup+0.724662 s]
/proc/loadavg: 1.11 1.01 1.00 3/93 5730
/proc/meminfo: memFree=1163420/2074464 swapFree=1951864/1959888
[pid=5730] ppid=5728 vsize=2412 CPUtime=0
/proc/5730/stat : 5730 (SatELiteGTI) S 5728 5730 20977 0 -1 4194304 366 648 0 0 0 0 0 0 18 0 1 0 1012182661 2469888 276 4294967295 134512640 135169312 3217096544 3217095080 3085528814 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/5730/statm: 603 276 235 161 0 42 0
[pid=5734] ppid=5730 vsize=95764 CPUtime=0.73
/proc/5734/stat : 5734 (SatELite_releas) R 5730 5730 20977 0 -1 4202496 23587 0 0 0 57 16 0 0 22 0 1 0 1012182662 98062336 21726 4294967295 134512640 135223648 3216930592 3216928260 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5734/statm: 23941 21727 73 174 0 23766 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 98176

[startup+1.52458 s]
/proc/loadavg: 1.11 1.01 1.00 2/95 5735
/proc/meminfo: memFree=1073388/2074464 swapFree=1951864/1959888
[pid=5730] ppid=5728 vsize=2412 CPUtime=0
/proc/5730/stat : 5730 (SatELiteGTI) S 5728 5730 20977 0 -1 4194304 366 648 0 0 0 0 0 0 18 0 1 0 1012182661 2469888 276 4294967295 134512640 135169312 3217096544 3217095080 3085528814 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/5730/statm: 603 276 235 161 0 42 0
[pid=5734] ppid=5730 vsize=100104 CPUtime=1.53
/proc/5734/stat : 5734 (SatELite_releas) R 5730 5730 20977 0 -1 4202496 24626 0 0 0 135 18 0 0 25 0 1 0 1012182662 102506496 22765 4294967295 134512640 135223648 3216930592 3216928544 134564043 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5734/statm: 25026 22765 73 174 0 24851 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 102516

[startup+3.12443 s]
/proc/loadavg: 1.10 1.01 1.00 2/95 5735
/proc/meminfo: memFree=1059872/2074464 swapFree=1951864/1959888
[pid=5730] ppid=5728 vsize=2412 CPUtime=0
/proc/5730/stat : 5730 (SatELiteGTI) S 5728 5730 20977 0 -1 4194304 366 648 0 0 0 0 0 0 18 0 1 0 1012182661 2469888 276 4294967295 134512640 135169312 3217096544 3217095080 3085528814 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/5730/statm: 603 276 235 161 0 42 0
[pid=5734] ppid=5730 vsize=107300 CPUtime=3.12
/proc/5734/stat : 5734 (SatELite_releas) R 5730 5730 20977 0 -1 4202496 26323 0 0 0 292 20 0 0 25 0 1 0 1012182662 109875200 24462 4294967295 134512640 135223648 3216930592 3216928360 134737406 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5734/statm: 26825 24462 73 174 0 26650 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 109712

[startup+6.32411 s]
/proc/loadavg: 1.10 1.01 1.00 4/95 5736
/proc/meminfo: memFree=1120532/2074464 swapFree=1951864/1959888
[pid=5730] ppid=5728 vsize=2416 CPUtime=4.56
/proc/5730/stat : 5730 (SatELiteGTI) S 5728 5730 20977 0 -1 4194304 386 30409 0 0 0 0 434 22 19 0 1 0 1012182661 2473984 278 4294967295 134512640 135169312 3217096544 3217092760 3085528814 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5730/statm: 604 278 235 161 0 43 0
[pid=5736] ppid=5730 vsize=19244 CPUtime=1.76
/proc/5736/stat : 5736 (minisat_static) R 5730 5730 20977 0 -1 4202496 4643 0 0 0 174 2 0 0 20 0 1 0 1012183119 19705856 4577 4294967295 134512640 135215339 3219669536 3219667600 134538506 0 0 0 3 0 0 0 17 3 0 0 0
/proc/5736/statm: 4811 4577 73 172 0 4638 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 21660

[startup+12.7235 s]
/proc/loadavg: 1.08 1.01 1.00 2/95 5919
/proc/meminfo: memFree=1117748/2074464 swapFree=1951864/1959888
[pid=5730] ppid=5728 vsize=2416 CPUtime=4.56
/proc/5730/stat : 5730 (SatELiteGTI) S 5728 5730 20977 0 -1 4194304 386 30409 0 0 0 0 434 22 19 0 1 0 1012182661 2473984 278 4294967295 134512640 135169312 3217096544 3217092760 3085528814 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5730/statm: 604 278 235 161 0 43 0
[pid=5736] ppid=5730 vsize=21540 CPUtime=8.16
/proc/5736/stat : 5736 (minisat_static) R 5730 5730 20977 0 -1 4202496 5212 0 0 0 814 2 0 0 25 0 1 0 1012183119 22056960 5146 4294967295 134512640 135215339 3219669536 3219667824 134528802 0 0 0 3 0 0 0 17 3 0 0 0
/proc/5736/statm: 5385 5146 73 172 0 5212 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 23956

[startup+25.5222 s]
/proc/loadavg: 1.07 1.01 1.00 2/95 5921
/proc/meminfo: memFree=1111460/2074464 swapFree=1951864/1959888
[pid=5730] ppid=5728 vsize=2416 CPUtime=4.56
/proc/5730/stat : 5730 (SatELiteGTI) S 5728 5730 20977 0 -1 4194304 386 30409 0 0 0 0 434 22 19 0 1 0 1012182661 2473984 278 4294967295 134512640 135169312 3217096544 3217092760 3085528814 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5730/statm: 604 278 235 161 0 43 0
[pid=5736] ppid=5730 vsize=27976 CPUtime=20.96
/proc/5736/stat : 5736 (minisat_static) R 5730 5730 20977 0 -1 4202496 6773 0 0 0 2094 2 0 0 25 0 1 0 1012183119 28647424 6707 4294967295 134512640 135215339 3219669536 3219667824 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/5736/statm: 6994 6707 73 172 0 6821 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 30392

[startup+51.1197 s]
/proc/loadavg: 1.05 1.01 1.00 2/95 5923
/proc/meminfo: memFree=1095264/2074464 swapFree=1951864/1959888
[pid=5730] ppid=5728 vsize=2416 CPUtime=4.56
/proc/5730/stat : 5730 (SatELiteGTI) S 5728 5730 20977 0 -1 4194304 386 30409 0 0 0 0 434 22 19 0 1 0 1012182661 2473984 278 4294967295 134512640 135169312 3217096544 3217092760 3085528814 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5730/statm: 604 278 235 161 0 43 0
[pid=5736] ppid=5730 vsize=44564 CPUtime=46.56
/proc/5736/stat : 5736 (minisat_static) R 5730 5730 20977 0 -1 4202496 10920 0 0 0 4647 9 0 0 25 0 1 0 1012183119 45633536 10854 4294967295 134512640 135215339 3219669536 3219667824 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/5736/statm: 11141 10854 73 172 0 10968 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 46980

[startup+102.325 s]
/proc/loadavg: 1.02 1.00 1.00 2/95 6110
/proc/meminfo: memFree=1077696/2074464 swapFree=1951864/1959888
[pid=5730] ppid=5728 vsize=2416 CPUtime=4.56
/proc/5730/stat : 5730 (SatELiteGTI) S 5728 5730 20977 0 -1 4194304 386 30409 0 0 0 0 434 22 19 0 1 0 1012182661 2473984 278 4294967295 134512640 135169312 3217096544 3217092760 3085528814 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5730/statm: 604 278 235 161 0 43 0
[pid=5736] ppid=5730 vsize=61864 CPUtime=97.77
/proc/5736/stat : 5736 (minisat_static) R 5730 5730 20977 0 -1 4202496 15144 0 0 0 9764 13 0 0 25 0 1 0 1012183119 63348736 15078 4294967295 134512640 135215339 3219669536 3219667824 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/5736/statm: 15466 15078 73 172 0 15293 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 64280

[startup+162.319 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 6299
/proc/meminfo: memFree=1075432/2074464 swapFree=1951864/1959888
[pid=5730] ppid=5728 vsize=2416 CPUtime=4.56
/proc/5730/stat : 5730 (SatELiteGTI) S 5728 5730 20977 0 -1 4194304 386 30409 0 0 0 0 434 22 19 0 1 0 1012182661 2473984 278 4294967295 134512640 135169312 3217096544 3217092760 3085528814 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5730/statm: 604 278 235 161 0 43 0
[pid=5736] ppid=5730 vsize=63996 CPUtime=157.77
/proc/5736/stat : 5736 (minisat_static) R 5730 5730 20977 0 -1 4202496 15642 0 0 0 15762 15 0 0 25 0 1 0 1012183119 65531904 15576 4294967295 134512640 135215339 3219669536 3219667824 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/5736/statm: 15999 15576 73 172 0 15826 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 66412

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

[startup+163.119 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 6299
/proc/meminfo: memFree=1075432/2074464 swapFree=1951864/1959888
[pid=5730] ppid=5728 vsize=2416 CPUtime=4.56
/proc/5730/stat : 5730 (SatELiteGTI) S 5728 5730 20977 0 -1 4194304 386 30409 0 0 0 0 434 22 19 0 1 0 1012182661 2473984 278 4294967295 134512640 135169312 3217096544 3217092760 3085528814 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5730/statm: 604 278 235 161 0 43 0
[pid=5736] ppid=5730 vsize=63996 CPUtime=158.57
/proc/5736/stat : 5736 (minisat_static) R 5730 5730 20977 0 -1 4202496 15644 0 0 0 15842 15 0 0 25 0 1 0 1012183119 65531904 15578 4294967295 134512640 135215339 3219669536 3219667824 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/5736/statm: 15999 15578 73 172 0 15826 0
Current children cumulated CPU time (s) 163.13
Current children cumulated vsize (KiB) 66412

[startup+164.719 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 6299
/proc/meminfo: memFree=1075432/2074464 swapFree=1951864/1959888
[pid=5730] ppid=5728 vsize=2416 CPUtime=4.56
/proc/5730/stat : 5730 (SatELiteGTI) S 5728 5730 20977 0 -1 4194304 386 30409 0 0 0 0 434 22 19 0 1 0 1012182661 2473984 278 4294967295 134512640 135169312 3217096544 3217092760 3085528814 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5730/statm: 604 278 235 161 0 43 0
[pid=5736] ppid=5730 vsize=64140 CPUtime=160.17
/proc/5736/stat : 5736 (minisat_static) R 5730 5730 20977 0 -1 4202496 15660 0 0 0 16002 15 0 0 25 0 1 0 1012183119 65679360 15594 4294967295 134512640 135215339 3219669536 3219667824 134529085 0 0 0 3 0 0 0 17 3 0 0 0
/proc/5736/statm: 16035 15594 73 172 0 15862 0
Current children cumulated CPU time (s) 164.73
Current children cumulated vsize (KiB) 66556

[startup+165.519 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 6301
/proc/meminfo: memFree=1075424/2074464 swapFree=1951864/1959888
[pid=5730] ppid=5728 vsize=2416 CPUtime=4.56
/proc/5730/stat : 5730 (SatELiteGTI) S 5728 5730 20977 0 -1 4194304 386 30409 0 0 0 0 434 22 19 0 1 0 1012182661 2473984 278 4294967295 134512640 135169312 3217096544 3217092760 3085528814 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5730/statm: 604 278 235 161 0 43 0
[pid=5736] ppid=5730 vsize=64140 CPUtime=160.97
/proc/5736/stat : 5736 (minisat_static) R 5730 5730 20977 0 -1 4202496 15663 0 0 0 16082 15 0 0 25 0 1 0 1012183119 65679360 15597 4294967295 134512640 135215339 3219669536 3219667824 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/5736/statm: 16035 15597 73 172 0 15862 0
Current children cumulated CPU time (s) 165.53
Current children cumulated vsize (KiB) 66556

[startup+165.918 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 6301
/proc/meminfo: memFree=1075424/2074464 swapFree=1951864/1959888
[pid=5730] ppid=5728 vsize=2416 CPUtime=4.56
/proc/5730/stat : 5730 (SatELiteGTI) S 5728 5730 20977 0 -1 4194304 386 30409 0 0 0 0 434 22 19 0 1 0 1012182661 2473984 278 4294967295 134512640 135169312 3217096544 3217092760 3085528814 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5730/statm: 604 278 235 161 0 43 0
[pid=5736] ppid=5730 vsize=64140 CPUtime=161.37
/proc/5736/stat : 5736 (minisat_static) R 5730 5730 20977 0 -1 4202496 15663 0 0 0 16122 15 0 0 25 0 1 0 1012183119 65679360 15597 4294967295 134512640 135215339 3219669536 3219667824 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/5736/statm: 16035 15597 73 172 0 15862 0
Current children cumulated CPU time (s) 165.93
Current children cumulated vsize (KiB) 66556

[startup+166.018 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 6301
/proc/meminfo: memFree=1075424/2074464 swapFree=1951864/1959888
[pid=5730] ppid=5728 vsize=2416 CPUtime=4.56
/proc/5730/stat : 5730 (SatELiteGTI) S 5728 5730 20977 0 -1 4194304 386 30409 0 0 0 0 434 22 19 0 1 0 1012182661 2473984 278 4294967295 134512640 135169312 3217096544 3217092760 3085528814 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5730/statm: 604 278 235 161 0 43 0
[pid=5736] ppid=5730 vsize=64140 CPUtime=161.47
/proc/5736/stat : 5736 (minisat_static) R 5730 5730 20977 0 -1 4202496 15663 0 0 0 16132 15 0 0 25 0 1 0 1012183119 65679360 15597 4294967295 134512640 135215339 3219669536 3219667600 134538999 0 0 0 3 0 0 0 17 3 0 0 0
/proc/5736/statm: 16035 15597 73 172 0 15862 0
Current children cumulated CPU time (s) 166.03
Current children cumulated vsize (KiB) 66556

Child status: 20
Real time (s): 166.084
CPU time (s): 166.09
CPU user time (s): 165.7
CPU system time (s): 0.39
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 111640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 165.7
system time used= 0.39
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46738
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= 22
involuntary context switches= 620

runsolver used 0.02 second user time and 0.02 second system time

The end

Launcher Data

Begin job on tipi10 at 2009-05-16 14:26:55
IDJOB=1820788
IDBENCH=69595
IDSOLVER=657
FILE ID=tipi10/1820788-1242476815
PBS_JOBID=
Free space on /tmp= 4327 MiB

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

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

MD5SUM BENCH= d46e452956bc993f202d3b06fd3e858e
RANDOM SEED= 1437284824

Linux tipi10 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.367
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.37

processor	: 1
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.367
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.367
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.367
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:       1163452 kB
Buffers:         18660 kB
Cached:         786380 kB
SwapCached:       2724 kB
Active:         434944 kB
Inactive:       379840 kB
HighTotal:     1178688 kB
HighFree:       537436 kB
LowTotal:       895776 kB
LowFree:        626016 kB
SwapTotal:     1959888 kB
SwapFree:      1951864 kB
Dirty:           13376 kB
Writeback:           0 kB
AnonPages:        9236 kB
Mapped:           3128 kB
Slab:            86856 kB
PageTables:        644 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    90592 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 4327 MiB
End job on tipi10 at 2009-05-16 14:29:42