Trace number 1821706

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.09 1200.05

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
ndhf_xits_17_UNKNOWN.cnf
MD5SUMd554330e1400d4f25a793413df9abc4e
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 variables3582
Number of clauses395999
Sum of the clauses size1182858
Maximum clause length18
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 25604
Number of clauses of size 3390364
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 531

Solver Data 

0.00/0.00	c Parsing...
0.23/0.28	c ==============================================================================
0.23/0.28	c |           |     ORIGINAL     |              LEARNT              |          |
0.23/0.28	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.23/0.28	c ==============================================================================
0.23/0.28	c |         0 |  395999  1182858 |  118799       0        0     nan |  0.000 % |
5.63/5.68	c |         0 |  394633  1728226 |      --       0       --      -- |     --   | -1366/545368
5.63/5.68	c ==============================================================================
5.63/5.68	c Result  :   #vars: 2337   #clauses: 394633   #literals: 1728226
5.63/5.68	c CPU time:   5.64 s
5.63/5.68	c ==============================================================================
6.13/6.21	c This is MiniSat 2.0 beta
6.13/6.21	c WARNING: for repeatability, setting FPU to use double precision
6.13/6.21	c ============================[ Problem Statistics ]=============================
6.13/6.21	c |                                                                             |
6.13/6.21	c |  Number of variables:  2337                                                 |
6.13/6.21	c |  Number of clauses:    394633                                               |
6.22/6.45	c |  Parsing time:         0.23         s                                       |
6.22/6.47	c ============================[ Search Statistics ]==============================
6.22/6.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.22/6.47	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
6.22/6.47	c ===============================================================================
6.22/6.47	c |         0 |    2337   394633  1728226 |   131544        0    nan |  0.000 % |
6.63/6.65	c |       103 |    2337   394633  1728226 |   131544      103     94 |  0.000 % |
6.73/6.75	c |       203 |    2337   394633  1728226 |   131544      203     92 |  0.000 % |
6.83/6.85	c |       303 |    2337   394633  1728226 |   131544      303     95 |  0.000 % |
6.93/6.95	c |       413 |    2337   394633  1728226 |   131544      413     95 |  0.000 % |
7.03/7.08	c |       514 |    2337   394633  1728226 |   131544      514     99 |  0.000 % |
7.13/7.19	c |       628 |    2337   394633  1728226 |   131544      628    101 |  0.000 % |
7.23/7.30	c |       749 |    2337   394633  1728226 |   131544      749    100 |  0.000 % |
7.32/7.39	c |       850 |    2337   394633  1728226 |   131544      850    100 |  0.000 % |
7.42/7.49	c |       960 |    2337   394633  1728226 |   131544      960    102 |  0.000 % |
7.52/7.60	c |      1082 |    2337   394633  1728226 |   131544     1082    102 |  0.000 % |
7.62/7.70	c |      1216 |    2337   394633  1728226 |   131544     1216    104 |  0.000 % |
7.72/7.79	c |      1317 |    2337   394633  1728226 |   131544     1317    106 |  0.000 % |
7.82/7.89	c |      1428 |    2337   394633  1728226 |   131544     1428    105 |  0.000 % |
7.92/7.99	c |      1552 |    2337   394633  1728226 |   131544     1552    105 |  0.000 % |
8.12/8.12	c |      1688 |    2337   394633  1728226 |   131544     1688    107 |  0.000 % |
8.22/8.23	c |      1835 |    2337   394633  1728226 |   131544     1835    105 |  0.000 % |
8.32/8.32	c |      1935 |    2337   394633  1728226 |   131544     1935    105 |  0.000 % |
8.42/8.43	c |      2049 |    2337   394633  1728226 |   131544     2049    107 |  0.000 % |
8.52/8.57	c |      2172 |    2337   394633  1728226 |   131544     2172    108 |  0.000 % |
8.62/8.66	c |      2305 |    2337   394633  1728226 |   131544     2305    108 |  0.000 % |
8.72/8.79	c |      2451 |    2337   394633  1728226 |   131544     2451    107 |  0.000 % |
8.92/8.94	c |      2614 |    2337   394633  1728226 |   131544     2614    108 |  0.000 % |
9.02/9.03	c |      2714 |    2337   394633  1728226 |   131544     2714    107 |  0.000 % |
9.12/9.12	c |      2824 |    2337   394633  1728226 |   131544     2824    107 |  0.000 % |
9.22/9.23	c |      2947 |    2337   394633  1728226 |   131544     2947    107 |  0.000 % |
9.32/9.34	c |      3080 |    2337   394633  1728226 |   131544     3080    108 |  0.000 % |
9.42/9.49	c |      3228 |    2337   394633  1728226 |   131544     3228    108 |  0.000 % |
9.62/9.63	c |      3388 |    2337   394633  1728226 |   131544     3388    110 |  0.000 % |
9.72/9.77	c |      3564 |    2337   394633  1728226 |   131544     3564    111 |  0.000 % |
9.82/9.87	c |      3664 |    2337   394633  1728226 |   131544     3664    111 |  0.000 % |
9.92/9.97	c |      3774 |    2337   394633  1728226 |   131544     3774    111 |  0.000 % |
10.02/10.08	c |      3897 |    2337   394633  1728226 |   131544     3897    111 |  0.000 % |
10.12/10.21	c |      4030 |    2337   394633  1728226 |   131544     4030    111 |  0.000 % |
10.32/10.39	c |      4176 |    2337   394633  1728226 |   131544     4176    111 |  0.000 % |
10.52/10.58	c |      4337 |    2337   394633  1728226 |   131544     4337    111 |  0.000 % |
10.62/10.66	c |      4516 |    2337   394633  1728226 |   131544     4516    112 |  0.000 % |
10.82/10.87	c |      4709 |    2337   394633  1728226 |   131544     4709    112 |  0.000 % |
10.92/11.01	c |      4809 |    2337   394633  1728226 |   131544     4809    112 |  0.000 % |
11.12/11.13	c |      4919 |    2337   394633  1728226 |   131544     4919    111 |  0.000 % |
11.22/11.30	c |      5041 |    2337   394633  1728226 |   131544     5041    113 |  0.000 % |
11.32/11.37	c |      5174 |    2337   394633  1728226 |   131544     5174    113 |  0.000 % |
11.52/11.56	c |      5321 |    2337   394633  1728226 |   131544     5321    113 |  0.000 % |
11.72/11.73	c |      5481 |    2337   394633  1728226 |   131544     5481    114 |  0.000 % |
11.82/11.90	c |      5658 |    2337   394633  1728226 |   131544     5658    114 |  0.000 % |
12.02/12.08	c |      5853 |    2337   394633  1728226 |   131544     5853    115 |  0.000 % |
12.22/12.27	c |      6065 |    2337   394633  1728226 |   131544     6065    115 |  0.000 % |
12.32/12.38	c |      6166 |    2337   394633  1728226 |   131544     6166    115 |  0.000 % |
12.52/12.53	c |      6277 |    2337   394633  1728226 |   131544     6277    115 |  0.000 % |
12.62/12.66	c |      6399 |    2337   394633  1728226 |   131544     6399    115 |  0.000 % |
12.72/12.78	c |      6533 |    2337   394633  1728226 |   131544     6533    115 |  0.000 % |
12.92/12.95	c |      6681 |    2337   394633  1728226 |   131544     6681    115 |  0.000 % |
13.12/13.16	c |      6842 |    2337   394633  1728226 |   131544     6842    115 |  0.000 % |
13.32/13.36	c |      7018 |    2337   394633  1728226 |   131544     7018    114 |  0.000 % |
13.52/13.56	c |      7213 |    2337   394633  1728226 |   131544     7213    116 |  0.000 % |
13.62/13.65	c |      7426 |    2337   394633  1728226 |   131544     7426    115 |  0.000 % |
13.82/13.89	c |      7660 |    2337   394633  1728226 |   131544     7660    116 |  0.000 % |
13.92/13.94	c |      7760 |    2337   394633  1728226 |   131544     7760    116 |  0.000 % |
14.02/14.06	c |      7870 |    2337   394633  1728226 |   131544     7870    116 |  0.000 % |
14.12/14.20	c |      7991 |    2337   394633  1728226 |   131544     7991    116 |  0.000 % |
14.32/14.35	c |      8124 |    2337   394633  1728226 |   131544     8124    116 |  0.000 % |
14.42/14.51	c |      8270 |    2337   394633  1728226 |   131544     8270    116 |  0.000 % |
14.62/14.69	c |      8431 |    2337   394633  1728226 |   131544     8431    116 |  0.000 % |
14.82/14.86	c |      8610 |    2337   394633  1728226 |   131544     8610    116 |  0.000 % |
15.02/15.09	c |      8803 |    2337   394633  1728226 |   131544     8803    117 |  0.000 % |
15.32/15.33	c |      9018 |    2337   394633  1728226 |   131544     9018    116 |  0.000 % |
15.52/15.59	c |      9251 |    2337   394633  1728226 |   131544     9251    116 |  0.000 % |
15.82/15.88	c |      9509 |    2337   394633  1728226 |   131544     9509    116 |  0.000 % |
15.92/16.01	c |      9612 |    2337   394633  1728226 |   131544     9612    117 |  0.000 % |
16.12/16.14	c |      9722 |    2337   394633  1728226 |   131544     9722    117 |  0.000 % |
16.32/16.33	c |      9844 |    2337   394633  1728226 |   131544     9844    117 |  0.000 % |
16.42/16.51	c |      9977 |    2337   394633  1728226 |   131544     9977    117 |  0.000 % |
16.62/16.67	c |     10125 |    2337   394633  1728226 | 2147483647    10125    117 |  0.000 % |
16.82/16.86	c |     10285 |    2337   394633  1728226 | 2147483647    10285    117 |  0.000 % |
17.02/17.06	c |     10461 |    2337   394633  1728226 | 2147483647    10461    117 |  0.000 % |
17.22/17.31	c |     10654 |    2337   394633  1728226 | 2147483647    10654    117 |  0.000 % |
17.52/17.54	c |     10867 |    2337   394633  1728226 | 2147483647    10867    117 |  0.000 % |
17.82/17.83	c |     11101 |    2337   394633  1728226 | 2147483647    11101    118 |  0.000 % |
18.02/18.11	c |     11357 |    2337   394633  1728226 | 2147483647    11357    118 |  0.000 % |
18.42/18.50	c |     11638 |    2337   394633  1728226 | 2147483647    11638    117 |  0.000 % |
18.52/18.60	c |     11739 |    2337   394633  1728226 | 2147483647    11739    117 |  0.000 % |
18.72/18.73	c |     11849 |    2337   394633  1728226 | 2147483647    11849    117 |  0.000 % |
18.82/18.85	c |     11971 |    2337   394633  1728226 | 2147483647    11971    117 |  0.000 % |
18.92/18.98	c |     12104 |    2337   394633  1728226 | 2147483647    12104    117 |  0.000 % |
19.12/19.17	c |     12250 |    2337   394633  1728226 | 2147483647    12250    117 |  0.000 % |
19.32/19.39	c |     12411 |    2337   394633  1728226 | 2147483647    12411    117 |  0.000 % |
19.62/19.65	c |     12589 |    2337   394633  1728226 | 2147483647    12589    117 |  0.000 % |
19.82/19.82	c |     12784 |    2337   394633  1728226 | 2147483647    12784    117 |  0.000 % |
20.02/20.09	c |     12996 |    2337   394633  1728226 | 2147483647    12996    117 |  0.000 % |
20.32/20.36	c |     13229 |    2337   394633  1728226 | 2147483647    13229    117 |  0.000 % |
20.62/20.65	c |     13485 |    2337   394633  1728226 | 2147483647    13485    117 |  0.000 % |
21.02/21.05	c |     13766 |    2337   394633  1728226 | 2147483647    13766    117 |  0.000 % |
21.32/21.36	c |     14077 |    2337   394633  1728226 | 2147483647    14077    117 |  0.000 % |
21.42/21.49	c |     14178 |    2337   394633  1728226 | 2147483647    14178    117 |  0.000 % |
21.62/21.63	c |     14288 |    2337   394633  1728226 | 2147483647    14288    117 |  0.000 % |
21.72/21.79	c |     14412 |    2337   394633  1728226 | 2147483647    14412    117 |  0.000 % |
21.92/21.98	c |     14547 |    2337   394633  1728226 | 2147483647    14547    118 |  0.000 % |
22.02/22.11	c |     14693 |    2337   394633  1728226 | 2147483647    14693    118 |  0.000 % |
22.22/22.30	c |     14854 |    2337   394633  1728226 | 2147483647    14854    118 |  0.000 % |
22.42/22.45	c |     15031 |    2337   394633  1728226 | 2147483647    15031    118 |  0.000 % |
22.62/22.65	c |     15226 |    2337   394633  1728226 | 2147483647    15226    118 |  0.000 % |
22.82/22.84	c |     15438 |    2337   394633  1728226 | 2147483647    15438    118 |  0.000 % |
23.12/23.12	c |     15673 |    2337   394633  1728226 | 2147483647    15673    118 |  0.000 % |
23.32/23.38	c |     15929 |    2337   394633  1728226 | 2147483647    15929    119 |  0.000 % |
23.52/23.56	c |     16210 |    2337   394633  1728226 | 2147483647    16210    119 |  0.000 % |
23.82/23.89	c |     16521 |    2337   394633  1728226 | 2147483647    16521    119 |  0.000 % |
24.22/24.24	c |     16861 |    2337   394633  1728226 | 2147483647    16861    120 |  0.000 % |
24.32/24.37	c |     16963 |    2337   394633  1728226 | 2147483647    16963    120 |  0.000 % |
24.52/24.53	c |     17076 |    2337   394633  1728226 | 2147483647    17076    120 |  0.000 % |
24.62/24.67	c |     17198 |    2337   394633  1728226 | 2147483647    17198    120 |  0.000 % |
24.82/24.84	c |     17333 |    2337   394633  1728226 | 2147483647    17333    120 |  0.000 % |
24.92/25.01	c |     17480 |    2337   394633  1728226 | 2147483647    17480    120 |  0.000 % |
25.12/25.16	c |     17640 |    2337   394633  1728226 | 2147483647    17640    119 |  0.000 % |
25.32/25.35	c |     17817 |    2337   394633  1728226 | 2147483647    17817    119 |  0.000 % |
25.52/25.58	c |     18012 |    2337   394633  1728226 | 2147483647    18012    119 |  0.000 % |
25.72/25.79	c |     18226 |    2337   394633  1728226 | 2147483647    18226    120 |  0.000 % |
26.02/26.06	c |     18459 |    2337   394633  1728226 | 2147483647    18459    119 |  0.000 % |
26.32/26.34	c |     18715 |    2337   394633  1728226 | 2147483647    18715    119 |  0.000 % |
26.62/26.68	c |     18996 |    2337   394633  1728226 | 2147483647    18996    120 |  0.000 % |
26.92/26.98	c |     19305 |    2337   394633  1728226 | 2147483647    19305    120 |  0.000 % |
27.32/27.39	c |     19644 |    2337   394633  1728226 | 2147483647    19644    120 |  0.000 % |
27.82/27.82	c |     20017 |    2337   394633  1728226 | 2147483647    20017    120 |  0.000 % |
27.92/27.96	c |     20118 |    2337   394633  1728226 | 2147483647    20118    120 |  0.000 % |
28.02/28.07	c |     20228 |    2337   394633  1728226 | 2147483647    20228    120 |  0.000 % |
28.12/28.21	c |     20349 |    2337   394633  1728226 | 2147483647    20349    120 |  0.000 % |
28.32/28.36	c |     20486 |    2337   394633  1728226 | 2147483647    20486    120 |  0.000 % |
28.52/28.54	c |     20632 |    2337   394633  1728226 | 2147483647    20632    120 |  0.000 % |
28.72/28.74	c |     20793 |    2337   394633  1728226 | 2147483647    20793    120 |  0.000 % |
28.82/28.89	c |     20970 |    2337   394633  1728226 | 2147483647    20970    120 |  0.000 % |
29.12/29.18	c |     21165 |    2337   394633  1728226 | 2147483647    21165    120 |  0.000 % |
29.32/29.40	c |     21377 |    2337   394633  1728226 | 2147483647    21377    120 |  0.000 % |
29.62/29.64	c |     21610 |    2337   394633  1728226 | 2147483647    21610    120 |  0.000 % |
29.92/29.98	c |     21868 |    2337   394633  1728226 | 2147483647    21868    120 |  0.000 % |
30.22/30.26	c |     22150 |    2337   394633  1728226 | 2147483647    22150    120 |  0.000 % |
30.62/30.63	c |     22461 |    2337   394633  1728226 | 2147483647    22461    120 |  0.000 % |
30.72/30.79	c |     22800 |    2337   394633  1728226 | 2147483647    22800    120 |  0.000 % |
31.02/31.09	c |     23172 |    2337   394633  1728226 | 2147483647    23172    120 |  0.000 % |
31.52/31.55	c |     23582 |    2337   394633  1728226 | 2147483647    23582    121 |  0.000 % |
31.62/31.65	c |     23682 |    2337   394633  1728226 | 2147483647    23682    121 |  0.000 % |
31.72/31.78	c |     23793 |    2337   394633  1728226 | 2147483647    23793    121 |  0.000 % |
31.92/31.94	c |     23915 |    2337   394633  1728226 | 2147483647    23915    121 |  0.000 % |
32.01/32.08	c |     24048 |    2337   394633  1728226 | 2147483647    24048    121 |  0.000 % |
32.11/32.17	c |     24194 |    2337   394633  1728226 | 2147483647    24194    121 |  0.000 % |
32.31/32.37	c |     24356 |    2337   394633  1728226 | 2147483647    24356    121 |  0.000 % |
32.51/32.61	c |     24533 |    2337   394633  1728226 | 2147483647    24533    121 |  0.000 % |
32.81/32.82	c |     24726 |    2337   394633  1728226 | 2147483647    24726    121 |  0.000 % |
33.01/33.09	c |     24938 |    2337   394633  1728226 | 2147483647    24938    121 |  0.000 % |
33.31/33.34	c |     25171 |    2337   394633  1728226 | 2147483647    25171    121 |  0.000 % |
33.61/33.61	c |     25427 |    2337   394633  1728226 | 2147483647    25427    121 |  0.000 % |
33.81/33.90	c |     25709 |    2337   394633  1728226 | 2147483647    25709    121 |  0.000 % |
34.11/34.18	c |     26019 |    2337   394633  1728226 | 2147483647    26019    121 |  0.000 % |
34.41/34.50	c |     26358 |    2337   394633  1728226 | 2147483647    26358    122 |  0.000 % |
35.01/35.03	c |     26733 |    2337   394633  1728226 | 2147483647    26733    122 |  0.000 % |
35.41/35.49	c |     27142 |    2337   394633  1728226 | 2147483647    27142    122 |  0.000 % |
35.91/35.94	c |     27591 |    2337   394633  1728226 | 2147483647    27591    122 |  0.000 % |
36.01/36.04	c |     27691 |    2337   394633  1728226 | 2147483647    27691    122 |  0.000 % |
36.11/36.19	c |     27802 |    2337   394633  1728226 | 2147483647    27802    122 |  0.000 % |
36.31/36.38	c |     27925 |    2337   394633  1728226 | 2147483647    27925    122 |  0.000 % |
36.51/36.59	c |     28061 |    2337   394633  1728226 | 2147483647    28061    122 |  0.000 % |
36.71/36.79	c |     28207 |    2337   394633  1728226 | 2147483647    28207    122 |  0.000 % |
36.91/36.99	c |     28367 |    2337   394633  1728226 | 2147483647    28367    122 |  0.000 % |
37.11/37.17	c |     28546 |    2337   394633  1728226 | 2147483647    28546    122 |  0.000 % |
37.41/37.42	c |     28740 |    2337   394633  1728226 | 2147483647    28740    122 |  0.000 % |
37.61/37.63	c |     28953 |    2337   394633  1728226 | 2147483647    28953    122 |  0.000 % |
37.81/37.88	c |     29187 |    2337   394633  1728226 | 2147483647    29187    122 |  0.000 % |
38.21/38.22	c |     29443 |    2337   394633  1728226 | 2147483647    29443    122 |  0.000 % |
38.41/38.46	c |     29726 |    2337   394633  1728226 | 2147483647    29726    122 |  0.000 % |
38.81/38.88	c |     30035 |    2337   394633  1728226 | 2147483647    30035    123 |  0.000 % |
39.21/39.24	c |     30375 |    2337   394633  1728226 | 2147483647    30375    123 |  0.000 % |
39.71/39.72	c |     30747 |    2337   394633  1728226 | 2147483647    30747    123 |  0.000 % |
40.11/40.14	c |     31156 |    2337   394633  1728226 | 2147483647    31156    123 |  0.000 % |
40.31/40.36	c |     31606 |    2337   394633  1728226 | 2147483647    31606    123 |  0.000 % |
40.81/40.91	c |     32100 |    2337   394633  1728226 | 2147483647    32100    123 |  0.000 % |
41.01/41.03	c |     32200 |    2337   394633  1728226 | 2147483647    32200    123 |  0.000 % |
41.11/41.17	c |     32311 |    2337   394633  1728226 | 2147483647    32311    123 |  0.000 % |
41.21/41.22	c |     32433 |    2337   394633  1728226 | 2147483647    32433    123 |  0.000 % |
41.31/41.40	c |     32566 |    2337   394633  1728226 | 2147483647    32566    123 |  0.000 % |
41.51/41.61	c |     32713 |    2337   394633  1728226 | 2147483647    32713    123 |  0.000 % |
41.71/41.80	c |     32874 |    2337   394633  1728226 | 2147483647    32874    123 |  0.000 % |
41.91/41.97	c |     33050 |    2337   394633  1728226 | 2147483647    33050    123 |  0.000 % |
42.21/42.24	c |     33244 |    2337   394633  1728226 | 2147483647    33244    123 |  0.000 % |
42.41/42.46	c |     33458 |    2337   394633  1728226 | 2147483647    33458    123 |  0.000 % |
42.71/42.76	c |     33693 |    2337   394633  1728226 | 2147483647    33693    123 |  0.000 % |
43.01/43.08	c |     33951 |    2337   394633  1728226 | 2147483647    33951    123 |  0.000 % |
43.31/43.41	c |     34232 |    2337   394633  1728226 | 2147483647    34232    124 |  0.000 % |
43.71/43.74	c |     34541 |    2337   394633  1728226 | 2147483647    34541    124 |  0.000 % |
44.11/44.16	c |     34880 |    2337   394633  1728226 | 2147483647    34880    124 |  0.000 % |
44.51/44.58	c |     35253 |    2337   394633  1728226 | 2147483647    35253    124 |  0.000 % |
44.81/44.87	c |     35663 |    2337   394633  1728226 | 2147483647    35663    124 |  0.000 % |
45.41/45.45	c |     36112 |    2337   394633  1728226 | 2147483647    36112    125 |  0.000 % |
45.71/45.76	c |     36605 |    2337   394633  1728226 | 2147483647    36605    124 |  0.000 % |
46.31/46.35	c |     37147 |    2337   394633  1728226 | 2147483647    37147    124 |  0.000 % |
46.41/46.50	c |     37247 |    2337   394633  1728226 | 2147483647    37247    124 |  0.000 % |
46.61/46.65	c |     37359 |    2337   394633  1728226 | 2147483647    37359    124 |  0.000 % |
46.81/46.83	c |     37481 |    2337   394633  1728226 | 2147483647    37481    124 |  0.000 % |
47.01/47.03	c |     37614 |    2337   394633  1728226 | 2147483647    37614    124 |  0.000 % |
47.21/47.25	c |     37761 |    2337   394633  1728226 | 2147483647    37761    124 |  0.000 % |
47.41/47.45	c |     37922 |    2337   394633  1728226 | 2147483647    37922    124 |  0.000 % |
47.71/47.72	c |     38098 |    2337   394633  1728226 | 2147483647    38098    124 |  0.000 % |
47.81/47.90	c |     38293 |    2337   394633  1728226 | 2147483647    38293    125 |  0.000 % |
48.21/48.25	c |     38505 |    2337   394633  1728226 | 2147483647    38505    125 |  0.000 % |
48.41/48.50	c |     38738 |    2337   394633  1728226 | 2147483647    38738    125 |  0.000 % |
48.81/48.86	c |     38994 |    2337   394633  1728226 | 2147483647    38994    125 |  0.000 % |
49.21/49.25	c |     39277 |    2337   394633  1728226 | 2147483647    39277    125 |  0.000 % |
49.51/49.56	c |     39589 |    2337   394633  1728226 | 2147483647    39589    125 |  0.000 % |
49.91/49.97	c |     39928 |    2337   394633  1728226 | 2147483647    39928    125 |  0.000 % |
50.51/50.52	c |     40301 |    2337   394633  1728226 | 2147483647    40301    125 |  0.000 % |
50.91/50.98	c |     40710 |    2337   394633  1728226 | 2147483647    40710    125 |  0.000 % |
51.51/51.54	c |     41163 |    2337   394633  1728226 | 2147483647    41163    126 |  0.000 % |
52.11/52.15	c |     41657 |    2337   394633  1728226 | 2147483647    41657    126 |  0.000 % |
52.71/52.72	c |     42201 |    2337   394633  1728226 | 2147483647    42201    126 |  0.000 % |
53.41/53.46	c |     42799 |    2337   394633  1728226 | 2147483647    42799    127 |  0.000 % |
53.61/53.63	c |     42900 |    2337   394633  1728226 | 2147483647    42900    127 |  0.000 % |
53.71/53.78	c |     43011 |    2337   394633  1728226 | 2147483647    43011    127 |  0.000 % |
53.92/53.94	c |     43132 |    2337   394633  1728226 | 2147483647    43132    127 |  0.000 % |
54.01/54.10	c |     43267 |    2337   394633  1728226 | 2147483647    43267    126 |  0.000 % |
54.31/54.33	c |     43414 |    2337   394633  1728226 | 2147483647    43414    127 |  0.000 % |
54.41/54.49	c |     43578 |    2337   394633  1728226 | 2147483647    43578    127 |  0.000 % |
54.71/54.75	c |     43755 |    2337   394633  1728226 | 2147483647    43755    127 |  0.000 % |
54.91/54.99	c |     43949 |    2337   394633  1728226 | 2147483647    43949    127 |  0.000 % |
55.31/55.35	c |     44162 |    2337   394633  1728226 | 2147483647    44162    127 |  0.000 % |
55.51/55.59	c |     44395 |    2337   394633  1728226 | 2147483647    44395    127 |  0.000 % |
55.71/55.80	c |     44652 |    2337   394633  1728226 | 2147483647    44652    126 |  0.000 % |
56.12/56.18	c |     44933 |    2337   394633  1728226 | 2147483647    44933    127 |  0.000 % |
56.51/56.60	c |     45243 |    2337   394633  1728226 | 2147483647    45243    127 |  0.000 % |
57.01/57.11	c |     45585 |    2337   394633  1728226 | 2147483647    45585    127 |  0.000 % |
57.51/57.55	c |     45960 |    2337   394633  1728226 | 2147483647    45960    127 |  0.000 % |
58.01/58.01	c |     46370 |    2337   394633  1728226 | 2147483647    46370    127 |  0.000 % |
58.32/58.39	c |     46819 |    2337   394633  1728226 | 2147483647    46819    127 |  0.000 % |
58.91/58.91	c |     47312 |    2337   394633  1728226 | 2147483647    47312    128 |  0.000 % |
59.31/59.41	c |     47856 |    2337   394633  1728226 | 2147483647    47856    128 |  0.000 % |
60.11/60.12	c |     48452 |    2337   394633  1728226 | 2147483647    48452    129 |  0.000 % |
60.71/60.73	c |     49108 |    2337   394633  1728226 | 2147483647    49108    129 |  0.000 % |
60.81/60.83	c |     49209 |    2337   394633  1728226 | 2147483647    49209    129 |  0.000 % |
60.91/60.99	c |     49319 |    2337   394633  1728226 | 2147483647    49319    129 |  0.000 % |
61.01/61.08	c |     49440 |    2337   394633  1728226 | 2147483647    49440    129 |  0.000 % |
61.21/61.29	c |     49577 |    2337   394633  1728226 | 2147483647    49577    129 |  0.000 % |
61.62/61.64	c |     49727 |    2337   394633  1728226 | 2147483647    49727    129 |  0.000 % |
61.81/61.86	c |     49887 |    2337   394633  1728226 | 2147483647    49887    129 |  0.000 % |
62.11/62.15	c |     50063 |    2337   394633  1728226 | 2147483647    50063    129 |  0.000 % |
62.31/62.41	c |     50256 |    2337   394633  1728226 | 2147483647    50256    129 |  0.000 % |
62.61/62.71	c |     50470 |    2337   394633  1728226 | 2147483647    50470    129 |  0.000 % |
63.01/63.08	c |     50704 |    2337   394633  1728226 | 2147483647    50704    129 |  0.000 % |
63.31/63.39	c |     50960 |    2337   394633  1728226 | 2147483647    50960    129 |  0.000 % |
63.71/63.75	c |     51241 |    2337   394633  1728226 | 2147483647    51241    129 |  0.000 % |
64.11/64.19	c |     51551 |    2337   394633  1728226 | 2147483647    51551    129 |  0.000 % |
64.61/64.61	c |     51890 |    2337   394633  1728226 | 2147483647    51890    129 |  0.000 % |
65.21/65.25	c |     52263 |    2337   394633  1728226 | 2147483647    52263    130 |  0.000 % |
65.91/65.93	c |     52674 |    2337   394633  1728226 | 2147483647    52674    130 |  0.000 % |
66.61/66.67	c |     53124 |    2337   394633  1728226 | 2147483647    53124    130 |  0.000 % |
67.31/67.39	c |     53617 |    2337   394633  1728226 | 2147483647    53617    129 |  0.000 % |
68.11/68.12	c |     54159 |    2337   394633  1728226 | 2147483647    54159    130 |  0.000 % |
68.91/68.99	c |     54758 |    2337   394633  1728226 | 2147483647    54758    130 |  0.000 % |
70.01/70.08	c |     55415 |    2337   394633  1728226 | 2147483647    55415    130 |  0.000 % |
70.81/70.82	c |     56135 |    2337   394633  1728226 | 2147483647    56135    130 |  0.000 % |
70.91/71.00	c |     56236 |    2337   394633  1728226 | 2147483647    56236    130 |  0.000 % |
71.11/71.18	c |     56347 |    2337   394633  1728226 | 2147483647    56347    130 |  0.000 % |
71.31/71.38	c |     56468 |    2337   394633  1728226 | 2147483647    56468    130 |  0.000 % |
71.61/71.63	c |     56601 |    2337   394633  1728226 | 2147483647    56601    130 |  0.000 % |
71.81/71.88	c |     56749 |    2337   394633  1728226 | 2147483647    56749    130 |  0.000 % |
72.11/72.15	c |     56911 |    2337   394633  1728226 | 2147483647    56911    130 |  0.000 % |
72.41/72.42	c |     57088 |    2337   394633  1728226 | 2147483647    57088    130 |  0.000 % |
72.71/72.72	c |     57281 |    2337   394633  1728226 | 2147483647    57281    130 |  0.000 % |
72.91/73.00	c |     57493 |    2337   394633  1728226 | 2147483647    57493    131 |  0.000 % |
73.31/73.40	c |     57726 |    2337   394633  1728226 | 2147483647    57726    131 |  0.000 % |
73.72/73.77	c |     57983 |    2337   394633  1728226 | 2147483647    57983    131 |  0.000 % |
74.11/74.19	c |     58264 |    2337   394633  1728226 | 2147483647    58264    131 |  0.000 % |
74.31/74.41	c |     58575 |    2337   394633  1728226 | 2147483647    58575    131 |  0.000 % |
74.82/74.88	c |     58916 |    2337   394633  1728226 | 2147483647    58916    131 |  0.000 % |
75.21/75.30	c |     59289 |    2337   394633  1728226 | 2147483647    59289    131 |  0.000 % |
75.51/75.56	c |     59699 |    2337   394633  1728226 | 2147483647    59699    131 |  0.000 % |
76.21/76.25	c |     60148 |    2337   394633  1728226 | 2147483647    60148    131 |  0.000 % |
76.91/77.02	c |     60642 |    2337   394633  1728226 | 2147483647    60642    131 |  0.000 % |
77.61/77.66	c |     61184 |    2337   394633  1728226 | 2147483647    61184    131 |  0.000 % |
78.40/78.44	c |     61781 |    2337   394633  1728226 | 2147483647    61781    131 |  0.000 % |
79.10/79.20	c |     62437 |    2337   394633  1728226 | 2147483647    62437    131 |  0.000 % |
80.10/80.15	c |     63158 |    2337   394633  1728226 | 2147483647    63158    132 |  0.000 % |
81.20/81.27	c |     63950 |    2337   394633  1728226 | 2147483647    63950    131 |  0.000 % |
81.41/81.44	c |     64050 |    2337   394633  1728226 | 2147483647    64050    131 |  0.000 % |
81.50/81.61	c |     64160 |    2337   394633  1728226 | 2147483647    64160    131 |  0.000 % |
81.70/81.81	c |     64281 |    2337   394633  1728226 | 2147483647    64281    131 |  0.000 % |
82.00/82.02	c |     64414 |    2337   394633  1728226 | 2147483647    64414    131 |  0.000 % |
82.20/82.22	c |     64561 |    2337   394633  1728226 | 2147483647    64561    131 |  0.000 % |
82.51/82.53	c |     64721 |    2337   394633  1728226 | 2147483647    64721    131 |  0.000 % |
82.70/82.79	c |     64898 |    2337   394633  1728226 | 2147483647    64898    131 |  0.000 % |
83.00/83.08	c |     65092 |    2337   394633  1728226 | 2147483647    65092    131 |  0.000 % |
83.40/83.41	c |     65304 |    2337   394633  1728226 | 2147483647    65304    131 |  0.000 % |
83.70/83.78	c |     65538 |    2337   394633  1728226 | 2147483647    65538    131 |  0.000 % |
84.10/84.17	c |     65796 |    2337   394633  1728226 | 2147483647    65796    131 |  0.000 % |
84.50/84.52	c |     66080 |    2337   394633  1728226 | 2147483647    66080    131 |  0.000 % |
84.90/84.97	c |     66390 |    2337   394633  1728226 | 2147483647    66390    131 |  0.000 % |
85.40/85.49	c |     66730 |    2337   394633  1728226 | 2147483647    66730    132 |  0.000 % |
86.00/86.06	c |     67103 |    2337   394633  1728226 | 2147483647    67103    132 |  0.000 % |
86.50/86.51	c |     67512 |    2337   394633  1728226 | 2147483647    67512    131 |  0.000 % |
87.20/87.22	c |     67961 |    2337   394633  1728226 | 2147483647    67961    132 |  0.000 % |
87.70/87.72	c |     68455 |    2337   394633  1728226 | 2147483647    68455    132 |  0.000 % |
88.50/88.59	c |     68997 |    2337   394633  1728226 | 2147483647    68997    131 |  0.000 % |
89.40/89.50	c |     69596 |    2337   394633  1728226 | 2147483647    69596    132 |  0.000 % |
90.10/90.17	c |     70253 |    2337   394633  1728226 | 2147483647    70253    132 |  0.000 % |
91.20/91.25	c |     70973 |    2337   394633  1728226 | 2147483647    70973    132 |  0.000 % |
92.30/92.36	c |     71765 |    2337   394633  1728226 | 2147483647    71765    132 |  0.000 % |
93.61/93.71	c |     72636 |    2337   394633  1728226 | 2147483647    72636    132 |  0.000 % |
93.81/93.88	c |     72736 |    2337   394633  1728226 | 2147483647    72736    132 |  0.000 % |
94.01/94.04	c |     72846 |    2337   394633  1728226 | 2147483647    72846    132 |  0.000 % |
94.21/94.26	c |     72970 |    2337   394633  1728226 | 2147483647    72970    132 |  0.000 % |
94.41/94.51	c |     73104 |    2337   394633  1728226 | 2147483647    73104    132 |  0.000 % |
94.71/94.81	c |     73252 |    2337   394633  1728226 | 2147483647    73252    132 |  0.000 % |
94.91/94.97	c |     73413 |    2337   394633  1728226 | 2147483647    73413    132 |  0.000 % |
95.11/95.16	c |     73590 |    2337   394633  1728226 | 2147483647    73590    132 |  0.000 % |
95.51/95.57	c |     73783 |    2337   394633  1728226 | 2147483647    73783    132 |  0.000 % |
95.71/95.79	c |     73996 |    2337   394633  1728226 | 2147483647    73996    132 |  0.000 % |
96.21/96.22	c |     74230 |    2337   394633  1728226 | 2147483647    74230    132 |  0.000 % |
96.41/96.45	c |     74488 |    2337   394633  1728226 | 2147483647    74488    132 |  0.000 % |
96.81/96.85	c |     74770 |    2337   394633  1728226 | 2147483647    74770    132 |  0.000 % |
97.11/97.18	c |     75079 |    2337   394633  1728226 | 2147483647    75079    132 |  0.000 % |
97.61/97.67	c |     75419 |    2337   394633  1728226 | 2147483647    75419    132 |  0.000 % |
98.21/98.22	c |     75791 |    2337   394633  1728226 | 2147483647    75791    132 |  0.000 % |
98.81/98.87	c |     76200 |    2337   394633  1728226 | 2147483647    76200    133 |  0.000 % |
99.41/99.51	c |     76651 |    2337   394633  1728226 | 2147483647    76651    133 |  0.000 % |
100.01/100.11	c |     77145 |    2337   394633  1728226 | 2147483647    77145    133 |  0.000 % |
100.61/100.65	c |     77690 |    2337   394633  1728226 | 2147483647    77690    133 |  0.000 % |
101.71/101.76	c |     78289 |    2337   394633  1728226 | 2147483647    78289    133 |  0.000 % |
102.51/102.58	c |     78945 |    2337   394633  1728226 | 2147483647    78945    133 |  0.000 % |
103.51/103.57	c |     79667 |    2337   394633  1728226 | 2147483647    79667    134 |  0.000 % |
104.51/104.61	c |     80459 |    2337   394633  1728226 | 2147483647    80459    134 |  0.000 % |
106.11/106.18	c |     81331 |    2337   394633  1728226 | 2147483647    81331    134 |  0.000 % |
107.41/107.51	c |     82289 |    2337   394633  1728226 | 2147483647    82289    134 |  0.000 % |
107.61/107.64	c |     82391 |    2337   394633  1728226 | 2147483647    82391    134 |  0.000 % |
107.81/107.84	c |     82503 |    2337   394633  1728226 | 2147483647    82503    134 |  0.000 % |
108.01/108.04	c |     82624 |    2337   394633  1728226 | 2147483647    82624    134 |  0.000 % |
108.21/108.31	c |     82758 |    2337   394633  1728226 | 2147483647    82758    134 |  0.000 % |
108.51/108.60	c |     82904 |    2337   394633  1728226 | 2147483647    82904    134 |  0.000 % |
108.81/108.92	c |     83065 |    2337   394633  1728226 | 2147483647    83065    134 |  0.000 % |
109.11/109.17	c |     83243 |    2337   394633  1728226 | 2147483647    83243    134 |  0.000 % |
109.41/109.49	c |     83438 |    2337   394633  1728226 | 2147483647    83438    134 |  0.000 % |
109.81/109.92	c |     83650 |    2337   394633  1728226 | 2147483647    83650    134 |  0.000 % |
110.31/110.35	c |     83883 |    2337   394633  1728226 | 2147483647    83883    134 |  0.000 % |
110.71/110.78	c |     84141 |    2337   394633  1728226 | 2147483647    84141    134 |  0.000 % |
111.01/111.10	c |     84422 |    2337   394633  1728226 | 2147483647    84422    134 |  0.000 % |
111.51/111.61	c |     84731 |    2337   394633  1728226 | 2147483647    84731    134 |  0.000 % |
112.01/112.07	c |     85070 |    2337   394633  1728226 | 2147483647    85070    134 |  0.000 % |
112.51/112.53	c |     85443 |    2337   394633  1728226 | 2147483647    85443    134 |  0.000 % |
113.01/113.08	c |     85853 |    2337   394633  1728226 | 2147483647    85853    134 |  0.000 % |
113.61/113.67	c |     86302 |    2337   394633  1728226 | 2147483647    86302    134 |  0.000 % |
114.31/114.34	c |     86795 |    2337   394633  1728226 | 2147483647    86795    134 |  0.000 % |
115.01/115.04	c |     87340 |    2337   394633  1728226 | 2147483647    87340    134 |  0.000 % |
115.81/115.85	c |     87936 |    2337   394633  1728226 | 2147483647    87936    134 |  0.000 % |
116.61/116.70	c |     88591 |    2337   394633  1728226 | 2147483647    88591    134 |  0.000 % |
117.61/117.67	c |     89314 |    2337   394633  1728226 | 2147483647    89314    134 |  0.000 % |
118.61/118.71	c |     90106 |    2337   394633  1728226 | 2147483647    90106    134 |  0.000 % |
119.91/119.97	c |     90984 |    2337   394633  1728226 | 2147483647    90984    134 |  0.000 % |
121.11/121.16	c |     91943 |    2337   394633  1728226 | 2147483647    91943    134 |  0.000 % |
122.21/122.22	c |     92996 |    2337   394633  1728226 | 2147483647    92996    134 |  0.000 % |
122.21/122.31	c |     93097 |    2337   394633  1728226 | 2147483647    93097    134 |  0.000 % |
122.51/122.56	c |     93207 |    2337   394633  1728226 | 2147483647    93207    134 |  0.000 % |
122.71/122.72	c |     93328 |    2337   394633  1728226 | 2147483647    93328    134 |  0.000 % |
122.81/122.83	c |     93461 |    2337   394633  1728226 | 2147483647    93461    134 |  0.000 % |
123.01/123.08	c |     93607 |    2337   394633  1728226 | 2147483647    93607    134 |  0.000 % |
123.31/123.36	c |     93768 |    2337   394633  1728226 | 2147483647    93768    134 |  0.000 % |
123.71/123.75	c |     93945 |    2337   394633  1728226 | 2147483647    93945    134 |  0.000 % |
123.91/123.97	c |     94138 |    2337   394633  1728226 | 2147483647    94138    134 |  0.000 % |
124.21/124.24	c |     94350 |    2337   394633  1728226 | 2147483647    94350    134 |  0.000 % |
124.61/124.63	c |     94584 |    2337   394633  1728226 | 2147483647    94584    134 |  0.000 % |
125.01/125.06	c |     94840 |    2337   394633  1728226 | 2147483647    94840    134 |  0.000 % |
125.51/125.60	c |     95125 |    2337   394633  1728226 | 2147483647    95125    134 |  0.000 % |
126.01/126.03	c |     95434 |    2337   394633  1728226 | 2147483647    95434    134 |  0.000 % |
126.61/126.64	c |     95774 |    2337   394633  1728226 | 2147483647    95774    134 |  0.000 % |
127.01/127.02	c |     96146 |    2337   394633  1728226 | 2147483647    96146    134 |  0.000 % |
127.61/127.65	c |     96557 |    2337   394633  1728226 | 2147483647    96557    134 |  0.000 % |
128.11/128.19	c |     97007 |    2337   394633  1728226 | 2147483647    97007    134 |  0.000 % |
129.21/129.25	c |     97500 |    2337   394633  1728226 | 2147483647    97500    134 |  0.000 % |
129.81/129.82	c |     98042 |    2337   394633  1728226 | 2147483647    98042    134 |  0.000 % |
130.51/130.55	c |     98638 |    2337   394633  1728226 | 2147483647    98638    134 |  0.000 % |
131.31/131.38	c |     99293 |    2337   394633  1728226 | 2147483647    99293    134 |  0.000 % |
131.91/131.99	c |    100014 |    2337   394633  1728226 | 2147483647   100014    134 |  0.000 % |
132.91/133.00	c |    100810 |    2337   394633  1728226 | 2147483647   100810    134 |  0.000 % |
134.41/134.43	c |    101681 |    2337   394633  1728226 | 2147483647   101681    135 |  0.000 % |
136.01/136.03	c |    102640 |    2337   394633  1728226 | 2147483647   102640    135 |  0.000 % |
137.21/137.28	c |    103693 |    2337   394633  1728226 | 2147483647   103693    135 |  0.000 % |
138.91/138.93	c |    104852 |    2337   394633  1728226 | 2147483647   104852    135 |  0.000 % |
139.11/139.18	c |    104953 |    2337   394633  1728226 | 2147483647   104953    135 |  0.000 % |
139.31/139.38	c |    105064 |    2337   394633  1728226 | 2147483647   105064    135 |  0.000 % |
139.61/139.68	c |    105185 |    2337   394633  1728226 | 2147483647   105185    135 |  0.000 % |
139.91/139.95	c |    105318 |    2337   394633  1728226 | 2147483647   105318    135 |  0.000 % |
140.01/140.10	c |    105467 |    2337   394633  1728226 | 2147483647   105467    135 |  0.000 % |
140.41/140.49	c |    105628 |    2337   394633  1728226 | 2147483647   105628    135 |  0.000 % |
140.71/140.77	c |    105805 |    2337   394633  1728226 | 2147483647   105805    135 |  0.000 % |
141.21/141.22	c |    105999 |    2337   394633  1728226 | 2147483647   105999    135 |  0.000 % |
141.61/141.69	c |    106211 |    2337   394633  1728226 | 2147483647   106211    135 |  0.000 % |
142.11/142.19	c |    106444 |    2337   394633  1728226 | 2147483647   106444    135 |  0.000 % |
142.51/142.58	c |    106701 |    2337   394633  1728226 | 2147483647   106701    135 |  0.000 % |
143.01/143.05	c |    106982 |    2337   394633  1728226 | 2147483647   106982    135 |  0.000 % |
143.51/143.54	c |    107293 |    2337   394633  1728226 | 2147483647   107293    135 |  0.000 % |
144.11/144.13	c |    107634 |    2337   394633  1728226 | 2147483647   107634    135 |  0.000 % |
144.61/144.64	c |    108006 |    2337   394633  1728226 | 2147483647   108006    135 |  0.001 % |
145.31/145.37	c |    108415 |    2337   394633  1728226 | 2147483647   108415    135 |  0.000 % |
146.11/146.13	c |    108866 |    2337   394633  1728226 | 2147483647   108866    135 |  0.000 % |
146.91/147.01	c |    109359 |    2337   394633  1728226 | 2147483647   109359    135 |  0.000 % |
147.91/147.92	c |    109901 |    2337   394633  1728226 | 2147483647   109901    135 |  0.000 % |
148.61/148.69	c |    110501 |    2337   394633  1728226 | 2147483647   110501    135 |  0.000 % |
149.91/149.92	c |    111156 |    2337   394633  1728226 | 2147483647   111156    136 |  0.000 % |
151.01/151.06	c |    111879 |    2337   394633  1728226 | 2147483647   111879    136 |  0.000 % |
152.41/152.51	c |    112671 |    2337   394633  1728226 | 2147483647   112671    136 |  0.000 % |
153.81/153.90	c |    113543 |    2337   394633  1728226 | 2147483647   113543    136 |  0.000 % |
155.61/155.67	c |    114501 |    2337   394633  1728226 | 2147483647   114501    136 |  0.000 % |
157.32/157.40	c |    115554 |    2337   394633  1728226 | 2147483647   115554    136 |  0.000 % |
159.21/159.27	c |    116715 |    2337   394633  1728226 | 2147483647   116715    136 |  0.000 % |
161.31/161.33	c |    117991 |    2337   394633  1728226 | 2147483647   117991    136 |  0.000 % |
161.51/161.54	c |    118093 |    2337   394633  1728226 | 2147483647   118093    136 |  0.000 % |
161.81/161.83	c |    118203 |    2337   394633  1728226 | 2147483647   118203    136 |  0.000 % |
161.91/162.00	c |    118327 |    2337   394633  1728226 | 2147483647   118327    136 |  0.000 % |
162.21/162.31	c |    118460 |    2337   394633  1728226 | 2147483647   118460    136 |  0.000 % |
162.51/162.53	c |    118606 |    2337   394633  1728226 | 2147483647   118606    136 |  0.000 % |
162.71/162.79	c |    118766 |    2337   394633  1728226 | 2147483647   118766    136 |  0.000 % |
163.11/163.12	c |    118942 |    2337   394633  1728226 | 2147483647   118942    136 |  0.000 % |
163.51/163.54	c |    119138 |    2337   394633  1728226 | 2147483647   119138    136 |  0.000 % |
163.92/164.00	c |    119352 |    2337   394633  1728226 | 2147483647   119352    136 |  0.000 % |
164.41/164.45	c |    119586 |    2337   394633  1728226 | 2147483647   119586    136 |  0.000 % |
165.02/165.10	c |    119843 |    2337   394633  1728226 | 2147483647   119843    136 |  0.000 % |
165.51/165.59	c |    120124 |    2337   394633  1728226 | 2147483647   120124    136 |  0.000 % |
166.21/166.22	c |    120433 |    2337   394633  1728226 | 2147483647   120433    136 |  0.000 % |
166.71/166.76	c |    120772 |    2337   394633  1728226 | 2147483647   120772    136 |  0.000 % |
167.41/167.41	c |    121144 |    2337   394633  1728226 | 2147483647   121144    136 |  0.000 % |
168.11/168.21	c |    121553 |    2337   394633  1728226 | 2147483647   121553    137 |  0.000 % |
169.01/169.09	c |    122004 |    2337   394633  1728226 | 2147483647   122004    137 |  0.000 % |
169.91/170.01	c |    122498 |    2337   394633  1728226 | 2147483647   122498    137 |  0.000 % |
170.91/170.97	c |    123040 |    2337   394633  1728226 | 2147483647   123040    137 |  0.000 % |
172.11/172.12	c |    123636 |    2337   394633  1728226 | 2147483647   123636    137 |  0.000 % |
173.61/173.62	c |    124291 |    2337   394633  1728226 | 2147483647   124291    137 |  0.000 % |
174.71/174.79	c |    125013 |    2337   394633  1728226 | 2147483647   125013    137 |  0.000 % |
175.81/175.90	c |    125805 |    2337   394633  1728226 | 2147483647   125805    137 |  0.000 % |
177.31/177.36	c |    126677 |    2337   394633  1728226 | 2147483647   126677    138 |  0.000 % |
179.11/179.12	c |    127637 |    2337   394633  1728226 | 2147483647   127637    138 |  0.000 % |
180.71/180.78	c |    128692 |    2337   394633  1728226 | 2147483647   128692    138 |  0.000 % |
182.01/182.02	c |    129851 |    2337   394633  1728226 | 2147483647   129851    138 |  0.000 % |
183.21/183.26	c |    131128 |    2337   394633  1728226 | 2147483647   131128    138 |  0.000 % |
185.31/185.35	c |    132529 |    2337   394633  1728226 | 2147483647   132529    138 |  0.000 % |
185.61/185.63	c |    132629 |    2337   394633  1728226 | 2147483647   132629    138 |  0.000 % |
185.71/185.79	c |    132742 |    2337   394633  1728226 | 2147483647   132742    138 |  0.000 % |
186.01/186.07	c |    132864 |    2337   394633  1728226 | 2147483647   132864    138 |  0.000 % |
186.31/186.38	c |    132999 |    2337   394633  1728226 | 2147483647   132999    138 |  0.000 % |
186.61/186.68	c |    133145 |    2337   394633  1728226 | 2147483647   133145    138 |  0.000 % |
186.91/187.01	c |    133307 |    2337   394633  1728226 | 2147483647   133307    138 |  0.000 % |
187.31/187.36	c |    133483 |    2337   394633  1728226 | 2147483647   133483    138 |  0.000 % |
187.71/187.71	c |    133676 |    2337   394633  1728226 | 2147483647   133676    138 |  0.000 % |
188.12/188.16	c |    133889 |    2337   394633  1728226 | 2147483647   133889    138 |  0.000 % |
188.51/188.54	c |    134122 |    2337   394633  1728226 | 2147483647   134122    138 |  0.000 % |
188.91/188.95	c |    134379 |    2337   394633  1728226 | 2147483647   134379    138 |  0.000 % |
189.41/189.42	c |    134660 |    2337   394633  1728226 | 2147483647   134660    138 |  0.000 % |
189.91/189.94	c |    134969 |    2337   394633  1728226 | 2147483647   134969    138 |  0.000 % |
190.51/190.58	c |    135308 |    2337   394633  1728226 | 2147483647   135308    138 |  0.000 % |
191.11/191.14	c |    135683 |    2337   394633  1728226 | 2147483647   135683    138 |  0.000 % |
191.62/191.72	c |    136092 |    2337   394633  1728226 | 2147483647   136092    138 |  0.000 % |
192.12/192.21	c |    136542 |    2337   394633  1728226 | 2147483647   136542    138 |  0.000 % |
193.12/193.16	c |    137036 |    2337   394633  1728226 | 2147483647   137036    138 |  0.000 % |
194.22/194.25	c |    137581 |    2337   394633  1728226 | 2147483647   137581    138 |  0.000 % |
195.42/195.46	c |    138178 |    2337   394633  1728226 | 2147483647   138178    138 |  0.000 % |
196.42/196.48	c |    138835 |    2337   394633  1728226 | 2147483647   138835    138 |  0.000 % |
197.72/197.80	c |    139555 |    2337   394633  1728226 | 2147483647   139555    138 |  0.000 % |
199.21/199.21	c |    140347 |    2337   394633  1728226 | 2147483647   140347    138 |  0.000 % |
200.71/200.73	c |    141219 |    2337   394633  1728226 | 2147483647   141219    138 |  0.000 % |
202.01/202.08	c |    142177 |    2337   394633  1728226 | 2147483647   142177    139 |  0.000 % |
203.61/203.67	c |    143230 |    2337   394633  1728226 | 2147483647   143230    139 |  0.000 % |
205.71/205.78	c |    144388 |    2337   394633  1728226 | 2147483647   144388    139 |  0.000 % |
207.91/208.00	c |    145661 |    2337   394633  1728226 | 2147483647   145661    139 |  0.000 % |
210.51/210.51	c |    147062 |    2337   394633  1728226 | 2147483647   147062    139 |  0.000 % |
213.11/213.16	c |    148602 |    2337   394633  1728226 | 2147483647   148602    140 |  0.000 % |
213.41/213.42	c |    148702 |    2337   394633  1728226 | 2147483647   148702    140 |  0.000 % |
213.61/213.65	c |    148812 |    2337   394633  1728226 | 2147483647   148812    140 |  0.000 % |
213.81/213.90	c |    148933 |    2337   394633  1728226 | 2147483647   148933    140 |  0.000 % |
214.11/214.19	c |    149068 |    2337   394633  1728226 | 2147483647   149068    140 |  0.000 % |
214.51/214.60	c |    149214 |    2337   394633  1728226 | 2147483647   149214    140 |  0.000 % |
215.01/215.03	c |    149375 |    2337   394633  1728226 | 2147483647   149375    140 |  0.000 % |
215.41/215.43	c |    149551 |    2337   394633  1728226 | 2147483647   149551    140 |  0.000 % |
215.91/215.96	c |    149744 |    2337   394633  1728226 | 2147483647   149744    140 |  0.000 % |
216.41/216.48	c |    149956 |    2337   394633  1728226 | 2147483647   149956    140 |  0.000 % |
216.91/216.91	c |    150189 |    2337   394633  1728226 | 2147483647   150189    140 |  0.000 % |
217.41/217.45	c |    150446 |    2337   394633  1728226 | 2147483647   150446    140 |  0.000 % |
218.01/218.08	c |    150727 |    2337   394633  1728226 | 2147483647   150727    140 |  0.000 % |
218.81/218.82	c |    151036 |    2337   394633  1728226 | 2147483647   151036    140 |  0.000 % |
219.41/219.44	c |    151377 |    2337   394633  1728226 | 2147483647   151377    140 |  0.000 % |
220.11/220.15	c |    151749 |    2337   394633  1728226 | 2147483647   151749    140 |  0.000 % |
220.91/220.95	c |    152158 |    2337   394633  1728226 | 2147483647   152158    140 |  0.000 % |
221.81/221.87	c |    152607 |    2337   394633  1728226 | 2147483647   152607    140 |  0.000 % |
222.71/222.74	c |    153100 |    2337   394633  1728226 | 2147483647   153100    140 |  0.000 % |
223.31/223.37	c |    153642 |    2337   394633  1728226 | 2147483647   153642    140 |  0.000 % |
224.21/224.30	c |    154240 |    2337   394633  1728226 | 2147483647   154240    140 |  0.000 % |
225.41/225.45	c |    154895 |    2337   394633  1728226 | 2147483647   154895    140 |  0.000 % |
226.71/226.78	c |    155616 |    2337   394633  1728226 | 2147483647   155616    140 |  0.000 % |
228.21/228.22	c |    156409 |    2337   394633  1728226 | 2147483647   156409    140 |  0.000 % |
229.51/229.60	c |    157280 |    2337   394633  1728226 | 2147483647   157280    140 |  0.000 % |
231.21/231.24	c |    158238 |    2337   394633  1728226 | 2147483647   158238    140 |  0.000 % |
232.51/232.60	c |    159292 |    2337   394633  1728226 | 2147483647   159292    140 |  0.000 % |
234.61/234.67	c |    160452 |    2337   394633  1728226 | 2147483647   160452    140 |  0.000 % |
236.81/236.86	c |    161727 |    2337   394633  1728226 | 2147483647   161727    140 |  0.000 % |
239.01/239.03	c |    163127 |    2337   394633  1728226 | 2147483647   163127    141 |  0.000 % |
241.41/241.45	c |    164667 |    2337   394633  1728226 | 2147483647   164667    141 |  0.000 % |
244.41/244.47	c |    166363 |    2337   394633  1728226 | 2147483647   166363    141 |  0.000 % |
244.71/244.76	c |    166465 |    2337   394633  1728226 | 2147483647   166465    141 |  0.000 % |
245.01/245.02	c |    166575 |    2337   394633  1728226 | 2147483647   166575    141 |  0.000 % |
245.31/245.32	c |    166696 |    2337   394633  1728226 | 2147483647   166696    141 |  0.000 % |
245.61/245.69	c |    166829 |    2337   394633  1728226 | 2147483647   166829    141 |  0.000 % |
245.91/245.94	c |    166976 |    2337   394633  1728226 | 2147483647   166976    141 |  0.000 % |
246.31/246.38	c |    167136 |    2337   394633  1728226 | 2147483647   167136    141 |  0.000 % |
246.71/246.77	c |    167313 |    2337   394633  1728226 | 2147483647   167313    141 |  0.000 % |
247.21/247.22	c |    167509 |    2337   394633  1728226 | 2147483647   167509    141 |  0.000 % |
247.61/247.67	c |    167722 |    2337   394633  1728226 | 2147483647   167722    141 |  0.000 % |
248.11/248.11	c |    167955 |    2337   394633  1728226 | 2147483647   167955    141 |  0.000 % |
248.62/248.68	c |    168211 |    2337   394633  1728226 | 2147483647   168211    141 |  0.000 % |
249.11/249.18	c |    168492 |    2337   394633  1728226 | 2147483647   168492    141 |  0.000 % |
249.81/249.86	c |    168802 |    2337   394633  1728226 | 2147483647   168802    141 |  0.000 % |
250.71/250.73	c |    169141 |    2337   394633  1728226 | 2147483647   169141    141 |  0.000 % |
251.41/251.42	c |    169514 |    2337   394633  1728226 | 2147483647   169514    141 |  0.000 % |
252.21/252.20	c |    169924 |    2337   394633  1728226 | 2147483647   169924    141 |  0.000 % |
252.91/253.00	c |    170373 |    2337   394633  1728226 | 2147483647   170373    141 |  0.000 % |
253.71/253.77	c |    170868 |    2337   394633  1728226 | 2147483647   170868    141 |  0.000 % |
254.61/254.69	c |    171411 |    2337   394633  1728226 | 2147483647   171411    141 |  0.000 % |
255.71/255.80	c |    172010 |    2337   394633  1728226 | 2147483647   172010    141 |  0.000 % |
257.21/257.29	c |    172668 |    2337   394633  1728226 | 2147483647   172668    141 |  0.000 % |
259.81/259.84	c |    173389 |    2337   394633  1728226 | 2147483647   173389    141 |  0.000 % |
261.21/261.24	c |    174182 |    2337   394633  1728226 | 2147483647   174182    141 |  0.000 % |
263.11/263.16	c |    175053 |    2337   394633  1728226 | 2147483647   175053    141 |  0.000 % |
265.41/265.43	c |    176012 |    2337   394633  1728226 | 2147483647   176012    142 |  0.000 % |
268.21/268.22	c |    177068 |    2337   394633  1728226 | 2147483647   177068    142 |  0.000 % |
271.01/271.05	c |    178226 |    2337   394633  1728226 | 2147483647   178226    142 |  0.000 % |
274.51/274.59	c |    179499 |    2337   394633  1728226 | 2147483647   179499    142 |  0.000 % |
278.21/278.23	c |    180899 |    2337   394633  1728226 | 2147483647   180899    142 |  0.000 % |
281.71/281.70	c |    182439 |    2337   394633  1728226 | 2147483647   182439    142 |  0.000 % |
284.61/284.61	c |    184134 |    2337   394633  1728226 | 2147483647   184134    142 |  0.000 % |
288.51/288.53	c |    185998 |    2337   394633  1728226 | 2147483647   185998    143 |  0.000 % |
288.81/288.82	c |    186098 |    2337   394633  1728226 | 2147483647   186098    143 |  0.000 % |
289.01/289.07	c |    186209 |    2337   394633  1728226 | 2147483647   186209    143 |  0.000 % |
289.32/289.37	c |    186331 |    2337   394633  1728226 | 2147483647   186331    143 |  0.000 % |
289.62/289.63	c |    186466 |    2337   394633  1728226 | 2147483647   186466    143 |  0.000 % |
290.12/290.12	c |    186613 |    2337   394633  1728226 | 2147483647   186613    143 |  0.000 % |
290.72/290.76	c |    186773 |    2337   394633  1728226 | 2147483647   186773    143 |  0.000 % |
291.12/291.15	c |    186950 |    2337   394633  1728226 | 2147483647   186950    143 |  0.000 % |
291.62/291.61	c |    187145 |    2337   394633  1728226 | 2147483647   187145    143 |  0.000 % |
292.02/292.08	c |    187359 |    2337   394633  1728226 | 2147483647   187359    143 |  0.000 % |
292.52/292.56	c |    187594 |    2337   394633  1728226 | 2147483647   187594    143 |  0.000 % |
293.12/293.13	c |    187851 |    2337   394633  1728226 | 2147483647   187851    143 |  0.000 % |
293.72/293.81	c |    188132 |    2337   394633  1728226 | 2147483647   188132    143 |  0.000 % |
294.42/294.43	c |    188442 |    2337   394633  1728226 | 2147483647   188442    143 |  0.000 % |
295.32/295.35	c |    188781 |    2337   394633  1728226 | 2147483647   188781    143 |  0.000 % |
296.22/296.31	c |    189153 |    2337   394633  1728226 | 2147483647   189153    143 |  0.000 % |
296.92/296.94	c |    189564 |    2337   394633  1728226 | 2147483647   189564    143 |  0.000 % |
297.92/298.00	c |    190013 |    2337   394633  1728226 | 2147483647   190013    143 |  0.000 % |
299.32/299.33	c |    190508 |    2337   394633  1728226 | 2147483647   190508    142 |  0.000 % |
300.52/300.58	c |    191050 |    2337   394633  1728226 | 2147483647   191050    142 |  0.000 % |
301.52/301.58	c |    191646 |    2337   394633  1728226 | 2147483647   191646    143 |  0.000 % |
302.72/302.72	c |    192303 |    2337   394633  1728226 | 2147483647   192303    143 |  0.000 % |
304.12/304.17	c |    193024 |    2337   394633  1728226 | 2147483647   193024    143 |  0.000 % |
305.42/305.48	c |    193816 |    2337   394633  1728226 | 2147483647   193816    143 |  0.000 % |
307.52/307.58	c |    194687 |    2337   394633  1728226 | 2147483647   194687    143 |  0.000 % |
309.12/309.12	c |    195645 |    2337   394633  1728226 | 2147483647   195645    143 |  0.000 % |
310.52/310.52	c |    196698 |    2337   394633  1728226 | 2147483647   196698    143 |  0.000 % |
312.22/312.24	c |    197857 |    2337   394633  1728226 | 2147483647   197857    143 |  0.000 % |
314.22/314.28	c |    199131 |    2337   394633  1728226 | 2147483647   199131    143 |  0.000 % |
316.52/316.55	c |    200533 |    2337   394633  1728226 | 2147483647   200533    143 |  0.001 % |
319.82/319.81	c |    202074 |    2337   394633  1728226 | 2147483647   202074    143 |  0.000 % |
323.12/323.16	c |    203769 |    2337   394633  1728226 | 2147483647   203769    143 |  0.000 % |
325.02/325.07	c |    205632 |    2337   394633  1728226 | 2147483647   205632    143 |  0.000 % |
329.82/329.82	c |    207684 |    2337   394633  1728226 | 2147483647   207684    143 |  0.000 % |
330.12/330.14	c |    207785 |    2337   394633  1728226 | 2147483647   207785    143 |  0.000 % |
330.42/330.44	c |    207896 |    2337   394633  1728226 | 2147483647   207896    143 |  0.000 % |
330.72/330.72	c |    208017 |    2337   394633  1728226 | 2147483647   208017    143 |  0.000 % |
331.22/331.27	c |    208150 |    2337   394633  1728226 | 2147483647   208150    143 |  0.000 % |
331.62/331.69	c |    208296 |    2337   394633  1728226 | 2147483647   208296    143 |  0.000 % |
332.02/332.07	c |    208456 |    2337   394633  1728226 | 2147483647   208456    143 |  0.000 % |
332.42/332.50	c |    208632 |    2337   394633  1728226 | 2147483647   208632    143 |  0.000 % |
332.92/332.92	c |    208825 |    2337   394633  1728226 | 2147483647   208825    143 |  0.000 % |
333.42/333.51	c |    209038 |    2337   394633  1728226 | 2147483647   209038    143 |  0.000 % |
334.02/334.07	c |    209272 |    2337   394633  1728226 | 2147483647   209272    143 |  0.000 % |
334.72/334.78	c |    209529 |    2337   394633  1728226 | 2147483647   209529    143 |  0.000 % |
335.62/335.62	c |    209810 |    2337   394633  1728226 | 2147483647   209810    143 |  0.000 % |
336.42/336.44	c |    210121 |    2337   394633  1728226 | 2147483647   210121    143 |  0.000 % |
337.22/337.29	c |    210460 |    2337   394633  1728226 | 2147483647   210460    143 |  0.000 % |
338.22/338.23	c |    210832 |    2337   394633  1728226 | 2147483647   210832    143 |  0.000 % |
339.02/339.10	c |    211241 |    2337   394633  1728226 | 2147483647   211241    143 |  0.000 % |
340.32/340.32	c |    211690 |    2337   394633  1728226 | 2147483647   211690    143 |  0.000 % |
341.22/341.31	c |    212186 |    2337   394633  1728226 | 2147483647   212186    143 |  0.000 % |
342.62/342.68	c |    212728 |    2337   394633  1728226 | 2147483647   212728    143 |  0.000 % |
343.72/343.73	c |    213326 |    2337   394633  1728226 | 2147483647   213326    143 |  0.000 % |
344.52/344.58	c |    213981 |    2337   394633  1728226 | 2147483647   213981    143 |  0.000 % |
346.12/346.18	c |    214701 |    2337   394633  1728226 | 2147483647   214701    143 |  0.000 % |
347.63/347.68	c |    215493 |    2337   394633  1728226 | 2147483647   215493    143 |  0.000 % |
349.52/349.51	c |    216367 |    2337   394633  1728226 | 2147483647   216367    143 |  0.000 % |
351.42/351.41	c |    217326 |    2337   394633  1728226 | 2147483647   217326    143 |  0.000 % |
353.52/353.58	c |    218379 |    2337   394633  1728226 | 2147483647   218379    143 |  0.000 % |
356.02/356.05	c |    219538 |    2337   394633  1728226 | 2147483647   219538    143 |  0.000 % |
358.82/358.82	c |    220814 |    2337   394633  1728226 | 2147483647   220814    143 |  0.000 % |
361.82/361.87	c |    222215 |    2337   394633  1728226 | 2147483647   222215    143 |  0.000 % |
364.82/364.89	c |    223756 |    2337   394633  1728226 | 2147483647   223756    143 |  0.000 % |
368.82/368.87	c |    225450 |    2337   394633  1728226 | 2147483647   225450    143 |  0.000 % |
375.62/375.63	c |    227314 |    2337   394633  1728226 | 2147483647   227314    143 |  0.000 % |
380.02/380.03	c |    229363 |    2337   394633  1728226 | 2147483647   229363    143 |  0.000 % |
385.12/385.19	c |    231618 |    2337   394633  1728226 | 2147483647   231618    143 |  0.000 % |
385.72/385.75	c |    231719 |    2337   394633  1728226 | 2147483647   231719    143 |  0.000 % |
386.02/386.07	c |    231829 |    2337   394633  1728226 | 2147483647   231829    143 |  0.000 % |
386.42/386.42	c |    231950 |    2337   394633  1728226 | 2147483647   231950    143 |  0.000 % |
386.92/386.92	c |    232084 |    2337   394633  1728226 | 2147483647   232084    143 |  0.000 % |
387.33/387.34	c |    232230 |    2337   394633  1728226 | 2147483647   232230    143 |  0.000 % |
387.93/387.91	c |    232390 |    2337   394633  1728226 | 2147483647   232390    143 |  0.000 % |
388.63/388.66	c |    232566 |    2337   394633  1728226 | 2147483647   232566    143 |  0.000 % |
389.13/389.20	c |    232764 |    2337   394633  1728226 | 2147483647   232764    143 |  0.000 % |
389.93/389.93	c |    232976 |    2337   394633  1728226 | 2147483647   232976    143 |  0.000 % |
390.53/390.52	c |    233209 |    2337   394633  1728226 | 2147483647   233209    143 |  0.000 % |
391.13/391.17	c |    233466 |    2337   394633  1728226 | 2147483647   233466    143 |  0.000 % |
392.03/392.07	c |    233747 |    2337   394633  1728226 | 2147483647   233747    143 |  0.000 % |
392.83/392.90	c |    234057 |    2337   394633  1728226 | 2147483647   234057    143 |  0.000 % |
393.73/393.79	c |    234398 |    2337   394633  1728226 | 2147483647   234398    143 |  0.000 % |
394.63/394.66	c |    234770 |    2337   394633  1728226 | 2147483647   234770    143 |  0.000 % |
395.63/395.68	c |    235179 |    2337   394633  1728226 | 2147483647   235179    143 |  0.000 % |
396.63/396.68	c |    235628 |    2337   394633  1728226 | 2147483647   235628    143 |  0.000 % |
397.73/397.75	c |    236121 |    2337   394633  1728226 | 2147483647   236121    143 |  0.000 % |
398.83/398.83	c |    236663 |    2337   394633  1728226 | 2147483647   236663    143 |  0.000 % |
401.33/401.35	c |    237263 |    2337   394633  1728226 | 2147483647   237263    143 |  0.000 % |
403.53/403.56	c |    237920 |    2337   394633  1728226 | 2147483647   237920    143 |  0.000 % |
405.43/405.48	c |    238642 |    2337   394633  1728226 | 2147483647   238642    143 |  0.000 % |
407.43/407.42	c |    239437 |    2337   394633  1728226 | 2147483647   239437    143 |  0.000 % |
409.53/409.59	c |    240308 |    2337   394633  1728226 | 2147483647   240308    143 |  0.000 % |
411.73/411.75	c |    241266 |    2337   394633  1728226 | 2147483647   241266    143 |  0.001 % |
414.53/414.53	c |    242319 |    2337   394633  1728226 | 2147483647   242319    143 |  0.000 % |
417.13/417.14	c |    243477 |    2337   394633  1728226 | 2147483647   243477    143 |  0.000 % |
419.93/420.01	c |    244750 |    2337   394633  1728226 | 2147483647   244750    143 |  0.000 % |
422.73/422.71	c |    246151 |    2337   394633  1728226 | 2147483647   246151    144 |  0.000 % |
425.63/425.66	c |    247691 |    2337   394633  1728226 | 2147483647   247691    144 |  0.000 % |
427.63/427.70	c |    249387 |    2337   394633  1728226 | 2147483647   249387    144 |  0.000 % |
430.33/430.33	c |    251252 |    2337   394633  1728226 | 2147483647   251252    144 |  0.000 % |
433.73/433.73	c |    253301 |    2337   394633  1728226 | 2147483647   253301    144 |  0.000 % |
438.73/438.76	c |    255555 |    2337   394633  1728226 | 2147483647   255555    144 |  0.000 % |
444.83/444.85	c |    258035 |    2337   394633  1728226 | 2147483647   258035    145 |  0.000 % |
445.23/445.21	c |    258137 |    2337   394633  1728226 | 2147483647   258137    145 |  0.000 % |
445.54/445.59	c |    258248 |    2337   394633  1728226 | 2147483647   258248    145 |  0.000 % |
446.03/446.10	c |    258370 |    2337   394633  1728226 | 2147483647   258370    145 |  0.000 % |
446.64/446.63	c |    258503 |    2337   394633  1728226 | 2147483647   258503    145 |  0.000 % |
447.23/447.25	c |    258649 |    2337   394633  1728226 | 2147483647   258649    145 |  0.000 % |
447.83/447.84	c |    258810 |    2337   394633  1728226 | 2147483647   258810    145 |  0.000 % |
448.23/448.28	c |    258986 |    2337   394633  1728226 | 2147483647   258986    145 |  0.000 % |
448.93/448.94	c |    259179 |    2337   394633  1728226 | 2147483647   259179    145 |  0.000 % |
449.53/449.56	c |    259391 |    2337   394633  1728226 | 2147483647   259391    145 |  0.000 % |
450.33/450.34	c |    259625 |    2337   394633  1728226 | 2147483647   259625    145 |  0.000 % |
451.04/451.08	c |    259881 |    2337   394633  1728226 | 2147483647   259881    145 |  0.000 % |
452.03/452.06	c |    260164 |    2337   394633  1728226 | 2147483647   260164    145 |  0.000 % |
453.03/453.05	c |    260473 |    2337   394633  1728226 | 2147483647   260473    145 |  0.000 % |
453.82/453.89	c |    260812 |    2337   394633  1728226 | 2147483647   260812    145 |  0.000 % |
454.82/454.84	c |    261187 |    2337   394633  1728226 | 2147483647   261187    145 |  0.000 % |
455.92/455.97	c |    261598 |    2337   394633  1728226 | 2147483647   261598    145 |  0.000 % |
457.52/457.61	c |    262047 |    2337   394633  1728226 | 2147483647   262047    145 |  0.000 % |
459.02/459.02	c |    262540 |    2337   394633  1728226 | 2147483647   262540    145 |  0.000 % |
460.32/460.39	c |    263085 |    2337   394633  1728226 | 2147483647   263085    145 |  0.000 % |
461.62/461.66	c |    263681 |    2337   394633  1728226 | 2147483647   263681    145 |  0.000 % |
463.22/463.27	c |    264336 |    2337   394633  1728226 | 2147483647   264336    145 |  0.000 % |
465.62/465.66	c |    265062 |    2337   394633  1728226 | 2147483647   265062    145 |  0.000 % |
468.32/468.31	c |    265855 |    2337   394633  1728226 | 2147483647   265855    145 |  0.000 % |
469.73/469.74	c |    266728 |    2337   394633  1728226 | 2147483647   266728    145 |  0.000 % |
471.52/471.56	c |    267686 |    2337   394633  1728226 | 2147483647   267686    145 |  0.000 % |
473.52/473.53	c |    268739 |    2337   394633  1728226 | 2147483647   268739    145 |  0.000 % |
475.92/475.93	c |    269899 |    2337   394633  1728226 | 2147483647   269899    145 |  0.000 % |
478.42/478.42	c |    271175 |    2337   394633  1728226 | 2147483647   271175    145 |  0.000 % |
482.62/482.64	c |    272575 |    2337   394633  1728226 | 2147483647   272575    145 |  0.000 % |
487.73/487.72	c |    274120 |    2337   394633  1728226 | 2147483647   274120    145 |  0.000 % |
491.63/491.68	c |    275815 |    2337   394633  1728226 | 2147483647   275815    145 |  0.000 % |
496.33/496.33	c |    277679 |    2337   394633  1728226 | 2147483647   277679    146 |  0.000 % |
500.53/500.59	c |    279728 |    2337   394633  1728226 | 2147483647   279728    146 |  0.000 % |
504.83/504.86	c |    281982 |    2337   394633  1728226 | 2147483647   281982    146 |  0.000 % |
511.33/511.37	c |    284461 |    2337   394633  1728226 | 2147483647   284461    146 |  0.000 % |
517.64/517.71	c |    287186 |    2337   394633  1728226 | 2147483647   287186    146 |  0.000 % |
517.94/517.97	c |    287286 |    2337   394633  1728226 | 2147483647   287286    146 |  0.000 % |
518.44/518.42	c |    287396 |    2337   394633  1728226 | 2147483647   287396    146 |  0.000 % |
518.64/518.69	c |    287517 |    2337   394633  1728226 | 2147483647   287517    146 |  0.000 % |
519.24/519.26	c |    287650 |    2337   394633  1728226 | 2147483647   287650    146 |  0.000 % |
519.84/519.82	c |    287796 |    2337   394633  1728226 | 2147483647   287796    146 |  0.000 % |
520.24/520.27	c |    287957 |    2337   394633  1728226 | 2147483647   287957    146 |  0.000 % |
520.74/520.78	c |    288134 |    2337   394633  1728226 | 2147483647   288134    146 |  0.000 % |
521.54/521.55	c |    288327 |    2337   394633  1728226 | 2147483647   288327    146 |  0.000 % |
522.34/522.40	c |    288539 |    2337   394633  1728226 | 2147483647   288539    146 |  0.000 % |
523.14/523.14	c |    288773 |    2337   394633  1728226 | 2147483647   288773    146 |  0.000 % |
524.74/524.73	c |    289031 |    2337   394633  1728226 | 2147483647   289031    146 |  0.000 % |
525.74/525.77	c |    289313 |    2337   394633  1728226 | 2147483647   289313    146 |  0.000 % |
527.24/527.25	c |    289623 |    2337   394633  1728226 | 2147483647   289623    146 |  0.000 % |
528.44/528.49	c |    289963 |    2337   394633  1728226 | 2147483647   289963    146 |  0.000 % |
530.24/530.29	c |    290335 |    2337   394633  1728226 | 2147483647   290335    146 |  0.000 % |
531.74/531.77	c |    290744 |    2337   394633  1728226 | 2147483647   290744    146 |  0.000 % |
532.94/533.01	c |    291193 |    2337   394633  1728226 | 2147483647   291193    146 |  0.000 % |
534.44/534.49	c |    291687 |    2337   394633  1728226 | 2147483647   291687    146 |  0.000 % |
535.94/535.98	c |    292229 |    2337   394633  1728226 | 2147483647   292229    146 |  0.000 % |
538.54/538.59	c |    292826 |    2337   394633  1728226 | 2147483647   292826    146 |  0.000 % |
540.24/540.24	c |    293482 |    2337   394633  1728226 | 2147483647   293482    146 |  0.000 % |
541.54/541.62	c |    294202 |    2337   394633  1728226 | 2147483647   294202    146 |  0.000 % |
543.14/543.15	c |    294994 |    2337   394633  1728226 | 2147483647   294994    146 |  0.000 % |
546.14/546.18	c |    295866 |    2337   394633  1728226 | 2147483647   295866    146 |  0.000 % |
549.34/549.39	c |    296824 |    2337   394633  1728226 | 2147483647   296824    146 |  0.000 % |
552.94/553.01	c |    297878 |    2337   394633  1728226 | 2147483647   297878    146 |  0.000 % |
556.54/556.55	c |    299040 |    2337   394633  1728226 | 2147483647   299040    146 |  0.000 % |
559.94/559.97	c |    300314 |    2337   394633  1728226 | 2147483647   300314    146 |  0.000 % |
564.23/564.30	c |    301715 |    2337   394633  1728226 | 2147483647   301715    146 |  0.000 % |
568.13/568.12	c |    303255 |    2337   394633  1728226 | 2147483647   303255    146 |  0.000 % |
572.43/572.42	c |    304950 |    2337   394633  1728226 | 2147483647   304950    146 |  0.000 % |
575.83/575.90	c |    306813 |    2337   394633  1728226 | 2147483647   306813    146 |  0.000 % |
579.74/579.78	c |    308862 |    2337   394633  1728226 | 2147483647   308862    146 |  0.000 % |
586.24/586.25	c |    311115 |    2337   394633  1728226 | 2147483647   311115    146 |  0.000 % |
593.84/593.82	c |    313593 |    2337   394633  1728226 | 2147483647   313593    146 |  0.000 % |
605.84/605.84	c |    316318 |    2337   394633  1728226 | 2147483647   316318    147 |  0.000 % |
613.34/613.33	c |    319315 |    2337   394633  1728226 | 2147483647   319315    147 |  0.000 % |
613.74/613.73	c |    319418 |    2337   394633  1728226 | 2147483647   319418    147 |  0.000 % |
614.14/614.19	c |    319528 |    2337   394633  1728226 | 2147483647   319528    147 |  0.000 % |
614.84/614.84	c |    319651 |    2337   394633  1728226 | 2147483647   319651    147 |  0.000 % |
615.34/615.37	c |    319785 |    2337   394633  1728226 | 2147483647   319785    147 |  0.000 % |
615.84/615.84	c |    319931 |    2337   394633  1728226 | 2147483647   319931    147 |  0.000 % |
616.24/616.30	c |    320091 |    2337   394633  1728226 | 2147483647   320091    147 |  0.000 % |
616.94/616.97	c |    320269 |    2337   394633  1728226 | 2147483647   320269    147 |  0.000 % |
617.64/617.63	c |    320462 |    2337   394633  1728226 | 2147483647   320462    147 |  0.000 % |
618.44/618.49	c |    320675 |    2337   394633  1728226 | 2147483647   320675    147 |  0.000 % |
619.24/619.23	c |    320908 |    2337   394633  1728226 | 2147483647   320908    147 |  0.000 % |
619.94/619.93	c |    321164 |    2337   394633  1728226 | 2147483647   321164    147 |  0.000 % |
620.84/620.87	c |    321446 |    2337   394633  1728226 | 2147483647   321446    147 |  0.000 % |
621.64/621.66	c |    321755 |    2337   394633  1728226 | 2147483647   321755    147 |  0.000 % |
622.84/622.86	c |    322094 |    2337   394633  1728226 | 2147483647   322094    147 |  0.000 % |
623.94/623.92	c |    322466 |    2337   394633  1728226 | 2147483647   322466    147 |  0.000 % |
625.14/625.19	c |    322878 |    2337   394633  1728226 | 2147483647   322878    147 |  0.000 % |
627.24/627.28	c |    323327 |    2337   394633  1728226 | 2147483647   323327    147 |  0.000 % |
628.74/628.74	c |    323820 |    2337   394633  1728226 | 2147483647   323820    147 |  0.000 % |
630.14/630.14	c |    324362 |    2337   394633  1728226 | 2147483647   324362    147 |  0.000 % |
631.04/631.10	c |    324960 |    2337   394633  1728226 | 2147483647   324960    147 |  0.000 % |
633.04/633.02	c |    325615 |    2337   394633  1728226 | 2147483647   325615    147 |  0.000 % |
635.54/635.57	c |    326338 |    2337   394633  1728226 | 2147483647   326338    147 |  0.000 % |
637.74/637.75	c |    327130 |    2337   394633  1728226 | 2147483647   327130    147 |  0.000 % |
640.84/640.82	c |    328001 |    2337   394633  1728226 | 2147483647   328001    147 |  0.000 % |
643.74/643.80	c |    328960 |    2337   394633  1728226 | 2147483647   328960    147 |  0.000 % |
647.04/647.11	c |    330013 |    2337   394633  1728226 | 2147483647   330013    147 |  0.000 % |
651.74/651.72	c |    331175 |    2337   394633  1728226 | 2147483647   331175    147 |  0.000 % |
655.84/655.82	c |    332448 |    2337   394633  1728226 | 2147483647   332448    147 |  0.000 % |
659.64/659.63	c |    333849 |    2337   394633  1728226 | 2147483647   333849    147 |  0.000 % |
662.74/662.80	c |    335390 |    2337   394633  1728226 | 2147483647   335390    147 |  0.000 % |
666.65/666.70	c |    337085 |    2337   394633  1728226 | 2147483647   337085    147 |  0.000 % |
673.34/673.38	c |    338949 |    2337   394633  1728226 | 2147483647   338949    147 |  0.000 % |
678.04/678.10	c |    340998 |    2337   394633  1728226 | 2147483647   340998    148 |  0.000 % |
685.85/685.82	c |    343252 |    2337   394633  1728226 | 2147483647   343252    148 |  0.000 % |
693.65/693.62	c |    345734 |    2337   394633  1728226 | 2147483647   345734    148 |  0.000 % |
704.25/704.31	c |    348459 |    2337   394633  1728226 | 2147483647   348459    148 |  0.000 % |
713.25/713.29	c |    351456 |    2337   394633  1728226 | 2147483647   351456    148 |  0.000 % |
720.65/720.65	c |    354755 |    2337   394633  1728226 | 2147483647   354755    148 |  0.000 % |
720.85/720.83	c |    354856 |    2337   394633  1728226 | 2147483647   354856    148 |  0.000 % |
721.15/721.12	c |    354968 |    2337   394633  1728226 | 2147483647   354968    148 |  0.000 % |
721.45/721.45	c |    355090 |    2337   394633  1728226 | 2147483647   355090    148 |  0.000 % |
722.25/722.24	c |    355223 |    2337   394633  1728226 | 2147483647   355223    148 |  0.000 % |
722.85/722.88	c |    355370 |    2337   394633  1728226 | 2147483647   355370    148 |  0.000 % |
723.35/723.37	c |    355532 |    2337   394633  1728226 | 2147483647   355532    148 |  0.000 % |
724.35/724.39	c |    355708 |    2337   394633  1728226 | 2147483647   355708    148 |  0.000 % |
725.25/725.30	c |    355902 |    2337   394633  1728226 | 2147483647   355902    148 |  0.000 % |
726.05/726.06	c |    356115 |    2337   394633  1728226 | 2147483647   356115    148 |  0.000 % |
727.25/727.23	c |    356349 |    2337   394633  1728226 | 2147483647   356349    148 |  0.000 % |
728.05/728.11	c |    356606 |    2337   394633  1728226 | 2147483647   356606    148 |  0.000 % |
729.25/729.23	c |    356889 |    2337   394633  1728226 | 2147483647   356889    148 |  0.000 % |
730.45/730.50	c |    357198 |    2337   394633  1728226 | 2147483647   357198    148 |  0.000 % |
731.85/731.87	c |    357537 |    2337   394633  1728226 | 2147483647   357537    148 |  0.000 % |
733.65/733.69	c |    357911 |    2337   394633  1728226 | 2147483647   357911    148 |  0.000 % |
735.45/735.50	c |    358320 |    2337   394633  1728226 | 2147483647   358320    148 |  0.000 % |
737.06/737.06	c |    358769 |    2337   394633  1728226 | 2147483647   358769    148 |  0.000 % |
738.65/738.69	c |    359262 |    2337   394633  1728226 | 2147483647   359262    148 |  0.000 % |
740.85/740.81	c |    359804 |    2337   394633  1728226 | 2147483647   359804    148 |  0.000 % |
743.25/743.31	c |    360401 |    2337   394633  1728226 | 2147483647   360401    148 |  0.000 % |
744.65/744.69	c |    361057 |    2337   394633  1728226 | 2147483647   361057    148 |  0.000 % |
748.25/748.28	c |    361777 |    2337   394633  1728226 | 2147483647   361777    148 |  0.000 % |
750.95/750.93	c |    362574 |    2337   394633  1728226 | 2147483647   362574    148 |  0.000 % |
756.15/756.18	c |    363447 |    2337   394633  1728226 | 2147483647   363447    148 |  0.000 % |
761.75/761.80	c |    364405 |    2337   394633  1728226 | 2147483647   364405    148 |  0.000 % |
765.55/765.62	c |    365459 |    2337   394633  1728226 | 2147483647   365459    148 |  0.000 % |
768.85/768.84	c |    366618 |    2337   394633  1728226 | 2147483647   366618    148 |  0.000 % |
772.05/772.11	c |    367893 |    2337   394633  1728226 | 2147483647   367893    148 |  0.000 % |
774.85/774.86	c |    369294 |    2337   394633  1728226 | 2147483647   369294    148 |  0.000 % |
779.06/779.11	c |    370834 |    2337   394633  1728226 | 2147483647   370834    148 |  0.000 % |
783.06/783.11	c |    372529 |    2337   394633  1728226 | 2147483647   372529    148 |  0.000 % |
790.06/790.04	c |    374393 |    2337   394633  1728226 | 2147483647   374393    148 |  0.000 % |
797.26/797.22	c |    376442 |    2337   394633  1728226 | 2147483647   376442    148 |  0.000 % |
804.56/804.52	c |    378695 |    2337   394633  1728226 | 2147483647   378695    148 |  0.000 % |
814.06/814.10	c |    381178 |    2337   394633  1728226 | 2147483647   381178    148 |  0.000 % |
823.46/823.51	c |    383906 |    2337   394633  1728226 | 2147483647   383906    148 |  0.000 % |
835.96/835.98	c |    386903 |    2337   394633  1728226 | 2147483647   386903    148 |  0.000 % |
846.26/846.25	c |    390199 |    2337   394633  1728226 | 2147483647   390199    148 |  0.000 % |
859.76/859.81	c |    393826 |    2337   394633  1728226 | 2147483647   393826    148 |  0.000 % |
860.27/860.27	c |    393926 |    2337   394633  1728226 | 2147483647   393926    148 |  0.000 % |
861.06/861.07	c |    394037 |    2337   394633  1728226 | 2147483647   394037    148 |  0.000 % |
861.56/861.57	c |    394158 |    2337   394633  1728226 | 2147483647   394158    148 |  0.000 % |
862.06/862.03	c |    394291 |    2337   394633  1728226 | 2147483647   394291    148 |  0.000 % |
862.86/862.90	c |    394438 |    2337   394633  1728226 | 2147483647   394438    148 |  0.000 % |
863.57/863.59	c |    394598 |    2337   394633  1728226 | 2147483647   394598    148 |  0.000 % |
864.46/864.43	c |    394774 |    2337   394633  1728226 | 2147483647   394774    148 |  0.000 % |
865.26/865.25	c |    394969 |    2337   394633  1728226 | 2147483647   394969    148 |  0.000 % |
866.16/866.15	c |    395183 |    2337   394633  1728226 | 2147483647   395183    148 |  0.000 % |
867.16/867.16	c |    395416 |    2337   394633  1728226 | 2147483647   395416    148 |  0.000 % |
868.06/868.02	c |    395674 |    2337   394633  1728226 | 2147483647   395674    148 |  0.001 % |
868.86/868.83	c |    395958 |    2337   394633  1728226 | 2147483647   395958    148 |  0.000 % |
870.86/870.88	c |    396269 |    2337   394633  1728226 | 2147483647   396269    148 |  0.000 % |
872.37/872.34	c |    396608 |    2337   394633  1728226 | 2147483647   396608    148 |  0.000 % |
874.26/874.24	c |    396980 |    2337   394633  1728226 | 2147483647   396980    148 |  0.000 % |
875.87/875.85	c |    397390 |    2337   394633  1728226 | 2147483647   397390    148 |  0.000 % |
877.37/877.38	c |    397840 |    2337   394633  1728226 | 2147483647   397840    148 |  0.000 % |
879.27/879.25	c |    398335 |    2337   394633  1728226 | 2147483647   398335    148 |  0.000 % |
881.57/881.59	c |    398877 |    2337   394633  1728226 | 2147483647   398877    148 |  0.000 % |
883.67/883.63	c |    399475 |    2337   394633  1728226 | 2147483647   399475    148 |  0.000 % |
886.47/886.47	c |    400130 |    2337   394633  1728226 | 2147483647   400130    148 |  0.000 % |
889.37/889.37	c |    400850 |    2337   394633  1728226 | 2147483647   400850    148 |  0.000 % |
894.17/894.15	c |    401642 |    2337   394633  1728226 | 2147483647   401642    148 |  0.000 % |
896.87/896.82	c |    402513 |    2337   394633  1728226 | 2147483647   402513    148 |  0.000 % |
900.37/900.35	c |    403471 |    2337   394633  1728226 | 2147483647   403471    148 |  0.000 % |
908.17/908.22	c |    404525 |    2337   394633  1728226 | 2147483647   404525    148 |  0.000 % |
912.27/912.26	c |    405684 |    2337   394633  1728226 | 2147483647   405684    148 |  0.000 % |
921.26/921.26	c |    406957 |    2337   394633  1728226 | 2147483647   406957    148 |  0.000 % |
924.46/924.44	c |    408358 |    2337   394633  1728226 | 2147483647   408358    148 |  0.000 % |
929.16/929.20	c |    409899 |    2337   394633  1728226 | 2147483647   409899    148 |  0.000 % |
945.56/945.59	c |    411593 |    2337   394633  1728226 | 2147483647   411593    148 |  0.000 % |
957.96/957.99	c |    413456 |    2337   394633  1728226 | 2147483647   413456    148 |  0.000 % |
963.16/963.14	c |    415505 |    2337   394633  1728226 | 2147483647   415505    148 |  0.000 % |
980.47/980.44	c |    417759 |    2337   394633  1728226 | 2147483647   417759    149 |  0.000 % |
994.97/994.94	c |    420237 |    2337   394633  1728226 | 2147483647   420237    149 |  0.000 % |
1017.57/1017.51	c |    422962 |    2337   394633  1728226 | 2147483647   422962    149 |  0.000 % |
1037.67/1037.64	c |    425960 |    2337   394633  1728226 | 2147483647   425960    149 |  0.000 % |
1055.67/1055.68	c |    429257 |    2337   394633  1728226 | 2147483647   429257    150 |  0.000 % |
1071.98/1072.01	c |    432882 |    2337   394633  1728226 | 2147483647   432882    150 |  0.000 % |
1095.78/1095.78	c |    436869 |    2337   394633  1728226 | 2147483647   436869    150 |  0.000 % |
1096.48/1096.41	c |    436970 |    2337   394633  1728226 | 2147483647   436970    150 |  0.000 % |
1096.88/1096.86	c |    437081 |    2337   394633  1728226 | 2147483647   437081    150 |  0.000 % |
1098.08/1098.06	c |    437203 |    2337   394633  1728226 | 2147483647   437203    150 |  0.000 % |
1098.78/1098.75	c |    437336 |    2337   394633  1728226 | 2147483647   437336    150 |  0.000 % |
1100.38/1100.33	c |    437483 |    2337   394633  1728226 | 2147483647   437483    150 |  0.000 % |
1101.08/1101.03	c |    437643 |    2337   394633  1728226 | 2147483647   437643    150 |  0.000 % |
1102.98/1102.94	c |    437819 |    2337   394633  1728226 | 2147483647   437819    150 |  0.000 % |
1103.78/1103.76	c |    438013 |    2337   394633  1728226 | 2147483647   438013    150 |  0.000 % |
1104.68/1104.68	c |    438225 |    2337   394633  1728226 | 2147483647   438225    150 |  0.000 % |
1107.28/1107.29	c |    438461 |    2337   394633  1728226 | 2147483647   438461    150 |  0.000 % |
1108.38/1108.39	c |    438720 |    2337   394633  1728226 | 2147483647   438720    150 |  0.000 % |
1111.18/1111.14	c |    439003 |    2337   394633  1728226 | 2147483647   439003    150 |  0.000 % |
1112.58/1112.52	c |    439314 |    2337   394633  1728226 | 2147483647   439314    150 |  0.000 % |
1115.98/1115.92	c |    439654 |    2337   394633  1728226 | 2147483647   439654    150 |  0.000 % |
1117.28/1117.29	c |    440029 |    2337   394633  1728226 | 2147483647   440029    150 |  0.000 % |
1120.88/1120.84	c |    440439 |    2337   394633  1728226 | 2147483647   440439    150 |  0.000 % |
1122.58/1122.59	c |    440888 |    2337   394633  1728226 | 2147483647   440888    150 |  0.000 % |
1127.58/1127.57	c |    441381 |    2337   394633  1728226 | 2147483647   441381    150 |  0.000 % |
1129.98/1129.95	c |    441923 |    2337   394633  1728226 | 2147483647   441923    150 |  0.000 % |
1134.08/1134.07	c |    442520 |    2337   394633  1728226 | 2147483647   442520    150 |  0.000 % |
1137.28/1137.30	c |    443176 |    2337   394633  1728226 | 2147483647   443176    150 |  0.000 % |
1143.18/1143.14	c |    443896 |    2337   394633  1728226 | 2147483647   443896    150 |  0.000 % |
1144.98/1144.94	c |    444689 |    2337   394633  1728226 | 2147483647   444689    150 |  0.000 % |
1146.18/1146.12	c |    445560 |    2337   394633  1728226 | 2147483647   445560    150 |  0.000 % |
1149.28/1149.27	c |    446520 |    2337   394633  1728226 | 2147483647   446520    150 |  0.000 % |
1151.08/1151.08	c |    447574 |    2337   394633  1728226 | 2147483647   447574    150 |  0.000 % |
1160.59/1160.52	c |    448733 |    2337   394633  1728226 | 2147483647   448733    150 |  0.000 % |
1164.18/1164.17	c |    450007 |    2337   394633  1728226 | 2147483647   450007    150 |  0.000 % |
1175.29/1175.26	c |    451408 |    2337   394633  1728226 | 2147483647   451408    150 |  0.000 % |
1179.39/1179.31	c |    452948 |    2337   394633  1728226 | 2147483647   452948    150 |  0.000 % |
1188.59/1188.56	c |    454642 |    2337   394633  1728226 | 2147483647   454642    150 |  0.000 % |
1194.29/1194.28	c |    456509 |    2337   394633  1728226 | 2147483647   456509    150 |  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-1821706-1242554939/watcher-1821706-1242554939 -o /tmp/evaluation-result-1821706-1242554939/solver-1821706-1242554939 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821706-1242554939.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.96 1.00 1.00 2/93 23569
/proc/meminfo: memFree=576212/2074464 swapFree=1949056/1959888
[pid=23569] ppid=23567 vsize=2412 CPUtime=0.01
/proc/23569/stat : 23569 (SatELiteGTI) S 23567 23569 14060 0 -1 4194304 368 647 0 0 1 0 0 0 18 0 1 0 1019991058 2469888 277 4294967295 134512640 135169312 3213155232 3213153768 3085373166 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23569/statm: 603 277 235 161 0 42 0
[pid=23573] ppid=23569 vsize=956 CPUtime=0
/proc/23573/stat : 23573 (SatELite_releas) R 23569 23569 14060 0 -1 4202496 130 0 0 0 0 0 0 0 20 0 1 0 1019991059 978944 66 4294967295 134512640 135223648 3216455344 3216453940 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23573/statm: 239 71 45 174 0 64 0

