Trace number 1820674

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? (TO) 1200 1206.25

General information on the benchmark

Nameindustrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq8.cnf
MD5SUM776da55785376fd8eac6989ca812b102
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 variables371419
Number of clauses7170909
Sum of the clauses size20872419
Maximum clause length205
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 26770451
Number of clauses of size 392326
Number of clauses of size 48862
Number of clauses of size 523554
Number of clauses of size over 5275715

Solver Data 

0.00/0.00	c Parsing...
6.01/6.09	c ==============================================================================
6.01/6.09	c |           |     ORIGINAL     |              LEARNT              |          |
6.01/6.09	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
6.01/6.09	c ==============================================================================
6.01/6.09	c |         0 | 7170908 20872418 | 2151272       0        0     nan |  0.000 % |
180.72/180.73	c |         0 | 6994286 21668859 |      --       0       --      -- |     --   | -176447/801368
180.72/180.74	c ==============================================================================
180.72/180.74	c Result  :   #vars: 303312   #clauses: 6994286   #literals: 21668859
180.72/180.74	c CPU time:   179.64 s
180.72/180.74	c ==============================================================================
187.92/194.29	c This is MiniSat 2.0 beta
187.92/194.29	c WARNING: for repeatability, setting FPU to use double precision
187.92/194.29	c ============================[ Problem Statistics ]=============================
187.92/194.29	c |                                                                             |
187.92/194.29	c |  Number of variables:  303312                                               |
187.92/194.29	c |  Number of clauses:    6994286                                              |
192.51/198.85	c |  Parsing time:         4.09         s                                       |
192.82/199.19	c ============================[ Search Statistics ]==============================
192.82/199.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.82/199.19	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
192.82/199.19	c ===============================================================================
192.82/199.19	c |         0 |  303312  6994286 21668859 |  2331428        0    nan |  0.000 % |
193.41/199.75	c |       102 |  303312  6994286 21668859 |  2331428      102    108 |  0.000 % |
194.11/200.46	c |       204 |  303312  6994286 21668859 |  2331428      204     83 |  0.000 % |
194.81/201.15	c |       305 |  303312  6994286 21668859 |  2331428      305     68 |  0.000 % |
195.51/201.85	c |       416 |  303312  6994286 21668859 |  2331428      416     73 |  0.000 % |
196.21/202.58	c |       516 |  303312  6994286 21668859 |  2331428      516     62 |  0.000 % |
196.81/203.19	c |       626 |  303312  6994286 21668859 |  2331428      626     60 |  0.000 % |
197.81/204.16	c |       748 |  303312  6994286 21668859 |  2331428      748     54 |  0.000 % |
198.01/204.40	c |       851 |  303312  6994286 21668859 |  2331428      851     51 |  0.000 % |
198.41/204.75	c |       961 |  303312  6994286 21668859 |  2331428      961     52 |  0.000 % |
198.61/204.95	c |      1085 |  303312  6994286 21668859 |  2331428     1085     52 |  0.000 % |
199.11/205.50	c |      1218 |  303312  6994286 21668859 |  2331428     1218     51 |  0.000 % |
199.51/205.84	c |      1319 |  303312  6994286 21668859 |  2331428     1319     49 |  0.000 % |
199.81/206.16	c |      1432 |  303312  6994286 21668859 |  2331428     1432     48 |  0.000 % |
200.11/206.49	c |      1553 |  303312  6994286 21668859 |  2331428     1553     47 |  0.000 % |
200.61/206.96	c |      1686 |  303312  6994286 21668859 |  2331428     1686     47 |  0.000 % |
201.31/207.69	c |      1832 |  303312  6994286 21668859 |  2331428     1832     46 |  0.000 % |
203.01/209.35	c |      1932 |  303312  6994286 21668859 |  2331428     1932     46 |  0.000 % |
203.21/209.60	c |      2044 |  303312  6994286 21668859 |  2331428     2044     50 |  0.000 % |
203.61/209.96	c |      2165 |  303312  6994286 21668859 |  2331428     2165     53 |  0.000 % |
203.91/210.21	c |      2302 |  303312  6994286 21668859 |  2331428     2302     52 |  0.000 % |
204.61/210.97	c |      2448 |  303312  6994286 21668859 |  2331428     2448     52 |  0.000 % |
205.01/211.32	c |      2608 |  303312  6994286 21668859 |  2331428     2608     53 |  0.000 % |
205.31/211.63	c |      2710 |  303312  6994286 21668859 |  2331428     2710     53 |  0.000 % |
205.51/211.88	c |      2820 |  303312  6994286 21668859 |  2331428     2820     53 |  0.000 % |
205.91/212.27	c |      2944 |  303312  6994286 21668859 |  2331428     2944     54 |  0.000 % |
206.61/212.94	c |      3080 |  303312  6994286 21668859 |  2331428     3080     53 |  0.000 % |
207.81/214.12	c |      3226 |  303312  6994286 21668859 |  2331428     3226     53 |  0.000 % |
208.22/214.57	c |      3386 |  303312  6994286 21668859 |  2331428     3386     55 |  0.000 % |
208.51/214.88	c |      3562 |  303312  6994286 21668859 |  2331428     3562     54 |  0.000 % |
209.61/215.93	c |      3663 |  303312  6994286 21668859 |  2331428     3663     53 |  0.000 % |
210.31/216.70	c |      3773 |  303312  6994286 21668859 |  2331428     3773     52 |  0.000 % |
210.81/217.20	c |      3899 |  303312  6994286 21668859 |  2331428     3899     53 |  0.000 % |
211.81/218.14	c |      4032 |  303312  6994286 21668859 |  2331428     4032     52 |  0.000 % |
212.91/219.22	c |      4180 |  303312  6994286 21668859 |  2331428     4180     52 |  0.000 % |
213.41/219.72	c |      4340 |  303312  6994286 21668859 |  2331428     4340     51 |  0.000 % |
213.72/220.07	c |      4519 |  303312  6994286 21668859 |  2331428     4519     52 |  0.000 % |
215.22/221.59	c |      4714 |  303312  6994286 21668859 |  2331428     4714     53 |  0.000 % |
215.52/221.84	c |      4814 |  303312  6994286 21668859 |  2331428     4814     53 |  0.000 % |
217.03/223.33	c |      4928 |  303312  6994286 21668859 |  2331428     4928     54 |  0.000 % |
217.32/223.68	c |      5049 |  303312  6994286 21668859 |  2331428     5049     53 |  0.000 % |
217.72/224.08	c |      5182 |  303312  6994286 21668859 |  2331428     5182     53 |  0.000 % |
217.81/224.14	c |      5328 |  303312  6994286 21668859 |  2331428     5328     52 |  0.000 % |
218.21/224.60	c |      5488 |  303312  6994286 21668859 |  2331428     5488     52 |  0.000 % |
218.31/224.68	c |      5664 |  303312  6994286 21668859 |  2331428     5664     52 |  0.000 % |
219.01/225.32	c |      5857 |  303312  6994286 21668859 |  2331428     5857     52 |  0.000 % |
220.02/226.35	c |      6071 |  303312  6994286 21668859 |  2331428     6071     53 |  0.000 % |
220.52/226.85	c |      6171 |  303312  6994286 21668859 |  2331428     6171     53 |  0.000 % |
220.92/227.23	c |      6281 |  303312  6994286 21668859 |  2331428     6281     53 |  0.000 % |
221.22/227.60	c |      6402 |  303312  6994286 21668859 |  2331428     6402     52 |  0.000 % |
221.52/227.89	c |      6536 |  303312  6994286 21668859 |  2331428     6536     52 |  0.000 % |
222.62/229.02	c |      6683 |  303312  6994286 21668859 |  2331428     6683     51 |  0.000 % |
223.12/229.44	c |      6844 |  303312  6994286 21668859 |  2331428     6844     51 |  0.000 % |
223.62/230.01	c |      7020 |  303312  6994286 21668859 |  2331428     7020     51 |  0.000 % |
224.12/230.43	c |      7213 |  303312  6994286 21668859 |  2331428     7213     51 |  0.000 % |
224.42/230.80	c |      7426 |  303312  6994286 21668859 |  2331428     7426     52 |  0.000 % |
225.32/231.71	c |      7659 |  303312  6994286 21668859 |  2331428     7659     51 |  0.000 % |
225.92/232.25	c |      7760 |  303312  6994286 21668859 |  2331428     7760     51 |  0.000 % |
226.42/232.81	c |      7870 |  303312  6994286 21668859 |  2331428     7870     51 |  0.000 % |
226.92/233.23	c |      7992 |  303312  6994286 21668859 |  2331428     7992     52 |  0.000 % |
227.42/233.75	c |      8127 |  303312  6994286 21668859 |  2331428     8127     51 |  0.000 % |
227.82/234.13	c |      8279 |  303312  6994286 21668859 |  2331428     8279     51 |  0.000 % |
228.02/234.37	c |      8440 |  303312  6994286 21668859 |  2331428     8440     51 |  0.000 % |
228.52/234.92	c |      8619 |  303312  6994286 21668859 |  2331428     8619     51 |  0.000 % |
230.42/236.74	c |      8812 |  303312  6994286 21668859 |  2331428     8812     51 |  0.000 % |
230.82/237.22	c |      9024 |  303312  6994286 21668859 |  2331428     9024     51 |  0.000 % |
233.02/239.36	c |      9258 |  303312  6994286 21668859 |  2331428     9258     51 |  0.000 % |
233.62/239.96	c |      9514 |  303312  6994286 21668859 |  2331428     9514     51 |  0.000 % |
233.82/240.18	c |      9616 |  303312  6994286 21668859 |  2331428     9616     51 |  0.000 % |
234.32/240.68	c |      9727 |  303312  6994286 21668859 |  2331428     9727     51 |  0.000 % |
234.72/241.08	c |      9850 |  303312  6994286 21668859 |  2331428     9850     51 |  0.000 % |
235.32/241.63	c |      9983 |  303312  6994286 21668859 |  2331428     9983     51 |  0.000 % |
235.62/241.93	c |     10130 |  303312  6994286 21668859 | 2147483647    10130     52 |  0.000 % |
236.12/242.43	c |     10291 |  303312  6994286 21668859 | 2147483647    10291     52 |  0.000 % |
236.32/242.72	c |     10467 |  303312  6994286 21668859 | 2147483647    10467     52 |  0.000 % |
236.62/242.93	c |     10662 |  303312  6994286 21668859 | 2147483647    10662     52 |  0.000 % |
238.02/244.41	c |     10874 |  303312  6994286 21668859 | 2147483647    10874     51 |  0.000 % |
239.42/245.78	c |     11109 |  303312  6994286 21668859 | 2147483647    11109     51 |  0.000 % |
239.82/246.20	c |     11366 |  303312  6994286 21668859 | 2147483647    11366     52 |  0.000 % |
240.52/246.90	c |     11647 |  303312  6994286 21668859 | 2147483647    11647     52 |  0.000 % |
240.92/247.23	c |     11747 |  303312  6994286 21668859 | 2147483647    11747     52 |  0.000 % |
241.22/247.57	c |     11857 |  303312  6994286 21668859 | 2147483647    11857     52 |  0.000 % |
241.72/248.03	c |     11978 |  303312  6994286 21668859 | 2147483647    11978     52 |  0.000 % |
242.02/248.40	c |     12111 |  303312  6994286 21668859 | 2147483647    12111     52 |  0.000 % |
242.52/248.82	c |     12267 |  303312  6994286 21668859 | 2147483647    12267     52 |  0.000 % |
242.82/249.22	c |     12432 |  303312  6994286 21668859 | 2147483647    12432     52 |  0.000 % |
243.62/249.97	c |     12608 |  303312  6994286 21668859 | 2147483647    12608     51 |  0.000 % |
244.22/250.61	c |     12801 |  303312  6994286 21668859 | 2147483647    12801     51 |  0.000 % |
244.72/251.08	c |     13016 |  303312  6994286 21668859 | 2147483647    13016     52 |  0.000 % |
245.62/251.95	c |     13249 |  303312  6994286 21668859 | 2147483647    13249     52 |  0.000 % |
246.12/252.52	c |     13507 |  303312  6994286 21668859 | 2147483647    13507     51 |  0.000 % |
247.62/254.02	c |     13789 |  303312  6994286 21668859 | 2147483647    13789     51 |  0.000 % |
248.12/254.43	c |     14098 |  303312  6994286 21668859 | 2147483647    14098     51 |  0.000 % |
248.52/254.89	c |     14198 |  303312  6994286 21668859 | 2147483647    14198     51 |  0.000 % |
249.12/255.44	c |     14309 |  303312  6994286 21668859 | 2147483647    14309     51 |  0.000 % |
249.72/256.08	c |     14430 |  303312  6994286 21668859 | 2147483647    14430     51 |  0.000 % |
250.12/256.51	c |     14565 |  303312  6994286 21668859 | 2147483647    14565     51 |  0.000 % |
250.42/256.74	c |     14713 |  303312  6994286 21668859 | 2147483647    14713     50 |  0.000 % |
251.52/257.86	c |     14873 |  303312  6994286 21668859 | 2147483647    14873     50 |  0.000 % |
252.22/258.57	c |     15050 |  303312  6994286 21668859 | 2147483647    15050     51 |  0.000 % |
252.92/259.26	c |     15243 |  303312  6994286 21668859 | 2147483647    15243     51 |  0.000 % |
253.32/259.68	c |     15455 |  303312  6994286 21668859 | 2147483647    15455     51 |  0.000 % |
253.92/260.28	c |     15689 |  303312  6994286 21668859 | 2147483647    15689     50 |  0.000 % |
254.42/260.73	c |     15945 |  303312  6994286 21668859 | 2147483647    15945     50 |  0.000 % |
254.82/261.16	c |     16226 |  303312  6994286 21668859 | 2147483647    16226     50 |  0.000 % |
255.82/262.18	c |     16535 |  303312  6994286 21668859 | 2147483647    16535     50 |  0.000 % |
256.62/263.00	c |     16874 |  303312  6994286 21668859 | 2147483647    16874     50 |  0.000 % |
257.42/263.80	c |     16974 |  303312  6994286 21668859 | 2147483647    16974     50 |  0.000 % |
257.92/264.26	c |     17087 |  303312  6994286 21668859 | 2147483647    17087     51 |  0.000 % |
258.32/264.67	c |     17212 |  303312  6994286 21668859 | 2147483647    17212     50 |  0.000 % |
258.92/265.31	c |     17345 |  303312  6994286 21668859 | 2147483647    17345     50 |  0.000 % |
259.02/265.41	c |     17491 |  303312  6994286 21668859 | 2147483647    17491     50 |  0.000 % |
259.62/265.99	c |     17652 |  303312  6994286 21668859 | 2147483647    17652     50 |  0.000 % |
259.92/266.29	c |     17829 |  303312  6994286 21668859 | 2147483647    17829     50 |  0.000 % |
260.52/266.86	c |     18023 |  303312  6994286 21668859 | 2147483647    18023     50 |  0.000 % |
261.02/267.36	c |     18235 |  303312  6994286 21668859 | 2147483647    18235     50 |  0.000 % |
261.12/267.48	c |     18469 |  303312  6994286 21668859 | 2147483647    18469     49 |  0.000 % |
262.12/268.48	c |     18725 |  303312  6994286 21668859 | 2147483647    18725     49 |  0.000 % |
262.82/269.13	c |     19006 |  303312  6994286 21668859 | 2147483647    19006     49 |  0.000 % |
264.52/270.88	c |     19315 |  303312  6994286 21668859 | 2147483647    19315     50 |  0.000 % |
265.82/272.19	c |     19654 |  303312  6994286 21668859 | 2147483647    19654     50 |  0.000 % |
266.62/272.96	c |     20029 |  303312  6994286 21668859 | 2147483647    20029     50 |  0.000 % |
267.12/273.49	c |     20129 |  303312  6994286 21668859 | 2147483647    20129     50 |  0.000 % |
267.42/273.75	c |     20240 |  303312  6994286 21668859 | 2147483647    20240     50 |  0.000 % |
267.82/274.17	c |     20364 |  303312  6994286 21668859 | 2147483647    20364     50 |  0.000 % |
268.12/274.49	c |     20500 |  303312  6994286 21668859 | 2147483647    20500     50 |  0.000 % |
268.52/274.91	c |     20647 |  303312  6994286 21668859 | 2147483647    20647     50 |  0.000 % |
269.02/275.40	c |     20807 |  303312  6994286 21668859 | 2147483647    20807     50 |  0.000 % |
269.62/275.94	c |     20984 |  303312  6994286 21668859 | 2147483647    20984     50 |  0.000 % |
269.92/276.26	c |     21179 |  303312  6994286 21668859 | 2147483647    21179     50 |  0.000 % |
270.22/276.59	c |     21392 |  303312  6994286 21668859 | 2147483647    21392     50 |  0.000 % |
270.72/277.04	c |     21627 |  303312  6994286 21668859 | 2147483647    21627     50 |  0.000 % |
271.22/277.58	c |     21883 |  303312  6994286 21668859 | 2147483647    21883     50 |  0.000 % |
271.92/278.30	c |     22165 |  303312  6994286 21668859 | 2147483647    22165     49 |  0.000 % |
272.52/278.83	c |     22476 |  303312  6994286 21668859 | 2147483647    22476     49 |  0.000 % |
273.12/279.43	c |     22817 |  303312  6994286 21668859 | 2147483647    22817     49 |  0.000 % |
273.42/279.79	c |     23189 |  303312  6994286 21668859 | 2147483647    23189     49 |  0.000 % |
273.82/280.21	c |     23598 |  303312  6994286 21668859 | 2147483647    23598     49 |  0.000 % |
274.22/280.58	c |     23698 |  303312  6994286 21668859 | 2147483647    23698     49 |  0.000 % |
274.52/280.85	c |     23809 |  303312  6994286 21668859 | 2147483647    23809     49 |  0.000 % |
274.82/281.15	c |     23931 |  303312  6994286 21668859 | 2147483647    23931     49 |  0.000 % |
275.12/281.43	c |     24065 |  303312  6994286 21668859 | 2147483647    24065     49 |  0.000 % |
275.92/282.23	c |     24211 |  303312  6994286 21668859 | 2147483647    24211     49 |  0.000 % |
276.12/282.49	c |     24371 |  303312  6994286 21668859 | 2147483647    24371     49 |  0.000 % |
277.12/283.49	c |     24548 |  303312  6994286 21668859 | 2147483647    24548     49 |  0.000 % |
277.72/284.09	c |     24742 |  303312  6994286 21668859 | 2147483647    24742     49 |  0.000 % |
278.12/284.51	c |     24954 |  303312  6994286 21668859 | 2147483647    24954     49 |  0.000 % |
278.63/284.94	c |     25187 |  303312  6994286 21668859 | 2147483647    25187     49 |  0.000 % |
278.92/285.27	c |     25444 |  303312  6994286 21668859 | 2147483647    25444     49 |  0.000 % |
279.42/285.75	c |     25731 |  303312  6994286 21668859 | 2147483647    25731     49 |  0.000 % |
279.92/286.26	c |     26041 |  303312  6994286 21668859 | 2147483647    26041     49 |  0.000 % |
280.52/286.82	c |     26383 |  303312  6994286 21668859 | 2147483647    26383     49 |  0.000 % |
281.22/287.52	c |     26755 |  303312  6994286 21668859 | 2147483647    26755     49 |  0.000 % |
281.72/288.07	c |     27164 |  303312  6994286 21668859 | 2147483647    27164     49 |  0.000 % |
282.22/288.56	c |     27613 |  303312  6994286 21668859 | 2147483647    27613     49 |  0.000 % |
282.52/288.88	c |     27713 |  303312  6994286 21668859 | 2147483647    27713     49 |  0.000 % |
282.82/289.15	c |     27823 |  303312  6994286 21668859 | 2147483647    27823     49 |  0.000 % |
283.22/289.55	c |     27944 |  303312  6994286 21668859 | 2147483647    27944     49 |  0.000 % |
283.42/289.80	c |     28078 |  303312  6994286 21668859 | 2147483647    28078     49 |  0.000 % |
283.92/290.25	c |     28226 |  303312  6994286 21668859 | 2147483647    28226     49 |  0.000 % |
284.13/290.50	c |     28386 |  303312  6994286 21668859 | 2147483647    28386     49 |  0.000 % |
284.62/291.01	c |     28562 |  303312  6994286 21668859 | 2147483647    28562     49 |  0.000 % |
285.23/291.58	c |     28755 |  303312  6994286 21668859 | 2147483647    28755     49 |  0.000 % |
285.62/291.94	c |     28967 |  303312  6994286 21668859 | 2147483647    28967     48 |  0.000 % |
286.12/292.49	c |     29200 |  303312  6994286 21668859 | 2147483647    29200     48 |  0.000 % |
286.62/292.92	c |     29456 |  303312  6994286 21668859 | 2147483647    29456     48 |  0.000 % |
287.32/293.66	c |     29737 |  303312  6994286 21668859 | 2147483647    29737     48 |  0.000 % |
287.92/294.27	c |     30046 |  303312  6994286 21668859 | 2147483647    30046     48 |  0.000 % |
288.53/294.86	c |     30385 |  303312  6994286 21668859 | 2147483647    30385     49 |  0.000 % |
289.42/295.79	c |     30759 |  303312  6994286 21668859 | 2147483647    30759     48 |  0.000 % |
289.92/296.24	c |     31168 |  303312  6994286 21668859 | 2147483647    31168     48 |  0.000 % |
290.82/297.18	c |     31617 |  303312  6994286 21668859 | 2147483647    31617     48 |  0.000 % |
291.72/298.05	c |     32111 |  303312  6994286 21668859 | 2147483647    32111     48 |  0.000 % |
291.92/298.26	c |     32211 |  303312  6994286 21668859 | 2147483647    32211     48 |  0.000 % |
292.22/298.56	c |     32322 |  303312  6994286 21668859 | 2147483647    32322     48 |  0.000 % |
292.52/298.84	c |     32444 |  303312  6994286 21668859 | 2147483647    32444     48 |  0.000 % |
293.32/299.64	c |     32577 |  303312  6994286 21668859 | 2147483647    32577     47 |  0.000 % |
293.92/300.29	c |     32723 |  303312  6994286 21668859 | 2147483647    32723     48 |  0.000 % |
294.52/300.90	c |     32883 |  303312  6994286 21668859 | 2147483647    32883     48 |  0.000 % |
295.22/301.57	c |     33059 |  303312  6994286 21668859 | 2147483647    33059     47 |  0.000 % |
296.12/302.52	c |     33256 |  303312  6994286 21668859 | 2147483647    33256     47 |  0.000 % |
296.82/303.15	c |     33468 |  303312  6994286 21668859 | 2147483647    33468     48 |  0.000 % |
297.33/303.65	c |     33702 |  303312  6994286 21668859 | 2147483647    33702     48 |  0.000 % |
298.02/304.35	c |     33959 |  303312  6994286 21668859 | 2147483647    33959     48 |  0.000 % |
299.62/305.99	c |     34240 |  303312  6994286 21668859 | 2147483647    34240     48 |  0.000 % |
300.82/307.21	c |     34549 |  303312  6994286 21668859 | 2147483647    34549     48 |  0.000 % |
302.72/309.02	c |     34890 |  303312  6994286 21668859 | 2147483647    34890     48 |  0.000 % |
303.22/309.52	c |     35262 |  303312  6994286 21668859 | 2147483647    35262     48 |  0.000 % |
305.12/311.43	c |     35673 |  303312  6994286 21668859 | 2147483647    35673     48 |  0.000 % |
306.22/312.53	c |     36122 |  303312  6994286 21668859 | 2147483647    36122     48 |  0.000 % |
308.12/314.47	c |     36616 |  303312  6994286 21668859 | 2147483647    36616     48 |  0.000 % |
310.42/316.74	c |     37159 |  303312  6994286 21668859 | 2147483647    37159     48 |  0.000 % |
310.72/317.05	c |     37260 |  303312  6994286 21668859 | 2147483647    37260     48 |  0.000 % |
311.22/317.53	c |     37370 |  303312  6994286 21668859 | 2147483647    37370     49 |  0.000 % |
311.82/318.16	c |     37493 |  303312  6994286 21668859 | 2147483647    37493     49 |  0.000 % |
312.73/319.09	c |     37626 |  303312  6994286 21668859 | 2147483647    37626     49 |  0.000 % |
314.22/320.61	c |     37776 |  303312  6994286 21668859 | 2147483647    37776     49 |  0.000 % |
315.42/321.76	c |     37938 |  303312  6994286 21668859 | 2147483647    37938     49 |  0.000 % |
316.03/322.36	c |     38115 |  303312  6994286 21668859 | 2147483647    38115     49 |  0.000 % |
316.52/322.86	c |     38313 |  303312  6994286 21668859 | 2147483647    38313     49 |  0.000 % |
317.02/323.40	c |     38526 |  303312  6994286 21668859 | 2147483647    38526     49 |  0.000 % |
317.73/324.06	c |     38759 |  303312  6994286 21668859 | 2147483647    38759     49 |  0.000 % |
318.23/324.57	c |     39015 |  303312  6994286 21668859 | 2147483647    39015     49 |  0.000 % |
318.93/325.32	c |     39298 |  303312  6994286 21668859 | 2147483647    39298     49 |  0.000 % |
319.43/325.74	c |     39608 |  303312  6994286 21668859 | 2147483647    39608     49 |  0.000 % |
319.93/326.23	c |     39948 |  303312  6994286 21668859 | 2147483647    39948     49 |  0.000 % |
320.53/326.87	c |     40320 |  303312  6994286 21668859 | 2147483647    40320     49 |  0.000 % |
321.13/327.48	c |     40730 |  303312  6994286 21668859 | 2147483647    40730     48 |  0.000 % |
321.73/328.07	c |     41179 |  303312  6994286 21668859 | 2147483647    41179     48 |  0.000 % |
322.53/328.92	c |     41672 |  303312  6994286 21668859 | 2147483647    41672     48 |  0.000 % |
323.43/329.73	c |     42217 |  303312  6994286 21668859 | 2147483647    42217     48 |  0.000 % |
324.13/330.50	c |     42814 |  303312  6994286 21668859 | 2147483647    42814     47 |  0.000 % |
324.53/330.84	c |     42916 |  303312  6994286 21668859 | 2147483647    42916     47 |  0.000 % |
325.03/331.33	c |     43026 |  303312  6994286 21668859 | 2147483647    43026     48 |  0.000 % |
325.53/331.89	c |     43147 |  303312  6994286 21668859 | 2147483647    43147     48 |  0.000 % |
326.13/332.49	c |     43281 |  303312  6994286 21668859 | 2147483647    43281     48 |  0.000 % |
326.43/332.78	c |     43427 |  303312  6994286 21668859 | 2147483647    43427     48 |  0.000 % |
327.03/333.34	c |     43588 |  303312  6994286 21668859 | 2147483647    43588     47 |  0.000 % |
327.73/334.03	c |     43765 |  303312  6994286 21668859 | 2147483647    43765     48 |  0.000 % |
328.23/334.57	c |     43962 |  303312  6994286 21668859 | 2147483647    43962     48 |  0.000 % |
328.53/334.87	c |     44175 |  303312  6994286 21668859 | 2147483647    44175     48 |  0.000 % |
328.83/335.15	c |     44408 |  303312  6994286 21668859 | 2147483647    44408     48 |  0.000 % |
329.92/336.24	c |     44664 |  303312  6994286 21668859 | 2147483647    44664     48 |  0.000 % |
331.22/337.54	c |     44946 |  303312  6994286 21668859 | 2147483647    44946     48 |  0.000 % |
332.32/338.64	c |     45255 |  303312  6994286 21668859 | 2147483647    45255     48 |  0.000 % |
333.12/339.49	c |     45594 |  303312  6994286 21668859 | 2147483647    45594     48 |  0.000 % |
333.82/340.12	c |     45966 |  303312  6994286 21668859 | 2147483647    45966     49 |  0.000 % |
334.42/340.79	c |     46376 |  303312  6994286 21668859 | 2147483647    46376     49 |  0.000 % |
335.02/341.33	c |     46825 |  303312  6994286 21668859 | 2147483647    46825     49 |  0.000 % |
335.72/342.09	c |     47319 |  303312  6994286 21668859 | 2147483647    47319     49 |  0.000 % |
336.32/342.69	c |     47861 |  303312  6994286 21668859 | 2147483647    47861     48 |  0.000 % |
337.12/343.47	c |     48457 |  303312  6994286 21668859 | 2147483647    48457     48 |  0.000 % |
337.82/344.13	c |     49112 |  303312  6994286 21668859 | 2147483647    49112     48 |  0.000 % |
338.02/344.34	c |     49212 |  303312  6994286 21668859 | 2147483647    49212     48 |  0.000 % |
338.22/344.58	c |     49323 |  303312  6994286 21668859 | 2147483647    49323     48 |  0.000 % |
338.42/344.79	c |     49447 |  303312  6994286 21668859 | 2147483647    49447     48 |  0.000 % |
338.72/345.06	c |     49580 |  303312  6994286 21668859 | 2147483647    49580     48 |  0.000 % |
339.02/345.35	c |     49726 |  303312  6994286 21668859 | 2147483647    49726     48 |  0.000 % |
339.32/345.64	c |     49886 |  303312  6994286 21668859 | 2147483647    49886     47 |  0.000 % |
339.52/345.87	c |     50062 |  303312  6994286 21668859 | 2147483647    50062     47 |  0.000 % |
339.82/346.13	c |     50255 |  303312  6994286 21668859 | 2147483647    50255     47 |  0.000 % |
340.12/346.48	c |     50469 |  303312  6994286 21668859 | 2147483647    50469     47 |  0.000 % |
340.42/346.80	c |     50704 |  303312  6994286 21668859 | 2147483647    50704     47 |  0.000 % |
340.82/347.17	c |     50961 |  303312  6994286 21668859 | 2147483647    50961     47 |  0.000 % |
341.22/347.55	c |     51243 |  303312  6994286 21668859 | 2147483647    51243     47 |  0.000 % |
341.52/347.91	c |     51552 |  303312  6994286 21668859 | 2147483647    51552     47 |  0.000 % |
342.02/348.33	c |     51891 |  303312  6994286 21668859 | 2147483647    51891     47 |  0.000 % |
342.52/348.84	c |     52264 |  303312  6994286 21668859 | 2147483647    52264     47 |  0.000 % |
343.02/349.38	c |     52674 |  303312  6994286 21668859 | 2147483647    52674     47 |  0.000 % |
343.62/349.96	c |     53123 |  303312  6994286 21668859 | 2147483647    53123     46 |  0.000 % |
344.22/350.59	c |     53616 |  303312  6994286 21668859 | 2147483647    53616     46 |  0.000 % |
345.02/351.32	c |     54158 |  303312  6994286 21668859 | 2147483647    54158     46 |  0.000 % |
345.72/352.05	c |     54755 |  303312  6994286 21668859 | 2147483647    54755     46 |  0.000 % |
346.32/352.66	c |     55411 |  303312  6994286 21668859 | 2147483647    55411     45 |  0.000 % |
347.12/353.51	c |     56133 |  303312  6994286 21668859 | 2147483647    56133     45 |  0.000 % |
347.42/353.73	c |     56233 |  303312  6994286 21668859 | 2147483647    56233     45 |  0.000 % |
347.62/354.00	c |     56343 |  303312  6994286 21668859 | 2147483647    56343     45 |  0.000 % |
347.92/354.28	c |     56464 |  303312  6994286 21668859 | 2147483647    56464     45 |  0.000 % |
348.22/354.54	c |     56597 |  303312  6994286 21668859 | 2147483647    56597     45 |  0.000 % |
348.52/354.82	c |     56743 |  303312  6994286 21668859 | 2147483647    56743     45 |  0.000 % |
348.82/355.14	c |     56903 |  303312  6994286 21668859 | 2147483647    56903     45 |  0.000 % |
349.02/355.40	c |     57082 |  303312  6994286 21668859 | 2147483647    57082     45 |  0.000 % |
349.42/355.75	c |     57276 |  303312  6994286 21668859 | 2147483647    57276     45 |  0.000 % |
349.72/356.10	c |     57488 |  303312  6994286 21668859 | 2147483647    57488     44 |  0.000 % |
350.12/356.46	c |     57722 |  303312  6994286 21668859 | 2147483647    57722     44 |  0.000 % |
350.62/356.92	c |     57980 |  303312  6994286 21668859 | 2147483647    57980     44 |  0.000 % |
351.02/357.33	c |     58261 |  303312  6994286 21668859 | 2147483647    58261     44 |  0.000 % |
351.42/357.77	c |     58572 |  303312  6994286 21668859 | 2147483647    58572     44 |  0.000 % |
351.92/358.25	c |     58911 |  303312  6994286 21668859 | 2147483647    58911     44 |  0.000 % |
352.82/359.14	c |     59283 |  303312  6994286 21668859 | 2147483647    59283     44 |  0.000 % |
354.02/360.39	c |     59692 |  303312  6994286 21668859 | 2147483647    59692     44 |  0.000 % |
354.92/361.27	c |     60142 |  303312  6994286 21668859 | 2147483647    60142     44 |  0.000 % |
356.52/362.84	c |     60638 |  303312  6994286 21668859 | 2147483647    60638     44 |  0.000 % |
357.22/363.60	c |     61181 |  303312  6994286 21668859 | 2147483647    61181     44 |  0.000 % |
358.62/365.00	c |     61779 |  303312  6994286 21668859 | 2147483647    61779     44 |  0.000 % |
359.82/366.18	c |     62434 |  303312  6994286 21668859 | 2147483647    62434     45 |  0.000 % |
361.12/367.42	c |     63154 |  303312  6994286 21668859 | 2147483647    63154     45 |  0.000 % |
362.32/368.62	c |     63947 |  303312  6994286 21668859 | 2147483647    63947     45 |  0.000 % |
362.72/369.05	c |     64049 |  303312  6994286 21668859 | 2147483647    64049     45 |  0.000 % |
363.02/369.35	c |     64160 |  303312  6994286 21668859 | 2147483647    64160     45 |  0.000 % |
363.42/369.71	c |     64282 |  303312  6994286 21668859 | 2147483647    64282     45 |  0.000 % |
364.42/370.79	c |     64415 |  303312  6994286 21668859 | 2147483647    64415     45 |  0.000 % |
365.62/372.01	c |     64561 |  303312  6994286 21668859 | 2147483647    64561     45 |  0.000 % |
366.52/372.88	c |     64722 |  303312  6994286 21668859 | 2147483647    64722     45 |  0.000 % |
367.42/373.77	c |     64899 |  303312  6994286 21668859 | 2147483647    64899     45 |  0.000 % |
368.22/374.58	c |     65094 |  303312  6994286 21668859 | 2147483647    65094     45 |  0.000 % |
368.82/375.18	c |     65306 |  303312  6994286 21668859 | 2147483647    65306     45 |  0.000 % |
369.32/375.69	c |     65539 |  303312  6994286 21668859 | 2147483647    65539     45 |  0.000 % |
369.72/376.05	c |     65795 |  303312  6994286 21668859 | 2147483647    65795     45 |  0.000 % |
370.12/376.49	c |     66076 |  303312  6994286 21668859 | 2147483647    66076     45 |  0.000 % |
371.92/378.22	c |     66385 |  303312  6994286 21668859 | 2147483647    66385     45 |  0.000 % |
372.62/378.98	c |     66727 |  303312  6994286 21668859 | 2147483647    66727     45 |  0.000 % |
373.52/379.82	c |     67100 |  303312  6994286 21668859 | 2147483647    67100     45 |  0.000 % |
374.02/380.38	c |     67509 |  303312  6994286 21668859 | 2147483647    67509     45 |  0.000 % |
375.12/381.49	c |     67960 |  303312  6994286 21668859 | 2147483647    67960     46 |  0.000 % |
375.82/382.14	c |     68453 |  303312  6994286 21668859 | 2147483647    68453     46 |  0.000 % |
376.72/383.04	c |     68995 |  303312  6994286 21668859 | 2147483647    68995     46 |  0.000 % |
377.72/384.06	c |     69591 |  303312  6994286 21668859 | 2147483647    69591     46 |  0.000 % |
380.12/386.47	c |     70249 |  303312  6994286 21668859 | 2147483647    70249     46 |  0.000 % |
383.32/389.61	c |     70972 |  303312  6994286 21668859 | 2147483647    70972     46 |  0.000 % |
385.42/391.80	c |     71767 |  303312  6994286 21668859 | 2147483647    71767     47 |  0.000 % |
387.12/393.46	c |     72641 |  303312  6994286 21668859 | 2147483647    72641     48 |  0.000 % |
387.62/393.93	c |     72743 |  303312  6994286 21668859 | 2147483647    72743     48 |  0.000 % |
388.63/394.98	c |     72853 |  303312  6994286 21668859 | 2147483647    72853     48 |  0.000 % |
389.12/395.50	c |     72974 |  303312  6994286 21668859 | 2147483647    72974     48 |  0.000 % |
389.32/395.63	c |     73110 |  303312  6994286 21668859 | 2147483647    73110     48 |  0.000 % |
390.02/396.41	c |     73256 |  303312  6994286 21668859 | 2147483647    73256     48 |  0.000 % |
390.83/397.16	c |     73418 |  303312  6994286 21668859 | 2147483647    73418     48 |  0.000 % |
391.62/397.95	c |     73595 |  303312  6994286 21668859 | 2147483647    73595     48 |  0.000 % |
392.42/398.74	c |     73790 |  303312  6994286 21668859 | 2147483647    73790     48 |  0.000 % |
393.92/400.23	c |     74002 |  303312  6994286 21668859 | 2147483647    74002     48 |  0.000 % |
394.62/400.95	c |     74235 |  303312  6994286 21668859 | 2147483647    74235     48 |  0.000 % |
395.02/401.39	c |     74492 |  303312  6994286 21668859 | 2147483647    74492     48 |  0.000 % |
396.52/402.87	c |     74774 |  303312  6994286 21668859 | 2147483647    74774     48 |  0.000 % |
397.02/403.35	c |     75083 |  303312  6994286 21668859 | 2147483647    75083     48 |  0.000 % |
398.62/404.99	c |     75422 |  303312  6994286 21668859 | 2147483647    75422     48 |  0.000 % |
399.72/406.09	c |     75796 |  303312  6994286 21668859 | 2147483647    75796     48 |  0.000 % |
400.52/406.85	c |     76205 |  303312  6994286 21668859 | 2147483647    76205     48 |  0.000 % |
403.62/409.95	c |     76654 |  303312  6994286 21668859 | 2147483647    76654     48 |  0.000 % |
405.92/412.21	c |     77147 |  303312  6994286 21668859 | 2147483647    77147     49 |  0.000 % |
408.52/414.82	c |     77690 |  303312  6994286 21668859 | 2147483647    77690     49 |  0.000 % |
409.92/416.30	c |     78288 |  303312  6994286 21668859 | 2147483647    78288     49 |  0.000 % |
411.62/417.95	c |     78945 |  303312  6994286 21668859 | 2147483647    78945     49 |  0.000 % |
413.12/419.50	c |     79666 |  303312  6994286 21668859 | 2147483647    79666     49 |  0.000 % |
414.93/421.24	c |     80458 |  303312  6994286 21668859 | 2147483647    80458     49 |  0.000 % |
416.83/423.15	c |     81329 |  303312  6994286 21668859 | 2147483647    81329     50 |  0.000 % |
418.23/424.54	c |     82290 |  303312  6994286 21668859 | 2147483647    82290     50 |  0.000 % |
418.53/424.91	c |     82391 |  303312  6994286 21668859 | 2147483647    82391     50 |  0.000 % |
418.93/425.29	c |     82502 |  303312  6994286 21668859 | 2147483647    82502     50 |  0.000 % |
419.53/425.90	c |     82623 |  303312  6994286 21668859 | 2147483647    82623     50 |  0.000 % |
419.83/426.20	c |     82756 |  303312  6994286 21668859 | 2147483647    82756     50 |  0.000 % |
420.23/426.55	c |     82902 |  303312  6994286 21668859 | 2147483647    82902     50 |  0.000 % |
420.73/427.07	c |     83062 |  303312  6994286 21668859 | 2147483647    83062     50 |  0.000 % |
421.23/427.61	c |     83239 |  303312  6994286 21668859 | 2147483647    83239     50 |  0.000 % |
421.63/427.97	c |     83433 |  303312  6994286 21668859 | 2147483647    83433     50 |  0.000 % |
422.93/429.30	c |     83645 |  303312  6994286 21668859 | 2147483647    83645     50 |  0.000 % |
424.13/430.44	c |     83878 |  303312  6994286 21668859 | 2147483647    83878     50 |  0.000 % |
425.03/431.35	c |     84135 |  303312  6994286 21668859 | 2147483647    84135     50 |  0.000 % |
425.93/432.24	c |     84418 |  303312  6994286 21668859 | 2147483647    84418     50 |  0.000 % |
426.53/432.83	c |     84731 |  303312  6994286 21668859 | 2147483647    84731     50 |  0.000 % |
427.13/433.48	c |     85071 |  303312  6994286 21668859 | 2147483647    85071     50 |  0.000 % |
428.63/434.95	c |     85450 |  303312  6994286 21668859 | 2147483647    85450     50 |  0.000 % |
430.03/436.33	c |     85859 |  303312  6994286 21668859 | 2147483647    85859     50 |  0.000 % |
431.83/438.15	c |     86309 |  303312  6994286 21668859 | 2147483647    86309     50 |  0.000 % |
432.33/438.71	c |     86802 |  303312  6994286 21668859 | 2147483647    86802     50 |  0.000 % |
434.03/440.34	c |     87344 |  303312  6994286 21668859 | 2147483647    87344     50 |  0.000 % |
437.03/443.40	c |     87940 |  303312  6994286 21668859 | 2147483647    87940     51 |  0.000 % |
438.23/444.61	c |     88595 |  303312  6994286 21668859 | 2147483647    88595     51 |  0.000 % |
439.83/446.14	c |     89320 |  303312  6994286 21668859 | 2147483647    89320     51 |  0.000 % |
441.03/447.34	c |     90114 |  303312  6994286 21668859 | 2147483647    90114     51 |  0.000 % |
442.23/448.53	c |     90985 |  303312  6994286 21668859 | 2147483647    90985     51 |  0.000 % |
444.43/450.79	c |     91943 |  303312  6994286 21668859 | 2147483647    91943     52 |  0.000 % |
446.53/452.88	c |     92996 |  303312  6994286 21668859 | 2147483647    92996     52 |  0.000 % |
446.83/453.12	c |     93096 |  303312  6994286 21668859 | 2147483647    93096     52 |  0.000 % |
447.23/453.60	c |     93206 |  303312  6994286 21668859 | 2147483647    93206     52 |  0.000 % |
447.73/454.11	c |     93327 |  303312  6994286 21668859 | 2147483647    93327     52 |  0.000 % |
448.23/454.56	c |     93460 |  303312  6994286 21668859 | 2147483647    93460     52 |  0.000 % |
448.63/454.94	c |     93606 |  303312  6994286 21668859 | 2147483647    93606     52 |  0.000 % |
449.13/455.47	c |     93766 |  303312  6994286 21668859 | 2147483647    93766     52 |  0.000 % |
449.73/456.04	c |     93942 |  303312  6994286 21668859 | 2147483647    93942     52 |  0.000 % |
450.03/456.32	c |     94136 |  303312  6994286 21668859 | 2147483647    94136     52 |  0.000 % |
450.53/456.88	c |     94348 |  303312  6994286 21668859 | 2147483647    94348     52 |  0.000 % |
451.13/457.48	c |     94581 |  303312  6994286 21668859 | 2147483647    94581     52 |  0.000 % |
452.03/458.40	c |     94837 |  303312  6994286 21668859 | 2147483647    94837     52 |  0.000 % |
453.23/459.59	c |     95118 |  303312  6994286 21668859 | 2147483647    95118     52 |  0.000 % |
454.13/460.48	c |     95430 |  303312  6994286 21668859 | 2147483647    95430     53 |  0.000 % |
455.03/461.35	c |     95769 |  303312  6994286 21668859 | 2147483647    95769     52 |  0.000 % |
455.93/462.23	c |     96141 |  303312  6994286 21668859 | 2147483647    96141     53 |  0.000 % |
456.33/462.70	c |     96550 |  303312  6994286 21668859 | 2147483647    96550     53 |  0.000 % |
458.03/464.34	c |     96999 |  303312  6994286 21668859 | 2147483647    96999     53 |  0.000 % |
459.53/465.83	c |     97492 |  303312  6994286 21668859 | 2147483647    97492     53 |  0.000 % |
461.33/467.68	c |     98036 |  303312  6994286 21668859 | 2147483647    98036     53 |  0.000 % |
462.93/469.30	c |     98633 |  303312  6994286 21668859 | 2147483647    98633     54 |  0.000 % |
463.63/469.99	c |     99288 |  303312  6994286 21668859 | 2147483647    99288     54 |  0.000 % |
464.73/471.01	c |    100008 |  303312  6994286 21668859 | 2147483647   100008     54 |  0.000 % |
468.33/474.63	c |    100800 |  303312  6994286 21668859 | 2147483647   100800     54 |  0.000 % |
470.23/476.51	c |    101672 |  303312  6994286 21668859 | 2147483647   101672     54 |  0.000 % |
471.33/477.66	c |    102630 |  303312  6994286 21668859 | 2147483647   102630     54 |  0.000 % |
472.63/479.00	c |    103683 |  303312  6994286 21668859 | 2147483647   103683     55 |  0.000 % |
473.34/479.63	c |    104841 |  303312  6994286 21668859 | 2147483647   104841     55 |  0.000 % |
473.53/479.85	c |    104941 |  303312  6994286 21668859 | 2147483647   104941     55 |  0.000 % |
473.93/480.30	c |    105052 |  303312  6994286 21668859 | 2147483647   105052     55 |  0.000 % |
475.03/481.37	c |    105174 |  303312  6994286 21668859 | 2147483647   105174     55 |  0.000 % |
475.33/481.71	c |    105310 |  303312  6994286 21668859 | 2147483647   105310     55 |  0.000 % |
475.83/482.11	c |    105458 |  303312  6994286 21668859 | 2147483647   105458     55 |  0.000 % |
476.73/483.03	c |    105618 |  303312  6994286 21668859 | 2147483647   105618     55 |  0.000 % |
477.63/483.96	c |    105796 |  303312  6994286 21668859 | 2147483647   105796     55 |  0.000 % |
478.03/484.33	c |    105990 |  303312  6994286 21668859 | 2147483647   105990     55 |  0.000 % |
478.43/484.76	c |    106202 |  303312  6994286 21668859 | 2147483647   106202     55 |  0.000 % |
478.93/485.22	c |    106436 |  303312  6994286 21668859 | 2147483647   106436     55 |  0.000 % |
480.63/487.00	c |    106693 |  303312  6994286 21668859 | 2147483647   106693     55 |  0.000 % |
481.33/487.70	c |    106974 |  303312  6994286 21668859 | 2147483647   106974     55 |  0.000 % |
481.93/488.24	c |    107284 |  303312  6994286 21668859 | 2147483647   107284     56 |  0.000 % |
482.53/488.86	c |    107623 |  303312  6994286 21668859 | 2147483647   107623     56 |  0.000 % |
483.43/489.75	c |    107995 |  303312  6994286 21668859 | 2147483647   107995     56 |  0.000 % |
485.44/491.78	c |    108404 |  303312  6994286 21668859 | 2147483647   108404     56 |  0.000 % |
486.73/493.04	c |    108853 |  303312  6994286 21668859 | 2147483647   108853     56 |  0.000 % |
487.64/493.98	c |    109346 |  303312  6994286 21668859 | 2147483647   109346     56 |  0.000 % |
489.63/495.99	c |    109889 |  303312  6994286 21668859 | 2147483647   109889     56 |  0.000 % |
490.94/497.24	c |    110486 |  303312  6994286 21668859 | 2147483647   110486     57 |  0.000 % |
491.93/498.23	c |    111142 |  303312  6994286 21668859 | 2147483647   111142     57 |  0.000 % |
493.83/500.18	c |    111862 |  303312  6994286 21668859 | 2147483647   111862     57 |  0.000 % |
497.03/503.37	c |    112654 |  303312  6994286 21668859 | 2147483647   112654     57 |  0.000 % |
498.53/504.91	c |    113527 |  303312  6994286 21668859 | 2147483647   113527     57 |  0.000 % |
500.33/506.70	c |    114486 |  303312  6994286 21668859 | 2147483647   114486     57 |  0.000 % |
504.33/510.70	c |    115539 |  303312  6994286 21668859 | 2147483647   115539     57 |  0.000 % |
506.93/513.28	c |    116699 |  303312  6994286 21668859 | 2147483647   116699     57 |  0.000 % |
510.63/516.97	c |    117972 |  303312  6994286 21668859 | 2147483647   117972     57 |  0.000 % |
510.93/517.30	c |    118072 |  303312  6994286 21668859 | 2147483647   118072     57 |  0.000 % |
511.23/517.60	c |    118184 |  303312  6994286 21668859 | 2147483647   118184     57 |  0.000 % |
511.84/518.21	c |    118305 |  303312  6994286 21668859 | 2147483647   118305     57 |  0.000 % |
512.23/518.60	c |    118439 |  303312  6994286 21668859 | 2147483647   118439     57 |  0.000 % |
512.84/519.21	c |    118586 |  303312  6994286 21668859 | 2147483647   118586     57 |  0.000 % |
513.64/520.01	c |    118748 |  303312  6994286 21668859 | 2147483647   118748     57 |  0.000 % |
514.04/520.37	c |    118924 |  303312  6994286 21668859 | 2147483647   118924     57 |  0.000 % |
514.74/521.03	c |    119117 |  303312  6994286 21668859 | 2147483647   119117     57 |  0.000 % |
515.24/521.57	c |    119330 |  303312  6994286 21668859 | 2147483647   119330     57 |  0.000 % |
515.64/522.01	c |    119565 |  303312  6994286 21668859 | 2147483647   119565     57 |  0.000 % |
516.44/522.77	c |    119821 |  303312  6994286 21668859 | 2147483647   119821     57 |  0.000 % |
516.84/523.16	c |    120104 |  303312  6994286 21668859 | 2147483647   120104     57 |  0.000 % |
517.24/523.62	c |    120413 |  303312  6994286 21668859 | 2147483647   120413     57 |  0.000 % |
517.74/524.11	c |    120753 |  303312  6994286 21668859 | 2147483647   120753     57 |  0.000 % |
518.74/525.07	c |    121125 |  303312  6994286 21668859 | 2147483647   121125     57 |  0.000 % |
519.34/525.67	c |    121534 |  303312  6994286 21668859 | 2147483647   121534     57 |  0.000 % |
520.34/526.64	c |    121983 |  303312  6994286 21668859 | 2147483647   121983     57 |  0.000 % |
521.24/527.58	c |    122477 |  303312  6994286 21668859 | 2147483647   122477     58 |  0.000 % |
522.24/528.58	c |    123019 |  303312  6994286 21668859 | 2147483647   123019     58 |  0.000 % |
525.14/531.49	c |    123618 |  303312  6994286 21668859 | 2147483647   123618     58 |  0.000 % |
526.14/532.42	c |    124275 |  303312  6994286 21668859 | 2147483647   124275     58 |  0.000 % |
528.14/534.46	c |    124995 |  303312  6994286 21668859 | 2147483647   124995     58 |  0.000 % |
529.74/536.05	c |    125789 |  303312  6994286 21668859 | 2147483647   125789     58 |  0.000 % |
531.74/538.05	c |    126660 |  303312  6994286 21668859 | 2147483647   126660     58 |  0.000 % |
533.44/539.80	c |    127619 |  303312  6994286 21668859 | 2147483647   127619     58 |  0.000 % |
535.14/541.48	c |    128672 |  303312  6994286 21668859 | 2147483647   128672     58 |  0.000 % |
536.74/543.11	c |    129830 |  303312  6994286 21668859 | 2147483647   129830     59 |  0.000 % |
539.04/545.34	c |    131103 |  303312  6994286 21668859 | 2147483647   131103     59 |  0.000 % |
540.74/547.06	c |    132503 |  303312  6994286 21668859 | 2147483647   132503     59 |  0.000 % |
542.14/548.46	c |    132604 |  303312  6994286 21668859 | 2147483647   132604     59 |  0.000 % |
542.74/549.05	c |    132714 |  303312  6994286 21668859 | 2147483647   132714     59 |  0.000 % |
543.24/549.52	c |    132835 |  303312  6994286 21668859 | 2147483647   132835     59 |  0.000 % |
543.64/549.95	c |    132969 |  303312  6994286 21668859 | 2147483647   132969     59 |  0.000 % |
543.94/550.28	c |    133119 |  303312  6994286 21668859 | 2147483647   133119     59 |  0.000 % |
544.44/550.78	c |    133279 |  303312  6994286 21668859 | 2147483647   133279     59 |  0.000 % |
544.74/551.09	c |    133456 |  303312  6994286 21668859 | 2147483647   133456     59 |  0.000 % |
545.34/551.71	c |    133649 |  303312  6994286 21668859 | 2147483647   133649     59 |  0.000 % |
546.04/552.32	c |    133862 |  303312  6994286 21668859 | 2147483647   133862     59 |  0.000 % |
546.54/552.90	c |    134095 |  303312  6994286 21668859 | 2147483647   134095     59 |  0.000 % |
547.34/553.63	c |    134351 |  303312  6994286 21668859 | 2147483647   134351     59 |  0.000 % |
547.84/554.19	c |    134632 |  303312  6994286 21668859 | 2147483647   134632     59 |  0.000 % |
549.04/555.35	c |    134942 |  303312  6994286 21668859 | 2147483647   134942     59 |  0.000 % |
550.14/556.42	c |    135281 |  303312  6994286 21668859 | 2147483647   135281     59 |  0.000 % |
550.94/557.31	c |    135655 |  303312  6994286 21668859 | 2147483647   135655     59 |  0.000 % |
552.54/558.88	c |    136065 |  303312  6994286 21668859 | 2147483647   136065     59 |  0.000 % |
554.04/560.37	c |    136514 |  303312  6994286 21668859 | 2147483647   136514     59 |  0.000 % |
555.94/562.27	c |    137009 |  303312  6994286 21668859 | 2147483647   137009     59 |  0.000 % |
558.24/564.56	c |    137551 |  303312  6994286 21668859 | 2147483647   137551     59 |  0.000 % |
560.64/566.98	c |    138147 |  303312  6994286 21668859 | 2147483647   138147     60 |  0.000 % |
562.24/568.54	c |    138802 |  303312  6994286 21668859 | 2147483647   138802     60 |  0.000 % |
566.24/572.56	c |    139525 |  303312  6994286 21668859 | 2147483647   139525     59 |  0.000 % |
569.34/575.68	c |    140317 |  303312  6994286 21668859 | 2147483647   140317     60 |  0.000 % |
571.94/578.21	c |    141189 |  303312  6994286 21668859 | 2147483647   141189     60 |  0.000 % |
574.84/581.16	c |    142147 |  303312  6994286 21668859 | 2147483647   142147     60 |  0.000 % |
577.64/583.95	c |    143203 |  303312  6994286 21668859 | 2147483647   143203     60 |  0.000 % |
582.14/588.42	c |    144362 |  303312  6994286 21668859 | 2147483647   144362     61 |  0.000 % |
585.04/591.35	c |    145635 |  303312  6994286 21668859 | 2147483647   145635     61 |  0.000 % |
587.94/594.24	c |    147037 |  303312  6994286 21668859 | 2147483647   147037     61 |  0.000 % |
594.44/600.74	c |    148579 |  303312  6994286 21668859 | 2147483647   148579     62 |  0.000 % |
595.34/601.67	c |    148679 |  303312  6994286 21668859 | 2147483647   148679     62 |  0.000 % |
595.84/602.11	c |    148789 |  303312  6994286 21668859 | 2147483647   148789     62 |  0.000 % |
596.55/602.84	c |    148911 |  303312  6994286 21668859 | 2147483647   148911     62 |  0.000 % |
596.84/603.14	c |    149045 |  303312  6994286 21668859 | 2147483647   149045     62 |  0.000 % |
597.84/604.15	c |    149191 |  303312  6994286 21668859 | 2147483647   149191     62 |  0.000 % |
598.14/604.50	c |    149351 |  303312  6994286 21668859 | 2147483647   149351     62 |  0.000 % |
599.44/605.73	c |    149527 |  303312  6994286 21668859 | 2147483647   149527     62 |  0.000 % |
600.44/606.73	c |    149720 |  303312  6994286 21668859 | 2147483647   149720     62 |  0.000 % |
600.95/607.29	c |    149932 |  303312  6994286 21668859 | 2147483647   149932     62 |  0.000 % |
602.05/608.34	c |    150166 |  303312  6994286 21668859 | 2147483647   150166     62 |  0.000 % |
602.74/609.01	c |    150423 |  303312  6994286 21668859 | 2147483647   150423     62 |  0.000 % |
603.24/609.56	c |    150704 |  303312  6994286 21668859 | 2147483647   150704     62 |  0.000 % |
603.84/610.16	c |    151016 |  303312  6994286 21668859 | 2147483647   151016     62 |  0.000 % |
605.64/611.96	c |    151355 |  303312  6994286 21668859 | 2147483647   151355     62 |  0.000 % |
606.64/612.98	c |    151728 |  303312  6994286 21668859 | 2147483647   151728     62 |  0.000 % |
607.34/613.69	c |    152137 |  303312  6994286 21668859 | 2147483647   152137     62 |  0.000 % |
607.94/614.25	c |    152588 |  303312  6994286 21668859 | 2147483647   152588     62 |  0.000 % |
609.44/615.76	c |    153083 |  303312  6994286 21668859 | 2147483647   153083     62 |  0.000 % |
610.75/617.05	c |    153629 |  303312  6994286 21668859 | 2147483647   153629     62 |  0.000 % |
612.55/618.90	c |    154227 |  303312  6994286 21668859 | 2147483647   154227     62 |  0.000 % |
614.25/620.56	c |    154883 |  303312  6994286 21668859 | 2147483647   154883     62 |  0.000 % |
615.25/621.60	c |    155603 |  303312  6994286 21668859 | 2147483647   155603     62 |  0.000 % |
617.75/624.09	c |    156395 |  303312  6994286 21668859 | 2147483647   156395     62 |  0.000 % |
618.85/625.19	c |    157266 |  303312  6994286 21668859 | 2147483647   157266     63 |  0.000 % |
620.85/627.15	c |    158224 |  303312  6994286 21668859 | 2147483647   158224     63 |  0.000 % |
623.95/630.29	c |    159279 |  303312  6994286 21668859 | 2147483647   159279     63 |  0.000 % |
627.65/633.98	c |    160437 |  303312  6994286 21668859 | 2147483647   160437     63 |  0.000 % |
629.85/636.17	c |    161717 |  303312  6994286 21668859 | 2147483647   161717     64 |  0.000 % |
631.65/637.94	c |    163117 |  303312  6994286 21668859 | 2147483647   163117     64 |  0.000 % |
638.65/644.93	c |    164657 |  303312  6994286 21668859 | 2147483647   164657     64 |  0.000 % |
640.95/647.22	c |    166351 |  303312  6994286 21668859 | 2147483647   166351     65 |  0.000 % |
641.85/648.18	c |    166452 |  303312  6994286 21668859 | 2147483647   166452     65 |  0.000 % |
642.35/648.62	c |    166563 |  303312  6994286 21668859 | 2147483647   166563     65 |  0.000 % |
643.35/649.66	c |    166685 |  303312  6994286 21668859 | 2147483647   166685     65 |  0.000 % |
644.05/650.32	c |    166818 |  303312  6994286 21668859 | 2147483647   166818     65 |  0.000 % |
644.25/650.57	c |    166965 |  303312  6994286 21668859 | 2147483647   166965     65 |  0.000 % |
644.95/651.27	c |    167126 |  303312  6994286 21668859 | 2147483647   167126     65 |  0.000 % |
645.25/651.61	c |    167304 |  303312  6994286 21668859 | 2147483647   167304     65 |  0.000 % |
646.35/652.70	c |    167497 |  303312  6994286 21668859 | 2147483647   167497     65 |  0.000 % |
647.15/653.46	c |    167709 |  303312  6994286 21668859 | 2147483647   167709     65 |  0.000 % |
648.15/654.44	c |    167942 |  303312  6994286 21668859 | 2147483647   167942     65 |  0.000 % |
648.95/655.27	c |    168198 |  303312  6994286 21668859 | 2147483647   168198     65 |  0.000 % |
649.35/655.65	c |    168479 |  303312  6994286 21668859 | 2147483647   168479     65 |  0.000 % |
650.95/657.28	c |    168789 |  303312  6994286 21668859 | 2147483647   168789     65 |  0.000 % |
651.75/658.04	c |    169128 |  303312  6994286 21668859 | 2147483647   169128     65 |  0.000 % |
654.55/660.89	c |    169502 |  303312  6994286 21668859 | 2147483647   169502     65 |  0.000 % |
655.45/661.78	c |    169912 |  303312  6994286 21668859 | 2147483647   169912     65 |  0.000 % |
657.05/663.37	c |    170361 |  303312  6994286 21668859 | 2147483647   170361     65 |  0.000 % |
658.65/664.95	c |    170854 |  303312  6994286 21668859 | 2147483647   170854     66 |  0.000 % |
659.75/666.04	c |    171396 |  303312  6994286 21668859 | 2147483647   171396     66 |  0.000 % |
660.25/666.54	c |    171993 |  303312  6994286 21668859 | 2147483647   171993     66 |  0.000 % |
662.95/669.27	c |    172648 |  303312  6994286 21668859 | 2147483647   172648     66 |  0.000 % |
664.85/671.16	c |    173374 |  303312  6994286 21668859 | 2147483647   173374     66 |  0.000 % |
666.65/672.98	c |    174167 |  303312  6994286 21668859 | 2147483647   174167     66 |  0.000 % |
667.65/673.94	c |    175038 |  303312  6994286 21668859 | 2147483647   175038     66 |  0.000 % |
669.85/676.15	c |    175998 |  303312  6994286 21668859 | 2147483647   175998     66 |  0.000 % |
672.75/679.04	c |    177053 |  303312  6994286 21668859 | 2147483647   177053     66 |  0.000 % |
674.45/680.82	c |    178211 |  303312  6994286 21668859 | 2147483647   178211     67 |  0.000 % |
676.95/683.22	c |    179484 |  303312  6994286 21668859 | 2147483647   179484     67 |  0.000 % |
678.75/685.10	c |    180884 |  303312  6994286 21668859 | 2147483647   180884     67 |  0.000 % |
680.65/687.00	c |    182425 |  303312  6994286 21668859 | 2147483647   182425     67 |  0.000 % |
682.95/689.23	c |    184122 |  303312  6994286 21668859 | 2147483647   184122     67 |  0.000 % |
684.75/691.09	c |    185985 |  303312  6994286 21668859 | 2147483647   185985     67 |  0.000 % |
685.15/691.41	c |    186085 |  303312  6994286 21668859 | 2147483647   186085     67 |  0.000 % |
685.45/691.81	c |    186195 |  303312  6994286 21668859 | 2147483647   186195     67 |  0.000 % |
685.95/692.27	c |    186316 |  303312  6994286 21668859 | 2147483647   186316     67 |  0.000 % |
686.84/693.18	c |    186449 |  303312  6994286 21668859 | 2147483647   186449     67 |  0.000 % |
687.44/693.70	c |    186597 |  303312  6994286 21668859 | 2147483647   186597     67 |  0.000 % |
688.64/694.94	c |    186758 |  303312  6994286 21668859 | 2147483647   186758     67 |  0.000 % |
689.24/695.54	c |    186934 |  303312  6994286 21668859 | 2147483647   186934     67 |  0.000 % |
689.94/696.29	c |    187127 |  303312  6994286 21668859 | 2147483647   187127     67 |  0.000 % |
690.44/696.72	c |    187339 |  303312  6994286 21668859 | 2147483647   187339     67 |  0.000 % |
690.74/697.05	c |    187572 |  303312  6994286 21668859 | 2147483647   187572     67 |  0.000 % |
691.54/697.81	c |    187829 |  303312  6994286 21668859 | 2147483647   187829     67 |  0.000 % |
692.04/698.35	c |    188111 |  303312  6994286 21668859 | 2147483647   188111     67 |  0.000 % |
693.84/700.18	c |    188421 |  303312  6994286 21668859 | 2147483647   188421     67 |  0.000 % |
695.14/701.48	c |    188762 |  303312  6994286 21668859 | 2147483647   188762     67 |  0.000 % |
696.44/702.73	c |    189134 |  303312  6994286 21668859 | 2147483647   189134     67 |  0.000 % |
697.64/703.92	c |    189543 |  303312  6994286 21668859 | 2147483647   189543     67 |  0.000 % |
698.94/705.24	c |    189994 |  303312  6994286 21668859 | 2147483647   189994     67 |  0.000 % |
700.74/707.00	c |    190489 |  303312  6994286 21668859 | 2147483647   190489     67 |  0.000 % |
702.04/708.31	c |    191031 |  303312  6994286 21668859 | 2147483647   191031     67 |  0.000 % |
703.64/709.92	c |    191627 |  303312  6994286 21668859 | 2147483647   191627     67 |  0.000 % |
704.44/710.78	c |    192283 |  303312  6994286 21668859 | 2147483647   192283     67 |  0.000 % |
707.24/713.50	c |    193003 |  303312  6994286 21668859 | 2147483647   193003     67 |  0.000 % |
708.35/714.66	c |    193795 |  303312  6994286 21668859 | 2147483647   193795     67 |  0.000 % |
711.55/717.90	c |    194666 |  303312  6994286 21668859 | 2147483647   194666     67 |  0.000 % |
714.35/720.62	c |    195624 |  303312  6994286 21668859 | 2147483647   195624     67 |  0.000 % |
716.75/723.02	c |    196680 |  303312  6994286 21668859 | 2147483647   196680     67 |  0.000 % |
720.25/726.53	c |    197838 |  303312  6994286 21668859 | 2147483647   197838     67 |  0.000 % |
722.15/728.41	c |    199111 |  303312  6994286 21668859 | 2147483647   199111     67 |  0.000 % |
726.45/732.72	c |    200511 |  303312  6994286 21668859 | 2147483647   200511     68 |  0.000 % |
730.25/736.52	c |    202052 |  303312  6994286 21668859 | 2147483647   202052     68 |  0.000 % |
734.55/740.82	c |    203748 |  303312  6994286 21668859 | 2147483647   203748     69 |  0.000 % |
736.75/743.08	c |    205611 |  303312  6994286 21668859 | 2147483647   205611     70 |  0.000 % |
742.95/749.23	c |    207660 |  303312  6994286 21668859 | 2147483647   207660     70 |  0.000 % |
743.65/749.94	c |    207761 |  303312  6994286 21668859 | 2147483647   207761     70 |  0.000 % |
744.45/750.80	c |    207872 |  303312  6994286 21668859 | 2147483647   207872     70 |  0.000 % |
745.05/751.34	c |    207994 |  303312  6994286 21668859 | 2147483647   207994     70 |  0.000 % |
745.55/751.89	c |    208128 |  303312  6994286 21668859 | 2147483647   208128     70 |  0.000 % |
746.35/752.63	c |    208275 |  303312  6994286 21668859 | 2147483647   208275     70 |  0.000 % |
746.65/752.93	c |    208437 |  303312  6994286 21668859 | 2147483647   208437     70 |  0.000 % |
747.55/753.82	c |    208613 |  303312  6994286 21668859 | 2147483647   208613     70 |  0.000 % |
748.35/754.63	c |    208808 |  303312  6994286 21668859 | 2147483647   208808     70 |  0.000 % |
748.75/755.04	c |    209020 |  303312  6994286 21668859 | 2147483647   209020     70 |  0.000 % |
750.15/756.41	c |    209253 |  303312  6994286 21668859 | 2147483647   209253     70 |  0.000 % |
750.85/757.13	c |    209510 |  303312  6994286 21668859 | 2147483647   209510     70 |  0.000 % |
752.65/758.93	c |    209791 |  303312  6994286 21668859 | 2147483647   209791     70 |  0.000 % |
753.25/759.58	c |    210100 |  303312  6994286 21668859 | 2147483647   210100     70 |  0.000 % |
754.25/760.58	c |    210441 |  303312  6994286 21668859 | 2147483647   210441     70 |  0.000 % |
754.95/761.24	c |    210814 |  303312  6994286 21668859 | 2147483647   210814     70 |  0.000 % |
756.25/762.54	c |    211224 |  303312  6994286 21668859 | 2147483647   211224     70 |  0.000 % |
758.35/764.63	c |    211673 |  303312  6994286 21668859 | 2147483647   211673     70 |  0.000 % |
759.75/766.06	c |    212169 |  303312  6994286 21668859 | 2147483647   212169     71 |  0.000 % |
760.75/767.04	c |    212713 |  303312  6994286 21668859 | 2147483647   212713     71 |  0.000 % |
761.55/767.82	c |    213309 |  303312  6994286 21668859 | 2147483647   213309     71 |  0.000 % |
762.95/769.22	c |    213964 |  303312  6994286 21668859 | 2147483647   213964     71 |  0.000 % |
764.25/770.54	c |    214688 |  303312  6994286 21668859 | 2147483647   214688     71 |  0.000 % |
765.15/771.43	c |    215480 |  303312  6994286 21668859 | 2147483647   215480     71 |  0.000 % |
768.75/775.04	c |    216351 |  303312  6994286 21668859 | 2147483647   216351     71 |  0.000 % |
770.45/776.80	c |    217311 |  303312  6994286 21668859 | 2147483647   217311     71 |  0.000 % |
773.66/780.00	c |    218367 |  303312  6994286 21668859 | 2147483647   218367     71 |  0.000 % |
778.65/784.94	c |    219525 |  303312  6994286 21668859 | 2147483647   219525     71 |  0.000 % |
781.85/788.16	c |    220798 |  303312  6994286 21668859 | 2147483647   220798     71 |  0.000 % |
785.35/791.65	c |    222198 |  303312  6994286 21668859 | 2147483647   222198     72 |  0.000 % |
787.85/794.20	c |    223740 |  303312  6994286 21668859 | 2147483647   223740     73 |  0.000 % |
791.45/797.73	c |    225434 |  303312  6994286 21668859 | 2147483647   225434     72 |  0.000 % |
796.15/802.46	c |    227297 |  303312  6994286 21668859 | 2147483647   227297     74 |  0.000 % |
798.65/804.95	c |    229346 |  303312  6994286 21668859 | 2147483647   229346     74 |  0.000 % |
802.55/808.81	c |    231600 |  303312  6994286 21668859 | 2147483647   231600     74 |  0.000 % |
802.85/809.16	c |    231701 |  303312  6994286 21668859 | 2147483647   231701     74 |  0.000 % |
803.25/809.55	c |    231811 |  303312  6994286 21668859 | 2147483647   231811     74 |  0.000 % |
803.55/809.87	c |    231932 |  303312  6994286 21668859 | 2147483647   231932     74 |  0.000 % |
803.85/810.18	c |    232068 |  303312  6994286 21668859 | 2147483647   232068     74 |  0.000 % |
804.46/810.73	c |    232214 |  303312  6994286 21668859 | 2147483647   232214     74 |  0.000 % |
804.75/811.06	c |    232374 |  303312  6994286 21668859 | 2147483647   232374     74 |  0.000 % |
805.15/811.47	c |    232551 |  303312  6994286 21668859 | 2147483647   232551     74 |  0.000 % |
806.16/812.48	c |    232746 |  303312  6994286 21668859 | 2147483647   232746     74 |  0.000 % |
806.66/812.99	c |    232958 |  303312  6994286 21668859 | 2147483647   232958     74 |  0.000 % |
807.36/813.61	c |    233193 |  303312  6994286 21668859 | 2147483647   233193     74 |  0.000 % |
807.76/814.11	c |    233449 |  303312  6994286 21668859 | 2147483647   233449     74 |  0.000 % |
808.16/814.47	c |    233730 |  303312  6994286 21668859 | 2147483647   233730     74 |  0.000 % |
809.06/815.33	c |    234040 |  303312  6994286 21668859 | 2147483647   234040     74 |  0.000 % |
810.36/816.65	c |    234379 |  303312  6994286 21668859 | 2147483647   234379     74 |  0.000 % |
811.46/817.77	c |    234751 |  303312  6994286 21668859 | 2147483647   234751     75 |  0.000 % |
812.26/818.58	c |    235160 |  303312  6994286 21668859 | 2147483647   235160     75 |  0.000 % |
813.06/819.32	c |    235613 |  303312  6994286 21668859 | 2147483647   235613     75 |  0.000 % |
814.06/820.40	c |    236106 |  303312  6994286 21668859 | 2147483647   236106     75 |  0.000 % |
815.16/821.50	c |    236648 |  303312  6994286 21668859 | 2147483647   236648     75 |  0.000 % |
816.06/822.34	c |    237246 |  303312  6994286 21668859 | 2147483647   237246     75 |  0.000 % |
817.66/823.93	c |    237904 |  303312  6994286 21668859 | 2147483647   237904     75 |  0.000 % |
819.16/825.45	c |    238625 |  303312  6994286 21668859 | 2147483647   238625     75 |  0.000 % |
820.36/826.62	c |    239417 |  303312  6994286 21668859 | 2147483647   239417     76 |  0.000 % |
821.66/827.98	c |    240289 |  303312  6994286 21668859 | 2147483647   240289     76 |  0.000 % |
822.86/829.16	c |    241247 |  303312  6994286 21668859 | 2147483647   241247     76 |  0.000 % |
824.06/830.40	c |    242300 |  303312  6994286 21668859 | 2147483647   242300     76 |  0.000 % |
829.86/836.16	c |    243459 |  303312  6994286 21668859 | 2147483647   243459     76 |  0.000 % |
832.36/838.70	c |    244734 |  303312  6994286 21668859 | 2147483647   244734     76 |  0.000 % |
834.46/840.72	c |    246134 |  303312  6994286 21668859 | 2147483647   246134     76 |  0.000 % |
836.46/842.79	c |    247676 |  303312  6994286 21668859 | 2147483647   247676     76 |  0.000 % |
842.36/848.62	c |    249374 |  303312  6994286 21668859 | 2147483647   249374     76 |  0.000 % |
846.86/853.20	c |    251239 |  303312  6994286 21668859 | 2147483647   251239     77 |  0.000 % |
849.66/855.95	c |    253288 |  303312  6994286 21668859 | 2147483647   253288     77 |  0.000 % |
856.96/863.26	c |    255542 |  303312  6994286 21668859 | 2147483647   255542     78 |  0.000 % |
860.66/866.93	c |    258020 |  303312  6994286 21668859 | 2147483647   258020     78 |  0.000 % |
861.36/867.67	c |    258121 |  303312  6994286 21668859 | 2147483647   258121     78 |  0.000 % |
861.76/868.03	c |    258231 |  303312  6994286 21668859 | 2147483647   258231     78 |  0.000 % |
862.16/868.48	c |    258353 |  303312  6994286 21668859 | 2147483647   258353     78 |  0.000 % |
862.56/868.89	c |    258487 |  303312  6994286 21668859 | 2147483647   258487     78 |  0.000 % |
863.16/869.50	c |    258635 |  303312  6994286 21668859 | 2147483647   258635     78 |  0.000 % |
863.66/870.01	c |    258796 |  303312  6994286 21668859 | 2147483647   258796     78 |  0.000 % |
864.06/870.38	c |    258972 |  303312  6994286 21668859 | 2147483647   258972     78 |  0.000 % |
864.56/870.83	c |    259166 |  303312  6994286 21668859 | 2147483647   259166     78 |  0.000 % |
865.06/871.35	c |    259379 |  303312  6994286 21668859 | 2147483647   259379     78 |  0.000 % |
865.46/871.77	c |    259613 |  303312  6994286 21668859 | 2147483647   259613     78 |  0.000 % |
866.06/872.38	c |    259870 |  303312  6994286 21668859 | 2147483647   259870     78 |  0.000 % |
866.56/872.84	c |    260155 |  303312  6994286 21668859 | 2147483647   260155     78 |  0.000 % |
867.26/873.56	c |    260464 |  303312  6994286 21668859 | 2147483647   260464     78 |  0.000 % |
868.06/874.32	c |    260804 |  303312  6994286 21668859 | 2147483647   260804     78 |  0.000 % |
868.86/875.12	c |    261176 |  303312  6994286 21668859 | 2147483647   261176     78 |  0.000 % |
869.86/876.14	c |    261585 |  303312  6994286 21668859 | 2147483647   261585     78 |  0.000 % |
871.06/877.35	c |    262034 |  303312  6994286 21668859 | 2147483647   262034     78 |  0.000 % |
873.06/879.31	c |    262527 |  303312  6994286 21668859 | 2147483647   262527     78 |  0.000 % |
875.36/881.61	c |    263073 |  303312  6994286 21668859 | 2147483647   263073     78 |  0.000 % |
877.56/883.91	c |    263669 |  303312  6994286 21668859 | 2147483647   263669     78 |  0.000 % |
878.66/885.00	c |    264324 |  303312  6994286 21668859 | 2147483647   264324     78 |  0.000 % |
879.46/885.75	c |    265045 |  303312  6994286 21668859 | 2147483647   265045     78 |  0.000 % |
881.16/887.47	c |    265837 |  303312  6994286 21668859 | 2147483647   265837     78 |  0.000 % |
882.86/889.13	c |    266708 |  303312  6994286 21668859 | 2147483647   266708     78 |  0.000 % |
886.26/892.59	c |    267666 |  303312  6994286 21668859 | 2147483647   267666     79 |  0.000 % |
887.86/894.20	c |    268720 |  303312  6994286 21668859 | 2147483647   268720     79 |  0.000 % |
890.36/896.69	c |    269878 |  303312  6994286 21668859 | 2147483647   269878     79 |  0.000 % |
892.26/898.54	c |    271152 |  303312  6994286 21668859 | 2147483647   271152     79 |  0.000 % |
894.46/900.80	c |    272552 |  303312  6994286 21668859 | 2147483647   272552     80 |  0.000 % |
897.76/904.09	c |    274092 |  303312  6994286 21668859 | 2147483647   274092     80 |  0.000 % |
900.86/907.14	c |    275786 |  303312  6994286 21668859 | 2147483647   275786     81 |  0.000 % |
903.96/910.24	c |    277649 |  303312  6994286 21668859 | 2147483647   277649     81 |  0.000 % |
905.87/912.18	c |    279698 |  303312  6994286 21668859 | 2147483647   279698     81 |  0.000 % |
914.27/920.52	c |    281951 |  303312  6994286 21668859 | 2147483647   281951     81 |  0.000 % |
917.57/923.89	c |    284429 |  303312  6994286 21668859 | 2147483647   284429     82 |  0.000 % |
921.37/927.66	c |    287154 |  303312  6994286 21668859 | 2147483647   287154     83 |  0.000 % |
921.67/927.94	c |    287254 |  303312  6994286 21668859 | 2147483647   287254     83 |  0.000 % |
921.87/928.17	c |    287364 |  303312  6994286 21668859 | 2147483647   287364     83 |  0.000 % |
922.17/928.42	c |    287485 |  303312  6994286 21668859 | 2147483647   287485     83 |  0.000 % |
922.77/929.01	c |    287618 |  303312  6994286 21668859 | 2147483647   287618     83 |  0.000 % |
923.37/929.63	c |    287765 |  303312  6994286 21668859 | 2147483647   287765     83 |  0.000 % |
923.67/929.97	c |    287929 |  303312  6994286 21668859 | 2147483647   287929     83 |  0.000 % |
924.67/930.93	c |    288105 |  303312  6994286 21668859 | 2147483647   288105     83 |  0.000 % |
925.27/931.56	c |    288298 |  303312  6994286 21668859 | 2147483647   288298     83 |  0.000 % |
925.87/932.20	c |    288510 |  303312  6994286 21668859 | 2147483647   288510     83 |  0.000 % |
926.57/932.83	c |    288743 |  303312  6994286 21668859 | 2147483647   288743     83 |  0.000 % |
927.67/933.93	c |    288999 |  303312  6994286 21668859 | 2147483647   288999     83 |  0.000 % |
929.07/935.35	c |    289281 |  303312  6994286 21668859 | 2147483647   289281     83 |  0.000 % |
930.07/936.33	c |    289590 |  303312  6994286 21668859 | 2147483647   289590     83 |  0.000 % |
931.07/937.37	c |    289930 |  303312  6994286 21668859 | 2147483647   289930     83 |  0.000 % |
931.97/938.24	c |    290302 |  303312  6994286 21668859 | 2147483647   290302     83 |  0.000 % |
933.77/940.07	c |    290711 |  303312  6994286 21668859 | 2147483647   290711     83 |  0.000 % |
935.77/942.08	c |    291160 |  303312  6994286 21668859 | 2147483647   291160     83 |  0.000 % |
937.47/943.73	c |    291655 |  303312  6994286 21668859 | 2147483647   291655     83 |  0.000 % |
940.37/946.62	c |    292197 |  303312  6994286 21668859 | 2147483647   292197     83 |  0.000 % |
941.47/947.78	c |    292795 |  303312  6994286 21668859 | 2147483647   292795     83 |  0.000 % |
942.97/949.26	c |    293455 |  303312  6994286 21668859 | 2147483647   293455     83 |  0.000 % |
944.17/950.46	c |    294175 |  303312  6994286 21668859 | 2147483647   294175     84 |  0.000 % |
945.47/951.74	c |    294967 |  303312  6994286 21668859 | 2147483647   294967     84 |  0.000 % |
948.07/954.36	c |    295838 |  303312  6994286 21668859 | 2147483647   295838     84 |  0.000 % |
950.37/956.69	c |    296799 |  303312  6994286 21668859 | 2147483647   296799     84 |  0.000 % |
953.67/959.94	c |    297852 |  303312  6994286 21668859 | 2147483647   297852     85 |  0.000 % |
957.27/963.57	c |    299010 |  303312  6994286 21668859 | 2147483647   299010     85 |  0.000 % |
962.27/968.60	c |    300283 |  303312  6994286 21668859 | 2147483647   300283     85 |  0.000 % |
966.27/972.60	c |    301686 |  303312  6994286 21668859 | 2147483647   301686     85 |  0.000 % |
970.27/976.59	c |    303226 |  303312  6994286 21668859 | 2147483647   303226     85 |  0.000 % |
972.67/978.98	c |    304921 |  303312  6994286 21668859 | 2147483647   304921     85 |  0.000 % |
975.67/981.95	c |    306784 |  303312  6994286 21668859 | 2147483647   306784     85 |  0.000 % |
979.47/985.77	c |    308833 |  303312  6994286 21668859 | 2147483647   308833     85 |  0.000 % |
983.87/990.11	c |    311086 |  303312  6994286 21668859 | 2147483647   311086     85 |  0.000 % |
988.57/994.81	c |    313564 |  303312  6994286 21668859 | 2147483647   313564     85 |  0.000 % |
994.17/1000.48	c |    316290 |  303312  6994286 21668859 | 2147483647   316290     85 |  0.000 % |
999.27/1005.51	c |    319287 |  303312  6994286 21668859 | 2147483647   319287     85 |  0.000 % |
999.47/1005.79	c |    319387 |  303312  6994286 21668859 | 2147483647   319387     85 |  0.000 % |
999.87/1006.11	c |    319497 |  303312  6994286 21668859 | 2147483647   319497     85 |  0.000 % |
1000.28/1006.53	c |    319618 |  303312  6994286 21668859 | 2147483647   319618     85 |  0.000 % |
1000.57/1006.82	c |    319751 |  303312  6994286 21668859 | 2147483647   319751     85 |  0.000 % |
1000.97/1007.27	c |    319897 |  303312  6994286 21668859 | 2147483647   319897     85 |  0.000 % |
1001.38/1007.63	c |    320057 |  303312  6994286 21668859 | 2147483647   320057     85 |  0.000 % |
1001.77/1008.04	c |    320234 |  303312  6994286 21668859 | 2147483647   320234     85 |  0.000 % |
1002.17/1008.45	c |    320427 |  303312  6994286 21668859 | 2147483647   320427     85 |  0.000 % |
1002.98/1009.28	c |    320640 |  303312  6994286 21668859 | 2147483647   320640     85 |  0.000 % |
1003.68/1009.95	c |    320873 |  303312  6994286 21668859 | 2147483647   320873     85 |  0.000 % |
1004.38/1010.64	c |    321129 |  303312  6994286 21668859 | 2147483647   321129     85 |  0.000 % |
1004.98/1011.24	c |    321410 |  303312  6994286 21668859 | 2147483647   321410     85 |  0.000 % |
1005.58/1011.88	c |    321721 |  303312  6994286 21668859 | 2147483647   321721     85 |  0.000 % |
1006.18/1012.49	c |    322060 |  303312  6994286 21668859 | 2147483647   322060     85 |  0.000 % |
1007.08/1013.39	c |    322432 |  303312  6994286 21668859 | 2147483647   322432     85 |  0.000 % |
1007.58/1013.90	c |    322842 |  303312  6994286 21668859 | 2147483647   322842     85 |  0.000 % |
1008.58/1014.87	c |    323291 |  303312  6994286 21668859 | 2147483647   323291     85 |  0.000 % |
1009.48/1015.72	c |    323784 |  303312  6994286 21668859 | 2147483647   323784     85 |  0.000 % |
1010.38/1016.68	c |    324326 |  303312  6994286 21668859 | 2147483647   324326     84 |  0.000 % |
1011.38/1017.67	c |    324923 |  303312  6994286 21668859 | 2147483647   324923     84 |  0.000 % |
1012.48/1018.73	c |    325578 |  303312  6994286 21668859 | 2147483647   325578     84 |  0.000 % |
1013.68/1020.00	c |    326298 |  303312  6994286 21668859 | 2147483647   326298     84 |  0.000 % |
1015.28/1021.57	c |    327090 |  303312  6994286 21668859 | 2147483647   327090     84 |  0.000 % |
1017.38/1023.61	c |    327962 |  303312  6994286 21668859 | 2147483647   327962     85 |  0.000 % |
1018.78/1025.06	c |    328922 |  303312  6994286 21668859 | 2147483647   328922     85 |  0.000 % |
1021.08/1027.33	c |    329976 |  303312  6994286 21668859 | 2147483647   329976     85 |  0.000 % |
1023.29/1029.57	c |    331136 |  303312  6994286 21668859 | 2147483647   331136     85 |  0.000 % |
1025.59/1031.86	c |    332409 |  303312  6994286 21668859 | 2147483647   332409     85 |  0.000 % |
1028.49/1034.76	c |    333819 |  303312  6994286 21668859 | 2147483647   333819     85 |  0.000 % |
1030.99/1037.31	c |    335359 |  303312  6994286 21668859 | 2147483647   335359     85 |  0.000 % |
1034.19/1040.48	c |    337054 |  303312  6994286 21668859 | 2147483647   337054     85 |  0.000 % |
1039.89/1046.18	c |    338917 |  303312  6994286 21668859 | 2147483647   338917     85 |  0.000 % |
1044.29/1050.52	c |    340966 |  303312  6994286 21668859 | 2147483647   340966     85 |  0.000 % |
1048.38/1054.62	c |    343220 |  303312  6994286 21668859 | 2147483647   343220     85 |  0.000 % |
1053.88/1060.12	c |    345698 |  303312  6994286 21668859 | 2147483647   345698     85 |  0.000 % |
1058.68/1065.01	c |    348425 |  303312  6994286 21668859 | 2147483647   348425     86 |  0.000 % |
1064.09/1070.41	c |    351423 |  303312  6994286 21668859 | 2147483647   351423     86 |  0.000 % |
1068.98/1075.30	c |    354719 |  303312  6994286 21668859 | 2147483647   354719     86 |  0.000 % |
1069.38/1075.63	c |    354820 |  303312  6994286 21668859 | 2147483647   354820     86 |  0.000 % |
1069.78/1076.01	c |    354932 |  303312  6994286 21668859 | 2147483647   354932     86 |  0.000 % |
1069.98/1076.26	c |    355054 |  303312  6994286 21668859 | 2147483647   355054     86 |  0.000 % |
1070.69/1077.01	c |    355187 |  303312  6994286 21668859 | 2147483647   355187     86 |  0.000 % |
1071.38/1077.67	c |    355333 |  303312  6994286 21668859 | 2147483647   355333     86 |  0.000 % |
1071.88/1078.19	c |    355493 |  303312  6994286 21668859 | 2147483647   355493     86 |  0.000 % |
1072.98/1079.24	c |    355670 |  303312  6994286 21668859 | 2147483647   355670     86 |  0.000 % |
1073.38/1079.67	c |    355863 |  303312  6994286 21668859 | 2147483647   355863     86 |  0.000 % |
1074.88/1081.19	c |    356075 |  303312  6994286 21668859 | 2147483647   356075     86 |  0.000 % |
1075.58/1081.88	c |    356308 |  303312  6994286 21668859 | 2147483647   356308     86 |  0.000 % |
1076.48/1082.75	c |    356566 |  303312  6994286 21668859 | 2147483647   356566     86 |  0.000 % |
1078.28/1084.52	c |    356847 |  303312  6994286 21668859 | 2147483647   356847     86 |  0.000 % |
1078.98/1085.30	c |    357157 |  303312  6994286 21668859 | 2147483647   357157     86 |  0.000 % |
1079.78/1086.06	c |    357496 |  303312  6994286 21668859 | 2147483647   357496     86 |  0.000 % |
1080.48/1086.78	c |    357868 |  303312  6994286 21668859 | 2147483647   357868     86 |  0.000 % |
1081.18/1087.49	c |    358277 |  303312  6994286 21668859 | 2147483647   358277     86 |  0.000 % |
1082.18/1088.43	c |    358726 |  303312  6994286 21668859 | 2147483647   358726     86 |  0.000 % |
1083.18/1089.50	c |    359219 |  303312  6994286 21668859 | 2147483647   359219     86 |  0.000 % |
1084.08/1090.38	c |    359763 |  303312  6994286 21668859 | 2147483647   359763     86 |  0.000 % |
1085.58/1091.82	c |    360360 |  303312  6994286 21668859 | 2147483647   360360     86 |  0.000 % |
1086.78/1093.03	c |    361016 |  303312  6994286 21668859 | 2147483647   361016     86 |  0.000 % |
1088.88/1095.14	c |    361737 |  303312  6994286 21668859 | 2147483647   361737     86 |  0.000 % |
1090.38/1096.68	c |    362531 |  303312  6994286 21668859 | 2147483647   362531     86 |  0.000 % |
1092.08/1098.34	c |    363402 |  303312  6994286 21668859 | 2147483647   363402     86 |  0.000 % |
1093.88/1100.14	c |    364361 |  303312  6994286 21668859 | 2147483647   364361     86 |  0.000 % |
1095.68/1101.96	c |    365415 |  303312  6994286 21668859 | 2147483647   365415     86 |  0.000 % |
1097.28/1103.58	c |    366573 |  303312  6994286 21668859 | 2147483647   366573     86 |  0.000 % |
1099.58/1105.83	c |    367847 |  303312  6994286 21668859 | 2147483647   367847     87 |  0.000 % |
1102.09/1108.33	c |    369248 |  303312  6994286 21668859 | 2147483647   369248     87 |  0.000 % |
1103.89/1110.17	c |    370789 |  303312  6994286 21668859 | 2147483647   370789     86 |  0.000 % |
1106.49/1112.75	c |    372485 |  303312  6994286 21668859 | 2147483647   372485     86 |  0.000 % |
1108.89/1115.15	c |    374349 |  303312  6994286 21668859 | 2147483647   374349     86 |  0.000 % |
1111.39/1117.64	c |    376399 |  303312  6994286 21668859 | 2147483647   376399     86 |  0.000 % |
1114.39/1120.62	c |    378653 |  303312  6994286 21668859 | 2147483647   378653     86 |  0.000 % |
1118.59/1124.88	c |    381132 |  303312  6994286 21668859 | 2147483647   381132     86 |  0.000 % |
1122.79/1129.08	c |    383859 |  303312  6994286 21668859 | 2147483647   383859     86 |  0.000 % |
1126.99/1133.29	c |    386856 |  303312  6994286 21668859 | 2147483647   386856     86 |  0.000 % |
1132.29/1138.52	c |    390154 |  303312  6994286 21668859 | 2147483647   390154     86 |  0.000 % |
1138.19/1144.50	c |    393779 |  303312  6994286 21668859 | 2147483647   393779     85 |  0.000 % |
1138.59/1144.87	c |    393880 |  303312  6994286 21668859 | 2147483647   393880     85 |  0.000 % |
1138.79/1145.10	c |    393990 |  303312  6994286 21668859 | 2147483647   393990     85 |  0.000 % |
1139.19/1145.44	c |    394111 |  303312  6994286 21668859 | 2147483647   394111     85 |  0.000 % |
1139.49/1145.77	c |    394244 |  303312  6994286 21668859 | 2147483647   394244     85 |  0.000 % |
1139.99/1146.22	c |    394390 |  303312  6994286 21668859 | 2147483647   394390     85 |  0.000 % |
1140.39/1146.63	c |    394550 |  303312  6994286 21668859 | 2147483647   394550     85 |  0.000 % |
1140.89/1147.19	c |    394726 |  303312  6994286 21668859 | 2147483647   394726     85 |  0.000 % |
1141.79/1148.02	c |    394920 |  303312  6994286 21668859 | 2147483647   394920     85 |  0.000 % |
1142.49/1148.76	c |    395136 |  303312  6994286 21668859 | 2147483647   395136     85 |  0.000 % |
1143.09/1149.37	c |    395370 |  303312  6994286 21668859 | 2147483647   395370     85 |  0.000 % |
1143.79/1150.05	c |    395626 |  303312  6994286 21668859 | 2147483647   395626     85 |  0.000 % |
1144.69/1150.98	c |    395908 |  303312  6994286 21668859 | 2147483647   395908     85 |  0.000 % |
1145.19/1151.45	c |    396218 |  303312  6994286 21668859 | 2147483647   396218     85 |  0.000 % |
1146.19/1152.44	c |    396559 |  303312  6994286 21668859 | 2147483647   396559     85 |  0.000 % |
1147.49/1153.73	c |    396931 |  303312  6994286 21668859 | 2147483647   396931     85 |  0.000 % |
1148.49/1154.75	c |    397340 |  303312  6994286 21668859 | 2147483647   397340     85 |  0.000 % |
1149.99/1156.24	c |    397790 |  303312  6994286 21668859 | 2147483647   397790     85 |  0.000 % |
1151.19/1157.49	c |    398283 |  303312  6994286 21668859 | 2147483647   398283     85 |  0.000 % |
1152.49/1158.72	c |    398827 |  303312  6994286 21668859 | 2147483647   398827     85 |  0.000 % |
1153.69/1160.00	c |    399426 |  303312  6994286 21668859 | 2147483647   399426     85 |  0.000 % |
1155.39/1161.67	c |    400081 |  303312  6994286 21668859 | 2147483647   400081     85 |  0.000 % |
1156.99/1163.22	c |    400802 |  303312  6994286 21668859 | 2147483647   400802     85 |  0.000 % |
1159.99/1166.26	c |    401597 |  303312  6994286 21668859 | 2147483647   401597     85 |  0.000 % |
1163.99/1170.28	c |    402468 |  303312  6994286 21668859 | 2147483647   402468     85 |  0.000 % |
1166.49/1172.73	c |    403426 |  303312  6994286 21668859 | 2147483647   403426     87 |  0.000 % |
1169.19/1175.43	c |    404480 |  303312  6994286 21668859 | 2147483647   404480     87 |  0.000 % |
1172.59/1178.82	c |    405638 |  303312  6994286 21668859 | 2147483647   405638     87 |  0.000 % |
1174.99/1181.27	c |    406915 |  303312  6994286 21668859 | 2147483647   406915     87 |  0.000 % |
1177.40/1183.70	c |    408315 |  303312  6994286 21668859 | 2147483647   408315     87 |  0.000 % |
1181.09/1187.32	c |    409856 |  303312  6994286 21668859 | 2147483647   409856     88 |  0.000 % |
1186.20/1192.51	c |    411551 |  303312  6994286 21668859 | 2147483647   411551     88 |  0.000 % |
1189.19/1195.42	c |    413414 |  303312  6994286 21668859 | 2147483647   413414     88 |  0.000 % |
1194.79/1201.08	c |    415464 |  303312  6994286 21668859 | 2147483647   415464     88 |  0.000 % |
1197.39/1203.70	c |    417718 |  303312  6994286 21668859 | 2147483647   417718     88 |  0.000 % |

