Trace number 1837076

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (MO) 5263.74 5265.21

General information on the benchmark

Nameindustrial/anbulagan/
hard-unsat/partial-10-19-u.cnf
MD5SUMec6ae8f44e827ed5bcc8aed459990775
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables330372
Number of clauses1570953
Sum of the clauses size3643384
Maximum clause length10
Minimum clause length1
Number of clauses of size 124592
Number of clauses of size 21203951
Number of clauses of size 3281190
Number of clauses of size 46800
Number of clauses of size 527200
Number of clauses of size over 527220

Solver Data 

0.00/0.00	c Parsing...
1.18/1.22	c ==============================================================================
1.18/1.22	c |           |     ORIGINAL     |              LEARNT              |          |
1.18/1.22	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
1.18/1.22	c ==============================================================================
1.18/1.22	c |         0 | 1544713  3615326 |  463413       0        0     nan |  0.000 % |
11.38/11.46	c |         0 |  980858  2707783 |      --       0       --      -- |     --   | -286585/-282613
11.38/11.47	c ==============================================================================
11.38/11.47	c Result  :   #vars: 168138   #clauses: 980858   #literals: 2707783
11.38/11.47	c CPU time:   11.0653 s
11.38/11.47	c ==============================================================================
12.38/12.49	c This is MiniSat 2.0 beta
12.38/12.49	c WARNING: for repeatability, setting FPU to use double precision
12.38/12.49	c ============================[ Problem Statistics ]=============================
12.38/12.49	c |                                                                             |
12.38/12.49	c |  Number of variables:  168138                                               |
12.38/12.49	c |  Number of clauses:    980858                                               |
12.47/13.09	c |  Parsing time:         0.52         s                                       |
13.08/13.12	c ============================[ Search Statistics ]==============================
13.08/13.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
13.08/13.12	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
13.08/13.12	c ===============================================================================
13.08/13.12	c |         0 |  168138   980858  2707783 |   326952        0    nan |  0.000 % |
13.37/13.40	c |       102 |  168138   980858  2707783 |   326952      102    266 |  0.000 % |
13.57/13.63	c |       203 |  168138   980858  2707783 |   326952      203    238 |  0.000 % |
13.67/13.78	c |       303 |  168138   980858  2707783 |   326952      303    188 |  0.000 % |
13.97/14.02	c |       415 |  168138   980858  2707783 |   326952      415    169 |  0.000 % |
14.07/14.13	c |       515 |  168138   980858  2707783 |   326952      515    151 |  0.000 % |
14.17/14.26	c |       626 |  168138   980858  2707783 |   326952      626    143 |  0.000 % |
15.27/15.31	c |       748 |  167952   980030  2706127 |   326952      745    131 |  0.750 % |
15.66/15.70	c |       849 |  167952   980030  2706127 |   326952      846    126 |  0.750 % |
15.76/15.83	c |       960 |  167952   980030  2706127 |   326952      957    121 |  0.750 % |
16.06/16.12	c |      1083 |  167952   980030  2706127 |   326952     1080    113 |  0.750 % |
16.26/16.39	c |      1216 |  167940   980030  2706127 |   326952     1211    108 |  1.048 % |
16.76/16.80	c |      1316 |  167874   980030  2706127 |   326952     1309    104 |  1.169 % |
17.06/17.13	c |      1427 |  166173   969093  2678157 |   326952     1418     98 |  1.169 % |
17.16/17.26	c |      1550 |  166173   969093  2678157 |   326952     1541    110 |  1.169 % |
17.47/17.52	c |      1691 |  166173   969093  2678157 |   326952     1682    112 |  1.169 % |
17.76/17.85	c |      1837 |  165363   969093  2678157 |   326952     1821    112 |  3.777 % |
18.16/18.25	c |      1940 |  164841   969093  2678157 |   326952     1921    108 |  4.220 % |
18.46/18.54	c |      2052 |  164758   969093  2678157 |   326952     2032    106 |  5.464 % |
18.77/18.81	c |      2173 |  158748   926133  2571837 |   326952     2136    103 |  5.896 % |
19.37/19.41	c |      2308 |  158568   926133  2571837 |   326952     2270    103 |  6.011 % |
20.27/20.32	c |      2455 |  158566   926133  2571837 |   326952     2416    105 |  6.024 % |
21.07/21.11	c |      2616 |  157991   921589  2560702 |   326952     2573    115 |  6.035 % |
21.27/21.40	c |      2717 |  157952   921589  2560702 |   326952     2672    113 |  6.225 % |
21.97/22.06	c |      2827 |  157564   921589  2560702 |   326952     2778    115 |  7.389 % |
22.37/22.49	c |      2949 |  157563   921589  2560702 |   326952     2899    114 |  7.402 % |
22.87/22.93	c |      3082 |  155264   907145  2526065 |   326952     3011    112 |  7.678 % |
23.27/23.38	c |      3232 |  155264   907145  2526065 |   326952     3161    111 |  7.678 % |
23.97/24.00	c |      3393 |  155264   907145  2526065 |   326952     3322    113 |  7.678 % |
24.67/24.79	c |      3569 |  155252   907145  2526065 |   326952     3495    120 |  7.977 % |
24.87/24.95	c |      3670 |  155252   907145  2526065 |   326952     3596    120 |  7.977 % |
25.07/25.20	c |      3780 |  154725   904120  2519467 |   326952     3689    120 |  7.977 % |
25.27/25.37	c |      3902 |  154725   904120  2519467 |   326952     3811    119 |  7.977 % |
25.97/26.07	c |      4037 |  154584   904120  2519467 |   326952     3945    122 |  8.077 % |
26.37/26.44	c |      4183 |  154584   904120  2519467 |   326952     4090    120 |  8.080 % |
26.77/26.85	c |      4343 |  154530   904120  2519467 |   326952     4246    117 |  8.464 % |
27.17/27.21	c |      4521 |  154530   904120  2519467 |   326952     4424    117 |  8.464 % |
27.97/28.05	c |      4714 |  153907   899189  2507440 |   326952     4610    117 |  8.464 % |
28.27/28.38	c |      4815 |  153907   899189  2507440 |   326952     4711    118 |  8.464 % |
28.67/28.77	c |      4925 |  153907   899189  2507440 |   326952     4821    116 |  8.464 % |
28.87/28.94	c |      5046 |  153893   899189  2507440 |   326952     4941    114 |  8.502 % |
29.17/29.25	c |      5180 |  153890   899189  2507440 |   326952     5074    112 |  8.504 % |
29.67/29.70	c |      5328 |  153847   899189  2507440 |   326952     5222    111 |  8.504 % |
29.97/30.07	c |      5489 |  153826   898883  2506828 |   326952     5381    110 |  8.550 % |
30.27/30.38	c |      5665 |  153813   898883  2506828 |   326952     5556    110 |  8.558 % |
31.57/31.61	c |      5860 |  153773   898883  2506828 |   326952     5747    118 |  8.882 % |
31.97/32.07	c |      6072 |  153772   898883  2506828 |   326952     5959    117 |  8.882 % |
32.26/32.39	c |      6173 |  153772   898883  2506828 |   326952     6060    118 |  8.882 % |
32.76/32.82	c |      6283 |  153204   895172  2497272 |   326952     6163    118 |  8.882 % |
32.97/33.07	c |      6404 |  153201   895172  2497272 |   326952     6282    117 |  9.593 % |
33.36/33.46	c |      6537 |  153187   895172  2497272 |   326952     6415    117 |  9.593 % |
33.86/33.90	c |      6685 |  153151   895172  2497272 |   326952     6562    115 |  9.851 % |
34.56/34.64	c |      6845 |  153128   895172  2497272 |   326952     6721    115 |  9.862 % |
35.16/35.22	c |      7023 |  153128   895172  2497272 |   326952     6899    124 |  9.862 % |
36.16/36.21	c |      7222 |  151554   884495  2469290 |   326952     7068    126 |  9.875 % |
37.26/37.39	c |      7437 |  151451   884495  2469290 |   326952     7280    129 | 10.214 % |
37.86/37.97	c |      7672 |  151447   884495  2469290 |   326952     7513    129 | 10.237 % |
38.16/38.27	c |      7772 |  150924   881418  2462740 |   326952     7595    129 | 10.249 % |
38.36/38.46	c |      7882 |  150924   881418  2462740 |   326952     7705    128 | 10.249 % |
39.26/39.34	c |      8006 |  150900   881418  2462740 |   326952     7828    134 | 10.358 % |
39.75/39.85	c |      8140 |  150900   881418  2462740 |   326952     7962    135 | 10.358 % |
40.15/40.27	c |      8286 |  150900   881418  2462740 |   326952     8108    137 | 10.358 % |
40.86/40.96	c |      8447 |  150854   881418  2462740 |   326952     8268    137 | 10.422 % |
41.86/41.91	c |      8623 |  150614   879664  2458510 |   326952     8440    148 | 10.422 % |
43.16/43.30	c |      8816 |  150464   879664  2458510 |   326952     8629    148 | 10.637 % |
44.26/44.30	c |      9029 |  150100   877193  2452886 |   326952     8831    153 | 10.728 % |
45.55/45.67	c |      9264 |  150094   877193  2452886 |   326952     9065    156 | 10.736 % |
47.05/47.16	c |      9520 |  150087   877193  2452886 |   326952     9319    167 | 10.748 % |
47.45/47.55	c |      9623 |  150087   877193  2452886 |   326952     9422    168 | 10.748 % |
48.05/48.11	c |      9733 |  150066   876968  2452278 |   326952     9531    168 | 10.748 % |
48.36/48.41	c |      9854 |  150062   876968  2452278 |   326952     9651    167 | 10.759 % |
49.05/49.10	c |      9992 |  150054   876968  2452278 |   326952     9787    166 | 11.108 % |
49.55/49.65	c |     10138 |  150054   876968  2452278 | 2147483647     9933    167 | 11.108 % |
50.05/50.15	c |     10298 |  150007   876968  2452278 | 2147483647    10090    165 | 11.270 % |
50.75/50.89	c |     10474 |  149992   876968  2452278 | 2147483647    10264    163 | 11.408 % |
51.66/51.77	c |     10669 |  148957   870617  2436099 | 2147483647    10455    163 | 11.408 % |
53.25/53.37	c |     10881 |  148957   870617  2436099 | 2147483647    10667    180 | 11.408 % |
53.95/54.03	c |     11114 |  148796   870617  2436099 | 2147483647    10896    177 | 11.911 % |
54.45/54.58	c |     11372 |  148787   870617  2436099 | 2147483647    11153    175 | 12.018 % |
55.25/55.31	c |     11654 |  147920   864902  2421817 | 2147483647    11426    172 | 12.141 % |
55.45/55.55	c |     11754 |  147920   864902  2421817 | 2147483647    11526    171 | 12.141 % |
55.65/55.74	c |     11864 |  147920   864902  2421817 | 2147483647    11636    170 | 12.141 % |
55.85/55.96	c |     11986 |  147920   864902  2421817 | 2147483647    11758    170 | 12.141 % |
56.15/56.23	c |     12119 |  147920   864902  2421817 | 2147483647    11891    169 | 12.141 % |
56.65/56.72	c |     12265 |  147920   864902  2421817 | 2147483647    12037    168 | 12.141 % |
57.25/57.31	c |     12425 |  147917   864902  2421817 | 2147483647    12196    167 | 12.213 % |
57.55/57.64	c |     12603 |  147915   864902  2421817 | 2147483647    12373    165 | 12.336 % |
57.95/58.09	c |     12796 |  147397   862078  2414966 | 2147483647    12565    163 | 12.336 % |
58.84/59.00	c |     13009 |  147393   862078  2414966 | 2147483647    12777    162 | 12.372 % |
59.45/59.59	c |     13242 |  147379   862078  2414966 | 2147483647    13008    160 | 12.418 % |
60.25/60.34	c |     13498 |  147378   862078  2414966 | 2147483647    13263    160 | 12.419 % |
61.15/61.28	c |     13781 |  147160   860590  2411303 | 2147483647    13464    158 | 12.477 % |
61.75/61.81	c |     14093 |  147160   860590  2411303 | 2147483647    13776    158 | 12.477 % |
61.85/61.99	c |     14193 |  147160   860590  2411303 | 2147483647    13876    157 | 12.477 % |
62.75/62.83	c |     14308 |  147160   860590  2411303 | 2147483647    13991    159 | 12.477 % |
63.45/63.51	c |     14429 |  147160   860590  2411303 | 2147483647    14112    159 | 12.477 % |
63.75/63.83	c |     14562 |  147160   860590  2411303 | 2147483647    14245    158 | 12.477 % |
64.25/64.32	c |     14708 |  147159   860590  2411303 | 2147483647    14390    157 | 12.477 % |
64.94/65.07	c |     14868 |  147076   860590  2411303 | 2147483647    14549    158 | 12.602 % |
65.34/65.41	c |     15048 |  146949   859257  2407842 | 2147483647    14727    158 | 12.602 % |
66.25/66.34	c |     15241 |  146949   859257  2407842 | 2147483647    14920    160 | 12.602 % |
67.35/67.46	c |     15453 |  146937   859257  2407842 | 2147483647    15130    161 | 12.710 % |
67.75/67.88	c |     15686 |  146937   859257  2407842 | 2147483647    15363    161 | 12.710 % |
68.35/68.48	c |     15942 |  146937   859257  2407842 | 2147483647    15619    161 | 12.710 % |
69.25/69.33	c |     16224 |  146937   859257  2407842 | 2147483647    15901    164 | 12.710 % |
70.95/71.10	c |     16533 |  146765   858259  2405150 | 2147483647    16208    168 | 12.722 % |
71.85/71.98	c |     16873 |  146765   858259  2405150 | 2147483647    16548    167 | 12.722 % |
72.74/72.83	c |     16973 |  146765   858259  2405150 | 2147483647    16648    168 | 12.722 % |
73.14/73.26	c |     17089 |  146765   858259  2405150 | 2147483647    16764    170 | 12.722 % |
73.55/73.65	c |     17212 |  146765   858259  2405150 | 2147483647    16887    170 | 12.722 % |
73.84/73.94	c |     17345 |  146765   858259  2405150 | 2147483647    17020    169 | 12.722 % |
74.75/74.83	c |     17491 |  146747   858132  2404817 | 2147483647    17166    170 | 12.722 % |
75.54/75.63	c |     17652 |  146747   858132  2404817 | 2147483647    17327    174 | 12.722 % |
76.85/76.98	c |     17828 |  146747   858132  2404817 | 2147483647    17503    177 | 12.722 % |
77.54/77.67	c |     18021 |  146747   858132  2404817 | 2147483647    17696    180 | 12.722 % |
78.64/78.72	c |     18235 |  146747   858132  2404817 | 2147483647    17910    180 | 12.722 % |
79.75/79.89	c |     18471 |  146747   858132  2404817 | 2147483647    18146    187 | 12.722 % |
81.25/81.33	c |     18728 |  146747   858132  2404817 | 2147483647    18403    190 | 12.722 % |
83.45/83.56	c |     19014 |  146724   857983  2404440 | 2147483647    18686    195 | 12.736 % |
84.34/84.43	c |     19323 |  146661   857983  2404440 | 2147483647    18993    193 | 12.847 % |
85.94/86.02	c |     19662 |  146661   857983  2404440 | 2147483647    19332    196 | 12.847 % |
87.54/87.66	c |     20036 |  146661   857983  2404440 | 2147483647    19705    196 | 12.959 % |
87.74/87.90	c |     20136 |  146661   857983  2404440 | 2147483647    19805    195 | 12.959 % |
87.94/88.08	c |     20248 |  146661   857983  2404440 | 2147483647    19917    195 | 12.959 % |
88.24/88.32	c |     20372 |  146661   857983  2404440 | 2147483647    20041    194 | 12.959 % |
88.94/89.01	c |     20507 |  146661   857983  2404440 | 2147483647    20176    195 | 12.959 % |
89.34/89.48	c |     20656 |  146349   855902  2399450 | 2147483647    20322    195 | 12.959 % |
89.84/89.92	c |     20816 |  146349   855902  2399450 | 2147483647    20482    194 | 12.959 % |
90.44/90.50	c |     20992 |  146349   855902  2399450 | 2147483647    20658    194 | 12.959 % |
91.14/91.23	c |     21186 |  146345   855902  2399450 | 2147483647    20850    194 | 13.039 % |
91.54/91.69	c |     21399 |  146345   855902  2399450 | 2147483647    21063    193 | 13.039 % |
91.74/91.86	c |     21634 |  146345   855902  2399450 | 2147483647    21298    191 | 13.039 % |
92.24/92.36	c |     21890 |  146151   855902  2399450 | 2147483647    21553    190 | 13.263 % |
92.74/92.81	c |     22172 |  146151   855902  2399450 | 2147483647    21835    189 | 13.263 % |
94.34/94.44	c |     22484 |  146151   855902  2399450 | 2147483647    22147    190 | 13.263 % |
96.03/96.13	c |     22826 |  145838   853555  2394675 | 2147483647    22484    201 | 13.263 % |
96.75/96.85	c |     23198 |  145837   853555  2394675 | 2147483647    22855    200 | 13.275 % |
97.34/97.46	c |     23607 |  145837   853555  2394675 | 2147483647    23264    198 | 13.275 % |
97.44/97.57	c |     23707 |  145837   853555  2394675 | 2147483647    23364    198 | 13.275 % |
97.74/97.88	c |     23817 |  145837   853555  2394675 | 2147483647    23474    198 | 13.275 % |
98.44/98.59	c |     23938 |  145837   853555  2394675 | 2147483647    23595    200 | 13.275 % |
99.14/99.27	c |     24073 |  145837   853555  2394675 | 2147483647    23730    200 | 13.275 % |
99.64/99.74	c |     24219 |  145837   853555  2394675 | 2147483647    23876    201 | 13.275 % |
100.44/100.57	c |     24379 |  145836   853555  2394675 | 2147483647    24035    202 | 13.286 % |
101.73/101.83	c |     24555 |  145799   853302  2394011 | 2147483647    24209    203 | 13.286 % |
102.53/102.69	c |     24748 |  145799   853302  2394011 | 2147483647    24402    203 | 13.286 % |
103.63/103.77	c |     24960 |  145798   853302  2394011 | 2147483647    24613    204 | 13.288 % |
104.83/104.92	c |     25194 |  145798   853302  2394011 | 2147483647    24847    203 | 13.288 % |
105.74/105.86	c |     25450 |  145798   853302  2394011 | 2147483647    25103    202 | 13.288 % |
107.93/108.05	c |     25732 |  145796   853302  2394011 | 2147483647    25383    208 | 13.290 % |
109.94/110.08	c |     26041 |  145791   853253  2393896 | 2147483647    25689    211 | 13.291 % |
110.73/110.86	c |     26381 |  145791   853253  2393896 | 2147483647    26029    210 | 13.291 % |
111.43/111.53	c |     26753 |  145687   853253  2393896 | 2147483647    26399    209 | 13.404 % |
112.43/112.54	c |     27165 |  145687   853253  2393896 | 2147483647    26811    207 | 13.404 % |
113.83/113.93	c |     27614 |  145673   853253  2393896 | 2147483647    27259    206 | 13.431 % |
114.33/114.44	c |     27715 |  145673   853253  2393896 | 2147483647    27360    206 | 13.431 % |
115.03/115.18	c |     27825 |  145673   853253  2393896 | 2147483647    27470    206 | 13.431 % |
115.63/115.72	c |     27946 |  145673   853253  2393896 | 2147483647    27591    207 | 13.431 % |
116.03/116.12	c |     28079 |  145673   853253  2393896 | 2147483647    27724    207 | 13.431 % |
116.33/116.48	c |     28225 |  145555   852078  2390794 | 2147483647    27868    207 | 13.431 % |
116.63/116.78	c |     28385 |  145555   852078  2390794 | 2147483647    28028    207 | 13.431 % |
118.03/118.14	c |     28562 |  145555   852078  2390794 | 2147483647    28205    208 | 13.431 % |
118.92/119.06	c |     28755 |  145542   852078  2390794 | 2147483647    28397    207 | 13.499 % |
120.03/120.18	c |     28967 |  145542   852078  2390794 | 2147483647    28609    209 | 13.499 % |
121.43/121.51	c |     29202 |  145542   852078  2390794 | 2147483647    28844    209 | 13.499 % |
123.13/123.29	c |     29460 |  145510   852078  2390794 | 2147483647    29101    214 | 13.533 % |
124.52/124.60	c |     29742 |  145510   852078  2390794 | 2147483647    29383    213 | 13.533 % |
126.72/126.84	c |     30052 |  145384   850858  2387582 | 2147483647    29668    217 | 13.533 % |
127.72/127.86	c |     30391 |  145384   850858  2387582 | 2147483647    30007    217 | 13.533 % |
131.03/131.15	c |     30763 |  145384   850858  2387582 | 2147483647    30379    217 | 13.533 % |
132.93/133.06	c |     31172 |  145384   850858  2387582 | 2147483647    30788    218 | 13.533 % |
135.13/135.27	c |     31622 |  144855   848894  2383654 | 2147483647    31231    218 | 13.886 % |
137.72/137.87	c |     32116 |  144664   848894  2383654 | 2147483647    31723    219 | 14.985 % |
138.02/138.14	c |     32219 |  144664   848894  2383654 | 2147483647    31826    219 | 14.985 % |
138.22/138.37	c |     32329 |  144664   848894  2383654 | 2147483647    31936    219 | 14.985 % |
139.32/139.42	c |     32450 |  144664   848894  2383654 | 2147483647    32057    220 | 14.985 % |
139.92/140.05	c |     32583 |  144664   848894  2383654 | 2147483647    32190    221 | 14.985 % |
140.42/140.57	c |     32729 |  144664   848894  2383654 | 2147483647    32336    221 | 14.985 % |
141.12/141.23	c |     32889 |  144663   848894  2383654 | 2147483647    32495    221 | 14.989 % |
142.52/142.62	c |     33065 |  144662   848894  2383654 | 2147483647    32670    222 | 14.989 % |
144.23/144.32	c |     33258 |  142935   836596  2351921 | 2147483647    32813    224 | 14.989 % |
145.13/145.29	c |     33470 |  142934   836596  2351921 | 2147483647    33024    224 | 15.002 % |
145.53/145.64	c |     33703 |  142934   836596  2351921 | 2147483647    33257    224 | 15.002 % |
146.92/147.06	c |     33959 |  142934   836596  2351921 | 2147483647    33513    225 | 15.002 % |
148.52/148.61	c |     34240 |  142933   836596  2351921 | 2147483647    33793    227 | 15.003 % |
149.72/149.89	c |     34550 |  142932   836596  2351921 | 2147483647    34102    227 | 15.003 % |
152.52/152.69	c |     34889 |  142932   836596  2351921 | 2147483647    34441    229 | 15.003 % |
154.12/154.21	c |     35266 |  142932   836596  2351921 | 2147483647    34818    233 | 15.003 % |
156.82/156.97	c |     35675 |  142908   836455  2351560 | 2147483647    35226    235 | 15.031 % |
159.12/159.25	c |     36124 |  142903   836455  2351560 | 2147483647    35674    237 | 15.042 % |
162.62/162.77	c |     36619 |  142903   836455  2351560 | 2147483647    36169    240 | 15.042 % |
165.82/165.99	c |     37161 |  142903   836455  2351560 | 2147483647    36711    245 | 15.042 % |
167.02/167.19	c |     37261 |  142847   835888  2350091 | 2147483647    36797    246 | 15.042 % |
167.91/168.00	c |     37372 |  142842   835888  2350091 | 2147483647    36904    246 | 15.047 % |
168.31/168.41	c |     37499 |  142841   835888  2350091 | 2147483647    37030    246 | 15.075 % |
168.61/168.73	c |     37632 |  142841   835888  2350091 | 2147483647    37163    246 | 15.075 % |
169.22/169.34	c |     37778 |  142841   835888  2350091 | 2147483647    37309    246 | 15.075 % |
169.71/169.82	c |     37938 |  142841   835888  2350091 | 2147483647    37469    245 | 15.075 % |
170.01/170.15	c |     38114 |  142841   835888  2350091 | 2147483647    37645    244 | 15.075 % |
171.42/171.57	c |     38307 |  142841   835888  2350091 | 2147483647    37838    248 | 15.075 % |
172.31/172.46	c |     38523 |  142841   835888  2350091 | 2147483647    38054    248 | 15.075 % |
173.21/173.38	c |     38756 |  142841   835888  2350091 | 2147483647    38287    247 | 15.075 % |
174.51/174.67	c |     39014 |  142840   835888  2350091 | 2147483647    38544    248 | 15.076 % |
175.81/175.97	c |     39295 |  142840   835888  2350091 | 2147483647    38825    247 | 15.076 % |
177.71/177.89	c |     39604 |  142840   835888  2350091 | 2147483647    39134    253 | 15.076 % |
180.41/180.56	c |     39943 |  142840   835888  2350091 | 2147483647    39473    255 | 15.076 % |
183.21/183.33	c |     40321 |  142789   835430  2348878 | 2147483647    39819    259 | 15.076 % |
185.31/185.44	c |     40730 |  142781   835430  2348878 | 2147483647    40226    263 | 15.139 % |
188.31/188.47	c |     41179 |  142781   835430  2348878 | 2147483647    40675    267 | 15.139 % |
191.00/191.19	c |     41672 |  142781   835430  2348878 | 2147483647    41168    270 | 15.139 % |
195.41/195.51	c |     42215 |  142760   835430  2348878 | 2147483647    41709    271 | 15.157 % |
198.51/198.60	c |     42811 |  142495   834697  2346898 | 2147483647    42280    272 | 15.361 % |
199.31/199.48	c |     42911 |  142473   834697  2346898 | 2147483647    42380    271 | 15.361 % |
199.81/199.94	c |     43023 |  142473   834697  2346898 | 2147483647    42492    271 | 15.361 % |
200.20/200.33	c |     43145 |  142473   834697  2346898 | 2147483647    42614    271 | 15.361 % |
200.70/200.88	c |     43278 |  142473   834697  2346898 | 2147483647    42747    271 | 15.361 % |
201.80/201.96	c |     43424 |  142473   834697  2346898 | 2147483647    42893    272 | 15.361 % |
203.10/203.25	c |     43584 |  142472   834697  2346898 | 2147483647    43052    273 | 15.361 % |
204.30/204.41	c |     43760 |  142472   834697  2346898 | 2147483647    43228    275 | 15.361 % |
205.10/205.24	c |     43953 |  142472   834697  2346898 | 2147483647    43421    275 | 15.361 % |
205.50/205.64	c |     44167 |  142472   834697  2346898 | 2147483647    43635    274 | 15.361 % |
206.80/206.96	c |     44404 |  142457   834697  2346898 | 2147483647    43870    274 | 15.377 % |
208.71/208.85	c |     44660 |  142456   834697  2346898 | 2147483647    44125    275 | 15.377 % |
210.01/210.12	c |     44941 |  142456   834697  2346898 | 2147483647    44406    276 | 15.377 % |
211.11/211.25	c |     45251 |  142264   832936  2343205 | 2147483647    44694    275 | 15.411 % |
211.80/211.94	c |     45592 |  142264   832936  2343205 | 2147483647    45035    274 | 15.411 % |
213.80/213.96	c |     45965 |  142264   832936  2343205 | 2147483647    45408    276 | 15.411 % |
214.90/215.02	c |     46374 |  142264   832936  2343205 | 2147483647    45817    276 | 15.411 % |
215.80/215.95	c |     46823 |  142263   832936  2343205 | 2147483647    46265    275 | 15.429 % |
217.00/217.10	c |     47322 |  142258   832936  2343205 | 2147483647    46763    274 | 15.440 % |
218.20/218.31	c |     47865 |  142189   832936  2343205 | 2147483647    47305    272 | 15.484 % |
223.39/223.52	c |     48461 |  142188   832936  2343205 | 2147483647    47900    278 | 15.485 % |
227.19/227.32	c |     49119 |  142188   832936  2343205 | 2147483647    48558    284 | 15.485 % |
227.60/227.75	c |     49219 |  142102   831974  2340699 | 2147483647    48648    284 | 15.485 % |
228.00/228.17	c |     49330 |  142102   831974  2340699 | 2147483647    48759    284 | 15.485 % |
229.00/229.19	c |     49455 |  142102   831974  2340699 | 2147483647    48884    284 | 15.485 % |
229.80/229.99	c |     49588 |  142102   831974  2340699 | 2147483647    49017    285 | 15.485 % |
231.00/231.18	c |     49734 |  142102   831974  2340699 | 2147483647    49163    285 | 15.485 % |
232.00/232.19	c |     49895 |  142102   831974  2340699 | 2147483647    49324    287 | 15.485 % |
233.00/233.20	c |     50071 |  142102   831974  2340699 | 2147483647    49500    287 | 15.485 % |
233.59/233.71	c |     50268 |  142102   831974  2340699 | 2147483647    49697    287 | 15.485 % |
235.20/235.34	c |     50480 |  142101   831974  2340699 | 2147483647    49908    289 | 15.485 % |
235.99/236.11	c |     50714 |  142101   831974  2340699 | 2147483647    50142    289 | 15.485 % |
237.19/237.36	c |     50970 |  142101   831974  2340699 | 2147483647    50398    289 | 15.485 % |
238.69/238.87	c |     51252 |  142092   831974  2340699 | 2147483647    50678    289 | 15.494 % |
239.29/239.49	c |     51563 |  142092   831974  2340699 | 2147483647    50989    288 | 15.494 % |
241.19/241.39	c |     51902 |  142092   831974  2340699 | 2147483647    51328    289 | 15.494 % |
243.69/243.85	c |     52274 |  142091   831974  2340699 | 2147483647    51699    290 | 15.494 % |
246.48/246.66	c |     52684 |  142090   831974  2340699 | 2147483647    52108    293 | 15.497 % |
248.68/248.82	c |     53134 |  142082   831841  2340347 | 2147483647    52556    294 | 15.497 % |
251.99/252.18	c |     53628 |  142082   831841  2340347 | 2147483647    53050    298 | 15.497 % |
255.79/255.96	c |     54171 |  142070   831841  2340347 | 2147483647    53592    302 | 15.592 % |
258.98/259.13	c |     54768 |  142042   831841  2340347 | 2147483647    54186    303 | 15.655 % |
266.38/266.56	c |     55424 |  142042   831841  2340347 | 2147483647    54842    311 | 15.655 % |
271.78/271.97	c |     56145 |  142042   831841  2340347 | 2147483647    55563    317 | 15.655 % |
272.68/272.81	c |     56246 |  141816   830336  2336693 | 2147483647    55663    317 | 15.655 % |
273.38/273.52	c |     56356 |  141816   830336  2336693 | 2147483647    55773    317 | 15.655 % |
274.08/274.22	c |     56481 |  141816   830336  2336693 | 2147483647    55898    316 | 15.655 % |
274.58/274.71	c |     56614 |  141816   830336  2336693 | 2147483647    56031    316 | 15.655 % |
274.78/274.92	c |     56761 |  141815   830336  2336693 | 2147483647    56177    315 | 15.656 % |
275.57/275.73	c |     56921 |  141815   830336  2336693 | 2147483647    56337    315 | 15.656 % |
276.27/276.44	c |     57098 |  141815   830336  2336693 | 2147483647    56514    316 | 15.656 % |
277.37/277.54	c |     57292 |  141815   830336  2336693 | 2147483647    56708    315 | 15.656 % |
278.68/278.82	c |     57505 |  141815   830336  2336693 | 2147483647    56921    316 | 15.656 % |
279.78/279.99	c |     57738 |  141815   830336  2336693 | 2147483647    57154    315 | 15.656 % |
281.08/281.22	c |     57994 |  141815   830336  2336693 | 2147483647    57410    315 | 15.656 % |
283.27/283.44	c |     58277 |  141815   830336  2336693 | 2147483647    57693    318 | 15.656 % |
285.57/285.72	c |     58586 |  141815   830336  2336693 | 2147483647    58002    321 | 15.656 % |
286.47/286.62	c |     58925 |  141815   830336  2336693 | 2147483647    58341    321 | 15.656 % |
288.27/288.46	c |     59298 |  141815   830336  2336693 | 2147483647    58714    320 | 15.656 % |
290.28/290.41	c |     59711 |  141815   830336  2336693 | 2147483647    59126    323 | 15.855 % |
291.17/291.32	c |     60160 |  141815   830336  2336693 | 2147483647    59575    322 | 15.855 % |
293.67/293.82	c |     60653 |  141814   830336  2336693 | 2147483647    60067    323 | 15.856 % |
296.27/296.44	c |     61196 |  141813   830336  2336693 | 2147483647    60609    323 | 15.857 % |
300.08/300.27	c |     61794 |  141477   828226  2331243 | 2147483647    61201    329 | 15.857 % |
303.97/304.10	c |     62449 |  141467   828226  2331243 | 2147483647    61853    329 | 15.870 % |
309.07/309.26	c |     63169 |  141465   828226  2331243 | 2147483647    62571    333 | 15.871 % |
315.36/315.53	c |     63961 |  141463   828226  2331243 | 2147483647    63361    342 | 15.874 % |
316.16/316.34	c |     64062 |  141463   828226  2331243 | 2147483647    63462    343 | 15.874 % |
316.46/316.64	c |     64173 |  141463   828226  2331243 | 2147483647    63573    343 | 15.874 % |
317.06/317.27	c |     64295 |  141463   828226  2331243 | 2147483647    63695    343 | 15.874 % |
317.86/318.08	c |     64429 |  141463   828226  2331243 | 2147483647    63829    343 | 15.874 % |
318.96/319.18	c |     64576 |  141462   828226  2331243 | 2147483647    63975    343 | 15.876 % |
320.16/320.33	c |     64738 |  141462   828226  2331243 | 2147483647    64137    344 | 15.876 % |
320.66/320.88	c |     64916 |  141454   828226  2331243 | 2147483647    64314    344 | 15.897 % |
321.06/321.25	c |     65109 |  141454   828226  2331243 | 2147483647    64507    343 | 15.897 % |
321.46/321.64	c |     65321 |  141454   828226  2331243 | 2147483647    64719    343 | 15.897 % |
322.46/322.68	c |     65556 |  141454   828226  2331243 | 2147483647    64954    343 | 15.897 % |
323.96/324.11	c |     65812 |  141454   828226  2331243 | 2147483647    65210    343 | 15.897 % |
324.86/325.01	c |     66093 |  141454   828226  2331243 | 2147483647    65491    343 | 15.897 % |
326.56/326.79	c |     66403 |  141409   827781  2330063 | 2147483647    65795    343 | 15.897 % |
328.66/328.81	c |     66743 |  141409   827781  2330063 | 2147483647    66135    344 | 15.897 % |
331.25/331.49	c |     67116 |  141408   827781  2330063 | 2147483647    66507    346 | 15.898 % |
333.55/333.75	c |     67525 |  141407   827781  2330063 | 2147483647    66915    346 | 15.898 % |
335.65/335.88	c |     67974 |  141370   827781  2330063 | 2147483647    67362    346 | 16.020 % |
338.95/339.19	c |     68467 |  141370   827781  2330063 | 2147483647    67855    348 | 16.020 % |
342.46/342.63	c |     69009 |  141330   827781  2330063 | 2147483647    68394    348 | 16.090 % |
346.65/346.83	c |     69610 |  141329   827781  2330063 | 2147483647    68994    350 | 16.090 % |
349.65/349.84	c |     70265 |  141263   827781  2330063 | 2147483647    69648    350 | 16.168 % |
355.34/355.52	c |     70985 |  140953   825717  2325907 | 2147483647    70269    354 | 16.168 % |
360.05/360.24	c |     71777 |  140952   825717  2325907 | 2147483647    71060    357 | 16.169 % |
365.05/365.25	c |     72649 |  140952   825717  2325907 | 2147483647    71932    357 | 16.169 % |
365.85/366.02	c |     72749 |  140952   825717  2325907 | 2147483647    72032    357 | 16.169 % |
366.55/366.71	c |     72859 |  140951   825717  2325907 | 2147483647    72141    357 | 16.169 % |
367.45/367.61	c |     72981 |  140951   825717  2325907 | 2147483647    72263    357 | 16.169 % |
368.04/368.20	c |     73114 |  140951   825717  2325907 | 2147483647    72396    356 | 16.169 % |
368.54/368.75	c |     73262 |  140941   825717  2325907 | 2147483647    72543    356 | 16.243 % |
369.14/369.39	c |     73422 |  140924   825717  2325907 | 2147483647    72702    356 | 16.309 % |
369.94/370.12	c |     73598 |  140924   825717  2325907 | 2147483647    72878    356 | 16.309 % |
371.14/371.38	c |     73793 |  140924   825717  2325907 | 2147483647    73073    357 | 16.309 % |
372.44/372.60	c |     74006 |  140924   825717  2325907 | 2147483647    73286    357 | 16.309 % |
373.74/373.92	c |     74240 |  140923   825717  2325907 | 2147483647    73519    358 | 16.309 % |
375.64/375.83	c |     74498 |  140923   825717  2325907 | 2147483647    73777    359 | 16.309 % |
377.34/377.54	c |     74781 |  140923   825717  2325907 | 2147483647    74060    359 | 16.309 % |
379.24/379.46	c |     75090 |  140923   825717  2325907 | 2147483647    74369    359 | 16.309 % |
381.54/381.76	c |     75429 |  140922   825717  2325907 | 2147483647    74707    361 | 16.310 % |
384.24/384.47	c |     75801 |  140922   825717  2325907 | 2147483647    75079    365 | 16.310 % |
386.54/386.76	c |     76211 |  140922   825717  2325907 | 2147483647    75489    366 | 16.310 % |
389.63/389.81	c |     76661 |  140922   825717  2325907 | 2147483647    75939    368 | 16.310 % |
391.53/391.72	c |     77154 |  140711   824062  2321561 | 2147483647    76381    367 | 16.312 % |
396.04/396.24	c |     77697 |  140711   824062  2321561 | 2147483647    76924    369 | 16.312 % |
400.83/401.07	c |     78294 |  140711   824062  2321561 | 2147483647    77521    372 | 16.312 % |
403.23/403.46	c |     78949 |  140711   824062  2321561 | 2147483647    78176    372 | 16.312 % |
408.43/408.61	c |     79669 |  140711   824062  2321561 | 2147483647    78896    376 | 16.312 % |
413.13/413.37	c |     80461 |  140710   824062  2321561 | 2147483647    79687    378 | 16.313 % |
418.23/418.43	c |     81332 |  140710   824062  2321561 | 2147483647    80558    381 | 16.313 % |
424.02/424.28	c |     82290 |  140710   824062  2321561 | 2147483647    81516    383 | 16.313 % |
424.82/425.04	c |     82390 |  140710   824062  2321561 | 2147483647    81616    384 | 16.313 % |
425.62/425.85	c |     82500 |  140710   824062  2321561 | 2147483647    81726    384 | 16.313 % |
426.02/426.23	c |     82623 |  140710   824062  2321561 | 2147483647    81849    383 | 16.313 % |
426.72/426.94	c |     82757 |  140710   824062  2321561 | 2147483647    81983    383 | 16.313 % |
427.22/427.42	c |     82903 |  140710   824062  2321561 | 2147483647    82129    382 | 16.313 % |
427.82/428.06	c |     83064 |  140659   824062  2321561 | 2147483647    82289    382 | 16.489 % |
429.12/429.31	c |     83240 |  140630   824062  2321561 | 2147483647    82464    382 | 16.492 % |
430.63/430.86	c |     83435 |  140630   824062  2321561 | 2147483647    82659    384 | 16.492 % |
431.53/431.75	c |     83648 |  140407   822558  2317339 | 2147483647    82819    383 | 16.493 % |
433.33/433.53	c |     83882 |  140406   822558  2317339 | 2147483647    83052    383 | 16.494 % |
434.42/434.68	c |     84138 |  140406   822558  2317339 | 2147483647    83308    383 | 16.494 % |
435.02/435.25	c |     84419 |  140406   822558  2317339 | 2147483647    83589    382 | 16.494 % |
436.22/436.49	c |     84729 |  140406   822558  2317339 | 2147483647    83899    382 | 16.494 % |
439.12/439.32	c |     85070 |  140386   822558  2317339 | 2147483647    84238    385 | 16.513 % |
441.02/441.21	c |     85442 |  140385   822558  2317339 | 2147483647    84609    385 | 16.513 % |
443.72/443.98	c |     85851 |  140385   822558  2317339 | 2147483647    85018    387 | 16.513 % |
445.82/446.05	c |     86301 |  140384   822558  2317339 | 2147483647    85467    386 | 16.514 % |
449.92/450.12	c |     86794 |  140384   822558  2317339 | 2147483647    85960    389 | 16.514 % |
452.62/452.86	c |     87336 |  140380   822558  2317339 | 2147483647    86499    389 | 16.517 % |
456.41/456.61	c |     87932 |  140380   822558  2317339 | 2147483647    87095    391 | 16.517 % |
461.11/461.33	c |     88588 |  140380   822558  2317339 | 2147483647    87751    393 | 16.517 % |
464.32/464.50	c |     89308 |  140380   822558  2317339 | 2147483647    88471    393 | 16.517 % |
470.81/471.09	c |     90100 |  140378   822558  2317339 | 2147483647    89260    397 | 16.519 % |
473.71/473.95	c |     90971 |  140362   822558  2317339 | 2147483647    90130    395 | 16.770 % |
479.71/479.99	c |     91929 |  139915   820326  2312636 | 2147483647    91025    397 | 16.786 % |
487.71/487.95	c |     92982 |  139911   820326  2312636 | 2147483647    92076    399 | 16.789 % |
488.31/488.54	c |     93082 |  139911   820326  2312636 | 2147483647    92176    399 | 16.789 % |
488.71/488.98	c |     93192 |  139911   820326  2312636 | 2147483647    92286    399 | 16.789 % |
489.21/489.43	c |     93314 |  139907   820326  2312636 | 2147483647    92405    399 | 16.799 % |
490.01/490.27	c |     93448 |  139900   820326  2312636 | 2147483647    92539    399 | 16.799 % |
491.11/491.36	c |     93595 |  139900   820326  2312636 | 2147483647    92686    399 | 16.799 % |
492.21/492.44	c |     93756 |  139900   820326  2312636 | 2147483647    92847    399 | 16.799 % |
493.71/493.91	c |     93933 |  139900   820326  2312636 | 2147483647    93024    399 | 16.799 % |
494.91/495.12	c |     94127 |  139900   820326  2312636 | 2147483647    93218    399 | 16.799 % |
496.70/496.96	c |     94339 |  139900   820326  2312636 | 2147483647    93430    399 | 16.799 % |
497.60/497.86	c |     94572 |  139900   820326  2312636 | 2147483647    93663    399 | 16.799 % |
498.30/498.52	c |     94828 |  139900   820326  2312636 | 2147483647    93919    398 | 16.799 % |
500.80/501.04	c |     95109 |  139900   820326  2312636 | 2147483647    94200    399 | 16.799 % |
502.51/502.73	c |     95420 |  139900   820326  2312636 | 2147483647    94511    399 | 16.799 % |
504.71/504.91	c |     95761 |  139900   820326  2312636 | 2147483647    94852    399 | 16.799 % |
506.30/506.52	c |     96137 |  139899   820326  2312636 | 2147483647    95227    399 | 16.800 % |
510.40/510.65	c |     96546 |  139899   820326  2312636 | 2147483647    95636    401 | 16.800 % |
512.80/513.02	c |     96995 |  139898   820326  2312636 | 2147483647    96084    400 | 16.800 % |
517.30/517.54	c |     97488 |  139898   820326  2312636 | 2147483647    96577    403 | 16.800 % |
519.10/519.30	c |     98030 |  139581   820326  2312636 | 2147483647    97115    402 | 17.198 % |
521.70/521.95	c |     98627 |  139581   820326  2312636 | 2147483647    97712    401 | 17.198 % |
526.89/527.12	c |     99282 |  139581   820326  2312636 | 2147483647    98367    406 | 17.198 % |
530.10/530.31	c |    100002 |  139220   817099  2305956 | 2147483647    99049    405 | 17.199 % |
533.40/533.65	c |    100794 |  139220   817099  2305956 | 2147483647    99841    403 | 17.199 % |
539.29/539.59	c |    101667 |  139219   817099  2305956 | 2147483647   100713    405 | 17.200 % |
544.39/544.60	c |    102625 |  139219   817099  2305956 | 2147483647   101671    406 | 17.200 % |
553.19/553.43	c |    103681 |  139219   817099  2305956 | 2147483647   102727    411 | 17.200 % |
561.39/561.65	c |    104839 |  139216   817099  2305956 | 2147483647   103883    415 | 17.203 % |
562.09/562.39	c |    104939 |  139216   817099  2305956 | 2147483647   103983    415 | 17.203 % |
562.39/562.69	c |    105052 |  139216   817099  2305956 | 2147483647   104096    415 | 17.203 % |
563.08/563.38	c |    105175 |  139216   817099  2305956 | 2147483647   104219    415 | 17.203 % |
564.49/564.74	c |    105309 |  139216   817099  2305956 | 2147483647   104353    415 | 17.203 % |
565.10/565.37	c |    105455 |  139216   817099  2305956 | 2147483647   104499    415 | 17.203 % |
565.69/565.93	c |    105616 |  139216   817099  2305956 | 2147483647   104660    415 | 17.203 % |
566.39/566.61	c |    105792 |  139216   817099  2305956 | 2147483647   104836    414 | 17.203 % |
566.89/567.19	c |    105986 |  139215   817099  2305956 | 2147483647   105029    414 | 17.212 % |
568.99/569.23	c |    106201 |  139212   817099  2305956 | 2147483647   105244    415 | 17.212 % |
570.78/571.05	c |    106435 |  139212   817099  2305956 | 2147483647   105478    415 | 17.212 % |
572.58/572.87	c |    106694 |  139143   817099  2305956 | 2147483647   105736    415 | 17.374 % |
574.98/575.27	c |    106975 |  139139   817099  2305956 | 2147483647   106015    415 | 17.384 % |
577.39/577.67	c |    107284 |  139139   817099  2305956 | 2147483647   106324    416 | 17.384 % |
579.98/580.21	c |    107624 |  139139   817099  2305956 | 2147483647   106663    416 | 17.385 % |
583.18/583.43	c |    107998 |  139139   817099  2305956 | 2147483647   107037    418 | 17.385 % |
584.58/584.82	c |    108413 |  139139   817099  2305956 | 2147483647   107452    417 | 17.385 % |
587.28/587.58	c |    108862 |  139139   817099  2305956 | 2147483647   107901    418 | 17.385 % |
590.88/591.14	c |    109355 |  139139   817099  2305956 | 2147483647   108394    419 | 17.385 % |
595.38/595.69	c |    109897 |  139139   817099  2305956 | 2147483647   108936    421 | 17.385 % |
600.47/600.77	c |    110493 |  138908   815626  2302822 | 2147483647   109449    424 | 17.385 % |
604.68/604.92	c |    111148 |  138905   815626  2302822 | 2147483647   110101    425 | 17.388 % |
610.18/610.47	c |    111868 |  138903   815626  2302822 | 2147483647   110820    427 | 17.398 % |
617.38/617.68	c |    112660 |  138902   815626  2302822 | 2147483647   111611    430 | 17.398 % |
623.97/624.20	c |    113531 |  138902   815626  2302822 | 2147483647   112482    435 | 17.398 % |
630.67/630.99	c |    114491 |  138902   815626  2302822 | 2147483647   113442    436 | 17.398 % |
641.57/641.88	c |    115544 |  138902   815626  2302822 | 2147483647   114494    441 | 17.399 % |
652.36/652.62	c |    116702 |  138902   815626  2302822 | 2147483647   115652    446 | 17.399 % |
661.16/661.40	c |    117979 |  138901   815626  2302822 | 2147483647   116928    449 | 17.399 % |
662.06/662.39	c |    118079 |  138901   815626  2302822 | 2147483647   117028    449 | 17.399 % |
662.46/662.79	c |    118191 |  138901   815626  2302822 | 2147483647   117140    449 | 17.399 % |
663.56/663.86	c |    118312 |  138901   815626  2302822 | 2147483647   117261    449 | 17.399 % |
664.66/664.91	c |    118445 |  138901   815626  2302822 | 2147483647   117394    449 | 17.399 % |
665.56/665.86	c |    118591 |  138900   815626  2302822 | 2147483647   117539    449 | 17.400 % |
666.16/666.44	c |    118753 |  138900   815626  2302822 | 2147483647   117701    449 | 17.400 % |
667.16/667.41	c |    118931 |  138900   815626  2302822 | 2147483647   117879    449 | 17.400 % |
667.56/667.87	c |    119124 |  138900   815626  2302822 | 2147483647   118072    448 | 17.400 % |
668.16/668.45	c |    119336 |  138899   815626  2302822 | 2147483647   118283    448 | 17.408 % |
670.46/670.79	c |    119569 |  138893   815626  2302822 | 2147483647   118516    448 | 17.408 % |
671.86/672.14	c |    119827 |  138868   815361  2302155 | 2147483647   118760    448 | 17.408 % |
672.86/673.10	c |    120110 |  138868   815361  2302155 | 2147483647   119043    448 | 17.408 % |
673.46/673.79	c |    120419 |  138868   815361  2302155 | 2147483647   119352    447 | 17.408 % |
675.26/675.51	c |    120758 |  138868   815361  2302155 | 2147483647   119691    447 | 17.408 % |
677.96/678.21	c |    121130 |  138868   815361  2302155 | 2147483647   120063    448 | 17.408 % |
681.05/681.32	c |    121544 |  138868   815361  2302155 | 2147483647   120477    449 | 17.408 % |
684.86/685.11	c |    121995 |  138866   815361  2302155 | 2147483647   120926    450 | 17.410 % |
689.06/689.35	c |    122489 |  138866   815361  2302155 | 2147483647   121420    450 | 17.410 % |
692.85/693.12	c |    123031 |  138866   815361  2302155 | 2147483647   121962    452 | 17.410 % |
696.85/697.15	c |    123628 |  138866   815361  2302155 | 2147483647   122559    453 | 17.410 % |
702.75/703.06	c |    124283 |  138866   815361  2302155 | 2147483647   123214    456 | 17.410 % |
706.95/707.21	c |    125003 |  138866   815361  2302155 | 2147483647   123934    456 | 17.410 % |
712.15/712.45	c |    125796 |  138865   815361  2302155 | 2147483647   124726    457 | 17.410 % |
718.84/719.11	c |    126669 |  138865   815361  2302155 | 2147483647   125599    459 | 17.410 % |
725.65/725.97	c |    127627 |  138865   815361  2302155 | 2147483647   126557    462 | 17.410 % |
734.45/734.72	c |    128681 |  138857   815361  2302155 | 2147483647   127610    462 | 17.501 % |
743.05/743.32	c |    129844 |  138857   815361  2302155 | 2147483647   128773    468 | 17.501 % |
748.04/748.30	c |    131120 |  138833   815361  2302155 | 2147483647   130046    466 | 17.591 % |
754.94/755.27	c |    132521 |  138832   815361  2302155 | 2147483647   131446    464 | 17.592 % |
755.74/756.00	c |    132622 |  138557   813225  2296444 | 2147483647   131400    464 | 17.602 % |
756.14/756.47	c |    132733 |  138557   813225  2296444 | 2147483647   131511    464 | 17.602 % |
756.34/756.69	c |    132854 |  138557   813225  2296444 | 2147483647   131632    464 | 17.602 % |
757.34/757.67	c |    132988 |  138557   813225  2296444 | 2147483647   131766    464 | 17.602 % |
758.24/758.56	c |    133137 |  138557   813225  2296444 | 2147483647   131915    464 | 17.602 % |
758.74/759.00	c |    133299 |  138557   813225  2296444 | 2147483647   132077    464 | 17.602 % |
760.34/760.65	c |    133475 |  138557   813225  2296444 | 2147483647   132253    463 | 17.602 % |
761.43/761.70	c |    133673 |  138557   813225  2296444 | 2147483647   132451    463 | 17.602 % |
762.23/762.54	c |    133887 |  138557   813225  2296444 | 2147483647   132665    463 | 17.602 % |
764.73/765.10	c |    134123 |  138557   813225  2296444 | 2147483647   132901    463 | 17.602 % |
767.03/767.37	c |    134379 |  138557   813225  2296444 | 2147483647   133157    464 | 17.602 % |
769.63/769.96	c |    134660 |  138556   813225  2296444 | 2147483647   133437    464 | 17.603 % |
771.63/771.98	c |    134969 |  138554   813225  2296444 | 2147483647   133744    465 | 17.604 % |
773.33/773.68	c |    135309 |  138553   813225  2296444 | 2147483647   134083    464 | 17.605 % |
776.53/776.86	c |    135682 |  138552   813225  2296444 | 2147483647   134455    464 | 17.605 % |
780.23/780.51	c |    136091 |  138551   813225  2296444 | 2147483647   134863    466 | 17.606 % |
784.43/784.71	c |    136541 |  138550   813225  2296444 | 2147483647   135312    466 | 17.606 % |
787.93/788.28	c |    137034 |  138549   813225  2296444 | 2147483647   135804    466 | 17.607 % |
791.73/792.05	c |    137577 |  138549   813225  2296444 | 2147483647   136347    468 | 17.607 % |
793.73/794.04	c |    138173 |  138549   813225  2296444 | 2147483647   136943    467 | 17.607 % |
798.73/799.04	c |    138831 |  138549   813225  2296444 | 2147483647   137601    470 | 17.607 % |
804.82/805.11	c |    139552 |  138549   813225  2296444 | 2147483647   138322    472 | 17.607 % |
812.02/812.38	c |    140344 |  138549   813225  2296444 | 2147483647   139114    474 | 17.607 % |
818.12/818.45	c |    141215 |  138549   813225  2296444 | 2147483647   139985    475 | 17.607 % |
825.02/825.39	c |    142173 |  138549   813225  2296444 | 2147483647   140943    477 | 17.607 % |
834.92/835.29	c |    143227 |  138549   813225  2296444 | 2147483647   141997    483 | 17.607 % |
843.52/843.83	c |    144385 |  138548   813225  2296444 | 2147483647   143154    487 | 17.608 % |
853.21/853.53	c |    145659 |  138542   813225  2296444 | 2147483647   144425    488 | 17.619 % |
859.20/859.53	c |    147066 |  138542   813225  2296444 | 2147483647   145832    487 | 17.619 % |
876.10/876.49	c |    148606 |  138511   812943  2295719 | 2147483647   147355    490 | 17.625 % |
877.00/877.38	c |    148706 |  138511   812943  2295719 | 2147483647   147455    490 | 17.625 % |
878.10/878.40	c |    148818 |  138511   812943  2295719 | 2147483647   147567    490 | 17.625 % |
879.20/879.56	c |    148941 |  138501   812943  2295719 | 2147483647   147689    490 | 17.635 % |
880.50/880.83	c |    149079 |  138501   812943  2295719 | 2147483647   147827    490 | 17.635 % |
881.50/881.89	c |    149225 |  138501   812943  2295719 | 2147483647   147973    490 | 17.635 % |
882.80/883.13	c |    149386 |  138501   812943  2295719 | 2147483647   148134    490 | 17.635 % |
884.20/884.59	c |    149562 |  138501   812943  2295719 | 2147483647   148310    490 | 17.635 % |
885.39/885.70	c |    149755 |  138500   812943  2295719 | 2147483647   148502    490 | 17.636 % |
887.00/887.36	c |    149968 |  138500   812943  2295719 | 2147483647   148715    491 | 17.636 % |
888.70/889.08	c |    150201 |  138500   812943  2295719 | 2147483647   148948    491 | 17.636 % |
890.90/891.26	c |    150457 |  138499   812943  2295719 | 2147483647   149203    491 | 17.636 % |
893.20/893.58	c |    150738 |  138499   812943  2295719 | 2147483647   149484    491 | 17.636 % |
895.79/896.19	c |    151048 |  138499   812943  2295719 | 2147483647   149794    493 | 17.636 % |
897.99/898.38	c |    151388 |  138499   812943  2295719 | 2147483647   150134    493 | 17.636 % |
900.50/900.89	c |    151760 |  138499   812943  2295719 | 2147483647   150506    494 | 17.636 % |
902.10/902.42	c |    152169 |  138499   812943  2295719 | 2147483647   150915    493 | 17.636 % |
903.50/903.82	c |    152618 |  138499   812943  2295719 | 2147483647   151364    492 | 17.636 % |
906.70/907.09	c |    153111 |  138464   812943  2295719 | 2147483647   151856    492 | 17.665 % |
912.09/912.48	c |    153653 |  138463   812943  2295719 | 2147483647   152397    493 | 17.667 % |
917.09/917.42	c |    154249 |  138463   812943  2295719 | 2147483647   152993    495 | 17.667 % |
923.19/923.53	c |    154904 |  138462   812943  2295719 | 2147483647   153647    497 | 17.669 % |
930.59/930.98	c |    155624 |  138462   812943  2295719 | 2147483647   154367    498 | 17.669 % |
933.99/934.36	c |    156417 |  138462   812943  2295719 | 2147483647   155160    497 | 17.669 % |
939.78/940.15	c |    157288 |  138461   812943  2295719 | 2147483647   156030    499 | 17.670 % |
947.99/948.31	c |    158246 |  138461   812943  2295719 | 2147483647   156988    499 | 17.670 % |
956.08/956.46	c |    159299 |  138458   812943  2295719 | 2147483647   158039    500 | 17.673 % |
967.88/968.26	c |    160458 |  138458   812943  2295719 | 2147483647   159198    506 | 17.673 % |
978.78/979.16	c |    161733 |  138453   812943  2295719 | 2147483647   160471    508 | 17.682 % |
986.88/987.23	c |    163135 |  138453   812943  2295719 | 2147483647   161873    508 | 17.682 % |
994.08/994.42	c |    164676 |  138406   812332  2294269 | 2147483647   163362    507 | 17.683 % |
1006.97/1007.39	c |    166370 |  138387   812332  2294269 | 2147483647   165055    508 | 17.719 % |
1007.77/1008.11	c |    166471 |  138387   812332  2294269 | 2147483647   165156    508 | 17.719 % |
1008.57/1008.99	c |    166583 |  138387   812332  2294269 | 2147483647   165268    508 | 17.719 % |
1009.27/1009.69	c |    166704 |  138387   812332  2294269 | 2147483647   165389    508 | 17.719 % |
1010.37/1010.79	c |    166838 |  138386   812332  2294269 | 2147483647   165522    508 | 17.720 % |
1011.37/1011.79	c |    166985 |  138386   812332  2294269 | 2147483647   165669    508 | 17.720 % |
1012.67/1013.08	c |    167147 |  138386   812332  2294269 | 2147483647   165831    508 | 17.720 % |
1014.47/1014.86	c |    167323 |  138385   812332  2294269 | 2147483647   166006    508 | 17.721 % |
1016.27/1016.60	c |    167518 |  138385   812332  2294269 | 2147483647   166201    509 | 17.721 % |
1017.97/1018.38	c |    167731 |  138385   812332  2294269 | 2147483647   166413    509 | 17.721 % |
1019.07/1019.41	c |    167965 |  138385   812332  2294269 | 2147483647   166647    508 | 17.721 % |
1021.76/1022.18	c |    168221 |  138385   812332  2294269 | 2147483647   166903    510 | 17.721 % |
1024.87/1025.23	c |    168505 |  138384   812332  2294269 | 2147483647   167186    510 | 17.722 % |
1025.97/1026.37	c |    168814 |  138382   812332  2294269 | 2147483647   167491    510 | 17.729 % |
1029.66/1030.05	c |    169154 |  138380   812332  2294269 | 2147483647   167831    510 | 17.729 % |
1032.96/1033.38	c |    169527 |  138380   812332  2294269 | 2147483647   168204    511 | 17.729 % |
1036.66/1037.01	c |    169936 |  138379   812332  2294269 | 2147483647   168612    512 | 17.730 % |
1040.66/1041.00	c |    170386 |  138379   812332  2294269 | 2147483647   169062    513 | 17.730 % |
1044.36/1044.74	c |    170879 |  138379   812332  2294269 | 2147483647   169555    514 | 17.730 % |
1049.86/1050.21	c |    171421 |  138379   812332  2294269 | 2147483647   170097    515 | 17.730 % |
1055.36/1055.72	c |    172017 |  138379   812332  2294269 | 2147483647   170693    517 | 17.730 % |
1060.45/1060.81	c |    172672 |  138379   812332  2294269 | 2147483647   171348    519 | 17.730 % |
1066.95/1067.39	c |    173392 |  138379   812332  2294269 | 2147483647   172068    519 | 17.730 % |
1074.15/1074.55	c |    174184 |  138378   812332  2294269 | 2147483647   172859    521 | 17.731 % |
1077.84/1078.23	c |    175055 |  138377   812332  2294269 | 2147483647   173729    521 | 17.731 % |
1083.05/1083.50	c |    176014 |  138369   812332  2294269 | 2147483647   174686    519 | 17.743 % |
1090.44/1090.85	c |    177069 |  138369   812332  2294269 | 2147483647   175741    521 | 17.743 % |
1102.54/1102.94	c |    178227 |  138369   812332  2294269 | 2147483647   176899    522 | 17.743 % |
1112.04/1112.46	c |    179500 |  138364   812332  2294269 | 2147483647   178171    523 | 17.765 % |
1123.44/1123.89	c |    180900 |  138364   812332  2294269 | 2147483647   179571    525 | 17.765 % |
1132.33/1132.73	c |    182442 |  138266   811598  2292251 | 2147483647   181073    524 | 17.766 % |
1146.03/1146.49	c |    184138 |  138265   811598  2292251 | 2147483647   182768    529 | 17.767 % |
1161.73/1162.17	c |    186001 |  138263   811598  2292251 | 2147483647   184629    531 | 17.768 % |
1162.53/1162.95	c |    186101 |  138263   811598  2292251 | 2147483647   184729    531 | 17.768 % |
1163.13/1163.51	c |    186211 |  138263   811598  2292251 | 2147483647   184839    531 | 17.768 % |
1163.53/1163.99	c |    186332 |  138263   811598  2292251 | 2147483647   184960    530 | 17.768 % |
1165.33/1165.77	c |    186467 |  138263   811598  2292251 | 2147483647   185095    531 | 17.768 % |
1166.52/1166.99	c |    186613 |  138263   811598  2292251 | 2147483647   185241    531 | 17.768 % |
1168.53/1169.00	c |    186776 |  138262   811598  2292251 | 2147483647   185403    531 | 17.769 % |
1170.23/1170.65	c |    186952 |  138262   811598  2292251 | 2147483647   185579    531 | 17.769 % |
1171.92/1172.37	c |    187145 |  138262   811598  2292251 | 2147483647   185772    531 | 17.769 % |
1174.02/1174.44	c |    187357 |  138262   811598  2292251 | 2147483647   185984    531 | 17.769 % |
1176.53/1176.96	c |    187590 |  138262   811598  2292251 | 2147483647   186217    532 | 17.769 % |
1178.82/1179.21	c |    187848 |  138262   811598  2292251 | 2147483647   186475    532 | 17.769 % |
1181.51/1181.91	c |    188130 |  138262   811598  2292251 | 2147483647   186757    532 | 17.769 % |
1184.41/1184.89	c |    188442 |  138256   811598  2292251 | 2147483647   187067    533 | 17.808 % |
1187.62/1188.09	c |    188783 |  138246   811598  2292251 | 2147483647   187407    533 | 17.809 % |
1188.82/1189.25	c |    189158 |  138246   811598  2292251 | 2147483647   187782    532 | 17.809 % |
1189.82/1190.26	c |    189567 |  138203   811598  2292251 | 2147483647   188189    531 | 17.892 % |
1191.52/1191.92	c |    190021 |  138202   811598  2292251 | 2147483647   188642    531 | 17.893 % |
1194.12/1194.59	c |    190514 |  138196   811598  2292251 | 2147483647   189132    530 | 17.910 % |
1197.81/1198.28	c |    191056 |  138195   811598  2292251 | 2147483647   189673    530 | 17.911 % |
1203.31/1203.71	c |    191652 |  138195   811598  2292251 | 2147483647   190269    531 | 17.911 % |
1208.71/1209.10	c |    192307 |  138195   811598  2292251 | 2147483647   190924    532 | 17.911 % |
1214.41/1214.85	c |    193028 |  138194   811598  2292251 | 2147483647   191644    532 | 17.911 % |
1221.11/1221.59	c |    193820 |  138191   811598  2292251 | 2147483647   192435    535 | 17.914 % |
1229.51/1229.98	c |    194691 |  138191   811598  2292251 | 2147483647   193306    535 | 17.914 % |
1237.70/1238.20	c |    195656 |  138191   811598  2292251 | 2147483647   194271    537 | 17.914 % |
1248.11/1248.54	c |    196711 |  138186   811598  2292251 | 2147483647   195324    537 | 17.917 % |
1257.59/1258.09	c |    197874 |  138180   811598  2292251 | 2147483647   196485    538 | 17.927 % |
1270.19/1270.69	c |    199151 |  138180   811598  2292251 | 2147483647   197762    542 | 17.927 % |
1281.39/1281.82	c |    200552 |  138180   811598  2292251 | 2147483647   199163    543 | 17.927 % |
1294.98/1295.44	c |    202092 |  138177   811598  2292251 | 2147483647   200702    547 | 17.936 % |
1309.38/1309.82	c |    203787 |  138177   811598  2292251 | 2147483647   202397    550 | 17.936 % |
1325.58/1326.06	c |    205650 |  137978   810027  2288120 | 2147483647   204199    552 | 17.938 % |
1348.48/1348.90	c |    207699 |  137978   810027  2288120 | 2147483647   206248    557 | 17.938 % |
1348.88/1349.38	c |    207802 |  137978   810027  2288120 | 2147483647   206351    557 | 17.938 % |
1350.38/1350.88	c |    207913 |  137978   810027  2288120 | 2147483647   206462    557 | 17.938 % |
1351.57/1352.05	c |    208035 |  137977   810027  2288120 | 2147483647   206583    557 | 17.938 % |
1352.57/1353.03	c |    208169 |  137977   810027  2288120 | 2147483647   206717    557 | 17.938 % |
1353.97/1354.43	c |    208317 |  137977   810027  2288120 | 2147483647   206865    557 | 17.938 % |
1355.37/1355.80	c |    208477 |  137977   810027  2288120 | 2147483647   207025    557 | 17.938 % |
1356.87/1357.32	c |    208654 |  137977   810027  2288120 | 2147483647   207202    557 | 17.938 % |
1358.47/1358.90	c |    208849 |  137977   810027  2288120 | 2147483647   207397    557 | 17.938 % |
1360.18/1360.70	c |    209062 |  137977   810027  2288120 | 2147483647   207610    557 | 17.938 % |
1362.17/1362.62	c |    209297 |  137977   810027  2288120 | 2147483647   207845    557 | 17.938 % |
1364.77/1365.29	c |    209555 |  137977   810027  2288120 | 2147483647   208103    557 | 17.938 % |
1367.17/1367.61	c |    209839 |  137977   810027  2288120 | 2147483647   208387    557 | 17.938 % |
1370.96/1371.47	c |    210148 |  137977   810027  2288120 | 2147483647   208696    557 | 17.938 % |
1373.77/1374.23	c |    210489 |  137977   810027  2288120 | 2147483647   209037    557 | 17.938 % |
1376.56/1377.08	c |    210861 |  137861   810027  2288120 | 2147483647   209406    558 | 18.110 % |
1380.66/1381.17	c |    211271 |  137861   810027  2288120 | 2147483647   209816    558 | 18.110 % |
1385.86/1386.33	c |    211720 |  137861   810027  2288120 | 2147483647   210265    558 | 18.110 % |
1388.66/1389.18	c |    212215 |  137859   810027  2288120 | 2147483647   210758    558 | 18.111 % |
1395.47/1395.95	c |    212759 |  137858   810027  2288120 | 2147483647   211301    558 | 18.111 % |
1401.25/1401.72	c |    213355 |  137858   810027  2288120 | 2147483647   211897    560 | 18.111 % |
1406.26/1406.76	c |    214011 |  137858   810027  2288120 | 2147483647   212553    560 | 18.111 % |
1413.65/1414.18	c |    214734 |  137857   810027  2288120 | 2147483647   213275    561 | 18.112 % |
1419.95/1420.43	c |    215527 |  137854   810027  2288120 | 2147483647   214065    561 | 18.114 % |
1426.94/1427.49	c |    216400 |  137854   810027  2288120 | 2147483647   214938    562 | 18.114 % |
1434.95/1435.41	c |    217359 |  137854   810027  2288120 | 2147483647   215897    561 | 18.114 % |
1444.04/1444.60	c |    218416 |  137854   810027  2288120 | 2147483647   216954    564 | 18.114 % |
1453.75/1454.27	c |    219580 |  137854   810027  2288120 | 2147483647   218118    566 | 18.114 % |
1466.34/1466.84	c |    220854 |  137854   810027  2288120 | 2147483647   219392    570 | 18.114 % |
1480.94/1481.45	c |    222258 |  137854   810027  2288120 | 2147483647   220796    576 | 18.114 % |
1494.84/1495.35	c |    223798 |  137854   810027  2288120 | 2147483647   222336    579 | 18.114 % |
1509.83/1510.37	c |    225494 |  137854   810027  2288120 | 2147483647   224032    581 | 18.114 % |
1527.92/1528.46	c |    227360 |  137854   810027  2288120 | 2147483647   225898    585 | 18.114 % |
1549.32/1549.84	c |    229410 |  137681   808761  2285588 | 2147483647   227770    589 | 18.114 % |
1573.92/1574.44	c |    231663 |  137681   808761  2285588 | 2147483647   230022    593 | 18.115 % |
1574.92/1575.48	c |    231764 |  137681   808761  2285588 | 2147483647   230123    593 | 18.115 % |
1576.11/1576.65	c |    231877 |  137681   808761  2285588 | 2147483647   230236    593 | 18.115 % |
1576.82/1577.32	c |    231999 |  137681   808761  2285588 | 2147483647   230358    593 | 18.115 % |
1577.61/1578.10	c |    232132 |  137681   808761  2285588 | 2147483647   230491    592 | 18.115 % |
1579.02/1579.59	c |    232280 |  137681   808761  2285588 | 2147483647   230639    592 | 18.115 % |
1580.91/1581.45	c |    232440 |  137681   808761  2285588 | 2147483647   230799    593 | 18.115 % |
1581.81/1582.40	c |    232616 |  137681   808761  2285588 | 2147483647   230975    592 | 18.115 % |
1584.11/1584.64	c |    232809 |  137681   808761  2285588 | 2147483647   231168    592 | 18.115 % |
1585.51/1586.03	c |    233021 |  137681   808761  2285588 | 2147483647   231380    592 | 18.115 % |
1586.40/1586.96	c |    233255 |  137681   808761  2285588 | 2147483647   231614    592 | 18.115 % |
1587.91/1588.45	c |    233513 |  137681   808761  2285588 | 2147483647   231872    592 | 18.115 % |
1589.81/1590.37	c |    233795 |  137681   808761  2285588 | 2147483647   232154    591 | 18.115 % |
1592.70/1593.21	c |    234107 |  137680   808761  2285588 | 2147483647   232465    592 | 18.115 % |
1595.10/1595.60	c |    234446 |  137680   808761  2285588 | 2147483647   232804    591 | 18.115 % |
1597.80/1598.34	c |    234820 |  137679   808761  2285588 | 2147483647   233177    591 | 18.116 % |
1601.61/1602.12	c |    235229 |  137679   808761  2285588 | 2147483647   233586    591 | 18.116 % |
1606.70/1607.27	c |    235678 |  137679   808761  2285588 | 2147483647   234035    592 | 18.116 % |
1611.50/1612.05	c |    236171 |  137679   808761  2285588 | 2147483647   234528    592 | 18.116 % |
1616.60/1617.18	c |    236713 |  137679   808761  2285588 | 2147483647   235070    592 | 18.116 % |
1622.50/1623.07	c |    237309 |  137679   808761  2285588 | 2147483647   235666    593 | 18.116 % |
1628.89/1629.49	c |    237964 |  137679   808761  2285588 | 2147483647   236321    594 | 18.116 % |
1634.49/1635.04	c |    238685 |  137679   808761  2285588 | 2147483647   237042    595 | 18.116 % |
1640.30/1640.83	c |    239480 |  137679   808761  2285588 | 2147483647   237837    596 | 18.116 % |
1647.09/1647.70	c |    240351 |  137677   808761  2285588 | 2147483647   238707    596 | 18.125 % |
1654.79/1655.34	c |    241312 |  137677   808761  2285588 | 2147483647   239668    597 | 18.125 % |
1664.79/1665.38	c |    242366 |  137669   808761  2285588 | 2147483647   240721    598 | 18.135 % |
1675.18/1675.78	c |    243524 |  137669   808761  2285588 | 2147483647   241879    601 | 18.135 % |
1687.38/1687.93	c |    244798 |  137669   808761  2285588 | 2147483647   243153    602 | 18.135 % |
1702.37/1702.96	c |    246198 |  137667   808761  2285588 | 2147483647   244551    603 | 18.136 % |
1715.97/1716.51	c |    247738 |  137667   808761  2285588 | 2147483647   246091    604 | 18.136 % |
1731.98/1732.55	c |    249432 |  137667   808761  2285588 | 2147483647   247785    604 | 18.136 % |
1744.57/1745.11	c |    251296 |  137663   808761  2285588 | 2147483647   249647    604 | 18.139 % |
1757.86/1758.46	c |    253347 |  137656   808761  2285588 | 2147483647   251697    603 | 18.148 % |
1782.85/1783.50	c |    255600 |  137654   808761  2285588 | 2147483647   253948    606 | 18.151 % |
1811.84/1812.47	c |    258079 |  137654   808761  2285588 | 2147483647   256427    611 | 18.151 % |
1813.35/1813.92	c |    258179 |  137620   808359  2284531 | 2147483647   256504    611 | 18.151 % |
1814.64/1815.22	c |    258289 |  137620   808359  2284531 | 2147483647   256614    611 | 18.151 % |
1815.84/1816.49	c |    258410 |  137620   808359  2284531 | 2147483647   256735    611 | 18.151 % |
1816.85/1817.46	c |    258543 |  137618   808359  2284531 | 2147483647   256867    611 | 18.161 % |
1817.55/1818.14	c |    258689 |  137607   808359  2284531 | 2147483647   257012    611 | 18.170 % |
1818.55/1819.13	c |    258850 |  137605   808359  2284531 | 2147483647   257173    610 | 18.170 % |
1820.15/1820.80	c |    259027 |  137605   808359  2284531 | 2147483647   257350    610 | 18.170 % |
1821.25/1821.86	c |    259223 |  137605   808359  2284531 | 2147483647   257546    610 | 18.170 % |
1823.65/1824.27	c |    259436 |  137605   808359  2284531 | 2147483647   257759    610 | 18.170 % |
1826.14/1826.70	c |    259671 |  137605   808359  2284531 | 2147483647   257994    611 | 18.170 % |
1829.24/1829.87	c |    259930 |  137605   808359  2284531 | 2147483647   258253    611 | 18.170 % |
1831.85/1832.41	c |    260212 |  137605   808359  2284531 | 2147483647   258535    611 | 18.170 % |
1834.85/1835.45	c |    260521 |  137605   808359  2284531 | 2147483647   258844    611 | 18.170 % |
1837.64/1838.27	c |    260860 |  137605   808359  2284531 | 2147483647   259183    611 | 18.170 % |
1840.74/1841.35	c |    261232 |  137605   808359  2284531 | 2147483647   259555    611 | 18.170 % |
1844.34/1844.92	c |    261643 |  137605   808359  2284531 | 2147483647   259966    611 | 18.170 % |
1848.94/1849.58	c |    262092 |  137605   808359  2284531 | 2147483647   260415    611 | 18.170 % |
1853.74/1854.40	c |    262586 |  137604   808359  2284531 | 2147483647   260908    611 | 18.180 % |
1861.23/1861.89	c |    263128 |  137604   808359  2284531 | 2147483647   261449    612 | 18.183 % |
1865.94/1866.52	c |    263724 |  137603   808359  2284531 | 2147483647   262045    612 | 18.183 % |
1871.64/1872.29	c |    264379 |  137603   808359  2284531 | 2147483647   262700    613 | 18.183 % |
1876.03/1876.62	c |    265103 |  137603   808359  2284531 | 2147483647   263424    613 | 18.183 % |
1885.93/1886.57	c |    265900 |  137603   808359  2284531 | 2147483647   264221    614 | 18.183 % |
1895.83/1896.41	c |    266773 |  137603   808359  2284531 | 2147483647   265094    616 | 18.183 % |
1906.02/1906.69	c |    267731 |  137603   808359  2284531 | 2147483647   266052    617 | 18.183 % |
1916.22/1916.82	c |    268785 |  137603   808359  2284531 | 2147483647   267106    618 | 18.183 % |
1928.62/1929.23	c |    269943 |  137602   808359  2284531 | 2147483647   268263    621 | 18.183 % |
1937.12/1937.78	c |    271217 |  137602   808359  2284531 | 2147483647   269537    621 | 18.183 % |
1950.51/1951.15	c |    272618 |  137563   808359  2284531 | 2147483647   270937    624 | 18.234 % |
1965.81/1966.45	c |    274159 |  137563   808359  2284531 | 2147483647   272477    626 | 18.234 % |
1984.91/1985.54	c |    275854 |  137563   808359  2284531 | 2147483647   274172    630 | 18.234 % |
2002.19/2002.89	c |    277717 |  137563   808359  2284531 | 2147483647   276035    633 | 18.234 % |
2016.70/2017.34	c |    279766 |  137561   808359  2284531 | 2147483647   278082    632 | 18.236 % |
2038.79/2039.45	c |    282023 |  137560   808359  2284531 | 2147483647   280338    636 | 18.238 % |
2063.38/2064.00	c |    284503 |  137553   808359  2284531 | 2147483647   282812    638 | 18.249 % |
2089.29/2089.90	c |    287228 |  137553   808359  2284531 | 2147483647   285537    644 | 18.249 % |
2089.78/2090.42	c |    287331 |  137553   808359  2284531 | 2147483647   285640    644 | 18.249 % |
2090.28/2090.99	c |    287442 |  137553   808359  2284531 | 2147483647   285751    644 | 18.249 % |
2090.58/2091.23	c |    287564 |  137553   808359  2284531 | 2147483647   285873    644 | 18.249 % |
2090.88/2091.53	c |    287699 |  137553   808359  2284531 | 2147483647   286008    643 | 18.249 % |
2091.58/2092.29	c |    287845 |  137553   808359  2284531 | 2147483647   286154    643 | 18.249 % |
2094.48/2095.19	c |    288005 |  137553   808359  2284531 | 2147483647   286314    643 | 18.249 % |
2096.58/2097.20	c |    288182 |  137553   808359  2284531 | 2147483647   286491    643 | 18.249 % |
2097.98/2098.70	c |    288376 |  137553   808359  2284531 | 2147483647   286685    643 | 18.249 % |
2099.67/2100.35	c |    288589 |  137553   808359  2284531 | 2147483647   286898    643 | 18.249 % |
2100.97/2101.69	c |    288823 |  137553   808359  2284531 | 2147483647   287132    643 | 18.249 % |
2102.97/2103.60	c |    289081 |  137553   808359  2284531 | 2147483647   287390    643 | 18.249 % |
2105.07/2105.74	c |    289363 |  137553   808359  2284531 | 2147483647   287672    642 | 18.249 % |
2106.07/2106.78	c |    289672 |  137553   808359  2284531 | 2147483647   287981    642 | 18.249 % |
2107.07/2107.77	c |    290012 |  137553   808359  2284531 | 2147483647   288321    642 | 18.249 % |
2111.67/2112.34	c |    290384 |  137552   808359  2284531 | 2147483647   288692    642 | 18.250 % |
2116.77/2117.40	c |    290793 |  137552   808359  2284531 | 2147483647   289101    643 | 18.250 % |
2121.77/2122.47	c |    291247 |  137552   808359  2284531 | 2147483647   289555    644 | 18.250 % |
2126.67/2127.37	c |    291742 |  137552   808359  2284531 | 2147483647   290050    644 | 18.250 % |
2133.37/2134.03	c |    292284 |  137552   808359  2284531 | 2147483647   290592    646 | 18.250 % |
2138.46/2139.18	c |    292880 |  137552   808359  2284531 | 2147483647   291188    646 | 18.250 % |
2145.07/2145.78	c |    293539 |  137552   808359  2284531 | 2147483647   291847    646 | 18.250 % |
2152.65/2153.35	c |    294259 |  137453   807358  2281843 | 2147483647   292540    648 | 18.250 % |
2160.86/2161.59	c |    295052 |  137453   807358  2281843 | 2147483647   293333    648 | 18.250 % |
2172.35/2173.04	c |    295925 |  137453   807358  2281843 | 2147483647   294206    650 | 18.250 % |
2179.65/2180.34	c |    296884 |  137453   807358  2281843 | 2147483647   295165    650 | 18.250 % |
2189.85/2190.57	c |    297941 |  137453   807358  2281843 | 2147483647   296222    650 | 18.250 % |
2200.85/2201.52	c |    299101 |  137453   807358  2281843 | 2147483647   297382    652 | 18.250 % |
2213.24/2213.90	c |    300374 |  137452   807358  2281843 | 2147483647   298654    653 | 18.250 % |
2227.24/2227.97	c |    301779 |  137452   807358  2281843 | 2147483647   300059    654 | 18.250 % |
2245.13/2245.81	c |    303319 |  137452   807358  2281843 | 2147483647   301599    657 | 18.250 % |
2265.93/2266.62	c |    305014 |  137452   807358  2281843 | 2147483647   303294    661 | 18.250 % |
2285.02/2285.75	c |    306878 |  137445   807358  2281843 | 2147483647   305151    663 | 18.255 % |
2311.52/2312.28	c |    308928 |  137443   807358  2281843 | 2147483647   307200    665 | 18.257 % |
2336.81/2337.56	c |    311181 |  137442   807358  2281843 | 2147483647   309452    666 | 18.258 % |
2365.60/2366.36	c |    313659 |  137439   807358  2281843 | 2147483647   311927    669 | 18.268 % |
2404.90/2405.62	c |    316387 |  137436   807358  2281843 | 2147483647   314655    672 | 18.268 % |
2435.08/2435.85	c |    319384 |  137412   807358  2281843 | 2147483647   317651    679 | 18.308 % |
2436.18/2436.98	c |    319484 |  137411   807358  2281843 | 2147483647   317750    679 | 18.309 % |
2437.68/2438.50	c |    319594 |  137410   807358  2281843 | 2147483647   317859    678 | 18.309 % |
2438.88/2439.63	c |    319716 |  137410   807358  2281843 | 2147483647   317981    678 | 18.309 % |
2440.68/2441.45	c |    319850 |  137410   807358  2281843 | 2147483647   318115    679 | 18.309 % |
2441.99/2442.72	c |    319997 |  137410   807358  2281843 | 2147483647   318262    679 | 18.309 % |
2442.69/2443.42	c |    320157 |  137410   807358  2281843 | 2147483647   318422    678 | 18.309 % |
2444.89/2445.64	c |    320334 |  137410   807358  2281843 | 2147483647   318599    678 | 18.309 % |
2446.89/2447.63	c |    320528 |  137410   807358  2281843 | 2147483647   318793    678 | 18.309 % |
2447.59/2448.39	c |    320740 |  137410   807358  2281843 | 2147483647   319005    678 | 18.309 % |
2450.48/2451.20	c |    320976 |  137410   807358  2281843 | 2147483647   319241    678 | 18.309 % |
2452.58/2453.34	c |    321234 |  137410   807358  2281843 | 2147483647   319499    678 | 18.309 % |
2456.08/2456.84	c |    321519 |  137410   807358  2281843 | 2147483647   319784    678 | 18.309 % |
2458.58/2459.40	c |    321831 |  137410   807358  2281843 | 2147483647   320096    678 | 18.309 % |
2463.97/2464.72	c |    322171 |  137410   807358  2281843 | 2147483647   320436    679 | 18.309 % |
2467.58/2468.35	c |    322545 |  137410   807358  2281843 | 2147483647   320810    680 | 18.309 % |
2470.48/2471.22	c |    322955 |  137410   807358  2281843 | 2147483647   321220    679 | 18.309 % |
2476.27/2477.06	c |    323409 |  137410   807358  2281843 | 2147483647   321674    679 | 18.309 % |
2480.77/2481.60	c |    323902 |  137410   807358  2281843 | 2147483647   322167    679 | 18.309 % |
2486.38/2487.19	c |    324444 |  137402   807358  2281843 | 2147483647   322708    679 | 18.319 % |
2492.87/2493.61	c |    325040 |  137402   807358  2281843 | 2147483647   323303    680 | 18.319 % |
2496.06/2496.82	c |    325695 |  137401   807358  2281843 | 2147483647   323958    680 | 18.319 % |
2501.17/2501.93	c |    326416 |  137401   807358  2281843 | 2147483647   324679    680 | 18.319 % |
2509.36/2510.18	c |    327209 |  137400   807358  2281843 | 2147483647   325471    680 | 18.320 % |
2519.76/2520.53	c |    328085 |  137400   807358  2281843 | 2147483647   326347    681 | 18.320 % |
2531.16/2531.92	c |    329044 |  137400   807358  2281843 | 2147483647   327306    682 | 18.320 % |
2543.25/2544.00	c |    330098 |  137400   807358  2281843 | 2147483647   328360    682 | 18.320 % |
2555.96/2556.72	c |    331259 |  137400   807358  2281843 | 2147483647   329521    683 | 18.320 % |
2564.55/2565.38	c |    332533 |  137399   807358  2281843 | 2147483647   330794    683 | 18.322 % |
2578.24/2579.07	c |    333933 |  137399   807358  2281843 | 2147483647   332194    685 | 18.322 % |
2596.34/2597.12	c |    335473 |  137399   807358  2281843 | 2147483647   333734    687 | 18.322 % |
2616.54/2617.39	c |    337168 |  137296   806653  2280085 | 2147483647   335409    689 | 18.401 % |
2639.44/2640.21	c |    339031 |  137294   806653  2280085 | 2147483647   337270    693 | 18.402 % |
2656.32/2657.18	c |    341080 |  137294   806653  2280085 | 2147483647   339319    694 | 18.402 % |
2692.12/2692.91	c |    343333 |  137294   806653  2280085 | 2147483647   341572    696 | 18.402 % |
2721.01/2721.85	c |    345811 |  137293   806653  2280085 | 2147483647   344049    698 | 18.403 % |
2751.60/2752.43	c |    348536 |  137293   806653  2280085 | 2147483647   346774    700 | 18.403 % |
2782.49/2783.39	c |    351533 |  137292   806653  2280085 | 2147483647   349770    702 | 18.403 % |
2817.29/2818.16	c |    354829 |  137290   806653  2280085 | 2147483647   353064    702 | 18.405 % |
2818.69/2819.58	c |    354929 |  137290   806653  2280085 | 2147483647   353164    702 | 18.405 % |
2819.39/2820.28	c |    355039 |  137290   806653  2280085 | 2147483647   353274    702 | 18.405 % |
2820.19/2821.06	c |    355160 |  137290   806653  2280085 | 2147483647   353395    702 | 18.405 % |
2820.99/2821.82	c |    355293 |  137290   806653  2280085 | 2147483647   353528    702 | 18.405 % |
2821.89/2822.76	c |    355439 |  137289   806653  2280085 | 2147483647   353673    702 | 18.405 % |
2822.49/2823.35	c |    355604 |  137289   806653  2280085 | 2147483647   353838    702 | 18.405 % |
2823.28/2824.15	c |    355780 |  137289   806653  2280085 | 2147483647   354014    701 | 18.405 % |
2823.99/2824.81	c |    355975 |  137289   806653  2280085 | 2147483647   354209    701 | 18.405 % |
2824.98/2825.82	c |    356187 |  137289   806653  2280085 | 2147483647   354421    701 | 18.405 % |
2828.88/2829.77	c |    356422 |  137289   806653  2280085 | 2147483647   354656    701 | 18.405 % |
2831.49/2832.32	c |    356678 |  137289   806653  2280085 | 2147483647   354912    701 | 18.405 % |
2833.48/2834.38	c |    356959 |  137289   806653  2280085 | 2147483647   355193    701 | 18.405 % |
2836.28/2837.13	c |    357269 |  137289   806653  2280085 | 2147483647   355503    701 | 18.405 % |
2840.08/2840.91	c |    357609 |  137289   806653  2280085 | 2147483647   355843    701 | 18.405 % |
2843.78/2844.65	c |    357983 |  137289   806653  2280085 | 2147483647   356217    702 | 18.405 % |
2847.28/2848.15	c |    358392 |  137289   806653  2280085 | 2147483647   356626    702 | 18.405 % |
2850.38/2851.29	c |    358843 |  137289   806653  2280085 | 2147483647   357077    701 | 18.405 % |
2856.07/2856.95	c |    359336 |  137289   806653  2280085 | 2147483647   357570    702 | 18.405 % |
2859.37/2860.28	c |    359878 |  137289   806653  2280085 | 2147483647   358112    702 | 18.405 % |
2866.77/2867.67	c |    360474 |  137286   806653  2280085 | 2147483647   358706    702 | 18.417 % |
2874.07/2874.92	c |    361130 |  137285   806653  2280085 | 2147483647   359361    702 | 18.418 % |
2883.37/2884.29	c |    361852 |  137285   806653  2280085 | 2147483647   360083    702 | 18.418 % |
2892.97/2893.84	c |    362644 |  137285   806653  2280085 | 2147483647   360874    703 | 18.440 % |
2902.47/2903.33	c |    363515 |  137285   806653  2280085 | 2147483647   361745    703 | 18.440 % |
2913.96/2914.84	c |    364480 |  137285   806653  2280085 | 2147483647   362710    703 | 18.440 % |
2926.06/2926.91	c |    365533 |  137285   806653  2280085 | 2147483647   363763    703 | 18.440 % |
2938.56/2939.48	c |    366692 |  137285   806653  2280085 | 2147483647   364922    704 | 18.440 % |
2951.75/2952.70	c |    367968 |  137285   806653  2280085 | 2147483647   366198    704 | 18.440 % |
2969.44/2970.31	c |    369369 |  137285   806653  2280085 | 2147483647   367599    706 | 18.440 % |
2986.95/2987.87	c |    370910 |  137284   806653  2280085 | 2147483647   369139    707 | 18.441 % |
3008.44/3009.31	c |    372604 |  137281   806653  2280085 | 2147483647   370832    709 | 18.443 % |
3029.03/3029.91	c |    374471 |  137280   806653  2280085 | 2147483647   372698    711 | 18.446 % |
3052.12/3053.07	c |    376522 |  137280   806653  2280085 | 2147483647   374749    713 | 18.446 % |
3076.82/3077.73	c |    378778 |  137280   806653  2280085 | 2147483647   377005    714 | 18.446 % |
3106.51/3107.47	c |    381256 |  137280   806653  2280085 | 2147483647   379483    717 | 18.446 % |
3139.70/3140.67	c |    383982 |  137123   805628  2277822 | 2147483647   382169    719 | 18.446 % |
3172.09/3173.07	c |    386979 |  137123   805628  2277822 | 2147483647   385166    722 | 18.446 % |
3204.69/3205.64	c |    390275 |  137120   805628  2277822 | 2147483647   388461    721 | 18.448 % |
3249.77/3250.79	c |    393900 |  137117   805628  2277822 | 2147483647   392083    723 | 18.452 % |
3251.27/3252.25	c |    394000 |  137117   805628  2277822 | 2147483647   392183    723 | 18.452 % |
3252.87/3253.89	c |    394111 |  137117   805628  2277822 | 2147483647   392294    723 | 18.452 % |
3255.07/3256.01	c |    394233 |  137111   805628  2277822 | 2147483647   392415    723 | 18.534 % |
3256.58/3257.52	c |    394369 |  137111   805628  2277822 | 2147483647   392551    723 | 18.534 % |
3258.38/3259.40	c |    394516 |  137111   805628  2277822 | 2147483647   392698    723 | 18.534 % |
3260.48/3261.40	c |    394676 |  137111   805628  2277822 | 2147483647   392858    723 | 18.534 % |
3262.68/3263.68	c |    394855 |  137111   805628  2277822 | 2147483647   393037    723 | 18.534 % |
3265.47/3266.47	c |    395051 |  137111   805628  2277822 | 2147483647   393233    723 | 18.534 % |
3267.77/3268.78	c |    395263 |  137111   805628  2277822 | 2147483647   393445    723 | 18.534 % |
3270.47/3271.43	c |    395498 |  137110   805628  2277822 | 2147483647   393679    723 | 18.534 % |
3273.17/3274.14	c |    395755 |  137110   805628  2277822 | 2147483647   393936    723 | 18.534 % |
3276.57/3277.52	c |    396036 |  137110   805628  2277822 | 2147483647   394217    724 | 18.534 % |
3279.97/3280.96	c |    396345 |  137109   805628  2277822 | 2147483647   394525    724 | 18.535 % |
3283.27/3284.30	c |    396684 |  137109   805628  2277822 | 2147483647   394864    724 | 18.535 % |
3288.07/3289.01	c |    397058 |  137109   805628  2277822 | 2147483647   395238    724 | 18.535 % |
3292.06/3293.02	c |    397468 |  137108   805628  2277822 | 2147483647   395647    723 | 18.535 % |
3296.66/3297.61	c |    397917 |  137108   805628  2277822 | 2147483647   396096    724 | 18.535 % |
3299.56/3300.52	c |    398410 |  137108   805628  2277822 | 2147483647   396589    724 | 18.535 % |
3305.45/3306.41	c |    398955 |  137108   805628  2277822 | 2147483647   397134    724 | 18.535 % |
3308.76/3309.76	c |    399551 |  137108   805628  2277822 | 2147483647   397730    723 | 18.535 % |
3316.96/3317.97	c |    400206 |  137106   805628  2277822 | 2147483647   398384    723 | 18.544 % |
3326.05/3327.03	c |    400926 |  137106   805628  2277822 | 2147483647   399104    723 | 18.544 % |
3338.66/3339.62	c |    401718 |  137106   805628  2277822 | 2147483647   399896    724 | 18.544 % |
3353.24/3354.29	c |    402589 |  137106   805628  2277822 | 2147483647   400767    726 | 18.544 % |
3365.74/3366.70	c |    403548 |  137106   805628  2277822 | 2147483647   401726    727 | 18.544 % |
3374.24/3375.27	c |    404602 |  137106   805628  2277822 | 2147483647   402780    727 | 18.544 % |
3388.93/3389.99	c |    405761 |  137105   805628  2277822 | 2147483647   403938    728 | 18.545 % |
3404.13/3405.15	c |    407034 |  137105   805628  2277822 | 2147483647   405211    729 | 18.545 % |
3419.03/3420.03	c |    408434 |  137104   805628  2277822 | 2147483647   406610    730 | 18.547 % |
3435.33/3436.33	c |    409975 |  137104   805628  2277822 | 2147483647   408151    731 | 18.547 % |
3453.71/3454.76	c |    411670 |  137104   805628  2277822 | 2147483647   409846    732 | 18.547 % |
3476.81/3477.84	c |    413536 |  137104   805628  2277822 | 2147483647   411712    732 | 18.547 % |
3500.60/3501.68	c |    415587 |  137103   805628  2277822 | 2147483647   413762    734 | 18.548 % |
3523.69/3524.77	c |    417845 |  137102   805628  2277822 | 2147483647   416018    735 | 18.553 % |
3558.99/3560.05	c |    420323 |  137101   805628  2277822 | 2147483647   418495    740 | 18.553 % |
3593.17/3594.22	c |    423051 |  137101   805628  2277822 | 2147483647   421223    741 | 18.553 % |
3625.17/3626.23	c |    426048 |  137101   805628  2277822 | 2147483647   424220    743 | 18.553 % |
3680.66/3681.72	c |    429344 |  137101   805628  2277822 | 2147483647   427516    748 | 18.553 % |
3726.94/3728.03	c |    432970 |  137100   805628  2277822 | 2147483647   431141    751 | 18.554 % |
3785.33/3786.40	c |    436959 |  137100   805628  2277822 | 2147483647   435130    755 | 18.554 % |
3786.23/3787.33	c |    437060 |  137100   805628  2277822 | 2147483647   435231    755 | 18.554 % |
3787.43/3788.60	c |    437170 |  137100   805628  2277822 | 2147483647   435341    755 | 18.554 % |
3789.43/3790.54	c |    437292 |  137100   805628  2277822 | 2147483647   435463    755 | 18.554 % |
3791.13/3792.21	c |    437425 |  137100   805628  2277822 | 2147483647   435596    755 | 18.554 % |
3792.83/3793.97	c |    437571 |  137100   805628  2277822 | 2147483647   435742    755 | 18.554 % |
3794.23/3795.39	c |    437733 |  137099   805628  2277822 | 2147483647   435903    754 | 18.563 % |
3797.13/3798.27	c |    437912 |  137099   805628  2277822 | 2147483647   436082    755 | 18.563 % |
3798.52/3799.61	c |    438108 |  137099   805628  2277822 | 2147483647   436278    754 | 18.563 % |
3801.72/3802.81	c |    438320 |  137099   805628  2277822 | 2147483647   436490    755 | 18.563 % |
3804.73/3805.87	c |    438555 |  137099   805628  2277822 | 2147483647   436725    755 | 18.563 % |
3807.03/3808.10	c |    438815 |  137099   805628  2277822 | 2147483647   436985    754 | 18.563 % |
3811.53/3812.64	c |    439096 |  137099   805628  2277822 | 2147483647   437266    754 | 18.563 % |
3815.92/3817.07	c |    439405 |  137099   805628  2277822 | 2147483647   437575    755 | 18.563 % |
3819.82/3820.96	c |    439744 |  137099   805628  2277822 | 2147483647   437914    755 | 18.563 % |
3824.72/3825.88	c |    440116 |  137099   805628  2277822 | 2147483647   438286    755 | 18.563 % |
3830.31/3831.46	c |    440525 |  137099   805628  2277822 | 2147483647   438695    755 | 18.563 % |
3836.22/3837.38	c |    440975 |  137099   805628  2277822 | 2147483647   439145    755 | 18.563 % |
3843.31/3844.42	c |    441468 |  137099   805628  2277822 | 2147483647   439638    755 | 18.563 % |
3848.71/3849.83	c |    442010 |  136926   804077  2273762 | 2147483647   440084    755 | 18.563 % |
3856.31/3857.44	c |    442606 |  136926   804077  2273762 | 2147483647   440680    755 | 18.563 % |
3864.21/3865.33	c |    443261 |  136926   804077  2273762 | 2147483647   441335    756 | 18.563 % |
3873.80/3874.91	c |    443984 |  136926   804077  2273762 | 2147483647   442058    756 | 18.563 % |
3883.10/3884.26	c |    444776 |  136925   804077  2273762 | 2147483647   442849    757 | 18.565 % |
3891.60/3892.73	c |    445647 |  136925   804077  2273762 | 2147483647   443720    757 | 18.565 % |
3902.90/3904.08	c |    446606 |  136925   804077  2273762 | 2147483647   444679    757 | 18.565 % |
3916.50/3917.67	c |    447659 |  136925   804077  2273762 | 2147483647   445732    759 | 18.565 % |
3931.49/3932.64	c |    448818 |  136923   804077  2273762 | 2147483647   446888    759 | 18.576 % |
3949.79/3950.97	c |    450092 |  136923   804077  2273762 | 2147483647   448162    760 | 18.576 % |
3966.88/3968.08	c |    451494 |  136923   804077  2273762 | 2147483647   449564    761 | 18.576 % |
3988.38/3989.52	c |    453036 |  136923   804077  2273762 | 2147483647   451106    763 | 18.576 % |
4004.17/4005.31	c |    454730 |  136923   804077  2273762 | 2147483647   452800    763 | 18.576 % |
4024.87/4026.07	c |    456593 |  136922   804077  2273762 | 2147483647   454662    763 | 18.576 % |
4051.86/4053.09	c |    458646 |  136921   804077  2273762 | 2147483647   456714    764 | 18.577 % |
4077.15/4078.30	c |    460901 |  136921   804077  2273762 | 2147483647   458969    765 | 18.577 % |
4118.14/4119.31	c |    463380 |  136918   804077  2273762 | 2147483647   461447    768 | 18.585 % |
4148.63/4149.81	c |    466105 |  136917   804077  2273762 | 2147483647   464171    769 | 18.587 % |
4187.63/4188.87	c |    469102 |  136914   804077  2273762 | 2147483647   467166    772 | 18.597 % |
4233.42/4234.69	c |    472398 |  136914   804077  2273762 | 2147483647   470462    774 | 18.597 % |
4283.40/4284.68	c |    476024 |  136913   804077  2273762 | 2147483647   474086    778 | 18.598 % |
4332.39/4333.62	c |    480014 |  136912   804077  2273762 | 2147483647   478075    781 | 18.599 % |
4393.58/4394.85	c |    484404 |  136911   804077  2273762 | 2147483647   482463    783 | 18.603 % |
4395.58/4396.84	c |    484506 |  136911   804077  2273762 | 2147483647   482565    783 | 18.603 % |
4396.28/4397.55	c |    484619 |  136911   804077  2273762 | 2147483647   482678    783 | 18.603 % |
4397.68/4398.91	c |    484742 |  136911   804077  2273762 | 2147483647   482801    783 | 18.603 % |
4399.88/4401.15	c |    484877 |  136911   804077  2273762 | 2147483647   482936    783 | 18.603 % |
4401.27/4402.51	c |    485025 |  136911   804077  2273762 | 2147483647   483084    783 | 18.603 % |
4403.37/4404.69	c |    485188 |  136911   804077  2273762 | 2147483647   483247    783 | 18.603 % |
4406.07/4407.34	c |    485366 |  136911   804077  2273762 | 2147483647   483425    783 | 18.603 % |
4408.97/4410.24	c |    485561 |  136911   804077  2273762 | 2147483647   483620    783 | 18.603 % |
4410.47/4411.80	c |    485774 |  136911   804077  2273762 | 2147483647   483833    783 | 18.603 % |
4413.08/4414.39	c |    486007 |  136911   804077  2273762 | 2147483647   484066    782 | 18.603 % |
4414.87/4416.17	c |    486264 |  136911   804077  2273762 | 2147483647   484323    782 | 18.603 % |
4418.37/4419.63	c |    486547 |  136911   804077  2273762 | 2147483647   484606    782 | 18.603 % |
4422.97/4424.25	c |    486856 |  136911   804077  2273762 | 2147483647   484915    782 | 18.603 % |
4426.96/4428.24	c |    487195 |  136910   804077  2273762 | 2147483647   485253    782 | 18.604 % |
4432.17/4433.43	c |    487573 |  136910   804077  2273762 | 2147483647   485631    782 | 18.604 % |
4438.76/4440.01	c |    487984 |  136910   804077  2273762 | 2147483647   486042    783 | 18.604 % |
4444.66/4445.92	c |    488433 |  136910   804077  2273762 | 2147483647   486491    783 | 18.604 % |
4450.37/4451.68	c |    488927 |  136910   804077  2273762 | 2147483647   486985    784 | 18.604 % |
4457.06/4458.34	c |    489470 |  136910   804077  2273762 | 2147483647   487528    784 | 18.604 % |
4462.35/4463.67	c |    490067 |  136910   804077  2273762 | 2147483647   488125    784 | 18.604 % |
4471.05/4472.31	c |    490723 |  136910   804077  2273762 | 2147483647   488781    784 | 18.604 % |
4481.66/4482.91	c |    491443 |  136910   804077  2273762 | 2147483647   489501    785 | 18.604 % |
4491.15/4492.43	c |    492236 |  136909   804077  2273762 | 2147483647   490293    784 | 18.604 % |
4504.35/4505.62	c |    493109 |  136909   804077  2273762 | 2147483647   491165    784 | 18.613 % |
4518.44/4519.79	c |    494067 |  136909   804077  2273762 | 2147483647   492123    785 | 18.613 % |
4531.54/4532.86	c |    495120 |  136909   804077  2273762 | 2147483647   493176    786 | 18.613 % |
4547.63/4548.94	c |    496278 |  136909   804077  2273762 | 2147483647   494334    786 | 18.613 % |
4566.63/4567.95	c |    497551 |  136909   804077  2273762 | 2147483647   495607    787 | 18.613 % |
4586.43/4587.70	c |    498951 |  136909   804077  2273762 | 2147483647   497007    787 | 18.613 % |
4605.22/4606.52	c |    500491 |  136905   804077  2273762 | 2147483647   498546    787 | 18.616 % |
4625.12/4626.43	c |    502186 |  136905   804077  2273762 | 2147483647   500241    787 | 18.616 % |
4653.31/4654.61	c |    504052 |  136904   804077  2273762 | 2147483647   502106    787 | 18.616 % |
4679.00/4680.33	c |    506101 |  136904   804077  2273762 | 2147483647   504154    789 | 18.636 % |
4713.29/4714.65	c |    508354 |  136895   804077  2273762 | 2147483647   506406    790 | 18.677 % |
4748.86/4750.24	c |    510832 |  136895   804077  2273762 | 2147483647   508884    792 | 18.677 % |
4788.45/4789.88	c |    513557 |  136734   802733  2270209 | 2147483647   511565    796 | 18.678 % |
4829.85/4831.25	c |    516554 |  136730   802733  2270209 | 2147483647   514561    797 | 18.687 % |
4868.64/4870.01	c |    519851 |  136730   802733  2270209 | 2147483647   517857    798 | 18.689 % |
4922.92/4924.34	c |    523477 |  136725   802733  2270209 | 2147483647   521481    802 | 18.708 % |
4976.02/4977.44	c |    527464 |  136722   802733  2270209 | 2147483647   525465    804 | 18.710 % |
5033.80/5035.30	c |    531849 |  136721   802733  2270209 | 2147483647   529849    805 | 18.710 % |
5091.58/5093.04	c |    536672 |  136721   802733  2270209 | 2147483647   534672    806 | 18.710 % |
5092.78/5094.24	c |    536772 |  136721   802733  2270209 | 2147483647   534772    806 | 18.710 % |
5094.08/5095.53	c |    536884 |  136721   802733  2270209 | 2147483647   534884    806 | 18.710 % |
5095.28/5096.72	c |    537009 |  136720   802733  2270209 | 2147483647   535008    806 | 18.711 % |
5095.98/5097.45	c |    537142 |  136720   802733  2270209 | 2147483647   535141    805 | 18.711 % |
5099.18/5100.68	c |    537288 |  136720   802733  2270209 | 2147483647   535287    805 | 18.711 % |
5101.97/5103.43	c |    537452 |  136720   802733  2270209 | 2147483647   535451    805 | 18.711 % |
5104.07/5105.52	c |    537629 |  136719   802733  2270209 | 2147483647   535627    805 | 18.711 % |
5106.97/5108.43	c |    537823 |  136719   802733  2270209 | 2147483647   535821    805 | 18.711 % |
5110.18/5111.62	c |    538035 |  136719   802733  2270209 | 2147483647   536033    805 | 18.711 % |
5111.98/5113.43	c |    538268 |  136719   802733  2270209 | 2147483647   536266    805 | 18.711 % |
5116.27/5117.78	c |    538526 |  136719   802733  2270209 | 2147483647   536524    805 | 18.711 % |
5119.77/5121.28	c |    538807 |  136719   802733  2270209 | 2147483647   536805    805 | 18.711 % |
5124.07/5125.55	c |    539116 |  136719   802733  2270209 | 2147483647   537114    805 | 18.711 % |
5126.26/5127.71	c |    539457 |  136718   802733  2270209 | 2147483647   537454    805 | 18.722 % |
5131.87/5133.32	c |    539830 |  136718   802733  2270209 | 2147483647   537827    805 | 18.722 % |
5138.16/5139.64	c |    540241 |  136718   802733  2270209 | 2147483647   538238    805 | 18.722 % |
5144.56/5146.04	c |    540691 |  136718   802733  2270209 | 2147483647   538688    806 | 18.722 % |
5153.46/5154.98	c |    541185 |  136718   802733  2270209 | 2147483647   539182    806 | 18.722 % |
5162.06/5163.59	c |    541727 |  136718   802733  2270209 | 2147483647   539724    807 | 18.722 % |
5172.66/5174.10	c |    542324 |  136717   802733  2270209 | 2147483647   540320    808 | 18.723 % |
5180.46/5181.90	c |    542983 |  136715   802733  2270209 | 2147483647   540977    808 | 18.727 % |
5188.65/5190.16	c |    543703 |  136715   802733  2270209 | 2147483647   541697    808 | 18.727 % |
5200.05/5201.51	c |    544495 |  136714   802733  2270209 | 2147483647   542488    808 | 18.727 % |
5212.45/5213.93	c |    545367 |  136714   802733  2270209 | 2147483647   543360    808 | 18.727 % |
5226.34/5227.81	c |    546327 |  136714   802733  2270209 | 2147483647   544320    808 | 18.727 % |
5242.64/5244.15	c |    547380 |  136714   802733  2270209 | 2147483647   545373    808 | 18.727 % |
5259.84/5261.32	c |    548539 |  136714   802733  2270209 | 2147483647   546532    809 | 18.727 % |

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837076-1242857020/watcher-1837076-1242857020 -o /tmp/evaluation-result-1837076-1242857020/solver-1837076-1242857020 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837076-1242857020.cnf 

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


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 26457
/proc/meminfo: memFree=1710280/2055920 swapFree=4180688/4192956
[pid=26457] ppid=26455 vsize=5356 CPUtime=0
/proc/26457/stat : 26457 (SatELiteGTI) S 26455 26457 26420 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 313729368 5484544 235 1992294400 4194304 4889804 548682068816 18446744073709551615 246406676562 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/26457/statm: 1339 235 195 169 0 50 0
[pid=26458] ppid=26457 vsize=5356 CPUtime=0
/proc/26458/stat : 26458 (SatELiteGTI) R 26457 26457 26420 0 -1 4194368 52 188 0 0 0 0 0 0 20 0 1 0 313729368 5484544 238 1992294400 4194304 4889804 548682068816 18446744073709551615 4408712 0 65536 4096 65538 0 0 0 17 1 0 0
/proc/26458/statm: 1339 238 198 169 0 50 0

