Trace number 1820423

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr r-2009-03-18? (TO) 1200.02 1199.93

General information on the benchmark

Nameindustrial/fuhs/hard/
AProVE07-25.cnf
MD5SUM0acd143a4e60b38309663b5993b5ded9
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 variables8920
Number of clauses31884
Sum of the clauses size83706
Maximum clause length229
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 215331
Number of clauses of size 314327
Number of clauses of size 41469
Number of clauses of size 5588
Number of clauses of size over 5168

Solver Data 

0.00/0.00	c Parsing...
0.00/0.03	c ==============================================================================
0.00/0.03	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.03	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.03	c ==============================================================================
0.00/0.03	c |         0 |   30972    81428 |    9291       0        0     nan |  0.000 % |
0.22/0.24	c |         0 |   22056    71256 |      --       0       --      -- |     --   | -8916/-10172
0.22/0.24	c ==============================================================================
0.22/0.24	c Result  :   #vars: 3830   #clauses: 22056   #literals: 71256
0.22/0.24	c CPU time:   0.22 s
0.22/0.24	c ==============================================================================
0.22/0.27	c This is MiniSat 2.0 beta
0.22/0.27	c WARNING: for repeatability, setting FPU to use double precision
0.22/0.27	c ============================[ Problem Statistics ]=============================
0.22/0.27	c |                                                                             |
0.22/0.27	c |  Number of variables:  3830                                                 |
0.22/0.27	c |  Number of clauses:    22056                                                |
0.22/0.28	c |  Parsing time:         0.02         s                                       |
0.22/0.28	c ============================[ Search Statistics ]==============================
0.22/0.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.22/0.28	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.22/0.28	c ===============================================================================
0.22/0.28	c |         0 |    3830    22056    71256 |     7352        0    nan |  0.000 % |
0.27/0.34	c |       512 |    3830    22056    71256 |     7352      512     20 |  0.000 % |
0.27/0.38	c |      1024 |    3830    22056    71256 |     7352     1024     21 |  0.000 % |
0.27/0.44	c |      1536 |    3830    22056    71256 |     7352     1536     23 |  0.001 % |
0.27/0.56	c |      2560 |    3830    22056    71256 |     7352     2560     28 |  0.000 % |
0.27/0.64	c |      3072 |    3830    22056    71256 |     7352     3072     28 |  0.000 % |
0.27/0.69	c |      3584 |    3830    22056    71256 |     7352     3584     32 |  0.000 % |
0.27/0.82	c |      4608 |    3830    22056    71256 |     7352     4608     30 |  0.000 % |
1.12/1.17	c |      6658 |    3830    22056    71256 |     7352     6658     29 |  0.000 % |
1.22/1.26	c |      7173 |    3830    22056    71256 |     7352     7173     30 |  0.000 % |
1.32/1.35	c |      7686 |    3830    22056    71256 |     7352     7686     30 |  0.000 % |
1.52/1.55	c |      8711 |    3830    22056    71256 |     7352     7943     31 |  0.000 % |
1.62/1.68	c |      9224 |    3830    22056    71256 |     7352     7662     30 |  0.000 % |
1.82/1.82	c |      9736 |    3830    22056    71256 |     7352     7408     30 |  0.000 % |
2.02/2.08	c |     10760 |    3829    22047    71236 | 2147483647     7690     30 |  0.026 % |
2.32/2.40	c |     12809 |    3829    22047    71236 | 2147483647     9739     31 |  0.026 % |
3.12/3.20	c |     16905 |    3829    22047    71236 | 2147483647    13835     47 |  0.026 % |
3.32/3.36	c |     17417 |    3829    22047    71236 | 2147483647    14347     47 |  0.026 % |
3.42/3.48	c |     17930 |    3829    22047    71236 | 2147483647    14860     49 |  0.026 % |
3.72/3.80	c |     18955 |    3829    22047    71236 | 2147483647    15885     50 |  0.026 % |
3.92/3.93	c |     19467 |    3829    22047    71236 | 2147483647    16397     50 |  0.026 % |
4.02/4.11	c |     19979 |    3829    22047    71236 | 2147483647    16909     50 |  0.026 % |
4.32/4.38	c |     21003 |    3829    22047    71236 | 2147483647    17933     52 |  0.026 % |
4.92/4.98	c |     23051 |    3829    22047    71236 | 2147483647    19981     50 |  0.026 % |
5.12/5.13	c |     23563 |    3829    22047    71236 | 2147483647    20493     49 |  0.026 % |
5.22/5.26	c |     24075 |    3828    22038    71216 | 2147483647    21003     49 |  0.052 % |
5.52/5.52	c |     25101 |    3828    22038    71216 | 2147483647    22029     48 |  0.053 % |
5.72/5.76	c |     25613 |    3828    22038    71216 | 2147483647    22541     47 |  0.052 % |
5.92/5.98	c |     26126 |    3828    22038    71216 | 2147483647    23054     47 |  0.052 % |
6.32/6.35	c |     27150 |    3828    22038    71216 | 2147483647    24078     46 |  0.052 % |
7.02/7.07	c |     29199 |    3828    22038    71216 | 2147483647    26127     46 |  0.052 % |
9.02/9.03	c |     33296 |    3828    22038    71216 | 2147483647    30224     45 |  0.052 % |
13.23/13.25	c |     41488 |    3828    22038    71216 | 2147483647    38416     45 |  0.052 % |
13.52/13.53	c |     42000 |    3828    22038    71216 | 2147483647    38928     45 |  0.052 % |
13.72/13.74	c |     42514 |    3828    22038    71216 | 2147483647    39442     45 |  0.053 % |
14.22/14.25	c |     43538 |    3828    22038    71216 | 2147483647    40466     45 |  0.052 % |
14.52/14.57	c |     44051 |    3828    22038    71216 | 2147483647    40979     45 |  0.052 % |
14.82/14.89	c |     44565 |    3828    22038    71216 | 2147483647    41493     45 |  0.053 % |
15.32/15.32	c |     45589 |    3828    22038    71216 | 2147483647    42517     45 |  0.052 % |
16.22/16.28	c |     47638 |    3828    22038    71216 | 2147483647    44566     44 |  0.053 % |
16.62/16.66	c |     48150 |    3828    22038    71216 | 2147483647    45078     44 |  0.052 % |
17.02/17.06	c |     48662 |    3828    22038    71216 | 2147483647    45590     44 |  0.052 % |
17.72/17.79	c |     49686 |    3828    22038    71216 | 2147483647    46614     44 |  0.052 % |
18.02/18.10	c |     50200 |    3828    22038    71216 |    46929    47128     44 |  0.052 % |
18.42/18.49	c |     50712 |    3828    22038    71216 |    46929    42079     45 |  0.052 % |
19.02/19.04	c |     51737 |    3828    22038    71216 |    46929    43104     45 |  0.052 % |
20.52/20.51	c |     53791 |    3828    22038    71216 |    46929    45158     44 |  0.053 % |
22.52/22.59	c |     57887 |    3828    22038    71216 |    46929    43769     41 |  0.052 % |
22.82/22.88	c |     58399 |    3828    22038    71216 |    46929    44281     41 |  0.052 % |
23.02/23.04	c |     58915 |    3828    22038    71216 |    46929    44797     41 |  0.052 % |
23.52/23.57	c |     59939 |    3828    22038    71216 |    46929    45821     41 |  0.052 % |
23.92/23.93	c |     60451 |    3828    22038    71216 |    45882    39486     39 |  0.052 % |
24.12/24.21	c |     60965 |    3828    22038    71216 |    45882    40000     40 |  0.052 % |
24.82/24.85	c |     61989 |    3828    22038    71216 |    45882    41024     40 |  0.052 % |
26.32/26.33	c |     64037 |    3828    22038    71216 |    45882    43072     41 |  0.052 % |
26.52/26.58	c |     64550 |    3828    22038    71216 |    45882    43585     41 |  0.053 % |
26.82/26.86	c |     65062 |    3828    22038    71216 |    45882    44097     40 |  0.053 % |
27.32/27.38	c |     66088 |    3828    22038    71216 |    45882    45123     40 |  0.052 % |
27.53/27.61	c |     66600 |    3828    22038    71216 |    45882    45635     40 |  0.052 % |
27.82/27.83	c |     67112 |    3828    22038    71216 |    45882    46147     40 |  0.052 % |
28.52/28.61	c |     68141 |    3828    22038    71216 |    45882    39019     40 |  0.053 % |
29.62/29.64	c |     70191 |    3828    22038    71216 |    40879    41069     41 |  0.052 % |
31.62/31.61	c |     74287 |    3828    22038    71216 |    40879    37877     42 |  0.052 % |
36.33/36.35	c |     82481 |    3828    22038    71216 |    34724    29280     43 |  0.052 % |
45.02/45.04	c |     98866 |    3828    22038    71216 |    29836    28698     42 |  0.053 % |
45.32/45.36	c |     99383 |    3828    22038    71216 |    29836    29215     42 |  0.052 % |
45.52/45.60	c |     99896 |    3828    22038    71216 |    29836    29728     42 |  0.052 % |
46.02/46.10	c |    100920 |    3828    22038    71216 |    29832    27478     41 |  0.052 % |
46.23/46.29	c |    101433 |    3828    22038    71216 |    29832    27991     41 |  0.052 % |
46.42/46.47	c |    101946 |    3828    22038    71216 |    29832    28504     42 |  0.052 % |
46.82/46.82	c |    102971 |    3828    22038    71216 |    29832    29529     42 |  0.052 % |
47.62/47.68	c |    105021 |    3828    22038    71216 |    29832    27937     41 |  0.052 % |
47.82/47.83	c |    105535 |    3828    22038    71216 |    29832    28451     41 |  0.052 % |
48.02/48.03	c |    106049 |    3828    22038    71216 |    29832    28965     41 |  0.052 % |
48.32/48.37	c |    107075 |    3828    22038    71216 |    29832    29991     42 |  0.053 % |
48.52/48.54	c |    107587 |    3828    22038    71216 |    29832    27504     41 |  0.053 % |
48.72/48.74	c |    108100 |    3828    22038    71216 |    29832    28017     41 |  0.052 % |
49.12/49.19	c |    109125 |    3828    22038    71216 |    29832    29042     40 |  0.052 % |
49.82/49.88	c |    111176 |    3828    22038    71216 | 2147483647    31093     42 |  0.052 % |
51.82/51.86	c |    115273 |    3828    22038    71216 | 2147483647    35190     44 |  0.052 % |
52.12/52.13	c |    115787 |    3828    22038    71216 | 2147483647    35704     44 |  0.052 % |
52.32/52.37	c |    116299 |    3828    22038    71216 | 2147483647    36216     45 |  0.052 % |
52.83/52.88	c |    117325 |    3828    22038    71216 | 2147483647    37242     45 |  0.052 % |
53.12/53.15	c |    117839 |    3828    22038    71216 | 2147483647    37756     45 |  0.052 % |
53.32/53.40	c |    118351 |    3828    22038    71216 | 2147483647    38268     45 |  0.052 % |
53.82/53.89	c |    119375 |    3828    22038    71216 | 2147483647    39292     45 |  0.052 % |
55.03/55.03	c |    121425 |    3828    22038    71216 |    39918    33874     46 |  0.052 % |
55.22/55.28	c |    121937 |    3828    22038    71216 |    39918    34386     46 |  0.052 % |
55.52/55.53	c |    122449 |    3828    22038    71216 |    39918    34898     46 |  0.052 % |
56.13/56.12	c |    123474 |    3828    22038    71216 |    39918    35923     46 |  0.052 % |
56.32/56.35	c |    123986 |    3828    22038    71216 |    39918    36435     46 |  0.052 % |
56.62/56.64	c |    124499 |    3828    22038    71216 |    39918    36948     46 |  0.052 % |
57.12/57.21	c |    125523 |    3828    22038    71216 |    39918    37972     46 |  0.052 % |
58.33/58.40	c |    127571 |    3827    22029    71196 |    39918    40019     45 |  0.079 % |
60.03/60.04	c |    131668 |    3826    22020    71176 |    35623    32647     43 |  0.104 % |
63.33/63.41	c |    139861 |    3826    22020    71176 |    35623    34749     45 |  0.104 % |
63.53/63.56	c |    140376 |    3826    22020    71176 |    34889    35264     45 |  0.104 % |
63.83/63.82	c |    140888 |    3826    22020    71176 |    34889    29037     42 |  0.104 % |
64.13/64.20	c |    141912 |    3826    22020    71176 |    34889    30061     42 |  0.104 % |
64.43/64.43	c |    142425 |    3826    22020    71176 |    34889    30574     42 |  0.104 % |
64.63/64.68	c |    142937 |    3826    22020    71176 |    34889    31086     42 |  0.104 % |
65.13/65.14	c |    143961 |    3826    22020    71176 |    34889    32110     43 |  0.104 % |
66.13/66.20	c |    146010 |    3826    22020    71176 |    34889    34159     43 |  0.104 % |
66.33/66.35	c |    146522 |    3826    22020    71176 |    34889    34671     43 |  0.105 % |
66.53/66.59	c |    147034 |    3826    22020    71176 |    34889    35183     43 |  0.105 % |
66.93/66.97	c |    148058 |    3826    22020    71176 |    34889    31201     40 |  0.105 % |
67.13/67.14	c |    148570 |    3826    22020    71176 |    34889    31713     40 |  0.105 % |
67.33/67.41	c |    149082 |    3826    22020    71176 |    34889    32225     40 |  0.105 % |
67.73/67.80	c |    150106 |    3826    22020    71176 |    33143    33249     40 |  0.105 % |
68.73/68.79	c |    152156 |    3826    22020    71176 |    33143    31615     40 |  0.104 % |
70.43/70.48	c |    156252 |    3826    22020    71176 |    33143    32283     39 |  0.104 % |
70.63/70.67	c |    156764 |    3826    22020    71176 |    33143    32795     39 |  0.104 % |
70.83/70.85	c |    157278 |    3826    22020    71176 |    33143    33309     40 |  0.104 % |
71.23/71.28	c |    158302 |    3826    22020    71176 |    33143    31003     40 |  0.105 % |
71.43/71.50	c |    158814 |    3826    22020    71176 |    33143    31515     41 |  0.105 % |
71.63/71.68	c |    159326 |    3826    22020    71176 |    33143    32027     41 |  0.104 % |
72.03/72.08	c |    160351 |    3826    22020    71176 | 2147483647    33052     41 |  0.104 % |
72.93/73.01	c |    162399 |    3826    22020    71176 | 2147483647    35100     42 |  0.104 % |
73.23/73.24	c |    162911 |    3826    22020    71176 | 2147483647    35612     42 |  0.104 % |
73.53/73.53	c |    163423 |    3826    22020    71176 | 2147483647    36124     42 |  0.104 % |
73.93/73.99	c |    164447 |    3826    22020    71176 | 2147483647    37148     42 |  0.104 % |
74.13/74.21	c |    164960 |    3826    22020    71176 | 2147483647    37661     42 |  0.104 % |
74.43/74.45	c |    165472 |    3826    22020    71176 | 2147483647    38173     42 |  0.104 % |
74.83/74.86	c |    166496 |    3826    22020    71176 | 2147483647    39197     42 |  0.104 % |
75.83/75.86	c |    168544 |    3826    22020    71176 | 2147483647    41245     42 |  0.104 % |
77.53/77.52	c |    172640 |    3826    22020    71176 | 2147483647    45341     44 |  0.105 % |
82.23/82.23	c |    180833 |    3826    22020    71176 |    52701    53534     46 |  0.104 % |
92.53/92.55	c |    197218 |    3825    22011    71156 |    52211    46744     46 |  0.131 % |
112.43/112.46	c |    229987 |    3825    22011    71156 |    49262    39506     44 |  0.131 % |
112.73/112.76	c |    230500 |    3825    22011    71156 |    39521    40019     44 |  0.131 % |
113.03/113.09	c |    231012 |    3825    22011    71156 |    39521    31899     43 |  0.131 % |
113.53/113.58	c |    232036 |    3825    22011    71156 |    39521    32923     42 |  0.131 % |
113.73/113.79	c |    232548 |    3825    22011    71156 |    39521    33435     42 |  0.131 % |
113.83/113.90	c |    233060 |    3825    22011    71156 |    39521    33947     42 |  0.131 % |
114.23/114.27	c |    234085 |    3825    22011    71156 |    39521    34972     41 |  0.131 % |
114.93/114.93	c |    236135 |    3825    22011    71156 |    39521    37022     43 |  0.131 % |
115.13/115.17	c |    236648 |    3825    22011    71156 |    39521    37535     43 |  0.131 % |
115.33/115.40	c |    237161 |    3825    22011    71156 |    39521    38048     43 |  0.131 % |
115.83/115.89	c |    238187 |    3824    22002    71136 |    39521    39073     43 |  0.157 % |
116.13/116.13	c |    238699 |    3824    22002    71136 |    39521    39585     43 |  0.157 % |
116.43/116.48	c |    239213 |    3824    22002    71136 |    39521    34301     44 |  0.157 % |
116.83/116.91	c |    240238 |    3824    22002    71136 |    35088    35326     44 |  0.157 % |
117.73/117.77	c |    242286 |    3824    22002    71136 |    35088    32607     44 |  0.157 % |
119.93/119.99	c |    246382 |    3824    22002    71136 |    35088    33150     42 |  0.157 % |
120.13/120.20	c |    246895 |    3824    22002    71136 |    35088    33663     42 |  0.157 % |
120.43/120.43	c |    247411 |    3824    22002    71136 |    35088    34179     42 |  0.157 % |
121.03/121.01	c |    248436 |    3824    22002    71136 |    35088    35204     42 |  0.157 % |
121.23/121.26	c |    248948 |    3824    22002    71136 |    35088    32196     42 |  0.157 % |
121.43/121.43	c |    249461 |    3824    22002    71136 |    35088    32709     42 |  0.157 % |
121.73/121.79	c |    250485 |    3824    22002    71136 | 2147483647    33733     42 |  0.157 % |
122.63/122.65	c |    252536 |    3824    22002    71136 | 2147483647    35784     43 |  0.157 % |
122.83/122.82	c |    253048 |    3824    22002    71136 | 2147483647    36296     43 |  0.157 % |
123.03/123.07	c |    253560 |    3824    22002    71136 | 2147483647    36808     43 |  0.157 % |
123.43/123.46	c |    254586 |    3824    22002    71136 | 2147483647    37834     43 |  0.157 % |
123.63/123.65	c |    255099 |    3824    22002    71136 | 2147483647    38347     43 |  0.157 % |
123.83/123.81	c |    255612 |    3824    22002    71136 | 2147483647    38860     43 |  0.157 % |
124.13/124.18	c |    256637 |    3824    22002    71136 | 2147483647    39885     43 |  0.157 % |
124.83/124.82	c |    258685 |    3824    22002    71136 | 2147483647    41933     44 |  0.157 % |
126.73/126.78	c |    262782 |    3824    22002    71136 |    43248    38546     41 |  0.157 % |
129.84/129.90	c |    270976 |    3824    22002    71136 |    35492    26907     45 |  0.157 % |
130.03/130.10	c |    271491 |    3824    22002    71136 |    35492    27422     45 |  0.157 % |
130.23/130.29	c |    272003 |    3824    22002    71136 |    35492    27934     46 |  0.157 % |
130.63/130.66	c |    273027 |    3824    22002    71136 |    35492    28958     45 |  0.157 % |
130.83/130.83	c |    273540 |    3824    22002    71136 |    35492    29471     46 |  0.157 % |
130.94/130.98	c |    274052 |    3824    22002    71136 |    35492    29983     45 |  0.157 % |
131.43/131.43	c |    275076 |    3824    22002    71136 |    35492    31007     45 |  0.157 % |
132.13/132.20	c |    277125 |    3824    22002    71136 |    35492    33056     44 |  0.157 % |
132.33/132.38	c |    277638 |    3824    22002    71136 |    35492    33569     44 |  0.157 % |
132.53/132.53	c |    278150 |    3824    22002    71136 |    35492    34081     44 |  0.157 % |
133.03/133.05	c |    279174 |    3824    22002    71136 |    35492    35105     44 |  0.157 % |
133.23/133.23	c |    279686 |    3824    22002    71136 |    35492    35617     44 |  0.157 % |
133.43/133.46	c |    280198 |    3824    22002    71136 |    31712    31910     43 |  0.157 % |
133.83/133.90	c |    281222 |    3824    22002    71136 |    31712    29038     42 |  0.157 % |
134.73/134.73	c |    283270 |    3824    22002    71136 |    31712    31086     42 |  0.157 % |
136.73/136.75	c |    287366 |    3824    22002    71136 |    31712    30825     42 |  0.157 % |
136.93/136.93	c |    287879 |    3824    22002    71136 |    31712    31338     42 |  0.157 % |
137.03/137.08	c |    288392 |    3824    22002    71136 |    31712    31851     42 |  0.157 % |
137.43/137.48	c |    289416 |    3824    22002    71136 |    31712    29282     41 |  0.157 % |
137.63/137.68	c |    289928 |    3824    22002    71136 |    31712    29794     41 |  0.157 % |
137.83/137.89	c |    290442 |    3824    22002    71136 |    29867    30308     41 |  0.157 % |
138.33/138.36	c |    291466 |    3824    22002    71136 |    29867    28302     40 |  0.157 % |
139.23/139.29	c |    293514 |    3824    22002    71136 |    29867    30350     40 |  0.157 % |
139.43/139.51	c |    294026 |    3824    22002    71136 |    29867    27827     37 |  0.157 % |
139.63/139.67	c |    294538 |    3824    22002    71136 |    29867    28339     38 |  0.157 % |
140.03/140.02	c |    295562 |    3824    22002    71136 |    29867    29363     38 |  0.157 % |
140.13/140.20	c |    296075 |    3824    22002    71136 |    29867    29876     38 |  0.157 % |
140.33/140.40	c |    296588 |    3824    22002    71136 |    29867    27402     36 |  0.157 % |
140.73/140.74	c |    297612 |    3824    22002    71136 |    29867    28426     36 |  0.157 % |
141.43/141.45	c |    299661 |    3824    22002    71136 |    29867    30475     36 |  0.157 % |
143.13/143.18	c |    303757 |    3824    22002    71136 | 2147483647    31524     37 |  0.157 % |
146.73/146.71	c |    311950 |    3824    22002    71136 |    37768    35454     41 |  0.157 % |
154.83/154.83	c |    328334 |    3824    22002    71136 |    34055    33304     41 |  0.157 % |
155.03/155.10	c |    328846 |    3824    22002    71136 |    34055    33816     41 |  0.157 % |
155.33/155.32	c |    329358 |    3824    22002    71136 |    34055    34328     41 |  0.157 % |
155.73/155.73	c |    330382 |    3824    22002    71136 |    31364    31746     41 |  0.157 % |
156.03/156.01	c |    330894 |    3824    22002    71136 |    31364    28644     37 |  0.157 % |
156.24/156.27	c |    331406 |    3824    22002    71136 |    31364    29156     37 |  0.157 % |
156.63/156.69	c |    332431 |    3824    22002    71136 |    31364    30181     37 |  0.157 % |
157.53/157.55	c |    334481 |    3824    22002    71136 |    31364    29045     35 |  0.157 % |
157.73/157.81	c |    334993 |    3824    22002    71136 |    31364    29557     35 |  0.157 % |
157.93/157.97	c |    335505 |    3824    22002    71136 |    31364    30069     35 |  0.157 % |
158.44/158.47	c |    336529 |    3824    22002    71136 |    31364    31093     35 |  0.157 % |
158.63/158.71	c |    337041 |    3824    22002    71136 |    31364    31605     35 |  0.157 % |
158.93/158.95	c |    337555 |    3824    22002    71136 |    31364    28959     33 |  0.157 % |
159.33/159.39	c |    338579 |    3824    22002    71136 |    31364    29983     33 |  0.157 % |
160.03/160.08	c |    340628 |    3824    22002    71136 | 2147483647    32032     33 |  0.157 % |
161.23/161.23	c |    344724 |    3824    22002    71136 | 2147483647    36128     36 |  0.157 % |
161.43/161.45	c |    345238 |    3824    22002    71136 | 2147483647    36642     36 |  0.157 % |
161.63/161.68	c |    345752 |    3824    22002    71136 | 2147483647    37156     36 |  0.157 % |
162.03/162.10	c |    346777 |    3824    22002    71136 | 2147483647    38181     37 |  0.157 % |
162.33/162.34	c |    347291 |    3824    22002    71136 | 2147483647    38695     37 |  0.157 % |
162.53/162.59	c |    347805 |    3824    22002    71136 | 2147483647    39209     37 |  0.157 % |
163.03/163.01	c |    348829 |    3824    22002    71136 | 2147483647    40233     37 |  0.157 % |
163.94/163.92	c |    350877 |    3824    22002    71136 |    41406    42281     37 |  0.157 % |
164.23/164.23	c |    351389 |    3824    22002    71136 |    41406    37179     36 |  0.157 % |
164.43/164.44	c |    351902 |    3824    22002    71136 |    41406    37692     36 |  0.157 % |
164.93/164.95	c |    352926 |    3824    22002    71136 |    41406    38716     36 |  0.157 % |
165.13/165.21	c |    353438 |    3824    22002    71136 |    41406    39228     36 |  0.157 % |
165.43/165.48	c |    353950 |    3824    22002    71136 |    41406    39740     37 |  0.157 % |
165.93/165.97	c |    354974 |    3824    22002    71136 |    41406    40764     37 |  0.157 % |
166.93/166.91	c |    357023 |    3824    22002    71136 |    41406    35836     39 |  0.157 % |
168.63/168.70	c |    361121 |    3824    22002    71136 |    38813    34608     39 |  0.157 % |
172.24/172.29	c |    369313 |    3824    22002    71136 |    38813    38327     41 |  0.157 % |
172.44/172.48	c |    369826 |    3824    22002    71136 |    38813    38840     41 |  0.157 % |
172.64/172.71	c |    370338 |    3824    22002    71136 |    34351    34689     42 |  0.157 % |
173.14/173.13	c |    371362 |    3824    22002    71136 |    34351    31347     41 |  0.157 % |
173.34/173.33	c |    371875 |    3824    22002    71136 |    34351    31860     41 |  0.157 % |
173.54/173.54	c |    372390 |    3824    22002    71136 |    34351    32375     41 |  0.157 % |
173.94/174.01	c |    373417 |    3824    22002    71136 |    34351    33402     41 |  0.157 % |
174.74/174.81	c |    375466 |    3824    22002    71136 |    34351    30206     42 |  0.157 % |
174.94/174.99	c |    375979 |    3824    22002    71136 |    34351    30719     42 |  0.157 % |
175.14/175.20	c |    376492 |    3824    22002    71136 |    34351    31232     43 |  0.157 % |
175.64/175.64	c |    377516 |    3824    22002    71136 |    34351    32256     43 |  0.157 % |
175.84/175.83	c |    378028 |    3824    22002    71136 |    34351    32768     43 |  0.157 % |
176.14/176.12	c |    378542 |    3824    22002    71136 |    34351    33282     42 |  0.157 % |
176.54/176.56	c |    379567 |    3824    22002    71136 |    34351    34307     42 |  0.157 % |
177.44/177.51	c |    381617 |    3824    22002    71136 |    34740    32043     40 |  0.157 % |
179.34/179.34	c |    385715 |    3824    22002    71136 |    34740    32486     38 |  0.157 % |
179.54/179.53	c |    386228 |    3824    22002    71136 |    34740    32999     38 |  0.157 % |
179.74/179.72	c |    386740 |    3824    22002    71136 |    34740    33511     38 |  0.157 % |
180.14/180.18	c |    387764 |    3824    22002    71136 |    34740    34535     39 |  0.157 % |
180.34/180.34	c |    388276 |    3824    22002    71136 |    34740    35047     39 |  0.157 % |
180.54/180.58	c |    388788 |    3824    22002    71136 |    34740    31613     39 |  0.157 % |
180.94/180.99	c |    389814 |    3824    22002    71136 |    34740    32639     39 |  0.157 % |
181.84/181.87	c |    391862 |    3824    22002    71136 |    32825    29672     38 |  0.157 % |
181.94/181.99	c |    392374 |    3824    22002    71136 |    32825    30184     38 |  0.157 % |
182.14/182.14	c |    392886 |    3824    22002    71136 |    32825    30696     38 |  0.157 % |
182.54/182.53	c |    393911 |    3824    22002    71136 |    32825    31721     37 |  0.157 % |
182.74/182.77	c |    394423 |    3824    22002    71136 |    32825    32233     37 |  0.157 % |
183.04/183.06	c |    394935 |    3824    22002    71136 |    32825    32745     37 |  0.157 % |
183.64/183.62	c |    395962 |    3824    22002    71136 |    32825    33772     37 |  0.157 % |
184.44/184.48	c |    398010 |    3824    22002    71136 |    32825    29906     34 |  0.157 % |
186.04/186.05	c |    402107 |    3824    22002    71136 |    31896    29317     33 |  0.157 % |
189.44/189.49	c |    410299 |    3824    22002    71136 |    28697    28996     39 |  0.157 % |
197.54/197.52	c |    426683 |    3824    22002    71136 |    28104    28997     48 |  0.157 % |
210.24/210.25	c |    459451 |    3823    21993    71116 | 2147483647    44802     38 |  0.183 % |
243.83/243.84	c |    524988 |    3822    21984    71096 |    39897    37718     40 |  0.209 % |
244.13/244.11	c |    525503 |    3822    21984    71096 |    39897    38233     40 |  0.209 % |
244.33/244.30	c |    526016 |    3822    21984    71096 |    39897    38746     40 |  0.209 % |
244.73/244.76	c |    527043 |    3822    21984    71096 |    39897    39773     40 |  0.209 % |
244.93/244.97	c |    527555 |    3822    21984    71096 |    39897    40285     40 |  0.209 % |
245.23/245.29	c |    528067 |    3822    21984    71096 |    39897    33944     40 |  0.209 % |
245.63/245.70	c |    529092 |    3822    21984    71096 |    39897    34969     39 |  0.209 % |
246.53/246.54	c |    531140 |    3822    21984    71096 |    35877    37017     40 |  0.209 % |
246.83/246.85	c |    531655 |    3822    21984    71096 |    35877    30992     41 |  0.209 % |
247.03/247.10	c |    532170 |    3822    21984    71096 |    35877    31507     41 |  0.209 % |
247.43/247.50	c |    533194 |    3822    21984    71096 |    35877    32531     41 |  0.209 % |
247.73/247.73	c |    533707 |    3822    21984    71096 |    35877    33044     41 |  0.209 % |
247.93/247.96	c |    534219 |    3822    21984    71096 |    35877    33556     41 |  0.209 % |
248.43/248.40	c |    535245 |    3822    21984    71096 |    35877    34582     40 |  0.209 % |
249.63/249.64	c |    537293 |    3822    21984    71096 |    35877    36630     40 |  0.209 % |
252.23/252.23	c |    541389 |    3822    21984    71096 |    35148    32198     39 |  0.209 % |
252.43/252.45	c |    541901 |    3822    21984    71096 |    35148    32710     39 |  0.209 % |
252.63/252.65	c |    542413 |    3822    21984    71096 |    35148    33222     39 |  0.209 % |
253.23/253.20	c |    543438 |    3822    21984    71096 |    35148    34247     39 |  0.209 % |
253.43/253.45	c |    543950 |    3822    21984    71096 |    35148    34759     38 |  0.209 % |
253.73/253.78	c |    544462 |    3822    21984    71096 |    35148    35271     38 |  0.209 % |
254.23/254.23	c |    545486 |    3822    21984    71096 |    35148    32768     38 |  0.209 % |
255.24/255.29	c |    547535 |    3822    21984    71096 |    35148    34817     38 |  0.209 % |
255.53/255.55	c |    548047 |    3822    21984    71096 |    35148    35329     38 |  0.209 % |
255.73/255.76	c |    548561 |    3822    21984    71096 |    35148    32311     38 |  0.209 % |
256.23/256.21	c |    549589 |    3822    21984    71096 |    35148    33339     37 |  0.209 % |
256.43/256.43	c |    550101 |    3822    21984    71096 | 2147483647    33851     37 |  0.209 % |
256.63/256.61	c |    550613 |    3822    21984    71096 | 2147483647    34363     37 |  0.209 % |
257.03/257.07	c |    551637 |    3822    21984    71096 | 2147483647    35387     37 |  0.209 % |
258.13/258.16	c |    553687 |    3822    21984    71096 | 2147483647    37437     37 |  0.209 % |
260.43/260.43	c |    557787 |    3822    21984    71096 | 2147483647    41537     38 |  0.209 % |
265.23/265.30	c |    565980 |    3822    21984    71096 |    43751    43191     39 |  0.209 % |
265.53/265.56	c |    566492 |    3822    21984    71096 |    43751    43703     40 |  0.209 % |
265.93/265.94	c |    567005 |    3822    21984    71096 |    43751    44216     40 |  0.209 % |
266.53/266.56	c |    568029 |    3822    21984    71096 |    43751    37411     39 |  0.209 % |
266.73/266.75	c |    568543 |    3822    21984    71096 |    43751    37925     39 |  0.209 % |
266.93/266.95	c |    569056 |    3822    21984    71096 |    43751    38438     39 |  0.209 % |
267.34/267.36	c |    570081 |    3822    21984    71096 |    39382    39463     39 |  0.209 % |
268.23/268.29	c |    572130 |    3822    21984    71096 |    39382    35224     39 |  0.209 % |
268.53/268.52	c |    572642 |    3822    21984    71096 |    39382    35736     39 |  0.209 % |
268.73/268.71	c |    573154 |    3822    21984    71096 |    39382    36248     39 |  0.209 % |
269.23/269.21	c |    574179 |    3822    21984    71096 |    39382    37273     39 |  0.209 % |
269.33/269.39	c |    574692 |    3822    21984    71096 |    39382    37786     39 |  0.209 % |
269.54/269.60	c |    575204 |    3822    21984    71096 |    39382    38298     39 |  0.209 % |
270.03/270.03	c |    576228 |    3822    21984    71096 |    39382    39322     39 |  0.209 % |
271.03/271.06	c |    578277 |    3822    21984    71096 |    39382    35676     39 |  0.209 % |
273.13/273.12	c |    582374 |    3822    21984    71096 |    37400    35103     40 |  0.209 % |
273.33/273.36	c |    582886 |    3822    21984    71096 |    37400    35615     40 |  0.209 % |
273.53/273.57	c |    583398 |    3822    21984    71096 |    37400    36127     40 |  0.209 % |
274.03/274.04	c |    584422 |    3822    21984    71096 |    37400    37151     41 |  0.209 % |
274.23/274.24	c |    584935 |    3822    21984    71096 |    37400    37664     41 |  0.209 % |
274.53/274.53	c |    585447 |    3822    21984    71096 |    37400    33809     40 |  0.209 % |
275.04/275.10	c |    586474 |    3822    21984    71096 |    37400    34836     40 |  0.209 % |
276.03/276.08	c |    588523 |    3822    21984    71096 |    37400    36885     40 |  0.209 % |
276.33/276.35	c |    589035 |    3822    21984    71096 |    37400    37397     39 |  0.209 % |
276.53/276.52	c |    589547 |    3822    21984    71096 |    37400    37909     40 |  0.209 % |
277.03/277.02	c |    590573 |    3822    21984    71096 |    33987    34560     38 |  0.209 % |
277.24/277.24	c |    591088 |    3822    21984    71096 |    33987    31619     36 |  0.209 % |
277.43/277.46	c |    591600 |    3822    21984    71096 |    33987    32131     36 |  0.209 % |
277.83/277.84	c |    592624 |    3822    21984    71096 |    33987    33155     37 |  0.209 % |
278.93/278.99	c |    594672 |    3822    21984    71096 |    33987    31332     36 |  0.209 % |
281.34/281.41	c |    598769 |    3822    21984    71096 |    33987    31979     36 |  0.209 % |
285.14/285.12	c |    606961 |    3822    21984    71096 | 2147483647    40171     40 |  0.209 % |
295.04/295.02	c |    623348 |    3822    21984    71096 |    35393    31101     40 |  0.209 % |
295.24/295.27	c |    623860 |    3822    21984    71096 |    35393    31613     40 |  0.209 % |
295.44/295.47	c |    624372 |    3822    21984    71096 |    35393    32125     40 |  0.209 % |
296.24/296.22	c |    625398 |    3822    21984    71096 |    35393    33151     40 |  0.209 % |
296.44/296.44	c |    625910 |    3822    21984    71096 |    35393    33663     40 |  0.209 % |
296.64/296.68	c |    626422 |    3822    21984    71096 |    35393    34175     40 |  0.209 % |
297.24/297.30	c |    627446 |    3822    21984    71096 |    35393    35199     40 |  0.209 % |
298.54/298.60	c |    629496 |    3822    21984    71096 |    35393    31826     38 |  0.209 % |
298.84/298.91	c |    630008 |    3822    21984    71096 |    32330    32338     38 |  0.209 % |
299.14/299.14	c |    630521 |    3822    21984    71096 |    32330    27924     34 |  0.209 % |
299.44/299.48	c |    631547 |    3822    21984    71096 |    32330    28950     36 |  0.209 % |
299.64/299.69	c |    632060 |    3822    21984    71096 |    32330    29463     36 |  0.209 % |
299.84/299.90	c |    632572 |    3822    21984    71096 |    32330    29975     36 |  0.209 % |
300.34/300.37	c |    633597 |    3822    21984    71096 |    32330    31000     35 |  0.209 % |
301.34/301.32	c |    635645 |    3822    21984    71096 |    32330    29769     34 |  0.209 % |
303.44/303.49	c |    639741 |    3822    21984    71096 |    32330    30572     34 |  0.209 % |
303.84/303.81	c |    640255 |    3822    21984    71096 | 2147483647    31086     34 |  0.209 % |
304.04/304.10	c |    640769 |    3822    21984    71096 | 2147483647    31600     34 |  0.209 % |
304.54/304.58	c |    641793 |    3822    21984    71096 | 2147483647    32624     35 |  0.209 % |
304.74/304.80	c |    642307 |    3822    21984    71096 | 2147483647    33138     35 |  0.209 % |
305.04/305.02	c |    642820 |    3822    21984    71096 | 2147483647    33651     35 |  0.209 % |
305.54/305.55	c |    643845 |    3822    21984    71096 | 2147483647    34676     35 |  0.209 % |
306.54/306.58	c |    645893 |    3822    21984    71096 | 2147483647    36724     36 |  0.209 % |
306.74/306.80	c |    646408 |    3822    21984    71096 | 2147483647    37239     36 |  0.209 % |
307.04/307.08	c |    646920 |    3822    21984    71096 | 2147483647    37751     36 |  0.209 % |
307.74/307.73	c |    647945 |    3822    21984    71096 | 2147483647    38776     37 |  0.209 % |
308.14/308.15	c |    648457 |    3822    21984    71096 | 2147483647    39288     37 |  0.209 % |
308.44/308.47	c |    648971 |    3822    21984    71096 | 2147483647    39802     37 |  0.209 % |
309.14/309.14	c |    649995 |    3822    21984    71096 | 2147483647    40826     37 |  0.209 % |
310.44/310.43	c |    652043 |    3822    21984    71096 |    40831    37183     36 |  0.209 % |
312.24/312.29	c |    656140 |    3822    21984    71096 |    40831    41280     37 |  0.209 % |
316.54/316.53	c |    664335 |    3822    21984    71096 |    39635    37854     38 |  0.209 % |
316.74/316.80	c |    664847 |    3822    21984    71096 |    39635    38366     38 |  0.209 % |
317.04/317.04	c |    665360 |    3822    21984    71096 |    39635    38879     38 |  0.209 % |
317.34/317.38	c |    666385 |    3822    21984    71096 |    39635    39904     38 |  0.209 % |
317.64/317.61	c |    666899 |    3822    21984    71096 |    39635    33966     39 |  0.209 % |
317.74/317.80	c |    667411 |    3822    21984    71096 |    39635    34478     39 |  0.209 % |
318.24/318.30	c |    668435 |    3822    21984    71096 |    39635    35502     39 |  0.209 % |
319.44/319.46	c |    670484 |    3822    21984    71096 |    37069    37551     40 |  0.209 % |
319.74/319.75	c |    670996 |    3822    21984    71096 |    37069    32572     40 |  0.209 % |
319.94/319.99	c |    671508 |    3822    21984    71096 |    37069    33084     40 |  0.209 % |
320.24/320.30	c |    672533 |    3822    21984    71096 |    37069    34109     40 |  0.209 % |
320.54/320.53	c |    673046 |    3822    21984    71096 |    37069    34622     40 |  0.209 % |
320.74/320.77	c |    673559 |    3822    21984    71096 |    37069    35135     40 |  0.209 % |
321.44/321.46	c |    674583 |    3822    21984    71096 |    37069    36159     40 |  0.209 % |
322.54/322.53	c |    676631 |    3822    21984    71096 |    37069    34031     38 |  0.209 % |
324.34/324.32	c |    680728 |    3822    21984    71096 |    37402    33241     38 |  0.209 % |
324.54/324.54	c |    681240 |    3822    21984    71096 |    37402    33753     38 |  0.209 % |
324.84/324.85	c |    681753 |    3822    21984    71096 |    37402    34266     38 |  0.209 % |
325.34/325.37	c |    682777 |    3822    21984    71096 |    37402    35290     38 |  0.209 % |
325.64/325.65	c |    683291 |    3822    21984    71096 |    37402    35804     38 |  0.209 % |
326.04/326.01	c |    683803 |    3822    21984    71096 |    37402    36316     38 |  0.209 % |
326.54/326.53	c |    684829 |    3822    21984    71096 |    37402    37342     38 |  0.209 % |
327.54/327.55	c |    686877 |    3822    21984    71096 |    37402    33608     37 |  0.209 % |
327.74/327.80	c |    687391 |    3822    21984    71096 |    37402    34122     37 |  0.209 % |
328.04/328.07	c |    687903 |    3822    21984    71096 |    37402    34634     37 |  0.209 % |
328.64/328.70	c |    688928 |    3822    21984    71096 |    37402    35659     37 |  0.209 % |
329.04/329.02	c |    689440 |    3822    21984    71096 |    37402    36171     38 |  0.209 % |
329.34/329.33	c |    689954 |    3822    21984    71096 |    37402    36685     38 |  0.209 % |
330.04/330.02	c |    690979 |    3822    21984    71096 |    36731    31688     36 |  0.209 % |
331.24/331.26	c |    693027 |    3822    21984    71096 |    36731    33736     36 |  0.209 % |
332.44/332.50	c |    697124 |    3822    21984    71096 |    36731    37833     38 |  0.209 % |
336.24/336.25	c |    705317 |    3822    21984    71096 |    34616    34456     41 |  0.209 % |
344.34/344.34	c |    721701 |    3822    21984    71096 |    33295    28606     45 |  0.209 % |
355.84/355.87	c |    754469 |    3822    21984    71096 |    23584    23302     44 |  0.209 % |
356.04/356.06	c |    754981 |    3822    21984    71096 |    23584    23814     44 |  0.209 % |
356.24/356.23	c |    755494 |    3822    21984    71096 |    23584    20048     43 |  0.209 % |
356.54/356.58	c |    756521 |    3822    21984    71096 |    23584    21075     44 |  0.209 % |
356.64/356.69	c |    757033 |    3822    21984    71096 |    23584    21587     43 |  0.209 % |
356.74/356.78	c |    757546 |    3822    21984    71096 |    23584    22100     44 |  0.209 % |
356.95/356.97	c |    758572 |    3822    21984    71096 |    23584    23126     44 |  0.210 % |
357.45/357.49	c |    760620 |    3822    21984    71096 |    24554    25174     45 |  0.209 % |
357.65/357.71	c |    761134 |    3822    21984    71096 |    24554    22308     44 |  0.209 % |
357.85/357.91	c |    761648 |    3822    21984    71096 |    24554    22822     44 |  0.209 % |
358.25/358.30	c |    762673 |    3822    21984    71096 |    24554    23847     43 |  0.209 % |
358.35/358.41	c |    763185 |    3822    21984    71096 |    24554    24359     44 |  0.209 % |
358.66/358.63	c |    763697 |    3822    21984    71096 |    24554    24871     44 |  0.209 % |
359.05/359.01	c |    764722 |    3822    21984    71096 |    24554    23409     44 |  0.209 % |
359.76/359.74	c |    766770 |    3822    21984    71096 |    24554    25457     44 |  0.209 % |
360.86/360.88	c |    770866 |    3822    21984    71096 |    22652    23518     46 |  0.209 % |
361.05/361.03	c |    771380 |    3822    21984    71096 |    22652    20922     47 |  0.209 % |
361.15/361.21	c |    771892 |    3822    21984    71096 |    22652    21434     46 |  0.209 % |
361.45/361.47	c |    772916 |    3822    21984    71096 |    22652    22458     48 |  0.209 % |
361.65/361.69	c |    773428 |    3822    21984    71096 |    22652    22970     48 |  0.209 % |
361.85/361.86	c |    773941 |    3822    21984    71096 |    22652    21049     48 |  0.209 % |
362.25/362.23	c |    774965 |    3822    21984    71096 |    22652    22073     48 |  0.209 % |
362.95/362.97	c |    777013 |    3822    21984    71096 |    22652    21787     47 |  0.209 % |
363.06/363.08	c |    777526 |    3822    21984    71096 |    22652    22300     46 |  0.210 % |
363.15/363.21	c |    778038 |    3822    21984    71096 |    22652    22812     46 |  0.209 % |
363.45/363.45	c |    779062 |    3822    21984    71096 |    22652    21555     44 |  0.209 % |
363.55/363.57	c |    779575 |    3822    21984    71096 |    22652    22068     44 |  0.209 % |
363.65/363.69	c |    780088 |    3822    21984    71096 | 2147483647    22581     45 |  0.209 % |
363.95/363.99	c |    781112 |    3822    21984    71096 | 2147483647    23605     44 |  0.209 % |
364.55/364.52	c |    783160 |    3822    21984    71096 | 2147483647    25653     42 |  0.209 % |
366.15/366.13	c |    787256 |    3822    21984    71096 | 2147483647    29749     40 |  0.209 % |
369.95/369.92	c |    795448 |    3822    21984    71096 | 2147483647    37941     41 |  0.209 % |
370.25/370.25	c |    795960 |    3822    21984    71096 | 2147483647    38453     41 |  0.209 % |
370.55/370.56	c |    796472 |    3822    21984    71096 | 2147483647    38965     41 |  0.209 % |
370.95/371.00	c |    797497 |    3822    21984    71096 | 2147483647    39990     41 |  0.209 % |
371.25/371.26	c |    798009 |    3822    21984    71096 | 2147483647    40502     41 |  0.209 % |
371.35/371.41	c |    798522 |    3822    21984    71096 | 2147483647    41015     41 |  0.209 % |
371.95/372.00	c |    799547 |    3822    21984    71096 | 2147483647    42040     41 |  0.209 % |
372.85/372.85	c |    801595 |    3822    21984    71096 |    42493    37490     39 |  0.209 % |
372.96/373.01	c |    802108 |    3822    21984    71096 |    42493    38003     39 |  0.209 % |
373.25/373.26	c |    802621 |    3822    21984    71096 |    42493    38516     39 |  0.209 % |
373.65/373.67	c |    803646 |    3822    21984    71096 |    42493    39541     39 |  0.209 % |
373.95/373.92	c |    804159 |    3822    21984    71096 |    42493    40054     39 |  0.209 % |
374.15/374.16	c |    804672 |    3822    21984    71096 |    42493    40567     39 |  0.209 % |
374.65/374.62	c |    805697 |    3822    21984    71096 |    42493    41592     40 |  0.209 % |
375.65/375.66	c |    807748 |    3822    21984    71096 |    42493    38196     35 |  0.209 % |
377.55/377.60	c |    811845 |    3822    21984    71096 |    40450    36417     36 |  0.209 % |
377.75/377.80	c |    812360 |    3822    21984    71096 |    40450    36932     36 |  0.209 % |
377.95/377.96	c |    812873 |    3822    21984    71096 |    40450    37445     36 |  0.209 % |
378.15/378.20	c |    813897 |    3822    21984    71096 |    40450    38469     37 |  0.209 % |
378.35/378.39	c |    814411 |    3822    21984    71096 |    40450    38983     37 |  0.209 % |
378.55/378.58	c |    814923 |    3822    21984    71096 |    40450    39495     37 |  0.209 % |
379.05/379.10	c |    815947 |    3822    21984    71096 |    40450    40519     37 |  0.209 % |
380.05/380.07	c |    818001 |    3822    21984    71096 |    40450    38249     40 |  0.209 % |
380.25/380.25	c |    818514 |    3822    21984    71096 |    40450    38762     40 |  0.209 % |
380.55/380.56	c |    819029 |    3822    21984    71096 |    40450    39277     39 |  0.209 % |
381.05/381.08	c |    820053 |    3822    21984    71096 |    40249    40301     40 |  0.209 % |
381.35/381.38	c |    820565 |    3822    21984    71096 |    40249    36142     40 |  0.209 % |
381.55/381.57	c |    821077 |    3822    21984    71096 |    40249    36654     41 |  0.209 % |
381.95/382.01	c |    822102 |    3822    21984    71096 |    40249    37679     40 |  0.209 % |
382.95/382.95	c |    824151 |    3822    21984    71096 |    40249    39728     40 |  0.209 % |
385.25/385.25	c |    828248 |    3822    21984    71096 |    40249    39736     38 |  0.209 % |
389.46/389.50	c |    836444 |    3822    21984    71096 | 2147483647    43849     37 |  0.209 % |
398.86/398.87	c |    852828 |    3822    21984    71096 |    48567    39159     39 |  0.209 % |
399.16/399.18	c |    853340 |    3822    21984    71096 |    48567    39671     39 |  0.209 % |
399.46/399.52	c |    853855 |    3822    21984    71096 |    48567    40186     39 |  0.209 % |
400.06/400.06	c |    854881 |    3822    21984    71096 |    48567    41212     39 |  0.209 % |
400.36/400.41	c |    855393 |    3822    21984    71096 |    48567    41724     39 |  0.209 % |
400.76/400.75	c |    855906 |    3822    21984    71096 |    48567    42237     39 |  0.209 % |
401.46/401.48	c |    856932 |    3822    21984    71096 |    48567    43263     39 |  0.209 % |
402.56/402.52	c |    858983 |    3822    21984    71096 |    48567    45314     39 |  0.209 % |
402.86/402.85	c |    859496 |    3822    21984    71096 |    48567    45827     39 |  0.209 % |
403.26/403.29	c |    860010 |    3822    21984    71096 |    46332    46341     39 |  0.209 % |
403.66/403.71	c |    861035 |    3822    21984    71096 |    46332    37409     41 |  0.209 % |
403.96/404.00	c |    861547 |    3822    21984    71096 |    46332    37921     40 |  0.209 % |
404.16/404.21	c |    862061 |    3822    21984    71096 |    46332    38435     40 |  0.209 % |
404.66/404.63	c |    863086 |    3822    21984    71096 |    46332    39460     41 |  0.210 % |
405.66/405.64	c |    865135 |    3822    21984    71096 |    46332    41509     40 |  0.209 % |
407.46/407.49	c |    869231 |    3822    21984    71096 |    46332    45605     40 |  0.209 % |
407.76/407.76	c |    869743 |    3822    21984    71096 |    46332    46117     40 |  0.209 % |
408.16/408.12	c |    870256 |    3822    21984    71096 |    46375    46630     40 |  0.209 % |
408.76/408.81	c |    871280 |    3822    21984    71096 |    46375    40279     40 |  0.209 % |
409.06/409.09	c |    871792 |    3822    21984    71096 |    46375    40791     40 |  0.209 % |
409.36/409.42	c |    872304 |    3822    21984    71096 |    46375    41303     40 |  0.209 % |
409.86/409.90	c |    873328 |    3822    21984    71096 |    46375    42327     41 |  0.209 % |
411.06/411.08	c |    875377 |    3822    21984    71096 |    46375    44376     41 |  0.209 % |
411.26/411.31	c |    875890 |    3822    21984    71096 |    46375    44889     41 |  0.209 % |
411.56/411.59	c |    876404 |    3822    21984    71096 |    46375    45403     41 |  0.209 % |
412.16/412.21	c |    877431 |    3822    21984    71096 |    46375    46430     41 |  0.209 % |
412.46/412.49	c |    877943 |    3822    21984    71096 |    46375    37884     38 |  0.209 % |
412.76/412.76	c |    878455 |    3822    21984    71096 |    46375    38396     38 |  0.209 % |
413.16/413.20	c |    879481 |    3822    21984    71096 |    46375    39422     38 |  0.209 % |
414.16/414.16	c |    881529 |    3822    21984    71096 |    39942    33703     37 |  0.209 % |
415.66/415.62	c |    885626 |    3822    21984    71096 |    39942    37800     37 |  0.209 % |
418.86/418.89	c |    893818 |    3822    21984    71096 |    36850    35515     38 |  0.209 % |
419.06/419.09	c |    894331 |    3822    21984    71096 |    36850    36028     38 |  0.209 % |
419.26/419.30	c |    894848 |    3822    21984    71096 |    36850    36545     38 |  0.209 % |
419.66/419.69	c |    895872 |    3822    21984    71096 |    36850    31157     39 |  0.209 % |
419.86/419.83	c |    896385 |    3822    21984    71096 |    36850    31670     39 |  0.209 % |
420.06/420.04	c |    896897 |    3822    21984    71096 |    36850    32182     39 |  0.209 % |
420.36/420.40	c |    897922 |    3822    21984    71096 |    36850    33207     40 |  0.209 % |
420.86/420.91	c |    899970 |    3822    21984    71096 |    36850    35255     41 |  0.209 % |
421.06/421.11	c |    900483 |    3822    21984    71096 |    35286    35768     41 |  0.209 % |
421.26/421.29	c |    900996 |    3822    21984    71096 |    35286    29863     42 |  0.209 % |
421.76/421.74	c |    902021 |    3822    21984    71096 |    35286    30888     42 |  0.209 % |
421.86/421.91	c |    902534 |    3822    21984    71096 |    35286    31401     42 |  0.209 % |
422.06/422.08	c |    903046 |    3822    21984    71096 |    35286    31913     42 |  0.209 % |
422.46/422.50	c |    904071 |    3822    21984    71096 |    35286    32938     42 |  0.209 % |
423.56/423.54	c |    906121 |    3822    21984    71096 |    35286    34988     41 |  0.209 % |
425.26/425.26	c |    910218 |    3822    21984    71096 | 2147483647    35475     41 |  0.209 % |
425.56/425.55	c |    910731 |    3822    21984    71096 | 2147483647    35988     41 |  0.209 % |
425.76/425.74	c |    911245 |    3822    21984    71096 | 2147483647    36502     41 |  0.209 % |
426.16/426.17	c |    912269 |    3822    21984    71096 | 2147483647    37526     40 |  0.209 % |
426.36/426.40	c |    912781 |    3822    21984    71096 | 2147483647    38038     40 |  0.209 % |
426.66/426.63	c |    913294 |    3822    21984    71096 | 2147483647    38551     40 |  0.209 % |
427.06/427.08	c |    914318 |    3822    21984    71096 | 2147483647    39575     40 |  0.209 % |
428.36/428.37	c |    916366 |    3822    21984    71096 | 2147483647    41623     40 |  0.209 % |
428.66/428.64	c |    916878 |    3822    21984    71096 | 2147483647    42135     40 |  0.209 % |
428.96/428.95	c |    917390 |    3822    21984    71096 | 2147483647    42647     40 |  0.209 % |
429.66/429.65	c |    918415 |    3822    21984    71096 | 2147483647    43672     40 |  0.209 % |
430.16/430.17	c |    918927 |    3822    21984    71096 | 2147483647    44184     40 |  0.209 % |
430.66/430.64	c |    919441 |    3822    21984    71096 | 2147483647    44698     40 |  0.209 % |
431.46/431.45	c |    920466 |    3822    21984    71096 |    45258    40113     39 |  0.209 % |
432.46/432.51	c |    922514 |    3822    21984    71096 |    45258    42161     39 |  0.209 % |
434.16/434.15	c |    926611 |    3822    21984    71096 |    45258    46258     40 |  0.209 % |
438.96/438.95	c |    934804 |    3822    21984    71096 |    41392    38107     40 |  0.209 % |
447.86/447.91	c |    951190 |    3822    21984    71096 |    29580    25439     44 |  0.209 % |
459.76/459.75	c |    983960 |    3822    21984    71096 |    26228    23035     52 |  0.209 % |
489.26/489.23	c |   1049497 |    3822    21984    71096 |    19676    19416     59 |  0.209 % |
545.77/545.81	c |   1180571 |    3822    21984    71096 |    18565    19136     53 |  0.209 % |
545.97/545.95	c |   1181083 |    3822    21984    71096 |    18565    17622     50 |  0.210 % |
546.07/546.06	c |   1181595 |    3822    21984    71096 |    18565    18134     50 |  0.209 % |
546.37/546.36	c |   1182620 |    3822    21984    71096 |    18565    17248     47 |  0.209 % |
546.47/546.47	c |   1183132 |    3822    21984    71096 |    18565    17760     47 |  0.209 % |
546.67/546.70	c |   1183646 |    3822    21984    71096 |    18565    18274     46 |  0.209 % |
546.97/546.99	c |   1184670 |    3822    21984    71096 |    18565    17396     45 |  0.209 % |
547.67/547.65	c |   1186718 |    3822    21984    71096 |    18565    17510     47 |  0.209 % |
547.87/547.85	c |   1187232 |    3822    21984    71096 |    18565    18024     47 |  0.209 % |
547.97/547.99	c |   1187745 |    3822    21984    71096 |    18565    18537     48 |  0.209 % |
548.27/548.31	c |   1188771 |    3822    21984    71096 |    18565    17633     47 |  0.209 % |
548.47/548.48	c |   1189285 |    3822    21984    71096 |    18565    18147     47 |  0.209 % |
548.67/548.64	c |   1189797 |    3822    21984    71096 |    18565    18659     47 |  0.209 % |
548.97/548.96	c |   1190821 |    3822    21984    71096 | 2147483647    17818     46 |  0.209 % |
549.67/549.66	c |   1192870 |    3822    21984    71096 | 2147483647    19867     47 |  0.209 % |
551.27/551.24	c |   1196968 |    3822    21984    71096 | 2147483647    23965     50 |  0.209 % |
551.47/551.49	c |   1197483 |    3822    21984    71096 | 2147483647    24480     50 |  0.209 % |
551.77/551.77	c |   1197995 |    3822    21984    71096 | 2147483647    24992     50 |  0.209 % |
552.27/552.27	c |   1199019 |    3822    21984    71096 | 2147483647    26016     51 |  0.209 % |
552.37/552.41	c |   1199533 |    3822    21984    71096 | 2147483647    26530     51 |  0.209 % |
552.57/552.58	c |   1200046 |    3822    21984    71096 | 2147483647    27043     50 |  0.209 % |
552.87/552.85	c |   1201071 |    3822    21984    71096 | 2147483647    28068     50 |  0.209 % |
553.57/553.53	c |   1203119 |    3822    21984    71096 | 2147483647    30116     49 |  0.209 % |
553.77/553.72	c |   1203633 |    3822    21984    71096 | 2147483647    30630     49 |  0.209 % |
553.87/553.90	c |   1204147 |    3822    21984    71096 | 2147483647    31144     49 |  0.209 % |
554.27/554.31	c |   1205171 |    3822    21984    71096 | 2147483647    32168     48 |  0.209 % |
554.47/554.45	c |   1205683 |    3822    21984    71096 | 2147483647    32680     48 |  0.209 % |
554.57/554.61	c |   1206196 |    3822    21984    71096 | 2147483647    33193     47 |  0.209 % |
555.17/555.14	c |   1207221 |    3822    21984    71096 | 2147483647    34218     47 |  0.209 % |
555.77/555.81	c |   1209269 |    3822    21984    71096 | 2147483647    36266     47 |  0.209 % |
557.67/557.67	c |   1213369 |    3822    21984    71096 | 2147483647    40366     47 |  0.209 % |
560.67/560.68	c |   1221564 |    3822    21984    71096 |    46997    40182     47 |  0.209 % |
560.97/560.95	c |   1222076 |    3822    21984    71096 |    46997    40694     47 |  0.209 % |
561.17/561.13	c |   1222588 |    3822    21984    71096 |    46997    41206     47 |  0.209 % |
561.57/561.53	c |   1223612 |    3822    21984    71096 |    46997    42230     47 |  0.209 % |
561.77/561.75	c |   1224124 |    3822    21984    71096 |    46997    42742     47 |  0.209 % |
561.97/562.00	c |   1224637 |    3822    21984    71096 |    46997    43255     47 |  0.209 % |
562.67/562.62	c |   1225661 |    3822    21984    71096 |    46997    44279     47 |  0.209 % |
563.67/563.70	c |   1227714 |    3822    21984    71096 |    46997    46332     48 |  0.209 % |
563.97/564.01	c |   1228226 |    3822    21984    71096 |    46997    46844     48 |  0.209 % |
564.47/564.43	c |   1228738 |    3822    21984    71096 |    46997    47356     48 |  0.209 % |
565.17/565.12	c |   1229762 |    3822    21984    71096 |    46997    40457     46 |  0.209 % |
565.47/565.49	c |   1230274 |    3822    21984    71096 |    40695    40969     46 |  0.209 % |
565.77/565.74	c |   1230786 |    3822    21984    71096 |    40695    35269     44 |  0.209 % |
566.17/566.19	c |   1231810 |    3822    21984    71096 |    40695    36293     44 |  0.209 % |
567.17/567.17	c |   1233860 |    3822    21984    71096 |    40695    38343     45 |  0.209 % |
569.47/569.46	c |   1237956 |    3822    21984    71096 |    40695    34148     47 |  0.209 % |
569.77/569.73	c |   1238469 |    3822    21984    71096 |    40695    34661     47 |  0.209 % |
570.07/570.04	c |   1238981 |    3822    21984    71096 |    40695    35173     47 |  0.209 % |
570.67/570.62	c |   1240005 |    3822    21984    71096 |    36195    36197     48 |  0.209 % |
570.77/570.79	c |   1240518 |    3822    21984    71096 |    36195    36710     47 |  0.209 % |
571.07/571.05	c |   1241030 |    3822    21984    71096 |    36195    30339     46 |  0.209 % |
571.47/571.48	c |   1242054 |    3822    21984    71096 |    36195    31363     45 |  0.209 % |
572.17/572.18	c |   1244103 |    3822    21984    71096 |    36195    33412     47 |  0.209 % |
572.47/572.43	c |   1244616 |    3822    21984    71096 |    36195    33925     47 |  0.209 % |
572.67/572.66	c |   1245129 |    3822    21984    71096 |    36195    34438     47 |  0.209 % |
573.07/573.07	c |   1246155 |    3822    21984    71096 |    36195    35464     47 |  0.209 % |
573.27/573.26	c |   1246667 |    3822    21984    71096 |    36195    35976     47 |  0.209 % |
573.37/573.41	c |   1247181 |    3822    21984    71096 |    36195    36490     47 |  0.209 % |
573.77/573.77	c |   1248207 |    3822    21984    71096 |    36195    32271     44 |  0.209 % |
574.47/574.51	c |   1250255 |    3822    21984    71096 |    34064    34319     45 |  0.209 % |
575.96/575.99	c |   1254353 |    3822    21984    71096 |    34064    32935     44 |  0.209 % |
579.46/579.45	c |   1262545 |    3822    21984    71096 |    32750    28938     41 |  0.209 % |
586.16/586.13	c |   1278930 |    3822    21984    71096 |    32817    29908     37 |  0.209 % |
586.37/586.32	c |   1279442 |    3822    21984    71096 |    32817    30420     37 |  0.209 % |
586.56/586.53	c |   1279954 |    3822    21984    71096 |    32817    30932     37 |  0.209 % |
586.86/586.85	c |   1280978 |    3822    21984    71096 |    30978    31956     37 |  0.209 % |
587.06/587.07	c |   1281491 |    3822    21984    71096 |    30978    27892     36 |  0.209 % |
587.26/587.23	c |   1282003 |    3822    21984    71096 |    30978    28404     36 |  0.209 % |
587.66/587.65	c |   1283027 |    3822    21984    71096 |    30978    29428     36 |  0.209 % |
588.46/588.50	c |   1285076 |    3822    21984    71096 |    30978    31477     36 |  0.210 % |
588.66/588.70	c |   1285588 |    3822    21984    71096 |    30978    28449     36 |  0.209 % |
588.86/588.86	c |   1286101 |    3822    21984    71096 |    30978    28962     36 |  0.209 % |
589.36/589.35	c |   1287125 |    3822    21984    71096 |    30978    29986     35 |  0.209 % |
589.56/589.52	c |   1287638 |    3822    21984    71096 |    30978    30499     35 |  0.209 % |
589.76/589.72	c |   1288150 |    3822    21984    71096 |    30978    31011     35 |  0.209 % |
590.16/590.11	c |   1289174 |    3822    21984    71096 |    30978    28934     35 |  0.209 % |
590.56/590.55	c |   1291222 |    3822    21984    71096 | 2147483647    30982     36 |  0.209 % |
592.36/592.40	c |   1295318 |    3822    21984    71096 | 2147483647    35078     37 |  0.209 % |
592.56/592.60	c |   1295833 |    3822    21984    71096 | 2147483647    35593     37 |  0.209 % |
592.86/592.81	c |   1296346 |    3822    21984    71096 | 2147483647    36106     37 |  0.209 % |
593.36/593.40	c |   1297370 |    3822    21984    71096 | 2147483647    37130     37 |  0.209 % |
593.66/593.65	c |   1297883 |    3822    21984    71096 | 2147483647    37643     37 |  0.209 % |
593.96/593.97	c |   1298396 |    3822    21984    71096 | 2147483647    38156     37 |  0.209 % |
594.56/594.52	c |   1299423 |    3822    21984    71096 | 2147483647    39183     37 |  0.209 % |
595.56/595.51	c |   1301472 |    3822    21984    71096 |    39760    35972     37 |  0.209 % |
595.66/595.68	c |   1301986 |    3822    21984    71096 |    39760    36486     38 |  0.209 % |
595.96/595.94	c |   1302498 |    3822    21984    71096 |    39760    36998     38 |  0.209 % |
596.36/596.33	c |   1303522 |    3822    21984    71096 |    39760    38022     38 |  0.209 % |
596.56/596.58	c |   1304035 |    3822    21984    71096 |    39760    38535     38 |  0.209 % |
596.76/596.79	c |   1304548 |    3822    21984    71096 |    39760    39048     38 |  0.209 % |
597.26/597.27	c |   1305573 |    3822    21984    71096 |    39760    40073     38 |  0.209 % |
597.96/598.00	c |   1307622 |    3822    21984    71096 |    39760    36775     38 |  0.209 % |
599.76/599.78	c |   1311718 |    3822    21984    71096 |    39153    34915     39 |  0.209 % |
604.26/604.25	c |   1319910 |    3822    21984    71096 |    39153    36377     44 |  0.209 % |
604.56/604.53	c |   1320422 |    3822    21984    71096 |    36467    36889     44 |  0.209 % |
604.86/604.84	c |   1320935 |    3822    21984    71096 |    36467    30895     43 |  0.209 % |
605.26/605.28	c |   1321960 |    3822    21984    71096 |    36467    31920     43 |  0.209 % |
605.56/605.52	c |   1322472 |    3822    21984    71096 |    36467    32432     42 |  0.209 % |
605.76/605.74	c |   1322985 |    3822    21984    71096 |    36467    32945     42 |  0.209 % |
606.17/606.11	c |   1324009 |    3822    21984    71096 |    36467    33969     42 |  0.209 % |
606.66/606.69	c |   1326060 |    3822    21984    71096 |    36467    36020     43 |  0.209 % |
606.96/606.97	c |   1326574 |    3822    21984    71096 |    36467    36534     43 |  0.209 % |
607.16/607.21	c |   1327086 |    3822    21984    71096 |    36467    31803     43 |  0.209 % |
607.66/607.61	c |   1328111 |    3822    21984    71096 |    36467    32828     42 |  0.209 % |
607.86/607.87	c |   1328623 |    3822    21984    71096 |    36467    33340     42 |  0.209 % |
608.06/608.09	c |   1329136 |    3822    21984    71096 |    36467    33853     42 |  0.209 % |
608.56/608.55	c |   1330161 |    3822    21984    71096 |    34718    34878     43 |  0.209 % |
609.36/609.37	c |   1332209 |    3822    21984    71096 |    34718    31945     44 |  0.209 % |
610.96/610.97	c |   1336306 |    3822    21984    71096 |    34718    30590     44 |  0.209 % |
611.26/611.21	c |   1336819 |    3822    21984    71096 |    34718    31103     44 |  0.209 % |
611.46/611.45	c |   1337335 |    3822    21984    71096 |    34718    31619     44 |  0.209 % |
611.96/611.93	c |   1338363 |    3822    21984    71096 |    34718    32647     44 |  0.209 % |
612.16/612.17	c |   1338876 |    3822    21984    71096 |    34718    33160     44 |  0.209 % |
612.46/612.44	c |   1339390 |    3822    21984    71096 |    34718    33674     45 |  0.209 % |
613.06/613.01	c |   1340416 |    3822    21984    71096 |    34284    34700     45 |  0.209 % |
614.06/614.09	c |   1342464 |    3822    21984    71096 |    34284    30297     42 |  0.209 % |
614.36/614.34	c |   1342978 |    3822    21984    71096 |    34284    30811     42 |  0.209 % |
614.66/614.60	c |   1343492 |    3822    21984    71096 |    34284    31325     42 |  0.209 % |
615.16/615.18	c |   1344517 |    3822    21984    71096 |    34284    32350     42 |  0.209 % |
615.47/615.44	c |   1345029 |    3822    21984    71096 |    34284    32862     42 |  0.209 % |
615.57/615.61	c |   1345541 |    3822    21984    71096 |    34284    33374     42 |  0.209 % |
615.97/616.00	c |   1346566 |    3822    21984    71096 |    34284    34399     42 |  0.209 % |
616.77/616.79	c |   1348614 |    3822    21984    71096 |    34284    30450     41 |  0.209 % |
618.47/618.44	c |   1352710 |    3822    21984    71096 |    31837    30993     38 |  0.209 % |
621.77/621.73	c |   1360904 |    3822    21984    71096 |    31208    32111     40 |  0.209 % |
629.37/629.40	c |   1377289 |    3822    21984    71096 |    27724    26138     46 |  0.209 % |
644.97/644.96	c |   1410057 |    3822    21984    71096 |    22309    22366     35 |  0.209 % |
645.07/645.09	c |   1410569 |    3822    21984    71096 |    22309    20310     34 |  0.209 % |
645.27/645.25	c |   1411082 |    3822    21984    71096 |    22309    20823     34 |  0.209 % |
645.57/645.52	c |   1412106 |    3822    21984    71096 |    22309    21847     34 |  0.209 % |
645.67/645.63	c |   1412618 |    3822    21984    71096 |    22309    22359     34 |  0.209 % |
645.87/645.83	c |   1413132 |    3822    21984    71096 |    22309    20638     33 |  0.209 % |
646.27/646.21	c |   1414158 |    3822    21984    71096 |    22309    21664     33 |  0.209 % |
646.97/647.00	c |   1416209 |    3822    21984    71096 |    22309    21435     33 |  0.209 % |
647.17/647.14	c |   1416723 |    3822    21984    71096 |    22309    21949     33 |  0.209 % |
647.27/647.26	c |   1417235 |    3822    21984    71096 |    22309    22461     33 |  0.209 % |
647.57/647.57	c |   1418260 |    3822    21984    71096 |    22309    21240     32 |  0.209 % |
647.77/647.72	c |   1418774 |    3822    21984    71096 |    22309    21754     33 |  0.209 % |
647.87/647.82	c |   1419286 |    3822    21984    71096 |    22309    22266     33 |  0.209 % |
648.17/648.17	c |   1420311 |    3822    21984    71096 | 2147483647    23291     33 |  0.209 % |
648.67/648.63	c |   1422361 |    3822    21984    71096 | 2147483647    25341     34 |  0.209 % |
650.57/650.58	c |   1426458 |    3822    21984    71096 | 2147483647    29438     34 |  0.209 % |
650.77/650.80	c |   1426970 |    3822    21984    71096 | 2147483647    29950     34 |  0.209 % |
650.97/650.94	c |   1427482 |    3822    21984    71096 | 2147483647    30462     35 |  0.209 % |
651.47/651.41	c |   1428508 |    3822    21984    71096 | 2147483647    31488     35 |  0.209 % |
651.57/651.58	c |   1429021 |    3822    21984    71096 | 2147483647    32001     35 |  0.209 % |
651.77/651.76	c |   1429533 |    3822    21984    71096 | 2147483647    32513     35 |  0.209 % |
652.17/652.11	c |   1430557 |    3822    21984    71096 | 2147483647    33537     35 |  0.209 % |
653.07/653.05	c |   1432606 |    3822    21984    71096 | 2147483647    35586     35 |  0.209 % |
653.27/653.25	c |   1433119 |    3822    21984    71096 | 2147483647    36099     35 |  0.209 % |
653.47/653.50	c |   1433631 |    3822    21984    71096 | 2147483647    36611     35 |  0.209 % |
653.97/653.99	c |   1434656 |    3822    21984    71096 | 2147483647    37636     35 |  0.209 % |
654.27/654.25	c |   1435170 |    3822    21984    71096 | 2147483647    38150     36 |  0.209 % |
654.47/654.46	c |   1435682 |    3822    21984    71096 | 2147483647    38662     36 |  0.209 % |
655.17/655.11	c |   1436707 |    3822    21984    71096 | 2147483647    39687     36 |  0.209 % |
656.17/656.18	c |   1438755 |    3822    21984    71096 | 2147483647    41735     37 |  0.209 % |
658.37/658.31	c |   1442851 |    3822    21984    71096 |    42980    38694     38 |  0.209 % |
662.57/662.61	c |   1451043 |    3822    21984    71096 |    39250    35087     40 |  0.209 % |
662.87/662.85	c |   1451556 |    3822    21984    71096 |    39250    35600     39 |  0.209 % |
663.07/663.08	c |   1452068 |    3822    21984    71096 |    39250    36112     40 |  0.209 % |
663.47/663.47	c |   1453094 |    3822    21984    71096 |    39250    37138     39 |  0.209 % |
663.67/663.67	c |   1453606 |    3822    21984    71096 |    39250    37650     39 |  0.209 % |
663.97/663.93	c |   1454120 |    3822    21984    71096 |    39250    38164     39 |  0.209 % |
664.37/664.38	c |   1455144 |    3822    21984    71096 |    39250    39188     39 |  0.209 % |
665.57/665.58	c |   1457192 |    3822    21984    71096 |    39250    35981     40 |  0.209 % |
665.97/665.91	c |   1457704 |    3822    21984    71096 |    39250    36493     40 |  0.209 % |
666.17/666.18	c |   1458218 |    3822    21984    71096 |    39250    37007     40 |  0.209 % |
666.57/666.57	c |   1459245 |    3822    21984    71096 |    39250    38034     41 |  0.209 % |
666.67/666.69	c |   1459757 |    3822    21984    71096 |    39250    38546     41 |  0.209 % |
666.77/666.79	c |   1460270 |    3822    21984    71096 |    38789    39059     41 |  0.209 % |
667.17/667.13	c |   1461294 |    3822    21984    71096 |    38789    34375     43 |  0.209 % |
667.77/667.77	c |   1463342 |    3822    21984    71096 |    38789    36423     44 |  0.209 % |
669.07/669.06	c |   1467441 |    3822    21984    71096 |    38789    32316     45 |  0.209 % |
669.17/669.19	c |   1467954 |    3822    21984    71096 |    38789    32829     45 |  0.209 % |
669.37/669.37	c |   1468466 |    3822    21984    71096 |    38789    33341     46 |  0.209 % |
669.77/669.72	c |   1469491 |    3822    21984    71096 |    38789    34366     45 |  0.209 % |
669.97/669.99	c |   1470008 |    3822    21984    71096 |    34875    34883     45 |  0.209 % |
670.27/670.27	c |   1470520 |    3822    21984    71096 |    34875    28988     44 |  0.209 % |
670.67/670.61	c |   1471544 |    3822    21984    71096 |    34875    30012     44 |  0.209 % |
671.17/671.12	c |   1473593 |    3822    21984    71096 |    34875    32061     44 |  0.209 % |
671.27/671.29	c |   1474105 |    3822    21984    71096 |    34875    32573     44 |  0.209 % |
671.57/671.52	c |   1474619 |    3822    21984    71096 |    34875    33087     44 |  0.209 % |
671.97/671.93	c |   1475645 |    3822    21984    71096 |    34875    34113     44 |  0.209 % |
672.27/672.25	c |   1476157 |    3822    21984    71096 |    34875    34625     44 |  0.209 % |
672.57/672.58	c |   1476670 |    3822    21984    71096 |    34875    30468     44 |  0.209 % |
673.37/673.35	c |   1477697 |    3822    21984    71096 |    34875    31495     43 |  0.209 % |
674.37/674.38	c |   1479745 |    3822    21984    71096 |    34875    33543     44 |  0.209 % |
676.37/676.37	c |   1483841 |    3822    21984    71096 |    33799    32253     46 |  0.209 % |
680.27/680.29	c |   1492033 |    3822    21984    71096 |    32138    27825     45 |  0.209 % |
687.77/687.73	c |   1508420 |    3822    21984    71096 | 2147483647    40542     43 |  0.209 % |
688.17/688.14	c |   1508933 |    3822    21984    71096 | 2147483647    41055     43 |  0.209 % |
688.47/688.45	c |   1509446 |    3822    21984    71096 | 2147483647    41568     43 |  0.209 % |
689.07/689.03	c |   1510473 |    3822    21984    71096 |    42122    42595     43 |  0.209 % |
689.37/689.40	c |   1510988 |    3822    21984    71096 |    42122    36618     44 |  0.209 % |
689.67/689.68	c |   1511500 |    3822    21984    71096 |    42122    37130     44 |  0.209 % |
690.07/690.06	c |   1512524 |    3822    21984    71096 |    42122    38154     43 |  0.209 % |
691.07/691.01	c |   1514572 |    3822    21984    71096 |    42122    40202     43 |  0.209 % |
691.17/691.17	c |   1515084 |    3822    21984    71096 |    42122    40714     43 |  0.209 % |
691.47/691.45	c |   1515598 |    3822    21984    71096 |    42122    41228     43 |  0.209 % |
691.98/691.93	c |   1516622 |    3822    21984    71096 |    42122    42252     43 |  0.209 % |
692.27/692.29	c |   1517134 |    3822    21984    71096 |    42122    36241     40 |  0.209 % |
692.57/692.54	c |   1517646 |    3822    21984    71096 |    42122    36753     40 |  0.209 % |
692.87/692.88	c |   1518670 |    3822    21984    71096 |    42122    37777     41 |  0.209 % |
693.97/694.00	c |   1520720 |    3822    21984    71096 |    39108    39827     41 |  0.209 % |
696.27/696.29	c |   1524817 |    3822    21984    71096 |    39108    38716     37 |  0.209 % |
696.67/696.65	c |   1525329 |    3822    21984    71096 |    39108    39228     37 |  0.209 % |
697.07/697.01	c |   1525843 |    3822    21984    71096 |    39108    35229     37 |  0.209 % |
697.57/697.51	c |   1526868 |    3822    21984    71096 |    39108    36254     37 |  0.209 % |
697.87/697.83	c |   1527385 |    3822    21984    71096 |    39108    36771     37 |  0.209 % |
698.07/698.07	c |   1527897 |    3822    21984    71096 |    39108    37283     37 |  0.209 % |
698.67/698.62	c |   1528921 |    3822    21984    71096 |    39108    38307     37 |  0.209 % |
699.68/699.63	c |   1530969 |    3822    21984    71096 |    39386    36241     36 |  0.209 % |
699.87/699.86	c |   1531481 |    3822    21984    71096 |    39386    36753     36 |  0.209 % |
700.17/700.11	c |   1531993 |    3822    21984    71096 |    39386    37265     36 |  0.209 % |
700.57/700.52	c |   1533017 |    3822    21984    71096 |    39386    38289     36 |  0.209 % |
700.78/700.78	c |   1533529 |    3822    21984    71096 |    39386    38801     36 |  0.209 % |
700.97/700.94	c |   1534041 |    3822    21984    71096 |    39386    39313     37 |  0.209 % |
701.47/701.49	c |   1535065 |    3822    21984    71096 |    39386    36073     36 |  0.209 % |
702.37/702.34	c |   1537115 |    3822    21984    71096 |    39386    38123     37 |  0.209 % |
704.47/704.45	c |   1541211 |    3822    21984    71096 |    36275    32272     35 |  0.209 % |
708.87/708.86	c |   1549403 |    3822    21984    71096 |    36275    33268     37 |  0.209 % |
709.07/709.10	c |   1549915 |    3822    21984    71096 |    36275    33780     37 |  0.209 % |
709.37/709.31	c |   1550427 |    3822    21984    71096 |    33865    34292     37 |  0.209 % |
709.67/709.68	c |   1551451 |    3822    21984    71096 |    33865    28936     39 |  0.209 % |
709.87/709.85	c |   1551963 |    3822    21984    71096 |    33865    29448     39 |  0.209 % |
710.07/710.06	c |   1552475 |    3822    21984    71096 |    33865    29960     39 |  0.209 % |
710.47/710.47	c |   1553499 |    3822    21984    71096 |    33865    30984     39 |  0.209 % |
711.27/711.25	c |   1555547 |    3822    21984    71096 |    33865    33032     40 |  0.209 % |
711.47/711.47	c |   1556060 |    3822    21984    71096 |    33865    33545     40 |  0.209 % |
711.67/711.66	c |   1556572 |    3822    21984    71096 |    33865    34057     40 |  0.209 % |
712.17/712.14	c |   1557596 |    3822    21984    71096 |    33865    28432     41 |  0.209 % |
712.37/712.33	c |   1558109 |    3822    21984    71096 |    33865    28945     41 |  0.209 % |
712.57/712.54	c |   1558623 |    3822    21984    71096 |    33865    29459     41 |  0.209 % |
712.97/712.97	c |   1559648 |    3822    21984    71096 |    33865    30484     41 |  0.209 % |
713.57/713.59	c |   1561696 |    3822    21984    71096 |    30836    27495     41 |  0.209 % |
715.37/715.33	c |   1565792 |    3822    21984    71096 |    30836    31591     41 |  0.209 % |
715.57/715.59	c |   1566304 |    3822    21984    71096 |    30836    28613     40 |  0.209 % |
715.77/715.79	c |   1566816 |    3822    21984    71096 |    30836    29125     40 |  0.209 % |
716.18/716.14	c |   1567841 |    3822    21984    71096 |    30836    30150     40 |  0.209 % |
716.37/716.32	c |   1568353 |    3822    21984    71096 |    30836    30662     40 |  0.209 % |
716.57/716.55	c |   1568865 |    3822    21984    71096 |    30836    31174     41 |  0.209 % |
717.07/717.01	c |   1569890 |    3822    21984    71096 |    30836    28712     40 |  0.209 % |
717.97/717.96	c |   1571938 |    3822    21984    71096 |    28823    27249     39 |  0.209 % |
718.17/718.16	c |   1572451 |    3822    21984    71096 |    28823    27762     39 |  0.209 % |
718.38/718.37	c |   1572965 |    3822    21984    71096 |    28823    28276     39 |  0.209 % |
718.77/718.74	c |   1573990 |    3822    21984    71096 |    28823    29301     39 |  0.209 % |
718.87/718.89	c |   1574502 |    3822    21984    71096 |    28823    26601     37 |  0.209 % |
719.07/719.05	c |   1575015 |    3822    21984    71096 |    28823    27114     37 |  0.209 % |
719.48/719.45	c |   1576039 |    3822    21984    71096 |    28823    28138     37 |  0.209 % |
720.17/720.18	c |   1578087 |    3822    21984    71096 |    28823    27169     36 |  0.209 % |
721.57/721.51	c |   1582184 |    3822    21984    71096 | 2147483647    31266     35 |  0.209 % |
725.97/726.00	c |   1590378 |    3822    21984    71096 | 2147483647    39460     35 |  0.209 % |
734.98/735.01	c |   1606762 |    3822    21984    71096 |    49083    46225     33 |  0.209 % |
754.68/754.63	c |   1639532 |    3822    21984    71096 |    44718    41650     48 |  0.209 % |
786.58/786.56	c |   1705068 |    3822    21984    71096 |    33071    33706     38 |  0.209 % |
786.88/786.82	c |   1705582 |    3822    21984    71096 |    33071    29882     37 |  0.209 % |
787.08/787.08	c |   1706094 |    3822    21984    71096 |    33071    30394     37 |  0.209 % |
787.38/787.38	c |   1707118 |    3822    21984    71096 |    33071    31418     37 |  0.209 % |
787.58/787.54	c |   1707631 |    3822    21984    71096 |    33071    31931     37 |  0.209 % |
787.78/787.71	c |   1708145 |    3822    21984    71096 |    33071    32445     37 |  0.209 % |
788.08/788.10	c |   1709172 |    3822    21984    71096 |    33071    33472     37 |  0.209 % |
788.78/788.76	c |   1711220 |    3822    21984    71096 |    30512    28407     36 |  0.209 % |
788.98/788.98	c |   1711734 |    3822    21984    71096 |    30512    28921     36 |  0.209 % |
789.18/789.15	c |   1712247 |    3822    21984    71096 |    30512    29434     36 |  0.209 % |
789.48/789.51	c |   1713271 |    3822    21984    71096 |    30512    30458     37 |  0.209 % |
789.68/789.67	c |   1713783 |    3822    21984    71096 |    30512    30970     37 |  0.209 % |
789.78/789.78	c |   1714295 |    3822    21984    71096 |    30512    28385     37 |  0.209 % |
790.18/790.14	c |   1715320 |    3822    21984    71096 |    30512    29410     38 |  0.209 % |
790.88/790.85	c |   1717368 |    3822    21984    71096 |    30512    31458     39 |  0.209 % |
792.68/792.62	c |   1721468 |    3822    21984    71096 |    30945    28640     41 |  0.209 % |
792.88/792.83	c |   1721981 |    3822    21984    71096 |    30945    29153     42 |  0.209 % |
793.08/793.06	c |   1722495 |    3822    21984    71096 |    30945    29667     42 |  0.209 % |
793.58/793.57	c |   1723519 |    3822    21984    71096 |    30945    30691     42 |  0.209 % |
793.78/793.78	c |   1724031 |    3822    21984    71096 |    30945    31203     42 |  0.209 % |
794.08/794.02	c |   1724544 |    3822    21984    71096 |    30945    27527     43 |  0.209 % |
794.38/794.40	c |   1725570 |    3822    21984    71096 |    30945    28553     43 |  0.210 % |
795.08/795.08	c |   1727618 |    3822    21984    71096 |    30945    30601     44 |  0.209 % |
795.28/795.25	c |   1728132 |    3822    21984    71096 |    30945    31115     45 |  0.209 % |
795.58/795.51	c |   1728644 |    3822    21984    71096 |    30945    27886     45 |  0.209 % |
795.88/795.84	c |   1729669 |    3822    21984    71096 |    30945    28911     45 |  0.209 % |
796.08/796.05	c |   1730181 |    3822    21984    71096 |    29243    29423     45 |  0.209 % |
796.28/796.30	c |   1730693 |    3822    21984    71096 |    29243    26304     46 |  0.209 % |
796.68/796.62	c |   1731719 |    3822    21984    71096 |    29243    27330     46 |  0.209 % |
797.28/797.28	c |   1733767 |    3822    21984    71096 |    29243    29378     47 |  0.209 % |
798.98/798.99	c |   1737864 |    3822    21984    71096 |    29243    25954     45 |  0.209 % |
802.48/802.41	c |   1746057 |    3822    21984    71096 |    28090    23167     46 |  0.209 % |
802.58/802.56	c |   1746570 |    3822    21984    71096 |    28090    23680     46 |  0.209 % |
802.78/802.71	c |   1747082 |    3822    21984    71096 |    28090    24192     46 |  0.209 % |
803.09/803.03	c |   1748106 |    3822    21984    71096 |    28090    25216     45 |  0.209 % |
803.28/803.22	c |   1748618 |    3822    21984    71096 |    28090    25728     45 |  0.209 % |
803.48/803.41	c |   1749132 |    3822    21984    71096 |    28090    26242     45 |  0.209 % |
803.88/803.88	c |   1750157 |    3822    21984    71096 |    27110    27267     44 |  0.209 % |
804.68/804.65	c |   1752206 |    3822    21984    71096 |    27110    25410     43 |  0.209 % |
804.88/804.83	c |   1752719 |    3822    21984    71096 |    27110    25923     43 |  0.209 % |
805.08/805.01	c |   1753233 |    3822    21984    71096 |    27110    26437     43 |  0.209 % |
805.48/805.43	c |   1754258 |    3822    21984    71096 |    27110    27462     43 |  0.209 % |
805.68/805.69	c |   1754770 |    3822    21984    71096 |    27110    25228     42 |  0.209 % |
805.98/805.91	c |   1755283 |    3822    21984    71096 |    27110    25741     41 |  0.209 % |
806.18/806.17	c |   1756308 |    3822    21984    71096 |    27110    26766     42 |  0.209 % |
807.08/807.03	c |   1758356 |    3822    21984    71096 |    27110    26012     41 |  0.209 % |
808.68/808.64	c |   1762452 |    3822    21984    71096 | 2147483647    30108     43 |  0.209 % |
808.88/808.87	c |   1762964 |    3822    21984    71096 | 2147483647    30620     43 |  0.209 % |
809.08/809.10	c |   1763478 |    3822    21984    71096 | 2147483647    31134     44 |  0.209 % |
809.58/809.54	c |   1764504 |    3822    21984    71096 | 2147483647    32160     44 |  0.209 % |
809.69/809.70	c |   1765016 |    3822    21984    71096 | 2147483647    32672     44 |  0.209 % |
809.88/809.89	c |   1765530 |    3822    21984    71096 | 2147483647    33186     44 |  0.209 % |
810.28/810.27	c |   1766556 |    3822    21984    71096 | 2147483647    34212     43 |  0.209 % |
811.18/811.13	c |   1768605 |    3822    21984    71096 | 2147483647    36261     44 |  0.209 % |
811.38/811.37	c |   1769117 |    3822    21984    71096 | 2147483647    36773     43 |  0.209 % |
811.58/811.59	c |   1769631 |    3822    21984    71096 | 2147483647    37287     43 |  0.209 % |
812.08/812.03	c |   1770657 |    3822    21984    71096 |    37656    38313     43 |  0.209 % |
812.28/812.29	c |   1771170 |    3822    21984    71096 |    37656    33909     42 |  0.209 % |
812.58/812.51	c |   1771683 |    3822    21984    71096 |    37656    34422     42 |  0.209 % |
812.99/812.93	c |   1772708 |    3822    21984    71096 |    37656    35447     42 |  0.209 % |
813.78/813.77	c |   1774758 |    3822    21984    71096 |    37656    37497     42 |  0.209 % |
815.78/815.79	c |   1778857 |    3822    21984    71096 |    37656    34754     41 |  0.209 % |
819.18/819.11	c |   1787049 |    3822    21984    71096 |    35899    35372     47 |  0.209 % |
827.08/827.05	c |   1803434 |    3822    21984    71096 | 2147483647    34195     36 |  0.209 % |
827.29/827.22	c |   1803946 |    3822    21984    71096 | 2147483647    34707     36 |  0.209 % |
827.48/827.47	c |   1804459 |    3822    21984    71096 | 2147483647    35220     37 |  0.209 % |
827.98/827.93	c |   1805483 |    3822    21984    71096 | 2147483647    36244     37 |  0.209 % |
828.18/828.20	c |   1805997 |    3822    21984    71096 | 2147483647    36758     37 |  0.209 % |
828.48/828.45	c |   1806509 |    3822    21984    71096 | 2147483647    37270     37 |  0.209 % |
828.98/828.97	c |   1807534 |    3822    21984    71096 | 2147483647    38295     37 |  0.210 % |
829.68/829.65	c |   1809583 |    3822    21984    71096 | 2147483647    40344     38 |  0.209 % |
829.88/829.84	c |   1810096 |    3822    21984    71096 |    40761    40857     38 |  0.209 % |
830.08/830.10	c |   1810608 |    3822    21984    71096 |    40761    36564     37 |  0.209 % |
830.78/830.74	c |   1811632 |    3822    21984    71096 |    40761    37588     37 |  0.209 % |
831.08/831.02	c |   1812144 |    3822    21984    71096 |    40761    38100     37 |  0.209 % |
831.18/831.20	c |   1812656 |    3822    21984    71096 |    40761    38612     37 |  0.209 % |
831.58/831.55	c |   1813681 |    3822    21984    71096 |    40761    39637     37 |  0.209 % |
832.28/832.23	c |   1815730 |    3822    21984    71096 |    40761    41686     37 |  0.209 % |
834.38/834.37	c |   1819826 |    3822    21984    71096 |    40761    39958     33 |  0.209 % |
834.78/834.71	c |   1820341 |    3822    21984    71096 |    40132    40473     33 |  0.209 % |
835.08/835.07	c |   1820853 |    3822    21984    71096 |    40132    34717     31 |  0.209 % |
835.48/835.46	c |   1821877 |    3822    21984    71096 |    40132    35741     31 |  0.209 % |
835.68/835.64	c |   1822389 |    3822    21984    71096 |    40132    36253     31 |  0.209 % |
835.88/835.81	c |   1822902 |    3822    21984    71096 |    40132    36766     32 |  0.209 % |
836.28/836.24	c |   1823926 |    3822    21984    71096 |    40132    37790     32 |  0.209 % |
837.08/837.06	c |   1825975 |    3822    21984    71096 |    40132    39839     33 |  0.209 % |
837.28/837.24	c |   1826487 |    3822    21984    71096 |    40132    40351     34 |  0.209 % |
837.48/837.47	c |   1826999 |    3822    21984    71096 |    40132    33249     36 |  0.209 % |
837.98/837.97	c |   1828025 |    3822    21984    71096 |    40132    34275     37 |  0.209 % |
838.19/838.20	c |   1828538 |    3822    21984    71096 |    40132    34788     37 |  0.209 % |
838.39/838.40	c |   1829051 |    3822    21984    71096 |    40132    35301     37 |  0.209 % |
838.79/838.79	c |   1830075 |    3822    21984    71096 |    36250    36325     37 |  0.209 % |
839.69/839.66	c |   1832123 |    3822    21984    71096 |    36250    32085     38 |  0.209 % |
841.59/841.53	c |   1836221 |    3822    21984    71096 |    36250    36183     37 |  0.209 % |
845.99/845.94	c |   1844414 |    3822    21984    71096 |    36251    34939     38 |  0.209 % |
846.29/846.24	c |   1844926 |    3822    21984    71096 |    36251    35451     38 |  0.209 % |
846.59/846.54	c |   1845438 |    3822    21984    71096 |    36251    35963     38 |  0.209 % |
847.09/847.02	c |   1846464 |    3822    21984    71096 |    36251    36989     38 |  0.209 % |
847.29/847.23	c |   1846978 |    3822    21984    71096 |    36251    32035     37 |  0.209 % |
847.49/847.49	c |   1847491 |    3822    21984    71096 |    36251    32548     37 |  0.209 % |
848.19/848.13	c |   1848519 |    3822    21984    71096 |    36251    33576     37 |  0.209 % |
849.10/849.06	c |   1850569 |    3822    21984    71096 |    35057    35626     37 |  0.209 % |
849.30/849.29	c |   1851083 |    3822    21984    71096 |    35057    31372     35 |  0.209 % |
849.50/849.45	c |   1851595 |    3822    21984    71096 |    35057    31884     35 |  0.209 % |
849.80/849.78	c |   1852619 |    3822    21984    71096 |    35057    32908     36 |  0.209 % |
850.00/850.02	c |   1853131 |    3822    21984    71096 |    35057    33420     36 |  0.209 % |
850.30/850.29	c |   1853643 |    3822    21984    71096 |    35057    33932     36 |  0.209 % |
850.60/850.57	c |   1854667 |    3822    21984    71096 |    35057    34956     37 |  0.209 % |
851.50/851.48	c |   1856716 |    3822    21984    71096 |    35057    33430     36 |  0.209 % |
853.00/853.00	c |   1860814 |    3822    21984    71096 | 2147483647    33842     39 |  0.209 % |
853.20/853.16	c |   1861329 |    3822    21984    71096 | 2147483647    34357     39 |  0.209 % |
853.40/853.32	c |   1861841 |    3822    21984    71096 | 2147483647    34869     39 |  0.209 % |
853.90/853.91	c |   1862867 |    3822    21984    71096 | 2147483647    35895     40 |  0.209 % |
854.20/854.16	c |   1863380 |    3822    21984    71096 | 2147483647    36408     39 |  0.209 % |
854.50/854.43	c |   1863892 |    3822    21984    71096 | 2147483647    36920     39 |  0.209 % |
855.00/854.99	c |   1864917 |    3822    21984    71096 | 2147483647    37945     39 |  0.209 % |
856.00/855.92	c |   1866965 |    3822    21984    71096 | 2147483647    39993     40 |  0.209 % |
856.20/856.16	c |   1867478 |    3822    21984    71096 | 2147483647    40506     40 |  0.209 % |
856.40/856.40	c |   1867990 |    3822    21984    71096 | 2147483647    41018     40 |  0.209 % |
856.80/856.81	c |   1869016 |    3822    21984    71096 | 2147483647    42044     40 |  0.209 % |
857.10/857.05	c |   1869529 |    3822    21984    71096 | 2147483647    42557     40 |  0.209 % |
857.50/857.42	c |   1870042 |    3822    21984    71096 |    43029    43070     40 |  0.209 % |
857.90/857.91	c |   1871066 |    3822    21984    71096 |    43029    37346     41 |  0.209 % |
859.00/858.97	c |   1873116 |    3822    21984    71096 |    43029    39396     40 |  0.209 % |
861.50/861.48	c |   1877212 |    3822    21984    71096 |    43029    43492     39 |  0.210 % |
865.50/865.48	c |   1885406 |    3822    21984    71096 |    40796    39197     39 |  0.209 % |
872.10/872.10	c |   1901791 |    3822    21984    71096 |    29598    24062     28 |  0.209 % |
885.00/884.95	c |   1934559 |    3822    21984    71096 | 2147483647    28418     43 |  0.209 % |
885.20/885.13	c |   1935071 |    3822    21984    71096 | 2147483647    28930     43 |  0.209 % |
885.40/885.32	c |   1935586 |    3822    21984    71096 | 2147483647    29445     43 |  0.209 % |
885.70/885.69	c |   1936612 |    3822    21984    71096 | 2147483647    30471     43 |  0.209 % |
885.90/885.89	c |   1937125 |    3822    21984    71096 | 2147483647    30984     42 |  0.209 % |
886.10/886.10	c |   1937638 |    3822    21984    71096 | 2147483647    31497     42 |  0.209 % |
886.60/886.60	c |   1938662 |    3822    21984    71096 | 2147483647    32521     42 |  0.209 % |
887.40/887.42	c |   1940711 |    3822    21984    71096 | 2147483647    34570     41 |  0.209 % |
887.60/887.58	c |   1941225 |    3822    21984    71096 | 2147483647    35084     41 |  0.209 % |
887.90/887.83	c |   1941737 |    3822    21984    71096 | 2147483647    35596     41 |  0.209 % |
888.40/888.34	c |   1942762 |    3822    21984    71096 | 2147483647    36621     41 |  0.209 % |
888.70/888.66	c |   1943274 |    3822    21984    71096 | 2147483647    37133     41 |  0.209 % |
889.00/888.93	c |   1943787 |    3822    21984    71096 | 2147483647    37646     40 |  0.209 % |
889.30/889.30	c |   1944811 |    3822    21984    71096 | 2147483647    38670     40 |  0.209 % |
890.50/890.47	c |   1946861 |    3822    21984    71096 | 2147483647    40720     40 |  0.209 % |
892.80/892.80	c |   1950957 |    3822    21984    71096 | 2147483647    44816     40 |  0.209 % |
893.20/893.14	c |   1951469 |    3822    21984    71096 | 2147483647    45328     40 |  0.209 % |
893.50/893.49	c |   1951982 |    3822    21984    71096 | 2147483647    45841     40 |  0.209 % |
894.10/894.02	c |   1953007 |    3822    21984    71096 | 2147483647    46866     40 |  0.209 % |
894.50/894.42	c |   1953520 |    3822    21984    71096 | 2147483647    47379     39 |  0.209 % |
894.70/894.71	c |   1954032 |    3822    21984    71096 | 2147483647    47891     39 |  0.209 % |
895.20/895.18	c |   1955057 |    3822    21984    71096 | 2147483647    48916     39 |  0.209 % |
896.30/896.30	c |   1957105 |    3822    21984    71096 | 2147483647    50964     39 |  0.209 % |
896.70/896.69	c |   1957618 |    3822    21984    71096 | 2147483647    51477     39 |  0.209 % |
897.10/897.08	c |   1958130 |    3822    21984    71096 | 2147483647    51989     39 |  0.209 % |
897.70/897.62	c |   1959155 |    3822    21984    71096 | 2147483647    53014     39 |  0.209 % |
898.10/898.02	c |   1959667 |    3822    21984    71096 | 2147483647    53526     39 |  0.209 % |
898.40/898.38	c |   1960179 |    3822    21984    71096 |    53859    54038     39 |  0.209 % |
899.10/899.03	c |   1961204 |    3822    21984    71096 |    53859    46933     35 |  0.209 % |
900.30/900.23	c |   1963255 |    3822    21984    71096 |    53859    48984     36 |  0.209 % |
901.50/901.47	c |   1967351 |    3822    21984    71096 |    53859    53080     39 |  0.209 % |
905.30/905.32	c |   1975544 |    3822    21984    71096 |    45492    41051     42 |  0.209 % |
905.60/905.59	c |   1976057 |    3822    21984    71096 |    45492    41564     42 |  0.209 % |
906.00/905.92	c |   1976570 |    3822    21984    71096 |    45492    42077     42 |  0.209 % |
906.40/906.41	c |   1977594 |    3822    21984    71096 |    45492    43101     42 |  0.209 % |
906.70/906.66	c |   1978106 |    3822    21984    71096 |    45492    43613     42 |  0.209 % |
906.90/906.90	c |   1978620 |    3822    21984    71096 |    45492    44127     42 |  0.209 % |
907.50/907.46	c |   1979644 |    3822    21984    71096 |    45492    45151     41 |  0.209 % |
908.71/908.70	c |   1981692 |    3822    21984    71096 |    45508    36884     42 |  0.209 % |
909.00/908.94	c |   1982204 |    3822    21984    71096 |    45508    37396     42 |  0.209 % |
909.20/909.16	c |   1982719 |    3822    21984    71096 |    45508    37911     42 |  0.209 % |
909.81/909.78	c |   1983743 |    3822    21984    71096 |    45508    38935     42 |  0.209 % |
910.10/910.06	c |   1984256 |    3822    21984    71096 |    45508    39448     42 |  0.209 % |
910.30/910.28	c |   1984768 |    3822    21984    71096 |    45508    39960     42 |  0.209 % |
910.80/910.80	c |   1985792 |    3822    21984    71096 |    45508    40984     42 |  0.209 % |
911.80/911.74	c |   1987841 |    3822    21984    71096 |    45508    43033     43 |  0.209 % |
913.90/913.90	c |   1991937 |    3822    21984    71096 |    45192    36760     45 |  0.209 % |
914.10/914.12	c |   1992450 |    3822    21984    71096 |    45192    37273     45 |  0.209 % |
914.40/914.32	c |   1992962 |    3822    21984    71096 |    45192    37785     45 |  0.209 % |
914.90/914.86	c |   1993986 |    3822    21984    71096 |    45192    38809     45 |  0.209 % |
915.10/915.02	c |   1994498 |    3822    21984    71096 |    45192    39321     45 |  0.209 % |
915.31/915.26	c |   1995010 |    3822    21984    71096 |    45192    39833     45 |  0.209 % |
915.70/915.65	c |   1996034 |    3822    21984    71096 |    45192    40857     45 |  0.209 % |
916.80/916.74	c |   1998082 |    3822    21984    71096 |    45192    42905     44 |  0.209 % |
917.00/916.97	c |   1998595 |    3822    21984    71096 |    45192    43418     44 |  0.209 % |
917.30/917.28	c |   1999107 |    3822    21984    71096 |    45192    43930     44 |  0.209 % |
918.00/917.93	c |   2000131 |    3822    21984    71096 |    44823    44954     44 |  0.209 % |
918.40/918.34	c |   2000643 |    3822    21984    71096 |    44823    36865     39 |  0.209 % |
918.61/918.59	c |   2001155 |    3822    21984    71096 |    44823    37377     39 |  0.209 % |
919.10/919.05	c |   2002179 |    3822    21984    71096 |    44823    38401     39 |  0.209 % |
920.20/920.21	c |   2004230 |    3822    21984    71096 |    44823    40452     39 |  0.209 % |
922.10/922.07	c |   2008326 |    3822    21984    71096 |    44823    44548     39 |  0.209 % |
926.20/926.19	c |   2016520 |    3822    21984    71096 |    39914    40948     38 |  0.209 % |
932.90/932.86	c |   2032904 |    3822    21984    71096 |    38456    34680     50 |  0.209 % |
933.09/933.08	c |   2033416 |    3822    21984    71096 |    38456    35192     50 |  0.209 % |
933.39/933.33	c |   2033928 |    3822    21984    71096 |    38456    35704     50 |  0.209 % |
934.00/933.95	c |   2034953 |    3822    21984    71096 |    38456    36729     49 |  0.209 % |
934.19/934.19	c |   2035466 |    3822    21984    71096 |    38456    37242     49 |  0.209 % |
934.49/934.42	c |   2035978 |    3822    21984    71096 |    38456    37754     49 |  0.209 % |
934.79/934.74	c |   2037002 |    3822    21984    71096 |    38456    38778     49 |  0.209 % |
935.59/935.52	c |   2039050 |    3822    21984    71096 |    38456    34799     50 |  0.209 % |
935.79/935.75	c |   2039563 |    3822    21984    71096 |    38456    35312     50 |  0.209 % |
936.09/936.07	c |   2040076 |    3822    21984    71096 |    35749    35825     50 |  0.209 % |
936.59/936.53	c |   2041101 |    3822    21984    71096 |    35749    31364     50 |  0.209 % |
936.69/936.70	c |   2041616 |    3822    21984    71096 |    35749    31879     50 |  0.209 % |
937.09/937.02	c |   2042128 |    3822    21984    71096 |    35749    32391     49 |  0.209 % |
937.49/937.49	c |   2043153 |    3822    21984    71096 |    35749    33416     49 |  0.209 % |
938.59/938.60	c |   2045202 |    3822    21984    71096 |    35749    35465     47 |  0.209 % |
940.49/940.49	c |   2049298 |    3822    21984    71096 |    35749    35874     47 |  0.209 % |
940.79/940.77	c |   2049810 |    3822    21984    71096 |    35749    32799     44 |  0.209 % |
940.99/940.94	c |   2050322 |    3822    21984    71096 | 2147483647    33311     45 |  0.209 % |
941.49/941.44	c |   2051347 |    3822    21984    71096 | 2147483647    34336     45 |  0.209 % |
941.70/941.64	c |   2051859 |    3822    21984    71096 | 2147483647    34848     45 |  0.209 % |
941.89/941.88	c |   2052371 |    3822    21984    71096 | 2147483647    35360     45 |  0.209 % |
942.49/942.43	c |   2053395 |    3822    21984    71096 | 2147483647    36384     45 |  0.209 % |
943.59/943.52	c |   2055444 |    3822    21984    71096 | 2147483647    38433     45 |  0.209 % |
943.79/943.80	c |   2055957 |    3822    21984    71096 | 2147483647    38946     46 |  0.209 % |
944.19/944.15	c |   2056469 |    3822    21984    71096 | 2147483647    39458     45 |  0.209 % |
944.69/944.62	c |   2057495 |    3822    21984    71096 | 2147483647    40484     46 |  0.209 % |
944.89/944.89	c |   2058008 |    3822    21984    71096 | 2147483647    40997     46 |  0.209 % |
945.19/945.14	c |   2058520 |    3822    21984    71096 | 2147483647    41509     46 |  0.209 % |
945.69/945.66	c |   2059545 |    3822    21984    71096 | 2147483647    42534     46 |  0.209 % |
946.69/946.69	c |   2061597 |    3822    21984    71096 |    42991    36027     41 |  0.209 % |
948.49/948.44	c |   2065693 |    3822    21984    71096 |    42991    40123     41 |  0.209 % |
952.20/952.18	c |   2073886 |    3822    21984    71096 |    36850    34691     42 |  0.209 % |
952.50/952.41	c |   2074398 |    3822    21984    71096 |    36850    35203     42 |  0.209 % |
952.60/952.59	c |   2074911 |    3822    21984    71096 |    36850    35716     42 |  0.209 % |
953.20/953.11	c |   2075936 |    3822    21984    71096 |    36850    36741     42 |  0.209 % |
953.40/953.36	c |   2076448 |    3822    21984    71096 |    36850    37253     42 |  0.209 % |
953.70/953.65	c |   2076960 |    3822    21984    71096 |    36850    30798     41 |  0.209 % |
954.00/953.97	c |   2077985 |    3822    21984    71096 |    36850    31823     42 |  0.209 % |
955.10/955.09	c |   2080033 |    3822    21984    71096 |    33839    33871     42 |  0.209 % |
955.30/955.27	c |   2080545 |    3822    21984    71096 |    33839    28374     40 |  0.209 % |
955.60/955.53	c |   2081057 |    3822    21984    71096 |    33839    28886     40 |  0.209 % |
956.00/955.98	c |   2082083 |    3822    21984    71096 |    33839    29912     40 |  0.209 % |
956.20/956.17	c |   2082596 |    3822    21984    71096 |    33839    30425     40 |  0.210 % |
956.40/956.36	c |   2083108 |    3822    21984    71096 |    33839    30937     40 |  0.209 % |
956.90/956.86	c |   2084133 |    3822    21984    71096 |    33839    31962     39 |  0.209 % |
957.90/957.88	c |   2086182 |    3822    21984    71096 |    33839    34011     39 |  0.209 % |
960.10/960.02	c |   2090278 |    3821    21977    71081 | 2147483647    34312     38 |  0.235 % |
960.40/960.31	c |   2090791 |    3821    21977    71081 | 2147483647    34825     38 |  0.235 % |
960.60/960.53	c |   2091305 |    3821    21977    71081 | 2147483647    35339     38 |  0.235 % |
961.00/960.93	c |   2092330 |    3821    21977    71081 | 2147483647    36364     39 |  0.235 % |
961.20/961.15	c |   2092843 |    3821    21977    71081 | 2147483647    36877     39 |  0.235 % |
961.40/961.37	c |   2093355 |    3821    21977    71081 | 2147483647    37389     39 |  0.235 % |
962.00/961.96	c |   2094380 |    3821    21977    71081 | 2147483647    38414     39 |  0.235 % |
963.00/962.98	c |   2096428 |    3821    21977    71081 | 2147483647    40462     39 |  0.235 % |
963.40/963.34	c |   2096940 |    3821    21977    71081 | 2147483647    40974     39 |  0.235 % |
963.70/963.61	c |   2097452 |    3821    21977    71081 | 2147483647    41486     39 |  0.235 % |
964.10/964.10	c |   2098477 |    3821    21977    71081 | 2147483647    42511     39 |  0.235 % |
964.50/964.48	c |   2098989 |    3821    21977    71081 | 2147483647    43023     39 |  0.235 % |
964.90/964.86	c |   2099503 |    3821    21977    71081 | 2147483647    43537     39 |  0.235 % |
965.40/965.38	c |   2100527 |    3821    21977    71081 |    44034    44561     39 |  0.235 % |
966.70/966.64	c |   2102577 |    3821    21977    71081 |    44034    39176     37 |  0.235 % |
968.90/968.90	c |   2106674 |    3821    21977    71081 |    44034    43273     37 |  0.235 % |
973.40/973.33	c |   2114868 |    3821    21977    71081 |    39752    38689     32 |  0.235 % |
981.10/981.04	c |   2131254 |    3821    21977    71081 |    36128    31770     31 |  0.235 % |
994.20/994.12	c |   2164022 |    3821    21977    71081 |    25472    24691     32 |  0.235 % |
1025.31/1025.28	c |   2229558 |    3821    21977    71081 |    35527    34840     45 |  0.236 % |
1075.91/1075.85	c |   2360632 |    3821    21977    71081 |    18935    19567     82 |  0.235 % |
1200.02/1199.92	HOME/SatELiteGTI: line 36: 12825 Terminated              $MS $TMP.cnf $TMP.result