Verifier Data 

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

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 0.93 1.02 1.00 3/93 30409
/proc/meminfo: memFree=996944/2074464 swapFree=1949056/1959888
[pid=30409] ppid=30407 vsize=2412 CPUtime=0
/proc/30409/stat : 30409 (SatELiteGTI) R 30407 30409 14060 0 -1 4194304 365 645 0 0 0 0 0 0 25 0 1 0 1011136706 2469888 276 4294967295 134512640 135169312 3212886880 3212885712 134794349 0 0 4 65536 0 0 0 17 1 0 0 0
/proc/30409/statm: 603 276 235 161 0 42 0
[pid=30413] ppid=30409 vsize=808 CPUtime=0
/proc/30413/stat : 30413 (SatELite_releas) R 30409 30409 14060 0 -1 4194304 65 0 0 0 0 0 0 0 25 0 1 0 1011136707 827392 1 4294967295 0 0 3214027874 3212885508 3085662698 0 0 0 0 0 0 0 17 2 0 0 0
/proc/30413/statm: 203 10 6 174 0 28 0

[startup+0.046547 s]
/proc/loadavg: 0.93 1.02 1.00 3/93 30409
/proc/meminfo: memFree=996944/2074464 swapFree=1949056/1959888
[pid=30409] ppid=30407 vsize=2412 CPUtime=0
/proc/30409/stat : 30409 (SatELiteGTI) S 30407 30409 14060 0 -1 4194304 366 645 0 0 0 0 0 0 25 0 1 0 1011136706 2469888 276 4294967295 134512640 135169312 3212886880 3212885416 3085659886 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/30409/statm: 603 276 235 161 0 42 0
[pid=30413] ppid=30409 vsize=4756 CPUtime=0.05
/proc/30413/stat : 30413 (SatELite_releas) R 30409 30409 14060 0 -1 4202496 1082 0 0 0 5 0 0 0 25 0 1 0 1011136707 4870144 1018 4294967295 134512640 135223648 3214023776 3214022512 134540952 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30413/statm: 1189 1018 46 174 0 1014 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 7168