[startup+0.070571 s]
/proc/loadavg: 0.96 1.00 1.00 2/93 23569
/proc/meminfo: memFree=576212/2074464 swapFree=1949056/1959888
[pid=23569] ppid=23567 vsize=2412 CPUtime=0.01
/proc/23569/stat : 23569 (SatELiteGTI) S 23567 23569 14060 0 -1 4194304 368 647 0 0 1 0 0 0 18 0 1 0 1019991058 2469888 277 4294967295 134512640 135169312 3213155232 3213153768 3085373166 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23569/statm: 603 277 235 161 0 42 0
[pid=23573] ppid=23569 vsize=6648 CPUtime=0.07
/proc/23573/stat : 23573 (SatELite_releas) R 23569 23569 14060 0 -1 4202496 1547 0 0 0 6 1 0 0 20 0 1 0 1019991059 6807552 1483 4294967295 134512640 135223648 3216455344 3216454296 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23573/statm: 1662 1483 46 174 0 1487 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9060

[startup+0.12055 s]
/proc/loadavg: 0.96 1.00 1.00 2/93 23569
/proc/meminfo: memFree=576212/2074464 swapFree=1949056/1959888
[pid=23569] ppid=23567 vsize=2412 CPUtime=0.01
/proc/23569/stat : 23569 (SatELiteGTI) S 23567 23569 14060 0 -1 4194304 368 647 0 0 1 0 0 0 18 0 1 0 1019991058 2469888 277 4294967295 134512640 135169312 3213155232 3213153768 3085373166 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23569/statm: 603 277 235 161 0 42 0
[pid=23573] ppid=23569 vsize=10592 CPUtime=0.12
/proc/23573/stat : 23573 (SatELite_releas) R 23569 23569 14060 0 -1 4202496 2476 0 0 0 11 1 0 0 20 0 1 0 1019991059 10846208 2412 4294967295 134512640 135223648 3216455344 3216454296 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23573/statm: 2648 2412 46 174 0 2473 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13004

