Trace number 1832415

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 171.31 171.482

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 benchmark91.6881
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.00/0.55	c ==============================================================================
0.00/0.55	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.55	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.55	c ==============================================================================
0.00/0.55	c |         0 |  646227  1507863 |  193868       0        0     nan |  0.000 % |
4.48/4.54	c |         0 |  276775  1085434 |      --       0       --      -- |     --   | -369450/-422424
4.48/4.54	c ==============================================================================
4.48/4.54	c Result  :   #vars: 35740   #clauses: 276775   #literals: 1085434
4.48/4.54	c CPU time:   4.28535 s
4.48/4.54	c ==============================================================================
4.88/4.92	c This is MiniSat 2.0 beta
4.88/4.92	c WARNING: for repeatability, setting FPU to use double precision
4.88/4.92	c ============================[ Problem Statistics ]=============================
4.88/4.92	c |                                                                             |
4.88/4.92	c |  Number of variables:  35740                                                |
4.88/4.92	c |  Number of clauses:    276775                                               |
4.90/5.13	c |  Parsing time:         0.19         s                                       |
4.90/5.15	c ============================[ Search Statistics ]==============================
4.90/5.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.90/5.15	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
4.90/5.15	c ===============================================================================
4.90/5.15	c |         0 |   35740   276775  1085434 |    92258        0    nan |  0.000 % |
4.90/5.20	c |       100 |   35722   276775  1085434 |    92258       96      7 |  0.171 % |
4.90/5.23	c |       202 |   35719   276775  1085434 |    92258      198      9 |  0.171 % |
4.90/5.28	c |       303 |   35719   276775  1085434 |    92258      299      9 |  0.171 % |
4.90/5.32	c |       415 |   35710   276775  1085434 |    92258      411     10 |  0.171 % |
4.90/5.36	c |       515 |   35709   276775  1085434 |    92258      510     11 |  0.173 % |
5.37/5.43	c |       625 |   35709   276775  1085434 |    92258      620     12 |  0.173 % |
5.37/5.45	c |       746 |   35708   276775  1085434 |    92258      741     12 |  0.173 % |
5.47/5.56	c |       846 |   35702   276775  1085434 |    92258      841     13 |  0.173 % |
5.56/5.60	c |       957 |   35698   276775  1085434 |    92258      952     15 |  0.173 % |
5.56/5.66	c |      1079 |   35698   276775  1085434 |    92258     1074     16 |  0.173 % |
5.66/5.75	c |      1212 |   35696   276775  1085434 |    92258     1206     16 |  0.185 % |
5.76/5.87	c |      1312 |   35692   276775  1085434 |    92258     1306     17 |  0.185 % |
5.86/5.96	c |      1422 |   35686   276775  1085434 |    92258     1416     17 |  0.185 % |
5.96/6.04	c |      1545 |   35686   276775  1085434 |    92258     1539     18 |  0.185 % |
5.96/6.08	c |      1679 |   35661   275228  1079817 |    92258     1666     17 |  0.271 % |
6.06/6.15	c |      1825 |   35656   275228  1079817 |    92258     1812     17 |  0.271 % |
6.06/6.18	c |      1925 |   35656   275228  1079817 |    92258     1912     18 |  0.271 % |
6.16/6.22	c |      2035 |   35654   275228  1079817 |    92258     2021     17 |  0.277 % |
6.16/6.29	c |      2158 |   35654   275228  1079817 |    92258     2144     17 |  0.277 % |
6.36/6.48	c |      2292 |   35641   275228  1079817 |    92258     2278     18 |  0.277 % |
6.47/6.53	c |      2438 |   35641   275228  1079817 |    92258     2424     20 |  0.277 % |
6.47/6.59	c |      2598 |   35641   275228  1079817 |    92258     2584     20 |  0.277 % |
6.57/6.65	c |      2698 |   35641   275228  1079817 |    92258     2684     19 |  0.277 % |
6.66/6.72	c |      2808 |   35641   275228  1079817 |    92258     2794     20 |  0.277 % |
6.66/6.78	c |      2931 |   35641   275228  1079817 |    92258     2917     20 |  0.277 % |
6.76/6.83	c |      3064 |   35641   275228  1079817 |    92258     3050     19 |  0.277 % |
6.76/6.86	c |      3211 |   35626   275228  1079817 |    92258     3192     19 |  0.327 % |
6.86/6.96	c |      3373 |   35623   274288  1076295 |    92258     3330     19 |  0.327 % |
6.86/6.99	c |      3549 |   35615   274288  1076295 |    92258     3504     19 |  0.358 % |
6.96/7.07	c |      3650 |   35612   274288  1076295 |    92258     3605     19 |  0.358 % |
7.06/7.12	c |      3761 |   35612   274288  1076295 |    92258     3716     19 |  0.358 % |
7.16/7.23	c |      3882 |   35612   274288  1076295 |    92258     3837     19 |  0.358 % |
7.16/7.27	c |      4015 |   35612   274288  1076295 |    92258     3970     19 |  0.358 % |
7.26/7.34	c |      4162 |   35612   274288  1076295 |    92258     4117     19 |  0.358 % |
7.36/7.48	c |      4322 |   35612   274288  1076295 |    92258     4277     19 |  0.358 % |
7.46/7.59	c |      4498 |   35609   274288  1076295 |    92258     4452     19 |  0.375 % |
7.56/7.64	c |      4691 |   35609   274288  1076295 |    92258     4645     19 |  0.375 % |
7.56/7.67	c |      4792 |   35587   274288  1076295 |    92258     4744     19 |  0.529 % |
7.66/7.73	c |      4903 |   35567   274288  1076295 |    92258     4854     19 |  0.680 % |
7.66/7.78	c |      5025 |   35566   274288  1076295 |    92258     4975     19 |  0.686 % |
7.85/7.90	c |      5158 |   35495   271314  1064898 |    92258     5063     19 |  0.686 % |
7.85/7.91	c |      5304 |   35495   271314  1064898 |    92258     5209     19 |  0.686 % |
7.95/8.02	c |      5464 |   35470   271314  1064898 |    92258     5368     18 |  0.828 % |
7.95/8.07	c |      5641 |   35470   271314  1064898 |    92258     5545     18 |  0.828 % |
8.05/8.13	c |      5835 |   35467   271314  1064898 |    92258     5737     18 |  0.873 % |
8.05/8.18	c |      6047 |   35463   271314  1064898 |    92258     5947     17 |  0.884 % |
8.15/8.20	c |      6148 |   35455   271314  1064898 |    92258     6045     17 |  0.932 % |
8.15/8.24	c |      6259 |   35388   271314  1064898 |    92258     6155     17 |  1.153 % |
8.15/8.28	c |      6381 |   35388   271314  1064898 |    92258     6277     17 |  1.153 % |
8.25/8.33	c |      6515 |   35388   271314  1064898 |    92258     6411     17 |  1.153 % |
8.25/8.38	c |      6662 |   35374   271314  1064898 |    92258     6555     17 |  1.172 % |
8.35/8.43	c |      6822 |   35374   271314  1064898 |    92258     6715     17 |  1.172 % |
8.35/8.47	c |      6999 |   35360   271314  1064898 |    92258     6887     17 |  1.226 % |
8.45/8.50	c |      7192 |   35360   271314  1064898 |    92258     7080     17 |  1.226 % |
8.45/8.57	c |      7406 |   35360   271314  1064898 |    92258     7294     17 |  1.226 % |
8.55/8.63	c |      7639 |   35359   271314  1064898 |    92258     7527     18 |  1.226 % |
8.55/8.67	c |      7740 |   35302   266760  1047220 |    92258     6830     18 |  1.226 % |
8.65/8.71	c |      7850 |   35302   266760  1047220 |    92258     6940     18 |  1.226 % |
8.65/8.74	c |      7971 |   35302   266760  1047220 |    92258     7061     18 |  1.226 % |
8.75/8.80	c |      8105 |   35302   266760  1047220 |    92258     7195     18 |  1.226 % |
8.75/8.88	c |      8253 |   35302   266760  1047220 |    92258     7343     19 |  1.226 % |
8.85/8.92	c |      8413 |   35301   266760  1047220 |    92258     7502     19 |  1.234 % |
8.85/8.97	c |      8590 |   35300   266760  1047220 |    92258     7678     18 |  1.315 % |
8.95/9.01	c |      8783 |   35297   266760  1047220 |    92258     7871     19 |  1.315 % |
8.95/9.07	c |      8995 |   35297   266760  1047220 |    92258     8083     19 |  1.315 % |
9.05/9.12	c |      9228 |   35297   266760  1047220 |    92258     8316     19 |  1.315 % |
9.15/9.25	c |      9485 |   35286   266760  1047220 |    92258     8571     19 |  1.399 % |
9.15/9.28	c |      9587 |   35285   266760  1047220 |    92258     8672     19 |  1.402 % |
9.25/9.31	c |      9697 |   35277   266760  1047220 |    92258     8779     19 |  1.438 % |
9.25/9.33	c |      9818 |   35277   266760  1047220 |    92258     8900     19 |  1.438 % |
9.25/9.35	c |      9953 |   35277   266760  1047220 |    92258     9035     19 |  1.438 % |
9.25/9.37	c |     10099 |   35277   266760  1047220 | 2147483647     9181     19 |  1.438 % |
9.34/9.42	c |     10260 |   35277   266760  1047220 | 2147483647     9342     19 |  1.438 % |
9.34/9.49	c |     10437 |   35267   266760  1047220 | 2147483647     9518     19 |  1.452 % |
9.55/9.60	c |     10632 |   35221   265716  1043298 | 2147483647     9624     20 |  1.452 % |
9.55/9.66	c |     10845 |   35216   265716  1043298 | 2147483647     9836     20 |  1.533 % |
9.65/9.75	c |     11079 |   35216   265716  1043298 | 2147483647    10070     20 |  1.533 % |
9.75/9.80	c |     11337 |   35216   265716  1043298 | 2147483647    10328     20 |  1.533 % |
9.75/9.87	c |     11618 |   35214   265716  1043298 | 2147483647    10609     21 |  1.533 % |
9.75/9.89	c |     11720 |   35196   265716  1043298 | 2147483647    10708     21 |  1.634 % |
9.85/9.96	c |     11830 |   35192   265716  1043298 | 2147483647    10817     21 |  1.659 % |
9.94/10.00	c |     11951 |   35192   265716  1043298 | 2147483647    10938     21 |  1.659 % |
9.94/10.01	c |     12085 |   35192   265716  1043298 | 2147483647    11072     21 |  1.659 % |
9.94/10.06	c |     12231 |   35189   265716  1043298 | 2147483647    11217     21 |  1.670 % |
10.04/10.10	c |     12391 |   35189   265716  1043298 | 2147483647    11377     21 |  1.670 % |
10.04/10.17	c |     12568 |   35186   265716  1043298 | 2147483647    11551     21 |  1.679 % |
10.14/10.23	c |     12762 |   35186   265716  1043298 | 2147483647    11745     20 |  1.679 % |
10.14/10.27	c |     12974 |   35186   265716  1043298 | 2147483647    11957     20 |  1.679 % |
10.24/10.34	c |     13207 |   35176   265716  1043298 | 2147483647    12190     20 |  1.679 % |
10.34/10.41	c |     13464 |   35174   265716  1043298 | 2147483647    12446     20 |  1.729 % |
10.34/10.47	c |     13745 |   35122   264121  1037500 | 2147483647    12707     20 |  1.729 % |
10.44/10.56	c |     14055 |   35122   264121  1037500 | 2147483647    13017     21 |  1.729 % |
10.44/10.59	c |     14155 |   35122   264121  1037500 | 2147483647    13117     21 |  1.729 % |
10.54/10.62	c |     14266 |   35122   264121  1037500 | 2147483647    13228     21 |  1.729 % |
10.54/10.68	c |     14387 |   35122   264121  1037500 | 2147483647    13349     21 |  1.729 % |
10.64/10.70	c |     14521 |   35117   264121  1037500 | 2147483647    13480     21 |  1.766 % |
10.64/10.72	c |     14668 |   35117   264121  1037500 | 2147483647    13627     21 |  1.766 % |
10.64/10.75	c |     14828 |   35116   264121  1037500 | 2147483647    13787     21 |  1.766 % |
10.64/10.79	c |     15005 |   35115   264121  1037500 | 2147483647    13963     21 |  1.782 % |
10.74/10.83	c |     15198 |   35112   264121  1037500 | 2147483647    14156     21 |  1.782 % |
10.84/10.92	c |     15410 |   35112   264121  1037500 | 2147483647    14368     21 |  1.782 % |
10.84/10.99	c |     15643 |   35112   264121  1037500 | 2147483647    14601     21 |  1.782 % |
11.04/11.11	c |     15902 |   35112   264121  1037500 | 2147483647    14860     21 |  1.782 % |
11.14/11.20	c |     16184 |   35104   264121  1037500 | 2147483647    15139     21 |  1.810 % |
11.14/11.28	c |     16493 |   35104   264121  1037500 | 2147483647    15448     21 |  1.810 % |
11.24/11.38	c |     16835 |   35104   264121  1037500 | 2147483647    15790     22 |  1.810 % |
11.34/11.41	c |     16937 |   35093   263517  1035373 | 2147483647    15875     21 |  1.810 % |
11.34/11.43	c |     17048 |   35093   263517  1035373 | 2147483647    15986     22 |  1.810 % |
11.34/11.47	c |     17170 |   35093   263517  1035373 | 2147483647    16108     22 |  1.810 % |
11.34/11.48	c |     17305 |   35093   263517  1035373 | 2147483647    16243     21 |  1.810 % |
11.44/11.52	c |     17451 |   35093   263517  1035373 | 2147483647    16389     21 |  1.810 % |
11.44/11.56	c |     17615 |   35093   263517  1035373 | 2147483647    16553     21 |  1.810 % |
11.54/11.61	c |     17792 |   35093   263517  1035373 | 2147483647    16730     21 |  1.810 % |
11.54/11.66	c |     17987 |   35093   263517  1035373 | 2147483647    16925     22 |  1.810 % |
11.64/11.71	c |     18199 |   35089   263517  1035373 | 2147483647    17136     22 |  1.886 % |
11.64/11.80	c |     18432 |   35089   263517  1035373 | 2147483647    17369     22 |  1.886 % |
11.84/11.94	c |     18688 |   35087   263517  1035373 | 2147483647    17624     22 |  1.889 % |
11.84/12.00	c |     18969 |   35086   263517  1035373 | 2147483647    17904     21 |  1.891 % |
11.94/12.08	c |     19278 |   35086   263517  1035373 | 2147483647    18213     22 |  1.891 % |
12.14/12.20	c |     19617 |   35086   263517  1035373 | 2147483647    18552     22 |  1.891 % |
12.14/12.27	c |     19989 |   35086   263517  1035373 | 2147483647    18924     22 |  1.891 % |
12.24/12.31	c |     20090 |   35070   263517  1035373 | 2147483647    19023     22 |  2.015 % |
12.24/12.33	c |     20201 |   35069   263517  1035373 | 2147483647    19133     22 |  2.020 % |
12.24/12.37	c |     20322 |   35068   263517  1035373 | 2147483647    19254     22 |  2.020 % |
12.34/12.45	c |     20457 |   35068   263517  1035373 | 2147483647    19389     22 |  2.020 % |
12.44/12.51	c |     20603 |   35015   261920  1029244 | 2147483647    19521     22 |  2.031 % |
12.44/12.53	c |     20763 |   35015   261920  1029244 | 2147483647    19681     22 |  2.031 % |
12.44/12.57	c |     20941 |   35015   261920  1029244 | 2147483647    19859     22 |  2.031 % |
12.54/12.67	c |     21134 |   35015   261920  1029244 | 2147483647    20052     22 |  2.031 % |
12.63/12.78	c |     21346 |   35008   261920  1029244 | 2147483647    20261     21 |  2.241 % |
12.73/12.85	c |     21579 |   34998   261920  1029244 | 2147483647    20494     21 |  2.241 % |
12.83/12.91	c |     21837 |   34998   261920  1029244 | 2147483647    20752     21 |  2.241 % |
12.94/13.07	c |     22118 |   34995   261920  1029244 | 2147483647    21032     21 |  2.250 % |
13.05/13.18	c |     22428 |   34990   261920  1029244 | 2147483647    21342     21 |  2.250 % |
13.15/13.27	c |     22768 |   34990   261920  1029244 | 2147483647    21682     21 |  2.250 % |
13.24/13.38	c |     23144 |   34980   261920  1029244 | 2147483647    22058     22 |  2.250 % |
13.44/13.58	c |     23554 |   34968   261920  1029244 | 2147483647    22467     22 |  2.264 % |
13.54/13.65	c |     23655 |   34945   261920  1029244 | 2147483647    22565     22 |  2.406 % |
13.64/13.75	c |     23765 |   34880   258077  1015535 | 2147483647    22610     22 |  2.406 % |
13.64/13.78	c |     23886 |   34880   258077  1015535 | 2147483647    22731     22 |  2.406 % |
13.74/13.81	c |     24019 |   34880   258077  1015535 | 2147483647    22864     22 |  2.406 % |
13.74/13.85	c |     24165 |   34880   258077  1015535 | 2147483647    23010     22 |  2.406 % |
13.84/13.93	c |     24327 |   34880   258077  1015535 | 2147483647    23172     22 |  2.406 % |
13.94/14.05	c |     24504 |   34880   258077  1015535 | 2147483647    23349     22 |  2.406 % |
14.04/14.10	c |     24697 |   34880   258077  1015535 | 2147483647    23542     22 |  2.406 % |
14.04/14.12	c |     24910 |   34880   258077  1015535 | 2147483647    23755     22 |  2.406 % |
14.14/14.21	c |     25144 |   34880   258077  1015535 | 2147483647    23989     22 |  2.406 % |
14.24/14.31	c |     25400 |   34880   258077  1015535 | 2147483647    24245     22 |  2.406 % |
14.34/14.41	c |     25681 |   34880   258077  1015535 | 2147483647    24526     22 |  2.406 % |
14.44/14.51	c |     25990 |   34880   258077  1015535 | 2147483647    24835     22 |  2.406 % |
14.54/14.64	c |     26329 |   34880   258077  1015535 | 2147483647    25174     22 |  2.406 % |
14.54/14.68	c |     26703 |   34880   258077  1015535 | 2147483647    25548     22 |  2.406 % |
14.64/14.71	c |     27112 |   34880   258077  1015535 | 2147483647    25957     22 |  2.406 % |
14.64/14.77	c |     27564 |   34880   258077  1015535 | 2147483647    26409     23 |  2.406 % |
14.74/14.81	c |     27664 |   34856   258077  1015535 | 2147483647    26508     23 |  2.532 % |
14.74/14.87	c |     27776 |   34856   258077  1015535 | 2147483647    26620     23 |  2.532 % |
14.84/14.93	c |     27897 |   34835   257110  1011877 | 2147483647    26682     23 |  2.532 % |
14.84/14.98	c |     28031 |   34835   257110  1011877 | 2147483647    26816     23 |  2.532 % |
14.94/15.04	c |     28182 |   34829   257110  1011877 | 2147483647    26963     23 |  2.555 % |
14.94/15.07	c |     28343 |   34829   257110  1011877 | 2147483647    27124     23 |  2.555 % |
15.04/15.12	c |     28519 |   34829   257110  1011877 | 2147483647    27300     23 |  2.555 % |
15.04/15.19	c |     28713 |   34822   257110  1011877 | 2147483647    27493     23 |  2.574 % |
15.14/15.28	c |     28926 |   34822   257110  1011877 | 2147483647    27706     23 |  2.574 % |
15.24/15.30	c |     29159 |   34822   257110  1011877 | 2147483647    27939     23 |  2.574 % |
15.34/15.46	c |     29416 |   34822   257110  1011877 | 2147483647    28196     23 |  2.574 % |
15.44/15.57	c |     29699 |   34822   257110  1011877 | 2147483647    28479     23 |  2.574 % |
15.54/15.65	c |     30008 |   34822   257110  1011877 | 2147483647    28788     23 |  2.574 % |
15.64/15.75	c |     30349 |   34820   257110  1011877 | 2147483647    29128     23 |  2.585 % |
15.74/15.82	c |     30721 |   34820   257110  1011877 | 2147483647    29500     23 |  2.585 % |
15.84/15.93	c |     31130 |   34820   257110  1011877 | 2147483647    29909     23 |  2.585 % |
15.94/16.04	c |     31579 |   34820   257110  1011877 | 2147483647    30358     23 |  2.585 % |
16.04/16.12	c |     32072 |   34820   257110  1011877 | 2147483647    30851     23 |  2.585 % |
16.04/16.18	c |     32172 |   34818   257110  1011877 | 2147483647    30950     23 |  2.591 % |
16.14/16.26	c |     32282 |   34814   256828  1010895 | 2147483647    31046     23 |  2.591 % |
16.14/16.26	c |     32403 |   34814   256828  1010895 | 2147483647    31167     23 |  2.591 % |
16.24/16.34	c |     32536 |   34814   256828  1010895 | 2147483647    31300     23 |  2.591 % |
16.34/16.43	c |     32688 |   34814   256828  1010895 | 2147483647    31452     23 |  2.591 % |
16.34/16.48	c |     32849 |   34813   256828  1010895 | 2147483647    31612     23 |  2.697 % |
16.44/16.55	c |     33026 |   34811   256828  1010895 | 2147483647    31789     23 |  2.697 % |
16.54/16.64	c |     33220 |   34802   256828  1010895 | 2147483647    31983     23 |  2.697 % |
16.64/16.72	c |     33433 |   34802   256828  1010895 | 2147483647    32196     23 |  2.697 % |
16.74/16.82	c |     33667 |   34802   256828  1010895 | 2147483647    32430     23 |  2.697 % |
16.84/16.90	c |     33926 |   34802   256828  1010895 | 2147483647    32689     23 |  2.697 % |
16.84/16.96	c |     34209 |   34802   256828  1010895 | 2147483647    32972     23 |  2.697 % |
16.94/17.08	c |     34521 |   34802   256828  1010895 | 2147483647    33284     23 |  2.697 % |
17.04/17.17	c |     34860 |   34802   256828  1010895 | 2147483647    33623     23 |  2.697 % |
17.14/17.20	c |     35232 |   34802   256828  1010895 | 2147483647    33995     23 |  2.697 % |
17.14/17.29	c |     35641 |   34802   256828  1010895 | 2147483647    34404     23 |  2.697 % |
17.24/17.38	c |     36090 |   34800   256828  1010895 | 2147483647    34852     23 |  2.706 % |
17.44/17.53	c |     36584 |   34800   256828  1010895 | 2147483647    35346     23 |  2.706 % |
17.54/17.64	c |     37126 |   34772   256828  1010895 | 2147483647    35885     24 |  2.809 % |
17.54/17.70	c |     37226 |   34736   255233  1004770 | 2147483647    35827     24 |  2.809 % |
17.64/17.75	c |     37339 |   34736   255233  1004770 | 2147483647    35940     24 |  2.809 % |
17.64/17.79	c |     37461 |   34736   255233  1004770 | 2147483647    36062     24 |  2.809 % |
17.73/17.85	c |     37596 |   34736   255233  1004770 | 2147483647    36197     24 |  2.809 % |
17.83/17.91	c |     37743 |   34735   255233  1004770 | 2147483647    36343     24 |  2.815 % |
17.93/18.03	c |     37903 |   34735   255233  1004770 | 2147483647    36503     24 |  2.815 % |
17.93/18.09	c |     38079 |   34735   255233  1004770 | 2147483647    36679     24 |  2.815 % |
18.03/18.17	c |     38272 |   34735   255233  1004770 | 2147483647    36872     24 |  2.815 % |
18.13/18.23	c |     38486 |   34735   255233  1004770 | 2147483647    37086     24 |  2.815 % |
18.23/18.30	c |     38721 |   34735   255233  1004770 | 2147483647    37321     24 |  2.815 % |
18.23/18.33	c |     38977 |   34733   255233  1004770 | 2147483647    37576     24 |  2.826 % |
18.33/18.43	c |     39258 |   34733   255233  1004770 | 2147483647    37857     24 |  2.826 % |
18.43/18.52	c |     39567 |   34733   255233  1004770 | 2147483647    38166     24 |  2.826 % |
18.43/18.59	c |     39906 |   34733   255233  1004770 | 2147483647    38505     24 |  2.826 % |
18.53/18.64	c |     40280 |   34733   255233  1004770 | 2147483647    38879     24 |  2.826 % |
18.53/18.66	c |     40689 |   34733   255233  1004770 | 2147483647    39288     24 |  2.826 % |
18.73/18.82	c |     41139 |   34733   255233  1004770 | 2147483647    39738     24 |  2.826 % |
18.84/18.94	c |     41632 |   34733   255233  1004770 | 2147483647    40231     24 |  2.826 % |
18.93/19.04	c |     42176 |   34733   255233  1004770 | 2147483647    40775     24 |  2.826 % |
19.03/19.16	c |     42772 |   34733   255233  1004770 | 2147483647    41371     24 |  2.826 % |
19.13/19.20	c |     42872 |   34733   255233  1004770 | 2147483647    41471     24 |  2.826 % |
19.13/19.23	c |     42983 |   34733   255233  1004770 | 2147483647    41582     24 |  2.826 % |
19.13/19.28	c |     43105 |   34733   255233  1004770 | 2147483647    41704     24 |  2.826 % |
19.23/19.36	c |     43238 |   34730   255156  1004473 | 2147483647    41814     24 |  2.826 % |
19.33/19.42	c |     43388 |   34730   255156  1004473 | 2147483647    41964     24 |  2.826 % |
19.43/19.50	c |     43548 |   34730   255156  1004473 | 2147483647    42124     24 |  2.826 % |
19.43/19.55	c |     43724 |   34730   255156  1004473 | 2147483647    42300     24 |  2.826 % |
19.53/19.64	c |     43917 |   34730   255156  1004473 | 2147483647    42493     24 |  2.826 % |
19.64/19.72	c |     44129 |   34730   255156  1004473 | 2147483647    42705     24 |  2.826 % |
19.64/19.78	c |     44363 |   34730   255156  1004473 | 2147483647    42939     24 |  2.826 % |
19.74/19.85	c |     44627 |   34730   255156  1004473 | 2147483647    43203     24 |  2.826 % |
19.83/19.98	c |     44909 |   34730   255156  1004473 | 2147483647    43485     24 |  2.826 % |
19.93/20.09	c |     45218 |   34730   255156  1004473 | 2147483647    43794     24 |  2.826 % |
20.13/20.20	c |     45557 |   34730   255156  1004473 | 2147483647    44133     24 |  2.826 % |
20.13/20.28	c |     45929 |   34730   255156  1004473 | 2147483647    44505     24 |  2.826 % |
20.33/20.41	c |     46338 |   34730   255156  1004473 | 2147483647    44914     24 |  2.826 % |
20.43/20.59	c |     46787 |   34730   255156  1004473 | 2147483647    45363     24 |  2.826 % |
20.63/20.73	c |     47281 |   34729   255156  1004473 | 2147483647    45856     24 |  2.829 % |
20.84/20.92	c |     47823 |   34729   255156  1004473 | 2147483647    46397     25 |  2.843 % |
20.93/21.02	c |     48420 |   34724   255156  1004473 | 2147483647    46993     24 |  2.851 % |
21.13/21.20	c |     49075 |   34724   255156  1004473 | 2147483647    47648     24 |  2.851 % |
21.13/21.26	c |     49176 |   34718   255020  1003965 | 2147483647    47745     24 |  2.860 % |
21.13/21.29	c |     49288 |   34718   255020  1003965 | 2147483647    47857     24 |  2.860 % |
21.23/21.35	c |     49409 |   34715   255020  1003965 | 2147483647    47977     24 |  2.868 % |
21.23/21.38	c |     49542 |   34715   255020  1003965 | 2147483647    48110     24 |  2.868 % |
21.33/21.43	c |     49689 |   34715   255020  1003965 | 2147483647    48257     24 |  2.868 % |
21.43/21.51	c |     49850 |   34714   255020  1003965 | 2147483647    48417     24 |  2.871 % |
21.43/21.57	c |     50027 |   34714   255020  1003965 | 2147483647    48594     24 |  2.871 % |
21.53/21.62	c |     50220 |   34714   255020  1003965 | 2147483647    48787     24 |  2.871 % |
21.63/21.71	c |     50432 |   34714   255020  1003965 | 2147483647    48999     24 |  2.871 % |
21.63/21.76	c |     50665 |   34714   255020  1003965 | 2147483647    49232     24 |  2.871 % |
21.73/21.81	c |     50921 |   34697   255020  1003965 | 2147483647    49486     24 |  3.075 % |
21.73/21.86	c |     51202 |   34697   255020  1003965 | 2147483647    49767     24 |  3.075 % |
21.83/21.92	c |     51511 |   34695   255020  1003965 | 2147483647    50076     24 |  3.075 % |
21.83/22.00	c |     51852 |   34695   255020  1003965 | 2147483647    50417     25 |  3.075 % |
21.93/22.09	c |     52224 |   34692   255020  1003965 | 2147483647    50788     25 |  3.083 % |
22.03/22.19	c |     52635 |   34692   255020  1003965 | 2147483647    51199     25 |  3.083 % |
22.13/22.28	c |     53085 |   34692   255020  1003965 | 2147483647    51649     25 |  3.083 % |
22.23/22.36	c |     53579 |   34692   255020  1003965 | 2147483647    52143     25 |  3.083 % |
22.33/22.43	c |     54126 |   34692   255020  1003965 | 2147483647    52690     25 |  3.083 % |
22.43/22.52	c |     54722 |   34692   255020  1003965 | 2147483647    53286     25 |  3.083 % |
22.63/22.72	c |     55377 |   34692   255020  1003965 | 2147483647    53941     26 |  3.083 % |
22.73/22.81	c |     56097 |   34692   255020  1003965 | 2147483647    54661     26 |  3.083 % |
22.73/22.86	c |     56198 |   34689   255020  1003965 | 2147483647    54761     26 |  3.092 % |
22.83/22.92	c |     56308 |   34689   255020  1003965 | 2147483647    54871     26 |  3.092 % |
22.83/22.96	c |     56430 |   34689   255020  1003965 | 2147483647    54993     26 |  3.092 % |
22.93/23.04	c |     56563 |   34689   255020  1003965 | 2147483647    55126     26 |  3.092 % |
23.03/23.12	c |     56710 |   34689   255020  1003965 | 2147483647    55273     26 |  3.092 % |
23.12/23.21	c |     56871 |   34689   255020  1003965 | 2147483647    55434     26 |  3.092 % |
23.12/23.30	c |     57048 |   34689   255020  1003965 | 2147483647    55611     26 |  3.092 % |
23.32/23.41	c |     57241 |   34635   253814   999244 | 2147483647    55611     26 |  3.092 % |
23.32/23.46	c |     57454 |   34635   253814   999244 | 2147483647    55824     26 |  3.092 % |
23.42/23.53	c |     57687 |   34635   253814   999244 | 2147483647    56057     26 |  3.092 % |
23.52/23.61	c |     57943 |   34635   253814   999244 | 2147483647    56313     26 |  3.092 % |
23.62/23.72	c |     58224 |   34635   253814   999244 | 2147483647    56594     26 |  3.092 % |
23.62/23.77	c |     58533 |   34635   253814   999244 | 2147483647    56903     26 |  3.092 % |
23.72/23.88	c |     58874 |   34633   253814   999244 | 2147483647    57243     26 |  3.106 % |
23.92/24.02	c |     59248 |   34633   253814   999244 | 2147483647    57617     26 |  3.106 % |
24.03/24.13	c |     59657 |   34633   253814   999244 | 2147483647    58026     26 |  3.106 % |
24.22/24.30	c |     60107 |   34626   253814   999244 | 2147483647    58473     26 |  3.131 % |
24.33/24.43	c |     60601 |   34625   253814   999244 | 2147483647    58967     26 |  3.131 % |
24.53/24.60	c |     61144 |   34625   253814   999244 | 2147483647    59510     26 |  3.131 % |
24.73/24.80	c |     61743 |   34624   253814   999244 | 2147483647    60109     26 |  3.131 % |
24.93/25.08	c |     62398 |   34624   253814   999244 | 2147483647    60764     26 |  3.131 % |
25.13/25.25	c |     63118 |   34624   253814   999244 | 2147483647    61484     26 |  3.131 % |
25.33/25.43	c |     63910 |   34624   253814   999244 | 2147483647    62276     26 |  3.131 % |
25.33/25.46	c |     64010 |   34619   253814   999244 | 2147483647    62374     26 |  3.148 % |
25.43/25.53	c |     64121 |   34619   253814   999244 | 2147483647    62485     26 |  3.148 % |
25.43/25.60	c |     64242 |   34619   253814   999244 | 2147483647    62606     26 |  3.148 % |
25.63/25.70	c |     64375 |   34619   253814   999244 | 2147483647    62739     26 |  3.148 % |
25.63/25.75	c |     64525 |   34615   253642   998597 | 2147483647    62884     26 |  3.148 % |
25.73/25.81	c |     64685 |   34615   253642   998597 | 2147483647    63044     26 |  3.148 % |
25.73/25.85	c |     64861 |   34615   253642   998597 | 2147483647    63220     26 |  3.148 % |
25.73/25.87	c |     65054 |   34612   253642   998597 | 2147483647    63411     26 |  3.165 % |
25.83/25.95	c |     65267 |   34612   253642   998597 | 2147483647    63624     26 |  3.165 % |
25.83/25.99	c |     65501 |   34609   253642   998597 | 2147483647    63857     26 |  3.173 % |
26.03/26.12	c |     65757 |   34607   253642   998597 | 2147483647    64112     26 |  3.179 % |
26.13/26.20	c |     66038 |   34607   253642   998597 | 2147483647    64393     26 |  3.179 % |
26.13/26.29	c |     66348 |   34601   253642   998597 | 2147483647    64701     26 |  3.198 % |
26.33/26.42	c |     66689 |   34601   253642   998597 | 2147483647    65042     26 |  3.198 % |
26.43/26.57	c |     67062 |   34600   253642   998597 | 2147483647    65414     26 |  3.201 % |
26.53/26.68	c |     67471 |   34600   253642   998597 | 2147483647    65823     26 |  3.201 % |
26.73/26.81	c |     67922 |   34600   253642   998597 | 2147483647    66274     26 |  3.201 % |
26.83/26.91	c |     68415 |   34600   253642   998597 | 2147483647    66767     26 |  3.201 % |
27.03/27.15	c |     68958 |   34600   253642   998597 | 2147483647    67310     26 |  3.201 % |
27.13/27.29	c |     69555 |   34600   253642   998597 | 2147483647    67907     26 |  3.201 % |
27.33/27.40	c |     70210 |   34600   253642   998597 | 2147483647    68562     26 |  3.201 % |
27.33/27.49	c |     70933 |   34600   253642   998597 | 2147483647    69285     27 |  3.201 % |
27.62/27.74	c |     71725 |   34600   253642   998597 | 2147483647    70077     27 |  3.201 % |
27.72/27.85	c |     72599 |   34600   253642   998597 | 2147483647    70951     27 |  3.201 % |
27.82/27.90	c |     72701 |   34600   253642   998597 | 2147483647    71053     27 |  3.201 % |
27.82/27.94	c |     72812 |   34600   253642   998597 | 2147483647    71164     27 |  3.201 % |
27.82/27.96	c |     72933 |   34600   253642   998597 | 2147483647    71285     27 |  3.201 % |
27.82/27.98	c |     73067 |   34600   253642   998597 | 2147483647    71419     27 |  3.201 % |
27.92/28.03	c |     73213 |   34600   253642   998597 | 2147483647    71565     27 |  3.201 % |
27.92/28.09	c |     73374 |   34600   253642   998597 | 2147483647    71726     27 |  3.201 % |
28.02/28.17	c |     73550 |   34600   253642   998597 | 2147483647    71902     27 |  3.201 % |
28.12/28.28	c |     73743 |   34600   253642   998597 | 2147483647    72095     27 |  3.201 % |
28.22/28.37	c |     73963 |   34600   253642   998597 | 2147483647    72315     27 |  3.201 % |
28.32/28.41	c |     74196 |   34600   253642   998597 | 2147483647    72548     27 |  3.201 % |
28.32/28.49	c |     74452 |   34593   253363   997614 | 2147483647    72797     27 |  3.209 % |
28.42/28.59	c |     74734 |   34593   253363   997614 | 2147483647    73079     27 |  3.209 % |
28.52/28.69	c |     75043 |   34593   253363   997614 | 2147483647    73388     27 |  3.209 % |
28.62/28.75	c |     75382 |   34593   253363   997614 | 2147483647    73727     27 |  3.209 % |
28.72/28.87	c |     75754 |   34593   253363   997614 | 2147483647    74099     27 |  3.209 % |
28.82/28.96	c |     76163 |   34593   253363   997614 | 2147483647    74508     27 |  3.209 % |
29.03/29.14	c |     76615 |   34593   253363   997614 | 2147483647    74960     27 |  3.209 % |
29.23/29.30	c |     77108 |   34593   253363   997614 | 2147483647    75453     27 |  3.209 % |
29.33/29.43	c |     77650 |   34593   253363   997614 | 2147483647    75995     27 |  3.209 % |
29.53/29.60	c |     78246 |   34593   253363   997614 | 2147483647    76591     27 |  3.209 % |
29.73/29.88	c |     78901 |   34593   253363   997614 | 2147483647    77246     27 |  3.209 % |
30.03/30.17	c |     79621 |   34593   253363   997614 | 2147483647    77966     28 |  3.209 % |
30.23/30.37	c |     80413 |   34593   253363   997614 | 2147483647    78758     28 |  3.209 % |
30.33/30.49	c |     81285 |   34593   253363   997614 | 2147483647    79630     28 |  3.209 % |
30.63/30.74	c |     82244 |   34593   253363   997614 | 2147483647    80589     28 |  3.209 % |
30.73/30.80	c |     82346 |   34592   253363   997614 | 2147483647    80690     28 |  3.215 % |
30.73/30.82	c |     82458 |   34587   253363   997614 | 2147483647    80800     28 |  3.243 % |
30.73/30.85	c |     82582 |   34587   253363   997614 | 2147483647    80924     28 |  3.243 % |
30.82/30.92	c |     82715 |   34587   253363   997614 | 2147483647    81057     28 |  3.243 % |
30.82/30.94	c |     82861 |   34587   253363   997614 | 2147483647    81203     28 |  3.243 % |
30.82/30.99	c |     83021 |   34587   253363   997614 | 2147483647    81363     28 |  3.243 % |
31.02/31.10	c |     83198 |   34587   253363   997614 | 2147483647    81540     28 |  3.243 % |
31.02/31.16	c |     83397 |   34587   253363   997614 | 2147483647    81739     28 |  3.243 % |
31.12/31.23	c |     83610 |   34587   253363   997614 | 2147483647    81952     28 |  3.243 % |
31.22/31.31	c |     83844 |   34587   253363   997614 | 2147483647    82186     28 |  3.243 % |
31.32/31.47	c |     84100 |   34587   253363   997614 | 2147483647    82442     28 |  3.243 % |
31.42/31.55	c |     84386 |   34587   253363   997614 | 2147483647    82728     28 |  3.243 % |
31.52/31.66	c |     84697 |   34587   253363   997614 | 2147483647    83039     28 |  3.243 % |
31.62/31.77	c |     85039 |   34581   253048   996494 | 2147483647    83340     28 |  3.243 % |
31.72/31.88	c |     85413 |   34581   253048   996494 | 2147483647    83714     29 |  3.243 % |
31.82/31.92	c |     85824 |   34581   253048   996494 | 2147483647    84125     29 |  3.243 % |
31.92/32.01	c |     86273 |   34581   253048   996494 | 2147483647    84574     29 |  3.243 % |
31.92/32.09	c |     86767 |   34581   253048   996494 | 2147483647    85068     29 |  3.243 % |
32.22/32.39	c |     87309 |   34581   253048   996494 | 2147483647    85610     29 |  3.243 % |
32.52/32.64	c |     87906 |   34581   253048   996494 | 2147483647    86207     29 |  3.243 % |
32.72/32.87	c |     88561 |   34581   253048   996494 | 2147483647    86862     29 |  3.243 % |
33.02/33.17	c |     89282 |   34574   253048   996494 | 2147483647    87581     29 |  3.262 % |
33.22/33.34	c |     90075 |   34574   253048   996494 | 2147483647    88374     29 |  3.262 % |
33.42/33.52	c |     90946 |   34571   253048   996494 | 2147483647    89243     29 |  3.279 % |
33.51/33.69	c |     91905 |   34571   253048   996494 | 2147483647    90202     29 |  3.279 % |
34.02/34.14	c |     92959 |   34571   253048   996494 | 2147483647    91256     29 |  3.279 % |
34.02/34.18	c |     93061 |   34571   253048   996494 | 2147483647    91358     29 |  3.279 % |
34.11/34.23	c |     93172 |   34571   253048   996494 | 2147483647    91469     29 |  3.279 % |
34.11/34.26	c |     93294 |   34571   253048   996494 | 2147483647    91591     29 |  3.279 % |
34.21/34.31	c |     93428 |   34571   253048   996494 | 2147483647    91725     29 |  3.279 % |
34.21/34.37	c |     93575 |   34571   253048   996494 | 2147483647    91872     29 |  3.279 % |
34.31/34.43	c |     93735 |   34571   253048   996494 | 2147483647    92032     29 |  3.279 % |
34.31/34.47	c |     93914 |   34571   253048   996494 | 2147483647    92211     29 |  3.279 % |
34.41/34.57	c |     94107 |   34571   253048   996494 | 2147483647    92404     29 |  3.279 % |
34.51/34.67	c |     94319 |   34571   253048   996494 | 2147483647    92616     29 |  3.279 % |
34.61/34.74	c |     94555 |   34571   253048   996494 | 2147483647    92852     29 |  3.279 % |
34.71/34.84	c |     94815 |   34571   253048   996494 | 2147483647    93112     29 |  3.279 % |
34.81/34.98	c |     95096 |   34571   253048   996494 | 2147483647    93393     29 |  3.279 % |
34.91/35.08	c |     95405 |   34571   253048   996494 | 2147483647    93702     29 |  3.279 % |
35.02/35.17	c |     95752 |   34571   253048   996494 | 2147483647    94049     29 |  3.279 % |
35.12/35.25	c |     96124 |   34571   253048   996494 | 2147483647    94421     30 |  3.279 % |
35.21/35.37	c |     96533 |   34571   253048   996494 | 2147483647    94830     30 |  3.279 % |
35.41/35.50	c |     96990 |   34571   253048   996494 | 2147483647    95287     30 |  3.279 % |
35.61/35.75	c |     97484 |   34571   253048   996494 | 2147483647    95781     30 |  3.279 % |
35.91/36.02	c |     98026 |   34568   252868   995875 | 2147483647    96276     30 |  3.279 % |
36.22/36.32	c |     98622 |   34567   252868   995875 | 2147483647    96871     30 |  3.282 % |
36.31/36.43	c |     99277 |   34567   252868   995875 | 2147483647    97526     30 |  3.282 % |
36.41/36.53	c |     99998 |   34567   252868   995875 | 2147483647    98247     30 |  3.282 % |
36.61/36.71	c |    100792 |   34567   252868   995875 | 2147483647    99041     30 |  3.282 % |
36.71/36.90	c |    101663 |   34567   252868   995875 | 2147483647    99912     30 |  3.282 % |
37.01/37.11	c |    102621 |   34567   252868   995875 | 2147483647   100870     30 |  3.282 % |
37.11/37.26	c |    103676 |   34567   252868   995875 | 2147483647   101925     30 |  3.282 % |
37.32/37.49	c |    104834 |   34567   252868   995875 | 2147483647   103083     31 |  3.282 % |
37.41/37.52	c |    104934 |   34567   252868   995875 | 2147483647   103183     31 |  3.282 % |
37.41/37.57	c |    105046 |   34567   252868   995875 | 2147483647   103295     31 |  3.282 % |
37.51/37.63	c |    105168 |   34567   252868   995875 | 2147483647   103417     31 |  3.282 % |
37.51/37.68	c |    105301 |   34567   252868   995875 | 2147483647   103550     31 |  3.282 % |
37.62/37.77	c |    105447 |   34567   252868   995875 | 2147483647   103696     31 |  3.282 % |
37.72/37.86	c |    105607 |   34567   252868   995875 | 2147483647   103856     31 |  3.282 % |
37.82/37.94	c |    105783 |   34567   252868   995875 | 2147483647   104032     31 |  3.282 % |
37.92/38.04	c |    105976 |   34567   252868   995875 | 2147483647   104225     31 |  3.282 % |
38.02/38.13	c |    106191 |   34567   252868   995875 | 2147483647   104440     31 |  3.282 % |
38.11/38.23	c |    106424 |   34567   252868   995875 | 2147483647   104673     31 |  3.282 % |
38.21/38.39	c |    106680 |   34567   252868   995875 | 2147483647   104929     31 |  3.282 % |
38.42/38.51	c |    106962 |   34567   252868   995875 | 2147483647   105211     31 |  3.282 % |
38.51/38.68	c |    107275 |   34567   252868   995875 | 2147483647   105524     31 |  3.282 % |
38.71/38.82	c |    107616 |   34567   252868   995875 | 2147483647   105865     31 |  3.282 % |
38.81/38.91	c |    107989 |   34567   252868   995875 | 2147483647   106238     31 |  3.282 % |
38.91/39.03	c |    108398 |   34567   252868   995875 | 2147483647   106647     31 |  3.282 % |
39.01/39.16	c |    108847 |   34567   252868   995875 | 2147483647   107096     31 |  3.282 % |
39.11/39.25	c |    109341 |   34567   252868   995875 | 2147483647   107590     31 |  3.282 % |
39.21/39.34	c |    109884 |   34567   252868   995875 | 2147483647   108133     31 |  3.282 % |
39.31/39.46	c |    110480 |   34567   252868   995875 | 2147483647   108729     31 |  3.282 % |
39.61/39.74	c |    111136 |   34553   252868   995875 | 2147483647   109383     31 |  3.369 % |
39.71/39.84	c |    111856 |   34553   252868   995875 | 2147483647   110103     31 |  3.369 % |
39.91/40.00	c |    112648 |   34553   252868   995875 | 2147483647   110895     31 |  3.369 % |
40.01/40.15	c |    113525 |   34553   252868   995875 | 2147483647   111772     31 |  3.369 % |
40.31/40.40	c |    114484 |   34553   252868   995875 | 2147483647   112731     32 |  3.369 % |
40.51/40.65	c |    115542 |   34536   252395   994035 | 2147483647   113749     32 |  3.369 % |
40.81/40.92	c |    116700 |   34536   252395   994035 | 2147483647   114907     32 |  3.369 % |
41.11/41.23	c |    117977 |   34536   252395   994035 | 2147483647   116184     32 |  3.369 % |
41.11/41.28	c |    118078 |   34536   252395   994035 | 2147483647   116285     32 |  3.369 % |
41.21/41.38	c |    118189 |   34536   252395   994035 | 2147483647   116396     32 |  3.369 % |
41.31/41.47	c |    118310 |   34536   252395   994035 | 2147483647   116517     32 |  3.369 % |
41.41/41.58	c |    118443 |   34533   252395   994035 | 2147483647   116649     32 |  3.377 % |
41.51/41.64	c |    118589 |   34533   252395   994035 | 2147483647   116795     32 |  3.377 % |
41.62/41.74	c |    118749 |   34533   252395   994035 | 2147483647   116955     32 |  3.377 % |
41.72/41.82	c |    118925 |   34533   252395   994035 | 2147483647   117131     32 |  3.377 % |
41.81/41.91	c |    119120 |   34533   252395   994035 | 2147483647   117326     32 |  3.377 % |
41.91/42.00	c |    119332 |   34533   252395   994035 | 2147483647   117538     32 |  3.377 % |
41.91/42.08	c |    119565 |   34533   252395   994035 | 2147483647   117771     32 |  3.377 % |
42.11/42.26	c |    119822 |   34533   252395   994035 | 2147483647   118028     32 |  3.377 % |
42.21/42.37	c |    120103 |   34533   252395   994035 | 2147483647   118309     32 |  3.377 % |
42.31/42.45	c |    120413 |   34533   252395   994035 | 2147483647   118619     32 |  3.377 % |
42.41/42.56	c |    120752 |   34533   252395   994035 | 2147483647   118958     32 |  3.377 % |
42.71/42.82	c |    121124 |   34533   252395   994035 | 2147483647   119330     32 |  3.377 % |
42.91/43.00	c |    121534 |   34533   252395   994035 | 2147483647   119740     32 |  3.377 % |
43.01/43.11	c |    121989 |   34533   252395   994035 | 2147483647   120195     32 |  3.377 % |
43.31/43.40	c |    122483 |   34529   252395   994035 | 2147483647   120688     32 |  3.481 % |
43.61/43.73	c |    123026 |   34514   252395   994035 | 2147483647   121231     32 |  3.481 % |
43.71/43.83	c |    123622 |   34513   252395   994035 | 2147483647   121826     32 |  3.576 % |
43.91/44.02	c |    124277 |   34513   252395   994035 | 2147483647   122481     32 |  3.576 % |
44.01/44.14	c |    124997 |   34513   252395   994035 | 2147483647   123201     32 |  3.576 % |
44.21/44.30	c |    125798 |   34513   252395   994035 | 2147483647   124002     32 |  3.576 % |
44.41/44.57	c |    126669 |   34513   252395   994035 | 2147483647   124873     32 |  3.576 % |
44.61/44.76	c |    127631 |   34513   252395   994035 | 2147483647   125835     32 |  3.576 % |
44.81/44.92	c |    128684 |   34513   252395   994035 | 2147483647   126888     32 |  3.576 % |
45.01/45.17	c |    129846 |   34513   252395   994035 | 2147483647   128050     32 |  3.576 % |
45.21/45.39	c |    131119 |   34513   252395   994035 | 2147483647   129323     32 |  3.576 % |
45.70/45.83	c |    132519 |   34503   252395   994035 | 2147483647   130719     32 |  3.612 % |
45.80/45.94	c |    132622 |   34503   252395   994035 | 2147483647   130822     32 |  3.612 % |
45.80/45.97	c |    132733 |   34503   252395   994035 | 2147483647   130933     32 |  3.612 % |
45.90/46.04	c |    132856 |   34503   252395   994035 | 2147483647   131056     32 |  3.612 % |
45.90/46.10	c |    132989 |   34503   252395   994035 | 2147483647   131189     32 |  3.612 % |
46.01/46.12	c |    133137 |   34503   252395   994035 | 2147483647   131337     32 |  3.612 % |
46.01/46.20	c |    133297 |   34503   252395   994035 | 2147483647   131497     32 |  3.612 % |
46.11/46.25	c |    133474 |   34503   252395   994035 | 2147483647   131674     33 |  3.612 % |
46.30/46.40	c |    133668 |   34503   252395   994035 | 2147483647   131868     32 |  3.612 % |
46.40/46.55	c |    133883 |   34502   252395   994035 | 2147483647   132083     32 |  3.612 % |
46.50/46.63	c |    134117 |   34502   252395   994035 | 2147483647   132317     33 |  3.612 % |
46.60/46.75	c |    134374 |   34449   250192   985821 | 2147483647   132485     33 |  3.612 % |
46.70/46.89	c |    134657 |   34449   250192   985821 | 2147483647   132768     33 |  3.612 % |
46.80/46.96	c |    134966 |   34449   250192   985821 | 2147483647   133077     33 |  3.612 % |
47.00/47.11	c |    135305 |   34449   250192   985821 | 2147483647   133416     33 |  3.612 % |
47.10/47.24	c |    135680 |   34449   250192   985821 | 2147483647   133791     33 |  3.612 % |
47.21/47.35	c |    136089 |   34449   250192   985821 | 2147483647   134200     33 |  3.612 % |
47.50/47.64	c |    136538 |   34449   250192   985821 | 2147483647   134649     32 |  3.612 % |
47.60/47.79	c |    137033 |   34449   250192   985821 | 2147483647   135144     32 |  3.612 % |
47.90/48.03	c |    137575 |   34449   250192   985821 | 2147483647   135686     32 |  3.612 % |
48.10/48.27	c |    138175 |   34449   250192   985821 | 2147483647   136286     32 |  3.612 % |
48.30/48.41	c |    138830 |   34449   250192   985821 | 2147483647   136941     32 |  3.612 % |
48.41/48.59	c |    139552 |   34448   250192   985821 | 2147483647   137662     33 |  3.618 % |
48.61/48.77	c |    140347 |   34448   250192   985821 | 2147483647   138457     33 |  3.618 % |
48.90/49.02	c |    141218 |   34442   250192   985821 | 2147483647   139326     33 |  3.635 % |
49.20/49.37	c |    142176 |   34442   250192   985821 | 2147483647   140284     33 |  3.635 % |
49.50/49.61	c |    143229 |   34442   250192   985821 | 2147483647   141337     33 |  3.635 % |
49.70/49.85	c |    144389 |   34442   250192   985821 | 2147483647   142497     33 |  3.635 % |
50.00/50.12	c |    145664 |   34442   250192   985821 | 2147483647   143772     33 |  3.635 % |
50.30/50.45	c |    147065 |   34442   250192   985821 | 2147483647   145173     33 |  3.635 % |
51.29/51.41	c |    148607 |   34442   250192   985821 | 2147483647   146715     33 |  3.635 % |
51.29/51.49	c |    148707 |   34442   250192   985821 | 2147483647   146815     33 |  3.635 % |
51.39/51.53	c |    148818 |   34442   250192   985821 | 2147483647   146926     33 |  3.635 % |
51.39/51.59	c |    148940 |   34442   250192   985821 | 2147483647   147048     33 |  3.635 % |
51.50/51.69	c |    149076 |   34442   250192   985821 | 2147483647   147184     33 |  3.635 % |
51.69/51.83	c |    149223 |   34442   250192   985821 | 2147483647   147331     33 |  3.635 % |
51.69/51.88	c |    149383 |   34442   250192   985821 | 2147483647   147491     33 |  3.635 % |
51.79/51.98	c |    149559 |   34442   250192   985821 | 2147483647   147667     33 |  3.635 % |
51.90/52.06	c |    149752 |   34442   250192   985821 | 2147483647   147860     33 |  3.635 % |
52.00/52.17	c |    149964 |   34442   250192   985821 | 2147483647   148072     33 |  3.635 % |
52.10/52.25	c |    150198 |   34442   250192   985821 | 2147483647   148306     33 |  3.635 % |
52.20/52.33	c |    150454 |   34442   250192   985821 | 2147483647   148562     33 |  3.635 % |
52.30/52.42	c |    150738 |   34442   250192   985821 | 2147483647   148846     33 |  3.635 % |
52.40/52.52	c |    151049 |   34442   250192   985821 | 2147483647   149157     33 |  3.635 % |
52.50/52.62	c |    151388 |   34442   250192   985821 | 2147483647   149495     33 |  3.643 % |
52.60/52.71	c |    151760 |   34439   250192   985821 | 2147483647   149867     33 |  3.643 % |
52.70/52.84	c |    152171 |   34439   250192   985821 | 2147483647   150278     33 |  3.643 % |
52.89/53.00	c |    152621 |   34439   250192   985821 | 2147483647   150728     33 |  3.643 % |
52.99/53.14	c |    153114 |   34439   250192   985821 | 2147483647   151221     34 |  3.643 % |
53.19/53.31	c |    153656 |   34439   250192   985821 | 2147483647   151763     34 |  3.643 % |
53.39/53.54	c |    154253 |   34439   250192   985821 | 2147483647   152360     34 |  3.643 % |
53.59/53.78	c |    154909 |   34436   250192   985821 | 2147483647   153015     34 |  3.651 % |
53.99/54.15	c |    155631 |   34436   250192   985821 | 2147483647   153737     34 |  3.651 % |
54.19/54.39	c |    156423 |   34436   250192   985821 | 2147483647   154529     34 |  3.651 % |
54.49/54.62	c |    157295 |   34436   250192   985821 | 2147483647   155401     34 |  3.651 % |
54.69/54.86	c |    158254 |   34436   250192   985821 | 2147483647   156360     34 |  3.651 % |
55.39/55.57	c |    159307 |   34436   250192   985821 | 2147483647   157413     34 |  3.651 % |
55.90/56.01	c |    160467 |   34435   250055   985308 | 2147483647   158554     34 |  3.651 % |
56.19/56.37	c |    161740 |   34435   250055   985308 | 2147483647   159827     34 |  3.651 % |
56.69/56.81	c |    163142 |   34435   250055   985308 | 2147483647   161229     34 |  3.651 % |
57.39/57.51	c |    164682 |   34435   250055   985308 | 2147483647   162769     34 |  3.651 % |
57.69/57.82	c |    166377 |   34435   250055   985308 | 2147483647   164464     34 |  3.651 % |
57.69/57.88	c |    166477 |   34435   250055   985308 | 2147483647   164564     34 |  3.651 % |
57.79/57.90	c |    166587 |   34435   250055   985308 | 2147483647   164674     34 |  3.651 % |
57.89/58.00	c |    166708 |   34435   250055   985308 | 2147483647   164795     34 |  3.651 % |
57.89/58.08	c |    166842 |   34435   250055   985308 | 2147483647   164929     34 |  3.651 % |
57.99/58.17	c |    166988 |   34435   250055   985308 | 2147483647   165075     34 |  3.651 % |
58.09/58.26	c |    167148 |   34435   250055   985308 | 2147483647   165235     34 |  3.651 % |
58.19/58.34	c |    167324 |   34435   250055   985308 | 2147483647   165411     34 |  3.651 % |
58.29/58.41	c |    167518 |   34435   250055   985308 | 2147483647   165605     34 |  3.651 % |
58.39/58.51	c |    167730 |   34435   250055   985308 | 2147483647   165817     34 |  3.651 % |
58.49/58.62	c |    167964 |   34435   250055   985308 | 2147483647   166051     34 |  3.651 % |
58.59/58.78	c |    168220 |   34435   250055   985308 | 2147483647   166307     34 |  3.651 % |
58.79/58.98	c |    168501 |   34435   250055   985308 | 2147483647   166588     34 |  3.651 % |
59.09/59.21	c |    168810 |   34435   250055   985308 | 2147483647   166897     34 |  3.651 % |
59.29/59.43	c |    169149 |   34435   250055   985308 | 2147483647   167236     34 |  3.651 % |
59.49/59.62	c |    169521 |   34435   250055   985308 | 2147483647   167608     34 |  3.651 % |
59.59/59.72	c |    169930 |   34435   250055   985308 | 2147483647   168017     34 |  3.651 % |
59.69/59.88	c |    170380 |   34435   250055   985308 | 2147483647   168467     34 |  3.651 % |
59.88/60.02	c |    170873 |   34435   250055   985308 | 2147483647   168960     34 |  3.651 % |
60.08/60.26	c |    171425 |   34435   250055   985308 | 2147483647   169512     34 |  3.651 % |
60.29/60.44	c |    172022 |   34435   250055   985308 | 2147483647   170109     34 |  3.651 % |
60.58/60.71	c |    172678 |   34435   250055   985308 | 2147483647   170765     34 |  3.651 % |
60.78/60.93	c |    173399 |   34435   250055   985308 | 2147483647   171486     34 |  3.651 % |
60.98/61.15	c |    174191 |   34435   250055   985308 | 2147483647   172278     35 |  3.651 % |
61.28/61.44	c |    175063 |   34435   250055   985308 | 2147483647   173150     35 |  3.651 % |
61.59/61.72	c |    176022 |   34435   250055   985308 | 2147483647   174109     35 |  3.651 % |
61.89/62.04	c |    177077 |   34435   250055   985308 | 2147483647   175164     35 |  3.651 % |
62.19/62.36	c |    178236 |   34435   250055   985308 | 2147483647   176323     35 |  3.651 % |
62.60/62.70	c |    179510 |   34435   250055   985308 | 2147483647   177597     35 |  3.651 % |
62.99/63.16	c |    180917 |   34435   250055   985308 | 2147483647   179004     35 |  3.651 % |
63.89/64.06	c |    182458 |   34435   250055   985308 | 2147483647   180545     35 |  3.651 % |
64.39/64.52	c |    184152 |   34435   250055   985308 | 2147483647   182239     35 |  3.651 % |
64.89/65.04	c |    186015 |   34435   250055   985308 | 2147483647   184102     35 |  3.651 % |
64.99/65.12	c |    186115 |   34435   250055   985308 | 2147483647   184202     35 |  3.651 % |
65.09/65.22	c |    186225 |   34435   250055   985308 | 2147483647   184312     35 |  3.651 % |
65.09/65.25	c |    186346 |   34435   250055   985308 | 2147483647   184433     35 |  3.651 % |
65.19/65.34	c |    186479 |   34435   250055   985308 | 2147483647   184566     35 |  3.651 % |
65.19/65.38	c |    186629 |   34435   250055   985308 | 2147483647   184716     35 |  3.651 % |
65.28/65.46	c |    186789 |   34435   250055   985308 | 2147483647   184876     35 |  3.651 % |
65.38/65.54	c |    186966 |   34435   250055   985308 | 2147483647   185053     35 |  3.651 % |
65.58/65.70	c |    187160 |   34435   250055   985308 | 2147483647   185247     35 |  3.651 % |
65.58/65.78	c |    187374 |   34435   250055   985308 | 2147483647   185461     35 |  3.651 % |
65.68/65.87	c |    187607 |   34435   250055   985308 | 2147483647   185694     35 |  3.651 % |
65.79/65.93	c |    187865 |   34435   250055   985308 | 2147483647   185952     35 |  3.651 % |
65.89/66.09	c |    188150 |   34435   250055   985308 | 2147483647   186237     35 |  3.651 % |
65.98/66.14	c |    188463 |   34435   250055   985308 | 2147483647   186550     35 |  3.651 % |
66.08/66.24	c |    188802 |   34435   250055   985308 | 2147483647   186889     35 |  3.651 % |
66.18/66.37	c |    189175 |   34435   250055   985308 | 2147483647   187262     35 |  3.651 % |
66.38/66.54	c |    189584 |   34435   250055   985308 | 2147483647   187671     35 |  3.651 % |
66.58/66.80	c |    190033 |   34435   250055   985308 | 2147483647   188120     35 |  3.651 % |
66.78/67.00	c |    190528 |   34435   250055   985308 | 2147483647   188615     35 |  3.651 % |
67.18/67.33	c |    191073 |   34435   250055   985308 | 2147483647   189160     35 |  3.651 % |
67.48/67.61	c |    191669 |   34435   250055   985308 | 2147483647   189756     35 |  3.651 % |
67.68/67.81	c |    192325 |   34435   250055   985308 | 2147483647   190412     35 |  3.651 % |
67.89/68.07	c |    193047 |   34435   250055   985308 | 2147483647   191134     35 |  3.651 % |
68.39/68.59	c |    193839 |   34435   250055   985308 | 2147483647   191926     35 |  3.651 % |
68.79/68.92	c |    194711 |   34435   250055   985308 | 2147483647   192798     35 |  3.651 % |
69.09/69.26	c |    195669 |   34435   250055   985308 | 2147483647   193756     35 |  3.651 % |
69.38/69.53	c |    196724 |   34435   250055   985308 | 2147483647   194811     35 |  3.651 % |
69.88/70.01	c |    197884 |   34435   250055   985308 | 2147483647   195971     35 |  3.651 % |
70.19/70.34	c |    199158 |   34435   250055   985308 | 2147483647   197245     35 |  3.651 % |
70.58/70.71	c |    200558 |   34435   250055   985308 | 2147483647   198645     36 |  3.651 % |
71.08/71.29	c |    202098 |   34435   250055   985308 | 2147483647   200185     36 |  3.651 % |
71.88/72.04	c |    203793 |   34435   250055   985308 | 2147483647   201880     36 |  3.651 % |
72.18/72.38	c |    205659 |   34435   250055   985308 | 2147483647   203746     35 |  3.651 % |
72.68/72.88	c |    207708 |   34435   250055   985308 | 2147483647   205795     35 |  3.651 % |
72.78/72.93	c |    207808 |   34435   250055   985308 | 2147483647   205895     35 |  3.651 % |
72.88/73.00	c |    207918 |   34435   250055   985308 | 2147483647   206005     35 |  3.651 % |
72.88/73.07	c |    208039 |   34435   250055   985308 | 2147483647   206126     35 |  3.651 % |
72.98/73.14	c |    208172 |   34435   250055   985308 | 2147483647   206259     35 |  3.651 % |
73.08/73.28	c |    208319 |   34435   250055   985308 | 2147483647   206406     35 |  3.651 % |
73.18/73.36	c |    208479 |   34435   250055   985308 | 2147483647   206566     35 |  3.651 % |
73.38/73.52	c |    208656 |   34435   250055   985308 | 2147483647   206743     36 |  3.651 % |
73.38/73.58	c |    208849 |   34435   250055   985308 | 2147483647   206936     36 |  3.651 % |
73.58/73.77	c |    209061 |   34435   250055   985308 | 2147483647   207148     36 |  3.651 % |
73.88/74.05	c |    209294 |   34433   250046   985247 | 2147483647   207378     36 |  3.657 % |
74.08/74.24	c |    209553 |   34433   250046   985247 | 2147483647   207637     36 |  3.657 % |
74.28/74.43	c |    209834 |   34433   250046   985247 | 2147483647   207918     36 |  3.657 % |
74.38/74.54	c |    210143 |   34433   250046   985247 | 2147483647   208227     36 |  3.657 % |
74.68/74.85	c |    210482 |   34433   250046   985247 | 2147483647   208566     36 |  3.657 % |
74.88/75.05	c |    210854 |   34433   250046   985247 | 2147483647   208938     36 |  3.657 % |
74.98/75.16	c |    211263 |   34433   250046   985247 | 2147483647   209347     36 |  3.657 % |
75.28/75.45	c |    211712 |   34433   250046   985247 | 2147483647   209796     36 |  3.657 % |
75.68/75.84	c |    212205 |   34433   250046   985247 | 2147483647   210289     36 |  3.657 % |
75.98/76.13	c |    212747 |   34433   250046   985247 | 2147483647   210831     36 |  3.657 % |
76.28/76.47	c |    213343 |   34433   250046   985247 | 2147483647   211427     36 |  3.657 % |
76.68/76.85	c |    214000 |   34433   250046   985247 | 2147483647   212084     36 |  3.657 % |
76.88/77.08	c |    214721 |   34433   250046   985247 | 2147483647   212805     36 |  3.657 % |
77.08/77.27	c |    215514 |   34433   250046   985247 | 2147483647   213598     36 |  3.657 % |
77.37/77.55	c |    216393 |   34433   250046   985247 | 2147483647   214477     36 |  3.657 % |
77.67/77.87	c |    217357 |   34433   250046   985247 | 2147483647   215441     36 |  3.657 % |
77.98/78.20	c |    218410 |   34433   250046   985247 | 2147483647   216494     36 |  3.657 % |
78.67/78.84	c |    219568 |   34433   250046   985247 | 2147483647   217652     36 |  3.657 % |
79.27/79.43	c |    220842 |   34427   250046   985247 | 2147483647   218925     36 |  3.674 % |
79.78/79.98	c |    222242 |   34427   250046   985247 | 2147483647   220325     36 |  3.674 % |
80.08/80.28	c |    223782 |   34427   250046   985247 | 2147483647   221865     36 |  3.674 % |
81.18/81.31	c |    225477 |   34427   250046   985247 | 2147483647   223560     36 |  3.674 % |
81.78/81.90	c |    227340 |   34427   250046   985247 | 2147483647   225423     36 |  3.674 % |
82.28/82.45	c |    229389 |   34427   250046   985247 | 2147483647   227472     36 |  3.674 % |
82.88/83.01	c |    231647 |   34427   250046   985247 |   228084   229730     36 |  3.674 % |
83.38/83.50	c |    231749 |   34427   250046   985247 |   228084   187456     35 |  3.674 % |
83.38/83.55	c |    231860 |   34427   250046   985247 |   228084   187567     35 |  3.674 % |
83.48/83.63	c |    231982 |   34427   250046   985247 |   228084   187689     35 |  3.674 % |
83.58/83.73	c |    232115 |   34427   250046   985247 |   228084   187822     35 |  3.674 % |
83.58/83.79	c |    232262 |   34427   250046   985247 |   228084   187969     35 |  3.674 % |
83.67/83.89	c |    232423 |   34427   250046   985247 |   228084   188130     35 |  3.674 % |
83.77/83.98	c |    232602 |   34427   250046   985247 |   228084   188309     35 |  3.674 % |
83.87/84.06	c |    232796 |   34427   250046   985247 |   228084   188503     35 |  3.674 % |
83.97/84.19	c |    233009 |   34427   250046   985247 |   228084   188716     35 |  3.674 % |
84.07/84.27	c |    233244 |   34427   250046   985247 |   228084   188951     35 |  3.674 % |
84.17/84.38	c |    233500 |   34427   250046   985247 |   228084   189207     35 |  3.674 % |
84.48/84.63	c |    233781 |   34427   250046   985247 |   228084   189488     35 |  3.674 % |
84.58/84.73	c |    234096 |   34427   250046   985247 |   228084   189803     35 |  3.674 % |
84.87/85.07	c |    234435 |   34427   250046   985247 |   228084   190142     35 |  3.674 % |
85.07/85.21	c |    234807 |   34427   250046   985247 |   228084   190514     35 |  3.674 % |
85.27/85.41	c |    235216 |   34427   250046   985247 |   228084   190923     35 |  3.674 % |
85.37/85.57	c |    235665 |   34427   250046   985247 |   228084   191372     35 |  3.674 % |
85.58/85.71	c |    236164 |   34427   250046   985247 |   228084   191871     35 |  3.674 % |
85.68/85.81	c |    236706 |   34427   250046   985247 |   228084   192413     35 |  3.674 % |
85.97/86.14	c |    237302 |   34427   250046   985247 |   228084   193009     35 |  3.674 % |
86.17/86.33	c |    237957 |   34427   250046   985247 |   228084   193664     35 |  3.674 % |
86.68/86.82	c |    238677 |   34427   250046   985247 |   228084   194384     35 |  3.674 % |
86.97/87.16	c |    239470 |   34427   250046   985247 |   228084   195177     35 |  3.674 % |
87.27/87.48	c |    240347 |   34427   250046   985247 |   195707   196054     36 |  3.674 % |
87.57/87.76	c |    241305 |   34427   250046   985247 |   195707   197012     36 |  3.674 % |
87.78/87.99	c |    242359 |   34427   250046   985247 |   195707   198066     36 |  3.674 % |
88.37/88.56	c |    243524 |   34427   250046   985247 |   195707   172539     37 |  3.674 % |
88.88/89.05	c |    244799 |   34427   250046   985247 |   195707   173814     37 |  3.674 % |
89.17/89.31	c |    246201 |   34427   250046   985247 |   195707   175216     37 |  3.674 % |
89.87/90.01	c |    247741 |   34427   250046   985247 |   195707   176756     37 |  3.674 % |
90.67/90.87	c |    249435 |   34427   250046   985247 |   195707   178450     37 |  3.674 % |
91.47/91.61	c |    251298 |   34425   250046   985247 | 2147483647   180312     37 |  3.679 % |
91.97/92.10	c |    253347 |   34425   250046   985247 | 2147483647   182361     37 |  3.679 % |
93.07/93.28	c |    255603 |   34425   250046   985247 | 2147483647   184617     37 |  3.679 % |
93.67/93.84	c |    258081 |   34425   250046   985247 | 2147483647   187095     37 |  3.679 % |
93.77/93.98	c |    258187 |   34425   250046   985247 | 2147483647   187201     37 |  3.679 % |
93.87/94.03	c |    258297 |   34425   250046   985247 | 2147483647   187311     37 |  3.679 % |
93.87/94.07	c |    258420 |   34425   250046   985247 | 2147483647   187434     37 |  3.679 % |
93.97/94.14	c |    258553 |   34425   250046   985247 | 2147483647   187567     37 |  3.679 % |
94.07/94.28	c |    258701 |   34425   250046   985247 | 2147483647   187715     37 |  3.679 % |
94.16/94.35	c |    258861 |   34425   250046   985247 | 2147483647   187875     37 |  3.679 % |
94.26/94.46	c |    259037 |   34425   250046   985247 | 2147483647   188051     37 |  3.679 % |
94.37/94.55	c |    259234 |   34425   250046   985247 | 2147483647   188248     37 |  3.679 % |
94.47/94.66	c |    259449 |   34425   250046   985247 | 2147483647   188463     37 |  3.679 % |
94.56/94.75	c |    259682 |   34425   250046   985247 | 2147483647   188696     37 |  3.679 % |
94.76/94.96	c |    259942 |   34425   250046   985247 | 2147483647   188956     37 |  3.679 % |
94.96/95.12	c |    260225 |   34425   250046   985247 |   189014   189239     37 |  3.679 % |
95.06/95.23	c |    260535 |   34425   250046   985247 |   189014   189549     37 |  3.679 % |
95.26/95.45	c |    260874 |   34425   250046   985247 |   189014   189888     37 |  3.679 % |
95.47/95.66	c |    261246 |   34425   249939   984800 |   189014   187972     37 |  3.679 % |
95.76/95.93	c |    261655 |   34425   249939   984800 |   189014   188381     37 |  3.679 % |
95.96/96.11	c |    262112 |   34425   249939   984800 |   189014   188838     37 |  3.679 % |
96.06/96.25	c |    262606 |   34425   249939   984800 |   189014   189332     37 |  3.679 % |
96.26/96.41	c |    263148 |   34425   249939   984800 |   189014   189874     37 |  3.679 % |
96.36/96.59	c |    263745 |   34425   249939   984800 |   189014   190471     37 |  3.679 % |
96.76/96.98	c |    264405 |   34425   249939   984800 |   189014   172084     38 |  3.679 % |
97.06/97.26	c |    265125 |   34425   249939   984800 |   189014   172804     38 |  3.679 % |
97.26/97.45	c |    265918 |   34425   249939   984800 |   189014   173597     38 |  3.679 % |
97.86/98.06	c |    266791 |   34425   249939   984800 |   189014   174470     38 |  3.679 % |
98.16/98.32	c |    267749 |   34425   249939   984800 |   189014   175428     38 |  3.679 % |
98.66/98.86	c |    268802 |   34425   249939   984800 |   189014   176481     38 |  3.679 % |
99.06/99.29	c |    269964 |   34425   249939   984800 |   189014   177643     38 |  3.679 % |
99.75/99.96	c |    271237 |   34425   249939   984800 | 2147483647   178916     38 |  3.679 % |
100.55/100.71	c |    272637 |   34425   249939   984800 | 2147483647   180316     38 |  3.679 % |
101.15/101.33	c |    274177 |   34425   249939   984800 | 2147483647   181856     38 |  3.679 % |
101.45/101.63	c |    275872 |   34425   249939   984800 | 2147483647   183551     38 |  3.679 % |
102.06/102.28	c |    277738 |   34425   249939   984800 | 2147483647   185417     38 |  3.679 % |
102.55/102.73	c |    279790 |   34425   249939   984800 | 2147483647   187469     38 |  3.679 % |
103.95/104.12	c |    282043 |   34425   249939   984800 |   187680   189722     38 |  3.679 % |
104.95/105.10	c |    284522 |   34425   249939   984800 |   187680   173229     37 |  3.679 % |
105.95/106.16	c |    287247 |   34425   249939   984800 |   187680   175954     37 |  3.679 % |
105.95/106.19	c |    287347 |   34425   249939   984800 |   187680   176054     37 |  3.679 % |
106.05/106.27	c |    287458 |   34425   249939   984800 |   187680   176165     37 |  3.679 % |
106.15/106.33	c |    287584 |   34425   249939   984800 |   187680   176291     37 |  3.679 % |
106.25/106.41	c |    287718 |   34425   249939   984800 |   187680   176425     37 |  3.679 % |
106.25/106.49	c |    287867 |   34425   249939   984800 |   187680   176574     37 |  3.679 % |
106.46/106.62	c |    288027 |   34425   249939   984800 |   187680   176734     37 |  3.679 % |
106.56/106.71	c |    288203 |   34425   249939   984800 |   187680   176910     37 |  3.679 % |
106.65/106.81	c |    288396 |   34425   249939   984800 |   187680   177103     37 |  3.679 % |
106.75/106.91	c |    288608 |   34425   249939   984800 |   187680   177315     37 |  3.679 % |
106.85/107.01	c |    288845 |   34425   249939   984800 |   187680   177552     37 |  3.679 % |
106.95/107.16	c |    289101 |   34425   249939   984800 |   187680   177808     37 |  3.679 % |
107.05/107.28	c |    289382 |   34425   249939   984800 |   187680   178089     37 |  3.679 % |
107.25/107.46	c |    289694 |   34425   249939   984800 |   187680   178401     37 |  3.679 % |
107.45/107.69	c |    290034 |   34425   249939   984800 | 2147483647   178741     37 |  3.679 % |
107.66/107.88	c |    290410 |   34425   249939   984800 | 2147483647   179117     37 |  3.679 % |
107.85/108.03	c |    290827 |   34425   249939   984800 | 2147483647   179534     37 |  3.679 % |
108.05/108.21	c |    291276 |   34425   249939   984800 | 2147483647   179983     37 |  3.679 % |
108.35/108.54	c |    291769 |   34425   249939   984800 | 2147483647   180476     37 |  3.679 % |
108.76/108.94	c |    292313 |   34423   249939   984800 | 2147483647   181019     37 |  3.685 % |
108.95/109.11	c |    292911 |   34423   249939   984800 | 2147483647   181617     37 |  3.685 % |
109.15/109.36	c |    293569 |   34423   249939   984800 | 2147483647   182275     37 |  3.685 % |
109.45/109.62	c |    294290 |   34423   249939   984800 | 2147483647   182996     37 |  3.685 % |
109.65/109.87	c |    295088 |   34423   249939   984800 | 2147483647   183794     37 |  3.685 % |
109.95/110.14	c |    295959 |   34423   249939   984800 | 2147483647   184665     37 |  3.685 % |
110.25/110.45	c |    296920 |   34423   249939   984800 | 2147483647   185626     37 |  3.685 % |
110.55/110.78	c |    297974 |   34423   249939   984800 | 2147483647   186680     37 |  3.685 % |
110.95/111.16	c |    299135 |   34423   249939   984800 | 2147483647   187841     37 |  3.685 % |
111.65/111.81	c |    300408 |   34423   249939   984800 |   188706   189114     37 |  3.685 % |
111.95/112.18	c |    301808 |   34423   249939   984800 |   188706   190514     37 |  3.685 % |
112.95/113.11	c |    303350 |   34423   249939   984800 |   188706   173005     38 |  3.685 % |
113.15/113.36	c |    305047 |   34423   249939   984800 |   188706   174702     38 |  3.685 % |
113.85/114.08	c |    306912 |   34423   249939   984800 |   188706   176567     38 |  3.685 % |
114.54/114.70	c |    308961 |   34423   249939   984800 |   188706   178616     38 |  3.685 % |
115.04/115.26	c |    311214 |   34423   249939   984800 |   179655   180869     38 |  3.685 % |
116.54/116.72	c |    313697 |   34423   249939   984800 |   179655   183352     38 |  3.685 % |
117.74/118.00	c |    316424 |   34423   249785   984276 |   179655   167742     38 |  3.685 % |
118.84/119.02	c |    319421 |   34423   249785   984276 |   179655   170739     38 |  3.685 % |
118.84/119.09	c |    319522 |   34423   249785   984276 |   179655   170840     38 |  3.685 % |
118.94/119.18	c |    319634 |   34423   249785   984276 |   179655   170952     38 |  3.685 % |
119.04/119.29	c |    319755 |   34422   249785   984276 |   179655   171072     38 |  3.688 % |
119.14/119.37	c |    319888 |   34422   249785   984276 |   179655   171205     38 |  3.688 % |
119.24/119.47	c |    320035 |   34422   249785   984276 |   171317   171352     38 |  3.688 % |
119.34/119.56	c |    320197 |   34422   249785   984276 |   171317   171514     38 |  3.688 % |
119.54/119.71	c |    320373 |   34422   249785   984276 |   171317   171690     38 |  3.688 % |
119.65/119.83	c |    320566 |   34422   249785   984276 |   171317   171883     38 |  3.688 % |
119.84/120.00	c |    320782 |   34422   249785   984276 |   171317   172099     38 |  3.688 % |
119.94/120.15	c |    321015 |   34422   249785   984276 |   171317   172332     38 |  3.688 % |
120.14/120.32	c |    321271 |   34422   249785   984276 |   171317   172588     38 |  3.688 % |
120.34/120.51	c |    321552 |   34422   249785   984276 |   171317   172869     38 |  3.688 % |
120.84/121.08	c |    321862 |   34422   249785   984276 |   171317   155893     37 |  3.688 % |
121.04/121.23	c |    322203 |   34422   249785   984276 |   171317   156234     37 |  3.688 % |
121.24/121.44	c |    322578 |   34422   249785   984276 |   171317   156609     37 |  3.688 % |
121.44/121.64	c |    322989 |   34422   249785   984276 |   171317   157020     37 |  3.688 % |
121.64/121.84	c |    323438 |   34422   249785   984276 |   171317   157469     37 |  3.688 % |
122.04/122.21	c |    323931 |   34422   249785   984276 |   171317   157962     37 |  3.688 % |
122.24/122.45	c |    324473 |   34422   249785   984276 |   171317   158504     37 |  3.688 % |
122.74/122.97	c |    325069 |   34422   249785   984276 |   171317   159100     37 |  3.688 % |
123.04/123.22	c |    325726 |   34422   249785   984276 |   171317   159757     37 |  3.688 % |
123.34/123.58	c |    326446 |   34422   249785   984276 |   171317   160477     37 |  3.688 % |
123.94/124.13	c |    327239 |   34422   249785   984276 |   171317   161270     37 |  3.688 % |
124.04/124.29	c |    328114 |   34422   249785   984276 |   171317   162145     37 |  3.688 % |
124.54/124.78	c |    329073 |   34422   249785   984276 |   171317   163104     37 |  3.688 % |
124.94/125.11	c |    330126 |   34422   249785   984276 | 2147483647   164157     37 |  3.688 % |
125.44/125.61	c |    331284 |   34422   249785   984276 | 2147483647   165315     37 |  3.688 % |
125.94/126.17	c |    332562 |   34422   249785   984276 | 2147483647   166593     37 |  3.688 % |
126.54/126.72	c |    333963 |   34422   249785   984276 | 2147483647   167994     37 |  3.688 % |
127.24/127.48	c |    335503 |   34404   249785   984276 | 2147483647   169532     37 |  3.744 % |
128.24/128.48	c |    337198 |   34404   249785   984276 | 2147483647   171227     37 |  3.744 % |
128.94/129.10	c |    339061 |   34402   249785   984276 | 2147483647   173090     37 |  3.744 % |
130.13/130.39	c |    341111 |   34401   249785   984276 | 2147483647   175139     37 |  3.747 % |
131.33/131.54	c |    343364 |   34401   249785   984276 | 2147483647   177392     37 |  3.747 % |
131.84/132.06	c |    345844 |   34401   249785   984276 | 2147483647   179872     37 |  3.747 % |
133.13/133.34	c |    348573 |   34401   249785   984276 | 2147483647   182601     38 |  3.747 % |
134.14/134.32	c |    351570 |   34401   249785   984276 | 2147483647   185598     38 |  3.747 % |
136.03/136.23	c |    354867 |   34401   249785   984276 | 2147483647   188895     38 |  3.747 % |
136.14/136.38	c |    354968 |   34401   249434   983051 | 2147483647   188973     38 |  3.747 % |
136.24/136.49	c |    355080 |   34401   249434   983051 | 2147483647   189085     38 |  3.747 % |
136.33/136.59	c |    355202 |   34401   249434   983051 | 2147483647   189207     38 |  3.747 % |
136.53/136.73	c |    355337 |   34401   249434   983051 | 2147483647   189342     38 |  3.747 % |
136.63/136.86	c |    355483 |   34401   249434   983051 | 2147483647   189488     38 |  3.747 % |
136.73/136.96	c |    355644 |   34401   249434   983051 | 2147483647   189649     38 |  3.747 % |
136.93/137.17	c |    355820 |   34401   249434   983051 | 2147483647   189825     38 |  3.747 % |
137.23/137.44	c |    356015 |   34401   249434   983051 | 2147483647   190020     38 |  3.747 % |
137.43/137.60	c |    356227 |   34401   249434   983051 | 2147483647   190232     38 |  3.747 % |
137.53/137.75	c |    356460 |   34401   249434   983051 | 2147483647   190465     38 |  3.747 % |
137.73/137.92	c |    356717 |   34401   249434   983051 | 2147483647   190722     38 |  3.747 % |
137.93/138.15	c |    356998 |   34401   249434   983051 | 2147483647   191003     38 |  3.747 % |
138.13/138.39	c |    357308 |   34401   249434   983051 | 2147483647   191313     38 |  3.747 % |
138.33/138.57	c |    357649 |   34401   249434   983051 | 2147483647   191654     38 |  3.747 % |
138.73/138.91	c |    358021 |   34401   249434   983051 | 2147483647   192026     38 |  3.747 % |
138.93/139.17	c |    358431 |   34401   249434   983051 | 2147483647   192436     38 |  3.747 % |
139.33/139.55	c |    358881 |   34401   249434   983051 | 2147483647   192886     38 |  3.747 % |
139.53/139.79	c |    359374 |   34397   249434   983051 | 2147483647   193378     38 |  3.758 % |
139.83/140.01	c |    359919 |   34397   249434   983051 | 2147483647   193923     38 |  3.758 % |
140.33/140.56	c |    360516 |   34397   249434   983051 | 2147483647   194520     38 |  3.758 % |
140.73/140.94	c |    361172 |   34397   249434   983051 | 2147483647   195176     38 |  3.758 % |
141.14/141.32	c |    361893 |   34397   249434   983051 | 2147483647   195897     38 |  3.758 % |
141.53/141.76	c |    362685 |   34397   249434   983051 | 2147483647   196689     38 |  3.758 % |
142.13/142.31	c |    363556 |   34397   249434   983051 | 2147483647   197560     37 |  3.758 % |
142.73/142.92	c |    364514 |   34397   249434   983051 | 2147483647   198518     38 |  3.758 % |
143.43/143.68	c |    365567 |   34397   249434   983051 | 2147483647   199571     37 |  3.758 % |
144.43/144.60	c |    366725 |   34397   249434   983051 | 2147483647   200729     38 |  3.758 % |
144.93/145.18	c |    367999 |   34397   249434   983051 | 2147483647   202003     37 |  3.758 % |
145.73/145.95	c |    369400 |   34397   249434   983051 | 2147483647   203404     37 |  3.758 % |
146.83/147.09	c |    370940 |   34397   249434   983051 | 2147483647   204944     37 |  3.758 % |
147.83/148.07	c |    372635 |   34397   249434   983051 | 2147483647   206639     37 |  3.758 % |
148.73/148.93	c |    374499 |   34397   249434   983051 | 2147483647   208503     37 |  3.758 % |
150.82/151.00	c |    376548 |   34396   249434   983051 | 2147483647   210551     37 |  3.772 % |
152.42/152.69	c |    378801 |   34393   249434   983051 | 2147483647   212804     37 |  3.772 % |
154.02/154.28	c |    381280 |   34392   249434   983051 | 2147483647   215283     37 |  3.772 % |
156.62/156.90	c |    384005 |   34392   249382   982801 | 2147483647   204181     37 |  3.772 % |
159.02/159.28	c |    387002 |   34392   249382   982801 | 2147483647   207178     37 |  3.772 % |
161.92/162.12	c |    390298 |   34392   249382   982801 | 2147483647   210474     37 |  3.772 % |
166.72/166.96	c |    393924 |   34390   249382   982801 | 2147483647   214099     36 |  3.777 % |
166.82/167.07	c |    394025 |   34390   249382   982801 | 2147483647   214200     36 |  3.777 % |
166.92/167.19	c |    394135 |   34390   249382   982801 | 2147483647   214310     36 |  3.777 % |
167.12/167.30	c |    394257 |   34390   249382   982801 | 2147483647   214432     36 |  3.777 % |
167.22/167.44	c |    394391 |   34390   249382   982801 | 2147483647   214566     36 |  3.777 % |
167.32/167.55	c |    394537 |   34390   249382   982801 | 2147483647   214712     36 |  3.777 % |
167.62/167.87	c |    394697 |   34390   249382   982801 | 2147483647   214872     36 |  3.777 % |
167.82/168.04	c |    394874 |   34390   249382   982801 | 2147483647   215049     36 |  3.777 % |
168.02/168.29	c |    395068 |   34389   249382   982801 | 2147483647   215242     36 |  3.780 % |
168.32/168.53	c |    395280 |   34389   249382   982801 | 2147483647   215454     36 |  3.780 % |
168.52/168.75	c |    395514 |   34389   249382   982801 | 2147483647   215688     36 |  3.780 % |
168.72/168.96	c |    395773 |   34389   249382   982801 | 2147483647   215947     36 |  3.780 % |
168.92/169.18	c |    396055 |   34389   249382   982801 | 2147483647   216229     36 |  3.780 % |
169.22/169.44	c |    396365 |   34389   249382   982801 | 2147483647   216539     36 |  3.780 % |
169.42/169.67	c |    396705 |   34389   249382   982801 | 2147483647   216879     36 |  3.780 % |
169.72/169.92	c |    397078 |   34389   249382   982801 | 2147483647   217252     36 |  3.780 % |
170.02/170.25	c |    397489 |   34389   249382   982801 | 2147483647   217663     36 |  3.780 % |
170.32/170.57	c |    397938 |   34389   249382   982801 | 2147483647   218112     36 |  3.780 % |
170.61/170.89	c |    398431 |   34389   249382   982801 | 2147483647   218605     36 |  3.780 % |
171.11/171.31	c |    398973 |   34374   249382   982801 | 2147483647   219145     36 |  3.872 % |
171.21/171.45	c ===============================================================================
171.21/171.45	c restarts              : 801
171.21/171.45	c conflicts             : 399141         (2402 /sec)
171.21/171.45	c decisions             : 2028954        (1.63 % random) (12208 /sec)
171.21/171.45	c propagations          : 96313242       (579506 /sec)
171.21/171.45	c conflict literals     : 14480629       (22.70 % deleted)
171.21/171.45	c Memory used           : 62.64 MB
171.21/171.45	c CPU time              : 166.199 s
171.21/171.45	c 
171.21/171.45	s UNSATISFIABLE
171.21/171.46	s UNSATISFIABLE

