Trace number 1820435

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

General information on the benchmark

Nameindustrial/fuhs/hard/
AProVE07-27.cnf
MD5SUMa948576641dd03cc33abaca38a6e7e4c
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 variables7729
Number of clauses29194
Sum of the clauses size77124
Maximum clause length201
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 214904
Number of clauses of size 311692
Number of clauses of size 41614
Number of clauses of size 5463
Number of clauses of size over 5520

Solver Data

0.00/0.00	c Parsing...
0.00/0.02	c ==============================================================================
0.00/0.02	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.02	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.02	c ==============================================================================
0.00/0.02	c |         0 |   28318    74883 |    8495       0        0     nan |  0.000 % |
0.21/0.23	c |         0 |   19862    62399 |      --       0       --      -- |     --   | -8325/-12062
0.21/0.23	c ==============================================================================
0.21/0.23	c Result  :   #vars: 3611   #clauses: 19862   #literals: 62399
0.21/0.23	c CPU time:   0.22 s
0.21/0.23	c ==============================================================================
0.21/0.25	c This is MiniSat 2.0 beta
0.21/0.25	c WARNING: for repeatability, setting FPU to use double precision
0.21/0.25	c ============================[ Problem Statistics ]=============================
0.21/0.25	c |                                                                             |
0.21/0.25	c |  Number of variables:  3611                                                 |
0.21/0.25	c |  Number of clauses:    19862                                                |
0.21/0.26	c |  Parsing time:         0.01         s                                       |
0.21/0.27	c ============================[ Search Statistics ]==============================
0.21/0.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.21/0.27	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.21/0.27	c ===============================================================================
0.21/0.27	c |         0 |    3611    19862    62399 |     6620        0    nan |  0.000 % |
0.26/0.31	c |       512 |    3611    19862    62399 |     6620      512     20 |  0.001 % |
0.26/0.36	c |      1026 |    3610    18426    59423 |     6620     1021     25 |  0.029 % |
0.26/0.42	c |      1538 |    3610    18426    59423 |     6620     1533     30 |  0.028 % |
0.26/0.53	c |      2562 |    3610    18426    59423 |     6620     2557     27 |  0.029 % |
0.26/0.57	c |      3074 |    3610    18426    59423 |     6620     3069     30 |  0.029 % |
0.26/0.62	c |      3586 |    3610    18426    59423 |     6620     3581     31 |  0.029 % |
0.26/0.76	c |      4610 |    3610    18426    59423 |     6620     4605     33 |  0.028 % |
1.02/1.11	c |      6659 |    3610    18426    59423 |     6620     6654     36 |  0.028 % |
1.13/1.17	c |      7171 |    3610    18426    59423 |     6620     6501     36 |  0.028 % |
1.22/1.25	c |      7685 |    3610    18426    59423 |     6620     7015     35 |  0.028 % |
1.42/1.44	c |      8709 |    3610    18426    59423 |     6620     6635     34 |  0.028 % |
1.52/1.51	c |      9221 |    3610    18426    59423 |     6620     6484     33 |  0.028 % |
1.52/1.59	c |      9736 |    3610    18426    59423 |     6620     6999     33 |  0.028 % |
1.72/1.79	c |     10762 |    3610    18426    59423 | 2147483647     7326     32 |  0.028 % |
2.23/2.28	c |     12810 |    3610    18426    59423 | 2147483647     9374     34 |  0.028 % |
3.62/3.61	c |     16906 |    3610    18426    59423 | 2147483647    13470     35 |  0.028 % |
3.72/3.75	c |     17419 |    3610    18426    59423 | 2147483647    13983     36 |  0.028 % |
3.92/3.92	c |     17933 |    3610    18426    59423 | 2147483647    14497     36 |  0.028 % |
4.22/4.20	c |     18959 |    3610    18426    59423 | 2147483647    15523     37 |  0.028 % |
4.32/4.34	c |     19473 |    3610    18426    59423 | 2147483647    16037     37 |  0.028 % |
4.43/4.47	c |     19985 |    3610    18426    59423 | 2147483647    16549     37 |  0.028 % |
4.82/4.82	c |     21009 |    3610    18426    59423 | 2147483647    17573     37 |  0.028 % |
5.22/5.22	c |     23058 |    3610    18426    59423 | 2147483647    19622     36 |  0.029 % |
5.32/5.34	c |     23571 |    3610    18426    59423 | 2147483647    20135     37 |  0.028 % |
5.42/5.50	c |     24085 |    3610    18426    59423 | 2147483647    20649     37 |  0.029 % |
5.72/5.76	c |     25111 |    3610    18426    59423 | 2147483647    21675     37 |  0.029 % |
5.92/5.91	c |     25625 |    3610    18426    59423 | 2147483647    22189     37 |  0.028 % |
6.12/6.10	c |     26137 |    3610    18426    59423 | 2147483647    22701     37 |  0.028 % |
6.42/6.46	c |     27161 |    3610    18426    59423 | 2147483647    23725     37 |  0.028 % |
7.32/7.33	c |     29210 |    3610    18426    59423 | 2147483647    25774     38 |  0.028 % |
9.32/9.33	c |     33307 |    3610    18426    59423 | 2147483647    29871     38 |  0.028 % |
14.42/14.42	c |     41500 |    3609    18414    59387 | 2147483647    38063     39 |  0.055 % |
14.62/14.62	c |     42012 |    3609    18414    59387 | 2147483647    38575     39 |  0.056 % |
14.82/14.87	c |     42525 |    3609    18414    59387 | 2147483647    39088     39 |  0.056 % |
15.32/15.39	c |     43549 |    3609    18414    59387 | 2147483647    40112     39 |  0.056 % |
15.62/15.65	c |     44063 |    3609    18414    59387 | 2147483647    40626     39 |  0.056 % |
15.82/15.90	c |     44579 |    3609    18414    59387 | 2147483647    41142     39 |  0.056 % |
16.42/16.49	c |     45603 |    3609    18414    59387 | 2147483647    42166     39 |  0.056 % |
17.63/17.64	c |     47653 |    3609    18414    59387 | 2147483647    44216     40 |  0.055 % |
17.92/17.94	c |     48167 |    3609    18414    59387 | 2147483647    44730     40 |  0.055 % |
18.22/18.21	c |     48681 |    3609    18414    59387 | 2147483647    45244     40 |  0.055 % |
18.82/18.88	c |     49705 |    3608    18404    59357 | 2147483647    46267     40 |  0.083 % |
19.12/19.18	c |     50217 |    3608    18404    59357 |    46565    46779     40 |  0.084 % |
19.52/19.54	c |     50729 |    3608    18404    59357 |    46565    39978     40 |  0.083 % |
20.32/20.34	c |     51755 |    3608    18404    59357 |    46565    41004     40 |  0.083 % |
21.82/21.86	c |     53803 |    3608    18404    59357 |    46565    43052     40 |  0.083 % |
24.92/24.99	c |     57899 |    3608    18404    59357 |    46565    39401     40 |  0.083 % |
25.22/25.23	c |     58412 |    3608    18404    59357 |    46565    39914     39 |  0.083 % |
25.52/25.56	c |     58927 |    3608    18404    59357 |    46565    40429     39 |  0.083 % |
26.22/26.22	c |     59953 |    3608    18404    59357 |    46565    41455     40 |  0.083 % |
26.62/26.62	c |     60465 |    3608    18404    59357 |    41502    34892     39 |  0.083 % |
26.82/26.88	c |     60977 |    3608    18404    59357 |    41502    35404     38 |  0.084 % |
27.53/27.53	c |     62006 |    3608    18404    59357 |    41502    36433     38 |  0.083 % |
28.42/28.50	c |     64056 |    3608    18404    59357 |    41502    38483     39 |  0.083 % |
28.72/28.70	c |     64568 |    3608    18404    59357 |    41502    38995     39 |  0.083 % |
28.92/28.92	c |     65081 |    3608    18404    59357 |    41502    39508     39 |  0.083 % |
29.33/29.39	c |     66106 |    3608    18404    59357 |    41502    40533     39 |  0.084 % |
29.63/29.68	c |     66618 |    3608    18404    59357 |    41502    41045     38 |  0.083 % |
29.93/29.99	c |     67131 |    3608    18404    59357 |    41502    41558     38 |  0.084 % |
30.43/30.42	c |     68159 |    3608    18404    59357 |    41502    38128     38 |  0.083 % |
31.53/31.52	c |     70207 |    3608    18404    59357 |    39969    40176     38 |  0.083 % |
33.63/33.64	c |     74303 |    3608    18404    59357 |    39969    39047     38 |  0.083 % |
39.33/39.32	c |     82496 |    3607    18396    59335 |    37363    33880     35 |  0.111 % |
48.93/49.00	c |     98882 |    3607    18396    59335 |    35911    33328     37 |  0.111 % |
49.43/49.45	c |     99394 |    3607    18396    59335 |    35911    33840     38 |  0.111 % |
49.73/49.80	c |     99909 |    3607    18396    59335 |    35911    34355     38 |  0.111 % |
50.53/50.53	c |    100937 |    3607    18396    59335 |    34448    30296     38 |  0.111 % |
50.83/50.83	c |    101453 |    3607    18396    59335 |    34448    30812     38 |  0.111 % |
51.23/51.27	c |    101968 |    3607    18396    59335 |    34448    31327     38 |  0.111 % |
52.03/52.03	c |    102993 |    3607    18396    59335 |    34448    32352     38 |  0.111 % |
53.63/53.63	c |    105041 |    3607    18396    59335 |    34448    34400     39 |  0.111 % |
53.73/53.81	c |    105553 |    3607    18396    59335 |    34448    34912     39 |  0.112 % |
54.13/54.13	c |    106067 |    3606    18388    59309 |    34448    30328     38 |  0.139 % |
54.43/54.47	c |    107092 |    3606    18388    59309 |    34448    31353     38 |  0.139 % |
54.73/54.71	c |    107605 |    3606    18388    59309 |    34448    31866     38 |  0.139 % |
55.03/55.01	c |    108118 |    3606    18388    59309 |    34448    32379     38 |  0.139 % |
55.53/55.57	c |    109143 |    3606    18388    59309 |    34448    33404     38 |  0.138 % |
56.53/56.54	c |    111191 |    3606    18388    59309 |    34263    30888     40 |  0.138 % |
58.93/58.91	c |    115289 |    3606    18388    59309 |    34263    34986     42 |  0.138 % |
59.23/59.23	c |    115805 |    3606    18388    59309 |    34263    30584     42 |  0.138 % |
59.53/59.55	c |    116317 |    3606    18388    59309 |    34263    31096     42 |  0.138 % |
60.23/60.27	c |    117342 |    3606    18388    59309 |    34263    32121     41 |  0.138 % |
60.53/60.54	c |    117855 |    3606    18388    59309 |    34263    32634     41 |  0.138 % |
60.83/60.83	c |    118367 |    3606    18388    59309 |    34263    33146     42 |  0.138 % |
61.43/61.43	c |    119391 |    3606    18388    59309 |    34263    34170     42 |  0.138 % |
62.63/62.66	c |    121439 |    3606    18388    59309 |    34779    31480     39 |  0.138 % |
62.93/62.96	c |    121952 |    3606    18388    59309 |    34779    31993     39 |  0.138 % |
63.23/63.25	c |    122464 |    3606    18388    59309 |    34779    32505     39 |  0.139 % |
63.83/63.83	c |    123490 |    3606    18388    59309 |    34779    33531     39 |  0.138 % |
64.13/64.14	c |    124003 |    3606    18388    59309 |    34779    34044     39 |  0.138 % |
64.33/64.40	c |    124515 |    3606    18388    59309 |    34779    34556     39 |  0.139 % |
64.83/64.82	c |    125539 |    3606    18388    59309 |    34779    35580     39 |  0.139 % |
65.83/65.82	c |    127587 |    3606    18388    59309 |    34779    33937     39 |  0.139 % |
68.13/68.15	c |    131685 |    3606    18388    59309 | 2147483647    34492     39 |  0.139 % |
72.33/72.35	c |    139878 |    3606    18388    59309 | 2147483647    42685     40 |  0.138 % |
72.63/72.69	c |    140390 |    3606    18388    59309 | 2147483647    43197     40 |  0.138 % |
73.03/73.08	c |    140902 |    3606    18388    59309 | 2147483647    43709     40 |  0.138 % |
73.83/73.81	c |    141927 |    3606    18388    59309 | 2147483647    44734     40 |  0.138 % |
74.23/74.27	c |    142439 |    3606    18388    59309 | 2147483647    45246     40 |  0.138 % |
74.63/74.64	c |    142951 |    3606    18388    59309 | 2147483647    45758     40 |  0.138 % |
75.43/75.41	c |    143976 |    3606    18388    59309 | 2147483647    46783     40 |  0.138 % |
76.83/76.89	c |    146024 |    3606    18388    59309 | 2147483647    48831     39 |  0.139 % |
77.23/77.29	c |    146537 |    3606    18388    59309 | 2147483647    49344     39 |  0.139 % |
77.53/77.60	c |    147049 |    3606    18388    59309 | 2147483647    49856     39 |  0.139 % |
78.13/78.11	c |    148073 |    3606    18388    59309 | 2147483647    50880     39 |  0.139 % |
78.43/78.45	c |    148585 |    3606    18388    59309 | 2147483647    51392     39 |  0.139 % |
78.83/78.86	c |    149097 |    3606    18388    59309 | 2147483647    51904     39 |  0.139 % |
79.53/79.55	c |    150126 |    3606    18388    59309 |    52807    52933     39 |  0.139 % |
81.03/81.07	c |    152176 |    3606    18388    59309 |    52807    47649     37 |  0.138 % |
84.23/84.25	c |    156274 |    3606    18388    59309 |    52807    51747     38 |  0.138 % |
84.73/84.73	c |    156790 |    3606    18388    59309 |    52807    52263     38 |  0.138 % |
85.23/85.23	c |    157303 |    3606    18388    59309 |    52807    52776     38 |  0.138 % |
86.13/86.12	c |    158328 |    3606    18388    59309 |    52807    42235     37 |  0.138 % |
86.53/86.56	c |    158841 |    3606    18388    59309 |    52807    42748     37 |  0.138 % |
86.93/86.99	c |    159354 |    3606    18388    59309 |    52807    43261     37 |  0.138 % |
87.73/87.75	c |    160378 |    3606    18388    59309 |    43907    44285     37 |  0.138 % |
89.53/89.54	c |    162429 |    3606    18388    59309 |    43907    37159     35 |  0.138 % |
89.83/89.88	c |    162942 |    3606    18388    59309 |    43907    37672     35 |  0.138 % |
90.13/90.19	c |    163455 |    3606    18388    59309 |    43907    38185     36 |  0.138 % |
90.93/90.98	c |    164480 |    3606    18388    59309 |    43907    39210     36 |  0.138 % |
91.33/91.32	c |    164993 |    3606    18388    59309 |    43907    39723     36 |  0.138 % |
91.63/91.65	c |    165506 |    3606    18388    59309 |    43907    40236     36 |  0.138 % |
92.23/92.27	c |    166530 |    3606    18388    59309 |    43907    41260     36 |  0.139 % |
93.73/93.73	c |    168578 |    3606    18388    59309 |    43907    43308     36 |  0.139 % |
96.03/96.01	c |    172675 |    3606    18388    59309 |    37089    33729     34 |  0.139 % |
100.83/100.90	c |    180868 |    3606    18388    59309 |    36643    33500     33 |  0.138 % |
110.23/110.26	c |    197252 |    3605    18372    59257 |    37023    32395     39 |  0.166 % |
131.63/131.64	c |    230023 |    3603    18359    59217 |    27033    27055     35 |  0.222 % |
131.83/131.82	c |    230535 |    3603    18359    59217 |    27033    23189     34 |  0.222 % |
131.93/131.97	c |    231047 |    3603    18359    59217 |    27033    23701     34 |  0.222 % |
132.33/132.32	c |    232071 |    3603    18359    59217 |    27033    24725     35 |  0.223 % |
132.53/132.55	c |    232584 |    3603    18359    59217 |    27033    25238     35 |  0.222 % |
132.73/132.75	c |    233096 |    3603    18359    59217 |    27033    25750     35 |  0.223 % |
133.14/133.17	c |    234121 |    3603    18359    59217 |    27033    26775     35 |  0.222 % |
134.24/134.25	c |    236170 |    3603    18359    59217 |    27033    25699     34 |  0.222 % |
134.43/134.48	c |    236683 |    3603    18359    59217 |    27033    26212     34 |  0.222 % |
134.73/134.72	c |    237196 |    3603    18359    59217 |    27033    26725     34 |  0.222 % |
135.23/135.29	c |    238222 |    3603    18359    59217 |    27033    27751     34 |  0.222 % |
135.53/135.59	c |    238735 |    3603    18359    59217 |    27033    24792     33 |  0.222 % |
135.83/135.89	c |    239248 |    3603    18359    59217 |    27033    25305     33 |  0.222 % |
136.44/136.44	c |    240272 |    3603    18359    59217 |    26062    26329     33 |  0.222 % |
137.43/137.46	c |    242320 |    3603    18359    59217 |    26062    25305     33 |  0.222 % |
139.33/139.36	c |    246420 |    3603    18359    59217 |    26062    26033     36 |  0.222 % |
139.63/139.62	c |    246933 |    3603    18359    59217 |    26062    26546     36 |  0.222 % |
139.83/139.89	c |    247445 |    3603    18359    59217 |    26062    23957     36 |  0.222 % |
140.43/140.46	c |    248469 |    3603    18359    59217 |    26062    24981     36 |  0.222 % |
140.73/140.73	c |    248982 |    3603    18359    59217 |    26062    25494     36 |  0.222 % |
141.03/141.01	c |    249494 |    3603    18359    59217 |    26062    26006     36 |  0.222 % |
141.63/141.65	c |    250518 |    3603    18359    59217 |    26513    24018     35 |  0.222 % |
142.43/142.42	c |    252566 |    3603    18359    59217 |    26513    26066     36 |  0.222 % |
142.63/142.65	c |    253079 |    3603    18359    59217 |    26513    26579     36 |  0.222 % |
142.83/142.82	c |    253591 |    3603    18359    59217 |    26513    24434     36 |  0.222 % |
143.13/143.16	c |    254616 |    3603    18359    59217 |    26513    25459     37 |  0.222 % |
143.33/143.40	c |    255129 |    3603    18359    59217 |    26513    25972     37 |  0.222 % |
143.63/143.66	c |    255641 |    3603    18359    59217 |    26513    26484     37 |  0.222 % |
144.14/144.17	c |    256666 |    3603    18359    59217 |    26513    24835     37 |  0.222 % |
145.14/145.15	c |    258715 |    3603    18359    59217 |    26513    26884     38 |  0.222 % |
146.74/146.78	c |    262812 |    3603    18359    59217 | 2147483647    28293     36 |  0.222 % |
150.44/150.43	c |    271004 |    3603    18359    59217 | 2147483647    36485     39 |  0.222 % |
150.64/150.67	c |    271518 |    3603    18359    59217 | 2147483647    36999     39 |  0.223 % |
150.94/150.93	c |    272030 |    3603    18359    59217 | 2147483647    37511     38 |  0.222 % |
151.44/151.48	c |    273054 |    3603    18359    59217 | 2147483647    38535     39 |  0.222 % |
151.74/151.72	c |    273566 |    3603    18359    59217 | 2147483647    39047     39 |  0.222 % |
151.94/151.97	c |    274080 |    3603    18359    59217 | 2147483647    39561     39 |  0.222 % |
152.54/152.56	c |    275106 |    3603    18359    59217 | 2147483647    40587     39 |  0.222 % |
153.74/153.75	c |    277154 |    3603    18359    59217 | 2147483647    42635     39 |  0.222 % |
154.04/154.05	c |    277666 |    3603    18359    59217 | 2147483647    43147     39 |  0.222 % |
154.34/154.36	c |    278179 |    3603    18359    59217 | 2147483647    43660     39 |  0.222 % |
154.94/155.01	c |    279203 |    3603    18359    59217 | 2147483647    44684     39 |  0.222 % |
155.24/155.31	c |    279716 |    3603    18359    59217 | 2147483647    45197     39 |  0.222 % |
155.74/155.77	c |    280228 |    3603    18359    59217 |    45482    45709     39 |  0.222 % |
156.54/156.60	c |    281252 |    3603    18359    59217 |    45482    40827     37 |  0.222 % |
158.14/158.13	c |    283300 |    3603    18359    59217 |    45482    42875     38 |  0.222 % |
161.54/161.55	c |    287396 |    3603    18359    59217 |    45482    39040     36 |  0.222 % |
161.84/161.91	c |    287908 |    3603    18359    59217 |    45482    39552     36 |  0.222 % |
162.24/162.26	c |    288420 |    3603    18359    59217 |    45482    40064     36 |  0.222 % |
162.94/162.95	c |    289444 |    3603    18359    59217 |    45482    41088     36 |  0.222 % |
163.34/163.38	c |    289958 |    3603    18359    59217 |    45482    41602     36 |  0.222 % |
163.84/163.83	c |    290470 |    3603    18359    59217 |    41644    34993     36 |  0.222 % |
164.54/164.52	c |    291494 |    3603    18359    59217 |    41644    36017     36 |  0.222 % |
166.14/166.21	c |    293543 |    3603    18359    59217 |    41644    38066     36 |  0.222 % |
166.44/166.47	c |    294058 |    3603    18359    59217 |    41644    38581     36 |  0.222 % |
166.74/166.80	c |    294570 |    3602    18349    59187 |    41644    39090     36 |  0.250 % |
167.44/167.50	c |    295598 |    3602    18349    59187 |    41644    40118     37 |  0.249 % |
167.84/167.85	c |    296110 |    3602    18349    59187 |    41644    40630     37 |  0.249 % |
168.14/168.13	c |    296622 |    3602    18349    59187 |    41644    41142     37 |  0.250 % |
168.84/168.82	c |    297646 |    3602    18349    59187 |    41644    42166     37 |  0.250 % |
170.34/170.39	c |    299694 |    3602    18349    59187 |    41644    37470     34 |  0.250 % |
173.04/173.06	c |    303790 |    3601    18339    59157 |    37777    35284     32 |  0.277 % |
177.54/177.54	c |    311984 |    3601    18339    59157 |    36520    33586     35 |  0.277 % |
187.54/187.52	c |    328368 |    3600    18329    59127 |    31945    29061     37 |  0.305 % |
187.84/187.86	c |    328882 |    3600    18329    59127 |    31945    29575     37 |  0.305 % |
188.14/188.19	c |    329394 |    3600    18329    59127 |    31945    30087     37 |  0.305 % |
188.64/188.71	c |    330418 |    3600    18329    59127 |    30695    31111     38 |  0.305 % |
189.04/189.06	c |    330930 |    3600    18329    59127 |    30695    27572     36 |  0.305 % |
189.34/189.38	c |    331443 |    3600    18329    59127 |    30695    28085     36 |  0.305 % |
189.94/189.91	c |    332467 |    3600    18329    59127 |    30695    29109     36 |  0.305 % |
191.14/191.13	c |    334515 |    3600    18329    59127 |    30695    31157     36 |  0.305 % |
191.24/191.29	c |    335027 |    3600    18329    59127 |    30695    27158     34 |  0.306 % |
191.44/191.47	c |    335541 |    3600    18329    59127 |    30695    27672     34 |  0.305 % |
191.84/191.89	c |    336566 |    3600    18329    59127 |    30695    28697     35 |  0.306 % |
192.14/192.14	c |    337081 |    3600    18329    59127 |    30695    29212     35 |  0.305 % |
192.34/192.40	c |    337594 |    3600    18329    59127 |    30695    29725     36 |  0.306 % |
192.84/192.85	c |    338620 |    3600    18329    59127 |    30695    30751     36 |  0.305 % |
193.74/193.81	c |    340669 |    3600    18329    59127 |    28890    29559     35 |  0.305 % |
195.84/195.87	c |    344765 |    3600    18329    59127 |    28890    27757     36 |  0.305 % |
196.14/196.18	c |    345277 |    3600    18329    59127 |    28890    28269     36 |  0.305 % |
196.54/196.54	c |    345792 |    3600    18329    59127 |    28890    28784     36 |  0.305 % |
197.14/197.16	c |    346816 |    3600    18329    59127 |    28890    26861     36 |  0.305 % |
197.44/197.44	c |    347330 |    3600    18329    59127 |    28890    27375     36 |  0.305 % |
197.74/197.76	c |    347842 |    3600    18329    59127 |    28890    27887     36 |  0.305 % |
198.34/198.33	c |    348866 |    3600    18329    59127 |    28890    28911     36 |  0.305 % |
199.44/199.51	c |    350915 |    3600    18329    59127 |    27008    24851     35 |  0.305 % |
199.84/199.82	c |    351427 |    3600    18329    59127 |    27008    25363     35 |  0.305 % |
200.14/200.14	c |    351940 |    3600    18329    59127 |    27008    25876     35 |  0.305 % |
200.74/200.76	c |    352965 |    3600    18329    59127 |    27008    26901     35 |  0.305 % |
201.14/201.13	c |    353477 |    3600    18329    59127 |    27008    24508     34 |  0.305 % |
201.44/201.46	c |    353991 |    3600    18329    59127 |    27008    25022     34 |  0.305 % |
201.94/202.00	c |    355017 |    3600    18329    59127 |    27008    26048     35 |  0.305 % |
202.94/203.01	c |    357065 |    3599    18319    59097 |    27008    25365     34 |  0.332 % |
204.84/204.83	c |    361163 |    3599    18319    59097 | 2147483647    26699     36 |  0.333 % |
209.74/209.75	c |    369359 |    3598    18314    59087 | 2147483647    34893     35 |  0.361 % |
210.04/210.09	c |    369873 |    3598    18314    59087 | 2147483647    35407     34 |  0.360 % |
210.34/210.40	c |    370385 |    3598    18314    59087 | 2147483647    35919     35 |  0.362 % |
211.04/211.05	c |    371410 |    3598    18314    59087 | 2147483647    36944     35 |  0.360 % |
211.34/211.36	c |    371923 |    3598    18314    59087 | 2147483647    37457     35 |  0.361 % |
211.74/211.76	c |    372435 |    3598    18314    59087 | 2147483647    37969     35 |  0.360 % |
212.54/212.52	c |    373459 |    3598    18314    59087 | 2147483647    38993     35 |  0.360 % |
214.04/214.11	c |    375508 |    3598    18314    59087 | 2147483647    41042     35 |  0.360 % |
214.34/214.39	c |    376020 |    3598    18314    59087 | 2147483647    41554     35 |  0.360 % |
214.64/214.63	c |    376533 |    3598    18314    59087 | 2147483647    42067     35 |  0.361 % |
215.34/215.37	c |    377561 |    3598    18314    59087 | 2147483647    43095     35 |  0.361 % |
215.65/215.66	c |    378074 |    3598    18314    59087 | 2147483647    43608     35 |  0.361 % |
215.94/215.92	c |    378586 |    3598    18314    59087 | 2147483647    44120     36 |  0.360 % |
216.54/216.53	c |    379611 |    3598    18314    59087 | 2147483647    45145     36 |  0.360 % |
217.94/217.95	c |    381660 |    3598    18314    59087 |    45536    38102     34 |  0.360 % |
220.64/220.62	c |    385757 |    3598    18314    59087 |    45536    42199     34 |  0.360 % |
220.94/220.95	c |    386269 |    3598    18314    59087 |    45536    42711     34 |  0.360 % |
221.34/221.31	c |    386782 |    3598    18314    59087 |    45536    43224     34 |  0.360 % |
221.94/221.98	c |    387806 |    3598    18314    59087 |    45536    44248     34 |  0.360 % |
222.34/222.36	c |    388319 |    3598    18314    59087 |    45536    44761     34 |  0.360 % |
222.74/222.79	c |    388831 |    3598    18314    59087 |    45536    45273     34 |  0.360 % |
223.74/223.77	c |    389855 |    3598    18314    59087 |    45536    37644     32 |  0.360 % |
225.44/225.42	c |    391904 |    3598    18314    59087 |    37790    32277     32 |  0.360 % |
225.74/225.80	c |    392416 |    3598    18314    59087 |    37790    32789     32 |  0.360 % |
226.24/226.26	c |    392929 |    3598    18314    59087 |    37790    33302     32 |  0.360 % |
227.04/227.09	c |    393953 |    3598    18314    59087 |    37790    34326     32 |  0.360 % |
227.44/227.41	c |    394467 |    3598    18314    59087 |    37790    34840     32 |  0.360 % |
227.64/227.71	c |    394980 |    3598    18314    59087 |    37790    35353     32 |  0.360 % |
228.34/228.34	c |    396005 |    3598    18314    59087 |    37790    36378     33 |  0.360 % |
229.54/229.52	c |    398053 |    3598    18314    59087 |    37790    32860     32 |  0.361 % |
231.84/231.81	c |    402152 |    3598    18314    59087 |    34809    32574     30 |  0.360 % |
236.14/236.18	c |    410344 |    3597    18298    59035 | 2147483647    33629     31 |  0.389 % |
246.64/246.62	c |    426728 |    3597    18298    59035 |    43288    41939     31 |  0.389 % |
263.65/263.66	c |    459497 |    3595    18278    58975 | 2147483647    41712     32 |  0.443 % |
300.45/300.48	c |    525033 |    3592    18253    58897 |    32489    33281     35 |  0.526 % |
300.75/300.72	c |    525545 |    3592    18253    58897 |    32489    30326     36 |  0.527 % |
300.85/300.91	c |    526059 |    3592    18253    58897 |    32489    30840     36 |  0.526 % |
301.35/301.40	c |    527083 |    3590    18222    58797 |    32489    31862     35 |  0.582 % |
301.55/301.58	c |    527596 |    3590    18222    58797 |    32489    32375     36 |  0.582 % |
301.85/301.82	c |    528112 |    3590    18222    58797 |    32489    32891     36 |  0.582 % |
302.25/302.29	c |    529137 |    3590    18222    58797 |    32489    30627     36 |  0.582 % |
303.35/303.38	c |    531186 |    3590    18222    58797 | 2147483647    32676     37 |  0.582 % |
303.75/303.77	c |    531703 |    3590    18222    58797 | 2147483647    33193     37 |  0.582 % |
304.15/304.17	c |    532215 |    3590    18222    58797 | 2147483647    33705     37 |  0.582 % |
304.85/304.91	c |    533239 |    3590    18222    58797 | 2147483647    34729     37 |  0.582 % |
305.25/305.24	c |    533753 |    3590    18222    58797 | 2147483647    35243     37 |  0.582 % |
305.55/305.55	c |    534265 |    3590    18222    58797 | 2147483647    35755     37 |  0.582 % |
306.05/306.07	c |    535290 |    3590    18222    58797 | 2147483647    36780     37 |  0.582 % |
307.15/307.14	c |    537340 |    3590    18222    58797 | 2147483647    38830     38 |  0.582 % |
309.95/309.97	c |    541437 |    3590    18222    58797 |    41490    37584     37 |  0.582 % |
310.35/310.34	c |    541951 |    3590    18222    58797 |    41490    38098     37 |  0.582 % |
310.65/310.71	c |    542464 |    3590    18222    58797 |    41490    38611     37 |  0.582 % |
311.45/311.42	c |    543488 |    3590    18222    58797 |    41490    39635     37 |  0.582 % |
311.75/311.81	c |    544004 |    3590    18222    58797 |    41490    40151     37 |  0.582 % |
312.05/312.11	c |    544519 |    3590    18222    58797 |    41490    40666     37 |  0.582 % |
312.55/312.60	c |    545546 |    3590    18222    58797 |    41490    41693     38 |  0.582 % |
313.95/313.95	c |    547594 |    3588    18214    58775 |    41490    35820     37 |  0.637 % |
314.25/314.24	c |    548107 |    3588    18214    58775 |    41490    36333     37 |  0.638 % |
314.55/314.56	c |    548622 |    3588    18214    58775 |    41490    36848     37 |  0.637 % |
315.05/315.09	c |    549647 |    3588    18214    58775 |    41490    37873     37 |  0.637 % |
315.55/315.54	c |    550159 |    3588    18206    58749 |    38226    38385     37 |  0.637 % |
315.85/315.89	c |    550672 |    3588    18206    58749 |    38226    31737     34 |  0.637 % |
316.45/316.48	c |    551698 |    3588    18206    58749 |    38226    32763     34 |  0.637 % |
317.85/317.85	c |    553747 |    3588    18206    58749 |    38226    34812     34 |  0.637 % |
320.75/320.78	c |    557843 |    3588    18206    58749 |    38226    33289     33 |  0.637 % |
326.55/326.53	c |    566036 |    3588    18206    58749 |    35446    30953     32 |  0.637 % |
326.75/326.81	c |    566548 |    3588    18206    58749 |    35446    31465     32 |  0.638 % |
327.05/327.05	c |    567061 |    3588    18206    58749 |    35446    31978     32 |  0.638 % |
327.55/327.58	c |    568085 |    3588    18206    58749 |    35446    33002     32 |  0.638 % |
327.86/327.84	c |    568598 |    3588    18206    58749 |    35446    33515     32 |  0.637 % |
328.05/328.04	c |    569111 |    3588    18206    58749 |    35446    34028     32 |  0.637 % |
328.45/328.50	c |    570136 |    3588    18206    58749 |    34918    35053     33 |  0.637 % |
329.55/329.56	c |    572185 |    3588    18206    58749 |    34918    32504     31 |  0.637 % |
329.75/329.81	c |    572698 |    3588    18206    58749 |    34918    33017     31 |  0.637 % |
329.95/330.02	c |    573211 |    3588    18206    58749 |    34918    33530     31 |  0.638 % |
330.45/330.47	c |    574236 |    3588    18206    58749 |    34918    34555     32 |  0.637 % |
330.75/330.79	c |    574748 |    3588    18206    58749 |    34918    35067     32 |  0.637 % |
331.05/331.08	c |    575260 |    3588    18206    58749 |    34918    32073     32 |  0.637 % |
331.65/331.67	c |    576285 |    3587    18191    58699 |    34918    33096     32 |  0.665 % |
332.65/332.65	c |    578334 |    3587    18191    58699 |    34918    35145     32 |  0.665 % |
334.95/334.93	c |    582430 |    3587    18191    58699 | 2147483647    35727     31 |  0.665 % |
335.15/335.21	c |    582943 |    3587    18191    58699 | 2147483647    36240     31 |  0.665 % |
335.45/335.49	c |    583455 |    3587    18191    58699 | 2147483647    36752     31 |  0.665 % |
336.15/336.18	c |    584480 |    3587    18191    58699 | 2147483647    37777     31 |  0.665 % |
336.55/336.56	c |    584993 |    3587    18191    58699 | 2147483647    38290     31 |  0.665 % |
336.85/336.83	c |    585505 |    3587    18191    58699 | 2147483647    38802     31 |  0.665 % |
337.15/337.20	c |    586530 |    3587    18191    58699 | 2147483647    39827     31 |  0.666 % |
338.25/338.29	c |    588580 |    3587    18191    58699 | 2147483647    41877     32 |  0.665 % |
338.55/338.52	c |    589092 |    3587    18191    58699 | 2147483647    42389     32 |  0.666 % |
338.75/338.82	c |    589604 |    3587    18191    58699 | 2147483647    42901     32 |  0.665 % |
339.35/339.41	c |    590628 |    3587    18191    58699 |    43299    43925     32 |  0.665 % |
339.75/339.81	c |    591141 |    3587    18191    58699 |    43299    39143     32 |  0.665 % |
340.15/340.18	c |    591653 |    3587    18191    58699 |    43299    39655     32 |  0.665 % |
340.85/340.85	c |    592677 |    3587    18191    58699 |    43299    40679     32 |  0.665 % |
342.15/342.20	c |    594731 |    3587    18191    58699 |    43299    42733     32 |  0.665 % |
344.94/344.96	c |    598827 |    3584    18173    58640 |    43299    39414     31 |  0.748 % |
350.04/350.10	c |    607019 |    3584    18173    58640 |    40587    40352     33 |  0.748 % |
358.65/358.64	c |    623405 |    3584    18173    58640 | 2147483647    37578     33 |  0.749 % |
358.94/358.95	c |    623918 |    3584    18173    58640 | 2147483647    38091     33 |  0.748 % |
359.14/359.20	c |    624430 |    3584    18173    58640 | 2147483647    38603     33 |  0.748 % |
359.75/359.79	c |    625454 |    3584    18173    58640 | 2147483647    39627     34 |  0.748 % |
360.04/360.05	c |    625968 |    3584    18173    58640 | 2147483647    40141     34 |  0.748 % |
360.44/360.41	c |    626482 |    3584    18173    58640 | 2147483647    40655     34 |  0.748 % |
361.04/361.10	c |    627507 |    3583    18157    58588 | 2147483647    41677     34 |  0.776 % |
362.44/362.47	c |    629556 |    3583    18157    58588 | 2147483647    43726     33 |  0.776 % |
362.84/362.82	c |    630068 |    3583    18157    58588 |    44170    44238     33 |  0.776 % |
363.24/363.22	c |    630582 |    3583    18157    58588 |    44170    38457     33 |  0.776 % |
363.74/363.78	c |    631607 |    3583    18157    58588 |    44170    39482     33 |  0.776 % |
364.15/364.13	c |    632119 |    3583    18157    58588 |    44170    39994     33 |  0.775 % |
364.44/364.45	c |    632632 |    3583    18157    58588 |    44170    40507     33 |  0.775 % |
365.25/365.27	c |    633656 |    3583    18157    58588 |    44170    41531     32 |  0.776 % |
366.64/366.65	c |    635706 |    3583    18157    58588 |    44170    43581     33 |  0.775 % |
369.84/369.82	c |    639803 |    3583    18157    58588 |    44170    39920     32 |  0.775 % |
370.24/370.21	c |    640317 |    3583    18157    58588 |    40118    40434     32 |  0.775 % |
370.64/370.71	c |    640829 |    3583    18157    58588 |    40118    33888     29 |  0.775 % |
371.34/371.38	c |    641853 |    3583    18157    58588 |    40118    34912     30 |  0.775 % |
371.74/371.72	c |    642365 |    3583    18157    58588 |    40118    35424     30 |  0.775 % |
372.04/372.01	c |    642877 |    3583    18157    58588 |    40118    35936     30 |  0.775 % |
372.64/372.66	c |    643901 |    3583    18157    58588 |    40118    36960     30 |  0.775 % |
374.05/374.06	c |    645951 |    3583    18157    58588 |    40118    39010     30 |  0.775 % |
374.45/374.41	c |    646465 |    3583    18157    58588 |    40118    39524     30 |  0.775 % |
374.75/374.80	c |    646980 |    3583    18157    58588 |    40118    40039     30 |  0.775 % |
375.55/375.53	c |    648011 |    3583    18157    58588 |    40118    33715     30 |  0.775 % |
375.75/375.79	c |    648524 |    3583    18157    58588 |    40118    34228     30 |  0.776 % |
376.05/376.10	c |    649037 |    3583    18157    58588 |    40118    34741     30 |  0.776 % |
376.45/376.44	c |    650061 |    3583    18157    58588 |    35705    35765     30 |  0.776 % |
377.25/377.25	c |    652112 |    3583    18157    58588 |    35705    31983     29 |  0.776 % |
378.95/378.99	c |    656209 |    3583    18157    58588 |    35705    36080     30 |  0.775 % |
383.65/383.65	c |    664401 |    3583    18157    58588 | 2147483647    37055     32 |  0.775 % |
383.85/383.91	c |    664914 |    3583    18157    58588 | 2147483647    37568     32 |  0.775 % |
384.15/384.20	c |    665427 |    3583    18157    58588 | 2147483647    38081     32 |  0.775 % |
384.85/384.85	c |    666452 |    3583    18157    58588 | 2147483647    39106     32 |  0.775 % |
385.15/385.21	c |    666964 |    3583    18157    58588 | 2147483647    39618     32 |  0.775 % |
385.55/385.55	c |    667477 |    3583    18157    58588 | 2147483647    40131     32 |  0.775 % |
386.35/386.32	c |    668502 |    3583    18157    58588 | 2147483647    41156     32 |  0.775 % |
387.55/387.61	c |    670553 |    3583    18157    58588 |    42656    43207     32 |  0.776 % |
388.05/388.04	c |    671065 |    3583    18157    58588 |    42656    37093     32 |  0.776 % |
388.25/388.24	c |    671577 |    3583    18157    58588 |    42656    37605     32 |  0.776 % |
388.95/388.92	c |    672602 |    3583    18157    58588 |    42656    38630     32 |  0.776 % |
389.25/389.29	c |    673115 |    3583    18157    58588 |    42656    39143     32 |  0.776 % |
389.55/389.57	c |    673627 |    3583    18157    58588 |    42656    39655     32 |  0.775 % |
390.15/390.17	c |    674651 |    3583    18157    58588 |    42656    40679     32 |  0.775 % |
391.55/391.58	c |    676699 |    3583    18157    58588 |    42656    42727     33 |  0.775 % |
394.55/394.53	c |    680795 |    3583    18157    58588 |    38310    32539     33 |  0.776 % |
394.85/394.87	c |    681308 |    3583    18157    58588 |    38310    33052     33 |  0.775 % |
395.15/395.18	c |    681822 |    3583    18157    58588 |    38310    33566     33 |  0.775 % |
395.85/395.82	c |    682846 |    3583    18157    58588 |    38310    34590     33 |  0.776 % |
396.15/396.19	c |    683360 |    3583    18157    58588 |    38310    35104     33 |  0.775 % |
396.55/396.52	c |    683872 |    3583    18157    58588 |    38310    35616     33 |  0.775 % |
397.25/397.27	c |    684897 |    3583    18157    58588 |    38310    36641     33 |  0.775 % |
398.45/398.48	c |    686945 |    3583    18157    58588 |    38310    38689     34 |  0.775 % |
398.85/398.88	c |    687457 |    3583    18157    58588 |    38310    33043     33 |  0.775 % |
399.15/399.14	c |    687970 |    3583    18157    58588 |    38310    33556     33 |  0.775 % |
399.65/399.70	c |    688995 |    3583    18157    58588 |    38310    34581     33 |  0.775 % |
400.05/400.04	c |    689508 |    3583    18157    58588 |    38310    35094     34 |  0.775 % |
400.25/400.23	c |    690021 |    3583    18157    58588 |    35586    35607     33 |  0.776 % |
400.75/400.78	c |    691046 |    3583    18157    58588 |    35586    31391     33 |  0.776 % |
401.65/401.68	c |    693096 |    3583    18157    58588 |    35586    33441     33 |  0.776 % |
404.15/404.15	c |    697192 |    3583    18157    58588 |    35586    32886     33 |  0.776 % |
409.15/409.19	c |    705386 |    3583    18157    58588 |    35695    31992     31 |  0.775 % |
418.45/418.44	c |    721770 |    3582    18148    58557 |    30576    26828     29 |  0.803 % |
436.45/436.49	c |    754540 |    3578    18119    58474 | 2147483647    42986     33 |  0.914 % |
436.85/436.83	c |    755052 |    3578    18119    58474 | 2147483647    43498     33 |  0.915 % |
437.05/437.01	c |    755565 |    3578    18119    58474 | 2147483647    44011     33 |  0.914 % |
437.85/437.85	c |    756590 |    3578    18119    58474 | 2147483647    45036     32 |  0.915 % |
438.15/438.15	c |    757103 |    3578    18119    58474 | 2147483647    45549     32 |  0.914 % |
438.45/438.49	c |    757615 |    3578    18119    58474 | 2147483647    46061     32 |  0.915 % |
439.25/439.23	c |    758641 |    3578    18119    58474 | 2147483647    47087     32 |  0.915 % |
440.95/440.93	c |    760693 |    3578    18119    58474 |    48447    49139     32 |  0.914 % |
441.45/441.48	c |    761205 |    3578    18119    58474 |    48447    40819     33 |  0.916 % |
441.85/441.88	c |    761718 |    3578    18119    58474 |    48447    41332     33 |  0.914 % |
442.65/442.61	c |    762744 |    3578    18119    58474 |    48447    42358     33 |  0.914 % |
442.95/442.96	c |    763257 |    3578    18119    58474 |    48447    42871     33 |  0.914 % |
443.35/443.34	c |    763769 |    3578    18119    58474 |    48447    43383     32 |  0.914 % |
444.15/444.13	c |    764793 |    3578    18119    58474 |    48447    44407     32 |  0.914 % |
445.65/445.70	c |    766841 |    3578    18119    58474 |    48447    46455     32 |  0.914 % |
449.15/449.14	c |    770937 |    3578    18119    58474 |    38958    31866     29 |  0.914 % |
449.45/449.48	c |    771452 |    3578    18119    58474 |    38958    32381     29 |  0.914 % |
449.85/449.83	c |    771965 |    3578    18119    58474 |    38958    32894     29 |  0.914 % |
450.55/450.53	c |    772989 |    3578    18119    58474 |    38958    33918     29 |  0.914 % |
450.85/450.85	c |    773501 |    3578    18119    58474 |    38958    34430     29 |  0.914 % |
451.06/451.10	c |    774015 |    3578    18119    58474 |    38958    34944     29 |  0.914 % |
451.75/451.73	c |    775042 |    3578    18119    58474 |    38958    35971     29 |  0.915 % |
452.75/452.72	c |    777090 |    3578    18119    58474 |    38958    38019     30 |  0.915 % |
452.85/452.89	c |    777602 |    3578    18119    58474 |    38958    38531     30 |  0.915 % |
453.15/453.18	c |    778114 |    3578    18119    58474 |    38958    39043     30 |  0.914 % |
453.85/453.86	c |    779138 |    3578    18119    58474 |    38958    33166     29 |  0.914 % |
454.15/454.15	c |    779652 |    3578    18119    58474 |    38958    33680     29 |  0.914 % |
454.45/454.46	c |    780164 |    3578    18119    58474 |    34029    34192     29 |  0.914 % |
454.95/454.99	c |    781188 |    3578    18119    58474 |    34029    29032     28 |  0.914 % |
456.05/456.01	c |    783236 |    3578    18119    58474 |    34029    31080     28 |  0.914 % |
457.95/457.98	c |    787334 |    3578    18119    58474 |    34029    35178     29 |  0.914 % |
462.85/462.84	c |    795526 |    3578    18119    58474 |    32354    32600     31 |  0.914 % |
463.05/463.07	c |    796040 |    3578    18119    58474 |    32354    28869     31 |  0.915 % |
463.25/463.28	c |    796554 |    3578    18119    58474 |    32354    29383     31 |  0.914 % |
463.85/463.82	c |    797580 |    3578    18119    58474 |    32354    30409     31 |  0.915 % |
464.05/464.07	c |    798093 |    3578    18119    58474 |    32354    30922     31 |  0.915 % |
464.35/464.38	c |    798606 |    3578    18119    58474 |    32354    31435     31 |  0.914 % |
464.85/464.83	c |    799631 |    3578    18119    58474 |    32354    32460     31 |  0.915 % |
465.85/465.88	c |    801682 |    3578    18119    58474 |    28985    27565     30 |  0.914 % |
466.15/466.15	c |    802194 |    3578    18119    58474 |    28985    28077     30 |  0.914 % |
466.35/466.39	c |    802710 |    3578    18119    58474 |    28985    28593     30 |  0.914 % |
466.85/466.86	c |    803736 |    3578    18119    58474 |    28985    29619     30 |  0.914 % |
467.15/467.14	c |    804248 |    3578    18119    58474 |    28985    25885     30 |  0.914 % |
467.35/467.37	c |    804760 |    3578    18119    58474 |    28985    26397     30 |  0.914 % |
467.85/467.90	c |    805786 |    3578    18119    58474 |    28985    27423     30 |  0.914 % |
469.05/469.09	c |    807834 |    3578    18119    58474 |    28985    25917     29 |  0.914 % |
471.25/471.21	c |    811931 |    3578    18119    58474 |    28086    26549     27 |  0.914 % |
471.45/471.42	c |    812445 |    3578    18119    58474 |    28086    27063     27 |  0.914 % |
471.75/471.72	c |    812957 |    3578    18119    58474 |    28086    27575     28 |  0.914 % |
472.25/472.25	c |    813981 |    3578    18119    58474 |    28086    28599     28 |  0.914 % |
472.55/472.54	c |    814493 |    3578    18119    58474 |    28086    25939     26 |  0.914 % |
472.85/472.81	c |    815006 |    3578    18119    58474 |    28086    26452     26 |  0.914 % |
473.25/473.21	c |    816031 |    3578    18119    58474 |    28086    27477     27 |  0.914 % |
474.35/474.32	c |    818080 |    3578    18119    58474 |    28086    26362     26 |  0.915 % |
474.55/474.54	c |    818592 |    3578    18119    58474 |    28086    26874     27 |  0.914 % |
474.75/474.80	c |    819104 |    3578    18119    58474 |    28086    27386     27 |  0.915 % |
475.15/475.12	c |    820129 |    3578    18119    58474 |    28283    28411     28 |  0.914 % |
475.35/475.34	c |    820643 |    3578    18119    58474 |    28283    25937     28 |  0.914 % |
475.55/475.60	c |    821155 |    3578    18119    58474 |    28283    26449     29 |  0.914 % |
476.05/476.07	c |    822180 |    3578    18119    58474 |    28283    27474     29 |  0.914 % |
477.15/477.16	c |    824229 |    3578    18119    58474 |    28283    26167     30 |  0.914 % |
479.55/479.54	c |    828325 |    3578    18119    58474 |    28283    27412     31 |  0.914 % |
484.25/484.29	c |    836520 |    3578    18119    58474 | 2147483647    32741     34 |  0.914 % |
492.66/492.64	c |    852904 |    3578    18119    58474 |    36423    33487     41 |  0.915 % |
492.96/492.99	c |    853416 |    3578    18119    58474 |    36423    33999     41 |  0.914 % |
493.36/493.34	c |    853929 |    3578    18119    58474 |    36423    34512     41 |  0.914 % |
494.06/494.09	c |    854955 |    3578    18119    58474 |    36423    35538     41 |  0.914 % |
494.46/494.44	c |    855468 |    3578    18119    58474 |    36423    36051     41 |  0.914 % |
494.86/494.84	c |    855980 |    3578    18119    58474 |    36423    36563     41 |  0.914 % |
495.46/495.49	c |    857004 |    3578    18119    58474 |    36423    31714     40 |  0.914 % |
496.36/496.33	c |    859052 |    3578    18119    58474 |    36423    33762     40 |  0.914 % |
496.56/496.61	c |    859565 |    3578    18119    58474 |    36423    34275     40 |  0.914 % |
496.86/496.86	c |    860079 |    3578    18119    58474 |    34710    34789     40 |  0.915 % |
497.46/497.45	c |    861106 |    3578    18119    58474 |    34710    30859     40 |  0.915 % |
497.76/497.72	c |    861618 |    3578    18119    58474 |    34710    31371     40 |  0.914 % |
498.06/498.04	c |    862133 |    3578    18119    58474 |    34710    31886     40 |  0.914 % |
498.56/498.60	c |    863157 |    3578    18119    58474 |    34710    32910     40 |  0.914 % |
499.76/499.79	c |    865205 |    3578    18119    58474 |    34710    34958     40 |  0.914 % |
502.36/502.34	c |    869301 |    3578    18119    58474 |    34710    33548     40 |  0.914 % |
502.66/502.71	c |    869813 |    3578    18119    58474 |    34710    34060     40 |  0.914 % |
503.06/503.07	c |    870327 |    3578    18119    58474 |    34247    34574     40 |  0.914 % |
503.86/503.86	c |    871352 |    3578    18119    58474 |    34247    30483     37 |  0.914 % |
504.16/504.15	c |    871864 |    3578    18119    58474 |    34247    30995     37 |  0.914 % |
504.46/504.52	c |    872377 |    3578    18119    58474 |    34247    31508     37 |  0.914 % |
505.16/505.20	c |    873401 |    3578    18119    58474 |    34247    32532     37 |  0.914 % |
506.66/506.62	c |    875451 |    3578    18119    58474 |    34247    34582     37 |  0.914 % |
506.96/506.96	c |    875964 |    3578    18119    58474 |    34247    29454     33 |  0.914 % |
507.26/507.29	c |    876476 |    3578    18119    58474 |    34247    29966     33 |  0.914 % |
507.96/507.96	c |    877500 |    3578    18119    58474 |    34247    30990     33 |  0.914 % |
508.16/508.15	c |    878013 |    3578    18119    58474 |    34247    31503     33 |  0.915 % |
508.36/508.37	c |    878526 |    3578    18119    58474 |    34247    32016     33 |  0.914 % |
508.86/508.89	c |    879551 |    3578    18119    58474 |    34247    33041     33 |  0.915 % |
509.96/509.93	c |    881599 |    3576    18107    58438 |    33490    30575     32 |  0.969 % |
512.06/512.02	c |    885695 |    3576    18107    58438 |    33490    31002     33 |  0.970 % |
515.86/515.92	c |    893887 |    3576    18099    58412 |    30555    28985     39 |  0.969 % |
516.26/516.26	c |    894399 |    3576    18099    58412 |    30555    29497     39 |  0.969 % |
516.56/516.54	c |    894913 |    3576    18099    58412 |    30555    30011     40 |  0.969 % |
517.16/517.14	c |    895937 |    3576    18099    58412 |    30555    31035     40 |  0.969 % |
517.46/517.46	c |    896451 |    3576    18099    58412 |    30555    26076     41 |  0.969 % |
517.76/517.76	c |    896966 |    3576    18099    58412 |    30555    26591     41 |  0.969 % |
518.36/518.32	c |    897991 |    3576    18099    58412 |    30555    27616     41 |  0.969 % |
519.56/519.60	c |    900041 |    3576    18099    58412 |    29625    29666     41 |  0.969 % |
519.86/519.83	c |    900553 |    3576    18099    58412 |    29625    25681     42 |  0.969 % |
520.06/520.08	c |    901065 |    3576    18099    58412 |    29625    26193     42 |  0.970 % |
520.46/520.48	c |    902093 |    3576    18099    58412 |    29625    27221     42 |  0.970 % |
520.66/520.71	c |    902607 |    3576    18099    58412 |    29625    27735     42 |  0.970 % |
520.96/521.00	c |    903119 |    3576    18099    58412 |    29625    28247     42 |  0.969 % |
521.66/521.62	c |    904143 |    3576    18099    58412 |    29625    29271     42 |  0.969 % |
523.06/523.06	c |    906192 |    3576    18099    58412 |    29625    27941     42 |  0.969 % |
525.46/525.46	c |    910288 |    3576    18099    58412 |    28158    28444     38 |  0.969 % |
525.76/525.77	c |    910801 |    3576    18099    58412 |    28158    25556     35 |  0.969 % |
526.06/526.10	c |    911313 |    3576    18099    58412 |    28158    26068     35 |  0.969 % |
526.76/526.80	c |    912337 |    3576    18099    58412 |    28158    27092     35 |  0.974 % |
527.06/527.02	c |    912849 |    3576    18099    58412 |    28158    27604     35 |  0.970 % |
527.26/527.27	c |    913361 |    3576    18099    58412 |    28158    28116     35 |  0.969 % |
527.86/527.86	c |    914385 |    3576    18099    58412 |    28158    25521     33 |  0.969 % |
528.96/528.95	c |    916433 |    3576    18099    58412 |    28158    27569     33 |  0.970 % |
529.26/529.24	c |    916946 |    3576    18099    58412 |    28158    28082     33 |  0.969 % |
529.66/529.63	c |    917460 |    3576    18099    58412 |    28158    25383     33 |  0.969 % |
530.16/530.13	c |    918485 |    3576    18099    58412 |    28158    26408     33 |  0.969 % |
530.46/530.42	c |    918997 |    3576    18099    58412 |    28158    26920     33 |  0.969 % |
530.66/530.68	c |    919509 |    3576    18099    58412 |    28158    27432     34 |  0.969 % |
531.06/531.03	c |    920533 |    3576    18099    58412 |    27923    28456     34 |  0.970 % |
531.76/531.76	c |    922586 |    3576    18099    58412 |    27923    27664     37 |  0.969 % |
533.36/533.40	c |    926683 |    3576    18099    58412 |    27923    26033     33 |  0.970 % |
537.76/537.74	c |    934876 |    3576    18099    58412 | 2147483647    31307     35 |  0.970 % |
546.46/546.42	c |    951264 |    3576    18099    58412 |    36511    31477     36 |  0.969 % |
564.76/564.79	c |    984032 |    3576    18099    58412 |    30699    29292     33 |  0.969 % |
607.97/607.98	c |   1049570 |    3576    18099    58412 |    45034    44887     55 |  0.970 % |
681.37/681.37	c |   1180646 |    3572    18077    58345 | 2147483647    23806     24 |  1.081 % |
681.67/681.63	c |   1181158 |    3572    18077    58345 | 2147483647    24318     24 |  1.081 % |
681.87/681.90	c |   1181671 |    3568    18047    58256 | 2147483647    24822     24 |  1.192 % |
682.37/682.40	c |   1182696 |    3568    18047    58256 | 2147483647    25847     24 |  1.192 % |
682.67/682.72	c |   1183209 |    3568    18047    58256 | 2147483647    26360     24 |  1.192 % |
682.97/683.00	c |   1183722 |    3568    18047    58256 | 2147483647    26873     24 |  1.192 % |
683.47/683.48	c |   1184746 |    3568    18047    58256 | 2147483647    27897     24 |  1.192 % |
684.57/684.52	c |   1186797 |    3568    18047    58256 | 2147483647    29948     24 |  1.192 % |
684.87/684.82	c |   1187310 |    3568    18047    58256 | 2147483647    30461     24 |  1.192 % |
685.17/685.16	c |   1187826 |    3568    18047    58256 | 2147483647    30977     24 |  1.192 % |
685.77/685.78	c |   1188853 |    3568    18047    58256 | 2147483647    32004     24 |  1.193 % |
686.17/686.13	c |   1189365 |    3567    17953    58023 | 2147483647     6341     16 |  1.219 % |
686.27/686.23	c |   1189877 |    3567    17953    58023 | 2147483647     6853     17 |  1.219 % |
686.37/686.42	c |   1190901 |    3567    17953    58023 | 2147483647     7877     21 |  1.219 % |
686.97/687.00	c |   1192950 |    3567    17953    58023 | 2147483647     9926     24 |  1.219 % |
688.26/688.25	c |   1197048 |    3566    17945    57997 | 2147483647    14022     28 |  1.246 % |
688.36/688.37	c |   1197561 |    3566    17945    57997 | 2147483647    14535     28 |  1.247 % |
688.46/688.47	c |   1198073 |    3566    17945    57997 | 2147483647    15047     29 |  1.247 % |
688.76/688.73	c |   1199097 |    3566    17945    57997 | 2147483647    16071     29 |  1.247 % |
688.86/688.84	c |   1199610 |    3564    17914    57894 | 2147483647    16579     29 |  1.302 % |
688.96/689.01	c |   1200122 |    3564    17914    57894 | 2147483647    17091     29 |  1.302 % |
689.36/689.35	c |   1201146 |    3564    17914    57894 | 2147483647    18115     29 |  1.302 % |
690.26/690.23	c |   1203195 |    3564    17914    57894 | 2147483647    20164     29 |  1.302 % |
690.46/690.47	c |   1203709 |    3564    17914    57894 | 2147483647    20678     29 |  1.302 % |
690.76/690.71	c |   1204221 |    3564    17914    57894 | 2147483647    21190     29 |  1.302 % |
691.16/691.19	c |   1205245 |    3564    17914    57894 | 2147483647    22214     29 |  1.302 % |
691.46/691.43	c |   1205757 |    3564    17914    57894 | 2147483647    22726     29 |  1.302 % |
691.66/691.64	c |   1206272 |    3564    17914    57894 | 2147483647    23241     29 |  1.302 % |
691.97/691.98	c |   1207297 |    3564    17914    57894 | 2147483647    24266     29 |  1.302 % |
692.96/692.98	c |   1209350 |    3564    17914    57894 | 2147483647    26319     29 |  1.302 % |
694.96/695.00	c |   1213447 |    3564    17914    57894 | 2147483647    30416     29 |  1.302 % |
699.95/699.91	c |   1221639 |    3564    17914    57894 |    36969    33993     28 |  1.302 % |
700.15/700.17	c |   1222151 |    3564    17914    57894 |    36969    34505     28 |  1.302 % |
700.45/700.43	c |   1222663 |    3564    17914    57894 |    36969    35017     28 |  1.303 % |
701.05/701.08	c |   1223688 |    3564    17914    57894 |    36969    36042     28 |  1.302 % |
701.45/701.41	c |   1224200 |    3564    17914    57894 |    36969    36554     28 |  1.302 % |
701.75/701.73	c |   1224712 |    3564    17914    57894 |    36969    37066     28 |  1.302 % |
702.35/702.39	c |   1225736 |    3563    17905    57866 |    36969    33974     27 |  1.329 % |
703.45/703.46	c |   1227785 |    3563    17905    57866 |    36969    36023     27 |  1.329 % |
703.75/703.74	c |   1228298 |    3563    17905    57866 |    36969    36536     27 |  1.329 % |
704.06/704.08	c |   1228810 |    3563    17905    57866 |    36969    37048     28 |  1.329 % |
704.65/704.68	c |   1229834 |    3563    17905    57866 |    36969    32344     27 |  1.330 % |
704.95/704.98	c |   1230348 |    3563    17905    57866 |    32514    32858     27 |  1.330 % |
705.35/705.35	c |   1230861 |    3563    17905    57866 |    32514    28268     27 |  1.329 % |
705.95/705.94	c |   1231886 |    3563    17905    57866 |    32514    29293     27 |  1.329 % |
706.95/706.97	c |   1233935 |    3563    17905    57866 |    32514    31342     28 |  1.329 % |
709.05/709.07	c |   1238031 |    3563    17905    57866 |    32514    31218     30 |  1.329 % |
709.35/709.32	c |   1238544 |    3563    17905    57866 |    32514    31731     31 |  1.330 % |
709.56/709.58	c |   1239058 |    3563    17905    57866 |    32514    32245     31 |  1.330 % |
710.05/710.03	c |   1240084 |    3563    17905    57866 |    29146    29229     31 |  1.330 % |
710.35/710.35	c |   1240597 |    3563    17905    57866 |    29146    26241     31 |  1.330 % |
710.55/710.57	c |   1241109 |    3563    17905    57866 |    29146    26753     31 |  1.330 % |
711.15/711.18	c |   1242133 |    3563    17905    57866 |    29146    27777     31 |  1.329 % |
712.45/712.49	c |   1244181 |    3563    17905    57866 |    29146    26097     31 |  1.329 % |
712.75/712.76	c |   1244694 |    3563    17905    57866 |    29146    26610     31 |  1.330 % |
713.05/713.03	c |   1245207 |    3563    17905    57866 |    29146    27123     31 |  1.330 % |
713.55/713.57	c |   1246232 |    3563    17905    57866 |    29146    28148     31 |  1.329 % |
713.96/713.91	c |   1246746 |    3563    17905    57866 |    29146    28662     31 |  1.329 % |
714.15/714.19	c |   1247259 |    3563    17905    57866 |    29146    29175     31 |  1.329 % |
714.85/714.85	c |   1248283 |    3563    17905    57866 |    29146    26687     31 |  1.329 % |
715.95/715.94	c |   1250332 |    3563    17905    57866 |    28405    28736     31 |  1.329 % |
718.15/718.19	c |   1254429 |    3562    17896    57838 |    28405    27013     29 |  1.358 % |
723.36/723.33	c |   1262622 |    3562    17896    57838 | 2147483647    29447     26 |  1.358 % |
733.56/733.60	c |   1279006 |    3561    17886    57808 |    36825    34395     27 |  1.385 % |
733.76/733.77	c |   1279518 |    3561    17886    57808 |    36825    34907     27 |  1.386 % |
734.06/734.05	c |   1280032 |    3561    17886    57808 |    35389    35421     27 |  1.385 % |
734.76/734.75	c |   1281056 |    3561    17886    57808 |    35389    31416     27 |  1.386 % |
734.96/735.00	c |   1281569 |    3561    17886    57808 |    35389    31929     27 |  1.386 % |
735.16/735.20	c |   1282084 |    3561    17886    57808 |    35389    32444     27 |  1.385 % |
735.66/735.64	c |   1283110 |    3561    17886    57808 |    35389    33470     28 |  1.386 % |
736.76/736.74	c |   1285159 |    3561    17886    57808 |    35389    35519     28 |  1.385 % |
737.06/737.07	c |   1285673 |    3561    17886    57808 |    35389    32199     29 |  1.385 % |
737.36/737.35	c |   1286185 |    3561    17886    57808 |    35389    32711     29 |  1.385 % |
737.86/737.89	c |   1287210 |    3561    17886    57808 |    35389    33736     29 |  1.385 % |
738.16/738.11	c |   1287722 |    3561    17886    57808 |    35389    34248     29 |  1.385 % |
738.46/738.44	c |   1288237 |    3561    17886    57808 |    35389    34763     30 |  1.385 % |
739.06/739.04	c |   1289261 |    3561    17886    57808 |    35389    35787     30 |  1.385 % |
740.36/740.36	c |   1291309 |    3561    17886    57808 |    32577    29434     31 |  1.385 % |
743.06/743.07	c |   1295406 |    3561    17886    57808 |    32577    28644     32 |  1.385 % |
743.36/743.38	c |   1295920 |    3561    17886    57808 |    32577    29158     32 |  1.385 % |
743.76/743.71	c |   1296432 |    3561    17886    57808 |    32577    29670     32 |  1.385 % |
744.26/744.30	c |   1297458 |    3561    17886    57808 |    32577    30696     33 |  1.385 % |
744.56/744.61	c |   1297971 |    3561    17886    57808 |    32577    31209     33 |  1.385 % |
744.96/744.91	c |   1298484 |    3561    17886    57808 |    32577    31722     33 |  1.385 % |
745.66/745.65	c |   1299508 |    3561    17886    57808 |    32577    32746     33 |  1.385 % |
746.46/746.49	c |   1301557 |    3561    17886    57808 |    28855    27047     29 |  1.386 % |
746.66/746.67	c |   1302069 |    3561    17886    57808 |    28855    27559     29 |  1.385 % |
746.86/746.90	c |   1302582 |    3561    17886    57808 |    28855    28072     30 |  1.386 % |
747.26/747.30	c |   1303607 |    3561    17886    57808 |    28855    29097     29 |  1.386 % |
747.56/747.53	c |   1304120 |    3561    17886    57808 |    28855    26701     28 |  1.385 % |
747.76/747.76	c |   1304634 |    3561    17886    57808 |    28855    27215     28 |  1.385 % |
748.26/748.29	c |   1305658 |    3561    17886    57808 |    28855    28239     28 |  1.385 % |
749.06/749.07	c |   1307708 |    3561    17886    57808 |    28855    27349     28 |  1.385 % |
751.56/751.54	c |   1311804 |    3561    17886    57808 | 2147483647    31445     31 |  1.385 % |
757.66/757.68	c |   1319996 |    3561    17886    57808 | 2147483647    39637     32 |  1.385 % |
758.06/758.10	c |   1320508 |    3561    17886    57808 |    39642    40149     32 |  1.385 % |
758.36/758.38	c |   1321021 |    3561    17886    57808 |    39642    34221     32 |  1.386 % |
758.96/758.91	c |   1322046 |    3561    17886    57808 |    39642    35246     33 |  1.386 % |
759.16/759.15	c |   1322561 |    3561    17886    57808 |    39642    35761     32 |  1.386 % |
759.46/759.43	c |   1323073 |    3561    17886    57808 |    39642    36273     33 |  1.386 % |
759.96/759.93	c |   1324097 |    3561    17886    57808 |    39642    37297     33 |  1.386 % |
760.96/760.94	c |   1326147 |    3561    17886    57808 |    39642    39347     34 |  1.385 % |
761.26/761.27	c |   1326659 |    3561    17886    57808 |    39642    39859     34 |  1.385 % |
761.66/761.61	c |   1327171 |    3561    17886    57808 |    39642    33136     34 |  1.385 % |
762.16/762.19	c |   1328197 |    3561    17886    57808 |    39642    34162     34 |  1.385 % |
762.46/762.50	c |   1328713 |    3561    17886    57808 |    39642    34678     34 |  1.386 % |
762.76/762.80	c |   1329225 |    3561    17886    57808 |    39642    35190     34 |  1.386 % |
763.46/763.44	c |   1330249 |    3561    17886    57808 |    35966    36214     34 |  1.385 % |
764.76/764.78	c |   1332297 |    3561    17886    57808 |    35966    31649     34 |  1.385 % |
767.06/767.04	c |   1336394 |    3561    17886    57808 |    35966    35746     33 |  1.385 % |
767.36/767.34	c |   1336907 |    3561    17886    57808 |    35966    36259     33 |  1.385 % |
767.66/767.69	c |   1337423 |    3561    17886    57808 |    35966    30120     32 |  1.385 % |
768.26/768.27	c |   1338447 |    3561    17886    57808 |    35966    31144     32 |  1.385 % |
768.56/768.56	c |   1338959 |    3561    17886    57808 |    35966    31656     32 |  1.385 % |
768.86/768.86	c |   1339473 |    3561    17886    57808 |    35966    32170     32 |  1.385 % |
769.46/769.47	c |   1340498 |    3561    17886    57808 |    32700    33195     31 |  1.385 % |
770.46/770.49	c |   1342546 |    3561    17886    57808 |    32700    28419     30 |  1.385 % |
770.66/770.68	c |   1343061 |    3561    17886    57808 |    32700    28934     31 |  1.386 % |
770.96/770.98	c |   1343574 |    3561    17886    57808 |    32700    29447     31 |  1.386 % |
771.56/771.58	c |   1344598 |    3561    17886    57808 |    32700    30471     31 |  1.386 % |
771.86/771.85	c |   1345110 |    3561    17886    57808 |    32700    30983     31 |  1.386 % |
772.06/772.09	c |   1345626 |    3561    17886    57808 |    32700    31499     31 |  1.386 % |
772.76/772.79	c |   1346651 |    3561    17886    57808 |    32700    32524     31 |  1.386 % |
774.06/774.04	c |   1348699 |    3561    17886    57808 |    32700    29479     28 |  1.386 % |
776.46/776.48	c |   1352795 |    3561    17886    57808 |    30780    28738     26 |  1.386 % |
781.76/781.73	c |   1360988 |    3561    17886    57808 |    31481    27282     28 |  1.385 % |
791.26/791.24	c |   1377375 |    3561    17886    57808 |    31884    30421     33 |  1.385 % |
810.86/810.90	c |   1410144 |    3558    17864    57747 |    33383    33527     36 |  1.468 % |
811.16/811.16	c |   1410658 |    3558    17864    57747 |    33383    26968     38 |  1.468 % |
811.36/811.39	c |   1411179 |    3558    17864    57747 |    33383    27489     38 |  1.468 % |
811.87/811.87	c |   1412203 |    3558    17864    57747 |    33383    28513     39 |  1.468 % |
812.16/812.11	c |   1412716 |    3558    17864    57747 |    33383    29026     39 |  1.468 % |
812.46/812.42	c |   1413228 |    3558    17864    57747 |    33383    29538     39 |  1.468 % |
813.06/813.01	c |   1414252 |    3558    17864    57747 |    33383    30562     39 |  1.468 % |
814.46/814.41	c |   1416302 |    3558    17864    57747 |    33383    32612     40 |  1.468 % |
814.76/814.72	c |   1416814 |    3558    17864    57747 |    33383    33124     40 |  1.468 % |
815.06/815.03	c |   1417328 |    3558    17864    57747 |    33383    33638     39 |  1.468 % |
815.56/815.55	c |   1418352 |    3558    17864    57747 |    33383    28534     39 |  1.468 % |
815.86/815.86	c |   1418864 |    3558    17864    57747 |    33383    29046     39 |  1.468 % |
816.16/816.14	c |   1419379 |    3558    17864    57747 |    33383    29561     39 |  1.468 % |
816.66/816.69	c |   1420405 |    3558    17864    57747 |    30184    26375     38 |  1.468 % |
817.56/817.58	c |   1422453 |    3558    17864    57747 |    30184    28423     38 |  1.468 % |
819.76/819.79	c |   1426549 |    3558    17864    57747 |    30184    27732     37 |  1.468 % |
819.96/820.00	c |   1427061 |    3558    17864    57747 |    30184    28244     37 |  1.469 % |
820.16/820.18	c |   1427573 |    3558    17864    57747 |    30184    28756     37 |  1.469 % |
820.56/820.55	c |   1428597 |    3558    17864    57747 |    30184    29780     38 |  1.469 % |
820.76/820.74	c |   1429110 |    3558    17864    57747 |    30184    30293     38 |  1.468 % |
821.06/821.03	c |   1429622 |    3558    17864    57747 |    30184    26308     35 |  1.469 % |
821.46/821.43	c |   1430646 |    3558    17864    57747 |    26686    27332     35 |  1.468 % |
822.36/822.40	c |   1432694 |    3558    17864    57747 |    26686    26150     33 |  1.469 % |
822.66/822.62	c |   1433207 |    3558    17864    57747 |    26686    26663     34 |  1.468 % |
822.96/822.96	c |   1433720 |    3558    17864    57747 |    26686    24466     33 |  1.468 % |
823.56/823.56	c |   1434744 |    3558    17864    57747 |    26686    25490     33 |  1.468 % |
823.86/823.84	c |   1435256 |    3558    17864    57747 |    26686    26002     33 |  1.468 % |
824.16/824.10	c |   1435769 |    3558    17864    57747 |    26686    26515     33 |  1.468 % |
824.66/824.65	c |   1436794 |    3558    17864    57747 |    26686    27540     33 |  1.468 % |
825.86/825.82	c |   1438842 |    3558    17864    57747 |    26686    26834     33 |  1.468 % |
828.16/828.16	c |   1442939 |    3558    17864    57747 | 2147483647    28248     34 |  1.468 % |
833.57/833.56	c |   1451131 |    3558    17864    57747 |    35310    31976     32 |  1.468 % |
833.87/833.87	c |   1451643 |    3558    17864    57747 |    35310    32488     33 |  1.468 % |
834.27/834.26	c |   1452155 |    3558    17864    57747 |    35310    33000     33 |  1.468 % |
834.97/834.97	c |   1453180 |    3558    17864    57747 |    35310    34025     33 |  1.468 % |
835.37/835.35	c |   1453696 |    3558    17864    57747 |    35310    34541     33 |  1.468 % |
835.77/835.74	c |   1454208 |    3558    17864    57747 |    35310    35053     33 |  1.468 % |
836.67/836.62	c |   1455233 |    3558    17864    57747 |    35310    30826     31 |  1.468 % |
838.07/838.05	c |   1457282 |    3558    17864    57747 |    35310    32875     31 |  1.468 % |
838.47/838.49	c |   1457799 |    3558    17864    57747 |    35310    33392     31 |  1.468 % |
838.97/838.93	c |   1458311 |    3558    17864    57747 |    35310    33904     31 |  1.468 % |
839.67/839.63	c |   1459335 |    3556    17845    57688 |    35310    34926     32 |  1.523 % |
840.07/840.02	c |   1459851 |    3556    17845    57688 |    35310    35442     32 |  1.523 % |
840.37/840.41	c |   1460365 |    3556    17845    57688 |    30657    31022     30 |  1.523 % |
841.07/841.05	c |   1461389 |    3556    17845    57688 |    30657    27832     30 |  1.523 % |
842.27/842.29	c |   1463437 |    3556    17845    57688 |    30657    29880     30 |  1.523 % |
845.27/845.23	c |   1467533 |    3556    17845    57688 |    30657    30533     30 |  1.523 % |
845.47/845.43	c |   1468045 |    3556    17845    57688 |    30657    31045     30 |  1.524 % |
845.67/845.66	c |   1468557 |    3556    17845    57688 |    30657    27448     30 |  1.523 % |
846.07/846.06	c |   1469582 |    3556    17845    57688 |    30657    28473     31 |  1.525 % |
846.27/846.21	c |   1470095 |    3556    17845    57688 |    28894    28986     31 |  1.524 % |
846.37/846.40	c |   1470607 |    3556    17845    57688 |    28894    25880     30 |  1.523 % |
846.77/846.74	c |   1471631 |    3556    17845    57688 |    28894    26904     30 |  1.523 % |
847.57/847.52	c |   1473682 |    3556    17845    57688 |    28894    28955     30 |  1.525 % |
847.77/847.78	c |   1474194 |    3556    17845    57688 |    28894    26572     29 |  1.523 % |
848.07/848.04	c |   1474706 |    3556    17845    57688 |    28894    27084     30 |  1.523 % |
848.57/848.59	c |   1475730 |    3556    17845    57688 |    28894    28108     30 |  1.523 % |
848.87/848.83	c |   1476242 |    3556    17845    57688 |    28894    28620     30 |  1.525 % |
849.17/849.12	c |   1476754 |    3556    17845    57688 |    28894    29132     30 |  1.523 % |
849.67/849.62	c |   1477779 |    3556    17845    57688 |    28894    26872     29 |  1.523 % |
850.77/850.74	c |   1479828 |    3556    17845    57688 |    28894    28921     30 |  1.523 % |
853.27/853.25	c |   1483926 |    3556    17845    57688 |    29093    27998     30 |  1.523 % |
857.87/857.82	c |   1492118 |    3556    17845    57688 |    26108    25048     30 |  1.523 % |
866.57/866.56	c |   1508505 |    3556    17845    57688 |    26653    24619     36 |  1.523 % |
866.77/866.73	c |   1509017 |    3556    17845    57688 |    26653    25131     36 |  1.524 % |
866.87/866.89	c |   1509529 |    3556    17845    57688 |    26653    25643     36 |  1.525 % |
867.17/867.20	c |   1510555 |    3556    17845    57688 |    26114    26669     36 |  1.524 % |
867.37/867.40	c |   1511069 |    3556    17845    57688 |    26114    23997     37 |  1.525 % |
867.57/867.56	c |   1511582 |    3556    17845    57688 |    26114    24510     37 |  1.524 % |
867.97/867.97	c |   1512606 |    3555    17836    57660 |    26114    25532     37 |  1.551 % |
868.87/868.85	c |   1514656 |    3555    17836    57660 |    26114    24899     36 |  1.551 % |
869.07/869.07	c |   1515168 |    3555    17836    57660 |    26114    25411     36 |  1.551 % |
869.27/869.31	c |   1515681 |    3555    17836    57660 |    26114    25924     36 |  1.551 % |
869.77/869.74	c |   1516706 |    3555    17836    57660 |    26114    26949     36 |  1.551 % |
869.97/869.99	c |   1517218 |    3555    17836    57660 |    26114    24767     36 |  1.551 % |
870.17/870.20	c |   1517730 |    3555    17836    57660 |    26114    25279     36 |  1.551 % |
870.77/870.78	c |   1518756 |    3555    17836    57660 |    26114    26305     36 |  1.551 % |
871.77/871.78	c |   1520806 |    3554    17826    57630 | 2147483647    25722     35 |  1.579 % |
874.37/874.31	c |   1524905 |    3554    17826    57630 | 2147483647    29821     36 |  1.579 % |
874.77/874.75	c |   1525418 |    3554    17826    57630 | 2147483647    30334     36 |  1.579 % |
875.27/875.26	c |   1525930 |    3554    17826    57630 | 2147483647    30846     36 |  1.579 % |
875.97/875.99	c |   1526955 |    3554    17826    57630 | 2147483647    31871     36 |  1.579 % |
876.37/876.33	c |   1527468 |    3554    17826    57630 | 2147483647    32384     36 |  1.579 % |
876.67/876.65	c |   1527982 |    3554    17826    57630 | 2147483647    32898     36 |  1.579 % |
877.27/877.28	c |   1529006 |    3554    17826    57630 | 2147483647    33922     36 |  1.579 % |
878.27/878.27	c |   1531055 |    3554    17826    57630 | 2147483647    35971     37 |  1.580 % |
878.57/878.54	c |   1531567 |    3554    17826    57630 | 2147483647    36483     37 |  1.580 % |
878.77/878.76	c |   1532079 |    3554    17826    57630 | 2147483647    36995     37 |  1.579 % |
879.27/879.30	c |   1533103 |    3554    17826    57630 | 2147483647    38019     37 |  1.580 % |
879.57/879.61	c |   1533615 |    3554    17826    57630 | 2147483647    38531     37 |  1.580 % |
879.87/879.89	c |   1534129 |    3554    17826    57630 | 2147483647    39045     37 |  1.579 % |
880.57/880.52	c |   1535154 |    3554    17826    57630 | 2147483647    40070     37 |  1.579 % |
881.77/881.71	c |   1537202 |    3554    17826    57630 | 2147483647    42118     37 |  1.579 % |
885.07/885.03	c |   1541298 |    3554    17826    57630 |    44916    36624     34 |  1.579 % |
890.77/890.78	c |   1549490 |    3554    17826    57630 |    44916    44816     35 |  1.579 % |
891.17/891.11	c |   1550003 |    3554    17826    57630 |    44916    45329     35 |  1.579 % |
891.47/891.42	c |   1550515 |    3554    17826    57630 |    45329    45841     35 |  1.580 % |
892.17/892.11	c |   1551539 |    3554    17826    57630 |    45329    34851     33 |  1.579 % |
892.27/892.28	c |   1552051 |    3554    17826    57630 |    45329    35363     33 |  1.580 % |
892.57/892.53	c |   1552563 |    3554    17826    57630 |    45329    35875     33 |  1.579 % |
893.07/893.02	c |   1553587 |    3554    17826    57630 |    45329    36899     34 |  1.580 % |
893.87/893.91	c |   1555640 |    3554    17826    57630 |    45329    38952     35 |  1.580 % |
894.17/894.20	c |   1556153 |    3554    17826    57630 |    45329    39465     35 |  1.579 % |
894.57/894.55	c |   1556665 |    3554    17826    57630 |    45329    39977     35 |  1.579 % |
895.37/895.38	c |   1557689 |    3554    17826    57630 |    45329    41001     35 |  1.579 % |
895.77/895.76	c |   1558201 |    3554    17826    57630 |    45329    41513     35 |  1.579 % |
896.07/896.10	c |   1558715 |    3554    17826    57630 |    45329    42027     35 |  1.579 % |
896.97/896.93	c |   1559740 |    3554    17826    57630 |    45329    43052     35 |  1.579 % |
898.47/898.46	c |   1561789 |    3554    17826    57630 |    43315    36328     34 |  1.579 % |
901.47/901.45	c |   1565886 |    3554    17826    57630 |    43315    40425     35 |  1.579 % |
901.87/901.86	c |   1566398 |    3554    17826    57630 |    43315    40937     35 |  1.579 % |
902.37/902.32	c |   1566910 |    3554    17826    57630 |    43315    41449     35 |  1.579 % |
903.27/903.27	c |   1567934 |    3554    17826    57630 |    43315    42473     35 |  1.579 % |
903.67/903.69	c |   1568446 |    3554    17826    57630 |    43315    42985     35 |  1.579 % |
904.17/904.13	c |   1568958 |    3554    17826    57630 |    43315    43497     35 |  1.579 % |
904.97/904.98	c |   1569983 |    3554    17826    57630 |    43315    36590     35 |  1.579 % |
906.57/906.54	c |   1572034 |    3554    17826    57630 |    36607    32035     35 |  1.579 % |
906.77/906.80	c |   1572546 |    3554    17826    57630 |    36607    32547     35 |  1.580 % |
907.07/907.03	c |   1573058 |    3554    17826    57630 |    36607    33059     35 |  1.580 % |
907.58/907.57	c |   1574085 |    3554    17826    57630 |    36607    34086     35 |  1.580 % |
907.77/907.80	c |   1574598 |    3554    17826    57630 |    36607    34599     35 |  1.580 % |
908.07/908.07	c |   1575112 |    3554    17826    57630 |    36607    35113     35 |  1.580 % |
908.57/908.59	c |   1576136 |    3554    17826    57630 |    36607    36137     35 |  1.579 % |
909.87/909.83	c |   1578188 |    3554    17826    57630 |    36607    33087     33 |  1.579 % |
912.17/912.13	c |   1582286 |    3554    17826    57630 |    34900    31835     32 |  1.579 % |
917.37/917.39	c |   1590478 |    3554    17826    57630 |    33975    28559     32 |  1.579 % |
926.87/926.87	c |   1606862 |    3554    17826    57630 |    32389    29693     36 |  1.579 % |
947.06/947.03	c |   1639630 |    3550    17797    57544 |    25681    25057     35 |  1.689 % |
984.07/984.08	c |   1705169 |    3549    17785    57508 |    31226    30238     37 |  1.718 % |
984.47/984.43	c |   1705684 |    3549    17785    57508 |    31226    30753     37 |  1.717 % |
984.77/984.76	c |   1706196 |    3549    17785    57508 |    31226    31265     37 |  1.717 % |
985.37/985.32	c |   1707220 |    3549    17785    57508 |    31226    25657     35 |  1.717 % |
985.57/985.55	c |   1707732 |    3549    17785    57508 |    31226    26169     35 |  1.717 % |
985.77/985.79	c |   1708244 |    3549    17785    57508 |    31226    26681     35 |  1.717 % |
986.27/986.29	c |   1709269 |    3549    17785    57508 |    31226    27706     35 |  1.717 % |
987.17/987.20	c |   1711317 |    3549    17785    57508 |    28438    24528     34 |  1.717 % |
987.37/987.37	c |   1711830 |    3549    17785    57508 |    28438    25041     34 |  1.717 % |
987.67/987.63	c |   1712342 |    3549    17785    57508 |    28438    25553     34 |  1.717 % |
988.07/988.03	c |   1713368 |    3549    17785    57508 |    28438    26579     34 |  1.717 % |
988.27/988.29	c |   1713880 |    3549    17785    57508 |    28438    27091     34 |  1.717 % |
988.47/988.50	c |   1714393 |    3549    17785    57508 |    28438    27604     35 |  1.717 % |
988.97/988.93	c |   1715417 |    3549    17785    57508 |    28438    28628     35 |  1.717 % |
989.67/989.70	c |   1717466 |    3549    17785    57508 |    28438    27019     35 |  1.717 % |
991.77/991.79	c |   1721564 |    3549    17785    57508 |    26081    24419     34 |  1.717 % |
991.97/991.96	c |   1722078 |    3549    17785    57508 |    26081    24933     34 |  1.718 % |
992.17/992.13	c |   1722591 |    3549    17785    57508 |    26081    25446     34 |  1.719 % |
992.57/992.51	c |   1723615 |    3549    17785    57508 |    26081    26470     34 |  1.717 % |
992.77/992.76	c |   1724127 |    3549    17785    57508 |    26081    24335     34 |  1.717 % |
992.97/992.98	c |   1724639 |    3549    17785    57508 |    26081    24847     34 |  1.717 % |
993.37/993.38	c |   1725663 |    3549    17785    57508 |    26081    25871     34 |  1.717 % |
994.57/994.52	c |   1727711 |    3549    17785    57508 |    26081    25202     36 |  1.717 % |
994.77/994.78	c |   1728223 |    3549    17785    57508 |    26081    25714     36 |  1.717 % |
994.97/995.00	c |   1728737 |    3549    17785    57508 |    26081    26228     36 |  1.717 % |
995.47/995.44	c |   1729762 |    3549    17785    57508 |    26081    24631     36 |  1.717 % |
995.77/995.72	c |   1730275 |    3549    17785    57508 | 2147483647    25144     37 |  1.717 % |
996.07/996.06	c |   1730787 |    3549    17785    57508 | 2147483647    25656     36 |  1.717 % |
996.67/996.62	c |   1731812 |    3549    17785    57508 | 2147483647    26681     37 |  1.717 % |
997.87/997.91	c |   1733861 |    3549    17785    57508 | 2147483647    28730     37 |  1.717 % |
1000.37/1000.40	c |   1737957 |    3549    17785    57508 | 2147483647    32826     37 |  1.717 % |
1006.37/1006.40	c |   1746149 |    3548    17780    57494 |    34868    31512     35 |  1.745 % |
1006.87/1006.81	c |   1746661 |    3548    17780    57494 |    34868    32024     35 |  1.745 % |
1007.17/1007.12	c |   1747175 |    3548    17780    57494 |    34868    32538     35 |  1.745 % |
1007.67/1007.70	c |   1748199 |    3548    17780    57494 |    34868    33562     34 |  1.745 % |
1008.07/1008.02	c |   1748711 |    3548    17780    57494 |    34868    34074     35 |  1.745 % |
1008.37/1008.34	c |   1749225 |    3548    17780    57494 |    34868    34588     35 |  1.745 % |
1008.97/1008.98	c |   1750251 |    3548    17780    57494 |    29981    30231     33 |  1.745 % |
1010.17/1010.16	c |   1752300 |    3548    17780    57494 |    29981    27820     31 |  1.745 % |
1010.47/1010.46	c |   1752812 |    3548    17780    57494 |    29981    28332     31 |  1.745 % |
1010.77/1010.77	c |   1753325 |    3548    17780    57494 |    29981    28845     32 |  1.745 % |
1011.47/1011.44	c |   1754350 |    3548    17780    57494 |    29981    29870     32 |  1.745 % |
1011.77/1011.72	c |   1754862 |    3548    17780    57494 |    29981    30382     32 |  1.745 % |
1012.07/1012.03	c |   1755374 |    3548    17780    57494 |    29981    25911     31 |  1.745 % |
1012.67/1012.62	c |   1756401 |    3548    17780    57494 |    29981    26938     31 |  1.745 % |
1014.07/1014.01	c |   1758450 |    3548    17780    57494 |    29981    28987     31 |  1.745 % |
1016.67/1016.64	c |   1762548 |    3548    17780    57494 |    30537    28253     31 |  1.745 % |
1016.87/1016.82	c |   1763060 |    3548    17780    57494 |    30537    28765     31 |  1.745 % |
1017.07/1017.01	c |   1763572 |    3548    17780    57494 |    30537    29277     31 |  1.746 % |
1017.37/1017.39	c |   1764596 |    3548    17780    57494 |    30537    30301     31 |  1.745 % |
1017.58/1017.59	c |   1765109 |    3548    17780    57494 |    30537    30814     31 |  1.745 % |
1017.87/1017.84	c |   1765621 |    3548    17780    57494 |    30537    27931     30 |  1.746 % |
1018.27/1018.28	c |   1766645 |    3548    17780    57494 |    30537    28955     30 |  1.745 % |
1019.57/1019.60	c |   1768695 |    3548    17780    57494 |    30537    27907     31 |  1.745 % |
1019.87/1019.88	c |   1769207 |    3548    17780    57494 |    30537    28419     31 |  1.745 % |
1020.17/1020.17	c |   1769719 |    3548    17780    57494 |    30537    28931     31 |  1.745 % |
1020.67/1020.71	c |   1770744 |    3548    17780    57494 | 2147483647    29956     31 |  1.745 % |
1020.97/1020.95	c |   1771256 |    3548    17780    57494 | 2147483647    30468     31 |  1.745 % |
1021.27/1021.26	c |   1771770 |    3548    17780    57494 | 2147483647    30982     31 |  1.745 % |
1021.98/1021.97	c |   1772796 |    3548    17780    57494 | 2147483647    32008     31 |  1.745 % |
1023.47/1023.47	c |   1774845 |    3548    17780    57494 | 2147483647    34057     31 |  1.745 % |
1026.47/1026.45	c |   1778941 |    3548    17780    57494 | 2147483647    38153     31 |  1.745 % |
1032.57/1032.59	c |   1787134 |    3548    17780    57494 |    39212    35582     30 |  1.745 % |
1045.17/1045.19	c |   1803518 |    3548    17780    57494 |    32625    29355     30 |  1.745 % |
1045.37/1045.39	c |   1804032 |    3548    17780    57494 |    32625    29869     30 |  1.746 % |
1045.57/1045.53	c |   1804545 |    3548    17780    57494 |    32625    30382     31 |  1.746 % |
1045.97/1045.99	c |   1805570 |    3548    17780    57494 |    32625    31407     31 |  1.746 % |
1046.18/1046.14	c |   1806084 |    3548    17780    57494 |    32625    31921     31 |  1.746 % |
1046.37/1046.37	c |   1806596 |    3548    17780    57494 |    32625    32433     31 |  1.746 % |
1046.77/1046.75	c |   1807622 |    3548    17780    57494 |    32625    33459     32 |  1.745 % |
1047.97/1047.94	c |   1809671 |    3548    17780    57494 |    32625    30966     32 |  1.745 % |
1048.27/1048.24	c |   1810185 |    3548    17780    57494 |    31297    31480     32 |  1.745 % |
1048.57/1048.60	c |   1810697 |    3548    17780    57494 |    31297    27719     31 |  1.745 % |
1049.07/1049.06	c |   1811723 |    3548    17780    57494 |    31297    28745     31 |  1.745 % |
1049.37/1049.35	c |   1812235 |    3548    17780    57494 |    31297    29257     31 |  1.745 % |
1049.57/1049.60	c |   1812748 |    3548    17780    57494 |    31297    29770     31 |  1.745 % |
1050.27/1050.29	c |   1813772 |    3548    17780    57494 |    31297    30794     31 |  1.745 % |
1051.57/1051.57	c |   1815821 |    3548    17780    57494 |    31297    28777     32 |  1.745 % |
1053.97/1053.92	c |   1819919 |    3548    17780    57494 |    31297    28133     31 |  1.745 % |
1054.17/1054.16	c |   1820431 |    3548    17780    57494 |    28214    28645     31 |  1.745 % |
1054.47/1054.46	c |   1820944 |    3548    17780    57494 |    28214    24810     30 |  1.745 % |
1054.98/1054.98	c |   1821968 |    3548    17780    57494 |    28214    25834     30 |  1.745 % |
1055.27/1055.23	c |   1822481 |    3548    17780    57494 |    28214    26347     30 |  1.745 % |
1055.47/1055.48	c |   1822994 |    3548    17780    57494 |    28214    26860     30 |  1.745 % |
1055.97/1055.99	c |   1824020 |    3548    17780    57494 |    28214    27886     30 |  1.745 % |
1056.77/1056.79	c |   1826068 |    3548    17780    57494 |    28214    26583     30 |  1.745 % |
1056.97/1056.94	c |   1826581 |    3548    17780    57494 |    28214    27096     30 |  1.746 % |
1057.17/1057.15	c |   1827093 |    3548    17780    57494 |    28214    27608     30 |  1.746 % |
1057.66/1057.63	c |   1828117 |    3548    17780    57494 |    28214    28632     31 |  1.746 % |
1057.86/1057.89	c |   1828632 |    3548    17780    57494 |    28214    26115     30 |  1.745 % |
1058.16/1058.15	c |   1829146 |    3548    17780    57494 |    28214    26629     30 |  1.745 % |
1058.66/1058.65	c |   1830171 |    3548    17780    57494 |    27486    27654     30 |  1.745 % |
1059.86/1059.87	c |   1832219 |    3548    17780    57494 |    27486    26818     30 |  1.745 % |
1061.96/1061.93	c |   1836317 |    3548    17780    57494 |    27486    27982     30 |  1.745 % |
1066.77/1066.77	c |   1844509 |    3546    17771    57466 |    25699    24953     30 |  1.800 % |
1066.97/1066.97	c |   1845022 |    3546    17771    57466 |    25699    25466     30 |  1.801 % |
1067.17/1067.16	c |   1845534 |    3546    17771    57466 |    25699    25978     30 |  1.802 % |
1067.57/1067.54	c |   1846558 |    3546    17771    57466 |    25699    24405     29 |  1.802 % |
1067.67/1067.69	c |   1847071 |    3546    17771    57466 |    25699    24918     30 |  1.800 % |
1067.87/1067.88	c |   1847588 |    3546    17771    57466 |    25699    25435     31 |  1.802 % |
1068.27/1068.21	c |   1848612 |    3546    17771    57466 |    25699    26459     32 |  1.800 % |
1069.27/1069.23	c |   1850660 |    3546    17771    57466 | 2147483647    25862     31 |  1.800 % |
1069.47/1069.44	c |   1851173 |    3546    17771    57466 | 2147483647    26375     31 |  1.800 % |
1069.67/1069.69	c |   1851685 |    3546    17771    57466 | 2147483647    26887     31 |  1.800 % |
1070.27/1070.23	c |   1852710 |    3546    17771    57466 | 2147483647    27912     32 |  1.800 % |
1070.57/1070.52	c |   1853222 |    3546    17771    57466 | 2147483647    28424     32 |  1.800 % |
1070.77/1070.77	c |   1853734 |    3546    17771    57466 | 2147483647    28936     32 |  1.800 % |
1071.37/1071.32	c |   1854759 |    3546    17771    57466 | 2147483647    29961     32 |  1.800 % |
1072.67/1072.70	c |   1856807 |    3546    17771    57466 | 2147483647    32009     32 |  1.800 % |
1075.27/1075.27	c |   1860904 |    3546    17771    57466 |    35204    32466     32 |  1.800 % |
1075.57/1075.60	c |   1861417 |    3546    17771    57466 |    35204    32979     32 |  1.800 % |
1075.87/1075.90	c |   1861929 |    3546    17771    57466 |    35204    33491     32 |  1.800 % |
1076.57/1076.58	c |   1862954 |    3546    17771    57466 |    35204    34516     33 |  1.800 % |
1076.87/1076.91	c |   1863467 |    3546    17771    57466 |    35204    35029     33 |  1.800 % |
1077.17/1077.20	c |   1863980 |    3546    17771    57466 |    35204    35542     33 |  1.800 % |
1077.97/1077.94	c |   1865004 |    3546    17771    57466 |    35204    31348     33 |  1.800 % |
1079.07/1079.07	c |   1867053 |    3546    17771    57466 |    35204    33397     33 |  1.801 % |
1079.37/1079.34	c |   1867566 |    3546    17771    57466 |    35204    33910     33 |  1.802 % |
1079.57/1079.56	c |   1868081 |    3546    17771    57466 |    35204    34425     33 |  1.801 % |
1080.17/1080.15	c |   1869105 |    3546    17771    57466 |    35204    35449     34 |  1.802 % |
1080.47/1080.45	c |   1869619 |    3546    17771    57466 |    35204    30853     33 |  1.802 % |
1080.67/1080.70	c |   1870136 |    3546    17771    57466 |    31235    31370     33 |  1.800 % |
1081.27/1081.23	c |   1871160 |    3546    17771    57466 |    31235    27976     31 |  1.800 % |
1082.17/1082.18	c |   1873209 |    3546    17771    57466 |    31235    30025     31 |  1.800 % |
1084.37/1084.39	c |   1877307 |    3546    17771    57466 |    31235    30936     31 |  1.800 % |
1088.97/1089.01	c |   1885499 |    3546    17771    57466 | 2147483647    35925     34 |  1.800 % |
1098.97/1098.99	c |   1901883 |    3544    17753    57410 |    38571    35034     34 |  1.857 % |
1118.47/1118.44	c |   1934654 |    3544    17753    57410 |    31919    31428     28 |  1.855 % |
1118.67/1118.69	c |   1935166 |    3544    17753    57410 |    31919    31940     28 |  1.855 % |
1119.07/1119.03	c |   1935678 |    3544    17753    57410 |    31919    32452     28 |  1.855 % |
1119.57/1119.58	c |   1936704 |    3544    17753    57410 |    31919    29101     27 |  1.857 % |
1119.87/1119.82	c |   1937216 |    3544    17753    57410 |    31919    29613     27 |  1.855 % |
1120.07/1120.10	c |   1937728 |    3544    17753    57410 |    31919    30125     27 |  1.855 % |
1120.67/1120.64	c |   1938753 |    3544    17753    57410 |    31919    31150     27 |  1.856 % |
1121.87/1121.90	c |   1940801 |    3544    17753    57410 |    32398    27745     26 |  1.855 % |
1122.17/1122.14	c |   1941315 |    3544    17753    57410 |    32398    28259     27 |  1.856 % |
1122.37/1122.37	c |   1941829 |    3544    17753    57410 |    32398    28773     27 |  1.855 % |
1122.77/1122.80	c |   1942853 |    3544    17753    57410 |    32398    29797     27 |  1.855 % |
1123.07/1123.03	c |   1943365 |    3544    17753    57410 |    32398    30309     27 |  1.856 % |
1123.27/1123.23	c |   1943877 |    3544    17753    57410 |    32398    30821     28 |  1.855 % |
1123.67/1123.67	c |   1944901 |    3544    17753    57410 |    32398    31845     29 |  1.856 % |
1124.77/1124.73	c |   1946950 |    3544    17753    57410 |    32398    29768     29 |  1.855 % |
1127.27/1127.21	c |   1951046 |    3544    17753    57410 |    32818    29334     32 |  1.855 % |
1127.47/1127.42	c |   1951558 |    3544    17753    57410 |    32818    29846     32 |  1.857 % |
1127.67/1127.61	c |   1952070 |    3544    17753    57410 |    32818    30358     33 |  1.856 % |
1128.17/1128.16	c |   1953094 |    3544    17753    57410 |    32818    31382     33 |  1.857 % |
1128.37/1128.33	c |   1953606 |    3544    17753    57410 |    32818    31894     33 |  1.856 % |
1128.57/1128.59	c |   1954118 |    3544    17753    57410 |    32818    32406     33 |  1.856 % |
1129.17/1129.14	c |   1955142 |    3544    17753    57410 |    32818    30083     34 |  1.856 % |
1130.07/1130.09	c |   1957190 |    3544    17753    57410 |    32818    32131     35 |  1.856 % |
1130.37/1130.34	c |   1957702 |    3544    17753    57410 |    32818    32643     35 |  1.856 % |
1130.67/1130.65	c |   1958216 |    3544    17753    57410 |    32818    33157     35 |  1.855 % |
1131.27/1131.30	c |   1959240 |    3544    17753    57410 |    32818    30866     36 |  1.856 % |
1131.57/1131.55	c |   1959755 |    3544    17753    57410 |    32818    31381     36 |  1.855 % |
1131.77/1131.79	c |   1960268 |    3544    17753    57410 | 2147483647    31894     36 |  1.856 % |
1132.47/1132.49	c |   1961293 |    3544    17753    57410 | 2147483647    32919     36 |  1.855 % |
1133.87/1133.89	c |   1963342 |    3544    17753    57410 | 2147483647    34968     36 |  1.855 % |
1136.97/1136.93	c |   1967438 |    3544    17753    57410 | 2147483647    39064     36 |  1.855 % |
1142.27/1142.21	c |   1975630 |    3544    17753    57410 |    41628    42011     36 |  1.856 % |
1142.57/1142.59	c |   1976142 |    3544    17753    57410 |    41628    36674     34 |  1.856 % |
1142.87/1142.88	c |   1976656 |    3544    17753    57410 |    41628    37188     35 |  1.857 % |
1143.47/1143.49	c |   1977680 |    3544    17753    57410 |    41628    38212     35 |  1.855 % |
1143.87/1143.81	c |   1978192 |    3544    17753    57410 |    41628    38724     35 |  1.855 % |
1144.17/1144.13	c |   1978705 |    3544    17753    57410 |    41628    39237     35 |  1.855 % |
1144.87/1144.83	c |   1979733 |    3544    17753    57410 |    41628    40265     34 |  1.855 % |
1146.28/1146.27	c |   1981783 |    3544    17753    57410 |    40532    36355     31 |  1.855 % |
1146.57/1146.59	c |   1982295 |    3544    17753    57410 |    40532    36867     31 |  1.855 % |
1146.87/1146.84	c |   1982807 |    3544    17753    57410 |    40532    37379     31 |  1.855 % |
1147.47/1147.46	c |   1983831 |    3544    17753    57410 |    40532    38403     32 |  1.855 % |
1147.77/1147.80	c |   1984344 |    3544    17753    57410 |    40532    38916     32 |  1.855 % |
1148.27/1148.22	c |   1984859 |    3544    17753    57410 |    40532    39431     32 |  1.855 % |
1149.07/1149.02	c |   1985883 |    3544    17753    57410 |    40532    40455     32 |  1.855 % |
1150.68/1150.63	c |   1987931 |    3544    17753    57410 |    40532    36169     30 |  1.855 % |
1153.87/1153.87	c |   1992027 |    3544    17753    57410 |    38238    33641     30 |  1.855 % |
1154.07/1154.06	c |   1992539 |    3544    17753    57410 |    38238    34153     30 |  1.857 % |
1154.47/1154.44	c |   1993051 |    3544    17753    57410 |    38238    34665     30 |  1.857 % |
1155.17/1155.12	c |   1994075 |    3544    17753    57410 |    38238    35689     30 |  1.856 % |
1155.37/1155.37	c |   1994590 |    3544    17753    57410 |    38238    36204     30 |  1.857 % |
1155.67/1155.63	c |   1995106 |    3544    17753    57410 |    38238    36720     30 |  1.857 % |
1156.27/1156.29	c |   1996131 |    3544    17753    57410 |    38238    37745     30 |  1.857 % |
1157.57/1157.57	c |   1998180 |    3544    17753    57410 |    38238    32519     29 |  1.855 % |
1157.87/1157.81	c |   1998692 |    3544    17753    57410 |    38238    33031     30 |  1.855 % |
1158.07/1158.07	c |   1999205 |    3544    17753    57410 |    38238    33544     30 |  1.855 % |
1158.57/1158.51	c |   2000230 |    3544    17753    57410 |    34341    34569     30 |  1.855 % |
1158.87/1158.83	c |   2000742 |    3544    17753    57410 |    34341    28718     30 |  1.855 % |
1159.07/1159.09	c |   2001254 |    3544    17753    57410 |    34341    29230     31 |  1.856 % |
1159.67/1159.65	c |   2002280 |    3544    17753    57410 |    34341    30256     31 |  1.855 % |
1160.67/1160.64	c |   2004333 |    3544    17753    57410 |    34341    32309     32 |  1.856 % |
1163.27/1163.23	c |   2008429 |    3544    17753    57410 |    34341    30562     32 |  1.856 % |
1167.97/1167.99	c |   2016621 |    3544    17753    57410 |    32133    29237     34 |  1.856 % |
1178.08/1178.08	c |   2033005 |    3542    17740    57376 |    32892    31669     35 |  1.911 % |
1178.38/1178.34	c |   2033518 |    3542    17740    57376 |    32892    32182     35 |  1.911 % |
1178.58/1178.55	c |   2034030 |    3542    17740    57376 |    32892    32694     35 |  1.912 % |
1178.98/1178.97	c |   2035055 |    3542    17740    57376 |    32892    33719     36 |  1.912 % |
1179.18/1179.19	c |   2035568 |    3542    17740    57376 |    32892    29789     35 |  1.912 % |
1179.38/1179.40	c |   2036081 |    3542    17740    57376 |    32892    30302     36 |  1.912 % |
1179.88/1179.84	c |   2037107 |    3542    17740    57376 |    32892    31328     36 |  1.912 % |
1180.88/1180.82	c |   2039157 |    3542    17740    57376 |    32892    33378     36 |  1.911 % |
1181.18/1181.18	c |   2039669 |    3542    17740    57376 |    32892    30191     35 |  1.911 % |
1181.48/1181.51	c |   2040181 |    3542    17740    57376 |    30522    30703     35 |  1.911 % |
1182.28/1182.25	c |   2041205 |    3542    17740    57376 |    30522    28089     34 |  1.911 % |
1182.48/1182.50	c |   2041717 |    3542    17740    57376 |    30522    28601     34 |  1.911 % |
1182.88/1182.84	c |   2042229 |    3542    17740    57376 |    30522    29113     34 |  1.911 % |
1183.58/1183.56	c |   2043253 |    3542    17740    57376 |    30522    30137     34 |  1.911 % |
1184.78/1184.77	c |   2045304 |    3542    17740    57376 |    30522    27968     32 |  1.911 % |
1187.08/1187.06	c |   2049401 |    3542    17740    57376 |    30522    27684     31 |  1.911 % |
1187.38/1187.41	c |   2049914 |    3542    17740    57376 |    30522    28197     31 |  1.911 % |
1187.88/1187.88	c |   2050426 |    3542    17740    57376 |    28284    24942     30 |  1.911 % |
1188.68/1188.65	c |   2051452 |    3542    17740    57376 |    28284    25968     30 |  1.911 % |
1188.98/1188.93	c |   2051966 |    3542    17740    57376 |    28284    26482     31 |  1.911 % |
1189.28/1189.27	c |   2052481 |    3542    17740    57376 |    28284    26997     31 |  1.911 % |
1189.98/1189.99	c |   2053506 |    3542    17740    57376 |    28284    28022     31 |  1.911 % |
1190.98/1190.97	c |   2055556 |    3542    17740    57376 |    28284    26739     30 |  1.912 % |
1191.18/1191.15	c |   2056069 |    3542    17740    57376 |    28284    27252     30 |  1.911 % |
1191.38/1191.40	c |   2056583 |    3542    17740    57376 |    28284    27766     31 |  1.912 % |
1191.88/1191.84	c |   2057607 |    3542    17740    57376 |    28284    28790     31 |  1.912 % |
1192.18/1192.12	c |   2058120 |    3542    17740    57376 |    28284    26373     30 |  1.911 % |
1192.28/1192.30	c |   2058633 |    3542    17740    57376 |    28284    26886     30 |  1.911 % |
1192.78/1192.74	c |   2059658 |    3542    17740    57376 |    28284    27911     31 |  1.911 % |
1193.88/1193.81	c |   2061708 |    3542    17740    57376 | 2147483647    29961     32 |  1.911 % |
1196.08/1196.03	c |   2065807 |    3542    17740    57376 | 2147483647    34060     33 |  1.911 % |
1200.08/1200.02	HOME/SatELiteGTI: line 36: 18004 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-1820435-1242443963/watcher-1820435-1242443963 -o /tmp/evaluation-result-1820435-1242443963/solver-1820435-1242443963 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820435-1242443963.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.00 1.04 1.02 2/91 17998
/proc/meminfo: memFree=788916/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2416 CPUtime=0
/proc/17998/stat : 17998 (SatELiteGTI) R 17996 17998 9090 0 -1 4194304 353 646 0 0 0 0 0 0 25 0 1 0 1008896611 2473984 276 4294967295 134512640 135169312 3218100304 3218098780 3085043572 0 65538 4 65536 0 0 0 17 1 0 0 0
/proc/17998/statm: 604 276 235 161 0 43 0
[pid=18002] ppid=17998 vsize=0 CPUtime=0
/proc/18002/stat : 18002 (SatELiteGTI) R 17998 17998 9090 0 -1 4194368 65 0 0 0 0 0 0 0 25 0 1 0 1008896612 0 0 4294967295 0 0 0 3218098932 3085044202 0 0 0 0 0 0 0 17 3 0 0 0
/proc/18002/statm: 0 0 0 0 0 0 0

