Trace number 1820789

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 r-2009-03-18UNSAT 394.65 394.621

General information on the benchmark

Namemanol-pipe-g10nid.cnf
MD5SUMd46e452956bc993f202d3b06fd3e858e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark166.09
Satisfiable
(Un)Satisfiability was proved
Number of variables217725
Number of clauses646228
Sum of the clauses size1507864
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2430818
Number of clauses of size 3215409
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Parsing...
0.62/0.63	c ==============================================================================
0.62/0.63	c |           |     ORIGINAL     |              LEARNT              |          |
0.62/0.63	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.62/0.63	c ==============================================================================
0.62/0.63	c |         0 |  646227  1507863 |  193868       0        0     nan |  0.000 % |
4.12/4.17	c |         0 |  276775  1085434 |      --       0       --      -- |     --   | -369450/-422424
4.12/4.17	c ==============================================================================
4.12/4.17	c Result  :   #vars: 35740   #clauses: 276775   #literals: 1085434
4.12/4.17	c CPU time:   3.94 s
4.12/4.17	c ==============================================================================
4.52/4.55	c This is MiniSat 2.0 beta
4.52/4.55	c WARNING: for repeatability, setting FPU to use double precision
4.52/4.55	c ============================[ Problem Statistics ]=============================
4.52/4.55	c |                                                                             |
4.52/4.55	c |  Number of variables:  35740                                                |
4.52/4.55	c |  Number of clauses:    276775                                               |
4.56/4.78	c |  Parsing time:         0.18         s                                       |
4.56/4.80	c ============================[ Search Statistics ]==============================
4.56/4.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.56/4.80	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
4.56/4.80	c ===============================================================================
4.56/4.80	c |         0 |   35740   276775  1085434 |    92258        0    nan |  0.000 % |
4.56/5.06	c |       513 |   35703   276775  1085434 |    92258      509     15 |  0.171 % |
4.56/5.17	c |      1026 |   35701   276775  1085434 |    92258     1021     20 |  0.185 % |
5.42/5.48	c |      1538 |   35600   276775  1085434 |    92258     1530     17 |  0.409 % |
5.62/5.71	c |      2563 |   35595   276775  1085434 |    92258     2552     19 |  0.425 % |
5.92/5.92	c |      3075 |   35553   273193  1072338 |    92258     2994     24 |  0.588 % |
6.12/6.13	c |      3587 |   35535   273193  1072338 |    92258     3498     24 |  0.652 % |
6.32/6.34	c |      4611 |   35522   273193  1072338 |    92258     4513     21 |  0.730 % |
6.82/6.86	c |      6659 |   35502   273193  1072338 |    92258     6560     26 |  0.811 % |
7.02/7.03	c |      7171 |   35441   270730  1062771 |    92258     6997     26 |  0.873 % |
7.22/7.22	c |      7683 |   35438   270730  1062771 |    92258     7509     26 |  0.873 % |
7.42/7.45	c |      8708 |   35435   270730  1062771 |    92258     8533     25 |  0.884 % |
7.52/7.60	c |      9221 |   35432   270730  1062771 |    92258     9045     25 |  0.893 % |
7.72/7.76	c |      9735 |   35432   270730  1062771 |    92258     9559     25 |  0.893 % |
7.92/7.92	c |     10759 |   35432   270730  1062771 | 2147483647    10583     26 |  0.893 % |
8.22/8.26	c |     12807 |   35421   270306  1061369 | 2147483647    12592     30 |  0.893 % |
8.82/8.90	c |     16903 |   35420   270306  1061369 | 2147483647    16687     35 |  0.895 % |
8.92/8.99	c |     17415 |   35420   270306  1061369 | 2147483647    17199     35 |  0.895 % |
9.02/9.04	c |     17927 |   35420   270229  1061111 | 2147483647    17706     35 |  0.895 % |
9.22/9.24	c |     18951 |   35413   270229  1061111 | 2147483647    18727     35 |  0.968 % |
9.42/9.51	c |     19465 |   35405   270229  1061111 | 2147483647    19241     34 |  0.968 % |
9.62/9.61	c |     19977 |   35404   270229  1061111 | 2147483647    19752     34 |  0.976 % |
9.82/9.84	c |     21001 |   35403   270229  1061111 | 2147483647    20775     34 |  0.979 % |
10.22/10.22	c |     23058 |   35390   270229  1061111 | 2147483647    22831     36 |  1.021 % |
10.32/10.39	c |     23571 |   35381   270229  1061111 | 2147483647    23340     35 |  1.063 % |
10.52/10.53	c |     24089 |   35355   268953  1056197 | 2147483647    23832     36 |  1.077 % |
10.62/10.63	c |     25114 |   35349   268953  1056197 | 2147483647    24856     36 |  1.097 % |
10.72/10.79	c |     25628 |   35349   268953  1056197 | 2147483647    25370     36 |  1.097 % |
10.82/10.87	c |     26141 |   35349   268953  1056197 | 2147483647    25883     35 |  1.097 % |
11.02/11.07	c |     27165 |   35297   268953  1056197 | 2147483647    26905     36 |  1.455 % |
11.22/11.29	c |     29213 |   35297   268953  1056197 | 2147483647    28953     36 |  1.455 % |
11.52/11.59	c |     33310 |   35297   268953  1056197 | 2147483647    33050     36 |  1.455 % |
12.52/12.54	c |     41503 |   35281   268953  1056197 | 2147483647    41241     40 |  1.528 % |
12.62/12.67	c |     42015 |   35194   265242  1041420 | 2147483647    41086     40 |  1.528 % |
12.72/12.73	c |     42528 |   35194   265242  1041420 | 2147483647    41599     40 |  1.528 % |
12.82/12.91	c |     43553 |   35194   265242  1041420 | 2147483647    42624     40 |  1.528 % |
13.02/13.08	c |     44066 |   35194   265242  1041420 | 2147483647    43137     40 |  1.528 % |
13.12/13.17	c |     44579 |   35194   265242  1041420 | 2147483647    43650     40 |  1.528 % |
13.42/13.45	c |     45610 |   35194   265242  1041420 | 2147483647    44681     40 |  1.528 % |
13.72/13.78	c |     47660 |   35194   265242  1041420 | 2147483647    46731     41 |  1.528 % |
13.92/13.94	c |     48173 |   35193   265242  1041420 | 2147483647    47243     41 |  1.531 % |
14.12/14.12	c |     48688 |   35193   265242  1041420 | 2147483647    47758     41 |  1.530 % |
14.52/14.51	c |     49712 |   35186   265242  1041420 | 2147483647    48778     40 |  1.648 % |
14.62/14.62	c |     50225 |   35185   265242  1041420 | 2147483647    49291     40 |  1.648 % |
14.82/14.81	c |     50740 |   35185   265242  1041420 | 2147483647    49806     40 |  1.648 % |
15.02/15.09	c |     51774 |   35185   265242  1041420 | 2147483647    50840     40 |  1.648 % |
15.72/15.76	c |     53822 |   35151   264551  1038678 | 2147483647    52877     40 |  1.648 % |
16.32/16.35	c |     57918 |   35151   264551  1038678 | 2147483647    56973     39 |  1.648 % |
16.42/16.47	c |     58432 |   35150   264551  1038678 | 2147483647    57486     39 |  1.651 % |
16.52/16.60	c |     58944 |   35150   264551  1038678 | 2147483647    57998     38 |  1.651 % |
16.62/16.70	c |     59969 |   35150   264551  1038678 | 2147483647    59023     38 |  1.651 % |
16.72/16.80	c |     60481 |   35150   264551  1038678 | 2147483647    59535     38 |  1.651 % |
16.92/16.99	c |     60998 |   35150   264551  1038678 | 2147483647    60052     38 |  1.651 % |
17.22/17.21	c |     62022 |   35150   264551  1038678 | 2147483647    61076     38 |  1.651 % |
17.52/17.54	c |     64070 |   35149   264551  1038678 | 2147483647    63123     38 |  1.654 % |
17.62/17.69	c |     64583 |   35149   264551  1038678 | 2147483647    63636     37 |  1.654 % |
17.82/17.82	c |     65096 |   35149   264551  1038678 | 2147483647    64149     38 |  1.654 % |
18.02/18.10	c |     66121 |   35149   264551  1038678 | 2147483647    65174     37 |  1.654 % |
18.22/18.21	c |     66634 |   35149   264486  1038482 | 2147483647    65684     37 |  1.654 % |
18.42/18.45	c |     67150 |   35149   264486  1038482 | 2147483647    66200     37 |  1.654 % |
18.62/18.69	c |     68174 |   35149   264486  1038482 | 2147483647    67224     37 |  1.654 % |
18.92/18.98	c |     70222 |   35149   264486  1038482 | 2147483647    69272     36 |  1.654 % |
19.42/19.47	c |     74320 |   35149   264486  1038482 | 2147483647    73370     37 |  1.654 % |
20.92/21.00	c |     82513 |   35134   264486  1038482 | 2147483647    81557     38 |  1.780 % |
24.42/24.47	c |     98898 |   35134   264486  1038482 | 2147483647    97942     37 |  1.780 % |
24.62/24.65	c |     99417 |   35104   263757  1035842 | 2147483647    98456     37 |  1.780 % |
24.82/24.90	c |     99929 |   35104   263757  1035842 | 2147483647    98968     37 |  1.780 % |
25.22/25.22	c |    100954 |   35104   263757  1035842 | 2147483647    99993     37 |  1.780 % |
25.32/25.33	c |    101467 |   35104   263757  1035842 | 2147483647   100506     37 |  1.780 % |
25.42/25.49	c |    101980 |   35104   263757  1035842 | 2147483647   101019     37 |  1.780 % |
26.02/26.03	c |    103005 |   35104   263757  1035842 | 2147483647   102044     37 |  1.780 % |
26.62/26.69	c |    105054 |   35104   263757  1035842 | 2147483647   104093     37 |  1.780 % |
26.82/26.86	c |    105566 |   35101   263757  1035842 | 2147483647   104604     37 |  1.928 % |
27.02/27.01	c |    106081 |   35099   263757  1035842 | 2147483647   105119     37 |  1.928 % |
27.32/27.35	c |    107105 |   35099   263757  1035842 | 2147483647   106143     37 |  1.928 % |
27.52/27.52	c |    107617 |   35099   263757  1035842 | 2147483647   106655     37 |  1.928 % |
27.62/27.70	c |    108129 |   35099   263757  1035842 | 2147483647   107167     37 |  1.928 % |
27.92/28.00	c |    109154 |   35094   263757  1035842 | 2147483647   108188     37 |  2.101 % |
28.52/28.55	c |    111203 |   35093   263757  1035842 |   109035   110236     36 |  2.104 % |
29.72/29.73	c |    115305 |   35093   263757  1035842 |   109035   103315     38 |  2.104 % |
29.82/29.89	c |    115817 |   35093   263757  1035842 |   109035   103827     38 |  2.104 % |
30.02/30.10	c |    116329 |   35083   263757  1035842 |   109035   104338     38 |  2.238 % |
30.52/30.56	c |    117353 |   35081   263757  1035842 |   109035   105362     38 |  2.238 % |
30.62/30.70	c |    117866 |   35081   263757  1035842 |   109035   105875     38 |  2.238 % |
30.82/30.86	c |    118378 |   35081   263757  1035842 |   109035   106387     38 |  2.238 % |
31.02/31.06	c |    119402 |   35081   263757  1035842 |   109035   107411     38 |  2.238 % |
31.72/31.72	c |    121456 |   35081   263757  1035842 | 2147483647   109465     38 |  2.238 % |
31.92/31.96	c |    121970 |   34940   259488  1020058 | 2147483647   109956     38 |  2.238 % |
32.12/32.12	c |    122482 |   34940   259488  1020058 | 2147483647   110468     38 |  2.238 % |
32.32/32.35	c |    123506 |   34938   259488  1020058 | 2147483647   111491     38 |  2.244 % |
32.52/32.53	c |    124021 |   34938   259488  1020058 | 2147483647   112006     38 |  2.244 % |
32.62/32.69	c |    124535 |   34938   259488  1020058 | 2147483647   112520     38 |  2.244 % |
32.92/32.96	c |    125560 |   34938   259488  1020058 | 2147483647   113545     38 |  2.244 % |
33.32/33.35	c |    127608 |   34938   259488  1020058 | 2147483647   115593     38 |  2.244 % |
34.42/34.46	c |    131708 |   34938   259488  1020058 |   117991   119693     39 |  2.244 % |
36.02/36.02	c |    139900 |   34938   259488  1020058 |   117991   108883     39 |  2.244 % |
36.12/36.20	c |    140413 |   34938   259488  1020058 |   108983   109396     39 |  2.244 % |
36.42/36.45	c |    140926 |   34935   259488  1020058 |   108983   109908     39 |  2.252 % |
36.92/37.00	c |    141952 |   34932   259488  1020058 |   108983    91332     38 |  2.261 % |
37.12/37.17	c |    142465 |   34907   259488  1020058 |   108983    91842     37 |  2.375 % |
37.32/37.35	c |    142977 |   34897   259488  1020058 |   108983    92354     38 |  2.375 % |
37.52/37.60	c |    144001 |   34894   259488  1020058 |   108983    93377     38 |  2.387 % |
38.22/38.25	c |    146049 |   34894   259488  1020058 |   108983    95425     38 |  2.387 % |
38.32/38.37	c |    146561 |   34894   259488  1020058 |   108983    95937     38 |  2.387 % |
38.52/38.59	c |    147074 |   34894   259488  1020058 |   108983    96450     38 |  2.387 % |
38.82/38.87	c |    148099 |   34894   259488  1020058 |   108983    97475     38 |  2.387 % |
39.02/39.08	c |    148611 |   34894   259488  1020058 |   108983    97987     38 |  2.387 % |
39.32/39.36	c |    149123 |   34894   259488  1020058 |   108983    98499     38 |  2.387 % |
39.72/39.74	c |    150166 |   34894   259488  1020058 |    99382    99542     38 |  2.387 % |
40.22/40.29	c |    152214 |   34892   259488  1020058 |    99382   101588     38 |  2.404 % |
40.82/40.82	c |    156317 |   34892   259488  1020058 |    99382    88493     38 |  2.403 % |
41.02/41.07	c |    156830 |   34881   258547  1016581 |    99382    88959     38 |  2.403 % |
41.12/41.17	c |    157342 |   34825   258547  1016581 |    99382    89466     38 |  2.647 % |
41.32/41.32	c |    158366 |   34825   258547  1016581 |    99382    90490     38 |  2.647 % |
41.72/41.74	c |    158878 |   34817   258547  1016581 |    99382    91002     38 |  2.647 % |
41.72/41.78	c |    159390 |   34817   258547  1016581 |    99382    91514     38 |  2.647 % |
42.02/42.04	c |    160414 |   34817   258547  1016581 | 2147483647    92538     39 |  2.647 % |
42.32/42.32	c |    162463 |   34801   258547  1016581 | 2147483647    94584     38 |  2.874 % |
42.52/42.54	c |    162975 |   34801   258547  1016581 | 2147483647    95096     38 |  2.874 % |
42.72/42.77	c |    163488 |   34801   258547  1016581 | 2147483647    95609     38 |  2.874 % |
43.02/43.06	c |    164516 |   34801   258547  1016581 | 2147483647    96637     38 |  2.874 % |
43.12/43.19	c |    165032 |   34801   258547  1016581 | 2147483647    97153     38 |  2.874 % |
43.42/43.47	c |    165544 |   34801   258547  1016581 | 2147483647    97665     38 |  2.874 % |
43.62/43.70	c |    166569 |   34801   258547  1016581 | 2147483647    98690     39 |  2.874 % |
44.62/44.69	c |    168617 |   34800   258547  1016581 | 2147483647   100737     38 |  2.885 % |
46.82/46.87	c |    172715 |   34800   258547  1016581 | 2147483647   104835     38 |  2.885 % |
48.82/48.86	c |    180907 |   34694   255100  1003550 | 2147483647   112960     39 |  2.927 % |
52.02/52.09	c |    197291 |   34694   255100  1003550 | 2147483647   129344     40 |  2.927 % |
62.42/62.41	c |    230073 |   34687   255100  1003550 |   162058   162124     45 |  2.946 % |
62.62/62.70	c |    230585 |   34687   255053  1003348 |   162058   162634     45 |  2.946 % |
63.02/63.05	c |    231097 |   34687   255053  1003348 |   162058   163146     45 |  2.946 % |
63.72/63.81	c |    232122 |   34687   255053  1003348 |   162058   112891     46 |  2.946 % |
64.02/64.08	c |    232635 |   34687   255053  1003348 |   162058   113404     46 |  2.946 % |
64.42/64.45	c |    233147 |   34687   255053  1003348 |   162058   113916     46 |  2.946 % |
64.72/64.77	c |    234171 |   34687   255053  1003348 |   162058   114940     46 |  2.946 % |
65.12/65.20	c |    236219 |   34687   255053  1003348 |   162058   116988     46 |  2.946 % |
65.42/65.46	c |    236731 |   34687   255053  1003348 |   162058   117500     46 |  2.946 % |
65.72/65.74	c |    237245 |   34687   255053  1003348 |   162058   118014     46 |  2.946 % |
66.12/66.17	c |    238269 |   34687   255053  1003348 |   162058   119038     46 |  2.946 % |
66.32/66.34	c |    238781 |   34687   255053  1003348 |   162058   119550     46 |  2.946 % |
66.42/66.49	c |    239294 |   34687   255053  1003348 |   162058   120063     46 |  2.946 % |
67.02/67.03	c |    240318 |   34687   255053  1003348 |   120771   121087     46 |  2.946 % |
67.82/67.88	c |    242375 |   34687   255053  1003348 |   120771   123144     46 |  2.946 % |
69.12/69.17	c |    246471 |   34687   255053  1003348 |   120771   101493     49 |  2.946 % |
69.22/69.31	c |    246985 |   34687   255053  1003348 |   120771   102007     49 |  2.946 % |
69.52/69.56	c |    247498 |   34687   255053  1003348 |   120771   102520     49 |  2.946 % |
69.92/70.00	c |    248531 |   34687   255053  1003348 |   120771   103553     49 |  2.946 % |
70.12/70.18	c |    249049 |   34687   255053  1003348 |   120771   104071     49 |  2.946 % |
70.43/70.45	c |    249561 |   34687   255053  1003348 |   120771   104583     49 |  2.946 % |
70.82/70.83	c |    250589 |   34687   255053  1003348 |   105029   105611     49 |  2.946 % |
71.12/71.17	c |    252637 |   34687   255053  1003348 |   105029   107659     49 |  2.946 % |
71.42/71.43	c |    253150 |   34684   255053  1003348 |   105029    88337     52 |  2.955 % |
71.62/71.64	c |    253669 |   34684   255053  1003348 |   105029    88856     52 |  2.955 % |
71.82/71.89	c |    254693 |   34684   255053  1003348 |   105029    89880     51 |  2.955 % |
72.22/72.28	c |    255205 |   34684   255053  1003348 |   105029    90392     51 |  2.955 % |
72.42/72.45	c |    255717 |   34677   255053  1003348 |   105029    90903     51 |  3.058 % |
72.52/72.61	c |    256741 |   34677   255053  1003348 |   105029    91927     51 |  3.058 % |
73.32/73.33	c |    258789 |   34662   255053  1003348 |   105029    93975     51 |  3.058 % |
74.62/74.62	c |    262890 |   34662   255053  1003348 | 2147483647    98076     51 |  3.058 % |
76.52/76.55	c |    271084 |   34662   255053  1003348 |   105186   106270     50 |  3.058 % |
76.92/76.91	c |    271597 |   34646   254085   999632 |   105186    88236     50 |  3.061 % |
77.03/77.07	c |    272110 |   34646   254085   999632 |   105186    88749     50 |  3.061 % |
77.32/77.38	c |    273134 |   34630   254085   999632 |   105186    89769     50 |  3.153 % |
77.42/77.48	c |    273646 |   34627   254085   999632 |   105186    90280     50 |  3.162 % |
77.72/77.75	c |    274160 |   34626   254085   999632 |   105186    90794     50 |  3.162 % |
78.13/78.16	c |    275184 |   34626   254085   999632 |   105186    91818     50 |  3.162 % |
78.82/78.88	c |    277234 |   34613   254085   999632 |   105186    93866     50 |  3.187 % |
78.92/79.00	c |    277746 |   34610   254085   999632 |   105186    94377     50 |  3.215 % |
79.12/79.16	c |    278258 |   34610   254085   999632 |   105186    94889     50 |  3.215 % |
79.52/79.55	c |    279289 |   34609   254085   999632 |   105186    95920     50 |  3.215 % |
79.62/79.66	c |    279801 |   34609   254085   999632 |   105186    96432     50 |  3.215 % |
79.92/79.95	c |    280313 |   34609   254085   999632 |    96632    96944     49 |  3.215 % |
80.22/80.28	c |    281339 |   34609   254085   999632 |    96632    97970     49 |  3.215 % |
81.12/81.11	c |    283390 |   34609   254085   999632 |    96632    90224     48 |  3.215 % |
81.82/81.86	c |    287486 |   34603   254085   999632 |    96632    94316     48 |  3.232 % |
82.02/82.04	c |    287998 |   34603   254085   999632 |    96632    94828     48 |  3.232 % |
82.12/82.18	c |    288510 |   34603   254085   999632 |    96632    95340     48 |  3.232 % |
82.42/82.51	c |    289536 |   34597   254085   999632 |    96632    96365     47 |  3.248 % |
82.62/82.62	c |    290048 |   34597   254085   999632 |    96830    96877     47 |  3.248 % |
82.72/82.79	c |    290560 |   34597   254085   999632 |    96830    97389     47 |  3.248 % |
83.12/83.13	c |    291596 |   34596   254085   999632 |    96830    98424     47 |  3.251 % |
83.82/83.88	c |    293649 |   34593   254085   999632 |    96830    79029     42 |  3.260 % |
84.02/84.05	c |    294161 |   34593   254085   999632 |    96830    79541     42 |  3.260 % |
84.12/84.12	c |    294673 |   34593   254085   999632 |    96830    80053     42 |  3.260 % |
84.42/84.44	c |    295701 |   34593   254085   999632 |    96830    81081     42 |  3.260 % |
84.52/84.59	c |    296213 |   34593   254085   999632 |    96830    81593     42 |  3.260 % |
84.73/84.76	c |    296729 |   34593   254085   999632 |    96830    82109     42 |  3.260 % |
85.02/85.02	c |    297753 |   34589   254085   999632 |    96830    83131     42 |  3.271 % |
85.52/85.51	c |    299801 |   34589   254085   999632 |    96830    85179     42 |  3.271 % |
86.32/86.37	c |    303898 |   34589   254085   999632 |    85379    89276     42 |  3.271 % |
87.72/87.80	c |    312090 |   34589   254085   999632 |    80439    82529     40 |  3.271 % |
91.12/91.16	c |    328474 |   34568   252640   994161 |    89012    97486     44 |  3.285 % |
91.52/91.60	c |    328988 |   34562   252640   994161 |    89012    64195     42 |  3.369 % |
91.72/91.73	c |    329506 |   34562   252640   994161 |    89012    64713     42 |  3.369 % |
91.92/91.99	c |    330536 |   34562   252640   994161 |    65208    65743     42 |  3.369 % |
92.13/92.18	c |    331052 |   34562   252640   994161 |    65208    66259     42 |  3.369 % |
92.33/92.37	c |    331564 |   34562   252640   994161 |    65208    66771     42 |  3.369 % |
92.53/92.61	c |    332593 |   34562   252640   994161 |    65208    55210     41 |  3.369 % |
93.03/93.02	c |    334641 |   34562   252640   994161 |    65208    57258     42 |  3.369 % |
93.13/93.19	c |    335153 |   34561   252640   994161 |    65208    57769     42 |  3.374 % |
93.23/93.26	c |    335665 |   34561   252640   994161 |    65208    58281     42 |  3.374 % |
93.53/93.52	c |    336690 |   34561   252640   994161 |    65208    59306     42 |  3.374 % |
93.63/93.69	c |    337204 |   34561   252640   994161 |    65208    59820     42 |  3.374 % |
93.83/93.83	c |    337716 |   34559   252640   994161 |    65208    60331     42 |  3.380 % |
94.13/94.17	c |    338740 |   34559   252640   994161 |    65208    61355     42 |  3.380 % |
94.43/94.46	c |    340788 |   34559   252640   994161 |    62616    63403     42 |  3.380 % |
95.54/95.57	c |    344893 |   34559   252640   994161 |    62616    54705     43 |  3.380 % |
95.64/95.71	c |    345406 |   34559   252640   994161 |    62616    55217     43 |  3.388 % |
95.84/95.91	c |    345918 |   34557   252640   994161 |    62616    55729     42 |  3.388 % |
96.14/96.19	c |    346943 |   34557   252640   994161 |    62616    56754     43 |  3.388 % |
96.44/96.43	c |    347455 |   34529   251922   991630 |    62616    57225     43 |  3.388 % |
96.44/96.51	c |    347967 |   34529   251922   991630 |    62616    57737     43 |  3.388 % |
96.74/96.75	c |    348991 |   34529   251922   991630 |    62616    58761     43 |  3.388 % |
97.04/97.05	c |    351040 |   34529   251922   991630 |    59770    60810     43 |  3.388 % |
97.14/97.21	c |    351557 |   34528   251922   991630 |    59770    61326     43 |  3.391 % |
97.34/97.40	c |    352069 |   34528   251922   991630 |    59770    51985     45 |  3.391 % |
97.64/97.67	c |    353095 |   34528   251922   991630 |    59770    53011     45 |  3.391 % |
97.74/97.76	c |    353612 |   34528   251922   991630 |    59770    53528     45 |  3.391 % |
97.94/97.95	c |    354127 |   34528   251922   991630 |    59770    54043     45 |  3.391 % |
98.14/98.15	c |    355151 |   34513   251922   991630 |    59770    55065     45 |  3.520 % |
98.64/98.71	c |    357202 |   34502   251922   991630 |    59770    57116     45 |  3.520 % |
99.54/99.53	c |    361298 |   34502   251922   991630 |    59914    61212     44 |  3.520 % |
101.64/101.65	c |    369497 |   34501   251922   991630 |    59914    63011     44 |  3.525 % |
101.84/101.88	c |    370016 |   34499   251922   991630 |    47287    47302     41 |  3.537 % |
101.94/102.00	c |    370530 |   34499   251922   991630 |    47287    47816     41 |  3.537 % |
102.14/102.13	c |    371554 |   34499   251922   991630 |    47287    48840     41 |  3.537 % |
102.24/102.29	c |    372066 |   34499   251922   991630 |    47287    38234     41 |  3.537 % |
102.34/102.35	c |    372580 |   34499   251922   991630 |    47287    38748     40 |  3.537 % |
102.64/102.66	c |    373605 |   34499   251922   991630 |    47287    39773     41 |  3.537 % |
103.04/103.02	c |    375654 |   34476   250708   986954 |    47287    41809     41 |  3.537 % |
103.14/103.13	c |    376170 |   34476   250708   986954 |    47287    42325     41 |  3.537 % |
103.14/103.20	c |    376683 |   34476   250708   986954 |    47287    42838     41 |  3.537 % |
103.54/103.59	c |    377709 |   34476   250708   986954 |    47287    43864     40 |  3.537 % |
103.64/103.72	c |    378221 |   34476   250708   986954 |    47287    44376     40 |  3.537 % |
103.74/103.80	c |    378733 |   34476   250708   986954 |    47287    44888     40 |  3.537 % |
103.94/104.00	c |    379757 |   34476   250708   986954 |    47287    45912     40 |  3.537 % |
104.34/104.35	c |    381807 |   34476   250708   986954 | 2147483647    47962     40 |  3.537 % |
104.74/104.81	c |    385903 |   34476   250708   986954 | 2147483647    52058     39 |  3.537 % |
104.94/104.98	c |    386415 |   34476   250708   986954 | 2147483647    52570     39 |  3.537 % |
105.14/105.15	c |    386927 |   34476   250708   986954 | 2147483647    53082     39 |  3.537 % |
105.34/105.36	c |    387951 |   34475   250708   986954 | 2147483647    54105     39 |  3.539 % |
105.44/105.50	c |    388468 |   34475   250708   986954 | 2147483647    54622     39 |  3.539 % |
105.54/105.59	c |    388981 |   34475   250708   986954 | 2147483647    55135     39 |  3.539 % |
105.84/105.83	c |    390005 |   34475   250708   986954 |    56154    56159     38 |  3.539 % |
106.14/106.14	c |    392053 |   34472   250708   986954 |    56154    58205     39 |  3.548 % |
106.34/106.40	c |    392573 |   34472   250544   986505 |    56154    52904     39 |  3.548 % |
106.54/106.56	c |    393086 |   34470   250544   986505 |    56154    53415     39 |  3.553 % |
106.74/106.82	c |    394111 |   34467   250544   986505 |    56154    54439     39 |  3.562 % |
106.94/106.92	c |    394623 |   34467   250544   986505 |    56154    54951     39 |  3.562 % |
107.04/107.07	c |    395135 |   34467   250544   986505 |    56154    55463     38 |  3.562 % |
107.44/107.45	c |    396162 |   34467   250544   986505 |    56154    56490     38 |  3.562 % |
107.74/107.77	c |    398211 |   34467   250544   986505 |    56154    58539     39 |  3.562 % |
108.74/108.80	c |    402310 |   34467   250544   986505 | 2147483647    56785     39 |  3.562 % |
110.34/110.33	c |    410502 |   34458   250544   986505 |    64475    64975     39 |  3.587 % |
114.44/114.49	c |    426891 |   34433   250544   986505 |    74482    81363     41 |  3.788 % |
119.84/119.91	c |    459660 |   34386   249363   982036 |    46847    42094     32 |  3.788 % |
131.04/131.06	c |    525199 |   34378   249336   981941 | 2147483647    70953     40 |  3.822 % |
131.14/131.22	c |    525711 |   34377   249336   981941 | 2147483647    71465     40 |  3.822 % |
131.34/131.37	c |    526223 |   34377   249336   981941 | 2147483647    71977     40 |  3.822 % |
131.64/131.65	c |    527247 |   34377   249336   981941 | 2147483647    73001     40 |  3.822 % |
131.84/131.84	c |    527760 |   34375   249336   981941 | 2147483647    73513     39 |  3.830 % |
131.94/131.93	c |    528273 |   34375   249336   981941 | 2147483647    74026     39 |  3.830 % |
132.14/132.16	c |    529297 |   34375   249336   981941 | 2147483647    75050     39 |  3.830 % |
132.44/132.44	c |    531345 |   34375   249336   981941 | 2147483647    77098     39 |  3.830 % |
132.54/132.56	c |    531857 |   34375   249336   981941 | 2147483647    77610     39 |  3.830 % |
132.74/132.77	c |    532369 |   34375   249336   981941 | 2147483647    78122     39 |  3.830 % |
133.14/133.14	c |    533395 |   34375   249336   981941 | 2147483647    79148     39 |  3.830 % |
133.44/133.44	c |    533907 |   34371   249239   981582 | 2147483647    79658     39 |  3.830 % |
133.64/133.67	c |    534421 |   34371   249239   981582 | 2147483647    80172     39 |  3.830 % |
133.94/133.95	c |    535445 |   34365   249239   981582 | 2147483647    81193     39 |  3.864 % |
134.64/134.65	c |    537493 |   34363   249239   981582 | 2147483647    83241     39 |  3.864 % |
135.14/135.21	c |    541591 |   34363   249239   981582 | 2147483647    87339     38 |  3.864 % |
135.34/135.38	c |    542104 |   34363   249239   981582 | 2147483647    87852     38 |  3.864 % |
135.64/135.63	c |    542616 |   34363   249239   981582 | 2147483647    88364     38 |  3.864 % |
135.84/135.90	c |    543640 |   34363   249239   981582 | 2147483647    89388     38 |  3.864 % |
135.94/135.96	c |    544152 |   34363   249239   981582 | 2147483647    89900     38 |  3.864 % |
136.04/136.11	c |    544664 |   34363   249239   981582 | 2147483647    90412     38 |  3.864 % |
136.34/136.36	c |    545689 |   34363   249239   981582 | 2147483647    91437     38 |  3.864 % |
136.74/136.80	c |    547742 |   34363   249239   981582 | 2147483647    93490     38 |  3.864 % |
136.94/136.98	c |    548257 |   34363   249239   981582 | 2147483647    94005     38 |  3.864 % |
137.14/137.12	c |    548775 |   34363   249239   981582 | 2147483647    94523     38 |  3.864 % |
137.44/137.42	c |    549799 |   34363   249239   981582 | 2147483647    95547     38 |  3.864 % |
137.54/137.57	c |    550311 |   34363   249239   981582 | 2147483647    96059     38 |  3.864 % |
137.74/137.73	c |    550824 |   34363   249239   981582 | 2147483647    96572     38 |  3.864 % |
138.04/138.06	c |    551853 |   34363   249239   981582 | 2147483647    97601     38 |  3.864 % |
138.84/138.86	c |    553902 |   34351   248905   980374 | 2147483647    99643     38 |  3.886 % |
139.44/139.48	c |    557999 |   34351   248905   980374 | 2147483647   103740     38 |  3.886 % |
141.84/141.87	c |    566193 |   34351   248905   980374 | 2147483647   111934     39 |  3.886 % |
142.04/142.03	c |    566705 |   34351   248905   980374 | 2147483647   112446     39 |  3.886 % |
142.24/142.27	c |    567217 |   34351   248905   980374 | 2147483647   112958     39 |  3.886 % |
142.74/142.78	c |    568241 |   34351   248905   980374 | 2147483647   113982     39 |  3.886 % |
142.94/142.97	c |    568755 |   34351   248905   980374 | 2147483647   114496     38 |  3.886 % |
143.04/143.07	c |    569268 |   34351   248905   980374 | 2147483647   115009     38 |  3.886 % |
143.44/143.45	c |    570293 |   34351   248905   980374 |   115743   116034     38 |  3.886 % |
144.34/144.38	c |    572341 |   34351   248905   980374 |   115743   118082     38 |  3.886 % |
144.74/144.81	c |    572853 |   34349   248905   980374 |   115743    93813     36 |  3.892 % |
144.84/144.89	c |    573365 |   34349   248905   980374 |   115743    94325     36 |  3.892 % |
145.04/145.02	c |    574390 |   34349   248905   980374 |   115743    95350     36 |  3.892 % |
145.24/145.26	c |    574902 |   34349   248905   980374 |   115743    95862     36 |  3.892 % |
145.44/145.48	c |    575415 |   34349   248905   980374 |   115743    96375     36 |  3.892 % |
145.54/145.61	c |    576441 |   34349   248905   980374 |   115743    97401     36 |  3.892 % |
146.04/146.11	c |    578495 |   34349   248905   980374 |   115743    99455     36 |  3.892 % |
146.94/146.94	c |    582591 |   34349   248905   980374 |   100961   103551     36 |  3.892 % |
147.24/147.27	c |    583103 |   34349   248858   980193 |   100961    87481     35 |  3.892 % |
147.44/147.44	c |    583615 |   34349   248858   980193 |   100961    87993     34 |  3.892 % |
147.64/147.65	c |    584639 |   34349   248858   980193 |   100961    89017     34 |  3.892 % |
147.74/147.78	c |    585154 |   34347   248858   980193 |   100961    89531     35 |  3.940 % |
147.94/147.93	c |    585668 |   34347   248858   980193 |   100961    90045     34 |  3.940 % |
148.14/148.17	c |    586692 |   34347   248858   980193 |   100961    91069     35 |  3.940 % |
148.54/148.55	c |    588740 |   34347   248858   980193 |   100961    93117     35 |  3.940 % |
148.64/148.71	c |    589254 |   34347   248858   980193 |   100961    93631     35 |  3.940 % |
148.84/148.84	c |    589766 |   34347   248858   980193 |   100961    94143     35 |  3.940 % |
149.14/149.15	c |    590793 |   34347   248858   980193 |    94377    95170     35 |  3.940 % |
149.24/149.31	c |    591306 |   34347   248858   980193 |    94377    95683     35 |  3.940 % |
149.54/149.52	c |    591818 |   34347   248858   980193 |    94377    86290     35 |  3.940 % |
149.74/149.74	c |    592845 |   34347   248858   980193 |    94377    87317     35 |  3.940 % |
150.14/150.13	c |    594893 |   34347   248858   980193 |    94377    89365     35 |  3.940 % |
150.84/150.90	c |    598989 |   34345   248858   980193 |    94377    93461     35 |  3.940 % |
152.64/152.68	c |    607181 |   34343   248858   980193 | 2147483647   101652     36 |  3.951 % |
155.54/155.53	c |    623567 |   34343   248858   980193 |   114473   118038     37 |  3.951 % |
155.94/155.95	c |    624079 |   34328   248592   979103 |   114473    85234     37 |  3.951 % |
156.04/156.03	c |    624592 |   34328   248592   979103 |   114473    85747     37 |  3.951 % |
156.34/156.37	c |    625620 |   34328   248592   979103 |   114473    86775     37 |  3.951 % |
156.44/156.47	c |    626132 |   34328   248592   979103 |   114473    87287     37 |  3.951 % |
156.54/156.62	c |    626650 |   34327   248592   979103 |   114473    87804     37 |  3.965 % |
156.84/156.85	c |    627675 |   34327   248592   979103 |   114473    88829     37 |  3.965 % |
157.14/157.19	c |    629727 |   34327   248592   979103 |   114473    90881     37 |  3.965 % |
157.34/157.35	c |    630239 |   34327   248592   979103 |    91154    91393     37 |  3.965 % |
157.54/157.59	c |    630751 |   34326   248592   979103 |    91154    91905     37 |  3.965 % |
158.04/158.09	c |    631776 |   34326   248592   979103 |    91154    92930     37 |  3.965 % |
158.34/158.32	c |    632288 |   34326   248592   979103 |    91154    81605     37 |  3.965 % |
158.44/158.48	c |    632803 |   34326   248592   979103 |    91154    82120     37 |  3.965 % |
158.74/158.80	c |    633830 |   34326   248592   979103 |    91154    83147     37 |  3.965 % |
159.34/159.36	c |    635895 |   34326   248592   979103 |    91154    85212     37 |  3.965 % |
160.74/160.75	c |    639991 |   34324   248592   979103 |    91154    89307     37 |  3.970 % |
160.94/160.95	c |    640504 |   34324   248592   979103 |    89316    89820     37 |  3.970 % |
161.14/161.19	c |    641017 |   34324   248592   979103 |    89316    90333     37 |  3.970 % |
161.54/161.53	c |    642041 |   34324   248592   979103 |    89316    91357     36 |  3.970 % |
161.74/161.77	c |    642554 |   34324   248592   979103 |    89316    82735     36 |  3.970 % |
161.94/161.94	c |    643067 |   34324   248592   979103 |    89316    83248     36 |  3.970 % |
162.14/162.18	c |    644095 |   34324   248592   979103 |    89316    84276     36 |  3.970 % |
162.54/162.60	c |    646150 |   34324   248592   979103 |    89316    86331     36 |  3.970 % |
162.74/162.73	c |    646662 |   34324   248592   979103 |    89316    86843     36 |  3.970 % |
162.84/162.85	c |    647177 |   34324   248592   979103 |    89316    87358     36 |  3.970 % |
163.04/163.03	c |    648202 |   34324   248592   979103 |    89316    88383     36 |  3.970 % |
163.14/163.18	c |    648714 |   34324   248592   979103 |    89316    88895     36 |  3.970 % |
163.44/163.43	c |    649227 |   34324   248592   979103 |    89316    89408     36 |  3.970 % |
163.64/163.67	c |    650253 |   34324   248592   979103 |    90181    90434     36 |  3.970 % |
163.94/164.00	c |    652301 |   34324   248592   979103 |    90181    92482     36 |  3.970 % |
164.94/164.96	c |    656397 |   34324   248592   979103 |    90181    83964     37 |  3.970 % |
166.34/166.41	c |    664591 |   34321   248521   978798 |    87560    92151     37 |  3.970 % |
166.64/166.66	c |    665103 |   34321   248521   978798 |    87560    70821     35 |  3.970 % |
166.74/166.76	c |    665615 |   34321   248521   978798 |    87560    71333     35 |  3.970 % |
166.94/166.94	c |    666639 |   34321   248521   978798 |    87560    72357     36 |  3.970 % |
167.04/167.10	c |    667154 |   34321   248521   978798 |    87560    72872     36 |  3.970 % |
167.14/167.20	c |    667666 |   34321   248521   978798 |    87560    73384     36 |  3.970 % |
167.54/167.56	c |    668690 |   34321   248521   978798 |    87560    74408     35 |  3.970 % |
168.14/168.13	c |    670738 |   34321   248521   978798 |    75721    76456     36 |  3.970 % |
168.24/168.25	c |    671251 |   34321   248521   978798 |    75721    76969     36 |  3.970 % |
168.34/168.37	c |    671763 |   34321   248521   978798 |    75721    77481     36 |  3.970 % |
168.64/168.65	c |    672788 |   34321   248521   978798 |    75721    67015     35 |  3.970 % |
168.74/168.78	c |    673300 |   34321   248521   978798 |    75721    67527     35 |  3.970 % |
168.84/168.90	c |    673813 |   34321   248521   978798 |    75721    68040     35 |  3.970 % |
169.14/169.13	c |    674837 |   34321   248521   978798 |    75721    69064     35 |  3.970 % |
169.54/169.59	c |    676887 |   34321   248521   978798 |    75721    71114     35 |  3.970 % |
170.04/170.06	c |    680983 |   34321   248521   978798 |    74227    75210     35 |  3.970 % |
170.14/170.17	c |    681495 |   34321   248521   978798 |    74227    75722     35 |  3.970 % |
170.34/170.32	c |    682008 |   34321   248521   978798 |    74227    65577     34 |  3.970 % |
170.44/170.51	c |    683032 |   34321   248521   978798 |    74227    66601     35 |  3.970 % |
170.55/170.60	c |    683545 |   34321   248521   978798 |    74227    67114     35 |  3.970 % |
170.74/170.72	c |    684067 |   34321   248521   978798 |    74227    67636     35 |  3.970 % |
170.94/170.92	c |    685092 |   34320   248521   978798 |    74227    68660     35 |  3.973 % |
171.24/171.31	c |    687140 |   34320   248516   978781 |    74227    70708     35 |  3.973 % |
171.44/171.46	c |    687652 |   34320   248516   978781 |    74227    71220     35 |  3.973 % |
171.54/171.57	c |    688169 |   34320   248516   978781 |    74227    71737     35 |  3.973 % |
171.84/171.85	c |    689193 |   34320   248516   978781 |    74227    72761     35 |  3.973 % |
171.94/171.99	c |    689705 |   34320   248516   978781 |    74227    73273     35 |  3.973 % |
172.14/172.20	c |    690219 |   34320   248516   978781 |    73569    73787     35 |  3.973 % |
172.44/172.42	c |    691243 |   34320   248516   978781 |    73569    74811     35 |  3.973 % |
172.94/172.97	c |    693291 |   34320   248516   978781 |    73569    76859     36 |  3.973 % |
173.74/173.80	c |    697387 |   34320   248516   978781 |    73569    71125     37 |  3.973 % |
175.44/175.45	c |    705579 |   34320   248516   978781 |    73738    79317     39 |  3.973 % |
178.14/178.15	c |    721963 |   34320   248516   978781 |    54353    56316     40 |  3.973 % |
183.24/183.24	c |    754731 |   34320   248516   978781 | 2147483647    72527     41 |  3.973 % |
183.24/183.31	c |    755244 |   34320   248516   978781 | 2147483647    73040     41 |  3.973 % |
183.44/183.48	c |    755757 |   34320   248516   978781 | 2147483647    73553     40 |  3.973 % |
183.54/183.61	c |    756781 |   34320   248516   978781 | 2147483647    74577     40 |  3.973 % |
183.75/183.79	c |    757293 |   34320   248516   978781 | 2147483647    75089     40 |  3.973 % |
183.84/183.91	c |    757806 |   34320   248516   978781 | 2147483647    75602     40 |  3.973 % |
184.04/184.07	c |    758831 |   34320   248516   978781 | 2147483647    76627     40 |  3.973 % |
184.44/184.49	c |    760880 |   34320   248516   978781 | 2147483647    78676     40 |  3.973 % |
184.64/184.62	c |    761393 |   34320   248516   978781 | 2147483647    79189     40 |  3.973 % |
184.85/184.91	c |    761905 |   34317   248491   978679 | 2147483647    79697     39 |  3.982 % |
185.24/185.31	c |    762929 |   34317   248491   978679 | 2147483647    80721     39 |  3.982 % |
185.44/185.49	c |    763441 |   34317   248491   978679 | 2147483647    81233     39 |  3.982 % |
185.64/185.65	c |    763955 |   34317   248491   978679 | 2147483647    81747     39 |  3.982 % |
185.95/185.98	c |    764980 |   34317   248491   978679 | 2147483647    82772     39 |  3.982 % |
186.64/186.70	c |    767029 |   34317   248491   978679 | 2147483647    84821     39 |  3.982 % |
187.64/187.66	c |    771125 |   34317   248491   978679 |    87795    88917     40 |  3.982 % |
187.74/187.78	c |    771638 |   34317   248491   978679 |    87795    89430     40 |  3.982 % |
188.04/188.09	c |    772152 |   34317   248491   978679 |    87795    68820     37 |  3.982 % |
188.34/188.40	c |    773176 |   34317   248491   978679 |    87795    69844     37 |  3.982 % |
188.54/188.61	c |    773688 |   34317   248491   978679 |    87795    70356     37 |  3.982 % |
188.74/188.75	c |    774200 |   34317   248491   978679 |    87795    70868     37 |  3.982 % |
188.84/188.87	c |    775225 |   34317   248491   978679 |    87795    71893     37 |  3.982 % |
189.44/189.47	c |    777276 |   34317   248491   978679 |    87795    73944     37 |  3.982 % |
189.64/189.65	c |    777789 |   34317   248491   978679 |    87795    74457     37 |  3.982 % |
189.74/189.77	c |    778301 |   34317   248491   978679 |    87795    74969     37 |  3.982 % |
190.14/190.15	c |    779326 |   34317   248491   978679 |    87795    75994     37 |  3.982 % |
190.24/190.30	c |    779838 |   34317   248491   978679 |    87795    76506     37 |  3.982 % |
190.44/190.44	c |    780353 |   34317   248491   978679 |    76668    77021     37 |  3.982 % |
190.74/190.73	c |    781377 |   34317   248491   978679 |    76668    78045     37 |  3.982 % |
191.24/191.24	c |    783427 |   34317   248491   978679 |    76668    80095     37 |  3.982 % |
192.24/192.28	c |    787526 |   34317   248491   978679 |    76668    75398     37 |  3.982 % |
193.84/193.88	c |    795720 |   34313   248477   978637 |    77868    67542     37 |  3.993 % |
193.94/193.99	c |    796233 |   34313   248477   978637 |    77868    68055     37 |  3.993 % |
194.14/194.19	c |    796746 |   34313   248477   978637 |    77868    68568     37 |  3.993 % |
194.34/194.41	c |    797770 |   34313   248477   978637 |    77868    69592     37 |  3.993 % |
194.44/194.51	c |    798282 |   34313   248477   978637 |    77868    70104     37 |  3.993 % |
194.75/194.78	c |    798797 |   34313   248477   978637 |    77868    70619     37 |  3.993 % |
195.03/195.08	c |    799821 |   34313   248477   978637 |    77868    71643     37 |  3.993 % |
195.43/195.48	c |    801869 |   34313   248477   978637 |    71822    73691     37 |  3.993 % |
195.63/195.68	c |    802382 |   34313   248477   978637 |    71822    59703     36 |  3.993 % |
195.93/195.97	c |    802894 |   34313   248477   978637 |    71822    60215     36 |  3.993 % |
196.33/196.34	c |    803920 |   34313   248477   978637 |    71822    61241     36 |  3.993 % |
196.43/196.46	c |    804432 |   34313   248477   978637 |    71822    61753     36 |  3.993 % |
196.63/196.64	c |    804945 |   34313   248477   978637 |    71822    62266     36 |  3.993 % |
196.83/196.90	c |    805969 |   34313   248477   978637 |    71822    63290     36 |  3.993 % |
197.43/197.41	c |    808017 |   34313   248477   978637 |    71822    65338     36 |  3.993 % |
198.13/198.18	c |    812113 |   34313   248477   978637 | 2147483647    69434     36 |  3.993 % |
198.33/198.34	c |    812627 |   34313   248472   978620 | 2147483647    69948     36 |  3.993 % |
198.53/198.51	c |    813140 |   34313   248472   978620 | 2147483647    70461     36 |  3.993 % |
198.63/198.70	c |    814170 |   34313   248472   978620 | 2147483647    71491     36 |  3.993 % |
198.83/198.87	c |    814682 |   34313   248472   978620 | 2147483647    72003     36 |  3.993 % |
199.03/199.06	c |    815195 |   34313   248472   978620 | 2147483647    72516     36 |  3.993 % |
199.23/199.30	c |    816222 |   34313   248472   978620 | 2147483647    73543     36 |  3.993 % |
199.63/199.70	c |    818271 |   34313   248472   978620 | 2147483647    75592     36 |  3.993 % |
199.83/199.88	c |    818783 |   34313   248472   978620 | 2147483647    76104     36 |  3.993 % |
200.13/200.11	c |    819295 |   34312   248472   978620 | 2147483647    76615     36 |  3.996 % |
200.33/200.35	c |    820323 |   34312   248472   978620 |    77320    77643     36 |  3.996 % |
200.63/200.62	c |    820835 |   34311   248472   978620 |    77320    78154     36 |  3.998 % |
200.73/200.76	c |    821347 |   34309   248472   978620 |    77320    78665     36 |  4.004 % |
201.03/201.08	c |    822371 |   34309   248472   978620 |    77320    79689     36 |  4.004 % |
201.53/201.53	c |    824419 |   34309   248472   978620 |    77320    73769     36 |  4.004 % |
202.33/202.38	c |    828522 |   34309   248472   978620 |    77320    77872     36 |  4.004 % |
204.13/204.15	c |    836720 |   34309   248472   978620 |    79350    66291     35 |  4.004 % |
206.84/206.82	c |    853106 |   34309   248328   978135 | 2147483647    61844     33 |  4.004 % |
207.03/207.02	c |    853618 |   34309   248328   978135 | 2147483647    62356     33 |  4.004 % |
207.13/207.17	c |    854130 |   34309   248328   978135 | 2147483647    62868     33 |  4.004 % |
207.33/207.37	c |    855157 |   34309   248328   978135 | 2147483647    63895     33 |  4.004 % |
207.53/207.52	c |    855670 |   34307   248328   978135 | 2147483647    64407     33 |  4.015 % |
207.63/207.66	c |    856182 |   34307   248328   978135 | 2147483647    64919     33 |  4.015 % |
207.83/207.83	c |    857206 |   34307   248328   978135 | 2147483647    65943     33 |  4.015 % |
208.43/208.42	c |    859254 |   34307   248328   978135 | 2147483647    67991     33 |  4.015 % |
208.53/208.54	c |    859766 |   34307   248328   978135 | 2147483647    68503     33 |  4.015 % |
208.63/208.63	c |    860280 |   34307   248328   978135 |    68740    69017     33 |  4.015 % |
208.83/208.87	c |    861304 |   34307   248328   978135 |    68740    70041     33 |  4.015 % |
209.04/209.08	c |    861819 |   34305   248264   977948 |    68740    70556     33 |  4.015 % |
209.23/209.29	c |    862331 |   34305   248264   977948 |    68740    63647     33 |  4.015 % |
209.43/209.48	c |    863361 |   34305   248264   977948 |    68740    64677     33 |  4.015 % |
209.83/209.85	c |    865409 |   34305   248264   977948 |    68740    66725     34 |  4.015 % |
210.73/210.76	c |    869507 |   34305   248264   977948 |    68740    70823     33 |  4.015 % |
210.93/210.96	c |    870020 |   34305   248264   977948 |    62575    62591     33 |  4.015 % |
211.03/211.08	c |    870534 |   34305   248264   977948 |    62575    63105     33 |  4.015 % |
211.24/211.28	c |    871562 |   34305   248264   977948 |    62575    64133     33 |  4.015 % |
211.43/211.47	c |    872076 |   34305   248264   977948 |    62575    52927     33 |  4.015 % |
211.53/211.58	c |    872591 |   34305   248264   977948 |    62575    53442     33 |  4.015 % |
211.73/211.73	c |    873617 |   34302   248264   977948 |    62575    54467     33 |  4.024 % |
212.13/212.14	c |    875666 |   34302   248264   977948 |    62575    56516     33 |  4.024 % |
212.23/212.30	c |    876179 |   34302   248264   977948 |    62575    57029     33 |  4.024 % |
212.34/212.40	c |    876693 |   34302   248264   977948 |    62575    57543     33 |  4.024 % |
212.53/212.59	c |    877717 |   34302   248264   977948 |    62575    58567     34 |  4.024 % |
212.73/212.72	c |    878234 |   34302   248264   977948 |    62575    59084     34 |  4.024 % |
212.83/212.87	c |    878752 |   34302   248264   977948 |    62575    59602     34 |  4.024 % |
213.03/213.06	c |    879776 |   34302   248264   977948 |    62575    60626     33 |  4.024 % |
213.44/213.42	c |    881824 |   34302   248264   977948 | 2147483647    62674     34 |  4.024 % |
214.23/214.22	c |    885920 |   34302   248264   977948 | 2147483647    66770     34 |  4.024 % |
216.03/216.04	c |    894112 |   34302   248234   977845 |    70852    74962     35 |  4.024 % |
216.33/216.31	c |    894626 |   34302   248234   977845 |    70852    46782     35 |  4.024 % |
216.43/216.42	c |    895142 |   34302   248234   977845 |    70852    47298     35 |  4.024 % |
216.53/216.60	c |    896166 |   34302   248234   977845 |    70852    48322     35 |  4.024 % |
216.74/216.73	c |    896678 |   34302   248234   977845 |    70852    48834     35 |  4.024 % |
216.83/216.89	c |    897192 |   34302   248234   977845 |    70852    49348     35 |  4.024 % |
217.13/217.16	c |    898218 |   34302   248234   977845 |    70852    50374     35 |  4.024 % |
217.43/217.46	c |    900268 |   34302   248234   977845 |    52159    52424     35 |  4.024 % |
217.53/217.60	c |    900780 |   34302   248234   977845 |    52159    52936     35 |  4.024 % |
217.73/217.74	c |    901292 |   34302   248234   977845 |    52159    53448     35 |  4.024 % |
217.93/217.95	c |    902317 |   34302   248234   977845 |    52159    54473     35 |  4.024 % |
218.13/218.16	c |    902829 |   34301   248234   977845 |    52159    45482     35 |  4.035 % |
218.33/218.33	c |    903342 |   34299   248234   977845 |    52159    45995     34 |  4.035 % |
218.63/218.61	c |    904368 |   34299   248234   977845 |    52159    47021     35 |  4.035 % |
219.13/219.15	c |    906417 |   34299   248234   977845 |    52159    49070     34 |  4.035 % |
219.83/219.82	c |    910517 |   34299   248234   977845 | 2147483647    53170     34 |  4.035 % |
219.93/220.00	c |    911033 |   34298   248195   977714 | 2147483647    53686     35 |  4.035 % |
220.13/220.11	c |    911545 |   34289   248195   977714 | 2147483647    54197     35 |  4.077 % |
220.33/220.35	c |    912569 |   34289   248195   977714 | 2147483647    55221     34 |  4.077 % |
220.43/220.46	c |    913084 |   34289   248195   977714 | 2147483647    55736     34 |  4.077 % |
220.53/220.59	c |    913597 |   34289   248195   977714 | 2147483647    56249     34 |  4.077 % |
220.73/220.80	c |    914621 |   34289   248195   977714 | 2147483647    57273     34 |  4.077 % |
221.14/221.16	c |    916669 |   34289   248195   977714 | 2147483647    59321     35 |  4.077 % |
221.23/221.27	c |    917184 |   34289   248195   977714 | 2147483647    59836     35 |  4.077 % |
221.53/221.57	c |    917696 |   34289   248195   977714 | 2147483647    60348     35 |  4.077 % |
221.63/221.66	c |    918722 |   34289   248195   977714 | 2147483647    61374     35 |  4.077 % |
221.83/221.82	c |    919234 |   34289   248195   977714 | 2147483647    61886     35 |  4.077 % |
222.03/222.03	c |    919748 |   34289   248195   977714 | 2147483647    62400     35 |  4.077 % |
222.24/222.21	c |    920772 |   34288   248195   977714 |    62652    63423     35 |  4.079 % |
222.93/222.96	c |    922831 |   34288   248195   977714 |    62652    65482     35 |  4.079 % |
223.74/223.79	c |    926927 |   34288   248195   977714 |    62652    57210     35 |  4.079 % |
225.24/225.25	c |    935122 |   34288   248195   977714 |    60283    50372     33 |  4.079 % |
227.84/227.82	c |    951512 |   34282   247901   976569 |    56003    57514     33 |  4.079 % |
233.94/233.98	c |    984285 |   34265   247901   976569 |    51532    55816     29 |  4.203 % |
249.64/249.61	c |   1049826 |   34202   245939   969002 | 2147483647    80952     34 |  4.303 % |
299.94/299.91	c |   1180898 |   34201   245928   968951 |    74145    75043     41 |  4.306 % |
300.04/300.05	c |   1181411 |   34201   245928   968951 |    74145    75556     41 |  4.306 % |
300.14/300.15	c |   1181923 |   34201   245928   968951 |    74145    76068     40 |  4.306 % |
300.64/300.63	c |   1182947 |   34201   245928   968951 |    74145    55457     38 |  4.306 % |
300.74/300.76	c |   1183459 |   34201   245928   968951 |    74145    55969     38 |  4.306 % |
300.84/300.85	c |   1183973 |   34201   245928   968951 |    74145    56483     38 |  4.306 % |
301.04/301.03	c |   1185000 |   34201   245928   968951 |    74145    57510     38 |  4.306 % |
301.14/301.14	c |   1187050 |   34201   245928   968951 |    74145    59560     37 |  4.306 % |
301.24/301.27	c |   1187563 |   34201   245928   968951 |    74145    60073     37 |  4.306 % |
301.34/301.37	c |   1188076 |   34201   245928   968951 |    74145    60586     37 |  4.306 % |
301.45/301.47	c |   1189100 |   34201   245928   968951 |    74145    61610     37 |  4.306 % |
301.54/301.59	c |   1189613 |   34201   245928   968951 |    74145    62123     37 |  4.306 % |
301.64/301.65	c |   1190126 |   34201   245928   968951 | 2147483647    62636     37 |  4.306 % |
301.74/301.76	c |   1191151 |   34201   245928   968951 | 2147483647    63661     37 |  4.306 % |
301.94/301.94	c |   1193199 |   34201   245928   968951 | 2147483647    65709     37 |  4.306 % |
303.34/303.37	c |   1197296 |   34196   245889   968818 | 2147483647    69805     37 |  4.320 % |
303.65/303.64	c |   1197811 |   34196   245889   968818 | 2147483647    70320     37 |  4.320 % |
303.65/303.70	c |   1198327 |   34196   245889   968818 | 2147483647    70836     36 |  4.320 % |
304.04/304.07	c |   1199353 |   34196   245889   968818 | 2147483647    71862     36 |  4.320 % |
304.14/304.20	c |   1199865 |   34196   245889   968818 | 2147483647    72374     36 |  4.320 % |
304.44/304.49	c |   1200378 |   34196   245889   968818 | 2147483647    72887     36 |  4.320 % |
304.64/304.63	c |   1201402 |   34195   245889   968818 | 2147483647    73910     36 |  4.323 % |
304.84/304.85	c |   1203451 |   34195   245889   968818 | 2147483647    75959     36 |  4.323 % |
304.94/304.94	c |   1203963 |   34195   245889   968818 | 2147483647    76471     36 |  4.323 % |
305.04/305.09	c |   1204475 |   34195   245889   968818 | 2147483647    76983     36 |  4.323 % |
305.24/305.28	c |   1205502 |   34195   245889   968818 | 2147483647    78010     36 |  4.323 % |
305.34/305.38	c |   1206016 |   34195   245889   968818 | 2147483647    78524     36 |  4.323 % |
305.54/305.53	c |   1206528 |   34195   245889   968818 | 2147483647    79036     36 |  4.323 % |
305.64/305.66	c |   1207552 |   34195   245889   968818 | 2147483647    80060     36 |  4.323 % |
305.94/305.96	c |   1209601 |   34195   245889   968818 | 2147483647    82109     36 |  4.323 % |
306.64/306.63	c |   1213697 |   34193   245889   968818 | 2147483647    86204     37 |  4.331 % |
309.04/309.07	c |   1221889 |   34192   245803   968550 | 2147483647    94394     37 |  4.331 % |
309.15/309.16	c |   1222401 |   34192   245803   968550 | 2147483647    94906     37 |  4.331 % |
309.34/309.38	c |   1222915 |   34192   245803   968550 | 2147483647    95420     37 |  4.331 % |
309.64/309.61	c |   1223939 |   34192   245803   968550 | 2147483647    96444     37 |  4.331 % |
309.74/309.76	c |   1224451 |   34192   245803   968550 | 2147483647    96956     37 |  4.331 % |
309.94/309.96	c |   1224965 |   34192   245803   968550 | 2147483647    97470     37 |  4.331 % |
310.14/310.11	c |   1225989 |   34192   245803   968550 | 2147483647    98494     37 |  4.331 % |
310.44/310.47	c |   1228038 |   34192   245803   968550 | 2147483647   100543     37 |  4.331 % |
310.74/310.75	c |   1228550 |   34192   245803   968550 | 2147483647   101055     37 |  4.331 % |
310.84/310.85	c |   1229063 |   34192   245803   968550 | 2147483647   101568     37 |  4.331 % |
311.04/311.10	c |   1230089 |   34192   245803   968550 | 2147483647   102594     37 |  4.331 % |
311.24/311.23	c |   1230601 |   34192   245803   968550 | 2147483647   103106     37 |  4.331 % |
311.44/311.42	c |   1231113 |   34192   245803   968550 | 2147483647   103618     37 |  4.331 % |
311.54/311.56	c |   1232140 |   34192   245803   968550 | 2147483647   104645     37 |  4.331 % |
312.14/312.13	c |   1234188 |   34192   245803   968550 | 2147483647   106693     36 |  4.331 % |
313.04/313.02	c |   1238284 |   34192   245803   968550 | 2147483647   110789     36 |  4.331 % |
313.24/313.28	c |   1238798 |   34192   245803   968550 | 2147483647   111303     36 |  4.331 % |
313.55/313.54	c |   1239310 |   34192   245803   968550 | 2147483647   111815     36 |  4.331 % |
313.84/313.86	c |   1240335 |   34192   245803   968550 | 2147483647   112840     36 |  4.331 % |
314.04/314.03	c |   1240847 |   34192   245803   968550 | 2147483647   113352     36 |  4.331 % |
314.34/314.32	c |   1241359 |   34192   245803   968550 | 2147483647   113864     36 |  4.331 % |
314.54/314.52	c |   1242383 |   34192   245803   968550 | 2147483647   114888     36 |  4.331 % |
315.34/315.36	c |   1244431 |   34192   245803   968550 | 2147483647   116936     36 |  4.331 % |
315.54/315.58	c |   1244944 |   34192   245803   968550 | 2147483647   117449     36 |  4.331 % |
315.84/315.82	c |   1245457 |   34187   245758   968347 | 2147483647   117930     36 |  4.345 % |
316.04/316.07	c |   1246482 |   34187   245758   968347 | 2147483647   118955     35 |  4.345 % |
316.34/316.32	c |   1246995 |   34187   245758   968347 | 2147483647   119468     35 |  4.345 % |
316.34/316.38	c |   1247508 |   34187   245758   968347 | 2147483647   119981     35 |  4.345 % |
316.74/316.73	c |   1248532 |   34187   245758   968347 | 2147483647   121005     35 |  4.345 % |
317.14/317.18	c |   1250580 |   34187   245758   968347 | 2147483647   123053     35 |  4.345 % |
318.24/318.28	c |   1254676 |   34187   245758   968347 | 2147483647   127149     36 |  4.345 % |
319.84/319.86	c |   1262869 |   34187   245758   968347 | 2147483647   135342     36 |  4.345 % |
326.24/326.24	c |   1279253 |   34187   245758   968347 | 2147483647   151726     35 |  4.345 % |
326.54/326.52	c |   1279767 |   34184   245719   968231 | 2147483647   152239     35 |  4.354 % |
326.84/326.90	c |   1280280 |   34184   245719   968231 |   152472   152752     35 |  4.354 % |
327.54/327.56	c |   1281304 |   34184   245719   968231 |   152472   153776     35 |  4.354 % |
327.74/327.78	c |   1281816 |   34184   245719   968231 |   152472   154288     35 |  4.354 % |
328.44/328.49	c |   1282328 |   34184   245719   968231 |   152472   129421     34 |  4.354 % |
328.74/328.73	c |   1283352 |   34184   245719   968231 |   152472   130445     34 |  4.354 % |
329.94/329.91	c |   1285400 |   34184   245719   968231 |   152472   132493     34 |  4.354 % |
330.14/330.18	c |   1285912 |   34184   245719   968231 |   152472   133005     34 |  4.354 % |
330.34/330.38	c |   1286425 |   34184   245719   968231 |   152472   133518     34 |  4.354 % |
330.64/330.65	c |   1287452 |   34184   245719   968231 |   152472   134545     34 |  4.354 % |
330.94/330.97	c |   1287965 |   34184   245719   968231 |   152472   135058     34 |  4.354 % |
331.15/331.16	c |   1288481 |   34184   245719   968231 |   152472   135574     33 |  4.354 % |
332.04/332.09	c |   1289505 |   34184   245719   968231 |   152472   136598     33 |  4.354 % |
332.54/332.59	c |   1291554 |   34184   245719   968231 |   137093   138647     33 |  4.354 % |
335.14/335.19	c |   1295650 |   34183   245719   968231 |   137093   105886     32 |  4.362 % |
335.34/335.31	c |   1296163 |   34183   245719   968231 |   137093   106399     32 |  4.362 % |
335.74/335.75	c |   1296677 |   34183   245719   968231 |   137093   106913     32 |  4.362 % |
336.34/336.39	c |   1297702 |   34178   245719   968231 |   137093   107936     32 |  4.376 % |
336.54/336.55	c |   1298214 |   34178   245719   968231 |   137093   108448     32 |  4.376 % |
336.74/336.76	c |   1298726 |   34178   245719   968231 |   137093   108960     32 |  4.376 % |
336.94/336.93	c |   1299751 |   34178   245719   968231 |   137093   109985     32 |  4.376 % |
337.34/337.39	c |   1301799 |   34178   245719   968231 |   110234   112033     32 |  4.376 % |
338.14/338.11	c |   1302312 |   34178   245719   968231 |   110234    87337     29 |  4.376 % |
338.14/338.14	c |   1302824 |   34178   245719   968231 |   110234    87849     29 |  4.376 % |
338.24/338.28	c |   1303848 |   34178   245719   968231 |   110234    88873     29 |  4.376 % |
338.54/338.57	c |   1304360 |   34178   245719   968231 |   110234    89385     29 |  4.376 % |
339.04/339.02	c |   1304872 |   34176   245602   967774 |   110234    69019     28 |  4.376 % |
339.24/339.27	c |   1305897 |   34176   245602   967774 |   110234    70044     28 |  4.376 % |
339.74/339.72	c |   1307945 |   34176   245602   967774 |   110234    72092     28 |  4.376 % |
342.04/342.05	c |   1312041 |   34176   245602   967774 |    74149    76188     28 |  4.376 % |
343.74/343.79	c |   1320235 |   34176   245602   967774 |    60958    61188     25 |  4.376 % |
344.14/344.15	c |   1320748 |   34176   245602   967774 |    60958    61701     25 |  4.376 % |
344.35/344.36	c |   1321261 |   34176   245602   967774 |    60958    62214     25 |  4.376 % |
344.74/344.74	c |   1322288 |   34176   245602   967774 |    60958    63241     25 |  4.376 % |
345.14/345.14	c |   1322801 |   34176   245602   967774 |    60958    53265     24 |  4.376 % |
345.34/345.33	c |   1323314 |   34176   245602   967774 |    60958    53778     24 |  4.376 % |
345.54/345.55	c |   1324340 |   34176   245602   967774 |    60958    54804     24 |  4.376 % |
346.04/346.08	c |   1326388 |   34176   245602   967774 |    60958    56852     24 |  4.376 % |
346.34/346.39	c |   1326900 |   34176   245602   967774 |    60958    57364     25 |  4.376 % |
346.55/346.56	c |   1327413 |   34176   245602   967774 |    60958    57877     25 |  4.376 % |
347.14/347.14	c |   1328438 |   34176   245602   967774 |    60958    58902     24 |  4.376 % |
347.34/347.31	c |   1328958 |   34176   245602   967774 |    60958    59422     24 |  4.376 % |
347.54/347.60	c |   1329473 |   34173   245540   967546 |    60958    59932     25 |  4.384 % |
348.04/348.00	c |   1330497 |   34173   245540   967546 |    60461    60956     25 |  4.384 % |
348.75/348.78	c |   1332546 |   34172   245540   967546 |    60461    63004     25 |  4.393 % |
350.84/350.88	c |   1336643 |   34172   245540   967546 |    60461    54182     25 |  4.393 % |
351.04/351.10	c |   1337155 |   34170   245501   967433 |    60461    54694     25 |  4.393 % |
351.34/351.30	c |   1337667 |   34170   245501   967433 |    60461    55206     25 |  4.393 % |
351.74/351.71	c |   1338691 |   34170   245501   967433 |    60461    56230     25 |  4.393 % |
351.94/351.94	c |   1339204 |   34170   245501   967433 |    60461    56743     25 |  4.393 % |
352.14/352.18	c |   1339717 |   34170   245501   967433 |    60461    57256     25 |  4.393 % |
352.44/352.44	c |   1340748 |   34170   245501   967433 | 2147483647    58287     25 |  4.393 % |
353.04/353.10	c |   1342796 |   34165   245501   967433 | 2147483647    60334     25 |  4.407 % |
353.34/353.33	c |   1343310 |   34165   245501   967433 | 2147483647    60848     25 |  4.407 % |
353.64/353.62	c |   1343823 |   34165   245501   967433 | 2147483647    61361     25 |  4.407 % |
353.94/353.95	c |   1344847 |   34165   245474   967301 | 2147483647    62383     25 |  4.407 % |
354.04/354.04	c |   1345359 |   34165   245474   967301 | 2147483647    62895     25 |  4.407 % |
354.14/354.21	c |   1345872 |   34165   245474   967301 | 2147483647    63408     25 |  4.407 % |
354.64/354.64	c |   1346897 |   34165   245474   967301 | 2147483647    64433     25 |  4.407 % |
356.15/356.15	c |   1348947 |   34165   245474   967301 | 2147483647    66483     25 |  4.407 % |
357.35/357.34	c |   1353043 |   34165   245474   967301 | 2147483647    70579     26 |  4.407 % |
359.75/359.74	c |   1361235 |   34153   245356   966874 |    77535    78769     26 |  4.440 % |
368.25/368.31	c |   1377619 |   34149   245326   966766 | 2147483647    87201     27 |  4.452 % |
392.25/392.25	c |   1410387 |   34149   245326   966766 |    86732    87119     27 |  4.452 % |
392.65/392.71	c |   1410899 |   34149   245314   966714 |    86732    87628     27 |  4.452 % |
393.15/393.14	c |   1411412 |   34149   245314   966714 |    86732    88141     27 |  4.452 % |
393.85/393.85	c |   1412436 |   34147   245314   966714 |    86732    60447     24 |  4.468 % |
394.15/394.12	c |   1412948 |   34147   245314   966714 |    86732    60959     24 |  4.468 % |
394.35/394.37	c |   1413461 |   34147   245314   966714 |    86732    61472     24 |  4.468 % |
394.55/394.60	c ===============================================================================
394.55/394.60	c restarts              : 645
394.55/394.60	c conflicts             : 1413925        (3628 /sec)
394.55/394.60	c decisions             : 4922430        (1.64 % random) (12632 /sec)
394.55/394.60	c propagations          : 243131623      (623926 /sec)
394.55/394.60	c conflict literals     : 54184941       (20.36 % deleted)
394.55/394.60	c Memory used           : 53.64 MB
394.55/394.60	c CPU time              : 389.68 s
394.55/394.60	c 
394.55/394.60	s UNSATISFIABLE
394.55/394.60	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.02 1.00 2/91 32443
/proc/meminfo: memFree=1605856/2074464 swapFree=1952056/1959888
[pid=32443] ppid=32441 vsize=2412 CPUtime=0.01
/proc/32443/stat : 32443 (SatELiteGTI) S 32441 32443 15108 0 -1 4194304 368 648 0 0 0 1 0 0 25 0 1 0 1012179882 2469888 277 4294967295 134512640 135169312 3215252896 3215251432 3085471470 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32443/statm: 603 277 235 161 0 42 0
[pid=32447] ppid=32443 vsize=948 CPUtime=0
/proc/32447/stat : 32447 (SatELite_releas) R 32443 32443 15108 0 -1 4202496 115 0 0 0 0 0 0 0 25 0 1 0 1012179883 970752 51 4294967295 134512640 135223648 3218231392 3218230440 134818064 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32447/statm: 238 54 44 174 0 63 0