[startup+0.106541 s]
/proc/loadavg: 0.93 1.02 1.00 3/93 30409
/proc/meminfo: memFree=996944/2074464 swapFree=1949056/1959888
[pid=30409] ppid=30407 vsize=2412 CPUtime=0
/proc/30409/stat : 30409 (SatELiteGTI) S 30407 30409 14060 0 -1 4194304 366 645 0 0 0 0 0 0 25 0 1 0 1011136706 2469888 276 4294967295 134512640 135169312 3212886880 3212885416 3085659886 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/30409/statm: 603 276 235 161 0 42 0
[pid=30413] ppid=30409 vsize=10120 CPUtime=0.11
/proc/30413/stat : 30413 (SatELite_releas) R 30409 30409 14060 0 -1 4202496 2267 0 0 0 11 0 0 0 25 0 1 0 1011136707 10362880 2203 4294967295 134512640 135223648 3214023776 3214022728 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30413/statm: 2530 2204 46 174 0 2355 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 12532

[startup+0.306523 s]
/proc/loadavg: 0.93 1.02 1.00 3/93 30409
/proc/meminfo: memFree=996944/2074464 swapFree=1949056/1959888
[pid=30409] ppid=30407 vsize=2412 CPUtime=0
/proc/30409/stat : 30409 (SatELiteGTI) S 30407 30409 14060 0 -1 4194304 366 645 0 0 0 0 0 0 25 0 1 0 1011136706 2469888 276 4294967295 134512640 135169312 3212886880 3212885416 3085659886 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/30409/statm: 603 276 235 161 0 42 0
[pid=30413] ppid=30409 vsize=27432 CPUtime=0.31
/proc/30413/stat : 30413 (SatELite_releas) R 30409 30409 14060 0 -1 4202496 5999 0 0 0 30 1 0 0 25 0 1 0 1011136707 28090368 5935 4294967295 134512640 135223648 3214023776 3214022728 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30413/statm: 6858 5936 46 174 0 6683 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 29844

