Trace number 1833921

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.04 1200.02

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.00/0.22	c ==============================================================================
0.00/0.22	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.22	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.22	c ==============================================================================
0.00/0.22	c |         0 |  395999  1182858 |  118799       0        0     nan |  0.000 % |
5.68/5.73	c |         0 |  394633  1728226 |      --       0       --      -- |     --   | -1366/545368
5.68/5.73	c ==============================================================================
5.68/5.73	c Result  :   #vars: 2337   #clauses: 394633   #literals: 1728226
5.68/5.73	c CPU time:   5.67414 s
5.68/5.73	c ==============================================================================
6.18/6.24	c This is MiniSat 2.0 beta
6.18/6.24	c WARNING: for repeatability, setting FPU to use double precision
6.18/6.24	c ============================[ Problem Statistics ]=============================
6.18/6.24	c |                                                                             |
6.18/6.24	c |  Number of variables:  2337                                                 |
6.18/6.24	c |  Number of clauses:    394633                                               |
6.23/6.45	c |  Parsing time:         0.18         s                                       |
6.23/6.46	c ============================[ Search Statistics ]==============================
6.23/6.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.23/6.46	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
6.23/6.46	c ===============================================================================
6.23/6.46	c |         0 |    2337   394633  1728226 |   131544        0    nan |  0.000 % |
6.57/6.62	c |       103 |    2337   394633  1728226 |   131544      103     94 |  0.000 % |
6.68/6.70	c |       203 |    2337   394633  1728226 |   131544      203     92 |  0.000 % |
6.68/6.78	c |       303 |    2337   394633  1728226 |   131544      303     95 |  0.000 % |
6.78/6.87	c |       413 |    2337   394633  1728226 |   131544      413     95 |  0.000 % |
6.88/6.98	c |       514 |    2337   394633  1728226 |   131544      514     99 |  0.000 % |
6.98/7.08	c |       628 |    2337   394633  1728226 |   131544      628    101 |  0.000 % |
7.08/7.17	c |       749 |    2337   394633  1728226 |   131544      749    100 |  0.000 % |
7.18/7.24	c |       850 |    2337   394633  1728226 |   131544      850    100 |  0.000 % |
7.28/7.33	c |       960 |    2337   394633  1728226 |   131544      960    102 |  0.000 % |
7.38/7.42	c |      1082 |    2337   394633  1728226 |   131544     1082    102 |  0.000 % |
7.48/7.50	c |      1216 |    2337   394633  1728226 |   131544     1216    104 |  0.000 % |
7.48/7.58	c |      1317 |    2337   394633  1728226 |   131544     1317    106 |  0.000 % |
7.58/7.66	c |      1428 |    2337   394633  1728226 |   131544     1428    105 |  0.000 % |
7.68/7.75	c |      1552 |    2337   394633  1728226 |   131544     1552    105 |  0.000 % |
7.78/7.86	c |      1688 |    2337   394633  1728226 |   131544     1688    107 |  0.000 % |
7.88/7.96	c |      1835 |    2337   394633  1728226 |   131544     1835    105 |  0.000 % |
7.98/8.03	c |      1935 |    2337   394633  1728226 |   131544     1935    105 |  0.000 % |
8.08/8.13	c |      2049 |    2337   394633  1728226 |   131544     2049    107 |  0.000 % |
8.18/8.25	c |      2172 |    2337   394633  1728226 |   131544     2172    108 |  0.000 % |
8.28/8.32	c |      2305 |    2337   394633  1728226 |   131544     2305    108 |  0.000 % |
8.38/8.43	c |      2451 |    2337   394633  1728226 |   131544     2451    107 |  0.000 % |
8.48/8.56	c |      2614 |    2337   394633  1728226 |   131544     2614    108 |  0.000 % |
8.58/8.64	c |      2714 |    2337   394633  1728226 |   131544     2714    107 |  0.000 % |
8.68/8.72	c |      2824 |    2337   394633  1728226 |   131544     2824    107 |  0.000 % |
8.78/8.81	c |      2947 |    2337   394633  1728226 |   131544     2947    107 |  0.000 % |
8.88/8.91	c |      3080 |    2337   394633  1728226 |   131544     3080    108 |  0.000 % |
8.97/9.03	c |      3228 |    2337   394633  1728226 |   131544     3228    108 |  0.000 % |
9.07/9.15	c |      3388 |    2337   394633  1728226 |   131544     3388    110 |  0.000 % |
9.17/9.27	c |      3564 |    2337   394633  1728226 |   131544     3564    111 |  0.000 % |
9.27/9.36	c |      3664 |    2337   394633  1728226 |   131544     3664    111 |  0.000 % |
9.37/9.44	c |      3774 |    2337   394633  1728226 |   131544     3774    111 |  0.000 % |
9.47/9.53	c |      3897 |    2337   394633  1728226 |   131544     3897    111 |  0.000 % |
9.57/9.65	c |      4030 |    2337   394633  1728226 |   131544     4030    111 |  0.000 % |
9.78/9.80	c |      4176 |    2337   394633  1728226 |   131544     4176    111 |  0.000 % |
9.88/9.97	c |      4337 |    2337   394633  1728226 |   131544     4337    111 |  0.000 % |
9.97/10.04	c |      4516 |    2337   394633  1728226 |   131544     4516    112 |  0.000 % |
10.17/10.22	c |      4709 |    2337   394633  1728226 |   131544     4709    112 |  0.000 % |
10.27/10.34	c |      4809 |    2337   394633  1728226 |   131544     4809    112 |  0.000 % |
10.37/10.45	c |      4919 |    2337   394633  1728226 |   131544     4919    111 |  0.000 % |
10.57/10.60	c |      5041 |    2337   394633  1728226 |   131544     5041    113 |  0.000 % |
10.57/10.66	c |      5174 |    2337   394633  1728226 |   131544     5174    113 |  0.000 % |
10.77/10.83	c |      5321 |    2337   394633  1728226 |   131544     5321    113 |  0.000 % |
10.88/10.97	c |      5481 |    2337   394633  1728226 |   131544     5481    114 |  0.000 % |
11.07/11.13	c |      5658 |    2337   394633  1728226 |   131544     5658    114 |  0.000 % |
11.17/11.28	c |      5853 |    2337   394633  1728226 |   131544     5853    115 |  0.000 % |
11.37/11.44	c |      6065 |    2337   394633  1728226 |   131544     6065    115 |  0.000 % |
11.48/11.54	c |      6166 |    2337   394633  1728226 |   131544     6166    115 |  0.000 % |
11.58/11.67	c |      6277 |    2337   394633  1728226 |   131544     6277    115 |  0.000 % |
11.68/11.78	c |      6399 |    2337   394633  1728226 |   131544     6399    115 |  0.000 % |
11.78/11.89	c |      6533 |    2337   394633  1728226 |   131544     6533    115 |  0.000 % |
11.98/12.03	c |      6681 |    2337   394633  1728226 |   131544     6681    115 |  0.000 % |
12.18/12.22	c |      6842 |    2337   394633  1728226 |   131544     6842    115 |  0.000 % |
12.28/12.39	c |      7018 |    2337   394633  1728226 |   131544     7018    114 |  0.000 % |
12.48/12.57	c |      7213 |    2337   394633  1728226 |   131544     7213    116 |  0.000 % |
12.58/12.65	c |      7426 |    2337   394633  1728226 |   131544     7426    115 |  0.000 % |
12.78/12.85	c |      7660 |    2337   394633  1728226 |   131544     7660    116 |  0.000 % |
12.78/12.90	c |      7760 |    2337   394633  1728226 |   131544     7760    116 |  0.000 % |
12.97/13.00	c |      7870 |    2337   394633  1728226 |   131544     7870    116 |  0.000 % |
13.08/13.12	c |      7991 |    2337   394633  1728226 |   131544     7991    116 |  0.000 % |
13.18/13.25	c |      8124 |    2337   394633  1728226 |   131544     8124    116 |  0.000 % |
13.27/13.39	c |      8270 |    2337   394633  1728226 |   131544     8270    116 |  0.000 % |
13.47/13.55	c |      8431 |    2337   394633  1728226 |   131544     8431    116 |  0.000 % |
13.67/13.70	c |      8610 |    2337   394633  1728226 |   131544     8610    116 |  0.000 % |
13.87/13.90	c |      8803 |    2337   394633  1728226 |   131544     8803    117 |  0.000 % |
14.07/14.11	c |      9018 |    2337   394633  1728226 |   131544     9018    116 |  0.000 % |
14.28/14.34	c |      9251 |    2337   394633  1728226 |   131544     9251    116 |  0.000 % |
14.47/14.59	c |      9509 |    2337   394633  1728226 |   131544     9509    116 |  0.000 % |
14.67/14.71	c |      9612 |    2337   394633  1728226 |   131544     9612    117 |  0.000 % |
14.77/14.82	c |      9722 |    2337   394633  1728226 |   131544     9722    117 |  0.000 % |
14.87/14.98	c |      9844 |    2337   394633  1728226 |   131544     9844    117 |  0.000 % |
15.07/15.14	c |      9977 |    2337   394633  1728226 |   131544     9977    117 |  0.000 % |
15.17/15.29	c |     10125 |    2337   394633  1728226 | 2147483647    10125    117 |  0.000 % |
15.37/15.45	c |     10285 |    2337   394633  1728226 | 2147483647    10285    117 |  0.000 % |
15.57/15.62	c |     10461 |    2337   394633  1728226 | 2147483647    10461    117 |  0.000 % |
15.77/15.84	c |     10654 |    2337   394633  1728226 | 2147483647    10654    117 |  0.000 % |
15.97/16.05	c |     10867 |    2337   394633  1728226 | 2147483647    10867    117 |  0.000 % |
16.17/16.30	c |     11101 |    2337   394633  1728226 | 2147483647    11101    118 |  0.000 % |
16.47/16.55	c |     11357 |    2337   394633  1728226 | 2147483647    11357    118 |  0.000 % |
16.77/16.89	c |     11638 |    2337   394633  1728226 | 2147483647    11638    117 |  0.000 % |
16.87/16.98	c |     11739 |    2337   394633  1728226 | 2147483647    11739    117 |  0.000 % |
16.97/17.09	c |     11849 |    2337   394633  1728226 | 2147483647    11849    117 |  0.000 % |
17.07/17.20	c |     11971 |    2337   394633  1728226 | 2147483647    11971    117 |  0.000 % |
17.27/17.31	c |     12104 |    2337   394633  1728226 | 2147483647    12104    117 |  0.000 % |
17.37/17.49	c |     12250 |    2337   394633  1728226 | 2147483647    12250    117 |  0.000 % |
17.57/17.68	c |     12411 |    2337   394633  1728226 | 2147483647    12411    117 |  0.000 % |
17.87/17.91	c |     12589 |    2337   394633  1728226 | 2147483647    12589    117 |  0.000 % |
17.97/18.06	c |     12784 |    2337   394633  1728226 | 2147483647    12784    117 |  0.000 % |
18.27/18.30	c |     12996 |    2337   394633  1728226 | 2147483647    12996    117 |  0.000 % |
18.47/18.53	c |     13229 |    2337   394633  1728226 | 2147483647    13229    117 |  0.000 % |
18.67/18.79	c |     13485 |    2337   394633  1728226 | 2147483647    13485    117 |  0.000 % |
19.07/19.14	c |     13766 |    2337   394633  1728226 | 2147483647    13766    117 |  0.000 % |
19.37/19.41	c |     14077 |    2337   394633  1728226 | 2147483647    14077    117 |  0.000 % |
19.47/19.53	c |     14178 |    2337   394633  1728226 | 2147483647    14178    117 |  0.000 % |
19.57/19.65	c |     14288 |    2337   394633  1728226 | 2147483647    14288    117 |  0.000 % |
19.67/19.79	c |     14412 |    2337   394633  1728226 | 2147483647    14412    117 |  0.000 % |
19.87/19.96	c |     14547 |    2337   394633  1728226 | 2147483647    14547    118 |  0.000 % |
19.97/20.08	c |     14693 |    2337   394633  1728226 | 2147483647    14693    118 |  0.000 % |
20.17/20.24	c |     14854 |    2337   394633  1728226 | 2147483647    14854    118 |  0.000 % |
20.27/20.38	c |     15031 |    2337   394633  1728226 | 2147483647    15031    118 |  0.000 % |
20.47/20.55	c |     15226 |    2337   394633  1728226 | 2147483647    15226    118 |  0.000 % |
20.67/20.71	c |     15438 |    2337   394633  1728226 | 2147483647    15438    118 |  0.000 % |
20.88/20.97	c |     15673 |    2337   394633  1728226 | 2147483647    15673    118 |  0.000 % |
21.07/21.19	c |     15929 |    2337   394633  1728226 | 2147483647    15929    119 |  0.000 % |
21.27/21.35	c |     16210 |    2337   394633  1728226 | 2147483647    16210    119 |  0.000 % |
21.57/21.64	c |     16521 |    2337   394633  1728226 | 2147483647    16521    119 |  0.000 % |
21.88/21.94	c |     16861 |    2337   394633  1728226 | 2147483647    16861    120 |  0.000 % |
21.98/22.06	c |     16963 |    2337   394633  1728226 | 2147483647    16963    120 |  0.000 % |
22.17/22.20	c |     17076 |    2337   394633  1728226 | 2147483647    17076    120 |  0.000 % |
22.27/22.32	c |     17198 |    2337   394633  1728226 | 2147483647    17198    120 |  0.000 % |
22.37/22.47	c |     17333 |    2337   394633  1728226 | 2147483647    17333    120 |  0.000 % |
22.57/22.62	c |     17480 |    2337   394633  1728226 | 2147483647    17480    120 |  0.000 % |
22.67/22.75	c |     17640 |    2337   394633  1728226 | 2147483647    17640    119 |  0.000 % |
22.87/22.91	c |     17817 |    2337   394633  1728226 | 2147483647    17817    119 |  0.000 % |
23.07/23.11	c |     18012 |    2337   394633  1728226 | 2147483647    18012    119 |  0.000 % |
23.17/23.30	c |     18226 |    2337   394633  1728226 | 2147483647    18226    120 |  0.000 % |
23.47/23.53	c |     18459 |    2337   394633  1728226 | 2147483647    18459    119 |  0.000 % |
23.67/23.77	c |     18715 |    2337   394633  1728226 | 2147483647    18715    119 |  0.000 % |
23.97/24.07	c |     18996 |    2337   394633  1728226 | 2147483647    18996    120 |  0.000 % |
24.27/24.32	c |     19305 |    2337   394633  1728226 | 2147483647    19305    120 |  0.000 % |
24.57/24.68	c |     19644 |    2337   394633  1728226 | 2147483647    19644    120 |  0.000 % |
24.97/25.05	c |     20017 |    2337   394633  1728226 | 2147483647    20017    120 |  0.000 % |
25.07/25.17	c |     20118 |    2337   394633  1728226 | 2147483647    20118    120 |  0.000 % |
25.17/25.27	c |     20228 |    2337   394633  1728226 | 2147483647    20228    120 |  0.000 % |
25.27/25.40	c |     20349 |    2337   394633  1728226 | 2147483647    20349    120 |  0.000 % |
25.47/25.53	c |     20486 |    2337   394633  1728226 | 2147483647    20486    120 |  0.000 % |
25.57/25.69	c |     20632 |    2337   394633  1728226 | 2147483647    20632    120 |  0.000 % |
25.77/25.86	c |     20793 |    2337   394633  1728226 | 2147483647    20793    120 |  0.000 % |
25.87/25.99	c |     20970 |    2337   394633  1728226 | 2147483647    20970    120 |  0.000 % |
26.17/26.24	c |     21165 |    2337   394633  1728226 | 2147483647    21165    120 |  0.000 % |
26.38/26.44	c |     21377 |    2337   394633  1728226 | 2147483647    21377    120 |  0.000 % |
26.57/26.65	c |     21610 |    2337   394633  1728226 | 2147483647    21610    120 |  0.000 % |
26.87/26.96	c |     21868 |    2337   394633  1728226 | 2147483647    21868    120 |  0.000 % |
27.17/27.20	c |     22150 |    2337   394633  1728226 | 2147483647    22150    120 |  0.000 % |
27.48/27.53	c |     22461 |    2337   394633  1728226 | 2147483647    22461    120 |  0.000 % |
27.57/27.68	c |     22800 |    2337   394633  1728226 | 2147483647    22800    120 |  0.000 % |
27.87/27.94	c |     23172 |    2337   394633  1728226 | 2147483647    23172    120 |  0.000 % |
28.27/28.34	c |     23582 |    2337   394633  1728226 | 2147483647    23582    121 |  0.000 % |
28.37/28.44	c |     23682 |    2337   394633  1728226 | 2147483647    23682    121 |  0.000 % |
28.48/28.55	c |     23793 |    2337   394633  1728226 | 2147483647    23793    121 |  0.000 % |
28.58/28.69	c |     23915 |    2337   394633  1728226 | 2147483647    23915    121 |  0.000 % |
28.77/28.82	c |     24048 |    2337   394633  1728226 | 2147483647    24048    121 |  0.000 % |
28.87/28.90	c |     24194 |    2337   394633  1728226 | 2147483647    24194    121 |  0.000 % |
28.97/29.07	c |     24356 |    2337   394633  1728226 | 2147483647    24356    121 |  0.000 % |
29.17/29.28	c |     24533 |    2337   394633  1728226 | 2147483647    24533    121 |  0.000 % |
29.37/29.46	c |     24726 |    2337   394633  1728226 | 2147483647    24726    121 |  0.000 % |
29.67/29.70	c |     24938 |    2337   394633  1728226 | 2147483647    24938    121 |  0.000 % |
29.87/29.92	c |     25171 |    2337   394633  1728226 | 2147483647    25171    121 |  0.000 % |
30.07/30.16	c |     25427 |    2337   394633  1728226 | 2147483647    25427    121 |  0.000 % |
30.37/30.41	c |     25709 |    2337   394633  1728226 | 2147483647    25709    121 |  0.000 % |
30.56/30.65	c |     26019 |    2337   394633  1728226 | 2147483647    26019    121 |  0.000 % |
30.86/30.93	c |     26358 |    2337   394633  1728226 | 2147483647    26358    122 |  0.000 % |
31.37/31.40	c |     26733 |    2337   394633  1728226 | 2147483647    26733    122 |  0.000 % |
31.67/31.79	c |     27142 |    2337   394633  1728226 | 2147483647    27142    122 |  0.000 % |
32.06/32.19	c |     27591 |    2337   394633  1728226 | 2147483647    27591    122 |  0.000 % |
32.16/32.28	c |     27691 |    2337   394633  1728226 | 2147483647    27691    122 |  0.000 % |
32.36/32.42	c |     27802 |    2337   394633  1728226 | 2147483647    27802    122 |  0.000 % |
32.46/32.59	c |     27925 |    2337   394633  1728226 | 2147483647    27925    122 |  0.000 % |
32.66/32.78	c |     28061 |    2337   394633  1728226 | 2147483647    28061    122 |  0.000 % |
32.86/32.95	c |     28207 |    2337   394633  1728226 | 2147483647    28207    122 |  0.000 % |
33.06/33.13	c |     28367 |    2337   394633  1728226 | 2147483647    28367    122 |  0.000 % |
33.16/33.29	c |     28546 |    2337   394633  1728226 | 2147483647    28546    122 |  0.000 % |
33.46/33.50	c |     28740 |    2337   394633  1728226 | 2147483647    28740    122 |  0.000 % |
33.56/33.69	c |     28953 |    2337   394633  1728226 | 2147483647    28953    122 |  0.000 % |
33.86/33.93	c |     29187 |    2337   394633  1728226 | 2147483647    29187    122 |  0.000 % |
34.16/34.23	c |     29443 |    2337   394633  1728226 | 2147483647    29443    122 |  0.000 % |
34.37/34.44	c |     29726 |    2337   394633  1728226 | 2147483647    29726    122 |  0.000 % |
34.76/34.82	c |     30035 |    2337   394633  1728226 | 2147483647    30035    123 |  0.000 % |
35.07/35.14	c |     30375 |    2337   394633  1728226 | 2147483647    30375    123 |  0.000 % |
35.46/35.57	c |     30747 |    2337   394633  1728226 | 2147483647    30747    123 |  0.000 % |
35.86/35.94	c |     31156 |    2337   394633  1728226 | 2147483647    31156    123 |  0.000 % |
36.06/36.14	c |     31606 |    2337   394633  1728226 | 2147483647    31606    123 |  0.000 % |
36.56/36.64	c |     32100 |    2337   394633  1728226 | 2147483647    32100    123 |  0.000 % |
36.66/36.74	c |     32200 |    2337   394633  1728226 | 2147483647    32200    123 |  0.000 % |
36.76/36.87	c |     32311 |    2337   394633  1728226 | 2147483647    32311    123 |  0.000 % |
36.86/36.92	c |     32433 |    2337   394633  1728226 | 2147483647    32433    123 |  0.000 % |
36.96/37.08	c |     32566 |    2337   394633  1728226 | 2147483647    32566    123 |  0.000 % |
37.16/37.26	c |     32713 |    2337   394633  1728226 | 2147483647    32713    123 |  0.000 % |
37.36/37.44	c |     32874 |    2337   394633  1728226 | 2147483647    32874    123 |  0.000 % |
37.46/37.59	c |     33050 |    2337   394633  1728226 | 2147483647    33050    123 |  0.000 % |
37.76/37.83	c |     33244 |    2337   394633  1728226 | 2147483647    33244    123 |  0.000 % |
37.96/38.03	c |     33458 |    2337   394633  1728226 | 2147483647    33458    123 |  0.000 % |
38.26/38.30	c |     33693 |    2337   394633  1728226 | 2147483647    33693    123 |  0.000 % |
38.46/38.58	c |     33951 |    2337   394633  1728226 | 2147483647    33951    123 |  0.000 % |
38.76/38.88	c |     34232 |    2337   394633  1728226 | 2147483647    34232    124 |  0.000 % |
39.06/39.17	c |     34541 |    2337   394633  1728226 | 2147483647    34541    124 |  0.000 % |
39.46/39.55	c |     34880 |    2337   394633  1728226 | 2147483647    34880    124 |  0.000 % |
39.85/39.92	c |     35253 |    2337   394633  1728226 | 2147483647    35253    124 |  0.000 % |
40.05/40.19	c |     35663 |    2337   394633  1728226 | 2147483647    35663    124 |  0.000 % |
40.66/40.70	c |     36112 |    2337   394633  1728226 | 2147483647    36112    125 |  0.000 % |
40.85/40.98	c |     36605 |    2337   394633  1728226 | 2147483647    36605    124 |  0.000 % |
41.45/41.50	c |     37147 |    2337   394633  1728226 | 2147483647    37147    124 |  0.000 % |
41.55/41.65	c |     37247 |    2337   394633  1728226 | 2147483647    37247    124 |  0.000 % |
41.66/41.78	c |     37359 |    2337   394633  1728226 | 2147483647    37359    124 |  0.000 % |
41.85/41.94	c |     37481 |    2337   394633  1728226 | 2147483647    37481    124 |  0.000 % |
42.05/42.14	c |     37614 |    2337   394633  1728226 | 2147483647    37614    124 |  0.000 % |
42.25/42.33	c |     37761 |    2337   394633  1728226 | 2147483647    37761    124 |  0.000 % |
42.45/42.51	c |     37922 |    2337   394633  1728226 | 2147483647    37922    124 |  0.000 % |
42.65/42.75	c |     38098 |    2337   394633  1728226 | 2147483647    38098    124 |  0.000 % |
42.86/42.92	c |     38293 |    2337   394633  1728226 | 2147483647    38293    125 |  0.000 % |
43.15/43.23	c |     38505 |    2337   394633  1728226 | 2147483647    38505    125 |  0.000 % |
43.35/43.46	c |     38738 |    2337   394633  1728226 | 2147483647    38738    125 |  0.000 % |
43.65/43.78	c |     38994 |    2337   394633  1728226 | 2147483647    38994    125 |  0.000 % |
44.05/44.13	c |     39277 |    2337   394633  1728226 | 2147483647    39277    125 |  0.000 % |
44.36/44.41	c |     39589 |    2337   394633  1728226 | 2147483647    39589    125 |  0.000 % |
44.66/44.77	c |     39928 |    2337   394633  1728226 | 2147483647    39928    125 |  0.000 % |
45.16/45.27	c |     40301 |    2337   394633  1728226 | 2147483647    40301    125 |  0.000 % |
45.56/45.68	c |     40710 |    2337   394633  1728226 | 2147483647    40710    125 |  0.000 % |
46.06/46.18	c |     41163 |    2337   394633  1728226 | 2147483647    41163    126 |  0.000 % |
46.66/46.73	c |     41657 |    2337   394633  1728226 | 2147483647    41657    126 |  0.000 % |
47.16/47.25	c |     42201 |    2337   394633  1728226 | 2147483647    42201    126 |  0.000 % |
47.86/47.91	c |     42799 |    2337   394633  1728226 | 2147483647    42799    127 |  0.000 % |
47.96/48.07	c |     42900 |    2337   394633  1728226 | 2147483647    42900    127 |  0.000 % |
48.16/48.21	c |     43011 |    2337   394633  1728226 | 2147483647    43011    127 |  0.000 % |
48.26/48.35	c |     43132 |    2337   394633  1728226 | 2147483647    43132    127 |  0.000 % |
48.36/48.49	c |     43267 |    2337   394633  1728226 | 2147483647    43267    126 |  0.000 % |
48.66/48.70	c |     43414 |    2337   394633  1728226 | 2147483647    43414    127 |  0.000 % |
48.76/48.85	c |     43578 |    2337   394633  1728226 | 2147483647    43578    127 |  0.000 % |
48.95/49.08	c |     43755 |    2337   394633  1728226 | 2147483647    43755    127 |  0.000 % |
49.15/49.29	c |     43949 |    2337   394633  1728226 | 2147483647    43949    127 |  0.000 % |
49.55/49.62	c |     44162 |    2337   394633  1728226 | 2147483647    44162    127 |  0.000 % |
49.75/49.84	c |     44395 |    2337   394633  1728226 | 2147483647    44395    127 |  0.000 % |
49.95/50.02	c |     44652 |    2337   394633  1728226 | 2147483647    44652    126 |  0.000 % |
50.25/50.35	c |     44933 |    2337   394633  1728226 | 2147483647    44933    127 |  0.000 % |
50.65/50.74	c |     45243 |    2337   394633  1728226 | 2147483647    45243    127 |  0.000 % |
51.05/51.18	c |     45585 |    2337   394633  1728226 | 2147483647    45585    127 |  0.000 % |
51.45/51.58	c |     45960 |    2337   394633  1728226 | 2147483647    45960    127 |  0.000 % |
51.85/51.99	c |     46370 |    2337   394633  1728226 | 2147483647    46370    127 |  0.000 % |
52.25/52.32	c |     46819 |    2337   394633  1728226 | 2147483647    46819    127 |  0.000 % |
52.65/52.80	c |     47312 |    2337   394633  1728226 | 2147483647    47312    128 |  0.000 % |
53.16/53.25	c |     47856 |    2337   394633  1728226 | 2147483647    47856    128 |  0.000 % |
53.76/53.90	c |     48452 |    2337   394633  1728226 | 2147483647    48452    129 |  0.000 % |
54.36/54.46	c |     49108 |    2337   394633  1728226 | 2147483647    49108    129 |  0.000 % |
54.46/54.54	c |     49209 |    2337   394633  1728226 | 2147483647    49209    129 |  0.000 % |
54.55/54.70	c |     49319 |    2337   394633  1728226 | 2147483647    49319    129 |  0.000 % |
54.65/54.78	c |     49440 |    2337   394633  1728226 | 2147483647    49440    129 |  0.000 % |
54.86/54.99	c |     49577 |    2337   394633  1728226 | 2147483647    49577    129 |  0.000 % |
55.25/55.32	c |     49727 |    2337   394633  1728226 | 2147483647    49727    129 |  0.000 % |
55.45/55.51	c |     49887 |    2337   394633  1728226 | 2147483647    49887    129 |  0.000 % |
55.65/55.79	c |     50063 |    2337   394633  1728226 | 2147483647    50063    129 |  0.000 % |
55.95/56.02	c |     50256 |    2337   394633  1728226 | 2147483647    50256    129 |  0.000 % |
56.25/56.30	c |     50470 |    2337   394633  1728226 | 2147483647    50470    129 |  0.000 % |
56.55/56.64	c |     50704 |    2337   394633  1728226 | 2147483647    50704    129 |  0.000 % |
56.85/56.92	c |     50960 |    2337   394633  1728226 | 2147483647    50960    129 |  0.000 % |
57.15/57.25	c |     51241 |    2337   394633  1728226 | 2147483647    51241    129 |  0.000 % |
57.55/57.66	c |     51551 |    2337   394633  1728226 | 2147483647    51551    129 |  0.000 % |
57.95/58.04	c |     51890 |    2337   394633  1728226 | 2147483647    51890    129 |  0.000 % |
58.56/58.65	c |     52263 |    2337   394633  1728226 | 2147483647    52263    130 |  0.000 % |
59.15/59.28	c |     52674 |    2337   394633  1728226 | 2147483647    52674    130 |  0.000 % |
59.85/59.98	c |     53124 |    2337   394633  1728226 | 2147483647    53124    130 |  0.000 % |
60.55/60.68	c |     53617 |    2337   394633  1728226 | 2147483647    53617    129 |  0.000 % |
61.25/61.36	c |     54159 |    2337   394633  1728226 | 2147483647    54159    130 |  0.000 % |
62.05/62.18	c |     54758 |    2337   394633  1728226 | 2147483647    54758    130 |  0.000 % |
63.05/63.18	c |     55415 |    2337   394633  1728226 | 2147483647    55415    130 |  0.000 % |
63.76/63.84	c |     56135 |    2337   394633  1728226 | 2147483647    56135    130 |  0.000 % |
63.95/64.01	c |     56236 |    2337   394633  1728226 | 2147483647    56236    130 |  0.000 % |
64.05/64.17	c |     56347 |    2337   394633  1728226 | 2147483647    56347    130 |  0.000 % |
64.25/64.36	c |     56468 |    2337   394633  1728226 | 2147483647    56468    130 |  0.000 % |
64.45/64.59	c |     56601 |    2337   394633  1728226 | 2147483647    56601    130 |  0.000 % |
64.75/64.84	c |     56749 |    2337   394633  1728226 | 2147483647    56749    130 |  0.000 % |
64.95/65.09	c |     56911 |    2337   394633  1728226 | 2147483647    56911    130 |  0.000 % |
65.25/65.33	c |     57088 |    2337   394633  1728226 | 2147483647    57088    130 |  0.000 % |
65.55/65.61	c |     57281 |    2337   394633  1728226 | 2147483647    57281    130 |  0.000 % |
65.75/65.85	c |     57493 |    2337   394633  1728226 | 2147483647    57493    131 |  0.000 % |
66.15/66.22	c |     57726 |    2337   394633  1728226 | 2147483647    57726    131 |  0.000 % |
66.45/66.56	c |     57983 |    2337   394633  1728226 | 2147483647    57983    131 |  0.000 % |
66.85/66.95	c |     58264 |    2337   394633  1728226 | 2147483647    58264    131 |  0.000 % |
67.05/67.14	c |     58575 |    2337   394633  1728226 | 2147483647    58575    131 |  0.000 % |
67.45/67.58	c |     58916 |    2337   394633  1728226 | 2147483647    58916    131 |  0.000 % |
67.86/67.95	c |     59289 |    2337   394633  1728226 | 2147483647    59289    131 |  0.000 % |
68.06/68.19	c |     59699 |    2337   394633  1728226 | 2147483647    59699    131 |  0.000 % |
68.76/68.81	c |     60148 |    2337   394633  1728226 | 2147483647    60148    131 |  0.000 % |
69.46/69.52	c |     60642 |    2337   394633  1728226 | 2147483647    60642    131 |  0.000 % |
70.05/70.10	c |     61184 |    2337   394633  1728226 | 2147483647    61184    131 |  0.000 % |
70.75/70.81	c |     61781 |    2337   394633  1728226 | 2147483647    61781    131 |  0.000 % |
71.36/71.49	c |     62437 |    2337   394633  1728226 | 2147483647    62437    131 |  0.000 % |
72.25/72.34	c |     63158 |    2337   394633  1728226 | 2147483647    63158    132 |  0.000 % |
73.25/73.34	c |     63950 |    2337   394633  1728226 | 2147483647    63950    131 |  0.000 % |
73.45/73.50	c |     64050 |    2337   394633  1728226 | 2147483647    64050    131 |  0.000 % |
73.55/73.65	c |     64160 |    2337   394633  1728226 | 2147483647    64160    131 |  0.000 % |
73.75/73.84	c |     64281 |    2337   394633  1728226 | 2147483647    64281    131 |  0.000 % |
73.95/74.04	c |     64414 |    2337   394633  1728226 | 2147483647    64414    131 |  0.000 % |
74.15/74.22	c |     64561 |    2337   394633  1728226 | 2147483647    64561    131 |  0.000 % |
74.45/74.51	c |     64721 |    2337   394633  1728226 | 2147483647    64721    131 |  0.000 % |
74.65/74.75	c |     64898 |    2337   394633  1728226 | 2147483647    64898    131 |  0.000 % |
74.95/75.01	c |     65092 |    2337   394633  1728226 | 2147483647    65092    131 |  0.000 % |
75.25/75.33	c |     65304 |    2337   394633  1728226 | 2147483647    65304    131 |  0.000 % |
75.55/75.67	c |     65538 |    2337   394633  1728226 | 2147483647    65538    131 |  0.000 % |
75.95/76.03	c |     65796 |    2337   394633  1728226 | 2147483647    65796    131 |  0.000 % |
76.25/76.36	c |     66080 |    2337   394633  1728226 | 2147483647    66080    131 |  0.000 % |
76.65/76.77	c |     66390 |    2337   394633  1728226 | 2147483647    66390    131 |  0.000 % |
77.15/77.25	c |     66730 |    2337   394633  1728226 | 2147483647    66730    132 |  0.000 % |
77.65/77.77	c |     67103 |    2337   394633  1728226 | 2147483647    67103    132 |  0.000 % |
78.05/78.18	c |     67512 |    2337   394633  1728226 | 2147483647    67512    131 |  0.000 % |
78.74/78.83	c |     67961 |    2337   394633  1728226 | 2147483647    67961    132 |  0.000 % |
79.16/79.29	c |     68455 |    2337   394633  1728226 | 2147483647    68455    132 |  0.000 % |
79.95/80.08	c |     68997 |    2337   394633  1728226 | 2147483647    68997    131 |  0.000 % |
80.85/80.94	c |     69596 |    2337   394633  1728226 | 2147483647    69596    132 |  0.000 % |
81.45/81.55	c |     70253 |    2337   394633  1728226 | 2147483647    70253    132 |  0.000 % |
82.45/82.54	c |     70973 |    2337   394633  1728226 | 2147483647    70973    132 |  0.000 % |
83.45/83.55	c |     71765 |    2337   394633  1728226 | 2147483647    71765    132 |  0.000 % |
84.65/84.78	c |     72636 |    2337   394633  1728226 | 2147483647    72636    132 |  0.000 % |
84.85/84.95	c |     72736 |    2337   394633  1728226 | 2147483647    72736    132 |  0.000 % |
84.95/85.09	c |     72846 |    2337   394633  1728226 | 2147483647    72846    132 |  0.000 % |
85.14/85.29	c |     72970 |    2337   394633  1728226 | 2147483647    72970    132 |  0.000 % |
85.44/85.53	c |     73104 |    2337   394633  1728226 | 2147483647    73104    132 |  0.000 % |
85.75/85.81	c |     73252 |    2337   394633  1728226 | 2147483647    73252    132 |  0.000 % |
85.84/85.96	c |     73413 |    2337   394633  1728226 | 2147483647    73413    132 |  0.000 % |
86.05/86.13	c |     73590 |    2337   394633  1728226 | 2147483647    73590    132 |  0.000 % |
86.45/86.51	c |     73783 |    2337   394633  1728226 | 2147483647    73783    132 |  0.000 % |
86.65/86.72	c |     73996 |    2337   394633  1728226 | 2147483647    73996    132 |  0.000 % |
87.05/87.12	c |     74230 |    2337   394633  1728226 | 2147483647    74230    132 |  0.000 % |
87.25/87.32	c |     74488 |    2337   394633  1728226 | 2147483647    74488    132 |  0.000 % |
87.55/87.68	c |     74770 |    2337   394633  1728226 | 2147483647    74770    132 |  0.000 % |
87.85/87.98	c |     75079 |    2337   394633  1728226 | 2147483647    75079    132 |  0.000 % |
88.35/88.42	c |     75419 |    2337   394633  1728226 | 2147483647    75419    132 |  0.000 % |
88.85/88.94	c |     75791 |    2337   394633  1728226 | 2147483647    75791    132 |  0.000 % |
89.45/89.53	c |     76200 |    2337   394633  1728226 | 2147483647    76200    133 |  0.000 % |
90.05/90.11	c |     76651 |    2337   394633  1728226 | 2147483647    76651    133 |  0.000 % |
90.55/90.67	c |     77145 |    2337   394633  1728226 | 2147483647    77145    133 |  0.000 % |
91.04/91.17	c |     77690 |    2337   394633  1728226 | 2147483647    77690    133 |  0.000 % |
92.14/92.20	c |     78289 |    2337   394633  1728226 | 2147483647    78289    133 |  0.000 % |
92.84/92.97	c |     78945 |    2337   394633  1728226 | 2147483647    78945    133 |  0.000 % |
93.85/93.92	c |     79667 |    2337   394633  1728226 | 2147483647    79667    134 |  0.000 % |
94.75/94.85	c |     80459 |    2337   394633  1728226 | 2147483647    80459    134 |  0.000 % |
96.25/96.33	c |     81331 |    2337   394633  1728226 | 2147483647    81331    134 |  0.000 % |
97.45/97.53	c |     82289 |    2337   394633  1728226 | 2147483647    82289    134 |  0.000 % |
97.55/97.65	c |     82391 |    2337   394633  1728226 | 2147483647    82391    134 |  0.000 % |
97.75/97.83	c |     82503 |    2337   394633  1728226 | 2147483647    82503    134 |  0.000 % |
97.95/98.02	c |     82624 |    2337   394633  1728226 | 2147483647    82624    134 |  0.000 % |
98.15/98.27	c |     82758 |    2337   394633  1728226 | 2147483647    82758    134 |  0.000 % |
98.45/98.55	c |     82904 |    2337   394633  1728226 | 2147483647    82904    134 |  0.000 % |
98.74/98.84	c |     83065 |    2337   394633  1728226 | 2147483647    83065    134 |  0.000 % |
98.95/99.08	c |     83243 |    2337   394633  1728226 | 2147483647    83243    134 |  0.000 % |
99.24/99.39	c |     83438 |    2337   394633  1728226 | 2147483647    83438    134 |  0.000 % |
99.74/99.80	c |     83650 |    2337   394633  1728226 | 2147483647    83650    134 |  0.000 % |
100.14/100.20	c |     83883 |    2337   394633  1728226 | 2147483647    83883    134 |  0.000 % |
100.55/100.60	c |     84141 |    2337   394633  1728226 | 2147483647    84141    134 |  0.000 % |
100.75/100.89	c |     84422 |    2337   394633  1728226 | 2147483647    84422    134 |  0.000 % |
101.25/101.37	c |     84731 |    2337   394633  1728226 | 2147483647    84731    134 |  0.000 % |
101.65/101.79	c |     85070 |    2337   394633  1728226 | 2147483647    85070    134 |  0.000 % |
102.15/102.21	c |     85443 |    2337   394633  1728226 | 2147483647    85443    134 |  0.000 % |
102.65/102.72	c |     85853 |    2337   394633  1728226 | 2147483647    85853    134 |  0.000 % |
103.15/103.25	c |     86302 |    2337   394633  1728226 | 2147483647    86302    134 |  0.000 % |
103.75/103.87	c |     86795 |    2337   394633  1728226 | 2147483647    86795    134 |  0.000 % |
104.45/104.50	c |     87340 |    2337   394633  1728226 | 2147483647    87340    134 |  0.000 % |
105.14/105.24	c |     87936 |    2337   394633  1728226 | 2147483647    87936    134 |  0.000 % |
105.94/106.00	c |     88591 |    2337   394633  1728226 | 2147483647    88591    134 |  0.000 % |
106.74/106.88	c |     89314 |    2337   394633  1728226 | 2147483647    89314    134 |  0.000 % |
107.75/107.82	c |     90106 |    2337   394633  1728226 | 2147483647    90106    134 |  0.000 % |
108.85/108.99	c |     90984 |    2337   394633  1728226 | 2147483647    90984    134 |  0.000 % |
109.95/110.09	c |     91943 |    2337   394633  1728226 | 2147483647    91943    134 |  0.000 % |
110.95/111.05	c |     92996 |    2337   394633  1728226 | 2147483647    92996    134 |  0.000 % |
111.05/111.13	c |     93097 |    2337   394633  1728226 | 2147483647    93097    134 |  0.000 % |
111.24/111.37	c |     93207 |    2337   394633  1728226 | 2147483647    93207    134 |  0.000 % |
111.44/111.52	c |     93328 |    2337   394633  1728226 | 2147483647    93328    134 |  0.000 % |
111.55/111.63	c |     93461 |    2337   394633  1728226 | 2147483647    93461    134 |  0.000 % |
111.75/111.85	c |     93607 |    2337   394633  1728226 | 2147483647    93607    134 |  0.000 % |
112.05/112.12	c |     93768 |    2337   394633  1728226 | 2147483647    93768    134 |  0.000 % |
112.35/112.49	c |     93945 |    2337   394633  1728226 | 2147483647    93945    134 |  0.000 % |
112.65/112.70	c |     94138 |    2337   394633  1728226 | 2147483647    94138    134 |  0.000 % |
112.85/112.95	c |     94350 |    2337   394633  1728226 | 2147483647    94350    134 |  0.000 % |
113.25/113.30	c |     94584 |    2337   394633  1728226 | 2147483647    94584    134 |  0.000 % |
113.65/113.71	c |     94840 |    2337   394633  1728226 | 2147483647    94840    134 |  0.000 % |
114.15/114.21	c |     95125 |    2337   394633  1728226 | 2147483647    95125    134 |  0.000 % |
114.55/114.61	c |     95434 |    2337   394633  1728226 | 2147483647    95434    134 |  0.000 % |
115.05/115.19	c |     95774 |    2337   394633  1728226 | 2147483647    95774    134 |  0.000 % |
115.45/115.54	c |     96146 |    2337   394633  1728226 | 2147483647    96146    134 |  0.000 % |
116.04/116.14	c |     96557 |    2337   394633  1728226 | 2147483647    96557    134 |  0.000 % |
116.55/116.63	c |     97007 |    2337   394633  1728226 | 2147483647    97007    134 |  0.000 % |
117.55/117.63	c |     97500 |    2337   394633  1728226 | 2147483647    97500    134 |  0.000 % |
118.04/118.15	c |     98042 |    2337   394633  1728226 | 2147483647    98042    134 |  0.000 % |
118.75/118.83	c |     98638 |    2337   394633  1728226 | 2147483647    98638    134 |  0.000 % |
119.44/119.58	c |     99293 |    2337   394633  1728226 | 2147483647    99293    134 |  0.000 % |
120.04/120.15	c |    100014 |    2337   394633  1728226 | 2147483647   100014    134 |  0.000 % |
120.95/121.07	c |    100810 |    2337   394633  1728226 | 2147483647   100810    134 |  0.000 % |
122.34/122.44	c |    101681 |    2337   394633  1728226 | 2147483647   101681    135 |  0.000 % |
123.84/123.94	c |    102640 |    2337   394633  1728226 | 2147483647   102640    135 |  0.000 % |
124.95/125.08	c |    103693 |    2337   394633  1728226 | 2147483647   103693    135 |  0.000 % |
126.55/126.62	c |    104852 |    2337   394633  1728226 | 2147483647   104852    135 |  0.000 % |
126.75/126.86	c |    104953 |    2337   394633  1728226 | 2147483647   104953    135 |  0.000 % |
126.95/127.05	c |    105064 |    2337   394633  1728226 | 2147483647   105064    135 |  0.000 % |
127.25/127.33	c |    105185 |    2337   394633  1728226 | 2147483647   105185    135 |  0.000 % |
127.45/127.59	c |    105318 |    2337   394633  1728226 | 2147483647   105318    135 |  0.000 % |
127.65/127.73	c |    105467 |    2337   394633  1728226 | 2147483647   105467    135 |  0.000 % |
128.05/128.10	c |    105628 |    2337   394633  1728226 | 2147483647   105628    135 |  0.000 % |
128.25/128.37	c |    105805 |    2337   394633  1728226 | 2147483647   105805    135 |  0.000 % |
128.65/128.79	c |    105999 |    2337   394633  1728226 | 2147483647   105999    135 |  0.000 % |
129.15/129.24	c |    106211 |    2337   394633  1728226 | 2147483647   106211    135 |  0.000 % |
129.65/129.71	c |    106444 |    2337   394633  1728226 | 2147483647   106444    135 |  0.000 % |
129.94/130.07	c |    106701 |    2337   394633  1728226 | 2147483647   106701    135 |  0.000 % |
130.45/130.50	c |    106982 |    2337   394633  1728226 | 2147483647   106982    135 |  0.000 % |
130.85/130.96	c |    107293 |    2337   394633  1728226 | 2147483647   107293    135 |  0.000 % |
131.44/131.51	c |    107634 |    2337   394633  1728226 | 2147483647   107634    135 |  0.000 % |
131.84/131.98	c |    108006 |    2337   394633  1728226 | 2147483647   108006    135 |  0.001 % |
132.54/132.66	c |    108415 |    2337   394633  1728226 | 2147483647   108415    135 |  0.000 % |
133.24/133.38	c |    108866 |    2337   394633  1728226 | 2147483647   108866    135 |  0.000 % |
134.15/134.22	c |    109359 |    2337   394633  1728226 | 2147483647   109359    135 |  0.000 % |
134.95/135.06	c |    109901 |    2337   394633  1728226 | 2147483647   109901    135 |  0.000 % |
135.65/135.76	c |    110501 |    2337   394633  1728226 | 2147483647   110501    135 |  0.000 % |
136.85/136.94	c |    111156 |    2337   394633  1728226 | 2147483647   111156    136 |  0.000 % |
137.95/138.00	c |    111879 |    2337   394633  1728226 | 2147483647   111879    136 |  0.000 % |
139.25/139.39	c |    112671 |    2337   394633  1728226 | 2147483647   112671    136 |  0.000 % |
140.54/140.67	c |    113543 |    2337   394633  1728226 | 2147483647   113543    136 |  0.000 % |
142.24/142.34	c |    114501 |    2337   394633  1728226 | 2147483647   114501    136 |  0.000 % |
143.84/143.96	c |    115554 |    2337   394633  1728226 | 2147483647   115554    136 |  0.000 % |
145.64/145.71	c |    116715 |    2337   394633  1728226 | 2147483647   116715    136 |  0.000 % |
147.54/147.63	c |    117991 |    2337   394633  1728226 | 2147483647   117991    136 |  0.000 % |
147.75/147.82	c |    118093 |    2337   394633  1728226 | 2147483647   118093    136 |  0.000 % |
148.05/148.11	c |    118203 |    2337   394633  1728226 | 2147483647   118203    136 |  0.000 % |
148.15/148.28	c |    118327 |    2337   394633  1728226 | 2147483647   118327    136 |  0.000 % |
148.45/148.56	c |    118460 |    2337   394633  1728226 | 2147483647   118460    136 |  0.000 % |
148.65/148.78	c |    118606 |    2337   394633  1728226 | 2147483647   118606    136 |  0.000 % |
148.95/149.02	c |    118766 |    2337   394633  1728226 | 2147483647   118766    136 |  0.000 % |
149.25/149.32	c |    118942 |    2337   394633  1728226 | 2147483647   118942    136 |  0.000 % |
149.65/149.72	c |    119138 |    2337   394633  1728226 | 2147483647   119138    136 |  0.000 % |
150.05/150.16	c |    119352 |    2337   394633  1728226 | 2147483647   119352    136 |  0.000 % |
150.45/150.60	c |    119586 |    2337   394633  1728226 | 2147483647   119586    136 |  0.000 % |
151.15/151.23	c |    119843 |    2337   394633  1728226 | 2147483647   119843    136 |  0.000 % |
151.54/151.69	c |    120124 |    2337   394633  1728226 | 2147483647   120124    136 |  0.000 % |
152.14/152.29	c |    120433 |    2337   394633  1728226 | 2147483647   120433    136 |  0.000 % |
152.74/152.80	c |    120772 |    2337   394633  1728226 | 2147483647   120772    136 |  0.000 % |
153.34/153.43	c |    121144 |    2337   394633  1728226 | 2147483647   121144    136 |  0.000 % |
154.04/154.20	c |    121553 |    2337   394633  1728226 | 2147483647   121553    137 |  0.000 % |
154.94/155.03	c |    122004 |    2337   394633  1728226 | 2147483647   122004    137 |  0.000 % |
155.74/155.89	c |    122498 |    2337   394633  1728226 | 2147483647   122498    137 |  0.000 % |
156.64/156.79	c |    123040 |    2337   394633  1728226 | 2147483647   123040    137 |  0.000 % |
157.75/157.87	c |    123636 |    2337   394633  1728226 | 2147483647   123636    137 |  0.000 % |
159.15/159.28	c |    124291 |    2337   394633  1728226 | 2147483647   124291    137 |  0.000 % |
160.24/160.37	c |    125013 |    2337   394633  1728226 | 2147483647   125013    137 |  0.000 % |
161.34/161.41	c |    125805 |    2337   394633  1728226 | 2147483647   125805    137 |  0.000 % |
162.64/162.79	c |    126677 |    2337   394633  1728226 | 2147483647   126677    138 |  0.000 % |
164.35/164.42	c |    127637 |    2337   394633  1728226 | 2147483647   127637    138 |  0.000 % |
165.85/165.96	c |    128692 |    2337   394633  1728226 | 2147483647   128692    138 |  0.000 % |
166.94/167.10	c |    129851 |    2337   394633  1728226 | 2147483647   129851    138 |  0.000 % |
168.14/168.24	c |    131128 |    2337   394633  1728226 | 2147483647   131128    138 |  0.000 % |
170.05/170.17	c |    132529 |    2337   394633  1728226 | 2147483647   132529    138 |  0.000 % |
170.35/170.45	c |    132629 |    2337   394633  1728226 | 2147483647   132629    138 |  0.000 % |
170.55/170.61	c |    132742 |    2337   394633  1728226 | 2147483647   132742    138 |  0.000 % |
170.75/170.88	c |    132864 |    2337   394633  1728226 | 2147483647   132864    138 |  0.000 % |
171.05/171.17	c |    132999 |    2337   394633  1728226 | 2147483647   132999    138 |  0.000 % |
171.35/171.46	c |    133145 |    2337   394633  1728226 | 2147483647   133145    138 |  0.000 % |
171.65/171.77	c |    133307 |    2337   394633  1728226 | 2147483647   133307    138 |  0.000 % |
172.05/172.10	c |    133483 |    2337   394633  1728226 | 2147483647   133483    138 |  0.000 % |
172.35/172.44	c |    133676 |    2337   394633  1728226 | 2147483647   133676    138 |  0.000 % |
172.75/172.86	c |    133889 |    2337   394633  1728226 | 2147483647   133889    138 |  0.000 % |
173.15/173.21	c |    134122 |    2337   394633  1728226 | 2147483647   134122    138 |  0.000 % |
173.45/173.60	c |    134379 |    2337   394633  1728226 | 2147483647   134379    138 |  0.000 % |
173.95/174.05	c |    134660 |    2337   394633  1728226 | 2147483647   134660    138 |  0.000 % |
174.44/174.55	c |    134969 |    2337   394633  1728226 | 2147483647   134969    138 |  0.000 % |
175.04/175.16	c |    135308 |    2337   394633  1728226 | 2147483647   135308    138 |  0.000 % |
175.54/175.69	c |    135683 |    2337   394633  1728226 | 2147483647   135683    138 |  0.000 % |
176.14/176.24	c |    136092 |    2337   394633  1728226 | 2147483647   136092    138 |  0.000 % |
176.64/176.71	c |    136542 |    2337   394633  1728226 | 2147483647   136542    138 |  0.000 % |
177.44/177.59	c |    137036 |    2337   394633  1728226 | 2147483647   137036    138 |  0.000 % |
178.54/178.62	c |    137581 |    2337   394633  1728226 | 2147483647   137581    138 |  0.000 % |
179.74/179.81	c |    138178 |    2337   394633  1728226 | 2147483647   138178    138 |  0.000 % |
180.64/180.78	c |    138835 |    2337   394633  1728226 | 2147483647   138835    138 |  0.000 % |
181.94/182.02	c |    139555 |    2337   394633  1728226 | 2147483647   139555    138 |  0.000 % |
183.25/183.34	c |    140347 |    2337   394633  1728226 | 2147483647   140347    138 |  0.000 % |
184.65/184.74	c |    141219 |    2337   394633  1728226 | 2147483647   141219    138 |  0.000 % |
185.85/185.98	c |    142177 |    2337   394633  1728226 | 2147483647   142177    139 |  0.000 % |
187.34/187.42	c |    143230 |    2337   394633  1728226 | 2147483647   143230    139 |  0.000 % |
189.24/189.39	c |    144388 |    2337   394633  1728226 | 2147483647   144388    139 |  0.000 % |
191.35/191.44	c |    145661 |    2337   394633  1728226 | 2147483647   145661    139 |  0.000 % |
193.65/193.74	c |    147062 |    2337   394633  1728226 | 2147483647   147062    139 |  0.000 % |
196.15/196.28	c |    148602 |    2337   394633  1728226 | 2147483647   148602    140 |  0.000 % |
196.45/196.54	c |    148702 |    2337   394633  1728226 | 2147483647   148702    140 |  0.000 % |
196.65/196.76	c |    148812 |    2337   394633  1728226 | 2147483647   148812    140 |  0.000 % |
196.94/197.00	c |    148933 |    2337   394633  1728226 | 2147483647   148933    140 |  0.000 % |
197.14/197.28	c |    149068 |    2337   394633  1728226 | 2147483647   149068    140 |  0.000 % |
197.54/197.67	c |    149214 |    2337   394633  1728226 | 2147483647   149214    140 |  0.000 % |
197.95/198.08	c |    149375 |    2337   394633  1728226 | 2147483647   149375    140 |  0.000 % |
198.34/198.46	c |    149551 |    2337   394633  1728226 | 2147483647   149551    140 |  0.000 % |
198.84/198.98	c |    149744 |    2337   394633  1728226 | 2147483647   149744    140 |  0.000 % |
199.34/199.48	c |    149956 |    2337   394633  1728226 | 2147483647   149956    140 |  0.000 % |
199.84/199.90	c |    150189 |    2337   394633  1728226 | 2147483647   150189    140 |  0.000 % |
200.34/200.43	c |    150446 |    2337   394633  1728226 | 2147483647   150446    140 |  0.000 % |
200.94/201.03	c |    150727 |    2337   394633  1728226 | 2147483647   150727    140 |  0.000 % |
201.64/201.75	c |    151036 |    2337   394633  1728226 | 2147483647   151036    140 |  0.000 % |
202.25/202.34	c |    151377 |    2337   394633  1728226 | 2147483647   151377    140 |  0.000 % |
202.94/203.02	c |    151749 |    2337   394633  1728226 | 2147483647   151749    140 |  0.000 % |
203.64/203.79	c |    152158 |    2337   394633  1728226 | 2147483647   152158    140 |  0.000 % |
204.54/204.64	c |    152607 |    2337   394633  1728226 | 2147483647   152607    140 |  0.000 % |
205.34/205.45	c |    153100 |    2337   394633  1728226 | 2147483647   153100    140 |  0.000 % |
205.95/206.04	c |    153642 |    2337   394633  1728226 | 2147483647   153642    140 |  0.000 % |
206.85/206.92	c |    154240 |    2337   394633  1728226 | 2147483647   154240    140 |  0.000 % |
207.85/207.99	c |    154895 |    2337   394633  1728226 | 2147483647   154895    140 |  0.000 % |
209.14/209.23	c |    155616 |    2337   394633  1728226 | 2147483647   155616    140 |  0.000 % |
210.44/210.57	c |    156409 |    2337   394633  1728226 | 2147483647   156409    140 |  0.000 % |
211.75/211.88	c |    157280 |    2337   394633  1728226 | 2147483647   157280    140 |  0.000 % |
213.35/213.41	c |    158238 |    2337   394633  1728226 | 2147483647   158238    140 |  0.000 % |
214.54/214.67	c |    159292 |    2337   394633  1728226 | 2147483647   159292    140 |  0.000 % |
216.55/216.61	c |    160452 |    2337   394633  1728226 | 2147483647   160452    140 |  0.000 % |
218.55/218.69	c |    161727 |    2337   394633  1728226 | 2147483647   161727    140 |  0.000 % |
220.65/220.72	c |    163127 |    2337   394633  1728226 | 2147483647   163127    141 |  0.000 % |
222.84/222.96	c |    164667 |    2337   394633  1728226 | 2147483647   164667    141 |  0.000 % |
225.64/225.76	c |    166363 |    2337   394633  1728226 | 2147483647   166363    141 |  0.000 % |
225.94/226.03	c |    166465 |    2337   394633  1728226 | 2147483647   166465    141 |  0.000 % |
226.14/226.28	c |    166575 |    2337   394633  1728226 | 2147483647   166575    141 |  0.000 % |
226.45/226.58	c |    166696 |    2337   394633  1728226 | 2147483647   166696    141 |  0.000 % |
226.85/226.94	c |    166829 |    2337   394633  1728226 | 2147483647   166829    141 |  0.000 % |
227.05/227.18	c |    166976 |    2337   394633  1728226 | 2147483647   166976    141 |  0.000 % |
227.55/227.61	c |    167136 |    2337   394633  1728226 | 2147483647   167136    141 |  0.000 % |
227.85/227.98	c |    167313 |    2337   394633  1728226 | 2147483647   167313    141 |  0.000 % |
228.35/228.41	c |    167509 |    2337   394633  1728226 | 2147483647   167509    141 |  0.000 % |
228.75/228.85	c |    167722 |    2337   394633  1728226 | 2147483647   167722    141 |  0.000 % |
229.15/229.26	c |    167955 |    2337   394633  1728226 | 2147483647   167955    141 |  0.000 % |
229.75/229.81	c |    168211 |    2337   394633  1728226 | 2147483647   168211    141 |  0.000 % |
230.15/230.30	c |    168492 |    2337   394633  1728226 | 2147483647   168492    141 |  0.000 % |
230.85/230.94	c |    168802 |    2337   394633  1728226 | 2147483647   168802    141 |  0.000 % |
231.65/231.78	c |    169141 |    2337   394633  1728226 | 2147483647   169141    141 |  0.000 % |
232.35/232.42	c |    169514 |    2337   394633  1728226 | 2147483647   169514    141 |  0.000 % |
233.05/233.14	c |    169924 |    2337   394633  1728226 | 2147483647   169924    141 |  0.000 % |
233.85/233.91	c |    170373 |    2337   394633  1728226 | 2147483647   170373    141 |  0.000 % |
234.55/234.63	c |    170868 |    2337   394633  1728226 | 2147483647   170868    141 |  0.000 % |
235.44/235.50	c |    171411 |    2337   394633  1728226 | 2147483647   171411    141 |  0.000 % |
236.45/236.59	c |    172010 |    2337   394633  1728226 | 2147483647   172010    141 |  0.000 % |
237.94/238.00	c |    172668 |    2337   394633  1728226 | 2147483647   172668    141 |  0.000 % |
240.44/240.50	c |    173389 |    2337   394633  1728226 | 2147483647   173389    141 |  0.000 % |
241.74/241.81	c |    174182 |    2337   394633  1728226 | 2147483647   174182    141 |  0.000 % |
243.45/243.59	c |    175053 |    2337   394633  1728226 | 2147483647   175053    141 |  0.000 % |
245.65/245.71	c |    176012 |    2337   394633  1728226 | 2147483647   176012    142 |  0.000 % |
248.35/248.44	c |    177068 |    2337   394633  1728226 | 2147483647   177068    142 |  0.000 % |
251.15/251.22	c |    178226 |    2337   394633  1728226 | 2147483647   178226    142 |  0.000 % |
254.55/254.63	c |    179499 |    2337   394633  1728226 | 2147483647   179499    142 |  0.000 % |
258.05/258.14	c |    180899 |    2337   394633  1728226 | 2147483647   180899    142 |  0.000 % |
261.25/261.39	c |    182439 |    2337   394633  1728226 | 2147483647   182439    142 |  0.000 % |
263.95/264.08	c |    184134 |    2337   394633  1728226 | 2147483647   184134    142 |  0.000 % |
267.65/267.73	c |    185998 |    2337   394633  1728226 | 2147483647   185998    143 |  0.000 % |
267.95/268.02	c |    186098 |    2337   394633  1728226 | 2147483647   186098    143 |  0.000 % |
268.15/268.27	c |    186209 |    2337   394633  1728226 | 2147483647   186209    143 |  0.000 % |
268.45/268.55	c |    186331 |    2337   394633  1728226 | 2147483647   186331    143 |  0.000 % |
268.75/268.80	c |    186466 |    2337   394633  1728226 | 2147483647   186466    143 |  0.000 % |
269.15/269.29	c |    186613 |    2337   394633  1728226 | 2147483647   186613    143 |  0.000 % |
269.84/269.91	c |    186773 |    2337   394633  1728226 | 2147483647   186773    143 |  0.000 % |
270.14/270.29	c |    186950 |    2337   394633  1728226 | 2147483647   186950    143 |  0.000 % |
270.64/270.73	c |    187145 |    2337   394633  1728226 | 2147483647   187145    143 |  0.000 % |
271.05/271.17	c |    187359 |    2337   394633  1728226 | 2147483647   187359    143 |  0.000 % |
271.55/271.62	c |    187594 |    2337   394633  1728226 | 2147483647   187594    143 |  0.000 % |
272.05/272.16	c |    187851 |    2337   394633  1728226 | 2147483647   187851    143 |  0.000 % |
272.75/272.83	c |    188132 |    2337   394633  1728226 | 2147483647   188132    143 |  0.000 % |
273.35/273.42	c |    188442 |    2337   394633  1728226 | 2147483647   188442    143 |  0.000 % |
274.25/274.30	c |    188781 |    2337   394633  1728226 | 2147483647   188781    143 |  0.000 % |
275.15/275.24	c |    189153 |    2337   394633  1728226 | 2147483647   189153    143 |  0.000 % |
275.75/275.84	c |    189564 |    2337   394633  1728226 | 2147483647   189564    143 |  0.000 % |
276.75/276.88	c |    190013 |    2337   394633  1728226 | 2147483647   190013    143 |  0.000 % |
278.05/278.19	c |    190508 |    2337   394633  1728226 | 2147483647   190508    142 |  0.000 % |
279.25/279.33	c |    191050 |    2337   394633  1728226 | 2147483647   191050    142 |  0.000 % |
280.14/280.27	c |    191646 |    2337   394633  1728226 | 2147483647   191646    143 |  0.000 % |
281.24/281.32	c |    192303 |    2337   394633  1728226 | 2147483647   192303    143 |  0.000 % |
282.65/282.71	c |    193024 |    2337   394633  1728226 | 2147483647   193024    143 |  0.000 % |
283.85/283.91	c |    193816 |    2337   394633  1728226 | 2147483647   193816    143 |  0.000 % |
285.75/285.84	c |    194687 |    2337   394633  1728226 | 2147483647   194687    143 |  0.000 % |
287.15/287.23	c |    195645 |    2337   394633  1728226 | 2147483647   195645    143 |  0.000 % |
288.35/288.49	c |    196698 |    2337   394633  1728226 | 2147483647   196698    143 |  0.000 % |
289.95/290.06	c |    197857 |    2337   394633  1728226 | 2147483647   197857    143 |  0.000 % |
291.85/291.93	c |    199131 |    2337   394633  1728226 | 2147483647   199131    143 |  0.000 % |
293.95/294.08	c |    200533 |    2337   394633  1728226 | 2147483647   200533    143 |  0.001 % |
297.15/297.20	c |    202074 |    2337   394633  1728226 | 2147483647   202074    143 |  0.000 % |
300.25/300.37	c |    203769 |    2337   394633  1728226 | 2147483647   203769    143 |  0.000 % |
301.95/302.09	c |    205632 |    2337   394633  1728226 | 2147483647   205632    143 |  0.000 % |
306.45/306.59	c |    207684 |    2337   394633  1728226 | 2147483647   207684    143 |  0.000 % |
306.76/306.89	c |    207785 |    2337   394633  1728226 | 2147483647   207785    143 |  0.000 % |
307.05/307.18	c |    207896 |    2337   394633  1728226 | 2147483647   207896    143 |  0.000 % |
307.35/307.44	c |    208017 |    2337   394633  1728226 | 2147483647   208017    143 |  0.000 % |
307.85/307.99	c |    208150 |    2337   394633  1728226 | 2147483647   208150    143 |  0.000 % |
308.35/308.41	c |    208296 |    2337   394633  1728226 | 2147483647   208296    143 |  0.000 % |
308.65/308.76	c |    208456 |    2337   394633  1728226 | 2147483647   208456    143 |  0.000 % |
309.05/309.18	c |    208632 |    2337   394633  1728226 | 2147483647   208632    143 |  0.000 % |
309.45/309.56	c |    208825 |    2337   394633  1728226 | 2147483647   208825    143 |  0.000 % |
310.05/310.12	c |    209038 |    2337   394633  1728226 | 2147483647   209038    143 |  0.000 % |
310.55/310.65	c |    209272 |    2337   394633  1728226 | 2147483647   209272    143 |  0.000 % |
311.25/311.34	c |    209529 |    2337   394633  1728226 | 2147483647   209529    143 |  0.000 % |
312.05/312.19	c |    209810 |    2337   394633  1728226 | 2147483647   209810    143 |  0.000 % |
312.85/312.97	c |    210121 |    2337   394633  1728226 | 2147483647   210121    143 |  0.000 % |
313.65/313.78	c |    210460 |    2337   394633  1728226 | 2147483647   210460    143 |  0.000 % |
314.65/314.71	c |    210832 |    2337   394633  1728226 | 2147483647   210832    143 |  0.000 % |
315.45/315.54	c |    211241 |    2337   394633  1728226 | 2147483647   211241    143 |  0.000 % |
316.65/316.71	c |    211690 |    2337   394633  1728226 | 2147483647   211690    143 |  0.000 % |
317.55/317.64	c |    212186 |    2337   394633  1728226 | 2147483647   212186    143 |  0.000 % |
318.85/318.96	c |    212728 |    2337   394633  1728226 | 2147483647   212728    143 |  0.000 % |
319.84/319.92	c |    213326 |    2337   394633  1728226 | 2147483647   213326    143 |  0.000 % |
320.55/320.69	c |    213981 |    2337   394633  1728226 | 2147483647   213981    143 |  0.000 % |
322.05/322.20	c |    214701 |    2337   394633  1728226 | 2147483647   214701    143 |  0.000 % |
323.55/323.60	c |    215493 |    2337   394633  1728226 | 2147483647   215493    143 |  0.000 % |
325.25/325.33	c |    216367 |    2337   394633  1728226 | 2147483647   216367    143 |  0.000 % |
326.95/327.09	c |    217326 |    2337   394633  1728226 | 2147483647   217326    143 |  0.000 % |
328.95/329.10	c |    218379 |    2337   394633  1728226 | 2147483647   218379    143 |  0.000 % |
331.25/331.37	c |    219538 |    2337   394633  1728226 | 2147483647   219538    143 |  0.000 % |
333.85/333.98	c |    220814 |    2337   394633  1728226 | 2147483647   220814    143 |  0.000 % |
336.75/336.85	c |    222215 |    2337   394633  1728226 | 2147483647   222215    143 |  0.000 % |
339.54/339.65	c |    223756 |    2337   394633  1728226 | 2147483647   223756    143 |  0.000 % |
343.25/343.34	c |    225450 |    2337   394633  1728226 | 2147483647   225450    143 |  0.000 % |
349.55/349.69	c |    227314 |    2337   394633  1728226 | 2147483647   227314    143 |  0.000 % |
353.65/353.79	c |    229363 |    2337   394633  1728226 | 2147483647   229363    143 |  0.000 % |
358.55/358.65	c |    231618 |    2337   394633  1728226 | 2147483647   231618    143 |  0.000 % |
359.15/359.20	c |    231719 |    2337   394633  1728226 | 2147483647   231719    143 |  0.000 % |
359.45/359.51	c |    231829 |    2337   394633  1728226 | 2147483647   231829    143 |  0.000 % |
359.75/359.85	c |    231950 |    2337   394633  1728226 | 2147483647   231950    143 |  0.000 % |
360.25/360.32	c |    232084 |    2337   394633  1728226 | 2147483647   232084    143 |  0.000 % |
360.65/360.72	c |    232230 |    2337   394633  1728226 | 2147483647   232230    143 |  0.000 % |
361.15/361.28	c |    232390 |    2337   394633  1728226 | 2147483647   232390    143 |  0.000 % |
361.96/362.03	c |    232566 |    2337   394633  1728226 | 2147483647   232566    143 |  0.000 % |
362.45/362.54	c |    232764 |    2337   394633  1728226 | 2147483647   232764    143 |  0.000 % |
363.16/363.25	c |    232976 |    2337   394633  1728226 | 2147483647   232976    143 |  0.000 % |
363.76/363.82	c |    233209 |    2337   394633  1728226 | 2147483647   233209    143 |  0.000 % |
364.36/364.43	c |    233466 |    2337   394633  1728226 | 2147483647   233466    143 |  0.000 % |
365.16/365.27	c |    233747 |    2337   394633  1728226 | 2147483647   233747    143 |  0.000 % |
365.96/366.06	c |    234057 |    2337   394633  1728226 | 2147483647   234057    143 |  0.000 % |
366.76/366.88	c |    234398 |    2337   394633  1728226 | 2147483647   234398    143 |  0.000 % |
367.66/367.70	c |    234770 |    2337   394633  1728226 | 2147483647   234770    143 |  0.000 % |
368.55/368.66	c |    235179 |    2337   394633  1728226 | 2147483647   235179    143 |  0.000 % |
369.46/369.57	c |    235628 |    2337   394633  1728226 | 2147483647   235628    143 |  0.000 % |
370.45/370.59	c |    236121 |    2337   394633  1728226 | 2147483647   236121    143 |  0.000 % |
371.55/371.62	c |    236663 |    2337   394633  1728226 | 2147483647   236663    143 |  0.000 % |
373.96/374.04	c |    237263 |    2337   394633  1728226 | 2147483647   237263    143 |  0.000 % |
376.05/376.12	c |    237920 |    2337   394633  1728226 | 2147483647   237920    143 |  0.000 % |
377.85/377.92	c |    238642 |    2337   394633  1728226 | 2147483647   238642    143 |  0.000 % |
379.66/379.75	c |    239437 |    2337   394633  1728226 | 2147483647   239437    143 |  0.000 % |
381.75/381.85	c |    240308 |    2337   394633  1728226 | 2147483647   240308    143 |  0.000 % |
383.76/383.84	c |    241266 |    2337   394633  1728226 | 2147483647   241266    143 |  0.001 % |
386.35/386.47	c |    242319 |    2337   394633  1728226 | 2147483647   242319    143 |  0.000 % |
388.75/388.89	c |    243477 |    2337   394633  1728226 | 2147483647   243477    143 |  0.000 % |
391.45/391.58	c |    244750 |    2337   394633  1728226 | 2147483647   244750    143 |  0.000 % |
394.06/394.14	c |    246151 |    2337   394633  1728226 | 2147483647   246151    144 |  0.000 % |
396.76/396.86	c |    247691 |    2337   394633  1728226 | 2147483647   247691    144 |  0.000 % |
398.55/398.65	c |    249387 |    2337   394633  1728226 | 2147483647   249387    144 |  0.000 % |
400.86/400.96	c |    251252 |    2337   394633  1728226 | 2147483647   251252    144 |  0.000 % |
403.95/404.01	c |    253301 |    2337   394633  1728226 | 2147483647   253301    144 |  0.000 % |
408.56/408.70	c |    255555 |    2337   394633  1728226 | 2147483647   255555    144 |  0.000 % |
414.26/414.31	c |    258035 |    2337   394633  1728226 | 2147483647   258035    145 |  0.000 % |
414.56/414.67	c |    258137 |    2337   394633  1728226 | 2147483647   258137    145 |  0.000 % |
414.96/415.03	c |    258248 |    2337   394633  1728226 | 2147483647   258248    145 |  0.000 % |
415.46/415.54	c |    258370 |    2337   394633  1728226 | 2147483647   258370    145 |  0.000 % |
415.96/416.07	c |    258503 |    2337   394633  1728226 | 2147483647   258503    145 |  0.000 % |
416.56/416.67	c |    258649 |    2337   394633  1728226 | 2147483647   258649    145 |  0.000 % |
417.16/417.24	c |    258810 |    2337   394633  1728226 | 2147483647   258810    145 |  0.000 % |
417.56/417.67	c |    258986 |    2337   394633  1728226 | 2147483647   258986    145 |  0.000 % |
418.16/418.29	c |    259179 |    2337   394633  1728226 | 2147483647   259179    145 |  0.000 % |
418.76/418.89	c |    259391 |    2337   394633  1728226 | 2147483647   259391    145 |  0.000 % |
419.56/419.65	c |    259625 |    2337   394633  1728226 | 2147483647   259625    145 |  0.000 % |
420.26/420.38	c |    259881 |    2337   394633  1728226 | 2147483647   259881    145 |  0.000 % |
421.26/421.35	c |    260164 |    2337   394633  1728226 | 2147483647   260164    145 |  0.000 % |
422.26/422.31	c |    260473 |    2337   394633  1728226 | 2147483647   260473    145 |  0.000 % |
422.95/423.09	c |    260812 |    2337   394633  1728226 | 2147483647   260812    145 |  0.000 % |
423.95/424.02	c |    261187 |    2337   394633  1728226 | 2147483647   261187    145 |  0.000 % |
424.95/425.08	c |    261598 |    2337   394633  1728226 | 2147483647   261598    145 |  0.000 % |
426.56/426.66	c |    262047 |    2337   394633  1728226 | 2147483647   262047    145 |  0.000 % |
427.87/427.98	c |    262540 |    2337   394633  1728226 | 2147483647   262540    145 |  0.000 % |
429.16/429.24	c |    263085 |    2337   394633  1728226 | 2147483647   263085    145 |  0.000 % |
430.26/430.38	c |    263681 |    2337   394633  1728226 | 2147483647   263681    145 |  0.000 % |
431.76/431.85	c |    264336 |    2337   394633  1728226 | 2147483647   264336    145 |  0.000 % |
433.96/434.06	c |    265062 |    2337   394633  1728226 | 2147483647   265062    145 |  0.000 % |
436.46/436.56	c |    265855 |    2337   394633  1728226 | 2147483647   265855    145 |  0.000 % |
437.77/437.87	c |    266728 |    2337   394633  1728226 | 2147483647   266728    145 |  0.000 % |
439.46/439.54	c |    267686 |    2337   394633  1728226 | 2147483647   267686    145 |  0.000 % |
441.26/441.38	c |    268739 |    2337   394633  1728226 | 2147483647   268739    145 |  0.000 % |
443.56/443.60	c |    269899 |    2337   394633  1728226 | 2147483647   269899    145 |  0.000 % |
445.76/445.89	c |    271175 |    2337   394633  1728226 | 2147483647   271175    145 |  0.000 % |
449.66/449.76	c |    272575 |    2337   394633  1728226 | 2147483647   272575    145 |  0.000 % |
454.56/454.68	c |    274120 |    2337   394633  1728226 | 2147483647   274120    145 |  0.000 % |
458.17/458.21	c |    275815 |    2337   394633  1728226 | 2147483647   275815    145 |  0.000 % |
462.36/462.48	c |    277679 |    2337   394633  1728226 | 2147483647   277679    146 |  0.000 % |
466.37/466.40	c |    279728 |    2337   394633  1728226 | 2147483647   279728    146 |  0.000 % |
470.26/470.32	c |    281982 |    2337   394633  1728226 | 2147483647   281982    146 |  0.000 % |
476.37/476.47	c |    284461 |    2337   394633  1728226 | 2147483647   284461    146 |  0.000 % |
482.36/482.41	c |    287186 |    2337   394633  1728226 | 2147483647   287186    146 |  0.000 % |
482.56/482.65	c |    287286 |    2337   394633  1728226 | 2147483647   287286    146 |  0.000 % |
482.96/483.08	c |    287396 |    2337   394633  1728226 | 2147483647   287396    146 |  0.000 % |
483.26/483.33	c |    287517 |    2337   394633  1728226 | 2147483647   287517    146 |  0.000 % |
483.76/483.90	c |    287650 |    2337   394633  1728226 | 2147483647   287650    146 |  0.000 % |
484.36/484.44	c |    287796 |    2337   394633  1728226 | 2147483647   287796    146 |  0.000 % |
484.76/484.87	c |    287957 |    2337   394633  1728226 | 2147483647   287957    146 |  0.000 % |
485.26/485.37	c |    288134 |    2337   394633  1728226 | 2147483647   288134    146 |  0.000 % |
485.96/486.09	c |    288327 |    2337   394633  1728226 | 2147483647   288327    146 |  0.000 % |
486.86/486.92	c |    288539 |    2337   394633  1728226 | 2147483647   288539    146 |  0.000 % |
487.56/487.64	c |    288773 |    2337   394633  1728226 | 2147483647   288773    146 |  0.000 % |
489.06/489.13	c |    289031 |    2337   394633  1728226 | 2147483647   289031    146 |  0.000 % |
489.96/490.09	c |    289313 |    2337   394633  1728226 | 2147483647   289313    146 |  0.000 % |
491.46/491.52	c |    289623 |    2337   394633  1728226 | 2147483647   289623    146 |  0.000 % |
492.66/492.72	c |    289963 |    2337   394633  1728226 | 2147483647   289963    146 |  0.000 % |
494.46/494.52	c |    290335 |    2337   394633  1728226 | 2147483647   290335    146 |  0.000 % |
495.87/495.94	c |    290744 |    2337   394633  1728226 | 2147483647   290744    146 |  0.000 % |
497.07/497.13	c |    291193 |    2337   394633  1728226 | 2147483647   291193    146 |  0.000 % |
498.47/498.54	c |    291687 |    2337   394633  1728226 | 2147483647   291687    146 |  0.000 % |
499.87/499.94	c |    292229 |    2337   394633  1728226 | 2147483647   292229    146 |  0.000 % |
502.26/502.39	c |    292826 |    2337   394633  1728226 | 2147483647   292826    146 |  0.000 % |
503.86/503.93	c |    293482 |    2337   394633  1728226 | 2147483647   293482    146 |  0.000 % |
505.16/505.20	c |    294202 |    2337   394633  1728226 | 2147483647   294202    146 |  0.000 % |
506.46/506.57	c |    294994 |    2337   394633  1728226 | 2147483647   294994    146 |  0.000 % |
509.36/509.43	c |    295866 |    2337   394633  1728226 | 2147483647   295866    146 |  0.000 % |
512.26/512.36	c |    296824 |    2337   394633  1728226 | 2147483647   296824    146 |  0.000 % |
515.56/515.66	c |    297878 |    2337   394633  1728226 | 2147483647   297878    146 |  0.000 % |
518.77/518.89	c |    299040 |    2337   394633  1728226 | 2147483647   299040    146 |  0.000 % |
521.96/522.05	c |    300314 |    2337   394633  1728226 | 2147483647   300314    146 |  0.000 % |
525.97/526.10	c |    301715 |    2337   394633  1728226 | 2147483647   301715    146 |  0.000 % |
529.46/529.56	c |    303255 |    2337   394633  1728226 | 2147483647   303255    146 |  0.000 % |
533.47/533.56	c |    304950 |    2337   394633  1728226 | 2147483647   304950    146 |  0.000 % |
536.67/536.72	c |    306813 |    2337   394633  1728226 | 2147483647   306813    146 |  0.000 % |
540.17/540.20	c |    308862 |    2337   394633  1728226 | 2147483647   308862    146 |  0.000 % |
546.07/546.18	c |    311115 |    2337   394633  1728226 | 2147483647   311115    146 |  0.000 % |
553.27/553.37	c |    313593 |    2337   394633  1728226 | 2147483647   313593    146 |  0.000 % |
564.67/564.70	c |    316318 |    2337   394633  1728226 | 2147483647   316318    147 |  0.000 % |
571.47/571.50	c |    319315 |    2337   394633  1728226 | 2147483647   319315    147 |  0.000 % |
571.77/571.88	c |    319418 |    2337   394633  1728226 | 2147483647   319418    147 |  0.000 % |
572.27/572.32	c |    319528 |    2337   394633  1728226 | 2147483647   319528    147 |  0.000 % |
572.86/572.96	c |    319651 |    2337   394633  1728226 | 2147483647   319651    147 |  0.000 % |
573.37/573.48	c |    319785 |    2337   394633  1728226 | 2147483647   319785    147 |  0.000 % |
573.87/573.92	c |    319931 |    2337   394633  1728226 | 2147483647   319931    147 |  0.000 % |
574.26/574.36	c |    320091 |    2337   394633  1728226 | 2147483647   320091    147 |  0.000 % |
574.97/575.00	c |    320269 |    2337   394633  1728226 | 2147483647   320269    147 |  0.000 % |
575.56/575.63	c |    320462 |    2337   394633  1728226 | 2147483647   320462    147 |  0.000 % |
576.37/576.46	c |    320675 |    2337   394633  1728226 | 2147483647   320675    147 |  0.000 % |
577.07/577.18	c |    320908 |    2337   394633  1728226 | 2147483647   320908    147 |  0.000 % |
577.77/577.82	c |    321164 |    2337   394633  1728226 | 2147483647   321164    147 |  0.000 % |
578.67/578.71	c |    321446 |    2337   394633  1728226 | 2147483647   321446    147 |  0.000 % |
579.37/579.45	c |    321755 |    2337   394633  1728226 | 2147483647   321755    147 |  0.000 % |
580.47/580.52	c |    322094 |    2337   394633  1728226 | 2147483647   322094    147 |  0.000 % |
581.47/581.51	c |    322466 |    2337   394633  1728226 | 2147483647   322466    147 |  0.000 % |
582.57/582.69	c |    322878 |    2337   394633  1728226 | 2147483647   322878    147 |  0.000 % |
584.47/584.53	c |    323327 |    2337   394633  1728226 | 2147483647   323327    147 |  0.000 % |
585.77/585.87	c |    323820 |    2337   394633  1728226 | 2147483647   323820    147 |  0.000 % |
587.07/587.16	c |    324362 |    2337   394633  1728226 | 2147483647   324362    147 |  0.000 % |
587.97/588.04	c |    324960 |    2337   394633  1728226 | 2147483647   324960    147 |  0.000 % |
589.67/589.77	c |    325615 |    2337   394633  1728226 | 2147483647   325615    147 |  0.000 % |
592.07/592.11	c |    326338 |    2337   394633  1728226 | 2147483647   326338    147 |  0.000 % |
594.06/594.11	c |    327130 |    2337   394633  1728226 | 2147483647   327130    147 |  0.000 % |
596.87/596.94	c |    328001 |    2337   394633  1728226 | 2147483647   328001    147 |  0.000 % |
599.77/599.86	c |    328960 |    2337   394633  1728226 | 2147483647   328960    147 |  0.000 % |
603.07/603.11	c |    330013 |    2337   394633  1728226 | 2147483647   330013    147 |  0.000 % |
607.37/607.43	c |    331175 |    2337   394633  1728226 | 2147483647   331175    147 |  0.000 % |
611.17/611.24	c |    332448 |    2337   394633  1728226 | 2147483647   332448    147 |  0.000 % |
614.77/614.81	c |    333849 |    2337   394633  1728226 | 2147483647   333849    147 |  0.000 % |
617.67/617.70	c |    335390 |    2337   394633  1728226 | 2147483647   335390    147 |  0.000 % |
621.07/621.19	c |    337085 |    2337   394633  1728226 | 2147483647   337085    147 |  0.000 % |
627.47/627.53	c |    338949 |    2337   394633  1728226 | 2147483647   338949    147 |  0.000 % |
631.57/631.65	c |    340998 |    2337   394633  1728226 | 2147483647   340998    148 |  0.000 % |
638.67/638.78	c |    343252 |    2337   394633  1728226 | 2147483647   343252    148 |  0.000 % |
645.97/646.04	c |    345734 |    2337   394633  1728226 | 2147483647   345734    148 |  0.000 % |
655.78/655.86	c |    348459 |    2337   394633  1728226 | 2147483647   348459    148 |  0.000 % |
663.67/663.79	c |    351456 |    2337   394633  1728226 | 2147483647   351456    148 |  0.000 % |
670.28/670.34	c |    354755 |    2337   394633  1728226 | 2147483647   354755    148 |  0.000 % |
670.37/670.49	c |    354856 |    2337   394633  1728226 | 2147483647   354856    148 |  0.000 % |
670.67/670.76	c |    354968 |    2337   394633  1728226 | 2147483647   354968    148 |  0.000 % |
670.98/671.05	c |    355090 |    2337   394633  1728226 | 2147483647   355090    148 |  0.000 % |
671.77/671.84	c |    355223 |    2337   394633  1728226 | 2147483647   355223    148 |  0.000 % |
672.37/672.42	c |    355370 |    2337   394633  1728226 | 2147483647   355370    148 |  0.000 % |
672.77/672.88	c |    355532 |    2337   394633  1728226 | 2147483647   355532    148 |  0.000 % |
673.78/673.85	c |    355708 |    2337   394633  1728226 | 2147483647   355708    148 |  0.000 % |
674.68/674.72	c |    355902 |    2337   394633  1728226 | 2147483647   355902    148 |  0.000 % |
675.38/675.41	c |    356115 |    2337   394633  1728226 | 2147483647   356115    148 |  0.000 % |
676.48/676.53	c |    356349 |    2337   394633  1728226 | 2147483647   356349    148 |  0.000 % |
677.28/677.35	c |    356606 |    2337   394633  1728226 | 2147483647   356606    148 |  0.000 % |
678.38/678.41	c |    356889 |    2337   394633  1728226 | 2147483647   356889    148 |  0.000 % |
679.58/679.62	c |    357198 |    2337   394633  1728226 | 2147483647   357198    148 |  0.000 % |
680.78/680.88	c |    357537 |    2337   394633  1728226 | 2147483647   357537    148 |  0.000 % |
682.58/682.63	c |    357911 |    2337   394633  1728226 | 2147483647   357911    148 |  0.000 % |
684.28/684.34	c |    358320 |    2337   394633  1728226 | 2147483647   358320    148 |  0.000 % |
685.77/685.83	c |    358769 |    2337   394633  1728226 | 2147483647   358769    148 |  0.000 % |
687.27/687.34	c |    359262 |    2337   394633  1728226 | 2147483647   359262    148 |  0.000 % |
689.17/689.27	c |    359804 |    2337   394633  1728226 | 2147483647   359804    148 |  0.000 % |
691.57/691.60	c |    360401 |    2337   394633  1728226 | 2147483647   360401    148 |  0.000 % |
692.77/692.85	c |    361057 |    2337   394633  1728226 | 2147483647   361057    148 |  0.000 % |
696.07/696.17	c |    361777 |    2337   394633  1728226 | 2147483647   361777    148 |  0.000 % |
698.48/698.59	c |    362574 |    2337   394633  1728226 | 2147483647   362574    148 |  0.000 % |
703.37/703.45	c |    363447 |    2337   394633  1728226 | 2147483647   363447    148 |  0.000 % |
708.68/708.75	c |    364405 |    2337   394633  1728226 | 2147483647   364405    148 |  0.000 % |
712.18/712.28	c |    365459 |    2337   394633  1728226 | 2147483647   365459    148 |  0.000 % |
715.08/715.15	c |    366618 |    2337   394633  1728226 | 2147483647   366618    148 |  0.000 % |
718.07/718.10	c |    367893 |    2337   394633  1728226 | 2147483647   367893    148 |  0.000 % |
720.48/720.58	c |    369294 |    2337   394633  1728226 | 2147483647   369294    148 |  0.000 % |
724.18/724.27	c |    370834 |    2337   394633  1728226 | 2147483647   370834    148 |  0.000 % |
727.68/727.77	c |    372529 |    2337   394633  1728226 | 2147483647   372529    148 |  0.000 % |
734.18/734.27	c |    374393 |    2337   394633  1728226 | 2147483647   374393    148 |  0.000 % |
740.78/740.80	c |    376442 |    2337   394633  1728226 | 2147483647   376442    148 |  0.000 % |
747.48/747.51	c |    378695 |    2337   394633  1728226 | 2147483647   378695    148 |  0.000 % |
756.39/756.45	c |    381178 |    2337   394633  1728226 | 2147483647   381178    148 |  0.000 % |
765.08/765.13	c |    383906 |    2337   394633  1728226 | 2147483647   383906    148 |  0.000 % |
776.48/776.57	c |    386903 |    2337   394633  1728226 | 2147483647   386903    148 |  0.000 % |
785.59/785.69	c |    390199 |    2337   394633  1728226 | 2147483647   390199    148 |  0.000 % |
797.88/797.92	c |    393826 |    2337   394633  1728226 | 2147483647   393826    148 |  0.000 % |
798.28/798.36	c |    393926 |    2337   394633  1728226 | 2147483647   393926    148 |  0.000 % |
799.08/799.14	c |    394037 |    2337   394633  1728226 | 2147483647   394037    148 |  0.000 % |
799.59/799.61	c |    394158 |    2337   394633  1728226 | 2147483647   394158    148 |  0.000 % |
799.98/800.04	c |    394291 |    2337   394633  1728226 | 2147483647   394291    148 |  0.000 % |
800.88/800.90	c |    394438 |    2337   394633  1728226 | 2147483647   394438    148 |  0.000 % |
801.48/801.53	c |    394598 |    2337   394633  1728226 | 2147483647   394598    148 |  0.000 % |
802.28/802.35	c |    394774 |    2337   394633  1728226 | 2147483647   394774    148 |  0.000 % |
803.08/803.10	c |    394969 |    2337   394633  1728226 | 2147483647   394969    148 |  0.000 % |
803.88/803.96	c |    395183 |    2337   394633  1728226 | 2147483647   395183    148 |  0.000 % |
804.88/804.90	c |    395416 |    2337   394633  1728226 | 2147483647   395416    148 |  0.000 % |
805.58/805.70	c |    395674 |    2337   394633  1728226 | 2147483647   395674    148 |  0.001 % |
806.39/806.42	c |    395958 |    2337   394633  1728226 | 2147483647   395958    148 |  0.000 % |
808.28/808.39	c |    396269 |    2337   394633  1728226 | 2147483647   396269    148 |  0.000 % |
809.68/809.71	c |    396608 |    2337   394633  1728226 | 2147483647   396608    148 |  0.000 % |
811.38/811.45	c |    396980 |    2337   394633  1728226 | 2147483647   396980    148 |  0.000 % |
812.79/812.89	c |    397390 |    2337   394633  1728226 | 2147483647   397390    148 |  0.000 % |
814.19/814.26	c |    397840 |    2337   394633  1728226 | 2147483647   397840    148 |  0.000 % |
815.89/816.00	c |    398335 |    2337   394633  1728226 | 2147483647   398335    148 |  0.000 % |
818.09/818.13	c |    398877 |    2337   394633  1728226 | 2147483647   398877    148 |  0.000 % |
819.89/819.94	c |    399475 |    2337   394633  1728226 | 2147483647   399475    148 |  0.000 % |
822.49/822.54	c |    400130 |    2337   394633  1728226 | 2147483647   400130    148 |  0.000 % |
825.09/825.17	c |    400850 |    2337   394633  1728226 | 2147483647   400850    148 |  0.000 % |
829.59/829.66	c |    401642 |    2337   394633  1728226 | 2147483647   401642    148 |  0.000 % |
831.89/832.00	c |    402513 |    2337   394633  1728226 | 2147483647   402513    148 |  0.000 % |
834.90/834.97	c |    403471 |    2337   394633  1728226 | 2147483647   403471    148 |  0.000 % |
842.39/842.44	c |    404525 |    2337   394633  1728226 | 2147483647   404525    148 |  0.000 % |
845.80/845.84	c |    405684 |    2337   394633  1728226 | 2147483647   405684    148 |  0.000 % |
854.19/854.21	c |    406957 |    2337   394633  1728226 | 2147483647   406957    148 |  0.000 % |
856.89/856.94	c |    408358 |    2337   394633  1728226 | 2147483647   408358    148 |  0.000 % |
860.79/860.86	c |    409899 |    2337   394633  1728226 | 2147483647   409899    148 |  0.000 % |
876.50/876.56	c |    411593 |    2337   394633  1728226 | 2147483647   411593    148 |  0.000 % |
888.59/888.61	c |    413456 |    2337   394633  1728226 | 2147483647   413456    148 |  0.000 % |
892.90/892.90	c |    415505 |    2337   394633  1728226 | 2147483647   415505    148 |  0.000 % |
908.40/908.43	c |    417759 |    2337   394633  1728226 | 2147483647   417759    149 |  0.000 % |
921.41/921.44	c |    420237 |    2337   394633  1728226 | 2147483647   420237    149 |  0.000 % |
942.71/942.78	c |    422962 |    2337   394633  1728226 | 2147483647   422962    149 |  0.000 % |
960.81/960.86	c |    425960 |    2337   394633  1728226 | 2147483647   425960    149 |  0.000 % |
976.91/976.93	c |    429257 |    2337   394633  1728226 | 2147483647   429257    150 |  0.000 % |
990.21/990.21	c |    432882 |    2337   394633  1728226 | 2147483647   432882    150 |  0.000 % |
1012.41/1012.44	c |    436869 |    2337   394633  1728226 | 2147483647   436869    150 |  0.000 % |
1013.02/1013.01	c |    436970 |    2337   394633  1728226 | 2147483647   436970    150 |  0.000 % |
1013.41/1013.41	c |    437081 |    2337   394633  1728226 | 2147483647   437081    150 |  0.000 % |
1014.51/1014.55	c |    437203 |    2337   394633  1728226 | 2147483647   437203    150 |  0.000 % |
1015.11/1015.16	c |    437336 |    2337   394633  1728226 | 2147483647   437336    150 |  0.000 % |
1016.61/1016.69	c |    437483 |    2337   394633  1728226 | 2147483647   437483    150 |  0.000 % |
1017.21/1017.30	c |    437643 |    2337   394633  1728226 | 2147483647   437643    150 |  0.000 % |
1019.11/1019.12	c |    437819 |    2337   394633  1728226 | 2147483647   437819    150 |  0.000 % |
1019.81/1019.83	c |    438013 |    2337   394633  1728226 | 2147483647   438013    150 |  0.000 % |
1020.61/1020.64	c |    438225 |    2337   394633  1728226 | 2147483647   438225    150 |  0.000 % |
1023.11/1023.10	c |    438461 |    2337   394633  1728226 | 2147483647   438461    150 |  0.000 % |
1024.01/1024.02	c |    438720 |    2337   394633  1728226 | 2147483647   438720    150 |  0.000 % |
1026.51/1026.60	c |    439003 |    2337   394633  1728226 | 2147483647   439003    150 |  0.000 % |
1027.81/1027.81	c |    439314 |    2337   394633  1728226 | 2147483647   439314    150 |  0.000 % |
1030.91/1030.96	c |    439654 |    2337   394633  1728226 | 2147483647   439654    150 |  0.000 % |
1032.11/1032.10	c |    440029 |    2337   394633  1728226 | 2147483647   440029    150 |  0.000 % |
1035.42/1035.50	c |    440439 |    2337   394633  1728226 | 2147483647   440439    150 |  0.000 % |
1036.92/1036.95	c |    440888 |    2337   394633  1728226 | 2147483647   440888    150 |  0.000 % |
1041.51/1041.58	c |    441381 |    2337   394633  1728226 | 2147483647   441381    150 |  0.000 % |
1043.61/1043.60	c |    441923 |    2337   394633  1728226 | 2147483647   441923    150 |  0.000 % |
1047.32/1047.37	c |    442520 |    2337   394633  1728226 | 2147483647   442520    150 |  0.000 % |
1050.12/1050.16	c |    443176 |    2337   394633  1728226 | 2147483647   443176    150 |  0.000 % |
1055.42/1055.47	c |    443896 |    2337   394633  1728226 | 2147483647   443896    150 |  0.000 % |
1056.92/1056.97	c |    444689 |    2337   394633  1728226 | 2147483647   444689    150 |  0.000 % |
1057.92/1057.96	c |    445560 |    2337   394633  1728226 | 2147483647   445560    150 |  0.000 % |
1060.62/1060.60	c |    446520 |    2337   394633  1728226 | 2147483647   446520    150 |  0.000 % |
1062.22/1062.22	c |    447574 |    2337   394633  1728226 | 2147483647   447574    150 |  0.000 % |
1070.42/1070.46	c |    448733 |    2337   394633  1728226 | 2147483647   448733    150 |  0.000 % |
1073.32/1073.39	c |    450007 |    2337   394633  1728226 | 2147483647   450007    150 |  0.000 % |
1083.22/1083.27	c |    451408 |    2337   394633  1728226 | 2147483647   451408    150 |  0.000 % |
1086.52/1086.53	c |    452948 |    2337   394633  1728226 | 2147483647   452948    150 |  0.000 % |
1095.02/1095.03	c |    454642 |    2337   394633  1728226 | 2147483647   454642    150 |  0.000 % |
1099.63/1099.60	c |    456509 |    2337   394633  1728226 | 2147483647   456509    150 |  0.000 % |
1111.63/1111.68	c |    458559 |    2337   394633  1728226 | 2147483647   458559    150 |  0.000 % |
1118.53/1118.58	c |    460814 |    2337   394633  1728226 |   460002   460814    150 |  0.000 % |
1132.63/1132.65	c |    463292 |    2337   394633  1728226 |   460002   417211    150 |  0.000 % |
1140.53/1140.52	c |    466020 |    2337   394633  1728226 |   460002   419939    150 |  0.000 % |
1149.43/1149.49	c |    469019 |    2337   394633  1728226 |   460002   422938    150 |  0.000 % |
1163.03/1163.06	c |    472316 |    2337   394633  1728226 | 2147483647   426235    150 |  0.000 % |
1181.23/1181.22	c |    475941 |    2337   394633  1728226 | 2147483647   429860    151 |  0.000 % |
1193.33/1193.31	c |    479928 |    2337   394633  1728226 | 2147483647   433847    151 |  0.000 % |