Verifier Data 

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

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.04 1.03 1.00 2/93 12819
/proc/meminfo: memFree=946044/2074464 swapFree=1948616/1959888
[pid=12819] ppid=12817 vsize=2416 CPUtime=0
/proc/12819/stat : 12819 (SatELiteGTI) S 12817 12819 10436 0 -1 4194304 368 646 0 0 0 0 0 0 18 0 1 0 1008692003 2473984 277 4294967295 134512640 135169312 3213870160 3213868696 3084967662 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12819/statm: 604 277 235 161 0 43 0
[pid=12823] ppid=12819 vsize=952 CPUtime=0
/proc/12823/stat : 12823 (SatELite_releas) R 12819 12819 10436 0 -1 4202496 114 0 0 0 0 0 0 0 18 0 1 0 1008692003 974848 50 4294967295 134512640 135223648 3213689872 3213688776 134736942 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12823/statm: 239 54 44 174 0 64 0

[startup+0.046576 s]
/proc/loadavg: 1.04 1.03 1.00 2/93 12819
/proc/meminfo: memFree=946044/2074464 swapFree=1948616/1959888
[pid=12819] ppid=12817 vsize=2416 CPUtime=0
/proc/12819/stat : 12819 (SatELiteGTI) S 12817 12819 10436 0 -1 4194304 368 646 0 0 0 0 0 0 18 0 1 0 1008692003 2473984 277 4294967295 134512640 135169312 3213870160 3213868696 3084967662 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12819/statm: 604 277 235 161 0 43 0
[pid=12823] ppid=12819 vsize=5648 CPUtime=0.05
/proc/12823/stat : 12823 (SatELite_releas) R 12819 12819 10436 0 -1 4202496 1169 0 0 0 3 2 0 0 18 0 1 0 1008692003 5783552 1105 4294967295 134512640 135223648 3213689872 3213687776 134688357 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12823/statm: 1412 1105 73 174 0 1237 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 8064