[startup+0.70649 s]
/proc/loadavg: 0.93 1.02 1.00 3/93 30409
/proc/meminfo: memFree=996944/2074464 swapFree=1949056/1959888
[pid=30409] ppid=30407 vsize=2412 CPUtime=0
/proc/30409/stat : 30409 (SatELiteGTI) S 30407 30409 14060 0 -1 4194304 366 645 0 0 0 0 0 0 25 0 1 0 1011136706 2469888 276 4294967295 134512640 135169312 3212886880 3212885416 3085659886 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/30409/statm: 603 276 235 161 0 42 0
[pid=30413] ppid=30409 vsize=58444 CPUtime=0.71
/proc/30413/stat : 30413 (SatELite_releas) R 30409 30409 14060 0 -1 4202496 12962 0 0 0 64 7 0 0 25 0 1 0 1011136707 59846656 12898 4294967295 134512640 135223648 3214023776 3214022728 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30413/statm: 14611 12898 46 174 0 14436 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 60856

[startup+1.50642 s]
/proc/loadavg: 0.93 1.02 1.00 3/95 30414
/proc/meminfo: memFree=924744/2074464 swapFree=1949056/1959888
[pid=30409] ppid=30407 vsize=2412 CPUtime=0
/proc/30409/stat : 30409 (SatELiteGTI) S 30407 30409 14060 0 -1 4194304 366 645 0 0 0 0 0 0 25 0 1 0 1011136706 2469888 276 4294967295 134512640 135169312 3212886880 3212885416 3085659886 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/30409/statm: 603 276 235 161 0 42 0
[pid=30413] ppid=30409 vsize=117060 CPUtime=1.51
/proc/30413/stat : 30413 (SatELite_releas) R 30409 30409 14060 0 -1 4202496 26924 0 0 0 135 16 0 0 25 0 1 0 1011136707 119869440 26860 4294967295 134512640 135223648 3214023776 3214022728 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30413/statm: 29265 26860 46 174 0 29090 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 119472