[startup+0.078917 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 26457
/proc/meminfo: memFree=1710280/2055920 swapFree=4180688/4192956
[pid=26457] ppid=26455 vsize=5356 CPUtime=0
/proc/26457/stat : 26457 (SatELiteGTI) S 26455 26457 26420 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313729368 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26457/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.102917 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 26457
/proc/meminfo: memFree=1710280/2055920 swapFree=4180688/4192956
[pid=26457] ppid=26455 vsize=5356 CPUtime=0
/proc/26457/stat : 26457 (SatELiteGTI) S 26455 26457 26420 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313729368 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26457/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.302938 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 26457
/proc/meminfo: memFree=1710280/2055920 swapFree=4180688/4192956
[pid=26457] ppid=26455 vsize=5356 CPUtime=0
/proc/26457/stat : 26457 (SatELiteGTI) S 26455 26457 26420 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313729368 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26457/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701972 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 26457
/proc/meminfo: memFree=1710280/2055920 swapFree=4180688/4192956
[pid=26457] ppid=26455 vsize=5356 CPUtime=0
/proc/26457/stat : 26457 (SatELiteGTI) S 26455 26457 26420 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313729368 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26457/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50103 s]
/proc/loadavg: 0.08 0.02 0.01 2/66 26462
/proc/meminfo: memFree=1583024/2055920 swapFree=4180688/4192956
[pid=26457] ppid=26455 vsize=5356 CPUtime=0
/proc/26457/stat : 26457 (SatELiteGTI) S 26455 26457 26420 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313729368 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26457/statm: 1339 237 197 169 0 50 0
[pid=26462] ppid=26457 vsize=169092 CPUtime=1.48
/proc/26462/stat : 26462 (SatELite_releas) R 26457 26457 26420 0 -1 4194304 36262 0 0 0 126 22 0 0 25 0 1 0 313729369 173150208 36144 1992294400 134512640 135223648 4294956128 18446744073709551615 134564018 0 0 4096 3 0 0 0 17 1 0 0
/proc/26462/statm: 42273 36144 71 173 0 42098 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 174448