Verifier Data

No possible verification on an UNSAT instance

Watcher Data

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

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

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


[startup+0 s]
/proc/loadavg: 0.99 0.98 0.91 3/64 13681
/proc/meminfo: memFree=1845432/2055924 swapFree=4140884/4192956
[pid=13681] ppid=13679 vsize=5356 CPUtime=0
/proc/13681/stat : 13681 (SatELiteGTI) R 13679 13681 13433 0 -1 4194304 291 249 0 0 0 0 0 0 18 0 1 0 305325245 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 268582447603 0 0 4100 65536 0 0 0 17 0 0 0
/proc/13681/statm: 1339 237 197 169 0 50 0

[startup+0.0985781 s]
/proc/loadavg: 0.99 0.98 0.91 3/64 13681
/proc/meminfo: memFree=1845432/2055924 swapFree=4140884/4192956
[pid=13681] ppid=13679 vsize=5356 CPUtime=0
/proc/13681/stat : 13681 (SatELiteGTI) S 13679 13681 13433 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305325245 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13681/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101577 s]
/proc/loadavg: 0.99 0.98 0.91 3/64 13681
/proc/meminfo: memFree=1845432/2055924 swapFree=4140884/4192956
[pid=13681] ppid=13679 vsize=5356 CPUtime=0
/proc/13681/stat : 13681 (SatELiteGTI) S 13679 13681 13433 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305325245 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13681/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301618 s]
/proc/loadavg: 0.99 0.98 0.91 3/64 13681
/proc/meminfo: memFree=1845432/2055924 swapFree=4140884/4192956
[pid=13681] ppid=13679 vsize=5356 CPUtime=0
/proc/13681/stat : 13681 (SatELiteGTI) S 13679 13681 13433 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305325245 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13681/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701696 s]
/proc/loadavg: 0.99 0.98 0.91 3/64 13681
/proc/meminfo: memFree=1845432/2055924 swapFree=4140884/4192956
[pid=13681] ppid=13679 vsize=5356 CPUtime=0
/proc/13681/stat : 13681 (SatELiteGTI) S 13679 13681 13433 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305325245 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13681/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50185 s]
/proc/loadavg: 0.99 0.98 0.91 2/66 13686
/proc/meminfo: memFree=1754024/2055924 swapFree=4140884/4192956
[pid=13681] ppid=13679 vsize=5356 CPUtime=0
/proc/13681/stat : 13681 (SatELiteGTI) S 13679 13681 13433 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305325245 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13681/statm: 1339 237 197 169 0 50 0
[pid=13685] ppid=13681 vsize=99628 CPUtime=1.48
/proc/13685/stat : 13685 (SatELite_releas) R 13681 13681 13433 0 -1 4194304 24477 0 0 0 134 14 0 0 25 0 1 0 305325245 102019072 22666 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 0 0 0
/proc/13685/statm: 24907 22666 76 173 0 24732 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 104984