[startup+0.074337 s]
/proc/loadavg: 1.00 1.02 1.00 2/91 32443
/proc/meminfo: memFree=1605856/2074464 swapFree=1952056/1959888
[pid=32443] ppid=32441 vsize=2412 CPUtime=0.01
/proc/32443/stat : 32443 (SatELiteGTI) S 32441 32443 15108 0 -1 4194304 368 648 0 0 0 1 0 0 25 0 1 0 1012179882 2469888 277 4294967295 134512640 135169312 3215252896 3215251432 3085471470 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32443/statm: 603 277 235 161 0 42 0
[pid=32447] ppid=32443 vsize=11228 CPUtime=0.07
/proc/32447/stat : 32447 (SatELite_releas) R 32443 32443 15108 0 -1 4202496 2617 0 0 0 7 0 0 0 25 0 1 0 1012179883 11497472 2553 4294967295 134512640 135223648 3218231392 3218230344 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32447/statm: 2807 2554 46 174 0 2632 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13640

[startup+0.114334 s]
/proc/loadavg: 1.00 1.02 1.00 2/91 32443
/proc/meminfo: memFree=1605856/2074464 swapFree=1952056/1959888
[pid=32443] ppid=32441 vsize=2412 CPUtime=0.01
/proc/32443/stat : 32443 (SatELiteGTI) S 32441 32443 15108 0 -1 4194304 368 648 0 0 0 1 0 0 25 0 1 0 1012179882 2469888 277 4294967295 134512640 135169312 3215252896 3215251432 3085471470 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32443/statm: 603 277 235 161 0 42 0
[pid=32447] ppid=32443 vsize=18336 CPUtime=0.11
/proc/32447/stat : 32447 (SatELite_releas) R 32443 32443 15108 0 -1 4202496 4016 0 0 0 11 0 0 0 25 0 1 0 1012179883 18776064 3952 4294967295 134512640 135223648 3218231392 3218229976 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32447/statm: 4584 3952 46 174 0 4409 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 20748