[startup+0.11657 s]
/proc/loadavg: 1.04 1.03 1.00 2/93 12819
/proc/meminfo: memFree=946044/2074464 swapFree=1948616/1959888
[pid=12819] ppid=12817 vsize=2416 CPUtime=0
/proc/12819/stat : 12819 (SatELiteGTI) S 12817 12819 10436 0 -1 4194304 368 646 0 0 0 0 0 0 18 0 1 0 1008692003 2473984 277 4294967295 134512640 135169312 3213870160 3213868696 3084967662 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12819/statm: 604 277 235 161 0 43 0
[pid=12823] ppid=12819 vsize=6508 CPUtime=0.12
/proc/12823/stat : 12823 (SatELite_releas) R 12819 12819 10436 0 -1 4202496 1390 0 0 0 10 2 0 0 18 0 1 0 1008692003 6664192 1326 4294967295 134512640 135223648 3213689872 3213687888 134586980 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12823/statm: 1627 1326 73 174 0 1452 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 8924

[startup+0.316553 s]
/proc/loadavg: 1.04 1.03 1.00 2/93 12819
/proc/meminfo: memFree=946044/2074464 swapFree=1948616/1959888
[pid=12819] ppid=12817 vsize=2420 CPUtime=0.27
/proc/12819/stat : 12819 (SatELiteGTI) S 12817 12819 10436 0 -1 4194304 386 2197 0 0 0 0 25 2 17 0 1 0 1008692003 2478080 278 4294967295 134512640 135169312 3213870160 3213866376 3084967662 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12819/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 2420