[startup+3.10117 s]
/proc/loadavg: 0.99 0.98 0.91 2/66 13686
/proc/meminfo: memFree=1742632/2055924 swapFree=4140884/4192956
[pid=13681] ppid=13679 vsize=5356 CPUtime=0
/proc/13681/stat : 13681 (SatELiteGTI) S 13679 13681 13433 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305325245 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13681/statm: 1339 237 197 169 0 50 0
[pid=13685] ppid=13681 vsize=106296 CPUtime=3.08
/proc/13685/stat : 13685 (SatELite_releas) R 13681 13681 13433 0 -1 4194304 25930 0 0 0 288 20 0 0 25 0 1 0 305325245 108847104 24119 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 0 0 0
/proc/13685/statm: 26574 24119 76 173 0 26399 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 111652

[startup+6.3018 s]
/proc/loadavg: 1.07 1.00 0.92 2/66 13687
/proc/meminfo: memFree=1801960/2055924 swapFree=4140884/4192956
[pid=13681] ppid=13679 vsize=5356 CPUtime=4.9
/proc/13681/stat : 13681 (SatELiteGTI) S 13679 13681 13433 0 -1 4194304 336 29963 0 0 0 0 461 29 16 0 1 0 305325245 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13681/statm: 1339 239 197 169 0 50 0
[pid=13687] ppid=13681 vsize=19108 CPUtime=1.36
/proc/13687/stat : 13687 (minisat_static) R 13681 13681 13433 0 -1 4194304 4541 0 0 0 133 3 0 0 25 0 1 0 305325737 19566592 4527 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/13687/statm: 4777 4527 77 171 0 4604 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 24464