[startup+0.095184 s]
/proc/loadavg: 1.00 1.04 1.02 2/91 17998
/proc/meminfo: memFree=788916/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2416 CPUtime=0
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 366 646 0 0 0 0 0 0 25 0 1 0 1008896611 2473984 276 4294967295 134512640 135169312 3218100304 3218098840 3085041390 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17998/statm: 604 276 235 161 0 43 0
[pid=18002] ppid=17998 vsize=5216 CPUtime=0.1
/proc/18002/stat : 18002 (SatELite_releas) R 17998 17998 9090 0 -1 4202496 1220 0 0 0 9 1 0 0 25 0 1 0 1008896612 5341184 1132 4294967295 134512640 135223648 3217627088 3217625104 134586685 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18002/statm: 1304 1132 73 174 0 1129 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7632

[startup+0.105183 s]
/proc/loadavg: 1.00 1.04 1.02 2/91 17998
/proc/meminfo: memFree=788916/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2416 CPUtime=0
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 366 646 0 0 0 0 0 0 25 0 1 0 1008896611 2473984 276 4294967295 134512640 135169312 3218100304 3218098840 3085041390 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17998/statm: 604 276 235 161 0 43 0
[pid=18002] ppid=17998 vsize=5216 CPUtime=0.11
/proc/18002/stat : 18002 (SatELite_releas) R 17998 17998 9090 0 -1 4202496 1220 0 0 0 10 1 0 0 25 0 1 0 1008896612 5341184 1132 4294967295 134512640 135223648 3217627088 3217625104 134586827 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18002/statm: 1304 1132 73 174 0 1129 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 7632