[startup+3.10119 s]
/proc/loadavg: 0.08 0.02 0.01 2/66 26462
/proc/meminfo: memFree=1555824/2055920 swapFree=4180688/4192956
[pid=26457] ppid=26455 vsize=5356 CPUtime=0
/proc/26457/stat : 26457 (SatELiteGTI) S 26455 26457 26420 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313729368 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26457/statm: 1339 237 197 169 0 50 0
[pid=26462] ppid=26457 vsize=192112 CPUtime=3.09
/proc/26462/stat : 26462 (SatELite_releas) R 26457 26457 26420 0 -1 4194304 43671 0 0 0 281 28 0 0 25 0 1 0 313729369 196722688 40093 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 1 0 0
/proc/26462/statm: 48028 40093 76 173 0 47853 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 197468

[startup+6.30149 s]
/proc/loadavg: 0.08 0.02 0.01 2/66 26462
/proc/meminfo: memFree=1540784/2055920 swapFree=4180688/4192956
[pid=26457] ppid=26455 vsize=5356 CPUtime=0
/proc/26457/stat : 26457 (SatELiteGTI) S 26455 26457 26420 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313729368 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26457/statm: 1339 237 197 169 0 50 0
[pid=26462] ppid=26457 vsize=209656 CPUtime=6.28
/proc/26462/stat : 26462 (SatELite_releas) R 26457 26457 26420 0 -1 4194304 48643 0 0 0 598 30 0 0 25 0 1 0 313729369 214687744 44297 1992294400 134512640 135223648 4294956128 18446744073709551615 134611921 0 0 4096 3 0 0 0 17 1 0 0
/proc/26462/statm: 52414 44297 76 173 0 52239 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 215012