[startup+0.314319 s]
/proc/loadavg: 1.00 1.02 1.00 2/91 32443
/proc/meminfo: memFree=1605856/2074464 swapFree=1952056/1959888
[pid=32443] ppid=32441 vsize=2412 CPUtime=0.01
/proc/32443/stat : 32443 (SatELiteGTI) S 32441 32443 15108 0 -1 4194304 368 648 0 0 0 1 0 0 25 0 1 0 1012179882 2469888 277 4294967295 134512640 135169312 3215252896 3215251432 3085471470 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32443/statm: 603 277 235 161 0 42 0
[pid=32447] ppid=32443 vsize=43656 CPUtime=0.31
/proc/32447/stat : 32447 (SatELite_releas) R 32443 32443 15108 0 -1 4202496 10639 0 0 0 24 7 0 0 25 0 1 0 1012179883 44703744 10575 4294967295 134512640 135223648 3218231392 3218230272 134543095 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32447/statm: 10914 10576 46 174 0 10739 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 46068

[startup+0.714288 s]
/proc/loadavg: 1.00 1.02 1.00 2/91 32443
/proc/meminfo: memFree=1605856/2074464 swapFree=1952056/1959888
[pid=32443] ppid=32441 vsize=2412 CPUtime=0.01
/proc/32443/stat : 32443 (SatELiteGTI) S 32441 32443 15108 0 -1 4194304 368 648 0 0 0 1 0 0 25 0 1 0 1012179882 2469888 277 4294967295 134512640 135169312 3215252896 3215251432 3085471470 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32443/statm: 603 277 235 161 0 42 0
[pid=32447] ppid=32443 vsize=95764 CPUtime=0.71
/proc/32447/stat : 32447 (SatELite_releas) R 32443 32443 15108 0 -1 4202496 23588 0 0 0 57 14 0 0 25 0 1 0 1012179883 98062336 21727 4294967295 134512640 135223648 3218231392 3218229312 134576544 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32447/statm: 23941 21727 73 174 0 23766 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 98176