[startup+0.716519 s]
/proc/loadavg: 1.04 1.03 1.00 2/93 12819
/proc/meminfo: memFree=946044/2074464 swapFree=1948616/1959888
[pid=12819] ppid=12817 vsize=2420 CPUtime=0.27
/proc/12819/stat : 12819 (SatELiteGTI) S 12817 12819 10436 0 -1 4194304 386 2197 0 0 0 0 25 2 17 0 1 0 1008692003 2478080 278 4294967295 134512640 135169312 3213870160 3213866376 3084967662 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12819/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 2420

[startup+1.51645 s]
/proc/loadavg: 1.04 1.03 1.00 3/95 12825
/proc/meminfo: memFree=943044/2074464 swapFree=1948616/1959888
[pid=12819] ppid=12817 vsize=2420 CPUtime=0.27
/proc/12819/stat : 12819 (SatELiteGTI) S 12817 12819 10436 0 -1 4194304 386 2197 0 0 0 0 25 2 17 0 1 0 1008692003 2478080 278 4294967295 134512640 135169312 3213870160 3213866376 3084967662 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12819/statm: 605 278 235 161 0 44 0
[pid=12825] ppid=12819 vsize=4452 CPUtime=1.25
/proc/12825/stat : 12825 (minisat_static) R 12819 12819 10436 0 -1 4202496 888 0 0 0 125 0 0 0 21 0 1 0 1008692030 4558848 823 4294967295 134512640 135216591 3213231104 3213229296 134528860 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12825/statm: 1113 823 75 172 0 940 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 6872