[startup+12.7011 s]
/proc/loadavg: 0.22 0.05 0.02 2/66 26462
/proc/meminfo: memFree=1520120/2055920 swapFree=4180688/4192956
[pid=26457] ppid=26455 vsize=5356 CPUtime=12.47
/proc/26457/stat : 26457 (SatELiteGTI) S 26455 26457 26420 0 -1 4194304 336 65567 0 0 0 0 1195 52 16 0 1 0 313729368 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26457/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 5356

[startup+25.5023 s]
/proc/loadavg: 0.34 0.08 0.02 2/66 26463
/proc/meminfo: memFree=1624440/2055920 swapFree=4180688/4192956
[pid=26457] ppid=26455 vsize=5356 CPUtime=12.47
/proc/26457/stat : 26457 (SatELiteGTI) S 26455 26457 26420 0 -1 4194304 336 65567 0 0 0 0 1195 52 16 0 1 0 313729368 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26457/statm: 1339 239 197 169 0 50 0
[pid=26463] ppid=26457 vsize=58588 CPUtime=13
/proc/26463/stat : 26463 (minisat_static) R 26457 26457 26420 0 -1 4194304 13774 0 0 0 1291 9 0 0 25 0 1 0 313730617 59994112 13720 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/26463/statm: 14647 13720 77 171 0 14474 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 63944