[startup+1.51423 s]
/proc/loadavg: 1.00 1.02 1.00 2/93 32448
/proc/meminfo: memFree=1515668/2074464 swapFree=1952056/1959888
[pid=32443] ppid=32441 vsize=2412 CPUtime=0.01
/proc/32443/stat : 32443 (SatELiteGTI) S 32441 32443 15108 0 -1 4194304 368 648 0 0 0 1 0 0 25 0 1 0 1012179882 2469888 277 4294967295 134512640 135169312 3215252896 3215251432 3085471470 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32443/statm: 603 277 235 161 0 42 0
[pid=32447] ppid=32443 vsize=100104 CPUtime=1.51
/proc/32447/stat : 32447 (SatELite_releas) R 32443 32443 15108 0 -1 4202496 24613 0 0 0 133 18 0 0 25 0 1 0 1012179883 102506496 22752 4294967295 134512640 135223648 3218231392 3218229408 134586958 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32447/statm: 25026 22752 73 174 0 24851 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 102516

[startup+3.1141 s]
/proc/loadavg: 1.00 1.02 1.00 2/93 32448
/proc/meminfo: memFree=1502276/2074464 swapFree=1952056/1959888
[pid=32443] ppid=32441 vsize=2412 CPUtime=0.01
/proc/32443/stat : 32443 (SatELiteGTI) S 32441 32443 15108 0 -1 4194304 368 648 0 0 0 1 0 0 25 0 1 0 1012179882 2469888 277 4294967295 134512640 135169312 3215252896 3215251432 3085471470 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32443/statm: 603 277 235 161 0 42 0
[pid=32447] ppid=32443 vsize=107300 CPUtime=3.11
/proc/32447/stat : 32447 (SatELite_releas) R 32443 32443 15108 0 -1 4202496 26324 0 0 0 289 22 0 0 25 0 1 0 1012179883 109875200 24463 4294967295 134512640 135223648 3218231392 3218229344 134670040 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32447/statm: 26825 24463 73 174 0 26650 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 109712