Verifier Data 

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

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11999
/proc/meminfo: memFree=1759160/2055920 swapFree=4039288/4192956
[pid=11999] ppid=11997 vsize=5356 CPUtime=0
/proc/11999/stat : 11999 (SatELiteGTI) S 11997 11999 11755 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310649517 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 231962542162 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/11999/statm: 1339 235 195 169 0 50 0
[pid=12000] ppid=11999 vsize=5356 CPUtime=0
/proc/12000/stat : 12000 (SatELiteGTI) S 11999 11999 11755 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 310649517 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4096 65538 18446744071563356171 0 0 17 1 0 0
/proc/12000/statm: 1339 238 198 169 0 50 0
[pid=12002] ppid=12000 vsize=0 CPUtime=0
/proc/12002/stat : 12002 (sed) R 12000 11999 11755 0 -1 4194308 163 0 0 0 0 0 0 0 22 0 1 0 310649517 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/12002/statm: -- couldn't open statm file --
[startup+0.0833049 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11999
/proc/meminfo: memFree=1759160/2055920 swapFree=4039288/4192956
[pid=11999] ppid=11997 vsize=5356 CPUtime=0
/proc/11999/stat : 11999 (SatELiteGTI) S 11997 11999 11755 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310649517 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11999/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.102297 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11999
/proc/meminfo: memFree=1759160/2055920 swapFree=4039288/4192956
[pid=11999] ppid=11997 vsize=5356 CPUtime=0
/proc/11999/stat : 11999 (SatELiteGTI) S 11997 11999 11755 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310649517 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11999/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301242 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11999
/proc/meminfo: memFree=1759160/2055920 swapFree=4039288/4192956
[pid=11999] ppid=11997 vsize=5356 CPUtime=0
/proc/11999/stat : 11999 (SatELiteGTI) S 11997 11999 11755 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310649517 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11999/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701126 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11999
/proc/meminfo: memFree=1759160/2055920 swapFree=4039288/4192956
[pid=11999] ppid=11997 vsize=5356 CPUtime=0
/proc/11999/stat : 11999 (SatELiteGTI) S 11997 11999 11755 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310649517 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11999/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50189 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12004
/proc/meminfo: memFree=1725736/2055920 swapFree=4039288/4192956
[pid=11999] ppid=11997 vsize=5356 CPUtime=0
/proc/11999/stat : 11999 (SatELiteGTI) S 11997 11999 11755 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310649517 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11999/statm: 1339 237 197 169 0 50 0
[pid=12004] ppid=11999 vsize=37152 CPUtime=1.48
/proc/12004/stat : 12004 (SatELite_releas) R 11999 11999 11755 0 -1 4194304 8618 0 0 0 144 4 0 0 25 0 1 0 310649518 38043648 8604 1992294400 134512640 135223648 4294956128 18446744073709551615 134734703 0 0 4096 3 0 0 0 17 1 0 0
/proc/12004/statm: 9288 8604 76 173 0 9113 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 42508

[startup+3.10143 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12004
/proc/meminfo: memFree=1719272/2055920 swapFree=4039288/4192956
[pid=11999] ppid=11997 vsize=5356 CPUtime=0
/proc/11999/stat : 11999 (SatELiteGTI) S 11997 11999 11755 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310649517 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11999/statm: 1339 237 197 169 0 50 0
[pid=12004] ppid=11999 vsize=41140 CPUtime=3.09
/proc/12004/stat : 12004 (SatELite_releas) R 11999 11999 11755 0 -1 4194304 9533 0 0 0 304 5 0 0 25 0 1 0 310649518 42127360 9519 1992294400 134512640 135223648 4294956128 18446744073709551615 134585471 0 0 4096 3 0 0 0 17 1 0 0
/proc/12004/statm: 10285 9519 76 173 0 10110 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 46496

[startup+6.30153 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12004
/proc/meminfo: memFree=1718952/2055920 swapFree=4039288/4192956
[pid=11999] ppid=11997 vsize=5356 CPUtime=6.23
/proc/11999/stat : 11999 (SatELiteGTI) S 11997 11999 11755 0 -1 4194304 336 9785 0 0 0 0 614 9 16 0 1 0 310649517 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11999/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 5356

[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12005
/proc/meminfo: memFree=1723888/2055920 swapFree=4039288/4192956
[pid=11999] ppid=11997 vsize=5356 CPUtime=6.23
/proc/11999/stat : 11999 (SatELiteGTI) S 11997 11999 11755 0 -1 4194304 336 9785 0 0 0 0 614 9 16 0 1 0 310649517 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11999/statm: 1339 239 197 169 0 50 0
[pid=12005] ppid=11999 vsize=25776 CPUtime=6.45
/proc/12005/stat : 12005 (minisat_static) R 11999 11999 11755 0 -1 4194304 6264 0 0 0 641 4 0 0 25 0 1 0 310650142 26394624 6250 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/12005/statm: 6444 6250 77 171 0 6271 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 31132

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12005
/proc/meminfo: memFree=1716592/2055920 swapFree=4039288/4192956
[pid=11999] ppid=11997 vsize=5356 CPUtime=6.23
/proc/11999/stat : 11999 (SatELiteGTI) S 11997 11999 11755 0 -1 4194304 336 9785 0 0 0 0 614 9 16 0 1 0 310649517 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11999/statm: 1339 239 197 169 0 50 0
[pid=12005] ppid=11999 vsize=32812 CPUtime=19.24
/proc/12005/stat : 12005 (minisat_static) R 11999 11999 11755 0 -1 4194304 8025 0 0 0 1919 5 0 0 25 0 1 0 310650142 33599488 8011 1992294400 134512640 135215339 4294956240 18446744073709551615 134528688 0 0 4096 3 0 0 0 17 1 0 0
/proc/12005/statm: 8203 8011 77 171 0 8030 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 38168

[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12005
/proc/meminfo: memFree=1702768/2055920 swapFree=4039288/4192956
[pid=11999] ppid=11997 vsize=5356 CPUtime=6.23
/proc/11999/stat : 11999 (SatELiteGTI) S 11997 11999 11755 0 -1 4194304 336 9785 0 0 0 0 614 9 16 0 1 0 310649517 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11999/statm: 1339 239 197 169 0 50 0
[pid=12005] ppid=11999 vsize=46916 CPUtime=44.82
/proc/12005/stat : 12005 (minisat_static) R 11999 11999 11755 0 -1 4194304 11554 0 0 0 4473 9 0 0 25 0 1 0 310650142 48041984 11540 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12005/statm: 11729 11540 77 171 0 11556 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 52272

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12005
/proc/meminfo: memFree=1678000/2055920 swapFree=4039288/4192956
[pid=11999] ppid=11997 vsize=5356 CPUtime=6.23
/proc/11999/stat : 11999 (SatELiteGTI) S 11997 11999 11755 0 -1 4194304 336 9785 0 0 0 0 614 9 16 0 1 0 310649517 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11999/statm: 1339 239 197 169 0 50 0
[pid=12005] ppid=11999 vsize=71156 CPUtime=96.02
/proc/12005/stat : 12005 (minisat_static) R 11999 11999 11755 0 -1 4194304 17618 0 0 0 9586 16 0 0 25 0 1 0 310650142 72863744 17604 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12005/statm: 17789 17604 77 171 0 17616 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 76512

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12005
/proc/meminfo: memFree=1652912/2055920 swapFree=4039288/4192956
[pid=11999] ppid=11997 vsize=5356 CPUtime=6.23
/proc/11999/stat : 11999 (SatELiteGTI) S 11997 11999 11755 0 -1 4194304 336 9785 0 0 0 0 614 9 16 0 1 0 310649517 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11999/statm: 1339 239 197 169 0 50 0
[pid=12005] ppid=11999 vsize=96488 CPUtime=156.01
/proc/12005/stat : 12005 (minisat_static) R 11999 11999 11755 0 -1 4194304 23928 0 0 0 15578 23 0 0 25 0 1 0 310650142 98803712 23914 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/12005/statm: 24122 23914 77 171 0 23949 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 101844

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12005
/proc/meminfo: memFree=1628400/2055920 swapFree=4039288/4192956
[pid=11999] ppid=11997 vsize=5356 CPUtime=6.23
/proc/11999/stat : 11999 (SatELiteGTI) S 11997 11999 11755 0 -1 4194304 336 9785 0 0 0 0 614 9 16 0 1 0 310649517 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11999/statm: 1339 239 197 169 0 50 0
[pid=12005] ppid=11999 vsize=120904 CPUtime=216.01
/proc/12005/stat : 12005 (minisat_static) R 11999 11999 11755 0 -1 4194304 29964 0 0 0 21571 30 0 0 25 0 1 0 310650142 123805696 29950 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12005/statm: 30226 29950 77 171 0 30053 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 126260

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12005
/proc/meminfo: memFree=1609328/2055920 swapFree=4039288/4192956
[pid=11999] ppid=11997 vsize=5356 CPUtime=6.23
/proc/11999/stat : 11999 (SatELiteGTI) S 11997 11999 11755 0 -1 4194304 336 9785 0 0 0 0 614 9 16 0 1 0 310649517 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11999/statm: 1339 239 197 169 0 50 0
[pid=12005] ppid=11999 vsize=140040 CPUtime=276.01
/proc/12005/stat : 12005 (minisat_static) R 11999 11999 11755 0 -1 4194304 34743 0 0 0 27567 34 0 0 25 0 1 0 310650142 143400960 34729 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/12005/statm: 35010 34729 77 171 0 34837 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 145396

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12005
/proc/meminfo: memFree=1589176/2055920 swapFree=4039288/4192956
[pid=11999] ppid=11997 vsize=5356 CPUtime=6.23
/proc/11999/stat : 11999 (SatELiteGTI) S 11997 11999 11755 0 -1 4194304 336 9785 0 0 0 0 614 9 16 0 1 0 310649517 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11999/statm: 1339 239 197 169 0 50 0
[pid=12005] ppid=11999 vsize=160288 CPUtime=336.02
/proc/12005/stat : 12005 (minisat_static) R 11999 11999 11755 0 -1 4194304 39729 0 0 0 33562 40 0 0 25 0 1 0 310650142 164134912 39715 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12005/statm: 40072 39715 77 171 0 39899 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 165644

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12007
/proc/meminfo: memFree=1571256/2055920 swapFree=4039288/4192956
[pid=11999] ppid=11997 vsize=5356 CPUtime=6.23
/proc/11999/stat : 11999 (SatELiteGTI) S 11997 11999 11755 0 -1 4194304 336 9785 0 0 0 0 614 9 16 0 1 0 310649517 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11999/statm: 1339 239 197 169 0 50 0
[pid=12005] ppid=11999 vsize=178076 CPUtime=396.03
/proc/12005/stat : 12005 (minisat_static) R 11999 11999 11755 0 -1 4194304 44168 0 0 0 39558 45 0 0 25 0 1 0 310650142 182349824 44154 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/12005/statm: 44519 44154 77 171 0 44346 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 183432

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

/proc/12005/statm: 52733 52372 77 171 0 52560 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 216288

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12007
/proc/meminfo: memFree=1523256/2055920 swapFree=4039288/4192956
[pid=11999] ppid=11997 vsize=5356 CPUtime=6.23
/proc/11999/stat : 11999 (SatELiteGTI) S 11997 11999 11755 0 -1 4194304 336 9785 0 0 0 0 614 9 16 0 1 0 310649517 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11999/statm: 1339 239 197 169 0 50 0
[pid=12005] ppid=11999 vsize=226416 CPUtime=576.04
/proc/12005/stat : 12005 (minisat_static) R 11999 11999 11755 0 -1 4194304 56080 0 0 0 57545 59 0 0 25 0 1 0 310650142 231849984 56066 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12005/statm: 56604 56066 77 171 0 56431 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 231772

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12007
/proc/meminfo: memFree=1508472/2055920 swapFree=4039288/4192956
[pid=11999] ppid=11997 vsize=5356 CPUtime=6.23
/proc/11999/stat : 11999 (SatELiteGTI) S 11997 11999 11755 0 -1 4194304 336 9785 0 0 0 0 614 9 16 0 1 0 310649517 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11999/statm: 1339 239 197 169 0 50 0
[pid=12005] ppid=11999 vsize=240964 CPUtime=636.04
/proc/12005/stat : 12005 (minisat_static) R 11999 11999 11755 0 -1 4194304 59710 0 0 0 63542 62 0 0 25 0 1 0 310650142 246747136 59696 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12005/statm: 60241 59696 77 171 0 60068 0
Current children cumulated CPU time (s) 642.27
Current children cumulated vsize (KiB) 246320

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12007
/proc/meminfo: memFree=1495672/2055920 swapFree=4039288/4192956
[pid=11999] ppid=11997 vsize=5356 CPUtime=6.23
/proc/11999/stat : 11999 (SatELiteGTI) S 11997 11999 11755 0 -1 4194304 336 9785 0 0 0 0 614 9 16 0 1 0 310649517 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11999/statm: 1339 239 197 169 0 50 0
[pid=12005] ppid=11999 vsize=253692 CPUtime=696.04
/proc/12005/stat : 12005 (minisat_static) R 11999 11999 11755 0 -1 4194304 62920 0 0 0 69539 65 0 0 25 0 1 0 310650142 259780608 62906 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12005/statm: 63423 62906 77 171 0 63250 0
Current children cumulated CPU time (s) 702.27
Current children cumulated vsize (KiB) 259048

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12007
/proc/meminfo: memFree=1482936/2055920 swapFree=4039288/4192956
[pid=11999] ppid=11997 vsize=5356 CPUtime=6.23
/proc/11999/stat : 11999 (SatELiteGTI) S 11997 11999 11755 0 -1 4194304 336 9785 0 0 0 0 614 9 16 0 1 0 310649517 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11999/statm: 1339 239 197 169 0 50 0
[pid=12005] ppid=11999 vsize=266292 CPUtime=756.05
/proc/12005/stat : 12005 (minisat_static) R 11999 11999 11755 0 -1 4194304 66048 0 0 0 75537 68 0 0 25 0 1 0 310650142 272683008 66034 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/12005/statm: 66573 66034 77 171 0 66400 0
Current children cumulated CPU time (s) 762.28
Current children cumulated vsize (KiB) 271648

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12007
/proc/meminfo: memFree=1471864/2055920 swapFree=4039288/4192956
[pid=11999] ppid=11997 vsize=5356 CPUtime=6.23
/proc/11999/stat : 11999 (SatELiteGTI) S 11997 11999 11755 0 -1 4194304 336 9785 0 0 0 0 614 9 16 0 1 0 310649517 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11999/statm: 1339 239 197 169 0 50 0
[pid=12005] ppid=11999 vsize=277428 CPUtime=816.06
/proc/12005/stat : 12005 (minisat_static) R 11999 11999 11755 0 -1 4194304 68828 0 0 0 81535 71 0 0 25 0 1 0 310650142 284086272 68814 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12005/statm: 69357 68814 77 171 0 69184 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 282784

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12007
/proc/meminfo: memFree=1461112/2055920 swapFree=4039288/4192956
[pid=11999] ppid=11997 vsize=5356 CPUtime=6.23
/proc/11999/stat : 11999 (SatELiteGTI) S 11997 11999 11755 0 -1 4194304 336 9785 0 0 0 0 614 9 16 0 1 0 310649517 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11999/statm: 1339 239 197 169 0 50 0
[pid=12005] ppid=11999 vsize=288584 CPUtime=876.07
/proc/12005/stat : 12005 (minisat_static) R 11999 11999 11755 0 -1 4194304 71460 0 0 0 87534 73 0 0 25 0 1 0 310650142 295510016 71438 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12005/statm: 72146 71438 77 171 0 71973 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 293940

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12007
/proc/meminfo: memFree=1453240/2055920 swapFree=4039288/4192956
[pid=11999] ppid=11997 vsize=5356 CPUtime=6.23
/proc/11999/stat : 11999 (SatELiteGTI) S 11997 11999 11755 0 -1 4194304 336 9785 0 0 0 0 614 9 16 0 1 0 310649517 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11999/statm: 1339 239 197 169 0 50 0
[pid=12005] ppid=11999 vsize=296640 CPUtime=936.07
/proc/12005/stat : 12005 (minisat_static) R 11999 11999 11755 0 -1 4194304 73440 0 0 0 93532 75 0 0 25 0 1 0 310650142 303759360 73418 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12005/statm: 74160 73418 77 171 0 73987 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 301996

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12007
/proc/meminfo: memFree=1443704/2055920 swapFree=4039288/4192956
[pid=11999] ppid=11997 vsize=5356 CPUtime=6.23
/proc/11999/stat : 11999 (SatELiteGTI) S 11997 11999 11755 0 -1 4194304 336 9785 0 0 0 0 614 9 16 0 1 0 310649517 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11999/statm: 1339 239 197 169 0 50 0
[pid=12005] ppid=11999 vsize=306256 CPUtime=996.09
/proc/12005/stat : 12005 (minisat_static) R 11999 11999 11755 0 -1 4194304 75793 0 0 0 99531 78 0 0 25 0 1 0 310650142 313606144 75771 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/12005/statm: 76564 75771 77 171 0 76391 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 311612

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12007
/proc/meminfo: memFree=1434936/2055920 swapFree=4039288/4192956
[pid=11999] ppid=11997 vsize=5356 CPUtime=6.23
/proc/11999/stat : 11999 (SatELiteGTI) S 11997 11999 11755 0 -1 4194304 336 9785 0 0 0 0 614 9 16 0 1 0 310649517 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11999/statm: 1339 239 197 169 0 50 0
[pid=12005] ppid=11999 vsize=315460 CPUtime=1056.09
/proc/12005/stat : 12005 (minisat_static) R 11999 11999 11755 0 -1 4194304 78079 0 0 0 105528 81 0 0 25 0 1 0 310650142 323031040 78057 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12005/statm: 78865 78057 77 171 0 78692 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 320816

[startup+1122.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/66 12007
/proc/meminfo: memFree=1425528/2055920 swapFree=4039288/4192956
[pid=11999] ppid=11997 vsize=5356 CPUtime=6.23
/proc/11999/stat : 11999 (SatELiteGTI) S 11997 11999 11755 0 -1 4194304 336 9785 0 0 0 0 614 9 16 0 1 0 310649517 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11999/statm: 1339 239 197 169 0 50 0
[pid=12005] ppid=11999 vsize=324408 CPUtime=1116.1
/proc/12005/stat : 12005 (minisat_static) R 11999 11999 11755 0 -1 4194304 80275 0 0 0 111527 83 0 0 25 0 1 0 310650142 332193792 80253 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12005/statm: 81102 80253 77 171 0 80929 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 329764

[startup+1182.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/66 12007
/proc/meminfo: memFree=1425272/2055920 swapFree=4039288/4192956
[pid=11999] ppid=11997 vsize=5356 CPUtime=6.23
/proc/11999/stat : 11999 (SatELiteGTI) S 11997 11999 11755 0 -1 4194304 336 9785 0 0 0 0 614 9 16 0 1 0 310649517 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11999/statm: 1339 239 197 169 0 50 0
[pid=12005] ppid=11999 vsize=324848 CPUtime=1176.1
/proc/12005/stat : 12005 (minisat_static) R 11999 11999 11755 0 -1 4194304 80335 0 0 0 117527 83 0 0 25 0 1 0 310650142 332644352 80313 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12005/statm: 81212 80313 77 171 0 81039 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 330204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200 s]
/proc/loadavg: 1.02 1.01 1.00 3/66 12007
/proc/meminfo: memFree=1425208/2055920 swapFree=4039288/4192956
[pid=11999] ppid=11997 vsize=5356 CPUtime=6.23
/proc/11999/stat : 11999 (SatELiteGTI) S 11997 11999 11755 0 -1 4194304 336 9785 0 0 0 0 614 9 16 0 1 0 310649517 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11999/statm: 1339 239 197 169 0 50 0
[pid=12005] ppid=11999 vsize=324848 CPUtime=1193.81
/proc/12005/stat : 12005 (minisat_static) R 11999 11999 11755 0 -1 4194304 80338 0 0 0 119298 83 0 0 25 0 1 0 310650142 332644352 80316 1992294400 134512640 135215339 4294956240 18446744073709551615 134532827 0 0 4096 3 0 0 0 17 1 0 0
/proc/12005/statm: 81212 80316 77 171 0 81039 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 330204

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

Real time (s): 1200.02
CPU time (s): 1200.04
CPU user time (s): 1199.12
CPU system time (s): 0.92
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 330204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.14207
system time used= 0.099984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10121
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 34

runsolver used 1.42178 second user time and 3.03954 second system time

The end

Launcher Data 

Begin job on node16 at 2009-05-20 15:29:21
IDJOB=1833921
IDBENCH=71069
IDSOLVER=671
FILE ID=node16/1833921-1242826161
PBS_JOBID= 9322485
Free space on /tmp= 66296 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= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833921-1242826161/watcher-1833921-1242826161 -o /tmp/evaluation-result-1833921-1242826161/solver-1833921-1242826161 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1833921-1242826161.cnf

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

MD5SUM BENCH= d554330e1400d4f25a793413df9abc4e
RANDOM SEED=1078411355

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1759704 kB
Buffers:         16472 kB
Cached:          96072 kB
SwapCached:     147760 kB
Active:         150004 kB
Inactive:       111900 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1759704 kB
SwapTotal:     4192956 kB
SwapFree:      4039288 kB
Dirty:            8444 kB
Writeback:           0 kB
Mapped:          13404 kB
Slab:            20408 kB
Committed_AS:  1094220 kB
PageTables:       1440 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66284 MiB
End job on node16 at 2009-05-20 15:49:23