[startup+51.1027 s]
/proc/loadavg: 0.56 0.15 0.05 2/66 26463
/proc/meminfo: memFree=1619448/2055920 swapFree=4180688/4192956
[pid=26457] ppid=26455 vsize=5356 CPUtime=12.47
/proc/26457/stat : 26457 (SatELiteGTI) S 26455 26457 26420 0 -1 4194304 336 65567 0 0 0 0 1195 52 16 0 1 0 313729368 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26457/statm: 1339 239 197 169 0 50 0
[pid=26463] ppid=26457 vsize=63556 CPUtime=38.58
/proc/26463/stat : 26463 (minisat_static) R 26457 26457 26420 0 -1 4194304 15026 0 0 0 3848 10 0 0 25 0 1 0 313730617 65081344 14972 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26463/statm: 15889 14972 77 171 0 15716 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 68912

[startup+102.305 s]
/proc/loadavg: 0.82 0.29 0.10 2/66 26463
/proc/meminfo: memFree=1605816/2055920 swapFree=4180688/4192956
[pid=26457] ppid=26455 vsize=5356 CPUtime=12.47
/proc/26457/stat : 26457 (SatELiteGTI) S 26455 26457 26420 0 -1 4194304 336 65567 0 0 0 0 1195 52 16 0 1 0 313729368 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26457/statm: 1339 239 197 169 0 50 0
[pid=26463] ppid=26457 vsize=77172 CPUtime=89.77
/proc/26463/stat : 26463 (minisat_static) R 26457 26457 26420 0 -1 4194304 18439 0 0 0 8963 14 0 0 25 0 1 0 313730617 79024128 18385 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/26463/statm: 19293 18385 77 171 0 19120 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 82528