[startup+6.31386 s]
/proc/loadavg: 1.00 1.02 1.00 2/93 32449
/proc/meminfo: memFree=1563192/2074464 swapFree=1952056/1959888
[pid=32443] ppid=32441 vsize=2416 CPUtime=4.56
/proc/32443/stat : 32443 (SatELiteGTI) S 32441 32443 15108 0 -1 4194304 388 30410 0 0 0 1 427 28 23 0 1 0 1012179882 2473984 278 4294967295 134512640 135169312 3215252896 3215249112 3085471470 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32443/statm: 604 278 235 161 0 43 0
[pid=32449] ppid=32443 vsize=19372 CPUtime=1.76
/proc/32449/stat : 32449 (minisat_static) R 32443 32443 15108 0 -1 4202496 4668 0 0 0 172 4 0 0 25 0 1 0 1012180338 19836928 4602 4294967295 134512640 135216591 3216023216 3216021408 134529096 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32449/statm: 4843 4602 75 172 0 4670 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 21788

[startup+12.7134 s]
/proc/loadavg: 1.00 1.02 1.00 2/93 32451
/proc/meminfo: memFree=1556404/2074464 swapFree=1952056/1959888
[pid=32443] ppid=32441 vsize=2416 CPUtime=4.56
/proc/32443/stat : 32443 (SatELiteGTI) S 32441 32443 15108 0 -1 4194304 388 30410 0 0 0 1 427 28 23 0 1 0 1012179882 2473984 278 4294967295 134512640 135169312 3215252896 3215249112 3085471470 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32443/statm: 604 278 235 161 0 43 0
[pid=32449] ppid=32443 vsize=27064 CPUtime=8.16
/proc/32449/stat : 32449 (minisat_static) R 32443 32443 15108 0 -1 4202496 6564 0 0 0 811 5 0 0 25 0 1 0 1012180338 27713536 6498 4294967295 134512640 135216591 3216023216 3216021120 134532794 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32449/statm: 6766 6498 75 172 0 6593 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 29480