[startup+3.10628 s]
/proc/loadavg: 0.93 1.02 1.00 3/95 30414
/proc/meminfo: memFree=849228/2074464 swapFree=1949056/1959888
[pid=30409] ppid=30407 vsize=2412 CPUtime=0
/proc/30409/stat : 30409 (SatELiteGTI) S 30407 30409 14060 0 -1 4194304 366 645 0 0 0 0 0 0 25 0 1 0 1011136706 2469888 276 4294967295 134512640 135169312 3212886880 3212885416 3085659886 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/30409/statm: 603 276 235 161 0 42 0
[pid=30413] ppid=30409 vsize=234240 CPUtime=3.11
/proc/30413/stat : 30413 (SatELite_releas) R 30409 30409 14060 0 -1 4202496 53925 0 0 0 277 34 0 0 25 0 1 0 1011136707 239861760 53861 4294967295 134512640 135223648 3214023776 3214022728 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30413/statm: 58560 53861 46 174 0 58385 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 236652

[startup+6.306 s]
/proc/loadavg: 0.94 1.02 1.00 3/95 30415
/proc/meminfo: memFree=596888/2074464 swapFree=1949056/1959888
[pid=30409] ppid=30407 vsize=2412 CPUtime=0
/proc/30409/stat : 30409 (SatELiteGTI) S 30407 30409 14060 0 -1 4194304 366 645 0 0 0 0 0 0 25 0 1 0 1011136706 2469888 276 4294967295 134512640 135169312 3212886880 3212885416 3085659886 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/30409/statm: 603 276 235 161 0 42 0
[pid=30413] ppid=30409 vsize=495228 CPUtime=6.31
/proc/30413/stat : 30413 (SatELite_releas) R 30409 30409 14060 0 -1 4202496 112731 0 0 0 557 74 0 0 25 0 1 0 1011136707 507113472 112667 4294967295 134512640 135223648 3214023776 3214022192 134576622 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30413/statm: 123807 112671 67 174 0 123632 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 497640