[startup+0.320533 s]
/proc/loadavg: 0.96 1.00 1.00 2/93 23569
/proc/meminfo: memFree=576212/2074464 swapFree=1949056/1959888
[pid=23569] ppid=23567 vsize=2412 CPUtime=0.01
/proc/23569/stat : 23569 (SatELiteGTI) S 23567 23569 14060 0 -1 4194304 368 647 0 0 1 0 0 0 18 0 1 0 1019991058 2469888 277 4294967295 134512640 135169312 3213155232 3213153768 3085373166 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23569/statm: 603 277 235 161 0 42 0
[pid=23573] ppid=23569 vsize=27728 CPUtime=0.32
/proc/23573/stat : 23573 (SatELite_releas) R 23569 23569 14060 0 -1 4202496 6690 0 0 0 29 3 0 0 21 0 1 0 1019991059 28393472 6626 4294967295 134512640 135223648 3216455344 3216453344 134548152 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23573/statm: 6932 6626 73 174 0 6757 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 30140

[startup+0.720498 s]
/proc/loadavg: 0.96 1.00 1.00 2/93 23569
/proc/meminfo: memFree=576212/2074464 swapFree=1949056/1959888
[pid=23569] ppid=23567 vsize=2412 CPUtime=0.01
/proc/23569/stat : 23569 (SatELiteGTI) S 23567 23569 14060 0 -1 4194304 368 647 0 0 1 0 0 0 18 0 1 0 1019991058 2469888 277 4294967295 134512640 135169312 3213155232 3213153768 3085373166 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23569/statm: 603 277 235 161 0 42 0
[pid=23573] ppid=23569 vsize=31816 CPUtime=0.72
/proc/23573/stat : 23573 (SatELite_releas) R 23569 23569 14060 0 -1 4202496 7684 0 0 0 68 4 0 0 22 0 1 0 1019991059 32579584 7620 4294967295 134512640 135223648 3216455344 3216453344 134548987 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23573/statm: 7954 7620 73 174 0 7779 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 34228