[startup+12.701 s]
/proc/loadavg: 1.07 1.00 0.92 2/66 13687
/proc/meminfo: memFree=1799016/2055924 swapFree=4140884/4192956
[pid=13681] ppid=13679 vsize=5356 CPUtime=4.9
/proc/13681/stat : 13681 (SatELiteGTI) S 13679 13681 13433 0 -1 4194304 336 29963 0 0 0 0 461 29 16 0 1 0 305325245 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13681/statm: 1339 239 197 169 0 50 0
[pid=13687] ppid=13681 vsize=21276 CPUtime=7.73
/proc/13687/stat : 13687 (minisat_static) R 13681 13681 13433 0 -1 4194304 5094 0 0 0 769 4 0 0 25 0 1 0 305325737 21786624 5080 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13687/statm: 5319 5080 77 171 0 5146 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 26632

[startup+25.5016 s]
/proc/loadavg: 1.05 1.00 0.92 2/66 13687
/proc/meminfo: memFree=1793128/2055924 swapFree=4140884/4192956
[pid=13681] ppid=13679 vsize=5356 CPUtime=4.9
/proc/13681/stat : 13681 (SatELiteGTI) S 13679 13681 13433 0 -1 4194304 336 29963 0 0 0 0 461 29 16 0 1 0 305325245 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13681/statm: 1339 239 197 169 0 50 0
[pid=13687] ppid=13681 vsize=27448 CPUtime=20.53
/proc/13687/stat : 13687 (minisat_static) R 13681 13681 13433 0 -1 4194304 6600 0 0 0 2046 7 0 0 25 0 1 0 305325737 28106752 6586 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13687/statm: 6862 6586 77 171 0 6689 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 32804