[startup+25.5124 s]
/proc/loadavg: 1.00 1.02 1.00 2/93 32452
/proc/meminfo: memFree=1544804/2074464 swapFree=1952056/1959888
[pid=32443] ppid=32441 vsize=2416 CPUtime=4.56
/proc/32443/stat : 32443 (SatELiteGTI) S 32441 32443 15108 0 -1 4194304 388 30410 0 0 0 1 427 28 23 0 1 0 1012179882 2473984 278 4294967295 134512640 135169312 3215252896 3215249112 3085471470 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32443/statm: 604 278 235 161 0 43 0
[pid=32449] ppid=32443 vsize=37412 CPUtime=20.96
/proc/32449/stat : 32449 (minisat_static) R 32443 32443 15108 0 -1 4202496 9133 0 0 0 2087 9 0 0 25 0 1 0 1012180338 38309888 9067 4294967295 134512640 135216591 3216023216 3216021408 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32449/statm: 9353 9067 75 172 0 9180 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 39828

[startup+51.1104 s]
/proc/loadavg: 1.00 1.01 1.00 3/93 32636
/proc/meminfo: memFree=1538068/2074464 swapFree=1952056/1959888
[pid=32443] ppid=32441 vsize=2416 CPUtime=4.56
/proc/32443/stat : 32443 (SatELiteGTI) S 32441 32443 15108 0 -1 4194304 388 30410 0 0 0 1 427 28 23 0 1 0 1012179882 2473984 278 4294967295 134512640 135169312 3215252896 3215249112 3085471470 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32443/statm: 604 278 235 161 0 43 0
[pid=32449] ppid=32443 vsize=44180 CPUtime=46.56
/proc/32449/stat : 32449 (minisat_static) R 32443 32443 15108 0 -1 4202496 10845 0 0 0 4645 11 0 0 25 0 1 0 1012180338 45240320 10779 4294967295 134512640 135216591 3216023216 3216021408 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32449/statm: 11045 10779 75 172 0 10872 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 46596