[startup+1.52046 s]
/proc/loadavg: 0.96 1.00 1.00 2/95 23574
/proc/meminfo: memFree=543940/2074464 swapFree=1949056/1959888
[pid=23569] ppid=23567 vsize=2412 CPUtime=0.01
/proc/23569/stat : 23569 (SatELiteGTI) S 23567 23569 14060 0 -1 4194304 368 647 0 0 1 0 0 0 18 0 1 0 1019991058 2469888 277 4294967295 134512640 135169312 3213155232 3213153768 3085373166 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23569/statm: 603 277 235 161 0 42 0
[pid=23573] ppid=23569 vsize=36708 CPUtime=1.52
/proc/23573/stat : 23573 (SatELite_releas) R 23569 23569 14060 0 -1 4202496 8523 0 0 0 148 4 0 0 25 0 1 0 1019991059 37588992 8459 4294967295 134512640 135223648 3216455344 3216453344 134548984 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23573/statm: 9177 8459 73 174 0 9002 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 39120

[startup+3.12029 s]
/proc/loadavg: 0.96 1.00 1.00 2/95 23757
/proc/meminfo: memFree=536504/2074464 swapFree=1949056/1959888
[pid=23569] ppid=23567 vsize=2412 CPUtime=0.01
/proc/23569/stat : 23569 (SatELiteGTI) S 23567 23569 14060 0 -1 4194304 368 647 0 0 1 0 0 0 18 0 1 0 1019991058 2469888 277 4294967295 134512640 135169312 3213155232 3213153768 3085373166 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23569/statm: 603 277 235 161 0 42 0
[pid=23573] ppid=23569 vsize=41224 CPUtime=3.12
/proc/23573/stat : 23573 (SatELite_releas) R 23569 23569 14060 0 -1 4202496 9581 0 0 0 308 4 0 0 25 0 1 0 1019991059 42213376 9517 4294967295 134512640 135223648 3216455344 3216453552 134593662 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23573/statm: 10306 9517 73 174 0 10131 0
Current children cumulated CPU time (s) 3.13
Current children cumulated vsize (KiB) 43636