[startup+0.305179 s]
/proc/loadavg: 1.00 1.04 1.02 2/91 17998
/proc/meminfo: memFree=788916/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 2420

[startup+0.705159 s]
/proc/loadavg: 1.00 1.04 1.02 2/91 17998
/proc/meminfo: memFree=788916/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 2420

[startup+1.50512 s]
/proc/loadavg: 1.00 1.04 1.02 2/93 18004
/proc/meminfo: memFree=785552/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
[pid=18004] ppid=17998 vsize=4388 CPUtime=1.26
/proc/18004/stat : 18004 (minisat_static) R 17998 17998 9090 0 -1 4202496 854 0 0 0 125 1 0 0 25 0 1 0 1008896637 4493312 788 4294967295 134512640 135216591 3221101440 3221099632 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18004/statm: 1097 788 75 172 0 924 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 6808

[startup+3.10504 s]
/proc/loadavg: 1.00 1.04 1.02 2/93 18005
/proc/meminfo: memFree=785304/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
[pid=18004] ppid=17998 vsize=5180 CPUtime=2.86
/proc/18004/stat : 18004 (minisat_static) R 17998 17998 9090 0 -1 4202496 1077 0 0 0 285 1 0 0 25 0 1 0 1008896637 5304320 1011 4294967295 134512640 135216591 3221101440 3221099632 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18004/statm: 1295 1011 75 172 0 1122 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 7600