[startup+12.7054 s]
/proc/loadavg: 0.94 1.02 1.00 3/95 30420
/proc/meminfo: memFree=525404/2074464 swapFree=1949056/1959888
[pid=30409] ppid=30407 vsize=2412 CPUtime=0
/proc/30409/stat : 30409 (SatELiteGTI) S 30407 30409 14060 0 -1 4194304 366 645 0 0 0 0 0 0 25 0 1 0 1011136706 2469888 276 4294967295 134512640 135169312 3212886880 3212885416 3085659886 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/30409/statm: 603 276 235 161 0 42 0
[pid=30413] ppid=30409 vsize=498820 CPUtime=12.71
/proc/30413/stat : 30413 (SatELite_releas) R 30409 30409 14060 0 -1 4202496 132778 0 0 0 1187 84 0 0 25 0 1 0 1011136707 510791680 117800 4294967295 134512640 135223648 3214023776 3214021776 134548993 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30413/statm: 124705 117800 73 174 0 124530 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 501232

[startup+25.5043 s]
/proc/loadavg: 0.95 1.02 1.00 2/95 30421
/proc/meminfo: memFree=490500/2074464 swapFree=1949056/1959888
[pid=30409] ppid=30407 vsize=2412 CPUtime=0
/proc/30409/stat : 30409 (SatELiteGTI) S 30407 30409 14060 0 -1 4194304 366 645 0 0 0 0 0 0 25 0 1 0 1011136706 2469888 276 4294967295 134512640 135169312 3212886880 3212885416 3085659886 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/30409/statm: 603 276 235 161 0 42 0
[pid=30413] ppid=30409 vsize=560296 CPUtime=25.51
/proc/30413/stat : 30413 (SatELite_releas) R 30409 30409 14060 0 -1 4202496 141071 0 0 0 2463 88 0 0 25 0 1 0 1011136707 573743104 126093 4294967295 134512640 135223648 3214023776 3214021568 134549033 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30413/statm: 140074 126093 73 174 0 139899 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 562708