[startup+51.1016 s]
/proc/loadavg: 1.03 1.00 0.92 2/66 13689
/proc/meminfo: memFree=1776872/2055924 swapFree=4140884/4192956
[pid=13681] ppid=13679 vsize=5356 CPUtime=4.9
/proc/13681/stat : 13681 (SatELiteGTI) S 13679 13681 13433 0 -1 4194304 336 29963 0 0 0 0 461 29 16 0 1 0 305325245 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13681/statm: 1339 239 197 169 0 50 0
[pid=13687] ppid=13681 vsize=43544 CPUtime=46.1
/proc/13687/stat : 13687 (minisat_static) R 13681 13681 13433 0 -1 4194304 10603 0 0 0 4599 11 0 0 25 0 1 0 305325737 44589056 10589 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13687/statm: 10886 10589 77 171 0 10713 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 48900

[startup+102.306 s]
/proc/loadavg: 1.01 1.00 0.92 2/66 13689
/proc/meminfo: memFree=1758632/2055924 swapFree=4140884/4192956
[pid=13681] ppid=13679 vsize=5356 CPUtime=4.9
/proc/13681/stat : 13681 (SatELiteGTI) S 13679 13681 13433 0 -1 4194304 336 29963 0 0 0 0 461 29 16 0 1 0 305325245 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13681/statm: 1339 239 197 169 0 50 0
[pid=13687] ppid=13681 vsize=61728 CPUtime=97.26
/proc/13687/stat : 13687 (minisat_static) R 13681 13681 13433 0 -1 4194304 15072 0 0 0 9710 16 0 0 25 0 1 0 305325737 63209472 15058 1992294400 134512640 135215339 4294956240 18446744073709551615 134525025 0 0 4096 3 0 0 0 17 0 0 0
/proc/13687/statm: 15432 15058 77 171 0 15259 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 67084

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 13689
/proc/meminfo: memFree=1756776/2055924 swapFree=4140884/4192956
[pid=13681] ppid=13679 vsize=5356 CPUtime=4.9
/proc/13681/stat : 13681 (SatELiteGTI) S 13679 13681 13433 0 -1 4194304 336 29963 0 0 0 0 461 29 16 0 1 0 305325245 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13681/statm: 1339 239 197 169 0 50 0
[pid=13687] ppid=13681 vsize=63712 CPUtime=157.22
/proc/13687/stat : 13687 (minisat_static) R 13681 13681 13433 0 -1 4194304 15537 0 0 0 15705 17 0 0 25 0 1 0 305325737 65241088 15523 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13687/statm: 15928 15523 77 171 0 15755 0
Current children cumulated CPU time (s) 162.12
Current children cumulated vsize (KiB) 69068

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