[startup+3.11632 s]
/proc/loadavg: 1.04 1.03 1.00 3/95 12825
/proc/meminfo: memFree=942548/2074464 swapFree=1948616/1959888
[pid=12819] ppid=12817 vsize=2420 CPUtime=0.27
/proc/12819/stat : 12819 (SatELiteGTI) S 12817 12819 10436 0 -1 4194304 386 2197 0 0 0 0 25 2 17 0 1 0 1008692003 2478080 278 4294967295 134512640 135169312 3213870160 3213866376 3084967662 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12819/statm: 605 278 235 161 0 44 0
[pid=12825] ppid=12819 vsize=6208 CPUtime=2.85
/proc/12825/stat : 12825 (minisat_static) R 12819 12819 10436 0 -1 4202496 1323 0 0 0 285 0 0 0 25 0 1 0 1008692030 6356992 1258 4294967295 134512640 135216591 3213231104 3213229296 134528997 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12825/statm: 1552 1258 75 172 0 1379 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 8628

[startup+6.31606 s]
/proc/loadavg: 1.04 1.03 1.00 3/95 12827
/proc/meminfo: memFree=938828/2074464 swapFree=1948616/1959888
[pid=12819] ppid=12817 vsize=2420 CPUtime=0.27
/proc/12819/stat : 12819 (SatELiteGTI) S 12817 12819 10436 0 -1 4194304 386 2197 0 0 0 0 25 2 17 0 1 0 1008692003 2478080 278 4294967295 134512640 135169312 3213870160 3213866376 3084967662 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12819/statm: 605 278 235 161 0 44 0
[pid=12825] ppid=12819 vsize=8604 CPUtime=6.05
/proc/12825/stat : 12825 (minisat_static) R 12819 12819 10436 0 -1 4202496 1921 0 0 0 605 0 0 0 25 0 1 0 1008692030 8810496 1856 4294967295 134512640 135216591 3213231104 3213229280 134525808 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12825/statm: 2151 1856 75 172 0 1978 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 11024