[startup+6.32002 s]
/proc/loadavg: 0.97 1.00 1.00 2/95 23758
/proc/meminfo: memFree=536552/2074464 swapFree=1949056/1959888
[pid=23569] ppid=23567 vsize=2416 CPUtime=6.22
/proc/23569/stat : 23569 (SatELiteGTI) S 23567 23569 14060 0 -1 4194304 387 10231 0 0 1 0 614 7 18 0 1 0 1019991058 2473984 278 4294967295 134512640 135169312 3213155232 3213151448 3085373166 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23569/statm: 604 278 235 161 0 43 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 2416

[startup+12.7195 s]
/proc/loadavg: 0.97 1.00 1.00 3/95 23763
/proc/meminfo: memFree=541840/2074464 swapFree=1949056/1959888
[pid=23569] ppid=23567 vsize=2416 CPUtime=6.22
/proc/23569/stat : 23569 (SatELiteGTI) S 23567 23569 14060 0 -1 4194304 387 10231 0 0 1 0 614 7 18 0 1 0 1019991058 2473984 278 4294967295 134512640 135169312 3213155232 3213151448 3085373166 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23569/statm: 604 278 235 161 0 43 0
[pid=23759] ppid=23569 vsize=25240 CPUtime=6.5
/proc/23759/stat : 23759 (minisat_static) R 23569 23569 14060 0 -1 4202496 6173 0 0 0 648 2 0 0 25 0 1 0 1019991679 25845760 6108 4294967295 134512640 135215339 3216801632 3216799920 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23759/statm: 6310 6108 73 172 0 6137 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 27656