[startup+166.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 13689
/proc/meminfo: memFree=1756712/2055924 swapFree=4140884/4192956
[pid=13681] ppid=13679 vsize=5356 CPUtime=4.9
/proc/13681/stat : 13681 (SatELiteGTI) S 13679 13681 13433 0 -1 4194304 336 29963 0 0 0 0 461 29 16 0 1 0 305325245 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13681/statm: 1339 239 197 169 0 50 0
[pid=13687] ppid=13681 vsize=63852 CPUtime=161.22
/proc/13687/stat : 13687 (minisat_static) R 13681 13681 13433 0 -1 4194304 15566 0 0 0 16105 17 0 0 25 0 1 0 305325737 65384448 15552 1992294400 134512640 135215339 4294956240 18446744073709551615 134525025 0 0 4096 3 0 0 0 17 0 0 0
/proc/13687/statm: 15963 15552 77 171 0 15790 0
Current children cumulated CPU time (s) 166.12
Current children cumulated vsize (KiB) 69208

[startup+169.503 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 13689
/proc/meminfo: memFree=1756584/2055924 swapFree=4140884/4192956
[pid=13681] ppid=13679 vsize=5356 CPUtime=4.9
/proc/13681/stat : 13681 (SatELiteGTI) S 13679 13681 13433 0 -1 4194304 336 29963 0 0 0 0 461 29 16 0 1 0 305325245 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13681/statm: 1339 239 197 169 0 50 0
[pid=13687] ppid=13681 vsize=63996 CPUtime=164.42
/proc/13687/stat : 13687 (minisat_static) R 13681 13681 13433 0 -1 4194304 15595 0 0 0 16425 17 0 0 25 0 1 0 305325737 65531904 15581 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13687/statm: 15999 15581 77 171 0 15826 0
Current children cumulated CPU time (s) 169.32
Current children cumulated vsize (KiB) 69352

[startup+170.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 13689
/proc/meminfo: memFree=1756584/2055924 swapFree=4140884/4192956
[pid=13681] ppid=13679 vsize=5356 CPUtime=4.9
/proc/13681/stat : 13681 (SatELiteGTI) S 13679 13681 13433 0 -1 4194304 336 29963 0 0 0 0 461 29 16 0 1 0 305325245 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13681/statm: 1339 239 197 169 0 50 0
[pid=13687] ppid=13681 vsize=64136 CPUtime=165.22
/proc/13687/stat : 13687 (minisat_static) R 13681 13681 13433 0 -1 4194304 15610 0 0 0 16505 17 0 0 25 0 1 0 305325737 65675264 15596 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13687/statm: 16034 15596 77 171 0 15861 0
Current children cumulated CPU time (s) 170.12
Current children cumulated vsize (KiB) 69492

[startup+171.101 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 13689
/proc/meminfo: memFree=1756520/2055924 swapFree=4140884/4192956
[pid=13681] ppid=13679 vsize=5356 CPUtime=4.9
/proc/13681/stat : 13681 (SatELiteGTI) S 13679 13681 13433 0 -1 4194304 336 29963 0 0 0 0 461 29 16 0 1 0 305325245 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13681/statm: 1339 239 197 169 0 50 0
[pid=13687] ppid=13681 vsize=64136 CPUtime=166.01
/proc/13687/stat : 13687 (minisat_static) R 13681 13681 13433 0 -1 4194304 15613 0 0 0 16584 17 0 0 25 0 1 0 305325737 65675264 15599 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13687/statm: 16034 15599 77 171 0 15861 0
Current children cumulated CPU time (s) 170.91
Current children cumulated vsize (KiB) 69492

[startup+171.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 13689
/proc/meminfo: memFree=1756520/2055924 swapFree=4140884/4192956
[pid=13681] ppid=13679 vsize=5356 CPUtime=4.9
/proc/13681/stat : 13681 (SatELiteGTI) S 13679 13681 13433 0 -1 4194304 336 29963 0 0 0 0 461 29 16 0 1 0 305325245 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13681/statm: 1339 239 197 169 0 50 0
[pid=13687] ppid=13681 vsize=64136 CPUtime=166.21
/proc/13687/stat : 13687 (minisat_static) R 13681 13681 13433 0 -1 4194304 15613 0 0 0 16604 17 0 0 25 0 1 0 305325737 65675264 15599 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13687/statm: 16034 15599 77 171 0 15861 0
Current children cumulated CPU time (s) 171.11
Current children cumulated vsize (KiB) 69492

[startup+171.401 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 13689
/proc/meminfo: memFree=1756520/2055924 swapFree=4140884/4192956
[pid=13681] ppid=13679 vsize=5356 CPUtime=4.9
/proc/13681/stat : 13681 (SatELiteGTI) S 13679 13681 13433 0 -1 4194304 336 29963 0 0 0 0 461 29 16 0 1 0 305325245 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13681/statm: 1339 239 197 169 0 50 0
[pid=13687] ppid=13681 vsize=64136 CPUtime=166.31
/proc/13687/stat : 13687 (minisat_static) R 13681 13681 13433 0 -1 4194304 15613 0 0 0 16614 17 0 0 25 0 1 0 305325737 65675264 15599 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/13687/statm: 16034 15599 77 171 0 15861 0
Current children cumulated CPU time (s) 171.21
Current children cumulated vsize (KiB) 69492

Child status: 20
Real time (s): 171.482
CPU time (s): 171.31
CPU user time (s): 170.817
CPU system time (s): 0.492925
CPU usage (%): 99.8997
Max. virtual memory (cumulated for all children) (KiB): 114508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 170.817
system time used= 0.492925
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46072
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= 44
involuntary context switches= 1880

runsolver used 0.199969 second user time and 0.489925 second system time

The end

Launcher Data

Begin job on node6 at 2009-05-20 00:41:49
IDJOB=1832415
IDBENCH=69595
IDSOLVER=671
FILE ID=node6/1832415-1242772908
PBS_JOBID= 9322292
Free space on /tmp= 66300 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= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832415-1242772908/watcher-1832415-1242772908 -o /tmp/evaluation-result-1832415-1242772908/solver-1832415-1242772908 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832415-1242772908.cnf

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

MD5SUM BENCH= d46e452956bc993f202d3b06fd3e858e
RANDOM SEED=132268570

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

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

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


/proc/meminfo:
MemTotal:      2055924 kB
MemFree:       1845976 kB
Buffers:         10768 kB
Cached:         117192 kB
SwapCached:      46188 kB
Active:         118156 kB
Inactive:        57688 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1845976 kB
SwapTotal:     4192956 kB
SwapFree:      4140884 kB
Dirty:           13148 kB
Writeback:           0 kB
Mapped:          13964 kB
Slab:            20236 kB
Committed_AS:  1137572 kB
PageTables:       1456 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66296 MiB
End job on node6 at 2009-05-20 00:44:40