[startup+12.7155 s]
/proc/loadavg: 1.03 1.03 1.00 3/95 12827
/proc/meminfo: memFree=936080/2074464 swapFree=1948616/1959888
[pid=12819] ppid=12817 vsize=2420 CPUtime=0.27
/proc/12819/stat : 12819 (SatELiteGTI) S 12817 12819 10436 0 -1 4194304 386 2197 0 0 0 0 25 2 17 0 1 0 1008692003 2478080 278 4294967295 134512640 135169312 3213870160 3213866376 3084967662 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12819/statm: 605 278 235 161 0 44 0
[pid=12825] ppid=12819 vsize=11304 CPUtime=12.45
/proc/12825/stat : 12825 (minisat_static) R 12819 12819 10436 0 -1 4202496 2597 0 0 0 1244 1 0 0 25 0 1 0 1008692030 11575296 2532 4294967295 134512640 135216591 3213231104 3213229296 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12825/statm: 2826 2532 75 172 0 2653 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 13724

[startup+25.5145 s]
/proc/loadavg: 1.02 1.03 1.00 3/95 12828
/proc/meminfo: memFree=933664/2074464 swapFree=1948616/1959888
[pid=12819] ppid=12817 vsize=2420 CPUtime=0.27
/proc/12819/stat : 12819 (SatELiteGTI) S 12817 12819 10436 0 -1 4194304 386 2197 0 0 0 0 25 2 17 0 1 0 1008692003 2478080 278 4294967295 134512640 135169312 3213870160 3213866376 3084967662 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12819/statm: 605 278 235 161 0 44 0
[pid=12825] ppid=12819 vsize=13524 CPUtime=25.25
/proc/12825/stat : 12825 (minisat_static) R 12819 12819 10436 0 -1 4202496 3161 0 0 0 2523 2 0 0 25 0 1 0 1008692030 13848576 3096 4294967295 134512640 135216591 3213231104 3213229296 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12825/statm: 3381 3096 75 172 0 3208 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 15944