[startup+162.302 s]
/proc/loadavg: 0.93 0.42 0.15 2/66 26463
/proc/meminfo: memFree=1590584/2055920 swapFree=4180688/4192956
[pid=26457] ppid=26455 vsize=5356 CPUtime=12.47
/proc/26457/stat : 26457 (SatELiteGTI) S 26455 26457 26420 0 -1 4194304 336 65567 0 0 0 0 1195 52 16 0 1 0 313729368 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26457/statm: 1339 239 197 169 0 50 0
[pid=26463] ppid=26457 vsize=92424 CPUtime=149.74
/proc/26463/stat : 26463 (minisat_static) R 26457 26457 26420 0 -1 4194304 22252 0 0 0 14955 19 0 0 25 0 1 0 313730617 94642176 22198 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/26463/statm: 23106 22198 77 171 0 22933 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 97780

[startup+222.303 s]
/proc/loadavg: 0.97 0.52 0.20 2/66 26463
/proc/meminfo: memFree=1571960/2055920 swapFree=4180688/4192956
[pid=26457] ppid=26455 vsize=5356 CPUtime=12.47
/proc/26457/stat : 26457 (SatELiteGTI) S 26455 26457 26420 0 -1 4194304 336 65567 0 0 0 0 1195 52 16 0 1 0 313729368 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26457/statm: 1339 239 197 169 0 50 0
[pid=26463] ppid=26457 vsize=110952 CPUtime=209.73
/proc/26463/stat : 26463 (minisat_static) R 26457 26457 26420 0 -1 4194304 26875 0 0 0 20949 24 0 0 25 0 1 0 313730617 113614848 26821 1992294400 134512640 135215339 4294956240 18446744073709551615 134532646 0 0 4096 3 0 0 0 17 1 0 0
/proc/26463/statm: 27738 26821 77 171 0 27565 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 116308