[startup+25.5183 s]
/proc/loadavg: 0.97 1.00 1.00 3/95 23763
/proc/meminfo: memFree=535404/2074464 swapFree=1949056/1959888
[pid=23569] ppid=23567 vsize=2416 CPUtime=6.22
/proc/23569/stat : 23569 (SatELiteGTI) S 23567 23569 14060 0 -1 4194304 387 10231 0 0 1 0 614 7 18 0 1 0 1019991058 2473984 278 4294967295 134512640 135169312 3213155232 3213151448 3085373166 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23569/statm: 604 278 235 161 0 43 0
[pid=23759] ppid=23569 vsize=31456 CPUtime=19.3
/proc/23759/stat : 23759 (minisat_static) R 23569 23569 14060 0 -1 4202496 7736 0 0 0 1928 2 0 0 25 0 1 0 1019991679 32210944 7671 4294967295 134512640 135215339 3216801632 3216799920 134528802 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23759/statm: 7864 7671 73 172 0 7691 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 33872

[startup+51.1161 s]
/proc/loadavg: 0.98 1.00 1.00 3/95 23763
/proc/meminfo: memFree=522872/2074464 swapFree=1949056/1959888
[pid=23569] ppid=23567 vsize=2416 CPUtime=6.22
/proc/23569/stat : 23569 (SatELiteGTI) S 23567 23569 14060 0 -1 4194304 387 10231 0 0 1 0 614 7 18 0 1 0 1019991058 2473984 278 4294967295 134512640 135169312 3213155232 3213151448 3085373166 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23569/statm: 604 278 235 161 0 43 0
[pid=23759] ppid=23569 vsize=44088 CPUtime=44.89
/proc/23759/stat : 23759 (minisat_static) R 23569 23569 14060 0 -1 4202496 10903 0 0 0 4478 11 0 0 25 0 1 0 1019991679 45146112 10838 4294967295 134512640 135215339 3216801632 3216799920 134528814 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23759/statm: 11022 10838 73 172 0 10849 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 46504