[startup+51.1124 s]
/proc/loadavg: 1.14 1.06 1.01 2/95 13014
/proc/meminfo: memFree=933368/2074464 swapFree=1948616/1959888
[pid=12819] ppid=12817 vsize=2420 CPUtime=0.27
/proc/12819/stat : 12819 (SatELiteGTI) S 12817 12819 10436 0 -1 4194304 386 2197 0 0 0 0 25 2 17 0 1 0 1008692003 2478080 278 4294967295 134512640 135169312 3213870160 3213866376 3084967662 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12819/statm: 605 278 235 161 0 44 0
[pid=12825] ppid=12819 vsize=13696 CPUtime=50.85
/proc/12825/stat : 12825 (minisat_static) R 12819 12819 10436 0 -1 4202496 3176 0 0 0 5082 3 0 0 25 0 1 0 1008692030 14024704 3111 4294967295 134512640 135216591 3213231104 3213229296 134528974 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12825/statm: 3424 3111 75 172 0 3251 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 16116

[startup+102.318 s]
/proc/loadavg: 1.06 1.05 1.00 2/95 13204
/proc/meminfo: memFree=930780/2074464 swapFree=1948616/1959888
[pid=12819] ppid=12817 vsize=2420 CPUtime=0.27
/proc/12819/stat : 12819 (SatELiteGTI) S 12817 12819 10436 0 -1 4194304 386 2197 0 0 0 0 25 2 17 0 1 0 1008692003 2478080 278 4294967295 134512640 135169312 3213870160 3213866376 3084967662 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12819/statm: 605 278 235 161 0 44 0
[pid=12825] ppid=12819 vsize=16356 CPUtime=102.06
/proc/12825/stat : 12825 (minisat_static) R 12819 12819 10436 0 -1 4202496 3835 0 0 0 10203 3 0 0 25 0 1 0 1008692030 16748544 3770 4294967295 134512640 135216591 3213231104 3213229296 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12825/statm: 4089 3770 75 172 0 3916 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 18776