[startup+6.30489 s]
/proc/loadavg: 1.00 1.04 1.02 2/93 18006
/proc/meminfo: memFree=783228/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
[pid=18004] ppid=17998 vsize=7572 CPUtime=6.06
/proc/18004/stat : 18004 (minisat_static) R 17998 17998 9090 0 -1 4202496 1642 0 0 0 605 1 0 0 25 0 1 0 1008896637 7753728 1576 4294967295 134512640 135216591 3221101440 3221099632 134529308 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18004/statm: 1893 1576 75 172 0 1720 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 9992

[startup+12.7046 s]
/proc/loadavg: 1.00 1.04 1.02 2/93 18007
/proc/meminfo: memFree=780184/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
[pid=18004] ppid=17998 vsize=10004 CPUtime=12.46
/proc/18004/stat : 18004 (minisat_static) R 17998 17998 9090 0 -1 4202496 2254 0 0 0 1245 1 0 0 25 0 1 0 1008896637 10244096 2188 4294967295 134512640 135216591 3221101440 3221099632 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18004/statm: 2501 2188 75 172 0 2328 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 12424

[startup+25.504 s]
/proc/loadavg: 1.00 1.04 1.02 2/93 18007
/proc/meminfo: memFree=777576/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
[pid=18004] ppid=17998 vsize=12792 CPUtime=25.26
/proc/18004/stat : 18004 (minisat_static) R 17998 17998 9090 0 -1 4202496 2929 0 0 0 2523 3 0 0 25 0 1 0 1008896637 13099008 2863 4294967295 134512640 135216591 3221101440 3221099632 134529251 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18004/statm: 3198 2863 75 172 0 3025 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 15212