[startup+102.322 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 23956
/proc/meminfo: memFree=499436/2074464 swapFree=1949056/1959888
[pid=23569] ppid=23567 vsize=2416 CPUtime=6.22
/proc/23569/stat : 23569 (SatELiteGTI) S 23567 23569 14060 0 -1 4194304 387 10231 0 0 1 0 614 7 18 0 1 0 1019991058 2473984 278 4294967295 134512640 135169312 3213155232 3213151448 3085373166 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23569/statm: 604 278 235 161 0 43 0
[pid=23759] ppid=23569 vsize=67176 CPUtime=96.09
/proc/23759/stat : 23759 (minisat_static) R 23569 23569 14060 0 -1 4202496 16658 0 0 0 9593 16 0 0 25 0 1 0 1019991679 68788224 16593 4294967295 134512640 135215339 3216801632 3216799696 134538272 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23759/statm: 16794 16593 73 172 0 16621 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 69592

[startup+162.316 s]
/proc/loadavg: 0.99 1.00 1.00 3/95 24145
/proc/meminfo: memFree=475364/2074464 swapFree=1949056/1959888
[pid=23569] ppid=23567 vsize=2416 CPUtime=6.22
/proc/23569/stat : 23569 (SatELiteGTI) S 23567 23569 14060 0 -1 4194304 387 10231 0 0 1 0 614 7 18 0 1 0 1019991058 2473984 278 4294967295 134512640 135169312 3213155232 3213151448 3085373166 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23569/statm: 604 278 235 161 0 43 0
[pid=23759] ppid=23569 vsize=91436 CPUtime=156.09
/proc/23759/stat : 23759 (minisat_static) R 23569 23569 14060 0 -1 4202496 22690 0 0 0 15585 24 0 0 25 0 1 0 1019991679 93630464 22625 4294967295 134512640 135215339 3216801632 3216799920 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23759/statm: 22859 22625 73 172 0 22686 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 93852

[startup+222.311 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 24329
/proc/meminfo: memFree=453192/2074464 swapFree=1949056/1959888
[pid=23569] ppid=23567 vsize=2416 CPUtime=6.22
/proc/23569/stat : 23569 (SatELiteGTI) S 23567 23569 14060 0 -1 4194304 387 10231 0 0 1 0 614 7 18 0 1 0 1019991058 2473984 278 4294967295 134512640 135169312 3213155232 3213151448 3085373166 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23569/statm: 604 278 235 161 0 43 0
[pid=23759] ppid=23569 vsize=113608 CPUtime=216.09
/proc/23759/stat : 23759 (minisat_static) R 23569 23569 14060 0 -1 4202496 28208 0 0 0 21578 31 0 0 25 0 1 0 1019991679 116334592 28143 4294967295 134512640 135215339 3216801632 3216799920 134528784 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23759/statm: 28402 28143 73 172 0 28229 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 116024

[startup+282.306 s]
/proc/loadavg: 0.99 1.00 1.00 3/95 24518
/proc/meminfo: memFree=433708/2074464 swapFree=1949056/1959888
[pid=23569] ppid=23567 vsize=2416 CPUtime=6.22
/proc/23569/stat : 23569 (SatELiteGTI) S 23567 23569 14060 0 -1 4194304 387 10231 0 0 1 0 614 7 18 0 1 0 1019991058 2473984 278 4294967295 134512640 135169312 3213155232 3213151448 3085373166 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23569/statm: 604 278 235 161 0 43 0
[pid=23759] ppid=23569 vsize=133536 CPUtime=276.09
/proc/23759/stat : 23759 (minisat_static) R 23569 23569 14060 0 -1 4202496 33175 0 0 0 27573 36 0 0 25 0 1 0 1019991679 136740864 33110 4294967295 134512640 135215339 3216801632 3216799920 134528806 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23759/statm: 33384 33110 73 172 0 33211 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 135952

[startup+342.311 s]
/proc/loadavg: 0.99 1.00 1.00 3/95 24708
/proc/meminfo: memFree=414992/2074464 swapFree=1949056/1959888
[pid=23569] ppid=23567 vsize=2416 CPUtime=6.22
/proc/23569/stat : 23569 (SatELiteGTI) S 23567 23569 14060 0 -1 4194304 387 10231 0 0 1 0 614 7 18 0 1 0 1019991058 2473984 278 4294967295 134512640 135169312 3213155232 3213151448 3085373166 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23569/statm: 604 278 235 161 0 43 0
[pid=23759] ppid=23569 vsize=152564 CPUtime=336.1
/proc/23759/stat : 23759 (minisat_static) R 23569 23569 14060 0 -1 4202496 37837 0 0 0 33566 44 0 0 25 0 1 0 1019991679 156225536 37772 4294967295 134512640 135215339 3216801632 3216799920 134528700 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23759/statm: 38141 37772 73 172 0 37968 0
Current children cumulated CPU time (s) 342.32
Current children cumulated vsize (KiB) 154980

[startup+402.316 s]

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

/proc/23759/statm: 50686 50317 73 172 0 50513 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 205160

[startup+582.31 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 25466
/proc/meminfo: memFree=351008/2074464 swapFree=1949056/1959888
[pid=23569] ppid=23567 vsize=2416 CPUtime=6.22
/proc/23569/stat : 23569 (SatELiteGTI) S 23567 23569 14060 0 -1 4194304 387 10231 0 0 1 0 614 7 18 0 1 0 1019991058 2473984 278 4294967295 134512640 135169312 3213155232 3213151448 3085373166 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23569/statm: 604 278 235 161 0 43 0
[pid=23759] ppid=23569 vsize=216668 CPUtime=576.11
/proc/23759/stat : 23759 (minisat_static) R 23569 23569 14060 0 -1 4202496 53848 0 0 0 57556 55 0 0 25 0 1 0 1019991679 221868032 53783 4294967295 134512640 135215339 3216801632 3216799920 134528821 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23759/statm: 54167 53783 73 172 0 53994 0
Current children cumulated CPU time (s) 582.33
Current children cumulated vsize (KiB) 219084

[startup+642.315 s]
/proc/loadavg: 1.04 1.01 1.00 2/95 25654
/proc/meminfo: memFree=338120/2074464 swapFree=1949056/1959888
[pid=23569] ppid=23567 vsize=2416 CPUtime=6.22
/proc/23569/stat : 23569 (SatELiteGTI) S 23567 23569 14060 0 -1 4194304 387 10231 0 0 1 0 614 7 18 0 1 0 1019991058 2473984 278 4294967295 134512640 135169312 3213155232 3213151448 3085373166 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23569/statm: 604 278 235 161 0 43 0
[pid=23759] ppid=23569 vsize=229980 CPUtime=636.12
/proc/23759/stat : 23759 (minisat_static) R 23569 23569 14060 0 -1 4202496 57048 0 0 0 63554 58 0 0 25 0 1 0 1019991679 235499520 56983 4294967295 134512640 135215339 3216801632 3216799848 134721382 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23759/statm: 57495 56983 73 172 0 57322 0
Current children cumulated CPU time (s) 642.34
Current children cumulated vsize (KiB) 232396

[startup+702.32 s]
/proc/loadavg: 1.01 1.00 1.00 3/95 25843
/proc/meminfo: memFree=324960/2074464 swapFree=1949056/1959888
[pid=23569] ppid=23567 vsize=2416 CPUtime=6.22
/proc/23569/stat : 23569 (SatELiteGTI) S 23567 23569 14060 0 -1 4194304 387 10231 0 0 1 0 614 7 18 0 1 0 1019991058 2473984 278 4294967295 134512640 135169312 3213155232 3213151448 3085373166 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23569/statm: 604 278 235 161 0 43 0
[pid=23759] ppid=23569 vsize=243348 CPUtime=696.13
/proc/23759/stat : 23759 (minisat_static) R 23569 23569 14060 0 -1 4202496 60361 0 0 0 69552 61 0 0 25 0 1 0 1019991679 249188352 60296 4294967295 134512640 135215339 3216801632 3216799920 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23759/statm: 60837 60296 73 172 0 60664 0
Current children cumulated CPU time (s) 702.35
Current children cumulated vsize (KiB) 245764

[startup+762.324 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 26032
/proc/meminfo: memFree=313428/2074464 swapFree=1949056/1959888
[pid=23569] ppid=23567 vsize=2416 CPUtime=6.22
/proc/23569/stat : 23569 (SatELiteGTI) S 23567 23569 14060 0 -1 4194304 387 10231 0 0 1 0 614 7 18 0 1 0 1019991058 2473984 278 4294967295 134512640 135169312 3213155232 3213151448 3085373166 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23569/statm: 604 278 235 161 0 43 0
[pid=23759] ppid=23569 vsize=254656 CPUtime=756.14
/proc/23759/stat : 23759 (minisat_static) R 23569 23569 14060 0 -1 4202496 63192 0 0 0 75551 63 0 0 25 0 1 0 1019991679 260767744 63127 4294967295 134512640 135215339 3216801632 3216799920 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23759/statm: 63664 63127 73 172 0 63491 0
Current children cumulated CPU time (s) 762.36
Current children cumulated vsize (KiB) 257072

[startup+822.319 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 26216
/proc/meminfo: memFree=301912/2074464 swapFree=1949056/1959888
[pid=23569] ppid=23567 vsize=2416 CPUtime=6.22
/proc/23569/stat : 23569 (SatELiteGTI) S 23567 23569 14060 0 -1 4194304 387 10231 0 0 1 0 614 7 18 0 1 0 1019991058 2473984 278 4294967295 134512640 135169312 3213155232 3213151448 3085373166 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23569/statm: 604 278 235 161 0 43 0
[pid=23759] ppid=23569 vsize=266864 CPUtime=816.14
/proc/23759/stat : 23759 (minisat_static) R 23569 23569 14060 0 -1 4202496 66235 0 0 0 81548 66 0 0 25 0 1 0 1019991679 273268736 66170 4294967295 134512640 135215339 3216801632 3216799920 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23759/statm: 66716 66170 73 172 0 66543 0
Current children cumulated CPU time (s) 822.36
Current children cumulated vsize (KiB) 269280

[startup+882.324 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 26409
/proc/meminfo: memFree=291356/2074464 swapFree=1949056/1959888
[pid=23569] ppid=23567 vsize=2416 CPUtime=6.22
/proc/23569/stat : 23569 (SatELiteGTI) S 23567 23569 14060 0 -1 4194304 387 10231 0 0 1 0 614 7 18 0 1 0 1019991058 2473984 278 4294967295 134512640 135169312 3213155232 3213151448 3085373166 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23569/statm: 604 278 235 161 0 43 0
[pid=23759] ppid=23569 vsize=276900 CPUtime=876.15
/proc/23759/stat : 23759 (minisat_static) R 23569 23569 14060 0 -1 4202496 68722 0 0 0 87548 67 0 0 25 0 1 0 1019991679 283545600 68657 4294967295 134512640 135215339 3216801632 3216799920 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23759/statm: 69225 68657 73 172 0 69052 0
Current children cumulated CPU time (s) 882.37
Current children cumulated vsize (KiB) 279316

[startup+942.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 26597
/proc/meminfo: memFree=281560/2074464 swapFree=1949056/1959888
[pid=23569] ppid=23567 vsize=2416 CPUtime=6.22
/proc/23569/stat : 23569 (SatELiteGTI) S 23567 23569 14060 0 -1 4194304 387 10231 0 0 1 0 614 7 18 0 1 0 1019991058 2473984 278 4294967295 134512640 135169312 3213155232 3213151448 3085373166 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23569/statm: 604 278 235 161 0 43 0
[pid=23759] ppid=23569 vsize=287060 CPUtime=936.14
/proc/23759/stat : 23759 (minisat_static) R 23569 23569 14060 0 -1 4202496 71181 0 0 0 93543 71 0 0 25 0 1 0 1019991679 293949440 71116 4294967295 134512640 135215339 3216801632 3216799920 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23759/statm: 71765 71116 73 172 0 71592 0
Current children cumulated CPU time (s) 942.36
Current children cumulated vsize (KiB) 289476

[startup+1002.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 26786
/proc/meminfo: memFree=273896/2074464 swapFree=1949056/1959888
[pid=23569] ppid=23567 vsize=2416 CPUtime=6.22
/proc/23569/stat : 23569 (SatELiteGTI) S 23567 23569 14060 0 -1 4194304 387 10231 0 0 1 0 614 7 18 0 1 0 1019991058 2473984 278 4294967295 134512640 135169312 3213155232 3213151448 3085373166 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23569/statm: 604 278 235 161 0 43 0
[pid=23759] ppid=23569 vsize=295336 CPUtime=996.15
/proc/23759/stat : 23759 (minisat_static) R 23569 23569 14060 0 -1 4202496 73139 0 0 0 99543 72 0 0 25 0 1 0 1019991679 302424064 73066 4294967295 134512640 135215339 3216801632 3216799920 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23759/statm: 73834 73066 73 172 0 73661 0
Current children cumulated CPU time (s) 1002.37
Current children cumulated vsize (KiB) 297752

[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 26975
/proc/meminfo: memFree=265548/2074464 swapFree=1949056/1959888
[pid=23569] ppid=23567 vsize=2416 CPUtime=6.22
/proc/23569/stat : 23569 (SatELiteGTI) S 23567 23569 14060 0 -1 4194304 387 10231 0 0 1 0 614 7 18 0 1 0 1019991058 2473984 278 4294967295 134512640 135169312 3213155232 3213151448 3085373166 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23569/statm: 604 278 235 161 0 43 0
[pid=23759] ppid=23569 vsize=303568 CPUtime=1056.15
/proc/23759/stat : 23759 (minisat_static) R 23569 23569 14060 0 -1 4202496 75198 0 0 0 105538 77 0 0 25 0 1 0 1019991679 310853632 75125 4294967295 134512640 135215339 3216801632 3216799920 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23759/statm: 75892 75125 73 172 0 75719 0
Current children cumulated CPU time (s) 1062.37
Current children cumulated vsize (KiB) 305984

[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 27159
/proc/meminfo: memFree=258496/2074464 swapFree=1949056/1959888
[pid=23569] ppid=23567 vsize=2416 CPUtime=6.22
/proc/23569/stat : 23569 (SatELiteGTI) S 23567 23569 14060 0 -1 4194304 387 10231 0 0 1 0 614 7 18 0 1 0 1019991058 2473984 278 4294967295 134512640 135169312 3213155232 3213151448 3085373166 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23569/statm: 604 278 235 161 0 43 0
[pid=23759] ppid=23569 vsize=310704 CPUtime=1116.16
/proc/23759/stat : 23759 (minisat_static) R 23569 23569 14060 0 -1 4202496 76957 0 0 0 111539 77 0 0 25 0 1 0 1019991679 318160896 76884 4294967295 134512640 135215339 3216801632 3216799920 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23759/statm: 77676 76884 73 172 0 77503 0
Current children cumulated CPU time (s) 1122.38
Current children cumulated vsize (KiB) 313120

[startup+1182.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 27348
/proc/meminfo: memFree=249584/2074464 swapFree=1949056/1959888
[pid=23569] ppid=23567 vsize=2416 CPUtime=6.22
/proc/23569/stat : 23569 (SatELiteGTI) S 23567 23569 14060 0 -1 4194304 387 10231 0 0 1 0 614 7 18 0 1 0 1019991058 2473984 278 4294967295 134512640 135169312 3213155232 3213151448 3085373166 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23569/statm: 604 278 235 161 0 43 0
[pid=23759] ppid=23569 vsize=319856 CPUtime=1176.17
/proc/23759/stat : 23759 (minisat_static) R 23569 23569 14060 0 -1 4202496 79191 0 0 0 117540 77 0 0 25 0 1 0 1019991679 327532544 79118 4294967295 134512640 135215339 3216801632 3216799920 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23759/statm: 79964 79118 73 172 0 79791 0
Current children cumulated CPU time (s) 1182.39
Current children cumulated vsize (KiB) 322272



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.02 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 27348
/proc/meminfo: memFree=247112/2074464 swapFree=1949056/1959888
[pid=23569] ppid=23567 vsize=2416 CPUtime=6.22
/proc/23569/stat : 23569 (SatELiteGTI) S 23567 23569 14060 0 -1 4194304 387 10231 0 0 1 0 614 7 18 0 1 0 1019991058 2473984 278 4294967295 134512640 135169312 3213155232 3213151448 3085373166 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23569/statm: 604 278 235 161 0 43 0
[pid=23759] ppid=23569 vsize=322300 CPUtime=1193.87
/proc/23759/stat : 23759 (minisat_static) R 23569 23569 14060 0 -1 4202496 79794 0 0 0 119309 78 0 0 25 0 1 0 1019991679 330035200 79721 4294967295 134512640 135215339 3216801632 3216799920 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23759/statm: 80575 79721 73 172 0 80402 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 324716

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 23569 and gives
#  childrusage.ru_utime.tv_sec=6
#  childrusage.ru_utime.tv_usec=150000
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=70000
# CPU time returned by wait4() is 6.22
# while last known CPU time is 1200.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1200.05
CPU time (s): 1200.09
CPU user time (s): 1199.24
CPU system time (s): 0.85
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 324716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.15
system time used= 0.07
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10618
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= 15
involuntary context switches= 347

runsolver used 0.01 second user time and 0.02 second system time

The end

Launcher Data 

Begin job on tipi27 at 2009-05-17 12:08:59
IDJOB=1821706
IDBENCH=71069
IDSOLVER=657
FILE ID=tipi27/1821706-1242554939
PBS_JOBID=
Free space on /tmp= 8700 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_17_UNKNOWN.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1821706-1242554939/watcher-1821706-1242554939 -o /tmp/evaluation-result-1821706-1242554939/solver-1821706-1242554939 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1821706-1242554939.cnf

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

MD5SUM BENCH= d554330e1400d4f25a793413df9abc4e
RANDOM SEED= 362477958

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:        576088 kB
Buffers:         54712 kB
Cached:        1312296 kB
SwapCached:       5456 kB
Active:         511204 kB
Inactive:       865660 kB
HighTotal:     1178688 kB
HighFree:       273720 kB
LowTotal:       895776 kB
LowFree:        302368 kB
SwapTotal:     1959888 kB
SwapFree:      1949056 kB
Dirty:            8352 kB
Writeback:           0 kB
AnonPages:        9100 kB
Mapped:           3128 kB
Slab:           111892 kB
PageTables:        460 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    90632 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 8690 MiB
End job on tipi27 at 2009-05-17 12:29:01