[startup+282.302 s]
/proc/loadavg: 0.99 0.61 0.25 2/66 26463
/proc/meminfo: memFree=1551224/2055920 swapFree=4180688/4192956
[pid=26457] ppid=26455 vsize=5356 CPUtime=12.47
/proc/26457/stat : 26457 (SatELiteGTI) S 26455 26457 26420 0 -1 4194304 336 65567 0 0 0 0 1195 52 16 0 1 0 313729368 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26457/statm: 1339 239 197 169 0 50 0
[pid=26463] ppid=26457 vsize=131976 CPUtime=269.71
/proc/26463/stat : 26463 (minisat_static) R 26457 26457 26420 0 -1 4194304 32114 0 0 0 26943 28 0 0 25 0 1 0 313730617 135143424 32060 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26463/statm: 32994 32060 77 171 0 32821 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 137332

[startup+342.303 s]
/proc/loadavg: 0.99 0.67 0.30 2/66 26463
/proc/meminfo: memFree=1528184/2055920 swapFree=4180688/4192956
[pid=26457] ppid=26455 vsize=5356 CPUtime=12.47
/proc/26457/stat : 26457 (SatELiteGTI) S 26455 26457 26420 0 -1 4194304 336 65567 0 0 0 0 1195 52 16 0 1 0 313729368 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26457/statm: 1339 239 197 169 0 50 0
[pid=26463] ppid=26457 vsize=154660 CPUtime=329.69
/proc/26463/stat : 26463 (minisat_static) R 26457 26457 26420 0 -1 4194304 37793 0 0 0 32936 33 0 0 25 0 1 0 313730617 158371840 37739 1992294400 134512640 135215339 4294956240 18446744073709551615 134525036 0 0 4096 3 0 0 0 17 1 0 0
/proc/26463/statm: 38665 37739 77 171 0 38492 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 160016