[startup+51.1121 s]
/proc/loadavg: 0.97 1.02 1.00 3/95 30607
/proc/meminfo: memFree=435948/2074464 swapFree=1949056/1959888
[pid=30409] ppid=30407 vsize=2412 CPUtime=0
/proc/30409/stat : 30409 (SatELiteGTI) S 30407 30409 14060 0 -1 4194304 366 645 0 0 0 0 0 0 25 0 1 0 1011136706 2469888 276 4294967295 134512640 135169312 3212886880 3212885416 3085659886 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/30409/statm: 603 276 235 161 0 42 0
[pid=30413] ppid=30409 vsize=610880 CPUtime=51.11
/proc/30413/stat : 30413 (SatELite_releas) R 30409 30409 14060 0 -1 4202496 152163 0 0 0 5011 100 0 0 25 0 1 0 1011136707 625541120 137185 4294967295 134512640 135223648 3214023776 3214021872 134596092 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30413/statm: 152720 137185 73 174 0 152545 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 613292

[startup+102.318 s]
/proc/loadavg: 0.98 1.01 1.00 3/95 30793
/proc/meminfo: memFree=372528/2074464 swapFree=1949056/1959888
[pid=30409] ppid=30407 vsize=2412 CPUtime=0
/proc/30409/stat : 30409 (SatELiteGTI) S 30407 30409 14060 0 -1 4194304 366 645 0 0 0 0 0 0 25 0 1 0 1011136706 2469888 276 4294967295 134512640 135169312 3212886880 3212885416 3085659886 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/30409/statm: 603 276 235 161 0 42 0
[pid=30413] ppid=30409 vsize=708792 CPUtime=102.32
/proc/30413/stat : 30413 (SatELite_releas) R 30409 30409 14060 0 -1 4202496 168657 0 0 0 10127 105 0 0 25 0 1 0 1011136707 725803008 152634 4294967295 134512640 135223648 3214023776 3214021792 134548984 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30413/statm: 177198 152634 73 174 0 177023 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 711204

[startup+162.312 s]
/proc/loadavg: 0.99 1.01 1.00 2/95 30981
/proc/meminfo: memFree=371340/2074464 swapFree=1949056/1959888
[pid=30409] ppid=30407 vsize=2412 CPUtime=0
/proc/30409/stat : 30409 (SatELiteGTI) S 30407 30409 14060 0 -1 4194304 366 645 0 0 0 0 0 0 25 0 1 0 1011136706 2469888 276 4294967295 134512640 135169312 3212886880 3212885416 3085659886 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/30409/statm: 603 276 235 161 0 42 0
[pid=30413] ppid=30409 vsize=709716 CPUtime=162.32
/proc/30413/stat : 30413 (SatELite_releas) R 30409 30409 14060 0 -1 4202496 168859 0 0 0 16126 106 0 0 25 0 1 0 1011136707 726749184 152836 4294967295 134512640 135223648 3214023776 3214021772 134713432 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30413/statm: 177429 152836 73 174 0 177254 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 712128

[startup+222.317 s]
/proc/loadavg: 1.22 1.06 1.02 2/95 31170
/proc/meminfo: memFree=491364/2074464 swapFree=1949056/1959888
[pid=30409] ppid=30407 vsize=2416 CPUtime=188
/proc/30409/stat : 30409 (SatELiteGTI) S 30407 30409 14060 0 -1 4194304 385 184997 0 0 0 0 18652 148 18 0 1 0 1011136706 2473984 277 4294967295 134512640 135169312 3212886880 3212883096 3085659886 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30409/statm: 604 277 235 161 0 43 0
[pid=30986] ppid=30409 vsize=324204 CPUtime=28.02
/proc/30986/stat : 30986 (minisat_static) R 30409 30409 14060 0 -1 4202496 79408 0 0 0 2754 48 0 0 25 0 1 0 1011156136 331984896 79309 4294967295 134512640 135215339 3213292560 3213290848 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30986/statm: 81051 79309 73 172 0 80878 0
Current children cumulated CPU time (s) 216.02
Current children cumulated vsize (KiB) 326620