[startup+162.313 s]
/proc/loadavg: 1.02 1.03 1.00 4/95 13392
/proc/meminfo: memFree=930500/2074464 swapFree=1948616/1959888
[pid=12819] ppid=12817 vsize=2420 CPUtime=0.27
/proc/12819/stat : 12819 (SatELiteGTI) S 12817 12819 10436 0 -1 4194304 386 2197 0 0 0 0 25 2 17 0 1 0 1008692003 2478080 278 4294967295 134512640 135169312 3213870160 3213866376 3084967662 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12819/statm: 605 278 235 161 0 44 0
[pid=12825] ppid=12819 vsize=16356 CPUtime=162.06
/proc/12825/stat : 12825 (minisat_static) R 12819 12819 10436 0 -1 4202496 3851 0 0 0 16202 4 0 0 25 0 1 0 1008692030 16748544 3786 4294967295 134512640 135216591 3213231104 3213229296 134529284 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12825/statm: 4089 3786 75 172 0 3916 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 18776

[startup+222.308 s]
/proc/loadavg: 1.01 1.03 1.00 3/95 13579
/proc/meminfo: memFree=930532/2074464 swapFree=1948616/1959888
[pid=12819] ppid=12817 vsize=2420 CPUtime=0.27
/proc/12819/stat : 12819 (SatELiteGTI) S 12817 12819 10436 0 -1 4194304 386 2197 0 0 0 0 25 2 17 0 1 0 1008692003 2478080 278 4294967295 134512640 135169312 3213870160 3213866376 3084967662 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12819/statm: 605 278 235 161 0 44 0
[pid=12825] ppid=12819 vsize=16356 CPUtime=222.06
/proc/12825/stat : 12825 (minisat_static) R 12819 12819 10436 0 -1 4202496 3853 0 0 0 22202 4 0 0 25 0 1 0 1008692030 16748544 3788 4294967295 134512640 135216591 3213231104 3213229296 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12825/statm: 4089 3788 75 172 0 3916 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 18776

[startup+282.313 s]
/proc/loadavg: 1.00 1.02 1.00 3/95 13768
/proc/meminfo: memFree=930268/2074464 swapFree=1948616/1959888
[pid=12819] ppid=12817 vsize=2420 CPUtime=0.27
/proc/12819/stat : 12819 (SatELiteGTI) S 12817 12819 10436 0 -1 4194304 386 2197 0 0 0 0 25 2 17 0 1 0 1008692003 2478080 278 4294967295 134512640 135169312 3213870160 3213866376 3084967662 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12819/statm: 605 278 235 161 0 44 0
[pid=12825] ppid=12819 vsize=16640 CPUtime=282.07
/proc/12825/stat : 12825 (minisat_static) R 12819 12819 10436 0 -1 4202496 3898 0 0 0 28203 4 0 0 25 0 1 0 1008692030 17039360 3833 4294967295 134512640 135216591 3213231104 3213229296 134528860 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12825/statm: 4160 3833 75 172 0 3987 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 19060

[startup+342.308 s]
/proc/loadavg: 1.07 1.04 1.01 2/95 13955
/proc/meminfo: memFree=930244/2074464 swapFree=1948616/1959888
[pid=12819] ppid=12817 vsize=2420 CPUtime=0.27
/proc/12819/stat : 12819 (SatELiteGTI) S 12817 12819 10436 0 -1 4194304 386 2197 0 0 0 0 25 2 17 0 1 0 1008692003 2478080 278 4294967295 134512640 135169312 3213870160 3213866376 3084967662 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12819/statm: 605 278 235 161 0 44 0
[pid=12825] ppid=12819 vsize=16640 CPUtime=342.07
/proc/12825/stat : 12825 (minisat_static) R 12819 12819 10436 0 -1 4202496 3915 0 0 0 34203 4 0 0 25 0 1 0 1008692030 17039360 3850 4294967295 134512640 135216591 3213231104 3213229296 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12825/statm: 4160 3850 75 172 0 3987 0
Current children cumulated CPU time (s) 342.34
Current children cumulated vsize (KiB) 19060

[startup+402.323 s]
/proc/loadavg: 1.02 1.03 1.00 3/95 14145
/proc/meminfo: memFree=930160/2074464 swapFree=1948616/1959888
[pid=12819] ppid=12817 vsize=2420 CPUtime=0.27

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

/proc/12825/stat : 12825 (minisat_static) R 12819 12819 10436 0 -1 4202496 4249 0 0 0 58205 4 0 0 25 0 1 0 1008692030 18440192 4184 4294967295 134512640 135216591 3213231104 3213229296 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12825/statm: 4502 4184 75 172 0 4329 0
Current children cumulated CPU time (s) 582.36
Current children cumulated vsize (KiB) 20428

[startup+642.314 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 14900
/proc/meminfo: memFree=928260/2074464 swapFree=1948616/1959888
[pid=12819] ppid=12817 vsize=2420 CPUtime=0.27
/proc/12819/stat : 12819 (SatELiteGTI) S 12817 12819 10436 0 -1 4194304 386 2197 0 0 0 0 25 2 17 0 1 0 1008692003 2478080 278 4294967295 134512640 135169312 3213870160 3213866376 3084967662 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12819/statm: 605 278 235 161 0 44 0
[pid=12825] ppid=12819 vsize=18008 CPUtime=642.1
/proc/12825/stat : 12825 (minisat_static) R 12819 12819 10436 0 -1 4202496 4249 0 0 0 64206 4 0 0 25 0 1 0 1008692030 18440192 4184 4294967295 134512640 135216591 3213231104 3213229296 134529023 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12825/statm: 4502 4184 75 172 0 4329 0
Current children cumulated CPU time (s) 642.37
Current children cumulated vsize (KiB) 20428

[startup+702.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 15088
/proc/meminfo: memFree=928144/2074464 swapFree=1948616/1959888
[pid=12819] ppid=12817 vsize=2420 CPUtime=0.27
/proc/12819/stat : 12819 (SatELiteGTI) S 12817 12819 10436 0 -1 4194304 386 2197 0 0 0 0 25 2 17 0 1 0 1008692003 2478080 278 4294967295 134512640 135169312 3213870160 3213866376 3084967662 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12819/statm: 605 278 235 161 0 44 0
[pid=12825] ppid=12819 vsize=18008 CPUtime=702.1
/proc/12825/stat : 12825 (minisat_static) R 12819 12819 10436 0 -1 4202496 4249 0 0 0 70204 6 0 0 25 0 1 0 1008692030 18440192 4184 4294967295 134512640 135216591 3213231104 3213229296 134528944 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12825/statm: 4502 4184 75 172 0 4329 0
Current children cumulated CPU time (s) 702.37
Current children cumulated vsize (KiB) 20428

[startup+762.314 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 15276
/proc/meminfo: memFree=928144/2074464 swapFree=1948616/1959888
[pid=12819] ppid=12817 vsize=2420 CPUtime=0.27
/proc/12819/stat : 12819 (SatELiteGTI) S 12817 12819 10436 0 -1 4194304 386 2197 0 0 0 0 25 2 17 0 1 0 1008692003 2478080 278 4294967295 134512640 135169312 3213870160 3213866376 3084967662 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12819/statm: 605 278 235 161 0 44 0
[pid=12825] ppid=12819 vsize=18008 CPUtime=762.11
/proc/12825/stat : 12825 (minisat_static) R 12819 12819 10436 0 -1 4202496 4249 0 0 0 76205 6 0 0 25 0 1 0 1008692030 18440192 4184 4294967295 134512640 135216591 3213231104 3213229296 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12825/statm: 4502 4184 75 172 0 4329 0
Current children cumulated CPU time (s) 762.38
Current children cumulated vsize (KiB) 20428

[startup+822.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 15467
/proc/meminfo: memFree=928160/2074464 swapFree=1948616/1959888
[pid=12819] ppid=12817 vsize=2420 CPUtime=0.27
/proc/12819/stat : 12819 (SatELiteGTI) S 12817 12819 10436 0 -1 4194304 386 2197 0 0 0 0 25 2 17 0 1 0 1008692003 2478080 278 4294967295 134512640 135169312 3213870160 3213866376 3084967662 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12819/statm: 605 278 235 161 0 44 0
[pid=12825] ppid=12819 vsize=18008 CPUtime=822.11
/proc/12825/stat : 12825 (minisat_static) R 12819 12819 10436 0 -1 4202496 4254 0 0 0 82204 7 0 0 25 0 1 0 1008692030 18440192 4189 4294967295 134512640 135216591 3213231104 3213229296 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12825/statm: 4502 4189 75 172 0 4329 0
Current children cumulated CPU time (s) 822.38
Current children cumulated vsize (KiB) 20428

[startup+882.324 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 15656
/proc/meminfo: memFree=928028/2074464 swapFree=1948616/1959888
[pid=12819] ppid=12817 vsize=2420 CPUtime=0.27
/proc/12819/stat : 12819 (SatELiteGTI) S 12817 12819 10436 0 -1 4194304 386 2197 0 0 0 0 25 2 17 0 1 0 1008692003 2478080 278 4294967295 134512640 135169312 3213870160 3213866376 3084967662 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12819/statm: 605 278 235 161 0 44 0
[pid=12825] ppid=12819 vsize=18188 CPUtime=882.13
/proc/12825/stat : 12825 (minisat_static) R 12819 12819 10436 0 -1 4202496 4267 0 0 0 88206 7 0 0 25 0 1 0 1008692030 18624512 4202 4294967295 134512640 135216591 3213231104 3213229296 134528969 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12825/statm: 4547 4202 75 172 0 4374 0
Current children cumulated CPU time (s) 882.4
Current children cumulated vsize (KiB) 20608

[startup+942.309 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 15854
/proc/meminfo: memFree=927880/2074464 swapFree=1948616/1959888
[pid=12819] ppid=12817 vsize=2420 CPUtime=0.27
/proc/12819/stat : 12819 (SatELiteGTI) S 12817 12819 10436 0 -1 4194304 386 2197 0 0 0 0 25 2 17 0 1 0 1008692003 2478080 278 4294967295 134512640 135169312 3213870160 3213866376 3084967662 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12819/statm: 605 278 235 161 0 44 0
[pid=12825] ppid=12819 vsize=18516 CPUtime=942.12
/proc/12825/stat : 12825 (minisat_static) R 12819 12819 10436 0 -1 4202496 4347 0 0 0 94205 7 0 0 25 0 1 0 1008692030 18960384 4282 4294967295 134512640 135216591 3213231104 3213229296 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12825/statm: 4629 4282 75 172 0 4456 0
Current children cumulated CPU time (s) 942.39
Current children cumulated vsize (KiB) 20936

[startup+1002.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 16042
/proc/meminfo: memFree=927896/2074464 swapFree=1948616/1959888
[pid=12819] ppid=12817 vsize=2420 CPUtime=0.27
/proc/12819/stat : 12819 (SatELiteGTI) S 12817 12819 10436 0 -1 4194304 386 2197 0 0 0 0 25 2 17 0 1 0 1008692003 2478080 278 4294967295 134512640 135169312 3213870160 3213866376 3084967662 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12819/statm: 605 278 235 161 0 44 0
[pid=12825] ppid=12819 vsize=18516 CPUtime=1002.13
/proc/12825/stat : 12825 (minisat_static) R 12819 12819 10436 0 -1 4202496 4347 0 0 0 100206 7 0 0 25 0 1 0 1008692030 18960384 4282 4294967295 134512640 135216591 3213231104 3213229296 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12825/statm: 4629 4282 75 172 0 4456 0
Current children cumulated CPU time (s) 1002.4
Current children cumulated vsize (KiB) 20936

[startup+1062.32 s]
/proc/loadavg: 1.07 1.02 1.00 3/95 16230
/proc/meminfo: memFree=927772/2074464 swapFree=1948616/1959888
[pid=12819] ppid=12817 vsize=2420 CPUtime=0.27
/proc/12819/stat : 12819 (SatELiteGTI) S 12817 12819 10436 0 -1 4194304 386 2197 0 0 0 0 25 2 17 0 1 0 1008692003 2478080 278 4294967295 134512640 135169312 3213870160 3213866376 3084967662 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12819/statm: 605 278 235 161 0 44 0
[pid=12825] ppid=12819 vsize=18692 CPUtime=1062.14
/proc/12825/stat : 12825 (minisat_static) R 12819 12819 10436 0 -1 4202496 4388 0 0 0 106207 7 0 0 25 0 1 0 1008692030 19140608 4323 4294967295 134512640 135216591 3213231104 3213229296 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12825/statm: 4673 4323 75 172 0 4500 0
Current children cumulated CPU time (s) 1062.41
Current children cumulated vsize (KiB) 21112

[startup+1122.31 s]
/proc/loadavg: 1.09 1.03 1.00 2/95 16417
/proc/meminfo: memFree=927772/2074464 swapFree=1948616/1959888
[pid=12819] ppid=12817 vsize=2420 CPUtime=0.27
/proc/12819/stat : 12819 (SatELiteGTI) S 12817 12819 10436 0 -1 4194304 386 2197 0 0 0 0 25 2 17 0 1 0 1008692003 2478080 278 4294967295 134512640 135169312 3213870160 3213866376 3084967662 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12819/statm: 605 278 235 161 0 44 0
[pid=12825] ppid=12819 vsize=18692 CPUtime=1122.14
/proc/12825/stat : 12825 (minisat_static) R 12819 12819 10436 0 -1 4202496 4405 0 0 0 112207 7 0 0 25 0 1 0 1008692030 19140608 4340 4294967295 134512640 135216591 3213231104 3213229072 134539948 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12825/statm: 4673 4340 75 172 0 4500 0
Current children cumulated CPU time (s) 1122.41
Current children cumulated vsize (KiB) 21112

[startup+1182.32 s]
/proc/loadavg: 1.17 1.05 1.01 3/95 16610
/proc/meminfo: memFree=927524/2074464 swapFree=1948616/1959888
[pid=12819] ppid=12817 vsize=2420 CPUtime=0.27
/proc/12819/stat : 12819 (SatELiteGTI) S 12817 12819 10436 0 -1 4194304 386 2197 0 0 0 0 25 2 17 0 1 0 1008692003 2478080 278 4294967295 134512640 135169312 3213870160 3213866376 3084967662 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12819/statm: 605 278 235 161 0 44 0
[pid=12825] ppid=12819 vsize=18864 CPUtime=1182.15
/proc/12825/stat : 12825 (minisat_static) R 12819 12819 10436 0 -1 4202496 4434 0 0 0 118208 7 0 0 25 0 1 0 1008692030 19316736 4369 4294967295 134512640 135216591 3213231104 3213229296 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12825/statm: 4716 4369 75 172 0 4543 0
Current children cumulated CPU time (s) 1182.42
Current children cumulated vsize (KiB) 21284



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1199.92 s]
/proc/loadavg: 1.12 1.05 1.01 3/95 16610
/proc/meminfo: memFree=927504/2074464 swapFree=1948616/1959888
[pid=12819] ppid=12817 vsize=2420 CPUtime=0.27
/proc/12819/stat : 12819 (SatELiteGTI) S 12817 12819 10436 0 -1 4194304 386 2197 0 0 0 0 25 2 17 0 1 0 1008692003 2478080 278 4294967295 134512640 135169312 3213870160 3213866376 3084967662 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12819/statm: 605 278 235 161 0 44 0
[pid=12825] ppid=12819 vsize=19036 CPUtime=1199.75
/proc/12825/stat : 12825 (minisat_static) R 12819 12819 10436 0 -1 4202496 4463 0 0 0 119968 7 0 0 25 0 1 0 1008692030 19492864 4398 4294967295 134512640 135216591 3213231104 3213229296 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12825/statm: 4759 4398 75 172 0 4586 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 21456

Sending SIGTERM to process tree (bottom up)

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

[startup+1199.92 s]
/proc/loadavg: 1.12 1.05 1.01 3/95 16610
/proc/meminfo: memFree=927504/2074464 swapFree=1948616/1959888
[pid=12819] ppid=12817 vsize=2420 CPUtime=0.27
/proc/12819/stat : 12819 (SatELiteGTI) S 12817 12819 10436 0 -1 4194304 386 2197 0 0 0 0 25 2 17 0 1 0 1008692003 2478080 278 4294967295 134512640 135169312 3213870160 3213866376 3084967662 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12819/statm: 605 278 235 161 0 44 0
[pid=12825] ppid=12819 vsize=19036 CPUtime=1199.75
/proc/12825/stat : 12825 (minisat_static) R 12819 12819 10436 0 -1 4202496 4463 0 0 0 119968 7 0 0 25 0 1 0 1008692030 19492864 4398 4294967295 134512640 135216591 3213231104 3213229296 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12825/statm: 4759 4398 75 172 0 4586 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 21456

Child status: 143

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

Real time (s): 1199.93
CPU time (s): 1200.02
CPU user time (s): 1199.93
CPU system time (s): 0.09
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 21456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.93
system time used= 0.09
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7325
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= 22
involuntary context switches= 1202

runsolver used 0.01 second user time and 0.06 second system time

The end

Launcher Data 

Begin job on tipi16 at 2009-05-16 04:45:15
IDJOB=1820423
IDBENCH=20402
IDSOLVER=658
FILE ID=tipi16/1820423-1242441915
PBS_JOBID=
Free space on /tmp= 6046 MiB

SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT07/industrial/fuhs/hard/AProVE07-25.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1820423-1242441915/watcher-1820423-1242441915 -o /tmp/evaluation-result-1820423-1242441915/solver-1820423-1242441915 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1820423-1242441915.cnf

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

MD5SUM BENCH= 0acd143a4e60b38309663b5993b5ded9
RANDOM SEED= 694021967

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

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

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

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

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


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:        946076 kB
Buffers:         36684 kB
Cached:        1006452 kB
SwapCached:       6028 kB
Active:         684256 kB
Inactive:       368912 kB
HighTotal:     1178688 kB
HighFree:       235716 kB
LowTotal:       895776 kB
LowFree:        710360 kB
SwapTotal:     1959888 kB
SwapFree:      1948616 kB
Dirty:            2056 kB
Writeback:           0 kB
AnonPages:        9068 kB
Mapped:           3352 kB
Slab:            66288 kB
PageTables:        536 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    90760 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 6046 MiB
End job on tipi16 at 2009-05-16 05:05:15