[startup+102.327 s]
/proc/loadavg: 1.00 1.01 1.00 3/93 360
/proc/meminfo: memFree=1526272/2074464 swapFree=1952056/1959888
[pid=32443] ppid=32441 vsize=2416 CPUtime=4.56
/proc/32443/stat : 32443 (SatELiteGTI) S 32441 32443 15108 0 -1 4194304 388 30410 0 0 0 1 427 28 23 0 1 0 1012179882 2473984 278 4294967295 134512640 135169312 3215252896 3215249112 3085471470 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32443/statm: 604 278 235 161 0 43 0
[pid=32449] ppid=32443 vsize=54924 CPUtime=97.78
/proc/32449/stat : 32449 (minisat_static) R 32443 32443 15108 0 -1 4202496 13503 0 0 0 9753 25 0 0 25 0 1 0 1012180338 56242176 13437 4294967295 134512640 135216591 3216023216 3216021408 134528860 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32449/statm: 13731 13437 75 172 0 13558 0
Current children cumulated CPU time (s) 102.34
Current children cumulated vsize (KiB) 57340

[startup+162.322 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 548
/proc/meminfo: memFree=1526164/2074464 swapFree=1952056/1959888
[pid=32443] ppid=32441 vsize=2416 CPUtime=4.56
/proc/32443/stat : 32443 (SatELiteGTI) S 32441 32443 15108 0 -1 4194304 388 30410 0 0 0 1 427 28 23 0 1 0 1012179882 2473984 278 4294967295 134512640 135169312 3215252896 3215249112 3085471470 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32443/statm: 604 278 235 161 0 43 0
[pid=32449] ppid=32443 vsize=54924 CPUtime=157.78
/proc/32449/stat : 32449 (minisat_static) R 32443 32443 15108 0 -1 4202496 13503 0 0 0 15751 27 0 0 25 0 1 0 1012180338 56242176 13437 4294967295 134512640 135216591 3216023216 3216021408 134528826 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32449/statm: 13731 13437 75 172 0 13558 0
Current children cumulated CPU time (s) 162.34
Current children cumulated vsize (KiB) 57340

[startup+222.307 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 735
/proc/meminfo: memFree=1526304/2074464 swapFree=1952056/1959888
[pid=32443] ppid=32441 vsize=2416 CPUtime=4.56
/proc/32443/stat : 32443 (SatELiteGTI) S 32441 32443 15108 0 -1 4194304 388 30410 0 0 0 1 427 28 23 0 1 0 1012179882 2473984 278 4294967295 134512640 135169312 3215252896 3215249112 3085471470 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32443/statm: 604 278 235 161 0 43 0
[pid=32449] ppid=32443 vsize=54924 CPUtime=217.77
/proc/32449/stat : 32449 (minisat_static) R 32443 32443 15108 0 -1 4202496 13503 0 0 0 21750 27 0 0 25 0 1 0 1012180338 56242176 13437 4294967295 134512640 135216591 3216023216 3216021408 134528902 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32449/statm: 13731 13437 75 172 0 13558 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 57340

[startup+282.313 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 935
/proc/meminfo: memFree=1526584/2074464 swapFree=1952056/1959888
[pid=32443] ppid=32441 vsize=2416 CPUtime=4.56
/proc/32443/stat : 32443 (SatELiteGTI) S 32441 32443 15108 0 -1 4194304 388 30410 0 0 0 1 427 28 23 0 1 0 1012179882 2473984 278 4294967295 134512640 135169312 3215252896 3215249112 3085471470 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32443/statm: 604 278 235 161 0 43 0
[pid=32449] ppid=32443 vsize=54924 CPUtime=277.78
/proc/32449/stat : 32449 (minisat_static) R 32443 32443 15108 0 -1 4202496 13503 0 0 0 27744 34 0 0 25 0 1 0 1012180338 56242176 13437 4294967295 134512640 135216591 3216023216 3216021408 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32449/statm: 13731 13437 75 172 0 13558 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 57340

[startup+342.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 1126
/proc/meminfo: memFree=1526484/2074464 swapFree=1952056/1959888
[pid=32443] ppid=32441 vsize=2416 CPUtime=4.56
/proc/32443/stat : 32443 (SatELiteGTI) S 32441 32443 15108 0 -1 4194304 388 30410 0 0 0 1 427 28 23 0 1 0 1012179882 2473984 278 4294967295 134512640 135169312 3215252896 3215249112 3085471470 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32443/statm: 604 278 235 161 0 43 0
[pid=32449] ppid=32443 vsize=54924 CPUtime=337.78
/proc/32449/stat : 32449 (minisat_static) R 32443 32443 15108 0 -1 4202496 13504 0 0 0 33741 37 0 0 25 0 1 0 1012180338 56242176 13438 4294967295 134512640 135216591 3216023216 3216021408 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32449/statm: 13731 13438 75 172 0 13558 0
Current children cumulated CPU time (s) 342.34
Current children cumulated vsize (KiB) 57340

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

[startup+358.317 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 1128
/proc/meminfo: memFree=1526580/2074464 swapFree=1952056/1959888
[pid=32443] ppid=32441 vsize=2416 CPUtime=4.56
/proc/32443/stat : 32443 (SatELiteGTI) S 32441 32443 15108 0 -1 4194304 388 30410 0 0 0 1 427 28 23 0 1 0 1012179882 2473984 278 4294967295 134512640 135169312 3215252896 3215249112 3085471470 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32443/statm: 604 278 235 161 0 43 0
[pid=32449] ppid=32443 vsize=54924 CPUtime=353.79
/proc/32449/stat : 32449 (minisat_static) R 32443 32443 15108 0 -1 4202496 13504 0 0 0 35342 37 0 0 25 0 1 0 1012180338 56242176 13438 4294967295 134512640 135216591 3216023216 3216021408 134528948 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32449/statm: 13731 13438 75 172 0 13558 0
Current children cumulated CPU time (s) 358.35
Current children cumulated vsize (KiB) 57340

[startup+371.116 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 1129
/proc/meminfo: memFree=1526572/2074464 swapFree=1952056/1959888
[pid=32443] ppid=32441 vsize=2416 CPUtime=4.56
/proc/32443/stat : 32443 (SatELiteGTI) S 32441 32443 15108 0 -1 4194304 388 30410 0 0 0 1 427 28 23 0 1 0 1012179882 2473984 278 4294967295 134512640 135169312 3215252896 3215249112 3085471470 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32443/statm: 604 278 235 161 0 43 0
[pid=32449] ppid=32443 vsize=54924 CPUtime=366.59
/proc/32449/stat : 32449 (minisat_static) R 32443 32443 15108 0 -1 4202496 13504 0 0 0 36622 37 0 0 25 0 1 0 1012180338 56242176 13438 4294967295 134512640 135216591 3216023216 3216021408 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32449/statm: 13731 13438 75 172 0 13558 0
Current children cumulated CPU time (s) 371.15
Current children cumulated vsize (KiB) 57340

[startup+383.915 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 1129
/proc/meminfo: memFree=1526588/2074464 swapFree=1952056/1959888
[pid=32443] ppid=32441 vsize=2416 CPUtime=4.56
/proc/32443/stat : 32443 (SatELiteGTI) S 32441 32443 15108 0 -1 4194304 388 30410 0 0 0 1 427 28 23 0 1 0 1012179882 2473984 278 4294967295 134512640 135169312 3215252896 3215249112 3085471470 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32443/statm: 604 278 235 161 0 43 0
[pid=32449] ppid=32443 vsize=54924 CPUtime=379.39
/proc/32449/stat : 32449 (minisat_static) R 32443 32443 15108 0 -1 4202496 13504 0 0 0 37900 39 0 0 25 0 1 0 1012180338 56242176 13438 4294967295 134512640 135216591 3216023216 3216021408 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32449/statm: 13731 13438 75 172 0 13558 0
Current children cumulated CPU time (s) 383.95
Current children cumulated vsize (KiB) 57340

[startup+390.315 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 1315
/proc/meminfo: memFree=1526160/2074464 swapFree=1952056/1959888
[pid=32443] ppid=32441 vsize=2416 CPUtime=4.56
/proc/32443/stat : 32443 (SatELiteGTI) S 32441 32443 15108 0 -1 4194304 388 30410 0 0 0 1 427 28 23 0 1 0 1012179882 2473984 278 4294967295 134512640 135169312 3215252896 3215249112 3085471470 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32443/statm: 604 278 235 161 0 43 0
[pid=32449] ppid=32443 vsize=54924 CPUtime=385.79
/proc/32449/stat : 32449 (minisat_static) R 32443 32443 15108 0 -1 4202496 13504 0 0 0 38540 39 0 0 25 0 1 0 1012180338 56242176 13438 4294967295 134512640 135216591 3216023216 3216021408 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32449/statm: 13731 13438 75 172 0 13558 0
Current children cumulated CPU time (s) 390.35
Current children cumulated vsize (KiB) 57340

[startup+391.914 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 1315
/proc/meminfo: memFree=1526192/2074464 swapFree=1952056/1959888
[pid=32443] ppid=32441 vsize=2416 CPUtime=4.56
/proc/32443/stat : 32443 (SatELiteGTI) S 32441 32443 15108 0 -1 4194304 388 30410 0 0 0 1 427 28 23 0 1 0 1012179882 2473984 278 4294967295 134512640 135169312 3215252896 3215249112 3085471470 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32443/statm: 604 278 235 161 0 43 0
[pid=32449] ppid=32443 vsize=54924 CPUtime=387.39
/proc/32449/stat : 32449 (minisat_static) R 32443 32443 15108 0 -1 4202496 13504 0 0 0 38700 39 0 0 25 0 1 0 1012180338 56242176 13438 4294967295 134512640 135216591 3216023216 3216021408 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32449/statm: 13731 13438 75 172 0 13558 0
Current children cumulated CPU time (s) 391.95
Current children cumulated vsize (KiB) 57340

[startup+393.514 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 1315
/proc/meminfo: memFree=1526192/2074464 swapFree=1952056/1959888
[pid=32443] ppid=32441 vsize=2416 CPUtime=4.56
/proc/32443/stat : 32443 (SatELiteGTI) S 32441 32443 15108 0 -1 4194304 388 30410 0 0 0 1 427 28 23 0 1 0 1012179882 2473984 278 4294967295 134512640 135169312 3215252896 3215249112 3085471470 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32443/statm: 604 278 235 161 0 43 0
[pid=32449] ppid=32443 vsize=54924 CPUtime=388.99
/proc/32449/stat : 32449 (minisat_static) R 32443 32443 15108 0 -1 4202496 13504 0 0 0 38860 39 0 0 25 0 1 0 1012180338 56242176 13438 4294967295 134512640 135216591 3216023216 3216021328 134534465 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32449/statm: 13731 13438 75 172 0 13558 0
Current children cumulated CPU time (s) 393.55
Current children cumulated vsize (KiB) 57340

[startup+394.314 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 1315
/proc/meminfo: memFree=1526240/2074464 swapFree=1952056/1959888
[pid=32443] ppid=32441 vsize=2416 CPUtime=4.56
/proc/32443/stat : 32443 (SatELiteGTI) S 32441 32443 15108 0 -1 4194304 388 30410 0 0 0 1 427 28 23 0 1 0 1012179882 2473984 278 4294967295 134512640 135169312 3215252896 3215249112 3085471470 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32443/statm: 604 278 235 161 0 43 0
[pid=32449] ppid=32443 vsize=54924 CPUtime=389.79
/proc/32449/stat : 32449 (minisat_static) R 32443 32443 15108 0 -1 4202496 13504 0 0 0 38940 39 0 0 25 0 1 0 1012180338 56242176 13438 4294967295 134512640 135216591 3216023216 3216021408 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32449/statm: 13731 13438 75 172 0 13558 0
Current children cumulated CPU time (s) 394.35
Current children cumulated vsize (KiB) 57340

[startup+394.514 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 1315
/proc/meminfo: memFree=1526240/2074464 swapFree=1952056/1959888
[pid=32443] ppid=32441 vsize=2416 CPUtime=4.56
/proc/32443/stat : 32443 (SatELiteGTI) S 32441 32443 15108 0 -1 4194304 388 30410 0 0 0 1 427 28 23 0 1 0 1012179882 2473984 278 4294967295 134512640 135169312 3215252896 3215249112 3085471470 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32443/statm: 604 278 235 161 0 43 0
[pid=32449] ppid=32443 vsize=54924 CPUtime=389.99
/proc/32449/stat : 32449 (minisat_static) R 32443 32443 15108 0 -1 4202496 13504 0 0 0 38960 39 0 0 25 0 1 0 1012180338 56242176 13438 4294967295 134512640 135216591 3216023216 3216021408 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32449/statm: 13731 13438 75 172 0 13558 0
Current children cumulated CPU time (s) 394.55
Current children cumulated vsize (KiB) 57340

[startup+394.614 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 1315
/proc/meminfo: memFree=1526240/2074464 swapFree=1952056/1959888
[pid=32443] ppid=32441 vsize=2932 CPUtime=394.64
/proc/32443/stat : 32443 (SatELiteGTI) S 32441 32443 15108 0 -1 4194304 476 43926 0 0 0 1 39395 68 18 0 1 0 1012179882 3002368 346 4294967295 134512640 135169312 3215252896 3215248280 3085471470 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/32443/statm: 733 346 237 161 0 172 0
Current children cumulated CPU time (s) 394.64
Current children cumulated vsize (KiB) 2932

Child status: 20
Real time (s): 394.621
CPU time (s): 394.65
CPU user time (s): 393.95
CPU system time (s): 0.7
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 111640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 393.95
system time used= 0.7
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44586
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= 24
involuntary context switches= 215

runsolver used 0.01 second user time and 0.02 second system time

The end

Launcher Data 

Begin job on tipi24 at 2009-05-16 14:26:57
IDJOB=1820789
IDBENCH=69595
IDSOLVER=658
FILE ID=tipi24/1820789-1242476817
PBS_JOBID=
Free space on /tmp= 10094 MiB

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

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

MD5SUM BENCH= d46e452956bc993f202d3b06fd3e858e
RANDOM SEED= 588882766

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

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

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

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

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


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:       1605880 kB
Buffers:         22984 kB
Cached:         364452 kB
SwapCached:       3828 kB
Active:          52252 kB
Inactive:       344692 kB
HighTotal:     1178688 kB
HighFree:       894484 kB
LowTotal:       895776 kB
LowFree:        711396 kB
SwapTotal:     1959888 kB
SwapFree:      1952056 kB
Dirty:           13284 kB
Writeback:           0 kB
AnonPages:        8952 kB
Mapped:           3152 kB
Slab:            62960 kB
PageTables:        488 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    87800 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 10094 MiB
End job on tipi24 at 2009-05-16 14:33:33