[startup+282.322 s]
/proc/loadavg: 1.30 1.12 1.04 2/95 31359
/proc/meminfo: memFree=485948/2074464 swapFree=1949056/1959888
[pid=30409] ppid=30407 vsize=2416 CPUtime=188
/proc/30409/stat : 30409 (SatELiteGTI) S 30407 30409 14060 0 -1 4194304 385 184997 0 0 0 0 18652 148 18 0 1 0 1011136706 2473984 277 4294967295 134512640 135169312 3212886880 3212883096 3085659886 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30409/statm: 604 277 235 161 0 43 0
[pid=30986] ppid=30409 vsize=329700 CPUtime=88.02
/proc/30986/stat : 30986 (minisat_static) R 30409 30409 14060 0 -1 4202496 80790 0 0 0 8754 48 0 0 25 0 1 0 1011156136 337612800 80691 4294967295 134512640 135215339 3213292560 3213290848 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30986/statm: 82425 80691 73 172 0 82252 0
Current children cumulated CPU time (s) 276.02
Current children cumulated vsize (KiB) 332116

[startup+342.317 s]
/proc/loadavg: 1.22 1.13 1.04 2/95 31550
/proc/meminfo: memFree=479928/2074464 swapFree=1949056/1959888
[pid=30409] ppid=30407 vsize=2416 CPUtime=188
/proc/30409/stat : 30409 (SatELiteGTI) S 30407 30409 14060 0 -1 4194304 385 184997 0 0 0 0 18652 148 18 0 1 0 1011136706 2473984 277 4294967295 134512640 135169312 3212886880 3212883096 3085659886 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30409/statm: 604 277 235 161 0 43 0
[pid=30986] ppid=30409 vsize=335716 CPUtime=148.02
/proc/30986/stat : 30986 (minisat_static) R 30409 30409 14060 0 -1 4202496 82283 0 0 0 14754 48 0 0 25 0 1 0 1011156136 343773184 82184 4294967295 134512640 135215339 3213292560 3213290848 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30986/statm: 83929 82184 73 172 0 83756 0
Current children cumulated CPU time (s) 336.02

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

/proc/30986/statm: 89221 87455 73 172 0 89048 0
Current children cumulated CPU time (s) 516.04
Current children cumulated vsize (KiB) 359300

[startup+582.316 s]
/proc/loadavg: 1.00 1.06 1.03 2/95 32304
/proc/meminfo: memFree=451004/2074464 swapFree=1949056/1959888
[pid=30409] ppid=30407 vsize=2416 CPUtime=188
/proc/30409/stat : 30409 (SatELiteGTI) S 30407 30409 14060 0 -1 4194304 385 184997 0 0 0 0 18652 148 18 0 1 0 1011136706 2473984 277 4294967295 134512640 135169312 3212886880 3212883096 3085659886 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30409/statm: 604 277 235 161 0 43 0
[pid=30986] ppid=30409 vsize=364836 CPUtime=388.04
/proc/30986/stat : 30986 (minisat_static) R 30409 30409 14060 0 -1 4202496 89497 0 0 0 38749 55 0 0 25 0 1 0 1011156136 373592064 89398 4294967295 134512640 135215339 3213292560 3213290848 134528666 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30986/statm: 91209 89398 73 172 0 91036 0
Current children cumulated CPU time (s) 576.04
Current children cumulated vsize (KiB) 367252

[startup+642.321 s]
/proc/loadavg: 1.00 1.04 1.02 3/95 32493
/proc/meminfo: memFree=442564/2074464 swapFree=1949056/1959888
[pid=30409] ppid=30407 vsize=2416 CPUtime=188
/proc/30409/stat : 30409 (SatELiteGTI) S 30407 30409 14060 0 -1 4194304 385 184997 0 0 0 0 18652 148 18 0 1 0 1011136706 2473984 277 4294967295 134512640 135169312 3212886880 3212883096 3085659886 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30409/statm: 604 277 235 161 0 43 0
[pid=30986] ppid=30409 vsize=373192 CPUtime=448.05
/proc/30986/stat : 30986 (minisat_static) R 30409 30409 14060 0 -1 4202496 91604 0 0 0 44749 56 0 0 25 0 1 0 1011156136 382148608 91505 4294967295 134512640 135215339 3213292560 3213290848 134528721 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30986/statm: 93298 91505 73 172 0 93125 0
Current children cumulated CPU time (s) 636.05
Current children cumulated vsize (KiB) 375608

[startup+702.306 s]
/proc/loadavg: 1.00 1.03 1.02 3/95 32679
/proc/meminfo: memFree=432884/2074464 swapFree=1949056/1959888
[pid=30409] ppid=30407 vsize=2416 CPUtime=188
/proc/30409/stat : 30409 (SatELiteGTI) S 30407 30409 14060 0 -1 4194304 385 184997 0 0 0 0 18652 148 18 0 1 0 1011136706 2473984 277 4294967295 134512640 135169312 3212886880 3212883096 3085659886 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30409/statm: 604 277 235 161 0 43 0
[pid=30986] ppid=30409 vsize=382852 CPUtime=508.04
/proc/30986/stat : 30986 (minisat_static) R 30409 30409 14060 0 -1 4202496 94033 0 0 0 50742 62 0 0 25 0 1 0 1011156136 392040448 93934 4294967295 134512640 135215339 3213292560 3213290848 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30986/statm: 95713 93934 73 172 0 95540 0
Current children cumulated CPU time (s) 696.04
Current children cumulated vsize (KiB) 385268

[startup+762.31 s]
/proc/loadavg: 1.00 1.03 1.01 3/95 403
/proc/meminfo: memFree=423264/2074464 swapFree=1949056/1959888
[pid=30409] ppid=30407 vsize=2416 CPUtime=188
/proc/30409/stat : 30409 (SatELiteGTI) S 30407 30409 14060 0 -1 4194304 385 184997 0 0 0 0 18652 148 18 0 1 0 1011136706 2473984 277 4294967295 134512640 135169312 3212886880 3212883096 3085659886 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30409/statm: 604 277 235 161 0 43 0
[pid=30986] ppid=30409 vsize=393044 CPUtime=568.05
/proc/30986/stat : 30986 (minisat_static) R 30409 30409 14060 0 -1 4202496 96491 0 0 0 56743 62 0 0 25 0 1 0 1011156136 402477056 96392 4294967295 134512640 135215339 3213292560 3213290848 134528721 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30986/statm: 98261 96392 73 172 0 98088 0
Current children cumulated CPU time (s) 756.05
Current children cumulated vsize (KiB) 395460

[startup+822.315 s]
/proc/loadavg: 1.00 1.02 1.00 3/95 590
/proc/meminfo: memFree=410680/2074464 swapFree=1949056/1959888
[pid=30409] ppid=30407 vsize=2416 CPUtime=188
/proc/30409/stat : 30409 (SatELiteGTI) S 30407 30409 14060 0 -1 4194304 385 184997 0 0 0 0 18652 148 18 0 1 0 1011136706 2473984 277 4294967295 134512640 135169312 3212886880 3212883096 3085659886 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30409/statm: 604 277 235 161 0 43 0
[pid=30986] ppid=30409 vsize=405568 CPUtime=628.06
/proc/30986/stat : 30986 (minisat_static) R 30409 30409 14060 0 -1 4202496 99660 0 0 0 62740 66 0 0 25 0 1 0 1011156136 415301632 99561 4294967295 134512640 135215339 3213292560 3213290848 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30986/statm: 101392 99561 73 172 0 101219 0
Current children cumulated CPU time (s) 816.06
Current children cumulated vsize (KiB) 407984

[startup+882.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 779
/proc/meminfo: memFree=398900/2074464 swapFree=1949056/1959888
[pid=30409] ppid=30407 vsize=2416 CPUtime=188
/proc/30409/stat : 30409 (SatELiteGTI) S 30407 30409 14060 0 -1 4194304 385 184997 0 0 0 0 18652 148 18 0 1 0 1011136706 2473984 277 4294967295 134512640 135169312 3212886880 3212883096 3085659886 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30409/statm: 604 277 235 161 0 43 0
[pid=30986] ppid=30409 vsize=417364 CPUtime=688.06
/proc/30986/stat : 30986 (minisat_static) R 30409 30409 14060 0 -1 4202496 102583 0 0 0 68738 68 0 0 25 0 1 0 1011156136 427380736 102484 4294967295 134512640 135215339 3213292560 3213290848 134528721 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30986/statm: 104341 102484 73 172 0 104168 0
Current children cumulated CPU time (s) 876.06
Current children cumulated vsize (KiB) 419780

[startup+942.315 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 981
/proc/meminfo: memFree=383608/2074464 swapFree=1949056/1959888
[pid=30409] ppid=30407 vsize=2416 CPUtime=188
/proc/30409/stat : 30409 (SatELiteGTI) S 30407 30409 14060 0 -1 4194304 385 184997 0 0 0 0 18652 148 18 0 1 0 1011136706 2473984 277 4294967295 134512640 135169312 3212886880 3212883096 3085659886 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30409/statm: 604 277 235 161 0 43 0
[pid=30986] ppid=30409 vsize=432516 CPUtime=748.07
/proc/30986/stat : 30986 (minisat_static) R 30409 30409 14060 0 -1 4202496 106411 0 0 0 74730 77 0 0 25 0 1 0 1011156136 442896384 106312 4294967295 134512640 135215339 3213292560 3213290848 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30986/statm: 108129 106312 73 172 0 107956 0
Current children cumulated CPU time (s) 936.07
Current children cumulated vsize (KiB) 434932

[startup+1002.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 1168
/proc/meminfo: memFree=370512/2074464 swapFree=1949056/1959888
[pid=30409] ppid=30407 vsize=2416 CPUtime=188
/proc/30409/stat : 30409 (SatELiteGTI) S 30407 30409 14060 0 -1 4194304 385 184997 0 0 0 0 18652 148 18 0 1 0 1011136706 2473984 277 4294967295 134512640 135169312 3212886880 3212883096 3085659886 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30409/statm: 604 277 235 161 0 43 0
[pid=30986] ppid=30409 vsize=446036 CPUtime=808.07
/proc/30986/stat : 30986 (minisat_static) R 30409 30409 14060 0 -1 4202496 109638 0 0 0 80728 79 0 0 25 0 1 0 1011156136 456740864 109539 4294967295 134512640 135215339 3213292560 3213290560 134532626 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30986/statm: 111509 109539 73 172 0 111336 0
Current children cumulated CPU time (s) 996.07
Current children cumulated vsize (KiB) 448452

[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 1356
/proc/meminfo: memFree=359768/2074464 swapFree=1949056/1959888
[pid=30409] ppid=30407 vsize=2416 CPUtime=188
/proc/30409/stat : 30409 (SatELiteGTI) S 30407 30409 14060 0 -1 4194304 385 184997 0 0 0 0 18652 148 18 0 1 0 1011136706 2473984 277 4294967295 134512640 135169312 3212886880 3212883096 3085659886 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30409/statm: 604 277 235 161 0 43 0
[pid=30986] ppid=30409 vsize=457044 CPUtime=868.08
/proc/30986/stat : 30986 (minisat_static) R 30409 30409 14060 0 -1 4202496 112429 0 0 0 86728 80 0 0 25 0 1 0 1011156136 468013056 112330 4294967295 134512640 135215339 3213292560 3213290848 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30986/statm: 114261 112330 73 172 0 114088 0
Current children cumulated CPU time (s) 1056.08
Current children cumulated vsize (KiB) 459460

[startup+1122.32 s]
/proc/loadavg: 1.00 1.00 1.00 4/95 1543
/proc/meminfo: memFree=346516/2074464 swapFree=1949056/1959888
[pid=30409] ppid=30407 vsize=2416 CPUtime=188
/proc/30409/stat : 30409 (SatELiteGTI) S 30407 30409 14060 0 -1 4194304 385 184997 0 0 0 0 18652 148 18 0 1 0 1011136706 2473984 277 4294967295 134512640 135169312 3212886880 3212883096 3085659886 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30409/statm: 604 277 235 161 0 43 0
[pid=30986] ppid=30409 vsize=469940 CPUtime=928.09
/proc/30986/stat : 30986 (minisat_static) R 30409 30409 14060 0 -1 4202496 115665 0 0 0 92727 82 0 0 25 0 1 0 1011156136 481218560 115566 4294967295 134512640 135215339 3213292560 3213290848 134529183 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30986/statm: 117485 115566 73 172 0 117312 0
Current children cumulated CPU time (s) 1116.09
Current children cumulated vsize (KiB) 472356

[startup+1182.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 1736
/proc/meminfo: memFree=334348/2074464 swapFree=1949056/1959888
[pid=30409] ppid=30407 vsize=2416 CPUtime=188
/proc/30409/stat : 30409 (SatELiteGTI) S 30407 30409 14060 0 -1 4194304 385 184997 0 0 0 0 18652 148 18 0 1 0 1011136706 2473984 277 4294967295 134512640 135169312 3212886880 3212883096 3085659886 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30409/statm: 604 277 235 161 0 43 0
[pid=30986] ppid=30409 vsize=482180 CPUtime=988.09
/proc/30986/stat : 30986 (minisat_static) R 30409 30409 14060 0 -1 4202496 118751 0 0 0 98725 84 0 0 25 0 1 0 1011156136 493752320 118652 4294967295 134512640 135215339 3213292560 3213290848 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30986/statm: 120545 118652 73 172 0 120372 0
Current children cumulated CPU time (s) 1176.09
Current children cumulated vsize (KiB) 484596



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1206.22 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 1737
/proc/meminfo: memFree=326936/2074464 swapFree=1949056/1959888
[pid=30409] ppid=30407 vsize=2416 CPUtime=188
/proc/30409/stat : 30409 (SatELiteGTI) S 30407 30409 14060 0 -1 4194304 385 184997 0 0 0 0 18652 148 18 0 1 0 1011136706 2473984 277 4294967295 134512640 135169312 3212886880 3212883096 3085659886 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30409/statm: 604 277 235 161 0 43 0
[pid=30986] ppid=30409 vsize=489388 CPUtime=1012
/proc/30986/stat : 30986 (minisat_static) R 30409 30409 14060 0 -1 4202496 120542 0 0 0 101115 85 0 0 25 0 1 0 1011156136 501133312 120443 4294967295 134512640 135215339 3213292560 3213290848 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30986/statm: 122347 120443 73 172 0 122174 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 491804

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 30409 and gives
#  childrusage.ru_utime.tv_sec=186
#  childrusage.ru_utime.tv_usec=520000
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=480000
# CPU time returned by wait4() is 188
# while last known CPU time is 1200
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1206.25
CPU time (s): 1200
CPU user time (s): 1197.67
CPU system time (s): 2.33
CPU usage (%): 99.4817
Max. virtual memory (cumulated for all children) (KiB): 712128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 186.52
system time used= 1.48
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185382
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= 36
involuntary context switches= 1494

runsolver used 0.02 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on tipi27 at 2009-05-16 11:33:04
IDJOB=1820674
IDBENCH=20579
IDSOLVER=657
FILE ID=tipi27/1820674-1242466384
PBS_JOBID=
Free space on /tmp= 9594 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq8.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1820674-1242466384/watcher-1820674-1242466384 -o /tmp/evaluation-result-1820674-1242466384/solver-1820674-1242466384 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1820674-1242466384.cnf

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

MD5SUM BENCH= 776da55785376fd8eac6989ca812b102
RANDOM SEED= 1661557745

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

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

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

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

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


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:        996968 kB
Buffers:         43224 kB
Cached:         927288 kB
SwapCached:       5508 kB
Active:         569292 kB
Inactive:       411012 kB
HighTotal:     1178688 kB
HighFree:       403136 kB
LowTotal:       895776 kB
LowFree:        593832 kB
SwapTotal:     1959888 kB
SwapFree:      1949056 kB
Dirty:          160528 kB
Writeback:           0 kB
AnonPages:        9204 kB
Mapped:           3220 kB
Slab:            88756 kB
PageTables:        536 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    90628 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 9422 MiB
End job on tipi27 at 2009-05-16 11:53:24