[startup+402.303 s]
/proc/loadavg: 0.99 0.73 0.34 2/66 26463
/proc/meminfo: memFree=1507128/2055920 swapFree=4180688/4192956
[pid=26457] ppid=26455 vsize=5356 CPUtime=12.47
/proc/26457/stat : 26457 (SatELiteGTI) S 26455 26457 26420 0 -1 4194304 336 65567 0 0 0 0 1195 52 16 0 1 0 313729368 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26457/statm: 1339 239 197 169 0 50 0
[pid=26463] ppid=26457 vsize=175696 CPUtime=389.66
/proc/26463/stat : 26463 (minisat_static) R 26457 26457 26420 0 -1 4194304 43057 0 0 0 38929 37 0 0 25 0 1 0 313730617 179912704 43003 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26463/statm: 43924 43003 77 171 0 43751 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 181052

[startup+462.302 s]

################
# More data... #
################

/proc/26463/statm: 409008 407817 77 171 0 408835 0
Current children cumulated CPU time (s) 4601.02
Current children cumulated vsize (KiB) 1641388

[startup+4662.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26471
/proc/meminfo: memFree=26744/2055920 swapFree=4180688/4192956
[pid=26457] ppid=26455 vsize=5356 CPUtime=12.47
/proc/26457/stat : 26457 (SatELiteGTI) S 26455 26457 26420 0 -1 4194304 336 65567 0 0 0 0 1195 52 16 0 1 0 313729368 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26457/statm: 1339 239 197 169 0 50 0
[pid=26463] ppid=26457 vsize=1651328 CPUtime=4648.54
/proc/26463/stat : 26463 (minisat_static) R 26457 26457 26420 0 -1 4194304 411694 0 0 0 464512 342 0 0 25 0 1 0 313730617 1690959872 411640 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/26463/statm: 412832 411640 77 171 0 412659 0
Current children cumulated CPU time (s) 4661.01
Current children cumulated vsize (KiB) 1656684

[startup+4722.31 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26471
/proc/meminfo: memFree=16248/2055920 swapFree=4180692/4192956
[pid=26457] ppid=26455 vsize=5356 CPUtime=12.47
/proc/26457/stat : 26457 (SatELiteGTI) S 26455 26457 26420 0 -1 4194304 336 65567 0 0 0 0 1195 52 16 0 1 0 313729368 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26457/statm: 1339 239 197 169 0 50 0
[pid=26463] ppid=26457 vsize=1670736 CPUtime=4708.51
/proc/26463/stat : 26463 (minisat_static) R 26457 26457 26420 0 -1 4194304 416584 0 0 0 470505 346 0 0 25 0 1 0 313730617 1710833664 416530 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/26463/statm: 417684 416530 77 171 0 417511 0
Current children cumulated CPU time (s) 4720.98
Current children cumulated vsize (KiB) 1676092

[startup+4782.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26471
/proc/meminfo: memFree=15096/2055920 swapFree=4180692/4192956
[pid=26457] ppid=26455 vsize=5356 CPUtime=12.47
/proc/26457/stat : 26457 (SatELiteGTI) S 26455 26457 26420 0 -1 4194304 336 65567 0 0 0 0 1195 52 16 0 1 0 313729368 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26457/statm: 1339 239 197 169 0 50 0
[pid=26463] ppid=26457 vsize=1692032 CPUtime=4768.48
/proc/26463/stat : 26463 (minisat_static) R 26457 26457 26420 0 -1 4194304 421888 0 0 0 476498 350 0 0 25 0 1 0 313730617 1732640768 421834 1992294400 134512640 135215339 4294956240 18446744073709551615 134538574 0 0 4096 3 0 0 0 17 1 0 0
/proc/26463/statm: 423008 421834 77 171 0 422835 0
Current children cumulated CPU time (s) 4780.95
Current children cumulated vsize (KiB) 1697388

[startup+4842.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26471
/proc/meminfo: memFree=14904/2055920 swapFree=4180692/4192956
[pid=26457] ppid=26455 vsize=5356 CPUtime=12.47
/proc/26457/stat : 26457 (SatELiteGTI) S 26455 26457 26420 0 -1 4194304 336 65567 0 0 0 0 1195 52 16 0 1 0 313729368 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26457/statm: 1339 239 197 169 0 50 0
[pid=26463] ppid=26457 vsize=1711872 CPUtime=4828.48
/proc/26463/stat : 26463 (minisat_static) R 26457 26457 26420 0 -1 4194304 426860 0 0 0 482494 354 0 0 25 0 1 0 313730617 1752956928 426806 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26463/statm: 427968 426806 77 171 0 427795 0
Current children cumulated CPU time (s) 4840.95
Current children cumulated vsize (KiB) 1717228

[startup+4902.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26471
/proc/meminfo: memFree=16312/2055920 swapFree=4180692/4192956
[pid=26457] ppid=26455 vsize=5356 CPUtime=12.47
/proc/26457/stat : 26457 (SatELiteGTI) S 26455 26457 26420 0 -1 4194304 336 65567 0 0 0 0 1195 52 16 0 1 0 313729368 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26457/statm: 1339 239 197 169 0 50 0
[pid=26463] ppid=26457 vsize=1732252 CPUtime=4888.46
/proc/26463/stat : 26463 (minisat_static) R 26457 26457 26420 0 -1 4194304 431967 0 0 0 488488 358 0 0 25 0 1 0 313730617 1773826048 431913 1992294400 134512640 135215339 4294956240 18446744073709551615 134528782 0 0 4096 3 0 0 0 17 1 0 0
/proc/26463/statm: 433063 431913 77 171 0 432890 0
Current children cumulated CPU time (s) 4900.93
Current children cumulated vsize (KiB) 1737608

[startup+4962.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26471
/proc/meminfo: memFree=15736/2055920 swapFree=4180692/4192956
[pid=26457] ppid=26455 vsize=5356 CPUtime=12.47
/proc/26457/stat : 26457 (SatELiteGTI) S 26455 26457 26420 0 -1 4194304 336 65567 0 0 0 0 1195 52 16 0 1 0 313729368 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26457/statm: 1339 239 197 169 0 50 0
[pid=26463] ppid=26457 vsize=1752632 CPUtime=4948.45
/proc/26463/stat : 26463 (minisat_static) R 26457 26457 26420 0 -1 4194304 437055 0 0 0 494483 362 0 0 25 0 1 0 313730617 1794695168 437001 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26463/statm: 438158 437001 77 171 0 437985 0
Current children cumulated CPU time (s) 4960.92
Current children cumulated vsize (KiB) 1757988

[startup+5022.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26471
/proc/meminfo: memFree=15224/2055920 swapFree=4180692/4192956
[pid=26457] ppid=26455 vsize=5356 CPUtime=12.47
/proc/26457/stat : 26457 (SatELiteGTI) S 26455 26457 26420 0 -1 4194304 336 65567 0 0 0 0 1195 52 16 0 1 0 313729368 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26457/statm: 1339 239 197 169 0 50 0
[pid=26463] ppid=26457 vsize=1770260 CPUtime=5008.43
/proc/26463/stat : 26463 (minisat_static) R 26457 26457 26420 0 -1 4194304 441461 0 0 0 500478 365 0 0 25 0 1 0 313730617 1812746240 441407 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/26463/statm: 442565 441407 77 171 0 442392 0
Current children cumulated CPU time (s) 5020.9
Current children cumulated vsize (KiB) 1775616

[startup+5082.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26471
/proc/meminfo: memFree=16248/2055920 swapFree=4180692/4192956
[pid=26457] ppid=26455 vsize=5356 CPUtime=12.47
/proc/26457/stat : 26457 (SatELiteGTI) S 26455 26457 26420 0 -1 4194304 336 65567 0 0 0 0 1195 52 16 0 1 0 313729368 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26457/statm: 1339 239 197 169 0 50 0
[pid=26463] ppid=26457 vsize=1787352 CPUtime=5068.42
/proc/26463/stat : 26463 (minisat_static) R 26457 26457 26420 0 -1 4194304 445753 0 0 0 506472 370 0 0 25 0 1 0 313730617 1830248448 445699 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/26463/statm: 446838 445699 77 171 0 446665 0
Current children cumulated CPU time (s) 5080.89
Current children cumulated vsize (KiB) 1792708

[startup+5142.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26471
/proc/meminfo: memFree=15736/2055920 swapFree=4180692/4192956
[pid=26457] ppid=26455 vsize=5356 CPUtime=12.47
/proc/26457/stat : 26457 (SatELiteGTI) S 26455 26457 26420 0 -1 4194304 336 65567 0 0 0 0 1195 52 16 0 1 0 313729368 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26457/statm: 1339 239 197 169 0 50 0
[pid=26463] ppid=26457 vsize=1801772 CPUtime=5128.4
/proc/26463/stat : 26463 (minisat_static) R 26457 26457 26420 0 -1 4194304 449339 0 0 0 512466 374 0 0 25 0 1 0 313730617 1845014528 449285 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/26463/statm: 450443 449285 77 171 0 450270 0
Current children cumulated CPU time (s) 5140.87
Current children cumulated vsize (KiB) 1807128

[startup+5202.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26471
/proc/meminfo: memFree=15544/2055920 swapFree=4180696/4192956
[pid=26457] ppid=26455 vsize=5356 CPUtime=12.47
/proc/26457/stat : 26457 (SatELiteGTI) S 26455 26457 26420 0 -1 4194304 336 65567 0 0 0 0 1195 52 16 0 1 0 313729368 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26457/statm: 1339 239 197 169 0 50 0
[pid=26463] ppid=26457 vsize=1820192 CPUtime=5188.38
/proc/26463/stat : 26463 (minisat_static) R 26457 26457 26420 0 -1 4194304 453945 0 0 0 518460 378 0 0 25 0 1 0 313730617 1863876608 453891 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26463/statm: 455048 453891 77 171 0 454875 0
Current children cumulated CPU time (s) 5200.85
Current children cumulated vsize (KiB) 1825548

[startup+5262.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26471
/proc/meminfo: memFree=15544/2055920 swapFree=4180696/4192956
[pid=26457] ppid=26455 vsize=5356 CPUtime=12.47
/proc/26457/stat : 26457 (SatELiteGTI) S 26455 26457 26420 0 -1 4194304 336 65567 0 0 0 0 1195 52 16 0 1 0 313729368 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26457/statm: 1339 239 197 169 0 50 0
[pid=26463] ppid=26457 vsize=1836964 CPUtime=5248.37
/proc/26463/stat : 26463 (minisat_static) R 26457 26457 26420 0 -1 4194304 458161 0 0 0 524455 382 0 0 25 0 1 0 313730617 1881051136 458107 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/26463/statm: 459241 458107 77 171 0 459068 0
Current children cumulated CPU time (s) 5260.84
Current children cumulated vsize (KiB) 1842320



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+5265.2 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26471
/proc/meminfo: memFree=16248/2055920 swapFree=4180696/4192956
[pid=26457] ppid=26455 vsize=5356 CPUtime=12.47
/proc/26457/stat : 26457 (SatELiteGTI) S 26455 26457 26420 0 -1 4194304 336 65567 0 0 0 0 1195 52 16 0 1 0 313729368 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26457/statm: 1339 239 197 169 0 50 0
[pid=26463] ppid=26457 vsize=1837900 CPUtime=5251.27
/proc/26463/stat : 26463 (minisat_static) R 26457 26457 26420 0 -1 4194304 458368 0 0 0 524745 382 0 0 25 0 1 0 313730617 1882009600 458314 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26463/statm: 459475 458314 77 171 0 459302 0
Current children cumulated CPU time (s) 5263.74
Current children cumulated vsize (KiB) 1843256

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26457 and gives
#  childrusage.ru_utime.tv_sec=11
#  childrusage.ru_utime.tv_usec=952182
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=531919
# CPU time returned by wait4() is 12.4841
# while last known CPU time is 5263.74
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 5265.21
CPU time (s): 5263.74
CPU user time (s): 5259.4
CPU system time (s): 4.34
CPU usage (%): 99.972
Max. virtual memory (cumulated for all children) (KiB): 1843256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.9522
system time used= 0.531919
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65903
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= 14
involuntary context switches= 57

runsolver used 6.47701 second user time and 12.7461 second system time

The end

Launcher Data 

Begin job on node61 at 2009-05-21 00:03:42
IDJOB=1837076
IDBENCH=20388
IDSOLVER=674
FILE ID=node61/1837076-1242857020
PBS_JOBID= 9328456
Free space on /tmp= 66196 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/partial-10-19-u.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837076-1242857020/watcher-1837076-1242857020 -o /tmp/evaluation-result-1837076-1242857020/solver-1837076-1242857020 -C 10000 -W 12000 -M 1800  SatELiteGTI HOME/instance-1837076-1242857020.cnf

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

MD5SUM BENCH= ec6ae8f44e827ed5bcc8aed459990775
RANDOM SEED=639663243

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1710760 kB
Buffers:         34576 kB
Cached:         267332 kB
SwapCached:       6744 kB
Active:         156540 kB
Inactive:       153760 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1710760 kB
SwapTotal:     4192956 kB
SwapFree:      4180688 kB
Dirty:           30652 kB
Writeback:           0 kB
Mapped:          13320 kB
Slab:            20976 kB
Committed_AS:  1061188 kB
PageTables:       1372 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264884 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66164 MiB
End job on node61 at 2009-05-21 01:31:30