[startup+51.1128 s]
/proc/loadavg: 1.00 1.03 1.02 2/93 18192
/proc/meminfo: memFree=777156/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
[pid=18004] ppid=17998 vsize=12928 CPUtime=50.87
/proc/18004/stat : 18004 (minisat_static) R 17998 17998 9090 0 -1 4202496 2959 0 0 0 5084 3 0 0 25 0 1 0 1008896637 13238272 2893 4294967295 134512640 135216591 3221101440 3221099632 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18004/statm: 3232 2893 75 172 0 3059 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 15348

[startup+102.32 s]
/proc/loadavg: 1.00 1.03 1.01 2/93 18383
/proc/meminfo: memFree=775396/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
[pid=18004] ppid=17998 vsize=14264 CPUtime=102.08
/proc/18004/stat : 18004 (minisat_static) R 17998 17998 9090 0 -1 4202496 3313 0 0 0 10205 3 0 0 25 0 1 0 1008896637 14606336 3247 4294967295 134512640 135216591 3221101440 3221099632 134528826 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18004/statm: 3566 3247 75 172 0 3393 0
Current children cumulated CPU time (s) 102.34
Current children cumulated vsize (KiB) 16684

[startup+162.317 s]
/proc/loadavg: 1.00 1.02 1.01 2/93 18572
/proc/meminfo: memFree=775232/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
[pid=18004] ppid=17998 vsize=14404 CPUtime=162.08
/proc/18004/stat : 18004 (minisat_static) R 17998 17998 9090 0 -1 4202496 3358 0 0 0 16204 4 0 0 25 0 1 0 1008896637 14749696 3292 4294967295 134512640 135216591 3221101440 3221099632 134529308 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18004/statm: 3601 3292 75 172 0 3428 0
Current children cumulated CPU time (s) 162.34
Current children cumulated vsize (KiB) 16824

[startup+222.315 s]
/proc/loadavg: 1.00 1.02 1.00 3/93 18758
/proc/meminfo: memFree=775148/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
[pid=18004] ppid=17998 vsize=14540 CPUtime=222.08
/proc/18004/stat : 18004 (minisat_static) R 17998 17998 9090 0 -1 4202496 3374 0 0 0 22204 4 0 0 25 0 1 0 1008896637 14888960 3308 4294967295 134512640 135216591 3221101440 3221099632 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18004/statm: 3635 3308 75 172 0 3462 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 16960

[startup+282.322 s]
/proc/loadavg: 1.00 1.01 1.00 2/93 18946
/proc/meminfo: memFree=774652/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
[pid=18004] ppid=17998 vsize=14856 CPUtime=282.09
/proc/18004/stat : 18004 (minisat_static) R 17998 17998 9090 0 -1 4202496 3447 0 0 0 28205 4 0 0 25 0 1 0 1008896637 15212544 3381 4294967295 134512640 135216591 3221101440 3221099632 134528894 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18004/statm: 3714 3381 75 172 0 3541 0
Current children cumulated CPU time (s) 282.35
Current children cumulated vsize (KiB) 17276

[startup+342.309 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 19137
/proc/meminfo: memFree=774544/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
[pid=18004] ppid=17998 vsize=14856 CPUtime=342.08
/proc/18004/stat : 18004 (minisat_static) R 17998 17998 9090 0 -1 4202496 3461 0 0 0 34204 4 0 0 25 0 1 0 1008896637 15212544 3395 4294967295 134512640 135216591 3221101440 3221099632 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18004/statm: 3714 3395 75 172 0 3541 0
Current children cumulated CPU time (s) 342.34
Current children cumulated vsize (KiB) 17276

[startup+402.316 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 19324
/proc/meminfo: memFree=774512/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26

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

/proc/17998/statm: 605 278 235 161 0 44 0
[pid=18004] ppid=17998 vsize=15612 CPUtime=462.09
/proc/18004/stat : 18004 (minisat_static) R 17998 17998 9090 0 -1 4202496 3610 0 0 0 46205 4 0 0 25 0 1 0 1008896637 15986688 3544 4294967295 134512640 135216591 3221101440 3221099632 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18004/statm: 3903 3544 75 172 0 3730 0
Current children cumulated CPU time (s) 462.35
Current children cumulated vsize (KiB) 18032

[startup+522.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 19703
/proc/meminfo: memFree=774148/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
[pid=18004] ppid=17998 vsize=15612 CPUtime=522.1
/proc/18004/stat : 18004 (minisat_static) R 17998 17998 9090 0 -1 4202496 3612 0 0 0 52206 4 0 0 25 0 1 0 1008896637 15986688 3546 4294967295 134512640 135216591 3221101440 3221099632 134528857 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18004/statm: 3903 3546 75 172 0 3730 0
Current children cumulated CPU time (s) 522.36
Current children cumulated vsize (KiB) 18032

[startup+582.317 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 19891
/proc/meminfo: memFree=772544/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
[pid=18004] ppid=17998 vsize=17080 CPUtime=582.1
/proc/18004/stat : 18004 (minisat_static) R 17998 17998 9090 0 -1 4202496 3988 0 0 0 58205 5 0 0 25 0 1 0 1008896637 17489920 3922 4294967295 134512640 135216591 3221101440 3221099632 134529323 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18004/statm: 4270 3922 75 172 0 4097 0
Current children cumulated CPU time (s) 582.36
Current children cumulated vsize (KiB) 19500

[startup+642.325 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 20080
/proc/meminfo: memFree=770552/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
[pid=18004] ppid=17998 vsize=19264 CPUtime=642.11
/proc/18004/stat : 18004 (minisat_static) R 17998 17998 9090 0 -1 4202496 4509 0 0 0 64206 5 0 0 25 0 1 0 1008896637 19726336 4443 4294967295 134512640 135216591 3221101440 3221099632 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18004/statm: 4816 4443 75 172 0 4643 0
Current children cumulated CPU time (s) 642.37
Current children cumulated vsize (KiB) 21684

[startup+702.302 s]
/proc/loadavg: 1.31 1.09 1.03 2/93 20267
/proc/meminfo: memFree=770544/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
[pid=18004] ppid=17998 vsize=19264 CPUtime=702.09
/proc/18004/stat : 18004 (minisat_static) R 17998 17998 9090 0 -1 4202496 4509 0 0 0 70204 5 0 0 25 0 1 0 1008896637 19726336 4443 4294967295 134512640 135216591 3221101440 3221099632 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18004/statm: 4816 4443 75 172 0 4643 0
Current children cumulated CPU time (s) 702.35
Current children cumulated vsize (KiB) 21684

[startup+762.309 s]
/proc/loadavg: 1.11 1.07 1.02 2/93 20456
/proc/meminfo: memFree=770528/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
[pid=18004] ppid=17998 vsize=19264 CPUtime=762.1
/proc/18004/stat : 18004 (minisat_static) R 17998 17998 9090 0 -1 4202496 4512 0 0 0 76201 9 0 0 25 0 1 0 1008896637 19726336 4446 4294967295 134512640 135216591 3221101440 3221099632 134528974 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18004/statm: 4816 4446 75 172 0 4643 0
Current children cumulated CPU time (s) 762.36
Current children cumulated vsize (KiB) 21684

[startup+822.306 s]
/proc/loadavg: 1.04 1.05 1.02 3/93 20642
/proc/meminfo: memFree=770552/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
[pid=18004] ppid=17998 vsize=19264 CPUtime=822.1
/proc/18004/stat : 18004 (minisat_static) R 17998 17998 9090 0 -1 4202496 4512 0 0 0 82201 9 0 0 25 0 1 0 1008896637 19726336 4446 4294967295 134512640 135216591 3221101440 3221099632 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18004/statm: 4816 4446 75 172 0 4643 0
Current children cumulated CPU time (s) 822.36
Current children cumulated vsize (KiB) 21684

[startup+882.313 s]
/proc/loadavg: 1.01 1.04 1.01 3/93 20834
/proc/meminfo: memFree=770536/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
[pid=18004] ppid=17998 vsize=19264 CPUtime=882.11
/proc/18004/stat : 18004 (minisat_static) R 17998 17998 9090 0 -1 4202496 4512 0 0 0 88202 9 0 0 25 0 1 0 1008896637 19726336 4446 4294967295 134512640 135216591 3221101440 3221099632 134528851 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18004/statm: 4816 4446 75 172 0 4643 0
Current children cumulated CPU time (s) 882.37
Current children cumulated vsize (KiB) 21684

[startup+942.31 s]
/proc/loadavg: 1.00 1.03 1.00 2/93 21021
/proc/meminfo: memFree=770544/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
[pid=18004] ppid=17998 vsize=19264 CPUtime=942.1
/proc/18004/stat : 18004 (minisat_static) R 17998 17998 9090 0 -1 4202496 4513 0 0 0 94201 9 0 0 25 0 1 0 1008896637 19726336 4447 4294967295 134512640 135216591 3221101440 3221099552 134534651 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18004/statm: 4816 4447 75 172 0 4643 0
Current children cumulated CPU time (s) 942.36
Current children cumulated vsize (KiB) 21684

[startup+1002.32 s]
/proc/loadavg: 1.00 1.02 1.00 3/93 21210
/proc/meminfo: memFree=770436/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
[pid=18004] ppid=17998 vsize=19264 CPUtime=1002.11
/proc/18004/stat : 18004 (minisat_static) R 17998 17998 9090 0 -1 4202496 4513 0 0 0 100202 9 0 0 25 0 1 0 1008896637 19726336 4447 4294967295 134512640 135216591 3221101440 3221099632 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18004/statm: 4816 4447 75 172 0 4643 0
Current children cumulated CPU time (s) 1002.37
Current children cumulated vsize (KiB) 21684

[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/93 21399
/proc/meminfo: memFree=770412/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
[pid=18004] ppid=17998 vsize=19264 CPUtime=1062.1
/proc/18004/stat : 18004 (minisat_static) R 17998 17998 9090 0 -1 4202496 4513 0 0 0 106201 9 0 0 25 0 1 0 1008896637 19726336 4447 4294967295 134512640 135216591 3221101440 3221099632 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18004/statm: 4816 4447 75 172 0 4643 0
Current children cumulated CPU time (s) 1062.36
Current children cumulated vsize (KiB) 21684

[startup+1122.31 s]
/proc/loadavg: 1.00 1.01 1.00 3/93 21585
/proc/meminfo: memFree=770304/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
[pid=18004] ppid=17998 vsize=19264 CPUtime=1122.11
/proc/18004/stat : 18004 (minisat_static) R 17998 17998 9090 0 -1 4202496 4515 0 0 0 112201 10 0 0 25 0 1 0 1008896637 19726336 4449 4294967295 134512640 135216591 3221101440 3221099344 134533138 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18004/statm: 4816 4449 75 172 0 4643 0
Current children cumulated CPU time (s) 1122.37
Current children cumulated vsize (KiB) 21684

[startup+1182.32 s]
/proc/loadavg: 1.00 1.01 1.00 2/93 21773
/proc/meminfo: memFree=770304/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
[pid=18004] ppid=17998 vsize=19264 CPUtime=1182.12
/proc/18004/stat : 18004 (minisat_static) R 17998 17998 9090 0 -1 4202496 4515 0 0 0 118202 10 0 0 25 0 1 0 1008896637 19726336 4449 4294967295 134512640 135216591 3221101440 3221099632 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18004/statm: 4816 4449 75 172 0 4643 0
Current children cumulated CPU time (s) 1182.38
Current children cumulated vsize (KiB) 21684



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.02 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 21774
/proc/meminfo: memFree=770500/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
[pid=18004] ppid=17998 vsize=19264 CPUtime=1199.82
/proc/18004/stat : 18004 (minisat_static) R 17998 17998 9090 0 -1 4202496 4515 0 0 0 119972 10 0 0 25 0 1 0 1008896637 19726336 4449 4294967295 134512640 135216591 3221101440 3221099632 134529044 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18004/statm: 4816 4449 75 172 0 4643 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 21684

Sending SIGTERM to process tree (bottom up)

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

Child status: 143
Real time (s): 1200.03
CPU time (s): 1200.09
CPU user time (s): 1199.97
CPU system time (s): 0.12
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 21684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.97
system time used= 0.12
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7246
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= 20
involuntary context switches= 1119

runsolver used 0 second user time and 0.03 second system time

The end

Launcher Data

Begin job on tipi19 at 2009-05-16 05:19:23
IDJOB=1820435
IDBENCH=20404
IDSOLVER=658
FILE ID=tipi19/1820435-1242443963
PBS_JOBID=
Free space on /tmp= 10157 MiB

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

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

MD5SUM BENCH= a948576641dd03cc33abaca38a6e7e4c
RANDOM SEED= 1654419930

Linux tipi19 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.426
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.39

processor	: 1
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.426
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.77

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

processor	: 3
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.426
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.77


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:        789444 kB
Buffers:         27960 kB
Cached:        1164104 kB
SwapCached:       3036 kB
Active:         453096 kB
Inactive:       748452 kB
HighTotal:     1178688 kB
HighFree:       266036 kB
LowTotal:       895776 kB
LowFree:        523408 kB
SwapTotal:     1959888 kB
SwapFree:      1953004 kB
Dirty:            2124 kB
Writeback:           0 kB
AnonPages:        8756 kB
Mapped:           3092 kB
Slab:            75388 kB
PageTables:        604 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    87776 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 10156 MiB
End job on tipi19 at 2009-05-16 05:39:23